Trace number 1832571

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.11 1200.81

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
MD5SUM95130954abd8400708fa3e3db5d60039
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1154.85
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   17000   119000 |    5099       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 200   #clauses: 17000   #literals: 119000
0.00/0.03	c CPU time:   0.023996 s
0.00/0.03	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  200                                                  |
0.00/0.06	c |  Number of clauses:    17000                                                |
0.05/0.09	c |  Parsing time:         0.01         s                                       |
0.05/0.10	c ============================[ Search Statistics ]==============================
0.05/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.10	c ===============================================================================
0.05/0.10	c |         0 |     200    17000   119000 |     5666        0    nan |  0.000 % |
0.05/0.11	c |       100 |     200    17000   119000 |     5666      100     58 |  0.003 % |
0.05/0.12	c |       202 |     200    17000   119000 |     5666      202     59 |  0.003 % |
0.05/0.13	c |       302 |     200    17000   119000 |     5666      302     60 |  0.003 % |
0.05/0.14	c |       412 |     200    17000   119000 |     5666      412     58 |  0.003 % |
0.05/0.15	c |       513 |     200    17000   119000 |     5666      513     58 |  0.003 % |
0.05/0.16	c |       625 |     200    17000   119000 |     5666      625     57 |  0.003 % |
0.05/0.17	c |       749 |     200    17000   119000 |     5666      749     57 |  0.003 % |
0.05/0.18	c |       849 |     200    17000   119000 |     5666      849     57 |  0.003 % |
0.05/0.19	c |       959 |     200    17000   119000 |     5666      959     57 |  0.003 % |
0.05/0.20	c |      1081 |     200    17000   119000 |     5666     1081     57 |  0.003 % |
0.05/0.22	c |      1215 |     200    17000   119000 |     5666     1215     57 |  0.003 % |
0.05/0.22	c |      1315 |     200    17000   119000 |     5666     1315     57 |  0.003 % |
0.05/0.23	c |      1425 |     200    17000   119000 |     5666     1425     57 |  0.003 % |
0.05/0.25	c |      1546 |     200    17000   119000 |     5666     1546     57 |  0.003 % |
0.05/0.26	c |      1679 |     200    17000   119000 |     5666     1679     57 |  0.003 % |
0.05/0.27	c |      1826 |     200    17000   119000 |     5666     1826     57 |  0.003 % |
0.05/0.28	c |      1927 |     200    17000   119000 |     5666     1927     57 |  0.003 % |
0.05/0.29	c |      2038 |     200    17000   119000 |     5666     2038     57 |  0.003 % |
0.05/0.31	c |      2159 |     200    17000   119000 |     5666     2159     57 |  0.003 % |
0.05/0.32	c |      2292 |     200    17000   119000 |     5666     2292     57 |  0.003 % |
0.05/0.34	c |      2438 |     200    17000   119000 |     5666     2438     57 |  0.003 % |
0.05/0.36	c |      2598 |     200    17000   119000 |     5666     2598     57 |  0.003 % |
0.05/0.37	c |      2698 |     200    17000   119000 |     5666     2698     57 |  0.003 % |
0.05/0.38	c |      2809 |     200    17000   119000 |     5666     2809     57 |  0.003 % |
0.05/0.39	c |      2930 |     200    17000   119000 |     5666     2930     57 |  0.003 % |
0.05/0.41	c |      3064 |     200    17000   119000 |     5666     3064     57 |  0.003 % |
0.05/0.42	c |      3210 |     200    17000   119000 |     5666     3210     57 |  0.003 % |
0.05/0.44	c |      3370 |     200    17000   119000 |     5666     3370     57 |  0.003 % |
0.05/0.46	c |      3546 |     200    17000   119000 |     5666     3546     57 |  0.003 % |
0.05/0.47	c |      3646 |     200    17000   119000 |     5666     3646     57 |  0.003 % |
0.05/0.48	c |      3756 |     200    17000   119000 |     5666     3756     57 |  0.003 % |
0.05/0.49	c |      3879 |     200    17000   119000 |     5666     3879     57 |  0.003 % |
0.05/0.51	c |      4014 |     200    17000   119000 |     5666     4014     57 |  0.003 % |
0.05/0.53	c |      4160 |     200    17000   119000 |     5666     4160     57 |  0.003 % |
0.05/0.54	c |      4321 |     200    17000   119000 |     5666     4321     57 |  0.003 % |
0.05/0.56	c |      4498 |     200    17000   119000 |     5666     4498     57 |  0.003 % |
0.05/0.59	c |      4692 |     200    17000   119000 |     5666     4692     57 |  0.003 % |
0.05/0.60	c |      4793 |     200    17000   119000 |     5666     4793     57 |  0.003 % |
0.05/0.61	c |      4903 |     200    17000   119000 |     5666     4903     57 |  0.003 % |
0.05/0.63	c |      5026 |     200    17000   119000 |     5666     5026     57 |  0.003 % |
0.05/0.65	c |      5161 |     200    17000   119000 |     5666     5161     57 |  0.003 % |
0.05/0.66	c |      5308 |     200    17000   119000 |     5666     5308     57 |  0.003 % |
0.05/0.68	c |      5468 |     200    17000   119000 |     5666     5468     57 |  0.003 % |
0.05/0.70	c |      5644 |     200    17000   119000 |     5666     5644     57 |  0.003 % |
0.05/0.73	c |      5837 |     200    17000   119000 |     5666     5262     57 |  0.003 % |
0.05/0.75	c |      6050 |     200    17000   119000 |     5666     5475     57 |  0.003 % |
0.05/0.77	c |      6153 |     200    17000   119000 |     5666     5578     57 |  0.003 % |
0.05/0.78	c |      6264 |     200    17000   119000 |     5666     5689     57 |  0.003 % |
0.05/0.80	c |      6385 |     200    17000   119000 |     5666     5242     57 |  0.003 % |
0.05/0.82	c |      6519 |     200    17000   119000 |     5666     5376     57 |  0.003 % |
0.05/0.84	c |      6665 |     200    17000   119000 |     5666     5522     57 |  0.003 % |
0.05/0.86	c |      6828 |     200    17000   119000 |     5666     5685     57 |  0.003 % |
0.05/0.88	c |      7004 |     200    17000   119000 |     5666     5293     57 |  0.003 % |
0.05/0.90	c |      7198 |     200    17000   119000 |     5666     5487     57 |  0.003 % |
0.05/0.93	c |      7410 |     200    17000   119000 |     5666     5699     57 |  0.003 % |
0.05/0.96	c |      7644 |     200    17000   119000 |     5666     5364     57 |  0.003 % |
0.05/0.97	c |      7745 |     200    17000   119000 |     5666     5465     57 |  0.003 % |
0.05/0.98	c |      7856 |     200    17000   119000 |     5666     5576     57 |  0.003 % |
0.96/1.00	c |      7977 |     200    17000   119000 |     5666     5697     57 |  0.003 % |
0.96/1.02	c |      8111 |     200    17000   119000 |     5666     5262     57 |  0.003 % |
0.96/1.04	c |      8257 |     200    17000   119000 |     5666     5408     57 |  0.003 % |
0.96/1.06	c |      8418 |     200    17000   119000 |     5666     5569     57 |  0.003 % |
0.96/1.08	c |      8596 |     200    17000   119000 |     5666     5747     57 |  0.003 % |
1.06/1.11	c |      8789 |     200    17000   119000 |     5666     5366     57 |  0.003 % |
1.06/1.13	c |      9001 |     200    17000   119000 |     5666     5578     57 |  0.003 % |
1.06/1.16	c |      9235 |     200    17000   119000 |     5666     5236     57 |  0.003 % |
1.06/1.19	c |      9493 |     200    17000   119000 |     5666     5494     57 |  0.003 % |
1.15/1.20	c |      9593 |     200    17000   119000 |     5666     5594     57 |  0.003 % |
1.15/1.21	c |      9703 |     200    17000   119000 |     5666     5704     57 |  0.003 % |
1.15/1.23	c |      9825 |     200    17000   119000 |     5666     5256     56 |  0.003 % |
1.15/1.25	c |      9958 |     200    17000   119000 |     5666     5389     56 |  0.003 % |
1.15/1.26	c |     10104 |     200    17000   119000 | 2147483647     5535     57 |  0.003 % |
1.15/1.28	c |     10265 |     200    17000   119000 | 2147483647     5696     57 |  0.003 % |
1.25/1.30	c |     10441 |     200    17000   119000 | 2147483647     5872     57 |  0.003 % |
1.25/1.33	c |     10634 |     200    17000   119000 | 2147483647     6065     57 |  0.003 % |
1.25/1.36	c |     10848 |     200    17000   119000 | 2147483647     6279     57 |  0.003 % |
1.25/1.39	c |     11082 |     200    17000   119000 | 2147483647     6513     57 |  0.003 % |
1.35/1.42	c |     11338 |     200    17000   119000 | 2147483647     6769     57 |  0.003 % |
1.35/1.46	c |     11619 |     200    17000   119000 | 2147483647     7050     57 |  0.003 % |
1.35/1.47	c |     11720 |     200    17000   119000 | 2147483647     7151     57 |  0.003 % |
1.35/1.48	c |     11831 |     200    17000   119000 | 2147483647     7262     57 |  0.003 % |
1.45/1.50	c |     11952 |     200    17000   119000 | 2147483647     7383     57 |  0.003 % |
1.45/1.52	c |     12085 |     200    17000   119000 | 2147483647     7516     57 |  0.003 % |
1.45/1.54	c |     12231 |     200    17000   119000 | 2147483647     7662     57 |  0.003 % |
1.45/1.56	c |     12391 |     200    17000   119000 | 2147483647     7822     57 |  0.003 % |
1.45/1.59	c |     12567 |     200    17000   119000 | 2147483647     7998     57 |  0.003 % |
1.55/1.62	c |     12761 |     200    17000   119000 | 2147483647     8192     57 |  0.003 % |
1.55/1.64	c |     12975 |     200    17000   119000 | 2147483647     8406     57 |  0.003 % |
1.55/1.67	c |     13208 |     200    17000   119000 | 2147483647     8639     57 |  0.003 % |
1.65/1.71	c |     13464 |     200    17000   119000 | 2147483647     8895     57 |  0.003 % |
1.65/1.75	c |     13745 |     200    17000   119000 | 2147483647     9176     57 |  0.003 % |
1.65/1.80	c |     14055 |     200    17000   119000 | 2147483647     9486     57 |  0.003 % |
1.75/1.81	c |     14157 |     200    17000   119000 | 2147483647     9588     57 |  0.003 % |
1.75/1.83	c |     14268 |     200    17000   119000 | 2147483647     9699     57 |  0.003 % |
1.75/1.85	c |     14389 |     200    17000   119000 | 2147483647     9820     57 |  0.003 % |
1.75/1.87	c |     14522 |     200    17000   119000 | 2147483647     9953     57 |  0.003 % |
1.75/1.90	c |     14668 |     200    17000   119000 | 2147483647    10099     57 |  0.003 % |
1.85/1.92	c |     14828 |     200    17000   119000 | 2147483647    10259     57 |  0.003 % |
1.85/1.95	c |     15004 |     200    17000   119000 | 2147483647    10435     57 |  0.003 % |
1.85/1.99	c |     15199 |     200    17000   119000 | 2147483647    10630     57 |  0.003 % |
1.95/2.02	c |     15412 |     200    17000   119000 | 2147483647    10843     57 |  0.003 % |
1.95/2.06	c |     15645 |     200    17000   119000 | 2147483647    11076     57 |  0.003 % |
1.95/2.10	c |     15902 |     200    17000   119000 | 2147483647    11333     57 |  0.003 % |
2.05/2.14	c |     16184 |     200    17000   119000 | 2147483647    11615     57 |  0.003 % |
2.05/2.19	c |     16495 |     200    17000   119000 | 2147483647    11926     57 |  0.003 % |
2.16/2.24	c |     16834 |     200    17000   119000 | 2147483647    12265     57 |  0.003 % |
2.16/2.26	c |     16934 |     200    17000   119000 | 2147483647    12365     57 |  0.003 % |
2.16/2.28	c |     17046 |     200    17000   119000 | 2147483647    12477     57 |  0.003 % |
2.25/2.31	c |     17168 |     200    17000   119000 | 2147483647    12599     57 |  0.003 % |
2.25/2.34	c |     17302 |     200    17000   119000 | 2147483647    12733     57 |  0.003 % |
2.25/2.36	c |     17448 |     200    17000   119000 | 2147483647    12879     57 |  0.003 % |
2.25/2.40	c |     17608 |     200    17000   119000 | 2147483647    13039     57 |  0.003 % |
2.35/2.43	c |     17785 |     200    17000   119000 | 2147483647    13216     57 |  0.003 % |
2.35/2.46	c |     17980 |     200    17000   119000 | 2147483647    13411     57 |  0.003 % |
2.45/2.51	c |     18194 |     200    17000   119000 | 2147483647    13625     57 |  0.003 % |
2.45/2.55	c |     18427 |     200    17000   119000 | 2147483647    13858     57 |  0.003 % |
2.45/2.59	c |     18686 |     200    17000   119000 | 2147483647    14117     57 |  0.003 % |
2.55/2.65	c |     18967 |     200    17000   119000 | 2147483647    14398     57 |  0.003 % |
2.65/2.71	c |     19276 |     200    17000   119000 | 2147483647    14707     57 |  0.003 % |
2.65/2.77	c |     19616 |     200    17000   119000 | 2147483647    15047     57 |  0.003 % |
2.75/2.84	c |     19988 |     200    17000   119000 | 2147483647    15419     57 |  0.003 % |
2.75/2.86	c |     20090 |     200    17000   119000 | 2147483647    15521     57 |  0.003 % |
2.75/2.89	c |     20200 |     200    17000   119000 | 2147483647    15631     57 |  0.003 % |
2.85/2.92	c |     20322 |     200    17000   119000 | 2147483647    15753     57 |  0.003 % |
2.85/2.95	c |     20456 |     200    17000   119000 | 2147483647    15887     57 |  0.003 % |
2.85/2.98	c |     20602 |     200    17000   119000 | 2147483647    16033     57 |  0.003 % |
2.95/3.02	c |     20763 |     200    17000   119000 | 2147483647    16194     57 |  0.003 % |
2.95/3.05	c |     20940 |     200    17000   119000 | 2147483647    16371     57 |  0.003 % |
2.95/3.09	c |     21134 |     200    17000   119000 | 2147483647    16565     57 |  0.003 % |
3.05/3.14	c |     21349 |     200    17000   119000 | 2147483647    16780     57 |  0.003 % |
3.05/3.19	c |     21582 |     200    17000   119000 | 2147483647    17013     57 |  0.003 % |
3.15/3.25	c |     21840 |     200    17000   119000 | 2147483647    17271     57 |  0.003 % |
3.25/3.31	c |     22122 |     200    17000   119000 | 2147483647    17553     57 |  0.003 % |
3.25/3.38	c |     22433 |     200    17000   119000 | 2147483647    17864     57 |  0.003 % |
3.35/3.46	c |     22773 |     200    17000   119000 | 2147483647    18204     57 |  0.003 % |
3.45/3.54	c |     23145 |     200    17000   119000 | 2147483647    18576     57 |  0.003 % |
3.55/3.62	c |     23558 |     200    17000   119000 | 2147483647    18989     57 |  0.003 % |
3.55/3.66	c |     23658 |     200    17000   119000 | 2147483647    19089     57 |  0.003 % |
3.55/3.69	c |     23768 |     200    17000   119000 | 2147483647    19199     57 |  0.003 % |
3.65/3.72	c |     23890 |     200    17000   119000 | 2147483647    19321     57 |  0.003 % |
3.65/3.75	c |     24024 |     200    17000   119000 | 2147483647    19455     57 |  0.003 % |
3.65/3.80	c |     24171 |     200    17000   119000 | 2147483647    19602     57 |  0.003 % |
3.75/3.84	c |     24333 |     200    17000   119000 | 2147483647    19764     57 |  0.003 % |
3.75/3.89	c |     24511 |     200    17000   119000 | 2147483647    19942     57 |  0.003 % |
3.85/3.94	c |     24704 |     200    17000   119000 | 2147483647    20135     57 |  0.003 % |
3.85/3.99	c |     24919 |     200    17000   119000 | 2147483647    20350     57 |  0.003 % |
3.95/4.04	c |     25152 |     200    17000   119000 | 2147483647    20583     57 |  0.003 % |
4.04/4.10	c |     25408 |     200    17000   119000 | 2147483647    20839     57 |  0.003 % |
4.04/4.17	c |     25689 |     200    17000   119000 | 2147483647    21120     57 |  0.003 % |
4.14/4.24	c |     26000 |     200    17000   119000 | 2147483647    21431     57 |  0.003 % |
4.25/4.33	c |     26339 |     200    17000   119000 | 2147483647    21770     57 |  0.003 % |
4.35/4.43	c |     26712 |     200    17000   119000 | 2147483647    22143     57 |  0.003 % |
4.44/4.54	c |     27123 |     200    17000   119000 | 2147483647    22554     57 |  0.003 % |
4.54/4.65	c |     27573 |     200    17000   119000 | 2147483647    23004     57 |  0.003 % |
4.54/4.69	c |     27673 |     200    17000   119000 | 2147483647    23104     57 |  0.003 % |
4.65/4.72	c |     27784 |     200    17000   119000 | 2147483647    23215     57 |  0.003 % |
4.65/4.76	c |     27905 |     200    17000   119000 | 2147483647    23336     57 |  0.003 % |
4.65/4.79	c |     28040 |     200    17000   119000 | 2147483647    23471     57 |  0.003 % |
4.75/4.84	c |     28186 |     200    17000   119000 | 2147483647    23617     57 |  0.003 % |
4.75/4.88	c |     28346 |     200    17000   119000 | 2147483647    23777     57 |  0.003 % |
4.85/4.93	c |     28523 |     200    17000   119000 | 2147483647    23954     57 |  0.003 % |
4.85/4.99	c |     28719 |     200    17000   119000 | 2147483647    24150     57 |  0.003 % |
4.95/5.06	c |     28932 |     200    17000   119000 | 2147483647    24363     57 |  0.003 % |
5.05/5.13	c |     29166 |     200    17000   119000 | 2147483647    24597     57 |  0.003 % |
5.15/5.20	c |     29425 |     200    17000   119000 | 2147483647    24856     57 |  0.003 % |
5.15/5.30	c |     29708 |     200    17000   119000 | 2147483647    25139     57 |  0.003 % |
5.25/5.39	c |     30017 |     200    17000   119000 | 2147483647    25448     57 |  0.003 % |
5.45/5.51	c |     30356 |     200    17000   119000 | 2147483647    25787     57 |  0.003 % |
5.55/5.63	c |     30729 |     200    17000   119000 | 2147483647    26160     57 |  0.003 % |
5.65/5.75	c |     31139 |     200    17000   119000 | 2147483647    26570     57 |  0.003 % |
5.75/5.89	c |     31588 |     200    17000   119000 | 2147483647    27019     57 |  0.003 % |
5.95/6.06	c |     32081 |     200    17000   119000 | 2147483647    27512     57 |  0.003 % |
5.95/6.10	c |     32181 |     200    17000   119000 | 2147483647    27612     57 |  0.003 % |
6.05/6.13	c |     32293 |     200    17000   119000 | 2147483647    27724     57 |  0.003 % |
6.05/6.17	c |     32416 |     200    17000   119000 | 2147483647    27847     57 |  0.003 % |
6.15/6.21	c |     32550 |     200    17000   119000 | 2147483647    27981     57 |  0.003 % |
6.15/6.27	c |     32698 |     200    17000   119000 | 2147483647    28129     57 |  0.003 % |
6.25/6.32	c |     32858 |     200    17000   119000 | 2147483647    28289     57 |  0.003 % |
6.25/6.39	c |     33036 |     200    17000   119000 | 2147483647    28467     57 |  0.003 % |
6.35/6.47	c |     33230 |     200    17000   119000 | 2147483647    28661     57 |  0.003 % |
6.45/6.54	c |     33442 |     200    17000   119000 | 2147483647    28873     57 |  0.003 % |
6.55/6.62	c |     33678 |     200    17000   119000 | 2147483647    29109     57 |  0.003 % |
6.65/6.71	c |     33937 |     200    17000   119000 | 2147483647    29368     57 |  0.003 % |
6.75/6.80	c |     34220 |     200    17000   119000 | 2147483647    29651     57 |  0.003 % |
6.85/6.91	c |     34530 |     200    17000   119000 | 2147483647    29961     57 |  0.003 % |
6.94/7.03	c |     34870 |     200    17000   119000 | 2147483647    30301     57 |  0.003 % |
7.04/7.17	c |     35243 |     200    17000   119000 | 2147483647    30674     57 |  0.003 % |
7.24/7.31	c |     35653 |     200    17000   119000 | 2147483647    31084     57 |  0.003 % |
7.34/7.48	c |     36104 |     200    17000   119000 | 2147483647    31535     57 |  0.003 % |
7.55/7.66	c |     36598 |     200    17000   119000 | 2147483647    32029     57 |  0.003 % |
7.74/7.89	c |     37141 |     200    17000   119000 | 2147483647    32572     57 |  0.003 % |
7.84/7.92	c |     37241 |     200    17000   119000 | 2147483647    32672     57 |  0.003 % |
7.84/7.96	c |     37352 |     200    17000   119000 | 2147483647    32783     57 |  0.003 % |
7.94/8.01	c |     37474 |     200    17000   119000 | 2147483647    32905     57 |  0.003 % |
7.94/8.06	c |     37608 |     200    17000   119000 | 2147483647    33039     57 |  0.003 % |
8.04/8.11	c |     37758 |     200    17000   119000 | 2147483647    33189     57 |  0.003 % |
8.04/8.18	c |     37919 |     200    17000   119000 | 2147483647    33350     57 |  0.003 % |
8.14/8.24	c |     38095 |     200    17000   119000 | 2147483647    33526     57 |  0.003 % |
8.24/8.33	c |     38291 |     200    17000   119000 | 2147483647    33722     57 |  0.003 % |
8.34/8.41	c |     38504 |     200    17000   119000 | 2147483647    33935     57 |  0.003 % |
8.44/8.52	c |     38738 |     200    17000   119000 | 2147483647    34169     57 |  0.003 % |
8.54/8.63	c |     38995 |     200    17000   119000 | 2147483647    34426     57 |  0.003 % |
8.65/8.76	c |     39277 |     200    17000   119000 | 2147483647    34708     57 |  0.003 % |
8.75/8.87	c |     39587 |     200    17000   119000 | 2147483647    35018     57 |  0.003 % |
8.94/9.02	c |     39926 |     200    17000   119000 | 2147483647    35357     57 |  0.003 % |
9.04/9.17	c |     40298 |     200    17000   119000 | 2147483647    35729     57 |  0.003 % |
9.24/9.33	c |     40708 |     200    17000   119000 | 2147483647    36139     57 |  0.003 % |
9.44/9.51	c |     41157 |     200    17000   119000 | 2147483647    36588     57 |  0.003 % |
9.64/9.71	c |     41651 |     200    17000   119000 | 2147483647    37082     57 |  0.003 % |
9.84/9.96	c |     42193 |     200    17000   119000 | 2147483647    37624     57 |  0.003 % |
10.04/10.19	c |     42789 |     200    17000   119000 | 2147483647    38220     57 |  0.003 % |
10.15/10.23	c |     42889 |     200    17000   119000 | 2147483647    38320     57 |  0.003 % |
10.15/10.28	c |     42999 |     200    17000   119000 | 2147483647    38430     57 |  0.003 % |
10.25/10.34	c |     43120 |     200    17000   119000 | 2147483647    38551     57 |  0.003 % |
10.34/10.40	c |     43253 |     200    17000   119000 | 2147483647    38684     57 |  0.003 % |
10.34/10.47	c |     43399 |     200    17000   119000 | 2147483647    38830     57 |  0.003 % |
10.44/10.54	c |     43559 |     200    17000   119000 | 2147483647    38990     57 |  0.003 % |
10.54/10.64	c |     43736 |     200    17000   119000 | 2147483647    39167     57 |  0.003 % |
10.64/10.73	c |     43930 |     200    17000   119000 | 2147483647    39361     57 |  0.003 % |
10.74/10.84	c |     44143 |     200    17000   119000 | 2147483647    39574     57 |  0.003 % |
10.85/10.94	c |     44378 |     200    17000   119000 | 2147483647    39809     57 |  0.003 % |
10.95/11.04	c |     44634 |     200    17000   119000 | 2147483647    40065     57 |  0.003 % |
11.04/11.16	c |     44915 |     200    17000   119000 | 2147483647    40346     57 |  0.003 % |
11.24/11.31	c |     45224 |     200    17000   119000 | 2147483647    40655     57 |  0.003 % |
11.34/11.46	c |     45564 |     200    17000   119000 | 2147483647    40995     57 |  0.003 % |
11.54/11.67	c |     45937 |     200    17000   119000 | 2147483647    41368     57 |  0.003 % |
11.74/11.87	c |     46346 |     200    17000   119000 | 2147483647    41777     57 |  0.003 % |
11.95/12.09	c |     46795 |     200    17000   119000 | 2147483647    42226     57 |  0.003 % |
12.24/12.32	c |     47288 |     200    17000   119000 | 2147483647    42719     57 |  0.003 % |
12.44/12.59	c |     47830 |     200    17000   119000 | 2147483647    43261     57 |  0.003 % |
12.74/12.86	c |     48428 |     200    17000   119000 | 2147483647    43859     57 |  0.003 % |
13.04/13.17	c |     49084 |     200    17000   119000 | 2147483647    44515     57 |  0.003 % |
13.14/13.24	c |     49185 |     200    17000   119000 | 2147483647    44616     57 |  0.003 % |
13.24/13.30	c |     49295 |     200    17000   119000 | 2147483647    44726     57 |  0.003 % |
13.24/13.37	c |     49418 |     200    17000   119000 | 2147483647    44849     57 |  0.003 % |
13.34/13.45	c |     49551 |     200    17000   119000 | 2147483647    44982     57 |  0.003 % |
13.44/13.54	c |     49697 |     200    17000   119000 | 2147483647    45128     57 |  0.003 % |
13.54/13.63	c |     49859 |     200    17000   119000 | 2147483647    45290     57 |  0.003 % |
13.64/13.73	c |     50036 |     200    17000   119000 | 2147483647    45467     57 |  0.003 % |
13.75/13.86	c |     50229 |     200    17000   119000 | 2147483647    45660     57 |  0.003 % |
13.85/13.98	c |     50441 |     200    17000   119000 | 2147483647    45872     57 |  0.003 % |
14.05/14.11	c |     50676 |     200    17000   119000 | 2147483647    46107     57 |  0.003 % |
14.15/14.25	c |     50932 |     200    17000   119000 | 2147483647    46363     57 |  0.003 % |
14.34/14.42	c |     51214 |     200    17000   119000 | 2147483647    46645     57 |  0.003 % |
14.44/14.58	c |     51524 |     200    17000   119000 | 2147483647    46955     57 |  0.003 % |
14.64/14.79	c |     51863 |     200    17000   119000 | 2147483647    47294     57 |  0.003 % |
14.84/14.99	c |     52236 |     200    17000   119000 | 2147483647    47667     57 |  0.003 % |
15.14/15.20	c |     52645 |     200    17000   119000 | 2147483647    48076     57 |  0.003 % |
15.35/15.45	c |     53095 |     200    17000   119000 | 2147483647    48526     57 |  0.003 % |
15.64/15.76	c |     53588 |     200    17000   119000 | 2147483647    49019     57 |  0.003 % |
15.94/16.08	c |     54130 |     200    17000   119000 | 2147483647    49561     57 |  0.003 % |
16.34/16.45	c |     54727 |     200    17000   119000 | 2147483647    50158     57 |  0.003 % |
16.74/16.81	c |     55382 |     200    17000   119000 | 2147483647    50813     57 |  0.003 % |
17.14/17.23	c |     56104 |     200    17000   119000 | 2147483647    51535     57 |  0.003 % |
17.14/17.28	c |     56205 |     200    17000   119000 | 2147483647    51636     57 |  0.003 % |
17.24/17.34	c |     56315 |     200    17000   119000 | 2147483647    51746     57 |  0.003 % |
17.34/17.43	c |     56440 |     200    17000   119000 | 2147483647    51871     57 |  0.003 % |
17.44/17.50	c |     56573 |     200    17000   119000 | 2147483647    52004     57 |  0.003 % |
17.54/17.61	c |     56719 |     200    17000   119000 | 2147483647    52150     57 |  0.003 % |
17.64/17.73	c |     56879 |     200    17000   119000 | 2147483647    52310     57 |  0.003 % |
17.74/17.84	c |     57055 |     200    17000   119000 | 2147483647    52486     57 |  0.003 % |
17.84/17.97	c |     57248 |     200    17000   119000 | 2147483647    52679     57 |  0.003 % |
18.04/18.12	c |     57461 |     200    17000   119000 | 2147483647    52892     57 |  0.003 % |
18.14/18.26	c |     57699 |     200    17000   119000 | 2147483647    53130     57 |  0.003 % |
18.34/18.40	c |     57955 |     200    17000   119000 | 2147483647    53386     57 |  0.003 % |
18.44/18.56	c |     58240 |     200    17000   119000 | 2147483647    53671     57 |  0.003 % |
18.64/18.75	c |     58550 |     200    17000   119000 | 2147483647    53981     57 |  0.003 % |
18.93/19.00	c |     58889 |     200    17000   119000 | 2147483647    54320     57 |  0.003 % |
19.13/19.24	c |     59262 |     200    17000   119000 | 2147483647    54693     57 |  0.003 % |
19.43/19.50	c |     59672 |     200    17000   119000 | 2147483647    55103     57 |  0.003 % |
19.74/19.81	c |     60124 |     200    17000   119000 | 2147483647    55555     57 |  0.003 % |
20.03/20.11	c |     60617 |     200    17000   119000 | 2147483647    56048     57 |  0.003 % |
20.33/20.46	c |     61159 |     200    17000   119000 | 2147483647    56590     57 |  0.003 % |
20.74/20.82	c |     61757 |     200    17000   119000 | 2147483647    57188     57 |  0.003 % |
21.13/21.21	c |     62412 |     200    17000   119000 | 2147483647    57843     57 |  0.003 % |
21.53/21.65	c |     63132 |     200    17000   119000 | 2147483647    58563     57 |  0.003 % |
22.03/22.14	c |     63926 |     200    17000   119000 | 2147483647    59357     57 |  0.003 % |
22.13/22.21	c |     64026 |     200    17000   119000 | 2147483647    59457     57 |  0.003 % |
22.23/22.32	c |     64137 |     200    17000   119000 | 2147483647    59568     57 |  0.003 % |
22.33/22.41	c |     64260 |     200    17000   119000 | 2147483647    59691     57 |  0.003 % |
22.43/22.52	c |     64393 |     200    17000   119000 | 2147483647    59824     57 |  0.003 % |
22.53/22.62	c |     64539 |     200    17000   119000 | 2147483647    59970     57 |  0.003 % |
22.63/22.76	c |     64699 |     200    17000   119000 | 2147483647    60130     57 |  0.003 % |
22.73/22.89	c |     64876 |     200    17000   119000 | 2147483647    60307     57 |  0.003 % |
22.94/23.03	c |     65069 |     200    17000   119000 | 2147483647    60500     57 |  0.003 % |
23.13/23.20	c |     65281 |     200    17000   119000 | 2147483647    60712     57 |  0.003 % |
23.23/23.40	c |     65514 |     200    17000   119000 | 2147483647    60945     57 |  0.003 % |
23.53/23.60	c |     65772 |     200    17000   119000 | 2147483647    61203     57 |  0.003 % |
23.73/23.83	c |     66053 |     200    17000   119000 | 2147483647    61484     57 |  0.003 % |
23.93/24.06	c |     66362 |     200    17000   119000 | 2147483647    61793     57 |  0.003 % |
24.22/24.31	c |     66703 |     200    17000   119000 | 2147483647    62134     57 |  0.003 % |
24.42/24.54	c |     67075 |     200    17000   119000 | 2147483647    62506     57 |  0.003 % |
24.72/24.85	c |     67486 |     200    17000   119000 | 2147483647    62917     57 |  0.003 % |
25.02/25.19	c |     67935 |     200    17000   119000 | 2147483647    63366     57 |  0.003 % |
25.42/25.54	c |     68428 |     200    17000   119000 | 2147483647    63859     57 |  0.003 % |
25.82/25.94	c |     68970 |     200    17000   119000 | 2147483647    64401     57 |  0.003 % |
26.22/26.37	c |     69566 |     200    17000   119000 | 2147483647    64997     57 |  0.003 % |
26.82/26.93	c |     70221 |     200    17000   119000 | 2147483647    65652     57 |  0.003 % |
27.42/27.54	c |     70941 |     200    17000   119000 | 2147483647    66372     57 |  0.003 % |
28.02/28.15	c |     71734 |     200    17000   119000 | 2147483647    67165     57 |  0.003 % |
28.61/28.77	c |     72606 |     200    17000   119000 | 2147483647    68037     57 |  0.003 % |
28.71/28.84	c |     72707 |     200    17000   119000 | 2147483647    68138     57 |  0.003 % |
28.81/28.94	c |     72819 |     200    17000   119000 | 2147483647    68250     57 |  0.003 % |
28.91/29.03	c |     72940 |     200    17000   119000 | 2147483647    68371     57 |  0.003 % |
29.01/29.15	c |     73073 |     200    17000   119000 | 2147483647    68504     57 |  0.003 % |
29.21/29.31	c |     73219 |     200    17000   119000 | 2147483647    68650     57 |  0.003 % |
29.31/29.45	c |     73380 |     200    17000   119000 | 2147483647    68811     58 |  0.003 % |
29.51/29.62	c |     73558 |     200    17000   119000 | 2147483647    68989     57 |  0.003 % |
29.71/29.81	c |     73752 |     200    17000   119000 | 2147483647    69183     57 |  0.003 % |
29.81/29.98	c |     73964 |     200    17000   119000 | 2147483647    69395     57 |  0.003 % |
30.01/30.18	c |     74197 |     200    17000   119000 | 2147483647    69628     57 |  0.003 % |
30.21/30.39	c |     74453 |     200    17000   119000 | 2147483647    69884     57 |  0.003 % |
30.51/30.62	c |     74734 |     200    17000   119000 | 2147483647    70165     57 |  0.003 % |
30.80/30.90	c |     75043 |     200    17000   119000 | 2147483647    70474     58 |  0.003 % |
31.10/31.23	c |     75382 |     200    17000   119000 | 2147483647    70813     58 |  0.003 % |
31.40/31.53	c |     75755 |     200    17000   119000 | 2147483647    71186     58 |  0.003 % |
31.70/31.90	c |     76165 |     200    17000   119000 | 2147483647    71596     57 |  0.003 % |
32.10/32.25	c |     76615 |     200    17000   119000 | 2147483647    72046     57 |  0.003 % |
32.50/32.62	c |     77109 |     200    17000   119000 | 2147483647    72540     57 |  0.003 % |
32.90/33.04	c |     77652 |     200    17000   119000 | 2147483647    73083     57 |  0.003 % |
33.39/33.51	c |     78248 |     200    17000   119000 | 2147483647    73679     57 |  0.003 % |
33.90/34.01	c |     78903 |     200    17000   119000 | 2147483647    74334     57 |  0.003 % |
34.39/34.55	c |     79624 |     200    17000   119000 | 2147483647    75055     57 |  0.003 % |
35.00/35.17	c |     80416 |     200    17000   119000 |    75433    67556     57 |  0.003 % |
35.59/35.76	c |     81288 |     200    17000   119000 |    75433    68428     57 |  0.003 % |
36.20/36.38	c |     82246 |     200    17000   119000 |    75433    69386     57 |  0.003 % |
36.29/36.45	c |     82346 |     200    17000   119000 |    75433    69486     57 |  0.003 % |
36.39/36.54	c |     82456 |     200    17000   119000 |    75433    69596     57 |  0.003 % |
36.49/36.63	c |     82577 |     200    17000   119000 |    75433    69717     57 |  0.003 % |
36.59/36.78	c |     82711 |     200    17000   119000 |    75433    69851     57 |  0.003 % |
36.79/36.92	c |     82858 |     200    17000   119000 |    75433    69998     57 |  0.003 % |
36.89/37.06	c |     83018 |     200    17000   119000 |    75433    70158     57 |  0.003 % |
37.09/37.24	c |     83196 |     200    17000   119000 |    75433    70336     57 |  0.003 % |
37.30/37.44	c |     83392 |     200    17000   119000 |    75433    70532     58 |  0.003 % |
37.49/37.63	c |     83604 |     200    17000   119000 |    75433    70744     58 |  0.003 % |
37.69/37.83	c |     83837 |     200    17000   119000 |    75433    70977     58 |  0.003 % |
37.89/38.05	c |     84093 |     200    17000   119000 |    75433    71233     58 |  0.003 % |
38.19/38.31	c |     84374 |     200    17000   119000 |    75433    71514     58 |  0.003 % |
38.40/38.59	c |     84685 |     200    17000   119000 |    75433    71825     58 |  0.003 % |
38.69/38.86	c |     85025 |     200    17000   119000 |    75433    72165     58 |  0.003 % |
38.99/39.18	c |     85398 |     200    17000   119000 |    75433    72538     58 |  0.003 % |
39.39/39.53	c |     85807 |     200    17000   119000 |    75433    72947     58 |  0.003 % |
39.79/39.93	c |     86256 |     200    17000   119000 |    75433    73396     58 |  0.003 % |
40.19/40.31	c |     86751 |     200    17000   119000 |    75433    73891     58 |  0.003 % |
40.59/40.70	c |     87293 |     200    17000   119000 |    75433    74433     58 |  0.003 % |
40.99/41.15	c |     87890 |     200    17000   119000 |    75433    75030     58 |  0.003 % |
41.59/41.71	c |     88545 |     200    17000   119000 |    75433    66027     58 |  0.003 % |
42.19/42.32	c |     89265 |     200    17000   119000 |    75433    66747     58 |  0.003 % |
42.79/42.92	c |     90057 |     200    17000   119000 |    67482    67539     58 |  0.003 % |
43.49/43.60	c |     90928 |     200    17000   119000 |    67482    59927     58 |  0.003 % |
44.09/44.27	c |     91886 |     200    17000   119000 |    67482    60885     58 |  0.003 % |
44.79/44.96	c |     92939 |     200    17000   119000 |    67482    61938     58 |  0.003 % |
44.89/45.03	c |     93040 |     200    17000   119000 |    67482    62039     58 |  0.003 % |
44.99/45.12	c |     93150 |     200    17000   119000 |    67482    62149     58 |  0.003 % |
45.09/45.21	c |     93271 |     200    17000   119000 |    67482    62270     58 |  0.003 % |
45.19/45.30	c |     93404 |     200    17000   119000 |    67482    62403     58 |  0.003 % |
45.29/45.40	c |     93550 |     200    17000   119000 |    67482    62549     58 |  0.003 % |
45.40/45.55	c |     93710 |     200    17000   119000 |    67482    62709     58 |  0.003 % |
45.50/45.70	c |     93886 |     200    17000   119000 |    67482    62885     58 |  0.003 % |
45.70/45.84	c |     94079 |     200    17000   119000 |    67482    63078     58 |  0.003 % |
45.90/46.01	c |     94293 |     200    17000   119000 |    67482    63292     58 |  0.003 % |
46.00/46.20	c |     94527 |     200    17000   119000 |    67482    63526     58 |  0.003 % |
46.30/46.42	c |     94786 |     200    17000   119000 |    67482    63785     58 |  0.003 % |
46.50/46.63	c |     95067 |     200    17000   119000 |    67482    64066     58 |  0.003 % |
46.70/46.89	c |     95377 |     200    17000   119000 |    67482    64376     58 |  0.003 % |
47.00/47.13	c |     95716 |     200    17000   119000 |    67482    64715     58 |  0.003 % |
47.20/47.39	c |     96088 |     200    17000   119000 |    67482    65087     58 |  0.003 % |
47.50/47.68	c |     96497 |     200    17000   119000 |    67482    65496     58 |  0.003 % |
47.90/48.02	c |     96947 |     200    17000   119000 |    67482    65946     58 |  0.003 % |
48.20/48.39	c |     97442 |     200    17000   119000 |    67482    66441     58 |  0.003 % |
48.60/48.78	c |     97985 |     200    17000   119000 |    67482    66984     58 |  0.003 % |
49.00/49.18	c |     98582 |     200    17000   119000 |    67482    67581     58 |  0.003 % |
49.60/49.73	c |     99237 |     200    17000   119000 |    67482    61462     58 |  0.003 % |
50.10/50.21	c |     99959 |     200    17000   119000 |    67482    62184     58 |  0.003 % |
50.60/50.72	c |    100751 |     200    17000   119000 | 2147483647    62976     58 |  0.003 % |
51.20/51.31	c |    101624 |     200    17000   119000 | 2147483647    63849     58 |  0.003 % |
51.79/51.92	c |    102582 |     200    17000   119000 | 2147483647    64807     58 |  0.003 % |
52.60/52.71	c |    103635 |     200    17000   119000 | 2147483647    65860     58 |  0.003 % |
53.39/53.53	c |    104793 |     200    17000   119000 | 2147483647    67018     58 |  0.003 % |
53.49/53.61	c |    104893 |     200    17000   119000 | 2147483647    67118     58 |  0.003 % |
53.59/53.71	c |    105005 |     200    17000   119000 | 2147483647    67230     58 |  0.003 % |
53.70/53.83	c |    105128 |     200    17000   119000 | 2147483647    67353     58 |  0.003 % |
53.80/53.93	c |    105261 |     200    17000   119000 | 2147483647    67486     58 |  0.003 % |
53.89/54.05	c |    105408 |     200    17000   119000 | 2147483647    67633     58 |  0.003 % |
53.99/54.16	c |    105570 |     200    17000   119000 | 2147483647    67795     58 |  0.003 % |
54.19/54.34	c |    105746 |     200    17000   119000 | 2147483647    67971     58 |  0.003 % |
54.39/54.52	c |    105939 |     200    17000   119000 | 2147483647    68164     58 |  0.003 % |
54.59/54.71	c |    106151 |     200    17000   119000 | 2147483647    68376     58 |  0.003 % |
54.80/54.91	c |    106386 |     200    17000   119000 | 2147483647    68611     58 |  0.003 % |
54.99/55.11	c |    106643 |     200    17000   119000 | 2147483647    68868     58 |  0.003 % |
55.19/55.31	c |    106926 |     200    17000   119000 | 2147483647    69151     58 |  0.003 % |
55.39/55.54	c |    107238 |     200    17000   119000 | 2147483647    69463     58 |  0.003 % |
55.69/55.80	c |    107578 |     200    17000   119000 | 2147483647    69803     58 |  0.003 % |
56.00/56.11	c |    107950 |     200    17000   119000 | 2147483647    70175     58 |  0.003 % |
56.29/56.46	c |    108359 |     200    17000   119000 | 2147483647    70584     58 |  0.003 % |
56.79/56.90	c |    108808 |     200    17000   119000 | 2147483647    71033     58 |  0.003 % |
57.19/57.31	c |    109302 |     200    17000   119000 | 2147483647    71527     58 |  0.003 % |
57.59/57.74	c |    109844 |     200    17000   119000 | 2147483647    72069     58 |  0.003 % |
58.10/58.23	c |    110441 |     200    17000   119000 |    72226    64664     58 |  0.003 % |
58.49/58.67	c |    111096 |     200    17000   119000 |    72226    65319     58 |  0.003 % |
59.09/59.29	c |    111817 |     200    17000   119000 |    72226    66040     58 |  0.003 % |
59.69/59.88	c |    112611 |     200    17000   119000 |    72226    66834     58 |  0.003 % |
60.29/60.48	c |    113484 |     200    17000   119000 |    72226    67707     58 |  0.003 % |
60.99/61.17	c |    114442 |     200    17000   119000 |    72226    68665     58 |  0.003 % |
61.79/61.91	c |    115495 |     200    17000   119000 |    72226    69718     58 |  0.003 % |
62.59/62.71	c |    116655 |     200    17000   119000 |    72226    70878     58 |  0.003 % |
63.39/63.58	c |    117928 |     200    17000   119000 |    72226    72151     58 |  0.003 % |
63.49/63.65	c |    118028 |     200    17000   119000 |    72226    72251     58 |  0.003 % |
63.69/63.83	c |    118138 |     200    17000   119000 |    72226    64936     58 |  0.003 % |
63.79/63.91	c |    118260 |     200    17000   119000 |    72226    65058     58 |  0.003 % |
63.89/64.02	c |    118394 |     200    17000   119000 |    72226    65192     58 |  0.003 % |
63.99/64.14	c |    118540 |     200    17000   119000 |    72226    65338     58 |  0.003 % |
64.09/64.28	c |    118701 |     200    17000   119000 |    72226    65499     58 |  0.003 % |
64.29/64.43	c |    118877 |     200    17000   119000 |    72226    65675     58 |  0.003 % |
64.49/64.60	c |    119070 |     200    17000   119000 |    72226    65868     58 |  0.003 % |
64.69/64.81	c |    119282 |     200    17000   119000 |    72226    66080     58 |  0.003 % |
64.79/64.99	c |    119516 |     200    17000   119000 |    72226    66314     58 |  0.003 % |
65.09/65.23	c |    119773 |     200    17000   119000 |    72226    66571     58 |  0.003 % |
65.29/65.45	c |    120054 |     200    17000   119000 |    66798    66852     58 |  0.003 % |
65.59/65.72	c |    120366 |     200    17000   119000 |    66798    60026     58 |  0.003 % |
65.79/65.96	c |    120706 |     200    17000   119000 |    66798    60366     58 |  0.003 % |
66.09/66.20	c |    121080 |     200    17000   119000 |    66798    60740     58 |  0.003 % |
66.29/66.50	c |    121489 |     200    17000   119000 |    66798    61149     58 |  0.003 % |
66.68/66.86	c |    121938 |     200    17000   119000 |    66798    61598     58 |  0.003 % |
66.99/67.18	c |    122432 |     200    17000   119000 |    66798    62092     58 |  0.003 % |
67.38/67.54	c |    122975 |     200    17000   119000 |    66798    62635     58 |  0.003 % |
67.78/67.95	c |    123571 |     200    17000   119000 |    66798    63231     58 |  0.003 % |
68.28/68.44	c |    124229 |     200    17000   119000 |    66798    63889     58 |  0.003 % |
68.78/68.94	c |    124949 |     200    17000   119000 |    66798    64609     58 |  0.003 % |
69.38/69.51	c |    125743 |     200    17000   119000 |    66798    65403     58 |  0.003 % |
69.88/70.08	c |    126615 |     200    17000   119000 |    66798    66275     58 |  0.003 % |
70.58/70.74	c |    127574 |     200    17000   119000 |    66798    60546     58 |  0.003 % |
71.28/71.47	c |    128630 |     200    17000   119000 |    66798    61602     58 |  0.003 % |
72.08/72.26	c |    129789 |     200    17000   119000 |    66798    62761     58 |  0.003 % |
72.98/73.10	c |    131063 |     200    17000   119000 | 2147483647    64035     58 |  0.003 % |
73.98/74.19	c |    132465 |     200    17000   119000 | 2147483647    65437     58 |  0.003 % |
74.08/74.27	c |    132565 |     200    17000   119000 | 2147483647    65537     58 |  0.003 % |
74.18/74.36	c |    132676 |     200    17000   119000 | 2147483647    65648     58 |  0.003 % |
74.27/74.46	c |    132797 |     200    17000   119000 | 2147483647    65769     58 |  0.003 % |
74.37/74.56	c |    132930 |     200    17000   119000 | 2147483647    65902     58 |  0.003 % |
74.47/74.67	c |    133076 |     200    17000   119000 | 2147483647    66048     58 |  0.003 % |
74.68/74.82	c |    133236 |     200    17000   119000 | 2147483647    66208     58 |  0.003 % |
74.77/74.96	c |    133413 |     200    17000   119000 | 2147483647    66385     58 |  0.003 % |
74.97/75.11	c |    133606 |     200    17000   119000 | 2147483647    66578     58 |  0.003 % |
75.07/75.26	c |    133820 |     200    17000   119000 | 2147483647    66792     58 |  0.003 % |
75.27/75.44	c |    134054 |     200    17000   119000 | 2147483647    67026     58 |  0.003 % |
75.47/75.66	c |    134313 |     200    17000   119000 | 2147483647    67285     58 |  0.003 % |
75.68/75.87	c |    134594 |     200    17000   119000 | 2147483647    67566     58 |  0.003 % |
75.97/76.16	c |    134904 |     200    17000   119000 | 2147483647    67876     58 |  0.003 % |
76.27/76.44	c |    135244 |     200    17000   119000 | 2147483647    68216     58 |  0.003 % |
76.57/76.74	c |    135616 |     200    17000   119000 | 2147483647    68588     58 |  0.003 % |
76.88/77.06	c |    136025 |     200    17000   119000 | 2147483647    68997     58 |  0.003 % |
77.27/77.45	c |    136476 |     200    17000   119000 | 2147483647    69448     58 |  0.003 % |
77.67/77.83	c |    136970 |     200    17000   119000 | 2147483647    69942     58 |  0.003 % |
78.07/78.24	c |    137512 |     200    17000   119000 | 2147483647    70484     58 |  0.003 % |
78.57/78.78	c |    138112 |     200    17000   119000 | 2147483647    71084     58 |  0.003 % |
79.08/79.25	c |    138767 |     200    17000   119000 | 2147483647    71739     58 |  0.003 % |
79.67/79.80	c |    139488 |     200    17000   119000 | 2147483647    72460     58 |  0.003 % |
80.27/80.47	c |    140280 |     200    17000   119000 |    72973    65036     58 |  0.003 % |
80.77/80.99	c |    141153 |     200    17000   119000 |    72973    65909     58 |  0.003 % |
81.47/81.65	c |    142111 |     200    17000   119000 |    72973    66867     58 |  0.003 % |
82.17/82.38	c |    143164 |     200    17000   119000 |    72973    67920     58 |  0.003 % |
82.97/83.12	c |    144322 |     200    17000   119000 |    72973    69078     58 |  0.003 % |
83.87/84.04	c |    145595 |     200    17000   119000 |    72973    70351     58 |  0.003 % |
85.07/85.29	c |    146997 |     200    17000   119000 |    72973    71753     58 |  0.003 % |
86.47/86.60	c |    148537 |     200    17000   119000 |    72973    65090     58 |  0.003 % |
86.47/86.69	c |    148637 |     200    17000   119000 |    72973    65190     58 |  0.003 % |
86.57/86.78	c |    148748 |     200    17000   119000 |    72973    65301     58 |  0.003 % |
86.67/86.87	c |    148869 |     200    17000   119000 |    72973    65422     58 |  0.003 % |
86.77/86.98	c |    149002 |     200    17000   119000 |    72973    65555     58 |  0.003 % |
86.97/87.12	c |    149148 |     200    17000   119000 |    72973    65701     58 |  0.003 % |
87.07/87.25	c |    149309 |     200    17000   119000 |    72973    65862     58 |  0.003 % |
87.17/87.38	c |    149485 |     200    17000   119000 |    72973    66038     58 |  0.003 % |
87.37/87.53	c |    149680 |     200    17000   119000 |    72973    66233     58 |  0.003 % |
87.47/87.68	c |    149892 |     200    17000   119000 |    72973    66445     58 |  0.003 % |
87.67/87.88	c |    150125 |     200    17000   119000 |    66553    59264     58 |  0.003 % |
87.87/88.05	c |    150381 |     200    17000   119000 |    66553    59520     58 |  0.003 % |
88.07/88.24	c |    150663 |     200    17000   119000 |    66553    59802     58 |  0.003 % |
88.27/88.43	c |    150972 |     200    17000   119000 |    66553    60111     58 |  0.003 % |
88.47/88.67	c |    151312 |     200    17000   119000 |    66553    60451     58 |  0.003 % |
88.77/88.91	c |    151686 |     200    17000   119000 |    66553    60825     58 |  0.003 % |
88.97/89.16	c |    152096 |     200    17000   119000 |    66553    61235     58 |  0.003 % |
89.37/89.53	c |    152548 |     200    17000   119000 |    66553    61687     58 |  0.003 % |
89.77/89.91	c |    153041 |     200    17000   119000 |    66553    62180     58 |  0.003 % |
90.17/90.34	c |    153583 |     200    17000   119000 |    66553    62722     58 |  0.003 % |
90.57/90.79	c |    154179 |     200    17000   119000 |    66553    63318     58 |  0.003 % |
91.07/91.22	c |    154835 |     200    17000   119000 |    66553    63974     58 |  0.003 % |
91.47/91.68	c |    155555 |     200    17000   119000 |    66553    64694     58 |  0.003 % |
92.07/92.30	c |    156347 |     200    17000   119000 |    66553    65486     58 |  0.003 % |
92.77/92.90	c |    157219 |     200    17000   119000 |    66553    66358     58 |  0.003 % |
93.47/93.60	c |    158178 |     200    17000   119000 |    66553    60653     58 |  0.003 % |
94.06/94.28	c |    159232 |     200    17000   119000 |    66553    61707     58 |  0.003 % |
94.86/95.05	c |    160393 |     200    17000   119000 | 2147483647    62868     58 |  0.003 % |
95.66/95.82	c |    161666 |     200    17000   119000 | 2147483647    64141     58 |  0.003 % |
96.46/96.68	c |    163066 |     200    17000   119000 | 2147483647    65541     58 |  0.003 % |
97.77/97.91	c |    164606 |     200    17000   119000 | 2147483647    67081     58 |  0.003 % |
98.96/99.18	c |    166301 |     200    17000   119000 | 2147483647    68776     58 |  0.003 % |
99.06/99.25	c |    166402 |     200    17000   119000 | 2147483647    68877     58 |  0.003 % |
99.16/99.34	c |    166514 |     200    17000   119000 | 2147483647    68989     58 |  0.003 % |
99.26/99.47	c |    166635 |     200    17000   119000 | 2147483647    69110     58 |  0.003 % |
99.36/99.57	c |    166768 |     200    17000   119000 | 2147483647    69243     58 |  0.003 % |
99.46/99.69	c |    166916 |     200    17000   119000 | 2147483647    69391     58 |  0.003 % |
99.66/99.82	c |    167076 |     200    17000   119000 | 2147483647    69551     58 |  0.003 % |
99.76/99.98	c |    167254 |     200    17000   119000 | 2147483647    69729     58 |  0.003 % |
99.97/100.14	c |    167449 |     200    17000   119000 | 2147483647    69924     58 |  0.003 % |
100.16/100.34	c |    167663 |     200    17000   119000 | 2147483647    70138     58 |  0.003 % |
100.36/100.52	c |    167896 |     200    17000   119000 | 2147483647    70371     58 |  0.003 % |
100.56/100.71	c |    168152 |     200    17000   119000 | 2147483647    70627     58 |  0.003 % |
100.76/100.93	c |    168434 |     200    17000   119000 | 2147483647    70909     58 |  0.003 % |
100.97/101.18	c |    168745 |     200    17000   119000 | 2147483647    71220     58 |  0.003 % |
101.26/101.43	c |    169086 |     200    17000   119000 | 2147483647    71561     58 |  0.003 % |
101.56/101.77	c |    169458 |     200    17000   119000 | 2147483647    71933     58 |  0.003 % |
101.96/102.14	c |    169869 |     200    17000   119000 | 2147483647    72344     58 |  0.003 % |
102.36/102.54	c |    170318 |     200    17000   119000 |    72477    65170     58 |  0.003 % |
102.66/102.85	c |    170811 |     200    17000   119000 |    72477    65663     58 |  0.003 % |
103.06/103.20	c |    171353 |     200    17000   119000 |    72477    66205     58 |  0.003 % |
103.46/103.60	c |    171952 |     200    17000   119000 |    72477    66804     58 |  0.003 % |
103.86/104.04	c |    172607 |     200    17000   119000 |    72477    67459     58 |  0.003 % |
104.36/104.53	c |    173327 |     200    17000   119000 |    72477    68179     58 |  0.003 % |
104.86/105.06	c |    174119 |     200    17000   119000 |    72477    68971     58 |  0.003 % |
105.46/105.64	c |    174990 |     200    17000   119000 |    72477    69842     58 |  0.003 % |
106.16/106.30	c |    175948 |     200    17000   119000 |    72477    70800     58 |  0.003 % |
106.86/107.04	c |    177001 |     200    17000   119000 |    72477    71853     58 |  0.003 % |
107.86/108.06	c |    178159 |     200    17000   119000 |    72477    65698     58 |  0.003 % |
108.86/109.04	c |    179434 |     200    17000   119000 |    72477    66973     58 |  0.003 % |
109.86/110.03	c |    180834 |     200    17000   119000 |    67542    61515     58 |  0.003 % |
110.86/111.00	c |    182377 |     200    17000   119000 |    67542    63058     58 |  0.003 % |
111.86/112.06	c |    184071 |     200    17000   119000 |    67542    64752     58 |  0.003 % |
113.25/113.47	c |    185934 |     200    17000   119000 |    67542    66615     58 |  0.003 % |
113.35/113.55	c |    186036 |     200    17000   119000 |    67542    66717     58 |  0.003 % |
113.45/113.66	c |    186147 |     200    17000   119000 |    67542    66828     58 |  0.003 % |
113.55/113.76	c |    186268 |     200    17000   119000 |    67542    66949     58 |  0.003 % |
113.65/113.85	c |    186403 |     200    17000   119000 |    67542    67084     58 |  0.003 % |
113.75/113.97	c |    186549 |     200    17000   119000 |    67542    67230     58 |  0.003 % |
113.95/114.14	c |    186710 |     200    17000   119000 |    67542    67391     58 |  0.003 % |
114.15/114.31	c |    186886 |     200    17000   119000 |    67542    67567     58 |  0.003 % |
114.35/114.50	c |    187079 |     200    17000   119000 |    67542    61004     58 |  0.003 % |
114.45/114.68	c |    187292 |     200    17000   119000 |    67542    61217     58 |  0.003 % |
114.65/114.84	c |    187525 |     200    17000   119000 |    67542    61450     58 |  0.003 % |
114.85/115.02	c |    187781 |     200    17000   119000 |    67542    61706     58 |  0.003 % |
115.05/115.22	c |    188064 |     200    17000   119000 |    67542    61989     58 |  0.003 % |
115.25/115.46	c |    188373 |     200    17000   119000 |    67542    62298     58 |  0.003 % |
115.55/115.71	c |    188712 |     200    17000   119000 |    67542    62637     58 |  0.003 % |
115.75/115.98	c |    189084 |     200    17000   119000 |    67542    63009     58 |  0.003 % |
116.15/116.33	c |    189494 |     200    17000   119000 |    67542    63419     58 |  0.003 % |
116.45/116.65	c |    189944 |     200    17000   119000 |    67542    63869     58 |  0.003 % |
116.75/116.98	c |    190437 |     200    17000   119000 | 2147483647    64362     58 |  0.003 % |
117.15/117.32	c |    190980 |     200    17000   119000 | 2147483647    64905     58 |  0.003 % |
117.45/117.70	c |    191578 |     200    17000   119000 | 2147483647    65503     58 |  0.003 % |
118.05/118.27	c |    192234 |     200    17000   119000 | 2147483647    66159     58 |  0.003 % |
118.65/118.80	c |    192954 |     200    17000   119000 | 2147483647    66879     58 |  0.003 % |
119.15/119.34	c |    193748 |     200    17000   119000 | 2147483647    67673     58 |  0.003 % |
119.75/119.96	c |    194621 |     200    17000   119000 | 2147483647    68546     58 |  0.003 % |
120.45/120.65	c |    195581 |     200    17000   119000 | 2147483647    69506     58 |  0.003 % |
121.35/121.52	c |    196634 |     200    17000   119000 | 2147483647    70559     58 |  0.003 % |
122.15/122.35	c |    197794 |     200    17000   119000 | 2147483647    71719     58 |  0.003 % |
123.14/123.31	c |    199067 |     200    17000   119000 | 2147483647    72992     58 |  0.003 % |
124.15/124.37	c |    200468 |     200    17000   119000 |    73925    66291     58 |  0.003 % |
125.25/125.41	c |    202009 |     200    17000   119000 |    73925    67832     58 |  0.003 % |
126.44/126.70	c |    203703 |     200    17000   119000 |    73925    69526     58 |  0.003 % |
127.94/128.11	c |    205566 |     200    17000   119000 |    73925    71389     58 |  0.003 % |
129.44/129.64	c |    207615 |     200    17000   119000 |    73925    73438     58 |  0.003 % |
129.55/129.72	c |    207715 |     200    17000   119000 |    73925    73538     58 |  0.003 % |
129.65/129.81	c |    207825 |     200    17000   119000 |    73925    73648     58 |  0.003 % |
129.74/129.91	c |    207947 |     200    17000   119000 |    73925    73770     58 |  0.003 % |
129.84/130.02	c |    208081 |     200    17000   119000 |    73925    73904     58 |  0.003 % |
130.04/130.23	c |    208227 |     200    17000   119000 |    73925    65199     58 |  0.003 % |
130.14/130.36	c |    208387 |     200    17000   119000 |    73925    65359     58 |  0.003 % |
130.34/130.51	c |    208564 |     200    17000   119000 |    73925    65536     58 |  0.003 % |
130.44/130.67	c |    208757 |     200    17000   119000 |    73925    65729     58 |  0.003 % |
130.64/130.84	c |    208969 |     200    17000   119000 |    73925    65941     58 |  0.003 % |
130.84/131.02	c |    209204 |     200    17000   119000 |    73925    66176     58 |  0.003 % |
131.04/131.21	c |    209460 |     200    17000   119000 |    73925    66432     58 |  0.003 % |
131.24/131.42	c |    209741 |     200    17000   119000 |    73925    66713     58 |  0.003 % |
131.44/131.63	c |    210050 |     200    17000   119000 |    66972    67022     58 |  0.003 % |
131.74/131.97	c |    210389 |     200    17000   119000 |    66972    59472     58 |  0.003 % |
132.04/132.24	c |    210761 |     200    17000   119000 |    66972    59844     58 |  0.003 % |
132.34/132.53	c |    211171 |     200    17000   119000 |    66972    60254     58 |  0.003 % |
132.64/132.82	c |    211620 |     200    17000   119000 |    66972    60703     58 |  0.003 % |
132.94/133.13	c |    212113 |     200    17000   119000 |    66972    61196     58 |  0.003 % |
133.24/133.47	c |    212655 |     200    17000   119000 |    66972    61738     58 |  0.003 % |
133.64/133.85	c |    213251 |     200    17000   119000 |    66972    62334     58 |  0.003 % |
134.04/134.25	c |    213909 |     200    17000   119000 |    66972    62992     58 |  0.003 % |
134.54/134.72	c |    214631 |     200    17000   119000 |    66972    63714     58 |  0.003 % |
135.04/135.23	c |    215423 |     200    17000   119000 |    66972    64506     58 |  0.003 % |
135.64/135.84	c |    216294 |     200    17000   119000 |    66972    65377     58 |  0.003 % |
136.24/136.46	c |    217252 |     200    17000   119000 |    66972    66335     58 |  0.003 % |
136.94/137.18	c |    218305 |     200    17000   119000 |    66972    60683     58 |  0.003 % |
137.74/137.93	c |    219463 |     200    17000   119000 |    66972    61841     58 |  0.003 % |
138.54/138.72	c |    220737 |     200    17000   119000 | 2147483647    63115     58 |  0.003 % |
139.34/139.60	c |    222138 |     200    17000   119000 | 2147483647    64516     58 |  0.003 % |
140.34/140.58	c |    223680 |     200    17000   119000 | 2147483647    66058     58 |  0.003 % |
141.54/141.70	c |    225374 |     200    17000   119000 | 2147483647    67752     58 |  0.003 % |
142.74/142.96	c |    227237 |     200    17000   119000 | 2147483647    69615     58 |  0.003 % |
144.14/144.38	c |    229286 |     200    17000   119000 | 2147483647    71664     58 |  0.003 % |
145.73/145.91	c |    231539 |     200    17000   119000 | 2147483647    73917     58 |  0.003 % |
145.83/146.02	c |    231639 |     200    17000   119000 | 2147483647    74017     58 |  0.003 % |
145.93/146.13	c |    231749 |     200    17000   119000 | 2147483647    74127     58 |  0.003 % |
146.04/146.25	c |    231871 |     200    17000   119000 | 2147483647    74249     58 |  0.003 % |
146.14/146.37	c |    232005 |     200    17000   119000 | 2147483647    74383     58 |  0.003 % |
146.33/146.53	c |    232151 |     200    17000   119000 | 2147483647    74529     58 |  0.003 % |
146.43/146.67	c |    232311 |     200    17000   119000 | 2147483647    74689     58 |  0.003 % |
146.63/146.83	c |    232487 |     200    17000   119000 | 2147483647    74865     58 |  0.003 % |
146.73/146.98	c |    232680 |     200    17000   119000 | 2147483647    75058     58 |  0.003 % |
146.93/147.17	c |    232892 |     200    17000   119000 | 2147483647    75270     58 |  0.003 % |
147.14/147.35	c |    233126 |     200    17000   119000 | 2147483647    75504     58 |  0.003 % |
147.33/147.54	c |    233382 |     200    17000   119000 | 2147483647    75760     58 |  0.003 % |
147.53/147.75	c |    233663 |     200    17000   119000 | 2147483647    76041     58 |  0.003 % |
147.83/148.00	c |    233972 |     200    17000   119000 | 2147483647    76350     58 |  0.003 % |
148.03/148.26	c |    234313 |     200    17000   119000 | 2147483647    76691     58 |  0.003 % |
148.34/148.53	c |    234685 |     200    17000   119000 | 2147483647    77063     58 |  0.003 % |
148.63/148.84	c |    235095 |     200    17000   119000 | 2147483647    77473     58 |  0.003 % |
149.13/149.30	c |    235544 |     200    17000   119000 | 2147483647    77922     58 |  0.003 % |
149.64/149.82	c |    236037 |     200    17000   119000 | 2147483647    78415     58 |  0.003 % |
150.04/150.29	c |    236579 |     200    17000   119000 | 2147483647    78957     58 |  0.003 % |
150.64/150.82	c |    237175 |     200    17000   119000 | 2147483647    79553     58 |  0.003 % |
151.14/151.37	c |    237830 |     200    17000   119000 | 2147483647    80208     58 |  0.003 % |
151.74/151.99	c |    238551 |     200    17000   119000 | 2147483647    80929     58 |  0.003 % |
152.53/152.74	c |    239346 |     200    17000   119000 | 2147483647    81724     58 |  0.003 % |
153.43/153.60	c |    240218 |     200    17000   119000 |    82378    70787     58 |  0.003 % |
154.13/154.31	c |    241176 |     200    17000   119000 |    82378    71745     58 |  0.003 % |
154.84/155.07	c |    242229 |     200    17000   119000 |    82378    72798     58 |  0.003 % |
155.73/155.93	c |    243387 |     200    17000   119000 |    82378    73956     58 |  0.003 % |
156.63/156.84	c |    244660 |     200    17000   119000 |    82378    75229     58 |  0.003 % |
157.73/157.90	c |    246060 |     200    17000   119000 |    82378    76629     58 |  0.003 % |
159.12/159.38	c |    247603 |     200    17000   119000 |    82378    78172     58 |  0.003 % |
160.72/160.95	c |    249300 |     200    17000   119000 |    82378    79869     58 |  0.003 % |
162.32/162.52	c |    251164 |     200    17000   119000 |    80569    69916     58 |  0.003 % |
163.82/164.03	c |    253214 |     200    17000   119000 |    80569    71966     58 |  0.003 % |
165.62/165.81	c |    255467 |     200    17000   119000 |    80569    74219     58 |  0.003 % |
167.32/167.56	c |    257945 |     200    17000   119000 |    80569    76697     58 |  0.003 % |
167.42/167.64	c |    258046 |     200    17000   119000 |    80569    76798     58 |  0.003 % |
167.52/167.76	c |    258156 |     200    17000   119000 |    80569    76908     58 |  0.003 % |
167.62/167.90	c |    258278 |     200    17000   119000 |    80569    77030     58 |  0.003 % |
167.82/168.01	c |    258412 |     200    17000   119000 |    80569    77164     58 |  0.003 % |
167.92/168.14	c |    258558 |     200    17000   119000 |    80569    77310     58 |  0.003 % |
168.12/168.32	c |    258718 |     200    17000   119000 |    80569    77470     58 |  0.003 % |
168.32/168.51	c |    258896 |     200    17000   119000 |    80569    77648     58 |  0.003 % |
168.42/168.69	c |    259092 |     200    17000   119000 |    80569    77844     58 |  0.003 % |
168.72/168.92	c |    259306 |     200    17000   119000 |    80569    78058     58 |  0.003 % |
168.92/169.15	c |    259539 |     200    17000   119000 |    80569    78291     58 |  0.003 % |
169.22/169.41	c |    259795 |     200    17000   119000 |    80569    78547     58 |  0.003 % |
169.42/169.68	c |    260076 |     200    17000   119000 |    78753    78828     58 |  0.003 % |
169.82/170.00	c |    260385 |     200    17000   119000 |    78753    68359     58 |  0.003 % |
170.01/170.26	c |    260725 |     200    17000   119000 |    78753    68699     58 |  0.003 % |
170.32/170.54	c |    261099 |     200    17000   119000 |    78753    69073     58 |  0.003 % |
170.61/170.88	c |    261509 |     200    17000   119000 |    78753    69483     58 |  0.003 % |
171.11/171.33	c |    261958 |     200    17000   119000 |    78753    69932     58 |  0.003 % |
171.51/171.74	c |    262451 |     200    17000   119000 |    78753    70425     58 |  0.003 % |
172.01/172.21	c |    262993 |     200    17000   119000 |    78753    70967     58 |  0.003 % |
172.52/172.74	c |    263589 |     200    17000   119000 |    78753    71563     58 |  0.003 % |
173.01/173.28	c |    264245 |     200    17000   119000 |    78753    72219     58 |  0.003 % |
173.62/173.85	c |    264966 |     200    17000   119000 |    78753    72940     58 |  0.003 % |
174.31/174.51	c |    265758 |     200    17000   119000 |    78753    73732     58 |  0.003 % |
175.01/175.24	c |    266630 |     200    17000   119000 |    78753    74604     58 |  0.003 % |
175.82/176.05	c |    267590 |     200    17000   119000 |    78753    75564     58 |  0.003 % |
176.82/177.06	c |    268645 |     200    17000   119000 |    78753    76619     58 |  0.003 % |
177.91/178.15	c |    269803 |     200    17000   119000 |    78753    77777     58 |  0.003 % |
179.01/179.21	c |    271077 |     200    17000   119000 |    77978    67390     58 |  0.003 % |
180.11/180.33	c |    272479 |     200    17000   119000 |    77978    68792     58 |  0.003 % |
181.31/181.52	c |    274020 |     200    17000   119000 |    77978    70333     58 |  0.003 % |
182.61/182.85	c |    275715 |     200    17000   119000 |    77978    72028     58 |  0.003 % |
184.01/184.20	c |    277578 |     200    17000   119000 |    77978    73891     58 |  0.003 % |
185.51/185.77	c |    279628 |     200    17000   119000 |    77978    75941     58 |  0.003 % |
187.11/187.36	c |    281881 |     200    17000   119000 |    76313    67869     58 |  0.003 % |
188.81/189.00	c |    284359 |     200    17000   119000 |    76313    70347     58 |  0.003 % |
190.70/190.97	c |    287084 |     200    17000   119000 |    76313    73072     58 |  0.003 % |
190.80/191.07	c |    287184 |     200    17000   119000 |    76313    73172     58 |  0.003 % |
190.90/191.17	c |    287296 |     200    17000   119000 |    76313    73284     58 |  0.003 % |
191.00/191.29	c |    287417 |     200    17000   119000 |    76313    73405     58 |  0.003 % |
191.21/191.42	c |    287550 |     200    17000   119000 |    76313    73538     58 |  0.003 % |
191.30/191.58	c |    287697 |     200    17000   119000 |    76313    73685     58 |  0.003 % |
191.50/191.73	c |    287857 |     200    17000   119000 |    76313    73845     58 |  0.003 % |
191.60/191.89	c |    288033 |     200    17000   119000 |    76313    74021     58 |  0.003 % |
191.80/192.08	c |    288227 |     200    17000   119000 |    76313    74215     58 |  0.003 % |
192.00/192.30	c |    288441 |     200    17000   119000 |    76313    74429     58 |  0.003 % |
192.20/192.49	c |    288676 |     200    17000   119000 |    76313    74664     58 |  0.003 % |
192.50/192.73	c |    288932 |     200    17000   119000 |    76313    74920     58 |  0.003 % |
192.70/192.97	c |    289213 |     200    17000   119000 |    76313    75201     58 |  0.003 % |
193.00/193.22	c |    289522 |     200    17000   119000 |    76313    75510     58 |  0.003 % |
193.30/193.58	c |    289861 |     200    17000   119000 |    76313    75849     58 |  0.003 % |
193.70/193.98	c |    290233 |     200    17000   119000 |    75989    66539     59 |  0.003 % |
194.10/194.35	c |    290642 |     200    17000   119000 |    75989    66948     59 |  0.003 % |
194.40/194.67	c |    291092 |     200    17000   119000 |    75989    67398     59 |  0.003 % |
194.90/195.12	c |    291585 |     200    17000   119000 |    75989    67891     59 |  0.003 % |
195.30/195.58	c |    292129 |     200    17000   119000 |    75989    68435     59 |  0.003 % |
195.80/196.05	c |    292725 |     200    17000   119000 |    75989    69031     58 |  0.003 % |
196.30/196.52	c |    293380 |     200    17000   119000 |    75989    69686     59 |  0.003 % |
196.81/197.05	c |    294102 |     200    17000   119000 |    75989    70408     59 |  0.003 % |
197.40/197.61	c |    294895 |     200    17000   119000 |    75989    71201     59 |  0.003 % |
198.00/198.23	c |    295766 |     200    17000   119000 |    75989    72072     59 |  0.003 % |
198.70/198.90	c |    296726 |     200    17000   119000 |    75989    73032     59 |  0.003 % |
199.40/199.61	c |    297779 |     200    17000   119000 |    75989    74085     59 |  0.003 % |
200.10/200.37	c |    298939 |     200    17000   119000 |    75989    75245     59 |  0.003 % |
201.11/201.36	c |    300212 |     200    17000   119000 |    66974    59044     59 |  0.003 % |
202.00/202.21	c |    301612 |     200    17000   119000 |    66974    60444     59 |  0.003 % |
202.90/203.13	c |    303154 |     200    17000   119000 |    66974    61986     59 |  0.003 % |
203.90/204.19	c |    304849 |     200    17000   119000 |    66974    63681     59 |  0.003 % |
205.09/205.35	c |    306712 |     200    17000   119000 |    66974    65544     59 |  0.003 % |
206.29/206.58	c |    308761 |     200    17000   119000 |    66974    60887     59 |  0.003 % |
207.49/207.78	c |    311014 |     200    17000   119000 | 2147483647    63140     59 |  0.003 % |
209.19/209.45	c |    313493 |     200    17000   119000 | 2147483647    65619     59 |  0.003 % |
211.00/211.24	c |    316219 |     200    17000   119000 | 2147483647    68345     59 |  0.003 % |
212.99/213.21	c |    319217 |     200    17000   119000 | 2147483647    71343     59 |  0.003 % |
212.99/213.28	c |    319317 |     200    17000   119000 | 2147483647    71443     59 |  0.003 % |
213.10/213.36	c |    319428 |     200    17000   119000 | 2147483647    71554     59 |  0.003 % |
213.20/213.46	c |    319549 |     200    17000   119000 | 2147483647    71675     59 |  0.003 % |
213.39/213.60	c |    319682 |     200    17000   119000 | 2147483647    71808     59 |  0.003 % |
213.49/213.74	c |    319828 |     200    17000   119000 | 2147483647    71954     59 |  0.003 % |
213.59/213.88	c |    319991 |     200    17000   119000 | 2147483647    72117     59 |  0.003 % |
213.79/214.02	c |    320167 |     200    17000   119000 | 2147483647    72293     59 |  0.003 % |
213.89/214.19	c |    320362 |     200    17000   119000 | 2147483647    72488     59 |  0.003 % |
214.09/214.35	c |    320575 |     200    17000   119000 | 2147483647    72701     59 |  0.003 % |
214.30/214.58	c |    320808 |     200    17000   119000 | 2147483647    72934     59 |  0.003 % |
214.59/214.81	c |    321064 |     200    17000   119000 | 2147483647    73190     59 |  0.003 % |
214.79/215.06	c |    321346 |     200    17000   119000 | 2147483647    73472     59 |  0.003 % |
215.09/215.33	c |    321655 |     200    17000   119000 | 2147483647    73781     59 |  0.003 % |
215.40/215.61	c |    321994 |     200    17000   119000 | 2147483647    74120     59 |  0.003 % |
215.69/215.93	c |    322366 |     200    17000   119000 | 2147483647    74492     59 |  0.003 % |
215.99/216.25	c |    322775 |     200    17000   119000 | 2147483647    74901     59 |  0.003 % |
216.40/216.62	c |    323226 |     200    17000   119000 | 2147483647    75352     59 |  0.003 % |
216.69/216.99	c |    323719 |     200    17000   119000 | 2147483647    75845     59 |  0.003 % |
217.19/217.42	c |    324263 |     200    17000   119000 | 2147483647    76389     59 |  0.003 % |
217.59/217.90	c |    324859 |     200    17000   119000 | 2147483647    76985     59 |  0.003 % |
218.09/218.39	c |    325514 |     200    17000   119000 | 2147483647    77640     59 |  0.003 % |
218.79/219.10	c |    326234 |     200    17000   119000 | 2147483647    78360     59 |  0.003 % |
219.49/219.79	c |    327028 |     200    17000   119000 | 2147483647    79154     59 |  0.003 % |
220.29/220.59	c |    327899 |     200    17000   119000 | 2147483647    80025     59 |  0.003 % |
221.08/221.37	c |    328857 |     200    17000   119000 | 2147483647    80983     59 |  0.003 % |
221.98/222.29	c |    329911 |     200    17000   119000 | 2147483647    82037     59 |  0.003 % |
222.98/223.22	c |    331070 |     200    17000   119000 |    82127    71808     59 |  0.003 % |
223.98/224.25	c |    332344 |     200    17000   119000 |    82127    73082     59 |  0.003 % |
225.08/225.37	c |    333745 |     200    17000   119000 |    82127    74483     59 |  0.003 % |
226.28/226.57	c |    335287 |     200    17000   119000 |    82127    76025     59 |  0.003 % |
227.66/227.95	c |    336981 |     200    17000   119000 |    82127    77719     59 |  0.003 % |
229.06/229.38	c |    338845 |     200    17000   119000 |    82127    79583     59 |  0.003 % |
230.77/231.01	c |    340894 |     200    17000   119000 |    80741    70910     59 |  0.003 % |
232.26/232.55	c |    343147 |     200    17000   119000 |    80741    73163     59 |  0.003 % |
234.06/234.37	c |    345626 |     200    17000   119000 |    80741    75642     59 |  0.003 % |
236.16/236.45	c |    348353 |     200    17000   119000 |    80741    78369     59 |  0.003 % |
238.36/238.65	c |    351351 |     200    17000   119000 |    80020    71933     59 |  0.003 % |
240.76/241.06	c |    354647 |     200    17000   119000 |    80020    75229     59 |  0.003 % |
240.86/241.14	c |    354747 |     200    17000   119000 |    80020    75329     59 |  0.003 % |
240.96/241.25	c |    354858 |     200    17000   119000 |    80020    75440     59 |  0.003 % |
241.06/241.36	c |    354980 |     200    17000   119000 |    80020    75562     59 |  0.003 % |
241.16/241.49	c |    355114 |     200    17000   119000 |    80020    75696     59 |  0.003 % |
241.36/241.61	c |    355262 |     200    17000   119000 |    80020    75844     59 |  0.003 % |
241.46/241.73	c |    355425 |     200    17000   119000 |    80020    76007     59 |  0.003 % |
241.56/241.86	c |    355601 |     200    17000   119000 |    80020    76183     59 |  0.003 % |
241.76/242.03	c |    355794 |     200    17000   119000 |    80020    76376     59 |  0.003 % |
241.86/242.19	c |    356008 |     200    17000   119000 |    80020    76590     59 |  0.003 % |
242.16/242.43	c |    356242 |     200    17000   119000 |    80020    76824     59 |  0.003 % |
242.36/242.65	c |    356498 |     200    17000   119000 |    80020    77080     59 |  0.003 % |
242.56/242.89	c |    356779 |     200    17000   119000 |    80020    77361     59 |  0.003 % |
242.86/243.18	c |    357088 |     200    17000   119000 |    80020    77670     59 |  0.003 % |
243.15/243.50	c |    357427 |     200    17000   119000 |    80020    78009     59 |  0.003 % |
243.55/243.80	c |    357799 |     200    17000   119000 |    80020    78381     59 |  0.003 % |
243.86/244.15	c |    358209 |     200    17000   119000 |    80020    78791     59 |  0.003 % |
244.25/244.51	c |    358659 |     200    17000   119000 |    80020    79241     59 |  0.003 % |
244.65/244.90	c |    359152 |     200    17000   119000 |    80020    79734     59 |  0.003 % |
245.06/245.37	c |    359696 |     200    17000   119000 |    80020    69859     59 |  0.003 % |
245.55/245.84	c |    360293 |     200    17000   119000 |    70164    61448     59 |  0.003 % |
245.95/246.30	c |    360948 |     200    17000   119000 |    70164    62103     59 |  0.003 % |
246.45/246.74	c |    361668 |     200    17000   119000 |    70164    62823     59 |  0.003 % |
246.95/247.24	c |    362460 |     200    17000   119000 |    70164    63615     59 |  0.003 % |
247.45/247.78	c |    363332 |     200    17000   119000 |    70164    64487     59 |  0.003 % |
248.05/248.38	c |    364290 |     200    17000   119000 |    70164    65445     59 |  0.003 % |
248.75/249.09	c |    365344 |     200    17000   119000 |    70164    66499     59 |  0.003 % |
249.65/249.92	c |    366502 |     200    17000   119000 |    70164    67657     59 |  0.003 % |
250.55/250.88	c |    367775 |     200    17000   119000 |    70164    68930     59 |  0.003 % |
251.65/251.96	c |    369177 |     200    17000   119000 |    70164    63307     59 |  0.003 % |
252.55/252.90	c |    370717 |     200    17000   119000 | 2147483647    64847     59 |  0.003 % |
253.75/254.06	c |    372411 |     200    17000   119000 | 2147483647    66541     59 |  0.003 % |
255.05/255.31	c |    374275 |     200    17000   119000 | 2147483647    68405     59 |  0.003 % |
256.35/256.68	c |    376325 |     200    17000   119000 | 2147483647    70455     59 |  0.003 % |
258.15/258.40	c |    378578 |     200    17000   119000 | 2147483647    72708     59 |  0.003 % |
260.14/260.46	c |    381056 |     200    17000   119000 | 2147483647    75186     59 |  0.003 % |
262.44/262.74	c |    383782 |     200    17000   119000 | 2147483647    77912     59 |  0.003 % |
264.94/265.26	c |    386780 |     200    17000   119000 | 2147483647    80910     59 |  0.003 % |
267.94/268.21	c |    390077 |     200    17000   119000 |    84132    84207     59 |  0.003 % |
270.74/271.04	c |    393703 |     200    17000   119000 |    84132    75647     58 |  0.003 % |
270.84/271.13	c |    393803 |     200    17000   119000 |    84132    75747     58 |  0.003 % |
270.94/271.23	c |    393914 |     200    17000   119000 |    84132    75858     58 |  0.003 % |
271.04/271.33	c |    394036 |     200    17000   119000 |    84132    75980     58 |  0.003 % |
271.14/271.46	c |    394169 |     200    17000   119000 |    84132    76113     58 |  0.003 % |
271.24/271.59	c |    394315 |     200    17000   119000 |    84132    76259     58 |  0.003 % |
271.45/271.74	c |    394476 |     200    17000   119000 |    84132    76420     58 |  0.003 % |
271.54/271.88	c |    394652 |     200    17000   119000 |    84132    76596     58 |  0.003 % |
271.74/272.04	c |    394846 |     200    17000   119000 |    84132    76790     58 |  0.003 % |
271.94/272.24	c |    395058 |     200    17000   119000 |    84132    77002     58 |  0.003 % |
272.14/272.47	c |    395291 |     200    17000   119000 |    84132    77235     58 |  0.003 % |
272.44/272.70	c |    395548 |     200    17000   119000 |    84132    77492     58 |  0.003 % |
272.74/273.00	c |    395829 |     200    17000   119000 |    84132    77773     58 |  0.003 % |
272.94/273.29	c |    396138 |     200    17000   119000 |    84132    78082     58 |  0.003 % |
273.24/273.56	c |    396478 |     200    17000   119000 |    84132    78422     58 |  0.003 % |
273.54/273.85	c |    396853 |     200    17000   119000 |    84132    78797     58 |  0.003 % |
273.84/274.18	c |    397264 |     200    17000   119000 |    84132    79208     58 |  0.003 % |
274.24/274.58	c |    397713 |     200    17000   119000 |    84132    79657     58 |  0.003 % |
274.74/275.00	c |    398208 |     200    17000   119000 |    84132    80152     58 |  0.003 % |
275.14/275.44	c |    398750 |     200    17000   119000 |    84132    80694     58 |  0.003 % |
275.64/275.96	c |    399347 |     200    17000   119000 |    84132    81291     58 |  0.003 % |
276.24/276.55	c |    400002 |     200    17000   119000 |    81944    81946     58 |  0.003 % |
276.94/277.25	c |    400722 |     200    17000   119000 |    81944    70230     58 |  0.003 % |
277.64/277.90	c |    401514 |     200    17000   119000 |    81944    71022     58 |  0.003 % |
278.34/278.60	c |    402385 |     200    17000   119000 |    81944    71893     58 |  0.003 % |
279.04/279.37	c |    403345 |     200    17000   119000 |    81944    72853     58 |  0.003 % |
279.84/280.19	c |    404398 |     200    17000   119000 |    81944    73906     58 |  0.003 % |
280.74/281.07	c |    405556 |     200    17000   119000 |    81944    75064     58 |  0.003 % |
281.94/282.22	c |    406829 |     200    17000   119000 |    81944    76337     58 |  0.003 % |
283.14/283.40	c |    408230 |     200    17000   119000 |    81944    77738     58 |  0.003 % |
284.34/284.61	c |    409770 |     200    17000   119000 |    81944    79278     58 |  0.003 % |
285.54/285.87	c |    411464 |     200    17000   119000 |    79509    69255     58 |  0.003 % |
286.84/287.13	c |    413327 |     200    17000   119000 |    79509    71118     58 |  0.003 % |
288.24/288.51	c |    415377 |     200    17000   119000 |    79509    73168     58 |  0.003 % |
289.83/290.14	c |    417632 |     200    17000   119000 |    79509    75423     58 |  0.003 % |
291.73/292.09	c |    420110 |     200    17000   119000 |    77791    68815     58 |  0.003 % |
293.73/294.04	c |    422835 |     200    17000   119000 |    77791    71540     58 |  0.003 % |
295.92/296.25	c |    425833 |     200    17000   119000 |    77791    74538     58 |  0.003 % |
298.42/298.73	c |    429129 |     200    17000   119000 |    77791    77834     58 |  0.003 % |
301.02/301.33	c |    432754 |     200    17000   119000 |    70242    65353     58 |  0.003 % |
303.92/304.25	c |    436741 |     200    17000   119000 |    70242    69340     58 |  0.003 % |
304.02/304.33	c |    436841 |     200    17000   119000 |    70242    69440     58 |  0.003 % |
304.12/304.43	c |    436953 |     200    17000   119000 |    70242    69552     58 |  0.003 % |
304.22/304.53	c |    437074 |     200    17000   119000 |    70242    69673     58 |  0.003 % |
304.32/304.66	c |    437208 |     200    17000   119000 |    70242    69807     58 |  0.003 % |
304.42/304.79	c |    437354 |     200    17000   119000 |    70242    69953     58 |  0.003 % |
304.62/304.94	c |    437514 |     200    17000   119000 |    70242    70113     58 |  0.003 % |
304.82/305.11	c |    437690 |     200    17000   119000 |    70242    70289     58 |  0.003 % |
305.02/305.30	c |    437884 |     200    17000   119000 |    70242    63455     58 |  0.003 % |
305.12/305.46	c |    438096 |     200    17000   119000 |    70242    63667     58 |  0.003 % |
305.32/305.63	c |    438329 |     200    17000   119000 |    70242    63900     58 |  0.003 % |
305.52/305.82	c |    438586 |     200    17000   119000 |    70242    64157     58 |  0.003 % |
305.72/306.02	c |    438867 |     200    17000   119000 |    70242    64438     58 |  0.003 % |
305.92/306.25	c |    439176 |     200    17000   119000 |    70242    64747     58 |  0.003 % |
306.12/306.48	c |    439516 |     200    17000   119000 |    70242    65087     58 |  0.003 % |
306.41/306.79	c |    439888 |     200    17000   119000 |    70242    65459     58 |  0.003 % |
306.71/307.09	c |    440297 |     200    17000   119000 | 2147483647    65868     58 |  0.003 % |
307.11/307.40	c |    440746 |     200    17000   119000 | 2147483647    66317     58 |  0.003 % |
307.41/307.71	c |    441239 |     200    17000   119000 | 2147483647    66810     58 |  0.003 % |
307.72/308.08	c |    441784 |     200    17000   119000 | 2147483647    67355     58 |  0.003 % |
308.21/308.52	c |    442381 |     200    17000   119000 | 2147483647    67952     58 |  0.003 % |
308.61/308.99	c |    443037 |     200    17000   119000 | 2147483647    68608     58 |  0.003 % |
309.31/309.61	c |    443757 |     200    17000   119000 | 2147483647    69328     58 |  0.003 % |
309.92/310.24	c |    444550 |     200    17000   119000 | 2147483647    70121     58 |  0.003 % |
310.61/310.94	c |    445422 |     200    17000   119000 | 2147483647    70993     58 |  0.003 % |
311.31/311.68	c |    446380 |     200    17000   119000 | 2147483647    71951     58 |  0.003 % |
312.21/312.51	c |    447433 |     200    17000   119000 | 2147483647    73004     58 |  0.003 % |
313.12/313.46	c |    448593 |     200    17000   119000 | 2147483647    74164     58 |  0.003 % |
314.11/314.48	c |    449866 |     200    17000   119000 | 2147483647    75437     58 |  0.003 % |
315.11/315.46	c |    451266 |     200    17000   119000 |    75572    68017     58 |  0.003 % |
316.11/316.44	c |    452806 |     200    17000   119000 |    75572    69557     58 |  0.003 % |
317.21/317.52	c |    454500 |     200    17000   119000 |    75572    71251     58 |  0.003 % |
318.81/319.11	c |    456363 |     200    17000   119000 |    75572    73114     58 |  0.003 % |
320.31/320.63	c |    458413 |     200    17000   119000 |    75572    75164     58 |  0.003 % |
321.81/322.18	c |    460668 |     200    17000   119000 |    68331    61582     58 |  0.003 % |
323.21/323.58	c |    463148 |     200    17000   119000 |    68331    64062     58 |  0.003 % |
324.81/325.19	c |    465874 |     200    17000   119000 |    68331    66788     58 |  0.003 % |
326.71/327.03	c |    468872 |     200    17000   119000 |    68331    62944     58 |  0.003 % |
328.71/329.02	c |    472168 |     200    17000   119000 | 2147483647    66240     58 |  0.003 % |
330.91/331.22	c |    475794 |     200    17000   119000 | 2147483647    69866     58 |  0.003 % |
333.60/333.93	c |    479781 |     200    17000   119000 | 2147483647    73853     58 |  0.003 % |
336.90/337.23	c |    484167 |     200    17000   119000 | 2147483647    78239     58 |  0.003 % |
337.00/337.31	c |    484267 |     200    17000   119000 | 2147483647    78339     58 |  0.003 % |
337.00/337.39	c |    484379 |     200    17000   119000 | 2147483647    78451     58 |  0.003 % |
337.10/337.48	c |    484500 |     200    17000   119000 | 2147483647    78572     58 |  0.003 % |
337.31/337.63	c |    484633 |     200    17000   119000 | 2147483647    78705     58 |  0.003 % |
337.41/337.77	c |    484780 |     200    17000   119000 | 2147483647    78852     58 |  0.003 % |
337.60/337.91	c |    484942 |     200    17000   119000 | 2147483647    79014     58 |  0.003 % |
337.70/338.07	c |    485118 |     200    17000   119000 | 2147483647    79190     58 |  0.003 % |
337.90/338.24	c |    485313 |     200    17000   119000 | 2147483647    79385     58 |  0.003 % |
338.10/338.43	c |    485525 |     200    17000   119000 | 2147483647    79597     58 |  0.003 % |
338.30/338.66	c |    485759 |     200    17000   119000 | 2147483647    79831     58 |  0.003 % |
338.51/338.89	c |    486016 |     200    17000   119000 | 2147483647    80088     58 |  0.003 % |
338.80/339.16	c |    486297 |     200    17000   119000 | 2147483647    80369     58 |  0.003 % |
339.10/339.42	c |    486607 |     200    17000   119000 | 2147483647    80679     58 |  0.003 % |
339.40/339.74	c |    486946 |     200    17000   119000 | 2147483647    81018     58 |  0.003 % |
339.70/340.10	c |    487318 |     200    17000   119000 | 2147483647    81390     58 |  0.003 % |
340.10/340.50	c |    487727 |     200    17000   119000 | 2147483647    81799     58 |  0.003 % |
340.60/340.92	c |    488176 |     200    17000   119000 | 2147483647    82248     58 |  0.003 % |
341.00/341.36	c |    488670 |     200    17000   119000 | 2147483647    82742     58 |  0.003 % |
341.50/341.85	c |    489213 |     200    17000   119000 | 2147483647    83285     58 |  0.003 % |
342.00/342.36	c |    489810 |     200    17000   119000 | 2147483647    83882     58 |  0.003 % |
342.59/342.94	c |    490465 |     200    17000   119000 |    84075    72597     58 |  0.003 % |
343.09/343.46	c |    491186 |     200    17000   119000 |    84075    73318     58 |  0.003 % |
343.69/344.07	c |    491978 |     200    17000   119000 |    84075    74110     58 |  0.003 % |
344.39/344.75	c |    492849 |     200    17000   119000 |    84075    74981     58 |  0.003 % |
345.19/345.56	c |    493808 |     200    17000   119000 |    84075    75940     58 |  0.003 % |
345.99/346.36	c |    494861 |     200    17000   119000 |    84075    76993     58 |  0.003 % |
346.99/347.32	c |    496019 |     200    17000   119000 |    84075    78151     58 |  0.003 % |
348.09/348.47	c |    497293 |     200    17000   119000 |    84075    79425     58 |  0.003 % |
349.29/349.66	c |    498694 |     200    17000   119000 |    84075    80826     58 |  0.003 % |
350.69/351.03	c |    500234 |     200    17000   119000 |    82132    69854     59 |  0.003 % |
351.89/352.21	c |    501928 |     200    17000   119000 |    82132    71548     59 |  0.003 % |
353.09/353.46	c |    503793 |     200    17000   119000 |    82132    73413     59 |  0.003 % |
354.69/355.00	c |    505842 |     200    17000   119000 |    82132    75462     59 |  0.003 % |
356.39/356.79	c |    508096 |     200    17000   119000 |    82132    77716     59 |  0.003 % |
358.49/358.87	c |    510575 |     200    17000   119000 |    79621    69499     59 |  0.003 % |
360.59/360.95	c |    513300 |     200    17000   119000 |    79621    72224     59 |  0.003 % |
362.59/362.99	c |    516297 |     200    17000   119000 |    79621    75221     59 |  0.003 % |
365.19/365.52	c |    519595 |     200    17000   119000 |    79621    78519     59 |  0.003 % |
368.09/368.49	c |    523220 |     200    17000   119000 |    78927    71710     59 |  0.003 % |
371.18/371.52	c |    527207 |     200    17000   119000 |    78927    75697     59 |  0.003 % |
374.69/375.07	c |    531594 |     200    17000   119000 |    78490    69376     59 |  0.003 % |
378.38/378.72	c |    536417 |     200    17000   119000 |    78490    74199     59 |  0.003 % |
378.48/378.81	c |    536519 |     200    17000   119000 |    78490    74301     59 |  0.003 % |
378.58/378.92	c |    536630 |     200    17000   119000 |    78490    74412     59 |  0.003 % |
378.68/379.02	c |    536752 |     200    17000   119000 |    78490    74534     59 |  0.003 % |
378.78/379.12	c |    536885 |     200    17000   119000 |    78490    74667     59 |  0.003 % |
378.88/379.25	c |    537031 |     200    17000   119000 |    78490    74813     59 |  0.003 % |
379.08/379.42	c |    537191 |     200    17000   119000 |    78490    74973     59 |  0.003 % |
379.18/379.58	c |    537367 |     200    17000   119000 |    78490    75149     59 |  0.003 % |
379.38/379.76	c |    537560 |     200    17000   119000 |    78490    75342     59 |  0.003 % |
379.58/379.97	c |    537773 |     200    17000   119000 |    78490    75555     59 |  0.003 % |
379.78/380.16	c |    538007 |     200    17000   119000 |    78490    75789     59 |  0.003 % |
379.98/380.39	c |    538264 |     200    17000   119000 |    78490    76046     59 |  0.003 % |
380.29/380.65	c |    538546 |     200    17000   119000 |    78490    76328     59 |  0.003 % |
380.58/380.94	c |    538856 |     200    17000   119000 |    78490    76638     59 |  0.003 % |
380.88/381.24	c |    539196 |     200    17000   119000 |    78490    76978     59 |  0.003 % |
381.18/381.52	c |    539569 |     200    17000   119000 |    78490    77351     59 |  0.003 % |
381.48/381.89	c |    539981 |     200    17000   119000 |    78490    77763     59 |  0.003 % |
381.88/382.29	c |    540431 |     200    17000   119000 |    77783    67046     59 |  0.003 % |
382.28/382.63	c |    540925 |     200    17000   119000 |    77783    67540     59 |  0.003 % |
382.68/383.03	c |    541467 |     200    17000   119000 |    77783    68082     59 |  0.003 % |
383.07/383.48	c |    542064 |     200    17000   119000 |    77783    68679     59 |  0.003 % |
383.67/384.05	c |    542719 |     200    17000   119000 |    77783    69334     59 |  0.003 % |
384.17/384.57	c |    543440 |     200    17000   119000 |    77783    70055     59 |  0.003 % |
384.77/385.16	c |    544232 |     200    17000   119000 |    77783    70847     59 |  0.003 % |
385.47/385.80	c |    545106 |     200    17000   119000 |    77783    71721     59 |  0.003 % |
386.07/386.46	c |    546067 |     200    17000   119000 |    77783    72682     59 |  0.003 % |
386.97/387.35	c |    547120 |     200    17000   119000 |    77783    73735     59 |  0.003 % |
387.87/388.25	c |    548278 |     200    17000   119000 |    77783    74893     59 |  0.003 % |
388.87/389.28	c |    549551 |     200    17000   119000 |    77783    76166     59 |  0.003 % |
390.07/390.49	c |    550952 |     200    17000   119000 |    76616    67332     59 |  0.003 % |
391.27/391.65	c |    552492 |     200    17000   119000 |    76616    68872     59 |  0.003 % |
392.47/392.87	c |    554186 |     200    17000   119000 |    76616    70566     59 |  0.003 % |
393.77/394.15	c |    556049 |     200    17000   119000 |    76616    72429     59 |  0.003 % |
395.57/395.92	c |    558099 |     200    17000   119000 |    76616    74479     59 |  0.003 % |
397.57/397.95	c |    560353 |     200    17000   119000 |    76380    66772     59 |  0.003 % |
399.27/399.68	c |    562831 |     200    17000   119000 |    76380    69250     59 |  0.003 % |
401.27/401.67	c |    565557 |     200    17000   119000 |    76380    71976     59 |  0.003 % |
403.86/404.30	c |    568555 |     200    17000   119000 |    76380    74974     59 |  0.003 % |
406.57/406.94	c |    571851 |     200    17000   119000 |    76419    68525     59 |  0.003 % |
409.26/409.67	c |    575476 |     200    17000   119000 |    76419    72150     59 |  0.003 % |
412.17/412.59	c |    579463 |     200    17000   119000 |    76419    76137     59 |  0.003 % |
415.26/415.62	c |    583848 |     200    17000   119000 |    68046    64204     59 |  0.003 % |
418.56/418.95	c |    588673 |     200    17000   119000 |    68046    62216     59 |  0.003 % |
421.86/422.25	c |    593978 |     200    17000   119000 | 2147483647    67521     59 |  0.003 % |
421.96/422.32	c |    594078 |     200    17000   119000 | 2147483647    67621     59 |  0.003 % |
422.06/422.44	c |    594188 |     200    17000   119000 | 2147483647    67731     59 |  0.003 % |
422.16/422.54	c |    594310 |     200    17000   119000 | 2147483647    67853     59 |  0.003 % |
422.26/422.66	c |    594445 |     200    17000   119000 | 2147483647    67988     59 |  0.003 % |
422.36/422.77	c |    594591 |     200    17000   119000 | 2147483647    68134     59 |  0.003 % |
422.56/422.91	c |    594753 |     200    17000   119000 | 2147483647    68296     59 |  0.003 % |
422.66/423.07	c |    594929 |     200    17000   119000 | 2147483647    68472     59 |  0.003 % |
422.86/423.26	c |    595125 |     200    17000   119000 | 2147483647    68668     59 |  0.003 % |
423.06/423.41	c |    595339 |     200    17000   119000 | 2147483647    68882     59 |  0.003 % |
423.26/423.60	c |    595572 |     200    17000   119000 | 2147483647    69115     59 |  0.003 % |
423.46/423.84	c |    595828 |     200    17000   119000 | 2147483647    69371     59 |  0.003 % |
423.66/424.05	c |    596114 |     200    17000   119000 | 2147483647    69657     59 |  0.003 % |
423.96/424.31	c |    596424 |     200    17000   119000 | 2147483647    69967     59 |  0.003 % |
424.16/424.59	c |    596763 |     200    17000   119000 | 2147483647    70306     59 |  0.003 % |
424.56/424.91	c |    597136 |     200    17000   119000 | 2147483647    70679     59 |  0.003 % |
424.86/425.24	c |    597545 |     200    17000   119000 | 2147483647    71088     59 |  0.003 % |
425.26/425.67	c |    597996 |     200    17000   119000 | 2147483647    71539     59 |  0.003 % |
425.66/426.06	c |    598490 |     200    17000   119000 | 2147483647    72033     59 |  0.003 % |
426.06/426.47	c |    599033 |     200    17000   119000 | 2147483647    72576     59 |  0.003 % |
426.66/427.04	c |    599629 |     200    17000   119000 | 2147483647    73172     59 |  0.003 % |
427.26/427.60	c |    600284 |     200    17000   119000 |    73543    65509     59 |  0.003 % |
427.66/428.06	c |    601006 |     200    17000   119000 |    73543    66231     59 |  0.003 % |
428.25/428.69	c |    601798 |     200    17000   119000 |    73543    67023     59 |  0.003 % |
428.95/429.34	c |    602670 |     200    17000   119000 |    73543    67895     59 |  0.003 % |
429.65/430.05	c |    603629 |     200    17000   119000 |    73543    68854     59 |  0.003 % |
430.35/430.74	c |    604682 |     200    17000   119000 |    73543    69907     59 |  0.003 % |
431.15/431.55	c |    605840 |     200    17000   119000 |    73543    71065     59 |  0.003 % |
431.96/432.35	c |    607113 |     200    17000   119000 |    73543    72338     59 |  0.003 % |
432.96/433.40	c |    608514 |     200    17000   119000 |    73543    65918     59 |  0.003 % |
434.25/434.64	c |    610056 |     200    17000   119000 |    67404    67460     59 |  0.003 % |
435.45/435.88	c |    611750 |     200    17000   119000 |    67404    61697     59 |  0.003 % |
436.75/437.18	c |    613613 |     200    17000   119000 |    67404    63560     59 |  0.003 % |
438.15/438.50	c |    615664 |     200    17000   119000 |    67404    65611     59 |  0.003 % |
439.66/440.02	c |    617918 |     200    17000   119000 |    67404    61116     59 |  0.003 % |
441.15/441.54	c |    620397 |     200    17000   119000 | 2147483647    63595     59 |  0.003 % |
442.85/443.26	c |    623123 |     200    17000   119000 | 2147483647    66321     59 |  0.003 % |
444.75/445.17	c |    626122 |     200    17000   119000 | 2147483647    69320     59 |  0.003 % |
446.95/447.37	c |    629418 |     200    17000   119000 | 2147483647    72616     59 |  0.003 % |
449.45/449.80	c |    633043 |     200    17000   119000 | 2147483647    76241     59 |  0.003 % |
452.55/452.91	c |    637030 |     200    17000   119000 | 2147483647    80228     59 |  0.003 % |
456.05/456.41	c |    641417 |     200    17000   119000 |    83199    73933     59 |  0.003 % |
459.75/460.13	c |    646241 |     200    17000   119000 |    83199    78757     59 |  0.003 % |
463.85/464.23	c |    651546 |     200    17000   119000 |    82516    73237     59 |  0.003 % |
468.54/468.91	c |    657382 |     200    17000   119000 |    82516    79073     59 |  0.003 % |
468.64/469.00	c |    657482 |     200    17000   119000 |    82516    79173     59 |  0.003 % |
468.74/469.10	c |    657592 |     200    17000   119000 |    82516    79283     59 |  0.003 % |
468.84/469.24	c |    657715 |     200    17000   119000 |    82516    79406     59 |  0.003 % |
468.94/469.36	c |    657848 |     200    17000   119000 |    82516    79539     59 |  0.003 % |
469.04/469.50	c |    657994 |     200    17000   119000 |    82516    79685     59 |  0.003 % |
469.25/469.65	c |    658156 |     200    17000   119000 |    82516    79847     59 |  0.003 % |
469.44/469.82	c |    658333 |     200    17000   119000 |    82516    80024     59 |  0.003 % |
469.54/469.99	c |    658526 |     200    17000   119000 |    82516    80217     59 |  0.003 % |
469.84/470.23	c |    658738 |     200    17000   119000 |    82516    80429     59 |  0.003 % |
470.04/470.46	c |    658972 |     200    17000   119000 |    82516    80663     59 |  0.003 % |
470.24/470.69	c |    659230 |     200    17000   119000 |    82516    80921     59 |  0.003 % |
470.54/470.94	c |    659511 |     200    17000   119000 |    82516    81202     59 |  0.003 % |
470.94/471.31	c |    659820 |     200    17000   119000 |    82516    81511     59 |  0.003 % |
471.34/471.73	c |    660160 |     200    17000   119000 |    81691    68769     59 |  0.003 % |
471.64/472.05	c |    660532 |     200    17000   119000 |    81691    69141     59 |  0.003 % |
472.04/472.40	c |    660942 |     200    17000   119000 |    81691    69551     59 |  0.003 % |
472.34/472.78	c |    661391 |     200    17000   119000 |    81691    70000     59 |  0.003 % |
472.74/473.17	c |    661884 |     200    17000   119000 |    81691    70493     59 |  0.003 % |
473.14/473.59	c |    662428 |     200    17000   119000 |    81691    71037     59 |  0.003 % |
473.64/474.08	c |    663027 |     200    17000   119000 |    81691    71636     59 |  0.003 % |
474.23/474.65	c |    663683 |     200    17000   119000 |    81691    72292     59 |  0.003 % |
474.84/475.21	c |    664404 |     200    17000   119000 |    81691    73013     59 |  0.003 % |
475.43/475.81	c |    665197 |     200    17000   119000 |    81691    73806     59 |  0.003 % |
476.03/476.48	c |    666068 |     200    17000   119000 |    81691    74677     59 |  0.003 % |
476.93/477.32	c |    667028 |     200    17000   119000 |    81691    75637     59 |  0.003 % |
477.83/478.24	c |    668082 |     200    17000   119000 |    81691    76691     59 |  0.003 % |
478.83/479.23	c |    669240 |     200    17000   119000 |    81691    77849     59 |  0.003 % |
479.93/480.33	c |    670515 |     200    17000   119000 |    78609    67443     59 |  0.003 % |
481.03/481.49	c |    671915 |     200    17000   119000 |    78609    68843     59 |  0.003 % |
482.23/482.66	c |    673458 |     200    17000   119000 |    78609    70386     59 |  0.003 % |
483.53/483.91	c |    675154 |     200    17000   119000 |    78609    72082     59 |  0.003 % |
484.93/485.33	c |    677017 |     200    17000   119000 |    78609    73945     59 |  0.003 % |
486.83/487.21	c |    679066 |     200    17000   119000 |    78609    75994     59 |  0.003 % |
488.72/489.13	c |    681319 |     200    17000   119000 |    76928    67422     59 |  0.003 % |
490.52/490.90	c |    683797 |     200    17000   119000 |    76928    69900     59 |  0.003 % |
492.43/492.85	c |    686523 |     200    17000   119000 |    76928    72626     59 |  0.003 % |
494.92/495.33	c |    689522 |     200    17000   119000 |    76928    75625     59 |  0.003 % |
497.52/497.91	c |    692818 |     200    17000   119000 |    76104    68987     59 |  0.003 % |
500.02/500.47	c |    696443 |     200    17000   119000 |    76104    72612     59 |  0.003 % |
502.92/503.34	c |    700430 |     200    17000   119000 |    76169    67813     59 |  0.003 % |
505.72/506.16	c |    704815 |     200    17000   119000 |    76169    72198     59 |  0.003 % |
509.02/509.44	c |    709638 |     200    17000   119000 |    76169    69213     59 |  0.003 % |
512.41/512.86	c |    714945 |     200    17000   119000 |    69575    67439     59 |  0.003 % |
516.41/516.88	c |    720782 |     200    17000   119000 | 2147483647    66310     59 |  0.003 % |
521.40/521.81	c |    727201 |     200    17000   119000 | 2147483647    72729     59 |  0.003 % |
521.40/521.88	c |    727301 |     200    17000   119000 | 2147483647    72829     59 |  0.003 % |
521.50/521.97	c |    727411 |     200    17000   119000 | 2147483647    72939     59 |  0.003 % |
521.60/522.08	c |    727533 |     200    17000   119000 | 2147483647    73061     59 |  0.003 % |
521.80/522.22	c |    727668 |     200    17000   119000 | 2147483647    73196     59 |  0.003 % |
521.90/522.35	c |    727816 |     200    17000   119000 | 2147483647    73344     59 |  0.003 % |
522.01/522.49	c |    727976 |     200    17000   119000 | 2147483647    73504     59 |  0.003 % |
522.20/522.63	c |    728152 |     200    17000   119000 | 2147483647    73680     59 |  0.003 % |
522.30/522.79	c |    728345 |     200    17000   119000 | 2147483647    73873     59 |  0.003 % |
522.50/522.96	c |    728560 |     200    17000   119000 | 2147483647    74088     59 |  0.003 % |
522.70/523.19	c |    728793 |     200    17000   119000 | 2147483647    74321     59 |  0.003 % |
523.00/523.43	c |    729049 |     200    17000   119000 | 2147483647    74577     59 |  0.003 % |
523.21/523.70	c |    729330 |     200    17000   119000 | 2147483647    74858     59 |  0.003 % |
523.50/523.95	c |    729639 |     200    17000   119000 | 2147483647    75167     59 |  0.003 % |
523.80/524.22	c |    729980 |     200    17000   119000 | 2147483647    75508     59 |  0.003 % |
524.10/524.54	c |    730354 |     200    17000   119000 |    75528    66899     59 |  0.003 % |
524.40/524.84	c |    730766 |     200    17000   119000 |    75528    67311     59 |  0.003 % |
524.70/525.13	c |    731217 |     200    17000   119000 |    75528    67762     59 |  0.003 % |
525.00/525.41	c |    731710 |     200    17000   119000 |    75528    68255     59 |  0.003 % |
525.31/525.76	c |    732252 |     200    17000   119000 |    75528    68797     59 |  0.003 % |
525.70/526.14	c |    732848 |     200    17000   119000 |    75528    69393     59 |  0.003 % |
526.10/526.56	c |    733507 |     200    17000   119000 |    75528    70052     59 |  0.003 % |
526.80/527.21	c |    734227 |     200    17000   119000 |    75528    70772     59 |  0.003 % |
527.40/527.85	c |    735020 |     200    17000   119000 |    75528    71565     59 |  0.003 % |
528.10/528.55	c |    735894 |     200    17000   119000 |    75528    72439     59 |  0.003 % |
528.80/529.28	c |    736854 |     200    17000   119000 |    75528    73399     59 |  0.003 % |
529.70/530.12	c |    737908 |     200    17000   119000 |    75528    74453     59 |  0.003 % |
530.50/530.95	c |    739066 |     200    17000   119000 |    75528    75611     59 |  0.003 % |
531.60/532.01	c |    740339 |     200    17000   119000 |    67679    60047     59 |  0.003 % |
532.50/532.94	c |    741739 |     200    17000   119000 |    67679    61447     59 |  0.003 % |
533.50/533.91	c |    743281 |     200    17000   119000 |    67679    62989     59 |  0.003 % |
534.60/535.00	c |    744977 |     200    17000   119000 |    67679    64685     59 |  0.003 % |
535.80/536.25	c |    746840 |     200    17000   119000 |    67679    66548     59 |  0.003 % |
537.10/537.53	c |    748891 |     200    17000   119000 |    67679    61824     59 |  0.003 % |
538.50/538.94	c |    751145 |     200    17000   119000 | 2147483647    64078     59 |  0.003 % |
539.99/540.48	c |    753624 |     200    17000   119000 | 2147483647    66557     59 |  0.003 % |
541.90/542.32	c |    756349 |     200    17000   119000 | 2147483647    69282     59 |  0.003 % |
543.79/544.22	c |    759347 |     200    17000   119000 | 2147483647    72280     59 |  0.003 % |
546.20/546.64	c |    762643 |     200    17000   119000 | 2147483647    75576     59 |  0.003 % |
548.79/549.25	c |    766268 |     200    17000   119000 | 2147483647    79201     59 |  0.003 % |
552.09/552.58	c |    770255 |     200    17000   119000 |    82933    72707     59 |  0.003 % |
555.39/555.88	c |    774641 |     200    17000   119000 |    82933    77093     59 |  0.003 % |
559.19/559.67	c |    779465 |     200    17000   119000 |    82933    81917     59 |  0.003 % |
563.19/563.62	c |    784774 |     200    17000   119000 |    82452    76447     58 |  0.003 % |
567.58/568.08	c |    790612 |     200    17000   119000 |    81675    72361     58 |  0.003 % |
572.18/572.61	c |    797033 |     200    17000   119000 |    81675    78782     58 |  0.003 % |
577.17/577.61	c |    804092 |     200    17000   119000 |    81749    75669     59 |  0.003 % |
577.27/577.70	c |    804194 |     200    17000   119000 |    81749    75771     59 |  0.003 % |
577.37/577.80	c |    804304 |     200    17000   119000 |    81749    75881     59 |  0.003 % |
577.47/577.91	c |    804425 |     200    17000   119000 |    81749    76002     59 |  0.003 % |
577.57/578.02	c |    804558 |     200    17000   119000 |    81749    76135     59 |  0.003 % |
577.67/578.16	c |    804704 |     200    17000   119000 |    81749    76281     59 |  0.003 % |
577.87/578.30	c |    804864 |     200    17000   119000 |    81749    76441     59 |  0.003 % |
577.97/578.44	c |    805040 |     200    17000   119000 |    81749    76617     59 |  0.003 % |
578.18/578.63	c |    805235 |     200    17000   119000 |    81749    76812     59 |  0.003 % |
578.37/578.82	c |    805449 |     200    17000   119000 |    81749    77026     59 |  0.003 % |
578.58/579.00	c |    805683 |     200    17000   119000 |    81749    77260     59 |  0.003 % |
578.78/579.22	c |    805939 |     200    17000   119000 |    81749    77516     59 |  0.003 % |
578.98/579.46	c |    806222 |     200    17000   119000 |    81749    77799     59 |  0.003 % |
579.18/579.70	c |    806531 |     200    17000   119000 |    81749    78108     58 |  0.003 % |
579.57/580.03	c |    806871 |     200    17000   119000 |    81749    78448     59 |  0.003 % |
579.87/580.35	c |    807243 |     200    17000   119000 |    81749    78820     59 |  0.003 % |
580.28/580.72	c |    807653 |     200    17000   119000 |    81749    79230     59 |  0.003 % |
580.67/581.11	c |    808103 |     200    17000   119000 |    81749    79680     59 |  0.003 % |
581.07/581.57	c |    808596 |     200    17000   119000 |    81749    80173     58 |  0.003 % |
581.57/582.07	c |    809140 |     200    17000   119000 |    81749    80717     59 |  0.003 % |
582.07/582.58	c |    809737 |     200    17000   119000 |    81749    81314     59 |  0.003 % |
582.67/583.16	c |    810392 |     200    17000   119000 |    81580    70115     59 |  0.003 % |
583.17/583.67	c |    811113 |     200    17000   119000 |    81580    70836     59 |  0.003 % |
583.77/584.25	c |    811905 |     200    17000   119000 |    81580    71628     59 |  0.003 % |
584.37/584.88	c |    812776 |     200    17000   119000 |    81580    72499     59 |  0.003 % |
585.07/585.57	c |    813735 |     200    17000   119000 |    81580    73458     59 |  0.003 % |
585.88/586.32	c |    814789 |     200    17000   119000 |    81580    74512     59 |  0.003 % |
586.77/587.20	c |    815947 |     200    17000   119000 |    81580    75670     59 |  0.003 % |
587.67/588.18	c |    817220 |     200    17000   119000 |    81580    76943     58 |  0.003 % |
588.87/589.32	c |    818620 |     200    17000   119000 |    81580    78343     58 |  0.003 % |
590.17/590.60	c |    820162 |     200    17000   119000 |    79725    69360     59 |  0.003 % |
591.27/591.78	c |    821858 |     200    17000   119000 |    79725    71056     59 |  0.003 % |
592.57/593.00	c |    823722 |     200    17000   119000 |    79725    72920     59 |  0.003 % |
593.97/594.48	c |    825773 |     200    17000   119000 |    79725    74971     59 |  0.003 % |
595.67/596.13	c |    828027 |     200    17000   119000 |    79725    77225     59 |  0.003 % |
597.77/598.24	c |    830506 |     200    17000   119000 |    79199    70104     59 |  0.003 % |
599.67/600.16	c |    833232 |     200    17000   119000 |    79199    72830     59 |  0.003 % |
601.97/602.40	c |    836230 |     200    17000   119000 |    79199    75828     59 |  0.003 % |
604.37/604.82	c |    839526 |     200    17000   119000 |    79199    79124     59 |  0.003 % |
606.67/607.15	c |    843151 |     200    17000   119000 |    69713    64212     59 |  0.003 % |
609.26/609.72	c |    847138 |     200    17000   119000 |    69713    68199     59 |  0.003 % |
612.16/612.63	c |    851524 |     200    17000   119000 | 2147483647    65604     59 |  0.003 % |
615.75/616.21	c |    856347 |     200    17000   119000 | 2147483647    70427     59 |  0.003 % |
619.45/619.94	c |    861653 |     200    17000   119000 |    74080    67700     59 |  0.003 % |
623.26/623.79	c |    867488 |     200    17000   119000 |    74080    73535     59 |  0.003 % |
627.65/628.11	c |    873906 |     200    17000   119000 | 2147483647    72538     59 |  0.003 % |
632.65/633.12	c |    880965 |     200    17000   119000 |    78632    71150     59 |  0.003 % |
638.45/638.94	c |    888729 |     200    17000   119000 |    78632    70452     59 |  0.003 % |
638.55/639.02	c |    888830 |     200    17000   119000 |    78632    70553     59 |  0.003 % |
638.55/639.10	c |    888941 |     200    17000   119000 |    78632    70664     59 |  0.003 % |
638.65/639.20	c |    889062 |     200    17000   119000 |    78632    70785     59 |  0.003 % |
638.85/639.34	c |    889195 |     200    17000   119000 |    78632    70918     59 |  0.003 % |
638.95/639.47	c |    889345 |     200    17000   119000 |    78632    71068     59 |  0.003 % |
639.15/639.60	c |    889505 |     200    17000   119000 |    78632    71228     59 |  0.003 % |
639.25/639.77	c |    889683 |     200    17000   119000 |    78632    71406     59 |  0.003 % |
639.45/639.93	c |    889877 |     200    17000   119000 |    78632    71600     59 |  0.003 % |
639.65/640.12	c |    890090 |     200    17000   119000 |    71724    71813     59 |  0.003 % |
639.84/640.38	c |    890323 |     200    17000   119000 |    71724    64039     59 |  0.003 % |
640.04/640.58	c |    890579 |     200    17000   119000 |    71724    64295     59 |  0.003 % |
640.24/640.79	c |    890860 |     200    17000   119000 |    71724    64576     59 |  0.003 % |
640.54/641.04	c |    891169 |     200    17000   119000 |    71724    64885     59 |  0.003 % |
640.75/641.29	c |    891508 |     200    17000   119000 |    71724    65224     59 |  0.003 % |
641.04/641.59	c |    891881 |     200    17000   119000 |    71724    65597     59 |  0.003 % |
641.44/641.90	c |    892291 |     200    17000   119000 |    71724    66007     59 |  0.003 % |
641.74/642.21	c |    892741 |     200    17000   119000 |    71724    66457     59 |  0.003 % |
642.04/642.53	c |    893235 |     200    17000   119000 |    71724    66951     59 |  0.003 % |
642.44/642.90	c |    893779 |     200    17000   119000 |    71724    67495     59 |  0.003 % |
642.84/643.30	c |    894375 |     200    17000   119000 |    71724    68091     59 |  0.003 % |
643.24/643.76	c |    895030 |     200    17000   119000 |    71724    68746     59 |  0.003 % |
643.94/644.44	c |    895751 |     200    17000   119000 |    71724    69467     59 |  0.003 % |
644.54/645.09	c |    896543 |     200    17000   119000 |    71724    70259     59 |  0.003 % |
645.34/645.82	c |    897415 |     200    17000   119000 |    71724    71131     59 |  0.003 % |
646.04/646.53	c |    898373 |     200    17000   119000 |    71724    63822     59 |  0.003 % |
646.74/647.26	c |    899427 |     200    17000   119000 |    71724    64876     59 |  0.003 % |
647.54/648.06	c |    900586 |     200    17000   119000 |    65449    58816     59 |  0.003 % |
648.45/648.99	c |    901859 |     200    17000   119000 |    65449    60089     59 |  0.003 % |
649.44/649.98	c |    903261 |     200    17000   119000 |    65449    61491     59 |  0.003 % |
650.44/650.93	c |    904803 |     200    17000   119000 |    65449    63033     59 |  0.003 % |
651.44/651.97	c |    906497 |     200    17000   119000 |    65449    64727     59 |  0.003 % |
652.74/653.24	c |    908360 |     200    17000   119000 |    65449    60037     59 |  0.003 % |
654.04/654.56	c |    910409 |     200    17000   119000 | 2147483647    62086     59 |  0.003 % |
655.43/655.96	c |    912663 |     200    17000   119000 | 2147483647    64340     59 |  0.003 % |
656.93/657.48	c |    915141 |     200    17000   119000 | 2147483647    66818     59 |  0.003 % |
658.73/659.23	c |    917870 |     200    17000   119000 | 2147483647    69547     59 |  0.003 % |
660.83/661.38	c |    920869 |     200    17000   119000 | 2147483647    72546     59 |  0.003 % |
663.43/663.91	c |    924165 |     200    17000   119000 | 2147483647    75842     59 |  0.003 % |
666.13/666.68	c |    927790 |     200    17000   119000 | 2147483647    79467     59 |  0.003 % |
669.13/669.67	c |    931778 |     200    17000   119000 |    81677    73832     59 |  0.003 % |
672.53/673.07	c |    936163 |     200    17000   119000 |    81677    78217     59 |  0.003 % |
676.43/676.92	c |    940987 |     200    17000   119000 |    71402    63161     58 |  0.003 % |
679.82/680.37	c |    946292 |     200    17000   119000 |    71402    68466     58 |  0.003 % |
684.32/684.88	c |    952128 |     200    17000   119000 | 2147483647    67153     58 |  0.003 % |
689.23/689.70	c |    958550 |     200    17000   119000 | 2147483647    73575     58 |  0.003 % |
694.52/695.03	c |    965611 |     200    17000   119000 | 2147483647    80636     59 |  0.003 % |
700.72/701.28	c |    973375 |     200    17000   119000 |    85025    74730     59 |  0.003 % |
706.92/707.41	c |    981915 |     200    17000   119000 |    81356    71697     59 |  0.003 % |
706.92/707.49	c |    982016 |     200    17000   119000 |    81356    71798     59 |  0.003 % |
707.02/707.59	c |    982128 |     200    17000   119000 |    81356    71910     59 |  0.003 % |
707.22/707.70	c |    982249 |     200    17000   119000 |    81356    72031     59 |  0.003 % |
707.32/707.81	c |    982382 |     200    17000   119000 |    81356    72164     59 |  0.003 % |
707.41/707.93	c |    982528 |     200    17000   119000 |    81356    72310     59 |  0.003 % |
707.51/708.06	c |    982689 |     200    17000   119000 |    81356    72471     59 |  0.003 % |
707.71/708.22	c |    982868 |     200    17000   119000 |    81356    72650     59 |  0.003 % |
707.82/708.38	c |    983061 |     200    17000   119000 |    81356    72843     59 |  0.003 % |
708.01/708.56	c |    983276 |     200    17000   119000 |    81356    73058     59 |  0.003 % |
708.21/708.75	c |    983510 |     200    17000   119000 |    81356    73292     59 |  0.003 % |
708.41/708.97	c |    983766 |     200    17000   119000 |    81356    73548     59 |  0.003 % |
708.61/709.19	c |    984048 |     200    17000   119000 |    81356    73830     59 |  0.003 % |
708.91/709.45	c |    984358 |     200    17000   119000 |    81356    74140     59 |  0.003 % |
709.21/709.74	c |    984697 |     200    17000   119000 |    81356    74479     59 |  0.003 % |
709.51/710.03	c |    985071 |     200    17000   119000 |    81356    74853     59 |  0.003 % |
709.91/710.41	c |    985481 |     200    17000   119000 |    81356    75263     59 |  0.003 % |
710.31/710.81	c |    985931 |     200    17000   119000 |    81356    75713     59 |  0.003 % |
710.71/711.20	c |    986424 |     200    17000   119000 |    81356    76206     59 |  0.003 % |
711.11/711.62	c |    986966 |     200    17000   119000 |    81356    76748     59 |  0.003 % |
711.61/712.14	c |    987563 |     200    17000   119000 |    81356    77345     59 |  0.003 % |
712.21/712.72	c |    988220 |     200    17000   119000 |    81356    78002     59 |  0.003 % |
712.81/713.35	c |    988941 |     200    17000   119000 |    81356    78723     59 |  0.003 % |
713.51/714.01	c |    989733 |     200    17000   119000 |    81356    79515     59 |  0.003 % |
714.21/714.74	c |    990606 |     200    17000   119000 |    79782    68852     59 |  0.003 % |
714.81/715.39	c |    991564 |     200    17000   119000 |    79782    69810     59 |  0.003 % |
715.61/716.19	c |    992617 |     200    17000   119000 |    79782    70863     59 |  0.003 % |
716.51/717.03	c |    993777 |     200    17000   119000 |    79782    72023     59 |  0.003 % |
717.50/718.05	c |    995052 |     200    17000   119000 |    79782    73298     59 |  0.003 % |
718.70/719.22	c |    996453 |     200    17000   119000 |    79782    74699     59 |  0.003 % |
719.91/720.45	c |    997993 |     200    17000   119000 |    79782    76239     59 |  0.003 % |
721.30/721.82	c |    999687 |     200    17000   119000 |    79782    77933     59 |  0.003 % |
722.60/723.19	c |   1001550 |     200    17000   119000 |    78247    69009     59 |  0.003 % |
724.10/724.64	c |   1003599 |     200    17000   119000 |    78247    71058     59 |  0.003 % |
725.80/726.34	c |   1005852 |     200    17000   119000 |    78247    73311     59 |  0.003 % |
727.80/728.36	c |   1008330 |     200    17000   119000 |    78247    75789     59 |  0.003 % |
729.70/730.26	c |   1011056 |     200    17000   119000 |    77460    68901     59 |  0.003 % |
732.10/732.62	c |   1014053 |     200    17000   119000 |    77460    71898     59 |  0.003 % |
734.60/735.16	c |   1017350 |     200    17000   119000 |    77460    75195     59 |  0.003 % |
737.30/737.90	c |   1020975 |     200    17000   119000 |    68278    60952     59 |  0.003 % |
739.60/740.15	c |   1024962 |     200    17000   119000 |    68278    64939     59 |  0.003 % |
742.30/742.86	c |   1029347 |     200    17000   119000 |    68278    62488     59 |  0.003 % |
745.49/746.01	c |   1034171 |     200    17000   119000 | 2147483647    67312     59 |  0.003 % |
749.19/749.72	c |   1039477 |     200    17000   119000 | 2147483647    72618     59 |  0.003 % |
753.49/754.08	c |   1045312 |     200    17000   119000 | 2147483647    78453     59 |  0.003 % |
758.69/759.27	c |   1051730 |     200    17000   119000 |    83144    74519     58 |  0.003 % |
764.18/764.74	c |   1058790 |     200    17000   119000 |    83144    81579     59 |  0.003 % |
770.58/771.12	c |   1066557 |     200    17000   119000 |    82792    78086     59 |  0.003 % |
776.98/777.52	c |   1075097 |     200    17000   119000 |    81529    75117     59 |  0.003 % |
783.98/784.51	c |   1084493 |     200    17000   119000 |    80023    73808     59 |  0.003 % |
783.98/784.59	c |   1084593 |     200    17000   119000 |    80023    73908     59 |  0.003 % |
784.08/784.68	c |   1084703 |     200    17000   119000 |    80023    74018     59 |  0.003 % |
784.18/784.78	c |   1084824 |     200    17000   119000 |    80023    74139     59 |  0.003 % |
784.38/784.91	c |   1084958 |     200    17000   119000 |    80023    74273     59 |  0.003 % |
784.48/785.04	c |   1085105 |     200    17000   119000 |    80023    74420     59 |  0.003 % |
784.58/785.18	c |   1085266 |     200    17000   119000 |    80023    74581     59 |  0.003 % |
784.78/785.33	c |   1085442 |     200    17000   119000 |    80023    74757     59 |  0.003 % |
784.98/785.51	c |   1085635 |     200    17000   119000 |    80023    74950     59 |  0.003 % |
785.08/785.68	c |   1085848 |     200    17000   119000 |    80023    75163     59 |  0.003 % |
785.37/785.92	c |   1086081 |     200    17000   119000 |    80023    75396     59 |  0.003 % |
785.67/786.21	c |   1086337 |     200    17000   119000 |    80023    75652     59 |  0.003 % |
785.98/786.52	c |   1086618 |     200    17000   119000 |    80023    75933     59 |  0.003 % |
786.27/786.80	c |   1086927 |     200    17000   119000 |    80023    76242     59 |  0.003 % |
786.57/787.13	c |   1087267 |     200    17000   119000 |    80023    76582     59 |  0.003 % |
786.87/787.44	c |   1087639 |     200    17000   119000 |    80023    76954     59 |  0.003 % |
787.17/787.77	c |   1088048 |     200    17000   119000 |    80023    77363     59 |  0.003 % |
787.57/788.19	c |   1088497 |     200    17000   119000 |    80023    77812     59 |  0.003 % |
788.08/788.65	c |   1088991 |     200    17000   119000 |    80023    78306     59 |  0.003 % |
788.57/789.18	c |   1089534 |     200    17000   119000 |    80023    78849     59 |  0.003 % |
789.27/789.84	c |   1090130 |     200    17000   119000 |    79315    67723     59 |  0.003 % |
789.66/790.29	c |   1090785 |     200    17000   119000 |    79315    68378     59 |  0.003 % |
790.16/790.75	c |   1091506 |     200    17000   119000 |    79315    69099     59 |  0.003 % |
790.76/791.36	c |   1092299 |     200    17000   119000 |    79315    69892     59 |  0.003 % |
791.47/792.03	c |   1093171 |     200    17000   119000 |    79315    70764     59 |  0.003 % |
792.16/792.79	c |   1094129 |     200    17000   119000 |    79315    71722     59 |  0.003 % |
793.06/793.65	c |   1095183 |     200    17000   119000 |    79315    72776     59 |  0.003 % |
793.86/794.48	c |   1096343 |     200    17000   119000 |    79315    73936     59 |  0.003 % |
794.86/795.45	c |   1097616 |     200    17000   119000 |    79315    75209     59 |  0.003 % |
795.87/796.42	c |   1099017 |     200    17000   119000 |    79315    76610     59 |  0.003 % |
797.26/797.85	c |   1100557 |     200    17000   119000 |    77594    67628     59 |  0.003 % |
798.46/799.01	c |   1102252 |     200    17000   119000 |    77594    69323     59 |  0.003 % |
799.76/800.31	c |   1104117 |     200    17000   119000 |    77594    71188     59 |  0.003 % |
801.27/801.84	c |   1106166 |     200    17000   119000 |    77594    73237     59 |  0.003 % |
802.86/803.50	c |   1108419 |     200    17000   119000 |    77594    75490     59 |  0.003 % |
804.76/805.39	c |   1110898 |     200    17000   119000 |    77071    68477     59 |  0.003 % |
806.76/807.36	c |   1113624 |     200    17000   119000 |    77071    71203     59 |  0.003 % |
808.86/809.45	c |   1116622 |     200    17000   119000 |    77071    74201     59 |  0.003 % |
811.26/811.82	c |   1119918 |     200    17000   119000 |    77071    68770     59 |  0.003 % |
813.46/814.07	c |   1123543 |     200    17000   119000 |    68852    64697     59 |  0.003 % |
816.25/816.86	c |   1127530 |     200    17000   119000 |    68852    68684     59 |  0.003 % |
819.25/819.81	c |   1131915 |     200    17000   119000 | 2147483647    66176     59 |  0.003 % |
822.65/823.28	c |   1136739 |     200    17000   119000 | 2147483647    71000     59 |  0.003 % |
826.45/827.07	c |   1142044 |     200    17000   119000 | 2147483647    76305     59 |  0.003 % |
831.35/831.93	c |   1147879 |     200    17000   119000 | 2147483647    82140     59 |  0.003 % |
836.64/837.23	c |   1154299 |     200    17000   119000 |    84261    76440     59 |  0.003 % |
842.44/843.07	c |   1161358 |     200    17000   119000 |    82142    71542     59 |  0.003 % |
847.94/848.50	c |   1169122 |     200    17000   119000 |    82142    79306     59 |  0.003 % |
854.14/854.80	c |   1177662 |     200    17000   119000 |    80185    78121     59 |  0.003 % |
860.53/861.14	c |   1187056 |     200    17000   119000 |    70332    68624     59 |  0.003 % |
867.24/867.82	c |   1197390 |     200    17000   119000 | 2147483647    71916     60 |  0.003 % |
867.24/867.89	c |   1197490 |     200    17000   119000 | 2147483647    72016     60 |  0.003 % |
867.34/867.99	c |   1197600 |     200    17000   119000 | 2147483647    72126     60 |  0.003 % |
867.53/868.10	c |   1197722 |     200    17000   119000 | 2147483647    72248     60 |  0.003 % |
867.53/868.19	c |   1197856 |     200    17000   119000 | 2147483647    72382     60 |  0.003 % |
867.73/868.31	c |   1198004 |     200    17000   119000 | 2147483647    72530     60 |  0.003 % |
867.83/868.48	c |   1198164 |     200    17000   119000 | 2147483647    72690     60 |  0.003 % |
868.03/868.64	c |   1198341 |     200    17000   119000 | 2147483647    72867     60 |  0.003 % |
868.13/868.80	c |   1198534 |     200    17000   119000 | 2147483647    73060     60 |  0.003 % |
868.44/869.03	c |   1198750 |     200    17000   119000 | 2147483647    73276     60 |  0.003 % |
868.63/869.23	c |   1198985 |     200    17000   119000 | 2147483647    73511     60 |  0.003 % |
868.83/869.49	c |   1199242 |     200    17000   119000 | 2147483647    73768     60 |  0.003 % |
869.13/869.75	c |   1199524 |     200    17000   119000 | 2147483647    74050     60 |  0.003 % |
869.43/870.05	c |   1199833 |     200    17000   119000 | 2147483647    74359     60 |  0.003 % |
869.83/870.41	c |   1200172 |     200    17000   119000 |    74527    66327     60 |  0.003 % |
870.03/870.69	c |   1200545 |     200    17000   119000 |    74527    66700     60 |  0.003 % |
870.43/871.03	c |   1200955 |     200    17000   119000 |    74527    67110     59 |  0.003 % |
870.73/871.38	c |   1201405 |     200    17000   119000 |    74527    67560     59 |  0.003 % |
871.13/871.73	c |   1201900 |     200    17000   119000 |    74527    68055     59 |  0.003 % |
871.53/872.14	c |   1202442 |     200    17000   119000 |    74527    68597     59 |  0.003 % |
871.93/872.56	c |   1203039 |     200    17000   119000 |    74527    69194     59 |  0.003 % |
872.53/873.12	c |   1203695 |     200    17000   119000 |    74527    69850     59 |  0.003 % |
873.03/873.64	c |   1204416 |     200    17000   119000 |    74527    70571     59 |  0.003 % |
873.53/874.17	c |   1205209 |     200    17000   119000 |    74527    71364     59 |  0.003 % |
874.13/874.78	c |   1206081 |     200    17000   119000 |    74527    72236     59 |  0.003 % |
874.93/875.60	c |   1207039 |     200    17000   119000 |    74527    73194     59 |  0.003 % |
875.93/876.51	c |   1208096 |     200    17000   119000 |    74527    74251     59 |  0.003 % |
876.93/877.54	c |   1209254 |     200    17000   119000 |    74527    66064     59 |  0.003 % |
877.83/878.47	c |   1210529 |     200    17000   119000 |    66810    59047     59 |  0.003 % |
878.92/879.55	c |   1211930 |     200    17000   119000 |    66810    60448     59 |  0.003 % |
879.92/880.58	c |   1213470 |     200    17000   119000 |    66810    61988     59 |  0.003 % |
881.02/881.69	c |   1215164 |     200    17000   119000 |    66810    63682     59 |  0.003 % |
882.32/882.99	c |   1217028 |     200    17000   119000 |    66810    65546     59 |  0.003 % |
883.92/884.56	c |   1219077 |     200    17000   119000 |    66810    60905     59 |  0.003 % |
885.62/886.24	c |   1221331 |     200    17000   119000 | 2147483647    63159     59 |  0.003 % |
887.32/887.94	c |   1223811 |     200    17000   119000 | 2147483647    65639     59 |  0.003 % |
889.11/889.76	c |   1226536 |     200    17000   119000 | 2147483647    68364     59 |  0.003 % |
891.61/892.25	c |   1229534 |     200    17000   119000 | 2147483647    71362     59 |  0.003 % |
894.31/894.91	c |   1232832 |     200    17000   119000 |    71829    67286     59 |  0.003 % |
896.81/897.47	c |   1236459 |     200    17000   119000 |    71829    70913     59 |  0.003 % |
899.61/900.29	c |   1240446 |     200    17000   119000 | 2147483647    67607     59 |  0.003 % |
902.71/903.39	c |   1244831 |     200    17000   119000 | 2147483647    71992     59 |  0.003 % |
906.41/907.08	c |   1249654 |     200    17000   119000 | 2147483647    76815     59 |  0.003 % |
910.22/910.89	c |   1254959 |     200    17000   119000 |    77161    73117     59 |  0.003 % |
914.62/915.27	c |   1260795 |     200    17000   119000 |    69244    62198     58 |  0.003 % |
918.92/919.51	c |   1267213 |     200    17000   119000 |    69244    68616     59 |  0.003 % |
923.42/924.02	c |   1274273 |     200    17000   119000 | 2147483647    68743     59 |  0.003 % |
928.81/929.43	c |   1282037 |     200    17000   119000 | 2147483647    76507     59 |  0.003 % |
935.61/936.27	c |   1290579 |     200    17000   119000 |    84470    72745     59 |  0.003 % |
942.60/943.22	c |   1299973 |     200    17000   119000 |    84470    82139     59 |  0.003 % |
950.00/950.61	c |   1310306 |     200    17000   119000 |    79773    69341     60 |  0.003 % |
958.80/959.42	c |   1321674 |     200    17000   119000 |    79037    70724     60 |  0.003 % |
958.90/959.51	c |   1321774 |     200    17000   119000 |    79037    70824     60 |  0.003 % |
958.90/959.59	c |   1321885 |     200    17000   119000 |    79037    70935     60 |  0.003 % |
959.10/959.70	c |   1322007 |     200    17000   119000 |    79037    71057     60 |  0.003 % |
959.20/959.83	c |   1322140 |     200    17000   119000 |    79037    71190     60 |  0.003 % |
959.30/959.96	c |   1322289 |     200    17000   119000 |    79037    71339     60 |  0.003 % |
959.50/960.11	c |   1322449 |     200    17000   119000 |    79037    71499     60 |  0.003 % |
959.60/960.24	c |   1322625 |     200    17000   119000 |    79037    71675     60 |  0.003 % |
959.70/960.39	c |   1322819 |     200    17000   119000 |    79037    71869     60 |  0.003 % |
959.90/960.58	c |   1323032 |     200    17000   119000 |    79037    72082     60 |  0.003 % |
960.20/960.82	c |   1323266 |     200    17000   119000 |    79037    72316     60 |  0.003 % |
960.40/961.05	c |   1323522 |     200    17000   119000 |    79037    72572     60 |  0.003 % |
960.70/961.33	c |   1323803 |     200    17000   119000 |    79037    72853     60 |  0.003 % |
960.89/961.58	c |   1324112 |     200    17000   119000 |    79037    73162     60 |  0.003 % |
961.19/961.87	c |   1324451 |     200    17000   119000 |    79037    73501     60 |  0.003 % |
961.49/962.17	c |   1324824 |     200    17000   119000 |    79037    73874     60 |  0.003 % |
961.80/962.46	c |   1325233 |     200    17000   119000 |    79037    74283     60 |  0.003 % |
962.09/962.78	c |   1325682 |     200    17000   119000 |    79037    74732     60 |  0.003 % |
962.49/963.15	c |   1326175 |     200    17000   119000 |    79037    75225     60 |  0.003 % |
962.90/963.59	c |   1326718 |     200    17000   119000 |    79037    75768     60 |  0.003 % |
963.39/964.05	c |   1327315 |     200    17000   119000 |    79037    76365     60 |  0.003 % |
963.89/964.51	c |   1327974 |     200    17000   119000 |    79037    77024     60 |  0.003 % |
964.49/965.10	c |   1328694 |     200    17000   119000 |    79037    77744     60 |  0.003 % |
965.10/965.72	c |   1329487 |     200    17000   119000 |    79037    78537     60 |  0.003 % |
965.79/966.47	c |   1330358 |     200    17000   119000 |    79051    68605     60 |  0.003 % |
966.39/967.10	c |   1331316 |     200    17000   119000 |    79051    69563     60 |  0.003 % |
967.19/967.86	c |   1332369 |     200    17000   119000 |    79051    70616     60 |  0.003 % |
968.09/968.73	c |   1333528 |     200    17000   119000 |    79051    71775     60 |  0.003 % |
969.19/969.85	c |   1334803 |     200    17000   119000 |    79051    73050     60 |  0.003 % |
970.38/971.00	c |   1336204 |     200    17000   119000 |    79051    74451     60 |  0.003 % |
971.48/972.20	c |   1337744 |     200    17000   119000 |    79051    75991     60 |  0.003 % |
972.79/973.41	c |   1339441 |     200    17000   119000 |    79051    77688     60 |  0.003 % |
974.08/974.77	c |   1341304 |     200    17000   119000 |    78247    69477     60 |  0.003 % |
975.58/976.20	c |   1343353 |     200    17000   119000 |    78247    71526     59 |  0.003 % |
977.08/977.70	c |   1345607 |     200    17000   119000 |    78247    73780     59 |  0.003 % |
978.68/979.39	c |   1348085 |     200    17000   119000 |    78247    76258     60 |  0.003 % |
981.18/981.86	c |   1350810 |     200    17000   119000 |    78174    69122     59 |  0.003 % |
983.58/984.26	c |   1353808 |     200    17000   119000 |    78174    72120     59 |  0.003 % |
985.98/986.68	c |   1357105 |     200    17000   119000 |    78174    75417     59 |  0.003 % |
988.58/989.27	c |   1360731 |     200    17000   119000 |    67941    59753     59 |  0.003 % |
990.98/991.67	c |   1364720 |     200    17000   119000 |    67941    63742     59 |  0.003 % |
993.97/994.61	c |   1369105 |     200    17000   119000 |    67941    61324     59 |  0.003 % |
996.87/997.54	c |   1373929 |     200    17000   119000 | 2147483647    66148     59 |  0.003 % |
1000.28/1000.95	c |   1379234 |     200    17000   119000 | 2147483647    71453     59 |  0.003 % |
1004.57/1005.22	c |   1385070 |     200    17000   119000 | 2147483647    77289     59 |  0.003 % |
1009.57/1010.22	c |   1391488 |     200    17000   119000 |    82221    72820     59 |  0.003 % |
1014.57/1015.29	c |   1398547 |     200    17000   119000 |    82221    79879     59 |  0.003 % |
1020.46/1021.19	c |   1406312 |     200    17000   119000 |    81335    76333     60 |  0.003 % |
1026.96/1027.62	c |   1414852 |     200    17000   119000 |    80021    74295     60 |  0.003 % |
1033.76/1034.44	c |   1424247 |     200    17000   119000 |    79443    73499     60 |  0.003 % |
1041.26/1041.98	c |   1434581 |     200    17000   119000 |    79253    73911     60 |  0.003 % |
1050.15/1050.87	c |   1445949 |     200    17000   119000 |    79334    74719     60 |  0.003 % |
1059.34/1060.07	c |   1458452 |     200    17000   119000 |    78770    76696     60 |  0.003 % |
1059.44/1060.16	c |   1458552 |     200    17000   119000 |    78770    76796     60 |  0.003 % |
1059.54/1060.28	c |   1458662 |     200    17000   119000 |    78770    76906     60 |  0.003 % |
1059.65/1060.39	c |   1458783 |     200    17000   119000 |    78770    77027     60 |  0.003 % |
1059.75/1060.49	c |   1458916 |     200    17000   119000 |    78770    77160     60 |  0.003 % |
1059.94/1060.63	c |   1459062 |     200    17000   119000 |    78770    77306     60 |  0.003 % |
1060.14/1060.83	c |   1459224 |     200    17000   119000 |    78770    77468     60 |  0.003 % |
1060.24/1060.98	c |   1459400 |     200    17000   119000 |    78770    77644     60 |  0.003 % |
1060.44/1061.16	c |   1459594 |     200    17000   119000 |    78770    77838     60 |  0.003 % |
1060.75/1061.41	c |   1459806 |     200    17000   119000 |    78770    78050     60 |  0.003 % |
1060.94/1061.64	c |   1460039 |     200    17000   119000 |    78245    78283     60 |  0.003 % |
1061.24/1061.99	c |   1460296 |     200    17000   119000 |    78245    68845     60 |  0.003 % |
1061.54/1062.22	c |   1460577 |     200    17000   119000 |    78245    69126     60 |  0.003 % |
1061.74/1062.49	c |   1460886 |     200    17000   119000 |    78245    69435     60 |  0.003 % |
1062.04/1062.76	c |   1461225 |     200    17000   119000 |    78245    69774     60 |  0.003 % |
1062.34/1063.09	c |   1461597 |     200    17000   119000 |    78245    70146     60 |  0.003 % |
1062.74/1063.47	c |   1462006 |     200    17000   119000 |    78245    70555     60 |  0.003 % |
1063.14/1063.89	c |   1462455 |     200    17000   119000 |    78245    71004     60 |  0.003 % |
1063.54/1064.29	c |   1462950 |     200    17000   119000 |    78245    71499     60 |  0.003 % |
1064.05/1064.72	c |   1463493 |     200    17000   119000 |    78245    72042     60 |  0.003 % |
1064.44/1065.15	c |   1464089 |     200    17000   119000 |    78245    72638     60 |  0.003 % |
1065.04/1065.79	c |   1464745 |     200    17000   119000 |    78245    73294     60 |  0.003 % |
1065.74/1066.45	c |   1465466 |     200    17000   119000 |    78245    74015     60 |  0.003 % |
1066.44/1067.12	c |   1466259 |     200    17000   119000 |    78245    74808     60 |  0.003 % |
1067.04/1067.77	c |   1467132 |     200    17000   119000 |    78245    75681     60 |  0.003 % |
1067.84/1068.55	c |   1468090 |     200    17000   119000 |    78245    76639     60 |  0.003 % |
1068.94/1069.63	c |   1469143 |     200    17000   119000 |    78245    77692     60 |  0.003 % |
1070.04/1070.77	c |   1470301 |     200    17000   119000 |    67042    57544     59 |  0.003 % |
1070.84/1071.57	c |   1471574 |     200    17000   119000 |    67042    58817     60 |  0.003 % |
1071.84/1072.58	c |   1472975 |     200    17000   119000 |    67042    60218     59 |  0.003 % |
1072.84/1073.57	c |   1474515 |     200    17000   119000 |    67042    61758     59 |  0.003 % |
1074.14/1074.84	c |   1476209 |     200    17000   119000 |    67042    63452     59 |  0.003 % |
1075.44/1076.13	c |   1478072 |     200    17000   119000 |    67042    65315     59 |  0.003 % |
1077.04/1077.71	c |   1480123 |     200    17000   119000 | 2147483647    60652     59 |  0.003 % |
1078.54/1079.22	c |   1482378 |     200    17000   119000 | 2147483647    62907     59 |  0.003 % |
1080.13/1080.82	c |   1484858 |     200    17000   119000 | 2147483647    65387     59 |  0.003 % |
1081.83/1082.58	c |   1487584 |     200    17000   119000 | 2147483647    68113     59 |  0.003 % |
1084.33/1085.08	c |   1490582 |     200    17000   119000 | 2147483647    71111     59 |  0.003 % |
1087.03/1087.71	c |   1493880 |     200    17000   119000 | 2147483647    74409     59 |  0.003 % |
1089.93/1090.61	c |   1497505 |     200    17000   119000 | 2147483647    78034     59 |  0.003 % |
1093.43/1094.11	c |   1501493 |     200    17000   119000 |    80529    70550     59 |  0.003 % |
1097.03/1097.77	c |   1505878 |     200    17000   119000 |    80529    74935     59 |  0.003 % |
1101.03/1101.75	c |   1510703 |     200    17000   119000 |    79057    68647     59 |  0.003 % |
1105.02/1105.75	c |   1516009 |     200    17000   119000 |    79057    73953     59 |  0.003 % |
1109.72/1110.47	c |   1521844 |     200    17000   119000 |    77947    69119     59 |  0.003 % |
1114.52/1115.22	c |   1528262 |     200    17000   119000 |    77947    75537     59 |  0.003 % |
1119.92/1120.63	c |   1535323 |     200    17000   119000 |    77275    72729     59 |  0.003 % |
1125.51/1126.28	c |   1543087 |     200    17000   119000 |    67838    62553     59 |  0.003 % |
1131.71/1132.43	c |   1551627 |     200    17000   119000 | 2147483647    64300     59 |  0.003 % |
1138.31/1139.07	c |   1561021 |     200    17000   119000 | 2147483647    73694     59 |  0.003 % |
1146.70/1147.47	c |   1571356 |     200    17000   119000 |    82673    72723     59 |  0.003 % |
1155.59/1156.36	c |   1582722 |     200    17000   119000 |    81367    73034     60 |  0.003 % |
1165.89/1166.68	c |   1595224 |     200    17000   119000 |    80313    75306     60 |  0.003 % |
1176.69/1177.48	c |   1608976 |     200    17000   119000 |    80082    78922     60 |  0.003 % |
1176.79/1177.56	c |   1609076 |     200    17000   119000 |    80082    79022     60 |  0.003 % |
1176.89/1177.69	c |   1609186 |     200    17000   119000 |    80082    79132     60 |  0.003 % |
1177.09/1177.80	c |   1609307 |     200    17000   119000 |    80082    79253     60 |  0.003 % |
1177.19/1177.91	c |   1609440 |     200    17000   119000 |    80082    79386     60 |  0.003 % |
1177.29/1178.02	c |   1609586 |     200    17000   119000 |    80082    79532     60 |  0.003 % |
1177.39/1178.19	c |   1609747 |     200    17000   119000 |    80082    79693     60 |  0.003 % |
1177.59/1178.35	c |   1609927 |     200    17000   119000 |    80082    79873     60 |  0.003 % |
1177.89/1178.60	c |   1610121 |     200    17000   119000 |    79946    69540     60 |  0.003 % |
1177.98/1178.78	c |   1610333 |     200    17000   119000 |    79946    69752     60 |  0.003 % |
1178.18/1178.96	c |   1610566 |     200    17000   119000 |    79946    69985     60 |  0.003 % |
1178.49/1179.21	c |   1610825 |     200    17000   119000 |    79946    70244     60 |  0.003 % |
1178.68/1179.43	c |   1611106 |     200    17000   119000 |    79946    70525     60 |  0.003 % |
1178.88/1179.70	c |   1611415 |     200    17000   119000 |    79946    70834     60 |  0.003 % |
1179.18/1179.96	c |   1611755 |     200    17000   119000 |    79946    71174     60 |  0.003 % |
1179.49/1180.27	c |   1612129 |     200    17000   119000 |    79946    71548     60 |  0.003 % |
1179.78/1180.59	c |   1612538 |     200    17000   119000 |    79946    71957     60 |  0.003 % |
1180.28/1181.02	c |   1612989 |     200    17000   119000 |    79946    72408     60 |  0.003 % |
1180.78/1181.53	c |   1613484 |     200    17000   119000 |    79946    72903     60 |  0.003 % |
1181.28/1182.02	c |   1614026 |     200    17000   119000 |    79946    73445     60 |  0.003 % |
1181.88/1182.61	c |   1614624 |     200    17000   119000 |    79946    74043     60 |  0.003 % |
1182.38/1183.13	c |   1615281 |     200    17000   119000 |    79946    74700     60 |  0.003 % |
1182.89/1183.66	c |   1616001 |     200    17000   119000 |    79946    75420     60 |  0.003 % |
1183.68/1184.47	c |   1616796 |     200    17000   119000 |    79946    76215     60 |  0.003 % |
1184.48/1185.28	c |   1617669 |     200    17000   119000 |    79946    77088     60 |  0.003 % |
1185.38/1186.15	c |   1618628 |     200    17000   119000 |    79946    78047     60 |  0.003 % |
1186.28/1187.06	c |   1619683 |     200    17000   119000 |    79946    79102     60 |  0.003 % |
1187.19/1187.92	c |   1620842 |     200    17000   119000 |    79419    68362     60 |  0.003 % |
1187.98/1188.76	c |   1622115 |     200    17000   119000 |    79419    69635     60 |  0.003 % |
1188.98/1189.71	c |   1623515 |     200    17000   119000 |    79419    71035     59 |  0.003 % |
1190.28/1191.02	c |   1625055 |     200    17000   119000 |    79419    72575     59 |  0.003 % |
1191.68/1192.49	c |   1626750 |     200    17000   119000 |    79419    74270     59 |  0.003 % |
1193.28/1194.02	c |   1628615 |     200    17000   119000 |    79419    76135     59 |  0.003 % |
1194.98/1195.72	c |   1630666 |     200    17000   119000 |    77521    67788     59 |  0.003 % |
1196.57/1197.30	c |   1632919 |     200    17000   119000 |    77521    70041     59 |  0.003 % |
1198.37/1199.15	c |   1635397 |     200    17000   119000 |    77521    72519     59 |  0.003 % |
1200.07/1200.81	HOME/SatELiteGTI: line 36:  7081 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-1832571-1242784702/watcher-1832571-1242784702 -o /tmp/evaluation-result-1832571-1242784702/solver-1832571-1242784702 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832571-1242784702.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 7075
/proc/meminfo: memFree=1693160/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306503774 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 237788430418 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/7075/statm: 1339 235 195 169 0 50 0
[pid=7076] ppid=7075 vsize=5356 CPUtime=0
/proc/7076/stat : 7076 (SatELiteGTI) S 7075 7075 6992 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306503774 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/7076/statm: 1339 238 198 169 0 50 0
[pid=7078] ppid=7076 vsize=184 CPUtime=0
/proc/7078/stat : 7078 (sed) R 7076 7075 6992 0 -1 4194304 22 0 0 0 0 0 0 0 18 0 1 0 306503774 188416 4 1992294400 0 0 548682069787 18446744073709551615 237788261671 0 0 4096 0 0 0 0 17 0 0 0
/proc/7078/statm: 47 16 10 11 0 10 0

