Trace number 1832567

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
MD5SUM7df25975bd52e28f5eb180dab9fc29e0
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 variables200
Number of clauses17000
Sum of the clauses size119000
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 517000

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 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.03	c CPU time:   0.020996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  200                                                  |
0.00/0.06	c |  Number of clauses:    17000                                                |
0.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     200    17000   119000 |     5666        0    nan |  0.000 % |
0.05/0.09	c |       102 |     200    17000   119000 |     5666      102     56 |  0.003 % |
0.05/0.10	c |       204 |     200    17000   119000 |     5666      204     59 |  0.003 % |
0.05/0.11	c |       304 |     200    17000   119000 |     5666      304     59 |  0.003 % |
0.05/0.12	c |       414 |     200    17000   119000 |     5666      414     58 |  0.003 % |
0.05/0.13	c |       514 |     200    17000   119000 |     5666      514     57 |  0.003 % |
0.05/0.14	c |       624 |     200    17000   119000 |     5666      624     57 |  0.003 % |
0.05/0.15	c |       746 |     200    17000   119000 |     5666      746     57 |  0.003 % |
0.05/0.16	c |       846 |     200    17000   119000 |     5666      846     57 |  0.003 % |
0.05/0.17	c |       958 |     200    17000   119000 |     5666      958     57 |  0.003 % |
0.05/0.18	c |      1080 |     200    17000   119000 |     5666     1080     58 |  0.003 % |
0.05/0.19	c |      1216 |     200    17000   119000 |     5666     1216     57 |  0.003 % |
0.05/0.20	c |      1318 |     200    17000   119000 |     5666     1318     57 |  0.003 % |
0.05/0.21	c |      1431 |     200    17000   119000 |     5666     1431     57 |  0.003 % |
0.05/0.23	c |      1553 |     200    17000   119000 |     5666     1553     57 |  0.003 % |
0.05/0.24	c |      1687 |     200    17000   119000 |     5666     1687     57 |  0.003 % |
0.05/0.25	c |      1834 |     200    17000   119000 |     5666     1834     57 |  0.003 % |
0.05/0.26	c |      1936 |     200    17000   119000 |     5666     1936     57 |  0.003 % |
0.05/0.27	c |      2046 |     200    17000   119000 |     5666     2046     57 |  0.003 % |
0.05/0.28	c |      2168 |     200    17000   119000 |     5666     2168     57 |  0.003 % |
0.05/0.29	c |      2302 |     200    17000   119000 |     5666     2302     57 |  0.003 % |
0.05/0.31	c |      2448 |     200    17000   119000 |     5666     2448     57 |  0.003 % |
0.05/0.32	c |      2608 |     200    17000   119000 |     5666     2608     57 |  0.003 % |
0.05/0.33	c |      2708 |     200    17000   119000 |     5666     2708     57 |  0.003 % |
0.05/0.34	c |      2819 |     200    17000   119000 |     5666     2819     57 |  0.003 % |
0.05/0.35	c |      2942 |     200    17000   119000 |     5666     2942     57 |  0.003 % |
0.05/0.37	c |      3075 |     200    17000   119000 |     5666     3075     57 |  0.003 % |
0.05/0.38	c |      3221 |     200    17000   119000 |     5666     3221     57 |  0.003 % |
0.05/0.40	c |      3385 |     200    17000   119000 |     5666     3385     57 |  0.003 % |
0.05/0.42	c |      3561 |     200    17000   119000 |     5666     3561     57 |  0.003 % |
0.05/0.43	c |      3662 |     200    17000   119000 |     5666     3662     57 |  0.003 % |
0.05/0.44	c |      3772 |     200    17000   119000 |     5666     3772     57 |  0.003 % |
0.05/0.46	c |      3893 |     200    17000   119000 |     5666     3893     57 |  0.003 % |
0.05/0.47	c |      4026 |     200    17000   119000 |     5666     4026     57 |  0.003 % |
0.05/0.49	c |      4172 |     200    17000   119000 |     5666     4172     57 |  0.003 % |
0.05/0.51	c |      4333 |     200    17000   119000 |     5666     4333     57 |  0.003 % |
0.05/0.52	c |      4509 |     200    17000   119000 |     5666     4509     57 |  0.003 % |
0.05/0.54	c |      4702 |     200    17000   119000 |     5666     4702     57 |  0.003 % |
0.05/0.55	c |      4802 |     200    17000   119000 |     5666     4802     57 |  0.003 % |
0.05/0.57	c |      4912 |     200    17000   119000 |     5666     4912     57 |  0.003 % |
0.05/0.58	c |      5033 |     200    17000   119000 |     5666     5033     57 |  0.003 % |
0.05/0.60	c |      5169 |     200    17000   119000 |     5666     5169     57 |  0.003 % |
0.05/0.61	c |      5315 |     200    17000   119000 |     5666     5315     57 |  0.003 % |
0.05/0.63	c |      5477 |     200    17000   119000 |     5666     5477     57 |  0.003 % |
0.05/0.65	c |      5655 |     200    17000   119000 |     5666     5655     57 |  0.003 % |
0.05/0.67	c |      5848 |     200    17000   119000 |     5666     5273     57 |  0.003 % |
0.05/0.70	c |      6060 |     200    17000   119000 |     5666     5485     57 |  0.003 % |
0.05/0.71	c |      6160 |     200    17000   119000 |     5666     5585     57 |  0.003 % |
0.05/0.72	c |      6270 |     200    17000   119000 |     5666     5695     57 |  0.003 % |
0.05/0.74	c |      6391 |     200    17000   119000 |     5666     5247     57 |  0.003 % |
0.05/0.75	c |      6526 |     200    17000   119000 |     5666     5382     57 |  0.003 % |
0.05/0.77	c |      6673 |     200    17000   119000 |     5666     5529     57 |  0.003 % |
0.05/0.79	c |      6835 |     200    17000   119000 |     5666     5691     57 |  0.003 % |
0.05/0.81	c |      7013 |     200    17000   119000 |     5666     5300     57 |  0.003 % |
0.05/0.84	c |      7207 |     200    17000   119000 |     5666     5494     57 |  0.003 % |
0.05/0.86	c |      7419 |     200    17000   119000 |     5666     5706     57 |  0.003 % |
0.05/0.89	c |      7652 |     200    17000   119000 |     5666     5369     57 |  0.003 % |
0.05/0.90	c |      7756 |     200    17000   119000 |     5666     5473     57 |  0.003 % |
0.05/0.91	c |      7866 |     200    17000   119000 |     5666     5583     57 |  0.003 % |
0.05/0.93	c |      7987 |     200    17000   119000 |     5666     5704     57 |  0.003 % |
0.05/0.94	c |      8120 |     200    17000   119000 |     5666     5267     57 |  0.003 % |
0.05/0.96	c |      8267 |     200    17000   119000 |     5666     5414     57 |  0.003 % |
0.05/0.98	c |      8427 |     200    17000   119000 |     5666     5574     57 |  0.003 % |
0.98/1.01	c |      8603 |     200    17000   119000 |     5666     5750     57 |  0.003 % |
0.98/1.03	c |      8796 |     200    17000   119000 |     5666     5368     57 |  0.003 % |
0.98/1.06	c |      9009 |     200    17000   119000 |     5666     5581     57 |  0.003 % |
0.98/1.09	c |      9243 |     200    17000   119000 |     5666     5239     57 |  0.003 % |
1.08/1.12	c |      9500 |     200    17000   119000 |     5666     5496     57 |  0.003 % |
1.08/1.13	c |      9602 |     200    17000   119000 |     5666     5598     57 |  0.003 % |
1.08/1.14	c |      9712 |     200    17000   119000 |     5666     5708     57 |  0.003 % |
1.08/1.16	c |      9833 |     200    17000   119000 |     5666     5259     57 |  0.003 % |
1.08/1.17	c |      9968 |     200    17000   119000 |     5666     5394     57 |  0.003 % |
1.08/1.19	c |     10114 |     200    17000   119000 | 2147483647     5540     57 |  0.003 % |
1.17/1.21	c |     10274 |     200    17000   119000 | 2147483647     5700     57 |  0.003 % |
1.17/1.23	c |     10452 |     200    17000   119000 | 2147483647     5878     57 |  0.003 % |
1.17/1.26	c |     10645 |     200    17000   119000 | 2147483647     6071     57 |  0.003 % |
1.17/1.28	c |     10857 |     200    17000   119000 | 2147483647     6283     57 |  0.003 % |
1.27/1.31	c |     11091 |     200    17000   119000 | 2147483647     6517     57 |  0.003 % |
1.27/1.35	c |     11350 |     200    17000   119000 | 2147483647     6776     57 |  0.003 % |
1.27/1.38	c |     11632 |     200    17000   119000 | 2147483647     7058     57 |  0.003 % |
1.27/1.39	c |     11733 |     200    17000   119000 | 2147483647     7159     57 |  0.003 % |
1.37/1.41	c |     11845 |     200    17000   119000 | 2147483647     7271     57 |  0.003 % |
1.37/1.43	c |     11969 |     200    17000   119000 | 2147483647     7395     57 |  0.003 % |
1.37/1.45	c |     12103 |     200    17000   119000 | 2147483647     7529     57 |  0.003 % |
1.37/1.47	c |     12249 |     200    17000   119000 | 2147483647     7675     57 |  0.003 % |
1.37/1.49	c |     12411 |     200    17000   119000 | 2147483647     7837     57 |  0.003 % |
1.47/1.51	c |     12587 |     200    17000   119000 | 2147483647     8013     57 |  0.003 % |
1.47/1.54	c |     12780 |     200    17000   119000 | 2147483647     8206     57 |  0.003 % |
1.47/1.57	c |     12992 |     200    17000   119000 | 2147483647     8418     57 |  0.003 % |
1.57/1.61	c |     13225 |     200    17000   119000 | 2147483647     8651     57 |  0.003 % |
1.57/1.64	c |     13481 |     200    17000   119000 | 2147483647     8907     57 |  0.003 % |
1.57/1.69	c |     13762 |     200    17000   119000 | 2147483647     9188     57 |  0.003 % |
1.67/1.73	c |     14071 |     200    17000   119000 | 2147483647     9497     57 |  0.003 % |
1.67/1.75	c |     14171 |     200    17000   119000 | 2147483647     9597     57 |  0.003 % |
1.67/1.76	c |     14282 |     200    17000   119000 | 2147483647     9708     57 |  0.003 % |
1.67/1.78	c |     14405 |     200    17000   119000 | 2147483647     9831     57 |  0.003 % |
1.77/1.80	c |     14539 |     200    17000   119000 | 2147483647     9965     57 |  0.003 % |
1.77/1.83	c |     14685 |     200    17000   119000 | 2147483647    10111     57 |  0.003 % |
1.77/1.85	c |     14847 |     200    17000   119000 | 2147483647    10273     57 |  0.003 % |
1.77/1.88	c |     15023 |     200    17000   119000 | 2147483647    10449     57 |  0.003 % |
1.87/1.91	c |     15216 |     200    17000   119000 | 2147483647    10642     57 |  0.003 % |
1.87/1.94	c |     15428 |     200    17000   119000 | 2147483647    10854     57 |  0.003 % |
1.87/1.98	c |     15661 |     200    17000   119000 | 2147483647    11087     57 |  0.003 % |
1.97/2.03	c |     15918 |     200    17000   119000 | 2147483647    11344     57 |  0.003 % |
1.97/2.07	c |     16200 |     200    17000   119000 | 2147483647    11626     57 |  0.003 % |
2.07/2.12	c |     16509 |     200    17000   119000 | 2147483647    11935     57 |  0.003 % |
2.07/2.19	c |     16848 |     200    17000   119000 | 2147483647    12274     57 |  0.003 % |
2.17/2.21	c |     16948 |     200    17000   119000 | 2147483647    12374     57 |  0.003 % |
2.17/2.23	c |     17060 |     200    17000   119000 | 2147483647    12486     57 |  0.003 % |
2.17/2.25	c |     17181 |     200    17000   119000 | 2147483647    12607     57 |  0.003 % |
2.17/2.28	c |     17314 |     200    17000   119000 | 2147483647    12740     57 |  0.003 % |
2.27/2.31	c |     17461 |     200    17000   119000 | 2147483647    12887     57 |  0.003 % |
2.27/2.34	c |     17624 |     200    17000   119000 | 2147483647    13050     57 |  0.003 % |
2.27/2.37	c |     17801 |     200    17000   119000 | 2147483647    13227     57 |  0.003 % |
2.37/2.41	c |     17994 |     200    17000   119000 | 2147483647    13420     57 |  0.003 % |
2.37/2.44	c |     18207 |     200    17000   119000 | 2147483647    13633     57 |  0.003 % |
2.37/2.48	c |     18441 |     200    17000   119000 | 2147483647    13867     57 |  0.003 % |
2.47/2.53	c |     18697 |     200    17000   119000 | 2147483647    14123     57 |  0.003 % |
2.47/2.59	c |     18978 |     200    17000   119000 | 2147483647    14404     57 |  0.003 % |
2.56/2.66	c |     19287 |     200    17000   119000 | 2147483647    14713     57 |  0.003 % |
2.66/2.73	c |     19626 |     200    17000   119000 | 2147483647    15052     57 |  0.003 % |
2.76/2.81	c |     19999 |     200    17000   119000 | 2147483647    15425     57 |  0.003 % |
2.76/2.83	c |     20099 |     200    17000   119000 | 2147483647    15525     57 |  0.003 % |
2.76/2.86	c |     20209 |     200    17000   119000 | 2147483647    15635     57 |  0.003 % |
2.76/2.89	c |     20330 |     200    17000   119000 | 2147483647    15756     57 |  0.003 % |
2.86/2.92	c |     20463 |     200    17000   119000 | 2147483647    15889     57 |  0.003 % |
2.86/2.95	c |     20611 |     200    17000   119000 | 2147483647    16037     57 |  0.003 % |
2.86/2.98	c |     20771 |     200    17000   119000 | 2147483647    16197     57 |  0.003 % |
2.96/3.02	c |     20948 |     200    17000   119000 | 2147483647    16374     57 |  0.003 % |
2.96/3.07	c |     21142 |     200    17000   119000 | 2147483647    16568     57 |  0.003 % |
3.06/3.12	c |     21355 |     200    17000   119000 | 2147483647    16781     57 |  0.003 % |
3.06/3.16	c |     21590 |     200    17000   119000 | 2147483647    17016     57 |  0.003 % |
3.17/3.22	c |     21846 |     200    17000   119000 | 2147483647    17272     57 |  0.003 % |
3.17/3.28	c |     22129 |     200    17000   119000 | 2147483647    17555     57 |  0.003 % |
3.27/3.35	c |     22439 |     200    17000   119000 | 2147483647    17865     57 |  0.003 % |
3.36/3.43	c |     22778 |     200    17000   119000 | 2147483647    18204     57 |  0.003 % |
3.46/3.52	c |     23150 |     200    17000   119000 | 2147483647    18576     57 |  0.003 % |
3.57/3.63	c |     23560 |     200    17000   119000 | 2147483647    18986     57 |  0.003 % |
3.57/3.66	c |     23663 |     200    17000   119000 | 2147483647    19089     57 |  0.003 % |
3.57/3.69	c |     23774 |     200    17000   119000 | 2147483647    19200     57 |  0.003 % |
3.67/3.72	c |     23895 |     200    17000   119000 | 2147483647    19321     57 |  0.003 % |
3.67/3.76	c |     24028 |     200    17000   119000 | 2147483647    19454     57 |  0.003 % |
3.77/3.80	c |     24174 |     200    17000   119000 | 2147483647    19600     57 |  0.003 % |
3.77/3.85	c |     24335 |     200    17000   119000 | 2147483647    19761     57 |  0.003 % |
3.87/3.90	c |     24512 |     200    17000   119000 | 2147483647    19938     57 |  0.003 % |
3.87/3.95	c |     24705 |     200    17000   119000 | 2147483647    20131     57 |  0.003 % |
3.97/4.00	c |     24918 |     200    17000   119000 | 2147483647    20344     57 |  0.003 % |
3.97/4.07	c |     25151 |     200    17000   119000 | 2147483647    20577     57 |  0.003 % |
4.07/4.14	c |     25407 |     200    17000   119000 | 2147483647    20833     57 |  0.003 % |
4.17/4.21	c |     25688 |     200    17000   119000 | 2147483647    21114     57 |  0.003 % |
4.17/4.29	c |     25997 |     200    17000   119000 | 2147483647    21423     57 |  0.003 % |
4.28/4.37	c |     26336 |     200    17000   119000 | 2147483647    21762     57 |  0.003 % |
4.38/4.48	c |     26710 |     200    17000   119000 | 2147483647    22136     57 |  0.003 % |
4.47/4.59	c |     27119 |     200    17000   119000 | 2147483647    22545     57 |  0.003 % |
4.67/4.71	c |     27568 |     200    17000   119000 | 2147483647    22994     57 |  0.003 % |
4.67/4.75	c |     27669 |     200    17000   119000 | 2147483647    23095     57 |  0.003 % |
4.67/4.78	c |     27779 |     200    17000   119000 | 2147483647    23205     57 |  0.003 % |
4.77/4.82	c |     27902 |     200    17000   119000 | 2147483647    23328     57 |  0.003 % |
4.77/4.86	c |     28037 |     200    17000   119000 | 2147483647    23463     57 |  0.003 % |
4.87/4.91	c |     28183 |     200    17000   119000 | 2147483647    23609     57 |  0.003 % |
4.87/4.96	c |     28343 |     200    17000   119000 | 2147483647    23769     57 |  0.003 % |
4.97/5.01	c |     28519 |     200    17000   119000 | 2147483647    23945     57 |  0.003 % |
4.97/5.08	c |     28714 |     200    17000   119000 | 2147483647    24140     57 |  0.003 % |
5.07/5.15	c |     28926 |     200    17000   119000 | 2147483647    24352     57 |  0.003 % |
5.17/5.22	c |     29159 |     200    17000   119000 | 2147483647    24585     57 |  0.003 % |
5.27/5.30	c |     29416 |     200    17000   119000 | 2147483647    24842     57 |  0.003 % |
5.27/5.40	c |     29697 |     200    17000   119000 | 2147483647    25123     57 |  0.003 % |
5.37/5.49	c |     30007 |     200    17000   119000 | 2147483647    25433     57 |  0.003 % |
5.57/5.61	c |     30348 |     200    17000   119000 | 2147483647    25774     57 |  0.003 % |
5.67/5.73	c |     30721 |     200    17000   119000 | 2147483647    26147     57 |  0.003 % |
5.77/5.86	c |     31130 |     200    17000   119000 | 2147483647    26556     57 |  0.003 % |
5.97/6.01	c |     31579 |     200    17000   119000 | 2147483647    27005     57 |  0.003 % |
6.07/6.19	c |     32072 |     200    17000   119000 | 2147483647    27498     57 |  0.003 % |
6.17/6.23	c |     32172 |     200    17000   119000 | 2147483647    27598     57 |  0.003 % |
6.17/6.28	c |     32283 |     200    17000   119000 | 2147483647    27709     57 |  0.003 % |
6.27/6.32	c |     32404 |     200    17000   119000 | 2147483647    27830     57 |  0.003 % |
6.27/6.37	c |     32538 |     200    17000   119000 | 2147483647    27964     57 |  0.003 % |
6.37/6.43	c |     32685 |     200    17000   119000 | 2147483647    28111     57 |  0.003 % |
6.37/6.49	c |     32846 |     200    17000   119000 | 2147483647    28272     57 |  0.003 % |
6.47/6.55	c |     33022 |     200    17000   119000 | 2147483647    28448     57 |  0.003 % |
6.57/6.63	c |     33217 |     200    17000   119000 | 2147483647    28643     57 |  0.003 % |
6.67/6.72	c |     33429 |     200    17000   119000 | 2147483647    28855     57 |  0.003 % |
6.77/6.81	c |     33662 |     200    17000   119000 | 2147483647    29088     57 |  0.003 % |
6.87/6.90	c |     33919 |     200    17000   119000 | 2147483647    29345     57 |  0.003 % |
6.97/7.01	c |     34200 |     200    17000   119000 | 2147483647    29626     57 |  0.003 % |
7.07/7.12	c |     34509 |     200    17000   119000 | 2147483647    29935     57 |  0.003 % |
7.17/7.25	c |     34848 |     200    17000   119000 | 2147483647    30274     57 |  0.003 % |
7.27/7.39	c |     35220 |     200    17000   119000 | 2147483647    30646     57 |  0.003 % |
7.47/7.54	c |     35631 |     200    17000   119000 | 2147483647    31057     57 |  0.003 % |
7.67/7.71	c |     36084 |     200    17000   119000 | 2147483647    31510     57 |  0.003 % |
7.87/7.92	c |     36578 |     200    17000   119000 | 2147483647    32004     57 |  0.003 % |
8.07/8.11	c |     37120 |     200    17000   119000 | 2147483647    32546     57 |  0.003 % |
8.07/8.15	c |     37220 |     200    17000   119000 | 2147483647    32646     57 |  0.003 % |
8.17/8.20	c |     37331 |     200    17000   119000 | 2147483647    32757     57 |  0.003 % |
8.17/8.25	c |     37452 |     200    17000   119000 | 2147483647    32878     57 |  0.003 % |
8.27/8.30	c |     37585 |     200    17000   119000 | 2147483647    33011     57 |  0.003 % |
8.27/8.38	c |     37732 |     200    17000   119000 | 2147483647    33158     57 |  0.003 % |
8.37/8.46	c |     37894 |     200    17000   119000 | 2147483647    33320     57 |  0.003 % |
8.47/8.53	c |     38070 |     200    17000   119000 | 2147483647    33496     57 |  0.003 % |
8.57/8.61	c |     38263 |     200    17000   119000 | 2147483647    33689     57 |  0.003 % |
8.67/8.70	c |     38477 |     200    17000   119000 | 2147483647    33903     57 |  0.003 % |
8.77/8.81	c |     38714 |     200    17000   119000 | 2147483647    34140     57 |  0.003 % |
8.87/8.91	c |     38972 |     200    17000   119000 | 2147483647    34398     57 |  0.003 % |
8.96/9.03	c |     39255 |     200    17000   119000 | 2147483647    34681     57 |  0.003 % |
9.06/9.16	c |     39565 |     200    17000   119000 | 2147483647    34991     57 |  0.003 % |
9.26/9.32	c |     39904 |     200    17000   119000 | 2147483647    35330     57 |  0.003 % |
9.36/9.47	c |     40278 |     200    17000   119000 | 2147483647    35704     57 |  0.003 % |
9.56/9.66	c |     40687 |     200    17000   119000 | 2147483647    36113     57 |  0.003 % |
9.77/9.87	c |     41139 |     200    17000   119000 | 2147483647    36565     57 |  0.003 % |
9.97/10.07	c |     41633 |     200    17000   119000 | 2147483647    37059     57 |  0.003 % |
10.17/10.29	c |     42177 |     200    17000   119000 | 2147483647    37603     57 |  0.003 % |
10.47/10.56	c |     42775 |     200    17000   119000 | 2147483647    38201     57 |  0.003 % |
10.57/10.61	c |     42875 |     200    17000   119000 | 2147483647    38301     57 |  0.003 % |
10.57/10.66	c |     42987 |     200    17000   119000 | 2147483647    38413     57 |  0.003 % |
10.67/10.71	c |     43109 |     200    17000   119000 | 2147483647    38535     57 |  0.003 % |
10.67/10.77	c |     43245 |     200    17000   119000 | 2147483647    38671     57 |  0.003 % |
10.77/10.84	c |     43391 |     200    17000   119000 | 2147483647    38817     57 |  0.003 % |
10.88/10.92	c |     43552 |     200    17000   119000 | 2147483647    38978     57 |  0.003 % |
10.98/11.01	c |     43731 |     200    17000   119000 | 2147483647    39157     57 |  0.003 % |
11.07/11.11	c |     43925 |     200    17000   119000 | 2147483647    39351     57 |  0.003 % |
11.17/11.21	c |     44137 |     200    17000   119000 | 2147483647    39563     57 |  0.003 % |
11.27/11.32	c |     44370 |     200    17000   119000 | 2147483647    39796     57 |  0.003 % |
11.37/11.44	c |     44629 |     200    17000   119000 | 2147483647    40055     57 |  0.003 % |
11.47/11.57	c |     44911 |     200    17000   119000 | 2147483647    40337     57 |  0.003 % |
11.67/11.70	c |     45223 |     200    17000   119000 | 2147483647    40649     57 |  0.003 % |
11.77/11.87	c |     45563 |     200    17000   119000 | 2147483647    40989     57 |  0.003 % |
11.98/12.07	c |     45935 |     200    17000   119000 | 2147483647    41361     57 |  0.003 % |
12.17/12.27	c |     46347 |     200    17000   119000 | 2147483647    41773     57 |  0.003 % |
12.37/12.48	c |     46798 |     200    17000   119000 | 2147483647    42224     57 |  0.003 % |
12.67/12.72	c |     47291 |     200    17000   119000 | 2147483647    42717     57 |  0.003 % |
12.87/12.97	c |     47834 |     200    17000   119000 | 2147483647    43260     57 |  0.003 % |
13.17/13.25	c |     48433 |     200    17000   119000 | 2147483647    43859     57 |  0.003 % |
13.47/13.55	c |     49090 |     200    17000   119000 | 2147483647    44516     57 |  0.003 % |
13.57/13.62	c |     49192 |     200    17000   119000 | 2147483647    44618     57 |  0.003 % |
13.57/13.68	c |     49304 |     200    17000   119000 | 2147483647    44730     57 |  0.003 % |
13.67/13.76	c |     49427 |     200    17000   119000 | 2147483647    44853     57 |  0.003 % |
13.77/13.84	c |     49562 |     200    17000   119000 | 2147483647    44988     57 |  0.003 % |
13.87/13.92	c |     49709 |     200    17000   119000 | 2147483647    45135     57 |  0.003 % |
13.97/14.02	c |     49869 |     200    17000   119000 | 2147483647    45295     57 |  0.003 % |
14.07/14.12	c |     50049 |     200    17000   119000 | 2147483647    45475     57 |  0.003 % |
14.18/14.23	c |     50242 |     200    17000   119000 | 2147483647    45668     57 |  0.003 % |
14.28/14.34	c |     50455 |     200    17000   119000 | 2147483647    45881     57 |  0.003 % |
14.37/14.46	c |     50688 |     200    17000   119000 | 2147483647    46114     57 |  0.003 % |
14.47/14.58	c |     50946 |     200    17000   119000 | 2147483647    46372     57 |  0.003 % |
14.67/14.72	c |     51227 |     200    17000   119000 | 2147483647    46653     57 |  0.003 % |
14.77/14.88	c |     51539 |     200    17000   119000 | 2147483647    46965     57 |  0.003 % |
14.97/15.08	c |     51878 |     200    17000   119000 | 2147483647    47304     57 |  0.003 % |
15.28/15.31	c |     52253 |     200    17000   119000 | 2147483647    47679     57 |  0.003 % |
15.47/15.55	c |     52663 |     200    17000   119000 | 2147483647    48089     57 |  0.003 % |
15.77/15.80	c |     53113 |     200    17000   119000 | 2147483647    48539     57 |  0.003 % |
15.97/16.05	c |     53606 |     200    17000   119000 | 2147483647    49032     57 |  0.003 % |
16.27/16.33	c |     54150 |     200    17000   119000 | 2147483647    49576     57 |  0.003 % |
16.57/16.64	c |     54747 |     200    17000   119000 | 2147483647    50173     57 |  0.003 % |
16.87/16.99	c |     55403 |     200    17000   119000 | 2147483647    50829     57 |  0.003 % |
17.37/17.40	c |     56123 |     200    17000   119000 | 2147483647    51549     57 |  0.003 % |
17.37/17.45	c |     56223 |     200    17000   119000 | 2147483647    51649     57 |  0.003 % |
17.48/17.52	c |     56334 |     200    17000   119000 | 2147483647    51760     57 |  0.003 % |
17.48/17.59	c |     56455 |     200    17000   119000 | 2147483647    51881     57 |  0.003 % |
17.57/17.69	c |     56588 |     200    17000   119000 | 2147483647    52014     57 |  0.003 % |
17.77/17.80	c |     56736 |     200    17000   119000 | 2147483647    52162     57 |  0.003 % |
17.87/17.90	c |     56898 |     200    17000   119000 | 2147483647    52324     57 |  0.003 % |
17.97/18.02	c |     57074 |     200    17000   119000 | 2147483647    52500     57 |  0.003 % |
18.07/18.16	c |     57268 |     200    17000   119000 | 2147483647    52694     57 |  0.003 % |
18.27/18.31	c |     57483 |     200    17000   119000 | 2147483647    52909     57 |  0.003 % |
18.37/18.46	c |     57716 |     200    17000   119000 | 2147483647    53142     57 |  0.003 % |
18.57/18.62	c |     57973 |     200    17000   119000 | 2147483647    53399     57 |  0.003 % |
18.67/18.79	c |     58254 |     200    17000   119000 | 2147483647    53680     57 |  0.003 % |
18.87/18.98	c |     58563 |     200    17000   119000 | 2147483647    53989     57 |  0.003 % |
19.18/19.21	c |     58902 |     200    17000   119000 | 2147483647    54328     57 |  0.003 % |
19.38/19.45	c |     59275 |     200    17000   119000 | 2147483647    54701     57 |  0.003 % |
19.58/19.68	c |     59684 |     200    17000   119000 | 2147483647    55110     57 |  0.003 % |
19.87/19.96	c |     60135 |     200    17000   119000 | 2147483647    55561     57 |  0.003 % |
20.17/20.28	c |     60630 |     200    17000   119000 | 2147483647    56056     57 |  0.003 % |
20.57/20.61	c |     61172 |     200    17000   119000 | 2147483647    56598     57 |  0.003 % |
20.88/20.97	c |     61768 |     200    17000   119000 | 2147483647    57194     57 |  0.003 % |
21.27/21.39	c |     62424 |     200    17000   119000 | 2147483647    57850     57 |  0.003 % |
21.77/21.85	c |     63144 |     200    17000   119000 | 2147483647    58570     57 |  0.003 % |
22.27/22.31	c |     63937 |     200    17000   119000 | 2147483647    59363     57 |  0.003 % |
22.27/22.38	c |     64037 |     200    17000   119000 | 2147483647    59463     57 |  0.003 % |
22.37/22.49	c |     64148 |     200    17000   119000 | 2147483647    59574     57 |  0.003 % |
22.47/22.58	c |     64270 |     200    17000   119000 | 2147483647    59696     57 |  0.003 % |
22.57/22.69	c |     64403 |     200    17000   119000 | 2147483647    59829     57 |  0.003 % |
22.67/22.79	c |     64549 |     200    17000   119000 | 2147483647    59975     57 |  0.003 % |
22.87/22.93	c |     64709 |     200    17000   119000 | 2147483647    60135     57 |  0.003 % |
22.97/23.07	c |     64886 |     200    17000   119000 | 2147483647    60312     57 |  0.003 % |
23.17/23.22	c |     65081 |     200    17000   119000 | 2147483647    60507     57 |  0.003 % |
23.37/23.41	c |     65294 |     200    17000   119000 | 2147483647    60720     57 |  0.003 % |
23.47/23.58	c |     65527 |     200    17000   119000 | 2147483647    60953     57 |  0.003 % |
23.67/23.78	c |     65783 |     200    17000   119000 | 2147483647    61209     57 |  0.003 % |
23.97/24.00	c |     66064 |     200    17000   119000 | 2147483647    61490     57 |  0.003 % |
24.17/24.25	c |     66374 |     200    17000   119000 | 2147483647    61800     57 |  0.003 % |
24.47/24.51	c |     66713 |     200    17000   119000 | 2147483647    62139     57 |  0.003 % |
24.67/24.77	c |     67087 |     200    17000   119000 | 2147483647    62513     57 |  0.003 % |
24.97/25.09	c |     67496 |     200    17000   119000 | 2147483647    62922     57 |  0.003 % |
25.37/25.40	c |     67945 |     200    17000   119000 | 2147483647    63371     57 |  0.003 % |
25.67/25.75	c |     68440 |     200    17000   119000 | 2147483647    63866     57 |  0.003 % |
26.07/26.11	c |     68982 |     200    17000   119000 | 2147483647    64408     57 |  0.003 % |
26.37/26.49	c |     69578 |     200    17000   119000 | 2147483647    65004     57 |  0.003 % |
26.97/27.05	c |     70233 |     200    17000   119000 | 2147483647    65659     57 |  0.003 % |
27.57/27.63	c |     70955 |     200    17000   119000 | 2147483647    66381     58 |  0.003 % |
28.17/28.26	c |     71748 |     200    17000   119000 | 2147483647    67174     58 |  0.003 % |
28.78/28.86	c |     72619 |     200    17000   119000 | 2147483647    68045     58 |  0.003 % |
28.88/28.95	c |     72719 |     200    17000   119000 | 2147483647    68145     58 |  0.003 % |
28.98/29.04	c |     72830 |     200    17000   119000 | 2147483647    68256     58 |  0.003 % |
29.08/29.13	c |     72951 |     200    17000   119000 | 2147483647    68377     58 |  0.003 % |
29.18/29.25	c |     73085 |     200    17000   119000 | 2147483647    68511     58 |  0.003 % |
29.38/29.40	c |     73231 |     200    17000   119000 | 2147483647    68657     58 |  0.003 % |
29.48/29.55	c |     73391 |     200    17000   119000 | 2147483647    68817     58 |  0.003 % |
29.68/29.70	c |     73567 |     200    17000   119000 | 2147483647    68993     58 |  0.003 % |
29.78/29.86	c |     73760 |     200    17000   119000 | 2147483647    69186     58 |  0.003 % |
29.98/30.04	c |     73972 |     200    17000   119000 | 2147483647    69398     58 |  0.003 % |
30.18/30.23	c |     74205 |     200    17000   119000 | 2147483647    69631     58 |  0.003 % |
30.38/30.44	c |     74463 |     200    17000   119000 | 2147483647    69889     58 |  0.003 % |
30.58/30.65	c |     74745 |     200    17000   119000 | 2147483647    70171     58 |  0.003 % |
30.88/30.90	c |     75054 |     200    17000   119000 | 2147483647    70480     58 |  0.003 % |
31.18/31.24	c |     75393 |     200    17000   119000 | 2147483647    70819     58 |  0.003 % |
31.48/31.56	c |     75769 |     200    17000   119000 | 2147483647    71195     58 |  0.003 % |
31.88/31.91	c |     76178 |     200    17000   119000 | 2147483647    71604     58 |  0.003 % |
32.18/32.26	c |     76627 |     200    17000   119000 | 2147483647    72053     58 |  0.003 % |
32.58/32.65	c |     77120 |     200    17000   119000 | 2147483647    72546     58 |  0.003 % |
32.98/33.07	c |     77665 |     200    17000   119000 | 2147483647    73091     58 |  0.003 % |
33.48/33.57	c |     78263 |     200    17000   119000 | 2147483647    73689     58 |  0.003 % |
34.08/34.12	c |     78921 |     200    17000   119000 | 2147483647    74347     58 |  0.003 % |
34.57/34.69	c |     79643 |     200    17000   119000 | 2147483647    75069     58 |  0.003 % |
35.27/35.38	c |     80435 |     200    17000   119000 |    75426    67996     58 |  0.003 % |
35.88/35.98	c |     81307 |     200    17000   119000 |    75426    68868     57 |  0.003 % |
36.58/36.67	c |     82265 |     200    17000   119000 |    75426    69826     57 |  0.003 % |
36.68/36.74	c |     82366 |     200    17000   119000 |    75426    69927     58 |  0.003 % |
36.78/36.83	c |     82476 |     200    17000   119000 |    75426    70037     58 |  0.003 % |
36.88/36.93	c |     82597 |     200    17000   119000 |    75426    70158     58 |  0.003 % |
36.98/37.07	c |     82730 |     200    17000   119000 |    75426    70291     57 |  0.003 % |
37.18/37.20	c |     82877 |     200    17000   119000 |    75426    70438     57 |  0.003 % |
37.28/37.32	c |     83038 |     200    17000   119000 |    75426    70599     57 |  0.003 % |
37.48/37.51	c |     83214 |     200    17000   119000 |    75426    70775     57 |  0.003 % |
37.58/37.67	c |     83408 |     200    17000   119000 |    75426    70969     57 |  0.003 % |
37.78/37.86	c |     83620 |     200    17000   119000 |    75426    71181     57 |  0.003 % |
37.98/38.05	c |     83854 |     200    17000   119000 |    75426    71415     57 |  0.003 % |
38.18/38.23	c |     84110 |     200    17000   119000 |    75426    71671     57 |  0.003 % |
38.38/38.49	c |     84392 |     200    17000   119000 |    75426    71953     57 |  0.003 % |
38.68/38.75	c |     84702 |     200    17000   119000 |    75426    72263     57 |  0.003 % |
38.98/39.01	c |     85041 |     200    17000   119000 |    75426    72602     57 |  0.003 % |
39.28/39.38	c |     85413 |     200    17000   119000 |    75426    72974     57 |  0.003 % |
39.68/39.70	c |     85822 |     200    17000   119000 |    75426    73383     57 |  0.003 % |
39.98/40.06	c |     86271 |     200    17000   119000 |    75426    73832     57 |  0.003 % |
40.38/40.46	c |     86764 |     200    17000   119000 |    75426    74325     57 |  0.003 % |
40.78/40.89	c |     87307 |     200    17000   119000 |    75426    74868     57 |  0.003 % |
41.27/41.33	c |     87904 |     200    17000   119000 |    75426    75465     57 |  0.003 % |
41.78/41.89	c |     88560 |     200    17000   119000 |    75426    67091     57 |  0.003 % |
42.37/42.48	c |     89280 |     200    17000   119000 |    75426    67811     57 |  0.003 % |
42.97/43.09	c |     90073 |     200    17000   119000 |    68531    68604     57 |  0.003 % |
43.67/43.79	c |     90944 |     200    17000   119000 |    68531    61406     57 |  0.003 % |
44.38/44.41	c |     91902 |     200    17000   119000 |    68531    62364     58 |  0.003 % |
45.08/45.11	c |     92957 |     200    17000   119000 |    68531    63419     58 |  0.003 % |
45.08/45.19	c |     93057 |     200    17000   119000 |    68531    63519     58 |  0.003 % |
45.28/45.30	c |     93167 |     200    17000   119000 |    68531    63629     58 |  0.003 % |
45.37/45.40	c |     93290 |     200    17000   119000 |    68531    63752     58 |  0.003 % |
45.47/45.50	c |     93423 |     200    17000   119000 |    68531    63885     58 |  0.003 % |
45.57/45.62	c |     93571 |     200    17000   119000 |    68531    64033     58 |  0.003 % |
45.67/45.75	c |     93731 |     200    17000   119000 |    68531    64193     58 |  0.003 % |
45.77/45.88	c |     93907 |     200    17000   119000 |    68531    64369     58 |  0.003 % |
45.97/46.03	c |     94101 |     200    17000   119000 |    68531    64563     58 |  0.003 % |
46.08/46.18	c |     94313 |     200    17000   119000 |    68531    64775     58 |  0.003 % |
46.27/46.34	c |     94546 |     200    17000   119000 |    68531    65008     58 |  0.003 % |
46.47/46.57	c |     94804 |     200    17000   119000 |    68531    65266     58 |  0.003 % |
46.67/46.78	c |     95086 |     200    17000   119000 |    68531    65548     58 |  0.003 % |
46.97/47.04	c |     95395 |     200    17000   119000 |    68531    65857     58 |  0.003 % |
47.18/47.28	c |     95741 |     200    17000   119000 |    68531    66203     58 |  0.003 % |
47.47/47.57	c |     96113 |     200    17000   119000 |    68531    66575     58 |  0.003 % |
47.77/47.89	c |     96522 |     200    17000   119000 |    68531    66984     58 |  0.003 % |
48.17/48.26	c |     96971 |     200    17000   119000 |    68531    67433     58 |  0.003 % |
48.57/48.67	c |     97466 |     200    17000   119000 |    68531    67928     58 |  0.003 % |
48.97/49.10	c |     98008 |     200    17000   119000 |    68531    68470     58 |  0.003 % |
49.58/49.61	c |     98606 |     200    17000   119000 |    68531    61903     57 |  0.003 % |
50.08/50.11	c |     99262 |     200    17000   119000 |    68531    62559     57 |  0.003 % |
50.58/50.63	c |     99984 |     200    17000   119000 |    68531    63281     57 |  0.003 % |
51.08/51.19	c |    100776 |     200    17000   119000 |    63297    57630     57 |  0.003 % |
51.68/51.79	c |    101647 |     200    17000   119000 |    63297    58501     57 |  0.003 % |
52.38/52.40	c |    102606 |     200    17000   119000 |    63297    59460     57 |  0.003 % |
52.98/53.04	c |    103659 |     200    17000   119000 |    63297    60513     57 |  0.003 % |
53.68/53.79	c |    104817 |     200    17000   119000 |    63297    61671     57 |  0.003 % |
53.78/53.86	c |    104917 |     200    17000   119000 |    63297    61771     57 |  0.003 % |
53.88/53.94	c |    105028 |     200    17000   119000 |    63297    61882     57 |  0.003 % |
53.98/54.06	c |    105150 |     200    17000   119000 |    63297    62004     57 |  0.003 % |
54.07/54.17	c |    105283 |     200    17000   119000 |    63297    62137     57 |  0.003 % |
54.17/54.28	c |    105429 |     200    17000   119000 |    63297    62283     57 |  0.003 % |
54.27/54.39	c |    105589 |     200    17000   119000 |    63297    62443     57 |  0.003 % |
54.47/54.54	c |    105765 |     200    17000   119000 |    63297    62619     57 |  0.003 % |
54.57/54.69	c |    105959 |     200    17000   119000 |    63297    62813     57 |  0.003 % |
54.77/54.88	c |    106171 |     200    17000   119000 |    63297    63025     57 |  0.003 % |
54.98/55.06	c |    106404 |     200    17000   119000 |    63297    63258     57 |  0.003 % |
55.17/55.28	c |    106661 |     200    17000   119000 |    63297    57177     57 |  0.003 % |
55.37/55.48	c |    106942 |     200    17000   119000 |    63297    57458     57 |  0.003 % |
55.57/55.69	c |    107251 |     200    17000   119000 |    63297    57767     57 |  0.003 % |
55.87/55.90	c |    107590 |     200    17000   119000 |    63297    58106     57 |  0.003 % |
56.08/56.17	c |    107963 |     200    17000   119000 |    63297    58479     57 |  0.003 % |
56.37/56.45	c |    108372 |     200    17000   119000 |    63297    58888     57 |  0.003 % |
56.68/56.74	c |    108822 |     200    17000   119000 |    63297    59338     57 |  0.003 % |
56.98/57.07	c |    109316 |     200    17000   119000 |    63297    59832     57 |  0.003 % |
57.38/57.45	c |    109858 |     200    17000   119000 |    63297    60374     57 |  0.003 % |
57.78/57.84	c |    110454 |     200    17000   119000 | 2147483647    60970     57 |  0.003 % |
58.18/58.23	c |    111110 |     200    17000   119000 | 2147483647    61626     58 |  0.003 % |
58.58/58.69	c |    111830 |     200    17000   119000 | 2147483647    62346     58 |  0.003 % |
59.18/59.24	c |    112622 |     200    17000   119000 | 2147483647    63138     58 |  0.003 % |
59.67/59.78	c |    113494 |     200    17000   119000 | 2147483647    64010     58 |  0.003 % |
60.28/60.38	c |    114453 |     200    17000   119000 | 2147483647    64969     58 |  0.003 % |
60.97/61.05	c |    115510 |     200    17000   119000 | 2147483647    66026     58 |  0.003 % |
61.98/62.02	c |    116669 |     200    17000   119000 | 2147483647    67185     58 |  0.003 % |
62.97/63.01	c |    117944 |     200    17000   119000 | 2147483647    68460     58 |  0.003 % |
63.07/63.11	c |    118044 |     200    17000   119000 | 2147483647    68560     58 |  0.003 % |
63.17/63.21	c |    118155 |     200    17000   119000 | 2147483647    68671     58 |  0.003 % |
63.27/63.32	c |    118277 |     200    17000   119000 | 2147483647    68793     58 |  0.003 % |
63.37/63.43	c |    118410 |     200    17000   119000 | 2147483647    68926     58 |  0.003 % |
63.47/63.57	c |    118557 |     200    17000   119000 | 2147483647    69073     58 |  0.003 % |
63.68/63.74	c |    118717 |     200    17000   119000 | 2147483647    69233     58 |  0.003 % |
63.78/63.89	c |    118893 |     200    17000   119000 | 2147483647    69409     58 |  0.003 % |
63.98/64.06	c |    119088 |     200    17000   119000 | 2147483647    69604     58 |  0.003 % |
64.18/64.26	c |    119302 |     200    17000   119000 | 2147483647    69818     58 |  0.003 % |
64.38/64.46	c |    119536 |     200    17000   119000 | 2147483647    70052     58 |  0.003 % |
64.68/64.71	c |    119792 |     200    17000   119000 | 2147483647    70308     58 |  0.003 % |
64.88/64.97	c |    120073 |     200    17000   119000 | 2147483647    70589     58 |  0.003 % |
65.18/65.23	c |    120383 |     200    17000   119000 | 2147483647    70899     58 |  0.003 % |
65.48/65.51	c |    120723 |     200    17000   119000 | 2147483647    71239     58 |  0.003 % |
65.78/65.82	c |    121097 |     200    17000   119000 | 2147483647    71613     58 |  0.003 % |
66.17/66.21	c |    121507 |     200    17000   119000 | 2147483647    72023     58 |  0.003 % |
66.57/66.61	c |    121956 |     200    17000   119000 | 2147483647    72472     58 |  0.003 % |
66.98/67.00	c |    122452 |     200    17000   119000 | 2147483647    72968     58 |  0.003 % |
67.38/67.49	c |    122994 |     200    17000   119000 | 2147483647    73510     58 |  0.003 % |
67.88/67.99	c |    123592 |     200    17000   119000 | 2147483647    74108     58 |  0.003 % |
68.48/68.56	c |    124248 |     200    17000   119000 | 2147483647    74764     58 |  0.003 % |
69.08/69.18	c |    124972 |     200    17000   119000 | 2147483647    75488     58 |  0.003 % |
69.68/69.79	c |    125765 |     200    17000   119000 | 2147483647    76281     58 |  0.003 % |
70.38/70.44	c |    126639 |     200    17000   119000 | 2147483647    77155     58 |  0.003 % |
71.08/71.17	c |    127599 |     200    17000   119000 | 2147483647    78115     58 |  0.003 % |
72.07/72.19	c |    128653 |     200    17000   119000 | 2147483647    79169     58 |  0.003 % |
73.07/73.18	c |    129811 |     200    17000   119000 | 2147483647    80327     58 |  0.003 % |
74.17/74.29	c |    131085 |     200    17000   119000 |    80516    70773     58 |  0.003 % |
75.37/75.49	c |    132486 |     200    17000   119000 |    80516    72174     58 |  0.003 % |
75.47/75.58	c |    132586 |     200    17000   119000 |    80516    72274     58 |  0.003 % |
75.57/75.70	c |    132696 |     200    17000   119000 |    80516    72384     58 |  0.003 % |
75.78/75.82	c |    132817 |     200    17000   119000 |    80516    72505     58 |  0.003 % |
75.88/75.93	c |    132950 |     200    17000   119000 |    80516    72638     58 |  0.003 % |
75.97/76.07	c |    133099 |     200    17000   119000 |    80516    72787     58 |  0.003 % |
76.17/76.24	c |    133259 |     200    17000   119000 |    80516    72947     58 |  0.003 % |
76.27/76.38	c |    133435 |     200    17000   119000 |    80516    73123     58 |  0.003 % |
76.47/76.55	c |    133628 |     200    17000   119000 |    80516    73316     58 |  0.003 % |
76.67/76.74	c |    133840 |     200    17000   119000 |    80516    73528     58 |  0.003 % |
76.88/76.95	c |    134075 |     200    17000   119000 |    80516    73763     58 |  0.003 % |
77.17/77.23	c |    134332 |     200    17000   119000 |    80516    74020     58 |  0.003 % |
77.47/77.53	c |    134615 |     200    17000   119000 |    80516    74303     58 |  0.003 % |
77.67/77.78	c |    134925 |     200    17000   119000 |    80516    74613     58 |  0.003 % |
77.98/78.08	c |    135264 |     200    17000   119000 |    80516    74952     58 |  0.003 % |
78.37/78.41	c |    135640 |     200    17000   119000 |    80516    75328     58 |  0.003 % |
78.67/78.78	c |    136050 |     200    17000   119000 |    80516    75738     58 |  0.003 % |
79.08/79.18	c |    136501 |     200    17000   119000 |    80516    76189     58 |  0.003 % |
79.57/79.65	c |    136995 |     200    17000   119000 |    80516    76683     58 |  0.003 % |
80.07/80.11	c |    137537 |     200    17000   119000 |    80516    77225     58 |  0.003 % |
80.57/80.65	c |    138133 |     200    17000   119000 |    80516    77821     58 |  0.003 % |
81.17/81.24	c |    138788 |     200    17000   119000 |    80516    78476     58 |  0.003 % |
81.77/81.87	c |    139508 |     200    17000   119000 |    80516    79196     58 |  0.003 % |
82.67/82.71	c |    140300 |     200    17000   119000 |    79690    68123     58 |  0.003 % |
83.27/83.35	c |    141173 |     200    17000   119000 |    79690    68996     58 |  0.003 % |
84.07/84.11	c |    142131 |     200    17000   119000 |    79690    69954     58 |  0.003 % |
84.87/84.92	c |    143186 |     200    17000   119000 |    79690    71009     58 |  0.003 % |
85.78/85.83	c |    144349 |     200    17000   119000 |    79690    72172     58 |  0.003 % |
86.67/86.77	c |    145622 |     200    17000   119000 |    79690    73445     58 |  0.003 % |
87.77/87.85	c |    147023 |     200    17000   119000 |    79690    74846     58 |  0.003 % |
89.08/89.16	c |    148565 |     200    17000   119000 |    79690    76388     58 |  0.003 % |
89.17/89.26	c |    148665 |     200    17000   119000 |    79690    76488     58 |  0.003 % |
89.27/89.38	c |    148775 |     200    17000   119000 |    79690    76598     58 |  0.003 % |
89.37/89.49	c |    148896 |     200    17000   119000 |    79690    76719     58 |  0.003 % |
89.57/89.61	c |    149031 |     200    17000   119000 |    79690    76854     58 |  0.003 % |
89.67/89.77	c |    149179 |     200    17000   119000 |    79690    77002     58 |  0.003 % |
89.87/89.92	c |    149339 |     200    17000   119000 |    79690    77162     58 |  0.003 % |
89.97/90.07	c |    149516 |     200    17000   119000 |    79690    77339     58 |  0.003 % |
90.18/90.29	c |    149709 |     200    17000   119000 |    79690    77532     58 |  0.003 % |
90.37/90.48	c |    149921 |     200    17000   119000 |    79690    77744     58 |  0.003 % |
90.67/90.77	c |    150155 |     200    17000   119000 |    77825    67236     58 |  0.003 % |
90.87/90.96	c |    150412 |     200    17000   119000 |    77825    67493     58 |  0.003 % |
91.07/91.18	c |    150693 |     200    17000   119000 |    77825    67774     58 |  0.003 % |
91.37/91.41	c |    151002 |     200    17000   119000 |    77825    68083     58 |  0.003 % |
91.67/91.73	c |    151341 |     200    17000   119000 |    77825    68422     58 |  0.003 % |
91.97/92.02	c |    151713 |     200    17000   119000 |    77825    68794     58 |  0.003 % |
92.28/92.34	c |    152123 |     200    17000   119000 |    77825    69204     58 |  0.003 % |
92.67/92.71	c |    152573 |     200    17000   119000 |    77825    69654     58 |  0.003 % |
93.07/93.16	c |    153066 |     200    17000   119000 |    77825    70147     58 |  0.003 % |
93.57/93.63	c |    153608 |     200    17000   119000 |    77825    70689     58 |  0.003 % |
94.07/94.13	c |    154204 |     200    17000   119000 |    77825    71285     58 |  0.003 % |
94.58/94.63	c |    154861 |     200    17000   119000 |    77825    71942     58 |  0.003 % |
95.17/95.21	c |    155581 |     200    17000   119000 |    77825    72662     58 |  0.003 % |
95.87/95.92	c |    156373 |     200    17000   119000 |    77825    73454     58 |  0.003 % |
96.58/96.66	c |    157244 |     200    17000   119000 |    77825    74325     58 |  0.003 % |
97.48/97.51	c |    158204 |     200    17000   119000 |    77825    75285     58 |  0.003 % |
98.28/98.33	c |    159257 |     200    17000   119000 |    77825    76338     58 |  0.003 % |
99.18/99.23	c |    160415 |     200    17000   119000 |    77082    67093     58 |  0.003 % |
99.99/100.09	c |    161693 |     200    17000   119000 |    77082    68371     58 |  0.003 % |
100.98/101.04	c |    163093 |     200    17000   119000 |    77082    69771     58 |  0.003 % |
102.38/102.42	c |    164633 |     200    17000   119000 |    77082    71311     58 |  0.003 % |
103.68/103.77	c |    166327 |     200    17000   119000 |    77082    73005     58 |  0.003 % |
103.78/103.85	c |    166428 |     200    17000   119000 |    77082    73106     58 |  0.003 % |
103.88/103.94	c |    166538 |     200    17000   119000 |    77082    73216     58 |  0.003 % |
103.98/104.08	c |    166659 |     200    17000   119000 |    77082    73337     58 |  0.003 % |
104.18/104.21	c |    166792 |     200    17000   119000 |    77082    73470     58 |  0.003 % |
104.28/104.34	c |    166938 |     200    17000   119000 |    77082    73616     58 |  0.003 % |
104.39/104.48	c |    167099 |     200    17000   119000 |    77082    73777     58 |  0.003 % |
104.58/104.66	c |    167275 |     200    17000   119000 |    77082    73953     58 |  0.003 % |
104.78/104.82	c |    167468 |     200    17000   119000 |    77082    74146     58 |  0.003 % |
104.98/105.05	c |    167680 |     200    17000   119000 |    77082    74358     58 |  0.003 % |
105.18/105.24	c |    167914 |     200    17000   119000 |    77082    74592     58 |  0.003 % |
105.38/105.44	c |    168170 |     200    17000   119000 |    77082    74848     58 |  0.003 % |
105.59/105.65	c |    168452 |     200    17000   119000 |    77082    75130     58 |  0.003 % |
105.78/105.87	c |    168761 |     200    17000   119000 |    77082    75439     58 |  0.003 % |
106.08/106.15	c |    169100 |     200    17000   119000 |    77082    75778     58 |  0.003 % |
106.38/106.43	c |    169473 |     200    17000   119000 |    77082    76151     58 |  0.003 % |
106.69/106.75	c |    169883 |     200    17000   119000 |    77082    76561     58 |  0.003 % |
107.08/107.16	c |    170332 |     200    17000   119000 |    76678    66906     58 |  0.003 % |
107.38/107.48	c |    170825 |     200    17000   119000 |    76678    67399     58 |  0.003 % |
107.79/107.80	c |    171367 |     200    17000   119000 |    76678    67941     58 |  0.003 % |
108.18/108.20	c |    171963 |     200    17000   119000 |    76678    68537     58 |  0.003 % |
108.58/108.64	c |    172620 |     200    17000   119000 |    76678    69194     58 |  0.003 % |
109.08/109.15	c |    173342 |     200    17000   119000 |    76678    69916     58 |  0.003 % |
109.68/109.78	c |    174134 |     200    17000   119000 |    76678    70708     58 |  0.003 % |
110.38/110.41	c |    175005 |     200    17000   119000 |    76678    71579     58 |  0.003 % |
111.18/111.30	c |    175963 |     200    17000   119000 |    76678    72537     58 |  0.003 % |
112.09/112.18	c |    177016 |     200    17000   119000 |    76678    73590     58 |  0.003 % |
113.09/113.19	c |    178177 |     200    17000   119000 |    76678    74751     58 |  0.003 % |
114.08/114.18	c |    179451 |     200    17000   119000 |    76678    76025     58 |  0.003 % |
115.28/115.31	c |    180851 |     200    17000   119000 |    76575    68033     58 |  0.003 % |
116.39/116.41	c |    182392 |     200    17000   119000 |    76575    69574     58 |  0.003 % |
117.59/117.63	c |    184086 |     200    17000   119000 |    76575    71268     58 |  0.003 % |
119.18/119.26	c |    185950 |     200    17000   119000 |    76575    73132     58 |  0.003 % |
119.28/119.35	c |    186051 |     200    17000   119000 |    76575    73233     58 |  0.003 % |
119.38/119.46	c |    186161 |     200    17000   119000 |    76575    73343     58 |  0.003 % |
119.48/119.58	c |    186282 |     200    17000   119000 |    76575    73464     58 |  0.003 % |
119.68/119.71	c |    186415 |     200    17000   119000 |    76575    73597     58 |  0.003 % |
119.79/119.84	c |    186563 |     200    17000   119000 |    76575    73745     58 |  0.003 % |
119.98/120.02	c |    186724 |     200    17000   119000 |    76575    73906     58 |  0.003 % |
120.08/120.18	c |    186901 |     200    17000   119000 |    76575    74083     58 |  0.003 % |
120.28/120.33	c |    187095 |     200    17000   119000 |    76575    74277     58 |  0.003 % |
120.48/120.57	c |    187307 |     200    17000   119000 |    76575    74489     58 |  0.003 % |
120.68/120.79	c |    187540 |     200    17000   119000 |    76575    74722     58 |  0.003 % |
120.99/121.07	c |    187798 |     200    17000   119000 |    76575    74980     58 |  0.003 % |
121.28/121.33	c |    188080 |     200    17000   119000 |    76575    75262     58 |  0.003 % |
121.58/121.64	c |    188389 |     200    17000   119000 |    76575    75571     58 |  0.003 % |
121.88/121.97	c |    188728 |     200    17000   119000 |    76575    75910     58 |  0.003 % |
122.18/122.29	c |    189102 |     200    17000   119000 |    76575    76284     58 |  0.003 % |
122.58/122.69	c |    189511 |     200    17000   119000 |    76575    66536     58 |  0.003 % |
122.98/123.07	c |    189960 |     200    17000   119000 |    76575    66985     58 |  0.003 % |
123.38/123.47	c |    190454 |     200    17000   119000 |    67025    58661     58 |  0.003 % |
123.78/123.84	c |    190996 |     200    17000   119000 |    67025    59203     58 |  0.003 % |
124.19/124.24	c |    191592 |     200    17000   119000 |    67025    59799     58 |  0.003 % |
124.68/124.71	c |    192247 |     200    17000   119000 |    67025    60454     58 |  0.003 % |
125.18/125.20	c |    192968 |     200    17000   119000 |    67025    61175     58 |  0.003 % |
125.68/125.73	c |    193760 |     200    17000   119000 |    67025    61967     58 |  0.003 % |
126.28/126.34	c |    194631 |     200    17000   119000 |    67025    62838     58 |  0.003 % |
126.98/127.00	c |    195589 |     200    17000   119000 |    67025    63796     58 |  0.003 % |
127.68/127.79	c |    196644 |     200    17000   119000 |    67025    64851     58 |  0.003 % |
128.59/128.61	c |    197802 |     200    17000   119000 |    67025    66009     58 |  0.003 % |
129.48/129.59	c |    199075 |     200    17000   119000 |    67025    60571     58 |  0.003 % |
130.49/130.60	c |    200475 |     200    17000   119000 | 2147483647    61971     58 |  0.003 % |
131.58/131.67	c |    202018 |     200    17000   119000 | 2147483647    63514     58 |  0.003 % |
132.99/133.04	c |    203713 |     200    17000   119000 | 2147483647    65209     58 |  0.003 % |
134.28/134.39	c |    205579 |     200    17000   119000 | 2147483647    67075     58 |  0.003 % |
135.98/136.02	c |    207629 |     200    17000   119000 | 2147483647    69125     58 |  0.003 % |
136.08/136.12	c |    207731 |     200    17000   119000 | 2147483647    69227     58 |  0.003 % |
136.18/136.23	c |    207841 |     200    17000   119000 | 2147483647    69337     58 |  0.003 % |
136.29/136.33	c |    207962 |     200    17000   119000 | 2147483647    69458     58 |  0.003 % |
136.39/136.45	c |    208095 |     200    17000   119000 | 2147483647    69591     58 |  0.003 % |
136.48/136.58	c |    208241 |     200    17000   119000 | 2147483647    69737     58 |  0.003 % |
136.68/136.70	c |    208401 |     200    17000   119000 | 2147483647    69897     58 |  0.003 % |
136.78/136.83	c |    208577 |     200    17000   119000 | 2147483647    70073     58 |  0.003 % |
136.98/137.00	c |    208771 |     200    17000   119000 | 2147483647    70267     58 |  0.003 % |
137.18/137.22	c |    208983 |     200    17000   119000 | 2147483647    70479     58 |  0.003 % |
137.39/137.42	c |    209216 |     200    17000   119000 | 2147483647    70712     58 |  0.003 % |
137.58/137.64	c |    209472 |     200    17000   119000 | 2147483647    70968     58 |  0.003 % |
137.78/137.88	c |    209755 |     200    17000   119000 | 2147483647    71251     58 |  0.003 % |
138.08/138.11	c |    210065 |     200    17000   119000 |    71498    71561     58 |  0.003 % |
138.38/138.47	c |    210406 |     200    17000   119000 |    71498    64303     58 |  0.003 % |
138.68/138.77	c |    210779 |     200    17000   119000 |    71498    64676     58 |  0.003 % |
138.98/139.09	c |    211190 |     200    17000   119000 |    71498    65087     58 |  0.003 % |
139.38/139.43	c |    211639 |     200    17000   119000 |    71498    65536     58 |  0.003 % |
139.78/139.81	c |    212132 |     200    17000   119000 |    71498    66029     58 |  0.003 % |
140.08/140.19	c |    212675 |     200    17000   119000 |    71498    66572     58 |  0.003 % |
140.58/140.60	c |    213271 |     200    17000   119000 |    71498    67168     58 |  0.003 % |
140.98/141.07	c |    213926 |     200    17000   119000 |    71498    67823     58 |  0.003 % |
141.58/141.64	c |    214646 |     200    17000   119000 |    71498    68543     58 |  0.003 % |
142.18/142.23	c |    215438 |     200    17000   119000 |    71498    69335     58 |  0.003 % |
142.89/142.92	c |    216310 |     200    17000   119000 |    71498    70207     58 |  0.003 % |
143.68/143.72	c |    217269 |     200    17000   119000 |    71498    71166     58 |  0.003 % |
144.49/144.58	c |    218322 |     200    17000   119000 |    71498    64641     58 |  0.003 % |
145.28/145.38	c |    219480 |     200    17000   119000 |    71498    65799     58 |  0.003 % |
146.19/146.21	c |    220753 |     200    17000   119000 |    66319    60382     58 |  0.003 % |
146.99/147.03	c |    222153 |     200    17000   119000 |    66319    61782     58 |  0.003 % |
147.89/147.99	c |    223693 |     200    17000   119000 |    66319    63322     58 |  0.003 % |
149.09/149.13	c |    225389 |     200    17000   119000 |    66319    65018     58 |  0.003 % |
150.39/150.46	c |    227253 |     200    17000   119000 |    66319    60241     58 |  0.003 % |
151.69/151.75	c |    229302 |     200    17000   119000 |    66319    62290     58 |  0.003 % |
153.19/153.25	c |    231555 |     200    17000   119000 | 2147483647    64543     58 |  0.003 % |
153.29/153.36	c |    231658 |     200    17000   119000 | 2147483647    64646     58 |  0.003 % |
153.39/153.45	c |    231770 |     200    17000   119000 | 2147483647    64758     58 |  0.003 % |
153.49/153.55	c |    231893 |     200    17000   119000 | 2147483647    64881     58 |  0.003 % |
153.59/153.65	c |    232026 |     200    17000   119000 | 2147483647    65014     58 |  0.003 % |
153.69/153.80	c |    232174 |     200    17000   119000 | 2147483647    65162     58 |  0.003 % |
153.89/153.93	c |    232335 |     200    17000   119000 | 2147483647    65323     58 |  0.003 % |
153.99/154.08	c |    232512 |     200    17000   119000 | 2147483647    65500     58 |  0.003 % |
154.19/154.26	c |    232705 |     200    17000   119000 | 2147483647    65693     58 |  0.003 % |
154.39/154.43	c |    232917 |     200    17000   119000 | 2147483647    65905     58 |  0.003 % |
154.59/154.62	c |    233152 |     200    17000   119000 | 2147483647    66140     58 |  0.003 % |
154.69/154.79	c |    233408 |     200    17000   119000 | 2147483647    66396     58 |  0.003 % |
154.89/155.00	c |    233689 |     200    17000   119000 | 2147483647    66677     58 |  0.003 % |
155.19/155.23	c |    234000 |     200    17000   119000 | 2147483647    66988     58 |  0.003 % |
155.49/155.55	c |    234339 |     200    17000   119000 | 2147483647    67327     58 |  0.003 % |
155.79/155.85	c |    234713 |     200    17000   119000 | 2147483647    67701     58 |  0.003 % |
156.09/156.16	c |    235122 |     200    17000   119000 | 2147483647    68110     58 |  0.003 % |
156.49/156.54	c |    235575 |     200    17000   119000 | 2147483647    68563     58 |  0.003 % |
156.89/156.99	c |    236069 |     200    17000   119000 | 2147483647    69057     58 |  0.003 % |
157.39/157.44	c |    236612 |     200    17000   119000 | 2147483647    69600     58 |  0.003 % |
157.79/157.89	c |    237209 |     200    17000   119000 | 2147483647    70197     58 |  0.003 % |
158.29/158.39	c |    237865 |     200    17000   119000 | 2147483647    70853     58 |  0.003 % |
158.79/158.89	c |    238585 |     200    17000   119000 | 2147483647    71573     58 |  0.003 % |
159.49/159.57	c |    239377 |     200    17000   119000 | 2147483647    72365     58 |  0.003 % |
160.29/160.30	c |    240248 |     200    17000   119000 |    72989    65619     58 |  0.003 % |
160.99/161.02	c |    241206 |     200    17000   119000 |    72989    66577     58 |  0.003 % |
161.79/161.84	c |    242260 |     200    17000   119000 |    72989    67631     58 |  0.003 % |
162.58/162.68	c |    243418 |     200    17000   119000 |    72989    68789     58 |  0.003 % |
163.58/163.67	c |    244692 |     200    17000   119000 |    72989    70063     58 |  0.003 % |
164.58/164.67	c |    246092 |     200    17000   119000 |    72989    71463     58 |  0.003 % |
165.88/165.94	c |    247633 |     200    17000   119000 |    72989    73004     58 |  0.003 % |
167.19/167.23	c |    249327 |     200    17000   119000 |    72989    66917     58 |  0.003 % |
168.48/168.55	c |    251190 |     200    17000   119000 |    67590    61692     58 |  0.003 % |
169.79/169.84	c |    253239 |     200    17000   119000 |    67590    63741     58 |  0.003 % |
171.28/171.37	c |    255492 |     200    17000   119000 |    67590    65994     58 |  0.003 % |
173.09/173.14	c |    257970 |     200    17000   119000 |    67590    61704     58 |  0.003 % |
173.19/173.21	c |    258070 |     200    17000   119000 |    67590    61804     58 |  0.003 % |
173.29/173.31	c |    258180 |     200    17000   119000 |    67590    61914     58 |  0.003 % |
173.39/173.41	c |    258302 |     200    17000   119000 |    67590    62036     58 |  0.003 % |
173.49/173.51	c |    258435 |     200    17000   119000 |    67590    62169     58 |  0.003 % |
173.58/173.63	c |    258583 |     200    17000   119000 |    67590    62317     58 |  0.003 % |
173.69/173.77	c |    258743 |     200    17000   119000 |    67590    62477     58 |  0.003 % |
173.79/173.89	c |    258919 |     200    17000   119000 |    67590    62653     58 |  0.003 % |
173.98/174.07	c |    259113 |     200    17000   119000 |    67590    62847     58 |  0.003 % |
174.18/174.23	c |    259326 |     200    17000   119000 |    67590    63060     58 |  0.003 % |
174.38/174.41	c |    259559 |     200    17000   119000 |    67590    63293     58 |  0.003 % |
174.58/174.61	c |    259817 |     200    17000   119000 |    67590    63551     58 |  0.003 % |
174.79/174.81	c |    260099 |     200    17000   119000 | 2147483647    63833     58 |  0.003 % |
174.98/175.07	c |    260409 |     200    17000   119000 | 2147483647    64143     58 |  0.003 % |
175.28/175.33	c |    260748 |     200    17000   119000 | 2147483647    64482     58 |  0.003 % |
175.58/175.60	c |    261122 |     200    17000   119000 | 2147483647    64856     58 |  0.003 % |
175.78/175.87	c |    261533 |     200    17000   119000 | 2147483647    65267     58 |  0.003 % |
176.19/176.23	c |    261982 |     200    17000   119000 | 2147483647    65716     58 |  0.003 % |
176.59/176.62	c |    262475 |     200    17000   119000 | 2147483647    66209     58 |  0.003 % |
176.99/177.03	c |    263017 |     200    17000   119000 | 2147483647    66751     58 |  0.003 % |
177.49/177.53	c |    263613 |     200    17000   119000 | 2147483647    67347     58 |  0.003 % |
177.98/178.06	c |    264268 |     200    17000   119000 | 2147483647    68002     58 |  0.003 % |
178.58/178.61	c |    264988 |     200    17000   119000 | 2147483647    68722     58 |  0.003 % |
179.19/179.21	c |    265780 |     200    17000   119000 | 2147483647    69514     58 |  0.003 % |
179.78/179.82	c |    266651 |     200    17000   119000 | 2147483647    70385     58 |  0.003 % |
180.39/180.46	c |    267609 |     200    17000   119000 | 2147483647    71343     58 |  0.003 % |
181.08/181.15	c |    268662 |     200    17000   119000 | 2147483647    72396     58 |  0.003 % |
181.88/181.98	c |    269821 |     200    17000   119000 | 2147483647    73555     58 |  0.003 % |
182.88/182.91	c |    271096 |     200    17000   119000 | 2147483647    74830     58 |  0.003 % |
184.08/184.15	c |    272496 |     200    17000   119000 | 2147483647    76230     58 |  0.003 % |
185.28/185.30	c |    274036 |     200    17000   119000 | 2147483647    77770     58 |  0.003 % |
186.78/186.81	c |    275731 |     200    17000   119000 | 2147483647    79465     58 |  0.003 % |
188.38/188.47	c |    277594 |     200    17000   119000 | 2147483647    81328     58 |  0.003 % |
190.30/190.34	c |    279644 |     200    17000   119000 | 2147483647    83378     58 |  0.003 % |
192.09/192.20	c |    281897 |     200    17000   119000 |    83734    73292     58 |  0.003 % |
193.99/194.09	c |    284376 |     200    17000   119000 |    83734    75771     58 |  0.003 % |
196.19/196.24	c |    287101 |     200    17000   119000 |    83734    78496     58 |  0.003 % |
196.29/196.34	c |    287201 |     200    17000   119000 |    83734    78596     58 |  0.003 % |
196.39/196.44	c |    287311 |     200    17000   119000 |    83734    78706     58 |  0.003 % |
196.49/196.55	c |    287434 |     200    17000   119000 |    83734    78829     58 |  0.003 % |
196.59/196.66	c |    287568 |     200    17000   119000 |    83734    78963     58 |  0.003 % |
196.80/196.84	c |    287715 |     200    17000   119000 |    83734    79110     58 |  0.003 % |
196.99/197.02	c |    287875 |     200    17000   119000 |    83734    79270     58 |  0.003 % |
197.19/197.20	c |    288051 |     200    17000   119000 |    83734    79446     58 |  0.003 % |
197.39/197.41	c |    288245 |     200    17000   119000 |    83734    79640     58 |  0.003 % |
197.59/197.63	c |    288457 |     200    17000   119000 |    83734    79852     58 |  0.003 % |
197.79/197.86	c |    288691 |     200    17000   119000 |    83734    80086     58 |  0.003 % |
198.00/198.09	c |    288947 |     200    17000   119000 |    83734    80342     58 |  0.003 % |
198.29/198.35	c |    289229 |     200    17000   119000 |    83734    80624     58 |  0.003 % |
198.59/198.64	c |    289538 |     200    17000   119000 |    83734    80933     58 |  0.003 % |
198.89/198.99	c |    289877 |     200    17000   119000 |    83734    81272     58 |  0.003 % |
199.39/199.41	c |    290251 |     200    17000   119000 |    81397    69744     58 |  0.003 % |
199.69/199.78	c |    290661 |     200    17000   119000 |    81397    70154     58 |  0.003 % |
200.10/200.12	c |    291112 |     200    17000   119000 |    81397    70605     58 |  0.003 % |
200.39/200.48	c |    291606 |     200    17000   119000 |    81397    71099     58 |  0.003 % |
200.79/200.88	c |    292148 |     200    17000   119000 |    81397    71641     58 |  0.003 % |
201.30/201.31	c |    292746 |     200    17000   119000 |    81397    72239     58 |  0.003 % |
201.79/201.84	c |    293401 |     200    17000   119000 |    81397    72894     58 |  0.003 % |
202.30/202.35	c |    294122 |     200    17000   119000 |    81397    73615     58 |  0.003 % |
202.89/202.99	c |    294914 |     200    17000   119000 |    81397    74407     58 |  0.003 % |
203.59/203.68	c |    295785 |     200    17000   119000 |    81397    75278     58 |  0.003 % |
204.39/204.48	c |    296743 |     200    17000   119000 |    81397    76236     58 |  0.003 % |
205.29/205.37	c |    297798 |     200    17000   119000 |    81397    77291     58 |  0.003 % |
206.29/206.32	c |    298956 |     200    17000   119000 |    81397    78449     58 |  0.003 % |
207.29/207.37	c |    300230 |     200    17000   119000 |    79493    68483     58 |  0.003 % |
208.29/208.35	c |    301633 |     200    17000   119000 |    79493    69886     58 |  0.003 % |
209.39/209.45	c |    303175 |     200    17000   119000 |    79493    71428     58 |  0.003 % |
210.69/210.70	c |    304869 |     200    17000   119000 |    79493    73122     58 |  0.003 % |
212.20/212.22	c |    306732 |     200    17000   119000 |    79493    74985     58 |  0.003 % |
213.69/213.74	c |    308781 |     200    17000   119000 |    79493    77034     58 |  0.003 % |
215.39/215.47	c |    311034 |     200    17000   119000 |    78254    69468     58 |  0.003 % |
217.49/217.58	c |    313513 |     200    17000   119000 |    78254    71947     58 |  0.003 % |
219.79/219.82	c |    316240 |     200    17000   119000 |    78254    74674     58 |  0.003 % |
222.29/222.30	c |    319237 |     200    17000   119000 |    78254    77671     58 |  0.003 % |
222.39/222.41	c |    319341 |     200    17000   119000 |    78254    77775     58 |  0.003 % |
222.49/222.51	c |    319454 |     200    17000   119000 |    78254    77888     58 |  0.003 % |
222.59/222.62	c |    319575 |     200    17000   119000 |    78254    78009     58 |  0.003 % |
222.69/222.76	c |    319708 |     200    17000   119000 |    78254    78142     58 |  0.003 % |
222.89/222.92	c |    319858 |     200    17000   119000 |    78254    78292     58 |  0.003 % |
223.09/223.12	c |    320018 |     200    17000   119000 |    67570    67588     58 |  0.003 % |
223.30/223.34	c |    320194 |     200    17000   119000 |    67570    58397     58 |  0.003 % |
223.39/223.48	c |    320387 |     200    17000   119000 |    67570    58590     58 |  0.003 % |
223.59/223.63	c |    320601 |     200    17000   119000 |    67570    58804     58 |  0.003 % |
223.69/223.78	c |    320834 |     200    17000   119000 |    67570    59037     58 |  0.003 % |
223.89/223.94	c |    321093 |     200    17000   119000 |    67570    59296     58 |  0.003 % |
224.09/224.18	c |    321374 |     200    17000   119000 |    67570    59577     58 |  0.003 % |
224.40/224.40	c |    321683 |     200    17000   119000 |    67570    59886     58 |  0.003 % |
224.59/224.62	c |    322023 |     200    17000   119000 |    67570    60226     58 |  0.003 % |
224.89/224.94	c |    322395 |     200    17000   119000 |    67570    60598     58 |  0.003 % |
225.19/225.24	c |    322806 |     200    17000   119000 |    67570    61009     58 |  0.003 % |
225.50/225.55	c |    323258 |     200    17000   119000 |    67570    61461     58 |  0.003 % |
225.79/225.89	c |    323752 |     200    17000   119000 |    67570    61955     58 |  0.003 % |
226.19/226.26	c |    324294 |     200    17000   119000 |    67570    62497     58 |  0.003 % |
226.60/226.65	c |    324890 |     200    17000   119000 |    67570    63093     58 |  0.003 % |
226.99/227.08	c |    325545 |     200    17000   119000 |    67570    63748     58 |  0.003 % |
227.60/227.64	c |    326268 |     200    17000   119000 |    67570    64471     58 |  0.003 % |
228.09/228.18	c |    327061 |     200    17000   119000 |    67570    65264     58 |  0.003 % |
228.89/228.91	c |    327933 |     200    17000   119000 |    67570    66136     58 |  0.003 % |
229.59/229.62	c |    328892 |     200    17000   119000 |    67570    67095     58 |  0.003 % |
230.39/230.43	c |    329945 |     200    17000   119000 |    67570    61383     58 |  0.003 % |
231.19/231.26	c |    331103 |     200    17000   119000 | 2147483647    62541     58 |  0.003 % |
232.10/232.15	c |    332378 |     200    17000   119000 | 2147483647    63816     58 |  0.003 % |
232.99/233.06	c |    333778 |     200    17000   119000 | 2147483647    65216     58 |  0.003 % |
233.99/234.08	c |    335319 |     200    17000   119000 | 2147483647    66757     58 |  0.003 % |
235.19/235.28	c |    337013 |     200    17000   119000 | 2147483647    68451     58 |  0.003 % |
236.69/236.70	c |    338878 |     200    17000   119000 | 2147483647    70316     58 |  0.003 % |
238.09/238.14	c |    340928 |     200    17000   119000 | 2147483647    72366     58 |  0.003 % |
239.80/239.80	c |    343181 |     200    17000   119000 | 2147483647    74619     58 |  0.003 % |
241.59/241.61	c |    345659 |     200    17000   119000 | 2147483647    77097     58 |  0.003 % |
243.59/243.69	c |    348387 |     200    17000   119000 | 2147483647    79825     58 |  0.003 % |
245.99/246.10	c |    351384 |     200    17000   119000 |    81442    73069     58 |  0.003 % |
248.68/248.70	c |    354681 |     200    17000   119000 |    81442    76366     58 |  0.003 % |
248.68/248.78	c |    354781 |     200    17000   119000 |    81442    76466     58 |  0.003 % |
248.78/248.87	c |    354891 |     200    17000   119000 |    81442    76576     58 |  0.003 % |
248.88/248.97	c |    355012 |     200    17000   119000 |    81442    76697     58 |  0.003 % |
249.08/249.13	c |    355146 |     200    17000   119000 |    81442    76831     58 |  0.003 % |
249.18/249.27	c |    355292 |     200    17000   119000 |    81442    76977     58 |  0.003 % |
249.39/249.42	c |    355454 |     200    17000   119000 |    81442    77139     58 |  0.003 % |
249.49/249.57	c |    355633 |     200    17000   119000 |    81442    77318     58 |  0.003 % |
249.69/249.74	c |    355826 |     200    17000   119000 |    81442    77511     58 |  0.003 % |
249.89/249.92	c |    356039 |     200    17000   119000 |    81442    77724     58 |  0.003 % |
250.08/250.17	c |    356272 |     200    17000   119000 |    81442    77957     58 |  0.003 % |
250.38/250.42	c |    356530 |     200    17000   119000 |    81442    78215     58 |  0.003 % |
250.58/250.69	c |    356811 |     200    17000   119000 |    81442    78496     58 |  0.003 % |
250.88/250.97	c |    357120 |     200    17000   119000 |    81442    78805     58 |  0.003 % |
251.18/251.28	c |    357462 |     200    17000   119000 |    81442    79147     58 |  0.003 % |
251.58/251.63	c |    357834 |     200    17000   119000 |    81442    79519     58 |  0.003 % |
251.89/251.97	c |    358244 |     200    17000   119000 |    81442    79929     58 |  0.003 % |
252.28/252.35	c |    358694 |     200    17000   119000 |    81442    80379     58 |  0.003 % |
252.68/252.75	c |    359187 |     200    17000   119000 |    81442    80872     58 |  0.003 % |
253.08/253.18	c |    359730 |     200    17000   119000 |    81442    81415     58 |  0.003 % |
253.68/253.72	c |    360326 |     200    17000   119000 |    70207    60788     58 |  0.003 % |
254.09/254.12	c |    360981 |     200    17000   119000 |    70207    61443     58 |  0.003 % |
254.48/254.57	c |    361703 |     200    17000   119000 |    70207    62165     58 |  0.003 % |
254.98/255.09	c |    362496 |     200    17000   119000 |    70207    62958     58 |  0.003 % |
255.58/255.64	c |    363369 |     200    17000   119000 |    70207    63831     58 |  0.003 % |
256.29/256.32	c |    364327 |     200    17000   119000 |    70207    64789     58 |  0.003 % |
256.98/257.01	c |    365381 |     200    17000   119000 |    70207    65843     58 |  0.003 % |
257.68/257.72	c |    366539 |     200    17000   119000 |    70207    67001     58 |  0.003 % |
258.59/258.65	c |    367813 |     200    17000   119000 |    70207    68275     58 |  0.003 % |
259.69/259.72	c |    369214 |     200    17000   119000 |    70207    69676     58 |  0.003 % |
260.79/260.87	c |    370755 |     200    17000   119000 | 2147483647    64188     58 |  0.003 % |
261.99/262.00	c |    372449 |     200    17000   119000 | 2147483647    65882     58 |  0.003 % |
263.29/263.33	c |    374312 |     200    17000   119000 | 2147483647    67745     58 |  0.003 % |
264.69/264.79	c |    376364 |     200    17000   119000 | 2147483647    69797     58 |  0.003 % |
266.39/266.42	c |    378618 |     200    17000   119000 | 2147483647    72051     58 |  0.003 % |
268.20/268.26	c |    381097 |     200    17000   119000 | 2147483647    74530     58 |  0.003 % |
270.60/270.63	c |    383825 |     200    17000   119000 | 2147483647    77258     58 |  0.003 % |
273.00/273.00	c |    386822 |     200    17000   119000 | 2147483647    80255     58 |  0.003 % |
275.60/275.67	c |    390119 |     200    17000   119000 |    83435    72238     58 |  0.003 % |
278.20/278.30	c |    393746 |     200    17000   119000 |    83435    75865     58 |  0.003 % |
278.30/278.37	c |    393847 |     200    17000   119000 |    83435    75966     58 |  0.003 % |
278.40/278.47	c |    393957 |     200    17000   119000 |    83435    76076     58 |  0.003 % |
278.50/278.58	c |    394078 |     200    17000   119000 |    83435    76197     58 |  0.003 % |
278.69/278.73	c |    394211 |     200    17000   119000 |    83435    76330     58 |  0.003 % |
278.79/278.86	c |    394357 |     200    17000   119000 |    83435    76476     58 |  0.003 % |
278.99/279.02	c |    394519 |     200    17000   119000 |    83435    76638     58 |  0.003 % |
279.09/279.20	c |    394697 |     200    17000   119000 |    83435    76816     58 |  0.003 % |
279.30/279.38	c |    394890 |     200    17000   119000 |    83435    77009     58 |  0.003 % |
279.49/279.58	c |    395106 |     200    17000   119000 |    83435    77225     58 |  0.003 % |
279.69/279.79	c |    395340 |     200    17000   119000 |    83435    77459     58 |  0.003 % |
279.99/280.02	c |    395596 |     200    17000   119000 |    83435    77715     58 |  0.003 % |
280.19/280.29	c |    395877 |     200    17000   119000 |    83435    77996     58 |  0.003 % |
280.50/280.57	c |    396186 |     200    17000   119000 |    83435    78305     58 |  0.003 % |
280.79/280.87	c |    396526 |     200    17000   119000 |    83435    78645     58 |  0.003 % |
281.20/281.27	c |    396898 |     200    17000   119000 |    83435    79017     58 |  0.003 % |
281.60/281.66	c |    397307 |     200    17000   119000 |    83435    79426     58 |  0.003 % |
282.00/282.07	c |    397757 |     200    17000   119000 |    83435    79876     58 |  0.003 % |
282.49/282.55	c |    398250 |     200    17000   119000 |    83435    80369     58 |  0.003 % |
282.99/283.02	c |    398794 |     200    17000   119000 |    83435    80913     58 |  0.003 % |
283.49/283.57	c |    399395 |     200    17000   119000 |    83435    81514     58 |  0.003 % |
284.09/284.13	c |    400050 |     200    17000   119000 |    82120    82169     58 |  0.003 % |
284.80/284.85	c |    400771 |     200    17000   119000 |    82120    70988     58 |  0.003 % |
285.49/285.52	c |    401563 |     200    17000   119000 |    82120    71780     58 |  0.003 % |
286.19/286.25	c |    402434 |     200    17000   119000 |    82120    72651     58 |  0.003 % |
287.00/287.08	c |    403392 |     200    17000   119000 |    82120    73609     58 |  0.003 % |
287.89/287.96	c |    404445 |     200    17000   119000 |    82120    74662     58 |  0.003 % |
288.90/288.97	c |    405604 |     200    17000   119000 |    82120    75821     58 |  0.003 % |
289.89/289.99	c |    406878 |     200    17000   119000 |    82120    77095     58 |  0.003 % |
290.99/291.08	c |    408278 |     200    17000   119000 |    82120    78495     58 |  0.003 % |
292.20/292.26	c |    409818 |     200    17000   119000 |    82120    80035     58 |  0.003 % |
293.50/293.52	c |    411513 |     200    17000   119000 |    80218    70442     58 |  0.003 % |
295.00/295.05	c |    413376 |     200    17000   119000 |    80218    72305     58 |  0.003 % |
296.50/296.59	c |    415427 |     200    17000   119000 |    80218    74356     58 |  0.003 % |
298.29/298.33	c |    417682 |     200    17000   119000 |    80218    76611     58 |  0.003 % |
300.20/300.28	c |    420161 |     200    17000   119000 |    78929    68385     58 |  0.003 % |
302.10/302.14	c |    422886 |     200    17000   119000 |    78929    71110     58 |  0.003 % |
304.30/304.32	c |    425883 |     200    17000   119000 |    78929    74107     58 |  0.003 % |
306.70/306.70	c |    429179 |     200    17000   119000 |    78929    77403     58 |  0.003 % |
309.39/309.43	c |    432804 |     200    17000   119000 |    78226    71771     58 |  0.003 % |
312.12/312.26	c |    436792 |     200    17000   119000 |    78226    75759     58 |  0.003 % |
312.22/312.36	c |    436893 |     200    17000   119000 |    78226    75860     58 |  0.003 % |
312.32/312.46	c |    437003 |     200    17000   119000 |    78226    75970     58 |  0.003 % |
312.51/312.61	c |    437125 |     200    17000   119000 |    78226    76092     58 |  0.003 % |
312.61/312.75	c |    437258 |     200    17000   119000 |    78226    76225     58 |  0.003 % |
312.72/312.89	c |    437404 |     200    17000   119000 |    78226    76371     58 |  0.003 % |
312.92/313.04	c |    437564 |     200    17000   119000 |    78226    76531     58 |  0.003 % |
313.12/313.21	c |    437741 |     200    17000   119000 |    78226    76708     58 |  0.003 % |
313.22/313.39	c |    437937 |     200    17000   119000 |    78226    76904     58 |  0.003 % |
313.52/313.61	c |    438149 |     200    17000   119000 |    78226    77116     58 |  0.003 % |
313.72/313.82	c |    438382 |     200    17000   119000 |    78226    77349     58 |  0.003 % |
313.92/314.05	c |    438640 |     200    17000   119000 |    78226    77607     58 |  0.003 % |
314.12/314.28	c |    438921 |     200    17000   119000 |    78226    77888     58 |  0.003 % |
314.42/314.58	c |    439230 |     200    17000   119000 |    78226    78197     58 |  0.003 % |
314.81/314.90	c |    439570 |     200    17000   119000 |    78226    68931     58 |  0.003 % |
315.11/315.27	c |    439942 |     200    17000   119000 |    78226    69303     58 |  0.003 % |
315.51/315.65	c |    440351 |     200    17000   119000 |    69362    61041     58 |  0.003 % |
315.80/315.99	c |    440800 |     200    17000   119000 |    69362    61490     58 |  0.003 % |
316.20/316.34	c |    441294 |     200    17000   119000 |    69362    61984     58 |  0.003 % |
316.60/316.76	c |    441836 |     200    17000   119000 |    69362    62526     58 |  0.003 % |
317.00/317.19	c |    442432 |     200    17000   119000 |    69362    63122     58 |  0.003 % |
317.50/317.63	c |    443087 |     200    17000   119000 |    69362    63777     58 |  0.003 % |
318.00/318.19	c |    443809 |     200    17000   119000 |    69362    64499     58 |  0.003 % |
318.60/318.78	c |    444601 |     200    17000   119000 |    69362    65291     58 |  0.003 % |
319.29/319.44	c |    445472 |     200    17000   119000 |    69362    66162     58 |  0.003 % |
320.00/320.14	c |    446432 |     200    17000   119000 |    69362    67122     58 |  0.003 % |
320.79/320.90	c |    447489 |     200    17000   119000 |    69362    68179     58 |  0.003 % |
321.59/321.75	c |    448649 |     200    17000   119000 |    69362    69339     58 |  0.003 % |
322.49/322.65	c |    449922 |     200    17000   119000 |    69362    63566     58 |  0.003 % |
323.39/323.60	c |    451322 |     200    17000   119000 | 2147483647    64966     59 |  0.003 % |
324.49/324.64	c |    452862 |     200    17000   119000 | 2147483647    66506     58 |  0.003 % |
325.59/325.78	c |    454558 |     200    17000   119000 | 2147483647    68202     59 |  0.003 % |
327.10/327.27	c |    456422 |     200    17000   119000 | 2147483647    70066     59 |  0.003 % |
328.59/328.73	c |    458471 |     200    17000   119000 | 2147483647    72115     59 |  0.003 % |
330.29/330.41	c |    460727 |     200    17000   119000 | 2147483647    74371     59 |  0.003 % |
332.19/332.38	c |    463205 |     200    17000   119000 | 2147483647    76849     58 |  0.003 % |
334.39/334.58	c |    465930 |     200    17000   119000 | 2147483647    79574     58 |  0.003 % |
336.89/337.05	c |    468928 |     200    17000   119000 | 2147483647    82572     59 |  0.003 % |
339.59/339.70	c |    472224 |     200    17000   119000 |    83645    75138     59 |  0.003 % |
342.39/342.53	c |    475849 |     200    17000   119000 |    83645    78763     59 |  0.003 % |
345.59/345.72	c |    479838 |     200    17000   119000 |    83645    82752     59 |  0.003 % |
349.09/349.22	c |    484225 |     200    17000   119000 |    82914    76320     59 |  0.003 % |
349.19/349.31	c |    484325 |     200    17000   119000 |    82914    76420     59 |  0.003 % |
349.19/349.39	c |    484436 |     200    17000   119000 |    82914    76531     59 |  0.003 % |
349.29/349.49	c |    484560 |     200    17000   119000 |    82914    76655     59 |  0.003 % |
349.49/349.64	c |    484695 |     200    17000   119000 |    82914    76790     59 |  0.003 % |
349.60/349.79	c |    484841 |     200    17000   119000 |    82914    76936     59 |  0.003 % |
349.79/349.93	c |    485003 |     200    17000   119000 |    82914    77098     59 |  0.003 % |
349.89/350.09	c |    485179 |     200    17000   119000 |    82914    77274     59 |  0.003 % |
350.09/350.27	c |    485372 |     200    17000   119000 |    82914    77467     59 |  0.003 % |
350.29/350.47	c |    485588 |     200    17000   119000 |    82914    77683     59 |  0.003 % |
350.59/350.71	c |    485821 |     200    17000   119000 |    82914    77916     59 |  0.003 % |
350.80/350.93	c |    486077 |     200    17000   119000 |    82914    78172     59 |  0.003 % |
351.09/351.22	c |    486359 |     200    17000   119000 |    82914    78454     59 |  0.003 % |
351.39/351.53	c |    486670 |     200    17000   119000 |    82914    78765     59 |  0.003 % |
351.69/351.80	c |    487009 |     200    17000   119000 |    82914    79104     59 |  0.003 % |
351.99/352.14	c |    487381 |     200    17000   119000 |    82914    79476     59 |  0.003 % |
352.39/352.54	c |    487792 |     200    17000   119000 |    82914    79887     59 |  0.003 % |
352.79/352.95	c |    488241 |     200    17000   119000 |    82914    80336     59 |  0.003 % |
353.19/353.36	c |    488734 |     200    17000   119000 |    82914    80829     59 |  0.003 % |
353.69/353.86	c |    489276 |     200    17000   119000 |    82914    81371     59 |  0.003 % |
354.19/354.39	c |    489872 |     200    17000   119000 |    82914    81967     59 |  0.003 % |
354.79/354.97	c |    490527 |     200    17000   119000 |    82095    70875     58 |  0.003 % |
355.49/355.63	c |    491249 |     200    17000   119000 |    82095    71597     58 |  0.003 % |
356.09/356.29	c |    492041 |     200    17000   119000 |    82095    72389     58 |  0.003 % |
356.89/357.05	c |    492914 |     200    17000   119000 |    82095    73262     58 |  0.003 % |
357.69/357.87	c |    493873 |     200    17000   119000 |    82095    74221     58 |  0.003 % |
358.59/358.79	c |    494927 |     200    17000   119000 |    82095    75275     58 |  0.003 % |
359.60/359.73	c |    496086 |     200    17000   119000 |    82095    76434     58 |  0.003 % |
360.60/360.77	c |    497359 |     200    17000   119000 |    82095    77707     58 |  0.003 % |
361.80/361.91	c |    498759 |     200    17000   119000 |    82095    79107     58 |  0.003 % |
363.09/363.25	c |    500301 |     200    17000   119000 |    80349    68715     58 |  0.003 % |
364.29/364.45	c |    502000 |     200    17000   119000 |    80349    70414     58 |  0.003 % |
365.69/365.81	c |    503864 |     200    17000   119000 |    80349    72278     58 |  0.003 % |
367.19/367.30	c |    505914 |     200    17000   119000 |    80349    74328     58 |  0.003 % |
368.79/368.98	c |    508167 |     200    17000   119000 |    80349    76581     58 |  0.003 % |
370.69/370.86	c |    510645 |     200    17000   119000 |    78415    69491     58 |  0.003 % |
372.69/372.88	c |    513372 |     200    17000   119000 |    78415    72218     59 |  0.003 % |
375.09/375.23	c |    516369 |     200    17000   119000 |    78415    75215     59 |  0.003 % |
377.89/378.05	c |    519665 |     200    17000   119000 |    78415    78511     59 |  0.003 % |
380.39/380.56	c |    523290 |     200    17000   119000 |    69156    64008     58 |  0.003 % |
383.29/383.44	c |    527278 |     200    17000   119000 |    69156    67996     59 |  0.003 % |
386.39/386.58	c |    531664 |     200    17000   119000 | 2147483647    65459     59 |  0.003 % |
390.09/390.26	c |    536490 |     200    17000   119000 | 2147483647    70285     59 |  0.003 % |
390.19/390.35	c |    536590 |     200    17000   119000 | 2147483647    70385     59 |  0.003 % |
390.30/390.45	c |    536700 |     200    17000   119000 | 2147483647    70495     59 |  0.003 % |
390.40/390.56	c |    536821 |     200    17000   119000 | 2147483647    70616     59 |  0.003 % |
390.49/390.68	c |    536956 |     200    17000   119000 | 2147483647    70751     59 |  0.003 % |
390.69/390.81	c |    537102 |     200    17000   119000 | 2147483647    70897     59 |  0.003 % |
390.79/390.93	c |    537263 |     200    17000   119000 | 2147483647    71058     59 |  0.003 % |
390.89/391.08	c |    537439 |     200    17000   119000 | 2147483647    71234     59 |  0.003 % |
391.09/391.26	c |    537632 |     200    17000   119000 | 2147483647    71427     59 |  0.003 % |
391.29/391.43	c |    537844 |     200    17000   119000 | 2147483647    71639     59 |  0.003 % |
391.50/391.61	c |    538078 |     200    17000   119000 | 2147483647    71873     59 |  0.003 % |
391.69/391.82	c |    538334 |     200    17000   119000 | 2147483647    72129     59 |  0.003 % |
391.89/392.06	c |    538616 |     200    17000   119000 | 2147483647    72411     59 |  0.003 % |
392.19/392.31	c |    538927 |     200    17000   119000 | 2147483647    72722     59 |  0.003 % |
392.39/392.57	c |    539266 |     200    17000   119000 | 2147483647    73061     59 |  0.003 % |
392.69/392.88	c |    539638 |     200    17000   119000 | 2147483647    73433     59 |  0.003 % |
393.09/393.22	c |    540049 |     200    17000   119000 | 2147483647    73844     59 |  0.003 % |
393.49/393.64	c |    540502 |     200    17000   119000 | 2147483647    74297     59 |  0.003 % |
393.89/394.08	c |    540995 |     200    17000   119000 | 2147483647    74790     59 |  0.003 % |
394.39/394.51	c |    541537 |     200    17000   119000 | 2147483647    75332     59 |  0.003 % |
394.80/394.98	c |    542133 |     200    17000   119000 | 2147483647    75928     58 |  0.003 % |
395.39/395.51	c |    542788 |     200    17000   119000 | 2147483647    76583     58 |  0.003 % |
395.90/396.06	c |    543509 |     200    17000   119000 | 2147483647    77304     59 |  0.003 % |
396.59/396.73	c |    544301 |     200    17000   119000 | 2147483647    78096     59 |  0.003 % |
397.29/397.44	c |    545172 |     200    17000   119000 | 2147483647    78967     59 |  0.003 % |
398.10/398.27	c |    546133 |     200    17000   119000 | 2147483647    79928     58 |  0.003 % |
399.10/399.25	c |    547187 |     200    17000   119000 | 2147483647    80982     58 |  0.003 % |
400.09/400.28	c |    548346 |     200    17000   119000 | 2147483647    82141     58 |  0.003 % |
401.30/401.41	c |    549626 |     200    17000   119000 | 2147483647    83421     58 |  0.003 % |
402.49/402.64	c |    551027 |     200    17000   119000 |    83795    72851     58 |  0.003 % |
403.69/403.89	c |    552569 |     200    17000   119000 |    83795    74393     58 |  0.003 % |
405.19/405.34	c |    554263 |     200    17000   119000 |    83795    76087     58 |  0.003 % |
406.90/407.05	c |    556129 |     200    17000   119000 |    83795    77953     58 |  0.003 % |
408.70/408.85	c |    558178 |     200    17000   119000 |    83795    80002     58 |  0.003 % |
410.60/410.71	c |    560432 |     200    17000   119000 |    81824    69886     58 |  0.003 % |
412.50/412.65	c |    562911 |     200    17000   119000 |    81824    72365     58 |  0.003 % |
414.40/414.57	c |    565636 |     200    17000   119000 |    81824    75090     58 |  0.003 % |
416.71/416.89	c |    568635 |     200    17000   119000 |    81824    78089     58 |  0.003 % |
419.30/419.49	c |    571931 |     200    17000   119000 |    79456    71147     58 |  0.003 % |
422.10/422.24	c |    575557 |     200    17000   119000 |    79456    74773     58 |  0.003 % |
425.20/425.36	c |    579544 |     200    17000   119000 |    79456    78760     59 |  0.003 % |
428.40/428.53	c |    583930 |     200    17000   119000 |    79217    72540     59 |  0.003 % |
432.00/432.14	c |    588754 |     200    17000   119000 |    79217    77364     59 |  0.003 % |
435.90/436.03	c |    594060 |     200    17000   119000 |    78612    72744     59 |  0.003 % |
436.00/436.14	c |    594160 |     200    17000   119000 |    78612    72844     59 |  0.003 % |
436.10/436.26	c |    594270 |     200    17000   119000 |    78612    72954     59 |  0.003 % |
436.20/436.37	c |    594393 |     200    17000   119000 |    78612    73077     59 |  0.003 % |
436.30/436.49	c |    594526 |     200    17000   119000 |    78612    73210     59 |  0.003 % |
436.51/436.64	c |    594672 |     200    17000   119000 |    78612    73356     59 |  0.003 % |
436.61/436.78	c |    594832 |     200    17000   119000 |    78612    73516     59 |  0.003 % |
436.80/436.92	c |    595008 |     200    17000   119000 |    78612    73692     59 |  0.003 % |
437.00/437.13	c |    595202 |     200    17000   119000 |    78612    73886     59 |  0.003 % |
437.10/437.29	c |    595415 |     200    17000   119000 |    78612    74099     59 |  0.003 % |
437.30/437.47	c |    595649 |     200    17000   119000 |    78612    74333     59 |  0.003 % |
437.50/437.66	c |    595906 |     200    17000   119000 |    78612    74590     59 |  0.003 % |
437.70/437.87	c |    596187 |     200    17000   119000 |    78612    74871     59 |  0.003 % |
438.00/438.11	c |    596497 |     200    17000   119000 |    78612    75181     59 |  0.003 % |
438.30/438.41	c |    596836 |     200    17000   119000 |    78612    75520     59 |  0.003 % |
438.60/438.74	c |    597208 |     200    17000   119000 |    78612    75892     58 |  0.003 % |
438.90/439.07	c |    597618 |     200    17000   119000 |    78612    76302     58 |  0.003 % |
439.30/439.43	c |    598067 |     200    17000   119000 |    78612    76751     58 |  0.003 % |
439.81/439.94	c |    598563 |     200    17000   119000 |    78612    77247     58 |  0.003 % |
440.30/440.44	c |    599106 |     200    17000   119000 |    78612    77790     58 |  0.003 % |
440.80/440.98	c |    599702 |     200    17000   119000 |    78612    78386     58 |  0.003 % |
441.50/441.63	c |    600357 |     200    17000   119000 |    78684    68587     58 |  0.003 % |
442.10/442.22	c |    601077 |     200    17000   119000 |    78684    69307     58 |  0.003 % |
442.80/442.94	c |    601869 |     200    17000   119000 |    78684    70099     58 |  0.003 % |
443.50/443.66	c |    602740 |     200    17000   119000 |    78684    70970     58 |  0.003 % |
444.20/444.38	c |    603698 |     200    17000   119000 |    78684    71928     58 |  0.003 % |
445.10/445.21	c |    604752 |     200    17000   119000 |    78684    72982     58 |  0.003 % |
445.90/446.05	c |    605912 |     200    17000   119000 |    78684    74142     58 |  0.003 % |
446.80/446.99	c |    607187 |     200    17000   119000 |    78684    75417     58 |  0.003 % |
448.00/448.15	c |    608589 |     200    17000   119000 |    78684    76819     58 |  0.003 % |
449.50/449.68	c |    610129 |     200    17000   119000 |    78230    67876     58 |  0.003 % |
450.81/450.95	c |    611824 |     200    17000   119000 |    78230    69571     58 |  0.003 % |
452.10/452.29	c |    613687 |     200    17000   119000 |    78230    71434     58 |  0.003 % |
453.70/453.84	c |    615737 |     200    17000   119000 |    78230    73484     58 |  0.003 % |
455.40/455.59	c |    617991 |     200    17000   119000 |    78230    75738     58 |  0.003 % |
457.41/457.53	c |    620469 |     200    17000   119000 |    77747    69043     59 |  0.003 % |
459.30/459.49	c |    623195 |     200    17000   119000 |    77747    71769     59 |  0.003 % |
461.50/461.62	c |    626196 |     200    17000   119000 |    77747    74770     59 |  0.003 % |
464.11/464.26	c |    629493 |     200    17000   119000 |    77747    69420     59 |  0.003 % |
466.60/466.70	c |    633119 |     200    17000   119000 |    69931    65381     59 |  0.003 % |
469.30/469.43	c |    637106 |     200    17000   119000 |    69931    69368     59 |  0.003 % |
472.11/472.26	c |    641491 |     200    17000   119000 | 2147483647    66751     59 |  0.003 % |
475.50/475.69	c |    646315 |     200    17000   119000 | 2147483647    71575     59 |  0.003 % |
479.90/480.00	c |    651621 |     200    17000   119000 | 2147483647    76881     59 |  0.003 % |
484.60/484.77	c |    657456 |     200    17000   119000 | 2147483647    82716     59 |  0.003 % |
484.70/484.87	c |    657556 |     200    17000   119000 | 2147483647    82816     59 |  0.003 % |
484.91/485.00	c |    657666 |     200    17000   119000 | 2147483647    82926     59 |  0.003 % |
485.01/485.12	c |    657787 |     200    17000   119000 | 2147483647    83047     59 |  0.003 % |
485.10/485.25	c |    657920 |     200    17000   119000 | 2147483647    83180     59 |  0.003 % |
485.20/485.38	c |    658066 |     200    17000   119000 | 2147483647    83326     59 |  0.003 % |
485.40/485.57	c |    658228 |     200    17000   119000 | 2147483647    83488     59 |  0.003 % |
485.60/485.74	c |    658407 |     200    17000   119000 | 2147483647    83667     59 |  0.003 % |
485.80/485.95	c |    658601 |     200    17000   119000 | 2147483647    83861     59 |  0.003 % |
486.00/486.15	c |    658813 |     200    17000   119000 | 2147483647    84073     59 |  0.003 % |
486.21/486.38	c |    659046 |     200    17000   119000 | 2147483647    84306     59 |  0.003 % |
486.51/486.67	c |    659302 |     200    17000   119000 | 2147483647    84562     59 |  0.003 % |
486.81/486.95	c |    659585 |     200    17000   119000 | 2147483647    84845     59 |  0.003 % |
487.11/487.30	c |    659894 |     200    17000   119000 | 2147483647    85154     59 |  0.003 % |
487.61/487.73	c |    660235 |     200    17000   119000 |    85262    73163     58 |  0.003 % |
487.91/488.02	c |    660607 |     200    17000   119000 |    85262    73535     58 |  0.003 % |
488.21/488.36	c |    661017 |     200    17000   119000 |    85262    73945     58 |  0.003 % |
488.61/488.71	c |    661466 |     200    17000   119000 |    85262    74394     58 |  0.003 % |
489.01/489.13	c |    661960 |     200    17000   119000 |    85262    74888     58 |  0.003 % |
489.41/489.59	c |    662504 |     200    17000   119000 |    85262    75432     58 |  0.003 % |
489.91/490.06	c |    663100 |     200    17000   119000 |    85262    76028     58 |  0.003 % |
490.41/490.58	c |    663755 |     200    17000   119000 |    85262    76683     58 |  0.003 % |
491.01/491.12	c |    664475 |     200    17000   119000 |    85262    77403     58 |  0.003 % |
491.61/491.72	c |    665268 |     200    17000   119000 |    85262    78196     58 |  0.003 % |
492.31/492.41	c |    666141 |     200    17000   119000 |    85262    79069     58 |  0.003 % |
493.11/493.21	c |    667099 |     200    17000   119000 |    85262    80027     58 |  0.003 % |
494.01/494.15	c |    668152 |     200    17000   119000 |    85262    81080     58 |  0.003 % |
495.11/495.28	c |    669311 |     200    17000   119000 |    85262    82239     58 |  0.003 % |
496.21/496.39	c |    670586 |     200    17000   119000 |    82928    71052     58 |  0.003 % |
497.41/497.52	c |    671986 |     200    17000   119000 |    82928    72452     58 |  0.003 % |
498.51/498.67	c |    673526 |     200    17000   119000 |    82928    73992     58 |  0.003 % |
499.91/500.05	c |    675222 |     200    17000   119000 |    82928    75688     58 |  0.003 % |
501.51/501.61	c |    677086 |     200    17000   119000 |    82928    77552     58 |  0.003 % |
503.11/503.25	c |    679136 |     200    17000   119000 |    82928    79602     58 |  0.003 % |
504.81/504.94	c |    681389 |     200    17000   119000 |    80467    70345     58 |  0.003 % |
506.61/506.77	c |    683867 |     200    17000   119000 |    80467    72823     58 |  0.003 % |
508.61/508.79	c |    686592 |     200    17000   119000 |    80467    75548     58 |  0.003 % |
511.01/511.19	c |    689592 |     200    17000   119000 |    80467    78548     58 |  0.003 % |
513.52/513.62	c |    692889 |     200    17000   119000 |    78956    72233     58 |  0.003 % |
516.31/516.49	c |    696515 |     200    17000   119000 |    78956    75859     58 |  0.003 % |
519.51/519.66	c |    700502 |     200    17000   119000 |    69421    61302     58 |  0.003 % |
522.42/522.59	c |    704887 |     200    17000   119000 |    69421    65687     58 |  0.003 % |
525.91/526.00	c |    709710 |     200    17000   119000 |    69421    63560     59 |  0.003 % |
529.61/529.74	c |    715015 |     200    17000   119000 | 2147483647    68865     59 |  0.003 % |
534.11/534.27	c |    720852 |     200    17000   119000 | 2147483647    74702     59 |  0.003 % |
539.11/539.28	c |    727270 |     200    17000   119000 | 2147483647    81120     59 |  0.003 % |
539.21/539.36	c |    727371 |     200    17000   119000 | 2147483647    81221     59 |  0.003 % |
539.31/539.47	c |    727482 |     200    17000   119000 | 2147483647    81332     59 |  0.003 % |
539.41/539.59	c |    727603 |     200    17000   119000 | 2147483647    81453     59 |  0.003 % |
539.61/539.73	c |    727737 |     200    17000   119000 | 2147483647    81587     59 |  0.003 % |
539.71/539.86	c |    727885 |     200    17000   119000 | 2147483647    81735     59 |  0.003 % |
539.92/540.01	c |    728048 |     200    17000   119000 | 2147483647    81898     59 |  0.003 % |
540.11/540.24	c |    728224 |     200    17000   119000 | 2147483647    82074     59 |  0.003 % |
540.31/540.48	c |    728418 |     200    17000   119000 | 2147483647    82268     59 |  0.003 % |
540.61/540.72	c |    728630 |     200    17000   119000 | 2147483647    82480     59 |  0.003 % |
540.81/540.96	c |    728865 |     200    17000   119000 | 2147483647    82715     59 |  0.003 % |
541.12/541.20	c |    729123 |     200    17000   119000 | 2147483647    82973     59 |  0.003 % |
541.31/541.48	c |    729404 |     200    17000   119000 | 2147483647    83254     59 |  0.003 % |
541.61/541.76	c |    729713 |     200    17000   119000 | 2147483647    83563     59 |  0.003 % |
541.91/542.08	c |    730052 |     200    17000   119000 |    83850    83902     59 |  0.003 % |
542.41/542.55	c |    730426 |     200    17000   119000 |    83850    72522     59 |  0.003 % |
542.81/542.96	c |    730835 |     200    17000   119000 |    83850    72931     59 |  0.003 % |
543.22/543.37	c |    731285 |     200    17000   119000 |    83850    73381     59 |  0.003 % |
543.61/543.77	c |    731778 |     200    17000   119000 |    83850    73874     59 |  0.003 % |
544.11/544.22	c |    732321 |     200    17000   119000 |    83850    74417     59 |  0.003 % |
544.51/544.70	c |    732917 |     200    17000   119000 |    83850    75013     59 |  0.003 % |
545.11/545.25	c |    733572 |     200    17000   119000 |    83850    75668     59 |  0.003 % |
545.91/546.01	c |    734294 |     200    17000   119000 |    83850    76390     59 |  0.003 % |
546.62/546.78	c |    735086 |     200    17000   119000 |    83850    77182     59 |  0.003 % |
547.51/547.70	c |    735957 |     200    17000   119000 |    83850    78053     59 |  0.003 % |
548.51/548.67	c |    736916 |     200    17000   119000 |    83850    79012     59 |  0.003 % |
549.51/549.64	c |    737970 |     200    17000   119000 |    83850    80066     59 |  0.003 % |
550.61/550.72	c |    739128 |     200    17000   119000 |    83850    81224     59 |  0.003 % |
551.91/552.03	c |    740401 |     200    17000   119000 |    82096    69309     59 |  0.003 % |
552.91/553.03	c |    741803 |     200    17000   119000 |    82096    70711     59 |  0.003 % |
554.01/554.12	c |    743346 |     200    17000   119000 |    82096    72254     59 |  0.003 % |
555.11/555.29	c |    745040 |     200    17000   119000 |    82096    73948     59 |  0.003 % |
556.91/557.07	c |    746903 |     200    17000   119000 |    82096    75811     59 |  0.003 % |
558.81/558.91	c |    748952 |     200    17000   119000 |    82096    77860     59 |  0.003 % |
560.71/560.80	c |    751205 |     200    17000   119000 |    78908    68714     59 |  0.003 % |
562.61/562.76	c |    753684 |     200    17000   119000 |    78908    71193     59 |  0.003 % |
564.71/564.86	c |    756412 |     200    17000   119000 |    78908    73921     59 |  0.003 % |
567.21/567.35	c |    759409 |     200    17000   119000 |    78908    76918     59 |  0.003 % |
569.72/569.85	c |    762707 |     200    17000   119000 |    77509    70348     59 |  0.003 % |
572.51/572.63	c |    766332 |     200    17000   119000 |    77509    73973     59 |  0.003 % |
575.81/575.95	c |    770319 |     200    17000   119000 |    68570    60896     58 |  0.003 % |
578.61/578.75	c |    774706 |     200    17000   119000 |    68570    65283     58 |  0.003 % |
582.01/582.12	c |    779529 |     200    17000   119000 |    68570    63241     58 |  0.003 % |
585.81/585.92	c |    784835 |     200    17000   119000 | 2147483647    68547     58 |  0.003 % |
590.02/590.10	c |    790670 |     200    17000   119000 |    73712    66591     58 |  0.003 % |
594.62/594.79	c |    797089 |     200    17000   119000 |    73712    73010     58 |  0.003 % |
599.62/599.74	c |    804149 |     200    17000   119000 |    68209    65233     59 |  0.003 % |
599.72/599.81	c |    804249 |     200    17000   119000 |    68209    65333     59 |  0.003 % |
599.72/599.89	c |    804360 |     200    17000   119000 |    68209    65444     59 |  0.003 % |
599.82/599.99	c |    804481 |     200    17000   119000 |    68209    65565     59 |  0.003 % |
599.92/600.06	c |    804616 |     200    17000   119000 |    68209    65700     59 |  0.003 % |
600.02/600.17	c |    804762 |     200    17000   119000 |    68209    65846     59 |  0.003 % |
600.12/600.28	c |    804922 |     200    17000   119000 |    68209    66006     59 |  0.003 % |
600.32/600.42	c |    805098 |     200    17000   119000 |    68209    66182     59 |  0.003 % |
600.52/600.61	c |    805292 |     200    17000   119000 |    68209    66376     59 |  0.003 % |
600.72/600.80	c |    805505 |     200    17000   119000 |    68209    66589     59 |  0.003 % |
600.92/601.02	c |    805738 |     200    17000   119000 |    68209    66822     59 |  0.003 % |
601.12/601.25	c |    805994 |     200    17000   119000 |    68209    67078     59 |  0.003 % |
601.32/601.47	c |    806275 |     200    17000   119000 |    68209    67359     59 |  0.003 % |
601.62/601.78	c |    806584 |     200    17000   119000 |    68209    67668     59 |  0.003 % |
601.92/602.06	c |    806926 |     200    17000   119000 |    68209    68010     59 |  0.003 % |
602.32/602.40	c |    807301 |     200    17000   119000 |    68209    61557     59 |  0.003 % |
602.62/602.73	c |    807710 |     200    17000   119000 |    68209    61966     59 |  0.003 % |
602.92/603.02	c |    808159 |     200    17000   119000 |    68209    62415     59 |  0.003 % |
603.22/603.36	c |    808653 |     200    17000   119000 |    68209    62909     59 |  0.003 % |
603.62/603.71	c |    809195 |     200    17000   119000 |    68209    63451     59 |  0.003 % |
603.92/604.06	c |    809791 |     200    17000   119000 |    68209    64047     59 |  0.003 % |
604.32/604.49	c |    810446 |     200    17000   119000 | 2147483647    64702     59 |  0.003 % |
604.82/604.99	c |    811166 |     200    17000   119000 | 2147483647    65422     59 |  0.003 % |
605.42/605.51	c |    811958 |     200    17000   119000 | 2147483647    66214     59 |  0.003 % |
606.02/606.13	c |    812829 |     200    17000   119000 | 2147483647    67085     59 |  0.003 % |
606.72/606.81	c |    813789 |     200    17000   119000 | 2147483647    68045     59 |  0.003 % |
607.42/607.56	c |    814842 |     200    17000   119000 | 2147483647    69098     59 |  0.003 % |
608.32/608.44	c |    816001 |     200    17000   119000 | 2147483647    70257     59 |  0.003 % |
609.42/609.55	c |    817275 |     200    17000   119000 | 2147483647    71531     59 |  0.003 % |
610.62/610.76	c |    818675 |     200    17000   119000 | 2147483647    72931     59 |  0.003 % |
611.92/612.07	c |    820215 |     200    17000   119000 |    74257    66805     59 |  0.003 % |
613.12/613.25	c |    821910 |     200    17000   119000 |    74257    68500     59 |  0.003 % |
614.32/614.48	c |    823777 |     200    17000   119000 |    74257    70367     59 |  0.003 % |
615.72/615.90	c |    825826 |     200    17000   119000 |    74257    72416     59 |  0.003 % |
617.62/617.76	c |    828080 |     200    17000   119000 |    74257    67205     59 |  0.003 % |
619.62/619.80	c |    830558 |     200    17000   119000 |    69128    62524     59 |  0.003 % |
621.72/621.82	c |    833285 |     200    17000   119000 |    69128    65251     59 |  0.003 % |
623.92/624.01	c |    836283 |     200    17000   119000 |    69128    68249     59 |  0.003 % |
626.22/626.32	c |    839579 |     200    17000   119000 |    69128    64624     59 |  0.003 % |
628.92/629.10	c |    843206 |     200    17000   119000 | 2147483647    68251     59 |  0.003 % |
631.72/631.86	c |    847193 |     200    17000   119000 | 2147483647    72238     59 |  0.003 % |
635.22/635.30	c |    851580 |     200    17000   119000 |    75046    68832     59 |  0.003 % |
639.22/639.30	c |    856404 |     200    17000   119000 |    75046    73656     59 |  0.003 % |
643.02/643.11	c |    861710 |     200    17000   119000 |    68646    62904     58 |  0.003 % |
647.02/647.17	c |    867546 |     200    17000   119000 |    68646    61867     58 |  0.003 % |
651.82/651.98	c |    873965 |     200    17000   119000 | 2147483647    68286     59 |  0.003 % |
657.23/657.31	c |    881024 |     200    17000   119000 | 2147483647    75345     59 |  0.003 % |
663.43/663.55	c |    888789 |     200    17000   119000 | 2147483647    83110     59 |  0.003 % |
663.53/663.66	c |    888890 |     200    17000   119000 | 2147483647    83211     59 |  0.003 % |
663.63/663.76	c |    889003 |     200    17000   119000 | 2147483647    83324     59 |  0.003 % |
663.83/663.94	c |    889128 |     200    17000   119000 | 2147483647    83449     59 |  0.003 % |
663.93/664.08	c |    889261 |     200    17000   119000 | 2147483647    83582     59 |  0.003 % |
664.13/664.24	c |    889407 |     200    17000   119000 | 2147483647    83728     59 |  0.003 % |
664.33/664.42	c |    889570 |     200    17000   119000 | 2147483647    83891     59 |  0.003 % |
664.53/664.65	c |    889746 |     200    17000   119000 | 2147483647    84067     59 |  0.003 % |
664.73/664.88	c |    889945 |     200    17000   119000 | 2147483647    84266     59 |  0.003 % |
665.03/665.18	c |    890157 |     200    17000   119000 |    84321    71839     59 |  0.003 % |
665.23/665.38	c |    890390 |     200    17000   119000 |    84321    72072     59 |  0.003 % |
665.43/665.58	c |    890646 |     200    17000   119000 |    84321    72328     59 |  0.003 % |
665.73/665.82	c |    890927 |     200    17000   119000 |    84321    72609     59 |  0.003 % |
665.93/666.06	c |    891236 |     200    17000   119000 |    84321    72918     59 |  0.003 % |
666.23/666.33	c |    891575 |     200    17000   119000 |    84321    73257     59 |  0.003 % |
666.63/666.73	c |    891948 |     200    17000   119000 |    84321    73630     59 |  0.003 % |
667.03/667.14	c |    892357 |     200    17000   119000 |    84321    74039     59 |  0.003 % |
667.43/667.56	c |    892806 |     200    17000   119000 |    84321    74488     59 |  0.003 % |
667.83/667.99	c |    893299 |     200    17000   119000 |    84321    74981     59 |  0.003 % |
668.33/668.41	c |    893842 |     200    17000   119000 |    84321    75524     59 |  0.003 % |
668.83/668.90	c |    894438 |     200    17000   119000 |    84321    76120     59 |  0.003 % |
669.33/669.46	c |    895093 |     200    17000   119000 |    84321    76775     59 |  0.003 % |
670.13/670.22	c |    895813 |     200    17000   119000 |    84321    77495     59 |  0.003 % |
670.83/670.97	c |    896605 |     200    17000   119000 |    84321    78287     59 |  0.003 % |
671.63/671.78	c |    897476 |     200    17000   119000 |    84321    79158     59 |  0.003 % |
672.53/672.64	c |    898434 |     200    17000   119000 |    84321    80116     59 |  0.003 % |
673.43/673.59	c |    899487 |     200    17000   119000 |    84321    81169     59 |  0.003 % |
674.53/674.60	c |    900645 |     200    17000   119000 |    81682    69374     59 |  0.003 % |
675.43/675.51	c |    901920 |     200    17000   119000 |    81682    70649     59 |  0.003 % |
676.43/676.52	c |    903320 |     200    17000   119000 |    81682    72049     59 |  0.003 % |
677.43/677.57	c |    904862 |     200    17000   119000 |    81682    73591     59 |  0.003 % |
678.73/678.90	c |    906556 |     200    17000   119000 |    81682    75285     58 |  0.003 % |
680.53/680.67	c |    908419 |     200    17000   119000 |    81682    77148     58 |  0.003 % |
682.43/682.51	c |    910469 |     200    17000   119000 |    78729    68306     59 |  0.003 % |
684.23/684.37	c |    912722 |     200    17000   119000 |    78729    70559     59 |  0.003 % |
686.13/686.23	c |    915203 |     200    17000   119000 |    78729    73040     58 |  0.003 % |
688.13/688.29	c |    917928 |     200    17000   119000 |    78729    75765     59 |  0.003 % |
690.53/690.68	c |    920928 |     200    17000   119000 |    77837    68953     58 |  0.003 % |
692.83/692.97	c |    924224 |     200    17000   119000 |    77837    72249     59 |  0.003 % |
695.43/695.55	c |    927849 |     200    17000   119000 |    77837    75874     59 |  0.003 % |
698.23/698.34	c |    931836 |     200    17000   119000 |    69330    63492     59 |  0.003 % |
701.03/701.13	c |    936221 |     200    17000   119000 |    69330    67877     59 |  0.003 % |
704.43/704.50	c |    941044 |     200    17000   119000 | 2147483647    65760     58 |  0.003 % |
708.13/708.21	c |    946349 |     200    17000   119000 | 2147483647    71065     59 |  0.003 % |
712.13/712.24	c |    952184 |     200    17000   119000 | 2147483647    76900     59 |  0.003 % |
717.53/717.61	c |    958603 |     200    17000   119000 | 2147483647    83319     59 |  0.003 % |
723.03/723.18	c |    965663 |     200    17000   119000 |    84719    79209     59 |  0.003 % |
729.93/730.09	c |    973427 |     200    17000   119000 |    83546    75256     59 |  0.003 % |
737.03/737.11	c |    981968 |     200    17000   119000 |    81829    72919     59 |  0.003 % |
737.13/737.20	c |    982068 |     200    17000   119000 |    81829    73019     59 |  0.003 % |
737.23/737.32	c |    982178 |     200    17000   119000 |    81829    73129     59 |  0.003 % |
737.33/737.42	c |    982300 |     200    17000   119000 |    81829    73251     59 |  0.003 % |
737.43/737.53	c |    982434 |     200    17000   119000 |    81829    73385     59 |  0.003 % |
737.53/737.66	c |    982580 |     200    17000   119000 |    81829    73531     59 |  0.003 % |
737.73/737.83	c |    982741 |     200    17000   119000 |    81829    73692     59 |  0.003 % |
737.83/737.98	c |    982917 |     200    17000   119000 |    81829    73868     59 |  0.003 % |
738.03/738.15	c |    983111 |     200    17000   119000 |    81829    74062     59 |  0.003 % |
738.23/738.31	c |    983323 |     200    17000   119000 |    81829    74274     59 |  0.003 % |
738.43/738.51	c |    983557 |     200    17000   119000 |    81829    74508     59 |  0.003 % |
738.63/738.72	c |    983813 |     200    17000   119000 |    81829    74764     59 |  0.003 % |
738.83/738.95	c |    984098 |     200    17000   119000 |    81829    75049     59 |  0.003 % |
739.13/739.25	c |    984408 |     200    17000   119000 |    81829    75359     59 |  0.003 % |
739.43/739.57	c |    984747 |     200    17000   119000 |    81829    75698     59 |  0.003 % |
739.73/739.87	c |    985119 |     200    17000   119000 |    81829    76070     59 |  0.003 % |
740.13/740.24	c |    985528 |     200    17000   119000 |    81829    76479     59 |  0.003 % |
740.53/740.66	c |    985977 |     200    17000   119000 |    81829    76928     59 |  0.003 % |
740.93/741.05	c |    986471 |     200    17000   119000 |    81829    77422     59 |  0.003 % |
741.34/741.47	c |    987013 |     200    17000   119000 |    81829    77964     59 |  0.003 % |
741.83/741.98	c |    987611 |     200    17000   119000 |    81829    78562     59 |  0.003 % |
742.44/742.58	c |    988269 |     200    17000   119000 |    81829    79220     59 |  0.003 % |
743.03/743.14	c |    988990 |     200    17000   119000 |    81829    79941     59 |  0.003 % |
743.63/743.79	c |    989783 |     200    17000   119000 |    81829    80734     59 |  0.003 % |
744.54/744.68	c |    990655 |     200    17000   119000 |    80951    70037     59 |  0.003 % |
745.23/745.38	c |    991613 |     200    17000   119000 |    80951    70995     59 |  0.003 % |
746.13/746.21	c |    992668 |     200    17000   119000 |    80951    72050     59 |  0.003 % |
747.03/747.15	c |    993826 |     200    17000   119000 |    80951    73208     59 |  0.003 % |
748.03/748.10	c |    995099 |     200    17000   119000 |    80951    74481     59 |  0.003 % |
749.04/749.19	c |    996499 |     200    17000   119000 |    80951    75881     59 |  0.003 % |
750.33/750.41	c |    998039 |     200    17000   119000 |    80951    77421     59 |  0.003 % |
751.63/751.77	c |    999733 |     200    17000   119000 |    80951    79115     59 |  0.003 % |
753.03/753.16	c |   1001596 |     200    17000   119000 |    79383    70227     59 |  0.003 % |
754.63/754.74	c |   1003647 |     200    17000   119000 |    79383    72278     59 |  0.003 % |
756.43/756.58	c |   1005900 |     200    17000   119000 |    79383    74531     59 |  0.003 % |
758.63/758.70	c |   1008378 |     200    17000   119000 |    79383    77009     59 |  0.003 % |
760.63/760.75	c |   1011103 |     200    17000   119000 |    78632    69470     59 |  0.003 % |
762.83/762.95	c |   1014101 |     200    17000   119000 |    78632    72468     59 |  0.003 % |
765.44/765.56	c |   1017398 |     200    17000   119000 |    78632    75765     59 |  0.003 % |
768.23/768.34	c |   1021025 |     200    17000   119000 |    78367    69460     58 |  0.003 % |
771.04/771.13	c |   1025012 |     200    17000   119000 |    78367    73447     59 |  0.003 % |
774.43/774.55	c |   1029397 |     200    17000   119000 |    78367    77832     59 |  0.003 % |
778.03/778.12	c |   1034222 |     200    17000   119000 |    78436    72974     58 |  0.003 % |
782.04/782.15	c |   1039531 |     200    17000   119000 |    78436    78283     59 |  0.003 % |
786.23/786.36	c |   1045366 |     200    17000   119000 |    69868    67289     59 |  0.003 % |
790.74/790.80	c |   1051784 |     200    17000   119000 | 2147483647    66660     59 |  0.003 % |
795.73/795.84	c |   1058845 |     200    17000   119000 | 2147483647    73721     59 |  0.003 % |
801.75/801.84	c |   1066610 |     200    17000   119000 | 2147483647    81486     59 |  0.003 % |
808.45/808.55	c |   1075151 |     200    17000   119000 |    84877    79198     59 |  0.003 % |
815.34/815.46	c |   1084545 |     200    17000   119000 |    84048    76581     60 |  0.003 % |
815.44/815.58	c |   1084645 |     200    17000   119000 |    84048    76681     60 |  0.003 % |
815.54/815.68	c |   1084755 |     200    17000   119000 |    84048    76791     60 |  0.003 % |
815.64/815.77	c |   1084876 |     200    17000   119000 |    84048    76912     60 |  0.003 % |
815.74/815.89	c |   1085011 |     200    17000   119000 |    84048    77047     60 |  0.003 % |
815.94/816.05	c |   1085157 |     200    17000   119000 |    84048    77193     60 |  0.003 % |
816.05/816.19	c |   1085317 |     200    17000   119000 |    84048    77353     60 |  0.003 % |
816.24/816.37	c |   1085493 |     200    17000   119000 |    84048    77529     60 |  0.003 % |
816.44/816.57	c |   1085686 |     200    17000   119000 |    84048    77722     60 |  0.003 % |
816.64/816.77	c |   1085899 |     200    17000   119000 |    84048    77935     60 |  0.003 % |
816.94/817.02	c |   1086133 |     200    17000   119000 |    84048    78169     60 |  0.003 % |
817.15/817.25	c |   1086391 |     200    17000   119000 |    84048    78427     60 |  0.003 % |
817.44/817.50	c |   1086672 |     200    17000   119000 |    84048    78708     60 |  0.003 % |
817.64/817.76	c |   1086981 |     200    17000   119000 |    84048    79017     59 |  0.003 % |
817.94/818.04	c |   1087322 |     200    17000   119000 |    84048    79358     59 |  0.003 % |
818.25/818.32	c |   1087695 |     200    17000   119000 |    84048    79731     59 |  0.003 % |
818.54/818.67	c |   1088105 |     200    17000   119000 |    84048    80141     59 |  0.003 % |
818.94/819.05	c |   1088554 |     200    17000   119000 |    84048    80590     59 |  0.003 % |
819.54/819.63	c |   1089048 |     200    17000   119000 |    84048    81084     59 |  0.003 % |
820.04/820.18	c |   1089590 |     200    17000   119000 |    84048    81626     59 |  0.003 % |
820.74/820.89	c |   1090188 |     200    17000   119000 |    82036    69846     60 |  0.003 % |
821.34/821.45	c |   1090843 |     200    17000   119000 |    82036    70501     59 |  0.003 % |
821.94/822.01	c |   1091564 |     200    17000   119000 |    82036    71222     59 |  0.003 % |
822.54/822.70	c |   1092357 |     200    17000   119000 |    82036    72015     59 |  0.003 % |
823.34/823.46	c |   1093228 |     200    17000   119000 |    82036    72886     59 |  0.003 % |
824.24/824.32	c |   1094186 |     200    17000   119000 |    82036    73844     59 |  0.003 % |
825.04/825.18	c |   1095239 |     200    17000   119000 |    82036    74897     59 |  0.003 % |
825.95/826.09	c |   1096398 |     200    17000   119000 |    82036    76056     59 |  0.003 % |
826.94/827.07	c |   1097671 |     200    17000   119000 |    82036    77329     59 |  0.003 % |
828.04/828.13	c |   1099071 |     200    17000   119000 |    82036    78729     59 |  0.003 % |
829.54/829.60	c |   1100611 |     200    17000   119000 |    79659    68922     59 |  0.003 % |
830.74/830.86	c |   1102306 |     200    17000   119000 |    79659    70617     59 |  0.003 % |
832.14/832.22	c |   1104169 |     200    17000   119000 |    79659    72480     59 |  0.003 % |
833.65/833.70	c |   1106220 |     200    17000   119000 |    79659    74531     59 |  0.003 % |
835.24/835.38	c |   1108474 |     200    17000   119000 |    79659    76785     59 |  0.003 % |
837.24/837.32	c |   1110952 |     200    17000   119000 |    78311    69319     59 |  0.003 % |
839.35/839.45	c |   1113677 |     200    17000   119000 |    78311    72044     59 |  0.003 % |
841.74/841.89	c |   1116674 |     200    17000   119000 |    78311    75041     59 |  0.003 % |
844.44/844.54	c |   1119970 |     200    17000   119000 |    78311    78337     59 |  0.003 % |
847.04/847.10	c |   1123596 |     200    17000   119000 |    68725    63889     59 |  0.003 % |
849.74/849.83	c |   1127583 |     200    17000   119000 |    68725    67876     59 |  0.003 % |
852.64/852.71	c |   1131968 |     200    17000   119000 | 2147483647    65379     59 |  0.003 % |
855.94/856.00	c |   1136791 |     200    17000   119000 | 2147483647    70202     59 |  0.003 % |
859.54/859.69	c |   1142097 |     200    17000   119000 | 2147483647    75508     59 |  0.003 % |
864.24/864.33	c |   1147933 |     200    17000   119000 | 2147483647    81344     59 |  0.003 % |
869.34/869.44	c |   1154352 |     200    17000   119000 |    83413    76198     59 |  0.003 % |
874.95/875.05	c |   1161411 |     200    17000   119000 |    81846    72230     59 |  0.003 % |
880.45/880.56	c |   1169175 |     200    17000   119000 |    81846    79994     59 |  0.003 % |
886.95/887.00	c |   1177715 |     200    17000   119000 |    80819    79383     59 |  0.003 % |
893.85/893.90	c |   1187110 |     200    17000   119000 |    72173    70875     60 |  0.003 % |
901.15/901.29	c |   1197443 |     200    17000   119000 | 2147483647    73981     60 |  0.003 % |
901.25/901.37	c |   1197543 |     200    17000   119000 | 2147483647    74081     60 |  0.003 % |
901.35/901.49	c |   1197653 |     200    17000   119000 | 2147483647    74191     60 |  0.003 % |
901.54/901.62	c |   1197775 |     200    17000   119000 | 2147483647    74313     60 |  0.003 % |
901.64/901.75	c |   1197908 |     200    17000   119000 | 2147483647    74446     60 |  0.003 % |
901.74/901.87	c |   1198056 |     200    17000   119000 | 2147483647    74594     60 |  0.003 % |
901.95/902.03	c |   1198218 |     200    17000   119000 | 2147483647    74756     60 |  0.003 % |
902.14/902.20	c |   1198397 |     200    17000   119000 | 2147483647    74935     60 |  0.003 % |
902.24/902.36	c |   1198591 |     200    17000   119000 | 2147483647    75129     60 |  0.003 % |
902.44/902.57	c |   1198803 |     200    17000   119000 | 2147483647    75341     60 |  0.003 % |
902.64/902.79	c |   1199036 |     200    17000   119000 | 2147483647    75574     60 |  0.003 % |
902.95/903.07	c |   1199292 |     200    17000   119000 | 2147483647    75830     60 |  0.003 % |
903.24/903.35	c |   1199574 |     200    17000   119000 | 2147483647    76112     60 |  0.003 % |
903.64/903.70	c |   1199883 |     200    17000   119000 | 2147483647    76421     60 |  0.003 % |
904.05/904.12	c |   1200222 |     200    17000   119000 |    76538    68467     59 |  0.003 % |
904.34/904.44	c |   1200594 |     200    17000   119000 |    76538    68839     59 |  0.003 % |
904.64/904.79	c |   1201004 |     200    17000   119000 |    76538    69249     59 |  0.003 % |
905.04/905.18	c |   1201454 |     200    17000   119000 |    76538    69699     59 |  0.003 % |
905.44/905.59	c |   1201948 |     200    17000   119000 |    76538    70193     59 |  0.003 % |
905.84/905.96	c |   1202490 |     200    17000   119000 |    76538    70735     59 |  0.003 % |
906.35/906.45	c |   1203086 |     200    17000   119000 |    76538    71331     59 |  0.003 % |
906.84/906.96	c |   1203742 |     200    17000   119000 |    76538    71987     59 |  0.003 % |
907.45/907.56	c |   1204462 |     200    17000   119000 |    76538    72707     59 |  0.003 % |
908.14/908.25	c |   1205254 |     200    17000   119000 |    76538    73499     59 |  0.003 % |
908.94/909.01	c |   1206125 |     200    17000   119000 |    76538    74370     59 |  0.003 % |
909.74/909.83	c |   1207083 |     200    17000   119000 |    76538    75328     59 |  0.003 % |
910.65/910.74	c |   1208136 |     200    17000   119000 |    76538    76381     59 |  0.003 % |
911.64/911.71	c |   1209294 |     200    17000   119000 |    76538    67805     59 |  0.003 % |
912.54/912.61	c |   1210568 |     200    17000   119000 |    68511    60687     59 |  0.003 % |
913.34/913.47	c |   1211970 |     200    17000   119000 |    68511    62089     59 |  0.003 % |
914.34/914.45	c |   1213512 |     200    17000   119000 |    68511    63631     59 |  0.003 % |
915.54/915.66	c |   1215206 |     200    17000   119000 |    68511    65325     59 |  0.003 % |
916.84/916.91	c |   1217070 |     200    17000   119000 |    68511    67189     59 |  0.003 % |
918.14/918.29	c |   1219121 |     200    17000   119000 |    68511    62380     59 |  0.003 % |
919.55/919.68	c |   1221376 |     200    17000   119000 | 2147483647    64635     59 |  0.003 % |
921.04/921.12	c |   1223854 |     200    17000   119000 | 2147483647    67113     59 |  0.003 % |
922.75/922.88	c |   1226580 |     200    17000   119000 | 2147483647    69839     59 |  0.003 % |
925.05/925.19	c |   1229577 |     200    17000   119000 | 2147483647    72836     59 |  0.003 % |
927.84/927.98	c |   1232875 |     200    17000   119000 | 2147483647    76134     59 |  0.003 % |
930.84/930.99	c |   1236500 |     200    17000   119000 | 2147483647    79759     59 |  0.003 % |
934.45/934.56	c |   1240487 |     200    17000   119000 |    83260    71729     59 |  0.003 % |
937.75/937.88	c |   1244872 |     200    17000   119000 |    83260    76114     59 |  0.003 % |
941.15/941.24	c |   1249695 |     200    17000   119000 |    83260    80937     59 |  0.003 % |
945.05/945.19	c |   1255000 |     200    17000   119000 |    81242    75936     59 |  0.003 % |
950.15/950.23	c |   1260837 |     200    17000   119000 |    80936    70036     59 |  0.003 % |
954.95/955.07	c |   1267258 |     200    17000   119000 |    80936    76457     59 |  0.003 % |
960.35/960.45	c |   1274318 |     200    17000   119000 |    79199    72985     59 |  0.003 % |
966.15/966.29	c |   1282083 |     200    17000   119000 |    78668    71337     60 |  0.003 % |
973.25/973.32	c |   1290624 |     200    17000   119000 |    68105    59169     60 |  0.003 % |
979.25/979.31	c |   1300018 |     200    17000   119000 | 2147483647    61744     60 |  0.003 % |
986.45/986.59	c |   1310352 |     200    17000   119000 | 2147483647    72078     60 |  0.003 % |
995.45/995.57	c |   1321718 |     200    17000   119000 |    81726    72425     60 |  0.003 % |
995.55/995.65	c |   1321818 |     200    17000   119000 |    81726    72525     60 |  0.003 % |
995.65/995.77	c |   1321928 |     200    17000   119000 |    81726    72635     60 |  0.003 % |
995.75/995.88	c |   1322050 |     200    17000   119000 |    81726    72757     60 |  0.003 % |
995.95/996.04	c |   1322183 |     200    17000   119000 |    81726    72890     60 |  0.003 % |
996.05/996.17	c |   1322329 |     200    17000   119000 |    81726    73036     60 |  0.003 % |
996.25/996.31	c |   1322491 |     200    17000   119000 |    81726    73198     60 |  0.003 % |
996.35/996.46	c |   1322668 |     200    17000   119000 |    81726    73375     60 |  0.003 % |
996.55/996.61	c |   1322861 |     200    17000   119000 |    81726    73568     60 |  0.003 % |
996.65/996.78	c |   1323073 |     200    17000   119000 |    81726    73780     60 |  0.003 % |
996.95/997.03	c |   1323306 |     200    17000   119000 |    81726    74013     60 |  0.003 % |
997.15/997.28	c |   1323564 |     200    17000   119000 |    81726    74271     60 |  0.003 % |
997.55/997.61	c |   1323846 |     200    17000   119000 |    81726    74553     60 |  0.003 % |
997.85/997.92	c |   1324156 |     200    17000   119000 |    81726    74863     60 |  0.003 % |
998.15/998.24	c |   1324496 |     200    17000   119000 |    81726    75203     60 |  0.003 % |
998.45/998.59	c |   1324869 |     200    17000   119000 |    81726    75576     60 |  0.003 % |
998.85/998.93	c |   1325278 |     200    17000   119000 |    81726    75985     60 |  0.003 % |
999.25/999.31	c |   1325729 |     200    17000   119000 |    81726    76436     60 |  0.003 % |
999.65/999.72	c |   1326225 |     200    17000   119000 |    81726    76932     60 |  0.003 % |
1000.05/1000.13	c |   1326767 |     200    17000   119000 |    81726    77474     60 |  0.003 % |
1000.55/1000.62	c |   1327364 |     200    17000   119000 |    81726    78071     60 |  0.003 % |
1001.05/1001.13	c |   1328020 |     200    17000   119000 |    81726    78727     60 |  0.003 % |
1001.85/1001.97	c |   1328741 |     200    17000   119000 |    81726    79448     60 |  0.003 % |
1002.65/1002.76	c |   1329533 |     200    17000   119000 |    81726    80240     60 |  0.003 % |
1003.75/1003.80	c |   1330404 |     200    17000   119000 |    80708    68082     60 |  0.003 % |
1004.35/1004.49	c |   1331362 |     200    17000   119000 |    80708    69040     60 |  0.003 % |
1005.25/1005.32	c |   1332417 |     200    17000   119000 |    80708    70095     60 |  0.003 % |
1006.25/1006.31	c |   1333575 |     200    17000   119000 |    80708    71253     60 |  0.003 % |
1007.35/1007.42	c |   1334848 |     200    17000   119000 |    80708    72526     60 |  0.003 % |
1008.45/1008.51	c |   1336248 |     200    17000   119000 |    80708    73926     60 |  0.003 % |
1009.55/1009.69	c |   1337793 |     200    17000   119000 |    80708    75471     60 |  0.003 % |
1011.05/1011.11	c |   1339487 |     200    17000   119000 |    80708    77165     60 |  0.003 % |
1012.35/1012.47	c |   1341350 |     200    17000   119000 |    77678    68331     59 |  0.003 % |
1013.85/1013.90	c |   1343399 |     200    17000   119000 |    77678    70380     59 |  0.003 % |
1015.55/1015.68	c |   1345652 |     200    17000   119000 |    77678    72633     59 |  0.003 % |
1017.35/1017.49	c |   1348131 |     200    17000   119000 |    77678    75112     59 |  0.003 % |
1019.35/1019.48	c |   1350857 |     200    17000   119000 |    76982    69325     59 |  0.003 % |
1021.65/1021.80	c |   1353855 |     200    17000   119000 |    76982    72323     59 |  0.003 % |
1024.45/1024.55	c |   1357152 |     200    17000   119000 |    76982    75620     59 |  0.003 % |
1027.25/1027.33	c |   1360777 |     200    17000   119000 |    69467    62363     59 |  0.003 % |
1029.85/1029.97	c |   1364764 |     200    17000   119000 |    69467    66350     59 |  0.003 % |
1032.86/1032.99	c |   1369149 |     200    17000   119000 |    69467    63779     58 |  0.003 % |
1036.16/1036.29	c |   1373973 |     200    17000   119000 | 2147483647    68603     58 |  0.003 % |
1039.75/1039.82	c |   1379279 |     200    17000   119000 | 2147483647    73909     58 |  0.003 % |
1044.35/1044.45	c |   1385114 |     200    17000   119000 | 2147483647    79744     58 |  0.003 % |
1049.15/1049.29	c |   1391533 |     200    17000   119000 |    84631    75269     58 |  0.003 % |
1054.65/1054.73	c |   1398592 |     200    17000   119000 |    84631    82328     59 |  0.003 % |
1060.65/1060.75	c |   1406358 |     200    17000   119000 |    83739    77195     59 |  0.003 % |
1067.25/1067.30	c |   1414898 |     200    17000   119000 |    80839    73853     59 |  0.003 % |
1074.45/1074.52	c |   1424293 |     200    17000   119000 |    78956    72829     59 |  0.003 % |
1082.05/1082.19	c |   1434628 |     200    17000   119000 |    78536    73490     60 |  0.003 % |
1090.75/1090.85	c |   1445994 |     200    17000   119000 |    68787    66039     60 |  0.003 % |
1100.45/1100.52	c |   1458496 |     200    17000   119000 | 2147483647    71654     60 |  0.003 % |
1100.45/1100.58	c |   1458596 |     200    17000   119000 | 2147483647    71754     60 |  0.003 % |
1100.55/1100.68	c |   1458707 |     200    17000   119000 | 2147483647    71865     60 |  0.003 % |
1100.75/1100.80	c |   1458829 |     200    17000   119000 | 2147483647    71987     60 |  0.003 % |
1100.85/1100.92	c |   1458963 |     200    17000   119000 | 2147483647    72121     60 |  0.003 % |
1100.96/1101.04	c |   1459109 |     200    17000   119000 | 2147483647    72267     60 |  0.003 % |
1101.06/1101.17	c |   1459269 |     200    17000   119000 | 2147483647    72427     60 |  0.003 % |
1101.25/1101.32	c |   1459445 |     200    17000   119000 | 2147483647    72603     60 |  0.003 % |
1101.35/1101.48	c |   1459640 |     200    17000   119000 | 2147483647    72798     60 |  0.003 % |
1101.55/1101.68	c |   1459853 |     200    17000   119000 | 2147483647    73011     60 |  0.003 % |
1101.75/1101.88	c |   1460086 |     200    17000   119000 |    73158    73244     60 |  0.003 % |
1102.06/1102.19	c |   1460342 |     200    17000   119000 |    73158    65731     60 |  0.003 % |
1102.25/1102.39	c |   1460624 |     200    17000   119000 |    73158    66013     60 |  0.003 % |
1102.55/1102.60	c |   1460934 |     200    17000   119000 |    73158    66323     60 |  0.003 % |
1102.75/1102.86	c |   1461273 |     200    17000   119000 |    73158    66662     60 |  0.003 % |
1103.05/1103.16	c |   1461646 |     200    17000   119000 |    73158    67035     60 |  0.003 % |
1103.35/1103.46	c |   1462056 |     200    17000   119000 |    73158    67445     60 |  0.003 % |
1103.75/1103.83	c |   1462506 |     200    17000   119000 |    73158    67895     60 |  0.003 % |
1104.15/1104.23	c |   1462999 |     200    17000   119000 |    73158    68388     60 |  0.003 % |
1104.55/1104.65	c |   1463543 |     200    17000   119000 |    73158    68932     60 |  0.003 % |
1105.05/1105.13	c |   1464142 |     200    17000   119000 |    73158    69531     60 |  0.003 % |
1105.55/1105.69	c |   1464797 |     200    17000   119000 |    73158    70186     60 |  0.003 % |
1106.15/1106.25	c |   1465518 |     200    17000   119000 |    73158    70907     60 |  0.003 % |
1106.95/1107.00	c |   1466310 |     200    17000   119000 |    73158    71699     60 |  0.003 % |
1107.55/1107.68	c |   1467181 |     200    17000   119000 |    73158    72570     60 |  0.003 % |
1108.35/1108.48	c |   1468139 |     200    17000   119000 |    73158    64934     60 |  0.003 % |
1109.15/1109.23	c |   1469192 |     200    17000   119000 |    73158    65987     60 |  0.003 % |
1109.95/1110.06	c |   1470353 |     200    17000   119000 |    66796    59696     60 |  0.003 % |
1110.75/1110.83	c |   1471627 |     200    17000   119000 |    66796    60970     60 |  0.003 % |
1111.55/1111.64	c |   1473027 |     200    17000   119000 |    66796    62370     60 |  0.003 % |
1112.45/1112.59	c |   1474567 |     200    17000   119000 |    66796    63910     60 |  0.003 % |
1113.55/1113.61	c |   1476261 |     200    17000   119000 |    66796    65604     60 |  0.003 % |
1114.65/1114.74	c |   1478125 |     200    17000   119000 |    66796    60780     60 |  0.003 % |
1115.85/1115.91	c |   1480175 |     200    17000   119000 | 2147483647    62830     60 |  0.003 % |
1117.15/1117.23	c |   1482428 |     200    17000   119000 | 2147483647    65083     60 |  0.003 % |
1118.65/1118.74	c |   1484907 |     200    17000   119000 | 2147483647    67562     60 |  0.003 % |
1120.35/1120.47	c |   1487632 |     200    17000   119000 | 2147483647    70287     60 |  0.003 % |
1122.45/1122.56	c |   1490632 |     200    17000   119000 | 2147483647    73287     60 |  0.003 % |
1124.96/1125.03	c |   1493928 |     200    17000   119000 | 2147483647    76583     60 |  0.003 % |
1127.86/1127.92	c |   1497554 |     200    17000   119000 | 2147483647    80209     60 |  0.003 % |
1131.36/1131.41	c |   1501544 |     200    17000   119000 |    82657    73301     60 |  0.003 % |
1134.66/1134.74	c |   1505929 |     200    17000   119000 |    82657    77686     60 |  0.003 % |
1138.46/1138.55	c |   1510753 |     200    17000   119000 |    81757    70811     60 |  0.003 % |
1142.36/1142.46	c |   1516058 |     200    17000   119000 |    81757    76116     60 |  0.003 % |
1147.06/1147.20	c |   1521894 |     200    17000   119000 |    80059    70577     59 |  0.003 % |
1151.66/1151.75	c |   1528314 |     200    17000   119000 |    80059    76997     59 |  0.003 % |
1156.66/1156.74	c |   1535373 |     200    17000   119000 |    78684    73956     60 |  0.003 % |
1162.16/1162.28	c |   1543138 |     200    17000   119000 |    78583    73097     60 |  0.003 % |
1168.36/1168.40	c |   1551679 |     200    17000   119000 |    71877    66247     60 |  0.003 % |
1174.96/1175.09	c |   1561073 |     200    17000   119000 | 2147483647    68444     60 |  0.003 % |
1182.56/1182.62	c |   1571407 |     200    17000   119000 |    77371    69746     60 |  0.003 % |
1190.17/1190.23	c |   1582776 |     200    17000   119000 |    69972    65385     60 |  0.003 % |
1198.97/1199.01	c |   1595279 |     200    17000   119000 | 2147483647    70882     60 |  0.003 % |
1200.07/1200.11	HOME/SatELiteGTI: line 36:  9156 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-1832567-1242784613/watcher-1832567-1242784613 -o /tmp/evaluation-result-1832567-1242784613/solver-1832567-1242784613 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832567-1242784613.cnf 

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


