Trace number 1837148

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-18SAT 1902.56 1903.36

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 benchmark14.8477
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.00/0.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |  108080   283220 |   32423       0        0     nan |  0.000 % |
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 784   #clauses: 108080   #literals: 283220
0.00/0.06	c CPU time:   0.052991 s
0.00/0.06	c ==============================================================================
0.00/0.15	c This is MiniSat 2.0 beta
0.00/0.15	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.15	c ============================[ Problem Statistics ]=============================
0.00/0.15	c |                                                                             |
0.00/0.15	c |  Number of variables:  784                                                  |
0.00/0.15	c |  Number of clauses:    108080                                               |
0.13/0.20	c |  Parsing time:         0.05         s                                       |
0.13/0.20	c ============================[ Search Statistics ]==============================
0.13/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.13/0.20	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.13/0.20	c ===============================================================================
0.13/0.20	c |         0 |     784   108080   283220 |    36026        0    nan |  0.000 % |
0.13/0.23	c |       102 |     784   108080   283220 |    36026      102     46 |  0.000 % |
0.13/0.25	c |       202 |     784   108080   283220 |    36026      202     39 |  0.010 % |
0.13/0.26	c |       302 |     784   108080   283220 |    36026      302     32 |  0.011 % |
0.13/0.27	c |       412 |     784   108080   283220 |    36026      412     30 |  0.011 % |
0.13/0.28	c |       516 |     784   108080   283220 |    36026      516     28 |  0.010 % |
0.13/0.30	c |       631 |     784   108080   283220 |    36026      631     35 |  0.000 % |
0.13/0.31	c |       754 |     784   108080   283220 |    36026      754     35 |  0.011 % |
0.13/0.32	c |       854 |     784   108080   283220 |    36026      854     34 |  0.011 % |
0.13/0.33	c |       964 |     784   108080   283220 |    36026      964     33 |  0.011 % |
0.13/0.35	c |      1086 |     784   108080   283220 |    36026     1086     33 |  0.011 % |
0.13/0.36	c |      1220 |     784   108080   283220 |    36026     1220     37 |  0.000 % |
0.13/0.38	c |      1323 |     784   108080   283220 |    36026     1323     37 |  0.011 % |
0.13/0.39	c |      1436 |     784   108080   283220 |    36026     1436     36 |  0.011 % |
0.13/0.41	c |      1558 |     784   108080   283220 |    36026     1558     35 |  0.011 % |
0.13/0.42	c |      1691 |     784   108080   283220 |    36026     1691     38 |  0.000 % |
0.13/0.44	c |      1837 |     784   108080   283220 |    36026     1837     37 |  0.011 % |
0.13/0.45	c |      1938 |     784   108080   283220 |    36026     1938     36 |  0.011 % |
0.13/0.46	c |      2048 |     784   108080   283220 |    36026     2048     35 |  0.011 % |
0.13/0.48	c |      2170 |     784   108080   283220 |    36026     2170     37 |  0.000 % |
0.13/0.49	c |      2306 |     784   108080   283220 |    36026     2306     37 |  0.000 % |
0.13/0.51	c |      2452 |     784   108080   283220 |    36026     2452     36 |  0.011 % |
0.13/0.53	c |      2612 |     784   108080   283220 |    36026     2612     36 |  0.011 % |
0.13/0.54	c |      2712 |     784   108080   283220 |    36026     2712     37 |  0.010 % |
0.13/0.55	c |      2822 |     784   108080   283220 |    36026     2822     37 |  0.011 % |
0.13/0.57	c |      2946 |     784   108080   283220 |    36026     2946     36 |  0.011 % |
0.13/0.58	c |      3079 |     784   108080   283220 |    36026     3079     36 |  0.010 % |
0.13/0.60	c |      3225 |     784   108080   283220 |    36026     3225     38 |  0.000 % |
0.13/0.62	c |      3385 |     784   108080   283220 |    36026     3385     38 |  0.011 % |
0.13/0.64	c |      3561 |     784   108080   283220 |    36026     3561     37 |  0.011 % |
0.13/0.65	c |      3661 |     784   108080   283220 |    36026     3661     39 |  0.000 % |
0.13/0.67	c |      3771 |     784   108080   283220 |    36026     3771     39 |  0.011 % |
0.13/0.69	c |      3893 |     784   108080   283220 |    36026     3893     38 |  0.011 % |
0.13/0.70	c |      4026 |     784   108080   283220 |    36026     4026     38 |  0.011 % |
0.13/0.72	c |      4172 |     784   108080   283220 |    36026     4172     40 |  0.000 % |
0.13/0.74	c |      4333 |     784   108080   283220 |    36026     4333     40 |  0.011 % |
0.13/0.76	c |      4509 |     784   108080   283220 |    36026     4509     40 |  0.011 % |
0.13/0.78	c |      4702 |     784   108080   283220 |    36026     4702     42 |  0.000 % |
0.13/0.80	c |      4803 |     784   108080   283220 |    36026     4803     42 |  0.010 % |
0.13/0.81	c |      4914 |     784   108080   283220 |    36026     4914     41 |  0.011 % |
0.13/0.83	c |      5036 |     784   108080   283220 |    36026     5036     41 |  0.010 % |
0.13/0.84	c |      5173 |     784   108080   283220 |    36026     5173     42 |  0.000 % |
0.13/0.86	c |      5319 |     784   108080   283220 |    36026     5319     41 |  0.011 % |
0.13/0.88	c |      5480 |     784   108080   283220 |    36026     5480     41 |  0.011 % |
0.13/0.91	c |      5657 |     784   108080   283220 |    36026     5657     41 |  0.012 % |
0.13/0.93	c |      5850 |     784   108080   283220 |    36026     5850     40 |  0.011 % |
0.13/0.96	c |      6063 |     784   108080   283220 |    36026     6063     40 |  0.011 % |
0.13/0.97	c |      6164 |     784   108080   283220 |    36026     6164     40 |  0.000 % |
0.13/0.99	c |      6274 |     784   108080   283220 |    36026     6274     40 |  0.000 % |
0.97/1.01	c |      6397 |     784   108080   283220 |    36026     6397     41 |  0.011 % |
0.97/1.02	c |      6531 |     784   108080   283220 |    36026     6531     41 |  0.011 % |
0.97/1.05	c |      6678 |     784   108080   283220 |    36026     6678     41 |  0.000 % |
0.97/1.07	c |      6838 |     784   108080   283220 |    36026     6838     41 |  0.011 % |
0.97/1.09	c |      7014 |     784   108080   283220 |    36026     7014     41 |  0.011 % |
1.07/1.12	c |      7209 |     784   108080   283220 |    36026     7209     43 |  0.000 % |
1.07/1.14	c |      7422 |     784   108080   283220 |    36026     7422     43 |  0.000 % |
1.07/1.18	c |      7659 |     784   108080   283220 |    36026     7659     42 |  0.011 % |
1.07/1.20	c |      7761 |     784   108080   283220 |    36026     7761     42 |  0.011 % |
1.16/1.21	c |      7872 |     784   108080   283220 |    36026     7872     42 |  0.011 % |
1.16/1.23	c |      7994 |     784   108080   283220 |    36026     7994     42 |  0.011 % |
1.16/1.25	c |      8127 |     784   108080   283220 |    36026     8127     41 |  0.011 % |
1.16/1.28	c |      8275 |     784   108080   283220 |    36026     8275     41 |  0.011 % |
1.26/1.30	c |      8435 |     784   108080   283220 |    36026     8435     41 |  0.011 % |
1.26/1.33	c |      8611 |     784   108080   283220 |    36026     8611     40 |  0.011 % |
1.26/1.36	c |      8807 |     784   108080   283220 |    36026     8807     40 |  0.011 % |
1.26/1.40	c |      9020 |     784   108080   283220 |    36026     9020     40 |  0.011 % |
1.36/1.43	c |      9254 |     784   108080   283220 |    36026     9254     41 |  0.000 % |
1.36/1.47	c |      9513 |     784   108080   283220 |    36026     9513     40 |  0.000 % |
1.36/1.48	c |      9613 |     784   108080   283220 |    36026     9613     41 |  0.000 % |
1.46/1.50	c |      9726 |     784   108080   283220 |    36026     9726     41 |  0.011 % |
1.46/1.52	c |      9848 |     784   108080   283220 |    36026     9848     41 |  0.011 % |
1.46/1.55	c |      9981 |     784   108080   283220 |    36026     9981     41 |  0.011 % |
1.46/1.57	c |     10128 |     784   108080   283220 | 2147483647    10128     41 |  0.011 % |
1.56/1.60	c |     10288 |     784   108080   283220 | 2147483647    10288     41 |  0.011 % |
1.56/1.63	c |     10464 |     784   108080   283220 | 2147483647    10464     41 |  0.011 % |
1.56/1.67	c |     10658 |     784   108080   283220 | 2147483647    10658     41 |  0.011 % |
1.56/1.70	c |     10871 |     784   108080   283220 | 2147483647    10871     40 |  0.011 % |
1.66/1.74	c |     11105 |     784   108080   283220 | 2147483647    11105     40 |  0.011 % |
1.66/1.78	c |     11361 |     784   108080   283220 | 2147483647    11361     40 |  0.011 % |
1.76/1.83	c |     11643 |     784   108080   283220 | 2147483647    11643     40 |  0.000 % |
1.76/1.85	c |     11743 |     784   108080   283220 | 2147483647    11743     40 |  0.011 % |
1.76/1.87	c |     11854 |     784   108080   283220 | 2147483647    11854     40 |  0.011 % |
1.76/1.89	c |     11977 |     784   108080   283220 | 2147483647    11977     40 |  0.011 % |
1.86/1.92	c |     12110 |     784   108080   283220 | 2147483647    12110     40 |  0.011 % |
1.86/1.94	c |     12259 |     784   108080   283220 | 2147483647    12259     39 |  0.011 % |
1.86/1.97	c |     12419 |     784   108080   283220 | 2147483647    12419     39 |  0.011 % |
1.96/2.00	c |     12595 |     784   108080   283220 | 2147483647    12595     39 |  0.011 % |
1.96/2.03	c |     12788 |     784   108080   283220 | 2147483647    12788     40 |  0.000 % |
1.96/2.07	c |     13000 |     784   108080   283220 | 2147483647    13000     40 |  0.011 % |
2.06/2.11	c |     13234 |     784   108080   283220 | 2147483647    13234     40 |  0.000 % |
2.06/2.15	c |     13490 |     784   108080   283220 | 2147483647    13490     40 |  0.011 % |
2.16/2.21	c |     13771 |     784   108080   283220 | 2147483647    13771     40 |  0.011 % |
2.16/2.26	c |     14081 |     784   108080   283220 | 2147483647    14081     40 |  0.011 % |
2.16/2.28	c |     14181 |     784   108080   283220 | 2147483647    14181     40 |  0.000 % |
2.16/2.29	c |     14293 |     784   108080   283220 | 2147483647    14293     40 |  0.011 % |
2.26/2.31	c |     14416 |     784   108080   283220 | 2147483647    14416     40 |  0.011 % |
2.26/2.33	c |     14550 |     784   108080   283220 | 2147483647    14550     40 |  0.011 % |
2.26/2.36	c |     14697 |     784   108080   283220 | 2147483647    14697     40 |  0.000 % |
2.26/2.38	c |     14858 |     784   108080   283220 | 2147483647    14858     41 |  0.000 % |
2.36/2.41	c |     15037 |     784   108080   283220 | 2147483647    15037     41 |  0.011 % |
2.36/2.44	c |     15233 |     784   108080   283220 | 2147483647    15233     41 |  0.000 % |
2.36/2.48	c |     15453 |     784   108080   283220 | 2147483647    15453     41 |  0.011 % |
2.46/2.52	c |     15689 |     784   108080   283220 | 2147483647    15689     41 |  0.011 % |
2.46/2.56	c |     15945 |     784   108080   283220 | 2147483647    15945     41 |  0.011 % |
2.56/2.62	c |     16227 |     784   108080   283220 | 2147483647    16227     40 |  0.011 % |
2.56/2.67	c |     16538 |     784   108080   283220 | 2147483647    16538     40 |  0.011 % |
2.66/2.73	c |     16877 |     784   108080   283220 | 2147483647    16877     41 |  0.000 % |
2.66/2.75	c |     16977 |     784   108080   283220 | 2147483647    16977     41 |  0.011 % |
2.66/2.77	c |     17088 |     784   108080   283220 | 2147483647    17088     41 |  0.011 % |
2.76/2.80	c |     17209 |     784   108080   283220 | 2147483647    17209     41 |  0.000 % |
2.76/2.82	c |     17342 |     784   108080   283220 | 2147483647    17342     41 |  0.000 % |
2.76/2.84	c |     17488 |     784   108080   283220 | 2147483647    17488     41 |  0.011 % |
2.76/2.88	c |     17648 |     784   108080   283220 | 2147483647    17648     41 |  0.011 % |
2.86/2.91	c |     17828 |     784   108080   283220 | 2147483647    17828     41 |  0.011 % |
2.86/2.95	c |     18022 |     784   108080   283220 | 2147483647    18022     41 |  0.011 % |
2.86/2.99	c |     18234 |     784   108080   283220 | 2147483647    18234     41 |  0.000 % |
2.96/3.02	c |     18468 |     784   108080   283220 | 2147483647    18468     41 |  0.020 % |
2.96/3.07	c |     18725 |     784   108080   283220 | 2147483647    18725     41 |  0.010 % |
3.06/3.13	c |     19006 |     784   108080   283220 | 2147483647    19006     41 |  0.011 % |
3.06/3.18	c |     19315 |     784   108080   283220 | 2147483647    19315     42 |  0.000 % |
3.16/3.25	c |     19660 |     784   108080   283220 | 2147483647    19660     42 |  0.011 % |
3.26/3.32	c |     20033 |     784   108080   283220 | 2147483647    20033     41 |  0.000 % |
3.26/3.34	c |     20134 |     784   108080   283220 | 2147483647    20134     42 |  0.000 % |
3.26/3.36	c |     20244 |     784   108080   283220 | 2147483647    20244     42 |  0.011 % |
3.26/3.39	c |     20366 |     784   108080   283220 | 2147483647    20366     41 |  0.011 % |
3.36/3.42	c |     20500 |     784   108080   283220 | 2147483647    20500     41 |  0.011 % |
3.36/3.45	c |     20646 |     784   108080   283220 | 2147483647    20646     42 |  0.000 % |
3.36/3.48	c |     20806 |     784   108080   283220 | 2147483647    20806     42 |  0.000 % |
3.46/3.51	c |     20982 |     784   108080   283220 | 2147483647    20982     42 |  0.011 % |
3.46/3.55	c |     21177 |     784   108080   283220 | 2147483647    21177     42 |  0.011 % |
3.46/3.59	c |     21392 |     784   108080   283220 | 2147483647    21392     41 |  0.011 % |
3.56/3.63	c |     21626 |     784   108080   283220 | 2147483647    21626     41 |  0.011 % |
3.56/3.69	c |     21883 |     784   108080   283220 | 2147483647    21883     41 |  0.011 % |
3.66/3.74	c |     22167 |     784   108080   283220 | 2147483647    22167     41 |  0.011 % |
3.76/3.81	c |     22476 |     784   108080   283220 | 2147483647    22476     41 |  0.011 % |
3.76/3.88	c |     22818 |     784   108080   283220 | 2147483647    22818     41 |  0.011 % |
3.86/3.97	c |     23191 |     784   108080   283220 | 2147483647    23191     41 |  0.011 % |
3.96/4.07	c |     23600 |     784   108080   283220 | 2147483647    23600     40 |  0.011 % |
4.06/4.10	c |     23702 |     784   108080   283220 | 2147483647    23702     40 |  0.011 % |
4.06/4.13	c |     23814 |     784   108080   283220 | 2147483647    23814     40 |  0.011 % |
4.06/4.15	c |     23935 |     784   108080   283220 | 2147483647    23935     40 |  0.011 % |
4.06/4.19	c |     24068 |     784   108080   283220 | 2147483647    24068     40 |  0.011 % |
4.16/4.21	c |     24215 |     784   108080   283220 | 2147483647    24215     41 |  0.000 % |
4.16/4.25	c |     24375 |     784   108080   283220 | 2147483647    24375     40 |  0.000 % |
4.16/4.29	c |     24555 |     784   108080   283220 | 2147483647    24555     40 |  0.011 % |
4.26/4.33	c |     24749 |     784   108080   283220 | 2147483647    24749     41 |  0.000 % |
4.26/4.38	c |     24961 |     784   108080   283220 | 2147483647    24961     41 |  0.000 % |
4.36/4.43	c |     25194 |     784   108080   283220 | 2147483647    25194     41 |  0.011 % |
4.36/4.49	c |     25452 |     784   108080   283220 | 2147483647    25452     40 |  0.011 % |
4.45/4.55	c |     25734 |     784   108080   283220 | 2147483647    25734     40 |  0.011 % |
4.55/4.62	c |     26045 |     784   108080   283220 | 2147483647    26045     40 |  0.011 % |
4.55/4.68	c |     26385 |     784   108080   283220 | 2147483647    26385     41 |  0.000 % |
4.65/4.76	c |     26757 |     784   108080   283220 | 2147483647    26757     41 |  0.011 % |
4.75/4.86	c |     27170 |     784   108080   283220 | 2147483647    27170     40 |  0.011 % |
4.85/4.97	c |     27619 |     784   108080   283220 | 2147483647    27619     40 |  0.011 % |
4.85/4.99	c |     27719 |     784   108080   283220 | 2147483647    27719     40 |  0.011 % |
4.95/5.02	c |     27829 |     784   108080   283220 | 2147483647    27829     40 |  0.011 % |
4.95/5.05	c |     27953 |     784   108080   283220 | 2147483647    27953     40 |  0.011 % |
4.95/5.09	c |     28087 |     784   108080   283220 | 2147483647    28087     40 |  0.011 % |
5.05/5.12	c |     28234 |     784   108080   283220 | 2147483647    28234     40 |  0.000 % |
5.05/5.16	c |     28394 |     784   108080   283220 | 2147483647    28394     40 |  0.011 % |
5.15/5.20	c |     28570 |     784   108080   283220 | 2147483647    28570     40 |  0.011 % |
5.15/5.25	c |     28763 |     784   108080   283220 | 2147483647    28763     40 |  0.000 % |
5.25/5.30	c |     28975 |     784   108080   283220 | 2147483647    28975     40 |  0.000 % |
5.25/5.35	c |     29208 |     784   108080   283220 | 2147483647    29208     40 |  0.011 % |
5.36/5.43	c |     29464 |     784   108080   283220 | 2147483647    29464     40 |  0.010 % |
5.36/5.50	c |     29747 |     784   108080   283220 | 2147483647    29747     40 |  0.010 % |
5.46/5.58	c |     30058 |     784   108080   283220 | 2147483647    30058     40 |  0.011 % |
5.55/5.66	c |     30397 |     784   108080   283220 | 2147483647    30397     40 |  0.000 % |
5.65/5.75	c |     30770 |     784   108080   283220 | 2147483647    30770     40 |  0.011 % |
5.75/5.86	c |     31180 |     784   108080   283220 | 2147483647    31180     40 |  0.011 % |
5.85/5.97	c |     31631 |     784   108080   283220 | 2147483647    31631     40 |  0.011 % |
6.05/6.10	c |     32127 |     784   108080   283220 | 2147483647    32127     40 |  0.011 % |
6.05/6.13	c |     32227 |     784   108080   283220 | 2147483647    32227     40 |  0.011 % |
6.05/6.16	c |     32338 |     784   108080   283220 | 2147483647    32338     40 |  0.011 % |
6.05/6.19	c |     32460 |     784   108080   283220 | 2147483647    32460     40 |  0.011 % |
6.15/6.23	c |     32594 |     784   108080   283220 | 2147483647    32594     40 |  0.011 % |
6.15/6.27	c |     32741 |     784   108080   283220 | 2147483647    32741     40 |  0.000 % |
6.25/6.30	c |     32901 |     784   108080   283220 | 2147483647    32901     40 |  0.011 % |
6.25/6.35	c |     33079 |     784   108080   283220 | 2147483647    33079     40 |  0.011 % |
6.35/6.40	c |     33273 |     784   108080   283220 | 2147483647    33273     40 |  0.000 % |
6.35/6.45	c |     33489 |     784   108080   283220 | 2147483647    33489     40 |  0.011 % |
6.46/6.52	c |     33724 |     784   108080   283220 | 2147483647    33724     40 |  0.011 % |
6.46/6.58	c |     33980 |     784   108080   283220 | 2147483647    33980     40 |  0.011 % |
6.56/6.65	c |     34262 |     784   108080   283220 | 2147483647    34262     40 |  0.011 % |
6.65/6.74	c |     34571 |     784   108080   283220 | 2147483647    34571     40 |  0.011 % |
6.75/6.82	c |     34910 |     784   108080   283220 | 2147483647    34910     40 |  0.000 % |
6.85/6.90	c |     35282 |     784   108080   283220 | 2147483647    35282     41 |  0.000 % |
6.95/7.01	c |     35691 |     784   108080   283220 | 2147483647    35691     41 |  0.011 % |
7.05/7.13	c |     36140 |     784   108080   283220 | 2147483647    36140     40 |  0.011 % |
7.15/7.26	c |     36634 |     784   108080   283220 | 2147483647    36634     40 |  0.011 % |
7.35/7.42	c |     37176 |     784   108080   283220 | 2147483647    37176     40 |  0.011 % |
7.35/7.46	c |     37276 |     784   108080   283220 | 2147483647    37276     40 |  0.011 % |
7.35/7.49	c |     37386 |     784   108080   283220 | 2147483647    37386     40 |  0.011 % |
7.45/7.53	c |     37509 |     784   108080   283220 | 2147483647    37509     40 |  0.011 % |
7.45/7.56	c |     37642 |     784   108080   283220 | 2147483647    37642     40 |  0.000 % |
7.55/7.60	c |     37790 |     784   108080   283220 | 2147483647    37790     40 |  0.011 % |
7.55/7.65	c |     37950 |     784   108080   283220 | 2147483647    37950     40 |  0.011 % |
7.55/7.70	c |     38126 |     784   108080   283220 | 2147483647    38126     40 |  0.011 % |
7.65/7.75	c |     38319 |     784   108080   283220 | 2147483647    38319     40 |  0.011 % |
7.75/7.81	c |     38532 |     784   108080   283220 | 2147483647    38532     40 |  0.011 % |
7.75/7.87	c |     38766 |     784   108080   283220 | 2147483647    38766     40 |  0.000 % |
7.85/7.93	c |     39022 |     784   108080   283220 | 2147483647    39022     40 |  0.000 % |
7.95/8.01	c |     39304 |     784   108080   283220 | 2147483647    39304     41 |  0.000 % |
7.95/8.09	c |     39613 |     784   108080   283220 | 2147483647    39613     41 |  0.000 % |
8.05/8.18	c |     39952 |     784   108080   283220 | 2147483647    39952     41 |  0.011 % |
8.15/8.28	c |     40327 |     784   108080   283220 | 2147483647    40327     40 |  0.011 % |
8.25/8.39	c |     40738 |     784   108080   283220 | 2147483647    40738     40 |  0.011 % |
8.34/8.49	c |     41188 |     784   108080   283220 | 2147483647    41188     40 |  0.011 % |
8.55/8.63	c |     41682 |     784   108080   283220 | 2147483647    41682     40 |  0.011 % |
8.66/8.78	c |     42226 |     784   108080   283220 | 2147483647    42226     40 |  0.011 % |
8.85/8.97	c |     42822 |     784   108080   283220 | 2147483647    42822     40 |  0.000 % |
8.95/9.01	c |     42925 |     784   108080   283220 | 2147483647    42925     40 |  0.011 % |
8.95/9.04	c |     43038 |     784   108080   283220 | 2147483647    43038     40 |  0.011 % |
8.95/9.07	c |     43159 |     784   108080   283220 | 2147483647    43159     40 |  0.000 % |
9.05/9.11	c |     43295 |     784   108080   283220 | 2147483647    43295     40 |  0.011 % |
9.05/9.15	c |     43441 |     784   108080   283220 | 2147483647    43441     40 |  0.011 % |
9.05/9.19	c |     43601 |     784   108080   283220 | 2147483647    43601     40 |  0.011 % |
9.15/9.24	c |     43778 |     784   108080   283220 | 2147483647    43778     40 |  0.011 % |
9.25/9.30	c |     43971 |     784   108080   283220 | 2147483647    43971     40 |  0.011 % |
9.25/9.36	c |     44186 |     784   108080   283220 | 2147483647    44186     40 |  0.011 % |
9.35/9.43	c |     44419 |     784   108080   283220 | 2147483647    44419     40 |  0.011 % |
9.45/9.50	c |     44678 |     784   108080   283220 | 2147483647    44678     40 |  0.000 % |
9.45/9.59	c |     44960 |     784   108080   283220 | 2147483647    44960     40 |  0.011 % |
9.55/9.68	c |     45271 |     784   108080   283220 | 2147483647    45271     40 |  0.000 % |
9.65/9.78	c |     45610 |     784   108080   283220 | 2147483647    45610     40 |  0.011 % |
9.76/9.90	c |     45984 |     784   108080   283220 | 2147483647    45984     40 |  0.011 % |
9.95/10.05	c |     46393 |     784   108080   283220 | 2147483647    46393     40 |  0.011 % |
10.15/10.21	c |     46842 |     784   108080   283220 | 2147483647    46842     40 |  0.011 % |
10.25/10.37	c |     47336 |     784   108080   283220 | 2147483647    47336     39 |  0.011 % |
10.45/10.54	c |     47878 |     784   108080   283220 | 2147483647    47878     39 |  0.011 % |
10.65/10.73	c |     48475 |     784   108080   283220 | 2147483647    48475     39 |  0.011 % |
10.85/10.93	c |     49132 |     784   108080   283220 | 2147483647    49132     39 |  0.011 % |
10.85/10.97	c |     49233 |     784   108080   283220 | 2147483647    49233     39 |  0.011 % |
10.95/11.01	c |     49343 |     784   108080   283220 | 2147483647    49343     39 |  0.011 % |
10.95/11.06	c |     49465 |     784   108080   283220 | 2147483647    49465     39 |  0.011 % |
11.05/11.11	c |     49601 |     784   108080   283220 | 2147483647    49601     39 |  0.011 % |
11.05/11.16	c |     49748 |     784   108080   283220 | 2147483647    49748     39 |  0.011 % |
11.15/11.21	c |     49908 |     784   108080   283220 | 2147483647    49908     39 |  0.011 % |
11.15/11.27	c |     50084 |     784   108080   283220 | 2147483647    50084     39 |  0.011 % |
11.25/11.33	c |     50278 |     784   108080   283220 | 2147483647    50278     39 |  0.000 % |
11.35/11.41	c |     50493 |     784   108080   283220 | 2147483647    50493     39 |  0.000 % |
11.35/11.49	c |     50728 |     784   108080   283220 | 2147483647    50728     39 |  0.011 % |
11.45/11.56	c |     50984 |     784   108080   283220 | 2147483647    50984     39 |  0.010 % |
11.55/11.66	c |     51272 |     784   108080   283220 | 2147483647    51272     39 |  0.010 % |
11.65/11.75	c |     51581 |     784   108080   283220 | 2147483647    51581     39 |  0.011 % |
11.75/11.87	c |     51920 |     784   108080   283220 | 2147483647    51920     39 |  0.000 % |
11.95/12.00	c |     52293 |     784   108080   283220 | 2147483647    52293     39 |  0.000 % |
12.05/12.12	c |     52703 |     784   108080   283220 | 2147483647    52703     39 |  0.011 % |
12.14/12.26	c |     53154 |     784   108080   283220 | 2147483647    53154     39 |  0.011 % |
12.34/12.43	c |     53648 |     784   108080   283220 | 2147483647    53648     39 |  0.011 % |
12.55/12.61	c |     54190 |     784   108080   283220 | 2147483647    54190     39 |  0.011 % |
12.75/12.82	c |     54787 |     784   108080   283220 | 2147483647    54787     39 |  0.011 % |
12.95/13.02	c |     55442 |     784   108080   283220 | 2147483647    55442     39 |  0.011 % |
13.15/13.27	c |     56164 |     784   108080   283220 | 2147483647    56164     39 |  0.011 % |
13.25/13.30	c |     56265 |     784   108080   283220 | 2147483647    56265     39 |  0.011 % |
13.25/13.34	c |     56376 |     784   108080   283220 | 2147483647    56376     39 |  0.011 % |
13.25/13.38	c |     56497 |     784   108080   283220 | 2147483647    56497     39 |  0.011 % |
13.35/13.42	c |     56632 |     784   108080   283220 | 2147483647    56632     39 |  0.011 % |
13.35/13.47	c |     56778 |     784   108080   283220 | 2147483647    56778     39 |  0.011 % |
13.45/13.53	c |     56940 |     784   108080   283220 | 2147483647    56940     39 |  0.011 % |
13.45/13.58	c |     57116 |     784   108080   283220 | 2147483647    57116     39 |  0.011 % |
13.55/13.65	c |     57310 |     784   108080   283220 | 2147483647    57310     39 |  0.011 % |
13.65/13.73	c |     57523 |     784   108080   283220 | 2147483647    57523     39 |  0.011 % |
13.75/13.81	c |     57757 |     784   108080   283220 | 2147483647    57757     39 |  0.000 % |
13.75/13.89	c |     58014 |     784   108080   283220 | 2147483647    58014     39 |  0.011 % |
13.84/13.98	c |     58295 |     784   108080   283220 | 2147483647    58295     39 |  0.000 % |
13.94/14.08	c |     58605 |     784   108080   283220 | 2147483647    58605     39 |  0.000 % |
14.04/14.19	c |     58945 |     784   108080   283220 | 2147483647    58945     39 |  0.011 % |
14.25/14.33	c |     59317 |     784   108080   283220 | 2147483647    59317     39 |  0.011 % |
14.34/14.48	c |     59726 |     784   108080   283220 | 2147483647    59726     39 |  0.011 % |
14.54/14.64	c |     60177 |     784   108080   283220 | 2147483647    60177     39 |  0.011 % |
14.74/14.81	c |     60671 |     784   108080   283220 | 2147483647    60671     39 |  0.011 % |
14.94/15.01	c |     61214 |     784   108080   283220 | 2147483647    61214     39 |  0.011 % |
15.14/15.23	c |     61812 |     784   108080   283220 | 2147483647    61812     39 |  0.011 % |
15.35/15.49	c |     62468 |     784   108080   283220 | 2147483647    62468     39 |  0.011 % |
15.64/15.76	c |     63188 |     784   108080   283220 | 2147483647    63188     39 |  0.011 % |
15.94/16.02	c |     63980 |     784   108080   283220 | 2147483647    63980     39 |  0.011 % |
15.94/16.06	c |     64081 |     784   108080   283220 | 2147483647    64081     39 |  0.011 % |
15.94/16.09	c |     64191 |     784   108080   283220 | 2147483647    64191     39 |  0.000 % |
16.04/16.14	c |     64312 |     784   108080   283220 | 2147483647    64312     39 |  0.000 % |
16.04/16.19	c |     64445 |     784   108080   283220 | 2147483647    64445     39 |  0.011 % |
16.14/16.24	c |     64595 |     784   108080   283220 | 2147483647    64595     39 |  0.011 % |
16.14/16.29	c |     64755 |     784   108080   283220 | 2147483647    64755     39 |  0.000 % |
16.24/16.35	c |     64934 |     784   108080   283220 | 2147483647    64934     39 |  0.000 % |
16.35/16.42	c |     65129 |     784   108080   283220 | 2147483647    65129     39 |  0.000 % |
16.45/16.50	c |     65344 |     784   108080   283220 | 2147483647    65344     39 |  0.000 % |
16.54/16.61	c |     65578 |     784   108080   283220 | 2147483647    65578     39 |  0.011 % |
16.64/16.71	c |     65834 |     784   108080   283220 | 2147483647    65834     39 |  0.000 % |
16.64/16.80	c |     66115 |     784   108080   283220 | 2147483647    66115     39 |  0.000 % |
16.74/16.89	c |     66426 |     784   108080   283220 | 2147483647    66426     39 |  0.011 % |
16.94/17.02	c |     66768 |     784   108080   283220 | 2147483647    66768     39 |  0.011 % |
17.04/17.17	c |     67140 |     784   108080   283220 | 2147483647    67140     39 |  0.011 % |
17.24/17.34	c |     67549 |     784   108080   283220 | 2147483647    67549     39 |  0.011 % |
17.44/17.51	c |     67998 |     784   108080   283220 | 2147483647    67998     39 |  0.000 % |
17.64/17.70	c |     68493 |     784   108080   283220 | 2147483647    68493     39 |  0.010 % |
17.84/17.96	c |     69035 |     784   108080   283220 | 2147483647    69035     39 |  0.011 % |
18.14/18.22	c |     69632 |     784   108080   283220 | 2147483647    69632     39 |  0.000 % |
18.34/18.47	c |     70287 |     784   108080   283220 | 2147483647    70287     39 |  0.011 % |
18.64/18.76	c |     71007 |     784   108080   283220 | 2147483647    71007     39 |  0.011 % |
18.93/19.09	c |     71799 |     784   108080   283220 | 2147483647    71799     40 |  0.000 % |
19.33/19.42	c |     72674 |     784   108080   283220 | 2147483647    72674     40 |  0.000 % |
19.33/19.46	c |     72775 |     784   108080   283220 | 2147483647    72775     40 |  0.011 % |
19.43/19.51	c |     72890 |     784   108080   283220 | 2147483647    72890     40 |  0.011 % |
19.43/19.57	c |     73012 |     784   108080   283220 | 2147483647    73012     40 |  0.011 % |
19.54/19.64	c |     73146 |     784   108080   283220 | 2147483647    73146     40 |  0.000 % |
19.65/19.71	c |     73292 |     784   108080   283220 | 2147483647    73292     40 |  0.011 % |
19.65/19.79	c |     73452 |     784   108080   283220 | 2147483647    73452     40 |  0.011 % |
19.75/19.89	c |     73635 |     784   108080   283220 | 2147483647    73635     40 |  0.011 % |
19.84/19.98	c |     73831 |     784   108080   283220 | 2147483647    73831     40 |  0.011 % |
19.94/20.09	c |     74043 |     784   108080   283220 | 2147483647    74043     40 |  0.011 % |
20.04/20.19	c |     74277 |     784   108080   283220 | 2147483647    74277     40 |  0.000 % |
20.24/20.30	c |     74533 |     784   108080   283220 | 2147483647    74533     40 |  0.000 % |
20.34/20.43	c |     74814 |     784   108080   283220 | 2147483647    74814     40 |  0.000 % |
20.44/20.59	c |     75125 |     784   108080   283220 | 2147483647    75125     40 |  0.011 % |
20.64/20.74	c |     75465 |     784   108080   283220 | 2147483647    75465     40 |  0.011 % |
20.84/20.91	c |     75837 |     784   108080   283220 | 2147483647    75837     40 |  0.011 % |
21.04/21.11	c |     76249 |     784   108080   283220 | 2147483647    76249     40 |  0.011 % |
21.24/21.31	c |     76698 |     784   108080   283220 | 2147483647    76698     40 |  0.011 % |
21.44/21.56	c |     77191 |     784   108080   283220 | 2147483647    77191     40 |  0.011 % |
21.74/21.83	c |     77737 |     784   108080   283220 | 2147483647    77737     40 |  0.011 % |
21.94/22.07	c |     78333 |     784   108080   283220 | 2147483647    78333     40 |  0.011 % |
22.34/22.40	c |     78989 |     784   108080   283220 | 2147483647    78989     40 |  0.011 % |
22.64/22.77	c |     79709 |     784   108080   283220 | 2147483647    79709     40 |  0.011 % |
23.04/23.13	c |     80503 |     784   108080   283220 | 2147483647    80503     40 |  0.011 % |
23.44/23.52	c |     81374 |     784   108080   283220 | 2147483647    81374     40 |  0.000 % |
23.94/24.02	c |     82332 |     784   108080   283220 | 2147483647    82332     40 |  0.011 % |
23.94/24.06	c |     82433 |     784   108080   283220 | 2147483647    82433     40 |  0.011 % |
24.04/24.12	c |     82543 |     784   108080   283220 | 2147483647    82543     40 |  0.011 % |
24.04/24.19	c |     82665 |     784   108080   283220 | 2147483647    82665     40 |  0.000 % |
24.14/24.26	c |     82805 |     784   108080   283220 | 2147483647    82805     40 |  0.011 % |
24.23/24.32	c |     82951 |     784   108080   283220 | 2147483647    82951     40 |  0.011 % |
24.33/24.42	c |     83114 |     784   108080   283220 | 2147483647    83114     40 |  0.001 % |
24.43/24.52	c |     83290 |     784   108080   283220 | 2147483647    83290     40 |  0.011 % |
24.53/24.63	c |     83485 |     784   108080   283220 | 2147483647    83485     40 |  0.011 % |
24.63/24.74	c |     83698 |     784   108080   283220 | 2147483647    83698     40 |  0.011 % |
24.73/24.85	c |     83931 |     784   108080   283220 | 2147483647    83931     40 |  0.011 % |
24.83/24.97	c |     84187 |     784   108080   283220 | 2147483647    84187     40 |  0.011 % |
25.03/25.12	c |     84470 |     784   108080   283220 | 2147483647    84470     40 |  0.011 % |
25.14/25.26	c |     84779 |     784   108080   283220 | 2147483647    84779     40 |  0.011 % |
25.33/25.42	c |     85119 |     784   108080   283220 | 2147483647    85119     40 |  0.011 % |
25.53/25.61	c |     85492 |     784   108080   283220 | 2147483647    85492     40 |  0.011 % |
25.63/25.78	c |     85902 |     784   108080   283220 | 2147483647    85902     40 |  0.011 % |
25.93/26.01	c |     86352 |     784   108080   283220 | 2147483647    86352     40 |  0.011 % |
26.13/26.24	c |     86849 |     784   108080   283220 | 2147483647    86849     40 |  0.011 % |
26.43/26.51	c |     87391 |     784   108080   283220 | 2147483647    87391     40 |  0.011 % |
26.73/26.84	c |     87988 |     784   108080   283220 | 2147483647    87988     40 |  0.011 % |
27.03/27.16	c |     88643 |     784   108080   283220 | 2147483647    88643     40 |  0.011 % |
27.43/27.51	c |     89364 |     784   108080   283220 | 2147483647    89364     40 |  0.011 % |
27.83/27.98	c |     90156 |     784   108080   283220 | 2147483647    90156     39 |  0.012 % |
28.32/28.49	c |     91030 |     784   108080   283220 | 2147483647    91030     39 |  0.011 % |
28.82/28.94	c |     91993 |     784   108080   283220 | 2147483647    91993     40 |  0.000 % |
29.43/29.54	c |     93052 |     784   108080   283220 | 2147483647    93052     40 |  0.000 % |
29.43/29.60	c |     93152 |     784   108080   283220 | 2147483647    93152     40 |  0.000 % |
29.54/29.66	c |     93263 |     784   108080   283220 | 2147483647    93263     40 |  0.011 % |
29.64/29.72	c |     93384 |     784   108080   283220 | 2147483647    93384     40 |  0.011 % |
29.73/29.80	c |     93517 |     784   108080   283220 | 2147483647    93517     40 |  0.011 % |
29.73/29.88	c |     93667 |     784   108080   283220 | 2147483647    93667     40 |  0.000 % |
29.83/29.98	c |     93832 |     784   108080   283220 | 2147483647    93832     40 |  0.011 % |
29.93/30.08	c |     94008 |     784   108080   283220 | 2147483647    94008     40 |  0.011 % |
30.03/30.18	c |     94203 |     784   108080   283220 | 2147483647    94203     40 |  0.000 % |
30.23/30.30	c |     94419 |     784   108080   283220 | 2147483647    94419     40 |  0.011 % |
30.33/30.44	c |     94654 |     784   108080   283220 | 2147483647    94654     40 |  0.011 % |
30.43/30.59	c |     94911 |     784   108080   283220 | 2147483647    94911     40 |  0.011 % |
30.63/30.74	c |     95193 |     784   108080   283220 | 2147483647    95193     40 |  0.011 % |
30.83/30.91	c |     95502 |     784   108080   283220 | 2147483647    95502     40 |  0.011 % |
31.03/31.11	c |     95844 |     784   108080   283220 | 2147483647    95844     40 |  0.000 % |
31.23/31.31	c |     96216 |     784   108080   283220 | 2147483647    96216     40 |  0.000 % |
31.43/31.53	c |     96625 |     784   108080   283220 | 2147483647    96625     40 |  0.011 % |
31.63/31.79	c |     97074 |     784   108080   283220 | 2147483647    97074     40 |  0.000 % |
31.93/32.05	c |     97568 |     784   108080   283220 | 2147483647    97568     41 |  0.000 % |
32.22/32.34	c |     98110 |     784   108080   283220 | 2147483647    98110     41 |  0.000 % |
32.52/32.69	c |     98707 |     784   108080   283220 | 2147483647    98707     41 |  0.011 % |
32.93/33.08	c |     99363 |     784   108080   283220 | 2147483647    99363     41 |  0.011 % |
33.32/33.49	c |    100089 |     784   108080   283220 | 2147483647   100089     41 |  0.011 % |
33.72/33.89	c |    100881 |     784   108080   283220 | 2147483647   100881     41 |  0.000 % |
34.22/34.39	c |    101752 |     784   108080   283220 | 2147483647   101752     41 |  0.000 % |
34.82/35.00	c |    102712 |     784   108080   283220 | 2147483647   102712     41 |  0.011 % |
35.53/35.67	c |    103768 |     784   108080   283220 | 2147483647   103768     41 |  0.011 % |
36.23/36.36	c |    104926 |     784   108080   283220 | 2147483647   104926     41 |  0.011 % |
36.33/36.42	c |    105028 |     784   108080   283220 | 2147483647   105028     41 |  0.000 % |
36.43/36.50	c |    105138 |     784   108080   283220 | 2147483647   105138     41 |  0.000 % |
36.43/36.58	c |    105259 |     784   108080   283220 | 2147483647   105259     41 |  0.011 % |
36.53/36.66	c |    105394 |     784   108080   283220 | 2147483647   105394     41 |  0.011 % |
36.63/36.74	c |    105540 |     784   108080   283220 | 2147483647   105540     41 |  0.011 % |
36.73/36.82	c |    105700 |     784   108080   283220 | 2147483647   105700     41 |  0.000 % |
36.83/36.93	c |    105877 |     784   108080   283220 | 2147483647   105877     41 |  0.000 % |
36.93/37.06	c |    106072 |     784   108080   283220 | 2147483647   106072     41 |  0.011 % |
37.02/37.18	c |    106285 |     784   108080   283220 | 2147483647   106285     41 |  0.000 % |
37.23/37.33	c |    106518 |     784   108080   283220 | 2147483647   106518     41 |  0.011 % |
37.33/37.46	c |    106775 |     784   108080   283220 | 2147483647   106775     41 |  0.000 % |
37.52/37.64	c |    107058 |     784   108080   283220 | 2147483647   107058     41 |  0.000 % |
37.72/37.85	c |    107367 |     784   108080   283220 | 2147483647   107367     42 |  0.000 % |
37.92/38.06	c |    107707 |     784   108080   283220 | 2147483647   107707     42 |  0.000 % |
38.12/38.28	c |    108080 |     784   108080   283220 | 2147483647   108080     42 |  0.011 % |
38.42/38.55	c |    108489 |     784   108080   283220 | 2147483647   108489     42 |  0.000 % |
38.72/38.86	c |    108943 |     784   108080   283220 | 2147483647   108943     42 |  0.010 % |
39.02/39.19	c |    109436 |     784   108080   283220 | 2147483647   109436     42 |  0.011 % |
39.42/39.60	c |    109979 |     784   108080   283220 | 2147483647   109979     41 |  0.010 % |
39.92/40.02	c |    110575 |     784   108080   283220 | 2147483647   110575     41 |  0.011 % |
40.32/40.46	c |    111231 |     784   108080   283220 | 2147483647   111231     42 |  0.000 % |
40.82/40.94	c |    111952 |     784   108080   283220 | 2147483647   111952     42 |  0.011 % |
41.42/41.50	c |    112745 |     784   108080   283220 | 2147483647   112745     42 |  0.011 % |
42.02/42.16	c |    113616 |     784   108080   283220 | 2147483647   113616     42 |  0.011 % |
42.72/42.86	c |    114576 |     784   108080   283220 | 2147483647   114576     41 |  0.011 % |
43.41/43.56	c |    115629 |     784   108080   283220 | 2147483647   115629     42 |  0.000 % |
44.22/44.39	c |    116788 |     784   108080   283220 | 2147483647   116788     42 |  0.000 % |
45.12/45.28	c |    118061 |     784   108080   283220 | 2147483647   118061     42 |  0.011 % |
45.22/45.35	c |    118161 |     784   108080   283220 | 2147483647   118161     42 |  0.000 % |
45.32/45.45	c |    118273 |     784   108080   283220 | 2147483647   118273     42 |  0.011 % |
45.42/45.52	c |    118395 |     784   108080   283220 | 2147483647   118395     42 |  0.011 % |
45.52/45.62	c |    118532 |     784   108080   283220 | 2147483647   118532     42 |  0.000 % |
45.62/45.73	c |    118679 |     784   108080   283220 | 2147483647   118679     42 |  0.000 % |
45.72/45.84	c |    118840 |     784   108080   283220 | 2147483647   118840     42 |  0.011 % |
45.82/45.97	c |    119016 |     784   108080   283220 | 2147483647   119016     42 |  0.011 % |
45.92/46.10	c |    119210 |     784   108080   283220 | 2147483647   119210     42 |  0.000 % |
46.12/46.21	c |    119423 |     784   108080   283220 | 2147483647   119423     42 |  0.011 % |
46.22/46.37	c |    119656 |     784   108080   283220 | 2147483647   119656     42 |  0.010 % |
46.42/46.53	c |    119912 |     784   108080   283220 | 2147483647   119912     42 |  0.011 % |
46.62/46.71	c |    120194 |     784   108080   283220 | 2147483647   120194     42 |  0.011 % |
46.82/46.93	c |    120505 |     784   108080   283220 | 2147483647   120505     42 |  0.010 % |
47.12/47.22	c |    120844 |     784   108080   283220 | 2147483647   120844     42 |  0.000 % |
47.41/47.53	c |    121216 |     784   108080   283220 | 2147483647   121216     42 |  0.011 % |
47.71/47.88	c |    121627 |     784   108080   283220 | 2147483647   121627     42 |  0.011 % |
48.22/48.30	c |    122078 |     784   108080   283220 | 2147483647   122078     42 |  0.011 % |
48.51/48.66	c |    122572 |     784   108080   283220 | 2147483647   122572     43 |  0.000 % |
49.01/49.12	c |    123116 |     784   108080   283220 | 2147483647   123116     43 |  0.000 % |
49.42/49.59	c |    123713 |     784   108080   283220 | 2147483647   123713     43 |  0.011 % |
49.91/50.09	c |    124368 |     784   108080   283220 | 2147483647   124368     43 |  0.010 % |
50.61/50.71	c |    125088 |     784   108080   283220 | 2147483647   125088     43 |  0.010 % |
51.21/51.30	c |    125883 |     784   108080   283220 | 2147483647   125883     43 |  0.000 % |
51.81/51.96	c |    126758 |     784   108080   283220 | 2147483647   126758     43 |  0.000 % |
52.61/52.73	c |    127721 |     784   108080   283220 | 2147483647   127721     43 |  0.011 % |
53.51/53.64	c |    128778 |     784   108080   283220 | 2147483647   128778     43 |  0.011 % |
54.31/54.45	c |    129936 |     784   108080   283220 | 2147483647   129936     43 |  0.011 % |
55.61/55.74	c |    131211 |     784   108080   283220 | 2147483647   131211     43 |  0.011 % |
56.81/56.90	c |    132611 |     784   108080   283220 | 2147483647   132611     43 |  0.011 % |
56.81/56.99	c |    132712 |     784   108080   283220 | 2147483647   132712     43 |  0.011 % |
56.91/57.07	c |    132823 |     784   108080   283220 | 2147483647   132823     43 |  0.011 % |
57.01/57.16	c |    132946 |     784   108080   283220 | 2147483647   132946     43 |  0.011 % |
57.11/57.28	c |    133081 |     784   108080   283220 | 2147483647   133081     43 |  0.011 % |
57.21/57.40	c |    133229 |     784   108080   283220 | 2147483647   133229     43 |  0.000 % |
57.40/57.51	c |    133389 |     784   108080   283220 | 2147483647   133389     43 |  0.000 % |
57.50/57.62	c |    133565 |     784   108080   283220 | 2147483647   133565     43 |  0.011 % |
57.60/57.76	c |    133759 |     784   108080   283220 | 2147483647   133759     43 |  0.000 % |
57.80/57.92	c |    133971 |     784   108080   283220 | 2147483647   133971     43 |  0.000 % |
58.00/58.13	c |    134204 |     784   108080   283220 | 2147483647   134204     43 |  0.011 % |
58.20/58.39	c |    134463 |     784   108080   283220 | 2147483647   134463     43 |  0.011 % |
58.50/58.63	c |    134745 |     784   108080   283220 | 2147483647   134745     43 |  0.011 % |
58.70/58.89	c |    135055 |     784   108080   283220 | 2147483647   135055     43 |  0.011 % |
59.00/59.17	c |    135398 |     784   108080   283220 | 2147483647   135398     43 |  0.000 % |
59.30/59.49	c |    135771 |     784   108080   283220 | 2147483647   135771     43 |  0.011 % |
59.70/59.86	c |    136183 |     784   108080   283220 | 2147483647   136183     43 |  0.011 % |
60.10/60.27	c |    136632 |     784   108080   283220 | 2147483647   136632     43 |  0.010 % |
60.51/60.70	c |    137128 |     784   108080   283220 | 2147483647   137128     43 |  0.010 % |
61.01/61.19	c |    137670 |     784   108080   283220 | 2147483647   137670     43 |  0.011 % |
61.51/61.66	c |    138267 |     784   108080   283220 | 2147483647   138267     43 |  0.011 % |
62.11/62.27	c |    138926 |     784   108080   283220 | 2147483647   138926     43 |  0.011 % |
62.91/63.03	c |    139646 |     784   108080   283220 | 2147483647   139646     43 |  0.011 % |
63.51/63.69	c |    140438 |     784   108080   283220 | 2147483647   140438     43 |  0.011 % |
64.31/64.43	c |    141309 |     784   108080   283220 | 2147483647   141309     43 |  0.011 % |
65.01/65.17	c |    142267 |     784   108080   283220 | 2147483647   142267     43 |  0.011 % |
65.91/66.07	c |    143320 |     784   108080   283220 | 2147483647   143320     43 |  0.012 % |
66.91/67.08	c |    144482 |     784   108080   283220 | 2147483647   144482     43 |  0.000 % |
68.20/68.34	c |    145758 |     784   108080   283220 | 2147483647   145758     43 |  0.011 % |
69.50/69.66	c |    147160 |     784   108080   283220 | 2147483647   147160     43 |  0.012 % |
71.10/71.22	c |    148701 |     784   108080   283220 | 2147483647   148701     43 |  0.012 % |
71.20/71.31	c |    148801 |     784   108080   283220 | 2147483647   148801     43 |  0.011 % |
71.31/71.43	c |    148911 |     784   108080   283220 | 2147483647   148911     43 |  0.011 % |
71.41/71.56	c |    149033 |     784   108080   283220 | 2147483647   149033     42 |  0.012 % |
71.60/71.72	c |    149166 |     784   108080   283220 | 2147483647   149166     43 |  0.000 % |
71.70/71.82	c |    149313 |     784   108080   283220 | 2147483647   149313     43 |  0.000 % |
71.80/71.98	c |    149477 |     784   108080   283220 | 2147483647   149477     43 |  0.010 % |
72.00/72.16	c |    149654 |     784   108080   283220 | 2147483647   149654     43 |  0.010 % |
72.20/72.35	c |    149848 |     784   108080   283220 | 2147483647   149848     42 |  0.010 % |
72.40/72.52	c |    150062 |     784   108080   283220 |   150000   150062     42 |  0.010 % |
72.80/72.92	c |    150302 |     784   108080   283220 |   150000   133093     43 |  0.000 % |
73.00/73.10	c |    150561 |     784   108080   283220 |   150000   133352     43 |  0.011 % |
73.20/73.36	c |    150843 |     784   108080   283220 |   150000   133634     43 |  0.000 % |
73.50/73.63	c |    151152 |     784   108080   283220 |   150000   133943     43 |  0.011 % |
73.80/73.93	c |    151492 |     784   108080   283220 |   150000   134283     43 |  0.011 % |
74.10/74.26	c |    151865 |     784   108080   283220 |   150000   134656     43 |  0.011 % |
74.50/74.64	c |    152276 |     784   108080   283220 |   150000   135067     43 |  0.010 % |
74.90/75.02	c |    152729 |     784   108080   283220 |   150000   135520     43 |  0.011 % |
75.30/75.45	c |    153222 |     784   108080   283220 |   150000   136013     43 |  0.011 % |
75.70/75.90	c |    153764 |     784   108080   283220 |   150000   136555     43 |  0.011 % |
76.20/76.39	c |    154364 |     784   108080   283220 |   150000   137155     42 |  0.011 % |
76.80/76.99	c |    155021 |     784   108080   283220 |   150000   137812     42 |  0.000 % |
77.40/77.59	c |    155743 |     784   108080   283220 |   150000   138534     43 |  0.000 % |
78.20/78.37	c |    156537 |     784   108080   283220 |   150000   139328     43 |  0.000 % |
79.00/79.17	c |    157410 |     784   108080   283220 |   150000   140201     43 |  0.000 % |
79.90/80.02	c |    158369 |     784   108080   283220 |   150000   141160     43 |  0.011 % |
80.90/81.03	c |    159422 |     784   108080   283220 |   150000   142213     43 |  0.011 % |
82.00/82.15	c |    160580 |     784   108080   283220 |   142793   127444     43 |  0.000 % |
83.00/83.18	c |    161853 |     784   108080   283220 |   142793   128717     43 |  0.000 % |
84.10/84.25	c |    163253 |     784   108080   283220 |   142793   130117     43 |  0.011 % |
85.40/85.52	c |    164794 |     784   108080   283220 |   142793   131658     43 |  0.000 % |
86.70/86.86	c |    166488 |     784   108080   283220 |   142793   133352     43 |  0.011 % |
86.80/86.96	c |    166590 |     784   108080   283220 |   142793   133454     43 |  0.011 % |
86.89/87.08	c |    166700 |     784   108080   283220 |   142793   133564     43 |  0.000 % |
86.99/87.19	c |    166821 |     784   108080   283220 |   142793   133685     43 |  0.000 % |
87.19/87.33	c |    166954 |     784   108080   283220 |   142793   133818     43 |  0.011 % |
87.29/87.48	c |    167100 |     784   108080   283220 |   142793   133964     43 |  0.011 % |
87.49/87.64	c |    167260 |     784   108080   283220 |   142793   134124     43 |  0.011 % |
87.69/87.83	c |    167443 |     784   108080   283220 |   142793   134307     43 |  0.011 % |
87.90/88.03	c |    167636 |     784   108080   283220 |   142793   134500     43 |  0.010 % |
88.09/88.25	c |    167854 |     784   108080   283220 |   142793   134718     43 |  0.000 % |
88.29/88.47	c |    168087 |     784   108080   283220 |   142793   134951     43 |  0.011 % |
88.59/88.72	c |    168346 |     784   108080   283220 |   142793   135210     43 |  0.000 % |
88.79/88.98	c |    168627 |     784   108080   283220 |   142793   135491     43 |  0.011 % |
89.09/89.29	c |    168939 |     784   108080   283220 |   142793   135803     43 |  0.011 % |
89.49/89.64	c |    169281 |     784   108080   283220 |   142793   136145     43 |  0.011 % |
89.79/89.95	c |    169653 |     784   108080   283220 |   142793   136517     43 |  0.011 % |
90.19/90.34	c |    170062 |     784   108080   283220 |   136867   136926     43 |  0.011 % |
90.79/90.90	c |    170511 |     784   108080   283220 |   136867   122447     44 |  0.000 % |
91.20/91.34	c |    171007 |     784   108080   283220 |   136867   122943     44 |  0.000 % |
91.59/91.77	c |    171550 |     784   108080   283220 |   136867   123486     44 |  0.000 % |
92.20/92.33	c |    172147 |     784   108080   283220 |   136867   124083     44 |  0.000 % |
92.69/92.87	c |    172803 |     784   108080   283220 |   136867   124739     44 |  0.011 % |
93.40/93.53	c |    173525 |     784   108080   283220 |   136867   125461     44 |  0.011 % |
93.99/94.14	c |    174322 |     784   108080   283220 |   136867   126258     44 |  0.000 % |
94.69/94.88	c |    175193 |     784   108080   283220 |   136867   127129     44 |  0.000 % |
95.50/95.66	c |    176152 |     784   108080   283220 |   136867   128088     45 |  0.011 % |
96.49/96.60	c |    177205 |     784   108080   283220 |   136867   129141     44 |  0.011 % |
97.49/97.65	c |    178365 |     784   108080   283220 |   136867   130301     44 |  0.011 % |
98.59/98.73	c |    179638 |     784   108080   283220 |   136867   131574     44 |  0.011 % |
99.99/100.18	c |    181038 |     784   108080   283220 |   131936   117437     44 |  0.011 % |
101.29/101.43	c |    182580 |     784   108080   283220 |   131936   118979     45 |  0.000 % |
102.79/102.97	c |    184275 |     784   108080   283220 |   131936   120674     46 |  0.000 % |
104.49/104.65	c |    186138 |     784   108080   283220 |   131936   122537     46 |  0.020 % |
104.59/104.73	c |    186239 |     784   108080   283220 |   131936   122638     46 |  0.000 % |
104.69/104.84	c |    186349 |     784   108080   283220 |   131936   122748     46 |  0.000 % |
104.79/104.94	c |    186471 |     784   108080   283220 |   131936   122870     46 |  0.010 % |
104.89/105.05	c |    186605 |     784   108080   283220 |   131936   123004     46 |  0.010 % |
104.99/105.19	c |    186751 |     784   108080   283220 |   131936   123150     46 |  0.010 % |
105.19/105.34	c |    186914 |     784   108080   283220 |   131936   123313     46 |  0.010 % |
105.39/105.50	c |    187092 |     784   108080   283220 |   131936   123491     46 |  0.010 % |
105.49/105.67	c |    187287 |     784   108080   283220 |   131936   123686     46 |  0.000 % |
105.69/105.89	c |    187499 |     784   108080   283220 |   131936   123898     46 |  0.011 % |
105.99/106.14	c |    187734 |     784   108080   283220 |   131936   124133     46 |  0.011 % |
106.19/106.38	c |    187990 |     784   108080   283220 |   131936   124389     46 |  0.011 % |
106.49/106.67	c |    188271 |     784   108080   283220 |   131936   124670     46 |  0.011 % |
106.88/107.00	c |    188580 |     784   108080   283220 |   131936   124979     46 |  0.011 % |
107.08/107.25	c |    188919 |     784   108080   283220 |   131936   125318     46 |  0.000 % |
107.48/107.66	c |    189293 |     784   108080   283220 |   131936   125692     46 |  0.000 % |
107.99/108.12	c |    189703 |     784   108080   283220 |   131936   126102     46 |  0.011 % |
108.38/108.57	c |    190155 |     784   108080   283220 |   126399   126554     46 |  0.011 % |
109.08/109.21	c |    190652 |     784   108080   283220 |   126399   111109     46 |  0.011 % |
109.68/109.82	c |    191197 |     784   108080   283220 |   126399   111654     46 |  0.011 % |
110.38/110.50	c |    191793 |     784   108080   283220 |   126399   112250     46 |  0.011 % |
110.99/111.17	c |    192448 |     784   108080   283220 |   126399   112905     46 |  0.011 % |
111.68/111.82	c |    193170 |     784   108080   283220 |   126399   113627     46 |  0.011 % |
112.28/112.49	c |    193962 |     784   108080   283220 |   126399   114419     46 |  0.011 % |
113.19/113.36	c |    194833 |     784   108080   283220 |   126399   115290     46 |  0.011 % |
114.08/114.20	c |    195793 |     784   108080   283220 |   126399   116250     46 |  0.011 % |
114.98/115.13	c |    196846 |     784   108080   283220 |   126399   117303     46 |  0.010 % |
115.98/116.17	c |    198004 |     784   108080   283220 |   126399   118461     46 |  0.010 % |
117.18/117.31	c |    199277 |     784   108080   283220 |   126399   119734     46 |  0.000 % |
118.38/118.56	c |    200679 |     784   108080   283220 |   120457   105380     45 |  0.012 % |
119.58/119.75	c |    202220 |     784   108080   283220 |   120457   106921     45 |  0.011 % |
121.08/121.25	c |    203914 |     784   108080   283220 |   120457   108615     45 |  0.011 % |
122.88/123.05	c |    205778 |     784   108080   283220 |   120457   110479     45 |  0.011 % |
124.98/125.17	c |    207829 |     784   108080   283220 |   120457   112530     45 |  0.011 % |
125.08/125.26	c |    207932 |     784   108080   283220 |   120457   112633     45 |  0.011 % |
125.18/125.39	c |    208043 |     784   108080   283220 |   120457   112744     45 |  0.011 % |
125.37/125.52	c |    208164 |     784   108080   283220 |   120457   112865     45 |  0.000 % |
125.47/125.66	c |    208299 |     784   108080   283220 |   120457   113000     45 |  0.011 % |
125.57/125.79	c |    208446 |     784   108080   283220 |   120457   113147     45 |  0.011 % |
125.77/125.95	c |    208607 |     784   108080   283220 |   120457   113308     45 |  0.011 % |
125.97/126.15	c |    208783 |     784   108080   283220 |   120457   113484     45 |  0.012 % |
126.17/126.35	c |    208978 |     784   108080   283220 |   120457   113679     45 |  0.012 % |
126.37/126.59	c |    209191 |     784   108080   283220 |   120457   113892     45 |  0.011 % |
126.67/126.81	c |    209424 |     784   108080   283220 |   120457   114125     45 |  0.011 % |
126.87/127.05	c |    209686 |     784   108080   283220 |   120457   114387     45 |  0.011 % |
127.07/127.28	c |    209967 |     784   108080   283220 |   120457   114668     45 |  0.000 % |
127.37/127.55	c |    210279 |     784   108080   283220 |   114703   114980     45 |  0.011 % |
127.77/127.92	c |    210619 |     784   108080   283220 |   114703   100727     44 |  0.011 % |
128.07/128.21	c |    210991 |     784   108080   283220 |   114703   101099     44 |  0.000 % |
128.37/128.55	c |    211400 |     784   108080   283220 |   114703   101508     44 |  0.011 % |
128.67/128.86	c |    211849 |     784   108080   283220 |   114703   101957     44 |  0.011 % |
129.07/129.28	c |    212347 |     784   108080   283220 |   114703   102455     44 |  0.011 % |
129.57/129.76	c |    212889 |     784   108080   283220 |   114703   102997     44 |  0.011 % |
130.07/130.30	c |    213485 |     784   108080   283220 |   114703   103593     44 |  0.011 % |
130.56/130.79	c |    214141 |     784   108080   283220 |   114703   104249     44 |  0.011 % |
131.26/131.40	c |    214861 |     784   108080   283220 |   114703   104969     43 |  0.010 % |
131.77/131.95	c |    215655 |     784   108080   283220 |   114703   105763     43 |  0.010 % |
132.36/132.55	c |    216530 |     784   108080   283220 |   114703   106638     43 |  0.010 % |
133.06/133.26	c |    217488 |     784   108080   283220 |   114703   107596     44 |  0.000 % |
133.97/134.20	c |    218541 |     784   108080   283220 |   114703   108649     44 |  0.011 % |
134.96/135.15	c |    219699 |     784   108080   283220 |   114703   109807     45 |  0.000 % |
136.06/136.27	c |    220972 |     784   108080   283220 | 2147483647   111080     45 |  0.011 % |
137.46/137.66	c |    222376 |     784   108080   283220 | 2147483647   112484     45 |  0.011 % |
138.96/139.13	c |    223916 |     784   108080   283220 | 2147483647   114024     44 |  0.011 % |
140.46/140.63	c |    225611 |     784   108080   283220 | 2147483647   115719     44 |  0.011 % |
142.26/142.41	c |    227474 |     784   108080   283220 | 2147483647   117582     44 |  0.011 % |
144.26/144.41	c |    229524 |     784   108080   283220 | 2147483647   119632     44 |  0.011 % |
146.26/146.50	c |    231777 |     784   108080   283220 |   120109   107281     44 |  0.000 % |
146.35/146.58	c |    231877 |     784   108080   283220 |   120109   107381     44 |  0.000 % |
146.45/146.69	c |    231988 |     784   108080   283220 |   120109   107492     44 |  0.011 % |
146.65/146.85	c |    232109 |     784   108080   283220 |   120109   107613     44 |  0.011 % |
146.85/147.01	c |    232242 |     784   108080   283220 |   120109   107746     44 |  0.011 % |
146.95/147.11	c |    232388 |     784   108080   283220 |   120109   107892     44 |  0.011 % |
147.05/147.24	c |    232550 |     784   108080   283220 |   120109   108054     44 |  0.011 % |
147.26/147.41	c |    232726 |     784   108080   283220 |   120109   108230     44 |  0.000 % |
147.35/147.53	c |    232922 |     784   108080   283220 |   120109   108426     44 |  0.000 % |
147.55/147.75	c |    233140 |     784   108080   283220 |   120109   108644     44 |  0.010 % |
147.75/147.95	c |    233373 |     784   108080   283220 |   120109   108877     44 |  0.000 % |
147.95/148.19	c |    233631 |     784   108080   283220 |   120109   109135     44 |  0.010 % |
148.26/148.46	c |    233913 |     784   108080   283220 |   120109   109417     44 |  0.010 % |
148.55/148.74	c |    234223 |     784   108080   283220 |   120109   109727     44 |  0.011 % |
148.85/149.10	c |    234562 |     784   108080   283220 |   120109   110066     44 |  0.011 % |
149.25/149.42	c |    234938 |     784   108080   283220 |   120109   110442     44 |  0.000 % |
149.55/149.77	c |    235351 |     784   108080   283220 |   120109   110855     44 |  0.011 % |
149.95/150.13	c |    235800 |     784   108080   283220 |   120109   111304     44 |  0.011 % |
150.35/150.59	c |    236293 |     784   108080   283220 |   120109   111797     44 |  0.011 % |
150.85/151.02	c |    236835 |     784   108080   283220 |   120109   112339     44 |  0.011 % |
151.35/151.53	c |    237433 |     784   108080   283220 |   120109   112937     44 |  0.011 % |
151.85/152.09	c |    238088 |     784   108080   283220 |   120109   113592     44 |  0.011 % |
152.45/152.66	c |    238810 |     784   108080   283220 |   120109   114314     44 |  0.000 % |
153.15/153.35	c |    239602 |     784   108080   283220 |   120109   115106     44 |  0.011 % |
153.95/154.18	c |    240473 |     784   108080   283220 |   115505   101741     45 |  0.011 % |
154.65/154.90	c |    241432 |     784   108080   283220 |   115505   102700     45 |  0.011 % |
155.65/155.82	c |    242485 |     784   108080   283220 |   115505   103753     45 |  0.011 % |
156.75/156.97	c |    243645 |     784   108080   283220 |   115505   104913     45 |  0.011 % |
158.05/158.26	c |    244919 |     784   108080   283220 |   115505   106187     45 |  0.011 % |
159.55/159.76	c |    246319 |     784   108080   283220 |   115505   107587     45 |  0.011 % |
161.05/161.21	c |    247862 |     784   108080   283220 |   115505   109130     45 |  0.012 % |
162.75/162.92	c |    249560 |     784   108080   283220 |   115505   110828     44 |  0.012 % |
164.35/164.54	c |    251424 |     784   108080   283220 |   111270    98343     45 |  0.000 % |
166.35/166.50	c |    253473 |     784   108080   283220 |   111270   100392     45 |  0.011 % |
168.45/168.66	c |    255726 |     784   108080   283220 |   111270   102645     45 |  0.012 % |
170.75/170.92	c |    258204 |     784   108080   283220 |   111270   105123     45 |  0.000 % |
170.85/171.03	c |    258305 |     784   108080   283220 |   111270   105224     45 |  0.012 % |
170.94/171.13	c |    258416 |     784   108080   283220 |   111270   105335     45 |  0.010 % |
171.04/171.27	c |    258537 |     784   108080   283220 |   111270   105456     45 |  0.010 % |
171.14/171.36	c |    258672 |     784   108080   283220 |   111270   105591     45 |  0.000 % |
171.24/171.50	c |    258821 |     784   108080   283220 |   111270   105740     45 |  0.011 % |
171.45/171.63	c |    258983 |     784   108080   283220 |   111270   105902     45 |  0.011 % |
171.64/171.82	c |    259160 |     784   108080   283220 |   111270   106079     45 |  0.011 % |
171.74/171.99	c |    259358 |     784   108080   283220 |   111270   106277     45 |  0.011 % |
171.94/172.17	c |    259571 |     784   108080   283220 |   111270   106490     45 |  0.011 % |
172.14/172.39	c |    259808 |     784   108080   283220 |   111270   106727     45 |  0.000 % |
172.45/172.67	c |    260069 |     784   108080   283220 |   106919   106988     45 |  0.011 % |
172.74/172.98	c |    260351 |     784   108080   283220 |   106919    93638     45 |  0.000 % |
173.04/173.23	c |    260662 |     784   108080   283220 |   106919    93949     45 |  0.000 % |
173.34/173.53	c |    261004 |     784   108080   283220 |   106919    94291     45 |  0.000 % |
173.65/173.89	c |    261378 |     784   108080   283220 |   106919    94665     45 |  0.000 % |
174.14/174.30	c |    261787 |     784   108080   283220 |   106919    95074     45 |  0.011 % |
174.44/174.70	c |    262237 |     784   108080   283220 |   106919    95524     45 |  0.011 % |
174.84/175.06	c |    262733 |     784   108080   283220 |   106919    96020     45 |  0.011 % |
175.34/175.53	c |    263275 |     784   108080   283220 |   106919    96562     45 |  0.011 % |
175.85/176.00	c |    263872 |     784   108080   283220 |   106919    97159     45 |  0.011 % |
176.34/176.57	c |    264527 |     784   108080   283220 |   106919    97814     45 |  0.011 % |
177.04/177.26	c |    265248 |     784   108080   283220 |   106919    98535     45 |  0.000 % |
177.84/178.03	c |    266040 |     784   108080   283220 |   106919    99327     45 |  0.000 % |
178.64/178.86	c |    266914 |     784   108080   283220 |   106919   100201     46 |  0.000 % |
179.64/179.81	c |    267873 |     784   108080   283220 |   106919   101160     46 |  0.000 % |
180.74/180.90	c |    268926 |     784   108080   283220 |   106919   102213     46 |  0.011 % |
181.94/182.15	c |    270086 |     784   108080   283220 |   103288   103373     45 |  0.011 % |
183.14/183.30	c |    271360 |     784   108080   283220 |   103288    92723     45 |  0.000 % |
184.44/184.62	c |    272762 |     784   108080   283220 |   103288    94125     45 |  0.000 % |
185.84/186.05	c |    274302 |     784   108080   283220 |   103288    95665     44 |  0.011 % |
187.44/187.66	c |    275998 |     784   108080   283220 |   103288    97361     44 |  0.011 % |
189.24/189.43	c |    277861 |     784   108080   283220 |   103288    99224     44 |  0.011 % |
190.94/191.15	c |    279911 |     784   108080   283220 |   103288   101274     44 |  0.011 % |
193.03/193.22	c |    282167 |     784   108080   283220 |   101365    91631     44 |  0.011 % |
195.33/195.59	c |    284645 |     784   108080   283220 |   101365    94109     44 |  0.000 % |
198.03/198.20	c |    287371 |     784   108080   283220 |   101365    96835     44 |  0.011 % |
198.03/198.28	c |    287472 |     784   108080   283220 |   101365    96936     44 |  0.000 % |
198.23/198.40	c |    287583 |     784   108080   283220 |   101365    97047     44 |  0.011 % |
198.33/198.54	c |    287705 |     784   108080   283220 |   101365    97169     44 |  0.000 % |
198.43/198.65	c |    287838 |     784   108080   283220 |   101365    97302     44 |  0.011 % |
198.53/198.79	c |    287985 |     784   108080   283220 |   101365    97449     44 |  0.011 % |
198.73/198.93	c |    288148 |     784   108080   283220 |   101365    97612     44 |  0.001 % |
198.84/199.08	c |    288326 |     784   108080   283220 |   101365    97790     44 |  0.011 % |
199.03/199.25	c |    288519 |     784   108080   283220 |   101365    97983     44 |  0.012 % |
199.23/199.47	c |    288733 |     784   108080   283220 |   101365    98197     44 |  0.000 % |
199.43/199.67	c |    288967 |     784   108080   283220 |   101365    98431     44 |  0.000 % |
199.73/199.91	c |    289223 |     784   108080   283220 |   101365    98687     44 |  0.011 % |
199.93/200.17	c |    289510 |     784   108080   283220 |   101365    98974     44 |  0.011 % |
200.23/200.45	c |    289819 |     784   108080   283220 |   101365    99283     44 |  0.000 % |
200.53/200.75	c |    290158 |     784   108080   283220 |    99465    99622     44 |  0.012 % |
200.93/201.16	c |    290531 |     784   108080   283220 |    99465    86413     44 |  0.000 % |
201.33/201.51	c |    290943 |     784   108080   283220 |    99465    86825     44 |  0.000 % |
201.63/201.83	c |    291392 |     784   108080   283220 |    99465    87274     44 |  0.000 % |
202.03/202.24	c |    291885 |     784   108080   283220 |    99465    87767     44 |  0.010 % |
202.53/202.70	c |    292428 |     784   108080   283220 |    99465    88310     44 |  0.011 % |
203.03/203.22	c |    293024 |     784   108080   283220 |    99465    88906     44 |  0.010 % |
203.53/203.76	c |    293679 |     784   108080   283220 |    99465    89561     45 |  0.000 % |
204.13/204.38	c |    294399 |     784   108080   283220 |    99465    90281     45 |  0.000 % |
204.93/205.16	c |    295193 |     784   108080   283220 |    99465    91075     45 |  0.011 % |
205.63/205.83	c |    296069 |     784   108080   283220 |    99465    91951     45 |  0.011 % |
206.33/206.52	c |    297028 |     784   108080   283220 |    99465    92910     46 |  0.000 % |
207.23/207.48	c |    298082 |     784   108080   283220 |    99465    93964     46 |  0.000 % |
208.23/208.40	c |    299240 |     784   108080   283220 |    99465    95122     47 |  0.000 % |
209.33/209.60	c |    300513 |     784   108080   283220 |    95882    84817     47 |  0.000 % |
210.73/210.96	c |    301914 |     784   108080   283220 |    95882    86218     48 |  0.000 % |
212.43/212.68	c |    303454 |     784   108080   283220 |    95882    87758     48 |  0.012 % |
214.53/214.75	c |    305150 |     784   108080   283220 |    95882    89454     48 |  0.012 % |
216.62/216.82	c |    307015 |     784   108080   283220 |    95882    91319     47 |  0.011 % |
218.42/218.69	c |    309066 |     784   108080   283220 |    95882    93370     48 |  0.000 % |
220.83/221.03	c |    311319 |     784   108080   283220 |    94305    81846     49 |  0.000 % |
223.22/223.40	c |    313797 |     784   108080   283220 |    94305    84324     49 |  0.000 % |
225.72/225.98	c |    316523 |     784   108080   283220 |    94305    87050     49 |  0.011 % |
228.62/228.88	c |    319522 |     784   108080   283220 |    94305    90049     50 |  0.000 % |
228.72/228.99	c |    319625 |     784   108080   283220 |    94305    90152     50 |  0.000 % |
228.82/229.08	c |    319736 |     784   108080   283220 |    94305    90263     50 |  0.011 % |
229.02/229.20	c |    319857 |     784   108080   283220 |    94305    90384     50 |  0.011 % |
229.12/229.34	c |    319991 |     784   108080   283220 |    94305    90518     50 |  0.011 % |
229.32/229.52	c |    320137 |     784   108080   283220 |    90527    90664     50 |  0.012 % |
229.62/229.83	c |    320297 |     784   108080   283220 |    90527    78211     51 |  0.012 % |
229.82/230.02	c |    320473 |     784   108080   283220 |    90527    78387     51 |  0.012 % |
229.92/230.19	c |    320668 |     784   108080   283220 |    90527    78582     51 |  0.000 % |
230.22/230.44	c |    320883 |     784   108080   283220 |    90527    78797     51 |  0.011 % |
230.42/230.65	c |    321119 |     784   108080   283220 |    90527    79033     50 |  0.012 % |
230.62/230.89	c |    321377 |     784   108080   283220 |    90527    79291     50 |  0.012 % |
230.92/231.19	c |    321658 |     784   108080   283220 |    90527    79572     50 |  0.012 % |
231.22/231.48	c |    321968 |     784   108080   283220 |    90527    79882     50 |  0.011 % |
231.61/231.88	c |    322307 |     784   108080   283220 |    90527    80221     50 |  0.011 % |
232.11/232.31	c |    322681 |     784   108080   283220 |    90527    80595     50 |  0.011 % |
232.51/232.76	c |    323092 |     784   108080   283220 |    90527    81006     50 |  0.011 % |
233.02/233.21	c |    323545 |     784   108080   283220 |    90527    81459     50 |  0.000 % |
233.41/233.60	c |    324038 |     784   108080   283220 |    90527    81952     51 |  0.000 % |
233.91/234.10	c |    324582 |     784   108080   283220 |    90527    82496     51 |  0.000 % |
234.41/234.68	c |    325178 |     784   108080   283220 |    90527    83092     51 |  0.000 % |
235.12/235.34	c |    325834 |     784   108080   283220 |    90527    83748     51 |  0.000 % |
235.81/236.06	c |    326554 |     784   108080   283220 |    90527    84468     51 |  0.011 % |
236.71/236.93	c |    327347 |     784   108080   283220 |    90527    85261     52 |  0.000 % |
237.61/237.83	c |    328219 |     784   108080   283220 |    90527    86133     52 |  0.011 % |
238.61/238.81	c |    329177 |     784   108080   283220 |    90527    87091     51 |  0.011 % |
239.61/239.83	c |    330230 |     784   108080   283220 |    87914    88144     51 |  0.011 % |
240.71/240.96	c |    331396 |     784   108080   283220 |    87914    76343     51 |  0.011 % |
241.91/242.16	c |    332669 |     784   108080   283220 |    87914    77616     50 |  0.012 % |
243.11/243.38	c |    334071 |     784   108080   283220 |    87914    79018     50 |  0.011 % |
244.61/244.86	c |    335611 |     784   108080   283220 |    87914    80558     51 |  0.000 % |
246.31/246.57	c |    337308 |     784   108080   283220 |    87914    82255     51 |  0.000 % |
248.21/248.40	c |    339171 |     784   108080   283220 |    87914    84118     51 |  0.011 % |
250.40/250.68	c |    341220 |     784   108080   283220 |    84948    73715     52 |  0.011 % |
252.50/252.79	c |    343473 |     784   108080   283220 |    84948    75968     52 |  0.011 % |
255.40/255.65	c |    345954 |     784   108080   283220 |    84948    78449     52 |  0.000 % |
258.10/258.40	c |    348682 |     784   108080   283220 |    84948    81177     51 |  0.011 % |
261.30/261.54	c |    351681 |     784   108080   283220 |    82495    70095     52 |  0.011 % |
264.60/264.83	c |    354977 |     784   108080   283220 |    82495    73391     51 |  0.011 % |
264.70/264.96	c |    355077 |     784   108080   283220 |    82495    73491     51 |  0.011 % |
264.80/265.09	c |    355187 |     784   108080   283220 |    82495    73601     51 |  0.000 % |
265.00/265.20	c |    355308 |     784   108080   283220 |    82495    73722     51 |  0.011 % |
265.10/265.32	c |    355441 |     784   108080   283220 |    82495    73855     51 |  0.011 % |
265.20/265.43	c |    355588 |     784   108080   283220 |    82495    74002     51 |  0.000 % |
265.30/265.57	c |    355749 |     784   108080   283220 |    82495    74163     52 |  0.000 % |
265.50/265.73	c |    355926 |     784   108080   283220 |    82495    74340     52 |  0.000 % |
265.70/265.92	c |    356121 |     784   108080   283220 |    82495    74535     52 |  0.011 % |
265.90/266.15	c |    356338 |     784   108080   283220 |    82495    74752     51 |  0.012 % |
266.10/266.40	c |    356572 |     784   108080   283220 |    82495    74986     51 |  0.011 % |
266.40/266.68	c |    356829 |     784   108080   283220 |    82495    75243     51 |  0.000 % |
266.70/266.93	c |    357110 |     784   108080   283220 |    82495    75524     51 |  0.011 % |
266.90/267.19	c |    357421 |     784   108080   283220 |    82495    75835     51 |  0.011 % |
267.30/267.50	c |    357761 |     784   108080   283220 |    82495    76175     51 |  0.011 % |
267.60/267.81	c |    358139 |     784   108080   283220 |    82495    76553     51 |  0.011 % |
267.90/268.20	c |    358548 |     784   108080   283220 |    82495    76962     51 |  0.011 % |
268.40/268.64	c |    359000 |     784   108080   283220 |    82495    77414     51 |  0.000 % |
268.80/269.07	c |    359494 |     784   108080   283220 |    82495    77908     52 |  0.000 % |
269.40/269.63	c |    360040 |     784   108080   283220 |    78417    78454     52 |  0.011 % |
269.99/270.26	c |    360637 |     784   108080   283220 |    78417    67117     49 |  0.000 % |
270.59/270.84	c |    361293 |     784   108080   283220 |    78417    67773     49 |  0.011 % |
271.19/271.48	c |    362014 |     784   108080   283220 |    78417    68494     49 |  0.011 % |
271.89/272.12	c |    362808 |     784   108080   283220 |    78417    69288     50 |  0.000 % |
272.60/272.85	c |    363681 |     784   108080   283220 |    78417    70161     50 |  0.000 % |
273.49/273.72	c |    364640 |     784   108080   283220 |    78417    71120     50 |  0.011 % |
274.29/274.57	c |    365694 |     784   108080   283220 |    78417    72174     50 |  0.011 % |
275.39/275.61	c |    366853 |     784   108080   283220 |    78417    73333     50 |  0.011 % |
276.29/276.54	c |    368127 |     784   108080   283220 |    78417    74607     50 |  0.010 % |
277.59/277.83	c |    369527 |     784   108080   283220 |    78417    76007     50 |  0.011 % |
279.09/279.33	c |    371069 |     784   108080   283220 |    76481    67782     48 |  0.000 % |
280.29/280.57	c |    372767 |     784   108080   283220 |    76481    69480     49 |  0.000 % |
281.79/282.06	c |    374633 |     784   108080   283220 |    76481    71346     49 |  0.011 % |
283.59/283.89	c |    376682 |     784   108080   283220 |    76481    73395     49 |  0.000 % |
285.69/285.99	c |    378936 |     784   108080   283220 |    76481    75649     48 |  0.011 % |
287.99/288.26	c |    381417 |     784   108080   283220 |    76715    68030     46 |  0.011 % |
290.09/290.35	c |    384142 |     784   108080   283220 |    76715    70755     46 |  0.000 % |
292.69/292.92	c |    387141 |     784   108080   283220 |    76715    73754     46 |  0.011 % |
295.79/296.01	c |    390441 |     784   108080   283220 |    76613    77054     45 |  0.011 % |
298.89/299.12	c |    394066 |     784   108080   283220 |    76613    70474     44 |  0.011 % |
298.99/299.21	c |    394168 |     784   108080   283220 |    76613    70576     44 |  0.000 % |
299.08/299.32	c |    394280 |     784   108080   283220 |    76613    70688     44 |  0.011 % |
299.18/299.43	c |    394401 |     784   108080   283220 |    76613    70809     44 |  0.011 % |
299.28/299.56	c |    394535 |     784   108080   283220 |    76613    70943     44 |  0.011 % |
299.38/299.69	c |    394681 |     784   108080   283220 |    76613    71089     45 |  0.000 % |
299.58/299.87	c |    394842 |     784   108080   283220 |    76613    71250     45 |  0.000 % |
299.78/300.01	c |    395020 |     784   108080   283220 |    76613    71428     45 |  0.011 % |
299.88/300.17	c |    395213 |     784   108080   283220 |    76613    71621     45 |  0.000 % |
300.10/300.35	c |    395425 |     784   108080   283220 |    76613    71833     45 |  0.011 % |
300.29/300.55	c |    395659 |     784   108080   283220 |    76613    72067     45 |  0.011 % |
300.49/300.75	c |    395917 |     784   108080   283220 |    76613    72325     45 |  0.011 % |
300.69/300.96	c |    396199 |     784   108080   283220 |    76613    72607     45 |  0.011 % |
300.99/301.20	c |    396509 |     784   108080   283220 |    76613    72917     44 |  0.011 % |
301.19/301.48	c |    396850 |     784   108080   283220 |    76613    73258     45 |  0.000 % |
301.69/301.90	c |    397222 |     784   108080   283220 |    76613    73630     45 |  0.000 % |
302.09/302.30	c |    397631 |     784   108080   283220 |    76613    74039     45 |  0.011 % |
302.49/302.71	c |    398081 |     784   108080   283220 |    76613    74489     45 |  0.011 % |
302.79/303.06	c |    398575 |     784   108080   283220 |    76613    74983     45 |  0.000 % |
303.29/303.56	c |    399119 |     784   108080   283220 |    76613    75527     46 |  0.000 % |
303.99/304.24	c |    399716 |     784   108080   283220 |    76613    76124     45 |  0.011 % |
304.69/304.96	c |    400371 |     784   108080   283220 |    76409    67228     45 |  0.011 % |
305.29/305.55	c |    401092 |     784   108080   283220 |    76409    67949     45 |  0.011 % |
305.99/306.29	c |    401886 |     784   108080   283220 |    76409    68743     46 |  0.000 % |
306.79/307.10	c |    402757 |     784   108080   283220 |    76409    69614     46 |  0.000 % |
307.79/308.08	c |    403716 |     784   108080   283220 |    76409    70573     46 |  0.011 % |
308.69/309.00	c |    404774 |     784   108080   283220 |    76409    71631     46 |  0.011 % |
309.79/310.06	c |    405934 |     784   108080   283220 |    76409    72791     46 |  0.011 % |
311.09/311.32	c |    407207 |     784   108080   283220 |    76409    74064     46 |  0.011 % |
312.38/312.60	c |    408612 |     784   108080   283220 |    76409    75469     46 |  0.011 % |
313.78/314.01	c |    410153 |     784   108080   283220 |    67809    67961     46 |  0.011 % |
315.18/315.48	c |    411850 |     784   108080   283220 |    67809    61541     44 |  0.011 % |
316.88/317.13	c |    413714 |     784   108080   283220 |    67809    63405     44 |  0.011 % |
318.79/319.01	c |    415766 |     784   108080   283220 |    67809    65457     43 |  0.011 % |
320.78/321.03	c |    418020 |     784   108080   283220 |    67809    67711     43 |  0.011 % |
322.68/322.93	c |    420501 |     784   108080   283220 |    61337    54627     42 |  0.000 % |
324.78/325.09	c |    423226 |     784   108080   283220 |    61337    57352     45 |  0.000 % |
327.18/327.40	c |    426223 |     784   108080   283220 |    61337    60349     45 |  0.011 % |
329.98/330.29	c |    429520 |     784   108080   283220 |    61337    57483     46 |  0.000 % |
332.78/333.04	c |    433146 |     784   108080   283220 | 2147483647    61109     48 |  0.000 % |
336.08/336.34	c |    437134 |     784   108080   283220 | 2147483647    65097     48 |  0.000 % |
336.18/336.41	c |    437237 |     784   108080   283220 | 2147483647    65200     48 |  0.011 % |
336.28/336.51	c |    437350 |     784   108080   283220 | 2147483647    65313     48 |  0.011 % |
336.38/336.64	c |    437472 |     784   108080   283220 | 2147483647    65435     48 |  0.011 % |
336.48/336.77	c |    437605 |     784   108080   283220 | 2147483647    65568     48 |  0.011 % |
336.68/336.91	c |    437755 |     784   108080   283220 | 2147483647    65718     48 |  0.011 % |
336.78/337.07	c |    437915 |     784   108080   283220 | 2147483647    65878     48 |  0.011 % |
336.98/337.27	c |    438093 |     784   108080   283220 | 2147483647    66056     48 |  0.011 % |
337.18/337.46	c |    438286 |     784   108080   283220 | 2147483647    66249     48 |  0.000 % |
337.38/337.63	c |    438498 |     784   108080   283220 | 2147483647    66461     48 |  0.012 % |
337.58/337.81	c |    438731 |     784   108080   283220 | 2147483647    66694     48 |  0.012 % |
337.78/338.03	c |    438988 |     784   108080   283220 | 2147483647    66951     48 |  0.012 % |
337.98/338.25	c |    439269 |     784   108080   283220 | 2147483647    67232     48 |  0.011 % |
338.28/338.55	c |    439578 |     784   108080   283220 | 2147483647    67541     48 |  0.012 % |
338.58/338.87	c |    439920 |     784   108080   283220 | 2147483647    67883     48 |  0.000 % |
338.97/339.29	c |    440292 |     784   108080   283220 |    67964    60733     49 |  0.000 % |
339.47/339.70	c |    440701 |     784   108080   283220 |    67964    61142     49 |  0.011 % |
339.97/340.21	c |    441151 |     784   108080   283220 |    67964    61592     49 |  0.011 % |
340.47/340.73	c |    441644 |     784   108080   283220 |    67964    62085     48 |  0.011 % |
340.97/341.24	c |    442186 |     784   108080   283220 |    67964    62627     48 |  0.011 % |
341.47/341.77	c |    442785 |     784   108080   283220 |    67964    63226     48 |  0.011 % |
342.07/342.37	c |    443440 |     784   108080   283220 |    67964    63881     48 |  0.011 % |
342.77/343.02	c |    444161 |     784   108080   283220 |    67964    64602     48 |  0.011 % |
343.47/343.77	c |    444953 |     784   108080   283220 |    67964    65394     48 |  0.011 % |
344.27/344.52	c |    445824 |     784   108080   283220 |    67964    66265     48 |  0.011 % |
345.07/345.35	c |    446783 |     784   108080   283220 |    67964    67224     48 |  0.011 % |
346.07/346.40	c |    447840 |     784   108080   283220 |    67964    68281     48 |  0.000 % |
347.37/347.61	c |    448998 |     784   108080   283220 |    67964    61695     46 |  0.011 % |
348.47/348.79	c |    450271 |     784   108080   283220 |    62700    62968     46 |  0.011 % |
349.77/350.03	c |    451675 |     784   108080   283220 |    62700    57267     46 |  0.011 % |
351.07/351.35	c |    453219 |     784   108080   283220 |    62700    58811     46 |  0.011 % |
352.67/352.90	c |    454914 |     784   108080   283220 |    62700    60506     46 |  0.011 % |
354.57/354.88	c |    456780 |     784   108080   283220 |    62700    62372     45 |  0.011 % |
356.27/356.55	c |    458829 |     784   108080   283220 |    62700    57397     46 |  0.011 % |
358.27/358.52	c |    461082 |     784   108080   283220 |    58568    53389     41 |  0.011 % |
360.16/360.44	c |    463563 |     784   108080   283220 |    58568    55870     43 |  0.000 % |
362.16/362.50	c |    466289 |     784   108080   283220 |    58568    58596     45 |  0.000 % |
364.46/364.75	c |    469289 |     784   108080   283220 |    58568    55737     44 |  0.012 % |
366.96/367.23	c |    472587 |     784   108080   283220 | 2147483647    59035     44 |  0.012 % |
369.96/370.25	c |    476213 |     784   108080   283220 | 2147483647    62661     48 |  0.000 % |
373.46/373.73	c |    480200 |     784   108080   283220 | 2147483647    66648     48 |  0.011 % |
377.96/378.27	c |    484585 |     784   108080   283220 | 2147483647    71033     48 |  0.012 % |
378.06/378.39	c |    484685 |     784   108080   283220 | 2147483647    71133     48 |  0.000 % |
378.16/378.49	c |    484797 |     784   108080   283220 | 2147483647    71245     48 |  0.000 % |
378.36/378.61	c |    484921 |     784   108080   283220 | 2147483647    71369     48 |  0.012 % |
378.46/378.74	c |    485054 |     784   108080   283220 | 2147483647    71502     48 |  0.012 % |
378.56/378.86	c |    485202 |     784   108080   283220 | 2147483647    71650     48 |  0.000 % |
378.76/379.01	c |    485370 |     784   108080   283220 | 2147483647    71818     48 |  0.000 % |
378.96/379.24	c |    485547 |     784   108080   283220 | 2147483647    71995     48 |  0.011 % |
379.16/379.40	c |    485742 |     784   108080   283220 | 2147483647    72190     48 |  0.000 % |
379.36/379.61	c |    485958 |     784   108080   283220 | 2147483647    72406     48 |  0.000 % |
379.55/379.83	c |    486192 |     784   108080   283220 | 2147483647    72640     48 |  0.011 % |
379.85/380.14	c |    486448 |     784   108080   283220 | 2147483647    72896     48 |  0.011 % |
380.15/380.45	c |    486731 |     784   108080   283220 | 2147483647    73179     48 |  0.011 % |
380.45/380.71	c |    487040 |     784   108080   283220 | 2147483647    73488     48 |  0.011 % |
380.75/381.01	c |    487379 |     784   108080   283220 | 2147483647    73827     48 |  0.000 % |
381.15/381.40	c |    487754 |     784   108080   283220 | 2147483647    74202     48 |  0.000 % |
381.55/381.83	c |    488167 |     784   108080   283220 | 2147483647    74615     48 |  0.011 % |
382.05/382.31	c |    488618 |     784   108080   283220 | 2147483647    75066     48 |  0.011 % |
382.56/382.86	c |    489112 |     784   108080   283220 | 2147483647    75560     48 |  0.000 % |
383.15/383.41	c |    489654 |     784   108080   283220 | 2147483647    76102     48 |  0.011 % |
383.75/384.01	c |    490250 |     784   108080   283220 |    76449    76698     48 |  0.011 % |
384.35/384.64	c |    490905 |     784   108080   283220 |    76449    67108     45 |  0.011 % |
384.95/385.25	c |    491626 |     784   108080   283220 |    76449    67829     45 |  0.011 % |
385.65/385.99	c |    492422 |     784   108080   283220 |    76449    68625     45 |  0.011 % |
386.45/386.75	c |    493293 |     784   108080   283220 |    76449    69496     45 |  0.011 % |
387.35/387.66	c |    494253 |     784   108080   283220 |    76449    70456     45 |  0.011 % |
388.35/388.67	c |    495308 |     784   108080   283220 |    76449    71511     45 |  0.011 % |
389.35/389.63	c |    496467 |     784   108080   283220 |    76449    72670     45 |  0.011 % |
390.55/390.89	c |    497744 |     784   108080   283220 |    76449    73947     45 |  0.011 % |
392.05/392.36	c |    499145 |     784   108080   283220 |    76449    75348     45 |  0.011 % |
393.75/394.08	c |    500685 |     784   108080   283220 |    76204    66250     45 |  0.011 % |
395.05/395.37	c |    502383 |     784   108080   283220 |    76204    67948     45 |  0.011 % |
396.65/396.98	c |    504246 |     784   108080   283220 |    76204    69811     45 |  0.011 % |
398.35/398.61	c |    506298 |     784   108080   283220 |    76204    71863     45 |  0.000 % |
400.65/400.96	c |    508551 |     784   108080   283220 |    76204    74116     45 |  0.012 % |
403.14/403.47	c |    511032 |     784   108080   283220 |    75567    66170     48 |  0.000 % |
405.94/406.26	c |    513758 |     784   108080   283220 |    75567    68896     50 |  0.000 % |
408.64/408.97	c |    516755 |     784   108080   283220 |    75567    71893     50 |  0.000 % |
412.34/412.62	c |    520051 |     784   108080   283220 |    75139    75189     50 |  0.011 % |
415.54/415.88	c |    523677 |     784   108080   283220 |    75139    67185     51 |  0.000 % |
419.64/419.98	c |    527666 |     784   108080   283220 |    75139    71174     51 |  0.000 % |
424.24/424.54	c |    532057 |     784   108080   283220 |    73513    63883     48 |  0.012 % |
428.24/428.59	c |    536886 |     784   108080   283220 |    73513    68712     51 |  0.000 % |
428.34/428.68	c |    536988 |     784   108080   283220 |    73513    68814     51 |  0.011 % |
428.44/428.79	c |    537101 |     784   108080   283220 |    73513    68927     51 |  0.011 % |
428.64/428.91	c |    537224 |     784   108080   283220 |    73513    69050     51 |  0.011 % |
428.74/429.05	c |    537357 |     784   108080   283220 |    73513    69183     51 |  0.011 % |
428.83/429.19	c |    537503 |     784   108080   283220 |    73513    69329     51 |  0.011 % |
429.03/429.34	c |    537666 |     784   108080   283220 |    73513    69492     51 |  0.000 % |
429.13/429.47	c |    537842 |     784   108080   283220 |    73513    69668     51 |  0.011 % |
429.43/429.71	c |    538038 |     784   108080   283220 |    73513    69864     51 |  0.011 % |
429.63/429.91	c |    538251 |     784   108080   283220 |    73513    70077     51 |  0.000 % |
429.84/430.13	c |    538484 |     784   108080   283220 |    73513    70310     51 |  0.011 % |
430.03/430.36	c |    538741 |     784   108080   283220 |    73513    70567     51 |  0.011 % |
430.33/430.66	c |    539023 |     784   108080   283220 |    73513    70849     51 |  0.011 % |
430.63/430.95	c |    539333 |     784   108080   283220 |    73513    71159     51 |  0.000 % |
430.94/431.26	c |    539674 |     784   108080   283220 |    73513    71500     51 |  0.011 % |
431.33/431.64	c |    540047 |     784   108080   283220 |    71830    71873     51 |  0.000 % |
431.73/432.08	c |    540457 |     784   108080   283220 |    71830    61722     52 |  0.000 % |
432.13/432.45	c |    540906 |     784   108080   283220 |    71830    62171     52 |  0.011 % |
432.63/432.98	c |    541399 |     784   108080   283220 |    71830    62664     52 |  0.011 % |
433.23/433.50	c |    541944 |     784   108080   283220 |    71830    63209     52 |  0.011 % |
433.83/434.10	c |    542541 |     784   108080   283220 |    71830    63806     52 |  0.011 % |
434.43/434.75	c |    543197 |     784   108080   283220 |    71830    64462     52 |  0.000 % |
435.23/435.52	c |    543922 |     784   108080   283220 |    71830    65187     53 |  0.011 % |
436.03/436.39	c |    544715 |     784   108080   283220 |    71830    65980     52 |  0.011 % |
437.03/437.39	c |    545587 |     784   108080   283220 |    71830    66852     52 |  0.011 % |
437.93/438.26	c |    546546 |     784   108080   283220 |    71830    67811     53 |  0.000 % |
438.93/439.22	c |    547603 |     784   108080   283220 |    71830    68868     54 |  0.000 % |
439.83/440.17	c |    548761 |     784   108080   283220 |    71830    70026     54 |  0.000 % |
441.03/441.33	c |    550036 |     784   108080   283220 |    71266    71301     54 |  0.000 % |
442.33/442.63	c |    551437 |     784   108080   283220 |    71266    62045     57 |  0.000 % |
443.63/443.97	c |    552977 |     784   108080   283220 |    71266    63585     57 |  0.000 % |
445.23/445.59	c |    554672 |     784   108080   283220 |    71266    65280     56 |  0.011 % |
447.13/447.48	c |    556535 |     784   108080   283220 |    71266    67143     56 |  0.011 % |
449.42/449.70	c |    558585 |     784   108080   283220 |    71266    69193     57 |  0.000 % |
452.22/452.52	c |    560838 |     784   108080   283220 |    70609    59899     56 |  0.000 % |
454.72/455.08	c |    563317 |     784   108080   283220 |    70609    62378     55 |  0.011 % |
457.72/458.05	c |    566042 |     784   108080   283220 |    70609    65103     54 |  0.011 % |
460.72/461.06	c |    569041 |     784   108080   283220 |    70609    68102     55 |  0.000 % |
464.12/464.47	c |    572337 |     784   108080   283220 |    69062    60600     54 |  0.000 % |
467.62/467.99	c |    575963 |     784   108080   283220 |    69062    64226     55 |  0.011 % |
471.72/472.06	c |    579950 |     784   108080   283220 |    69062    68213     54 |  0.011 % |
475.71/476.02	c |    584335 |     784   108080   283220 |    68266    61503     51 |  0.000 % |
480.51/480.80	c |    589158 |     784   108080   283220 |    68266    66326     51 |  0.000 % |
485.71/486.06	c |    594466 |     784   108080   283220 |    67168    60855     48 |  0.011 % |
485.81/486.19	c |    594566 |     784   108080   283220 |    67168    60955     48 |  0.011 % |
485.91/486.29	c |    594676 |     784   108080   283220 |    67168    61065     49 |  0.000 % |
486.01/486.39	c |    594798 |     784   108080   283220 |    67168    61187     49 |  0.000 % |
486.21/486.51	c |    594935 |     784   108080   283220 |    67168    61324     49 |  0.000 % |
486.31/486.67	c |    595083 |     784   108080   283220 |    67168    61472     48 |  0.000 % |
486.51/486.80	c |    595244 |     784   108080   283220 |    67168    61633     49 |  0.000 % |
486.61/486.97	c |    595421 |     784   108080   283220 |    67168    61810     49 |  0.000 % |
486.81/487.15	c |    595614 |     784   108080   283220 |    67168    62003     49 |  0.011 % |
487.01/487.36	c |    595828 |     784   108080   283220 |    67168    62217     49 |  0.011 % |
487.31/487.61	c |    596061 |     784   108080   283220 |    67168    62450     48 |  0.012 % |
487.51/487.84	c |    596319 |     784   108080   283220 |    67168    62708     49 |  0.000 % |
487.71/488.04	c |    596600 |     784   108080   283220 |    67168    62989     49 |  0.011 % |
488.01/488.30	c |    596909 |     784   108080   283220 |    67168    63298     49 |  0.011 % |
488.31/488.63	c |    597250 |     784   108080   283220 |    67168    63639     48 |  0.012 % |
488.61/488.93	c |    597622 |     784   108080   283220 |    67168    64011     48 |  0.000 % |
489.01/489.32	c |    598031 |     784   108080   283220 |    67168    64420     48 |  0.011 % |
489.40/489.71	c |    598480 |     784   108080   283220 |    67168    64869     49 |  0.000 % |
489.80/490.11	c |    598973 |     784   108080   283220 |    67168    65362     49 |  0.000 % |
490.31/490.66	c |    599519 |     784   108080   283220 |    67168    65908     49 |  0.012 % |
490.80/491.11	c |    600116 |     784   108080   283220 |    66389    66505     49 |  0.000 % |
491.31/491.67	c |    600774 |     784   108080   283220 |    66389    57086     46 |  0.000 % |
491.90/492.24	c |    601494 |     784   108080   283220 |    66389    57806     46 |  0.000 % |
492.60/492.96	c |    602288 |     784   108080   283220 |    66389    58600     46 |  0.011 % |
493.30/493.65	c |    603160 |     784   108080   283220 |    66389    59472     46 |  0.011 % |
494.20/494.54	c |    604120 |     784   108080   283220 |    66389    60432     46 |  0.011 % |
495.20/495.51	c |    605173 |     784   108080   283220 |    66389    61485     46 |  0.011 % |
496.10/496.41	c |    606331 |     784   108080   283220 |    66389    62643     46 |  0.000 % |
497.10/497.45	c |    607604 |     784   108080   283220 |    66389    63916     46 |  0.010 % |
498.30/498.60	c |    609006 |     784   108080   283220 |    66389    65318     46 |  0.010 % |
499.40/499.74	c |    610546 |     784   108080   283220 |    66313    58858     48 |  0.000 % |
500.70/501.07	c |    612243 |     784   108080   283220 |    66313    60555     49 |  0.000 % |
502.20/502.59	c |    614107 |     784   108080   283220 |    66313    62419     49 |  0.010 % |
504.10/504.44	c |    616158 |     784   108080   283220 |    66313    64470     48 |  0.010 % |
506.30/506.65	c |    618412 |     784   108080   283220 |    66313    58343     44 |  0.012 % |
508.69/509.04	c |    620891 |     784   108080   283220 |    59932    53418     44 |  0.012 % |
511.29/511.63	c |    623616 |     784   108080   283220 |    59932    56143     43 |  0.011 % |
513.59/513.94	c |    626614 |     784   108080   283220 |    59932    59141     44 |  0.000 % |
516.49/516.84	c |    629911 |     784   108080   283220 |    59932    55571     43 |  0.011 % |
519.59/519.90	c |    633537 |     784   108080   283220 |    55660    52860     42 |  0.012 % |
522.49/522.85	c |    637525 |     784   108080   283220 |    55660    50982     47 |  0.000 % |
526.59/526.94	c |    641910 |     784   108080   283220 |    53458    49994     53 |  0.000 % |
530.39/530.76	c |    646733 |     784   108080   283220 |    53458    49433     49 |  0.000 % |
534.78/535.17	c |    652038 |     784   108080   283220 | 2147483647    54738     50 |  0.011 % |
540.18/540.56	c |    657873 |     784   108080   283220 | 2147483647    60573     53 |  0.000 % |
540.28/540.68	c |    657973 |     784   108080   283220 | 2147483647    60673     53 |  0.011 % |
540.48/540.81	c |    658083 |     784   108080   283220 | 2147483647    60783     53 |  0.011 % |
540.58/540.96	c |    658204 |     784   108080   283220 | 2147483647    60904     53 |  0.000 % |
540.68/541.10	c |    658341 |     784   108080   283220 | 2147483647    61041     53 |  0.011 % |
540.88/541.26	c |    658487 |     784   108080   283220 | 2147483647    61187     53 |  0.011 % |
541.08/541.43	c |    658648 |     784   108080   283220 | 2147483647    61348     53 |  0.011 % |
541.28/541.64	c |    658826 |     784   108080   283220 | 2147483647    61526     53 |  0.011 % |
541.48/541.87	c |    659021 |     784   108080   283220 | 2147483647    61721     53 |  0.011 % |
541.68/542.06	c |    659234 |     784   108080   283220 | 2147483647    61934     53 |  0.000 % |
541.88/542.26	c |    659473 |     784   108080   283220 | 2147483647    62173     53 |  0.011 % |
542.18/542.50	c |    659734 |     784   108080   283220 | 2147483647    62434     53 |  0.011 % |
542.38/542.75	c |    660017 |     784   108080   283220 |    62700    62717     53 |  0.011 % |
542.78/543.11	c |    660326 |     784   108080   283220 |    62700    55946     55 |  0.000 % |
543.08/543.41	c |    660665 |     784   108080   283220 |    62700    56285     55 |  0.000 % |
543.38/543.73	c |    661037 |     784   108080   283220 |    62700    56657     55 |  0.011 % |
543.78/544.13	c |    661446 |     784   108080   283220 |    62700    57066     55 |  0.000 % |
544.18/544.53	c |    661895 |     784   108080   283220 |    62700    57515     55 |  0.011 % |
544.58/544.93	c |    662389 |     784   108080   283220 |    62700    58009     55 |  0.000 % |
544.98/545.36	c |    662934 |     784   108080   283220 |    62700    58554     55 |  0.011 % |
545.48/545.89	c |    663530 |     784   108080   283220 |    62700    59150     55 |  0.012 % |
546.18/546.52	c |    664185 |     784   108080   283220 |    62700    59805     55 |  0.000 % |
547.08/547.40	c |    664905 |     784   108080   283220 |    62700    60525     55 |  0.000 % |
547.78/548.12	c |    665701 |     784   108080   283220 |    62700    61321     55 |  0.012 % |
548.67/549.01	c |    666573 |     784   108080   283220 |    62700    62193     55 |  0.012 % |
549.68/550.01	c |    667531 |     784   108080   283220 |    62700    54777     58 |  0.000 % |
550.78/551.11	c |    668585 |     784   108080   283220 |    62700    55831     58 |  0.000 % |
551.88/552.27	c |    669745 |     784   108080   283220 |    62700    56991     59 |  0.000 % |
552.88/553.29	c |    671021 |     784   108080   283220 |    57248    50555     59 |  0.011 % |
554.17/554.51	c |    672422 |     784   108080   283220 |    57248    51956     60 |  0.000 % |
555.67/556.01	c |    673963 |     784   108080   283220 |    57248    53497     60 |  0.011 % |
557.47/557.81	c |    675657 |     784   108080   283220 |    57248    55191     59 |  0.011 % |
559.37/559.80	c |    677523 |     784   108080   283220 |    57248    57057     59 |  0.011 % |
561.37/561.74	c |    679572 |     784   108080   283220 |    57248    51172     54 |  0.000 % |
563.47/563.84	c |    681826 |     784   108080   283220 |    51604    46549     56 |  0.000 % |
565.57/565.90	c |    684305 |     784   108080   283220 |    51604    49028     55 |  0.011 % |
567.87/568.28	c |    687031 |     784   108080   283220 |    51604    51754     54 |  0.011 % |
570.17/570.50	c |    690031 |     784   108080   283220 |    48788    48818     55 |  0.000 % |
572.77/573.16	c |    693328 |     784   108080   283220 |    48788    46941     58 |  0.000 % |
575.86/576.26	c |    696953 |     784   108080   283220 |    48788    45661     60 |  0.000 % |
579.46/579.86	c |    700940 |     784   108080   283220 | 2147483647    49648     58 |  0.000 % |
584.26/584.67	c |    705327 |     784   108080   283220 | 2147483647    54035     58 |  0.012 % |
589.36/589.74	c |    710151 |     784   108080   283220 |    58712    58859     57 |  0.000 % |
594.46/594.89	c |    715458 |     784   108080   283220 |    58712    55750     52 |  0.011 % |
599.96/600.38	c |    721293 |     784   108080   283220 |    51677    45502     46 |  0.011 % |
605.15/605.56	c |    727714 |     784   108080   283220 |    51677    51923     45 |  0.011 % |
605.26/605.69	c |    727814 |     784   108080   283220 |    51677    46520     38 |  0.011 % |
605.36/605.78	c |    727927 |     784   108080   283220 |    51677    46633     38 |  0.011 % |
605.45/605.89	c |    728049 |     784   108080   283220 |    51677    46755     38 |  0.011 % |
605.55/605.98	c |    728183 |     784   108080   283220 |    51677    46889     39 |  0.000 % |
605.66/606.07	c |    728330 |     784   108080   283220 |    51677    47036     39 |  0.000 % |
605.76/606.19	c |    728490 |     784   108080   283220 |    51677    47196     39 |  0.011 % |
605.85/606.29	c |    728669 |     784   108080   283220 |    51677    47375     39 |  0.011 % |
606.05/606.44	c |    728865 |     784   108080   283220 |    51677    47571     38 |  0.011 % |
606.15/606.59	c |    729077 |     784   108080   283220 |    51677    47783     38 |  0.011 % |
606.35/606.73	c |    729312 |     784   108080   283220 |    51677    48018     39 |  0.000 % |
606.55/606.90	c |    729569 |     784   108080   283220 |    51677    48275     39 |  0.000 % |
606.65/607.07	c |    729851 |     784   108080   283220 |    51677    48557     39 |  0.000 % |
606.86/607.27	c |    730163 |     784   108080   283220 | 2147483647    48869     39 |  0.012 % |
607.15/607.53	c |    730503 |     784   108080   283220 | 2147483647    49209     40 |  0.000 % |
607.45/607.83	c |    730877 |     784   108080   283220 | 2147483647    49583     40 |  0.000 % |
607.65/608.07	c |    731287 |     784   108080   283220 | 2147483647    49993     40 |  0.000 % |
608.05/608.42	c |    731737 |     784   108080   283220 | 2147483647    50443     40 |  0.011 % |
608.45/608.82	c |    732230 |     784   108080   283220 | 2147483647    50936     40 |  0.011 % |
608.85/609.26	c |    732773 |     784   108080   283220 | 2147483647    51479     40 |  0.011 % |
609.25/609.68	c |    733371 |     784   108080   283220 | 2147483647    52077     40 |  0.011 % |
609.75/610.19	c |    734028 |     784   108080   283220 | 2147483647    52734     40 |  0.000 % |
610.25/610.62	c |    734750 |     784   108080   283220 | 2147483647    53456     41 |  0.000 % |
610.75/611.15	c |    735542 |     784   108080   283220 | 2147483647    54248     41 |  0.011 % |
611.35/611.75	c |    736415 |     784   108080   283220 | 2147483647    55121     42 |  0.000 % |
612.15/612.57	c |    737373 |     784   108080   283220 | 2147483647    56079     42 |  0.000 % |
612.95/613.36	c |    738429 |     784   108080   283220 | 2147483647    57135     42 |  0.011 % |
613.65/614.08	c |    739588 |     784   108080   283220 | 2147483647    58294     42 |  0.011 % |
614.55/614.99	c |    740863 |     784   108080   283220 | 2147483647    59569     43 |  0.000 % |
615.66/616.02	c |    742265 |     784   108080   283220 | 2147483647    60971     43 |  0.000 % |
616.85/617.29	c |    743807 |     784   108080   283220 | 2147483647    62513     43 |  0.011 % |
618.35/618.74	c |    745503 |     784   108080   283220 | 2147483647    64209     43 |  0.011 % |
619.65/620.05	c |    747366 |     784   108080   283220 | 2147483647    66072     45 |  0.000 % |
621.45/621.84	c |    749415 |     784   108080   283220 | 2147483647    68121     45 |  0.011 % |
623.25/623.63	c |    751668 |     784   108080   283220 | 2147483647    70374     45 |  0.011 % |
625.15/625.56	c |    754147 |     784   108080   283220 | 2147483647    72853     44 |  0.012 % |
627.54/627.92	c |    756872 |     784   108080   283220 | 2147483647    75578     45 |  0.011 % |
630.34/630.76	c |    759870 |     784   108080   283220 | 2147483647    78576     45 |  0.011 % |
633.34/633.76	c |    763166 |     784   108080   283220 |    78708    73098     43 |  0.011 % |
637.24/637.63	c |    766793 |     784   108080   283220 |    78708    76725     43 |  0.011 % |
641.14/641.58	c |    770782 |     784   108080   283220 |    69513    61120     43 |  0.011 % |
645.04/645.45	c |    775167 |     784   108080   283220 |    69513    65505     43 |  0.011 % |
649.34/649.76	c |    779991 |     784   108080   283220 |    69513    62112     43 |  0.011 % |
653.54/653.99	c |    785300 |     784   108080   283220 |    62123    60264     40 |  0.011 % |
658.23/658.63	c |    791136 |     784   108080   283220 | 2147483647    59854     37 |  0.011 % |
663.83/664.24	c |    797556 |     784   108080   283220 | 2147483647    66274     38 |  0.012 % |
669.44/669.84	c |    804619 |     784   108080   283220 |    68719    65742     41 |  0.000 % |
669.54/669.93	c |    804723 |     784   108080   283220 |    68719    65846     41 |  0.011 % |
669.63/670.00	c |    804833 |     784   108080   283220 |    68719    65956     41 |  0.011 % |
669.63/670.08	c |    804955 |     784   108080   283220 |    68719    66078     41 |  0.011 % |
669.73/670.18	c |    805089 |     784   108080   283220 |    68719    66212     41 |  0.011 % |
669.83/670.29	c |    805235 |     784   108080   283220 |    68719    66358     41 |  0.000 % |
670.03/670.40	c |    805396 |     784   108080   283220 |    68719    66519     41 |  0.000 % |
670.13/670.54	c |    805573 |     784   108080   283220 |    68719    66696     41 |  0.011 % |
670.33/670.72	c |    805768 |     784   108080   283220 |    68719    66891     42 |  0.000 % |
670.54/670.91	c |    805981 |     784   108080   283220 |    68719    67104     42 |  0.000 % |
670.64/671.09	c |    806217 |     784   108080   283220 |    68719    67340     42 |  0.012 % |
670.93/671.30	c |    806473 |     784   108080   283220 |    68719    67596     42 |  0.011 % |
671.13/671.55	c |    806754 |     784   108080   283220 |    68719    67877     42 |  0.011 % |
671.43/671.82	c |    807064 |     784   108080   283220 |    68719    68187     41 |  0.012 % |
671.64/672.05	c |    807404 |     784   108080   283220 |    68719    68527     42 |  0.000 % |
671.93/672.33	c |    807776 |     784   108080   283220 |    68719    68899     42 |  0.000 % |
672.33/672.75	c |    808191 |     784   108080   283220 |    68719    61821     42 |  0.011 % |
672.63/673.10	c |    808641 |     784   108080   283220 |    68719    62271     41 |  0.011 % |
673.03/673.45	c |    809135 |     784   108080   283220 |    68719    62765     41 |  0.011 % |
673.43/673.88	c |    809677 |     784   108080   283220 |    68719    63307     41 |  0.011 % |
673.93/674.37	c |    810273 |     784   108080   283220 |    63633    63903     41 |  0.011 % |
674.53/674.96	c |    810928 |     784   108080   283220 |    63633    58168     42 |  0.011 % |
675.03/675.43	c |    811648 |     784   108080   283220 |    63633    58888     42 |  0.011 % |
675.63/676.05	c |    812440 |     784   108080   283220 |    63633    59680     42 |  0.011 % |
676.33/676.71	c |    813314 |     784   108080   283220 |    63633    60554     41 |  0.011 % |
677.03/677.47	c |    814272 |     784   108080   283220 |    63633    61512     41 |  0.012 % |
677.73/678.11	c |    815325 |     784   108080   283220 |    63633    62565     42 |  0.012 % |
678.73/679.10	c |    816483 |     784   108080   283220 |    63633    63723     42 |  0.012 % |
679.83/680.23	c |    817756 |     784   108080   283220 |    63633    58624     41 |  0.011 % |
680.93/681.37	c |    819158 |     784   108080   283220 |    63633    60026     41 |  0.011 % |
682.13/682.56	c |    820702 |     784   108080   283220 | 2147483647    61570     41 |  0.012 % |
683.33/683.76	c |    822396 |     784   108080   283220 | 2147483647    63264     41 |  0.000 % |
684.83/685.23	c |    824259 |     784   108080   283220 | 2147483647    65127     42 |  0.010 % |
686.42/686.86	c |    826311 |     784   108080   283220 | 2147483647    67179     42 |  0.010 % |
688.23/688.67	c |    828568 |     784   108080   283220 | 2147483647    69436     42 |  0.010 % |
690.43/690.81	c |    831046 |     784   108080   283220 |    70868    64400     45 |  0.000 % |
692.63/693.08	c |    833771 |     784   108080   283220 |    70868    67125     47 |  0.000 % |
695.32/695.71	c |    836769 |     784   108080   283220 |    70868    70123     47 |  0.011 % |
698.32/698.72	c |    840065 |     784   108080   283220 |    64375    64440     48 |  0.011 % |
701.52/701.90	c |    843691 |     784   108080   283220 |    64375    59813     51 |  0.000 % |
705.12/705.60	c |    847678 |     784   108080   283220 |    64375    63800     51 |  0.011 % |
708.82/709.25	c |    852067 |     784   108080   283220 |    58147    52984     50 |  0.011 % |
712.92/713.33	c |    856890 |     784   108080   283220 |    58147    57807     55 |  0.000 % |
717.61/718.07	c |    862197 |     784   108080   283220 |    54166    49936     56 |  0.011 % |
722.41/722.83	c |    868032 |     784   108080   283220 |    54166    49549     51 |  0.011 % |
727.61/728.03	c |    874455 |     784   108080   283220 |    51517    49932     54 |  0.000 % |
733.51/733.99	c |    881515 |     784   108080   283220 |    49722    45721     49 |  0.011 % |
740.11/740.52	c |    889279 |     784   108080   283220 |    49722    48481     52 |  0.000 % |
740.21/740.60	c |    889380 |     784   108080   283220 |    49722    48582     52 |  0.000 % |
740.31/740.71	c |    889490 |     784   108080   283220 |    49722    48692     52 |  0.011 % |
740.41/740.83	c |    889615 |     784   108080   283220 |    49722    48817     52 |  0.011 % |
740.50/740.92	c |    889751 |     784   108080   283220 |    49722    48953     52 |  0.011 % |
740.60/741.00	c |    889898 |     784   108080   283220 |    49722    49100     52 |  0.011 % |
740.70/741.14	c |    890060 |     784   108080   283220 | 2147483647    49262     51 |  0.011 % |
740.80/741.30	c |    890237 |     784   108080   283220 | 2147483647    49439     52 |  0.000 % |
741.01/741.43	c |    890433 |     784   108080   283220 | 2147483647    49635     52 |  0.000 % |
741.20/741.61	c |    890645 |     784   108080   283220 | 2147483647    49847     52 |  0.011 % |
741.30/741.78	c |    890878 |     784   108080   283220 | 2147483647    50080     52 |  0.011 % |
741.50/741.98	c |    891134 |     784   108080   283220 | 2147483647    50336     52 |  0.000 % |
741.80/742.21	c |    891416 |     784   108080   283220 | 2147483647    50618     52 |  0.011 % |
742.01/742.49	c |    891725 |     784   108080   283220 | 2147483647    50927     52 |  0.011 % |
742.30/742.71	c |    892064 |     784   108080   283220 | 2147483647    51266     52 |  0.011 % |
742.61/743.03	c |    892438 |     784   108080   283220 | 2147483647    51640     52 |  0.000 % |
742.91/743.33	c |    892849 |     784   108080   283220 | 2147483647    52051     52 |  0.012 % |
743.30/743.74	c |    893298 |     784   108080   283220 | 2147483647    52500     52 |  0.011 % |
743.60/744.10	c |    893791 |     784   108080   283220 | 2147483647    52993     52 |  0.011 % |
744.10/744.56	c |    894333 |     784   108080   283220 | 2147483647    53535     52 |  0.000 % |
744.70/745.15	c |    894929 |     784   108080   283220 | 2147483647    54131     51 |  0.011 % |
745.41/745.81	c |    895586 |     784   108080   283220 | 2147483647    54788     51 |  0.011 % |
745.91/746.33	c |    896306 |     784   108080   283220 | 2147483647    55508     52 |  0.000 % |
746.61/747.10	c |    897099 |     784   108080   283220 | 2147483647    56301     52 |  0.011 % |
747.31/747.77	c |    897972 |     784   108080   283220 | 2147483647    57174     53 |  0.000 % |
748.11/748.54	c |    898930 |     784   108080   283220 | 2147483647    58132     52 |  0.011 % |
749.11/749.54	c |    899983 |     784   108080   283220 | 2147483647    59185     52 |  0.011 % |
750.11/750.58	c |    901141 |     784   108080   283220 | 2147483647    60343     52 |  0.011 % |
751.41/751.85	c |    902416 |     784   108080   283220 | 2147483647    61618     52 |  0.011 % |
752.61/753.09	c |    903816 |     784   108080   283220 | 2147483647    63018     51 |  0.011 % |
754.11/754.51	c |    905356 |     784   108080   283220 | 2147483647    64558     51 |  0.011 % |
755.91/756.36	c |    907051 |     784   108080   283220 | 2147483647    66253     51 |  0.011 % |
757.81/758.26	c |    908915 |     784   108080   283220 | 2147483647    68117     52 |  0.000 % |
759.91/760.36	c |    910966 |     784   108080   283220 |    69202    60983     50 |  0.011 % |
761.71/762.12	c |    913224 |     784   108080   283220 |    69202    63241     50 |  0.011 % |
763.90/764.34	c |    915703 |     784   108080   283220 |    69202    65720     50 |  0.012 % |
766.60/767.06	c |    918428 |     784   108080   283220 |    69202    68445     49 |  0.012 % |
769.61/770.09	c |    921426 |     784   108080   283220 |    61570    55479     47 |  0.012 % |
772.60/773.02	c |    924726 |     784   108080   283220 |    61570    58779     48 |  0.011 % |
776.40/776.80	c |    928352 |     784   108080   283220 |    61570    54723     43 |  0.011 % |
780.30/780.74	c |    932341 |     784   108080   283220 |    56373    51828     42 |  0.011 % |
784.49/784.95	c |    936728 |     784   108080   283220 |    56373    56215     44 |  0.011 % |
789.69/790.19	c |    941552 |     784   108080   283220 |    52770    47555     44 |  0.012 % |
793.59/794.05	c |    946857 |     784   108080   283220 |    52770    52860     48 |  0.000 % |
798.09/798.55	c |    952692 |     784   108080   283220 |    49859    47017     49 |  0.011 % |
802.89/803.32	c |    959110 |     784   108080   283220 |    49859    48432     48 |  0.011 % |
809.09/809.51	c |    966170 |     784   108080   283220 | 2147483647    55492     47 |  0.011 % |
815.98/816.47	c |    973934 |     784   108080   283220 |    59323    55774     45 |  0.011 % |
822.48/822.99	c |    982474 |     784   108080   283220 |    54732    50953     38 |  0.011 % |
822.58/823.05	c |    982576 |     784   108080   283220 |    54732    51055     38 |  0.011 % |
822.68/823.12	c |    982686 |     784   108080   283220 |    54732    51165     39 |  0.000 % |
822.78/823.21	c |    982812 |     784   108080   283220 |    54732    51291     39 |  0.011 % |
822.88/823.31	c |    982945 |     784   108080   283220 |    54732    51424     39 |  0.011 % |
822.98/823.41	c |    983091 |     784   108080   283220 |    54732    51570     39 |  0.011 % |
823.08/823.51	c |    983253 |     784   108080   283220 |    54732    51732     39 |  0.000 % |
823.18/823.63	c |    983429 |     784   108080   283220 |    54732    51908     39 |  0.000 % |
823.28/823.76	c |    983623 |     784   108080   283220 |    54732    52102     39 |  0.011 % |
823.48/823.92	c |    983835 |     784   108080   283220 |    54732    52314     39 |  0.011 % |
823.58/824.05	c |    984069 |     784   108080   283220 |    54732    52548     39 |  0.011 % |
823.68/824.19	c |    984326 |     784   108080   283220 |    54732    52805     39 |  0.000 % |
823.88/824.39	c |    984607 |     784   108080   283220 |    54732    53086     39 |  0.000 % |
824.08/824.58	c |    984916 |     784   108080   283220 |    54732    53395     39 |  0.011 % |
824.28/824.78	c |    985255 |     784   108080   283220 |    54732    53734     39 |  0.011 % |
824.58/825.03	c |    985627 |     784   108080   283220 |    54732    54106     39 |  0.011 % |
824.88/825.31	c |    986042 |     784   108080   283220 |    54732    54521     39 |  0.011 % |
825.08/825.58	c |    986491 |     784   108080   283220 |    54732    54970     40 |  0.000 % |
825.48/825.98	c |    986986 |     784   108080   283220 |    54732    49968     37 |  0.011 % |
825.88/826.33	c |    987529 |     784   108080   283220 |    54732    50511     37 |  0.011 % |
826.18/826.67	c |    988128 |     784   108080   283220 |    54732    51110     38 |  0.000 % |
826.68/827.11	c |    988783 |     784   108080   283220 |    54732    51765     38 |  0.000 % |
827.18/827.67	c |    989503 |     784   108080   283220 |    54732    52485     38 |  0.011 % |
827.68/828.17	c |    990299 |     784   108080   283220 | 2147483647    53281     39 |  0.000 % |
828.28/828.75	c |    991172 |     784   108080   283220 | 2147483647    54154     39 |  0.000 % |
828.98/829.42	c |    992132 |     784   108080   283220 | 2147483647    55114     39 |  0.011 % |
829.78/830.21	c |    993185 |     784   108080   283220 | 2147483647    56167     39 |  0.011 % |
830.68/831.10	c |    994344 |     784   108080   283220 | 2147483647    57326     39 |  0.011 % |
831.48/832.00	c |    995618 |     784   108080   283220 | 2147483647    58600     39 |  0.011 % |
832.58/833.03	c |    997018 |     784   108080   283220 | 2147483647    60000     39 |  0.011 % |
833.58/834.02	c |    998561 |     784   108080   283220 | 2147483647    61543     40 |  0.000 % |
834.78/835.26	c |   1000255 |     784   108080   283220 | 2147483647    63237     41 |  0.000 % |
836.27/836.75	c |   1002118 |     784   108080   283220 | 2147483647    65100     42 |  0.011 % |
838.17/838.63	c |   1004167 |     784   108080   283220 | 2147483647    67149     42 |  0.011 % |
840.17/840.60	c |   1006420 |     784   108080   283220 | 2147483647    69402     42 |  0.011 % |
842.27/842.79	c |   1008899 |     784   108080   283220 | 2147483647    71881     42 |  0.011 % |
844.67/845.14	c |   1011624 |     784   108080   283220 | 2147483647    74606     42 |  0.011 % |
847.58/848.02	c |   1014621 |     784   108080   283220 | 2147483647    77603     42 |  0.000 % |
850.27/850.71	c |   1017917 |     784   108080   283220 | 2147483647    80899     42 |  0.011 % |
853.27/853.75	c |   1021542 |     784   108080   283220 |    82987    75625     42 |  0.011 % |
856.57/857.06	c |   1025531 |     784   108080   283220 |    82987    79614     44 |  0.000 % |
861.17/861.66	c |   1029916 |     784   108080   283220 |    82987    73078     47 |  0.000 % |
865.87/866.38	c |   1034742 |     784   108080   283220 |    73162    68320     49 |  0.000 % |
871.06/871.57	c |   1040048 |     784   108080   283220 |    63778    63826     48 |  0.001 % |
876.06/876.50	c |   1045886 |     784   108080   283220 |    63778    61160     53 |  0.000 % |
881.56/882.09	c |   1052306 |     784   108080   283220 |    56208    51014     52 |  0.011 % |
887.56/888.04	c |   1059368 |     784   108080   283220 |    56208    51631     51 |  0.013 % |
894.26/894.70	c |   1067134 |     784   108080   283220 |    52263    47747     43 |  0.013 % |
901.56/902.06	c |   1075677 |     784   108080   283220 |    50616    50734     43 |  0.013 % |
908.06/908.50	c |   1085071 |     784   108080   283220 | 2147483647    54825     40 |  0.011 % |
908.06/908.58	c |   1085171 |     784   108080   283220 | 2147483647    54925     41 |  0.000 % |
908.16/908.64	c |   1085281 |     784   108080   283220 | 2147483647    55035     41 |  0.000 % |
908.25/908.71	c |   1085402 |     784   108080   283220 | 2147483647    55156     41 |  0.011 % |
908.35/908.82	c |   1085542 |     784   108080   283220 | 2147483647    55296     41 |  0.011 % |
908.45/908.91	c |   1085689 |     784   108080   283220 | 2147483647    55443     41 |  0.000 % |
908.55/909.01	c |   1085852 |     784   108080   283220 | 2147483647    55606     41 |  0.000 % |
908.65/909.10	c |   1086029 |     784   108080   283220 | 2147483647    55783     41 |  0.011 % |
908.75/909.24	c |   1086222 |     784   108080   283220 | 2147483647    55976     41 |  0.000 % |
908.95/909.40	c |   1086435 |     784   108080   283220 | 2147483647    56189     41 |  0.000 % |
909.05/909.52	c |   1086669 |     784   108080   283220 | 2147483647    56423     41 |  0.011 % |
909.15/909.68	c |   1086925 |     784   108080   283220 | 2147483647    56679     41 |  0.011 % |
909.35/909.90	c |   1087207 |     784   108080   283220 | 2147483647    56961     41 |  0.011 % |
909.65/910.11	c |   1087517 |     784   108080   283220 | 2147483647    57271     41 |  0.011 % |
909.85/910.33	c |   1087856 |     784   108080   283220 | 2147483647    57610     41 |  0.000 % |
910.05/910.57	c |   1088228 |     784   108080   283220 | 2147483647    57982     42 |  0.000 % |
910.35/910.83	c |   1088638 |     784   108080   283220 | 2147483647    58392     41 |  0.012 % |
910.65/911.16	c |   1089087 |     784   108080   283220 | 2147483647    58841     41 |  0.011 % |
910.95/911.45	c |   1089581 |     784   108080   283220 | 2147483647    59335     42 |  0.000 % |
911.25/911.80	c |   1090123 |     784   108080   283220 | 2147483647    59877     43 |  0.000 % |
911.75/912.22	c |   1090719 |     784   108080   283220 | 2147483647    60473     43 |  0.000 % |
912.15/912.68	c |   1091376 |     784   108080   283220 | 2147483647    61130     43 |  0.011 % |
912.75/913.22	c |   1092099 |     784   108080   283220 | 2147483647    61853     42 |  0.011 % |
913.25/913.77	c |   1092892 |     784   108080   283220 | 2147483647    62646     43 |  0.000 % |
913.95/914.41	c |   1093764 |     784   108080   283220 | 2147483647    63518     43 |  0.011 % |
914.65/915.16	c |   1094723 |     784   108080   283220 | 2147483647    64477     43 |  0.000 % |
915.45/915.97	c |   1095777 |     784   108080   283220 | 2147483647    65531     43 |  0.011 % |
916.35/916.88	c |   1096936 |     784   108080   283220 | 2147483647    66690     43 |  0.011 % |
917.25/917.72	c |   1098209 |     784   108080   283220 | 2147483647    67963     42 |  0.010 % |
918.25/918.78	c |   1099609 |     784   108080   283220 | 2147483647    69363     42 |  0.010 % |
919.35/919.82	c |   1101153 |     784   108080   283220 | 2147483647    70907     42 |  0.011 % |
920.55/921.06	c |   1102847 |     784   108080   283220 | 2147483647    72601     42 |  0.011 % |
921.84/922.33	c |   1104711 |     784   108080   283220 | 2147483647    74465     42 |  0.000 % |
923.55/924.01	c |   1106760 |     784   108080   283220 | 2147483647    76514     42 |  0.011 % |
925.65/926.12	c |   1109013 |     784   108080   283220 | 2147483647    78767     42 |  0.011 % |
927.44/927.90	c |   1111491 |     784   108080   283220 | 2147483647    81245     44 |  0.000 % |
929.84/930.32	c |   1114216 |     784   108080   283220 | 2147483647    83970     44 |  0.011 % |
932.54/933.08	c |   1117214 |     784   108080   283220 | 2147483647    86968     43 |  0.011 % |
935.54/936.01	c |   1120511 |     784   108080   283220 |    89754    80763     42 |  0.000 % |
938.64/939.16	c |   1124137 |     784   108080   283220 |    89754    84389     44 |  0.000 % |
942.24/942.73	c |   1128124 |     784   108080   283220 |    89754    88376     43 |  0.011 % |
946.54/947.07	c |   1132509 |     784   108080   283220 |    78660    70977     44 |  0.011 % |
950.53/951.06	c |   1137333 |     784   108080   283220 |    78660    75801     46 |  0.000 % |
955.13/955.60	c |   1142638 |     784   108080   283220 |    78468    70905     46 |  0.011 % |
960.73/961.28	c |   1148475 |     784   108080   283220 |    78468    76742     45 |  0.011 % |
966.53/967.09	c |   1154894 |     784   108080   283220 |    78270    72724     45 |  0.011 % |
973.13/973.62	c |   1161953 |     784   108080   283220 |    77836    69570     46 |  0.000 % |
980.73/981.25	c |   1169723 |     784   108080   283220 |    77836    77340     48 |  0.000 % |
988.42/988.99	c |   1178264 |     784   108080   283220 |    77621    73853     47 |  0.000 % |
997.12/997.65	c |   1187661 |     784   108080   283220 |    75594    71729     44 |  0.011 % |
1006.72/1007.27	c |   1197994 |     784   108080   283220 |    74068    71156     42 |  0.011 % |
1006.82/1007.38	c |   1198098 |     784   108080   283220 |    74068    71260     42 |  0.000 % |
1007.02/1007.50	c |   1198210 |     784   108080   283220 |    74068    71372     42 |  0.000 % |
1007.12/1007.62	c |   1198331 |     784   108080   283220 |    74068    71493     42 |  0.000 % |
1007.21/1007.75	c |   1198468 |     784   108080   283220 |    74068    71630     42 |  0.000 % |
1007.41/1007.92	c |   1198616 |     784   108080   283220 |    74068    71778     42 |  0.011 % |
1007.51/1008.04	c |   1198776 |     784   108080   283220 |    74068    71938     42 |  0.011 % |
1007.71/1008.20	c |   1198952 |     784   108080   283220 |    74068    72114     42 |  0.012 % |
1007.81/1008.36	c |   1199145 |     784   108080   283220 |    74068    72307     42 |  0.011 % |
1008.01/1008.53	c |   1199358 |     784   108080   283220 |    74068    72520     42 |  0.000 % |
1008.22/1008.75	c |   1199593 |     784   108080   283220 |    74068    72755     42 |  0.011 % |
1008.41/1008.96	c |   1199849 |     784   108080   283220 |    74068    73011     43 |  0.000 % |
1008.61/1009.13	c |   1200131 |     784   108080   283220 |    73162    73293     43 |  0.000 % |
1008.91/1009.46	c |   1200443 |     784   108080   283220 |    73162    63300     43 |  0.000 % |
1009.11/1009.68	c |   1200784 |     784   108080   283220 |    73162    63641     43 |  0.011 % |
1009.51/1010.03	c |   1201157 |     784   108080   283220 |    73162    64014     43 |  0.011 % |
1009.81/1010.35	c |   1201566 |     784   108080   283220 |    73162    64423     43 |  0.011 % |
1010.21/1010.76	c |   1202015 |     784   108080   283220 |    73162    64872     44 |  0.000 % |
1010.71/1011.26	c |   1202508 |     784   108080   283220 |    73162    65365     44 |  0.000 % |
1011.21/1011.75	c |   1203050 |     784   108080   283220 |    73162    65907     44 |  0.000 % |
1011.71/1012.22	c |   1203647 |     784   108080   283220 |    73162    66504     45 |  0.000 % |
1012.21/1012.72	c |   1204306 |     784   108080   283220 |    73162    67163     45 |  0.011 % |
1012.81/1013.36	c |   1205026 |     784   108080   283220 |    73162    67883     45 |  0.000 % |
1013.51/1014.05	c |   1205818 |     784   108080   283220 |    73162    68675     45 |  0.000 % |
1014.31/1014.82	c |   1206690 |     784   108080   283220 |    73162    69547     45 |  0.000 % |
1015.21/1015.70	c |   1207648 |     784   108080   283220 |    73162    70505     45 |  0.012 % |
1015.81/1016.36	c |   1208701 |     784   108080   283220 |    73162    71558     45 |  0.012 % |
1016.91/1017.45	c |   1209863 |     784   108080   283220 |    73162    72720     45 |  0.011 % |
1018.31/1018.86	c |   1211137 |     784   108080   283220 |    72858    65489     44 |  0.011 % |
1019.61/1020.13	c |   1212538 |     784   108080   283220 |    72858    66890     44 |  0.011 % |
1020.91/1021.47	c |   1214080 |     784   108080   283220 |    72858    68432     45 |  0.000 % |
1022.51/1023.04	c |   1215775 |     784   108080   283220 |    72858    70127     46 |  0.000 % |
1024.10/1024.60	c |   1217638 |     784   108080   283220 |    72858    71990     46 |  0.000 % |
1025.60/1026.10	c |   1219687 |     784   108080   283220 |    72858    65325     44 |  0.000 % |
1027.60/1028.19	c |   1221940 |     784   108080   283220 |    65638    59895     44 |  0.000 % |
1029.80/1030.36	c |   1224420 |     784   108080   283220 |    65638    62375     43 |  0.011 % |
1032.31/1032.85	c |   1227147 |     784   108080   283220 |    65638    65102     43 |  0.011 % |
1034.90/1035.40	c |   1230144 |     784   108080   283220 |    61351    61495     43 |  0.011 % |
1037.80/1038.32	c |   1233445 |     784   108080   283220 |    61351    58513     43 |  0.012 % |
1040.70/1041.21	c |   1237070 |     784   108080   283220 |    61351    55555     43 |  0.011 % |
1044.30/1044.82	c |   1241057 |     784   108080   283220 |    58485    53485     44 |  0.000 % |
1047.89/1048.43	c |   1245442 |     784   108080   283220 |    58485    57870     48 |  0.000 % |
1051.99/1052.53	c |   1250267 |     784   108080   283220 | 2147483647    56813     47 |  0.011 % |
1056.59/1057.13	c |   1255572 |     784   108080   283220 | 2147483647    62118     46 |  0.000 % |
1062.69/1063.28	c |   1261411 |     784   108080   283220 |    66550    60133     50 |  0.000 % |
1068.19/1068.74	c |   1267829 |     784   108080   283220 |    66550    66551     51 |  0.000 % |
1074.88/1075.46	c |   1274889 |     784   108080   283220 |    60082    57041     53 |  0.011 % |
1082.08/1082.69	c |   1282655 |     784   108080   283220 |    53822    49003     49 |  0.011 % |
1089.88/1090.42	c |   1291196 |     784   108080   283220 |    49028    43381     44 |  0.011 % |
1098.18/1098.80	c |   1300591 |     784   108080   283220 |    46063    41167     41 |  0.011 % |
1105.17/1105.77	c |   1310926 |     784   108080   283220 | 2147483647    46860     52 |  0.000 % |
1113.97/1114.55	c |   1322294 |     784   108080   283220 | 2147483647    58228     53 |  0.000 % |
1114.07/1114.63	c |   1322395 |     784   108080   283220 | 2147483647    58329     52 |  0.011 % |
1114.17/1114.72	c |   1322509 |     784   108080   283220 | 2147483647    58443     52 |  0.011 % |
1114.27/1114.84	c |   1322632 |     784   108080   283220 | 2147483647    58566     53 |  0.000 % |
1114.37/1114.93	c |   1322765 |     784   108080   283220 | 2147483647    58699     53 |  0.011 % |
1114.47/1115.06	c |   1322911 |     784   108080   283220 | 2147483647    58845     53 |  0.000 % |
1114.67/1115.22	c |   1323071 |     784   108080   283220 | 2147483647    59005     52 |  0.011 % |
1114.77/1115.36	c |   1323248 |     784   108080   283220 | 2147483647    59182     53 |  0.000 % |
1114.97/1115.54	c |   1323442 |     784   108080   283220 | 2147483647    59376     53 |  0.011 % |
1115.17/1115.75	c |   1323654 |     784   108080   283220 | 2147483647    59588     53 |  0.011 % |
1115.37/1115.96	c |   1323887 |     784   108080   283220 | 2147483647    59821     53 |  0.011 % |
1115.57/1116.15	c |   1324145 |     784   108080   283220 | 2147483647    60079     52 |  0.011 % |
1115.77/1116.36	c |   1324427 |     784   108080   283220 | 2147483647    60361     52 |  0.011 % |
1116.07/1116.62	c |   1324737 |     784   108080   283220 | 2147483647    60671     52 |  0.011 % |
1116.27/1116.84	c |   1325077 |     784   108080   283220 | 2147483647    61011     52 |  0.011 % |
1116.57/1117.16	c |   1325450 |     784   108080   283220 | 2147483647    61384     52 |  0.000 % |
1116.87/1117.47	c |   1325859 |     784   108080   283220 | 2147483647    61793     52 |  0.000 % |
1117.26/1117.82	c |   1326308 |     784   108080   283220 | 2147483647    62242     52 |  0.012 % |
1117.66/1118.21	c |   1326801 |     784   108080   283220 | 2147483647    62735     52 |  0.012 % |
1118.07/1118.70	c |   1327344 |     784   108080   283220 | 2147483647    63278     52 |  0.012 % |
1118.56/1119.19	c |   1327940 |     784   108080   283220 | 2147483647    63874     52 |  0.012 % |
1119.17/1119.79	c |   1328596 |     784   108080   283220 | 2147483647    64530     52 |  0.011 % |
1119.86/1120.40	c |   1329318 |     784   108080   283220 | 2147483647    65252     52 |  0.000 % |
1120.56/1121.14	c |   1330110 |     784   108080   283220 | 2147483647    66044     53 |  0.000 % |
1121.16/1121.71	c |   1330981 |     784   108080   283220 | 2147483647    66915     52 |  0.011 % |
1121.76/1122.35	c |   1331940 |     784   108080   283220 | 2147483647    67874     52 |  0.011 % |
1122.57/1123.13	c |   1332995 |     784   108080   283220 | 2147483647    68929     52 |  0.000 % |
1123.67/1124.22	c |   1334154 |     784   108080   283220 | 2147483647    70088     52 |  0.011 % |
1124.77/1125.32	c |   1335431 |     784   108080   283220 | 2147483647    71365     52 |  0.012 % |
1125.86/1126.46	c |   1336831 |     784   108080   283220 | 2147483647    72765     52 |  0.000 % |
1127.16/1127.79	c |   1338371 |     784   108080   283220 | 2147483647    74305     52 |  0.012 % |
1128.86/1129.43	c |   1340066 |     784   108080   283220 | 2147483647    76000     51 |  0.000 % |
1130.66/1131.23	c |   1341933 |     784   108080   283220 | 2147483647    77867     52 |  0.000 % |
1132.56/1133.14	c |   1343982 |     784   108080   283220 | 2147483647    79916     52 |  0.011 % |
1134.86/1135.40	c |   1346236 |     784   108080   283220 | 2147483647    82170     51 |  0.011 % |
1137.26/1137.86	c |   1348714 |     784   108080   283220 | 2147483647    84648     51 |  0.000 % |
1140.46/1141.05	c |   1351441 |     784   108080   283220 |    85939    74790     51 |  0.011 % |
1143.46/1144.06	c |   1354438 |     784   108080   283220 |    85939    77787     51 |  0.011 % |
1147.05/1147.69	c |   1357734 |     784   108080   283220 |    85939    81083     50 |  0.000 % |
1150.65/1151.25	c |   1361361 |     784   108080   283220 |    83349    71310     49 |  0.012 % |
1154.55/1155.12	c |   1365349 |     784   108080   283220 |    83349    75298     48 |  0.012 % |
1158.55/1159.13	c |   1369736 |     784   108080   283220 |    83349    79685     47 |  0.013 % |
1162.65/1163.29	c |   1374559 |     784   108080   283220 |    79952    72102     41 |  0.011 % |
1167.34/1167.94	c |   1379865 |     784   108080   283220 |    79952    77408     45 |  0.000 % |
1172.84/1173.48	c |   1385702 |     784   108080   283220 |    77545    72797     45 |  0.011 % |
1178.94/1179.59	c |   1392123 |     784   108080   283220 |    77095    68535     44 |  0.011 % |
1185.24/1185.87	c |   1399185 |     784   108080   283220 |    77095    75597     44 |  0.011 % |
1191.63/1192.23	c |   1406950 |     784   108080   283220 |    76412    73069     44 |  0.011 % |
1199.63/1200.24	c |   1415490 |     784   108080   283220 |    76120    71328     44 |  0.011 % |
1208.73/1209.31	c |   1424884 |     784   108080   283220 |    75839    69568     45 |  0.011 % |
1217.52/1218.12	c |   1435217 |     784   108080   283220 |    74686    68898     41 |  0.012 % |
1228.03/1228.68	c |   1446584 |     784   108080   283220 |    73682    68845     41 |  0.012 % |
1240.22/1240.82	c |   1459087 |     784   108080   283220 |    72264    70649     49 |  0.000 % |
1240.32/1240.98	c |   1459187 |     784   108080   283220 |    72264    70749     49 |  0.000 % |
1240.52/1241.14	c |   1459300 |     784   108080   283220 |    72264    70862     49 |  0.011 % |
1240.72/1241.30	c |   1459425 |     784   108080   283220 |    72264    70987     49 |  0.011 % |
1240.82/1241.47	c |   1459561 |     784   108080   283220 |    72264    71123     49 |  0.011 % |
1241.02/1241.63	c |   1459707 |     784   108080   283220 |    72264    71269     49 |  0.000 % |
1241.12/1241.77	c |   1459867 |     784   108080   283220 |    72264    71429     49 |  0.000 % |
1241.32/1241.99	c |   1460044 |     784   108080   283220 |    71563    71606     49 |  0.011 % |
1241.62/1242.27	c |   1460237 |     784   108080   283220 |    71563    61554     49 |  0.000 % |
1241.82/1242.45	c |   1460450 |     784   108080   283220 |    71563    61767     49 |  0.011 % |
1242.02/1242.65	c |   1460683 |     784   108080   283220 |    71563    62000     49 |  0.011 % |
1242.21/1242.88	c |   1460941 |     784   108080   283220 |    71563    62258     49 |  0.011 % |
1242.51/1243.13	c |   1461223 |     784   108080   283220 |    71563    62540     49 |  0.011 % |
1242.81/1243.42	c |   1461532 |     784   108080   283220 |    71563    62849     49 |  0.011 % |
1243.11/1243.78	c |   1461875 |     784   108080   283220 |    71563    63192     49 |  0.000 % |
1243.52/1244.15	c |   1462248 |     784   108080   283220 |    71563    63565     49 |  0.000 % |
1243.91/1244.56	c |   1462660 |     784   108080   283220 |    71563    63977     49 |  0.012 % |
1244.31/1244.97	c |   1463110 |     784   108080   283220 |    71563    64427     49 |  0.012 % |
1244.71/1245.36	c |   1463603 |     784   108080   283220 |    71563    64920     49 |  0.012 % |
1245.21/1245.81	c |   1464146 |     784   108080   283220 |    71563    65463     49 |  0.011 % |
1245.62/1246.25	c |   1464742 |     784   108080   283220 |    71563    66059     49 |  0.000 % |
1246.11/1246.75	c |   1465397 |     784   108080   283220 |    71563    66714     49 |  0.011 % |
1246.71/1247.34	c |   1466117 |     784   108080   283220 |    71563    67434     49 |  0.011 % |
1247.41/1248.00	c |   1466909 |     784   108080   283220 |    71563    68226     49 |  0.000 % |
1248.21/1248.81	c |   1467780 |     784   108080   283220 |    71563    69097     49 |  0.012 % |
1249.01/1249.64	c |   1468738 |     784   108080   283220 |    71563    70055     49 |  0.012 % |
1249.91/1250.53	c |   1469792 |     784   108080   283220 |    71563    71109     48 |  0.011 % |
1251.02/1251.64	c |   1470950 |     784   108080   283220 |    71320    63666     49 |  0.011 % |
1252.02/1252.63	c |   1472227 |     784   108080   283220 |    71320    64943     49 |  0.011 % |
1253.01/1253.70	c |   1473632 |     784   108080   283220 |    71320    66348     48 |  0.011 % |
1254.21/1254.84	c |   1475172 |     784   108080   283220 |    71320    67888     48 |  0.011 % |
1255.62/1256.28	c |   1476866 |     784   108080   283220 |    71320    69582     48 |  0.000 % |
1257.31/1257.92	c |   1478729 |     784   108080   283220 |    71320    71445     48 |  0.011 % |
1259.41/1260.10	c |   1480779 |     784   108080   283220 |    64888    58269     50 |  0.011 % |
1261.51/1262.20	c |   1483032 |     784   108080   283220 |    64888    60522     49 |  0.000 % |
1263.71/1264.38	c |   1485512 |     784   108080   283220 |    64888    63002     51 |  0.000 % |
1266.51/1267.18	c |   1488239 |     784   108080   283220 |    64888    57411     53 |  0.000 % |
1269.11/1269.76	c |   1491236 |     784   108080   283220 |    59175    52996     47 |  0.011 % |
1272.01/1272.66	c |   1494532 |     784   108080   283220 |    59175    56292     46 |  0.011 % |
1275.11/1275.72	c |   1498157 |     784   108080   283220 |    59175    53267     44 |  0.000 % |
1278.41/1279.04	c |   1502147 |     784   108080   283220 |    55112    51384     45 |  0.011 % |
1282.21/1282.86	c |   1506532 |     784   108080   283220 |    55112    50235     45 |  0.000 % |
1285.90/1286.55	c |   1511357 |     784   108080   283220 | 2147483647    55060     52 |  0.000 % |
1290.00/1290.66	c |   1516663 |     784   108080   283220 | 2147483647    60366     52 |  0.000 % |
1295.50/1296.16	c |   1522499 |     784   108080   283220 |    63704    58542     52 |  0.011 % |
1301.70/1302.39	c |   1528923 |     784   108080   283220 |    63704    56265     49 |  0.012 % |
1308.19/1308.86	c |   1535982 |     784   108080   283220 |    57342    55662     49 |  0.012 % |
1315.79/1316.47	c |   1543749 |     784   108080   283220 |    52261    49109     43 |  0.000 % |
1323.79/1324.48	c |   1552289 |     784   108080   283220 |    48736    44913     39 |  0.000 % |
1332.09/1332.77	c |   1561685 |     784   108080   283220 |    46791    43083     38 |  0.012 % |
1338.58/1339.27	c |   1572019 |     783   107804   282500 | 2147483647    22590     40 |  0.128 % |
1344.38/1345.06	c |   1583389 |     783   107804   282500 | 2147483647    33960     57 |  0.128 % |
1353.28/1353.92	c |   1595892 |     783   107804   282500 | 2147483647    46463     53 |  0.139 % |
1363.67/1364.35	c |   1609645 |     783   107804   282500 | 2147483647    60216     52 |  0.139 % |
1363.77/1364.42	c |   1609745 |     783   107804   282500 | 2147483647    60316     52 |  0.139 % |
1363.87/1364.51	c |   1609855 |     783   107804   282500 | 2147483647    60426     52 |  0.140 % |
1363.97/1364.60	c |   1609976 |     783   107804   282500 | 2147483647    60547     52 |  0.139 % |
1364.07/1364.72	c |   1610112 |     783   107804   282500 | 2147483647    60683     52 |  0.140 % |
1364.17/1364.86	c |   1610259 |     783   107804   282500 | 2147483647    60830     52 |  0.139 % |
1364.38/1365.03	c |   1610422 |     783   107804   282500 | 2147483647    60993     52 |  0.138 % |
1364.48/1365.17	c |   1610599 |     783   107804   282500 | 2147483647    61170     52 |  0.139 % |
1364.67/1365.33	c |   1610798 |     783   107804   282500 | 2147483647    61369     52 |  0.128 % |
1364.77/1365.49	c |   1611010 |     783   107804   282500 | 2147483647    61581     52 |  0.139 % |
1365.07/1365.74	c |   1611243 |     783   107804   282500 | 2147483647    61814     52 |  0.128 % |
1365.27/1365.96	c |   1611499 |     783   107804   282500 | 2147483647    62070     52 |  0.139 % |
1365.58/1366.26	c |   1611780 |     783   107804   282500 | 2147483647    62351     52 |  0.139 % |
1365.87/1366.58	c |   1612089 |     783   107804   282500 | 2147483647    62660     52 |  0.128 % |
1366.17/1366.89	c |   1612428 |     783   107804   282500 | 2147483647    62999     52 |  0.128 % |
1366.58/1367.25	c |   1612802 |     783   107804   282500 | 2147483647    63373     52 |  0.139 % |
1366.97/1367.64	c |   1613213 |     783   107804   282500 | 2147483647    63784     52 |  0.139 % |
1367.37/1368.03	c |   1613664 |     783   107804   282500 | 2147483647    64235     52 |  0.139 % |
1367.78/1368.40	c |   1614160 |     783   107804   282500 | 2147483647    64731     52 |  0.128 % |
1368.27/1368.94	c |   1614705 |     783   107804   282500 | 2147483647    65276     51 |  0.139 % |
1368.87/1369.52	c |   1615303 |     783   107804   282500 | 2147483647    65874     51 |  0.128 % |
1369.37/1370.10	c |   1615961 |     783   107804   282500 | 2147483647    66532     51 |  0.139 % |
1370.07/1370.79	c |   1616687 |     783   107804   282500 | 2147483647    67258     51 |  0.138 % |
1370.87/1371.55	c |   1617484 |     783   107804   282500 | 2147483647    68055     51 |  0.138 % |
1371.67/1372.33	c |   1618355 |     783   107804   282500 | 2147483647    68926     51 |  0.139 % |
1372.57/1373.29	c |   1619314 |     783   107804   282500 | 2147483647    69885     51 |  0.139 % |
1373.77/1374.43	c |   1620368 |     783   107804   282500 |    70571    63413     50 |  0.139 % |
1374.67/1375.39	c |   1621526 |     783   107804   282500 |    70571    64571     50 |  0.139 % |
1375.67/1376.38	c |   1622799 |     783   107804   282500 |    70571    65844     50 |  0.128 % |
1376.97/1377.60	c |   1624199 |     783   107804   282500 |    70571    67244     50 |  0.141 % |
1378.27/1378.94	c |   1625741 |     783   107804   282500 |    70571    68786     50 |  0.139 % |
1379.66/1380.33	c |   1627436 |     783   107804   282500 |    70571    70481     50 |  0.139 % |
1381.26/1381.92	c |   1629300 |     783   107804   282500 |    70571    65080     45 |  0.139 % |
1382.96/1383.65	c |   1631352 |     783   107804   282500 |    65785    60396     40 |  0.128 % |
1384.86/1385.56	c |   1633609 |     783   107804   282500 |    65785    62653     40 |  0.128 % |
1387.06/1387.71	c |   1636090 |     783   107804   282500 |    65785    65134     40 |  0.139 % |
1388.96/1389.60	c |   1638817 |     783   107804   282500 |    65785    61260     42 |  0.128 % |
1391.16/1391.82	c |   1641814 |     783   107804   282500 | 2147483647    64257     42 |  0.139 % |
1393.76/1394.42	c |   1645110 |     783   107804   282500 | 2147483647    67553     41 |  0.140 % |
1396.76/1397.42	c |   1648736 |     783   107804   282500 | 2147483647    71179     41 |  0.140 % |
1400.66/1401.37	c |   1652725 |     783   107804   282500 | 2147483647    75168     41 |  0.140 % |
1405.16/1405.87	c |   1657112 |     783   107804   282500 | 2147483647    79555     40 |  0.142 % |
1409.65/1410.37	c |   1661936 |     783   107804   282500 |    82443    74227     41 |  0.139 % |
1413.86/1414.54	c |   1667241 |     783   107804   282500 |    82443    79532     41 |  0.138 % |
1418.75/1419.44	c |   1673077 |     783   107804   282500 |    82292    75657     38 |  0.138 % |
1424.85/1425.60	c |   1679496 |     783   107804   282500 |    82292    82076     43 |  0.128 % |
1431.25/1431.98	c |   1686557 |     783   107804   282500 |    82584    78897     45 |  0.128 % |
1438.55/1439.21	c |   1694323 |     783   107804   282500 |    82340    75752     51 |  0.128 % |
1447.74/1448.49	c |   1702864 |     783   107804   282500 |    81431    70882     50 |  0.139 % |
1457.84/1458.53	c |   1712259 |     783   107804   282500 |    78022    66683     52 |  0.139 % |
1469.23/1469.94	c |   1722592 |     783   107804   282500 |    74424    62877     51 |  0.139 % |
1480.03/1480.76	c |   1733960 |     783   107804   282500 |    70287    61709     60 |  0.128 % |
1493.83/1494.54	c |   1746462 |     783   107804   282500 |    67749    61250     56 |  0.128 % |
1506.72/1507.41	c |   1760217 |     783   107804   282500 |    64543    64758     55 |  0.139 % |
1521.62/1522.36	c |   1775345 |     783   107804   282500 |    54318    50790     38 |  0.141 % |
1521.72/1522.44	c |   1775450 |     783   107804   282500 |    54318    50895     38 |  0.139 % |
1521.82/1522.52	c |   1775560 |     783   107804   282500 |    54318    51005     38 |  0.139 % |
1521.92/1522.63	c |   1775681 |     783   107804   282500 |    54318    51126     38 |  0.128 % |
1522.02/1522.77	c |   1775816 |     783   107804   282500 |    54318    51261     38 |  0.138 % |
1522.22/1522.90	c |   1775962 |     783   107804   282500 |    54318    51407     38 |  0.140 % |
1522.32/1523.02	c |   1776122 |     783   107804   282500 |    54318    51567     38 |  0.138 % |
1522.42/1523.14	c |   1776302 |     783   107804   282500 |    54318    51747     38 |  0.128 % |
1522.52/1523.29	c |   1776496 |     783   107804   282500 |    54318    51941     38 |  0.140 % |
1522.72/1523.46	c |   1776708 |     783   107804   282500 |    54318    52153     38 |  0.138 % |
1522.92/1523.61	c |   1776943 |     783   107804   282500 |    54318    52388     38 |  0.139 % |
1523.01/1523.77	c |   1777208 |     783   107804   282500 |    54318    52653     38 |  0.139 % |
1523.21/1523.99	c |   1777489 |     783   107804   282500 |    54318    52934     38 |  0.139 % |
1523.51/1524.26	c |   1777798 |     783   107804   282500 |    54318    53243     38 |  0.139 % |
1523.82/1524.51	c |   1778138 |     783   107804   282500 |    54318    53583     38 |  0.139 % |
1524.01/1524.79	c |   1778513 |     783   107804   282500 |    54318    53958     38 |  0.128 % |
1524.32/1525.01	c |   1778922 |     783   107804   282500 |    54318    54367     38 |  0.128 % |
1524.62/1525.37	c |   1779373 |     783   107804   282500 |    54318    48465     36 |  0.128 % |
1525.02/1525.72	c |   1779867 |     783   107804   282500 |    54318    48959     36 |  0.139 % |
1525.41/1526.15	c |   1780410 |     783   107804   282500 |    49094    44442     36 |  0.139 % |
1525.81/1526.55	c |   1781008 |     783   107804   282500 |    49094    45040     36 |  0.139 % |
1526.21/1526.92	c |   1781666 |     783   107804   282500 |    49094    45698     37 |  0.128 % |
1526.51/1527.25	c |   1782389 |     783   107804   282500 |    49094    46421     37 |  0.139 % |
1527.01/1527.73	c |   1783183 |     783   107804   282500 |    49094    47215     38 |  0.128 % |
1527.51/1528.26	c |   1784055 |     783   107804   282500 |    49094    48087     38 |  0.140 % |
1528.11/1528.84	c |   1785013 |     783   107804   282500 |    49094    49045     39 |  0.128 % |
1528.91/1529.65	c |   1786067 |     783   107804   282500 |    49094    45156     40 |  0.128 % |
1529.71/1530.47	c |   1787225 |     783   107804   282500 |    49094    46314     41 |  0.128 % |
1530.61/1531.31	c |   1788500 |     783   107804   282500 |    49094    47589     42 |  0.128 % |
1531.41/1532.18	c |   1789900 |     783   107804   282500 |    49094    48989     43 |  0.128 % |
1532.62/1533.32	c |   1791440 |     783   107804   282500 | 2147483647    50529     43 |  0.128 % |
1533.91/1534.62	c |   1793134 |     783   107804   282500 | 2147483647    52223     43 |  0.139 % |
1535.41/1536.13	c |   1794999 |     783   107804   282500 | 2147483647    54088     43 |  0.139 % |
1536.91/1537.69	c |   1797050 |     783   107804   282500 | 2147483647    56139     43 |  0.139 % |
1538.91/1539.62	c |   1799303 |     783   107804   282500 | 2147483647    58392     45 |  0.128 % |
1540.71/1541.49	c |   1801782 |     783   107804   282500 | 2147483647    60871     45 |  0.139 % |
1543.01/1543.73	c |   1804508 |     783   107804   282500 | 2147483647    63597     45 |  0.128 % |
1545.71/1546.45	c |   1807505 |     783   107804   282500 | 2147483647    66594     47 |  0.128 % |
1548.61/1549.37	c |   1810801 |     783   107804   282500 | 2147483647    69890     49 |  0.128 % |
1552.10/1552.85	c |   1814429 |     783   107804   282500 | 2147483647    73518     50 |  0.128 % |
1556.50/1557.28	c |   1818416 |     783   107804   282500 | 2147483647    77505     49 |  0.139 % |
1562.00/1562.80	c |   1822805 |     783   107804   282500 |    79089    69762     50 |  0.139 % |
1567.80/1568.59	c |   1827629 |     783   107804   282500 |    79089    74586     50 |  0.139 % |
1573.90/1574.66	c |   1832934 |     783   107804   282500 |    76957    65915     51 |  0.141 % |
1579.19/1579.90	c |   1838770 |     783   107804   282500 |    76957    71751     50 |  0.128 % |
1585.09/1585.82	c |   1845188 |     783   107804   282500 |    72985    67229     46 |  0.139 % |
1591.79/1592.54	c |   1852247 |     783   107804   282500 |    72043    63992     44 |  0.128 % |
1598.59/1599.34	c |   1860013 |     783   107804   282500 |    71745    71758     43 |  0.139 % |
1605.59/1606.33	c |   1868553 |     783   107804   282500 |    71745    70208     42 |  0.128 % |
1613.99/1614.79	c |   1877947 |     783   107804   282500 |    71657    70645     47 |  0.128 % |
1622.89/1623.67	c |   1888282 |     783   107804   282500 |    63985    57622     49 |  0.138 % |
1633.08/1633.87	c |   1899648 |     783   107804   282500 |    59340    54187     48 |  0.139 % |
1642.37/1643.10	c |   1912153 |     783   107804   282500 | 2147483647    54370     40 |  0.139 % |
1653.87/1654.65	c |   1925905 |     783   107804   282500 | 2147483647    68122     40 |  0.139 % |
1668.56/1669.36	c |   1941032 |     783   107804   282500 |    72046    61339     35 |  0.140 % |
1683.66/1684.48	c |   1957671 |     783   107804   282500 |    70307    68597     51 |  0.128 % |
1683.76/1684.58	c |   1957771 |     783   107804   282500 |    70307    68697     51 |  0.138 % |
1683.96/1684.70	c |   1957882 |     783   107804   282500 |    70307    68808     51 |  0.138 % |
1684.06/1684.80	c |   1958004 |     783   107804   282500 |    70307    68930     51 |  0.138 % |
1684.16/1684.93	c |   1958137 |     783   107804   282500 |    70307    69063     51 |  0.128 % |
1684.26/1685.10	c |   1958283 |     783   107804   282500 |    70307    69209     51 |  0.128 % |
1684.46/1685.28	c |   1958446 |     783   107804   282500 |    70307    69372     51 |  0.128 % |
1684.66/1685.49	c |   1958623 |     783   107804   282500 |    70307    69549     51 |  0.139 % |
1684.86/1685.69	c |   1958816 |     783   107804   282500 |    70307    69742     51 |  0.128 % |
1685.16/1685.92	c |   1959031 |     783   107804   282500 |    70307    69957     51 |  0.139 % |
1685.36/1686.16	c |   1959264 |     783   107804   282500 |    70307    70190     51 |  0.128 % |
1685.65/1686.43	c |   1959520 |     783   107804   282500 |    70307    70446     51 |  0.128 % |
1686.15/1686.92	c |   1959801 |     783   107804   282500 |    70307    61190     53 |  0.128 % |
1686.45/1687.21	c |   1960110 |     783   107804   282500 |    61392    61499     53 |  0.139 % |
1686.86/1687.69	c |   1960454 |     783   107804   282500 |    61392    53453     55 |  0.139 % |
1687.26/1688.02	c |   1960828 |     783   107804   282500 |    61392    53827     55 |  0.139 % |
1687.55/1688.35	c |   1961239 |     783   107804   282500 |    61392    54238     55 |  0.139 % |
1687.95/1688.74	c |   1961688 |     783   107804   282500 |    61392    54687     55 |  0.139 % |
1688.35/1689.18	c |   1962181 |     783   107804   282500 |    61392    55180     55 |  0.139 % |
1688.86/1689.62	c |   1962725 |     783   107804   282500 |    61392    55724     55 |  0.128 % |
1689.25/1690.05	c |   1963324 |     783   107804   282500 |    61392    56323     55 |  0.128 % |
1689.75/1690.58	c |   1963979 |     783   107804   282500 |    61392    56978     54 |  0.138 % |
1690.35/1691.16	c |   1964699 |     783   107804   282500 |    61392    57698     54 |  0.128 % |
1690.96/1691.75	c |   1965493 |     783   107804   282500 |    61392    58492     54 |  0.138 % |
1691.65/1692.40	c |   1966364 |     783   107804   282500 |    61392    59363     54 |  0.138 % |
1692.25/1693.08	c |   1967327 |     783   107804   282500 |    61392    60326     54 |  0.139 % |
1693.26/1694.07	c |   1968383 |     783   107804   282500 |    61392    61382     53 |  0.139 % |
1694.45/1695.20	c |   1969549 |     783   107804   282500 |    61392    55875     55 |  0.139 % |
1695.55/1696.37	c |   1970823 |     783   107804   282500 |    56328    51043     58 |  0.128 % |
1696.85/1697.64	c |   1972226 |     783   107804   282500 |    56328    52446     57 |  0.139 % |
1698.35/1699.12	c |   1973766 |     783   107804   282500 |    56328    53986     57 |  0.139 % |
1699.65/1700.48	c |   1975460 |     783   107804   282500 |    56328    55680     56 |  0.139 % |
1701.55/1702.38	c |   1977324 |     783   107804   282500 |    56328    51874     58 |  0.128 % |
1703.65/1704.41	c |   1979373 |     783   107804   282500 |    56328    53923     58 |  0.139 % |
1705.95/1706.75	c |   1981627 |     783   107804   282500 |    54555    50349     55 |  0.139 % |
1707.75/1708.55	c |   1984106 |     783   107804   282500 |    54555    52828     54 |  0.139 % |
1709.85/1710.69	c |   1986831 |     783   107804   282500 |    54555    50082     46 |  0.139 % |
1712.25/1713.01	c |   1989829 |     783   107804   282500 |    54555    53080     46 |  0.128 % |
1714.74/1715.57	c |   1993130 |     783   107804   282500 | 2147483647    56381     46 |  0.139 % |
1717.84/1718.61	c |   1996757 |     783   107804   282500 | 2147483647    60008     45 |  0.140 % |
1721.04/1721.84	c |   2000746 |     783   107804   282500 | 2147483647    63997     45 |  0.139 % |
1724.84/1725.60	c |   2005133 |     783   107804   282500 | 2147483647    68384     44 |  0.139 % |
1729.04/1729.84	c |   2009956 |     783   107804   282500 | 2147483647    73207     45 |  0.140 % |
1733.04/1733.83	c |   2015262 |     783   107804   282500 |    73251    69778     38 |  0.128 % |
1737.63/1738.43	c |   2021097 |     783   107804   282500 | 2147483647    68277     38 |  0.140 % |
1742.64/1743.43	c |   2027517 |     783   107804   282500 | 2147483647    74697     43 |  0.128 % |
1748.83/1749.67	c |   2034576 |     783   107804   282500 | 2147483647    81756     46 |  0.128 % |
1756.53/1757.31	c |   2042341 |     783   107804   282500 |    87182    77428     48 |  0.128 % |
1764.42/1765.29	c |   2050881 |     783   107804   282500 |    85087    72991     49 |  0.140 % |
1774.92/1775.70	c |   2060276 |     783   107804   282500 |    82111    82386     48 |  0.138 % |
1786.02/1786.87	c |   2070609 |     783   107804   282500 |    77669    64277     49 |  0.138 % |
1799.61/1800.47	c |   2081976 |     783   107804   282500 |    73670    60616     44 |  0.138 % |
1810.31/1811.18	c |   2094480 |     783   107804   282500 |    68640    62165     41 |  0.138 % |
1821.81/1822.69	c |   2108234 |     783   107804   282500 |    67685    67564     42 |  0.139 % |
1835.40/1836.22	c |   2123361 |     783   107804   282500 |    57007    53485     38 |  0.139 % |
1848.50/1849.37	c |   2140001 |     783   107804   282500 | 2147483647    64384     39 |  0.140 % |
1861.79/1862.64	c |   2158303 |     783   107804   282500 | 2147483647    82686     47 |  0.128 % |
1861.89/1862.75	c |   2158406 |     783   107804   282500 | 2147483647    82789     47 |  0.138 % |
1861.99/1862.87	c |   2158516 |     783   107804   282500 | 2147483647    82899     47 |  0.139 % |
1862.09/1862.99	c |   2158637 |     783   107804   282500 | 2147483647    83020     47 |  0.128 % |
1862.29/1863.18	c |   2158771 |     783   107804   282500 | 2147483647    83154     47 |  0.128 % |
1862.49/1863.36	c |   2158917 |     783   107804   282500 | 2147483647    83300     47 |  0.139 % |
1862.69/1863.55	c |   2159078 |     783   107804   282500 | 2147483647    83461     47 |  0.139 % |
1862.99/1863.80	c |   2159254 |     783   107804   282500 | 2147483647    83637     47 |  0.128 % |
1863.19/1864.04	c |   2159448 |     783   107804   282500 | 2147483647    83831     47 |  0.128 % |
1863.39/1864.28	c |   2159660 |     783   107804   282500 | 2147483647    84043     47 |  0.139 % |
1863.69/1864.53	c |   2159893 |     783   107804   282500 | 2147483647    84276     47 |  0.139 % |
1863.99/1864.80	c |   2160150 |     783   107804   282500 |    84383    84533     47 |  0.140 % |
1864.39/1865.23	c |   2160433 |     783   107804   282500 |    84383    73290     48 |  0.140 % |
1864.59/1865.48	c |   2160745 |     783   107804   282500 |    84383    73602     48 |  0.140 % |
1864.89/1865.77	c |   2161084 |     783   107804   282500 |    84383    73941     48 |  0.140 % |
1865.19/1866.07	c |   2161456 |     783   107804   282500 |    84383    74313     48 |  0.128 % |
1865.59/1866.49	c |   2161866 |     783   107804   282500 |    84383    74723     48 |  0.128 % |
1866.09/1866.95	c |   2162317 |     783   107804   282500 |    84383    75174     48 |  0.139 % |
1866.59/1867.40	c |   2162811 |     783   107804   282500 |    84383    75668     48 |  0.139 % |
1867.19/1868.01	c |   2163353 |     783   107804   282500 |    84383    76210     47 |  0.139 % |
1867.79/1868.64	c |   2163950 |     783   107804   282500 |    84383    76807     47 |  0.139 % |
1868.39/1869.28	c |   2164607 |     783   107804   282500 |    84383    77464     47 |  0.128 % |
1869.09/1869.99	c |   2165327 |     783   107804   282500 |    84383    78184     47 |  0.139 % |
1869.79/1870.69	c |   2166120 |     783   107804   282500 |    84383    78977     47 |  0.139 % |
1870.69/1871.53	c |   2166991 |     783   107804   282500 |    84383    79848     47 |  0.138 % |
1871.58/1872.42	c |   2167950 |     783   107804   282500 |    84383    80807     47 |  0.138 % |
1872.68/1873.51	c |   2169005 |     783   107804   282500 |    84383    81862     47 |  0.128 % |
1873.78/1874.63	c |   2170166 |     783   107804   282500 |    82857    83023     47 |  0.128 % |
1875.38/1876.20	c |   2171442 |     783   107804   282500 |    82857    73400     48 |  0.139 % |
1876.48/1877.39	c |   2172843 |     783   107804   282500 |    82857    74801     48 |  0.139 % |
1877.89/1878.78	c |   2174383 |     783   107804   282500 |    82857    76341     48 |  0.128 % |
1879.68/1880.53	c |   2176077 |     783   107804   282500 |    82857    78035     48 |  0.139 % |
1881.38/1882.24	c |   2177941 |     783   107804   282500 |    82857    79899     48 |  0.128 % |
1883.48/1884.37	c |   2179990 |     783   107804   282500 |    82857    81948     48 |  0.139 % |
1885.98/1886.85	c |   2182243 |     783   107804   282500 |    81958    72438     49 |  0.139 % |
1888.58/1889.44	c |   2184722 |     783   107804   282500 |    81958    74917     49 |  0.128 % |
1891.48/1892.32	c |   2187450 |     783   107804   282500 |    81958    77645     49 |  0.140 % |
1894.58/1895.42	c |   2190448 |     783   107804   282500 |    80197    68070     50 |  0.140 % |
1898.07/1898.95	c |   2193745 |     783   107804   282500 |    80197    71367     49 |  0.140 % |
1901.87/1902.78	c |   2197370 |     783   107804   282500 |    80197    74992     49 |  0.128 % |
1902.47/1903.34	c ===============================================================================
1902.47/1903.34	c restarts              : 1637
1902.47/1903.34	c conflicts             : 2197846        (1155 /sec)
1902.47/1903.34	c decisions             : 3903280        (1.11 % random) (2052 /sec)
1902.47/1903.34	c propagations          : 271624806      (142789 /sec)
1902.47/1903.34	c conflict literals     : 115140393      (43.20 % deleted)
1902.47/1903.34	c Memory used           : 38.95 MB
1902.47/1903.34	c CPU time              : 1902.28 s
1902.47/1903.34	c 
1902.47/1903.34	s SATISFIABLE
1902.47/1903.35	s SATISFIABLE
1902.47/1903.35	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 476 -477 -478 -479 -480 -481 -482 -483 484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 643 -644 -645 -646 -647 -648 -649 650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 0

