Trace number 1832551

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.09 1200.71

General information on the benchmark

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

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   18700   130900 |    5609       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 220   #clauses: 18700   #literals: 130900
0.00/0.03	c CPU time:   0.024996 s
0.00/0.03	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  220                                                  |
0.00/0.07	c |  Number of clauses:    18700                                                |
0.00/0.09	c |  Parsing time:         0.02         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.06/0.09	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.06/0.10	c |       100 |     220    18700   130900 |     6233      100     61 |  0.002 % |
0.06/0.11	c |       201 |     220    18700   130900 |     6233      201     61 |  0.002 % |
0.06/0.12	c |       302 |     220    18700   130900 |     6233      302     61 |  0.002 % |
0.06/0.13	c |       412 |     220    18700   130900 |     6233      412     60 |  0.002 % |
0.06/0.14	c |       512 |     220    18700   130900 |     6233      512     61 |  0.002 % |
0.06/0.16	c |       622 |     220    18700   130900 |     6233      622     60 |  0.002 % |
0.06/0.17	c |       744 |     220    18700   130900 |     6233      744     60 |  0.002 % |
0.06/0.18	c |       844 |     220    18700   130900 |     6233      844     61 |  0.002 % |
0.06/0.18	c |       955 |     220    18700   130900 |     6233      955     61 |  0.002 % |
0.06/0.20	c |      1077 |     220    18700   130900 |     6233     1077     61 |  0.002 % |
0.06/0.21	c |      1210 |     220    18700   130900 |     6233     1210     61 |  0.002 % |
0.06/0.22	c |      1311 |     220    18700   130900 |     6233     1311     61 |  0.002 % |
0.06/0.23	c |      1421 |     220    18700   130900 |     6233     1421     62 |  0.002 % |
0.06/0.25	c |      1542 |     220    18700   130900 |     6233     1542     61 |  0.002 % |
0.06/0.26	c |      1677 |     220    18700   130900 |     6233     1677     61 |  0.002 % |
0.06/0.27	c |      1824 |     220    18700   130900 |     6233     1824     62 |  0.002 % |
0.06/0.28	c |      1925 |     220    18700   130900 |     6233     1925     62 |  0.002 % |
0.06/0.29	c |      2036 |     220    18700   130900 |     6233     2036     62 |  0.002 % |
0.06/0.30	c |      2158 |     220    18700   130900 |     6233     2158     62 |  0.002 % |
0.06/0.32	c |      2293 |     220    18700   130900 |     6233     2293     62 |  0.002 % |
0.06/0.33	c |      2439 |     220    18700   130900 |     6233     2439     62 |  0.002 % |
0.06/0.35	c |      2600 |     220    18700   130900 |     6233     2600     62 |  0.002 % |
0.06/0.36	c |      2701 |     220    18700   130900 |     6233     2701     62 |  0.002 % |
0.06/0.37	c |      2814 |     220    18700   130900 |     6233     2814     62 |  0.002 % |
0.06/0.39	c |      2935 |     220    18700   130900 |     6233     2935     62 |  0.002 % |
0.06/0.40	c |      3068 |     220    18700   130900 |     6233     3068     62 |  0.002 % |
0.06/0.42	c |      3215 |     220    18700   130900 |     6233     3215     62 |  0.002 % |
0.06/0.44	c |      3376 |     220    18700   130900 |     6233     3376     62 |  0.002 % |
0.06/0.46	c |      3552 |     220    18700   130900 |     6233     3552     62 |  0.002 % |
0.06/0.47	c |      3652 |     220    18700   130900 |     6233     3652     62 |  0.002 % |
0.06/0.48	c |      3762 |     220    18700   130900 |     6233     3762     62 |  0.002 % |
0.06/0.50	c |      3884 |     220    18700   130900 |     6233     3884     62 |  0.002 % |
0.06/0.51	c |      4018 |     220    18700   130900 |     6233     4018     62 |  0.002 % |
0.06/0.53	c |      4164 |     220    18700   130900 |     6233     4164     61 |  0.002 % |
0.06/0.55	c |      4325 |     220    18700   130900 |     6233     4325     61 |  0.002 % |
0.06/0.57	c |      4501 |     220    18700   130900 |     6233     4501     62 |  0.002 % |
0.06/0.59	c |      4695 |     220    18700   130900 |     6233     4695     62 |  0.002 % |
0.06/0.61	c |      4795 |     220    18700   130900 |     6233     4795     61 |  0.002 % |
0.06/0.62	c |      4905 |     220    18700   130900 |     6233     4905     61 |  0.002 % |
0.06/0.63	c |      5026 |     220    18700   130900 |     6233     5026     61 |  0.002 % |
0.06/0.65	c |      5159 |     220    18700   130900 |     6233     5159     61 |  0.002 % |
0.06/0.67	c |      5305 |     220    18700   130900 |     6233     5305     61 |  0.002 % |
0.06/0.69	c |      5467 |     220    18700   130900 |     6233     5467     61 |  0.002 % |
0.06/0.71	c |      5643 |     220    18700   130900 |     6233     5643     61 |  0.002 % |
0.06/0.74	c |      5837 |     220    18700   130900 |     6233     5837     61 |  0.002 % |
0.06/0.76	c |      6049 |     220    18700   130900 |     6233     6049     61 |  0.002 % |
0.06/0.78	c |      6154 |     220    18700   130900 |     6233     6154     61 |  0.002 % |
0.06/0.79	c |      6265 |     220    18700   130900 |     6233     6265     61 |  0.002 % |
0.06/0.81	c |      6387 |     220    18700   130900 |     6233     5761     61 |  0.002 % |
0.06/0.83	c |      6520 |     220    18700   130900 |     6233     5894     61 |  0.002 % |
0.06/0.84	c |      6666 |     220    18700   130900 |     6233     6040     61 |  0.002 % |
0.06/0.87	c |      6826 |     220    18700   130900 |     6233     6200     61 |  0.002 % |
0.06/0.89	c |      7002 |     220    18700   130900 |     6233     5742     61 |  0.002 % |
0.06/0.92	c |      7195 |     220    18700   130900 |     6233     5935     61 |  0.002 % |
0.06/0.94	c |      7407 |     220    18700   130900 |     6233     6147     61 |  0.002 % |
0.06/0.98	c |      7640 |     220    18700   130900 |     6233     5746     61 |  0.002 % |
0.06/0.99	c |      7740 |     220    18700   130900 |     6233     5846     61 |  0.002 % |
0.98/1.00	c |      7852 |     220    18700   130900 |     6233     5958     61 |  0.002 % |
0.98/1.02	c |      7974 |     220    18700   130900 |     6233     6080     61 |  0.002 % |
0.98/1.04	c |      8107 |     220    18700   130900 |     6233     6213     60 |  0.002 % |
0.98/1.06	c |      8253 |     220    18700   130900 |     6233     5726     60 |  0.002 % |
0.98/1.08	c |      8413 |     220    18700   130900 |     6233     5886     61 |  0.002 % |
1.08/1.10	c |      8591 |     220    18700   130900 |     6233     6064     61 |  0.002 % |
1.08/1.13	c |      8785 |     220    18700   130900 |     6233     6258     61 |  0.002 % |
1.08/1.16	c |      8997 |     220    18700   130900 |     6233     5845     60 |  0.002 % |
1.08/1.19	c |      9231 |     220    18700   130900 |     6233     6079     60 |  0.002 % |
1.18/1.22	c |      9488 |     220    18700   130900 |     6233     6336     60 |  0.002 % |
1.18/1.24	c |      9589 |     220    18700   130900 |     6233     5804     60 |  0.002 % |
1.18/1.25	c |      9700 |     220    18700   130900 |     6233     5915     60 |  0.002 % |
1.18/1.27	c |      9824 |     220    18700   130900 |     6233     6039     60 |  0.002 % |
1.18/1.29	c |      9960 |     220    18700   130900 |     6233     6175     60 |  0.002 % |
1.28/1.31	c |     10107 |     220    18700   130900 | 2147483647     6322     60 |  0.002 % |
1.28/1.33	c |     10269 |     220    18700   130900 | 2147483647     6484     60 |  0.002 % |
1.28/1.35	c |     10445 |     220    18700   130900 | 2147483647     6660     60 |  0.002 % |
1.28/1.38	c |     10638 |     220    18700   130900 | 2147483647     6853     61 |  0.002 % |
1.38/1.41	c |     10850 |     220    18700   130900 | 2147483647     7065     61 |  0.002 % |
1.38/1.44	c |     11084 |     220    18700   130900 | 2147483647     7299     61 |  0.002 % |
1.38/1.48	c |     11342 |     220    18700   130900 | 2147483647     7557     61 |  0.002 % |
1.48/1.52	c |     11624 |     220    18700   130900 | 2147483647     7839     61 |  0.002 % |
1.48/1.54	c |     11725 |     220    18700   130900 | 2147483647     7940     61 |  0.002 % |
1.48/1.55	c |     11835 |     220    18700   130900 | 2147483647     8050     61 |  0.002 % |
1.48/1.57	c |     11958 |     220    18700   130900 | 2147483647     8173     61 |  0.002 % |
1.48/1.59	c |     12091 |     220    18700   130900 | 2147483647     8306     61 |  0.002 % |
1.58/1.61	c |     12237 |     220    18700   130900 | 2147483647     8452     61 |  0.002 % |
1.58/1.63	c |     12397 |     220    18700   130900 | 2147483647     8612     61 |  0.002 % |
1.58/1.66	c |     12573 |     220    18700   130900 | 2147483647     8788     61 |  0.002 % |
1.58/1.69	c |     12767 |     220    18700   130900 | 2147483647     8982     61 |  0.002 % |
1.68/1.72	c |     12979 |     220    18700   130900 | 2147483647     9194     61 |  0.002 % |
1.68/1.76	c |     13212 |     220    18700   130900 | 2147483647     9427     61 |  0.002 % |
1.68/1.79	c |     13469 |     220    18700   130900 | 2147483647     9684     61 |  0.002 % |
1.78/1.84	c |     13751 |     220    18700   130900 | 2147483647     9966     61 |  0.002 % |
1.78/1.88	c |     14060 |     220    18700   130900 | 2147483647    10275     61 |  0.002 % |
1.88/1.90	c |     14160 |     220    18700   130900 | 2147483647    10375     61 |  0.002 % |
1.88/1.92	c |     14271 |     220    18700   130900 | 2147483647    10486     61 |  0.002 % |
1.88/1.94	c |     14392 |     220    18700   130900 | 2147483647    10607     61 |  0.002 % |
1.88/1.96	c |     14526 |     220    18700   130900 | 2147483647    10741     61 |  0.002 % |
1.88/1.99	c |     14674 |     220    18700   130900 | 2147483647    10889     61 |  0.002 % |
1.97/2.01	c |     14834 |     220    18700   130900 | 2147483647    11049     61 |  0.002 % |
1.97/2.05	c |     15011 |     220    18700   130900 | 2147483647    11226     61 |  0.002 % |
1.97/2.08	c |     15205 |     220    18700   130900 | 2147483647    11420     61 |  0.002 % |
2.08/2.12	c |     15417 |     220    18700   130900 | 2147483647    11632     61 |  0.002 % |
2.08/2.16	c |     15651 |     220    18700   130900 | 2147483647    11866     61 |  0.002 % |
2.17/2.20	c |     15907 |     220    18700   130900 | 2147483647    12122     61 |  0.002 % |
2.17/2.25	c |     16188 |     220    18700   130900 | 2147483647    12403     61 |  0.002 % |
2.27/2.30	c |     16497 |     220    18700   130900 | 2147483647    12712     61 |  0.002 % |
2.27/2.36	c |     16837 |     220    18700   130900 | 2147483647    13052     61 |  0.002 % |
2.27/2.38	c |     16937 |     220    18700   130900 | 2147483647    13152     61 |  0.002 % |
2.37/2.40	c |     17047 |     220    18700   130900 | 2147483647    13262     61 |  0.002 % |
2.37/2.43	c |     17168 |     220    18700   130900 | 2147483647    13383     61 |  0.002 % |
2.37/2.46	c |     17304 |     220    18700   130900 | 2147483647    13519     61 |  0.002 % |
2.37/2.49	c |     17450 |     220    18700   130900 | 2147483647    13665     61 |  0.002 % |
2.48/2.52	c |     17610 |     220    18700   130900 | 2147483647    13825     61 |  0.002 % |
2.48/2.55	c |     17788 |     220    18700   130900 | 2147483647    14003     61 |  0.002 % |
2.48/2.58	c |     17982 |     220    18700   130900 | 2147483647    14197     61 |  0.002 % |
2.58/2.63	c |     18195 |     220    18700   130900 | 2147483647    14410     61 |  0.002 % |
2.58/2.67	c |     18431 |     220    18700   130900 | 2147483647    14646     61 |  0.002 % |
2.67/2.72	c |     18688 |     220    18700   130900 | 2147483647    14903     61 |  0.002 % |
2.67/2.78	c |     18969 |     220    18700   130900 | 2147483647    15184     61 |  0.002 % |
2.77/2.84	c |     19278 |     220    18700   130900 | 2147483647    15493     61 |  0.002 % |
2.87/2.91	c |     19617 |     220    18700   130900 | 2147483647    15832     61 |  0.002 % |
2.87/2.99	c |     19989 |     220    18700   130900 | 2147483647    16204     61 |  0.002 % |
2.97/3.01	c |     20089 |     220    18700   130900 | 2147483647    16304     61 |  0.002 % |
2.97/3.04	c |     20200 |     220    18700   130900 | 2147483647    16415     61 |  0.002 % |
2.97/3.07	c |     20322 |     220    18700   130900 | 2147483647    16537     61 |  0.002 % |
3.07/3.10	c |     20456 |     220    18700   130900 | 2147483647    16671     61 |  0.002 % |
3.07/3.13	c |     20605 |     220    18700   130900 | 2147483647    16820     61 |  0.002 % |
3.07/3.17	c |     20765 |     220    18700   130900 | 2147483647    16980     61 |  0.002 % |
3.17/3.22	c |     20942 |     220    18700   130900 | 2147483647    17157     61 |  0.002 % |
3.17/3.26	c |     21137 |     220    18700   130900 | 2147483647    17352     61 |  0.002 % |
3.27/3.31	c |     21349 |     220    18700   130900 | 2147483647    17564     61 |  0.002 % |
3.27/3.36	c |     21582 |     220    18700   130900 | 2147483647    17797     61 |  0.002 % |
3.37/3.43	c |     21842 |     220    18700   130900 | 2147483647    18057     61 |  0.002 % |
3.47/3.51	c |     22123 |     220    18700   130900 | 2147483647    18338     61 |  0.002 % |
3.47/3.58	c |     22432 |     220    18700   130900 | 2147483647    18647     61 |  0.002 % |
3.57/3.66	c |     22772 |     220    18700   130900 | 2147483647    18987     61 |  0.002 % |
3.67/3.75	c |     23145 |     220    18700   130900 | 2147483647    19360     61 |  0.002 % |
3.77/3.85	c |     23554 |     220    18700   130900 | 2147483647    19769     61 |  0.002 % |
3.77/3.88	c |     23655 |     220    18700   130900 | 2147483647    19870     61 |  0.002 % |
3.88/3.90	c |     23765 |     220    18700   130900 | 2147483647    19980     61 |  0.002 % |
3.88/3.93	c |     23886 |     220    18700   130900 | 2147483647    20101     61 |  0.002 % |
3.88/3.97	c |     24021 |     220    18700   130900 | 2147483647    20236     61 |  0.002 % |
3.98/4.01	c |     24167 |     220    18700   130900 | 2147483647    20382     61 |  0.002 % |
3.98/4.06	c |     24330 |     220    18700   130900 | 2147483647    20545     61 |  0.002 % |
4.08/4.11	c |     24506 |     220    18700   130900 | 2147483647    20721     61 |  0.002 % |
4.08/4.16	c |     24700 |     220    18700   130900 | 2147483647    20915     61 |  0.002 % |
4.18/4.22	c |     24914 |     220    18700   130900 | 2147483647    21129     61 |  0.002 % |
4.18/4.28	c |     25148 |     220    18700   130900 | 2147483647    21363     61 |  0.002 % |
4.28/4.35	c |     25404 |     220    18700   130900 | 2147483647    21619     61 |  0.002 % |
4.38/4.42	c |     25686 |     220    18700   130900 | 2147483647    21901     61 |  0.002 % |
4.47/4.50	c |     25995 |     220    18700   130900 | 2147483647    22210     61 |  0.002 % |
4.47/4.59	c |     26336 |     220    18700   130900 | 2147483647    22551     61 |  0.002 % |
4.57/4.69	c |     26708 |     220    18700   130900 | 2147483647    22923     61 |  0.002 % |
4.77/4.80	c |     27118 |     220    18700   130900 | 2147483647    23333     61 |  0.002 % |
4.87/4.92	c |     27567 |     220    18700   130900 | 2147483647    23782     61 |  0.002 % |
4.87/4.96	c |     27670 |     220    18700   130900 | 2147483647    23885     61 |  0.002 % |
4.87/5.00	c |     27783 |     220    18700   130900 | 2147483647    23998     61 |  0.002 % |
4.97/5.04	c |     27905 |     220    18700   130900 | 2147483647    24120     61 |  0.002 % |
4.97/5.08	c |     28038 |     220    18700   130900 | 2147483647    24253     61 |  0.002 % |
5.07/5.14	c |     28186 |     220    18700   130900 | 2147483647    24401     61 |  0.002 % |
5.07/5.18	c |     28347 |     220    18700   130900 | 2147483647    24562     61 |  0.002 % |
5.17/5.24	c |     28525 |     220    18700   130900 | 2147483647    24740     61 |  0.002 % |
5.27/5.31	c |     28718 |     220    18700   130900 | 2147483647    24933     61 |  0.002 % |
5.27/5.38	c |     28930 |     220    18700   130900 | 2147483647    25145     61 |  0.002 % |
5.37/5.45	c |     29165 |     220    18700   130900 | 2147483647    25380     61 |  0.002 % |
5.47/5.52	c |     29423 |     220    18700   130900 | 2147483647    25638     61 |  0.002 % |
5.57/5.61	c |     29705 |     220    18700   130900 | 2147483647    25920     61 |  0.002 % |
5.67/5.70	c |     30014 |     220    18700   130900 | 2147483647    26229     61 |  0.002 % |
5.77/5.82	c |     30353 |     220    18700   130900 | 2147483647    26568     61 |  0.002 % |
5.87/5.94	c |     30725 |     220    18700   130900 | 2147483647    26940     61 |  0.002 % |
5.97/6.07	c |     31136 |     220    18700   130900 | 2147483647    27351     61 |  0.002 % |
6.17/6.22	c |     31585 |     220    18700   130900 | 2147483647    27800     61 |  0.002 % |
6.37/6.41	c |     32079 |     220    18700   130900 | 2147483647    28294     61 |  0.002 % |
6.37/6.46	c |     32179 |     220    18700   130900 | 2147483647    28394     61 |  0.002 % |
6.37/6.50	c |     32291 |     220    18700   130900 | 2147483647    28506     61 |  0.002 % |
6.47/6.54	c |     32413 |     220    18700   130900 | 2147483647    28628     61 |  0.002 % |
6.47/6.58	c |     32546 |     220    18700   130900 | 2147483647    28761     61 |  0.002 % |
6.57/6.65	c |     32694 |     220    18700   130900 | 2147483647    28909     61 |  0.002 % |
6.57/6.70	c |     32855 |     220    18700   130900 | 2147483647    29070     61 |  0.002 % |
6.67/6.77	c |     33031 |     220    18700   130900 | 2147483647    29246     61 |  0.002 % |
6.77/6.85	c |     33225 |     220    18700   130900 | 2147483647    29440     61 |  0.002 % |
6.87/6.94	c |     33437 |     220    18700   130900 | 2147483647    29652     61 |  0.002 % |
6.97/7.03	c |     33670 |     220    18700   130900 | 2147483647    29885     61 |  0.002 % |
7.07/7.13	c |     33926 |     220    18700   130900 | 2147483647    30141     61 |  0.002 % |
7.16/7.23	c |     34207 |     220    18700   130900 | 2147483647    30422     61 |  0.002 % |
7.26/7.34	c |     34517 |     220    18700   130900 | 2147483647    30732     61 |  0.002 % |
7.36/7.47	c |     34856 |     220    18700   130900 | 2147483647    31071     61 |  0.002 % |
7.57/7.61	c |     35229 |     220    18700   130900 | 2147483647    31444     61 |  0.002 % |
7.67/7.78	c |     35638 |     220    18700   130900 | 2147483647    31853     61 |  0.002 % |
7.86/7.95	c |     36087 |     220    18700   130900 | 2147483647    32302     61 |  0.002 % |
8.06/8.13	c |     36580 |     220    18700   130900 | 2147483647    32795     61 |  0.002 % |
8.26/8.37	c |     37122 |     220    18700   130900 | 2147483647    33337     62 |  0.002 % |
8.36/8.41	c |     37222 |     220    18700   130900 | 2147483647    33437     62 |  0.002 % |
8.36/8.46	c |     37332 |     220    18700   130900 | 2147483647    33547     62 |  0.002 % |
8.46/8.51	c |     37455 |     220    18700   130900 | 2147483647    33670     62 |  0.002 % |
8.46/8.57	c |     37588 |     220    18700   130900 | 2147483647    33803     62 |  0.002 % |
8.56/8.64	c |     37734 |     220    18700   130900 | 2147483647    33949     62 |  0.002 % |
8.67/8.71	c |     37895 |     220    18700   130900 | 2147483647    34110     62 |  0.002 % |
8.67/8.78	c |     38071 |     220    18700   130900 | 2147483647    34286     62 |  0.002 % |
8.77/8.87	c |     38264 |     220    18700   130900 | 2147483647    34479     62 |  0.002 % |
8.86/8.96	c |     38477 |     220    18700   130900 | 2147483647    34692     62 |  0.002 % |
8.96/9.05	c |     38710 |     220    18700   130900 | 2147483647    34925     62 |  0.002 % |
9.06/9.17	c |     38966 |     220    18700   130900 | 2147483647    35181     62 |  0.002 % |
9.16/9.28	c |     39249 |     220    18700   130900 | 2147483647    35464     62 |  0.002 % |
9.26/9.39	c |     39563 |     220    18700   130900 | 2147483647    35778     62 |  0.002 % |
9.46/9.56	c |     39904 |     220    18700   130900 | 2147483647    36119     62 |  0.002 % |
9.66/9.71	c |     40276 |     220    18700   130900 | 2147483647    36491     62 |  0.002 % |
9.77/9.90	c |     40687 |     220    18700   130900 | 2147483647    36902     62 |  0.002 % |
10.06/10.10	c |     41137 |     220    18700   130900 | 2147483647    37352     62 |  0.002 % |
10.26/10.30	c |     41631 |     220    18700   130900 | 2147483647    37846     62 |  0.002 % |
10.46/10.54	c |     42173 |     220    18700   130900 | 2147483647    38388     62 |  0.002 % |
10.76/10.81	c |     42771 |     220    18700   130900 | 2147483647    38986     62 |  0.002 % |
10.76/10.85	c |     42871 |     220    18700   130900 | 2147483647    39086     62 |  0.002 % |
10.76/10.90	c |     42984 |     220    18700   130900 | 2147483647    39199     62 |  0.002 % |
10.86/10.96	c |     43105 |     220    18700   130900 | 2147483647    39320     62 |  0.002 % |
10.96/11.01	c |     43238 |     220    18700   130900 | 2147483647    39453     62 |  0.002 % |
10.96/11.08	c |     43385 |     220    18700   130900 | 2147483647    39600     62 |  0.002 % |
11.06/11.16	c |     43546 |     220    18700   130900 | 2147483647    39761     62 |  0.002 % |
11.16/11.27	c |     43723 |     220    18700   130900 | 2147483647    39938     62 |  0.002 % |
11.26/11.38	c |     43916 |     220    18700   130900 | 2147483647    40131     62 |  0.002 % |
11.36/11.48	c |     44129 |     220    18700   130900 | 2147483647    40344     62 |  0.002 % |
11.46/11.60	c |     44362 |     220    18700   130900 | 2147483647    40577     62 |  0.002 % |
11.66/11.72	c |     44619 |     220    18700   130900 | 2147483647    40834     62 |  0.002 % |
11.76/11.85	c |     44900 |     220    18700   130900 | 2147483647    41115     62 |  0.002 % |
11.86/11.99	c |     45209 |     220    18700   130900 | 2147483647    41424     62 |  0.002 % |
12.06/12.15	c |     45548 |     220    18700   130900 | 2147483647    41763     62 |  0.002 % |
12.26/12.36	c |     45925 |     220    18700   130900 | 2147483647    42140     62 |  0.002 % |
12.46/12.57	c |     46335 |     220    18700   130900 | 2147483647    42550     62 |  0.002 % |
12.66/12.79	c |     46784 |     220    18700   130900 | 2147483647    42999     62 |  0.002 % |
12.96/13.02	c |     47277 |     220    18700   130900 | 2147483647    43492     62 |  0.002 % |
13.17/13.27	c |     47820 |     220    18700   130900 | 2147483647    44035     62 |  0.002 % |
13.46/13.54	c |     48416 |     220    18700   130900 | 2147483647    44631     62 |  0.002 % |
13.76/13.85	c |     49073 |     220    18700   130900 | 2147483647    45288     62 |  0.002 % |
13.86/13.93	c |     49175 |     220    18700   130900 | 2147483647    45390     62 |  0.002 % |
13.86/14.00	c |     49285 |     220    18700   130900 | 2147483647    45500     62 |  0.002 % |
13.96/14.07	c |     49406 |     220    18700   130900 | 2147483647    45621     62 |  0.002 % |
14.06/14.15	c |     49539 |     220    18700   130900 | 2147483647    45754     62 |  0.002 % |
14.16/14.24	c |     49685 |     220    18700   130900 | 2147483647    45900     62 |  0.002 % |
14.26/14.34	c |     49846 |     220    18700   130900 | 2147483647    46061     62 |  0.002 % |
14.36/14.43	c |     50023 |     220    18700   130900 | 2147483647    46238     62 |  0.002 % |
14.46/14.56	c |     50217 |     220    18700   130900 | 2147483647    46432     62 |  0.002 % |
14.56/14.66	c |     50430 |     220    18700   130900 | 2147483647    46645     62 |  0.002 % |
14.66/14.80	c |     50663 |     220    18700   130900 | 2147483647    46878     62 |  0.002 % |
14.85/14.93	c |     50919 |     220    18700   130900 | 2147483647    47134     62 |  0.002 % |
14.95/15.08	c |     51202 |     220    18700   130900 | 2147483647    47417     62 |  0.002 % |
15.15/15.25	c |     51511 |     220    18700   130900 | 2147483647    47726     62 |  0.002 % |
15.36/15.46	c |     51851 |     220    18700   130900 | 2147483647    48066     62 |  0.002 % |
15.55/15.66	c |     52224 |     220    18700   130900 | 2147483647    48439     62 |  0.002 % |
15.85/15.90	c |     52635 |     220    18700   130900 | 2147483647    48850     62 |  0.002 % |
16.05/16.14	c |     53084 |     220    18700   130900 | 2147483647    49299     62 |  0.002 % |
16.35/16.45	c |     53579 |     220    18700   130900 | 2147483647    49794     62 |  0.002 % |
16.65/16.74	c |     54123 |     220    18700   130900 | 2147483647    50338     62 |  0.002 % |
16.96/17.09	c |     54719 |     220    18700   130900 | 2147483647    50934     62 |  0.002 % |
17.36/17.46	c |     55375 |     220    18700   130900 | 2147483647    51590     62 |  0.002 % |
17.76/17.84	c |     56095 |     220    18700   130900 | 2147483647    52310     62 |  0.002 % |
17.86/17.91	c |     56195 |     220    18700   130900 | 2147483647    52410     62 |  0.002 % |
17.86/17.98	c |     56305 |     220    18700   130900 | 2147483647    52520     62 |  0.002 % |
17.96/18.05	c |     56428 |     220    18700   130900 | 2147483647    52643     62 |  0.002 % |
18.06/18.14	c |     56561 |     220    18700   130900 | 2147483647    52776     62 |  0.002 % |
18.16/18.26	c |     56709 |     220    18700   130900 | 2147483647    52924     62 |  0.002 % |
18.26/18.39	c |     56869 |     220    18700   130900 | 2147483647    53084     62 |  0.002 % |
18.46/18.50	c |     57045 |     220    18700   130900 | 2147483647    53260     62 |  0.002 % |
18.56/18.66	c |     57239 |     220    18700   130900 | 2147483647    53454     62 |  0.002 % |
18.76/18.80	c |     57451 |     220    18700   130900 | 2147483647    53666     62 |  0.002 % |
18.86/18.95	c |     57684 |     220    18700   130900 | 2147483647    53899     62 |  0.002 % |
19.06/19.10	c |     57943 |     220    18700   130900 | 2147483647    54158     62 |  0.002 % |
19.16/19.27	c |     58224 |     220    18700   130900 | 2147483647    54439     62 |  0.002 % |
19.36/19.45	c |     58533 |     220    18700   130900 | 2147483647    54748     62 |  0.002 % |
19.66/19.72	c |     58873 |     220    18700   130900 | 2147483647    55088     62 |  0.002 % |
19.85/19.97	c |     59246 |     220    18700   130900 | 2147483647    55461     62 |  0.002 % |
20.15/20.24	c |     59656 |     220    18700   130900 | 2147483647    55871     62 |  0.002 % |
20.45/20.51	c |     60105 |     220    18700   130900 | 2147483647    56320     62 |  0.002 % |
20.65/20.79	c |     60598 |     220    18700   130900 | 2147483647    56813     62 |  0.002 % |
21.05/21.16	c |     61141 |     220    18700   130900 | 2147483647    57356     62 |  0.002 % |
21.45/21.58	c |     61737 |     220    18700   130900 | 2147483647    57952     62 |  0.002 % |
21.85/21.98	c |     62393 |     220    18700   130900 | 2147483647    58608     62 |  0.002 % |
22.35/22.45	c |     63114 |     220    18700   130900 | 2147483647    59329     62 |  0.002 % |
22.85/22.93	c |     63906 |     220    18700   130900 | 2147483647    60121     62 |  0.002 % |
22.85/22.99	c |     64007 |     220    18700   130900 | 2147483647    60222     62 |  0.002 % |
23.05/23.11	c |     64117 |     220    18700   130900 | 2147483647    60332     62 |  0.002 % |
23.05/23.19	c |     64239 |     220    18700   130900 | 2147483647    60454     62 |  0.002 % |
23.15/23.29	c |     64373 |     220    18700   130900 | 2147483647    60588     62 |  0.002 % |
23.25/23.40	c |     64519 |     220    18700   130900 | 2147483647    60734     62 |  0.002 % |
23.45/23.52	c |     64679 |     220    18700   130900 | 2147483647    60894     62 |  0.002 % |
23.55/23.66	c |     64855 |     220    18700   130900 | 2147483647    61070     62 |  0.002 % |
23.75/23.82	c |     65048 |     220    18700   130900 | 2147483647    61263     62 |  0.002 % |
23.85/23.98	c |     65260 |     220    18700   130900 | 2147483647    61475     62 |  0.002 % |
24.05/24.14	c |     65493 |     220    18700   130900 | 2147483647    61708     62 |  0.002 % |
24.24/24.32	c |     65750 |     220    18700   130900 | 2147483647    61965     62 |  0.002 % |
24.44/24.52	c |     66031 |     220    18700   130900 | 2147483647    62246     62 |  0.002 % |
24.64/24.78	c |     66341 |     220    18700   130900 | 2147483647    62556     62 |  0.002 % |
24.94/25.05	c |     66682 |     220    18700   130900 | 2147483647    62897     62 |  0.002 % |
25.25/25.33	c |     67054 |     220    18700   130900 | 2147483647    63269     62 |  0.002 % |
25.64/25.70	c |     67464 |     220    18700   130900 | 2147483647    63679     62 |  0.002 % |
25.94/26.05	c |     67914 |     220    18700   130900 | 2147483647    64129     62 |  0.002 % |
26.35/26.45	c |     68411 |     220    18700   130900 | 2147483647    64626     62 |  0.002 % |
26.74/26.83	c |     68954 |     220    18700   130900 | 2147483647    65169     62 |  0.002 % |
27.14/27.24	c |     69550 |     220    18700   130900 | 2147483647    65765     62 |  0.002 % |
27.64/27.79	c |     70207 |     220    18700   130900 | 2147483647    66422     62 |  0.002 % |
28.15/28.29	c |     70929 |     220    18700   130900 | 2147483647    67144     62 |  0.002 % |
28.75/28.87	c |     71722 |     220    18700   130900 | 2147483647    67937     62 |  0.002 % |
29.45/29.52	c |     72594 |     220    18700   130900 | 2147483647    68809     62 |  0.002 % |
29.55/29.63	c |     72695 |     220    18700   130900 | 2147483647    68910     62 |  0.002 % |
29.65/29.73	c |     72806 |     220    18700   130900 | 2147483647    69021     62 |  0.002 % |
29.75/29.84	c |     72928 |     220    18700   130900 | 2147483647    69143     62 |  0.002 % |
29.85/29.95	c |     73061 |     220    18700   130900 | 2147483647    69276     62 |  0.002 % |
30.05/30.10	c |     73208 |     220    18700   130900 | 2147483647    69423     62 |  0.002 % |
30.15/30.22	c |     73368 |     220    18700   130900 | 2147483647    69583     62 |  0.002 % |
30.25/30.38	c |     73545 |     220    18700   130900 | 2147483647    69760     62 |  0.002 % |
30.45/30.56	c |     73738 |     220    18700   130900 | 2147483647    69953     62 |  0.002 % |
30.65/30.76	c |     73953 |     220    18700   130900 | 2147483647    70168     62 |  0.002 % |
30.85/30.96	c |     74188 |     220    18700   130900 | 2147483647    70403     62 |  0.002 % |
31.05/31.18	c |     74446 |     220    18700   130900 | 2147483647    70661     62 |  0.002 % |
31.35/31.42	c |     74727 |     220    18700   130900 | 2147483647    70942     62 |  0.002 % |
31.55/31.66	c |     75036 |     220    18700   130900 | 2147483647    71251     62 |  0.002 % |
31.85/31.99	c |     75377 |     220    18700   130900 | 2147483647    71592     62 |  0.002 % |
32.25/32.34	c |     75750 |     220    18700   130900 | 2147483647    71965     62 |  0.002 % |
32.65/32.70	c |     76160 |     220    18700   130900 | 2147483647    72375     62 |  0.002 % |
32.95/33.07	c |     76609 |     220    18700   130900 | 2147483647    72824     62 |  0.002 % |
33.35/33.47	c |     77103 |     220    18700   130900 | 2147483647    73318     62 |  0.002 % |
33.74/33.87	c |     77645 |     220    18700   130900 | 2147483647    73860     62 |  0.002 % |
34.25/34.36	c |     78241 |     220    18700   130900 | 2147483647    74456     62 |  0.002 % |
34.85/34.91	c |     78896 |     220    18700   130900 | 2147483647    75111     62 |  0.002 % |
35.35/35.48	c |     79617 |     220    18700   130900 | 2147483647    75832     62 |  0.002 % |
35.94/36.07	c |     80409 |     220    18700   130900 | 2147483647    76624     62 |  0.002 % |
36.64/36.75	c |     81281 |     220    18700   130900 | 2147483647    77496     62 |  0.002 % |
37.44/37.57	c |     82240 |     220    18700   130900 | 2147483647    78455     62 |  0.002 % |
37.54/37.65	c |     82340 |     220    18700   130900 | 2147483647    78555     62 |  0.002 % |
37.64/37.75	c |     82453 |     220    18700   130900 | 2147483647    78668     62 |  0.002 % |
37.74/37.87	c |     82574 |     220    18700   130900 | 2147483647    78789     62 |  0.002 % |
37.94/38.05	c |     82708 |     220    18700   130900 | 2147483647    78923     62 |  0.002 % |
38.14/38.22	c |     82855 |     220    18700   130900 | 2147483647    79070     62 |  0.002 % |
38.24/38.39	c |     83015 |     220    18700   130900 | 2147483647    79230     62 |  0.002 % |
38.45/38.59	c |     83191 |     220    18700   130900 | 2147483647    79406     62 |  0.002 % |
38.64/38.77	c |     83384 |     220    18700   130900 | 2147483647    79599     62 |  0.002 % |
38.84/38.97	c |     83597 |     220    18700   130900 | 2147483647    79812     62 |  0.002 % |
39.14/39.23	c |     83830 |     220    18700   130900 | 2147483647    80045     62 |  0.002 % |
39.34/39.48	c |     84087 |     220    18700   130900 | 2147483647    80302     62 |  0.002 % |
39.64/39.77	c |     84370 |     220    18700   130900 | 2147483647    80585     62 |  0.002 % |
39.94/40.09	c |     84679 |     220    18700   130900 | 2147483647    80894     62 |  0.002 % |
40.24/40.38	c |     85018 |     220    18700   130900 | 2147483647    81233     62 |  0.002 % |
40.64/40.78	c |     85390 |     220    18700   130900 | 2147483647    81605     62 |  0.002 % |
41.04/41.18	c |     85801 |     220    18700   130900 | 2147483647    82016     62 |  0.002 % |
41.44/41.59	c |     86252 |     220    18700   130900 | 2147483647    82467     62 |  0.002 % |
41.94/42.03	c |     86745 |     220    18700   130900 | 2147483647    82960     62 |  0.002 % |
42.44/42.53	c |     87289 |     220    18700   130900 | 2147483647    83504     62 |  0.002 % |
42.94/43.05	c |     87887 |     220    18700   130900 | 2147483647    84102     62 |  0.002 % |
43.64/43.70	c |     88544 |     220    18700   130900 | 2147483647    84759     62 |  0.002 % |
44.33/44.41	c |     89265 |     220    18700   130900 | 2147483647    85480     62 |  0.002 % |
45.13/45.22	c |     90057 |     220    18700   130900 |    86215    86272     62 |  0.002 % |
46.04/46.13	c |     90930 |     220    18700   130900 |    86215    75210     62 |  0.002 % |
46.83/46.99	c |     91888 |     220    18700   130900 |    86215    76168     62 |  0.002 % |
47.73/47.85	c |     92941 |     220    18700   130900 |    86215    77221     62 |  0.002 % |
47.83/47.94	c |     93044 |     220    18700   130900 |    86215    77324     62 |  0.002 % |
47.93/48.08	c |     93156 |     220    18700   130900 |    86215    77436     62 |  0.002 % |
48.13/48.20	c |     93278 |     220    18700   130900 |    86215    77558     62 |  0.002 % |
48.23/48.32	c |     93411 |     220    18700   130900 |    86215    77691     62 |  0.002 % |
48.33/48.47	c |     93562 |     220    18700   130900 |    86215    77842     62 |  0.002 % |
48.53/48.65	c |     93725 |     220    18700   130900 |    86215    78005     62 |  0.002 % |
48.73/48.82	c |     93901 |     220    18700   130900 |    86215    78181     62 |  0.002 % |
48.93/49.02	c |     94094 |     220    18700   130900 |    86215    78374     62 |  0.002 % |
49.13/49.24	c |     94306 |     220    18700   130900 |    86215    78586     62 |  0.002 % |
49.33/49.46	c |     94541 |     220    18700   130900 |    86215    78821     62 |  0.002 % |
49.63/49.72	c |     94799 |     220    18700   130900 |    86215    79079     62 |  0.002 % |
49.83/49.96	c |     95081 |     220    18700   130900 |    86215    79361     62 |  0.002 % |
50.13/50.30	c |     95391 |     220    18700   130900 |    86215    79671     62 |  0.002 % |
50.53/50.67	c |     95730 |     220    18700   130900 |    86215    80010     62 |  0.002 % |
50.93/51.02	c |     96102 |     220    18700   130900 |    86215    80382     62 |  0.002 % |
51.23/51.33	c |     96511 |     220    18700   130900 |    86215    80791     62 |  0.002 % |
51.73/51.81	c |     96960 |     220    18700   130900 |    86215    81240     62 |  0.002 % |
52.13/52.26	c |     97453 |     220    18700   130900 |    86215    81733     62 |  0.002 % |
52.63/52.74	c |     97995 |     220    18700   130900 |    86215    82275     62 |  0.002 % |
53.13/53.24	c |     98593 |     220    18700   130900 |    86215    82873     62 |  0.002 % |
53.83/53.92	c |     99248 |     220    18700   130900 |    86215    83528     62 |  0.002 % |
54.53/54.60	c |     99968 |     220    18700   130900 |    86215    84248     62 |  0.002 % |
55.13/55.29	c |    100761 |     220    18700   130900 |    84281    72658     62 |  0.002 % |
55.83/55.98	c |    101634 |     220    18700   130900 |    84281    73531     62 |  0.002 % |
56.53/56.64	c |    102592 |     220    18700   130900 |    84281    74489     62 |  0.002 % |
57.53/57.63	c |    103646 |     220    18700   130900 |    84281    75543     62 |  0.002 % |
58.43/58.54	c |    104804 |     220    18700   130900 |    84281    76701     62 |  0.002 % |
58.53/58.62	c |    104906 |     220    18700   130900 |    84281    76803     62 |  0.002 % |
58.63/58.71	c |    105017 |     220    18700   130900 |    84281    76914     62 |  0.002 % |
58.73/58.85	c |    105138 |     220    18700   130900 |    84281    77035     62 |  0.002 % |
58.83/58.98	c |    105272 |     220    18700   130900 |    84281    77169     62 |  0.002 % |
59.03/59.12	c |    105419 |     220    18700   130900 |    84281    77316     62 |  0.002 % |
59.13/59.26	c |    105579 |     220    18700   130900 |    84281    77476     62 |  0.002 % |
59.33/59.47	c |    105756 |     220    18700   130900 |    84281    77653     62 |  0.002 % |
59.52/59.65	c |    105949 |     220    18700   130900 |    84281    77846     62 |  0.002 % |
59.72/59.85	c |    106161 |     220    18700   130900 |    84281    78058     62 |  0.002 % |
59.92/60.06	c |    106395 |     220    18700   130900 |    84281    78292     62 |  0.002 % |
60.12/60.29	c |    106653 |     220    18700   130900 |    84281    78550     62 |  0.002 % |
60.43/60.51	c |    106934 |     220    18700   130900 |    84281    78831     62 |  0.002 % |
60.62/60.75	c |    107243 |     220    18700   130900 |    84281    79140     62 |  0.002 % |
60.92/61.03	c |    107583 |     220    18700   130900 |    84281    79480     62 |  0.002 % |
61.32/61.43	c |    107955 |     220    18700   130900 |    84281    79852     62 |  0.002 % |
61.72/61.81	c |    108366 |     220    18700   130900 |    84281    80263     62 |  0.002 % |
62.12/62.23	c |    108815 |     220    18700   130900 |    84281    80712     62 |  0.002 % |
62.53/62.63	c |    109308 |     220    18700   130900 |    84281    81205     62 |  0.002 % |
63.02/63.10	c |    109850 |     220    18700   130900 |    84281    81747     62 |  0.002 % |
63.52/63.64	c |    110446 |     220    18700   130900 |    81900    71154     62 |  0.002 % |
64.02/64.12	c |    111103 |     220    18700   130900 |    81900    71811     62 |  0.002 % |
64.52/64.61	c |    111826 |     220    18700   130900 |    81900    72534     62 |  0.002 % |
65.12/65.20	c |    112619 |     220    18700   130900 |    81900    73327     62 |  0.002 % |
65.72/65.85	c |    113490 |     220    18700   130900 |    81900    74198     62 |  0.002 % |
66.42/66.59	c |    114448 |     220    18700   130900 |    81900    75156     62 |  0.002 % |
67.22/67.39	c |    115501 |     220    18700   130900 |    81900    76209     62 |  0.002 % |
68.42/68.52	c |    116659 |     220    18700   130900 |    81900    77367     62 |  0.002 % |
69.52/69.66	c |    117934 |     220    18700   130900 |    81900    78642     62 |  0.002 % |
69.62/69.75	c |    118035 |     220    18700   130900 |    81900    78743     62 |  0.002 % |
69.72/69.89	c |    118146 |     220    18700   130900 |    81900    78854     62 |  0.002 % |
69.92/70.00	c |    118267 |     220    18700   130900 |    81900    78975     62 |  0.002 % |
70.02/70.11	c |    118400 |     220    18700   130900 |    81900    79108     62 |  0.002 % |
70.12/70.24	c |    118546 |     220    18700   130900 |    81900    79254     62 |  0.002 % |
70.32/70.43	c |    118706 |     220    18700   130900 |    81900    79414     62 |  0.002 % |
70.41/70.58	c |    118882 |     220    18700   130900 |    81900    79590     62 |  0.002 % |
70.61/70.79	c |    119075 |     220    18700   130900 |    81900    79783     62 |  0.002 % |
70.91/71.05	c |    119287 |     220    18700   130900 |    81900    79995     62 |  0.002 % |
71.11/71.24	c |    119520 |     220    18700   130900 |    81900    80228     62 |  0.002 % |
71.42/71.53	c |    119777 |     220    18700   130900 |    81900    80485     62 |  0.002 % |
71.61/71.79	c |    120059 |     220    18700   130900 |    80710    80767     62 |  0.002 % |
72.01/72.14	c |    120368 |     220    18700   130900 |    80710    71285     62 |  0.002 % |
72.31/72.44	c |    120708 |     220    18700   130900 |    80710    71625     62 |  0.002 % |
72.61/72.73	c |    121080 |     220    18700   130900 |    80710    71997     62 |  0.002 % |
73.01/73.10	c |    121489 |     220    18700   130900 |    80710    72406     62 |  0.002 % |
73.31/73.48	c |    121938 |     220    18700   130900 |    80710    72855     62 |  0.002 % |
73.71/73.85	c |    122433 |     220    18700   130900 |    80710    73350     62 |  0.002 % |
74.11/74.28	c |    122976 |     220    18700   130900 |    80710    73893     62 |  0.002 % |
74.61/74.77	c |    123573 |     220    18700   130900 |    80710    74490     62 |  0.002 % |
75.21/75.38	c |    124228 |     220    18700   130900 |    80710    75145     62 |  0.002 % |
75.82/75.92	c |    124949 |     220    18700   130900 |    80710    75866     62 |  0.002 % |
76.41/76.60	c |    125743 |     220    18700   130900 |    80710    76660     62 |  0.002 % |
77.11/77.27	c |    126614 |     220    18700   130900 |    80710    77531     62 |  0.002 % |
77.81/78.00	c |    127572 |     220    18700   130900 |    80710    78489     62 |  0.002 % |
78.91/79.09	c |    128626 |     220    18700   130900 |    80710    79543     62 |  0.002 % |
80.01/80.14	c |    129786 |     220    18700   130900 |    80710    80703     62 |  0.002 % |
81.01/81.16	c |    131059 |     220    18700   130900 |    71757    64710     62 |  0.002 % |
82.21/82.31	c |    132460 |     220    18700   130900 |    71757    66111     62 |  0.002 % |
82.31/82.40	c |    132561 |     220    18700   130900 |    71757    66212     62 |  0.002 % |
82.41/82.51	c |    132673 |     220    18700   130900 |    71757    66324     62 |  0.002 % |
82.51/82.60	c |    132795 |     220    18700   130900 |    71757    66446     62 |  0.002 % |
82.51/82.69	c |    132930 |     220    18700   130900 |    71757    66581     62 |  0.002 % |
82.71/82.81	c |    133076 |     220    18700   130900 |    71757    66727     62 |  0.002 % |
82.81/82.96	c |    133237 |     220    18700   130900 |    71757    66888     62 |  0.002 % |
82.91/83.09	c |    133418 |     220    18700   130900 |    71757    67069     62 |  0.002 % |
83.11/83.28	c |    133613 |     220    18700   130900 |    71757    67264     62 |  0.002 % |
83.31/83.43	c |    133826 |     220    18700   130900 |    71757    67477     62 |  0.002 % |
83.51/83.60	c |    134059 |     220    18700   130900 |    71757    67710     62 |  0.002 % |
83.71/83.82	c |    134317 |     220    18700   130900 |    71757    67968     62 |  0.002 % |
83.91/84.04	c |    134602 |     220    18700   130900 |    71757    68253     62 |  0.002 % |
84.11/84.26	c |    134911 |     220    18700   130900 |    71757    68562     62 |  0.002 % |
84.41/84.53	c |    135250 |     220    18700   130900 |    71757    68901     62 |  0.002 % |
84.71/84.83	c |    135625 |     220    18700   130900 |    71757    69276     62 |  0.002 % |
85.01/85.13	c |    136035 |     220    18700   130900 |    71757    69686     62 |  0.002 % |
85.41/85.55	c |    136485 |     220    18700   130900 |    71757    70136     62 |  0.002 % |
85.81/85.94	c |    136978 |     220    18700   130900 |    71757    70629     62 |  0.002 % |
86.21/86.37	c |    137520 |     220    18700   130900 |    71757    71171     62 |  0.002 % |
86.71/86.89	c |    138116 |     220    18700   130900 |    71757    71767     62 |  0.002 % |
87.30/87.42	c |    138771 |     220    18700   130900 |    71757    65246     62 |  0.002 % |
87.81/87.91	c |    139491 |     220    18700   130900 |    71757    65966     62 |  0.002 % |
88.30/88.46	c |    140285 |     220    18700   130900 | 2147483647    66760     62 |  0.002 % |
88.91/89.02	c |    141158 |     220    18700   130900 | 2147483647    67633     62 |  0.002 % |
89.50/89.68	c |    142116 |     220    18700   130900 | 2147483647    68591     62 |  0.002 % |
90.20/90.37	c |    143171 |     220    18700   130900 | 2147483647    69646     62 |  0.002 % |
91.00/91.19	c |    144331 |     220    18700   130900 | 2147483647    70806     62 |  0.002 % |
91.90/92.07	c |    145604 |     220    18700   130900 | 2147483647    72079     62 |  0.002 % |
92.90/93.08	c |    147006 |     220    18700   130900 | 2147483647    73481     62 |  0.002 % |
94.30/94.44	c |    148546 |     220    18700   130900 | 2147483647    75021     62 |  0.002 % |
94.41/94.54	c |    148646 |     220    18700   130900 | 2147483647    75121     62 |  0.002 % |
94.51/94.65	c |    148758 |     220    18700   130900 | 2147483647    75233     62 |  0.002 % |
94.60/94.76	c |    148881 |     220    18700   130900 | 2147483647    75356     62 |  0.002 % |
94.70/94.88	c |    149014 |     220    18700   130900 | 2147483647    75489     62 |  0.002 % |
94.90/95.05	c |    149160 |     220    18700   130900 | 2147483647    75635     62 |  0.002 % |
95.10/95.21	c |    149320 |     220    18700   130900 | 2147483647    75795     62 |  0.002 % |
95.20/95.37	c |    149496 |     220    18700   130900 | 2147483647    75971     62 |  0.002 % |
95.40/95.56	c |    149689 |     220    18700   130900 | 2147483647    76164     62 |  0.002 % |
95.61/95.75	c |    149902 |     220    18700   130900 | 2147483647    76377     62 |  0.002 % |
95.80/95.93	c |    150135 |     220    18700   130900 | 2147483647    76610     62 |  0.002 % |
96.00/96.12	c |    150391 |     220    18700   130900 | 2147483647    76866     62 |  0.002 % |
96.20/96.33	c |    150674 |     220    18700   130900 | 2147483647    77149     62 |  0.002 % |
96.40/96.56	c |    150984 |     220    18700   130900 | 2147483647    77459     62 |  0.002 % |
96.71/96.82	c |    151325 |     220    18700   130900 | 2147483647    77800     62 |  0.002 % |
97.00/97.14	c |    151698 |     220    18700   130900 | 2147483647    78173     62 |  0.002 % |
97.30/97.43	c |    152108 |     220    18700   130900 | 2147483647    78583     62 |  0.002 % |
97.60/97.80	c |    152557 |     220    18700   130900 | 2147483647    79032     62 |  0.002 % |
98.10/98.28	c |    153052 |     220    18700   130900 | 2147483647    79527     62 |  0.002 % |
98.70/98.80	c |    153595 |     220    18700   130900 | 2147483647    80070     62 |  0.002 % |
99.20/99.37	c |    154191 |     220    18700   130900 | 2147483647    80666     62 |  0.002 % |
99.80/99.97	c |    154846 |     220    18700   130900 | 2147483647    81321     62 |  0.002 % |
100.50/100.62	c |    155566 |     220    18700   130900 | 2147483647    82041     62 |  0.002 % |
101.30/101.41	c |    156358 |     220    18700   130900 | 2147483647    82833     62 |  0.002 % |
102.00/102.18	c |    157229 |     220    18700   130900 | 2147483647    83704     62 |  0.002 % |
102.91/103.01	c |    158187 |     220    18700   130900 | 2147483647    84662     62 |  0.002 % |
103.91/104.00	c |    159240 |     220    18700   130900 | 2147483647    85715     62 |  0.002 % |
104.90/105.08	c |    160399 |     220    18700   130900 |    86477    75515     62 |  0.002 % |
105.90/106.07	c |    161673 |     220    18700   130900 |    86477    76789     62 |  0.002 % |
107.00/107.16	c |    163073 |     220    18700   130900 |    86477    78189     62 |  0.002 % |
108.40/108.54	c |    164614 |     220    18700   130900 |    86477    79730     62 |  0.002 % |
109.80/109.90	c |    166309 |     220    18700   130900 |    86477    81425     62 |  0.002 % |
109.80/110.00	c |    166409 |     220    18700   130900 |    86477    81525     62 |  0.002 % |
110.00/110.11	c |    166520 |     220    18700   130900 |    86477    81636     62 |  0.002 % |
110.10/110.26	c |    166641 |     220    18700   130900 |    86477    81757     62 |  0.002 % |
110.20/110.39	c |    166774 |     220    18700   130900 |    86477    81890     62 |  0.002 % |
110.40/110.53	c |    166923 |     220    18700   130900 |    86477    82039     62 |  0.002 % |
110.50/110.69	c |    167083 |     220    18700   130900 |    86477    82199     62 |  0.002 % |
110.80/110.91	c |    167259 |     220    18700   130900 |    86477    82375     62 |  0.002 % |
111.00/111.12	c |    167452 |     220    18700   130900 |    86477    82568     62 |  0.002 % |
111.20/111.32	c |    167665 |     220    18700   130900 |    86477    82781     62 |  0.002 % |
111.40/111.52	c |    167898 |     220    18700   130900 |    86477    83014     62 |  0.002 % |
111.60/111.76	c |    168154 |     220    18700   130900 |    86477    83270     62 |  0.002 % |
111.90/112.01	c |    168435 |     220    18700   130900 |    86477    83551     62 |  0.002 % |
112.10/112.29	c |    168746 |     220    18700   130900 |    86477    83862     62 |  0.002 % |
112.40/112.59	c |    169085 |     220    18700   130900 |    86477    84201     62 |  0.002 % |
112.89/113.01	c |    169457 |     220    18700   130900 |    86477    84573     62 |  0.002 % |
113.29/113.42	c |    169868 |     220    18700   130900 |    86477    84984     62 |  0.002 % |
113.79/113.90	c |    170317 |     220    18700   130900 |    85117    73499     62 |  0.002 % |
114.20/114.30	c |    170811 |     220    18700   130900 |    85117    73993     62 |  0.002 % |
114.59/114.74	c |    171353 |     220    18700   130900 |    85117    74535     62 |  0.002 % |
114.99/115.19	c |    171950 |     220    18700   130900 |    85117    75132     62 |  0.002 % |
115.59/115.71	c |    172605 |     220    18700   130900 |    85117    75787     62 |  0.002 % |
116.09/116.25	c |    173325 |     220    18700   130900 |    85117    76507     62 |  0.002 % |
116.69/116.83	c |    174117 |     220    18700   130900 |    85117    77299     62 |  0.002 % |
117.29/117.50	c |    174988 |     220    18700   130900 |    85117    78170     62 |  0.002 % |
118.09/118.20	c |    175946 |     220    18700   130900 |    85117    79128     62 |  0.002 % |
118.89/119.00	c |    177000 |     220    18700   130900 |    85117    80182     62 |  0.002 % |
119.99/120.12	c |    178158 |     220    18700   130900 |    85117    81340     62 |  0.002 % |
121.09/121.27	c |    179431 |     220    18700   130900 |    85117    82613     62 |  0.002 % |
122.29/122.47	c |    180833 |     220    18700   130900 |    83182    73152     62 |  0.002 % |
123.49/123.62	c |    182374 |     220    18700   130900 |    83182    74693     62 |  0.002 % |
124.79/124.91	c |    184068 |     220    18700   130900 |    83182    76387     62 |  0.002 % |
126.49/126.60	c |    185932 |     220    18700   130900 |    83182    78251     62 |  0.002 % |
126.49/126.69	c |    186034 |     220    18700   130900 |    83182    78353     62 |  0.002 % |
126.69/126.80	c |    186146 |     220    18700   130900 |    83182    78465     62 |  0.002 % |
126.79/126.90	c |    186269 |     220    18700   130900 |    83182    78588     62 |  0.002 % |
126.89/127.02	c |    186402 |     220    18700   130900 |    83182    78721     62 |  0.002 % |
126.99/127.14	c |    186549 |     220    18700   130900 |    83182    78868     62 |  0.002 % |
127.19/127.31	c |    186710 |     220    18700   130900 |    83182    79029     62 |  0.002 % |
127.29/127.47	c |    186886 |     220    18700   130900 |    83182    79205     62 |  0.002 % |
127.50/127.66	c |    187079 |     220    18700   130900 |    83182    79398     62 |  0.002 % |
127.69/127.86	c |    187292 |     220    18700   130900 |    83182    79611     62 |  0.002 % |
127.89/128.06	c |    187525 |     220    18700   130900 |    83182    79844     62 |  0.002 % |
128.19/128.32	c |    187781 |     220    18700   130900 |    83182    80100     62 |  0.002 % |
128.39/128.56	c |    188062 |     220    18700   130900 |    83182    80381     62 |  0.002 % |
128.69/128.90	c |    188371 |     220    18700   130900 |    83182    80690     62 |  0.002 % |
128.99/129.19	c |    188710 |     220    18700   130900 |    83182    81029     62 |  0.002 % |
129.39/129.54	c |    189083 |     220    18700   130900 |    83182    81402     62 |  0.002 % |
129.79/129.94	c |    189495 |     220    18700   130900 |    83182    81814     62 |  0.002 % |
130.19/130.39	c |    189944 |     220    18700   130900 |    83182    82263     62 |  0.002 % |
130.69/130.87	c |    190440 |     220    18700   130900 |    82319    72054     62 |  0.002 % |
131.09/131.29	c |    190982 |     220    18700   130900 |    82319    72596     62 |  0.002 % |
131.59/131.75	c |    191578 |     220    18700   130900 |    82319    73192     62 |  0.002 % |
132.19/132.30	c |    192233 |     220    18700   130900 |    82319    73847     62 |  0.002 % |
132.69/132.89	c |    192956 |     220    18700   130900 |    82319    74570     62 |  0.002 % |
133.39/133.54	c |    193749 |     220    18700   130900 |    82319    75363     62 |  0.002 % |
134.09/134.22	c |    194620 |     220    18700   130900 |    82319    76234     62 |  0.002 % |
134.79/134.97	c |    195578 |     220    18700   130900 |    82319    77192     62 |  0.002 % |
135.79/135.91	c |    196631 |     220    18700   130900 |    82319    78245     62 |  0.002 % |
136.79/136.97	c |    197790 |     220    18700   130900 |    82319    79404     62 |  0.002 % |
137.89/138.08	c |    199064 |     220    18700   130900 |    82319    80678     62 |  0.002 % |
139.29/139.43	c |    200464 |     220    18700   130900 |    81614    71663     62 |  0.002 % |
140.49/140.61	c |    202004 |     220    18700   130900 |    81614    73203     63 |  0.002 % |
141.79/141.95	c |    203698 |     220    18700   130900 |    81614    74897     63 |  0.002 % |
143.19/143.40	c |    205561 |     220    18700   130900 |    81614    76760     62 |  0.002 % |
144.99/145.10	c |    207610 |     220    18700   130900 |    81614    78809     63 |  0.002 % |
145.09/145.21	c |    207711 |     220    18700   130900 |    81614    78910     63 |  0.002 % |
145.18/145.31	c |    207822 |     220    18700   130900 |    81614    79021     63 |  0.002 % |
145.28/145.41	c |    207944 |     220    18700   130900 |    81614    79143     63 |  0.002 % |
145.38/145.54	c |    208078 |     220    18700   130900 |    81614    79277     63 |  0.002 % |
145.59/145.71	c |    208225 |     220    18700   130900 |    81614    79424     63 |  0.002 % |
145.69/145.85	c |    208387 |     220    18700   130900 |    81614    79586     63 |  0.002 % |
145.79/145.99	c |    208563 |     220    18700   130900 |    81614    79762     63 |  0.002 % |
146.09/146.22	c |    208758 |     220    18700   130900 |    81614    79957     63 |  0.002 % |
146.29/146.44	c |    208971 |     220    18700   130900 |    81614    80170     63 |  0.002 % |
146.49/146.66	c |    209204 |     220    18700   130900 |    81614    80403     63 |  0.002 % |
146.78/146.92	c |    209460 |     220    18700   130900 |    81614    80659     63 |  0.002 % |
146.98/147.19	c |    209741 |     220    18700   130900 |    81614    80940     63 |  0.002 % |
147.29/147.46	c |    210050 |     220    18700   130900 |    81202    81249     63 |  0.002 % |
147.68/147.88	c |    210390 |     220    18700   130900 |    81202    71897     63 |  0.002 % |
148.08/148.23	c |    210763 |     220    18700   130900 |    81202    72270     63 |  0.002 % |
148.39/148.56	c |    211172 |     220    18700   130900 |    81202    72679     63 |  0.002 % |
148.78/148.95	c |    211621 |     220    18700   130900 |    81202    73128     63 |  0.002 % |
149.18/149.34	c |    212114 |     220    18700   130900 |    81202    73621     63 |  0.002 % |
149.58/149.77	c |    212657 |     220    18700   130900 |    81202    74164     63 |  0.002 % |
150.08/150.25	c |    213255 |     220    18700   130900 |    81202    74762     63 |  0.002 % |
150.58/150.71	c |    213912 |     220    18700   130900 |    81202    75419     63 |  0.002 % |
151.08/151.28	c |    214634 |     220    18700   130900 |    81202    76141     63 |  0.002 % |
151.68/151.85	c |    215426 |     220    18700   130900 |    81202    76933     63 |  0.002 % |
152.28/152.48	c |    216297 |     220    18700   130900 |    81202    77804     63 |  0.002 % |
153.08/153.22	c |    217255 |     220    18700   130900 |    81202    78762     63 |  0.002 % |
153.78/153.99	c |    218310 |     220    18700   130900 |    81202    79817     63 |  0.002 % |
154.67/154.89	c |    219472 |     220    18700   130900 |    81202    80979     63 |  0.002 % |
155.67/155.89	c |    220745 |     220    18700   130900 |    72751    65777     63 |  0.002 % |
156.66/156.80	c |    222146 |     220    18700   130900 |    72751    67178     63 |  0.002 % |
157.56/157.77	c |    223687 |     220    18700   130900 |    72751    68719     63 |  0.002 % |
158.66/158.90	c |    225381 |     220    18700   130900 |    72751    70413     63 |  0.002 % |
159.96/160.18	c |    227244 |     220    18700   130900 |    72751    72276     63 |  0.002 % |
161.47/161.65	c |    229294 |     220    18700   130900 |    72751    67041     63 |  0.002 % |
162.86/163.03	c |    231547 |     220    18700   130900 | 2147483647    69294     63 |  0.002 % |
162.96/163.15	c |    231648 |     220    18700   130900 | 2147483647    69395     63 |  0.002 % |
163.06/163.25	c |    231759 |     220    18700   130900 | 2147483647    69506     63 |  0.002 % |
163.16/163.35	c |    231880 |     220    18700   130900 | 2147483647    69627     63 |  0.002 % |
163.26/163.46	c |    232014 |     220    18700   130900 | 2147483647    69761     63 |  0.002 % |
163.46/163.62	c |    232160 |     220    18700   130900 | 2147483647    69907     63 |  0.002 % |
163.56/163.76	c |    232320 |     220    18700   130900 | 2147483647    70067     63 |  0.002 % |
163.67/163.90	c |    232498 |     220    18700   130900 | 2147483647    70245     63 |  0.002 % |
163.86/164.05	c |    232693 |     220    18700   130900 | 2147483647    70440     63 |  0.002 % |
164.06/164.21	c |    232905 |     220    18700   130900 | 2147483647    70652     63 |  0.002 % |
164.16/164.39	c |    233138 |     220    18700   130900 | 2147483647    70885     63 |  0.002 % |
164.36/164.56	c |    233394 |     220    18700   130900 | 2147483647    71141     63 |  0.002 % |
164.56/164.78	c |    233675 |     220    18700   130900 | 2147483647    71422     63 |  0.002 % |
164.86/165.01	c |    233984 |     220    18700   130900 | 2147483647    71731     63 |  0.002 % |
165.16/165.30	c |    234323 |     220    18700   130900 | 2147483647    72070     63 |  0.002 % |
165.36/165.59	c |    234695 |     220    18700   130900 | 2147483647    72442     63 |  0.002 % |
165.76/165.93	c |    235104 |     220    18700   130900 | 2147483647    72851     63 |  0.002 % |
166.06/166.28	c |    235556 |     220    18700   130900 | 2147483647    73303     63 |  0.002 % |
166.56/166.74	c |    236049 |     220    18700   130900 | 2147483647    73796     63 |  0.002 % |
167.06/167.24	c |    236591 |     220    18700   130900 | 2147483647    74338     63 |  0.002 % |
167.56/167.77	c |    237189 |     220    18700   130900 | 2147483647    74936     63 |  0.002 % |
168.16/168.34	c |    237845 |     220    18700   130900 | 2147483647    75592     63 |  0.002 % |
168.76/168.90	c |    238565 |     220    18700   130900 | 2147483647    76312     63 |  0.002 % |
169.46/169.63	c |    239357 |     220    18700   130900 | 2147483647    77104     63 |  0.002 % |
170.16/170.34	c |    240229 |     220    18700   130900 | 2147483647    77976     63 |  0.002 % |
170.86/171.04	c |    241189 |     220    18700   130900 | 2147483647    78936     63 |  0.002 % |
171.66/171.87	c |    242246 |     220    18700   130900 | 2147483647    79993     63 |  0.002 % |
172.66/172.80	c |    243405 |     220    18700   130900 | 2147483647    81152     63 |  0.002 % |
173.66/173.81	c |    244679 |     220    18700   130900 | 2147483647    82426     63 |  0.002 % |
174.85/175.03	c |    246079 |     220    18700   130900 | 2147483647    83826     63 |  0.002 % |
176.25/176.46	c |    247620 |     220    18700   130900 | 2147483647    85367     63 |  0.002 % |
177.65/177.86	c |    249314 |     220    18700   130900 | 2147483647    87061     63 |  0.002 % |
179.35/179.56	c |    251178 |     220    18700   130900 |    87748    77672     63 |  0.002 % |
180.95/181.15	c |    253229 |     220    18700   130900 |    87748    79723     63 |  0.002 % |
182.85/183.05	c |    255483 |     220    18700   130900 |    87748    81977     63 |  0.002 % |
184.85/185.02	c |    257962 |     220    18700   130900 |    87748    84456     63 |  0.002 % |
184.95/185.10	c |    258063 |     220    18700   130900 |    87748    84557     63 |  0.002 % |
185.05/185.25	c |    258175 |     220    18700   130900 |    87748    84669     63 |  0.002 % |
185.15/185.38	c |    258296 |     220    18700   130900 |    87748    84790     63 |  0.002 % |
185.35/185.52	c |    258429 |     220    18700   130900 |    87748    84923     63 |  0.002 % |
185.45/185.69	c |    258577 |     220    18700   130900 |    87748    85071     63 |  0.002 % |
185.65/185.87	c |    258738 |     220    18700   130900 |    87748    85232     63 |  0.002 % |
185.85/186.04	c |    258914 |     220    18700   130900 |    87748    85408     63 |  0.002 % |
186.05/186.23	c |    259107 |     220    18700   130900 |    87748    85601     63 |  0.002 % |
186.25/186.44	c |    259319 |     220    18700   130900 |    87748    85813     63 |  0.002 % |
186.45/186.69	c |    259552 |     220    18700   130900 |    87748    86046     63 |  0.002 % |
186.75/186.99	c |    259809 |     220    18700   130900 |    87748    86303     63 |  0.002 % |
187.15/187.31	c |    260090 |     220    18700   130900 |    86494    86584     63 |  0.002 % |
187.45/187.67	c |    260399 |     220    18700   130900 |    86494    75001     63 |  0.002 % |
187.75/187.92	c |    260738 |     220    18700   130900 |    86494    75340     63 |  0.002 % |
188.05/188.22	c |    261110 |     220    18700   130900 |    86494    75712     63 |  0.002 % |
188.35/188.56	c |    261519 |     220    18700   130900 |    86494    76121     63 |  0.002 % |
188.75/188.94	c |    261969 |     220    18700   130900 |    86494    76571     63 |  0.002 % |
189.15/189.36	c |    262462 |     220    18700   130900 |    86494    77064     63 |  0.002 % |
189.65/189.82	c |    263004 |     220    18700   130900 |    86494    77606     63 |  0.002 % |
190.15/190.39	c |    263601 |     220    18700   130900 |    86494    78203     63 |  0.002 % |
190.74/190.95	c |    264256 |     220    18700   130900 |    86494    78858     63 |  0.002 % |
191.34/191.57	c |    264976 |     220    18700   130900 |    86494    79578     63 |  0.002 % |
192.04/192.21	c |    265768 |     220    18700   130900 |    86494    80370     63 |  0.002 % |
192.74/192.93	c |    266639 |     220    18700   130900 |    86494    81241     63 |  0.002 % |
193.45/193.68	c |    267598 |     220    18700   130900 |    86494    82200     63 |  0.002 % |
194.55/194.72	c |    268651 |     220    18700   130900 |    86494    83253     63 |  0.002 % |
195.55/195.73	c |    269809 |     220    18700   130900 |    86494    84411     63 |  0.002 % |
196.75/196.91	c |    271085 |     220    18700   130900 |    84602    74225     63 |  0.002 % |
197.85/198.07	c |    272486 |     220    18700   130900 |    84602    75626     63 |  0.002 % |
199.14/199.34	c |    274026 |     220    18700   130900 |    84602    77166     63 |  0.002 % |
200.44/200.69	c |    275723 |     220    18700   130900 |    84602    78863     63 |  0.002 % |
202.04/202.23	c |    277586 |     220    18700   130900 |    84602    80726     63 |  0.002 % |
203.74/203.96	c |    279638 |     220    18700   130900 |    84602    82778     63 |  0.002 % |
205.54/205.78	c |    281892 |     220    18700   130900 |    83140    74443     63 |  0.002 % |
207.43/207.67	c |    284370 |     220    18700   130900 |    83140    76921     63 |  0.002 % |
209.63/209.84	c |    287096 |     220    18700   130900 |    83140    79647     63 |  0.002 % |
209.73/209.93	c |    287198 |     220    18700   130900 |    83140    79749     63 |  0.002 % |
209.84/210.02	c |    287310 |     220    18700   130900 |    83140    79861     63 |  0.002 % |
209.94/210.15	c |    287433 |     220    18700   130900 |    83140    79984     63 |  0.002 % |
210.03/210.26	c |    287566 |     220    18700   130900 |    83140    80117     63 |  0.002 % |
210.23/210.42	c |    287712 |     220    18700   130900 |    83140    80263     63 |  0.002 % |
210.33/210.57	c |    287872 |     220    18700   130900 |    83140    80423     63 |  0.002 % |
210.53/210.72	c |    288048 |     220    18700   130900 |    83140    80599     63 |  0.002 % |
210.73/210.93	c |    288242 |     220    18700   130900 |    83140    80793     63 |  0.002 % |
210.94/211.13	c |    288455 |     220    18700   130900 |    83140    81006     63 |  0.002 % |
211.13/211.35	c |    288689 |     220    18700   130900 |    83140    81240     63 |  0.002 % |
211.33/211.59	c |    288947 |     220    18700   130900 |    83140    81498     63 |  0.002 % |
211.63/211.82	c |    289228 |     220    18700   130900 |    83140    81779     63 |  0.002 % |
211.83/212.06	c |    289538 |     220    18700   130900 |    83140    82089     63 |  0.002 % |
212.13/212.38	c |    289878 |     220    18700   130900 |    83140    82429     63 |  0.002 % |
212.63/212.80	c |    290250 |     220    18700   130900 |    82552    73053     63 |  0.002 % |
212.93/213.13	c |    290660 |     220    18700   130900 |    82552    73463     63 |  0.002 % |
213.24/213.43	c |    291109 |     220    18700   130900 |    82552    73912     63 |  0.002 % |
213.63/213.81	c |    291602 |     220    18700   130900 |    82552    74405     63 |  0.002 % |
214.03/214.23	c |    292145 |     220    18700   130900 |    82552    74948     63 |  0.002 % |
214.53/214.72	c |    292741 |     220    18700   130900 |    82552    75544     63 |  0.002 % |
214.93/215.17	c |    293397 |     220    18700   130900 |    82552    76200     63 |  0.002 % |
215.43/215.67	c |    294117 |     220    18700   130900 |    82552    76920     63 |  0.002 % |
216.03/216.25	c |    294910 |     220    18700   130900 |    82552    77713     63 |  0.002 % |
216.73/216.90	c |    295781 |     220    18700   130900 |    82552    78584     63 |  0.002 % |
217.43/217.65	c |    296739 |     220    18700   130900 |    82552    79542     63 |  0.002 % |
218.23/218.49	c |    297793 |     220    18700   130900 |    82552    80596     63 |  0.002 % |
219.13/219.33	c |    298951 |     220    18700   130900 |    82552    81754     63 |  0.002 % |
220.23/220.42	c |    300224 |     220    18700   130900 |    74036    66450     63 |  0.002 % |
221.13/221.34	c |    301625 |     220    18700   130900 |    74036    67851     63 |  0.002 % |
222.23/222.40	c |    303166 |     220    18700   130900 |    74036    69392     63 |  0.002 % |
223.23/223.41	c |    304860 |     220    18700   130900 |    74036    71086     63 |  0.002 % |
224.53/224.70	c |    306724 |     220    18700   130900 |    74036    72950     63 |  0.002 % |
225.93/226.16	c |    308775 |     220    18700   130900 |    74036    67588     63 |  0.002 % |
227.33/227.53	c |    311030 |     220    18700   130900 | 2147483647    69843     63 |  0.002 % |
229.23/229.46	c |    313508 |     220    18700   130900 | 2147483647    72321     63 |  0.002 % |
231.33/231.58	c |    316234 |     220    18700   130900 | 2147483647    75047     63 |  0.002 % |
233.63/233.84	c |    319231 |     220    18700   130900 | 2147483647    78044     63 |  0.002 % |
233.73/233.93	c |    319331 |     220    18700   130900 | 2147483647    78144     63 |  0.002 % |
233.83/234.02	c |    319441 |     220    18700   130900 | 2147483647    78254     63 |  0.002 % |
233.93/234.13	c |    319563 |     220    18700   130900 | 2147483647    78376     63 |  0.002 % |
234.03/234.27	c |    319697 |     220    18700   130900 | 2147483647    78510     63 |  0.002 % |
234.23/234.41	c |    319844 |     220    18700   130900 | 2147483647    78657     63 |  0.002 % |
234.33/234.54	c |    320004 |     220    18700   130900 | 2147483647    78817     63 |  0.002 % |
234.53/234.70	c |    320180 |     220    18700   130900 | 2147483647    78993     63 |  0.002 % |
234.63/234.87	c |    320373 |     220    18700   130900 | 2147483647    79186     63 |  0.002 % |
234.83/235.05	c |    320585 |     220    18700   130900 | 2147483647    79398     63 |  0.002 % |
235.03/235.27	c |    320820 |     220    18700   130900 | 2147483647    79633     63 |  0.002 % |
235.33/235.53	c |    321077 |     220    18700   130900 | 2147483647    79890     63 |  0.002 % |
235.63/235.81	c |    321358 |     220    18700   130900 | 2147483647    80171     63 |  0.002 % |
235.83/236.07	c |    321667 |     220    18700   130900 | 2147483647    80480     63 |  0.002 % |
236.13/236.36	c |    322007 |     220    18700   130900 | 2147483647    80820     63 |  0.002 % |
236.53/236.74	c |    322380 |     220    18700   130900 | 2147483647    81193     63 |  0.002 % |
236.92/237.13	c |    322790 |     220    18700   130900 | 2147483647    81603     63 |  0.002 % |
237.33/237.54	c |    323240 |     220    18700   130900 | 2147483647    82053     63 |  0.002 % |
237.72/237.95	c |    323733 |     220    18700   130900 | 2147483647    82546     63 |  0.002 % |
238.22/238.41	c |    324275 |     220    18700   130900 | 2147483647    83088     63 |  0.002 % |
238.62/238.89	c |    324873 |     220    18700   130900 | 2147483647    83686     63 |  0.002 % |
239.22/239.41	c |    325528 |     220    18700   130900 | 2147483647    84341     63 |  0.002 % |
239.92/240.10	c |    326248 |     220    18700   130900 | 2147483647    85061     63 |  0.002 % |
240.63/240.87	c |    327041 |     220    18700   130900 | 2147483647    85854     63 |  0.002 % |
241.42/241.68	c |    327913 |     220    18700   130900 | 2147483647    86726     63 |  0.002 % |
242.42/242.61	c |    328873 |     220    18700   130900 | 2147483647    87686     63 |  0.002 % |
243.32/243.59	c |    329929 |     220    18700   130900 | 2147483647    88742     63 |  0.002 % |
244.42/244.62	c |    331087 |     220    18700   130900 |    88814    77227     62 |  0.002 % |
245.52/245.75	c |    332362 |     220    18700   130900 |    88814    78502     62 |  0.002 % |
246.61/246.89	c |    333763 |     220    18700   130900 |    88814    79903     62 |  0.002 % |
247.91/248.15	c |    335305 |     220    18700   130900 |    88814    81445     62 |  0.002 % |
249.31/249.52	c |    337001 |     220    18700   130900 |    88814    83141     62 |  0.002 % |
251.01/251.21	c |    338864 |     220    18700   130900 |    88814    85004     62 |  0.002 % |
252.82/253.00	c |    340913 |     220    18700   130900 |    86141    75335     62 |  0.002 % |
254.41/254.67	c |    343166 |     220    18700   130900 |    86141    77588     62 |  0.002 % |
256.21/256.42	c |    345644 |     220    18700   130900 |    86141    80066     62 |  0.002 % |
258.22/258.44	c |    348369 |     220    18700   130900 |    86141    82791     63 |  0.002 % |
260.51/260.75	c |    351366 |     220    18700   130900 |    84422    75416     62 |  0.002 % |
262.71/262.97	c |    354662 |     220    18700   130900 |    84422    78712     63 |  0.002 % |
262.81/263.04	c |    354763 |     220    18700   130900 |    84422    78813     63 |  0.002 % |
262.91/263.15	c |    354874 |     220    18700   130900 |    84422    78924     63 |  0.002 % |
263.01/263.26	c |    354998 |     220    18700   130900 |    84422    79048     63 |  0.002 % |
263.11/263.38	c |    355133 |     220    18700   130900 |    84422    79183     63 |  0.002 % |
263.21/263.49	c |    355280 |     220    18700   130900 |    84422    79330     63 |  0.002 % |
263.41/263.61	c |    355443 |     220    18700   130900 |    84422    79493     63 |  0.002 % |
263.51/263.78	c |    355620 |     220    18700   130900 |    84422    79670     63 |  0.002 % |
263.71/263.94	c |    355813 |     220    18700   130900 |    84422    79863     63 |  0.002 % |
263.91/264.10	c |    356026 |     220    18700   130900 |    84422    80076     63 |  0.002 % |
264.11/264.35	c |    356260 |     220    18700   130900 |    84422    80310     63 |  0.002 % |
264.41/264.60	c |    356516 |     220    18700   130900 |    84422    80566     63 |  0.002 % |
264.71/264.91	c |    356798 |     220    18700   130900 |    84422    80848     63 |  0.002 % |
265.01/265.21	c |    357108 |     220    18700   130900 |    84422    81158     63 |  0.002 % |
265.31/265.53	c |    357448 |     220    18700   130900 |    84422    81498     63 |  0.002 % |
265.61/265.89	c |    357820 |     220    18700   130900 |    84422    81870     63 |  0.002 % |
266.01/266.25	c |    358229 |     220    18700   130900 |    84422    82279     63 |  0.002 % |
266.41/266.64	c |    358678 |     220    18700   130900 |    84422    82728     63 |  0.002 % |
266.81/267.06	c |    359171 |     220    18700   130900 |    84422    83221     62 |  0.002 % |
267.21/267.49	c |    359714 |     220    18700   130900 |    84422    83764     62 |  0.002 % |
267.81/268.07	c |    360310 |     220    18700   130900 |    84050    74376     62 |  0.002 % |
268.31/268.59	c |    360966 |     220    18700   130900 |    84050    75032     62 |  0.002 % |
268.81/269.06	c |    361686 |     220    18700   130900 |    84050    75752     62 |  0.002 % |
269.31/269.57	c |    362478 |     220    18700   130900 |    84050    76544     62 |  0.002 % |
270.00/270.26	c |    363349 |     220    18700   130900 |    84050    77415     62 |  0.002 % |
270.80/271.03	c |    364308 |     220    18700   130900 |    84050    78374     62 |  0.002 % |
271.60/271.81	c |    365364 |     220    18700   130900 |    84050    79430     62 |  0.002 % |
272.51/272.76	c |    366522 |     220    18700   130900 |    84050    80588     62 |  0.002 % |
273.71/273.98	c |    367796 |     220    18700   130900 |    84050    81862     63 |  0.002 % |
275.00/275.28	c |    369197 |     220    18700   130900 |    84050    83263     63 |  0.002 % |
276.40/276.64	c |    370739 |     220    18700   130900 |    84066    74435     63 |  0.002 % |
277.70/277.96	c |    372433 |     220    18700   130900 |    84066    76129     63 |  0.002 % |
279.21/279.45	c |    374296 |     220    18700   130900 |    84066    77992     63 |  0.002 % |
280.70/280.98	c |    376347 |     220    18700   130900 |    84066    80043     63 |  0.002 % |
282.51/282.78	c |    378602 |     220    18700   130900 |    84066    82298     63 |  0.002 % |
284.50/284.70	c |    381081 |     220    18700   130900 |    83699    74728     63 |  0.002 % |
286.60/286.85	c |    383806 |     220    18700   130900 |    83699    77453     63 |  0.002 % |
288.90/289.17	c |    386803 |     220    18700   130900 |    83699    80450     63 |  0.002 % |
291.59/291.80	c |    390099 |     220    18700   130900 |    83647    73981     63 |  0.002 % |
294.39/294.70	c |    393724 |     220    18700   130900 |    83647    77606     63 |  0.002 % |
294.50/294.79	c |    393824 |     220    18700   130900 |    83647    77706     63 |  0.002 % |
294.60/294.90	c |    393935 |     220    18700   130900 |    83647    77817     63 |  0.002 % |
294.79/295.01	c |    394057 |     220    18700   130900 |    83647    77939     63 |  0.002 % |
294.89/295.17	c |    394190 |     220    18700   130900 |    83647    78072     63 |  0.002 % |
295.09/295.31	c |    394337 |     220    18700   130900 |    83647    78219     63 |  0.002 % |
295.19/295.45	c |    394500 |     220    18700   130900 |    83647    78382     63 |  0.002 % |
295.39/295.64	c |    394676 |     220    18700   130900 |    83647    78558     63 |  0.002 % |
295.60/295.83	c |    394869 |     220    18700   130900 |    83647    78751     63 |  0.002 % |
295.79/296.03	c |    395081 |     220    18700   130900 |    83647    78963     63 |  0.002 % |
295.99/296.27	c |    395314 |     220    18700   130900 |    83647    79196     63 |  0.002 % |
296.19/296.50	c |    395571 |     220    18700   130900 |    83647    79453     63 |  0.002 % |
296.59/296.82	c |    395853 |     220    18700   130900 |    83647    79735     63 |  0.002 % |
296.89/297.12	c |    396162 |     220    18700   130900 |    83647    80044     63 |  0.002 % |
297.19/297.46	c |    396502 |     220    18700   130900 |    83647    80384     63 |  0.002 % |
297.59/297.83	c |    396874 |     220    18700   130900 |    83647    80756     63 |  0.002 % |
297.99/298.23	c |    397283 |     220    18700   130900 |    83647    81165     63 |  0.002 % |
298.39/298.61	c |    397732 |     220    18700   130900 |    83647    81614     63 |  0.002 % |
298.79/299.09	c |    398225 |     220    18700   130900 |    83647    82107     63 |  0.002 % |
299.39/299.60	c |    398768 |     220    18700   130900 |    83647    82650     63 |  0.002 % |
299.89/300.15	c |    399368 |     220    18700   130900 |    83647    83250     63 |  0.002 % |
300.49/300.75	c |    400023 |     220    18700   130900 |    72950    72973     63 |  0.002 % |
301.09/301.35	c |    400743 |     220    18700   130900 |    72950    64224     63 |  0.002 % |
301.69/301.95	c |    401537 |     220    18700   130900 |    72950    65018     63 |  0.002 % |
302.29/302.58	c |    402410 |     220    18700   130900 |    72950    65891     63 |  0.002 % |
303.09/303.35	c |    403368 |     220    18700   130900 |    72950    66849     63 |  0.002 % |
303.89/304.16	c |    404421 |     220    18700   130900 |    72950    67902     63 |  0.002 % |
304.79/305.01	c |    405579 |     220    18700   130900 |    72950    69060     63 |  0.002 % |
305.79/306.02	c |    406853 |     220    18700   130900 |    72950    70334     63 |  0.002 % |
306.79/307.02	c |    408253 |     220    18700   130900 |    72950    71734     63 |  0.002 % |
307.99/308.21	c |    409793 |     220    18700   130900 |    72950    65969     63 |  0.002 % |
309.09/309.32	c |    411487 |     220    18700   130900 | 2147483647    67663     63 |  0.002 % |
310.28/310.55	c |    413350 |     220    18700   130900 | 2147483647    69526     63 |  0.002 % |
311.58/311.88	c |    415400 |     220    18700   130900 | 2147483647    71576     63 |  0.002 % |
313.19/313.43	c |    417653 |     220    18700   130900 | 2147483647    73829     63 |  0.002 % |
314.88/315.11	c |    420132 |     220    18700   130900 | 2147483647    76308     63 |  0.002 % |
316.78/317.00	c |    422857 |     220    18700   130900 | 2147483647    79033     63 |  0.002 % |
318.98/319.20	c |    425854 |     220    18700   130900 | 2147483647    82030     63 |  0.002 % |
321.38/321.63	c |    429151 |     220    18700   130900 | 2147483647    85327     63 |  0.002 % |
324.19/324.45	c |    432779 |     220    18700   130900 | 2147483647    88955     63 |  0.002 % |
327.59/327.84	c |    436768 |     220    18700   130900 | 2147483647    92944     63 |  0.002 % |
327.68/327.93	c |    436870 |     220    18700   130900 | 2147483647    93046     63 |  0.002 % |
327.78/328.06	c |    436982 |     220    18700   130900 | 2147483647    93158     63 |  0.002 % |
327.98/328.21	c |    437103 |     220    18700   130900 | 2147483647    93279     63 |  0.002 % |
328.08/328.35	c |    437237 |     220    18700   130900 | 2147483647    93413     63 |  0.002 % |
328.18/328.49	c |    437384 |     220    18700   130900 | 2147483647    93560     63 |  0.002 % |
328.38/328.63	c |    437544 |     220    18700   130900 | 2147483647    93720     63 |  0.002 % |
328.59/328.87	c |    437720 |     220    18700   130900 | 2147483647    93896     63 |  0.002 % |
328.78/329.08	c |    437914 |     220    18700   130900 | 2147483647    94090     63 |  0.002 % |
329.08/329.31	c |    438128 |     220    18700   130900 | 2147483647    94304     63 |  0.002 % |
329.28/329.56	c |    438361 |     220    18700   130900 | 2147483647    94537     63 |  0.002 % |
329.58/329.83	c |    438619 |     220    18700   130900 | 2147483647    94795     63 |  0.002 % |
329.88/330.11	c |    438900 |     220    18700   130900 | 2147483647    95076     63 |  0.002 % |
330.18/330.43	c |    439209 |     220    18700   130900 | 2147483647    95385     63 |  0.002 % |
330.48/330.76	c |    439548 |     220    18700   130900 | 2147483647    95724     63 |  0.002 % |
330.88/331.15	c |    439920 |     220    18700   130900 | 2147483647    96096     63 |  0.002 % |
331.38/331.60	c |    440330 |     220    18700   130900 |    96177    81647     63 |  0.002 % |
331.68/331.99	c |    440781 |     220    18700   130900 |    96177    82098     63 |  0.002 % |
332.08/332.38	c |    441274 |     220    18700   130900 |    96177    82591     63 |  0.002 % |
332.58/332.82	c |    441817 |     220    18700   130900 |    96177    83134     63 |  0.002 % |
332.98/333.29	c |    442413 |     220    18700   130900 |    96177    83730     63 |  0.002 % |
333.58/333.84	c |    443068 |     220    18700   130900 |    96177    84385     63 |  0.002 % |
334.28/334.51	c |    443790 |     220    18700   130900 |    96177    85107     63 |  0.002 % |
335.08/335.31	c |    444583 |     220    18700   130900 |    96177    85900     63 |  0.002 % |
335.87/336.13	c |    445454 |     220    18700   130900 |    96177    86771     63 |  0.002 % |
336.67/336.98	c |    446414 |     220    18700   130900 |    96177    87731     63 |  0.002 % |
337.57/337.88	c |    447467 |     220    18700   130900 |    96177    88784     63 |  0.002 % |
338.67/338.90	c |    448625 |     220    18700   130900 |    96177    89942     63 |  0.002 % |
339.77/340.06	c |    449902 |     220    18700   130900 |    96177    91219     63 |  0.002 % |
340.97/341.23	c |    451304 |     220    18700   130900 |    91317    78194     63 |  0.002 % |
342.07/342.37	c |    452844 |     220    18700   130900 |    91317    79734     63 |  0.002 % |
343.47/343.71	c |    454539 |     220    18700   130900 |    91317    81429     63 |  0.002 % |
345.17/345.41	c |    456405 |     220    18700   130900 |    91317    83295     63 |  0.002 % |
346.87/347.18	c |    458455 |     220    18700   130900 |    91317    85345     63 |  0.002 % |
348.67/348.97	c |    460708 |     220    18700   130900 |    86893    75754     63 |  0.002 % |
350.67/350.96	c |    463186 |     220    18700   130900 |    86893    78232     63 |  0.002 % |
352.87/353.11	c |    465912 |     220    18700   130900 |    86893    80958     63 |  0.002 % |
355.07/355.37	c |    468909 |     220    18700   130900 |    86893    83955     63 |  0.002 % |
357.46/357.79	c |    472207 |     220    18700   130900 |    85046    76967     63 |  0.002 % |
360.16/360.41	c |    475833 |     220    18700   130900 |    85046    80593     63 |  0.002 % |
362.86/363.19	c |    479820 |     220    18700   130900 |    85046    84580     63 |  0.002 % |
365.86/366.19	c |    484206 |     220    18700   130900 |    84761    79509     64 |  0.002 % |
365.97/366.27	c |    484306 |     220    18700   130900 |    84761    79609     64 |  0.002 % |
366.07/366.37	c |    484417 |     220    18700   130900 |    84761    79720     64 |  0.002 % |
366.16/366.47	c |    484540 |     220    18700   130900 |    84761    79843     64 |  0.002 % |
366.26/366.60	c |    484673 |     220    18700   130900 |    84761    79976     64 |  0.002 % |
366.46/366.72	c |    484820 |     220    18700   130900 |    84761    80123     64 |  0.002 % |
366.56/366.86	c |    484981 |     220    18700   130900 |    84761    80284     64 |  0.002 % |
366.76/367.05	c |    485157 |     220    18700   130900 |    84761    80460     64 |  0.002 % |
366.96/367.23	c |    485351 |     220    18700   130900 |    84761    80654     64 |  0.002 % |
367.07/367.40	c |    485563 |     220    18700   130900 |    84761    80866     64 |  0.002 % |
367.36/367.64	c |    485798 |     220    18700   130900 |    84761    81101     64 |  0.002 % |
367.56/367.88	c |    486054 |     220    18700   130900 |    84761    81357     64 |  0.002 % |
367.86/368.17	c |    486335 |     220    18700   130900 |    84761    81638     64 |  0.002 % |
368.17/368.47	c |    486645 |     220    18700   130900 |    84761    81948     64 |  0.002 % |
368.46/368.78	c |    486985 |     220    18700   130900 |    84761    82288     64 |  0.002 % |
368.86/369.16	c |    487357 |     220    18700   130900 |    84761    82660     64 |  0.002 % |
369.26/369.53	c |    487767 |     220    18700   130900 |    84761    83070     64 |  0.002 % |
369.66/369.95	c |    488216 |     220    18700   130900 |    84761    83519     64 |  0.002 % |
370.06/370.35	c |    488709 |     220    18700   130900 |    84761    84012     64 |  0.002 % |
370.56/370.80	c |    489251 |     220    18700   130900 |    84761    84554     64 |  0.002 % |
371.06/371.32	c |    489848 |     220    18700   130900 |    84761    74869     63 |  0.002 % |
371.56/371.84	c |    490503 |     220    18700   130900 |    75021    66484     63 |  0.002 % |
372.16/372.46	c |    491223 |     220    18700   130900 |    75021    67204     63 |  0.002 % |
372.76/373.07	c |    492016 |     220    18700   130900 |    75021    67997     63 |  0.002 % |
373.46/373.78	c |    492887 |     220    18700   130900 |    75021    68868     63 |  0.002 % |
374.16/374.41	c |    493846 |     220    18700   130900 |    75021    69827     63 |  0.002 % |
374.76/375.08	c |    494900 |     220    18700   130900 |    75021    70881     63 |  0.002 % |
375.56/375.86	c |    496058 |     220    18700   130900 |    75021    72039     63 |  0.002 % |
376.46/376.76	c |    497331 |     220    18700   130900 |    75021    73312     63 |  0.002 % |
377.55/377.86	c |    498733 |     220    18700   130900 |    75021    74714     63 |  0.002 % |
378.75/379.03	c |    500273 |     220    18700   130900 | 2147483647    68742     63 |  0.002 % |
379.85/380.19	c |    501967 |     220    18700   130900 | 2147483647    70436     63 |  0.002 % |
381.15/381.46	c |    503831 |     220    18700   130900 | 2147483647    72300     63 |  0.002 % |
382.65/382.99	c |    505882 |     220    18700   130900 | 2147483647    74351     63 |  0.002 % |
384.15/384.48	c |    508135 |     220    18700   130900 | 2147483647    76604     63 |  0.002 % |
385.95/386.29	c |    510614 |     220    18700   130900 | 2147483647    79083     63 |  0.002 % |
388.15/388.46	c |    513340 |     220    18700   130900 | 2147483647    81809     63 |  0.002 % |
390.65/390.92	c |    516337 |     220    18700   130900 | 2147483647    84806     63 |  0.002 % |
393.35/393.64	c |    519633 |     220    18700   130900 | 2147483647    88102     63 |  0.002 % |
396.35/396.67	c |    523260 |     220    18700   130900 |    88472    81485     63 |  0.002 % |
399.65/399.98	c |    527249 |     220    18700   130900 |    88472    85474     63 |  0.002 % |
403.45/403.75	c |    531636 |     220    18700   130900 |    88225    78967     63 |  0.002 % |
407.14/407.50	c |    536460 |     220    18700   130900 |    88225    83791     63 |  0.002 % |
407.24/407.58	c |    536560 |     220    18700   130900 |    88225    83891     63 |  0.002 % |
407.44/407.71	c |    536671 |     220    18700   130900 |    88225    84002     63 |  0.002 % |
407.54/407.84	c |    536792 |     220    18700   130900 |    88225    84123     63 |  0.002 % |
407.64/407.97	c |    536925 |     220    18700   130900 |    88225    84256     63 |  0.002 % |
407.85/408.11	c |    537072 |     220    18700   130900 |    88225    84403     63 |  0.002 % |
407.94/408.27	c |    537232 |     220    18700   130900 |    88225    84563     63 |  0.002 % |
408.14/408.44	c |    537409 |     220    18700   130900 |    88225    84740     63 |  0.002 % |
408.34/408.62	c |    537603 |     220    18700   130900 |    88225    84934     63 |  0.002 % |
408.54/408.82	c |    537816 |     220    18700   130900 |    88225    85147     63 |  0.002 % |
408.74/409.04	c |    538049 |     220    18700   130900 |    88225    85380     63 |  0.002 % |
409.04/409.30	c |    538306 |     220    18700   130900 |    88225    85637     63 |  0.002 % |
409.24/409.55	c |    538588 |     220    18700   130900 |    88225    85919     63 |  0.002 % |
409.54/409.81	c |    538897 |     220    18700   130900 |    88225    86228     63 |  0.002 % |
409.84/410.14	c |    539236 |     220    18700   130900 |    88225    86567     63 |  0.002 % |
410.24/410.53	c |    539611 |     220    18700   130900 |    88225    86942     63 |  0.002 % |
410.64/410.91	c |    540021 |     220    18700   130900 |    87331    87352     63 |  0.002 % |
411.05/411.39	c |    540471 |     220    18700   130900 |    87331    76443     63 |  0.002 % |
411.54/411.81	c |    540964 |     220    18700   130900 |    87331    76936     63 |  0.002 % |
411.94/412.26	c |    541507 |     220    18700   130900 |    87331    77479     63 |  0.002 % |
412.44/412.71	c |    542106 |     220    18700   130900 |    87331    78078     63 |  0.002 % |
413.04/413.31	c |    542764 |     220    18700   130900 |    87331    78736     63 |  0.002 % |
413.54/413.86	c |    543484 |     220    18700   130900 |    87331    79456     63 |  0.002 % |
414.14/414.47	c |    544278 |     220    18700   130900 |    87331    80250     63 |  0.002 % |
414.94/415.20	c |    545149 |     220    18700   130900 |    87331    81121     63 |  0.002 % |
415.74/416.00	c |    546109 |     220    18700   130900 |    87331    82081     63 |  0.002 % |
416.54/416.87	c |    547162 |     220    18700   130900 |    87331    83134     63 |  0.002 % |
417.54/417.81	c |    548321 |     220    18700   130900 |    87331    84293     63 |  0.002 % |
418.54/418.87	c |    549595 |     220    18700   130900 |    87331    85567     63 |  0.002 % |
419.74/420.06	c |    550996 |     220    18700   130900 |    85974    75904     63 |  0.002 % |
420.94/421.25	c |    552536 |     220    18700   130900 |    85974    77444     63 |  0.002 % |
422.34/422.64	c |    554233 |     220    18700   130900 |    85974    79141     63 |  0.002 % |
423.84/424.19	c |    556096 |     220    18700   130900 |    85974    81004     63 |  0.002 % |
425.63/425.96	c |    558145 |     220    18700   130900 |    85974    83053     63 |  0.002 % |
427.64/427.97	c |    560399 |     220    18700   130900 |    84908    73610     63 |  0.002 % |
429.43/429.72	c |    562878 |     220    18700   130900 |    84908    76089     63 |  0.002 % |
431.53/431.85	c |    565603 |     220    18700   130900 |    84908    78814     63 |  0.002 % |
433.83/434.16	c |    568601 |     220    18700   130900 |    84908    81812     63 |  0.002 % |
436.33/436.62	c |    571897 |     220    18700   130900 |    83211    76117     63 |  0.002 % |
438.73/439.07	c |    575522 |     220    18700   130900 |    83211    79742     63 |  0.002 % |
442.03/442.33	c |    579509 |     220    18700   130900 |    83211    75116     63 |  0.002 % |
445.23/445.57	c |    583894 |     220    18700   130900 |    75607    71483     63 |  0.002 % |
448.72/449.01	c |    588717 |     220    18700   130900 |    75607    68737     63 |  0.002 % |
452.62/452.91	c |    594023 |     220    18700   130900 | 2147483647    74043     63 |  0.002 % |
452.72/453.01	c |    594124 |     220    18700   130900 | 2147483647    74144     63 |  0.002 % |
452.83/453.11	c |    594234 |     220    18700   130900 | 2147483647    74254     63 |  0.002 % |
452.93/453.23	c |    594358 |     220    18700   130900 | 2147483647    74378     63 |  0.002 % |
453.02/453.33	c |    594491 |     220    18700   130900 | 2147483647    74511     63 |  0.002 % |
453.12/453.46	c |    594638 |     220    18700   130900 | 2147483647    74658     63 |  0.002 % |
453.22/453.59	c |    594801 |     220    18700   130900 | 2147483647    74821     63 |  0.002 % |
453.43/453.74	c |    594977 |     220    18700   130900 | 2147483647    74997     63 |  0.002 % |
453.63/453.90	c |    595171 |     220    18700   130900 | 2147483647    75191     63 |  0.002 % |
453.73/454.08	c |    595386 |     220    18700   130900 | 2147483647    75406     63 |  0.002 % |
453.93/454.27	c |    595620 |     220    18700   130900 | 2147483647    75640     63 |  0.002 % |
454.12/454.47	c |    595878 |     220    18700   130900 | 2147483647    75898     63 |  0.002 % |
454.32/454.69	c |    596161 |     220    18700   130900 | 2147483647    76181     63 |  0.002 % |
454.62/454.93	c |    596471 |     220    18700   130900 | 2147483647    76491     63 |  0.002 % |
454.92/455.22	c |    596813 |     220    18700   130900 | 2147483647    76833     63 |  0.002 % |
455.22/455.53	c |    597186 |     220    18700   130900 | 2147483647    77206     63 |  0.002 % |
455.52/455.87	c |    597596 |     220    18700   130900 | 2147483647    77616     63 |  0.002 % |
456.02/456.32	c |    598046 |     220    18700   130900 | 2147483647    78066     63 |  0.002 % |
456.42/456.73	c |    598540 |     220    18700   130900 | 2147483647    78560     63 |  0.002 % |
456.92/457.21	c |    599082 |     220    18700   130900 | 2147483647    79102     63 |  0.002 % |
457.42/457.74	c |    599678 |     220    18700   130900 | 2147483647    79698     63 |  0.002 % |
458.02/458.39	c |    600333 |     220    18700   130900 |    80020    72186     63 |  0.002 % |
458.72/459.01	c |    601054 |     220    18700   130900 |    80020    72907     63 |  0.002 % |
459.32/459.69	c |    601849 |     220    18700   130900 |    80020    73702     63 |  0.002 % |
460.02/460.40	c |    602721 |     220    18700   130900 |    80020    74574     63 |  0.002 % |
460.82/461.16	c |    603679 |     220    18700   130900 |    80020    75532     63 |  0.002 % |
461.73/462.06	c |    604734 |     220    18700   130900 |    80020    76587     63 |  0.002 % |
462.62/463.00	c |    605893 |     220    18700   130900 |    80020    77746     63 |  0.002 % |
463.62/463.95	c |    607167 |     220    18700   130900 |    80020    79020     63 |  0.002 % |
464.72/465.04	c |    608568 |     220    18700   130900 |    80020    71725     63 |  0.002 % |
466.13/466.40	c |    610108 |     220    18700   130900 |    73159    65404     63 |  0.002 % |
467.22/467.55	c |    611802 |     220    18700   130900 |    73159    67098     63 |  0.002 % |
468.52/468.86	c |    613665 |     220    18700   130900 |    73159    68961     63 |  0.002 % |
470.02/470.31	c |    615714 |     220    18700   130900 |    73159    71010     63 |  0.002 % |
471.62/471.98	c |    617971 |     220    18700   130900 |    73159    65943     63 |  0.002 % |
473.31/473.62	c |    620449 |     220    18700   130900 | 2147483647    68421     63 |  0.002 % |
475.21/475.58	c |    623174 |     220    18700   130900 | 2147483647    71146     63 |  0.002 % |
477.61/477.97	c |    626172 |     220    18700   130900 | 2147483647    74144     63 |  0.002 % |
480.11/480.48	c |    629468 |     220    18700   130900 | 2147483647    77440     64 |  0.002 % |
483.11/483.41	c |    633093 |     220    18700   130900 | 2147483647    81065     64 |  0.002 % |
486.61/486.95	c |    637082 |     220    18700   130900 | 2147483647    85054     64 |  0.002 % |
490.71/491.02	c |    641467 |     220    18700   130900 |    87973    77530     63 |  0.002 % |
494.41/494.78	c |    646292 |     220    18700   130900 |    87973    82355     63 |  0.002 % |
498.61/498.99	c |    651597 |     220    18700   130900 |    86063    77017     63 |  0.002 % |
503.80/504.12	c |    657432 |     220    18700   130900 |    86063    82852     64 |  0.002 % |
503.90/504.23	c |    657532 |     220    18700   130900 |    86063    82952     64 |  0.002 % |
504.00/504.35	c |    657642 |     220    18700   130900 |    86063    83062     64 |  0.002 % |
504.10/504.47	c |    657763 |     220    18700   130900 |    86063    83183     64 |  0.002 % |
504.20/504.57	c |    657896 |     220    18700   130900 |    86063    83316     64 |  0.002 % |
504.40/504.71	c |    658042 |     220    18700   130900 |    86063    83462     63 |  0.002 % |
504.51/504.90	c |    658205 |     220    18700   130900 |    86063    83625     63 |  0.002 % |
504.70/505.09	c |    658383 |     220    18700   130900 |    86063    83803     63 |  0.002 % |
504.90/505.29	c |    658576 |     220    18700   130900 |    86063    83996     63 |  0.002 % |
505.20/505.50	c |    658789 |     220    18700   130900 |    86063    84209     63 |  0.002 % |
505.40/505.75	c |    659023 |     220    18700   130900 |    86063    84443     63 |  0.002 % |
505.71/506.07	c |    659280 |     220    18700   130900 |    86063    84700     63 |  0.002 % |
506.00/506.38	c |    659562 |     220    18700   130900 |    86063    84982     63 |  0.002 % |
506.40/506.70	c |    659871 |     220    18700   130900 |    86063    85291     63 |  0.002 % |
506.80/507.11	c |    660210 |     220    18700   130900 |    85422    73957     63 |  0.002 % |
507.10/507.40	c |    660582 |     220    18700   130900 |    85422    74329     63 |  0.002 % |
507.40/507.76	c |    660993 |     220    18700   130900 |    85422    74740     63 |  0.002 % |
507.80/508.14	c |    661443 |     220    18700   130900 |    85422    75190     63 |  0.002 % |
508.20/508.59	c |    661938 |     220    18700   130900 |    85422    75685     63 |  0.002 % |
508.70/509.03	c |    662480 |     220    18700   130900 |    85422    76227     63 |  0.002 % |
509.20/509.53	c |    663076 |     220    18700   130900 |    85422    76823     63 |  0.002 % |
509.80/510.15	c |    663731 |     220    18700   130900 |    85422    77478     63 |  0.002 % |
510.40/510.79	c |    664451 |     220    18700   130900 |    85422    78198     63 |  0.002 % |
511.20/511.50	c |    665244 |     220    18700   130900 |    85422    78991     63 |  0.002 % |
511.90/512.22	c |    666117 |     220    18700   130900 |    85422    79864     63 |  0.002 % |
512.70/513.02	c |    667075 |     220    18700   130900 |    85422    80822     63 |  0.002 % |
513.70/514.02	c |    668130 |     220    18700   130900 |    85422    81877     63 |  0.002 % |
514.69/515.00	c |    669290 |     220    18700   130900 |    85422    83037     63 |  0.002 % |
515.79/516.12	c |    670564 |     220    18700   130900 |    83749    73032     63 |  0.002 % |
516.89/517.26	c |    671964 |     220    18700   130900 |    83749    74432     63 |  0.002 % |
518.09/518.49	c |    673506 |     220    18700   130900 |    83749    75974     63 |  0.002 % |
519.49/519.88	c |    675200 |     220    18700   130900 |    83749    77668     63 |  0.002 % |
521.09/521.48	c |    677063 |     220    18700   130900 |    83749    79531     63 |  0.002 % |
522.89/523.26	c |    679112 |     220    18700   130900 |    83749    81580     63 |  0.002 % |
524.89/525.20	c |    681366 |     220    18700   130900 |    82468    73020     63 |  0.002 % |
526.69/527.08	c |    683845 |     220    18700   130900 |    82468    75499     63 |  0.002 % |
528.79/529.11	c |    686570 |     220    18700   130900 |    82468    78224     64 |  0.002 % |
531.39/531.75	c |    689568 |     220    18700   130900 |    82468    81222     64 |  0.002 % |
534.19/534.60	c |    692865 |     220    18700   130900 |    81654    74806     63 |  0.002 % |
537.18/537.51	c |    696490 |     220    18700   130900 |    81654    78431     64 |  0.002 % |
540.38/540.71	c |    700479 |     220    18700   130900 |    73269    66061     63 |  0.002 % |
543.18/543.57	c |    704865 |     220    18700   130900 |    73269    70447     63 |  0.002 % |
546.98/547.32	c |    709688 |     220    18700   130900 |    73269    67934     63 |  0.002 % |
551.18/551.54	c |    714996 |     220    18700   130900 | 2147483647    73242     64 |  0.002 % |
555.78/556.20	c |    720831 |     220    18700   130900 | 2147483647    79077     64 |  0.002 % |
560.87/561.27	c |    727249 |     220    18700   130900 | 2147483647    85495     64 |  0.002 % |
560.97/561.36	c |    727349 |     220    18700   130900 | 2147483647    85595     64 |  0.002 % |
561.07/561.47	c |    727460 |     220    18700   130900 | 2147483647    85706     64 |  0.002 % |
561.27/561.60	c |    727583 |     220    18700   130900 | 2147483647    85829     64 |  0.002 % |
561.37/561.77	c |    727717 |     220    18700   130900 | 2147483647    85963     64 |  0.002 % |
561.57/561.94	c |    727863 |     220    18700   130900 | 2147483647    86109     64 |  0.002 % |
561.77/562.11	c |    728025 |     220    18700   130900 | 2147483647    86271     64 |  0.002 % |
561.96/562.35	c |    728201 |     220    18700   130900 | 2147483647    86447     64 |  0.002 % |
562.16/562.57	c |    728395 |     220    18700   130900 | 2147483647    86641     64 |  0.002 % |
562.36/562.78	c |    728609 |     220    18700   130900 | 2147483647    86855     64 |  0.002 % |
562.66/563.00	c |    728842 |     220    18700   130900 | 2147483647    87088     64 |  0.002 % |
562.86/563.24	c |    729098 |     220    18700   130900 | 2147483647    87344     64 |  0.002 % |
563.26/563.61	c |    729380 |     220    18700   130900 | 2147483647    87626     64 |  0.002 % |
563.56/563.98	c |    729690 |     220    18700   130900 | 2147483647    87936     64 |  0.002 % |
563.96/564.35	c |    730029 |     220    18700   130900 |    88246    88275     64 |  0.002 % |
564.45/564.81	c |    730401 |     220    18700   130900 |    88246    77785     63 |  0.002 % |
564.75/565.18	c |    730810 |     220    18700   130900 |    88246    78194     63 |  0.002 % |
565.15/565.57	c |    731260 |     220    18700   130900 |    88246    78644     63 |  0.002 % |
565.55/565.98	c |    731753 |     220    18700   130900 |    88246    79137     63 |  0.002 % |
566.05/566.50	c |    732296 |     220    18700   130900 |    88246    79680     63 |  0.002 % |
566.55/566.98	c |    732895 |     220    18700   130900 |    88246    80279     63 |  0.002 % |
567.25/567.63	c |    733550 |     220    18700   130900 |    88246    80934     63 |  0.002 % |
567.95/568.38	c |    734272 |     220    18700   130900 |    88246    81656     63 |  0.002 % |
568.75/569.14	c |    735064 |     220    18700   130900 |    88246    82448     63 |  0.002 % |
569.55/569.94	c |    735936 |     220    18700   130900 |    88246    83320     63 |  0.002 % |
570.35/570.77	c |    736895 |     220    18700   130900 |    88246    84279     63 |  0.002 % |
571.25/571.67	c |    737949 |     220    18700   130900 |    88246    85333     63 |  0.002 % |
572.25/572.68	c |    739107 |     220    18700   130900 |    88246    86491     63 |  0.002 % |
573.35/573.73	c |    740381 |     220    18700   130900 |    87387    75299     64 |  0.002 % |
574.35/574.72	c |    741783 |     220    18700   130900 |    87387    76701     64 |  0.002 % |
575.45/575.87	c |    743323 |     220    18700   130900 |    87387    78241     64 |  0.002 % |
576.65/577.07	c |    745018 |     220    18700   130900 |    87387    79936     64 |  0.002 % |
578.35/578.72	c |    746882 |     220    18700   130900 |    87387    81800     64 |  0.002 % |
580.14/580.56	c |    748932 |     220    18700   130900 |    87387    83850     64 |  0.002 % |
581.95/582.37	c |    751185 |     220    18700   130900 |    84918    74868     64 |  0.002 % |
583.84/584.22	c |    753666 |     220    18700   130900 |    84918    77349     64 |  0.002 % |
585.85/586.26	c |    756392 |     220    18700   130900 |    84918    80075     64 |  0.002 % |
588.24/588.61	c |    759391 |     220    18700   130900 |    84918    83074     64 |  0.002 % |
590.64/591.08	c |    762690 |     220    18700   130900 |    83683    76764     63 |  0.002 % |
593.44/593.87	c |    766315 |     220    18700   130900 |    83683    80389     63 |  0.002 % |
596.64/597.01	c |    770303 |     220    18700   130900 |    75132    67585     63 |  0.002 % |
599.44/599.86	c |    774688 |     220    18700   130900 |    75132    71970     63 |  0.002 % |
602.94/603.32	c |    779511 |     220    18700   130900 |    75132    69270     63 |  0.002 % |
606.63/607.05	c |    784816 |     220    18700   130900 | 2147483647    74575     63 |  0.002 % |
610.93/611.38	c |    790652 |     220    18700   130900 | 2147483647    80411     63 |  0.002 % |
615.83/616.23	c |    797071 |     220    18700   130900 | 2147483647    86830     64 |  0.002 % |
621.82/622.20	c |    804131 |     220    18700   130900 |    89762    81944     64 |  0.002 % |
621.82/622.29	c |    804233 |     220    18700   130900 |    89762    82046     64 |  0.002 % |
621.92/622.38	c |    804344 |     220    18700   130900 |    89762    82157     64 |  0.002 % |
622.02/622.49	c |    804466 |     220    18700   130900 |    89762    82279     64 |  0.002 % |
622.23/622.63	c |    804599 |     220    18700   130900 |    89762    82412     64 |  0.002 % |
622.32/622.78	c |    804747 |     220    18700   130900 |    89762    82560     64 |  0.002 % |
622.52/622.94	c |    804908 |     220    18700   130900 |    89762    82721     64 |  0.002 % |
622.62/623.09	c |    805085 |     220    18700   130900 |    89762    82898     64 |  0.002 % |
622.82/623.26	c |    805278 |     220    18700   130900 |    89762    83091     64 |  0.002 % |
623.02/623.47	c |    805491 |     220    18700   130900 |    89762    83304     64 |  0.002 % |
623.33/623.71	c |    805725 |     220    18700   130900 |    89762    83538     64 |  0.002 % |
623.52/623.94	c |    805982 |     220    18700   130900 |    89762    83795     64 |  0.002 % |
623.82/624.23	c |    806263 |     220    18700   130900 |    89762    84076     64 |  0.002 % |
624.12/624.51	c |    806572 |     220    18700   130900 |    89762    84385     64 |  0.002 % |
624.43/624.89	c |    806911 |     220    18700   130900 |    89762    84724     64 |  0.002 % |
624.82/625.27	c |    807283 |     220    18700   130900 |    89762    85096     64 |  0.002 % |
625.22/625.70	c |    807693 |     220    18700   130900 |    89762    85506     64 |  0.002 % |
625.72/626.13	c |    808144 |     220    18700   130900 |    89762    85957     64 |  0.002 % |
626.12/626.57	c |    808637 |     220    18700   130900 |    89762    86450     64 |  0.002 % |
626.62/627.09	c |    809179 |     220    18700   130900 |    89762    86992     64 |  0.002 % |
627.22/627.64	c |    809777 |     220    18700   130900 |    89762    87590     64 |  0.002 % |
627.82/628.24	c |    810432 |     220    18700   130900 |    87814    75422     64 |  0.002 % |
628.42/628.85	c |    811152 |     220    18700   130900 |    87814    76142     64 |  0.002 % |
629.02/629.41	c |    811945 |     220    18700   130900 |    87814    76935     64 |  0.002 % |
629.62/630.00	c |    812818 |     220    18700   130900 |    87814    77808     64 |  0.002 % |
630.32/630.71	c |    813776 |     220    18700   130900 |    87814    78766     64 |  0.002 % |
631.12/631.52	c |    814829 |     220    18700   130900 |    87814    79819     64 |  0.002 % |
631.92/632.37	c |    815988 |     220    18700   130900 |    87814    80978     64 |  0.002 % |
632.92/633.36	c |    817262 |     220    18700   130900 |    87814    82252     64 |  0.002 % |
634.02/634.46	c |    818663 |     220    18700   130900 |    87814    83653     64 |  0.002 % |
635.22/635.69	c |    820204 |     220    18700   130900 |    84990    75021     64 |  0.002 % |
636.42/636.88	c |    821898 |     220    18700   130900 |    84990    76715     64 |  0.002 % |
637.82/638.21	c |    823762 |     220    18700   130900 |    84990    78579     64 |  0.002 % |
639.32/639.77	c |    825811 |     220    18700   130900 |    84990    80628     64 |  0.002 % |
641.22/641.62	c |    828065 |     220    18700   130900 |    84990    82882     63 |  0.002 % |
643.52/643.97	c |    830543 |     220    18700   130900 |    84818    74764     63 |  0.002 % |
645.81/646.28	c |    833269 |     220    18700   130900 |    84818    77490     63 |  0.002 % |
648.41/648.83	c |    836267 |     220    18700   130900 |    84818    80488     63 |  0.002 % |
651.21/651.61	c |    839564 |     220    18700   130900 |    84818    83785     63 |  0.002 % |
654.11/654.54	c |    843189 |     220    18700   130900 |    84221    76266     63 |  0.002 % |
657.41/657.83	c |    847177 |     220    18700   130900 |    84221    80254     63 |  0.002 % |
660.91/661.30	c |    851562 |     220    18700   130900 |    83077    74655     63 |  0.002 % |
664.80/665.26	c |    856385 |     220    18700   130900 |    83077    79478     64 |  0.002 % |
669.20/669.65	c |    861690 |     220    18700   130900 |    83093    74285     63 |  0.002 % |
673.70/674.12	c |    867529 |     220    18700   130900 |    83093    80124     63 |  0.002 % |
679.00/679.43	c |    873947 |     220    18700   130900 |    82597    76764     63 |  0.002 % |
684.40/684.86	c |    881006 |     220    18700   130900 |    73551    66322     63 |  0.002 % |
690.00/690.48	c |    888770 |     220    18700   130900 |    73551    66722     64 |  0.002 % |
690.10/690.55	c |    888872 |     220    18700   130900 |    73551    66824     64 |  0.002 % |
690.20/690.64	c |    888984 |     220    18700   130900 |    73551    66936     64 |  0.002 % |
690.30/690.74	c |    889106 |     220    18700   130900 |    73551    67058     64 |  0.002 % |
690.40/690.84	c |    889239 |     220    18700   130900 |    73551    67191     64 |  0.002 % |
690.50/690.96	c |    889385 |     220    18700   130900 |    73551    67337     64 |  0.002 % |
690.60/691.07	c |    889546 |     220    18700   130900 |    73551    67498     64 |  0.002 % |
690.79/691.25	c |    889723 |     220    18700   130900 |    73551    67675     63 |  0.002 % |
690.99/691.42	c |    889916 |     220    18700   130900 |    73551    67868     63 |  0.002 % |
691.09/691.58	c |    890129 |     220    18700   130900 | 2147483647    68081     63 |  0.002 % |
691.29/691.72	c |    890364 |     220    18700   130900 | 2147483647    68316     63 |  0.002 % |
691.50/691.91	c |    890621 |     220    18700   130900 | 2147483647    68573     63 |  0.002 % |
691.69/692.10	c |    890902 |     220    18700   130900 | 2147483647    68854     63 |  0.002 % |
691.89/692.30	c |    891211 |     220    18700   130900 | 2147483647    69163     63 |  0.002 % |
692.09/692.53	c |    891551 |     220    18700   130900 | 2147483647    69503     63 |  0.002 % |
692.50/692.92	c |    891923 |     220    18700   130900 | 2147483647    69875     63 |  0.002 % |
692.89/693.31	c |    892332 |     220    18700   130900 | 2147483647    70284     63 |  0.002 % |
693.19/693.66	c |    892781 |     220    18700   130900 | 2147483647    70733     63 |  0.002 % |
693.60/694.04	c |    893274 |     220    18700   130900 | 2147483647    71226     63 |  0.002 % |
693.99/694.49	c |    893816 |     220    18700   130900 | 2147483647    71768     63 |  0.002 % |
694.49/694.95	c |    894412 |     220    18700   130900 | 2147483647    72364     63 |  0.002 % |
694.99/695.46	c |    895068 |     220    18700   130900 | 2147483647    73020     63 |  0.002 % |
695.79/696.22	c |    895788 |     220    18700   130900 | 2147483647    73740     63 |  0.002 % |
696.48/696.94	c |    896581 |     220    18700   130900 | 2147483647    74533     63 |  0.002 % |
697.28/697.73	c |    897455 |     220    18700   130900 | 2147483647    75407     63 |  0.002 % |
697.99/698.47	c |    898413 |     220    18700   130900 | 2147483647    76365     63 |  0.002 % |
698.78/699.27	c |    899466 |     220    18700   130900 | 2147483647    77418     63 |  0.002 % |
699.68/700.18	c |    900624 |     220    18700   130900 |    77952    70578     63 |  0.002 % |
700.68/701.17	c |    901898 |     220    18700   130900 |    77952    71852     63 |  0.002 % |
701.68/702.12	c |    903298 |     220    18700   130900 |    77952    73252     63 |  0.002 % |
702.78/703.28	c |    904838 |     220    18700   130900 |    77952    74792     63 |  0.002 % |
704.08/704.57	c |    906533 |     220    18700   130900 |    77952    76487     63 |  0.002 % |
705.78/706.26	c |    908396 |     220    18700   130900 |    77952    70545     63 |  0.002 % |
707.28/707.74	c |    910448 |     220    18700   130900 | 2147483647    72597     63 |  0.002 % |
708.78/709.29	c |    912702 |     220    18700   130900 | 2147483647    74851     63 |  0.002 % |
710.48/710.96	c |    915180 |     220    18700   130900 | 2147483647    77329     63 |  0.002 % |
712.68/713.11	c |    917905 |     220    18700   130900 | 2147483647    80054     63 |  0.002 % |
715.27/715.70	c |    920902 |     220    18700   130900 | 2147483647    83051     63 |  0.002 % |
718.27/718.71	c |    924198 |     220    18700   130900 | 2147483647    86347     63 |  0.002 % |
721.67/722.13	c |    927823 |     220    18700   130900 | 2147483647    89972     63 |  0.002 % |
725.17/725.61	c |    931811 |     220    18700   130900 |    92149    80339     63 |  0.002 % |
728.67/729.14	c |    936198 |     220    18700   130900 |    92149    84726     63 |  0.002 % |
732.67/733.13	c |    941023 |     220    18700   130900 |    88528    77856     63 |  0.002 % |
737.16/737.61	c |    946330 |     220    18700   130900 |    88528    83163     63 |  0.002 % |
741.86/742.39	c |    952168 |     220    18700   130900 |    86834    75779     63 |  0.002 % |
746.96/747.40	c |    958589 |     220    18700   130900 |    86834    82200     63 |  0.002 % |
752.46/752.97	c |    965648 |     220    18700   130900 |    83612    78549     63 |  0.002 % |
757.75/758.26	c |    973412 |     220    18700   130900 |    82901    76875     64 |  0.002 % |
763.85/764.35	c |    981952 |     220    18700   130900 | 2147483647    77115     64 |  0.002 % |
763.96/764.44	c |    982052 |     220    18700   130900 | 2147483647    77215     64 |  0.002 % |
764.06/764.55	c |    982163 |     220    18700   130900 | 2147483647    77326     64 |  0.002 % |
764.15/764.68	c |    982284 |     220    18700   130900 | 2147483647    77447     64 |  0.002 % |
764.35/764.80	c |    982419 |     220    18700   130900 | 2147483647    77582     64 |  0.002 % |
764.45/764.92	c |    982565 |     220    18700   130900 | 2147483647    77728     64 |  0.002 % |
764.65/765.10	c |    982727 |     220    18700   130900 | 2147483647    77890     64 |  0.002 % |
764.75/765.25	c |    982903 |     220    18700   130900 | 2147483647    78066     64 |  0.002 % |
764.95/765.44	c |    983098 |     220    18700   130900 | 2147483647    78261     64 |  0.002 % |
765.15/765.68	c |    983312 |     220    18700   130900 | 2147483647    78475     64 |  0.002 % |
765.35/765.87	c |    983545 |     220    18700   130900 | 2147483647    78708     64 |  0.002 % |
765.65/766.12	c |    983801 |     220    18700   130900 | 2147483647    78964     64 |  0.002 % |
765.85/766.37	c |    984083 |     220    18700   130900 | 2147483647    79246     64 |  0.002 % |
766.15/766.69	c |    984394 |     220    18700   130900 | 2147483647    79557     64 |  0.002 % |
766.55/767.01	c |    984734 |     220    18700   130900 | 2147483647    79897     64 |  0.002 % |
766.85/767.33	c |    985108 |     220    18700   130900 | 2147483647    80271     64 |  0.002 % |
767.15/767.69	c |    985518 |     220    18700   130900 | 2147483647    80681     64 |  0.002 % |
767.65/768.13	c |    985967 |     220    18700   130900 | 2147483647    81130     64 |  0.002 % |
768.05/768.54	c |    986461 |     220    18700   130900 | 2147483647    81624     64 |  0.002 % |
768.55/769.00	c |    987003 |     220    18700   130900 | 2147483647    82166     64 |  0.002 % |
769.15/769.61	c |    987599 |     220    18700   130900 | 2147483647    82762     64 |  0.002 % |
769.75/770.27	c |    988256 |     220    18700   130900 | 2147483647    83419     64 |  0.002 % |
770.45/770.94	c |    988977 |     220    18700   130900 | 2147483647    84140     64 |  0.002 % |
771.25/771.70	c |    989769 |     220    18700   130900 | 2147483647    84932     64 |  0.002 % |
771.95/772.49	c |    990641 |     220    18700   130900 |    85165    74752     64 |  0.002 % |
772.75/773.25	c |    991601 |     220    18700   130900 |    85165    75712     64 |  0.002 % |
773.55/774.05	c |    992654 |     220    18700   130900 |    85165    76765     64 |  0.002 % |
774.35/774.83	c |    993814 |     220    18700   130900 |    85165    77925     64 |  0.002 % |
775.35/775.80	c |    995088 |     220    18700   130900 |    85165    79199     64 |  0.002 % |
776.44/776.98	c |    996490 |     220    18700   130900 |    85165    80601     64 |  0.002 % |
777.74/778.26	c |    998031 |     220    18700   130900 |    85165    82142     64 |  0.002 % |
779.25/779.75	c |    999725 |     220    18700   130900 |    85165    83836     64 |  0.002 % |
780.64/781.17	c |   1001590 |     220    18700   130900 |    84111    75513     64 |  0.002 % |
782.44/782.92	c |   1003639 |     220    18700   130900 |    84111    77562     64 |  0.002 % |
784.24/784.76	c |   1005892 |     220    18700   130900 |    84111    79815     64 |  0.002 % |
786.33/786.85	c |   1008374 |     220    18700   130900 |    84111    82297     64 |  0.002 % |
788.53/789.08	c |   1011099 |     220    18700   130900 |    83929    74688     64 |  0.002 % |
791.13/791.66	c |   1014096 |     220    18700   130900 |    83929    77685     64 |  0.002 % |
794.03/794.55	c |   1017393 |     220    18700   130900 |    83929    80982     64 |  0.002 % |
796.93/797.45	c |   1021019 |     220    18700   130900 |    83590    73962     64 |  0.002 % |
799.92/800.45	c |   1025007 |     220    18700   130900 |    83590    77950     64 |  0.002 % |
803.53/804.07	c |   1029393 |     220    18700   130900 |    83590    82336     64 |  0.002 % |
807.22/807.71	c |   1034217 |     220    18700   130900 |    82944    77817     64 |  0.002 % |
811.42/811.90	c |   1039522 |     220    18700   130900 |    82944    74380     63 |  0.002 % |
816.12/816.62	c |   1045359 |     220    18700   130900 |    74858    72012     63 |  0.002 % |
820.92/821.47	c |   1051778 |     220    18700   130900 | 2147483647    70831     63 |  0.002 % |
826.31/826.88	c |   1058837 |     220    18700   130900 | 2147483647    77890     63 |  0.002 % |
832.91/833.42	c |   1066602 |     220    18700   130900 | 2147483647    85655     63 |  0.002 % |
840.01/840.56	c |   1075142 |     220    18700   130900 |    89053    82740     64 |  0.002 % |
847.90/848.43	c |   1084537 |     220    18700   130900 |    87599    80942     64 |  0.002 % |
848.00/848.54	c |   1084637 |     220    18700   130900 |    87599    81042     64 |  0.002 % |
848.10/848.66	c |   1084748 |     220    18700   130900 |    87599    81153     64 |  0.002 % |
848.20/848.77	c |   1084870 |     220    18700   130900 |    87599    81275     64 |  0.002 % |
848.40/848.92	c |   1085005 |     220    18700   130900 |    87599    81410     64 |  0.002 % |
848.61/849.11	c |   1085151 |     220    18700   130900 |    87599    81556     64 |  0.002 % |
848.70/849.27	c |   1085313 |     220    18700   130900 |    87599    81718     64 |  0.002 % |
848.90/849.46	c |   1085490 |     220    18700   130900 |    87599    81895     64 |  0.002 % |
849.10/849.64	c |   1085683 |     220    18700   130900 |    87599    82088     64 |  0.002 % |
849.30/849.83	c |   1085895 |     220    18700   130900 |    87599    82300     64 |  0.002 % |
849.50/850.04	c |   1086128 |     220    18700   130900 |    87599    82533     64 |  0.002 % |
849.70/850.25	c |   1086384 |     220    18700   130900 |    87599    82789     64 |  0.002 % |
849.90/850.45	c |   1086665 |     220    18700   130900 |    87599    83070     64 |  0.002 % |
850.20/850.72	c |   1086976 |     220    18700   130900 |    87599    83381     64 |  0.002 % |
850.40/850.98	c |   1087315 |     220    18700   130900 |    87599    83720     64 |  0.002 % |
850.80/851.34	c |   1087687 |     220    18700   130900 |    87599    84092     64 |  0.002 % |
851.10/851.66	c |   1088098 |     220    18700   130900 |    87599    84503     64 |  0.002 % |
851.60/852.16	c |   1088548 |     220    18700   130900 |    87599    84953     64 |  0.002 % |
852.10/852.65	c |   1089044 |     220    18700   130900 |    87599    85449     64 |  0.002 % |
852.70/853.21	c |   1089587 |     220    18700   130900 |    87599    85992     64 |  0.002 % |
853.30/853.87	c |   1090185 |     220    18700   130900 |    86406    74711     64 |  0.002 % |
853.90/854.42	c |   1090843 |     220    18700   130900 |    86406    75369     64 |  0.002 % |
854.50/855.02	c |   1091565 |     220    18700   130900 |    86406    76091     64 |  0.002 % |
855.20/855.79	c |   1092358 |     220    18700   130900 |    86406    76884     64 |  0.002 % |
856.00/856.50	c |   1093229 |     220    18700   130900 |    86406    77755     64 |  0.002 % |
856.80/857.31	c |   1094187 |     220    18700   130900 |    86406    78713     64 |  0.002 % |
857.70/858.25	c |   1095240 |     220    18700   130900 |    86406    79766     64 |  0.002 % |
858.60/859.15	c |   1096399 |     220    18700   130900 |    86406    80925     63 |  0.002 % |
859.50/860.09	c |   1097672 |     220    18700   130900 |    86406    82198     63 |  0.002 % |
860.60/861.11	c |   1099073 |     220    18700   130900 |    86406    83599     63 |  0.002 % |
862.00/862.59	c |   1100613 |     220    18700   130900 |    84527    74056     63 |  0.002 % |
863.50/864.01	c |   1102307 |     220    18700   130900 |    84527    75750     63 |  0.002 % |
864.90/865.49	c |   1104170 |     220    18700   130900 |    84527    77613     63 |  0.002 % |
866.39/866.98	c |   1106225 |     220    18700   130900 |    84527    79668     63 |  0.002 % |
868.09/868.65	c |   1108478 |     220    18700   130900 |    84527    81921     64 |  0.002 % |
870.09/870.65	c |   1110957 |     220    18700   130900 |    83443    74404     64 |  0.002 % |
872.29/872.86	c |   1113683 |     220    18700   130900 |    83443    77130     64 |  0.002 % |
874.49/875.07	c |   1116680 |     220    18700   130900 |    83443    80127     64 |  0.002 % |
877.09/877.62	c |   1119979 |     220    18700   130900 |    83443    83426     64 |  0.002 % |
879.79/880.32	c |   1123604 |     220    18700   130900 |    83447    78163     64 |  0.002 % |
882.88/883.45	c |   1127592 |     220    18700   130900 |    83447    82151     64 |  0.002 % |
886.38/886.95	c |   1131977 |     220    18700   130900 |    75753    69671     64 |  0.002 % |
889.98/890.52	c |   1136802 |     220    18700   130900 |    75753    74496     64 |  0.002 % |
893.88/894.45	c |   1142108 |     220    18700   130900 | 2147483647    72218     64 |  0.002 % |
898.18/898.72	c |   1147944 |     220    18700   130900 | 2147483647    78054     64 |  0.002 % |
903.48/904.05	c |   1154362 |     220    18700   130900 | 2147483647    84472     64 |  0.002 % |
909.28/909.82	c |   1161421 |     220    18700   130900 |    90110    80099     64 |  0.002 % |
915.18/915.79	c |   1169185 |     220    18700   130900 |    90110    87863     64 |  0.002 % |
921.37/921.93	c |   1177726 |     220    18700   130900 |    88679    85676     64 |  0.002 % |
928.87/929.50	c |   1187121 |     220    18700   130900 |    87950    85250     64 |  0.002 % |
937.26/937.87	c |   1197454 |     220    18700   130900 |    77518    75606     64 |  0.002 % |
937.36/937.97	c |   1197554 |     220    18700   130900 |    77518    75706     64 |  0.002 % |
937.46/938.08	c |   1197665 |     220    18700   130900 |    77518    75817     64 |  0.002 % |
937.56/938.19	c |   1197786 |     220    18700   130900 |    77518    75938     64 |  0.002 % |
937.66/938.29	c |   1197922 |     220    18700   130900 |    77518    76074     64 |  0.002 % |
937.86/938.43	c |   1198069 |     220    18700   130900 |    77518    76221     64 |  0.002 % |
937.96/938.58	c |   1198231 |     220    18700   130900 |    77518    76383     64 |  0.002 % |
938.16/938.72	c |   1198408 |     220    18700   130900 |    77518    76560     64 |  0.002 % |
938.26/938.88	c |   1198601 |     220    18700   130900 |    77518    76753     64 |  0.002 % |
938.46/939.05	c |   1198814 |     220    18700   130900 |    77518    76966     64 |  0.002 % |
938.66/939.23	c |   1199048 |     220    18700   130900 |    77518    77200     64 |  0.002 % |
938.86/939.45	c |   1199304 |     220    18700   130900 |    77518    77456     64 |  0.002 % |
939.16/939.72	c |   1199585 |     220    18700   130900 |    77518    69887     64 |  0.002 % |
939.36/939.95	c |   1199894 |     220    18700   130900 |    77518    70196     64 |  0.002 % |
939.66/940.27	c |   1200237 |     220    18700   130900 |    70302    63393     64 |  0.002 % |
939.96/940.54	c |   1200610 |     220    18700   130900 |    70302    63766     64 |  0.002 % |
940.26/940.80	c |   1201019 |     220    18700   130900 |    70302    64175     64 |  0.002 % |
940.46/941.08	c |   1201469 |     220    18700   130900 |    70302    64625     64 |  0.002 % |
940.76/941.39	c |   1201962 |     220    18700   130900 |    70302    65118     64 |  0.002 % |
941.16/941.77	c |   1202504 |     220    18700   130900 |    70302    65660     64 |  0.002 % |
941.56/942.14	c |   1203100 |     220    18700   130900 |    70302    66256     64 |  0.002 % |
941.96/942.54	c |   1203757 |     220    18700   130900 |    70302    66913     64 |  0.002 % |
942.46/943.06	c |   1204478 |     220    18700   130900 |    70302    67634     64 |  0.002 % |
943.06/943.64	c |   1205272 |     220    18700   130900 |    70302    68428     64 |  0.002 % |
943.76/944.30	c |   1206143 |     220    18700   130900 |    70302    69299     64 |  0.002 % |
944.46/945.03	c |   1207102 |     220    18700   130900 |    70302    70258     64 |  0.002 % |
945.26/945.85	c |   1208155 |     220    18700   130900 |    70302    64271     64 |  0.002 % |
946.06/946.65	c |   1209313 |     220    18700   130900 |    70302    65429     64 |  0.002 % |
947.06/947.63	c |   1210587 |     220    18700   130900 | 2147483647    66703     64 |  0.002 % |
947.96/948.58	c |   1211987 |     220    18700   130900 | 2147483647    68103     64 |  0.002 % |
949.16/949.77	c |   1213527 |     220    18700   130900 | 2147483647    69643     64 |  0.002 % |
950.46/951.03	c |   1215221 |     220    18700   130900 | 2147483647    71337     64 |  0.002 % |
951.76/952.38	c |   1217085 |     220    18700   130900 | 2147483647    73201     64 |  0.002 % |
953.45/954.03	c |   1219137 |     220    18700   130900 | 2147483647    75253     64 |  0.002 % |
955.26/955.81	c |   1221390 |     220    18700   130900 | 2147483647    77506     64 |  0.002 % |
957.25/957.83	c |   1223871 |     220    18700   130900 | 2147483647    79987     64 |  0.002 % |
959.45/960.04	c |   1226597 |     220    18700   130900 | 2147483647    82713     64 |  0.002 % |
962.15/962.74	c |   1229595 |     220    18700   130900 | 2147483647    85711     64 |  0.002 % |
964.75/965.35	c |   1232892 |     220    18700   130900 |    86117    78105     64 |  0.002 % |
967.54/968.12	c |   1236518 |     220    18700   130900 |    86117    81731     64 |  0.002 % |
970.75/971.35	c |   1240508 |     220    18700   130900 |    85213    75407     64 |  0.002 % |
974.14/974.74	c |   1244897 |     220    18700   130900 |    85213    79796     64 |  0.002 % |
977.74/978.39	c |   1249720 |     220    18700   130900 |    85213    84619     64 |  0.002 % |
981.54/982.19	c |   1255026 |     220    18700   130900 |    84899    79787     64 |  0.002 % |
986.74/987.33	c |   1260863 |     220    18700   130900 |    84761    75457     64 |  0.002 % |
991.64/992.26	c |   1267282 |     220    18700   130900 |    84761    81876     64 |  0.002 % |
997.34/997.94	c |   1274343 |     220    18700   130900 |    84596    79055     64 |  0.002 % |
1003.64/1004.23	c |   1282107 |     220    18700   130900 |    74894    68369     64 |  0.002 % |
1009.73/1010.31	c |   1290647 |     220    18700   130900 | 2147483647    69410     64 |  0.002 % |
1016.53/1017.10	c |   1300044 |     220    18700   130900 | 2147483647    78807     64 |  0.002 % |
1025.13/1025.78	c |   1310377 |     220    18700   130900 |    88763    76872     64 |  0.002 % |
1033.22/1033.90	c |   1321746 |     220    18700   130900 |    86497    77319     64 |  0.002 % |
1033.33/1033.98	c |   1321847 |     220    18700   130900 |    86497    77420     64 |  0.002 % |
1033.43/1034.07	c |   1321958 |     220    18700   130900 |    86497    77531     64 |  0.002 % |
1033.52/1034.17	c |   1322079 |     220    18700   130900 |    86497    77652     64 |  0.002 % |
1033.72/1034.31	c |   1322212 |     220    18700   130900 |    86497    77785     64 |  0.002 % |
1033.82/1034.44	c |   1322358 |     220    18700   130900 |    86497    77931     64 |  0.002 % |
1033.92/1034.59	c |   1322518 |     220    18700   130900 |    86497    78091     64 |  0.002 % |
1034.12/1034.75	c |   1322694 |     220    18700   130900 |    86497    78267     64 |  0.002 % |
1034.32/1034.96	c |   1322887 |     220    18700   130900 |    86497    78460     64 |  0.002 % |
1034.53/1035.14	c |   1323101 |     220    18700   130900 |    86497    78674     64 |  0.002 % |
1034.72/1035.34	c |   1323334 |     220    18700   130900 |    86497    78907     64 |  0.002 % |
1034.92/1035.57	c |   1323590 |     220    18700   130900 |    86497    79163     64 |  0.002 % |
1035.22/1035.90	c |   1323872 |     220    18700   130900 |    86497    79445     64 |  0.002 % |
1035.53/1036.17	c |   1324182 |     220    18700   130900 |    86497    79755     64 |  0.002 % |
1035.72/1036.38	c |   1324521 |     220    18700   130900 |    86497    80094     64 |  0.002 % |
1036.12/1036.72	c |   1324893 |     220    18700   130900 |    86497    80466     64 |  0.002 % |
1036.52/1037.10	c |   1325303 |     220    18700   130900 |    86497    80876     64 |  0.002 % |
1036.92/1037.54	c |   1325753 |     220    18700   130900 |    86497    81326     64 |  0.002 % |
1037.33/1037.98	c |   1326246 |     220    18700   130900 |    86497    81819     64 |  0.002 % |
1037.84/1038.47	c |   1326789 |     220    18700   130900 |    86497    82362     64 |  0.002 % |
1038.33/1038.99	c |   1327385 |     220    18700   130900 |    86497    82958     64 |  0.002 % |
1038.84/1039.49	c |   1328042 |     220    18700   130900 |    86497    83615     64 |  0.002 % |
1039.63/1040.27	c |   1328762 |     220    18700   130900 |    86497    84335     64 |  0.002 % |
1040.33/1040.99	c |   1329554 |     220    18700   130900 |    86497    85127     64 |  0.002 % |
1041.23/1041.88	c |   1330426 |     220    18700   130900 |    85574    73918     64 |  0.002 % |
1041.93/1042.57	c |   1331387 |     220    18700   130900 |    85574    74879     64 |  0.002 % |
1042.73/1043.38	c |   1332440 |     220    18700   130900 |    85574    75932     64 |  0.002 % |
1043.63/1044.21	c |   1333599 |     220    18700   130900 |    85574    77091     64 |  0.002 % |
1044.73/1045.35	c |   1334873 |     220    18700   130900 |    85574    78365     64 |  0.002 % |
1045.93/1046.51	c |   1336273 |     220    18700   130900 |    85574    79765     64 |  0.002 % |
1047.13/1047.70	c |   1337814 |     220    18700   130900 |    85574    81306     64 |  0.002 % |
1048.53/1049.17	c |   1339508 |     220    18700   130900 |    85574    83000     64 |  0.002 % |
1050.23/1050.89	c |   1341372 |     220    18700   130900 |    83492    74020     64 |  0.002 % |
1051.83/1052.48	c |   1343421 |     220    18700   130900 |    83492    76069     64 |  0.002 % |
1053.72/1054.37	c |   1345674 |     220    18700   130900 |    83492    78322     64 |  0.002 % |
1055.62/1056.24	c |   1348153 |     220    18700   130900 |    83492    80801     64 |  0.002 % |
1057.82/1058.42	c |   1350878 |     220    18700   130900 |    82648    74029     64 |  0.002 % |
1060.02/1060.69	c |   1353875 |     220    18700   130900 |    82648    77026     64 |  0.002 % |
1062.72/1063.35	c |   1357171 |     220    18700   130900 |    82648    80322     64 |  0.002 % |
1065.52/1066.18	c |   1360797 |     220    18700   130900 |    74259    67212     64 |  0.002 % |
1068.31/1068.99	c |   1364785 |     220    18700   130900 |    74259    71200     64 |  0.002 % |
1071.51/1072.15	c |   1369170 |     220    18700   130900 |    74259    68149     64 |  0.002 % |
1074.71/1075.36	c |   1373993 |     220    18700   130900 | 2147483647    72972     63 |  0.002 % |
1078.71/1079.31	c |   1379298 |     220    18700   130900 | 2147483647    78277     63 |  0.002 % |
1083.21/1083.86	c |   1385133 |     220    18700   130900 | 2147483647    84112     64 |  0.002 % |
1088.81/1089.43	c |   1391553 |     220    18700   130900 |    88980    80615     64 |  0.002 % |
1094.91/1095.53	c |   1398614 |     220    18700   130900 |    88980    87676     64 |  0.002 % |
1100.60/1101.28	c |   1406379 |     220    18700   130900 |    89062    82297     64 |  0.002 % |
1107.30/1107.99	c |   1414920 |     220    18700   130900 |    85919    79438     64 |  0.002 % |
1114.70/1115.30	c |   1424314 |     220    18700   130900 |    84518    78274     64 |  0.002 % |
1122.50/1123.11	c |   1434648 |     220    18700   130900 |    83960    79316     64 |  0.002 % |
1131.20/1131.84	c |   1446015 |     220    18700   130900 |    75644    73644     65 |  0.002 % |
1139.69/1140.32	c |   1458517 |     220    18700   130900 | 2147483647    78571     65 |  0.002 % |
1139.79/1140.41	c |   1458617 |     220    18700   130900 | 2147483647    78671     65 |  0.002 % |
1139.79/1140.49	c |   1458728 |     220    18700   130900 | 2147483647    78782     65 |  0.002 % |
1139.89/1140.60	c |   1458849 |     220    18700   130900 | 2147483647    78903     65 |  0.002 % |
1140.10/1140.71	c |   1458982 |     220    18700   130900 | 2147483647    79036     65 |  0.002 % |
1140.19/1140.84	c |   1459129 |     220    18700   130900 | 2147483647    79183     65 |  0.002 % |
1140.29/1140.97	c |   1459289 |     220    18700   130900 | 2147483647    79343     65 |  0.002 % |
1140.49/1141.12	c |   1459465 |     220    18700   130900 | 2147483647    79519     65 |  0.002 % |
1140.59/1141.29	c |   1459659 |     220    18700   130900 | 2147483647    79713     65 |  0.002 % |
1140.79/1141.49	c |   1459873 |     220    18700   130900 | 2147483647    79927     65 |  0.002 % |
1141.10/1141.70	c |   1460106 |     220    18700   130900 | 2147483647    80160     65 |  0.002 % |
1141.29/1141.91	c |   1460364 |     220    18700   130900 | 2147483647    80418     65 |  0.002 % |
1141.49/1142.14	c |   1460645 |     220    18700   130900 | 2147483647    80699     65 |  0.002 % |
1141.69/1142.37	c |   1460954 |     220    18700   130900 | 2147483647    81008     65 |  0.002 % |
1141.99/1142.66	c |   1461294 |     220    18700   130900 | 2147483647    81348     65 |  0.002 % |
1142.30/1142.97	c |   1461667 |     220    18700   130900 | 2147483647    81721     65 |  0.002 % |
1142.69/1143.33	c |   1462078 |     220    18700   130900 | 2147483647    82132     65 |  0.002 % |
1143.19/1143.81	c |   1462527 |     220    18700   130900 | 2147483647    82581     65 |  0.002 % |
1143.69/1144.31	c |   1463020 |     220    18700   130900 | 2147483647    83074     65 |  0.002 % |
1144.29/1144.90	c |   1463562 |     220    18700   130900 | 2147483647    83616     65 |  0.002 % |
1144.78/1145.48	c |   1464159 |     220    18700   130900 | 2147483647    84213     65 |  0.002 % |
1145.38/1146.09	c |   1464815 |     220    18700   130900 | 2147483647    84869     65 |  0.002 % |
1146.08/1146.77	c |   1465535 |     220    18700   130900 | 2147483647    85589     65 |  0.002 % |
1146.98/1147.60	c |   1466328 |     220    18700   130900 | 2147483647    86382     65 |  0.002 % |
1147.79/1148.43	c |   1467199 |     220    18700   130900 | 2147483647    87253     65 |  0.002 % |
1148.58/1149.24	c |   1468158 |     220    18700   130900 | 2147483647    88212     65 |  0.002 % |
1149.48/1150.17	c |   1469211 |     220    18700   130900 | 2147483647    89265     64 |  0.002 % |
1150.58/1151.21	c |   1470369 |     220    18700   130900 |    90055    77440     64 |  0.002 % |
1151.38/1152.08	c |   1471642 |     220    18700   130900 |    90055    78713     64 |  0.002 % |
1152.58/1153.21	c |   1473042 |     220    18700   130900 |    90055    80113     64 |  0.002 % |
1154.08/1154.76	c |   1474582 |     220    18700   130900 |    90055    81653     64 |  0.002 % |
1155.58/1156.27	c |   1476276 |     220    18700   130900 |    90055    83347     64 |  0.002 % |
1157.38/1158.00	c |   1478139 |     220    18700   130900 |    90055    85210     64 |  0.002 % |
1158.98/1159.67	c |   1480188 |     220    18700   130900 |    87075    75275     64 |  0.002 % |
1160.68/1161.34	c |   1482441 |     220    18700   130900 |    87075    77528     64 |  0.002 % |
1162.38/1163.08	c |   1484919 |     220    18700   130900 |    87075    80006     64 |  0.002 % |
1164.57/1165.25	c |   1487644 |     220    18700   130900 |    87075    82731     64 |  0.002 % |
1166.97/1167.66	c |   1490641 |     220    18700   130900 |    85087    75657     64 |  0.002 % |
1169.47/1170.11	c |   1493937 |     220    18700   130900 |    85087    78953     64 |  0.002 % |
1172.27/1172.91	c |   1497564 |     220    18700   130900 |    85087    82580     64 |  0.002 % |
1175.67/1176.38	c |   1501551 |     220    18700   130900 |    85017    75516     64 |  0.002 % |
1179.17/1179.82	c |   1505937 |     220    18700   130900 |    85017    79902     64 |  0.002 % |
1182.87/1183.53	c |   1510760 |     220    18700   130900 |    83965    74017     63 |  0.002 % |
1186.77/1187.42	c |   1516065 |     220    18700   130900 |    83965    79322     64 |  0.002 % |
1191.96/1192.60	c |   1521900 |     220    18700   130900 |    83258    74774     63 |  0.002 % |
1197.36/1198.06	c |   1528318 |     220    18700   130900 |    83258    81192     64 |  0.002 % |
1200.06/1200.71	HOME/SatELiteGTI: line 36: 13888 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-1832551-1242783683/watcher-1832551-1242783683 -o /tmp/evaluation-result-1832551-1242783683/solver-1832551-1242783683 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832551-1242783683.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 13882
/proc/meminfo: memFree=1832368/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306395769 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 273653923922 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13882/statm: 1339 235 195 169 0 50 0
[pid=13883] ppid=13882 vsize=5356 CPUtime=0
/proc/13883/stat : 13883 (SatELiteGTI) R 13882 13882 13568 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306395770 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13883/statm: 1339 238 198 169 0 50 0
[pid=13885] ppid=13883 vsize=0 CPUtime=0
/proc/13885/stat : 13885 (sed) Z 13883 13882 13568 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306395770 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13885/statm: 0 0 0 0 0 0 0