[startup+0.0743179 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 7075
/proc/meminfo: memFree=1693160/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.10132 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 7075
/proc/meminfo: memFree=1693160/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301341 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 7075
/proc/meminfo: memFree=1693160/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701385 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 7075
/proc/meminfo: memFree=1693160/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50146 s]
/proc/loadavg: 0.92 0.99 0.99 2/66 7081
/proc/meminfo: memFree=1689168/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=4932 CPUtime=1.4
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 993 0 0 0 140 0 0 0 25 0 1 0 306503781 5050368 979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 1233 979 76 171 0 1060 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10288

[startup+3.10163 s]
/proc/loadavg: 0.92 0.99 0.99 2/66 7081
/proc/meminfo: memFree=1687568/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=7316 CPUtime=3
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 1594 0 0 0 299 1 0 0 25 0 1 0 306503781 7491584 1580 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 1829 1581 76 171 0 1656 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 12672

[startup+6.30296 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 7081
/proc/meminfo: memFree=1683664/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=10436 CPUtime=6.2
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 2369 0 0 0 618 2 0 0 25 0 1 0 306503781 10686464 2355 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 2609 2355 76 171 0 2436 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 15792

[startup+12.7016 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 7081
/proc/meminfo: memFree=1679184/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=14608 CPUtime=12.59
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 3394 0 0 0 1256 3 0 0 25 0 1 0 306503781 14958592 3380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 3652 3380 76 171 0 3479 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 19964

[startup+25.502 s]
/proc/loadavg: 0.95 0.99 0.99 2/66 7081
/proc/meminfo: memFree=1673488/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=20024 CPUtime=25.37
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 4762 0 0 0 2533 4 0 0 25 0 1 0 306503781 20504576 4748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528702 0 0 4096 3 0 0 0 17 1 0 0
/proc/7081/statm: 5006 4748 76 171 0 4833 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 25380

[startup+51.1016 s]
/proc/loadavg: 0.96 0.99 0.99 2/66 7081
/proc/meminfo: memFree=1670032/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=23340 CPUtime=50.95
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 5592 0 0 0 5089 6 0 0 25 0 1 0 306503781 23900160 5578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 5835 5578 76 171 0 5662 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 28696

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/66 7081
/proc/meminfo: memFree=1669840/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=23340 CPUtime=102.11
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 5592 0 0 0 10205 6 0 0 25 0 1 0 306503781 23900160 5578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 5835 5578 76 171 0 5662 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 28696

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 7087
/proc/meminfo: memFree=1666952/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=25852 CPUtime=162.07
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6222 0 0 0 16200 7 0 0 25 0 1 0 306503781 26472448 6208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6463 6208 76 171 0 6290 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 31208

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 3/74 7478
/proc/meminfo: memFree=1647048/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=26248 CPUtime=222.03
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6318 0 0 0 22195 8 0 0 25 0 1 0 306503781 26877952 6304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6562 6304 76 171 0 6389 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 31604

[startup+282.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1624392/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=26776 CPUtime=281.99
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6469 0 0 0 28188 11 0 0 25 0 1 0 306503781 27418624 6455 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6694 6455 76 171 0 6521 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 32132

[startup+342.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1624392/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=26908 CPUtime=341.95
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6495 0 0 0 34184 11 0 0 25 0 1 0 306503781 27553792 6481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6727 6481 76 171 0 6554 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 32264

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1624136/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=27040 CPUtime=401.91

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

[pid=7081] ppid=7075 vsize=27296 CPUtime=461.89
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6587 0 0 0 46177 12 0 0 25 0 1 0 306503781 27951104 6557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6824 6557 76 171 0 6651 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 32652

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1623688/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=27296 CPUtime=521.85
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6597 0 0 0 52173 12 0 0 25 0 1 0 306503781 27951104 6567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6824 6567 76 171 0 6651 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 32652

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1623376/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=27560 CPUtime=581.82
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6649 0 0 0 58170 12 0 0 25 0 1 0 306503781 28221440 6619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6890 6619 76 171 0 6717 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 32916

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1623248/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=27560 CPUtime=641.8
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6657 0 0 0 64168 12 0 0 25 0 1 0 306503781 28221440 6627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 6890 6627 76 171 0 6717 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 32916

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1622544/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28088 CPUtime=701.77
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6812 0 0 0 70165 12 0 0 25 0 1 0 306503781 28762112 6782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7022 6782 76 171 0 6849 0
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (KiB) 33444

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1622160/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28368 CPUtime=761.74
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6869 0 0 0 76162 12 0 0 25 0 1 0 306503781 29048832 6839 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7092 6839 76 171 0 6919 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 33724

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1622096/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28368 CPUtime=821.7
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6869 0 0 0 82158 12 0 0 25 0 1 0 306503781 29048832 6839 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7092 6839 76 171 0 6919 0
Current children cumulated CPU time (s) 821.75
Current children cumulated vsize (KiB) 33724

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1621840/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28508 CPUtime=881.67
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6913 0 0 0 88155 12 0 0 25 0 1 0 306503781 29192192 6883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7127 6883 76 171 0 6954 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 33864

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1621584/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28776 CPUtime=941.65
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6950 0 0 0 94152 13 0 0 25 0 1 0 306503781 29466624 6920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7194 6920 76 171 0 7021 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 34132

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1621392/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28776 CPUtime=1001.62
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6965 0 0 0 100149 13 0 0 25 0 1 0 306503781 29466624 6935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7194 6935 76 171 0 7021 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 34132

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1621328/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28776 CPUtime=1061.59
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6965 0 0 0 106146 13 0 0 25 0 1 0 306503781 29466624 6935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7194 6935 76 171 0 7021 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 34132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7563
/proc/meminfo: memFree=1621200/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28776 CPUtime=1121.57
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6965 0 0 0 112144 13 0 0 25 0 1 0 306503781 29466624 6935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7194 6935 76 171 0 7021 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 34132

[startup+1182.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 7563
/proc/meminfo: memFree=1621136/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28776 CPUtime=1181.53
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 6978 0 0 0 118140 13 0 0 25 0 1 0 306503781 29466624 6948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7194 6948 76 171 0 7021 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 34132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 7563
/proc/meminfo: memFree=1621008/2055920 swapFree=4180428/4192956
[pid=7075] ppid=7073 vsize=5356 CPUtime=0.05
/proc/7075/stat : 7075 (SatELiteGTI) S 7073 7075 6992 0 -1 4194304 336 746 0 0 0 0 5 0 16 0 1 0 306503774 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7075/statm: 1339 239 197 169 0 50 0
[pid=7081] ppid=7075 vsize=28924 CPUtime=1200.02
/proc/7081/stat : 7081 (minisat_static) R 7075 7075 6992 0 -1 4194304 7007 0 0 0 119989 13 0 0 25 0 1 0 306503781 29618176 6977 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7081/statm: 7231 6977 76 171 0 7058 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 34280

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.11
CPU user time (s): 1199.96
CPU system time (s): 0.147977
CPU usage (%): 99.9411
Max. virtual memory (cumulated for all children) (KiB): 34280

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

runsolver used 1.11483 second user time and 3.39248 second system time

The end

Launcher Data

Begin job on node24 at 2009-05-20 03:58:23
IDJOB=1832571
IDBENCH=70249
IDSOLVER=671
FILE ID=node24/1832571-1242784702
PBS_JOBID= 9322322
Free space on /tmp= 66148 MiB

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

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

MD5SUM BENCH= 95130954abd8400708fa3e3db5d60039
RANDOM SEED=67706315

node24.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.232
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.232
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:       1693704 kB
Buffers:         23224 kB
Cached:         297412 kB
SwapCached:       6716 kB
Active:         223160 kB
Inactive:       106340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1693704 kB
SwapTotal:     4192956 kB
SwapFree:      4180428 kB
Dirty:            2068 kB
Writeback:           0 kB
Mapped:          13964 kB
Slab:            18704 kB
Committed_AS:  1024080 kB
PageTables:       1444 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= 66148 MiB
End job on node24 at 2009-05-20 04:18:25