Trace number 1834277

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.08 1200.51

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-23-189-21-75.cnf
MD5SUM46a186d5aa9ba41a176adf24fb365342
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.195969
Satisfiable
(Un)Satisfiability was proved
Number of variables483
Number of clauses25396
Sum of the clauses size51233
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225375
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   25396    51233 |    7618       0        0     nan |  0.000 % |
0.00/0.05	c |         0 |   24913    68224 |      --       0       --      -- |     --   | -483/16991
0.00/0.05	c ==============================================================================
0.00/0.05	c Result  :   #vars: 462   #clauses: 24913   #literals: 68224
0.00/0.05	c CPU time:   0.043993 s
0.00/0.05	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  462                                                  |
0.00/0.07	c |  Number of clauses:    24913                                                |
0.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     462    24913    68224 |     8304        0    nan |  0.000 % |
0.00/0.09	c |       101 |     462    24913    68224 |     8304      101    113 |  0.000 % |
0.00/0.09	c |       203 |     462    24913    68224 |     8304      203     99 |  0.000 % |
0.06/0.10	c |       305 |     462    24913    68224 |     8304      305     86 |  0.000 % |
0.06/0.11	c |       415 |     462    24913    68224 |     8304      415     82 |  0.000 % |
0.06/0.11	c |       515 |     462    24913    68224 |     8304      515     78 |  0.000 % |
0.06/0.12	c |       625 |     462    24913    68224 |     8304      625     83 |  0.000 % |
0.06/0.12	c |       747 |     462    24913    68224 |     8304      747     87 |  0.000 % |
0.06/0.13	c |       851 |     462    24913    68224 |     8304      851     90 |  0.000 % |
0.06/0.14	c |       961 |     462    24913    68224 |     8304      961     92 |  0.000 % |
0.06/0.15	c |      1084 |     462    24913    68224 |     8304     1084     94 |  0.000 % |
0.06/0.16	c |      1217 |     462    24913    68224 |     8304     1217     96 |  0.000 % |
0.06/0.17	c |      1317 |     462    24913    68224 |     8304     1317     97 |  0.000 % |
0.06/0.18	c |      1430 |     462    24913    68224 |     8304     1430     98 |  0.000 % |
0.06/0.19	c |      1551 |     462    24913    68224 |     8304     1551     97 |  0.000 % |
0.06/0.20	c |      1684 |     462    24913    68224 |     8304     1684     96 |  0.000 % |
0.06/0.21	c |      1830 |     462    24913    68224 |     8304     1830     94 |  0.059 % |
0.06/0.21	c |      1930 |     462    24913    68224 |     8304     1930     92 |  0.059 % |
0.06/0.22	c |      2045 |     462    24913    68224 |     8304     2045     91 |  0.048 % |
0.06/0.23	c |      2166 |     462    24913    68224 |     8304     2166     90 |  0.000 % |
0.06/0.24	c |      2301 |     462    24913    68224 |     8304     2301     89 |  0.000 % |
0.06/0.25	c |      2447 |     462    24913    68224 |     8304     2447     89 |  0.000 % |
0.06/0.27	c |      2608 |     462    24913    68224 |     8304     2608     88 |  0.000 % |
0.06/0.28	c |      2708 |     462    24913    68224 |     8304     2708     88 |  0.000 % |
0.06/0.29	c |      2818 |     462    24913    68224 |     8304     2818     87 |  0.000 % |
0.06/0.30	c |      2939 |     462    24913    68224 |     8304     2939     87 |  0.000 % |
0.06/0.31	c |      3075 |     462    24913    68224 |     8304     3075     86 |  0.000 % |
0.06/0.33	c |      3222 |     462    24913    68224 |     8304     3222     87 |  0.000 % |
0.06/0.35	c |      3383 |     462    24913    68224 |     8304     3383     88 |  0.000 % |
0.06/0.36	c |      3563 |     462    24913    68224 |     8304     3563     88 |  0.000 % |
0.06/0.38	c |      3666 |     462    24913    68224 |     8304     3666     89 |  0.000 % |
0.06/0.39	c |      3777 |     462    24913    68224 |     8304     3777     89 |  0.000 % |
0.06/0.41	c |      3898 |     462    24913    68224 |     8304     3898     89 |  0.000 % |
0.06/0.42	c |      4031 |     462    24913    68224 |     8304     4031     89 |  0.000 % |
0.06/0.44	c |      4180 |     462    24913    68224 |     8304     4180     89 |  0.000 % |
0.06/0.46	c |      4340 |     462    24913    68224 |     8304     4340     89 |  0.000 % |
0.06/0.48	c |      4518 |     462    24913    68224 |     8304     4518     89 |  0.000 % |
0.06/0.51	c |      4711 |     462    24913    68224 |     8304     4711     89 |  0.000 % |
0.06/0.53	c |      4811 |     462    24913    68224 |     8304     4811     90 |  0.000 % |
0.06/0.54	c |      4921 |     462    24913    68224 |     8304     4921     90 |  0.000 % |
0.06/0.55	c |      5042 |     462    24913    68224 |     8304     5042     90 |  0.000 % |
0.06/0.57	c |      5175 |     462    24913    68224 |     8304     5175     90 |  0.000 % |
0.06/0.59	c |      5323 |     462    24913    68224 |     8304     5323     90 |  0.000 % |
0.06/0.62	c |      5483 |     462    24913    68224 |     8304     5483     90 |  0.000 % |
0.06/0.64	c |      5659 |     462    24913    68224 |     8304     5659     89 |  0.000 % |
0.06/0.67	c |      5852 |     462    24913    68224 |     8304     5852     88 |  0.000 % |
0.06/0.70	c |      6064 |     462    24913    68224 |     8304     6064     88 |  0.000 % |
0.06/0.72	c |      6166 |     462    24913    68224 |     8304     6166     88 |  0.000 % |
0.06/0.73	c |      6276 |     462    24913    68224 |     8304     6276     88 |  0.000 % |
0.06/0.75	c |      6401 |     462    24913    68224 |     8304     6401     88 |  0.000 % |
0.06/0.77	c |      6534 |     462    24913    68224 |     8304     6534     87 |  0.000 % |
0.06/0.80	c |      6682 |     462    24913    68224 |     8304     6682     88 |  0.000 % |
0.06/0.81	c |      6846 |     462    24913    68224 |     8304     6846     88 |  0.000 % |
0.06/0.84	c |      7022 |     462    24913    68224 |     8304     7022     88 |  0.000 % |
0.06/0.87	c |      7218 |     462    24913    68224 |     8304     7218     88 |  0.000 % |
0.06/0.91	c |      7432 |     462    24913    68224 |     8304     7432     87 |  0.000 % |
0.06/0.94	c |      7665 |     462    24913    68224 |     8304     7665     87 |  0.000 % |
0.06/0.95	c |      7766 |     462    24913    68224 |     8304     7766     87 |  0.000 % |
0.06/0.97	c |      7876 |     462    24913    68224 |     8304     7876     87 |  0.000 % |
0.06/0.99	c |      7998 |     462    24913    68224 |     8304     7998     87 |  0.000 % |
0.97/1.02	c |      8131 |     462    24913    68224 |     8304     8131     87 |  0.000 % |
0.97/1.04	c |      8278 |     462    24913    68224 |     8304     8278     86 |  0.000 % |
0.97/1.07	c |      8441 |     462    24913    68224 |     8304     8441     86 |  0.000 % |
1.07/1.11	c |      8621 |     462    24913    68224 |     8304     7777     83 |  0.000 % |
1.07/1.14	c |      8814 |     462    24913    68224 |     8304     7970     83 |  0.000 % |
1.07/1.17	c |      9026 |     462    24913    68224 |     8304     8182     83 |  0.000 % |
1.17/1.20	c |      9259 |     462    24913    68224 |     8304     8415     83 |  0.000 % |
1.17/1.25	c |      9518 |     462    24913    68224 |     8304     7833     82 |  0.000 % |
1.17/1.26	c |      9619 |     462    24913    68224 |     8304     7934     83 |  0.000 % |
1.17/1.28	c |      9729 |     462    24913    68224 |     8304     8044     83 |  0.000 % |
1.27/1.30	c |      9850 |     462    24913    68224 |     8304     8165     83 |  0.000 % |
1.27/1.32	c |      9984 |     462    24913    68224 |     8304     8299     83 |  0.000 % |
1.27/1.34	c |     10133 |     462    24913    68224 | 2147483647     8448     83 |  0.000 % |
1.27/1.36	c |     10293 |     462    24913    68224 | 2147483647     8608     83 |  0.000 % |
1.27/1.38	c |     10474 |     462    24913    68224 | 2147483647     8789     82 |  0.000 % |
1.37/1.41	c |     10668 |     462    24913    68224 | 2147483647     8983     82 |  0.000 % |
1.37/1.43	c |     10880 |     462    24913    68224 | 2147483647     9195     82 |  0.000 % |
1.37/1.46	c |     11115 |     462    24913    68224 | 2147483647     9430     82 |  0.000 % |
1.37/1.50	c |     11373 |     462    24913    68224 | 2147483647     9688     81 |  0.000 % |
1.47/1.53	c |     11656 |     462    24913    68224 | 2147483647     9971     81 |  0.000 % |
1.47/1.55	c |     11757 |     462    24913    68224 | 2147483647    10072     81 |  0.000 % |
1.47/1.56	c |     11867 |     462    24913    68224 | 2147483647    10182     81 |  0.000 % |
1.47/1.58	c |     11990 |     462    24913    68224 | 2147483647    10305     81 |  0.000 % |
1.57/1.60	c |     12126 |     462    24913    68224 | 2147483647    10441     81 |  0.000 % |
1.57/1.62	c |     12272 |     462    24913    68224 | 2147483647    10587     81 |  0.000 % |
1.57/1.64	c |     12432 |     462    24913    68224 | 2147483647    10747     81 |  0.000 % |
1.57/1.67	c |     12608 |     462    24913    68224 | 2147483647    10923     80 |  0.000 % |
1.66/1.71	c |     12802 |     462    24913    68224 | 2147483647    11117     80 |  0.000 % |
1.66/1.76	c |     13015 |     462    24913    68224 | 2147483647    11330     80 |  0.000 % |
1.76/1.81	c |     13249 |     462    24913    68224 | 2147483647    11564     80 |  0.000 % |
1.76/1.86	c |     13507 |     462    24913    68224 | 2147483647    11822     81 |  0.000 % |
1.86/1.96	c |     13790 |     462    24913    68224 | 2147483647    12105     81 |  0.000 % |
1.96/2.03	c |     14100 |     462    24913    68224 | 2147483647    12415     82 |  0.000 % |
1.96/2.05	c |     14200 |     462    24913    68224 | 2147483647    12515     82 |  0.000 % |
1.96/2.07	c |     14310 |     462    24913    68224 | 2147483647    12625     82 |  0.000 % |
1.96/2.09	c |     14431 |     462    24913    68224 | 2147483647    12746     81 |  0.000 % |
2.07/2.12	c |     14564 |     462    24913    68224 | 2147483647    12879     81 |  0.000 % |
2.07/2.16	c |     14711 |     462    24913    68224 | 2147483647    13026     81 |  0.000 % |
2.07/2.20	c |     14871 |     462    24913    68224 | 2147483647    13186     81 |  0.000 % |
2.17/2.23	c |     15049 |     462    24913    68224 | 2147483647    13364     81 |  0.000 % |
2.17/2.29	c |     15242 |     462    24913    68224 | 2147483647    13557     82 |  0.000 % |
2.26/2.32	c |     15455 |     462    24913    68224 | 2147483647    13770     82 |  0.000 % |
2.26/2.36	c |     15691 |     462    24913    68224 | 2147483647    14006     81 |  0.000 % |
2.36/2.41	c |     15948 |     462    24913    68224 | 2147483647    14263     81 |  0.000 % |
2.36/2.46	c |     16231 |     462    24913    68224 | 2147483647    14546     81 |  0.000 % |
2.46/2.52	c |     16542 |     462    24913    68224 | 2147483647    14857     81 |  0.000 % |
2.56/2.62	c |     16882 |     462    24913    68224 | 2147483647    15197     82 |  0.000 % |
2.56/2.65	c |     16984 |     462    24913    68224 | 2147483647    15299     82 |  0.000 % |
2.56/2.69	c |     17095 |     462    24913    68224 | 2147483647    15410     82 |  0.000 % |
2.66/2.73	c |     17216 |     462    24913    68224 | 2147483647    15531     82 |  0.000 % |
2.66/2.76	c |     17350 |     462    24913    68224 | 2147483647    15665     82 |  0.000 % |
2.77/2.80	c |     17498 |     462    24913    68224 | 2147483647    15813     82 |  0.000 % |
2.77/2.85	c |     17660 |     462    24913    68224 | 2147483647    15975     83 |  0.000 % |
2.87/2.90	c |     17836 |     462    24913    68224 | 2147483647    16151     83 |  0.000 % |
2.87/2.93	c |     18029 |     462    24913    68224 | 2147483647    16344     83 |  0.000 % |
2.97/3.02	c |     18241 |     462    24913    68224 | 2147483647    16556     83 |  0.000 % |
2.97/3.06	c |     18474 |     462    24913    68224 | 2147483647    16789     83 |  0.000 % |
3.07/3.13	c |     18731 |     462    24913    68224 | 2147483647    17046     83 |  0.000 % |
3.17/3.21	c |     19014 |     462    24913    68224 | 2147483647    17329     83 |  0.000 % |
3.27/3.33	c |     19323 |     462    24913    68224 | 2147483647    17638     84 |  0.000 % |
3.37/3.43	c |     19662 |     462    24913    68224 | 2147483647    17977     84 |  0.000 % |
3.47/3.54	c |     20034 |     462    24913    68224 | 2147483647    18349     84 |  0.000 % |
3.47/3.58	c |     20135 |     462    24913    68224 | 2147483647    18450     84 |  0.000 % |
3.57/3.60	c |     20248 |     462    24913    68224 | 2147483647    18563     84 |  0.000 % |
3.57/3.64	c |     20369 |     462    24913    68224 | 2147483647    18684     84 |  0.000 % |
3.57/3.69	c |     20503 |     462    24913    68224 | 2147483647    18818     84 |  0.000 % |
3.67/3.74	c |     20649 |     462    24913    68224 | 2147483647    18964     84 |  0.000 % |
3.67/3.79	c |     20811 |     462    24913    68224 | 2147483647    19126     84 |  0.000 % |
3.77/3.85	c |     20987 |     462    24913    68224 | 2147483647    19302     84 |  0.000 % |
3.87/3.92	c |     21180 |     462    24913    68224 | 2147483647    19495     84 |  0.000 % |
3.87/3.97	c |     21393 |     462    24913    68224 | 2147483647    19708     84 |  0.000 % |
3.97/4.06	c |     21628 |     462    24913    68224 | 2147483647    19943     84 |  0.000 % |
4.07/4.16	c |     21884 |     462    24913    68224 | 2147483647    20199     84 |  0.000 % |
4.17/4.24	c |     22165 |     462    24913    68224 | 2147483647    20480     84 |  0.000 % |
4.27/4.33	c |     22475 |     462    24913    68224 | 2147483647    20790     84 |  0.000 % |
4.37/4.48	c |     22815 |     462    24913    68224 | 2147483647    21130     84 |  0.000 % |
4.56/4.65	c |     23190 |     462    24913    68224 | 2147483647    21505     84 |  0.000 % |
4.66/4.77	c |     23599 |     462    24913    68224 | 2147483647    21914     84 |  0.000 % |
4.76/4.82	c |     23700 |     462    24913    68224 | 2147483647    22015     84 |  0.000 % |
4.76/4.87	c |     23811 |     462    24913    68224 | 2147483647    22126     85 |  0.000 % |
4.86/4.93	c |     23932 |     462    24913    68224 | 2147483647    22247     85 |  0.000 % |
4.96/5.01	c |     24067 |     462    24913    68224 | 2147483647    22382     85 |  0.000 % |
5.06/5.10	c |     24214 |     462    24913    68224 | 2147483647    22529     85 |  0.000 % |
5.06/5.19	c |     24376 |     462    24913    68224 | 2147483647    22691     85 |  0.000 % |
5.16/5.28	c |     24552 |     462    24913    68224 | 2147483647    22867     85 |  0.000 % |
5.26/5.37	c |     24746 |     462    24913    68224 | 2147483647    23061     85 |  0.000 % |
5.37/5.46	c |     24959 |     462    24913    68224 | 2147483647    23274     85 |  0.000 % |
5.47/5.56	c |     25197 |     462    24913    68224 | 2147483647    23512     85 |  0.000 % |
5.57/5.69	c |     25453 |     462    24913    68224 | 2147483647    23768     85 |  0.000 % |
5.77/5.85	c |     25740 |     462    24913    68224 | 2147483647    24055     85 |  0.000 % |
5.87/5.98	c |     26051 |     462    24913    68224 | 2147483647    24366     85 |  0.000 % |
6.07/6.16	c |     26390 |     462    24913    68224 | 2147483647    24705     85 |  0.000 % |
6.27/6.39	c |     26763 |     462    24913    68224 | 2147483647    25078     85 |  0.000 % |
6.47/6.59	c |     27174 |     462    24913    68224 | 2147483647    25489     85 |  0.000 % |
6.76/6.80	c |     27623 |     462    24913    68224 | 2147483647    25938     85 |  0.000 % |
6.76/6.82	c |     27723 |     462    24913    68224 | 2147483647    26038     85 |  0.000 % |
6.76/6.87	c |     27833 |     462    24913    68224 | 2147483647    26148     85 |  0.000 % |
6.86/6.93	c |     27961 |     462    24913    68224 | 2147483647    26276     85 |  0.000 % |
6.96/7.01	c |     28096 |     462    24913    68224 | 2147483647    26411     85 |  0.000 % |
7.06/7.12	c |     28242 |     462    24913    68224 | 2147483647    26557     85 |  0.000 % |
7.06/7.17	c |     28404 |     462    24913    68224 | 2147483647    26719     85 |  0.000 % |
7.16/7.26	c |     28580 |     462    24913    68224 | 2147483647    26895     85 |  0.000 % |
7.26/7.33	c |     28776 |     462    24913    68224 | 2147483647    27091     85 |  0.000 % |
7.36/7.43	c |     28989 |     462    24913    68224 | 2147483647    27304     85 |  0.000 % |
7.46/7.55	c |     29222 |     462    24913    68224 | 2147483647    27537     85 |  0.000 % |
7.67/7.70	c |     29480 |     462    24913    68224 | 2147483647    27795     85 |  0.000 % |
7.76/7.86	c |     29761 |     462    24913    68224 | 2147483647    28076     85 |  0.000 % |
7.86/7.98	c |     30073 |     462    24913    68224 | 2147483647    28388     85 |  0.000 % |
8.16/8.26	c |     30416 |     462    24913    68224 | 2147483647    28731     85 |  0.000 % |
8.46/8.52	c |     30792 |     462    24913    68224 | 2147483647    29107     86 |  0.000 % |
8.86/8.93	c |     31202 |     462    24913    68224 | 2147483647    29517     86 |  0.000 % |
9.16/9.22	c |     31652 |     462    24913    68224 | 2147483647    29967     86 |  0.000 % |
9.36/9.48	c |     32146 |     462    24913    68224 | 2147483647    30461     86 |  0.000 % |
9.46/9.55	c |     32246 |     462    24913    68224 | 2147483647    30561     86 |  0.000 % |
9.56/9.64	c |     32357 |     462    24913    68224 | 2147483647    30672     86 |  0.000 % |
9.66/9.75	c |     32479 |     462    24913    68224 | 2147483647    30794     86 |  0.000 % |
9.87/9.91	c |     32614 |     462    24913    68224 | 2147483647    30929     86 |  0.000 % |
9.97/10.02	c |     32761 |     462    24913    68224 | 2147483647    31076     86 |  0.000 % |
10.07/10.15	c |     32922 |     462    24913    68224 | 2147483647    31237     86 |  0.000 % |
10.17/10.29	c |     33100 |     462    24913    68224 | 2147483647    31415     86 |  0.000 % |
10.37/10.42	c |     33295 |     462    24913    68224 | 2147483647    31610     86 |  0.000 % |
10.47/10.53	c |     33507 |     462    24913    68224 | 2147483647    31822     86 |  0.000 % |
10.66/10.79	c |     33741 |     462    24913    68224 | 2147483647    32056     86 |  0.000 % |
10.87/10.95	c |     33998 |     462    24913    68224 | 2147483647    32313     86 |  0.000 % |
11.06/11.10	c |     34282 |     462    24913    68224 | 2147483647    32597     86 |  0.000 % |
11.26/11.30	c |     34591 |     462    24913    68224 | 2147483647    32906     86 |  0.000 % |
11.56/11.69	c |     34932 |     462    24913    68224 | 2147483647    33247     86 |  0.000 % |
11.97/12.08	c |     35308 |     462    24913    68224 | 2147483647    33623     86 |  0.000 % |
12.36/12.49	c |     35719 |     462    24913    68224 | 2147483647    34034     87 |  0.000 % |
12.86/12.90	c |     36169 |     462    24913    68224 | 2147483647    34484     87 |  0.000 % |
13.07/13.13	c |     36662 |     462    24913    68224 | 2147483647    34977     87 |  0.000 % |
13.66/13.74	c |     37204 |     462    24913    68224 | 2147483647    35519     87 |  0.000 % |
13.76/13.82	c |     37304 |     462    24913    68224 | 2147483647    35619     87 |  0.000 % |
13.86/13.93	c |     37417 |     462    24913    68224 | 2147483647    35732     87 |  0.000 % |
13.96/14.04	c |     37543 |     462    24913    68224 | 2147483647    35858     87 |  0.000 % |
14.06/14.17	c |     37676 |     462    24913    68224 | 2147483647    35991     87 |  0.000 % |
14.26/14.34	c |     37822 |     462    24913    68224 | 2147483647    36137     87 |  0.000 % |
14.36/14.46	c |     37984 |     462    24913    68224 | 2147483647    36299     87 |  0.000 % |
14.56/14.69	c |     38161 |     462    24913    68224 | 2147483647    36476     87 |  0.000 % |
14.76/14.88	c |     38355 |     462    24913    68224 | 2147483647    36670     87 |  0.000 % |
15.07/15.10	c |     38570 |     462    24913    68224 | 2147483647    36885     87 |  0.000 % |
15.27/15.36	c |     38804 |     462    24913    68224 | 2147483647    37119     87 |  0.000 % |
15.56/15.70	c |     39060 |     462    24913    68224 | 2147483647    37375     87 |  0.000 % |
15.87/15.95	c |     39341 |     462    24913    68224 | 2147483647    37656     87 |  0.000 % |
16.26/16.38	c |     39650 |     462    24913    68224 | 2147483647    37965     87 |  0.000 % |
16.56/16.64	c |     39990 |     462    24913    68224 | 2147483647    38305     87 |  0.000 % |
17.06/17.12	c |     40364 |     462    24913    68224 |    38316    31379     87 |  0.000 % |
17.57/17.63	c |     40776 |     462    24913    68224 |    38316    31791     87 |  0.000 % |
17.96/18.02	c |     41226 |     462    24913    68224 |    38316    32241     87 |  0.000 % |
18.46/18.58	c |     41721 |     462    24913    68224 |    38316    32736     87 |  0.000 % |
19.06/19.10	c |     42264 |     462    24913    68224 |    38316    33279     87 |  0.000 % |
19.56/19.64	c |     42860 |     462    24913    68224 |    38316    33875     87 |  0.000 % |
19.67/19.75	c |     42961 |     462    24913    68224 |    38316    33976     87 |  0.000 % |
19.86/19.90	c |     43071 |     462    24913    68224 |    38316    34086     87 |  0.000 % |
20.06/20.11	c |     43192 |     462    24913    68224 |    38316    34207     87 |  0.000 % |
20.16/20.27	c |     43325 |     462    24913    68224 |    38316    34340     87 |  0.000 % |
20.36/20.48	c |     43474 |     462    24913    68224 |    38316    34489     87 |  0.000 % |
20.56/20.60	c |     43635 |     462    24913    68224 |    38316    34650     87 |  0.000 % |
20.66/20.74	c |     43812 |     462    24913    68224 |    38316    34827     87 |  0.000 % |
20.87/20.91	c |     44008 |     462    24913    68224 |    38316    35023     87 |  0.000 % |
21.06/21.18	c |     44220 |     462    24913    68224 |    38316    35235     87 |  0.000 % |
21.46/21.53	c |     44453 |     462    24913    68224 |    38316    35468     87 |  0.000 % |
21.76/21.87	c |     44711 |     462    24913    68224 |    38316    35726     87 |  0.000 % |
22.06/22.16	c |     44992 |     462    24913    68224 |    38316    36007     87 |  0.000 % |
22.46/22.57	c |     45302 |     462    24913    68224 |    38316    36317     87 |  0.000 % |
22.76/22.89	c |     45641 |     462    24913    68224 |    38316    36656     87 |  0.000 % |
23.07/23.19	c |     46013 |     462    24913    68224 |    38316    37028     87 |  0.000 % |
23.46/23.56	c |     46424 |     462    24913    68224 |    38316    37439     87 |  0.000 % |
23.86/23.94	c |     46874 |     462    24913    68224 |    38316    37889     87 |  0.000 % |
24.17/24.22	c |     47368 |     462    24913    68224 |    38316    38383     87 |  0.000 % |
24.66/24.80	c |     47910 |     462    24913    68224 |    38316    29893     86 |  0.000 % |
25.27/25.36	c |     48507 |     462    24913    68224 |    38316    30490     86 |  0.000 % |
25.76/25.88	c |     49164 |     462    24913    68224 |    38316    31147     86 |  0.000 % |
25.96/26.02	c |     49268 |     462    24913    68224 |    38316    31251     86 |  0.000 % |
26.06/26.12	c |     49380 |     462    24913    68224 |    38316    31363     86 |  0.000 % |
26.16/26.29	c |     49502 |     462    24913    68224 |    38316    31485     87 |  0.000 % |
26.46/26.54	c |     49635 |     462    24913    68224 |    38316    31618     87 |  0.000 % |
26.56/26.70	c |     49781 |     462    24913    68224 |    38316    31764     87 |  0.000 % |
26.86/26.91	c |     49944 |     462    24913    68224 |    38316    31927     87 |  0.000 % |
27.06/27.18	c |     50121 |     462    24913    68224 |    31983    32104     87 |  0.000 % |
27.16/27.28	c |     50315 |     462    24913    68224 |    31983    24458     85 |  0.000 % |
27.46/27.57	c |     50527 |     462    24913    68224 |    31983    24670     85 |  0.000 % |
27.76/27.89	c |     50760 |     462    24913    68224 |    31983    24903     85 |  0.000 % |
28.06/28.18	c |     51016 |     462    24913    68224 |    31983    25159     85 |  0.000 % |
28.46/28.60	c |     51300 |     462    24913    68224 |    31983    25443     85 |  0.000 % |
28.76/28.89	c |     51609 |     462    24913    68224 |    31983    25752     85 |  0.000 % |
29.16/29.23	c |     51949 |     462    24913    68224 |    31983    26092     85 |  0.000 % |
29.56/29.65	c |     52322 |     462    24913    68224 |    31983    26465     85 |  0.000 % |
29.96/30.01	c |     52733 |     462    24913    68224 |    31983    26876     85 |  0.000 % |
30.26/30.39	c |     53182 |     462    24913    68224 |    31983    27325     86 |  0.000 % |
30.66/30.78	c |     53676 |     462    24913    68224 |    31983    27819     85 |  0.000 % |
31.06/31.18	c |     54218 |     462    24913    68224 |    31983    28361     86 |  0.000 % |
31.66/31.79	c |     54816 |     462    24913    68224 |    31983    28959     86 |  0.000 % |
32.26/32.37	c |     55471 |     462    24913    68224 |    31983    29614     86 |  0.000 % |
32.76/32.89	c |     56191 |     462    24913    68224 |    31983    30334     86 |  0.000 % |
32.86/32.94	c |     56292 |     462    24913    68224 |    31983    30435     86 |  0.000 % |
33.06/33.13	c |     56406 |     462    24913    68224 |    31983    30549     86 |  0.000 % |
33.26/33.39	c |     56530 |     462    24913    68224 |    31983    30673     86 |  0.000 % |
33.56/33.63	c |     56663 |     462    24913    68224 |    31983    30806     86 |  0.000 % |
33.66/33.78	c |     56813 |     462    24913    68224 |    31983    30956     86 |  0.000 % |
33.96/34.05	c |     56973 |     462    24913    68224 |    31983    31116     86 |  0.000 % |
34.16/34.29	c |     57150 |     462    24913    68224 |    31983    31293     86 |  0.000 % |
34.46/34.53	c |     57344 |     462    24913    68224 |    31983    31487     86 |  0.000 % |
34.66/34.78	c |     57557 |     462    24913    68224 |    31983    31700     86 |  0.000 % |
35.16/35.22	c |     57791 |     462    24913    68224 |    31983    31934     86 |  0.000 % |
35.46/35.55	c |     58048 |     462    24913    68224 |    31983    32191     86 |  0.000 % |
35.96/36.00	c |     58330 |     462    24913    68224 |    31983    25736     83 |  0.000 % |
36.16/36.30	c |     58640 |     462    24913    68224 |    31983    26046     83 |  0.000 % |
36.46/36.57	c |     58981 |     462    24913    68224 |    31983    26387     83 |  0.000 % |
36.96/37.01	c |     59353 |     462    24913    68224 |    31983    26759     83 |  0.000 % |
37.26/37.37	c |     59762 |     462    24913    68224 |    31983    27168     83 |  0.000 % |
37.66/37.76	c |     60211 |     462    24913    68224 |    27406    27617     83 |  0.000 % |
38.16/38.22	c |     60704 |     462    24913    68224 |    27406    22392     82 |  0.000 % |
38.56/38.66	c |     61249 |     462    24913    68224 |    27406    22937     82 |  0.000 % |
38.96/39.02	c |     61846 |     462    24913    68224 |    27406    23534     82 |  0.000 % |
39.56/39.65	c |     62501 |     462    24913    68224 |    27406    24189     82 |  0.000 % |
40.05/40.13	c |     63221 |     462    24913    68224 |    27406    24909     82 |  0.000 % |
40.66/40.75	c |     64013 |     462    24913    68224 |    27406    25701     82 |  0.000 % |
40.75/40.85	c |     64114 |     462    24913    68224 |    27406    25802     82 |  0.000 % |
40.85/40.99	c |     64226 |     462    24913    68224 |    27406    25914     82 |  0.000 % |
40.95/41.06	c |     64348 |     462    24913    68224 |    27406    26036     82 |  0.000 % |
41.15/41.22	c |     64483 |     462    24913    68224 |    27406    26171     82 |  0.000 % |
41.25/41.32	c |     64629 |     462    24913    68224 |    27406    26317     82 |  0.000 % |
41.35/41.44	c |     64789 |     462    24913    68224 |    27406    26477     82 |  0.000 % |
41.56/41.60	c |     64967 |     462    24913    68224 |    27406    26655     82 |  0.000 % |
41.66/41.72	c |     65162 |     462    24913    68224 |    27406    26850     82 |  0.000 % |
41.86/41.91	c |     65376 |     462    24913    68224 |    27406    27064     82 |  0.000 % |
41.96/42.08	c |     65609 |     462    24913    68224 |    27406    27297     82 |  0.000 % |
42.16/42.24	c |     65865 |     462    24913    68224 |    27406    27553     82 |  0.000 % |
42.46/42.52	c |     66146 |     462    24913    68224 |    27406    23699     81 |  0.000 % |
42.55/42.68	c |     66457 |     462    24913    68224 |    27406    24010     81 |  0.000 % |
42.86/42.97	c |     66798 |     462    24913    68224 |    27406    24351     81 |  0.000 % |
43.35/43.40	c |     67170 |     462    24913    68224 |    27406    24723     81 |  0.000 % |
43.55/43.64	c |     67579 |     462    24913    68224 |    27406    25132     81 |  0.000 % |
43.86/43.96	c |     68029 |     462    24913    68224 |    27406    25582     81 |  0.000 % |
44.25/44.38	c |     68524 |     462    24913    68224 |    27406    26077     81 |  0.000 % |
44.85/44.95	c |     69067 |     462    24913    68224 |    27406    26620     81 |  0.000 % |
45.25/45.37	c |     69663 |     462    24913    68224 |    27406    27216     81 |  0.000 % |
45.95/46.04	c |     70320 |     462    24913    68224 |    27554    23495     78 |  0.000 % |
46.45/46.58	c |     71040 |     462    24913    68224 |    27554    24215     79 |  0.000 % |
47.15/47.24	c |     71834 |     462    24913    68224 |    27554    25009     78 |  0.000 % |
47.85/47.93	c |     72706 |     462    24913    68224 |    27554    25881     78 |  0.000 % |
47.85/47.99	c |     72808 |     462    24913    68224 |    27554    25983     78 |  0.000 % |
47.95/48.07	c |     72918 |     462    24913    68224 |    27554    26093     78 |  0.000 % |
48.15/48.24	c |     73041 |     462    24913    68224 |    27554    26216     78 |  0.000 % |
48.25/48.36	c |     73175 |     462    24913    68224 |    27554    26350     78 |  0.000 % |
48.35/48.48	c |     73321 |     462    24913    68224 |    27554    26496     78 |  0.000 % |
48.45/48.58	c |     73481 |     462    24913    68224 |    27554    26656     78 |  0.000 % |
48.55/48.63	c |     73658 |     462    24913    68224 |    27554    26833     79 |  0.000 % |
48.65/48.72	c |     73851 |     462    24913    68224 |    27554    27026     79 |  0.000 % |
49.05/49.11	c |     74064 |     462    24913    68224 |    27554    27239     79 |  0.000 % |
49.25/49.32	c |     74297 |     462    24913    68224 |    27554    27472     79 |  0.000 % |
49.75/49.82	c |     74553 |     462    24913    68224 |    27554    27728     80 |  0.000 % |
50.05/50.17	c |     74835 |     462    24913    68224 |    27554    23385     78 |  0.000 % |
50.55/50.67	c |     75145 |     462    24913    68224 |    27554    23695     79 |  0.000 % |
51.05/51.11	c |     75486 |     462    24913    68224 |    27554    24036     79 |  0.000 % |
51.35/51.41	c |     75858 |     462    24913    68224 |    27554    24408     79 |  0.000 % |
51.75/51.88	c |     76267 |     462    24913    68224 |    27554    24817     79 |  0.000 % |
52.35/52.42	c |     76716 |     462    24913    68224 |    27554    25266     79 |  0.000 % |
52.55/52.63	c |     77214 |     462    24913    68224 |    27554    25764     80 |  0.000 % |
53.15/53.24	c |     77758 |     462    24913    68224 |    27554    26308     80 |  0.000 % |
53.75/53.86	c |     78356 |     462    24913    68224 |    27554    26906     80 |  0.000 % |
54.65/54.74	c |     79013 |     462    24913    68224 |    27554    27563     81 |  0.000 % |
55.25/55.37	c |     79733 |     462    24913    68224 |    27554    21734     80 |  0.000 % |
56.05/56.18	c |     80527 |     462    24913    68224 |    22004    17025     82 |  0.000 % |
56.85/56.91	c |     81399 |     462    24913    68224 |    22004    17897     83 |  0.000 % |
57.65/57.72	c |     82357 |     462    24913    68224 |    22004    18855     85 |  0.000 % |
57.65/57.77	c |     82460 |     462    24913    68224 |    22004    18958     85 |  0.000 % |
57.75/57.82	c |     82571 |     462    24913    68224 |    22004    19069     85 |  0.000 % |
57.75/57.86	c |     82696 |     462    24913    68224 |    22004    19194     85 |  0.000 % |
57.75/57.90	c |     82830 |     462    24913    68224 |    22004    19328     85 |  0.000 % |
57.95/58.00	c |     82977 |     462    24913    68224 |    22004    19475     85 |  0.000 % |
57.95/58.04	c |     83139 |     462    24913    68224 |    22004    19637     85 |  0.000 % |
58.05/58.12	c |     83316 |     462    24913    68224 |    22004    19814     85 |  0.000 % |
58.15/58.23	c |     83510 |     462    24913    68224 |    22004    20008     85 |  0.000 % |
58.25/58.35	c |     83726 |     462    24913    68224 |    22004    20224     86 |  0.000 % |
58.45/58.53	c |     83959 |     462    24913    68224 |    22004    20457     86 |  0.000 % |
58.65/58.70	c |     84217 |     462    24913    68224 |    22004    20715     86 |  0.000 % |
58.75/58.89	c |     84498 |     462    24913    68224 |    22004    20996     86 |  0.000 % |
59.05/59.15	c |     84807 |     462    24913    68224 |    22004    21305     87 |  0.000 % |
59.25/59.33	c |     85149 |     462    24913    68224 |    22004    21647     87 |  0.000 % |
59.45/59.54	c |     85522 |     462    24913    68224 |    22004    22020     87 |  0.000 % |
59.65/59.78	c |     85931 |     462    24913    68224 |    22004    17534     90 |  0.000 % |
59.95/60.05	c |     86380 |     462    24913    68224 |    22004    17983     91 |  0.000 % |
60.25/60.34	c |     86874 |     462    24913    68224 |    22004    18477     92 |  0.000 % |
60.55/60.61	c |     87419 |     462    24913    68224 |    22004    19022     92 |  0.000 % |
60.85/60.93	c |     88016 |     462    24913    68224 |    22004    19619     93 |  0.000 % |
61.25/61.35	c |     88672 |     462    24913    68224 |    22004    20275     94 |  0.000 % |
61.65/61.79	c |     89393 |     462    24913    68224 |    22004    20996     94 |  0.000 % |
62.24/62.31	c |     90187 |     462    24913    68224 |    21604    21790     95 |  0.000 % |
62.55/62.64	c |     91058 |     462    24913    68224 |    21604    18361     97 |  0.000 % |
62.94/63.06	c |     92018 |     462    24913    68224 |    21604    19321     97 |  0.000 % |
63.54/63.65	c |     93071 |     462    24913    68224 |    21604    20374     98 |  0.000 % |
63.65/63.71	c |     93174 |     462    24913    68224 |    21604    20477     98 |  0.000 % |
63.65/63.78	c |     93284 |     462    24913    68224 |    21604    20587     98 |  0.000 % |
63.75/63.87	c |     93408 |     462    24913    68224 |    21604    20711     98 |  0.000 % |
63.84/63.91	c |     93542 |     462    24913    68224 |    21604    20845     98 |  0.000 % |
63.94/64.03	c |     93688 |     462    24913    68224 |    21604    20991     98 |  0.000 % |
64.04/64.11	c |     93848 |     462    24913    68224 |    21604    21151     98 |  0.000 % |
64.14/64.22	c |     94026 |     462    24913    68224 |    21604    21329     98 |  0.000 % |
64.24/64.37	c |     94220 |     462    24913    68224 |    21604    21523     98 |  0.000 % |
64.44/64.56	c |     94432 |     462    24913    68224 |    21604    21735     99 |  0.000 % |
64.64/64.75	c |     94666 |     462    24913    68224 |    21604    18167     99 |  0.000 % |
64.75/64.90	c |     94922 |     462    24913    68224 |    21604    18423     99 |  0.000 % |
64.94/65.07	c |     95204 |     462    24913    68224 |    21604    18705     99 |  0.000 % |
65.14/65.23	c |     95513 |     462    24913    68224 |    21604    19014     99 |  0.000 % |
65.34/65.47	c |     95852 |     462    24913    68224 |    21604    19353     99 |  0.000 % |
65.64/65.71	c |     96225 |     462    24913    68224 |    21604    19726     99 |  0.000 % |
65.75/65.88	c |     96634 |     462    24913    68224 |    21604    20135    100 |  0.000 % |
65.95/66.08	c |     97083 |     462    24913    68224 |    21604    20584    100 |  0.000 % |
66.45/66.52	c |     97576 |     462    24913    68224 |    21604    21077    100 |  0.000 % |
66.85/66.95	c |     98118 |     462    24913    68224 |    21604    21619    101 |  0.000 % |
67.15/67.30	c |     98714 |     462    24913    68224 |    21604    18552     99 |  0.000 % |
67.55/67.65	c |     99370 |     462    24913    68224 |    21604    19208     99 |  0.000 % |
67.85/67.97	c |    100092 |     462    24913    68224 |    19838    19930     99 |  0.000 % |
68.35/68.46	c |    100885 |     462    24913    68224 |    19838    17428     98 |  0.000 % |
68.65/68.72	c |    101758 |     462    24913    68224 |    19838    18301     98 |  0.000 % |
69.05/69.14	c |    102716 |     462    24913    68224 |    19838    19259     98 |  0.000 % |
69.55/69.64	c |    103770 |     462    24913    68224 |    19838    17429     97 |  0.000 % |
69.95/70.03	c |    104929 |     462    24913    68224 |    19838    18588     97 |  0.000 % |
69.95/70.09	c |    105034 |     462    24913    68224 |    19838    18693     97 |  0.000 % |
70.05/70.19	c |    105144 |     462    24913    68224 |    19838    18803     97 |  0.000 % |
70.15/70.26	c |    105267 |     462    24913    68224 |    19838    18926     97 |  0.000 % |
70.25/70.33	c |    105401 |     462    24913    68224 |    19838    19060     97 |  0.000 % |
70.25/70.40	c |    105547 |     462    24913    68224 |    19838    19206     97 |  0.000 % |
70.45/70.53	c |    105707 |     462    24913    68224 |    19838    19366     97 |  0.000 % |
70.55/70.61	c |    105885 |     462    24913    68224 |    19838    19544     97 |  0.000 % |
70.65/70.72	c |    106078 |     462    24913    68224 |    19838    19737     97 |  0.000 % |
70.75/70.90	c |    106291 |     462    24913    68224 |    19838    19950     97 |  0.000 % |
70.95/71.00	c |    106525 |     462    24913    68224 |    19838    17442     95 |  0.000 % |
71.05/71.17	c |    106781 |     462    24913    68224 |    19838    17698     95 |  0.000 % |
71.25/71.33	c |    107062 |     462    24913    68224 |    19838    17979     96 |  0.000 % |
71.35/71.50	c |    107373 |     462    24913    68224 |    19838    18290     96 |  0.000 % |
71.65/71.72	c |    107712 |     462    24913    68224 |    19838    18629     96 |  0.000 % |
71.85/71.95	c |    108085 |     462    24913    68224 |    19838    19002     97 |  0.000 % |
72.15/72.24	c |    108494 |     462    24913    68224 |    19838    19411     97 |  0.000 % |
72.35/72.49	c |    108943 |     462    24913    68224 |    19838    19860     97 |  0.000 % |
72.65/72.76	c |    109438 |     462    24913    68224 |    19838    17560     96 |  0.000 % |
72.95/73.01	c |    109982 |     462    24913    68224 |    19838    18104     96 |  0.000 % |
73.35/73.40	c |    110579 |     462    24913    68224 |    18123    16242     95 |  0.000 % |
73.65/73.74	c |    111235 |     462    24913    68224 |    18123    16898     96 |  0.000 % |
73.95/74.08	c |    111955 |     462    24913    68224 |    18123    17618     97 |  0.000 % |
74.45/74.59	c |    112749 |     462    24913    68224 |    18123    18412     98 |  0.000 % |
74.75/74.89	c |    113622 |     462    24913    68224 |    18123    17275     98 |  0.000 % |
75.45/75.56	c |    114581 |     462    24913    68224 |    18123    18234     99 |  0.000 % |
76.05/76.19	c |    115638 |     462    24913    68224 |    18123    17357    100 |  0.000 % |
76.65/76.75	c |    116798 |     462    24913    68224 |    18123    16545    101 |  0.000 % |
77.35/77.41	c |    118071 |     462    24913    68224 |    18123    17818    101 |  0.000 % |
77.35/77.49	c |    118176 |     462    24913    68224 |    18123    17923    101 |  0.000 % |
77.45/77.55	c |    118286 |     462    24913    68224 |    18123    18033    101 |  0.000 % |
77.45/77.60	c |    118409 |     462    24913    68224 |    18123    18156    101 |  0.000 % |
77.55/77.68	c |    118543 |     462    24913    68224 |    18123    16189    101 |  0.000 % |
77.65/77.76	c |    118694 |     462    24913    68224 |    18123    16340    101 |  0.000 % |
77.75/77.84	c |    118856 |     462    24913    68224 |    18123    16502    101 |  0.000 % |
77.85/77.94	c |    119033 |     462    24913    68224 |    18123    16679    101 |  0.000 % |
78.05/78.10	c |    119227 |     462    24913    68224 |    18123    16873    101 |  0.000 % |
78.05/78.19	c |    119443 |     462    24913    68224 |    18123    17089    101 |  0.000 % |
78.25/78.34	c |    119676 |     462    24913    68224 |    18123    17322    101 |  0.000 % |
78.35/78.47	c |    119934 |     462    24913    68224 |    18123    17580    102 |  0.000 % |
78.55/78.69	c |    120215 |     462    24913    68224 |    17646    17861    102 |  0.000 % |
78.75/78.88	c |    120524 |     462    24913    68224 |    17646    16040    101 |  0.000 % |
79.05/79.14	c |    120863 |     462    24913    68224 |    17646    16379    102 |  0.000 % |
79.25/79.36	c |    121236 |     462    24913    68224 |    17646    16752    102 |  0.000 % |
79.55/79.61	c |    121647 |     462    24913    68224 |    17646    17163    102 |  0.000 % |
79.75/79.88	c |    122099 |     462    24913    68224 |    17646    17615    103 |  0.000 % |
80.15/80.23	c |    122592 |     462    24913    68224 |    17646    15997    101 |  0.000 % |
80.55/80.65	c |    123135 |     462    24913    68224 |    17646    16540    102 |  0.000 % |
81.15/81.28	c |    123734 |     462    24913    68224 |    17646    17139    102 |  0.000 % |
81.64/81.74	c |    124389 |     462    24913    68224 |    17646    17794    102 |  0.000 % |
81.94/82.03	c |    125110 |     462    24913    68224 |    17646    15983    100 |  0.000 % |
82.24/82.31	c |    125907 |     462    24913    68224 |    17646    16780    101 |  0.000 % |
82.64/82.73	c |    126778 |     462    24913    68224 |    17646    17651    101 |  0.000 % |
83.14/83.25	c |    127737 |     462    24913    68224 |    17646    16383     99 |  0.000 % |
83.64/83.73	c |    128790 |     462    24913    68224 |    17646    17436     99 |  0.000 % |
84.04/84.18	c |    129948 |     462    24913    68224 |    17646    16511     98 |  0.000 % |
84.45/84.59	c |    131222 |     462    24913    68224 |    16565    16023     97 |  0.000 % |
84.85/84.95	c |    132622 |     462    24913    68224 |    16565    15739     96 |  0.000 % |
84.95/85.00	c |    132724 |     462    24913    68224 |    16565    15841     96 |  0.000 % |
84.95/85.06	c |    132836 |     462    24913    68224 |    16565    15953     96 |  0.000 % |
85.05/85.11	c |    132957 |     462    24913    68224 |    16565    16074     96 |  0.000 % |
85.05/85.16	c |    133091 |     462    24913    68224 |    16565    16208     96 |  0.000 % |
85.15/85.28	c |    133238 |     462    24913    68224 |    16565    16355     96 |  0.000 % |
85.25/85.36	c |    133401 |     462    24913    68224 |    16565    16518     96 |  0.000 % |
85.35/85.48	c |    133577 |     462    24913    68224 |    16565    16694     96 |  0.000 % |
85.54/85.62	c |    133772 |     462    24913    68224 |    16565    15220     95 |  0.000 % |
85.65/85.73	c |    133984 |     462    24913    68224 |    16565    15432     95 |  0.000 % |
85.75/85.85	c |    134218 |     462    24913    68224 |    16565    15666     95 |  0.000 % |
85.84/85.98	c |    134474 |     462    24913    68224 |    16565    15922     96 |  0.000 % |
85.94/86.10	c |    134756 |     462    24913    68224 |    16565    16204     96 |  0.000 % |
86.14/86.25	c |    135065 |     462    24913    68224 |    16565    16513     96 |  0.000 % |
86.34/86.46	c |    135404 |     462    24913    68224 |    16565    15177     95 |  0.000 % |
86.54/86.63	c |    135779 |     462    24913    68224 |    16565    15552     95 |  0.000 % |
86.75/86.81	c |    136189 |     462    24913    68224 |    16565    15962     95 |  0.000 % |
86.85/86.99	c |    136638 |     462    24913    68224 |    16565    16411     95 |  0.000 % |
87.14/87.23	c |    137131 |     462    24913    68224 |    16565    15227     94 |  0.000 % |
87.44/87.51	c |    137673 |     462    24913    68224 |    16565    15769     95 |  0.000 % |
87.74/87.82	c |    138270 |     462    24913    68224 |    16565    16366     95 |  0.000 % |
88.14/88.24	c |    138925 |     462    24913    68224 |    16565    15335     94 |  0.000 % |
88.64/88.70	c |    139646 |     462    24913    68224 |    16565    16056     95 |  0.000 % |
89.05/89.13	c |    140438 |     462    24913    68224 | 2147483647    16848     96 |  0.000 % |
89.44/89.53	c |    141310 |     462    24913    68224 | 2147483647    17720     96 |  0.000 % |
89.84/89.95	c |    142269 |     462    24913    68224 | 2147483647    18679     97 |  0.000 % |
90.24/90.35	c |    143324 |     462    24913    68224 | 2147483647    19734     97 |  0.000 % |
90.64/90.76	c |    144483 |     462    24913    68224 | 2147483647    20893     98 |  0.000 % |
91.14/91.20	c |    145757 |     462    24913    68224 | 2147483647    22167     98 |  0.000 % |
91.84/91.95	c |    147158 |     462    24913    68224 | 2147483647    23568     98 |  0.000 % |
93.14/93.22	c |    148700 |     462    24913    68224 | 2147483647    25110     99 |  0.000 % |
93.24/93.30	c |    148800 |     462    24913    68224 | 2147483647    25210     99 |  0.000 % |
93.34/93.41	c |    148910 |     462    24913    68224 | 2147483647    25320    100 |  0.000 % |
93.44/93.56	c |    149031 |     462    24913    68224 | 2147483647    25441    100 |  0.000 % |
93.64/93.73	c |    149164 |     462    24913    68224 | 2147483647    25574    100 |  0.000 % |
93.74/93.88	c |    149312 |     462    24913    68224 | 2147483647    25722    100 |  0.000 % |
94.04/94.11	c |    149472 |     462    24913    68224 | 2147483647    25882    100 |  0.000 % |
94.14/94.26	c |    149650 |     462    24913    68224 | 2147483647    26060    100 |  0.000 % |
94.44/94.53	c |    149843 |     462    24913    68224 | 2147483647    26253    100 |  0.000 % |
94.64/94.73	c |    150061 |     462    24913    68224 |    26412    26471    100 |  0.000 % |
94.84/94.99	c |    150294 |     462    24913    68224 |    26412    22937    100 |  0.000 % |
95.14/95.23	c |    150551 |     462    24913    68224 |    26412    23194    100 |  0.000 % |
95.34/95.48	c |    150832 |     462    24913    68224 |    26412    23475    100 |  0.000 % |
95.74/95.82	c |    151143 |     462    24913    68224 |    26412    23786    100 |  0.000 % |
95.94/96.04	c |    151483 |     462    24913    68224 |    26412    24126    100 |  0.000 % |
96.24/96.32	c |    151856 |     462    24913    68224 |    26412    24499    101 |  0.000 % |
96.44/96.54	c |    152265 |     462    24913    68224 |    26412    24908    101 |  0.000 % |
96.74/96.81	c |    152717 |     462    24913    68224 |    26412    25360    100 |  0.000 % |
97.14/97.23	c |    153211 |     462    24913    68224 |    26412    25854    101 |  0.000 % |
97.54/97.66	c |    153757 |     462    24913    68224 |    26412    26400    101 |  0.000 % |
97.94/98.04	c |    154353 |     462    24913    68224 |    26412    21785     99 |  0.000 % |
98.34/98.47	c |    155010 |     462    24913    68224 |    26412    22442     98 |  0.000 % |
98.94/99.03	c |    155732 |     462    24913    68224 |    26412    23164     99 |  0.000 % |
99.54/99.69	c |    156524 |     462    24913    68224 |    26412    23956     99 |  0.000 % |
100.54/100.66	c |    157395 |     462    24913    68224 |    26412    24827    100 |  0.000 % |
101.44/101.58	c |    158353 |     462    24913    68224 |    26412    25785    101 |  0.000 % |
102.54/102.64	c |    159406 |     462    24913    68224 |    26412    21505     99 |  0.000 % |
103.44/103.53	c |    160564 |     462    24913    68224 |    22100    18210     98 |  0.000 % |
104.44/104.51	c |    161838 |     462    24913    68224 |    22100    19484     99 |  0.000 % |
105.54/105.66	c |    163238 |     462    24913    68224 |    22100    20884    100 |  0.000 % |
106.14/106.25	c |    164778 |     462    24913    68224 |    22100    22424     99 |  0.000 % |
106.64/106.78	c |    166473 |     462    24913    68224 |    22100    20311     97 |  0.000 % |
106.74/106.83	c |    166574 |     462    24913    68224 |    22100    20412     97 |  0.000 % |
106.84/106.94	c |    166684 |     462    24913    68224 |    22100    20522     97 |  0.000 % |
106.94/107.05	c |    166807 |     462    24913    68224 |    22100    20645     97 |  0.000 % |
107.04/107.12	c |    166942 |     462    24913    68224 |    22100    20780     97 |  0.000 % |
107.14/107.25	c |    167091 |     462    24913    68224 |    22100    20929     98 |  0.000 % |
107.34/107.40	c |    167253 |     462    24913    68224 |    22100    21091     98 |  0.000 % |
107.53/107.62	c |    167433 |     462    24913    68224 |    22100    21271     98 |  0.000 % |
107.74/107.82	c |    167627 |     462    24913    68224 |    22100    21465     98 |  0.000 % |
108.03/108.12	c |    167839 |     462    24913    68224 |    22100    21677     98 |  0.000 % |
108.33/108.41	c |    168072 |     462    24913    68224 |    22100    21910     98 |  0.000 % |
108.53/108.64	c |    168330 |     462    24913    68224 |    22100    22168     98 |  0.000 % |
108.84/108.94	c |    168611 |     462    24913    68224 |    22100    18793     98 |  0.000 % |
109.03/109.14	c |    168920 |     462    24913    68224 |    22100    19102     98 |  0.000 % |
109.33/109.48	c |    169260 |     462    24913    68224 |    22100    19442     99 |  0.000 % |
109.63/109.74	c |    169635 |     462    24913    68224 |    22100    19817     99 |  0.000 % |
109.84/109.91	c |    170048 |     462    24913    68224 |    20184    20230     99 |  0.000 % |
110.23/110.31	c |    170500 |     462    24913    68224 |    20184    17371     97 |  0.000 % |
110.53/110.60	c |    170995 |     462    24913    68224 |    20184    17866     98 |  0.000 % |
110.83/110.98	c |    171538 |     462    24913    68224 |    20184    18409     98 |  0.000 % |
111.43/111.58	c |    172135 |     462    24913    68224 |    20184    19006     98 |  0.000 % |
111.73/111.84	c |    172793 |     462    24913    68224 |    20184    19664     98 |  0.000 % |
112.33/112.46	c |    173514 |     462    24913    68224 |    20184    20385     98 |  0.000 % |
113.03/113.17	c |    174310 |     462    24913    68224 |    20184    17727     95 |  0.000 % |
113.43/113.55	c |    175182 |     462    24913    68224 |    20184    18599     95 |  0.000 % |
114.34/114.41	c |    176140 |     462    24913    68224 |    20184    19557     96 |  0.000 % |
115.23/115.35	c |    177194 |     462    24913    68224 |    20184    17313     95 |  0.000 % |
116.03/116.15	c |    178355 |     462    24913    68224 |    20184    18474     96 |  0.000 % |
117.13/117.26	c |    179628 |     462    24913    68224 |    20184    19747     97 |  0.000 % |
118.23/118.34	c |    181028 |     462    24913    68224 |    20120    17833     97 |  0.000 % |
119.63/119.79	c |    182569 |     462    24913    68224 |    20120    19374     98 |  0.000 % |
121.23/121.34	c |    184263 |     462    24913    68224 |    20120    17823     97 |  0.000 % |
122.33/122.47	c |    186126 |     462    24913    68224 |    20120    19686     97 |  0.000 % |
122.53/122.61	c |    186227 |     462    24913    68224 |    20120    19787     97 |  0.000 % |
122.63/122.73	c |    186337 |     462    24913    68224 |    20120    19897     97 |  0.000 % |
122.73/122.82	c |    186459 |     462    24913    68224 |    20120    20019     97 |  0.000 % |
122.83/122.98	c |    186595 |     462    24913    68224 |    20120    20155     98 |  0.000 % |
123.03/123.16	c |    186744 |     462    24913    68224 |    20120    17145     97 |  0.000 % |
123.23/123.38	c |    186905 |     462    24913    68224 |    20120    17306     97 |  0.000 % |
123.43/123.56	c |    187083 |     462    24913    68224 |    20120    17484     97 |  0.000 % |
123.73/123.82	c |    187276 |     462    24913    68224 |    20120    17677     97 |  0.000 % |
123.93/124.04	c |    187489 |     462    24913    68224 |    20120    17890     97 |  0.000 % |
124.23/124.31	c |    187723 |     462    24913    68224 |    20120    18124     97 |  0.000 % |
124.53/124.61	c |    187979 |     462    24913    68224 |    20120    18380     98 |  0.000 % |
124.83/124.98	c |    188260 |     462    24913    68224 |    20120    18661     98 |  0.000 % |
125.23/125.39	c |    188571 |     462    24913    68224 |    20120    18972     98 |  0.000 % |
125.83/125.91	c |    188912 |     462    24913    68224 |    20120    19313     98 |  0.000 % |
126.23/126.37	c |    189286 |     462    24913    68224 |    20120    19687     99 |  0.000 % |
126.63/126.78	c |    189695 |     462    24913    68224 |    20120    20096     99 |  0.000 % |
127.13/127.20	c |    190144 |     462    24913    68224 |    17077    17220     97 |  0.000 % |
127.43/127.57	c |    190639 |     462    24913    68224 |    17077    14888     96 |  0.000 % |
127.93/128.06	c |    191181 |     462    24913    68224 |    17077    15430     96 |  0.000 % |
128.33/128.45	c |    191778 |     462    24913    68224 |    17077    16027     96 |  0.000 % |
128.83/128.98	c |    192434 |     462    24913    68224 |    17077    16683     97 |  0.000 % |
129.33/129.45	c |    193154 |     462    24913    68224 |    17077    17403     97 |  0.000 % |
129.73/129.82	c |    193947 |     462    24913    68224 |    17077    15493     94 |  0.000 % |
130.23/130.35	c |    194820 |     462    24913    68224 |    17077    16366     95 |  0.000 % |
130.93/131.07	c |    195779 |     462    24913    68224 |    17077    17325     95 |  0.000 % |
131.53/131.68	c |    196838 |     462    24913    68224 |    17077    15800     95 |  0.000 % |
132.62/132.76	c |    197997 |     462    24913    68224 |    17077    16959     96 |  0.000 % |
133.22/133.34	c |    199273 |     462    24913    68224 |    17077    15829     96 |  0.000 % |
134.32/134.43	c |    200675 |     462    24913    68224 |    16560    15005     95 |  0.000 % |
135.13/135.23	c |    202215 |     462    24913    68224 |    16560    16545     96 |  0.000 % |
136.23/136.35	c |    203911 |     462    24913    68224 |    16560    16266     95 |  0.000 % |
137.12/137.24	c |    205774 |     462    24913    68224 |    16560    16197     95 |  0.000 % |
138.22/138.37	c |    207824 |     462    24913    68224 |    16560    16471     94 |  0.000 % |
138.32/138.45	c |    207924 |     462    24913    68224 |    16560    16571     94 |  0.000 % |
138.43/138.56	c |    208036 |     462    24913    68224 |    16560    14915     92 |  0.000 % |
138.53/138.65	c |    208157 |     462    24913    68224 |    16560    15036     92 |  0.000 % |
138.62/138.70	c |    208290 |     462    24913    68224 |    16560    15169     93 |  0.000 % |
138.62/138.76	c |    208438 |     462    24913    68224 |    16560    15317     93 |  0.000 % |
138.72/138.84	c |    208599 |     462    24913    68224 |    16560    15478     93 |  0.000 % |
138.82/138.93	c |    208776 |     462    24913    68224 |    16560    15655     93 |  0.000 % |
138.92/139.03	c |    208969 |     462    24913    68224 |    16560    15848     93 |  0.000 % |
139.12/139.23	c |    209181 |     462    24913    68224 |    16560    16060     93 |  0.000 % |
139.22/139.39	c |    209416 |     462    24913    68224 |    16560    16295     94 |  0.000 % |
139.42/139.57	c |    209673 |     462    24913    68224 |    16560    16552     94 |  0.000 % |
139.63/139.78	c |    209954 |     462    24913    68224 |    16560    16833     94 |  0.000 % |
139.92/140.08	c |    210263 |     462    24913    68224 |    15120    13740     92 |  0.000 % |
140.22/140.33	c |    210604 |     462    24913    68224 |    15120    14081     92 |  0.000 % |
140.42/140.57	c |    210978 |     462    24913    68224 |    15120    14455     93 |  0.000 % |
140.73/140.89	c |    211388 |     462    24913    68224 |    15120    14865     93 |  0.000 % |
141.12/141.24	c |    211838 |     462    24913    68224 |    15120    15315     93 |  0.000 % |
141.42/141.53	c |    212332 |     462    24913    68224 |    15120    14278     93 |  0.000 % |
141.83/141.91	c |    212878 |     462    24913    68224 |    15120    14824     94 |  0.000 % |
142.12/142.21	c |    213474 |     462    24913    68224 |    15120    15420     94 |  0.000 % |
142.62/142.74	c |    214129 |     462    24913    68224 |    15120    14533     95 |  0.000 % |
143.12/143.29	c |    214851 |     462    24913    68224 |    15120    15255     96 |  0.000 % |
143.72/143.82	c |    215646 |     462    24913    68224 |    15120    14525     96 |  0.000 % |
144.42/144.55	c |    216520 |     462    24913    68224 |    15120    15399     97 |  0.000 % |
145.32/145.40	c |    217478 |     462    24913    68224 |    15120    14818     98 |  0.000 % |
146.02/146.11	c |    218531 |     462    24913    68224 |    15120    14337    100 |  0.000 % |
146.72/146.89	c |    219690 |     462    24913    68224 |    15120    13964    100 |  0.000 % |
147.72/147.82	c |    220963 |     462    24913    68224 | 2147483647    15237    101 |  0.000 % |
149.02/149.14	c |    222364 |     462    24913    68224 | 2147483647    16638    101 |  0.000 % |
149.52/149.68	c |    223906 |     462    24913    68224 | 2147483647    18180    101 |  0.000 % |
150.32/150.43	c |    225601 |     462    24913    68224 | 2147483647    19875    100 |  0.000 % |
151.43/151.51	c |    227465 |     462    24913    68224 | 2147483647    21739    100 |  0.000 % |
152.03/152.17	c |    229516 |     462    24913    68224 | 2147483647    23790    100 |  0.000 % |
154.33/154.46	c |    231771 |     462    24913    68224 | 2147483647    26045    102 |  0.000 % |
154.43/154.54	c |    231871 |     462    24913    68224 | 2147483647    26145    102 |  0.000 % |
154.63/154.75	c |    231982 |     462    24913    68224 | 2147483647    26256    102 |  0.000 % |
154.73/154.86	c |    232103 |     462    24913    68224 | 2147483647    26377    102 |  0.000 % |
155.03/155.11	c |    232236 |     462    24913    68224 | 2147483647    26510    102 |  0.000 % |
155.23/155.32	c |    232383 |     462    24913    68224 | 2147483647    26657    102 |  0.000 % |
155.33/155.44	c |    232543 |     462    24913    68224 | 2147483647    26817    102 |  0.000 % |
155.73/155.89	c |    232719 |     462    24913    68224 | 2147483647    26993    102 |  0.000 % |
156.13/156.26	c |    232913 |     462    24913    68224 | 2147483647    27187    102 |  0.000 % |
156.53/156.69	c |    233125 |     462    24913    68224 | 2147483647    27399    102 |  0.000 % |
156.83/156.95	c |    233358 |     462    24913    68224 | 2147483647    27632    102 |  0.000 % |
157.03/157.20	c |    233614 |     462    24913    68224 | 2147483647    27888    102 |  0.000 % |
157.32/157.49	c |    233896 |     462    24913    68224 | 2147483647    28170    102 |  0.000 % |
157.82/157.95	c |    234206 |     462    24913    68224 | 2147483647    28480    102 |  0.000 % |
158.23/158.40	c |    234545 |     462    24913    68224 | 2147483647    28819    102 |  0.000 % |
159.12/159.26	c |    234917 |     462    24913    68224 | 2147483647    29191    102 |  0.000 % |
159.92/160.06	c |    235326 |     462    24913    68224 | 2147483647    29600    102 |  0.000 % |
161.02/161.17	c |    235776 |     462    24913    68224 | 2147483647    30050    102 |  0.000 % |
161.92/162.05	c |    236269 |     462    24913    68224 | 2147483647    30543    102 |  0.000 % |
162.92/163.07	c |    236811 |     462    24913    68224 | 2147483647    31085    102 |  0.000 % |
163.92/164.09	c |    237409 |     462    24913    68224 | 2147483647    31683    102 |  0.000 % |
165.42/165.58	c |    238064 |     462    24913    68224 | 2147483647    32338    102 |  0.000 % |
166.82/166.97	c |    238784 |     462    24913    68224 | 2147483647    33058    102 |  0.000 % |
168.02/168.15	c |    239576 |     462    24913    68224 | 2147483647    33850    102 |  0.000 % |
169.12/169.25	c |    240447 |     462    24913    68224 |    34274    25930     97 |  0.000 % |
170.22/170.36	c |    241405 |     462    24913    68224 |    34274    26888     97 |  0.000 % |
171.42/171.58	c |    242461 |     462    24913    68224 |    34274    27944     98 |  0.000 % |
173.31/173.45	c |    243622 |     462    24913    68224 |    34274    29105     99 |  0.000 % |
174.82/174.93	c |    244899 |     462    24913    68224 |    34274    30382     99 |  0.000 % |
177.02/177.18	c |    246300 |     462    24913    68224 |    34274    31783     99 |  0.000 % |
178.41/178.55	c |    247840 |     462    24913    68224 |    34274    33323     98 |  0.000 % |
180.81/180.90	c |    249537 |     462    24913    68224 |    34274    25882     95 |  0.000 % |
183.01/183.11	c |    251401 |     462    24913    68224 |    26345    20764     92 |  0.000 % |
184.51/184.70	c |    253451 |     462    24913    68224 |    26345    22814     93 |  0.000 % |
186.61/186.77	c |    255704 |     462    24913    68224 |    26345    25067     92 |  0.000 % |
188.21/188.36	c |    258184 |     462    24913    68224 |    26345    22283     89 |  0.000 % |
188.41/188.51	c |    258284 |     462    24913    68224 |    26345    22383     90 |  0.000 % |
188.41/188.57	c |    258396 |     462    24913    68224 |    26345    22495     90 |  0.000 % |
188.61/188.71	c |    258520 |     462    24913    68224 |    26345    22619     90 |  0.000 % |
188.81/188.94	c |    258654 |     462    24913    68224 |    26345    22753     90 |  0.000 % |
189.01/189.14	c |    258800 |     462    24913    68224 |    26345    22899     90 |  0.000 % |
189.21/189.37	c |    258960 |     462    24913    68224 |    26345    23059     90 |  0.000 % |
189.41/189.56	c |    259136 |     462    24913    68224 |    26345    23235     90 |  0.000 % |
189.71/189.82	c |    259330 |     462    24913    68224 |    26345    23429     90 |  0.000 % |
189.91/190.00	c |    259543 |     462    24913    68224 |    26345    23642     90 |  0.000 % |
190.21/190.37	c |    259776 |     462    24913    68224 |    26345    23875     90 |  0.000 % |
190.61/190.75	c |    260032 |     462    24913    68224 |    24102    24131     90 |  0.000 % |
190.91/191.00	c |    260315 |     462    24913    68224 |    24102    19742     88 |  0.000 % |
191.11/191.26	c |    260624 |     462    24913    68224 |    24102    20051     88 |  0.000 % |
191.51/191.65	c |    260963 |     462    24913    68224 |    24102    20390     88 |  0.000 % |
191.91/192.02	c |    261337 |     462    24913    68224 |    24102    20764     89 |  0.000 % |
192.21/192.37	c |    261748 |     462    24913    68224 |    24102    21175     89 |  0.000 % |
192.71/192.88	c |    262197 |     462    24913    68224 |    24102    21624     89 |  0.000 % |
193.11/193.27	c |    262690 |     462    24913    68224 |    24102    22117     89 |  0.000 % |
193.71/193.82	c |    263233 |     462    24913    68224 |    24102    22660     89 |  0.000 % |
194.31/194.42	c |    263833 |     462    24913    68224 |    24102    23260     89 |  0.000 % |
194.71/194.83	c |    264488 |     462    24913    68224 |    24102    23915     90 |  0.000 % |
195.61/195.77	c |    265208 |     462    24913    68224 |    24102    20567     88 |  0.000 % |
196.01/196.19	c |    266006 |     462    24913    68224 |    24102    21365     89 |  0.000 % |
196.91/197.06	c |    266879 |     462    24913    68224 |    24102    22238     89 |  0.000 % |
198.31/198.46	c |    267840 |     462    24913    68224 |    24102    23199     90 |  0.000 % |
199.41/199.58	c |    268893 |     462    24913    68224 |    24102    24252     90 |  0.000 % |
200.41/200.59	c |    270055 |     462    24913    68224 |    21094    21148     90 |  0.000 % |
201.21/201.33	c |    271333 |     462    24913    68224 |    21094    18671     91 |  0.000 % |
202.31/202.47	c |    272733 |     462    24913    68224 |    21094    20071     92 |  0.000 % |
203.10/203.25	c |    274275 |     462    24913    68224 |    21094    18858     91 |  0.000 % |
204.60/204.78	c |    275969 |     462    24913    68224 |    21094    20552     91 |  0.000 % |
206.10/206.28	c |    277833 |     462    24913    68224 |    21094    19509     92 |  0.000 % |
208.30/208.48	c |    279884 |     462    24913    68224 |    21094    18477     91 |  0.000 % |
210.01/210.12	c |    282137 |     462    24913    68224 |    18597    17990     90 |  0.000 % |
211.90/212.06	c |    284616 |     462    24913    68224 |    18597    18036     90 |  0.000 % |
213.90/214.01	c |    287341 |     462    24913    68224 |    18597    18443     90 |  0.000 % |
214.00/214.10	c |    287441 |     462    24913    68224 |    18597    18543     90 |  0.000 % |
214.10/214.23	c |    287552 |     462    24913    68224 |    18597    18654     90 |  0.000 % |
214.20/214.37	c |    287673 |     462    24913    68224 |    18597    16657     89 |  0.000 % |
214.40/214.51	c |    287806 |     462    24913    68224 |    18597    16790     89 |  0.000 % |
214.50/214.63	c |    287956 |     462    24913    68224 |    18597    16940     89 |  0.000 % |
214.60/214.79	c |    288117 |     462    24913    68224 |    18597    17101     90 |  0.000 % |
214.80/214.95	c |    288293 |     462    24913    68224 |    18597    17277     90 |  0.000 % |
215.00/215.11	c |    288489 |     462    24913    68224 |    18597    17473     90 |  0.000 % |
215.10/215.30	c |    288701 |     462    24913    68224 |    18597    17685     90 |  0.000 % |
215.30/215.50	c |    288938 |     462    24913    68224 |    18597    17922     90 |  0.000 % |
215.70/215.81	c |    289194 |     462    24913    68224 |    18597    18178     90 |  0.000 % |
215.90/216.00	c |    289477 |     462    24913    68224 |    18597    18461     90 |  0.000 % |
216.10/216.23	c |    289788 |     462    24913    68224 |    18597    16703     89 |  0.000 % |
216.40/216.53	c |    290128 |     462    24913    68224 |    16915    17043     89 |  0.000 % |
216.60/216.75	c |    290503 |     462    24913    68224 |    16915    15578     88 |  0.000 % |
216.80/216.98	c |    290912 |     462    24913    68224 |    16915    15987     88 |  0.000 % |
217.10/217.21	c |    291361 |     462    24913    68224 |    16915    16436     88 |  0.000 % |
217.39/217.51	c |    291859 |     462    24913    68224 |    16915    16934     88 |  0.000 % |
217.79/217.90	c |    292405 |     462    24913    68224 |    16915    15787     88 |  0.000 % |
218.19/218.31	c |    293006 |     462    24913    68224 |    16915    16388     88 |  0.000 % |
218.99/219.11	c |    293662 |     462    24913    68224 |    16915    17044     89 |  0.000 % |
219.49/219.69	c |    294382 |     462    24913    68224 |    16915    16060     88 |  0.000 % |
219.90/220.02	c |    295175 |     462    24913    68224 |    16915    16853     88 |  0.000 % |
220.29/220.41	c |    296046 |     462    24913    68224 |    16915    16003     87 |  0.000 % |
221.09/221.28	c |    297006 |     462    24913    68224 |    16915    16963     88 |  0.000 % |
221.79/221.96	c |    298059 |     462    24913    68224 |    16915    16320     87 |  0.000 % |
222.49/222.65	c |    299218 |     462    24913    68224 |    16915    15767     87 |  0.000 % |
222.99/223.11	c |    300491 |     462    24913    68224 | 2147483647    17040     88 |  0.000 % |
223.59/223.73	c |    301891 |     462    24913    68224 | 2147483647    18440     90 |  0.000 % |
225.49/225.67	c |    303432 |     462    24913    68224 | 2147483647    19981     91 |  0.000 % |
227.09/227.24	c |    305128 |     462    24913    68224 | 2147483647    21677     91 |  0.000 % |
229.39/229.51	c |    306991 |     462    24913    68224 | 2147483647    23540     92 |  0.000 % |
231.09/231.28	c |    309040 |     462    24913    68224 | 2147483647    25589     95 |  0.000 % |
232.59/232.79	c |    311297 |     462    24913    68224 |    26551    22659     97 |  0.000 % |
234.49/234.67	c |    313776 |     462    24913    68224 |    26551    25138     98 |  0.000 % |
236.59/236.78	c |    316502 |     462    24913    68224 |    26551    21380    102 |  0.000 % |
239.09/239.23	c |    319499 |     462    24913    68224 |    26551    24377    105 |  0.000 % |
239.19/239.34	c |    319599 |     462    24913    68224 |    26551    24477    105 |  0.000 % |
239.39/239.51	c |    319709 |     462    24913    68224 |    26551    24587    105 |  0.000 % |
239.59/239.71	c |    319830 |     462    24913    68224 |    26551    24708    105 |  0.000 % |
239.69/239.85	c |    319964 |     462    24913    68224 |    26551    24842    105 |  0.000 % |
239.88/240.07	c |    320110 |     462    24913    68224 |    24879    24988    105 |  0.000 % |
240.08/240.26	c |    320270 |     462    24913    68224 |    24879    19256    107 |  0.000 % |
240.18/240.39	c |    320447 |     462    24913    68224 |    24879    19433    107 |  0.000 % |
240.38/240.52	c |    320643 |     462    24913    68224 |    24879    19629    107 |  0.000 % |
240.48/240.68	c |    320856 |     462    24913    68224 |    24879    19842    107 |  0.000 % |
240.79/240.93	c |    321091 |     462    24913    68224 |    24879    20077    107 |  0.000 % |
240.98/241.15	c |    321347 |     462    24913    68224 |    24879    20333    107 |  0.000 % |
241.28/241.42	c |    321629 |     462    24913    68224 |    24879    20615    107 |  0.000 % |
241.48/241.65	c |    321940 |     462    24913    68224 |    24879    20926    107 |  0.000 % |
241.68/241.80	c |    322281 |     462    24913    68224 |    24879    21267    107 |  0.000 % |
241.98/242.10	c |    322656 |     462    24913    68224 |    24879    21642    107 |  0.000 % |
242.18/242.36	c |    323071 |     462    24913    68224 |    24879    22057    106 |  0.000 % |
242.68/242.84	c |    323521 |     462    24913    68224 |    24879    22507    106 |  0.000 % |
243.28/243.43	c |    324016 |     462    24913    68224 |    24879    23002    106 |  0.000 % |
243.88/244.05	c |    324558 |     462    24913    68224 |    24879    23544    106 |  0.000 % |
244.58/244.71	c |    325155 |     462    24913    68224 |    24879    24141    107 |  0.000 % |
245.19/245.39	c |    325810 |     462    24913    68224 |    24879    24796    107 |  0.000 % |
246.08/246.26	c |    326532 |     462    24913    68224 |    24879    19996    104 |  0.000 % |
246.98/247.15	c |    327324 |     462    24913    68224 |    24879    20788    105 |  0.000 % |
247.68/247.86	c |    328196 |     462    24913    68224 |    24879    21660    105 |  0.000 % |
248.68/248.87	c |    329154 |     462    24913    68224 |    24879    22618    105 |  0.000 % |
250.08/250.20	c |    330207 |     462    24913    68224 |    23464    23671    105 |  0.000 % |
250.78/250.96	c |    331366 |     462    24913    68224 |    23464    19604    101 |  0.000 % |
251.58/251.79	c |    332641 |     462    24913    68224 |    23464    20879    102 |  0.000 % |
252.58/252.71	c |    334041 |     462    24913    68224 |    23464    22279    102 |  0.000 % |
254.08/254.21	c |    335582 |     462    24913    68224 |    23464    19159     99 |  0.000 % |
255.48/255.63	c |    337277 |     462    24913    68224 |    23464    20854    101 |  0.000 % |
256.88/257.05	c |    339143 |     462    24913    68224 |    23464    22720    101 |  0.000 % |
258.18/258.30	c |    341192 |     462    24913    68224 |    23579    20248    100 |  0.000 % |
260.18/260.38	c |    343445 |     462    24913    68224 |    23579    22501    102 |  0.000 % |
262.28/262.49	c |    345923 |     462    24913    68224 |    23579    20720    103 |  0.000 % |
264.58/264.70	c |    348648 |     462    24913    68224 |    23579    23445    105 |  0.000 % |
266.78/266.99	c |    351646 |     462    24913    68224 |    20666    18697    104 |  0.000 % |
268.19/268.34	c |    354942 |     462    24913    68224 |    20666    19265    103 |  0.000 % |
268.29/268.48	c |    355043 |     462    24913    68224 |    20666    19366    103 |  0.000 % |
268.48/268.63	c |    355154 |     462    24913    68224 |    20666    19477    103 |  0.000 % |
268.48/268.68	c |    355277 |     462    24913    68224 |    20666    19600    103 |  0.000 % |
268.58/268.75	c |    355412 |     462    24913    68224 |    20666    19735    103 |  0.000 % |
268.78/268.94	c |    355558 |     462    24913    68224 |    20666    19881    103 |  0.000 % |
268.98/269.16	c |    355718 |     462    24913    68224 |    20666    20041    103 |  0.000 % |
269.08/269.28	c |    355895 |     462    24913    68224 |    20666    20218    103 |  0.000 % |
269.29/269.50	c |    356088 |     462    24913    68224 |    20666    20411    104 |  0.000 % |
269.58/269.74	c |    356301 |     462    24913    68224 |    20666    20624    104 |  0.000 % |
269.88/270.00	c |    356537 |     462    24913    68224 |    20666    20860    104 |  0.000 % |
270.08/270.28	c |    356795 |     462    24913    68224 |    20666    18175    101 |  0.000 % |
270.39/270.53	c |    357077 |     462    24913    68224 |    20666    18457    102 |  0.000 % |
270.68/270.84	c |    357386 |     462    24913    68224 |    20666    18766    102 |  0.000 % |
270.98/271.17	c |    357729 |     462    24913    68224 |    20666    19109    103 |  0.000 % |
271.38/271.53	c |    358102 |     462    24913    68224 |    20666    19482    103 |  0.000 % |
271.88/272.02	c |    358512 |     462    24913    68224 |    20666    19892    103 |  0.000 % |
272.28/272.44	c |    358964 |     462    24913    68224 |    20666    20344    103 |  0.000 % |
272.48/272.62	c |    359459 |     462    24913    68224 |    20666    20839    104 |  0.000 % |
272.98/273.14	c |    360001 |     462    24913    68224 |    20666    18403    102 |  0.000 % |
273.48/273.65	c |    360600 |     462    24913    68224 |    18403    16362    101 |  0.000 % |
273.98/274.18	c |    361255 |     462    24913    68224 |    18403    17017    101 |  0.000 % |
274.78/274.92	c |    361976 |     462    24913    68224 |    18403    17738    102 |  0.000 % |
275.48/275.63	c |    362768 |     462    24913    68224 |    18403    18530    103 |  0.000 % |
276.28/276.43	c |    363640 |     462    24913    68224 |    18403    16673    101 |  0.000 % |
277.08/277.20	c |    364598 |     462    24913    68224 |    18403    17631    102 |  0.000 % |
277.98/278.11	c |    365652 |     462    24913    68224 |    18403    15852    104 |  0.000 % |
278.88/279.03	c |    366810 |     462    24913    68224 |    18403    17010    105 |  0.000 % |
279.78/279.98	c |    368086 |     462    24913    68224 |    18403    18286    106 |  0.000 % |
280.88/281.08	c |    369487 |     462    24913    68224 |    18403    16950    107 |  0.000 % |
282.08/282.28	c |    371027 |     462    24913    68224 |    17463    15937    106 |  0.000 % |
283.68/283.85	c |    372724 |     462    24913    68224 |    17463    17634    108 |  0.000 % |
284.38/284.55	c |    374587 |     462    24913    68224 |    17463    17127    107 |  0.000 % |
286.38/286.57	c |    376637 |     462    24913    68224 |    17463    17129    108 |  0.000 % |
287.07/287.20	c |    378891 |     462    24913    68224 |    17463    17442    107 |  0.000 % |
288.77/288.91	c |    381370 |     462    24913    68224 |    16731    16136    104 |  0.000 % |
289.97/290.17	c |    384097 |     462    24913    68224 |    16731    16820    102 |  0.000 % |
291.87/292.05	c |    387094 |     462    24913    68224 |    16731    15847    103 |  0.000 % |
293.58/293.73	c |    390390 |     462    24913    68224 |    16826    15342    103 |  0.000 % |
295.87/296.08	c |    394020 |     462    24913    68224 |    16826    15386    103 |  0.000 % |
295.97/296.18	c |    394125 |     462    24913    68224 |    16826    15491    103 |  0.000 % |
296.07/296.26	c |    394235 |     462    24913    68224 |    16826    15601    103 |  0.000 % |
296.17/296.35	c |    394356 |     462    24913    68224 |    16826    15722    103 |  0.000 % |
296.27/296.42	c |    394489 |     462    24913    68224 |    16826    15855    103 |  0.000 % |
296.37/296.53	c |    394636 |     462    24913    68224 |    16826    16002    103 |  0.000 % |
296.47/296.63	c |    394797 |     462    24913    68224 |    16826    16163    104 |  0.000 % |
296.57/296.75	c |    394973 |     462    24913    68224 |    16826    16339    104 |  0.000 % |
296.77/296.93	c |    395167 |     462    24913    68224 |    16826    16533    104 |  0.000 % |
296.97/297.10	c |    395379 |     462    24913    68224 |    16826    16745    104 |  0.000 % |
297.17/297.30	c |    395613 |     462    24913    68224 |    16826    16979    104 |  0.000 % |
297.27/297.47	c |    395869 |     462    24913    68224 |    16826    15473    105 |  0.000 % |
297.57/297.70	c |    396150 |     462    24913    68224 |    16826    15754    105 |  0.000 % |
297.67/297.83	c |    396460 |     462    24913    68224 |    16826    16064    106 |  0.000 % |
297.77/298.00	c |    396800 |     462    24913    68224 |    16826    16404    106 |  0.000 % |
298.07/298.21	c |    397175 |     462    24913    68224 |    16826    16779    106 |  0.000 % |
298.27/298.43	c |    397584 |     462    24913    68224 |    16826    15457    105 |  0.000 % |
298.57/298.70	c |    398035 |     462    24913    68224 |    16826    15908    105 |  0.000 % |
298.87/299.04	c |    398528 |     462    24913    68224 |    16826    16401    105 |  0.000 % |
299.27/299.49	c |    399071 |     462    24913    68224 |    16826    16944    106 |  0.000 % |
299.87/300.05	c |    399670 |     462    24913    68224 |    16826    15849    105 |  0.000 % |
300.37/300.56	c |    400327 |     462    24913    68224 | 2147483647    16506    105 |  0.000 % |
300.87/301.04	c |    401047 |     462    24913    68224 | 2147483647    17226    106 |  0.000 % |
301.37/301.53	c |    401841 |     462    24913    68224 | 2147483647    18020    107 |  0.000 % |
302.17/302.39	c |    402713 |     462    24913    68224 | 2147483647    18892    107 |  0.000 % |
303.27/303.44	c |    403672 |     462    24913    68224 | 2147483647    19851    108 |  0.000 % |
304.26/304.45	c |    404725 |     462    24913    68224 | 2147483647    20904    108 |  0.000 % |
305.46/305.63	c |    405883 |     462    24913    68224 | 2147483647    22062    109 |  0.000 % |
306.96/307.10	c |    407160 |     462    24913    68224 | 2147483647    23339    109 |  0.000 % |
308.76/308.97	c |    408563 |     462    24913    68224 | 2147483647    24742    110 |  0.000 % |
310.96/311.16	c |    410103 |     462    24913    68224 |    26181    26282    110 |  0.000 % |
312.76/312.96	c |    411797 |     462    24913    68224 |    26181    23228    108 |  0.000 % |
314.26/314.42	c |    413660 |     462    24913    68224 |    26181    25091    109 |  0.000 % |
316.56/316.76	c |    415711 |     462    24913    68224 |    26181    21279    106 |  0.000 % |
317.86/318.05	c |    417964 |     462    24913    68224 |    26181    23532    105 |  0.000 % |
319.96/320.11	c |    420443 |     462    24913    68224 |    25570    20397    100 |  0.000 % |
322.25/322.47	c |    423170 |     462    24913    68224 |    25570    23124    103 |  0.000 % |
325.25/325.43	c |    426167 |     462    24913    68224 |    25570    20539    102 |  0.000 % |
328.45/328.62	c |    429464 |     462    24913    68224 |    25570    23836    105 |  0.000 % |
331.85/332.02	c |    433089 |     462    24913    68224 |    24372    22014    105 |  0.000 % |
336.35/336.54	c |    437076 |     462    24913    68224 |    24372    19962    107 |  0.000 % |
336.55/336.71	c |    437177 |     462    24913    68224 |    24372    20063    107 |  0.000 % |
336.65/336.83	c |    437287 |     462    24913    68224 |    24372    20173    107 |  0.000 % |
336.75/336.99	c |    437410 |     462    24913    68224 |    24372    20296    107 |  0.000 % |
336.85/337.09	c |    437546 |     462    24913    68224 |    24372    20432    107 |  0.000 % |
337.15/337.32	c |    437692 |     462    24913    68224 |    24372    20578    107 |  0.000 % |
337.35/337.50	c |    437853 |     462    24913    68224 |    24372    20739    107 |  0.000 % |
337.45/337.68	c |    438029 |     462    24913    68224 |    24372    20915    107 |  0.000 % |
337.75/337.96	c |    438224 |     462    24913    68224 |    24372    21110    107 |  0.000 % |
338.05/338.23	c |    438438 |     462    24913    68224 |    24372    21324    108 |  0.000 % |
338.35/338.56	c |    438671 |     462    24913    68224 |    24372    21557    108 |  0.000 % |
338.75/338.90	c |    438927 |     462    24913    68224 |    24372    21813    108 |  0.000 % |
339.15/339.32	c |    439209 |     462    24913    68224 |    24372    22095    108 |  0.000 % |
339.55/339.78	c |    439519 |     462    24913    68224 |    24372    22405    108 |  0.000 % |
340.15/340.34	c |    439860 |     462    24913    68224 |    24372    22746    108 |  0.000 % |
340.65/340.80	c |    440234 |     462    24913    68224 |    22888    23120    109 |  0.000 % |
340.95/341.17	c |    440644 |     462    24913    68224 |    22888    17983    105 |  0.000 % |
341.55/341.75	c |    441093 |     462    24913    68224 |    22888    18432    105 |  0.000 % |
342.05/342.27	c |    441587 |     462    24913    68224 |    22888    18926    105 |  0.000 % |
342.74/342.92	c |    442130 |     462    24913    68224 |    22888    19469    105 |  0.000 % |
343.34/343.55	c |    442727 |     462    24913    68224 |    22888    20066    106 |  0.000 % |
343.94/344.19	c |    443385 |     462    24913    68224 |    22888    20724    106 |  0.000 % |
344.84/345.06	c |    444106 |     462    24913    68224 |    22888    21445    107 |  0.000 % |
345.74/345.91	c |    444900 |     462    24913    68224 |    22888    22239    107 |  0.000 % |
346.84/347.01	c |    445771 |     462    24913    68224 |    22888    23110    107 |  0.000 % |
347.84/348.09	c |    446730 |     462    24913    68224 |    22888    18648    104 |  0.000 % |
348.84/349.04	c |    447785 |     462    24913    68224 |    22888    19703    104 |  0.000 % |
349.55/349.75	c |    448943 |     462    24913    68224 |    22888    20861    105 |  0.000 % |
350.94/351.11	c |    450217 |     462    24913    68224 |    21918    22135    105 |  0.000 % |
352.14/352.36	c |    451618 |     462    24913    68224 |    21918    18397    104 |  0.000 % |
353.54/353.72	c |    453159 |     462    24913    68224 |    21918    19938    104 |  0.000 % |
354.94/355.10	c |    454855 |     462    24913    68224 |    21918    21634    106 |  0.000 % |
356.64/356.81	c |    456720 |     462    24913    68224 |    21918    19112    104 |  0.000 % |
358.14/358.38	c |    458771 |     462    24913    68224 |    21918    21163    106 |  0.000 % |
360.24/360.43	c |    461025 |     462    24913    68224 |    18196    15768    103 |  0.000 % |
362.04/362.26	c |    463504 |     462    24913    68224 |    18196    18247    105 |  0.000 % |
364.24/364.48	c |    466229 |     462    24913    68224 |    18196    18215    106 |  0.000 % |
366.64/366.81	c |    469226 |     462    24913    68224 |    18196    16016    104 |  0.000 % |
368.83/369.03	c |    472522 |     462    24913    68224 |    16790    15229    102 |  0.000 % |
370.83/371.02	c |    476147 |     462    24913    68224 |    16790    15442    102 |  0.000 % |
372.93/373.16	c |    480136 |     462    24913    68224 |    15565    15700    100 |  0.000 % |
375.53/375.76	c |    484521 |     462    24913    68224 |    15565    15090    102 |  0.000 % |
375.63/375.82	c |    484623 |     462    24913    68224 |    15565    15192    102 |  0.000 % |
375.63/375.88	c |    484734 |     462    24913    68224 |    15565    15303    102 |  0.000 % |
375.73/375.99	c |    484857 |     462    24913    68224 |    15565    15426    102 |  0.000 % |
375.83/376.04	c |    484990 |     462    24913    68224 |    15565    15559    102 |  0.000 % |
375.93/376.20	c |    485136 |     462    24913    68224 |    15565    15705    102 |  0.000 % |
376.13/376.32	c |    485296 |     462    24913    68224 |    15565    14272    102 |  0.000 % |
376.33/376.51	c |    485472 |     462    24913    68224 |    15565    14448    102 |  0.000 % |
376.43/376.60	c |    485665 |     462    24913    68224 |    15565    14641    102 |  0.000 % |
376.53/376.76	c |    485878 |     462    24913    68224 |    15565    14854    102 |  0.000 % |
376.73/376.98	c |    486112 |     462    24913    68224 |    15565    15088    102 |  0.000 % |
376.93/377.13	c |    486370 |     462    24913    68224 |    15565    15346    103 |  0.000 % |
377.13/377.37	c |    486652 |     462    24913    68224 |    15565    15628    103 |  0.000 % |
377.33/377.59	c |    486961 |     462    24913    68224 |    15565    14375    102 |  0.000 % |
377.63/377.87	c |    487301 |     462    24913    68224 |    15565    14715    102 |  0.000 % |
378.03/378.20	c |    487675 |     462    24913    68224 |    15565    15089    103 |  0.000 % |
378.33/378.57	c |    488086 |     462    24913    68224 |    15565    15500    103 |  0.000 % |
378.73/378.95	c |    488535 |     462    24913    68224 |    15565    14367    103 |  0.000 % |
379.23/379.41	c |    489032 |     462    24913    68224 |    15565    14864    104 |  0.000 % |
379.63/379.80	c |    489575 |     462    24913    68224 |    15565    15407    104 |  0.000 % |
380.13/380.32	c |    490171 |     462    24913    68224 | 2147483647    14432    104 |  0.000 % |
380.63/380.86	c |    490827 |     462    24913    68224 | 2147483647    15088    104 |  0.000 % |
381.23/381.44	c |    491550 |     462    24913    68224 | 2147483647    15811    105 |  0.000 % |
381.83/382.09	c |    492344 |     462    24913    68224 | 2147483647    16605    105 |  0.000 % |
382.53/382.70	c |    493215 |     462    24913    68224 | 2147483647    17476    106 |  0.000 % |
383.23/383.46	c |    494175 |     462    24913    68224 | 2147483647    18436    107 |  0.000 % |
384.03/384.25	c |    495229 |     462    24913    68224 | 2147483647    19490    107 |  0.000 % |
384.83/385.06	c |    496387 |     462    24913    68224 | 2147483647    20648    107 |  0.000 % |
385.94/386.13	c |    497660 |     462    24913    68224 | 2147483647    21921    107 |  0.000 % |
386.94/387.17	c |    499062 |     462    24913    68224 | 2147483647    23323    107 |  0.000 % |
388.73/389.00	c |    500604 |     462    24913    68224 |    24263    21052    105 |  0.000 % |
390.13/390.31	c |    502299 |     462    24913    68224 |    24263    22747    104 |  0.000 % |
392.33/392.54	c |    504162 |     462    24913    68224 |    24263    19632    101 |  0.000 % |
394.33/394.54	c |    506211 |     462    24913    68224 |    24263    21681    103 |  0.000 % |
397.03/397.20	c |    508465 |     462    24913    68224 |    24263    23935    103 |  0.000 % |
398.93/399.14	c |    510944 |     462    24913    68224 |    20383    17139    100 |  0.000 % |
400.73/400.94	c |    513669 |     462    24913    68224 |    20383    19864    102 |  0.000 % |
402.73/402.94	c |    516668 |     462    24913    68224 |    20383    19089    103 |  0.000 % |
404.43/404.64	c |    519964 |     462    24913    68224 |    20383    18866    101 |  0.000 % |
406.03/406.21	c |    523591 |     462    24913    68224 |    18905    17306    101 |  0.000 % |
408.23/408.40	c |    527583 |     462    24913    68224 |    18905    18838    101 |  0.000 % |
410.63/410.83	c |    531970 |     462    24913    68224 |    17182    17410    100 |  0.000 % |
413.22/413.43	c |    536793 |     462    24913    68224 |    17182    16997     97 |  0.000 % |
413.22/413.50	c |    536894 |     462    24913    68224 |    17182    17098     97 |  0.000 % |
413.43/413.61	c |    537004 |     462    24913    68224 |    17182    17208     97 |  0.000 % |
413.52/413.71	c |    537126 |     462    24913    68224 |    17182    15610     97 |  0.000 % |
413.62/413.82	c |    537261 |     462    24913    68224 |    17182    15745     97 |  0.000 % |
413.72/413.92	c |    537409 |     462    24913    68224 |    17182    15893     97 |  0.000 % |
413.82/414.01	c |    537572 |     462    24913    68224 |    17182    16056     98 |  0.000 % |
413.92/414.13	c |    537749 |     462    24913    68224 |    17182    16233     98 |  0.000 % |
414.02/414.29	c |    537942 |     462    24913    68224 |    17182    16426     98 |  0.000 % |
414.22/414.45	c |    538154 |     462    24913    68224 |    17182    16638     99 |  0.000 % |
414.43/414.61	c |    538389 |     462    24913    68224 |    17182    16873     99 |  0.000 % |
414.62/414.80	c |    538645 |     462    24913    68224 |    17182    17129     99 |  0.000 % |
414.72/414.92	c |    538926 |     462    24913    68224 |    17182    17410    100 |  0.000 % |
414.92/415.13	c |    539238 |     462    24913    68224 |    17182    15981    100 |  0.000 % |
415.02/415.29	c |    539580 |     462    24913    68224 |    17182    16323    101 |  0.000 % |
415.32/415.59	c |    539956 |     462    24913    68224 |    17182    16699    101 |  0.000 % |
415.63/415.87	c |    540366 |     462    24913    68224 | 2147483647    17109    102 |  0.000 % |
416.02/416.25	c |    540817 |     462    24913    68224 | 2147483647    17560    102 |  0.000 % |
416.42/416.60	c |    541310 |     462    24913    68224 | 2147483647    18053    103 |  0.000 % |
416.82/417.06	c |    541854 |     462    24913    68224 | 2147483647    18597    103 |  0.000 % |
417.22/417.48	c |    542450 |     462    24913    68224 | 2147483647    19193    103 |  0.000 % |
418.02/418.23	c |    543106 |     462    24913    68224 | 2147483647    19849    104 |  0.000 % |
418.52/418.77	c |    543827 |     462    24913    68224 | 2147483647    20570    104 |  0.000 % |
419.32/419.51	c |    544619 |     462    24913    68224 | 2147483647    21362    105 |  0.000 % |
419.92/420.15	c |    545490 |     462    24913    68224 | 2147483647    22233    104 |  0.000 % |
420.52/420.79	c |    546448 |     462    24913    68224 | 2147483647    23191    105 |  0.000 % |
421.72/421.92	c |    547501 |     462    24913    68224 | 2147483647    24244    105 |  0.000 % |
422.82/423.00	c |    548662 |     462    24913    68224 | 2147483647    25405    106 |  0.000 % |
423.82/424.07	c |    549935 |     462    24913    68224 | 2147483647    26678    106 |  0.000 % |
424.81/425.09	c |    551336 |     462    24913    68224 |    26744    23518    104 |  0.000 % |
425.91/426.17	c |    552877 |     462    24913    68224 |    26744    25059    105 |  0.000 % |
427.62/427.87	c |    554571 |     462    24913    68224 |    26744    26753    106 |  0.000 % |
429.71/430.00	c |    556434 |     462    24913    68224 |    26744    23820    109 |  0.000 % |
431.71/431.93	c |    558483 |     462    24913    68224 |    26744    25869    109 |  0.000 % |
433.81/434.02	c |    560737 |     462    24913    68224 |    22106    18512    105 |  0.000 % |
435.71/435.95	c |    563215 |     462    24913    68224 |    22106    20990    107 |  0.000 % |
437.71/437.98	c |    565940 |     462    24913    68224 |    22106    20044    108 |  0.000 % |
440.21/440.44	c |    568939 |     462    24913    68224 |    22106    19568    108 |  0.000 % |
442.31/442.52	c |    572235 |     462    24913    68224 |    20630    19912    109 |  0.000 % |
444.91/445.19	c |    575860 |     462    24913    68224 |    20630    20686    110 |  0.000 % |
447.81/448.09	c |    579847 |     462    24913    68224 |    20630    19231    108 |  0.000 % |
451.60/451.82	c |    584234 |     462    24913    68224 |    19385    18409    107 |  0.000 % |
456.10/456.32	c |    589060 |     462    24913    68224 |    19385    17587    105 |  0.000 % |
459.60/459.82	c |    594365 |     462    24913    68224 |    18528    17944    105 |  0.000 % |
459.70/459.95	c |    594465 |     462    24913    68224 |    18528    18044    105 |  0.000 % |
459.80/460.08	c |    594577 |     462    24913    68224 |    18528    18156    105 |  0.000 % |
460.00/460.25	c |    594707 |     462    24913    68224 |    18528    18286    106 |  0.000 % |
460.20/460.40	c |    594841 |     462    24913    68224 |    18528    18420    106 |  0.000 % |
460.30/460.52	c |    594987 |     462    24913    68224 |    18528    18566    106 |  0.000 % |
460.50/460.71	c |    595147 |     462    24913    68224 |    18528    16548    104 |  0.000 % |
460.60/460.90	c |    595324 |     462    24913    68224 |    18528    16725    104 |  0.000 % |
460.90/461.13	c |    595518 |     462    24913    68224 |    18528    16919    104 |  0.000 % |
461.10/461.33	c |    595730 |     462    24913    68224 |    18528    17131    104 |  0.000 % |
461.30/461.52	c |    595963 |     462    24913    68224 |    18528    17364    105 |  0.000 % |
461.60/461.88	c |    596220 |     462    24913    68224 |    18528    17621    105 |  0.000 % |
461.90/462.15	c |    596505 |     462    24913    68224 |    18528    17906    105 |  0.000 % |
462.20/462.46	c |    596814 |     462    24913    68224 |    18528    18215    105 |  0.000 % |
462.60/462.87	c |    597154 |     462    24913    68224 |    18528    18555    105 |  0.000 % |
463.00/463.22	c |    597526 |     462    24913    68224 |    18528    16530    103 |  0.000 % |
463.30/463.60	c |    597936 |     462    24913    68224 |    18528    16940    104 |  0.000 % |
463.79/464.03	c |    598387 |     462    24913    68224 |    18528    17391    104 |  0.000 % |
464.29/464.53	c |    598883 |     462    24913    68224 |    18528    17887    104 |  0.000 % |
464.59/464.84	c |    599425 |     462    24913    68224 |    18528    18429    105 |  0.000 % |
465.00/465.27	c |    600021 |     462    24913    68224 |    16614    16631    103 |  0.000 % |
465.69/465.93	c |    600679 |     462    24913    68224 |    16614    15193    102 |  0.000 % |
466.29/466.60	c |    601399 |     462    24913    68224 |    16614    15913    102 |  0.000 % |
466.89/467.13	c |    602191 |     462    24913    68224 |    16614    16705    103 |  0.000 % |
467.59/467.85	c |    603065 |     462    24913    68224 |    16614    15548    103 |  0.000 % |
468.49/468.71	c |    604025 |     462    24913    68224 |    16614    16508    104 |  0.000 % |
469.29/469.55	c |    605078 |     462    24913    68224 |    16614    15489    102 |  0.000 % |
469.99/470.29	c |    606237 |     462    24913    68224 |    16614    16648    103 |  0.000 % |
470.79/471.01	c |    607510 |     462    24913    68224 |    16614    16020    103 |  0.000 % |
471.69/471.95	c |    608910 |     462    24913    68224 |    16614    15501    103 |  0.000 % |
472.79/473.05	c |    610450 |     462    24913    68224 |    16592    15126    103 |  0.000 % |
474.09/474.32	c |    612145 |     462    24913    68224 |    16592    16821    104 |  0.000 % |
475.39/475.66	c |    614008 |     462    24913    68224 |    16592    16712    104 |  0.000 % |
476.89/477.19	c |    616060 |     462    24913    68224 |    16592    15222    104 |  0.000 % |
478.39/478.68	c |    618314 |     462    24913    68224 |    16592    15799    104 |  0.000 % |
480.59/480.90	c |    620792 |     462    24913    68224 |    15748    14717    103 |  0.000 % |
482.69/482.93	c |    623522 |     462    24913    68224 |    15748    15657    106 |  0.000 % |
484.69/484.94	c |    626521 |     462    24913    68224 |    15748    15119    107 |  0.000 % |
487.29/487.57	c |    629818 |     462    24913    68224 |    15748    14992    107 |  0.000 % |
489.98/490.27	c |    633443 |     462    24913    68224 |    15175    15435    108 |  0.000 % |
492.28/492.55	c |    637431 |     462    24913    68224 |    15175    14789    106 |  0.000 % |
494.58/494.87	c |    641816 |     462    24913    68224 | 2147483647    16087    107 |  0.000 % |
497.48/497.71	c |    646639 |     462    24913    68224 | 2147483647    20910    109 |  0.000 % |
503.08/503.30	c |    651944 |     462    24913    68224 |    24271    22900    109 |  0.000 % |
508.59/508.82	c |    657779 |     462    24913    68224 |    24271    24162    108 |  0.000 % |
508.69/508.95	c |    657881 |     462    24913    68224 |    24271    24264    108 |  0.000 % |
508.89/509.15	c |    657993 |     462    24913    68224 |    24271    24376    108 |  0.000 % |
509.09/509.35	c |    658114 |     462    24913    68224 |    24271    19643    105 |  0.000 % |
509.29/509.53	c |    658250 |     462    24913    68224 |    24271    19779    105 |  0.000 % |
509.48/509.71	c |    658396 |     462    24913    68224 |    24271    19925    105 |  0.000 % |
509.58/509.89	c |    658557 |     462    24913    68224 |    24271    20086    105 |  0.000 % |
509.78/510.08	c |    658733 |     462    24913    68224 |    24271    20262    105 |  0.000 % |
509.98/510.26	c |    658926 |     462    24913    68224 |    24271    20455    105 |  0.000 % |
510.28/510.51	c |    659142 |     462    24913    68224 |    24271    20671    105 |  0.000 % |
510.48/510.75	c |    659380 |     462    24913    68224 |    24271    20909    106 |  0.000 % |
510.68/510.96	c |    659639 |     462    24913    68224 |    24271    21168    106 |  0.000 % |
510.98/511.23	c |    659920 |     462    24913    68224 |    24271    21449    106 |  0.000 % |
511.29/511.50	c |    660229 |     462    24913    68224 |    21529    21758    106 |  0.000 % |
511.58/511.86	c |    660568 |     462    24913    68224 |    21529    17874    104 |  0.000 % |
511.98/512.28	c |    660940 |     462    24913    68224 |    21529    18246    104 |  0.000 % |
512.48/512.74	c |    661349 |     462    24913    68224 |    21529    18655    104 |  0.000 % |
512.78/513.06	c |    661801 |     462    24913    68224 |    21529    19107    105 |  0.000 % |
513.28/513.57	c |    662295 |     462    24913    68224 |    21529    19601    105 |  0.000 % |
513.58/513.87	c |    662839 |     462    24913    68224 |    21529    20145    106 |  0.000 % |
514.18/514.49	c |    663435 |     462    24913    68224 |    21529    20741    106 |  0.000 % |
514.78/515.08	c |    664090 |     462    24913    68224 |    21529    21396    107 |  0.000 % |
515.48/515.79	c |    664811 |     462    24913    68224 |    21529    18197    105 |  0.000 % |
516.48/516.76	c |    665603 |     462    24913    68224 |    21529    18989    106 |  0.000 % |
516.98/517.20	c |    666475 |     462    24913    68224 |    21529    19861    106 |  0.000 % |
517.48/517.78	c |    667433 |     462    24913    68224 |    21529    20819    106 |  0.000 % |
518.48/518.71	c |    668486 |     462    24913    68224 |    21529    18003    105 |  0.000 % |
519.28/519.59	c |    669646 |     462    24913    68224 |    21529    19163    106 |  0.000 % |
520.58/520.81	c |    670919 |     462    24913    68224 |    19517    16945    105 |  0.000 % |
521.98/522.20	c |    672321 |     462    24913    68224 |    19517    18347    106 |  0.000 % |
522.98/523.29	c |    673861 |     462    24913    68224 |    19517    16643    104 |  0.000 % |
524.38/524.61	c |    675558 |     462    24913    68224 |    19517    18340    106 |  0.000 % |
525.67/525.98	c |    677422 |     462    24913    68224 |    19517    16897    103 |  0.000 % |
527.37/527.62	c |    679472 |     462    24913    68224 |    19517    18947    104 |  0.000 % |
529.37/529.62	c |    681725 |     462    24913    68224 |    19479    17964    103 |  0.000 % |
530.37/530.61	c |    684203 |     462    24913    68224 |    19479    17727    102 |  0.000 % |
531.57/531.85	c |    686932 |     462    24913    68224 |    19479    17980    101 |  0.000 % |
533.67/533.95	c |    689929 |     462    24913    68224 |    19479    18310    101 |  0.000 % |
535.17/535.41	c |    693226 |     462    24913    68224 |    18381    16528     95 |  0.000 % |
536.97/537.24	c |    696852 |     462    24913    68224 |    18381    17621     89 |  0.000 % |
538.77/539.09	c |    700839 |     462    24913    68224 |    18432    17094     85 |  0.000 % |
541.07/541.32	c |    705224 |     462    24913    68224 |    18432    17740     86 |  0.000 % |
544.07/544.36	c |    710048 |     462    24913    68224 | 2147483647    16960     95 |  0.000 % |
547.96/548.26	c |    715356 |     462    24913    68224 | 2147483647    22268    101 |  0.000 % |
551.26/551.50	c |    721191 |     462    24913    68224 |    26913    23764    106 |  0.000 % |
558.76/559.04	c |    727609 |     462    24913    68224 |    26913    24002    106 |  0.000 % |
558.86/559.15	c |    727710 |     462    24913    68224 |    26913    24103    107 |  0.000 % |
559.06/559.35	c |    727823 |     462    24913    68224 |    26913    24216    107 |  0.000 % |
559.26/559.51	c |    727946 |     462    24913    68224 |    26913    24339    107 |  0.000 % |
559.46/559.77	c |    728080 |     462    24913    68224 |    26913    24473    107 |  0.000 % |
559.76/560.08	c |    728226 |     462    24913    68224 |    26913    24619    107 |  0.000 % |
560.06/560.34	c |    728388 |     462    24913    68224 |    26913    24781    107 |  0.000 % |
560.46/560.71	c |    728566 |     462    24913    68224 |    26913    24959    107 |  0.000 % |
560.76/561.00	c |    728762 |     462    24913    68224 |    26913    25155    107 |  0.000 % |
561.16/561.41	c |    728975 |     462    24913    68224 |    26913    25368    107 |  0.000 % |
561.56/561.81	c |    729208 |     462    24913    68224 |    26913    25601    107 |  0.000 % |
561.96/562.21	c |    729464 |     462    24913    68224 |    26913    25857    107 |  0.000 % |
562.46/562.72	c |    729745 |     462    24913    68224 |    26913    26138    107 |  0.000 % |
562.86/563.12	c |    730055 |     462    24913    68224 |    26393    26448    107 |  0.000 % |
563.16/563.47	c |    730394 |     462    24913    68224 |    26393    20625    104 |  0.000 % |
563.46/563.76	c |    730766 |     462    24913    68224 |    26393    20997    104 |  0.000 % |
563.96/564.26	c |    731175 |     462    24913    68224 |    26393    21406    104 |  0.000 % |
564.46/564.79	c |    731625 |     462    24913    68224 |    26393    21856    104 |  0.000 % |
565.06/565.34	c |    732118 |     462    24913    68224 |    26393    22349    104 |  0.000 % |
565.66/565.90	c |    732660 |     462    24913    68224 |    26393    22891    104 |  0.000 % |
565.96/566.26	c |    733257 |     462    24913    68224 |    26393    23488    104 |  0.000 % |
566.76/567.06	c |    733912 |     462    24913    68224 |    26393    24143    104 |  0.000 % |
567.46/567.70	c |    734632 |     462    24913    68224 |    26393    24863    105 |  0.000 % |
568.26/568.52	c |    735425 |     462    24913    68224 |    26393    25656    105 |  0.000 % |
569.26/569.52	c |    736297 |     462    24913    68224 |    26393    26528    105 |  0.000 % |
570.36/570.68	c |    737256 |     462    24913    68224 |    26393    21559    103 |  0.000 % |
571.66/571.93	c |    738311 |     462    24913    68224 |    26393    22614    103 |  0.000 % |
572.55/572.84	c |    739469 |     462    24913    68224 |    26393    23772    104 |  0.000 % |
574.05/574.30	c |    740742 |     462    24913    68224 |    24303    19537    100 |  0.000 % |
575.35/575.65	c |    742142 |     462    24913    68224 |    24303    20937    100 |  0.000 % |
576.95/577.28	c |    743683 |     462    24913    68224 |    24303    22478    101 |  0.000 % |
578.85/579.14	c |    745377 |     462    24913    68224 |    24303    24172    101 |  0.000 % |
580.75/581.05	c |    747240 |     462    24913    68224 |    24303    20849    100 |  0.000 % |
582.25/582.57	c |    749290 |     462    24913    68224 |    24303    22899    101 |  0.000 % |
584.75/585.04	c |    751543 |     462    24913    68224 |    23611    20340    100 |  0.000 % |
587.15/587.45	c |    754021 |     462    24913    68224 |    23611    22818    101 |  0.000 % |
590.15/590.42	c |    756746 |     462    24913    68224 |    23611    20785    100 |  0.000 % |
593.25/593.58	c |    759743 |     462    24913    68224 |    23611    23782    102 |  0.000 % |
594.94/595.25	c |    763044 |     462    24913    68224 |    19345    18719    101 |  0.000 % |
597.24/597.50	c |    766672 |     462    24913    68224 |    19345    17159    103 |  0.000 % |
600.25/600.52	c |    770660 |     462    24913    68224 |    17754    15978    106 |  0.000 % |
603.34/603.62	c |    775045 |     462    24913    68224 |    17754    18000    109 |  0.000 % |
606.95/607.21	c |    779868 |     462    24913    68224 |    17754    17751    110 |  0.000 % |
608.84/609.18	c |    785178 |     462    24913    68224 |    17885    17096    105 |  0.000 % |
611.94/612.27	c |    791013 |     462    24913    68224 | 2147483647    17484    100 |  0.000 % |
615.94/616.27	c |    797433 |     462    24913    68224 | 2147483647    23904    105 |  0.000 % |
621.24/621.53	c |    804494 |     462    24913    68224 |    26471    23092    106 |  0.000 % |
621.34/621.65	c |    804594 |     462    24913    68224 |    26471    23192    106 |  0.000 % |
621.54/621.81	c |    804708 |     462    24913    68224 |    26471    23306    106 |  0.000 % |
621.64/621.98	c |    804829 |     462    24913    68224 |    26471    23427    106 |  0.000 % |
621.84/622.14	c |    804965 |     462    24913    68224 |    26471    23563    106 |  0.000 % |
621.94/622.27	c |    805113 |     462    24913    68224 |    26471    23711    106 |  0.000 % |
622.24/622.54	c |    805274 |     462    24913    68224 |    26471    23872    106 |  0.000 % |
622.43/622.75	c |    805451 |     462    24913    68224 |    26471    24049    106 |  0.000 % |
622.63/622.93	c |    805644 |     462    24913    68224 |    26471    24242    106 |  0.000 % |
622.83/623.18	c |    805857 |     462    24913    68224 |    26471    24455    106 |  0.000 % |
623.13/623.47	c |    806091 |     462    24913    68224 |    26471    24689    107 |  0.000 % |
623.53/623.89	c |    806349 |     462    24913    68224 |    26471    24947    107 |  0.000 % |
623.83/624.14	c |    806631 |     462    24913    68224 |    26471    25229    106 |  0.000 % |
624.13/624.46	c |    806942 |     462    24913    68224 |    26471    25540    107 |  0.000 % |
624.54/624.80	c |    807282 |     462    24913    68224 |    26471    25880    107 |  0.000 % |
624.83/625.19	c |    807654 |     462    24913    68224 |    26471    26252    107 |  0.000 % |
625.13/625.50	c |    808063 |     462    24913    68224 |    26471    26661    107 |  0.000 % |
625.83/626.16	c |    808512 |     462    24913    68224 |    26471    22048    106 |  0.000 % |
626.33/626.68	c |    809007 |     462    24913    68224 |    26471    22543    106 |  0.000 % |
627.03/627.32	c |    809550 |     462    24913    68224 |    26471    23086    106 |  0.000 % |
627.83/628.11	c |    810146 |     462    24913    68224 |    23537    23682    106 |  0.000 % |
628.43/628.74	c |    810801 |     462    24913    68224 |    23537    19666    104 |  0.000 % |
629.13/629.45	c |    811523 |     462    24913    68224 |    23537    20388    104 |  0.000 % |
629.83/630.18	c |    812318 |     462    24913    68224 |    23537    21183    105 |  0.000 % |
630.73/631.03	c |    813189 |     462    24913    68224 |    23537    22054    105 |  0.000 % |
631.63/631.91	c |    814148 |     462    24913    68224 |    23537    23013    105 |  0.000 % |
632.43/632.77	c |    815202 |     462    24913    68224 |    23537    19545    103 |  0.000 % |
633.83/634.12	c |    816361 |     462    24913    68224 |    23537    20704    104 |  0.000 % |
634.83/635.15	c |    817636 |     462    24913    68224 |    23537    21979    104 |  0.000 % |
636.53/636.83	c |    819037 |     462    24913    68224 |    23537    23380    104 |  0.000 % |
638.03/638.32	c |    820577 |     462    24913    68224 |    19528    16136     99 |  0.000 % |
639.63/639.93	c |    822274 |     462    24913    68224 |    19528    17833    100 |  0.000 % |
641.13/641.45	c |    824137 |     462    24913    68224 |    19528    19696    101 |  0.000 % |
642.42/642.75	c |    826186 |     462    24913    68224 |    19528    18416    100 |  0.000 % |
644.23/644.60	c |    828439 |     462    24913    68224 |    19528    17826     99 |  0.000 % |
645.62/645.98	c |    830917 |     462    24913    68224 |    19393    17507     99 |  0.000 % |
647.54/647.81	c |    833643 |     462    24913    68224 |    19393    17814     99 |  0.000 % |
649.93/650.20	c |    836644 |     462    24913    68224 |    19393    18295     99 |  0.000 % |
652.63/652.97	c |    839941 |     462    24913    68224 |    19393    19017    101 |  0.000 % |
655.13/655.46	c |    843566 |     462    24913    68224 |    19080    17685    102 |  0.000 % |
657.73/658.04	c |    847553 |     462    24913    68224 |    19080    17553     99 |  0.000 % |
660.53/660.84	c |    851941 |     462    24913    68224 | 2147483647    20018    103 |  0.000 % |
664.53/664.88	c |    856766 |     462    24913    68224 | 2147483647    24843    105 |  0.000 % |
670.22/670.55	c |    862071 |     462    24913    68224 |    28081    24779    105 |  0.000 % |
674.72/675.04	c |    867909 |     462    24913    68224 |    28081    24331    108 |  0.000 % |
680.62/680.97	c |    874327 |     462    24913    68224 |    26422    24675    107 |  0.000 % |
688.42/688.70	c |    881386 |     462    24913    68224 |    23869    19153    106 |  0.000 % |
696.32/696.70	c |    889152 |     462    24913    68224 |    23869    20920    105 |  0.000 % |
696.52/696.88	c |    889252 |     462    24913    68224 |    23869    21020    105 |  0.000 % |
696.81/697.13	c |    889362 |     462    24913    68224 |    23869    21130    105 |  0.000 % |
697.02/697.37	c |    889484 |     462    24913    68224 |    23869    21252    105 |  0.000 % |
697.21/697.54	c |    889617 |     462    24913    68224 |    23869    21385    105 |  0.000 % |
697.31/697.66	c |    889763 |     462    24913    68224 |    23869    21531    105 |  0.000 % |
697.61/697.90	c |    889923 |     462    24913    68224 |    23869    21691    106 |  0.000 % |
697.71/698.06	c |    890099 |     462    24913    68224 |    21769    21867    106 |  0.000 % |
698.01/698.37	c |    890295 |     462    24913    68224 |    21769    16823    103 |  0.000 % |
698.31/698.64	c |    890507 |     462    24913    68224 |    21769    17035    103 |  0.000 % |
698.51/698.83	c |    890742 |     462    24913    68224 |    21769    17270    103 |  0.000 % |
698.61/698.96	c |    890999 |     462    24913    68224 |    21769    17527    104 |  0.000 % |
699.01/699.32	c |    891281 |     462    24913    68224 |    21769    17809    104 |  0.000 % |
699.32/699.62	c |    891591 |     462    24913    68224 |    21769    18119    104 |  0.000 % |
699.71/700.04	c |    891932 |     462    24913    68224 |    21769    18460    104 |  0.000 % |
700.21/700.52	c |    892304 |     462    24913    68224 |    21769    18832    104 |  0.000 % |
700.71/701.01	c |    892713 |     462    24913    68224 |    21769    19241    104 |  0.000 % |
701.01/701.36	c |    893164 |     462    24913    68224 |    21769    19692    104 |  0.000 % |
701.71/702.06	c |    893657 |     462    24913    68224 |    21769    20185    105 |  0.000 % |
702.41/702.76	c |    894199 |     462    24913    68224 |    21769    20727    105 |  0.000 % |
703.31/703.61	c |    894795 |     462    24913    68224 |    21769    21323    105 |  0.000 % |
704.11/704.44	c |    895452 |     462    24913    68224 |    21769    21980    105 |  0.000 % |
705.01/705.35	c |    896176 |     462    24913    68224 |    21769    18202    103 |  0.000 % |
705.91/706.22	c |    896968 |     462    24913    68224 |    21769    18994    103 |  0.000 % |
706.41/706.70	c |    897839 |     462    24913    68224 |    21769    19865    104 |  0.000 % |
707.11/707.43	c |    898800 |     462    24913    68224 |    21769    20826    104 |  0.000 % |
707.61/707.92	c |    899854 |     462    24913    68224 |    21769    21880    105 |  0.000 % |
708.21/708.55	c |    901013 |     462    24913    68224 |    17897    15619    101 |  0.000 % |
709.31/709.64	c |    902288 |     462    24913    68224 |    17897    16894    102 |  0.000 % |
710.11/710.46	c |    903688 |     462    24913    68224 |    17897    15579    102 |  0.000 % |
711.71/712.02	c |    905228 |     462    24913    68224 |    17897    17119    103 |  0.000 % |
713.41/713.76	c |    906925 |     462    24913    68224 |    17897    16126    103 |  0.000 % |
714.61/714.95	c |    908789 |     462    24913    68224 |    17897    17990    104 |  0.000 % |
716.31/716.60	c |    910840 |     462    24913    68224 |    16764    15257    103 |  0.000 % |
718.41/718.70	c |    913094 |     462    24913    68224 |    16764    15423    101 |  0.000 % |
720.30/720.66	c |    915573 |     462    24913    68224 |    16764    15876    101 |  0.000 % |
722.31/722.64	c |    918298 |     462    24913    68224 |    16764    16604    100 |  0.000 % |
723.41/723.79	c |    921297 |     462    24913    68224 |    16363    15993    100 |  0.000 % |
726.10/726.44	c |    924594 |     462    24913    68224 |    16363    15984     99 |  0.000 % |
728.50/728.87	c |    928219 |     462    24913    68224 |    16363    16287     99 |  0.000 % |
731.00/731.32	c |    932206 |     462    24913    68224 | 2147483647    18616    100 |  0.000 % |
734.80/735.11	c |    936593 |     462    24913    68224 | 2147483647    23003    104 |  0.000 % |
739.30/739.66	c |    941418 |     462    24913    68224 |    26410    23505    101 |  0.000 % |
744.50/744.81	c |    946724 |     462    24913    68224 |    26410    22739    101 |  0.000 % |
750.50/750.81	c |    952559 |     462    24913    68224 |    26015    22310    101 |  0.000 % |
756.19/756.54	c |    958977 |     462    24913    68224 |    26015    22884    101 |  0.000 % |
761.90/762.27	c |    966036 |     462    24913    68224 |    23909    20334    101 |  0.000 % |
767.19/767.55	c |    973801 |     462    24913    68224 |    19897    17696    103 |  0.000 % |
772.69/773.09	c |    982341 |     462    24913    68224 |    18543    18214    107 |  0.000 % |
772.89/773.22	c |    982441 |     462    24913    68224 |    18543    18314    107 |  0.000 % |
772.99/773.36	c |    982551 |     462    24913    68224 |    18543    18424    107 |  0.000 % |
773.09/773.48	c |    982672 |     462    24913    68224 |    18543    18545    107 |  0.000 % |
773.29/773.64	c |    982807 |     462    24913    68224 |    18543    16263    105 |  0.000 % |
773.39/773.78	c |    982955 |     462    24913    68224 |    18543    16411    105 |  0.000 % |
773.59/773.93	c |    983116 |     462    24913    68224 |    18543    16572    105 |  0.000 % |
773.69/774.02	c |    983292 |     462    24913    68224 |    18543    16748    105 |  0.000 % |
773.89/774.21	c |    983487 |     462    24913    68224 |    18543    16943    105 |  0.000 % |
773.99/774.37	c |    983700 |     462    24913    68224 |    18543    17156    105 |  0.000 % |
774.29/774.61	c |    983933 |     462    24913    68224 |    18543    17389    105 |  0.000 % |
774.59/774.92	c |    984189 |     462    24913    68224 |    18543    17645    105 |  0.000 % |
774.79/775.20	c |    984471 |     462    24913    68224 |    18543    17927    105 |  0.000 % |
775.19/775.59	c |    984780 |     462    24913    68224 |    18543    18236    106 |  0.000 % |
775.59/775.91	c |    985120 |     462    24913    68224 |    18543    18576    106 |  0.000 % |
775.99/776.34	c |    985495 |     462    24913    68224 |    18543    16386    104 |  0.000 % |
776.29/776.70	c |    985905 |     462    24913    68224 |    18543    16796    104 |  0.000 % |
776.88/777.21	c |    986356 |     462    24913    68224 |    18543    17247    104 |  0.000 % |
777.39/777.77	c |    986849 |     462    24913    68224 |    18543    17740    104 |  0.000 % |
777.78/778.14	c |    987391 |     462    24913    68224 |    18543    18282    104 |  0.000 % |
778.39/778.79	c |    987989 |     462    24913    68224 |    18543    16264    102 |  0.000 % |
778.88/779.25	c |    988648 |     462    24913    68224 |    18543    16923    102 |  0.000 % |
779.68/780.03	c |    989368 |     462    24913    68224 |    18543    17643    103 |  0.000 % |
780.69/781.03	c |    990162 |     462    24913    68224 |    18277    18437    103 |  0.000 % |
781.08/781.47	c |    991034 |     462    24913    68224 |    18277    16687    100 |  0.000 % |
782.08/782.47	c |    991996 |     462    24913    68224 |    18277    17649    101 |  0.000 % |
782.89/783.28	c |    993051 |     462    24913    68224 |    18277    16221     99 |  0.000 % |
783.68/784.09	c |    994209 |     462    24913    68224 |    18277    17379    100 |  0.000 % |
784.78/785.12	c |    995483 |     462    24913    68224 |    18277    16260     98 |  0.000 % |
785.68/786.10	c |    996883 |     462    24913    68224 |    18277    17660     99 |  0.000 % |
787.08/787.40	c |    998424 |     462    24913    68224 |    18277    16900     99 |  0.000 % |
788.18/788.58	c |   1000118 |     462    24913    68224 |    18476    18594     99 |  0.000 % |
789.48/789.85	c |   1001981 |     462    24913    68224 |    18476    18122    100 |  0.000 % |
791.18/791.54	c |   1004031 |     462    24913    68224 |    18476    17968    100 |  0.000 % |
793.38/793.70	c |   1006285 |     462    24913    68224 |    18476    17960    100 |  0.000 % |
795.88/796.26	c |   1008763 |     462    24913    68224 |    18476    17843     99 |  0.000 % |
798.38/798.70	c |   1011488 |     462    24913    68224 |    16341    15432     98 |  0.000 % |
799.78/800.19	c |   1014485 |     462    24913    68224 |    16341    14988     99 |  0.000 % |
803.38/803.76	c |   1017786 |     462    24913    68224 |    16341    16589     98 |  0.000 % |
805.38/805.76	c |   1021411 |     462    24913    68224 |    15260    15116     95 |  0.000 % |
807.78/808.10	c |   1025400 |     462    24913    68224 |    15260    14480     95 |  0.000 % |
810.28/810.66	c |   1029787 |     462    24913    68224 |    15260    14238     97 |  0.000 % |
813.77/814.17	c |   1034610 |     462    24913    68224 | 2147483647    19061    103 |  0.000 % |
818.97/819.32	c |   1039915 |     462    24913    68224 | 2147483647    24366    106 |  0.000 % |
823.97/824.39	c |   1045754 |     462    24913    68224 |    24453    19747    105 |  0.000 % |
829.47/829.80	c |   1052174 |     462    24913    68224 |    23993    21012    100 |  0.000 % |
835.07/835.41	c |   1059234 |     462    24913    68224 |    23993    23557     97 |  0.000 % |
840.86/841.25	c |   1066998 |     462    24913    68224 |    24326    21075     98 |  0.000 % |
849.76/850.11	c |   1075539 |     462    24913    68224 |    24077    24177    101 |  0.000 % |
857.86/858.23	c |   1084933 |     462    24913    68224 |    23416    23689     99 |  0.000 % |
858.06/858.43	c |   1085035 |     462    24913    68224 |    23416    19206     97 |  0.000 % |
858.26/858.64	c |   1085147 |     462    24913    68224 |    23416    19318     97 |  0.000 % |
858.46/858.87	c |   1085270 |     462    24913    68224 |    23416    19441     97 |  0.000 % |
858.66/859.05	c |   1085409 |     462    24913    68224 |    23416    19580     97 |  0.000 % |
858.86/859.25	c |   1085555 |     462    24913    68224 |    23416    19726     97 |  0.000 % |
859.06/859.50	c |   1085715 |     462    24913    68224 |    23416    19886     97 |  0.000 % |
859.36/859.78	c |   1085894 |     462    24913    68224 |    23416    20065     97 |  0.000 % |
859.56/859.93	c |   1086087 |     462    24913    68224 |    23416    20258     97 |  0.000 % |
859.76/860.11	c |   1086299 |     462    24913    68224 |    23416    20470     97 |  0.000 % |
859.96/860.38	c |   1086535 |     462    24913    68224 |    23416    20706     97 |  0.000 % |
860.36/860.79	c |   1086791 |     462    24913    68224 |    23416    20962     97 |  0.000 % |
860.66/861.03	c |   1087072 |     462    24913    68224 |    23416    21243     97 |  0.000 % |
861.06/861.49	c |   1087381 |     462    24913    68224 |    23416    21552     97 |  0.000 % |
861.56/861.99	c |   1087720 |     462    24913    68224 |    23416    21891     97 |  0.000 % |
862.06/862.42	c |   1088094 |     462    24913    68224 |    23416    22265     97 |  0.000 % |
862.65/863.05	c |   1088505 |     462    24913    68224 |    23416    22676     98 |  0.000 % |
863.55/863.92	c |   1088954 |     462    24913    68224 |    23416    23125     98 |  0.000 % |
864.16/864.57	c |   1089449 |     462    24913    68224 |    23416    23620     98 |  0.000 % |
864.65/865.07	c |   1089992 |     462    24913    68224 |    23416    19149     95 |  0.000 % |
865.26/865.66	c |   1090593 |     462    24913    68224 |    19158    15753     94 |  0.000 % |
865.85/866.27	c |   1091248 |     462    24913    68224 |    19158    16408     94 |  0.000 % |
866.46/866.85	c |   1091968 |     462    24913    68224 |    19158    17128     94 |  0.000 % |
867.15/867.51	c |   1092761 |     462    24913    68224 |    19158    17921     94 |  0.000 % |
867.85/868.27	c |   1093634 |     462    24913    68224 |    19158    18794     94 |  0.000 % |
868.35/868.71	c |   1094592 |     462    24913    68224 |    19158    16784     93 |  0.000 % |
869.15/869.58	c |   1095645 |     462    24913    68224 |    19158    17837     93 |  0.000 % |
870.05/870.46	c |   1096803 |     462    24913    68224 |    19158    18995     94 |  0.000 % |
871.05/871.44	c |   1098078 |     462    24913    68224 |    19158    17507     92 |  0.000 % |
872.45/872.80	c |   1099479 |     462    24913    68224 |    19158    18908     93 |  0.000 % |
873.65/874.08	c |   1101020 |     462    24913    68224 |    16714    15341     91 |  0.000 % |
874.65/875.06	c |   1102714 |     462    24913    68224 |    16714    15344     90 |  0.000 % |
875.75/876.15	c |   1104578 |     462    24913    68224 |    16714    15516     90 |  0.000 % |
877.25/877.70	c |   1106627 |     462    24913    68224 |    16714    15868     89 |  0.000 % |
878.45/878.84	c |   1108881 |     462    24913    68224 |    16714    16433     91 |  0.000 % |
879.55/879.92	c |   1111359 |     462    24913    68224 | 2147483647    17220     92 |  0.000 % |
881.35/881.77	c |   1114087 |     462    24913    68224 | 2147483647    19948     93 |  0.000 % |
884.15/884.56	c |   1117084 |     462    24913    68224 | 2147483647    22945     96 |  0.000 % |
887.55/887.93	c |   1120384 |     462    24913    68224 |    25861    22706     96 |  0.000 % |
890.34/890.76	c |   1124010 |     462    24913    68224 |    25861    22215     98 |  0.000 % |
893.55/893.95	c |   1127999 |     462    24913    68224 |    25861    21669     97 |  0.000 % |
896.95/897.33	c |   1132384 |     462    24913    68224 |    23671    21813     95 |  0.000 % |
900.35/900.74	c |   1137208 |     462    24913    68224 |    23671    22646     97 |  0.000 % |
904.15/904.57	c |   1142513 |     462    24913    68224 |    21508    20578     97 |  0.000 % |
908.55/908.93	c |   1148349 |     462    24913    68224 |    21508    19733    101 |  0.000 % |
913.54/913.93	c |   1154767 |     462    24913    68224 |    21385    19323    102 |  0.000 % |
919.25/919.63	c |   1161827 |     462    24913    68224 |    21027    19289    103 |  0.000 % |
924.34/924.72	c |   1169591 |     462    24913    68224 |    21027    20279    103 |  0.000 % |
930.94/931.30	c |   1178132 |     462    24913    68224 |    20690    19017    100 |  0.000 % |
935.93/936.30	c |   1187528 |     462    24913    68224 |    20886    19321     94 |  0.000 % |
942.33/942.78	c |   1197862 |     462    24913    68224 |    19086    17671     95 |  0.000 % |
942.43/942.86	c |   1197962 |     462    24913    68224 |    19086    17771     95 |  0.000 % |
942.53/942.95	c |   1198073 |     462    24913    68224 |    19086    17882     95 |  0.000 % |
942.63/943.08	c |   1198195 |     462    24913    68224 |    19086    18004     95 |  0.000 % |
942.83/943.20	c |   1198329 |     462    24913    68224 |    19086    18138     95 |  0.000 % |
942.93/943.31	c |   1198475 |     462    24913    68224 |    19086    18284     95 |  0.000 % |
943.03/943.46	c |   1198638 |     462    24913    68224 |    19086    18447     95 |  0.000 % |
943.23/943.63	c |   1198814 |     462    24913    68224 |    19086    18623     95 |  0.000 % |
943.43/943.80	c |   1199007 |     462    24913    68224 |    19086    18816     95 |  0.000 % |
943.63/944.02	c |   1199219 |     462    24913    68224 |    19086    19028     96 |  0.000 % |
943.83/944.26	c |   1199452 |     462    24913    68224 |    19086    19261     96 |  0.000 % |
944.13/944.53	c |   1199713 |     462    24913    68224 |    19086    17444     96 |  0.000 % |
944.33/944.73	c |   1199997 |     462    24913    68224 |    19086    17728     96 |  0.000 % |
944.53/944.98	c |   1200308 |     462    24913    68224 |    17732    15966     96 |  0.000 % |
944.83/945.21	c |   1200647 |     462    24913    68224 |    17732    16305     96 |  0.000 % |
945.13/945.50	c |   1201023 |     462    24913    68224 |    17732    16681     96 |  0.000 % |
945.53/945.99	c |   1201432 |     462    24913    68224 |    17732    17090     97 |  0.000 % |
946.03/946.40	c |   1201881 |     462    24913    68224 |    17732    17539     97 |  0.000 % |
946.53/946.91	c |   1202376 |     462    24913    68224 |    17732    15744     95 |  0.000 % |
946.93/947.31	c |   1202918 |     462    24913    68224 |    17732    16286     95 |  0.000 % |
947.33/947.76	c |   1203516 |     462    24913    68224 |    17732    16884     95 |  0.000 % |
948.03/948.41	c |   1204173 |     462    24913    68224 |    17732    17541     95 |  0.000 % |
948.53/948.97	c |   1204893 |     462    24913    68224 |    17732    16114     94 |  0.000 % |
948.83/949.25	c |   1205685 |     462    24913    68224 |    17732    16906     95 |  0.000 % |
949.53/949.94	c |   1206557 |     462    24913    68224 |    17732    17778     96 |  0.000 % |
950.13/950.58	c |   1207515 |     462    24913    68224 |    17732    16793     95 |  0.000 % |
951.03/951.50	c |   1208569 |     462    24913    68224 |    17732    17847     95 |  0.000 % |
951.83/952.23	c |   1209728 |     462    24913    68224 |    17732    17124     94 |  0.000 % |
952.63/953.08	c |   1211003 |     462    24913    68224 |    17401    16515     94 |  0.000 % |
953.82/954.29	c |   1212405 |     462    24913    68224 |    17401    16104     93 |  0.000 % |
954.92/955.34	c |   1213950 |     462    24913    68224 |    17401    17649     94 |  0.000 % |
956.42/956.83	c |   1215647 |     462    24913    68224 |    17401    17582     94 |  0.000 % |
957.63/958.05	c |   1217510 |     462    24913    68224 |    17401    17606     94 |  0.000 % |
959.22/959.67	c |   1219559 |     462    24913    68224 |    17401    15868     92 |  0.000 % |
960.82/961.28	c |   1221812 |     462    24913    68224 |    16312    16250     93 |  0.000 % |
962.72/963.11	c |   1224290 |     462    24913    68224 |    16312    15423     92 |  0.000 % |
964.42/964.89	c |   1227015 |     462    24913    68224 |    16312    16494     93 |  0.000 % |
966.02/966.44	c |   1230013 |     462    24913    68224 | 2147483647    16187     94 |  0.000 % |
968.02/968.46	c |   1233309 |     462    24913    68224 | 2147483647    19483     94 |  0.000 % |
971.52/971.94	c |   1236936 |     462    24913    68224 | 2147483647    23110     96 |  0.000 % |
974.72/975.16	c |   1240923 |     462    24913    68224 |    26175    22981     94 |  0.000 % |
977.61/978.05	c |   1245309 |     462    24913    68224 |    26175    23051     93 |  0.000 % |
981.92/982.31	c |   1250133 |     462    24913    68224 |    22937    23070     92 |  0.000 % |
985.81/986.24	c |   1255438 |     462    24913    68224 |    22937    19294     93 |  0.000 % |
988.61/989.09	c |   1261273 |     462    24913    68224 |    19829    17794     93 |  0.000 % |
991.91/992.35	c |   1267692 |     462    24913    68224 |    19829    19899     89 |  0.000 % |
995.21/995.62	c |   1274753 |     462    24913    68224 | 2147483647    22962     90 |  0.000 % |
1003.51/1003.98	c |   1282517 |     462    24913    68224 |    28210    25764     88 |  0.000 % |
1009.60/1010.07	c |   1291057 |     462    24913    68224 |    27127    23022     83 |  0.000 % |
1013.00/1013.44	c |   1300452 |     462    24913    68224 | 2147483647    26936     87 |  0.000 % |
1022.61/1023.08	c |   1310787 |     462    24913    68224 |    36485    27912     95 |  0.000 % |
1040.00/1040.40	c |   1322155 |     462    24913    68224 |    24731    18508    101 |  0.000 % |
1040.10/1040.59	c |   1322261 |     462    24913    68224 |    24731    18614    101 |  0.000 % |
1040.30/1040.72	c |   1322371 |     462    24913    68224 |    24731    18724    101 |  0.000 % |
1040.40/1040.88	c |   1322494 |     462    24913    68224 |    24731    18847    101 |  0.000 % |
1040.60/1041.07	c |   1322628 |     462    24913    68224 |    24731    18981    101 |  0.000 % |
1040.80/1041.29	c |   1322777 |     462    24913    68224 |    24731    19130    101 |  0.000 % |
1041.00/1041.42	c |   1322938 |     462    24913    68224 |    24731    19291    101 |  0.000 % |
1041.20/1041.64	c |   1323115 |     462    24913    68224 |    24731    19468    101 |  0.000 % |
1041.40/1041.85	c |   1323310 |     462    24913    68224 |    24731    19663    101 |  0.000 % |
1041.60/1042.07	c |   1323522 |     462    24913    68224 |    24731    19875    101 |  0.000 % |
1041.80/1042.28	c |   1323755 |     462    24913    68224 |    24731    20108    102 |  0.000 % |
1042.10/1042.58	c |   1324011 |     462    24913    68224 |    24731    20364    102 |  0.000 % |
1042.50/1042.92	c |   1324293 |     462    24913    68224 |    24731    20646    102 |  0.000 % |
1042.90/1043.30	c |   1324604 |     462    24913    68224 |    24731    20957    102 |  0.000 % |
1043.20/1043.66	c |   1324943 |     462    24913    68224 |    24731    21296    102 |  0.000 % |
1043.60/1044.05	c |   1325315 |     462    24913    68224 |    24731    21668    102 |  0.000 % |
1044.20/1044.69	c |   1325724 |     462    24913    68224 |    24731    22077    102 |  0.000 % |
1044.90/1045.36	c |   1326176 |     462    24913    68224 |    24731    22529    102 |  0.000 % |
1045.70/1046.12	c |   1326669 |     462    24913    68224 |    24731    23022    102 |  0.000 % |
1046.30/1046.78	c |   1327217 |     462    24913    68224 |    24731    23570    102 |  0.000 % |
1047.20/1047.64	c |   1327813 |     462    24913    68224 |    24731    24166    102 |  0.000 % |
1048.30/1048.76	c |   1328472 |     462    24913    68224 |    24731    24825    102 |  0.000 % |
1049.10/1049.50	c |   1329193 |     462    24913    68224 |    24731    18563     99 |  0.000 % |
1049.70/1050.19	c |   1329985 |     462    24913    68224 |    24731    19355     99 |  0.000 % |
1050.60/1051.00	c |   1330859 |     462    24913    68224 |    19370    14933     96 |  0.000 % |
1051.20/1051.62	c |   1331817 |     462    24913    68224 |    19370    15891     96 |  0.000 % |
1052.09/1052.56	c |   1332871 |     462    24913    68224 |    19370    16945     96 |  0.000 % |
1053.19/1053.64	c |   1334031 |     462    24913    68224 |    19370    18105     97 |  0.000 % |
1054.19/1054.63	c |   1335305 |     462    24913    68224 |    19370    19379     97 |  0.000 % |
1055.09/1055.51	c |   1336705 |     462    24913    68224 |    19370    16743     95 |  0.000 % |
1056.29/1056.79	c |   1338245 |     462    24913    68224 |    19370    18283     94 |  0.000 % |
1057.39/1057.89	c |   1339939 |     462    24913    68224 |    19370    16453     91 |  0.000 % |
1057.89/1058.34	c |   1341802 |     462    24913    68224 |    16515    15591     89 |  0.000 % |
1059.79/1060.29	c |   1343851 |     462    24913    68224 |    16515    15503     89 |  0.000 % |
1061.09/1061.58	c |   1346105 |     462    24913    68224 |    16515    15505     91 |  0.000 % |
1062.29/1062.75	c |   1348583 |     462    24913    68224 |    16515    15871     91 |  0.000 % |
1064.29/1064.76	c |   1351309 |     462    24913    68224 |    15280    14802     97 |  0.000 % |
1065.98/1066.47	c |   1354306 |     462    24913    68224 |    15280    14704     98 |  0.000 % |
1067.89/1068.37	c |   1357603 |     462    24913    68224 |    15280    14923     98 |  0.000 % |
1070.18/1070.60	c |   1361230 |     462    24913    68224 | 2147483647    15454    101 |  0.000 % |
1073.18/1073.66	c |   1365223 |     462    24913    68224 | 2147483647    19447    103 |  0.000 % |
1077.18/1077.65	c |   1369608 |     462    24913    68224 | 2147483647    23832    105 |  0.000 % |
1082.18/1082.65	c |   1374431 |     462    24913    68224 |    24227    20689    104 |  0.000 % |
1086.88/1087.37	c |   1379740 |     462    24913    68224 |    24227    21501    100 |  0.000 % |
1091.48/1091.91	c |   1385576 |     462    24913    68224 |    21764    19586     97 |  0.000 % |
1095.67/1096.13	c |   1391996 |     462    24913    68224 |    20655    19671     98 |  0.000 % |
1100.47/1101.00	c |   1399058 |     462    24913    68224 |    20655    19177     98 |  0.000 % |
1107.77/1108.22	c |   1406825 |     462    24913    68224 |    20119    18138     96 |  0.000 % |
1113.88/1114.34	c |   1415365 |     462    24913    68224 |    18310    16669     89 |  0.000 % |
1119.28/1119.73	c |   1424759 |     462    24913    68224 | 2147483647    22269     90 |  0.000 % |
1126.77/1127.26	c |   1435092 |     462    24913    68224 |    27510    24817     90 |  0.000 % |
1141.77/1142.24	c |   1446458 |     462    24913    68224 |    22711    17083    101 |  0.000 % |
1148.87/1149.31	c |   1458961 |     462    24913    68224 |    20626    17825    107 |  0.000 % |
1148.97/1149.41	c |   1459063 |     462    24913    68224 |    20626    17927    107 |  0.000 % |
1149.07/1149.58	c |   1459174 |     462    24913    68224 |    20626    18038    107 |  0.000 % |
1149.27/1149.76	c |   1459295 |     462    24913    68224 |    20626    18159    107 |  0.000 % |
1149.47/1149.92	c |   1459429 |     462    24913    68224 |    20626    18293    107 |  0.000 % |
1149.57/1150.04	c |   1459576 |     462    24913    68224 |    20626    18440    107 |  0.000 % |
1149.77/1150.22	c |   1459739 |     462    24913    68224 |    20626    18603    107 |  0.000 % |
1149.97/1150.40	c |   1459916 |     462    24913    68224 |    20626    18780    107 |  0.000 % |
1150.07/1150.56	c |   1460111 |     462    24913    68224 |    18866    18975    108 |  0.000 % |
1150.17/1150.65	c |   1460324 |     462    24913    68224 |    18866    15971    105 |  0.000 % |
1150.37/1150.82	c |   1460558 |     462    24913    68224 |    18866    16205    105 |  0.000 % |
1150.57/1151.09	c |   1460815 |     462    24913    68224 |    18866    16462    106 |  0.000 % |
1150.77/1151.23	c |   1461099 |     462    24913    68224 |    18866    16746    106 |  0.000 % |
1151.07/1151.54	c |   1461408 |     462    24913    68224 |    18866    17055    106 |  0.000 % |
1151.47/1151.96	c |   1461748 |     462    24913    68224 |    18866    17395    106 |  0.000 % |
1151.77/1152.27	c |   1462122 |     462    24913    68224 |    18866    17769    107 |  0.000 % |
1152.27/1152.73	c |   1462531 |     462    24913    68224 |    18866    18178    107 |  0.000 % |
1152.67/1153.17	c |   1462980 |     462    24913    68224 |    18866    18627    108 |  0.000 % |
1153.07/1153.56	c |   1463475 |     462    24913    68224 |    18866    19122    108 |  0.000 % |
1153.77/1154.20	c |   1464019 |     462    24913    68224 |    18866    16390    106 |  0.000 % |
1154.37/1154.87	c |   1464615 |     462    24913    68224 |    18866    16986    107 |  0.000 % |
1155.07/1155.59	c |   1465270 |     462    24913    68224 |    18866    17641    107 |  0.000 % |
1155.97/1156.42	c |   1465991 |     462    24913    68224 |    18866    18362    107 |  0.000 % |
1157.07/1157.51	c |   1466791 |     462    24913    68224 |    18866    15673    105 |  0.000 % |
1157.67/1158.13	c |   1467665 |     462    24913    68224 |    18866    16547    105 |  0.000 % |
1158.56/1159.00	c |   1468624 |     462    24913    68224 |    18866    17506    106 |  0.000 % |
1159.26/1159.76	c |   1469677 |     462    24913    68224 |    18866    18559    106 |  0.000 % |
1160.16/1160.61	c |   1470837 |     462    24913    68224 |    18883    16338    104 |  0.000 % |
1161.17/1161.61	c |   1472110 |     462    24913    68224 |    18883    17611    105 |  0.000 % |
1162.46/1162.98	c |   1473513 |     462    24913    68224 |    18883    19014    105 |  0.000 % |
1163.66/1164.18	c |   1475056 |     462    24913    68224 |    18883    17199    103 |  0.000 % |
1165.16/1165.68	c |   1476750 |     462    24913    68224 |    18883    18893    104 |  0.000 % |
1166.76/1167.23	c |   1478617 |     462    24913    68224 |    18883    17408    102 |  0.000 % |
1168.36/1168.84	c |   1480670 |     462    24913    68224 |    18794    16159    102 |  0.000 % |
1169.36/1169.80	c |   1482923 |     462    24913    68224 |    18794    18412    102 |  0.000 % |
1171.26/1171.73	c |   1485402 |     462    24913    68224 |    18794    18040    102 |  0.000 % |
1172.86/1173.33	c |   1488127 |     462    24913    68224 |    18794    18042    102 |  0.000 % |
1175.06/1175.52	c |   1491124 |     462    24913    68224 |    17072    15756     99 |  0.000 % |
1177.06/1177.53	c |   1494420 |     462    24913    68224 |    17072    16339    103 |  0.000 % |
1179.36/1179.90	c |   1498046 |     462    24913    68224 |    17072    16991    103 |  0.000 % |
1182.06/1182.59	c |   1502034 |     462    24913    68224 |    15847    15056    104 |  0.000 % |
1184.95/1185.47	c |   1506419 |     462    24913    68224 |    15847    14514    101 |  0.000 % |
1187.46/1187.92	c |   1511242 |     462    24913    68224 |    15831    15143     99 |  0.000 % |
1189.75/1190.28	c |   1516550 |     462    24913    68224 |    15831    15643     98 |  0.000 % |
1193.05/1193.57	c |   1522385 |     462    24913    68224 | 2147483647    18266    101 |  0.000 % |
1198.05/1198.52	c |   1528803 |     462    24913    68224 | 2147483647    24684    104 |  0.000 % |
1200.05/1200.51	HOME/SatELiteGTI: line 36: 11747 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834277-1242829348/watcher-1834277-1242829348 -o /tmp/evaluation-result-1834277-1242829348/solver-1834277-1242829348 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834277-1242829348.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 11741
/proc/meminfo: memFree=1917904/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310968055 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11741/statm: 1339 237 197 169 0 50 0

