Trace number 1832561

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.08 1200.81

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
MD5SUM925bc133251a0b8070d62549c0360fc5
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.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.02	c CPU time:   0.019996 s
0.00/0.02	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.00/0.09	c |       101 |     200    17000   119000 |     5666      101     56 |  0.003 % |
0.05/0.10	c |       202 |     200    17000   119000 |     5666      202     56 |  0.003 % |
0.05/0.11	c |       303 |     200    17000   119000 |     5666      303     56 |  0.003 % |
0.05/0.12	c |       415 |     200    17000   119000 |     5666      415     56 |  0.003 % |
0.05/0.13	c |       515 |     200    17000   119000 |     5666      515     56 |  0.003 % |
0.05/0.14	c |       625 |     200    17000   119000 |     5666      625     56 |  0.003 % |
0.05/0.15	c |       747 |     200    17000   119000 |     5666      747     56 |  0.003 % |
0.05/0.16	c |       848 |     200    17000   119000 |     5666      848     57 |  0.003 % |
0.05/0.17	c |       958 |     200    17000   119000 |     5666      958     56 |  0.003 % |
0.05/0.18	c |      1079 |     200    17000   119000 |     5666     1079     57 |  0.003 % |
0.05/0.20	c |      1212 |     200    17000   119000 |     5666     1212     57 |  0.003 % |
0.05/0.21	c |      1313 |     200    17000   119000 |     5666     1313     57 |  0.003 % |
0.05/0.22	c |      1425 |     200    17000   119000 |     5666     1425     57 |  0.003 % |
0.05/0.23	c |      1547 |     200    17000   119000 |     5666     1547     57 |  0.003 % |
0.05/0.24	c |      1681 |     200    17000   119000 |     5666     1681     57 |  0.003 % |
0.05/0.26	c |      1827 |     200    17000   119000 |     5666     1827     57 |  0.003 % |
0.05/0.27	c |      1927 |     200    17000   119000 |     5666     1927     57 |  0.003 % |
0.05/0.28	c |      2039 |     200    17000   119000 |     5666     2039     56 |  0.003 % |
0.05/0.29	c |      2161 |     200    17000   119000 |     5666     2161     56 |  0.003 % |
0.05/0.30	c |      2295 |     200    17000   119000 |     5666     2295     56 |  0.003 % |
0.05/0.32	c |      2441 |     200    17000   119000 |     5666     2441     56 |  0.003 % |
0.05/0.34	c |      2603 |     200    17000   119000 |     5666     2603     56 |  0.003 % |
0.05/0.35	c |      2706 |     200    17000   119000 |     5666     2706     56 |  0.003 % |
0.05/0.36	c |      2817 |     200    17000   119000 |     5666     2817     56 |  0.003 % |
0.05/0.37	c |      2939 |     200    17000   119000 |     5666     2939     56 |  0.003 % |
0.05/0.38	c |      3072 |     200    17000   119000 |     5666     3072     56 |  0.003 % |
0.05/0.40	c |      3218 |     200    17000   119000 |     5666     3218     56 |  0.003 % |
0.05/0.42	c |      3379 |     200    17000   119000 |     5666     3379     56 |  0.003 % |
0.05/0.44	c |      3555 |     200    17000   119000 |     5666     3555     56 |  0.003 % |
0.05/0.45	c |      3656 |     200    17000   119000 |     5666     3656     56 |  0.003 % |
0.05/0.46	c |      3766 |     200    17000   119000 |     5666     3766     56 |  0.003 % |
0.05/0.47	c |      3887 |     200    17000   119000 |     5666     3887     56 |  0.003 % |
0.05/0.49	c |      4020 |     200    17000   119000 |     5666     4020     56 |  0.003 % |
0.05/0.51	c |      4166 |     200    17000   119000 |     5666     4166     56 |  0.003 % |
0.05/0.52	c |      4327 |     200    17000   119000 |     5666     4327     56 |  0.003 % |
0.05/0.54	c |      4504 |     200    17000   119000 |     5666     4504     56 |  0.003 % |
0.05/0.57	c |      4697 |     200    17000   119000 |     5666     4697     56 |  0.003 % |
0.05/0.58	c |      4798 |     200    17000   119000 |     5666     4798     56 |  0.003 % |
0.05/0.59	c |      4909 |     200    17000   119000 |     5666     4909     56 |  0.003 % |
0.05/0.61	c |      5030 |     200    17000   119000 |     5666     5030     57 |  0.003 % |
0.05/0.62	c |      5166 |     200    17000   119000 |     5666     5166     57 |  0.003 % |
0.05/0.64	c |      5312 |     200    17000   119000 |     5666     5312     57 |  0.003 % |
0.05/0.66	c |      5472 |     200    17000   119000 |     5666     5472     57 |  0.003 % |
0.05/0.68	c |      5648 |     200    17000   119000 |     5666     5648     57 |  0.003 % |
0.05/0.71	c |      5842 |     200    17000   119000 |     5666     5266     56 |  0.003 % |
0.05/0.73	c |      6054 |     200    17000   119000 |     5666     5478     56 |  0.003 % |
0.05/0.75	c |      6154 |     200    17000   119000 |     5666     5578     56 |  0.003 % |
0.05/0.76	c |      6265 |     200    17000   119000 |     5666     5689     56 |  0.003 % |
0.05/0.78	c |      6386 |     200    17000   119000 |     5666     5242     56 |  0.003 % |
0.05/0.79	c |      6519 |     200    17000   119000 |     5666     5375     56 |  0.003 % |
0.05/0.81	c |      6667 |     200    17000   119000 |     5666     5523     56 |  0.003 % |
0.05/0.83	c |      6827 |     200    17000   119000 |     5666     5683     56 |  0.003 % |
0.05/0.86	c |      7003 |     200    17000   119000 |     5666     5291     56 |  0.003 % |
0.05/0.88	c |      7196 |     200    17000   119000 |     5666     5484     56 |  0.003 % |
0.05/0.91	c |      7409 |     200    17000   119000 |     5666     5697     56 |  0.003 % |
0.05/0.94	c |      7643 |     200    17000   119000 |     5666     5362     56 |  0.003 % |
0.05/0.96	c |      7745 |     200    17000   119000 |     5666     5464     56 |  0.003 % |
0.05/0.97	c |      7856 |     200    17000   119000 |     5666     5575     56 |  0.003 % |
0.05/0.99	c |      7977 |     200    17000   119000 |     5666     5696     56 |  0.003 % |
0.97/1.01	c |      8110 |     200    17000   119000 |     5666     5260     56 |  0.003 % |
0.97/1.02	c |      8257 |     200    17000   119000 |     5666     5407     56 |  0.003 % |
0.97/1.04	c |      8417 |     200    17000   119000 |     5666     5567     56 |  0.003 % |
0.97/1.07	c |      8593 |     200    17000   119000 |     5666     5743     56 |  0.003 % |
0.97/1.09	c |      8787 |     200    17000   119000 |     5666     5363     56 |  0.003 % |
1.07/1.11	c |      8999 |     200    17000   119000 |     5666     5575     57 |  0.003 % |
1.07/1.14	c |      9234 |     200    17000   119000 |     5666     5234     57 |  0.003 % |
1.07/1.17	c |      9490 |     200    17000   119000 |     5666     5490     57 |  0.003 % |
1.07/1.18	c |      9590 |     200    17000   119000 |     5666     5590     57 |  0.003 % |
1.07/1.20	c |      9701 |     200    17000   119000 |     5666     5701     57 |  0.003 % |
1.17/1.21	c |      9822 |     200    17000   119000 |     5666     5252     56 |  0.003 % |
1.17/1.22	c |      9955 |     200    17000   119000 |     5666     5385     56 |  0.003 % |
1.17/1.24	c |     10101 |     200    17000   119000 | 2147483647     5531     56 |  0.003 % |
1.17/1.26	c |     10263 |     200    17000   119000 | 2147483647     5693     57 |  0.003 % |
1.17/1.28	c |     10439 |     200    17000   119000 | 2147483647     5869     56 |  0.003 % |
1.28/1.31	c |     10633 |     200    17000   119000 | 2147483647     6063     56 |  0.003 % |
1.28/1.33	c |     10847 |     200    17000   119000 | 2147483647     6277     56 |  0.003 % |
1.28/1.36	c |     11080 |     200    17000   119000 | 2147483647     6510     56 |  0.003 % |
1.28/1.39	c |     11336 |     200    17000   119000 | 2147483647     6766     57 |  0.003 % |
1.38/1.42	c |     11617 |     200    17000   119000 | 2147483647     7047     57 |  0.003 % |
1.38/1.43	c |     11717 |     200    17000   119000 | 2147483647     7147     57 |  0.003 % |
1.38/1.45	c |     11827 |     200    17000   119000 | 2147483647     7257     57 |  0.003 % |
1.38/1.46	c |     11948 |     200    17000   119000 | 2147483647     7378     56 |  0.003 % |
1.38/1.48	c |     12083 |     200    17000   119000 | 2147483647     7513     56 |  0.003 % |
1.48/1.50	c |     12229 |     200    17000   119000 | 2147483647     7659     57 |  0.003 % |
1.48/1.52	c |     12390 |     200    17000   119000 | 2147483647     7820     57 |  0.003 % |
1.48/1.55	c |     12566 |     200    17000   119000 | 2147483647     7996     56 |  0.003 % |
1.48/1.57	c |     12759 |     200    17000   119000 | 2147483647     8189     56 |  0.003 % |
1.58/1.60	c |     12971 |     200    17000   119000 | 2147483647     8401     56 |  0.003 % |
1.58/1.63	c |     13205 |     200    17000   119000 | 2147483647     8635     56 |  0.003 % |
1.58/1.66	c |     13462 |     200    17000   119000 | 2147483647     8892     56 |  0.003 % |
1.68/1.71	c |     13743 |     200    17000   119000 | 2147483647     9173     56 |  0.003 % |
1.68/1.75	c |     14053 |     200    17000   119000 | 2147483647     9483     56 |  0.003 % |
1.68/1.77	c |     14154 |     200    17000   119000 | 2147483647     9584     56 |  0.003 % |
1.68/1.78	c |     14265 |     200    17000   119000 | 2147483647     9695     56 |  0.003 % |
1.78/1.80	c |     14386 |     200    17000   119000 | 2147483647     9816     56 |  0.003 % |
1.78/1.82	c |     14520 |     200    17000   119000 | 2147483647     9950     56 |  0.003 % |
1.78/1.85	c |     14666 |     200    17000   119000 | 2147483647    10096     56 |  0.003 % |
1.78/1.88	c |     14827 |     200    17000   119000 | 2147483647    10257     57 |  0.003 % |
1.88/1.90	c |     15003 |     200    17000   119000 | 2147483647    10433     57 |  0.003 % |
1.88/1.93	c |     15200 |     200    17000   119000 | 2147483647    10630     57 |  0.003 % |
1.88/1.97	c |     15412 |     200    17000   119000 | 2147483647    10842     57 |  0.003 % |
1.98/2.01	c |     15646 |     200    17000   119000 | 2147483647    11076     57 |  0.003 % |
1.98/2.05	c |     15904 |     200    17000   119000 | 2147483647    11334     57 |  0.003 % |
1.98/2.09	c |     16187 |     200    17000   119000 | 2147483647    11617     57 |  0.003 % |
2.08/2.14	c |     16497 |     200    17000   119000 | 2147483647    11927     57 |  0.003 % |
2.08/2.19	c |     16836 |     200    17000   119000 | 2147483647    12266     57 |  0.003 % |
2.18/2.21	c |     16936 |     200    17000   119000 | 2147483647    12366     57 |  0.003 % |
2.18/2.23	c |     17047 |     200    17000   119000 | 2147483647    12477     57 |  0.003 % |
2.18/2.26	c |     17168 |     200    17000   119000 | 2147483647    12598     57 |  0.003 % |
2.18/2.29	c |     17303 |     200    17000   119000 | 2147483647    12733     57 |  0.003 % |
2.28/2.31	c |     17450 |     200    17000   119000 | 2147483647    12880     57 |  0.003 % |
2.28/2.34	c |     17610 |     200    17000   119000 | 2147483647    13040     57 |  0.003 % |
2.28/2.37	c |     17786 |     200    17000   119000 | 2147483647    13216     57 |  0.003 % |
2.38/2.41	c |     17979 |     200    17000   119000 | 2147483647    13409     57 |  0.003 % |
2.38/2.45	c |     18191 |     200    17000   119000 | 2147483647    13621     57 |  0.003 % |
2.38/2.48	c |     18424 |     200    17000   119000 | 2147483647    13854     57 |  0.003 % |
2.48/2.53	c |     18680 |     200    17000   119000 | 2147483647    14110     57 |  0.003 % |
2.48/2.58	c |     18962 |     200    17000   119000 | 2147483647    14392     57 |  0.003 % |
2.57/2.63	c |     19271 |     200    17000   119000 | 2147483647    14701     57 |  0.003 % |
2.67/2.70	c |     19614 |     200    17000   119000 | 2147483647    15044     57 |  0.003 % |
2.67/2.77	c |     19986 |     200    17000   119000 | 2147483647    15416     57 |  0.003 % |
2.67/2.79	c |     20086 |     200    17000   119000 | 2147483647    15516     57 |  0.003 % |
2.77/2.82	c |     20196 |     200    17000   119000 | 2147483647    15626     57 |  0.003 % |
2.77/2.85	c |     20317 |     200    17000   119000 | 2147483647    15747     57 |  0.003 % |
2.77/2.88	c |     20451 |     200    17000   119000 | 2147483647    15881     57 |  0.003 % |
2.87/2.91	c |     20598 |     200    17000   119000 | 2147483647    16028     57 |  0.003 % |
2.87/2.95	c |     20759 |     200    17000   119000 | 2147483647    16189     57 |  0.003 % |
2.87/2.99	c |     20938 |     200    17000   119000 | 2147483647    16368     57 |  0.003 % |
2.97/3.03	c |     21131 |     200    17000   119000 | 2147483647    16561     57 |  0.003 % |
2.97/3.07	c |     21344 |     200    17000   119000 | 2147483647    16774     57 |  0.003 % |
3.07/3.12	c |     21581 |     200    17000   119000 | 2147483647    17011     57 |  0.003 % |
3.07/3.18	c |     21837 |     200    17000   119000 | 2147483647    17267     57 |  0.003 % |
3.18/3.24	c |     22119 |     200    17000   119000 | 2147483647    17549     57 |  0.003 % |
3.28/3.30	c |     22429 |     200    17000   119000 | 2147483647    17859     57 |  0.003 % |
3.28/3.37	c |     22769 |     200    17000   119000 | 2147483647    18199     57 |  0.003 % |
3.37/3.46	c |     23141 |     200    17000   119000 | 2147483647    18571     57 |  0.003 % |
3.47/3.55	c |     23551 |     200    17000   119000 | 2147483647    18981     57 |  0.003 % |
3.47/3.58	c |     23651 |     200    17000   119000 | 2147483647    19081     57 |  0.003 % |
3.57/3.61	c |     23762 |     200    17000   119000 | 2147483647    19192     57 |  0.003 % |
3.57/3.64	c |     23885 |     200    17000   119000 | 2147483647    19315     57 |  0.003 % |
3.57/3.67	c |     24019 |     200    17000   119000 | 2147483647    19449     57 |  0.003 % |
3.67/3.72	c |     24165 |     200    17000   119000 | 2147483647    19595     57 |  0.003 % |
3.67/3.75	c |     24325 |     200    17000   119000 | 2147483647    19755     57 |  0.003 % |
3.67/3.80	c |     24501 |     200    17000   119000 | 2147483647    19931     57 |  0.003 % |
3.77/3.85	c |     24694 |     200    17000   119000 | 2147483647    20124     57 |  0.003 % |
3.87/3.90	c |     24908 |     200    17000   119000 | 2147483647    20338     57 |  0.003 % |
3.87/3.96	c |     25141 |     200    17000   119000 | 2147483647    20571     57 |  0.003 % |
3.97/4.03	c |     25397 |     200    17000   119000 | 2147483647    20827     57 |  0.003 % |
3.97/4.09	c |     25678 |     200    17000   119000 | 2147483647    21108     57 |  0.003 % |
4.07/4.17	c |     25987 |     200    17000   119000 | 2147483647    21417     57 |  0.003 % |
4.17/4.24	c |     26326 |     200    17000   119000 | 2147483647    21756     57 |  0.003 % |
4.27/4.34	c |     26698 |     200    17000   119000 | 2147483647    22128     57 |  0.003 % |
4.37/4.44	c |     27107 |     200    17000   119000 | 2147483647    22537     57 |  0.003 % |
4.47/4.57	c |     27558 |     200    17000   119000 | 2147483647    22988     57 |  0.003 % |
4.57/4.61	c |     27658 |     200    17000   119000 | 2147483647    23088     57 |  0.003 % |
4.57/4.64	c |     27768 |     200    17000   119000 | 2147483647    23198     57 |  0.003 % |
4.57/4.68	c |     27889 |     200    17000   119000 | 2147483647    23319     57 |  0.003 % |
4.67/4.71	c |     28022 |     200    17000   119000 | 2147483647    23452     57 |  0.003 % |
4.67/4.76	c |     28170 |     200    17000   119000 | 2147483647    23600     57 |  0.003 % |
4.77/4.81	c |     28333 |     200    17000   119000 | 2147483647    23763     57 |  0.003 % |
4.77/4.86	c |     28510 |     200    17000   119000 | 2147483647    23940     57 |  0.003 % |
4.87/4.92	c |     28703 |     200    17000   119000 | 2147483647    24133     57 |  0.003 % |
4.87/4.99	c |     28915 |     200    17000   119000 | 2147483647    24345     57 |  0.003 % |
4.97/5.05	c |     29148 |     200    17000   119000 | 2147483647    24578     57 |  0.003 % |
5.07/5.13	c |     29404 |     200    17000   119000 | 2147483647    24834     57 |  0.003 % |
5.17/5.21	c |     29685 |     200    17000   119000 | 2147483647    25115     57 |  0.003 % |
5.17/5.29	c |     29994 |     200    17000   119000 | 2147483647    25424     57 |  0.003 % |
5.28/5.38	c |     30334 |     200    17000   119000 | 2147483647    25764     57 |  0.003 % |
5.48/5.50	c |     30707 |     200    17000   119000 | 2147483647    26137     57 |  0.003 % |
5.58/5.63	c |     31116 |     200    17000   119000 | 2147483647    26546     57 |  0.003 % |
5.68/5.77	c |     31565 |     200    17000   119000 | 2147483647    26995     57 |  0.003 % |
5.88/5.94	c |     32058 |     200    17000   119000 | 2147483647    27488     57 |  0.003 % |
5.88/5.97	c |     32159 |     200    17000   119000 | 2147483647    27589     57 |  0.003 % |
5.98/6.01	c |     32269 |     200    17000   119000 | 2147483647    27699     57 |  0.003 % |
5.98/6.05	c |     32391 |     200    17000   119000 | 2147483647    27821     57 |  0.003 % |
6.08/6.10	c |     32526 |     200    17000   119000 | 2147483647    27956     57 |  0.003 % |
6.08/6.16	c |     32672 |     200    17000   119000 | 2147483647    28102     57 |  0.003 % |
6.18/6.22	c |     32834 |     200    17000   119000 | 2147483647    28264     57 |  0.003 % |
6.18/6.28	c |     33010 |     200    17000   119000 | 2147483647    28440     57 |  0.003 % |
6.28/6.35	c |     33204 |     200    17000   119000 | 2147483647    28634     57 |  0.003 % |
6.38/6.42	c |     33416 |     200    17000   119000 | 2147483647    28846     57 |  0.003 % |
6.48/6.51	c |     33649 |     200    17000   119000 | 2147483647    29079     57 |  0.003 % |
6.48/6.60	c |     33905 |     200    17000   119000 | 2147483647    29335     57 |  0.003 % |
6.58/6.69	c |     34186 |     200    17000   119000 | 2147483647    29616     57 |  0.003 % |
6.68/6.79	c |     34496 |     200    17000   119000 | 2147483647    29926     57 |  0.003 % |
6.88/6.91	c |     34836 |     200    17000   119000 | 2147483647    30266     57 |  0.003 % |
6.98/7.03	c |     35209 |     200    17000   119000 | 2147483647    30639     57 |  0.003 % |
7.07/7.18	c |     35618 |     200    17000   119000 | 2147483647    31048     57 |  0.003 % |
7.27/7.33	c |     36070 |     200    17000   119000 | 2147483647    31500     57 |  0.003 % |
7.47/7.54	c |     36565 |     200    17000   119000 | 2147483647    31995     57 |  0.003 % |
7.68/7.73	c |     37107 |     200    17000   119000 | 2147483647    32537     57 |  0.003 % |
7.68/7.78	c |     37208 |     200    17000   119000 | 2147483647    32638     57 |  0.003 % |
7.77/7.82	c |     37318 |     200    17000   119000 | 2147483647    32748     57 |  0.003 % |
7.77/7.87	c |     37439 |     200    17000   119000 | 2147483647    32869     57 |  0.003 % |
7.87/7.91	c |     37572 |     200    17000   119000 | 2147483647    33002     57 |  0.003 % |
7.87/7.99	c |     37718 |     200    17000   119000 | 2147483647    33148     57 |  0.003 % |
7.97/8.06	c |     37878 |     200    17000   119000 | 2147483647    33308     57 |  0.003 % |
8.07/8.13	c |     38054 |     200    17000   119000 | 2147483647    33484     57 |  0.003 % |
8.17/8.22	c |     38248 |     200    17000   119000 | 2147483647    33678     57 |  0.003 % |
8.27/8.32	c |     38460 |     200    17000   119000 | 2147483647    33890     57 |  0.003 % |
8.37/8.40	c |     38694 |     200    17000   119000 | 2147483647    34124     57 |  0.003 % |
8.47/8.50	c |     38952 |     200    17000   119000 | 2147483647    34382     57 |  0.003 % |
8.57/8.62	c |     39235 |     200    17000   119000 | 2147483647    34665     57 |  0.003 % |
8.67/8.73	c |     39544 |     200    17000   119000 | 2147483647    34974     57 |  0.003 % |
8.77/8.89	c |     39884 |     200    17000   119000 | 2147483647    35314     57 |  0.003 % |
8.97/9.04	c |     40256 |     200    17000   119000 | 2147483647    35686     57 |  0.003 % |
9.17/9.22	c |     40666 |     200    17000   119000 | 2147483647    36096     57 |  0.003 % |
9.37/9.42	c |     41117 |     200    17000   119000 | 2147483647    36547     57 |  0.003 % |
9.57/9.62	c |     41610 |     200    17000   119000 | 2147483647    37040     57 |  0.003 % |
9.77/9.86	c |     42152 |     200    17000   119000 | 2147483647    37582     57 |  0.003 % |
9.97/10.10	c |     42749 |     200    17000   119000 | 2147483647    38179     57 |  0.003 % |
10.07/10.14	c |     42849 |     200    17000   119000 | 2147483647    38279     57 |  0.003 % |
10.18/10.20	c |     42959 |     200    17000   119000 | 2147483647    38389     57 |  0.003 % |
10.18/10.26	c |     43081 |     200    17000   119000 | 2147483647    38511     57 |  0.003 % |
10.28/10.33	c |     43215 |     200    17000   119000 | 2147483647    38645     57 |  0.003 % |
10.37/10.41	c |     43361 |     200    17000   119000 | 2147483647    38791     57 |  0.003 % |
10.47/10.50	c |     43523 |     200    17000   119000 | 2147483647    38953     57 |  0.003 % |
10.57/10.61	c |     43699 |     200    17000   119000 | 2147483647    39129     57 |  0.003 % |
10.67/10.70	c |     43893 |     200    17000   119000 | 2147483647    39323     57 |  0.003 % |
10.77/10.80	c |     44105 |     200    17000   119000 | 2147483647    39535     57 |  0.003 % |
10.88/10.92	c |     44338 |     200    17000   119000 | 2147483647    39768     57 |  0.003 % |
10.98/11.03	c |     44594 |     200    17000   119000 | 2147483647    40024     57 |  0.003 % |
11.07/11.17	c |     44875 |     200    17000   119000 | 2147483647    40305     57 |  0.003 % |
11.27/11.31	c |     45184 |     200    17000   119000 | 2147483647    40614     57 |  0.003 % |
11.37/11.45	c |     45523 |     200    17000   119000 | 2147483647    40953     57 |  0.003 % |
11.57/11.64	c |     45896 |     200    17000   119000 | 2147483647    41326     57 |  0.003 % |
11.77/11.86	c |     46306 |     200    17000   119000 | 2147483647    41736     57 |  0.003 % |
11.98/12.06	c |     46758 |     200    17000   119000 | 2147483647    42188     57 |  0.003 % |
12.17/12.29	c |     47251 |     200    17000   119000 | 2147483647    42681     57 |  0.003 % |
12.47/12.54	c |     47793 |     200    17000   119000 | 2147483647    43223     57 |  0.003 % |
12.77/12.81	c |     48389 |     200    17000   119000 | 2147483647    43819     57 |  0.003 % |
13.08/13.10	c |     49044 |     200    17000   119000 | 2147483647    44474     57 |  0.003 % |
13.08/13.16	c |     49144 |     200    17000   119000 | 2147483647    44574     57 |  0.003 % |
13.18/13.22	c |     49254 |     200    17000   119000 | 2147483647    44684     57 |  0.003 % |
13.18/13.28	c |     49375 |     200    17000   119000 | 2147483647    44805     57 |  0.003 % |
13.27/13.36	c |     49509 |     200    17000   119000 | 2147483647    44939     57 |  0.003 % |
13.37/13.44	c |     49656 |     200    17000   119000 | 2147483647    45086     57 |  0.003 % |
13.47/13.53	c |     49816 |     200    17000   119000 | 2147483647    45246     57 |  0.003 % |
13.57/13.62	c |     49993 |     200    17000   119000 | 2147483647    45423     57 |  0.003 % |
13.67/13.74	c |     50187 |     200    17000   119000 | 2147483647    45617     57 |  0.003 % |
13.77/13.85	c |     50399 |     200    17000   119000 | 2147483647    45829     57 |  0.003 % |
13.87/13.97	c |     50633 |     200    17000   119000 | 2147483647    46063     57 |  0.003 % |
13.97/14.09	c |     50890 |     200    17000   119000 | 2147483647    46320     57 |  0.003 % |
14.17/14.22	c |     51171 |     200    17000   119000 | 2147483647    46601     57 |  0.003 % |
14.27/14.36	c |     51480 |     200    17000   119000 | 2147483647    46910     57 |  0.003 % |
14.47/14.52	c |     51823 |     200    17000   119000 | 2147483647    47253     57 |  0.003 % |
14.67/14.70	c |     52197 |     200    17000   119000 | 2147483647    47627     57 |  0.003 % |
14.87/14.91	c |     52608 |     200    17000   119000 | 2147483647    48038     57 |  0.003 % |
15.07/15.13	c |     53057 |     200    17000   119000 | 2147483647    48487     57 |  0.003 % |
15.37/15.42	c |     53550 |     200    17000   119000 | 2147483647    48980     57 |  0.003 % |
15.67/15.74	c |     54092 |     200    17000   119000 | 2147483647    49522     57 |  0.003 % |
16.07/16.12	c |     54689 |     200    17000   119000 | 2147483647    50119     57 |  0.003 % |
16.37/16.48	c |     55344 |     200    17000   119000 | 2147483647    50774     57 |  0.003 % |
16.77/16.86	c |     56064 |     200    17000   119000 | 2147483647    51494     57 |  0.003 % |
16.87/16.94	c |     56164 |     200    17000   119000 | 2147483647    51594     57 |  0.003 % |
16.97/17.00	c |     56274 |     200    17000   119000 | 2147483647    51704     57 |  0.003 % |
16.97/17.08	c |     56395 |     200    17000   119000 | 2147483647    51825     57 |  0.003 % |
17.07/17.15	c |     56528 |     200    17000   119000 | 2147483647    51958     57 |  0.003 % |
17.17/17.26	c |     56674 |     200    17000   119000 | 2147483647    52104     57 |  0.003 % |
17.27/17.36	c |     56837 |     200    17000   119000 | 2147483647    52267     57 |  0.003 % |
17.37/17.47	c |     57013 |     200    17000   119000 | 2147483647    52443     57 |  0.003 % |
17.57/17.62	c |     57207 |     200    17000   119000 | 2147483647    52637     57 |  0.003 % |
17.67/17.73	c |     57419 |     200    17000   119000 | 2147483647    52849     57 |  0.003 % |
17.77/17.87	c |     57653 |     200    17000   119000 | 2147483647    53083     57 |  0.003 % |
17.97/18.01	c |     57909 |     200    17000   119000 | 2147483647    53339     57 |  0.003 % |
18.07/18.19	c |     58190 |     200    17000   119000 | 2147483647    53620     57 |  0.003 % |
18.27/18.35	c |     58501 |     200    17000   119000 | 2147483647    53931     57 |  0.003 % |
18.57/18.61	c |     58841 |     200    17000   119000 | 2147483647    54271     57 |  0.003 % |
18.77/18.83	c |     59213 |     200    17000   119000 | 2147483647    54643     57 |  0.003 % |
19.07/19.10	c |     59622 |     200    17000   119000 | 2147483647    55052     57 |  0.003 % |
19.27/19.36	c |     60071 |     200    17000   119000 | 2147483647    55501     57 |  0.003 % |
19.56/19.68	c |     60565 |     200    17000   119000 | 2147483647    55995     57 |  0.003 % |
19.96/20.03	c |     61107 |     200    17000   119000 | 2147483647    56537     57 |  0.003 % |
20.27/20.38	c |     61704 |     200    17000   119000 | 2147483647    57134     57 |  0.003 % |
20.77/20.83	c |     62359 |     200    17000   119000 | 2147483647    57789     57 |  0.003 % |
21.17/21.25	c |     63080 |     200    17000   119000 | 2147483647    58510     57 |  0.003 % |
21.67/21.78	c |     63874 |     200    17000   119000 | 2147483647    59304     57 |  0.003 % |
21.77/21.86	c |     63974 |     200    17000   119000 | 2147483647    59404     57 |  0.003 % |
21.87/21.93	c |     64085 |     200    17000   119000 | 2147483647    59515     57 |  0.003 % |
21.97/22.04	c |     64206 |     200    17000   119000 | 2147483647    59636     57 |  0.003 % |
22.07/22.16	c |     64339 |     200    17000   119000 | 2147483647    59769     57 |  0.003 % |
22.17/22.25	c |     64486 |     200    17000   119000 | 2147483647    59916     57 |  0.003 % |
22.27/22.36	c |     64647 |     200    17000   119000 | 2147483647    60077     57 |  0.003 % |
22.37/22.48	c |     64823 |     200    17000   119000 | 2147483647    60253     57 |  0.003 % |
22.57/22.60	c |     65016 |     200    17000   119000 | 2147483647    60446     57 |  0.003 % |
22.67/22.79	c |     65228 |     200    17000   119000 | 2147483647    60658     57 |  0.003 % |
22.87/22.96	c |     65461 |     200    17000   119000 | 2147483647    60891     57 |  0.003 % |
23.07/23.13	c |     65719 |     200    17000   119000 | 2147483647    61149     57 |  0.003 % |
23.27/23.31	c |     66001 |     200    17000   119000 | 2147483647    61431     57 |  0.003 % |
23.47/23.56	c |     66311 |     200    17000   119000 | 2147483647    61741     57 |  0.003 % |
23.67/23.79	c |     66651 |     200    17000   119000 | 2147483647    62081     57 |  0.003 % |
23.97/24.04	c |     67024 |     200    17000   119000 | 2147483647    62454     57 |  0.003 % |
24.26/24.34	c |     67433 |     200    17000   119000 | 2147483647    62863     57 |  0.003 % |
24.56/24.64	c |     67882 |     200    17000   119000 | 2147483647    63312     57 |  0.003 % |
24.86/24.98	c |     68376 |     200    17000   119000 | 2147483647    63806     57 |  0.003 % |
25.27/25.37	c |     68921 |     200    17000   119000 | 2147483647    64351     57 |  0.003 % |
25.66/25.75	c |     69517 |     200    17000   119000 | 2147483647    64947     57 |  0.003 % |
26.16/26.27	c |     70172 |     200    17000   119000 | 2147483647    65602     57 |  0.003 % |
26.66/26.79	c |     70894 |     200    17000   119000 | 2147483647    66324     57 |  0.003 % |
27.26/27.38	c |     71686 |     200    17000   119000 | 2147483647    67116     57 |  0.003 % |
27.86/27.95	c |     72559 |     200    17000   119000 | 2147483647    67989     57 |  0.003 % |
27.96/28.05	c |     72659 |     200    17000   119000 | 2147483647    68089     57 |  0.003 % |
28.06/28.14	c |     72771 |     200    17000   119000 | 2147483647    68201     57 |  0.003 % |
28.16/28.23	c |     72892 |     200    17000   119000 | 2147483647    68322     57 |  0.003 % |
28.26/28.33	c |     73026 |     200    17000   119000 | 2147483647    68456     57 |  0.003 % |
28.36/28.48	c |     73173 |     200    17000   119000 | 2147483647    68603     57 |  0.003 % |
28.56/28.62	c |     73333 |     200    17000   119000 | 2147483647    68763     57 |  0.003 % |
28.66/28.75	c |     73509 |     200    17000   119000 | 2147483647    68939     57 |  0.003 % |
28.86/28.93	c |     73702 |     200    17000   119000 | 2147483647    69132     57 |  0.003 % |
29.06/29.11	c |     73914 |     200    17000   119000 | 2147483647    69344     57 |  0.003 % |
29.16/29.28	c |     74147 |     200    17000   119000 | 2147483647    69577     57 |  0.003 % |
29.36/29.49	c |     74403 |     200    17000   119000 | 2147483647    69833     57 |  0.003 % |
29.66/29.71	c |     74686 |     200    17000   119000 | 2147483647    70116     57 |  0.003 % |
29.86/29.97	c |     74998 |     200    17000   119000 | 2147483647    70428     57 |  0.003 % |
30.16/30.23	c |     75337 |     200    17000   119000 | 2147483647    70767     57 |  0.003 % |
30.46/30.50	c |     75709 |     200    17000   119000 | 2147483647    71139     57 |  0.003 % |
30.76/30.85	c |     76118 |     200    17000   119000 | 2147483647    71548     57 |  0.003 % |
31.16/31.20	c |     76568 |     200    17000   119000 | 2147483647    71998     57 |  0.003 % |
31.56/31.65	c |     77061 |     200    17000   119000 | 2147483647    72491     57 |  0.003 % |
31.96/32.09	c |     77603 |     200    17000   119000 | 2147483647    73033     57 |  0.003 % |
32.46/32.59	c |     78200 |     200    17000   119000 | 2147483647    73630     57 |  0.003 % |
33.07/33.10	c |     78856 |     200    17000   119000 | 2147483647    74286     57 |  0.003 % |
33.57/33.67	c |     79576 |     200    17000   119000 | 2147483647    75006     57 |  0.003 % |
34.26/34.38	c |     80369 |     200    17000   119000 |    75430    67504     57 |  0.003 % |
34.96/35.02	c |     81241 |     200    17000   119000 |    75430    68376     57 |  0.003 % |
35.66/35.73	c |     82200 |     200    17000   119000 |    75430    69335     57 |  0.003 % |
35.76/35.82	c |     82303 |     200    17000   119000 |    75430    69438     57 |  0.003 % |
35.86/35.91	c |     82413 |     200    17000   119000 |    75430    69548     57 |  0.003 % |
35.96/36.02	c |     82536 |     200    17000   119000 |    75430    69671     57 |  0.003 % |
36.06/36.13	c |     82669 |     200    17000   119000 |    75430    69804     57 |  0.003 % |
36.17/36.26	c |     82819 |     200    17000   119000 |    75430    69954     57 |  0.003 % |
36.27/36.37	c |     82980 |     200    17000   119000 |    75430    70115     57 |  0.003 % |
36.46/36.53	c |     83158 |     200    17000   119000 |    75430    70293     57 |  0.003 % |
36.56/36.69	c |     83352 |     200    17000   119000 |    75430    70487     57 |  0.003 % |
36.76/36.86	c |     83564 |     200    17000   119000 |    75430    70699     57 |  0.003 % |
36.96/37.08	c |     83797 |     200    17000   119000 |    75430    70932     57 |  0.003 % |
37.16/37.28	c |     84053 |     200    17000   119000 |    75430    71188     57 |  0.003 % |
37.47/37.53	c |     84337 |     200    17000   119000 |    75430    71472     57 |  0.003 % |
37.67/37.78	c |     84646 |     200    17000   119000 |    75430    71781     57 |  0.003 % |
37.97/38.06	c |     84987 |     200    17000   119000 |    75430    72122     57 |  0.003 % |
38.27/38.36	c |     85359 |     200    17000   119000 |    75430    72494     57 |  0.003 % |
38.57/38.68	c |     85770 |     200    17000   119000 |    75430    72905     57 |  0.003 % |
38.96/39.04	c |     86219 |     200    17000   119000 |    75430    73354     57 |  0.003 % |
39.26/39.37	c |     86713 |     200    17000   119000 |    75430    73848     57 |  0.003 % |
39.66/39.75	c |     87256 |     200    17000   119000 |    75430    74391     57 |  0.003 % |
40.06/40.16	c |     87853 |     200    17000   119000 |    75430    74988     57 |  0.003 % |
40.57/40.69	c |     88508 |     200    17000   119000 |    75430    66753     57 |  0.003 % |
41.26/41.30	c |     89228 |     200    17000   119000 |    75430    67473     57 |  0.003 % |
41.86/41.93	c |     90020 |     200    17000   119000 |    68246    68265     57 |  0.003 % |
42.56/42.60	c |     90893 |     200    17000   119000 |    68246    61201     57 |  0.003 % |
43.16/43.27	c |     91852 |     200    17000   119000 |    68246    62160     57 |  0.003 % |
43.86/43.99	c |     92905 |     200    17000   119000 |    68246    63213     57 |  0.003 % |
43.96/44.06	c |     93006 |     200    17000   119000 |    68246    63314     57 |  0.003 % |
44.06/44.17	c |     93117 |     200    17000   119000 |    68246    63425     57 |  0.003 % |
44.16/44.26	c |     93238 |     200    17000   119000 |    68246    63546     57 |  0.003 % |
44.26/44.36	c |     93372 |     200    17000   119000 |    68246    63680     57 |  0.003 % |
44.36/44.48	c |     93518 |     200    17000   119000 |    68246    63826     57 |  0.003 % |
44.56/44.61	c |     93678 |     200    17000   119000 |    68246    63986     57 |  0.003 % |
44.66/44.75	c |     93855 |     200    17000   119000 |    68246    64163     57 |  0.003 % |
44.86/44.90	c |     94048 |     200    17000   119000 |    68246    64356     57 |  0.003 % |
44.96/45.08	c |     94260 |     200    17000   119000 |    68246    64568     57 |  0.003 % |
45.16/45.26	c |     94493 |     200    17000   119000 |    68246    64801     57 |  0.003 % |
45.36/45.46	c |     94749 |     200    17000   119000 |    68246    65057     57 |  0.003 % |
45.56/45.67	c |     95030 |     200    17000   119000 |    68246    65338     57 |  0.003 % |
45.86/45.94	c |     95339 |     200    17000   119000 |    68246    65647     57 |  0.003 % |
46.07/46.20	c |     95678 |     200    17000   119000 |    68246    65986     57 |  0.003 % |
46.36/46.48	c |     96050 |     200    17000   119000 |    68246    66358     57 |  0.003 % |
46.76/46.85	c |     96460 |     200    17000   119000 |    68246    66768     57 |  0.003 % |
47.16/47.21	c |     96909 |     200    17000   119000 |    68246    67217     57 |  0.003 % |
47.46/47.56	c |     97403 |     200    17000   119000 |    68246    67711     57 |  0.003 % |
47.86/47.96	c |     97946 |     200    17000   119000 |    68246    68254     57 |  0.003 % |
48.36/48.41	c |     98542 |     200    17000   119000 |    68246    61651     58 |  0.003 % |
48.86/48.91	c |     99198 |     200    17000   119000 |    68246    62307     58 |  0.003 % |
49.36/49.44	c |     99918 |     200    17000   119000 |    68246    63027     58 |  0.003 % |
49.86/49.97	c |    100710 |     200    17000   119000 |    63109    57325     58 |  0.003 % |
50.46/50.50	c |    101581 |     200    17000   119000 |    63109    58196     58 |  0.003 % |
51.16/51.22	c |    102540 |     200    17000   119000 |    63109    59155     58 |  0.003 % |
51.96/52.04	c |    103593 |     200    17000   119000 |    63109    60208     58 |  0.003 % |
52.86/52.92	c |    104751 |     200    17000   119000 |    63109    61366     58 |  0.003 % |
52.86/52.98	c |    104852 |     200    17000   119000 |    63109    61467     58 |  0.003 % |
52.96/53.06	c |    104962 |     200    17000   119000 |    63109    61577     58 |  0.003 % |
53.06/53.16	c |    105083 |     200    17000   119000 |    63109    61698     58 |  0.003 % |
53.16/53.27	c |    105217 |     200    17000   119000 |    63109    61832     58 |  0.003 % |
53.26/53.38	c |    105365 |     200    17000   119000 |    63109    61980     58 |  0.003 % |
53.46/53.50	c |    105525 |     200    17000   119000 |    63109    62140     58 |  0.003 % |
53.56/53.67	c |    105702 |     200    17000   119000 |    63109    62317     58 |  0.003 % |
53.76/53.83	c |    105895 |     200    17000   119000 |    63109    62510     58 |  0.003 % |
53.86/53.99	c |    106107 |     200    17000   119000 |    63109    62722     58 |  0.003 % |
54.06/54.15	c |    106340 |     200    17000   119000 |    63109    62955     58 |  0.003 % |
54.26/54.37	c |    106596 |     200    17000   119000 |    63109    56891     58 |  0.003 % |
54.46/54.58	c |    106877 |     200    17000   119000 |    63109    57172     58 |  0.003 % |
54.66/54.79	c |    107186 |     200    17000   119000 |    63109    57481     58 |  0.003 % |
54.96/55.04	c |    107526 |     200    17000   119000 |    63109    57821     58 |  0.003 % |
55.16/55.29	c |    107900 |     200    17000   119000 |    63109    58195     58 |  0.003 % |
55.46/55.55	c |    108312 |     200    17000   119000 |    63109    58607     58 |  0.003 % |
55.76/55.83	c |    108764 |     200    17000   119000 |    63109    59059     58 |  0.003 % |
56.06/56.16	c |    109257 |     200    17000   119000 |    63109    59552     58 |  0.003 % |
56.46/56.55	c |    109801 |     200    17000   119000 |    63109    60096     58 |  0.003 % |
56.86/56.94	c |    110398 |     200    17000   119000 | 2147483647    60693     58 |  0.003 % |
57.26/57.35	c |    111053 |     200    17000   119000 | 2147483647    61348     58 |  0.003 % |
57.86/57.95	c |    111776 |     200    17000   119000 | 2147483647    62071     58 |  0.003 % |
58.46/58.50	c |    112570 |     200    17000   119000 | 2147483647    62865     58 |  0.003 % |
59.16/59.23	c |    113441 |     200    17000   119000 | 2147483647    63736     58 |  0.003 % |
59.76/59.89	c |    114400 |     200    17000   119000 | 2147483647    64695     58 |  0.003 % |
60.56/60.65	c |    115453 |     200    17000   119000 | 2147483647    65748     58 |  0.003 % |
61.36/61.49	c |    116613 |     200    17000   119000 | 2147483647    66908     58 |  0.003 % |
62.36/62.44	c |    117886 |     200    17000   119000 | 2147483647    68181     58 |  0.003 % |
62.46/62.52	c |    117986 |     200    17000   119000 | 2147483647    68281     58 |  0.003 % |
62.56/62.60	c |    118097 |     200    17000   119000 | 2147483647    68392     58 |  0.003 % |
62.66/62.73	c |    118218 |     200    17000   119000 | 2147483647    68513     58 |  0.003 % |
62.76/62.85	c |    118351 |     200    17000   119000 | 2147483647    68646     58 |  0.003 % |
62.86/62.97	c |    118497 |     200    17000   119000 | 2147483647    68792     58 |  0.003 % |
63.06/63.11	c |    118658 |     200    17000   119000 | 2147483647    68953     58 |  0.003 % |
63.16/63.28	c |    118835 |     200    17000   119000 | 2147483647    69130     58 |  0.003 % |
63.36/63.45	c |    119028 |     200    17000   119000 | 2147483647    69323     58 |  0.003 % |
63.56/63.67	c |    119243 |     200    17000   119000 | 2147483647    69538     58 |  0.003 % |
63.76/63.87	c |    119476 |     200    17000   119000 | 2147483647    69771     58 |  0.003 % |
64.06/64.11	c |    119732 |     200    17000   119000 | 2147483647    70027     58 |  0.003 % |
64.26/64.32	c |    120014 |     200    17000   119000 | 2147483647    70309     58 |  0.003 % |
64.55/64.61	c |    120323 |     200    17000   119000 | 2147483647    70618     58 |  0.003 % |
64.85/64.94	c |    120663 |     200    17000   119000 | 2147483647    70958     58 |  0.003 % |
65.15/65.28	c |    121036 |     200    17000   119000 | 2147483647    71331     58 |  0.003 % |
65.55/65.65	c |    121445 |     200    17000   119000 | 2147483647    71740     58 |  0.003 % |
65.95/66.02	c |    121895 |     200    17000   119000 | 2147483647    72190     58 |  0.003 % |
66.34/66.42	c |    122388 |     200    17000   119000 | 2147483647    72683     58 |  0.003 % |
66.74/66.84	c |    122931 |     200    17000   119000 | 2147483647    73226     58 |  0.003 % |
67.24/67.30	c |    123528 |     200    17000   119000 | 2147483647    73823     58 |  0.003 % |
67.84/67.93	c |    124183 |     200    17000   119000 | 2147483647    74478     58 |  0.003 % |
68.44/68.59	c |    124905 |     200    17000   119000 | 2147483647    75200     58 |  0.003 % |
69.15/69.28	c |    125698 |     200    17000   119000 | 2147483647    75993     58 |  0.003 % |
69.84/69.96	c |    126570 |     200    17000   119000 | 2147483647    76865     58 |  0.003 % |
70.74/70.86	c |    127528 |     200    17000   119000 | 2147483647    77823     58 |  0.003 % |
71.74/71.87	c |    128581 |     200    17000   119000 | 2147483647    78876     58 |  0.003 % |
72.84/72.97	c |    129739 |     200    17000   119000 | 2147483647    80034     58 |  0.003 % |
73.94/74.06	c |    131012 |     200    17000   119000 |    80296    69657     58 |  0.003 % |
75.14/75.24	c |    132412 |     200    17000   119000 |    80296    71057     58 |  0.003 % |
75.24/75.32	c |    132513 |     200    17000   119000 |    80296    71158     58 |  0.003 % |
75.34/75.44	c |    132623 |     200    17000   119000 |    80296    71268     58 |  0.003 % |
75.44/75.55	c |    132744 |     200    17000   119000 |    80296    71389     58 |  0.003 % |
75.54/75.66	c |    132878 |     200    17000   119000 |    80296    71523     58 |  0.003 % |
75.64/75.80	c |    133024 |     200    17000   119000 |    80296    71669     58 |  0.003 % |
75.84/75.98	c |    133184 |     200    17000   119000 |    80296    71829     58 |  0.003 % |
76.04/76.14	c |    133363 |     200    17000   119000 |    80296    72008     58 |  0.003 % |
76.24/76.30	c |    133556 |     200    17000   119000 |    80296    72201     58 |  0.003 % |
76.44/76.56	c |    133768 |     200    17000   119000 |    80296    72413     58 |  0.003 % |
76.64/76.75	c |    134001 |     200    17000   119000 |    80296    72646     58 |  0.003 % |
76.94/77.04	c |    134258 |     200    17000   119000 |    80296    72903     58 |  0.003 % |
77.14/77.28	c |    134540 |     200    17000   119000 |    80296    73185     58 |  0.003 % |
77.44/77.57	c |    134850 |     200    17000   119000 |    80296    73495     58 |  0.003 % |
77.74/77.88	c |    135189 |     200    17000   119000 |    80296    73834     58 |  0.003 % |
78.04/78.18	c |    135561 |     200    17000   119000 |    80296    74206     58 |  0.003 % |
78.54/78.61	c |    135971 |     200    17000   119000 |    80296    74616     58 |  0.003 % |
78.94/79.03	c |    136423 |     200    17000   119000 |    80296    75068     58 |  0.003 % |
79.33/79.47	c |    136916 |     200    17000   119000 |    80296    75561     58 |  0.003 % |
79.83/79.90	c |    137459 |     200    17000   119000 |    80296    76104     58 |  0.003 % |
80.24/80.38	c |    138055 |     200    17000   119000 |    80296    76700     58 |  0.003 % |
80.93/81.04	c |    138711 |     200    17000   119000 |    80296    77356     58 |  0.003 % |
81.63/81.75	c |    139431 |     200    17000   119000 |    80296    78076     58 |  0.003 % |
82.44/82.54	c |    140227 |     200    17000   119000 |    78646    66548     58 |  0.003 % |
83.13/83.23	c |    141099 |     200    17000   119000 |    78646    67420     58 |  0.003 % |
83.93/84.09	c |    142057 |     200    17000   119000 |    78646    68378     58 |  0.003 % |
84.83/84.95	c |    143112 |     200    17000   119000 |    78646    69433     58 |  0.003 % |
85.83/85.95	c |    144271 |     200    17000   119000 |    78646    70592     58 |  0.003 % |
86.83/86.96	c |    145545 |     200    17000   119000 |    78646    71866     58 |  0.003 % |
88.13/88.21	c |    146945 |     200    17000   119000 |    78646    73266     58 |  0.003 % |
89.43/89.53	c |    148485 |     200    17000   119000 |    78646    74806     58 |  0.003 % |
89.53/89.62	c |    148585 |     200    17000   119000 |    78646    74906     58 |  0.003 % |
89.63/89.73	c |    148695 |     200    17000   119000 |    78646    75016     58 |  0.003 % |
89.73/89.84	c |    148818 |     200    17000   119000 |    78646    75139     58 |  0.003 % |
89.83/89.97	c |    148951 |     200    17000   119000 |    78646    75272     58 |  0.003 % |
90.03/90.11	c |    149097 |     200    17000   119000 |    78646    75418     58 |  0.003 % |
90.13/90.27	c |    149257 |     200    17000   119000 |    78646    75578     58 |  0.003 % |
90.33/90.45	c |    149433 |     200    17000   119000 |    78646    75754     58 |  0.003 % |
90.53/90.63	c |    149628 |     200    17000   119000 |    78646    75949     58 |  0.003 % |
90.73/90.82	c |    149840 |     200    17000   119000 |    78646    76161     58 |  0.003 % |
90.93/91.00	c |    150073 |     200    17000   119000 |    76324    76394     58 |  0.003 % |
91.13/91.29	c |    150329 |     200    17000   119000 |    76324    65502     58 |  0.003 % |
91.43/91.53	c |    150610 |     200    17000   119000 |    76324    65783     58 |  0.003 % |
91.63/91.77	c |    150920 |     200    17000   119000 |    76324    66093     58 |  0.003 % |
91.93/92.02	c |    151259 |     200    17000   119000 |    76324    66432     58 |  0.003 % |
92.23/92.31	c |    151631 |     200    17000   119000 |    76324    66804     58 |  0.003 % |
92.43/92.57	c |    152040 |     200    17000   119000 |    76324    67213     58 |  0.003 % |
92.93/93.01	c |    152489 |     200    17000   119000 |    76324    67662     58 |  0.003 % |
93.33/93.42	c |    152984 |     200    17000   119000 |    76324    68157     58 |  0.003 % |
93.72/93.86	c |    153526 |     200    17000   119000 |    76324    68699     58 |  0.003 % |
94.32/94.42	c |    154126 |     200    17000   119000 |    76324    69299     58 |  0.003 % |
94.82/94.95	c |    154781 |     200    17000   119000 |    76324    69954     58 |  0.003 % |
95.32/95.49	c |    155501 |     200    17000   119000 |    76324    70674     58 |  0.003 % |
96.12/96.21	c |    156294 |     200    17000   119000 |    76324    71467     58 |  0.003 % |
96.82/96.96	c |    157166 |     200    17000   119000 |    76324    72339     58 |  0.003 % |
97.52/97.69	c |    158125 |     200    17000   119000 |    76324    73298     58 |  0.003 % |
98.32/98.47	c |    159178 |     200    17000   119000 |    76324    74351     58 |  0.003 % |
99.32/99.44	c |    160337 |     200    17000   119000 |    75173    65585     58 |  0.003 % |
100.22/100.36	c |    161610 |     200    17000   119000 |    75173    66858     58 |  0.003 % |
101.13/101.29	c |    163010 |     200    17000   119000 |    75173    68258     58 |  0.003 % |
102.42/102.59	c |    164551 |     200    17000   119000 |    75173    69799     58 |  0.003 % |
103.92/104.09	c |    166247 |     200    17000   119000 |    75173    71495     58 |  0.003 % |
104.02/104.18	c |    166349 |     200    17000   119000 |    75173    71597     58 |  0.003 % |
104.12/104.26	c |    166460 |     200    17000   119000 |    75173    71708     58 |  0.003 % |
104.22/104.37	c |    166581 |     200    17000   119000 |    75173    71829     58 |  0.003 % |
104.33/104.50	c |    166716 |     200    17000   119000 |    75173    71964     58 |  0.003 % |
104.52/104.63	c |    166862 |     200    17000   119000 |    75173    72110     58 |  0.003 % |
104.62/104.77	c |    167022 |     200    17000   119000 |    75173    72270     58 |  0.003 % |
104.82/104.97	c |    167200 |     200    17000   119000 |    75173    72448     58 |  0.003 % |
105.02/105.15	c |    167394 |     200    17000   119000 |    75173    72642     58 |  0.003 % |
105.22/105.33	c |    167606 |     200    17000   119000 |    75173    72854     58 |  0.003 % |
105.42/105.52	c |    167840 |     200    17000   119000 |    75173    73088     58 |  0.003 % |
105.62/105.75	c |    168096 |     200    17000   119000 |    75173    73344     58 |  0.003 % |
105.92/106.07	c |    168377 |     200    17000   119000 |    75173    73625     58 |  0.003 % |
106.22/106.36	c |    168687 |     200    17000   119000 |    75173    73935     58 |  0.003 % |
106.52/106.63	c |    169026 |     200    17000   119000 |    75173    74274     58 |  0.003 % |
106.92/107.01	c |    169399 |     200    17000   119000 |    75173    74647     58 |  0.003 % |
107.32/107.41	c |    169808 |     200    17000   119000 |    75173    75056     58 |  0.003 % |
107.72/107.86	c |    170259 |     200    17000   119000 |    75248    65316     58 |  0.003 % |
108.12/108.25	c |    170754 |     200    17000   119000 |    75248    65811     58 |  0.003 % |
108.52/108.62	c |    171297 |     200    17000   119000 |    75248    66354     58 |  0.003 % |
108.92/109.03	c |    171895 |     200    17000   119000 |    75248    66952     58 |  0.003 % |
109.32/109.47	c |    172551 |     200    17000   119000 |    75248    67608     58 |  0.003 % |
110.01/110.19	c |    173276 |     200    17000   119000 |    75248    68333     58 |  0.003 % |
110.81/110.95	c |    174068 |     200    17000   119000 |    75248    69125     58 |  0.003 % |
111.61/111.74	c |    174939 |     200    17000   119000 |    75248    69996     58 |  0.003 % |
112.50/112.65	c |    175897 |     200    17000   119000 |    75248    70954     58 |  0.003 % |
113.40/113.59	c |    176951 |     200    17000   119000 |    75248    72008     58 |  0.003 % |
114.30/114.47	c |    178109 |     200    17000   119000 |    75248    73166     58 |  0.003 % |
115.30/115.41	c |    179384 |     200    17000   119000 |    75248    74441     58 |  0.003 % |
116.40/116.51	c |    180786 |     200    17000   119000 |    75057    66198     58 |  0.003 % |
117.39/117.55	c |    182326 |     200    17000   119000 |    75057    67738     58 |  0.003 % |
118.49/118.70	c |    184020 |     200    17000   119000 |    75057    69432     58 |  0.003 % |
120.09/120.21	c |    185884 |     200    17000   119000 |    75057    71296     58 |  0.003 % |
120.19/120.31	c |    185984 |     200    17000   119000 |    75057    71396     58 |  0.003 % |
120.29/120.40	c |    186094 |     200    17000   119000 |    75057    71506     58 |  0.003 % |
120.39/120.51	c |    186215 |     200    17000   119000 |    75057    71627     58 |  0.003 % |
120.49/120.63	c |    186348 |     200    17000   119000 |    75057    71760     58 |  0.003 % |
120.59/120.75	c |    186494 |     200    17000   119000 |    75057    71906     58 |  0.003 % |
120.69/120.88	c |    186654 |     200    17000   119000 |    75057    72066     58 |  0.003 % |
120.90/121.04	c |    186830 |     200    17000   119000 |    75057    72242     58 |  0.003 % |
120.99/121.19	c |    187024 |     200    17000   119000 |    75057    72436     58 |  0.003 % |
121.29/121.40	c |    187238 |     200    17000   119000 |    75057    72650     58 |  0.003 % |
121.49/121.66	c |    187473 |     200    17000   119000 |    75057    72885     58 |  0.003 % |
121.79/121.90	c |    187731 |     200    17000   119000 |    75057    73143     58 |  0.003 % |
122.00/122.15	c |    188014 |     200    17000   119000 |    75057    73426     58 |  0.003 % |
122.29/122.48	c |    188324 |     200    17000   119000 |    75057    73736     58 |  0.003 % |
122.59/122.78	c |    188663 |     200    17000   119000 |    75057    74075     58 |  0.003 % |
122.89/123.06	c |    189035 |     200    17000   119000 |    75057    74447     58 |  0.003 % |
123.29/123.46	c |    189444 |     200    17000   119000 |    75057    74856     58 |  0.003 % |
123.69/123.90	c |    189894 |     200    17000   119000 |    75057    66071     58 |  0.003 % |
124.19/124.31	c |    190388 |     200    17000   119000 |    66179    58421     58 |  0.003 % |
124.50/124.64	c |    190930 |     200    17000   119000 |    66179    58963     58 |  0.003 % |
124.90/125.01	c |    191528 |     200    17000   119000 |    66179    59561     58 |  0.003 % |
125.40/125.52	c |    192186 |     200    17000   119000 |    66179    60219     58 |  0.003 % |
125.90/126.03	c |    192906 |     200    17000   119000 |    66179    60939     58 |  0.003 % |
126.40/126.56	c |    193699 |     200    17000   119000 |    66179    61732     58 |  0.003 % |
127.00/127.14	c |    194572 |     200    17000   119000 |    66179    62605     58 |  0.003 % |
127.70/127.87	c |    195530 |     200    17000   119000 |    66179    63563     58 |  0.003 % |
128.50/128.62	c |    196586 |     200    17000   119000 |    66179    64619     58 |  0.003 % |
129.40/129.53	c |    197746 |     200    17000   119000 |    66179    65779     58 |  0.003 % |
130.20/130.39	c |    199021 |     200    17000   119000 |    66179    60426     58 |  0.003 % |
131.20/131.32	c |    200421 |     200    17000   119000 | 2147483647    61826     58 |  0.003 % |
132.20/132.34	c |    201961 |     200    17000   119000 | 2147483647    63366     58 |  0.003 % |
133.29/133.43	c |    203656 |     200    17000   119000 | 2147483647    65061     58 |  0.003 % |
134.49/134.66	c |    205519 |     200    17000   119000 | 2147483647    66924     58 |  0.003 % |
136.09/136.29	c |    207569 |     200    17000   119000 | 2147483647    68974     58 |  0.003 % |
136.20/136.39	c |    207671 |     200    17000   119000 | 2147483647    69076     58 |  0.003 % |
136.39/136.50	c |    207783 |     200    17000   119000 | 2147483647    69188     58 |  0.003 % |
136.49/136.61	c |    207904 |     200    17000   119000 | 2147483647    69309     58 |  0.003 % |
136.59/136.72	c |    208037 |     200    17000   119000 | 2147483647    69442     58 |  0.003 % |
136.69/136.87	c |    208183 |     200    17000   119000 | 2147483647    69588     58 |  0.003 % |
136.89/137.02	c |    208344 |     200    17000   119000 | 2147483647    69749     58 |  0.003 % |
136.99/137.17	c |    208520 |     200    17000   119000 | 2147483647    69925     58 |  0.003 % |
137.19/137.40	c |    208713 |     200    17000   119000 | 2147483647    70118     58 |  0.003 % |
137.40/137.59	c |    208926 |     200    17000   119000 | 2147483647    70331     58 |  0.003 % |
137.59/137.78	c |    209159 |     200    17000   119000 | 2147483647    70564     58 |  0.003 % |
137.89/138.00	c |    209415 |     200    17000   119000 | 2147483647    70820     58 |  0.003 % |
138.09/138.23	c |    209696 |     200    17000   119000 | 2147483647    71101     58 |  0.003 % |
138.39/138.50	c |    210006 |     200    17000   119000 |    71407    71411     58 |  0.003 % |
138.69/138.86	c |    210346 |     200    17000   119000 |    71407    64570     58 |  0.003 % |
138.99/139.19	c |    210718 |     200    17000   119000 |    71407    64942     58 |  0.003 % |
139.39/139.52	c |    211127 |     200    17000   119000 |    71407    65351     58 |  0.003 % |
139.69/139.86	c |    211576 |     200    17000   119000 |    71407    65800     58 |  0.003 % |
140.09/140.30	c |    212070 |     200    17000   119000 |    71407    66294     58 |  0.003 % |
140.60/140.71	c |    212612 |     200    17000   119000 |    71407    66836     58 |  0.003 % |
140.99/141.15	c |    213210 |     200    17000   119000 |    71407    67434     58 |  0.003 % |
141.49/141.61	c |    213866 |     200    17000   119000 |    71407    68090     58 |  0.003 % |
141.99/142.16	c |    214587 |     200    17000   119000 |    71407    68811     58 |  0.003 % |
142.69/142.85	c |    215379 |     200    17000   119000 |    71407    69603     58 |  0.003 % |
143.39/143.53	c |    216252 |     200    17000   119000 |    71407    70476     58 |  0.003 % |
144.09/144.22	c |    217211 |     200    17000   119000 |    71407    71435     58 |  0.003 % |
144.89/145.00	c |    218264 |     200    17000   119000 |    71407    64344     58 |  0.003 % |
145.59/145.76	c |    219423 |     200    17000   119000 |    71407    65503     58 |  0.003 % |
146.59/146.74	c |    220697 |     200    17000   119000 |    66080    59729     58 |  0.003 % |
147.49/147.69	c |    222097 |     200    17000   119000 |    66080    61129     58 |  0.003 % |
148.69/148.89	c |    223640 |     200    17000   119000 |    66080    62672     58 |  0.003 % |
149.99/150.12	c |    225335 |     200    17000   119000 |    66080    64367     58 |  0.003 % |
151.39/151.50	c |    227199 |     200    17000   119000 |    66080    59615     58 |  0.003 % |
152.59/152.73	c |    229248 |     200    17000   119000 |    66080    61664     58 |  0.003 % |
153.98/154.14	c |    231502 |     200    17000   119000 | 2147483647    63918     58 |  0.003 % |
154.08/154.24	c |    231604 |     200    17000   119000 | 2147483647    64020     58 |  0.003 % |
154.18/154.34	c |    231715 |     200    17000   119000 | 2147483647    64131     58 |  0.003 % |
154.28/154.43	c |    231837 |     200    17000   119000 | 2147483647    64253     58 |  0.003 % |
154.38/154.54	c |    231971 |     200    17000   119000 | 2147483647    64387     58 |  0.003 % |
154.48/154.66	c |    232118 |     200    17000   119000 | 2147483647    64534     58 |  0.003 % |
154.58/154.79	c |    232278 |     200    17000   119000 | 2147483647    64694     58 |  0.003 % |
154.78/154.93	c |    232458 |     200    17000   119000 | 2147483647    64874     58 |  0.003 % |
154.88/155.08	c |    232652 |     200    17000   119000 | 2147483647    65068     58 |  0.003 % |
155.08/155.25	c |    232865 |     200    17000   119000 | 2147483647    65281     58 |  0.003 % |
155.28/155.41	c |    233098 |     200    17000   119000 | 2147483647    65514     58 |  0.003 % |
155.48/155.68	c |    233355 |     200    17000   119000 | 2147483647    65771     58 |  0.003 % |
155.78/155.92	c |    233638 |     200    17000   119000 | 2147483647    66054     58 |  0.003 % |
155.98/156.18	c |    233948 |     200    17000   119000 | 2147483647    66364     58 |  0.003 % |
156.28/156.44	c |    234287 |     200    17000   119000 | 2147483647    66703     58 |  0.003 % |
156.58/156.73	c |    234660 |     200    17000   119000 | 2147483647    67076     58 |  0.003 % |
156.88/157.05	c |    235070 |     200    17000   119000 | 2147483647    67486     58 |  0.003 % |
157.28/157.43	c |    235519 |     200    17000   119000 | 2147483647    67935     58 |  0.003 % |
157.68/157.88	c |    236012 |     200    17000   119000 | 2147483647    68428     58 |  0.003 % |
158.18/158.31	c |    236554 |     200    17000   119000 | 2147483647    68970     58 |  0.003 % |
158.57/158.79	c |    237150 |     200    17000   119000 | 2147483647    69566     58 |  0.003 % |
159.17/159.31	c |    237806 |     200    17000   119000 | 2147483647    70222     58 |  0.003 % |
159.67/159.84	c |    238528 |     200    17000   119000 | 2147483647    70944     58 |  0.003 % |
160.38/160.57	c |    239321 |     200    17000   119000 | 2147483647    71737     58 |  0.003 % |
161.17/161.34	c |    240194 |     200    17000   119000 |    72416    64520     58 |  0.003 % |
161.77/161.99	c |    241153 |     200    17000   119000 |    72416    65479     58 |  0.003 % |
162.58/162.71	c |    242207 |     200    17000   119000 |    72416    66533     58 |  0.003 % |
163.37/163.51	c |    243366 |     200    17000   119000 |    72416    67692     58 |  0.003 % |
164.17/164.34	c |    244639 |     200    17000   119000 |    72416    68965     58 |  0.003 % |
165.17/165.32	c |    246040 |     200    17000   119000 |    72416    70366     58 |  0.003 % |
166.57/166.71	c |    247582 |     200    17000   119000 |    72416    71908     58 |  0.003 % |
167.97/168.15	c |    249277 |     200    17000   119000 |    72416    65554     58 |  0.003 % |
169.28/169.42	c |    251141 |     200    17000   119000 |    66278    60172     58 |  0.003 % |
170.47/170.66	c |    253191 |     200    17000   119000 |    66278    62222     58 |  0.003 % |
171.87/172.08	c |    255445 |     200    17000   119000 |    66278    64476     58 |  0.003 % |
173.47/173.67	c |    257923 |     200    17000   119000 |    66278    60318     59 |  0.003 % |
173.57/173.74	c |    258025 |     200    17000   119000 |    66278    60420     59 |  0.003 % |
173.67/173.83	c |    258136 |     200    17000   119000 |    66278    60531     58 |  0.003 % |
173.77/173.93	c |    258258 |     200    17000   119000 |    66278    60653     59 |  0.003 % |
173.87/174.04	c |    258392 |     200    17000   119000 |    66278    60787     58 |  0.003 % |
173.97/174.16	c |    258539 |     200    17000   119000 |    66278    60934     58 |  0.003 % |
174.07/174.28	c |    258701 |     200    17000   119000 |    66278    61096     58 |  0.003 % |
174.27/174.41	c |    258878 |     200    17000   119000 |    66278    61273     58 |  0.003 % |
174.37/174.54	c |    259072 |     200    17000   119000 |    66278    61467     58 |  0.003 % |
174.57/174.73	c |    259285 |     200    17000   119000 |    66278    61680     58 |  0.003 % |
174.77/174.91	c |    259520 |     200    17000   119000 |    66278    61915     58 |  0.003 % |
174.97/175.13	c |    259776 |     200    17000   119000 |    66278    62171     58 |  0.003 % |
175.17/175.34	c |    260058 |     200    17000   119000 | 2147483647    62453     58 |  0.003 % |
175.37/175.58	c |    260367 |     200    17000   119000 | 2147483647    62762     58 |  0.003 % |
175.66/175.83	c |    260708 |     200    17000   119000 | 2147483647    63103     58 |  0.003 % |
175.87/176.08	c |    261080 |     200    17000   119000 | 2147483647    63475     58 |  0.003 % |
176.16/176.39	c |    261489 |     200    17000   119000 | 2147483647    63884     58 |  0.003 % |
176.56/176.70	c |    261938 |     200    17000   119000 | 2147483647    64333     58 |  0.003 % |
176.87/177.04	c |    262431 |     200    17000   119000 | 2147483647    64826     58 |  0.003 % |
177.26/177.41	c |    262974 |     200    17000   119000 | 2147483647    65369     58 |  0.003 % |
177.66/177.80	c |    263570 |     200    17000   119000 | 2147483647    65965     58 |  0.003 % |
178.26/178.40	c |    264227 |     200    17000   119000 | 2147483647    66622     58 |  0.003 % |
178.76/178.95	c |    264947 |     200    17000   119000 | 2147483647    67342     58 |  0.003 % |
179.36/179.54	c |    265739 |     200    17000   119000 | 2147483647    68134     58 |  0.003 % |
179.96/180.17	c |    266611 |     200    17000   119000 | 2147483647    69006     58 |  0.003 % |
180.66/180.83	c |    267569 |     200    17000   119000 | 2147483647    69964     58 |  0.003 % |
181.56/181.72	c |    268623 |     200    17000   119000 | 2147483647    71018     58 |  0.003 % |
182.47/182.67	c |    269783 |     200    17000   119000 | 2147483647    72178     58 |  0.003 % |
183.47/183.63	c |    271056 |     200    17000   119000 |    72395    65744     58 |  0.003 % |
184.46/184.70	c |    272456 |     200    17000   119000 |    72395    67144     58 |  0.003 % |
185.76/185.92	c |    273996 |     200    17000   119000 |    72395    68684     58 |  0.003 % |
186.96/187.16	c |    275690 |     200    17000   119000 |    72395    70378     58 |  0.003 % |
188.36/188.51	c |    277553 |     200    17000   119000 |    72395    72241     58 |  0.003 % |
189.86/190.07	c |    279604 |     200    17000   119000 |    72395    66717     58 |  0.003 % |
191.46/191.60	c |    281858 |     200    17000   119000 |    67113    62086     58 |  0.003 % |
192.96/193.13	c |    284337 |     200    17000   119000 |    67113    64565     58 |  0.003 % |
194.66/194.86	c |    287063 |     200    17000   119000 |    67113    60570     58 |  0.003 % |
194.76/194.95	c |    287166 |     200    17000   119000 |    67113    60673     58 |  0.003 % |
194.86/195.04	c |    287276 |     200    17000   119000 |    67113    60783     58 |  0.003 % |
194.96/195.14	c |    287400 |     200    17000   119000 |    67113    60907     58 |  0.003 % |
195.06/195.24	c |    287533 |     200    17000   119000 |    67113    61040     58 |  0.003 % |
195.16/195.38	c |    287679 |     200    17000   119000 |    67113    61186     58 |  0.003 % |
195.36/195.51	c |    287841 |     200    17000   119000 |    67113    61348     58 |  0.003 % |
195.46/195.64	c |    288017 |     200    17000   119000 |    67113    61524     58 |  0.003 % |
195.66/195.82	c |    288212 |     200    17000   119000 |    67113    61719     58 |  0.003 % |
195.76/195.98	c |    288425 |     200    17000   119000 |    67113    61932     58 |  0.003 % |
195.96/196.16	c |    288660 |     200    17000   119000 |    67113    62167     58 |  0.003 % |
196.15/196.34	c |    288917 |     200    17000   119000 |    67113    62424     58 |  0.003 % |
196.35/196.53	c |    289198 |     200    17000   119000 |    67113    62705     58 |  0.003 % |
196.55/196.74	c |    289508 |     200    17000   119000 |    67113    63015     58 |  0.003 % |
196.85/197.03	c |    289848 |     200    17000   119000 |    67113    63355     58 |  0.003 % |
197.15/197.32	c |    290221 |     200    17000   119000 | 2147483647    63728     58 |  0.003 % |
197.35/197.59	c |    290630 |     200    17000   119000 | 2147483647    64137     58 |  0.003 % |
197.65/197.88	c |    291079 |     200    17000   119000 | 2147483647    64586     58 |  0.003 % |
198.05/198.28	c |    291574 |     200    17000   119000 | 2147483647    65081     58 |  0.003 % |
198.55/198.71	c |    292117 |     200    17000   119000 | 2147483647    65624     58 |  0.003 % |
198.96/199.11	c |    292713 |     200    17000   119000 | 2147483647    66220     58 |  0.003 % |
199.35/199.56	c |    293368 |     200    17000   119000 | 2147483647    66875     58 |  0.003 % |
199.85/200.04	c |    294091 |     200    17000   119000 | 2147483647    67598     58 |  0.003 % |
200.55/200.71	c |    294884 |     200    17000   119000 | 2147483647    68391     58 |  0.003 % |
201.24/201.41	c |    295759 |     200    17000   119000 | 2147483647    69266     58 |  0.003 % |
201.94/202.13	c |    296718 |     200    17000   119000 | 2147483647    70225     58 |  0.003 % |
202.64/202.88	c |    297771 |     200    17000   119000 | 2147483647    71278     58 |  0.003 % |
203.44/203.65	c |    298930 |     200    17000   119000 | 2147483647    72437     58 |  0.003 % |
204.35/204.57	c |    300205 |     200    17000   119000 | 2147483647    73712     58 |  0.003 % |
205.45/205.60	c |    301605 |     200    17000   119000 | 2147483647    75112     58 |  0.003 % |
206.44/206.69	c |    303146 |     200    17000   119000 | 2147483647    76653     58 |  0.003 % |
207.84/208.04	c |    304841 |     200    17000   119000 | 2147483647    78348     58 |  0.003 % |
209.24/209.41	c |    306704 |     200    17000   119000 | 2147483647    80211     58 |  0.003 % |
210.85/211.08	c |    308754 |     200    17000   119000 | 2147483647    82261     58 |  0.003 % |
212.54/212.77	c |    311007 |     200    17000   119000 |    83509    73624     58 |  0.003 % |
214.74/214.99	c |    313486 |     200    17000   119000 |    83509    76103     58 |  0.003 % |
217.14/217.31	c |    316211 |     200    17000   119000 |    83509    78828     58 |  0.003 % |
219.64/219.85	c |    319209 |     200    17000   119000 |    83509    81826     58 |  0.003 % |
219.74/219.94	c |    319309 |     200    17000   119000 |    83509    81926     58 |  0.003 % |
219.84/220.05	c |    319419 |     200    17000   119000 |    83509    82036     58 |  0.003 % |
219.94/220.15	c |    319540 |     200    17000   119000 |    83509    82157     58 |  0.003 % |
220.14/220.31	c |    319673 |     200    17000   119000 |    83509    82290     58 |  0.003 % |
220.24/220.46	c |    319819 |     200    17000   119000 |    83509    82436     58 |  0.003 % |
220.34/220.59	c |    319979 |     200    17000   119000 |    83509    82596     58 |  0.003 % |
220.64/220.82	c |    320156 |     200    17000   119000 |    82617    69817     58 |  0.003 % |
220.74/220.97	c |    320350 |     200    17000   119000 |    82617    70011     58 |  0.003 % |
220.94/221.15	c |    320562 |     200    17000   119000 |    82617    70223     58 |  0.003 % |
221.14/221.38	c |    320796 |     200    17000   119000 |    82617    70457     58 |  0.003 % |
221.44/221.61	c |    321052 |     200    17000   119000 |    82617    70713     58 |  0.003 % |
221.64/221.85	c |    321334 |     200    17000   119000 |    82617    70995     58 |  0.003 % |
221.84/222.08	c |    321643 |     200    17000   119000 |    82617    71304     58 |  0.003 % |
222.14/222.33	c |    321982 |     200    17000   119000 |    82617    71643     58 |  0.003 % |
222.43/222.62	c |    322354 |     200    17000   119000 |    82617    72015     58 |  0.003 % |
222.73/222.95	c |    322766 |     200    17000   119000 |    82617    72427     58 |  0.003 % |
223.14/223.33	c |    323217 |     200    17000   119000 |    82617    72878     58 |  0.003 % |
223.53/223.72	c |    323710 |     200    17000   119000 |    82617    73371     58 |  0.003 % |
223.93/224.13	c |    324253 |     200    17000   119000 |    82617    73914     58 |  0.003 % |
224.33/224.57	c |    324851 |     200    17000   119000 |    82617    74512     58 |  0.003 % |
224.83/225.05	c |    325507 |     200    17000   119000 |    82617    75168     58 |  0.003 % |
225.53/225.77	c |    326229 |     200    17000   119000 |    82617    75890     58 |  0.003 % |
226.23/226.46	c |    327021 |     200    17000   119000 |    82617    76682     58 |  0.003 % |
227.03/227.23	c |    327894 |     200    17000   119000 |    82617    77555     58 |  0.003 % |
227.83/228.04	c |    328852 |     200    17000   119000 |    82617    78513     58 |  0.003 % |
228.73/228.95	c |    329905 |     200    17000   119000 |    82617    79566     58 |  0.003 % |
229.74/229.94	c |    331063 |     200    17000   119000 |    79662    68637     58 |  0.003 % |
230.74/230.96	c |    332338 |     200    17000   119000 |    79662    69912     58 |  0.003 % |
231.84/232.05	c |    333738 |     200    17000   119000 |    79662    71312     58 |  0.003 % |
232.83/233.08	c |    335281 |     200    17000   119000 |    79662    72855     58 |  0.003 % |
234.14/234.37	c |    336977 |     200    17000   119000 |    79662    74551     58 |  0.003 % |
235.53/235.74	c |    338840 |     200    17000   119000 |    79662    76414     58 |  0.003 % |
237.03/237.24	c |    340890 |     200    17000   119000 |    77574    68612     58 |  0.003 % |
238.53/238.77	c |    343143 |     200    17000   119000 |    77574    70865     58 |  0.003 % |
240.13/240.33	c |    345621 |     200    17000   119000 |    77574    73343     58 |  0.003 % |
242.13/242.31	c |    348347 |     200    17000   119000 |    77574    76069     58 |  0.003 % |
244.42/244.67	c |    351344 |     200    17000   119000 |    68936    62528     58 |  0.003 % |
246.52/246.80	c |    354641 |     200    17000   119000 |    68936    65825     58 |  0.003 % |
246.62/246.87	c |    354743 |     200    17000   119000 |    68936    65927     58 |  0.003 % |
246.72/246.95	c |    354853 |     200    17000   119000 |    68936    66037     58 |  0.003 % |
246.82/247.03	c |    354974 |     200    17000   119000 |    68936    66158     58 |  0.003 % |
246.92/247.13	c |    355107 |     200    17000   119000 |    68936    66291     58 |  0.003 % |
247.02/247.24	c |    355253 |     200    17000   119000 |    68936    66437     58 |  0.003 % |
247.12/247.36	c |    355415 |     200    17000   119000 |    68936    66599     58 |  0.003 % |
247.22/247.47	c |    355592 |     200    17000   119000 |    68936    66776     58 |  0.003 % |
247.42/247.65	c |    355785 |     200    17000   119000 |    68936    66969     58 |  0.003 % |
247.62/247.81	c |    355998 |     200    17000   119000 |    68936    67182     58 |  0.003 % |
247.82/248.01	c |    356231 |     200    17000   119000 |    68936    67415     58 |  0.003 % |
247.92/248.19	c |    356489 |     200    17000   119000 |    68936    67673     58 |  0.003 % |
248.12/248.38	c |    356770 |     200    17000   119000 |    68936    67954     58 |  0.003 % |
248.42/248.61	c |    357079 |     200    17000   119000 |    68936    68263     58 |  0.003 % |
248.72/248.92	c |    357418 |     200    17000   119000 |    68936    68602     58 |  0.003 % |
249.02/249.22	c |    357791 |     200    17000   119000 |    68936    68975     58 |  0.003 % |
249.32/249.53	c |    358200 |     200    17000   119000 |    68936    62487     58 |  0.003 % |
249.62/249.83	c |    358650 |     200    17000   119000 |    68936    62937     58 |  0.003 % |
249.92/250.15	c |    359145 |     200    17000   119000 |    68936    63432     58 |  0.003 % |
250.32/250.54	c |    359687 |     200    17000   119000 |    68936    63974     58 |  0.003 % |
250.72/250.97	c |    360285 |     200    17000   119000 | 2147483647    64572     58 |  0.003 % |
251.22/251.46	c |    360942 |     200    17000   119000 | 2147483647    65229     58 |  0.003 % |
251.82/252.01	c |    361663 |     200    17000   119000 | 2147483647    65950     58 |  0.003 % |
252.31/252.58	c |    362455 |     200    17000   119000 | 2147483647    66742     58 |  0.003 % |
252.91/253.12	c |    363327 |     200    17000   119000 | 2147483647    67614     58 |  0.003 % |
253.51/253.78	c |    364285 |     200    17000   119000 | 2147483647    68572     58 |  0.003 % |
254.31/254.50	c |    365340 |     200    17000   119000 | 2147483647    69627     58 |  0.003 % |
255.11/255.37	c |    366498 |     200    17000   119000 | 2147483647    70785     58 |  0.003 % |
256.02/256.28	c |    367772 |     200    17000   119000 | 2147483647    72059     58 |  0.003 % |
257.12/257.35	c |    369172 |     200    17000   119000 | 2147483647    73459     58 |  0.003 % |
258.22/258.48	c |    370712 |     200    17000   119000 | 2147483647    74999     58 |  0.003 % |
259.51/259.73	c |    372406 |     200    17000   119000 | 2147483647    76693     58 |  0.003 % |
260.91/261.12	c |    374270 |     200    17000   119000 | 2147483647    78557     58 |  0.003 % |
262.51/262.70	c |    376319 |     200    17000   119000 | 2147483647    80606     58 |  0.003 % |
264.31/264.51	c |    378572 |     200    17000   119000 | 2147483647    82859     58 |  0.003 % |
266.51/266.74	c |    381050 |     200    17000   119000 |    84288    73326     58 |  0.003 % |
268.71/268.91	c |    383775 |     200    17000   119000 |    84288    76051     58 |  0.003 % |
271.01/271.26	c |    386772 |     200    17000   119000 |    84288    79048     58 |  0.003 % |
273.61/273.87	c |    390069 |     200    17000   119000 |    82276    82345     58 |  0.003 % |
276.40/276.66	c |    393694 |     200    17000   119000 |    82276    73860     59 |  0.003 % |
276.50/276.74	c |    393794 |     200    17000   119000 |    82276    73960     59 |  0.003 % |
276.60/276.84	c |    393906 |     200    17000   119000 |    82276    74072     59 |  0.003 % |
276.70/276.94	c |    394028 |     200    17000   119000 |    82276    74194     59 |  0.003 % |
276.80/277.07	c |    394161 |     200    17000   119000 |    82276    74327     59 |  0.003 % |
277.01/277.20	c |    394308 |     200    17000   119000 |    82276    74474     59 |  0.003 % |
277.10/277.35	c |    394470 |     200    17000   119000 |    82276    74636     58 |  0.003 % |
277.30/277.51	c |    394646 |     200    17000   119000 |    82276    74812     58 |  0.003 % |
277.40/277.66	c |    394841 |     200    17000   119000 |    82276    75007     58 |  0.003 % |
277.60/277.84	c |    395054 |     200    17000   119000 |    82276    75220     58 |  0.003 % |
277.80/278.08	c |    395287 |     200    17000   119000 |    82276    75453     58 |  0.003 % |
278.01/278.26	c |    395544 |     200    17000   119000 |    82276    75710     58 |  0.003 % |
278.30/278.56	c |    395825 |     200    17000   119000 |    82276    75991     58 |  0.003 % |
278.60/278.82	c |    396136 |     200    17000   119000 |    82276    76302     58 |  0.003 % |
278.90/279.11	c |    396477 |     200    17000   119000 |    82276    76643     58 |  0.003 % |
279.21/279.44	c |    396849 |     200    17000   119000 |    82276    77015     58 |  0.003 % |
279.50/279.78	c |    397259 |     200    17000   119000 |    82276    77425     58 |  0.003 % |
279.90/280.16	c |    397710 |     200    17000   119000 |    82276    77876     58 |  0.003 % |
280.31/280.52	c |    398203 |     200    17000   119000 |    82276    78369     58 |  0.003 % |
280.70/280.93	c |    398745 |     200    17000   119000 |    82276    78911     58 |  0.003 % |
281.10/281.39	c |    399343 |     200    17000   119000 |    82276    79509     58 |  0.003 % |
281.60/281.86	c |    399998 |     200    17000   119000 |    82276    80164     58 |  0.003 % |
282.20/282.45	c |    400719 |     200    17000   119000 |    80169    69353     58 |  0.003 % |
282.70/282.98	c |    401512 |     200    17000   119000 |    80169    70146     58 |  0.003 % |
283.51/283.76	c |    402383 |     200    17000   119000 |    80169    71017     58 |  0.003 % |
284.20/284.47	c |    403342 |     200    17000   119000 |    80169    71976     58 |  0.003 % |
285.00/285.26	c |    404398 |     200    17000   119000 |    80169    73032     58 |  0.003 % |
285.90/286.17	c |    405557 |     200    17000   119000 |    80169    74191     58 |  0.003 % |
287.00/287.21	c |    406831 |     200    17000   119000 |    80169    75465     58 |  0.003 % |
288.00/288.30	c |    408233 |     200    17000   119000 |    80169    76867     58 |  0.003 % |
289.20/289.47	c |    409776 |     200    17000   119000 |    80169    78410     58 |  0.003 % |
290.49/290.75	c |    411470 |     200    17000   119000 |    78635    69202     58 |  0.003 % |
291.69/291.98	c |    413336 |     200    17000   119000 |    78635    71068     58 |  0.003 % |
293.09/293.36	c |    415386 |     200    17000   119000 |    78635    73118     58 |  0.003 % |
294.69/294.91	c |    417639 |     200    17000   119000 |    78635    75371     58 |  0.003 % |
296.49/296.77	c |    420120 |     200    17000   119000 |    77732    68937     58 |  0.003 % |
298.29/298.57	c |    422846 |     200    17000   119000 |    77732    71663     58 |  0.003 % |
300.39/300.61	c |    425844 |     200    17000   119000 |    77732    74661     58 |  0.003 % |
302.89/303.15	c |    429140 |     200    17000   119000 |    77732    68790     58 |  0.003 % |
305.19/305.47	c |    432765 |     200    17000   119000 |    69650    64400     59 |  0.003 % |
307.88/308.14	c |    436754 |     200    17000   119000 |    69650    68389     59 |  0.003 % |
307.98/308.22	c |    436854 |     200    17000   119000 |    69650    68489     59 |  0.003 % |
308.08/308.30	c |    436966 |     200    17000   119000 |    69650    68601     59 |  0.003 % |
308.18/308.40	c |    437088 |     200    17000   119000 |    69650    68723     59 |  0.003 % |
308.28/308.52	c |    437221 |     200    17000   119000 |    69650    68856     59 |  0.003 % |
308.38/308.65	c |    437369 |     200    17000   119000 |    69650    69004     59 |  0.003 % |
308.48/308.79	c |    437530 |     200    17000   119000 |    69650    69165     59 |  0.003 % |
308.68/308.98	c |    437710 |     200    17000   119000 |    69650    69345     59 |  0.003 % |
308.89/309.16	c |    437906 |     200    17000   119000 |    69650    69541     59 |  0.003 % |
309.08/309.38	c |    438119 |     200    17000   119000 |    69650    62781     59 |  0.003 % |
309.28/309.56	c |    438353 |     200    17000   119000 |    69650    63015     59 |  0.003 % |
309.48/309.76	c |    438609 |     200    17000   119000 |    69650    63271     59 |  0.003 % |
309.68/309.96	c |    438891 |     200    17000   119000 |    69650    63553     59 |  0.003 % |
309.89/310.19	c |    439200 |     200    17000   119000 |    69650    63862     59 |  0.003 % |
310.18/310.40	c |    439540 |     200    17000   119000 |    69650    64202     59 |  0.003 % |
310.48/310.71	c |    439912 |     200    17000   119000 |    69650    64574     59 |  0.003 % |
310.68/310.99	c |    440321 |     200    17000   119000 | 2147483647    64983     58 |  0.003 % |
311.09/311.31	c |    440770 |     200    17000   119000 | 2147483647    65432     58 |  0.003 % |
311.38/311.64	c |    441263 |     200    17000   119000 | 2147483647    65925     58 |  0.003 % |
311.78/312.03	c |    441806 |     200    17000   119000 | 2147483647    66468     58 |  0.003 % |
312.19/312.43	c |    442402 |     200    17000   119000 | 2147483647    67064     58 |  0.003 % |
312.58/312.89	c |    443057 |     200    17000   119000 | 2147483647    67719     58 |  0.003 % |
313.29/313.53	c |    443777 |     200    17000   119000 | 2147483647    68439     58 |  0.003 % |
313.88/314.15	c |    444569 |     200    17000   119000 | 2147483647    69231     58 |  0.003 % |
314.58/314.81	c |    445441 |     200    17000   119000 | 2147483647    70103     58 |  0.003 % |
315.18/315.48	c |    446399 |     200    17000   119000 | 2147483647    71061     58 |  0.003 % |
315.98/316.20	c |    447454 |     200    17000   119000 | 2147483647    72116     58 |  0.003 % |
316.78/317.08	c |    448613 |     200    17000   119000 | 2147483647    73275     58 |  0.003 % |
317.78/318.07	c |    449886 |     200    17000   119000 | 2147483647    74548     58 |  0.003 % |
318.79/319.05	c |    451286 |     200    17000   119000 |    74662    67714     58 |  0.003 % |
319.79/320.04	c |    452826 |     200    17000   119000 |    74662    69254     58 |  0.003 % |
320.98/321.21	c |    454522 |     200    17000   119000 |    74662    70950     58 |  0.003 % |
322.38/322.64	c |    456386 |     200    17000   119000 |    74662    72814     58 |  0.003 % |
323.98/324.21	c |    458435 |     200    17000   119000 |    74662    66960     58 |  0.003 % |
325.48/325.79	c |    460689 |     200    17000   119000 |    68528    61934     58 |  0.003 % |
327.18/327.42	c |    463167 |     200    17000   119000 |    68528    64412     58 |  0.003 % |
329.08/329.31	c |    465892 |     200    17000   119000 |    68528    67137     58 |  0.003 % |
331.18/331.49	c |    468889 |     200    17000   119000 |    68528    63272     58 |  0.003 % |
333.48/333.76	c |    472185 |     200    17000   119000 | 2147483647    66568     58 |  0.003 % |
336.07/336.33	c |    475810 |     200    17000   119000 | 2147483647    70193     58 |  0.003 % |
338.87/339.16	c |    479797 |     200    17000   119000 | 2147483647    74180     58 |  0.003 % |
342.37/342.62	c |    484182 |     200    17000   119000 | 2147483647    78565     58 |  0.003 % |
342.47/342.72	c |    484283 |     200    17000   119000 | 2147483647    78666     58 |  0.003 % |
342.57/342.81	c |    484393 |     200    17000   119000 | 2147483647    78776     58 |  0.003 % |
342.67/342.91	c |    484515 |     200    17000   119000 | 2147483647    78898     58 |  0.003 % |
342.77/343.09	c |    484651 |     200    17000   119000 | 2147483647    79034     58 |  0.003 % |
342.97/343.24	c |    484797 |     200    17000   119000 | 2147483647    79180     58 |  0.003 % |
343.17/343.40	c |    484957 |     200    17000   119000 | 2147483647    79340     58 |  0.003 % |
343.27/343.56	c |    485133 |     200    17000   119000 | 2147483647    79516     58 |  0.003 % |
343.47/343.73	c |    485327 |     200    17000   119000 | 2147483647    79710     58 |  0.003 % |
343.67/343.91	c |    485542 |     200    17000   119000 | 2147483647    79925     58 |  0.003 % |
343.87/344.16	c |    485775 |     200    17000   119000 | 2147483647    80158     58 |  0.003 % |
344.17/344.40	c |    486031 |     200    17000   119000 | 2147483647    80414     58 |  0.003 % |
344.37/344.67	c |    486313 |     200    17000   119000 | 2147483647    80696     58 |  0.003 % |
344.67/344.94	c |    486623 |     200    17000   119000 | 2147483647    81006     58 |  0.003 % |
344.97/345.22	c |    486962 |     200    17000   119000 | 2147483647    81345     58 |  0.003 % |
345.27/345.52	c |    487335 |     200    17000   119000 | 2147483647    81718     58 |  0.003 % |
345.57/345.82	c |    487748 |     200    17000   119000 | 2147483647    82131     58 |  0.003 % |
345.87/346.18	c |    488197 |     200    17000   119000 | 2147483647    82580     58 |  0.003 % |
346.27/346.59	c |    488692 |     200    17000   119000 | 2147483647    83075     58 |  0.003 % |
346.77/347.05	c |    489237 |     200    17000   119000 | 2147483647    83620     58 |  0.003 % |
347.27/347.59	c |    489834 |     200    17000   119000 | 2147483647    84217     58 |  0.003 % |
347.87/348.16	c |    490489 |     200    17000   119000 |    84384    72872     58 |  0.003 % |
348.38/348.70	c |    491209 |     200    17000   119000 |    84384    73592     58 |  0.003 % |
348.97/349.30	c |    492003 |     200    17000   119000 |    84384    74386     58 |  0.003 % |
349.77/350.03	c |    492875 |     200    17000   119000 |    84384    75258     58 |  0.003 % |
350.47/350.78	c |    493836 |     200    17000   119000 |    84384    76219     58 |  0.003 % |
351.37/351.60	c |    494890 |     200    17000   119000 |    84384    77273     58 |  0.003 % |
352.27/352.52	c |    496048 |     200    17000   119000 |    84384    78431     58 |  0.003 % |
353.27/353.58	c |    497322 |     200    17000   119000 |    84384    79705     58 |  0.003 % |
354.47/354.71	c |    498722 |     200    17000   119000 |    84384    81105     58 |  0.003 % |
355.77/356.06	c |    500262 |     200    17000   119000 |    82384    70552     58 |  0.003 % |
356.97/357.24	c |    501957 |     200    17000   119000 |    82384    72247     58 |  0.003 % |
358.37/358.67	c |    503820 |     200    17000   119000 |    82384    74110     58 |  0.003 % |
359.97/360.26	c |    505869 |     200    17000   119000 |    82384    76159     58 |  0.003 % |
361.77/362.03	c |    508122 |     200    17000   119000 |    82384    78412     58 |  0.003 % |
363.67/363.97	c |    510601 |     200    17000   119000 |    80291    70251     58 |  0.003 % |
365.67/365.98	c |    513327 |     200    17000   119000 |    80291    72977     58 |  0.003 % |
367.87/368.15	c |    516324 |     200    17000   119000 |    80291    75974     58 |  0.003 % |
370.37/370.61	c |    519621 |     200    17000   119000 |    80291    79271     58 |  0.003 % |
373.06/373.32	c |    523246 |     200    17000   119000 |    79650    72993     58 |  0.003 % |
376.16/376.49	c |    527233 |     200    17000   119000 |    79650    76980     58 |  0.003 % |
379.56/379.80	c |    531618 |     200    17000   119000 |    70308    63665     58 |  0.003 % |
382.96/383.28	c |    536441 |     200    17000   119000 |    70308    68488     58 |  0.003 % |
383.06/383.36	c |    536541 |     200    17000   119000 |    70308    68588     58 |  0.003 % |
383.16/383.46	c |    536651 |     200    17000   119000 |    70308    68698     58 |  0.003 % |
383.26/383.56	c |    536772 |     200    17000   119000 |    70308    68819     58 |  0.003 % |
383.36/383.67	c |    536906 |     200    17000   119000 |    70308    68953     58 |  0.003 % |
383.46/383.78	c |    537053 |     200    17000   119000 |    70308    69100     58 |  0.003 % |
383.66/383.92	c |    537214 |     200    17000   119000 |    70308    69261     58 |  0.003 % |
383.76/384.08	c |    537390 |     200    17000   119000 |    70308    69437     58 |  0.003 % |
383.96/384.23	c |    537584 |     200    17000   119000 |    70308    69631     58 |  0.003 % |
384.16/384.42	c |    537800 |     200    17000   119000 |    70308    69847     58 |  0.003 % |
384.26/384.59	c |    538033 |     200    17000   119000 |    70308    70080     58 |  0.003 % |
384.56/384.82	c |    538289 |     200    17000   119000 |    70308    70336     58 |  0.003 % |
384.76/385.09	c |    538570 |     200    17000   119000 |    70308    63584     58 |  0.003 % |
385.06/385.32	c |    538879 |     200    17000   119000 |    70308    63893     58 |  0.003 % |
385.26/385.55	c |    539218 |     200    17000   119000 |    70308    64232     58 |  0.003 % |
385.56/385.80	c |    539590 |     200    17000   119000 |    70308    64604     58 |  0.003 % |
385.76/386.08	c |    540000 |     200    17000   119000 |    70308    65014     58 |  0.003 % |
386.16/386.46	c |    540449 |     200    17000   119000 | 2147483647    65463     58 |  0.003 % |
386.56/386.82	c |    540943 |     200    17000   119000 | 2147483647    65957     58 |  0.003 % |
386.96/387.21	c |    541485 |     200    17000   119000 | 2147483647    66499     58 |  0.003 % |
387.36/387.64	c |    542081 |     200    17000   119000 | 2147483647    67095     58 |  0.003 % |
387.86/388.12	c |    542737 |     200    17000   119000 | 2147483647    67751     58 |  0.003 % |
388.36/388.64	c |    543459 |     200    17000   119000 | 2147483647    68473     58 |  0.003 % |
388.86/389.20	c |    544251 |     200    17000   119000 | 2147483647    69265     58 |  0.003 % |
389.55/389.82	c |    545124 |     200    17000   119000 | 2147483647    70138     58 |  0.003 % |
390.16/390.48	c |    546083 |     200    17000   119000 | 2147483647    71097     58 |  0.003 % |
391.05/391.34	c |    547136 |     200    17000   119000 | 2147483647    72150     58 |  0.003 % |
391.95/392.27	c |    548295 |     200    17000   119000 | 2147483647    73309     58 |  0.003 % |
392.95/393.21	c |    549570 |     200    17000   119000 | 2147483647    74584     58 |  0.003 % |
394.05/394.35	c |    550970 |     200    17000   119000 |    75014    67555     58 |  0.003 % |
395.15/395.44	c |    552510 |     200    17000   119000 |    75014    69095     58 |  0.003 % |
396.25/396.58	c |    554204 |     200    17000   119000 |    75014    70789     58 |  0.003 % |
397.55/397.84	c |    556067 |     200    17000   119000 |    75014    72652     58 |  0.003 % |
399.06/399.37	c |    558116 |     200    17000   119000 |    75014    74701     58 |  0.003 % |
400.85/401.11	c |    560370 |     200    17000   119000 |    68484    61541     58 |  0.003 % |
402.26/402.59	c |    562849 |     200    17000   119000 |    68484    64020     58 |  0.003 % |
403.85/404.15	c |    565574 |     200    17000   119000 |    68484    66745     58 |  0.003 % |
405.95/406.27	c |    568573 |     200    17000   119000 |    68484    62886     58 |  0.003 % |
408.25/408.51	c |    571869 |     200    17000   119000 | 2147483647    66182     58 |  0.003 % |
410.65/410.92	c |    575495 |     200    17000   119000 | 2147483647    69808     58 |  0.003 % |
413.25/413.56	c |    579483 |     200    17000   119000 | 2147483647    73796     58 |  0.003 % |
416.45/416.76	c |    583871 |     200    17000   119000 | 2147483647    78184     58 |  0.003 % |
420.04/420.36	c |    588696 |     200    17000   119000 | 2147483647    83009     58 |  0.003 % |
424.14/424.44	c |    594002 |     200    17000   119000 |    84318    76603     58 |  0.003 % |
424.24/424.56	c |    594102 |     200    17000   119000 |    84318    76703     58 |  0.003 % |
424.34/424.65	c |    594214 |     200    17000   119000 |    84318    76815     58 |  0.003 % |
424.44/424.77	c |    594336 |     200    17000   119000 |    84318    76937     58 |  0.003 % |
424.64/424.90	c |    594469 |     200    17000   119000 |    84318    77070     58 |  0.003 % |
424.74/425.02	c |    594615 |     200    17000   119000 |    84318    77216     58 |  0.003 % |
424.84/425.15	c |    594777 |     200    17000   119000 |    84318    77378     58 |  0.003 % |
424.94/425.28	c |    594953 |     200    17000   119000 |    84318    77554     58 |  0.003 % |
425.14/425.47	c |    595146 |     200    17000   119000 |    84318    77747     58 |  0.003 % |
425.34/425.64	c |    595358 |     200    17000   119000 |    84318    77959     58 |  0.003 % |
425.54/425.82	c |    595592 |     200    17000   119000 |    84318    78193     58 |  0.003 % |
425.74/426.06	c |    595848 |     200    17000   119000 |    84318    78449     58 |  0.003 % |
426.04/426.31	c |    596129 |     200    17000   119000 |    84318    78730     58 |  0.003 % |
426.24/426.59	c |    596439 |     200    17000   119000 |    84318    79040     58 |  0.003 % |
426.54/426.89	c |    596781 |     200    17000   119000 |    84318    79382     58 |  0.003 % |
426.94/427.22	c |    597154 |     200    17000   119000 |    84318    79755     58 |  0.003 % |
427.34/427.60	c |    597564 |     200    17000   119000 |    84318    80165     58 |  0.003 % |
427.73/428.09	c |    598015 |     200    17000   119000 |    84318    80616     58 |  0.003 % |
428.33/428.61	c |    598510 |     200    17000   119000 |    84318    81111     58 |  0.003 % |
428.83/429.12	c |    599052 |     200    17000   119000 |    84318    81653     58 |  0.003 % |
429.43/429.70	c |    599648 |     200    17000   119000 |    84318    82249     58 |  0.003 % |
430.03/430.32	c |    600303 |     200    17000   119000 |    82603    70198     58 |  0.003 % |
430.53/430.81	c |    601023 |     200    17000   119000 |    82603    70918     58 |  0.003 % |
431.24/431.53	c |    601815 |     200    17000   119000 |    82603    71710     58 |  0.003 % |
431.94/432.26	c |    602686 |     200    17000   119000 |    82603    72581     58 |  0.003 % |
432.73/433.01	c |    603644 |     200    17000   119000 |    82603    73539     58 |  0.003 % |
433.53/433.84	c |    604698 |     200    17000   119000 |    82603    74593     58 |  0.003 % |
434.43/434.71	c |    605857 |     200    17000   119000 |    82603    75752     58 |  0.003 % |
435.34/435.66	c |    607131 |     200    17000   119000 |    82603    77026     58 |  0.003 % |
436.53/436.82	c |    608533 |     200    17000   119000 |    82603    78428     58 |  0.003 % |
437.93/438.25	c |    610073 |     200    17000   119000 |    79895    79968     58 |  0.003 % |
439.33/439.68	c |    611768 |     200    17000   119000 |    79895    69933     58 |  0.003 % |
440.84/441.16	c |    613631 |     200    17000   119000 |    79895    71796     58 |  0.003 % |
442.43/442.78	c |    615681 |     200    17000   119000 |    79895    73846     58 |  0.003 % |
444.23/444.57	c |    617938 |     200    17000   119000 |    79895    76103     58 |  0.003 % |
446.24/446.55	c |    620417 |     200    17000   119000 |    78166    67844     58 |  0.003 % |
448.13/448.43	c |    623144 |     200    17000   119000 |    78166    70571     58 |  0.003 % |
450.23/450.54	c |    626142 |     200    17000   119000 |    78166    73569     58 |  0.003 % |
452.53/452.88	c |    629438 |     200    17000   119000 |    78166    76865     58 |  0.003 % |
454.93/455.26	c |    633064 |     200    17000   119000 |    77427    71776     58 |  0.003 % |
457.83/458.13	c |    637052 |     200    17000   119000 |    77427    75764     58 |  0.003 % |
460.82/461.17	c |    641439 |     200    17000   119000 |    69840    63313     58 |  0.003 % |
464.02/464.31	c |    646262 |     200    17000   119000 |    69840    68136     58 |  0.003 % |
467.32/467.68	c |    651568 |     200    17000   119000 | 2147483647    66449     58 |  0.003 % |
471.82/472.18	c |    657403 |     200    17000   119000 | 2147483647    72284     58 |  0.003 % |
471.92/472.26	c |    657503 |     200    17000   119000 | 2147483647    72384     58 |  0.003 % |
472.02/472.37	c |    657613 |     200    17000   119000 | 2147483647    72494     58 |  0.003 % |
472.12/472.49	c |    657734 |     200    17000   119000 | 2147483647    72615     58 |  0.003 % |
472.22/472.59	c |    657870 |     200    17000   119000 | 2147483647    72751     58 |  0.003 % |
472.42/472.73	c |    658018 |     200    17000   119000 | 2147483647    72899     58 |  0.003 % |
472.52/472.90	c |    658178 |     200    17000   119000 | 2147483647    73059     58 |  0.003 % |
472.72/473.06	c |    658356 |     200    17000   119000 | 2147483647    73237     58 |  0.003 % |
472.92/473.24	c |    658549 |     200    17000   119000 | 2147483647    73430     58 |  0.003 % |
473.12/473.45	c |    658762 |     200    17000   119000 | 2147483647    73643     58 |  0.003 % |
473.32/473.66	c |    658997 |     200    17000   119000 | 2147483647    73878     58 |  0.003 % |
473.52/473.88	c |    659253 |     200    17000   119000 | 2147483647    74134     58 |  0.003 % |
473.72/474.09	c |    659537 |     200    17000   119000 | 2147483647    74418     58 |  0.003 % |
474.12/474.42	c |    659846 |     200    17000   119000 | 2147483647    74727     58 |  0.003 % |
474.42/474.79	c |    660185 |     200    17000   119000 |    74882    66784     58 |  0.003 % |
474.72/475.07	c |    660558 |     200    17000   119000 |    74882    67157     58 |  0.003 % |
475.02/475.40	c |    660967 |     200    17000   119000 |    74882    67566     58 |  0.003 % |
475.42/475.76	c |    661416 |     200    17000   119000 |    74882    68015     58 |  0.003 % |
475.82/476.14	c |    661909 |     200    17000   119000 |    74882    68508     58 |  0.003 % |
476.22/476.56	c |    662451 |     200    17000   119000 |    74882    69050     58 |  0.003 % |
476.72/477.00	c |    663050 |     200    17000   119000 |    74882    69649     58 |  0.003 % |
477.22/477.55	c |    663707 |     200    17000   119000 |    74882    70306     58 |  0.003 % |
477.82/478.14	c |    664428 |     200    17000   119000 |    74882    71027     58 |  0.003 % |
478.41/478.76	c |    665220 |     200    17000   119000 |    74882    71819     58 |  0.003 % |
479.11/479.44	c |    666091 |     200    17000   119000 |    74882    72690     58 |  0.003 % |
479.91/480.24	c |    667051 |     200    17000   119000 |    74882    73650     58 |  0.003 % |
480.81/481.16	c |    668104 |     200    17000   119000 |    74882    74703     58 |  0.003 % |
481.71/482.00	c |    669263 |     200    17000   119000 |    74882    66575     58 |  0.003 % |
482.71/483.03	c |    670537 |     200    17000   119000 |    67313    59711     58 |  0.003 % |
483.72/484.01	c |    671938 |     200    17000   119000 |    67313    61112     58 |  0.003 % |
484.71/485.09	c |    673479 |     200    17000   119000 |    67313    62653     58 |  0.003 % |
485.91/486.24	c |    675174 |     200    17000   119000 |    67313    64348     58 |  0.003 % |
487.11/487.45	c |    677037 |     200    17000   119000 |    67313    66211     58 |  0.003 % |
488.61/488.93	c |    679086 |     200    17000   119000 |    67313    61520     58 |  0.003 % |
490.21/490.56	c |    681340 |     200    17000   119000 | 2147483647    63774     58 |  0.003 % |
491.91/492.26	c |    683818 |     200    17000   119000 | 2147483647    66252     58 |  0.003 % |
493.81/494.11	c |    686545 |     200    17000   119000 | 2147483647    68979     58 |  0.003 % |
496.11/496.45	c |    689542 |     200    17000   119000 | 2147483647    71976     59 |  0.003 % |
498.71/499.07	c |    692839 |     200    17000   119000 | 2147483647    75273     59 |  0.003 % |
501.70/502.03	c |    696464 |     200    17000   119000 | 2147483647    78898     59 |  0.003 % |
504.80/505.18	c |    700452 |     200    17000   119000 |    82435    71330     59 |  0.003 % |
508.00/508.35	c |    704839 |     200    17000   119000 |    82435    75717     59 |  0.003 % |
511.80/512.20	c |    709662 |     200    17000   119000 |    82435    80540     59 |  0.003 % |
515.79/516.19	c |    714968 |     200    17000   119000 |    80878    74502     59 |  0.003 % |
520.00/520.33	c |    720803 |     200    17000   119000 |    79537    70623     59 |  0.003 % |
524.79/525.16	c |    727221 |     200    17000   119000 |    79537    77041     59 |  0.003 % |
524.89/525.24	c |    727321 |     200    17000   119000 |    79537    77141     59 |  0.003 % |
524.99/525.33	c |    727432 |     200    17000   119000 |    79537    77252     59 |  0.003 % |
525.09/525.43	c |    727555 |     200    17000   119000 |    79537    77375     59 |  0.003 % |
525.19/525.57	c |    727689 |     200    17000   119000 |    79537    77509     59 |  0.003 % |
525.40/525.73	c |    727835 |     200    17000   119000 |    79537    77655     59 |  0.003 % |
525.50/525.88	c |    727997 |     200    17000   119000 |    79537    77817     59 |  0.003 % |
525.69/526.04	c |    728173 |     200    17000   119000 |    79537    77993     59 |  0.003 % |
525.89/526.20	c |    728368 |     200    17000   119000 |    79537    78188     59 |  0.003 % |
525.99/526.39	c |    728580 |     200    17000   119000 |    79537    78400     59 |  0.003 % |
526.29/526.62	c |    728813 |     200    17000   119000 |    79537    78633     59 |  0.003 % |
526.50/526.87	c |    729070 |     200    17000   119000 |    79537    78890     59 |  0.003 % |
526.79/527.16	c |    729351 |     200    17000   119000 |    79537    79171     59 |  0.003 % |
527.09/527.46	c |    729660 |     200    17000   119000 |    79537    79480     59 |  0.003 % |
527.49/527.82	c |    730000 |     200    17000   119000 |    79537    69577     59 |  0.003 % |
527.89/528.24	c |    730372 |     200    17000   119000 |    69577    60985     59 |  0.003 % |
528.19/528.54	c |    730782 |     200    17000   119000 |    69577    61395     59 |  0.003 % |
528.49/528.81	c |    731231 |     200    17000   119000 |    69577    61844     59 |  0.003 % |
528.79/529.14	c |    731724 |     200    17000   119000 |    69577    62337     59 |  0.003 % |
529.19/529.51	c |    732268 |     200    17000   119000 |    69577    62881     59 |  0.003 % |
529.59/529.92	c |    732864 |     200    17000   119000 |    69577    63477     59 |  0.003 % |
529.99/530.38	c |    733519 |     200    17000   119000 |    69577    64132     59 |  0.003 % |
530.69/531.02	c |    734239 |     200    17000   119000 |    69577    64852     59 |  0.003 % |
531.29/531.63	c |    735031 |     200    17000   119000 |    69577    65644     59 |  0.003 % |
531.99/532.34	c |    735902 |     200    17000   119000 |    69577    66515     59 |  0.003 % |
532.69/533.07	c |    736860 |     200    17000   119000 |    69577    67473     59 |  0.003 % |
533.49/533.81	c |    737916 |     200    17000   119000 |    69577    68529     59 |  0.003 % |
534.29/534.68	c |    739075 |     200    17000   119000 |    69577    62613     59 |  0.003 % |
535.19/535.60	c |    740348 |     200    17000   119000 | 2147483647    63886     59 |  0.003 % |
536.19/536.51	c |    741748 |     200    17000   119000 | 2147483647    65286     59 |  0.003 % |
537.19/537.56	c |    743288 |     200    17000   119000 | 2147483647    66826     59 |  0.003 % |
538.39/538.70	c |    744982 |     200    17000   119000 | 2147483647    68520     59 |  0.003 % |
539.58/539.98	c |    746846 |     200    17000   119000 | 2147483647    70384     59 |  0.003 % |
541.08/541.49	c |    748895 |     200    17000   119000 | 2147483647    72433     59 |  0.003 % |
542.68/543.09	c |    751149 |     200    17000   119000 | 2147483647    74687     59 |  0.003 % |
544.48/544.84	c |    753629 |     200    17000   119000 | 2147483647    77167     59 |  0.003 % |
546.48/546.85	c |    756355 |     200    17000   119000 | 2147483647    79893     59 |  0.003 % |
548.88/549.24	c |    759352 |     200    17000   119000 | 2147483647    82890     59 |  0.003 % |
551.38/551.74	c |    762648 |     200    17000   119000 |    83539    75044     59 |  0.003 % |
553.98/554.35	c |    766273 |     200    17000   119000 |    83539    78669     59 |  0.003 % |
557.08/557.40	c |    770260 |     200    17000   119000 |    82396    72260     59 |  0.003 % |
560.07/560.44	c |    774645 |     200    17000   119000 |    82396    76645     59 |  0.003 % |
563.77/564.14	c |    779468 |     200    17000   119000 |    82396    81468     59 |  0.003 % |
567.47/567.85	c |    784773 |     200    17000   119000 |    82000    76726     58 |  0.003 % |
571.57/571.93	c |    790609 |     200    17000   119000 |    81954    72782     58 |  0.003 % |
575.86/576.27	c |    797030 |     200    17000   119000 |    81954    79203     58 |  0.003 % |
580.56/580.98	c |    804089 |     200    17000   119000 |    71543    66378     59 |  0.003 % |
580.66/581.05	c |    804191 |     200    17000   119000 |    71543    66480     59 |  0.003 % |
580.76/581.14	c |    804302 |     200    17000   119000 |    71543    66591     59 |  0.003 % |
580.86/581.22	c |    804427 |     200    17000   119000 |    71543    66716     59 |  0.003 % |
580.96/581.32	c |    804560 |     200    17000   119000 |    71543    66849     59 |  0.003 % |
581.06/581.43	c |    804706 |     200    17000   119000 |    71543    66995     59 |  0.003 % |
581.16/581.54	c |    804866 |     200    17000   119000 |    71543    67155     59 |  0.003 % |
581.26/581.65	c |    805042 |     200    17000   119000 |    71543    67331     59 |  0.003 % |
581.36/581.79	c |    805237 |     200    17000   119000 |    71543    67526     59 |  0.003 % |
581.56/581.93	c |    805449 |     200    17000   119000 |    71543    67738     59 |  0.003 % |
581.66/582.08	c |    805683 |     200    17000   119000 |    71543    67972     59 |  0.003 % |
581.86/582.28	c |    805939 |     200    17000   119000 |    71543    68228     59 |  0.003 % |
582.06/582.49	c |    806220 |     200    17000   119000 |    71543    68509     59 |  0.003 % |
582.36/582.71	c |    806529 |     200    17000   119000 |    71543    68818     59 |  0.003 % |
582.56/582.98	c |    806868 |     200    17000   119000 |    71543    69157     59 |  0.003 % |
582.86/583.24	c |    807240 |     200    17000   119000 |    71543    69529     59 |  0.003 % |
583.17/583.53	c |    807649 |     200    17000   119000 |    71543    69938     59 |  0.003 % |
583.47/583.81	c |    808098 |     200    17000   119000 |    71543    70387     59 |  0.003 % |
583.77/584.18	c |    808592 |     200    17000   119000 |    71543    70881     59 |  0.003 % |
584.17/584.59	c |    809134 |     200    17000   119000 |    71543    71423     59 |  0.003 % |
584.67/585.05	c |    809730 |     200    17000   119000 |    71543    64645     59 |  0.003 % |
585.07/585.48	c |    810386 |     200    17000   119000 |    64915    58801     59 |  0.003 % |
585.47/585.87	c |    811106 |     200    17000   119000 |    64915    59521     59 |  0.003 % |
585.87/586.30	c |    811900 |     200    17000   119000 |    64915    60315     59 |  0.003 % |
586.47/586.86	c |    812771 |     200    17000   119000 |    64915    61186     59 |  0.003 % |
587.07/587.45	c |    813729 |     200    17000   119000 |    64915    62144     59 |  0.003 % |
587.67/588.08	c |    814783 |     200    17000   119000 |    64915    63198     59 |  0.003 % |
588.37/588.78	c |    815942 |     200    17000   119000 |    64915    64357     59 |  0.003 % |
589.27/589.63	c |    817216 |     200    17000   119000 |    64915    59131     59 |  0.003 % |
590.07/590.48	c |    818616 |     200    17000   119000 |    64915    60531     59 |  0.003 % |
591.06/591.48	c |    820156 |     200    17000   119000 | 2147483647    62071     59 |  0.003 % |
592.16/592.56	c |    821850 |     200    17000   119000 | 2147483647    63765     59 |  0.003 % |
593.36/593.77	c |    823714 |     200    17000   119000 | 2147483647    65629     59 |  0.003 % |
594.86/595.21	c |    825764 |     200    17000   119000 | 2147483647    67679     59 |  0.003 % |
596.36/596.78	c |    828018 |     200    17000   119000 | 2147483647    69933     58 |  0.003 % |
598.26/598.61	c |    830497 |     200    17000   119000 | 2147483647    72412     58 |  0.003 % |
600.27/600.60	c |    833223 |     200    17000   119000 | 2147483647    75138     59 |  0.003 % |
602.47/602.84	c |    836220 |     200    17000   119000 | 2147483647    78135     59 |  0.003 % |
604.95/605.38	c |    839518 |     200    17000   119000 | 2147483647    81433     59 |  0.003 % |
607.75/608.14	c |    843146 |     200    17000   119000 |    81917    74733     59 |  0.003 % |
610.75/611.14	c |    847133 |     200    17000   119000 |    81917    78720     59 |  0.003 % |
614.35/614.75	c |    851519 |     200    17000   119000 |    81588    72035     59 |  0.003 % |
618.15/618.60	c |    856343 |     200    17000   119000 |    81588    76859     59 |  0.003 % |
622.65/623.07	c |    861648 |     200    17000   119000 |    80516    70644     59 |  0.003 % |
627.04/627.45	c |    867483 |     200    17000   119000 |    80516    76479     59 |  0.003 % |
631.95/632.49	c |    873901 |     200    17000   119000 |    78996    72937     59 |  0.003 % |
637.94/638.48	c |    880963 |     200    17000   119000 |    79036    70266     59 |  0.003 % |
643.63/644.17	c |    888727 |     200    17000   119000 |    79036    78030     59 |  0.003 % |
643.73/644.25	c |    888829 |     200    17000   119000 |    79036    78132     59 |  0.003 % |
643.83/644.34	c |    888940 |     200    17000   119000 |    79036    78243     59 |  0.003 % |
643.93/644.46	c |    889065 |     200    17000   119000 |    79036    78368     59 |  0.003 % |
644.04/644.59	c |    889200 |     200    17000   119000 |    79036    78503     59 |  0.003 % |
644.23/644.76	c |    889346 |     200    17000   119000 |    79036    78649     59 |  0.003 % |
644.33/644.89	c |    889506 |     200    17000   119000 |    79036    78809     59 |  0.003 % |
644.53/645.09	c |    889683 |     200    17000   119000 |    79036    78986     59 |  0.003 % |
644.83/645.35	c |    889876 |     200    17000   119000 |    79036    69887     59 |  0.003 % |
645.03/645.55	c |    890088 |     200    17000   119000 |    70012    70099     59 |  0.003 % |
645.33/645.81	c |    890322 |     200    17000   119000 |    70012    62004     59 |  0.003 % |
645.43/645.99	c |    890580 |     200    17000   119000 |    70012    62262     59 |  0.003 % |
645.73/646.21	c |    890861 |     200    17000   119000 |    70012    62543     59 |  0.003 % |
645.93/646.44	c |    891170 |     200    17000   119000 |    70012    62852     59 |  0.003 % |
646.13/646.69	c |    891509 |     200    17000   119000 |    70012    63191     59 |  0.003 % |
646.43/646.98	c |    891881 |     200    17000   119000 |    70012    63563     59 |  0.003 % |
646.73/647.29	c |    892290 |     200    17000   119000 |    70012    63972     59 |  0.003 % |
647.13/647.62	c |    892740 |     200    17000   119000 |    70012    64422     59 |  0.003 % |
647.43/647.96	c |    893234 |     200    17000   119000 |    70012    64916     59 |  0.003 % |
647.83/648.35	c |    893776 |     200    17000   119000 |    70012    65458     59 |  0.003 % |
648.23/648.73	c |    894372 |     200    17000   119000 |    70012    66054     59 |  0.003 % |
648.73/649.20	c |    895029 |     200    17000   119000 |    70012    66711     59 |  0.003 % |
649.23/649.80	c |    895749 |     200    17000   119000 |    70012    67431     59 |  0.003 % |
649.92/650.46	c |    896542 |     200    17000   119000 |    70012    68224     59 |  0.003 % |
650.63/651.16	c |    897415 |     200    17000   119000 |    70012    69097     59 |  0.003 % |
651.42/651.93	c |    898373 |     200    17000   119000 |    70012    70055     59 |  0.003 % |
652.12/652.68	c |    899427 |     200    17000   119000 |    70012    63428     58 |  0.003 % |
653.02/653.51	c |    900586 |     200    17000   119000 |    64002    57806     58 |  0.003 % |
653.92/654.44	c |    901859 |     200    17000   119000 |    64002    59079     58 |  0.003 % |
654.82/655.35	c |    903259 |     200    17000   119000 |    64002    60479     58 |  0.003 % |
655.82/656.33	c |    904799 |     200    17000   119000 |    64002    62019     58 |  0.003 % |
656.82/657.34	c |    906494 |     200    17000   119000 |    64002    63714     58 |  0.003 % |
658.02/658.55	c |    908357 |     200    17000   119000 |    64002    59167     58 |  0.003 % |
659.22/659.71	c |    910406 |     200    17000   119000 | 2147483647    61216     58 |  0.003 % |
660.62/661.17	c |    912662 |     200    17000   119000 | 2147483647    63472     58 |  0.003 % |
662.32/662.89	c |    915140 |     200    17000   119000 | 2147483647    65950     58 |  0.003 % |
664.32/664.82	c |    917866 |     200    17000   119000 | 2147483647    68676     58 |  0.003 % |
666.41/666.95	c |    920864 |     200    17000   119000 | 2147483647    71674     58 |  0.003 % |
668.81/669.32	c |    924160 |     200    17000   119000 | 2147483647    74970     58 |  0.003 % |
671.52/672.01	c |    927785 |     200    17000   119000 | 2147483647    78595     58 |  0.003 % |
674.71/675.25	c |    931772 |     200    17000   119000 |    80811    73496     58 |  0.003 % |
678.11/678.61	c |    936157 |     200    17000   119000 |    80811    77881     58 |  0.003 % |
681.71/682.27	c |    940980 |     200    17000   119000 |    71674    63932     58 |  0.003 % |
685.11/685.63	c |    946285 |     200    17000   119000 |    71674    69237     58 |  0.003 % |
689.01/689.50	c |    952121 |     200    17000   119000 | 2147483647    67897     58 |  0.003 % |
693.31/693.82	c |    958540 |     200    17000   119000 | 2147483647    74316     58 |  0.003 % |
698.60/699.15	c |    965599 |     200    17000   119000 | 2147483647    81375     58 |  0.003 % |
704.50/705.01	c |    973365 |     200    17000   119000 |    85778    76293     59 |  0.003 % |
711.20/711.71	c |    981905 |     200    17000   119000 |    82930    72509     59 |  0.003 % |
711.20/711.79	c |    982007 |     200    17000   119000 |    82930    72611     59 |  0.003 % |
711.39/711.90	c |    982117 |     200    17000   119000 |    82930    72721     59 |  0.003 % |
711.39/711.98	c |    982238 |     200    17000   119000 |    82930    72842     59 |  0.003 % |
711.59/712.10	c |    982372 |     200    17000   119000 |    82930    72976     59 |  0.003 % |
711.69/712.23	c |    982519 |     200    17000   119000 |    82930    73123     59 |  0.003 % |
711.79/712.39	c |    982680 |     200    17000   119000 |    82930    73284     59 |  0.003 % |
711.99/712.56	c |    982856 |     200    17000   119000 |    82930    73460     59 |  0.003 % |
712.20/712.74	c |    983049 |     200    17000   119000 |    82930    73653     59 |  0.003 % |
712.39/712.97	c |    983266 |     200    17000   119000 |    82930    73870     59 |  0.003 % |
712.59/713.15	c |    983501 |     200    17000   119000 |    82930    74105     59 |  0.003 % |
712.79/713.37	c |    983758 |     200    17000   119000 |    82930    74362     59 |  0.003 % |
713.09/713.60	c |    984039 |     200    17000   119000 |    82930    74643     59 |  0.003 % |
713.30/713.89	c |    984348 |     200    17000   119000 |    82930    74952     59 |  0.003 % |
713.59/714.16	c |    984688 |     200    17000   119000 |    82930    75292     59 |  0.003 % |
713.89/714.44	c |    985060 |     200    17000   119000 |    82930    75664     59 |  0.003 % |
714.29/714.81	c |    985470 |     200    17000   119000 |    82930    76074     59 |  0.003 % |
714.69/715.20	c |    985919 |     200    17000   119000 |    82930    76523     59 |  0.003 % |
715.09/715.65	c |    986413 |     200    17000   119000 |    82930    77017     59 |  0.003 % |
715.59/716.13	c |    986955 |     200    17000   119000 |    82930    77559     59 |  0.003 % |
716.09/716.64	c |    987552 |     200    17000   119000 |    82930    78156     59 |  0.003 % |
716.69/717.21	c |    988207 |     200    17000   119000 |    82930    78811     59 |  0.003 % |
717.29/717.85	c |    988927 |     200    17000   119000 |    82930    79531     59 |  0.003 % |
717.89/718.50	c |    989719 |     200    17000   119000 |    82930    80323     59 |  0.003 % |
718.69/719.29	c |    990591 |     200    17000   119000 |    80605    68820     59 |  0.003 % |
719.39/719.94	c |    991549 |     200    17000   119000 |    80605    69778     59 |  0.003 % |
720.19/720.79	c |    992602 |     200    17000   119000 |    80605    70831     59 |  0.003 % |
721.09/721.62	c |    993761 |     200    17000   119000 |    80605    71990     59 |  0.003 % |
721.99/722.60	c |    995035 |     200    17000   119000 |    80605    73264     59 |  0.003 % |
723.19/723.74	c |    996440 |     200    17000   119000 |    80605    74669     59 |  0.003 % |
724.30/724.88	c |    997980 |     200    17000   119000 |    80605    76209     59 |  0.003 % |
725.70/726.21	c |    999676 |     200    17000   119000 |    80605    77905     59 |  0.003 % |
727.10/727.65	c |   1001539 |     200    17000   119000 |    78229    69257     59 |  0.003 % |
728.80/729.31	c |   1003589 |     200    17000   119000 |    78229    71307     59 |  0.003 % |
730.49/731.09	c |   1005842 |     200    17000   119000 |    78229    73560     59 |  0.003 % |
732.39/732.94	c |   1008321 |     200    17000   119000 |    78229    76039     59 |  0.003 % |
734.39/734.95	c |   1011047 |     200    17000   119000 |    77719    68521     59 |  0.003 % |
736.69/737.21	c |   1014044 |     200    17000   119000 |    77719    71518     59 |  0.003 % |
739.29/739.87	c |   1017341 |     200    17000   119000 |    77719    74815     59 |  0.003 % |
742.08/742.60	c |   1020968 |     200    17000   119000 |    77474    68557     59 |  0.003 % |
744.98/745.58	c |   1024956 |     200    17000   119000 |    77474    72545     59 |  0.003 % |
748.28/748.89	c |   1029343 |     200    17000   119000 |    77474    76932     59 |  0.003 % |
751.58/752.19	c |   1034166 |     200    17000   119000 |    68760    65087     58 |  0.003 % |
755.48/756.08	c |   1039472 |     200    17000   119000 |    68760    63508     58 |  0.003 % |
759.48/760.04	c |   1045308 |     200    17000   119000 | 2147483647    69344     58 |  0.003 % |
763.77/764.33	c |   1051726 |     200    17000   119000 | 2147483647    75762     59 |  0.003 % |
769.17/769.79	c |   1058785 |     200    17000   119000 | 2147483647    82821     59 |  0.003 % |
775.17/775.73	c |   1066550 |     200    17000   119000 |    84037    79625     59 |  0.003 % |
781.87/782.44	c |   1075091 |     200    17000   119000 |    83075    76115     59 |  0.003 % |
788.85/789.42	c |   1084485 |     200    17000   119000 |    81025    73782     59 |  0.003 % |
788.85/789.48	c |   1084585 |     200    17000   119000 |    81025    73882     59 |  0.003 % |
789.05/789.61	c |   1084697 |     200    17000   119000 |    81025    73994     59 |  0.003 % |
789.15/789.72	c |   1084818 |     200    17000   119000 |    81025    74115     59 |  0.003 % |
789.25/789.84	c |   1084953 |     200    17000   119000 |    81025    74250     59 |  0.003 % |
789.34/789.99	c |   1085099 |     200    17000   119000 |    81025    74396     59 |  0.003 % |
789.54/790.15	c |   1085259 |     200    17000   119000 |    81025    74556     59 |  0.003 % |
789.74/790.31	c |   1085437 |     200    17000   119000 |    81025    74734     59 |  0.003 % |
789.94/790.51	c |   1085630 |     200    17000   119000 |    81025    74927     59 |  0.003 % |
790.14/790.71	c |   1085844 |     200    17000   119000 |    81025    75141     59 |  0.003 % |
790.35/790.93	c |   1086078 |     200    17000   119000 |    81025    75375     59 |  0.003 % |
790.54/791.17	c |   1086334 |     200    17000   119000 |    81025    75631     59 |  0.003 % |
790.84/791.42	c |   1086616 |     200    17000   119000 |    81025    75913     59 |  0.003 % |
791.04/791.65	c |   1086927 |     200    17000   119000 |    81025    76224     59 |  0.003 % |
791.34/791.94	c |   1087266 |     200    17000   119000 |    81025    76563     59 |  0.003 % |
791.64/792.22	c |   1087638 |     200    17000   119000 |    81025    76935     59 |  0.003 % |
791.94/792.53	c |   1088048 |     200    17000   119000 |    81025    77345     59 |  0.003 % |
792.34/792.95	c |   1088499 |     200    17000   119000 |    81025    77796     59 |  0.003 % |
792.74/793.34	c |   1088993 |     200    17000   119000 |    81025    78290     59 |  0.003 % |
793.14/793.72	c |   1089535 |     200    17000   119000 |    81025    78832     59 |  0.003 % |
793.74/794.37	c |   1090131 |     200    17000   119000 |    79299    68383     59 |  0.003 % |
794.34/794.92	c |   1090789 |     200    17000   119000 |    79299    69041     59 |  0.003 % |
794.84/795.46	c |   1091511 |     200    17000   119000 |    79299    69763     59 |  0.003 % |
795.54/796.15	c |   1092306 |     200    17000   119000 |    79299    70558     59 |  0.003 % |
796.24/796.82	c |   1093179 |     200    17000   119000 |    79299    71431     59 |  0.003 % |
796.94/797.57	c |   1094139 |     200    17000   119000 |    79299    72391     59 |  0.003 % |
797.74/798.39	c |   1095192 |     200    17000   119000 |    79299    73444     59 |  0.003 % |
798.64/799.23	c |   1096351 |     200    17000   119000 |    79299    74603     59 |  0.003 % |
799.44/800.10	c |   1097624 |     200    17000   119000 |    79299    75876     59 |  0.003 % |
800.54/801.18	c |   1099025 |     200    17000   119000 |    79299    77277     59 |  0.003 % |
801.94/802.58	c |   1100566 |     200    17000   119000 |    78252    67763     59 |  0.003 % |
803.24/803.84	c |   1102262 |     200    17000   119000 |    78252    69459     59 |  0.003 % |
804.84/805.42	c |   1104126 |     200    17000   119000 |    78252    71323     59 |  0.003 % |
806.34/806.93	c |   1106177 |     200    17000   119000 |    78252    73374     59 |  0.003 % |
808.04/808.62	c |   1108431 |     200    17000   119000 |    78252    75628     59 |  0.003 % |
809.83/810.42	c |   1110909 |     200    17000   119000 |    77199    68021     59 |  0.003 % |
811.63/812.25	c |   1113634 |     200    17000   119000 |    77199    70746     59 |  0.003 % |
813.83/814.43	c |   1116635 |     200    17000   119000 |    77199    73747     59 |  0.003 % |
816.13/816.71	c |   1119931 |     200    17000   119000 |    77199    77043     59 |  0.003 % |
818.63/819.25	c |   1123557 |     200    17000   119000 |    77113    71912     59 |  0.003 % |
822.13/822.71	c |   1127544 |     200    17000   119000 |    77113    75899     59 |  0.003 % |
825.23/825.81	c |   1131929 |     200    17000   119000 |    68204    61386     59 |  0.003 % |
828.33/828.94	c |   1136752 |     200    17000   119000 |    68204    66209     59 |  0.003 % |
831.62/832.24	c |   1142058 |     200    17000   119000 | 2147483647    64685     58 |  0.003 % |
835.62/836.24	c |   1147893 |     200    17000   119000 | 2147483647    70520     59 |  0.003 % |
840.12/840.75	c |   1154311 |     200    17000   119000 | 2147483647    76938     59 |  0.003 % |
845.22/845.85	c |   1161371 |     200    17000   119000 |    82629    73892     59 |  0.003 % |
850.82/851.47	c |   1169136 |     200    17000   119000 |    82629    81657     59 |  0.003 % |
856.51/857.19	c |   1177677 |     200    17000   119000 |    82522    79541     59 |  0.003 % |
863.71/864.33	c |   1187072 |     200    17000   119000 |    81865    78840     59 |  0.003 % |
871.31/871.92	c |   1197407 |     200    17000   119000 |    81768    78258     59 |  0.003 % |
871.41/872.01	c |   1197511 |     200    17000   119000 |    81768    78362     59 |  0.003 % |
871.51/872.14	c |   1197621 |     200    17000   119000 |    81768    78472     59 |  0.003 % |
871.61/872.26	c |   1197742 |     200    17000   119000 |    81768    78593     59 |  0.003 % |
871.71/872.37	c |   1197876 |     200    17000   119000 |    81768    78727     59 |  0.003 % |
871.81/872.50	c |   1198022 |     200    17000   119000 |    81768    78873     59 |  0.003 % |
872.11/872.70	c |   1198182 |     200    17000   119000 |    81768    79033     59 |  0.003 % |
872.21/872.87	c |   1198358 |     200    17000   119000 |    81768    79209     59 |  0.003 % |
872.41/873.04	c |   1198551 |     200    17000   119000 |    81768    79402     59 |  0.003 % |
872.61/873.26	c |   1198764 |     200    17000   119000 |    81768    79615     59 |  0.003 % |
872.91/873.50	c |   1198998 |     200    17000   119000 |    81768    79849     59 |  0.003 % |
873.11/873.76	c |   1199255 |     200    17000   119000 |    81768    80106     59 |  0.003 % |
873.31/874.00	c |   1199536 |     200    17000   119000 |    81768    80387     59 |  0.003 % |
873.71/874.30	c |   1199845 |     200    17000   119000 |    81768    80696     59 |  0.003 % |
874.01/874.69	c |   1200185 |     200    17000   119000 |    80851    69364     59 |  0.003 % |
874.31/874.99	c |   1200558 |     200    17000   119000 |    80851    69737     59 |  0.003 % |
874.71/875.38	c |   1200967 |     200    17000   119000 |    80851    70146     59 |  0.003 % |
875.11/875.70	c |   1201417 |     200    17000   119000 |    80851    70596     59 |  0.003 % |
875.51/876.10	c |   1201913 |     200    17000   119000 |    80851    71092     59 |  0.003 % |
875.91/876.53	c |   1202456 |     200    17000   119000 |    80851    71635     59 |  0.003 % |
876.31/876.99	c |   1203052 |     200    17000   119000 |    80851    72231     59 |  0.003 % |
877.01/877.60	c |   1203709 |     200    17000   119000 |    80851    72888     59 |  0.003 % |
877.51/878.14	c |   1204429 |     200    17000   119000 |    80851    73608     59 |  0.003 % |
878.10/878.73	c |   1205223 |     200    17000   119000 |    80851    74402     59 |  0.003 % |
878.80/879.48	c |   1206095 |     200    17000   119000 |    80851    75274     59 |  0.003 % |
879.80/880.40	c |   1207053 |     200    17000   119000 |    80851    76232     59 |  0.003 % |
880.70/881.33	c |   1208108 |     200    17000   119000 |    80851    77287     59 |  0.003 % |
881.61/882.30	c |   1209266 |     200    17000   119000 |    80851    78445     59 |  0.003 % |
882.71/883.33	c |   1210542 |     200    17000   119000 |    79179    68190     59 |  0.003 % |
883.90/884.54	c |   1211942 |     200    17000   119000 |    79179    69590     59 |  0.003 % |
885.20/885.83	c |   1213482 |     200    17000   119000 |    79179    71130     59 |  0.003 % |
886.60/887.24	c |   1215181 |     200    17000   119000 |    79179    72829     59 |  0.003 % |
888.00/888.64	c |   1217045 |     200    17000   119000 |    79179    74693     59 |  0.003 % |
889.60/890.27	c |   1219095 |     200    17000   119000 |    79179    76743     59 |  0.003 % |
891.40/892.01	c |   1221349 |     200    17000   119000 |    77650    68270     59 |  0.003 % |
893.20/893.82	c |   1223828 |     200    17000   119000 |    77650    70749     59 |  0.003 % |
895.10/895.77	c |   1226553 |     200    17000   119000 |    77650    73474     59 |  0.003 % |
897.20/897.86	c |   1229552 |     200    17000   119000 |    77650    76473     59 |  0.003 % |
899.60/900.23	c |   1232848 |     200    17000   119000 |    76921    70412     59 |  0.003 % |
902.29/902.94	c |   1236473 |     200    17000   119000 |    76921    74037     59 |  0.003 % |
905.29/905.94	c |   1240461 |     200    17000   119000 |    68482    61056     58 |  0.003 % |
908.09/908.73	c |   1244849 |     200    17000   119000 |    68482    65444     59 |  0.003 % |
911.39/912.04	c |   1249673 |     200    17000   119000 |    68482    63413     59 |  0.003 % |
914.69/915.38	c |   1254978 |     200    17000   119000 | 2147483647    68718     59 |  0.003 % |
918.89/919.59	c |   1260814 |     200    17000   119000 | 2147483647    74554     59 |  0.003 % |
924.28/924.96	c |   1267234 |     200    17000   119000 | 2147483647    80974     59 |  0.003 % |
930.38/931.03	c |   1274293 |     200    17000   119000 |    83740    76702     59 |  0.003 % |
936.28/936.96	c |   1282057 |     200    17000   119000 |    82409    73643     59 |  0.003 % |
943.58/944.22	c |   1290598 |     200    17000   119000 |    81588    70202     59 |  0.003 % |
950.78/951.48	c |   1299992 |     200    17000   119000 |    81588    79596     59 |  0.003 % |
959.17/959.85	c |   1310325 |     200    17000   119000 |    78779    69211     59 |  0.003 % |
968.46/969.17	c |   1321695 |     200    17000   119000 |    68946    61962     59 |  0.003 % |
968.55/969.24	c |   1321795 |     200    17000   119000 |    68946    62062     59 |  0.003 % |
968.65/969.31	c |   1321906 |     200    17000   119000 |    68946    62173     59 |  0.003 % |
968.65/969.39	c |   1322027 |     200    17000   119000 |    68946    62294     59 |  0.003 % |
968.75/969.49	c |   1322160 |     200    17000   119000 |    68946    62427     59 |  0.003 % |
968.85/969.60	c |   1322306 |     200    17000   119000 |    68946    62573     59 |  0.003 % |
969.05/969.70	c |   1322467 |     200    17000   119000 |    68946    62734     59 |  0.003 % |
969.15/969.84	c |   1322643 |     200    17000   119000 |    68946    62910     59 |  0.003 % |
969.25/969.98	c |   1322836 |     200    17000   119000 |    68946    63103     59 |  0.003 % |
969.46/970.14	c |   1323048 |     200    17000   119000 |    68946    63315     59 |  0.003 % |
969.65/970.37	c |   1323282 |     200    17000   119000 |    68946    63549     59 |  0.003 % |
969.85/970.58	c |   1323541 |     200    17000   119000 |    68946    63808     59 |  0.003 % |
970.05/970.78	c |   1323822 |     200    17000   119000 |    68946    64089     59 |  0.003 % |
970.35/971.00	c |   1324132 |     200    17000   119000 |    68946    64399     59 |  0.003 % |
970.56/971.22	c |   1324471 |     200    17000   119000 |    68946    64738     59 |  0.003 % |
970.75/971.47	c |   1324843 |     200    17000   119000 |    68946    65110     59 |  0.003 % |
971.05/971.74	c |   1325253 |     200    17000   119000 |    68946    65520     59 |  0.003 % |
971.35/972.08	c |   1325702 |     200    17000   119000 |    68946    65969     59 |  0.003 % |
971.66/972.39	c |   1326196 |     200    17000   119000 |    68946    66463     59 |  0.003 % |
972.05/972.77	c |   1326738 |     200    17000   119000 |    68946    67005     59 |  0.003 % |
972.45/973.18	c |   1327335 |     200    17000   119000 |    68946    67602     59 |  0.003 % |
972.95/973.66	c |   1327990 |     200    17000   119000 |    68946    68257     59 |  0.003 % |
973.45/974.19	c |   1328711 |     200    17000   119000 |    68946    68978     59 |  0.003 % |
974.05/974.76	c |   1329505 |     200    17000   119000 |    68946    62799     59 |  0.003 % |
974.85/975.55	c |   1330376 |     200    17000   119000 |    63295    57208     59 |  0.003 % |
975.55/976.20	c |   1331337 |     200    17000   119000 |    63295    58169     59 |  0.003 % |
976.25/976.93	c |   1332392 |     200    17000   119000 |    63295    59224     59 |  0.003 % |
977.05/977.73	c |   1333550 |     200    17000   119000 |    63295    60382     58 |  0.003 % |
977.95/978.69	c |   1334823 |     200    17000   119000 |    63295    61655     58 |  0.003 % |
978.85/979.58	c |   1336225 |     200    17000   119000 |    63295    63057     58 |  0.003 % |
979.75/980.48	c |   1337767 |     200    17000   119000 |    63295    58260     58 |  0.003 % |
980.75/981.49	c |   1339461 |     200    17000   119000 |    63295    59954     58 |  0.003 % |
981.95/982.64	c |   1341325 |     200    17000   119000 | 2147483647    61818     58 |  0.003 % |
983.25/983.90	c |   1343376 |     200    17000   119000 | 2147483647    63869     58 |  0.003 % |
984.75/985.41	c |   1345630 |     200    17000   119000 | 2147483647    66123     58 |  0.003 % |
986.35/987.04	c |   1348109 |     200    17000   119000 | 2147483647    68602     58 |  0.003 % |
988.25/988.98	c |   1350835 |     200    17000   119000 | 2147483647    71328     58 |  0.003 % |
990.54/991.29	c |   1353832 |     200    17000   119000 | 2147483647    74325     58 |  0.003 % |
993.14/993.80	c |   1357129 |     200    17000   119000 | 2147483647    77622     59 |  0.003 % |
995.95/996.64	c |   1360755 |     200    17000   119000 |    80494    70990     58 |  0.003 % |
998.74/999.47	c |   1364742 |     200    17000   119000 |    80494    74977     58 |  0.003 % |
1001.94/1002.69	c |   1369128 |     200    17000   119000 |    80494    79363     58 |  0.003 % |
1005.24/1005.99	c |   1373952 |     200    17000   119000 |    80235    73832     58 |  0.003 % |
1009.04/1009.73	c |   1379257 |     200    17000   119000 |    80235    79137     59 |  0.003 % |
1013.44/1014.16	c |   1385093 |     200    17000   119000 |    79880    75262     59 |  0.003 % |
1018.24/1018.92	c |   1391511 |     200    17000   119000 |    70463    63491     59 |  0.003 % |
1022.84/1023.50	c |   1398570 |     200    17000   119000 |    70463    70550     59 |  0.003 % |
1027.94/1028.67	c |   1406334 |     200    17000   119000 | 2147483647    71259     59 |  0.003 % |
1033.83/1034.52	c |   1414876 |     200    17000   119000 |    74928    72153     59 |  0.003 % |
1040.43/1041.20	c |   1424271 |     200    17000   119000 | 2147483647    73998     59 |  0.003 % |
1048.63/1049.31	c |   1434605 |     200    17000   119000 |    79727    75025     59 |  0.003 % |
1057.42/1058.14	c |   1445973 |     200    17000   119000 |    70686    68132     59 |  0.003 % |
1067.11/1067.89	c |   1458475 |     200    17000   119000 | 2147483647    73556     59 |  0.003 % |
1067.21/1067.96	c |   1458575 |     200    17000   119000 | 2147483647    73656     59 |  0.003 % |
1067.31/1068.08	c |   1458686 |     200    17000   119000 | 2147483647    73767     59 |  0.003 % |
1067.41/1068.19	c |   1458808 |     200    17000   119000 | 2147483647    73889     59 |  0.003 % |
1067.61/1068.31	c |   1458942 |     200    17000   119000 | 2147483647    74023     59 |  0.003 % |
1067.71/1068.43	c |   1459088 |     200    17000   119000 | 2147483647    74169     59 |  0.003 % |
1067.91/1068.61	c |   1459250 |     200    17000   119000 | 2147483647    74331     59 |  0.003 % |
1068.11/1068.82	c |   1459427 |     200    17000   119000 | 2147483647    74508     59 |  0.003 % |
1068.31/1069.02	c |   1459620 |     200    17000   119000 | 2147483647    74701     59 |  0.003 % |
1068.51/1069.23	c |   1459832 |     200    17000   119000 | 2147483647    74913     59 |  0.003 % |
1068.71/1069.50	c |   1460065 |     200    17000   119000 |    75081    75146     59 |  0.003 % |
1069.11/1069.82	c |   1460323 |     200    17000   119000 |    75081    66548     59 |  0.003 % |
1069.31/1070.07	c |   1460604 |     200    17000   119000 |    75081    66829     59 |  0.003 % |
1069.61/1070.33	c |   1460916 |     200    17000   119000 |    75081    67141     59 |  0.003 % |
1069.81/1070.59	c |   1461255 |     200    17000   119000 |    75081    67480     59 |  0.003 % |
1070.11/1070.86	c |   1461628 |     200    17000   119000 |    75081    67853     59 |  0.003 % |
1070.41/1071.15	c |   1462037 |     200    17000   119000 |    75081    68262     59 |  0.003 % |
1070.91/1071.61	c |   1462487 |     200    17000   119000 |    75081    68712     59 |  0.003 % |
1071.31/1072.03	c |   1462980 |     200    17000   119000 |    75081    69205     59 |  0.003 % |
1071.81/1072.51	c |   1463523 |     200    17000   119000 |    75081    69748     59 |  0.003 % |
1072.31/1073.06	c |   1464119 |     200    17000   119000 |    75081    70344     59 |  0.003 % |
1072.81/1073.55	c |   1464776 |     200    17000   119000 |    75081    71001     59 |  0.003 % |
1073.31/1074.06	c |   1465497 |     200    17000   119000 |    75081    71722     59 |  0.003 % |
1073.91/1074.68	c |   1466290 |     200    17000   119000 |    75081    72515     59 |  0.003 % |
1074.60/1075.30	c |   1467161 |     200    17000   119000 |    75081    73386     59 |  0.003 % |
1075.30/1076.04	c |   1468119 |     200    17000   119000 |    75081    74344     59 |  0.003 % |
1076.11/1076.83	c |   1469172 |     200    17000   119000 |    75081    66739     59 |  0.003 % |
1077.00/1077.71	c |   1470331 |     200    17000   119000 |    67567    60268     59 |  0.003 % |
1077.70/1078.46	c |   1471605 |     200    17000   119000 |    67567    61542     59 |  0.003 % |
1078.50/1079.28	c |   1473005 |     200    17000   119000 |    67567    62942     59 |  0.003 % |
1079.60/1080.30	c |   1474545 |     200    17000   119000 |    67567    64482     59 |  0.003 % |
1080.70/1081.45	c |   1476239 |     200    17000   119000 |    67567    66176     59 |  0.003 % |
1081.90/1082.64	c |   1478103 |     200    17000   119000 |    67567    61274     59 |  0.003 % |
1083.20/1083.93	c |   1480154 |     200    17000   119000 | 2147483647    63325     59 |  0.003 % |
1084.70/1085.40	c |   1482409 |     200    17000   119000 | 2147483647    65580     59 |  0.003 % |
1086.40/1087.18	c |   1484887 |     200    17000   119000 | 2147483647    68058     59 |  0.003 % |
1088.40/1089.12	c |   1487612 |     200    17000   119000 | 2147483647    70783     59 |  0.003 % |
1090.50/1091.25	c |   1490609 |     200    17000   119000 | 2147483647    73780     59 |  0.003 % |
1092.70/1093.45	c |   1493905 |     200    17000   119000 | 2147483647    77076     59 |  0.003 % |
1095.30/1096.06	c |   1497531 |     200    17000   119000 | 2147483647    80702     59 |  0.003 % |
1099.09/1099.80	c |   1501518 |     200    17000   119000 |    83174    73639     59 |  0.003 % |
1102.59/1103.32	c |   1505904 |     200    17000   119000 |    83174    78025     59 |  0.003 % |
1106.49/1107.24	c |   1510727 |     200    17000   119000 |    82123    70790     59 |  0.003 % |
1110.29/1111.08	c |   1516032 |     200    17000   119000 |    82123    76095     59 |  0.003 % |
1114.99/1115.72	c |   1521868 |     200    17000   119000 |    80063    71041     59 |  0.003 % |
1119.59/1120.32	c |   1528290 |     200    17000   119000 |    80063    77463     59 |  0.003 % |
1124.69/1125.48	c |   1535349 |     200    17000   119000 |    79173    74361     59 |  0.003 % |
1130.88/1131.61	c |   1543114 |     200    17000   119000 |    79014    72448     59 |  0.003 % |
1137.58/1138.35	c |   1551654 |     200    17000   119000 |    69609    62747     59 |  0.003 % |
1144.18/1144.91	c |   1561049 |     200    17000   119000 | 2147483647    65172     59 |  0.003 % |
1151.47/1152.29	c |   1571382 |     200    17000   119000 |    74123    67784     59 |  0.003 % |
1159.37/1160.12	c |   1582748 |     200    17000   119000 |    68705    64504     59 |  0.003 % |
1167.07/1167.89	c |   1595254 |     200    17000   119000 | 2147483647    70131     59 |  0.003 % |
1177.37/1178.14	c |   1609008 |     200    17000   119000 | 2147483647    83885     60 |  0.003 % |
1177.46/1178.26	c |   1609109 |     200    17000   119000 | 2147483647    83986     60 |  0.003 % |
1177.56/1178.37	c |   1609219 |     200    17000   119000 | 2147483647    84096     60 |  0.003 % |
1177.66/1178.48	c |   1609340 |     200    17000   119000 | 2147483647    84217     60 |  0.003 % |
1177.86/1178.60	c |   1609474 |     200    17000   119000 | 2147483647    84351     60 |  0.003 % |
1177.96/1178.74	c |   1609620 |     200    17000   119000 | 2147483647    84497     60 |  0.003 % |
1178.16/1178.91	c |   1609780 |     200    17000   119000 | 2147483647    84657     60 |  0.003 % |
1178.26/1179.08	c |   1609957 |     200    17000   119000 | 2147483647    84834     60 |  0.003 % |
1178.56/1179.36	c |   1610151 |     200    17000   119000 |    84877    72578     60 |  0.003 % |
1178.76/1179.52	c |   1610363 |     200    17000   119000 |    84877    72790     60 |  0.003 % |
1178.96/1179.73	c |   1610596 |     200    17000   119000 |    84877    73023     60 |  0.003 % |
1179.26/1180.00	c |   1610852 |     200    17000   119000 |    84877    73279     60 |  0.003 % |
1179.47/1180.24	c |   1611133 |     200    17000   119000 |    84877    73560     60 |  0.003 % |
1179.66/1180.50	c |   1611443 |     200    17000   119000 |    84877    73870     60 |  0.003 % |
1179.96/1180.77	c |   1611782 |     200    17000   119000 |    84877    74209     60 |  0.003 % |
1180.26/1181.09	c |   1612156 |     200    17000   119000 |    84877    74583     60 |  0.003 % |
1180.57/1181.40	c |   1612566 |     200    17000   119000 |    84877    74993     60 |  0.003 % |
1181.06/1181.86	c |   1613016 |     200    17000   119000 |    84877    75443     60 |  0.003 % |
1181.46/1182.29	c |   1613509 |     200    17000   119000 |    84877    75936     60 |  0.003 % |
1181.96/1182.75	c |   1614051 |     200    17000   119000 |    84877    76478     60 |  0.003 % |
1182.46/1183.25	c |   1614648 |     200    17000   119000 |    84877    77075     60 |  0.003 % |
1183.06/1183.83	c |   1615304 |     200    17000   119000 |    84877    77731     60 |  0.003 % |
1183.76/1184.50	c |   1616024 |     200    17000   119000 |    84877    78451     60 |  0.003 % |
1184.46/1185.27	c |   1616817 |     200    17000   119000 |    84877    79244     60 |  0.003 % |
1185.26/1186.05	c |   1617689 |     200    17000   119000 |    84877    80116     60 |  0.003 % |
1186.06/1186.86	c |   1618649 |     200    17000   119000 |    84877    81076     60 |  0.003 % |
1186.86/1187.65	c |   1619704 |     200    17000   119000 |    84877    82131     60 |  0.003 % |
1187.86/1188.60	c |   1620863 |     200    17000   119000 |    82428    70240     60 |  0.003 % |
1188.66/1189.45	c |   1622136 |     200    17000   119000 |    82428    71513     60 |  0.003 % |
1189.65/1190.47	c |   1623536 |     200    17000   119000 |    82428    72913     60 |  0.003 % |
1190.95/1191.78	c |   1625076 |     200    17000   119000 |    82428    74453     60 |  0.003 % |
1192.45/1193.25	c |   1626770 |     200    17000   119000 |    82428    76147     60 |  0.003 % |
1193.95/1194.79	c |   1628633 |     200    17000   119000 |    82428    78010     60 |  0.003 % |
1195.55/1196.33	c |   1630682 |     200    17000   119000 |    79378    69473     60 |  0.003 % |
1197.25/1198.08	c |   1632937 |     200    17000   119000 |    79378    71728     60 |  0.003 % |
1199.15/1199.95	c |   1635416 |     200    17000   119000 |    79378    74207     60 |  0.003 % |
1200.05/1200.81	HOME/SatELiteGTI: line 36: 22971 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-1832561-1242784290/watcher-1832561-1242784290 -o /tmp/evaluation-result-1832561-1242784290/solver-1832561-1242784290 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832561-1242784290.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.00 1.00 1.00 3/64 22965
/proc/meminfo: memFree=1777112/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0
/proc/22965/stat : 22965 (SatELiteGTI) R 22963 22965 22817 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306456364 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761215475 0 0 4100 65536 0 0 0 17 0 0 0
/proc/22965/statm: 1339 237 197 169 0 50 0

