Trace number 1820608

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.09 1200.03

General information on the benchmark

Nameindustrial/grieu/
vmpc_28.cnf
MD5SUM2679ca6fb11bcf9f950de09652ce7147
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark52.91
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of clauses108080
Sum of the clauses size283220
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242420
Number of clauses of size 365604
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 556

Solver Data

0.00/0.00	c Parsing...
0.04/0.07	c ==============================================================================
0.04/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.04/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.04/0.07	c ==============================================================================
0.04/0.07	c |         0 |  108080   283220 |   32423       0        0     nan |  0.000 % |
0.04/0.07	c ==============================================================================
0.04/0.07	c Result  :   #vars: 784   #clauses: 108080   #literals: 283220
0.04/0.07	c CPU time:   0.03 s
0.04/0.07	c ==============================================================================
0.12/0.18	c This is MiniSat 2.0 beta
0.12/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.12/0.18	c ============================[ Problem Statistics ]=============================
0.12/0.18	c |                                                                             |
0.12/0.18	c |  Number of variables:  784                                                  |
0.12/0.18	c |  Number of clauses:    108080                                               |
0.12/0.21	c |  Parsing time:         0.05         s                                       |
0.12/0.22	c ============================[ Search Statistics ]==============================
0.12/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.12/0.22	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.12/0.22	c ===============================================================================
0.12/0.22	c |         0 |     784   108080   283220 |    36026        0    nan |  0.000 % |
0.17/0.25	c |       102 |     784   108080   283220 |    36026      102     46 |  0.000 % |
0.17/0.27	c |       202 |     784   108080   283220 |    36026      202     39 |  0.010 % |
0.17/0.28	c |       302 |     784   108080   283220 |    36026      302     32 |  0.011 % |
0.17/0.30	c |       412 |     784   108080   283220 |    36026      412     30 |  0.011 % |
0.17/0.31	c |       516 |     784   108080   283220 |    36026      516     28 |  0.010 % |
0.17/0.32	c |       631 |     784   108080   283220 |    36026      631     35 |  0.000 % |
0.17/0.34	c |       754 |     784   108080   283220 |    36026      754     35 |  0.011 % |
0.17/0.35	c |       854 |     784   108080   283220 |    36026      854     34 |  0.011 % |
0.17/0.36	c |       964 |     784   108080   283220 |    36026      964     33 |  0.011 % |
0.17/0.38	c |      1086 |     784   108080   283220 |    36026     1086     33 |  0.011 % |
0.17/0.39	c |      1220 |     784   108080   283220 |    36026     1220     37 |  0.000 % |
0.17/0.41	c |      1323 |     784   108080   283220 |    36026     1323     37 |  0.011 % |
0.17/0.42	c |      1436 |     784   108080   283220 |    36026     1436     36 |  0.011 % |
0.17/0.44	c |      1558 |     784   108080   283220 |    36026     1558     35 |  0.011 % |
0.17/0.46	c |      1691 |     784   108080   283220 |    36026     1691     38 |  0.000 % |
0.17/0.47	c |      1837 |     784   108080   283220 |    36026     1837     37 |  0.011 % |
0.17/0.49	c |      1938 |     784   108080   283220 |    36026     1938     36 |  0.011 % |
0.17/0.50	c |      2048 |     784   108080   283220 |    36026     2048     35 |  0.011 % |
0.17/0.52	c |      2170 |     784   108080   283220 |    36026     2170     37 |  0.000 % |
0.17/0.53	c |      2306 |     784   108080   283220 |    36026     2306     37 |  0.000 % |
0.17/0.55	c |      2452 |     784   108080   283220 |    36026     2452     36 |  0.011 % |
0.17/0.57	c |      2612 |     784   108080   283220 |    36026     2612     36 |  0.011 % |
0.17/0.58	c |      2712 |     784   108080   283220 |    36026     2712     37 |  0.010 % |
0.17/0.60	c |      2822 |     784   108080   283220 |    36026     2822     37 |  0.011 % |
0.17/0.61	c |      2946 |     784   108080   283220 |    36026     2946     36 |  0.011 % |
0.17/0.63	c |      3079 |     784   108080   283220 |    36026     3079     36 |  0.010 % |
0.17/0.65	c |      3225 |     784   108080   283220 |    36026     3225     38 |  0.000 % |
0.17/0.67	c |      3385 |     784   108080   283220 |    36026     3385     38 |  0.011 % |
0.17/0.69	c |      3561 |     784   108080   283220 |    36026     3561     37 |  0.011 % |
0.17/0.70	c |      3661 |     784   108080   283220 |    36026     3661     39 |  0.000 % |
0.17/0.72	c |      3771 |     784   108080   283220 |    36026     3771     39 |  0.011 % |
0.17/0.74	c |      3893 |     784   108080   283220 |    36026     3893     38 |  0.011 % |
0.17/0.76	c |      4026 |     784   108080   283220 |    36026     4026     38 |  0.011 % |
0.17/0.77	c |      4172 |     784   108080   283220 |    36026     4172     40 |  0.000 % |
0.17/0.79	c |      4333 |     784   108080   283220 |    36026     4333     40 |  0.011 % |
0.17/0.82	c |      4509 |     784   108080   283220 |    36026     4509     40 |  0.011 % |
0.17/0.84	c |      4702 |     784   108080   283220 |    36026     4702     42 |  0.000 % |
0.17/0.85	c |      4803 |     784   108080   283220 |    36026     4803     42 |  0.010 % |
0.17/0.87	c |      4914 |     784   108080   283220 |    36026     4914     41 |  0.011 % |
0.17/0.89	c |      5036 |     784   108080   283220 |    36026     5036     41 |  0.010 % |
0.17/0.91	c |      5173 |     784   108080   283220 |    36026     5173     42 |  0.000 % |
0.17/0.92	c |      5319 |     784   108080   283220 |    36026     5319     41 |  0.011 % |
0.17/0.95	c |      5480 |     784   108080   283220 |    36026     5480     41 |  0.011 % |
0.17/0.97	c |      5657 |     784   108080   283220 |    36026     5657     41 |  0.012 % |
0.17/1.00	c |      5850 |     784   108080   283220 |    36026     5850     40 |  0.011 % |
1.02/1.03	c |      6063 |     784   108080   283220 |    36026     6063     40 |  0.011 % |
1.02/1.04	c |      6164 |     784   108080   283220 |    36026     6164     40 |  0.000 % |
1.02/1.06	c |      6274 |     784   108080   283220 |    36026     6274     40 |  0.000 % |
1.02/1.07	c |      6397 |     784   108080   283220 |    36026     6397     41 |  0.011 % |
1.02/1.09	c |      6531 |     784   108080   283220 |    36026     6531     41 |  0.011 % |
1.02/1.12	c |      6678 |     784   108080   283220 |    36026     6678     41 |  0.000 % |
1.13/1.14	c |      6838 |     784   108080   283220 |    36026     6838     41 |  0.011 % |
1.13/1.16	c |      7014 |     784   108080   283220 |    36026     7014     41 |  0.011 % |
1.13/1.19	c |      7209 |     784   108080   283220 |    36026     7209     43 |  0.000 % |
1.22/1.22	c |      7422 |     784   108080   283220 |    36026     7422     43 |  0.000 % |
1.22/1.25	c |      7659 |     784   108080   283220 |    36026     7659     42 |  0.011 % |
1.22/1.27	c |      7761 |     784   108080   283220 |    36026     7761     42 |  0.011 % |
1.22/1.29	c |      7872 |     784   108080   283220 |    36026     7872     42 |  0.011 % |
1.32/1.31	c |      7994 |     784   108080   283220 |    36026     7994     42 |  0.011 % |
1.32/1.33	c |      8127 |     784   108080   283220 |    36026     8127     41 |  0.011 % |
1.32/1.36	c |      8275 |     784   108080   283220 |    36026     8275     41 |  0.011 % |
1.32/1.39	c |      8435 |     784   108080   283220 |    36026     8435     41 |  0.011 % |
1.42/1.41	c |      8611 |     784   108080   283220 |    36026     8611     40 |  0.011 % |
1.42/1.45	c |      8807 |     784   108080   283220 |    36026     8807     40 |  0.011 % |
1.42/1.48	c |      9020 |     784   108080   283220 |    36026     9020     40 |  0.011 % |
1.52/1.52	c |      9254 |     784   108080   283220 |    36026     9254     41 |  0.000 % |
1.52/1.56	c |      9513 |     784   108080   283220 |    36026     9513     40 |  0.000 % |
1.52/1.58	c |      9613 |     784   108080   283220 |    36026     9613     41 |  0.000 % |
1.52/1.59	c |      9726 |     784   108080   283220 |    36026     9726     41 |  0.011 % |
1.62/1.62	c |      9848 |     784   108080   283220 |    36026     9848     41 |  0.011 % |
1.62/1.64	c |      9981 |     784   108080   283220 |    36026     9981     41 |  0.011 % |
1.62/1.67	c |     10128 |     784   108080   283220 | 2147483647    10128     41 |  0.011 % |
1.62/1.70	c |     10288 |     784   108080   283220 | 2147483647    10288     41 |  0.011 % |
1.72/1.73	c |     10464 |     784   108080   283220 | 2147483647    10464     41 |  0.011 % |
1.72/1.77	c |     10658 |     784   108080   283220 | 2147483647    10658     41 |  0.011 % |
1.72/1.80	c |     10871 |     784   108080   283220 | 2147483647    10871     40 |  0.011 % |
1.82/1.84	c |     11105 |     784   108080   283220 | 2147483647    11105     40 |  0.011 % |
1.82/1.89	c |     11361 |     784   108080   283220 | 2147483647    11361     40 |  0.011 % |
1.92/1.94	c |     11643 |     784   108080   283220 | 2147483647    11643     40 |  0.000 % |
1.92/1.96	c |     11743 |     784   108080   283220 | 2147483647    11743     40 |  0.011 % |
1.92/1.98	c |     11854 |     784   108080   283220 | 2147483647    11854     40 |  0.011 % |
1.92/2.00	c |     11977 |     784   108080   283220 | 2147483647    11977     40 |  0.011 % |
2.02/2.03	c |     12110 |     784   108080   283220 | 2147483647    12110     40 |  0.011 % |
2.02/2.06	c |     12259 |     784   108080   283220 | 2147483647    12259     39 |  0.011 % |
2.02/2.09	c |     12419 |     784   108080   283220 | 2147483647    12419     39 |  0.011 % |
2.12/2.12	c |     12595 |     784   108080   283220 | 2147483647    12595     39 |  0.011 % |
2.12/2.15	c |     12788 |     784   108080   283220 | 2147483647    12788     40 |  0.000 % |
2.12/2.19	c |     13000 |     784   108080   283220 | 2147483647    13000     40 |  0.011 % |
2.23/2.24	c |     13234 |     784   108080   283220 | 2147483647    13234     40 |  0.000 % |
2.23/2.28	c |     13490 |     784   108080   283220 | 2147483647    13490     40 |  0.011 % |
2.32/2.34	c |     13771 |     784   108080   283220 | 2147483647    13771     40 |  0.011 % |
2.32/2.39	c |     14081 |     784   108080   283220 | 2147483647    14081     40 |  0.011 % |
2.32/2.41	c |     14181 |     784   108080   283220 | 2147483647    14181     40 |  0.000 % |
2.42/2.42	c |     14293 |     784   108080   283220 | 2147483647    14293     40 |  0.011 % |
2.42/2.44	c |     14416 |     784   108080   283220 | 2147483647    14416     40 |  0.011 % |
2.42/2.47	c |     14550 |     784   108080   283220 | 2147483647    14550     40 |  0.011 % |
2.42/2.49	c |     14697 |     784   108080   283220 | 2147483647    14697     40 |  0.000 % |
2.52/2.52	c |     14858 |     784   108080   283220 | 2147483647    14858     41 |  0.000 % |
2.52/2.55	c |     15037 |     784   108080   283220 | 2147483647    15037     41 |  0.011 % |
2.52/2.58	c |     15233 |     784   108080   283220 | 2147483647    15233     41 |  0.000 % |
2.62/2.62	c |     15453 |     784   108080   283220 | 2147483647    15453     41 |  0.011 % |
2.62/2.67	c |     15689 |     784   108080   283220 | 2147483647    15689     41 |  0.011 % |
2.72/2.71	c |     15945 |     784   108080   283220 | 2147483647    15945     41 |  0.011 % |
2.72/2.77	c |     16227 |     784   108080   283220 | 2147483647    16227     40 |  0.011 % |
2.82/2.83	c |     16538 |     784   108080   283220 | 2147483647    16538     40 |  0.011 % |
2.82/2.89	c |     16877 |     784   108080   283220 | 2147483647    16877     41 |  0.000 % |
2.92/2.91	c |     16977 |     784   108080   283220 | 2147483647    16977     41 |  0.011 % |
2.92/2.93	c |     17088 |     784   108080   283220 | 2147483647    17088     41 |  0.011 % |
2.92/2.96	c |     17209 |     784   108080   283220 | 2147483647    17209     41 |  0.000 % |
2.92/2.98	c |     17342 |     784   108080   283220 | 2147483647    17342     41 |  0.000 % |
3.02/3.01	c |     17488 |     784   108080   283220 | 2147483647    17488     41 |  0.011 % |
3.02/3.05	c |     17648 |     784   108080   283220 | 2147483647    17648     41 |  0.011 % |
3.02/3.08	c |     17828 |     784   108080   283220 | 2147483647    17828     41 |  0.011 % |
3.12/3.12	c |     18022 |     784   108080   283220 | 2147483647    18022     41 |  0.011 % |
3.12/3.16	c |     18234 |     784   108080   283220 | 2147483647    18234     41 |  0.000 % |
3.12/3.20	c |     18468 |     784   108080   283220 | 2147483647    18468     41 |  0.020 % |
3.22/3.25	c |     18725 |     784   108080   283220 | 2147483647    18725     41 |  0.010 % |
3.22/3.31	c |     19006 |     784   108080   283220 | 2147483647    19006     41 |  0.011 % |
3.33/3.36	c |     19315 |     784   108080   283220 | 2147483647    19315     42 |  0.000 % |
3.42/3.44	c |     19660 |     784   108080   283220 | 2147483647    19660     42 |  0.011 % |
3.42/3.51	c |     20033 |     784   108080   283220 | 2147483647    20033     41 |  0.000 % |
3.52/3.53	c |     20134 |     784   108080   283220 | 2147483647    20134     42 |  0.000 % |
3.52/3.56	c |     20244 |     784   108080   283220 | 2147483647    20244     42 |  0.011 % |
3.52/3.59	c |     20366 |     784   108080   283220 | 2147483647    20366     41 |  0.011 % |
3.62/3.62	c |     20500 |     784   108080   283220 | 2147483647    20500     41 |  0.011 % |
3.62/3.65	c |     20646 |     784   108080   283220 | 2147483647    20646     42 |  0.000 % |
3.62/3.68	c |     20806 |     784   108080   283220 | 2147483647    20806     42 |  0.000 % |
3.72/3.72	c |     20982 |     784   108080   283220 | 2147483647    20982     42 |  0.011 % |
3.72/3.75	c |     21177 |     784   108080   283220 | 2147483647    21177     42 |  0.011 % |
3.72/3.79	c |     21392 |     784   108080   283220 | 2147483647    21392     41 |  0.011 % |
3.82/3.84	c |     21626 |     784   108080   283220 | 2147483647    21626     41 |  0.011 % |
3.82/3.90	c |     21883 |     784   108080   283220 | 2147483647    21883     41 |  0.011 % |
3.92/3.96	c |     22167 |     784   108080   283220 | 2147483647    22167     41 |  0.011 % |
4.02/4.02	c |     22476 |     784   108080   283220 | 2147483647    22476     41 |  0.011 % |
4.02/4.10	c |     22818 |     784   108080   283220 | 2147483647    22818     41 |  0.011 % |
4.12/4.20	c |     23191 |     784   108080   283220 | 2147483647    23191     41 |  0.011 % |
4.22/4.30	c |     23600 |     784   108080   283220 | 2147483647    23600     40 |  0.011 % |
4.32/4.33	c |     23702 |     784   108080   283220 | 2147483647    23702     40 |  0.011 % |
4.32/4.36	c |     23814 |     784   108080   283220 | 2147483647    23814     40 |  0.011 % |
4.32/4.39	c |     23935 |     784   108080   283220 | 2147483647    23935     40 |  0.011 % |
4.43/4.43	c |     24068 |     784   108080   283220 | 2147483647    24068     40 |  0.011 % |
4.43/4.45	c |     24215 |     784   108080   283220 | 2147483647    24215     41 |  0.000 % |
4.43/4.49	c |     24375 |     784   108080   283220 | 2147483647    24375     40 |  0.000 % |
4.52/4.53	c |     24555 |     784   108080   283220 | 2147483647    24555     40 |  0.011 % |
4.52/4.58	c |     24749 |     784   108080   283220 | 2147483647    24749     41 |  0.000 % |
4.62/4.63	c |     24961 |     784   108080   283220 | 2147483647    24961     41 |  0.000 % |
4.62/4.69	c |     25194 |     784   108080   283220 | 2147483647    25194     41 |  0.011 % |
4.72/4.75	c |     25452 |     784   108080   283220 | 2147483647    25452     40 |  0.011 % |
4.82/4.82	c |     25734 |     784   108080   283220 | 2147483647    25734     40 |  0.011 % |
4.82/4.88	c |     26045 |     784   108080   283220 | 2147483647    26045     40 |  0.011 % |
4.92/4.95	c |     26385 |     784   108080   283220 | 2147483647    26385     41 |  0.000 % |
5.02/5.03	c |     26757 |     784   108080   283220 | 2147483647    26757     41 |  0.011 % |
5.12/5.14	c |     27170 |     784   108080   283220 | 2147483647    27170     40 |  0.011 % |
5.22/5.26	c |     27619 |     784   108080   283220 | 2147483647    27619     40 |  0.011 % |
5.22/5.28	c |     27719 |     784   108080   283220 | 2147483647    27719     40 |  0.011 % |
5.32/5.31	c |     27829 |     784   108080   283220 | 2147483647    27829     40 |  0.011 % |
5.32/5.34	c |     27953 |     784   108080   283220 | 2147483647    27953     40 |  0.011 % |
5.32/5.38	c |     28087 |     784   108080   283220 | 2147483647    28087     40 |  0.011 % |
5.42/5.42	c |     28234 |     784   108080   283220 | 2147483647    28234     40 |  0.000 % |
5.42/5.46	c |     28394 |     784   108080   283220 | 2147483647    28394     40 |  0.011 % |
5.42/5.50	c |     28570 |     784   108080   283220 | 2147483647    28570     40 |  0.011 % |
5.53/5.55	c |     28763 |     784   108080   283220 | 2147483647    28763     40 |  0.000 % |
5.53/5.60	c |     28975 |     784   108080   283220 | 2147483647    28975     40 |  0.000 % |
5.62/5.66	c |     29208 |     784   108080   283220 | 2147483647    29208     40 |  0.011 % |
5.72/5.74	c |     29464 |     784   108080   283220 | 2147483647    29464     40 |  0.010 % |
5.82/5.81	c |     29747 |     784   108080   283220 | 2147483647    29747     40 |  0.010 % |
5.82/5.91	c |     30058 |     784   108080   283220 | 2147483647    30058     40 |  0.011 % |
5.92/5.99	c |     30397 |     784   108080   283220 | 2147483647    30397     40 |  0.000 % |
6.02/6.08	c |     30770 |     784   108080   283220 | 2147483647    30770     40 |  0.011 % |
6.12/6.20	c |     31180 |     784   108080   283220 | 2147483647    31180     40 |  0.011 % |
6.32/6.32	c |     31631 |     784   108080   283220 | 2147483647    31631     40 |  0.011 % |
6.42/6.46	c |     32127 |     784   108080   283220 | 2147483647    32127     40 |  0.011 % |
6.42/6.49	c |     32227 |     784   108080   283220 | 2147483647    32227     40 |  0.011 % |
6.52/6.52	c |     32338 |     784   108080   283220 | 2147483647    32338     40 |  0.011 % |
6.52/6.56	c |     32460 |     784   108080   283220 | 2147483647    32460     40 |  0.011 % |
6.52/6.59	c |     32594 |     784   108080   283220 | 2147483647    32594     40 |  0.011 % |
6.63/6.63	c |     32741 |     784   108080   283220 | 2147483647    32741     40 |  0.000 % |
6.63/6.67	c |     32901 |     784   108080   283220 | 2147483647    32901     40 |  0.011 % |
6.72/6.72	c |     33079 |     784   108080   283220 | 2147483647    33079     40 |  0.011 % |
6.72/6.78	c |     33273 |     784   108080   283220 | 2147483647    33273     40 |  0.000 % |
6.82/6.83	c |     33489 |     784   108080   283220 | 2147483647    33489     40 |  0.011 % |
6.82/6.90	c |     33724 |     784   108080   283220 | 2147483647    33724     40 |  0.011 % |
6.92/6.96	c |     33980 |     784   108080   283220 | 2147483647    33980     40 |  0.011 % |
7.02/7.04	c |     34262 |     784   108080   283220 | 2147483647    34262     40 |  0.011 % |
7.12/7.13	c |     34571 |     784   108080   283220 | 2147483647    34571     40 |  0.011 % |
7.22/7.22	c |     34910 |     784   108080   283220 | 2147483647    34910     40 |  0.000 % |
7.22/7.31	c |     35282 |     784   108080   283220 | 2147483647    35282     41 |  0.000 % |
7.42/7.42	c |     35691 |     784   108080   283220 | 2147483647    35691     41 |  0.011 % |
7.52/7.55	c |     36140 |     784   108080   283220 | 2147483647    36140     40 |  0.011 % |
7.62/7.69	c |     36634 |     784   108080   283220 | 2147483647    36634     40 |  0.011 % |
7.82/7.85	c |     37176 |     784   108080   283220 | 2147483647    37176     40 |  0.011 % |
7.82/7.89	c |     37276 |     784   108080   283220 | 2147483647    37276     40 |  0.011 % |
7.92/7.93	c |     37386 |     784   108080   283220 | 2147483647    37386     40 |  0.011 % |
7.92/7.96	c |     37509 |     784   108080   283220 | 2147483647    37509     40 |  0.011 % |
7.92/8.00	c |     37642 |     784   108080   283220 | 2147483647    37642     40 |  0.000 % |
8.02/8.04	c |     37790 |     784   108080   283220 | 2147483647    37790     40 |  0.011 % |
8.02/8.09	c |     37950 |     784   108080   283220 | 2147483647    37950     40 |  0.011 % |
8.12/8.14	c |     38126 |     784   108080   283220 | 2147483647    38126     40 |  0.011 % |
8.12/8.19	c |     38319 |     784   108080   283220 | 2147483647    38319     40 |  0.011 % |
8.22/8.26	c |     38532 |     784   108080   283220 | 2147483647    38532     40 |  0.011 % |
8.32/8.32	c |     38766 |     784   108080   283220 | 2147483647    38766     40 |  0.000 % |
8.32/8.39	c |     39022 |     784   108080   283220 | 2147483647    39022     40 |  0.000 % |
8.42/8.48	c |     39304 |     784   108080   283220 | 2147483647    39304     41 |  0.000 % |
8.52/8.56	c |     39613 |     784   108080   283220 | 2147483647    39613     41 |  0.000 % |
8.62/8.66	c |     39952 |     784   108080   283220 | 2147483647    39952     41 |  0.011 % |
8.72/8.76	c |     40327 |     784   108080   283220 | 2147483647    40327     40 |  0.011 % |
8.83/8.88	c |     40738 |     784   108080   283220 | 2147483647    40738     40 |  0.011 % |
8.92/8.99	c |     41188 |     784   108080   283220 | 2147483647    41188     40 |  0.011 % |
9.12/9.13	c |     41682 |     784   108080   283220 | 2147483647    41682     40 |  0.011 % |
9.22/9.30	c |     42226 |     784   108080   283220 | 2147483647    42226     40 |  0.011 % |
9.42/9.51	c |     42822 |     784   108080   283220 | 2147483647    42822     40 |  0.000 % |
9.52/9.54	c |     42925 |     784   108080   283220 | 2147483647    42925     40 |  0.011 % |
9.52/9.57	c |     43038 |     784   108080   283220 | 2147483647    43038     40 |  0.011 % |
9.62/9.61	c |     43159 |     784   108080   283220 | 2147483647    43159     40 |  0.000 % |
9.62/9.65	c |     43295 |     784   108080   283220 | 2147483647    43295     40 |  0.011 % |
9.62/9.70	c |     43441 |     784   108080   283220 | 2147483647    43441     40 |  0.011 % |
9.72/9.74	c |     43601 |     784   108080   283220 | 2147483647    43601     40 |  0.011 % |
9.72/9.79	c |     43778 |     784   108080   283220 | 2147483647    43778     40 |  0.011 % |
9.82/9.86	c |     43971 |     784   108080   283220 | 2147483647    43971     40 |  0.011 % |
9.82/9.92	c |     44186 |     784   108080   283220 | 2147483647    44186     40 |  0.011 % |
9.93/9.99	c |     44419 |     784   108080   283220 | 2147483647    44419     40 |  0.011 % |
10.02/10.07	c |     44678 |     784   108080   283220 | 2147483647    44678     40 |  0.000 % |
10.12/10.16	c |     44960 |     784   108080   283220 | 2147483647    44960     40 |  0.011 % |
10.22/10.26	c |     45271 |     784   108080   283220 | 2147483647    45271     40 |  0.000 % |
10.32/10.36	c |     45610 |     784   108080   283220 | 2147483647    45610     40 |  0.011 % |
10.42/10.49	c |     45984 |     784   108080   283220 | 2147483647    45984     40 |  0.011 % |
10.62/10.65	c |     46393 |     784   108080   283220 | 2147483647    46393     40 |  0.011 % |
10.82/10.82	c |     46842 |     784   108080   283220 | 2147483647    46842     40 |  0.011 % |
10.92/10.98	c |     47336 |     784   108080   283220 | 2147483647    47336     39 |  0.011 % |
11.12/11.17	c |     47878 |     784   108080   283220 | 2147483647    47878     39 |  0.011 % |
11.32/11.37	c |     48475 |     784   108080   283220 | 2147483647    48475     39 |  0.011 % |
11.52/11.59	c |     49132 |     784   108080   283220 | 2147483647    49132     39 |  0.011 % |
11.62/11.63	c |     49233 |     784   108080   283220 | 2147483647    49233     39 |  0.011 % |
11.62/11.67	c |     49343 |     784   108080   283220 | 2147483647    49343     39 |  0.011 % |
11.72/11.73	c |     49465 |     784   108080   283220 | 2147483647    49465     39 |  0.011 % |
11.72/11.78	c |     49601 |     784   108080   283220 | 2147483647    49601     39 |  0.011 % |
11.82/11.83	c |     49748 |     784   108080   283220 | 2147483647    49748     39 |  0.011 % |
11.82/11.89	c |     49908 |     784   108080   283220 | 2147483647    49908     39 |  0.011 % |
11.92/11.95	c |     50084 |     784   108080   283220 | 2147483647    50084     39 |  0.011 % |
11.92/12.01	c |     50278 |     784   108080   283220 | 2147483647    50278     39 |  0.000 % |
12.02/12.09	c |     50493 |     784   108080   283220 | 2147483647    50493     39 |  0.000 % |
12.13/12.18	c |     50728 |     784   108080   283220 | 2147483647    50728     39 |  0.011 % |
12.22/12.26	c |     50984 |     784   108080   283220 | 2147483647    50984     39 |  0.010 % |
12.32/12.36	c |     51272 |     784   108080   283220 | 2147483647    51272     39 |  0.010 % |
12.42/12.46	c |     51581 |     784   108080   283220 | 2147483647    51581     39 |  0.011 % |
12.52/12.59	c |     51920 |     784   108080   283220 | 2147483647    51920     39 |  0.000 % |
12.72/12.73	c |     52293 |     784   108080   283220 | 2147483647    52293     39 |  0.000 % |
12.82/12.86	c |     52703 |     784   108080   283220 | 2147483647    52703     39 |  0.011 % |
12.92/13.01	c |     53154 |     784   108080   283220 | 2147483647    53154     39 |  0.011 % |
13.12/13.18	c |     53648 |     784   108080   283220 | 2147483647    53648     39 |  0.011 % |
13.32/13.38	c |     54190 |     784   108080   283220 | 2147483647    54190     39 |  0.011 % |
13.52/13.60	c |     54787 |     784   108080   283220 | 2147483647    54787     39 |  0.011 % |
13.82/13.81	c |     55442 |     784   108080   283220 | 2147483647    55442     39 |  0.011 % |
14.02/14.08	c |     56164 |     784   108080   283220 | 2147483647    56164     39 |  0.011 % |
14.12/14.11	c |     56265 |     784   108080   283220 | 2147483647    56265     39 |  0.011 % |
14.12/14.15	c |     56376 |     784   108080   283220 | 2147483647    56376     39 |  0.011 % |
14.12/14.20	c |     56497 |     784   108080   283220 | 2147483647    56497     39 |  0.011 % |
14.22/14.24	c |     56632 |     784   108080   283220 | 2147483647    56632     39 |  0.011 % |
14.22/14.29	c |     56778 |     784   108080   283220 | 2147483647    56778     39 |  0.011 % |
14.33/14.36	c |     56940 |     784   108080   283220 | 2147483647    56940     39 |  0.011 % |
14.42/14.41	c |     57116 |     784   108080   283220 | 2147483647    57116     39 |  0.011 % |
14.42/14.48	c |     57310 |     784   108080   283220 | 2147483647    57310     39 |  0.011 % |
14.52/14.56	c |     57523 |     784   108080   283220 | 2147483647    57523     39 |  0.011 % |
14.62/14.65	c |     57757 |     784   108080   283220 | 2147483647    57757     39 |  0.000 % |
14.72/14.73	c |     58014 |     784   108080   283220 | 2147483647    58014     39 |  0.011 % |
14.82/14.84	c |     58295 |     784   108080   283220 | 2147483647    58295     39 |  0.000 % |
14.92/14.93	c |     58605 |     784   108080   283220 | 2147483647    58605     39 |  0.000 % |
15.02/15.06	c |     58945 |     784   108080   283220 | 2147483647    58945     39 |  0.011 % |
15.12/15.20	c |     59317 |     784   108080   283220 | 2147483647    59317     39 |  0.011 % |
15.32/15.35	c |     59726 |     784   108080   283220 | 2147483647    59726     39 |  0.011 % |
15.52/15.52	c |     60177 |     784   108080   283220 | 2147483647    60177     39 |  0.011 % |
15.62/15.70	c |     60671 |     784   108080   283220 | 2147483647    60671     39 |  0.011 % |
15.92/15.92	c |     61214 |     784   108080   283220 | 2147483647    61214     39 |  0.011 % |
16.12/16.15	c |     61812 |     784   108080   283220 | 2147483647    61812     39 |  0.011 % |
16.42/16.42	c |     62468 |     784   108080   283220 | 2147483647    62468     39 |  0.011 % |
16.72/16.71	c |     63188 |     784   108080   283220 | 2147483647    63188     39 |  0.011 % |
16.92/17.00	c |     63980 |     784   108080   283220 | 2147483647    63980     39 |  0.011 % |
17.02/17.03	c |     64081 |     784   108080   283220 | 2147483647    64081     39 |  0.011 % |
17.02/17.07	c |     64191 |     784   108080   283220 | 2147483647    64191     39 |  0.000 % |
17.12/17.12	c |     64312 |     784   108080   283220 | 2147483647    64312     39 |  0.000 % |
17.12/17.17	c |     64445 |     784   108080   283220 | 2147483647    64445     39 |  0.011 % |
17.22/17.23	c |     64595 |     784   108080   283220 | 2147483647    64595     39 |  0.011 % |
17.22/17.28	c |     64755 |     784   108080   283220 | 2147483647    64755     39 |  0.000 % |
17.32/17.34	c |     64934 |     784   108080   283220 | 2147483647    64934     39 |  0.000 % |
17.42/17.42	c |     65129 |     784   108080   283220 | 2147483647    65129     39 |  0.000 % |
17.42/17.50	c |     65344 |     784   108080   283220 | 2147483647    65344     39 |  0.000 % |
17.52/17.61	c |     65578 |     784   108080   283220 | 2147483647    65578     39 |  0.011 % |
17.72/17.72	c |     65834 |     784   108080   283220 | 2147483647    65834     39 |  0.000 % |
17.82/17.81	c |     66115 |     784   108080   283220 | 2147483647    66115     39 |  0.000 % |
17.92/17.91	c |     66426 |     784   108080   283220 | 2147483647    66426     39 |  0.011 % |
18.02/18.05	c |     66768 |     784   108080   283220 | 2147483647    66768     39 |  0.011 % |
18.22/18.21	c |     67140 |     784   108080   283220 | 2147483647    67140     39 |  0.011 % |
18.32/18.39	c |     67549 |     784   108080   283220 | 2147483647    67549     39 |  0.011 % |
18.52/18.56	c |     67998 |     784   108080   283220 | 2147483647    67998     39 |  0.000 % |
18.73/18.77	c |     68493 |     784   108080   283220 | 2147483647    68493     39 |  0.010 % |
19.02/19.04	c |     69035 |     784   108080   283220 | 2147483647    69035     39 |  0.011 % |
19.22/19.31	c |     69632 |     784   108080   283220 | 2147483647    69632     39 |  0.000 % |
19.52/19.57	c |     70287 |     784   108080   283220 | 2147483647    70287     39 |  0.011 % |
19.83/19.87	c |     71007 |     784   108080   283220 | 2147483647    71007     39 |  0.011 % |
20.22/20.22	c |     71799 |     784   108080   283220 | 2147483647    71799     40 |  0.000 % |
20.52/20.56	c |     72674 |     784   108080   283220 | 2147483647    72674     40 |  0.000 % |
20.62/20.61	c |     72775 |     784   108080   283220 | 2147483647    72775     40 |  0.011 % |
20.62/20.66	c |     72890 |     784   108080   283220 | 2147483647    72890     40 |  0.011 % |
20.72/20.72	c |     73012 |     784   108080   283220 | 2147483647    73012     40 |  0.011 % |
20.72/20.79	c |     73146 |     784   108080   283220 | 2147483647    73146     40 |  0.000 % |
20.82/20.87	c |     73292 |     784   108080   283220 | 2147483647    73292     40 |  0.011 % |
20.93/20.95	c |     73452 |     784   108080   283220 | 2147483647    73452     40 |  0.011 % |
21.02/21.05	c |     73635 |     784   108080   283220 | 2147483647    73635     40 |  0.011 % |
21.12/21.14	c |     73831 |     784   108080   283220 | 2147483647    73831     40 |  0.011 % |
21.22/21.26	c |     74043 |     784   108080   283220 | 2147483647    74043     40 |  0.011 % |
21.32/21.36	c |     74277 |     784   108080   283220 | 2147483647    74277     40 |  0.000 % |
21.42/21.47	c |     74533 |     784   108080   283220 | 2147483647    74533     40 |  0.000 % |
21.62/21.61	c |     74814 |     784   108080   283220 | 2147483647    74814     40 |  0.000 % |
21.72/21.78	c |     75125 |     784   108080   283220 | 2147483647    75125     40 |  0.011 % |
21.92/21.93	c |     75465 |     784   108080   283220 | 2147483647    75465     40 |  0.011 % |
22.12/22.11	c |     75837 |     784   108080   283220 | 2147483647    75837     40 |  0.011 % |
22.32/22.32	c |     76249 |     784   108080   283220 | 2147483647    76249     40 |  0.011 % |
22.52/22.52	c |     76698 |     784   108080   283220 | 2147483647    76698     40 |  0.011 % |
22.72/22.78	c |     77191 |     784   108080   283220 | 2147483647    77191     40 |  0.011 % |
23.02/23.07	c |     77737 |     784   108080   283220 | 2147483647    77737     40 |  0.011 % |
23.32/23.32	c |     78333 |     784   108080   283220 | 2147483647    78333     40 |  0.011 % |
23.62/23.67	c |     78989 |     784   108080   283220 | 2147483647    78989     40 |  0.011 % |
24.02/24.05	c |     79709 |     784   108080   283220 | 2147483647    79709     40 |  0.011 % |
24.42/24.43	c |     80503 |     784   108080   283220 | 2147483647    80503     40 |  0.011 % |
24.82/24.84	c |     81374 |     784   108080   283220 | 2147483647    81374     40 |  0.000 % |
25.33/25.36	c |     82332 |     784   108080   283220 | 2147483647    82332     40 |  0.011 % |
25.42/25.41	c |     82433 |     784   108080   283220 | 2147483647    82433     40 |  0.011 % |
25.42/25.47	c |     82543 |     784   108080   283220 | 2147483647    82543     40 |  0.011 % |
25.52/25.55	c |     82665 |     784   108080   283220 | 2147483647    82665     40 |  0.000 % |
25.62/25.61	c |     82805 |     784   108080   283220 | 2147483647    82805     40 |  0.011 % |
25.62/25.68	c |     82951 |     784   108080   283220 | 2147483647    82951     40 |  0.011 % |
25.72/25.78	c |     83114 |     784   108080   283220 | 2147483647    83114     40 |  0.001 % |
25.82/25.88	c |     83290 |     784   108080   283220 | 2147483647    83290     40 |  0.011 % |
25.92/26.00	c |     83485 |     784   108080   283220 | 2147483647    83485     40 |  0.011 % |
26.12/26.11	c |     83698 |     784   108080   283220 | 2147483647    83698     40 |  0.011 % |
26.22/26.22	c |     83931 |     784   108080   283220 | 2147483647    83931     40 |  0.011 % |
26.32/26.35	c |     84187 |     784   108080   283220 | 2147483647    84187     40 |  0.011 % |
26.43/26.50	c |     84470 |     784   108080   283220 | 2147483647    84470     40 |  0.011 % |
26.62/26.65	c |     84779 |     784   108080   283220 | 2147483647    84779     40 |  0.011 % |
26.82/26.82	c |     85119 |     784   108080   283220 | 2147483647    85119     40 |  0.011 % |
27.02/27.02	c |     85492 |     784   108080   283220 | 2147483647    85492     40 |  0.011 % |
27.12/27.20	c |     85902 |     784   108080   283220 | 2147483647    85902     40 |  0.011 % |
27.42/27.43	c |     86352 |     784   108080   283220 | 2147483647    86352     40 |  0.011 % |
27.62/27.68	c |     86849 |     784   108080   283220 | 2147483647    86849     40 |  0.011 % |
27.92/27.97	c |     87391 |     784   108080   283220 | 2147483647    87391     40 |  0.011 % |
28.22/28.30	c |     87988 |     784   108080   283220 | 2147483647    87988     40 |  0.011 % |
28.63/28.63	c |     88643 |     784   108080   283220 | 2147483647    88643     40 |  0.011 % |
28.92/29.00	c |     89364 |     784   108080   283220 | 2147483647    89364     40 |  0.011 % |
29.42/29.49	c |     90156 |     784   108080   283220 | 2147483647    90156     39 |  0.012 % |
30.02/30.02	c |     91030 |     784   108080   283220 | 2147483647    91030     39 |  0.011 % |
30.42/30.50	c |     91993 |     784   108080   283220 | 2147483647    91993     40 |  0.000 % |
31.12/31.12	c |     93052 |     784   108080   283220 | 2147483647    93052     40 |  0.000 % |
31.12/31.18	c |     93152 |     784   108080   283220 | 2147483647    93152     40 |  0.000 % |
31.22/31.25	c |     93263 |     784   108080   283220 | 2147483647    93263     40 |  0.011 % |
31.32/31.31	c |     93384 |     784   108080   283220 | 2147483647    93384     40 |  0.011 % |
31.32/31.39	c |     93517 |     784   108080   283220 | 2147483647    93517     40 |  0.011 % |
31.42/31.48	c |     93667 |     784   108080   283220 | 2147483647    93667     40 |  0.000 % |
31.52/31.58	c |     93832 |     784   108080   283220 | 2147483647    93832     40 |  0.011 % |
31.62/31.68	c |     94008 |     784   108080   283220 | 2147483647    94008     40 |  0.011 % |
31.72/31.79	c |     94203 |     784   108080   283220 | 2147483647    94203     40 |  0.000 % |
31.93/31.92	c |     94419 |     784   108080   283220 | 2147483647    94419     40 |  0.011 % |
32.03/32.06	c |     94654 |     784   108080   283220 | 2147483647    94654     40 |  0.011 % |
32.23/32.23	c |     94911 |     784   108080   283220 | 2147483647    94911     40 |  0.011 % |
32.33/32.39	c |     95193 |     784   108080   283220 | 2147483647    95193     40 |  0.011 % |
32.53/32.56	c |     95502 |     784   108080   283220 | 2147483647    95502     40 |  0.011 % |
32.73/32.77	c |     95844 |     784   108080   283220 | 2147483647    95844     40 |  0.000 % |
32.93/32.98	c |     96216 |     784   108080   283220 | 2147483647    96216     40 |  0.000 % |
33.13/33.21	c |     96625 |     784   108080   283220 | 2147483647    96625     40 |  0.011 % |
33.43/33.49	c |     97074 |     784   108080   283220 | 2147483647    97074     40 |  0.000 % |
33.73/33.76	c |     97568 |     784   108080   283220 | 2147483647    97568     41 |  0.000 % |
34.03/34.07	c |     98110 |     784   108080   283220 | 2147483647    98110     41 |  0.000 % |
34.43/34.43	c |     98707 |     784   108080   283220 | 2147483647    98707     41 |  0.011 % |
34.83/34.84	c |     99363 |     784   108080   283220 | 2147483647    99363     41 |  0.011 % |
35.23/35.27	c |    100089 |     784   108080   283220 | 2147483647   100089     41 |  0.011 % |
35.63/35.69	c |    100881 |     784   108080   283220 | 2147483647   100881     41 |  0.000 % |
36.13/36.20	c |    101752 |     784   108080   283220 | 2147483647   101752     41 |  0.000 % |
36.83/36.84	c |    102712 |     784   108080   283220 | 2147483647   102712     41 |  0.011 % |
37.53/37.55	c |    103768 |     784   108080   283220 | 2147483647   103768     41 |  0.011 % |
38.23/38.28	c |    104926 |     784   108080   283220 | 2147483647   104926     41 |  0.011 % |
38.33/38.35	c |    105028 |     784   108080   283220 | 2147483647   105028     41 |  0.000 % |
38.43/38.42	c |    105138 |     784   108080   283220 | 2147483647   105138     41 |  0.000 % |
38.43/38.50	c |    105259 |     784   108080   283220 | 2147483647   105259     41 |  0.011 % |
38.53/38.59	c |    105394 |     784   108080   283220 | 2147483647   105394     41 |  0.011 % |
38.63/38.68	c |    105540 |     784   108080   283220 | 2147483647   105540     41 |  0.011 % |
38.73/38.76	c |    105700 |     784   108080   283220 | 2147483647   105700     41 |  0.000 % |
38.83/38.87	c |    105877 |     784   108080   283220 | 2147483647   105877     41 |  0.000 % |
38.93/39.00	c |    106072 |     784   108080   283220 | 2147483647   106072     41 |  0.011 % |
39.13/39.13	c |    106285 |     784   108080   283220 | 2147483647   106285     41 |  0.000 % |
39.23/39.29	c |    106518 |     784   108080   283220 | 2147483647   106518     41 |  0.011 % |
39.43/39.43	c |    106775 |     784   108080   283220 | 2147483647   106775     41 |  0.000 % |
39.53/39.61	c |    107058 |     784   108080   283220 | 2147483647   107058     41 |  0.000 % |
39.83/39.83	c |    107367 |     784   108080   283220 | 2147483647   107367     42 |  0.000 % |
40.03/40.05	c |    107707 |     784   108080   283220 | 2147483647   107707     42 |  0.000 % |
40.23/40.28	c |    108080 |     784   108080   283220 | 2147483647   108080     42 |  0.011 % |
40.53/40.56	c |    108489 |     784   108080   283220 | 2147483647   108489     42 |  0.000 % |
40.83/40.88	c |    108943 |     784   108080   283220 | 2147483647   108943     42 |  0.010 % |
41.23/41.22	c |    109436 |     784   108080   283220 | 2147483647   109436     42 |  0.011 % |
41.63/41.64	c |    109979 |     784   108080   283220 | 2147483647   109979     41 |  0.010 % |
42.03/42.07	c |    110575 |     784   108080   283220 | 2147483647   110575     41 |  0.011 % |
42.53/42.53	c |    111231 |     784   108080   283220 | 2147483647   111231     42 |  0.000 % |
43.03/43.03	c |    111952 |     784   108080   283220 | 2147483647   111952     42 |  0.011 % |
43.53/43.61	c |    112745 |     784   108080   283220 | 2147483647   112745     42 |  0.011 % |
44.23/44.28	c |    113616 |     784   108080   283220 | 2147483647   113616     42 |  0.011 % |
44.93/44.99	c |    114576 |     784   108080   283220 | 2147483647   114576     41 |  0.011 % |
45.73/45.72	c |    115629 |     784   108080   283220 | 2147483647   115629     42 |  0.000 % |
46.53/46.57	c |    116788 |     784   108080   283220 | 2147483647   116788     42 |  0.000 % |
47.43/47.50	c |    118061 |     784   108080   283220 | 2147483647   118061     42 |  0.011 % |
47.53/47.57	c |    118161 |     784   108080   283220 | 2147483647   118161     42 |  0.000 % |
47.63/47.68	c |    118273 |     784   108080   283220 | 2147483647   118273     42 |  0.011 % |
47.73/47.75	c |    118395 |     784   108080   283220 | 2147483647   118395     42 |  0.011 % |
47.83/47.85	c |    118532 |     784   108080   283220 | 2147483647   118532     42 |  0.000 % |
47.93/47.97	c |    118679 |     784   108080   283220 | 2147483647   118679     42 |  0.000 % |
48.03/48.09	c |    118840 |     784   108080   283220 | 2147483647   118840     42 |  0.011 % |
48.13/48.22	c |    119016 |     784   108080   283220 | 2147483647   119016     42 |  0.011 % |
48.33/48.35	c |    119210 |     784   108080   283220 | 2147483647   119210     42 |  0.000 % |
48.43/48.47	c |    119423 |     784   108080   283220 | 2147483647   119423     42 |  0.011 % |
48.63/48.64	c |    119656 |     784   108080   283220 | 2147483647   119656     42 |  0.010 % |
48.73/48.80	c |    119912 |     784   108080   283220 | 2147483647   119912     42 |  0.011 % |
48.93/48.98	c |    120194 |     784   108080   283220 | 2147483647   120194     42 |  0.011 % |
49.13/49.21	c |    120505 |     784   108080   283220 | 2147483647   120505     42 |  0.010 % |
49.43/49.50	c |    120844 |     784   108080   283220 | 2147483647   120844     42 |  0.000 % |
49.83/49.83	c |    121216 |     784   108080   283220 | 2147483647   121216     42 |  0.011 % |
50.13/50.19	c |    121627 |     784   108080   283220 | 2147483647   121627     42 |  0.011 % |
50.63/50.63	c |    122078 |     784   108080   283220 | 2147483647   122078     42 |  0.011 % |
50.93/50.99	c |    122572 |     784   108080   283220 | 2147483647   122572     43 |  0.000 % |
51.43/51.48	c |    123116 |     784   108080   283220 | 2147483647   123116     43 |  0.000 % |
51.93/51.96	c |    123713 |     784   108080   283220 | 2147483647   123713     43 |  0.011 % |
52.43/52.50	c |    124368 |     784   108080   283220 | 2147483647   124368     43 |  0.010 % |
53.13/53.14	c |    125088 |     784   108080   283220 | 2147483647   125088     43 |  0.010 % |
53.73/53.76	c |    125883 |     784   108080   283220 | 2147483647   125883     43 |  0.000 % |
54.43/54.45	c |    126758 |     784   108080   283220 | 2147483647   126758     43 |  0.000 % |
55.23/55.26	c |    127721 |     784   108080   283220 | 2147483647   127721     43 |  0.011 % |
56.23/56.22	c |    128778 |     784   108080   283220 | 2147483647   128778     43 |  0.011 % |
57.03/57.07	c |    129936 |     784   108080   283220 | 2147483647   129936     43 |  0.011 % |
58.33/58.39	c |    131211 |     784   108080   283220 | 2147483647   131211     43 |  0.011 % |
59.53/59.62	c |    132611 |     784   108080   283220 | 2147483647   132611     43 |  0.011 % |
59.63/59.71	c |    132712 |     784   108080   283220 | 2147483647   132712     43 |  0.011 % |
59.73/59.79	c |    132823 |     784   108080   283220 | 2147483647   132823     43 |  0.011 % |
59.83/59.88	c |    132946 |     784   108080   283220 | 2147483647   132946     43 |  0.011 % |
59.93/60.00	c |    133081 |     784   108080   283220 | 2147483647   133081     43 |  0.011 % |
60.13/60.13	c |    133229 |     784   108080   283220 | 2147483647   133229     43 |  0.000 % |
60.23/60.25	c |    133389 |     784   108080   283220 | 2147483647   133389     43 |  0.000 % |
60.33/60.36	c |    133565 |     784   108080   283220 | 2147483647   133565     43 |  0.011 % |
60.43/60.50	c |    133759 |     784   108080   283220 | 2147483647   133759     43 |  0.000 % |
60.63/60.67	c |    133971 |     784   108080   283220 | 2147483647   133971     43 |  0.000 % |
60.83/60.88	c |    134204 |     784   108080   283220 | 2147483647   134204     43 |  0.011 % |
61.13/61.15	c |    134463 |     784   108080   283220 | 2147483647   134463     43 |  0.011 % |
61.33/61.39	c |    134745 |     784   108080   283220 | 2147483647   134745     43 |  0.011 % |
61.63/61.65	c |    135055 |     784   108080   283220 | 2147483647   135055     43 |  0.011 % |
61.93/61.94	c |    135398 |     784   108080   283220 | 2147483647   135398     43 |  0.000 % |
62.23/62.27	c |    135771 |     784   108080   283220 | 2147483647   135771     43 |  0.011 % |
62.63/62.66	c |    136183 |     784   108080   283220 | 2147483647   136183     43 |  0.011 % |
63.03/63.07	c |    136632 |     784   108080   283220 | 2147483647   136632     43 |  0.010 % |
63.43/63.51	c |    137128 |     784   108080   283220 | 2147483647   137128     43 |  0.010 % |
64.03/64.02	c |    137670 |     784   108080   283220 | 2147483647   137670     43 |  0.011 % |
64.43/64.50	c |    138267 |     784   108080   283220 | 2147483647   138267     43 |  0.011 % |
65.13/65.12	c |    138926 |     784   108080   283220 | 2147483647   138926     43 |  0.011 % |
65.83/65.89	c |    139646 |     784   108080   283220 | 2147483647   139646     43 |  0.011 % |
66.53/66.57	c |    140438 |     784   108080   283220 | 2147483647   140438     43 |  0.011 % |
67.33/67.33	c |    141309 |     784   108080   283220 | 2147483647   141309     43 |  0.011 % |
68.03/68.11	c |    142267 |     784   108080   283220 | 2147483647   142267     43 |  0.011 % |
69.03/69.04	c |    143320 |     784   108080   283220 | 2147483647   143320     43 |  0.012 % |
70.03/70.07	c |    144482 |     784   108080   283220 | 2147483647   144482     43 |  0.000 % |
71.33/71.36	c |    145758 |     784   108080   283220 | 2147483647   145758     43 |  0.011 % |
72.63/72.69	c |    147160 |     784   108080   283220 | 2147483647   147160     43 |  0.012 % |
74.23/74.30	c |    148701 |     784   108080   283220 | 2147483647   148701     43 |  0.012 % |
74.33/74.39	c |    148801 |     784   108080   283220 | 2147483647   148801     43 |  0.011 % |
74.53/74.52	c |    148911 |     784   108080   283220 | 2147483647   148911     43 |  0.011 % |
74.63/74.66	c |    149033 |     784   108080   283220 | 2147483647   149033     42 |  0.012 % |
74.83/74.82	c |    149166 |     784   108080   283220 | 2147483647   149166     43 |  0.000 % |
74.93/74.93	c |    149313 |     784   108080   283220 | 2147483647   149313     43 |  0.000 % |
75.03/75.09	c |    149477 |     784   108080   283220 | 2147483647   149477     43 |  0.010 % |
75.23/75.26	c |    149654 |     784   108080   283220 | 2147483647   149654     43 |  0.010 % |
75.43/75.46	c |    149848 |     784   108080   283220 | 2147483647   149848     42 |  0.010 % |
75.63/75.64	c |    150062 |     784   108080   283220 |   150000   150062     42 |  0.010 % |
75.93/76.01	c |    150302 |     784   108080   283220 |   150000   133093     43 |  0.000 % |
76.13/76.21	c |    150561 |     784   108080   283220 |   150000   133352     43 |  0.011 % |
76.43/76.46	c |    150843 |     784   108080   283220 |   150000   133634     43 |  0.000 % |
76.73/76.74	c |    151152 |     784   108080   283220 |   150000   133943     43 |  0.011 % |
77.03/77.04	c |    151492 |     784   108080   283220 |   150000   134283     43 |  0.011 % |
77.33/77.38	c |    151865 |     784   108080   283220 |   150000   134656     43 |  0.011 % |
77.73/77.76	c |    152276 |     784   108080   283220 |   150000   135067     43 |  0.010 % |
78.13/78.16	c |    152729 |     784   108080   283220 |   150000   135520     43 |  0.011 % |
78.53/78.60	c |    153222 |     784   108080   283220 |   150000   136013     43 |  0.011 % |
79.03/79.07	c |    153764 |     784   108080   283220 |   150000   136555     43 |  0.011 % |
79.53/79.58	c |    154364 |     784   108080   283220 |   150000   137155     42 |  0.011 % |
80.13/80.20	c |    155021 |     784   108080   283220 |   150000   137812     42 |  0.000 % |
80.73/80.81	c |    155743 |     784   108080   283220 |   150000   138534     43 |  0.000 % |
81.53/81.60	c |    156537 |     784   108080   283220 |   150000   139328     43 |  0.000 % |
82.33/82.42	c |    157410 |     784   108080   283220 |   150000   140201     43 |  0.000 % |
83.23/83.27	c |    158369 |     784   108080   283220 |   150000   141160     43 |  0.011 % |
84.23/84.29	c |    159422 |     784   108080   283220 |   150000   142213     43 |  0.011 % |
85.43/85.42	c |    160580 |     784   108080   283220 |   142793   127444     43 |  0.000 % |
86.43/86.48	c |    161853 |     784   108080   283220 |   142793   128717     43 |  0.000 % |
87.53/87.59	c |    163253 |     784   108080   283220 |   142793   130117     43 |  0.011 % |
88.83/88.90	c |    164794 |     784   108080   283220 |   142793   131658     43 |  0.000 % |
90.23/90.28	c |    166488 |     784   108080   283220 |   142793   133352     43 |  0.011 % |
90.33/90.38	c |    166590 |     784   108080   283220 |   142793   133454     43 |  0.011 % |
90.43/90.50	c |    166700 |     784   108080   283220 |   142793   133564     43 |  0.000 % |
90.53/90.61	c |    166821 |     784   108080   283220 |   142793   133685     43 |  0.000 % |
90.73/90.75	c |    166954 |     784   108080   283220 |   142793   133818     43 |  0.011 % |
90.83/90.91	c |    167100 |     784   108080   283220 |   142793   133964     43 |  0.011 % |
91.03/91.07	c |    167260 |     784   108080   283220 |   142793   134124     43 |  0.011 % |
91.23/91.26	c |    167443 |     784   108080   283220 |   142793   134307     43 |  0.011 % |
91.43/91.47	c |    167636 |     784   108080   283220 |   142793   134500     43 |  0.010 % |
91.63/91.69	c |    167854 |     784   108080   283220 |   142793   134718     43 |  0.000 % |
91.83/91.91	c |    168087 |     784   108080   283220 |   142793   134951     43 |  0.011 % |
92.13/92.16	c |    168346 |     784   108080   283220 |   142793   135210     43 |  0.000 % |
92.43/92.42	c |    168627 |     784   108080   283220 |   142793   135491     43 |  0.011 % |
92.73/92.74	c |    168939 |     784   108080   283220 |   142793   135803     43 |  0.011 % |
93.03/93.10	c |    169281 |     784   108080   283220 |   142793   136145     43 |  0.011 % |
93.43/93.42	c |    169653 |     784   108080   283220 |   142793   136517     43 |  0.011 % |
93.83/93.82	c |    170062 |     784   108080   283220 |   136867   136926     43 |  0.011 % |
94.33/94.38	c |    170511 |     784   108080   283220 |   136867   122447     44 |  0.000 % |
94.83/94.84	c |    171007 |     784   108080   283220 |   136867   122943     44 |  0.000 % |
95.23/95.29	c |    171550 |     784   108080   283220 |   136867   123486     44 |  0.000 % |
95.83/95.86	c |    172147 |     784   108080   283220 |   136867   124083     44 |  0.000 % |
96.43/96.42	c |    172803 |     784   108080   283220 |   136867   124739     44 |  0.011 % |
97.03/97.09	c |    173525 |     784   108080   283220 |   136867   125461     44 |  0.011 % |
97.73/97.73	c |    174322 |     784   108080   283220 |   136867   126258     44 |  0.000 % |
98.43/98.48	c |    175193 |     784   108080   283220 |   136867   127129     44 |  0.000 % |
99.23/99.27	c |    176152 |     784   108080   283220 |   136867   128088     45 |  0.011 % |
100.23/100.25	c |    177205 |     784   108080   283220 |   136867   129141     44 |  0.011 % |
101.33/101.34	c |    178365 |     784   108080   283220 |   136867   130301     44 |  0.011 % |
102.43/102.45	c |    179638 |     784   108080   283220 |   136867   131574     44 |  0.011 % |
103.93/103.92	c |    181038 |     784   108080   283220 |   131936   117437     44 |  0.011 % |
105.13/105.19	c |    182580 |     784   108080   283220 |   131936   118979     45 |  0.000 % |
106.74/106.78	c |    184275 |     784   108080   283220 |   131936   120674     46 |  0.000 % |
108.43/108.51	c |    186138 |     784   108080   283220 |   131936   122537     46 |  0.020 % |
108.53/108.60	c |    186239 |     784   108080   283220 |   131936   122638     46 |  0.000 % |
108.63/108.71	c |    186349 |     784   108080   283220 |   131936   122748     46 |  0.000 % |
108.83/108.82	c |    186471 |     784   108080   283220 |   131936   122870     46 |  0.010 % |
108.94/108.93	c |    186605 |     784   108080   283220 |   131936   123004     46 |  0.010 % |
109.03/109.08	c |    186751 |     784   108080   283220 |   131936   123150     46 |  0.010 % |
109.23/109.23	c |    186914 |     784   108080   283220 |   131936   123313     46 |  0.010 % |
109.33/109.40	c |    187092 |     784   108080   283220 |   131936   123491     46 |  0.010 % |
109.53/109.57	c |    187287 |     784   108080   283220 |   131936   123686     46 |  0.000 % |
109.73/109.80	c |    187499 |     784   108080   283220 |   131936   123898     46 |  0.011 % |
110.04/110.05	c |    187734 |     784   108080   283220 |   131936   124133     46 |  0.011 % |
110.23/110.28	c |    187990 |     784   108080   283220 |   131936   124389     46 |  0.011 % |
110.53/110.58	c |    188271 |     784   108080   283220 |   131936   124670     46 |  0.011 % |
110.83/110.91	c |    188580 |     784   108080   283220 |   131936   124979     46 |  0.011 % |
111.14/111.16	c |    188919 |     784   108080   283220 |   131936   125318     46 |  0.000 % |
111.53/111.56	c |    189293 |     784   108080   283220 |   131936   125692     46 |  0.000 % |
112.03/112.02	c |    189703 |     784   108080   283220 |   131936   126102     46 |  0.011 % |
112.43/112.48	c |    190155 |     784   108080   283220 |   126399   126554     46 |  0.011 % |
113.03/113.10	c |    190652 |     784   108080   283220 |   126399   111109     46 |  0.011 % |
113.63/113.71	c |    191197 |     784   108080   283220 |   126399   111654     46 |  0.011 % |
114.33/114.39	c |    191793 |     784   108080   283220 |   126399   112250     46 |  0.011 % |
115.03/115.07	c |    192448 |     784   108080   283220 |   126399   112905     46 |  0.011 % |
115.73/115.74	c |    193170 |     784   108080   283220 |   126399   113627     46 |  0.011 % |
116.43/116.42	c |    193962 |     784   108080   283220 |   126399   114419     46 |  0.011 % |
117.23/117.31	c |    194833 |     784   108080   283220 |   126399   115290     46 |  0.011 % |
118.13/118.17	c |    195793 |     784   108080   283220 |   126399   116250     46 |  0.011 % |
119.13/119.14	c |    196846 |     784   108080   283220 |   126399   117303     46 |  0.010 % |
120.23/120.22	c |    198004 |     784   108080   283220 |   126399   118461     46 |  0.010 % |
121.33/121.40	c |    199277 |     784   108080   283220 |   126399   119734     46 |  0.000 % |
122.63/122.68	c |    200679 |     784   108080   283220 |   120457   105380     45 |  0.012 % |
123.83/123.90	c |    202220 |     784   108080   283220 |   120457   106921     45 |  0.011 % |
125.44/125.43	c |    203914 |     784   108080   283220 |   120457   108615     45 |  0.011 % |
127.23/127.27	c |    205778 |     784   108080   283220 |   120457   110479     45 |  0.011 % |
129.43/129.43	c |    207829 |     784   108080   283220 |   120457   112530     45 |  0.011 % |
129.53/129.52	c |    207932 |     784   108080   283220 |   120457   112633     45 |  0.011 % |
129.63/129.65	c |    208043 |     784   108080   283220 |   120457   112744     45 |  0.011 % |
129.73/129.79	c |    208164 |     784   108080   283220 |   120457   112865     45 |  0.000 % |
129.93/129.93	c |    208299 |     784   108080   283220 |   120457   113000     45 |  0.011 % |
130.03/130.05	c |    208446 |     784   108080   283220 |   120457   113147     45 |  0.011 % |
130.23/130.22	c |    208607 |     784   108080   283220 |   120457   113308     45 |  0.011 % |
130.43/130.42	c |    208783 |     784   108080   283220 |   120457   113484     45 |  0.012 % |
130.63/130.62	c |    208978 |     784   108080   283220 |   120457   113679     45 |  0.012 % |
130.83/130.87	c |    209191 |     784   108080   283220 |   120457   113892     45 |  0.011 % |
131.03/131.10	c |    209424 |     784   108080   283220 |   120457   114125     45 |  0.011 % |
131.33/131.34	c |    209686 |     784   108080   283220 |   120457   114387     45 |  0.011 % |
131.53/131.57	c |    209967 |     784   108080   283220 |   120457   114668     45 |  0.000 % |
131.83/131.85	c |    210279 |     784   108080   283220 |   114703   114980     45 |  0.011 % |
132.23/132.23	c |    210619 |     784   108080   283220 |   114703   100727     44 |  0.011 % |
132.53/132.53	c |    210991 |     784   108080   283220 |   114703   101099     44 |  0.000 % |
132.83/132.88	c |    211400 |     784   108080   283220 |   114703   101508     44 |  0.011 % |
133.14/133.19	c |    211849 |     784   108080   283220 |   114703   101957     44 |  0.011 % |
133.63/133.63	c |    212347 |     784   108080   283220 |   114703   102455     44 |  0.011 % |
134.03/134.11	c |    212889 |     784   108080   283220 |   114703   102997     44 |  0.011 % |
134.63/134.67	c |    213485 |     784   108080   283220 |   114703   103593     44 |  0.011 % |
135.13/135.17	c |    214141 |     784   108080   283220 |   114703   104249     44 |  0.011 % |
135.73/135.80	c |    214861 |     784   108080   283220 |   114703   104969     43 |  0.010 % |
136.33/136.37	c |    215655 |     784   108080   283220 |   114703   105763     43 |  0.010 % |
136.93/137.01	c |    216530 |     784   108080   283220 |   114703   106638     43 |  0.010 % |
137.73/137.74	c |    217488 |     784   108080   283220 |   114703   107596     44 |  0.000 % |
138.64/138.70	c |    218541 |     784   108080   283220 |   114703   108649     44 |  0.011 % |
139.63/139.67	c |    219699 |     784   108080   283220 |   114703   109807     45 |  0.000 % |
140.73/140.82	c |    220972 |     784   108080   283220 | 2147483647   111080     45 |  0.011 % |
142.23/142.24	c |    222376 |     784   108080   283220 | 2147483647   112484     45 |  0.011 % |
143.73/143.73	c |    223916 |     784   108080   283220 | 2147483647   114024     44 |  0.011 % |
145.24/145.28	c |    225611 |     784   108080   283220 | 2147483647   115719     44 |  0.011 % |
147.04/147.10	c |    227474 |     784   108080   283220 | 2147483647   117582     44 |  0.011 % |
149.14/149.14	c |    229524 |     784   108080   283220 | 2147483647   119632     44 |  0.011 % |
151.24/151.25	c |    231777 |     784   108080   283220 |   120109   107281     44 |  0.000 % |
151.34/151.33	c |    231877 |     784   108080   283220 |   120109   107381     44 |  0.000 % |
151.44/151.45	c |    231988 |     784   108080   283220 |   120109   107492     44 |  0.011 % |
151.54/151.60	c |    232109 |     784   108080   283220 |   120109   107613     44 |  0.011 % |
151.74/151.76	c |    232242 |     784   108080   283220 |   120109   107746     44 |  0.011 % |
151.84/151.87	c |    232388 |     784   108080   283220 |   120109   107892     44 |  0.011 % |
151.94/152.00	c |    232550 |     784   108080   283220 |   120109   108054     44 |  0.011 % |
152.14/152.17	c |    232726 |     784   108080   283220 |   120109   108230     44 |  0.000 % |
152.24/152.30	c |    232922 |     784   108080   283220 |   120109   108426     44 |  0.000 % |
152.54/152.52	c |    233140 |     784   108080   283220 |   120109   108644     44 |  0.010 % |
152.74/152.73	c |    233373 |     784   108080   283220 |   120109   108877     44 |  0.000 % |
152.94/152.97	c |    233631 |     784   108080   283220 |   120109   109135     44 |  0.010 % |
153.24/153.24	c |    233913 |     784   108080   283220 |   120109   109417     44 |  0.010 % |
153.54/153.53	c |    234223 |     784   108080   283220 |   120109   109727     44 |  0.011 % |
153.84/153.89	c |    234562 |     784   108080   283220 |   120109   110066     44 |  0.011 % |
154.14/154.22	c |    234938 |     784   108080   283220 |   120109   110442     44 |  0.000 % |
154.54/154.58	c |    235351 |     784   108080   283220 |   120109   110855     44 |  0.011 % |
154.94/154.95	c |    235800 |     784   108080   283220 |   120109   111304     44 |  0.011 % |
155.34/155.42	c |    236293 |     784   108080   283220 |   120109   111797     44 |  0.011 % |
155.84/155.87	c |    236835 |     784   108080   283220 |   120109   112339     44 |  0.011 % |
156.34/156.41	c |    237433 |     784   108080   283220 |   120109   112937     44 |  0.011 % |
156.94/156.98	c |    238088 |     784   108080   283220 |   120109   113592     44 |  0.011 % |
157.54/157.57	c |    238810 |     784   108080   283220 |   120109   114314     44 |  0.000 % |
158.24/158.27	c |    239602 |     784   108080   283220 |   120109   115106     44 |  0.011 % |
159.14/159.12	c |    240473 |     784   108080   283220 |   115505   101741     45 |  0.011 % |
159.84/159.87	c |    241432 |     784   108080   283220 |   115505   102700     45 |  0.011 % |
160.84/160.83	c |    242485 |     784   108080   283220 |   115505   103753     45 |  0.011 % |
161.94/162.01	c |    243645 |     784   108080   283220 |   115505   104913     45 |  0.011 % |
163.34/163.34	c |    244919 |     784   108080   283220 |   115505   106187     45 |  0.011 % |
164.84/164.85	c |    246319 |     784   108080   283220 |   115505   107587     45 |  0.011 % |
166.34/166.33	c |    247862 |     784   108080   283220 |   115505   109130     45 |  0.012 % |
168.04/168.09	c |    249560 |     784   108080   283220 |   115505   110828     44 |  0.012 % |
169.74/169.73	c |    251424 |     784   108080   283220 |   111270    98343     45 |  0.000 % |
171.74/171.73	c |    253473 |     784   108080   283220 |   111270   100392     45 |  0.011 % |
173.94/173.96	c |    255726 |     784   108080   283220 |   111270   102645     45 |  0.012 % |
176.24/176.29	c |    258204 |     784   108080   283220 |   111270   105123     45 |  0.000 % |
176.34/176.40	c |    258305 |     784   108080   283220 |   111270   105224     45 |  0.012 % |
176.44/176.50	c |    258416 |     784   108080   283220 |   111270   105335     45 |  0.010 % |
176.64/176.64	c |    258537 |     784   108080   283220 |   111270   105456     45 |  0.010 % |
176.74/176.74	c |    258672 |     784   108080   283220 |   111270   105591     45 |  0.000 % |
176.84/176.88	c |    258821 |     784   108080   283220 |   111270   105740     45 |  0.011 % |
176.94/177.02	c |    258983 |     784   108080   283220 |   111270   105902     45 |  0.011 % |
177.14/177.21	c |    259160 |     784   108080   283220 |   111270   106079     45 |  0.011 % |
177.34/177.39	c |    259358 |     784   108080   283220 |   111270   106277     45 |  0.011 % |
177.54/177.57	c |    259571 |     784   108080   283220 |   111270   106490     45 |  0.011 % |
177.74/177.79	c |    259808 |     784   108080   283220 |   111270   106727     45 |  0.000 % |
178.04/178.07	c |    260069 |     784   108080   283220 |   106919   106988     45 |  0.011 % |
178.34/178.39	c |    260351 |     784   108080   283220 |   106919    93638     45 |  0.000 % |
178.64/178.65	c |    260662 |     784   108080   283220 |   106919    93949     45 |  0.000 % |
178.94/178.95	c |    261004 |     784   108080   283220 |   106919    94291     45 |  0.000 % |
179.24/179.32	c |    261378 |     784   108080   283220 |   106919    94665     45 |  0.000 % |
179.74/179.73	c |    261787 |     784   108080   283220 |   106919    95074     45 |  0.011 % |
180.14/180.13	c |    262237 |     784   108080   283220 |   106919    95524     45 |  0.011 % |
180.44/180.51	c |    262733 |     784   108080   283220 |   106919    96020     45 |  0.011 % |
180.94/181.00	c |    263275 |     784   108080   283220 |   106919    96562     45 |  0.011 % |
181.44/181.48	c |    263872 |     784   108080   283220 |   106919    97159     45 |  0.011 % |
182.04/182.06	c |    264527 |     784   108080   283220 |   106919    97814     45 |  0.011 % |
182.74/182.75	c |    265248 |     784   108080   283220 |   106919    98535     45 |  0.000 % |
183.54/183.52	c |    266040 |     784   108080   283220 |   106919    99327     45 |  0.000 % |
184.34/184.35	c |    266914 |     784   108080   283220 |   106919   100201     46 |  0.000 % |
185.24/185.30	c |    267873 |     784   108080   283220 |   106919   101160     46 |  0.000 % |
186.43/186.41	c |    268926 |     784   108080   283220 |   106919   102213     46 |  0.011 % |
187.63/187.67	c |    270086 |     784   108080   283220 |   103288   103373     45 |  0.011 % |
188.83/188.84	c |    271360 |     784   108080   283220 |   103288    92723     45 |  0.000 % |
190.13/190.18	c |    272762 |     784   108080   283220 |   103288    94125     45 |  0.000 % |
191.63/191.65	c |    274302 |     784   108080   283220 |   103288    95665     44 |  0.011 % |
193.23/193.29	c |    275998 |     784   108080   283220 |   103288    97361     44 |  0.011 % |
195.03/195.11	c |    277861 |     784   108080   283220 |   103288    99224     44 |  0.011 % |
196.83/196.90	c |    279911 |     784   108080   283220 |   103288   101274     44 |  0.011 % |
199.03/199.06	c |    282167 |     784   108080   283220 |   101365    91631     44 |  0.011 % |
201.53/201.51	c |    284645 |     784   108080   283220 |   101365    94109     44 |  0.000 % |
204.13/204.21	c |    287371 |     784   108080   283220 |   101365    96835     44 |  0.011 % |
204.23/204.30	c |    287472 |     784   108080   283220 |   101365    96936     44 |  0.000 % |
204.43/204.42	c |    287583 |     784   108080   283220 |   101365    97047     44 |  0.011 % |
204.53/204.56	c |    287705 |     784   108080   283220 |   101365    97169     44 |  0.000 % |
204.63/204.67	c |    287838 |     784   108080   283220 |   101365    97302     44 |  0.011 % |
204.83/204.82	c |    287985 |     784   108080   283220 |   101365    97449     44 |  0.011 % |
204.93/204.97	c |    288148 |     784   108080   283220 |   101365    97612     44 |  0.001 % |
205.13/205.12	c |    288326 |     784   108080   283220 |   101365    97790     44 |  0.011 % |
205.23/205.30	c |    288519 |     784   108080   283220 |   101365    97983     44 |  0.012 % |
205.53/205.53	c |    288733 |     784   108080   283220 |   101365    98197     44 |  0.000 % |
205.73/205.73	c |    288967 |     784   108080   283220 |   101365    98431     44 |  0.000 % |
205.93/205.97	c |    289223 |     784   108080   283220 |   101365    98687     44 |  0.011 % |
206.23/206.24	c |    289510 |     784   108080   283220 |   101365    98974     44 |  0.011 % |
206.53/206.53	c |    289819 |     784   108080   283220 |   101365    99283     44 |  0.000 % |
206.83/206.82	c |    290158 |     784   108080   283220 |    99465    99622     44 |  0.012 % |
207.23/207.25	c |    290531 |     784   108080   283220 |    99465    86413     44 |  0.000 % |
207.53/207.60	c |    290943 |     784   108080   283220 |    99465    86825     44 |  0.000 % |
207.93/207.93	c |    291392 |     784   108080   283220 |    99465    87274     44 |  0.000 % |
208.33/208.33	c |    291885 |     784   108080   283220 |    99465    87767     44 |  0.010 % |
208.73/208.80	c |    292428 |     784   108080   283220 |    99465    88310     44 |  0.011 % |
209.33/209.33	c |    293024 |     784   108080   283220 |    99465    88906     44 |  0.010 % |
209.83/209.88	c |    293679 |     784   108080   283220 |    99465    89561     45 |  0.000 % |
210.43/210.51	c |    294399 |     784   108080   283220 |    99465    90281     45 |  0.000 % |
211.23/211.29	c |    295193 |     784   108080   283220 |    99465    91075     45 |  0.011 % |
211.93/211.97	c |    296069 |     784   108080   283220 |    99465    91951     45 |  0.011 % |
212.63/212.67	c |    297028 |     784   108080   283220 |    99465    92910     46 |  0.000 % |
213.63/213.63	c |    298082 |     784   108080   283220 |    99465    93964     46 |  0.000 % |
214.54/214.59	c |    299240 |     784   108080   283220 |    99465    95122     47 |  0.000 % |
215.83/215.82	c |    300513 |     784   108080   283220 |    95882    84817     47 |  0.000 % |
217.23/217.21	c |    301914 |     784   108080   283220 |    95882    86218     48 |  0.000 % |
218.94/218.98	c |    303454 |     784   108080   283220 |    95882    87758     48 |  0.012 % |
221.03/221.05	c |    305150 |     784   108080   283220 |    95882    89454     48 |  0.012 % |
223.13/223.18	c |    307015 |     784   108080   283220 |    95882    91319     47 |  0.011 % |
225.03/225.07	c |    309066 |     784   108080   283220 |    95882    93370     48 |  0.000 % |
227.43/227.45	c |    311319 |     784   108080   283220 |    94305    81846     49 |  0.000 % |
229.83/229.87	c |    313797 |     784   108080   283220 |    94305    84324     49 |  0.000 % |
232.53/232.53	c |    316523 |     784   108080   283220 |    94305    87050     49 |  0.011 % |
235.44/235.47	c |    319522 |     784   108080   283220 |    94305    90049     50 |  0.000 % |
235.53/235.59	c |    319625 |     784   108080   283220 |    94305    90152     50 |  0.000 % |
235.63/235.68	c |    319736 |     784   108080   283220 |    94305    90263     50 |  0.011 % |
235.73/235.80	c |    319857 |     784   108080   283220 |    94305    90384     50 |  0.011 % |
235.93/235.95	c |    319991 |     784   108080   283220 |    94305    90518     50 |  0.011 % |
236.13/236.13	c |    320137 |     784   108080   283220 |    90527    90664     50 |  0.012 % |
236.43/236.44	c |    320297 |     784   108080   283220 |    90527    78211     51 |  0.012 % |
236.63/236.62	c |    320473 |     784   108080   283220 |    90527    78387     51 |  0.012 % |
236.73/236.80	c |    320668 |     784   108080   283220 |    90527    78582     51 |  0.000 % |
237.03/237.05	c |    320883 |     784   108080   283220 |    90527    78797     51 |  0.011 % |
237.23/237.26	c |    321119 |     784   108080   283220 |    90527    79033     50 |  0.012 % |
237.53/237.51	c |    321377 |     784   108080   283220 |    90527    79291     50 |  0.012 % |
237.83/237.82	c |    321658 |     784   108080   283220 |    90527    79572     50 |  0.012 % |
238.13/238.12	c |    321968 |     784   108080   283220 |    90527    79882     50 |  0.011 % |
238.53/238.52	c |    322307 |     784   108080   283220 |    90527    80221     50 |  0.011 % |
238.93/238.96	c |    322681 |     784   108080   283220 |    90527    80595     50 |  0.011 % |
239.33/239.41	c |    323092 |     784   108080   283220 |    90527    81006     50 |  0.011 % |
239.84/239.86	c |    323545 |     784   108080   283220 |    90527    81459     50 |  0.000 % |
240.23/240.27	c |    324038 |     784   108080   283220 |    90527    81952     51 |  0.000 % |
240.73/240.78	c |    324582 |     784   108080   283220 |    90527    82496     51 |  0.000 % |
241.33/241.37	c |    325178 |     784   108080   283220 |    90527    83092     51 |  0.000 % |
242.04/242.06	c |    325834 |     784   108080   283220 |    90527    83748     51 |  0.000 % |
242.73/242.79	c |    326554 |     784   108080   283220 |    90527    84468     51 |  0.011 % |
243.63/243.66	c |    327347 |     784   108080   283220 |    90527    85261     52 |  0.000 % |
244.53/244.58	c |    328219 |     784   108080   283220 |    90527    86133     52 |  0.011 % |
245.53/245.58	c |    329177 |     784   108080   283220 |    90527    87091     51 |  0.011 % |
246.63/246.62	c |    330230 |     784   108080   283220 |    87914    88144     51 |  0.011 % |
247.73/247.78	c |    331396 |     784   108080   283220 |    87914    76343     51 |  0.011 % |
248.93/249.00	c |    332669 |     784   108080   283220 |    87914    77616     50 |  0.012 % |
250.23/250.27	c |    334071 |     784   108080   283220 |    87914    79018     50 |  0.011 % |
251.73/251.77	c |    335611 |     784   108080   283220 |    87914    80558     51 |  0.000 % |
253.53/253.52	c |    337308 |     784   108080   283220 |    87914    82255     51 |  0.000 % |
255.32/255.38	c |    339171 |     784   108080   283220 |    87914    84118     51 |  0.011 % |
257.72/257.71	c |    341220 |     784   108080   283220 |    84948    73715     52 |  0.011 % |
259.83/259.90	c |    343473 |     784   108080   283220 |    84948    75968     52 |  0.011 % |
262.73/262.79	c |    345954 |     784   108080   283220 |    84948    78449     52 |  0.000 % |
265.63/265.61	c |    348682 |     784   108080   283220 |    84948    81177     51 |  0.011 % |
268.83/268.83	c |    351681 |     784   108080   283220 |    82495    70095     52 |  0.011 % |
272.13/272.18	c |    354977 |     784   108080   283220 |    82495    73391     51 |  0.011 % |
272.33/272.32	c |    355077 |     784   108080   283220 |    82495    73491     51 |  0.011 % |
272.43/272.44	c |    355187 |     784   108080   283220 |    82495    73601     51 |  0.000 % |
272.53/272.56	c |    355308 |     784   108080   283220 |    82495    73722     51 |  0.011 % |
272.63/272.69	c |    355441 |     784   108080   283220 |    82495    73855     51 |  0.011 % |
272.73/272.79	c |    355588 |     784   108080   283220 |    82495    74002     51 |  0.000 % |
272.93/272.93	c |    355749 |     784   108080   283220 |    82495    74163     52 |  0.000 % |
273.03/273.10	c |    355926 |     784   108080   283220 |    82495    74340     52 |  0.000 % |
273.23/273.28	c |    356121 |     784   108080   283220 |    82495    74535     52 |  0.011 % |
273.53/273.52	c |    356338 |     784   108080   283220 |    82495    74752     51 |  0.012 % |
273.73/273.77	c |    356572 |     784   108080   283220 |    82495    74986     51 |  0.011 % |
274.03/274.05	c |    356829 |     784   108080   283220 |    82495    75243     51 |  0.000 % |
274.33/274.31	c |    357110 |     784   108080   283220 |    82495    75524     51 |  0.011 % |
274.53/274.57	c |    357421 |     784   108080   283220 |    82495    75835     51 |  0.011 % |
274.83/274.89	c |    357761 |     784   108080   283220 |    82495    76175     51 |  0.011 % |
275.13/275.20	c |    358139 |     784   108080   283220 |    82495    76553     51 |  0.011 % |
275.63/275.61	c |    358548 |     784   108080   283220 |    82495    76962     51 |  0.011 % |
276.03/276.07	c |    359000 |     784   108080   283220 |    82495    77414     51 |  0.000 % |
276.43/276.50	c |    359494 |     784   108080   283220 |    82495    77908     52 |  0.000 % |
277.03/277.07	c |    360040 |     784   108080   283220 |    78417    78454     52 |  0.011 % |
277.63/277.70	c |    360637 |     784   108080   283220 |    78417    67117     49 |  0.000 % |
278.23/278.29	c |    361293 |     784   108080   283220 |    78417    67773     49 |  0.011 % |
278.93/278.95	c |    362014 |     784   108080   283220 |    78417    68494     49 |  0.011 % |
279.53/279.60	c |    362808 |     784   108080   283220 |    78417    69288     50 |  0.000 % |
280.33/280.34	c |    363681 |     784   108080   283220 |    78417    70161     50 |  0.000 % |
281.23/281.23	c |    364640 |     784   108080   283220 |    78417    71120     50 |  0.011 % |
282.13/282.12	c |    365694 |     784   108080   283220 |    78417    72174     50 |  0.011 % |
283.13/283.18	c |    366853 |     784   108080   283220 |    78417    73333     50 |  0.011 % |
284.13/284.17	c |    368127 |     784   108080   283220 |    78417    74607     50 |  0.010 % |
285.43/285.49	c |    369527 |     784   108080   283220 |    78417    76007     50 |  0.011 % |
286.93/287.01	c |    371069 |     784   108080   283220 |    76481    67782     48 |  0.000 % |
288.23/288.28	c |    372767 |     784   108080   283220 |    76481    69480     49 |  0.000 % |
289.83/289.81	c |    374633 |     784   108080   283220 |    76481    71346     49 |  0.011 % |
291.63/291.69	c |    376682 |     784   108080   283220 |    76481    73395     49 |  0.000 % |
293.83/293.84	c |    378936 |     784   108080   283220 |    76481    75649     48 |  0.011 % |
296.13/296.18	c |    381417 |     784   108080   283220 |    76715    68030     46 |  0.011 % |
298.33/298.38	c |    384142 |     784   108080   283220 |    76715    70755     46 |  0.000 % |
301.03/301.05	c |    387141 |     784   108080   283220 |    76715    73754     46 |  0.011 % |
304.23/304.25	c |    390441 |     784   108080   283220 |    76613    77054     45 |  0.011 % |
307.43/307.48	c |    394066 |     784   108080   283220 |    76613    70474     44 |  0.011 % |
307.53/307.57	c |    394168 |     784   108080   283220 |    76613    70576     44 |  0.000 % |
307.63/307.68	c |    394280 |     784   108080   283220 |    76613    70688     44 |  0.011 % |
307.73/307.79	c |    394401 |     784   108080   283220 |    76613    70809     44 |  0.011 % |
307.93/307.92	c |    394535 |     784   108080   283220 |    76613    70943     44 |  0.011 % |
308.03/308.05	c |    394681 |     784   108080   283220 |    76613    71089     45 |  0.000 % |
308.23/308.23	c |    394842 |     784   108080   283220 |    76613    71250     45 |  0.000 % |
308.33/308.38	c |    395020 |     784   108080   283220 |    76613    71428     45 |  0.011 % |
308.53/308.54	c |    395213 |     784   108080   283220 |    76613    71621     45 |  0.000 % |
308.73/308.72	c |    395425 |     784   108080   283220 |    76613    71833     45 |  0.011 % |
308.93/308.93	c |    395659 |     784   108080   283220 |    76613    72067     45 |  0.011 % |
309.13/309.14	c |    395917 |     784   108080   283220 |    76613    72325     45 |  0.011 % |
309.33/309.35	c |    396199 |     784   108080   283220 |    76613    72607     45 |  0.011 % |
309.53/309.60	c |    396509 |     784   108080   283220 |    76613    72917     44 |  0.011 % |
309.83/309.88	c |    396850 |     784   108080   283220 |    76613    73258     45 |  0.000 % |
310.23/310.30	c |    397222 |     784   108080   283220 |    76613    73630     45 |  0.000 % |
310.73/310.71	c |    397631 |     784   108080   283220 |    76613    74039     45 |  0.011 % |
311.13/311.13	c |    398081 |     784   108080   283220 |    76613    74489     45 |  0.011 % |
311.43/311.48	c |    398575 |     784   108080   283220 |    76613    74983     45 |  0.000 % |
311.93/311.98	c |    399119 |     784   108080   283220 |    76613    75527     46 |  0.000 % |
312.63/312.67	c |    399716 |     784   108080   283220 |    76613    76124     45 |  0.011 % |
313.33/313.39	c |    400371 |     784   108080   283220 |    76409    67228     45 |  0.011 % |
313.93/313.99	c |    401092 |     784   108080   283220 |    76409    67949     45 |  0.011 % |
314.73/314.72	c |    401886 |     784   108080   283220 |    76409    68743     46 |  0.000 % |
315.53/315.52	c |    402757 |     784   108080   283220 |    76409    69614     46 |  0.000 % |
316.53/316.52	c |    403716 |     784   108080   283220 |    76409    70573     46 |  0.011 % |
317.43/317.45	c |    404774 |     784   108080   283220 |    76409    71631     46 |  0.011 % |
318.53/318.55	c |    405934 |     784   108080   283220 |    76409    72791     46 |  0.011 % |
319.83/319.84	c |    407207 |     784   108080   283220 |    76409    74064     46 |  0.011 % |
321.13/321.17	c |    408612 |     784   108080   283220 |    76409    75469     46 |  0.011 % |
322.63/322.61	c |    410153 |     784   108080   283220 |    67809    67961     46 |  0.011 % |
324.13/324.13	c |    411850 |     784   108080   283220 |    67809    61541     44 |  0.011 % |
325.83/325.82	c |    413714 |     784   108080   283220 |    67809    63405     44 |  0.011 % |
327.73/327.76	c |    415766 |     784   108080   283220 |    67809    65457     43 |  0.011 % |
329.83/329.84	c |    418020 |     784   108080   283220 |    67809    67711     43 |  0.011 % |
331.83/331.82	c |    420501 |     784   108080   283220 |    61337    54627     42 |  0.000 % |
334.03/334.01	c |    423226 |     784   108080   283220 |    61337    57352     45 |  0.000 % |
336.33/336.40	c |    426223 |     784   108080   283220 |    61337    60349     45 |  0.011 % |
339.33/339.38	c |    429520 |     784   108080   283220 |    61337    57483     46 |  0.000 % |
342.23/342.27	c |    433146 |     784   108080   283220 | 2147483647    61109     48 |  0.000 % |
345.63/345.68	c |    437134 |     784   108080   283220 | 2147483647    65097     48 |  0.000 % |
345.73/345.75	c |    437237 |     784   108080   283220 | 2147483647    65200     48 |  0.011 % |
345.83/345.86	c |    437350 |     784   108080   283220 | 2147483647    65313     48 |  0.011 % |
345.93/346.00	c |    437472 |     784   108080   283220 | 2147483647    65435     48 |  0.011 % |
346.13/346.12	c |    437605 |     784   108080   283220 | 2147483647    65568     48 |  0.011 % |
346.23/346.27	c |    437755 |     784   108080   283220 | 2147483647    65718     48 |  0.011 % |
346.43/346.43	c |    437915 |     784   108080   283220 | 2147483647    65878     48 |  0.011 % |
346.63/346.63	c |    438093 |     784   108080   283220 | 2147483647    66056     48 |  0.011 % |
346.83/346.83	c |    438286 |     784   108080   283220 | 2147483647    66249     48 |  0.000 % |
346.93/347.00	c |    438498 |     784   108080   283220 | 2147483647    66461     48 |  0.012 % |
347.13/347.18	c |    438731 |     784   108080   283220 | 2147483647    66694     48 |  0.012 % |
347.43/347.41	c |    438988 |     784   108080   283220 | 2147483647    66951     48 |  0.012 % |
347.64/347.64	c |    439269 |     784   108080   283220 | 2147483647    67232     48 |  0.011 % |
347.93/347.95	c |    439578 |     784   108080   283220 | 2147483647    67541     48 |  0.012 % |
348.23/348.27	c |    439920 |     784   108080   283220 | 2147483647    67883     48 |  0.000 % |
348.63/348.70	c |    440292 |     784   108080   283220 |    67964    60733     49 |  0.000 % |
349.13/349.12	c |    440701 |     784   108080   283220 |    67964    61142     49 |  0.011 % |
349.63/349.63	c |    441151 |     784   108080   283220 |    67964    61592     49 |  0.011 % |
350.13/350.16	c |    441644 |     784   108080   283220 |    67964    62085     48 |  0.011 % |
350.63/350.67	c |    442186 |     784   108080   283220 |    67964    62627     48 |  0.011 % |
351.23/351.22	c |    442785 |     784   108080   283220 |    67964    63226     48 |  0.011 % |
351.83/351.83	c |    443440 |     784   108080   283220 |    67964    63881     48 |  0.011 % |
352.43/352.49	c |    444161 |     784   108080   283220 |    67964    64602     48 |  0.011 % |
353.23/353.26	c |    444953 |     784   108080   283220 |    67964    65394     48 |  0.011 % |
354.03/354.03	c |    445824 |     784   108080   283220 |    67964    66265     48 |  0.011 % |
354.83/354.89	c |    446783 |     784   108080   283220 |    67964    67224     48 |  0.011 % |
355.93/355.94	c |    447840 |     784   108080   283220 |    67964    68281     48 |  0.000 % |
357.13/357.17	c |    448998 |     784   108080   283220 |    67964    61695     46 |  0.011 % |
358.33/358.38	c |    450271 |     784   108080   283220 |    62700    62968     46 |  0.011 % |
359.63/359.66	c |    451675 |     784   108080   283220 |    62700    57267     46 |  0.011 % |
361.03/361.02	c |    453219 |     784   108080   283220 |    62700    58811     46 |  0.011 % |
362.63/362.62	c |    454914 |     784   108080   283220 |    62700    60506     46 |  0.011 % |
364.63/364.65	c |    456780 |     784   108080   283220 |    62700    62372     45 |  0.011 % |
366.34/366.40	c |    458829 |     784   108080   283220 |    62700    57397     46 |  0.011 % |
368.43/368.43	c |    461082 |     784   108080   283220 |    58568    53389     41 |  0.011 % |
370.43/370.40	c |    463563 |     784   108080   283220 |    58568    55870     43 |  0.000 % |
372.54/372.55	c |    466289 |     784   108080   283220 |    58568    58596     45 |  0.000 % |
374.84/374.89	c |    469289 |     784   108080   283220 |    58568    55737     44 |  0.012 % |
377.44/377.46	c |    472587 |     784   108080   283220 | 2147483647    59035     44 |  0.012 % |
380.54/380.58	c |    476213 |     784   108080   283220 | 2147483647    62661     48 |  0.000 % |
384.14/384.15	c |    480200 |     784   108080   283220 | 2147483647    66648     48 |  0.011 % |
388.74/388.76	c |    484585 |     784   108080   283220 | 2147483647    71033     48 |  0.012 % |
388.84/388.87	c |    484685 |     784   108080   283220 | 2147483647    71133     48 |  0.000 % |
388.94/388.98	c |    484797 |     784   108080   283220 | 2147483647    71245     48 |  0.000 % |
389.14/389.11	c |    484921 |     784   108080   283220 | 2147483647    71369     48 |  0.012 % |
389.24/389.24	c |    485054 |     784   108080   283220 | 2147483647    71502     48 |  0.012 % |
389.34/389.36	c |    485202 |     784   108080   283220 | 2147483647    71650     48 |  0.000 % |
389.54/389.52	c |    485370 |     784   108080   283220 | 2147483647    71818     48 |  0.000 % |
389.74/389.74	c |    485547 |     784   108080   283220 | 2147483647    71995     48 |  0.011 % |
389.94/389.92	c |    485742 |     784   108080   283220 | 2147483647    72190     48 |  0.000 % |
390.14/390.13	c |    485958 |     784   108080   283220 | 2147483647    72406     48 |  0.000 % |
390.34/390.35	c |    486192 |     784   108080   283220 | 2147483647    72640     48 |  0.011 % |
390.64/390.66	c |    486448 |     784   108080   283220 | 2147483647    72896     48 |  0.011 % |
390.94/390.98	c |    486731 |     784   108080   283220 | 2147483647    73179     48 |  0.011 % |
391.24/391.25	c |    487040 |     784   108080   283220 | 2147483647    73488     48 |  0.011 % |
391.54/391.56	c |    487379 |     784   108080   283220 | 2147483647    73827     48 |  0.000 % |
391.94/391.95	c |    487754 |     784   108080   283220 | 2147483647    74202     48 |  0.000 % |
392.34/392.40	c |    488167 |     784   108080   283220 | 2147483647    74615     48 |  0.011 % |
392.84/392.86	c |    488618 |     784   108080   283220 | 2147483647    75066     48 |  0.011 % |
393.34/393.41	c |    489112 |     784   108080   283220 | 2147483647    75560     48 |  0.000 % |
393.94/393.97	c |    489654 |     784   108080   283220 | 2147483647    76102     48 |  0.011 % |
394.54/394.57	c |    490250 |     784   108080   283220 |    76449    76698     48 |  0.011 % |
395.24/395.21	c |    490905 |     784   108080   283220 |    76449    67108     45 |  0.011 % |
395.84/395.84	c |    491626 |     784   108080   283220 |    76449    67829     45 |  0.011 % |
396.54/396.59	c |    492422 |     784   108080   283220 |    76449    68625     45 |  0.011 % |
397.34/397.36	c |    493293 |     784   108080   283220 |    76449    69496     45 |  0.011 % |
398.24/398.29	c |    494253 |     784   108080   283220 |    76449    70456     45 |  0.011 % |
399.34/399.32	c |    495308 |     784   108080   283220 |    76449    71511     45 |  0.011 % |
400.24/400.31	c |    496467 |     784   108080   283220 |    76449    72670     45 |  0.011 % |
401.54/401.59	c |    497744 |     784   108080   283220 |    76449    73947     45 |  0.011 % |
403.14/403.12	c |    499145 |     784   108080   283220 |    76449    75348     45 |  0.011 % |
404.84/404.89	c |    500685 |     784   108080   283220 |    76204    66250     45 |  0.011 % |
406.24/406.24	c |    502383 |     784   108080   283220 |    76204    67948     45 |  0.011 % |
407.94/407.93	c |    504246 |     784   108080   283220 |    76204    69811     45 |  0.011 % |
409.64/409.63	c |    506298 |     784   108080   283220 |    76204    71863     45 |  0.000 % |
412.04/412.03	c |    508551 |     784   108080   283220 |    76204    74116     45 |  0.012 % |
414.54/414.60	c |    511032 |     784   108080   283220 |    75567    66170     48 |  0.000 % |
417.44/417.44	c |    513758 |     784   108080   283220 |    75567    68896     50 |  0.000 % |
420.24/420.24	c |    516755 |     784   108080   283220 |    75567    71893     50 |  0.000 % |
423.94/424.01	c |    520051 |     784   108080   283220 |    75139    75189     50 |  0.011 % |
427.44/427.41	c |    523677 |     784   108080   283220 |    75139    67185     51 |  0.000 % |
431.54/431.60	c |    527666 |     784   108080   283220 |    75139    71174     51 |  0.000 % |
436.24/436.28	c |    532057 |     784   108080   283220 |    73513    63883     48 |  0.012 % |
440.44/440.43	c |    536886 |     784   108080   283220 |    73513    68712     51 |  0.000 % |
440.54/440.52	c |    536988 |     784   108080   283220 |    73513    68814     51 |  0.011 % |
440.64/440.64	c |    537101 |     784   108080   283220 |    73513    68927     51 |  0.011 % |
440.74/440.76	c |    537224 |     784   108080   283220 |    73513    69050     51 |  0.011 % |
440.84/440.90	c |    537357 |     784   108080   283220 |    73513    69183     51 |  0.011 % |
441.04/441.05	c |    537503 |     784   108080   283220 |    73513    69329     51 |  0.011 % |
441.15/441.20	c |    537666 |     784   108080   283220 |    73513    69492     51 |  0.000 % |
441.34/441.33	c |    537842 |     784   108080   283220 |    73513    69668     51 |  0.011 % |
441.54/441.57	c |    538038 |     784   108080   283220 |    73513    69864     51 |  0.011 % |
441.74/441.77	c |    538251 |     784   108080   283220 |    73513    70077     51 |  0.000 % |
441.94/441.99	c |    538484 |     784   108080   283220 |    73513    70310     51 |  0.011 % |
442.25/442.23	c |    538741 |     784   108080   283220 |    73513    70567     51 |  0.011 % |
442.54/442.54	c |    539023 |     784   108080   283220 |    73513    70849     51 |  0.011 % |
442.84/442.84	c |    539333 |     784   108080   283220 |    73513    71159     51 |  0.000 % |
443.14/443.15	c |    539674 |     784   108080   283220 |    73513    71500     51 |  0.011 % |
443.54/443.54	c |    540047 |     784   108080   283220 |    71830    71873     51 |  0.000 % |
443.94/443.99	c |    540457 |     784   108080   283220 |    71830    61722     52 |  0.000 % |
444.34/444.37	c |    540906 |     784   108080   283220 |    71830    62171     52 |  0.011 % |
444.84/444.90	c |    541399 |     784   108080   283220 |    71830    62664     52 |  0.011 % |
445.44/445.44	c |    541944 |     784   108080   283220 |    71830    63209     52 |  0.011 % |
446.04/446.05	c |    542541 |     784   108080   283220 |    71830    63806     52 |  0.011 % |
446.74/446.71	c |    543197 |     784   108080   283220 |    71830    64462     52 |  0.000 % |
447.44/447.49	c |    543922 |     784   108080   283220 |    71830    65187     53 |  0.011 % |
448.34/448.37	c |    544715 |     784   108080   283220 |    71830    65980     52 |  0.011 % |
449.34/449.37	c |    545587 |     784   108080   283220 |    71830    66852     52 |  0.011 % |
450.24/450.25	c |    546546 |     784   108080   283220 |    71830    67811     53 |  0.000 % |
451.24/451.22	c |    547603 |     784   108080   283220 |    71830    68868     54 |  0.000 % |
452.15/452.19	c |    548761 |     784   108080   283220 |    71830    70026     54 |  0.000 % |
453.34/453.37	c |    550036 |     784   108080   283220 |    71266    71301     54 |  0.000 % |
454.64/454.69	c |    551437 |     784   108080   283220 |    71266    62045     57 |  0.000 % |
456.04/456.06	c |    552977 |     784   108080   283220 |    71266    63585     57 |  0.000 % |
457.74/457.72	c |    554672 |     784   108080   283220 |    71266    65280     56 |  0.011 % |
459.64/459.64	c |    556535 |     784   108080   283220 |    71266    67143     56 |  0.011 % |
461.84/461.87	c |    558585 |     784   108080   283220 |    71266    69193     57 |  0.000 % |
464.74/464.74	c |    560838 |     784   108080   283220 |    70609    59899     56 |  0.000 % |
467.34/467.37	c |    563317 |     784   108080   283220 |    70609    62378     55 |  0.011 % |
470.44/470.43	c |    566042 |     784   108080   283220 |    70609    65103     54 |  0.011 % |
473.44/473.49	c |    569041 |     784   108080   283220 |    70609    68102     55 |  0.000 % |
476.94/476.97	c |    572337 |     784   108080   283220 |    69062    60600     54 |  0.000 % |
480.54/480.58	c |    575963 |     784   108080   283220 |    69062    64226     55 |  0.011 % |
484.74/484.80	c |    579950 |     784   108080   283220 |    69062    68213     54 |  0.011 % |
488.85/488.87	c |    584335 |     784   108080   283220 |    68266    61503     51 |  0.000 % |
493.75/493.76	c |    589158 |     784   108080   283220 |    68266    66326     51 |  0.000 % |
499.15/499.17	c |    594466 |     784   108080   283220 |    67168    60855     48 |  0.011 % |
499.25/499.30	c |    594566 |     784   108080   283220 |    67168    60955     48 |  0.011 % |
499.35/499.40	c |    594676 |     784   108080   283220 |    67168    61065     49 |  0.000 % |
499.45/499.51	c |    594798 |     784   108080   283220 |    67168    61187     49 |  0.000 % |
499.65/499.63	c |    594935 |     784   108080   283220 |    67168    61324     49 |  0.000 % |
499.75/499.78	c |    595083 |     784   108080   283220 |    67168    61472     48 |  0.000 % |
499.85/499.91	c |    595244 |     784   108080   283220 |    67168    61633     49 |  0.000 % |
500.05/500.08	c |    595421 |     784   108080   283220 |    67168    61810     49 |  0.000 % |
500.25/500.26	c |    595614 |     784   108080   283220 |    67168    62003     49 |  0.011 % |
500.45/500.47	c |    595828 |     784   108080   283220 |    67168    62217     49 |  0.011 % |
500.75/500.73	c |    596061 |     784   108080   283220 |    67168    62450     48 |  0.012 % |
500.95/500.95	c |    596319 |     784   108080   283220 |    67168    62708     49 |  0.000 % |
501.15/501.17	c |    596600 |     784   108080   283220 |    67168    62989     49 |  0.011 % |
501.45/501.44	c |    596909 |     784   108080   283220 |    67168    63298     49 |  0.011 % |
501.75/501.77	c |    597250 |     784   108080   283220 |    67168    63639     48 |  0.012 % |
502.05/502.08	c |    597622 |     784   108080   283220 |    67168    64011     48 |  0.000 % |
502.45/502.49	c |    598031 |     784   108080   283220 |    67168    64420     48 |  0.011 % |
502.85/502.88	c |    598480 |     784   108080   283220 |    67168    64869     49 |  0.000 % |
503.25/503.29	c |    598973 |     784   108080   283220 |    67168    65362     49 |  0.000 % |
503.85/503.87	c |    599519 |     784   108080   283220 |    67168    65908     49 |  0.012 % |
504.35/504.33	c |    600116 |     784   108080   283220 |    66389    66505     49 |  0.000 % |
504.95/504.92	c |    600774 |     784   108080   283220 |    66389    57086     46 |  0.000 % |
505.45/505.50	c |    601494 |     784   108080   283220 |    66389    57806     46 |  0.000 % |
506.25/506.25	c |    602288 |     784   108080   283220 |    66389    58600     46 |  0.011 % |
506.95/506.94	c |    603160 |     784   108080   283220 |    66389    59472     46 |  0.011 % |
507.85/507.86	c |    604120 |     784   108080   283220 |    66389    60432     46 |  0.011 % |
508.85/508.87	c |    605173 |     784   108080   283220 |    66389    61485     46 |  0.011 % |
509.75/509.79	c |    606331 |     784   108080   283220 |    66389    62643     46 |  0.000 % |
510.85/510.88	c |    607604 |     784   108080   283220 |    66389    63916     46 |  0.010 % |
512.05/512.06	c |    609006 |     784   108080   283220 |    66389    65318     46 |  0.010 % |
513.25/513.22	c |    610546 |     784   108080   283220 |    66313    58858     48 |  0.000 % |
514.55/514.58	c |    612243 |     784   108080   283220 |    66313    60555     49 |  0.000 % |
516.15/516.14	c |    614107 |     784   108080   283220 |    66313    62419     49 |  0.010 % |
518.05/518.02	c |    616158 |     784   108080   283220 |    66313    64470     48 |  0.010 % |
520.25/520.27	c |    618412 |     784   108080   283220 |    66313    58343     44 |  0.012 % |
522.65/522.71	c |    620891 |     784   108080   283220 |    59932    53418     44 |  0.012 % |
525.35/525.37	c |    623616 |     784   108080   283220 |    59932    56143     43 |  0.011 % |
527.75/527.78	c |    626614 |     784   108080   283220 |    59932    59141     44 |  0.000 % |
530.75/530.78	c |    629911 |     784   108080   283220 |    59932    55571     43 |  0.011 % |
533.85/533.90	c |    633537 |     784   108080   283220 |    55660    52860     42 |  0.012 % |
536.95/536.95	c |    637525 |     784   108080   283220 |    55660    50982     47 |  0.000 % |
541.15/541.12	c |    641910 |     784   108080   283220 |    53458    49994     53 |  0.000 % |
545.05/545.10	c |    646733 |     784   108080   283220 |    53458    49433     49 |  0.000 % |
549.65/549.67	c |    652038 |     784   108080   283220 | 2147483647    54738     50 |  0.011 % |
555.25/555.25	c |    657873 |     784   108080   283220 | 2147483647    60573     53 |  0.000 % |
555.35/555.37	c |    657973 |     784   108080   283220 | 2147483647    60673     53 |  0.011 % |
555.45/555.51	c |    658083 |     784   108080   283220 | 2147483647    60783     53 |  0.011 % |
555.65/555.66	c |    658204 |     784   108080   283220 | 2147483647    60904     53 |  0.000 % |
555.75/555.81	c |    658341 |     784   108080   283220 | 2147483647    61041     53 |  0.011 % |
555.95/555.98	c |    658487 |     784   108080   283220 | 2147483647    61187     53 |  0.011 % |
556.15/556.16	c |    658648 |     784   108080   283220 | 2147483647    61348     53 |  0.011 % |
556.35/556.36	c |    658826 |     784   108080   283220 | 2147483647    61526     53 |  0.011 % |
556.55/556.61	c |    659021 |     784   108080   283220 | 2147483647    61721     53 |  0.011 % |
556.75/556.80	c |    659234 |     784   108080   283220 | 2147483647    61934     53 |  0.000 % |
556.95/557.01	c |    659473 |     784   108080   283220 | 2147483647    62173     53 |  0.011 % |
557.25/557.26	c |    659734 |     784   108080   283220 | 2147483647    62434     53 |  0.011 % |
557.55/557.52	c |    660017 |     784   108080   283220 |    62700    62717     53 |  0.011 % |
557.85/557.89	c |    660326 |     784   108080   283220 |    62700    55946     55 |  0.000 % |
558.15/558.20	c |    660665 |     784   108080   283220 |    62700    56285     55 |  0.000 % |
558.55/558.53	c |    661037 |     784   108080   283220 |    62700    56657     55 |  0.011 % |
558.95/558.94	c |    661446 |     784   108080   283220 |    62700    57066     55 |  0.000 % |
559.35/559.36	c |    661895 |     784   108080   283220 |    62700    57515     55 |  0.011 % |
559.75/559.79	c |    662389 |     784   108080   283220 |    62700    58009     55 |  0.000 % |
560.25/560.23	c |    662934 |     784   108080   283220 |    62700    58554     55 |  0.011 % |
560.75/560.78	c |    663530 |     784   108080   283220 |    62700    59150     55 |  0.012 % |
561.45/561.43	c |    664185 |     784   108080   283220 |    62700    59805     55 |  0.000 % |
562.35/562.34	c |    664905 |     784   108080   283220 |    62700    60525     55 |  0.000 % |
563.05/563.10	c |    665701 |     784   108080   283220 |    62700    61321     55 |  0.012 % |
564.05/564.02	c |    666573 |     784   108080   283220 |    62700    62193     55 |  0.012 % |
565.05/565.07	c |    667531 |     784   108080   283220 |    62700    54777     58 |  0.000 % |
566.25/566.21	c |    668585 |     784   108080   283220 |    62700    55831     58 |  0.000 % |
567.35/567.39	c |    669745 |     784   108080   283220 |    62700    56991     59 |  0.000 % |
568.45/568.47	c |    671021 |     784   108080   283220 |    57248    50555     59 |  0.011 % |
569.75/569.74	c |    672422 |     784   108080   283220 |    57248    51956     60 |  0.000 % |
571.25/571.31	c |    673963 |     784   108080   283220 |    57248    53497     60 |  0.011 % |
573.16/573.15	c |    675657 |     784   108080   283220 |    57248    55191     59 |  0.011 % |
575.15/575.18	c |    677523 |     784   108080   283220 |    57248    57057     59 |  0.011 % |
577.15/577.18	c |    679572 |     784   108080   283220 |    57248    51172     54 |  0.000 % |
579.35/579.35	c |    681826 |     784   108080   283220 |    51604    46549     56 |  0.000 % |
581.45/581.51	c |    684305 |     784   108080   283220 |    51604    49028     55 |  0.011 % |
583.95/583.98	c |    687031 |     784   108080   283220 |    51604    51754     54 |  0.011 % |
586.25/586.29	c |    690031 |     784   108080   283220 |    48788    48818     55 |  0.000 % |
589.05/589.10	c |    693328 |     784   108080   283220 |    48788    46941     58 |  0.000 % |
592.35/592.33	c |    696953 |     784   108080   283220 |    48788    45661     60 |  0.000 % |
596.05/596.05	c |    700940 |     784   108080   283220 | 2147483647    49648     58 |  0.000 % |
600.86/600.91	c |    705327 |     784   108080   283220 | 2147483647    54035     58 |  0.012 % |
606.06/606.08	c |    710151 |     784   108080   283220 |    58712    58859     57 |  0.000 % |
611.36/611.38	c |    715458 |     784   108080   283220 |    58712    55750     52 |  0.011 % |
616.95/617.01	c |    721293 |     784   108080   283220 |    51677    45502     46 |  0.011 % |
622.35/622.37	c |    727714 |     784   108080   283220 |    51677    51923     45 |  0.011 % |
622.45/622.50	c |    727814 |     784   108080   283220 |    51677    46520     38 |  0.011 % |
622.55/622.59	c |    727927 |     784   108080   283220 |    51677    46633     38 |  0.011 % |
622.65/622.70	c |    728049 |     784   108080   283220 |    51677    46755     38 |  0.011 % |
622.75/622.81	c |    728183 |     784   108080   283220 |    51677    46889     39 |  0.000 % |
622.85/622.90	c |    728330 |     784   108080   283220 |    51677    47036     39 |  0.000 % |
623.05/623.03	c |    728490 |     784   108080   283220 |    51677    47196     39 |  0.011 % |
623.15/623.13	c |    728669 |     784   108080   283220 |    51677    47375     39 |  0.011 % |
623.25/623.29	c |    728865 |     784   108080   283220 |    51677    47571     38 |  0.011 % |
623.45/623.44	c |    729077 |     784   108080   283220 |    51677    47783     38 |  0.011 % |
623.55/623.58	c |    729312 |     784   108080   283220 |    51677    48018     39 |  0.000 % |
623.75/623.75	c |    729569 |     784   108080   283220 |    51677    48275     39 |  0.000 % |
623.95/623.93	c |    729851 |     784   108080   283220 |    51677    48557     39 |  0.000 % |
624.15/624.13	c |    730163 |     784   108080   283220 | 2147483647    48869     39 |  0.012 % |
624.35/624.40	c |    730503 |     784   108080   283220 | 2147483647    49209     40 |  0.000 % |
624.65/624.70	c |    730877 |     784   108080   283220 | 2147483647    49583     40 |  0.000 % |
624.95/624.96	c |    731287 |     784   108080   283220 | 2147483647    49993     40 |  0.000 % |
625.25/625.31	c |    731737 |     784   108080   283220 | 2147483647    50443     40 |  0.011 % |
625.75/625.73	c |    732230 |     784   108080   283220 | 2147483647    50936     40 |  0.011 % |
626.15/626.17	c |    732773 |     784   108080   283220 | 2147483647    51479     40 |  0.011 % |
626.65/626.61	c |    733371 |     784   108080   283220 | 2147483647    52077     40 |  0.011 % |
627.15/627.13	c |    734028 |     784   108080   283220 | 2147483647    52734     40 |  0.000 % |
627.55/627.57	c |    734750 |     784   108080   283220 | 2147483647    53456     41 |  0.000 % |
628.15/628.12	c |    735542 |     784   108080   283220 | 2147483647    54248     41 |  0.011 % |
628.75/628.74	c |    736415 |     784   108080   283220 | 2147483647    55121     42 |  0.000 % |
629.55/629.58	c |    737373 |     784   108080   283220 | 2147483647    56079     42 |  0.000 % |
630.35/630.40	c |    738429 |     784   108080   283220 | 2147483647    57135     42 |  0.011 % |
631.15/631.14	c |    739588 |     784   108080   283220 | 2147483647    58294     42 |  0.011 % |
632.05/632.09	c |    740863 |     784   108080   283220 | 2147483647    59569     43 |  0.000 % |
633.15/633.13	c |    742265 |     784   108080   283220 | 2147483647    60971     43 |  0.000 % |
634.45/634.41	c |    743807 |     784   108080   283220 | 2147483647    62513     43 |  0.011 % |
635.85/635.89	c |    745503 |     784   108080   283220 | 2147483647    64209     43 |  0.011 % |
637.25/637.22	c |    747366 |     784   108080   283220 | 2147483647    66072     45 |  0.000 % |
639.05/639.02	c |    749415 |     784   108080   283220 | 2147483647    68121     45 |  0.011 % |
640.85/640.85	c |    751668 |     784   108080   283220 | 2147483647    70374     45 |  0.011 % |
642.75/642.81	c |    754147 |     784   108080   283220 | 2147483647    72853     44 |  0.012 % |
645.15/645.21	c |    756872 |     784   108080   283220 | 2147483647    75578     45 |  0.011 % |
648.15/648.13	c |    759870 |     784   108080   283220 | 2147483647    78576     45 |  0.011 % |
651.25/651.22	c |    763166 |     784   108080   283220 |    78708    73098     43 |  0.011 % |
655.25/655.24	c |    766793 |     784   108080   283220 |    78708    76725     43 |  0.011 % |
659.25/659.30	c |    770782 |     784   108080   283220 |    69513    61120     43 |  0.011 % |
663.25/663.30	c |    775167 |     784   108080   283220 |    69513    65505     43 |  0.011 % |
667.76/667.80	c |    779991 |     784   108080   283220 |    69513    62112     43 |  0.011 % |
672.25/672.21	c |    785300 |     784   108080   283220 |    62123    60264     40 |  0.011 % |
677.05/677.03	c |    791136 |     784   108080   283220 | 2147483647    59854     37 |  0.011 % |
682.85/682.83	c |    797556 |     784   108080   283220 | 2147483647    66274     38 |  0.012 % |
688.66/688.66	c |    804619 |     784   108080   283220 |    68719    65742     41 |  0.000 % |
688.75/688.76	c |    804723 |     784   108080   283220 |    68719    65846     41 |  0.011 % |
688.85/688.83	c |    804833 |     784   108080   283220 |    68719    65956     41 |  0.011 % |
688.95/688.92	c |    804955 |     784   108080   283220 |    68719    66078     41 |  0.011 % |
689.05/689.02	c |    805089 |     784   108080   283220 |    68719    66212     41 |  0.011 % |
689.15/689.13	c |    805235 |     784   108080   283220 |    68719    66358     41 |  0.000 % |
689.25/689.25	c |    805396 |     784   108080   283220 |    68719    66519     41 |  0.000 % |
689.35/689.40	c |    805573 |     784   108080   283220 |    68719    66696     41 |  0.011 % |
689.55/689.58	c |    805768 |     784   108080   283220 |    68719    66891     42 |  0.000 % |
689.76/689.77	c |    805981 |     784   108080   283220 |    68719    67104     42 |  0.000 % |
689.95/689.96	c |    806217 |     784   108080   283220 |    68719    67340     42 |  0.012 % |
690.15/690.18	c |    806473 |     784   108080   283220 |    68719    67596     42 |  0.011 % |
690.45/690.43	c |    806754 |     784   108080   283220 |    68719    67877     42 |  0.011 % |
690.75/690.71	c |    807064 |     784   108080   283220 |    68719    68187     41 |  0.012 % |
690.95/690.95	c |    807404 |     784   108080   283220 |    68719    68527     42 |  0.000 % |
691.25/691.25	c |    807776 |     784   108080   283220 |    68719    68899     42 |  0.000 % |
691.65/691.69	c |    808191 |     784   108080   283220 |    68719    61821     42 |  0.011 % |
692.05/692.06	c |    808641 |     784   108080   283220 |    68719    62271     41 |  0.011 % |
692.45/692.42	c |    809135 |     784   108080   283220 |    68719    62765     41 |  0.011 % |
692.85/692.86	c |    809677 |     784   108080   283220 |    68719    63307     41 |  0.011 % |
693.35/693.38	c |    810273 |     784   108080   283220 |    63633    63903     41 |  0.011 % |
693.95/693.99	c |    810928 |     784   108080   283220 |    63633    58168     42 |  0.011 % |
694.45/694.48	c |    811648 |     784   108080   283220 |    63633    58888     42 |  0.011 % |
695.15/695.12	c |    812440 |     784   108080   283220 |    63633    59680     42 |  0.011 % |
695.75/695.80	c |    813314 |     784   108080   283220 |    63633    60554     41 |  0.011 % |
696.55/696.60	c |    814272 |     784   108080   283220 |    63633    61512     41 |  0.012 % |
697.25/697.27	c |    815325 |     784   108080   283220 |    63633    62565     42 |  0.012 % |
698.25/698.30	c |    816483 |     784   108080   283220 |    63633    63723     42 |  0.012 % |
699.45/699.47	c |    817756 |     784   108080   283220 |    63633    58624     41 |  0.011 % |
700.65/700.64	c |    819158 |     784   108080   283220 |    63633    60026     41 |  0.011 % |
701.86/701.87	c |    820702 |     784   108080   283220 | 2147483647    61570     41 |  0.012 % |
703.15/703.12	c |    822396 |     784   108080   283220 | 2147483647    63264     41 |  0.000 % |
704.65/704.62	c |    824259 |     784   108080   283220 | 2147483647    65127     42 |  0.010 % |
706.26/706.28	c |    826311 |     784   108080   283220 | 2147483647    67179     42 |  0.010 % |
708.15/708.14	c |    828568 |     784   108080   283220 | 2147483647    69436     42 |  0.010 % |
710.35/710.33	c |    831046 |     784   108080   283220 |    70868    64400     45 |  0.000 % |
712.66/712.63	c |    833771 |     784   108080   283220 |    70868    67125     47 |  0.000 % |
715.36/715.34	c |    836769 |     784   108080   283220 |    70868    70123     47 |  0.011 % |
718.46/718.43	c |    840065 |     784   108080   283220 |    64375    64440     48 |  0.011 % |
721.66/721.66	c |    843691 |     784   108080   283220 |    64375    59813     51 |  0.000 % |
725.46/725.44	c |    847678 |     784   108080   283220 |    64375    63800     51 |  0.011 % |
729.26/729.23	c |    852067 |     784   108080   283220 |    58147    52984     50 |  0.011 % |
733.46/733.43	c |    856890 |     784   108080   283220 |    58147    57807     55 |  0.000 % |
738.36/738.33	c |    862197 |     784   108080   283220 |    54166    49936     56 |  0.011 % |
743.26/743.26	c |    868032 |     784   108080   283220 |    54166    49549     51 |  0.011 % |
748.66/748.64	c |    874455 |     784   108080   283220 |    51517    49932     54 |  0.000 % |
754.86/754.89	c |    881515 |     784   108080   283220 |    49722    45721     49 |  0.011 % |
761.66/761.65	c |    889279 |     784   108080   283220 |    49722    48481     52 |  0.000 % |
761.76/761.73	c |    889380 |     784   108080   283220 |    49722    48582     52 |  0.000 % |
761.86/761.84	c |    889490 |     784   108080   283220 |    49722    48692     52 |  0.011 % |
761.96/761.97	c |    889615 |     784   108080   283220 |    49722    48817     52 |  0.011 % |
762.06/762.06	c |    889751 |     784   108080   283220 |    49722    48953     52 |  0.011 % |
762.16/762.15	c |    889898 |     784   108080   283220 |    49722    49100     52 |  0.011 % |
762.26/762.29	c |    890060 |     784   108080   283220 | 2147483647    49262     51 |  0.011 % |
762.46/762.45	c |    890237 |     784   108080   283220 | 2147483647    49439     52 |  0.000 % |
762.56/762.59	c |    890433 |     784   108080   283220 | 2147483647    49635     52 |  0.000 % |
762.76/762.76	c |    890645 |     784   108080   283220 | 2147483647    49847     52 |  0.011 % |
762.96/762.94	c |    890878 |     784   108080   283220 | 2147483647    50080     52 |  0.011 % |
763.16/763.14	c |    891134 |     784   108080   283220 | 2147483647    50336     52 |  0.000 % |
763.36/763.38	c |    891416 |     784   108080   283220 | 2147483647    50618     52 |  0.011 % |
763.66/763.66	c |    891725 |     784   108080   283220 | 2147483647    50927     52 |  0.011 % |
763.86/763.89	c |    892064 |     784   108080   283220 | 2147483647    51266     52 |  0.011 % |
764.16/764.20	c |    892438 |     784   108080   283220 | 2147483647    51640     52 |  0.000 % |
764.46/764.51	c |    892849 |     784   108080   283220 | 2147483647    52051     52 |  0.012 % |
764.96/764.92	c |    893298 |     784   108080   283220 | 2147483647    52500     52 |  0.011 % |
765.26/765.29	c |    893791 |     784   108080   283220 | 2147483647    52993     52 |  0.011 % |
765.76/765.76	c |    894333 |     784   108080   283220 | 2147483647    53535     52 |  0.000 % |
766.36/766.35	c |    894929 |     784   108080   283220 | 2147483647    54131     51 |  0.011 % |
766.96/767.01	c |    895586 |     784   108080   283220 | 2147483647    54788     51 |  0.011 % |
767.56/767.53	c |    896306 |     784   108080   283220 | 2147483647    55508     52 |  0.000 % |
768.26/768.30	c |    897099 |     784   108080   283220 | 2147483647    56301     52 |  0.011 % |
768.96/768.99	c |    897972 |     784   108080   283220 | 2147483647    57174     53 |  0.000 % |
769.76/769.77	c |    898930 |     784   108080   283220 | 2147483647    58132     52 |  0.011 % |
770.76/770.80	c |    899983 |     784   108080   283220 | 2147483647    59185     52 |  0.011 % |
771.86/771.86	c |    901141 |     784   108080   283220 | 2147483647    60343     52 |  0.011 % |
773.16/773.16	c |    902416 |     784   108080   283220 | 2147483647    61618     52 |  0.011 % |
774.46/774.44	c |    903816 |     784   108080   283220 | 2147483647    63018     51 |  0.011 % |
775.96/775.93	c |    905356 |     784   108080   283220 | 2147483647    64558     51 |  0.011 % |
777.86/777.83	c |    907051 |     784   108080   283220 | 2147483647    66253     51 |  0.011 % |
779.76/779.77	c |    908915 |     784   108080   283220 | 2147483647    68117     52 |  0.000 % |
781.96/781.92	c |    910966 |     784   108080   283220 |    69202    60983     50 |  0.011 % |
783.76/783.73	c |    913224 |     784   108080   283220 |    69202    63241     50 |  0.011 % |
786.06/786.01	c |    915703 |     784   108080   283220 |    69202    65720     50 |  0.012 % |
788.77/788.79	c |    918428 |     784   108080   283220 |    69202    68445     49 |  0.012 % |
791.96/791.93	c |    921426 |     784   108080   283220 |    61570    55479     47 |  0.012 % |
794.96/794.99	c |    924726 |     784   108080   283220 |    61570    58779     48 |  0.011 % |
798.86/798.90	c |    928352 |     784   108080   283220 |    61570    54723     43 |  0.011 % |
802.96/803.02	c |    932341 |     784   108080   283220 |    56373    51828     42 |  0.011 % |
807.47/807.43	c |    936728 |     784   108080   283220 |    56373    56215     44 |  0.011 % |
812.86/812.88	c |    941552 |     784   108080   283220 |    52770    47555     44 |  0.012 % |
816.96/816.94	c |    946857 |     784   108080   283220 |    52770    52860     48 |  0.000 % |
821.66/821.67	c |    952692 |     784   108080   283220 |    49859    47017     49 |  0.011 % |
826.67/826.68	c |    959110 |     784   108080   283220 |    49859    48432     48 |  0.011 % |
833.07/833.06	c |    966170 |     784   108080   283220 | 2147483647    55492     47 |  0.011 % |
840.27/840.30	c |    973934 |     784   108080   283220 |    59323    55774     45 |  0.011 % |
847.07/847.05	c |    982474 |     784   108080   283220 |    54732    50953     38 |  0.011 % |
847.17/847.12	c |    982576 |     784   108080   283220 |    54732    51055     38 |  0.011 % |
847.17/847.20	c |    982686 |     784   108080   283220 |    54732    51165     39 |  0.000 % |
847.27/847.29	c |    982812 |     784   108080   283220 |    54732    51291     39 |  0.011 % |
847.37/847.38	c |    982945 |     784   108080   283220 |    54732    51424     39 |  0.011 % |
847.47/847.49	c |    983091 |     784   108080   283220 |    54732    51570     39 |  0.011 % |
847.57/847.59	c |    983253 |     784   108080   283220 |    54732    51732     39 |  0.000 % |
847.77/847.72	c |    983429 |     784   108080   283220 |    54732    51908     39 |  0.000 % |
847.87/847.85	c |    983623 |     784   108080   283220 |    54732    52102     39 |  0.011 % |
847.97/848.01	c |    983835 |     784   108080   283220 |    54732    52314     39 |  0.011 % |
848.17/848.15	c |    984069 |     784   108080   283220 |    54732    52548     39 |  0.011 % |
848.27/848.29	c |    984326 |     784   108080   283220 |    54732    52805     39 |  0.000 % |
848.47/848.49	c |    984607 |     784   108080   283220 |    54732    53086     39 |  0.000 % |
848.67/848.69	c |    984916 |     784   108080   283220 |    54732    53395     39 |  0.011 % |
848.87/848.90	c |    985255 |     784   108080   283220 |    54732    53734     39 |  0.011 % |
849.17/849.16	c |    985627 |     784   108080   283220 |    54732    54106     39 |  0.011 % |
849.47/849.44	c |    986042 |     784   108080   283220 |    54732    54521     39 |  0.011 % |
849.77/849.72	c |    986491 |     784   108080   283220 |    54732    54970     40 |  0.000 % |
850.17/850.14	c |    986986 |     784   108080   283220 |    54732    49968     37 |  0.011 % |
850.47/850.49	c |    987529 |     784   108080   283220 |    54732    50511     37 |  0.011 % |
850.87/850.84	c |    988128 |     784   108080   283220 |    54732    51110     38 |  0.000 % |
851.27/851.29	c |    988783 |     784   108080   283220 |    54732    51765     38 |  0.000 % |
851.87/851.86	c |    989503 |     784   108080   283220 |    54732    52485     38 |  0.011 % |
852.37/852.38	c |    990299 |     784   108080   283220 | 2147483647    53281     39 |  0.000 % |
852.97/852.97	c |    991172 |     784   108080   283220 | 2147483647    54154     39 |  0.000 % |
853.67/853.66	c |    992132 |     784   108080   283220 | 2147483647    55114     39 |  0.011 % |
854.47/854.49	c |    993185 |     784   108080   283220 | 2147483647    56167     39 |  0.011 % |
855.37/855.39	c |    994344 |     784   108080   283220 | 2147483647    57326     39 |  0.011 % |
856.37/856.33	c |    995618 |     784   108080   283220 | 2147483647    58600     39 |  0.011 % |
857.37/857.40	c |    997018 |     784   108080   283220 | 2147483647    60000     39 |  0.011 % |
858.47/858.43	c |    998561 |     784   108080   283220 | 2147483647    61543     40 |  0.000 % |
859.67/859.71	c |   1000255 |     784   108080   283220 | 2147483647    63237     41 |  0.000 % |
861.27/861.26	c |   1002118 |     784   108080   283220 | 2147483647    65100     42 |  0.011 % |
863.17/863.18	c |   1004167 |     784   108080   283220 | 2147483647    67149     42 |  0.011 % |
865.17/865.20	c |   1006420 |     784   108080   283220 | 2147483647    69402     42 |  0.011 % |
867.47/867.44	c |   1008899 |     784   108080   283220 | 2147483647    71881     42 |  0.011 % |
869.87/869.86	c |   1011624 |     784   108080   283220 | 2147483647    74606     42 |  0.011 % |
872.87/872.83	c |   1014621 |     784   108080   283220 | 2147483647    77603     42 |  0.000 % |
875.67/875.64	c |   1017917 |     784   108080   283220 | 2147483647    80899     42 |  0.011 % |
878.87/878.82	c |   1021542 |     784   108080   283220 |    82987    75625     42 |  0.011 % |
882.27/882.28	c |   1025531 |     784   108080   283220 |    82987    79614     44 |  0.000 % |
887.07/887.04	c |   1029916 |     784   108080   283220 |    82987    73078     47 |  0.000 % |
891.97/891.94	c |   1034742 |     784   108080   283220 |    73162    68320     49 |  0.000 % |
897.37/897.40	c |   1040048 |     784   108080   283220 |    63778    63826     48 |  0.001 % |
902.67/902.62	c |   1045886 |     784   108080   283220 |    63778    61160     53 |  0.000 % |
908.37/908.37	c |   1052306 |     784   108080   283220 |    56208    51014     52 |  0.011 % |
914.47/914.48	c |   1059368 |     784   108080   283220 |    56208    51631     51 |  0.013 % |
921.37/921.39	c |   1067134 |     784   108080   283220 |    52263    47747     43 |  0.013 % |
929.07/929.05	c |   1075677 |     784   108080   283220 |    50616    50734     43 |  0.013 % |
935.77/935.74	c |   1085071 |     784   108080   283220 | 2147483647    54825     40 |  0.011 % |
935.87/935.82	c |   1085171 |     784   108080   283220 | 2147483647    54925     41 |  0.000 % |
935.87/935.88	c |   1085281 |     784   108080   283220 | 2147483647    55035     41 |  0.000 % |
935.97/935.95	c |   1085402 |     784   108080   283220 | 2147483647    55156     41 |  0.011 % |
936.07/936.07	c |   1085542 |     784   108080   283220 | 2147483647    55296     41 |  0.011 % |
936.18/936.17	c |   1085689 |     784   108080   283220 | 2147483647    55443     41 |  0.000 % |
936.27/936.26	c |   1085852 |     784   108080   283220 | 2147483647    55606     41 |  0.000 % |
936.37/936.36	c |   1086029 |     784   108080   283220 | 2147483647    55783     41 |  0.011 % |
936.47/936.51	c |   1086222 |     784   108080   283220 | 2147483647    55976     41 |  0.000 % |
936.67/936.67	c |   1086435 |     784   108080   283220 | 2147483647    56189     41 |  0.000 % |
936.77/936.80	c |   1086669 |     784   108080   283220 | 2147483647    56423     41 |  0.011 % |
936.97/936.97	c |   1086925 |     784   108080   283220 | 2147483647    56679     41 |  0.011 % |
937.17/937.18	c |   1087207 |     784   108080   283220 | 2147483647    56961     41 |  0.011 % |
937.37/937.40	c |   1087517 |     784   108080   283220 | 2147483647    57271     41 |  0.011 % |
937.67/937.63	c |   1087856 |     784   108080   283220 | 2147483647    57610     41 |  0.000 % |
937.87/937.87	c |   1088228 |     784   108080   283220 | 2147483647    57982     42 |  0.000 % |
938.17/938.14	c |   1088638 |     784   108080   283220 | 2147483647    58392     41 |  0.012 % |
938.48/938.48	c |   1089087 |     784   108080   283220 | 2147483647    58841     41 |  0.011 % |
938.78/938.78	c |   1089581 |     784   108080   283220 | 2147483647    59335     42 |  0.000 % |
939.18/939.13	c |   1090123 |     784   108080   283220 | 2147483647    59877     43 |  0.000 % |
939.58/939.56	c |   1090719 |     784   108080   283220 | 2147483647    60473     43 |  0.000 % |
940.08/940.04	c |   1091376 |     784   108080   283220 | 2147483647    61130     43 |  0.011 % |
940.58/940.61	c |   1092099 |     784   108080   283220 | 2147483647    61853     42 |  0.011 % |
941.18/941.18	c |   1092892 |     784   108080   283220 | 2147483647    62646     43 |  0.000 % |
941.88/941.84	c |   1093764 |     784   108080   283220 | 2147483647    63518     43 |  0.011 % |
942.58/942.61	c |   1094723 |     784   108080   283220 | 2147483647    64477     43 |  0.000 % |
943.48/943.45	c |   1095777 |     784   108080   283220 | 2147483647    65531     43 |  0.011 % |
944.38/944.39	c |   1096936 |     784   108080   283220 | 2147483647    66690     43 |  0.011 % |
945.28/945.27	c |   1098209 |     784   108080   283220 | 2147483647    67963     42 |  0.010 % |
946.38/946.36	c |   1099609 |     784   108080   283220 | 2147483647    69363     42 |  0.010 % |
947.48/947.44	c |   1101153 |     784   108080   283220 | 2147483647    70907     42 |  0.011 % |
948.78/948.73	c |   1102847 |     784   108080   283220 | 2147483647    72601     42 |  0.011 % |
950.08/950.04	c |   1104711 |     784   108080   283220 | 2147483647    74465     42 |  0.000 % |
951.78/951.78	c |   1106760 |     784   108080   283220 | 2147483647    76514     42 |  0.011 % |
953.88/953.91	c |   1109013 |     784   108080   283220 | 2147483647    78767     42 |  0.011 % |
955.78/955.75	c |   1111491 |     784   108080   283220 | 2147483647    81245     44 |  0.000 % |
958.28/958.27	c |   1114216 |     784   108080   283220 | 2147483647    83970     44 |  0.011 % |
961.18/961.19	c |   1117214 |     784   108080   283220 | 2147483647    86968     43 |  0.011 % |
964.28/964.26	c |   1120511 |     784   108080   283220 |    89754    80763     42 |  0.000 % |
967.58/967.55	c |   1124137 |     784   108080   283220 |    89754    84389     44 |  0.000 % |
971.27/971.27	c |   1128124 |     784   108080   283220 |    89754    88376     43 |  0.011 % |
975.87/975.82	c |   1132509 |     784   108080   283220 |    78660    70977     44 |  0.011 % |
980.07/980.04	c |   1137333 |     784   108080   283220 |    78660    75801     46 |  0.000 % |
984.77/984.76	c |   1142638 |     784   108080   283220 |    78468    70905     46 |  0.011 % |
990.67/990.67	c |   1148475 |     784   108080   283220 |    78468    76742     45 |  0.011 % |
996.77/996.77	c |   1154894 |     784   108080   283220 |    78270    72724     45 |  0.011 % |
1003.67/1003.64	c |   1161953 |     784   108080   283220 |    77836    69570     46 |  0.000 % |
1011.67/1011.66	c |   1169723 |     784   108080   283220 |    77836    77340     48 |  0.000 % |
1019.87/1019.82	c |   1178264 |     784   108080   283220 |    77621    73853     47 |  0.000 % |
1028.97/1028.92	c |   1187661 |     784   108080   283220 |    75594    71729     44 |  0.011 % |
1038.97/1038.98	c |   1197994 |     784   108080   283220 |    74068    71156     42 |  0.011 % |
1039.07/1039.09	c |   1198098 |     784   108080   283220 |    74068    71260     42 |  0.000 % |
1039.27/1039.22	c |   1198210 |     784   108080   283220 |    74068    71372     42 |  0.000 % |
1039.37/1039.35	c |   1198331 |     784   108080   283220 |    74068    71493     42 |  0.000 % |
1039.47/1039.48	c |   1198468 |     784   108080   283220 |    74068    71630     42 |  0.000 % |
1039.67/1039.65	c |   1198616 |     784   108080   283220 |    74068    71778     42 |  0.011 % |
1039.77/1039.78	c |   1198776 |     784   108080   283220 |    74068    71938     42 |  0.011 % |
1039.97/1039.95	c |   1198952 |     784   108080   283220 |    74068    72114     42 |  0.012 % |
1040.17/1040.11	c |   1199145 |     784   108080   283220 |    74068    72307     42 |  0.011 % |
1040.27/1040.28	c |   1199358 |     784   108080   283220 |    74068    72520     42 |  0.000 % |
1040.57/1040.51	c |   1199593 |     784   108080   283220 |    74068    72755     42 |  0.011 % |
1040.77/1040.73	c |   1199849 |     784   108080   283220 |    74068    73011     43 |  0.000 % |
1040.97/1040.91	c |   1200131 |     784   108080   283220 |    73162    73293     43 |  0.000 % |
1041.27/1041.27	c |   1200443 |     784   108080   283220 |    73162    63300     43 |  0.000 % |
1041.47/1041.49	c |   1200784 |     784   108080   283220 |    73162    63641     43 |  0.011 % |
1041.87/1041.85	c |   1201157 |     784   108080   283220 |    73162    64014     43 |  0.011 % |
1042.17/1042.18	c |   1201566 |     784   108080   283220 |    73162    64423     43 |  0.011 % |
1042.57/1042.60	c |   1202015 |     784   108080   283220 |    73162    64872     44 |  0.000 % |
1043.07/1043.11	c |   1202508 |     784   108080   283220 |    73162    65365     44 |  0.000 % |
1043.67/1043.62	c |   1203050 |     784   108080   283220 |    73162    65907     44 |  0.000 % |
1044.17/1044.11	c |   1203647 |     784   108080   283220 |    73162    66504     45 |  0.000 % |
1044.67/1044.65	c |   1204306 |     784   108080   283220 |    73162    67163     45 |  0.011 % |
1045.37/1045.32	c |   1205026 |     784   108080   283220 |    73162    67883     45 |  0.000 % |
1046.07/1046.03	c |   1205818 |     784   108080   283220 |    73162    68675     45 |  0.000 % |
1046.87/1046.84	c |   1206690 |     784   108080   283220 |    73162    69547     45 |  0.000 % |
1047.77/1047.79	c |   1207648 |     784   108080   283220 |    73162    70505     45 |  0.012 % |
1048.47/1048.48	c |   1208701 |     784   108080   283220 |    73162    71558     45 |  0.012 % |
1049.57/1049.58	c |   1209863 |     784   108080   283220 |    73162    72720     45 |  0.011 % |
1050.97/1050.99	c |   1211137 |     784   108080   283220 |    72858    65489     44 |  0.011 % |
1052.28/1052.27	c |   1212538 |     784   108080   283220 |    72858    66890     44 |  0.011 % |
1053.68/1053.62	c |   1214080 |     784   108080   283220 |    72858    68432     45 |  0.000 % |
1055.17/1055.19	c |   1215775 |     784   108080   283220 |    72858    70127     46 |  0.000 % |
1056.87/1056.81	c |   1217638 |     784   108080   283220 |    72858    71990     46 |  0.000 % |
1058.37/1058.38	c |   1219687 |     784   108080   283220 |    72858    65325     44 |  0.000 % |
1060.57/1060.54	c |   1221940 |     784   108080   283220 |    65638    59895     44 |  0.000 % |
1062.77/1062.79	c |   1224420 |     784   108080   283220 |    65638    62375     43 |  0.011 % |
1065.37/1065.38	c |   1227147 |     784   108080   283220 |    65638    65102     43 |  0.011 % |
1068.07/1068.07	c |   1230144 |     784   108080   283220 |    61351    61495     43 |  0.011 % |
1071.07/1071.10	c |   1233445 |     784   108080   283220 |    61351    58513     43 |  0.012 % |
1074.17/1074.12	c |   1237070 |     784   108080   283220 |    61351    55555     43 |  0.011 % |
1077.87/1077.84	c |   1241057 |     784   108080   283220 |    58485    53485     44 |  0.000 % |
1081.57/1081.59	c |   1245442 |     784   108080   283220 |    58485    57870     48 |  0.000 % |
1085.87/1085.83	c |   1250267 |     784   108080   283220 | 2147483647    56813     47 |  0.011 % |
1090.67/1090.62	c |   1255572 |     784   108080   283220 | 2147483647    62118     46 |  0.000 % |
1096.97/1096.96	c |   1261411 |     784   108080   283220 |    66550    60133     50 |  0.000 % |
1102.67/1102.61	c |   1267829 |     784   108080   283220 |    66550    66551     51 |  0.000 % |
1109.67/1109.62	c |   1274889 |     784   108080   283220 |    60082    57041     53 |  0.011 % |
1117.07/1117.07	c |   1282655 |     784   108080   283220 |    53822    49003     49 |  0.011 % |
1125.07/1125.08	c |   1291196 |     784   108080   283220 |    49028    43381     44 |  0.011 % |
1133.77/1133.80	c |   1300591 |     784   108080   283220 |    46063    41167     41 |  0.011 % |
1141.17/1141.11	c |   1310926 |     784   108080   283220 | 2147483647    46860     52 |  0.000 % |
1150.37/1150.33	c |   1322294 |     784   108080   283220 | 2147483647    58228     53 |  0.000 % |
1150.47/1150.42	c |   1322395 |     784   108080   283220 | 2147483647    58329     52 |  0.011 % |
1150.57/1150.51	c |   1322509 |     784   108080   283220 | 2147483647    58443     52 |  0.011 % |
1150.68/1150.64	c |   1322632 |     784   108080   283220 | 2147483647    58566     53 |  0.000 % |
1150.77/1150.73	c |   1322765 |     784   108080   283220 | 2147483647    58699     53 |  0.011 % |
1150.87/1150.87	c |   1322911 |     784   108080   283220 | 2147483647    58845     53 |  0.000 % |
1151.07/1151.02	c |   1323071 |     784   108080   283220 | 2147483647    59005     52 |  0.011 % |
1151.17/1151.16	c |   1323248 |     784   108080   283220 | 2147483647    59182     53 |  0.000 % |
1151.37/1151.34	c |   1323442 |     784   108080   283220 | 2147483647    59376     53 |  0.011 % |
1151.57/1151.55	c |   1323654 |     784   108080   283220 | 2147483647    59588     53 |  0.011 % |
1151.78/1151.77	c |   1323887 |     784   108080   283220 | 2147483647    59821     53 |  0.011 % |
1151.97/1151.97	c |   1324145 |     784   108080   283220 | 2147483647    60079     52 |  0.011 % |
1152.17/1152.18	c |   1324427 |     784   108080   283220 | 2147483647    60361     52 |  0.011 % |
1152.47/1152.45	c |   1324737 |     784   108080   283220 | 2147483647    60671     52 |  0.011 % |
1152.67/1152.67	c |   1325077 |     784   108080   283220 | 2147483647    61011     52 |  0.011 % |
1153.07/1153.01	c |   1325450 |     784   108080   283220 | 2147483647    61384     52 |  0.000 % |
1153.37/1153.33	c |   1325859 |     784   108080   283220 | 2147483647    61793     52 |  0.000 % |
1153.67/1153.70	c |   1326308 |     784   108080   283220 | 2147483647    62242     52 |  0.012 % |
1154.07/1154.10	c |   1326801 |     784   108080   283220 | 2147483647    62735     52 |  0.012 % |
1154.67/1154.60	c |   1327344 |     784   108080   283220 | 2147483647    63278     52 |  0.012 % |
1155.17/1155.13	c |   1327940 |     784   108080   283220 | 2147483647    63874     52 |  0.012 % |
1155.77/1155.75	c |   1328596 |     784   108080   283220 | 2147483647    64530     52 |  0.011 % |
1156.37/1156.37	c |   1329318 |     784   108080   283220 | 2147483647    65252     52 |  0.000 % |
1157.17/1157.13	c |   1330110 |     784   108080   283220 | 2147483647    66044     53 |  0.000 % |
1157.77/1157.74	c |   1330981 |     784   108080   283220 | 2147483647    66915     52 |  0.011 % |
1158.47/1158.41	c |   1331940 |     784   108080   283220 | 2147483647    67874     52 |  0.011 % |
1159.27/1159.21	c |   1332995 |     784   108080   283220 | 2147483647    68929     52 |  0.000 % |
1160.37/1160.32	c |   1334154 |     784   108080   283220 | 2147483647    70088     52 |  0.011 % |
1161.47/1161.45	c |   1335431 |     784   108080   283220 | 2147483647    71365     52 |  0.012 % |
1162.67/1162.65	c |   1336831 |     784   108080   283220 | 2147483647    72765     52 |  0.000 % |
1164.07/1164.04	c |   1338371 |     784   108080   283220 | 2147483647    74305     52 |  0.012 % |
1165.78/1165.75	c |   1340066 |     784   108080   283220 | 2147483647    76000     51 |  0.000 % |
1167.68/1167.63	c |   1341933 |     784   108080   283220 | 2147483647    77867     52 |  0.000 % |
1169.68/1169.68	c |   1343982 |     784   108080   283220 | 2147483647    79916     52 |  0.011 % |
1172.08/1172.07	c |   1346236 |     784   108080   283220 | 2147483647    82170     51 |  0.011 % |
1174.68/1174.69	c |   1348714 |     784   108080   283220 | 2147483647    84648     51 |  0.000 % |
1177.98/1178.01	c |   1351441 |     784   108080   283220 |    85939    74790     51 |  0.011 % |
1181.18/1181.17	c |   1354438 |     784   108080   283220 |    85939    77787     51 |  0.011 % |
1184.98/1184.98	c |   1357734 |     784   108080   283220 |    85939    81083     50 |  0.000 % |
1188.78/1188.75	c |   1361361 |     784   108080   283220 |    83349    71310     49 |  0.012 % |
1192.88/1192.87	c |   1365349 |     784   108080   283220 |    83349    75298     48 |  0.012 % |
1197.18/1197.14	c |   1369736 |     784   108080   283220 |    83349    79685     47 |  0.013 % |
1200.08/1200.02	HOME/SatELiteGTI: line 36: 32604 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:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1820608-1242458351/watcher-1820608-1242458351 -o /tmp/evaluation-result-1820608-1242458351/solver-1820608-1242458351 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820608-1242458351.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: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2412 CPUtime=0.01
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 366 646 0 0 0 0 1 0 18 0 1 0 1010335940 2469888 276 4294967295 134512640 135169312 3220777696 3220776232 3085774574 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32598/statm: 603 276 235 161 0 42 0
[pid=32602] ppid=32598 vsize=952 CPUtime=0
/proc/32602/stat : 32602 (SatELite_releas) R 32598 32598 10114 0 -1 4202496 130 0 0 0 0 0 0 0 20 0 1 0 1010335940 974848 66 4294967295 134512640 135223648 3215400368 3215398964 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32602/statm: 238 71 46 174 0 63 0

