Trace number 1820896

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.02 1200.05

General information on the benchmark

NameAPPLICATIONS/
bitverif/minxor/minxor128.cnf
MD5SUM10b48467ea3d951975cb9264f0b654fe
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables54258
Number of clauses160469
Sum of the clauses size374425
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2106978
Number of clauses of size 353489
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.12/0.15	c ==============================================================================
0.12/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.15	c ==============================================================================
0.12/0.15	c |         0 |  160467   374423 |   48140       0        0     nan |  0.000 % |
4.92/4.99	c |         0 |   63354   307031 |      --       0       --      -- |     --   | -97071/-67291
4.92/4.99	c ==============================================================================
4.92/4.99	c Result  :   #vars: 5505   #clauses: 63354   #literals: 307031
4.92/4.99	c CPU time:   4.86 s
4.92/4.99	c ==============================================================================
5.02/5.09	c This is MiniSat 2.0 beta
5.02/5.09	c WARNING: for repeatability, setting FPU to use double precision
5.02/5.09	c ============================[ Problem Statistics ]=============================
5.02/5.09	c |                                                                             |
5.02/5.09	c |  Number of variables:  5505                                                 |
5.02/5.09	c |  Number of clauses:    63354                                                |
5.09/5.14	c |  Parsing time:         0.04         s                                       |
5.09/5.15	c ============================[ Search Statistics ]==============================
5.09/5.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.09/5.15	c ===============================================================================
5.09/5.15	c |         0 |    5505    63354   307031 |    21118        0    nan |  0.000 % |
5.09/5.19	c |       100 |    5505    63354   307031 |    21118      100     12 |  0.000 % |
5.09/5.28	c |       200 |    5505    63354   307031 |    21118      200     11 |  0.000 % |
5.09/5.36	c |       300 |    5505    63354   307031 |    21118      300     11 |  0.000 % |
5.09/5.40	c |       410 |    5505    63354   307031 |    21118      410     10 |  0.000 % |
5.42/5.44	c |       510 |    5505    63354   307031 |    21118      510     10 |  0.000 % |
5.42/5.45	c |       621 |    5505    63354   307031 |    21118      621     13 |  0.000 % |
5.42/5.46	c |       743 |    5505    63354   307031 |    21118      743     13 |  0.000 % |
5.42/5.48	c |       843 |    5505    63354   307031 |    21118      843     13 |  0.000 % |
5.61/5.64	c |       954 |    5505    63354   307031 |    21118      954     13 |  0.000 % |
5.61/5.68	c |      1077 |    5505    63354   307031 |    21118     1077     12 |  0.000 % |
5.61/5.69	c |      1210 |    5505    63354   307031 |    21118     1210     13 |  0.000 % |
5.61/5.69	c |      1310 |    5505    63354   307031 |    21118     1310     14 |  0.000 % |
5.61/5.71	c |      1420 |    5505    63354   307031 |    21118     1420     13 |  0.000 % |
5.71/5.76	c |      1541 |    5505    63354   307031 |    21118     1541     13 |  0.000 % |
5.71/5.76	c |      1675 |    5505    63354   307031 |    21118     1675     13 |  0.000 % |
5.71/5.77	c |      1821 |    5505    63354   307031 |    21118     1821     14 |  0.000 % |
5.71/5.78	c |      1921 |    5505    63354   307031 |    21118     1921     14 |  0.000 % |
5.81/5.82	c |      2031 |    5505    63354   307031 |    21118     2031     14 |  0.000 % |
5.81/5.83	c |      2154 |    5505    63354   307031 |    21118     2154     14 |  0.000 % |
5.81/5.89	c |      2287 |    5505    63354   307031 |    21118     2287     14 |  0.000 % |
5.81/5.90	c |      2433 |    5505    63354   307031 |    21118     2433     16 |  0.000 % |
5.81/5.91	c |      2594 |    5505    63354   307031 |    21118     2594     17 |  0.000 % |
5.91/5.92	c |      2694 |    5505    63354   307031 |    21118     2694     17 |  0.000 % |
5.91/5.92	c |      2804 |    5505    63354   307031 |    21118     2804     18 |  0.000 % |
6.01/6.04	c |      2925 |    5505    63354   307031 |    21118     2925     18 |  0.000 % |
6.01/6.07	c |      3062 |    5505    63354   307031 |    21118     3062     23 |  0.000 % |
6.01/6.09	c |      3212 |    5505    63354   307031 |    21118     3212     23 |  0.000 % |
6.11/6.12	c |      3372 |    5505    63354   307031 |    21118     3372     24 |  0.000 % |
6.11/6.13	c |      3554 |    5505    63354   307031 |    21118     3554     24 |  0.000 % |
6.11/6.13	c |      3654 |    5505    63354   307031 |    21118     3654     25 |  0.000 % |
6.11/6.16	c |      3764 |    5505    63354   307031 |    21118     3764     26 |  0.000 % |
6.11/6.18	c |      3885 |    5505    63354   307031 |    21118     3885     29 |  0.000 % |
6.11/6.19	c |      4019 |    5505    63354   307031 |    21118     4019     29 |  0.000 % |
6.21/6.22	c |      4165 |    5505    63354   307031 |    21118     4165     29 |  0.000 % |
6.21/6.24	c |      4329 |    5505    63354   307031 |    21118     4329     29 |  0.000 % |
6.21/6.24	c |      4505 |    5505    63354   307031 |    21118     4505     29 |  0.000 % |
6.21/6.26	c |      4698 |    5505    63354   307031 |    21118     4698     29 |  0.000 % |
6.21/6.26	c |      4798 |    5505    63354   307031 |    21118     4798     28 |  0.000 % |
6.21/6.28	c |      4909 |    5505    63354   307031 |    21118     4909     28 |  0.000 % |
6.21/6.29	c |      5031 |    5505    63354   307031 |    21118     5031     28 |  0.000 % |
6.21/6.31	c |      5164 |    5505    63354   307031 |    21118     5164     30 |  0.000 % |
6.31/6.33	c |      5310 |    5505    63354   307031 |    21118     5310     33 |  0.000 % |
6.31/6.35	c |      5470 |    5505    63354   307031 |    21118     5470     34 |  0.000 % |
6.31/6.39	c |      5646 |    5505    63354   307031 |    21118     5646     33 |  0.000 % |
6.31/6.41	c |      5839 |    5505    63354   307031 |    21118     5839     34 |  0.000 % |
6.41/6.44	c |      6051 |    5505    63354   307031 |    21118     6051     35 |  0.000 % |
6.41/6.46	c |      6151 |    5505    63354   307031 |    21118     6151     36 |  0.000 % |
6.41/6.48	c |      6261 |    5505    63354   307031 |    21118     6261     35 |  0.000 % |
6.41/6.51	c |      6382 |    5504    63225   306772 |    21118     6380     35 |  0.018 % |
6.51/6.54	c |      6515 |    5504    63225   306772 |    21118     6513     35 |  0.018 % |
6.51/6.55	c |      6661 |    5504    63225   306772 |    21118     6659     35 |  0.018 % |
6.51/6.56	c |      6822 |    5504    63225   306772 |    21118     6820     34 |  0.018 % |
6.51/6.58	c |      6998 |    5504    63225   306772 |    21118     6996     34 |  0.018 % |
6.51/6.61	c |      7193 |    5504    63225   306772 |    21118     7191     37 |  0.018 % |
6.61/6.63	c |      7405 |    5504    63225   306772 |    21118     7403     36 |  0.018 % |
6.61/6.66	c |      7638 |    5504    63225   306772 |    21118     7636     36 |  0.018 % |
6.61/6.67	c |      7738 |    5504    63225   306772 |    21118     7736     36 |  0.018 % |
6.61/6.70	c |      7848 |    5504    63225   306772 |    21118     7846     36 |  0.018 % |
6.69/6.74	c |      7970 |    5504    63225   306772 |    21118     7968     35 |  0.018 % |
6.69/6.75	c |      8104 |    5504    63225   306772 |    21118     8102     35 |  0.018 % |
6.69/6.76	c |      8250 |    5504    63225   306772 |    21118     8248     35 |  0.018 % |
6.69/6.79	c |      8413 |    5504    63225   306772 |    21118     8411     35 |  0.018 % |
6.69/6.80	c |      8591 |    5504    63225   306772 |    21118     8589     35 |  0.018 % |
6.79/6.82	c |      8784 |    5504    63225   306772 |    21118     8782     35 |  0.018 % |
6.79/6.86	c |      8998 |    5504    63225   306772 |    21118     8996     35 |  0.018 % |
6.79/6.89	c |      9233 |    5504    63225   306772 |    21118     9231     34 |  0.018 % |
6.89/6.96	c |      9489 |    5504    63225   306772 |    21118     9487     33 |  0.018 % |
6.89/6.97	c |      9589 |    5504    63225   306772 |    21118     9587     33 |  0.018 % |
6.89/6.98	c |      9699 |    5504    63225   306772 |    21118     9697     33 |  0.018 % |
6.89/6.99	c |      9823 |    5504    63225   306772 |    21118     9821     33 |  0.018 % |
6.89/7.01	c |      9956 |    5504    63225   306772 |    21118     9954     33 |  0.018 % |
6.98/7.03	c |     10104 |    5504    63225   306772 | 2147483647    10102     33 |  0.018 % |
6.98/7.04	c |     10264 |    5504    63225   306772 | 2147483647    10262     33 |  0.018 % |
6.98/7.07	c |     10440 |    5504    63225   306772 | 2147483647    10438     33 |  0.018 % |
6.98/7.09	c |     10633 |    5504    63225   306772 | 2147483647    10631     33 |  0.018 % |
7.08/7.12	c |     10845 |    5504    63225   306772 | 2147483647    10843     33 |  0.018 % |
7.08/7.15	c |     11078 |    5504    63225   306772 | 2147483647    11076     33 |  0.018 % |
7.08/7.17	c |     11335 |    5504    63225   306772 | 2147483647    11333     33 |  0.018 % |
7.18/7.22	c |     11617 |    5504    63225   306772 | 2147483647    11615     33 |  0.018 % |
7.18/7.23	c |     11717 |    5504    63225   306772 | 2147483647    11715     33 |  0.018 % |
7.18/7.25	c |     11827 |    5504    63225   306772 | 2147483647    11825     33 |  0.018 % |
7.18/7.26	c |     11948 |    5504    63225   306772 | 2147483647    11946     33 |  0.018 % |
7.18/7.27	c |     12082 |    5504    63225   306772 | 2147483647    12080     33 |  0.018 % |
7.18/7.30	c |     12228 |    5504    63225   306772 | 2147483647    12226     33 |  0.018 % |
7.28/7.32	c |     12389 |    5504    63225   306772 | 2147483647    12387     34 |  0.018 % |
7.28/7.34	c |     12570 |    5504    63225   306772 | 2147483647    12568     34 |  0.018 % |
7.28/7.36	c |     12763 |    5504    63225   306772 | 2147483647    12761     34 |  0.018 % |
7.28/7.38	c |     12976 |    5504    63225   306772 | 2147483647    12974     34 |  0.018 % |
7.28/7.39	c |     13210 |    5504    63225   306772 | 2147483647    13208     34 |  0.018 % |
7.37/7.42	c |     13469 |    5504    63225   306772 | 2147483647    13467     34 |  0.018 % |
7.37/7.45	c |     13750 |    5504    63225   306772 | 2147483647    13748     34 |  0.018 % |
7.37/7.50	c |     14060 |    5504    63225   306772 | 2147483647    14058     34 |  0.018 % |
7.47/7.52	c |     14161 |    5504    63225   306772 | 2147483647    14159     34 |  0.018 % |
7.47/7.53	c |     14271 |    5504    63225   306772 | 2147483647    14269     34 |  0.018 % |
7.47/7.55	c |     14392 |    5504    63225   306772 | 2147483647    14390     35 |  0.018 % |
7.47/7.58	c |     14525 |    5504    63225   306772 | 2147483647    14523     35 |  0.018 % |
7.47/7.61	c |     14671 |    5504    63225   306772 | 2147483647    14669     35 |  0.018 % |
7.57/7.65	c |     14831 |    5504    63225   306772 | 2147483647    14829     35 |  0.018 % |
7.57/7.66	c |     15007 |    5504    63225   306772 | 2147483647    15005     35 |  0.018 % |
7.57/7.68	c |     15201 |    5504    63225   306772 | 2147483647    15199     35 |  0.018 % |
7.57/7.70	c |     15414 |    5504    63225   306772 | 2147483647    15412     35 |  0.018 % |
7.68/7.73	c |     15648 |    5504    63225   306772 | 2147483647    15646     36 |  0.018 % |
7.68/7.78	c |     15908 |    5504    63225   306772 | 2147483647    15906     36 |  0.018 % |
7.68/7.81	c |     16190 |    5504    63225   306772 | 2147483647    16188     37 |  0.018 % |
7.77/7.84	c |     16499 |    5504    63225   306772 | 2147483647    16497     37 |  0.018 % |
7.77/7.86	c |     16838 |    5504    63225   306772 | 2147483647    16836     38 |  0.018 % |
7.77/7.89	c |     16939 |    5504    63225   306772 | 2147483647    16937     38 |  0.018 % |
7.77/7.91	c |     17049 |    5504    63225   306772 | 2147483647    17047     38 |  0.018 % |
7.87/7.92	c |     17171 |    5504    63225   306772 | 2147483647    17169     38 |  0.018 % |
7.87/7.94	c |     17304 |    5504    63225   306772 | 2147483647    17302     38 |  0.018 % |
7.87/7.96	c |     17451 |    5504    63225   306772 | 2147483647    17449     39 |  0.018 % |
7.87/7.97	c |     17611 |    5504    63225   306772 | 2147483647    17609     39 |  0.018 % |
7.87/8.00	c |     17787 |    5504    63225   306772 | 2147483647    17785     39 |  0.018 % |
7.97/8.04	c |     17980 |    5504    63225   306772 | 2147483647    17978     40 |  0.018 % |
7.97/8.07	c |     18197 |    5504    63225   306772 | 2147483647    18195     41 |  0.018 % |
7.97/8.09	c |     18430 |    5504    63225   306772 | 2147483647    18428     41 |  0.018 % |
8.07/8.13	c |     18687 |    5504    63225   306772 | 2147483647    18685     41 |  0.018 % |
8.07/8.18	c |     18969 |    5504    63225   306772 | 2147483647    18967     41 |  0.018 % |
8.17/8.23	c |     19279 |    5504    63225   306772 | 2147483647    19277     42 |  0.018 % |
8.17/8.30	c |     19621 |    5504    63225   306772 | 2147483647    19619     43 |  0.018 % |
8.27/8.35	c |     19993 |    5504    63225   306772 | 2147483647    19991     45 |  0.018 % |
8.27/8.37	c |     20094 |    5504    63225   306772 | 2147483647    20092     46 |  0.018 % |
8.27/8.39	c |     20204 |    5504    63225   306772 | 2147483647    20202     46 |  0.018 % |
8.27/8.41	c |     20325 |    5504    63225   306772 | 2147483647    20323     46 |  0.018 % |
8.37/8.42	c |     20459 |    5504    63225   306772 | 2147483647    20457     46 |  0.018 % |
8.37/8.45	c |     20605 |    5504    63225   306772 | 2147483647    20603     46 |  0.018 % |
8.37/8.47	c |     20767 |    5504    63225   306772 | 2147483647    20765     46 |  0.018 % |
8.37/8.49	c |     20945 |    5504    63225   306772 | 2147483647    20943     46 |  0.018 % |
8.47/8.53	c |     21138 |    5504    63225   306772 | 2147483647    21136     46 |  0.018 % |
8.47/8.55	c |     21352 |    5504    63225   306772 | 2147483647    21350     47 |  0.018 % |
8.47/8.59	c |     21587 |    5504    63225   306772 | 2147483647    21585     47 |  0.018 % |
8.57/8.63	c |     21845 |    5504    63225   306772 | 2147483647    21843     48 |  0.018 % |
8.57/8.68	c |     22126 |    5504    63225   306772 | 2147483647    22124     49 |  0.018 % |
8.67/8.75	c |     22435 |    5504    63225   306772 | 2147483647    22433     49 |  0.018 % |
8.67/8.81	c |     22774 |    5504    63225   306772 | 2147483647    22772     50 |  0.018 % |
8.78/8.87	c |     23150 |    5504    63225   306772 | 2147483647    23148     52 |  0.018 % |
8.87/8.93	c |     23561 |    5504    63225   306772 | 2147483647    23559     53 |  0.018 % |
8.87/8.94	c |     23664 |    5504    63225   306772 | 2147483647    23662     53 |  0.018 % |
8.87/8.96	c |     23776 |    5504    63225   306772 | 2147483647    23774     53 |  0.018 % |
8.87/8.98	c |     23897 |    5504    63225   306772 | 2147483647    23895     53 |  0.018 % |
8.97/9.02	c |     24035 |    5504    63225   306772 | 2147483647    24033     53 |  0.018 % |
8.97/9.04	c |     24183 |    5504    63225   306772 | 2147483647    24181     54 |  0.018 % |
8.97/9.07	c |     24345 |    5504    63225   306772 | 2147483647    24343     54 |  0.018 % |
8.97/9.10	c |     24525 |    5504    63225   306772 | 2147483647    24523     55 |  0.018 % |
9.07/9.13	c |     24727 |    5504    63225   306772 | 2147483647    24725     55 |  0.018 % |
9.07/9.18	c |     24939 |    5504    63225   306772 | 2147483647    24937     55 |  0.018 % |
9.17/9.22	c |     25172 |    5504    63225   306772 | 2147483647    25170     55 |  0.018 % |
9.17/9.26	c |     25428 |    5504    63225   306772 | 2147483647    25426     56 |  0.018 % |
9.17/9.29	c |     25711 |    5504    63225   306772 | 2147483647    25709     56 |  0.018 % |
9.27/9.34	c |     26020 |    5504    63225   306772 | 2147483647    26018     56 |  0.018 % |
9.27/9.38	c |     26366 |    5504    63225   306772 | 2147483647    26364     56 |  0.018 % |
9.37/9.44	c |     26738 |    5504    63225   306772 | 2147483647    26736     57 |  0.018 % |
9.47/9.51	c |     27147 |    5504    63225   306772 | 2147483647    27145     58 |  0.018 % |
9.57/9.62	c |     27596 |    5504    63225   306772 | 2147483647    27594     59 |  0.018 % |
9.57/9.65	c |     27696 |    5504    63225   306772 | 2147483647    27694     59 |  0.018 % |
9.57/9.69	c |     27808 |    5504    63225   306772 | 2147483647    27806     59 |  0.018 % |
9.57/9.71	c |     27930 |    5504    63225   306772 | 2147483647    27928     59 |  0.018 % |
9.67/9.74	c |     28064 |    5504    63225   306772 | 2147483647    28062     60 |  0.018 % |
9.67/9.77	c |     28213 |    5504    63225   306772 | 2147483647    28211     61 |  0.018 % |
9.67/9.80	c |     28377 |    5504    63225   306772 | 2147483647    28375     61 |  0.018 % |
9.77/9.84	c |     28554 |    5504    63225   306772 | 2147483647    28552     61 |  0.018 % |
9.77/9.87	c |     28747 |    5504    63225   306772 | 2147483647    28745     61 |  0.018 % |
9.77/9.90	c |     28962 |    5504    63225   306772 | 2147483647    28960     61 |  0.018 % |
9.88/9.98	c |     29195 |    5504    63225   306772 | 2147483647    29193     62 |  0.018 % |
9.97/10.04	c |     29451 |    5504    63225   306772 | 2147483647    29449     62 |  0.018 % |
9.97/10.08	c |     29732 |    5504    63225   306772 | 2147483647    29730     63 |  0.018 % |
10.07/10.13	c |     30044 |    5504    63225   306772 | 2147483647    30042     63 |  0.018 % |
10.07/10.19	c |     30384 |    5504    63225   306772 | 2147483647    30382     63 |  0.018 % |
10.17/10.24	c |     30758 |    5504    63225   306772 | 2147483647    30756     63 |  0.018 % |
10.17/10.31	c |     31167 |    5504    63225   306772 | 2147483647    31165     63 |  0.018 % |
10.27/10.38	c |     31616 |    5504    63225   306772 | 2147483647    31614     62 |  0.018 % |
10.37/10.45	c |     32109 |    5504    63225   306772 | 2147483647    32107     62 |  0.018 % |
10.37/10.49	c |     32209 |    5504    63225   306772 | 2147483647    32207     62 |  0.018 % |
10.47/10.53	c |     32323 |    5504    63225   306772 | 2147483647    32321     62 |  0.018 % |
10.47/10.55	c |     32444 |    5504    63225   306772 | 2147483647    32442     62 |  0.018 % |
10.47/10.57	c |     32580 |    5504    63225   306772 | 2147483647    32578     62 |  0.018 % |
10.57/10.62	c |     32726 |    5504    63225   306772 | 2147483647    32724     62 |  0.018 % |
10.57/10.66	c |     32888 |    5504    63225   306772 | 2147483647    32886     62 |  0.018 % |
10.57/10.69	c |     33065 |    5504    63225   306772 | 2147483647    33063     62 |  0.018 % |
10.67/10.74	c |     33261 |    5504    63225   306772 | 2147483647    33259     62 |  0.018 % |
10.77/10.83	c |     33475 |    5504    63225   306772 | 2147483647    33473     62 |  0.018 % |
10.77/10.87	c |     33709 |    5504    63225   306772 | 2147483647    33707     62 |  0.018 % |
10.87/10.93	c |     33966 |    5504    63225   306772 | 2147483647    33964     62 |  0.018 % |
10.87/10.96	c |     34249 |    5504    63225   306772 | 2147483647    34247     62 |  0.018 % |
10.87/11.00	c |     34559 |    5504    63225   306772 | 2147483647    34557     62 |  0.018 % |
10.98/11.05	c |     34898 |    5504    63225   306772 | 2147483647    34896     62 |  0.018 % |
10.98/11.10	c |     35270 |    5504    63225   306772 | 2147483647    35268     63 |  0.018 % |
11.07/11.15	c |     35679 |    5504    63225   306772 | 2147483647    35677     63 |  0.018 % |
11.27/11.33	c |     36129 |    5504    63225   306772 | 2147483647    36127     64 |  0.018 % |
11.37/11.42	c |     36622 |    5504    63225   306772 | 2147483647    36620     65 |  0.018 % |
11.47/11.53	c |     37165 |    5504    63225   306772 | 2147483647    37163     66 |  0.018 % |
11.47/11.55	c |     37268 |    5504    63225   306772 | 2147483647    37266     66 |  0.018 % |
11.47/11.56	c |     37378 |    5504    63225   306772 | 2147483647    37376     66 |  0.018 % |
11.47/11.60	c |     37502 |    5504    63225   306772 | 2147483647    37500     67 |  0.018 % |
11.57/11.63	c |     37636 |    5504    63225   306772 | 2147483647    37634     67 |  0.018 % |
11.57/11.67	c |     37785 |    5504    63225   306772 | 2147483647    37783     67 |  0.018 % |
11.57/11.71	c |     37948 |    5504    63225   306772 | 2147483647    37946     67 |  0.018 % |
11.67/11.75	c |     38124 |    5504    63225   306772 | 2147483647    38122     67 |  0.018 % |
11.67/11.81	c |     38317 |    5504    63225   306772 | 2147483647    38315     68 |  0.018 % |
11.77/11.87	c |     38532 |    5504    63225   306772 | 2147483647    38530     68 |  0.018 % |
11.87/11.92	c |     38765 |    5504    63225   306772 | 2147483647    38763     68 |  0.018 % |
11.87/11.97	c |     39021 |    5504    63225   306772 | 2147483647    39019     68 |  0.018 % |
11.97/12.09	c |     39302 |    5504    63225   306772 | 2147483647    39300     69 |  0.018 % |
12.08/12.14	c |     39615 |    5504    63225   306772 | 2147483647    39613     69 |  0.018 % |
12.08/12.21	c |     39957 |    5504    63225   306772 | 2147483647    39955     70 |  0.018 % |
12.17/12.29	c |     40329 |    5504    63225   306772 | 2147483647    40327     71 |  0.018 % |
12.37/12.41	c |     40738 |    5504    63225   306772 | 2147483647    40736     72 |  0.018 % |
12.37/12.50	c |     41189 |    5504    63225   306772 | 2147483647    41187     72 |  0.018 % |
12.57/12.65	c |     41684 |    5504    63225   306772 | 2147483647    41682     74 |  0.018 % |
12.87/12.94	c |     42228 |    5504    63225   306772 | 2147483647    42226     76 |  0.018 % |
13.07/13.16	c |     42824 |    5504    63225   306772 | 2147483647    42822     79 |  0.018 % |
13.07/13.19	c |     42924 |    5504    63225   306772 | 2147483647    42922     79 |  0.018 % |
13.07/13.22	c |     43035 |    5504    63225   306772 | 2147483647    43033     79 |  0.018 % |
13.18/13.25	c |     43159 |    5504    63225   306772 | 2147483647    43157     79 |  0.018 % |
13.18/13.27	c |     43292 |    5504    63225   306772 | 2147483647    43290     79 |  0.018 % |
13.18/13.30	c |     43440 |    5504    63225   306772 | 2147483647    43438     79 |  0.018 % |
13.27/13.33	c |     43600 |    5504    63225   306772 | 2147483647    43598     78 |  0.018 % |
13.27/13.36	c |     43780 |    5504    63225   306772 | 2147483647    43778     78 |  0.018 % |
13.27/13.39	c |     43974 |    5504    63225   306772 | 2147483647    43972     78 |  0.018 % |
13.37/13.46	c |     44187 |    5504    63225   306772 | 2147483647    44185     78 |  0.018 % |
13.37/13.51	c |     44420 |    5504    63225   306772 | 2147483647    44418     78 |  0.018 % |
13.47/13.56	c |     44677 |    5504    63225   306772 | 2147483647    44675     78 |  0.018 % |
13.57/13.64	c |     44959 |    5504    63225   306772 | 2147483647    44957     78 |  0.018 % |
13.57/13.69	c |     45268 |    5504    63225   306772 | 2147483647    45266     79 |  0.018 % |
13.67/13.75	c |     45607 |    5504    63225   306772 | 2147483647    45605     78 |  0.018 % |
13.77/13.83	c |     45979 |    5504    63225   306772 | 2147483647    45977     79 |  0.018 % |
13.77/13.90	c |     46389 |    5504    63225   306772 | 2147483647    46387     79 |  0.018 % |
13.87/13.99	c |     46841 |    5504    63225   306772 | 2147483647    46839     79 |  0.018 % |
14.07/14.14	c |     47335 |    5504    63225   306772 | 2147483647    47333     81 |  0.018 % |
14.17/14.25	c |     47877 |    5504    63225   306772 | 2147483647    47875     82 |  0.018 % |
14.28/14.37	c |     48474 |    5504    63225   306772 | 2147483647    48472     82 |  0.018 % |
14.37/14.49	c |     49133 |    5504    63225   306772 | 2147483647    49131     82 |  0.018 % |
14.47/14.52	c |     49233 |    5504    63225   306772 | 2147483647    49231     82 |  0.018 % |
14.47/14.54	c |     49344 |    5504    63225   306772 | 2147483647    49342     82 |  0.018 % |
14.47/14.56	c |     49465 |    5504    63225   306772 | 2147483647    49463     82 |  0.018 % |
14.47/14.58	c |     49599 |    5504    63225   306772 | 2147483647    49597     82 |  0.018 % |
14.57/14.62	c |     49749 |    5504    63225   306772 | 2147483647    49747     82 |  0.018 % |
14.57/14.67	c |     49909 |    5504    63225   306772 | 2147483647    49907     82 |  0.018 % |
14.57/14.71	c |     50085 |    5504    63225   306772 | 2147483647    50083     82 |  0.018 % |
14.67/14.76	c |     50279 |    5504    63225   306772 | 2147483647    50277     82 |  0.018 % |
14.77/14.81	c |     50493 |    5504    63225   306772 | 2147483647    50491     82 |  0.018 % |
14.77/14.88	c |     50729 |    5504    63225   306772 | 2147483647    50727     82 |  0.018 % |
14.87/14.92	c |     50985 |    5504    63225   306772 | 2147483647    50983     82 |  0.018 % |
14.87/14.99	c |     51268 |    5504    63225   306772 | 2147483647    51266     82 |  0.018 % |
14.97/15.06	c |     51577 |    5504    63225   306772 | 2147483647    51575     82 |  0.018 % |
15.07/15.17	c |     51916 |    5504    63225   306772 | 2147483647    51914     83 |  0.018 % |
15.17/15.29	c |     52289 |    5504    63225   306772 | 2147483647    52287     84 |  0.018 % |
15.27/15.36	c |     52698 |    5504    63225   306772 | 2147483647    52696     84 |  0.018 % |
15.47/15.52	c |     53147 |    5504    63225   306772 | 2147483647    53145     85 |  0.018 % |
15.57/15.67	c |     53642 |    5504    63225   306772 | 2147483647    53640     86 |  0.018 % |
15.67/15.76	c |     54185 |    5504    63225   306772 | 2147483647    54183     86 |  0.018 % |
15.87/15.93	c |     54782 |    5504    63225   306772 | 2147483647    54780     87 |  0.018 % |
15.97/16.10	c |     55441 |    5504    63225   306772 | 2147483647    55439     88 |  0.018 % |
16.17/16.29	c |     56161 |    5504    63225   306772 | 2147483647    56159     90 |  0.018 % |
16.27/16.32	c |     56262 |    5504    63225   306772 | 2147483647    56260     90 |  0.018 % |
16.27/16.34	c |     56372 |    5504    63225   306772 | 2147483647    56370     90 |  0.018 % |
16.27/16.36	c |     56493 |    5504    63225   306772 | 2147483647    56491     90 |  0.018 % |
16.27/16.40	c |     56627 |    5504    63225   306772 | 2147483647    56625     90 |  0.018 % |
16.37/16.43	c |     56773 |    5504    63225   306772 | 2147483647    56771     90 |  0.018 % |
16.37/16.49	c |     56939 |    5504    63225   306772 | 2147483647    56937     90 |  0.018 % |
16.48/16.53	c |     57118 |    5504    63225   306772 | 2147483647    57116     90 |  0.018 % |
16.48/16.59	c |     57311 |    5504    63225   306772 | 2147483647    57309     90 |  0.018 % |
16.57/16.64	c |     57524 |    5504    63225   306772 | 2147483647    57522     90 |  0.018 % |
16.67/16.73	c |     57757 |    5504    63225   306772 | 2147483647    57755     90 |  0.018 % |
16.67/16.80	c |     58013 |    5504    63225   306772 | 2147483647    58011     90 |  0.018 % |
16.77/16.88	c |     58295 |    5504    63225   306772 | 2147483647    58293     90 |  0.018 % |
16.87/16.98	c |     58605 |    5504    63225   306772 | 2147483647    58603     90 |  0.018 % |
16.97/17.05	c |     58946 |    5504    63225   306772 | 2147483647    58944     90 |  0.018 % |
17.07/17.12	c |     59320 |    5504    63225   306772 | 2147483647    59318     90 |  0.018 % |
17.17/17.21	c |     59730 |    5504    63225   306772 | 2147483647    59728     91 |  0.018 % |
17.27/17.34	c |     60183 |    5504    63225   306772 | 2147483647    60181     91 |  0.018 % |
17.37/17.48	c |     60677 |    5504    63225   306772 | 2147483647    60675     92 |  0.018 % |
17.58/17.62	c |     61219 |    5504    63225   306772 | 2147483647    61217     93 |  0.018 % |
17.87/17.93	c |     61818 |    5504    63225   306772 | 2147483647    61816     94 |  0.018 % |
18.07/18.17	c |     62473 |    5504    63225   306772 | 2147483647    62471     95 |  0.018 % |
18.27/18.33	c |     63194 |    5504    63225   306772 | 2147483647    63192     95 |  0.018 % |
18.37/18.50	c |     63986 |    5504    63225   306772 | 2147483647    63984     95 |  0.018 % |
18.47/18.52	c |     64088 |    5504    63225   306772 | 2147483647    64086     95 |  0.018 % |
18.47/18.58	c |     64200 |    5504    63225   306772 | 2147483647    64198     95 |  0.018 % |
18.57/18.63	c |     64322 |    5504    63225   306772 | 2147483647    64320     95 |  0.018 % |
18.57/18.68	c |     64457 |    5504    63225   306772 | 2147483647    64455     95 |  0.018 % |
18.57/18.71	c |     64606 |    5504    63225   306772 | 2147483647    64604     95 |  0.018 % |
18.68/18.76	c |     64767 |    5504    63225   306772 | 2147483647    64765     95 |  0.018 % |
18.68/18.81	c |     64945 |    5504    63225   306772 | 2147483647    64943     95 |  0.018 % |
18.77/18.86	c |     65142 |    5504    63225   306772 | 2147483647    65140     95 |  0.018 % |
18.87/18.91	c |     65356 |    5504    63225   306772 | 2147483647    65354     96 |  0.018 % |
18.87/18.98	c |     65591 |    5504    63225   306772 | 2147483647    65589     96 |  0.018 % |
18.97/19.06	c |     65850 |    5504    63225   306772 | 2147483647    65848     96 |  0.018 % |
19.07/19.18	c |     66132 |    5504    63225   306772 | 2147483647    66130     96 |  0.018 % |
19.17/19.25	c |     66441 |    5504    63225   306772 | 2147483647    66439     97 |  0.018 % |
19.27/19.34	c |     66781 |    5504    63225   306772 | 2147483647    66779     97 |  0.018 % |
19.37/19.41	c |     67153 |    5504    63225   306772 | 2147483647    67151     97 |  0.018 % |
19.37/19.48	c |     67562 |    5504    63225   306772 | 2147483647    67560     97 |  0.018 % |
19.57/19.67	c |     68012 |    5504    63225   306772 | 2147483647    68010     97 |  0.018 % |
19.67/19.81	c |     68505 |    5504    63225   306772 | 2147483647    68503     98 |  0.018 % |
19.97/20.02	c |     69050 |    5504    63225   306772 | 2147483647    69048     98 |  0.018 % |
20.07/20.18	c |     69646 |    5504    63225   306772 | 2147483647    69644     99 |  0.018 % |
20.27/20.41	c |     70302 |    5504    63225   306772 | 2147483647    70300    100 |  0.018 % |
20.57/20.67	c |     71023 |    5504    63225   306772 | 2147483647    71021    101 |  0.018 % |
20.88/20.96	c |     71816 |    5504    63225   306772 | 2147483647    71814    102 |  0.018 % |
21.27/21.37	c |     72688 |    5504    63225   306772 | 2147483647    72686    104 |  0.018 % |
21.27/21.40	c |     72791 |    5504    63225   306772 | 2147483647    72789    104 |  0.018 % |
21.37/21.47	c |     72903 |    5504    63225   306772 | 2147483647    72901    104 |  0.018 % |
21.37/21.49	c |     73024 |    5504    63225   306772 | 2147483647    73022    104 |  0.018 % |
21.47/21.57	c |     73157 |    5504    63225   306772 | 2147483647    73155    104 |  0.018 % |
21.47/21.60	c |     73304 |    5504    63225   306772 | 2147483647    73302    104 |  0.018 % |
21.57/21.70	c |     73464 |    5504    63225   306772 | 2147483647    73462    105 |  0.018 % |
21.67/21.79	c |     73641 |    5503    63096   306513 | 2147483647    73637    105 |  0.036 % |
21.77/21.83	c |     73840 |    5503    63096   306513 | 2147483647    73836    105 |  0.036 % |
21.77/21.87	c |     74052 |    5503    63096   306513 | 2147483647    74048    105 |  0.036 % |
21.87/21.99	c |     74285 |    5503    63096   306513 | 2147483647    74281    105 |  0.036 % |
21.98/22.07	c |     74542 |    5503    63096   306513 | 2147483647    74538    105 |  0.036 % |
22.07/22.13	c |     74823 |    5503    63096   306513 | 2147483647    74819    105 |  0.036 % |
22.17/22.22	c |     75132 |    5503    63096   306513 | 2147483647    75128    105 |  0.036 % |
22.27/22.33	c |     75472 |    5503    63096   306513 | 2147483647    75468    105 |  0.036 % |
22.37/22.45	c |     75844 |    5503    63096   306513 | 2147483647    75840    105 |  0.036 % |
22.57/22.64	c |     76254 |    5503    63096   306513 | 2147483647    76250    106 |  0.036 % |
22.67/22.75	c |     76706 |    5503    63096   306513 | 2147483647    76702    106 |  0.036 % |
22.87/22.96	c |     77200 |    5503    63096   306513 | 2147483647    77196    106 |  0.036 % |
22.97/23.10	c |     77748 |    5503    63096   306513 | 2147483647    77744    107 |  0.036 % |
23.17/23.26	c |     78344 |    5503    63096   306513 | 2147483647    78340    107 |  0.036 % |
23.37/23.48	c |     78999 |    5503    63096   306513 | 2147483647    78995    107 |  0.036 % |
23.67/23.73	c |     79723 |    5503    63096   306513 | 2147483647    79719    108 |  0.036 % |
24.07/24.16	c |     80516 |    5503    63096   306513 | 2147483647    80512    108 |  0.036 % |
24.47/24.55	c |     81393 |    5503    63096   306513 | 2147483647    81389    111 |  0.036 % |
24.77/24.88	c |     82352 |    5503    63096   306513 | 2147483647    82348    112 |  0.036 % |
24.87/24.93	c |     82452 |    5503    63096   306513 | 2147483647    82448    113 |  0.036 % |
24.87/25.00	c |     82562 |    5503    63096   306513 | 2147483647    82558    113 |  0.036 % |
24.97/25.08	c |     82689 |    5503    63096   306513 | 2147483647    82685    113 |  0.036 % |
25.07/25.14	c |     82823 |    5503    63096   306513 | 2147483647    82819    113 |  0.036 % |
25.17/25.22	c |     82969 |    5503    63096   306513 | 2147483647    82965    113 |  0.036 % |
25.17/25.29	c |     83130 |    5503    63096   306513 | 2147483647    83126    113 |  0.036 % |
25.28/25.34	c |     83306 |    5503    63096   306513 | 2147483647    83302    113 |  0.036 % |
25.28/25.39	c |     83508 |    5503    63096   306513 | 2147483647    83504    113 |  0.036 % |
25.37/25.49	c |     83721 |    5503    63096   306513 | 2147483647    83717    113 |  0.036 % |
25.47/25.59	c |     83954 |    5503    63096   306513 | 2147483647    83950    113 |  0.036 % |
25.67/25.71	c |     84211 |    5503    63096   306513 | 2147483647    84207    113 |  0.036 % |
25.77/25.84	c |     84497 |    5503    63096   306513 | 2147483647    84493    113 |  0.036 % |
25.87/25.97	c |     84806 |    5503    63096   306513 | 2147483647    84802    113 |  0.036 % |
25.97/26.09	c |     85145 |    5503    63096   306513 | 2147483647    85141    113 |  0.036 % |
26.07/26.20	c |     85519 |    5503    63096   306513 | 2147483647    85515    113 |  0.036 % |
26.27/26.36	c |     85928 |    5503    63096   306513 | 2147483647    85924    113 |  0.036 % |
26.57/26.67	c |     86378 |    5503    63096   306513 | 2147483647    86374    113 |  0.036 % |
26.77/26.85	c |     86871 |    5503    63096   306513 | 2147483647    86867    114 |  0.036 % |
26.97/27.06	c |     87413 |    5503    63096   306513 | 2147483647    87409    114 |  0.036 % |
27.07/27.17	c |     88014 |    5503    63096   306513 | 2147483647    88010    115 |  0.036 % |
27.27/27.37	c |     88671 |    5503    63096   306513 | 2147483647    88667    115 |  0.036 % |
27.57/27.68	c |     89393 |    5503    63096   306513 | 2147483647    89389    116 |  0.036 % |
27.77/27.88	c |     90186 |    5503    63096   306513 | 2147483647    90182    116 |  0.036 % |
27.97/28.08	c |     91057 |    5503    63096   306513 | 2147483647    91053    117 |  0.036 % |
28.47/28.60	c |     92015 |    5503    63096   306513 | 2147483647    92011    117 |  0.036 % |
28.87/28.95	c |     93071 |    5503    63096   306513 | 2147483647    93067    117 |  0.036 % |
28.87/29.02	c |     93173 |    5503    63096   306513 | 2147483647    93169    117 |  0.036 % |
28.98/29.10	c |     93283 |    5503    63096   306513 | 2147483647    93279    117 |  0.036 % |
29.08/29.20	c |     93404 |    5503    63096   306513 | 2147483647    93400    117 |  0.036 % |
29.08/29.21	c |     93540 |    5503    63096   306513 | 2147483647    93536    117 |  0.036 % |
29.18/29.32	c |     93686 |    5503    63096   306513 | 2147483647    93682    117 |  0.036 % |
29.28/29.35	c |     93846 |    5503    63096   306513 | 2147483647    93842    117 |  0.036 % |
29.28/29.41	c |     94022 |    5503    63096   306513 | 2147483647    94018    117 |  0.036 % |
29.38/29.49	c |     94220 |    5503    63096   306513 | 2147483647    94216    118 |  0.036 % |
29.48/29.61	c |     94433 |    5503    63096   306513 | 2147483647    94429    118 |  0.036 % |
29.68/29.78	c |     94666 |    5503    63096   306513 | 2147483647    94662    118 |  0.036 % |
29.78/29.89	c |     94922 |    5503    63096   306513 | 2147483647    94918    118 |  0.036 % |
29.88/30.00	c |     95203 |    5503    63096   306513 | 2147483647    95199    118 |  0.036 % |
30.08/30.13	c |     95512 |    5503    63096   306513 | 2147483647    95508    118 |  0.036 % |
30.18/30.24	c |     95851 |    5503    63096   306513 | 2147483647    95847    118 |  0.036 % |
30.28/30.39	c |     96224 |    5503    63096   306513 | 2147483647    96220    118 |  0.036 % |
30.58/30.71	c |     96633 |    5503    63096   306513 | 2147483647    96629    119 |  0.036 % |
30.78/30.84	c |     97084 |    5503    63096   306513 | 2147483647    97080    120 |  0.036 % |
30.98/31.08	c |     97577 |    5503    63096   306513 | 2147483647    97573    120 |  0.036 % |
31.18/31.29	c |     98124 |    5503    63096   306513 | 2147483647    98120    120 |  0.036 % |
31.48/31.61	c |     98722 |    5503    63096   306513 | 2147483647    98718    120 |  0.036 % |
31.88/31.97	c |     99377 |    5503    63096   306513 | 2147483647    99373    121 |  0.036 % |
32.08/32.21	c |    100097 |    5503    63096   306513 | 2147483647   100093    121 |  0.036 % |
32.48/32.60	c |    100892 |    5503    63096   306513 | 2147483647   100888    122 |  0.036 % |
32.88/32.93	c |    101763 |    5503    63096   306513 | 2147483647   101759    122 |  0.036 % |
33.48/33.56	c |    102721 |    5503    63096   306513 | 2147483647   102717    124 |  0.036 % |
33.88/33.99	c |    103780 |    5503    63096   306513 | 2147483647   103776    124 |  0.036 % |
34.28/34.38	c |    104938 |    5503    63096   306513 | 2147483647   104934    125 |  0.036 % |
34.38/34.46	c |    105039 |    5503    63096   306513 | 2147483647   105035    125 |  0.036 % |
34.38/34.49	c |    105149 |    5503    63096   306513 | 2147483647   105145    125 |  0.036 % |
34.48/34.52	c |    105271 |    5503    63096   306513 | 2147483647   105267    125 |  0.036 % |
34.48/34.54	c |    105404 |    5503    63096   306513 | 2147483647   105400    124 |  0.036 % |
34.58/34.64	c |    105550 |    5503    63096   306513 | 2147483647   105546    125 |  0.036 % |
34.58/34.70	c |    105710 |    5503    63096   306513 | 2147483647   105706    124 |  0.036 % |
34.68/34.80	c |    105891 |    5503    63096   306513 | 2147483647   105887    125 |  0.036 % |
34.88/34.93	c |    106087 |    5503    63096   306513 | 2147483647   106083    125 |  0.036 % |
34.98/35.05	c |    106304 |    5503    63096   306513 | 2147483647   106300    125 |  0.036 % |
35.08/35.18	c |    106537 |    5503    63096   306513 | 2147483647   106533    125 |  0.036 % |
35.18/35.27	c |    106795 |    5503    63096   306513 | 2147483647   106791    125 |  0.036 % |
35.28/35.35	c |    107077 |    5503    63096   306513 | 2147483647   107073    125 |  0.036 % |
35.48/35.53	c |    107386 |    5503    63096   306513 | 2147483647   107382    125 |  0.036 % |
35.68/35.80	c |    107729 |    5503    63096   306513 | 2147483647   107725    126 |  0.036 % |
35.88/35.98	c |    108103 |    5503    63096   306513 | 2147483647   108099    126 |  0.036 % |
36.08/36.21	c |    108512 |    5503    63096   306513 | 2147483647   108508    127 |  0.036 % |
36.28/36.35	c |    108964 |    5503    63096   306513 | 2147483647   108960    127 |  0.036 % |
36.48/36.52	c |    109457 |    5503    63096   306513 | 2147483647   109453    127 |  0.036 % |
36.78/36.89	c |    110000 |    5503    63096   306513 | 2147483647   109996    129 |  0.036 % |
36.98/37.12	c |    110596 |    5503    63096   306513 | 2147483647   110592    129 |  0.036 % |
37.28/37.37	c |    111251 |    5503    63096   306513 | 2147483647   111247    130 |  0.036 % |
37.58/37.62	c |    111972 |    5503    63096   306513 | 2147483647   111968    130 |  0.036 % |
37.98/38.10	c |    112765 |    5503    63096   306513 | 2147483647   112761    132 |  0.036 % |
38.48/38.58	c |    113638 |    5503    63096   306513 | 2147483647   113634    133 |  0.036 % |
38.88/38.98	c |    114599 |    5503    63096   306513 | 2147483647   114595    135 |  0.036 % |
39.37/39.42	c |    115652 |    5503    63096   306513 | 2147483647   115648    136 |  0.036 % |
39.77/39.88	c |    116812 |    5503    63096   306513 | 2147483647   116808    138 |  0.036 % |
40.27/40.39	c |    118085 |    5503    63096   306513 | 2147483647   118081    139 |  0.036 % |
40.37/40.45	c |    118185 |    5503    63096   306513 | 2147483647   118181    139 |  0.036 % |
40.37/40.49	c |    118298 |    5503    63096   306513 | 2147483647   118294    139 |  0.036 % |
40.47/40.56	c |    118419 |    5503    63096   306513 | 2147483647   118415    139 |  0.036 % |
40.57/40.66	c |    118553 |    5503    63096   306513 | 2147483647   118549    139 |  0.036 % |
40.67/40.72	c |    118700 |    5503    63096   306513 | 2147483647   118696    139 |  0.036 % |
40.67/40.77	c |    118862 |    5503    63096   306513 | 2147483647   118858    139 |  0.036 % |
40.77/40.86	c |    119038 |    5503    63096   306513 | 2147483647   119034    139 |  0.036 % |
40.87/40.99	c |    119231 |    5503    63096   306513 | 2147483647   119227    139 |  0.036 % |
40.97/41.09	c |    119443 |    5503    63096   306513 | 2147483647   119439    139 |  0.036 % |
41.07/41.20	c |    119677 |    5503    63096   306513 | 2147483647   119673    139 |  0.036 % |
41.27/41.36	c |    119933 |    5503    63096   306513 | 2147483647   119929    140 |  0.036 % |
41.37/41.48	c |    120215 |    5503    63096   306513 | 2147483647   120211    140 |  0.036 % |
41.57/41.63	c |    120524 |    5503    63096   306513 | 2147483647   120520    140 |  0.036 % |
41.67/41.80	c |    120865 |    5503    63096   306513 | 2147483647   120861    140 |  0.036 % |
41.87/41.96	c |    121239 |    5503    63096   306513 | 2147483647   121235    140 |  0.036 % |
42.07/42.17	c |    121651 |    5503    63096   306513 | 2147483647   121647    140 |  0.036 % |
42.37/42.47	c |    122100 |    5503    63096   306513 | 2147483647   122096    140 |  0.036 % |
42.67/42.81	c |    122594 |    5503    63096   306513 | 2147483647   122590    140 |  0.036 % |
43.07/43.13	c |    123136 |    5503    63096   306513 | 2147483647   123132    141 |  0.036 % |
43.27/43.42	c |    123733 |    5503    63096   306513 | 2147483647   123729    141 |  0.036 % |
43.57/43.63	c |    124391 |    5503    63096   306513 | 2147483647   124387    142 |  0.036 % |
43.87/43.93	c |    125113 |    5503    63096   306513 | 2147483647   125109    142 |  0.036 % |
44.47/44.60	c |    125906 |    5503    63096   306513 | 2147483647   125902    143 |  0.036 % |
44.77/44.82	c |    126777 |    5503    63096   306513 | 2147483647   126773    144 |  0.036 % |
45.37/45.45	c |    127735 |    5503    63096   306513 | 2147483647   127731    146 |  0.036 % |
45.77/45.88	c |    128789 |    5503    63096   306513 | 2147483647   128785    147 |  0.036 % |
46.17/46.28	c |    129947 |    5503    63096   306513 | 2147483647   129943    148 |  0.036 % |
46.77/46.83	c |    131221 |    5503    63096   306513 | 2147483647   131217    149 |  0.036 % |
47.47/47.60	c |    132621 |    5503    63096   306513 | 2147483647   132617    150 |  0.036 % |
47.57/47.65	c |    132721 |    5503    63096   306513 | 2147483647   132717    150 |  0.036 % |
47.57/47.71	c |    132831 |    5503    63096   306513 | 2147483647   132827    151 |  0.036 % |
47.67/47.80	c |    132953 |    5503    63096   306513 | 2147483647   132949    151 |  0.036 % |
47.77/47.88	c |    133088 |    5503    63096   306513 | 2147483647   133084    151 |  0.036 % |
47.97/48.03	c |    133234 |    5503    63096   306513 | 2147483647   133230    151 |  0.036 % |
48.07/48.14	c |    133396 |    5503    63096   306513 | 2147483647   133392    151 |  0.036 % |
48.17/48.23	c |    133572 |    5503    63096   306513 | 2147483647   133568    151 |  0.036 % |
48.27/48.37	c |    133766 |    5503    63096   306513 | 2147483647   133762    151 |  0.036 % |
48.37/48.47	c |    133979 |    5503    63096   306513 | 2147483647   133975    151 |  0.036 % |
48.57/48.65	c |    134215 |    5503    63096   306513 | 2147483647   134211    151 |  0.036 % |
48.77/48.87	c |    134471 |    5503    63096   306513 | 2147483647   134467    151 |  0.036 % |
48.87/49.00	c |    134752 |    5503    63096   306513 | 2147483647   134748    152 |  0.036 % |
49.07/49.13	c |    135063 |    5503    63096   306513 | 2147483647   135059    152 |  0.036 % |
49.37/49.43	c |    135403 |    5503    63096   306513 | 2147483647   135399    152 |  0.036 % |
49.57/49.66	c |    135775 |    5503    63096   306513 | 2147483647   135771    152 |  0.036 % |
49.87/50.02	c |    136184 |    5503    63096   306513 | 2147483647   136180    153 |  0.036 % |
50.27/50.35	c |    136633 |    5503    63096   306513 | 2147483647   136629    153 |  0.036 % |
50.57/50.65	c |    137132 |    5503    63096   306513 | 2147483647   137128    154 |  0.036 % |
51.17/51.26	c |    137674 |    5503    63096   306513 | 2147483647   137670    154 |  0.036 % |
51.47/51.54	c |    138271 |    5503    63096   306513 | 2147483647   138267    155 |  0.036 % |
51.87/52.01	c |    138926 |    5503    63096   306513 | 2147483647   138922    156 |  0.037 % |
52.36/52.42	c |    139648 |    5503    63096   306513 | 2147483647   139644    157 |  0.036 % |
52.86/52.98	c |    140441 |    5503    63096   306513 | 2147483647   140437    158 |  0.036 % |
53.36/53.46	c |    141313 |    5503    63096   306513 | 2147483647   141309    159 |  0.036 % |
53.86/53.94	c |    142272 |    5503    63096   306513 | 2147483647   142268    160 |  0.036 % |
54.46/54.54	c |    143325 |    5503    63096   306513 | 2147483647   143321    161 |  0.036 % |
54.86/54.98	c |    144488 |    5503    63096   306513 | 2147483647   144484    162 |  0.036 % |
55.46/55.58	c |    145761 |    5503    63096   306513 | 2147483647   145757    162 |  0.036 % |
55.96/56.09	c |    147162 |    5503    63096   306513 | 2147483647   147158    162 |  0.036 % |
56.56/56.70	c |    148702 |    5503    63096   306513 | 2147483647   148698    163 |  0.036 % |
56.66/56.74	c |    148803 |    5503    63096   306513 | 2147483647   148799    162 |  0.036 % |
56.66/56.78	c |    148913 |    5503    63096   306513 | 2147483647   148909    162 |  0.036 % |
56.75/56.85	c |    149034 |    5503    63096   306513 | 2147483647   149030    162 |  0.036 % |
56.85/56.98	c |    149169 |    5503    63096   306513 | 2147483647   149165    162 |  0.036 % |
56.95/57.10	c |    149316 |    5503    63096   306513 | 2147483647   149312    162 |  0.036 % |
57.05/57.20	c |    149476 |    5503    63096   306513 | 2147483647   149472    162 |  0.036 % |
57.15/57.25	c |    149653 |    5503    63096   306513 | 2147483647   149649    162 |  0.036 % |
57.25/57.34	c |    149853 |    5503    63096   306513 | 2147483647   149849    162 |  0.036 % |
57.45/57.51	c |    150065 |    5503    63096   306513 | 2147483647   150061    162 |  0.036 % |
57.55/57.67	c |    150298 |    5503    63096   306513 | 2147483647   150294    162 |  0.036 % |
57.75/57.81	c |    150555 |    5503    63096   306513 | 2147483647   150551    162 |  0.036 % |
57.95/58.10	c |    150837 |    5503    63096   306513 | 2147483647   150833    163 |  0.036 % |
58.25/58.35	c |    151147 |    5503    63096   306513 | 2147483647   151143    163 |  0.036 % |
58.45/58.57	c |    151487 |    5503    63096   306513 | 2147483647   151483    163 |  0.036 % |
58.75/58.83	c |    151860 |    5503    63096   306513 | 2147483647   151856    163 |  0.036 % |
59.15/59.22	c |    152269 |    5503    63096   306513 | 2147483647   152265    164 |  0.036 % |
59.45/59.57	c |    152718 |    5503    63096   306513 | 2147483647   152714    165 |  0.036 % |
59.65/59.80	c |    153211 |    5503    63096   306513 | 2147483647   153207    165 |  0.036 % |
60.25/60.37	c |    153759 |    5503    63096   306513 | 2147483647   153755    166 |  0.036 % |
60.55/60.64	c |    154360 |    5503    63096   306513 | 2147483647   154356    166 |  0.036 % |
61.05/61.15	c |    155017 |    5503    63096   306513 | 2147483647   155013    166 |  0.036 % |
61.95/62.01	c |    155737 |    5503    63096   306513 | 2147483647   155733    167 |  0.036 % |
62.25/62.37	c |    156529 |    5503    63096   306513 | 2147483647   156525    167 |  0.036 % |
62.65/62.80	c |    157403 |    5503    63096   306513 | 2147483647   157399    167 |  0.036 % |
63.45/63.53	c |    158362 |    5503    63096   306513 | 2147483647   158358    167 |  0.036 % |
64.25/64.31	c |    159415 |    5503    63096   306513 | 2147483647   159411    168 |  0.036 % |
64.95/65.09	c |    160577 |    5503    63096   306513 | 2147483647   160573    169 |  0.036 % |
65.85/65.99	c |    161853 |    5503    63096   306513 | 2147483647   161849    170 |  0.036 % |
66.85/66.96	c |    163253 |    5503    63096   306513 | 2147483647   163249    171 |  0.036 % |
67.75/67.88	c |    164795 |    5503    63096   306513 | 2147483647   164791    173 |  0.036 % |
68.85/68.96	c |    166490 |    5503    63096   306513 | 2147483647   166486    173 |  0.036 % |
68.85/69.00	c |    166593 |    5503    63096   306513 | 2147483647   166589    173 |  0.036 % |
69.05/69.20	c |    166704 |    5503    63096   306513 | 2147483647   166700    173 |  0.036 % |
69.15/69.30	c |    166826 |    5503    63096   306513 | 2147483647   166822    174 |  0.036 % |
69.35/69.41	c |    166960 |    5503    63096   306513 | 2147483647   166956    174 |  0.036 % |
69.35/69.50	c |    167109 |    5503    63096   306513 | 2147483647   167105    174 |  0.036 % |
69.55/69.62	c |    167271 |    5503    63096   306513 | 2147483647   167267    174 |  0.036 % |
69.65/69.71	c |    167448 |    5503    63096   306513 | 2147483647   167444    174 |  0.036 % |
69.75/69.82	c |    167642 |    5503    63096   306513 | 2147483647   167638    174 |  0.036 % |
69.95/70.03	c |    167854 |    5503    63096   306513 | 2147483647   167850    175 |  0.036 % |
70.15/70.24	c |    168087 |    5503    63096   306513 | 2147483647   168083    175 |  0.036 % |
70.35/70.49	c |    168343 |    5503    63096   306513 | 2147483647   168339    175 |  0.036 % |
70.55/70.68	c |    168632 |    5503    63096   306513 | 2147483647   168628    175 |  0.036 % |
70.75/70.87	c |    168941 |    5503    63096   306513 | 2147483647   168937    175 |  0.036 % |
71.05/71.19	c |    169280 |    5503    63096   306513 | 2147483647   169276    175 |  0.036 % |
71.45/71.54	c |    169652 |    5503    63096   306513 | 2147483647   169648    176 |  0.036 % |
71.85/71.96	c |    170062 |    5503    63096   306513 | 2147483647   170058    176 |  0.036 % |
72.25/72.36	c |    170512 |    5503    63096   306513 | 2147483647   170508    177 |  0.036 % |
72.75/72.88	c |    171005 |    5503    63096   306513 | 2147483647   171001    177 |  0.036 % |
73.25/73.36	c |    171548 |    5503    63096   306513 | 2147483647   171544    178 |  0.036 % |
73.75/73.82	c |    172145 |    5503    63096   306513 | 2147483647   172141    179 |  0.036 % |
74.05/74.20	c |    172800 |    5503    63096   306513 | 2147483647   172796    179 |  0.036 % |
74.55/74.69	c |    173521 |    5503    63096   306513 | 2147483647   173517    179 |  0.036 % |
75.15/75.28	c |    174316 |    5503    63096   306513 | 2147483647   174312    179 |  0.036 % |
75.75/75.89	c |    175187 |    5503    63096   306513 | 2147483647   175183    180 |  0.036 % |
76.55/76.61	c |    176145 |    5503    63096   306513 | 2147483647   176141    181 |  0.036 % |
77.55/77.68	c |    177199 |    5503    63096   306513 | 2147483647   177195    181 |  0.036 % |
78.45/78.52	c |    178358 |    5503    63096   306513 | 2147483647   178354    183 |  0.036 % |
79.35/79.46	c |    179633 |    5503    63096   306513 | 2147483647   179629    184 |  0.036 % |
80.45/80.51	c |    181035 |    5503    63096   306513 | 2147483647   181031    185 |  0.036 % |
81.25/81.38	c |    182576 |    5503    63096   306513 | 2147483647   182572    187 |  0.036 % |
82.75/82.84	c |    184271 |    5503    63096   306513 | 2147483647   184267    189 |  0.036 % |
84.45/84.57	c |    186135 |    5503    63096   306513 | 2147483647   186131    189 |  0.036 % |
84.55/84.61	c |    186235 |    5503    63096   306513 | 2147483647   186231    189 |  0.036 % |
84.55/84.68	c |    186349 |    5503    63096   306513 | 2147483647   186345    189 |  0.036 % |
84.65/84.73	c |    186472 |    5503    63096   306513 | 2147483647   186468    189 |  0.036 % |
84.75/84.82	c |    186606 |    5503    63096   306513 | 2147483647   186602    189 |  0.036 % |
84.85/84.96	c |    186753 |    5503    63096   306513 | 2147483647   186749    189 |  0.036 % |
85.05/85.14	c |    186915 |    5503    63096   306513 | 2147483647   186911    189 |  0.036 % |
85.15/85.25	c |    187091 |    5503    63096   306513 | 2147483647   187087    189 |  0.036 % |
85.35/85.42	c |    187285 |    5503    63096   306513 | 2147483647   187281    189 |  0.036 % |
85.55/85.62	c |    187501 |    5503    63096   306513 | 2147483647   187497    189 |  0.036 % |
85.65/85.77	c |    187734 |    5503    63096   306513 | 2147483647   187730    189 |  0.036 % |
85.85/85.98	c |    187992 |    5503    63096   306513 | 2147483647   187988    189 |  0.036 % |
85.95/86.09	c |    188280 |    5503    63096   306513 | 2147483647   188276    189 |  0.036 % |
86.25/86.33	c |    188591 |    5503    63096   306513 | 2147483647   188587    189 |  0.036 % |
86.55/86.61	c |    188936 |    5503    63096   306513 | 2147483647   188932    190 |  0.036 % |
86.75/86.81	c |    189309 |    5503    63096   306513 | 2147483647   189305    190 |  0.036 % |
87.15/87.27	c |    189720 |    5503    63096   306513 | 2147483647   189716    190 |  0.036 % |
87.45/87.55	c |    190171 |    5503    63096   306513 | 2147483647   190167    190 |  0.036 % |
87.85/87.93	c |    190676 |    5503    63096   306513 | 2147483647   190672    190 |  0.036 % |
88.25/88.38	c |    191218 |    5503    63096   306513 | 2147483647   191214    191 |  0.036 % |
88.85/88.93	c |    191817 |    5503    63096   306513 | 2147483647   191813    191 |  0.036 % |
89.45/89.51	c |    192472 |    5503    63096   306513 | 2147483647   192468    191 |  0.036 % |
90.15/90.28	c |    193192 |    5503    63096   306513 | 2147483647   193188    192 |  0.036 % |
90.95/91.10	c |    193989 |    5503    63096   306513 | 2147483647   193985    192 |  0.036 % |
91.75/91.86	c |    194860 |    5503    63096   306513 | 2147483647   194856    193 |  0.036 % |
92.35/92.45	c |    195818 |    5503    63096   306513 | 2147483647   195814    193 |  0.036 % |
93.05/93.17	c |    196871 |    5503    63096   306513 | 2147483647   196867    193 |  0.036 % |
93.95/94.10	c |    198030 |    5503    63096   306513 | 2147483647   198026    193 |  0.036 % |
95.35/95.50	c |    199304 |    5503    63096   306513 | 2147483647   199300    193 |  0.036 % |
96.15/96.26	c |    200705 |    5503    63096   306513 | 2147483647   200701    194 |  0.036 % |
97.15/97.23	c |    202246 |    5503    63096   306513 | 2147483647   202242    194 |  0.036 % |
98.45/98.55	c |    203941 |    5503    63096   306513 | 2147483647   203937    195 |  0.036 % |
99.95/100.06	c |    205806 |    5503    63096   306513 | 2147483647   205802    195 |  0.036 % |
101.65/101.80	c |    207855 |    5503    63096   306513 | 2147483647   207851    195 |  0.036 % |
101.85/101.94	c |    207956 |    5503    63096   306513 | 2147483647   207952    195 |  0.036 % |
101.95/102.03	c |    208066 |    5503    63096   306513 | 2147483647   208062    195 |  0.036 % |
102.05/102.19	c |    208187 |    5503    63096   306513 | 2147483647   208183    195 |  0.036 % |
102.15/102.30	c |    208320 |    5503    63096   306513 | 2147483647   208316    195 |  0.036 % |
102.35/102.41	c |    208467 |    5503    63096   306513 | 2147483647   208463    195 |  0.036 % |
102.45/102.59	c |    208628 |    5503    63096   306513 | 2147483647   208624    195 |  0.036 % |
102.65/102.71	c |    208804 |    5503    63096   306513 | 2147483647   208800    195 |  0.036 % |
102.85/102.91	c |    208999 |    5503    63096   306513 | 2147483647   208995    195 |  0.036 % |
103.05/103.18	c |    209211 |    5503    63096   306513 | 2147483647   209207    195 |  0.036 % |
103.25/103.34	c |    209445 |    5503    63096   306513 | 2147483647   209441    195 |  0.036 % |
103.55/103.63	c |    209701 |    5503    63096   306513 | 2147483647   209697    195 |  0.036 % |
103.65/103.78	c |    209983 |    5503    63096   306513 | 2147483647   209979    195 |  0.036 % |
103.95/104.02	c |    210292 |    5503    63096   306513 | 2147483647   210288    195 |  0.036 % |
104.15/104.25	c |    210633 |    5503    63096   306513 | 2147483647   210629    195 |  0.036 % |
104.35/104.46	c |    211006 |    5503    63096   306513 | 2147483647   211002    195 |  0.036 % |
104.65/104.80	c |    211416 |    5503    63096   306513 | 2147483647   211412    195 |  0.036 % |
105.05/105.13	c |    211869 |    5503    63096   306513 | 2147483647   211865    195 |  0.036 % |
105.35/105.47	c |    212363 |    5503    63096   306513 | 2147483647   212359    196 |  0.036 % |
105.75/105.83	c |    212906 |    5503    63096   306513 | 2147483647   212902    196 |  0.036 % |
106.45/106.56	c |    213504 |    5503    63096   306513 | 2147483647   213500    196 |  0.036 % |
106.85/106.97	c |    214160 |    5503    63096   306513 | 2147483647   214156    197 |  0.036 % |
107.35/107.42	c |    214880 |    5503    63096   306513 | 2147483647   214876    197 |  0.036 % |
107.76/107.82	c |    215673 |    5503    63096   306513 | 2147483647   215669    197 |  0.036 % |
108.45/108.56	c |    216544 |    5503    63096   306513 | 2147483647   216540    197 |  0.036 % |
109.15/109.29	c |    217502 |    5503    63096   306513 | 2147483647   217498    197 |  0.036 % |
110.45/110.59	c |    218557 |    5503    63096   306513 | 2147483647   218553    197 |  0.036 % |
112.45/112.54	c |    219716 |    5503    63096   306513 | 2147483647   219712    198 |  0.036 % |
113.85/113.97	c |    220989 |    5503    63096   306513 | 2147483647   220985    199 |  0.036 % |
115.35/115.47	c |    222392 |    5503    63096   306513 | 2147483647   222388    199 |  0.036 % |
117.05/117.17	c |    223935 |    5503    63096   306513 | 2147483647   223931    199 |  0.036 % |
118.85/118.98	c |    225632 |    5503    63096   306513 | 2147483647   225628    199 |  0.036 % |
121.15/121.23	c |    227495 |    5503    63096   306513 | 2147483647   227491    200 |  0.036 % |
122.65/122.77	c |    229545 |    5503    63096   306513 | 2147483647   229541    200 |  0.036 % |
123.95/124.10	c |    231798 |    5503    63096   306513 | 2147483647   231794    199 |  0.036 % |
124.05/124.14	c |    231898 |    5503    63096   306513 | 2147483647   231894    199 |  0.036 % |
124.05/124.19	c |    232008 |    5503    63096   306513 | 2147483647   232004    199 |  0.036 % |
124.26/124.34	c |    232129 |    5503    63096   306513 | 2147483647   232125    199 |  0.036 % |
124.35/124.42	c |    232263 |    5503    63096   306513 | 2147483647   232259    199 |  0.036 % |
124.35/124.47	c |    232409 |    5503    63096   306513 | 2147483647   232405    199 |  0.036 % |
124.45/124.57	c |    232570 |    5503    63096   306513 | 2147483647   232566    199 |  0.036 % |
124.55/124.67	c |    232746 |    5503    63096   306513 | 2147483647   232742    199 |  0.036 % |
124.65/124.74	c |    232941 |    5503    63096   306513 | 2147483647   232937    199 |  0.036 % |
124.75/124.86	c |    233153 |    5503    63096   306513 | 2147483647   233149    199 |  0.036 % |
124.85/125.00	c |    233386 |    5503    63096   306513 | 2147483647   233382    199 |  0.036 % |
124.95/125.10	c |    233644 |    5503    63096   306513 | 2147483647   233640    199 |  0.036 % |
125.15/125.26	c |    233928 |    5503    63096   306513 | 2147483647   233924    198 |  0.036 % |
125.25/125.37	c |    234239 |    5503    63096   306513 | 2147483647   234235    198 |  0.036 % |
125.55/125.62	c |    234580 |    5503    63096   306513 | 2147483647   234576    198 |  0.036 % |
125.75/125.82	c |    234955 |    5503    63096   306513 | 2147483647   234951    198 |  0.036 % |
125.95/126.10	c |    235365 |    5503    63096   306513 | 2147483647   235361    198 |  0.036 % |
126.25/126.39	c |    235814 |    5503    63096   306513 | 2147483647   235810    198 |  0.036 % |
126.55/126.70	c |    236309 |    5503    63096   306513 | 2147483647   236305    198 |  0.036 % |
126.85/126.95	c |    236854 |    5503    63096   306513 | 2147483647   236850    198 |  0.036 % |
127.05/127.12	c |    237450 |    5503    63096   306513 | 2147483647   237446    198 |  0.037 % |
127.35/127.40	c |    238105 |    5503    63096   306513 | 2147483647   238101    198 |  0.036 % |
127.75/127.86	c |    238825 |    5503    63096   306513 | 2147483647   238821    198 |  0.036 % |
128.05/128.20	c |    239622 |    5503    63096   306513 | 2147483647   239618    198 |  0.037 % |
128.45/128.57	c |    240497 |    5503    63096   306513 | 2147483647   240493    199 |  0.036 % |
129.05/129.14	c |    241458 |    5503    63096   306513 | 2147483647   241454    199 |  0.036 % |
129.55/129.63	c |    242512 |    5503    63096   306513 | 2147483647   242508    199 |  0.036 % |
130.86/130.94	c |    243671 |    5503    63096   306513 | 2147483647   243667    199 |  0.036 % |
131.85/132.00	c |    244945 |    5503    63096   306513 | 2147483647   244941    199 |  0.036 % |
133.45/133.60	c |    246345 |    5503    63096   306513 | 2147483647   246341    200 |  0.036 % |
135.65/135.74	c |    247885 |    5503    63096   306513 | 2147483647   247881    202 |  0.036 % |
139.45/139.60	c |    249585 |    5503    63096   306513 | 2147483647   249581    204 |  0.036 % |
141.55/141.61	c |    251448 |    5503    63096   306513 | 2147483647   251444    206 |  0.036 % |
144.35/144.45	c |    253497 |    5503    63096   306513 | 2147483647   253493    208 |  0.036 % |
147.15/147.27	c |    255754 |    5503    63096   306513 | 2147483647   255750    210 |  0.036 % |
149.15/149.24	c |    258234 |    5503    63096   306513 | 2147483647   258230    211 |  0.036 % |
149.25/149.39	c |    258336 |    5503    63096   306513 | 2147483647   258332    211 |  0.036 % |
149.35/149.50	c |    258447 |    5503    63096   306513 | 2147483647   258443    211 |  0.036 % |
149.65/149.76	c |    258569 |    5503    63096   306513 | 2147483647   258565    211 |  0.036 % |
150.05/150.17	c |    258712 |    5503    63096   306513 | 2147483647   258708    211 |  0.036 % |
150.25/150.37	c |    258860 |    5503    63096   306513 | 2147483647   258856    212 |  0.036 % |
150.45/150.59	c |    259024 |    5503    63096   306513 | 2147483647   259020    212 |  0.036 % |
150.95/151.01	c |    259202 |    5503    63096   306513 | 2147483647   259198    212 |  0.036 % |
151.25/151.36	c |    259396 |    5503    63096   306513 | 2147483647   259392    212 |  0.036 % |
151.55/151.69	c |    259614 |    5503    63096   306513 | 2147483647   259610    212 |  0.036 % |
151.85/151.97	c |    259847 |    5503    63096   306513 | 2147483647   259843    212 |  0.036 % |
152.25/152.35	c |    260105 |    5503    63096   306513 | 2147483647   260101    212 |  0.036 % |
152.55/152.70	c |    260386 |    5503    63096   306513 | 2147483647   260382    213 |  0.036 % |
153.05/153.16	c |    260697 |    5503    63096   306513 | 2147483647   260693    213 |  0.036 % |
153.45/153.51	c |    261036 |    5503    63096   306513 | 2147483647   261032    213 |  0.036 % |
153.75/153.83	c |    261411 |    5503    63096   306513 | 2147483647   261407    213 |  0.036 % |
154.05/154.20	c |    261820 |    5503    63096   306513 | 2147483647   261816    213 |  0.036 % |
154.35/154.49	c |    262269 |    5503    63096   306513 | 2147483647   262265    213 |  0.036 % |
154.96/155.05	c |    262764 |    5503    63096   306513 | 2147483647   262760    213 |  0.036 % |
155.26/155.38	c |    263307 |    5503    63096   306513 | 2147483647   263303    213 |  0.036 % |
155.46/155.57	c |    263907 |    5503    63096   306513 | 2147483647   263903    213 |  0.036 % |
155.76/155.89	c |    264562 |    5503    63096   306513 | 2147483647   264558    213 |  0.036 % |
156.16/156.25	c |    265283 |    5503    63096   306513 | 2147483647   265279    213 |  0.036 % |
156.76/156.90	c |    266076 |    5503    63096   306513 | 2147483647   266072    213 |  0.036 % |
157.76/157.90	c |    266947 |    5503    63096   306513 | 2147483647   266943    212 |  0.036 % |
158.56/158.68	c |    267905 |    5503    63096   306513 | 2147483647   267901    212 |  0.036 % |
159.06/159.21	c |    268958 |    5503    63096   306513 | 2147483647   268954    213 |  0.036 % |
159.86/160.01	c |    270118 |    5503    63096   306513 | 2147483647   270114    213 |  0.036 % |
160.86/161.00	c |    271394 |    5503    63096   306513 | 2147483647   271390    213 |  0.036 % |
162.06/162.15	c |    272795 |    5503    63096   306513 | 2147483647   272791    213 |  0.036 % |
164.26/164.35	c |    274335 |    5503    63096   306513 | 2147483647   274331    214 |  0.036 % |
166.16/166.29	c |    276029 |    5503    63096   306513 | 2147483647   276025    215 |  0.036 % |
168.46/168.53	c |    277893 |    5503    63096   306513 | 2147483647   277889    217 |  0.036 % |
170.46/170.53	c |    279942 |    5503    63096   306513 | 2147483647   279938    217 |  0.036 % |
173.26/173.40	c |    282195 |    5503    63096   306513 | 2147483647   282191    218 |  0.036 % |
176.06/176.13	c |    284673 |    5503    63096   306513 | 2147483647   284669    219 |  0.036 % |
179.76/179.85	c |    287400 |    5503    63096   306513 | 2147483647   287396    220 |  0.036 % |
179.96/180.03	c |    287502 |    5503    63096   306513 | 2147483647   287498    221 |  0.036 % |
180.16/180.29	c |    287613 |    5503    63096   306513 | 2147483647   287609    221 |  0.036 % |
180.36/180.46	c |    287734 |    5503    63096   306513 | 2147483647   287730    221 |  0.036 % |
180.56/180.67	c |    287868 |    5503    63096   306513 | 2147483647   287864    221 |  0.036 % |
180.76/180.86	c |    288014 |    5503    63096   306513 | 2147483647   288010    221 |  0.036 % |
181.06/181.15	c |    288174 |    5503    63096   306513 | 2147483647   288170    221 |  0.036 % |
181.26/181.37	c |    288350 |    5503    63096   306513 | 2147483647   288346    221 |  0.036 % |
181.46/181.59	c |    288543 |    5503    63096   306513 | 2147483647   288539    221 |  0.036 % |
181.76/181.84	c |    288755 |    5503    63096   306513 | 2147483647   288751    221 |  0.036 % |
182.46/182.57	c |    288991 |    5503    63096   306513 | 2147483647   288987    221 |  0.036 % |
182.86/182.96	c |    289251 |    5503    63096   306513 | 2147483647   289247    221 |  0.036 % |
183.26/183.37	c |    289532 |    5503    63096   306513 | 2147483647   289528    221 |  0.036 % |
183.66/183.77	c |    289843 |    5503    63096   306513 | 2147483647   289839    221 |  0.036 % |
183.86/183.94	c |    290182 |    5503    63096   306513 | 2147483647   290178    221 |  0.036 % |
184.36/184.48	c |    290554 |    5503    63096   306513 | 2147483647   290550    221 |  0.036 % |
185.46/185.59	c |    290963 |    5503    63096   306513 | 2147483647   290959    221 |  0.036 % |
186.26/186.35	c |    291413 |    5503    63096   306513 | 2147483647   291409    222 |  0.036 % |
186.96/187.04	c |    291908 |    5503    63096   306513 | 2147483647   291904    222 |  0.036 % |
187.36/187.48	c |    292450 |    5503    63096   306513 | 2147483647   292446    222 |  0.036 % |
188.16/188.25	c |    293049 |    5503    63096   306513 | 2147483647   293045    222 |  0.036 % |
189.06/189.16	c |    293710 |    5503    63096   306513 | 2147483647   293706    223 |  0.036 % |
190.06/190.21	c |    294434 |    5503    63096   306513 | 2147483647   294430    223 |  0.036 % |
191.06/191.14	c |    295226 |    5503    63096   306513 | 2147483647   295222    223 |  0.036 % |
192.06/192.14	c |    296097 |    5503    63096   306513 | 2147483647   296093    223 |  0.036 % |
192.86/192.98	c |    297058 |    5503    63096   306513 | 2147483647   297054    223 |  0.036 % |
194.56/194.63	c |    298112 |    5503    63096   306513 | 2147483647   298108    224 |  0.036 % |
196.26/196.39	c |    299271 |    5503    63096   306513 | 2147483647   299267    225 |  0.036 % |
198.26/198.40	c |    300553 |    5503    63096   306513 | 2147483647   300549    226 |  0.036 % |
200.86/200.99	c |    301957 |    5503    63096   306513 | 2147483647   301953    228 |  0.036 % |
203.86/203.93	c |    303499 |    5503    63096   306513 | 2147483647   303495    229 |  0.036 % |
205.86/205.96	c |    305196 |    5503    63096   306513 | 2147483647   305192    231 |  0.036 % |
209.06/209.14	c |    307062 |    5503    63096   306513 | 2147483647   307058    233 |  0.036 % |
211.66/211.75	c |    309112 |    5503    63096   306513 | 2147483647   309108    234 |  0.036 % |
214.56/214.65	c |    311365 |    5503    63096   306513 | 2147483647   311361    236 |  0.036 % |
219.46/219.60	c |    313843 |    5503    63096   306513 | 2147483647   313839    237 |  0.036 % |
223.96/224.03	c |    316576 |    5503    63096   306513 | 2147483647   316572    240 |  0.036 % |
231.06/231.15	c |    319574 |    5503    63096   306513 | 2147483647   319570    243 |  0.036 % |
231.26/231.35	c |    319677 |    5503    63096   306513 | 2147483647   319673    243 |  0.036 % |
231.56/231.61	c |    319788 |    5503    63096   306513 | 2147483647   319784    243 |  0.036 % |
231.76/231.85	c |    319910 |    5503    63096   306513 | 2147483647   319906    243 |  0.036 % |
231.96/232.03	c |    320043 |    5503    63096   306513 | 2147483647   320039    243 |  0.036 % |
232.16/232.27	c |    320189 |    5503    63096   306513 | 2147483647   320185    243 |  0.036 % |
232.36/232.47	c |    320350 |    5503    63096   306513 | 2147483647   320346    243 |  0.036 % |
232.66/232.79	c |    320535 |    5503    63096   306513 | 2147483647   320531    243 |  0.036 % |
232.96/233.06	c |    320728 |    5503    63096   306513 | 2147483647   320724    243 |  0.036 % |
233.06/233.19	c |    320941 |    5503    63096   306513 | 2147483647   320937    243 |  0.036 % |
233.26/233.32	c |    321175 |    5503    63096   306513 | 2147483647   321171    243 |  0.036 % |
233.76/233.84	c |    321431 |    5503    63096   306513 | 2147483647   321427    243 |  0.036 % |
234.16/234.23	c |    321714 |    5503    63096   306513 | 2147483647   321710    243 |  0.036 % |
234.66/234.79	c |    322032 |    5503    63096   306513 | 2147483647   322028    243 |  0.036 % |
235.56/235.64	c |    322379 |    5503    63096   306513 | 2147483647   322375    243 |  0.036 % |
236.06/236.16	c |    322753 |    5503    63096   306513 | 2147483647   322749    243 |  0.036 % |
236.56/236.65	c |    323162 |    5503    63096   306513 | 2147483647   323158    243 |  0.036 % |
237.26/237.38	c |    323611 |    5503    63096   306513 | 2147483647   323607    243 |  0.036 % |
237.96/238.10	c |    324104 |    5503    63096   306513 | 2147483647   324100    243 |  0.036 % |
238.67/238.78	c |    324649 |    5503    63096   306513 | 2147483647   324645    243 |  0.036 % |
240.56/240.67	c |    325251 |    5503    63096   306513 | 2147483647   325247    243 |  0.036 % |
242.26/242.37	c |    325907 |    5503    63096   306513 | 2147483647   325903    244 |  0.036 % |
244.06/244.16	c |    326629 |    5503    63096   306513 | 2147483647   326625    244 |  0.036 % |
245.56/245.70	c |    327421 |    5503    63096   306513 | 2147483647   327417    245 |  0.036 % |
247.36/247.51	c |    328297 |    5503    63096   306513 | 2147483647   328293    246 |  0.036 % |
248.76/248.89	c |    329255 |    5503    63096   306513 | 2147483647   329251    247 |  0.036 % |
250.56/250.71	c |    330308 |    5503    63096   306513 | 2147483647   330304    247 |  0.036 % |
252.97/253.04	c |    331470 |    5503    63096   306513 | 2147483647   331466    248 |  0.036 % |
254.76/254.87	c |    332743 |    5503    63096   306513 | 2147483647   332739    249 |  0.036 % |
256.96/257.01	c |    334143 |    5503    63096   306513 | 2147483647   334139    250 |  0.036 % |
259.16/259.22	c |    335696 |    5503    63096   306513 | 2147483647   335692    250 |  0.036 % |
261.56/261.69	c |    337391 |    5503    63096   306513 | 2147483647   337387    250 |  0.036 % |
263.66/263.79	c |    339257 |    5503    63096   306513 | 2147483647   339253    251 |  0.036 % |
267.27/267.32	c |    341306 |    5503    63096   306513 | 2147483647   341302    251 |  0.036 % |
270.96/271.09	c |    343560 |    5503    63096   306513 | 2147483647   343556    251 |  0.036 % |
274.97/275.07	c |    346038 |    5503    63096   306513 | 2147483647   346034    250 |  0.036 % |
278.16/278.30	c |    348763 |    5503    63096   306513 | 2147483647   348759    250 |  0.036 % |
281.67/281.80	c |    351762 |    5503    63096   306513 | 2147483647   351758    249 |  0.036 % |
284.07/284.19	c |    355059 |    5503    63096   306513 | 2147483647   355055    249 |  0.036 % |
284.17/284.29	c |    355159 |    5503    63096   306513 | 2147483647   355155    249 |  0.036 % |
284.27/284.38	c |    355277 |    5503    63096   306513 | 2147483647   355273    249 |  0.036 % |
284.47/284.52	c |    355398 |    5503    63096   306513 | 2147483647   355394    249 |  0.036 % |
284.57/284.63	c |    355534 |    5503    63096   306513 | 2147483647   355530    249 |  0.036 % |
284.67/284.74	c |    355680 |    5503    63096   306513 | 2147483647   355676    249 |  0.036 % |
284.97/285.02	c |    355841 |    5503    63096   306513 | 2147483647   355837    248 |  0.036 % |
285.07/285.17	c |    356018 |    5503    63096   306513 | 2147483647   356014    248 |  0.036 % |
285.37/285.46	c |    356212 |    5503    63096   306513 | 2147483647   356208    248 |  0.036 % |
285.57/285.67	c |    356424 |    5503    63096   306513 | 2147483647   356420    248 |  0.036 % |
285.77/285.83	c |    356660 |    5503    63096   306513 | 2147483647   356656    248 |  0.036 % |
286.37/286.50	c |    356917 |    5503    63096   306513 | 2147483647   356913    248 |  0.036 % |
286.77/286.83	c |    357198 |    5503    63096   306513 | 2147483647   357194    248 |  0.036 % |
286.87/286.96	c |    357507 |    5503    63096   306513 | 2147483647   357503    248 |  0.036 % |
287.37/287.47	c |    357846 |    5503    63096   306513 | 2147483647   357842    248 |  0.036 % |
287.77/287.88	c |    358218 |    5503    63096   306513 | 2147483647   358214    248 |  0.036 % |
288.27/288.39	c |    358628 |    5503    63096   306513 | 2147483647   358624    248 |  0.036 % |
288.87/288.94	c |    359077 |    5503    63096   306513 | 2147483647   359073    248 |  0.036 % |
289.07/289.20	c |    359573 |    5503    63096   306513 | 2147483647   359569    247 |  0.036 % |
290.27/290.41	c |    360118 |    5503    63096   306513 | 2147483647   360114    247 |  0.036 % |
291.27/291.39	c |    360715 |    5503    63096   306513 | 2147483647   360711    247 |  0.036 % |
292.27/292.41	c |    361370 |    5503    63096   306513 | 2147483647   361366    247 |  0.036 % |
293.17/293.26	c |    362090 |    5503    63096   306513 | 2147483647   362086    247 |  0.036 % |
294.27/294.35	c |    362882 |    5503    63096   306513 | 2147483647   362878    247 |  0.036 % |
295.17/295.30	c |    363757 |    5503    63096   306513 | 2147483647   363753    247 |  0.036 % |
296.37/296.46	c |    364715 |    5503    63096   306513 | 2147483647   364711    246 |  0.036 % |
297.47/297.54	c |    365770 |    5503    63096   306513 | 2147483647   365766    246 |  0.036 % |
298.47/298.54	c |    366928 |    5503    63096   306513 | 2147483647   366924    246 |  0.036 % |
298.97/299.08	c |    368202 |    5503    63096   306513 | 2147483647   368198    246 |  0.036 % |
300.07/300.17	c |    369602 |    5503    63096   306513 | 2147483647   369598    246 |  0.037 % |
301.27/301.39	c |    371143 |    5503    63096   306513 | 2147483647   371139    245 |  0.036 % |
303.07/303.16	c |    372838 |    5503    63096   306513 | 2147483647   372834    245 |  0.037 % |
304.37/304.50	c |    374701 |    5503    63096   306513 | 2147483647   374697    245 |  0.037 % |
306.17/306.25	c |    376750 |    5503    63096   306513 | 2147483647   376746    245 |  0.037 % |
308.77/308.85	c |    379004 |    5503    63096   306513 | 2147483647   379000    246 |  0.037 % |
310.87/310.98	c |    381489 |    5503    63096   306513 | 2147483647   381485    245 |  0.036 % |
316.47/316.56	c |    384214 |    5503    63096   306513 | 2147483647   384210    245 |  0.036 % |
320.97/321.11	c |    387211 |    5503    63096   306513 | 2147483647   387207    247 |  0.036 % |
324.77/324.87	c |    390507 |    5503    63096   306513 | 2147483647   390503    248 |  0.036 % |
334.87/334.98	c |    394140 |    5503    63096   306513 | 2147483647   394136    251 |  0.036 % |
335.37/335.43	c |    394240 |    5503    63096   306513 | 2147483647   394236    251 |  0.036 % |
335.57/335.71	c |    394352 |    5503    63096   306513 | 2147483647   394348    251 |  0.036 % |
335.87/336.01	c |    394475 |    5503    63096   306513 | 2147483647   394471    251 |  0.036 % |
336.17/336.24	c |    394609 |    5503    63096   306513 | 2147483647   394605    251 |  0.036 % |
336.47/336.53	c |    394757 |    5503    63096   306513 | 2147483647   394753    251 |  0.036 % |
336.77/336.90	c |    394917 |    5503    63096   306513 | 2147483647   394913    251 |  0.036 % |
337.07/337.17	c |    395093 |    5503    63096   306513 | 2147483647   395089    251 |  0.036 % |
337.37/337.47	c |    395287 |    5503    63096   306513 | 2147483647   395283    251 |  0.036 % |
337.67/337.73	c |    395500 |    5503    63096   306513 | 2147483647   395496    251 |  0.036 % |
337.87/337.98	c |    395734 |    5503    63096   306513 | 2147483647   395730    251 |  0.036 % |
338.77/338.88	c |    395993 |    5503    63096   306513 | 2147483647   395989    251 |  0.036 % |
339.37/339.45	c |    396274 |    5503    63096   306513 | 2147483647   396270    251 |  0.036 % |
340.07/340.19	c |    396583 |    5503    63096   306513 | 2147483647   396579    251 |  0.036 % |
340.47/340.56	c |    396922 |    5503    63096   306513 | 2147483647   396918    251 |  0.036 % |
341.07/341.12	c |    397294 |    5503    63096   306513 | 2147483647   397290    251 |  0.036 % |
341.77/341.82	c |    397707 |    5503    63096   306513 | 2147483647   397703    251 |  0.036 % |
342.27/342.38	c |    398156 |    5503    63096   306513 | 2147483647   398152    251 |  0.036 % |
342.77/342.90	c |    398651 |    5503    63096   306513 | 2147483647   398647    251 |  0.036 % |
343.27/343.39	c |    399194 |    5503    63096   306513 | 2147483647   399190    250 |  0.036 % |
343.97/344.04	c |    399791 |    5503    63096   306513 | 2147483647   399787    250 |  0.036 % |
345.77/345.82	c |    400446 |    5503    63096   306513 |   399999   346745    242 |  0.037 % |
346.57/346.64	c |    401168 |    5503    63096   306513 |   399999   347467    242 |  0.036 % |
347.37/347.51	c |    401960 |    5503    63096   306513 |   399999   348259    242 |  0.037 % |
348.27/348.38	c |    402842 |    5503    63096   306513 |   399999   349141    242 |  0.037 % |
349.47/349.54	c |    403808 |    5503    63096   306513 |   399999   350107    242 |  0.036 % |
350.67/350.78	c |    404863 |    5503    63096   306513 |   399999   351162    242 |  0.037 % |
351.77/351.89	c |    406024 |    5503    63096   306513 |   399999   352323    242 |  0.037 % |
354.27/354.39	c |    407302 |    5503    63096   306513 |   399999   353601    242 |  0.036 % |
355.07/355.14	c |    408702 |    5503    63096   306513 |   399999   355001    242 |  0.036 % |
356.27/356.37	c |    410243 |    5503    63096   306513 |   356299   356542    242 |  0.036 % |
359.27/359.32	c |    411938 |    5503    63096   306513 |   356299   304331    254 |  0.036 % |
361.57/361.62	c |    413804 |    5503    63096   306513 |   356299   306197    254 |  0.036 % |
363.77/363.83	c |    415860 |    5503    63096   306513 |   356299   308253    254 |  0.036 % |
366.47/366.59	c |    418113 |    5503    63096   306513 |   356299   310506    254 |  0.036 % |
370.77/370.90	c |    420595 |    5503    63096   306513 | 2147483647   312988    254 |  0.036 % |
374.07/374.12	c |    423320 |    5503    63096   306513 | 2147483647   315713    254 |  0.036 % |
377.28/377.40	c |    426317 |    5503    63096   306513 | 2147483647   318710    253 |  0.036 % |
380.37/380.44	c |    429613 |    5503    63096   306513 | 2147483647   322006    253 |  0.036 % |
383.88/383.93	c |    433238 |    5503    63096   306513 | 2147483647   325631    255 |  0.036 % |
388.87/388.93	c |    437225 |    5503    63096   306513 | 2147483647   329618    254 |  0.036 % |
388.87/389.01	c |    437326 |    5503    63096   306513 | 2147483647   329719    254 |  0.036 % |
388.97/389.07	c |    437440 |    5503    63096   306513 | 2147483647   329833    254 |  0.036 % |
389.07/389.15	c |    437562 |    5503    63096   306513 | 2147483647   329955    254 |  0.036 % |
389.38/389.43	c |    437696 |    5503    63096   306513 | 2147483647   330089    254 |  0.036 % |
389.67/389.73	c |    437842 |    5503    63096   306513 | 2147483647   330235    254 |  0.036 % |
389.97/390.08	c |    438002 |    5503    63096   306513 | 2147483647   330395    254 |  0.036 % |
390.37/390.47	c |    438178 |    5503    63096   306513 | 2147483647   330571    254 |  0.036 % |
390.67/390.74	c |    438371 |    5503    63096   306513 | 2147483647   330764    254 |  0.036 % |
391.17/391.30	c |    438586 |    5503    63096   306513 | 2147483647   330979    254 |  0.036 % |
391.67/391.80	c |    438824 |    5503    63096   306513 | 2147483647   331217    254 |  0.036 % |
392.07/392.14	c |    439080 |    5503    63096   306513 | 2147483647   331473    254 |  0.036 % |
392.47/392.59	c |    439361 |    5503    63096   306513 | 2147483647   331754    254 |  0.036 % |
393.07/393.13	c |    439672 |    5503    63096   306513 | 2147483647   332065    254 |  0.036 % |
393.57/393.61	c |    440012 |    5503    63096   306513 | 2147483647   332405    254 |  0.036 % |
393.97/394.06	c |    440384 |    5503    63096   306513 | 2147483647   332777    254 |  0.036 % |
394.37/394.45	c |    440796 |    5503    63096   306513 | 2147483647   333189    254 |  0.036 % |
395.07/395.13	c |    441245 |    5503    63096   306513 | 2147483647   333638    254 |  0.036 % |
395.77/395.83	c |    441742 |    5503    63096   306513 | 2147483647   334135    254 |  0.036 % |
396.47/396.58	c |    442284 |    5503    63096   306513 | 2147483647   334677    254 |  0.036 % |
397.87/398.00	c |    442884 |    5503    63096   306513 | 2147483647   335277    254 |  0.036 % |
398.87/398.96	c |    443541 |    5503    63096   306513 | 2147483647   335934    254 |  0.036 % |
399.87/399.93	c |    444262 |    5503    63096   306513 | 2147483647   336655    254 |  0.036 % |
400.77/400.87	c |    445055 |    5503    63096   306513 | 2147483647   337448    254 |  0.036 % |
402.87/402.93	c |    445927 |    5503    63096   306513 | 2147483647   338320    255 |  0.036 % |
405.27/405.35	c |    446885 |    5503    63096   306513 | 2147483647   339278    255 |  0.036 % |
407.88/407.96	c |    447942 |    5503    63096   306513 | 2147483647   340335    256 |  0.036 % |
410.08/410.16	c |    449100 |    5503    63096   306513 | 2147483647   341493    257 |  0.036 % |
412.37/412.43	c |    450373 |    5503    63096   306513 |   342393   342766    257 |  0.036 % |
414.67/414.79	c |    451773 |    5503    63096   306513 |   342393   298208    261 |  0.036 % |
418.17/418.30	c |    453313 |    5503    63096   306513 |   342393   299748    262 |  0.036 % |
422.17/422.30	c |    455007 |    5503    63096   306513 |   342393   301442    263 |  0.036 % |
426.27/426.35	c |    456870 |    5503    63096   306513 |   342393   303305    265 |  0.036 % |
433.07/433.19	c |    458921 |    5503    63096   306513 |   342393   305356    267 |  0.036 % |
437.67/437.71	c |    461174 |    5503    63096   306513 |   306440   275205    255 |  0.036 % |
440.87/440.98	c |    463653 |    5503    63096   306513 |   306440   277684    256 |  0.036 % |
444.47/444.55	c |    466380 |    5503    63096   306513 |   306440   280411    257 |  0.036 % |
447.87/447.92	c |    469382 |    5503    63096   306513 |   306440   283413    258 |  0.036 % |
457.67/457.77	c |    472678 |    5503    63096   306513 | 2147483647   286709    262 |  0.036 % |
466.27/466.38	c |    476304 |    5503    63096   306513 | 2147483647   290335    266 |  0.036 % |
473.07/473.19	c |    480295 |    5503    63096   306513 | 2147483647   294326    269 |  0.036 % |
481.27/481.39	c |    484681 |    5503    63096   306513 | 2147483647   298712    271 |  0.036 % |
481.47/481.59	c |    484781 |    5503    63096   306513 | 2147483647   298812    271 |  0.036 % |
481.67/481.80	c |    484891 |    5503    63096   306513 | 2147483647   298922    271 |  0.036 % |
482.07/482.14	c |    485013 |    5503    63096   306513 | 2147483647   299044    271 |  0.036 % |
482.47/482.53	c |    485147 |    5503    63096   306513 | 2147483647   299178    271 |  0.036 % |
482.77/482.82	c |    485297 |    5503    63096   306513 | 2147483647   299328    271 |  0.036 % |
483.27/483.37	c |    485459 |    5503    63096   306513 | 2147483647   299490    272 |  0.036 % |
483.67/483.78	c |    485635 |    5503    63096   306513 | 2147483647   299666    272 |  0.036 % |
484.27/484.37	c |    485836 |    5503    63096   306513 | 2147483647   299867    272 |  0.036 % |
484.77/484.89	c |    486048 |    5503    63096   306513 | 2147483647   300079    272 |  0.036 % |
485.37/485.41	c |    486281 |    5503    63096   306513 | 2147483647   300312    272 |  0.036 % |
486.07/486.14	c |    486540 |    5503    63096   306513 | 2147483647   300571    273 |  0.036 % |
486.57/486.68	c |    486821 |    5503    63096   306513 | 2147483647   300852    273 |  0.036 % |
487.17/487.22	c |    487130 |    5503    63096   306513 | 2147483647   301161    273 |  0.036 % |
487.77/487.87	c |    487470 |    5503    63096   306513 | 2147483647   301501    273 |  0.036 % |
488.57/488.68	c |    487847 |    5503    63096   306513 | 2147483647   301878    274 |  0.036 % |
489.48/489.58	c |    488261 |    5503    63096   306513 | 2147483647   302292    274 |  0.036 % |
490.87/490.93	c |    488714 |    5503    63096   306513 | 2147483647   302745    274 |  0.036 % |
492.27/492.32	c |    489209 |    5503    63096   306513 | 2147483647   303240    275 |  0.036 % |
493.27/493.34	c |    489757 |    5503    63096   306513 | 2147483647   303788    275 |  0.036 % |
494.37/494.49	c |    490353 |    5503    63096   306513 | 2147483647   304384    276 |  0.036 % |
495.77/495.86	c |    491010 |    5503    63096   306513 | 2147483647   305041    276 |  0.036 % |
496.57/496.67	c |    491737 |    5503    63096   306513 | 2147483647   305768    276 |  0.036 % |
498.97/499.09	c |    492530 |    5503    63096   306513 | 2147483647   306561    277 |  0.036 % |
500.77/500.82	c |    493401 |    5503    63096   306513 | 2147483647   307432    277 |  0.036 % |
502.47/502.56	c |    494364 |    5503    63096   306513 | 2147483647   308395    277 |  0.036 % |
503.78/503.82	c |    495417 |    5503    63096   306513 | 2147483647   309448    277 |  0.036 % |
504.37/504.44	c |    496575 |    5503    63096   306513 | 2147483647   310606    277 |  0.036 % |
505.98/506.10	c |    497849 |    5503    63096   306513 | 2147483647   311880    276 |  0.036 % |
508.87/508.95	c |    499250 |    5503    63096   306513 | 2147483647   313281    277 |  0.036 % |
510.47/510.57	c |    500790 |    5503    63096   306513 | 2147483647   314821    277 |  0.036 % |
513.27/513.35	c |    502487 |    5503    63096   306513 | 2147483647   316518    278 |  0.036 % |
515.77/515.84	c |    504351 |    5503    63096   306513 | 2147483647   318382    278 |  0.036 % |
518.37/518.50	c |    506405 |    5503    63096   306513 | 2147483647   320436    279 |  0.036 % |
527.77/527.87	c |    508662 |    5503    63096   306513 | 2147483647   322693    281 |  0.036 % |
534.28/534.37	c |    511141 |    5503    63096   306513 |   324032   325172    282 |  0.036 % |
542.38/542.47	c |    513873 |    5503    63096   306513 |   324032   277833    279 |  0.036 % |
548.88/548.93	c |    516870 |    5503    63096   306513 |   324032   280830    281 |  0.036 % |
557.58/557.65	c |    520176 |    5503    63096   306513 | 2147483647   284136    284 |  0.036 % |
567.18/567.27	c |    523805 |    5503    63096   306513 | 2147483647   287765    288 |  0.036 % |
578.28/578.34	c |    527792 |    5503    63096   306513 | 2147483647   291752    290 |  0.036 % |
582.68/582.80	c |    532177 |    5503    63096   306513 | 2147483647   296137    290 |  0.036 % |
588.78/588.86	c |    537001 |    5503    63096   306513 | 2147483647   300961    291 |  0.036 % |
588.98/589.04	c |    537109 |    5503    63096   306513 | 2147483647   301069    291 |  0.036 % |
589.08/589.17	c |    537219 |    5503    63096   306513 | 2147483647   301179    291 |  0.036 % |
589.28/589.38	c |    537340 |    5503    63096   306513 | 2147483647   301300    291 |  0.036 % |
589.48/589.59	c |    537473 |    5503    63096   306513 | 2147483647   301433    291 |  0.036 % |
589.68/589.78	c |    537621 |    5503    63096   306513 | 2147483647   301581    291 |  0.036 % |
590.08/590.11	c |    537785 |    5503    63096   306513 | 2147483647   301745    291 |  0.036 % |
590.38/590.51	c |    537961 |    5503    63096   306513 | 2147483647   301921    291 |  0.036 % |
590.68/590.79	c |    538158 |    5503    63096   306513 | 2147483647   302118    291 |  0.036 % |
591.08/591.12	c |    538372 |    5503    63096   306513 | 2147483647   302332    291 |  0.036 % |
591.38/591.45	c |    538605 |    5503    63096   306513 | 2147483647   302565    291 |  0.036 % |
591.68/591.76	c |    538865 |    5503    63096   306513 | 2147483647   302825    291 |  0.036 % |
592.28/592.34	c |    539149 |    5503    63096   306513 | 2147483647   303109    291 |  0.036 % |
592.48/592.53	c |    539458 |    5503    63096   306513 | 2147483647   303418    291 |  0.036 % |
592.78/592.82	c |    539799 |    5503    63096   306513 | 2147483647   303759    290 |  0.036 % |
593.08/593.20	c |    540172 |    5503    63096   306513 | 2147483647   304132    291 |  0.036 % |
593.48/593.60	c |    540582 |    5503    63096   306513 | 2147483647   304542    291 |  0.036 % |
594.08/594.13	c |    541031 |    5503    63096   306513 | 2147483647   304991    291 |  0.036 % |
595.38/595.48	c |    541524 |    5503    63096   306513 | 2147483647   305484    291 |  0.036 % |
596.98/597.04	c |    542071 |    5503    63096   306513 | 2147483647   306031    291 |  0.036 % |
599.68/599.77	c |    542667 |    5503    63096   306513 | 2147483647   306627    291 |  0.036 % |
601.48/601.60	c |    543322 |    5503    63096   306513 | 2147483647   307282    292 |  0.036 % |
604.48/604.55	c |    544049 |    5503    63096   306513 | 2147483647   308009    292 |  0.036 % |
607.38/607.41	c |    544843 |    5503    63096   306513 | 2147483647   308803    293 |  0.036 % |
609.68/609.80	c |    545715 |    5503    63096   306513 | 2147483647   309675    293 |  0.036 % |
611.28/611.40	c |    546675 |    5503    63096   306513 | 2147483647   310635    294 |  0.036 % |
614.28/614.35	c |    547729 |    5503    63096   306513 | 2147483647   311689    294 |  0.036 % |
617.48/617.55	c |    548888 |    5503    63096   306513 | 2147483647   312848    295 |  0.036 % |
621.38/621.49	c |    550164 |    5503    63096   306513 |   313960   314124    296 |  0.036 % |
626.28/626.37	c |    551565 |    5503    63096   306513 |   313960   279899    304 |  0.036 % |
630.18/630.28	c |    553113 |    5503    63096   306513 |   313960   281447    306 |  0.036 % |
635.79/635.84	c |    554811 |    5503    63096   306513 |   313960   283145    307 |  0.036 % |
640.98/641.01	c |    556674 |    5503    63096   306513 |   313960   285008    308 |  0.036 % |
644.88/644.93	c |    558723 |    5503    63096   306513 |   313960   287057    308 |  0.036 % |
649.18/649.24	c |    560978 |    5503    63096   306513 | 2147483647   289312    309 |  0.036 % |
651.58/651.62	c |    563462 |    5503    63096   306513 | 2147483647   291796    309 |  0.036 % |
655.79/655.87	c |    566187 |    5503    63096   306513 | 2147483647   294521    310 |  0.036 % |
660.39/660.43	c |    569184 |    5503    63096   306513 | 2147483647   297518    311 |  0.036 % |
665.49/665.53	c |    572480 |    5503    63096   306513 | 2147483647   300814    311 |  0.036 % |
673.49/673.51	c |    576105 |    5503    63096   306513 | 2147483647   304439    311 |  0.036 % |
684.59/684.69	c |    580094 |    5503    63096   306513 | 2147483647   308428    313 |  0.036 % |
690.59/690.70	c |    584482 |    5503    63096   306513 | 2147483647   312816    313 |  0.036 % |
700.49/700.56	c |    589305 |    5503    63096   306513 | 2147483647   317639    312 |  0.036 % |
718.39/718.50	c |    594615 |    5503    63096   306513 | 2147483647   322949    314 |  0.036 % |
718.79/718.82	c |    594717 |    5503    63096   306513 | 2147483647   323051    314 |  0.036 % |
719.09/719.12	c |    594830 |    5503    63096   306513 | 2147483647   323164    314 |  0.036 % |
719.39/719.45	c |    594953 |    5503    63096   306513 | 2147483647   323287    314 |  0.036 % |
719.79/719.82	c |    595086 |    5503    63096   306513 | 2147483647   323420    314 |  0.036 % |
719.99/720.05	c |    595232 |    5503    63096   306513 | 2147483647   323566    314 |  0.036 % |
720.29/720.37	c |    595396 |    5503    63096   306513 | 2147483647   323730    314 |  0.036 % |
720.69/720.75	c |    595572 |    5503    63096   306513 | 2147483647   323906    314 |  0.036 % |
721.39/721.50	c |    595765 |    5503    63096   306513 | 2147483647   324099    314 |  0.036 % |
721.79/721.88	c |    595977 |    5503    63096   306513 | 2147483647   324311    314 |  0.036 % |
722.19/722.31	c |    596210 |    5503    63096   306513 | 2147483647   324544    314 |  0.036 % |
722.69/722.77	c |    596466 |    5503    63096   306513 | 2147483647   324800    314 |  0.036 % |
724.39/724.44	c |    596750 |    5503    63096   306513 | 2147483647   325084    314 |  0.036 % |
725.59/725.65	c |    597059 |    5503    63096   306513 | 2147483647   325393    314 |  0.036 % |
726.39/726.45	c |    597398 |    5503    63096   306513 | 2147483647   325732    315 |  0.036 % |
727.39/727.49	c |    597772 |    5503    63096   306513 | 2147483647   326106    315 |  0.036 % |
728.39/728.43	c |    598183 |    5503    63096   306513 | 2147483647   326517    315 |  0.036 % |
729.79/729.87	c |    598632 |    5503    63096   306513 | 2147483647   326966    315 |  0.036 % |
731.29/731.37	c |    599126 |    5503    63096   306513 | 2147483647   327460    315 |  0.036 % |
732.89/732.91	c |    599669 |    5503    63096   306513 | 2147483647   328003    316 |  0.036 % |
735.19/735.28	c |    600265 |    5503    63096   306513 |   328334   328599    316 |  0.036 % |
737.39/737.46	c |    600920 |    5503    63096   306513 |   328334   285452    325 |  0.036 % |
739.39/739.44	c |    601646 |    5503    63096   306513 |   328334   286178    326 |  0.036 % |
741.79/741.84	c |    602442 |    5503    63096   306513 |   328334   286974    326 |  0.036 % |
744.59/744.63	c |    603313 |    5503    63096   306513 |   328334   287845    327 |  0.036 % |
747.79/747.89	c |    604272 |    5503    63096   306513 |   328334   288804    327 |  0.036 % |
748.99/749.08	c |    605326 |    5503    63096   306513 |   328334   289858    328 |  0.036 % |
751.59/751.68	c |    606484 |    5503    63096   306513 |   328334   291016    328 |  0.036 % |
754.19/754.23	c |    607762 |    5503    63096   306513 |   328334   292294    328 |  0.036 % |
756.49/756.55	c |    609163 |    5503    63096   306513 |   328334   293695    328 |  0.036 % |
759.29/759.37	c |    610703 |    5503    63096   306513 | 2147483647   295235    327 |  0.036 % |
764.79/764.89	c |    612399 |    5503    63096   306513 | 2147483647   296931    328 |  0.036 % |
767.39/767.44	c |    614262 |    5503    63096   306513 | 2147483647   298794    329 |  0.036 % |
774.28/774.37	c |    616311 |    5503    63096   306513 | 2147483647   300843    330 |  0.036 % |
782.39/782.45	c |    618564 |    5503    63096   306513 | 2147483647   303096    331 |  0.036 % |
790.19/790.26	c |    621044 |    5503    63096   306513 |   304535   305576    332 |  0.036 % |
799.09/799.15	c |    623771 |    5503    63096   306513 |   304535   263017    346 |  0.036 % |
801.99/802.02	c |    626772 |    5503    63096   306513 |   304535   266018    345 |  0.036 % |
806.29/806.38	c |    630069 |    5503    63096   306513 | 2147483647   269315    345 |  0.036 % |
819.19/819.25	c |    633694 |    5503    63096   306513 | 2147483647   272940    347 |  0.036 % |
832.69/832.72	c |    637681 |    5503    63096   306513 | 2147483647   276927    348 |  0.036 % |
842.99/843.08	c |    642066 |    5503    63096   306513 |   279246   246180    348 |  0.036 % |
849.69/849.75	c |    646890 |    5503    63096   306513 |   279246   251004    349 |  0.036 % |
853.89/853.98	c |    652197 |    5503    63096   306513 | 2147483647   256311    346 |  0.036 % |
865.99/866.05	c |    658035 |    5503    63096   306513 | 2147483647   262149    348 |  0.036 % |
866.29/866.32	c |    658140 |    5503    63096   306513 | 2147483647   262254    348 |  0.036 % |
866.49/866.60	c |    658250 |    5503    63096   306513 | 2147483647   262364    348 |  0.036 % |
866.80/866.86	c |    658375 |    5503    63096   306513 | 2147483647   262489    348 |  0.036 % |
867.19/867.27	c |    658508 |    5503    63096   306513 | 2147483647   262622    348 |  0.036 % |
867.99/868.03	c |    658655 |    5503    63096   306513 | 2147483647   262769    349 |  0.036 % |
868.59/868.69	c |    658817 |    5503    63096   306513 | 2147483647   262931    349 |  0.036 % |
869.39/869.41	c |    658995 |    5503    63096   306513 | 2147483647   263109    349 |  0.036 % |
870.10/870.14	c |    659194 |    5503    63096   306513 | 2147483647   263308    349 |  0.036 % |
870.89/870.99	c |    659406 |    5503    63096   306513 | 2147483647   263520    349 |  0.036 % |
871.89/871.97	c |    659639 |    5503    63096   306513 | 2147483647   263753    349 |  0.036 % |
872.89/872.96	c |    659895 |    5503    63096   306513 | 2147483647   264009    349 |  0.036 % |
873.99/874.05	c |    660177 |    5503    63096   306513 | 2147483647   264291    349 |  0.036 % |
875.09/875.18	c |    660488 |    5503    63096   306513 | 2147483647   264602    350 |  0.036 % |
876.29/876.36	c |    660829 |    5503    63096   306513 | 2147483647   264943    350 |  0.036 % |
877.39/877.45	c |    661209 |    5503    63096   306513 | 2147483647   265323    350 |  0.036 % |
879.19/879.22	c |    661619 |    5503    63096   306513 | 2147483647   265733    350 |  0.036 % |
880.79/880.89	c |    662069 |    5503    63096   306513 | 2147483647   266183    350 |  0.036 % |
882.79/882.83	c |    662565 |    5503    63096   306513 | 2147483647   266679    350 |  0.036 % |
883.59/883.64	c |    663109 |    5503    63096   306513 | 2147483647   267223    350 |  0.036 % |
884.19/884.22	c |    663705 |    5503    63096   306513 | 2147483647   267819    350 |  0.036 % |
886.79/886.86	c |    664365 |    5503    63096   306513 | 2147483647   268479    350 |  0.036 % |
888.89/888.93	c |    665090 |    5503    63096   306513 | 2147483647   269204    350 |  0.036 % |
890.89/890.94	c |    665885 |    5503    63096   306513 | 2147483647   269999    350 |  0.036 % |
893.99/894.09	c |    666760 |    5503    63096   306513 | 2147483647   270874    351 |  0.036 % |
896.99/897.09	c |    667719 |    5503    63096   306513 | 2147483647   271833    351 |  0.036 % |
900.49/900.58	c |    668773 |    5503    63096   306513 | 2147483647   272887    351 |  0.036 % |
903.59/903.66	c |    669934 |    5503    63096   306513 | 2147483647   274048    351 |  0.036 % |
908.60/908.62	c |    671207 |    5503    63096   306513 |   274115   223231    355 |  0.036 % |
911.80/911.85	c |    672623 |    5503    63096   306513 |   274115   224647    355 |  0.036 % |
917.30/917.40	c |    674163 |    5503    63096   306513 |   274115   226187    356 |  0.036 % |
924.40/924.45	c |    675859 |    5503    63096   306513 |   274115   227883    356 |  0.036 % |
931.70/931.71	c |    677725 |    5503    63096   306513 |   274115   229749    357 |  0.036 % |
937.10/937.14	c |    679775 |    5503    63096   306513 |   274115   231799    356 |  0.036 % |
947.00/947.10	c |    682028 |    5503    63096   306513 |   232025   196343    342 |  0.036 % |
957.00/957.07	c |    684506 |    5503    63096   306513 |   232025   198821    343 |  0.036 % |
964.50/964.60	c |    687235 |    5503    63096   306513 |   232025   201550    343 |  0.036 % |
969.00/969.08	c |    690232 |    5503    63096   306513 |   204319   204547    342 |  0.036 % |
974.80/974.85	c |    693532 |    5503    63096   306513 |   204319   186728    344 |  0.036 % |
978.50/978.56	c |    697160 |    5503    63096   306513 |   204319   190356    342 |  0.036 % |
979.80/979.90	c |    701149 |    5503    63096   306513 | 2147483647   194345    337 |  0.036 % |
986.30/986.40	c |    705537 |    5503    63096   306513 | 2147483647   198733    334 |  0.036 % |
1002.70/1002.74	c |    710365 |    5503    63096   306513 | 2147483647   203561    335 |  0.036 % |
1016.60/1016.62	c |    715675 |    5503    63096   306513 | 2147483647   208871    336 |  0.036 % |
1037.81/1037.87	c |    721516 |    5503    63096   306513 | 2147483647   214712    338 |  0.036 % |
1067.31/1067.36	c |    727936 |    5503    63096   306513 | 2147483647   221132    340 |  0.036 % |
1067.71/1067.73	c |    728037 |    5503    63096   306513 | 2147483647   221233    340 |  0.036 % |
1068.31/1068.32	c |    728149 |    5503    63096   306513 | 2147483647   221345    340 |  0.036 % |
1068.71/1068.78	c |    728271 |    5503    63096   306513 | 2147483647   221467    340 |  0.036 % |
1069.41/1069.44	c |    728404 |    5503    63096   306513 | 2147483647   221600    340 |  0.036 % |
1070.31/1070.37	c |    728550 |    5503    63096   306513 | 2147483647   221746    340 |  0.036 % |
1071.11/1071.21	c |    728710 |    5503    63096   306513 | 2147483647   221906    340 |  0.036 % |
1071.91/1071.99	c |    728889 |    5503    63096   306513 | 2147483647   222085    340 |  0.036 % |
1072.71/1072.80	c |    729082 |    5503    63096   306513 | 2147483647   222278    340 |  0.036 % |
1073.81/1073.87	c |    729294 |    5503    63096   306513 | 2147483647   222490    340 |  0.036 % |
1075.01/1075.04	c |    729533 |    5503    63096   306513 | 2147483647   222729    340 |  0.036 % |
1075.31/1075.37	c |    729790 |    5503    63096   306513 | 2147483647   222986    340 |  0.036 % |
1075.61/1075.67	c |    730071 |    5503    63096   306513 |   223196   223267    340 |  0.036 % |
1076.71/1076.72	c |    730380 |    5503    63096   306513 |   223196   195395    329 |  0.036 % |
1077.31/1077.35	c |    730719 |    5503    63096   306513 |   223196   195734    330 |  0.036 % |
1078.01/1078.01	c |    731091 |    5503    63096   306513 |   223196   196106    330 |  0.036 % |
1078.71/1078.73	c |    731502 |    5503    63096   306513 |   223196   196517    329 |  0.036 % |
1079.51/1079.53	c |    731953 |    5503    63096   306513 |   223196   196968    329 |  0.036 % |
1080.31/1080.33	c |    732446 |    5503    63096   306513 |   223196   197461    329 |  0.036 % |
1080.81/1080.91	c |    732990 |    5503    63096   306513 |   223196   198005    329 |  0.036 % |
1082.31/1082.39	c |    733586 |    5503    63096   306513 |   223196   198601    329 |  0.036 % |
1083.11/1083.15	c |    734243 |    5503    63096   306513 |   223196   199258    329 |  0.036 % |
1084.01/1084.02	c |    734974 |    5503    63096   306513 |   223196   199989    328 |  0.036 % |
1085.11/1085.19	c |    735766 |    5503    63096   306513 |   223196   200781    328 |  0.036 % |
1086.11/1086.14	c |    736637 |    5503    63096   306513 |   223196   201652    328 |  0.036 % |
1086.81/1086.87	c |    737598 |    5503    63096   306513 |   223196   202613    327 |  0.036 % |
1087.51/1087.52	c |    738652 |    5503    63096   306513 |   223196   203667    326 |  0.036 % |
1089.91/1089.95	c |    739819 |    5503    63096   306513 |   223196   204834    325 |  0.036 % |
1092.71/1092.79	c |    741098 |    5503    63096   306513 | 2147483647   206113    325 |  0.036 % |
1096.11/1096.11	c |    742499 |    5503    63096   306513 | 2147483647   207514    326 |  0.036 % |
1097.21/1097.27	c |    744039 |    5503    63096   306513 | 2147483647   209054    324 |  0.036 % |
1101.61/1101.65	c |    745735 |    5503    63096   306513 | 2147483647   210750    324 |  0.036 % |
1102.91/1102.95	c |    747598 |    5503    63096   306513 | 2147483647   212613    322 |  0.036 % |
1106.01/1106.08	c |    749651 |    5503    63096   306513 | 2147483647   214666    321 |  0.036 % |
1109.41/1109.44	c |    751904 |    5503    63096   306513 | 2147483647   216919    320 |  0.036 % |
1113.22/1113.30	c |    754382 |    5503    63096   306513 | 2147483647   219397    321 |  0.036 % |
1123.91/1123.95	c |    757107 |    5503    63096   306513 | 2147483647   222122    322 |  0.036 % |
1138.80/1138.89	c |    760104 |    5503    63096   306513 | 2147483647   225119    323 |  0.036 % |
1147.70/1147.71	c |    763403 |    5503    63096   306513 | 2147483647   228418    323 |  0.036 % |
1154.70/1154.72	c |    767029 |    5503    63096   306513 | 2147483647   232044    323 |  0.036 % |
1163.22/1163.30	c |    771025 |    5503    63096   306513 |   235015   207150    314 |  0.036 % |
1173.22/1173.22	c |    775410 |    5503    63096   306513 |   235015   211535    314 |  0.036 % |
1184.62/1184.71	c |    780234 |    5503    63096   306513 | 2147483647   216359    314 |  0.036 % |

