Trace number 1832113

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.07 1200.61

General information on the benchmark

Nameindustrial/grieu/
vmpc_34.cnf
MD5SUMa27d41b3e10d867544cd2bff7d005be2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of clauses194072
Sum of the clauses size507926
Maximum clause length34
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 276398
Number of clauses of size 3117606
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 568

Solver Data

0.00/0.00	c Parsing...
0.00/0.11	c ==============================================================================
0.00/0.11	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.11	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.11	c ==============================================================================
0.00/0.11	c |         0 |  194072   507926 |   58221       0        0     nan |  0.000 % |
0.00/0.11	c ==============================================================================
0.00/0.11	c Result  :   #vars: 1156   #clauses: 194072   #literals: 507926
0.00/0.11	c CPU time:   0.098984 s
0.00/0.11	c ==============================================================================
0.00/0.26	c This is MiniSat 2.0 beta
0.00/0.26	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.26	c ============================[ Problem Statistics ]=============================
0.00/0.26	c |                                                                             |
0.00/0.26	c |  Number of variables:  1156                                                 |
0.00/0.26	c |  Number of clauses:    194072                                               |
0.25/0.36	c |  Parsing time:         0.09         s                                       |
0.25/0.37	c ============================[ Search Statistics ]==============================
0.25/0.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.25/0.37	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.25/0.37	c ===============================================================================
0.25/0.37	c |         0 |    1156   194072   507926 |    64690        0    nan |  0.000 % |
0.25/0.41	c |       103 |    1156   194072   507926 |    64690      103     73 |  0.000 % |
0.25/0.44	c |       204 |    1156   194072   507926 |    64690      204     74 |  0.000 % |
0.25/0.46	c |       304 |    1156   194072   507926 |    64690      304     65 |  0.000 % |
0.25/0.49	c |       416 |    1156   194072   507926 |    64690      416     56 |  0.006 % |
0.25/0.51	c |       519 |    1156   194072   507926 |    64690      519     51 |  0.006 % |
0.25/0.53	c |       629 |    1156   194072   507926 |    64690      629     61 |  0.000 % |
0.25/0.55	c |       750 |    1156   194072   507926 |    64690      750     59 |  0.006 % |
0.25/0.57	c |       851 |    1156   194072   507926 |    64690      851     56 |  0.006 % |
0.25/0.59	c |       966 |    1156   194072   507926 |    64690      966     54 |  0.006 % |
0.25/0.61	c |      1088 |    1156   194072   507926 |    64690     1088     52 |  0.006 % |
0.25/0.63	c |      1223 |    1156   194072   507926 |    64690     1223     56 |  0.000 % |
0.25/0.65	c |      1326 |    1156   194072   507926 |    64690     1326     54 |  0.006 % |
0.25/0.67	c |      1436 |    1156   194072   507926 |    64690     1436     52 |  0.006 % |
0.25/0.69	c |      1558 |    1156   194072   507926 |    64690     1558     51 |  0.006 % |
0.25/0.72	c |      1691 |    1156   194072   507926 |    64690     1691     54 |  0.000 % |
0.25/0.75	c |      1838 |    1156   194072   507926 |    64690     1838     54 |  0.006 % |
0.25/0.76	c |      1938 |    1156   194072   507926 |    64690     1938     53 |  0.006 % |
0.25/0.78	c |      2049 |    1156   194072   507926 |    64690     2049     52 |  0.006 % |
0.25/0.81	c |      2170 |    1156   194072   507926 |    64690     2170     54 |  0.000 % |
0.25/0.84	c |      2305 |    1156   194072   507926 |    64690     2305     53 |  0.000 % |
0.25/0.87	c |      2454 |    1156   194072   507926 |    64690     2454     51 |  0.006 % |
0.25/0.91	c |      2615 |    1156   194072   507926 |    64690     2615     50 |  0.006 % |
0.25/0.93	c |      2715 |    1156   194072   507926 |    64690     2715     49 |  0.006 % |
0.25/0.94	c |      2827 |    1156   194072   507926 |    64690     2827     49 |  0.006 % |
0.25/0.96	c |      2950 |    1156   194072   507926 |    64690     2950     48 |  0.006 % |
0.25/0.99	c |      3084 |    1156   194072   507926 |    64690     3084     48 |  0.006 % |
0.98/1.01	c |      3233 |    1156   194072   507926 |    64690     3233     50 |  0.000 % |
0.98/1.04	c |      3393 |    1156   194072   507926 |    64690     3393     51 |  0.000 % |
0.98/1.07	c |      3569 |    1156   194072   507926 |    64690     3569     50 |  0.006 % |
0.98/1.09	c |      3671 |    1156   194072   507926 |    64690     3671     51 |  0.000 % |
1.08/1.12	c |      3783 |    1156   194072   507926 |    64690     3783     50 |  0.006 % |
1.08/1.14	c |      3904 |    1156   194072   507926 |    64690     3904     50 |  0.006 % |
1.08/1.16	c |      4037 |    1156   194072   507926 |    64690     4037     49 |  0.006 % |
1.08/1.19	c |      4183 |    1156   194072   507926 |    64690     4183     51 |  0.000 % |
1.17/1.22	c |      4344 |    1156   194072   507926 |    64690     4344     50 |  0.006 % |
1.17/1.26	c |      4521 |    1156   194072   507926 |    64690     4521     50 |  0.006 % |
1.17/1.29	c |      4715 |    1156   194072   507926 |    64690     4715     54 |  0.000 % |
1.27/1.31	c |      4815 |    1156   194072   507926 |    64690     4815     54 |  0.006 % |
1.27/1.33	c |      4926 |    1156   194072   507926 |    64690     4926     53 |  0.000 % |
1.27/1.36	c |      5048 |    1156   194072   507926 |    64690     5048     53 |  0.006 % |
1.27/1.38	c |      5183 |    1156   194072   507926 |    64690     5183     54 |  0.000 % |
1.37/1.41	c |      5329 |    1156   194072   507926 |    64690     5329     54 |  0.006 % |
1.37/1.44	c |      5489 |    1156   194072   507926 |    64690     5489     54 |  0.006 % |
1.37/1.48	c |      5666 |    1156   194072   507926 |    64690     5666     53 |  0.006 % |
1.47/1.52	c |      5860 |    1156   194072   507926 |    64690     5860     53 |  0.006 % |
1.47/1.56	c |      6073 |    1156   194072   507926 |    64690     6073     52 |  0.006 % |
1.47/1.58	c |      6173 |    1156   194072   507926 |    64690     6173     53 |  0.000 % |
1.57/1.61	c |      6284 |    1156   194072   507926 |    64690     6284     52 |  0.006 % |
1.57/1.64	c |      6408 |    1156   194072   507926 |    64690     6408     52 |  0.006 % |
1.57/1.66	c |      6541 |    1156   194072   507926 |    64690     6541     52 |  0.006 % |
1.57/1.68	c |      6687 |    1156   194072   507926 |    64690     6687     55 |  0.000 % |
1.67/1.71	c |      6847 |    1156   194072   507926 |    64690     6847     56 |  0.000 % |
1.67/1.75	c |      7023 |    1156   194072   507926 |    64690     7023     58 |  0.000 % |
1.67/1.79	c |      7219 |    1156   194072   507926 |    64690     7219     60 |  0.000 % |
1.77/1.83	c |      7435 |    1156   194072   507926 |    64690     7435     60 |  0.000 % |
1.77/1.88	c |      7668 |    1156   194072   507926 |    64690     7668     60 |  0.006 % |
1.87/1.90	c |      7769 |    1156   194072   507926 |    64690     7769     59 |  0.006 % |
1.87/1.93	c |      7881 |    1156   194072   507926 |    64690     7881     59 |  0.006 % |
1.87/1.96	c |      8002 |    1156   194072   507926 |    64690     8002     58 |  0.006 % |
1.87/1.99	c |      8138 |    1156   194072   507926 |    64690     8138     59 |  0.000 % |
1.97/2.02	c |      8285 |    1156   194072   507926 |    64690     8285     59 |  0.000 % |
1.97/2.05	c |      8445 |    1156   194072   507926 |    64690     8445     59 |  0.006 % |
1.97/2.09	c |      8621 |    1156   194072   507926 |    64690     8621     59 |  0.006 % |
2.07/2.14	c |      8819 |    1156   194072   507926 |    64690     8819     59 |  0.000 % |
2.07/2.17	c |      9033 |    1156   194072   507926 |    64690     9033     59 |  0.006 % |
2.17/2.23	c |      9266 |    1156   194072   507926 |    64690     9266     60 |  0.000 % |
2.17/2.28	c |      9522 |    1156   194072   507926 |    64690     9522     59 |  0.006 % |
2.27/2.30	c |      9622 |    1156   194072   507926 |    64690     9622     59 |  0.000 % |
2.27/2.33	c |      9732 |    1156   194072   507926 |    64690     9732     59 |  0.006 % |
2.27/2.36	c |      9853 |    1156   194072   507926 |    64690     9853     59 |  0.006 % |
2.27/2.39	c |      9987 |    1156   194072   507926 |    64690     9987     59 |  0.006 % |
2.37/2.42	c |     10136 |    1156   194072   507926 | 2147483647    10136     59 |  0.006 % |
2.37/2.46	c |     10298 |    1156   194072   507926 | 2147483647    10298     58 |  0.000 % |
2.46/2.50	c |     10475 |    1156   194072   507926 | 2147483647    10475     58 |  0.006 % |
2.46/2.54	c |     10670 |    1156   194072   507926 | 2147483647    10670     58 |  0.006 % |
2.46/2.59	c |     10884 |    1156   194072   507926 | 2147483647    10884     57 |  0.006 % |
2.56/2.65	c |     11119 |    1156   194072   507926 | 2147483647    11119     57 |  0.006 % |
2.66/2.70	c |     11375 |    1156   194072   507926 | 2147483647    11375     56 |  0.006 % |
2.66/2.77	c |     11660 |    1156   194072   507926 | 2147483647    11660     56 |  0.006 % |
2.66/2.80	c |     11763 |    1156   194072   507926 | 2147483647    11763     55 |  0.006 % |
2.76/2.82	c |     11874 |    1156   194072   507926 | 2147483647    11874     55 |  0.006 % |
2.76/2.85	c |     11996 |    1156   194072   507926 | 2147483647    11996     55 |  0.006 % |
2.76/2.89	c |     12129 |    1156   194072   507926 | 2147483647    12129     55 |  0.006 % |
2.86/2.93	c |     12275 |    1156   194072   507926 | 2147483647    12275     54 |  0.006 % |
2.86/2.96	c |     12436 |    1156   194072   507926 | 2147483647    12436     54 |  0.006 % |
2.96/3.00	c |     12613 |    1156   194072   507926 | 2147483647    12613     54 |  0.006 % |
2.96/3.04	c |     12807 |    1156   194072   507926 | 2147483647    12807     54 |  0.006 % |
3.06/3.10	c |     13021 |    1156   194072   507926 | 2147483647    13021     54 |  0.006 % |
3.06/3.16	c |     13255 |    1156   194072   507926 | 2147483647    13255     54 |  0.000 % |
3.18/3.23	c |     13512 |    1156   194072   507926 | 2147483647    13512     54 |  0.000 % |
3.18/3.29	c |     13793 |    1156   194072   507926 | 2147483647    13793     55 |  0.000 % |
3.28/3.36	c |     14105 |    1156   194072   507926 | 2147483647    14105     54 |  0.006 % |
3.28/3.38	c |     14207 |    1156   194072   507926 | 2147483647    14207     54 |  0.006 % |
3.37/3.41	c |     14318 |    1156   194072   507926 | 2147483647    14318     54 |  0.006 % |
3.37/3.44	c |     14439 |    1156   194072   507926 | 2147483647    14439     54 |  0.006 % |
3.37/3.48	c |     14573 |    1156   194072   507926 | 2147483647    14573     54 |  0.006 % |
3.47/3.51	c |     14720 |    1156   194072   507926 | 2147483647    14720     54 |  0.000 % |
3.47/3.55	c |     14882 |    1156   194072   507926 | 2147483647    14882     54 |  0.006 % |
3.47/3.59	c |     15059 |    1156   194072   507926 | 2147483647    15059     54 |  0.006 % |
3.57/3.64	c |     15253 |    1156   194072   507926 | 2147483647    15253     54 |  0.000 % |
3.57/3.68	c |     15466 |    1156   194072   507926 | 2147483647    15466     54 |  0.006 % |
3.67/3.74	c |     15699 |    1156   194072   507926 | 2147483647    15699     54 |  0.005 % |
3.67/3.80	c |     15955 |    1156   194072   507926 | 2147483647    15955     53 |  0.006 % |
3.77/3.86	c |     16236 |    1156   194072   507926 | 2147483647    16236     53 |  0.006 % |
3.87/3.95	c |     16546 |    1156   194072   507926 | 2147483647    16546     52 |  0.006 % |
3.97/4.03	c |     16889 |    1156   194072   507926 | 2147483647    16889     54 |  0.000 % |
3.97/4.06	c |     16993 |    1156   194072   507926 | 2147483647    16993     54 |  0.006 % |
3.97/4.09	c |     17103 |    1156   194072   507926 | 2147483647    17103     53 |  0.006 % |
4.07/4.11	c |     17225 |    1156   194072   507926 | 2147483647    17225     53 |  0.006 % |
4.07/4.15	c |     17358 |    1156   194072   507926 | 2147483647    17358     53 |  0.006 % |
4.07/4.18	c |     17505 |    1156   194072   507926 | 2147483647    17505     53 |  0.006 % |
4.17/4.22	c |     17665 |    1156   194072   507926 | 2147483647    17665     53 |  0.000 % |
4.17/4.26	c |     17841 |    1156   194072   507926 | 2147483647    17841     53 |  0.011 % |
4.27/4.31	c |     18034 |    1156   194072   507926 | 2147483647    18034     53 |  0.006 % |
4.27/4.36	c |     18249 |    1156   194072   507926 | 2147483647    18249     54 |  0.000 % |
4.37/4.42	c |     18482 |    1156   194072   507926 | 2147483647    18482     54 |  0.000 % |
4.37/4.48	c |     18741 |    1156   194072   507926 | 2147483647    18741     54 |  0.006 % |
4.47/4.55	c |     19023 |    1156   194072   507926 | 2147483647    19023     54 |  0.006 % |
4.57/4.62	c |     19332 |    1156   194072   507926 | 2147483647    19332     54 |  0.000 % |
4.67/4.70	c |     19676 |    1156   194072   507926 | 2147483647    19676     55 |  0.000 % |
4.67/4.79	c |     20052 |    1156   194072   507926 | 2147483647    20052     54 |  0.006 % |
4.77/4.82	c |     20152 |    1156   194072   507926 | 2147483647    20152     55 |  0.000 % |
4.77/4.85	c |     20262 |    1156   194072   507926 | 2147483647    20262     55 |  0.006 % |
4.77/4.87	c |     20384 |    1156   194072   507926 | 2147483647    20384     55 |  0.006 % |
4.87/4.91	c |     20519 |    1156   194072   507926 | 2147483647    20519     55 |  0.006 % |
4.87/4.94	c |     20665 |    1156   194072   507926 | 2147483647    20665     55 |  0.000 % |
4.87/4.99	c |     20827 |    1156   194072   507926 | 2147483647    20827     55 |  0.006 % |
4.97/5.04	c |     21004 |    1156   194072   507926 | 2147483647    21004     55 |  0.006 % |
4.97/5.09	c |     21197 |    1156   194072   507926 | 2147483647    21197     55 |  0.000 % |
5.07/5.15	c |     21414 |    1156   194072   507926 | 2147483647    21414     56 |  0.006 % |
5.17/5.21	c |     21647 |    1156   194072   507926 | 2147483647    21647     55 |  0.006 % |
5.17/5.27	c |     21904 |    1156   194072   507926 | 2147483647    21904     55 |  0.006 % |
5.27/5.35	c |     22186 |    1156   194072   507926 | 2147483647    22186     55 |  0.006 % |
5.37/5.43	c |     22495 |    1156   194072   507926 | 2147483647    22495     55 |  0.006 % |
5.47/5.52	c |     22835 |    1156   194072   507926 | 2147483647    22835     54 |  0.006 % |
5.57/5.61	c |     23212 |    1156   194072   507926 | 2147483647    23212     54 |  0.006 % |
5.67/5.72	c |     23623 |    1156   194072   507926 | 2147483647    23623     54 |  0.000 % |
5.67/5.74	c |     23723 |    1156   194072   507926 | 2147483647    23723     54 |  0.006 % |
5.67/5.77	c |     23833 |    1156   194072   507926 | 2147483647    23833     54 |  0.006 % |
5.77/5.81	c |     23955 |    1156   194072   507926 | 2147483647    23955     54 |  0.006 % |
5.77/5.84	c |     24090 |    1156   194072   507926 | 2147483647    24090     54 |  0.000 % |
5.77/5.88	c |     24238 |    1156   194072   507926 | 2147483647    24238     54 |  0.000 % |
5.86/5.92	c |     24398 |    1156   194072   507926 | 2147483647    24398     54 |  0.006 % |
5.86/5.97	c |     24579 |    1156   194072   507926 | 2147483647    24579     54 |  0.000 % |
5.96/6.02	c |     24772 |    1156   194072   507926 | 2147483647    24772     54 |  0.000 % |
5.96/6.07	c |     24984 |    1156   194072   507926 | 2147483647    24984     54 |  0.006 % |
6.06/6.14	c |     25220 |    1156   194072   507926 | 2147483647    25220     54 |  0.006 % |
6.16/6.23	c |     25477 |    1156   194072   507926 | 2147483647    25477     54 |  0.000 % |
6.16/6.30	c |     25758 |    1156   194072   507926 | 2147483647    25758     54 |  0.006 % |
6.26/6.38	c |     26069 |    1156   194072   507926 | 2147483647    26069     54 |  0.006 % |
6.36/6.46	c |     26408 |    1156   194072   507926 | 2147483647    26408     55 |  0.000 % |
6.47/6.55	c |     26780 |    1156   194072   507926 | 2147483647    26780     55 |  0.000 % |
6.57/6.68	c |     27189 |    1156   194072   507926 | 2147483647    27189     54 |  0.006 % |
6.66/6.79	c |     27638 |    1156   194072   507926 | 2147483647    27638     54 |  0.006 % |
6.76/6.81	c |     27738 |    1156   194072   507926 | 2147483647    27738     54 |  0.006 % |
6.76/6.84	c |     27848 |    1156   194072   507926 | 2147483647    27848     54 |  0.006 % |
6.76/6.87	c |     27971 |    1156   194072   507926 | 2147483647    27971     54 |  0.006 % |
6.86/6.91	c |     28105 |    1156   194072   507926 | 2147483647    28105     54 |  0.006 % |
6.86/6.96	c |     28251 |    1156   194072   507926 | 2147483647    28251     54 |  0.006 % |
6.96/7.02	c |     28414 |    1156   194072   507926 | 2147483647    28414     54 |  0.006 % |
6.96/7.09	c |     28591 |    1156   194072   507926 | 2147483647    28591     54 |  0.006 % |
7.06/7.14	c |     28785 |    1156   194072   507926 | 2147483647    28785     54 |  0.000 % |
7.16/7.21	c |     28997 |    1156   194072   507926 | 2147483647    28997     54 |  0.006 % |
7.16/7.28	c |     29231 |    1156   194072   507926 | 2147483647    29231     54 |  0.006 % |
7.26/7.35	c |     29487 |    1156   194072   507926 | 2147483647    29487     53 |  0.006 % |
7.36/7.44	c |     29774 |    1156   194072   507926 | 2147483647    29774     53 |  0.006 % |
7.46/7.53	c |     30083 |    1156   194072   507926 | 2147483647    30083     53 |  0.006 % |
7.56/7.62	c |     30422 |    1156   194072   507926 | 2147483647    30422     54 |  0.000 % |
7.66/7.72	c |     30794 |    1156   194072   507926 | 2147483647    30794     54 |  0.006 % |
7.76/7.84	c |     31203 |    1156   194072   507926 | 2147483647    31203     53 |  0.006 % |
7.86/7.97	c |     31652 |    1156   194072   507926 | 2147483647    31652     53 |  0.000 % |
8.06/8.13	c |     32145 |    1156   194072   507926 | 2147483647    32145     53 |  0.006 % |
8.06/8.16	c |     32246 |    1156   194072   507926 | 2147483647    32246     53 |  0.006 % |
8.06/8.19	c |     32356 |    1156   194072   507926 | 2147483647    32356     53 |  0.006 % |
8.16/8.22	c |     32477 |    1156   194072   507926 | 2147483647    32477     53 |  0.006 % |
8.16/8.26	c |     32612 |    1156   194072   507926 | 2147483647    32612     53 |  0.006 % |
8.26/8.30	c |     32760 |    1156   194072   507926 | 2147483647    32760     53 |  0.006 % |
8.26/8.35	c |     32922 |    1156   194072   507926 | 2147483647    32922     53 |  0.006 % |
8.36/8.41	c |     33099 |    1156   194072   507926 | 2147483647    33099     53 |  0.006 % |
8.36/8.47	c |     33292 |    1156   194072   507926 | 2147483647    33292     53 |  0.000 % |
8.45/8.54	c |     33504 |    1156   194072   507926 | 2147483647    33504     53 |  0.000 % |
8.55/8.61	c |     33737 |    1156   194072   507926 | 2147483647    33737     54 |  0.000 % |
8.55/8.70	c |     33995 |    1156   194072   507926 | 2147483647    33995     54 |  0.000 % |
8.66/8.79	c |     34276 |    1156   194072   507926 | 2147483647    34276     54 |  0.006 % |
8.77/8.88	c |     34587 |    1156   194072   507926 | 2147483647    34587     54 |  0.006 % |
8.86/8.98	c |     34926 |    1156   194072   507926 | 2147483647    34926     54 |  0.000 % |
8.96/9.09	c |     35298 |    1156   194072   507926 | 2147483647    35298     54 |  0.006 % |
9.16/9.22	c |     35709 |    1156   194072   507926 | 2147483647    35709     54 |  0.006 % |
9.26/9.37	c |     36158 |    1156   194072   507926 | 2147483647    36158     54 |  0.006 % |
9.46/9.54	c |     36651 |    1156   194072   507926 | 2147483647    36651     54 |  0.006 % |
9.66/9.74	c |     37195 |    1156   194072   507926 | 2147483647    37195     53 |  0.006 % |
9.66/9.78	c |     37295 |    1156   194072   507926 | 2147483647    37295     53 |  0.006 % |
9.76/9.83	c |     37407 |    1156   194072   507926 | 2147483647    37407     53 |  0.006 % |
9.76/9.87	c |     37528 |    1156   194072   507926 | 2147483647    37528     53 |  0.006 % |
9.86/9.91	c |     37662 |    1156   194072   507926 | 2147483647    37662     53 |  0.000 % |
9.86/9.96	c |     37810 |    1156   194072   507926 | 2147483647    37810     53 |  0.000 % |
9.96/10.01	c |     37970 |    1156   194072   507926 | 2147483647    37970     53 |  0.006 % |
9.96/10.06	c |     38147 |    1156   194072   507926 | 2147483647    38147     53 |  0.000 % |
10.06/10.12	c |     38340 |    1156   194072   507926 | 2147483647    38340     53 |  0.006 % |
10.06/10.19	c |     38552 |    1156   194072   507926 | 2147483647    38552     53 |  0.006 % |
10.16/10.25	c |     38786 |    1156   194072   507926 | 2147483647    38786     53 |  0.000 % |
10.26/10.32	c |     39045 |    1156   194072   507926 | 2147483647    39045     53 |  0.000 % |
10.36/10.40	c |     39327 |    1156   194072   507926 | 2147483647    39327     54 |  0.000 % |
10.36/10.48	c |     39637 |    1156   194072   507926 | 2147483647    39637     54 |  0.006 % |
10.46/10.56	c |     39977 |    1156   194072   507926 | 2147483647    39977     54 |  0.006 % |
10.56/10.68	c |     40350 |    1156   194072   507926 | 2147483647    40350     54 |  0.006 % |
10.75/10.84	c |     40760 |    1156   194072   507926 | 2147483647    40760     54 |  0.006 % |
10.96/11.00	c |     41210 |    1156   194072   507926 | 2147483647    41210     54 |  0.006 % |
11.05/11.16	c |     41703 |    1156   194072   507926 | 2147483647    41703     53 |  0.006 % |
11.25/11.35	c |     42245 |    1156   194072   507926 | 2147483647    42245     53 |  0.006 % |
11.46/11.59	c |     42843 |    1156   194072   507926 | 2147483647    42843     53 |  0.006 % |
11.56/11.63	c |     42947 |    1156   194072   507926 | 2147483647    42947     53 |  0.006 % |
11.56/11.68	c |     43057 |    1156   194072   507926 | 2147483647    43057     53 |  0.006 % |
11.66/11.72	c |     43178 |    1156   194072   507926 | 2147483647    43178     53 |  0.000 % |
11.66/11.76	c |     43312 |    1156   194072   507926 | 2147483647    43312     53 |  0.006 % |
11.76/11.81	c |     43460 |    1156   194072   507926 | 2147483647    43460     53 |  0.006 % |
11.76/11.86	c |     43620 |    1156   194072   507926 | 2147483647    43620     53 |  0.006 % |
11.86/11.93	c |     43796 |    1156   194072   507926 | 2147483647    43796     53 |  0.006 % |
11.86/12.00	c |     43990 |    1156   194072   507926 | 2147483647    43990     53 |  0.006 % |
11.97/12.06	c |     44202 |    1156   194072   507926 | 2147483647    44202     53 |  0.006 % |
12.06/12.15	c |     44437 |    1156   194072   507926 | 2147483647    44437     53 |  0.006 % |
12.16/12.23	c |     44693 |    1156   194072   507926 | 2147483647    44693     53 |  0.006 % |
12.26/12.33	c |     44974 |    1156   194072   507926 | 2147483647    44974     53 |  0.006 % |
12.36/12.44	c |     45284 |    1156   194072   507926 | 2147483647    45284     53 |  0.006 % |
12.46/12.56	c |     45623 |    1156   194072   507926 | 2147483647    45623     53 |  0.006 % |
12.56/12.69	c |     45996 |    1156   194072   507926 | 2147483647    45996     52 |  0.006 % |
12.76/12.86	c |     46405 |    1156   194072   507926 | 2147483647    46405     52 |  0.006 % |
12.96/13.03	c |     46859 |    1156   194072   507926 | 2147483647    46859     52 |  0.006 % |
13.16/13.24	c |     47353 |    1156   194072   507926 | 2147483647    47353     52 |  0.006 % |
13.36/13.48	c |     47896 |    1156   194072   507926 | 2147483647    47896     52 |  0.006 % |
13.65/13.70	c |     48494 |    1156   194072   507926 | 2147483647    48494     52 |  0.006 % |
13.85/13.99	c |     49153 |    1156   194072   507926 | 2147483647    49153     51 |  0.006 % |
13.95/14.02	c |     49253 |    1156   194072   507926 | 2147483647    49253     51 |  0.006 % |
13.95/14.08	c |     49363 |    1156   194072   507926 | 2147483647    49363     51 |  0.006 % |
14.05/14.12	c |     49484 |    1156   194072   507926 | 2147483647    49484     51 |  0.006 % |
14.05/14.16	c |     49617 |    1156   194072   507926 | 2147483647    49617     51 |  0.006 % |
14.16/14.20	c |     49763 |    1156   194072   507926 | 2147483647    49763     51 |  0.000 % |
14.16/14.24	c |     49923 |    1156   194072   507926 | 2147483647    49923     51 |  0.006 % |
14.26/14.31	c |     50099 |    1156   194072   507926 | 2147483647    50099     51 |  0.006 % |
14.26/14.38	c |     50293 |    1156   194072   507926 | 2147483647    50293     51 |  0.000 % |
14.35/14.46	c |     50506 |    1156   194072   507926 | 2147483647    50506     51 |  0.006 % |
14.45/14.55	c |     50741 |    1156   194072   507926 | 2147483647    50741     52 |  0.000 % |
14.55/14.66	c |     50997 |    1156   194072   507926 | 2147483647    50997     52 |  0.006 % |
14.75/14.80	c |     51278 |    1156   194072   507926 | 2147483647    51278     52 |  0.006 % |
14.85/14.91	c |     51587 |    1156   194072   507926 | 2147483647    51587     52 |  0.006 % |
14.95/15.04	c |     51926 |    1156   194072   507926 | 2147483647    51926     52 |  0.000 % |
15.05/15.18	c |     52302 |    1156   194072   507926 | 2147483647    52302     52 |  0.000 % |
15.25/15.35	c |     52714 |    1156   194072   507926 | 2147483647    52714     52 |  0.006 % |
15.45/15.54	c |     53164 |    1156   194072   507926 | 2147483647    53164     52 |  0.006 % |
15.65/15.74	c |     53662 |    1156   194072   507926 | 2147483647    53662     52 |  0.006 % |
15.85/15.93	c |     54205 |    1156   194072   507926 | 2147483647    54205     52 |  0.006 % |
16.05/16.17	c |     54801 |    1156   194072   507926 | 2147483647    54801     51 |  0.006 % |
16.35/16.43	c |     55457 |    1156   194072   507926 | 2147483647    55457     51 |  0.006 % |
16.55/16.69	c |     56178 |    1156   194072   507926 | 2147483647    56178     51 |  0.006 % |
16.65/16.73	c |     56279 |    1156   194072   507926 | 2147483647    56279     51 |  0.006 % |
16.65/16.78	c |     56390 |    1156   194072   507926 | 2147483647    56390     51 |  0.006 % |
16.75/16.84	c |     56511 |    1156   194072   507926 | 2147483647    56511     51 |  0.006 % |
16.85/16.91	c |     56646 |    1156   194072   507926 | 2147483647    56646     51 |  0.000 % |
16.85/16.98	c |     56794 |    1156   194072   507926 | 2147483647    56794     51 |  0.000 % |
16.95/17.06	c |     56958 |    1156   194072   507926 | 2147483647    56958     51 |  0.000 % |
17.05/17.12	c |     57135 |    1156   194072   507926 | 2147483647    57135     51 |  0.006 % |
17.05/17.19	c |     57328 |    1156   194072   507926 | 2147483647    57328     51 |  0.000 % |
17.15/17.28	c |     57540 |    1156   194072   507926 | 2147483647    57540     51 |  0.006 % |
17.25/17.36	c |     57777 |    1156   194072   507926 | 2147483647    57777     51 |  0.000 % |
17.34/17.45	c |     58035 |    1156   194072   507926 | 2147483647    58035     52 |  0.006 % |
17.45/17.54	c |     58316 |    1156   194072   507926 | 2147483647    58316     52 |  0.000 % |
17.56/17.67	c |     58629 |    1156   194072   507926 | 2147483647    58629     52 |  0.000 % |
17.65/17.79	c |     58970 |    1156   194072   507926 | 2147483647    58970     52 |  0.006 % |
17.85/17.95	c |     59343 |    1156   194072   507926 | 2147483647    59343     52 |  0.006 % |
18.05/18.11	c |     59752 |    1156   194072   507926 | 2147483647    59752     52 |  0.006 % |
18.15/18.27	c |     60201 |    1156   194072   507926 | 2147483647    60201     51 |  0.006 % |
18.35/18.48	c |     60694 |    1156   194072   507926 | 2147483647    60694     51 |  0.006 % |
18.55/18.67	c |     61236 |    1156   194072   507926 | 2147483647    61236     51 |  0.006 % |
18.85/18.91	c |     61833 |    1156   194072   507926 | 2147483647    61833     51 |  0.006 % |
19.05/19.18	c |     62490 |    1156   194072   507926 | 2147483647    62490     51 |  0.006 % |
19.35/19.46	c |     63211 |    1156   194072   507926 | 2147483647    63211     51 |  0.006 % |
19.65/19.79	c |     64004 |    1156   194072   507926 | 2147483647    64004     51 |  0.006 % |
19.75/19.83	c |     64105 |    1156   194072   507926 | 2147483647    64105     51 |  0.000 % |
19.75/19.88	c |     64215 |    1156   194072   507926 | 2147483647    64215     51 |  0.006 % |
19.85/19.93	c |     64338 |    1156   194072   507926 | 2147483647    64338     51 |  0.006 % |
19.95/20.00	c |     64471 |    1156   194072   507926 | 2147483647    64471     51 |  0.006 % |
19.95/20.07	c |     64617 |    1156   194072   507926 | 2147483647    64617     51 |  0.006 % |
20.04/20.14	c |     64777 |    1156   194072   507926 | 2147483647    64777     51 |  0.006 % |
20.14/20.21	c |     64953 |    1156   194072   507926 | 2147483647    64953     51 |  0.006 % |
20.24/20.31	c |     65148 |    1156   194072   507926 | 2147483647    65148     50 |  0.006 % |
20.34/20.42	c |     65360 |    1156   194072   507926 | 2147483647    65360     50 |  0.006 % |
20.44/20.51	c |     65593 |    1156   194072   507926 | 2147483647    65593     50 |  0.006 % |
20.54/20.60	c |     65853 |    1156   194072   507926 | 2147483647    65853     51 |  0.000 % |
20.64/20.71	c |     66134 |    1156   194072   507926 | 2147483647    66134     51 |  0.000 % |
20.75/20.83	c |     66444 |    1156   194072   507926 | 2147483647    66444     51 |  0.006 % |
20.85/20.97	c |     66783 |    1156   194072   507926 | 2147483647    66783     51 |  0.006 % |
21.04/21.15	c |     67158 |    1156   194072   507926 | 2147483647    67158     51 |  0.006 % |
21.24/21.32	c |     67567 |    1156   194072   507926 | 2147483647    67567     50 |  0.006 % |
21.34/21.48	c |     68017 |    1156   194072   507926 | 2147483647    68017     51 |  0.000 % |
21.54/21.67	c |     68510 |    1156   194072   507926 | 2147483647    68510     52 |  0.000 % |
21.74/21.88	c |     69054 |    1156   194072   507926 | 2147483647    69054     52 |  0.000 % |
22.05/22.15	c |     69650 |    1156   194072   507926 | 2147483647    69650     53 |  0.000 % |
22.45/22.53	c |     70306 |    1156   194072   507926 | 2147483647    70306     53 |  0.006 % |
22.85/22.93	c |     71027 |    1156   194072   507926 | 2147483647    71027     52 |  0.006 % |
23.25/23.31	c |     71821 |    1156   194072   507926 | 2147483647    71821     53 |  0.000 % |
23.65/23.77	c |     72692 |    1156   194072   507926 | 2147483647    72692     53 |  0.006 % |
23.75/23.83	c |     72796 |    1156   194072   507926 | 2147483647    72796     53 |  0.006 % |
23.75/23.90	c |     72907 |    1156   194072   507926 | 2147483647    72907     53 |  0.006 % |
23.85/23.95	c |     73028 |    1156   194072   507926 | 2147483647    73028     53 |  0.006 % |
23.95/24.01	c |     73161 |    1156   194072   507926 | 2147483647    73161     53 |  0.000 % |
23.95/24.07	c |     73308 |    1156   194072   507926 | 2147483647    73308     53 |  0.006 % |
24.05/24.14	c |     73468 |    1156   194072   507926 | 2147483647    73468     53 |  0.000 % |
24.15/24.23	c |     73646 |    1156   194072   507926 | 2147483647    73646     53 |  0.006 % |
24.24/24.32	c |     73839 |    1156   194072   507926 | 2147483647    73839     53 |  0.006 % |
24.34/24.43	c |     74051 |    1156   194072   507926 | 2147483647    74051     53 |  0.006 % |
24.44/24.55	c |     74285 |    1156   194072   507926 | 2147483647    74285     53 |  0.000 % |
24.54/24.68	c |     74542 |    1156   194072   507926 | 2147483647    74542     53 |  0.006 % |
24.64/24.78	c |     74823 |    1156   194072   507926 | 2147483647    74823     53 |  0.000 % |
24.84/24.92	c |     75132 |    1156   194072   507926 | 2147483647    75132     54 |  0.006 % |
24.94/25.08	c |     75475 |    1156   194072   507926 | 2147483647    75475     53 |  0.000 % |
25.14/25.23	c |     75851 |    1156   194072   507926 | 2147483647    75851     53 |  0.006 % |
25.34/25.47	c |     76260 |    1156   194072   507926 | 2147483647    76260     53 |  0.006 % |
25.64/25.75	c |     76711 |    1156   194072   507926 | 2147483647    76711     53 |  0.006 % |
25.94/26.04	c |     77210 |    1156   194072   507926 | 2147483647    77210     53 |  0.006 % |
26.14/26.29	c |     77753 |    1156   194072   507926 | 2147483647    77753     53 |  0.006 % |
26.44/26.55	c |     78351 |    1156   194072   507926 | 2147483647    78351     53 |  0.006 % |
26.73/26.89	c |     79006 |    1156   194072   507926 | 2147483647    79006     53 |  0.006 % |
27.13/27.21	c |     79727 |    1156   194072   507926 | 2147483647    79727     54 |  0.000 % |
27.53/27.62	c |     80522 |    1156   194072   507926 | 2147483647    80522     53 |  0.006 % |
28.03/28.10	c |     81394 |    1156   194072   507926 | 2147483647    81394     54 |  0.000 % |
28.55/28.69	c |     82357 |    1156   194072   507926 | 2147483647    82357     54 |  0.006 % |
28.64/28.76	c |     82459 |    1156   194072   507926 | 2147483647    82459     54 |  0.006 % |
28.74/28.82	c |     82571 |    1156   194072   507926 | 2147483647    82571     54 |  0.006 % |
28.74/28.89	c |     82692 |    1156   194072   507926 | 2147483647    82692     54 |  0.000 % |
28.84/28.97	c |     82825 |    1156   194072   507926 | 2147483647    82825     54 |  0.006 % |
28.94/29.06	c |     82972 |    1156   194072   507926 | 2147483647    82972     54 |  0.006 % |
29.04/29.16	c |     83132 |    1156   194072   507926 | 2147483647    83132     54 |  0.006 % |
29.14/29.26	c |     83310 |    1156   194072   507926 | 2147483647    83310     54 |  0.006 % |
29.24/29.36	c |     83505 |    1156   194072   507926 | 2147483647    83505     54 |  0.006 % |
29.34/29.47	c |     83717 |    1156   194072   507926 | 2147483647    83717     54 |  0.000 % |
29.44/29.59	c |     83951 |    1156   194072   507926 | 2147483647    83951     54 |  0.006 % |
29.64/29.72	c |     84207 |    1156   194072   507926 | 2147483647    84207     54 |  0.006 % |
29.74/29.85	c |     84491 |    1156   194072   507926 | 2147483647    84491     54 |  0.006 % |
29.94/30.03	c |     84800 |    1156   194072   507926 | 2147483647    84800     54 |  0.006 % |
30.14/30.23	c |     85142 |    1156   194072   507926 | 2147483647    85142     54 |  0.006 % |
30.34/30.46	c |     85515 |    1156   194072   507926 | 2147483647    85515     54 |  0.006 % |
30.53/30.69	c |     85925 |    1156   194072   507926 | 2147483647    85925     54 |  0.000 % |
30.83/30.91	c |     86374 |    1156   194072   507926 | 2147483647    86374     54 |  0.006 % |
31.13/31.20	c |     86868 |    1156   194072   507926 | 2147483647    86868     54 |  0.006 % |
31.43/31.51	c |     87413 |    1156   194072   507926 | 2147483647    87413     54 |  0.006 % |
31.63/31.79	c |     88010 |    1156   194072   507926 | 2147483647    88010     53 |  0.006 % |
32.03/32.13	c |     88665 |    1156   194072   507926 | 2147483647    88665     54 |  0.000 % |
32.33/32.48	c |     89385 |    1156   194072   507926 | 2147483647    89385     54 |  0.006 % |
32.73/32.84	c |     90177 |    1156   194072   507926 | 2147483647    90177     54 |  0.006 % |
33.23/33.33	c |     91049 |    1156   194072   507926 | 2147483647    91049     54 |  0.006 % |
33.73/33.85	c |     92007 |    1156   194072   507926 | 2147483647    92007     54 |  0.000 % |
34.33/34.45	c |     93061 |    1156   194072   507926 | 2147483647    93061     55 |  0.000 % |
34.43/34.50	c |     93164 |    1156   194072   507926 | 2147483647    93164     55 |  0.000 % |
34.43/34.56	c |     93274 |    1156   194072   507926 | 2147483647    93274     55 |  0.000 % |
34.54/34.64	c |     93401 |    1156   194072   507926 | 2147483647    93401     55 |  0.006 % |
34.64/34.72	c |     93535 |    1156   194072   507926 | 2147483647    93535     55 |  0.006 % |
34.74/34.83	c |     93682 |    1156   194072   507926 | 2147483647    93682     55 |  0.000 % |
34.84/34.94	c |     93845 |    1156   194072   507926 | 2147483647    93845     55 |  0.006 % |
34.94/35.05	c |     94021 |    1156   194072   507926 | 2147483647    94021     55 |  0.006 % |
35.04/35.16	c |     94214 |    1156   194072   507926 | 2147483647    94214     55 |  0.000 % |
35.24/35.31	c |     94426 |    1156   194072   507926 | 2147483647    94426     55 |  0.000 % |
35.34/35.48	c |     94660 |    1156   194072   507926 | 2147483647    94660     55 |  0.006 % |
35.54/35.68	c |     94916 |    1156   194072   507926 | 2147483647    94916     55 |  0.006 % |
35.74/35.86	c |     95197 |    1156   194072   507926 | 2147483647    95197     55 |  0.006 % |
35.94/36.03	c |     95507 |    1156   194072   507926 | 2147483647    95507     55 |  0.006 % |
36.04/36.19	c |     95846 |    1156   194072   507926 | 2147483647    95846     55 |  0.000 % |
36.24/36.38	c |     96218 |    1156   194072   507926 | 2147483647    96218     55 |  0.006 % |
36.54/36.64	c |     96627 |    1156   194072   507926 | 2147483647    96627     55 |  0.006 % |
36.84/36.90	c |     97081 |    1156   194072   507926 | 2147483647    97081     55 |  0.006 % |
37.04/37.19	c |     97575 |    1156   194072   507926 | 2147483647    97575     55 |  0.000 % |
37.44/37.50	c |     98118 |    1156   194072   507926 | 2147483647    98118     56 |  0.000 % |
37.74/37.84	c |     98716 |    1156   194072   507926 | 2147483647    98716     56 |  0.006 % |
38.13/38.21	c |     99374 |    1156   194072   507926 | 2147483647    99374     56 |  0.006 % |
38.53/38.69	c |    100094 |    1156   194072   507926 | 2147483647   100094     56 |  0.000 % |
39.03/39.16	c |    100886 |    1156   194072   507926 | 2147483647   100886     56 |  0.000 % |
39.63/39.74	c |    101758 |    1156   194072   507926 | 2147483647   101758     56 |  0.006 % |
40.24/40.33	c |    102716 |    1156   194072   507926 | 2147483647   102716     56 |  0.006 % |
40.94/41.02	c |    103769 |    1156   194072   507926 | 2147483647   103769     56 |  0.006 % |
41.84/41.92	c |    104930 |    1156   194072   507926 | 2147483647   104930     56 |  0.006 % |
41.94/42.01	c |    105031 |    1156   194072   507926 | 2147483647   105031     56 |  0.006 % |
41.94/42.08	c |    105144 |    1156   194072   507926 | 2147483647   105144     56 |  0.000 % |
42.04/42.15	c |    105267 |    1156   194072   507926 | 2147483647   105267     56 |  0.000 % |
42.14/42.21	c |    105400 |    1156   194072   507926 | 2147483647   105400     56 |  0.000 % |
42.14/42.29	c |    105548 |    1156   194072   507926 | 2147483647   105548     56 |  0.006 % |
42.24/42.40	c |    105711 |    1156   194072   507926 | 2147483647   105711     56 |  0.000 % |
42.43/42.51	c |    105888 |    1156   194072   507926 | 2147483647   105888     56 |  0.006 % |
42.53/42.63	c |    106082 |    1156   194072   507926 | 2147483647   106082     56 |  0.006 % |
42.63/42.76	c |    106298 |    1156   194072   507926 | 2147483647   106298     56 |  0.000 % |
42.74/42.89	c |    106534 |    1156   194072   507926 | 2147483647   106534     56 |  0.000 % |
42.93/43.02	c |    106790 |    1156   194072   507926 | 2147483647   106790     56 |  0.000 % |
43.13/43.21	c |    107072 |    1156   194072   507926 | 2147483647   107072     56 |  0.000 % |
43.23/43.39	c |    107381 |    1156   194072   507926 | 2147483647   107381     56 |  0.000 % |
43.43/43.59	c |    107721 |    1156   194072   507926 | 2147483647   107721     56 |  0.006 % |
43.63/43.78	c |    108096 |    1156   194072   507926 | 2147483647   108096     56 |  0.006 % |
43.83/43.99	c |    108505 |    1156   194072   507926 | 2147483647   108505     57 |  0.000 % |
44.13/44.28	c |    108955 |    1156   194072   507926 | 2147483647   108955     57 |  0.000 % |
44.53/44.61	c |    109448 |    1156   194072   507926 | 2147483647   109448     57 |  0.006 % |
44.83/44.99	c |    109992 |    1156   194072   507926 | 2147483647   109992     57 |  0.006 % |
45.33/45.41	c |    110588 |    1156   194072   507926 | 2147483647   110588     57 |  0.006 % |
45.73/45.83	c |    111248 |    1156   194072   507926 | 2147483647   111248     57 |  0.000 % |
46.24/46.30	c |    111969 |    1156   194072   507926 | 2147483647   111969     57 |  0.000 % |
46.64/46.76	c |    112761 |    1156   194072   507926 | 2147483647   112761     57 |  0.006 % |
47.34/47.41	c |    113632 |    1156   194072   507926 | 2147483647   113632     57 |  0.006 % |
47.94/48.06	c |    114591 |    1156   194072   507926 | 2147483647   114591     57 |  0.006 % |
48.63/48.79	c |    115645 |    1156   194072   507926 | 2147483647   115645     57 |  0.000 % |
49.44/49.57	c |    116803 |    1156   194072   507926 | 2147483647   116803     57 |  0.006 % |
50.44/50.52	c |    118076 |    1156   194072   507926 | 2147483647   118076     57 |  0.006 % |
50.44/50.59	c |    118177 |    1156   194072   507926 | 2147483647   118177     57 |  0.000 % |
50.54/50.68	c |    118287 |    1156   194072   507926 | 2147483647   118287     57 |  0.006 % |
50.73/50.80	c |    118408 |    1156   194072   507926 | 2147483647   118408     57 |  0.006 % |
50.83/50.90	c |    118541 |    1156   194072   507926 | 2147483647   118541     57 |  0.006 % |
50.83/50.98	c |    118687 |    1156   194072   507926 | 2147483647   118687     57 |  0.000 % |
50.93/51.10	c |    118847 |    1156   194072   507926 | 2147483647   118847     57 |  0.006 % |
51.13/51.24	c |    119025 |    1156   194072   507926 | 2147483647   119025     57 |  0.006 % |
51.23/51.36	c |    119218 |    1156   194072   507926 | 2147483647   119218     57 |  0.000 % |
51.43/51.51	c |    119431 |    1156   194072   507926 | 2147483647   119431     57 |  0.000 % |
51.54/51.67	c |    119666 |    1156   194072   507926 | 2147483647   119666     57 |  0.006 % |
51.73/51.86	c |    119922 |    1156   194072   507926 | 2147483647   119922     57 |  0.006 % |
51.93/52.08	c |    120203 |    1156   194072   507926 | 2147483647   120203     57 |  0.000 % |
52.23/52.36	c |    120512 |    1156   194072   507926 | 2147483647   120512     57 |  0.006 % |
52.53/52.62	c |    120852 |    1156   194072   507926 | 2147483647   120852     57 |  0.000 % |
52.83/52.92	c |    121225 |    1156   194072   507926 | 2147483647   121225     58 |  0.000 % |
53.13/53.24	c |    121635 |    1156   194072   507926 | 2147483647   121635     57 |  0.006 % |
53.43/53.57	c |    122087 |    1156   194072   507926 | 2147483647   122087     57 |  0.006 % |
53.83/53.97	c |    122582 |    1156   194072   507926 | 2147483647   122582     58 |  0.000 % |
54.23/54.35	c |    123126 |    1156   194072   507926 | 2147483647   123126     58 |  0.000 % |
54.63/54.80	c |    123723 |    1156   194072   507926 | 2147483647   123723     58 |  0.000 % |
55.13/55.25	c |    124378 |    1156   194072   507926 | 2147483647   124378     58 |  0.006 % |
55.63/55.80	c |    125098 |    1156   194072   507926 | 2147483647   125098     58 |  0.006 % |
56.23/56.38	c |    125890 |    1156   194072   507926 | 2147483647   125890     58 |  0.000 % |
56.93/57.01	c |    126761 |    1156   194072   507926 | 2147483647   126761     58 |  0.000 % |
57.63/57.79	c |    127719 |    1156   194072   507926 | 2147483647   127719     58 |  0.006 % |
58.53/58.64	c |    128774 |    1156   194072   507926 | 2147483647   128774     58 |  0.006 % |
59.53/59.65	c |    129935 |    1156   194072   507926 | 2147483647   129935     58 |  0.006 % |
60.53/60.63	c |    131208 |    1156   194072   507926 | 2147483647   131208     58 |  0.000 % |
61.63/61.70	c |    132609 |    1156   194072   507926 | 2147483647   132609     58 |  0.006 % |
61.63/61.78	c |    132709 |    1156   194072   507926 | 2147483647   132709     58 |  0.006 % |
61.73/61.87	c |    132822 |    1156   194072   507926 | 2147483647   132822     58 |  0.006 % |
61.83/61.97	c |    132943 |    1156   194072   507926 | 2147483647   132943     58 |  0.006 % |
61.93/62.08	c |    133077 |    1156   194072   507926 | 2147483647   133077     58 |  0.006 % |
62.03/62.19	c |    133223 |    1156   194072   507926 | 2147483647   133223     58 |  0.000 % |
62.23/62.32	c |    133385 |    1156   194072   507926 | 2147483647   133385     58 |  0.000 % |
62.33/62.50	c |    133562 |    1156   194072   507926 | 2147483647   133562     58 |  0.006 % |
62.53/62.64	c |    133758 |    1156   194072   507926 | 2147483647   133758     58 |  0.000 % |
62.73/62.82	c |    133971 |    1156   194072   507926 | 2147483647   133971     58 |  0.006 % |
62.92/63.01	c |    134205 |    1156   194072   507926 | 2147483647   134205     58 |  0.006 % |
63.12/63.24	c |    134461 |    1156   194072   507926 | 2147483647   134461     58 |  0.006 % |
63.42/63.50	c |    134743 |    1156   194072   507926 | 2147483647   134743     58 |  0.006 % |
63.63/63.80	c |    135052 |    1156   194072   507926 | 2147483647   135052     58 |  0.006 % |
63.92/64.09	c |    135393 |    1156   194072   507926 | 2147483647   135393     58 |  0.000 % |
64.32/64.40	c |    135767 |    1156   194072   507926 | 2147483647   135767     58 |  0.006 % |
64.62/64.77	c |    136176 |    1156   194072   507926 | 2147483647   136176     58 |  0.006 % |
65.02/65.18	c |    136626 |    1156   194072   507926 | 2147483647   136626     58 |  0.006 % |
65.52/65.67	c |    137119 |    1156   194072   507926 | 2147483647   137119     57 |  0.006 % |
66.02/66.12	c |    137664 |    1156   194072   507926 | 2147483647   137664     57 |  0.006 % |
66.52/66.63	c |    138260 |    1156   194072   507926 | 2147483647   138260     57 |  0.006 % |
67.12/67.22	c |    138917 |    1156   194072   507926 | 2147483647   138917     57 |  0.006 % |
67.62/67.77	c |    139638 |    1156   194072   507926 | 2147483647   139638     57 |  0.006 % |
68.42/68.53	c |    140431 |    1156   194072   507926 | 2147483647   140431     57 |  0.006 % |
69.32/69.40	c |    141303 |    1156   194072   507926 | 2147483647   141303     57 |  0.006 % |
70.02/70.16	c |    142261 |    1156   194072   507926 | 2147483647   142261     57 |  0.006 % |
71.02/71.16	c |    143317 |    1156   194072   507926 | 2147483647   143317     57 |  0.006 % |
72.21/72.31	c |    144478 |    1156   194072   507926 | 2147483647   144478     57 |  0.006 % |
73.22/73.37	c |    145752 |    1156   194072   507926 | 2147483647   145752     57 |  0.006 % |
74.52/74.69	c |    147155 |    1156   194072   507926 | 2147483647   147155     57 |  0.006 % |
76.02/76.16	c |    148696 |    1156   194072   507926 | 2147483647   148696     57 |  0.006 % |
76.12/76.25	c |    148796 |    1156   194072   507926 | 2147483647   148796     57 |  0.006 % |
76.22/76.35	c |    148907 |    1156   194072   507926 | 2147483647   148907     57 |  0.006 % |
76.32/76.46	c |    149028 |    1156   194072   507926 | 2147483647   149028     57 |  0.006 % |
76.52/76.60	c |    149164 |    1156   194072   507926 | 2147483647   149164     57 |  0.000 % |
76.62/76.74	c |    149310 |    1156   194072   507926 | 2147483647   149310     57 |  0.000 % |
76.72/76.88	c |    149477 |    1156   194072   507926 | 2147483647   149477     57 |  0.006 % |
76.92/77.03	c |    149653 |    1156   194072   507926 | 2147483647   149653     57 |  0.006 % |
77.12/77.20	c |    149847 |    1156   194072   507926 | 2147483647   149847     57 |  0.006 % |
77.21/77.38	c |    150060 |    1156   194072   507926 | 2147483647   150060     57 |  0.006 % |
77.42/77.55	c |    150296 |    1156   194072   507926 | 2147483647   150296     57 |  0.000 % |
77.62/77.76	c |    150556 |    1156   194072   507926 | 2147483647   150556     57 |  0.000 % |
77.92/78.00	c |    150838 |    1156   194072   507926 | 2147483647   150838     57 |  0.000 % |
78.11/78.30	c |    151147 |    1156   194072   507926 | 2147483647   151147     57 |  0.006 % |
78.41/78.59	c |    151488 |    1156   194072   507926 | 2147483647   151488     57 |  0.006 % |
78.81/78.92	c |    151863 |    1156   194072   507926 | 2147483647   151863     57 |  0.006 % |
79.12/79.28	c |    152274 |    1156   194072   507926 | 2147483647   152274     57 |  0.006 % |
79.51/79.67	c |    152723 |    1156   194072   507926 | 2147483647   152723     57 |  0.006 % |
80.01/80.10	c |    153218 |    1156   194072   507926 | 2147483647   153218     57 |  0.006 % |
80.51/80.60	c |    153761 |    1156   194072   507926 | 2147483647   153761     57 |  0.006 % |
80.91/81.07	c |    154357 |    1156   194072   507926 | 2147483647   154357     57 |  0.006 % |
81.51/81.66	c |    155013 |    1156   194072   507926 | 2147483647   155013     57 |  0.006 % |
82.21/82.36	c |    155737 |    1156   194072   507926 | 2147483647   155737     57 |  0.000 % |
82.92/83.09	c |    156530 |    1156   194072   507926 | 2147483647   156530     57 |  0.006 % |
83.82/83.95	c |    157403 |    1156   194072   507926 | 2147483647   157403     57 |  0.000 % |
84.62/84.79	c |    158361 |    1156   194072   507926 | 2147483647   158361     57 |  0.006 % |
85.62/85.77	c |    159420 |    1156   194072   507926 | 2147483647   159420     57 |  0.006 % |
86.91/87.06	c |    160579 |    1156   194072   507926 | 2147483647   160579     57 |  0.006 % |
88.11/88.26	c |    161854 |    1156   194072   507926 | 2147483647   161854     57 |  0.000 % |
89.51/89.60	c |    163254 |    1156   194072   507926 | 2147483647   163254     58 |  0.006 % |
91.01/91.15	c |    164796 |    1156   194072   507926 | 2147483647   164796     57 |  0.006 % |
92.60/92.74	c |    166494 |    1156   194072   507926 | 2147483647   166494     57 |  0.006 % |
92.71/92.84	c |    166594 |    1156   194072   507926 | 2147483647   166594     57 |  0.006 % |
92.81/92.95	c |    166705 |    1156   194072   507926 | 2147483647   166705     57 |  0.000 % |
92.91/93.05	c |    166826 |    1156   194072   507926 | 2147483647   166826     57 |  0.006 % |
93.01/93.16	c |    166959 |    1156   194072   507926 | 2147483647   166959     57 |  0.006 % |
93.21/93.30	c |    167106 |    1156   194072   507926 | 2147483647   167106     57 |  0.006 % |
93.32/93.46	c |    167271 |    1156   194072   507926 | 2147483647   167271     57 |  0.006 % |
93.51/93.65	c |    167447 |    1156   194072   507926 | 2147483647   167447     57 |  0.006 % |
93.71/93.85	c |    167643 |    1156   194072   507926 | 2147483647   167643     57 |  0.006 % |
93.91/94.09	c |    167855 |    1156   194072   507926 | 2147483647   167855     57 |  0.006 % |
94.21/94.35	c |    168092 |    1156   194072   507926 | 2147483647   168092     57 |  0.006 % |
94.52/94.64	c |    168349 |    1156   194072   507926 | 2147483647   168349     57 |  0.000 % |
94.81/94.96	c |    168631 |    1156   194072   507926 | 2147483647   168631     57 |  0.006 % |
95.21/95.30	c |    168945 |    1156   194072   507926 | 2147483647   168945     57 |  0.006 % |
95.51/95.67	c |    169287 |    1156   194072   507926 | 2147483647   169287     57 |  0.006 % |
95.91/96.06	c |    169661 |    1156   194072   507926 | 2147483647   169661     57 |  0.006 % |
96.41/96.53	c |    170072 |    1156   194072   507926 | 2147483647   170072     57 |  0.006 % |
96.81/96.99	c |    170521 |    1156   194072   507926 | 2147483647   170521     57 |  0.000 % |
97.31/97.45	c |    171015 |    1156   194072   507926 | 2147483647   171015     57 |  0.000 % |
97.81/97.93	c |    171557 |    1156   194072   507926 | 2147483647   171557     58 |  0.000 % |
98.51/98.62	c |    172154 |    1156   194072   507926 | 2147483647   172154     58 |  0.000 % |
99.10/99.25	c |    172810 |    1156   194072   507926 | 2147483647   172810     58 |  0.000 % |
99.80/99.93	c |    173533 |    1156   194072   507926 | 2147483647   173533     58 |  0.006 % |
100.60/100.78	c |    174325 |    1156   194072   507926 | 2147483647   174325     58 |  0.000 % |
101.70/101.81	c |    175197 |    1156   194072   507926 | 2147483647   175197     58 |  0.006 % |
102.70/102.83	c |    176155 |    1156   194072   507926 | 2147483647   176155     58 |  0.000 % |
103.70/103.86	c |    177208 |    1156   194072   507926 | 2147483647   177208     58 |  0.000 % |
105.01/105.10	c |    178368 |    1156   194072   507926 | 2147483647   178368     58 |  0.006 % |
106.31/106.44	c |    179641 |    1156   194072   507926 | 2147483647   179641     58 |  0.006 % |
107.71/107.81	c |    181042 |    1156   194072   507926 | 2147483647   181042     58 |  0.006 % |
109.20/109.38	c |    182582 |    1156   194072   507926 | 2147483647   182582     58 |  0.000 % |
111.20/111.33	c |    184276 |    1156   194072   507926 | 2147483647   184276     59 |  0.000 % |
113.50/113.63	c |    186140 |    1156   194072   507926 | 2147483647   186140     59 |  0.000 % |
113.60/113.75	c |    186241 |    1156   194072   507926 | 2147483647   186241     59 |  0.006 % |
113.70/113.88	c |    186351 |    1156   194072   507926 | 2147483647   186351     59 |  0.006 % |
113.90/114.03	c |    186472 |    1156   194072   507926 | 2147483647   186472     59 |  0.006 % |
114.00/114.18	c |    186607 |    1156   194072   507926 | 2147483647   186607     59 |  0.006 % |
114.20/114.37	c |    186753 |    1156   194072   507926 | 2147483647   186753     59 |  0.006 % |
114.40/114.58	c |    186913 |    1156   194072   507926 | 2147483647   186913     59 |  0.006 % |
114.60/114.80	c |    187089 |    1156   194072   507926 | 2147483647   187089     59 |  0.006 % |
114.80/115.00	c |    187283 |    1156   194072   507926 | 2147483647   187283     59 |  0.000 % |
115.09/115.22	c |    187497 |    1156   194072   507926 | 2147483647   187497     59 |  0.000 % |
115.40/115.55	c |    187731 |    1156   194072   507926 | 2147483647   187731     59 |  0.000 % |
115.69/115.84	c |    187989 |    1156   194072   507926 | 2147483647   187989     59 |  0.006 % |
115.99/116.15	c |    188275 |    1156   194072   507926 | 2147483647   188275     59 |  0.006 % |
116.40/116.51	c |    188585 |    1156   194072   507926 | 2147483647   188585     59 |  0.006 % |
116.69/116.89	c |    188925 |    1156   194072   507926 | 2147483647   188925     59 |  0.000 % |
117.19/117.36	c |    189299 |    1156   194072   507926 | 2147483647   189299     59 |  0.006 % |
117.69/117.84	c |    189708 |    1156   194072   507926 | 2147483647   189708     59 |  0.006 % |
118.10/118.25	c |    190159 |    1156   194072   507926 | 2147483647   190159     59 |  0.006 % |
118.61/118.78	c |    190652 |    1156   194072   507926 | 2147483647   190652     59 |  0.006 % |
119.20/119.34	c |    191194 |    1156   194072   507926 | 2147483647   191194     59 |  0.006 % |
119.70/119.89	c |    191792 |    1156   194072   507926 | 2147483647   191792     59 |  0.006 % |
120.40/120.55	c |    192447 |    1156   194072   507926 | 2147483647   192447     59 |  0.006 % |
121.10/121.29	c |    193167 |    1156   194072   507926 | 2147483647   193167     59 |  0.006 % |
122.00/122.10	c |    193960 |    1156   194072   507926 | 2147483647   193960     59 |  0.006 % |
123.00/123.19	c |    194831 |    1156   194072   507926 | 2147483647   194831     59 |  0.006 % |
124.39/124.50	c |    195791 |    1156   194072   507926 | 2147483647   195791     58 |  0.006 % |
125.49/125.65	c |    196844 |    1156   194072   507926 | 2147483647   196844     58 |  0.006 % |
126.99/127.16	c |    198003 |    1156   194072   507926 | 2147483647   198003     58 |  0.006 % |
128.49/128.61	c |    199276 |    1156   194072   507926 | 2147483647   199276     59 |  0.000 % |
130.29/130.44	c |    200678 |    1156   194072   507926 | 2147483647   200678     59 |  0.006 % |
131.99/132.17	c |    202224 |    1156   194072   507926 | 2147483647   202224     59 |  0.006 % |
134.10/134.26	c |    203918 |    1156   194072   507926 | 2147483647   203918     58 |  0.006 % |
136.59/136.78	c |    205781 |    1156   194072   507926 | 2147483647   205781     58 |  0.006 % |
139.29/139.45	c |    207830 |    1156   194072   507926 | 2147483647   207830     58 |  0.006 % |
139.49/139.60	c |    207931 |    1156   194072   507926 | 2147483647   207931     58 |  0.006 % |
139.59/139.72	c |    208042 |    1156   194072   507926 | 2147483647   208042     58 |  0.006 % |
139.69/139.85	c |    208163 |    1156   194072   507926 | 2147483647   208163     58 |  0.000 % |
139.89/140.01	c |    208297 |    1156   194072   507926 | 2147483647   208297     58 |  0.000 % |
139.99/140.19	c |    208443 |    1156   194072   507926 | 2147483647   208443     58 |  0.000 % |
140.19/140.38	c |    208605 |    1156   194072   507926 | 2147483647   208605     58 |  0.006 % |
140.49/140.60	c |    208782 |    1156   194072   507926 | 2147483647   208782     58 |  0.006 % |
140.69/140.85	c |    208977 |    1156   194072   507926 | 2147483647   208977     58 |  0.006 % |
140.99/141.14	c |    209190 |    1156   194072   507926 | 2147483647   209190     58 |  0.006 % |
141.29/141.43	c |    209425 |    1156   194072   507926 | 2147483647   209425     58 |  0.006 % |
141.59/141.73	c |    209682 |    1156   194072   507926 | 2147483647   209682     58 |  0.006 % |
141.99/142.10	c |    209964 |    1156   194072   507926 | 2147483647   209964     58 |  0.006 % |
142.28/142.40	c |    210273 |    1156   194072   507926 | 2147483647   210273     58 |  0.006 % |
142.58/142.75	c |    210612 |    1156   194072   507926 | 2147483647   210612     58 |  0.006 % |
142.98/143.18	c |    210984 |    1156   194072   507926 | 2147483647   210984     58 |  0.006 % |
143.58/143.73	c |    211394 |    1156   194072   507926 | 2147483647   211394     58 |  0.006 % |
144.18/144.38	c |    211847 |    1156   194072   507926 | 2147483647   211847     58 |  0.006 % |
144.88/145.04	c |    212342 |    1156   194072   507926 | 2147483647   212342     58 |  0.006 % |
145.48/145.65	c |    212884 |    1156   194072   507926 | 2147483647   212884     58 |  0.006 % |
146.28/146.41	c |    213481 |    1156   194072   507926 | 2147483647   213481     58 |  0.006 % |
146.98/147.11	c |    214137 |    1156   194072   507926 | 2147483647   214137     58 |  0.006 % |
147.78/147.93	c |    214858 |    1156   194072   507926 | 2147483647   214858     58 |  0.006 % |
148.68/148.86	c |    215652 |    1156   194072   507926 | 2147483647   215652     58 |  0.000 % |
149.88/150.08	c |    216524 |    1156   194072   507926 | 2147483647   216524     58 |  0.006 % |
151.18/151.30	c |    217487 |    1156   194072   507926 | 2147483647   217487     58 |  0.000 % |
152.38/152.53	c |    218542 |    1156   194072   507926 | 2147483647   218542     58 |  0.000 % |
153.68/153.88	c |    219702 |    1156   194072   507926 | 2147483647   219702     59 |  0.000 % |
155.07/155.27	c |    220975 |    1156   194072   507926 | 2147483647   220975     59 |  0.006 % |
156.88/157.05	c |    222376 |    1156   194072   507926 | 2147483647   222376     59 |  0.006 % |
158.88/159.01	c |    223916 |    1156   194072   507926 | 2147483647   223916     59 |  0.006 % |
160.88/161.05	c |    225610 |    1156   194072   507926 | 2147483647   225610     59 |  0.006 % |
163.17/163.39	c |    227476 |    1156   194072   507926 | 2147483647   227476     58 |  0.006 % |
165.88/166.10	c |    229525 |    1156   194072   507926 | 2147483647   229525     58 |  0.006 % |
168.77/168.93	c |    231778 |    1156   194072   507926 | 2147483647   231778     59 |  0.000 % |
168.87/169.06	c |    231880 |    1156   194072   507926 | 2147483647   231880     59 |  0.006 % |
168.97/169.20	c |    231991 |    1156   194072   507926 | 2147483647   231991     59 |  0.006 % |
169.18/169.38	c |    232113 |    1156   194072   507926 | 2147483647   232113     59 |  0.006 % |
169.37/169.57	c |    232248 |    1156   194072   507926 | 2147483647   232248     59 |  0.000 % |
169.57/169.79	c |    232396 |    1156   194072   507926 | 2147483647   232396     59 |  0.006 % |
169.87/170.03	c |    232557 |    1156   194072   507926 | 2147483647   232557     59 |  0.006 % |
170.07/170.24	c |    232733 |    1156   194072   507926 | 2147483647   232733     59 |  0.000 % |
170.28/170.43	c |    232928 |    1156   194072   507926 | 2147483647   232928     59 |  0.006 % |
170.57/170.72	c |    233140 |    1156   194072   507926 | 2147483647   233140     59 |  0.006 % |
170.87/171.06	c |    233373 |    1156   194072   507926 | 2147483647   233373     59 |  0.006 % |
171.27/171.44	c |    233629 |    1156   194072   507926 | 2147483647   233629     59 |  0.006 % |
171.67/171.82	c |    233912 |    1156   194072   507926 | 2147483647   233912     59 |  0.006 % |
172.07/172.26	c |    234222 |    1156   194072   507926 | 2147483647   234222     59 |  0.006 % |
172.58/172.77	c |    234561 |    1156   194072   507926 | 2147483647   234561     59 |  0.006 % |
173.17/173.37	c |    234936 |    1156   194072   507926 | 2147483647   234936     59 |  0.000 % |
173.68/173.81	c |    235349 |    1156   194072   507926 | 2147483647   235349     59 |  0.006 % |
174.07/174.30	c |    235800 |    1156   194072   507926 | 2147483647   235800     59 |  0.006 % |
174.78/174.94	c |    236295 |    1156   194072   507926 | 2147483647   236295     59 |  0.000 % |
175.47/175.68	c |    236837 |    1156   194072   507926 | 2147483647   236837     59 |  0.006 % |
176.27/176.48	c |    237433 |    1156   194072   507926 | 2147483647   237433     59 |  0.006 % |
177.17/177.38	c |    238088 |    1156   194072   507926 | 2147483647   238088     59 |  0.006 % |
177.97/178.11	c |    238809 |    1156   194072   507926 | 2147483647   238809     59 |  0.000 % |
179.27/179.47	c |    239602 |    1156   194072   507926 | 2147483647   239602     59 |  0.006 % |
180.47/180.65	c |    240478 |    1156   194072   507926 | 2147483647   240478     59 |  0.000 % |
181.97/182.13	c |    241439 |    1156   194072   507926 | 2147483647   241439     59 |  0.006 % |
183.67/183.88	c |    242497 |    1156   194072   507926 | 2147483647   242497     59 |  0.006 % |
185.37/185.51	c |    243656 |    1156   194072   507926 | 2147483647   243656     59 |  0.006 % |
187.07/187.28	c |    244934 |    1156   194072   507926 | 2147483647   244934     59 |  0.006 % |
189.07/189.30	c |    246336 |    1156   194072   507926 | 2147483647   246336     59 |  0.006 % |
191.17/191.34	c |    247878 |    1156   194072   507926 | 2147483647   247878     59 |  0.000 % |
193.56/193.78	c |    249573 |    1156   194072   507926 | 2147483647   249573     59 |  0.006 % |
196.56/196.71	c |    251436 |    1156   194072   507926 |   250000   221334     58 |  0.000 % |
199.36/199.52	c |    253485 |    1156   194072   507926 |   250000   223383     58 |  0.006 % |
202.06/202.26	c |    255739 |    1156   194072   507926 |   250000   225637     58 |  0.006 % |
205.26/205.48	c |    258217 |    1156   194072   507926 |   250000   228115     58 |  0.006 % |
205.46/205.63	c |    258320 |    1156   194072   507926 |   250000   228218     58 |  0.006 % |
205.65/205.80	c |    258431 |    1156   194072   507926 |   250000   228329     58 |  0.006 % |
205.85/206.04	c |    258555 |    1156   194072   507926 |   250000   228453     58 |  0.006 % |
206.05/206.24	c |    258688 |    1156   194072   507926 |   250000   228586     58 |  0.000 % |
206.25/206.45	c |    258834 |    1156   194072   507926 |   250000   228732     58 |  0.006 % |
206.45/206.61	c |    258994 |    1156   194072   507926 |   250000   228892     58 |  0.000 % |
206.66/206.89	c |    259170 |    1156   194072   507926 |   250000   229068     58 |  0.006 % |
207.05/207.20	c |    259368 |    1156   194072   507926 |   250000   229266     58 |  0.006 % |
207.35/207.56	c |    259581 |    1156   194072   507926 |   250000   229479     58 |  0.006 % |
207.66/207.87	c |    259814 |    1156   194072   507926 |   250000   229712     58 |  0.000 % |
208.05/208.26	c |    260072 |    1156   194072   507926 |   229898   229970     58 |  0.006 % |
208.76/208.99	c |    260356 |    1156   194072   507926 |   229898   206706     58 |  0.000 % |
209.15/209.37	c |    260666 |    1156   194072   507926 |   229898   207016     58 |  0.006 % |
209.65/209.87	c |    261005 |    1156   194072   507926 |   229898   207355     58 |  0.000 % |
210.15/210.32	c |    261377 |    1156   194072   507926 |   229898   207727     58 |  0.000 % |
210.65/210.84	c |    261788 |    1156   194072   507926 |   229898   208138     58 |  0.006 % |
211.25/211.42	c |    262238 |    1156   194072   507926 |   229898   208588     58 |  0.006 % |
211.95/212.17	c |    262733 |    1156   194072   507926 |   229898   209083     58 |  0.006 % |
212.75/212.90	c |    263280 |    1156   194072   507926 |   229898   209630     58 |  0.006 % |
213.65/213.86	c |    263878 |    1156   194072   507926 |   229898   210228     58 |  0.006 % |
214.65/214.83	c |    264537 |    1156   194072   507926 |   229898   210887     58 |  0.006 % |
215.45/215.66	c |    265259 |    1156   194072   507926 |   229898   211609     58 |  0.000 % |
216.45/216.69	c |    266055 |    1156   194072   507926 |   229898   212405     58 |  0.006 % |
217.75/217.94	c |    266927 |    1156   194072   507926 |   229898   213277     58 |  0.000 % |
219.05/219.23	c |    267886 |    1156   194072   507926 |   229898   214236     58 |  0.000 % |
220.55/220.72	c |    268940 |    1156   194072   507926 |   229898   215290     58 |  0.006 % |
222.15/222.35	c |    270099 |    1156   194072   507926 | 2147483647   216449     58 |  0.006 % |
223.95/224.11	c |    271372 |    1156   194072   507926 | 2147483647   217722     59 |  0.000 % |
226.04/226.22	c |    272773 |    1156   194072   507926 | 2147483647   219123     58 |  0.000 % |
228.14/228.35	c |    274318 |    1156   194072   507926 | 2147483647   220668     58 |  0.006 % |
230.75/230.98	c |    276016 |    1156   194072   507926 | 2147483647   222366     58 |  0.006 % |
232.95/233.19	c |    277879 |    1156   194072   507926 | 2147483647   224229     59 |  0.000 % |
235.54/235.77	c |    279932 |    1156   194072   507926 | 2147483647   226282     59 |  0.000 % |
238.54/238.72	c |    282185 |    1156   194072   507926 | 2147483647   228535     59 |  0.006 % |
242.04/242.27	c |    284665 |    1156   194072   507926 | 2147483647   231015     59 |  0.006 % |
245.84/246.02	c |    287394 |    1156   194072   507926 | 2147483647   233744     59 |  0.006 % |
245.94/246.19	c |    287495 |    1156   194072   507926 | 2147483647   233845     59 |  0.006 % |
246.14/246.40	c |    287606 |    1156   194072   507926 | 2147483647   233956     59 |  0.006 % |
246.44/246.62	c |    287727 |    1156   194072   507926 | 2147483647   234077     59 |  0.006 % |
246.63/246.82	c |    287861 |    1156   194072   507926 | 2147483647   234211     59 |  0.006 % |
246.83/247.07	c |    288010 |    1156   194072   507926 | 2147483647   234360     59 |  0.006 % |
247.03/247.29	c |    288171 |    1156   194072   507926 | 2147483647   234521     59 |  0.000 % |
247.34/247.56	c |    288348 |    1156   194072   507926 | 2147483647   234698     59 |  0.006 % |
247.63/247.83	c |    288543 |    1156   194072   507926 | 2147483647   234893     59 |  0.006 % |
247.93/248.10	c |    288755 |    1156   194072   507926 | 2147483647   235105     59 |  0.000 % |
248.23/248.43	c |    288988 |    1156   194072   507926 | 2147483647   235338     59 |  0.000 % |
248.64/248.80	c |    289244 |    1156   194072   507926 | 2147483647   235594     59 |  0.006 % |
249.04/249.22	c |    289527 |    1156   194072   507926 | 2147483647   235877     59 |  0.006 % |
249.45/249.69	c |    289837 |    1156   194072   507926 | 2147483647   236187     59 |  0.000 % |
249.94/250.12	c |    290176 |    1156   194072   507926 |   236352   236526     59 |  0.000 % |
250.84/251.00	c |    290555 |    1156   194072   507926 |   236352   208358     60 |  0.006 % |
251.34/251.53	c |    290964 |    1156   194072   507926 |   236352   208767     60 |  0.000 % |
251.94/252.12	c |    291413 |    1156   194072   507926 |   236352   209216     60 |  0.006 % |
252.54/252.71	c |    291907 |    1156   194072   507926 |   236352   209710     60 |  0.006 % |
253.34/253.55	c |    292449 |    1156   194072   507926 |   236352   210252     60 |  0.006 % |
254.24/254.45	c |    293047 |    1156   194072   507926 |   236352   210850     60 |  0.006 % |
254.94/255.20	c |    293703 |    1156   194072   507926 |   236352   211506     60 |  0.000 % |
256.24/256.40	c |    294424 |    1156   194072   507926 |   236352   212227     60 |  0.006 % |
257.34/257.57	c |    295216 |    1156   194072   507926 |   236352   213019     60 |  0.006 % |
258.64/258.85	c |    296088 |    1156   194072   507926 |   236352   213891     60 |  0.006 % |
259.84/260.04	c |    297048 |    1156   194072   507926 |   236352   214851     60 |  0.000 % |
261.14/261.39	c |    298102 |    1156   194072   507926 |   236352   215905     60 |  0.000 % |
262.74/262.93	c |    299262 |    1156   194072   507926 |   236352   217065     60 |  0.006 % |
265.03/265.20	c |    300535 |    1156   194072   507926 |   217803   194543     61 |  0.006 % |
266.93/267.17	c |    301935 |    1156   194072   507926 |   217803   195943     61 |  0.000 % |
269.03/269.23	c |    303476 |    1156   194072   507926 |   217803   197484     62 |  0.000 % |
271.54/271.79	c |    305171 |    1156   194072   507926 |   217803   199179     62 |  0.006 % |
274.33/274.55	c |    307035 |    1156   194072   507926 |   217803   201043     61 |  0.006 % |
277.63/277.84	c |    309084 |    1156   194072   507926 |   217803   203092     62 |  0.000 % |
281.23/281.45	c |    311339 |    1156   194072   507926 |   204009   184018     63 |  0.000 % |
284.83/285.07	c |    313818 |    1156   194072   507926 |   204009   186497     63 |  0.000 % |
289.03/289.28	c |    316543 |    1156   194072   507926 |   204009   189222     63 |  0.006 % |
293.32/293.57	c |    319540 |    1156   194072   507926 |   204009   192219     64 |  0.000 % |
293.53/293.74	c |    319641 |    1156   194072   507926 |   204009   192320     64 |  0.000 % |
293.72/293.93	c |    319751 |    1156   194072   507926 |   204009   192430     64 |  0.006 % |
293.92/294.12	c |    319872 |    1156   194072   507926 |   204009   192551     64 |  0.006 % |
294.12/294.33	c |    320005 |    1156   194072   507926 |   192681   192684     64 |  0.006 % |
294.63/294.86	c |    320151 |    1156   194072   507926 |   192681   170185     64 |  0.000 % |
294.92/295.11	c |    320315 |    1156   194072   507926 |   192681   170349     64 |  0.006 % |
295.12/295.39	c |    320493 |    1156   194072   507926 |   192681   170527     64 |  0.006 % |
295.42/295.65	c |    320686 |    1156   194072   507926 |   192681   170720     64 |  0.006 % |
295.82/296.03	c |    320900 |    1156   194072   507926 |   192681   170934     64 |  0.006 % |
296.22/296.47	c |    321133 |    1156   194072   507926 |   192681   171167     64 |  0.006 % |
296.62/296.83	c |    321391 |    1156   194072   507926 |   192681   171425     64 |  0.006 % |
297.02/297.28	c |    321672 |    1156   194072   507926 |   192681   171706     64 |  0.006 % |
297.52/297.73	c |    321983 |    1156   194072   507926 |   192681   172017     64 |  0.006 % |
298.02/298.27	c |    322323 |    1156   194072   507926 |   192681   172357     64 |  0.006 % |
298.62/298.85	c |    322706 |    1156   194072   507926 |   192681   172740     64 |  0.006 % |
299.22/299.44	c |    323118 |    1156   194072   507926 |   192681   173152     64 |  0.006 % |
299.82/300.05	c |    323568 |    1156   194072   507926 |   192681   173602     64 |  0.006 % |
300.52/300.70	c |    324062 |    1156   194072   507926 |   192681   174096     64 |  0.000 % |
301.22/301.40	c |    324605 |    1156   194072   507926 |   192681   174639     65 |  0.000 % |
302.22/302.42	c |    325204 |    1156   194072   507926 |   192681   175238     65 |  0.000 % |
303.32/303.53	c |    325861 |    1156   194072   507926 |   192681   175895     65 |  0.006 % |
304.32/304.60	c |    326582 |    1156   194072   507926 |   192681   176616     64 |  0.006 % |
305.42/305.62	c |    327374 |    1156   194072   507926 |   192681   177408     65 |  0.000 % |
306.82/307.02	c |    328245 |    1156   194072   507926 |   192681   178279     65 |  0.006 % |
308.22/308.40	c |    329204 |    1156   194072   507926 |   192681   179238     65 |  0.006 % |
309.72/309.94	c |    330257 |    1156   194072   507926 |   180034   180291     65 |  0.006 % |
311.71/311.92	c |    331415 |    1156   194072   507926 |   180034   160593     64 |  0.006 % |
313.81/314.05	c |    332690 |    1156   194072   507926 |   180034   161868     64 |  0.006 % |
316.01/316.21	c |    334090 |    1156   194072   507926 |   180034   163268     64 |  0.006 % |
318.01/318.24	c |    335630 |    1156   194072   507926 |   180034   164808     65 |  0.000 % |
320.31/320.51	c |    337327 |    1156   194072   507926 |   180034   166505     65 |  0.000 % |
323.01/323.25	c |    339190 |    1156   194072   507926 |   180034   168368     65 |  0.006 % |
326.41/326.63	c |    341239 |    1156   194072   507926 |   169178   150940     65 |  0.006 % |
329.60/329.88	c |    343492 |    1156   194072   507926 |   169178   153193     65 |  0.006 % |
333.11/333.33	c |    345971 |    1156   194072   507926 |   169178   155672     64 |  0.006 % |
337.00/337.28	c |    348699 |    1156   194072   507926 |   169178   158400     64 |  0.006 % |
341.81/342.08	c |    351698 |    1156   194072   507926 |   159703   141937     64 |  0.000 % |
346.90/347.19	c |    354994 |    1156   194072   507926 |   159703   145233     63 |  0.006 % |
347.10/347.35	c |    355094 |    1156   194072   507926 |   159703   145333     63 |  0.006 % |
347.30/347.51	c |    355207 |    1156   194072   507926 |   159703   145446     63 |  0.000 % |
347.40/347.69	c |    355328 |    1156   194072   507926 |   159703   145567     63 |  0.006 % |
347.70/347.90	c |    355463 |    1156   194072   507926 |   159703   145702     63 |  0.000 % |
347.90/348.15	c |    355609 |    1156   194072   507926 |   159703   145848     63 |  0.006 % |
348.10/348.38	c |    355771 |    1156   194072   507926 |   159703   146010     63 |  0.006 % |
348.40/348.66	c |    355947 |    1156   194072   507926 |   159703   146186     63 |  0.006 % |
348.70/348.91	c |    356143 |    1156   194072   507926 |   159703   146382     63 |  0.006 % |
348.90/349.19	c |    356357 |    1156   194072   507926 |   159703   146596     63 |  0.006 % |
349.30/349.52	c |    356590 |    1156   194072   507926 |   159703   146829     63 |  0.006 % |
349.70/349.90	c |    356847 |    1156   194072   507926 |   159703   147086     63 |  0.000 % |
350.10/350.38	c |    357134 |    1156   194072   507926 |   159703   147373     63 |  0.006 % |
350.60/350.86	c |    357444 |    1156   194072   507926 |   159703   147683     63 |  0.006 % |
351.10/351.32	c |    357785 |    1156   194072   507926 |   159703   148024     63 |  0.006 % |
351.70/351.96	c |    358161 |    1156   194072   507926 |   159703   148400     63 |  0.006 % |
352.40/352.62	c |    358571 |    1156   194072   507926 |   159703   148810     63 |  0.006 % |
352.90/353.13	c |    359021 |    1156   194072   507926 |   159703   149260     63 |  0.000 % |
353.59/353.81	c |    359514 |    1156   194072   507926 |   159703   149753     63 |  0.000 % |
354.19/354.50	c |    360058 |    1156   194072   507926 |   150242   150297     64 |  0.000 % |
355.29/355.52	c |    360655 |    1156   194072   507926 |   150242   134597     64 |  0.000 % |
356.10/356.36	c |    361310 |    1156   194072   507926 |   150242   135252     64 |  0.006 % |
357.20/357.41	c |    362032 |    1156   194072   507926 |   150242   135974     64 |  0.006 % |
358.09/358.33	c |    362826 |    1156   194072   507926 |   150242   136768     65 |  0.000 % |
359.39/359.65	c |    363698 |    1156   194072   507926 |   150242   137640     65 |  0.000 % |
360.60/360.90	c |    364659 |    1156   194072   507926 |   150242   138601     64 |  0.006 % |
362.20/362.49	c |    365712 |    1156   194072   507926 |   150242   139654     64 |  0.006 % |
363.70/363.92	c |    366871 |    1156   194072   507926 |   150242   140813     64 |  0.006 % |
365.70/365.94	c |    368146 |    1156   194072   507926 |   150242   142088     64 |  0.006 % |
368.00/368.30	c |    369548 |    1156   194072   507926 |   150242   143490     64 |  0.006 % |
370.20/370.41	c |    371090 |    1156   194072   507926 | 2147483647   145032     65 |  0.000 % |
372.50/372.76	c |    372785 |    1156   194072   507926 | 2147483647   146727     65 |  0.000 % |
375.19/375.46	c |    374651 |    1156   194072   507926 | 2147483647   148593     65 |  0.000 % |
378.49/378.72	c |    376703 |    1156   194072   507926 | 2147483647   150645     65 |  0.006 % |
382.29/382.53	c |    378960 |    1156   194072   507926 | 2147483647   152902     65 |  0.006 % |
387.09/387.31	c |    381438 |    1156   194072   507926 |   153944   137400     66 |  0.006 % |
391.39/391.64	c |    384165 |    1156   194072   507926 |   153944   140127     65 |  0.006 % |
395.79/396.00	c |    387164 |    1156   194072   507926 |   153944   143126     65 |  0.006 % |
400.48/400.74	c |    390461 |    1156   194072   507926 |   145963   146423     65 |  0.006 % |
406.48/406.79	c |    394086 |    1156   194072   507926 |   145963   131513     64 |  0.006 % |
406.69/406.96	c |    394186 |    1156   194072   507926 |   145963   131613     64 |  0.000 % |
406.88/407.12	c |    394301 |    1156   194072   507926 |   145963   131728     64 |  0.006 % |
407.08/407.32	c |    394422 |    1156   194072   507926 |   145963   131849     64 |  0.006 % |
407.28/407.54	c |    394555 |    1156   194072   507926 |   145963   131982     64 |  0.006 % |
407.48/407.76	c |    394701 |    1156   194072   507926 |   145963   132128     64 |  0.000 % |
407.79/408.04	c |    394863 |    1156   194072   507926 |   145963   132290     64 |  0.006 % |
407.98/408.27	c |    395042 |    1156   194072   507926 |   145963   132469     64 |  0.006 % |
408.28/408.51	c |    395236 |    1156   194072   507926 |   145963   132663     64 |  0.000 % |
408.48/408.79	c |    395449 |    1156   194072   507926 |   145963   132876     64 |  0.006 % |
408.78/409.07	c |    395682 |    1156   194072   507926 |   145963   133109     64 |  0.006 % |
409.28/409.50	c |    395939 |    1156   194072   507926 |   145963   133366     64 |  0.006 % |
409.68/409.91	c |    396221 |    1156   194072   507926 |   145963   133648     64 |  0.006 % |
410.08/410.32	c |    396530 |    1156   194072   507926 |   145963   133957     64 |  0.006 % |
410.58/410.85	c |    396872 |    1156   194072   507926 |   145963   134299     64 |  0.000 % |
411.18/411.48	c |    397244 |    1156   194072   507926 |   145963   134671     64 |  0.006 % |
411.78/412.07	c |    397656 |    1156   194072   507926 |   145963   135083     64 |  0.006 % |
412.38/412.69	c |    398105 |    1156   194072   507926 |   145963   135532     64 |  0.006 % |
412.98/413.21	c |    398598 |    1156   194072   507926 |   145963   136025     64 |  0.006 % |
413.58/413.84	c |    399145 |    1156   194072   507926 |   145963   136572     64 |  0.000 % |
414.38/414.66	c |    399742 |    1156   194072   507926 |   145963   137169     64 |  0.006 % |
415.48/415.72	c |    400400 |    1156   194072   507926 |   137428   137827     64 |  0.006 % |
416.78/417.03	c |    401120 |    1156   194072   507926 |   137428   122774     64 |  0.006 % |
417.88/418.11	c |    401915 |    1156   194072   507926 |   137428   123569     64 |  0.006 % |
418.97/419.28	c |    402787 |    1156   194072   507926 |   137428   124441     63 |  0.006 % |
420.37/420.64	c |    403746 |    1156   194072   507926 |   137428   125400     63 |  0.006 % |
421.77/422.02	c |    404799 |    1156   194072   507926 |   137428   126453     63 |  0.006 % |
423.47/423.72	c |    405957 |    1156   194072   507926 |   137428   127611     63 |  0.006 % |
425.27/425.57	c |    407231 |    1156   194072   507926 |   137428   128885     63 |  0.006 % |
427.58/427.81	c |    408633 |    1156   194072   507926 |   137428   130287     63 |  0.006 % |
429.77/430.01	c |    410174 |    1156   194072   507926 | 2147483647   131828     62 |  0.006 % |
432.67/432.92	c |    411868 |    1156   194072   507926 | 2147483647   133522     62 |  0.006 % |
435.67/435.92	c |    413732 |    1156   194072   507926 | 2147483647   135386     62 |  0.006 % |
438.77/439.03	c |    415785 |    1156   194072   507926 | 2147483647   137439     61 |  0.006 % |
442.16/442.43	c |    418039 |    1156   194072   507926 | 2147483647   139693     61 |  0.006 % |
444.96/445.25	c |    420518 |    1156   194072   507926 |   141656   142172     63 |  0.000 % |
448.47/448.70	c |    423245 |    1156   194072   507926 |   141656   129845     60 |  0.000 % |
452.66/452.98	c |    426243 |    1156   194072   507926 |   141656   132843     60 |  0.006 % |
457.16/457.49	c |    429540 |    1156   194072   507926 |   141656   136140     59 |  0.006 % |
462.15/462.43	c |    433168 |    1156   194072   507926 |   136603   125190     58 |  0.000 % |
467.65/467.96	c |    437158 |    1156   194072   507926 |   136603   129180     58 |  0.006 % |
467.85/468.10	c |    437258 |    1156   194072   507926 |   136603   129280     58 |  0.006 % |
467.95/468.22	c |    437371 |    1156   194072   507926 |   136603   129393     58 |  0.006 % |
468.05/468.40	c |    437492 |    1156   194072   507926 |   136603   129514     58 |  0.006 % |
468.25/468.58	c |    437625 |    1156   194072   507926 |   136603   129647     58 |  0.006 % |
468.45/468.78	c |    437771 |    1156   194072   507926 |   136603   129793     58 |  0.006 % |
468.75/469.02	c |    437931 |    1156   194072   507926 |   136603   129953     58 |  0.006 % |
468.95/469.21	c |    438108 |    1156   194072   507926 |   136603   130130     58 |  0.006 % |
469.25/469.53	c |    438303 |    1156   194072   507926 |   136603   130325     57 |  0.006 % |
469.45/469.79	c |    438518 |    1156   194072   507926 |   136603   130540     57 |  0.006 % |
469.85/470.13	c |    438751 |    1156   194072   507926 |   136603   130773     58 |  0.000 % |
470.15/470.43	c |    439008 |    1156   194072   507926 |   136603   131030     58 |  0.006 % |
470.45/470.79	c |    439290 |    1156   194072   507926 |   136603   131312     58 |  0.000 % |
470.95/471.20	c |    439604 |    1156   194072   507926 |   136603   131626     58 |  0.000 % |
471.35/471.65	c |    439944 |    1156   194072   507926 |   136603   131966     58 |  0.006 % |
471.85/472.16	c |    440317 |    1156   194072   507926 | 2147483647   132339     58 |  0.006 % |
472.45/472.71	c |    440726 |    1156   194072   507926 | 2147483647   132748     58 |  0.006 % |
473.05/473.31	c |    441176 |    1156   194072   507926 | 2147483647   133198     58 |  0.006 % |
473.65/473.94	c |    441669 |    1156   194072   507926 | 2147483647   133691     58 |  0.006 % |
474.35/474.66	c |    442213 |    1156   194072   507926 | 2147483647   134235     58 |  0.006 % |
475.15/475.42	c |    442812 |    1156   194072   507926 | 2147483647   134834     58 |  0.006 % |
475.95/476.26	c |    443467 |    1156   194072   507926 | 2147483647   135489     58 |  0.000 % |
476.85/477.16	c |    444189 |    1156   194072   507926 | 2147483647   136211     58 |  0.006 % |
477.95/478.20	c |    444981 |    1156   194072   507926 | 2147483647   137003     58 |  0.006 % |
479.15/479.48	c |    445853 |    1156   194072   507926 | 2147483647   137875     57 |  0.006 % |
480.65/480.93	c |    446815 |    1156   194072   507926 | 2147483647   138837     57 |  0.006 % |
481.95/482.28	c |    447868 |    1156   194072   507926 | 2147483647   139890     57 |  0.006 % |
483.45/483.76	c |    449031 |    1156   194072   507926 | 2147483647   141053     57 |  0.006 % |
485.05/485.32	c |    450305 |    1156   194072   507926 | 2147483647   142327     58 |  0.000 % |
486.74/487.03	c |    451705 |    1156   194072   507926 | 2147483647   143727     59 |  0.000 % |
488.94/489.26	c |    453246 |    1156   194072   507926 | 2147483647   145268     58 |  0.006 % |
491.64/491.94	c |    454942 |    1156   194072   507926 | 2147483647   146964     58 |  0.006 % |
494.54/494.82	c |    456807 |    1156   194072   507926 | 2147483647   148829     58 |  0.006 % |
497.94/498.26	c |    458858 |    1156   194072   507926 | 2147483647   150880     58 |  0.006 % |
502.24/502.50	c |    461111 |    1156   194072   507926 |   152022   137302     59 |  0.006 % |
505.74/506.07	c |    463589 |    1156   194072   507926 |   152022   139780     59 |  0.006 % |
509.83/510.15	c |    466317 |    1156   194072   507926 |   152022   142508     61 |  0.000 % |
514.03/514.32	c |    469314 |    1156   194072   507926 |   152022   145505     61 |  0.006 % |
518.63/518.95	c |    472613 |    1156   194072   507926 |   146191   130566     58 |  0.000 % |
523.63/523.93	c |    476239 |    1156   194072   507926 |   146191   134192     58 |  0.006 % |
529.74/530.07	c |    480226 |    1156   194072   507926 |   137954   138179     58 |  0.006 % |
536.83/537.12	c |    484613 |    1156   194072   507926 |   137954   125512     56 |  0.006 % |
536.93/537.28	c |    484713 |    1156   194072   507926 |   137954   125612     56 |  0.006 % |
537.13/537.44	c |    484824 |    1156   194072   507926 |   137954   125723     56 |  0.006 % |
537.23/537.59	c |    484948 |    1156   194072   507926 |   137954   125847     56 |  0.006 % |
537.43/537.78	c |    485082 |    1156   194072   507926 |   137954   125981     56 |  0.006 % |
537.64/537.97	c |    485228 |    1156   194072   507926 |   137954   126127     56 |  0.000 % |
537.83/538.18	c |    485388 |    1156   194072   507926 |   137954   126287     56 |  0.000 % |
538.03/538.38	c |    485567 |    1156   194072   507926 |   137954   126466     56 |  0.000 % |
538.33/538.61	c |    485760 |    1156   194072   507926 |   137954   126659     56 |  0.000 % |
538.53/538.89	c |    485972 |    1156   194072   507926 |   137954   126871     56 |  0.000 % |
538.93/539.21	c |    486206 |    1156   194072   507926 |   137954   127105     56 |  0.006 % |
539.23/539.53	c |    486462 |    1156   194072   507926 |   137954   127361     56 |  0.006 % |
539.63/539.92	c |    486743 |    1156   194072   507926 |   137954   127642     56 |  0.006 % |
539.93/540.29	c |    487054 |    1156   194072   507926 |   137954   127953     56 |  0.006 % |
540.43/540.73	c |    487398 |    1156   194072   507926 |   137954   128297     56 |  0.000 % |
540.83/541.16	c |    487770 |    1156   194072   507926 |   137954   128669     56 |  0.000 % |
541.33/541.65	c |    488180 |    1156   194072   507926 |   137954   129079     56 |  0.000 % |
541.93/542.27	c |    488630 |    1156   194072   507926 |   137954   129529     56 |  0.006 % |
542.63/542.95	c |    489124 |    1156   194072   507926 |   137954   130023     56 |  0.006 % |
543.33/543.65	c |    489667 |    1156   194072   507926 |   137954   130566     56 |  0.006 % |
544.03/544.36	c |    490263 |    1156   194072   507926 |   130902   131162     56 |  0.006 % |
544.93/545.22	c |    490920 |    1156   194072   507926 |   130902   118078     57 |  0.000 % |
545.93/546.29	c |    491643 |    1156   194072   507926 |   130902   118801     57 |  0.000 % |
547.13/547.44	c |    492442 |    1156   194072   507926 |   130902   119600     57 |  0.000 % |
548.53/548.81	c |    493314 |    1156   194072   507926 |   130902   120472     57 |  0.006 % |
549.83/550.10	c |    494274 |    1156   194072   507926 |   130902   121432     57 |  0.006 % |
551.13/551.48	c |    495329 |    1156   194072   507926 |   130902   122487     57 |  0.006 % |
552.83/553.17	c |    496488 |    1156   194072   507926 |   130902   123646     57 |  0.006 % |
554.62/554.98	c |    497762 |    1156   194072   507926 |   130902   124920     57 |  0.006 % |
556.42/556.79	c |    499165 |    1156   194072   507926 |   130902   126323     57 |  0.006 % |
558.72/559.05	c |    500707 |    1156   194072   507926 | 2147483647   127865     57 |  0.006 % |
561.52/561.81	c |    502403 |    1156   194072   507926 | 2147483647   129561     56 |  0.006 % |
564.12/564.44	c |    504267 |    1156   194072   507926 | 2147483647   131425     56 |  0.006 % |
566.72/567.09	c |    506318 |    1156   194072   507926 | 2147483647   133476     57 |  0.006 % |
569.42/569.70	c |    508571 |    1156   194072   507926 | 2147483647   135729     57 |  0.000 % |
572.82/573.19	c |    511049 |    1156   194072   507926 |   137159   124443     59 |  0.000 % |
577.61/577.92	c |    513774 |    1156   194072   507926 |   137159   127168     60 |  0.000 % |
581.41/581.75	c |    516777 |    1156   194072   507926 |   137159   130171     60 |  0.000 % |
586.41/586.70	c |    520073 |    1156   194072   507926 |   133394   133467     60 |  0.006 % |
591.01/591.36	c |    523698 |    1156   194072   507926 |   133394   123593     61 |  0.000 % |
597.01/597.31	c |    527687 |    1156   194072   507926 |   133394   127582     61 |  0.000 % |
604.21/604.58	c |    532073 |    1156   194072   507926 |   129895   116166     59 |  0.006 % |
611.40/611.75	c |    536896 |    1156   194072   507926 |   129895   120989     61 |  0.000 % |
611.50/611.89	c |    536997 |    1156   194072   507926 |   129895   121090     61 |  0.000 % |
611.70/612.06	c |    537109 |    1156   194072   507926 |   129895   121202     61 |  0.006 % |
611.90/612.21	c |    537232 |    1156   194072   507926 |   129895   121325     61 |  0.006 % |
612.10/612.41	c |    537365 |    1156   194072   507926 |   129895   121458     61 |  0.006 % |
612.31/612.60	c |    537515 |    1156   194072   507926 |   129895   121608     61 |  0.006 % |
612.50/612.83	c |    537676 |    1156   194072   507926 |   129895   121769     61 |  0.000 % |
612.70/613.06	c |    537852 |    1156   194072   507926 |   129895   121945     61 |  0.000 % |
613.10/613.43	c |    538045 |    1156   194072   507926 |   129895   122138     61 |  0.006 % |
613.41/613.74	c |    538257 |    1156   194072   507926 |   129895   122350     61 |  0.000 % |
613.70/614.08	c |    538492 |    1156   194072   507926 |   129895   122585     61 |  0.006 % |
614.20/614.53	c |    538751 |    1156   194072   507926 |   129895   122844     61 |  0.006 % |
614.61/614.99	c |    539035 |    1156   194072   507926 |   129895   123128     61 |  0.006 % |
615.20/615.52	c |    539346 |    1156   194072   507926 |   129895   123439     61 |  0.000 % |
615.60/615.95	c |    539686 |    1156   194072   507926 |   129895   123779     61 |  0.006 % |
616.10/616.47	c |    540059 |    1156   194072   507926 |   124098   124152     61 |  0.006 % |
616.80/617.19	c |    540470 |    1156   194072   507926 |   124098   108176     60 |  0.000 % |
617.50/617.85	c |    540924 |    1156   194072   507926 |   124098   108630     61 |  0.000 % |
618.20/618.54	c |    541418 |    1156   194072   507926 |   124098   109124     61 |  0.006 % |
619.00/619.35	c |    541960 |    1156   194072   507926 |   124098   109666     60 |  0.006 % |
619.90/620.29	c |    542558 |    1156   194072   507926 |   124098   110264     60 |  0.006 % |
620.80/621.13	c |    543214 |    1156   194072   507926 |   124098   110920     61 |  0.000 % |
621.80/622.18	c |    543934 |    1156   194072   507926 |   124098   111640     61 |  0.006 % |
622.80/623.17	c |    544727 |    1156   194072   507926 |   124098   112433     61 |  0.006 % |
624.00/624.32	c |    545599 |    1156   194072   507926 |   124098   113305     61 |  0.006 % |
625.09/625.45	c |    546559 |    1156   194072   507926 |   124098   114265     61 |  0.000 % |
626.19/626.53	c |    547612 |    1156   194072   507926 |   124098   115318     62 |  0.000 % |
627.80/628.19	c |    548772 |    1156   194072   507926 |   124098   116478     62 |  0.006 % |
629.59/629.99	c |    550046 |    1156   194072   507926 |   117706   117752     62 |  0.000 % |
631.59/631.95	c |    551447 |    1156   194072   507926 |   117706   106323     62 |  0.000 % |
633.59/633.96	c |    552988 |    1156   194072   507926 |   117706   107864     62 |  0.006 % |
635.79/636.13	c |    554682 |    1156   194072   507926 |   117706   109558     62 |  0.000 % |
638.39/638.73	c |    556546 |    1156   194072   507926 |   117706   111422     62 |  0.006 % |
640.99/641.36	c |    558597 |    1156   194072   507926 |   117706   113473     63 |  0.000 % |
644.19/644.51	c |    560855 |    1156   194072   507926 |   114880   104056     66 |  0.000 % |
647.68/648.05	c |    563333 |    1156   194072   507926 |   114880   106534     67 |  0.006 % |
651.99/652.36	c |    566061 |    1156   194072   507926 |   114880   109262     66 |  0.006 % |
656.18/656.54	c |    569060 |    1156   194072   507926 |   114880   112261     69 |  0.000 % |
661.68/662.08	c |    572356 |    1156   194072   507926 |   113202   102476     74 |  0.000 % |
666.98/667.36	c |    575981 |    1156   194072   507926 |   113202   106101     73 |  0.000 % |
673.17/673.51	c |    579969 |    1156   194072   507926 |   113202   110089     72 |  0.000 % |
680.47/680.81	c |    584355 |    1156   194072   507926 |   110124    99921     75 |  0.006 % |
688.07/688.46	c |    589181 |    1156   194072   507926 |   110124   104747     73 |  0.000 % |
696.26/696.60	c |    594486 |    1156   194072   507926 |   105566    95353     70 |  0.006 % |
696.36/696.77	c |    594588 |    1156   194072   507926 |   105566    95455     70 |  0.006 % |
696.56/696.90	c |    594699 |    1156   194072   507926 |   105566    95566     70 |  0.000 % |
696.66/697.07	c |    594822 |    1156   194072   507926 |   105566    95689     70 |  0.000 % |
696.86/697.29	c |    594962 |    1156   194072   507926 |   105566    95829     70 |  0.006 % |
697.16/697.51	c |    595108 |    1156   194072   507926 |   105566    95975     70 |  0.006 % |
697.36/697.74	c |    595269 |    1156   194072   507926 |   105566    96136     70 |  0.006 % |
697.56/697.97	c |    595445 |    1156   194072   507926 |   105566    96312     70 |  0.006 % |
697.86/698.21	c |    595638 |    1156   194072   507926 |   105566    96505     70 |  0.006 % |
698.07/698.49	c |    595853 |    1156   194072   507926 |   105566    96720     70 |  0.006 % |
698.46/698.85	c |    596088 |    1156   194072   507926 |   105566    96955     70 |  0.006 % |
698.86/699.24	c |    596344 |    1156   194072   507926 |   105566    97211     70 |  0.000 % |
699.27/699.66	c |    596625 |    1156   194072   507926 |   105566    97492     70 |  0.000 % |
699.66/700.03	c |    596936 |    1156   194072   507926 |   105566    97803     70 |  0.000 % |
700.16/700.56	c |    597278 |    1156   194072   507926 |   105566    98145     70 |  0.006 % |
700.66/701.00	c |    597650 |    1156   194072   507926 |   105566    98517     70 |  0.006 % |
701.16/701.58	c |    598059 |    1156   194072   507926 |   105566    98926     70 |  0.006 % |
701.86/702.29	c |    598508 |    1156   194072   507926 |   105566    99375     70 |  0.000 % |
702.66/703.02	c |    599003 |    1156   194072   507926 |   105566    99870     70 |  0.000 % |
703.26/703.64	c |    599548 |    1156   194072   507926 |   105566   100415     71 |  0.000 % |
704.16/704.51	c |    600145 |    1156   194072   507926 |   100867   101012     71 |  0.000 % |
705.06/705.42	c |    600800 |    1156   194072   507926 |   100867    89750     71 |  0.006 % |
706.06/706.41	c |    601523 |    1156   194072   507926 |   100867    90473     71 |  0.006 % |
707.16/707.58	c |    602315 |    1156   194072   507926 |   100867    91265     72 |  0.000 % |
708.56/708.90	c |    603189 |    1156   194072   507926 |   100867    92139     71 |  0.006 % |
709.96/710.39	c |    604150 |    1156   194072   507926 |   100867    93100     71 |  0.006 % |
711.66/712.01	c |    605206 |    1156   194072   507926 |   100867    94156     71 |  0.000 % |
713.66/714.06	c |    606366 |    1156   194072   507926 |   100867    95316     70 |  0.006 % |
715.76/716.20	c |    607641 |    1156   194072   507926 |   100867    96591     70 |  0.006 % |
718.35/718.73	c |    609041 |    1156   194072   507926 |   100867    97991     70 |  0.006 % |
720.75/721.13	c |    610583 |    1156   194072   507926 |    98951    88441     70 |  0.000 % |
723.15/723.58	c |    612278 |    1156   194072   507926 |    98951    90136     71 |  0.000 % |
725.95/726.33	c |    614141 |    1156   194072   507926 |    98951    91999     71 |  0.000 % |
728.65/729.01	c |    616190 |    1156   194072   507926 |    98951    94048     71 |  0.006 % |
732.05/732.45	c |    618443 |    1156   194072   507926 |    98951    96301     71 |  0.006 % |
736.15/736.54	c |    620921 |    1156   194072   507926 |    97860    87808     69 |  0.006 % |
740.04/740.47	c |    623646 |    1156   194072   507926 |    97860    90533     68 |  0.006 % |
744.36/744.78	c |    626643 |    1156   194072   507926 |    97860    93530     68 |  0.006 % |
749.85/750.22	c |    629943 |    1156   194072   507926 |    97860    96830     67 |  0.006 % |
754.55/754.99	c |    633569 |    1156   194072   507926 |    96892    88674     61 |  0.006 % |
759.15/759.54	c |    637559 |    1156   194072   507926 |    96892    92664     63 |  0.000 % |
764.84/765.26	c |    641944 |    1155   193742   507070 |    95105    86173     60 |  0.087 % |
770.75/771.16	c |    646768 |    1155   193742   507070 |    95105    90997     60 |  0.092 % |
778.04/778.44	c |    652074 |    1155   193742   507070 | 2147483647    96303     59 |  0.092 % |
786.04/786.41	c |    657913 |    1155   193742   507070 | 2147483647   102142     62 |  0.087 % |
786.14/786.59	c |    658014 |    1155   193742   507070 | 2147483647   102243     62 |  0.093 % |
786.33/786.76	c |    658125 |    1155   193742   507070 | 2147483647   102354     62 |  0.087 % |
786.53/786.93	c |    658249 |    1155   193742   507070 | 2147483647   102478     62 |  0.087 % |
786.73/787.14	c |    658383 |    1155   193742   507070 | 2147483647   102612     62 |  0.093 % |
786.93/787.36	c |    658531 |    1155   193742   507070 | 2147483647   102760     62 |  0.092 % |
787.14/787.57	c |    658691 |    1155   193742   507070 | 2147483647   102920     62 |  0.087 % |
787.33/787.78	c |    658867 |    1155   193742   507070 | 2147483647   103096     62 |  0.093 % |
787.63/788.02	c |    659060 |    1155   193742   507070 | 2147483647   103289     62 |  0.087 % |
787.83/788.30	c |    659275 |    1155   193742   507070 | 2147483647   103504     62 |  0.087 % |
788.24/788.66	c |    659510 |    1155   193742   507070 | 2147483647   103739     62 |  0.087 % |
788.63/789.04	c |    659766 |    1155   193742   507070 | 2147483647   103995     63 |  0.087 % |
789.03/789.48	c |    660050 |    1155   193742   507070 |   104229   104279     63 |  0.092 % |
789.63/790.01	c |    660359 |    1155   193742   507070 |   104229    93064     64 |  0.087 % |
790.03/790.46	c |    660701 |    1155   193742   507070 |   104229    93406     64 |  0.092 % |
790.43/790.87	c |    661073 |    1155   193742   507070 |   104229    93778     64 |  0.092 % |
790.93/791.36	c |    661482 |    1155   193742   507070 |   104229    94187     65 |  0.087 % |
791.53/791.99	c |    661932 |    1155   193742   507070 |   104229    94637     65 |  0.092 % |
792.23/792.66	c |    662425 |    1155   193742   507070 |   104229    95130     65 |  0.092 % |
792.93/793.33	c |    662967 |    1155   193742   507070 |   104229    95672     65 |  0.092 % |
793.63/794.00	c |    663563 |    1155   193742   507070 |   104229    96268     64 |  0.092 % |
794.43/794.88	c |    664219 |    1155   193742   507070 |   104229    96924     65 |  0.087 % |
795.33/795.77	c |    664939 |    1155   193742   507070 |   104229    97644     65 |  0.092 % |
796.33/796.79	c |    665735 |    1155   193742   507070 |   104229    98440     65 |  0.092 % |
797.42/797.83	c |    666609 |    1155   193742   507070 |   104229    99314     65 |  0.092 % |
798.83/799.28	c |    667569 |    1155   193742   507070 |   104229   100274     65 |  0.092 % |
800.52/800.99	c |    668622 |    1155   193742   507070 |   104229   101327     66 |  0.087 % |
802.32/802.71	c |    669781 |    1155   193742   507070 |   104229   102486     65 |  0.092 % |
804.22/804.64	c |    671054 |    1155   193742   507070 | 2147483647   103759     65 |  0.092 % |
806.22/806.63	c |    672454 |    1155   193742   507070 | 2147483647   105159     66 |  0.087 % |
808.32/808.80	c |    673994 |    1155   193742   507070 | 2147483647   106699     66 |  0.092 % |
811.32/811.72	c |    675689 |    1155   193742   507070 | 2147483647   108394     66 |  0.092 % |
814.42/814.90	c |    677554 |    1155   193742   507070 | 2147483647   110259     65 |  0.093 % |
817.12/817.56	c |    679606 |    1155   193742   507070 | 2147483647   112311     67 |  0.087 % |
820.71/821.19	c |    681861 |    1155   193742   507070 |   112710    99683     65 |  0.087 % |
824.41/824.88	c |    684339 |    1155   193742   507070 |   112710   102161     64 |  0.093 % |
828.51/828.90	c |    687064 |    1155   193742   507070 |   112710   104886     64 |  0.093 % |
832.41/832.89	c |    690062 |    1155   193742   507070 |   107822   107884     65 |  0.087 % |
836.51/836.94	c |    693358 |    1155   193742   507070 |   107822    97423     67 |  0.087 % |
841.81/842.25	c |    696984 |    1155   193742   507070 |   107822   101049     67 |  0.092 % |
848.21/848.65	c |    700971 |    1155   193742   507070 |   104065    92927     68 |  0.092 % |
854.60/855.02	c |    705357 |    1155   193742   507070 |   104065    97313     68 |  0.093 % |
861.50/861.93	c |    710180 |    1155   193742   507070 |   101956   102136     67 |  0.092 % |
869.80/870.24	c |    715486 |    1155   193742   507070 |   101956    95659     63 |  0.092 % |
878.69/879.14	c |    721321 |    1155   193742   507070 |   100175    88913     60 |  0.092 % |
888.59/889.07	c |    727739 |    1155   193742   507070 |   100175    95331     59 |  0.092 % |
888.79/889.24	c |    727842 |    1155   193742   507070 |   100175    95434     59 |  0.092 % |
888.99/889.43	c |    727954 |    1155   193742   507070 |   100175    95546     59 |  0.092 % |
889.09/889.55	c |    728076 |    1155   193742   507070 |   100175    95668     59 |  0.092 % |
889.29/889.75	c |    728211 |    1155   193742   507070 |   100175    95803     59 |  0.087 % |
889.49/889.93	c |    728357 |    1155   193742   507070 |   100175    95949     59 |  0.093 % |
889.69/890.16	c |    728521 |    1155   193742   507070 |   100175    96113     59 |  0.092 % |
889.99/890.42	c |    728701 |    1155   193742   507070 |   100175    96293     60 |  0.087 % |
890.19/890.65	c |    728895 |    1155   193742   507070 |   100175    96487     60 |  0.092 % |
890.49/890.91	c |    729107 |    1155   193742   507070 |   100175    96699     60 |  0.092 % |
890.79/891.27	c |    729341 |    1155   193742   507070 |   100175    96933     60 |  0.092 % |
891.19/891.66	c |    729598 |    1155   193742   507070 |   100175    97190     59 |  0.092 % |
891.59/892.02	c |    729881 |    1155   193742   507070 |   100175    97473     60 |  0.087 % |
891.89/892.37	c |    730195 |    1155   193742   507070 |    97593    97787     60 |  0.087 % |
892.49/892.90	c |    730538 |    1155   193742   507070 |    97593    86590     57 |  0.092 % |
892.99/893.42	c |    730911 |    1155   193742   507070 |    97593    86963     57 |  0.087 % |
893.39/893.88	c |    731320 |    1155   193742   507070 |    97593    87372     57 |  0.092 % |
893.99/894.44	c |    731770 |    1155   193742   507070 |    97593    87822     57 |  0.093 % |
894.49/894.99	c |    732266 |    1155   193742   507070 |    97593    88318     57 |  0.093 % |
895.18/895.61	c |    732809 |    1155   193742   507070 |    97593    88861     57 |  0.093 % |
895.88/896.38	c |    733406 |    1155   193742   507070 |    97593    89458     57 |  0.092 % |
896.98/897.42	c |    734062 |    1155   193742   507070 |    97593    90114     57 |  0.093 % |
897.88/898.30	c |    734782 |    1155   193742   507070 |    97593    90834     57 |  0.087 % |
898.88/899.33	c |    735575 |    1155   193742   507070 |    97593    91627     57 |  0.092 % |
899.98/900.49	c |    736446 |    1155   193742   507070 |    97593    92498     58 |  0.087 % |
901.28/901.78	c |    737405 |    1155   193742   507070 |    97593    93457     58 |  0.092 % |
902.68/903.18	c |    738458 |    1155   193742   507070 |    97593    94510     58 |  0.092 % |
904.48/904.90	c |    739616 |    1155   193742   507070 |    97593    95668     58 |  0.092 % |
906.38/906.85	c |    740889 |    1155   193742   507070 | 2147483647    96941     58 |  0.092 % |
908.58/909.04	c |    742292 |    1155   193742   507070 | 2147483647    98344     58 |  0.092 % |
910.58/911.06	c |    743833 |    1155   193742   507070 | 2147483647    99885     58 |  0.092 % |
912.98/913.46	c |    745528 |    1155   193742   507070 | 2147483647   101580     58 |  0.092 % |
915.47/915.93	c |    747391 |    1155   193742   507070 | 2147483647   103443     59 |  0.087 % |
918.27/918.73	c |    749443 |    1155   193742   507070 | 2147483647   105495     59 |  0.092 % |
921.18/921.64	c |    751698 |    1155   193742   507070 | 2147483647   107750     59 |  0.092 % |
924.38/924.81	c |    754176 |    1155   193742   507070 | 2147483647   110228     59 |  0.092 % |
928.28/928.78	c |    756904 |    1155   193742   507070 | 2147483647   112956     58 |  0.092 % |
932.57/933.00	c |    759901 |    1155   193742   507070 | 2147483647   115953     58 |  0.092 % |
937.67/938.16	c |    763197 |    1155   193742   507070 |   116053   106586     55 |  0.092 % |
943.37/943.84	c |    766822 |    1155   193742   507070 |   116053   110211     56 |  0.092 % |
949.97/950.42	c |    770809 |    1155   193742   507070 |   113390   100382     50 |  0.092 % |
957.07/957.58	c |    775195 |    1155   193742   507070 |   113390   104768     50 |  0.092 % |
964.96/965.41	c |    780019 |    1155   193742   507070 |   109573   109592     50 |  0.092 % |
971.76/972.24	c |    785324 |    1155   193742   507070 |   109573   100528     53 |  0.087 % |
979.26/979.77	c |    791159 |    1155   193742   507070 |   105206    94626     56 |  0.092 % |
988.15/988.67	c |    797579 |    1155   193742   507070 |   105206   101046     57 |  0.092 % |
998.05/998.50	c |    804640 |    1155   193742   507070 |   103467    96705     61 |  0.087 % |
998.15/998.63	c |    804740 |    1155   193742   507070 |   103467    96805     61 |  0.092 % |
998.25/998.77	c |    804851 |    1155   193742   507070 |   103467    96916     61 |  0.092 % |
998.45/998.96	c |    804973 |    1155   193742   507070 |   103467    97038     61 |  0.092 % |
998.65/999.19	c |    805106 |    1155   193742   507070 |   103467    97171     61 |  0.092 % |
998.95/999.44	c |    805253 |    1155   193742   507070 |   103467    97318     61 |  0.092 % |
999.25/999.72	c |    805415 |    1155   193742   507070 |   103467    97480     61 |  0.092 % |
999.45/999.98	c |    805593 |    1155   193742   507070 |   103467    97658     61 |  0.092 % |
999.75/1000.23	c |    805788 |    1155   193742   507070 |   103467    97853     61 |  0.087 % |
1000.05/1000.52	c |    806001 |    1155   193742   507070 |   103467    98066     62 |  0.087 % |
1000.35/1000.81	c |    806234 |    1155   193742   507070 |   103467    98299     62 |  0.087 % |
1000.65/1001.16	c |    806492 |    1155   193742   507070 |   103467    98557     62 |  0.092 % |
1001.05/1001.52	c |    806775 |    1155   193742   507070 |   103467    98840     62 |  0.092 % |
1001.45/1001.98	c |    807084 |    1155   193742   507070 |   103467    99149     62 |  0.093 % |
1001.85/1002.38	c |    807423 |    1155   193742   507070 |   103467    99488     62 |  0.087 % |
1002.45/1002.93	c |    807798 |    1155   193742   507070 |   103467    99863     62 |  0.087 % |
1002.95/1003.45	c |    808209 |    1155   193742   507070 |   103467   100274     62 |  0.092 % |
1003.55/1004.06	c |    808659 |    1155   193742   507070 |   103467   100724     62 |  0.087 % |
1004.35/1004.83	c |    809153 |    1155   193742   507070 |   103467   101218     62 |  0.092 % |
1004.95/1005.48	c |    809695 |    1155   193742   507070 |   103467   101760     61 |  0.092 % |
1005.74/1006.20	c |    810291 |    1155   193742   507070 |   102067   102356     61 |  0.092 % |
1006.64/1007.11	c |    810946 |    1155   193742   507070 |   102067    91608     61 |  0.093 % |
1007.54/1008.02	c |    811666 |    1155   193742   507070 |   102067    92328     61 |  0.092 % |
1008.64/1009.12	c |    812459 |    1155   193742   507070 |   102067    93121     61 |  0.092 % |
1009.84/1010.33	c |    813330 |    1155   193742   507070 |   102067    93992     61 |  0.092 % |
1011.24/1011.73	c |    814288 |    1155   193742   507070 |   102067    94950     61 |  0.092 % |
1012.64/1013.16	c |    815341 |    1155   193742   507070 |   102067    96003     61 |  0.092 % |
1014.24/1014.75	c |    816501 |    1155   193742   507070 |   102067    97163     61 |  0.092 % |
1015.64/1016.16	c |    817774 |    1155   193742   507070 |   102067    98436     63 |  0.087 % |
1017.44/1017.97	c |    819174 |    1155   193742   507070 |   102067    99836     63 |  0.087 % |
1019.53/1020.06	c |    820715 |    1155   193742   507070 | 2147483647   101377     63 |  0.087 % |
1021.83/1022.40	c |    822409 |    1155   193742   507070 | 2147483647   103071     62 |  0.092 % |
1024.93/1025.42	c |    824274 |    1155   193742   507070 | 2147483647   104936     62 |  0.092 % |
1027.73/1028.20	c |    826324 |    1155   193742   507070 | 2147483647   106986     62 |  0.093 % |
1031.03/1031.58	c |    828577 |    1155   193742   507070 | 2147483647   109239     62 |  0.092 % |
1034.33/1034.89	c |    831055 |    1155   193742   507070 |   110663    98462     64 |  0.087 % |
1038.13/1038.66	c |    833782 |    1155   193742   507070 |   110663   101189     66 |  0.087 % |
1042.72/1043.20	c |    836782 |    1155   193742   507070 |   110663   104189     66 |  0.092 % |
1047.43/1047.98	c |    840078 |    1155   193742   507070 |   107407   107485     66 |  0.093 % |
1052.93/1053.43	c |    843703 |    1155   193742   507070 |   107407    96682     69 |  0.087 % |
1058.83/1059.36	c |    847690 |    1155   193742   507070 |   107407   100669     69 |  0.093 % |
1065.33/1065.81	c |    852076 |    1155   193742   507070 |   102981    91315     68 |  0.093 % |
1072.42/1072.97	c |    856899 |    1155   193742   507070 |   102981    96138     71 |  0.087 % |
1082.32/1082.82	c |    862204 |    1155   193742   507070 |    99249    87670     68 |  0.092 % |
1093.41/1093.91	c |    868041 |    1155   193742   507070 |    99249    93507     66 |  0.092 % |
1102.21/1102.71	c |    874459 |    1155   193742   507070 |    95468    86315     69 |  0.087 % |
1113.40/1113.92	c |    881518 |    1155   193742   507070 |    91856    80478     69 |  0.087 % |
1124.60/1125.10	c |    889283 |    1155   193742   507070 |    91856    88243     72 |  0.087 % |
1124.70/1125.24	c |    889383 |    1155   193742   507070 |    91856    88343     72 |  0.092 % |
1124.90/1125.41	c |    889496 |    1155   193742   507070 |    91856    88456     72 |  0.092 % |
1125.00/1125.57	c |    889618 |    1155   193742   507070 |    91856    88578     72 |  0.092 % |
1125.20/1125.76	c |    889751 |    1155   193742   507070 |    91856    88711     72 |  0.092 % |
1125.40/1125.98	c |    889897 |    1155   193742   507070 |    91856    88857     72 |  0.093 % |
1125.70/1126.23	c |    890057 |    1155   193742   507070 |    88963    89017     72 |  0.092 % |
1126.00/1126.53	c |    890233 |    1155   193742   507070 |    88963    76832     68 |  0.087 % |
1126.20/1126.75	c |    890426 |    1155   193742   507070 |    88963    77025     68 |  0.087 % |
1126.50/1127.08	c |    890643 |    1155   193742   507070 |    88963    77242     68 |  0.087 % |
1126.90/1127.45	c |    890877 |    1155   193742   507070 |    88963    77476     68 |  0.092 % |
1127.30/1127.85	c |    891138 |    1155   193742   507070 |    88963    77737     68 |  0.092 % |
1127.80/1128.30	c |    891419 |    1155   193742   507070 |    88963    78018     68 |  0.087 % |
1128.20/1128.72	c |    891728 |    1155   193742   507070 |    88963    78327     68 |  0.092 % |
1128.70/1129.22	c |    892069 |    1155   193742   507070 |    88963    78668     67 |  0.092 % |
1129.20/1129.70	c |    892441 |    1155   193742   507070 |    88963    79040     68 |  0.087 % |
1129.69/1130.28	c |    892850 |    1155   193742   507070 |    88963    79449     68 |  0.093 % |
1130.39/1130.94	c |    893300 |    1155   193742   507070 |    88963    79899     68 |  0.093 % |
1131.09/1131.63	c |    893793 |    1155   193742   507070 |    88963    80392     67 |  0.093 % |
1131.89/1132.44	c |    894339 |    1155   193742   507070 |    88963    80938     67 |  0.093 % |
1132.69/1133.21	c |    894935 |    1155   193742   507070 |    88963    81534     67 |  0.093 % |
1133.60/1134.14	c |    895591 |    1155   193742   507070 |    88963    82190     67 |  0.093 % |
1134.49/1135.00	c |    896313 |    1155   193742   507070 |    88963    82912     67 |  0.087 % |
1135.59/1136.13	c |    897105 |    1155   193742   507070 |    88963    83704     67 |  0.087 % |
1136.89/1137.46	c |    897976 |    1155   193742   507070 |    88963    84575     67 |  0.092 % |
1138.19/1138.71	c |    898934 |    1155   193742   507070 |    88963    85533     67 |  0.092 % |
1139.39/1139.93	c |    899988 |    1155   193742   507070 |    88963    86587     67 |  0.087 % |
1140.99/1141.54	c |    901146 |    1155   193742   507070 |    86600    79033     65 |  0.093 % |
1142.39/1142.95	c |    902420 |    1155   193742   507070 |    86600    80307     65 |  0.093 % |
1144.09/1144.69	c |    903820 |    1155   193742   507070 |    86600    81707     65 |  0.093 % |
1146.18/1146.72	c |    905361 |    1155   193742   507070 |    86600    83248     64 |  0.092 % |
1148.38/1148.99	c |    907056 |    1155   193742   507070 |    86600    84943     64 |  0.087 % |
1150.78/1151.35	c |    908921 |    1155   193742   507070 |    86600    86808     66 |  0.087 % |
1153.39/1153.94	c |    910971 |    1155   193742   507070 | 2147483647    80178     63 |  0.092 % |
1155.98/1156.57	c |    913225 |    1155   193742   507070 | 2147483647    82432     63 |  0.092 % |
1159.28/1159.81	c |    915703 |    1155   193742   507070 | 2147483647    84910     63 |  0.092 % |
1162.58/1163.15	c |    918429 |    1155   193742   507070 | 2147483647    87636     63 |  0.093 % |
1166.27/1166.85	c |    921426 |    1155   193742   507070 | 2147483647    90633     62 |  0.092 % |
1171.07/1171.65	c |    924722 |    1155   193742   507070 | 2147483647    93929     62 |  0.092 % |
1175.97/1176.60	c |    928349 |    1155   193742   507070 | 2147483647    97556     62 |  0.092 % |
1181.77/1182.32	c |    932344 |    1155   193742   507070 | 2147483647   101551     61 |  0.092 % |
1187.77/1188.33	c |    936735 |    1155   193742   507070 | 2147483647   105942     61 |  0.092 % |
1195.07/1195.67	c |    941560 |    1155   193742   507070 |   109209    98073     59 |  0.092 % |

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-1832113-1242769185/watcher-1832113-1242769185 -o /tmp/evaluation-result-1832113-1242769185/solver-1832113-1242769185 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832113-1242769185.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304951532 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 253307355218 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/14190/statm: 1339 235 195 169 0 50 0
[pid=14191] ppid=14190 vsize=5356 CPUtime=0
/proc/14191/stat : 14191 (SatELiteGTI) S 14190 14190 14076 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304951532 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/14191/statm: 1339 238 198 169 0 50 0
[pid=14193] ppid=14191 vsize=240 CPUtime=0
/proc/14193/stat : 14193 (sed) R 14191 14190 14076 0 -1 4194304 48 0 0 0 0 0 0 0 21 0 1 0 304951533 245760 29 1992294400 4194304 4240196 548682069056 18446744073709551615 253304567273 0 0 4096 0 0 0 0 17 1 0 0
/proc/14193/statm: 623 36 28 11 0 15 0