Verifier Data

OK

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837148-1242857393/watcher-1837148-1242857393 -o /tmp/evaluation-result-1837148-1242857393/solver-1837148-1242857393 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837148-1242857393.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.74 0.35 3/65 9614
/proc/meminfo: memFree=1847912/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313768806 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 249070059602 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/9614/statm: 1339 235 195 169 0 50 0
[pid=9615] ppid=9614 vsize=5356 CPUtime=0
/proc/9615/stat : 9615 (SatELiteGTI) S 9614 9614 9479 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313768806 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/9615/statm: 1339 238 198 169 0 50 0
[pid=9617] ppid=9615 vsize=192 CPUtime=0
/proc/9617/stat : 9617 (sed) R 9615 9614 9479 0 -1 4194304 42 0 0 0 0 0 0 0 21 0 1 0 313768806 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 249067271445 0 0 4096 0 0 0 0 17 0 0 0
/proc/9617/statm: 48 23 16 11 0 11 0

[startup+0.0227171 s]
/proc/loadavg: 0.99 0.74 0.35 3/65 9614
/proc/meminfo: memFree=1847912/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313768806 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9614/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101727 s]
/proc/loadavg: 0.99 0.74 0.35 3/65 9614
/proc/meminfo: memFree=1847912/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313768806 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9614/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301773 s]
/proc/loadavg: 0.99 0.74 0.35 3/65 9614
/proc/meminfo: memFree=1847912/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356

