Trace number 1834271

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.05 1200.41

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-21-168-19-90.cnf
MD5SUM3286758d58a4fc3caa90b96d61beac86
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.101983
Satisfiable
(Un)Satisfiability was proved
Number of variables399
Number of clauses18184
Sum of the clauses size36729
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 218165
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519

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 |   18184    36729 |    5455       0        0     nan |  0.000 % |
0.00/0.03	c |         0 |   17785    46622 |      --       0       --      -- |     --   | -399/9893
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 380   #clauses: 17785   #literals: 46622
0.00/0.03	c CPU time:   0.023996 s
0.00/0.03	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  380                                                  |
0.00/0.04	c |  Number of clauses:    17785                                                |
0.00/0.05	c |  Parsing time:         0.01         s                                       |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     380    17785    46622 |     5928        0    nan |  0.000 % |
0.00/0.06	c |       100 |     380    17785    46622 |     5928      100     87 |  0.001 % |
0.03/0.06	c |       201 |     380    17785    46622 |     5928      201     87 |  0.001 % |
0.03/0.06	c |       303 |     380    17785    46622 |     5928      303     86 |  0.001 % |
0.03/0.07	c |       413 |     380    17785    46622 |     5928      413     85 |  0.001 % |
0.03/0.07	c |       516 |     380    17785    46622 |     5928      516     83 |  0.001 % |
0.03/0.08	c |       626 |     380    17785    46622 |     5928      626     84 |  0.001 % |
0.03/0.09	c |       748 |     380    17785    46622 |     5928      748     86 |  0.001 % |
0.03/0.09	c |       848 |     380    17785    46622 |     5928      848     85 |  0.001 % |
0.03/0.10	c |       959 |     380    17785    46622 |     5928      959     82 |  0.001 % |
0.03/0.11	c |      1083 |     380    17785    46622 |     5928     1083     81 |  0.001 % |
0.03/0.11	c |      1216 |     380    17785    46622 |     5928     1216     83 |  0.001 % |
0.03/0.12	c |      1316 |     380    17785    46622 |     5928     1316     86 |  0.001 % |
0.03/0.13	c |      1426 |     380    17785    46622 |     5928     1426     87 |  0.001 % |
0.03/0.14	c |      1547 |     380    17785    46622 |     5928     1547     88 |  0.001 % |
0.03/0.15	c |      1683 |     380    17785    46622 |     5928     1683     90 |  0.001 % |
0.03/0.16	c |      1829 |     380    17785    46622 |     5928     1829     89 |  0.001 % |
0.03/0.16	c |      1931 |     380    17785    46622 |     5928     1931     89 |  0.001 % |
0.03/0.17	c |      2041 |     380    17785    46622 |     5928     2041     89 |  0.001 % |
0.03/0.18	c |      2162 |     380    17785    46622 |     5928     2162     89 |  0.001 % |
0.03/0.19	c |      2295 |     380    17785    46622 |     5928     2295     90 |  0.001 % |
0.03/0.21	c |      2446 |     380    17785    46622 |     5928     2446     91 |  0.001 % |
0.03/0.23	c |      2608 |     380    17785    46622 |     5928     2608     91 |  0.001 % |
0.03/0.24	c |      2709 |     380    17785    46622 |     5928     2709     91 |  0.001 % |
0.03/0.25	c |      2820 |     380    17785    46622 |     5928     2820     92 |  0.001 % |
0.03/0.27	c |      2943 |     380    17785    46622 |     5928     2943     92 |  0.001 % |
0.03/0.28	c |      3077 |     380    17785    46622 |     5928     3077     92 |  0.001 % |
0.03/0.30	c |      3223 |     380    17785    46622 |     5928     3223     92 |  0.001 % |
0.03/0.32	c |      3383 |     380    17785    46622 |     5928     3383     93 |  0.001 % |
0.03/0.35	c |      3559 |     380    17785    46622 |     5928     3559     93 |  0.001 % |
0.03/0.36	c |      3659 |     380    17785    46622 |     5928     3659     94 |  0.001 % |
0.03/0.38	c |      3769 |     380    17785    46622 |     5928     3769     94 |  0.001 % |
0.03/0.39	c |      3890 |     380    17785    46622 |     5928     3890     94 |  0.001 % |
0.03/0.41	c |      4025 |     380    17785    46622 |     5928     4025     93 |  0.001 % |
0.03/0.44	c |      4171 |     380    17785    46622 |     5928     4171     93 |  0.001 % |
0.03/0.47	c |      4333 |     380    17785    46622 |     5928     4333     94 |  0.001 % |
0.03/0.50	c |      4509 |     380    17785    46622 |     5928     4509     94 |  0.001 % |
0.03/0.54	c |      4705 |     380    17785    46622 |     5928     4705     94 |  0.001 % |
0.03/0.56	c |      4808 |     380    17785    46622 |     5928     4808     94 |  0.001 % |
0.03/0.59	c |      4918 |     380    17785    46622 |     5928     4918     94 |  0.001 % |
0.03/0.61	c |      5041 |     380    17785    46622 |     5928     5041     94 |  0.001 % |
0.03/0.65	c |      5174 |     380    17785    46622 |     5928     5174     95 |  0.001 % |
0.03/0.69	c |      5320 |     380    17785    46622 |     5928     5320     95 |  0.001 % |
0.03/0.73	c |      5483 |     380    17785    46622 |     5928     5483     95 |  0.001 % |
0.03/0.78	c |      5660 |     380    17785    46622 |     5928     5660     95 |  0.001 % |
0.03/0.83	c |      5854 |     380    17785    46622 |     5928     5854     95 |  0.001 % |
0.03/0.88	c |      6068 |     380    17785    46622 |     5928     6068     95 |  0.001 % |
0.03/0.93	c |      6172 |     380    17785    46622 |     5928     5566     95 |  0.001 % |
0.03/0.96	c |      6283 |     380    17785    46622 |     5928     5677     96 |  0.001 % |
0.97/1.01	c |      6404 |     380    17785    46622 |     5928     5798     96 |  0.001 % |
0.97/1.03	c |      6540 |     380    17785    46622 |     5928     5934     96 |  0.001 % |
0.97/1.07	c |      6686 |     380    17785    46622 |     5928     5487     96 |  0.001 % |
1.07/1.11	c |      6847 |     380    17785    46622 |     5928     5648     96 |  0.001 % |
1.07/1.17	c |      7023 |     380    17785    46622 |     5928     5824     96 |  0.001 % |
1.17/1.23	c |      7217 |     380    17785    46622 |     5928     6018     96 |  0.001 % |
1.17/1.30	c |      7430 |     380    17785    46622 |     5928     5630     96 |  0.001 % |
1.27/1.37	c |      7665 |     380    17785    46622 |     5928     5865     96 |  0.001 % |
1.37/1.40	c |      7766 |     380    17785    46622 |     5928     5966     96 |  0.001 % |
1.37/1.44	c |      7878 |     380    17785    46622 |     5928     5482     95 |  0.001 % |
1.37/1.47	c |      8000 |     380    17785    46622 |     5928     5604     96 |  0.001 % |
1.47/1.52	c |      8134 |     380    17785    46622 |     5928     5738     96 |  0.001 % |
1.47/1.56	c |      8280 |     380    17785    46622 |     5928     5884     96 |  0.001 % |
1.57/1.61	c |      8443 |     380    17785    46622 |     5928     6047     96 |  0.001 % |
1.57/1.67	c |      8619 |     380    17785    46622 |     5928     5619     95 |  0.001 % |
1.67/1.73	c |      8814 |     380    17785    46622 |     5928     5814     95 |  0.001 % |
1.67/1.79	c |      9026 |     380    17785    46622 |     5928     6026     95 |  0.001 % |
1.77/1.86	c |      9259 |     380    17785    46622 |     5928     5657     95 |  0.001 % |
1.87/1.92	c |      9516 |     380    17785    46622 |     5928     5914     95 |  0.001 % |
1.87/1.94	c |      9616 |     380    17785    46622 |     5928     6014     95 |  0.001 % |
1.87/1.97	c |      9727 |     380    17785    46622 |     5928     5524     94 |  0.001 % |
1.87/1.99	c |      9849 |     380    17785    46622 |     5928     5646     93 |  0.001 % |
1.97/2.00	c |      9982 |     380    17785    46622 |     5928     5779     93 |  0.001 % |
1.97/2.06	c |     10131 |     380    17785    46622 | 2147483647     5928     93 |  0.001 % |
2.07/2.11	c |     10292 |     380    17785    46622 | 2147483647     6089     93 |  0.001 % |
2.07/2.18	c |     10471 |     380    17785    46622 | 2147483647     6268     93 |  0.001 % |
2.17/2.25	c |     10664 |     380    17785    46622 | 2147483647     6461     93 |  0.001 % |
2.27/2.31	c |     10877 |     380    17785    46622 | 2147483647     6674     94 |  0.001 % |
2.27/2.38	c |     11110 |     380    17785    46622 | 2147483647     6907     94 |  0.001 % |
2.37/2.49	c |     11367 |     380    17785    46622 | 2147483647     7164     94 |  0.001 % |
2.56/2.61	c |     11649 |     380    17785    46622 | 2147483647     7446     94 |  0.001 % |
2.56/2.64	c |     11749 |     380    17785    46622 | 2147483647     7546     94 |  0.001 % |
2.56/2.68	c |     11859 |     380    17785    46622 | 2147483647     7656     94 |  0.001 % |
2.66/2.72	c |     11981 |     380    17785    46622 | 2147483647     7778     94 |  0.001 % |
2.76/2.80	c |     12114 |     380    17785    46622 | 2147483647     7911     94 |  0.001 % |
2.76/2.86	c |     12261 |     380    17785    46622 | 2147483647     8058     94 |  0.001 % |
2.87/2.93	c |     12421 |     380    17785    46622 | 2147483647     8218     94 |  0.001 % |
2.97/3.02	c |     12598 |     380    17785    46622 | 2147483647     8395     94 |  0.001 % |
3.07/3.10	c |     12792 |     380    17785    46622 | 2147483647     8589     94 |  0.001 % |
3.07/3.16	c |     13005 |     380    17785    46622 | 2147483647     8802     94 |  0.001 % |
3.18/3.26	c |     13239 |     380    17785    46622 | 2147483647     9036     93 |  0.001 % |
3.28/3.36	c |     13495 |     380    17785    46622 | 2147483647     9292     93 |  0.001 % |
3.37/3.42	c |     13776 |     380    17785    46622 | 2147483647     9573     93 |  0.001 % |
3.57/3.60	c |     14089 |     380    17785    46622 | 2147483647     9886     93 |  0.001 % |
3.57/3.67	c |     14189 |     380    17785    46622 | 2147483647     9986     93 |  0.001 % |
3.67/3.72	c |     14299 |     380    17785    46622 | 2147483647    10096     93 |  0.001 % |
3.67/3.74	c |     14422 |     380    17785    46622 | 2147483647    10219     94 |  0.001 % |
3.77/3.83	c |     14556 |     380    17785    46622 | 2147483647    10353     94 |  0.001 % |
3.87/3.93	c |     14702 |     380    17785    46622 | 2147483647    10499     94 |  0.001 % |
3.97/4.07	c |     14862 |     380    17785    46622 | 2147483647    10659     94 |  0.001 % |
4.17/4.24	c |     15039 |     380    17785    46622 | 2147483647    10836     94 |  0.001 % |
4.37/4.42	c |     15232 |     380    17785    46622 | 2147483647    11029     95 |  0.001 % |
4.47/4.57	c |     15447 |     380    17785    46622 | 2147483647    11244     95 |  0.001 % |
4.67/4.76	c |     15684 |     380    17785    46622 | 2147483647    11481     95 |  0.001 % |
4.87/4.92	c |     15944 |     380    17785    46622 | 2147483647    11741     95 |  0.001 % |
5.07/5.15	c |     16225 |     380    17785    46622 | 2147483647    12022     95 |  0.001 % |
5.27/5.37	c |     16535 |     380    17785    46622 | 2147483647    12332     95 |  0.001 % |
5.57/5.62	c |     16874 |     380    17785    46622 | 2147483647    12671     95 |  0.001 % |
5.57/5.69	c |     16975 |     380    17785    46622 | 2147483647    12772     95 |  0.001 % |
5.77/5.80	c |     17090 |     380    17785    46622 | 2147483647    12887     95 |  0.001 % |
5.87/5.90	c |     17211 |     380    17785    46622 | 2147483647    13008     95 |  0.001 % |
5.87/5.97	c |     17345 |     380    17785    46622 | 2147483647    13142     95 |  0.001 % |
5.87/5.99	c |     17492 |     380    17785    46622 | 2147483647    13289     95 |  0.001 % |
5.97/6.09	c |     17653 |     380    17785    46622 | 2147483647    13450     95 |  0.001 % |
6.07/6.18	c |     17830 |     380    17785    46622 | 2147483647    13627     95 |  0.001 % |
6.37/6.40	c |     18028 |     380    17785    46622 | 2147483647    13825     95 |  0.001 % |
6.57/6.64	c |     18240 |     380    17785    46622 | 2147483647    14037     95 |  0.001 % |
6.86/6.94	c |     18474 |     380    17785    46622 | 2147483647    14271     96 |  0.001 % |
7.16/7.20	c |     18730 |     380    17785    46622 | 2147483647    14527     96 |  0.001 % |
7.36/7.48	c |     19011 |     380    17785    46622 | 2147483647    14808     96 |  0.001 % |
7.76/7.85	c |     19320 |     380    17785    46622 | 2147483647    15117     96 |  0.001 % |
8.06/8.18	c |     19659 |     380    17785    46622 | 2147483647    15456     96 |  0.001 % |
8.57/8.64	c |     20033 |     380    17785    46622 | 2147483647    15830     96 |  0.001 % |
8.68/8.78	c |     20133 |     380    17785    46622 | 2147483647    15930     96 |  0.001 % |
8.87/8.96	c |     20243 |     380    17785    46622 | 2147483647    16040     96 |  0.001 % |
9.07/9.13	c |     20364 |     380    17785    46622 | 2147483647    16161     96 |  0.001 % |
9.17/9.28	c |     20498 |     380    17785    46622 | 2147483647    16295     97 |  0.001 % |
9.47/9.50	c |     20644 |     380    17785    46622 | 2147483647    16441     97 |  0.001 % |
9.67/9.72	c |     20804 |     380    17785    46622 | 2147483647    16601     97 |  0.001 % |
9.77/9.89	c |     20980 |     380    17785    46622 | 2147483647    16777     97 |  0.001 % |
9.97/10.04	c |     21173 |     380    17785    46622 | 2147483647    16970     97 |  0.001 % |
10.17/10.27	c |     21387 |     380    17785    46622 | 2147483647    17184     97 |  0.001 % |
10.47/10.55	c |     21621 |     380    17785    46622 | 2147483647    17418     97 |  0.001 % |
10.77/10.84	c |     21881 |     380    17785    46622 | 2147483647    17678     97 |  0.001 % |
11.17/11.27	c |     22165 |     380    17785    46622 | 2147483647    17962     97 |  0.001 % |
11.67/11.75	c |     22478 |     380    17785    46622 | 2147483647    18275     97 |  0.001 % |
12.07/12.13	c |     22820 |     380    17785    46622 | 2147483647    18617     97 |  0.001 % |
12.67/12.77	c |     23194 |     380    17785    46622 | 2147483647    18991     97 |  0.001 % |
13.26/13.36	c |     23605 |     380    17785    46622 | 2147483647    19402     97 |  0.001 % |
13.36/13.47	c |     23706 |     380    17785    46622 | 2147483647    19503     97 |  0.001 % |
13.56/13.60	c |     23816 |     380    17785    46622 | 2147483647    19613     97 |  0.001 % |
13.76/13.81	c |     23937 |     380    17785    46622 | 2147483647    19734     97 |  0.001 % |
13.96/14.05	c |     24070 |     380    17785    46622 | 2147483647    19867     97 |  0.001 % |
14.17/14.27	c |     24218 |     380    17785    46622 | 2147483647    20015     97 |  0.001 % |
14.36/14.41	c |     24379 |     380    17785    46622 | 2147483647    20176     97 |  0.001 % |
14.46/14.58	c |     24558 |     380    17785    46622 | 2147483647    20355     97 |  0.001 % |
14.86/14.98	c |     24755 |     380    17785    46622 | 2147483647    20552     97 |  0.001 % |
15.27/15.32	c |     24968 |     380    17785    46622 | 2147483647    20765     97 |  0.001 % |
15.66/15.79	c |     25203 |     380    17785    46622 | 2147483647    21000     97 |  0.001 % |
16.06/16.12	c |     25462 |     380    17785    46622 | 2147483647    21259     97 |  0.001 % |
16.27/16.31	c |     25743 |     380    17785    46622 | 2147483647    21540     97 |  0.001 % |
16.67/16.70	c |     26052 |     380    17785    46622 | 2147483647    21849     97 |  0.001 % |
17.07/17.19	c |     26393 |     380    17785    46622 | 2147483647    22190     97 |  0.001 % |
17.77/17.84	c |     26765 |     380    17785    46622 | 2147483647    22562     97 |  0.001 % |
18.26/18.35	c |     27174 |     380    17785    46622 | 2147483647    22971     97 |  0.001 % |
19.06/19.12	c |     27625 |     380    17785    46622 | 2147483647    23422     97 |  0.001 % |
19.16/19.29	c |     27725 |     380    17785    46622 | 2147483647    23522     97 |  0.001 % |
19.36/19.41	c |     27836 |     380    17785    46622 | 2147483647    23633     97 |  0.001 % |
19.56/19.66	c |     27959 |     380    17785    46622 | 2147483647    23756     97 |  0.001 % |
19.96/20.00	c |     28093 |     380    17785    46622 | 2147483647    23890     97 |  0.001 % |
20.26/20.32	c |     28240 |     380    17785    46622 | 2147483647    24037     97 |  0.001 % |
20.56/20.62	c |     28401 |     380    17785    46622 | 2147483647    24198     97 |  0.001 % |
20.97/21.05	c |     28577 |     380    17785    46622 | 2147483647    24374     97 |  0.001 % |
21.37/21.46	c |     28771 |     380    17785    46622 | 2147483647    24568     97 |  0.001 % |
21.77/21.87	c |     28984 |     380    17785    46622 | 2147483647    24781     97 |  0.001 % |
22.17/22.20	c |     29220 |     380    17785    46622 | 2147483647    25017     97 |  0.001 % |
22.47/22.53	c |     29476 |     380    17785    46622 | 2147483647    25273     97 |  0.001 % |
22.87/22.95	c |     29757 |     380    17785    46622 | 2147483647    25554     97 |  0.001 % |
23.07/23.16	c |     30066 |     380    17785    46622 |    25797    25863     97 |  0.001 % |
23.67/23.70	c |     30405 |     380    17785    46622 |    25797    19678     97 |  0.001 % |
24.17/24.22	c |     30778 |     380    17785    46622 |    25797    20051     96 |  0.001 % |
24.57/24.65	c |     31191 |     380    17785    46622 |    25797    20464     96 |  0.001 % |
25.07/25.14	c |     31640 |     380    17785    46622 |    25797    20913     96 |  0.001 % |
25.67/25.72	c |     32133 |     380    17785    46622 |    25797    21406     96 |  0.001 % |
25.67/25.79	c |     32233 |     380    17785    46622 |    25797    21506     96 |  0.001 % |
25.77/25.89	c |     32344 |     380    17785    46622 |    25797    21617     96 |  0.001 % |
25.97/26.03	c |     32465 |     380    17785    46622 |    25797    21738     96 |  0.001 % |
26.07/26.17	c |     32598 |     380    17785    46622 |    25797    21871     96 |  0.001 % |
26.27/26.33	c |     32744 |     380    17785    46622 |    25797    22017     96 |  0.001 % |
26.46/26.59	c |     32906 |     380    17785    46622 |    25797    22179     96 |  0.001 % |
26.86/26.92	c |     33082 |     380    17785    46622 |    25797    22355     96 |  0.001 % |
27.16/27.25	c |     33276 |     380    17785    46622 |    25797    22549     96 |  0.001 % |
27.56/27.62	c |     33488 |     380    17785    46622 |    25797    22761     96 |  0.001 % |
27.86/27.99	c |     33725 |     380    17785    46622 |    25797    22998     96 |  0.001 % |
28.16/28.28	c |     33982 |     380    17785    46622 |    25797    23255     96 |  0.001 % |
28.47/28.59	c |     34264 |     380    17785    46622 |    25797    23537     96 |  0.001 % |
28.96/29.02	c |     34573 |     380    17785    46622 |    25797    23846     96 |  0.001 % |
29.46/29.57	c |     34913 |     380    17785    46622 |    25797    24186     96 |  0.001 % |
29.76/29.85	c |     35285 |     380    17785    46622 |    25797    24558     96 |  0.001 % |
29.96/30.08	c |     35694 |     380    17785    46622 |    25797    24967     96 |  0.001 % |
30.56/30.69	c |     36143 |     380    17785    46622 |    25797    25416     96 |  0.001 % |
31.06/31.10	c |     36636 |     380    17785    46622 |    25797    25909     96 |  0.001 % |
31.26/31.37	c |     37178 |     380    17785    46622 |    25797    19633     93 |  0.001 % |
31.36/31.49	c |     37281 |     380    17785    46622 |    25797    19736     93 |  0.001 % |
31.56/31.60	c |     37393 |     380    17785    46622 |    25797    19848     93 |  0.001 % |
31.56/31.67	c |     37514 |     380    17785    46622 |    25797    19969     93 |  0.001 % |
31.76/31.81	c |     37647 |     380    17785    46622 |    25797    20102     93 |  0.001 % |
31.86/31.94	c |     37793 |     380    17785    46622 |    25797    20248     93 |  0.001 % |
32.06/32.14	c |     37953 |     380    17785    46622 |    25797    20408     94 |  0.001 % |
32.36/32.40	c |     38131 |     380    17785    46622 |    25797    20586     94 |  0.001 % |
32.56/32.62	c |     38325 |     380    17785    46622 |    25797    20780     94 |  0.001 % |
32.86/32.92	c |     38538 |     380    17785    46622 |    25797    20993     94 |  0.001 % |
33.26/33.31	c |     38773 |     380    17785    46622 |    25797    21228     94 |  0.001 % |
33.46/33.57	c |     39032 |     380    17785    46622 |    25797    21487     94 |  0.001 % |
33.76/33.87	c |     39313 |     380    17785    46622 |    25797    21768     94 |  0.001 % |
33.96/34.05	c |     39625 |     380    17785    46622 |    25797    22080     94 |  0.001 % |
34.16/34.26	c |     39964 |     380    17785    46622 |    25797    22419     94 |  0.001 % |
34.76/34.83	c |     40337 |     380    17785    46622 |    22458    17072     92 |  0.001 % |
35.16/35.29	c |     40746 |     380    17785    46622 |    22458    17481     92 |  0.001 % |
35.46/35.58	c |     41196 |     380    17785    46622 |    22458    17931     92 |  0.001 % |
35.96/36.08	c |     41690 |     380    17785    46622 |    22458    18425     93 |  0.001 % |
36.56/36.66	c |     42233 |     380    17785    46622 |    22458    18968     93 |  0.001 % |
37.06/37.17	c |     42830 |     380    17785    46622 |    22458    19565     93 |  0.001 % |
37.16/37.29	c |     42931 |     380    17785    46622 |    22458    19666     93 |  0.001 % |
37.36/37.43	c |     43047 |     380    17785    46622 |    22458    19782     93 |  0.001 % |
37.46/37.51	c |     43170 |     380    17785    46622 |    22458    19905     93 |  0.001 % |
37.46/37.57	c |     43304 |     380    17785    46622 |    22458    20039     93 |  0.001 % |
37.56/37.67	c |     43450 |     380    17785    46622 |    22458    20185     93 |  0.001 % |
37.86/37.91	c |     43610 |     380    17785    46622 |    22458    20345     93 |  0.001 % |
37.96/38.09	c |     43786 |     380    17785    46622 |    22458    20521     93 |  0.001 % |
38.16/38.26	c |     43981 |     380    17785    46622 |    22458    20716     93 |  0.001 % |
38.46/38.57	c |     44194 |     380    17785    46622 |    22458    20929     93 |  0.001 % |
38.86/38.94	c |     44429 |     380    17785    46622 |    22458    21164     93 |  0.001 % |
39.16/39.21	c |     44685 |     380    17785    46622 |    22458    21420     93 |  0.001 % |
39.36/39.42	c |     44967 |     380    17785    46622 |    22458    21702     93 |  0.001 % |
39.46/39.54	c |     45277 |     380    17785    46622 |    22458    22012     93 |  0.001 % |
39.65/39.77	c |     45620 |     380    17785    46622 |    22458    22355     94 |  0.001 % |
40.05/40.18	c |     45992 |     380    17785    46622 |    22458    17802     93 |  0.001 % |
40.56/40.60	c |     46401 |     380    17785    46622 |    22458    18211     93 |  0.001 % |
40.85/40.91	c |     46852 |     380    17785    46622 |    22458    18662     93 |  0.001 % |
41.15/41.27	c |     47345 |     380    17785    46622 |    22458    19155     93 |  0.001 % |
41.66/41.70	c |     47888 |     380    17785    46622 |    22458    19698     93 |  0.001 % |
42.15/42.21	c |     48485 |     380    17785    46622 |    22458    20295     93 |  0.001 % |
42.65/42.76	c |     49140 |     380    17785    46622 |    22458    20950     93 |  0.001 % |
42.76/42.85	c |     49240 |     380    17785    46622 |    22458    21050     93 |  0.001 % |
42.95/43.01	c |     49353 |     380    17785    46622 |    22458    21163     93 |  0.001 % |
43.05/43.11	c |     49474 |     380    17785    46622 |    22458    21284     93 |  0.001 % |
43.25/43.31	c |     49608 |     380    17785    46622 |    22458    21418     93 |  0.001 % |
43.45/43.53	c |     49755 |     380    17785    46622 |    22458    21565     93 |  0.001 % |
43.55/43.69	c |     49917 |     380    17785    46622 |    22458    21727     93 |  0.001 % |
43.75/43.82	c |     50093 |     380    17785    46622 |    21814    21903     93 |  0.001 % |
43.86/43.99	c |     50286 |     380    17785    46622 |    21814    17630     92 |  0.001 % |
44.05/44.14	c |     50499 |     380    17785    46622 |    21814    17843     92 |  0.001 % |
44.05/44.19	c |     50732 |     380    17785    46622 |    21814    18076     92 |  0.001 % |
44.35/44.40	c |     50990 |     380    17785    46622 |    21814    18334     92 |  0.001 % |
44.65/44.73	c |     51272 |     380    17785    46622 |    21814    18616     92 |  0.001 % |
44.75/44.87	c |     51581 |     380    17785    46622 |    21814    18925     92 |  0.001 % |
45.35/45.44	c |     51922 |     380    17785    46622 |    21814    19266     92 |  0.001 % |
46.06/46.12	c |     52295 |     380    17785    46622 |    21814    19639     92 |  0.001 % |
46.45/46.54	c |     52704 |     380    17785    46622 |    21814    20048     93 |  0.001 % |
47.05/47.16	c |     53153 |     380    17785    46622 |    21814    20497     93 |  0.001 % |
47.65/47.75	c |     53646 |     380    17785    46622 |    21814    20990     93 |  0.001 % |
48.36/48.43	c |     54191 |     380    17785    46622 |    21814    21535     93 |  0.001 % |
49.16/49.28	c |     54788 |     380    17785    46622 |    21814    16802     91 |  0.001 % |
49.96/50.01	c |     55448 |     380    17785    46622 |    21814    17462     91 |  0.001 % |
50.66/50.75	c |     56169 |     380    17785    46622 |    21814    18183     91 |  0.001 % |
50.76/50.89	c |     56269 |     380    17785    46622 |    21814    18283     91 |  0.001 % |
50.96/51.06	c |     56380 |     380    17785    46622 |    21814    18394     92 |  0.001 % |
51.16/51.25	c |     56501 |     380    17785    46622 |    21814    18515     92 |  0.001 % |
51.26/51.40	c |     56634 |     380    17785    46622 |    21814    18648     92 |  0.001 % |
51.46/51.58	c |     56780 |     380    17785    46622 |    21814    18794     92 |  0.001 % |
51.76/51.87	c |     56940 |     380    17785    46622 |    21814    18954     92 |  0.001 % |
52.06/52.16	c |     57117 |     380    17785    46622 |    21814    19131     92 |  0.001 % |
52.26/52.36	c |     57310 |     380    17785    46622 |    21814    19324     92 |  0.001 % |
52.66/52.77	c |     57523 |     380    17785    46622 |    21814    19537     92 |  0.001 % |
53.16/53.28	c |     57757 |     380    17785    46622 |    21814    19771     92 |  0.001 % |
53.36/53.44	c |     58014 |     380    17785    46622 |    21814    20028     92 |  0.060 % |
53.76/53.85	c |     58297 |     380    17785    46622 |    21814    20311     92 |  0.001 % |
54.06/54.13	c |     58606 |     380    17785    46622 |    21814    20620     92 |  0.001 % |
54.46/54.56	c |     58945 |     380    17785    46622 |    21814    20959     93 |  0.001 % |
55.16/55.26	c |     59321 |     380    17785    46622 |    21814    21335     93 |  0.001 % |
55.96/56.04	c |     59730 |     380    17785    46622 |    21814    21744     93 |  0.001 % |
56.56/56.65	c |     60180 |     380    17785    46622 |    22015    16435     92 |  0.001 % |
57.16/57.20	c |     60673 |     380    17785    46622 |    22015    16928     92 |  0.001 % |
57.66/57.77	c |     61215 |     380    17785    46622 |    22015    17470     93 |  0.001 % |
58.26/58.32	c |     61813 |     380    17785    46622 |    22015    18068     93 |  0.001 % |
58.96/59.04	c |     62468 |     380    17785    46622 |    22015    18723     93 |  0.001 % |
59.96/60.00	c |     63190 |     380    17785    46622 |    22015    19445     93 |  0.001 % |
60.46/60.57	c |     63983 |     380    17785    46622 |    22015    20238     93 |  0.001 % |
60.56/60.68	c |     64084 |     380    17785    46622 |    22015    20339     93 |  0.001 % |
60.76/60.87	c |     64194 |     380    17785    46622 |    22015    20449     93 |  0.001 % |
60.95/61.03	c |     64315 |     380    17785    46622 |    22015    20570     93 |  0.001 % |
61.15/61.28	c |     64450 |     380    17785    46622 |    22015    20705     93 |  0.001 % |
61.46/61.54	c |     64596 |     380    17785    46622 |    22015    20851     93 |  0.001 % |
61.65/61.77	c |     64756 |     380    17785    46622 |    22015    21011     94 |  0.001 % |
61.85/61.95	c |     64932 |     380    17785    46622 |    22015    21187     94 |  0.001 % |
61.95/62.09	c |     65125 |     380    17785    46622 |    22015    21380     94 |  0.001 % |
62.35/62.42	c |     65339 |     380    17785    46622 |    22015    21594     94 |  0.001 % |
62.75/62.85	c |     65575 |     380    17785    46622 |    22015    21830     94 |  0.001 % |
63.15/63.29	c |     65832 |     380    17785    46622 |    22015    22087     94 |  0.001 % |
63.55/63.60	c |     66114 |     380    17785    46622 |    22015    16855     95 |  0.001 % |
63.76/63.88	c |     66423 |     380    17785    46622 |    22015    17164     95 |  0.001 % |
64.05/64.14	c |     66762 |     380    17785    46622 |    22015    17503     95 |  0.001 % |
64.35/64.48	c |     67135 |     380    17785    46622 |    22015    17876     95 |  0.001 % |
64.65/64.75	c |     67544 |     380    17785    46622 |    22015    18285     95 |  0.001 % |
65.25/65.34	c |     67995 |     380    17785    46622 |    22015    18736     95 |  0.001 % |
65.65/65.71	c |     68488 |     380    17785    46622 |    22015    19229     95 |  0.001 % |
66.15/66.20	c |     69031 |     380    17785    46622 |    22015    19772     95 |  0.001 % |
66.96/67.05	c |     69629 |     380    17785    46622 |    22015    20370     95 |  0.001 % |
67.65/67.74	c |     70287 |     380    17785    46622 |    20742    16225     93 |  0.001 % |
68.25/68.30	c |     71008 |     380    17785    46622 |    20742    16946     93 |  0.001 % |
68.65/68.80	c |     71801 |     380    17785    46622 |    20742    17739     94 |  0.001 % |
69.35/69.43	c |     72672 |     380    17785    46622 |    20742    18610     93 |  0.001 % |
69.45/69.57	c |     72774 |     380    17785    46622 |    20742    18712     93 |  0.001 % |
69.55/69.66	c |     72886 |     380    17785    46622 |    20742    18824     93 |  0.001 % |
69.65/69.77	c |     73008 |     380    17785    46622 |    20742    18946     93 |  0.001 % |
69.75/69.86	c |     73142 |     380    17785    46622 |    20742    19080     93 |  0.001 % |
69.95/70.00	c |     73292 |     380    17785    46622 |    20742    19230     94 |  0.001 % |
70.05/70.19	c |     73452 |     380    17785    46622 |    20742    19390     94 |  0.001 % |
70.26/70.35	c |     73628 |     380    17785    46622 |    20742    19566     94 |  0.001 % |
70.45/70.58	c |     73824 |     380    17785    46622 |    20742    19762     94 |  0.001 % |
70.65/70.80	c |     74036 |     380    17785    46622 |    20742    19974     94 |  0.001 % |
70.95/71.02	c |     74269 |     380    17785    46622 |    20742    20207     93 |  0.001 % |
71.25/71.35	c |     74527 |     380    17785    46622 |    20742    20465     93 |  0.001 % |
71.46/71.58	c |     74810 |     380    17785    46622 |    20742    20748     93 |  0.001 % |
71.85/71.94	c |     75121 |     380    17785    46622 |    20742    17412     92 |  0.001 % |
72.15/72.23	c |     75462 |     380    17785    46622 |    20742    17753     92 |  0.001 % |
72.45/72.55	c |     75838 |     380    17785    46622 |    20742    18129     92 |  0.001 % |
72.85/72.91	c |     76248 |     380    17785    46622 |    20742    18539     92 |  0.001 % |
73.05/73.17	c |     76699 |     380    17785    46622 |    20742    18990     92 |  0.001 % |
73.25/73.31	c |     77196 |     380    17785    46622 |    20742    19487     91 |  0.001 % |
73.55/73.69	c |     77740 |     380    17785    46622 |    20742    20031     91 |  0.001 % |
73.85/73.93	c |     78336 |     380    17785    46622 |    20742    20627     91 |  0.001 % |
74.65/74.77	c |     78991 |     380    17785    46622 |    20742    17830     90 |  0.001 % |
75.76/75.84	c |     79712 |     380    17785    46622 |    20742    18551     91 |  0.001 % |
76.65/76.79	c |     80504 |     380    17785    46622 |    18842    15671     90 |  0.001 % |
77.65/77.74	c |     81375 |     380    17785    46622 |    18842    16542     91 |  0.001 % |
78.65/78.78	c |     82334 |     380    17785    46622 |    18842    17501     91 |  0.001 % |
78.85/78.92	c |     82437 |     380    17785    46622 |    18842    17604     91 |  0.001 % |
78.95/79.04	c |     82548 |     380    17785    46622 |    18842    17715     91 |  0.001 % |
79.05/79.19	c |     82672 |     380    17785    46622 |    18842    17839     91 |  0.001 % |
79.25/79.31	c |     82807 |     380    17785    46622 |    18842    17974     91 |  0.001 % |
79.35/79.49	c |     82953 |     380    17785    46622 |    18842    18120     91 |  0.001 % |
79.55/79.67	c |     83113 |     380    17785    46622 |    18842    18280     91 |  0.001 % |
79.85/79.96	c |     83289 |     380    17785    46622 |    18842    18456     92 |  0.001 % |
80.05/80.17	c |     83483 |     380    17785    46622 |    18842    18650     92 |  0.001 % |
80.45/80.58	c |     83695 |     380    17785    46622 |    18842    18862     92 |  0.001 % |
80.75/80.84	c |     83929 |     380    17785    46622 |    18842    14815     91 |  0.001 % |
81.05/81.11	c |     84185 |     380    17785    46622 |    18842    15071     91 |  0.001 % |
81.25/81.36	c |     84468 |     380    17785    46622 |    18842    15354     91 |  0.001 % |
81.65/81.75	c |     84779 |     380    17785    46622 |    18842    15665     91 |  0.001 % |
81.95/82.03	c |     85119 |     380    17785    46622 |    18842    16005     92 |  0.001 % |
82.25/82.39	c |     85492 |     380    17785    46622 |    18842    16378     92 |  0.001 % |
82.65/82.78	c |     85902 |     380    17785    46622 |    18842    16788     92 |  0.001 % |
82.95/83.09	c |     86353 |     380    17785    46622 |    18842    17239     92 |  0.001 % |
83.45/83.51	c |     86847 |     380    17785    46622 |    18842    17733     92 |  0.001 % |
84.05/84.18	c |     87391 |     380    17785    46622 |    18842    18277     92 |  0.001 % |
84.85/84.95	c |     87988 |     380    17785    46622 |    18842    18874     92 |  0.001 % |
85.05/85.17	c |     88644 |     380    17785    46622 |    18842    15447     93 |  0.001 % |
85.25/85.39	c |     89365 |     380    17785    46622 |    18842    16168     93 |  0.001 % |
85.75/85.88	c |     90159 |     380    17785    46622 |    16803    16962     93 |  0.001 % |
86.25/86.37	c |     91033 |     380    17785    46622 |    16803    14512     95 |  0.001 % |
86.55/86.69	c |     91991 |     380    17785    46622 |    16803    15470     95 |  0.001 % |
87.74/87.81	c |     93044 |     380    17785    46622 |    16803    16523     95 |  0.001 % |
87.85/87.94	c |     93148 |     380    17785    46622 |    16803    16627     95 |  0.001 % |
88.04/88.13	c |     93259 |     380    17785    46622 |    16803    16738     95 |  0.001 % |
88.14/88.26	c |     93381 |     380    17785    46622 |    16803    16860     95 |  0.001 % |
88.34/88.45	c |     93517 |     380    17785    46622 |    16803    14238     93 |  0.001 % |
88.54/88.68	c |     93665 |     380    17785    46622 |    16803    14386     93 |  0.001 % |
88.64/88.79	c |     93827 |     380    17785    46622 |    16803    14548     93 |  0.001 % |
88.84/88.92	c |     94004 |     380    17785    46622 |    16803    14725     93 |  0.001 % |
89.05/89.17	c |     94197 |     380    17785    46622 |    16803    14918     94 |  0.001 % |
89.24/89.40	c |     94417 |     380    17785    46622 |    16803    15138     94 |  0.001 % |
89.54/89.61	c |     94650 |     380    17785    46622 |    16803    15371     94 |  0.001 % |
89.74/89.86	c |     94907 |     380    17785    46622 |    16803    15628     94 |  0.001 % |
89.94/90.09	c |     95188 |     380    17785    46622 |    16803    15909     94 |  0.001 % |
90.24/90.38	c |     95498 |     380    17785    46622 |    16803    16219     94 |  0.001 % |
90.54/90.67	c |     95838 |     380    17785    46622 |    16803    16559     94 |  0.001 % |
90.94/91.07	c |     96210 |     380    17785    46622 |    16803    16931     94 |  0.001 % |
91.34/91.49	c |     96620 |     380    17785    46622 |    16803    14597     93 |  0.001 % |
91.54/91.67	c |     97071 |     380    17785    46622 |    16803    15048     93 |  0.001 % |
92.14/92.23	c |     97564 |     380    17785    46622 |    16803    15541     93 |  0.001 % |
92.64/92.75	c |     98110 |     380    17785    46622 |    16803    16087     93 |  0.001 % |
93.14/93.20	c |     98707 |     380    17785    46622 |    16803    16684     93 |  0.001 % |
93.64/93.75	c |     99362 |     380    17785    46622 |    16803    14706     93 |  0.001 % |
94.04/94.14	c |    100083 |     380    17785    46622 |    15344    15427     92 |  0.001 % |
94.45/94.59	c |    100875 |     380    17785    46622 |    15344    13987     92 |  0.001 % |
94.94/95.05	c |    101746 |     380    17785    46622 |    15344    14858     92 |  0.001 % |
95.55/95.65	c |    102704 |     380    17785    46622 |    15344    14270     90 |  0.001 % |
96.44/96.55	c |    103758 |     380    17785    46622 |    15344    15324     91 |  0.001 % |
97.44/97.59	c |    104917 |     380    17785    46622 |    15344    14921     90 |  0.001 % |
97.64/97.75	c |    105020 |     380    17785    46622 |    15344    15024     90 |  0.001 % |
97.85/97.91	c |    105130 |     380    17785    46622 |    15344    15134     90 |  0.001 % |
97.94/98.02	c |    105252 |     380    17785    46622 |    15344    15256     90 |  0.001 % |
97.94/98.08	c |    105385 |     380    17785    46622 |    15344    15389     90 |  0.001 % |
98.14/98.23	c |    105532 |     380    17785    46622 |    15344    13639     89 |  0.001 % |
98.34/98.44	c |    105695 |     380    17785    46622 |    15344    13802     89 |  0.001 % |
98.54/98.63	c |    105871 |     380    17785    46622 |    15344    13978     89 |  0.001 % |
98.74/98.83	c |    106065 |     380    17785    46622 |    15344    14172     89 |  0.001 % |
98.95/99.08	c |    106282 |     380    17785    46622 |    15344    14389     90 |  0.001 % |
99.14/99.26	c |    106517 |     380    17785    46622 |    15344    14624     90 |  0.001 % |
99.34/99.46	c |    106774 |     380    17785    46622 |    15344    14881     90 |  0.001 % |
99.64/99.77	c |    107057 |     380    17785    46622 |    15344    15164     90 |  0.001 % |
100.05/100.14	c |    107366 |     380    17785    46622 |    15344    15473     91 |  0.001 % |
100.44/100.58	c |    107708 |     380    17785    46622 |    15344    13691     90 |  0.001 % |
100.84/100.92	c |    108082 |     380    17785    46622 |    15344    14065     91 |  0.001 % |
101.05/101.12	c |    108491 |     380    17785    46622 |    15344    14474     91 |  0.001 % |
101.34/101.42	c |    108941 |     380    17785    46622 |    15344    14924     91 |  0.001 % |
101.74/101.86	c |    109434 |     380    17785    46622 |    15344    15417     91 |  0.001 % |
102.15/102.22	c |    109978 |     380    17785    46622 |    15344    13907     92 |  0.001 % |
102.54/102.68	c |    110575 |     380    17785    46622 |    13929    12721     93 |  0.001 % |
102.94/103.08	c |    111231 |     380    17785    46622 |    13929    13377     93 |  0.001 % |
103.54/103.62	c |    111952 |     380    17785    46622 |    13929    14098     94 |  0.001 % |
104.04/104.10	c |    112744 |     380    17785    46622 |    13929    13481     95 |  0.001 % |
104.64/104.76	c |    113616 |     380    17785    46622 |    13929    12943     96 |  0.001 % |
105.34/105.47	c |    114574 |     380    17785    46622 |    13929    13901     96 |  0.001 % |
105.84/105.92	c |    115628 |     380    17785    46622 |    13929    13550     96 |  0.001 % |
106.44/106.53	c |    116787 |     380    17785    46622 |    13929    13296     97 |  0.001 % |
106.84/106.99	c |    118062 |     380    17785    46622 |    13929    13159     96 |  0.001 % |
106.94/107.05	c |    118162 |     380    17785    46622 |    13929    13259     96 |  0.001 % |
107.04/107.10	c |    118272 |     380    17785    46622 |    13929    13369     96 |  0.001 % |
107.04/107.14	c |    118394 |     380    17785    46622 |    13929    13491     96 |  0.001 % |
107.14/107.28	c |    118529 |     380    17785    46622 |    13929    13626     96 |  0.001 % |
107.34/107.47	c |    118677 |     380    17785    46622 |    13929    13774     96 |  0.001 % |
107.54/107.65	c |    118837 |     380    17785    46622 |    13929    13934     96 |  0.001 % |
107.74/107.83	c |    119016 |     380    17785    46622 |    13929    12720     96 |  0.001 % |
107.94/108.03	c |    119209 |     380    17785    46622 |    13929    12913     96 |  0.001 % |
108.14/108.24	c |    119421 |     380    17785    46622 |    13929    13125     96 |  0.001 % |
108.44/108.51	c |    119655 |     380    17785    46622 |    13929    13359     96 |  0.001 % |
108.64/108.72	c |    119911 |     380    17785    46622 |    13929    13615     97 |  0.001 % |
108.74/108.88	c |    120193 |     380    17785    46622 | 2147483647    13897     97 |  0.001 % |
108.94/109.05	c |    120503 |     380    17785    46622 | 2147483647    14207     97 |  0.001 % |
109.24/109.39	c |    120844 |     380    17785    46622 | 2147483647    14548     97 |  0.001 % |
109.54/109.65	c |    121216 |     380    17785    46622 | 2147483647    14920     97 |  0.001 % |
109.84/109.99	c |    121626 |     380    17785    46622 | 2147483647    15330     97 |  0.001 % |
110.24/110.39	c |    122075 |     380    17785    46622 | 2147483647    15779     97 |  0.001 % |
110.74/110.85	c |    122571 |     380    17785    46622 | 2147483647    16275     97 |  0.001 % |
111.24/111.34	c |    123113 |     380    17785    46622 | 2147483647    16817     97 |  0.001 % |
111.44/111.51	c |    123710 |     380    17785    46622 | 2147483647    17414     96 |  0.001 % |
111.64/111.72	c |    124365 |     380    17785    46622 | 2147483647    18069     96 |  0.001 % |
112.44/112.53	c |    125091 |     380    17785    46622 | 2147483647    18795     96 |  0.001 % |
113.34/113.42	c |    125884 |     380    17785    46622 | 2147483647    19588     96 |  0.001 % |
114.04/114.12	c |    126757 |     380    17785    46622 | 2147483647    20461     97 |  0.001 % |
114.64/114.77	c |    127716 |     380    17785    46622 | 2147483647    21420     96 |  0.001 % |
115.54/115.69	c |    128769 |     380    17785    46622 | 2147483647    22473     97 |  0.001 % |
117.24/117.38	c |    129927 |     380    17785    46622 | 2147483647    23631     97 |  0.001 % |
118.74/118.83	c |    131201 |     380    17785    46622 |    23706    21452     95 |  0.001 % |
120.84/120.91	c |    132602 |     380    17785    46622 |    23706    22853     95 |  0.001 % |
121.04/121.16	c |    132706 |     380    17785    46622 |    23706    22957     95 |  0.001 % |
121.14/121.22	c |    132819 |     380    17785    46622 |    23706    23070     95 |  0.001 % |
121.34/121.48	c |    132941 |     380    17785    46622 |    23706    23192     96 |  0.001 % |
121.64/121.73	c |    133076 |     380    17785    46622 |    23706    23327     96 |  0.001 % |
122.04/122.12	c |    133224 |     380    17785    46622 |    23706    23475     96 |  0.001 % |
122.24/122.32	c |    133384 |     380    17785    46622 |    23706    23635     96 |  0.001 % |
122.54/122.62	c |    133562 |     380    17785    46622 |    23706    23813     96 |  0.001 % |
122.84/122.91	c |    133755 |     380    17785    46622 |    23706    19238     94 |  0.001 % |
123.14/123.21	c |    133967 |     380    17785    46622 |    23706    19450     94 |  0.001 % |
123.44/123.54	c |    134202 |     380    17785    46622 |    23706    19685     94 |  0.001 % |
123.74/123.87	c |    134459 |     380    17785    46622 |    23706    19942     94 |  0.001 % |
123.94/124.09	c |    134742 |     380    17785    46622 |    23706    20225     94 |  0.001 % |
124.53/124.60	c |    135052 |     380    17785    46622 |    23706    20535     94 |  0.001 % |
124.83/124.97	c |    135391 |     380    17785    46622 |    23706    20874     95 |  0.001 % |
125.24/125.40	c |    135766 |     380    17785    46622 |    23706    21249     95 |  0.001 % |
125.83/125.95	c |    136175 |     380    17785    46622 |    23706    21658     95 |  0.001 % |
126.34/126.46	c |    136624 |     380    17785    46622 |    23706    22107     95 |  0.001 % |
126.83/126.95	c |    137118 |     380    17785    46622 |    23706    22601     95 |  0.001 % |
127.23/127.32	c |    137661 |     380    17785    46622 |    23706    23144     95 |  0.001 % |
127.54/127.69	c |    138258 |     380    17785    46622 |    23706    23741     95 |  0.001 % |
128.54/128.66	c |    138913 |     380    17785    46622 |    23706    19568     94 |  0.001 % |
129.64/129.76	c |    139635 |     380    17785    46622 |    23706    20290     94 |  0.001 % |
130.63/130.73	c |    140427 |     380    17785    46622 |    20655    16639     94 |  0.001 % |
131.53/131.64	c |    141298 |     380    17785    46622 |    20655    17510     94 |  0.001 % |
132.53/132.67	c |    142259 |     380    17785    46622 |    20655    18471     94 |  0.001 % |
133.23/133.30	c |    143316 |     380    17785    46622 |    20655    19528     94 |  0.001 % |
134.33/134.43	c |    144474 |     380    17785    46622 |    20655    20686     94 |  0.001 % |
135.43/135.57	c |    145747 |     380    17785    46622 |    20655    18032     93 |  0.001 % |
136.53/136.69	c |    147150 |     380    17785    46622 |    20655    19435     94 |  0.001 % |
137.53/137.68	c |    148690 |     380    17785    46622 |    20655    17350     93 |  0.001 % |
137.63/137.76	c |    148790 |     380    17785    46622 |    20655    17450     93 |  0.001 % |
137.83/137.90	c |    148900 |     380    17785    46622 |    20655    17560     93 |  0.001 % |
137.93/138.00	c |    149021 |     380    17785    46622 |    20655    17681     93 |  0.001 % |
138.03/138.18	c |    149154 |     380    17785    46622 |    20655    17814     93 |  0.001 % |
138.23/138.32	c |    149300 |     380    17785    46622 |    20655    17960     93 |  0.001 % |
138.33/138.44	c |    149461 |     380    17785    46622 |    20655    18121     93 |  0.001 % |
138.63/138.72	c |    149637 |     380    17785    46622 |    20655    18297     93 |  0.001 % |
138.63/138.77	c |    149830 |     380    17785    46622 |    20655    18490     93 |  0.001 % |
138.83/138.95	c |    150042 |     380    17785    46622 |    18662    18702     93 |  0.001 % |
139.03/139.10	c |    150276 |     380    17785    46622 |    18662    15793     92 |  0.001 % |
139.23/139.31	c |    150533 |     380    17785    46622 |    18662    16050     92 |  0.001 % |
139.43/139.53	c |    150816 |     380    17785    46622 |    18662    16333     92 |  0.001 % |
139.63/139.75	c |    151126 |     380    17785    46622 |    18662    16643     92 |  0.001 % |
139.83/139.97	c |    151466 |     380    17785    46622 |    18662    16983     92 |  0.001 % |
140.33/140.42	c |    151838 |     380    17785    46622 |    18662    17355     92 |  0.001 % |
140.53/140.61	c |    152247 |     380    17785    46622 |    18662    17764     93 |  0.001 % |
141.03/141.14	c |    152697 |     380    17785    46622 |    18662    18214     93 |  0.001 % |
141.63/141.70	c |    153190 |     380    17785    46622 |    18662    18707     92 |  0.001 % |
141.83/141.98	c |    153732 |     380    17785    46622 |    18662    16660     91 |  0.001 % |
142.23/142.38	c |    154328 |     380    17785    46622 |    18662    17256     91 |  0.001 % |
142.73/142.83	c |    154984 |     380    17785    46622 |    18662    17912     91 |  0.001 % |
143.23/143.39	c |    155706 |     380    17785    46622 |    18662    18634     91 |  0.001 % |
143.93/144.04	c |    156501 |     380    17785    46622 |    18662    16968     91 |  0.001 % |
144.83/144.96	c |    157374 |     380    17785    46622 |    18662    17841     92 |  0.001 % |
145.33/145.47	c |    158335 |     380    17785    46622 |    18662    18802     93 |  0.001 % |
146.33/146.49	c |    159388 |     380    17785    46622 |    18662    17426     92 |  0.001 % |
147.53/147.68	c |    160546 |     380    17785    46622 |    18038    16146     92 |  0.001 % |
148.63/148.76	c |    161819 |     380    17785    46622 |    18038    17419     92 |  0.001 % |
149.53/149.64	c |    163222 |     380    17785    46622 |    18038    16235     92 |  0.001 % |
150.53/150.68	c |    164763 |     380    17785    46622 |    18038    17776     93 |  0.001 % |
152.02/152.11	c |    166458 |     380    17785    46622 |    18038    17151     93 |  0.001 % |
152.12/152.26	c |    166562 |     380    17785    46622 |    18038    17255     93 |  0.001 % |
152.32/152.41	c |    166672 |     380    17785    46622 |    18038    17365     93 |  0.001 % |
152.42/152.59	c |    166794 |     380    17785    46622 |    18038    17487     93 |  0.001 % |
152.62/152.74	c |    166929 |     380    17785    46622 |    18038    17622     93 |  0.001 % |
152.73/152.87	c |    167077 |     380    17785    46622 |    18038    17770     93 |  0.001 % |
153.02/153.13	c |    167237 |     380    17785    46622 |    18038    17930     93 |  0.001 % |
153.22/153.38	c |    167413 |     380    17785    46622 |    18038    18106     93 |  0.001 % |
153.52/153.66	c |    167606 |     380    17785    46622 |    18038    15862     93 |  0.001 % |
153.83/153.95	c |    167819 |     380    17785    46622 |    18038    16075     93 |  0.001 % |
154.02/154.17	c |    168055 |     380    17785    46622 |    18038    16311     93 |  0.001 % |
154.32/154.50	c |    168316 |     380    17785    46622 |    18038    16572     93 |  0.001 % |
154.72/154.87	c |    168597 |     380    17785    46622 |    18038    16853     93 |  0.001 % |
155.12/155.25	c |    168909 |     380    17785    46622 |    18038    17165     93 |  0.001 % |
155.52/155.65	c |    169251 |     380    17785    46622 |    18038    17507     93 |  0.001 % |
155.82/155.99	c |    169625 |     380    17785    46622 |    18038    17881     93 |  0.001 % |
156.22/156.35	c |    170036 |     380    17785    46622 |    18258    18292     93 |  0.001 % |
156.62/156.76	c |    170486 |     380    17785    46622 |    18258    16230     91 |  0.001 % |
156.92/157.05	c |    170980 |     380    17785    46622 |    18258    16724     91 |  0.001 % |
157.42/157.59	c |    171522 |     380    17785    46622 |    18258    17266     91 |  0.001 % |
158.02/158.16	c |    172119 |     380    17785    46622 |    18258    17863     91 |  0.001 % |
158.52/158.69	c |    172774 |     380    17785    46622 |    18258    16009     90 |  0.001 % |
159.02/159.11	c |    173494 |     380    17785    46622 |    18258    16729     90 |  0.001 % |
159.52/159.67	c |    174286 |     380    17785    46622 |    18258    17521     89 |  0.001 % |
160.53/160.63	c |    175160 |     380    17785    46622 |    18258    18395     90 |  0.001 % |
161.12/161.26	c |    176120 |     380    17785    46622 |    18258    16752     89 |  0.001 % |
161.82/161.96	c |    177174 |     380    17785    46622 |    18258    17806     89 |  0.001 % |
162.63/162.73	c |    178332 |     380    17785    46622 |    18258    16420     88 |  0.001 % |
163.22/163.31	c |    179607 |     380    17785    46622 |    18258    17695     88 |  0.001 % |
164.22/164.35	c |    181008 |     380    17785    46622 |    18089    16725     87 |  0.001 % |
165.32/165.44	c |    182549 |     380    17785    46622 |    18089    15678     86 |  0.001 % |
166.52/166.60	c |    184243 |     380    17785    46622 |    18089    17372     86 |  0.001 % |
167.32/167.45	c |    186110 |     380    17785    46622 |    18089    16692     87 |  0.001 % |
167.42/167.55	c |    186212 |     380    17785    46622 |    18089    16794     87 |  0.001 % |
167.52/167.66	c |    186322 |     380    17785    46622 |    18089    16904     87 |  0.001 % |
167.62/167.79	c |    186446 |     380    17785    46622 |    18089    17028     87 |  0.001 % |
167.82/167.90	c |    186580 |     380    17785    46622 |    18089    17162     87 |  0.001 % |
168.02/168.13	c |    186729 |     380    17785    46622 |    18089    17311     87 |  0.001 % |
168.12/168.29	c |    186890 |     380    17785    46622 |    18089    17472     87 |  0.001 % |
168.32/168.42	c |    187067 |     380    17785    46622 |    18089    17649     87 |  0.001 % |
168.32/168.50	c |    187261 |     380    17785    46622 |    18089    17843     87 |  0.001 % |
168.52/168.68	c |    187478 |     380    17785    46622 |    18089    18060     87 |  0.001 % |
168.82/168.92	c |    187712 |     380    17785    46622 |    18089    15878     86 |  0.001 % |
169.02/169.17	c |    187968 |     380    17785    46622 |    18089    16134     86 |  0.001 % |
169.22/169.38	c |    188249 |     380    17785    46622 |    18089    16415     86 |  0.001 % |
169.33/169.47	c |    188559 |     380    17785    46622 |    18089    16725     86 |  0.001 % |
169.62/169.72	c |    188898 |     380    17785    46622 |    18089    17064     86 |  0.001 % |
170.02/170.15	c |    189271 |     380    17785    46622 |    18089    17437     87 |  0.001 % |
170.12/170.29	c |    189680 |     380    17785    46622 |    18089    17846     87 |  0.001 % |
170.62/170.77	c |    190130 |     380    17785    46622 |    18166    18296     87 |  0.001 % |
171.22/171.31	c |    190623 |     380    17785    46622 |    18166    16289     87 |  0.001 % |
171.82/171.91	c |    191166 |     380    17785    46622 |    18166    16832     87 |  0.001 % |
172.22/172.39	c |    191762 |     380    17785    46622 |    18166    17428     88 |  0.001 % |
173.12/173.22	c |    192417 |     380    17785    46622 |    18166    18083     88 |  0.001 % |
173.72/173.85	c |    193137 |     380    17785    46622 |    18166    15736     88 |  0.001 % |
174.22/174.35	c |    193929 |     380    17785    46622 |    18166    16528     88 |  0.001 % |
175.02/175.19	c |    194804 |     380    17785    46622 |    18166    17403     88 |  0.001 % |
175.72/175.87	c |    195766 |     380    17785    46622 |    18166    18365     88 |  0.001 % |
176.32/176.47	c |    196821 |     380    17785    46622 |    18166    16626     88 |  0.001 % |
177.12/177.21	c |    197979 |     380    17785    46622 |    18166    17784     88 |  0.001 % |
177.72/177.88	c |    199252 |     380    17785    46622 |    18166    16646     87 |  0.001 % |
178.72/178.86	c |    200654 |     380    17785    46622 |    17394    15859     87 |  0.001 % |
179.62/179.75	c |    202195 |     380    17785    46622 |    17394    17400     87 |  0.001 % |
180.92/181.07	c |    203889 |     380    17785    46622 |    17394    17256     86 |  0.001 % |
181.92/182.02	c |    205752 |     380    17785    46622 |    17394    17298     84 |  0.001 % |
182.92/183.04	c |    207802 |     380    17785    46622 |    17394    17590     82 |  0.001 % |
183.02/183.10	c |    207902 |     380    17785    46622 |    17394    15931     81 |  0.001 % |
183.02/183.17	c |    208015 |     380    17785    46622 |    17394    16044     81 |  0.001 % |
183.12/183.24	c |    208138 |     380    17785    46622 |    17394    16167     81 |  0.001 % |
183.22/183.30	c |    208277 |     380    17785    46622 |    17394    16306     81 |  0.001 % |
183.22/183.36	c |    208423 |     380    17785    46622 |    17394    16452     81 |  0.001 % |
183.32/183.43	c |    208585 |     380    17785    46622 |    17394    16614     81 |  0.001 % |
183.42/183.51	c |    208762 |     380    17785    46622 |    17394    16791     81 |  0.001 % |
183.42/183.59	c |    208955 |     380    17785    46622 |    17394    16984     81 |  0.001 % |
183.52/183.69	c |    209168 |     380    17785    46622 |    17394    17197     81 |  0.001 % |
183.62/183.78	c |    209402 |     380    17785    46622 |    17394    17431     81 |  0.001 % |
183.82/183.94	c |    209659 |     380    17785    46622 |    17394    15945     80 |  0.001 % |
183.91/184.07	c |    209943 |     380    17785    46622 |    17394    16229     80 |  0.001 % |
184.11/184.23	c |    210254 |     380    17785    46622 | 2147483647    16540     80 |  0.001 % |
184.31/184.49	c |    210598 |     380    17785    46622 | 2147483647    16884     80 |  0.001 % |
184.51/184.68	c |    210973 |     380    17785    46622 | 2147483647    17259     80 |  0.001 % |
184.72/184.88	c |    211382 |     380    17785    46622 | 2147483647    17668     80 |  0.001 % |
185.01/185.19	c |    211831 |     380    17785    46622 | 2147483647    18117     80 |  0.001 % |
185.21/185.36	c |    212325 |     380    17785    46622 | 2147483647    18611     80 |  0.001 % |
185.41/185.55	c |    212868 |     380    17785    46622 | 2147483647    19154     80 |  0.001 % |
185.61/185.79	c |    213464 |     380    17785    46622 | 2147483647    19750     80 |  0.001 % |
186.82/186.99	c |    214119 |     380    17785    46622 | 2147483647    20405     81 |  0.001 % |
188.21/188.35	c |    214839 |     380    17785    46622 | 2147483647    21125     82 |  0.001 % |
189.31/189.40	c |    215631 |     380    17785    46622 | 2147483647    21917     83 |  0.001 % |
190.21/190.37	c |    216502 |     380    17785    46622 | 2147483647    22788     83 |  0.001 % |
192.71/192.86	c |    217462 |     380    17785    46622 | 2147483647    23748     83 |  0.001 % |
195.31/195.44	c |    218519 |     380    17785    46622 | 2147483647    24805     84 |  0.001 % |
196.51/196.65	c |    219679 |     380    17785    46622 | 2147483647    25965     85 |  0.001 % |
200.12/200.25	c |    220952 |     380    17785    46622 |    26286    18831     86 |  0.001 % |
202.11/202.24	c |    222352 |     380    17785    46622 |    26286    20231     87 |  0.001 % |
204.42/204.52	c |    223892 |     380    17785    46622 |    26286    21771     88 |  0.001 % |
207.01/207.12	c |    225586 |     380    17785    46622 |    26286    23465     89 |  0.001 % |
210.31/210.41	c |    227450 |     380    17785    46622 |    26286    25329     90 |  0.001 % |
213.61/213.73	c |    229501 |     380    17785    46622 |    26286    17979     99 |  0.001 % |
215.21/215.33	c |    231755 |     380    17785    46622 |    18479    13906     97 |  0.001 % |
215.31/215.41	c |    231857 |     380    17785    46622 |    18479    14008     97 |  0.001 % |
215.31/215.48	c |    231967 |     380    17785    46622 |    18479    14118     97 |  0.001 % |
215.41/215.54	c |    232088 |     380    17785    46622 |    18479    14239     97 |  0.001 % |
215.51/215.68	c |    232223 |     380    17785    46622 |    18479    14374     97 |  0.001 % |
215.61/215.79	c |    232372 |     380    17785    46622 |    18479    14523     97 |  0.001 % |
215.71/215.86	c |    232532 |     380    17785    46622 |    18479    14683     97 |  0.001 % |
216.01/216.10	c |    232709 |     380    17785    46622 |    18479    14860     97 |  0.001 % |
216.11/216.28	c |    232908 |     380    17785    46622 |    18479    15059     97 |  0.001 % |
216.31/216.48	c |    233121 |     380    17785    46622 |    18479    15272     97 |  0.001 % |
216.51/216.63	c |    233355 |     380    17785    46622 |    18479    15506     97 |  0.001 % |
216.71/216.80	c |    233615 |     380    17785    46622 |    18479    15766     97 |  0.001 % |
216.81/216.99	c |    233896 |     380    17785    46622 |    18479    16047     97 |  0.001 % |
217.11/217.26	c |    234205 |     380    17785    46622 |    18479    16356     97 |  0.001 % |
217.51/217.63	c |    234544 |     380    17785    46622 |    18479    16695     97 |  0.001 % |
217.81/217.94	c |    234917 |     380    17785    46622 |    18479    17068     97 |  0.001 % |
218.21/218.31	c |    235326 |     380    17785    46622 |    18479    17477     97 |  0.001 % |
218.41/218.53	c |    235775 |     380    17785    46622 |    18479    17926     97 |  0.001 % |
218.71/218.87	c |    236269 |     380    17785    46622 |    18479    18420     96 |  0.001 % |
219.01/219.17	c |    236811 |     380    17785    46622 |    18479    14618     96 |  0.001 % |
219.31/219.47	c |    237408 |     380    17785    46622 |    18479    15215     95 |  0.001 % |
219.61/219.73	c |    238066 |     380    17785    46622 |    18479    15873     95 |  0.001 % |
219.91/220.09	c |    238789 |     380    17785    46622 |    18479    16596     95 |  0.001 % |
220.71/220.84	c |    239583 |     380    17785    46622 |    18479    17390     95 |  0.001 % |
221.21/221.34	c |    240454 |     380    17785    46622 |    17808    14703     92 |  0.001 % |
221.71/221.86	c |    241413 |     380    17785    46622 |    17808    15662     91 |  0.001 % |
222.01/222.17	c |    242466 |     380    17785    46622 |    17808    16715     91 |  0.001 % |
222.91/223.03	c |    243625 |     380    17785    46622 |    17808    17874     90 |  0.001 % |
223.51/223.66	c |    244898 |     380    17785    46622 |    17808    16627     88 |  0.001 % |
224.11/224.28	c |    246299 |     380    17785    46622 |    17808    15809     86 |  0.001 % |
225.41/225.58	c |    247845 |     380    17785    46622 |    17808    17355     87 |  0.001 % |
227.01/227.19	c |    249540 |     380    17785    46622 |    17808    16372     87 |  0.001 % |
229.01/229.18	c |    251405 |     380    17785    46622 |    16832    15246     87 |  0.001 % |
231.01/231.10	c |    253454 |     380    17785    46622 |    16832    13631     90 |  0.001 % |
232.30/232.49	c |    255709 |     380    17785    46622 |    16832    15886     93 |  0.001 % |
233.90/234.09	c |    258191 |     380    17785    46622 |    16832    15007     98 |  0.001 % |
234.00/234.15	c |    258291 |     380    17785    46622 |    16832    15107     98 |  0.001 % |
234.11/234.27	c |    258403 |     380    17785    46622 |    16832    15219     98 |  0.001 % |
234.30/234.42	c |    258525 |     380    17785    46622 |    16832    15341     98 |  0.001 % |
234.40/234.56	c |    258658 |     380    17785    46622 |    16832    15474     98 |  0.001 % |
234.50/234.69	c |    258805 |     380    17785    46622 |    16832    15621     98 |  0.001 % |
234.70/234.83	c |    258966 |     380    17785    46622 |    16832    15782     98 |  0.001 % |
234.90/235.00	c |    259144 |     380    17785    46622 |    16832    15960     98 |  0.001 % |
235.10/235.21	c |    259339 |     380    17785    46622 |    16832    16155     98 |  0.001 % |
235.21/235.38	c |    259552 |     380    17785    46622 |    16832    16368     98 |  0.001 % |
235.40/235.55	c |    259787 |     380    17785    46622 |    16832    16603     98 |  0.001 % |
235.60/235.76	c |    260043 |     380    17785    46622 |    16816    16859     98 |  0.001 % |
235.90/236.01	c |    260326 |     380    17785    46622 |    16816    13959    100 |  0.001 % |
236.10/236.21	c |    260636 |     380    17785    46622 |    16816    14269    100 |  0.001 % |
236.31/236.45	c |    260975 |     380    17785    46622 |    16816    14608    100 |  0.001 % |
236.50/236.68	c |    261347 |     380    17785    46622 |    16816    14980     99 |  0.001 % |
236.70/236.84	c |    261756 |     380    17785    46622 |    16816    15389     99 |  0.001 % |
236.90/237.09	c |    262205 |     380    17785    46622 |    16816    15838     99 |  0.001 % |
237.10/237.25	c |    262698 |     380    17785    46622 |    16816    16331     99 |  0.001 % |
237.30/237.44	c |    263240 |     380    17785    46622 |    16816    16873    100 |  0.001 % |
237.70/237.83	c |    263836 |     380    17785    46622 |    16816    14846     99 |  0.001 % |
238.51/238.63	c |    264491 |     380    17785    46622 |    16816    15501    100 |  0.001 % |
239.30/239.42	c |    265214 |     380    17785    46622 |    16816    16224     99 |  0.001 % |
240.00/240.17	c |    266011 |     380    17785    46622 |    16816    17021    100 |  0.001 % |
241.00/241.18	c |    266883 |     380    17785    46622 |    16816    14800     98 |  0.001 % |
241.91/242.02	c |    267841 |     380    17785    46622 |    16816    15758     98 |  0.001 % |
242.80/242.94	c |    268895 |     380    17785    46622 |    16816    16812     98 |  0.001 % |
243.90/244.06	c |    270053 |     380    17785    46622 |    14684    14736     95 |  0.001 % |
244.60/244.73	c |    271327 |     380    17785    46622 |    14684    13167     94 |  0.001 % |
245.20/245.39	c |    272730 |     380    17785    46622 |    14684    14570     94 |  0.001 % |
245.80/245.99	c |    274271 |     380    17785    46622 |    14684    14209     96 |  0.001 % |
246.80/246.96	c |    275966 |     380    17785    46622 |    14684    14295     96 |  0.001 % |
247.60/247.76	c |    277829 |     380    17785    46622 |    14684    14667     96 |  0.001 % |
248.50/248.68	c |    279878 |     380    17785    46622 |    14684    13728     96 |  0.001 % |
249.40/249.50	c |    282131 |     380    17785    46622 | 2147483647    15981     97 |  0.001 % |
250.20/250.35	c |    284609 |     380    17785    46622 | 2147483647    18459     97 |  0.001 % |
252.30/252.45	c |    287337 |     380    17785    46622 | 2147483647    21187     99 |  0.001 % |
252.50/252.61	c |    287437 |     380    17785    46622 | 2147483647    21287     99 |  0.001 % |
252.50/252.65	c |    287548 |     380    17785    46622 | 2147483647    21398     99 |  0.001 % |
252.80/252.94	c |    287669 |     380    17785    46622 | 2147483647    21519     99 |  0.001 % |
253.00/253.15	c |    287802 |     380    17785    46622 | 2147483647    21652     99 |  0.001 % |
253.30/253.45	c |    287950 |     380    17785    46622 | 2147483647    21800     99 |  0.001 % |
253.60/253.72	c |    288110 |     380    17785    46622 | 2147483647    21960     99 |  0.001 % |
253.80/253.96	c |    288286 |     380    17785    46622 | 2147483647    22136     99 |  0.001 % |
254.00/254.16	c |    288480 |     380    17785    46622 | 2147483647    22330     99 |  0.001 % |
254.20/254.33	c |    288697 |     380    17785    46622 | 2147483647    22547     99 |  0.001 % |
254.50/254.68	c |    288931 |     380    17785    46622 | 2147483647    22781     99 |  0.001 % |
255.00/255.14	c |    289187 |     380    17785    46622 | 2147483647    23037     99 |  0.001 % |
255.30/255.48	c |    289471 |     380    17785    46622 | 2147483647    23321     99 |  0.001 % |
255.70/255.83	c |    289781 |     380    17785    46622 | 2147483647    23631     99 |  0.001 % |
256.60/256.70	c |    290120 |     380    17785    46622 |    23852    23970     99 |  0.001 % |
257.20/257.34	c |    290493 |     380    17785    46622 |    23852    19563     98 |  0.001 % |
257.70/257.88	c |    290905 |     380    17785    46622 |    23852    19975     99 |  0.001 % |
258.20/258.31	c |    291356 |     380    17785    46622 |    23852    20426     99 |  0.001 % |
258.80/258.98	c |    291851 |     380    17785    46622 |    23852    20921     98 |  0.001 % |
259.60/259.77	c |    292396 |     380    17785    46622 |    23852    21466     99 |  0.001 % |
260.60/260.75	c |    292993 |     380    17785    46622 |    23852    22063     99 |  0.001 % |
261.10/261.28	c |    293648 |     380    17785    46622 |    23852    22718     99 |  0.001 % |
262.20/262.38	c |    294368 |     380    17785    46622 |    23852    23438     99 |  0.001 % |
263.59/263.71	c |    295160 |     380    17785    46622 |    23852    18311     97 |  0.001 % |
264.39/264.57	c |    296033 |     380    17785    46622 |    23852    19184     97 |  0.001 % |
265.39/265.56	c |    296993 |     380    17785    46622 |    23852    20144     97 |  0.001 % |
266.49/266.65	c |    298049 |     380    17785    46622 |    23852    21200     97 |  0.001 % |
267.79/267.96	c |    299210 |     380    17785    46622 |    23852    22361     97 |  0.001 % |
269.40/269.56	c |    300484 |     380    17785    46622 |    23151    17907     96 |  0.001 % |
270.50/270.69	c |    301885 |     380    17785    46622 |    23151    19308     95 |  0.001 % |
271.49/271.62	c |    303425 |     380    17785    46622 |    23151    20848     95 |  0.001 % |
272.89/273.07	c |    305120 |     380    17785    46622 |    23151    22543     95 |  0.001 % |
273.79/273.96	c |    306984 |     380    17785    46622 |    23151    19771     92 |  0.001 % |
276.69/276.86	c |    309033 |     380    17785    46622 |    23151    21820     93 |  0.001 % |
277.98/278.17	c |    311289 |     380    17785    46622 |    22787    19403     93 |  0.001 % |
281.78/281.99	c |    313769 |     380    17785    46622 |    22787    21883     95 |  0.001 % |
285.28/285.47	c |    316494 |     380    17785    46622 |    22787    18335     96 |  0.001 % |
289.09/289.28	c |    319491 |     380    17785    46622 |    22787    21332     97 |  0.001 % |
289.28/289.43	c |    319593 |     380    17785    46622 |    22787    21434     97 |  0.001 % |
289.48/289.62	c |    319705 |     380    17785    46622 |    22787    21546     97 |  0.001 % |
289.58/289.77	c |    319831 |     380    17785    46622 |    22787    21672     97 |  0.001 % |
289.78/289.97	c |    319966 |     380    17785    46622 |    22787    21807     97 |  0.001 % |
290.08/290.24	c |    320115 |     380    17785    46622 |    21841    21956     98 |  0.001 % |
290.29/290.49	c |    320275 |     380    17785    46622 |    21841    15983    101 |  0.001 % |
290.48/290.68	c |    320453 |     380    17785    46622 |    21841    16161    101 |  0.001 % |
290.78/290.91	c |    320646 |     380    17785    46622 |    21841    16354    101 |  0.001 % |
290.98/291.18	c |    320858 |     380    17785    46622 |    21841    16566    101 |  0.001 % |
291.28/291.40	c |    321091 |     380    17785    46622 |    21841    16799    101 |  0.001 % |
291.48/291.60	c |    321348 |     380    17785    46622 |    21841    17056    102 |  0.001 % |
291.78/291.94	c |    321631 |     380    17785    46622 |    21841    17339    102 |  0.001 % |
291.88/292.06	c |    321940 |     380    17785    46622 |    21841    17648    102 |  0.001 % |
292.28/292.48	c |    322279 |     380    17785    46622 |    21841    17987    102 |  0.001 % |
292.78/292.97	c |    322652 |     380    17785    46622 |    21841    18360    102 |  0.001 % |
293.28/293.42	c |    323062 |     380    17785    46622 |    21841    18770    102 |  0.001 % |
293.78/293.92	c |    323516 |     380    17785    46622 |    21841    19224    102 |  0.001 % |
294.38/294.53	c |    324011 |     380    17785    46622 |    21841    19719    103 |  0.001 % |
294.98/295.16	c |    324555 |     380    17785    46622 |    21841    20263    103 |  0.001 % |
295.68/295.90	c |    325152 |     380    17785    46622 |    21841    20860    103 |  0.001 % |
296.58/296.74	c |    325807 |     380    17785    46622 |    21841    21515    103 |  0.001 % |
297.48/297.64	c |    326527 |     380    17785    46622 |    21841    17282    102 |  0.001 % |
298.08/298.29	c |    327320 |     380    17785    46622 |    21841    18075    102 |  0.001 % |
298.88/299.02	c |    328193 |     380    17785    46622 |    21841    18948    101 |  0.001 % |
299.78/299.93	c |    329152 |     380    17785    46622 |    21841    19907    101 |  0.001 % |
300.58/300.70	c |    330205 |     380    17785    46622 |    20757    16584     99 |  0.001 % |
301.58/301.77	c |    331365 |     380    17785    46622 |    20757    17744     99 |  0.001 % |
303.28/303.47	c |    332638 |     380    17785    46622 |    20757    19017     99 |  0.001 % |
303.98/304.19	c |    334040 |     380    17785    46622 |    20757    20419     99 |  0.001 % |
305.38/305.51	c |    335582 |     380    17785    46622 |    20757    17899     98 |  0.001 % |
306.68/306.81	c |    337277 |     380    17785    46622 |    20757    19594     98 |  0.001 % |
307.08/307.27	c |    339140 |     380    17785    46622 |    20757    18005     98 |  0.001 % |
309.68/309.80	c |    341191 |     380    17785    46622 |    18866    16735     98 |  0.001 % |
310.98/311.10	c |    343445 |     380    17785    46622 |    18866    18989     99 |  0.001 % |
312.28/312.44	c |    345926 |     380    17785    46622 |    18866    17989     98 |  0.001 % |
314.57/314.74	c |    348654 |     380    17785    46622 |    18866    17562     99 |  0.001 % |
317.07/317.22	c |    351651 |     380    17785    46622 |    18908    17286    100 |  0.001 % |
319.67/319.86	c |    354947 |     380    17785    46622 |    18908    17678     99 |  0.001 % |
319.88/320.00	c |    355049 |     380    17785    46622 |    18908    17780     99 |  0.001 % |
319.98/320.11	c |    355159 |     380    17785    46622 |    18908    17890     99 |  0.001 % |
320.07/320.20	c |    355282 |     380    17785    46622 |    18908    18013     99 |  0.001 % |
320.17/320.36	c |    355416 |     380    17785    46622 |    18908    18147     99 |  0.001 % |
320.37/320.52	c |    355564 |     380    17785    46622 |    18908    18295     99 |  0.001 % |
320.57/320.74	c |    355724 |     380    17785    46622 |    18908    18455     99 |  0.001 % |
320.77/320.92	c |    355900 |     380    17785    46622 |    18908    18631     99 |  0.001 % |
320.98/321.18	c |    356094 |     380    17785    46622 |    18908    18825     99 |  0.001 % |
321.27/321.46	c |    356306 |     380    17785    46622 |    18908    19037     99 |  0.001 % |
321.47/321.65	c |    356539 |     380    17785    46622 |    18908    16452     98 |  0.001 % |
321.77/321.98	c |    356797 |     380    17785    46622 |    18908    16710     99 |  0.001 % |
322.18/322.31	c |    357079 |     380    17785    46622 |    18908    16992     99 |  0.001 % |
322.57/322.75	c |    357388 |     380    17785    46622 |    18908    17301     99 |  0.001 % |
322.97/323.17	c |    357729 |     380    17785    46622 |    18908    17642     99 |  0.001 % |
323.57/323.72	c |    358103 |     380    17785    46622 |    18908    18016     99 |  0.001 % |
324.07/324.20	c |    358514 |     380    17785    46622 |    18908    18427    100 |  0.001 % |
324.47/324.66	c |    358963 |     380    17785    46622 |    18908    18876    100 |  0.001 % |
325.07/325.23	c |    359456 |     380    17785    46622 |    18908    16285    100 |  0.001 % |
325.67/325.89	c |    359999 |     380    17785    46622 |    18908    16828    100 |  0.001 % |
326.37/326.58	c |    360597 |     380    17785    46622 |    16829    14554     99 |  0.001 % |
326.97/327.15	c |    361252 |     380    17785    46622 |    16829    15209     99 |  0.001 % |
327.67/327.88	c |    361972 |     380    17785    46622 |    16829    15929     99 |  0.001 % |
328.37/328.51	c |    362764 |     380    17785    46622 |    16829    16721     99 |  0.001 % |
329.07/329.21	c |    363637 |     380    17785    46622 |    16829    14952     99 |  0.001 % |
329.67/329.81	c |    364595 |     380    17785    46622 |    16829    15910     99 |  0.001 % |
330.17/330.37	c |    365648 |     380    17785    46622 |    16829    16963     98 |  0.001 % |
331.17/331.39	c |    366806 |     380    17785    46622 |    16829    15908     98 |  0.001 % |
332.57/332.70	c |    368083 |     380    17785    46622 |    16829    14762     97 |  0.001 % |
333.37/333.55	c |    369484 |     380    17785    46622 |    16829    16163     97 |  0.001 % |
334.87/335.05	c |    371026 |     380    17785    46622 |    16680    15186     96 |  0.001 % |
336.67/336.89	c |    372721 |     380    17785    46622 |    16680    16881     96 |  0.001 % |
337.97/338.17	c |    374588 |     380    17785    46622 |    16680    15827     95 |  0.001 % |
338.87/339.01	c |    376638 |     380    17785    46622 |    16680    15417     94 |  0.001 % |
340.27/340.41	c |    378892 |     380    17785    46622 |    16680    15336     94 |  0.001 % |
341.87/342.01	c |    381370 |     380    17785    46622 |    16445    15560     94 |  0.001 % |
343.37/343.57	c |    384095 |     380    17785    46622 |    16445    16279     95 |  0.001 % |
345.46/345.64	c |    387092 |     380    17785    46622 |    16445    15937     95 |  0.001 % |
347.26/347.43	c |    390388 |     380    17785    46622 | 2147483647    15903     96 |  0.001 % |
350.36/350.53	c |    394014 |     380    17785    46622 | 2147483647    19529     98 |  0.001 % |
350.46/350.68	c |    394116 |     380    17785    46622 | 2147483647    19631     98 |  0.001 % |
350.67/350.90	c |    394227 |     380    17785    46622 | 2147483647    19742     98 |  0.001 % |
350.86/351.05	c |    394350 |     380    17785    46622 | 2147483647    19865     98 |  0.001 % |
351.16/351.37	c |    394483 |     380    17785    46622 | 2147483647    19998     98 |  0.001 % |
351.36/351.50	c |    394632 |     380    17785    46622 | 2147483647    20147     98 |  0.001 % |
351.56/351.73	c |    394792 |     380    17785    46622 | 2147483647    20307     98 |  0.001 % |
351.66/351.84	c |    394972 |     380    17785    46622 | 2147483647    20487     98 |  0.001 % |
351.96/352.18	c |    395165 |     380    17785    46622 | 2147483647    20680     98 |  0.001 % |
352.26/352.49	c |    395379 |     380    17785    46622 | 2147483647    20894     98 |  0.001 % |
352.76/352.91	c |    395612 |     380    17785    46622 | 2147483647    21127     98 |  0.001 % |
353.16/353.38	c |    395868 |     380    17785    46622 | 2147483647    21383     98 |  0.001 % |
353.66/353.88	c |    396150 |     380    17785    46622 | 2147483647    21665     98 |  0.001 % |
354.26/354.44	c |    396459 |     380    17785    46622 | 2147483647    21974     98 |  0.001 % |
354.76/354.90	c |    396799 |     380    17785    46622 | 2147483647    22314     98 |  0.001 % |
355.36/355.59	c |    397171 |     380    17785    46622 | 2147483647    22686     98 |  0.001 % |
356.06/356.23	c |    397582 |     380    17785    46622 | 2147483647    23097     98 |  0.001 % |
356.66/356.85	c |    398031 |     380    17785    46622 | 2147483647    23546     98 |  0.001 % |
357.56/357.77	c |    398530 |     380    17785    46622 | 2147483647    24045     98 |  0.001 % |
358.37/358.53	c |    399075 |     380    17785    46622 | 2147483647    24590     98 |  0.001 % |
359.06/359.29	c |    399672 |     380    17785    46622 | 2147483647    25187     98 |  0.001 % |
360.06/360.28	c |    400329 |     380    17785    46622 |    25517    20410     98 |  0.001 % |
360.96/361.12	c |    401050 |     380    17785    46622 |    25517    21131     98 |  0.001 % |
362.16/362.31	c |    401846 |     380    17785    46622 |    25517    21927     98 |  0.001 % |
363.26/363.44	c |    402719 |     380    17785    46622 |    25517    22800     98 |  0.001 % |
364.46/364.67	c |    403678 |     380    17785    46622 |    25517    23759     98 |  0.001 % |
365.66/365.82	c |    404731 |     380    17785    46622 |    25517    24812     97 |  0.001 % |
366.56/366.79	c |    405892 |     380    17785    46622 |    25517    20367     95 |  0.001 % |
367.46/367.65	c |    407166 |     380    17785    46622 |    25517    21641     95 |  0.001 % |
368.56/368.73	c |    408566 |     380    17785    46622 |    25517    23041     95 |  0.001 % |
369.26/369.42	c |    410106 |     380    17785    46622 |    24475    24581     95 |  0.001 % |
369.96/370.16	c |    411800 |     380    17785    46622 |    24475    21835     94 |  0.001 % |
371.16/371.38	c |    413663 |     380    17785    46622 |    24475    23698     94 |  0.001 % |
372.76/372.99	c |    415714 |     380    17785    46622 |    24475    21648     93 |  0.001 % |
374.96/375.19	c |    417971 |     380    17785    46622 |    24475    23905     93 |  0.001 % |
376.65/376.86	c |    420451 |     380    17785    46622 |    21518    18101     93 |  0.001 % |
378.35/378.52	c |    423176 |     380    17785    46622 |    21518    20826     92 |  0.001 % |
380.25/380.40	c |    426174 |     380    17785    46622 |    21518    20379     92 |  0.001 % |
382.66/382.86	c |    429474 |     380    17785    46622 |    21518    20195     89 |  0.001 % |
384.86/385.05	c |    433102 |     380    17785    46622 |    20723    20591     88 |  0.001 % |
386.55/386.70	c |    437094 |     380    17785    46622 |    20723    19276     88 |  0.001 % |
386.65/386.86	c |    437194 |     380    17785    46622 |    20723    19376     88 |  0.001 % |
386.75/386.91	c |    437306 |     380    17785    46622 |    20723    19488     88 |  0.001 % |
386.85/387.01	c |    437430 |     380    17785    46622 |    20723    19612     88 |  0.001 % |
386.85/387.05	c |    437565 |     380    17785    46622 |    20723    19747     88 |  0.001 % |
386.95/387.11	c |    437712 |     380    17785    46622 |    20723    19894     89 |  0.001 % |
386.95/387.16	c |    437874 |     380    17785    46622 |    20723    20056     89 |  0.001 % |
387.05/387.25	c |    438053 |     380    17785    46622 |    20723    20235     89 |  0.001 % |
387.25/387.42	c |    438246 |     380    17785    46622 |    20723    20428     89 |  0.001 % |
387.35/387.58	c |    438458 |     380    17785    46622 |    20723    20640     89 |  0.001 % |
387.55/387.75	c |    438691 |     380    17785    46622 |    20723    20873     89 |  0.001 % |
387.85/388.01	c |    438948 |     380    17785    46622 |    20723    19021     89 |  0.001 % |
387.95/388.17	c |    439230 |     380    17785    46622 |    20723    19303     89 |  0.001 % |
388.15/388.34	c |    439540 |     380    17785    46622 |    20723    19613     89 |  0.001 % |
388.46/388.62	c |    439880 |     380    17785    46622 |    20723    19953     89 |  0.001 % |
388.66/388.89	c |    440256 |     380    17785    46622 | 2147483647    20329     89 |  0.001 % |
389.06/389.21	c |    440668 |     380    17785    46622 | 2147483647    20741     89 |  0.001 % |
389.46/389.67	c |    441121 |     380    17785    46622 | 2147483647    21194     89 |  0.001 % |
389.96/390.18	c |    441614 |     380    17785    46622 | 2147483647    21687     89 |  0.001 % |
390.56/390.78	c |    442157 |     380    17785    46622 | 2147483647    22230     89 |  0.001 % |
390.96/391.10	c |    442753 |     380    17785    46622 | 2147483647    22826     89 |  0.001 % |
391.76/391.92	c |    443408 |     380    17785    46622 | 2147483647    23481     89 |  0.001 % |
392.46/392.63	c |    444128 |     380    17785    46622 | 2147483647    24201     89 |  0.001 % |
393.16/393.30	c |    444923 |     380    17785    46622 | 2147483647    24996     89 |  0.001 % |
393.76/393.98	c |    445794 |     380    17785    46622 | 2147483647    25867     89 |  0.001 % |
394.76/394.93	c |    446753 |     380    17785    46622 | 2147483647    26826     89 |  0.001 % |
395.76/395.97	c |    447806 |     380    17785    46622 | 2147483647    27879     89 |  0.001 % |
396.56/396.72	c |    448964 |     380    17785    46622 | 2147483647    29037     89 |  0.001 % |
397.76/397.95	c |    450237 |     380    17785    46622 |    30074    24575     88 |  0.001 % |
398.56/398.78	c |    451638 |     380    17785    46622 |    30074    25976     88 |  0.001 % |
399.66/399.83	c |    453178 |     380    17785    46622 |    30074    27516     88 |  0.001 % |
400.46/400.67	c |    454873 |     380    17785    46622 |    30074    29211     87 |  0.001 % |
401.65/401.82	c |    456740 |     380    17785    46622 |    30074    25518     85 |  0.001 % |
402.85/403.10	c |    458789 |     380    17785    46622 |    30074    27567     85 |  0.001 % |
404.15/404.30	c |    461042 |     380    17785    46622 |    28780    24580     83 |  0.001 % |
405.25/405.41	c |    463520 |     380    17785    46622 |    28780    27058     82 |  0.001 % |
407.15/407.36	c |    466245 |     380    17785    46622 |    28780    25285     80 |  0.001 % |
407.75/407.97	c |    469244 |     380    17785    46622 |    28780    28284     80 |  0.001 % |
415.35/415.55	c |    472542 |     380    17785    46622 |    24018    21708     82 |  0.001 % |
422.25/422.43	c |    476167 |     380    17785    46622 |    24018    17066     87 |  0.001 % |
424.25/424.40	c |    480154 |     380    17785    46622 |    20900    21053     87 |  0.001 % |
426.85/427.08	c |    484539 |     380    17785    46622 |    20900    18944     94 |  0.001 % |
426.95/427.19	c |    484639 |     380    17785    46622 |    20900    19044     94 |  0.001 % |
427.05/427.27	c |    484750 |     380    17785    46622 |    20900    19155     94 |  0.001 % |
427.15/427.32	c |    484871 |     380    17785    46622 |    20900    19276     94 |  0.001 % |
427.25/427.45	c |    485005 |     380    17785    46622 |    20900    19410     94 |  0.001 % |
427.35/427.58	c |    485156 |     380    17785    46622 |    20900    19561     94 |  0.001 % |
427.55/427.75	c |    485317 |     380    17785    46622 |    20900    19722     94 |  0.001 % |
427.75/427.91	c |    485495 |     380    17785    46622 |    20900    19900     94 |  0.001 % |
427.85/428.02	c |    485690 |     380    17785    46622 |    20900    20095     94 |  0.001 % |
428.05/428.22	c |    485904 |     380    17785    46622 |    20900    20309     94 |  0.001 % |
428.25/428.41	c |    486142 |     380    17785    46622 |    20900    20547     94 |  0.001 % |
428.44/428.67	c |    486399 |     380    17785    46622 |    20900    20804     94 |  0.001 % |
428.75/428.93	c |    486682 |     380    17785    46622 |    20900    15735     92 |  0.001 % |
428.94/429.10	c |    486992 |     380    17785    46622 |    20900    16045     92 |  0.001 % |
429.14/429.31	c |    487331 |     380    17785    46622 |    20900    16384     92 |  0.001 % |
429.34/429.57	c |    487703 |     380    17785    46622 |    20900    16756     92 |  0.001 % |
429.74/429.92	c |    488113 |     380    17785    46622 |    20900    17166     92 |  0.001 % |
429.95/430.13	c |    488562 |     380    17785    46622 |    20900    17615     92 |  0.001 % |
430.34/430.57	c |    489055 |     380    17785    46622 |    20900    18108     93 |  0.001 % |
430.84/431.02	c |    489598 |     380    17785    46622 |    20900    18651     93 |  0.001 % |
431.44/431.63	c |    490200 |     380    17785    46622 |    19059    14825     91 |  0.001 % |
431.94/432.12	c |    490855 |     380    17785    46622 |    19059    15480     91 |  0.001 % |
432.34/432.58	c |    491575 |     380    17785    46622 |    19059    16200     91 |  0.001 % |
432.94/433.10	c |    492367 |     380    17785    46622 |    19059    16992     91 |  0.001 % |
433.44/433.63	c |    493240 |     380    17785    46622 |    19059    17865     91 |  0.001 % |
433.84/434.07	c |    494201 |     380    17785    46622 |    19059    18826     91 |  0.001 % |
434.64/434.82	c |    495255 |     380    17785    46622 |    19059    16550     91 |  0.001 % |
435.35/435.59	c |    496417 |     380    17785    46622 |    19059    17712     91 |  0.001 % |
436.24/436.41	c |    497693 |     380    17785    46622 |    19059    18988     90 |  0.001 % |
437.24/437.47	c |    499094 |     380    17785    46622 |    19059    17241     88 |  0.001 % |
437.94/438.15	c |    500634 |     380    17785    46622 |    18147    15972     87 |  0.001 % |
438.34/438.53	c |    502333 |     380    17785    46622 |    18147    17671     88 |  0.001 % |
440.04/440.21	c |    504197 |     380    17785    46622 |    18147    17449     88 |  0.001 % |
440.44/440.63	c |    506251 |     380    17785    46622 |    18147    17080     89 |  0.001 % |
440.95/441.15	c |    508505 |     380    17785    46622 |    18147    17493     91 |  0.001 % |
442.94/443.11	c |    510984 |     380    17785    46622 |    16905    15575     94 |  0.001 % |
444.15/444.39	c |    513710 |     380    17785    46622 |    16905    15842     98 |  0.001 % |
445.44/445.61	c |    516707 |     380    17785    46622 |    16905    16746    101 |  0.001 % |
447.14/447.34	c |    520004 |     380    17785    46622 |    16089    16093    102 |  0.001 % |
448.44/448.68	c |    523630 |     380    17785    46622 |    16089    16261    101 |  0.001 % |
449.34/449.56	c |    527618 |     380    17785    46622 |    16089    15348     96 |  0.001 % |
450.84/451.09	c |    532004 |     380    17785    46622 | 2147483647    18099     98 |  0.001 % |
453.54/453.72	c |    536827 |     380    17785    46622 | 2147483647    22922     98 |  0.001 % |
453.54/453.78	c |    536927 |     380    17785    46622 | 2147483647    23022     98 |  0.001 % |
453.64/453.88	c |    537041 |     380    17785    46622 | 2147483647    23136     98 |  0.001 % |
453.84/454.03	c |    537163 |     380    17785    46622 | 2147483647    23258     98 |  0.001 % |
453.94/454.17	c |    537298 |     380    17785    46622 | 2147483647    23393     98 |  0.001 % |
454.14/454.37	c |    537444 |     380    17785    46622 | 2147483647    23539     98 |  0.001 % |
454.34/454.58	c |    537604 |     380    17785    46622 | 2147483647    23699     98 |  0.001 % |
454.54/454.78	c |    537783 |     380    17785    46622 | 2147483647    23878     98 |  0.001 % |
454.84/455.01	c |    537977 |     380    17785    46622 | 2147483647    24072     98 |  0.001 % |
454.94/455.14	c |    538191 |     380    17785    46622 | 2147483647    24286     98 |  0.001 % |
455.14/455.34	c |    538425 |     380    17785    46622 | 2147483647    24520     98 |  0.001 % |
455.34/455.56	c |    538682 |     380    17785    46622 | 2147483647    24777     98 |  0.001 % |
455.54/455.76	c |    538964 |     380    17785    46622 | 2147483647    25059     98 |  0.001 % |
455.64/455.89	c |    539274 |     380    17785    46622 | 2147483647    25369     98 |  0.001 % |
455.84/456.03	c |    539614 |     380    17785    46622 | 2147483647    25709     98 |  0.001 % |
456.24/456.45	c |    539988 |     380    17785    46622 | 2147483647    26083     98 |  0.001 % |
456.54/456.75	c |    540397 |     380    17785    46622 |    26095    22225     96 |  0.001 % |
456.84/457.06	c |    540848 |     380    17785    46622 |    26095    22676     96 |  0.001 % |
457.14/457.34	c |    541343 |     380    17785    46622 |    26095    23171     97 |  0.001 % |
457.64/457.80	c |    541885 |     380    17785    46622 |    26095    23713     97 |  0.001 % |
458.34/458.51	c |    542481 |     380    17785    46622 |    26095    24309     97 |  0.001 % |
458.94/459.17	c |    543138 |     380    17785    46622 |    26095    24966     97 |  0.001 % |
459.64/459.88	c |    543859 |     380    17785    46622 |    26095    25687     98 |  0.001 % |
460.74/460.90	c |    544651 |     380    17785    46622 |    26095    21227     98 |  0.001 % |
461.54/461.71	c |    545527 |     380    17785    46622 |    26095    22103     98 |  0.001 % |
462.14/462.33	c |    546487 |     380    17785    46622 |    26095    23063     98 |  0.001 % |
463.34/463.59	c |    547540 |     380    17785    46622 |    26095    24116     98 |  0.001 % |
464.94/465.11	c |    548699 |     380    17785    46622 |    26095    25275     98 |  0.001 % |
466.53/466.78	c |    549974 |     380    17785    46622 |    26095    20719     98 |  0.001 % |
468.03/468.24	c |    551374 |     380    17785    46622 |    20745    17435     99 |  0.001 % |
469.54/469.78	c |    552914 |     380    17785    46622 |    20745    18975     99 |  0.001 % |
471.53/471.80	c |    554611 |     380    17785    46622 |    20745    20672    100 |  0.001 % |
473.03/473.23	c |    556474 |     380    17785    46622 |    20745    17964    100 |  0.001 % |
475.33/475.56	c |    558523 |     380    17785    46622 |    20745    20013    101 |  0.001 % |
477.73/477.90	c |    560777 |     380    17785    46622 |    16877    14069     98 |  0.001 % |
479.03/479.29	c |    563255 |     380    17785    46622 |    16877    16547     97 |  0.001 % |
480.23/480.43	c |    565980 |     380    17785    46622 |    16877    16464     94 |  0.001 % |
481.13/481.38	c |    568978 |     380    17785    46622 |    16877    15695     92 |  0.001 % |
484.73/484.90	c |    572274 |     380    17785    46622 | 2147483647    18991     93 |  0.001 % |
490.73/490.94	c |    575901 |     380    17785    46622 | 2147483647    22618     95 |  0.001 % |
498.43/498.66	c |    579888 |     380    17785    46622 | 2147483647    26605     97 |  0.001 % |
503.02/503.21	c |    584274 |     380    17785    46622 |    26721    22792     96 |  0.001 % |
507.12/507.31	c |    589097 |     380    17785    46622 |    26721    20435     96 |  0.001 % |
510.32/510.56	c |    594404 |     380    17785    46622 |    21338    20408     92 |  0.001 % |
510.42/510.63	c |    594506 |     380    17785    46622 |    21338    20510     92 |  0.001 % |
510.62/510.86	c |    594616 |     380    17785    46622 |    21338    20620     92 |  0.001 % |
510.82/511.06	c |    594739 |     380    17785    46622 |    21338    20743     92 |  0.001 % |
511.02/511.24	c |    594878 |     380    17785    46622 |    21338    20882     92 |  0.001 % |
511.23/511.46	c |    595026 |     380    17785    46622 |    21338    21030     92 |  0.001 % |
511.42/511.65	c |    595189 |     380    17785    46622 |    21338    21193     92 |  0.001 % |
511.52/511.71	c |    595367 |     380    17785    46622 |    21338    21371     92 |  0.001 % |
511.62/511.84	c |    595561 |     380    17785    46622 |    21338    17870     90 |  0.001 % |
511.82/512.03	c |    595773 |     380    17785    46622 |    21338    18082     90 |  0.001 % |
511.92/512.18	c |    596008 |     380    17785    46622 |    21338    18317     90 |  0.001 % |
512.12/512.38	c |    596269 |     380    17785    46622 |    21338    18578     90 |  0.001 % |
512.62/512.82	c |    596552 |     380    17785    46622 |    21338    18861     90 |  0.001 % |
512.92/513.16	c |    596861 |     380    17785    46622 |    21338    19170     91 |  0.001 % |
513.43/513.62	c |    597200 |     380    17785    46622 |    21338    19509     91 |  0.001 % |
513.43/513.69	c |    597572 |     380    17785    46622 |    21338    19881     91 |  0.001 % |
514.32/514.59	c |    597982 |     380    17785    46622 |    21338    20291     91 |  0.001 % |
515.22/515.41	c |    598431 |     380    17785    46622 |    21338    20740     92 |  0.001 % |
516.02/516.23	c |    598924 |     380    17785    46622 |    21338    21233     92 |  0.001 % |
517.02/517.24	c |    599466 |     380    17785    46622 |    21338    17090     91 |  0.001 % |
517.22/517.40	c |    600062 |     380    17785    46622 |    17626    17686     91 |  0.001 % |
517.72/517.90	c |    600718 |     380    17785    46622 |    17626    14515     91 |  0.001 % |
518.22/518.42	c |    601439 |     380    17785    46622 |    17626    15236     91 |  0.001 % |
518.93/519.15	c |    602232 |     380    17785    46622 |    17626    16029     90 |  0.001 % |
519.22/519.41	c |    603108 |     380    17785    46622 |    17626    16905     90 |  0.001 % |
520.32/520.50	c |    604067 |     380    17785    46622 |    17626    17864     91 |  0.001 % |
520.82/521.07	c |    605122 |     380    17785    46622 |    17626    14788     92 |  0.001 % |
521.32/521.51	c |    606280 |     380    17785    46622 |    17626    15946     93 |  0.001 % |
522.12/522.36	c |    607555 |     380    17785    46622 |    17626    17221     94 |  0.001 % |
523.12/523.38	c |    608955 |     380    17785    46622 |    17626    15110     97 |  0.001 % |
524.02/524.25	c |    610495 |     380    17785    46622 |    16155    13652     96 |  0.001 % |
524.52/524.75	c |    612190 |     380    17785    46622 |    16155    15347     94 |  0.001 % |
525.22/525.49	c |    614053 |     380    17785    46622 |    16155    15068     94 |  0.001 % |
526.32/526.56	c |    616102 |     380    17785    46622 |    16155    15433     97 |  0.001 % |
527.62/527.84	c |    618357 |     380    17785    46622 |    16155    16055     98 |  0.001 % |
528.62/528.82	c |    620835 |     380    17785    46622 | 2147483647    16895     96 |  0.001 % |
529.92/530.19	c |    623562 |     380    17785    46622 | 2147483647    19622     96 |  0.001 % |
532.32/532.56	c |    626559 |     380    17785    46622 | 2147483647    22619     96 |  0.001 % |
536.02/536.23	c |    629855 |     380    17785    46622 | 2147483647    25915     96 |  0.001 % |
539.02/539.21	c |    633482 |     380    17785    46622 |    26061    25490     95 |  0.001 % |
541.71/541.96	c |    637470 |     380    17785    46622 |    26061    24143     93 |  0.001 % |
544.22/544.48	c |    641855 |     380    17785    46622 |    21541    19320     89 |  0.001 % |
545.71/545.99	c |    646683 |     380    17785    46622 |    21541    19793     88 |  0.001 % |
552.81/553.09	c |    651988 |     380    17785    46622 |    20248    18560     91 |  0.001 % |
557.01/557.30	c |    657823 |     380    17785    46622 |    20248    20119     97 |  0.001 % |
557.21/557.42	c |    657924 |     380    17785    46622 |    20248    20220     97 |  0.001 % |
557.31/557.55	c |    658034 |     380    17785    46622 |    20248    20330     97 |  0.001 % |
557.51/557.74	c |    658157 |     380    17785    46622 |    20248    16618     98 |  0.001 % |
557.71/557.91	c |    658297 |     380    17785    46622 |    20248    16758     98 |  0.001 % |
557.81/558.03	c |    658444 |     380    17785    46622 |    20248    16905     98 |  0.001 % |
557.91/558.19	c |    658605 |     380    17785    46622 |    20248    17066     98 |  0.001 % |
558.21/558.40	c |    658782 |     380    17785    46622 |    20248    17243     98 |  0.001 % |
558.41/558.62	c |    658977 |     380    17785    46622 |    20248    17438     98 |  0.001 % |
558.61/558.89	c |    659191 |     380    17785    46622 |    20248    17652     98 |  0.001 % |
558.91/559.16	c |    659426 |     380    17785    46622 |    20248    17887     98 |  0.001 % |
559.11/559.32	c |    659682 |     380    17785    46622 |    20248    18143     98 |  0.001 % |
559.31/559.52	c |    659963 |     380    17785    46622 |    20248    18424     98 |  0.001 % |
559.61/559.86	c |    660274 |     380    17785    46622 |    18462    15291    100 |  0.001 % |
559.81/560.08	c |    660614 |     380    17785    46622 |    18462    15631    100 |  0.001 % |
560.21/560.41	c |    660990 |     380    17785    46622 |    18462    16007    100 |  0.001 % |
560.51/560.70	c |    661405 |     380    17785    46622 |    18462    16422    100 |  0.001 % |
560.61/560.85	c |    661854 |     380    17785    46622 |    18462    16871    100 |  0.001 % |
560.91/561.14	c |    662347 |     380    17785    46622 |    18462    17364    100 |  0.001 % |
561.41/561.67	c |    662892 |     380    17785    46622 |    18462    17909    100 |  0.001 % |
561.81/562.01	c |    663490 |     380    17785    46622 |    18462    18507    101 |  0.001 % |
562.31/562.56	c |    664145 |     380    17785    46622 |    18462    16342    100 |  0.001 % |
562.81/563.05	c |    664865 |     380    17785    46622 |    18462    17062    100 |  0.001 % |
563.51/563.74	c |    665661 |     380    17785    46622 |    18462    17858    100 |  0.001 % |
564.21/564.46	c |    666534 |     380    17785    46622 |    18462    16075     99 |  0.001 % |
565.11/565.32	c |    667493 |     380    17785    46622 |    18462    17034     99 |  0.001 % |
565.91/566.15	c |    668547 |     380    17785    46622 |    18462    18088     99 |  0.001 % |
566.91/567.14	c |    669709 |     380    17785    46622 |    18462    16708     97 |  0.001 % |
567.91/568.11	c |    670984 |     380    17785    46622 |    17003    15609     96 |  0.001 % |
568.71/568.90	c |    672384 |     380    17785    46622 |    17003    17009     95 |  0.001 % |
569.41/569.62	c |    673924 |     380    17785    46622 |    17003    16717     95 |  0.001 % |
570.51/570.77	c |    675618 |     380    17785    46622 |    17003    16694     94 |  0.001 % |
571.61/571.84	c |    677482 |     380    17785    46622 |    17003    16843     93 |  0.001 % |
573.11/573.37	c |    679532 |     380    17785    46622 |    17003    17176     93 |  0.001 % |
574.21/574.48	c |    681786 |     380    17785    46622 | 2147483647    17713     92 |  0.001 % |
575.80/576.08	c |    684264 |     380    17785    46622 | 2147483647    20191     93 |  0.001 % |
578.50/578.72	c |    686990 |     380    17785    46622 | 2147483647    22917     94 |  0.001 % |
580.80/581.06	c |    689987 |     380    17785    46622 | 2147483647    25914     93 |  0.001 % |
582.60/582.83	c |    693286 |     380    17785    46622 |    25927    25082     91 |  0.001 % |
583.81/584.02	c |    696912 |     380    17785    46622 |    25927    25095     89 |  0.001 % |
587.60/587.84	c |    700902 |     380    17785    46622 |    24998    21490     89 |  0.001 % |
593.30/593.54	c |    705287 |     380    17785    46622 |    24998    18952     92 |  0.001 % |
597.00/597.24	c |    710111 |     380    17785    46622 |    23666    23776     93 |  0.001 % |
599.90/600.10	c |    715416 |     380    17785    46622 |    23666    23417     95 |  0.001 % |
602.50/602.74	c |    721251 |     380    17785    46622 |    20857    19141     87 |  0.001 % |
606.00/606.23	c |    727673 |     380    17785    46622 |    20857    18923     88 |  0.001 % |
606.20/606.41	c |    727774 |     380    17785    46622 |    20857    19024     88 |  0.001 % |
606.40/606.63	c |    727887 |     380    17785    46622 |    20857    19137     88 |  0.001 % |
606.60/606.89	c |    728009 |     380    17785    46622 |    20857    19259     88 |  0.001 % |
606.90/607.16	c |    728142 |     380    17785    46622 |    20857    19392     88 |  0.001 % |
607.20/607.43	c |    728289 |     380    17785    46622 |    20857    19539     89 |  0.001 % |
607.50/607.75	c |    728453 |     380    17785    46622 |    20857    19703     89 |  0.001 % |
607.80/608.07	c |    728629 |     380    17785    46622 |    20857    19879     89 |  0.001 % |
608.10/608.34	c |    728823 |     380    17785    46622 |    20857    20073     89 |  0.001 % |
608.30/608.60	c |    729038 |     380    17785    46622 |    20857    20288     89 |  0.001 % |
608.70/608.96	c |    729274 |     380    17785    46622 |    20857    20524     89 |  0.001 % |
609.10/609.38	c |    729532 |     380    17785    46622 |    20857    20782     89 |  0.001 % |
609.60/609.81	c |    729813 |     380    17785    46622 |    20857    17784     89 |  0.001 % |
609.90/610.15	c |    730124 |     380    17785    46622 |    17972    18095     89 |  0.001 % |
610.20/610.47	c |    730463 |     380    17785    46622 |    17972    15586     89 |  0.001 % |
610.50/610.77	c |    730835 |     380    17785    46622 |    17972    15958     89 |  0.001 % |
610.90/611.17	c |    731244 |     380    17785    46622 |    17972    16367     89 |  0.001 % |
611.30/611.57	c |    731693 |     380    17785    46622 |    17972    16816     89 |  0.001 % |
611.70/611.94	c |    732188 |     380    17785    46622 |    17972    17311     89 |  0.001 % |
612.20/612.42	c |    732731 |     380    17785    46622 |    17972    17854     89 |  0.001 % |
612.89/613.11	c |    733328 |     380    17785    46622 |    17972    15766     90 |  0.001 % |
613.29/613.51	c |    733983 |     380    17785    46622 |    17972    16421     91 |  0.001 % |
613.69/613.96	c |    734709 |     380    17785    46622 |    17972    17147     91 |  0.001 % |
614.29/614.51	c |    735505 |     380    17785    46622 |    17972    17943     91 |  0.001 % |
614.60/614.88	c |    736377 |     380    17785    46622 |    17972    16503     90 |  0.001 % |
615.20/615.43	c |    737335 |     380    17785    46622 |    17972    17461     90 |  0.001 % |
615.99/616.21	c |    738389 |     380    17785    46622 |    17972    16455     89 |  0.001 % |
616.99/617.26	c |    739547 |     380    17785    46622 |    17972    17613     89 |  0.001 % |
618.09/618.38	c |    740822 |     380    17785    46622 |    18067    16726     89 |  0.001 % |
619.10/619.31	c |    742227 |     380    17785    46622 |    18067    18131     89 |  0.001 % |
619.99/620.22	c |    743772 |     380    17785    46622 |    18067    17836     89 |  0.001 % |
620.89/621.12	c |    745466 |     380    17785    46622 |    18067    17710     89 |  0.001 % |
621.89/622.19	c |    747330 |     380    17785    46622 |    18067    17745     89 |  0.001 % |
623.19/623.43	c |    749379 |     380    17785    46622 |    18067    17969     89 |  0.001 % |
624.29/624.59	c |    751635 |     380    17785    46622 | 2147483647    18399     90 |  0.001 % |
625.29/625.58	c |    754113 |     380    17785    46622 | 2147483647    20877     90 |  0.001 % |
626.69/626.95	c |    756838 |     380    17785    46622 | 2147483647    23602     89 |  0.001 % |
628.89/629.10	c |    759838 |     380    17785    46622 | 2147483647    26602     89 |  0.001 % |
630.99/631.24	c |    763135 |     380    17785    46622 | 2147483647    29899     88 |  0.001 % |
632.59/632.83	c |    766760 |     380    17785    46622 | 2147483647    33524     89 |  0.001 % |
634.40/634.65	c |    770749 |     380    17785    46622 |    36764    32013     87 |  0.001 % |
646.69/647.00	c |    775137 |     380    17785    46622 |    36764    36401     89 |  0.001 % |
656.69/656.97	c |    779961 |     380    17785    46622 |    36764    26383     90 |  0.001 % |
660.89/661.19	c |    785267 |     380    17785    46622 |    26423    21273     96 |  0.001 % |
665.19/665.40	c |    791102 |     380    17785    46622 |    26008    19785    100 |  0.001 % |
669.29/669.50	c |    797520 |     380    17785    46622 |    26008    26203    101 |  0.001 % |
673.88/674.18	c |    804583 |     380    17785    46622 |    22765    22016     99 |  0.001 % |
674.09/674.37	c |    804685 |     380    17785    46622 |    22765    22118     99 |  0.001 % |
674.28/674.56	c |    804796 |     380    17785    46622 |    22765    22229     99 |  0.001 % |
674.48/674.70	c |    804919 |     380    17785    46622 |    22765    22352     99 |  0.001 % |
674.59/674.85	c |    805053 |     380    17785    46622 |    22765    22486     99 |  0.001 % |
674.89/675.12	c |    805199 |     380    17785    46622 |    22765    22632     99 |  0.001 % |
675.09/675.38	c |    805360 |     380    17785    46622 |    22765    22793     99 |  0.001 % |
675.39/675.65	c |    805543 |     380    17785    46622 |    22765    18197     98 |  0.001 % |
675.59/675.90	c |    805738 |     380    17785    46622 |    22765    18392     98 |  0.001 % |
675.88/676.13	c |    805952 |     380    17785    46622 |    22765    18606     98 |  0.001 % |
676.08/676.33	c |    806188 |     380    17785    46622 |    22765    18842     98 |  0.001 % |
676.38/676.64	c |    806445 |     380    17785    46622 |    22765    19099     99 |  0.001 % |
676.68/676.95	c |    806726 |     380    17785    46622 |    22765    19380     99 |  0.001 % |
677.08/677.31	c |    807036 |     380    17785    46622 |    22765    19690     99 |  0.001 % |
677.39/677.68	c |    807376 |     380    17785    46622 |    22765    20030     99 |  0.001 % |
677.88/678.11	c |    807754 |     380    17785    46622 |    22765    20408     99 |  0.001 % |
678.18/678.40	c |    808164 |     380    17785    46622 |    22765    20818     99 |  0.001 % |
678.68/678.96	c |    808613 |     380    17785    46622 |    22765    21267     99 |  0.001 % |
679.18/679.48	c |    809107 |     380    17785    46622 |    22765    21761     99 |  0.001 % |
679.88/680.13	c |    809651 |     380    17785    46622 |    22765    22305    100 |  0.001 % |
680.69/680.93	c |    810250 |     380    17785    46622 |    22654    17714     98 |  0.001 % |
680.98/681.20	c |    810905 |     380    17785    46622 |    22654    18369     98 |  0.001 % |
681.58/681.81	c |    811625 |     380    17785    46622 |    22654    19089     99 |  0.001 % |
682.38/682.62	c |    812422 |     380    17785    46622 |    22654    19886     99 |  0.001 % |
683.38/683.61	c |    813293 |     380    17785    46622 |    22654    20757     99 |  0.001 % |
684.08/684.35	c |    814252 |     380    17785    46622 |    22654    21716     99 |  0.001 % |
684.48/684.70	c |    815305 |     380    17785    46622 |    22654    22769     99 |  0.001 % |
685.58/685.88	c |    816466 |     380    17785    46622 |    22654    19042     98 |  0.001 % |
687.58/687.85	c |    817739 |     380    17785    46622 |    22654    20315     98 |  0.001 % |
689.98/690.27	c |    819139 |     380    17785    46622 |    22654    21715     98 |  0.001 % |
692.68/692.99	c |    820682 |     380    17785    46622 |    22576    17216     96 |  0.001 % |
695.08/695.37	c |    822376 |     380    17785    46622 |    22576    18910     96 |  0.001 % |
696.88/697.11	c |    824240 |     380    17785    46622 |    22576    20774     95 |  0.001 % |
698.98/699.27	c |    826290 |     380    17785    46622 |    22576    16875     92 |  0.001 % |
700.78/701.09	c |    828546 |     380    17785    46622 |    22576    19131     91 |  0.001 % |
701.88/702.18	c |    831025 |     380    17785    46622 |    20585    16578     90 |  0.001 % |
702.68/702.92	c |    833750 |     380    17785    46622 |    20585    19303     92 |  0.001 % |
703.78/704.08	c |    836747 |     380    17785    46622 |    20585    19570     92 |  0.001 % |
705.58/705.83	c |    840044 |     380    17785    46622 |    20606    20650     91 |  0.001 % |
707.38/707.68	c |    843672 |     380    17785    46622 |    20606    19422     94 |  0.001 % |
711.87/712.18	c |    847659 |     380    17785    46622 |    20606    19876     99 |  0.001 % |
714.87/715.15	c |    852045 |     380    17785    46622 |    18049    16664     99 |  0.001 % |
717.07/717.33	c |    856869 |     380    17785    46622 |    18049    16528    100 |  0.001 % |
719.47/719.73	c |    862177 |     380    17785    46622 |    17623    16225    101 |  0.001 % |
722.97/723.25	c |    868014 |     380    17785    46622 |    17623    16215     95 |  0.001 % |
724.87/725.16	c |    874432 |     380    17785    46622 | 2147483647    20848     95 |  0.001 % |
728.07/728.35	c |    881493 |     380    17785    46622 | 2147483647    27909     95 |  0.001 % |
740.07/740.37	c |    889257 |     380    17785    46622 | 2147483647    35673     95 |  0.001 % |
740.37/740.60	c |    889357 |     380    17785    46622 | 2147483647    35773     95 |  0.001 % |
740.47/740.79	c |    889467 |     380    17785    46622 | 2147483647    35883     95 |  0.001 % |
740.77/741.02	c |    889588 |     380    17785    46622 | 2147483647    36004     95 |  0.001 % |
741.07/741.32	c |    889722 |     380    17785    46622 | 2147483647    36138     95 |  0.001 % |
741.37/741.62	c |    889869 |     380    17785    46622 | 2147483647    36285     95 |  0.001 % |
741.77/742.00	c |    890031 |     380    17785    46622 |    36420    36447     95 |  0.001 % |
742.06/742.40	c |    890208 |     380    17785    46622 |    36420    25501     93 |  0.001 % |
742.36/742.60	c |    890401 |     380    17785    46622 |    36420    25694     93 |  0.001 % |
742.56/742.80	c |    890614 |     380    17785    46622 |    36420    25907     93 |  0.001 % |
742.76/743.01	c |    890847 |     380    17785    46622 |    36420    26140     93 |  0.001 % |
743.16/743.41	c |    891103 |     380    17785    46622 |    36420    26396     93 |  0.001 % |
743.46/743.70	c |    891386 |     380    17785    46622 |    36420    26679     93 |  0.001 % |
743.86/744.19	c |    891696 |     380    17785    46622 |    36420    26989     93 |  0.001 % |
744.66/744.93	c |    892043 |     380    17785    46622 |    36420    27336     94 |  0.001 % |
745.36/745.60	c |    892415 |     380    17785    46622 |    36420    27708     94 |  0.001 % |
745.96/746.28	c |    892826 |     380    17785    46622 |    36420    28119     94 |  0.001 % |
746.57/746.80	c |    893275 |     380    17785    46622 |    36420    28568     94 |  0.001 % |
746.96/747.21	c |    893768 |     380    17785    46622 |    36420    29061     94 |  0.001 % |
747.96/748.28	c |    894311 |     380    17785    46622 |    36420    29604     94 |  0.001 % |
749.46/749.72	c |    894907 |     380    17785    46622 |    36420    30200     94 |  0.001 % |
750.86/751.17	c |    895567 |     380    17785    46622 |    36420    30860     95 |  0.001 % |
752.46/752.72	c |    896287 |     380    17785    46622 |    36420    31580     95 |  0.001 % |
753.96/754.27	c |    897081 |     380    17785    46622 |    36420    32374     95 |  0.001 % |
755.96/756.26	c |    897956 |     380    17785    46622 |    36420    33249     95 |  0.001 % |
757.06/757.39	c |    898914 |     380    17785    46622 |    36420    34207     95 |  0.001 % |
759.36/759.66	c |    899969 |     380    17785    46622 |    36420    35262     95 |  0.001 % |
761.46/761.76	c |    901133 |     380    17785    46622 |    35296    24673     94 |  0.001 % |
763.16/763.41	c |    902406 |     380    17785    46622 |    35296    25946     94 |  0.001 % |
764.66/764.94	c |    903806 |     380    17785    46622 |    35296    27346     94 |  0.001 % |
766.66/766.93	c |    905347 |     380    17785    46622 |    35296    28887     94 |  0.001 % |
768.36/768.64	c |    907042 |     380    17785    46622 |    35296    30582     94 |  0.001 % |
770.55/770.80	c |    908906 |     380    17785    46622 |    35296    32446     94 |  0.001 % |
772.35/772.68	c |    910956 |     380    17785    46622 |    33542    24913     93 |  0.001 % |
774.75/775.07	c |    913212 |     380    17785    46622 |    33542    27169     94 |  0.001 % |
776.95/777.24	c |    915693 |     380    17785    46622 |    33542    29650     94 |  0.001 % |
779.65/779.94	c |    918421 |     380    17785    46622 |    33542    32378     94 |  0.001 % |
783.65/783.92	c |    921418 |     380    17785    46622 |    24819    19412     90 |  0.001 % |
785.85/786.20	c |    924714 |     380    17785    46622 |    24819    22708     91 |  0.001 % |
788.85/789.15	c |    928339 |     380    17785    46622 |    24819    21210     91 |  0.001 % |
791.75/792.00	c |    932327 |     380    17785    46622 |    22871    20701     93 |  0.001 % |
794.25/794.56	c |    936715 |     380    17785    46622 |    22871    20814     92 |  0.001 % |
797.25/797.56	c |    941539 |     380    17785    46622 |    20295    18687     87 |  0.001 % |
799.84/800.17	c |    946844 |     380    17785    46622 |    20295    19260     82 |  0.001 % |
801.14/801.46	c |    952679 |     380    17785    46622 | 2147483647    23043     81 |  0.001 % |
806.24/806.56	c |    959097 |     380    17785    46622 | 2147483647    29461     84 |  0.001 % |
814.94/815.29	c |    966158 |     380    17785    46622 |    30367    29932     85 |  0.001 % |
821.04/821.37	c |    973924 |     380    17785    46622 |    25099    22105     86 |  0.001 % |
829.83/830.13	c |    982467 |     380    17785    46622 |    21109    17355     90 |  0.001 % |
829.93/830.22	c |    982569 |     380    17785    46622 |    21109    17457     90 |  0.001 % |
830.03/830.36	c |    982680 |     380    17785    46622 |    21109    17568     91 |  0.001 % |
830.14/830.47	c |    982801 |     380    17785    46622 |    21109    17689     91 |  0.001 % |
830.33/830.65	c |    982937 |     380    17785    46622 |    21109    17825     91 |  0.001 % |
830.53/830.85	c |    983086 |     380    17785    46622 |    21109    17974     91 |  0.001 % |
830.73/831.06	c |    983246 |     380    17785    46622 |    21109    18134     91 |  0.001 % |
830.93/831.29	c |    983422 |     380    17785    46622 |    21109    18310     91 |  0.001 % |
831.23/831.57	c |    983619 |     380    17785    46622 |    21109    18507     91 |  0.001 % |
831.43/831.78	c |    983834 |     380    17785    46622 |    21109    18722     91 |  0.001 % |
831.73/832.08	c |    984067 |     380    17785    46622 |    21109    18955     92 |  0.001 % |
832.13/832.45	c |    984323 |     380    17785    46622 |    21109    19211     92 |  0.001 % |
832.43/832.75	c |    984607 |     380    17785    46622 |    21109    19495     92 |  0.001 % |
832.73/833.09	c |    984916 |     380    17785    46622 |    21109    19804     92 |  0.001 % |
833.23/833.52	c |    985257 |     380    17785    46622 |    21109    20145     92 |  0.001 % |
833.53/833.85	c |    985631 |     380    17785    46622 |    21109    20519     92 |  0.001 % |
833.93/834.20	c |    986041 |     380    17785    46622 |    21109    20929     92 |  0.001 % |
834.33/834.65	c |    986491 |     380    17785    46622 |    21109    15595     96 |  0.001 % |
834.63/834.92	c |    986989 |     380    17785    46622 |    21109    16093     96 |  0.001 % |
834.83/835.16	c |    987534 |     380    17785    46622 |    21109    16638     96 |  0.001 % |
835.43/835.70	c |    988132 |     380    17785    46622 |    21109    17236     97 |  0.001 % |
835.93/836.25	c |    988788 |     380    17785    46622 |    21109    17892     97 |  0.001 % |
836.63/836.91	c |    989508 |     380    17785    46622 |    21109    18612     97 |  0.001 % |
837.53/837.80	c |    990300 |     380    17785    46622 |    19105    14499     97 |  0.001 % |
838.13/838.44	c |    991172 |     380    17785    46622 |    19105    15371     97 |  0.001 % |
838.93/839.30	c |    992130 |     380    17785    46622 |    19105    16329     97 |  0.001 % |
839.93/840.28	c |    993185 |     380    17785    46622 |    19105    17384     97 |  0.001 % |
840.33/840.66	c |    994346 |     380    17785    46622 |    19105    18545     97 |  0.001 % |
841.43/841.70	c |    995622 |     380    17785    46622 |    19105    15438     96 |  0.001 % |
842.43/842.79	c |    997023 |     380    17785    46622 |    19105    16839     96 |  0.001 % |
843.73/844.04	c |    998563 |     380    17785    46622 |    19105    18379     95 |  0.001 % |
844.63/844.94	c |   1000259 |     380    17785    46622 |    15518    12491     93 |  0.001 % |
845.12/845.45	c |   1002124 |     380    17785    46622 |    15518    14356     92 |  0.001 % |
846.13/846.45	c |   1004177 |     380    17785    46622 |    15518    14037     90 |  0.001 % |
847.22/847.58	c |   1006432 |     380    17785    46622 |    15518    14124     88 |  0.001 % |
848.83/849.10	c |   1008911 |     380    17785    46622 |    15518    14498     89 |  0.001 % |
850.12/850.44	c |   1011636 |     380    17785    46622 |    15587    15037     90 |  0.001 % |
851.82/852.12	c |   1014633 |     380    17785    46622 |    15587    13964     92 |  0.001 % |
853.02/853.36	c |   1017932 |     380    17785    46622 |    15587    15517     95 |  0.001 % |
854.33/854.63	c |   1021557 |     380    17785    46622 | 2147483647    15926     97 |  0.001 % |
856.72/857.03	c |   1025545 |     380    17785    46622 | 2147483647    19914    100 |  0.001 % |
860.12/860.42	c |   1029930 |     380    17785    46622 | 2147483647    24299    101 |  0.001 % |
864.32/864.64	c |   1034753 |     380    17785    46622 |    24370    20585    102 |  0.001 % |
868.02/868.35	c |   1040058 |     380    17785    46622 |    20675    20733    102 |  0.001 % |
872.32/872.64	c |   1045893 |     380    17785    46622 |    20675    18002    100 |  0.001 % |
875.52/875.87	c |   1052311 |     380    17785    46622 |    18106    17097    100 |  0.001 % |
878.32/878.61	c |   1059371 |     380    17785    46622 |    18106    18144     96 |  0.001 % |
880.82/881.14	c |   1067137 |     380    17785    46622 | 2147483647    24096     93 |  0.001 % |
884.71/885.05	c |   1075677 |     380    17785    46622 |    26960    25883     90 |  0.001 % |
889.31/889.61	c |   1085071 |     380    17785    46622 |    24368    24401     94 |  0.001 % |
889.41/889.79	c |   1085172 |     380    17785    46622 |    24368    21682     94 |  0.001 % |
889.62/889.95	c |   1085283 |     380    17785    46622 |    24368    21793     94 |  0.001 % |
889.71/890.09	c |   1085404 |     380    17785    46622 |    24368    21914     94 |  0.001 % |
889.91/890.28	c |   1085537 |     380    17785    46622 |    24368    22047     94 |  0.001 % |
890.21/890.50	c |   1085684 |     380    17785    46622 |    24368    22194     94 |  0.001 % |
890.31/890.65	c |   1085844 |     380    17785    46622 |    24368    22354     94 |  0.001 % |
890.61/890.91	c |   1086020 |     380    17785    46622 |    24368    22530     94 |  0.001 % |
890.81/891.16	c |   1086213 |     380    17785    46622 |    24368    22723     94 |  0.001 % |
891.11/891.48	c |   1086425 |     380    17785    46622 |    24368    22935     94 |  0.001 % |
891.51/891.80	c |   1086658 |     380    17785    46622 |    24368    23168     94 |  0.001 % |
891.81/892.14	c |   1086915 |     380    17785    46622 |    24368    23425     94 |  0.001 % |
892.21/892.52	c |   1087198 |     380    17785    46622 |    24368    23708     94 |  0.001 % |
892.51/892.85	c |   1087509 |     380    17785    46622 |    24368    24019     95 |  0.001 % |
892.92/893.24	c |   1087848 |     380    17785    46622 |    24368    24358     95 |  0.001 % |
893.42/893.76	c |   1088221 |     380    17785    46622 |    24368    20780     96 |  0.001 % |
893.92/894.24	c |   1088632 |     380    17785    46622 |    24368    21191     96 |  0.001 % |
894.42/894.76	c |   1089082 |     380    17785    46622 |    24368    21641     96 |  0.001 % |
895.02/895.33	c |   1089581 |     380    17785    46622 |    24368    22140     97 |  0.001 % |
895.72/896.06	c |   1090124 |     380    17785    46622 |    22559    22683     97 |  0.001 % |
896.32/896.62	c |   1090720 |     380    17785    46622 |    22559    19213     98 |  0.001 % |
896.62/896.96	c |   1091378 |     380    17785    46622 |    22559    19871     98 |  0.001 % |
897.72/898.00	c |   1092098 |     380    17785    46622 |    22559    20591     98 |  0.001 % |
898.61/898.98	c |   1092891 |     380    17785    46622 |    22559    21384     98 |  0.001 % |
899.81/900.20	c |   1093764 |     380    17785    46622 |    22559    22257     98 |  0.001 % |
901.11/901.46	c |   1094722 |     380    17785    46622 |    22559    18920     99 |  0.001 % |
901.91/902.27	c |   1095775 |     380    17785    46622 |    22559    19973    100 |  0.001 % |
903.21/903.54	c |   1096933 |     380    17785    46622 |    22559    21131    100 |  0.001 % |
905.02/905.32	c |   1098206 |     380    17785    46622 |    22559    22404    100 |  0.001 % |
906.61/906.90	c |   1099606 |     380    17785    46622 |    22559    19453     98 |  0.001 % |
907.71/908.07	c |   1101146 |     380    17785    46622 |    19850    17235     96 |  0.001 % |
909.01/909.38	c |   1102842 |     380    17785    46622 |    19850    18931     96 |  0.001 % |
910.21/910.54	c |   1104706 |     380    17785    46622 |    19850    17571     95 |  0.001 % |
911.01/911.35	c |   1106755 |     380    17785    46622 |    19850    19620     95 |  0.001 % |
911.81/912.19	c |   1109009 |     380    17785    46622 |    19850    18908     94 |  0.001 % |
913.72/914.02	c |   1111487 |     380    17785    46622 |    19901    18530     95 |  0.001 % |
916.41/916.78	c |   1114214 |     380    17785    46622 |    19901    17538     96 |  0.001 % |
919.51/919.83	c |   1117211 |     380    17785    46622 |    19901    16714     98 |  0.001 % |
922.51/922.86	c |   1120515 |     380    17785    46622 |    19506    16212    101 |  0.001 % |
924.81/925.17	c |   1124141 |     380    17785    46622 |    19506    16542    101 |  0.001 % |
926.81/927.12	c |   1128131 |     380    17785    46622 |    19506    17997    100 |  0.001 % |
929.91/930.29	c |   1132518 |     380    17785    46622 |    17323    15896     96 |  0.001 % |
932.91/933.20	c |   1137341 |     380    17785    46622 |    17323    17169     96 |  0.001 % |
934.11/934.49	c |   1142650 |     380    17785    46622 | 2147483647    18967     99 |  0.001 % |
939.20/939.58	c |   1148489 |     380    17785    46622 | 2147483647    24806    100 |  0.001 % |
943.51/943.87	c |   1154909 |     380    17785    46622 |    26318    22801     99 |  0.001 % |
953.60/953.94	c |   1161969 |     380    17785    46622 |    21229    17671     96 |  0.001 % |
958.60/958.93	c |   1169734 |     380    17785    46622 |    21229    20659     99 |  0.001 % |
963.80/964.12	c |   1178275 |     380    17785    46622 |    20932    17950     99 |  0.001 % |
969.70/970.00	c |   1187670 |     380    17785    46622 |    19677    18319     93 |  0.001 % |
974.49/974.81	c |   1198004 |     380    17785    46622 |    18300    17027     93 |  0.001 % |
974.49/974.88	c |   1198105 |     380    17785    46622 |    18300    17128     93 |  0.001 % |
974.59/974.95	c |   1198217 |     380    17785    46622 |    18300    17240     93 |  0.001 % |
974.69/975.04	c |   1198338 |     380    17785    46622 |    18300    17361     93 |  0.001 % |
974.79/975.16	c |   1198473 |     380    17785    46622 |    18300    17496     93 |  0.001 % |
974.99/975.33	c |   1198620 |     380    17785    46622 |    18300    17643     93 |  0.001 % |
975.09/975.44	c |   1198781 |     380    17785    46622 |    18300    17804     94 |  0.001 % |
975.19/975.59	c |   1198957 |     380    17785    46622 |    18300    17980     94 |  0.001 % |
975.40/975.74	c |   1199152 |     380    17785    46622 |    18300    18175     94 |  0.001 % |
975.59/975.93	c |   1199366 |     380    17785    46622 |    18300    18389     94 |  0.001 % |
975.79/976.14	c |   1199601 |     380    17785    46622 |    18300    16786     94 |  0.001 % |
975.99/976.36	c |   1199857 |     380    17785    46622 |    18300    17042     95 |  0.001 % |
976.29/976.62	c |   1200138 |     380    17785    46622 | 2147483647    17323     95 |  0.001 % |
976.69/977.02	c |   1200448 |     380    17785    46622 | 2147483647    17633     95 |  0.001 % |
976.99/977.35	c |   1200787 |     380    17785    46622 | 2147483647    17972     95 |  0.001 % |
977.29/977.60	c |   1201159 |     380    17785    46622 | 2147483647    18344     95 |  0.001 % |
977.59/977.98	c |   1201568 |     380    17785    46622 | 2147483647    18753     96 |  0.001 % |
978.09/978.48	c |   1202018 |     380    17785    46622 | 2147483647    19203     96 |  0.001 % |
978.69/979.04	c |   1202513 |     380    17785    46622 | 2147483647    19698     96 |  0.001 % |
978.99/979.30	c |   1203056 |     380    17785    46622 | 2147483647    20241     96 |  0.001 % |
979.49/979.80	c |   1203654 |     380    17785    46622 | 2147483647    20839     96 |  0.001 % |
979.99/980.33	c |   1204310 |     380    17785    46622 | 2147483647    21495     97 |  0.001 % |
980.79/981.14	c |   1205030 |     380    17785    46622 | 2147483647    22215     97 |  0.001 % |
981.69/982.09	c |   1205822 |     380    17785    46622 | 2147483647    23007     97 |  0.001 % |
982.59/982.96	c |   1206693 |     380    17785    46622 | 2147483647    23878     97 |  0.001 % |
983.59/983.90	c |   1207651 |     380    17785    46622 | 2147483647    24836     97 |  0.001 % |
984.59/984.97	c |   1208704 |     380    17785    46622 | 2147483647    25889     98 |  0.001 % |
985.79/986.15	c |   1209862 |     380    17785    46622 | 2147483647    27047     98 |  0.001 % |
987.19/987.58	c |   1211135 |     380    17785    46622 |    27185    22379     97 |  0.001 % |
988.89/989.25	c |   1212537 |     380    17785    46622 |    27185    23781     97 |  0.001 % |
990.48/990.86	c |   1214078 |     380    17785    46622 |    27185    25322     96 |  0.001 % |
992.48/992.81	c |   1215772 |     380    17785    46622 |    27185    27016     96 |  0.001 % |
993.99/994.30	c |   1217640 |     380    17785    46622 |    27185    22237     94 |  0.001 % |
994.88/995.21	c |   1219689 |     380    17785    46622 |    27185    24286     93 |  0.001 % |
996.08/996.43	c |   1221943 |     380    17785    46622 |    24597    21049     90 |  0.001 % |
997.08/997.42	c |   1224421 |     380    17785    46622 |    24597    23527     91 |  0.001 % |
998.58/998.90	c |   1227148 |     380    17785    46622 |    24597    22245     90 |  0.001 % |
1004.38/1004.70	c |   1230147 |     380    17785    46622 |    18889    19036     91 |  0.001 % |
1005.98/1006.36	c |   1233443 |     380    17785    46622 |    18889    17604     91 |  0.001 % |
1007.68/1008.03	c |   1237070 |     380    17785    46622 |    18889    17465     94 |  0.001 % |
1009.78/1010.12	c |   1241060 |     380    17785    46622 |    17384    15842     95 |  0.001 % |
1012.58/1012.93	c |   1245445 |     380    17785    46622 |    17384    16083     97 |  0.001 % |
1014.78/1015.16	c |   1250268 |     380    17785    46622 | 2147483647    17142     99 |  0.001 % |
1018.87/1019.24	c |   1255574 |     380    17785    46622 | 2147483647    22448    100 |  0.001 % |
1025.17/1025.58	c |   1261410 |     380    17785    46622 |    26874    22606     97 |  0.001 % |
1031.17/1031.57	c |   1267828 |     380    17785    46622 |    26874    22896     92 |  0.001 % |
1034.47/1034.84	c |   1274890 |     380    17785    46622 |    25068    24811     90 |  0.001 % |
1040.87/1041.26	c |   1282655 |     380    17785    46622 |    21646    19880     89 |  0.001 % |
1048.06/1048.41	c |   1291195 |     380    17785    46622 |    17582    15292     91 |  0.001 % |
1053.37/1053.79	c |   1300593 |     380    17785    46622 |    16184    15141     93 |  0.001 % |
1056.06/1056.46	c |   1310927 |     380    17785    46622 | 2147483647    17264     83 |  0.001 % |
1059.56/1059.91	c |   1322294 |     380    17785    46622 | 2147483647    28631     81 |  0.001 % |
1059.56/1059.96	c |   1322395 |     380    17785    46622 | 2147483647    28732     81 |  0.001 % |
1059.66/1060.02	c |   1322509 |     380    17785    46622 | 2147483647    28846     81 |  0.001 % |
1059.66/1060.08	c |   1322634 |     380    17785    46622 | 2147483647    28971     81 |  0.001 % |
1059.76/1060.15	c |   1322775 |     380    17785    46622 | 2147483647    29112     81 |  0.001 % |
1059.86/1060.21	c |   1322922 |     380    17785    46622 | 2147483647    29259     81 |  0.001 % |
1059.86/1060.29	c |   1323084 |     380    17785    46622 | 2147483647    29421     81 |  0.001 % |
1059.97/1060.37	c |   1323261 |     380    17785    46622 | 2147483647    29598     81 |  0.001 % |
1060.07/1060.46	c |   1323455 |     380    17785    46622 | 2147483647    29792     81 |  0.001 % |
1060.16/1060.53	c |   1323669 |     380    17785    46622 | 2147483647    30006     81 |  0.001 % |
1060.26/1060.63	c |   1323904 |     380    17785    46622 | 2147483647    30241     81 |  0.001 % |
1060.36/1060.77	c |   1324163 |     380    17785    46622 | 2147483647    30500     81 |  0.001 % |
1060.46/1060.90	c |   1324446 |     380    17785    46622 | 2147483647    30783     81 |  0.001 % |
1060.66/1061.07	c |   1324755 |     380    17785    46622 | 2147483647    31092     81 |  0.001 % |
1060.86/1061.25	c |   1325099 |     380    17785    46622 | 2147483647    31436     80 |  0.001 % |
1061.06/1061.47	c |   1325477 |     380    17785    46622 | 2147483647    31814     80 |  0.001 % |
1061.26/1061.68	c |   1325887 |     380    17785    46622 | 2147483647    32224     80 |  0.001 % |
1061.56/1061.90	c |   1326336 |     380    17785    46622 | 2147483647    32673     80 |  0.001 % |
1061.96/1062.31	c |   1326831 |     380    17785    46622 | 2147483647    33168     80 |  0.001 % |
1062.66/1063.09	c |   1327373 |     380    17785    46622 | 2147483647    33710     81 |  0.001 % |
1062.86/1063.21	c |   1327973 |     380    17785    46622 | 2147483647    34310     81 |  0.001 % |
1063.26/1063.70	c |   1328628 |     380    17785    46622 | 2147483647    34965     81 |  0.001 % |
1063.76/1064.15	c |   1329348 |     380    17785    46622 | 2147483647    35685     82 |  0.001 % |
1063.96/1064.40	c |   1330142 |     380    17785    46622 |    36338    36479     82 |  0.001 % |
1064.96/1065.34	c |   1331013 |     380    17785    46622 |    36338    31987     81 |  0.001 % |
1067.96/1068.36	c |   1331973 |     380    17785    46622 |    36338    32947     81 |  0.001 % |
1071.76/1072.18	c |   1333026 |     380    17785    46622 |    36338    34000     82 |  0.001 % |
1076.86/1077.20	c |   1334186 |     380    17785    46622 |    36338    35160     83 |  0.001 % |
1082.25/1082.64	c |   1335459 |     380    17785    46622 |    36338    36433     84 |  0.001 % |
1085.45/1085.81	c |   1336859 |     380    17785    46622 |    36338    23082     87 |  0.001 % |
1087.25/1087.60	c |   1338401 |     380    17785    46622 |    36338    24624     88 |  0.001 % |
1090.65/1091.02	c |   1340095 |     380    17785    46622 |    26224    26318     89 |  0.001 % |
1092.35/1092.79	c |   1341961 |     380    17785    46622 |    26224    17891     99 |  0.001 % |
1094.15/1094.52	c |   1344011 |     380    17785    46622 |    26224    19941    100 |  0.001 % |
1096.25/1096.62	c |   1346264 |     380    17785    46622 |    26224    22194    100 |  0.001 % |
1099.15/1099.59	c |   1348743 |     380    17785    46622 |    26224    24673    100 |  0.001 % |
1101.95/1102.39	c |   1351472 |     380    17785    46622 |    25930    19701    100 |  0.001 % |
1103.95/1104.35	c |   1354470 |     380    17785    46622 |    25930    22699     99 |  0.001 % |
1105.75/1106.14	c |   1357767 |     380    17785    46622 |    25930    25996     99 |  0.001 % |
1107.45/1107.89	c |   1361392 |     380    17785    46622 |    22717    19792     92 |  0.001 % |
1108.75/1109.17	c |   1365380 |     380    17785    46622 |    22717    21484     93 |  0.001 % |
1116.54/1116.99	c |   1369767 |     380    17785    46622 |    22717    21601     91 |  0.001 % |
1123.75/1124.14	c |   1374591 |     380    17785    46622 |    21834    20866     92 |  0.001 % |
1127.94/1128.35	c |   1379897 |     380    17785    46622 |    21834    19527     94 |  0.001 % |
1130.54/1130.98	c |   1385732 |     380    17785    46622 |    19630    16682     90 |  0.001 % |
1133.34/1133.70	c |   1392151 |     380    17785    46622 |    18025    17655     89 |  0.001 % |
1137.54/1137.98	c |   1399210 |     380    17785    46622 |    18025    17686     91 |  0.001 % |
1141.14/1141.54	c |   1406974 |     380    17785    46622 |    16353    16132     83 |  0.001 % |
1143.64/1144.02	c |   1415515 |     380    17785    46622 | 2147483647    21380     81 |  0.001 % |
1146.84/1147.26	c |   1424910 |     380    17785    46622 | 2147483647    30775     83 |  0.001 % |
1155.43/1155.89	c |   1435244 |     380    17785    46622 |    35866    33018     84 |  0.001 % |
1169.43/1169.88	c |   1446611 |     380    17785    46622 |    27531    26136     89 |  0.001 % |
1178.23/1178.69	c |   1459114 |     380    17785    46622 |    21094    19655     96 |  0.001 % |
1178.43/1178.83	c |   1459216 |     380    17785    46622 |    21094    19757     96 |  0.001 % |
1178.63/1179.00	c |   1459326 |     380    17785    46622 |    21094    19867     96 |  0.001 % |
1178.73/1179.17	c |   1459449 |     380    17785    46622 |    21094    19990     96 |  0.001 % |
1178.93/1179.35	c |   1459583 |     380    17785    46622 |    21094    20124     96 |  0.001 % |
1179.13/1179.53	c |   1459731 |     380    17785    46622 |    21094    20272     96 |  0.001 % |
1179.23/1179.64	c |   1459893 |     380    17785    46622 |    21094    20434     96 |  0.001 % |
1179.43/1179.80	c |   1460070 |     380    17785    46622 |    20541    20611     96 |  0.001 % |
1179.63/1180.02	c |   1460263 |     380    17785    46622 |    20541    16879     97 |  0.001 % |
1179.83/1180.23	c |   1460476 |     380    17785    46622 |    20541    17092     97 |  0.001 % |
1180.13/1180.51	c |   1460709 |     380    17785    46622 |    20541    17325     97 |  0.001 % |
1180.43/1180.86	c |   1460965 |     380    17785    46622 |    20541    17581     97 |  0.001 % |
1180.82/1181.25	c |   1461246 |     380    17785    46622 |    20541    17862     97 |  0.001 % |
1181.12/1181.57	c |   1461557 |     380    17785    46622 |    20541    18173     97 |  0.001 % |
1181.42/1181.89	c |   1461897 |     380    17785    46622 |    20541    18513     98 |  0.001 % |
1181.72/1182.12	c |   1462269 |     380    17785    46622 |    20541    18885     98 |  0.001 % |
1182.03/1182.44	c |   1462679 |     380    17785    46622 |    20541    19295     98 |  0.001 % |
1182.42/1182.87	c |   1463131 |     380    17785    46622 |    20541    19747     98 |  0.001 % |
1182.92/1183.34	c |   1463626 |     380    17785    46622 |    20541    20242     98 |  0.001 % |
1183.42/1183.88	c |   1464168 |     380    17785    46622 |    20541    16919     95 |  0.001 % |
1183.82/1184.25	c |   1464765 |     380    17785    46622 |    20541    17516     95 |  0.001 % |
1184.23/1184.64	c |   1465420 |     380    17785    46622 |    20541    18171     96 |  0.001 % |
1184.82/1185.21	c |   1466140 |     380    17785    46622 |    20541    18891     96 |  0.001 % |
1185.22/1185.63	c |   1466932 |     380    17785    46622 |    20541    19683     97 |  0.001 % |
1185.82/1186.26	c |   1467803 |     380    17785    46622 |    20541    20554     97 |  0.001 % |
1186.62/1187.02	c |   1468762 |     380    17785    46622 |    20541    18099     97 |  0.001 % |
1186.92/1187.33	c |   1469817 |     380    17785    46622 |    20541    19154     97 |  0.001 % |
1187.52/1187.93	c |   1470977 |     380    17785    46622 |    19339    17218     94 |  0.001 % |
1188.02/1188.43	c |   1472251 |     380    17785    46622 |    19339    18492     95 |  0.001 % |
1189.02/1189.49	c |   1473654 |     380    17785    46622 |    19339    17449     95 |  0.001 % |
1190.42/1190.86	c |   1475195 |     380    17785    46622 |    19339    18990     96 |  0.001 % |
1191.32/1191.71	c |   1476891 |     380    17785    46622 |    19339    18097     97 |  0.001 % |
1192.92/1193.34	c |   1478756 |     380    17785    46622 |    19339    17395     98 |  0.001 % |
1194.12/1194.56	c |   1480805 |     380    17785    46622 |    18639    17033     97 |  0.001 % |
1195.22/1195.69	c |   1483064 |     380    17785    46622 |    18639    17403     95 |  0.001 % |
1197.02/1197.45	c |   1485545 |     380    17785    46622 |    18639    17991     96 |  0.001 % |
1198.81/1199.25	c |   1488270 |     380    17785    46622 |    18639    18656     95 |  0.001 % |
1200.02/1200.41	HOME/SatELiteGTI: line 36: 13551 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-1834271-1242829314/watcher-1834271-1242829314 -o /tmp/evaluation-result-1834271-1242829314/solver-1834271-1242829314 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834271-1242829314.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 3/64 13545
/proc/meminfo: memFree=1923784/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0
/proc/13545/stat : 13545 (SatELiteGTI) R 13543 13545 13258 0 -1 4194304 301 249 0 0 0 0 0 0 19 0 1 0 310958335 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251254965131 0 0 4100 65536 0 0 0 17 0 0 0
/proc/13545/statm: 1339 237 197 169 0 50 0

