Trace number 1834115

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

NameCRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
MD5SUM5301921bbf5d6337937a0fa8d34aaf48
Bench CategoryCRAFTED (crafted 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 variables2100
Number of clauses215164
Sum of the clauses size432288
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2215094
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 570

Solver Data 

0.00/0.00	c Parsing...
0.00/0.10	c ==============================================================================
0.00/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |  215164   432288 |   64549       0        0     nan |  0.000 % |
1.09/1.19	c |         0 |  212446   711172 |      --       0       --      -- |     --   | -2718/278884
1.09/1.19	c ==============================================================================
1.09/1.19	c Result  :   #vars: 2030   #clauses: 212446   #literals: 711172
1.09/1.19	c CPU time:   1.16282 s
1.09/1.19	c ==============================================================================
1.29/1.39	c This is MiniSat 2.0 beta
1.29/1.39	c WARNING: for repeatability, setting FPU to use double precision
1.29/1.39	c ============================[ Problem Statistics ]=============================
1.29/1.39	c |                                                                             |
1.29/1.39	c |  Number of variables:  2030                                                 |
1.29/1.39	c |  Number of clauses:    212446                                               |
1.38/1.50	c |  Parsing time:         0.10         s                                       |
1.38/1.50	c ============================[ Search Statistics ]==============================
1.38/1.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.50	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.38/1.50	c ===============================================================================
1.38/1.50	c |         0 |    2030   212446   711172 |    70815        0    nan |  0.000 % |
1.38/1.53	c |       100 |    2030   212446   711172 |    70815      100    146 |  0.000 % |
1.38/1.56	c |       200 |    2030   212446   711172 |    70815      200    132 |  0.000 % |
1.38/1.58	c |       301 |    2030   212446   711172 |    70815      301    133 |  0.000 % |
1.38/1.60	c |       411 |    2030   212446   711172 |    70815      411    126 |  0.004 % |
1.38/1.62	c |       511 |    2030   212446   711172 |    70815      511    125 |  0.000 % |
1.38/1.65	c |       623 |    2030   212446   711172 |    70815      623    135 |  0.000 % |
1.38/1.68	c |       744 |    2030   212446   711172 |    70815      744    130 |  0.000 % |
1.38/1.70	c |       845 |    2030   212446   711172 |    70815      845    127 |  0.006 % |
1.38/1.72	c |       955 |    2030   212446   711172 |    70815      955    123 |  0.006 % |
1.38/1.75	c |      1077 |    2030   212446   711172 |    70815     1077    120 |  0.006 % |
1.38/1.78	c |      1210 |    2030   212446   711172 |    70815     1210    122 |  0.000 % |
1.38/1.80	c |      1311 |    2030   212446   711172 |    70815     1311    120 |  0.000 % |
1.38/1.82	c |      1421 |    2030   212446   711172 |    70815     1421    122 |  0.006 % |
1.38/1.85	c |      1542 |    2030   212446   711172 |    70815     1542    120 |  0.000 % |
1.38/1.89	c |      1675 |    2030   212446   711172 |    70815     1675    123 |  0.000 % |
1.38/1.92	c |      1823 |    2030   212446   711172 |    70815     1823    122 |  0.000 % |
1.38/1.94	c |      1923 |    2030   212446   711172 |    70815     1923    122 |  0.000 % |
1.38/1.97	c |      2033 |    2030   212446   711172 |    70815     2033    121 |  0.000 % |
1.38/2.00	c |      2155 |    2030   212446   711172 |    70815     2155    122 |  0.000 % |
1.38/2.03	c |      2288 |    2030   212446   711172 |    70815     2288    122 |  0.007 % |
1.38/2.06	c |      2435 |    2030   212446   711172 |    70815     2435    121 |  0.005 % |
2.07/2.11	c |      2595 |    2030   212446   711172 |    70815     2595    120 |  0.000 % |
2.07/2.13	c |      2695 |    2030   212446   711172 |    70815     2695    121 |  0.000 % |
2.07/2.15	c |      2805 |    2030   212446   711172 |    70815     2805    121 |  0.005 % |
2.07/2.18	c |      2926 |    2030   212446   711172 |    70815     2926    121 |  0.000 % |
2.17/2.21	c |      3061 |    2030   212446   711172 |    70815     3061    121 |  0.007 % |
2.17/2.25	c |      3208 |    2030   212446   711172 |    70815     3208    122 |  0.000 % |
2.17/2.29	c |      3370 |    2030   212446   711172 |    70815     3370    121 |  0.000 % |
2.28/2.33	c |      3547 |    2030   212446   711172 |    70815     3547    119 |  0.000 % |
2.28/2.35	c |      3647 |    2030   212446   711172 |    70815     3647    120 |  0.000 % |
2.28/2.38	c |      3760 |    2030   212446   711172 |    70815     3760    120 |  0.000 % |
2.38/2.41	c |      3881 |    2030   212446   711172 |    70815     3881    120 |  0.000 % |
2.38/2.45	c |      4014 |    2030   212446   711172 |    70815     4014    119 |  0.000 % |
2.38/2.49	c |      4160 |    2030   212446   711172 |    70815     4160    122 |  0.000 % |
2.48/2.52	c |      4321 |    2030   212446   711172 |    70815     4321    121 |  0.004 % |
2.48/2.57	c |      4498 |    2030   212446   711172 |    70815     4498    121 |  0.000 % |
2.58/2.61	c |      4691 |    2030   212446   711172 |    70815     4691    121 |  0.006 % |
2.58/2.63	c |      4791 |    2030   212446   711172 |    70815     4791    120 |  0.006 % |
2.58/2.66	c |      4904 |    2030   212446   711172 |    70815     4904    119 |  0.000 % |
2.58/2.69	c |      5026 |    2030   212446   711172 |    70815     5026    120 |  0.005 % |
2.68/2.73	c |      5160 |    2030   212446   711172 |    70815     5160    121 |  0.000 % |
2.68/2.76	c |      5307 |    2030   212446   711172 |    70815     5307    121 |  0.000 % |
2.78/2.80	c |      5467 |    2030   212446   711172 |    70815     5467    120 |  0.006 % |
2.78/2.84	c |      5644 |    2030   212446   711172 |    70815     5644    119 |  0.000 % |
2.78/2.89	c |      5837 |    2030   212446   711172 |    70815     5837    118 |  0.006 % |
2.88/2.95	c |      6050 |    2030   212446   711172 |    70815     6050    118 |  0.006 % |
2.88/2.98	c |      6150 |    2030   212446   711172 |    70815     6150    119 |  0.000 % |
2.98/3.01	c |      6260 |    2030   212446   711172 |    70815     6260    119 |  0.000 % |
2.98/3.04	c |      6383 |    2030   212446   711172 |    70815     6383    120 |  0.000 % |
2.98/3.08	c |      6517 |    2030   212446   711172 |    70815     6517    120 |  0.004 % |
3.08/3.12	c |      6664 |    2030   212446   711172 |    70815     6664    120 |  0.000 % |
3.08/3.16	c |      6824 |    2030   212446   711172 |    70815     6824    120 |  0.006 % |
3.18/3.21	c |      7002 |    2030   212446   711172 |    70815     7002    120 |  0.006 % |
3.18/3.27	c |      7195 |    2030   212446   711172 |    70815     7195    123 |  0.000 % |
3.28/3.32	c |      7408 |    2030   212446   711172 |    70815     7408    122 |  0.000 % |
3.28/3.37	c |      7641 |    2030   212446   711172 |    70815     7641    122 |  0.000 % |
3.38/3.40	c |      7742 |    2030   212446   711172 |    70815     7742    122 |  0.004 % |
3.38/3.43	c |      7856 |    2030   212446   711172 |    70815     7856    121 |  0.000 % |
3.38/3.47	c |      7977 |    2030   212446   711172 |    70815     7977    121 |  0.000 % |
3.48/3.50	c |      8111 |    2030   212446   711172 |    70815     8111    121 |  0.007 % |
3.48/3.54	c |      8258 |    2030   212446   711172 |    70815     8258    121 |  0.000 % |
3.48/3.58	c |      8418 |    2030   212446   711172 |    70815     8418    121 |  0.006 % |
3.58/3.62	c |      8596 |    2030   212446   711172 |    70815     8596    121 |  0.000 % |
3.58/3.67	c |      8789 |    2030   212446   711172 |    70815     8789    122 |  0.000 % |
3.67/3.73	c |      9002 |    2030   212446   711172 |    70815     9002    121 |  0.000 % |
3.67/3.79	c |      9236 |    2030   212446   711172 |    70815     9236    122 |  0.000 % |
3.77/3.86	c |      9492 |    2030   212446   711172 |    70815     9492    122 |  0.004 % |
3.77/3.89	c |      9592 |    2030   212446   711172 |    70815     9592    121 |  0.004 % |
3.87/3.93	c |      9703 |    2030   212446   711172 |    70815     9703    121 |  0.000 % |
3.87/3.96	c |      9824 |    2030   212446   711172 |    70815     9824    121 |  0.006 % |
3.97/4.00	c |      9958 |    2030   212446   711172 |    70815     9958    120 |  0.006 % |
3.97/4.05	c |     10105 |    2030   212446   711172 | 2147483647    10105    120 |  0.000 % |
3.97/4.09	c |     10265 |    2030   212446   711172 | 2147483647    10265    120 |  0.000 % |
4.07/4.14	c |     10441 |    2030   212446   711172 | 2147483647    10441    120 |  0.006 % |
4.07/4.20	c |     10634 |    2030   212446   711172 | 2147483647    10634    119 |  0.006 % |
4.17/4.26	c |     10846 |    2030   212446   711172 | 2147483647    10846    118 |  0.000 % |
4.28/4.32	c |     11079 |    2030   212446   711172 | 2147483647    11079    118 |  0.006 % |
4.28/4.40	c |     11335 |    2030   212446   711172 | 2147483647    11335    119 |  0.000 % |
4.38/4.48	c |     11617 |    2030   212446   711172 | 2147483647    11617    121 |  0.000 % |
4.47/4.51	c |     11717 |    2030   212446   711172 | 2147483647    11717    121 |  0.000 % |
4.47/4.54	c |     11828 |    2030   212446   711172 | 2147483647    11828    121 |  0.000 % |
4.47/4.58	c |     11950 |    2030   212446   711172 | 2147483647    11950    121 |  0.005 % |
4.57/4.62	c |     12083 |    2030   212446   711172 | 2147483647    12083    120 |  0.007 % |
4.57/4.67	c |     12229 |    2030   212446   711172 | 2147483647    12229    121 |  0.000 % |
4.67/4.72	c |     12389 |    2030   212446   711172 | 2147483647    12389    121 |  0.000 % |
4.67/4.77	c |     12565 |    2030   212446   711172 | 2147483647    12565    120 |  0.000 % |
4.78/4.82	c |     12761 |    2030   212446   711172 | 2147483647    12761    120 |  0.000 % |
4.78/4.89	c |     12973 |    2030   212446   711172 | 2147483647    12973    120 |  0.000 % |
4.88/4.96	c |     13206 |    2030   212446   711172 | 2147483647    13206    120 |  0.006 % |
4.98/5.04	c |     13463 |    2030   212446   711172 | 2147483647    13463    120 |  0.006 % |
5.07/5.12	c |     13744 |    2030   212446   711172 | 2147483647    13744    119 |  0.006 % |
5.17/5.21	c |     14053 |    2030   212446   711172 | 2147483647    14053    118 |  0.005 % |
5.17/5.26	c |     14154 |    2030   212446   711172 | 2147483647    14154    119 |  0.000 % |
5.17/5.29	c |     14267 |    2030   212446   711172 | 2147483647    14267    119 |  0.000 % |
5.27/5.34	c |     14390 |    2030   212446   711172 | 2147483647    14390    119 |  0.000 % |
5.27/5.38	c |     14525 |    2030   212446   711172 | 2147483647    14525    119 |  0.000 % |
5.38/5.43	c |     14671 |    2030   212446   711172 | 2147483647    14671    119 |  0.000 % |
5.38/5.48	c |     14831 |    2030   212446   711172 | 2147483647    14831    119 |  0.000 % |
5.48/5.53	c |     15010 |    2030   212446   711172 | 2147483647    15010    119 |  0.004 % |
5.48/5.60	c |     15203 |    2030   212446   711172 | 2147483647    15203    119 |  0.000 % |
5.57/5.65	c |     15415 |    2030   212446   711172 | 2147483647    15415    120 |  0.000 % |
5.67/5.73	c |     15648 |    2030   212446   711172 | 2147483647    15648    120 |  0.000 % |
5.77/5.81	c |     15905 |    2030   212446   711172 | 2147483647    15905    120 |  0.004 % |
5.87/5.90	c |     16186 |    2030   212446   711172 | 2147483647    16186    120 |  0.006 % |
5.87/5.99	c |     16495 |    2030   212446   711172 | 2147483647    16495    120 |  0.000 % |
6.07/6.10	c |     16834 |    2030   212446   711172 | 2147483647    16834    119 |  0.005 % |
6.07/6.14	c |     16936 |    2030   212446   711172 | 2147483647    16936    119 |  0.006 % |
6.07/6.17	c |     17049 |    2030   212446   711172 | 2147483647    17049    119 |  0.006 % |
6.17/6.20	c |     17171 |    2030   212446   711172 | 2147483647    17171    119 |  0.000 % |
6.17/6.24	c |     17304 |    2030   212446   711172 | 2147483647    17304    119 |  0.006 % |
6.17/6.29	c |     17450 |    2030   212446   711172 | 2147483647    17450    119 |  0.000 % |
6.27/6.35	c |     17610 |    2030   212446   711172 | 2147483647    17610    119 |  0.000 % |
6.37/6.42	c |     17787 |    2030   212446   711172 | 2147483647    17787    119 |  0.000 % |
6.37/6.48	c |     17982 |    2030   212446   711172 | 2147483647    17982    119 |  0.000 % |
6.47/6.55	c |     18194 |    2030   212446   711172 | 2147483647    18194    119 |  0.000 % |
6.57/6.62	c |     18428 |    2030   212446   711172 | 2147483647    18428    119 |  0.006 % |
6.57/6.69	c |     18684 |    2030   212446   711172 | 2147483647    18684    118 |  0.000 % |
6.67/6.77	c |     18969 |    2030   212446   711172 | 2147483647    18969    117 |  0.000 % |
6.77/6.87	c |     19278 |    2030   212446   711172 | 2147483647    19278    117 |  0.007 % |
6.88/6.97	c |     19617 |    2030   212446   711172 | 2147483647    19617    116 |  0.006 % |
6.98/7.08	c |     19990 |    2030   212446   711172 | 2147483647    19990    115 |  0.006 % |
7.08/7.11	c |     20094 |    2030   212446   711172 | 2147483647    20094    115 |  0.006 % |
7.08/7.15	c |     20204 |    2030   212446   711172 | 2147483647    20204    116 |  0.000 % |
7.18/7.20	c |     20326 |    2030   212446   711172 | 2147483647    20326    116 |  0.005 % |
7.18/7.24	c |     20459 |    2030   212446   711172 | 2147483647    20459    116 |  0.005 % |
7.18/7.29	c |     20608 |    2030   212446   711172 | 2147483647    20608    116 |  0.006 % |
7.28/7.34	c |     20768 |    2030   212446   711172 | 2147483647    20768    115 |  0.000 % |
7.28/7.40	c |     20945 |    2030   212446   711172 | 2147483647    20945    115 |  0.004 % |
7.38/7.46	c |     21138 |    2030   212446   711172 | 2147483647    21138    115 |  0.005 % |
7.48/7.52	c |     21350 |    2030   212446   711172 | 2147483647    21350    114 |  0.006 % |
7.58/7.61	c |     21583 |    2030   212446   711172 | 2147483647    21583    114 |  0.005 % |
7.58/7.70	c |     21840 |    2030   212446   711172 | 2147483647    21840    115 |  0.000 % |
7.77/7.80	c |     22121 |    2030   212446   711172 | 2147483647    22121    115 |  0.000 % |
7.87/7.90	c |     22432 |    2030   212446   711172 | 2147483647    22432    115 |  0.000 % |
7.97/8.02	c |     22771 |    2030   212446   711172 | 2147483647    22771    115 |  0.004 % |
8.07/8.17	c |     23144 |    2030   212446   711172 | 2147483647    23144    115 |  0.005 % |
8.27/8.31	c |     23553 |    2030   212446   711172 | 2147483647    23553    115 |  0.006 % |
8.27/8.35	c |     23653 |    2030   212446   711172 | 2147483647    23653    115 |  0.000 % |
8.27/8.39	c |     23764 |    2030   212446   711172 | 2147483647    23764    115 |  0.000 % |
8.37/8.43	c |     23886 |    2030   212446   711172 | 2147483647    23886    115 |  0.004 % |
8.37/8.47	c |     24019 |    2030   212446   711172 | 2147483647    24019    115 |  0.000 % |
8.47/8.54	c |     24166 |    2030   212446   711172 | 2147483647    24166    115 |  0.000 % |
8.57/8.60	c |     24326 |    2030   212446   711172 | 2147483647    24326    115 |  0.000 % |
8.57/8.66	c |     24502 |    2030   212446   711172 | 2147483647    24502    115 |  0.000 % |
8.67/8.73	c |     24696 |    2030   212446   711172 | 2147483647    24696    116 |  0.000 % |
8.77/8.83	c |     24911 |    2030   212446   711172 | 2147483647    24911    116 |  0.000 % |
8.88/8.92	c |     25145 |    2030   212446   711172 | 2147483647    25145    116 |  0.007 % |
8.98/9.01	c |     25401 |    2030   212446   711172 | 2147483647    25401    115 |  0.006 % |
8.98/9.09	c |     25684 |    2030   212446   711172 | 2147483647    25684    115 |  0.000 % |
9.18/9.20	c |     25995 |    2030   212446   711172 | 2147483647    25995    115 |  0.000 % |
9.28/9.33	c |     26334 |    2030   212446   711172 | 2147483647    26334    115 |  0.000 % |
9.38/9.46	c |     26706 |    2030   212446   711172 | 2147483647    26706    115 |  0.000 % |
9.48/9.60	c |     27115 |    2030   212446   711172 | 2147483647    27115    115 |  0.000 % |
9.67/9.75	c |     27566 |    2030   212446   711172 | 2147483647    27566    115 |  0.000 % |
9.67/9.79	c |     27666 |    2030   212446   711172 | 2147483647    27666    115 |  0.000 % |
9.78/9.83	c |     27778 |    2030   212446   711172 | 2147483647    27778    115 |  0.000 % |
9.78/9.88	c |     27899 |    2030   212446   711172 | 2147483647    27899    115 |  0.000 % |
9.88/9.93	c |     28034 |    2030   212446   711172 | 2147483647    28034    115 |  0.005 % |
9.88/9.99	c |     28180 |    2030   212446   711172 | 2147483647    28180    115 |  0.000 % |
9.97/10.05	c |     28341 |    2030   212446   711172 | 2147483647    28341    115 |  0.000 % |
10.07/10.12	c |     28518 |    2030   212446   711172 | 2147483647    28518    115 |  0.000 % |
10.07/10.20	c |     28712 |    2030   212446   711172 | 2147483647    28712    116 |  0.000 % |
10.17/10.28	c |     28924 |    2030   212446   711172 | 2147483647    28924    116 |  0.005 % |
10.27/10.38	c |     29158 |    2030   212446   711172 | 2147483647    29158    116 |  0.000 % |
10.37/10.48	c |     29414 |    2030   212446   711172 | 2147483647    29414    116 |  0.000 % |
10.57/10.63	c |     29695 |    2030   212446   711172 | 2147483647    29695    116 |  0.005 % |
10.67/10.75	c |     30005 |    2030   212446   711172 | 2147483647    30005    115 |  0.006 % |
10.88/10.92	c |     30345 |    2030   212446   711172 | 2147483647    30345    116 |  0.000 % |
10.97/11.06	c |     30717 |    2030   212446   711172 | 2147483647    30717    116 |  0.007 % |
11.17/11.21	c |     31127 |    2030   212446   711172 | 2147483647    31127    116 |  0.000 % |
11.27/11.38	c |     31577 |    2030   212446   711172 | 2147483647    31577    116 |  0.005 % |
11.47/11.57	c |     32070 |    2030   212446   711172 | 2147483647    32070    117 |  0.000 % |
11.57/11.61	c |     32171 |    2030   212446   711172 | 2147483647    32171    117 |  0.000 % |
11.57/11.67	c |     32281 |    2030   212446   711172 | 2147483647    32281    117 |  0.000 % |
11.67/11.72	c |     32403 |    2030   212446   711172 | 2147483647    32403    117 |  0.005 % |
11.67/11.76	c |     32536 |    2030   212446   711172 | 2147483647    32536    117 |  0.000 % |
11.77/11.84	c |     32683 |    2030   212446   711172 | 2147483647    32683    118 |  0.000 % |
11.87/11.91	c |     32843 |    2030   212446   711172 | 2147483647    32843    117 |  0.000 % |
11.87/11.99	c |     33021 |    2030   212446   711172 | 2147483647    33021    117 |  0.006 % |
11.97/12.07	c |     33214 |    2030   212446   711172 | 2147483647    33214    117 |  0.000 % |
12.08/12.17	c |     33426 |    2030   212446   711172 | 2147483647    33426    118 |  0.000 % |
12.18/12.25	c |     33659 |    2030   212446   711172 | 2147483647    33659    117 |  0.007 % |
12.28/12.36	c |     33915 |    2030   212446   711172 | 2147483647    33915    117 |  0.006 % |
12.38/12.46	c |     34197 |    2030   212446   711172 | 2147483647    34197    117 |  0.007 % |
12.48/12.58	c |     34507 |    2030   212446   711172 | 2147483647    34507    117 |  0.007 % |
12.68/12.73	c |     34846 |    2030   212446   711172 | 2147483647    34846    117 |  0.000 % |
12.78/12.89	c |     35219 |    2030   212446   711172 | 2147483647    35219    117 |  0.006 % |
12.97/13.06	c |     35629 |    2030   212446   711172 | 2147483647    35629    116 |  0.000 % |
13.18/13.21	c |     36079 |    2030   212446   711172 | 2147483647    36079    117 |  0.006 % |
13.37/13.42	c |     36572 |    2030   212446   711172 | 2147483647    36572    118 |  0.000 % |
13.67/13.76	c |     37115 |    2030   212446   711172 | 2147483647    37115    120 |  0.000 % |
13.77/13.81	c |     37215 |    2030   212446   711172 | 2147483647    37215    120 |  0.000 % |
13.77/13.85	c |     37326 |    2030   212446   711172 | 2147483647    37326    120 |  0.000 % |
13.87/13.92	c |     37447 |    2030   212446   711172 | 2147483647    37447    120 |  0.007 % |
13.87/13.97	c |     37580 |    2030   212446   711172 | 2147483647    37580    120 |  0.005 % |
13.97/14.03	c |     37727 |    2030   212446   711172 | 2147483647    37727    120 |  0.000 % |
14.07/14.10	c |     37888 |    2030   212446   711172 | 2147483647    37888    120 |  0.000 % |
14.07/14.17	c |     38066 |    2030   212446   711172 | 2147483647    38066    120 |  0.006 % |
14.18/14.28	c |     38261 |    2030   212446   711172 | 2147483647    38261    120 |  0.000 % |
14.28/14.39	c |     38475 |    2030   212446   711172 | 2147483647    38475    120 |  0.000 % |
14.47/14.51	c |     38709 |    2030   212446   711172 | 2147483647    38709    120 |  0.005 % |
14.57/14.62	c |     38965 |    2030   212446   711172 | 2147483647    38965    120 |  0.006 % |
14.67/14.74	c |     39247 |    2030   212446   711172 | 2147483647    39247    120 |  0.000 % |
14.77/14.88	c |     39558 |    2030   212446   711172 | 2147483647    39558    120 |  0.000 % |
14.97/15.04	c |     39897 |    2030   212446   711172 | 2147483647    39897    120 |  0.000 % |
15.17/15.22	c |     40269 |    2030   212446   711172 | 2147483647    40269    120 |  0.000 % |
15.37/15.43	c |     40679 |    2030   212446   711172 | 2147483647    40679    121 |  0.000 % |
15.57/15.63	c |     41128 |    2030   212446   711172 | 2147483647    41128    121 |  0.000 % |
15.77/15.85	c |     41622 |    2030   212446   711172 | 2147483647    41622    121 |  0.000 % |
15.97/16.09	c |     42164 |    2030   212446   711172 | 2147483647    42164    121 |  0.006 % |
16.27/16.37	c |     42763 |    2030   212446   711172 | 2147483647    42763    120 |  0.004 % |
16.38/16.42	c |     42863 |    2030   212446   711172 | 2147483647    42863    120 |  0.005 % |
16.38/16.46	c |     42975 |    2030   212446   711172 | 2147483647    42975    120 |  0.005 % |
16.48/16.52	c |     43099 |    2030   212446   711172 | 2147483647    43099    120 |  0.005 % |
16.57/16.60	c |     43232 |    2030   212446   711172 | 2147483647    43232    120 |  0.000 % |
16.57/16.68	c |     43378 |    2030   212446   711172 | 2147483647    43378    120 |  0.000 % |
16.67/16.76	c |     43539 |    2030   212446   711172 | 2147483647    43539    120 |  0.000 % |
16.77/16.86	c |     43715 |    2030   212446   711172 | 2147483647    43715    120 |  0.000 % |
16.87/16.95	c |     43908 |    2030   212446   711172 | 2147483647    43908    120 |  0.000 % |
16.97/17.04	c |     44121 |    2030   212446   711172 | 2147483647    44121    120 |  0.006 % |
17.07/17.13	c |     44354 |    2030   212446   711172 | 2147483647    44354    120 |  0.000 % |
17.17/17.25	c |     44610 |    2030   212446   711172 | 2147483647    44610    120 |  0.005 % |
17.27/17.39	c |     44891 |    2030   212446   711172 | 2147483647    44891    120 |  0.000 % |
17.47/17.54	c |     45201 |    2030   212446   711172 | 2147483647    45201    120 |  0.005 % |
17.67/17.71	c |     45542 |    2030   212446   711172 | 2147483647    45542    120 |  0.005 % |
17.77/17.86	c |     45914 |    2030   212446   711172 | 2147483647    45914    120 |  0.000 % |
17.97/18.06	c |     46323 |    2030   212446   711172 | 2147483647    46323    120 |  0.000 % |
18.17/18.25	c |     46773 |    2030   212446   711172 | 2147483647    46773    120 |  0.000 % |
18.37/18.47	c |     47266 |    2030   212446   711172 | 2147483647    47266    120 |  0.005 % |
18.57/18.69	c |     47809 |    2030   212446   711172 | 2147483647    47809    120 |  0.000 % |
18.87/18.95	c |     48405 |    2030   212446   711172 | 2147483647    48405    120 |  0.006 % |
19.17/19.25	c |     49060 |    2030   212446   711172 | 2147483647    49060    120 |  0.006 % |
19.27/19.33	c |     49160 |    2030   212446   711172 | 2147483647    49160    120 |  0.000 % |
19.27/19.38	c |     49270 |    2030   212446   711172 | 2147483647    49270    120 |  0.000 % |
19.37/19.45	c |     49391 |    2030   212446   711172 | 2147483647    49391    120 |  0.000 % |
19.47/19.52	c |     49524 |    2030   212446   711172 | 2147483647    49524    120 |  0.006 % |
19.57/19.60	c |     49672 |    2030   212446   711172 | 2147483647    49672    120 |  0.000 % |
19.57/19.67	c |     49833 |    2030   212446   711172 | 2147483647    49833    120 |  0.000 % |
19.67/19.77	c |     50010 |    2030   212446   711172 | 2147483647    50010    120 |  0.005 % |
19.77/19.87	c |     50203 |    2030   212446   711172 | 2147483647    50203    120 |  0.000 % |
19.87/19.98	c |     50415 |    2030   212446   711172 | 2147483647    50415    121 |  0.000 % |
20.07/20.10	c |     50648 |    2030   212446   711172 | 2147483647    50648    121 |  0.004 % |
20.17/20.22	c |     50904 |    2030   212446   711172 | 2147483647    50904    121 |  0.005 % |
20.27/20.36	c |     51186 |    2030   212446   711172 | 2147483647    51186    121 |  0.000 % |
20.47/20.53	c |     51496 |    2030   212446   711172 | 2147483647    51496    121 |  0.006 % |
20.57/20.68	c |     51836 |    2030   212446   711172 | 2147483647    51836    121 |  0.000 % |
20.77/20.90	c |     52209 |    2030   212446   711172 | 2147483647    52209    121 |  0.000 % |
21.06/21.14	c |     52618 |    2030   212446   711172 | 2147483647    52618    121 |  0.000 % |
21.26/21.39	c |     53069 |    2030   212446   711172 | 2147483647    53069    121 |  0.006 % |
21.56/21.68	c |     53562 |    2030   212446   711172 | 2147483647    53562    122 |  0.000 % |
21.87/21.98	c |     54107 |    2030   212446   711172 | 2147483647    54107    122 |  0.000 % |
22.26/22.31	c |     54706 |    2030   212446   711172 | 2147483647    54706    122 |  0.000 % |
22.57/22.68	c |     55362 |    2030   212446   711172 | 2147483647    55362    122 |  0.005 % |
23.07/23.11	c |     56083 |    2030   212446   711172 | 2147483647    56083    122 |  0.006 % |
23.07/23.19	c |     56183 |    2030   212446   711172 | 2147483647    56183    122 |  0.000 % |
23.17/23.25	c |     56293 |    2030   212446   711172 | 2147483647    56293    122 |  0.000 % |
23.27/23.31	c |     56417 |    2030   212446   711172 | 2147483647    56417    122 |  0.004 % |
23.27/23.39	c |     56550 |    2030   212446   711172 | 2147483647    56550    122 |  0.000 % |
23.37/23.47	c |     56697 |    2030   212446   711172 | 2147483647    56697    122 |  0.000 % |
23.47/23.57	c |     56857 |    2030   212446   711172 | 2147483647    56857    122 |  0.000 % |
23.57/23.67	c |     57033 |    2030   212446   711172 | 2147483647    57033    122 |  0.000 % |
23.77/23.81	c |     57228 |    2030   212446   711172 | 2147483647    57228    122 |  0.000 % |
23.87/23.98	c |     57441 |    2030   212446   711172 | 2147483647    57441    122 |  0.006 % |
23.97/24.09	c |     57674 |    2030   212446   711172 | 2147483647    57674    122 |  0.006 % |
24.17/24.23	c |     57930 |    2030   212446   711172 | 2147483647    57930    122 |  0.005 % |
24.37/24.40	c |     58212 |    2030   212446   711172 | 2147483647    58212    121 |  0.005 % |
24.47/24.56	c |     58521 |    2030   212446   711172 | 2147483647    58521    121 |  0.000 % |
24.67/24.76	c |     58864 |    2030   212446   711172 | 2147483647    58864    122 |  0.000 % |
24.96/25.02	c |     59236 |    2030   212446   711172 | 2147483647    59236    122 |  0.000 % |
25.17/25.28	c |     59646 |    2030   212446   711172 | 2147483647    59646    122 |  0.000 % |
25.46/25.52	c |     60095 |    2030   212446   711172 | 2147483647    60095    122 |  0.005 % |
25.76/25.86	c |     60588 |    2030   212446   711172 | 2147483647    60588    122 |  0.000 % |
26.16/26.25	c |     61130 |    2030   212446   711172 | 2147483647    61130    123 |  0.000 % |
26.47/26.59	c |     61726 |    2030   212446   711172 | 2147483647    61726    123 |  0.000 % |
26.77/26.89	c |     62381 |    2030   212446   711172 | 2147483647    62381    123 |  0.000 % |
27.27/27.35	c |     63102 |    2030   212446   711172 | 2147483647    63102    123 |  0.005 % |
27.77/27.85	c |     63897 |    2030   212446   711172 | 2147483647    63897    123 |  0.000 % |
27.87/27.91	c |     63997 |    2030   212446   711172 | 2147483647    63997    123 |  0.005 % |
27.87/27.98	c |     64107 |    2030   212446   711172 | 2147483647    64107    123 |  0.005 % |
27.97/28.06	c |     64228 |    2030   212446   711172 | 2147483647    64228    123 |  0.005 % |
28.07/28.14	c |     64362 |    2030   212446   711172 | 2147483647    64362    123 |  0.006 % |
28.16/28.21	c |     64508 |    2030   212446   711172 | 2147483647    64508    123 |  0.006 % |
28.26/28.33	c |     64668 |    2030   212446   711172 | 2147483647    64668    123 |  0.000 % |
28.36/28.44	c |     64844 |    2030   212446   711172 | 2147483647    64844    123 |  0.000 % |
28.47/28.55	c |     65037 |    2030   212446   711172 | 2147483647    65037    123 |  0.000 % |
28.66/28.73	c |     65250 |    2030   212446   711172 | 2147483647    65250    123 |  0.000 % |
28.76/28.85	c |     65484 |    2030   212446   711172 | 2147483647    65484    123 |  0.006 % |
28.86/28.99	c |     65740 |    2030   212446   711172 | 2147483647    65740    123 |  0.000 % |
29.06/29.18	c |     66021 |    2030   212446   711172 | 2147483647    66021    123 |  0.007 % |
29.26/29.37	c |     66330 |    2030   212446   711172 | 2147483647    66330    123 |  0.000 % |
29.46/29.58	c |     66670 |    2030   212446   711172 | 2147483647    66670    123 |  0.000 % |
29.77/29.80	c |     67042 |    2030   212446   711172 | 2147483647    67042    123 |  0.000 % |
29.97/30.09	c |     67451 |    2030   212446   711172 | 2147483647    67451    123 |  0.000 % |
30.27/30.36	c |     67900 |    2030   212446   711172 | 2147483647    67900    124 |  0.000 % |
30.57/30.69	c |     68393 |    2030   212446   711172 | 2147483647    68393    124 |  0.000 % |
30.97/31.00	c |     68935 |    2030   212446   711172 | 2147483647    68935    124 |  0.007 % |
31.27/31.35	c |     69531 |    2030   212446   711172 | 2147483647    69531    123 |  0.003 % |
31.67/31.75	c |     70186 |    2030   212446   711172 | 2147483647    70186    124 |  0.000 % |
32.07/32.19	c |     70906 |    2030   212446   711172 | 2147483647    70906    124 |  0.000 % |
32.66/32.76	c |     71698 |    2030   212446   711172 | 2147483647    71698    124 |  0.000 % |
33.26/33.35	c |     72569 |    2030   212446   711172 | 2147483647    72569    124 |  0.005 % |
33.36/33.44	c |     72671 |    2030   212446   711172 | 2147483647    72671    125 |  0.000 % |
33.46/33.52	c |     72783 |    2030   212446   711172 | 2147483647    72783    125 |  0.000 % |
33.56/33.60	c |     72904 |    2030   212446   711172 | 2147483647    72904    125 |  0.000 % |
33.56/33.70	c |     73037 |    2030   212446   711172 | 2147483647    73037    124 |  0.000 % |
33.76/33.81	c |     73186 |    2030   212446   711172 | 2147483647    73186    125 |  0.000 % |
33.86/33.93	c |     73346 |    2030   212446   711172 | 2147483647    73346    125 |  0.000 % |
33.96/34.07	c |     73522 |    2030   212446   711172 | 2147483647    73522    125 |  0.005 % |
34.16/34.23	c |     73717 |    2030   212446   711172 | 2147483647    73717    125 |  0.000 % |
34.26/34.36	c |     73931 |    2030   212446   711172 | 2147483647    73931    125 |  0.000 % |
34.46/34.50	c |     74166 |    2030   212446   711172 | 2147483647    74166    125 |  0.000 % |
34.56/34.64	c |     74422 |    2030   212446   711172 | 2147483647    74422    125 |  0.000 % |
34.75/34.84	c |     74703 |    2030   212446   711172 | 2147483647    74703    125 |  0.000 % |
34.95/35.06	c |     75013 |    2030   212446   711172 | 2147483647    75013    125 |  0.005 % |
35.25/35.31	c |     75353 |    2030   212446   711172 | 2147483647    75353    125 |  0.000 % |
35.45/35.53	c |     75727 |    2030   212446   711172 | 2147483647    75727    125 |  0.000 % |
35.76/35.85	c |     76136 |    2030   212446   711172 | 2147483647    76136    125 |  0.004 % |
36.06/36.16	c |     76587 |    2030   212446   711172 | 2147483647    76587    125 |  0.007 % |
36.46/36.52	c |     77081 |    2030   212446   711172 | 2147483647    77081    126 |  0.000 % |
36.75/36.90	c |     77623 |    2030   212446   711172 | 2147483647    77623    126 |  0.000 % |
37.26/37.31	c |     78219 |    2030   212446   711172 | 2147483647    78219    126 |  0.006 % |
37.65/37.79	c |     78875 |    2030   212446   711172 | 2147483647    78875    126 |  0.000 % |
38.25/38.36	c |     79597 |    2030   212446   711172 | 2147483647    79597    126 |  0.004 % |
39.05/39.14	c |     80390 |    2030   212446   711172 | 2147483647    80390    127 |  0.000 % |
39.75/39.81	c |     81263 |    2030   212446   711172 | 2147483647    81263    127 |  0.000 % |
40.26/40.36	c |     82221 |    2030   212446   711172 | 2147483647    82221    126 |  0.005 % |
40.36/40.44	c |     82322 |    2030   212446   711172 | 2147483647    82322    126 |  0.000 % |
40.46/40.53	c |     82432 |    2030   212446   711172 | 2147483647    82432    126 |  0.005 % |
40.56/40.62	c |     82554 |    2030   212446   711172 | 2147483647    82554    126 |  0.000 % |
40.66/40.76	c |     82691 |    2030   212446   711172 | 2147483647    82691    126 |  0.000 % |
40.76/40.87	c |     82838 |    2030   212446   711172 | 2147483647    82838    126 |  0.000 % |
40.85/40.99	c |     82999 |    2030   212446   711172 | 2147483647    82999    126 |  0.000 % |
41.05/41.13	c |     83175 |    2030   212446   711172 | 2147483647    83175    126 |  0.005 % |
41.15/41.25	c |     83368 |    2030   212446   711172 | 2147483647    83368    126 |  0.005 % |
41.35/41.40	c |     83581 |    2030   212446   711172 | 2147483647    83581    126 |  0.007 % |
41.55/41.62	c |     83814 |    2030   212446   711172 | 2147483647    83814    126 |  0.000 % |
41.75/41.80	c |     84070 |    2030   212446   711172 | 2147483647    84070    126 |  0.005 % |
41.95/42.09	c |     84352 |    2030   212446   711172 | 2147483647    84352    126 |  0.000 % |
42.25/42.37	c |     84661 |    2030   212446   711172 | 2147483647    84661    127 |  0.000 % |
42.45/42.58	c |     85001 |    2030   212446   711172 | 2147483647    85001    127 |  0.000 % |
42.76/42.84	c |     85373 |    2030   212446   711172 | 2147483647    85373    127 |  0.000 % |
43.06/43.16	c |     85783 |    2030   212446   711172 | 2147483647    85783    127 |  0.006 % |
43.45/43.53	c |     86232 |    2030   212446   711172 | 2147483647    86232    127 |  0.000 % |
43.75/43.89	c |     86725 |    2030   212446   711172 | 2147483647    86725    127 |  0.005 % |
44.15/44.27	c |     87270 |    2030   212446   711172 | 2147483647    87270    127 |  0.000 % |
44.65/44.70	c |     87866 |    2030   212446   711172 | 2147483647    87866    127 |  0.005 % |
45.15/45.23	c |     88522 |    2030   212446   711172 | 2147483647    88522    126 |  0.000 % |
45.75/45.82	c |     89242 |    2030   212446   711172 | 2147483647    89242    127 |  0.000 % |
46.35/46.46	c |     90035 |    2030   212446   711172 | 2147483647    90035    127 |  0.000 % |
47.16/47.21	c |     90906 |    2030   212446   711172 | 2147483647    90906    128 |  0.000 % |
47.85/47.96	c |     91866 |    2030   212446   711172 | 2147483647    91866    128 |  0.006 % |
48.65/48.77	c |     92920 |    2030   212446   711172 | 2147483647    92920    128 |  0.005 % |
48.75/48.84	c |     93022 |    2030   212446   711172 | 2147483647    93022    128 |  0.000 % |
48.85/48.96	c |     93133 |    2030   212446   711172 | 2147483647    93133    128 |  0.000 % |
48.95/49.09	c |     93257 |    2030   212446   711172 | 2147483647    93257    128 |  0.000 % |
49.15/49.22	c |     93390 |    2030   212446   711172 | 2147483647    93390    128 |  0.000 % |
49.25/49.33	c |     93537 |    2030   212446   711172 | 2147483647    93537    128 |  0.000 % |
49.45/49.52	c |     93697 |    2030   212446   711172 | 2147483647    93697    128 |  0.000 % |
49.55/49.67	c |     93873 |    2030   212446   711172 | 2147483647    93873    128 |  0.000 % |
49.65/49.80	c |     94071 |    2030   212446   711172 | 2147483647    94071    128 |  0.000 % |
49.95/50.02	c |     94285 |    2030   212446   711172 | 2147483647    94285    128 |  0.000 % |
50.15/50.26	c |     94519 |    2030   212446   711172 | 2147483647    94519    128 |  0.000 % |
50.35/50.50	c |     94775 |    2030   212446   711172 | 2147483647    94775    128 |  0.000 % |
50.65/50.75	c |     95056 |    2030   212446   711172 | 2147483647    95056    128 |  0.000 % |
50.85/50.99	c |     95365 |    2030   212446   711172 | 2147483647    95365    128 |  0.000 % |
51.25/51.31	c |     95705 |    2030   212446   711172 | 2147483647    95705    128 |  0.000 % |
51.55/51.67	c |     96077 |    2030   212446   711172 | 2147483647    96077    128 |  0.007 % |
51.94/52.04	c |     96486 |    2030   212446   711172 | 2147483647    96486    128 |  0.000 % |
52.34/52.46	c |     96936 |    2030   212446   711172 | 2147483647    96936    128 |  0.000 % |
52.85/52.92	c |     97431 |    2030   212446   711172 | 2147483647    97431    128 |  0.004 % |
53.25/53.34	c |     97973 |    2030   212446   711172 | 2147483647    97973    128 |  0.006 % |
53.86/53.92	c |     98569 |    2030   212446   711172 | 2147483647    98569    128 |  0.005 % |
54.45/54.56	c |     99226 |    2030   212446   711172 | 2147483647    99226    128 |  0.000 % |
55.05/55.15	c |     99946 |    2030   212446   711172 | 2147483647    99946    129 |  0.000 % |
55.75/55.85	c |    100738 |    2030   212446   711172 | 2147483647   100738    129 |  0.000 % |
56.54/56.64	c |    101611 |    2030   212446   711172 | 2147483647   101611    129 |  0.000 % |
57.44/57.51	c |    102569 |    2030   212446   711172 | 2147483647   102569    130 |  0.000 % |
58.45/58.53	c |    103625 |    2030   212446   711172 | 2147483647   103625    130 |  0.000 % |
59.45/59.59	c |    104784 |    2030   212446   711172 | 2147483647   104784    130 |  0.007 % |
59.55/59.67	c |    104884 |    2030   212446   711172 | 2147483647   104884    130 |  0.000 % |
59.65/59.78	c |    104995 |    2030   212446   711172 | 2147483647   104995    130 |  0.005 % |
59.85/59.90	c |    105118 |    2030   212446   711172 | 2147483647   105118    129 |  0.007 % |
59.95/60.00	c |    105251 |    2030   212446   711172 | 2147483647   105251    129 |  0.005 % |
60.05/60.14	c |    105397 |    2030   212446   711172 | 2147483647   105397    129 |  0.000 % |
60.15/60.29	c |    105560 |    2030   212446   711172 | 2147483647   105560    129 |  0.006 % |
60.35/60.49	c |    105736 |    2030   212446   711172 | 2147483647   105736    130 |  0.000 % |
60.54/60.66	c |    105929 |    2030   212446   711172 | 2147483647   105929    130 |  0.000 % |
60.74/60.87	c |    106142 |    2030   212446   711172 | 2147483647   106142    130 |  0.000 % |
61.04/61.11	c |    106375 |    2030   212446   711172 | 2147483647   106375    130 |  0.000 % |
61.24/61.35	c |    106631 |    2030   212446   711172 | 2147483647   106631    130 |  0.004 % |
61.44/61.59	c |    106912 |    2030   212446   711172 | 2147483647   106912    130 |  0.000 % |
61.74/61.88	c |    107222 |    2030   212446   711172 | 2147483647   107222    130 |  0.005 % |
62.04/62.18	c |    107561 |    2030   212446   711172 | 2147483647   107561    130 |  0.000 % |
62.34/62.44	c |    107933 |    2030   212446   711172 | 2147483647   107933    130 |  0.000 % |
62.74/62.80	c |    108343 |    2030   212446   711172 | 2147483647   108343    130 |  0.000 % |
63.03/63.18	c |    108792 |    2030   212446   711172 | 2147483647   108792    130 |  0.000 % |
63.44/63.57	c |    109285 |    2030   212446   711172 | 2147483647   109285    130 |  0.000 % |
63.94/64.05	c |    109828 |    2030   212446   711172 | 2147483647   109828    130 |  0.006 % |
64.44/64.56	c |    110424 |    2030   212446   711172 | 2147483647   110424    129 |  0.000 % |
65.04/65.11	c |    111079 |    2030   212446   711172 | 2147483647   111079    129 |  0.006 % |
65.74/65.86	c |    111801 |    2030   212446   711172 | 2147483647   111801    129 |  0.000 % |
66.54/66.60	c |    112593 |    2030   212446   711172 | 2147483647   112593    129 |  0.000 % |
67.53/67.60	c |    113465 |    2030   212446   711172 | 2147483647   113465    130 |  0.000 % |
68.33/68.44	c |    114427 |    2030   212446   711172 | 2147483647   114427    130 |  0.000 % |
69.44/69.51	c |    115481 |    2030   212446   711172 | 2147483647   115481    130 |  0.004 % |
70.74/70.88	c |    116639 |    2030   212446   711172 | 2147483647   116639    130 |  0.005 % |
71.94/72.03	c |    117912 |    2030   212446   711172 | 2147483647   117912    130 |  0.000 % |
72.04/72.17	c |    118013 |    2030   212446   711172 | 2147483647   118013    130 |  0.006 % |
72.24/72.30	c |    118123 |    2030   212446   711172 | 2147483647   118123    130 |  0.000 % |
72.34/72.46	c |    118244 |    2030   212446   711172 | 2147483647   118244    130 |  0.000 % |
72.54/72.61	c |    118378 |    2030   212446   711172 | 2147483647   118378    130 |  0.000 % |
72.63/72.74	c |    118525 |    2030   212446   711172 | 2147483647   118525    130 |  0.000 % |
72.83/72.92	c |    118685 |    2030   212446   711172 | 2147483647   118685    130 |  0.000 % |
73.03/73.10	c |    118861 |    2030   212446   711172 | 2147483647   118861    130 |  0.000 % |
73.23/73.32	c |    119054 |    2030   212446   711172 | 2147483647   119054    130 |  0.004 % |
73.43/73.56	c |    119267 |    2030   212446   711172 | 2147483647   119267    130 |  0.000 % |
73.73/73.82	c |    119501 |    2030   212446   711172 | 2147483647   119501    130 |  0.000 % |
74.03/74.14	c |    119757 |    2030   212446   711172 | 2147483647   119757    130 |  0.000 % |
74.33/74.42	c |    120040 |    2030   212446   711172 | 2147483647   120040    130 |  0.000 % |
74.63/74.73	c |    120349 |    2030   212446   711172 | 2147483647   120349    130 |  0.000 % |
74.93/75.02	c |    120689 |    2030   212446   711172 | 2147483647   120689    131 |  0.000 % |
75.34/75.44	c |    121063 |    2030   212446   711172 | 2147483647   121063    131 |  0.000 % |
75.84/75.92	c |    121472 |    2030   212446   711172 | 2147483647   121472    131 |  0.000 % |
76.23/76.39	c |    121922 |    2030   212446   711172 | 2147483647   121922    131 |  0.000 % |
76.73/76.85	c |    122415 |    2030   212446   711172 | 2147483647   122415    131 |  0.000 % |
77.23/77.36	c |    122959 |    2030   212446   711172 | 2147483647   122959    131 |  0.006 % |
77.83/77.96	c |    123556 |    2030   212446   711172 | 2147483647   123556    131 |  0.005 % |
78.62/78.77	c |    124213 |    2030   212446   711172 | 2147483647   124213    131 |  0.000 % |
79.32/79.49	c |    124934 |    2030   212446   711172 | 2147483647   124934    131 |  0.007 % |
80.13/80.23	c |    125727 |    2030   212446   711172 | 2147483647   125727    131 |  0.007 % |
81.02/81.12	c |    126600 |    2030   212446   711172 | 2147483647   126600    131 |  0.000 % |
82.13/82.24	c |    127558 |    2030   212446   711172 | 2147483647   127558    131 |  0.006 % |
83.33/83.40	c |    128612 |    2030   212446   711172 | 2147483647   128612    131 |  0.000 % |
84.43/84.59	c |    129773 |    2030   212446   711172 | 2147483647   129773    131 |  0.000 % |
86.02/86.12	c |    131046 |    2030   212446   711172 | 2147483647   131046    131 |  0.006 % |
87.62/87.78	c |    132446 |    2030   212446   711172 | 2147483647   132446    132 |  0.000 % |
87.72/87.88	c |    132546 |    2030   212446   711172 | 2147483647   132546    132 |  0.005 % |
87.92/88.01	c |    132656 |    2030   212446   711172 | 2147483647   132656    132 |  0.000 % |
88.02/88.17	c |    132779 |    2030   212446   711172 | 2147483647   132779    132 |  0.000 % |
88.22/88.31	c |    132912 |    2030   212446   711172 | 2147483647   132912    132 |  0.000 % |
88.32/88.48	c |    133060 |    2030   212446   711172 | 2147483647   133060    132 |  0.000 % |
88.63/88.73	c |    133220 |    2030   212446   711172 | 2147483647   133220    132 |  0.000 % |
88.83/88.96	c |    133396 |    2030   212446   711172 | 2147483647   133396    132 |  0.000 % |
89.03/89.16	c |    133589 |    2030   212446   711172 | 2147483647   133589    132 |  0.000 % |
89.33/89.42	c |    133801 |    2030   212446   711172 | 2147483647   133801    132 |  0.000 % |
89.63/89.72	c |    134036 |    2030   212446   711172 | 2147483647   134036    132 |  0.006 % |
89.93/90.01	c |    134295 |    2030   212446   711172 | 2147483647   134295    132 |  0.000 % |
90.23/90.34	c |    134576 |    2030   212446   711172 | 2147483647   134576    132 |  0.000 % |
90.63/90.72	c |    134885 |    2030   212446   711172 | 2147483647   134885    132 |  0.000 % |
91.02/91.14	c |    135224 |    2030   212446   711172 | 2147483647   135224    132 |  0.000 % |
91.42/91.57	c |    135597 |    2030   212446   711172 | 2147483647   135597    132 |  0.000 % |
92.02/92.15	c |    136008 |    2030   212446   711172 | 2147483647   136008    133 |  0.000 % |
92.72/92.82	c |    136457 |    2030   212446   711172 | 2147483647   136457    133 |  0.000 % |
93.42/93.50	c |    136950 |    2030   212446   711172 | 2147483647   136950    133 |  0.000 % |
94.02/94.18	c |    137492 |    2030   212446   711172 | 2147483647   137492    133 |  0.005 % |
94.82/94.91	c |    138093 |    2030   212446   711172 | 2147483647   138093    133 |  0.004 % |
95.63/95.74	c |    138749 |    2030   212446   711172 | 2147483647   138749    133 |  0.000 % |
96.42/96.51	c |    139469 |    2030   212446   711172 | 2147483647   139469    133 |  0.000 % |
97.22/97.33	c |    140263 |    2030   212446   711172 | 2147483647   140263    133 |  0.005 % |
98.32/98.42	c |    141134 |    2030   212446   711172 | 2147483647   141134    132 |  0.006 % |
99.32/99.49	c |    142092 |    2030   212446   711172 | 2147483647   142092    132 |  0.000 % |
100.82/100.96	c |    143146 |    2030   212446   711172 | 2147483647   143146    133 |  0.000 % |
102.23/102.33	c |    144305 |    2030   212446   711172 | 2147483647   144305    133 |  0.000 % |
103.62/103.77	c |    145578 |    2030   212446   711172 | 2147483647   145578    133 |  0.000 % |
105.52/105.68	c |    146982 |    2030   212446   711172 | 2147483647   146982    133 |  0.000 % |
107.32/107.46	c |    148522 |    2030   212446   711172 | 2147483647   148522    134 |  0.000 % |
107.52/107.62	c |    148623 |    2030   212446   711172 | 2147483647   148623    134 |  0.000 % |
107.62/107.75	c |    148733 |    2030   212446   711172 | 2147483647   148733    134 |  0.000 % |
107.72/107.88	c |    148855 |    2030   212446   711172 | 2147483647   148855    134 |  0.000 % |
107.82/107.99	c |    148988 |    2030   212446   711172 | 2147483647   148988    134 |  0.007 % |
108.02/108.15	c |    149134 |    2030   212446   711172 | 2147483647   149134    134 |  0.005 % |
108.22/108.30	c |    149295 |    2030   212446   711172 | 2147483647   149295    133 |  0.005 % |
108.32/108.49	c |    149471 |    2030   212446   711172 | 2147483647   149471    133 |  0.000 % |
108.62/108.73	c |    149665 |    2030   212446   711172 | 2147483647   149665    133 |  0.000 % |
108.92/109.10	c |    149877 |    2030   212446   711172 | 2147483647   149877    133 |  0.000 % |
109.32/109.43	c |    150112 |    2030   212446   711172 | 2147483647   150112    133 |  0.000 % |
109.62/109.72	c |    150370 |    2030   212446   711172 | 2147483647   150370    133 |  0.000 % |
110.02/110.14	c |    150653 |    2030   212446   711172 | 2147483647   150653    133 |  0.005 % |
110.42/110.54	c |    150962 |    2030   212446   711172 | 2147483647   150962    133 |  0.000 % |
110.82/110.94	c |    151304 |    2030   212446   711172 | 2147483647   151304    133 |  0.005 % |
111.22/111.40	c |    151676 |    2030   212446   711172 | 2147483647   151676    133 |  0.000 % |
111.72/111.90	c |    152085 |    2030   212446   711172 | 2147483647   152085    133 |  0.005 % |
112.41/112.55	c |    152534 |    2030   212446   711172 | 2147483647   152534    133 |  0.000 % |
113.01/113.17	c |    153027 |    2030   212446   711172 | 2147483647   153027    133 |  0.000 % |
113.71/113.88	c |    153572 |    2030   212446   711172 | 2147483647   153572    133 |  0.000 % |
114.71/114.83	c |    154171 |    2030   212446   711172 | 2147483647   154171    134 |  0.000 % |
115.51/115.65	c |    154826 |    2030   212446   711172 | 2147483647   154826    134 |  0.000 % |
116.42/116.60	c |    155546 |    2030   212446   711172 | 2147483647   155546    134 |  0.000 % |
117.71/117.83	c |    156339 |    2030   212446   711172 | 2147483647   156339    134 |  0.000 % |
119.11/119.21	c |    157211 |    2030   212446   711172 | 2147483647   157211    134 |  0.000 % |
120.31/120.40	c |    158169 |    2030   212446   711172 | 2147483647   158169    134 |  0.000 % |
121.61/121.74	c |    159222 |    2030   212446   711172 | 2147483647   159222    134 |  0.006 % |
122.90/123.01	c |    160381 |    2030   212446   711172 | 2147483647   160381    134 |  0.000 % |
124.60/124.75	c |    161657 |    2030   212446   711172 | 2147483647   161657    134 |  0.004 % |
126.20/126.39	c |    163057 |    2030   212446   711172 | 2147483647   163057    134 |  0.000 % |
128.60/128.73	c |    164597 |    2030   212446   711172 | 2147483647   164597    134 |  0.000 % |
130.91/131.01	c |    166291 |    2030   212446   711172 | 2147483647   166291    135 |  0.000 % |
131.01/131.16	c |    166391 |    2030   212446   711172 | 2147483647   166391    135 |  0.000 % |
131.21/131.33	c |    166502 |    2030   212446   711172 | 2147483647   166502    135 |  0.000 % |
131.41/131.54	c |    166624 |    2030   212446   711172 | 2147483647   166624    135 |  0.000 % |
131.60/131.76	c |    166757 |    2030   212446   711172 | 2147483647   166757    135 |  0.000 % |
131.81/131.95	c |    166903 |    2030   212446   711172 | 2147483647   166903    135 |  0.000 % |
132.10/132.21	c |    167065 |    2030   212446   711172 | 2147483647   167065    135 |  0.000 % |
132.40/132.52	c |    167243 |    2030   212446   711172 | 2147483647   167243    135 |  0.000 % |
132.60/132.77	c |    167437 |    2030   212446   711172 | 2147483647   167437    135 |  0.000 % |
132.90/133.08	c |    167652 |    2030   212446   711172 | 2147483647   167652    135 |  0.005 % |
133.20/133.38	c |    167885 |    2030   212446   711172 | 2147483647   167885    135 |  0.005 % |
133.50/133.69	c |    168143 |    2030   212446   711172 | 2147483647   168143    135 |  0.006 % |
133.90/134.06	c |    168427 |    2030   212446   711172 | 2147483647   168427    135 |  0.006 % |
134.30/134.46	c |    168739 |    2030   212446   711172 | 2147483647   168739    135 |  0.000 % |
134.70/134.86	c |    169079 |    2030   212446   711172 | 2147483647   169079    135 |  0.000 % |
135.30/135.47	c |    169452 |    2030   212446   711172 | 2147483647   169452    135 |  0.000 % |
135.90/136.08	c |    169862 |    2030   212446   711172 | 2147483647   169862    135 |  0.000 % |
136.60/136.79	c |    170314 |    2030   212446   711172 | 2147483647   170314    135 |  0.005 % |
137.20/137.39	c |    170808 |    2030   212446   711172 | 2147483647   170808    135 |  0.006 % |
137.90/138.08	c |    171351 |    2030   212446   711172 | 2147483647   171351    135 |  0.000 % |
138.60/138.76	c |    171949 |    2030   212446   711172 | 2147483647   171949    135 |  0.005 % |
139.30/139.49	c |    172605 |    2030   212446   711172 | 2147483647   172605    135 |  0.004 % |
140.39/140.50	c |    173325 |    2030   212446   711172 | 2147483647   173325    135 |  0.005 % |
141.20/141.34	c |    174117 |    2030   212446   711172 | 2147483647   174117    135 |  0.000 % |
142.30/142.43	c |    174988 |    2030   212446   711172 | 2147483647   174988    134 |  0.006 % |
143.60/143.74	c |    175948 |    2030   212446   711172 | 2147483647   175948    134 |  0.000 % |
144.90/145.01	c |    177002 |    2030   212446   711172 | 2147483647   177002    134 |  0.006 % |
147.09/147.23	c |    178160 |    2030   212446   711172 | 2147483647   178160    135 |  0.000 % |
148.59/148.77	c |    179436 |    2030   212446   711172 | 2147483647   179436    135 |  0.000 % |
150.80/150.97	c |    180836 |    2030   212446   711172 | 2147483647   180836    135 |  0.000 % |
152.90/153.09	c |    182376 |    2030   212446   711172 | 2147483647   182376    136 |  0.000 % |
155.59/155.72	c |    184070 |    2030   212446   711172 | 2147483647   184070    136 |  0.006 % |
158.59/158.72	c |    185934 |    2030   212446   711172 | 2147483647   185934    136 |  0.000 % |
158.69/158.87	c |    186035 |    2030   212446   711172 | 2147483647   186035    136 |  0.000 % |
158.89/159.09	c |    186145 |    2030   212446   711172 | 2147483647   186145    136 |  0.000 % |
159.19/159.33	c |    186268 |    2030   212446   711172 | 2147483647   186268    136 |  0.000 % |
159.39/159.55	c |    186401 |    2030   212446   711172 | 2147483647   186401    136 |  0.000 % |
159.69/159.80	c |    186547 |    2030   212446   711172 | 2147483647   186547    136 |  0.000 % |
159.99/160.15	c |    186707 |    2030   212446   711172 | 2147483647   186707    136 |  0.000 % |
160.30/160.44	c |    186883 |    2030   212446   711172 | 2147483647   186883    136 |  0.006 % |
160.60/160.71	c |    187076 |    2030   212446   711172 | 2147483647   187076    136 |  0.006 % |
160.89/161.05	c |    187288 |    2030   212446   711172 | 2147483647   187288    136 |  0.000 % |
161.19/161.40	c |    187525 |    2030   212446   711172 | 2147483647   187525    136 |  0.004 % |
161.60/161.75	c |    187782 |    2030   212446   711172 | 2147483647   187782    136 |  0.000 % |
161.99/162.17	c |    188065 |    2030   212446   711172 | 2147483647   188065    136 |  0.000 % |
162.60/162.73	c |    188374 |    2030   212446   711172 | 2147483647   188374    137 |  0.000 % |
163.09/163.23	c |    188713 |    2030   212446   711172 | 2147483647   188713    137 |  0.000 % |
163.59/163.76	c |    189085 |    2030   212446   711172 | 2147483647   189085    137 |  0.000 % |
164.19/164.36	c |    189494 |    2030   212446   711172 | 2147483647   189494    137 |  0.000 % |
164.79/164.98	c |    189943 |    2030   212446   711172 | 2147483647   189943    137 |  0.000 % |
165.39/165.53	c |    190436 |    2030   212446   711172 |   190002   190436    137 |  0.005 % |
166.59/166.73	c |    190978 |    2030   212446   711172 |   190002   169977    135 |  0.000 % |
167.39/167.57	c |    191574 |    2030   212446   711172 |   190002   170573    135 |  0.000 % |
168.39/168.56	c |    192232 |    2030   212446   711172 |   190002   171231    135 |  0.000 % |
169.49/169.65	c |    192953 |    2030   212446   711172 |   190002   171952    135 |  0.000 % |
170.79/170.93	c |    193745 |    2030   212446   711172 |   190002   172744    135 |  0.000 % |
171.99/172.13	c |    194617 |    2030   212446   711172 |   190002   173616    135 |  0.000 % |
173.38/173.57	c |    195580 |    2030   212446   711172 |   190002   174579    135 |  0.000 % |
175.08/175.26	c |    196633 |    2030   212446   711172 |   190002   175632    136 |  0.000 % |
176.78/176.92	c |    197792 |    2030   212446   711172 |   190002   176791    135 |  0.000 % |
178.48/178.61	c |    199065 |    2030   212446   711172 |   190002   178064    135 |  0.000 % |
181.58/181.79	c |    200466 |    2030   212446   711172 |   179002   179465    136 |  0.000 % |
184.38/184.51	c |    202010 |    2030   212446   711172 |   179002   161116    137 |  0.000 % |
187.48/187.67	c |    203704 |    2030   212446   711172 |   179002   162810    137 |  0.000 % |
189.78/189.92	c |    205567 |    2030   212446   711172 |   179002   164673    138 |  0.000 % |
193.18/193.38	c |    207616 |    2030   212446   711172 |   179002   166722    139 |  0.000 % |
193.38/193.54	c |    207717 |    2030   212446   711172 |   179002   166823    139 |  0.000 % |
193.58/193.71	c |    207827 |    2030   212446   711172 |   179002   166933    139 |  0.000 % |
193.78/193.91	c |    207951 |    2030   212446   711172 |   179002   167057    139 |  0.000 % |
193.98/194.12	c |    208085 |    2030   212446   711172 |   179002   167191    139 |  0.000 % |
194.28/194.46	c |    208233 |    2030   212446   711172 |   179002   167339    139 |  0.000 % |
194.48/194.69	c |    208393 |    2030   212446   711172 |   179002   167499    139 |  0.000 % |
194.78/194.95	c |    208569 |    2030   212446   711172 |   179002   167675    139 |  0.000 % |
195.28/195.42	c |    208764 |    2030   212446   711172 |   179002   167870    139 |  0.000 % |
195.58/195.78	c |    208976 |    2030   212446   711172 |   179002   168082    139 |  0.000 % |
195.98/196.14	c |    209211 |    2030   212446   711172 |   179002   168317    139 |  0.005 % |
196.38/196.52	c |    209468 |    2030   212446   711172 |   179002   168574    139 |  0.006 % |
196.78/196.99	c |    209750 |    2030   212446   711172 |   179002   168856    139 |  0.000 % |
197.28/197.44	c |    210062 |    2030   212446   711172 | 2147483647   169168    139 |  0.000 % |
197.88/198.06	c |    210401 |    2030   212446   711172 | 2147483647   169507    139 |  0.000 % |
198.58/198.74	c |    210775 |    2030   212446   711172 | 2147483647   169881    139 |  0.000 % |
199.27/199.41	c |    211184 |    2030   212446   711172 | 2147483647   170290    139 |  0.000 % |
199.98/200.16	c |    211633 |    2030   212446   711172 | 2147483647   170739    139 |  0.000 % |
200.67/200.87	c |    212127 |    2030   212446   711172 | 2147483647   171233    139 |  0.000 % |
201.87/202.02	c |    212672 |    2030   212446   711172 | 2147483647   171778    139 |  0.000 % |
202.77/202.96	c |    213272 |    2030   212446   711172 | 2147483647   172378    139 |  0.006 % |
203.77/204.00	c |    213928 |    2030   212446   711172 | 2147483647   173034    139 |  0.006 % |
204.77/204.94	c |    214648 |    2030   212446   711172 | 2147483647   173754    139 |  0.000 % |
205.77/205.97	c |    215440 |    2030   212446   711172 | 2147483647   174546    139 |  0.000 % |
206.77/206.94	c |    216311 |    2030   212446   711172 | 2147483647   175417    138 |  0.006 % |
208.17/208.33	c |    217270 |    2030   212446   711172 | 2147483647   176376    138 |  0.005 % |
209.47/209.61	c |    218327 |    2030   212446   711172 | 2147483647   177433    138 |  0.000 % |
210.97/211.20	c |    219485 |    2030   212446   711172 | 2147483647   178591    138 |  0.005 % |
212.87/213.00	c |    220759 |    2030   212446   711172 |   179106   179865    138 |  0.006 % |
214.97/215.19	c |    222159 |    2030   212446   711172 |   179106   161381    136 |  0.006 % |
217.07/217.22	c |    223702 |    2030   212446   711172 |   179106   162924    136 |  0.006 % |
219.27/219.46	c |    225397 |    2030   212446   711172 |   179106   164619    135 |  0.004 % |
221.56/221.79	c |    227260 |    2030   212446   711172 |   179106   166482    135 |  0.004 % |
224.27/224.42	c |    229311 |    2030   212446   711172 |   179106   168533    134 |  0.005 % |
227.36/227.52	c |    231564 |    2030   212446   711172 |   169226   152864    132 |  0.004 % |
227.66/227.85	c |    231666 |    2030   212446   711172 |   169226   152966    132 |  0.000 % |
227.86/228.02	c |    231777 |    2030   212446   711172 |   169226   153077    132 |  0.000 % |
228.06/228.26	c |    231898 |    2030   212446   711172 |   169226   153198    132 |  0.000 % |
228.26/228.46	c |    232031 |    2030   212446   711172 |   169226   153331    132 |  0.000 % |
228.56/228.73	c |    232177 |    2030   212446   711172 |   169226   153477    132 |  0.000 % |
228.76/228.97	c |    232338 |    2030   212446   711172 |   169226   153638    132 |  0.000 % |
228.96/229.17	c |    232516 |    2030   212446   711172 |   169226   153816    132 |  0.000 % |
229.46/229.60	c |    232713 |    2030   212446   711172 |   169226   154013    132 |  0.000 % |
229.86/230.00	c |    232925 |    2030   212446   711172 |   169226   154225    132 |  0.000 % |
230.06/230.26	c |    233158 |    2030   212446   711172 |   169226   154458    132 |  0.000 % |
230.46/230.63	c |    233416 |    2030   212446   711172 |   169226   154716    132 |  0.000 % |
230.96/231.11	c |    233697 |    2030   212446   711172 |   169226   154997    132 |  0.000 % |
231.46/231.60	c |    234006 |    2030   212446   711172 |   169226   155306    132 |  0.000 % |
231.96/232.19	c |    234345 |    2030   212446   711172 |   169226   155645    132 |  0.000 % |
232.66/232.82	c |    234717 |    2030   212446   711172 |   169226   156017    132 |  0.007 % |
233.26/233.41	c |    235127 |    2030   212446   711172 |   169226   156427    132 |  0.000 % |
233.86/234.05	c |    235577 |    2030   212446   711172 |   169226   156877    132 |  0.000 % |
234.76/234.94	c |    236072 |    2030   212446   711172 |   169226   157372    133 |  0.000 % |
235.76/235.93	c |    236616 |    2030   212446   711172 |   169226   157916    133 |  0.000 % |
236.76/236.93	c |    237213 |    2030   212446   711172 |   169226   158513    133 |  0.000 % |
237.86/238.08	c |    237871 |    2030   212446   711172 |   169226   159171    133 |  0.000 % |
239.05/239.26	c |    238594 |    2030   212446   711172 |   169226   159894    133 |  0.000 % |
240.55/240.71	c |    239388 |    2030   212446   711172 |   169226   160688    134 |  0.000 % |
241.95/242.17	c |    240261 |    2030   212446   711172 |   161300   161561    134 |  0.000 % |
243.75/243.91	c |    241219 |    2030   212446   711172 |   161300   143843    131 |  0.000 % |
245.15/245.39	c |    242272 |    2030   212446   711172 |   161300   144896    131 |  0.000 % |
246.75/246.91	c |    243430 |    2030   212446   711172 |   161300   146054    131 |  0.006 % |
248.65/248.86	c |    244705 |    2030   212446   711172 |   161300   147329    131 |  0.000 % |
250.35/250.58	c |    246106 |    2030   212446   711172 |   161300   148730    131 |  0.000 % |
252.75/252.91	c |    247646 |    2030   212446   711172 |   161300   150270    131 |  0.006 % |
255.05/255.21	c |    249340 |    2030   212446   711172 |   161300   151964    130 |  0.000 % |
257.75/257.95	c |    251205 |    2030   212446   711172 |   152624   133379    127 |  0.000 % |
261.14/261.30	c |    253257 |    2030   212446   711172 |   152624   135431    127 |  0.000 % |
264.64/264.85	c |    255511 |    2030   212446   711172 |   152624   137685    127 |  0.000 % |
269.25/269.46	c |    257990 |    2030   212446   711172 |   152624   140164    129 |  0.000 % |
269.44/269.63	c |    258090 |    2030   212446   711172 |   152624   140264    129 |  0.000 % |
269.64/269.83	c |    258202 |    2030   212446   711172 |   152624   140376    129 |  0.000 % |
269.84/270.05	c |    258323 |    2030   212446   711172 |   152624   140497    129 |  0.000 % |
270.04/270.23	c |    258456 |    2030   212446   711172 |   152624   140630    129 |  0.000 % |
270.35/270.50	c |    258604 |    2030   212446   711172 |   152624   140778    129 |  0.000 % |
270.64/270.81	c |    258764 |    2030   212446   711172 |   152624   140938    129 |  0.000 % |
270.84/271.08	c |    258940 |    2030   212446   711172 |   152624   141114    129 |  0.000 % |
271.14/271.37	c |    259134 |    2030   212446   711172 |   152624   141308    129 |  0.000 % |
271.44/271.66	c |    259349 |    2030   212446   711172 |   152624   141523    129 |  0.000 % |
271.84/272.05	c |    259583 |    2030   212446   711172 |   152624   141757    129 |  0.000 % |
272.34/272.59	c |    259840 |    2030   212446   711172 |   152624   142014    129 |  0.000 % |
272.84/273.07	c |    260127 |    2030   212446   711172 |   142174   142301    129 |  0.000 % |
273.44/273.62	c |    260436 |    2030   212446   711172 |   142174   125899    126 |  0.000 % |
273.94/274.13	c |    260776 |    2030   212446   711172 |   142174   126239    126 |  0.000 % |
274.44/274.61	c |    261149 |    2030   212446   711172 |   142174   126612    126 |  0.000 % |
274.94/275.12	c |    261559 |    2030   212446   711172 |   142174   127022    126 |  0.000 % |
275.54/275.77	c |    262008 |    2030   212446   711172 |   142174   127471    127 |  0.000 % |
276.34/276.57	c |    262501 |    2030   212446   711172 |   142174   127964    127 |  0.000 % |
277.24/277.43	c |    263045 |    2030   212446   711172 |   142174   128508    127 |  0.000 % |
278.44/278.62	c |    263641 |    2030   212446   711172 |   142174   129104    128 |  0.000 % |
279.34/279.59	c |    264297 |    2030   212446   711172 |   142174   129760    128 |  0.000 % |
280.34/280.54	c |    265018 |    2030   212446   711172 |   142174   130481    128 |  0.000 % |
281.83/282.02	c |    265811 |    2030   212446   711172 |   142174   131274    129 |  0.000 % |
283.03/283.21	c |    266682 |    2030   212446   711172 |   142174   132145    129 |  0.000 % |
284.33/284.54	c |    267641 |    2030   212446   711172 |   142174   133104    130 |  0.000 % |
285.83/286.04	c |    268694 |    2030   212446   711172 |   142174   134157    130 |  0.006 % |
287.63/287.80	c |    269853 |    2030   212446   711172 |   142174   135316    130 |  0.000 % |
289.23/289.44	c |    271126 |    2030   212446   711172 |   135463   136589    130 |  0.006 % |
291.13/291.37	c |    272529 |    2030   212446   711172 |   135463   122740    129 |  0.000 % |
294.13/294.36	c |    274069 |    2030   212446   711172 |   135463   124280    130 |  0.000 % |
297.13/297.30	c |    275763 |    2030   212446   711172 |   135463   125974    131 |  0.000 % |
299.93/300.18	c |    277626 |    2030   212446   711172 |   135463   127837    131 |  0.000 % |
303.33/303.60	c |    279677 |    2030   212446   711172 |   135463   129888    132 |  0.000 % |
307.22/307.48	c |    281931 |    2030   212446   711172 |   130212   118247    129 |  0.000 % |
310.92/311.13	c |    284412 |    2030   212446   711172 |   130212   120728    129 |  0.000 % |
315.32/315.60	c |    287137 |    2030   212446   711172 |   130212   123453    130 |  0.000 % |
315.52/315.76	c |    287237 |    2030   212446   711172 |   130212   123553    130 |  0.000 % |
315.72/315.93	c |    287347 |    2030   212446   711172 |   130212   123663    130 |  0.005 % |
315.92/316.16	c |    287468 |    2030   212446   711172 |   130212   123784    130 |  0.000 % |
316.12/316.37	c |    287601 |    2030   212446   711172 |   130212   123917    130 |  0.000 % |
316.32/316.55	c |    287747 |    2030   212446   711172 |   130212   124063    130 |  0.000 % |
316.62/316.82	c |    287907 |    2030   212446   711172 |   130212   124223    130 |  0.000 % |
316.92/317.10	c |    288085 |    2030   212446   711172 |   130212   124401    130 |  0.000 % |
317.22/317.41	c |    288278 |    2030   212446   711172 |   130212   124594    130 |  0.000 % |
317.52/317.71	c |    288492 |    2030   212446   711172 |   130212   124808    130 |  0.000 % |
317.92/318.11	c |    288725 |    2030   212446   711172 |   130212   125041    130 |  0.000 % |
318.32/318.53	c |    288982 |    2030   212446   711172 |   130212   125298    130 |  0.000 % |
318.72/318.98	c |    289263 |    2030   212446   711172 |   130212   125579    130 |  0.000 % |
319.22/319.45	c |    289572 |    2030   212446   711172 |   130212   125888    130 |  0.000 % |
319.92/320.11	c |    289911 |    2030   212446   711172 |   130212   126227    130 |  0.000 % |
320.62/320.83	c |    290284 |    2030   212446   711172 |   126317   126600    130 |  0.000 % |
321.32/321.59	c |    290693 |    2030   212446   711172 |   126317   112660    126 |  0.000 % |
321.92/322.16	c |    291144 |    2030   212446   711172 |   126317   113111    126 |  0.000 % |
322.62/322.80	c |    291640 |    2030   212446   711172 |   126317   113607    126 |  0.000 % |
323.32/323.55	c |    292182 |    2030   212446   711172 |   126317   114149    126 |  0.000 % |
324.01/324.23	c |    292778 |    2030   212446   711172 |   126317   114745    127 |  0.000 % |
324.91/325.11	c |    293433 |    2030   212446   711172 |   126317   115400    127 |  0.000 % |
325.61/325.89	c |    294153 |    2030   212446   711172 |   126317   116120    127 |  0.000 % |
326.81/327.01	c |    294945 |    2030   212446   711172 |   126317   116912    127 |  0.000 % |
328.11/328.31	c |    295816 |    2030   212446   711172 |   126317   117783    127 |  0.000 % |
329.51/329.73	c |    296775 |    2030   212446   711172 |   126317   118742    127 |  0.000 % |
331.31/331.54	c |    297829 |    2030   212446   711172 |   126317   119796    128 |  0.000 % |
333.11/333.33	c |    298987 |    2030   212446   711172 |   126317   120954    128 |  0.000 % |
335.21/335.48	c |    300262 |    2030   212446   711172 | 2147483647   122229    127 |  0.000 % |
337.51/337.73	c |    301664 |    2030   212446   711172 | 2147483647   123631    127 |  0.000 % |
339.61/339.83	c |    303204 |    2030   212446   711172 | 2147483647   125171    127 |  0.000 % |
342.11/342.34	c |    304898 |    2030   212446   711172 | 2147483647   126865    127 |  0.000 % |
344.71/344.95	c |    306763 |    2030   212446   711172 | 2147483647   128730    126 |  0.005 % |
347.10/347.39	c |    308812 |    2030   212446   711172 | 2147483647   130779    126 |  0.006 % |
350.80/351.05	c |    311066 |    2030   212446   711172 | 2147483647   133033    125 |  0.006 % |
354.90/355.12	c |    313546 |    2030   212446   711172 | 2147483647   135513    128 |  0.000 % |
358.40/358.65	c |    316271 |    2030   212446   711172 | 2147483647   138238    129 |  0.000 % |
362.70/362.94	c |    319272 |    2030   212446   711172 | 2147483647   141239    129 |  0.000 % |
362.80/363.07	c |    319375 |    2030   212446   711172 | 2147483647   141342    129 |  0.000 % |
363.00/363.23	c |    319485 |    2030   212446   711172 | 2147483647   141452    129 |  0.000 % |
363.20/363.41	c |    319607 |    2030   212446   711172 | 2147483647   141574    129 |  0.000 % |
363.40/363.61	c |    319742 |    2030   212446   711172 | 2147483647   141709    129 |  0.000 % |
363.50/363.79	c |    319888 |    2030   212446   711172 | 2147483647   141855    129 |  0.005 % |
363.80/364.01	c |    320050 |    2030   212446   711172 |   141968   142017    129 |  0.000 % |
364.30/364.59	c |    320227 |    2030   212446   711172 |   141968   126940    126 |  0.000 % |
364.60/364.83	c |    320420 |    2030   212446   711172 |   141968   127133    126 |  0.000 % |
364.90/365.13	c |    320634 |    2030   212446   711172 |   141968   127347    126 |  0.000 % |
365.20/365.47	c |    320867 |    2030   212446   711172 |   141968   127580    126 |  0.000 % |
365.60/365.81	c |    321125 |    2030   212446   711172 |   141968   127838    126 |  0.007 % |
365.90/366.15	c |    321406 |    2030   212446   711172 |   141968   128119    126 |  0.000 % |
366.40/366.63	c |    321718 |    2030   212446   711172 |   141968   128431    126 |  0.000 % |
366.90/367.14	c |    322057 |    2030   212446   711172 |   141968   128770    126 |  0.000 % |
367.50/367.77	c |    322430 |    2030   212446   711172 |   141968   129143    127 |  0.000 % |
368.09/368.31	c |    322840 |    2030   212446   711172 |   141968   129553    127 |  0.000 % |
368.69/368.98	c |    323290 |    2030   212446   711172 |   141968   130003    127 |  0.000 % |
369.40/369.64	c |    323783 |    2030   212446   711172 |   141968   130496    127 |  0.000 % |
370.09/370.35	c |    324325 |    2030   212446   711172 |   141968   131038    127 |  0.000 % |
370.89/371.16	c |    324922 |    2030   212446   711172 |   141968   131635    127 |  0.000 % |
371.79/372.02	c |    325577 |    2030   212446   711172 |   141968   132290    127 |  0.000 % |
372.99/373.23	c |    326297 |    2030   212446   711172 |   141968   133010    127 |  0.000 % |
374.39/374.64	c |    327092 |    2030   212446   711172 |   141968   133805    127 |  0.000 % |
375.69/375.97	c |    327963 |    2030   212446   711172 |   141968   134676    128 |  0.000 % |
377.29/377.50	c |    328922 |    2030   212446   711172 |   141968   135635    128 |  0.000 % |
378.89/379.14	c |    329975 |    2030   212446   711172 |   141968   136688    129 |  0.000 % |
380.89/381.14	c |    331134 |    2030   212446   711172 |   136714   137847    129 |  0.000 % |
383.49/383.71	c |    332410 |    2030   212446   711172 |   136714   121905    132 |  0.000 % |
385.59/385.83	c |    333810 |    2030   212446   711172 |   136714   123305    132 |  0.000 % |
387.79/388.05	c |    335350 |    2030   212446   711172 |   136714   124845    133 |  0.000 % |
390.48/390.72	c |    337049 |    2030   212446   711172 |   136714   126544    133 |  0.000 % |
393.68/393.97	c |    338913 |    2030   212446   711172 |   136714   128408    134 |  0.000 % |
397.18/397.40	c |    340965 |    2030   212446   711172 |   129498   130460    135 |  0.000 % |
401.18/401.44	c |    343220 |    2030   212446   711172 |   129498   113532    135 |  0.000 % |
405.58/405.90	c |    345700 |    2030   212446   711172 |   129498   116012    136 |  0.000 % |
410.78/411.07	c |    348426 |    2030   212446   711172 |   129498   118738    136 |  0.000 % |
416.68/416.96	c |    351426 |    2030   212446   711172 |   120312   104071    130 |  0.000 % |
422.47/422.75	c |    354722 |    2030   212446   711172 |   120312   107367    130 |  0.004 % |
422.67/422.90	c |    354822 |    2030   212446   711172 |   120312   107467    130 |  0.000 % |
422.87/423.11	c |    354932 |    2030   212446   711172 |   120312   107577    130 |  0.000 % |
423.07/423.35	c |    355053 |    2030   212446   711172 |   120312   107698    130 |  0.005 % |
423.37/423.61	c |    355188 |    2030   212446   711172 |   120312   107833    130 |  0.000 % |
423.57/423.84	c |    355334 |    2030   212446   711172 |   120312   107979    130 |  0.000 % |
423.77/424.06	c |    355495 |    2030   212446   711172 |   120312   108140    130 |  0.000 % |
424.07/424.34	c |    355672 |    2030   212446   711172 |   120312   108317    130 |  0.005 % |
424.37/424.67	c |    355866 |    2030   212446   711172 |   120312   108511    130 |  0.006 % |
424.67/424.98	c |    356080 |    2030   212446   711172 |   120312   108725    130 |  0.000 % |
425.07/425.34	c |    356313 |    2030   212446   711172 |   120312   108958    130 |  0.000 % |
425.37/425.67	c |    356573 |    2030   212446   711172 |   120312   109218    130 |  0.000 % |
425.87/426.14	c |    356854 |    2030   212446   711172 |   120312   109499    130 |  0.000 % |
426.37/426.65	c |    357163 |    2030   212446   711172 |   120312   109808    130 |  0.000 % |
426.87/427.19	c |    357503 |    2030   212446   711172 |   120312   110148    130 |  0.000 % |
427.47/427.76	c |    357876 |    2030   212446   711172 |   120312   110521    131 |  0.000 % |
428.17/428.49	c |    358285 |    2030   212446   711172 |   120312   110930    131 |  0.000 % |
428.97/429.20	c |    358735 |    2030   212446   711172 |   120312   111380    131 |  0.000 % |
429.57/429.90	c |    359228 |    2030   212446   711172 |   120312   111873    131 |  0.000 % |
430.37/430.65	c |    359770 |    2030   212446   711172 |   120312   112415    131 |  0.000 % |
431.17/431.47	c |    360367 |    2030   212446   711172 |   112646   113012    131 |  0.005 % |
432.17/432.40	c |    361023 |    2030   212446   711172 |   112646   100552    127 |  0.000 % |
433.27/433.57	c |    361744 |    2030   212446   711172 |   112646   101273    127 |  0.000 % |
434.47/434.75	c |    362536 |    2030   212446   711172 |   112646   102065    128 |  0.000 % |
435.67/435.97	c |    363407 |    2030   212446   711172 |   112646   102936    128 |  0.000 % |
436.96/437.22	c |    364367 |    2030   212446   711172 |   112646   103896    128 |  0.000 % |
438.46/438.71	c |    365422 |    2030   212446   711172 |   112646   104951    128 |  0.000 % |
440.26/440.59	c |    366580 |    2030   212446   711172 |   112646   106109    128 |  0.000 % |
442.26/442.58	c |    367858 |    2030   212446   711172 |   112646   107387    129 |  0.000 % |
444.46/444.75	c |    369261 |    2030   212446   711172 |   112646   108790    129 |  0.000 % |
446.86/447.17	c |    370804 |    2030   212446   711172 | 2147483647   110333    129 |  0.000 % |
449.26/449.58	c |    372498 |    2030   212446   711172 | 2147483647   112027    129 |  0.005 % |
452.36/452.69	c |    374361 |    2030   212446   711172 | 2147483647   113890    129 |  0.005 % |
455.66/455.98	c |    376410 |    2030   212446   711172 | 2147483647   115939    128 |  0.000 % |
458.96/459.26	c |    378663 |    2030   212446   711172 | 2147483647   118192    128 |  0.000 % |
462.45/462.79	c |    381142 |    2030   212446   711172 | 2147483647   120671    128 |  0.000 % |
466.75/467.07	c |    383867 |    2030   212446   711172 | 2147483647   123396    128 |  0.000 % |
471.15/471.49	c |    386864 |    2030   212446   711172 | 2147483647   126393    129 |  0.000 % |
476.05/476.40	c |    390160 |    2030   212446   711172 | 2147483647   129689    129 |  0.000 % |
481.95/482.21	c |    393785 |    2030   212446   711172 | 2147483647   133314    129 |  0.000 % |
482.15/482.40	c |    393887 |    2030   212446   711172 | 2147483647   133416    129 |  0.000 % |
482.35/482.60	c |    393998 |    2030   212446   711172 | 2147483647   133527    129 |  0.000 % |
482.55/482.84	c |    394120 |    2030   212446   711172 | 2147483647   133649    129 |  0.000 % |
482.75/483.02	c |    394253 |    2030   212446   711172 | 2147483647   133782    129 |  0.000 % |
482.95/483.28	c |    394400 |    2030   212446   711172 | 2147483647   133929    129 |  0.005 % |
483.15/483.49	c |    394560 |    2030   212446   711172 | 2147483647   134089    129 |  0.000 % |
483.65/483.92	c |    394737 |    2030   212446   711172 | 2147483647   134266    129 |  0.000 % |
483.95/484.21	c |    394932 |    2030   212446   711172 | 2147483647   134461    129 |  0.000 % |
484.25/484.53	c |    395145 |    2030   212446   711172 | 2147483647   134674    129 |  0.000 % |
484.54/484.89	c |    395380 |    2030   212446   711172 | 2147483647   134909    129 |  0.000 % |
485.04/485.32	c |    395636 |    2030   212446   711172 | 2147483647   135165    129 |  0.000 % |
485.34/485.70	c |    395917 |    2030   212446   711172 | 2147483647   135446    129 |  0.000 % |
485.95/486.26	c |    396227 |    2030   212446   711172 | 2147483647   135756    130 |  0.000 % |
486.44/486.76	c |    396566 |    2030   212446   711172 | 2147483647   136095    129 |  0.000 % |
487.14/487.42	c |    396938 |    2030   212446   711172 | 2147483647   136467    130 |  0.000 % |
487.74/488.06	c |    397347 |    2030   212446   711172 | 2147483647   136876    130 |  0.000 % |
488.34/488.65	c |    397796 |    2030   212446   711172 | 2147483647   137325    130 |  0.000 % |
489.04/489.37	c |    398289 |    2030   212446   711172 | 2147483647   137818    130 |  0.000 % |
489.84/490.17	c |    398831 |    2030   212446   711172 | 2147483647   138360    130 |  0.000 % |
490.74/491.02	c |    399431 |    2030   212446   711172 | 2147483647   138960    130 |  0.000 % |
491.64/491.95	c |    400090 |    2030   212446   711172 |   139530   139619    130 |  0.000 % |
493.04/493.32	c |    400810 |    2030   212446   711172 |   139530   123910    128 |  0.000 % |
494.04/494.38	c |    401604 |    2030   212446   711172 |   139530   124704    128 |  0.006 % |
495.34/495.64	c |    402475 |    2030   212446   711172 |   139530   125575    129 |  0.000 % |
496.94/497.20	c |    403433 |    2030   212446   711172 |   139530   126533    129 |  0.000 % |
498.44/498.75	c |    404486 |    2030   212446   711172 |   139530   127586    129 |  0.000 % |
500.34/500.65	c |    405644 |    2030   212446   711172 |   139530   128744    129 |  0.000 % |
502.44/502.71	c |    406917 |    2030   212446   711172 |   139530   130017    129 |  0.000 % |
504.64/504.90	c |    408317 |    2030   212446   711172 |   139530   131417    129 |  0.000 % |
507.13/507.41	c |    409863 |    2030   212446   711172 |   139530   132963    129 |  0.000 % |
510.14/510.41	c |    411557 |    2030   212446   711172 |   133101   121115    127 |  0.000 % |
513.13/513.46	c |    413422 |    2030   212446   711172 |   133101   122980    129 |  0.000 % |
516.63/516.96	c |    415473 |    2030   212446   711172 |   133101   125031    130 |  0.000 % |
520.53/520.81	c |    417728 |    2030   212446   711172 |   133101   127286    130 |  0.000 % |
524.03/524.35	c |    420207 |    2030   212446   711172 | 2147483647   129765    131 |  0.000 % |
529.02/529.39	c |    422933 |    2030   212446   711172 | 2147483647   132491    131 |  0.000 % |
534.12/534.47	c |    425932 |    2030   212446   711172 | 2147483647   135490    131 |  0.000 % |
539.22/539.58	c |    429228 |    2030   212446   711172 | 2147483647   138786    131 |  0.000 % |
545.32/545.62	c |    432854 |    2030   212446   711172 |   139558   124370    126 |  0.000 % |
551.52/551.80	c |    436841 |    2030   212446   711172 |   139558   128357    126 |  0.000 % |
551.62/551.99	c |    436943 |    2030   212446   711172 |   139558   128459    126 |  0.000 % |
551.82/552.16	c |    437053 |    2030   212446   711172 |   139558   128569    126 |  0.000 % |
552.02/552.35	c |    437174 |    2030   212446   711172 |   139558   128690    126 |  0.000 % |
552.22/552.53	c |    437309 |    2030   212446   711172 |   139558   128825    126 |  0.000 % |
552.42/552.74	c |    437455 |    2030   212446   711172 |   139558   128971    126 |  0.006 % |
552.62/552.96	c |    437616 |    2030   212446   711172 |   139558   129132    126 |  0.000 % |
552.82/553.18	c |    437793 |    2030   212446   711172 |   139558   129309    126 |  0.000 % |
553.12/553.44	c |    437986 |    2030   212446   711172 |   139558   129502    126 |  0.004 % |
553.52/553.82	c |    438200 |    2030   212446   711172 |   139558   129716    126 |  0.000 % |
553.92/554.23	c |    438434 |    2030   212446   711172 |   139558   129950    126 |  0.000 % |
554.22/554.55	c |    438690 |    2030   212446   711172 |   139558   130206    126 |  0.000 % |
554.61/554.90	c |    438972 |    2030   212446   711172 |   139558   130488    126 |  0.006 % |
554.91/555.30	c |    439281 |    2030   212446   711172 |   139558   130797    126 |  0.006 % |
555.31/555.69	c |    439620 |    2030   212446   711172 |   139558   131136    126 |  0.000 % |
555.81/556.19	c |    439992 |    2030   212446   711172 |   139558   131508    126 |  0.000 % |
556.61/556.92	c |    440402 |    2030   212446   711172 |   131517   131918    126 |  0.005 % |
557.32/557.70	c |    440853 |    2030   212446   711172 |   131517   116557    119 |  0.004 % |
557.81/558.14	c |    441347 |    2030   212446   711172 |   131517   117051    119 |  0.006 % |
558.52/558.81	c |    441892 |    2030   212446   711172 |   131517   117596    119 |  0.000 % |
559.11/559.49	c |    442488 |    2030   212446   711172 |   131517   118192    119 |  0.000 % |
559.91/560.25	c |    443145 |    2030   212446   711172 |   131517   118849    119 |  0.005 % |
560.81/561.12	c |    443867 |    2030   212446   711172 |   131517   119571    119 |  0.005 % |
561.71/562.02	c |    444659 |    2030   212446   711172 |   131517   120363    119 |  0.005 % |
562.62/562.92	c |    445530 |    2030   212446   711172 |   131517   121234    119 |  0.000 % |
564.02/564.38	c |    446488 |    2030   212446   711172 |   131517   122192    119 |  0.000 % |
565.62/565.96	c |    447543 |    2030   212446   711172 |   131517   123247    119 |  0.000 % |
567.32/567.66	c |    448702 |    2030   212446   711172 |   131517   124406    120 |  0.000 % |
569.22/569.56	c |    449975 |    2030   212446   711172 |   131517   125679    121 |  0.000 % |
570.72/571.06	c |    451376 |    2030   212446   711172 | 2147483647   127080    121 |  0.000 % |
572.62/572.90	c |    452916 |    2030   212446   711172 | 2147483647   128620    121 |  0.000 % |
574.92/575.22	c |    454610 |    2030   212446   711172 | 2147483647   130314    122 |  0.000 % |
577.41/577.70	c |    456474 |    2030   212446   711172 | 2147483647   132178    122 |  0.000 % |
580.11/580.49	c |    458525 |    2030   212446   711172 | 2147483647   134229    122 |  0.000 % |
583.01/583.32	c |    460778 |    2030   212446   711172 | 2147483647   136482    123 |  0.000 % |
586.91/587.21	c |    463257 |    2030   212446   711172 | 2147483647   138961    124 |  0.000 % |
590.61/590.98	c |    465982 |    2030   212446   711172 | 2147483647   141686    125 |  0.000 % |
595.71/596.01	c |    468984 |    2030   212446   711172 | 2147483647   144688    126 |  0.000 % |
601.60/601.97	c |    472280 |    2030   212446   711172 |   145704   127477    122 |  0.000 % |
607.70/608.01	c |    475908 |    2030   212446   711172 |   145704   131105    124 |  0.000 % |
614.30/614.62	c |    479897 |    2030   212446   711172 |   145704   135094    125 |  0.000 % |
621.40/621.77	c |    484282 |    2030   212446   711172 |   135197   120168    125 |  0.000 % |
621.60/621.96	c |    484382 |    2030   212446   711172 |   135197   120268    125 |  0.000 % |
621.80/622.14	c |    484493 |    2030   212446   711172 |   135197   120379    125 |  0.000 % |
622.00/622.39	c |    484618 |    2030   212446   711172 |   135197   120504    125 |  0.000 % |
622.20/622.56	c |    484751 |    2030   212446   711172 |   135197   120637    125 |  0.000 % |
622.50/622.82	c |    484898 |    2030   212446   711172 |   135197   120784    125 |  0.000 % |
622.80/623.10	c |    485058 |    2030   212446   711172 |   135197   120944    125 |  0.000 % |
623.10/623.42	c |    485234 |    2030   212446   711172 |   135197   121120    126 |  0.000 % |
623.30/623.69	c |    485428 |    2030   212446   711172 |   135197   121314    126 |  0.000 % |
623.60/623.98	c |    485643 |    2030   212446   711172 |   135197   121529    126 |  0.000 % |
624.00/624.30	c |    485878 |    2030   212446   711172 |   135197   121764    126 |  0.006 % |
624.29/624.67	c |    486134 |    2030   212446   711172 |   135197   122020    126 |  0.000 % |
624.79/625.15	c |    486417 |    2030   212446   711172 |   135197   122303    126 |  0.000 % |
625.19/625.54	c |    486727 |    2030   212446   711172 |   135197   122613    126 |  0.000 % |
625.69/626.05	c |    487069 |    2030   212446   711172 |   135197   122955    126 |  0.000 % |
626.29/626.69	c |    487443 |    2030   212446   711172 |   135197   123329    126 |  0.000 % |
627.09/627.41	c |    487854 |    2030   212446   711172 |   135197   123740    126 |  0.000 % |
627.89/628.21	c |    488303 |    2030   212446   711172 |   135197   124189    126 |  0.000 % |
628.69/629.04	c |    488797 |    2030   212446   711172 |   135197   124683    126 |  0.000 % |
629.59/629.94	c |    489341 |    2030   212446   711172 |   135197   125227    126 |  0.000 % |
630.49/630.88	c |    489939 |    2030   212446   711172 |   135197   125825    126 |  0.000 % |
631.39/631.76	c |    490596 |    2030   212446   711172 |   125889   126482    127 |  0.000 % |
632.69/633.02	c |    491316 |    2030   212446   711172 |   125889   112940    125 |  0.000 % |
633.79/634.13	c |    492110 |    2030   212446   711172 |   125889   113734    125 |  0.000 % |
634.79/635.11	c |    492982 |    2030   212446   711172 |   125889   114606    125 |  0.000 % |
635.99/636.30	c |    493940 |    2030   212446   711172 |   125889   115564    125 |  0.000 % |
637.49/637.82	c |    494996 |    2030   212446   711172 |   125889   116620    126 |  0.000 % |
638.99/639.39	c |    496154 |    2030   212446   711172 |   125889   117778    127 |  0.000 % |
641.19/641.58	c |    497429 |    2030   212446   711172 |   125889   119053    128 |  0.000 % |
643.39/643.71	c |    498830 |    2030   212446   711172 |   125889   120454    128 |  0.000 % |
645.49/645.85	c |    500371 |    2030   212446   711172 | 2147483647   121995    128 |  0.000 % |
648.18/648.56	c |    502065 |    2030   212446   711172 | 2147483647   123689    129 |  0.000 % |
651.38/651.71	c |    503929 |    2030   212446   711172 | 2147483647   125553    130 |  0.000 % |
654.19/654.59	c |    505980 |    2030   212446   711172 | 2147483647   127604    131 |  0.000 % |
657.88/658.24	c |    508234 |    2030   212446   711172 | 2147483647   129858    131 |  0.000 % |
662.88/663.22	c |    510716 |    2030   212446   711172 |   131627   132340    131 |  0.000 % |
667.38/667.72	c |    513442 |    2030   212446   711172 |   131627   119445    127 |  0.000 % |
671.68/672.04	c |    516439 |    2030   212446   711172 |   131627   122442    128 |  0.000 % |
676.77/677.12	c |    519736 |    2030   212446   711172 |   131627   125739    128 |  0.007 % |
681.97/682.35	c |    523363 |    2030   212446   711172 |   126003   115548    127 |  0.000 % |
687.57/687.94	c |    527351 |    2030   212446   711172 |   126003   119536    127 |  0.006 % |
695.07/695.42	c |    531739 |    2030   212446   711172 |   122187   109342    127 |  0.000 % |
702.86/703.27	c |    536562 |    2030   212446   711172 |   122187   114165    127 |  0.000 % |
703.16/703.53	c |    536662 |    2030   212446   711172 |   122187   114265    128 |  0.000 % |
703.36/703.74	c |    536775 |    2030   212446   711172 |   122187   114378    128 |  0.000 % |
703.57/703.92	c |    536897 |    2030   212446   711172 |   122187   114500    128 |  0.000 % |
703.67/704.09	c |    537032 |    2030   212446   711172 |   122187   114635    128 |  0.006 % |
704.06/704.45	c |    537179 |    2030   212446   711172 |   122187   114782    128 |  0.000 % |
704.36/704.72	c |    537339 |    2030   212446   711172 |   122187   114942    128 |  0.000 % |
704.67/705.02	c |    537515 |    2030   212446   711172 |   122187   115118    128 |  0.000 % |
705.06/705.42	c |    537708 |    2030   212446   711172 |   122187   115311    128 |  0.000 % |
705.36/705.77	c |    537922 |    2030   212446   711172 |   122187   115525    128 |  0.000 % |
705.86/706.21	c |    538155 |    2030   212446   711172 |   122187   115758    128 |  0.000 % |
706.26/706.62	c |    538411 |    2030   212446   711172 |   122187   116014    128 |  0.000 % |
706.66/707.05	c |    538692 |    2030   212446   711172 |   122187   116295    128 |  0.000 % |
707.26/707.60	c |    539001 |    2030   212446   711172 |   122187   116604    128 |  0.000 % |
707.86/708.20	c |    539340 |    2030   212446   711172 |   122187   116943    129 |  0.000 % |
708.46/708.83	c |    539713 |    2030   212446   711172 |   122187   117316    129 |  0.000 % |
709.06/709.43	c |    540122 |    2030   212446   711172 | 2147483647   117725    129 |  0.000 % |
709.76/710.13	c |    540571 |    2030   212446   711172 | 2147483647   118174    129 |  0.000 % |
710.66/711.02	c |    541064 |    2030   212446   711172 | 2147483647   118667    129 |  0.000 % |
711.76/712.16	c |    541607 |    2030   212446   711172 | 2147483647   119210    130 |  0.000 % |
712.66/713.04	c |    542203 |    2030   212446   711172 | 2147483647   119806    130 |  0.000 % |
713.66/714.07	c |    542860 |    2030   212446   711172 | 2147483647   120463    130 |  0.000 % |
715.06/715.43	c |    543580 |    2030   212446   711172 | 2147483647   121183    131 |  0.005 % |
716.46/716.88	c |    544372 |    2030   212446   711172 | 2147483647   121975    131 |  0.000 % |
717.86/718.28	c |    545245 |    2030   212446   711172 | 2147483647   122848    132 |  0.000 % |
719.45/719.87	c |    546204 |    2030   212446   711172 | 2147483647   123807    132 |  0.000 % |
721.16/721.54	c |    547258 |    2030   212446   711172 | 2147483647   124861    132 |  0.000 % |
722.75/723.14	c |    548419 |    2030   212446   711172 | 2147483647   126022    132 |  0.000 % |
724.75/725.18	c |    549693 |    2030   212446   711172 | 2147483647   127296    132 |  0.000 % |
727.15/727.56	c |    551094 |    2030   212446   711172 |   127603   114339    127 |  0.000 % |
729.75/730.12	c |    552635 |    2030   212446   711172 |   127603   115880    129 |  0.000 % |
732.45/732.87	c |    554329 |    2030   212446   711172 |   127603   117574    130 |  0.000 % |
735.55/735.99	c |    556197 |    2030   212446   711172 |   127603   119442    131 |  0.000 % |
739.55/739.93	c |    558246 |    2030   212446   711172 |   127603   121491    131 |  0.000 % |
743.15/743.54	c |    560500 |    2030   212446   711172 |   123248   123745    132 |  0.000 % |
747.44/747.80	c |    562983 |    2030   212446   711172 |   123248   109403    129 |  0.000 % |
751.84/752.27	c |    565708 |    2030   212446   711172 |   123248   112128    131 |  0.000 % |
757.44/757.81	c |    568705 |    2030   212446   711172 |   123248   115125    132 |  0.000 % |
764.04/764.42	c |    572001 |    2030   212446   711172 |   116422   105612    131 |  0.000 % |
771.84/772.25	c |    575626 |    2030   212446   711172 |   116422   109237    133 |  0.000 % |
779.43/779.85	c |    579613 |    2030   212446   711172 |   116422   113224    134 |  0.000 % |
787.93/788.31	c |    583998 |    2030   212446   711172 |   113612   102694    128 |  0.000 % |
796.52/796.99	c |    588822 |    2030   212446   711172 |   113612   107518    129 |  0.000 % |
805.02/805.47	c |    594127 |    2030   212446   711172 |   108696   101160    130 |  0.000 % |
805.22/805.63	c |    594227 |    2030   212446   711172 |   108696   101260    130 |  0.000 % |
805.42/805.83	c |    594337 |    2030   212446   711172 |   108696   101370    130 |  0.000 % |
805.62/806.04	c |    594458 |    2030   212446   711172 |   108696   101491    130 |  0.000 % |
805.82/806.23	c |    594592 |    2030   212446   711172 |   108696   101625    130 |  0.000 % |
806.22/806.68	c |    594738 |    2030   212446   711172 |   108696   101771    130 |  0.000 % |
806.52/806.98	c |    594898 |    2030   212446   711172 |   108696   101931    130 |  0.000 % |
806.82/807.23	c |    595075 |    2030   212446   711172 |   108696   102108    130 |  0.000 % |
807.22/807.61	c |    595268 |    2030   212446   711172 |   108696   102301    130 |  0.000 % |
807.52/807.98	c |    595481 |    2030   212446   711172 |   108696   102514    130 |  0.000 % |
808.02/808.44	c |    595716 |    2030   212446   711172 |   108696   102749    131 |  0.000 % |
808.42/808.88	c |    595972 |    2030   212446   711172 |   108696   103005    131 |  0.000 % |
808.92/809.32	c |    596254 |    2030   212446   711172 |   108696   103287    131 |  0.000 % |
809.32/809.75	c |    596566 |    2030   212446   711172 |   108696   103599    131 |  0.000 % |
810.02/810.42	c |    596906 |    2030   212446   711172 |   108696   103939    131 |  0.000 % |
810.52/810.99	c |    597278 |    2030   212446   711172 |   108696   104311    131 |  0.000 % |
811.22/811.62	c |    597688 |    2030   212446   711172 |   108696   104721    131 |  0.000 % |
811.82/812.29	c |    598139 |    2030   212446   711172 |   108696   105172    131 |  0.000 % |
812.62/813.07	c |    598632 |    2030   212446   711172 |   108696   105665    131 |  0.000 % |
813.42/813.83	c |    599175 |    2030   212446   711172 |   108696   106208    131 |  0.000 % |
814.31/814.72	c |    599772 |    2030   212446   711172 |   108696   106805    131 |  0.000 % |
815.31/815.75	c |    600427 |    2030   212446   711172 | 2147483647   107460    131 |  0.000 % |
816.31/816.78	c |    601147 |    2030   212446   711172 | 2147483647   108180    131 |  0.000 % |
817.61/818.10	c |    601941 |    2030   212446   711172 | 2147483647   108974    131 |  0.000 % |
818.91/819.37	c |    602813 |    2030   212446   711172 | 2147483647   109846    132 |  0.006 % |
820.51/820.98	c |    603771 |    2030   212446   711172 | 2147483647   110804    132 |  0.000 % |
822.21/822.60	c |    604824 |    2030   212446   711172 | 2147483647   111857    132 |  0.000 % |
824.01/824.48	c |    605982 |    2030   212446   711172 | 2147483647   113015    132 |  0.000 % |
826.41/826.89	c |    607255 |    2030   212446   711172 | 2147483647   114288    132 |  0.000 % |
828.31/828.75	c |    608657 |    2030   212446   711172 | 2147483647   115690    133 |  0.000 % |
830.71/831.12	c |    610197 |    2030   212446   711172 | 2147483647   117230    133 |  0.000 % |
833.21/833.68	c |    611892 |    2030   212446   711172 | 2147483647   118925    133 |  0.000 % |
836.11/836.57	c |    613755 |    2030   212446   711172 | 2147483647   120788    133 |  0.000 % |
839.71/840.10	c |    615804 |    2030   212446   711172 | 2147483647   122837    133 |  0.000 % |
843.21/843.70	c |    618057 |    2030   212446   711172 | 2147483647   125090    133 |  0.000 % |
847.40/847.85	c |    620538 |    2030   212446   711172 |   127033   127571    134 |  0.000 % |
853.50/853.90	c |    623264 |    2030   212446   711172 |   127033   115753    138 |  0.000 % |
860.60/861.08	c |    626261 |    2030   212446   711172 |   127033   118750    139 |  0.000 % |
867.80/868.20	c |    629557 |    2030   212446   711172 |   127033   122046    140 |  0.000 % |
876.49/876.95	c |    633184 |    2030   212446   711172 |   122489   111834    139 |  0.000 % |
882.99/883.44	c |    637171 |    2030   212446   711172 |   122489   115821    141 |  0.000 % |
890.99/891.44	c |    641557 |    2030   212446   711172 |   118650   106225    139 |  0.000 % |
901.38/901.83	c |    646384 |    2030   212446   711172 |   118650   111052    143 |  0.000 % |
909.18/909.61	c |    651689 |    2030   212446   711172 | 2147483647   116357    146 |  0.000 % |
920.58/921.02	c |    657524 |    2030   212446   711172 | 2147483647   122192    147 |  0.000 % |
920.88/921.31	c |    657624 |    2030   212446   711172 | 2147483647   122292    147 |  0.000 % |
921.08/921.52	c |    657734 |    2030   212446   711172 | 2147483647   122402    147 |  0.000 % |
921.28/921.75	c |    657855 |    2030   212446   711172 | 2147483647   122523    147 |  0.000 % |
921.47/921.97	c |    657988 |    2030   212446   711172 | 2147483647   122656    147 |  0.000 % |
921.77/922.26	c |    658134 |    2030   212446   711172 | 2147483647   122802    147 |  0.000 % |
922.07/922.53	c |    658295 |    2030   212446   711172 | 2147483647   122963    147 |  0.000 % |
922.38/922.89	c |    658473 |    2030   212446   711172 | 2147483647   123141    147 |  0.000 % |
922.67/923.16	c |    658667 |    2030   212446   711172 | 2147483647   123335    147 |  0.000 % |
922.97/923.42	c |    658879 |    2030   212446   711172 | 2147483647   123547    147 |  0.000 % |
923.27/923.80	c |    659113 |    2030   212446   711172 | 2147483647   123781    147 |  0.000 % |
923.77/924.28	c |    659369 |    2030   212446   711172 | 2147483647   124037    147 |  0.000 % |
924.17/924.69	c |    659650 |    2030   212446   711172 | 2147483647   124318    147 |  0.000 % |
924.97/925.47	c |    659959 |    2030   212446   711172 | 2147483647   124627    147 |  0.000 % |
925.57/926.07	c |    660299 |    2030   212446   711172 |   124669   124967    148 |  0.000 % |
926.27/926.79	c |    660674 |    2030   212446   711172 |   124669   109707    141 |  0.000 % |
927.07/927.58	c |    661084 |    2030   212446   711172 |   124669   110117    141 |  0.000 % |
927.88/928.38	c |    661535 |    2030   212446   711172 |   124669   110568    141 |  0.000 % |
928.87/929.36	c |    662029 |    2030   212446   711172 |   124669   111062    142 |  0.000 % |
929.87/930.30	c |    662572 |    2030   212446   711172 |   124669   111605    142 |  0.000 % |
930.97/931.43	c |    663168 |    2030   212446   711172 |   124669   112201    143 |  0.000 % |
931.87/932.37	c |    663825 |    2030   212446   711172 |   124669   112858    143 |  0.000 % |
933.27/933.79	c |    664546 |    2030   212446   711172 |   124669   113579    143 |  0.000 % |
934.77/935.25	c |    665339 |    2030   212446   711172 |   124669   114372    144 |  0.000 % |
936.37/936.84	c |    666210 |    2030   212446   711172 |   124669   115243    144 |  0.000 % |
938.07/938.53	c |    667169 |    2030   212446   711172 |   124669   116202    145 |  0.000 % |
939.97/940.45	c |    668224 |    2030   212446   711172 |   124669   117257    145 |  0.000 % |
941.87/942.37	c |    669383 |    2030   212446   711172 |   124669   118416    146 |  0.000 % |
943.96/944.40	c |    670658 |    2030   212446   711172 |   119033   119691    146 |  0.000 % |
946.26/946.71	c |    672058 |    2030   212446   711172 |   119033   106681    146 |  0.000 % |
949.36/949.80	c |    673598 |    2030   212446   711172 |   119033   108221    147 |  0.000 % |
952.46/952.96	c |    675292 |    2030   212446   711172 |   119033   109915    148 |  0.000 % |
956.26/956.77	c |    677156 |    2030   212446   711172 |   119033   111779    149 |  0.000 % |
959.56/960.07	c |    679205 |    2030   212446   711172 |   119033   113828    150 |  0.000 % |
964.26/964.72	c |    681458 |    2030   212446   711172 |   114624   101618    150 |  0.000 % |
968.66/969.14	c |    683939 |    2030   212446   711172 |   114624   104099    151 |  0.000 % |
973.15/973.69	c |    686665 |    2030   212446   711172 |   114624   106825    151 |  0.000 % |
978.95/979.46	c |    689662 |    2030   212446   711172 |   114624   109822    151 |  0.000 % |
984.35/984.82	c |    692959 |    2030   212446   711172 |   110163    99031    150 |  0.000 % |
990.35/990.82	c |    696584 |    2030   212446   711172 |   110163   102656    149 |  0.000 % |
998.35/998.87	c |    700576 |    2030   212446   711172 |   106072   106648    152 |  0.000 % |
1006.24/1006.72	c |    704962 |    2030   212446   711172 |   106072    97680    148 |  0.000 % |
1014.84/1015.38	c |    709785 |    2030   212446   711172 |   106072   102503    151 |  0.000 % |
1024.43/1024.92	c |    715091 |    2030   212446   711172 |   102718    96192    148 |  0.000 % |
1035.43/1035.91	c |    720929 |    2030   212446   711172 |   101101   102030    152 |  0.000 % |
1045.33/1045.80	c |    727347 |    2030   212446   711172 |   101101    96618    151 |  0.000 % |
1045.43/1045.94	c |    727450 |    2030   212446   711172 |   101101    96721    151 |  0.000 % |
1045.63/1046.12	c |    727560 |    2030   212446   711172 |   101101    96831    151 |  0.000 % |
1045.93/1046.43	c |    727681 |    2030   212446   711172 |   101101    96952    151 |  0.000 % |
1046.23/1046.73	c |    727816 |    2030   212446   711172 |   101101    97087    151 |  0.000 % |
1046.53/1047.03	c |    727962 |    2030   212446   711172 |   101101    97233    151 |  0.000 % |
1046.83/1047.39	c |    728125 |    2030   212446   711172 |   101101    97396    151 |  0.000 % |
1047.23/1047.73	c |    728301 |    2030   212446   711172 |   101101    97572    151 |  0.006 % |
1047.53/1048.08	c |    728495 |    2030   212446   711172 |   101101    97766    151 |  0.000 % |
1047.92/1048.45	c |    728707 |    2030   212446   711172 |   101101    97978    151 |  0.000 % |
1048.22/1048.79	c |    728940 |    2030   212446   711172 |   101101    98211    151 |  0.000 % |
1048.72/1049.21	c |    729196 |    2030   212446   711172 |   101101    98467    151 |  0.000 % |
1049.22/1049.71	c |    729477 |    2030   212446   711172 |   101101    98748    151 |  0.000 % |
1049.82/1050.31	c |    729787 |    2030   212446   711172 |   101101    99058    151 |  0.000 % |
1050.43/1050.94	c |    730126 |    2030   212446   711172 |    99271    99397    151 |  0.000 % |
1051.22/1051.79	c |    730499 |    2030   212446   711172 |    99271    89171    149 |  0.000 % |
1051.92/1052.42	c |    730909 |    2030   212446   711172 |    99271    89581    149 |  0.000 % |
1052.72/1053.29	c |    731358 |    2030   212446   711172 |    99271    90030    149 |  0.007 % |
1053.52/1054.04	c |    731851 |    2030   212446   711172 |    99271    90523    149 |  0.000 % |
1054.22/1054.80	c |    732395 |    2030   212446   711172 |    99271    91067    149 |  0.000 % |
1055.32/1055.86	c |    732995 |    2030   212446   711172 |    99271    91667    149 |  0.000 % |
1056.42/1056.95	c |    733655 |    2030   212446   711172 |    99271    92327    150 |  0.000 % |
1057.72/1058.22	c |    734375 |    2030   212446   711172 |    99271    93047    150 |  0.000 % |
1059.22/1059.71	c |    735168 |    2030   212446   711172 |    99271    93840    150 |  0.000 % |
1060.92/1061.40	c |    736039 |    2030   212446   711172 |    99271    94711    150 |  0.000 % |
1062.92/1063.46	c |    736997 |    2030   212446   711172 |    99271    95669    151 |  0.000 % |
1065.02/1065.50	c |    738051 |    2030   212446   711172 |    99271    96723    151 |  0.000 % |
1067.52/1068.06	c |    739209 |    2030   212446   711172 |    99271    97881    153 |  0.000 % |
1069.72/1070.22	c |    740483 |    2030   212446   711172 |    98673    99155    153 |  0.000 % |
1071.92/1072.50	c |    741883 |    2030   212446   711172 |    98673    88105    148 |  0.000 % |
1074.71/1075.28	c |    743425 |    2030   212446   711172 |    98673    89647    149 |  0.000 % |
1078.31/1078.82	c |    745121 |    2030   212446   711172 |    98673    91343    150 |  0.000 % |
1081.91/1082.40	c |    746987 |    2030   212446   711172 |    98673    93209    151 |  0.000 % |
1085.61/1086.15	c |    749036 |    2030   212446   711172 |    98673    95258    152 |  0.000 % |
1090.61/1091.15	c |    751289 |    2030   212446   711172 |    96224    84515    154 |  0.000 % |
1095.51/1096.08	c |    753767 |    2030   212446   711172 |    96224    86993    156 |  0.000 % |
1100.70/1101.27	c |    756493 |    2030   212446   711172 |    96224    89719    156 |  0.000 % |
1106.20/1106.71	c |    759490 |    2030   212446   711172 |    96224    92716    156 |  0.000 % |
1111.80/1112.39	c |    762787 |    2030   212446   711172 |    93229    82710    154 |  0.000 % |
1117.50/1118.09	c |    766412 |    2030   212446   711172 |    93229    86335    154 |  0.000 % |
1123.70/1124.29	c |    770399 |    2030   212446   711172 |    89924    90322    154 |  0.000 % |
1131.49/1132.09	c |    774785 |    2030   212446   711172 |    89924    84150    148 |  0.000 % |
1141.09/1141.62	c |    779609 |    2030   212446   711172 |    89924    88974    149 |  0.000 % |
1150.78/1151.30	c |    784915 |    2030   212446   711172 |    89365    82892    142 |  0.000 % |
1161.18/1161.78	c |    790750 |    2030   212446   711172 |    87979    88727    143 |  0.000 % |
1171.88/1172.43	c |    797171 |    2030   212446   711172 |    87979    84483    140 |  0.000 % |
1182.98/1183.57	c |    804233 |    2030   212446   711172 | 2147483647    91545    141 |  0.000 % |
1183.17/1183.72	c |    804333 |    2030   212446   711172 | 2147483647    91645    141 |  0.000 % |
1183.27/1183.88	c |    804446 |    2030   212446   711172 | 2147483647    91758    141 |  0.000 % |
1183.57/1184.14	c |    804567 |    2030   212446   711172 | 2147483647    91879    141 |  0.000 % |
1183.87/1184.43	c |    804700 |    2030   212446   711172 | 2147483647    92012    141 |  0.000 % |
1184.18/1184.73	c |    804849 |    2030   212446   711172 | 2147483647    92161    141 |  0.000 % |
1184.47/1185.00	c |    805009 |    2030   212446   711172 | 2147483647    92321    141 |  0.000 % |
1184.77/1185.32	c |    805186 |    2030   212446   711172 | 2147483647    92498    141 |  0.000 % |
1184.97/1185.60	c |    805382 |    2030   212446   711172 | 2147483647    92694    141 |  0.000 % |
1185.37/1185.97	c |    805596 |    2030   212446   711172 | 2147483647    92908    141 |  0.000 % |
1185.87/1186.42	c |    805829 |    2030   212446   711172 | 2147483647    93141    142 |  0.000 % |
1186.37/1186.95	c |    806086 |    2030   212446   711172 | 2147483647    93398    142 |  0.000 % |
1186.87/1187.45	c |    806369 |    2030   212446   711172 | 2147483647    93681    142 |  0.000 % |
1187.37/1187.98	c |    806679 |    2030   212446   711172 | 2147483647    93991    142 |  0.000 % |
1187.97/1188.53	c |    807018 |    2030   212446   711172 | 2147483647    94330    142 |  0.000 % |
1188.67/1189.23	c |    807393 |    2030   212446   711172 | 2147483647    94705    143 |  0.000 % |
1189.47/1190.02	c |    807802 |    2030   212446   711172 | 2147483647    95114    143 |  0.000 % |
1190.07/1190.68	c |    808251 |    2030   212446   711172 | 2147483647    95563    143 |  0.000 % |
1190.97/1191.56	c |    808745 |    2030   212446   711172 | 2147483647    96057    143 |  0.000 % |
1191.77/1192.36	c |    809287 |    2030   212446   711172 | 2147483647    96599    144 |  0.000 % |
1192.77/1193.36	c |    809883 |    2030   212446   711172 | 2147483647    97195    144 |  0.000 % |
1193.57/1194.17	c |    810538 |    2030   212446   711172 | 2147483647    97850    144 |  0.000 % |
1194.97/1195.52	c |    811260 |    2030   212446   711172 | 2147483647    98572    144 |  0.000 % |
1196.07/1196.60	c |    812052 |    2030   212446   711172 | 2147483647    99364    145 |  0.000 % |
1197.67/1198.25	c |    812923 |    2030   212446   711172 | 2147483647   100235    145 |  0.000 % |
1199.16/1199.71	c |    813882 |    2030   212446   711172 | 2147483647   101194    146 |  0.000 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19392
/proc/meminfo: memFree=1654968/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=0
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310840160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19392/statm: 1339 237 197 169 0 50 0

[startup+0.0972649 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19392
/proc/meminfo: memFree=1654968/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=0
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310840160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101265 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19392
/proc/meminfo: memFree=1654968/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=0
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310840160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301306 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19392
/proc/meminfo: memFree=1654968/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=0
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310840160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701387 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19392
/proc/meminfo: memFree=1654968/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=0
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310840160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19392/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50155 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 19397
/proc/meminfo: memFree=1637216/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 5356

[startup+3.10187 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1638048/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=15476 CPUtime=1.7
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 3667 0 0 0 168 2 0 0 25 0 1 0 310840299 15847424 3653 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 3869 3653 77 171 0 3696 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20832

[startup+6.30153 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1631648/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=21020 CPUtime=4.89
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 5062 0 0 0 486 3 0 0 25 0 1 0 310840299 21524480 5048 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 5255 5048 77 171 0 5082 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 26376

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1622512/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=29652 CPUtime=11.3
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 7198 0 0 0 1124 6 0 0 25 0 1 0 310840299 30363648 7184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 7413 7184 77 171 0 7240 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35008

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1608176/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=43460 CPUtime=24.08
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 10674 0 0 0 2399 9 0 0 25 0 1 0 310840299 44503040 10660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 10865 10660 77 171 0 10692 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 48816

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1587312/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=64624 CPUtime=49.67
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 15928 0 0 0 4952 15 0 0 25 0 1 0 310840299 66174976 15914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 16156 15914 77 171 0 15983 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69980

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1557360/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=94204 CPUtime=100.85
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 23293 0 0 0 10061 24 0 0 25 0 1 0 310840299 96464896 23279 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 23551 23279 77 171 0 23378 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 99560

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1529840/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=121580 CPUtime=160.81
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30189 0 0 0 16051 30 0 0 25 0 1 0 310840299 124497920 30175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30395 30175 77 171 0 30222 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 126936

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527856/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=220.78
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30611 0 0 0 22048 30 0 0 25 0 1 0 310840299 126263296 30597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30597 77 171 0 30653 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 128660

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527792/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=280.75
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30611 0 0 0 28045 30 0 0 25 0 1 0 310840299 126263296 30597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30597 77 171 0 30653 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 128660

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527728/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=340.73
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30611 0 0 0 34043 30 0 0 25 0 1 0 310840299 126263296 30597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30597 77 171 0 30653 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 128660

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527664/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=400.7
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 40040 30 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 128660

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527536/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38

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

/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 128660

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527344/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=580.63
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 58032 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 128660

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527280/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=640.61
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 64030 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134532958 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 128660

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527216/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=700.58
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 70027 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 128660

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527216/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=760.56
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 76025 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 128660

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527280/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=820.53
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 82022 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 128660

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527216/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=880.51
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 88020 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 128660

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527216/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=940.49
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 94018 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 128660

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527088/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=1000.46
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 100015 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 128660

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527024/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=1060.44
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 106013 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 128660

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1527024/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=1120.41
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 112010 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 128660

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1526896/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=1180.39
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 118008 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 128660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19398
/proc/meminfo: memFree=1526896/2055920 swapFree=4180520/4192956
[pid=19392] ppid=19390 vsize=5356 CPUtime=1.38
/proc/19392/stat : 19392 (SatELiteGTI) S 19390 19392 19105 0 -1 4194304 336 4667 0 0 0 0 134 4 16 0 1 0 310840160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19392/statm: 1339 239 197 169 0 50 0
[pid=19398] ppid=19392 vsize=123304 CPUtime=1198.69
/proc/19398/stat : 19398 (minisat_static) R 19392 19392 19105 0 -1 4194304 30613 0 0 0 119838 31 0 0 25 0 1 0 310840299 126263296 30599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19398/statm: 30826 30599 77 171 0 30653 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 128660

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 19392 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=345795
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=42993
# CPU time returned by wait4() is 1.38879
# 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.72
CPU system time (s): 0.35
CPU usage (%): 99.9549
Max. virtual memory (cumulated for all children) (KiB): 128660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.34579
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5003
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= 13
involuntary context switches= 8

runsolver used 1.04484 second user time and 3.42448 second system time

The end

Launcher Data 

Begin job on node80 at 2009-05-20 16:01:52
IDJOB=1834115
IDBENCH=71428
IDSOLVER=671
FILE ID=node80/1834115-1242828112
PBS_JOBID= 9322527
Free space on /tmp= 66152 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834115-1242828112/watcher-1834115-1242828112 -o /tmp/evaluation-result-1834115-1242828112/solver-1834115-1242828112 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834115-1242828112.cnf

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

MD5SUM BENCH= 5301921bbf5d6337937a0fa8d34aaf48
RANDOM SEED=1532090065

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1655448 kB
Buffers:         52580 kB
Cached:         295908 kB
SwapCached:       7152 kB
Active:         141532 kB
Inactive:       215776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655448 kB
SwapTotal:     4192956 kB
SwapFree:      4180520 kB
Dirty:            4376 kB
Writeback:           0 kB
Mapped:          13500 kB
Slab:            29104 kB
Committed_AS:  1125864 kB
PageTables:       1388 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= 66144 MiB
End job on node80 at 2009-05-20 16:21:55