Trace number 1834275

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-22-173-20-80.cnf
MD5SUMfcc3fcd52c921ace90c257c57bbc4b6d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.064989
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of clauses22276
Sum of the clauses size44952
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 222256
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   22276    44952 |    6682       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |   21836    60126 |      --       0       --      -- |     --   | -440/15174
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 420   #clauses: 21836   #literals: 60126
0.00/0.04	c CPU time:   0.038994 s
0.00/0.04	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  420                                                  |
0.00/0.06	c |  Number of clauses:    21836                                                |
0.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     420    21836    60126 |     7278        0    nan |  0.000 % |
0.00/0.08	c |       100 |     420    21836    60126 |     7278      100     82 |  0.001 % |
0.00/0.08	c |       200 |     420    21836    60126 |     7278      200     75 |  0.001 % |
0.00/0.09	c |       302 |     420    21836    60126 |     7278      302     82 |  0.001 % |
0.00/0.09	c |       413 |     420    21836    60126 |     7278      413     86 |  0.001 % |
0.05/0.10	c |       515 |     420    21836    60126 |     7278      515     90 |  0.001 % |
0.05/0.11	c |       625 |     420    21836    60126 |     7278      625     92 |  0.001 % |
0.05/0.12	c |       746 |     420    21836    60126 |     7278      746     92 |  0.001 % |
0.05/0.13	c |       846 |     420    21836    60126 |     7278      846     92 |  0.001 % |
0.05/0.14	c |       957 |     420    21836    60126 |     7278      957     92 |  0.001 % |
0.05/0.15	c |      1079 |     420    21836    60126 |     7278     1079     92 |  0.001 % |
0.05/0.17	c |      1212 |     420    21836    60126 |     7278     1212     92 |  0.001 % |
0.05/0.18	c |      1312 |     420    21836    60126 |     7278     1312     92 |  0.001 % |
0.05/0.19	c |      1424 |     420    21836    60126 |     7278     1424     91 |  0.001 % |
0.05/0.20	c |      1546 |     420    21836    60126 |     7278     1546     91 |  0.001 % |
0.05/0.21	c |      1682 |     420    21836    60126 |     7278     1682     90 |  0.001 % |
0.05/0.22	c |      1831 |     420    21836    60126 |     7278     1831     89 |  0.001 % |
0.05/0.23	c |      1931 |     420    21836    60126 |     7278     1931     87 |  0.001 % |
0.05/0.24	c |      2041 |     420    21836    60126 |     7278     2041     85 |  0.001 % |
0.05/0.25	c |      2162 |     420    21836    60126 |     7278     2162     85 |  0.001 % |
0.05/0.26	c |      2297 |     420    21836    60126 |     7278     2297     85 |  0.001 % |
0.05/0.27	c |      2443 |     420    21836    60126 |     7278     2443     85 |  0.001 % |
0.05/0.29	c |      2603 |     420    21836    60126 |     7278     2603     84 |  0.001 % |
0.05/0.29	c |      2703 |     420    21836    60126 |     7278     2703     84 |  0.001 % |
0.05/0.30	c |      2813 |     420    21836    60126 |     7278     2813     83 |  0.001 % |
0.05/0.31	c |      2934 |     420    21836    60126 |     7278     2934     82 |  0.001 % |
0.05/0.32	c |      3068 |     420    21836    60126 |     7278     3068     81 |  0.001 % |
0.05/0.34	c |      3214 |     420    21836    60126 |     7278     3214     82 |  0.001 % |
0.05/0.36	c |      3374 |     420    21836    60126 |     7278     3374     82 |  0.001 % |
0.05/0.37	c |      3550 |     420    21836    60126 |     7278     3550     83 |  0.001 % |
0.05/0.38	c |      3650 |     420    21836    60126 |     7278     3650     83 |  0.001 % |
0.05/0.40	c |      3760 |     420    21836    60126 |     7278     3760     83 |  0.001 % |
0.05/0.41	c |      3883 |     420    21836    60126 |     7278     3883     83 |  0.001 % |
0.05/0.42	c |      4018 |     420    21836    60126 |     7278     4018     82 |  0.001 % |
0.05/0.44	c |      4164 |     420    21836    60126 |     7278     4164     83 |  0.001 % |
0.05/0.45	c |      4325 |     420    21836    60126 |     7278     4325     83 |  0.001 % |
0.05/0.47	c |      4501 |     420    21836    60126 |     7278     4501     83 |  0.001 % |
0.05/0.50	c |      4695 |     420    21836    60126 |     7278     4695     83 |  0.001 % |
0.05/0.52	c |      4795 |     420    21836    60126 |     7278     4795     84 |  0.001 % |
0.05/0.54	c |      4907 |     420    21836    60126 |     7278     4907     83 |  0.001 % |
0.05/0.55	c |      5032 |     420    21836    60126 |     7278     5032     83 |  0.001 % |
0.05/0.57	c |      5165 |     420    21836    60126 |     7278     5165     83 |  0.001 % |
0.05/0.59	c |      5311 |     420    21836    60126 |     7278     5311     83 |  0.001 % |
0.05/0.62	c |      5471 |     420    21836    60126 |     7278     5471     83 |  0.001 % |
0.05/0.64	c |      5647 |     420    21836    60126 |     7278     5647     83 |  0.001 % |
0.05/0.67	c |      5841 |     420    21836    60126 |     7278     5841     83 |  0.001 % |
0.05/0.70	c |      6054 |     420    21836    60126 |     7278     6054     82 |  0.001 % |
0.05/0.72	c |      6156 |     420    21836    60126 |     7278     6156     82 |  0.001 % |
0.05/0.73	c |      6266 |     420    21836    60126 |     7278     6266     82 |  0.001 % |
0.05/0.75	c |      6391 |     420    21836    60126 |     7278     6391     82 |  0.001 % |
0.05/0.77	c |      6526 |     420    21836    60126 |     7278     6526     82 |  0.001 % |
0.05/0.79	c |      6673 |     420    21836    60126 |     7278     6673     82 |  0.001 % |
0.05/0.82	c |      6835 |     420    21836    60126 |     7278     6835     82 |  0.001 % |
0.05/0.84	c |      7012 |     420    21836    60126 |     7278     7012     82 |  0.001 % |
0.05/0.88	c |      7208 |     420    21836    60126 |     7278     7208     82 |  0.001 % |
0.05/0.92	c |      7424 |     420    21836    60126 |     7278     7424     82 |  0.001 % |
0.05/0.96	c |      7657 |     420    21836    60126 |     7278     6915     80 |  0.001 % |
0.05/0.98	c |      7759 |     420    21836    60126 |     7278     7017     80 |  0.001 % |
0.98/1.01	c |      7872 |     420    21836    60126 |     7278     7130     80 |  0.001 % |
0.98/1.03	c |      7995 |     420    21836    60126 |     7278     7253     80 |  0.001 % |
0.98/1.06	c |      8128 |     420    21836    60126 |     7278     7386     79 |  0.001 % |
0.98/1.08	c |      8274 |     420    21836    60126 |     7278     6794     78 |  0.001 % |
1.08/1.11	c |      8436 |     420    21836    60126 |     7278     6956     78 |  0.001 % |
1.08/1.13	c |      8613 |     420    21836    60126 |     7278     7133     78 |  0.001 % |
1.08/1.16	c |      8807 |     420    21836    60126 |     7278     7327     78 |  0.001 % |
1.17/1.20	c |      9019 |     420    21836    60126 |     7278     6807     77 |  0.050 % |
1.17/1.23	c |      9253 |     420    21836    60126 |     7278     7041     77 |  0.001 % |
1.17/1.25	c |      9509 |     420    21836    60126 |     7278     7297     77 |  0.001 % |
1.17/1.27	c |      9609 |     420    21836    60126 |     7278     6668     76 |  0.001 % |
1.17/1.29	c |      9721 |     420    21836    60126 |     7278     6780     76 |  0.001 % |
1.27/1.31	c |      9843 |     420    21836    60126 |     7278     6902     76 |  0.001 % |
1.27/1.33	c |      9976 |     420    21836    60126 |     7278     7035     76 |  0.001 % |
1.27/1.34	c |     10123 |     420    21836    60126 | 2147483647     7182     75 |  0.001 % |
1.27/1.37	c |     10284 |     420    21836    60126 | 2147483647     7343     75 |  0.001 % |
1.27/1.39	c |     10462 |     420    21836    60126 | 2147483647     7521     75 |  0.001 % |
1.37/1.41	c |     10655 |     420    21836    60126 | 2147483647     7714     75 |  0.001 % |
1.37/1.44	c |     10868 |     420    21836    60126 | 2147483647     7927     76 |  0.001 % |
1.37/1.47	c |     11102 |     420    21836    60126 | 2147483647     8161     76 |  0.001 % |
1.37/1.49	c |     11359 |     420    21836    60126 | 2147483647     8418     76 |  0.001 % |
1.47/1.53	c |     11642 |     420    21836    60126 | 2147483647     8701     76 |  0.001 % |
1.47/1.55	c |     11743 |     420    21836    60126 | 2147483647     8802     76 |  0.001 % |
1.47/1.56	c |     11854 |     420    21836    60126 | 2147483647     8913     76 |  0.001 % |
1.47/1.58	c |     11975 |     420    21836    60126 | 2147483647     9034     76 |  0.001 % |
1.57/1.60	c |     12109 |     420    21836    60126 | 2147483647     9168     76 |  0.001 % |
1.57/1.63	c |     12256 |     420    21836    60126 | 2147483647     9315     76 |  0.001 % |
1.57/1.65	c |     12418 |     420    21836    60126 | 2147483647     9477     76 |  0.001 % |
1.57/1.68	c |     12595 |     420    21836    60126 | 2147483647     9654     76 |  0.001 % |
1.67/1.71	c |     12791 |     420    21836    60126 | 2147483647     9850     76 |  0.001 % |
1.67/1.75	c |     13005 |     420    21836    60126 | 2147483647    10064     76 |  0.001 % |
1.67/1.79	c |     13240 |     420    21836    60126 | 2147483647    10299     76 |  0.001 % |
1.77/1.84	c |     13496 |     420    21836    60126 | 2147483647    10555     77 |  0.001 % |
1.77/1.89	c |     13777 |     420    21836    60126 | 2147483647    10836     77 |  0.001 % |
1.87/1.94	c |     14088 |     420    21836    60126 | 2147483647    11147     77 |  0.001 % |
1.87/1.96	c |     14188 |     420    21836    60126 | 2147483647    11247     77 |  0.001 % |
1.87/1.98	c |     14299 |     420    21836    60126 | 2147483647    11358     77 |  0.001 % |
1.97/2.01	c |     14420 |     420    21836    60126 | 2147483647    11479     77 |  0.001 % |
1.97/2.03	c |     14554 |     420    21836    60126 | 2147483647    11613     77 |  0.001 % |
1.97/2.07	c |     14704 |     420    21836    60126 | 2147483647    11763     77 |  0.001 % |
1.97/2.10	c |     14864 |     420    21836    60126 | 2147483647    11923     77 |  0.001 % |
2.08/2.13	c |     15040 |     420    21836    60126 | 2147483647    12099     77 |  0.001 % |
2.08/2.18	c |     15233 |     420    21836    60126 | 2147483647    12292     77 |  0.001 % |
2.18/2.22	c |     15447 |     420    21836    60126 | 2147483647    12506     77 |  0.001 % |
2.18/2.26	c |     15680 |     420    21836    60126 | 2147483647    12739     77 |  0.001 % |
2.27/2.33	c |     15936 |     420    21836    60126 | 2147483647    12995     78 |  0.001 % |
2.27/2.38	c |     16218 |     420    21836    60126 | 2147483647    13277     78 |  0.001 % |
2.37/2.47	c |     16527 |     420    21836    60126 | 2147483647    13586     78 |  0.001 % |
2.47/2.57	c |     16866 |     420    21836    60126 | 2147483647    13925     78 |  0.001 % |
2.57/2.60	c |     16966 |     420    21836    60126 | 2147483647    14025     78 |  0.001 % |
2.57/2.64	c |     17076 |     420    21836    60126 | 2147483647    14135     78 |  0.001 % |
2.57/2.68	c |     17197 |     420    21836    60126 | 2147483647    14256     78 |  0.001 % |
2.67/2.71	c |     17330 |     420    21836    60126 | 2147483647    14389     78 |  0.001 % |
2.67/2.74	c |     17476 |     420    21836    60126 | 2147483647    14535     78 |  0.001 % |
2.67/2.80	c |     17638 |     420    21836    60126 | 2147483647    14697     78 |  0.001 % |
2.77/2.84	c |     17815 |     420    21836    60126 | 2147483647    14874     79 |  0.001 % |
2.77/2.90	c |     18011 |     420    21836    60126 | 2147483647    15070     79 |  0.001 % |
2.87/2.99	c |     18225 |     420    21836    60126 | 2147483647    15284     79 |  0.001 % |
2.97/3.07	c |     18459 |     420    21836    60126 | 2147483647    15518     79 |  0.001 % |
3.08/3.17	c |     18716 |     420    21836    60126 | 2147483647    15775     79 |  0.001 % |
3.18/3.26	c |     19000 |     420    21836    60126 | 2147483647    16059     79 |  0.001 % |
3.28/3.39	c |     19309 |     420    21836    60126 | 2147483647    16368     79 |  0.001 % |
3.37/3.49	c |     19648 |     420    21836    60126 | 2147483647    16707     79 |  0.001 % |
3.57/3.63	c |     20020 |     420    21836    60126 | 2147483647    17079     79 |  0.001 % |
3.57/3.68	c |     20123 |     420    21836    60126 | 2147483647    17182     79 |  0.001 % |
3.67/3.71	c |     20233 |     420    21836    60126 | 2147483647    17292     79 |  0.001 % |
3.67/3.76	c |     20357 |     420    21836    60126 | 2147483647    17416     79 |  0.001 % |
3.77/3.82	c |     20490 |     420    21836    60126 | 2147483647    17549     79 |  0.001 % |
3.87/3.91	c |     20636 |     420    21836    60126 | 2147483647    17695     79 |  0.001 % |
3.87/3.97	c |     20797 |     420    21836    60126 | 2147483647    17856     79 |  0.001 % |
3.97/4.03	c |     20974 |     420    21836    60126 | 2147483647    18033     79 |  0.001 % |
4.07/4.10	c |     21167 |     420    21836    60126 | 2147483647    18226     79 |  0.001 % |
4.17/4.21	c |     21380 |     420    21836    60126 | 2147483647    18439     79 |  0.001 % |
4.28/4.34	c |     21616 |     420    21836    60126 | 2147483647    18675     79 |  0.001 % |
4.37/4.43	c |     21875 |     420    21836    60126 | 2147483647    18934     79 |  0.001 % |
4.47/4.54	c |     22156 |     420    21836    60126 | 2147483647    19215     79 |  0.001 % |
4.57/4.66	c |     22465 |     420    21836    60126 | 2147483647    19524     79 |  0.001 % |
4.67/4.79	c |     22804 |     420    21836    60126 | 2147483647    19863     79 |  0.001 % |
4.77/4.89	c |     23177 |     420    21836    60126 | 2147483647    20236     79 |  0.001 % |
4.97/5.09	c |     23586 |     420    21836    60126 | 2147483647    20645     79 |  0.001 % |
5.07/5.17	c |     23686 |     420    21836    60126 | 2147483647    20745     79 |  0.001 % |
5.17/5.24	c |     23797 |     420    21836    60126 | 2147483647    20856     79 |  0.001 % |
5.27/5.33	c |     23920 |     420    21836    60126 | 2147483647    20979     79 |  0.001 % |
5.27/5.37	c |     24054 |     420    21836    60126 | 2147483647    21113     79 |  0.001 % |
5.37/5.48	c |     24200 |     420    21836    60126 | 2147483647    21259     79 |  0.001 % |
5.57/5.60	c |     24360 |     420    21836    60126 | 2147483647    21419     79 |  0.001 % |
5.67/5.72	c |     24538 |     420    21836    60126 | 2147483647    21597     79 |  0.001 % |
5.77/5.85	c |     24732 |     420    21836    60126 | 2147483647    21791     80 |  0.001 % |
5.87/5.95	c |     24944 |     420    21836    60126 | 2147483647    22003     79 |  0.001 % |
5.97/6.08	c |     25177 |     420    21836    60126 | 2147483647    22236     79 |  0.001 % |
6.07/6.18	c |     25433 |     420    21836    60126 | 2147483647    22492     79 |  0.001 % |
6.27/6.32	c |     25714 |     420    21836    60126 | 2147483647    22773     79 |  0.001 % |
6.37/6.48	c |     26023 |     420    21836    60126 | 2147483647    23082     80 |  0.001 % |
6.67/6.77	c |     26362 |     420    21836    60126 | 2147483647    23421     80 |  0.001 % |
7.07/7.10	c |     26735 |     420    21836    60126 | 2147483647    23794     80 |  0.001 % |
7.37/7.40	c |     27144 |     420    21836    60126 | 2147483647    24203     80 |  0.001 % |
7.67/7.75	c |     27595 |     420    21836    60126 | 2147483647    24654     80 |  0.001 % |
7.77/7.86	c |     27696 |     420    21836    60126 | 2147483647    24755     80 |  0.001 % |
7.87/7.96	c |     27807 |     420    21836    60126 | 2147483647    24866     80 |  0.001 % |
7.97/8.05	c |     27929 |     420    21836    60126 | 2147483647    24988     80 |  0.001 % |
8.07/8.13	c |     28062 |     420    21836    60126 | 2147483647    25121     80 |  0.001 % |
8.27/8.31	c |     28210 |     420    21836    60126 | 2147483647    25269     80 |  0.001 % |
8.37/8.40	c |     28371 |     420    21836    60126 | 2147483647    25430     80 |  0.001 % |
8.47/8.52	c |     28548 |     420    21836    60126 | 2147483647    25607     80 |  0.001 % |
8.67/8.70	c |     28741 |     420    21836    60126 | 2147483647    25800     80 |  0.001 % |
8.87/8.91	c |     28953 |     420    21836    60126 | 2147483647    26012     80 |  0.001 % |
9.07/9.13	c |     29186 |     420    21836    60126 | 2147483647    26245     80 |  0.001 % |
9.37/9.43	c |     29443 |     420    21836    60126 | 2147483647    26502     80 |  0.001 % |
9.67/9.71	c |     29726 |     420    21836    60126 | 2147483647    26785     80 |  0.001 % |
9.88/9.97	c |     30036 |     420    21836    60126 | 2147483647    27095     80 |  0.001 % |
10.17/10.29	c |     30376 |     420    21836    60126 | 2147483647    27435     79 |  0.001 % |
10.57/10.66	c |     30751 |     420    21836    60126 | 2147483647    27810     80 |  0.001 % |
10.98/11.08	c |     31160 |     420    21836    60126 | 2147483647    28219     79 |  0.001 % |
11.47/11.53	c |     31610 |     420    21836    60126 | 2147483647    28669     79 |  0.001 % |
11.98/12.03	c |     32107 |     420    21836    60126 | 2147483647    29166     79 |  0.001 % |
12.08/12.14	c |     32208 |     420    21836    60126 | 2147483647    29267     79 |  0.001 % |
12.17/12.24	c |     32318 |     420    21836    60126 | 2147483647    29377     79 |  0.001 % |
12.17/12.29	c |     32439 |     420    21836    60126 | 2147483647    29498     79 |  0.001 % |
12.37/12.42	c |     32572 |     420    21836    60126 | 2147483647    29631     79 |  0.001 % |
12.47/12.57	c |     32719 |     420    21836    60126 | 2147483647    29778     79 |  0.001 % |
12.57/12.69	c |     32879 |     420    21836    60126 | 2147483647    29938     79 |  0.001 % |
12.87/12.90	c |     33057 |     420    21836    60126 | 2147483647    30116     79 |  0.001 % |
12.97/13.10	c |     33250 |     420    21836    60126 | 2147483647    30309     79 |  0.001 % |
13.27/13.31	c |     33462 |     420    21836    60126 | 2147483647    30521     79 |  0.001 % |
13.47/13.56	c |     33696 |     420    21836    60126 | 2147483647    30755     79 |  0.001 % |
13.77/13.82	c |     33956 |     420    21836    60126 | 2147483647    31015     79 |  0.001 % |
14.07/14.12	c |     34239 |     420    21836    60126 | 2147483647    31298     79 |  0.001 % |
14.37/14.43	c |     34549 |     420    21836    60126 | 2147483647    31608     79 |  0.001 % |
14.77/14.84	c |     34888 |     420    21836    60126 | 2147483647    31947     79 |  0.001 % |
15.07/15.17	c |     35262 |     420    21836    60126 | 2147483647    32321     79 |  0.001 % |
15.37/15.49	c |     35672 |     420    21836    60126 | 2147483647    32731     79 |  0.001 % |
15.86/15.98	c |     36121 |     420    21836    60126 | 2147483647    33180     79 |  0.001 % |
16.47/16.52	c |     36616 |     420    21836    60126 | 2147483647    33675     79 |  0.001 % |
17.07/17.13	c |     37160 |     420    21836    60126 | 2147483647    34219     78 |  0.001 % |
17.27/17.32	c |     37260 |     420    21836    60126 | 2147483647    34319     78 |  0.001 % |
17.37/17.50	c |     37372 |     420    21836    60126 | 2147483647    34431     78 |  0.001 % |
17.57/17.68	c |     37493 |     420    21836    60126 | 2147483647    34552     78 |  0.001 % |
17.87/17.91	c |     37626 |     420    21836    60126 | 2147483647    34685     78 |  0.001 % |
17.97/18.09	c |     37773 |     420    21836    60126 | 2147483647    34832     78 |  0.001 % |
18.27/18.33	c |     37933 |     420    21836    60126 | 2147483647    34992     78 |  0.001 % |
18.37/18.43	c |     38111 |     420    21836    60126 | 2147483647    35170     78 |  0.001 % |
18.57/18.64	c |     38306 |     420    21836    60126 | 2147483647    35365     78 |  0.001 % |
18.87/18.92	c |     38520 |     420    21836    60126 | 2147483647    35579     78 |  0.001 % |
19.07/19.15	c |     38753 |     420    21836    60126 | 2147483647    35812     78 |  0.001 % |
19.17/19.25	c |     39010 |     420    21836    60126 | 2147483647    36069     78 |  0.001 % |
19.27/19.38	c |     39292 |     420    21836    60126 | 2147483647    36351     78 |  0.001 % |
19.37/19.50	c |     39602 |     420    21836    60126 | 2147483647    36661     78 |  0.001 % |
19.47/19.57	c |     39943 |     420    21836    60126 | 2147483647    37002     78 |  0.001 % |
19.67/19.78	c |     40315 |     420    21836    60126 |    37059    30506     77 |  0.001 % |
19.77/19.89	c |     40725 |     420    21836    60126 |    37059    30916     77 |  0.001 % |
19.97/20.00	c |     41176 |     420    21836    60126 |    37059    31367     77 |  0.001 % |
20.56/20.61	c |     41671 |     420    21836    60126 |    37059    31862     77 |  0.001 % |
21.56/21.61	c |     42213 |     420    21836    60126 |    37059    32404     77 |  0.001 % |
22.56/22.61	c |     42811 |     420    21836    60126 |    37059    33002     77 |  0.001 % |
22.66/22.71	c |     42911 |     420    21836    60126 |    37059    33102     77 |  0.001 % |
22.76/22.86	c |     43021 |     420    21836    60126 |    37059    33212     77 |  0.001 % |
23.07/23.16	c |     43143 |     420    21836    60126 |    37059    33334     77 |  0.001 % |
23.26/23.39	c |     43276 |     420    21836    60126 |    37059    33467     77 |  0.001 % |
23.36/23.43	c |     43422 |     420    21836    60126 |    37059    33613     78 |  0.001 % |
23.76/23.82	c |     43585 |     420    21836    60126 |    37059    33776     78 |  0.001 % |
24.26/24.31	c |     43761 |     420    21836    60126 |    37059    33952     78 |  0.001 % |
24.66/24.70	c |     43955 |     420    21836    60126 |    37059    34146     78 |  0.001 % |
25.06/25.17	c |     44167 |     420    21836    60126 |    37059    34358     78 |  0.001 % |
25.46/25.59	c |     44400 |     420    21836    60126 |    37059    34591     78 |  0.001 % |
26.06/26.14	c |     44656 |     420    21836    60126 |    37059    34847     78 |  0.001 % |
26.56/26.66	c |     44938 |     420    21836    60126 |    37059    35129     78 |  0.001 % |
27.26/27.30	c |     45248 |     420    21836    60126 |    37059    35439     78 |  0.001 % |
27.96/28.08	c |     45587 |     420    21836    60126 |    37059    35778     78 |  0.001 % |
28.76/28.81	c |     45961 |     420    21836    60126 |    37059    36152     78 |  0.001 % |
29.36/29.46	c |     46371 |     420    21836    60126 |    37059    36562     78 |  0.001 % |
30.26/30.32	c |     46823 |     420    21836    60126 |    37059    37014     78 |  0.001 % |
31.26/31.34	c |     47316 |     420    21836    60126 |    37059    26402     75 |  0.001 % |
31.66/31.70	c |     47858 |     420    21836    60126 |    37059    26944     75 |  0.001 % |
32.36/32.45	c |     48457 |     420    21836    60126 |    37059    27543     76 |  0.001 % |
32.56/32.60	c |     49116 |     420    21836    60126 |    37059    28202     76 |  0.001 % |
32.76/32.83	c |     49217 |     420    21836    60126 |    37059    28303     76 |  0.001 % |
32.96/33.02	c |     49328 |     420    21836    60126 |    37059    28414     76 |  0.001 % |
32.96/33.08	c |     49450 |     420    21836    60126 |    37059    28536     76 |  0.001 % |
33.36/33.40	c |     49586 |     420    21836    60126 |    37059    28672     76 |  0.001 % |
33.46/33.57	c |     49732 |     420    21836    60126 |    37059    28818     76 |  0.001 % |
33.76/33.81	c |     49892 |     420    21836    60126 |    37059    28978     76 |  0.001 % |
33.86/33.95	c |     50069 |     420    21836    60126 |    29087    29155     76 |  0.001 % |
34.16/34.22	c |     50263 |     420    21836    60126 |    29087    20882     76 |  0.001 % |
34.36/34.43	c |     50475 |     420    21836    60126 |    29087    21094     76 |  0.001 % |
34.56/34.66	c |     50708 |     420    21836    60126 |    29087    21327     76 |  0.001 % |
34.66/34.75	c |     50965 |     420    21836    60126 |    29087    21584     76 |  0.001 % |
34.86/34.99	c |     51247 |     420    21836    60126 |    29087    21866     76 |  0.001 % |
35.16/35.21	c |     51556 |     420    21836    60126 |    29087    22175     76 |  0.001 % |
35.35/35.43	c |     51895 |     420    21836    60126 |    29087    22514     77 |  0.001 % |
35.75/35.83	c |     52267 |     420    21836    60126 |    29087    22886     77 |  0.001 % |
36.05/36.12	c |     52676 |     420    21836    60126 |    29087    23295     77 |  0.001 % |
36.45/36.53	c |     53125 |     420    21836    60126 |    29087    23744     77 |  0.001 % |
36.85/36.94	c |     53618 |     420    21836    60126 |    29087    24237     78 |  0.001 % |
37.05/37.13	c |     54163 |     420    21836    60126 |    29087    24782     78 |  0.001 % |
37.55/37.66	c |     54759 |     420    21836    60126 |    29087    25378     78 |  0.001 % |
38.25/38.40	c |     55414 |     420    21836    60126 |    29087    26033     78 |  0.001 % |
39.15/39.20	c |     56134 |     420    21836    60126 |    29087    26753     78 |  0.001 % |
39.15/39.29	c |     56235 |     420    21836    60126 |    29087    26854     78 |  0.001 % |
39.35/39.42	c |     56345 |     420    21836    60126 |    29087    26964     78 |  0.001 % |
39.46/39.53	c |     56468 |     420    21836    60126 |    29087    27087     78 |  0.001 % |
39.56/39.69	c |     56606 |     420    21836    60126 |    29087    27225     78 |  0.001 % |
39.75/39.87	c |     56753 |     420    21836    60126 |    29087    27372     78 |  0.001 % |
39.95/40.05	c |     56914 |     420    21836    60126 |    29087    27533     78 |  0.001 % |
40.05/40.14	c |     57090 |     420    21836    60126 |    29087    27709     78 |  0.001 % |
40.35/40.43	c |     57283 |     420    21836    60126 |    29087    27902     79 |  0.001 % |
40.55/40.68	c |     57496 |     420    21836    60126 |    29087    28115     79 |  0.001 % |
40.75/40.87	c |     57730 |     420    21836    60126 |    29087    28349     79 |  0.001 % |
40.95/41.08	c |     57986 |     420    21836    60126 |    29087    28605     79 |  0.001 % |
41.35/41.44	c |     58268 |     420    21836    60126 |    29087    28887     79 |  0.001 % |
41.65/41.75	c |     58577 |     420    21836    60126 |    29087    29196     79 |  0.001 % |
41.95/42.07	c |     58917 |     420    21836    60126 |    29087    21658     82 |  0.001 % |
42.15/42.24	c |     59289 |     420    21836    60126 |    29087    22030     82 |  0.001 % |
42.34/42.43	c |     59698 |     420    21836    60126 |    29087    22439     81 |  0.001 % |
42.64/42.72	c |     60149 |     420    21836    60126 |    22743    22890     81 |  0.001 % |
42.85/42.96	c |     60644 |     420    21836    60126 |    22743    17484     79 |  0.001 % |
43.04/43.10	c |     61186 |     420    21836    60126 |    22743    18026     79 |  0.001 % |
43.24/43.38	c |     61783 |     420    21836    60126 |    22743    18623     80 |  0.001 % |
43.54/43.66	c |     62439 |     420    21836    60126 |    22743    19279     79 |  0.001 % |
43.74/43.89	c |     63163 |     420    21836    60126 |    22743    20003     78 |  0.001 % |
44.14/44.20	c |     63956 |     420    21836    60126 |    22743    20796     78 |  0.001 % |
44.14/44.24	c |     64059 |     420    21836    60126 |    22743    20899     78 |  0.001 % |
44.24/44.31	c |     64171 |     420    21836    60126 |    22743    21011     79 |  0.001 % |
44.24/44.35	c |     64292 |     420    21836    60126 |    22743    21132     79 |  0.001 % |
44.24/44.40	c |     64426 |     420    21836    60126 |    22743    21266     79 |  0.001 % |
44.34/44.47	c |     64572 |     420    21836    60126 |    22743    21412     79 |  0.001 % |
44.44/44.57	c |     64732 |     420    21836    60126 |    22743    21572     79 |  0.001 % |
44.54/44.66	c |     64911 |     420    21836    60126 |    22743    21751     79 |  0.001 % |
44.64/44.77	c |     65104 |     420    21836    60126 |    22743    21944     79 |  0.001 % |
44.74/44.89	c |     65320 |     420    21836    60126 |    22743    22160     79 |  0.001 % |
44.95/45.02	c |     65554 |     420    21836    60126 |    22743    22394     79 |  0.001 % |
45.14/45.22	c |     65812 |     420    21836    60126 |    22743    22652     79 |  0.001 % |
45.34/45.44	c |     66093 |     420    21836    60126 |    22743    19267     77 |  0.001 % |
45.54/45.63	c |     66402 |     420    21836    60126 |    22743    19576     77 |  0.001 % |
45.64/45.78	c |     66743 |     420    21836    60126 |    22743    19917     77 |  0.001 % |
45.84/45.92	c |     67115 |     420    21836    60126 |    22743    20289     77 |  0.001 % |
45.94/46.07	c |     67526 |     420    21836    60126 |    22743    20700     78 |  0.001 % |
46.24/46.31	c |     67976 |     420    21836    60126 |    22743    21150     78 |  0.001 % |
46.44/46.52	c |     68469 |     420    21836    60126 |    22743    21643     78 |  0.001 % |
46.64/46.75	c |     69011 |     420    21836    60126 |    22743    22185     79 |  0.001 % |
47.04/47.11	c |     69607 |     420    21836    60126 |    22743    22781     79 |  0.001 % |
47.24/47.38	c |     70262 |     420    21836    60126 |    20014    20276     77 |  0.001 % |
47.64/47.79	c |     70983 |     420    21836    60126 |    20014    18341     77 |  0.001 % |
48.14/48.24	c |     71775 |     420    21836    60126 |    20014    19133     78 |  0.001 % |
48.64/48.73	c |     72648 |     420    21836    60126 |    20014    20006     78 |  0.001 % |
48.74/48.82	c |     72749 |     420    21836    60126 |    20014    20107     78 |  0.001 % |
48.84/48.92	c |     72861 |     420    21836    60126 |    20014    17902     77 |  0.001 % |
48.84/48.98	c |     72983 |     420    21836    60126 |    20014    18024     77 |  0.001 % |
48.94/49.04	c |     73117 |     420    21836    60126 |    20014    18158     78 |  0.001 % |
48.94/49.09	c |     73263 |     420    21836    60126 |    20014    18304     78 |  0.001 % |
49.14/49.22	c |     73427 |     420    21836    60126 |    20014    18468     78 |  0.001 % |
49.14/49.29	c |     73605 |     420    21836    60126 |    20014    18646     78 |  0.001 % |
49.24/49.37	c |     73803 |     420    21836    60126 |    20014    18844     78 |  0.001 % |
49.34/49.48	c |     74016 |     420    21836    60126 |    20014    19057     78 |  0.001 % |
49.54/49.63	c |     74251 |     420    21836    60126 |    20014    19292     78 |  0.001 % |
49.64/49.79	c |     74507 |     420    21836    60126 |    20014    19548     78 |  0.001 % |
49.94/50.00	c |     74789 |     420    21836    60126 |    20014    19830     78 |  0.001 % |
50.04/50.20	c |     75100 |     420    21836    60126 |    20014    20141     78 |  0.001 % |
50.24/50.40	c |     75439 |     420    21836    60126 |    20014    18292     78 |  0.001 % |
50.54/50.63	c |     75811 |     420    21836    60126 |    20014    18664     78 |  0.001 % |
50.84/50.92	c |     76222 |     420    21836    60126 |    20014    19075     79 |  0.001 % |
51.14/51.25	c |     76671 |     420    21836    60126 |    20014    19524     79 |  0.001 % |
51.34/51.43	c |     77165 |     420    21836    60126 |    20014    20018     79 |  0.001 % |
51.54/51.62	c |     77711 |     420    21836    60126 |    20014    18509     80 |  0.001 % |
51.74/51.87	c |     78307 |     420    21836    60126 |    20014    19105     80 |  0.001 % |
51.94/52.09	c |     78962 |     420    21836    60126 |    20014    19760     80 |  0.001 % |
52.24/52.33	c |     79682 |     420    21836    60126 |    20014    18457     79 |  0.001 % |
52.74/52.86	c |     80474 |     420    21836    60126 | 2147483647    19249     80 |  0.001 % |
53.14/53.29	c |     81348 |     420    21836    60126 | 2147483647    20123     80 |  0.001 % |
54.03/54.12	c |     82306 |     420    21836    60126 | 2147483647    21081     81 |  0.001 % |
54.03/54.17	c |     82406 |     420    21836    60126 | 2147483647    21181     81 |  0.001 % |
54.13/54.28	c |     82518 |     420    21836    60126 | 2147483647    21293     81 |  0.001 % |
54.23/54.39	c |     82639 |     420    21836    60126 | 2147483647    21414     81 |  0.001 % |
54.43/54.51	c |     82773 |     420    21836    60126 | 2147483647    21548     81 |  0.001 % |
54.43/54.55	c |     82919 |     420    21836    60126 | 2147483647    21694     81 |  0.001 % |
54.53/54.64	c |     83079 |     420    21836    60126 | 2147483647    21854     81 |  0.001 % |
54.73/54.83	c |     83255 |     420    21836    60126 | 2147483647    22030     81 |  0.001 % |
54.94/55.03	c |     83448 |     420    21836    60126 | 2147483647    22223     81 |  0.001 % |
55.03/55.18	c |     83660 |     420    21836    60126 | 2147483647    22435     81 |  0.001 % |
55.13/55.26	c |     83894 |     420    21836    60126 | 2147483647    22669     81 |  0.001 % |
55.43/55.53	c |     84150 |     420    21836    60126 | 2147483647    22925     81 |  0.001 % |
55.53/55.67	c |     84431 |     420    21836    60126 | 2147483647    23206     82 |  0.001 % |
55.84/55.99	c |     84740 |     420    21836    60126 | 2147483647    23515     82 |  0.001 % |
56.14/56.21	c |     85080 |     420    21836    60126 | 2147483647    23855     82 |  0.001 % |
56.44/56.52	c |     85453 |     420    21836    60126 | 2147483647    24228     82 |  0.001 % |
56.74/56.82	c |     85863 |     420    21836    60126 | 2147483647    24638     82 |  0.001 % |
57.34/57.41	c |     86313 |     420    21836    60126 | 2147483647    25088     83 |  0.001 % |
57.84/57.95	c |     86808 |     420    21836    60126 | 2147483647    25583     83 |  0.001 % |
58.34/58.43	c |     87350 |     420    21836    60126 | 2147483647    26125     83 |  0.001 % |
58.74/58.88	c |     87948 |     420    21836    60126 | 2147483647    26723     83 |  0.001 % |
59.14/59.28	c |     88604 |     420    21836    60126 | 2147483647    27379     83 |  0.001 % |
59.84/59.96	c |     89324 |     420    21836    60126 | 2147483647    28099     83 |  0.001 % |
60.64/60.74	c |     90119 |     420    21836    60126 |    28775    28894     83 |  0.001 % |
61.04/61.19	c |     90990 |     420    21836    60126 |    28775    25023     81 |  0.001 % |
61.74/61.80	c |     91956 |     420    21836    60126 |    28775    25989     81 |  0.001 % |
62.44/62.55	c |     93013 |     420    21836    60126 |    28775    27046     81 |  0.001 % |
62.54/62.69	c |     93113 |     420    21836    60126 |    28775    27146     81 |  0.001 % |
62.64/62.77	c |     93223 |     420    21836    60126 |    28775    27256     81 |  0.001 % |
62.74/62.86	c |     93345 |     420    21836    60126 |    28775    27378     81 |  0.001 % |
62.94/63.00	c |     93481 |     420    21836    60126 |    28775    27514     81 |  0.001 % |
63.04/63.11	c |     93627 |     420    21836    60126 |    28775    27660     82 |  0.001 % |
63.04/63.18	c |     93787 |     420    21836    60126 |    28775    27820     81 |  0.001 % |
63.24/63.36	c |     93963 |     420    21836    60126 |    28775    27996     81 |  0.001 % |
63.44/63.58	c |     94156 |     420    21836    60126 |    28775    28189     82 |  0.001 % |
63.74/63.81	c |     94369 |     420    21836    60126 |    28775    28402     82 |  0.001 % |
63.84/63.93	c |     94603 |     420    21836    60126 |    28775    28636     82 |  0.001 % |
64.04/64.10	c |     94860 |     420    21836    60126 |    28775    28893     82 |  0.001 % |
64.24/64.31	c |     95142 |     420    21836    60126 |    28775    23823     80 |  0.001 % |
64.34/64.49	c |     95453 |     420    21836    60126 |    28775    24134     80 |  0.001 % |
64.74/64.82	c |     95794 |     420    21836    60126 |    28775    24475     80 |  0.001 % |
65.04/65.18	c |     96166 |     420    21836    60126 |    28775    24847     80 |  0.001 % |
65.44/65.59	c |     96575 |     420    21836    60126 |    28775    25256     80 |  0.001 % |
66.04/66.10	c |     97025 |     420    21836    60126 |    28775    25706     80 |  0.001 % |
66.54/66.62	c |     97520 |     420    21836    60126 |    28775    26201     80 |  0.001 % |
67.04/67.11	c |     98062 |     420    21836    60126 |    28775    26743     81 |  0.001 % |
67.74/67.89	c |     98658 |     420    21836    60126 |    28775    27339     81 |  0.001 % |
68.44/68.57	c |     99314 |     420    21836    60126 |    28775    27995     81 |  0.001 % |
69.14/69.21	c |    100036 |     420    21836    60126 |    28682    28717     81 |  0.001 % |
69.73/69.85	c |    100829 |     420    21836    60126 |    28682    23712     79 |  0.001 % |
70.34/70.41	c |    101701 |     420    21836    60126 |    28682    24584     78 |  0.001 % |
71.13/71.27	c |    102661 |     420    21836    60126 |    28682    25544     79 |  0.001 % |
72.23/72.38	c |    103716 |     420    21836    60126 |    28682    26599     79 |  0.001 % |
73.23/73.39	c |    104874 |     420    21836    60126 |    28682    27757     79 |  0.001 % |
73.33/73.46	c |    104974 |     420    21836    60126 |    28682    27857     79 |  0.001 % |
73.43/73.58	c |    105085 |     420    21836    60126 |    28682    27968     79 |  0.001 % |
73.73/73.82	c |    105207 |     420    21836    60126 |    28682    28090     79 |  0.001 % |
73.83/73.94	c |    105341 |     420    21836    60126 |    28682    28224     79 |  0.001 % |
73.93/74.03	c |    105487 |     420    21836    60126 |    28682    28370     79 |  0.001 % |
74.13/74.27	c |    105647 |     420    21836    60126 |    28682    28530     79 |  0.001 % |
74.33/74.45	c |    105823 |     420    21836    60126 |    28682    28706     79 |  0.001 % |
74.53/74.66	c |    106021 |     420    21836    60126 |    28682    22941     77 |  0.001 % |
74.83/74.95	c |    106235 |     420    21836    60126 |    28682    23155     77 |  0.001 % |
74.93/75.09	c |    106468 |     420    21836    60126 |    28682    23388     77 |  0.001 % |
75.23/75.35	c |    106724 |     420    21836    60126 |    28682    23644     77 |  0.001 % |
75.43/75.53	c |    107006 |     420    21836    60126 |    28682    23926     77 |  0.001 % |
75.73/75.81	c |    107315 |     420    21836    60126 |    28682    24235     77 |  0.001 % |
75.93/76.09	c |    107654 |     420    21836    60126 |    28682    24574     77 |  0.001 % |
76.33/76.47	c |    108029 |     420    21836    60126 |    28682    24949     77 |  0.001 % |
76.83/76.97	c |    108440 |     420    21836    60126 |    28682    25360     77 |  0.001 % |
77.33/77.42	c |    108890 |     420    21836    60126 |    28682    25810     77 |  0.001 % |
77.63/77.76	c |    109383 |     420    21836    60126 |    28682    26303     77 |  0.001 % |
78.03/78.16	c |    109927 |     420    21836    60126 |    28682    26847     77 |  0.001 % |
78.33/78.42	c |    110523 |     420    21836    60126 |    26920    22063     76 |  0.001 % |
78.83/78.98	c |    111178 |     420    21836    60126 |    26920    22718     76 |  0.001 % |
79.23/79.32	c |    111898 |     420    21836    60126 |    26920    23438     76 |  0.001 % |
79.63/79.74	c |    112692 |     420    21836    60126 |    26920    24232     77 |  0.001 % |
80.53/80.68	c |    113565 |     420    21836    60126 |    26920    25105     77 |  0.001 % |
81.53/81.65	c |    114525 |     420    21836    60126 |    26920    26065     78 |  0.001 % |
83.03/83.19	c |    115578 |     420    21836    60126 |    26920    27118     79 |  0.001 % |
84.13/84.22	c |    116737 |     420    21836    60126 |    26920    22441     78 |  0.001 % |
85.12/85.21	c |    118010 |     420    21836    60126 |    26920    23714     78 |  0.001 % |
85.22/85.39	c |    118110 |     420    21836    60126 |    26920    23814     78 |  0.001 % |
85.32/85.45	c |    118221 |     420    21836    60126 |    26920    23925     78 |  0.001 % |
85.42/85.58	c |    118342 |     420    21836    60126 |    26920    24046     78 |  0.001 % |
85.52/85.68	c |    118475 |     420    21836    60126 |    26920    24179     78 |  0.001 % |
85.62/85.79	c |    118624 |     420    21836    60126 |    26920    24328     78 |  0.001 % |
85.82/85.96	c |    118784 |     420    21836    60126 |    26920    24488     78 |  0.001 % |
86.02/86.18	c |    118960 |     420    21836    60126 |    26920    24664     78 |  0.001 % |
86.22/86.37	c |    119159 |     420    21836    60126 |    26920    24863     78 |  0.001 % |
86.42/86.55	c |    119371 |     420    21836    60126 |    26920    25075     78 |  0.001 % |
86.72/86.85	c |    119605 |     420    21836    60126 |    26920    25309     79 |  0.001 % |
86.91/87.08	c |    119861 |     420    21836    60126 |    26920    25565     79 |  0.001 % |
87.31/87.46	c |    120147 |     420    21836    60126 |    25707    25851     79 |  0.001 % |
87.51/87.60	c |    120457 |     420    21836    60126 |    25707    20668     78 |  0.001 % |
87.82/87.94	c |    120798 |     420    21836    60126 |    25707    21009     78 |  0.001 % |
88.11/88.24	c |    121173 |     420    21836    60126 |    25707    21384     78 |  0.001 % |
88.41/88.57	c |    121585 |     420    21836    60126 |    25707    21796     79 |  0.001 % |
88.81/88.90	c |    122036 |     420    21836    60126 |    25707    22247     79 |  0.001 % |
89.21/89.38	c |    122535 |     420    21836    60126 |    25707    22746     79 |  0.001 % |
89.81/89.96	c |    123078 |     420    21836    60126 |    25707    23289     80 |  0.001 % |
90.61/90.70	c |    123676 |     420    21836    60126 |    25707    23887     80 |  0.001 % |
91.22/91.35	c |    124331 |     420    21836    60126 |    25707    24542     80 |  0.001 % |
91.81/91.99	c |    125052 |     420    21836    60126 |    25707    25263     80 |  0.001 % |
92.61/92.76	c |    125844 |     420    21836    60126 |    25707    21015     81 |  0.001 % |
93.41/93.58	c |    126716 |     420    21836    60126 |    25707    21887     81 |  0.001 % |
94.11/94.27	c |    127675 |     420    21836    60126 |    25707    22846     81 |  0.001 % |
95.11/95.22	c |    128729 |     420    21836    60126 |    25707    23900     81 |  0.001 % |
95.71/95.85	c |    129890 |     420    21836    60126 |    25707    25061     82 |  0.001 % |
96.91/97.05	c |    131166 |     420    21836    60126 |    25172    21560     79 |  0.001 % |
98.51/98.68	c |    132569 |     420    21836    60126 |    25172    22963     80 |  0.001 % |
98.71/98.80	c |    132669 |     420    21836    60126 |    25172    23063     80 |  0.001 % |
98.81/98.94	c |    132779 |     420    21836    60126 |    25172    23173     80 |  0.001 % |
98.91/99.06	c |    132901 |     420    21836    60126 |    25172    23295     80 |  0.001 % |
99.01/99.17	c |    133037 |     420    21836    60126 |    25172    23431     80 |  0.001 % |
99.21/99.37	c |    133184 |     420    21836    60126 |    25172    23578     80 |  0.001 % |
99.31/99.46	c |    133344 |     420    21836    60126 |    25172    23738     80 |  0.001 % |
99.51/99.65	c |    133520 |     420    21836    60126 |    25172    23914     80 |  0.001 % |
99.81/99.90	c |    133713 |     420    21836    60126 |    25172    24107     81 |  0.001 % |
100.01/100.12	c |    133925 |     420    21836    60126 |    25172    24319     81 |  0.001 % |
100.11/100.29	c |    134162 |     420    21836    60126 |    25172    24556     81 |  0.001 % |
100.51/100.64	c |    134418 |     420    21836    60126 |    25172    24812     81 |  0.001 % |
101.01/101.13	c |    134699 |     420    21836    60126 |    25172    25093     81 |  0.001 % |
101.31/101.49	c |    135008 |     420    21836    60126 |    25172    25402     81 |  0.001 % |
101.70/101.86	c |    135349 |     420    21836    60126 |    25172    20547     79 |  0.001 % |
101.90/102.01	c |    135724 |     420    21836    60126 |    25172    20922     79 |  0.001 % |
102.11/102.28	c |    136134 |     420    21836    60126 |    25172    21332     79 |  0.001 % |
102.50/102.69	c |    136584 |     420    21836    60126 |    25172    21782     80 |  0.001 % |
102.90/103.07	c |    137079 |     420    21836    60126 |    25172    22277     80 |  0.001 % |
103.31/103.49	c |    137621 |     420    21836    60126 |    25172    22819     80 |  0.001 % |
103.80/103.92	c |    138219 |     420    21836    60126 |    25172    23417     80 |  0.001 % |
104.00/104.13	c |    138874 |     420    21836    60126 |    25172    24072     81 |  0.001 % |
104.80/104.91	c |    139597 |     420    21836    60126 |    25172    24795     81 |  0.001 % |
106.00/106.17	c |    140389 |     420    21836    60126 |    25199    20515     80 |  0.001 % |
106.70/106.88	c |    141268 |     420    21836    60126 |    25199    21394     80 |  0.001 % |
107.70/107.81	c |    142227 |     420    21836    60126 |    25199    22353     80 |  0.001 % |
108.70/108.81	c |    143280 |     420    21836    60126 |    25199    23406     81 |  0.001 % |
109.60/109.74	c |    144438 |     420    21836    60126 |    25199    24564     81 |  0.001 % |
110.20/110.30	c |    145711 |     420    21836    60126 |    25199    20886     79 |  0.001 % |
111.30/111.46	c |    147112 |     420    21836    60126 |    25199    22287     80 |  0.001 % |
112.90/113.05	c |    148655 |     420    21836    60126 |    25199    23830     81 |  0.001 % |
112.90/113.09	c |    148759 |     420    21836    60126 |    25199    23934     81 |  0.001 % |
113.10/113.22	c |    148870 |     420    21836    60126 |    25199    24045     81 |  0.001 % |
113.20/113.34	c |    148994 |     420    21836    60126 |    25199    24169     81 |  0.001 % |
113.30/113.41	c |    149127 |     420    21836    60126 |    25199    24302     81 |  0.001 % |
113.50/113.60	c |    149274 |     420    21836    60126 |    25199    24449     81 |  0.001 % |
113.60/113.71	c |    149434 |     420    21836    60126 |    25199    24609     81 |  0.001 % |
113.70/113.85	c |    149610 |     420    21836    60126 |    25199    24785     81 |  0.001 % |
113.80/113.97	c |    149803 |     420    21836    60126 |    25199    24978     81 |  0.001 % |
114.00/114.14	c |    150016 |     420    21836    60126 |    25177    25191     81 |  0.001 % |
114.30/114.42	c |    150253 |     420    21836    60126 |    25177    20788     80 |  0.001 % |
114.50/114.61	c |    150510 |     420    21836    60126 |    25177    21045     80 |  0.001 % |
114.60/114.79	c |    150791 |     420    21836    60126 |    25177    21326     79 |  0.001 % |
114.80/114.92	c |    151100 |     420    21836    60126 |    25177    21635     79 |  0.001 % |
114.99/115.12	c |    151439 |     420    21836    60126 |    25177    21974     79 |  0.001 % |
115.30/115.41	c |    151811 |     420    21836    60126 |    25177    22346     80 |  0.001 % |
115.49/115.65	c |    152220 |     420    21836    60126 |    25177    22755     80 |  0.001 % |
115.79/115.95	c |    152669 |     420    21836    60126 |    25177    23204     80 |  0.001 % |
116.19/116.36	c |    153163 |     420    21836    60126 |    25177    23698     80 |  0.001 % |
116.69/116.85	c |    153705 |     420    21836    60126 |    25177    24240     80 |  0.001 % |
117.19/117.38	c |    154301 |     420    21836    60126 |    25177    24836     80 |  0.001 % |
117.99/118.11	c |    154958 |     420    21836    60126 |    25177    20742     78 |  0.001 % |
118.60/118.72	c |    155678 |     420    21836    60126 |    25177    21462     78 |  0.001 % |
119.09/119.21	c |    156471 |     420    21836    60126 |    25177    22255     79 |  0.001 % |
119.70/119.89	c |    157343 |     420    21836    60126 |    25177    23127     79 |  0.001 % |
120.69/120.86	c |    158304 |     420    21836    60126 |    25177    24088     80 |  0.001 % |
121.49/121.68	c |    159359 |     420    21836    60126 |    25177    25143     80 |  0.001 % |
122.69/122.81	c |    160523 |     420    21836    60126 |    21172    17842     77 |  0.001 % |
123.39/123.51	c |    161798 |     420    21836    60126 |    21172    19117     78 |  0.001 % |
124.89/125.07	c |    163201 |     420    21836    60126 |    21172    20520     80 |  0.001 % |
125.89/126.09	c |    164743 |     420    21836    60126 |    21172    18399     81 |  0.001 % |
127.39/127.52	c |    166437 |     420    21836    60126 |    21172    20093     81 |  0.001 % |
127.49/127.62	c |    166537 |     420    21836    60126 |    21172    20193     81 |  0.001 % |
127.59/127.72	c |    166648 |     420    21836    60126 |    21172    20304     81 |  0.001 % |
127.69/127.84	c |    166769 |     420    21836    60126 |    21172    20425     81 |  0.001 % |
127.79/127.92	c |    166904 |     420    21836    60126 |    21172    20560     81 |  0.001 % |
127.89/128.07	c |    167050 |     420    21836    60126 |    21172    20706     81 |  0.001 % |
128.09/128.29	c |    167210 |     420    21836    60126 |    21172    20866     81 |  0.001 % |
128.29/128.48	c |    167387 |     420    21836    60126 |    21172    21043     81 |  0.001 % |
128.49/128.68	c |    167582 |     420    21836    60126 |    21172    21238     81 |  0.001 % |
128.69/128.89	c |    167794 |     420    21836    60126 |    21172    17953     80 |  0.001 % |
128.99/129.10	c |    168029 |     420    21836    60126 |    21172    18188     80 |  0.001 % |
129.09/129.22	c |    168287 |     420    21836    60126 |    21172    18446     80 |  0.001 % |
129.29/129.48	c |    168568 |     420    21836    60126 |    21172    18727     80 |  0.001 % |
129.49/129.68	c |    168877 |     420    21836    60126 |    21172    19036     80 |  0.001 % |
129.69/129.89	c |    169217 |     420    21836    60126 |    21172    19376     80 |  0.001 % |
129.98/130.13	c |    169589 |     420    21836    60126 |    21172    19748     80 |  0.001 % |
130.28/130.41	c |    170005 |     420    21836    60126 |    21172    20164     80 |  0.001 % |
130.58/130.71	c |    170454 |     420    21836    60126 |    20164    17540     79 |  0.001 % |
130.88/131.04	c |    170947 |     420    21836    60126 |    20164    18033     79 |  0.001 % |
131.08/131.29	c |    171490 |     420    21836    60126 |    20164    18576     79 |  0.001 % |
131.58/131.73	c |    172087 |     420    21836    60126 |    20164    19173     79 |  0.001 % |
132.08/132.29	c |    172742 |     420    21836    60126 |    20164    19828     79 |  0.001 % |
132.78/132.94	c |    173462 |     420    21836    60126 |    20164    17624     79 |  0.001 % |
133.38/133.55	c |    174255 |     420    21836    60126 |    20164    18417     79 |  0.001 % |
133.88/134.01	c |    175126 |     420    21836    60126 |    20164    19288     80 |  0.001 % |
134.48/134.66	c |    176084 |     420    21836    60126 |    20164    20246     80 |  0.001 % |
135.28/135.41	c |    177138 |     420    21836    60126 |    20164    18571     78 |  0.001 % |
135.98/136.12	c |    178297 |     420    21836    60126 |    20164    19730     79 |  0.001 % |
136.78/136.94	c |    179572 |     420    21836    60126 |    20164    18243     78 |  0.001 % |
137.68/137.86	c |    180974 |     420    21836    60126 |    18671    17251     78 |  0.001 % |
138.68/138.81	c |    182514 |     420    21836    60126 |    18671    18791     79 |  0.001 % |
140.07/140.29	c |    184214 |     420    21836    60126 |    18671    18397     79 |  0.001 % |
141.27/141.48	c |    186078 |     420    21836    60126 |    18671    18059     80 |  0.001 % |
141.37/141.53	c |    186178 |     420    21836    60126 |    18671    18159     80 |  0.001 % |
141.47/141.62	c |    186289 |     420    21836    60126 |    18671    18270     80 |  0.001 % |
141.57/141.77	c |    186410 |     420    21836    60126 |    18671    18391     80 |  0.001 % |
141.68/141.86	c |    186544 |     420    21836    60126 |    18671    18525     80 |  0.001 % |
141.87/142.03	c |    186692 |     420    21836    60126 |    18671    18673     80 |  0.001 % |
142.07/142.21	c |    186852 |     420    21836    60126 |    18671    16822     78 |  0.001 % |
142.17/142.35	c |    187033 |     420    21836    60126 |    18671    17003     78 |  0.001 % |
142.37/142.50	c |    187227 |     420    21836    60126 |    18671    17197     78 |  0.001 % |
142.47/142.67	c |    187439 |     420    21836    60126 |    18671    17409     79 |  0.001 % |
142.67/142.82	c |    187672 |     420    21836    60126 |    18671    17642     79 |  0.001 % |
142.67/142.88	c |    187928 |     420    21836    60126 |    18671    17898     79 |  0.001 % |
142.97/143.16	c |    188211 |     420    21836    60126 |    18671    18181     79 |  0.001 % |
143.07/143.28	c |    188520 |     420    21836    60126 |    18671    18490     79 |  0.001 % |
143.47/143.66	c |    188859 |     420    21836    60126 |    18671    18829     79 |  0.001 % |
143.77/143.96	c |    189232 |     420    21836    60126 |    18671    17164     78 |  0.001 % |
143.98/144.18	c |    189642 |     420    21836    60126 |    18671    17574     78 |  0.001 % |
144.37/144.58	c |    190093 |     420    21836    60126 |    17933    18025     78 |  0.001 % |
144.87/145.08	c |    190586 |     420    21836    60126 |    17933    16545     78 |  0.001 % |
145.37/145.54	c |    191129 |     420    21836    60126 |    17933    17088     78 |  0.001 % |
145.87/146.05	c |    191728 |     420    21836    60126 |    17933    17687     78 |  0.001 % |
146.17/146.33	c |    192384 |     420    21836    60126 |    17933    16315     77 |  0.001 % |
146.37/146.59	c |    193105 |     420    21836    60126 |    17933    17036     77 |  0.001 % |
146.77/146.95	c |    193898 |     420    21836    60126 |    17933    17829     77 |  0.001 % |
147.37/147.58	c |    194769 |     420    21836    60126 |    17933    16690     76 |  0.001 % |
148.07/148.20	c |    195730 |     420    21836    60126 |    17933    17651     77 |  0.001 % |
148.97/149.14	c |    196784 |     420    21836    60126 |    17933    16684     76 |  0.001 % |
149.57/149.73	c |    197942 |     420    21836    60126 |    17933    17842     76 |  0.001 % |
150.37/150.52	c |    199215 |     420    21836    60126 |    17933    17178     77 |  0.001 % |
151.07/151.23	c |    200615 |     420    21836    60126 | 2147483647    18578     77 |  0.001 % |
151.97/152.11	c |    202159 |     420    21836    60126 | 2147483647    20122     78 |  0.001 % |
153.07/153.21	c |    203853 |     420    21836    60126 | 2147483647    21816     78 |  0.001 % |
154.47/154.62	c |    205716 |     420    21836    60126 | 2147483647    23679     78 |  0.001 % |
155.57/155.77	c |    207766 |     420    21836    60126 | 2147483647    25729     78 |  0.001 % |
155.67/155.83	c |    207866 |     420    21836    60126 | 2147483647    25829     78 |  0.001 % |
155.77/155.94	c |    207977 |     420    21836    60126 | 2147483647    25940     78 |  0.001 % |
155.97/156.11	c |    208100 |     420    21836    60126 | 2147483647    26063     78 |  0.001 % |
156.07/156.25	c |    208235 |     420    21836    60126 | 2147483647    26198     78 |  0.001 % |
156.27/156.45	c |    208381 |     420    21836    60126 | 2147483647    26344     78 |  0.001 % |
156.37/156.58	c |    208542 |     420    21836    60126 | 2147483647    26505     78 |  0.001 % |
156.56/156.77	c |    208718 |     420    21836    60126 | 2147483647    26681     78 |  0.001 % |
156.76/156.90	c |    208911 |     420    21836    60126 | 2147483647    26874     78 |  0.001 % |
156.96/157.15	c |    209126 |     420    21836    60126 | 2147483647    27089     78 |  0.001 % |
157.17/157.37	c |    209360 |     420    21836    60126 | 2147483647    27323     78 |  0.001 % |
157.46/157.66	c |    209617 |     420    21836    60126 | 2147483647    27580     78 |  0.001 % |
157.76/157.96	c |    209898 |     420    21836    60126 | 2147483647    27861     78 |  0.001 % |
158.17/158.36	c |    210207 |     420    21836    60126 |    27963    28170     78 |  0.001 % |
158.46/158.64	c |    210549 |     420    21836    60126 |    27963    24450     76 |  0.001 % |
158.96/159.12	c |    210925 |     420    21836    60126 |    27963    24826     77 |  0.001 % |
159.37/159.50	c |    211336 |     420    21836    60126 |    27963    25237     77 |  0.001 % |
159.56/159.76	c |    211786 |     420    21836    60126 |    27963    25687     77 |  0.001 % |
160.06/160.26	c |    212279 |     420    21836    60126 |    27963    26180     77 |  0.001 % |
160.56/160.78	c |    212823 |     420    21836    60126 |    27963    26724     78 |  0.001 % |
161.16/161.31	c |    213424 |     420    21836    60126 |    27963    27325     78 |  0.001 % |
161.56/161.71	c |    214079 |     420    21836    60126 |    27963    27980     78 |  0.001 % |
162.16/162.36	c |    214802 |     420    21836    60126 |    27963    23605     76 |  0.001 % |
162.86/163.08	c |    215598 |     420    21836    60126 |    27963    24401     77 |  0.001 % |
163.36/163.51	c |    216469 |     420    21836    60126 |    27963    25272     77 |  0.001 % |
163.86/164.09	c |    217428 |     420    21836    60126 |    27963    26231     78 |  0.001 % |
164.66/164.83	c |    218481 |     420    21836    60126 |    27963    27284     78 |  0.001 % |
165.96/166.18	c |    219639 |     420    21836    60126 |    27963    23431     77 |  0.001 % |
167.26/167.41	c |    220912 |     420    21836    60126 |    23793    20334     77 |  0.001 % |
168.46/168.65	c |    222315 |     420    21836    60126 |    23793    21737     77 |  0.001 % |
169.66/169.83	c |    223858 |     420    21836    60126 |    23793    23280     78 |  0.001 % |
170.86/171.04	c |    225552 |     420    21836    60126 |    23793    21140     78 |  0.001 % |
172.06/172.26	c |    227416 |     420    21836    60126 |    23793    23004     79 |  0.001 % |
173.75/173.95	c |    229465 |     420    21836    60126 |    23793    21366     78 |  0.001 % |
175.85/176.08	c |    231718 |     420    21836    60126 |    21901    20025     76 |  0.001 % |
175.95/176.18	c |    231818 |     420    21836    60126 |    21901    20125     76 |  0.001 % |
176.05/176.23	c |    231928 |     420    21836    60126 |    21901    20235     76 |  0.001 % |
176.25/176.41	c |    232053 |     420    21836    60126 |    21901    20360     76 |  0.001 % |
176.35/176.57	c |    232188 |     420    21836    60126 |    21901    20495     76 |  0.001 % |
176.55/176.74	c |    232335 |     420    21836    60126 |    21901    20642     76 |  0.001 % |
176.65/176.86	c |    232497 |     420    21836    60126 |    21901    20804     76 |  0.001 % |
176.85/177.06	c |    232673 |     420    21836    60126 |    21901    20980     76 |  0.001 % |
177.04/177.26	c |    232866 |     420    21836    60126 |    21901    21173     76 |  0.001 % |
177.34/177.53	c |    233079 |     420    21836    60126 |    21901    21386     76 |  0.001 % |
177.54/177.79	c |    233312 |     420    21836    60126 |    21901    21619     76 |  0.001 % |
177.84/178.02	c |    233570 |     420    21836    60126 |    21901    21877     76 |  0.001 % |
177.95/178.20	c |    233853 |     420    21836    60126 |    21901    18536     75 |  0.001 % |
178.24/178.47	c |    234163 |     420    21836    60126 |    21901    18846     75 |  0.001 % |
178.64/178.86	c |    234503 |     420    21836    60126 |    21901    19186     75 |  0.001 % |
179.04/179.24	c |    234878 |     420    21836    60126 |    21901    19561     75 |  0.001 % |
179.44/179.65	c |    235287 |     420    21836    60126 |    21901    19970     75 |  0.001 % |
179.84/180.05	c |    235739 |     420    21836    60126 |    21901    20422     75 |  0.001 % |
180.14/180.38	c |    236235 |     420    21836    60126 |    21901    20918     75 |  0.001 % |
180.44/180.64	c |    236780 |     420    21836    60126 |    21901    21463     76 |  0.001 % |
181.04/181.22	c |    237376 |     420    21836    60126 |    21901    22059     76 |  0.001 % |
181.64/181.81	c |    238032 |     420    21836    60126 |    21901    19118     74 |  0.001 % |
182.14/182.31	c |    238752 |     420    21836    60126 |    21901    19838     74 |  0.001 % |
182.74/182.95	c |    239544 |     420    21836    60126 |    21901    20630     75 |  0.001 % |
183.24/183.46	c |    240415 |     420    21836    60126 |    21087    18295     74 |  0.001 % |
183.84/184.08	c |    241375 |     420    21836    60126 |    21087    19255     74 |  0.001 % |
184.54/184.75	c |    242428 |     420    21836    60126 |    21087    20308     74 |  0.001 % |
185.33/185.51	c |    243586 |     420    21836    60126 |    21087    18677     74 |  0.001 % |
186.04/186.22	c |    244860 |     420    21836    60126 |    21087    19951     74 |  0.001 % |
187.03/187.28	c |    246260 |     420    21836    60126 |    21087    18631     73 |  0.001 % |
187.84/188.03	c |    247800 |     420    21836    60126 |    21087    20171     74 |  0.001 % |
188.94/189.13	c |    249495 |     420    21836    60126 |    21087    19278     73 |  0.001 % |
189.53/189.72	c |    251360 |     420    21836    60126 |    19784    19138     72 |  0.001 % |
190.14/190.37	c |    253411 |     420    21836    60126 |    19784    19192     72 |  0.001 % |
191.23/191.41	c |    255665 |     420    21836    60126 |    19784    19445     73 |  0.001 % |
192.13/192.36	c |    258143 |     420    21836    60126 |    19784    19932     71 |  0.001 % |
192.33/192.54	c |    258243 |     420    21836    60126 |    19784    18039     70 |  0.001 % |
192.43/192.60	c |    258355 |     420    21836    60126 |    19784    18151     70 |  0.001 % |
192.43/192.65	c |    258478 |     420    21836    60126 |    19784    18274     70 |  0.001 % |
192.54/192.70	c |    258612 |     420    21836    60126 |    19784    18408     71 |  0.001 % |
192.64/192.88	c |    258758 |     420    21836    60126 |    19784    18554     71 |  0.001 % |
192.84/193.00	c |    258921 |     420    21836    60126 |    19784    18717     71 |  0.001 % |
192.94/193.17	c |    259105 |     420    21836    60126 |    19784    18901     71 |  0.001 % |
193.14/193.38	c |    259306 |     420    21836    60126 |    19784    19102     71 |  0.001 % |
193.44/193.62	c |    259519 |     420    21836    60126 |    19784    19315     71 |  0.001 % |
193.64/193.89	c |    259756 |     420    21836    60126 |    19784    19552     71 |  0.001 % |
193.84/194.07	c |    260013 |     420    21836    60126 | 2147483647    19809     71 |  0.001 % |
194.24/194.48	c |    260297 |     420    21836    60126 | 2147483647    20093     71 |  0.001 % |
194.54/194.76	c |    260606 |     420    21836    60126 | 2147483647    20402     71 |  0.001 % |
194.74/194.96	c |    260945 |     420    21836    60126 | 2147483647    20741     72 |  0.001 % |
195.14/195.37	c |    261317 |     420    21836    60126 | 2147483647    21113     72 |  0.001 % |
195.44/195.69	c |    261726 |     420    21836    60126 | 2147483647    21522     72 |  0.001 % |
195.94/196.14	c |    262175 |     420    21836    60126 | 2147483647    21971     72 |  0.001 % |
196.54/196.79	c |    262670 |     420    21836    60126 | 2147483647    22466     73 |  0.001 % |
197.34/197.54	c |    263215 |     420    21836    60126 | 2147483647    23011     73 |  0.001 % |
198.14/198.32	c |    263812 |     420    21836    60126 | 2147483647    23608     73 |  0.001 % |
198.74/198.97	c |    264467 |     420    21836    60126 | 2147483647    24263     73 |  0.001 % |
199.64/199.89	c |    265187 |     420    21836    60126 | 2147483647    24983     73 |  0.001 % |
200.83/201.09	c |    265979 |     420    21836    60126 | 2147483647    25775     73 |  0.001 % |
202.03/202.20	c |    266852 |     420    21836    60126 | 2147483647    26648     74 |  0.001 % |
203.04/203.27	c |    267810 |     420    21836    60126 | 2147483647    27606     74 |  0.001 % |
204.63/204.84	c |    268864 |     420    21836    60126 | 2147483647    28660     74 |  0.001 % |
206.23/206.46	c |    270025 |     420    21836    60126 |    29797    29821     74 |  0.001 % |
207.53/207.76	c |    271298 |     420    21836    60126 |    29797    24059     74 |  0.001 % |
208.93/209.13	c |    272701 |     420    21836    60126 |    29797    25462     74 |  0.001 % |
210.33/210.52	c |    274241 |     420    21836    60126 |    29797    27002     74 |  0.001 % |
212.43/212.65	c |    275937 |     420    21836    60126 |    29797    28698     74 |  0.001 % |
214.93/215.18	c |    277802 |     420    21836    60126 |    29797    22796     73 |  0.001 % |
216.93/217.11	c |    279853 |     420    21836    60126 |    29797    24847     74 |  0.001 % |
218.63/218.83	c |    282106 |     420    21836    60126 |    24994    20891     73 |  0.001 % |
221.22/221.44	c |    284584 |     420    21836    60126 |    24994    23369     74 |  0.001 % |
223.42/223.64	c |    287309 |     420    21836    60126 |    24994    20896     74 |  0.001 % |
223.52/223.71	c |    287411 |     420    21836    60126 |    24994    20998     74 |  0.001 % |
223.62/223.83	c |    287523 |     420    21836    60126 |    24994    21110     74 |  0.001 % |
223.82/224.02	c |    287644 |     420    21836    60126 |    24994    21231     74 |  0.001 % |
224.02/224.20	c |    287777 |     420    21836    60126 |    24994    21364     74 |  0.001 % |
224.12/224.37	c |    287923 |     420    21836    60126 |    24994    21510     74 |  0.001 % |
224.32/224.55	c |    288086 |     420    21836    60126 |    24994    21673     74 |  0.001 % |
224.52/224.76	c |    288263 |     420    21836    60126 |    24994    21850     74 |  0.001 % |
224.72/224.94	c |    288459 |     420    21836    60126 |    24994    22046     74 |  0.001 % |
225.02/225.20	c |    288673 |     420    21836    60126 |    24994    22260     74 |  0.001 % |
225.12/225.40	c |    288907 |     420    21836    60126 |    24994    22494     74 |  0.001 % |
225.42/225.69	c |    289164 |     420    21836    60126 |    24994    22751     74 |  0.001 % |
225.82/226.07	c |    289453 |     420    21836    60126 |    24994    23040     74 |  0.001 % |
226.32/226.51	c |    289765 |     420    21836    60126 |    24994    23352     74 |  0.001 % |
226.62/226.80	c |    290107 |     420    21836    60126 |    23588    23694     74 |  0.001 % |
226.92/227.16	c |    290481 |     420    21836    60126 |    23588    19509     73 |  0.001 % |
227.22/227.41	c |    290890 |     420    21836    60126 |    23588    19918     73 |  0.001 % |
227.52/227.75	c |    291339 |     420    21836    60126 |    23588    20367     73 |  0.001 % |
227.92/228.14	c |    291833 |     420    21836    60126 |    23588    20861     73 |  0.001 % |
228.32/228.53	c |    292376 |     420    21836    60126 |    23588    21404     73 |  0.001 % |
228.62/228.86	c |    292972 |     420    21836    60126 |    23588    22000     73 |  0.001 % |
229.32/229.54	c |    293630 |     420    21836    60126 |    23588    22658     73 |  0.001 % |
230.02/230.24	c |    294351 |     420    21836    60126 |    23588    23379     73 |  0.001 % |
230.61/230.86	c |    295143 |     420    21836    60126 |    23588    20407     72 |  0.001 % |
231.11/231.38	c |    296016 |     420    21836    60126 |    23588    21280     72 |  0.001 % |
232.11/232.34	c |    296975 |     420    21836    60126 |    23588    22239     72 |  0.001 % |
233.02/233.28	c |    298030 |     420    21836    60126 |    23588    23294     72 |  0.001 % |
233.91/234.16	c |    299189 |     420    21836    60126 |    23588    20782     70 |  0.001 % |
234.71/234.90	c |    300466 |     420    21836    60126 |    21594    18950     67 |  0.001 % |
235.41/235.61	c |    301872 |     420    21836    60126 |    21594    20356     67 |  0.001 % |
236.01/236.28	c |    303413 |     420    21836    60126 |    21594    19717     67 |  0.001 % |
236.61/236.84	c |    305107 |     420    21836    60126 |    21594    21411     67 |  0.001 % |
237.51/237.74	c |    306970 |     420    21836    60126 |    21594    21098     66 |  0.001 % |
238.21/238.40	c |    309019 |     420    21836    60126 |    21594    20972     68 |  0.001 % |
239.11/239.33	c |    311272 |     420    21836    60126 | 2147483647    21044     72 |  0.001 % |
240.71/240.90	c |    313750 |     420    21836    60126 | 2147483647    23522     76 |  0.001 % |
242.51/242.76	c |    316475 |     420    21836    60126 | 2147483647    26247     77 |  0.001 % |
245.91/246.17	c |    319473 |     420    21836    60126 | 2147483647    29245     78 |  0.001 % |
246.01/246.26	c |    319573 |     420    21836    60126 | 2147483647    29345     78 |  0.001 % |
246.21/246.41	c |    319683 |     420    21836    60126 | 2147483647    29455     78 |  0.001 % |
246.31/246.56	c |    319804 |     420    21836    60126 | 2147483647    29576     78 |  0.001 % |
246.51/246.73	c |    319938 |     420    21836    60126 | 2147483647    29710     78 |  0.001 % |
246.71/246.96	c |    320085 |     420    21836    60126 |    29774    29857     78 |  0.001 % |
247.00/247.22	c |    320246 |     420    21836    60126 |    29774    23240     81 |  0.001 % |
247.21/247.43	c |    320423 |     420    21836    60126 |    29774    23417     81 |  0.001 % |
247.40/247.62	c |    320617 |     420    21836    60126 |    29774    23611     81 |  0.001 % |
247.60/247.82	c |    320829 |     420    21836    60126 |    29774    23823     81 |  0.001 % |
247.80/248.03	c |    321064 |     420    21836    60126 |    29774    24058     81 |  0.001 % |
248.00/248.23	c |    321322 |     420    21836    60126 |    29774    24316     81 |  0.001 % |
248.20/248.43	c |    321603 |     420    21836    60126 |    29774    24597     81 |  0.001 % |
248.50/248.73	c |    321913 |     420    21836    60126 |    29774    24907     81 |  0.001 % |
248.70/248.92	c |    322252 |     420    21836    60126 |    29774    25246     81 |  0.001 % |
249.00/249.20	c |    322626 |     420    21836    60126 |    29774    25620     81 |  0.001 % |
249.30/249.54	c |    323035 |     420    21836    60126 |    29774    26029     81 |  0.001 % |
249.60/249.86	c |    323487 |     420    21836    60126 |    29774    26481     81 |  0.001 % |
250.00/250.25	c |    323983 |     420    21836    60126 |    29774    26977     81 |  0.001 % |
250.40/250.69	c |    324527 |     420    21836    60126 |    29774    27521     81 |  0.001 % |
250.90/251.18	c |    325124 |     420    21836    60126 |    29774    28118     81 |  0.001 % |
251.60/251.84	c |    325779 |     420    21836    60126 |    29774    28773     81 |  0.001 % |
252.30/252.58	c |    326499 |     420    21836    60126 |    29774    29493     81 |  0.001 % |
253.10/253.36	c |    327291 |     420    21836    60126 |    29774    23310     85 |  0.001 % |
254.00/254.20	c |    328164 |     420    21836    60126 |    29774    24183     85 |  0.001 % |
255.00/255.25	c |    329122 |     420    21836    60126 |    29774    25141     85 |  0.001 % |
256.10/256.32	c |    330178 |     420    21836    60126 |    26020    26197     84 |  0.001 % |
256.90/257.11	c |    331338 |     420    21836    60126 |    26020    21210     83 |  0.001 % |
257.90/258.13	c |    332611 |     420    21836    60126 |    26020    22483     82 |  0.001 % |
258.40/258.68	c |    334011 |     420    21836    60126 |    26020    23883     81 |  0.001 % |
260.60/260.83	c |    335552 |     420    21836    60126 |    26020    25424     81 |  0.001 % |
262.80/263.05	c |    337247 |     420    21836    60126 |    26020    21388     77 |  0.001 % |
264.89/265.16	c |    339111 |     420    21836    60126 |    26020    23252     77 |  0.001 % |
266.49/266.76	c |    341160 |     420    21836    60126 |    24144    19651     75 |  0.001 % |
268.78/269.03	c |    343413 |     420    21836    60126 |    24144    21904     75 |  0.001 % |
270.29/270.58	c |    345891 |     420    21836    60126 |    24144    24382     75 |  0.001 % |
271.68/271.96	c |    348620 |     420    21836    60126 |    24144    22044     73 |  0.001 % |
272.88/273.14	c |    351619 |     420    21836    60126 |    23424    20619     74 |  0.001 % |
275.38/275.66	c |    354919 |     420    21836    60126 |    23424    20513     73 |  0.001 % |
275.48/275.71	c |    355020 |     420    21836    60126 |    23424    20614     73 |  0.001 % |
275.48/275.78	c |    355130 |     420    21836    60126 |    23424    20724     73 |  0.001 % |
275.58/275.88	c |    355251 |     420    21836    60126 |    23424    20845     73 |  0.001 % |
275.78/276.02	c |    355386 |     420    21836    60126 |    23424    20980     73 |  0.001 % |
275.88/276.12	c |    355534 |     420    21836    60126 |    23424    21128     73 |  0.001 % |
275.98/276.29	c |    355694 |     420    21836    60126 |    23424    21288     73 |  0.001 % |
276.18/276.46	c |    355871 |     420    21836    60126 |    23424    21465     73 |  0.001 % |
276.38/276.66	c |    356070 |     420    21836    60126 |    23424    21664     73 |  0.001 % |
276.58/276.84	c |    356283 |     420    21836    60126 |    23424    21877     73 |  0.001 % |
276.78/277.05	c |    356518 |     420    21836    60126 |    23424    22112     73 |  0.001 % |
276.98/277.28	c |    356775 |     420    21836    60126 |    23424    22369     73 |  0.001 % |
277.18/277.40	c |    357057 |     420    21836    60126 |    23424    22651     73 |  0.001 % |
277.48/277.71	c |    357367 |     420    21836    60126 |    23424    22961     73 |  0.001 % |
277.68/277.98	c |    357706 |     420    21836    60126 |    23424    23300     73 |  0.001 % |
277.98/278.28	c |    358079 |     420    21836    60126 |    23424    20320     72 |  0.001 % |
278.28/278.53	c |    358488 |     420    21836    60126 |    23424    20729     72 |  0.001 % |
278.58/278.80	c |    358938 |     420    21836    60126 |    23424    21179     72 |  0.001 % |
278.68/278.98	c |    359431 |     420    21836    60126 |    23424    21672     72 |  0.001 % |
279.08/279.37	c |    359973 |     420    21836    60126 |    23424    22214     72 |  0.001 % |
279.78/280.06	c |    360570 |     420    21836    60126 |    22241    19467     72 |  0.001 % |
280.38/280.68	c |    361227 |     420    21836    60126 |    22241    20124     72 |  0.001 % |
280.68/280.94	c |    361948 |     420    21836    60126 |    22241    20845     72 |  0.001 % |
281.08/281.34	c |    362742 |     420    21836    60126 |    22241    21639     72 |  0.001 % |
281.68/281.98	c |    363613 |     420    21836    60126 |    22241    18981     72 |  0.001 % |
282.28/282.54	c |    364571 |     420    21836    60126 |    22241    19939     72 |  0.001 % |
283.17/283.44	c |    365624 |     420    21836    60126 |    22241    20992     73 |  0.001 % |
283.97/284.23	c |    366784 |     420    21836    60126 |    22241    22152     73 |  0.001 % |
284.97/285.23	c |    368058 |     420    21836    60126 |    22241    19975     72 |  0.001 % |
286.37/286.68	c |    369459 |     420    21836    60126 |    22241    21376     73 |  0.001 % |
287.47/287.72	c |    371000 |     420    21836    60126 |    21923    19505     73 |  0.001 % |
288.87/289.18	c |    372697 |     420    21836    60126 |    21923    21202     74 |  0.001 % |
290.17/290.49	c |    374562 |     420    21836    60126 |    21923    19661     75 |  0.001 % |
291.47/291.70	c |    376611 |     420    21836    60126 |    21923    21710     75 |  0.001 % |
292.57/292.88	c |    378864 |     420    21836    60126 |    21923    20838     74 |  0.001 % |
293.57/293.84	c |    381344 |     420    21836    60126 |    21978    20852     75 |  0.001 % |
296.17/296.45	c |    384069 |     420    21836    60126 |    21978    20700     74 |  0.001 % |
298.67/298.92	c |    387068 |     420    21836    60126 |    21978    20629     74 |  0.001 % |
300.97/301.27	c |    390364 |     420    21836    60126 |    20212    17834     73 |  0.001 % |
303.16/303.44	c |    393991 |     420    21836    60126 |    20212    19311     73 |  0.001 % |
303.27/303.51	c |    394092 |     420    21836    60126 |    20212    19412     73 |  0.001 % |
303.37/303.68	c |    394204 |     420    21836    60126 |    20212    19524     73 |  0.001 % |
303.56/303.82	c |    394327 |     420    21836    60126 |    20212    19647     73 |  0.001 % |
303.56/303.87	c |    394460 |     420    21836    60126 |    20212    19780     73 |  0.001 % |
303.76/304.09	c |    394612 |     420    21836    60126 |    20212    19932     73 |  0.001 % |
304.06/304.33	c |    394773 |     420    21836    60126 |    20212    20093     73 |  0.001 % |
304.16/304.49	c |    394949 |     420    21836    60126 |    20212    20269     73 |  0.001 % |
304.47/304.72	c |    395142 |     420    21836    60126 |    20212    18400     72 |  0.001 % |
304.56/304.90	c |    395355 |     420    21836    60126 |    20212    18613     72 |  0.001 % |
304.86/305.12	c |    395589 |     420    21836    60126 |    20212    18847     72 |  0.001 % |
305.26/305.53	c |    395848 |     420    21836    60126 |    20212    19106     72 |  0.001 % |
305.47/305.80	c |    396131 |     420    21836    60126 |    20212    19389     72 |  0.001 % |
305.66/305.92	c |    396443 |     420    21836    60126 |    20212    19701     72 |  0.001 % |
305.86/306.18	c |    396782 |     420    21836    60126 |    20212    20040     72 |  0.001 % |
306.26/306.56	c |    397158 |     420    21836    60126 |    20212    18200     72 |  0.001 % |
306.46/306.74	c |    397570 |     420    21836    60126 |    20212    18612     71 |  0.001 % |
306.86/307.20	c |    398020 |     420    21836    60126 |    20212    19062     72 |  0.001 % |
307.27/307.55	c |    398516 |     420    21836    60126 |    20212    19558     72 |  0.001 % |
307.77/308.09	c |    399058 |     420    21836    60126 |    20212    20100     72 |  0.001 % |
308.17/308.48	c |    399657 |     420    21836    60126 |    20212    18489     70 |  0.001 % |
308.77/309.05	c |    400312 |     420    21836    60126 |    18833    17039     69 |  0.001 % |
309.27/309.56	c |    401032 |     420    21836    60126 |    18833    17759     69 |  0.001 % |
309.77/310.07	c |    401824 |     420    21836    60126 |    18833    18551     70 |  0.001 % |
310.56/310.82	c |    402696 |     420    21836    60126 |    18833    17458     68 |  0.001 % |
311.26/311.58	c |    403654 |     420    21836    60126 |    18833    18416     68 |  0.001 % |
311.96/312.22	c |    404708 |     420    21836    60126 |    18833    17564     67 |  0.001 % |
312.56/312.80	c |    405869 |     420    21836    60126 |    18833    18725     67 |  0.001 % |
313.06/313.35	c |    407142 |     420    21836    60126 |    18833    18099     67 |  0.001 % |
313.36/313.66	c |    408543 |     420    21836    60126 |    18833    17586     68 |  0.001 % |
313.86/314.10	c |    410083 |     420    21836    60126 | 2147483647    17224     68 |  0.001 % |
314.56/314.83	c |    411777 |     420    21836    60126 | 2147483647    18918     70 |  0.001 % |
315.56/315.82	c |    413640 |     420    21836    60126 | 2147483647    20781     71 |  0.001 % |
316.76/317.02	c |    415691 |     420    21836    60126 | 2147483647    22832     71 |  0.001 % |
318.06/318.32	c |    417944 |     420    21836    60126 | 2147483647    25085     72 |  0.001 % |
319.95/320.28	c |    420423 |     420    21836    60126 |    27142    23792     72 |  0.001 % |
321.96/322.26	c |    423148 |     420    21836    60126 |    27142    26517     72 |  0.001 % |
324.05/324.36	c |    426148 |     420    21836    60126 |    27142    25044     74 |  0.001 % |
325.65/325.96	c |    429444 |     420    21836    60126 |    27142    24395     75 |  0.001 % |
329.95/330.23	c |    433069 |     420    21836    60126 |    24951    24019     79 |  0.001 % |
333.45/333.75	c |    437056 |     420    21836    60126 |    24951    21777     79 |  0.001 % |
333.55/333.86	c |    437156 |     420    21836    60126 |    24951    21877     79 |  0.001 % |
333.65/333.94	c |    437269 |     420    21836    60126 |    24951    21990     79 |  0.001 % |
333.75/334.07	c |    437391 |     420    21836    60126 |    24951    22112     79 |  0.001 % |
333.85/334.17	c |    437526 |     420    21836    60126 |    24951    22247     79 |  0.001 % |
334.05/334.32	c |    437674 |     420    21836    60126 |    24951    22395     79 |  0.001 % |
334.15/334.46	c |    437834 |     420    21836    60126 |    24951    22555     79 |  0.001 % |
334.35/334.61	c |    438010 |     420    21836    60126 |    24951    22731     79 |  0.001 % |
334.55/334.80	c |    438203 |     420    21836    60126 |    24951    22924     79 |  0.001 % |
334.65/334.95	c |    438415 |     420    21836    60126 |    24951    23136     79 |  0.001 % |
334.85/335.11	c |    438648 |     420    21836    60126 |    24951    23369     79 |  0.001 % |
334.95/335.29	c |    438905 |     420    21836    60126 |    24951    23626     79 |  0.001 % |
335.25/335.57	c |    439187 |     420    21836    60126 |    24951    23908     79 |  0.001 % |
335.75/336.03	c |    439497 |     420    21836    60126 |    24951    24218     79 |  0.001 % |
336.25/336.60	c |    439838 |     420    21836    60126 |    24951    24559     79 |  0.001 % |
336.75/337.04	c |    440213 |     420    21836    60126 |    24724    24934     79 |  0.001 % |
337.15/337.43	c |    440624 |     420    21836    60126 |    24724    19821     80 |  0.063 % |
337.65/337.94	c |    441076 |     420    21836    60126 |    24724    20273     80 |  0.001 % |
338.35/338.64	c |    441574 |     420    21836    60126 |    24724    20771     80 |  0.001 % |
338.85/339.15	c |    442117 |     420    21836    60126 |    24724    21314     80 |  0.001 % |
339.65/339.97	c |    442714 |     420    21836    60126 |    24724    21911     80 |  0.001 % |
340.45/340.72	c |    443369 |     420    21836    60126 |    24724    22566     81 |  0.001 % |
341.25/341.58	c |    444090 |     420    21836    60126 |    24724    23287     81 |  0.001 % |
342.24/342.55	c |    444882 |     420    21836    60126 |    24724    24079     81 |  0.001 % |
343.44/343.74	c |    445753 |     420    21836    60126 |    24724    19057     84 |  0.001 % |
344.24/344.51	c |    446711 |     420    21836    60126 |    24724    20015     84 |  0.001 % |
345.34/345.60	c |    447765 |     420    21836    60126 |    24724    21069     84 |  0.001 % |
346.34/346.68	c |    448923 |     420    21836    60126 |    24724    22227     84 |  0.001 % |
347.54/347.81	c |    450196 |     420    21836    60126 |    23308    23500     83 |  0.001 % |
348.35/348.63	c |    451596 |     420    21836    60126 |    23308    19914     80 |  0.001 % |
349.55/349.85	c |    453137 |     420    21836    60126 |    23308    21455     80 |  0.001 % |
350.24/350.56	c |    454832 |     420    21836    60126 |    23308    23150     80 |  0.001 % |
351.04/351.39	c |    456698 |     420    21836    60126 |    23308    21540     78 |  0.001 % |
352.04/352.36	c |    458747 |     420    21836    60126 |    23308    20988     77 |  0.001 % |
352.85/353.11	c |    461000 |     420    21836    60126 |    22241    20994     75 |  0.001 % |
354.44/354.72	c |    463478 |     420    21836    60126 |    22241    21226     76 |  0.001 % |
356.43/356.70	c |    466203 |     420    21836    60126 |    22241    21434     76 |  0.001 % |
358.24/358.52	c |    469201 |     420    21836    60126 |    22241    21580     77 |  0.001 % |
360.23/360.59	c |    472500 |     420    21836    60126 |    22380    21658     79 |  0.001 % |
362.74/363.06	c |    476127 |     420    21836    60126 |    22380    21593     81 |  0.001 % |
365.63/365.97	c |    480114 |     420    21836    60126 |    21965    22078     84 |  0.001 % |
368.14/368.48	c |    484500 |     420    21836    60126 |    21965    20254     83 |  0.001 % |
368.33/368.61	c |    484602 |     420    21836    60126 |    21965    20356     83 |  0.001 % |
368.33/368.68	c |    484715 |     420    21836    60126 |    21965    20469     83 |  0.001 % |
368.43/368.79	c |    484836 |     420    21836    60126 |    21965    20590     83 |  0.001 % |
368.63/368.93	c |    484969 |     420    21836    60126 |    21965    20723     83 |  0.001 % |
368.63/369.00	c |    485118 |     420    21836    60126 |    21965    20872     83 |  0.001 % |
368.83/369.17	c |    485281 |     420    21836    60126 |    21965    21035     83 |  0.001 % |
368.93/369.29	c |    485457 |     420    21836    60126 |    21965    21211     83 |  0.001 % |
369.13/369.46	c |    485650 |     420    21836    60126 |    21965    21404     83 |  0.001 % |
369.33/369.69	c |    485865 |     420    21836    60126 |    21965    21619     83 |  0.001 % |
369.63/369.92	c |    486102 |     420    21836    60126 |    21965    21856     83 |  0.001 % |
369.83/370.16	c |    486359 |     420    21836    60126 |    21965    22113     83 |  0.001 % |
370.13/370.42	c |    486645 |     420    21836    60126 |    21965    19321     82 |  0.001 % |
370.33/370.64	c |    486955 |     420    21836    60126 |    21965    19631     82 |  0.001 % |
370.63/370.99	c |    487294 |     420    21836    60126 |    21965    19970     82 |  0.001 % |
371.03/371.37	c |    487666 |     420    21836    60126 |    21965    20342     82 |  0.001 % |
371.53/371.83	c |    488078 |     420    21836    60126 |    21965    20754     83 |  0.001 % |
372.03/372.31	c |    488527 |     420    21836    60126 |    21965    21203     83 |  0.001 % |
372.53/372.85	c |    489020 |     420    21836    60126 |    21965    21696     83 |  0.001 % |
372.93/373.27	c |    489563 |     420    21836    60126 |    21965    18860     81 |  0.001 % |
373.23/373.57	c |    490160 |     420    21836    60126 |    19299    19457     81 |  0.001 % |
373.63/373.95	c |    490818 |     420    21836    60126 |    19299    17268     80 |  0.001 % |
374.03/374.35	c |    491539 |     420    21836    60126 |    19299    17989     80 |  0.001 % |
374.53/374.89	c |    492333 |     420    21836    60126 |    19299    18783     81 |  0.001 % |
375.52/375.82	c |    493204 |     420    21836    60126 |    19299    16902     80 |  0.001 % |
376.22/376.52	c |    494162 |     420    21836    60126 |    19299    17860     80 |  0.001 % |
377.03/377.38	c |    495217 |     420    21836    60126 |    19299    18915     80 |  0.001 % |
377.82/378.16	c |    496376 |     420    21836    60126 |    19299    17273     80 |  0.001 % |
378.62/378.94	c |    497649 |     420    21836    60126 |    19299    18546     80 |  0.001 % |
379.32/379.66	c |    499049 |     420    21836    60126 |    19299    17642     81 |  0.001 % |
380.02/380.34	c |    500593 |     420    21836    60126 |    18595    17310     79 |  0.001 % |
380.92/381.26	c |    502288 |     420    21836    60126 |    18595    17122     79 |  0.001 % |
382.02/382.30	c |    504151 |     420    21836    60126 |    18595    17106     80 |  0.001 % |
383.02/383.30	c |    506200 |     420    21836    60126 |    18595    17274     80 |  0.001 % |
384.42/384.75	c |    508453 |     420    21836    60126 |    18595    17641     80 |  0.001 % |
385.72/386.06	c |    510932 |     420    21836    60126 | 2147483647    18239     80 |  0.001 % |
387.02/387.32	c |    513657 |     420    21836    60126 | 2147483647    20964     79 |  0.001 % |
388.72/389.04	c |    516654 |     420    21836    60126 | 2147483647    23961     78 |  0.001 % |
390.12/390.43	c |    519952 |     420    21836    60126 | 2147483647    27259     78 |  0.001 % |
392.02/392.33	c |    523577 |     420    21836    60126 | 2147483647    30884     79 |  0.001 % |
396.11/396.41	c |    527565 |     420    21836    60126 | 2147483647    34872     81 |  0.001 % |
403.90/404.29	c |    531953 |     420    21836    60126 |    37308    29116     79 |  0.001 % |
409.90/410.27	c |    536778 |     420    21836    60126 |    37308    33941     82 |  0.001 % |
410.10/410.46	c |    536880 |     420    21836    60126 |    37308    34043     82 |  0.001 % |
410.41/410.71	c |    536990 |     420    21836    60126 |    37308    34153     82 |  0.001 % |
410.71/411.03	c |    537111 |     420    21836    60126 |    37308    34274     82 |  0.001 % |
411.01/411.33	c |    537244 |     420    21836    60126 |    37308    34407     82 |  0.001 % |
411.31/411.64	c |    537392 |     420    21836    60126 |    37308    34555     82 |  0.001 % |
411.71/412.01	c |    537552 |     420    21836    60126 |    37308    34715     82 |  0.001 % |
412.01/412.31	c |    537728 |     420    21836    60126 |    37308    34891     82 |  0.001 % |
412.41/412.70	c |    537921 |     420    21836    60126 |    37308    35084     82 |  0.001 % |
412.91/413.24	c |    538134 |     420    21836    60126 |    37308    35297     82 |  0.001 % |
413.21/413.56	c |    538367 |     420    21836    60126 |    37308    35530     82 |  0.001 % |
413.71/414.05	c |    538623 |     420    21836    60126 |    37308    35786     82 |  0.001 % |
414.21/414.50	c |    538906 |     420    21836    60126 |    37308    36069     82 |  0.001 % |
414.61/414.98	c |    539215 |     420    21836    60126 |    37308    36378     82 |  0.001 % |
415.31/415.67	c |    539554 |     420    21836    60126 |    37308    36717     83 |  0.001 % |
416.31/416.63	c |    539926 |     420    21836    60126 |    37308    37089     83 |  0.001 % |
417.31/417.64	c |    540335 |     420    21836    60126 |    37164    25484     86 |  0.001 % |
417.81/418.19	c |    540785 |     420    21836    60126 |    37164    25934     86 |  0.001 % |
418.41/418.77	c |    541282 |     420    21836    60126 |    37164    26431     86 |  0.001 % |
419.21/419.59	c |    541824 |     420    21836    60126 |    37164    26973     87 |  0.001 % |
420.01/420.30	c |    542422 |     420    21836    60126 |    37164    27571     87 |  0.001 % |
421.01/421.36	c |    543077 |     420    21836    60126 |    37164    28226     87 |  0.001 % |
422.11/422.47	c |    543797 |     420    21836    60126 |    37164    28946     87 |  0.001 % |
423.40/423.75	c |    544593 |     420    21836    60126 |    37164    29742     87 |  0.001 % |
424.90/425.29	c |    545468 |     420    21836    60126 |    37164    30617     87 |  0.001 % |
426.90/427.28	c |    546432 |     420    21836    60126 |    37164    31581     88 |  0.001 % |
429.20/429.50	c |    547489 |     420    21836    60126 |    37164    32638     88 |  0.001 % |
430.90/431.24	c |    548649 |     420    21836    60126 |    37164    33798     88 |  0.001 % |
433.20/433.54	c |    549922 |     420    21836    60126 |    37164    35071     88 |  0.001 % |
435.60/435.90	c |    551322 |     420    21836    60126 |    35149    25484     86 |  0.001 % |
437.80/438.18	c |    552862 |     420    21836    60126 |    35149    27024     86 |  0.001 % |
439.90/440.24	c |    554559 |     420    21836    60126 |    35149    28721     86 |  0.001 % |
442.10/442.42	c |    556423 |     420    21836    60126 |    35149    30585     86 |  0.001 % |
445.39/445.76	c |    558472 |     420    21836    60126 |    35149    32634     86 |  0.001 % |
448.19/448.54	c |    560731 |     420    21836    60126 |    34162    25122     81 |  0.001 % |
450.09/450.48	c |    563210 |     420    21836    60126 |    34162    27601     81 |  0.001 % |
455.09/455.43	c |    565937 |     420    21836    60126 |    34162    30328     82 |  0.001 % |
460.98/461.39	c |    568935 |     420    21836    60126 |    34162    33326     83 |  0.001 % |
464.88/465.21	c |    572231 |     420    21836    60126 |    34394    26164     79 |  0.001 % |
469.88/470.23	c |    575856 |     420    21836    60126 |    34394    29789     81 |  0.001 % |
475.98/476.38	c |    579843 |     420    21836    60126 |    34394    33776     82 |  0.001 % |
480.08/480.42	c |    584228 |     420    21836    60126 |    33936    28538     82 |  0.001 % |
486.57/486.95	c |    589053 |     420    21836    60126 |    33936    33363     82 |  0.001 % |
491.27/491.68	c |    594358 |     420    21836    60126 |    24920    22530     76 |  0.001 % |
491.47/491.83	c |    594458 |     420    21836    60126 |    24920    22630     76 |  0.001 % |
491.57/491.95	c |    594570 |     420    21836    60126 |    24920    22742     76 |  0.001 % |
491.77/492.15	c |    594691 |     420    21836    60126 |    24920    22863     76 |  0.001 % |
491.97/492.33	c |    594826 |     420    21836    60126 |    24920    22998     76 |  0.001 % |
492.16/492.53	c |    594973 |     420    21836    60126 |    24920    23145     76 |  0.001 % |
492.37/492.79	c |    595138 |     420    21836    60126 |    24920    23310     76 |  0.001 % |
492.66/493.03	c |    595315 |     420    21836    60126 |    24920    23487     76 |  0.001 % |
492.86/493.26	c |    595508 |     420    21836    60126 |    24920    23680     76 |  0.001 % |
493.16/493.50	c |    595723 |     420    21836    60126 |    24920    23895     76 |  0.001 % |
493.36/493.75	c |    595959 |     420    21836    60126 |    24920    24131     77 |  0.001 % |
493.66/494.02	c |    596215 |     420    21836    60126 |    24920    24387     77 |  0.001 % |
493.96/494.37	c |    596496 |     420    21836    60126 |    24920    24668     77 |  0.001 % |
494.36/494.72	c |    596808 |     420    21836    60126 |    24920    24980     77 |  0.001 % |
494.67/495.07	c |    597148 |     420    21836    60126 |    24920    20552     75 |  0.001 % |
494.96/495.33	c |    597521 |     420    21836    60126 |    24920    20925     75 |  0.001 % |
495.36/495.76	c |    597933 |     420    21836    60126 |    24920    21337     76 |  0.001 % |
496.16/496.52	c |    598382 |     420    21836    60126 |    24920    21786     76 |  0.001 % |
496.77/497.20	c |    598875 |     420    21836    60126 |    24920    22279     76 |  0.001 % |
497.36/497.74	c |    599421 |     420    21836    60126 |    24920    22825     76 |  0.001 % |
497.97/498.40	c |    600017 |     420    21836    60126 |    23404    23421     76 |  0.001 % |
498.46/498.86	c |    600673 |     420    21836    60126 |    23404    19557     74 |  0.001 % |
498.96/499.32	c |    601393 |     420    21836    60126 |    23404    20277     74 |  0.001 % |
499.46/499.84	c |    602188 |     420    21836    60126 |    23404    21072     75 |  0.001 % |
500.16/500.51	c |    603061 |     420    21836    60126 |    23404    21945     76 |  0.001 % |
501.26/501.62	c |    604020 |     420    21836    60126 |    23404    22904     76 |  0.001 % |
502.46/502.83	c |    605074 |     420    21836    60126 |    23404    20268     75 |  0.001 % |
503.46/503.82	c |    606232 |     420    21836    60126 |    23404    21426     75 |  0.001 % |
504.46/504.85	c |    607507 |     420    21836    60126 |    23404    22701     75 |  0.001 % |
506.16/506.52	c |    608907 |     420    21836    60126 |    23404    20392     74 |  0.001 % |
506.85/507.25	c |    610447 |     420    21836    60126 |    21485    18813     72 |  0.001 % |
507.65/508.02	c |    612143 |     420    21836    60126 |    21485    20509     73 |  0.001 % |
508.96/509.30	c |    614007 |     420    21836    60126 |    21485    20199     72 |  0.001 % |
510.75/511.12	c |    616059 |     420    21836    60126 |    21485    19682     71 |  0.001 % |
512.45/512.85	c |    618314 |     420    21836    60126 |    21485    19431     69 |  0.001 % |
513.85/514.23	c |    620795 |     420    21836    60126 |    21118    19774     69 |  0.001 % |
515.25/515.65	c |    623520 |     420    21836    60126 |    21118    20369     69 |  0.001 % |
516.95/517.40	c |    626517 |     420    21836    60126 |    21118    21237     69 |  0.001 % |
518.55/518.95	c |    629813 |     420    21836    60126 |    21118    20272     68 |  0.001 % |
520.45/520.87	c |    633441 |     420    21836    60126 | 2147483647    23900     67 |  0.001 % |
521.25/521.68	c |    637431 |     420    21836    60126 | 2147483647    27890     71 |  0.001 % |
527.35/527.79	c |    641816 |     420    21836    60126 |    30463    25497     75 |  0.001 % |
531.65/532.08	c |    646639 |     420    21836    60126 |    30463    30320     77 |  0.001 % |
536.94/537.38	c |    651945 |     420    21836    60126 |    24531    18952     88 |  0.001 % |
540.74/541.15	c |    657783 |     420    21836    60126 |    24531    19106     82 |  0.001 % |
540.84/541.23	c |    657884 |     420    21836    60126 |    24531    19207     82 |  0.001 % |
540.93/541.35	c |    657995 |     420    21836    60126 |    24531    19318     82 |  0.001 % |
541.03/541.47	c |    658118 |     420    21836    60126 |    24531    19441     82 |  0.001 % |
541.13/541.56	c |    658252 |     420    21836    60126 |    24531    19575     82 |  0.001 % |
541.23/541.69	c |    658399 |     420    21836    60126 |    24531    19722     82 |  0.001 % |
541.43/541.85	c |    658559 |     420    21836    60126 |    24531    19882     82 |  0.001 % |
541.63/542.02	c |    658735 |     420    21836    60126 |    24531    20058     82 |  0.001 % |
541.73/542.20	c |    658929 |     420    21836    60126 |    24531    20252     83 |  0.001 % |
541.94/542.38	c |    659142 |     420    21836    60126 |    24531    20465     83 |  0.001 % |
542.03/542.50	c |    659375 |     420    21836    60126 |    24531    20698     83 |  0.001 % |
542.33/542.76	c |    659632 |     420    21836    60126 |    24531    20955     83 |  0.001 % |
542.63/543.05	c |    659913 |     420    21836    60126 |    24531    21236     83 |  0.001 % |
542.94/543.38	c |    660225 |     420    21836    60126 |    21323    16796     80 |  0.001 % |
543.13/543.59	c |    660569 |     420    21836    60126 |    21323    17140     80 |  0.001 % |
543.53/543.94	c |    660941 |     420    21836    60126 |    21323    17512     80 |  0.001 % |
543.83/544.26	c |    661352 |     420    21836    60126 |    21323    17923     80 |  0.001 % |
544.23/544.61	c |    661802 |     420    21836    60126 |    21323    18373     80 |  0.001 % |
544.43/544.82	c |    662297 |     420    21836    60126 |    21323    18868     80 |  0.001 % |
544.53/544.97	c |    662841 |     420    21836    60126 |    21323    19412     80 |  0.001 % |
544.83/545.29	c |    663439 |     420    21836    60126 |    21323    20010     80 |  0.001 % |
545.33/545.70	c |    664094 |     420    21836    60126 |    21323    20665     80 |  0.001 % |
545.83/546.26	c |    664816 |     420    21836    60126 |    21323    21387     81 |  0.001 % |
546.23/546.65	c |    665612 |     420    21836    60126 |    21323    18302     80 |  0.001 % |
546.73/547.15	c |    666486 |     420    21836    60126 |    21323    19176     81 |  0.001 % |
547.53/547.90	c |    667445 |     420    21836    60126 |    21323    20135     82 |  0.001 % |
548.23/548.67	c |    668500 |     420    21836    60126 |    21323    21190     82 |  0.001 % |
549.13/549.52	c |    669661 |     420    21836    60126 |    21323    18503     83 |  0.001 % |
549.83/550.26	c |    670935 |     420    21836    60126 |    18843    16429     83 |  0.001 % |
550.63/551.01	c |    672337 |     420    21836    60126 |    18843    17831     83 |  0.001 % |
551.53/551.96	c |    673877 |     420    21836    60126 |    18843    16496     82 |  0.001 % |
552.73/553.12	c |    675571 |     420    21836    60126 |    18843    18190     83 |  0.001 % |
553.93/554.38	c |    677435 |     420    21836    60126 |    18843    17237     85 |  0.001 % |
555.13/555.59	c |    679485 |     420    21836    60126 |    18843    16690     86 |  0.001 % |
556.03/556.50	c |    681738 |     420    21836    60126 |    17205    16761     84 |  0.001 % |
557.43/557.89	c |    684216 |     420    21836    60126 |    17205    15776     82 |  0.001 % |
558.73/559.14	c |    686943 |     420    21836    60126 |    17205    16763     82 |  0.001 % |
561.12/561.54	c |    689946 |     420    21836    60126 |    17205    16316     78 |  0.001 % |
562.53/562.95	c |    693242 |     420    21836    60126 | 2147483647    19612     77 |  0.001 % |
565.72/566.18	c |    696867 |     420    21836    60126 | 2147483647    23237     76 |  0.001 % |
568.72/569.17	c |    700860 |     420    21836    60126 |    26373    23170     72 |  0.001 % |
571.63/572.03	c |    705247 |     420    21836    60126 |    26373    23156     70 |  0.001 % |
573.62/574.08	c |    710072 |     420    21836    60126 |    23809    23881     70 |  0.001 % |
575.72/576.12	c |    715379 |     420    21836    60126 |    23809    23263     74 |  0.001 % |
578.32/578.76	c |    721216 |     420    21836    60126 | 2147483647    24298     78 |  0.001 % |
582.81/583.27	c |    727634 |     420    21836    60126 | 2147483647    30716     79 |  0.001 % |
582.91/583.40	c |    727738 |     420    21836    60126 | 2147483647    30820     79 |  0.001 % |
583.01/583.49	c |    727849 |     420    21836    60126 | 2147483647    30931     79 |  0.001 % |
583.21/583.63	c |    727972 |     420    21836    60126 | 2147483647    31054     79 |  0.001 % |
583.31/583.78	c |    728105 |     420    21836    60126 | 2147483647    31187     79 |  0.001 % |
583.51/583.94	c |    728251 |     420    21836    60126 | 2147483647    31333     79 |  0.001 % |
583.71/584.11	c |    728415 |     420    21836    60126 | 2147483647    31497     79 |  0.001 % |
583.91/584.32	c |    728596 |     420    21836    60126 | 2147483647    31678     79 |  0.001 % |
584.11/584.57	c |    728790 |     420    21836    60126 | 2147483647    31872     79 |  0.001 % |
584.41/584.86	c |    729002 |     420    21836    60126 | 2147483647    32084     79 |  0.001 % |
584.71/585.11	c |    729235 |     420    21836    60126 | 2147483647    32317     79 |  0.001 % |
584.91/585.31	c |    729491 |     420    21836    60126 | 2147483647    32573     79 |  0.001 % |
585.31/585.71	c |    729774 |     420    21836    60126 | 2147483647    32856     79 |  0.001 % |
585.71/586.20	c |    730083 |     420    21836    60126 |    33084    33165     79 |  0.001 % |
586.21/586.66	c |    730422 |     420    21836    60126 |    33084    27953     81 |  0.001 % |
586.61/587.03	c |    730797 |     420    21836    60126 |    33084    28328     81 |  0.001 % |
587.11/587.54	c |    731206 |     420    21836    60126 |    33084    28737     81 |  0.001 % |
587.51/587.99	c |    731655 |     420    21836    60126 |    33084    29186     81 |  0.001 % |
588.11/588.55	c |    732151 |     420    21836    60126 |    33084    29682     81 |  0.001 % |
588.61/589.06	c |    732695 |     420    21836    60126 |    33084    30226     81 |  0.001 % |
589.21/589.68	c |    733291 |     420    21836    60126 |    33084    30822     80 |  0.001 % |
589.61/590.06	c |    733951 |     420    21836    60126 |    33084    31482     80 |  0.001 % |
590.40/590.84	c |    734673 |     420    21836    60126 |    33084    32204     80 |  0.001 % |
591.20/591.60	c |    735466 |     420    21836    60126 |    33084    32997     80 |  0.001 % |
591.90/592.33	c |    736340 |     420    21836    60126 |    33084    26939     80 |  0.001 % |
592.20/592.67	c |    737299 |     420    21836    60126 |    33084    27898     80 |  0.001 % |
594.20/594.62	c |    738355 |     420    21836    60126 |    33084    28954     80 |  0.001 % |
595.90/596.39	c |    739514 |     420    21836    60126 |    33084    30113     81 |  0.001 % |
598.10/598.58	c |    740787 |     420    21836    60126 |    30601    23963     77 |  0.001 % |
599.60/600.08	c |    742188 |     420    21836    60126 |    30601    25364     78 |  0.001 % |
602.00/602.41	c |    743730 |     420    21836    60126 |    30601    26906     78 |  0.001 % |
604.60/605.09	c |    745424 |     420    21836    60126 |    30601    28600     79 |  0.001 % |
606.90/607.39	c |    747287 |     420    21836    60126 |    30601    30463     78 |  0.001 % |
608.00/608.44	c |    749337 |     420    21836    60126 |    30601    24247     77 |  0.001 % |
609.90/610.35	c |    751590 |     420    21836    60126 |    24910    20162     79 |  0.001 % |
611.89/612.32	c |    754069 |     420    21836    60126 |    24910    22641     79 |  0.001 % |
613.09/613.57	c |    756794 |     420    21836    60126 |    24910    21073     77 |  0.001 % |
614.20/614.61	c |    759796 |     420    21836    60126 |    24910    24075     77 |  0.001 % |
616.89/617.38	c |    763093 |     420    21836    60126 |    24280    23530     75 |  0.001 % |
620.89/621.34	c |    766718 |     420    21836    60126 |    24280    22605     77 |  0.001 % |
625.49/625.91	c |    770705 |     420    21836    60126 |    20418    16618     78 |  0.001 % |
628.07/628.59	c |    775092 |     420    21836    60126 |    20418    18010     80 |  0.001 % |
630.67/631.15	c |    779915 |     420    21836    60126 |    20418    20444     79 |  0.001 % |
634.17/634.69	c |    785222 |     420    21836    60126 | 2147483647    23707     80 |  0.001 % |
637.47/637.96	c |    791057 |     420    21836    60126 | 2147483647    29542     81 |  0.001 % |
646.36/646.85	c |    797477 |     420    21836    60126 | 2147483647    35962     81 |  0.001 % |
656.66/657.14	c |    804538 |     420    21836    60126 |    38486    31901     79 |  0.001 % |
656.86/657.33	c |    804639 |     420    21836    60126 |    38486    32002     79 |  0.001 % |
657.06/657.52	c |    804750 |     420    21836    60126 |    38486    32113     78 |  0.001 % |
657.26/657.73	c |    804873 |     420    21836    60126 |    38486    32236     78 |  0.001 % |
657.46/657.98	c |    805007 |     420    21836    60126 |    38486    32370     78 |  0.001 % |
657.76/658.27	c |    805155 |     420    21836    60126 |    38486    32518     78 |  0.001 % |
658.05/658.54	c |    805318 |     420    21836    60126 |    38486    32681     78 |  0.001 % |
658.25/658.80	c |    805496 |     420    21836    60126 |    38486    32859     78 |  0.001 % |
658.47/658.97	c |    805694 |     420    21836    60126 |    38486    33057     78 |  0.001 % |
658.66/659.17	c |    805908 |     420    21836    60126 |    38486    33271     78 |  0.001 % |
658.96/659.45	c |    806141 |     420    21836    60126 |    38486    33504     78 |  0.001 % |
659.16/659.62	c |    806399 |     420    21836    60126 |    38486    33762     78 |  0.001 % |
659.47/659.95	c |    806681 |     420    21836    60126 |    38486    34044     78 |  0.001 % |
659.86/660.38	c |    806990 |     420    21836    60126 |    38486    34353     78 |  0.001 % |
660.46/660.91	c |    807330 |     420    21836    60126 |    38486    34693     78 |  0.001 % |
660.96/661.46	c |    807702 |     420    21836    60126 |    38486    35065     77 |  0.001 % |
661.67/662.17	c |    808112 |     420    21836    60126 |    38486    35475     77 |  0.001 % |
662.26/662.77	c |    808563 |     420    21836    60126 |    38486    35926     77 |  0.001 % |
662.86/663.38	c |    809056 |     420    21836    60126 |    38486    36419     77 |  0.001 % |
663.56/664.09	c |    809601 |     420    21836    60126 |    38486    36964     77 |  0.001 % |
664.26/664.74	c |    810198 |     420    21836    60126 |    37365    37561     76 |  0.001 % |
664.86/665.36	c |    810853 |     420    21836    60126 |    37365    28150     70 |  0.001 % |
665.06/665.59	c |    811573 |     420    21836    60126 |    37365    28870     70 |  0.001 % |
665.36/665.85	c |    812365 |     420    21836    60126 |    37365    29662     70 |  0.001 % |
665.56/666.09	c |    813236 |     420    21836    60126 |    37365    30533     70 |  0.001 % |
665.96/666.46	c |    814194 |     420    21836    60126 |    37365    31491     70 |  0.001 % |
666.36/666.86	c |    815247 |     420    21836    60126 |    37365    32544     69 |  0.001 % |
666.76/667.21	c |    816406 |     420    21836    60126 |    37365    33703     69 |  0.001 % |
667.16/667.62	c |    817682 |     420    21836    60126 |    37365    34979     69 |  0.001 % |
667.86/668.38	c |    819083 |     420    21836    60126 |    37365    36380     69 |  0.001 % |
668.36/668.89	c |    820627 |     420    21836    60126 | 2147483647    37924     68 |  0.001 % |
669.46/669.96	c |    822324 |     420    21836    60126 | 2147483647    39621     68 |  0.001 % |
670.15/670.61	c |    824188 |     420    21836    60126 | 2147483647    41485     67 |  0.001 % |
670.95/671.45	c |    826238 |     420    21836    60126 | 2147483647    43535     67 |  0.001 % |
676.63/677.15	c |    828495 |     420    21836    60126 | 2147483647    45792     69 |  0.001 % |
681.44/681.97	c |    830974 |     420    21836    60126 |    47298    34396     66 |  0.001 % |
685.93/686.45	c |    833701 |     420    21836    60126 |    47298    37123     68 |  0.001 % |
692.13/692.66	c |    836698 |     420    21836    60126 |    47298    40120     69 |  0.001 % |
700.83/701.38	c |    839994 |     420    21836    60126 |    47298    43416     70 |  0.001 % |
705.32/705.85	c |    843619 |     420    21836    60126 |    43423    29966     75 |  0.001 % |
710.22/710.75	c |    847606 |     420    21836    60126 |    43423    33953     76 |  0.001 % |
713.92/714.44	c |    851992 |     420    21836    60126 |    36347    26025     80 |  0.001 % |
718.92/719.45	c |    856815 |     420    21836    60126 |    36347    30848     82 |  0.001 % |
724.42/724.91	c |    862121 |     420    21836    60126 |    34035    26381     81 |  0.001 % |
730.51/731.09	c |    867957 |     420    21836    60126 |    34035    32217     81 |  0.001 % |
736.11/736.61	c |    874375 |     420    21836    60126 |    34262    29756     79 |  0.001 % |
740.71/741.25	c |    881436 |     420    21836    60126 |    27735    23330     71 |  0.001 % |
746.00/746.56	c |    889202 |     420    21836    60126 |    27735    25955     75 |  0.001 % |
746.10/746.67	c |    889302 |     420    21836    60126 |    27735    26055     75 |  0.001 % |
746.20/746.71	c |    889414 |     420    21836    60126 |    27735    26167     75 |  0.001 % |
746.41/746.93	c |    889538 |     420    21836    60126 |    27735    26291     75 |  0.001 % |
746.60/747.18	c |    889672 |     420    21836    60126 |    27735    26425     75 |  0.001 % |
747.00/747.50	c |    889818 |     420    21836    60126 |    27735    26571     75 |  0.001 % |
747.20/747.76	c |    889978 |     420    21836    60126 |    27735    26731     75 |  0.001 % |
747.41/747.98	c |    890158 |     420    21836    60126 |    26753    26911     75 |  0.001 % |
747.60/748.12	c |    890352 |     420    21836    60126 |    26753    21901     76 |  0.001 % |
747.80/748.39	c |    890565 |     420    21836    60126 |    26753    22114     76 |  0.001 % |
748.10/748.68	c |    890798 |     420    21836    60126 |    26753    22347     76 |  0.001 % |
748.40/748.95	c |    891054 |     420    21836    60126 |    26753    22603     76 |  0.001 % |
748.70/749.28	c |    891335 |     420    21836    60126 |    26753    22884     76 |  0.001 % |
749.00/749.57	c |    891644 |     420    21836    60126 |    26753    23193     76 |  0.001 % |
749.50/750.00	c |    891983 |     420    21836    60126 |    26753    23532     77 |  0.001 % |
749.80/750.35	c |    892355 |     420    21836    60126 |    26753    23904     76 |  0.001 % |
750.30/750.82	c |    892764 |     420    21836    60126 |    26753    24313     77 |  0.001 % |
750.80/751.35	c |    893215 |     420    21836    60126 |    26753    24764     77 |  0.001 % |
751.30/751.84	c |    893708 |     420    21836    60126 |    26753    25257     77 |  0.001 % |
752.00/752.53	c |    894250 |     420    21836    60126 |    26753    25799     76 |  0.001 % |
752.60/753.14	c |    894848 |     420    21836    60126 |    26753    26397     76 |  0.001 % |
753.20/753.71	c |    895509 |     420    21836    60126 |    26753    21722     77 |  0.001 % |
753.90/754.48	c |    896232 |     420    21836    60126 |    26753    22445     77 |  0.001 % |
754.70/755.27	c |    897026 |     420    21836    60126 |    26753    23239     77 |  0.001 % |
755.60/756.12	c |    897898 |     420    21836    60126 |    26753    24111     77 |  0.001 % |
756.10/756.68	c |    898856 |     420    21836    60126 |    26753    25069     78 |  0.001 % |
757.40/757.99	c |    899910 |     420    21836    60126 |    26753    26123     78 |  0.001 % |
758.60/759.16	c |    901068 |     420    21836    60126 |    26218    22015     75 |  0.001 % |
759.69/760.23	c |    902343 |     420    21836    60126 |    26218    23290     75 |  0.001 % |
760.59/761.15	c |    903745 |     420    21836    60126 |    26218    24692     75 |  0.001 % |
761.59/762.17	c |    905285 |     420    21836    60126 |    26218    26232     75 |  0.001 % |
762.79/763.30	c |    906982 |     420    21836    60126 |    26218    23950     72 |  0.001 % |
763.99/764.57	c |    908845 |     420    21836    60126 |    26218    25813     72 |  0.001 % |
765.49/766.09	c |    910898 |     420    21836    60126 |    22954    20441     68 |  0.001 % |
766.49/767.06	c |    913159 |     420    21836    60126 |    22954    22702     67 |  0.001 % |
767.19/767.76	c |    915638 |     420    21836    60126 |    22954    22870     64 |  0.001 % |
767.89/768.47	c |    918367 |     420    21836    60126 |    22954    20957     59 |  0.082 % |
768.79/769.32	c |    921365 |     419    21680    59555 | 2147483647    19199     63 |  0.239 % |
771.19/771.78	c |    924662 |     419    21680    59555 | 2147483647    22496     65 |  0.239 % |
774.29/774.87	c |    928287 |     419    21680    59555 | 2147483647    26121     68 |  0.239 % |
777.29/777.81	c |    932277 |     419    21680    59555 |    27834    24192     68 |  0.239 % |
780.08/780.67	c |    936663 |     419    21680    59555 |    27834    24205     73 |  0.239 % |
783.69/784.28	c |    941487 |     419    21680    59555 |    27542    23642     79 |  0.239 % |
787.18/787.80	c |    946793 |     419    21680    59555 |    27542    24384     81 |  0.239 % |
791.68/792.27	c |    952629 |     419    21680    59555 |    27591    25190     79 |  0.239 % |
794.88/795.47	c |    959047 |     419    21680    59555 |    27591    27071     77 |  0.239 % |
797.78/798.34	c |    966107 |     419    21680    59555 |    24020    21958     74 |  0.239 % |
803.48/804.06	c |    973873 |     419    21680    59555 | 2147483647    27308     76 |  0.239 % |
811.57/812.13	c |    982413 |     419    21680    59555 |    33436    28649     76 |  0.239 % |
811.57/812.19	c |    982513 |     419    21680    59555 |    33436    28749     76 |  0.239 % |
811.67/812.27	c |    982623 |     419    21680    59555 |    33436    28859     76 |  0.239 % |
811.77/812.36	c |    982744 |     419    21680    59555 |    33436    28980     76 |  0.239 % |
811.87/812.43	c |    982877 |     419    21680    59555 |    33436    29113     76 |  0.239 % |
812.07/812.64	c |    983023 |     419    21680    59555 |    33436    29259     76 |  0.239 % |
812.18/812.76	c |    983183 |     419    21680    59555 |    33436    29419     76 |  0.239 % |
812.38/812.96	c |    983359 |     419    21680    59555 |    33436    29595     76 |  0.239 % |
812.88/813.42	c |    983553 |     419    21680    59555 |    33436    29789     76 |  0.239 % |
813.28/813.84	c |    983767 |     419    21680    59555 |    33436    30003     76 |  0.239 % |
813.68/814.25	c |    984001 |     419    21680    59555 |    33436    30237     76 |  0.239 % |
814.17/814.78	c |    984257 |     419    21680    59555 |    33436    30493     76 |  0.239 % |
814.58/815.17	c |    984538 |     419    21680    59555 |    33436    30774     76 |  0.239 % |
815.17/815.72	c |    984849 |     419    21680    59555 |    33436    31085     76 |  0.239 % |
815.68/816.22	c |    985190 |     419    21680    59555 |    33436    31426     76 |  0.239 % |
816.27/816.84	c |    985562 |     419    21680    59555 |    33436    31798     76 |  0.239 % |
816.97/817.59	c |    985971 |     419    21680    59555 |    33436    32207     76 |  0.239 % |
817.88/818.43	c |    986421 |     419    21680    59555 |    33436    32657     76 |  0.239 % |
818.57/819.11	c |    986915 |     419    21680    59555 |    33436    33151     76 |  0.239 % |
819.37/819.96	c |    987458 |     419    21680    59555 |    33436    33694     76 |  0.239 % |
820.57/821.19	c |    988056 |     419    21680    59555 |    33436    25125     74 |  0.239 % |
821.87/822.42	c |    988712 |     419    21680    59555 |    33436    25781     73 |  0.239 % |
822.77/823.31	c |    989432 |     419    21680    59555 |    33436    26501     73 |  0.239 % |
823.67/824.21	c |    990225 |     419    21680    59555 |    27069    27294     73 |  0.239 % |
824.47/825.05	c |    991096 |     419    21680    59555 |    27069    20688     69 |  0.239 % |
825.17/825.74	c |    992054 |     419    21680    59555 |    27069    21646     70 |  0.239 % |
825.97/826.52	c |    993107 |     419    21680    59555 |    27069    22699     70 |  0.239 % |
827.37/827.91	c |    994269 |     419    21680    59555 |    27069    23861     70 |  0.239 % |
828.46/829.08	c |    995543 |     419    21680    59555 |    27069    25135     70 |  0.239 % |
829.56/830.10	c |    996945 |     419    21680    59555 |    27069    26537     70 |  0.239 % |
831.07/831.62	c |    998485 |     419    21680    59555 |    27069    21976     68 |  0.239 % |
832.26/832.83	c |   1000183 |     419    21680    59555 |    23491    23674     67 |  0.239 % |
832.56/833.19	c |   1002050 |     419    21680    59555 |    23491    20740     64 |  0.239 % |
833.06/833.60	c |   1004100 |     419    21680    59555 |    23491    22790     68 |  0.239 % |
836.06/836.65	c |   1006355 |     419    21680    59555 |    23491    22484     71 |  0.239 % |
839.16/839.78	c |   1008833 |     419    21680    59555 |    23491    20799     74 |  0.239 % |
841.46/842.00	c |   1011558 |     419    21680    59555 |    21967    18879     80 |  0.239 % |
843.46/844.09	c |   1014555 |     419    21680    59555 |    21967    21876     83 |  0.239 % |
845.76/846.33	c |   1017851 |     419    21680    59555 |    21967    20798     90 |  0.239 % |
848.06/848.69	c |   1021476 |     419    21680    59555 |    18815    16896     93 |  0.239 % |
849.55/850.14	c |   1025464 |     419    21680    59555 |    18815    18775     89 |  0.239 % |
850.75/851.36	c |   1029851 |     419    21680    59555 |    18815    17449     80 |  0.239 % |
852.65/853.27	c |   1034674 |     419    21680    59555 | 2147483647    22272     78 |  0.239 % |
855.25/855.85	c |   1039979 |     419    21680    59555 | 2147483647    27577     83 |  0.239 % |
860.45/861.01	c |   1045816 |     419    21680    59555 | 2147483647    33414     84 |  0.239 % |
866.25/866.86	c |   1052236 |     419    21680    59555 |    37599    30889     84 |  0.239 % |
872.24/872.88	c |   1059295 |     419    21680    59555 |    37599    29440     89 |  0.239 % |
879.14/879.79	c |   1067059 |     419    21680    59555 |    30145    30014     89 |  0.239 % |
884.74/885.40	c |   1075599 |     419    21680    59555 |    26018    25730     86 |  0.239 % |
892.94/893.59	c |   1084994 |     419    21680    59555 |    25742    21306     84 |  0.239 % |
893.04/893.67	c |   1085095 |     419    21680    59555 |    25742    21407     84 |  0.239 % |
893.14/893.78	c |   1085205 |     419    21680    59555 |    25742    21517     84 |  0.239 % |
893.34/893.95	c |   1085327 |     419    21680    59555 |    25742    21639     84 |  0.239 % |
893.44/894.04	c |   1085463 |     419    21680    59555 |    25742    21775     84 |  0.239 % |
893.64/894.30	c |   1085610 |     419    21680    59555 |    25742    21922     84 |  0.239 % |
893.84/894.41	c |   1085771 |     419    21680    59555 |    25742    22083     84 |  0.239 % |
893.93/894.58	c |   1085947 |     419    21680    59555 |    25742    22259     84 |  0.239 % |
894.23/894.84	c |   1086141 |     419    21680    59555 |    25742    22453     85 |  0.239 % |
894.43/895.05	c |   1086353 |     419    21680    59555 |    25742    22665     85 |  0.239 % |
894.73/895.32	c |   1086587 |     419    21680    59555 |    25742    22899     85 |  0.239 % |
895.03/895.68	c |   1086843 |     419    21680    59555 |    25742    23155     85 |  0.239 % |
895.43/896.07	c |   1087125 |     419    21680    59555 |    25742    23437     85 |  0.239 % |
895.73/896.31	c |   1087438 |     419    21680    59555 |    25742    23750     85 |  0.239 % |
896.13/896.76	c |   1087777 |     419    21680    59555 |    25742    24089     86 |  0.239 % |
896.43/897.04	c |   1088150 |     419    21680    59555 |    25742    24462     86 |  0.239 % |
896.83/897.41	c |   1088560 |     419    21680    59555 |    25742    24872     86 |  0.239 % |
897.43/898.02	c |   1089011 |     419    21680    59555 |    25742    25323     86 |  0.239 % |
898.23/898.82	c |   1089510 |     419    21680    59555 |    25742    25822     87 |  0.239 % |
898.73/899.39	c |   1090056 |     419    21680    59555 |    21131    21184     86 |  0.239 % |
899.23/899.88	c |   1090654 |     419    21680    59555 |    21131    17598     83 |  0.239 % |
899.83/900.41	c |   1091310 |     419    21680    59555 |    21131    18254     84 |  0.239 % |
900.53/901.11	c |   1092030 |     419    21680    59555 |    21131    18974     84 |  0.239 % |
901.12/901.79	c |   1092822 |     419    21680    59555 |    21131    19766     85 |  0.239 % |
901.82/902.40	c |   1093694 |     419    21680    59555 |    21131    20638     85 |  0.239 % |
902.53/903.11	c |   1094652 |     419    21680    59555 |    21131    17821     84 |  0.239 % |
903.22/903.85	c |   1095705 |     419    21680    59555 |    21131    18874     85 |  0.239 % |
904.42/905.05	c |   1096866 |     419    21680    59555 |    21131    20035     85 |  0.239 % |
905.52/906.16	c |   1098141 |     419    21680    59555 |    21131    17771     83 |  0.239 % |
906.32/906.96	c |   1099543 |     419    21680    59555 |    21131    19173     83 |  0.239 % |
907.22/907.85	c |   1101087 |     419    21680    59555 |    19631    17626     82 |  0.239 % |
908.32/908.97	c |   1102784 |     419    21680    59555 |    19631    19323     83 |  0.239 % |
909.72/910.39	c |   1104649 |     419    21680    59555 |    19631    18678     83 |  0.239 % |
911.22/911.86	c |   1106699 |     419    21680    59555 |    19631    18244     83 |  0.239 % |
913.32/913.92	c |   1108953 |     419    21680    59555 |    19631    17820     83 |  0.239 % |
915.62/916.25	c |   1111433 |     419    21680    59555 |    18867    17573     85 |  0.239 % |
917.82/918.46	c |   1114159 |     419    21680    59555 |    18867    17798     85 |  0.239 % |
920.02/920.60	c |   1117156 |     419    21680    59555 |    18867    18341     84 |  0.239 % |
922.02/922.67	c |   1120453 |     419    21680    59555 |    18907    17387     82 |  0.239 % |
924.02/924.64	c |   1124079 |     419    21680    59555 |    18907    19102     81 |  0.239 % |
925.92/926.58	c |   1128067 |     419    21680    59555 |    18907    17356     80 |  0.239 % |
928.71/929.40	c |   1132453 |     419    21680    59555 | 2147483647    19830     83 |  0.239 % |
932.81/933.49	c |   1137279 |     419    21680    59555 | 2147483647    24656     84 |  0.239 % |
936.91/937.50	c |   1142584 |     419    21680    59555 |    27381    26022     86 |  0.239 % |
941.60/942.22	c |   1148423 |     419    21680    59555 |    27381    26319     85 |  0.239 % |
945.20/945.80	c |   1154842 |     419    21680    59555 |    23192    21332     82 |  0.239 % |
950.00/950.67	c |   1161901 |     419    21680    59555 |    23309    21924     78 |  0.239 % |
953.60/954.29	c |   1169670 |     419    21680    59555 |    23309    21717     73 |  0.239 % |
957.00/957.61	c |   1178211 |     419    21680    59555 |    22047    21356     78 |  0.239 % |
964.00/964.67	c |   1187606 |     419    21680    59555 | 2147483647    28523     81 |  0.239 % |
972.29/972.92	c |   1197940 |     419    21680    59555 |    30917    27317     76 |  0.239 % |
972.49/973.17	c |   1198043 |     419    21680    59555 |    30917    27420     76 |  0.239 % |
972.69/973.36	c |   1198154 |     419    21680    59555 |    30917    27531     76 |  0.239 % |
972.80/973.49	c |   1198275 |     419    21680    59555 |    30917    27652     76 |  0.239 % |
973.09/973.72	c |   1198408 |     419    21680    59555 |    30917    27785     76 |  0.239 % |
973.29/973.95	c |   1198555 |     419    21680    59555 |    30917    27932     76 |  0.239 % |
973.49/974.15	c |   1198715 |     419    21680    59555 |    30917    28092     76 |  0.239 % |
973.69/974.35	c |   1198891 |     419    21680    59555 |    30917    28268     76 |  0.239 % |
973.79/974.49	c |   1199087 |     419    21680    59555 |    30917    28464     76 |  0.239 % |
974.19/974.83	c |   1199300 |     419    21680    59555 |    30917    28677     76 |  0.239 % |
974.29/974.98	c |   1199536 |     419    21680    59555 |    30917    28913     76 |  0.239 % |
974.59/975.27	c |   1199792 |     419    21680    59555 |    30917    29169     76 |  0.239 % |
974.99/975.65	c |   1200073 |     419    21680    59555 |    29378    29450     76 |  0.239 % |
975.29/975.98	c |   1200385 |     419    21680    59555 |    29378    23881     73 |  0.239 % |
975.49/976.17	c |   1200726 |     419    21680    59555 |    29378    24222     73 |  0.239 % |
975.89/976.56	c |   1201102 |     419    21680    59555 |    29378    24598     74 |  0.239 % |
976.29/976.96	c |   1201511 |     419    21680    59555 |    29378    25007     74 |  0.239 % |
976.79/977.44	c |   1201960 |     419    21680    59555 |    29378    25456     74 |  0.239 % |
977.19/977.81	c |   1202453 |     419    21680    59555 |    29378    25949     74 |  0.239 % |
977.59/978.25	c |   1202995 |     419    21680    59555 |    29378    26491     74 |  0.239 % |
978.09/978.76	c |   1203591 |     419    21680    59555 |    29378    27087     74 |  0.239 % |
978.99/979.64	c |   1204248 |     419    21680    59555 |    29378    27744     74 |  0.239 % |
979.59/980.26	c |   1204970 |     419    21680    59555 |    29378    28466     74 |  0.239 % |
980.49/981.19	c |   1205763 |     419    21680    59555 |    29378    29259     74 |  0.239 % |
981.59/982.23	c |   1206636 |     419    21680    59555 |    29378    24088     71 |  0.239 % |
982.38/983.01	c |   1207595 |     419    21680    59555 |    29378    25047     71 |  0.239 % |
983.18/983.86	c |   1208652 |     419    21680    59555 |    29378    26104     71 |  0.239 % |
984.38/985.01	c |   1209810 |     419    21680    59555 |    29378    27262     71 |  0.239 % |
985.48/986.14	c |   1211083 |     419    21680    59555 |    27454    22962     69 |  0.239 % |
986.48/987.16	c |   1212484 |     419    21680    59555 |    27454    24363     68 |  0.239 % |
987.08/987.79	c |   1214025 |     419    21680    59555 |    27454    25904     67 |  0.239 % |
987.57/988.27	c |   1215722 |     419    21680    59555 |    27454    27601     67 |  0.239 % |
988.18/988.83	c |   1217587 |     419    21680    59555 |    27454    25965     66 |  0.239 % |
988.97/989.62	c |   1219636 |     419    21680    59555 |    27454    25249     64 |  0.239 % |
989.78/990.42	c |   1221890 |     419    21680    59555 | 2147483647    27503     64 |  0.239 % |
990.68/991.39	c |   1224368 |     419    21680    59555 | 2147483647    29981     64 |  0.239 % |
991.87/992.51	c |   1227095 |     419    21680    59555 | 2147483647    32708     63 |  0.239 % |
992.87/993.58	c |   1230093 |     419    21680    59555 | 2147483647    35706     62 |  0.239 % |
993.78/994.45	c |   1233390 |     419    21680    59555 | 2147483647    39003     62 |  0.239 % |
996.47/997.16	c |   1237016 |     419    21680    59555 | 2147483647    42629     65 |  0.239 % |
1010.37/1011.01	c |   1241004 |     419    21680    59555 |    45614    31470     66 |  0.239 % |
1017.66/1018.34	c |   1245392 |     419    21680    59555 |    45614    35858     69 |  0.239 % |
1029.16/1029.84	c |   1250215 |     419    21680    59555 |    40466    40681     72 |  0.239 % |
1034.35/1035.02	c |   1255521 |     419    21680    59555 |    40466    30029     82 |  0.239 % |
1041.05/1041.75	c |   1261356 |     419    21680    59555 |    34513    24362     87 |  0.239 % |
1046.74/1047.47	c |   1267775 |     419    21680    59555 |    34513    30781     86 |  0.239 % |
1052.94/1053.61	c |   1274835 |     419    21680    59555 |    33008    29278     85 |  0.239 % |
1058.44/1059.18	c |   1282601 |     419    21680    59555 |    27324    24702     79 |  0.239 % |
1062.83/1063.58	c |   1291141 |     419    21680    59555 |    26065    24119     73 |  0.239 % |
1066.62/1067.35	c |   1300535 |     419    21680    59555 | 2147483647    25635     70 |  0.239 % |
1072.93/1073.63	c |   1310868 |     419    21680    59555 |    35101    31201     71 |  0.239 % |
1079.91/1080.60	c |   1322234 |     419    21680    59555 |    34827    30274     70 |  0.239 % |
1079.91/1080.63	c |   1322336 |     419    21680    59555 |    34827    30376     70 |  0.239 % |
1079.91/1080.66	c |   1322450 |     419    21680    59555 |    34827    30490     70 |  0.239 % |
1080.01/1080.71	c |   1322571 |     419    21680    59555 |    34827    30611     70 |  0.239 % |
1080.01/1080.77	c |   1322704 |     419    21680    59555 |    34827    30744     70 |  0.239 % |
1080.11/1080.82	c |   1322853 |     419    21680    59555 |    34827    30893     70 |  0.239 % |
1080.11/1080.86	c |   1323015 |     419    21680    59555 |    34827    31055     70 |  0.239 % |
1080.21/1080.91	c |   1323194 |     419    21680    59555 |    34827    31234     70 |  0.239 % |
1080.21/1080.98	c |   1323388 |     419    21680    59555 |    34827    31428     70 |  0.239 % |
1080.31/1081.08	c |   1323600 |     419    21680    59555 |    34827    31640     70 |  0.239 % |
1080.52/1081.21	c |   1323835 |     419    21680    59555 |    34827    31875     70 |  0.239 % |
1080.62/1081.31	c |   1324092 |     419    21680    59555 |    34827    32132     71 |  0.239 % |
1080.71/1081.43	c |   1324375 |     419    21680    59555 |    34827    32415     71 |  0.239 % |
1080.81/1081.55	c |   1324684 |     419    21680    59555 |    34827    32724     71 |  0.239 % |
1081.01/1081.79	c |   1325024 |     419    21680    59555 |    34827    33064     71 |  0.239 % |
1081.31/1082.09	c |   1325398 |     419    21680    59555 |    34827    33438     71 |  0.239 % |
1081.72/1082.42	c |   1325809 |     419    21680    59555 |    34827    33849     71 |  0.239 % |
1082.01/1082.71	c |   1326258 |     419    21680    59555 |    34827    34298     71 |  0.239 % |
1082.31/1083.03	c |   1326756 |     419    21680    59555 |    34827    34796     71 |  0.239 % |
1082.82/1083.51	c |   1327298 |     419    21680    59555 |    34827    30553     70 |  0.239 % |
1083.11/1083.85	c |   1327894 |     419    21680    59555 |    34827    31149     71 |  0.239 % |
1083.71/1084.41	c |   1328549 |     419    21680    59555 |    34827    31804     71 |  0.239 % |
1084.21/1084.94	c |   1329271 |     419    21680    59555 |    34827    32526     71 |  0.239 % |
1084.71/1085.44	c |   1330064 |     419    21680    59555 |    33256    33319     71 |  0.239 % |
1085.51/1086.28	c |   1330937 |     419    21680    59555 |    33256    29762     70 |  0.239 % |
1086.31/1087.06	c |   1331895 |     419    21680    59555 |    33256    30720     70 |  0.239 % |
1087.01/1087.75	c |   1332948 |     419    21680    59555 |    33256    31773     70 |  0.239 % |
1087.71/1088.43	c |   1334107 |     419    21680    59555 |    33256    32932     70 |  0.239 % |
1088.91/1089.64	c |   1335380 |     419    21680    59555 |    33256    29455     70 |  0.239 % |
1089.91/1090.65	c |   1336780 |     419    21680    59555 |    33256    30855     70 |  0.239 % |
1090.61/1091.37	c |   1338322 |     419    21680    59555 |    33256    32397     70 |  0.239 % |
1092.11/1092.85	c |   1340017 |     419    21680    59555 |    29017    29033     69 |  0.239 % |
1093.81/1094.54	c |   1341880 |     419    21680    59555 |    29017    26572     69 |  0.239 % |
1094.91/1095.64	c |   1343931 |     419    21680    59555 |    29017    28623     68 |  0.239 % |
1096.11/1096.81	c |   1346186 |     419    21680    59555 |    29017    26408     65 |  0.239 % |
1096.71/1097.42	c |   1348664 |     419    21680    59555 |    29017    28886     66 |  0.239 % |
1100.01/1100.74	c |   1351390 |     419    21680    59555 |    26564    22924     65 |  0.239 % |
1103.11/1103.86	c |   1354388 |     419    21680    59555 |    26564    25922     68 |  0.239 % |
1105.81/1106.55	c |   1357685 |     419    21680    59555 |    26564    22391     72 |  0.239 % |
1108.40/1109.19	c |   1361310 |     419    21680    59555 |    24707    19403     82 |  0.239 % |
1111.20/1111.98	c |   1365298 |     419    21680    59555 |    24707    23391     84 |  0.239 % |
1114.00/1114.75	c |   1369683 |     419    21680    59555 |    24707    22655     88 |  0.239 % |
1116.40/1117.13	c |   1374508 |     419    21680    59555 |    22973    23198     88 |  0.239 % |
1120.39/1121.16	c |   1379814 |     419    21680    59555 |    22973    20390     86 |  0.239 % |
1122.99/1123.70	c |   1385651 |     419    21680    59555 |    20576    19582     86 |  0.239 % |
1126.49/1127.28	c |   1392072 |     419    21680    59555 | 2147483647    21846     91 |  0.239 % |
1132.59/1133.32	c |   1399133 |     419    21680    59555 | 2147483647    28907     94 |  0.239 % |
1140.68/1141.46	c |   1406897 |     419    21680    59555 |    29776    24478     94 |  0.239 % |
1147.18/1147.91	c |   1415437 |     419    21680    59555 |    27584    26719     92 |  0.239 % |
1152.69/1153.48	c |   1424834 |     419    21680    59555 |    26406    23648     88 |  0.239 % |
1161.99/1162.75	c |   1435167 |     419    21680    59555 |    24059    19924     86 |  0.239 % |
1169.17/1169.94	c |   1446535 |     419    21680    59555 |    20353    20312     85 |  0.239 % |
1174.86/1175.66	c |   1459038 |     419    21680    59555 |    18499    17801     77 |  0.239 % |
1174.96/1175.71	c |   1459142 |     419    21680    59555 |    18499    17905     77 |  0.239 % |
1174.96/1175.78	c |   1459255 |     419    21680    59555 |    18499    18018     77 |  0.239 % |
1175.07/1175.85	c |   1459380 |     419    21680    59555 |    18499    18143     77 |  0.239 % |
1175.17/1175.95	c |   1459514 |     419    21680    59555 |    18499    18277     77 |  0.239 % |
1175.36/1176.12	c |   1459662 |     419    21680    59555 |    18499    18425     77 |  0.239 % |
1175.46/1176.22	c |   1459823 |     419    21680    59555 |    18499    18586     77 |  0.239 % |
1175.56/1176.36	c |   1459999 |     419    21680    59555 |    18499    16904     76 |  0.239 % |
1175.66/1176.43	c |   1460193 |     419    21680    59555 | 2147483647    17098     76 |  0.239 % |
1175.76/1176.53	c |   1460406 |     419    21680    59555 | 2147483647    17311     76 |  0.239 % |
1175.76/1176.59	c |   1460640 |     419    21680    59555 | 2147483647    17545     76 |  0.239 % |
1175.96/1176.75	c |   1460896 |     419    21680    59555 | 2147483647    17801     76 |  0.239 % |
1176.17/1176.93	c |   1461181 |     419    21680    59555 | 2147483647    18086     76 |  0.239 % |
1176.27/1177.04	c |   1461490 |     419    21680    59555 | 2147483647    18395     76 |  0.239 % |
1176.36/1177.18	c |   1461829 |     419    21680    59555 | 2147483647    18734     76 |  0.239 % |
1176.46/1177.29	c |   1462201 |     419    21680    59555 | 2147483647    19106     77 |  0.239 % |
1176.66/1177.45	c |   1462610 |     419    21680    59555 | 2147483647    19515     77 |  0.239 % |
1176.96/1177.77	c |   1463061 |     419    21680    59555 | 2147483647    19966     77 |  0.239 % |
1177.26/1178.06	c |   1463554 |     419    21680    59555 | 2147483647    20459     77 |  0.239 % |
1177.56/1178.33	c |   1464096 |     419    21680    59555 | 2147483647    21001     77 |  0.239 % |
1177.86/1178.68	c |   1464693 |     419    21680    59555 | 2147483647    21598     77 |  0.239 % |
1178.36/1179.10	c |   1465349 |     419    21680    59555 | 2147483647    22254     77 |  0.239 % |
1178.66/1179.47	c |   1466070 |     419    21680    59555 | 2147483647    22975     77 |  0.239 % |
1179.26/1180.08	c |   1466862 |     419    21680    59555 | 2147483647    23767     77 |  0.239 % |
1179.76/1180.59	c |   1467733 |     419    21680    59555 | 2147483647    24638     77 |  0.239 % |
1180.66/1181.48	c |   1468691 |     419    21680    59555 | 2147483647    25596     77 |  0.239 % |
1181.36/1182.13	c |   1469746 |     419    21680    59555 | 2147483647    26651     78 |  0.239 % |
1182.46/1183.27	c |   1470904 |     419    21680    59555 | 2147483647    27809     78 |  0.239 % |
1183.86/1184.61	c |   1472178 |     419    21680    59555 | 2147483647    29083     79 |  0.239 % |
1185.45/1186.20	c |   1473578 |     419    21680    59555 | 2147483647    30483     79 |  0.239 % |
1187.55/1188.40	c |   1475119 |     419    21680    59555 | 2147483647    32024     80 |  0.239 % |
1189.75/1190.55	c |   1476814 |     419    21680    59555 | 2147483647    33719     81 |  0.239 % |
1193.05/1193.87	c |   1478677 |     419    21680    59555 | 2147483647    35582     81 |  0.239 % |
1197.25/1198.07	c |   1480726 |     419    21680    59555 |    36905    27015     81 |  0.239 % |
1199.45/1200.21	c |   1482980 |     419    21680    59555 |    36905    29269     80 |  0.239 % |
1200.05/1200.81	HOME/SatELiteGTI: line 36:  6033 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6027
/proc/meminfo: memFree=1941096/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0
/proc/6027/stat : 6027 (SatELiteGTI) R 6025 6027 5609 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 310965682 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210823735795 0 0 4100 65536 0 0 0 17 0 0 0
/proc/6027/statm: 1339 237 197 169 0 50 0