[startup+0.701844 s]
/proc/loadavg: 0.99 0.74 0.35 3/65 9614
/proc/meminfo: memFree=1847912/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356

[startup+1.50297 s]
/proc/loadavg: 0.99 0.74 0.35 2/67 9620
/proc/meminfo: memFree=1839512/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=8152 CPUtime=1.33
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 1894 0 0 0 133 0 0 0 25 0 1 0 313768821 8347648 1880 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 2038 1880 77 171 0 1865 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13508

[startup+3.10126 s]
/proc/loadavg: 1.07 0.76 0.35 2/67 9620
/proc/meminfo: memFree=1838104/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=9932 CPUtime=2.93
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 2342 0 0 0 292 1 0 0 25 0 1 0 313768821 10170368 2328 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 2483 2328 77 171 0 2310 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15288

[startup+6.30282 s]
/proc/loadavg: 1.07 0.76 0.35 2/67 9620
/proc/meminfo: memFree=1834840/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=12604 CPUtime=6.12
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 3028 0 0 0 611 1 0 0 25 0 1 0 313768821 12906496 3014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 3151 3014 77 171 0 2978 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 17960

[startup+12.702 s]
/proc/loadavg: 1.06 0.77 0.36 2/67 9620
/proc/meminfo: memFree=1830448/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=16644 CPUtime=12.52
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 4027 0 0 0 1249 3 0 0 25 0 1 0 313768821 17043456 4013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 4161 4013 77 171 0 3988 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22000