[startup+0.030303 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 11741
/proc/meminfo: memFree=1917904/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310968055 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11741/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101315 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 11741
/proc/meminfo: memFree=1917904/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301335 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 11741
/proc/meminfo: memFree=1917904/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.701382 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 11741
/proc/meminfo: memFree=1917904/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50146 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1912384/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=6752 CPUtime=1.41
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 1402 0 0 0 141 0 0 0 25 0 1 0 310968063 6914048 1388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 1688 1388 77 171 0 1515 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12108

[startup+3.10163 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1910656/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=9468 CPUtime=3.01
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 2105 0 0 0 300 1 0 0 25 0 1 0 310968063 9695232 2091 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 2367 2091 77 171 0 2194 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14824

[startup+6.30198 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1906304/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=12868 CPUtime=6.21
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 2950 0 0 0 619 2 0 0 25 0 1 0 310968063 13176832 2936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 3217 2936 77 171 0 3044 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18224

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1901824/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=16876 CPUtime=12.6
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 3926 0 0 0 1257 3 0 0 25 0 1 0 310968063 17281024 3912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 4219 3912 77 171 0 4046 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22232

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1899200/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=19208 CPUtime=25.4
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 4504 0 0 0 2536 4 0 0 25 0 1 0 310968063 19668992 4490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 4802 4490 77 171 0 4629 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 24564

[startup+51.1028 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1898048/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=20432 CPUtime=50.99
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 4785 0 0 0 5095 4 0 0 25 0 1 0 310968063 20922368 4771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5108 4771 77 171 0 4935 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 25788

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1897856/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=20576 CPUtime=102.18
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 4814 0 0 0 10213 5 0 0 25 0 1 0 310968063 21069824 4800 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5144 4800 77 171 0 4971 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 25932

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1897792/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=20576 CPUtime=162.16
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 4817 0 0 0 16210 6 0 0 25 0 1 0 310968063 21069824 4803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5144 4803 77 171 0 4971 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 25932

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1895808/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22520 CPUtime=222.13
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5289 0 0 0 22207 6 0 0 25 0 1 0 310968063 23060480 5275 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5630 5275 77 171 0 5457 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 27876

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1895488/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=282.12
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5339 0 0 0 28205 7 0 0 25 0 1 0 310968063 23203840 5325 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5325 77 171 0 5492 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 28016

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1895432/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=342.09
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5340 0 0 0 34202 7 0 0 25 0 1 0 310968063 23203840 5326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5326 77 171 0 5492 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 28016

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1895304/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=402.07
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5341 0 0 0 40199 8 0 0 25 0 1 0 310968063 23203840 5327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5327 77 171 0 5492 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 28016

[startup+462.302 s]

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

[pid=11747] ppid=11741 vsize=22660 CPUtime=522.02
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5342 0 0 0 52193 9 0 0 25 0 1 0 310968063 23203840 5328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5328 77 171 0 5492 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 28016

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894984/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=581.99
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5342 0 0 0 58190 9 0 0 25 0 1 0 310968063 23203840 5328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5328 77 171 0 5492 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 28016

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894920/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=641.97
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5343 0 0 0 64188 9 0 0 25 0 1 0 310968063 23203840 5329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5329 77 171 0 5492 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 28016

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894728/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=701.95
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5344 0 0 0 70185 10 0 0 25 0 1 0 310968063 23203840 5330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5330 77 171 0 5492 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 28016

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894472/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=761.94
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5344 0 0 0 76184 10 0 0 25 0 1 0 310968063 23203840 5330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5330 77 171 0 5492 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 28016

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894344/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=821.91
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5345 0 0 0 82181 10 0 0 25 0 1 0 310968063 23203840 5331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5331 77 171 0 5492 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 28016

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894344/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22660 CPUtime=881.89
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5345 0 0 0 88179 10 0 0 25 0 1 0 310968063 23203840 5331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5665 5331 77 171 0 5492 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 28016

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894088/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22828 CPUtime=941.87
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5375 0 0 0 94176 11 0 0 25 0 1 0 310968063 23375872 5361 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5707 5361 77 171 0 5534 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 28184

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1894024/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=22828 CPUtime=1001.85
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 5375 0 0 0 100174 11 0 0 25 0 1 0 310968063 23375872 5361 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 5707 5361 77 171 0 5534 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 28184

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1890696/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=26092 CPUtime=1061.83
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 6185 0 0 0 106171 12 0 0 25 0 1 0 310968063 26718208 6171 1992294400 134512640 135215339 4294956240 18446744073709551615 134538977 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 6523 6171 77 171 0 6350 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 31448

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1890632/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=26092 CPUtime=1121.82
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 6185 0 0 0 112169 13 0 0 25 0 1 0 310968063 26718208 6171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 6523 6171 77 171 0 6350 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 31448

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1890504/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=26092 CPUtime=1181.79
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 6189 0 0 0 118166 13 0 0 25 0 1 0 310968063 26718208 6175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 6523 6175 77 171 0 6350 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 31448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1890440/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=26092 CPUtime=1199.99
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 6189 0 0 0 119986 13 0 0 25 0 1 0 310968063 26718208 6175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 6523 6175 77 171 0 6350 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 31448

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11747
/proc/meminfo: memFree=1890440/2055920 swapFree=4180320/4192956
[pid=11741] ppid=11739 vsize=5356 CPUtime=0.06
/proc/11741/stat : 11741 (SatELiteGTI) S 11739 11741 11321 0 -1 4194304 336 872 0 0 0 0 6 0 16 0 1 0 310968055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11741/statm: 1339 239 197 169 0 50 0
[pid=11747] ppid=11741 vsize=26092 CPUtime=1199.99
/proc/11747/stat : 11747 (minisat_static) R 11741 11741 11321 0 -1 4194304 6189 0 0 0 119986 13 0 0 25 0 1 0 310968063 26718208 6175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11747/statm: 6523 6175 77 171 0 6350 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 31448

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.93
CPU system time (s): 0.142978
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 31448

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

runsolver used 1.48677 second user time and 2.99754 second system time

The end

Launcher Data

Begin job on node19 at 2009-05-20 16:22:28
IDJOB=1834277
IDBENCH=71805
IDSOLVER=671
FILE ID=node19/1834277-1242829348
PBS_JOBID= 9322508
Free space on /tmp= 66232 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-23-189-21-75.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834277-1242829348/watcher-1834277-1242829348 -o /tmp/evaluation-result-1834277-1242829348/solver-1834277-1242829348 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834277-1242829348.cnf

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

MD5SUM BENCH= 46a186d5aa9ba41a176adf24fb365342
RANDOM SEED=689675169

node19.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.236
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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1918448 kB
Buffers:         21528 kB
Cached:          79168 kB
SwapCached:       6676 kB
Active:          52496 kB
Inactive:        56440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1918448 kB
SwapTotal:     4192956 kB
SwapFree:      4180320 kB
Dirty:            1880 kB
Writeback:           0 kB
Mapped:          13380 kB
Slab:            14548 kB
Committed_AS:  1059208 kB
PageTables:       1456 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= 66232 MiB
End job on node19 at 2009-05-20 16:42:30