Verifier Data

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

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1820896-1242485122/watcher-1820896-1242485122 -o /tmp/evaluation-result-1820896-1242485122/solver-1820896-1242485122 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820896-1242485122.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: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=952 CPUtime=0
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 147 0 0 0 0 0 0 0 18 0 1 0 1013013263 974848 83 4294967295 134512640 135223648 3217874960 3217873840 134543108 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 238 84 46 174 0 63 0

[startup+0.096154 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=16352 CPUtime=0.1
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 3438 0 0 0 7 3 0 0 18 0 1 0 1013013263 16744448 3374 4294967295 134512640 135223648 3217874960 3217873544 134718983 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 4088 3374 46 174 0 3913 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18764

[startup+0.11614 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=18712 CPUtime=0.12
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 4131 0 0 0 9 3 0 0 18 0 1 0 1013013263 19161088 4067 4294967295 134512640 135223648 3217874960 3217873544 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 4678 4068 46 174 0 4503 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 21124

[startup+0.316128 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=25028 CPUtime=0.32
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 6092 0 0 0 27 5 0 0 18 0 1 0 1013013263 25628672 5608 4294967295 134512640 135223648 3217874960 3217872728 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 6257 5608 73 174 0 6082 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 27440

[startup+0.716105 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=25600 CPUtime=0.72
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 6261 0 0 0 67 5 0 0 18 0 1 0 1013013263 26214400 5777 4294967295 134512640 135223648 3217874960 3217872736 134585497 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 6400 5777 73 174 0 6225 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 28012

[startup+1.51606 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27830
/proc/meminfo: memFree=1785664/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=26940 CPUtime=1.52
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 6565 0 0 0 146 6 0 0 20 0 1 0 1013013263 27586560 6081 4294967295 134512640 135223648 3217874960 3217872960 134548993 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 6735 6081 73 174 0 6560 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 29352

[startup+3.11597 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27831
/proc/meminfo: memFree=1779712/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=29024 CPUtime=3.12
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 7026 0 0 0 303 9 0 0 25 0 1 0 1013013263 29720576 6542 4294967295 134512640 135223648 3217874960 3217872976 134586712 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 7256 6542 73 174 0 7081 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 31436

[startup+6.3158 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27832
/proc/meminfo: memFree=1788424/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=6820 CPUtime=1.22
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 1620 0 0 0 119 3 0 0 25 0 1 0 1013013772 6983680 1554 4294967295 134512640 135215339 3218846048 3218844336 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 1705 1554 73 172 0 1532 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 9236

[startup+12.7154 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27832
/proc/meminfo: memFree=1776328/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=20008 CPUtime=7.58
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 4901 0 0 0 754 4 0 0 25 0 1 0 1013013772 20488192 4835 4294967295 134512640 135215339 3218846048 3218844048 134532976 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 5002 4835 73 172 0 4829 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22424

[startup+25.5147 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27834
/proc/meminfo: memFree=1748176/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=46728 CPUtime=20.38
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 11574 0 0 0 2033 5 0 0 25 0 1 0 1013013772 47849472 11508 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 11682 11508 73 172 0 11509 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49144

[startup+51.1233 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 28017
/proc/meminfo: memFree=1700076/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=95060 CPUtime=45.98
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 23667 0 0 0 4586 12 0 0 25 0 1 0 1013013772 97341440 23601 4294967295 134512640 135215339 3218846048 3218844048 134532646 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 23765 23601 73 172 0 23592 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97476

[startup+102.32 s]
/proc/loadavg: 1.00 1.02 1.00 2/99 28206
/proc/meminfo: memFree=1619868/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=174472 CPUtime=97.17
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 43419 0 0 0 9696 21 0 0 25 0 1 0 1013013772 178659328 43353 4294967295 134512640 135215339 3218846048 3218844336 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 43618 43353 73 172 0 43445 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 176888

[startup+162.317 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 28393
/proc/meminfo: memFree=1549360/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=245584 CPUtime=157.17
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 61216 0 0 0 15687 30 0 0 25 0 1 0 1013013772 251478016 61150 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 61396 61150 73 172 0 61223 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 248000

[startup+222.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 28584
/proc/meminfo: memFree=1479688/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=315148 CPUtime=217.17
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 78519 0 0 0 21676 41 0 0 25 0 1 0 1013013772 322711552 78453 4294967295 134512640 135215339 3218846048 3218844048 134532952 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 78787 78453 73 172 0 78614 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 317564

[startup+282.32 s]
/proc/loadavg: 1.07 1.03 1.01 2/99 28771
/proc/meminfo: memFree=1428980/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=365956 CPUtime=277.18
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 91240 0 0 0 27670 48 0 0 25 0 1 0 1013013772 374738944 91174 4294967295 134512640 135215339 3218846048 3218844048 134532650 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 91489 91174 73 172 0 91316 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 368372

[startup+342.317 s]
/proc/loadavg: 1.02 1.02 1.00 2/99 28962
/proc/meminfo: memFree=1378752/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=415576 CPUtime=337.18
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 103647 0 0 0 33661 57 0 0 25 0 1 0 1013013772 425549824 103581 4294967295 134512640 135215339 3218846048 3218844336 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 103894 103581 73 172 0 103721 0
Current children cumulated CPU time (s) 342.27

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

/proc/27832/statm: 104062 103752 73 172 0 103889 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 418664

[startup+582.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 29712
/proc/meminfo: memFree=1378264/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=416248 CPUtime=577.19
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 103820 0 0 0 57661 58 0 0 25 0 1 0 1013013772 426237952 103754 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 104062 103754 73 172 0 103889 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 418664

[startup+642.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 29905
/proc/meminfo: memFree=1378264/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=416248 CPUtime=637.19
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 103820 0 0 0 63661 58 0 0 25 0 1 0 1013013772 426237952 103754 4294967295 134512640 135215339 3218846048 3218844048 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 104062 103754 73 172 0 103889 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 418664

[startup+702.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30094
/proc/meminfo: memFree=1373684/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=421008 CPUtime=697.2
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 105019 0 0 0 69662 58 0 0 25 0 1 0 1013013772 431112192 104953 4294967295 134512640 135215339 3218846048 3218844336 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 105252 104953 73 172 0 105079 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 423424

[startup+762.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30281
/proc/meminfo: memFree=1356284/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=757.21
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109299 0 0 0 75659 62 0 0 25 0 1 0 1013013772 448688128 109233 4294967295 134512640 135215339 3218846048 3218844048 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109233 73 172 0 109370 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 440588

[startup+822.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 30468
/proc/meminfo: memFree=1356208/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=817.2
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109301 0 0 0 81658 62 0 0 25 0 1 0 1013013772 448688128 109235 4294967295 134512640 135215339 3218846048 3218844048 134532976 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109235 73 172 0 109370 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 440588

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 30655
/proc/meminfo: memFree=1356448/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=877.2
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109304 0 0 0 87658 62 0 0 25 0 1 0 1013013772 448688128 109238 4294967295 134512640 135215339 3218846048 3218844336 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109238 73 172 0 109370 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 440588

[startup+942.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30855
/proc/meminfo: memFree=1356564/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=937.21
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109304 0 0 0 93659 62 0 0 25 0 1 0 1013013772 448688128 109238 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109238 73 172 0 109370 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 440588

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31048
/proc/meminfo: memFree=1356556/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=997.21
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109306 0 0 0 99659 62 0 0 25 0 1 0 1013013772 448688128 109240 4294967295 134512640 135215339 3218846048 3218844336 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109240 73 172 0 109370 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 440588

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31235
/proc/meminfo: memFree=1356588/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1057.22
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109306 0 0 0 105658 64 0 0 25 0 1 0 1013013772 448688128 109240 4294967295 134512640 135215339 3218846048 3218844048 134532952 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109240 73 172 0 109370 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 440588

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31422
/proc/meminfo: memFree=1356688/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1117.22
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109307 0 0 0 111658 64 0 0 25 0 1 0 1013013772 448688128 109241 4294967295 134512640 135215339 3218846048 3218844048 134532672 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109241 73 172 0 109370 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 440588

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31609
/proc/meminfo: memFree=1356448/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1177.23
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109308 0 0 0 117659 64 0 0 25 0 1 0 1013013772 448688128 109242 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109242 73 172 0 109370 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 440588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31611
/proc/meminfo: memFree=1356544/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1194.93
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109308 0 0 0 119429 64 0 0 25 0 1 0 1013013772 448688128 109242 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109242 73 172 0 109370 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 440588

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 27824 and gives
#  childrusage.ru_utime.tv_sec=4
#  childrusage.ru_utime.tv_usec=960000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=130000
# CPU time returned by wait4() is 5.09
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.05
CPU time (s): 1200.02
CPU user time (s): 1199.25
CPU system time (s): 0.77
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 440588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.96
system time used= 0.13
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139
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= 15
involuntary context switches= 18

runsolver used 0.01 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi11 at 2009-05-16 16:45:22
IDJOB=1820896
IDBENCH=70762
IDSOLVER=657
FILE ID=tipi11/1820896-1242485122
PBS_JOBID=
Free space on /tmp= 9935 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxor/minxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820896-1242485122/watcher-1820896-1242485122 -o /tmp/evaluation-result-1820896-1242485122/solver-1820896-1242485122 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820896-1242485122.cnf

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

MD5SUM BENCH= 10b48467ea3d951975cb9264f0b654fe
RANDOM SEED= 791496818

Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1812712 kB
Buffers:         21520 kB
Cached:         168924 kB
SwapCached:       5224 kB
Active:          50828 kB
Inactive:       151528 kB
HighTotal:     1178688 kB
HighFree:      1028920 kB
LowTotal:       895776 kB
LowFree:        783792 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:            4132 kB
Writeback:           0 kB
AnonPages:       11200 kB
Mapped:           5064 kB
Slab:            49876 kB
PageTables:        688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97124 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9916 MiB
End job on tipi11 at 2009-05-16 17:05:25