[startup+0.0950801 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13882
/proc/meminfo: memFree=1832368/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.102078 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13882
/proc/meminfo: memFree=1832368/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301089 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13882
/proc/meminfo: memFree=1832368/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.702117 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13882
/proc/meminfo: memFree=1832368/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50117 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13888
/proc/meminfo: memFree=1827808/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=5256 CPUtime=1.42
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 1086 0 0 0 142 0 0 0 25 0 1 0 306395777 5382144 1072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 1314 1072 76 171 0 1141 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10612

[startup+3.10128 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13888
/proc/meminfo: memFree=1826272/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=7772 CPUtime=3.01
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 1706 0 0 0 300 1 0 0 25 0 1 0 306395777 7958528 1692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 1943 1692 76 171 0 1770 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13128

[startup+6.30149 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13888
/proc/meminfo: memFree=1822240/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=11000 CPUtime=6.21
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 2512 0 0 0 619 2 0 0 25 0 1 0 306395777 11264000 2498 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 2750 2498 76 171 0 2577 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16356

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13888
/proc/meminfo: memFree=1817504/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=15304 CPUtime=12.6
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 3573 0 0 0 1258 2 0 0 25 0 1 0 306395777 15671296 3559 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 3826 3559 76 171 0 3653 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20660

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1811424/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=21244 CPUtime=25.38
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 5050 0 0 0 2534 4 0 0 25 0 1 0 306395777 21753856 5036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 5311 5036 76 171 0 5138 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 26600

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1804640/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=27740 CPUtime=50.97
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 6703 0 0 0 5092 5 0 0 25 0 1 0 306395777 28405760 6689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 6935 6689 76 171 0 6762 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 33096

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1804448/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=27740 CPUtime=102.15
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 6703 0 0 0 10210 5 0 0 25 0 1 0 306395777 28405760 6689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 6935 6689 76 171 0 6762 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 33096

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1803744/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=28400 CPUtime=162.1
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 6862 0 0 0 16204 6 0 0 25 0 1 0 306395777 29081600 6848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 7100 6848 76 171 0 6927 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 33756

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1802848/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=29192 CPUtime=222.07
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7072 0 0 0 22201 6 0 0 25 0 1 0 306395777 29892608 7058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 7298 7058 76 171 0 7125 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 34548

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1802272/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=29588 CPUtime=282.04
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7183 0 0 0 28198 6 0 0 25 0 1 0 306395777 30298112 7169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 7397 7169 76 171 0 7224 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 34944

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1799584/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=342.01
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7894 0 0 0 34194 7 0 0 25 0 1 0 306395777 33148928 7802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7802 76 171 0 7920 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 37728

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1799520/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=401.99

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

[pid=13888] ppid=13882 vsize=32372 CPUtime=521.93
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 52186 7 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 37728

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1799200/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=581.89
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 58182 7 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 37728

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1799072/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=641.86
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 64179 7 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 37728

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1798880/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=701.82
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 70174 8 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 37728

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1798816/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=761.8
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 76172 8 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 37728

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1798752/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=821.76
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 82168 8 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 37728

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1798688/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=881.73
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 88165 8 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 37728

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13890
/proc/meminfo: memFree=1798560/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=941.7
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 94162 8 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 37728

[startup+1002.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 13890
/proc/meminfo: memFree=1798432/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=1001.68
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 100160 8 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 37728

[startup+1062.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 13890
/proc/meminfo: memFree=1798368/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=1061.66
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 106157 9 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 37728

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13890
/proc/meminfo: memFree=1798304/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32372 CPUtime=1121.64
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 7899 0 0 0 112155 9 0 0 25 0 1 0 306395777 33148928 7807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8093 7807 76 171 0 7920 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 37728

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13896
/proc/meminfo: memFree=1797600/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32768 CPUtime=1181.61
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 8017 0 0 0 118152 9 0 0 25 0 1 0 306395777 33554432 7925 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8192 7925 76 171 0 8019 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 38124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13896
/proc/meminfo: memFree=1797600/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32768 CPUtime=1200
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 8017 0 0 0 119991 9 0 0 25 0 1 0 306395777 33554432 7925 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8192 7925 76 171 0 8019 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38124

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13896
/proc/meminfo: memFree=1797600/2055920 swapFree=4180408/4192956
[pid=13882] ppid=13880 vsize=5356 CPUtime=0.06
/proc/13882/stat : 13882 (SatELiteGTI) S 13880 13882 13568 0 -1 4194304 336 784 0 0 0 0 6 0 16 0 1 0 306395769 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13882/statm: 1339 239 197 169 0 50 0
[pid=13888] ppid=13882 vsize=32768 CPUtime=1200
/proc/13888/stat : 13888 (minisat_static) R 13882 13882 13568 0 -1 4194304 8017 0 0 0 119991 9 0 0 25 0 1 0 306395777 33554432 7925 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13888/statm: 8192 7925 76 171 0 8019 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38124

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.97
CPU system time (s): 0.112982
CPU usage (%): 99.9479
Max. virtual memory (cumulated for all children) (KiB): 38124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9146
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= 25
involuntary context switches= 6274

runsolver used 1.09183 second user time and 3.40848 second system time

The end

Launcher Data

Begin job on node52 at 2009-05-20 03:41:23
IDJOB=1832551
IDBENCH=70239
IDSOLVER=671
FILE ID=node52/1832551-1242783683
PBS_JOBID= 9322339
Free space on /tmp= 66140 MiB

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

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

MD5SUM BENCH= 08262d4364cee07369a2b1aec963343c
RANDOM SEED=17854842

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1832848 kB
Buffers:         27148 kB
Cached:         158448 kB
SwapCached:       7048 kB
Active:          35948 kB
Inactive:       159376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832848 kB
SwapTotal:     4192956 kB
SwapFree:      4180408 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:          13484 kB
Slab:            13752 kB
Committed_AS:  1142664 kB
PageTables:       1500 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= 66136 MiB
End job on node52 at 2009-05-20 04:01:26