[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 9150
/proc/meminfo: memFree=1846912/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306494658 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9150/statm: 1339 237 197 169 0 50 0

[startup+0.093081 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 9150
/proc/meminfo: memFree=1846912/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.101077 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 9150
/proc/meminfo: memFree=1846912/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301023 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 9150
/proc/meminfo: memFree=1846912/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701909 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 9150
/proc/meminfo: memFree=1846912/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50268 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 9156
/proc/meminfo: memFree=1842864/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=5064 CPUtime=1.42
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 1028 0 0 0 142 0 0 0 25 0 1 0 306494665 5185536 1014 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 1266 1014 76 171 0 1093 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10420

[startup+3.10122 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 9156
/proc/meminfo: memFree=1841200/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=7328 CPUtime=3.01
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 1609 0 0 0 301 0 0 0 25 0 1 0 306494665 7503872 1595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 1832 1595 76 171 0 1659 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12684

[startup+6.30131 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 9156
/proc/meminfo: memFree=1837424/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=10340 CPUtime=6.22
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 2342 0 0 0 621 1 0 0 25 0 1 0 306494665 10588160 2328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 2585 2328 76 171 0 2412 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15696

[startup+12.7015 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 9156
/proc/meminfo: memFree=1833072/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=14384 CPUtime=12.62
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 3344 0 0 0 1260 2 0 0 25 0 1 0 306494665 14729216 3330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 3596 3330 76 171 0 3423 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19740

[startup+25.5018 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 9156
/proc/meminfo: memFree=1827248/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=20056 CPUtime=25.42
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 4739 0 0 0 2538 4 0 0 25 0 1 0 306494665 20537344 4725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 5014 4725 76 171 0 4841 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25412

[startup+51.1015 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 9156
/proc/meminfo: memFree=1823728/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=23252 CPUtime=51.03
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 5580 0 0 0 5098 5 0 0 25 0 1 0 306494665 23810048 5566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 5813 5566 76 171 0 5640 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28608

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9156
/proc/meminfo: memFree=1822128/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=24976 CPUtime=102.24
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 5988 0 0 0 10218 6 0 0 25 0 1 0 306494665 25575424 5974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6244 5974 76 171 0 6071 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30332

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9156
/proc/meminfo: memFree=1821936/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=24976 CPUtime=162.24
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 5988 0 0 0 16218 6 0 0 25 0 1 0 306494665 25575424 5974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6244 5974 76 171 0 6071 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 30332

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9156
/proc/meminfo: memFree=1820336/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=26428 CPUtime=222.24
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6357 0 0 0 22217 7 0 0 25 0 1 0 306494665 27062272 6343 1992294400 134512640 135215339 4294956240 18446744073709551615 134528702 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6607 6343 76 171 0 6434 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 31784

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9162
/proc/meminfo: memFree=1819952/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=26560 CPUtime=282.25
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6397 0 0 0 28217 8 0 0 25 0 1 0 306494665 27197440 6383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6640 6383 76 171 0 6467 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31916

[startup+342.302 s]
/proc/loadavg: 1.10 1.03 1.01 2/66 9638
/proc/meminfo: memFree=1777392/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=26824 CPUtime=342.15
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6479 0 0 0 34204 11 0 0 25 0 1 0 306494665 27467776 6465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6706 6465 76 171 0 6533 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 32180

[startup+402.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 9638
/proc/meminfo: memFree=1777200/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=27088 CPUtime=402.14
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6529 0 0 0 40203 11 0 0 25 0 1 0 306494665 27738112 6515 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6772 6515 76 171 0 6599 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 32444

[startup+462.301 s]

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

[pid=9156] ppid=9150 vsize=27892 CPUtime=522.16
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6717 0 0 0 52203 13 0 0 25 0 1 0 306494665 28561408 6703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6973 6703 76 171 0 6800 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 33248

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1776240/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=27892 CPUtime=582.16
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6718 0 0 0 58203 13 0 0 25 0 1 0 306494665 28561408 6704 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6973 6704 76 171 0 6800 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 33248

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1776120/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=27892 CPUtime=642.17
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6718 0 0 0 64204 13 0 0 25 0 1 0 306494665 28561408 6704 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6973 6704 76 171 0 6800 0
Current children cumulated CPU time (s) 642.22
Current children cumulated vsize (KiB) 33248

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1775928/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=27892 CPUtime=702.18
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6744 0 0 0 70204 14 0 0 25 0 1 0 306494665 28561408 6730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 6973 6730 76 171 0 6800 0
Current children cumulated CPU time (s) 702.23
Current children cumulated vsize (KiB) 33248

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1775736/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28024 CPUtime=762.19
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6777 0 0 0 76205 14 0 0 25 0 1 0 306494665 28696576 6763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7006 6763 76 171 0 6833 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 33380

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1775224/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28564 CPUtime=822.19
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6885 0 0 0 82204 15 0 0 25 0 1 0 306494665 29249536 6871 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7141 6871 76 171 0 6968 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 33920

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1775032/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28564 CPUtime=882.2
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6899 0 0 0 88205 15 0 0 25 0 1 0 306494665 29249536 6885 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7141 6885 76 171 0 6968 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 33920

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1775032/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28564 CPUtime=942.2
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6899 0 0 0 94205 15 0 0 25 0 1 0 306494665 29249536 6885 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7141 6885 76 171 0 6968 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 33920

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1774904/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28564 CPUtime=1002.2
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6899 0 0 0 100205 15 0 0 25 0 1 0 306494665 29249536 6885 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7141 6885 76 171 0 6968 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 33920

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1774712/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28696 CPUtime=1062.2
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6920 0 0 0 106205 15 0 0 25 0 1 0 306494665 29384704 6906 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7174 6906 76 171 0 7001 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 34052

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1774648/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28696 CPUtime=1122.2
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6920 0 0 0 112205 15 0 0 25 0 1 0 306494665 29384704 6906 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7174 6906 76 171 0 7001 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 34052

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1774456/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28832 CPUtime=1182.21
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6957 0 0 0 118205 16 0 0 25 0 1 0 306494665 29523968 6943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7208 6943 76 171 0 7035 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 34188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1774392/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28832 CPUtime=1200.02
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6957 0 0 0 119986 16 0 0 25 0 1 0 306494665 29523968 6943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7208 6943 76 171 0 7035 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 34188

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

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

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9638
/proc/meminfo: memFree=1774392/2055920 swapFree=4180240/4192956
[pid=9150] ppid=9148 vsize=5356 CPUtime=0.05
/proc/9150/stat : 9150 (SatELiteGTI) S 9148 9150 8855 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306494658 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9150/statm: 1339 239 197 169 0 50 0
[pid=9156] ppid=9150 vsize=28832 CPUtime=1200.02
/proc/9156/stat : 9156 (minisat_static) R 9150 9150 8855 0 -1 4194304 6957 0 0 0 119986 16 0 0 25 0 1 0 306494665 29523968 6943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9156/statm: 7208 6943 76 171 0 7035 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 34188

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.1
CPU user time (s): 1199.93
CPU system time (s): 0.176973
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 34188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 3300

runsolver used 1.38879 second user time and 3.08453 second system time

The end

Launcher Data

Begin job on node16 at 2009-05-20 03:56:53
IDJOB=1832567
IDBENCH=70247
IDSOLVER=671
FILE ID=node16/1832567-1242784613
PBS_JOBID= 9322321
Free space on /tmp= 66364 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S1588298513-036.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832567-1242784613/watcher-1832567-1242784613 -o /tmp/evaluation-result-1832567-1242784613/solver-1832567-1242784613 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832567-1242784613.cnf

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

MD5SUM BENCH= 7df25975bd52e28f5eb180dab9fc29e0
RANDOM SEED=738914277

node16.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.234
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.234
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:       1847392 kB
Buffers:         22560 kB
Cached:         149160 kB
SwapCached:       6848 kB
Active:         100300 kB
Inactive:        79716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847392 kB
SwapTotal:     4192956 kB
SwapFree:      4180240 kB
Dirty:            2076 kB
Writeback:           0 kB
Mapped:          13480 kB
Slab:            14580 kB
Committed_AS:  1076084 kB
PageTables:       1448 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= 66360 MiB
End job on node16 at 2009-05-20 04:16:55