Trace number 1832545

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

General information on the benchmark

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

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   18700   130900 |    5609       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 220   #clauses: 18700   #literals: 130900
0.00/0.03	c CPU time:   0.022996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  220                                                  |
0.00/0.06	c |  Number of clauses:    18700                                                |
0.00/0.08	c |  Parsing time:         0.02         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.05/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.08	c ===============================================================================
0.05/0.08	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.05/0.10	c |       100 |     220    18700   130900 |     6233      100     62 |  0.002 % |
0.05/0.11	c |       200 |     220    18700   130900 |     6233      200     59 |  0.002 % |
0.05/0.12	c |       300 |     220    18700   130900 |     6233      300     59 |  0.002 % |
0.05/0.13	c |       410 |     220    18700   130900 |     6233      410     60 |  0.002 % |
0.05/0.14	c |       510 |     220    18700   130900 |     6233      510     60 |  0.002 % |
0.05/0.15	c |       622 |     220    18700   130900 |     6233      622     61 |  0.002 % |
0.05/0.16	c |       743 |     220    18700   130900 |     6233      743     61 |  0.002 % |
0.05/0.17	c |       843 |     220    18700   130900 |     6233      843     60 |  0.002 % |
0.05/0.18	c |       953 |     220    18700   130900 |     6233      953     60 |  0.002 % |
0.05/0.19	c |      1074 |     220    18700   130900 |     6233     1074     60 |  0.002 % |
0.05/0.21	c |      1207 |     220    18700   130900 |     6233     1207     60 |  0.002 % |
0.05/0.22	c |      1310 |     220    18700   130900 |     6233     1310     60 |  0.002 % |
0.05/0.23	c |      1421 |     220    18700   130900 |     6233     1421     60 |  0.002 % |
0.05/0.24	c |      1542 |     220    18700   130900 |     6233     1542     60 |  0.002 % |
0.05/0.25	c |      1676 |     220    18700   130900 |     6233     1676     60 |  0.002 % |
0.05/0.27	c |      1823 |     220    18700   130900 |     6233     1823     60 |  0.002 % |
0.05/0.28	c |      1923 |     220    18700   130900 |     6233     1923     60 |  0.002 % |
0.05/0.29	c |      2034 |     220    18700   130900 |     6233     2034     60 |  0.002 % |
0.05/0.31	c |      2155 |     220    18700   130900 |     6233     2155     60 |  0.002 % |
0.05/0.32	c |      2289 |     220    18700   130900 |     6233     2289     61 |  0.002 % |
0.05/0.34	c |      2435 |     220    18700   130900 |     6233     2435     61 |  0.002 % |
0.05/0.36	c |      2595 |     220    18700   130900 |     6233     2595     61 |  0.002 % |
0.05/0.37	c |      2696 |     220    18700   130900 |     6233     2696     61 |  0.002 % |
0.05/0.38	c |      2806 |     220    18700   130900 |     6233     2806     61 |  0.002 % |
0.05/0.39	c |      2927 |     220    18700   130900 |     6233     2927     61 |  0.002 % |
0.05/0.41	c |      3061 |     220    18700   130900 |     6233     3061     61 |  0.002 % |
0.05/0.42	c |      3208 |     220    18700   130900 |     6233     3208     61 |  0.002 % |
0.05/0.44	c |      3370 |     220    18700   130900 |     6233     3370     61 |  0.002 % |
0.05/0.46	c |      3547 |     220    18700   130900 |     6233     3547     61 |  0.002 % |
0.05/0.47	c |      3648 |     220    18700   130900 |     6233     3648     61 |  0.002 % |
0.05/0.49	c |      3759 |     220    18700   130900 |     6233     3759     61 |  0.002 % |
0.05/0.50	c |      3880 |     220    18700   130900 |     6233     3880     61 |  0.002 % |
0.05/0.51	c |      4013 |     220    18700   130900 |     6233     4013     61 |  0.002 % |
0.05/0.53	c |      4160 |     220    18700   130900 |     6233     4160     61 |  0.002 % |
0.05/0.55	c |      4320 |     220    18700   130900 |     6233     4320     61 |  0.002 % |
0.05/0.57	c |      4497 |     220    18700   130900 |     6233     4497     61 |  0.002 % |
0.05/0.60	c |      4690 |     220    18700   130900 |     6233     4690     61 |  0.002 % |
0.05/0.61	c |      4791 |     220    18700   130900 |     6233     4791     61 |  0.002 % |
0.05/0.62	c |      4902 |     220    18700   130900 |     6233     4902     61 |  0.002 % |
0.05/0.64	c |      5025 |     220    18700   130900 |     6233     5025     61 |  0.002 % |
0.05/0.66	c |      5158 |     220    18700   130900 |     6233     5158     61 |  0.002 % |
0.05/0.67	c |      5304 |     220    18700   130900 |     6233     5304     61 |  0.002 % |
0.05/0.69	c |      5464 |     220    18700   130900 |     6233     5464     61 |  0.002 % |
0.05/0.72	c |      5644 |     220    18700   130900 |     6233     5644     61 |  0.002 % |
0.05/0.74	c |      5837 |     220    18700   130900 |     6233     5837     61 |  0.002 % |
0.05/0.77	c |      6049 |     220    18700   130900 |     6233     6049     61 |  0.002 % |
0.05/0.79	c |      6152 |     220    18700   130900 |     6233     6152     61 |  0.002 % |
0.05/0.80	c |      6264 |     220    18700   130900 |     6233     6264     61 |  0.002 % |
0.05/0.82	c |      6387 |     220    18700   130900 |     6233     5761     61 |  0.002 % |
0.05/0.84	c |      6521 |     220    18700   130900 |     6233     5895     61 |  0.002 % |
0.05/0.86	c |      6668 |     220    18700   130900 |     6233     6042     61 |  0.002 % |
0.05/0.88	c |      6828 |     220    18700   130900 |     6233     6202     61 |  0.002 % |
0.05/0.91	c |      7004 |     220    18700   130900 |     6233     5744     61 |  0.002 % |
0.05/0.94	c |      7197 |     220    18700   130900 |     6233     5937     61 |  0.002 % |
0.05/0.96	c |      7410 |     220    18700   130900 |     6233     6150     61 |  0.002 % |
0.05/1.00	c |      7645 |     220    18700   130900 |     6233     5752     61 |  0.002 % |
0.97/1.01	c |      7747 |     220    18700   130900 |     6233     5854     61 |  0.002 % |
0.97/1.03	c |      7858 |     220    18700   130900 |     6233     5965     61 |  0.002 % |
0.97/1.04	c |      7982 |     220    18700   130900 |     6233     6089     61 |  0.002 % |
0.97/1.06	c |      8115 |     220    18700   130900 |     6233     6222     61 |  0.002 % |
0.97/1.09	c |      8262 |     220    18700   130900 |     6233     5736     61 |  0.002 % |
1.07/1.11	c |      8424 |     220    18700   130900 |     6233     5898     61 |  0.002 % |
1.07/1.13	c |      8601 |     220    18700   130900 |     6233     6075     61 |  0.002 % |
1.07/1.16	c |      8796 |     220    18700   130900 |     6233     6270     61 |  0.002 % |
1.07/1.19	c |      9008 |     220    18700   130900 |     6233     5855     61 |  0.002 % |
1.17/1.22	c |      9244 |     220    18700   130900 |     6233     6091     61 |  0.002 % |
1.17/1.26	c |      9500 |     220    18700   130900 |     6233     6347     61 |  0.002 % |
1.17/1.27	c |      9600 |     220    18700   130900 |     6233     5813     61 |  0.002 % |
1.17/1.29	c |      9711 |     220    18700   130900 |     6233     5924     61 |  0.002 % |
1.27/1.30	c |      9832 |     220    18700   130900 |     6233     6045     61 |  0.002 % |
1.27/1.32	c |      9967 |     220    18700   130900 |     6233     6180     61 |  0.002 % |
1.27/1.34	c |     10114 |     220    18700   130900 | 2147483647     6327     61 |  0.002 % |
1.27/1.36	c |     10275 |     220    18700   130900 | 2147483647     6488     61 |  0.002 % |
1.27/1.38	c |     10452 |     220    18700   130900 | 2147483647     6665     61 |  0.002 % |
1.37/1.41	c |     10645 |     220    18700   130900 | 2147483647     6858     61 |  0.002 % |
1.37/1.43	c |     10857 |     220    18700   130900 | 2147483647     7070     61 |  0.002 % |
1.37/1.47	c |     11090 |     220    18700   130900 | 2147483647     7303     61 |  0.002 % |
1.47/1.50	c |     11346 |     220    18700   130900 | 2147483647     7559     61 |  0.002 % |
1.47/1.54	c |     11630 |     220    18700   130900 | 2147483647     7843     61 |  0.002 % |
1.47/1.56	c |     11730 |     220    18700   130900 | 2147483647     7943     61 |  0.002 % |
1.47/1.57	c |     11840 |     220    18700   130900 | 2147483647     8053     61 |  0.002 % |
1.47/1.59	c |     11962 |     220    18700   130900 | 2147483647     8175     61 |  0.002 % |
1.57/1.61	c |     12096 |     220    18700   130900 | 2147483647     8309     61 |  0.002 % |
1.57/1.63	c |     12242 |     220    18700   130900 | 2147483647     8455     61 |  0.002 % |
1.57/1.66	c |     12403 |     220    18700   130900 | 2147483647     8616     60 |  0.002 % |
1.57/1.68	c |     12579 |     220    18700   130900 | 2147483647     8792     61 |  0.002 % |
1.67/1.71	c |     12772 |     220    18700   130900 | 2147483647     8985     61 |  0.002 % |
1.67/1.75	c |     12984 |     220    18700   130900 | 2147483647     9197     61 |  0.002 % |
1.67/1.78	c |     13220 |     220    18700   130900 | 2147483647     9433     61 |  0.002 % |
1.77/1.82	c |     13477 |     220    18700   130900 | 2147483647     9690     61 |  0.002 % |
1.77/1.86	c |     13759 |     220    18700   130900 | 2147483647     9972     61 |  0.002 % |
1.87/1.92	c |     14068 |     220    18700   130900 | 2147483647    10281     61 |  0.002 % |
1.87/1.94	c |     14168 |     220    18700   130900 | 2147483647    10381     61 |  0.002 % |
1.87/1.96	c |     14283 |     220    18700   130900 | 2147483647    10496     61 |  0.002 % |
1.87/1.97	c |     14404 |     220    18700   130900 | 2147483647    10617     61 |  0.002 % |
1.87/2.00	c |     14539 |     220    18700   130900 | 2147483647    10752     61 |  0.002 % |
1.96/2.02	c |     14685 |     220    18700   130900 | 2147483647    10898     61 |  0.002 % |
1.96/2.05	c |     14846 |     220    18700   130900 | 2147483647    11059     61 |  0.002 % |
1.96/2.09	c |     15024 |     220    18700   130900 | 2147483647    11237     61 |  0.002 % |
2.07/2.12	c |     15217 |     220    18700   130900 | 2147483647    11430     61 |  0.002 % |
2.07/2.16	c |     15429 |     220    18700   130900 | 2147483647    11642     61 |  0.002 % |
2.17/2.20	c |     15663 |     220    18700   130900 | 2147483647    11876     61 |  0.002 % |
2.17/2.25	c |     15919 |     220    18700   130900 | 2147483647    12132     61 |  0.002 % |
2.17/2.30	c |     16200 |     220    18700   130900 | 2147483647    12413     61 |  0.002 % |
2.26/2.35	c |     16511 |     220    18700   130900 | 2147483647    12724     61 |  0.002 % |
2.36/2.42	c |     16850 |     220    18700   130900 | 2147483647    13063     61 |  0.002 % |
2.36/2.43	c |     16950 |     220    18700   130900 | 2147483647    13163     61 |  0.002 % |
2.36/2.46	c |     17061 |     220    18700   130900 | 2147483647    13274     61 |  0.002 % |
2.36/2.48	c |     17183 |     220    18700   130900 | 2147483647    13396     61 |  0.002 % |
2.46/2.51	c |     17316 |     220    18700   130900 | 2147483647    13529     61 |  0.002 % |
2.46/2.54	c |     17462 |     220    18700   130900 | 2147483647    13675     61 |  0.002 % |
2.46/2.57	c |     17622 |     220    18700   130900 | 2147483647    13835     61 |  0.002 % |
2.56/2.60	c |     17799 |     220    18700   130900 | 2147483647    14012     61 |  0.002 % |
2.56/2.64	c |     17994 |     220    18700   130900 | 2147483647    14207     61 |  0.002 % |
2.56/2.68	c |     18206 |     220    18700   130900 | 2147483647    14419     61 |  0.002 % |
3.37/3.47	c |     18439 |     220    18700   130900 | 2147483647    14652     61 |  0.002 % |
3.47/3.53	c |     18695 |     220    18700   130900 | 2147483647    14908     61 |  0.002 % |
3.47/3.59	c |     18977 |     220    18700   130900 | 2147483647    15190     61 |  0.002 % |
3.57/3.64	c |     19286 |     220    18700   130900 | 2147483647    15499     61 |  0.002 % |
3.67/3.71	c |     19625 |     220    18700   130900 | 2147483647    15838     61 |  0.002 % |
3.67/3.78	c |     19997 |     220    18700   130900 | 2147483647    16210     61 |  0.002 % |
3.77/3.80	c |     20097 |     220    18700   130900 | 2147483647    16310     61 |  0.002 % |
3.77/3.83	c |     20208 |     220    18700   130900 | 2147483647    16421     61 |  0.002 % |
3.77/3.86	c |     20329 |     220    18700   130900 | 2147483647    16542     61 |  0.002 % |
3.77/3.89	c |     20463 |     220    18700   130900 | 2147483647    16676     61 |  0.002 % |
3.87/3.92	c |     20610 |     220    18700   130900 | 2147483647    16823     61 |  0.002 % |
3.87/3.96	c |     20770 |     220    18700   130900 | 2147483647    16983     61 |  0.002 % |
3.97/4.00	c |     20947 |     220    18700   130900 | 2147483647    17160     61 |  0.002 % |
3.97/4.05	c |     21141 |     220    18700   130900 | 2147483647    17354     61 |  0.002 % |
4.07/4.10	c |     21356 |     220    18700   130900 | 2147483647    17569     61 |  0.002 % |
4.07/4.15	c |     21589 |     220    18700   130900 | 2147483647    17802     61 |  0.002 % |
4.17/4.22	c |     21845 |     220    18700   130900 | 2147483647    18058     61 |  0.002 % |
4.17/4.29	c |     22127 |     220    18700   130900 | 2147483647    18340     61 |  0.002 % |
4.27/4.37	c |     22438 |     220    18700   130900 | 2147483647    18651     61 |  0.002 % |
4.37/4.44	c |     22779 |     220    18700   130900 | 2147483647    18992     61 |  0.002 % |
4.47/4.53	c |     23152 |     220    18700   130900 | 2147483647    19365     61 |  0.002 % |
4.67/4.74	c |     23562 |     220    18700   130900 | 2147483647    19775     61 |  0.002 % |
4.67/4.77	c |     23663 |     220    18700   130900 | 2147483647    19876     61 |  0.002 % |
4.77/4.80	c |     23774 |     220    18700   130900 | 2147483647    19987     61 |  0.002 % |
4.77/4.83	c |     23895 |     220    18700   130900 | 2147483647    20108     61 |  0.002 % |
4.77/4.87	c |     24030 |     220    18700   130900 | 2147483647    20243     61 |  0.002 % |
4.87/4.91	c |     24178 |     220    18700   130900 | 2147483647    20391     61 |  0.002 % |
4.87/4.96	c |     24340 |     220    18700   130900 | 2147483647    20553     61 |  0.002 % |
4.97/5.01	c |     24516 |     220    18700   130900 | 2147483647    20729     61 |  0.002 % |
4.97/5.07	c |     24709 |     220    18700   130900 | 2147483647    20922     61 |  0.002 % |
5.07/5.13	c |     24921 |     220    18700   130900 | 2147483647    21134     61 |  0.002 % |
5.07/5.18	c |     25156 |     220    18700   130900 | 2147483647    21369     61 |  0.002 % |
5.17/5.25	c |     25412 |     220    18700   130900 | 2147483647    21625     61 |  0.002 % |
5.27/5.32	c |     25694 |     220    18700   130900 | 2147483647    21907     61 |  0.002 % |
5.37/5.41	c |     26003 |     220    18700   130900 | 2147483647    22216     61 |  0.002 % |
5.47/5.55	c |     26343 |     220    18700   130900 | 2147483647    22556     61 |  0.002 % |
5.56/5.65	c |     26715 |     220    18700   130900 | 2147483647    22928     61 |  0.002 % |
5.66/5.76	c |     27125 |     220    18700   130900 | 2147483647    23338     61 |  0.002 % |
5.76/5.89	c |     27575 |     220    18700   130900 | 2147483647    23788     61 |  0.002 % |
5.86/5.92	c |     27675 |     220    18700   130900 | 2147483647    23888     61 |  0.002 % |
5.86/5.96	c |     27786 |     220    18700   130900 | 2147483647    23999     61 |  0.002 % |
5.96/6.00	c |     27908 |     220    18700   130900 | 2147483647    24121     61 |  0.002 % |
5.96/6.05	c |     28042 |     220    18700   130900 | 2147483647    24255     61 |  0.002 % |
5.96/6.10	c |     28188 |     220    18700   130900 | 2147483647    24401     61 |  0.002 % |
6.06/6.14	c |     28349 |     220    18700   130900 | 2147483647    24562     61 |  0.002 % |
6.16/6.20	c |     28525 |     220    18700   130900 | 2147483647    24738     61 |  0.002 % |
6.16/6.26	c |     28720 |     220    18700   130900 | 2147483647    24933     61 |  0.002 % |
6.26/6.32	c |     28933 |     220    18700   130900 | 2147483647    25146     61 |  0.002 % |
6.36/6.40	c |     29166 |     220    18700   130900 | 2147483647    25379     61 |  0.002 % |
6.36/6.47	c |     29422 |     220    18700   130900 | 2147483647    25635     61 |  0.002 % |
6.47/6.57	c |     29703 |     220    18700   130900 | 2147483647    25916     61 |  0.002 % |
6.56/6.65	c |     30014 |     220    18700   130900 | 2147483647    26227     61 |  0.002 % |
6.66/6.77	c |     30354 |     220    18700   130900 | 2147483647    26567     61 |  0.002 % |
6.86/6.90	c |     30727 |     220    18700   130900 | 2147483647    26940     61 |  0.002 % |
6.96/7.04	c |     31136 |     220    18700   130900 | 2147483647    27349     61 |  0.002 % |
7.06/7.17	c |     31585 |     220    18700   130900 | 2147483647    27798     61 |  0.002 % |
7.26/7.37	c |     32078 |     220    18700   130900 | 2147483647    28291     62 |  0.002 % |
7.36/7.41	c |     32180 |     220    18700   130900 | 2147483647    28393     62 |  0.002 % |
7.36/7.46	c |     32290 |     220    18700   130900 | 2147483647    28503     61 |  0.002 % |
7.46/7.50	c |     32412 |     220    18700   130900 | 2147483647    28625     61 |  0.002 % |
7.46/7.55	c |     32545 |     220    18700   130900 | 2147483647    28758     61 |  0.002 % |
7.56/7.61	c |     32691 |     220    18700   130900 | 2147483647    28904     61 |  0.002 % |
7.56/7.67	c |     32851 |     220    18700   130900 | 2147483647    29064     61 |  0.002 % |
7.66/7.72	c |     33027 |     220    18700   130900 | 2147483647    29240     61 |  0.002 % |
7.66/7.79	c |     33220 |     220    18700   130900 | 2147483647    29433     61 |  0.002 % |
7.76/7.87	c |     33432 |     220    18700   130900 | 2147483647    29645     61 |  0.002 % |
7.86/7.95	c |     33665 |     220    18700   130900 | 2147483647    29878     61 |  0.002 % |
7.96/8.03	c |     33922 |     220    18700   130900 | 2147483647    30135     61 |  0.002 % |
8.06/8.14	c |     34204 |     220    18700   130900 | 2147483647    30417     61 |  0.002 % |
8.16/8.24	c |     34514 |     220    18700   130900 | 2147483647    30727     61 |  0.002 % |
8.26/8.38	c |     34853 |     220    18700   130900 | 2147483647    31066     61 |  0.002 % |
8.46/8.52	c |     35227 |     220    18700   130900 | 2147483647    31440     62 |  0.002 % |
8.56/8.66	c |     35637 |     220    18700   130900 | 2147483647    31850     62 |  0.002 % |
8.76/8.84	c |     36086 |     220    18700   130900 | 2147483647    32299     62 |  0.002 % |
8.95/9.06	c |     36581 |     220    18700   130900 | 2147483647    32794     62 |  0.002 % |
9.15/9.28	c |     37123 |     220    18700   130900 | 2147483647    33336     62 |  0.002 % |
9.25/9.31	c |     37225 |     220    18700   130900 | 2147483647    33438     62 |  0.002 % |
9.25/9.36	c |     37336 |     220    18700   130900 | 2147483647    33549     62 |  0.002 % |
9.35/9.41	c |     37457 |     220    18700   130900 | 2147483647    33670     62 |  0.002 % |
9.35/9.46	c |     37590 |     220    18700   130900 | 2147483647    33803     62 |  0.002 % |
9.45/9.54	c |     37737 |     220    18700   130900 | 2147483647    33950     62 |  0.002 % |
9.55/9.60	c |     37897 |     220    18700   130900 | 2147483647    34110     62 |  0.002 % |
9.55/9.67	c |     38074 |     220    18700   130900 | 2147483647    34287     62 |  0.002 % |
9.66/9.76	c |     38267 |     220    18700   130900 | 2147483647    34480     62 |  0.002 % |
9.76/9.86	c |     38479 |     220    18700   130900 | 2147483647    34692     62 |  0.002 % |
9.86/9.97	c |     38713 |     220    18700   130900 | 2147483647    34926     62 |  0.002 % |
9.96/10.08	c |     38972 |     220    18700   130900 | 2147483647    35185     62 |  0.002 % |
10.16/10.20	c |     39254 |     220    18700   130900 | 2147483647    35467     62 |  0.002 % |
10.26/10.32	c |     39564 |     220    18700   130900 | 2147483647    35777     62 |  0.002 % |
10.36/10.48	c |     39903 |     220    18700   130900 | 2147483647    36116     62 |  0.002 % |
10.56/10.66	c |     40278 |     220    18700   130900 | 2147483647    36491     62 |  0.002 % |
10.76/10.85	c |     40689 |     220    18700   130900 | 2147483647    36902     62 |  0.002 % |
10.96/11.05	c |     41143 |     220    18700   130900 | 2147483647    37356     62 |  0.002 % |
11.16/11.26	c |     41637 |     220    18700   130900 | 2147483647    37850     62 |  0.002 % |
11.46/11.50	c |     42180 |     220    18700   130900 | 2147483647    38393     62 |  0.002 % |
11.66/11.74	c |     42776 |     220    18700   130900 | 2147483647    38989     62 |  0.002 % |
11.66/11.79	c |     42876 |     220    18700   130900 | 2147483647    39089     62 |  0.002 % |
11.76/11.85	c |     42986 |     220    18700   130900 | 2147483647    39199     62 |  0.002 % |
11.86/11.90	c |     43109 |     220    18700   130900 | 2147483647    39322     62 |  0.002 % |
11.86/11.96	c |     43242 |     220    18700   130900 | 2147483647    39455     62 |  0.002 % |
11.96/12.02	c |     43388 |     220    18700   130900 | 2147483647    39601     62 |  0.002 % |
12.06/12.10	c |     43548 |     220    18700   130900 | 2147483647    39761     62 |  0.002 % |
12.16/12.21	c |     43725 |     220    18700   130900 | 2147483647    39938     62 |  0.002 % |
12.26/12.30	c |     43919 |     220    18700   130900 | 2147483647    40132     62 |  0.002 % |
12.36/12.40	c |     44131 |     220    18700   130900 | 2147483647    40344     62 |  0.002 % |
12.46/12.51	c |     44364 |     220    18700   130900 | 2147483647    40577     62 |  0.002 % |
12.55/12.64	c |     44620 |     220    18700   130900 | 2147483647    40833     62 |  0.002 % |
12.65/12.76	c |     44902 |     220    18700   130900 | 2147483647    41115     62 |  0.002 % |
12.75/12.89	c |     45211 |     220    18700   130900 | 2147483647    41424     62 |  0.002 % |
12.95/13.05	c |     45551 |     220    18700   130900 | 2147483647    41764     62 |  0.002 % |
13.16/13.25	c |     45926 |     220    18700   130900 | 2147483647    42139     62 |  0.002 % |
13.35/13.46	c |     46336 |     220    18700   130900 | 2147483647    42549     62 |  0.002 % |
13.55/13.69	c |     46785 |     220    18700   130900 | 2147483647    42998     62 |  0.002 % |
13.85/13.95	c |     47278 |     220    18700   130900 | 2147483647    43491     62 |  0.002 % |
14.16/14.20	c |     47821 |     220    18700   130900 | 2147483647    44034     62 |  0.002 % |
14.35/14.49	c |     48418 |     220    18700   130900 | 2147483647    44631     62 |  0.002 % |
14.76/14.80	c |     49076 |     220    18700   130900 | 2147483647    45289     62 |  0.002 % |
14.76/14.88	c |     49177 |     220    18700   130900 | 2147483647    45390     62 |  0.002 % |
14.86/14.95	c |     49287 |     220    18700   130900 | 2147483647    45500     62 |  0.002 % |
14.96/15.02	c |     49409 |     220    18700   130900 | 2147483647    45622     62 |  0.002 % |
15.06/15.10	c |     49542 |     220    18700   130900 | 2147483647    45755     62 |  0.002 % |
15.16/15.20	c |     49689 |     220    18700   130900 | 2147483647    45902     62 |  0.002 % |
15.16/15.30	c |     49850 |     220    18700   130900 | 2147483647    46063     62 |  0.002 % |
15.26/15.40	c |     50027 |     220    18700   130900 | 2147483647    46240     62 |  0.002 % |
15.46/15.52	c |     50221 |     220    18700   130900 | 2147483647    46434     62 |  0.002 % |
15.56/15.64	c |     50434 |     220    18700   130900 | 2147483647    46647     62 |  0.002 % |
15.66/15.77	c |     50669 |     220    18700   130900 | 2147483647    46882     62 |  0.002 % |
15.86/15.90	c |     50926 |     220    18700   130900 | 2147483647    47139     62 |  0.002 % |
15.96/16.05	c |     51207 |     220    18700   130900 | 2147483647    47420     62 |  0.002 % |
16.16/16.21	c |     51517 |     220    18700   130900 | 2147483647    47730     62 |  0.002 % |
16.36/16.46	c |     51856 |     220    18700   130900 | 2147483647    48069     62 |  0.002 % |
16.56/16.69	c |     52228 |     220    18700   130900 | 2147483647    48441     62 |  0.002 % |
16.86/16.93	c |     52637 |     220    18700   130900 | 2147483647    48850     62 |  0.002 % |
17.06/17.16	c |     53086 |     220    18700   130900 | 2147483647    49299     62 |  0.002 % |
17.36/17.46	c |     53581 |     220    18700   130900 | 2147483647    49794     62 |  0.002 % |
17.66/17.77	c |     54123 |     220    18700   130900 | 2147483647    50336     62 |  0.002 % |
18.06/18.11	c |     54720 |     220    18700   130900 | 2147483647    50933     62 |  0.002 % |
18.35/18.45	c |     55375 |     220    18700   130900 | 2147483647    51588     62 |  0.002 % |
18.75/18.86	c |     56095 |     220    18700   130900 | 2147483647    52308     62 |  0.002 % |
18.85/18.94	c |     56196 |     220    18700   130900 | 2147483647    52409     62 |  0.002 % |
18.95/19.02	c |     56306 |     220    18700   130900 | 2147483647    52519     62 |  0.002 % |
18.95/19.09	c |     56427 |     220    18700   130900 | 2147483647    52640     62 |  0.002 % |
19.05/19.17	c |     56560 |     220    18700   130900 | 2147483647    52773     62 |  0.002 % |
19.15/19.26	c |     56707 |     220    18700   130900 | 2147483647    52920     62 |  0.002 % |
19.25/19.37	c |     56868 |     220    18700   130900 | 2147483647    53081     62 |  0.002 % |
19.35/19.49	c |     57044 |     220    18700   130900 | 2147483647    53257     62 |  0.002 % |
19.55/19.63	c |     57237 |     220    18700   130900 | 2147483647    53450     62 |  0.002 % |
19.66/19.77	c |     57450 |     220    18700   130900 | 2147483647    53663     62 |  0.002 % |
19.85/19.92	c |     57684 |     220    18700   130900 | 2147483647    53897     62 |  0.002 % |
19.95/20.08	c |     57940 |     220    18700   130900 | 2147483647    54153     62 |  0.002 % |
20.15/20.24	c |     58223 |     220    18700   130900 | 2147483647    54436     62 |  0.002 % |
20.35/20.42	c |     58534 |     220    18700   130900 | 2147483647    54747     62 |  0.002 % |
20.55/20.69	c |     58873 |     220    18700   130900 | 2147483647    55086     62 |  0.002 % |
20.85/20.91	c |     59245 |     220    18700   130900 | 2147483647    55458     62 |  0.002 % |
21.05/21.16	c |     59654 |     220    18700   130900 | 2147483647    55867     62 |  0.002 % |
21.35/21.45	c |     60104 |     220    18700   130900 | 2147483647    56317     62 |  0.002 % |
21.65/21.77	c |     60598 |     220    18700   130900 | 2147483647    56811     62 |  0.002 % |
22.06/22.14	c |     61140 |     220    18700   130900 | 2147483647    57353     62 |  0.002 % |
22.46/22.53	c |     61736 |     220    18700   130900 | 2147483647    57949     62 |  0.002 % |
22.85/22.96	c |     62392 |     220    18700   130900 | 2147483647    58605     62 |  0.002 % |
23.35/23.42	c |     63115 |     220    18700   130900 | 2147483647    59328     62 |  0.002 % |
23.85/23.92	c |     63910 |     220    18700   130900 | 2147483647    60123     62 |  0.002 % |
23.85/23.98	c |     64012 |     220    18700   130900 | 2147483647    60225     62 |  0.002 % |
23.95/24.08	c |     64123 |     220    18700   130900 | 2147483647    60336     62 |  0.002 % |
24.06/24.17	c |     64244 |     220    18700   130900 | 2147483647    60457     62 |  0.002 % |
24.16/24.26	c |     64378 |     220    18700   130900 | 2147483647    60591     62 |  0.002 % |
24.25/24.35	c |     64524 |     220    18700   130900 | 2147483647    60737     62 |  0.002 % |
24.35/24.48	c |     64684 |     220    18700   130900 | 2147483647    60897     62 |  0.002 % |
24.55/24.62	c |     64860 |     220    18700   130900 | 2147483647    61073     62 |  0.002 % |
24.65/24.78	c |     65057 |     220    18700   130900 | 2147483647    61270     62 |  0.002 % |
24.85/24.96	c |     65269 |     220    18700   130900 | 2147483647    61482     62 |  0.002 % |
25.05/25.14	c |     65503 |     220    18700   130900 | 2147483647    61716     62 |  0.002 % |
25.26/25.33	c |     65759 |     220    18700   130900 | 2147483647    61972     62 |  0.002 % |
25.45/25.57	c |     66040 |     220    18700   130900 | 2147483647    62253     62 |  0.002 % |
25.75/25.82	c |     66349 |     220    18700   130900 | 2147483647    62562     62 |  0.002 % |
25.95/26.07	c |     66688 |     220    18700   130900 | 2147483647    62901     62 |  0.002 % |
26.26/26.39	c |     67060 |     220    18700   130900 | 2147483647    63273     62 |  0.002 % |
26.65/26.76	c |     67469 |     220    18700   130900 | 2147483647    63682     62 |  0.002 % |
27.05/27.11	c |     67919 |     220    18700   130900 | 2147483647    64132     62 |  0.002 % |
27.35/27.46	c |     68412 |     220    18700   130900 | 2147483647    64625     62 |  0.002 % |
27.75/27.89	c |     68955 |     220    18700   130900 | 2147483647    65168     62 |  0.002 % |
28.15/28.28	c |     69551 |     220    18700   130900 | 2147483647    65764     62 |  0.002 % |
28.75/28.82	c |     70206 |     220    18700   130900 | 2147483647    66419     62 |  0.002 % |
29.25/29.34	c |     70928 |     220    18700   130900 | 2147483647    67141     62 |  0.002 % |
29.85/29.93	c |     71722 |     220    18700   130900 | 2147483647    67935     62 |  0.002 % |
30.45/30.58	c |     72593 |     220    18700   130900 | 2147483647    68806     62 |  0.002 % |
30.55/30.70	c |     72694 |     220    18700   130900 | 2147483647    68907     62 |  0.002 % |
30.65/30.78	c |     72804 |     220    18700   130900 | 2147483647    69017     62 |  0.002 % |
30.75/30.87	c |     72927 |     220    18700   130900 | 2147483647    69140     62 |  0.002 % |
30.85/30.97	c |     73060 |     220    18700   130900 | 2147483647    69273     62 |  0.002 % |
30.95/31.10	c |     73206 |     220    18700   130900 | 2147483647    69419     62 |  0.002 % |
31.15/31.24	c |     73369 |     220    18700   130900 | 2147483647    69582     62 |  0.002 % |
31.25/31.39	c |     73545 |     220    18700   130900 | 2147483647    69758     62 |  0.002 % |
31.45/31.58	c |     73739 |     220    18700   130900 | 2147483647    69952     62 |  0.002 % |
31.65/31.77	c |     73951 |     220    18700   130900 | 2147483647    70164     62 |  0.002 % |
31.85/31.96	c |     74185 |     220    18700   130900 | 2147483647    70398     62 |  0.002 % |
32.05/32.16	c |     74442 |     220    18700   130900 | 2147483647    70655     62 |  0.002 % |
32.25/32.37	c |     74724 |     220    18700   130900 | 2147483647    70937     62 |  0.002 % |
32.55/32.62	c |     75034 |     220    18700   130900 | 2147483647    71247     62 |  0.002 % |
32.85/32.96	c |     75375 |     220    18700   130900 | 2147483647    71588     62 |  0.002 % |
33.15/33.29	c |     75747 |     220    18700   130900 | 2147483647    71960     62 |  0.002 % |
33.55/33.62	c |     76156 |     220    18700   130900 | 2147483647    72369     62 |  0.002 % |
33.95/34.02	c |     76605 |     220    18700   130900 | 2147483647    72818     62 |  0.002 % |
34.35/34.40	c |     77101 |     220    18700   130900 | 2147483647    73314     62 |  0.002 % |
34.75/34.82	c |     77643 |     220    18700   130900 | 2147483647    73856     62 |  0.002 % |
35.15/35.27	c |     78242 |     220    18700   130900 | 2147483647    74455     62 |  0.002 % |
35.75/35.81	c |     78897 |     220    18700   130900 | 2147483647    75110     62 |  0.002 % |
36.25/36.36	c |     79617 |     220    18700   130900 | 2147483647    75830     62 |  0.002 % |
36.85/36.98	c |     80409 |     220    18700   130900 | 2147483647    76622     62 |  0.002 % |
37.55/37.69	c |     81281 |     220    18700   130900 | 2147483647    77494     62 |  0.002 % |
38.35/38.41	c |     82241 |     220    18700   130900 | 2147483647    78454     62 |  0.002 % |
38.35/38.49	c |     82341 |     220    18700   130900 | 2147483647    78554     62 |  0.002 % |
38.45/38.59	c |     82451 |     220    18700   130900 | 2147483647    78664     62 |  0.002 % |
38.54/38.69	c |     82572 |     220    18700   130900 | 2147483647    78785     62 |  0.002 % |
38.74/38.84	c |     82706 |     220    18700   130900 | 2147483647    78919     62 |  0.002 % |
38.85/38.98	c |     82855 |     220    18700   130900 | 2147483647    79068     62 |  0.002 % |
39.05/39.13	c |     83015 |     220    18700   130900 | 2147483647    79228     62 |  0.002 % |
39.25/39.31	c |     83191 |     220    18700   130900 | 2147483647    79404     62 |  0.002 % |
39.45/39.51	c |     83384 |     220    18700   130900 | 2147483647    79597     62 |  0.002 % |
39.64/39.72	c |     83597 |     220    18700   130900 | 2147483647    79810     62 |  0.002 % |
39.84/39.99	c |     83832 |     220    18700   130900 | 2147483647    80045     62 |  0.002 % |
40.14/40.25	c |     84090 |     220    18700   130900 | 2147483647    80303     62 |  0.002 % |
40.44/40.54	c |     84373 |     220    18700   130900 | 2147483647    80586     62 |  0.002 % |
40.75/40.86	c |     84682 |     220    18700   130900 | 2147483647    80895     62 |  0.002 % |
41.15/41.20	c |     85021 |     220    18700   130900 | 2147483647    81234     62 |  0.002 % |
41.45/41.59	c |     85396 |     220    18700   130900 | 2147483647    81609     62 |  0.002 % |
41.95/42.04	c |     85805 |     220    18700   130900 | 2147483647    82018     62 |  0.002 % |
42.45/42.50	c |     86257 |     220    18700   130900 | 2147483647    82470     62 |  0.002 % |
42.85/42.98	c |     86753 |     220    18700   130900 | 2147483647    82966     62 |  0.002 % |
43.35/43.47	c |     87296 |     220    18700   130900 | 2147483647    83509     62 |  0.002 % |
43.95/44.02	c |     87894 |     220    18700   130900 | 2147483647    84107     62 |  0.002 % |
44.55/44.61	c |     88550 |     220    18700   130900 | 2147483647    84763     62 |  0.002 % |
45.25/45.33	c |     89270 |     220    18700   130900 | 2147483647    85483     62 |  0.002 % |
45.95/46.06	c |     90062 |     220    18700   130900 |    86213    86275     62 |  0.002 % |
46.85/46.92	c |     90933 |     220    18700   130900 |    86213    75386     62 |  0.002 % |
47.55/47.69	c |     91893 |     220    18700   130900 |    86213    76346     62 |  0.002 % |
48.45/48.51	c |     92946 |     220    18700   130900 |    86213    77399     62 |  0.002 % |
48.55/48.60	c |     93047 |     220    18700   130900 |    86213    77500     62 |  0.002 % |
48.65/48.73	c |     93157 |     220    18700   130900 |    86213    77610     62 |  0.002 % |
48.75/48.84	c |     93279 |     220    18700   130900 |    86213    77732     62 |  0.002 % |
48.85/48.95	c |     93413 |     220    18700   130900 |    86213    77866     62 |  0.002 % |
48.95/49.08	c |     93559 |     220    18700   130900 |    86213    78012     62 |  0.002 % |
49.15/49.25	c |     93719 |     220    18700   130900 |    86213    78172     62 |  0.002 % |
49.35/49.41	c |     93895 |     220    18700   130900 |    86213    78348     62 |  0.002 % |
49.55/49.62	c |     94089 |     220    18700   130900 |    86213    78542     62 |  0.002 % |
49.75/49.84	c |     94305 |     220    18700   130900 |    86213    78758     62 |  0.002 % |
49.95/50.07	c |     94538 |     220    18700   130900 |    86213    78991     62 |  0.002 % |
50.25/50.35	c |     94794 |     220    18700   130900 |    86213    79247     62 |  0.002 % |
50.45/50.60	c |     95075 |     220    18700   130900 |    86213    79528     62 |  0.002 % |
50.75/50.88	c |     95385 |     220    18700   130900 |    86213    79838     62 |  0.002 % |
51.05/51.15	c |     95724 |     220    18700   130900 |    86213    80177     62 |  0.002 % |
51.35/51.47	c |     96096 |     220    18700   130900 |    86213    80549     62 |  0.002 % |
51.84/51.90	c |     96506 |     220    18700   130900 |    86213    80959     62 |  0.002 % |
52.24/52.37	c |     96957 |     220    18700   130900 |    86213    81410     62 |  0.002 % |
52.75/52.85	c |     97451 |     220    18700   130900 |    86213    81904     62 |  0.002 % |
53.24/53.35	c |     97994 |     220    18700   130900 |    86213    82447     62 |  0.002 % |
53.75/53.88	c |     98590 |     220    18700   130900 |    86213    83043     62 |  0.002 % |
54.44/54.58	c |     99246 |     220    18700   130900 |    86213    83699     62 |  0.002 % |
55.24/55.30	c |     99966 |     220    18700   130900 |    86213    84419     62 |  0.002 % |
55.95/56.06	c |    100758 |     220    18700   130900 |    84454    72569     62 |  0.002 % |
56.64/56.77	c |    101632 |     220    18700   130900 |    84454    73443     62 |  0.002 % |
57.44/57.53	c |    102590 |     220    18700   130900 |    84454    74401     62 |  0.002 % |
58.34/58.40	c |    103645 |     220    18700   130900 |    84454    75456     62 |  0.002 % |
59.14/59.28	c |    104803 |     220    18700   130900 |    84454    76614     62 |  0.002 % |
59.24/59.36	c |    104903 |     220    18700   130900 |    84454    76714     62 |  0.002 % |
59.34/59.46	c |    105014 |     220    18700   130900 |    84454    76825     62 |  0.002 % |
59.44/59.59	c |    105135 |     220    18700   130900 |    84454    76946     62 |  0.002 % |
59.64/59.72	c |    105269 |     220    18700   130900 |    84454    77080     62 |  0.002 % |
59.74/59.86	c |    105416 |     220    18700   130900 |    84454    77227     62 |  0.002 % |
59.94/60.00	c |    105576 |     220    18700   130900 |    84454    77387     62 |  0.002 % |
60.14/60.20	c |    105754 |     220    18700   130900 |    84454    77565     62 |  0.002 % |
60.24/60.39	c |    105947 |     220    18700   130900 |    84454    77758     62 |  0.002 % |
60.44/60.59	c |    106159 |     220    18700   130900 |    84454    77970     62 |  0.002 % |
60.64/60.77	c |    106393 |     220    18700   130900 |    84454    78204     62 |  0.002 % |
60.84/60.98	c |    106649 |     220    18700   130900 |    84454    78460     62 |  0.002 % |
61.14/61.22	c |    106932 |     220    18700   130900 |    84454    78743     62 |  0.002 % |
61.34/61.48	c |    107242 |     220    18700   130900 |    84454    79053     62 |  0.002 % |
61.64/61.74	c |    107581 |     220    18700   130900 |    84454    79392     62 |  0.002 % |
62.04/62.14	c |    107953 |     220    18700   130900 |    84454    79764     62 |  0.002 % |
62.44/62.54	c |    108363 |     220    18700   130900 |    84454    80174     62 |  0.002 % |
62.84/62.96	c |    108812 |     220    18700   130900 |    84454    80623     62 |  0.002 % |
63.24/63.36	c |    109307 |     220    18700   130900 |    84454    81118     62 |  0.002 % |
63.74/63.82	c |    109849 |     220    18700   130900 |    84454    81660     62 |  0.002 % |
64.24/64.36	c |    110447 |     220    18700   130900 |    81811    71000     62 |  0.002 % |
64.74/64.85	c |    111102 |     220    18700   130900 |    81811    71655     62 |  0.002 % |
65.24/65.35	c |    111825 |     220    18700   130900 |    81811    72378     62 |  0.002 % |
65.84/65.91	c |    112618 |     220    18700   130900 |    81811    73171     62 |  0.002 % |
66.44/66.53	c |    113490 |     220    18700   130900 |    81811    74043     62 |  0.002 % |
67.14/67.27	c |    114450 |     220    18700   130900 |    81811    75003     62 |  0.002 % |
68.04/68.15	c |    115504 |     220    18700   130900 |    81811    76057     62 |  0.002 % |
69.14/69.22	c |    116663 |     220    18700   130900 |    81811    77216     62 |  0.002 % |
70.14/70.30	c |    117939 |     220    18700   130900 |    81811    78492     62 |  0.002 % |
70.24/70.39	c |    118040 |     220    18700   130900 |    81811    78593     62 |  0.002 % |
70.44/70.52	c |    118150 |     220    18700   130900 |    81811    78703     62 |  0.002 % |
70.54/70.65	c |    118272 |     220    18700   130900 |    81811    78825     62 |  0.002 % |
70.64/70.78	c |    118405 |     220    18700   130900 |    81811    78958     62 |  0.002 % |
70.84/70.92	c |    118552 |     220    18700   130900 |    81811    79105     62 |  0.002 % |
71.04/71.11	c |    118713 |     220    18700   130900 |    81811    79266     62 |  0.002 % |
71.14/71.27	c |    118889 |     220    18700   130900 |    81811    79442     62 |  0.002 % |
71.34/71.43	c |    119085 |     220    18700   130900 |    81811    79638     62 |  0.002 % |
71.54/71.65	c |    119298 |     220    18700   130900 |    81811    79851     62 |  0.002 % |
71.74/71.86	c |    119533 |     220    18700   130900 |    81811    80086     62 |  0.002 % |
72.04/72.14	c |    119792 |     220    18700   130900 |    81811    80345     62 |  0.002 % |
72.34/72.43	c |    120074 |     220    18700   130900 |    80554    80627     62 |  0.002 % |
72.64/72.79	c |    120383 |     220    18700   130900 |    80554    70705     62 |  0.002 % |
72.94/73.07	c |    120723 |     220    18700   130900 |    80554    71045     62 |  0.002 % |
73.24/73.39	c |    121095 |     220    18700   130900 |    80554    71417     62 |  0.002 % |
73.74/73.81	c |    121505 |     220    18700   130900 |    80554    71827     62 |  0.002 % |
74.14/74.21	c |    121955 |     220    18700   130900 |    80554    72277     62 |  0.002 % |
74.54/74.67	c |    122449 |     220    18700   130900 |    80554    72771     62 |  0.002 % |
75.04/75.11	c |    122992 |     220    18700   130900 |    80554    73314     62 |  0.002 % |
75.44/75.56	c |    123588 |     220    18700   130900 |    80554    73910     62 |  0.002 % |
76.04/76.15	c |    124243 |     220    18700   130900 |    80554    74565     62 |  0.002 % |
76.64/76.77	c |    124963 |     220    18700   130900 |    80554    75285     62 |  0.002 % |
77.34/77.46	c |    125757 |     220    18700   130900 |    80554    76079     62 |  0.002 % |
78.04/78.17	c |    126629 |     220    18700   130900 |    80554    76951     62 |  0.002 % |
78.84/78.95	c |    127587 |     220    18700   130900 |    80554    77909     62 |  0.002 % |
79.93/80.07	c |    128640 |     220    18700   130900 |    80554    78962     62 |  0.002 % |
81.03/81.15	c |    129798 |     220    18700   130900 |    80554    80120     62 |  0.002 % |
82.14/82.23	c |    131072 |     220    18700   130900 |    80324    70692     62 |  0.002 % |
83.33/83.42	c |    132473 |     220    18700   130900 |    80324    72093     62 |  0.002 % |
83.44/83.50	c |    132573 |     220    18700   130900 |    80324    72193     62 |  0.002 % |
83.54/83.63	c |    132684 |     220    18700   130900 |    80324    72304     62 |  0.002 % |
83.63/83.72	c |    132805 |     220    18700   130900 |    80324    72425     62 |  0.002 % |
83.73/83.83	c |    132939 |     220    18700   130900 |    80324    72559     62 |  0.002 % |
83.83/83.96	c |    133088 |     220    18700   130900 |    80324    72708     62 |  0.002 % |
84.03/84.12	c |    133248 |     220    18700   130900 |    80324    72868     62 |  0.002 % |
84.13/84.28	c |    133424 |     220    18700   130900 |    80324    73044     62 |  0.002 % |
84.33/84.46	c |    133617 |     220    18700   130900 |    80324    73237     62 |  0.002 % |
84.54/84.64	c |    133829 |     220    18700   130900 |    80324    73449     62 |  0.002 % |
84.73/84.84	c |    134063 |     220    18700   130900 |    80324    73683     62 |  0.002 % |
85.03/85.11	c |    134319 |     220    18700   130900 |    80324    73939     62 |  0.002 % |
85.23/85.35	c |    134601 |     220    18700   130900 |    80324    74221     62 |  0.002 % |
85.53/85.60	c |    134913 |     220    18700   130900 |    80324    74533     62 |  0.002 % |
85.74/85.88	c |    135253 |     220    18700   130900 |    80324    74873     62 |  0.002 % |
86.03/86.16	c |    135626 |     220    18700   130900 |    80324    75246     62 |  0.002 % |
86.33/86.48	c |    136035 |     220    18700   130900 |    80324    75655     62 |  0.002 % |
86.84/86.91	c |    136486 |     220    18700   130900 |    80324    76106     62 |  0.002 % |
87.23/87.37	c |    136980 |     220    18700   130900 |    80324    76600     62 |  0.002 % |
87.73/87.89	c |    137523 |     220    18700   130900 |    80324    77143     62 |  0.002 % |
88.33/88.46	c |    138119 |     220    18700   130900 |    80324    77739     62 |  0.002 % |
88.94/89.05	c |    138776 |     220    18700   130900 |    80324    78396     62 |  0.002 % |
89.53/89.67	c |    139497 |     220    18700   130900 |    80324    79117     62 |  0.002 % |
90.23/90.38	c |    140290 |     220    18700   130900 |    79620    69460     62 |  0.002 % |
90.93/91.00	c |    141162 |     220    18700   130900 |    79620    70332     62 |  0.002 % |
91.63/91.73	c |    142122 |     220    18700   130900 |    79620    71292     62 |  0.002 % |
92.43/92.59	c |    143175 |     220    18700   130900 |    79620    72345     62 |  0.002 % |
93.34/93.46	c |    144335 |     220    18700   130900 |    79620    73505     62 |  0.002 % |
94.33/94.47	c |    145608 |     220    18700   130900 |    79620    74778     62 |  0.002 % |
95.33/95.45	c |    147008 |     220    18700   130900 |    79620    76178     62 |  0.002 % |
96.93/97.00	c |    148549 |     220    18700   130900 |    79620    77719     62 |  0.002 % |
97.03/97.12	c |    148649 |     220    18700   130900 |    79620    77819     62 |  0.002 % |
97.13/97.23	c |    148760 |     220    18700   130900 |    79620    77930     62 |  0.002 % |
97.23/97.34	c |    148881 |     220    18700   130900 |    79620    78051     62 |  0.002 % |
97.33/97.45	c |    149015 |     220    18700   130900 |    79620    78185     62 |  0.002 % |
97.53/97.61	c |    149162 |     220    18700   130900 |    79620    78332     62 |  0.002 % |
97.63/97.75	c |    149323 |     220    18700   130900 |    79620    78493     62 |  0.002 % |
97.73/97.90	c |    149501 |     220    18700   130900 |    79620    78671     62 |  0.002 % |
98.03/98.10	c |    149696 |     220    18700   130900 |    79620    78866     62 |  0.002 % |
98.13/98.29	c |    149908 |     220    18700   130900 |    79620    79078     62 |  0.002 % |
98.43/98.54	c |    150143 |     220    18700   130900 |    79171    70071     62 |  0.002 % |
98.63/98.71	c |    150399 |     220    18700   130900 |    79171    70327     62 |  0.002 % |
98.83/98.93	c |    150680 |     220    18700   130900 |    79171    70608     62 |  0.002 % |
99.03/99.16	c |    150989 |     220    18700   130900 |    79171    70917     62 |  0.002 % |
99.33/99.43	c |    151329 |     220    18700   130900 |    79171    71257     62 |  0.002 % |
99.63/99.71	c |    151701 |     220    18700   130900 |    79171    71629     62 |  0.002 % |
99.93/100.05	c |    152111 |     220    18700   130900 |    79171    72039     62 |  0.002 % |
100.23/100.39	c |    152560 |     220    18700   130900 |    79171    72488     62 |  0.002 % |
100.73/100.83	c |    153053 |     220    18700   130900 |    79171    72981     62 |  0.002 % |
101.23/101.34	c |    153595 |     220    18700   130900 |    79171    73523     62 |  0.002 % |
101.73/101.89	c |    154192 |     220    18700   130900 |    79171    74120     62 |  0.002 % |
102.33/102.45	c |    154848 |     220    18700   130900 |    79171    74776     62 |  0.002 % |
102.93/103.06	c |    155569 |     220    18700   130900 |    79171    75497     62 |  0.002 % |
103.73/103.80	c |    156362 |     220    18700   130900 |    79171    76290     62 |  0.002 % |
104.43/104.56	c |    157233 |     220    18700   130900 |    79171    77161     62 |  0.002 % |
105.23/105.30	c |    158192 |     220    18700   130900 |    79171    78120     62 |  0.002 % |
106.02/106.16	c |    159246 |     220    18700   130900 |    79171    79174     62 |  0.002 % |
106.92/107.03	c |    160406 |     220    18700   130900 |    70424    62605     62 |  0.002 % |
107.73/107.81	c |    161680 |     220    18700   130900 |    70424    63879     62 |  0.002 % |
108.62/108.71	c |    163080 |     220    18700   130900 |    70424    65279     62 |  0.002 % |
109.83/109.96	c |    164621 |     220    18700   130900 |    70424    66820     62 |  0.002 % |
111.12/111.22	c |    166315 |     220    18700   130900 |    70424    68514     63 |  0.002 % |
111.22/111.31	c |    166416 |     220    18700   130900 |    70424    68615     63 |  0.002 % |
111.32/111.41	c |    166526 |     220    18700   130900 |    70424    68725     63 |  0.002 % |
111.42/111.54	c |    166647 |     220    18700   130900 |    70424    68846     63 |  0.002 % |
111.52/111.66	c |    166781 |     220    18700   130900 |    70424    68980     63 |  0.002 % |
111.62/111.78	c |    166927 |     220    18700   130900 |    70424    69126     63 |  0.002 % |
111.82/111.94	c |    167087 |     220    18700   130900 |    70424    69286     63 |  0.002 % |
112.03/112.12	c |    167264 |     220    18700   130900 |    70424    69463     63 |  0.002 % |
112.22/112.30	c |    167458 |     220    18700   130900 |    70424    69657     63 |  0.002 % |
112.32/112.48	c |    167670 |     220    18700   130900 |    70424    69869     63 |  0.002 % |
112.52/112.67	c |    167904 |     220    18700   130900 |    70424    70103     63 |  0.002 % |
112.72/112.89	c |    168161 |     220    18700   130900 |    70424    70360     63 |  0.002 % |
113.02/113.15	c |    168445 |     220    18700   130900 |    70424    63592     63 |  0.002 % |
113.23/113.39	c |    168754 |     220    18700   130900 |    70424    63901     63 |  0.002 % |
113.52/113.63	c |    169093 |     220    18700   130900 |    70424    64240     63 |  0.002 % |
113.82/113.93	c |    169465 |     220    18700   130900 |    70424    64612     63 |  0.002 % |
114.12/114.24	c |    169875 |     220    18700   130900 |    70424    65022     63 |  0.002 % |
114.42/114.55	c |    170326 |     220    18700   130900 | 2147483647    65473     63 |  0.002 % |
114.82/114.92	c |    170820 |     220    18700   130900 | 2147483647    65967     63 |  0.002 % |
115.22/115.30	c |    171362 |     220    18700   130900 | 2147483647    66509     63 |  0.002 % |
115.62/115.73	c |    171958 |     220    18700   130900 | 2147483647    67105     63 |  0.002 % |
116.02/116.19	c |    172613 |     220    18700   130900 | 2147483647    67760     63 |  0.002 % |
116.53/116.68	c |    173335 |     220    18700   130900 | 2147483647    68482     63 |  0.002 % |
117.12/117.20	c |    174127 |     220    18700   130900 | 2147483647    69274     63 |  0.002 % |
117.63/117.77	c |    174999 |     220    18700   130900 | 2147483647    70146     63 |  0.002 % |
118.32/118.40	c |    175957 |     220    18700   130900 | 2147483647    71104     63 |  0.002 % |
119.02/119.11	c |    177010 |     220    18700   130900 | 2147483647    72157     63 |  0.002 % |
119.92/120.07	c |    178168 |     220    18700   130900 | 2147483647    73315     63 |  0.002 % |
120.92/121.07	c |    179442 |     220    18700   130900 | 2147483647    74589     63 |  0.002 % |
122.02/122.16	c |    180842 |     220    18700   130900 | 2147483647    75989     63 |  0.002 % |
123.32/123.49	c |    182382 |     220    18700   130900 | 2147483647    77529     63 |  0.002 % |
124.62/124.80	c |    184080 |     220    18700   130900 | 2147483647    79227     63 |  0.002 % |
126.32/126.46	c |    185944 |     220    18700   130900 | 2147483647    81091     63 |  0.002 % |
126.42/126.55	c |    186045 |     220    18700   130900 | 2147483647    81192     63 |  0.002 % |
126.52/126.67	c |    186155 |     220    18700   130900 | 2147483647    81302     63 |  0.002 % |
126.62/126.79	c |    186278 |     220    18700   130900 | 2147483647    81425     63 |  0.002 % |
126.82/126.91	c |    186412 |     220    18700   130900 | 2147483647    81559     63 |  0.002 % |
126.92/127.07	c |    186558 |     220    18700   130900 | 2147483647    81705     63 |  0.002 % |
127.12/127.22	c |    186718 |     220    18700   130900 | 2147483647    81865     63 |  0.002 % |
127.22/127.38	c |    186894 |     220    18700   130900 | 2147483647    82041     63 |  0.002 % |
127.42/127.58	c |    187087 |     220    18700   130900 | 2147483647    82234     63 |  0.002 % |
127.72/127.80	c |    187302 |     220    18700   130900 | 2147483647    82449     63 |  0.002 % |
127.92/128.01	c |    187535 |     220    18700   130900 | 2147483647    82682     63 |  0.002 % |
128.12/128.29	c |    187791 |     220    18700   130900 | 2147483647    82938     63 |  0.002 % |
128.42/128.59	c |    188073 |     220    18700   130900 | 2147483647    83220     63 |  0.002 % |
128.82/128.92	c |    188383 |     220    18700   130900 | 2147483647    83530     63 |  0.002 % |
129.12/129.26	c |    188723 |     220    18700   130900 | 2147483647    83870     63 |  0.002 % |
129.52/129.61	c |    189095 |     220    18700   130900 | 2147483647    84242     63 |  0.002 % |
129.92/130.07	c |    189504 |     220    18700   130900 | 2147483647    84651     63 |  0.002 % |
130.42/130.53	c |    189955 |     220    18700   130900 | 2147483647    85102     63 |  0.002 % |
130.92/131.06	c |    190448 |     220    18700   130900 |    85147    74164     63 |  0.002 % |
131.32/131.46	c |    190990 |     220    18700   130900 |    85147    74706     63 |  0.002 % |
131.82/131.91	c |    191587 |     220    18700   130900 |    85147    75303     63 |  0.002 % |
132.42/132.51	c |    192244 |     220    18700   130900 |    85147    75960     63 |  0.002 % |
133.02/133.12	c |    192965 |     220    18700   130900 |    85147    76681     63 |  0.002 % |
133.62/133.71	c |    193758 |     220    18700   130900 |    85147    77474     63 |  0.002 % |
134.31/134.40	c |    194631 |     220    18700   130900 |    85147    78347     63 |  0.002 % |
135.01/135.14	c |    195589 |     220    18700   130900 |    85147    79305     63 |  0.002 % |
136.01/136.18	c |    196642 |     220    18700   130900 |    85147    80358     63 |  0.002 % |
137.01/137.18	c |    197802 |     220    18700   130900 |    85147    81518     63 |  0.002 % |
138.11/138.23	c |    199076 |     220    18700   130900 |    85147    82792     63 |  0.002 % |
139.41/139.58	c |    200476 |     220    18700   130900 |    83717    72703     63 |  0.002 % |
140.72/140.86	c |    202016 |     220    18700   130900 |    83717    74243     63 |  0.002 % |
142.21/142.36	c |    203710 |     220    18700   130900 |    83717    75937     63 |  0.002 % |
143.80/143.94	c |    205573 |     220    18700   130900 |    83717    77800     63 |  0.002 % |
145.70/145.89	c |    207622 |     220    18700   130900 |    83717    79849     63 |  0.002 % |
145.80/145.98	c |    207723 |     220    18700   130900 |    83717    79950     63 |  0.002 % |
145.90/146.10	c |    207834 |     220    18700   130900 |    83717    80061     63 |  0.002 % |
146.11/146.22	c |    207956 |     220    18700   130900 |    83717    80183     63 |  0.002 % |
146.21/146.33	c |    208091 |     220    18700   130900 |    83717    80318     63 |  0.002 % |
146.40/146.53	c |    208238 |     220    18700   130900 |    83717    80465     63 |  0.002 % |
146.60/146.71	c |    208399 |     220    18700   130900 |    83717    80626     63 |  0.002 % |
146.70/146.89	c |    208575 |     220    18700   130900 |    83717    80802     63 |  0.002 % |
147.00/147.10	c |    208768 |     220    18700   130900 |    83717    80995     63 |  0.002 % |
147.21/147.32	c |    208982 |     220    18700   130900 |    83717    81209     63 |  0.002 % |
147.40/147.55	c |    209216 |     220    18700   130900 |    83717    81443     63 |  0.002 % |
147.60/147.78	c |    209472 |     220    18700   130900 |    83717    81699     63 |  0.002 % |
147.90/148.04	c |    209753 |     220    18700   130900 |    83717    81980     63 |  0.002 % |
148.20/148.32	c |    210062 |     220    18700   130900 |    82227    82289     63 |  0.002 % |
148.60/148.70	c |    210404 |     220    18700   130900 |    82227    71398     63 |  0.002 % |
148.90/149.01	c |    210776 |     220    18700   130900 |    82227    71770     63 |  0.002 % |
149.20/149.35	c |    211186 |     220    18700   130900 |    82227    72180     63 |  0.002 % |
149.60/149.72	c |    211636 |     220    18700   130900 |    82227    72630     63 |  0.002 % |
150.00/150.12	c |    212129 |     220    18700   130900 |    82227    73123     63 |  0.002 % |
150.40/150.53	c |    212673 |     220    18700   130900 |    82227    73667     63 |  0.002 % |
150.90/151.01	c |    213269 |     220    18700   130900 |    82227    74263     63 |  0.002 % |
151.30/151.46	c |    213925 |     220    18700   130900 |    82227    74919     63 |  0.002 % |
151.90/152.00	c |    214648 |     220    18700   130900 |    82227    75642     63 |  0.002 % |
152.50/152.60	c |    215442 |     220    18700   130900 |    82227    76436     63 |  0.002 % |
153.10/153.25	c |    216313 |     220    18700   130900 |    82227    77307     63 |  0.002 % |
153.80/153.96	c |    217272 |     220    18700   130900 |    82227    78266     63 |  0.002 % |
154.70/154.80	c |    218325 |     220    18700   130900 |    82227    79319     63 |  0.002 % |
155.60/155.71	c |    219484 |     220    18700   130900 |    82227    80478     63 |  0.002 % |
156.50/156.69	c |    220759 |     220    18700   130900 |    80997    72129     63 |  0.002 % |
157.60/157.71	c |    222159 |     220    18700   130900 |    80997    73529     63 |  0.002 % |
158.70/158.80	c |    223699 |     220    18700   130900 |    80997    75069     63 |  0.002 % |
160.00/160.13	c |    225396 |     220    18700   130900 |    80997    76766     63 |  0.002 % |
161.40/161.51	c |    227261 |     220    18700   130900 |    80997    78631     63 |  0.002 % |
163.00/163.14	c |    229311 |     220    18700   130900 |    80997    80681     63 |  0.002 % |
164.70/164.81	c |    231566 |     220    18700   130900 |    72806    66767     63 |  0.002 % |
164.80/164.92	c |    231666 |     220    18700   130900 |    72806    66867     63 |  0.002 % |
164.90/165.01	c |    231777 |     220    18700   130900 |    72806    66978     63 |  0.002 % |
165.00/165.11	c |    231901 |     220    18700   130900 |    72806    67102     63 |  0.002 % |
165.10/165.22	c |    232035 |     220    18700   130900 |    72806    67236     63 |  0.002 % |
165.20/165.35	c |    232181 |     220    18700   130900 |    72806    67382     63 |  0.002 % |
165.30/165.47	c |    232343 |     220    18700   130900 |    72806    67544     63 |  0.002 % |
165.50/165.61	c |    232520 |     220    18700   130900 |    72806    67721     63 |  0.002 % |
165.60/165.77	c |    232713 |     220    18700   130900 |    72806    67914     63 |  0.002 % |
165.80/165.93	c |    232926 |     220    18700   130900 |    72806    68127     63 |  0.002 % |
166.00/166.12	c |    233161 |     220    18700   130900 |    72806    68362     63 |  0.002 % |
166.20/166.31	c |    233417 |     220    18700   130900 |    72806    68618     63 |  0.002 % |
166.40/166.54	c |    233699 |     220    18700   130900 |    72806    68900     63 |  0.002 % |
166.60/166.77	c |    234009 |     220    18700   130900 |    72806    69210     63 |  0.002 % |
167.00/167.11	c |    234349 |     220    18700   130900 |    72806    69550     63 |  0.002 % |
167.20/167.40	c |    234722 |     220    18700   130900 |    72806    69923     63 |  0.002 % |
167.60/167.73	c |    235131 |     220    18700   130900 |    72806    70332     63 |  0.002 % |
167.90/168.06	c |    235581 |     220    18700   130900 |    72806    70782     63 |  0.002 % |
168.30/168.49	c |    236075 |     220    18700   130900 |    72806    71276     63 |  0.002 % |
168.80/168.97	c |    236617 |     220    18700   130900 |    72806    71818     63 |  0.002 % |
169.30/169.43	c |    237213 |     220    18700   130900 |    72806    72414     63 |  0.002 % |
169.90/170.03	c |    237868 |     220    18700   130900 |    72806    65778     63 |  0.002 % |
170.40/170.54	c |    238589 |     220    18700   130900 |    72806    66499     63 |  0.002 % |
171.00/171.18	c |    239381 |     220    18700   130900 |    72806    67291     63 |  0.002 % |
171.69/171.82	c |    240252 |     220    18700   130900 | 2147483647    68162     63 |  0.002 % |
172.40/172.54	c |    241210 |     220    18700   130900 | 2147483647    69120     63 |  0.002 % |
173.19/173.31	c |    242264 |     220    18700   130900 | 2147483647    70174     63 |  0.002 % |
173.99/174.10	c |    243422 |     220    18700   130900 | 2147483647    71332     63 |  0.002 % |
174.89/175.08	c |    244696 |     220    18700   130900 | 2147483647    72606     63 |  0.002 % |
175.90/176.01	c |    246096 |     220    18700   130900 | 2147483647    74006     63 |  0.002 % |
177.19/177.33	c |    247637 |     220    18700   130900 | 2147483647    75547     63 |  0.002 % |
178.49/178.67	c |    249331 |     220    18700   130900 | 2147483647    77241     63 |  0.002 % |
179.99/180.17	c |    251195 |     220    18700   130900 | 2147483647    79105     63 |  0.002 % |
181.69/181.87	c |    253246 |     220    18700   130900 | 2147483647    81156     63 |  0.002 % |
183.29/183.50	c |    255502 |     220    18700   130900 | 2147483647    83412     63 |  0.002 % |
185.59/185.72	c |    257981 |     220    18700   130900 | 2147483647    85891     63 |  0.002 % |
185.69/185.84	c |    258082 |     220    18700   130900 | 2147483647    85992     63 |  0.002 % |
185.79/185.97	c |    258193 |     220    18700   130900 | 2147483647    86103     63 |  0.002 % |
185.99/186.10	c |    258315 |     220    18700   130900 | 2147483647    86225     63 |  0.002 % |
186.09/186.22	c |    258448 |     220    18700   130900 | 2147483647    86358     63 |  0.002 % |
186.19/186.36	c |    258598 |     220    18700   130900 | 2147483647    86508     63 |  0.002 % |
186.39/186.52	c |    258760 |     220    18700   130900 | 2147483647    86670     63 |  0.002 % |
186.49/186.69	c |    258937 |     220    18700   130900 | 2147483647    86847     63 |  0.002 % |
186.68/186.87	c |    259130 |     220    18700   130900 | 2147483647    87040     63 |  0.002 % |
186.89/187.08	c |    259344 |     220    18700   130900 | 2147483647    87254     63 |  0.002 % |
187.08/187.29	c |    259579 |     220    18700   130900 | 2147483647    87489     63 |  0.002 % |
187.38/187.58	c |    259837 |     220    18700   130900 | 2147483647    87747     63 |  0.002 % |
187.78/187.95	c |    260119 |     220    18700   130900 |    87911    75422     63 |  0.002 % |
188.08/188.22	c |    260428 |     220    18700   130900 |    87911    75731     63 |  0.002 % |
188.38/188.50	c |    260769 |     220    18700   130900 |    87911    76072     63 |  0.002 % |
188.68/188.83	c |    261141 |     220    18700   130900 |    87911    76444     63 |  0.002 % |
188.99/189.16	c |    261550 |     220    18700   130900 |    87911    76853     63 |  0.002 % |
189.38/189.55	c |    262003 |     220    18700   130900 |    87911    77306     63 |  0.002 % |
189.88/190.04	c |    262496 |     220    18700   130900 |    87911    77799     63 |  0.002 % |
190.28/190.46	c |    263038 |     220    18700   130900 |    87911    78341     63 |  0.002 % |
190.78/190.97	c |    263636 |     220    18700   130900 |    87911    78939     63 |  0.002 % |
191.38/191.57	c |    264292 |     220    18700   130900 |    87911    79595     63 |  0.002 % |
191.98/192.18	c |    265013 |     220    18700   130900 |    87911    80316     63 |  0.002 % |
192.78/192.90	c |    265806 |     220    18700   130900 |    87911    81109     63 |  0.002 % |
193.48/193.64	c |    266678 |     220    18700   130900 |    87911    81981     63 |  0.002 % |
194.28/194.41	c |    267636 |     220    18700   130900 |    87911    82939     63 |  0.002 % |
195.08/195.24	c |    268689 |     220    18700   130900 |    87911    83992     63 |  0.002 % |
195.98/196.13	c |    269847 |     220    18700   130900 |    87911    85150     63 |  0.002 % |
196.98/197.18	c |    271124 |     220    18700   130900 |    85305    74142     63 |  0.002 % |
198.08/198.23	c |    272524 |     220    18700   130900 |    85305    75542     63 |  0.002 % |
199.38/199.58	c |    274064 |     220    18700   130900 |    85305    77082     63 |  0.002 % |
200.98/201.13	c |    275758 |     220    18700   130900 |    85305    78776     63 |  0.002 % |
202.58/202.73	c |    277622 |     220    18700   130900 |    85305    80640     63 |  0.002 % |
204.18/204.37	c |    279673 |     220    18700   130900 |    85305    82691     63 |  0.002 % |
205.88/206.00	c |    281926 |     220    18700   130900 |    83018    73931     63 |  0.002 % |
207.58/207.76	c |    284404 |     220    18700   130900 |    83018    76409     63 |  0.002 % |
209.68/209.89	c |    287129 |     220    18700   130900 |    83018    79134     63 |  0.002 % |
209.78/209.97	c |    287229 |     220    18700   130900 |    83018    79234     63 |  0.002 % |
209.88/210.07	c |    287339 |     220    18700   130900 |    83018    79344     63 |  0.002 % |
209.98/210.17	c |    287461 |     220    18700   130900 |    83018    79466     63 |  0.002 % |
210.08/210.30	c |    287594 |     220    18700   130900 |    83018    79599     63 |  0.002 % |
210.28/210.47	c |    287740 |     220    18700   130900 |    83018    79745     63 |  0.002 % |
210.48/210.64	c |    287900 |     220    18700   130900 |    83018    79905     63 |  0.002 % |
210.58/210.79	c |    288077 |     220    18700   130900 |    83018    80082     63 |  0.002 % |
210.88/211.01	c |    288271 |     220    18700   130900 |    83018    80276     63 |  0.002 % |
211.08/211.20	c |    288484 |     220    18700   130900 |    83018    80489     63 |  0.002 % |
211.27/211.43	c |    288719 |     220    18700   130900 |    83018    80724     63 |  0.002 % |
211.47/211.64	c |    288975 |     220    18700   130900 |    83018    80980     63 |  0.002 % |
211.67/211.87	c |    289258 |     220    18700   130900 |    83018    81263     63 |  0.002 % |
211.97/212.16	c |    289567 |     220    18700   130900 |    83018    81572     63 |  0.002 % |
212.27/212.49	c |    289906 |     220    18700   130900 |    83018    81911     63 |  0.002 % |
212.67/212.88	c |    290279 |     220    18700   130900 |    82007    72688     63 |  0.002 % |
213.07/213.23	c |    290689 |     220    18700   130900 |    82007    73098     63 |  0.002 % |
213.47/213.60	c |    291138 |     220    18700   130900 |    82007    73547     63 |  0.002 % |
213.77/213.97	c |    291632 |     220    18700   130900 |    82007    74041     63 |  0.002 % |
214.17/214.38	c |    292174 |     220    18700   130900 |    82007    74583     63 |  0.002 % |
214.67/214.83	c |    292770 |     220    18700   130900 |    82007    75179     63 |  0.002 % |
215.17/215.33	c |    293426 |     220    18700   130900 |    82007    75835     63 |  0.002 % |
215.77/215.90	c |    294146 |     220    18700   130900 |    82007    76555     63 |  0.002 % |
216.37/216.52	c |    294939 |     220    18700   130900 |    82007    77348     63 |  0.002 % |
216.97/217.19	c |    295811 |     220    18700   130900 |    82007    78220     63 |  0.002 % |
217.68/217.82	c |    296770 |     220    18700   130900 |    82007    79179     63 |  0.002 % |
218.37/218.59	c |    297824 |     220    18700   130900 |    82007    80233     63 |  0.002 % |
219.27/219.49	c |    298983 |     220    18700   130900 |    82007    81392     63 |  0.002 % |
220.37/220.53	c |    300256 |     220    18700   130900 |    73062    65126     63 |  0.002 % |
221.27/221.43	c |    301658 |     220    18700   130900 |    73062    66528     63 |  0.002 % |
222.27/222.49	c |    303200 |     220    18700   130900 |    73062    68070     63 |  0.002 % |
223.47/223.63	c |    304897 |     220    18700   130900 |    73062    69767     63 |  0.002 % |
224.67/224.89	c |    306760 |     220    18700   130900 |    73062    71630     63 |  0.002 % |
226.17/226.35	c |    308809 |     220    18700   130900 |    73062    66363     63 |  0.002 % |
227.58/227.79	c |    311063 |     220    18700   130900 | 2147483647    68617     63 |  0.002 % |
229.47/229.62	c |    313542 |     220    18700   130900 | 2147483647    71096     63 |  0.002 % |
231.37/231.59	c |    316268 |     220    18700   130900 | 2147483647    73822     63 |  0.002 % |
233.76/233.95	c |    319265 |     220    18700   130900 | 2147483647    76819     63 |  0.002 % |
233.86/234.04	c |    319366 |     220    18700   130900 | 2147483647    76920     63 |  0.002 % |
233.96/234.14	c |    319479 |     220    18700   130900 | 2147483647    77033     63 |  0.002 % |
234.07/234.25	c |    319600 |     220    18700   130900 | 2147483647    77154     63 |  0.002 % |
234.17/234.36	c |    319733 |     220    18700   130900 | 2147483647    77287     63 |  0.002 % |
234.26/234.49	c |    319879 |     220    18700   130900 | 2147483647    77433     63 |  0.002 % |
234.46/234.61	c |    320039 |     220    18700   130900 | 2147483647    77593     63 |  0.002 % |
234.66/234.81	c |    320215 |     220    18700   130900 | 2147483647    77769     63 |  0.002 % |
234.86/235.00	c |    320408 |     220    18700   130900 | 2147483647    77962     63 |  0.002 % |
234.96/235.18	c |    320620 |     220    18700   130900 | 2147483647    78174     63 |  0.002 % |
235.17/235.38	c |    320853 |     220    18700   130900 | 2147483647    78407     63 |  0.002 % |
235.46/235.61	c |    321110 |     220    18700   130900 | 2147483647    78664     63 |  0.002 % |
235.66/235.85	c |    321391 |     220    18700   130900 | 2147483647    78945     63 |  0.002 % |
235.96/236.11	c |    321700 |     220    18700   130900 | 2147483647    79254     63 |  0.002 % |
236.27/236.43	c |    322040 |     220    18700   130900 | 2147483647    79594     63 |  0.002 % |
236.66/236.82	c |    322416 |     220    18700   130900 | 2147483647    79970     63 |  0.002 % |
237.06/237.24	c |    322825 |     220    18700   130900 | 2147483647    80379     63 |  0.002 % |
237.47/237.66	c |    323274 |     220    18700   130900 | 2147483647    80828     63 |  0.002 % |
237.96/238.12	c |    323768 |     220    18700   130900 | 2147483647    81322     63 |  0.002 % |
238.36/238.59	c |    324310 |     220    18700   130900 | 2147483647    81864     63 |  0.002 % |
238.86/239.09	c |    324906 |     220    18700   130900 | 2147483647    82460     63 |  0.002 % |
239.46/239.61	c |    325562 |     220    18700   130900 | 2147483647    83116     63 |  0.002 % |
240.16/240.32	c |    326284 |     220    18700   130900 | 2147483647    83838     63 |  0.002 % |
240.86/241.08	c |    327077 |     220    18700   130900 | 2147483647    84631     63 |  0.002 % |
241.76/241.95	c |    327950 |     220    18700   130900 | 2147483647    85504     63 |  0.002 % |
242.66/242.84	c |    328909 |     220    18700   130900 | 2147483647    86463     63 |  0.002 % |
243.67/243.81	c |    329962 |     220    18700   130900 | 2147483647    87516     63 |  0.002 % |
244.67/244.82	c |    331123 |     220    18700   130900 |    87557    76338     63 |  0.002 % |
245.67/245.83	c |    332398 |     220    18700   130900 |    87557    77613     63 |  0.002 % |
246.77/246.93	c |    333799 |     220    18700   130900 |    87557    79014     63 |  0.002 % |
247.97/248.17	c |    335340 |     220    18700   130900 |    87557    80555     63 |  0.002 % |
249.27/249.46	c |    337034 |     220    18700   130900 |    87557    82249     63 |  0.002 % |
250.97/251.14	c |    338898 |     220    18700   130900 |    87557    84113     63 |  0.002 % |
252.87/253.10	c |    340947 |     220    18700   130900 |    85215    74954     63 |  0.002 % |
254.67/254.81	c |    343200 |     220    18700   130900 |    85215    77207     63 |  0.002 % |
256.56/256.76	c |    345679 |     220    18700   130900 |    85215    79686     63 |  0.002 % |
258.76/258.96	c |    348404 |     220    18700   130900 |    85215    82411     63 |  0.002 % |
261.26/261.42	c |    351402 |     220    18700   130900 |    84007    74676     63 |  0.002 % |
263.66/263.89	c |    354698 |     220    18700   130900 |    84007    77972     63 |  0.002 % |
263.77/263.97	c |    354799 |     220    18700   130900 |    84007    78073     63 |  0.002 % |
263.87/264.07	c |    354909 |     220    18700   130900 |    84007    78183     63 |  0.002 % |
263.96/264.18	c |    355031 |     220    18700   130900 |    84007    78305     63 |  0.002 % |
264.16/264.31	c |    355164 |     220    18700   130900 |    84007    78438     63 |  0.002 % |
264.26/264.44	c |    355310 |     220    18700   130900 |    84007    78584     63 |  0.002 % |
264.36/264.59	c |    355470 |     220    18700   130900 |    84007    78744     63 |  0.002 % |
264.56/264.75	c |    355646 |     220    18700   130900 |    84007    78920     63 |  0.002 % |
264.76/264.91	c |    355842 |     220    18700   130900 |    84007    79116     63 |  0.002 % |
264.97/265.10	c |    356055 |     220    18700   130900 |    84007    79329     63 |  0.002 % |
265.16/265.34	c |    356289 |     220    18700   130900 |    84007    79563     63 |  0.002 % |
265.36/265.57	c |    356546 |     220    18700   130900 |    84007    79820     63 |  0.002 % |
265.66/265.85	c |    356828 |     220    18700   130900 |    84007    80102     63 |  0.002 % |
265.96/266.11	c |    357139 |     220    18700   130900 |    84007    80413     63 |  0.002 % |
266.16/266.39	c |    357478 |     220    18700   130900 |    84007    80752     63 |  0.002 % |
266.56/266.70	c |    357851 |     220    18700   130900 |    84007    81125     63 |  0.002 % |
266.86/267.06	c |    358261 |     220    18700   130900 |    84007    81535     63 |  0.002 % |
267.26/267.43	c |    358711 |     220    18700   130900 |    84007    81985     63 |  0.002 % |
267.66/267.86	c |    359205 |     220    18700   130900 |    84007    82479     63 |  0.002 % |
268.16/268.35	c |    359748 |     220    18700   130900 |    84007    83022     63 |  0.002 % |
268.66/268.89	c |    360345 |     220    18700   130900 |    83278    73187     63 |  0.002 % |
269.16/269.35	c |    361000 |     220    18700   130900 |    83278    73842     63 |  0.002 % |
269.76/269.97	c |    361721 |     220    18700   130900 |    83278    74563     63 |  0.002 % |
270.46/270.61	c |    362515 |     220    18700   130900 |    83278    75357     63 |  0.002 % |
271.16/271.36	c |    363387 |     220    18700   130900 |    83278    76229     63 |  0.002 % |
271.96/272.18	c |    364345 |     220    18700   130900 |    83278    77187     63 |  0.002 % |
272.76/272.99	c |    365398 |     220    18700   130900 |    83278    78240     63 |  0.002 % |
273.76/273.97	c |    366556 |     220    18700   130900 |    83278    79398     63 |  0.002 % |
274.96/275.15	c |    367830 |     220    18700   130900 |    83278    80672     63 |  0.002 % |
276.16/276.33	c |    369231 |     220    18700   130900 |    83278    82073     63 |  0.002 % |
277.35/277.51	c |    370771 |     220    18700   130900 |    82846    73297     63 |  0.002 % |
278.55/278.76	c |    372466 |     220    18700   130900 |    82846    74992     63 |  0.002 % |
279.95/280.18	c |    374331 |     220    18700   130900 |    82846    76857     63 |  0.002 % |
281.65/281.85	c |    376382 |     220    18700   130900 |    82846    78908     63 |  0.002 % |
283.45/283.67	c |    378635 |     220    18700   130900 |    82846    81161     63 |  0.002 % |
285.45/285.65	c |    381113 |     220    18700   130900 |    82526    74147     63 |  0.002 % |
287.45/287.68	c |    383838 |     220    18700   130900 |    82526    76872     63 |  0.002 % |
289.75/289.94	c |    386837 |     220    18700   130900 |    82526    79871     63 |  0.002 % |
292.55/292.70	c |    390134 |     220    18700   130900 |    73962    66011     63 |  0.002 % |
294.95/295.17	c |    393762 |     220    18700   130900 |    73962    69639     63 |  0.002 % |
295.05/295.24	c |    393864 |     220    18700   130900 |    73962    69741     63 |  0.002 % |
295.15/295.33	c |    393974 |     220    18700   130900 |    73962    69851     63 |  0.002 % |
295.25/295.43	c |    394095 |     220    18700   130900 |    73962    69972     63 |  0.002 % |
295.35/295.56	c |    394228 |     220    18700   130900 |    73962    70105     63 |  0.002 % |
295.45/295.68	c |    394374 |     220    18700   130900 |    73962    70251     63 |  0.002 % |
295.65/295.80	c |    394536 |     220    18700   130900 |    73962    70413     63 |  0.002 % |
295.75/295.98	c |    394712 |     220    18700   130900 |    73962    70589     63 |  0.002 % |
295.95/296.15	c |    394906 |     220    18700   130900 |    73962    70783     63 |  0.002 % |
296.15/296.32	c |    395119 |     220    18700   130900 |    73962    70996     63 |  0.002 % |
296.35/296.50	c |    395354 |     220    18700   130900 |    73962    71231     63 |  0.002 % |
296.54/296.71	c |    395610 |     220    18700   130900 |    73962    71487     63 |  0.002 % |
296.75/296.93	c |    395892 |     220    18700   130900 |    73962    71769     63 |  0.002 % |
296.94/297.18	c |    396201 |     220    18700   130900 |    73962    72078     63 |  0.002 % |
297.24/297.43	c |    396543 |     220    18700   130900 |    73962    72420     63 |  0.002 % |
297.54/297.78	c |    396916 |     220    18700   130900 |    73962    72793     63 |  0.002 % |
297.95/298.11	c |    397326 |     220    18700   130900 |    73962    73203     63 |  0.002 % |
298.24/298.49	c |    397775 |     220    18700   130900 |    73962    73652     63 |  0.002 % |
298.74/298.94	c |    398270 |     220    18700   130900 |    73962    66741     63 |  0.002 % |
299.14/299.31	c |    398812 |     220    18700   130900 |    73962    67283     63 |  0.002 % |
299.54/299.74	c |    399410 |     220    18700   130900 |    73962    67881     63 |  0.002 % |
299.94/300.18	c |    400065 |     220    18700   130900 | 2147483647    68536     63 |  0.002 % |
300.54/300.74	c |    400786 |     220    18700   130900 | 2147483647    69257     63 |  0.002 % |
301.15/301.32	c |    401580 |     220    18700   130900 | 2147483647    70051     63 |  0.002 % |
301.74/301.98	c |    402451 |     220    18700   130900 | 2147483647    70922     63 |  0.002 % |
302.44/302.65	c |    403411 |     220    18700   130900 | 2147483647    71882     63 |  0.002 % |
303.24/303.43	c |    404464 |     220    18700   130900 | 2147483647    72935     63 |  0.002 % |
304.14/304.31	c |    405623 |     220    18700   130900 | 2147483647    74094     63 |  0.002 % |
305.04/305.26	c |    406897 |     220    18700   130900 | 2147483647    75368     63 |  0.002 % |
306.04/306.28	c |    408297 |     220    18700   130900 | 2147483647    76768     63 |  0.002 % |
307.34/307.50	c |    409837 |     220    18700   130900 | 2147483647    78308     63 |  0.002 % |
308.64/308.89	c |    411531 |     220    18700   130900 | 2147483647    80002     63 |  0.002 % |
310.34/310.52	c |    413394 |     220    18700   130900 | 2147483647    81865     63 |  0.002 % |
312.14/312.30	c |    415445 |     220    18700   130900 | 2147483647    83916     63 |  0.002 % |
313.84/314.08	c |    417699 |     220    18700   130900 | 2147483647    86170     63 |  0.002 % |
316.04/316.28	c |    420178 |     220    18700   130900 |    88471    76636     63 |  0.002 % |
318.14/318.37	c |    422903 |     220    18700   130900 |    88471    79361     63 |  0.002 % |
320.34/320.58	c |    425901 |     220    18700   130900 |    88471    82359     63 |  0.002 % |
323.03/323.28	c |    429197 |     220    18700   130900 |    88471    85655     63 |  0.002 % |
325.83/326.06	c |    432822 |     220    18700   130900 |    86459    78441     63 |  0.002 % |
329.23/329.40	c |    436810 |     220    18700   130900 |    86459    82429     63 |  0.002 % |
329.23/329.49	c |    436910 |     220    18700   130900 |    86459    82529     63 |  0.002 % |
329.43/329.60	c |    437025 |     220    18700   130900 |    86459    82644     63 |  0.002 % |
329.53/329.73	c |    437146 |     220    18700   130900 |    86459    82765     63 |  0.002 % |
329.63/329.85	c |    437280 |     220    18700   130900 |    86459    82899     63 |  0.002 % |
329.73/329.98	c |    437426 |     220    18700   130900 |    86459    83045     63 |  0.002 % |
329.93/330.11	c |    437588 |     220    18700   130900 |    86459    83207     63 |  0.002 % |
330.13/330.30	c |    437765 |     220    18700   130900 |    86459    83384     63 |  0.002 % |
330.23/330.48	c |    437960 |     220    18700   130900 |    86459    83579     63 |  0.002 % |
330.43/330.67	c |    438172 |     220    18700   130900 |    86459    83791     63 |  0.002 % |
330.63/330.87	c |    438405 |     220    18700   130900 |    86459    84024     63 |  0.002 % |
330.83/331.08	c |    438661 |     220    18700   130900 |    86459    84280     63 |  0.002 % |
331.13/331.33	c |    438942 |     220    18700   130900 |    86459    84561     63 |  0.002 % |
331.43/331.62	c |    439253 |     220    18700   130900 |    86459    84872     63 |  0.002 % |
331.73/331.93	c |    439592 |     220    18700   130900 |    86459    85211     63 |  0.002 % |
332.13/332.31	c |    439965 |     220    18700   130900 |    86459    85584     63 |  0.002 % |
332.53/332.76	c |    440375 |     220    18700   130900 |    85619    75154     63 |  0.002 % |
332.93/333.18	c |    440825 |     220    18700   130900 |    85619    75604     63 |  0.002 % |
333.43/333.62	c |    441318 |     220    18700   130900 |    85619    76097     63 |  0.002 % |
333.83/334.04	c |    441860 |     220    18700   130900 |    85619    76639     63 |  0.002 % |
334.23/334.49	c |    442459 |     220    18700   130900 |    85619    77238     63 |  0.002 % |
334.73/334.98	c |    443115 |     220    18700   130900 |    85619    77894     63 |  0.002 % |
335.33/335.54	c |    443835 |     220    18700   130900 |    85619    78614     63 |  0.002 % |
335.92/336.12	c |    444627 |     220    18700   130900 |    85619    79406     63 |  0.002 % |
336.52/336.77	c |    445499 |     220    18700   130900 |    85619    80278     63 |  0.002 % |
337.32/337.50	c |    446460 |     220    18700   130900 |    85619    81239     63 |  0.002 % |
338.02/338.29	c |    447513 |     220    18700   130900 |    85619    82292     63 |  0.002 % |
339.22/339.44	c |    448673 |     220    18700   130900 |    85619    83452     63 |  0.002 % |
340.42/340.61	c |    449947 |     220    18700   130900 |    85619    84726     63 |  0.002 % |
341.52/341.73	c |    451347 |     220    18700   130900 |    84780    75242     63 |  0.002 % |
342.72/342.91	c |    452887 |     220    18700   130900 |    84780    76782     63 |  0.002 % |
344.03/344.23	c |    454583 |     220    18700   130900 |    84780    78478     63 |  0.002 % |
345.72/345.96	c |    456446 |     220    18700   130900 |    84780    80341     63 |  0.002 % |
347.52/347.79	c |    458497 |     220    18700   130900 |    84780    82392     63 |  0.002 % |
349.52/349.75	c |    460751 |     220    18700   130900 |    83897    73356     63 |  0.002 % |
351.42/351.62	c |    463231 |     220    18700   130900 |    83897    75836     63 |  0.002 % |
353.62/353.81	c |    465957 |     220    18700   130900 |    83897    78562     63 |  0.002 % |
355.92/356.15	c |    468955 |     220    18700   130900 |    83897    81560     63 |  0.002 % |
358.42/358.62	c |    472252 |     220    18700   130900 |    82606    74573     63 |  0.002 % |
361.22/361.43	c |    475877 |     220    18700   130900 |    82606    78198     63 |  0.002 % |
364.42/364.69	c |    479865 |     220    18700   130900 |    82606    82186     63 |  0.002 % |
367.91/368.19	c |    484250 |     220    18700   130900 |    82324    77186     63 |  0.002 % |
368.01/368.28	c |    484354 |     220    18700   130900 |    82324    77290     63 |  0.002 % |
368.11/368.38	c |    484466 |     220    18700   130900 |    82324    77402     63 |  0.002 % |
368.21/368.48	c |    484587 |     220    18700   130900 |    82324    77523     63 |  0.002 % |
368.41/368.64	c |    484722 |     220    18700   130900 |    82324    77658     63 |  0.002 % |
368.51/368.80	c |    484868 |     220    18700   130900 |    82324    77804     63 |  0.002 % |
368.71/368.95	c |    485030 |     220    18700   130900 |    82324    77966     63 |  0.002 % |
368.91/369.13	c |    485211 |     220    18700   130900 |    82324    78147     63 |  0.002 % |
369.01/369.29	c |    485404 |     220    18700   130900 |    82324    78340     63 |  0.002 % |
369.21/369.46	c |    485619 |     220    18700   130900 |    82324    78555     63 |  0.002 % |
369.41/369.68	c |    485854 |     220    18700   130900 |    82324    78790     63 |  0.002 % |
369.61/369.85	c |    486110 |     220    18700   130900 |    82324    79046     63 |  0.002 % |
369.81/370.07	c |    486393 |     220    18700   130900 |    82324    79329     63 |  0.002 % |
370.11/370.35	c |    486703 |     220    18700   130900 |    82324    79639     63 |  0.002 % |
370.41/370.66	c |    487042 |     220    18700   130900 |    82324    79978     63 |  0.002 % |
370.81/371.03	c |    487414 |     220    18700   130900 |    82324    80350     63 |  0.002 % |
371.21/371.40	c |    487824 |     220    18700   130900 |    82324    80760     63 |  0.002 % |
371.51/371.80	c |    488274 |     220    18700   130900 |    82324    81210     63 |  0.002 % |
372.01/372.22	c |    488768 |     220    18700   130900 |    82324    81704     63 |  0.002 % |
372.41/372.69	c |    489310 |     220    18700   130900 |    82324    82246     63 |  0.002 % |
373.01/373.25	c |    489907 |     220    18700   130900 |    82324    72407     63 |  0.002 % |
373.51/373.72	c |    490563 |     220    18700   130900 |    72501    64007     63 |  0.002 % |
374.01/374.25	c |    491283 |     220    18700   130900 |    72501    64727     63 |  0.002 % |
374.51/374.78	c |    492076 |     220    18700   130900 |    72501    65520     63 |  0.002 % |
375.21/375.41	c |    492947 |     220    18700   130900 |    72501    66391     63 |  0.002 % |
375.81/376.05	c |    493907 |     220    18700   130900 |    72501    67351     63 |  0.002 % |
376.51/376.75	c |    494962 |     220    18700   130900 |    72501    68406     63 |  0.002 % |
377.31/377.53	c |    496121 |     220    18700   130900 |    72501    69565     63 |  0.002 % |
378.11/378.39	c |    497395 |     220    18700   130900 |    72501    70839     63 |  0.002 % |
379.11/379.38	c |    498796 |     220    18700   130900 |    72501    72240     63 |  0.002 % |
380.21/380.48	c |    500336 |     220    18700   130900 | 2147483647    66520     63 |  0.002 % |
381.51/381.71	c |    502031 |     220    18700   130900 | 2147483647    68215     63 |  0.002 % |
382.91/383.19	c |    503894 |     220    18700   130900 | 2147483647    70078     63 |  0.002 % |
384.51/384.70	c |    505944 |     220    18700   130900 | 2147483647    72128     63 |  0.002 % |
386.10/386.31	c |    508197 |     220    18700   130900 | 2147483647    74381     63 |  0.002 % |
387.90/388.10	c |    510675 |     220    18700   130900 | 2147483647    76859     63 |  0.002 % |
389.90/390.13	c |    513401 |     220    18700   130900 | 2147483647    79585     63 |  0.002 % |
391.90/392.19	c |    516398 |     220    18700   130900 | 2147483647    82582     63 |  0.002 % |
394.50/394.70	c |    519696 |     220    18700   130900 | 2147483647    85880     63 |  0.002 % |
397.10/397.39	c |    523322 |     220    18700   130900 |    86184    80371     63 |  0.002 % |
400.11/400.33	c |    527312 |     220    18700   130900 |    86184    84361     63 |  0.002 % |
403.50/403.73	c |    531697 |     220    18700   130900 |    77635    71003     63 |  0.002 % |
406.80/407.09	c |    536520 |     220    18700   130900 |    77635    75826     63 |  0.002 % |
407.00/407.20	c |    536625 |     220    18700   130900 |    77635    75931     63 |  0.002 % |
407.10/407.31	c |    536736 |     220    18700   130900 |    77635    76042     63 |  0.002 % |
407.20/407.42	c |    536859 |     220    18700   130900 |    77635    76165     63 |  0.002 % |
407.30/407.54	c |    536992 |     220    18700   130900 |    77635    76298     63 |  0.002 % |
407.40/407.68	c |    537139 |     220    18700   130900 |    77635    76445     63 |  0.002 % |
407.60/407.83	c |    537299 |     220    18700   130900 |    77635    76605     63 |  0.002 % |
407.70/407.99	c |    537475 |     220    18700   130900 |    77635    76781     63 |  0.002 % |
407.90/408.17	c |    537670 |     220    18700   130900 |    77635    76976     63 |  0.002 % |
408.10/408.33	c |    537883 |     220    18700   130900 |    77635    77189     63 |  0.002 % |
408.30/408.50	c |    538117 |     220    18700   130900 |    77635    77423     63 |  0.002 % |
408.50/408.71	c |    538373 |     220    18700   130900 |    77635    77679     63 |  0.002 % |
408.80/409.00	c |    538655 |     220    18700   130900 |    77635    70194     63 |  0.002 % |
409.00/409.26	c |    538966 |     220    18700   130900 |    77635    70505     63 |  0.002 % |
409.30/409.53	c |    539306 |     220    18700   130900 |    77635    70845     63 |  0.002 % |
409.60/409.81	c |    539678 |     220    18700   130900 |    77635    71217     63 |  0.002 % |
409.80/410.08	c |    540088 |     220    18700   130900 | 2147483647    71627     63 |  0.002 % |
410.20/410.45	c |    540538 |     220    18700   130900 | 2147483647    72077     63 |  0.002 % |
410.60/410.88	c |    541033 |     220    18700   130900 | 2147483647    72572     63 |  0.002 % |
411.10/411.31	c |    541575 |     220    18700   130900 | 2147483647    73114     63 |  0.002 % |
411.50/411.76	c |    542171 |     220    18700   130900 | 2147483647    73710     63 |  0.002 % |
412.00/412.27	c |    542826 |     220    18700   130900 | 2147483647    74365     63 |  0.002 % |
412.60/412.81	c |    543546 |     220    18700   130900 | 2147483647    75085     63 |  0.002 % |
413.20/413.44	c |    544338 |     220    18700   130900 | 2147483647    75877     63 |  0.002 % |
413.90/414.11	c |    545210 |     220    18700   130900 | 2147483647    76749     63 |  0.002 % |
414.59/414.87	c |    546168 |     220    18700   130900 | 2147483647    77707     63 |  0.002 % |
415.50/415.71	c |    547221 |     220    18700   130900 | 2147483647    78760     63 |  0.002 % |
416.39/416.63	c |    548380 |     220    18700   130900 | 2147483647    79919     63 |  0.002 % |
417.39/417.68	c |    549654 |     220    18700   130900 | 2147483647    81193     63 |  0.002 % |
418.59/418.82	c |    551057 |     220    18700   130900 |    81540    73718     63 |  0.002 % |
419.79/420.09	c |    552597 |     220    18700   130900 |    81540    75258     63 |  0.002 % |
421.19/421.49	c |    554291 |     220    18700   130900 |    81540    76952     63 |  0.002 % |
422.79/423.03	c |    556155 |     220    18700   130900 |    81540    78816     63 |  0.002 % |
424.39/424.69	c |    558206 |     220    18700   130900 |    81540    80867     63 |  0.002 % |
426.19/426.43	c |    560460 |     220    18700   130900 |    72921    64848     63 |  0.002 % |
427.79/428.09	c |    562940 |     220    18700   130900 |    72921    67328     63 |  0.002 % |
429.69/429.97	c |    565666 |     220    18700   130900 |    72921    70054     63 |  0.002 % |
431.69/431.99	c |    568665 |     220    18700   130900 |    72921    65751     63 |  0.002 % |
433.89/434.15	c |    571962 |     220    18700   130900 | 2147483647    69048     63 |  0.002 % |
436.19/436.41	c |    575587 |     220    18700   130900 | 2147483647    72673     63 |  0.002 % |
439.29/439.57	c |    579574 |     220    18700   130900 | 2147483647    76660     63 |  0.002 % |
442.78/443.09	c |    583960 |     220    18700   130900 | 2147483647    81046     63 |  0.002 % |
446.58/446.84	c |    588783 |     220    18700   130900 | 2147483647    85869     63 |  0.002 % |
450.78/451.06	c |    594090 |     220    18700   130900 |    87086    80391     63 |  0.002 % |
450.88/451.16	c |    594190 |     220    18700   130900 |    87086    80491     63 |  0.002 % |
450.98/451.27	c |    594300 |     220    18700   130900 |    87086    80601     63 |  0.002 % |
451.08/451.37	c |    594421 |     220    18700   130900 |    87086    80722     63 |  0.002 % |
451.18/451.49	c |    594555 |     220    18700   130900 |    87086    80856     63 |  0.002 % |
451.38/451.64	c |    594701 |     220    18700   130900 |    87086    81002     63 |  0.002 % |
451.48/451.79	c |    594861 |     220    18700   130900 |    87086    81162     63 |  0.002 % |
451.68/451.96	c |    595038 |     220    18700   130900 |    87086    81339     63 |  0.002 % |
451.88/452.19	c |    595231 |     220    18700   130900 |    87086    81532     63 |  0.002 % |
452.08/452.39	c |    595444 |     220    18700   130900 |    87086    81745     63 |  0.002 % |
452.28/452.59	c |    595677 |     220    18700   130900 |    87086    81978     63 |  0.002 % |
452.58/452.82	c |    595934 |     220    18700   130900 |    87086    82235     63 |  0.002 % |
452.78/453.07	c |    596216 |     220    18700   130900 |    87086    82517     63 |  0.002 % |
453.08/453.33	c |    596526 |     220    18700   130900 |    87086    82827     63 |  0.002 % |
453.48/453.71	c |    596866 |     220    18700   130900 |    87086    83167     63 |  0.002 % |
453.78/454.05	c |    597240 |     220    18700   130900 |    87086    83541     63 |  0.002 % |
454.08/454.37	c |    597650 |     220    18700   130900 |    87086    83951     63 |  0.002 % |
454.48/454.79	c |    598100 |     220    18700   130900 |    87086    84401     63 |  0.002 % |
454.98/455.25	c |    598594 |     220    18700   130900 |    87086    84895     63 |  0.002 % |
455.58/455.80	c |    599141 |     220    18700   130900 |    87086    85442     63 |  0.002 % |
456.08/456.37	c |    599737 |     220    18700   130900 |    87086    86038     63 |  0.002 % |
456.78/457.00	c |    600393 |     220    18700   130900 |    86302    74938     63 |  0.002 % |
457.28/457.58	c |    601113 |     220    18700   130900 |    86302    75658     63 |  0.002 % |
457.87/458.18	c |    601907 |     220    18700   130900 |    86302    76452     63 |  0.002 % |
458.57/458.89	c |    602778 |     220    18700   130900 |    86302    77323     63 |  0.002 % |
459.37/459.68	c |    603737 |     220    18700   130900 |    86302    78282     63 |  0.002 % |
460.27/460.54	c |    604790 |     220    18700   130900 |    86302    79335     63 |  0.002 % |
461.17/461.47	c |    605948 |     220    18700   130900 |    86302    80493     63 |  0.002 % |
462.17/462.45	c |    607221 |     220    18700   130900 |    86302    81766     63 |  0.002 % |
463.27/463.55	c |    608621 |     220    18700   130900 |    86302    83166     63 |  0.002 % |
464.47/464.74	c |    610163 |     220    18700   130900 |    84545    73829     63 |  0.002 % |
465.67/465.94	c |    611858 |     220    18700   130900 |    84545    75524     63 |  0.002 % |
467.07/467.34	c |    613721 |     220    18700   130900 |    84545    77387     63 |  0.002 % |
468.67/468.91	c |    615773 |     220    18700   130900 |    84545    79439     63 |  0.002 % |
470.27/470.57	c |    618027 |     220    18700   130900 |    84545    81693     63 |  0.002 % |
472.57/472.84	c |    620505 |     220    18700   130900 |    83666    73860     63 |  0.002 % |
474.57/474.89	c |    623230 |     220    18700   130900 |    83666    76585     63 |  0.002 % |
476.97/477.25	c |    626227 |     220    18700   130900 |    83666    79582     63 |  0.002 % |
479.57/479.81	c |    629524 |     220    18700   130900 |    83666    82879     63 |  0.002 % |
482.36/482.67	c |    633149 |     220    18700   130900 |    83355    75585     63 |  0.002 % |
485.46/485.77	c |    637138 |     220    18700   130900 |    83355    79574     63 |  0.002 % |
488.96/489.23	c |    641523 |     220    18700   130900 |    82437    73960     63 |  0.002 % |
492.76/493.08	c |    646347 |     220    18700   130900 |    82437    78784     63 |  0.002 % |
496.97/497.29	c |    651653 |     220    18700   130900 |    82437    74254     63 |  0.002 % |
501.56/501.83	c |    657488 |     220    18700   130900 |    82437    80089     64 |  0.002 % |
501.66/501.91	c |    657589 |     220    18700   130900 |    82437    80190     64 |  0.002 % |
501.76/502.05	c |    657701 |     220    18700   130900 |    82437    80302     64 |  0.002 % |
501.86/502.17	c |    657822 |     220    18700   130900 |    82437    80423     64 |  0.002 % |
501.96/502.28	c |    657957 |     220    18700   130900 |    82437    80558     64 |  0.002 % |
502.16/502.43	c |    658104 |     220    18700   130900 |    82437    80705     64 |  0.002 % |
502.36/502.60	c |    658266 |     220    18700   130900 |    82437    80867     64 |  0.002 % |
502.46/502.78	c |    658442 |     220    18700   130900 |    82437    81043     64 |  0.002 % |
502.65/502.96	c |    658635 |     220    18700   130900 |    82437    81236     64 |  0.002 % |
502.85/503.12	c |    658849 |     220    18700   130900 |    82437    81450     64 |  0.002 % |
503.05/503.33	c |    659082 |     220    18700   130900 |    82437    81683     64 |  0.002 % |
503.35/503.61	c |    659338 |     220    18700   130900 |    82437    81939     64 |  0.002 % |
503.56/503.86	c |    659619 |     220    18700   130900 |    82437    82220     64 |  0.002 % |
503.85/504.17	c |    659928 |     220    18700   130900 |    82437    82529     64 |  0.002 % |
504.26/504.58	c |    660267 |     220    18700   130900 |    72040    63077     64 |  0.002 % |
504.56/504.85	c |    660641 |     220    18700   130900 |    72040    63451     63 |  0.002 % |
504.86/505.11	c |    661050 |     220    18700   130900 |    72040    63860     63 |  0.002 % |
505.16/505.48	c |    661501 |     220    18700   130900 |    72040    64311     63 |  0.002 % |
505.56/505.84	c |    661994 |     220    18700   130900 |    72040    64804     63 |  0.002 % |
505.96/506.25	c |    662537 |     220    18700   130900 |    72040    65347     63 |  0.002 % |
506.36/506.69	c |    663133 |     220    18700   130900 |    72040    65943     63 |  0.002 % |
506.86/507.14	c |    663788 |     220    18700   130900 |    72040    66598     63 |  0.002 % |
507.36/507.63	c |    664509 |     220    18700   130900 |    72040    67319     63 |  0.002 % |
507.96/508.23	c |    665302 |     220    18700   130900 |    72040    68112     63 |  0.002 % |
508.56/508.85	c |    666174 |     220    18700   130900 |    72040    68984     63 |  0.002 % |
509.26/509.50	c |    667133 |     220    18700   130900 |    72040    69943     63 |  0.002 % |
509.96/510.22	c |    668189 |     220    18700   130900 |    72040    70999     63 |  0.002 % |
510.86/511.12	c |    669347 |     220    18700   130900 |    72040    64943     63 |  0.002 % |
511.66/511.91	c |    670621 |     220    18700   130900 | 2147483647    66217     63 |  0.002 % |
512.46/512.77	c |    672022 |     220    18700   130900 | 2147483647    67618     63 |  0.002 % |
513.66/513.96	c |    673563 |     220    18700   130900 | 2147483647    69159     63 |  0.002 % |
514.86/515.16	c |    675258 |     220    18700   130900 | 2147483647    70854     63 |  0.002 % |
516.26/516.51	c |    677122 |     220    18700   130900 | 2147483647    72718     63 |  0.002 % |
517.66/517.98	c |    679171 |     220    18700   130900 | 2147483647    74767     64 |  0.002 % |
519.36/519.63	c |    681425 |     220    18700   130900 | 2147483647    77021     64 |  0.002 % |
521.16/521.48	c |    683903 |     220    18700   130900 | 2147483647    79499     64 |  0.002 % |
523.26/523.54	c |    686630 |     220    18700   130900 | 2147483647    82226     64 |  0.002 % |
525.56/525.85	c |    689629 |     220    18700   130900 | 2147483647    85225     64 |  0.002 % |
528.15/528.47	c |    692927 |     220    18700   130900 |    85597    79644     64 |  0.002 % |
530.96/531.29	c |    696553 |     220    18700   130900 |    85597    83270     64 |  0.002 % |
534.85/535.11	c |    700542 |     220    18700   130900 |    76157    67196     63 |  0.002 % |
538.15/538.42	c |    704927 |     220    18700   130900 |    76157    71581     63 |  0.002 % |
541.75/542.04	c |    709750 |     220    18700   130900 |    76157    68643     63 |  0.002 % |
545.35/545.61	c |    715055 |     220    18700   130900 |    68893    66993     63 |  0.002 % |
549.65/550.00	c |    720891 |     220    18700   130900 | 2147483647    65928     63 |  0.002 % |
554.24/554.55	c |    727309 |     220    18700   130900 | 2147483647    72346     63 |  0.002 % |
554.34/554.63	c |    727409 |     220    18700   130900 | 2147483647    72446     63 |  0.002 % |
554.44/554.73	c |    727520 |     220    18700   130900 | 2147483647    72557     63 |  0.002 % |
554.54/554.85	c |    727641 |     220    18700   130900 | 2147483647    72678     63 |  0.002 % |
554.64/554.97	c |    727774 |     220    18700   130900 | 2147483647    72811     63 |  0.002 % |
554.84/555.10	c |    727921 |     220    18700   130900 | 2147483647    72958     63 |  0.002 % |
554.94/555.26	c |    728081 |     220    18700   130900 | 2147483647    73118     63 |  0.002 % |
555.14/555.44	c |    728257 |     220    18700   130900 | 2147483647    73294     63 |  0.002 % |
555.34/555.60	c |    728450 |     220    18700   130900 | 2147483647    73487     63 |  0.002 % |
555.44/555.75	c |    728662 |     220    18700   130900 | 2147483647    73699     63 |  0.002 % |
555.64/555.94	c |    728895 |     220    18700   130900 | 2147483647    73932     63 |  0.002 % |
555.84/556.13	c |    729151 |     220    18700   130900 | 2147483647    74188     63 |  0.002 % |
556.04/556.33	c |    729432 |     220    18700   130900 | 2147483647    74469     63 |  0.002 % |
556.24/556.54	c |    729741 |     220    18700   130900 | 2147483647    74778     63 |  0.002 % |
556.54/556.81	c |    730080 |     220    18700   130900 | 2147483647    75117     63 |  0.002 % |
556.84/557.15	c |    730453 |     220    18700   130900 | 2147483647    75490     63 |  0.002 % |
557.14/557.49	c |    730862 |     220    18700   130900 | 2147483647    75899     63 |  0.002 % |
557.54/557.85	c |    731311 |     220    18700   130900 | 2147483647    76348     63 |  0.002 % |
557.94/558.26	c |    731807 |     220    18700   130900 | 2147483647    76844     63 |  0.002 % |
558.44/558.73	c |    732350 |     220    18700   130900 | 2147483647    77387     63 |  0.002 % |
558.94/559.21	c |    732947 |     220    18700   130900 | 2147483647    77984     63 |  0.002 % |
559.44/559.77	c |    733602 |     220    18700   130900 | 2147483647    78639     63 |  0.002 % |
560.04/560.37	c |    734323 |     220    18700   130900 | 2147483647    79360     63 |  0.002 % |
560.64/560.99	c |    735115 |     220    18700   130900 | 2147483647    80152     63 |  0.002 % |
561.34/561.66	c |    735986 |     220    18700   130900 | 2147483647    81023     63 |  0.002 % |
562.14/562.42	c |    736944 |     220    18700   130900 | 2147483647    81981     63 |  0.002 % |
562.94/563.21	c |    737999 |     220    18700   130900 | 2147483647    83036     63 |  0.002 % |
563.84/564.13	c |    739159 |     220    18700   130900 | 2147483647    84196     63 |  0.002 % |
564.94/565.23	c |    740432 |     220    18700   130900 |    85039    75411     64 |  0.002 % |
565.83/566.19	c |    741833 |     220    18700   130900 |    85039    76812     63 |  0.002 % |
567.03/567.32	c |    743373 |     220    18700   130900 |    85039    78352     63 |  0.002 % |
568.23/568.52	c |    745067 |     220    18700   130900 |    85039    80046     63 |  0.002 % |
570.03/570.33	c |    746931 |     220    18700   130900 |    85039    81910     63 |  0.002 % |
572.03/572.35	c |    748981 |     220    18700   130900 |    85039    83960     63 |  0.002 % |
574.03/574.32	c |    751235 |     220    18700   130900 |    84979    75032     63 |  0.002 % |
575.93/576.27	c |    753715 |     220    18700   130900 |    84979    77512     63 |  0.002 % |
577.93/578.29	c |    756441 |     220    18700   130900 |    84979    80238     63 |  0.002 % |
580.33/580.60	c |    759438 |     220    18700   130900 |    84979    83235     63 |  0.002 % |
582.73/583.02	c |    762734 |     220    18700   130900 |    83797    76662     63 |  0.002 % |
585.43/585.73	c |    766359 |     220    18700   130900 |    83797    80287     63 |  0.002 % |
588.63/588.95	c |    770346 |     220    18700   130900 |    74978    67358     63 |  0.002 % |
591.52/591.83	c |    774732 |     220    18700   130900 |    74978    71744     63 |  0.002 % |
594.82/595.14	c |    779555 |     220    18700   130900 |    74978    69059     63 |  0.002 % |
598.62/598.92	c |    784860 |     220    18700   130900 | 2147483647    74364     63 |  0.002 % |
603.12/603.49	c |    790695 |     220    18700   130900 |    79504    71699     63 |  0.002 % |
607.42/607.74	c |    797113 |     220    18700   130900 |    79504    78117     64 |  0.002 % |
612.61/612.93	c |    804172 |     220    18700   130900 | 2147483647    77138     64 |  0.002 % |
612.71/613.02	c |    804272 |     220    18700   130900 | 2147483647    77238     64 |  0.002 % |
612.81/613.12	c |    804382 |     220    18700   130900 | 2147483647    77348     64 |  0.002 % |
612.91/613.22	c |    804503 |     220    18700   130900 | 2147483647    77469     64 |  0.002 % |
613.01/613.36	c |    804636 |     220    18700   130900 | 2147483647    77602     64 |  0.002 % |
613.21/613.50	c |    804782 |     220    18700   130900 | 2147483647    77748     64 |  0.002 % |
613.31/613.62	c |    804944 |     220    18700   130900 | 2147483647    77910     64 |  0.002 % |
613.42/613.79	c |    805120 |     220    18700   130900 | 2147483647    78086     64 |  0.002 % |
613.61/613.97	c |    805313 |     220    18700   130900 | 2147483647    78279     64 |  0.002 % |
613.81/614.14	c |    805525 |     220    18700   130900 | 2147483647    78491     64 |  0.002 % |
614.01/614.37	c |    805758 |     220    18700   130900 | 2147483647    78724     63 |  0.002 % |
614.31/614.60	c |    806015 |     220    18700   130900 | 2147483647    78981     63 |  0.002 % |
614.52/614.87	c |    806297 |     220    18700   130900 | 2147483647    79263     63 |  0.002 % |
614.81/615.14	c |    806606 |     220    18700   130900 | 2147483647    79572     63 |  0.002 % |
615.11/615.42	c |    806945 |     220    18700   130900 | 2147483647    79911     63 |  0.002 % |
615.41/615.76	c |    807318 |     220    18700   130900 | 2147483647    80284     63 |  0.002 % |
615.81/616.11	c |    807727 |     220    18700   130900 | 2147483647    80693     63 |  0.002 % |
616.11/616.49	c |    808177 |     220    18700   130900 | 2147483647    81143     63 |  0.002 % |
616.61/616.92	c |    808670 |     220    18700   130900 | 2147483647    81636     63 |  0.002 % |
617.11/617.43	c |    809218 |     220    18700   130900 | 2147483647    82184     63 |  0.002 % |
617.61/617.95	c |    809816 |     220    18700   130900 | 2147483647    82782     63 |  0.002 % |
618.21/618.57	c |    810472 |     220    18700   130900 |    82967    73711     64 |  0.002 % |
618.81/619.17	c |    811194 |     220    18700   130900 |    82967    74433     64 |  0.002 % |
619.41/619.73	c |    811986 |     220    18700   130900 |    82967    75225     64 |  0.002 % |
620.11/620.44	c |    812858 |     220    18700   130900 |    82967    76097     64 |  0.002 % |
620.81/621.17	c |    813817 |     220    18700   130900 |    82967    77056     64 |  0.002 % |
621.61/621.98	c |    814873 |     220    18700   130900 |    82967    78112     64 |  0.002 % |
622.61/622.95	c |    816032 |     220    18700   130900 |    82967    79271     64 |  0.002 % |
623.71/624.00	c |    817305 |     220    18700   130900 |    82967    80544     64 |  0.002 % |
624.71/625.06	c |    818705 |     220    18700   130900 |    82967    81944     64 |  0.002 % |
626.11/626.44	c |    820247 |     220    18700   130900 |    73347    64931     64 |  0.002 % |
627.21/627.56	c |    821941 |     220    18700   130900 |    73347    66625     64 |  0.002 % |
628.41/628.79	c |    823804 |     220    18700   130900 |    73347    68488     64 |  0.002 % |
629.81/630.18	c |    825855 |     220    18700   130900 |    73347    70539     64 |  0.002 % |
631.31/631.62	c |    828110 |     220    18700   130900 |    73347    72794     64 |  0.002 % |
633.01/633.31	c |    830588 |     220    18700   130900 | 2147483647    67927     64 |  0.002 % |
634.91/635.27	c |    833313 |     220    18700   130900 | 2147483647    70652     64 |  0.002 % |
637.20/637.53	c |    836310 |     220    18700   130900 | 2147483647    73649     64 |  0.002 % |
639.60/639.98	c |    839606 |     220    18700   130900 | 2147483647    76945     64 |  0.002 % |
642.50/642.81	c |    843231 |     220    18700   130900 | 2147483647    80570     64 |  0.002 % |
645.90/646.21	c |    847218 |     220    18700   130900 | 2147483647    84557     64 |  0.002 % |
649.59/649.96	c |    851604 |     220    18700   130900 |    87339    77979     64 |  0.002 % |
653.39/653.73	c |    856428 |     220    18700   130900 |    87339    82803     64 |  0.002 % |
657.59/657.95	c |    861733 |     220    18700   130900 |    86375    77902     64 |  0.002 % |
662.39/662.70	c |    867568 |     220    18700   130900 |    86375    83737     64 |  0.002 % |
667.49/667.84	c |    873986 |     220    18700   130900 |    86171    79032     64 |  0.002 % |
672.89/673.22	c |    881045 |     220    18700   130900 |    85046    74687     64 |  0.002 % |
678.68/679.08	c |    888809 |     220    18700   130900 |    85046    82451     64 |  0.002 % |
678.78/679.18	c |    888909 |     220    18700   130900 |    85046    82551     64 |  0.002 % |
678.88/679.27	c |    889019 |     220    18700   130900 |    85046    82661     64 |  0.002 % |
679.08/679.40	c |    889140 |     220    18700   130900 |    85046    82782     64 |  0.002 % |
679.18/679.52	c |    889275 |     220    18700   130900 |    85046    82917     64 |  0.002 % |
679.28/679.65	c |    889421 |     220    18700   130900 |    85046    83063     64 |  0.002 % |
679.39/679.80	c |    889581 |     220    18700   130900 |    85046    83223     64 |  0.002 % |
679.58/679.97	c |    889757 |     220    18700   130900 |    85046    83399     64 |  0.002 % |
679.78/680.16	c |    889950 |     220    18700   130900 |    85046    83592     64 |  0.002 % |
680.08/680.42	c |    890164 |     220    18700   130900 |    83642    72759     64 |  0.002 % |
680.28/680.62	c |    890399 |     220    18700   130900 |    83642    72994     64 |  0.002 % |
680.49/680.84	c |    890655 |     220    18700   130900 |    83642    73250     64 |  0.002 % |
680.68/681.07	c |    890938 |     220    18700   130900 |    83642    73533     64 |  0.002 % |
680.98/681.32	c |    891247 |     220    18700   130900 |    83642    73842     64 |  0.002 % |
681.28/681.61	c |    891587 |     220    18700   130900 |    83642    74182     64 |  0.002 % |
681.58/681.96	c |    891959 |     220    18700   130900 |    83642    74554     64 |  0.002 % |
681.98/682.33	c |    892370 |     220    18700   130900 |    83642    74965     64 |  0.002 % |
682.28/682.69	c |    892821 |     220    18700   130900 |    83642    75416     64 |  0.002 % |
682.68/683.09	c |    893314 |     220    18700   130900 |    83642    75909     64 |  0.002 % |
683.18/683.51	c |    893856 |     220    18700   130900 |    83642    76451     64 |  0.002 % |
683.68/684.00	c |    894452 |     220    18700   130900 |    83642    77047     64 |  0.002 % |
684.18/684.57	c |    895108 |     220    18700   130900 |    83642    77703     64 |  0.002 % |
684.78/685.16	c |    895828 |     220    18700   130900 |    83642    78423     64 |  0.002 % |
685.38/685.79	c |    896620 |     220    18700   130900 |    83642    79215     64 |  0.002 % |
686.08/686.44	c |    897492 |     220    18700   130900 |    83642    80087     64 |  0.002 % |
686.87/687.23	c |    898452 |     220    18700   130900 |    83642    81047     64 |  0.002 % |
687.67/688.08	c |    899505 |     220    18700   130900 |    83642    82100     64 |  0.002 % |
688.77/689.15	c |    900663 |     220    18700   130900 |    82596    72462     64 |  0.002 % |
689.78/690.18	c |    901936 |     220    18700   130900 |    82596    73735     64 |  0.002 % |
690.87/691.21	c |    903336 |     220    18700   130900 |    82596    75135     64 |  0.002 % |
692.07/692.46	c |    904876 |     220    18700   130900 |    82596    76675     64 |  0.002 % |
693.47/693.84	c |    906571 |     220    18700   130900 |    82596    78370     64 |  0.002 % |
694.97/695.38	c |    908435 |     220    18700   130900 |    82596    80234     64 |  0.002 % |
696.77/697.15	c |    910484 |     220    18700   130900 |    81802    71876     64 |  0.002 % |
698.47/698.86	c |    912737 |     220    18700   130900 |    81802    74129     64 |  0.002 % |
700.38/700.72	c |    915216 |     220    18700   130900 |    81802    76608     64 |  0.002 % |
702.58/702.94	c |    917944 |     220    18700   130900 |    81802    79336     64 |  0.002 % |
705.07/705.43	c |    920942 |     220    18700   130900 |    81394    73081     64 |  0.002 % |
707.57/707.98	c |    924238 |     220    18700   130900 |    81394    76377     64 |  0.002 % |
710.47/710.82	c |    927863 |     220    18700   130900 |    81394    80002     64 |  0.002 % |
713.57/713.93	c |    931850 |     220    18700   130900 |    73113    66891     64 |  0.002 % |
716.57/716.96	c |    936236 |     220    18700   130900 |    73113    71277     64 |  0.002 % |
720.17/720.59	c |    941059 |     220    18700   130900 | 2147483647    68779     64 |  0.002 % |
724.27/724.69	c |    946364 |     220    18700   130900 | 2147483647    74084     64 |  0.002 % |
728.76/729.15	c |    952201 |     220    18700   130900 |    77720    71578     64 |  0.002 % |
733.46/733.84	c |    958620 |     220    18700   130900 |    77720    70215     64 |  0.002 % |
738.56/738.99	c |    965679 |     220    18700   130900 | 2147483647    77274     64 |  0.002 % |
744.26/744.67	c |    973443 |     220    18700   130900 | 2147483647    85038     64 |  0.002 % |
751.16/751.52	c |    981984 |     220    18700   130900 |    91596    82010     64 |  0.002 % |
751.26/751.61	c |    982084 |     220    18700   130900 |    91596    82110     64 |  0.002 % |
751.36/751.72	c |    982195 |     220    18700   130900 |    91596    82221     64 |  0.002 % |
751.46/751.85	c |    982316 |     220    18700   130900 |    91596    82342     64 |  0.002 % |
751.56/751.97	c |    982449 |     220    18700   130900 |    91596    82475     64 |  0.002 % |
751.76/752.12	c |    982595 |     220    18700   130900 |    91596    82621     64 |  0.002 % |
751.86/752.30	c |    982755 |     220    18700   130900 |    91596    82781     64 |  0.002 % |
752.06/752.46	c |    982931 |     220    18700   130900 |    91596    82957     64 |  0.002 % |
752.26/752.66	c |    983124 |     220    18700   130900 |    91596    83150     64 |  0.002 % |
752.46/752.86	c |    983337 |     220    18700   130900 |    91596    83363     64 |  0.002 % |
752.66/753.06	c |    983570 |     220    18700   130900 |    91596    83596     64 |  0.002 % |
752.96/753.33	c |    983828 |     220    18700   130900 |    91596    83854     64 |  0.002 % |
753.26/753.60	c |    984109 |     220    18700   130900 |    91596    84135     64 |  0.002 % |
753.56/753.90	c |    984418 |     220    18700   130900 |    91596    84444     64 |  0.002 % |
753.76/754.17	c |    984757 |     220    18700   130900 |    91596    84783     64 |  0.002 % |
754.06/754.47	c |    985130 |     220    18700   130900 |    91596    85156     64 |  0.002 % |
754.36/754.76	c |    985539 |     220    18700   130900 |    91596    85565     64 |  0.002 % |
754.75/755.19	c |    985988 |     220    18700   130900 |    91596    86014     64 |  0.002 % |
755.26/755.66	c |    986483 |     220    18700   130900 |    91596    86509     64 |  0.002 % |
755.75/756.18	c |    987027 |     220    18700   130900 |    91596    87053     64 |  0.002 % |
756.36/756.79	c |    987625 |     220    18700   130900 |    91596    87651     64 |  0.002 % |
756.95/757.39	c |    988280 |     220    18700   130900 |    91596    88306     64 |  0.002 % |
757.65/758.02	c |    989000 |     220    18700   130900 |    91596    89026     64 |  0.002 % |
758.45/758.85	c |    989792 |     220    18700   130900 |    91596    89818     64 |  0.002 % |
759.35/759.76	c |    990663 |     220    18700   130900 |    90028    76892     64 |  0.002 % |
760.15/760.56	c |    991621 |     220    18700   130900 |    90028    77850     64 |  0.002 % |
760.95/761.33	c |    992675 |     220    18700   130900 |    90028    78904     64 |  0.002 % |
761.86/762.22	c |    993835 |     220    18700   130900 |    90028    80064     64 |  0.002 % |
762.96/763.34	c |    995110 |     220    18700   130900 |    90028    81339     64 |  0.002 % |
764.06/764.43	c |    996511 |     220    18700   130900 |    90028    82740     64 |  0.002 % |
765.45/765.83	c |    998051 |     220    18700   130900 |    90028    84280     64 |  0.002 % |
766.95/767.38	c |    999747 |     220    18700   130900 |    90028    85976     64 |  0.002 % |
768.65/769.06	c |   1001612 |     220    18700   130900 |    86230    75688     64 |  0.002 % |
770.25/770.69	c |   1003662 |     220    18700   130900 |    86230    77738     64 |  0.002 % |
771.85/772.29	c |   1005916 |     220    18700   130900 |    86230    79992     64 |  0.002 % |
773.74/774.12	c |   1008394 |     220    18700   130900 |    86230    82470     64 |  0.002 % |
775.64/776.09	c |   1011120 |     220    18700   130900 |    84078    75413     64 |  0.002 % |
777.74/778.12	c |   1014118 |     220    18700   130900 |    84078    78411     64 |  0.002 % |
780.24/780.61	c |   1017414 |     220    18700   130900 |    84078    81707     64 |  0.002 % |
783.14/783.55	c |   1021040 |     220    18700   130900 |    75183    68085     64 |  0.002 % |
786.04/786.42	c |   1025028 |     220    18700   130900 |    75183    72073     64 |  0.002 % |
789.24/789.69	c |   1029415 |     220    18700   130900 |    75183    68903     64 |  0.002 % |
792.74/793.15	c |   1034239 |     220    18700   130900 | 2147483647    73727     64 |  0.002 % |
796.94/797.33	c |   1039544 |     220    18700   130900 | 2147483647    79032     64 |  0.002 % |
801.84/802.22	c |   1045379 |     220    18700   130900 | 2147483647    84867     64 |  0.002 % |
807.23/807.62	c |   1051799 |     220    18700   130900 |    89489    79197     64 |  0.002 % |
812.93/813.37	c |   1058858 |     220    18700   130900 |    89489    86256     64 |  0.002 % |
818.92/819.37	c |   1066622 |     220    18700   130900 |    87398    82365     64 |  0.002 % |
825.72/826.15	c |   1075162 |     220    18700   130900 |    85743    80516     64 |  0.002 % |
833.02/833.42	c |   1084558 |     220    18700   130900 |    85354    79973     64 |  0.002 % |
833.12/833.53	c |   1084660 |     220    18700   130900 |    85354    80075     64 |  0.002 % |
833.22/833.64	c |   1084771 |     220    18700   130900 |    85354    80186     64 |  0.002 % |
833.32/833.74	c |   1084892 |     220    18700   130900 |    85354    80307     64 |  0.002 % |
833.42/833.86	c |   1085027 |     220    18700   130900 |    85354    80442     64 |  0.002 % |
833.62/834.05	c |   1085174 |     220    18700   130900 |    85354    80589     64 |  0.002 % |
833.82/834.21	c |   1085334 |     220    18700   130900 |    85354    80749     64 |  0.002 % |
833.92/834.39	c |   1085513 |     220    18700   130900 |    85354    80928     64 |  0.002 % |
834.12/834.60	c |   1085706 |     220    18700   130900 |    85354    81121     64 |  0.002 % |
834.42/834.82	c |   1085919 |     220    18700   130900 |    85354    81334     64 |  0.002 % |
834.62/835.06	c |   1086152 |     220    18700   130900 |    85354    81567     64 |  0.002 % |
834.92/835.33	c |   1086410 |     220    18700   130900 |    85354    81825     64 |  0.002 % |
835.12/835.58	c |   1086693 |     220    18700   130900 |    85354    82108     64 |  0.002 % |
835.42/835.83	c |   1087002 |     220    18700   130900 |    85354    82417     64 |  0.002 % |
835.72/836.18	c |   1087342 |     220    18700   130900 |    85354    82757     64 |  0.002 % |
836.12/836.53	c |   1087714 |     220    18700   130900 |    85354    83129     64 |  0.002 % |
836.52/836.91	c |   1088123 |     220    18700   130900 |    85354    83538     64 |  0.002 % |
836.92/837.35	c |   1088572 |     220    18700   130900 |    85354    83987     64 |  0.002 % |
837.42/837.85	c |   1089067 |     220    18700   130900 |    85354    84482     64 |  0.002 % |
837.92/838.34	c |   1089609 |     220    18700   130900 |    85354    85024     64 |  0.002 % |
838.52/838.94	c |   1090206 |     220    18700   130900 |    85415    74133     64 |  0.002 % |
839.02/839.45	c |   1090862 |     220    18700   130900 |    85415    74789     64 |  0.002 % |
839.52/839.96	c |   1091582 |     220    18700   130900 |    85415    75509     64 |  0.002 % |
840.22/840.66	c |   1092375 |     220    18700   130900 |    85415    76302     64 |  0.002 % |
840.92/841.33	c |   1093246 |     220    18700   130900 |    85415    77173     64 |  0.002 % |
841.62/842.10	c |   1094204 |     220    18700   130900 |    85415    78131     64 |  0.002 % |
842.41/842.85	c |   1095258 |     220    18700   130900 |    85415    79185     64 |  0.002 % |
843.32/843.78	c |   1096417 |     220    18700   130900 |    85415    80344     64 |  0.002 % |
844.42/844.84	c |   1097690 |     220    18700   130900 |    85415    81617     64 |  0.002 % |
845.52/845.99	c |   1099090 |     220    18700   130900 |    85415    83017     64 |  0.002 % |
847.01/847.49	c |   1100630 |     220    18700   130900 |    83929    73361     63 |  0.002 % |
848.31/848.71	c |   1102324 |     220    18700   130900 |    83929    75055     64 |  0.002 % |
849.61/850.08	c |   1104188 |     220    18700   130900 |    83929    76919     63 |  0.002 % |
851.21/851.66	c |   1106238 |     220    18700   130900 |    83929    78969     63 |  0.002 % |
852.91/853.38	c |   1108491 |     220    18700   130900 |    83929    81222     63 |  0.002 % |
854.81/855.22	c |   1110971 |     220    18700   130900 |    82731    74294     64 |  0.002 % |
856.61/857.07	c |   1113696 |     220    18700   130900 |    82731    77019     63 |  0.002 % |
858.71/859.13	c |   1116694 |     220    18700   130900 |    82731    80017     64 |  0.002 % |
861.31/861.70	c |   1119992 |     220    18700   130900 |    82731    75032     63 |  0.002 % |
863.90/864.35	c |   1123618 |     220    18700   130900 | 2147483647    78658     64 |  0.002 % |
866.90/867.38	c |   1127606 |     220    18700   130900 | 2147483647    82646     64 |  0.002 % |
870.60/871.07	c |   1131991 |     220    18700   130900 |    85042    77015     63 |  0.002 % |
874.60/875.02	c |   1136815 |     220    18700   130900 |    85042    81839     63 |  0.002 % |
878.89/879.33	c |   1142120 |     220    18700   130900 |    85024    77413     63 |  0.002 % |
883.29/883.72	c |   1147955 |     220    18700   130900 |    85024    83248     64 |  0.002 % |
887.79/888.24	c |   1154376 |     220    18700   130900 |    75615    71403     64 |  0.002 % |
892.69/893.20	c |   1161438 |     220    18700   130900 | 2147483647    70893     64 |  0.002 % |
898.59/899.01	c |   1169203 |     220    18700   130900 | 2147483647    78658     64 |  0.002 % |
906.09/906.56	c |   1177743 |     220    18700   130900 | 2147483647    87198     64 |  0.002 % |
914.08/914.50	c |   1187141 |     220    18700   130900 |    89455    84425     64 |  0.002 % |
922.68/923.16	c |   1197474 |     220    18700   130900 |    87285    83305     64 |  0.002 % |
922.78/923.26	c |   1197574 |     220    18700   130900 |    87285    83405     64 |  0.002 % |
922.88/923.36	c |   1197684 |     220    18700   130900 |    87285    83515     64 |  0.002 % |
922.98/923.47	c |   1197805 |     220    18700   130900 |    87285    83636     64 |  0.002 % |
923.08/923.59	c |   1197938 |     220    18700   130900 |    87285    83769     64 |  0.002 % |
923.28/923.73	c |   1198085 |     220    18700   130900 |    87285    83916     64 |  0.002 % |
923.38/923.88	c |   1198245 |     220    18700   130900 |    87285    84076     64 |  0.002 % |
923.58/924.03	c |   1198422 |     220    18700   130900 |    87285    84253     64 |  0.002 % |
923.78/924.21	c |   1198615 |     220    18700   130900 |    87285    84446     64 |  0.002 % |
923.88/924.39	c |   1198828 |     220    18700   130900 |    87285    84659     64 |  0.002 % |
924.18/924.63	c |   1199061 |     220    18700   130900 |    87285    84892     64 |  0.002 % |
924.38/924.89	c |   1199318 |     220    18700   130900 |    87285    85149     64 |  0.002 % |
924.68/925.14	c |   1199600 |     220    18700   130900 |    87285    85431     64 |  0.002 % |
924.88/925.39	c |   1199909 |     220    18700   130900 |    87285    85740     64 |  0.002 % |
925.28/925.72	c |   1200248 |     220    18700   130900 |    85832    74854     64 |  0.002 % |
925.58/926.03	c |   1200620 |     220    18700   130900 |    85832    75226     64 |  0.002 % |
925.88/926.35	c |   1201030 |     220    18700   130900 |    85832    75636     64 |  0.002 % |
926.18/926.69	c |   1201480 |     220    18700   130900 |    85832    76086     64 |  0.002 % |
926.58/927.08	c |   1201974 |     220    18700   130900 |    85832    76580     64 |  0.002 % |
926.98/927.47	c |   1202516 |     220    18700   130900 |    85832    77122     64 |  0.002 % |
927.48/927.95	c |   1203112 |     220    18700   130900 |    85832    77718     64 |  0.002 % |
927.98/928.45	c |   1203768 |     220    18700   130900 |    85832    78374     64 |  0.002 % |
928.58/929.05	c |   1204489 |     220    18700   130900 |    85832    79095     64 |  0.002 % |
929.18/929.67	c |   1205281 |     220    18700   130900 |    85832    79887     64 |  0.002 % |
929.87/930.32	c |   1206152 |     220    18700   130900 |    85832    80758     64 |  0.002 % |
930.57/931.03	c |   1207110 |     220    18700   130900 |    85832    81716     64 |  0.002 % |
931.28/931.75	c |   1208163 |     220    18700   130900 |    85832    82769     64 |  0.002 % |
932.38/932.80	c |   1209324 |     220    18700   130900 |    85832    83930     64 |  0.002 % |
933.57/934.01	c |   1210599 |     220    18700   130900 |    84606    74211     64 |  0.002 % |
934.67/935.13	c |   1211999 |     220    18700   130900 |    84606    75611     64 |  0.002 % |
935.68/936.11	c |   1213540 |     220    18700   130900 |    84606    77152     64 |  0.002 % |
936.87/937.34	c |   1215235 |     220    18700   130900 |    84606    78847     64 |  0.002 % |
938.27/938.74	c |   1217098 |     220    18700   130900 |    84606    80710     64 |  0.002 % |
939.77/940.26	c |   1219147 |     220    18700   130900 |    84606    82759     64 |  0.002 % |
941.47/941.94	c |   1221400 |     220    18700   130900 |    83612    74574     64 |  0.002 % |
943.28/943.72	c |   1223879 |     220    18700   130900 |    83612    77053     64 |  0.002 % |
945.37/945.87	c |   1226604 |     220    18700   130900 |    83612    79778     64 |  0.002 % |
947.87/948.31	c |   1229601 |     220    18700   130900 |    83612    82775     64 |  0.002 % |
950.37/950.87	c |   1232900 |     220    18700   130900 |    83175    76353     64 |  0.002 % |
952.86/953.37	c |   1236525 |     220    18700   130900 |    83175    79978     64 |  0.002 % |
955.97/956.47	c |   1240516 |     220    18700   130900 |    74232    66596     64 |  0.002 % |
959.07/959.54	c |   1244903 |     220    18700   130900 |    74232    70983     64 |  0.002 % |
962.17/962.62	c |   1249727 |     220    18700   130900 |    74232    68374     63 |  0.002 % |
965.67/966.19	c |   1255032 |     220    18700   130900 | 2147483647    73679     63 |  0.002 % |
970.07/970.51	c |   1260868 |     220    18700   130900 | 2147483647    79515     63 |  0.002 % |
975.17/975.68	c |   1267286 |     220    18700   130900 | 2147483647    85933     64 |  0.002 % |
981.06/981.58	c |   1274346 |     220    18700   130900 |    88649    81642     64 |  0.002 % |
987.46/987.93	c |   1282110 |     220    18700   130900 |    87296    77997     64 |  0.002 % |
994.96/995.49	c |   1290653 |     220    18700   130900 |    85887    74960     64 |  0.002 % |
1002.15/1002.67	c |   1300047 |     220    18700   130900 |    84307    84354     64 |  0.002 % |
1010.45/1010.94	c |   1310382 |     220    18700   130900 |    84346    73371     64 |  0.002 % |
1018.65/1019.12	c |   1321750 |     220    18700   130900 |    82989    74555     65 |  0.002 % |
1018.65/1019.19	c |   1321850 |     220    18700   130900 |    82989    74655     65 |  0.002 % |
1018.75/1019.28	c |   1321960 |     220    18700   130900 |    82989    74765     65 |  0.002 % |
1018.95/1019.40	c |   1322083 |     220    18700   130900 |    82989    74888     65 |  0.002 % |
1019.05/1019.54	c |   1322218 |     220    18700   130900 |    82989    75023     64 |  0.002 % |
1019.15/1019.67	c |   1322366 |     220    18700   130900 |    82989    75171     64 |  0.002 % |
1019.35/1019.82	c |   1322527 |     220    18700   130900 |    82989    75332     64 |  0.002 % |
1019.55/1020.00	c |   1322706 |     220    18700   130900 |    82989    75511     64 |  0.002 % |
1019.65/1020.16	c |   1322899 |     220    18700   130900 |    82989    75704     64 |  0.002 % |
1019.85/1020.34	c |   1323111 |     220    18700   130900 |    82989    75916     64 |  0.002 % |
1020.05/1020.51	c |   1323344 |     220    18700   130900 |    82989    76149     64 |  0.002 % |
1020.25/1020.73	c |   1323601 |     220    18700   130900 |    82989    76406     64 |  0.002 % |
1020.45/1020.97	c |   1323883 |     220    18700   130900 |    82989    76688     64 |  0.002 % |
1020.75/1021.21	c |   1324192 |     220    18700   130900 |    82989    76997     64 |  0.002 % |
1020.95/1021.50	c |   1324532 |     220    18700   130900 |    82989    77337     64 |  0.002 % |
1021.35/1021.83	c |   1324905 |     220    18700   130900 |    82989    77710     64 |  0.002 % |
1021.65/1022.14	c |   1325314 |     220    18700   130900 |    82989    78119     64 |  0.002 % |
1022.05/1022.51	c |   1325764 |     220    18700   130900 |    82989    78569     64 |  0.002 % |
1022.35/1022.89	c |   1326257 |     220    18700   130900 |    82989    79062     64 |  0.002 % |
1022.85/1023.35	c |   1326799 |     220    18700   130900 |    82989    79604     64 |  0.002 % |
1023.35/1023.81	c |   1327395 |     220    18700   130900 |    82989    80200     64 |  0.002 % |
1023.85/1024.30	c |   1328050 |     220    18700   130900 |    82989    80855     64 |  0.002 % |
1024.55/1025.06	c |   1328772 |     220    18700   130900 |    82989    81577     64 |  0.002 % |
1025.25/1025.77	c |   1329566 |     220    18700   130900 |    82989    82371     64 |  0.002 % |
1026.15/1026.68	c |   1330438 |     220    18700   130900 |    82808    72549     64 |  0.002 % |
1026.95/1027.44	c |   1331396 |     220    18700   130900 |    82808    73507     64 |  0.002 % |
1027.84/1028.31	c |   1332449 |     220    18700   130900 |    82808    74560     64 |  0.002 % |
1028.84/1029.34	c |   1333607 |     220    18700   130900 |    82808    75718     64 |  0.002 % |
1029.84/1030.32	c |   1334880 |     220    18700   130900 |    82808    76991     64 |  0.002 % |
1030.94/1031.40	c |   1336280 |     220    18700   130900 |    82808    78391     64 |  0.002 % |
1032.14/1032.65	c |   1337822 |     220    18700   130900 |    82808    79933     64 |  0.002 % |
1033.64/1034.10	c |   1339517 |     220    18700   130900 |    82808    81628     64 |  0.002 % |
1035.34/1035.82	c |   1341380 |     220    18700   130900 |    82111    73346     64 |  0.002 % |
1036.94/1037.40	c |   1343429 |     220    18700   130900 |    82111    75395     64 |  0.002 % |
1038.44/1038.99	c |   1345682 |     220    18700   130900 |    82111    77648     64 |  0.002 % |
1040.24/1040.72	c |   1348161 |     220    18700   130900 |    82111    80127     64 |  0.002 % |
1042.13/1042.62	c |   1350887 |     220    18700   130900 |    81967    73523     64 |  0.002 % |
1044.13/1044.62	c |   1353884 |     220    18700   130900 |    81967    76520     64 |  0.002 % |
1046.33/1046.89	c |   1357180 |     220    18700   130900 |    81967    79816     64 |  0.002 % |
1049.23/1049.75	c |   1360805 |     220    18700   130900 |    74330    67691     64 |  0.002 % |
1052.03/1052.55	c |   1364793 |     220    18700   130900 |    74330    71679     64 |  0.002 % |
1055.23/1055.78	c |   1369178 |     220    18700   130900 |    74330    68623     64 |  0.002 % |
1058.53/1059.04	c |   1374002 |     220    18700   130900 | 2147483647    73447     64 |  0.002 % |
1062.73/1063.27	c |   1379307 |     220    18700   130900 | 2147483647    78752     64 |  0.002 % |
1067.43/1067.93	c |   1385142 |     220    18700   130900 | 2147483647    84587     64 |  0.002 % |
1072.92/1073.44	c |   1391561 |     220    18700   130900 |    89445    78481     63 |  0.002 % |
1078.63/1079.15	c |   1398620 |     220    18700   130900 |    89445    85540     63 |  0.002 % |
1084.62/1085.14	c |   1406384 |     220    18700   130900 |    86922    81342     64 |  0.002 % |
1091.21/1091.74	c |   1414925 |     220    18700   130900 |    84959    78549     64 |  0.002 % |
1098.51/1099.06	c |   1424319 |     220    18700   130900 |    83624    78156     64 |  0.002 % |
1106.60/1107.14	c |   1434652 |     220    18700   130900 |    74283    70476     64 |  0.002 % |
1114.90/1115.41	c |   1446018 |     220    18700   130900 | 2147483647    74404     64 |  0.002 % |
1124.50/1125.03	c |   1458520 |     220    18700   130900 | 2147483647    86906     64 |  0.002 % |
1124.60/1125.14	c |   1458621 |     220    18700   130900 | 2147483647    87007     64 |  0.002 % |
1124.70/1125.24	c |   1458733 |     220    18700   130900 | 2147483647    87119     64 |  0.002 % |
1124.80/1125.35	c |   1458855 |     220    18700   130900 | 2147483647    87241     64 |  0.002 % |
1124.90/1125.49	c |   1458988 |     220    18700   130900 | 2147483647    87374     64 |  0.002 % |
1125.10/1125.63	c |   1459135 |     220    18700   130900 | 2147483647    87521     64 |  0.002 % |
1125.20/1125.76	c |   1459295 |     220    18700   130900 | 2147483647    87681     64 |  0.002 % |
1125.40/1125.91	c |   1459471 |     220    18700   130900 | 2147483647    87857     64 |  0.002 % |
1125.50/1126.09	c |   1459664 |     220    18700   130900 | 2147483647    88050     64 |  0.002 % |
1125.70/1126.27	c |   1459877 |     220    18700   130900 | 2147483647    88263     64 |  0.002 % |
1126.00/1126.58	c |   1460110 |     220    18700   130900 |    88387    77154     64 |  0.002 % |
1126.20/1126.76	c |   1460366 |     220    18700   130900 |    88387    77410     64 |  0.002 % |
1126.40/1126.99	c |   1460647 |     220    18700   130900 |    88387    77691     64 |  0.002 % |
1126.70/1127.25	c |   1460956 |     220    18700   130900 |    88387    78000     64 |  0.002 % |
1127.00/1127.54	c |   1461297 |     220    18700   130900 |    88387    78341     64 |  0.002 % |
1127.30/1127.83	c |   1461669 |     220    18700   130900 |    88387    78713     64 |  0.002 % |
1127.60/1128.16	c |   1462078 |     220    18700   130900 |    88387    79122     64 |  0.002 % |
1128.10/1128.65	c |   1462530 |     220    18700   130900 |    88387    79574     64 |  0.002 % |
1128.60/1129.10	c |   1463023 |     220    18700   130900 |    88387    80067     64 |  0.002 % |
1129.10/1129.64	c |   1463565 |     220    18700   130900 |    88387    80609     64 |  0.002 % |
1129.60/1130.19	c |   1464163 |     220    18700   130900 |    88387    81207     64 |  0.002 % |
1130.30/1130.80	c |   1464819 |     220    18700   130900 |    88387    81863     64 |  0.002 % |
1130.90/1131.43	c |   1465541 |     220    18700   130900 |    88387    82585     64 |  0.002 % |
1131.59/1132.15	c |   1466336 |     220    18700   130900 |    88387    83380     64 |  0.002 % |
1132.40/1133.00	c |   1467209 |     220    18700   130900 |    88387    84253     64 |  0.002 % |
1133.39/1133.99	c |   1468168 |     220    18700   130900 |    88387    85212     64 |  0.002 % |
1134.29/1134.88	c |   1469221 |     220    18700   130900 |    88387    86265     64 |  0.002 % |
1135.39/1135.91	c |   1470379 |     220    18700   130900 |    87044    74688     64 |  0.002 % |
1136.29/1136.84	c |   1471652 |     220    18700   130900 |    87044    75961     64 |  0.002 % |
1137.39/1137.91	c |   1473052 |     220    18700   130900 |    87044    77361     64 |  0.002 % |
1138.69/1139.26	c |   1474593 |     220    18700   130900 |    87044    78902     64 |  0.002 % |
1140.19/1140.76	c |   1476289 |     220    18700   130900 |    87044    80598     64 |  0.002 % |
1141.59/1142.18	c |   1478154 |     220    18700   130900 |    87044    82463     64 |  0.002 % |
1143.39/1143.93	c |   1480203 |     220    18700   130900 |    84310    73241     64 |  0.002 % |
1144.89/1145.41	c |   1482457 |     220    18700   130900 |    84310    75495     64 |  0.002 % |
1146.59/1147.11	c |   1484936 |     220    18700   130900 |    84310    77974     64 |  0.002 % |
1148.59/1149.15	c |   1487661 |     220    18700   130900 |    84310    80699     64 |  0.002 % |
1151.09/1151.65	c |   1490658 |     220    18700   130900 |    83039    74052     64 |  0.002 % |
1153.59/1154.15	c |   1493954 |     220    18700   130900 |    83039    77348     64 |  0.002 % |
1156.09/1156.67	c |   1497579 |     220    18700   130900 |    83039    80973     64 |  0.002 % |
1159.29/1159.81	c |   1501566 |     220    18700   130900 |    74270    67714     64 |  0.002 % |
1162.28/1162.81	c |   1505951 |     220    18700   130900 |    74270    72099     64 |  0.002 % |
1165.58/1166.14	c |   1510775 |     220    18700   130900 | 2147483647    69486     64 |  0.002 % |
1169.18/1169.74	c |   1516082 |     220    18700   130900 | 2147483647    74793     64 |  0.002 % |
1173.88/1174.41	c |   1521918 |     220    18700   130900 | 2147483647    80629     64 |  0.002 % |
1179.48/1180.04	c |   1528337 |     220    18700   130900 | 2147483647    87048     64 |  0.002 % |
1185.28/1185.86	c |   1535397 |     220    18700   130900 |    88712    81376     64 |  0.002 % |
1191.37/1191.94	c |   1543161 |     220    18700   130900 |    85979    77343     64 |  0.002 % |
1198.17/1198.74	c |   1551701 |     220    18700   130900 |    84182    75540     64 |  0.002 % |
1200.08/1200.61	HOME/SatELiteGTI: line 36: 27232 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-1832545-1242783371/watcher-1832545-1242783371 -o /tmp/evaluation-result-1832545-1242783371/solver-1832545-1242783371 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832545-1242783371.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27226
/proc/meminfo: memFree=1974436/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306366156 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/27226/statm: 1339 236 196 169 0 50 0