[startup+0.033675 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2412 CPUtime=0.01
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 366 646 0 0 0 0 1 0 18 0 1 0 1010335940 2469888 276 4294967295 134512640 135169312 3220777696 3220776232 3085774574 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32598/statm: 603 276 235 161 0 42 0
[pid=32602] ppid=32598 vsize=3240 CPUtime=0.03
/proc/32602/stat : 32602 (SatELite_releas) R 32598 32598 10114 0 -1 4202496 710 0 0 0 2 1 0 0 20 0 1 0 1010335940 3317760 646 4294967295 134512640 135223648 3215400368 3215398936 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32602/statm: 810 646 46 174 0 635 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5652

[startup+0.11367 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2412 CPUtime=0.01
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 366 646 0 0 0 0 1 0 18 0 1 0 1010335940 2469888 276 4294967295 134512640 135169312 3220777696 3220776232 3085774574 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32598/statm: 603 276 235 161 0 42 0
[pid=32602] ppid=32598 vsize=6928 CPUtime=0.11
/proc/32602/stat : 32602 (SatELite_releas) R 32598 32598 10114 0 -1 4202496 1619 0 0 0 8 3 0 0 21 0 1 0 1010335940 7094272 1555 4294967295 134512640 135223648 3215400368 3215397172 134818569 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32602/statm: 1732 1555 72 174 0 1557 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9340

[startup+0.323659 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2416

[startup+0.713639 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32598
/proc/meminfo: memFree=1189992/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2416

[startup+1.5136 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32604
/proc/meminfo: memFree=1181900/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=8036 CPUtime=1.35
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 1905 0 0 0 134 1 0 0 25 0 1 0 1010335956 8228864 1840 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 2009 1840 73 172 0 1836 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10452

[startup+3.11352 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32604
/proc/meminfo: memFree=1180660/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=9752 CPUtime=2.95
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 2337 0 0 0 292 3 0 0 25 0 1 0 1010335956 9986048 2272 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 2438 2272 73 172 0 2265 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 12168

[startup+6.31336 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32604
/proc/meminfo: memFree=1177444/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=12356 CPUtime=6.15
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 3006 0 0 0 612 3 0 0 25 0 1 0 1010335956 12652544 2941 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 3089 2941 73 172 0 2916 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 14772

[startup+12.713 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 319
/proc/meminfo: memFree=1173064/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=16264 CPUtime=12.55
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 3979 0 0 0 1251 4 0 0 25 0 1 0 1010335956 16654336 3914 4294967295 134512640 135215339 3213978800 3213977088 134528679 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 4066 3914 73 172 0 3893 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 18680

[startup+25.5124 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 321
/proc/meminfo: memFree=1167016/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=22328 CPUtime=25.35
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 5501 0 0 0 2530 5 0 0 25 0 1 0 1010335956 22863872 5436 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 5582 5436 73 172 0 5409 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 24744

[startup+51.1212 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 323
/proc/meminfo: memFree=1158184/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=31640 CPUtime=50.96
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 7799 0 0 0 5089 7 0 0 25 0 1 0 1010335956 32399360 7734 4294967295 134512640 135215339 3213978800 3213977088 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 7910 7734 73 172 0 7737 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 34056

[startup+102.329 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 510
/proc/meminfo: memFree=1152108/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37472 CPUtime=102.17
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9214 0 0 0 10208 9 0 0 25 0 1 0 1010335956 38371328 9149 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9368 9149 73 172 0 9195 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 39888

[startup+162.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 697
/proc/meminfo: memFree=1151868/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37624 CPUtime=162.17
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9249 0 0 0 16207 10 0 0 25 0 1 0 1010335956 38526976 9184 4294967295 134512640 135215339 3213978800 3213977088 134528776 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9406 9184 73 172 0 9233 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 40040

[startup+222.313 s]
/proc/loadavg: 1.21 1.07 1.02 3/95 896
/proc/meminfo: memFree=1151744/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37624 CPUtime=222.16
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9265 0 0 0 22202 14 0 0 25 0 1 0 1010335956 38526976 9200 4294967295 134512640 135215339 3213978800 3213977088 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9406 9200 73 172 0 9233 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 40040

[startup+282.31 s]
/proc/loadavg: 1.08 1.06 1.02 2/95 1092
/proc/meminfo: memFree=1151836/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37624 CPUtime=282.16
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9265 0 0 0 28201 15 0 0 25 0 1 0 1010335956 38526976 9200 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9406 9200 73 172 0 9233 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 40040

[startup+342.307 s]
/proc/loadavg: 1.03 1.04 1.01 2/95 1279
/proc/meminfo: memFree=1151744/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37776 CPUtime=342.16
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9298 0 0 0 34201 15 0 0 25 0 1 0 1010335956 38682624 9233 4294967295 134512640 135215339 3213978800 3213977088 134529085 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9444 9233 73 172 0 9271 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 40192

[startup+402.314 s]
/proc/loadavg: 1.01 1.03 1.01 3/95 1469
/proc/meminfo: memFree=1151744/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17

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

/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=37932 CPUtime=462.17
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9342 0 0 0 46202 15 0 0 25 0 1 0 1010335956 38842368 9277 4294967295 134512640 135215339 3213978800 3213977088 134529099 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9483 9277 73 172 0 9310 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 40348

[startup+522.318 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 1845
/proc/meminfo: memFree=1151496/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=522.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9354 0 0 0 52203 15 0 0 25 0 1 0 1010335956 39022592 9289 4294967295 134512640 135215339 3213978800 3213977088 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9289 73 172 0 9354 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 40524

[startup+582.315 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 2037
/proc/meminfo: memFree=1151596/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=582.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9354 0 0 0 58201 17 0 0 25 0 1 0 1010335956 39022592 9289 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9289 73 172 0 9354 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 40524

[startup+642.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 2224
/proc/meminfo: memFree=1151496/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=642.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9365 0 0 0 64201 17 0 0 25 0 1 0 1010335956 39022592 9300 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9300 73 172 0 9354 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 40524

[startup+702.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2413
/proc/meminfo: memFree=1151372/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=702.18
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9384 0 0 0 70201 17 0 0 25 0 1 0 1010335956 39022592 9319 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9319 73 172 0 9354 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 40524

[startup+762.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2608
/proc/meminfo: memFree=1151380/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38108 CPUtime=762.19
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9384 0 0 0 76202 17 0 0 25 0 1 0 1010335956 39022592 9319 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9527 9319 73 172 0 9354 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 40524

[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2803
/proc/meminfo: memFree=1151232/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38280 CPUtime=822.19
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9395 0 0 0 82202 17 0 0 25 0 1 0 1010335956 39198720 9330 4294967295 134512640 135215339 3213978800 3213977088 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9570 9330 73 172 0 9397 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 40696

[startup+882.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2992
/proc/meminfo: memFree=1151248/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38280 CPUtime=882.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9421 0 0 0 88203 17 0 0 25 0 1 0 1010335956 39198720 9356 4294967295 134512640 135215339 3213978800 3213977088 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9570 9356 73 172 0 9397 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 40696

[startup+942.328 s]
/proc/loadavg: 1.05 1.01 1.00 3/95 3185
/proc/meminfo: memFree=1150860/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38448 CPUtime=942.21
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9448 0 0 0 94204 17 0 0 25 0 1 0 1010335956 39370752 9383 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9612 9383 73 172 0 9439 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 40864

[startup+1002.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 3386
/proc/meminfo: memFree=1150752/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38448 CPUtime=1002.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9450 0 0 0 100203 17 0 0 25 0 1 0 1010335956 39370752 9385 4294967295 134512640 135215339 3213978800 3213977088 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9612 9385 73 172 0 9439 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 40864

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3587
/proc/meminfo: memFree=1150636/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1062.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9498 0 0 0 106203 17 0 0 25 0 1 0 1010335956 39661568 9433 4294967295 134512640 135215339 3213978800 3213977088 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9433 73 172 0 9510 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 41148

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3776
/proc/meminfo: memFree=1150728/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1122.2
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9498 0 0 0 112203 17 0 0 25 0 1 0 1010335956 39661568 9433 4294967295 134512640 135215339 3213978800 3213977088 134528779 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9433 73 172 0 9510 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 41148

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3964
/proc/meminfo: memFree=1150620/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1182.21
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9510 0 0 0 118204 17 0 0 25 0 1 0 1010335956 39661568 9445 4294967295 134512640 135215339 3213978800 3213977088 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9445 73 172 0 9510 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 41148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3965
/proc/meminfo: memFree=1150636/2074464 swapFree=1950876/1959888
[pid=32598] ppid=32596 vsize=2416 CPUtime=0.17
/proc/32598/stat : 32598 (SatELiteGTI) S 32596 32598 10114 0 -1 4194304 385 2267 0 0 0 0 13 4 18 0 1 0 1010335940 2473984 277 4294967295 134512640 135169312 3220777696 3220773912 3085774574 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32598/statm: 604 277 235 161 0 43 0
[pid=32604] ppid=32598 vsize=38732 CPUtime=1199.91
/proc/32604/stat : 32604 (minisat_static) R 32598 32598 10114 0 -1 4202496 9510 0 0 0 119974 17 0 0 25 0 1 0 1010335956 39661568 9445 4294967295 134512640 135215339 3213978800 3213977088 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32604/statm: 9683 9445 73 172 0 9510 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 41148

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.87
CPU system time (s): 0.22
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 41148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.22
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12438
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= 22
involuntary context switches= 4699

runsolver used 0.04 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi13 at 2009-05-16 09:19:11
IDJOB=1820608
IDBENCH=20492
IDSOLVER=657
FILE ID=tipi13/1820608-1242458351
PBS_JOBID=
Free space on /tmp= 8130 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_28.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820608-1242458351/watcher-1820608-1242458351 -o /tmp/evaluation-result-1820608-1242458351/solver-1820608-1242458351 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820608-1242458351.cnf

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

MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED= 204807283

Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1190396 kB
Buffers:         30792 kB
Cached:         757864 kB
SwapCached:       3608 kB
Active:         274800 kB
Inactive:       523512 kB
HighTotal:     1178688 kB
HighFree:       452768 kB
LowTotal:       895776 kB
LowFree:        737628 kB
SwapTotal:     1959888 kB
SwapFree:      1950876 kB
Dirty:            3056 kB
Writeback:           0 kB
AnonPages:        8812 kB
Mapped:           3116 kB
Slab:            76956 kB
PageTables:        632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8130 MiB
End job on tipi13 at 2009-05-16 09:39:11