[startup+0.0380561 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22965
/proc/meminfo: memFree=1777112/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306456364 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101067 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22965
/proc/meminfo: memFree=1777112/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301085 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22965
/proc/meminfo: memFree=1777112/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701126 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22965
/proc/meminfo: memFree=1777112/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22971
/proc/meminfo: memFree=1773064/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=4932 CPUtime=1.43
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 1007 0 0 0 142 1 0 0 25 0 1 0 306456370 5050368 993 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 1233 993 76 171 0 1060 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10288

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22971
/proc/meminfo: memFree=1771336/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=7444 CPUtime=3.02
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 1613 0 0 0 301 1 0 0 25 0 1 0 306456370 7622656 1599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 1861 1599 76 171 0 1688 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12800

[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22971
/proc/meminfo: memFree=1767632/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=10564 CPUtime=6.23
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 2380 0 0 0 621 2 0 0 25 0 1 0 306456370 10817536 2366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 2641 2366 76 171 0 2468 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15920

[startup+12.7022 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22971
/proc/meminfo: memFree=1763280/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=14472 CPUtime=12.62
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 3382 0 0 0 1259 3 0 0 25 0 1 0 306456370 14819328 3368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 3618 3368 76 171 0 3445 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19828

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22971
/proc/meminfo: memFree=1757456/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=20140 CPUtime=25.41
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 4789 0 0 0 2537 4 0 0 25 0 1 0 306456370 20623360 4775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 5035 4775 76 171 0 4862 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25496

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22971
/proc/meminfo: memFree=1754192/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=23316 CPUtime=51.01
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 5565 0 0 0 5096 5 0 0 25 0 1 0 306456370 23875584 5551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 5829 5551 76 171 0 5656 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 28672

[startup+102.305 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 22971
/proc/meminfo: memFree=1752464/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=24776 CPUtime=102.18
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 5957 0 0 0 10213 5 0 0 25 0 1 0 306456370 25370624 5943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6194 5943 76 171 0 6021 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 30132

[startup+162.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 22971
/proc/meminfo: memFree=1752336/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=24776 CPUtime=162.12
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 5957 0 0 0 16206 6 0 0 25 0 1 0 306456370 25370624 5943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6194 5943 76 171 0 6021 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 30132

[startup+222.301 s]
/proc/loadavg: 1.15 1.05 1.01 2/66 22971
/proc/meminfo: memFree=1750736/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=26360 CPUtime=222.09
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6346 0 0 0 22202 7 0 0 25 0 1 0 306456370 26992640 6332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6590 6332 76 171 0 6417 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 31716

[startup+282.302 s]
/proc/loadavg: 1.15 1.07 1.01 2/66 22971
/proc/meminfo: memFree=1750288/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=26756 CPUtime=282.05
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6440 0 0 0 28198 7 0 0 25 0 1 0 306456370 27398144 6426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6689 6426 76 171 0 6516 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 32112

[startup+342.301 s]
/proc/loadavg: 1.05 1.05 1.01 2/66 22971
/proc/meminfo: memFree=1750160/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=26748 CPUtime=342.02
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6440 0 0 0 34195 7 0 0 25 0 1 0 306456370 27389952 6426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6687 6426 76 171 0 6514 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 32104

[startup+402.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/66 22971
/proc/meminfo: memFree=1749712/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=27144 CPUtime=402
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6541 0 0 0 40192 8 0 0 25 0 1 0 306456370 27795456 6527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6786 6527 76 171 0 6613 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 32500

[startup+462.301 s]

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

[pid=22971] ppid=22965 vsize=27276 CPUtime=461.97
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6577 0 0 0 46189 8 0 0 25 0 1 0 306456370 27930624 6563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6819 6563 76 171 0 6646 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 32632

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 22971
/proc/meminfo: memFree=1749328/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=27276 CPUtime=521.94
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6577 0 0 0 52186 8 0 0 25 0 1 0 306456370 27930624 6563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6819 6563 76 171 0 6646 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 32632

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 22977
/proc/meminfo: memFree=1748688/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=27540 CPUtime=581.91
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6642 0 0 0 58183 8 0 0 25 0 1 0 306456370 28200960 6628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6885 6628 76 171 0 6712 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 32896

[startup+642.302 s]
/proc/loadavg: 1.15 1.04 1.01 2/66 23453
/proc/meminfo: memFree=1706208/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=27540 CPUtime=641.79
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6642 0 0 0 64163 16 0 0 25 0 1 0 306456370 28200960 6628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 6885 6628 76 171 0 6712 0
Current children cumulated CPU time (s) 641.84
Current children cumulated vsize (KiB) 32896

[startup+702.302 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 23453
/proc/meminfo: memFree=1706704/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28068 CPUtime=701.75
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6785 0 0 0 70159 16 0 0 25 0 1 0 306456370 28741632 6771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7017 6771 76 171 0 6844 0
Current children cumulated CPU time (s) 701.8
Current children cumulated vsize (KiB) 33424

[startup+762.305 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 23453
/proc/meminfo: memFree=1706192/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28336 CPUtime=761.73
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6839 0 0 0 76156 17 0 0 25 0 1 0 306456370 29016064 6825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7084 6825 76 171 0 6911 0
Current children cumulated CPU time (s) 761.78
Current children cumulated vsize (KiB) 33692

[startup+822.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 23453
/proc/meminfo: memFree=1706192/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28336 CPUtime=821.68
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6839 0 0 0 82151 17 0 0 25 0 1 0 306456370 29016064 6825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7084 6825 76 171 0 6911 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 33692

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23453
/proc/meminfo: memFree=1706128/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28336 CPUtime=881.65
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6839 0 0 0 88148 17 0 0 25 0 1 0 306456370 29016064 6825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7084 6825 76 171 0 6911 0
Current children cumulated CPU time (s) 881.7
Current children cumulated vsize (KiB) 33692

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23453
/proc/meminfo: memFree=1705936/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28336 CPUtime=941.63
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6839 0 0 0 94146 17 0 0 25 0 1 0 306456370 29016064 6825 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7084 6825 76 171 0 6911 0
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (KiB) 33692

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23453
/proc/meminfo: memFree=1705808/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28468 CPUtime=1001.59
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6859 0 0 0 100142 17 0 0 25 0 1 0 306456370 29151232 6845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7117 6845 76 171 0 6944 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 33824

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23453
/proc/meminfo: memFree=1705680/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28468 CPUtime=1061.56
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6859 0 0 0 106138 18 0 0 25 0 1 0 306456370 29151232 6845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7117 6845 76 171 0 6944 0
Current children cumulated CPU time (s) 1061.61
Current children cumulated vsize (KiB) 33824

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23453
/proc/meminfo: memFree=1705488/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=28468 CPUtime=1121.54
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 6886 0 0 0 112136 18 0 0 25 0 1 0 306456370 29151232 6872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7117 6872 76 171 0 6944 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 33824

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23453
/proc/meminfo: memFree=1704656/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=29296 CPUtime=1181.51
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 7084 0 0 0 118133 18 0 0 25 0 1 0 306456370 29999104 7070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7324 7070 76 171 0 7151 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 34652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23453
/proc/meminfo: memFree=1704528/2055920 swapFree=4170692/4192956
[pid=22965] ppid=22963 vsize=5356 CPUtime=0.05
/proc/22965/stat : 22965 (SatELiteGTI) S 22963 22965 22817 0 -1 4194304 336 747 0 0 0 0 5 0 17 0 1 0 306456364 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22965/statm: 1339 239 197 169 0 50 0
[pid=22971] ppid=22965 vsize=29440 CPUtime=1200
/proc/22971/stat : 22971 (minisat_static) R 22965 22965 22817 0 -1 4194304 7107 0 0 0 119982 18 0 0 25 0 1 0 306456370 30146560 7093 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/22971/statm: 7360 7093 76 171 0 7187 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 34796

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.88
CPU system time (s): 0.199969
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 34796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8199
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= 27
involuntary context switches= 5374

runsolver used 1.16982 second user time and 3.32849 second system time

The end

Launcher Data

Begin job on node55 at 2009-05-20 03:51:30
IDJOB=1832561
IDBENCH=70244
IDSOLVER=671
FILE ID=node55/1832561-1242784290
PBS_JOBID= 9322337
Free space on /tmp= 66256 MiB

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

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

MD5SUM BENCH= 925bc133251a0b8070d62549c0360fc5
RANDOM SEED=106211753

node55.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1777592 kB
Buffers:         21028 kB
Cached:         207652 kB
SwapCached:      16460 kB
Active:          92056 kB
Inactive:       154592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777592 kB
SwapTotal:     4192956 kB
SwapFree:      4170692 kB
Dirty:            2072 kB
Writeback:           0 kB
Mapped:          15528 kB
Slab:            17772 kB
Committed_AS:   927248 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66252 MiB
End job on node55 at 2009-05-20 04:11:33