[startup+25.5012 s]
/proc/loadavg: 1.05 0.78 0.37 2/67 9620
/proc/meminfo: memFree=1823984/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=22840 CPUtime=25.3
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 5557 0 0 0 2526 4 0 0 25 0 1 0 313768821 23388160 5543 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 5710 5544 77 171 0 5537 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 28196

[startup+51.1018 s]
/proc/loadavg: 1.03 0.80 0.38 2/67 9620
/proc/meminfo: memFree=1814640/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=32284 CPUtime=50.88
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 7941 0 0 0 5081 7 0 0 25 0 1 0 313768821 33058816 7927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 8071 7927 77 171 0 7898 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 37640

[startup+102.306 s]
/proc/loadavg: 1.01 0.83 0.41 2/67 9620
/proc/meminfo: memFree=1809328/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=37456 CPUtime=102.06
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9169 0 0 0 10198 8 0 0 25 0 1 0 313768821 38354944 9155 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9364 9155 77 171 0 9191 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 42812

[startup+162.301 s]
/proc/loadavg: 1.00 0.85 0.45 2/67 9620
/proc/meminfo: memFree=1809072/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=37588 CPUtime=162.02
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9200 0 0 0 16194 8 0 0 25 0 1 0 313768821 38490112 9186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9397 9186 77 171 0 9224 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 42944