[startup+0.0615291 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13545
/proc/meminfo: memFree=1923784/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.101528 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13545
/proc/meminfo: memFree=1923784/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301546 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13545
/proc/meminfo: memFree=1923784/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701589 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13545
/proc/meminfo: memFree=1923784/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50167 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1919352/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=5552 CPUtime=1.44
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 1090 0 0 0 144 0 0 0 25 0 1 0 310958340 5685248 1076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 1388 1076 77 171 0 1215 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10908

[startup+3.10184 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1918776/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=6744 CPUtime=3.04
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 1400 0 0 0 303 1 0 0 25 0 1 0 310958340 6905856 1386 1992294400 134512640 135215339 4294956240 18446744073709551615 134532737 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 1686 1386 77 171 0 1513 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12100

[startup+6.30119 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1915960/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=9272 CPUtime=6.24
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 2007 0 0 0 623 1 0 0 25 0 1 0 310958340 9494528 1993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 2318 1993 77 171 0 2145 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14628

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1912832/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=11872 CPUtime=12.64
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 2642 0 0 0 1262 2 0 0 25 0 1 0 310958340 12156928 2628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 2968 2628 77 171 0 2795 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17228

[startup+25.5023 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1909568/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=15048 CPUtime=25.44
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 3443 0 0 0 2540 4 0 0 25 0 1 0 310958340 15409152 3429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 3762 3429 77 171 0 3589 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 20404

[startup+51.1021 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1908480/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=16092 CPUtime=51.03
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 3687 0 0 0 5098 5 0 0 25 0 1 0 310958340 16478208 3673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 4023 3673 77 171 0 3850 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 21448

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1907648/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=16804 CPUtime=102.22
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 3846 0 0 0 10217 5 0 0 25 0 1 0 310958340 17207296 3832 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 4201 3832 77 171 0 4028 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22160

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1907200/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=17264 CPUtime=162.19
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 3943 0 0 0 16214 5 0 0 25 0 1 0 310958340 17678336 3929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 4316 3929 77 171 0 4143 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 22620

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1905728/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=18568 CPUtime=222.18
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 4272 0 0 0 22212 6 0 0 25 0 1 0 310958340 19013632 4258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 4642 4258 77 171 0 4469 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 23924

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1904832/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=19608 CPUtime=282.15
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 4484 0 0 0 28209 6 0 0 25 0 1 0 310958340 20078592 4470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 4902 4470 77 171 0 4729 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 24964

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1904576/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=19752 CPUtime=342.14
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 4513 0 0 0 34208 6 0 0 25 0 1 0 310958340 20226048 4499 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 4938 4499 77 171 0 4765 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 25108

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1902912/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=21424 CPUtime=402.12
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 4897 0 0 0 40205 7 0 0 25 0 1 0 310958340 21938176 4883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 5356 4883 77 171 0 5183 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 26780

[startup+462.302 s]

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

[pid=13551] ppid=13545 vsize=22636 CPUtime=462.11
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 5160 0 0 0 46204 7 0 0 25 0 1 0 310958340 23179264 5146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 5659 5146 77 171 0 5486 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 27992

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1901312/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=22944 CPUtime=522.09
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 5240 0 0 0 52202 7 0 0 25 0 1 0 310958340 23494656 5226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 5736 5226 77 171 0 5563 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 28300

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1901056/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=23108 CPUtime=582.07
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 5279 0 0 0 58200 7 0 0 25 0 1 0 310958340 23662592 5265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 5777 5265 77 171 0 5604 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 28464

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1897728/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=26444 CPUtime=642.07
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6082 0 0 0 64199 8 0 0 25 0 1 0 310958340 27078656 6068 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 6611 6068 77 171 0 6438 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 31800

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1897408/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=26620 CPUtime=702.05
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6126 0 0 0 70197 8 0 0 25 0 1 0 310958340 27258880 6112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 6655 6112 77 171 0 6482 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 31976

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1896128/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=27864 CPUtime=762.03
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6425 0 0 0 76195 8 0 0 25 0 1 0 310958340 28532736 6411 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 6966 6411 77 171 0 6793 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 33220

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1895744/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=28184 CPUtime=822.01
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6507 0 0 0 82193 8 0 0 25 0 1 0 310958340 28860416 6493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7046 6493 77 171 0 6873 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 33540

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1895488/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=28184 CPUtime=881.98
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6509 0 0 0 88190 8 0 0 25 0 1 0 310958340 28860416 6495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7046 6495 77 171 0 6873 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 33540

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1895360/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=28184 CPUtime=941.97
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6509 0 0 0 94188 9 0 0 25 0 1 0 310958340 28860416 6495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7046 6495 77 171 0 6873 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 33540

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1895232/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=28184 CPUtime=1001.95
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6516 0 0 0 100186 9 0 0 25 0 1 0 310958340 28860416 6502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7046 6502 77 171 0 6873 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 33540

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1895232/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=28400 CPUtime=1061.93
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6571 0 0 0 106184 9 0 0 25 0 1 0 310958340 29081600 6557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7100 6557 77 171 0 6927 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 33756

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1894272/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=29204 CPUtime=1121.91
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6762 0 0 0 112182 9 0 0 25 0 1 0 310958340 29904896 6748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7301 6748 77 171 0 7128 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 34560

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1893696/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=29628 CPUtime=1181.89
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6891 0 0 0 118180 9 0 0 25 0 1 0 310958340 30339072 6877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7407 6877 77 171 0 7234 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 34984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13551
/proc/meminfo: memFree=1893632/2055920 swapFree=4178264/4192956
[pid=13545] ppid=13543 vsize=5356 CPUtime=0.03
/proc/13545/stat : 13545 (SatELiteGTI) S 13543 13545 13258 0 -1 4194304 336 712 0 0 0 0 3 0 17 0 1 0 310958335 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13545/statm: 1339 239 197 169 0 50 0
[pid=13551] ppid=13545 vsize=29628 CPUtime=1199.99
/proc/13551/stat : 13551 (minisat_static) R 13545 13545 13258 0 -1 4194304 6891 0 0 0 119990 9 0 0 25 0 1 0 310958340 30339072 6877 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/13551/statm: 7407 6877 77 171 0 7234 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 34984

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.94
CPU system time (s): 0.106983
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 34984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7948
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= 23
involuntary context switches= 1744

runsolver used 1.2868 second user time and 3.18352 second system time

The end

Launcher Data

Begin job on node64 at 2009-05-20 16:21:54
IDJOB=1834271
IDBENCH=71802
IDSOLVER=671
FILE ID=node64/1834271-1242829314
PBS_JOBID= 9322553
Free space on /tmp= 66312 MiB

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

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

MD5SUM BENCH= 3286758d58a4fc3caa90b96d61beac86
RANDOM SEED=537643598

node64.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.218
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.218
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:       1924328 kB
Buffers:         18716 kB
Cached:          75472 kB
SwapCached:       8084 kB
Active:          44576 kB
Inactive:        59108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1924328 kB
SwapTotal:     4192956 kB
SwapFree:      4178264 kB
Dirty:            1784 kB
Writeback:           0 kB
Mapped:          14684 kB
Slab:            13704 kB
Committed_AS:   915796 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66308 MiB
End job on node64 at 2009-05-20 16:41:57