Trace number 1833563

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18SAT 238.524 238.754

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
MD5SUM7978035feeedb8c4f26fadad2c608014
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of clauses1530
Sum of the clauses size4590
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31530
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    1530     4590 |     458       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    1522     4615 |      --       0       --      -- |     --   | -8/25
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 352   #clauses: 1522   #literals: 4615
0.00/0.01	c CPU time:   0.003999 s
0.00/0.01	c ==============================================================================
0.00/0.01	c This is MiniSat 2.0 beta
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Number of variables:  352                                                  |
0.00/0.01	c |  Number of clauses:    1522                                                 |
0.00/0.01	c |  Parsing time:         0.00         s                                       |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     352     1522     4615 |      507        0    nan |  0.000 % |
0.00/0.01	c |       101 |     352     1522     4615 |      507      101     16 |  0.001 % |
0.00/0.02	c |       201 |     352     1522     4615 |      507      201     17 |  0.001 % |
0.00/0.02	c |       301 |     352     1522     4615 |      507      301     18 |  0.001 % |
0.00/0.02	c |       411 |     352     1522     4615 |      507      411     18 |  0.001 % |
0.00/0.03	c |       511 |     352     1522     4615 |      507      511     18 |  0.001 % |
0.00/0.03	c |       624 |     352     1522     4615 |      507      521     17 |  0.001 % |
0.00/0.03	c |       745 |     352     1522     4615 |      507      538     17 |  0.001 % |
0.00/0.04	c |       846 |     352     1522     4615 |      507      534     16 |  0.001 % |
0.00/0.04	c |       956 |     352     1522     4615 |      507      539     17 |  0.001 % |
0.00/0.04	c |      1079 |     352     1522     4615 |      507      505     16 |  0.001 % |
0.00/0.05	c |      1212 |     352     1522     4615 |      507      531     16 |  0.001 % |
0.00/0.05	c |      1312 |     352     1522     4615 |      507      525     16 |  0.001 % |
0.00/0.05	c |      1422 |     352     1522     4615 |      507      530     15 |  0.001 % |
0.00/0.06	c |      1544 |     352     1522     4615 |      507      547     15 |  0.001 % |
0.00/0.06	c |      1678 |     352     1522     4615 |      507      522     15 |  0.001 % |
0.00/0.07	c |      1827 |     352     1522     4615 |      507      515     16 |  0.001 % |
0.00/0.07	c |      1927 |     352     1522     4615 |      507      509     16 |  0.001 % |
0.00/0.07	c |      2037 |     352     1522     4615 |      507      515     16 |  0.001 % |
0.00/0.08	c |      2158 |     352     1522     4615 |      507      531     16 |  0.001 % |
0.00/0.08	c |      2291 |     352     1522     4615 |      507      505     16 |  0.001 % |
0.00/0.08	c |      2437 |     352     1522     4615 |      507      499     15 |  0.001 % |
0.00/0.09	c |      2600 |     352     1522     4615 |      507      509     14 |  0.001 % |
0.00/0.09	c |      2700 |     352     1522     4615 |      507      507     14 |  0.001 % |
0.00/0.09	c |      2810 |     352     1522     4615 |      507      516     14 |  0.001 % |
0.00/0.10	c |      2932 |     352     1522     4615 |      507      531     15 |  0.001 % |
0.00/0.10	c |      3066 |     352     1522     4615 |      507      559     15 |  0.001 % |
0.00/0.11	c |      3212 |     352     1522     4615 |      507      544     15 |  0.001 % |
0.00/0.11	c |      3375 |     352     1522     4615 |      507      549     15 |  0.001 % |
0.00/0.12	c |      3551 |     352     1522     4615 |      507      512     16 |  0.001 % |
0.00/0.12	c |      3652 |     352     1522     4615 |      507      510     15 |  0.001 % |
0.00/0.12	c |      3763 |     352     1522     4615 |      507      519     15 |  0.001 % |
0.00/0.13	c |      3884 |     352     1522     4615 |      507      536     15 |  0.001 % |
0.00/0.13	c |      4019 |     352     1522     4615 |      507      515     14 |  0.001 % |
0.00/0.13	c |      4166 |     352     1522     4615 |      507      508     14 |  0.001 % |
0.00/0.14	c |      4326 |     352     1522     4615 |      507      514     14 |  0.001 % |
0.00/0.14	c |      4503 |     352     1522     4615 |      507      535     15 |  0.001 % |
0.00/0.15	c |      4696 |     352     1522     4615 |      507      520     15 |  0.001 % |
0.00/0.15	c |      4796 |     352     1522     4615 |      507      514     14 |  0.001 % |
0.00/0.16	c |      4906 |     352     1522     4615 |      507      520     14 |  0.001 % |
0.00/0.16	c |      5028 |     352     1522     4615 |      507      535     15 |  0.001 % |
0.00/0.16	c |      5161 |     352     1522     4615 |      507      510     14 |  0.001 % |
0.00/0.17	c |      5308 |     352     1522     4615 |      507      501     14 |  0.001 % |
0.00/0.17	c |      5469 |     352     1522     4615 |      507      557     14 |  0.001 % |
0.00/0.18	c |      5646 |     352     1522     4615 |      507      523     14 |  0.001 % |
0.00/0.18	c |      5841 |     352     1522     4615 |      507      510     13 |  0.001 % |
0.00/0.19	c |      6054 |     352     1522     4615 |      507      518     14 |  0.001 % |
0.00/0.19	c |      6155 |     352     1522     4615 |      507      516     13 |  0.001 % |
0.00/0.20	c |      6265 |     352     1522     4615 |      507      522     14 |  0.001 % |
0.00/0.20	c |      6386 |     352     1522     4615 |      507      538     14 |  0.001 % |
0.00/0.20	c |      6520 |     352     1522     4615 |      507      513     14 |  0.001 % |
0.00/0.21	c |      6668 |     352     1522     4615 |      507      556     15 |  0.001 % |
0.00/0.21	c |      6830 |     352     1522     4615 |      507      507     15 |  0.001 % |
0.00/0.22	c |      7007 |     352     1522     4615 |      507      530     15 |  0.001 % |
0.00/0.23	c |      7201 |     352     1522     4615 |      507      516     14 |  0.001 % |
0.00/0.23	c |      7414 |     352     1522     4615 |      507      524     14 |  0.001 % |
0.00/0.24	c |      7647 |     352     1522     4615 |      507      504     14 |  0.001 % |
0.00/0.24	c |      7747 |     352     1522     4615 |      507      501     14 |  0.001 % |
0.00/0.25	c |      7859 |     352     1522     4615 |      507      506     14 |  0.001 % |
0.00/0.25	c |      7980 |     352     1522     4615 |      507      520     15 |  0.001 % |
0.00/0.25	c |      8113 |     352     1522     4615 |      507      496     14 |  0.001 % |
0.00/0.26	c |      8260 |     352     1522     4615 |      507      537     14 |  0.001 % |
0.00/0.26	c |      8420 |     352     1522     4615 |      507      541     14 |  0.001 % |
0.00/0.27	c |      8599 |     352     1522     4615 |      507      510     13 |  0.001 % |
0.00/0.27	c |      8792 |     352     1522     4615 |      507      496     14 |  0.001 % |
0.00/0.28	c |      9005 |     352     1522     4615 |      507      498     14 |  0.001 % |
0.00/0.29	c |      9239 |     352     1522     4615 |      507      523     14 |  0.001 % |
0.00/0.29	c |      9496 |     352     1522     4615 |      507      524     13 |  0.001 % |
0.00/0.30	c |      9596 |     352     1522     4615 |      507      518     13 |  0.001 % |
0.00/0.30	c |      9708 |     352     1522     4615 |      507      525     13 |  0.001 % |
0.00/0.30	c |      9829 |     352     1522     4615 |      507      540     13 |  0.001 % |
0.00/0.31	c |      9962 |     352     1522     4615 |      507      516     13 |  0.001 % |
0.00/0.31	c |     10108 |     352     1522     4615 | 2147483647      611     14 |  0.001 % |
0.00/0.32	c |     10270 |     352     1522     4615 | 2147483647      773     15 |  0.001 % |
0.00/0.32	c |     10446 |     352     1522     4615 | 2147483647      949     15 |  0.001 % |
0.00/0.33	c |     10639 |     352     1522     4615 | 2147483647     1142     15 |  0.001 % |
0.00/0.34	c |     10851 |     352     1522     4615 | 2147483647     1354     16 |  0.001 % |
0.00/0.35	c |     11084 |     352     1522     4615 | 2147483647     1587     16 |  0.001 % |
0.00/0.35	c |     11341 |     352     1522     4615 | 2147483647     1844     16 |  0.001 % |
0.00/0.36	c |     11622 |     352     1522     4615 | 2147483647     2125     17 |  0.001 % |
0.00/0.37	c |     11722 |     352     1522     4615 | 2147483647     2225     17 |  0.001 % |
0.00/0.37	c |     11833 |     352     1522     4615 | 2147483647     2336     17 |  0.001 % |
0.00/0.38	c |     11954 |     352     1522     4615 | 2147483647     2457     17 |  0.001 % |
0.00/0.38	c |     12087 |     352     1522     4615 | 2147483647     2590     17 |  0.001 % |
0.00/0.39	c |     12234 |     352     1522     4615 | 2147483647     2737     17 |  0.001 % |
0.00/0.40	c |     12394 |     352     1522     4615 | 2147483647     2897     17 |  0.001 % |
0.00/0.40	c |     12570 |     352     1522     4615 | 2147483647     3073     17 |  0.001 % |
0.00/0.41	c |     12763 |     352     1522     4615 | 2147483647     3266     17 |  0.001 % |
0.00/0.42	c |     12975 |     352     1522     4615 | 2147483647     3478     17 |  0.001 % |
0.00/0.43	c |     13208 |     352     1522     4615 | 2147483647     3711     17 |  0.001 % |
0.00/0.45	c |     13464 |     352     1522     4615 | 2147483647     3967     17 |  0.001 % |
0.00/0.46	c |     13746 |     352     1522     4615 | 2147483647     4249     17 |  0.001 % |
0.00/0.48	c |     14057 |     352     1522     4615 | 2147483647     4560     17 |  0.001 % |
0.00/0.48	c |     14158 |     352     1522     4615 | 2147483647     4661     17 |  0.001 % |
0.00/0.49	c |     14270 |     352     1522     4615 | 2147483647     4773     17 |  0.001 % |
0.00/0.49	c |     14391 |     352     1522     4615 | 2147483647     4894     17 |  0.001 % |
0.00/0.50	c |     14525 |     352     1522     4615 | 2147483647     5028     17 |  0.001 % |
0.00/0.51	c |     14671 |     352     1522     4615 | 2147483647     5174     17 |  0.001 % |
0.00/0.52	c |     14831 |     352     1522     4615 | 2147483647     5334     17 |  0.001 % |
0.00/0.53	c |     15008 |     352     1522     4615 | 2147483647     5511     17 |  0.001 % |
0.00/0.54	c |     15201 |     352     1522     4615 | 2147483647     5704     17 |  0.001 % |
0.00/0.55	c |     15414 |     352     1522     4615 | 2147483647     5917     18 |  0.001 % |
0.00/0.57	c |     15648 |     352     1522     4615 | 2147483647     6151     18 |  0.001 % |
0.00/0.58	c |     15906 |     352     1522     4615 | 2147483647     6409     18 |  0.001 % |
0.00/0.60	c |     16190 |     352     1522     4615 | 2147483647     6693     18 |  0.001 % |
0.00/0.62	c |     16502 |     352     1522     4615 | 2147483647     7005     18 |  0.001 % |
0.00/0.64	c |     16842 |     352     1522     4615 | 2147483647     7345     18 |  0.001 % |
0.00/0.65	c |     16942 |     352     1522     4615 | 2147483647     7445     18 |  0.001 % |
0.00/0.66	c |     17052 |     352     1522     4615 | 2147483647     7555     18 |  0.001 % |
0.00/0.67	c |     17174 |     352     1522     4615 | 2147483647     7677     18 |  0.001 % |
0.00/0.68	c |     17307 |     352     1522     4615 | 2147483647     7810     18 |  0.001 % |
0.00/0.69	c |     17455 |     352     1522     4615 | 2147483647     7958     18 |  0.001 % |
0.00/0.70	c |     17615 |     352     1522     4615 | 2147483647     8118     18 |  0.001 % |
0.00/0.72	c |     17791 |     352     1522     4615 | 2147483647     8294     18 |  0.001 % |
0.00/0.73	c |     17984 |     352     1522     4615 | 2147483647     8487     18 |  0.001 % |
0.00/0.75	c |     18196 |     352     1522     4615 | 2147483647     8699     18 |  0.001 % |
0.00/0.77	c |     18431 |     352     1522     4615 | 2147483647     8934     18 |  0.001 % |
0.00/0.79	c |     18687 |     352     1522     4615 | 2147483647     9190     18 |  0.001 % |
0.00/0.81	c |     18968 |     352     1522     4615 | 2147483647     9471     18 |  0.001 % |
0.00/0.84	c |     19277 |     352     1522     4615 | 2147483647     9780     18 |  0.001 % |
0.00/0.87	c |     19616 |     352     1522     4615 | 2147483647    10119     18 |  0.001 % |
0.00/0.90	c |     19990 |     352     1522     4615 | 2147483647    10493     18 |  0.001 % |
0.00/0.91	c |     20091 |     352     1522     4615 | 2147483647    10594     18 |  0.001 % |
0.00/0.92	c |     20201 |     352     1522     4615 | 2147483647    10704     18 |  0.001 % |
0.00/0.93	c |     20322 |     352     1522     4615 | 2147483647    10825     18 |  0.001 % |
0.00/0.94	c |     20456 |     352     1522     4615 | 2147483647    10959     18 |  0.001 % |
0.00/0.96	c |     20603 |     352     1522     4615 | 2147483647    11106     18 |  0.001 % |
0.00/0.97	c |     20763 |     352     1522     4615 | 2147483647    11266     18 |  0.001 % |
0.00/0.99	c |     20939 |     352     1522     4615 | 2147483647    11442     18 |  0.001 % |
0.98/1.01	c |     21132 |     352     1522     4615 | 2147483647    11635     18 |  0.001 % |
0.98/1.03	c |     21345 |     352     1522     4615 | 2147483647    11848     18 |  0.001 % |
0.98/1.05	c |     21578 |     352     1522     4615 | 2147483647    12081     18 |  0.001 % |
0.98/1.08	c |     21835 |     352     1522     4615 | 2147483647    12338     18 |  0.001 % |
1.08/1.11	c |     22117 |     352     1522     4615 | 2147483647    12620     18 |  0.001 % |
1.08/1.14	c |     22426 |     352     1522     4615 | 2147483647    12929     18 |  0.001 % |
1.08/1.18	c |     22767 |     352     1522     4615 | 2147483647    13270     18 |  0.001 % |
1.18/1.22	c |     23140 |     352     1522     4615 | 2147483647    13643     18 |  0.001 % |
1.18/1.26	c |     23552 |     352     1522     4615 | 2147483647    14055     18 |  0.001 % |
1.18/1.27	c |     23653 |     352     1522     4615 | 2147483647    14156     18 |  0.001 % |
1.18/1.29	c |     23766 |     352     1522     4615 | 2147483647    14269     18 |  0.001 % |
1.28/1.30	c |     23887 |     352     1522     4615 | 2147483647    14390     18 |  0.001 % |
1.28/1.32	c |     24020 |     352     1522     4615 | 2147483647    14523     18 |  0.001 % |
1.28/1.34	c |     24166 |     352     1522     4615 | 2147483647    14669     18 |  0.001 % |
1.28/1.37	c |     24327 |     352     1522     4615 | 2147483647    14830     18 |  0.001 % |
1.28/1.39	c |     24505 |     352     1522     4615 | 2147483647    15008     18 |  0.001 % |
1.37/1.41	c |     24700 |     352     1522     4615 | 2147483647    15203     18 |  0.001 % |
1.37/1.44	c |     24915 |     352     1522     4615 | 2147483647    15418     18 |  0.001 % |
1.37/1.46	c |     25149 |     352     1522     4615 | 2147483647    15652     18 |  0.001 % |
1.47/1.50	c |     25405 |     352     1522     4615 | 2147483647    15908     18 |  0.001 % |
1.47/1.53	c |     25686 |     352     1522     4615 | 2147483647    16189     18 |  0.001 % |
1.47/1.57	c |     25995 |     352     1522     4615 | 2147483647    16498     18 |  0.001 % |
1.57/1.61	c |     26335 |     352     1522     4615 | 2147483647    16838     18 |  0.001 % |
1.57/1.66	c |     26707 |     352     1522     4615 | 2147483647    17210     18 |  0.001 % |
1.67/1.71	c |     27116 |     352     1522     4615 | 2147483647    17619     18 |  0.001 % |
1.67/1.77	c |     27566 |     352     1522     4615 | 2147483647    18069     18 |  0.001 % |
1.67/1.79	c |     27666 |     352     1522     4615 | 2147483647    18169     18 |  0.001 % |
1.77/1.81	c |     27776 |     352     1522     4615 | 2147483647    18279     18 |  0.001 % |
1.77/1.82	c |     27897 |     352     1522     4615 | 2147483647    18400     18 |  0.001 % |
1.77/1.85	c |     28031 |     352     1522     4615 | 2147483647    18534     18 |  0.001 % |
1.77/1.87	c |     28177 |     352     1522     4615 | 2147483647    18680     18 |  0.001 % |
1.77/1.89	c |     28337 |     352     1522     4615 | 2147483647    18840     18 |  0.001 % |
1.87/1.92	c |     28513 |     352     1522     4615 | 2147483647    19016     18 |  0.001 % |
1.87/1.95	c |     28706 |     352     1522     4615 | 2147483647    19209     18 |  0.001 % |
1.87/1.98	c |     28918 |     352     1522     4615 | 2147483647    19421     18 |  0.001 % |
1.97/2.02	c |     29151 |     352     1522     4615 | 2147483647    19654     18 |  0.001 % |
1.97/2.06	c |     29407 |     352     1522     4615 | 2147483647    19910     18 |  0.001 % |
2.07/2.11	c |     29689 |     352     1522     4615 | 2147483647    20192     18 |  0.001 % |
2.07/2.16	c |     29998 |     352     1522     4615 | 2147483647    20501     18 |  0.001 % |
2.17/2.22	c |     30337 |     352     1522     4615 |    20505    18415     18 |  0.001 % |
2.17/2.27	c |     30711 |     352     1522     4615 |    20505    18789     18 |  0.001 % |
2.27/2.33	c |     31121 |     352     1522     4615 |    20505    19199     18 |  0.001 % |
2.37/2.41	c |     31571 |     352     1522     4615 |    20505    19649     18 |  0.001 % |
2.37/2.49	c |     32064 |     352     1522     4615 |    20505    20142     18 |  0.001 % |
2.47/2.51	c |     32164 |     352     1522     4615 |    20505    20242     18 |  0.001 % |
2.47/2.53	c |     32274 |     352     1522     4615 |    20505    20352     18 |  0.001 % |
2.47/2.55	c |     32396 |     352     1522     4615 |    20505    20474     18 |  0.001 % |
2.47/2.59	c |     32529 |     352     1522     4615 |    20505    16714     18 |  0.001 % |
2.57/2.61	c |     32675 |     352     1522     4615 |    20505    16860     18 |  0.001 % |
2.57/2.63	c |     32836 |     352     1522     4615 |    20505    17021     18 |  0.001 % |
2.57/2.65	c |     33012 |     352     1522     4615 |    20505    17197     18 |  0.001 % |
2.57/2.68	c |     33205 |     352     1522     4615 |    20505    17390     18 |  0.001 % |
2.67/2.72	c |     33417 |     352     1522     4615 |    20505    17602     18 |  0.001 % |
2.67/2.75	c |     33650 |     352     1522     4615 |    20505    17835     18 |  0.001 % |
2.67/2.80	c |     33906 |     352     1522     4615 |    20505    18091     18 |  0.001 % |
2.77/2.83	c |     34187 |     352     1522     4615 |    20505    18372     18 |  0.001 % |
2.77/2.88	c |     34496 |     352     1522     4615 |    20505    18681     18 |  0.001 % |
2.87/2.93	c |     34839 |     352     1522     4615 |    20505    19024     18 |  0.001 % |
2.87/2.99	c |     35211 |     352     1522     4615 |    20505    19396     18 |  0.001 % |
2.97/3.05	c |     35620 |     352     1522     4615 |    20505    19805     18 |  0.001 % |
3.07/3.12	c |     36069 |     352     1522     4615 |    20505    20254     18 |  0.001 % |
3.07/3.20	c |     36562 |     352     1522     4615 |    20505    16379     18 |  0.001 % |
3.17/3.28	c |     37104 |     352     1522     4615 |    20505    16921     18 |  0.001 % |
3.17/3.29	c |     37204 |     352     1522     4615 |    20505    17021     18 |  0.001 % |
3.27/3.31	c |     37315 |     352     1522     4615 |    20505    17132     18 |  0.001 % |
3.27/3.33	c |     37437 |     352     1522     4615 |    20505    17254     18 |  0.001 % |
3.27/3.35	c |     37572 |     352     1522     4615 |    20505    17389     18 |  0.001 % |
3.27/3.37	c |     37718 |     352     1522     4615 |    20505    17535     18 |  0.001 % |
3.27/3.39	c |     37878 |     352     1522     4615 |    20505    17695     18 |  0.001 % |
3.37/3.42	c |     38054 |     352     1522     4615 |    20505    17871     18 |  0.001 % |
3.37/3.45	c |     38247 |     352     1522     4615 |    20505    18064     18 |  0.001 % |
3.37/3.48	c |     38460 |     352     1522     4615 |    20505    18277     18 |  0.001 % |
3.47/3.52	c |     38693 |     352     1522     4615 |    20505    18510     18 |  0.001 % |
3.47/3.56	c |     38949 |     352     1522     4615 |    20505    18766     18 |  0.001 % |
3.57/3.60	c |     39231 |     352     1522     4615 |    20505    19048     18 |  0.001 % |
3.57/3.65	c |     39541 |     352     1522     4615 |    20505    19358     18 |  0.001 % |
3.67/3.71	c |     39882 |     352     1522     4615 |    20505    19699     18 |  0.001 % |
3.67/3.78	c |     40255 |     352     1522     4615 |    19818    15599     18 |  0.001 % |
3.77/3.83	c |     40664 |     352     1522     4615 |    19818    16008     18 |  0.001 % |
3.77/3.89	c |     41113 |     352     1522     4615 |    19818    16457     18 |  0.001 % |
3.87/3.97	c |     41606 |     352     1522     4615 |    19818    16950     18 |  0.001 % |
3.97/4.05	c |     42150 |     352     1522     4615 |    19818    17494     18 |  0.001 % |
4.07/4.14	c |     42746 |     352     1522     4615 |    19818    18090     18 |  0.001 % |
4.07/4.15	c |     42847 |     352     1522     4615 |    19818    18191     18 |  0.001 % |
4.07/4.17	c |     42957 |     352     1522     4615 |    19818    18301     18 |  0.001 % |
4.07/4.19	c |     43078 |     352     1522     4615 |    19818    18422     18 |  0.001 % |
4.17/4.21	c |     43212 |     352     1522     4615 |    19818    18556     18 |  0.001 % |
4.17/4.23	c |     43358 |     352     1522     4615 |    19818    18702     18 |  0.001 % |
4.17/4.26	c |     43518 |     352     1522     4615 |    19818    18862     18 |  0.001 % |
4.17/4.29	c |     43695 |     352     1522     4615 |    19818    19039     18 |  0.001 % |
4.27/4.32	c |     43888 |     352     1522     4615 |    19818    19232     18 |  0.001 % |
4.27/4.36	c |     44101 |     352     1522     4615 |    19818    19445     18 |  0.001 % |
4.27/4.40	c |     44335 |     352     1522     4615 |    19818    19679     18 |  0.001 % |
4.37/4.45	c |     44592 |     352     1522     4615 |    19818    15402     17 |  0.001 % |
4.37/4.48	c |     44876 |     352     1522     4615 |    19818    15686     17 |  0.001 % |
4.47/4.52	c |     45188 |     352     1522     4615 |    19818    15998     17 |  0.001 % |
4.47/4.56	c |     45527 |     352     1522     4615 |    19818    16337     17 |  0.001 % |
4.57/4.60	c |     45899 |     352     1522     4615 |    19818    16709     17 |  0.001 % |
4.57/4.66	c |     46308 |     352     1522     4615 |    19818    17118     17 |  0.001 % |
4.67/4.71	c |     46758 |     352     1522     4615 |    19818    17568     17 |  0.001 % |
4.67/4.79	c |     47251 |     352     1522     4615 |    19818    18061     17 |  0.001 % |
4.76/4.87	c |     47793 |     352     1522     4615 |    19818    18603     17 |  0.001 % |
4.86/4.98	c |     48389 |     352     1522     4615 |    19818    19199     17 |  0.001 % |
4.96/5.09	c |     49044 |     352     1522     4615 |    19818    19854     17 |  0.001 % |
5.06/5.11	c |     49144 |     352     1522     4615 |    19818    15433     17 |  0.001 % |
5.06/5.13	c |     49255 |     352     1522     4615 |    19818    15544     17 |  0.001 % |
5.06/5.14	c |     49376 |     352     1522     4615 |    19818    15665     17 |  0.001 % |
5.06/5.16	c |     49509 |     352     1522     4615 |    19818    15798     17 |  0.001 % |
5.06/5.18	c |     49657 |     352     1522     4615 |    19818    15946     17 |  0.001 % |
5.16/5.20	c |     49819 |     352     1522     4615 |    19818    16108     17 |  0.001 % |
5.16/5.22	c |     49995 |     352     1522     4615 |    19818    16284     17 |  0.001 % |
5.16/5.25	c |     50190 |     352     1522     4615 |    16289    12810     17 |  0.001 % |
5.16/5.27	c |     50402 |     352     1522     4615 |    16289    13022     17 |  0.001 % |
5.16/5.30	c |     50635 |     352     1522     4615 |    16289    13255     17 |  0.001 % |
5.26/5.32	c |     50891 |     352     1522     4615 |    16289    13511     17 |  0.001 % |
5.26/5.35	c |     51172 |     352     1522     4615 |    16289    13792     17 |  0.001 % |
5.26/5.39	c |     51482 |     352     1522     4615 |    16289    14102     17 |  0.001 % |
5.37/5.43	c |     51821 |     352     1522     4615 |    16289    14441     17 |  0.001 % |
5.37/5.47	c |     52193 |     352     1522     4615 |    16289    14813     17 |  0.001 % |
5.47/5.52	c |     52605 |     352     1522     4615 |    16289    15225     17 |  0.001 % |
5.47/5.58	c |     53056 |     352     1522     4615 |    16289    15676     17 |  0.001 % |
5.56/5.64	c |     53551 |     352     1522     4615 |    16289    16171     17 |  0.001 % |
5.66/5.70	c |     54093 |     352     1522     4615 |    16289    13602     17 |  0.001 % |
5.66/5.77	c |     54690 |     352     1522     4615 |    16289    14199     17 |  0.001 % |
5.76/5.85	c |     55345 |     352     1522     4615 |    16289    14854     17 |  0.001 % |
5.86/5.93	c |     56065 |     352     1522     4615 |    16289    15574     17 |  0.001 % |
5.86/5.94	c |     56166 |     352     1522     4615 |    16289    15675     17 |  0.001 % |
5.86/5.96	c |     56278 |     352     1522     4615 |    16289    15787     17 |  0.001 % |
5.86/5.97	c |     56400 |     352     1522     4615 |    16289    15909     17 |  0.001 % |
5.86/5.99	c |     56533 |     352     1522     4615 |    16289    16042     17 |  0.001 % |
5.96/6.00	c |     56682 |     352     1522     4615 |    16289    16191     17 |  0.001 % |
5.96/6.03	c |     56842 |     352     1522     4615 |    16289    13423     17 |  0.001 % |
5.96/6.06	c |     57019 |     352     1522     4615 |    16289    13600     17 |  0.001 % |
5.96/6.08	c |     57214 |     352     1522     4615 |    16289    13795     17 |  0.001 % |
6.06/6.11	c |     57426 |     352     1522     4615 |    16289    14007     17 |  0.001 % |
6.06/6.13	c |     57659 |     352     1522     4615 |    16289    14240     17 |  0.001 % |
6.06/6.17	c |     57919 |     352     1522     4615 |    16289    14500     17 |  0.001 % |
6.16/6.21	c |     58200 |     352     1522     4615 |    16289    14781     17 |  0.001 % |
6.16/6.24	c |     58509 |     352     1522     4615 |    16289    15090     17 |  0.001 % |
6.16/6.28	c |     58848 |     352     1522     4615 |    16289    15429     17 |  0.001 % |
6.26/6.33	c |     59222 |     352     1522     4615 |    16289    15803     17 |  0.001 % |
6.26/6.38	c |     59632 |     352     1522     4615 |    16289    16213     17 |  0.001 % |
6.36/6.44	c |     60081 |     352     1522     4615 |    13651    11289     17 |  0.001 % |
6.36/6.50	c |     60576 |     352     1522     4615 |    13651    11784     17 |  0.001 % |
6.47/6.55	c |     61120 |     352     1522     4615 |    13651    12328     17 |  0.001 % |
6.57/6.62	c |     61717 |     352     1522     4615 |    13651    12925     17 |  0.001 % |
6.57/6.69	c |     62373 |     352     1522     4615 |    13651    13581     17 |  0.001 % |
6.66/6.76	c |     63093 |     352     1522     4615 |    13651    12120     16 |  0.001 % |
6.76/6.84	c |     63885 |     352     1522     4615 |    13651    12912     17 |  0.001 % |
6.76/6.86	c |     63986 |     352     1522     4615 |    13651    13013     17 |  0.001 % |
6.76/6.87	c |     64096 |     352     1522     4615 |    13651    13123     17 |  0.001 % |
6.76/6.88	c |     64217 |     352     1522     4615 |    13651    13244     17 |  0.001 % |
6.76/6.89	c |     64353 |     352     1522     4615 |    13651    13380     17 |  0.001 % |
6.86/6.91	c |     64499 |     352     1522     4615 |    13651    13526     17 |  0.001 % |
6.86/6.93	c |     64659 |     352     1522     4615 |    13651    13686     17 |  0.001 % |
6.86/6.96	c |     64836 |     352     1522     4615 |    13651    11833     16 |  0.001 % |
6.86/6.98	c |     65029 |     352     1522     4615 |    13651    12026     16 |  0.001 % |
6.96/7.01	c |     65242 |     352     1522     4615 |    13651    12239     16 |  0.001 % |
6.96/7.03	c |     65475 |     352     1522     4615 |    13651    12472     16 |  0.001 % |
6.96/7.06	c |     65731 |     352     1522     4615 |    13651    12728     16 |  0.001 % |
6.96/7.08	c |     66013 |     352     1522     4615 |    13651    13010     17 |  0.001 % |
7.06/7.12	c |     66322 |     352     1522     4615 |    13651    13319     17 |  0.001 % |
7.06/7.15	c |     66662 |     352     1522     4615 |    13651    13659     17 |  0.001 % |
7.16/7.20	c |     67034 |     352     1522     4615 |    13651    12102     17 |  0.001 % |
7.16/7.25	c |     67443 |     352     1522     4615 |    13651    12511     17 |  0.001 % |
7.16/7.29	c |     67892 |     352     1522     4615 |    13651    12960     17 |  0.001 % |
7.26/7.35	c |     68385 |     352     1522     4615 |    13651    13453     17 |  0.001 % |
7.36/7.41	c |     68927 |     352     1522     4615 |    13651    12094     17 |  0.001 % |
7.36/7.47	c |     69523 |     352     1522     4615 |    13651    12690     17 |  0.001 % |
7.46/7.55	c |     70178 |     352     1522     4615 |    13170    11532     17 |  0.001 % |
7.56/7.61	c |     70899 |     352     1522     4615 |    13170    12253     17 |  0.001 % |
7.56/7.68	c |     71691 |     352     1522     4615 |    13170    13045     17 |  0.001 % |
7.66/7.78	c |     72563 |     352     1522     4615 |    13170    12368     17 |  0.001 % |
7.66/7.79	c |     72663 |     352     1522     4615 |    13170    12468     17 |  0.001 % |
7.76/7.80	c |     72774 |     352     1522     4615 |    13170    12579     17 |  0.001 % |
7.76/7.81	c |     72895 |     352     1522     4615 |    13170    12700     17 |  0.001 % |
7.76/7.82	c |     73028 |     352     1522     4615 |    13170    12833     17 |  0.001 % |
7.76/7.84	c |     73174 |     352     1522     4615 |    13170    12979     17 |  0.001 % |
7.76/7.86	c |     73334 |     352     1522     4615 |    13170    13139     17 |  0.001 % |
7.76/7.89	c |     73511 |     352     1522     4615 |    13170    11813     17 |  0.001 % |
7.86/7.91	c |     73706 |     352     1522     4615 |    13170    12008     17 |  0.001 % |
7.86/7.93	c |     73918 |     352     1522     4615 |    13170    12220     17 |  0.001 % |
7.86/7.96	c |     74152 |     352     1522     4615 |    13170    12454     17 |  0.001 % |
7.86/7.98	c |     74408 |     352     1522     4615 |    13170    12710     17 |  0.001 % |
7.96/8.01	c |     74689 |     352     1522     4615 |    13170    12991     17 |  0.001 % |
7.96/8.05	c |     75000 |     352     1522     4615 |    13170    11812     17 |  0.001 % |
7.96/8.09	c |     75339 |     352     1522     4615 |    13170    12151     17 |  0.001 % |
8.06/8.13	c |     75711 |     352     1522     4615 |    13170    12523     17 |  0.001 % |
8.06/8.17	c |     76120 |     352     1522     4615 |    13170    12932     17 |  0.001 % |
8.16/8.23	c |     76569 |     352     1522     4615 |    13170    11875     17 |  0.001 % |
8.16/8.27	c |     77062 |     352     1522     4615 |    13170    12368     17 |  0.001 % |
8.26/8.33	c |     77604 |     352     1522     4615 |    13170    12910     17 |  0.001 % |
8.26/8.39	c |     78200 |     352     1522     4615 |    13170    12019     17 |  0.001 % |
8.36/8.47	c |     78855 |     352     1522     4615 |    13170    12674     17 |  0.001 % |
8.46/8.54	c |     79575 |     352     1522     4615 |    13170    11876     16 |  0.001 % |
8.56/8.63	c |     80368 |     352     1522     4615 |    12301    11255     16 |  0.001 % |
8.66/8.70	c |     81240 |     352     1522     4615 |    12301    12127     16 |  0.001 % |
8.66/8.80	c |     82198 |     352     1522     4615 |    12301    11851     16 |  0.001 % |
8.76/8.81	c |     82298 |     352     1522     4615 |    12301    11951     16 |  0.001 % |
8.76/8.82	c |     82409 |     352     1522     4615 |    12301    12062     16 |  0.001 % |
8.76/8.84	c |     82530 |     352     1522     4615 |    12301    12183     16 |  0.001 % |
8.76/8.85	c |     82664 |     352     1522     4615 |    12301    12317     16 |  0.001 % |
8.76/8.87	c |     82810 |     352     1522     4615 |    12301    11232     16 |  0.001 % |
8.76/8.89	c |     82971 |     352     1522     4615 |    12301    11393     16 |  0.001 % |
8.86/8.91	c |     83147 |     352     1522     4615 |    12301    11569     16 |  0.001 % |
8.86/8.93	c |     83342 |     352     1522     4615 |    12301    11764     16 |  0.001 % |
8.86/8.96	c |     83554 |     352     1522     4615 |    12301    11976     16 |  0.001 % |
8.86/8.98	c |     83789 |     352     1522     4615 |    12301    12211     16 |  0.001 % |
8.96/9.02	c |     84046 |     352     1522     4615 |    12301    11228     16 |  0.001 % |
8.96/9.04	c |     84328 |     352     1522     4615 |    12301    11510     16 |  0.001 % |
8.96/9.08	c |     84641 |     352     1522     4615 |    12301    11823     16 |  0.001 % |
9.06/9.11	c |     84982 |     352     1522     4615 |    12301    12164     16 |  0.001 % |
9.06/9.16	c |     85354 |     352     1522     4615 |    12301    11297     16 |  0.001 % |
9.06/9.20	c |     85764 |     352     1522     4615 |    12301    11707     16 |  0.001 % |
9.16/9.24	c |     86213 |     352     1522     4615 |    12301    12156     16 |  0.001 % |
9.16/9.29	c |     86706 |     352     1522     4615 |    12301    11414     16 |  0.001 % |
9.26/9.35	c |     87248 |     352     1522     4615 |    12301    11956     17 |  0.001 % |
9.36/9.41	c |     87844 |     352     1522     4615 |    12301    11320     16 |  0.001 % |
9.36/9.47	c |     88499 |     352     1522     4615 |    12301    11975     17 |  0.001 % |
9.46/9.55	c |     89221 |     352     1522     4615 |    12301    11463     16 |  0.001 % |
9.56/9.63	c |     90019 |     352     1522     4615 | 2147483647    12261     17 |  0.001 % |
9.66/9.72	c |     90891 |     352     1522     4615 | 2147483647    13133     17 |  0.001 % |
9.76/9.82	c |     91849 |     352     1522     4615 | 2147483647    14091     17 |  0.001 % |
9.86/9.93	c |     92903 |     352     1522     4615 | 2147483647    15145     17 |  0.001 % |
9.86/9.94	c |     93003 |     352     1522     4615 | 2147483647    15245     17 |  0.001 % |
9.86/9.96	c |     93113 |     352     1522     4615 | 2147483647    15355     17 |  0.001 % |
9.86/9.98	c |     93236 |     352     1522     4615 | 2147483647    15478     17 |  0.001 % |
9.86/9.99	c |     93370 |     352     1522     4615 | 2147483647    15612     17 |  0.001 % |
9.97/10.02	c |     93517 |     352     1522     4615 | 2147483647    15759     17 |  0.001 % |
9.97/10.04	c |     93677 |     352     1522     4615 | 2147483647    15919     17 |  0.001 % |
9.97/10.06	c |     93853 |     352     1522     4615 | 2147483647    16095     17 |  0.001 % |
9.97/10.09	c |     94048 |     352     1522     4615 | 2147483647    16290     17 |  0.001 % |
10.07/10.11	c |     94260 |     352     1522     4615 | 2147483647    16502     17 |  0.001 % |
10.07/10.15	c |     94493 |     352     1522     4615 | 2147483647    16735     17 |  0.001 % |
10.07/10.19	c |     94749 |     352     1522     4615 | 2147483647    16991     17 |  0.001 % |
10.17/10.23	c |     95030 |     352     1522     4615 | 2147483647    17272     17 |  0.001 % |
10.17/10.28	c |     95339 |     352     1522     4615 | 2147483647    17581     17 |  0.001 % |
10.27/10.33	c |     95678 |     352     1522     4615 | 2147483647    17920     17 |  0.001 % |
10.27/10.38	c |     96050 |     352     1522     4615 | 2147483647    18292     17 |  0.001 % |
10.37/10.44	c |     96460 |     352     1522     4615 | 2147483647    18702     17 |  0.001 % |
10.47/10.51	c |     96911 |     352     1522     4615 | 2147483647    19153     17 |  0.001 % |
10.47/10.59	c |     97405 |     352     1522     4615 | 2147483647    19647     17 |  0.001 % |
10.57/10.66	c |     97947 |     352     1522     4615 | 2147483647    20189     17 |  0.001 % |
10.67/10.76	c |     98543 |     352     1522     4615 | 2147483647    20785     17 |  0.001 % |
10.77/10.87	c |     99198 |     352     1522     4615 | 2147483647    21440     17 |  0.001 % |
10.87/10.99	c |     99920 |     352     1522     4615 | 2147483647    22162     17 |  0.001 % |
11.06/11.12	c |    100713 |     352     1522     4615 |    22242    18574     17 |  0.001 % |
11.16/11.24	c |    101584 |     352     1522     4615 |    22242    19445     17 |  0.001 % |
11.26/11.39	c |    102544 |     352     1522     4615 |    22242    20405     17 |  0.001 % |
11.46/11.57	c |    103597 |     352     1522     4615 |    22242    21458     18 |  0.001 % |
11.66/11.76	c |    104756 |     352     1522     4615 |    22242    17323     17 |  0.001 % |
11.66/11.77	c |    104857 |     352     1522     4615 |    22242    17424     17 |  0.001 % |
11.66/11.79	c |    104967 |     352     1522     4615 |    22242    17534     17 |  0.001 % |
11.76/11.80	c |    105088 |     352     1522     4615 |    22242    17655     17 |  0.001 % |
11.76/11.83	c |    105221 |     352     1522     4615 |    22242    17788     17 |  0.001 % |
11.76/11.85	c |    105367 |     352     1522     4615 |    22242    17934     17 |  0.001 % |
11.76/11.88	c |    105527 |     352     1522     4615 |    22242    18094     17 |  0.001 % |
11.86/11.91	c |    105704 |     352     1522     4615 |    22242    18271     17 |  0.001 % |
11.86/11.94	c |    105899 |     352     1522     4615 |    22242    18466     17 |  0.001 % |
11.86/11.97	c |    106111 |     352     1522     4615 |    22242    18678     17 |  0.001 % |
11.86/12.00	c |    106344 |     352     1522     4615 |    22242    18911     17 |  0.001 % |
11.96/12.03	c |    106601 |     352     1522     4615 |    22242    19168     17 |  0.001 % |
11.96/12.08	c |    106883 |     352     1522     4615 |    22242    19450     17 |  0.001 % |
12.06/12.13	c |    107193 |     352     1522     4615 |    22242    19760     17 |  0.001 % |
12.16/12.20	c |    107532 |     352     1522     4615 |    22242    20099     17 |  0.001 % |
12.16/12.26	c |    107904 |     352     1522     4615 |    22242    20471     17 |  0.001 % |
12.26/12.32	c |    108314 |     352     1522     4615 |    22242    20881     17 |  0.001 % |
12.36/12.40	c |    108763 |     352     1522     4615 |    22242    21330     17 |  0.001 % |
12.36/12.49	c |    109257 |     352     1522     4615 |    22242    21824     17 |  0.001 % |
12.46/12.60	c |    109800 |     352     1522     4615 |    22242    16763     17 |  0.001 % |
12.56/12.68	c |    110396 |     352     1522     4615 |    16963    13118     17 |  0.001 % |
12.66/12.76	c |    111052 |     352     1522     4615 |    16963    13774     17 |  0.001 % |
12.76/12.85	c |    111772 |     352     1522     4615 |    16963    14494     17 |  0.001 % |
12.86/12.96	c |    112564 |     352     1522     4615 |    16963    15286     17 |  0.001 % |
12.96/13.07	c |    113435 |     352     1522     4615 |    16963    16157     17 |  0.001 % |
13.16/13.22	c |    114393 |     352     1522     4615 |    16963    13286     16 |  0.001 % |
13.26/13.32	c |    115448 |     352     1522     4615 |    16963    14341     16 |  0.001 % |
13.36/13.46	c |    116606 |     352     1522     4615 |    16963    15499     17 |  0.001 % |
13.56/13.61	c |    117879 |     352     1522     4615 |    16963    16772     17 |  0.001 % |
13.56/13.62	c |    117981 |     352     1522     4615 |    16963    16874     17 |  0.001 % |
13.56/13.64	c |    118091 |     352     1522     4615 |    16963    16984     17 |  0.001 % |
13.56/13.67	c |    118212 |     352     1522     4615 |    16963    13645     17 |  0.001 % |
13.56/13.68	c |    118345 |     352     1522     4615 |    16963    13778     17 |  0.001 % |
13.56/13.69	c |    118491 |     352     1522     4615 |    16963    13924     17 |  0.001 % |
13.66/13.71	c |    118651 |     352     1522     4615 |    16963    14084     17 |  0.001 % |
13.66/13.73	c |    118827 |     352     1522     4615 |    16963    14260     17 |  0.001 % |
13.66/13.76	c |    119021 |     352     1522     4615 |    16963    14454     17 |  0.001 % |
13.66/13.78	c |    119234 |     352     1522     4615 |    16963    14667     17 |  0.001 % |
13.76/13.81	c |    119471 |     352     1522     4615 |    16963    14904     17 |  0.001 % |
13.76/13.84	c |    119727 |     352     1522     4615 |    16963    15160     17 |  0.001 % |
13.76/13.87	c |    120010 |     352     1522     4615 |    15434    15443     17 |  0.001 % |
13.86/13.92	c |    120320 |     352     1522     4615 |    15434    12681     17 |  0.001 % |
13.86/13.96	c |    120660 |     352     1522     4615 |    15434    13021     17 |  0.001 % |
13.96/14.00	c |    121033 |     352     1522     4615 |    15434    13394     17 |  0.001 % |
13.96/14.06	c |    121442 |     352     1522     4615 |    15434    13803     17 |  0.001 % |
14.06/14.11	c |    121892 |     352     1522     4615 |    15434    14253     17 |  0.001 % |
14.06/14.18	c |    122385 |     352     1522     4615 |    15434    14746     17 |  0.001 % |
14.16/14.24	c |    122928 |     352     1522     4615 |    15434    15289     17 |  0.001 % |
14.26/14.32	c |    123524 |     352     1522     4615 |    15434    12905     17 |  0.001 % |
14.26/14.38	c |    124180 |     352     1522     4615 |    15434    13561     17 |  0.001 % |
14.36/14.47	c |    124901 |     352     1522     4615 |    15434    14282     17 |  0.001 % |
14.46/14.56	c |    125695 |     352     1522     4615 |    15434    15076     17 |  0.001 % |
14.56/14.67	c |    126566 |     352     1522     4615 |    15434    13147     16 |  0.001 % |
14.66/14.77	c |    127524 |     352     1522     4615 |    15434    14105     17 |  0.001 % |
14.76/14.89	c |    128577 |     352     1522     4615 |    15434    15158     17 |  0.001 % |
14.96/15.03	c |    129735 |     352     1522     4615 |    15434    13549     16 |  0.001 % |
15.06/15.15	c |    131010 |     352     1522     4615 |    13816    12388     16 |  0.001 % |
15.16/15.28	c |    132410 |     352     1522     4615 |    13816    13788     16 |  0.001 % |
15.16/15.30	c |    132512 |     352     1522     4615 |    13816    11912     16 |  0.001 % |
15.26/15.31	c |    132622 |     352     1522     4615 |    13816    12022     16 |  0.001 % |
15.26/15.33	c |    132744 |     352     1522     4615 |    13816    12144     16 |  0.001 % |
15.26/15.34	c |    132878 |     352     1522     4615 |    13816    12278     16 |  0.001 % |
15.26/15.36	c |    133024 |     352     1522     4615 |    13816    12424     16 |  0.001 % |
15.26/15.38	c |    133185 |     352     1522     4615 |    13816    12585     16 |  0.001 % |
15.36/15.40	c |    133362 |     352     1522     4615 |    13816    12762     16 |  0.001 % |
15.36/15.42	c |    133555 |     352     1522     4615 |    13816    12955     16 |  0.001 % |
15.36/15.45	c |    133770 |     352     1522     4615 |    13816    13170     17 |  0.001 % |
15.36/15.47	c |    134006 |     352     1522     4615 |    13816    13406     17 |  0.001 % |
15.46/15.50	c |    134262 |     352     1522     4615 |    13816    13662     17 |  0.001 % |
15.46/15.54	c |    134543 |     352     1522     4615 |    13816    11969     16 |  0.001 % |
15.46/15.57	c |    134854 |     352     1522     4615 |    13816    12280     16 |  0.001 % |
15.56/15.60	c |    135193 |     352     1522     4615 |    13816    12619     17 |  0.001 % |
15.56/15.64	c |    135566 |     352     1522     4615 |    13816    12992     17 |  0.001 % |
15.56/15.69	c |    135976 |     352     1522     4615 |    13816    13402     17 |  0.001 % |
15.65/15.75	c |    136425 |     352     1522     4615 |    13816    13851     17 |  0.001 % |
15.75/15.81	c |    136918 |     352     1522     4615 |    13816    12390     17 |  0.001 % |
15.75/15.86	c |    137461 |     352     1522     4615 |    13816    12933     17 |  0.001 % |
15.85/15.93	c |    138057 |     352     1522     4615 |    13816    13529     17 |  0.001 % |
15.95/16.02	c |    138712 |     352     1522     4615 |    13816    12243     17 |  0.001 % |
15.95/16.09	c |    139432 |     352     1522     4615 |    13816    12963     17 |  0.001 % |
16.05/16.20	c |    140226 |     352     1522     4615 |    13532    11880     17 |  0.001 % |
16.15/16.29	c |    141097 |     352     1522     4615 |    13532    12751     17 |  0.001 % |
16.36/16.41	c |    142055 |     352     1522     4615 |    13532    11860     17 |  0.001 % |
16.46/16.52	c |    143109 |     352     1522     4615 |    13532    12914     17 |  0.001 % |
16.55/16.64	c |    144268 |     352     1522     4615 |    13532    12270     17 |  0.001 % |
16.65/16.77	c |    145541 |     352     1522     4615 |    13532    13543     17 |  0.001 % |
16.85/16.92	c |    146942 |     352     1522     4615 |    13532    13226     17 |  0.001 % |
16.95/17.07	c |    148482 |     352     1522     4615 |    13532    13052     17 |  0.001 % |
16.95/17.08	c |    148582 |     352     1522     4615 |    13532    13152     17 |  0.001 % |
16.95/17.09	c |    148694 |     352     1522     4615 |    13532    13264     17 |  0.001 % |
17.05/17.11	c |    148817 |     352     1522     4615 |    13532    13387     17 |  0.001 % |
17.05/17.12	c |    148953 |     352     1522     4615 |    13532    13523     17 |  0.001 % |
17.05/17.15	c |    149100 |     352     1522     4615 |    13532    11981     17 |  0.001 % |
17.05/17.16	c |    149260 |     352     1522     4615 |    13532    12141     17 |  0.001 % |
17.05/17.18	c |    149437 |     352     1522     4615 |    13532    12318     17 |  0.001 % |
17.15/17.20	c |    149630 |     352     1522     4615 |    13532    12511     17 |  0.001 % |
17.15/17.22	c |    149842 |     352     1522     4615 |    13532    12723     17 |  0.001 % |
17.15/17.25	c |    150075 |     352     1522     4615 |    12883    11380     16 |  0.001 % |
17.15/17.28	c |    150331 |     352     1522     4615 |    12883    11636     16 |  0.001 % |
17.25/17.31	c |    150613 |     352     1522     4615 |    12883    11918     17 |  0.001 % |
17.25/17.34	c |    150924 |     352     1522     4615 |    12883    12229     17 |  0.001 % |
17.25/17.38	c |    151264 |     352     1522     4615 |    12883    12569     17 |  0.001 % |
17.35/17.43	c |    151636 |     352     1522     4615 |    12883    11240     16 |  0.001 % |
17.35/17.47	c |    152045 |     352     1522     4615 |    12883    11649     17 |  0.001 % |
17.46/17.51	c |    152495 |     352     1522     4615 |    12883    12099     17 |  0.001 % |
17.46/17.56	c |    152991 |     352     1522     4615 |    12883    12595     17 |  0.001 % |
17.56/17.61	c |    153533 |     352     1522     4615 |    12883    11603     17 |  0.001 % |
17.56/17.68	c |    154130 |     352     1522     4615 |    12883    12200     17 |  0.001 % |
17.65/17.74	c |    154785 |     352     1522     4615 |    12883    12855     17 |  0.001 % |
17.75/17.82	c |    155505 |     352     1522     4615 |    12883    12117     17 |  0.001 % |
17.85/17.90	c |    156300 |     352     1522     4615 |    12883    12912     17 |  0.001 % |
17.85/18.00	c |    157171 |     352     1522     4615 |    12883    12345     17 |  0.001 % |
17.95/18.10	c |    158129 |     352     1522     4615 |    12883    11900     17 |  0.001 % |
18.15/18.20	c |    159183 |     352     1522     4615 |    12883    11631     17 |  0.001 % |
18.25/18.31	c |    160341 |     352     1522     4615 |    12448    11535     17 |  0.001 % |
18.35/18.42	c |    161617 |     352     1522     4615 |    12448    11563     17 |  0.001 % |
18.45/18.56	c |    163018 |     352     1522     4615 |    12448    11717     17 |  0.001 % |
18.56/18.69	c |    164558 |     352     1522     4615 |    12448    12008     17 |  0.001 % |
18.75/18.86	c |    166252 |     352     1522     4615 |    12448    12455     17 |  0.001 % |
18.75/18.88	c |    166354 |     352     1522     4615 |    12448    11312     17 |  0.001 % |
18.75/18.89	c |    166465 |     352     1522     4615 |    12448    11423     17 |  0.001 % |
18.75/18.90	c |    166586 |     352     1522     4615 |    12448    11544     17 |  0.001 % |
18.85/18.91	c |    166722 |     352     1522     4615 |    12448    11680     17 |  0.001 % |
18.85/18.93	c |    166868 |     352     1522     4615 |    12448    11826     17 |  0.001 % |
18.85/18.94	c |    167028 |     352     1522     4615 |    12448    11986     17 |  0.001 % |
18.85/18.96	c |    167205 |     352     1522     4615 |    12448    12163     17 |  0.001 % |
18.85/18.98	c |    167399 |     352     1522     4615 |    12448    12357     17 |  0.001 % |
18.95/19.01	c |    167611 |     352     1522     4615 |    12448    11321     17 |  0.001 % |
18.95/19.03	c |    167844 |     352     1522     4615 |    12448    11554     17 |  0.001 % |
18.95/19.06	c |    168100 |     352     1522     4615 |    12448    11810     17 |  0.001 % |
18.95/19.09	c |    168382 |     352     1522     4615 |    12448    12092     17 |  0.001 % |
19.05/19.12	c |    168693 |     352     1522     4615 |    12448    12403     17 |  0.001 % |
19.05/19.16	c |    169033 |     352     1522     4615 |    12448    11495     17 |  0.001 % |
19.05/19.19	c |    169405 |     352     1522     4615 |    12448    11867     17 |  0.001 % |
19.15/19.23	c |    169814 |     352     1522     4615 |    12448    12276     17 |  0.001 % |
19.15/19.28	c |    170263 |     352     1522     4615 | 2147483647    12725     17 |  0.001 % |
19.25/19.33	c |    170757 |     352     1522     4615 | 2147483647    13219     17 |  0.001 % |
19.25/19.39	c |    171299 |     352     1522     4615 | 2147483647    13761     17 |  0.001 % |
19.35/19.45	c |    171895 |     352     1522     4615 | 2147483647    14357     17 |  0.001 % |
19.45/19.53	c |    172550 |     352     1522     4615 | 2147483647    15012     17 |  0.001 % |
19.55/19.62	c |    173270 |     352     1522     4615 | 2147483647    15732     17 |  0.001 % |
19.65/19.71	c |    174062 |     352     1522     4615 | 2147483647    16524     17 |  0.001 % |
19.75/19.81	c |    174934 |     352     1522     4615 | 2147483647    17396     17 |  0.001 % |
19.85/19.94	c |    175894 |     352     1522     4615 | 2147483647    18356     17 |  0.001 % |
19.95/20.08	c |    176947 |     352     1522     4615 | 2147483647    19409     17 |  0.001 % |
20.15/20.25	c |    178105 |     352     1522     4615 | 2147483647    20567     17 |  0.001 % |
20.35/20.45	c |    179378 |     352     1522     4615 | 2147483647    21840     17 |  0.001 % |
20.55/20.69	c |    180778 |     352     1522     4615 |    22463    18871     17 |  0.001 % |
20.85/20.91	c |    182319 |     352     1522     4615 |    22463    20412     17 |  0.001 % |
21.05/21.18	c |    184014 |     352     1522     4615 |    22463    22107     17 |  0.001 % |
21.34/21.46	c |    185880 |     352     1522     4615 |    22463    18487     17 |  0.001 % |
21.34/21.47	c |    185982 |     352     1522     4615 |    22463    18589     17 |  0.001 % |
21.34/21.49	c |    186094 |     352     1522     4615 |    22463    18701     17 |  0.001 % |
21.44/21.51	c |    186215 |     352     1522     4615 |    22463    18822     17 |  0.001 % |
21.44/21.53	c |    186351 |     352     1522     4615 |    22463    18958     17 |  0.001 % |
21.44/21.55	c |    186498 |     352     1522     4615 |    22463    19105     17 |  0.001 % |
21.44/21.59	c |    186660 |     352     1522     4615 |    22463    19267     17 |  0.001 % |
21.54/21.62	c |    186836 |     352     1522     4615 |    22463    19443     17 |  0.001 % |
21.54/21.66	c |    187031 |     352     1522     4615 |    22463    19638     17 |  0.001 % |
21.54/21.69	c |    187245 |     352     1522     4615 |    22463    19852     17 |  0.001 % |
21.64/21.73	c |    187478 |     352     1522     4615 |    22463    20085     17 |  0.001 % |
21.64/21.77	c |    187734 |     352     1522     4615 |    22463    20341     17 |  0.001 % |
21.74/21.82	c |    188016 |     352     1522     4615 |    22463    20623     17 |  0.001 % |
21.74/21.87	c |    188325 |     352     1522     4615 |    22463    20932     17 |  0.001 % |
21.85/21.94	c |    188664 |     352     1522     4615 |    22463    21271     17 |  0.001 % |
21.95/22.01	c |    189037 |     352     1522     4615 |    22463    21644     17 |  0.001 % |
21.95/22.09	c |    189449 |     352     1522     4615 |    22463    22056     17 |  0.001 % |
22.04/22.17	c |    189900 |     352     1522     4615 |    22463    22507     17 |  0.001 % |
22.14/22.26	c |    190393 |     352     1522     4615 |    16667    12684     16 |  0.001 % |
22.24/22.31	c |    190936 |     352     1522     4615 |    16667    13227     16 |  0.001 % |
22.24/22.37	c |    191532 |     352     1522     4615 |    16667    13823     17 |  0.001 % |
22.34/22.44	c |    192189 |     352     1522     4615 |    16667    14480     17 |  0.001 % |
22.44/22.52	c |    192910 |     352     1522     4615 |    16667    15201     17 |  0.001 % |
22.54/22.60	c |    193703 |     352     1522     4615 |    16667    15994     17 |  0.001 % |
22.64/22.72	c |    194574 |     352     1522     4615 |    16667    13561     17 |  0.001 % |
22.74/22.85	c |    195534 |     352     1522     4615 |    16667    14521     17 |  0.001 % |
22.84/22.98	c |    196587 |     352     1522     4615 |    16667    15574     17 |  0.001 % |
23.05/23.15	c |    197745 |     352     1522     4615 |    16667    13484     17 |  0.001 % |
23.14/23.29	c |    199019 |     352     1522     4615 |    16667    14758     17 |  0.001 % |
23.34/23.46	c |    200419 |     352     1522     4615 |    15740    13222     17 |  0.001 % |
23.54/23.62	c |    201959 |     352     1522     4615 |    15740    14762     17 |  0.001 % |
23.74/23.82	c |    203654 |     352     1522     4615 |    15740    13779     17 |  0.001 % |
23.94/24.08	c |    205519 |     352     1522     4615 |    15740    15644     17 |  0.001 % |
24.24/24.30	c |    207568 |     352     1522     4615 |    15740    14939     17 |  0.001 % |
24.24/24.31	c |    207669 |     352     1522     4615 |    15740    15040     17 |  0.001 % |
24.24/24.32	c |    207780 |     352     1522     4615 |    15740    15151     17 |  0.001 % |
24.24/24.34	c |    207903 |     352     1522     4615 |    15740    15274     17 |  0.001 % |
24.24/24.35	c |    208038 |     352     1522     4615 |    15740    15409     17 |  0.001 % |
24.24/24.37	c |    208184 |     352     1522     4615 |    15740    15555     17 |  0.001 % |
24.24/24.40	c |    208346 |     352     1522     4615 |    15740    15717     17 |  0.001 % |
24.34/24.43	c |    208522 |     352     1522     4615 |    15740    13306     17 |  0.001 % |
24.34/24.45	c |    208717 |     352     1522     4615 |    15740    13501     17 |  0.001 % |
24.34/24.48	c |    208929 |     352     1522     4615 |    15740    13713     17 |  0.001 % |
24.44/24.50	c |    209164 |     352     1522     4615 |    15740    13948     17 |  0.001 % |
24.44/24.53	c |    209420 |     352     1522     4615 |    15740    14204     17 |  0.001 % |
24.44/24.57	c |    209708 |     352     1522     4615 |    15740    14492     17 |  0.001 % |
24.54/24.61	c |    210019 |     352     1522     4615 |    14785    14803     17 |  0.001 % |
24.54/24.66	c |    210358 |     352     1522     4615 |    14785    12727     17 |  0.001 % |
24.64/24.70	c |    210730 |     352     1522     4615 |    14785    13099     17 |  0.001 % |
24.64/24.75	c |    211140 |     352     1522     4615 |    14785    13509     17 |  0.001 % |
24.74/24.81	c |    211589 |     352     1522     4615 |    14785    13958     17 |  0.001 % |
24.74/24.86	c |    212084 |     352     1522     4615 |    14785    14453     17 |  0.001 % |
24.84/24.93	c |    212627 |     352     1522     4615 |    14785    12588     17 |  0.001 % |
24.94/25.00	c |    213225 |     352     1522     4615 |    14785    13186     17 |  0.001 % |
24.94/25.06	c |    213881 |     352     1522     4615 |    14785    13842     17 |  0.001 % |
25.04/25.14	c |    214601 |     352     1522     4615 |    14785    14562     17 |  0.001 % |
25.15/25.23	c |    215393 |     352     1522     4615 |    14785    13102     17 |  0.001 % |
25.25/25.33	c |    216265 |     352     1522     4615 |    14785    13974     17 |  0.001 % |
25.34/25.44	c |    217223 |     352     1522     4615 |    14785    12749     17 |  0.001 % |
25.44/25.56	c |    218276 |     352     1522     4615 |    14785    13802     17 |  0.001 % |
25.54/25.70	c |    219434 |     352     1522     4615 |    14785    12741     17 |  0.001 % |
25.74/25.83	c |    220708 |     352     1522     4615 |    13307    12025     17 |  0.001 % |
25.84/25.99	c |    222108 |     352     1522     4615 |    13307    11722     17 |  0.001 % |
26.04/26.13	c |    223649 |     352     1522     4615 |    13307    13263     17 |  0.001 % |
26.24/26.31	c |    225344 |     352     1522     4615 |    13307    11728     17 |  0.001 % |
26.44/26.55	c |    227209 |     352     1522     4615 |    13307    11897     17 |  0.001 % |
26.74/26.81	c |    229259 |     352     1522     4615 |    13307    12223     17 |  0.001 % |
26.94/27.08	c |    231512 |     352     1522     4615 |    12966    12762     17 |  0.001 % |
26.94/27.09	c |    231613 |     352     1522     4615 |    12966    12863     17 |  0.001 % |
27.04/27.10	c |    231723 |     352     1522     4615 |    12966    12973     17 |  0.001 % |
27.04/27.12	c |    231844 |     352     1522     4615 |    12966    11466     17 |  0.001 % |
27.04/27.13	c |    231977 |     352     1522     4615 |    12966    11599     17 |  0.001 % |
27.04/27.15	c |    232123 |     352     1522     4615 |    12966    11745     17 |  0.001 % |
27.04/27.17	c |    232284 |     352     1522     4615 |    12966    11906     17 |  0.001 % |
27.04/27.19	c |    232460 |     352     1522     4615 |    12966    12082     17 |  0.001 % |
27.14/27.21	c |    232656 |     352     1522     4615 |    12966    12278     17 |  0.001 % |
27.14/27.23	c |    232868 |     352     1522     4615 |    12966    12490     17 |  0.001 % |
27.14/27.25	c |    233101 |     352     1522     4615 |    12966    12723     17 |  0.001 % |
27.14/27.28	c |    233357 |     352     1522     4615 |    12966    12979     17 |  0.001 % |
27.24/27.31	c |    233638 |     352     1522     4615 |    12966    11710     17 |  0.001 % |
27.24/27.34	c |    233947 |     352     1522     4615 |    12966    12019     17 |  0.001 % |
27.24/27.37	c |    234286 |     352     1522     4615 |    12966    12358     17 |  0.001 % |
27.34/27.41	c |    234658 |     352     1522     4615 |    12966    12730     17 |  0.001 % |
27.34/27.46	c |    235067 |     352     1522     4615 |    12966    11612     17 |  0.001 % |
27.44/27.50	c |    235516 |     352     1522     4615 |    12966    12061     17 |  0.001 % |
27.44/27.56	c |    236010 |     352     1522     4615 |    12966    12555     17 |  0.001 % |
27.54/27.63	c |    236552 |     352     1522     4615 |    12966    11594     16 |  0.001 % |
27.54/27.69	c |    237149 |     352     1522     4615 |    12966    12191     17 |  0.001 % |
27.64/27.75	c |    237805 |     352     1522     4615 |    12966    12847     17 |  0.001 % |
27.73/27.83	c |    238525 |     352     1522     4615 |    12966    12111     16 |  0.001 % |
27.83/27.90	c |    239317 |     352     1522     4615 |    12966    12903     17 |  0.001 % |
27.93/28.01	c |    240189 |     352     1522     4615 |    12148    11013     16 |  0.001 % |
27.93/28.09	c |    241149 |     352     1522     4615 |    12148    11973     17 |  0.001 % |
28.13/28.20	c |    242203 |     352     1522     4615 |    12148    11809     17 |  0.001 % |
28.23/28.31	c |    243361 |     352     1522     4615 |    12148    11750     17 |  0.001 % |
28.33/28.45	c |    244634 |     352     1522     4615 |    12148    11805     17 |  0.001 % |
28.44/28.59	c |    246034 |     352     1522     4615 |    12148    11988     17 |  0.001 % |
28.63/28.75	c |    247574 |     352     1522     4615 |    12148    11091     17 |  0.001 % |
28.83/28.91	c |    249268 |     352     1522     4615 |    12148    11567     17 |  0.001 % |
29.03/29.11	c |    251131 |     352     1522     4615 | 2147483647    12212     17 |  0.001 % |
29.23/29.32	c |    253180 |     352     1522     4615 | 2147483647    14261     17 |  0.001 % |
29.54/29.62	c |    255433 |     352     1522     4615 | 2147483647    16514     17 |  0.001 % |
29.83/29.95	c |    257912 |     352     1522     4615 | 2147483647    18993     17 |  0.001 % |
29.83/29.96	c |    258012 |     352     1522     4615 | 2147483647    19093     17 |  0.001 % |
29.83/29.98	c |    258122 |     352     1522     4615 | 2147483647    19203     17 |  0.001 % |
29.93/30.00	c |    258243 |     352     1522     4615 | 2147483647    19324     17 |  0.001 % |
29.93/30.02	c |    258376 |     352     1522     4615 | 2147483647    19457     17 |  0.001 % |
29.93/30.05	c |    258522 |     352     1522     4615 | 2147483647    19603     17 |  0.001 % |
29.93/30.07	c |    258683 |     352     1522     4615 | 2147483647    19764     17 |  0.001 % |
30.03/30.11	c |    258860 |     352     1522     4615 | 2147483647    19941     17 |  0.001 % |
30.03/30.14	c |    259053 |     352     1522     4615 | 2147483647    20134     17 |  0.001 % |
30.03/30.18	c |    259267 |     352     1522     4615 | 2147483647    20348     17 |  0.001 % |
30.13/30.23	c |    259501 |     352     1522     4615 | 2147483647    20582     17 |  0.001 % |
30.13/30.29	c |    259757 |     352     1522     4615 | 2147483647    20838     17 |  0.001 % |
30.23/30.33	c |    260039 |     352     1522     4615 |    21082    21120     17 |  0.001 % |
30.33/30.40	c |    260350 |     352     1522     4615 |    21082    17303     17 |  0.001 % |
30.33/30.45	c |    260689 |     352     1522     4615 |    21082    17642     17 |  0.001 % |
30.43/30.50	c |    261062 |     352     1522     4615 |    21082    18015     17 |  0.001 % |
30.43/30.57	c |    261472 |     352     1522     4615 |    21082    18425     17 |  0.001 % |
30.53/30.63	c |    261921 |     352     1522     4615 |    21082    18874     17 |  0.001 % |
30.64/30.70	c |    262417 |     352     1522     4615 |    21082    19370     17 |  0.001 % |
30.64/30.78	c |    262959 |     352     1522     4615 |    21082    19912     17 |  0.001 % |
30.74/30.86	c |    263555 |     352     1522     4615 |    21082    20508     17 |  0.001 % |
30.93/31.00	c |    264211 |     352     1522     4615 |    21082    16393     17 |  0.001 % |
31.03/31.10	c |    264933 |     352     1522     4615 |    21082    17115     17 |  0.001 % |
31.13/31.20	c |    265726 |     352     1522     4615 |    21082    17908     18 |  0.001 % |
31.23/31.32	c |    266597 |     352     1522     4615 |    21082    18779     18 |  0.001 % |
31.33/31.46	c |    267555 |     352     1522     4615 |    21082    19737     18 |  0.001 % |
31.53/31.62	c |    268608 |     352     1522     4615 |    21082    20790     18 |  0.001 % |
31.63/31.79	c |    269766 |     352     1522     4615 |    21082    17093     18 |  0.001 % |
31.83/31.95	c |    271039 |     352     1522     4615 |    17327    14411     17 |  0.001 % |
32.03/32.13	c |    272440 |     352     1522     4615 |    17327    15812     17 |  0.001 % |
32.23/32.31	c |    273981 |     352     1522     4615 |    17327    17353     17 |  0.001 % |
32.33/32.49	c |    275676 |     352     1522     4615 |    17327    15568     17 |  0.001 % |
32.63/32.72	c |    277539 |     352     1522     4615 |    17327    14217     17 |  0.001 % |
32.83/32.94	c |    279588 |     352     1522     4615 |    17327    16266     18 |  0.001 % |
33.03/33.18	c |    281843 |     352     1522     4615 |    16679    15413     17 |  0.001 % |
33.33/33.44	c |    284321 |     352     1522     4615 |    16679    15061     17 |  0.001 % |
33.63/33.78	c |    287046 |     352     1522     4615 |    16679    14940     17 |  0.001 % |
33.63/33.79	c |    287147 |     352     1522     4615 |    16679    15041     17 |  0.001 % |
33.72/33.80	c |    287257 |     352     1522     4615 |    16679    15151     17 |  0.001 % |
33.72/33.82	c |    287378 |     352     1522     4615 |    16679    15272     17 |  0.001 % |
33.72/33.83	c |    287512 |     352     1522     4615 |    16679    15406     17 |  0.001 % |
33.72/33.86	c |    287658 |     352     1522     4615 |    16679    15552     17 |  0.001 % |
33.72/33.88	c |    287821 |     352     1522     4615 |    16679    15715     17 |  0.001 % |
33.82/33.91	c |    287997 |     352     1522     4615 |    16679    15891     17 |  0.001 % |
33.82/33.94	c |    288191 |     352     1522     4615 |    16679    16085     17 |  0.001 % |
33.82/33.96	c |    288405 |     352     1522     4615 |    16679    16299     17 |  0.001 % |
33.82/33.99	c |    288638 |     352     1522     4615 |    16679    16532     18 |  0.001 % |
33.93/34.03	c |    288895 |     352     1522     4615 |    16679    13846     17 |  0.001 % |
33.93/34.06	c |    289176 |     352     1522     4615 |    16679    14127     17 |  0.001 % |
33.93/34.09	c |    289487 |     352     1522     4615 |    16679    14438     17 |  0.001 % |
34.03/34.13	c |    289826 |     352     1522     4615 |    16679    14777     17 |  0.001 % |
34.03/34.18	c |    290198 |     352     1522     4615 |    14951    12535     17 |  0.001 % |
34.12/34.22	c |    290608 |     352     1522     4615 |    14951    12945     17 |  0.001 % |
34.12/34.26	c |    291058 |     352     1522     4615 |    14951    13395     17 |  0.001 % |
34.22/34.31	c |    291551 |     352     1522     4615 |    14951    13888     17 |  0.001 % |
34.22/34.37	c |    292094 |     352     1522     4615 |    14951    14431     17 |  0.001 % |
34.32/34.45	c |    292690 |     352     1522     4615 |    14951    12629     17 |  0.001 % |
34.42/34.52	c |    293346 |     352     1522     4615 |    14951    13285     17 |  0.001 % |
34.42/34.58	c |    294067 |     352     1522     4615 |    14951    14006     17 |  0.001 % |
34.52/34.66	c |    294860 |     352     1522     4615 |    14951    14799     17 |  0.001 % |
34.62/34.76	c |    295731 |     352     1522     4615 |    14951    13410     17 |  0.001 % |
34.72/34.86	c |    296691 |     352     1522     4615 |    14951    14370     17 |  0.001 % |
34.82/34.99	c |    297745 |     352     1522     4615 |    14951    13129     17 |  0.001 % |
35.03/35.11	c |    298903 |     352     1522     4615 |    14951    14287     17 |  0.001 % |
35.13/35.27	c |    300180 |     352     1522     4615 |    13113    11330     17 |  0.001 % |
35.32/35.40	c |    301580 |     352     1522     4615 |    13113    12730     17 |  0.001 % |
35.42/35.58	c |    303121 |     352     1522     4615 |    13113    12613     17 |  0.001 % |
35.62/35.78	c |    304817 |     352     1522     4615 |    13113    12670     17 |  0.001 % |
35.92/36.00	c |    306680 |     352     1522     4615 |    13113    12945     17 |  0.001 % |
36.12/36.23	c |    308729 |     352     1522     4615 |    13113    11808     17 |  0.001 % |
36.32/36.47	c |    310982 |     352     1522     4615 |    13080    12471     17 |  0.001 % |
36.62/36.70	c |    313460 |     352     1522     4615 |    13080    12001     16 |  0.001 % |
36.82/36.99	c |    316188 |     352     1522     4615 |    13080    11940     16 |  0.001 % |
37.12/37.30	c |    319185 |     352     1522     4615 |    13080    12084     16 |  0.001 % |
37.22/37.31	c |    319286 |     352     1522     4615 |    13080    12185     16 |  0.001 % |
37.22/37.32	c |    319396 |     352     1522     4615 |    13080    12295     16 |  0.001 % |
37.22/37.33	c |    319518 |     352     1522     4615 |    13080    12417     16 |  0.001 % |
37.22/37.35	c |    319651 |     352     1522     4615 |    13080    12550     16 |  0.001 % |
37.22/37.37	c |    319799 |     352     1522     4615 |    13080    12698     16 |  0.001 % |
37.22/37.38	c |    319960 |     352     1522     4615 |    13080    12859     16 |  0.001 % |
37.32/37.40	c |    320138 |     352     1522     4615 |    12899    11567     16 |  0.001 % |
37.32/37.42	c |    320333 |     352     1522     4615 |    12899    11762     16 |  0.001 % |
37.32/37.44	c |    320545 |     352     1522     4615 |    12899    11974     16 |  0.001 % |
37.32/37.46	c |    320779 |     352     1522     4615 |    12899    12208     16 |  0.001 % |
37.32/37.49	c |    321035 |     352     1522     4615 |    12899    12464     16 |  0.001 % |
37.42/37.51	c |    321317 |     352     1522     4615 |    12899    12746     16 |  0.001 % |
37.42/37.55	c |    321627 |     352     1522     4615 |    12899    11740     16 |  0.001 % |
37.42/37.58	c |    321966 |     352     1522     4615 |    12899    12079     17 |  0.001 % |
37.52/37.62	c |    322338 |     352     1522     4615 |    12899    12451     17 |  0.001 % |
37.52/37.66	c |    322749 |     352     1522     4615 |    12899    12862     17 |  0.001 % |
37.62/37.71	c |    323198 |     352     1522     4615 |    12899    12017     17 |  0.001 % |
37.62/37.76	c |    323692 |     352     1522     4615 |    12899    12511     17 |  0.001 % |
37.72/37.82	c |    324235 |     352     1522     4615 |    12899    11759     17 |  0.001 % |
37.72/37.89	c |    324834 |     352     1522     4615 |    12899    12358     17 |  0.001 % |
37.82/37.97	c |    325490 |     352     1522     4615 |    12899    11715     17 |  0.001 % |
37.92/38.04	c |    326211 |     352     1522     4615 |    12899    12436     17 |  0.001 % |
38.02/38.12	c |    327004 |     352     1522     4615 |    12899    11928     17 |  0.001 % |
38.12/38.21	c |    327875 |     352     1522     4615 |    12899    12799     17 |  0.001 % |
38.22/38.31	c |    328833 |     352     1522     4615 |    12899    12410     17 |  0.001 % |
38.32/38.43	c |    329888 |     352     1522     4615 |    12899    12069     17 |  0.001 % |
38.42/38.54	c |    331048 |     352     1522     4615 |    12181    11908     16 |  0.001 % |
38.52/38.67	c |    332321 |     352     1522     4615 |    12181    11909     16 |  0.001 % |
38.72/38.82	c |    333721 |     352     1522     4615 |    12181    12088     16 |  0.001 % |
38.82/38.96	c |    335261 |     352     1522     4615 |    12181    11184     16 |  0.001 % |
39.02/39.12	c |    336955 |     352     1522     4615 |    12181    11656     17 |  0.001 % |
39.22/39.32	c |    338820 |     352     1522     4615 |    12181    11079     16 |  0.001 % |
39.42/39.52	c |    340869 |     352     1522     4615 | 2147483647    11906     17 |  0.001 % |
39.61/39.77	c |    343123 |     352     1522     4615 | 2147483647    14160     17 |  0.001 % |
39.91/40.10	c |    345601 |     352     1522     4615 | 2147483647    16638     17 |  0.001 % |
40.31/40.47	c |    348329 |     352     1522     4615 | 2147483647    19366     17 |  0.001 % |
40.71/40.88	c |    351329 |     352     1522     4615 |    21038    18670     17 |  0.001 % |
41.21/41.34	c |    354626 |     352     1522     4615 |    21038    17519     17 |  0.001 % |
41.21/41.35	c |    354726 |     352     1522     4615 |    21038    17619     17 |  0.001 % |
41.21/41.37	c |    354836 |     352     1522     4615 |    21038    17729     17 |  0.001 % |
41.21/41.39	c |    354957 |     352     1522     4615 |    21038    17850     17 |  0.001 % |
41.31/41.40	c |    355092 |     352     1522     4615 |    21038    17985     17 |  0.001 % |
41.31/41.43	c |    355241 |     352     1522     4615 |    21038    18134     17 |  0.001 % |
41.31/41.46	c |    355401 |     352     1522     4615 |    21038    18294     17 |  0.001 % |
41.31/41.49	c |    355577 |     352     1522     4615 |    21038    18470     17 |  0.001 % |
41.41/41.52	c |    355770 |     352     1522     4615 |    21038    18663     17 |  0.001 % |
41.41/41.56	c |    355982 |     352     1522     4615 |    21038    18875     17 |  0.001 % |
41.51/41.60	c |    356216 |     352     1522     4615 |    21038    19109     17 |  0.001 % |
41.51/41.65	c |    356473 |     352     1522     4615 |    21038    19366     17 |  0.001 % |
41.51/41.70	c |    356755 |     352     1522     4615 |    21038    19648     17 |  0.001 % |
41.62/41.75	c |    357065 |     352     1522     4615 |    21038    19958     17 |  0.001 % |
41.62/41.80	c |    357404 |     352     1522     4615 |    21038    20297     17 |  0.001 % |
41.72/41.85	c |    357777 |     352     1522     4615 |    21038    20670     17 |  0.001 % |
41.81/41.91	c |    358186 |     352     1522     4615 |    21038    21079     17 |  0.001 % |
41.81/41.99	c |    358636 |     352     1522     4615 |    21038    16586     17 |  0.001 % |
41.91/42.06	c |    359131 |     352     1522     4615 |    21038    17081     17 |  0.001 % |
42.01/42.15	c |    359674 |     352     1522     4615 |    21038    17624     17 |  0.001 % |
42.11/42.24	c |    360271 |     352     1522     4615 |    17950    14015     17 |  0.001 % |
42.21/42.31	c |    360926 |     352     1522     4615 |    17950    14670     17 |  0.001 % |
42.21/42.39	c |    361646 |     352     1522     4615 |    17950    15390     17 |  0.001 % |
42.41/42.52	c |    362438 |     352     1522     4615 |    17950    16182     17 |  0.001 % |
42.51/42.64	c |    363310 |     352     1522     4615 |    17950    17054     17 |  0.001 % |
42.71/42.81	c |    364269 |     352     1522     4615 |    17950    13912     17 |  0.001 % |
42.81/42.95	c |    365324 |     352     1522     4615 |    17950    14967     17 |  0.001 % |
42.91/43.09	c |    366482 |     352     1522     4615 |    17950    16125     17 |  0.001 % |
43.11/43.25	c |    367756 |     352     1522     4615 |    17950    17399     17 |  0.001 % |
43.31/43.45	c |    369156 |     352     1522     4615 |    17950    14822     17 |  0.001 % |
43.51/43.63	c |    370696 |     352     1522     4615 |    15666    13000     17 |  0.001 % |
43.71/43.81	c |    372390 |     352     1522     4615 |    15666    14694     17 |  0.001 % |
43.91/44.05	c |    374254 |     352     1522     4615 |    15666    13570     17 |  0.001 % |
44.11/44.25	c |    376303 |     352     1522     4615 |    15666    15619     17 |  0.001 % |
44.41/44.53	c |    378556 |     352     1522     4615 |    15666    15077     17 |  0.001 % |
44.61/44.78	c |    381034 |     352     1522     4615 |    13762    12437     17 |  0.001 % |
44.91/45.09	c |    383759 |     352     1522     4615 |    13762    12950     16 |  0.001 % |
45.31/45.41	c |    386756 |     352     1522     4615 |    13762    11740     16 |  0.001 % |
45.61/45.77	c |    390054 |     352     1522     4615 |    12873    12926     16 |  0.001 % |
45.91/46.08	c |    393679 |     352     1522     4615 |    12873    11816     16 |  0.001 % |
45.91/46.09	c |    393779 |     352     1522     4615 |    12873    11916     16 |  0.001 % |
46.01/46.10	c |    393890 |     352     1522     4615 |    12873    12027     16 |  0.001 % |
46.01/46.11	c |    394012 |     352     1522     4615 |    12873    12149     16 |  0.001 % |
46.01/46.13	c |    394146 |     352     1522     4615 |    12873    12283     16 |  0.001 % |
46.01/46.15	c |    394293 |     352     1522     4615 |    12873    12430     16 |  0.001 % |
46.01/46.17	c |    394453 |     352     1522     4615 |    12873    12590     16 |  0.001 % |
46.01/46.19	c |    394630 |     352     1522     4615 |    12873    12767     16 |  0.001 % |
46.11/46.22	c |    394823 |     352     1522     4615 |    12873    11599     16 |  0.001 % |
46.11/46.24	c |    395035 |     352     1522     4615 |    12873    11811     16 |  0.001 % |
46.11/46.26	c |    395270 |     352     1522     4615 |    12873    12046     16 |  0.001 % |
46.11/46.29	c |    395526 |     352     1522     4615 |    12873    12302     16 |  0.001 % |
46.21/46.32	c |    395808 |     352     1522     4615 |    12873    12584     16 |  0.001 % |
46.21/46.35	c |    396118 |     352     1522     4615 |    12873    12894     16 |  0.001 % |
46.21/46.40	c |    396459 |     352     1522     4615 |    12873    11846     16 |  0.001 % |
46.31/46.44	c |    396832 |     352     1522     4615 |    12873    12219     16 |  0.001 % |
46.31/46.49	c |    397243 |     352     1522     4615 |    12873    12630     16 |  0.001 % |
46.41/46.54	c |    397692 |     352     1522     4615 |    12873    11612     16 |  0.001 % |
46.41/46.58	c |    398186 |     352     1522     4615 |    12873    12106     16 |  0.001 % |
46.51/46.63	c |    398729 |     352     1522     4615 |    12873    12649     16 |  0.001 % |
46.61/46.70	c |    399326 |     352     1522     4615 |    12873    11838     16 |  0.001 % |
46.61/46.76	c |    399982 |     352     1522     4615 |    12873    12494     16 |  0.001 % |
46.71/46.85	c |    400702 |     352     1522     4615 |    12513    11867     16 |  0.001 % |
46.81/46.93	c |    401497 |     352     1522     4615 |    12513    11273     16 |  0.001 % |
46.90/47.03	c |    402369 |     352     1522     4615 |    12513    12145     16 |  0.001 % |
47.00/47.13	c |    403328 |     352     1522     4615 |    12513    11712     16 |  0.001 % |
47.11/47.23	c |    404381 |     352     1522     4615 |    12513    11490     16 |  0.001 % |
47.21/47.34	c |    405539 |     352     1522     4615 |    12513    11393     16 |  0.001 % |
47.30/47.46	c |    406813 |     352     1522     4615 |    12513    11411     16 |  0.001 % |
47.40/47.59	c |    408215 |     352     1522     4615 |    12513    11557     17 |  0.001 % |
47.60/47.75	c |    409755 |     352     1522     4615 |    12513    11843     17 |  0.001 % |
47.80/47.92	c |    411450 |     352     1522     4615 | 2147483647    13538     17 |  0.001 % |
48.00/48.12	c |    413313 |     352     1522     4615 | 2147483647    15401     17 |  0.001 % |
48.21/48.34	c |    415362 |     352     1522     4615 | 2147483647    17450     17 |  0.001 % |
48.50/48.64	c |    417615 |     352     1522     4615 | 2147483647    19703     17 |  0.001 % |
49.00/49.12	c |    420094 |     352     1522     4615 |    22088    18001     17 |  0.001 % |
49.41/49.55	c |    422820 |     352     1522     4615 |    22088    20727     17 |  0.001 % |
49.90/50.05	c |    425817 |     352     1522     4615 |    22088    17999     17 |  0.001 % |
50.30/50.49	c |    429114 |     352     1522     4615 |    22088    21296     17 |  0.001 % |
50.70/50.89	c |    432740 |     352     1522     4615 |    16675    15268     17 |  0.001 % |
51.20/51.33	c |    436727 |     352     1522     4615 |    16675    16211     17 |  0.001 % |
51.20/51.35	c |    436827 |     352     1522     4615 |    16675    16311     17 |  0.001 % |
51.20/51.37	c |    436937 |     352     1522     4615 |    16675    16421     17 |  0.001 % |
51.20/51.39	c |    437062 |     352     1522     4615 |    16675    16546     17 |  0.001 % |
51.30/51.41	c |    437196 |     352     1522     4615 |    16675    16680     17 |  0.001 % |
51.30/51.44	c |    437343 |     352     1522     4615 |    16675    13765     17 |  0.001 % |
51.30/51.45	c |    437503 |     352     1522     4615 |    16675    13925     17 |  0.001 % |
51.30/51.47	c |    437679 |     352     1522     4615 |    16675    14101     17 |  0.001 % |
51.40/51.51	c |    437872 |     352     1522     4615 |    16675    14294     17 |  0.001 % |
51.40/51.53	c |    438085 |     352     1522     4615 |    16675    14507     17 |  0.001 % |
51.40/51.56	c |    438319 |     352     1522     4615 |    16675    14741     17 |  0.001 % |
51.40/51.58	c |    438575 |     352     1522     4615 |    16675    14997     17 |  0.001 % |
51.51/51.62	c |    438856 |     352     1522     4615 |    16675    15278     17 |  0.001 % |
51.51/51.65	c |    439166 |     352     1522     4615 |    16675    15588     17 |  0.001 % |
51.51/51.69	c |    439505 |     352     1522     4615 |    16675    15927     17 |  0.001 % |
51.60/51.74	c |    439877 |     352     1522     4615 |    16675    16299     17 |  0.001 % |
51.60/51.79	c |    440287 |     352     1522     4615 |    16422    13683     17 |  0.001 % |
51.70/51.84	c |    440739 |     352     1522     4615 |    16422    14135     17 |  0.001 % |
51.70/51.89	c |    441233 |     352     1522     4615 |    16422    14629     17 |  0.001 % |
51.80/51.96	c |    441776 |     352     1522     4615 |    16422    15172     17 |  0.001 % |
51.90/52.04	c |    442372 |     352     1522     4615 |    16422    15768     17 |  0.001 % |
52.00/52.11	c |    443028 |     352     1522     4615 |    16422    16424     17 |  0.001 % |
52.00/52.19	c |    443748 |     352     1522     4615 |    16422    14242     17 |  0.001 % |
52.10/52.28	c |    444541 |     352     1522     4615 |    16422    15035     17 |  0.001 % |
52.20/52.38	c |    445412 |     352     1522     4615 |    16422    15906     17 |  0.001 % |
52.40/52.51	c |    446374 |     352     1522     4615 |    16422    13946     17 |  0.001 % |
52.50/52.63	c |    447427 |     352     1522     4615 |    16422    14999     17 |  0.001 % |
52.60/52.77	c |    448585 |     352     1522     4615 |    16422    16157     17 |  0.001 % |
52.80/52.92	c |    449860 |     352     1522     4615 |    16422    14531     17 |  0.001 % |
52.90/53.07	c |    451261 |     352     1522     4615 |    14671    13407     17 |  0.001 % |
53.10/53.23	c |    452801 |     352     1522     4615 |    14671    12712     17 |  0.001 % |
53.30/53.40	c |    454497 |     352     1522     4615 |    14671    14408     17 |  0.001 % |
53.50/53.62	c |    456362 |     352     1522     4615 |    14671    14169     17 |  0.001 % |
53.70/53.85	c |    458411 |     352     1522     4615 |    14671    14152     18 |  0.001 % |
54.00/54.12	c |    460665 |     352     1522     4615 |    13659    12378     18 |  0.001 % |
54.20/54.37	c |    463143 |     352     1522     4615 |    13659    13207     19 |  0.001 % |
54.60/54.71	c |    465869 |     352     1522     4615 |    13659    12746     19 |  0.001 % |
54.90/55.04	c |    468867 |     352     1522     4615 |    13659    12554     19 |  0.001 % |
55.20/55.39	c |    472164 |     352     1522     4615 |    13687    12549     19 |  0.001 % |
55.60/55.78	c |    475792 |     352     1522     4615 |    13687    12845     18 |  0.001 % |
56.10/56.23	c |    479783 |     352     1522     4615 |    13687    13379     17 |  0.001 % |
56.50/56.68	c |    484169 |     352     1522     4615 |    13597    12588     17 |  0.001 % |
56.50/56.69	c |    484270 |     352     1522     4615 |    13597    12689     17 |  0.001 % |
56.60/56.70	c |    484380 |     352     1522     4615 |    13597    12799     17 |  0.001 % |
56.60/56.71	c |    484501 |     352     1522     4615 |    13597    12920     17 |  0.001 % |
56.60/56.73	c |    484635 |     352     1522     4615 |    13597    13054     17 |  0.001 % |
56.60/56.74	c |    484781 |     352     1522     4615 |    13597    13200     17 |  0.001 % |
56.60/56.76	c |    484941 |     352     1522     4615 |    13597    13360     17 |  0.001 % |
56.60/56.77	c |    485117 |     352     1522     4615 |    13597    13536     17 |  0.001 % |
56.70/56.80	c |    485311 |     352     1522     4615 |    13597    12060     17 |  0.001 % |
56.70/56.82	c |    485523 |     352     1522     4615 |    13597    12272     17 |  0.001 % |
56.70/56.84	c |    485757 |     352     1522     4615 |    13597    12506     17 |  0.001 % |
56.70/56.87	c |    486016 |     352     1522     4615 |    13597    12765     17 |  0.001 % |
56.80/56.90	c |    486298 |     352     1522     4615 |    13597    13047     17 |  0.001 % |
56.80/56.94	c |    486607 |     352     1522     4615 |    13597    13356     17 |  0.001 % |
56.80/56.98	c |    486948 |     352     1522     4615 |    13597    12035     17 |  0.001 % |
56.90/57.02	c |    487321 |     352     1522     4615 |    13597    12408     17 |  0.001 % |
56.90/57.06	c |    487731 |     352     1522     4615 |    13597    12818     17 |  0.001 % |
57.00/57.11	c |    488181 |     352     1522     4615 |    13597    13268     17 |  0.001 % |
57.00/57.17	c |    488674 |     352     1522     4615 |    13597    12120     17 |  0.001 % |
57.10/57.22	c |    489216 |     352     1522     4615 |    13597    12662     17 |  0.001 % |
57.10/57.28	c |    489812 |     352     1522     4615 |    13597    13258     17 |  0.001 % |
57.20/57.36	c |    490469 |     352     1522     4615 |    13448    12339     17 |  0.001 % |
57.30/57.44	c |    491190 |     352     1522     4615 |    13448    13060     17 |  0.001 % |
57.40/57.53	c |    491983 |     352     1522     4615 |    13448    12229     17 |  0.001 % |
57.50/57.63	c |    492854 |     352     1522     4615 |    13448    13100     17 |  0.001 % |
57.60/57.74	c |    493812 |     352     1522     4615 |    13448    12410     17 |  0.001 % |
57.70/57.86	c |    494866 |     352     1522     4615 |    13448    13464     17 |  0.001 % |
57.80/57.99	c |    496024 |     352     1522     4615 |    13448    12962     17 |  0.001 % |
58.00/58.11	c |    497298 |     352     1522     4615 |    13448    12581     17 |  0.001 % |
58.10/58.24	c |    498699 |     352     1522     4615 |    13448    12390     17 |  0.001 % |
58.30/58.41	c |    500240 |     352     1522     4615 |    12115    10947     17 |  0.001 % |
58.40/58.58	c |    501934 |     352     1522     4615 |    12115    11289     17 |  0.001 % |
58.60/58.78	c |    503800 |     352     1522     4615 |    12115    11846     17 |  0.001 % |
58.80/58.96	c |    505849 |     352     1522     4615 |    12115    11393     17 |  0.001 % |
59.00/59.18	c |    508103 |     352     1522     4615 |    12115    11217     17 |  0.001 % |
59.30/59.41	c |    510582 |     352     1522     4615 | 2147483647    12480     17 |  0.001 % |
59.50/59.65	c |    513307 |     352     1522     4615 | 2147483647    15205     17 |  0.001 % |
59.90/60.02	c |    516307 |     352     1522     4615 | 2147483647    18205     18 |  0.001 % |
60.40/60.53	c |    519605 |     352     1522     4615 | 2147483647    21503     18 |  0.001 % |
60.90/61.05	c |    523230 |     352     1522     4615 |    21899    20966     17 |  0.001 % |
61.50/61.65	c |    527217 |     352     1522     4615 |    21899    19719     17 |  0.001 % |
62.19/62.33	c |    531602 |     352     1522     4615 |    16798    14045     17 |  0.001 % |
62.69/62.86	c |    536425 |     352     1522     4615 |    16798    15300     17 |  0.001 % |
62.69/62.88	c |    536525 |     352     1522     4615 |    16798    15400     17 |  0.001 % |
62.69/62.89	c |    536638 |     352     1522     4615 |    16798    15513     17 |  0.001 % |
62.79/62.90	c |    536760 |     352     1522     4615 |    16798    15635     17 |  0.001 % |
62.79/62.92	c |    536893 |     352     1522     4615 |    16798    15768     17 |  0.001 % |
62.79/62.94	c |    537039 |     352     1522     4615 |    16798    15914     17 |  0.001 % |
62.79/62.97	c |    537200 |     352     1522     4615 |    16798    16075     17 |  0.001 % |
62.79/62.99	c |    537377 |     352     1522     4615 |    16798    16252     17 |  0.001 % |
62.89/63.02	c |    537571 |     352     1522     4615 |    16798    16446     17 |  0.001 % |
62.89/63.04	c |    537784 |     352     1522     4615 |    16798    16659     17 |  0.001 % |
62.89/63.09	c |    538019 |     352     1522     4615 |    16798    13390     17 |  0.001 % |
62.99/63.13	c |    538275 |     352     1522     4615 |    16798    13646     17 |  0.001 % |
62.99/63.16	c |    538557 |     352     1522     4615 |    16798    13928     17 |  0.001 % |
62.99/63.20	c |    538867 |     352     1522     4615 |    16798    14238     17 |  0.001 % |
63.09/63.24	c |    539207 |     352     1522     4615 |    16798    14578     17 |  0.001 % |
63.09/63.28	c |    539579 |     352     1522     4615 |    16798    14950     17 |  0.001 % |
63.19/63.32	c |    539988 |     352     1522     4615 |    16798    15359     17 |  0.001 % |
63.29/63.40	c |    540437 |     352     1522     4615 |    15372    12638     17 |  0.001 % |
63.29/63.45	c |    540931 |     352     1522     4615 |    15372    13132     17 |  0.001 % |
63.39/63.51	c |    541474 |     352     1522     4615 |    15372    13675     17 |  0.001 % |
63.39/63.58	c |    542070 |     352     1522     4615 |    15372    14271     17 |  0.001 % |
63.49/63.66	c |    542725 |     352     1522     4615 |    15372    14926     17 |  0.001 % |
63.60/63.75	c |    543446 |     352     1522     4615 |    15372    12748     17 |  0.001 % |
63.70/63.84	c |    544238 |     352     1522     4615 |    15372    13540     17 |  0.001 % |
63.79/63.95	c |    545110 |     352     1522     4615 |    15372    14412     17 |  0.001 % |
63.89/64.08	c |    546069 |     352     1522     4615 |    15372    15371     17 |  0.001 % |
64.09/64.20	c |    547123 |     352     1522     4615 |    15372    13533     17 |  0.001 % |
64.19/64.33	c |    548284 |     352     1522     4615 |    15372    14694     17 |  0.001 % |
64.29/64.48	c |    549557 |     352     1522     4615 |    15372    13264     17 |  0.001 % |
64.49/64.61	c |    550957 |     352     1522     4615 |    13708    12318     17 |  0.001 % |
64.59/64.78	c |    552498 |     352     1522     4615 |    13708    11877     17 |  0.001 % |
64.80/64.93	c |    554192 |     352     1522     4615 |    13708    13571     17 |  0.001 % |
64.99/65.12	c |    556057 |     352     1522     4615 |    13708    13642     17 |  0.001 % |
65.19/65.34	c |    558106 |     352     1522     4615 |    13708    12226     17 |  0.001 % |
65.39/65.59	c |    560360 |     352     1522     4615 |    12370    11156     17 |  0.001 % |
65.69/65.84	c |    562838 |     352     1522     4615 |    12370    12192     17 |  0.001 % |
65.99/66.13	c |    565565 |     352     1522     4615 |    12370    12256     17 |  0.001 % |
66.29/66.41	c |    568562 |     352     1522     4615 |    12370    11479     17 |  0.001 % |
66.59/66.71	c |    571859 |     352     1522     4615 | 2147483647    13535     18 |  0.001 % |
66.89/67.09	c |    575484 |     352     1522     4615 | 2147483647    17160     18 |  0.001 % |
67.49/67.62	c |    579471 |     352     1522     4615 | 2147483647    21147     18 |  0.001 % |
68.29/68.43	c |    583856 |     352     1522     4615 |    21677    16426     18 |  0.001 % |
68.99/69.14	c |    588679 |     352     1522     4615 |    21677    21249     18 |  0.001 % |
69.69/69.81	c |    593984 |     352     1522     4615 |    17111    16837     18 |  0.001 % |
69.69/69.83	c |    594085 |     352     1522     4615 |    17111    16938     18 |  0.001 % |
69.69/69.85	c |    594196 |     352     1522     4615 |    17111    17049     18 |  0.001 % |
69.69/69.87	c |    594317 |     352     1522     4615 |    17111    13484     18 |  0.001 % |
69.69/69.89	c |    594451 |     352     1522     4615 |    17111    13618     18 |  0.001 % |
69.79/69.91	c |    594597 |     352     1522     4615 |    17111    13764     18 |  0.001 % |
69.79/69.93	c |    594757 |     352     1522     4615 |    17111    13924     18 |  0.001 % |
69.79/69.96	c |    594936 |     352     1522     4615 |    17111    14103     18 |  0.001 % |
69.79/69.99	c |    595130 |     352     1522     4615 |    17111    14297     18 |  0.001 % |
69.89/70.01	c |    595342 |     352     1522     4615 |    17111    14509     18 |  0.001 % |
69.89/70.04	c |    595575 |     352     1522     4615 |    17111    14742     18 |  0.001 % |
69.89/70.08	c |    595831 |     352     1522     4615 |    17111    14998     18 |  0.001 % |
69.98/70.11	c |    596112 |     352     1522     4615 |    17111    15279     18 |  0.001 % |
69.98/70.15	c |    596421 |     352     1522     4615 |    17111    15588     18 |  0.001 % |
69.98/70.19	c |    596760 |     352     1522     4615 |    17111    15927     18 |  0.001 % |
70.08/70.24	c |    597133 |     352     1522     4615 |    17111    16300     18 |  0.001 % |
70.19/70.30	c |    597544 |     352     1522     4615 |    17111    16711     18 |  0.001 % |
70.19/70.37	c |    597994 |     352     1522     4615 |    17111    13527     18 |  0.001 % |
70.29/70.43	c |    598487 |     352     1522     4615 |    17111    14020     18 |  0.001 % |
70.29/70.50	c |    599029 |     352     1522     4615 |    17111    14562     18 |  0.001 % |
70.38/70.56	c |    599625 |     352     1522     4615 |    17111    15158     18 |  0.001 % |
70.49/70.65	c |    600280 |     352     1522     4615 |    15533    12666     18 |  0.001 % |
70.59/70.72	c |    601000 |     352     1522     4615 |    15533    13386     18 |  0.001 % |
70.69/70.82	c |    601795 |     352     1522     4615 |    15533    14181     18 |  0.001 % |
70.79/70.91	c |    602667 |     352     1522     4615 |    15533    15053     18 |  0.001 % |
70.89/71.02	c |    603625 |     352     1522     4615 |    15533    13245     18 |  0.001 % |
70.99/71.13	c |    604679 |     352     1522     4615 |    15533    14299     17 |  0.001 % |
71.09/71.24	c |    605837 |     352     1522     4615 |    15533    15457     18 |  0.001 % |
71.30/71.41	c |    607112 |     352     1522     4615 |    15533    14272     17 |  0.001 % |
71.40/71.57	c |    608513 |     352     1522     4615 |    15533    13253     17 |  0.001 % |
71.59/71.75	c |    610053 |     352     1522     4615 |    14740    14793     17 |  0.001 % |
71.79/71.95	c |    611749 |     352     1522     4615 |    14740    14152     17 |  0.001 % |
71.99/72.15	c |    613612 |     352     1522     4615 |    14740    13750     17 |  0.001 % |
72.19/72.37	c |    615661 |     352     1522     4615 |    14740    13717     17 |  0.001 % |
72.49/72.62	c |    617914 |     352     1522     4615 |    14740    13948     17 |  0.001 % |
72.69/72.89	c |    620393 |     352     1522     4615 |    14009    12509     18 |  0.001 % |
73.09/73.20	c |    623123 |     352     1522     4615 |    14009    13405     18 |  0.001 % |
73.39/73.56	c |    626120 |     352     1522     4615 |    14009    12588     18 |  0.001 % |
73.79/73.94	c |    629416 |     352     1522     4615 |    14009    13906     18 |  0.001 % |
74.19/74.33	c |    633042 |     352     1522     4615 |    12428    11894     18 |  0.001 % |
74.49/74.69	c |    637029 |     352     1522     4615 |    12428    11311     17 |  0.001 % |
74.99/75.10	c |    641416 |     352     1522     4615 |    11593    10616     17 |  0.001 % |
75.39/75.55	c |    646242 |     352     1522     4615 |    11593    10793     17 |  0.001 % |
75.89/76.07	c |    651548 |     352     1522     4615 | 2147483647    12608     18 |  0.001 % |
76.48/76.67	c |    657384 |     352     1522     4615 | 2147483647    18444     18 |  0.001 % |
76.48/76.68	c |    657486 |     352     1522     4615 | 2147483647    18546     18 |  0.001 % |
76.59/76.70	c |    657596 |     352     1522     4615 | 2147483647    18656     18 |  0.001 % |
76.59/76.72	c |    657717 |     352     1522     4615 | 2147483647    18777     18 |  0.001 % |
76.59/76.73	c |    657852 |     352     1522     4615 | 2147483647    18912     18 |  0.001 % |
76.59/76.75	c |    657998 |     352     1522     4615 | 2147483647    19058     18 |  0.001 % |
76.59/76.77	c |    658158 |     352     1522     4615 | 2147483647    19218     18 |  0.001 % |
76.59/76.80	c |    658336 |     352     1522     4615 | 2147483647    19396     18 |  0.001 % |
76.69/76.82	c |    658529 |     352     1522     4615 | 2147483647    19589     18 |  0.001 % |
76.69/76.85	c |    658741 |     352     1522     4615 | 2147483647    19801     18 |  0.001 % |
76.69/76.89	c |    658974 |     352     1522     4615 | 2147483647    20034     18 |  0.001 % |
76.79/76.93	c |    659230 |     352     1522     4615 | 2147483647    20290     18 |  0.001 % |
76.79/76.97	c |    659511 |     352     1522     4615 | 2147483647    20571     18 |  0.001 % |
76.89/77.03	c |    659821 |     352     1522     4615 | 2147483647    20881     18 |  0.001 % |
76.89/77.10	c |    660160 |     352     1522     4615 |    21060    17721     17 |  0.001 % |
76.98/77.14	c |    660533 |     352     1522     4615 |    21060    18094     18 |  0.001 % |
76.98/77.20	c |    660943 |     352     1522     4615 |    21060    18504     18 |  0.001 % |
77.08/77.26	c |    661394 |     352     1522     4615 |    21060    18955     18 |  0.001 % |
77.18/77.34	c |    661887 |     352     1522     4615 |    21060    19448     18 |  0.001 % |
77.28/77.42	c |    662430 |     352     1522     4615 |    21060    19991     18 |  0.001 % |
77.38/77.51	c |    663028 |     352     1522     4615 |    21060    20589     18 |  0.001 % |
77.48/77.63	c |    663683 |     352     1522     4615 |    21060    16677     18 |  0.001 % |
77.58/77.73	c |    664403 |     352     1522     4615 |    21060    17397     18 |  0.001 % |
77.68/77.85	c |    665196 |     352     1522     4615 |    21060    18190     18 |  0.001 % |
77.78/78.00	c |    666069 |     352     1522     4615 |    21060    19063     18 |  0.001 % |
77.98/78.14	c |    667027 |     352     1522     4615 |    21060    20021     18 |  0.001 % |
78.08/78.30	c |    668081 |     352     1522     4615 |    21060    21075     18 |  0.001 % |
78.28/78.46	c |    669239 |     352     1522     4615 |    21060    17278     17 |  0.001 % |
78.48/78.62	c |    670514 |     352     1522     4615 |    18040    14389     17 |  0.001 % |
78.58/78.78	c |    671915 |     352     1522     4615 |    18040    15790     17 |  0.001 % |
78.78/78.98	c |    673456 |     352     1522     4615 |    18040    17331     18 |  0.001 % |
79.08/79.22	c |    675150 |     352     1522     4615 |    18040    15289     18 |  0.001 % |
79.27/79.45	c |    677013 |     352     1522     4615 |    18040    17152     18 |  0.001 % |
79.57/79.73	c |    679066 |     352     1522     4615 |    18040    15533     18 |  0.001 % |
79.77/79.99	c |    681319 |     352     1522     4615 |    16467    14496     18 |  0.001 % |
80.08/80.27	c |    683797 |     352     1522     4615 |    16467    14154     18 |  0.001 % |
80.47/80.60	c |    686522 |     352     1522     4615 |    16467    14000     17 |  0.001 % |
80.77/80.96	c |    689520 |     352     1522     4615 |    16467    14112     17 |  0.001 % |
81.18/81.34	c |    692817 |     352     1522     4615 |    14592    12347     17 |  0.001 % |
81.47/81.69	c |    696442 |     352     1522     4615 |    14592    13658     17 |  0.001 % |
81.87/82.08	c |    700433 |     352     1522     4615 |    13005    11628     18 |  0.001 % |
82.38/82.54	c |    704818 |     352     1522     4615 |    13005    12652     18 |  0.001 % |
82.97/83.10	c |    709642 |     352     1522     4615 |    13005    12558     18 |  0.001 % |
83.48/83.66	c |    714947 |     352     1522     4615 |    12917    11900     17 |  0.001 % |
84.07/84.28	c |    720784 |     352     1522     4615 |    12703    12118     16 |  0.001 % |
84.77/84.95	c |    727202 |     352     1522     4615 |    12703    12525     16 |  0.001 % |
84.77/84.96	c |    727304 |     352     1522     4615 |    12703    12627     16 |  0.001 % |
84.77/84.98	c |    727415 |     352     1522     4615 |    12703    12738     16 |  0.001 % |
84.77/84.99	c |    727536 |     352     1522     4615 |    12703    11433     16 |  0.001 % |
84.87/85.00	c |    727670 |     352     1522     4615 |    12703    11567     16 |  0.001 % |
84.87/85.02	c |    727817 |     352     1522     4615 |    12703    11714     16 |  0.001 % |
84.87/85.03	c |    727979 |     352     1522     4615 |    12703    11876     16 |  0.001 % |
84.87/85.04	c |    728155 |     352     1522     4615 |    12703    12052     16 |  0.001 % |
84.87/85.06	c |    728348 |     352     1522     4615 |    12703    12245     16 |  0.001 % |
84.87/85.09	c |    728561 |     352     1522     4615 |    12703    12458     16 |  0.001 % |
84.97/85.12	c |    728794 |     352     1522     4615 |    12703    12691     16 |  0.001 % |
84.97/85.15	c |    729052 |     352     1522     4615 |    12703    11532     16 |  0.001 % |
84.97/85.17	c |    729335 |     352     1522     4615 |    12703    11815     16 |  0.001 % |
85.07/85.20	c |    729645 |     352     1522     4615 |    12703    12125     16 |  0.001 % |
85.07/85.23	c |    729986 |     352     1522     4615 |    12703    12466     17 |  0.001 % |
85.07/85.27	c |    730359 |     352     1522     4615 |    12481    11511     17 |  0.001 % |
85.17/85.32	c |    730768 |     352     1522     4615 |    12481    11920     17 |  0.001 % |
85.17/85.37	c |    731218 |     352     1522     4615 |    12481    12370     17 |  0.001 % |
85.27/85.43	c |    731712 |     352     1522     4615 |    12481    11567     17 |  0.001 % |
85.27/85.49	c |    732254 |     352     1522     4615 |    12481    12109     17 |  0.001 % |
85.37/85.56	c |    732851 |     352     1522     4615 |    12481    11430     16 |  0.001 % |
85.47/85.62	c |    733506 |     352     1522     4615 |    12481    12085     17 |  0.001 % |
85.47/85.69	c |    734228 |     352     1522     4615 |    12481    11556     17 |  0.001 % |
85.57/85.76	c |    735020 |     352     1522     4615 |    12481    12348     17 |  0.001 % |
85.67/85.85	c |    735891 |     352     1522     4615 |    12481    11967     17 |  0.001 % |
85.77/85.95	c |    736849 |     352     1522     4615 |    12481    11673     17 |  0.001 % |
85.87/86.07	c |    737902 |     352     1522     4615 |    12481    11475     17 |  0.001 % |
85.97/86.19	c |    739061 |     352     1522     4615 |    12481    11382     17 |  0.001 % |
86.17/86.32	c |    740335 |     352     1522     4615 | 2147483647    12656     17 |  0.001 % |
86.27/86.48	c |    741735 |     352     1522     4615 | 2147483647    14056     17 |  0.001 % |
86.47/86.68	c |    743277 |     352     1522     4615 | 2147483647    15598     17 |  0.001 % |
86.77/86.91	c |    744973 |     352     1522     4615 | 2147483647    17294     17 |  0.001 % |
86.97/87.18	c |    746838 |     352     1522     4615 | 2147483647    19159     17 |  0.001 % |
87.27/87.43	c |    748889 |     352     1522     4615 | 2147483647    21210     17 |  0.001 % |
87.57/87.79	c |    751142 |     352     1522     4615 |    22323    19292     17 |  0.001 % |
87.97/88.16	c |    753620 |     352     1522     4615 |    22323    21770     17 |  0.001 % |
88.37/88.55	c |    756345 |     352     1522     4615 |    22323    19494     17 |  0.001 % |
88.87/89.09	c |    759343 |     352     1522     4615 |    22323    17063     17 |  0.001 % |
89.37/89.54	c |    762640 |     352     1522     4615 |    17720    16024     17 |  0.001 % |
89.87/90.00	c |    766266 |     352     1522     4615 |    17720    15491     17 |  0.001 % |
90.37/90.51	c |    770253 |     352     1522     4615 |    15325    12283     16 |  0.001 % |
90.77/90.96	c |    774639 |     352     1522     4615 |    15325    14107     16 |  0.001 % |
91.27/91.46	c |    779462 |     352     1522     4615 |    15325    14178     16 |  0.001 % |
91.87/92.01	c |    784768 |     352     1522     4615 |    14716    13045     17 |  0.001 % |
92.57/92.75	c |    790603 |     352     1522     4615 |    13657    12107     17 |  0.001 % |
93.27/93.45	c |    797021 |     352     1522     4615 |    13657    12910     17 |  0.001 % |
93.87/94.08	c |    804081 |     352     1522     4615 |    12144    11870     18 |  0.001 % |
93.87/94.09	c |    804183 |     352     1522     4615 |    12144    11972     18 |  0.001 % |
93.97/94.11	c |    804293 |     352     1522     4615 |    12144    12082     18 |  0.001 % |
93.97/94.12	c |    804417 |     352     1522     4615 |    12144    10867     18 |  0.001 % |
93.97/94.14	c |    804550 |     352     1522     4615 |    12144    11000     18 |  0.001 % |
93.97/94.16	c |    804696 |     352     1522     4615 |    12144    11146     18 |  0.001 % |
93.97/94.17	c |    804856 |     352     1522     4615 |    12144    11306     18 |  0.001 % |
93.97/94.19	c |    805032 |     352     1522     4615 |    12144    11482     18 |  0.001 % |
94.07/94.21	c |    805225 |     352     1522     4615 |    12144    11675     18 |  0.001 % |
94.07/94.23	c |    805437 |     352     1522     4615 |    12144    11887     18 |  0.001 % |
94.07/94.25	c |    805672 |     352     1522     4615 |    12144    12122     18 |  0.001 % |
94.07/94.28	c |    805928 |     352     1522     4615 |    12144    11056     18 |  0.001 % |
94.17/94.31	c |    806211 |     352     1522     4615 |    12144    11339     18 |  0.001 % |
94.17/94.34	c |    806520 |     352     1522     4615 |    12144    11648     18 |  0.001 % |
94.17/94.38	c |    806860 |     352     1522     4615 |    12144    11988     18 |  0.001 % |
94.27/94.42	c |    807235 |     352     1522     4615 |    12144    11013     18 |  0.001 % |
94.27/94.46	c |    807644 |     352     1522     4615 |    12144    11422     18 |  0.001 % |
94.37/94.50	c |    808094 |     352     1522     4615 |    12144    11872     18 |  0.001 % |
94.37/94.56	c |    808587 |     352     1522     4615 |    12144    11028     18 |  0.001 % |
94.47/94.62	c |    809131 |     352     1522     4615 |    12144    11572     18 |  0.001 % |
94.47/94.68	c |    809727 |     352     1522     4615 |    12144    12168     18 |  0.001 % |
94.57/94.75	c |    810383 |     352     1522     4615 |    11112    10295     17 |  0.001 % |
94.67/94.81	c |    811103 |     352     1522     4615 |    11112    11015     17 |  0.001 % |
94.67/94.89	c |    811895 |     352     1522     4615 |    11112    10691     17 |  0.001 % |
94.77/94.97	c |    812770 |     352     1522     4615 |    11112    10452     17 |  0.001 % |
94.87/95.07	c |    813728 |     352     1522     4615 |    11112    10296     17 |  0.001 % |
94.97/95.16	c |    814781 |     352     1522     4615 |    11112    10235     17 |  0.001 % |
95.06/95.27	c |    815939 |     352     1522     4615 |    11112    10279     17 |  0.001 % |
95.26/95.41	c |    817217 |     352     1522     4615 |    11112    10443     17 |  0.001 % |
95.36/95.54	c |    818617 |     352     1522     4615 |    11112    10727     17 |  0.001 % |
95.47/95.68	c |    820157 |     352     1522     4615 | 2147483647    11151     17 |  0.001 % |
95.66/95.85	c |    821853 |     352     1522     4615 | 2147483647    12847     17 |  0.001 % |
95.86/96.08	c |    823716 |     352     1522     4615 | 2147483647    14710     17 |  0.001 % |
96.16/96.31	c |    825766 |     352     1522     4615 | 2147483647    16760     17 |  0.001 % |
96.36/96.59	c |    828022 |     352     1522     4615 | 2147483647    19016     17 |  0.001 % |
96.67/96.88	c |    830501 |     352     1522     4615 |    20997    18291     17 |  0.001 % |
97.16/97.31	c |    833226 |     352     1522     4615 |    20997    21016     17 |  0.001 % |
97.56/97.79	c |    836223 |     352     1522     4615 |    20997    19398     17 |  0.001 % |
98.06/98.29	c |    839520 |     352     1522     4615 |    20997    17480     16 |  0.001 % |
98.46/98.68	c |    843145 |     352     1522     4615 |    17960    16682     17 |  0.001 % |
99.06/99.20	c |    847133 |     352     1522     4615 |    17960    16691     17 |  0.001 % |
99.56/99.75	c |    851518 |     352     1522     4615 |    15506    13557     17 |  0.001 % |
100.06/100.24	c |    856341 |     352     1522     4615 |    15506    15352     17 |  0.001 % |
100.66/100.82	c |    861646 |     352     1522     4615 |    13336    12626     17 |  0.001 % |
101.36/101.50	c |    867481 |     352     1522     4615 |    13336    12046     17 |  0.001 % |
102.06/102.22	c |    873899 |     352     1522     4615 |    12407    12416     17 |  0.001 % |
102.66/102.89	c |    880959 |     352     1522     4615 |    12273    11844     17 |  0.001 % |
103.56/103.77	c |    888723 |     352     1522     4615 |    12273    11948     17 |  0.001 % |
103.56/103.78	c |    888823 |     352     1522     4615 |    12273    12048     17 |  0.001 % |
103.56/103.79	c |    888933 |     352     1522     4615 |    12273    12158     17 |  0.001 % |
103.66/103.80	c |    889056 |     352     1522     4615 |    12273    12281     17 |  0.001 % |
103.66/103.82	c |    889189 |     352     1522     4615 |    12273    10932     17 |  0.001 % |
103.66/103.84	c |    889337 |     352     1522     4615 |    12273    11080     17 |  0.001 % |
103.66/103.86	c |    889497 |     352     1522     4615 |    12273    11240     17 |  0.001 % |
103.66/103.87	c |    889673 |     352     1522     4615 |    12273    11416     17 |  0.001 % |
103.66/103.89	c |    889866 |     352     1522     4615 |    12273    11609     17 |  0.001 % |
103.76/103.92	c |    890078 |     352     1522     4615 |    11743    10417     17 |  0.001 % |
103.76/103.94	c |    890311 |     352     1522     4615 |    11743    10650     17 |  0.001 % |
103.76/103.96	c |    890567 |     352     1522     4615 |    11743    10906     17 |  0.001 % |
103.76/103.99	c |    890851 |     352     1522     4615 |    11743    11190     17 |  0.001 % |
103.85/104.02	c |    891160 |     352     1522     4615 |    11743    11499     17 |  0.001 % |
103.85/104.05	c |    891499 |     352     1522     4615 |    11743    10609     17 |  0.001 % |
103.85/104.09	c |    891872 |     352     1522     4615 |    11743    10982     17 |  0.001 % |
103.95/104.13	c |    892282 |     352     1522     4615 |    11743    11392     17 |  0.001 % |
103.95/104.18	c |    892731 |     352     1522     4615 |    11743    10664     17 |  0.001 % |
104.05/104.23	c |    893224 |     352     1522     4615 |    11743    11157     17 |  0.001 % |
104.05/104.28	c |    893767 |     352     1522     4615 |    11743    11700     17 |  0.001 % |
104.15/104.34	c |    894363 |     352     1522     4615 |    11743    11118     17 |  0.001 % |
104.26/104.40	c |    895018 |     352     1522     4615 |    11743    11773     17 |  0.001 % |
104.26/104.47	c |    895738 |     352     1522     4615 |    11743    11316     17 |  0.001 % |
104.36/104.54	c |    896530 |     352     1522     4615 |    11743    10929     17 |  0.001 % |
104.45/104.63	c |    897401 |     352     1522     4615 |    11743    10624     17 |  0.001 % |
104.55/104.72	c |    898359 |     352     1522     4615 |    11743    11582     17 |  0.001 % |
104.65/104.82	c |    899414 |     352     1522     4615 |    11743    11461     17 |  0.001 % |
104.75/104.93	c |    900572 |     352     1522     4615 | 2147483647    11439     17 |  0.001 % |
104.85/105.06	c |    901845 |     352     1522     4615 | 2147483647    12712     17 |  0.001 % |
105.05/105.21	c |    903245 |     352     1522     4615 | 2147483647    14112     18 |  0.001 % |
105.15/105.39	c |    904786 |     352     1522     4615 | 2147483647    15653     18 |  0.001 % |
105.46/105.63	c |    906481 |     352     1522     4615 | 2147483647    17348     18 |  0.001 % |
105.65/105.89	c |    908345 |     352     1522     4615 | 2147483647    19212     18 |  0.001 % |
105.95/106.19	c |    910394 |     352     1522     4615 |    20867    17790     18 |  0.001 % |
106.25/106.49	c |    912647 |     352     1522     4615 |    20867    20043     18 |  0.001 % |
106.65/106.86	c |    915125 |     352     1522     4615 |    20867    18182     18 |  0.001 % |
107.25/107.40	c |    917851 |     352     1522     4615 |    20867    15876     17 |  0.001 % |
107.56/107.77	c |    920849 |     352     1522     4615 |    18025    14594     16 |  0.001 % |
107.95/108.16	c |    924145 |     352     1522     4615 |    18025    17890     17 |  0.001 % |
108.35/108.60	c |    927773 |     352     1522     4615 |    18025    17656     17 |  0.001 % |
108.95/109.10	c |    931760 |     352     1522     4615 |    16055    14417     17 |  0.001 % |
109.35/109.58	c |    936146 |     352     1522     4615 |    16055    15699     17 |  0.001 % |
109.95/110.10	c |    940969 |     352     1522     4615 |    13889    12521     18 |  0.001 % |
110.45/110.68	c |    946276 |     352     1522     4615 |    13889    12173     19 |  0.001 % |
111.05/111.29	c |    952115 |     352     1522     4615 |    12265    11296     17 |  0.001 % |
111.75/111.97	c |    958533 |     352     1522     4615 |    12265    11646     17 |  0.001 % |
112.35/112.56	c |    965593 |     352     1522     4615 |    11691    11316     17 |  0.001 % |
113.06/113.29	c |    973357 |     352     1522     4615 | 2147483647    14392     19 |  0.001 % |
114.35/114.50	c |    981897 |     352     1522     4615 |    21038    19306     18 |  0.001 % |
114.35/114.52	c |    981997 |     352     1522     4615 |    21038    19406     18 |  0.001 % |
114.35/114.54	c |    982108 |     352     1522     4615 |    21038    19517     18 |  0.001 % |
114.35/114.56	c |    982231 |     352     1522     4615 |    21038    19640     18 |  0.001 % |
114.35/114.58	c |    982365 |     352     1522     4615 |    21038    19774     18 |  0.001 % |
114.45/114.60	c |    982512 |     352     1522     4615 |    21038    19921     18 |  0.001 % |
114.45/114.62	c |    982672 |     352     1522     4615 |    21038    20081     18 |  0.001 % |
114.45/114.65	c |    982850 |     352     1522     4615 |    21038    20259     18 |  0.001 % |
114.45/114.68	c |    983045 |     352     1522     4615 |    21038    20454     18 |  0.001 % |
114.55/114.72	c |    983257 |     352     1522     4615 |    21038    20666     18 |  0.001 % |
114.55/114.77	c |    983490 |     352     1522     4615 |    21038    20899     18 |  0.001 % |
114.65/114.83	c |    983747 |     352     1522     4615 |    21038    16497     18 |  0.001 % |
114.65/114.87	c |    984028 |     352     1522     4615 |    21038    16778     18 |  0.001 % |
114.75/114.91	c |    984338 |     352     1522     4615 |    21038    17088     18 |  0.001 % |
114.75/114.98	c |    984677 |     352     1522     4615 |    21038    17427     18 |  0.001 % |
114.85/115.03	c |    985049 |     352     1522     4615 |    21038    17799     18 |  0.001 % |
114.85/115.08	c |    985458 |     352     1522     4615 |    21038    18208     18 |  0.001 % |
114.95/115.13	c |    985907 |     352     1522     4615 |    21038    18657     18 |  0.001 % |
115.05/115.20	c |    986400 |     352     1522     4615 |    21038    19150     18 |  0.001 % |
115.05/115.29	c |    986942 |     352     1522     4615 |    21038    19692     18 |  0.001 % |
115.25/115.41	c |    987540 |     352     1522     4615 |    21038    20290     18 |  0.001 % |
115.35/115.52	c |    988195 |     352     1522     4615 |    21038    20945     18 |  0.001 % |
115.45/115.64	c |    988915 |     352     1522     4615 |    21038    16575     17 |  0.001 % |
115.55/115.75	c |    989707 |     352     1522     4615 |    21038    17367     17 |  0.001 % |
115.65/115.86	c |    990579 |     352     1522     4615 |    17660    14051     17 |  0.001 % |
115.75/115.97	c |    991538 |     352     1522     4615 |    17660    15010     17 |  0.001 % |
115.95/116.12	c |    992591 |     352     1522     4615 |    17660    16063     17 |  0.001 % |
116.05/116.29	c |    993751 |     352     1522     4615 |    17660    17223     17 |  0.001 % |
116.25/116.47	c |    995026 |     352     1522     4615 |    17660    14648     17 |  0.001 % |
116.45/116.62	c |    996427 |     352     1522     4615 |    17660    16049     17 |  0.001 % |
116.65/116.82	c |    997967 |     352     1522     4615 |    17660    17589     17 |  0.001 % |
116.85/117.03	c |    999661 |     352     1522     4615 |    17660    15588     17 |  0.001 % |
117.05/117.24	c |   1001524 |     352     1522     4615 |    15929    14194     17 |  0.001 % |
117.25/117.47	c |   1003573 |     352     1522     4615 |    15929    13205     17 |  0.001 % |
117.55/117.72	c |   1005826 |     352     1522     4615 |    15929    15458     17 |  0.001 % |
117.85/118.00	c |   1008304 |     352     1522     4615 |    15929    14824     17 |  0.001 % |
118.15/118.32	c |   1011029 |     352     1522     4615 |    13446    11891     17 |  0.001 % |
118.45/118.62	c |   1014027 |     352     1522     4615 |    13446    12714     17 |  0.001 % |
118.85/119.00	c |   1017323 |     352     1522     4615 |    13446    11995     17 |  0.001 % |
119.15/119.35	c |   1020950 |     352     1522     4615 |    12757    11927     17 |  0.001 % |
119.54/119.77	c |   1024937 |     352     1522     4615 |    12757    11356     17 |  0.001 % |
120.05/120.23	c |   1029323 |     352     1522     4615 |    12757    11390     17 |  0.001 % |
120.45/120.65	c |   1034146 |     352     1522     4615 |    12068    11208     16 |  0.001 % |
120.94/121.19	c |   1039452 |     352     1522     4615 |    12068    11670     17 |  0.001 % |
121.64/121.87	c |   1045288 |     352     1522     4615 | 2147483647    16297     17 |  0.001 % |
122.54/122.74	c |   1051708 |     352     1522     4615 |    21009    18621     17 |  0.001 % |
123.54/123.75	c |   1058767 |     352     1522     4615 |    21009    20830     16 |  0.001 % |
124.44/124.67	c |   1066533 |     352     1522     4615 |    16991    15862     16 |  0.001 % |
125.34/125.57	c |   1075073 |     352     1522     4615 |    15938    15112     17 |  0.001 % |
126.44/126.67	c |   1084467 |     352     1522     4615 |    14348    13824     17 |  0.001 % |
126.44/126.68	c |   1084568 |     352     1522     4615 |    14348    13925     17 |  0.001 % |
126.54/126.70	c |   1084679 |     352     1522     4615 |    14348    14036     17 |  0.001 % |
126.54/126.71	c |   1084804 |     352     1522     4615 |    14348    14161     17 |  0.001 % |
126.54/126.73	c |   1084937 |     352     1522     4615 |    14348    14294     17 |  0.001 % |
126.54/126.76	c |   1085083 |     352     1522     4615 |    14348    12046     16 |  0.001 % |
126.54/126.78	c |   1085243 |     352     1522     4615 |    14348    12206     16 |  0.001 % |
126.54/126.80	c |   1085420 |     352     1522     4615 |    14348    12383     16 |  0.001 % |
126.64/126.82	c |   1085613 |     352     1522     4615 |    14348    12576     16 |  0.001 % |
126.64/126.84	c |   1085826 |     352     1522     4615 |    14348    12789     16 |  0.001 % |
126.64/126.86	c |   1086059 |     352     1522     4615 |    14348    13022     17 |  0.001 % |
126.64/126.89	c |   1086317 |     352     1522     4615 |    14348    13280     17 |  0.001 % |
126.74/126.91	c |   1086600 |     352     1522     4615 |    14348    13563     17 |  0.001 % |
126.74/126.95	c |   1086909 |     352     1522     4615 |    14348    13872     17 |  0.001 % |
126.74/126.98	c |   1087248 |     352     1522     4615 |    14348    14211     17 |  0.001 % |
126.84/127.04	c |   1087620 |     352     1522     4615 |    14348    12303     16 |  0.001 % |
126.84/127.08	c |   1088030 |     352     1522     4615 |    14348    12713     16 |  0.001 % |
126.94/127.14	c |   1088480 |     352     1522     4615 |    14348    13163     16 |  0.001 % |
126.94/127.18	c |   1088974 |     352     1522     4615 |    14348    13657     17 |  0.001 % |
127.04/127.23	c |   1089517 |     352     1522     4615 |    14348    14200     17 |  0.001 % |
127.13/127.31	c |   1090115 |     352     1522     4615 |    12551    10811     16 |  0.001 % |
127.13/127.38	c |   1090770 |     352     1522     4615 |    12551    11466     17 |  0.001 % |
127.23/127.44	c |   1091491 |     352     1522     4615 |    12551    12187     17 |  0.001 % |
127.34/127.53	c |   1092283 |     352     1522     4615 |    12551    11390     17 |  0.001 % |
127.44/127.62	c |   1093154 |     352     1522     4615 |    12551    12261     17 |  0.001 % |
127.53/127.72	c |   1094113 |     352     1522     4615 |    12551    11734     17 |  0.001 % |
127.63/127.83	c |   1095166 |     352     1522     4615 |    12551    11413     18 |  0.001 % |
127.73/127.95	c |   1096325 |     352     1522     4615 |    12551    12572     18 |  0.001 % |
127.83/128.09	c |   1097598 |     352     1522     4615 |    12551    12526     18 |  0.001 % |
128.03/128.25	c |   1098998 |     352     1522     4615 |    12551    11323     17 |  0.001 % |
128.23/128.41	c |   1100539 |     352     1522     4615 |    12327    11595     17 |  0.001 % |
128.44/128.61	c |   1102238 |     352     1522     4615 |    12327    11967     17 |  0.001 % |
128.63/128.82	c |   1104101 |     352     1522     4615 |    12327    11187     17 |  0.001 % |
128.83/129.03	c |   1106151 |     352     1522     4615 |    12327    12001     17 |  0.001 % |
129.03/129.28	c |   1108404 |     352     1522     4615 |    12327    11778     17 |  0.001 % |
129.33/129.55	c |   1110883 |     352     1522     4615 | 2147483647    13022     17 |  0.001 % |
129.64/129.85	c |   1113609 |     352     1522     4615 | 2147483647    15748     18 |  0.001 % |
129.93/130.19	c |   1116608 |     352     1522     4615 | 2147483647    18747     18 |  0.001 % |
130.43/130.67	c |   1119905 |     352     1522     4615 | 2147483647    22044     18 |  0.001 % |
130.93/131.17	c |   1123532 |     352     1522     4615 |    22141    21699     18 |  0.001 % |
131.53/131.73	c |   1127520 |     352     1522     4615 |    22141    20796     17 |  0.001 % |
132.13/132.31	c |   1131907 |     352     1522     4615 |    18018    15689     17 |  0.001 % |
132.73/132.92	c |   1136730 |     352     1522     4615 |    18018    16718     16 |  0.001 % |
133.23/133.50	c |   1142037 |     352     1522     4615 |    16274    15086     17 |  0.001 % |
133.83/134.10	c |   1147872 |     352     1522     4615 |    16274    15358     17 |  0.001 % |
134.53/134.75	c |   1154295 |     352     1522     4615 |    14694    14263     18 |  0.001 % |
135.23/135.48	c |   1161354 |     352     1522     4615 |    13804    13205     18 |  0.001 % |
136.03/136.26	c |   1169118 |     352     1522     4615 |    13804    13640     17 |  0.001 % |
136.93/137.18	c |   1177658 |     352     1522     4615 |    12763    11607     16 |  0.001 % |
137.93/138.17	c |   1187052 |     352     1522     4615 |    12205    10877     16 |  0.001 % |
138.83/139.08	c |   1197387 |     352     1522     4615 |    12179    12141     17 |  0.001 % |
138.93/139.10	c |   1197487 |     352     1522     4615 |    12179    10809     17 |  0.001 % |
138.93/139.11	c |   1197597 |     352     1522     4615 |    12179    10919     17 |  0.001 % |
138.93/139.13	c |   1197718 |     352     1522     4615 |    12179    11040     17 |  0.001 % |
138.93/139.14	c |   1197851 |     352     1522     4615 |    12179    11173     17 |  0.001 % |
138.93/139.15	c |   1197997 |     352     1522     4615 |    12179    11319     17 |  0.001 % |
138.93/139.17	c |   1198159 |     352     1522     4615 |    12179    11481     17 |  0.001 % |
138.93/139.19	c |   1198335 |     352     1522     4615 |    12179    11657     17 |  0.001 % |
139.03/139.21	c |   1198529 |     352     1522     4615 |    12179    11851     17 |  0.001 % |
139.03/139.23	c |   1198742 |     352     1522     4615 |    12179    12064     17 |  0.001 % |
139.03/139.26	c |   1198977 |     352     1522     4615 |    12179    10881     17 |  0.001 % |
139.03/139.28	c |   1199235 |     352     1522     4615 |    12179    11139     17 |  0.001 % |
139.13/139.32	c |   1199516 |     352     1522     4615 |    12179    11420     17 |  0.001 % |
139.13/139.35	c |   1199825 |     352     1522     4615 |    12179    11729     17 |  0.001 % |
139.13/139.39	c |   1200164 |     352     1522     4615 |    11905    10675     17 |  0.001 % |
139.23/139.42	c |   1200537 |     352     1522     4615 |    11905    11048     17 |  0.001 % |
139.23/139.46	c |   1200947 |     352     1522     4615 |    11905    11458     17 |  0.001 % |
139.33/139.51	c |   1201398 |     352     1522     4615 |    11905    11909     17 |  0.001 % |
139.33/139.56	c |   1201892 |     352     1522     4615 |    11905    11196     17 |  0.001 % |
139.43/139.62	c |   1202434 |     352     1522     4615 |    11905    11738     17 |  0.001 % |
139.43/139.68	c |   1203031 |     352     1522     4615 |    11905    11141     17 |  0.001 % |
139.53/139.74	c |   1203689 |     352     1522     4615 |    11905    11799     17 |  0.001 % |
139.63/139.81	c |   1204409 |     352     1522     4615 |    11905    11326     17 |  0.001 % |
139.63/139.89	c |   1205202 |     352     1522     4615 |    11905    10925     17 |  0.001 % |
139.73/139.97	c |   1206073 |     352     1522     4615 |    11905    11796     17 |  0.001 % |
139.83/140.06	c |   1207031 |     352     1522     4615 |    11905    11561     17 |  0.001 % |
139.93/140.16	c |   1208085 |     352     1522     4615 |    11905    11421     17 |  0.001 % |
140.03/140.28	c |   1209243 |     352     1522     4615 |    11905    11385     17 |  0.001 % |
140.13/140.40	c |   1210518 |     352     1522     4615 | 2147483647    11466     17 |  0.001 % |
140.33/140.56	c |   1211919 |     352     1522     4615 | 2147483647    12867     18 |  0.001 % |
140.53/140.73	c |   1213460 |     352     1522     4615 | 2147483647    14408     18 |  0.001 % |
140.73/140.96	c |   1215157 |     352     1522     4615 | 2147483647    16105     18 |  0.001 % |
140.93/141.19	c |   1217020 |     352     1522     4615 | 2147483647    17968     18 |  0.001 % |
141.23/141.49	c |   1219070 |     352     1522     4615 | 2147483647    20018     18 |  0.001 % |
141.63/141.87	c |   1221323 |     352     1522     4615 |    20949    18240     18 |  0.001 % |
141.93/142.19	c |   1223801 |     352     1522     4615 |    20949    20718     18 |  0.001 % |
142.33/142.60	c |   1226526 |     352     1522     4615 |    20949    18609     18 |  0.001 % |
142.83/143.03	c |   1229524 |     352     1522     4615 |    20949    16515     18 |  0.001 % |
143.23/143.47	c |   1232820 |     352     1522     4615 |    16991    15730     18 |  0.001 % |
143.72/143.94	c |   1236445 |     352     1522     4615 |    16991    15390     18 |  0.001 % |
144.22/144.41	c |   1240432 |     352     1522     4615 |    15195    12371     17 |  0.001 % |
144.62/144.89	c |   1244817 |     352     1522     4615 |    15195    13780     17 |  0.001 % |
145.22/145.47	c |   1249642 |     352     1522     4615 |    15195    13138     18 |  0.001 % |
145.92/146.14	c |   1254947 |     352     1522     4615 |    13496    11497     18 |  0.001 % |
146.62/146.84	c |   1260783 |     352     1522     4615 |    11833    10493     18 |  0.001 % |
147.23/147.48	c |   1267202 |     352     1522     4615 |    11833    10460     17 |  0.001 % |
148.02/148.25	c |   1274261 |     352     1522     4615 |    11858    10752     17 |  0.001 % |
148.92/149.11	c |   1282026 |     352     1522     4615 |    11624    11260     18 |  0.001 % |
149.62/149.87	c |   1290567 |     352     1522     4615 | 2147483647    11638     18 |  0.001 % |
150.82/151.03	c |   1299961 |     352     1522     4615 | 2147483647    21032     18 |  0.001 % |
152.42/152.68	c |   1310294 |     352     1522     4615 |    17074    13029     19 |  0.001 % |
153.73/154.00	c |   1321661 |     352     1522     4615 |    15723    14205     19 |  0.001 % |
153.83/154.01	c |   1321763 |     352     1522     4615 |    15723    14307     19 |  0.001 % |
153.83/154.03	c |   1321874 |     352     1522     4615 |    15723    14418     19 |  0.001 % |
153.83/154.05	c |   1321995 |     352     1522     4615 |    15723    14539     19 |  0.001 % |
153.83/154.06	c |   1322128 |     352     1522     4615 |    15723    14672     19 |  0.001 % |
153.83/154.09	c |   1322274 |     352     1522     4615 |    15723    14818     19 |  0.001 % |
153.92/154.11	c |   1322434 |     352     1522     4615 |    15723    14978     19 |  0.001 % |
153.92/154.13	c |   1322611 |     352     1522     4615 |    15723    15155     19 |  0.001 % |
153.92/154.15	c |   1322806 |     352     1522     4615 |    15723    15350     19 |  0.001 % |
153.92/154.19	c |   1323018 |     352     1522     4615 |    15723    15562     19 |  0.001 % |
154.02/154.23	c |   1323252 |     352     1522     4615 |    15723    12640     19 |  0.001 % |
154.02/154.26	c |   1323512 |     352     1522     4615 |    15723    12900     19 |  0.001 % |
154.02/154.29	c |   1323794 |     352     1522     4615 |    15723    13182     19 |  0.001 % |
154.12/154.32	c |   1324103 |     352     1522     4615 |    15723    13491     19 |  0.001 % |
154.12/154.36	c |   1324442 |     352     1522     4615 |    15723    13830     19 |  0.001 % |
154.22/154.42	c |   1324817 |     352     1522     4615 |    15723    14205     19 |  0.001 % |
154.22/154.47	c |   1325228 |     352     1522     4615 |    15723    14616     19 |  0.001 % |
154.32/154.54	c |   1325677 |     352     1522     4615 |    15723    15065     19 |  0.001 % |
154.42/154.60	c |   1326170 |     352     1522     4615 |    15723    15558     19 |  0.001 % |
154.42/154.68	c |   1326713 |     352     1522     4615 |    15723    13009     18 |  0.001 % |
154.52/154.76	c |   1327310 |     352     1522     4615 |    15723    13606     18 |  0.001 % |
154.62/154.84	c |   1327966 |     352     1522     4615 |    15723    14262     18 |  0.001 % |
154.72/154.94	c |   1328686 |     352     1522     4615 |    15723    14982     18 |  0.001 % |
154.82/155.05	c |   1329478 |     352     1522     4615 |    15723    12762     18 |  0.001 % |
154.92/155.16	c |   1330351 |     352     1522     4615 |    13284    11121     18 |  0.001 % |
155.02/155.25	c |   1331312 |     352     1522     4615 |    13284    12082     18 |  0.001 % |
155.12/155.37	c |   1332365 |     352     1522     4615 |    13284    13135     18 |  0.001 % |
155.32/155.50	c |   1333527 |     352     1522     4615 |    13284    12309     18 |  0.001 % |
155.42/155.63	c |   1334800 |     352     1522     4615 |    13284    11666     18 |  0.001 % |
155.52/155.76	c |   1336200 |     352     1522     4615 |    13284    13066     18 |  0.001 % |
155.72/155.92	c |   1337740 |     352     1522     4615 |    13284    12789     18 |  0.001 % |
155.82/156.09	c |   1339435 |     352     1522     4615 |    13284    12758     18 |  0.001 % |
156.02/156.29	c |   1341299 |     352     1522     4615 |    13325    12960     18 |  0.001 % |
156.32/156.50	c |   1343349 |     352     1522     4615 |    13325    12015     18 |  0.001 % |
156.52/156.75	c |   1345603 |     352     1522     4615 |    13325    12721     18 |  0.001 % |
156.82/157.05	c |   1348081 |     352     1522     4615 |    13325    11985     17 |  0.001 % |
157.12/157.33	c |   1350806 |     352     1522     4615 |    12225    11489     17 |  0.001 % |
157.42/157.64	c |   1353803 |     352     1522     4615 |    12225    11938     17 |  0.001 % |
157.72/157.94	c |   1357099 |     352     1522     4615 |    12225    11554     17 |  0.001 % |
158.02/158.28	c |   1360726 |     352     1522     4615 | 2147483647    12729     18 |  0.001 % |
158.51/158.73	c |   1364715 |     352     1522     4615 | 2147483647    16718     18 |  0.001 % |
159.11/159.37	c |   1369102 |     352     1522     4615 | 2147483647    21105     18 |  0.001 % |
159.81/160.05	c |   1373925 |     352     1522     4615 |    22004    21587     18 |  0.001 % |
160.61/160.84	c |   1379230 |     352     1522     4615 |    22004    21961     18 |  0.001 % |
161.31/161.59	c |   1385065 |     352     1522     4615 |    17508    14768     18 |  0.001 % |
162.11/162.30	c |   1391486 |     352     1522     4615 |    16056    14256     17 |  0.001 % |
162.91/163.20	c |   1398545 |     352     1522     4615 |    16056    15044     17 |  0.001 % |
163.72/163.96	c |   1406311 |     352     1522     4615 |    13453    12147     16 |  0.001 % |
164.61/164.82	c |   1414851 |     352     1522     4615 |    12767    12342     17 |  0.001 % |
165.61/165.87	c |   1424245 |     352     1522     4615 | 2147483647    16615     18 |  0.001 % |
167.20/167.49	c |   1434581 |     352     1522     4615 |    22372    17439     19 |  0.001 % |
168.80/169.08	c |   1445949 |     352     1522     4615 |    17332    15231     19 |  0.001 % |
170.40/170.61	c |   1458452 |     352     1522     4615 |    15571    14827     18 |  0.001 % |
170.40/170.63	c |   1458553 |     352     1522     4615 |    15571    14928     18 |  0.001 % |
170.40/170.64	c |   1458664 |     352     1522     4615 |    15571    15039     18 |  0.001 % |
170.40/170.66	c |   1458785 |     352     1522     4615 |    15571    15160     18 |  0.001 % |
170.40/170.68	c |   1458920 |     352     1522     4615 |    15571    15295     18 |  0.001 % |
170.40/170.70	c |   1459068 |     352     1522     4615 |    15571    15443     18 |  0.001 % |
170.50/170.73	c |   1459228 |     352     1522     4615 |    15571    12680     18 |  0.001 % |
170.50/170.75	c |   1459405 |     352     1522     4615 |    15571    12857     18 |  0.001 % |
170.50/170.78	c |   1459598 |     352     1522     4615 |    15571    13050     18 |  0.001 % |
170.60/170.81	c |   1459811 |     352     1522     4615 |    15571    13263     18 |  0.001 % |
170.60/170.84	c |   1460047 |     352     1522     4615 |    13452    13499     18 |  0.001 % |
170.60/170.88	c |   1460304 |     352     1522     4615 |    13452    11193     18 |  0.001 % |
170.70/170.91	c |   1460585 |     352     1522     4615 |    13452    11474     18 |  0.001 % |
170.70/170.94	c |   1460895 |     352     1522     4615 |    13452    11784     17 |  0.001 % |
170.70/170.98	c |   1461235 |     352     1522     4615 |    13452    12124     17 |  0.001 % |
170.80/171.03	c |   1461607 |     352     1522     4615 |    13452    12496     18 |  0.001 % |
170.80/171.08	c |   1462017 |     352     1522     4615 |    13452    12906     18 |  0.001 % |
170.90/171.12	c |   1462467 |     352     1522     4615 |    13452    13356     18 |  0.001 % |
170.90/171.18	c |   1462962 |     352     1522     4615 |    13452    11560     17 |  0.001 % |
171.00/171.24	c |   1463504 |     352     1522     4615 |    13452    12102     18 |  0.001 % |
171.10/171.31	c |   1464100 |     352     1522     4615 |    13452    12698     18 |  0.001 % |
171.10/171.38	c |   1464756 |     352     1522     4615 |    13452    13354     17 |  0.001 % |
171.20/171.45	c |   1465477 |     352     1522     4615 |    13452    11995     17 |  0.001 % |
171.30/171.53	c |   1466270 |     352     1522     4615 |    13452    12788     17 |  0.001 % |
171.40/171.63	c |   1467144 |     352     1522     4615 |    13452    11774     17 |  0.001 % |
171.50/171.73	c |   1468102 |     352     1522     4615 |    13452    12732     17 |  0.001 % |
171.60/171.85	c |   1469158 |     352     1522     4615 |    13452    11955     17 |  0.001 % |
171.70/171.97	c |   1470318 |     352     1522     4615 |    12801    11405     17 |  0.001 % |
171.90/172.11	c |   1471592 |     352     1522     4615 |    12801    12679     17 |  0.001 % |
172.00/172.26	c |   1472993 |     352     1522     4615 |    12801    12504     17 |  0.001 % |
172.20/172.43	c |   1474533 |     352     1522     4615 |    12801    12438     17 |  0.001 % |
172.30/172.59	c |   1476227 |     352     1522     4615 |    12801    12538     17 |  0.001 % |
172.50/172.76	c |   1478091 |     352     1522     4615 |    12801    11520     17 |  0.001 % |
172.70/172.94	c |   1480141 |     352     1522     4615 |    12077    11001     17 |  0.001 % |
172.90/173.16	c |   1482397 |     352     1522     4615 |    12077    12047     17 |  0.001 % |
173.20/173.43	c |   1484880 |     352     1522     4615 |    12077    12108     17 |  0.001 % |
173.40/173.70	c |   1487606 |     352     1522     4615 |    12077    11201     18 |  0.001 % |
173.80/174.03	c |   1490606 |     352     1522     4615 | 2147483647    11778     18 |  0.001 % |
174.19/174.46	c |   1493902 |     352     1522     4615 | 2147483647    15074     18 |  0.001 % |
174.70/174.99	c |   1497528 |     352     1522     4615 | 2147483647    18700     18 |  0.001 % |
175.29/175.55	c |   1501515 |     352     1522     4615 |    21172    18372     18 |  0.001 % |
175.80/176.09	c |   1505900 |     352     1522     4615 |    21172    18002     18 |  0.001 % |
176.59/176.83	c |   1510723 |     352     1522     4615 |    17081    13748     18 |  0.001 % |
177.19/177.49	c |   1516030 |     352     1522     4615 |    17081    15287     18 |  0.001 % |
177.90/178.11	c |   1521867 |     352     1522     4615 |    15588    14220     18 |  0.001 % |
178.59/178.88	c |   1528285 |     352     1522     4615 |    15588    15059     18 |  0.001 % |
179.39/179.69	c |   1535345 |     352     1522     4615 |    14003    12659     17 |  0.001 % |
180.29/180.52	c |   1543111 |     352     1522     4615 |    13021    12213     16 |  0.001 % |
181.09/181.36	c |   1551652 |     352     1522     4615 |    12297    11124     17 |  0.001 % |
181.99/182.27	c |   1561046 |     352     1522     4615 | 2147483647    12501     18 |  0.001 % |
183.59/183.80	c |   1571380 |     352     1522     4615 |    21455    18150     18 |  0.001 % |
185.19/185.44	c |   1582749 |     352     1522     4615 |    16043    14705     18 |  0.001 % |
186.69/186.98	c |   1595253 |     352     1522     4615 |    14842    14297     17 |  0.001 % |
188.29/188.53	c |   1609006 |     352     1522     4615 |    13794    12168     17 |  0.001 % |
188.29/188.54	c |   1609106 |     352     1522     4615 |    13794    12268     17 |  0.001 % |
188.29/188.55	c |   1609216 |     352     1522     4615 |    13794    12378     17 |  0.001 % |
188.29/188.56	c |   1609337 |     352     1522     4615 |    13794    12499     17 |  0.001 % |
188.29/188.57	c |   1609470 |     352     1522     4615 |    13794    12632     17 |  0.001 % |
188.29/188.59	c |   1609617 |     352     1522     4615 |    13794    12779     17 |  0.001 % |
188.39/188.61	c |   1609777 |     352     1522     4615 |    13794    12939     17 |  0.001 % |
188.39/188.63	c |   1609953 |     352     1522     4615 |    13794    13115     17 |  0.001 % |
188.39/188.66	c |   1610146 |     352     1522     4615 |    13162    11338     17 |  0.001 % |
188.39/188.67	c |   1610360 |     352     1522     4615 |    13162    11552     17 |  0.001 % |
188.39/188.69	c |   1610593 |     352     1522     4615 |    13162    11785     17 |  0.001 % |
188.49/188.72	c |   1610850 |     352     1522     4615 |    13162    12042     17 |  0.001 % |
188.49/188.76	c |   1611132 |     352     1522     4615 |    13162    12324     17 |  0.001 % |
188.49/188.79	c |   1611441 |     352     1522     4615 |    13162    12633     17 |  0.001 % |
188.59/188.83	c |   1611781 |     352     1522     4615 |    13162    12973     17 |  0.001 % |
188.59/188.87	c |   1612155 |     352     1522     4615 |    13162    11536     17 |  0.001 % |
188.69/188.91	c |   1612565 |     352     1522     4615 |    13162    11946     17 |  0.001 % |
188.69/188.95	c |   1613018 |     352     1522     4615 |    13162    12399     17 |  0.001 % |
188.79/189.00	c |   1613511 |     352     1522     4615 |    13162    12892     17 |  0.001 % |
188.79/189.06	c |   1614056 |     352     1522     4615 |    13162    11716     17 |  0.001 % |
188.89/189.12	c |   1614652 |     352     1522     4615 |    13162    12312     17 |  0.001 % |
188.89/189.18	c |   1615307 |     352     1522     4615 |    13162    12967     17 |  0.001 % |
188.99/189.26	c |   1616028 |     352     1522     4615 |    13162    12071     17 |  0.001 % |
189.09/189.34	c |   1616825 |     352     1522     4615 |    13162    12868     17 |  0.001 % |
189.18/189.44	c |   1617696 |     352     1522     4615 |    13162    12134     17 |  0.001 % |
189.28/189.56	c |   1618654 |     352     1522     4615 |    13162    13092     17 |  0.001 % |
189.38/189.67	c |   1619707 |     352     1522     4615 |    13162    12497     17 |  0.001 % |
189.48/189.77	c |   1620865 |     352     1522     4615 |    12790    12104     17 |  0.001 % |
189.68/189.92	c |   1622138 |     352     1522     4615 |    12790    11950     17 |  0.001 % |
189.78/190.07	c |   1623538 |     352     1522     4615 |    12790    11854     17 |  0.001 % |
189.99/190.21	c |   1625079 |     352     1522     4615 |    12790    11966     17 |  0.001 % |
190.09/190.37	c |   1626775 |     352     1522     4615 |    12790    12282     17 |  0.001 % |
190.28/190.53	c |   1628640 |     352     1522     4615 |    12790    12837     17 |  0.001 % |
190.48/190.73	c |   1630691 |     352     1522     4615 | 2147483647    12323     17 |  0.001 % |
190.68/190.99	c |   1632944 |     352     1522     4615 | 2147483647    14576     17 |  0.001 % |
190.98/191.24	c |   1635423 |     352     1522     4615 | 2147483647    17055     18 |  0.001 % |
191.38/191.60	c |   1638149 |     352     1522     4615 | 2147483647    19781     18 |  0.001 % |
191.88/192.10	c |   1641146 |     352     1522     4615 |    21633    18847     18 |  0.001 % |
192.28/192.59	c |   1644445 |     352     1522     4615 |    21633    17177     19 |  0.001 % |
192.88/193.12	c |   1648070 |     352     1522     4615 |    21633    20802     19 |  0.001 % |
193.38/193.62	c |   1652057 |     352     1522     4615 |    17469    15343     18 |  0.001 % |
193.88/194.17	c |   1656445 |     352     1522     4615 |    17469    15953     18 |  0.001 % |
194.48/194.78	c |   1661269 |     352     1522     4615 |    15807    13783     16 |  0.001 % |
195.18/195.41	c |   1666574 |     352     1522     4615 |    15807    13341     16 |  0.001 % |
195.68/195.99	c |   1672410 |     352     1522     4615 |    14015    13999     18 |  0.001 % |
196.48/196.77	c |   1678829 |     352     1522     4615 |    14015    13962     19 |  0.001 % |
197.28/197.55	c |   1685889 |     352     1522     4615 |    13007    11548     18 |  0.001 % |
198.18/198.43	c |   1693654 |     352     1522     4615 |    12039    10801     19 |  0.001 % |
198.98/199.29	c |   1702195 |     352     1522     4615 |    11151    11004     17 |  0.001 % |
199.98/200.22	c |   1711589 |     352     1522     4615 | 2147483647    12570     17 |  0.001 % |
201.08/201.38	c |   1721922 |     352     1522     4615 |    20981    19229     18 |  0.001 % |
202.78/203.04	c |   1733291 |     352     1522     4615 |    17672    16820     18 |  0.001 % |
204.28/204.59	c |   1745793 |     352     1522     4615 |    15660    14992     17 |  0.001 % |
205.98/206.24	c |   1759545 |     352     1522     4615 |    13402    11368     19 |  0.001 % |
207.48/207.72	c |   1774673 |     352     1522     4615 |    10662     9938     17 |  0.001 % |
207.48/207.73	c |   1774773 |     352     1522     4615 |    10662    10038     17 |  0.001 % |
207.48/207.73	c |   1774883 |     352     1522     4615 |    10662    10148     17 |  0.001 % |
207.48/207.74	c |   1775006 |     352     1522     4615 |    10662    10271     17 |  0.001 % |
207.48/207.76	c |   1775139 |     352     1522     4615 |    10662    10404     17 |  0.001 % |
207.48/207.77	c |   1775286 |     352     1522     4615 |    10662    10551     17 |  0.001 % |
207.48/207.79	c |   1775447 |     352     1522     4615 |    10662     9643     17 |  0.001 % |
207.48/207.80	c |   1775625 |     352     1522     4615 |    10662     9821     17 |  0.001 % |
207.58/207.81	c |   1775822 |     352     1522     4615 |    10662    10018     17 |  0.001 % |
207.58/207.83	c |   1776034 |     352     1522     4615 |    10662    10230     17 |  0.001 % |
207.58/207.85	c |   1776267 |     352     1522     4615 |    10662    10463     17 |  0.001 % |
207.58/207.89	c |   1776523 |     352     1522     4615 |    10662     9649     17 |  0.001 % |
207.68/207.91	c |   1776804 |     352     1522     4615 |    10662     9930     17 |  0.001 % |
207.68/207.93	c |   1777115 |     352     1522     4615 |    10662    10241     17 |  0.001 % |
207.68/207.96	c |   1777454 |     352     1522     4615 |    10662    10580     17 |  0.001 % |
207.77/208.00	c |   1777827 |     352     1522     4615 |    10662     9884     17 |  0.001 % |
207.77/208.04	c |   1778236 |     352     1522     4615 |    10662    10293     17 |  0.001 % |
207.77/208.09	c |   1778685 |     352     1522     4615 |    10662     9672     17 |  0.001 % |
207.87/208.13	c |   1779179 |     352     1522     4615 |    10662    10166     17 |  0.001 % |
207.87/208.18	c |   1779721 |     352     1522     4615 |    10662     9638     17 |  0.001 % |
207.97/208.24	c |   1780317 |     352     1522     4615 | 2147483647    10234     17 |  0.001 % |
207.97/208.30	c |   1780973 |     352     1522     4615 | 2147483647    10890     17 |  0.001 % |
208.07/208.38	c |   1781694 |     352     1522     4615 | 2147483647    11611     17 |  0.001 % |
208.17/208.46	c |   1782488 |     352     1522     4615 | 2147483647    12405     17 |  0.001 % |
208.27/208.55	c |   1783359 |     352     1522     4615 | 2147483647    13276     17 |  0.001 % |
208.37/208.66	c |   1784317 |     352     1522     4615 | 2147483647    14234     17 |  0.001 % |
208.47/208.77	c |   1785371 |     352     1522     4615 | 2147483647    15288     17 |  0.001 % |
208.68/208.91	c |   1786530 |     352     1522     4615 | 2147483647    16447     17 |  0.001 % |
208.78/209.09	c |   1787804 |     352     1522     4615 | 2147483647    17721     17 |  0.001 % |
208.97/209.28	c |   1789205 |     352     1522     4615 | 2147483647    19122     17 |  0.001 % |
209.27/209.51	c |   1790745 |     352     1522     4615 |    19917    17592     17 |  0.001 % |
209.57/209.80	c |   1792439 |     352     1522     4615 |    19917    19286     17 |  0.001 % |
209.78/210.07	c |   1794302 |     352     1522     4615 |    19917    16946     17 |  0.001 % |
210.07/210.33	c |   1796352 |     352     1522     4615 |    19917    18996     17 |  0.001 % |
210.37/210.66	c |   1798606 |     352     1522     4615 |    19917    17024     17 |  0.001 % |
210.67/210.99	c |   1801084 |     352     1522     4615 |    18418    15634     17 |  0.001 % |
211.07/211.36	c |   1803809 |     352     1522     4615 |    18418    18359     17 |  0.001 % |
211.47/211.76	c |   1806808 |     352     1522     4615 |    18418    17455     17 |  0.001 % |
211.87/212.18	c |   1810106 |     352     1522     4615 |    16899    13654     17 |  0.001 % |
212.26/212.58	c |   1813731 |     352     1522     4615 |    16899    14323     17 |  0.001 % |
212.76/213.07	c |   1817721 |     352     1522     4615 |    16899    15279     18 |  0.001 % |
213.26/213.59	c |   1822109 |     352     1522     4615 |    14471    13925     18 |  0.001 % |
213.86/214.15	c |   1826934 |     352     1522     4615 |    14471    13784     18 |  0.001 % |
214.56/214.82	c |   1832239 |     352     1522     4615 |    14462    14208     17 |  0.001 % |
215.16/215.48	c |   1838074 |     352     1522     4615 |    14462    12553     17 |  0.001 % |
215.76/216.08	c |   1844492 |     352     1522     4615 |    14479    14443     18 |  0.001 % |
216.56/216.84	c |   1851551 |     352     1522     4615 |    13243    12816     17 |  0.001 % |
217.36/217.60	c |   1859315 |     352     1522     4615 |    13243    12872     16 |  0.001 % |
218.16/218.43	c |   1867856 |     352     1522     4615 |    12144    11392     17 |  0.001 % |
219.16/219.43	c |   1877251 |     352     1522     4615 | 2147483647    18353     17 |  0.001 % |
220.66/220.90	c |   1887584 |     352     1522     4615 |    21102    19455     18 |  0.001 % |
221.96/222.26	c |   1898952 |     352     1522     4615 |    16508    14256     17 |  0.001 % |
223.46/223.71	c |   1911454 |     352     1522     4615 |    13556    12546     17 |  0.001 % |
224.96/225.22	c |   1925206 |     352     1522     4615 |    13259    13026     19 |  0.001 % |
226.56/226.85	c |   1940337 |     352     1522     4615 |    12200    10956     17 |  0.001 % |
228.26/228.59	c |   1956977 |     352     1522     4615 |    11368    10844     17 |  0.001 % |
228.36/228.60	c |   1957078 |     352     1522     4615 |    11368    10945     17 |  0.001 % |
228.36/228.61	c |   1957188 |     352     1522     4615 |    11368    11055     17 |  0.001 % |
228.36/228.62	c |   1957309 |     352     1522     4615 |    11368    11176     17 |  0.001 % |
228.36/228.63	c |   1957442 |     352     1522     4615 |    11368    11309     17 |  0.001 % |
228.36/228.66	c |   1957589 |     352     1522     4615 |    11368    10276     16 |  0.001 % |
228.36/228.67	c |   1957749 |     352     1522     4615 |    11368    10436     16 |  0.001 % |
228.36/228.68	c |   1957927 |     352     1522     4615 |    11368    10614     16 |  0.001 % |
228.36/228.70	c |   1958120 |     352     1522     4615 |    11368    10807     16 |  0.001 % |
228.46/228.72	c |   1958332 |     352     1522     4615 |    11368    11019     17 |  0.001 % |
228.46/228.74	c |   1958566 |     352     1522     4615 |    11368    11253     17 |  0.001 % |
228.46/228.77	c |   1958822 |     352     1522     4615 |    11368    10368     16 |  0.001 % |
228.46/228.79	c |   1959105 |     352     1522     4615 |    11368    10651     16 |  0.001 % |
228.56/228.82	c |   1959414 |     352     1522     4615 |    11368    10960     16 |  0.001 % |
228.56/228.86	c |   1959754 |     352     1522     4615 |    11368    11300     16 |  0.001 % |
228.66/228.90	c |   1960128 |     352     1522     4615 | 2147483647    10532     16 |  0.001 % |
228.66/228.94	c |   1960537 |     352     1522     4615 | 2147483647    10941     16 |  0.001 % |
228.66/228.98	c |   1960987 |     352     1522     4615 | 2147483647    11391     17 |  0.001 % |
228.76/229.02	c |   1961481 |     352     1522     4615 | 2147483647    11885     17 |  0.001 % |
228.76/229.08	c |   1962024 |     352     1522     4615 | 2147483647    12428     17 |  0.001 % |
228.86/229.15	c |   1962621 |     352     1522     4615 | 2147483647    13025     17 |  0.001 % |
228.96/229.22	c |   1963276 |     352     1522     4615 | 2147483647    13680     17 |  0.001 % |
229.06/229.31	c |   1963996 |     352     1522     4615 | 2147483647    14400     17 |  0.001 % |
229.16/229.40	c |   1964789 |     352     1522     4615 | 2147483647    15193     17 |  0.001 % |
229.26/229.50	c |   1965661 |     352     1522     4615 | 2147483647    16065     17 |  0.001 % |
229.36/229.61	c |   1966619 |     352     1522     4615 | 2147483647    17023     17 |  0.001 % |
229.46/229.75	c |   1967673 |     352     1522     4615 | 2147483647    18077     17 |  0.001 % |
229.66/229.92	c |   1968831 |     352     1522     4615 | 2147483647    19235     17 |  0.001 % |
229.86/230.16	c |   1970105 |     352     1522     4615 |    20404    17025     17 |  0.001 % |
230.06/230.40	c |   1971505 |     352     1522     4615 |    20404    18425     17 |  0.001 % |
230.35/230.64	c |   1973045 |     352     1522     4615 |    20404    19965     17 |  0.001 % |
230.66/230.92	c |   1974739 |     352     1522     4615 |    20404    17117     17 |  0.001 % |
230.85/231.19	c |   1976602 |     352     1522     4615 |    20404    18980     17 |  0.001 % |
231.25/231.54	c |   1978652 |     352     1522     4615 |    20404    16147     17 |  0.001 % |
231.55/231.84	c |   1980908 |     352     1522     4615 |    17496    14235     17 |  0.001 % |
231.86/232.18	c |   1983387 |     352     1522     4615 |    17496    16714     17 |  0.001 % |
232.25/232.59	c |   1986113 |     352     1522     4615 |    17496    15527     17 |  0.001 % |
232.75/233.02	c |   1989110 |     352     1522     4615 |    17496    14547     18 |  0.001 % |
233.15/233.41	c |   1992407 |     352     1522     4615 |    15437    14429     18 |  0.001 % |
233.55/233.87	c |   1996032 |     352     1522     4615 |    15437    15003     17 |  0.001 % |
234.06/234.32	c |   2000019 |     352     1522     4615 |    13177    13196     17 |  0.001 % |
234.55/234.81	c |   2004404 |     352     1522     4615 |    13177    13045     18 |  0.001 % |
235.06/235.36	c |   2009228 |     352     1522     4615 |    13177    11545     17 |  0.001 % |
235.55/235.83	c |   2014533 |     352     1522     4615 |    12317    12124     18 |  0.001 % |
236.16/236.43	c |   2020369 |     352     1522     4615 |    11115    10260     18 |  0.001 % |
236.75/237.00	c |   2026788 |     352     1522     4615 |    11115    11104     16 |  0.001 % |
237.45/237.71	c |   2033848 |     352     1522     4615 | 2147483647    14817     17 |  0.001 % |
238.45/238.74	c ===============================================================================
238.45/238.74	c restarts              : 1588
238.45/238.74	c conflicts             : 2041579        (8561 /sec)
238.45/238.74	c decisions             : 2454353        (1.81 % random) (10292 /sec)
238.45/238.74	c propagations          : 113902004      (477623 /sec)
238.45/238.74	c conflict literals     : 37439194       (21.12 % deleted)
238.45/238.74	c Memory used           : 6.94 MB
238.45/238.74	c CPU time              : 238.477 s
238.45/238.74	c 
238.45/238.74	s SATISFIABLE
238.45/238.74	s SATISFIABLE
238.45/238.74	v -1 -2 -3 4 -5 -6 7 8 -9 10 11 12 -13 -14 15 16 -17 -18 19 20 -21 -22 23 24 25 26 -27 -28 -29 -30 -31 32 33 -34 35 36 -37 38 39 -40 -41 -42 -43 -44 -45 46 47 -48 -49 50 51 -52 -53 54 -55 56 -57 58 59 60 -61 62 63 64 -65 -66 -67 -68 69 70 71 -72 73 74 75 76 -77 -78 79 -80 81 -82 -83 84 -85 86 -87 -88 -89 -90 -91 -92 -93 -94 -95 96 97 98 99 -100 -101 102 103 104 -105 -106 -107 108 -109 110 -111 112 -113 -114 115 116 117 118 119 120 121 -122 -123 -124 -125 126 -127 -128 -129 -130 131 -132 133 -134 -135 -136 -137 -138 -139 140 141 142 143 -144 -145 146 147 148 -149 150 151 -152 153 154 -155 -156 157 -158 -159 -160 161 -162 -163 -164 165 166 -167 -168 169 170 -171 -172 173 -174 -175 -176 -177 178 179 -180 181 -182 183 -184 185 -186 -187 -188 189 -190 191 -192 -193 -194 195 196 -197 198 -199 200 201 202 203 -204 -205 -206 207 -208 -209 210 211 -212 213 214 -215 -216 -217 218 -219 220 221 222 -223 -224 -225 -226 -227 -228 229 -230 231 -232 -233 -234 235 -236 237 238 -239 240 -241 -242 243 -244 -245 246 247 -248 249 -250 251 252 253 254 255 256 257 -258 -259 260 261 -262 -263 -264 265 266 267 268 -269 -270 -271 272 273 -274 275 -276 277 278 279 280 -281 282 283 284 -285 -286 287 288 -289 -290 291 292 -293 294 -295 -296 -297 298 299 300 301 302 303 304 305 -306 -307 -308 309 -310 311 312 313 314 -315 316 317 318 -319 -320 -321 322 -323 -324 325 -326 -327 -328 -329 -330 331 -332 333 334 335 336 -337 -338 339 340 -341 342 -343 344 345 346 347 348 349 -350 -351 -352 353 354 355 -356 357 -358 -359 -360 0