[startup+222.301 s]
/proc/loadavg: 1.00 0.88 0.48 2/67 9620
/proc/meminfo: memFree=1808944/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=37588 CPUtime=221.99
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9215 0 0 0 22191 8 0 0 25 0 1 0 313768821 38490112 9201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9397 9201 77 171 0 9224 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 42944

[startup+282.302 s]
/proc/loadavg: 1.00 0.90 0.51 2/67 9620
/proc/meminfo: memFree=1808816/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=37588 CPUtime=281.96
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9215 0 0 0 28188 8 0 0 25 0 1 0 313768821 38490112 9201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9397 9201 77 171 0 9224 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 42944

[startup+342.301 s]
/proc/loadavg: 1.00 0.91 0.54 2/67 9620
/proc/meminfo: memFree=1808624/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=37728 CPUtime=341.94
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9250 0 0 0 34185 9 0 0 25 0 1 0 313768821 38633472 9236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9432 9236 77 171 0 9259 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 43084

[startup+402.301 s]
/proc/loadavg: 1.00 0.93 0.56 2/67 9620
/proc/meminfo: memFree=1808432/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=37888 CPUtime=401.91

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


[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/67 9620
/proc/meminfo: memFree=1806256/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=38676 CPUtime=1241.59
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9457 0 0 0 124149 10 0 0 25 0 1 0 313768821 39604224 9443 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9669 9443 77 171 0 9496 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 44032

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/67 9620
/proc/meminfo: memFree=1806128/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=38676 CPUtime=1301.57
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9462 0 0 0 130146 11 0 0 25 0 1 0 313768821 39604224 9448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9669 9448 77 171 0 9496 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 44032

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/67 9620
/proc/meminfo: memFree=1806000/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=38828 CPUtime=1361.55
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9490 0 0 0 136144 11 0 0 25 0 1 0 313768821 39759872 9476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9707 9476 77 171 0 9534 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 44184

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.82 2/67 9620
/proc/meminfo: memFree=1805808/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=38968 CPUtime=1421.52
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9525 0 0 0 142141 11 0 0 25 0 1 0 313768821 39903232 9511 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9742 9511 77 171 0 9569 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 44324

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/67 9620
/proc/meminfo: memFree=1805616/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39128 CPUtime=1481.5
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9558 0 0 0 148139 11 0 0 25 0 1 0 313768821 40067072 9544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9782 9544 77 171 0 9609 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 44484

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/67 9620
/proc/meminfo: memFree=1805424/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39284 CPUtime=1541.48
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9576 0 0 0 154137 11 0 0 25 0 1 0 313768821 40226816 9562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9821 9562 77 171 0 9648 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 44640

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/67 9620
/proc/meminfo: memFree=1805296/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39284 CPUtime=1601.46
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9588 0 0 0 160135 11 0 0 25 0 1 0 313768821 40226816 9574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9821 9574 77 171 0 9648 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 44640

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/67 9620
/proc/meminfo: memFree=1805168/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39284 CPUtime=1661.44
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9596 0 0 0 166133 11 0 0 25 0 1 0 313768821 40226816 9582 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9821 9582 77 171 0 9648 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 44640

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/67 9620
/proc/meminfo: memFree=1804976/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39436 CPUtime=1721.41
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9624 0 0 0 172130 11 0 0 25 0 1 0 313768821 40382464 9610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9859 9610 77 171 0 9686 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 44792

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/67 9620
/proc/meminfo: memFree=1804784/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39576 CPUtime=1781.39
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9643 0 0 0 178128 11 0 0 25 0 1 0 313768821 40525824 9629 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9894 9629 77 171 0 9721 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 44932

[startup+1842.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/67 9620
/proc/meminfo: memFree=1804528/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39712 CPUtime=1841.37
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9684 0 0 0 184126 11 0 0 25 0 1 0 313768821 40665088 9670 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9928 9670 77 171 0 9755 0
Current children cumulated CPU time (s) 1841.5
Current children cumulated vsize (KiB) 45068

[startup+1902.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/67 9620
/proc/meminfo: memFree=1804400/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39880 CPUtime=1901.34
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9698 0 0 0 190123 11 0 0 25 0 1 0 313768821 40837120 9684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9970 9684 77 171 0 9797 0
Current children cumulated CPU time (s) 1901.47
Current children cumulated vsize (KiB) 45236

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

[startup+1903.1 s]
/proc/loadavg: 1.00 0.97 0.87 2/67 9620
/proc/meminfo: memFree=1804400/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39880 CPUtime=1902.14
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9698 0 0 0 190203 11 0 0 25 0 1 0 313768821 40837120 9684 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9970 9684 77 171 0 9797 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 45236

[startup+1903.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/67 9620
/proc/meminfo: memFree=1804400/2055920 swapFree=4115064/4192956
[pid=9614] ppid=9612 vsize=5356 CPUtime=0.13
/proc/9614/stat : 9614 (SatELiteGTI) S 9612 9614 9479 0 -1 4194304 336 1822 0 0 0 0 12 1 15 0 1 0 313768806 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9614/statm: 1339 239 197 169 0 50 0
[pid=9620] ppid=9614 vsize=39880 CPUtime=1902.34
/proc/9620/stat : 9620 (minisat_static) R 9614 9614 9479 0 -1 4194304 9698 0 0 0 190223 11 0 0 25 0 1 0 313768821 40837120 9684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/9620/statm: 9970 9684 77 171 0 9797 0
Current children cumulated CPU time (s) 1902.47
Current children cumulated vsize (KiB) 45236

Child status: 10
Real time (s): 1903.36
CPU time (s): 1902.56
CPU user time (s): 1902.42
CPU system time (s): 0.145977
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 45236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1902.42
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12164
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= 50
involuntary context switches= 5595

runsolver used 1.77173 second user time and 5.32319 second system time

The end

Launcher Data

Begin job on node89 at 2009-05-21 00:09:53
IDJOB=1837148
IDBENCH=20492
IDSOLVER=674
FILE ID=node89/1837148-1242857393
PBS_JOBID= 9328430
Free space on /tmp= 66256 MiB

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

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

MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED=1712007748

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848464 kB
Buffers:         27952 kB
Cached:          73516 kB
SwapCached:      72136 kB
Active:          37260 kB
Inactive:       137992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848464 kB
SwapTotal:     4192956 kB
SwapFree:      4115064 kB
Dirty:            3084 kB
Writeback:           0 kB
Mapped:          15992 kB
Slab:            18232 kB
Committed_AS:   941448 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66256 MiB
End job on node89 at 2009-05-21 00:41:36