[startup+0.00763512 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6027
/proc/meminfo: memFree=1941096/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310965682 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10165 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6027
/proc/meminfo: memFree=1941096/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301676 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6027
/proc/meminfo: memFree=1941096/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701725 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6027
/proc/meminfo: memFree=1941096/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50181 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1936088/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=5980 CPUtime=1.42
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 1213 0 0 0 142 0 0 0 25 0 1 0 310965689 6123520 1199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 1495 1199 77 171 0 1322 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11336

[startup+3.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1934552/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=8624 CPUtime=3.03
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 1883 0 0 0 302 1 0 0 25 0 1 0 310965689 8830976 1869 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 2156 1869 77 171 0 1983 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13980

[startup+6.30139 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1930848/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=11420 CPUtime=6.22
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 2570 0 0 0 621 1 0 0 25 0 1 0 310965689 11694080 2556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 2855 2556 77 171 0 2682 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16776

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1927648/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=14408 CPUtime=12.62
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 3286 0 0 0 1260 2 0 0 25 0 1 0 310965689 14753792 3272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 3602 3272 77 171 0 3429 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19764

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1924064/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=17712 CPUtime=25.41
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 4111 0 0 0 2538 3 0 0 25 0 1 0 310965689 18137088 4097 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 4428 4097 77 171 0 4255 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 23068

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1923744/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=18000 CPUtime=50.99
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 4189 0 0 0 5096 3 0 0 25 0 1 0 310965689 18432000 4175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 4500 4175 77 171 0 4327 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 23356

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1922912/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=18748 CPUtime=102.16
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 4343 0 0 0 10212 4 0 0 25 0 1 0 310965689 19197952 4329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 4687 4329 77 171 0 4514 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 24104

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1922784/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=18748 CPUtime=162.11
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 4346 0 0 0 16207 4 0 0 25 0 1 0 310965689 19197952 4332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 4687 4332 77 171 0 4514 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 24104

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1922592/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=18892 CPUtime=222.07
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 4376 0 0 0 22202 5 0 0 25 0 1 0 310965689 19345408 4362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 4723 4362 77 171 0 4550 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 24248

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1921184/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=20308 CPUtime=282.03
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 4707 0 0 0 28198 5 0 0 25 0 1 0 310965689 20795392 4693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 5077 4693 77 171 0 4904 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 25664

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1919456/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=21984 CPUtime=342
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 5096 0 0 0 34194 6 0 0 25 0 1 0 310965689 22511616 5082 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 5496 5082 77 171 0 5323 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 27340

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1916192/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=25296 CPUtime=401.95
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 5903 0 0 0 40189 6 0 0 25 0 1 0 310965689 25903104 5889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 6324 5889 77 171 0 6151 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 30652

[startup+462.302 s]

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

[pid=6033] ppid=6027 vsize=26628 CPUtime=461.93
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 6199 0 0 0 46186 7 0 0 25 0 1 0 310965689 27267072 6185 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 6657 6185 77 171 0 6484 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 31984

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1914592/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=27208 CPUtime=521.9
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 6349 0 0 0 52183 7 0 0 25 0 1 0 310965689 27860992 6335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 6802 6335 77 171 0 6629 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 32564

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1913632/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=27776 CPUtime=581.86
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 6462 0 0 0 58179 7 0 0 25 0 1 0 310965689 28442624 6448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 6944 6448 77 171 0 6771 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 33132

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1913120/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=28204 CPUtime=641.82
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 6556 0 0 0 64175 7 0 0 25 0 1 0 310965689 28880896 6542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 7051 6542 77 171 0 6878 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 33560

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1910368/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=31128 CPUtime=701.77
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7219 0 0 0 70169 8 0 0 25 0 1 0 310965689 31875072 7205 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 7782 7205 77 171 0 7609 0
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (KiB) 36484

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1910240/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=31128 CPUtime=761.74
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7225 0 0 0 76166 8 0 0 25 0 1 0 310965689 31875072 7211 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 7782 7211 77 171 0 7609 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 36484

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1910112/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=31128 CPUtime=821.72
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7230 0 0 0 82163 9 0 0 25 0 1 0 310965689 31875072 7216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 7782 7216 77 171 0 7609 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 36484

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1909920/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=31128 CPUtime=881.69
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7246 0 0 0 88160 9 0 0 25 0 1 0 310965689 31875072 7232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 7782 7232 77 171 0 7609 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 36484

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1909856/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=31128 CPUtime=941.65
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7246 0 0 0 94156 9 0 0 25 0 1 0 310965689 31875072 7232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 7782 7232 77 171 0 7609 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 36484

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1908000/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=33176 CPUtime=1001.62
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7675 0 0 0 100153 9 0 0 25 0 1 0 310965689 33972224 7661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 8294 7661 77 171 0 8121 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 38532

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1907872/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=33176 CPUtime=1061.58
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7697 0 0 0 106149 9 0 0 25 0 1 0 310965689 33972224 7683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/6033/statm: 8294 7683 77 171 0 8121 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 38532

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1907424/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=33604 CPUtime=1121.54
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7775 0 0 0 112145 9 0 0 25 0 1 0 310965689 34410496 7761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 8401 7761 77 171 0 8228 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 38960

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1907360/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=33604 CPUtime=1181.51
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7776 0 0 0 118141 10 0 0 25 0 1 0 310965689 34410496 7762 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 8401 7762 77 171 0 8228 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 38960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6033
/proc/meminfo: memFree=1907040/2055920 swapFree=4179664/4192956
[pid=6027] ppid=6025 vsize=5356 CPUtime=0.05
/proc/6027/stat : 6027 (SatELiteGTI) S 6025 6027 5609 0 -1 4194304 336 785 0 0 0 0 5 0 17 0 1 0 310965682 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6027/statm: 1339 239 197 169 0 50 0
[pid=6033] ppid=6027 vsize=33924 CPUtime=1200
/proc/6033/stat : 6033 (minisat_static) R 6027 6027 5609 0 -1 4194304 7831 0 0 0 119990 10 0 0 25 0 1 0 310965689 34738176 7817 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6033/statm: 8481 7817 77 171 0 8308 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 39280

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.97
CPU system time (s): 0.114982
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 39280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 6445

runsolver used 0.995848 second user time and 3.53746 second system time

The end

Launcher Data

Begin job on node33 at 2009-05-20 16:22:10
IDJOB=1834275
IDBENCH=71804
IDSOLVER=671
FILE ID=node33/1834275-1242829330
PBS_JOBID= 9322502
Free space on /tmp= 66280 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-22-173-20-80.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834275-1242829330/watcher-1834275-1242829330 -o /tmp/evaluation-result-1834275-1242829330/solver-1834275-1242829330 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834275-1242829330.cnf

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

MD5SUM BENCH= fcc3fcd52c921ace90c257c57bbc4b6d
RANDOM SEED=711638089

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1941576 kB
Buffers:         18392 kB
Cached:          59200 kB
SwapCached:       7340 kB
Active:          35816 kB
Inactive:        50508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1941576 kB
SwapTotal:     4192956 kB
SwapFree:      4179664 kB
Dirty:            1832 kB
Writeback:           0 kB
Mapped:          13904 kB
Slab:            14100 kB
Committed_AS:  1069692 kB
PageTables:       1392 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= 66280 MiB
End job on node33 at 2009-05-20 16:42:13