Verifier Data

OK

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833563-1242823357/watcher-1833563-1242823357 -o /tmp/evaluation-result-1833563-1242823357/solver-1833563-1242823357 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833563-1242823357.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: 1.00 1.00 1.08 3/65 31858
/proc/meminfo: memFree=1973064/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310364880 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 254613880914 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31858/statm: 1339 235 195 169 0 50 0
[pid=31859] ppid=31858 vsize=5356 CPUtime=0
/proc/31859/stat : 31859 (SatELiteGTI) S 31858 31858 31753 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310364881 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31859/statm: 1339 238 198 169 0 50 0
[pid=31861] ppid=31859 vsize=5356 CPUtime=0
/proc/31861/stat : 31861 (SatELiteGTI) R 31859 31858 31753 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310364881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613712167 0 0 4096 0 0 0 0 17 1 0 0
/proc/31861/statm: 1339 239 199 169 0 50 0

[startup+0.0128279 s]
/proc/loadavg: 1.00 1.00 1.08 3/65 31858
/proc/meminfo: memFree=1973064/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310364880 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31858/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102835 s]
/proc/loadavg: 1.00 1.00 1.08 3/65 31858
/proc/meminfo: memFree=1973064/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301855 s]
/proc/loadavg: 1.00 1.00 1.08 3/65 31858
/proc/meminfo: memFree=1973064/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.7029 s]
/proc/loadavg: 1.00 1.00 1.08 3/65 31858
/proc/meminfo: memFree=1973064/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50199 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 31864
/proc/meminfo: memFree=1971256/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=3660 CPUtime=1.47
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 574 0 0 0 147 0 0 0 25 0 1 0 310364882 3747840 560 1992294400 134512640 135215339 4294956240 18446744073709551615 134532711 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 915 560 76 171 0 742 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9016