[startup+0.0728229 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304951532 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102828 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304951532 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301857 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356

[startup+0.701919 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356

[startup+1.50206 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1969800/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=11320 CPUtime=1.22
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 2711 0 0 0 121 1 0 0 25 0 1 0 304951559 11591680 2697 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 2830 2697 77 171 0 2657 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16676

[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1968072/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=12992 CPUtime=2.81
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 3141 0 0 0 280 1 0 0 25 0 1 0 304951559 13303808 3127 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 3248 3127 77 171 0 3075 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18348

[startup+6.30288 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1964872/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=16124 CPUtime=6.01
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 3915 0 0 0 599 2 0 0 25 0 1 0 304951559 16510976 3901 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 4031 3901 77 171 0 3858 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21480

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1959880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=20860 CPUtime=12.41
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 5070 0 0 0 1237 4 0 0 25 0 1 0 304951559 21360640 5056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528745 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 5215 5056 77 171 0 5042 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26216

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1952008/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=28372 CPUtime=25.19
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 6961 0 0 0 2513 6 0 0 25 0 1 0 304951559 29052928 6947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 7093 6947 77 171 0 6920 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 33728

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1939848/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=40700 CPUtime=50.78
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 10050 0 0 0 5068 10 0 0 25 0 1 0 304951559 41676800 10036 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 10175 10036 77 171 0 10002 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 46056

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1923848/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=56424 CPUtime=101.96
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 13964 0 0 0 10182 14 0 0 25 0 1 0 304951559 57778176 13950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 14106 13950 77 171 0 13933 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 61780

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1909512/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=70848 CPUtime=161.92
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 17501 0 0 0 16173 19 0 0 25 0 1 0 304951559 72548352 17487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 17712 17487 77 171 0 17539 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 76204

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902600/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=221.9
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 22169 21 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 82684

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902600/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=281.88
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 28166 22 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 82684

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902536/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=341.85
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 34163 22 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 82684

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902408/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=401.83

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

/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 82684

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902152/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=581.76
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 58152 24 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 82684

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902024/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=641.74
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 64150 24 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 82684

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901896/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=701.71
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 70147 24 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 82684

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901832/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=761.7
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 76145 25 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 82684

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901768/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=821.66
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 82141 25 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 82684

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901704/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=881.64
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 88139 25 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 82684

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901640/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=941.62
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 94136 26 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 82684

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901576/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1001.6
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 100134 26 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 82684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901512/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1061.57
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 106130 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 82684

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901384/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1121.55
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 112128 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 82684

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901256/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1181.52
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 118125 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 82684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901256/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1199.82
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 119955 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 82684

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14190 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=228965
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 0.266959
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.61
CPU time (s): 1200.07
CPU user time (s): 1199.77
CPU system time (s): 0.3
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 82684

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

runsolver used 1.46878 second user time and 2.6546 second system time

The end

Launcher Data

Begin job on node25 at 2009-05-19 23:39:45
IDJOB=1832113
IDBENCH=20493
IDSOLVER=671
FILE ID=node25/1832113-1242769185
PBS_JOBID= 9322273
Free space on /tmp= 66416 MiB

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

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

MD5SUM BENCH= a27d41b3e10d867544cd2bff7d005be2
RANDOM SEED=484181363

node25.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.259
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.259
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:       1983360 kB
Buffers:          7104 kB
Cached:          30732 kB
SwapCached:       7792 kB
Active:          14872 kB
Inactive:        32116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1983360 kB
SwapTotal:     4192956 kB
SwapFree:      4179676 kB
Dirty:            4336 kB
Writeback:           0 kB
Mapped:          13960 kB
Slab:            11608 kB
Committed_AS:   993424 kB
PageTables:       1476 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= 66412 MiB
End job on node25 at 2009-05-19 23:59:48