[startup+0.087427 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27226
/proc/meminfo: memFree=1974436/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.101403 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27226
/proc/meminfo: memFree=1974436/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301424 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27226
/proc/meminfo: memFree=1974436/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701466 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27226
/proc/meminfo: memFree=1974436/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50154 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 27232
/proc/meminfo: memFree=1970004/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=5256 CPUtime=1.42
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 1075 0 0 0 142 0 0 0 25 0 1 0 306366163 5382144 1061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 1314 1061 76 171 0 1141 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10612

[startup+3.10171 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 27232
/proc/meminfo: memFree=1968468/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=7124 CPUtime=3.01
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 1558 0 0 0 301 0 0 0 25 0 1 0 306366163 7294976 1544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 1781 1544 76 171 0 1608 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12480

[startup+6.30104 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1965268/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=10064 CPUtime=6.21
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 2305 0 0 0 620 1 0 0 25 0 1 0 306366163 10305536 2291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 2516 2291 76 171 0 2343 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15420

[startup+12.7017 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1960276/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=14796 CPUtime=12.6
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 3445 0 0 0 1258 2 0 0 25 0 1 0 306366163 15151104 3431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 3699 3431 76 171 0 3526 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20152

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1953940/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=20856 CPUtime=25.4
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 4955 0 0 0 2536 4 0 0 25 0 1 0 306366163 21356544 4941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 5214 4941 76 171 0 5041 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26212

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1946836/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=27744 CPUtime=51
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 6701 0 0 0 5095 5 0 0 25 0 1 0 306366163 28409856 6687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 6936 6687 76 171 0 6763 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 33100

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1946580/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=27744 CPUtime=102.18
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 6701 0 0 0 10213 5 0 0 25 0 1 0 306366163 28409856 6687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 6936 6687 76 171 0 6763 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 33100

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1945876/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=28272 CPUtime=162.15
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 6833 0 0 0 16210 5 0 0 25 0 1 0 306366163 28950528 6819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7068 6819 76 171 0 6895 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 33628

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1944724/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=29328 CPUtime=222.12
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7104 0 0 0 22207 5 0 0 25 0 1 0 306366163 30031872 7090 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7332 7090 76 171 0 7159 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 34684

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1944532/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=29460 CPUtime=282.1
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7130 0 0 0 28204 6 0 0 25 0 1 0 306366163 30167040 7116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7365 7116 76 171 0 7192 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 34816

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1943892/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=29988 CPUtime=342.07
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7252 0 0 0 34201 6 0 0 25 0 1 0 306366163 30707712 7238 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7497 7238 76 171 0 7324 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 35344

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27232
/proc/meminfo: memFree=1944020/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=29588 CPUtime=402.05
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7252 0 0 0 40199 6 0 0 25 0 1 0 306366163 30298112 7170 1992294400 134512640 135215339 4294956240 18446744073709551615 134719036 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7397 7170 76 171 0 7224 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 34944

[startup+462.302 s]

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

[pid=27232] ppid=27226 vsize=29852 CPUtime=462.02
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7307 0 0 0 46196 6 0 0 25 0 1 0 306366163 30568448 7225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7463 7225 76 171 0 7290 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 35208

[startup+522.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 27232
/proc/meminfo: memFree=1943764/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=29692 CPUtime=522
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7307 0 0 0 52193 7 0 0 25 0 1 0 306366163 30404608 7196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7423 7196 76 171 0 7250 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 35048

[startup+582.301 s]
/proc/loadavg: 1.12 1.05 1.01 2/66 27234
/proc/meminfo: memFree=1943508/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=29956 CPUtime=581.98
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7341 0 0 0 58191 7 0 0 25 0 1 0 306366163 30674944 7230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7489 7230 76 171 0 7316 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 35312

[startup+642.301 s]
/proc/loadavg: 1.19 1.08 1.02 2/66 27234
/proc/meminfo: memFree=1943380/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=29860 CPUtime=641.95
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7341 0 0 0 64188 7 0 0 25 0 1 0 306366163 30576640 7230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7465 7230 76 171 0 7292 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 35216

[startup+702.302 s]
/proc/loadavg: 1.10 1.08 1.02 2/66 27234
/proc/meminfo: memFree=1942676/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=30652 CPUtime=701.92
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7517 0 0 0 70185 7 0 0 25 0 1 0 306366163 31387648 7406 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7663 7406 76 171 0 7490 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 36008

[startup+762.306 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 27234
/proc/meminfo: memFree=1941204/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=31980 CPUtime=761.91
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7873 0 0 0 76183 8 0 0 25 0 1 0 306366163 32747520 7760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 7995 7760 76 171 0 7822 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 37336

[startup+822.302 s]
/proc/loadavg: 1.01 1.05 1.00 2/66 27234
/proc/meminfo: memFree=1941140/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=821.87
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7882 0 0 0 82179 8 0 0 25 0 1 0 306366163 32882688 7769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7769 76 171 0 7855 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 37468

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/66 27234
/proc/meminfo: memFree=1940948/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=881.84
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7882 0 0 0 88176 8 0 0 25 0 1 0 306366163 32882688 7769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7769 76 171 0 7855 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 37468

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 27234
/proc/meminfo: memFree=1940884/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=941.82
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7894 0 0 0 94174 8 0 0 25 0 1 0 306366163 32882688 7781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7781 76 171 0 7855 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 37468

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 27234
/proc/meminfo: memFree=1940692/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=1001.8
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7894 0 0 0 100171 9 0 0 25 0 1 0 306366163 32882688 7781 1992294400 134512640 135215339 4294956240 18446744073709551615 134538359 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7781 76 171 0 7855 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 37468

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 27234
/proc/meminfo: memFree=1940628/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=1061.78
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7894 0 0 0 106169 9 0 0 25 0 1 0 306366163 32882688 7781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7781 76 171 0 7855 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 37468

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 27234
/proc/meminfo: memFree=1940500/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=1121.75
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7894 0 0 0 112166 9 0 0 25 0 1 0 306366163 32882688 7781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7781 76 171 0 7855 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 37468

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27234
/proc/meminfo: memFree=1940372/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=1181.73
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7894 0 0 0 118164 9 0 0 25 0 1 0 306366163 32882688 7781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7781 76 171 0 7855 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 37468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27234
/proc/meminfo: memFree=1940308/2055920 swapFree=4177796/4192956
[pid=27226] ppid=27224 vsize=5356 CPUtime=0.05
/proc/27226/stat : 27226 (SatELiteGTI) S 27224 27226 26993 0 -1 4194304 336 785 0 0 0 0 5 0 18 0 1 0 306366156 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27226/statm: 1339 239 197 169 0 50 0
[pid=27232] ppid=27226 vsize=32112 CPUtime=1200.03
/proc/27232/stat : 27232 (minisat_static) R 27226 27226 26993 0 -1 4194304 7894 0 0 0 119994 9 0 0 25 0 1 0 306366163 32882688 7781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/27232/statm: 8028 7781 76 171 0 7855 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 37468

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.11
CPU user time (s): 1200
CPU system time (s): 0.107983
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 37468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9024
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= 24
involuntary context switches= 4559

runsolver used 1.3048 second user time and 3.16352 second system time

The end

Launcher Data

Begin job on node90 at 2009-05-20 03:36:11
IDJOB=1832545
IDBENCH=70236
IDSOLVER=671
FILE ID=node90/1832545-1242783371
PBS_JOBID= 9322309
Free space on /tmp= 66304 MiB

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

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

MD5SUM BENCH= 149f4a347f3f97737dc0646d2caf1180
RANDOM SEED=2032293463

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1974916 kB
Buffers:         13704 kB
Cached:          31316 kB
SwapCached:       8768 kB
Active:          31664 kB
Inactive:        23528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1974916 kB
SwapTotal:     4192956 kB
SwapFree:      4177796 kB
Dirty:            2132 kB
Writeback:           0 kB
Mapped:          15980 kB
Slab:            11832 kB
Committed_AS:   896444 kB
PageTables:       1436 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= 66304 MiB
End job on node90 at 2009-05-20 03:56:14