[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 31864
/proc/meminfo: memFree=1970168/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=4244 CPUtime=3.07
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 717 0 0 0 307 0 0 0 25 0 1 0 310364882 4345856 703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1061 703 76 171 0 888 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9600

[startup+6.30152 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 31864
/proc/meminfo: memFree=1969848/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=4376 CPUtime=6.26
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 733 0 0 0 626 0 0 0 25 0 1 0 310364882 4481024 719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1094 719 76 171 0 921 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9732

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 31864
/proc/meminfo: memFree=1969528/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=4640 CPUtime=12.66
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 820 0 0 0 1265 1 0 0 25 0 1 0 310364882 4751360 806 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1160 806 76 171 0 987 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 9996

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 31864
/proc/meminfo: memFree=1969272/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=4924 CPUtime=25.44
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 874 0 0 0 2543 1 0 0 25 0 1 0 310364882 5042176 860 1992294400 134512640 135215339 4294956240 18446744073709551615 134526885 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1231 860 76 171 0 1058 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 10280

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.07 2/67 31864
/proc/meminfo: memFree=1968888/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=5196 CPUtime=51
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 957 0 0 0 5099 1 0 0 25 0 1 0 310364882 5320704 943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1299 943 76 171 0 1126 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 10552

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.07 2/67 31864
/proc/meminfo: memFree=1968184/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=5744 CPUtime=102.16
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1093 0 0 0 10214 2 0 0 25 0 1 0 310364882 5881856 1079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1436 1079 76 171 0 1263 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 11100

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1967288/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=6416 CPUtime=162.11
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1240 0 0 0 16209 2 0 0 25 0 1 0 310364882 6569984 1226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1604 1226 76 171 0 1431 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 11772

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1966712/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=6956 CPUtime=222.06
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1374 0 0 0 22204 2 0 0 25 0 1 0 310364882 7122944 1360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1739 1360 76 171 0 1566 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 12312

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

[startup+230.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1966648/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=7100 CPUtime=230.06
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1394 0 0 0 23004 2 0 0 25 0 1 0 310364882 7270400 1380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1775 1380 76 171 0 1602 0
Current children cumulated CPU time (s) 230.06
Current children cumulated vsize (KiB) 12456

[startup+233.502 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1966648/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=7100 CPUtime=233.25
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1394 0 0 0 23323 2 0 0 25 0 1 0 310364882 7270400 1380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1775 1380 76 171 0 1602 0
Current children cumulated CPU time (s) 233.25
Current children cumulated vsize (KiB) 12456

[startup+236.701 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1966648/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=7100 CPUtime=236.45
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1394 0 0 0 23643 2 0 0 25 0 1 0 310364882 7270400 1380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1775 1380 76 171 0 1602 0
Current children cumulated CPU time (s) 236.45
Current children cumulated vsize (KiB) 12456

[startup+237.501 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1966648/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=7100 CPUtime=237.25
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1394 0 0 0 23723 2 0 0 25 0 1 0 310364882 7270400 1380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1775 1380 76 171 0 1602 0
Current children cumulated CPU time (s) 237.25
Current children cumulated vsize (KiB) 12456

[startup+238.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1966648/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=7100 CPUtime=238.05
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1394 0 0 0 23803 2 0 0 25 0 1 0 310364882 7270400 1380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1775 1380 76 171 0 1602 0
Current children cumulated CPU time (s) 238.05
Current children cumulated vsize (KiB) 12456

[startup+238.705 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 31866
/proc/meminfo: memFree=1966648/2055920 swapFree=4176728/4192956
[pid=31858] ppid=31856 vsize=5356 CPUtime=0
/proc/31858/stat : 31858 (SatELiteGTI) S 31856 31858 31753 0 -1 4194304 336 400 0 0 0 0 0 0 19 0 1 0 310364880 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31858/statm: 1339 239 197 169 0 50 0
[pid=31864] ppid=31858 vsize=7100 CPUtime=238.45
/proc/31864/stat : 31864 (minisat_static) R 31858 31858 31753 0 -1 4194304 1394 0 0 0 23843 2 0 0 25 0 1 0 310364882 7270400 1380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/31864/statm: 1775 1380 76 171 0 1602 0
Current children cumulated CPU time (s) 238.45
Current children cumulated vsize (KiB) 12456

Child status: 10
Real time (s): 238.754
CPU time (s): 238.524
CPU user time (s): 238.486
CPU system time (s): 0.037994
CPU usage (%): 99.9037
Max. virtual memory (cumulated for all children) (KiB): 12456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.486
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2425
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= 49
involuntary context switches= 4057

runsolver used 0.282956 second user time and 0.705892 second system time

The end

Launcher Data

Begin job on node87 at 2009-05-20 14:42:37
IDJOB=1833563
IDBENCH=70745
IDSOLVER=671
FILE ID=node87/1833563-1242823357
PBS_JOBID= 9322501
Free space on /tmp= 65908 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/360/unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833563-1242823357/watcher-1833563-1242823357 -o /tmp/evaluation-result-1833563-1242823357/solver-1833563-1242823357 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833563-1242823357.cnf

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

MD5SUM BENCH= 7978035feeedb8c4f26fadad2c608014
RANDOM SEED=850028336

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1973544 kB
Buffers:         18000 kB
Cached:          25792 kB
SwapCached:      10336 kB
Active:          23732 kB
Inactive:        31824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1973544 kB
SwapTotal:     4192956 kB
SwapFree:      4176728 kB
Dirty:            1604 kB
Writeback:           0 kB
Mapped:          16972 kB
Slab:            12764 kB
Committed_AS:   988536 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65908 MiB
End job on node87 at 2009-05-20 14:46:36