Trace number 1834213

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-18UNSAT 866.7 867.086

General information on the benchmark

Namevelev-pipe-o-uns-1.0-7.cnf
MD5SUMb7df25f653e1e7a9ffcd39b3231809e6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark253.941
Satisfiable
(Un)Satisfiability was proved
Number of variables24415
Number of clauses711050
Sum of the clauses size2091630
Maximum clause length161
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2605924
Number of clauses of size 386384
Number of clauses of size 4614
Number of clauses of size 5475
Number of clauses of size over 517652

Solver Data

0.00/0.00	c Parsing...
0.00/0.52	c ==============================================================================
0.00/0.52	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.52	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.52	c ==============================================================================
0.00/0.52	c |         0 |  711049  2091629 |  213314       0        0     nan |  0.000 % |
2.49/2.51	c |         0 |  700461  2138957 |      --       0       --      -- |     --   | -10530/47459
2.49/2.51	c ==============================================================================
2.49/2.51	c Result  :   #vars: 21173   #clauses: 700461   #literals: 2138957
2.49/2.51	c CPU time:   2.41163 s
2.49/2.51	c ==============================================================================
3.08/3.19	c This is MiniSat 2.0 beta
3.08/3.19	c WARNING: for repeatability, setting FPU to use double precision
3.08/3.19	c ============================[ Problem Statistics ]=============================
3.08/3.19	c |                                                                             |
3.08/3.19	c |  Number of variables:  21173                                                |
3.08/3.19	c |  Number of clauses:    700461                                               |
3.58/3.60	c |  Parsing time:         0.35         s                                       |
3.58/3.62	c ============================[ Search Statistics ]==============================
3.58/3.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.58/3.62	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.58/3.62	c ===============================================================================
3.58/3.62	c |         0 |   21173   700461  2138957 |   233487        0    nan |  0.000 % |
3.58/3.68	c |       103 |   21173   700461  2138957 |   233487      103     75 |  0.000 % |
3.68/3.79	c |       203 |   21173   700461  2138957 |   233487      203     58 |  0.001 % |
3.78/3.83	c |       305 |   21173   700461  2138957 |   233487      305     50 |  0.000 % |
3.78/3.88	c |       418 |   21173   700461  2138957 |   233487      418     50 |  0.000 % |
3.88/3.91	c |       519 |   21173   700461  2138957 |   233487      519     47 |  0.000 % |
3.98/4.00	c |       630 |   21173   700461  2138957 |   233487      630     54 |  0.000 % |
3.98/4.05	c |       751 |   21173   700461  2138957 |   233487      751     51 |  0.000 % |
4.08/4.11	c |       852 |   21173   700461  2138957 |   233487      852     49 |  0.000 % |
4.08/4.14	c |       962 |   21173   700461  2138957 |   233487      962     48 |  0.000 % |
4.18/4.22	c |      1086 |   21173   700461  2138957 |   233487     1086     46 |  0.000 % |
4.18/4.28	c |      1219 |   21173   700461  2138957 |   233487     1219     47 |  0.000 % |
4.28/4.32	c |      1319 |   21173   700461  2138957 |   233487     1319     46 |  0.000 % |
4.28/4.37	c |      1429 |   21173   700461  2138957 |   233487     1429     48 |  0.000 % |
4.38/4.43	c |      1550 |   21173   700461  2138957 |   233487     1550     50 |  0.000 % |
4.48/4.50	c |      1683 |   21173   700461  2138957 |   233487     1683     50 |  0.000 % |
4.48/4.58	c |      1835 |   21173   700461  2138957 |   233487     1835     61 |  0.000 % |
4.58/4.65	c |      1935 |   21173   700461  2138957 |   233487     1935     61 |  0.000 % |
4.68/4.72	c |      2045 |   21173   700461  2138957 |   233487     2045     63 |  0.000 % |
4.78/4.80	c |      2170 |   21173   700461  2138957 |   233487     2170     63 |  0.000 % |
4.78/4.84	c |      2303 |   21173   700461  2138957 |   233487     2303     65 |  0.000 % |
4.88/4.91	c |      2452 |   21173   700461  2138957 |   233487     2452     65 |  0.000 % |
4.88/4.96	c |      2616 |   21173   700461  2138957 |   233487     2616     68 |  0.000 % |
4.98/5.03	c |      2716 |   21173   700461  2138957 |   233487     2716     68 |  0.000 % |
4.98/5.09	c |      2828 |   21173   700461  2138957 |   233487     2828     69 |  0.000 % |
5.08/5.13	c |      2952 |   21173   700461  2138957 |   233487     2952     68 |  0.000 % |
5.18/5.22	c |      3085 |   21173   700461  2138957 |   233487     3085     67 |  0.000 % |
5.18/5.28	c |      3231 |   21173   700461  2138957 |   233487     3231     68 |  0.000 % |
5.28/5.35	c |      3391 |   21173   700461  2138957 |   233487     3391     66 |  0.000 % |
5.38/5.43	c |      3567 |   21173   700461  2138957 |   233487     3567     67 |  0.000 % |
5.38/5.48	c |      3667 |   21173   700461  2138957 |   233487     3667     66 |  0.000 % |
5.48/5.52	c |      3777 |   21173   700461  2138957 |   233487     3777     65 |  0.000 % |
5.48/5.57	c |      3905 |   21173   700461  2138957 |   233487     3905     65 |  0.000 % |
5.58/5.62	c |      4038 |   21173   700461  2138957 |   233487     4038     66 |  0.000 % |
5.58/5.68	c |      4186 |   21173   700461  2138957 |   233487     4186     67 |  0.000 % |
5.68/5.74	c |      4346 |   21173   700461  2138957 |   233487     4346     67 |  0.000 % |
5.78/5.81	c |      4522 |   21173   700461  2138957 |   233487     4522     69 |  0.000 % |
5.87/5.90	c |      4715 |   21173   700461  2138957 |   233487     4715     69 |  0.000 % |
5.87/5.94	c |      4815 |   21173   700461  2138957 |   233487     4815     69 |  0.000 % |
5.97/6.01	c |      4929 |   21173   700461  2138957 |   233487     4929     69 |  0.000 % |
5.97/6.07	c |      5051 |   21173   700461  2138957 |   233487     5051     69 |  0.000 % |
6.07/6.14	c |      5186 |   21173   700461  2138957 |   233487     5186     69 |  0.000 % |
6.17/6.20	c |      5336 |   21173   700461  2138957 |   233487     5336     69 |  0.000 % |
6.17/6.27	c |      5497 |   21173   700461  2138957 |   233487     5497     68 |  0.000 % |
6.27/6.36	c |      5675 |   21173   700461  2138957 |   233487     5675     67 |  0.000 % |
6.37/6.42	c |      5870 |   21173   700461  2138957 |   233487     5870     66 |  0.000 % |
6.37/6.48	c |      6083 |   21173   700461  2138957 |   233487     6083     64 |  0.000 % |
6.48/6.54	c |      6185 |   21173   700461  2138957 |   233487     6185     64 |  0.000 % |
6.48/6.57	c |      6296 |   21173   700461  2138957 |   233487     6296     63 |  0.000 % |
6.58/6.63	c |      6419 |   21173   700461  2138957 |   233487     6419     63 |  0.000 % |
6.58/6.68	c |      6552 |   21173   700461  2138957 |   233487     6552     63 |  0.000 % |
6.67/6.77	c |      6698 |   21173   700461  2138957 |   233487     6698     64 |  0.000 % |
6.77/6.82	c |      6859 |   21173   700461  2138957 |   233487     6859     64 |  0.000 % |
6.87/6.90	c |      7037 |   21173   700461  2138957 |   233487     7037     64 |  0.000 % |
6.97/7.03	c |      7232 |   21173   700461  2138957 |   233487     7232     64 |  0.000 % |
7.07/7.13	c |      7445 |   21173   700461  2138957 |   233487     7445     65 |  0.000 % |
7.17/7.24	c |      7680 |   21173   700461  2138957 |   233487     7680     66 |  0.000 % |
7.27/7.30	c |      7780 |   21173   700461  2138957 |   233487     7780     66 |  0.000 % |
7.27/7.37	c |      7890 |   21173   700461  2138957 |   233487     7890     66 |  0.000 % |
7.37/7.44	c |      8011 |   21173   700461  2138957 |   233487     8011     66 |  0.000 % |
7.47/7.51	c |      8145 |   21173   700461  2138957 |   233487     8145     66 |  0.000 % |
7.47/7.58	c |      8296 |   21173   700461  2138957 |   233487     8296     66 |  0.000 % |
7.68/7.73	c |      8456 |   21173   700461  2138957 |   233487     8456     66 |  0.000 % |
7.68/7.78	c |      8633 |   21173   700461  2138957 |   233487     8633     66 |  0.000 % |
7.77/7.86	c |      8826 |   21173   700461  2138957 |   233487     8826     67 |  0.000 % |
7.87/7.99	c |      9038 |   21173   700461  2138957 |   233487     9038     67 |  0.000 % |
8.08/8.11	c |      9272 |   21173   700461  2138957 |   233487     9272     68 |  0.000 % |
8.18/8.20	c |      9530 |   21173   700461  2138957 |   233487     9530     70 |  0.000 % |
8.18/8.27	c |      9630 |   21173   700461  2138957 |   233487     9630     72 |  0.000 % |
8.28/8.33	c |      9741 |   21173   700461  2138957 |   233487     9741     72 |  0.000 % |
8.28/8.39	c |      9864 |   21173   700461  2138957 |   233487     9864     72 |  0.000 % |
8.38/8.44	c |      9997 |   21173   700461  2138957 |   233487     9997     72 |  0.000 % |
8.48/8.52	c |     10145 |   21173   700461  2138957 | 2147483647    10145     72 |  0.000 % |
8.48/8.59	c |     10307 |   21173   700461  2138957 | 2147483647    10307     72 |  0.000 % |
8.58/8.65	c |     10484 |   21173   700461  2138957 | 2147483647    10484     72 |  0.000 % |
8.68/8.74	c |     10677 |   21173   700461  2138957 | 2147483647    10677     72 |  0.000 % |
8.78/8.83	c |     10890 |   21173   700461  2138957 | 2147483647    10890     73 |  0.000 % |
8.88/8.92	c |     11123 |   21173   700461  2138957 | 2147483647    11123     72 |  0.000 % |
8.98/9.04	c |     11383 |   21173   700461  2138957 | 2147483647    11383     71 |  0.000 % |
9.08/9.13	c |     11664 |   21173   700461  2138957 | 2147483647    11664     72 |  0.000 % |
9.08/9.17	c |     11767 |   21173   700461  2138957 | 2147483647    11767     71 |  0.000 % |
9.18/9.22	c |     11877 |   21173   700461  2138957 | 2147483647    11877     71 |  0.000 % |
9.18/9.29	c |     11999 |   21173   700461  2138957 | 2147483647    11999     71 |  0.000 % |
9.28/9.38	c |     12135 |   21173   700461  2138957 | 2147483647    12135     71 |  0.000 % |
9.38/9.44	c |     12282 |   21173   700461  2138957 | 2147483647    12282     71 |  0.000 % |
9.48/9.51	c |     12444 |   21173   700461  2138957 | 2147483647    12444     71 |  0.000 % |
9.48/9.57	c |     12624 |   21173   700461  2138957 | 2147483647    12624     71 |  0.000 % |
9.58/9.65	c |     12820 |   21173   700461  2138957 | 2147483647    12820     72 |  0.000 % |
9.68/9.75	c |     13032 |   21173   700461  2138957 | 2147483647    13032     72 |  0.000 % |
9.78/9.84	c |     13265 |   21173   700461  2138957 | 2147483647    13265     74 |  0.000 % |
9.88/9.96	c |     13521 |   21173   700461  2138957 | 2147483647    13521     74 |  0.000 % |
9.98/10.09	c |     13802 |   21173   700461  2138957 | 2147483647    13802     73 |  0.000 % |
10.18/10.24	c |     14111 |   21173   700461  2138957 | 2147483647    14111     74 |  0.000 % |
10.28/10.31	c |     14213 |   21173   700461  2138957 | 2147483647    14213     74 |  0.000 % |
10.28/10.39	c |     14323 |   21173   700461  2138957 | 2147483647    14323     74 |  0.000 % |
10.38/10.49	c |     14444 |   21173   700461  2138957 | 2147483647    14444     74 |  0.000 % |
10.48/10.55	c |     14579 |   21173   700461  2138957 | 2147483647    14579     74 |  0.000 % |
10.57/10.64	c |     14725 |   21173   700461  2138957 | 2147483647    14725     74 |  0.000 % |
10.67/10.72	c |     14886 |   21173   700461  2138957 | 2147483647    14886     74 |  0.000 % |
10.77/10.80	c |     15063 |   21173   700461  2138957 | 2147483647    15063     74 |  0.000 % |
10.77/10.90	c |     15256 |   21173   700461  2138957 | 2147483647    15256     75 |  0.000 % |
10.88/10.99	c |     15470 |   21173   700461  2138957 | 2147483647    15470     75 |  0.000 % |
11.07/11.11	c |     15703 |   21173   700461  2138957 | 2147483647    15703     76 |  0.000 % |
11.17/11.24	c |     15959 |   21173   700461  2138957 | 2147483647    15959     76 |  0.000 % |
11.27/11.35	c |     16243 |   21173   700461  2138957 | 2147483647    16243     76 |  0.000 % |
11.48/11.51	c |     16552 |   21173   700461  2138957 | 2147483647    16552     76 |  0.000 % |
11.68/11.72	c |     16891 |   21173   700461  2138957 | 2147483647    16891     77 |  0.000 % |
11.68/11.75	c |     16991 |   21173   700461  2138957 | 2147483647    16991     77 |  0.000 % |
11.78/11.82	c |     17102 |   21173   700461  2138957 | 2147483647    17102     77 |  0.000 % |
11.78/11.89	c |     17223 |   21173   700461  2138957 | 2147483647    17223     78 |  0.000 % |
11.88/11.95	c |     17357 |   21173   700461  2138957 | 2147483647    17357     78 |  0.000 % |
11.98/12.02	c |     17503 |   21173   700461  2138957 | 2147483647    17503     77 |  0.000 % |
11.98/12.09	c |     17664 |   21173   700461  2138957 | 2147483647    17664     77 |  0.000 % |
12.08/12.17	c |     17841 |   21173   700461  2138957 | 2147483647    17841     77 |  0.000 % |
12.18/12.23	c |     18036 |   21173   700461  2138957 | 2147483647    18036     77 |  0.000 % |
12.28/12.35	c |     18248 |   21173   700461  2138957 | 2147483647    18248     77 |  0.000 % |
12.38/12.42	c |     18482 |   21173   700461  2138957 | 2147483647    18482     77 |  0.000 % |
12.48/12.54	c |     18740 |   21173   700461  2138957 | 2147483647    18740     78 |  0.000 % |
12.68/12.73	c |     19021 |   21173   700461  2138957 | 2147483647    19021     78 |  0.000 % |
12.78/12.88	c |     19330 |   21173   700461  2138957 | 2147483647    19330     78 |  0.000 % |
12.97/13.02	c |     19672 |   21173   700461  2138957 | 2147483647    19672     79 |  0.000 % |
13.08/13.14	c |     20047 |   21173   700461  2138957 | 2147483647    20047     79 |  0.000 % |
13.18/13.21	c |     20148 |   21173   700461  2138957 | 2147483647    20148     79 |  0.000 % |
13.18/13.26	c |     20260 |   21173   700461  2138957 | 2147483647    20260     79 |  0.000 % |
13.27/13.30	c |     20381 |   21173   700461  2138957 | 2147483647    20381     79 |  0.000 % |
13.27/13.35	c |     20517 |   21173   700461  2138957 | 2147483647    20517     79 |  0.000 % |
13.37/13.42	c |     20664 |   21173   700461  2138957 | 2147483647    20664     80 |  0.000 % |
13.37/13.49	c |     20825 |   21173   700461  2138957 | 2147483647    20825     79 |  0.000 % |
13.47/13.59	c |     21001 |   21173   700461  2138957 | 2147483647    21001     79 |  0.000 % |
13.57/13.67	c |     21194 |   21173   700461  2138957 | 2147483647    21194     79 |  0.000 % |
13.67/13.74	c |     21406 |   21173   700461  2138957 | 2147483647    21406     79 |  0.000 % |
13.77/13.80	c |     21639 |   21173   700461  2138957 | 2147483647    21639     79 |  0.000 % |
13.87/13.91	c |     21898 |   21173   700461  2138957 | 2147483647    21898     79 |  0.000 % |
13.97/14.01	c |     22180 |   21173   700461  2138957 | 2147483647    22180     79 |  0.000 % |
14.07/14.18	c |     22489 |   21173   700461  2138957 | 2147483647    22489     79 |  0.000 % |
14.27/14.31	c |     22829 |   21173   700461  2138957 | 2147483647    22829     80 |  0.000 % |
14.47/14.52	c |     23201 |   21173   700461  2138957 | 2147483647    23201     80 |  0.000 % |
14.67/14.71	c |     23611 |   21173   700461  2138957 | 2147483647    23611     81 |  0.000 % |
14.67/14.75	c |     23713 |   21173   700461  2138957 | 2147483647    23713     82 |  0.000 % |
14.77/14.81	c |     23825 |   21173   700461  2138957 | 2147483647    23825     82 |  0.000 % |
14.77/14.88	c |     23947 |   21173   700461  2138957 | 2147483647    23947     82 |  0.000 % |
14.87/14.94	c |     24080 |   21173   700461  2138957 | 2147483647    24080     83 |  0.000 % |
14.97/15.05	c |     24228 |   21173   700461  2138957 | 2147483647    24228     83 |  0.000 % |
15.07/15.19	c |     24388 |   21173   700461  2138957 | 2147483647    24388     83 |  0.000 % |
15.17/15.26	c |     24564 |   21173   700461  2138957 | 2147483647    24564     82 |  0.000 % |
15.27/15.36	c |     24758 |   21173   700461  2138957 | 2147483647    24758     83 |  0.000 % |
15.37/15.42	c |     24972 |   21173   700461  2138957 | 2147483647    24972     83 |  0.000 % |
15.47/15.54	c |     25206 |   21173   700461  2138957 | 2147483647    25206     83 |  0.000 % |
15.57/15.66	c |     25462 |   21173   700461  2138957 | 2147483647    25462     83 |  0.000 % |
15.78/15.82	c |     25743 |   21173   700461  2138957 | 2147483647    25743     83 |  0.000 % |
15.88/15.99	c |     26052 |   21173   700461  2138957 | 2147483647    26052     83 |  0.000 % |
16.17/16.21	c |     26393 |   21173   700461  2138957 | 2147483647    26393     83 |  0.000 % |
16.27/16.40	c |     26765 |   21173   700461  2138957 | 2147483647    26765     83 |  0.000 % |
16.48/16.51	c |     27176 |   21173   700461  2138957 | 2147483647    27176     84 |  0.000 % |
16.77/16.82	c |     27627 |   21173   700461  2138957 | 2147483647    27627     83 |  0.000 % |
16.77/16.86	c |     27727 |   21173   700461  2138957 | 2147483647    27727     83 |  0.000 % |
16.77/16.89	c |     27838 |   21173   700461  2138957 | 2147483647    27838     83 |  0.000 % |
16.87/17.00	c |     27962 |   21173   700461  2138957 | 2147483647    27962     83 |  0.000 % |
16.97/17.08	c |     28097 |   21173   700461  2138957 | 2147483647    28097     83 |  0.000 % |
17.07/17.16	c |     28247 |   21173   700461  2138957 | 2147483647    28247     83 |  0.000 % |
17.17/17.24	c |     28407 |   21173   700461  2138957 | 2147483647    28407     83 |  0.000 % |
17.27/17.31	c |     28583 |   21173   700461  2138957 | 2147483647    28583     83 |  0.000 % |
17.27/17.40	c |     28776 |   21173   700461  2138957 | 2147483647    28776     84 |  0.000 % |
17.47/17.50	c |     28989 |   21173   700461  2138957 | 2147483647    28989     84 |  0.000 % |
17.57/17.64	c |     29224 |   21173   700461  2138957 | 2147483647    29224     84 |  0.000 % |
17.67/17.74	c |     29480 |   21173   700461  2138957 | 2147483647    29480     84 |  0.000 % |
17.77/17.87	c |     29761 |   21173   700461  2138957 | 2147483647    29761     84 |  0.000 % |
17.97/18.00	c |     30070 |   21173   700461  2138957 | 2147483647    30070     84 |  0.000 % |
18.07/18.17	c |     30410 |   21173   700461  2138957 | 2147483647    30410     84 |  0.000 % |
18.27/18.35	c |     30785 |   21173   700461  2138957 | 2147483647    30785     84 |  0.000 % |
18.47/18.50	c |     31194 |   21173   700461  2138957 | 2147483647    31194     84 |  0.000 % |
18.67/18.76	c |     31643 |   21173   700461  2138957 | 2147483647    31643     86 |  0.000 % |
18.96/19.04	c |     32136 |   21173   700461  2138957 | 2147483647    32136     86 |  0.000 % |
19.06/19.12	c |     32236 |   21173   700461  2138957 | 2147483647    32236     86 |  0.000 % |
19.16/19.22	c |     32347 |   21173   700461  2138957 | 2147483647    32347     86 |  0.000 % |
19.16/19.29	c |     32468 |   21173   700461  2138957 | 2147483647    32468     86 |  0.000 % |
19.26/19.36	c |     32602 |   21173   700461  2138957 | 2147483647    32602     86 |  0.000 % |
19.36/19.41	c |     32748 |   21173   700461  2138957 | 2147483647    32748     86 |  0.000 % |
19.46/19.51	c |     32911 |   21173   700461  2138957 | 2147483647    32911     86 |  0.000 % |
19.46/19.58	c |     33089 |   21173   700461  2138957 | 2147483647    33089     86 |  0.000 % |
19.56/19.68	c |     33283 |   21173   700461  2138957 | 2147483647    33283     86 |  0.000 % |
19.67/19.76	c |     33496 |   21173   700461  2138957 | 2147483647    33496     86 |  0.000 % |
19.77/19.87	c |     33729 |   21173   700461  2138957 | 2147483647    33729     86 |  0.000 % |
19.86/19.99	c |     33985 |   21173   700461  2138957 | 2147483647    33985     86 |  0.000 % |
19.96/20.08	c |     34266 |   21173   700461  2138957 | 2147483647    34266     86 |  0.000 % |
20.16/20.22	c |     34575 |   21173   700461  2138957 | 2147483647    34575     86 |  0.000 % |
20.27/20.36	c |     34914 |   21173   700461  2138957 | 2147483647    34914     87 |  0.000 % |
20.47/20.51	c |     35286 |   21173   700461  2138957 | 2147483647    35286     86 |  0.000 % |
20.57/20.66	c |     35695 |   21173   700461  2138957 | 2147483647    35695     87 |  0.000 % |
20.77/20.88	c |     36144 |   21173   700461  2138957 | 2147483647    36144     87 |  0.000 % |
21.07/21.17	c |     36640 |   21173   700461  2138957 | 2147483647    36640     87 |  0.000 % |
21.36/21.48	c |     37182 |   21173   700461  2138957 | 2147483647    37182     88 |  0.000 % |
21.46/21.54	c |     37286 |   21173   700461  2138957 | 2147483647    37286     87 |  0.000 % |
21.56/21.61	c |     37399 |   21173   700461  2138957 | 2147483647    37399     87 |  0.000 % |
21.56/21.66	c |     37520 |   21173   700461  2138957 | 2147483647    37520     87 |  0.000 % |
21.66/21.76	c |     37653 |   21173   700461  2138957 | 2147483647    37653     88 |  0.000 % |
21.76/21.85	c |     37799 |   21173   700461  2138957 | 2147483647    37799     88 |  0.000 % |
21.87/21.94	c |     37959 |   21173   700461  2138957 | 2147483647    37959     88 |  0.000 % |
21.97/22.06	c |     38135 |   21173   700461  2138957 | 2147483647    38135     87 |  0.000 % |
22.06/22.15	c |     38328 |   21173   700461  2138957 | 2147483647    38328     88 |  0.000 % |
22.16/22.24	c |     38541 |   21173   700461  2138957 | 2147483647    38541     88 |  0.000 % |
22.26/22.39	c |     38774 |   21173   700461  2138957 | 2147483647    38774     88 |  0.000 % |
22.46/22.51	c |     39033 |   21173   700461  2138957 | 2147483647    39033     88 |  0.000 % |
22.56/22.66	c |     39314 |   21173   700461  2138957 | 2147483647    39314     88 |  0.000 % |
22.66/22.77	c |     39623 |   21173   700461  2138957 | 2147483647    39623     88 |  0.000 % |
22.86/22.93	c |     39962 |   21173   700461  2138957 | 2147483647    39962     87 |  0.000 % |
22.96/23.09	c |     40334 |   21173   700461  2138957 | 2147483647    40334     88 |  0.000 % |
23.26/23.33	c |     40743 |   21173   700461  2138957 | 2147483647    40743     88 |  0.000 % |
23.45/23.59	c |     41193 |   21173   700461  2138957 | 2147483647    41193     88 |  0.000 % |
23.75/23.89	c |     41686 |   21173   700461  2138957 | 2147483647    41686     88 |  0.000 % |
24.17/24.23	c |     42230 |   21173   700461  2138957 | 2147483647    42230     88 |  0.000 % |
24.46/24.52	c |     42826 |   21173   700461  2138957 | 2147483647    42826     88 |  0.000 % |
24.46/24.58	c |     42928 |   21173   700461  2138957 | 2147483647    42928     88 |  0.000 % |
24.56/24.66	c |     43038 |   21173   700461  2138957 | 2147483647    43038     88 |  0.000 % |
24.66/24.75	c |     43160 |   21173   700461  2138957 | 2147483647    43160     88 |  0.000 % |
24.76/24.84	c |     43294 |   21173   700461  2138957 | 2147483647    43294     88 |  0.000 % |
24.86/24.94	c |     43440 |   21173   700461  2138957 | 2147483647    43440     88 |  0.000 % |
24.86/25.00	c |     43605 |   21173   700461  2138957 | 2147483647    43605     88 |  0.000 % |
25.06/25.12	c |     43781 |   21173   700461  2138957 | 2147483647    43781     88 |  0.000 % |
25.16/25.24	c |     43975 |   21173   700461  2138957 | 2147483647    43975     88 |  0.000 % |
25.36/25.42	c |     44188 |   21173   700461  2138957 | 2147483647    44188     88 |  0.000 % |
25.46/25.52	c |     44422 |   21173   700461  2138957 | 2147483647    44422     88 |  0.000 % |
25.66/25.70	c |     44678 |   21173   700461  2138957 | 2147483647    44678     89 |  0.000 % |
25.76/25.86	c |     44961 |   21173   700461  2138957 | 2147483647    44961     89 |  0.000 % |
25.96/26.05	c |     45274 |   21173   700461  2138957 | 2147483647    45274     89 |  0.000 % |
26.16/26.29	c |     45613 |   21173   700461  2138957 | 2147483647    45613     89 |  0.000 % |
26.36/26.45	c |     45987 |   21173   700461  2138957 | 2147483647    45987     89 |  0.000 % |
26.56/26.67	c |     46396 |   21173   700461  2138957 | 2147483647    46396     88 |  0.000 % |
26.86/26.90	c |     46847 |   21173   700461  2138957 | 2147483647    46847     89 |  0.000 % |
27.06/27.16	c |     47340 |   21173   700461  2138957 | 2147483647    47340     89 |  0.000 % |
27.36/27.47	c |     47882 |   21173   700461  2138957 | 2147483647    47882     89 |  0.000 % |
27.86/27.90	c |     48479 |   21173   700461  2138957 | 2147483647    48479     89 |  0.000 % |
28.26/28.30	c |     49135 |   21173   700461  2138957 | 2147483647    49135     89 |  0.000 % |
28.26/28.36	c |     49235 |   21173   700461  2138957 | 2147483647    49235     89 |  0.000 % |
28.36/28.44	c |     49347 |   21173   700461  2138957 | 2147483647    49347     89 |  0.000 % |
28.46/28.52	c |     49469 |   21173   700461  2138957 | 2147483647    49469     89 |  0.000 % |
28.56/28.62	c |     49602 |   21173   700461  2138957 | 2147483647    49602     89 |  0.000 % |
28.66/28.70	c |     49748 |   21173   700461  2138957 | 2147483647    49748     89 |  0.000 % |
28.76/28.80	c |     49909 |   21173   700461  2138957 | 2147483647    49909     88 |  0.000 % |
28.86/28.92	c |     50085 |   21173   700461  2138957 | 2147483647    50085     88 |  0.000 % |
28.96/29.04	c |     50279 |   21173   700461  2138957 | 2147483647    50279     88 |  0.000 % |
29.06/29.11	c |     50491 |   21173   700461  2138957 | 2147483647    50491     88 |  0.000 % |
29.16/29.22	c |     50724 |   21173   700461  2138957 | 2147483647    50724     88 |  0.000 % |
29.26/29.36	c |     50981 |   21173   700461  2138957 | 2147483647    50981     88 |  0.000 % |
29.46/29.56	c |     51262 |   21173   700461  2138957 | 2147483647    51262     89 |  0.000 % |
29.66/29.77	c |     51571 |   21173   700461  2138957 | 2147483647    51571     88 |  0.000 % |
29.85/29.98	c |     51910 |   21173   700461  2138957 | 2147483647    51910     89 |  0.000 % |
30.05/30.18	c |     52282 |   21173   700461  2138957 | 2147483647    52282     89 |  0.000 % |
30.35/30.42	c |     52691 |   21173   700461  2138957 | 2147483647    52691     89 |  0.000 % |
30.66/30.78	c |     53142 |   21173   700461  2138957 | 2147483647    53142     89 |  0.000 % |
30.96/31.03	c |     53636 |   21173   700461  2138957 | 2147483647    53636     89 |  0.000 % |
31.26/31.37	c |     54180 |   21173   700461  2138957 | 2147483647    54180     90 |  0.000 % |
31.66/31.70	c |     54776 |   21173   700461  2138957 | 2147483647    54776     90 |  0.000 % |
31.96/32.05	c |     55433 |   21173   700461  2138957 | 2147483647    55433     90 |  0.000 % |
32.36/32.48	c |     56153 |   21173   700461  2138957 | 2147483647    56153     91 |  0.000 % |
32.46/32.56	c |     56253 |   21173   700461  2138957 | 2147483647    56253     91 |  0.000 % |
32.56/32.66	c |     56363 |   21173   700461  2138957 | 2147483647    56363     91 |  0.000 % |
32.66/32.75	c |     56484 |   21173   700461  2138957 | 2147483647    56484     91 |  0.000 % |
32.76/32.85	c |     56618 |   21173   700461  2138957 | 2147483647    56618     91 |  0.000 % |
32.86/32.96	c |     56764 |   21173   700461  2138957 | 2147483647    56764     91 |  0.000 % |
32.96/33.05	c |     56924 |   21173   700461  2138957 | 2147483647    56924     91 |  0.000 % |
33.06/33.17	c |     57104 |   21173   700461  2138957 | 2147483647    57104     91 |  0.000 % |
33.16/33.27	c |     57297 |   21173   700461  2138957 | 2147483647    57297     91 |  0.000 % |
33.26/33.38	c |     57514 |   21173   700461  2138957 | 2147483647    57514     91 |  0.000 % |
33.45/33.50	c |     57748 |   21173   700461  2138957 | 2147483647    57748     91 |  0.000 % |
33.55/33.67	c |     58006 |   21173   700461  2138957 | 2147483647    58006     91 |  0.000 % |
33.75/33.85	c |     58289 |   21173   700461  2138957 | 2147483647    58289     91 |  0.000 % |
33.96/34.03	c |     58599 |   21173   700461  2138957 | 2147483647    58599     91 |  0.000 % |
34.16/34.25	c |     58938 |   21173   700461  2138957 | 2147483647    58938     91 |  0.000 % |
34.36/34.47	c |     59312 |   21173   700461  2138957 | 2147483647    59312     91 |  0.000 % |
34.56/34.63	c |     59726 |   21173   700461  2138957 | 2147483647    59726     92 |  0.000 % |
34.66/34.78	c |     60175 |   21173   700461  2138957 | 2147483647    60175     92 |  0.000 % |
34.86/34.99	c |     60668 |   21173   700461  2138957 | 2147483647    60668     92 |  0.000 % |
35.25/35.36	c |     61210 |   21173   700461  2138957 | 2147483647    61210     92 |  0.000 % |
35.65/35.72	c |     61808 |   21173   700461  2138957 | 2147483647    61808     92 |  0.000 % |
35.95/36.07	c |     62464 |   21173   700461  2138957 | 2147483647    62464     93 |  0.000 % |
36.45/36.55	c |     63188 |   21173   700461  2138957 | 2147483647    63188     94 |  0.000 % |
36.95/37.00	c |     63982 |   21173   700461  2138957 | 2147483647    63982     94 |  0.000 % |
36.95/37.07	c |     64083 |   21173   700461  2138957 | 2147483647    64083     94 |  0.000 % |
37.15/37.20	c |     64193 |   21173   700461  2138957 | 2147483647    64193     94 |  0.000 % |
37.25/37.35	c |     64315 |   21173   700461  2138957 | 2147483647    64315     94 |  0.000 % |
37.35/37.46	c |     64448 |   21173   700461  2138957 | 2147483647    64448     94 |  0.000 % |
37.45/37.53	c |     64594 |   21173   700461  2138957 | 2147483647    64594     94 |  0.000 % |
37.65/37.71	c |     64756 |   21173   700461  2138957 | 2147483647    64756     94 |  0.000 % |
37.75/37.87	c |     64933 |   21173   700461  2138957 | 2147483647    64933     94 |  0.000 % |
37.95/38.00	c |     65126 |   21173   700461  2138957 | 2147483647    65126     94 |  0.000 % |
38.05/38.14	c |     65338 |   21173   700461  2138957 | 2147483647    65338     93 |  0.000 % |
38.15/38.27	c |     65572 |   21173   700461  2138957 | 2147483647    65572     93 |  0.000 % |
38.35/38.43	c |     65829 |   21173   700461  2138957 | 2147483647    65829     93 |  0.000 % |
38.55/38.60	c |     66111 |   21173   700461  2138957 | 2147483647    66111     93 |  0.000 % |
38.75/38.83	c |     66421 |   21173   700461  2138957 | 2147483647    66421     93 |  0.000 % |
38.84/38.99	c |     66760 |   21173   700461  2138957 | 2147483647    66760     93 |  0.000 % |
39.14/39.23	c |     67133 |   21173   700461  2138957 | 2147483647    67133     93 |  0.000 % |
39.34/39.45	c |     67542 |   21173   700461  2138957 | 2147483647    67542     93 |  0.000 % |
39.64/39.74	c |     67991 |   21173   700461  2138957 | 2147483647    67991     93 |  0.000 % |
39.95/40.00	c |     68488 |   21173   700461  2138957 | 2147483647    68488     94 |  0.000 % |
40.25/40.30	c |     69032 |   21173   700461  2138957 | 2147483647    69032     94 |  0.000 % |
40.55/40.65	c |     69628 |   21173   700461  2138957 | 2147483647    69628     94 |  0.000 % |
40.85/40.99	c |     70284 |   21173   700461  2138957 | 2147483647    70284     95 |  0.000 % |
41.34/41.45	c |     71005 |   21173   700461  2138957 | 2147483647    71005     95 |  0.000 % |
41.84/41.91	c |     71799 |   21173   700461  2138957 | 2147483647    71799     96 |  0.000 % |
42.44/42.53	c |     72670 |   21173   700461  2138957 | 2147483647    72670     96 |  0.000 % |
42.44/42.59	c |     72770 |   21173   700461  2138957 | 2147483647    72770     96 |  0.000 % |
42.54/42.64	c |     72880 |   21173   700461  2138957 | 2147483647    72880     95 |  0.000 % |
42.64/42.70	c |     73004 |   21173   700461  2138957 | 2147483647    73004     95 |  0.000 % |
42.75/42.82	c |     73138 |   21173   700461  2138957 | 2147483647    73138     95 |  0.000 % |
42.85/42.91	c |     73284 |   21173   700461  2138957 | 2147483647    73284     95 |  0.000 % |
42.94/43.03	c |     73445 |   21173   700461  2138957 | 2147483647    73445     95 |  0.000 % |
43.04/43.12	c |     73621 |   21173   700461  2138957 | 2147483647    73621     95 |  0.000 % |
43.14/43.28	c |     73816 |   21173   700461  2138957 | 2147483647    73816     95 |  0.000 % |
43.34/43.44	c |     74028 |   21173   700461  2138957 | 2147483647    74028     95 |  0.000 % |
43.54/43.61	c |     74262 |   21173   700461  2138957 | 2147483647    74262     95 |  0.000 % |
43.64/43.79	c |     74519 |   21173   700461  2138957 | 2147483647    74519     95 |  0.000 % |
43.85/43.98	c |     74800 |   21173   700461  2138957 | 2147483647    74800     95 |  0.000 % |
44.05/44.19	c |     75110 |   21173   700461  2138957 | 2147483647    75110     95 |  0.000 % |
44.45/44.52	c |     75449 |   21173   700461  2138957 | 2147483647    75449     95 |  0.000 % |
44.65/44.76	c |     75822 |   21173   700461  2138957 | 2147483647    75822     95 |  0.000 % |
44.95/45.09	c |     76231 |   21173   700461  2138957 | 2147483647    76231     96 |  0.000 % |
45.35/45.42	c |     76681 |   21173   700461  2138957 | 2147483647    76681     95 |  0.000 % |
45.75/45.81	c |     77174 |   21173   700461  2138957 | 2147483647    77174     95 |  0.000 % |
46.05/46.13	c |     77716 |   21173   700461  2138957 | 2147483647    77716     95 |  0.000 % |
46.45/46.55	c |     78313 |   21173   700461  2138957 | 2147483647    78313     95 |  0.000 % |
46.95/47.00	c |     78969 |   21173   700461  2138957 | 2147483647    78969     96 |  0.000 % |
47.35/47.42	c |     79690 |   21173   700461  2138957 | 2147483647    79690     96 |  0.000 % |
47.85/47.93	c |     80484 |   21173   700461  2138957 | 2147483647    80484     96 |  0.000 % |
48.35/48.43	c |     81357 |   21173   700461  2138957 | 2147483647    81357     96 |  0.000 % |
48.95/49.01	c |     82315 |   21173   700461  2138957 | 2147483647    82315     95 |  0.000 % |
48.95/49.06	c |     82415 |   21173   700461  2138957 | 2147483647    82415     95 |  0.000 % |
49.04/49.13	c |     82525 |   21173   700461  2138957 | 2147483647    82525     95 |  0.000 % |
49.14/49.25	c |     82647 |   21173   700461  2138957 | 2147483647    82647     95 |  0.000 % |
49.24/49.35	c |     82783 |   21173   700461  2138957 | 2147483647    82783     95 |  0.000 % |
49.35/49.44	c |     82930 |   21173   700461  2138957 | 2147483647    82930     95 |  0.000 % |
49.45/49.55	c |     83090 |   21173   700461  2138957 | 2147483647    83090     95 |  0.000 % |
49.54/49.66	c |     83266 |   21173   700461  2138957 | 2147483647    83266     95 |  0.000 % |
49.74/49.80	c |     83460 |   21173   700461  2138957 | 2147483647    83460     95 |  0.000 % |
49.84/49.93	c |     83679 |   21173   700461  2138957 | 2147483647    83679     95 |  0.000 % |
50.04/50.10	c |     83912 |   21173   700461  2138957 | 2147483647    83912     95 |  0.000 % |
50.14/50.26	c |     84169 |   21173   700461  2138957 | 2147483647    84169     95 |  0.000 % |
50.34/50.45	c |     84452 |   21173   700461  2138957 | 2147483647    84452     95 |  0.000 % |
50.55/50.63	c |     84761 |   21173   700461  2138957 | 2147483647    84761     95 |  0.000 % |
50.74/50.85	c |     85100 |   21173   700461  2138957 | 2147483647    85100     95 |  0.000 % |
50.94/51.03	c |     85473 |   21173   700461  2138957 | 2147483647    85473     95 |  0.000 % |
51.14/51.29	c |     85885 |   21173   700461  2138957 | 2147483647    85885     95 |  0.000 % |
51.55/51.68	c |     86334 |   21173   700461  2138957 | 2147483647    86334     95 |  0.000 % |
51.84/51.90	c |     86827 |   21173   700461  2138957 | 2147483647    86827     95 |  0.000 % |
52.04/52.12	c |     87369 |   21173   700461  2138957 | 2147483647    87369     95 |  0.000 % |
52.34/52.47	c |     87966 |   21173   700461  2138957 | 2147483647    87966     94 |  0.000 % |
52.64/52.75	c |     88621 |   21173   700461  2138957 | 2147483647    88621     94 |  0.000 % |
53.04/53.13	c |     89341 |   21173   700461  2138957 | 2147483647    89341     94 |  0.000 % |
53.44/53.59	c |     90133 |   21173   700461  2138957 | 2147483647    90133     95 |  0.000 % |
53.94/54.09	c |     91004 |   21173   700461  2138957 | 2147483647    91004     95 |  0.000 % |
54.54/54.64	c |     91964 |   21173   700461  2138957 | 2147483647    91964     95 |  0.000 % |
55.24/55.33	c |     93017 |   21173   700461  2138957 | 2147483647    93017     95 |  0.000 % |
55.34/55.44	c |     93117 |   21173   700461  2138957 | 2147483647    93117     95 |  0.000 % |
55.44/55.55	c |     93228 |   21173   700461  2138957 | 2147483647    93228     95 |  0.000 % |
55.54/55.63	c |     93349 |   21173   700461  2138957 | 2147483647    93349     95 |  0.000 % |
55.64/55.72	c |     93482 |   21173   700461  2138957 | 2147483647    93482     95 |  0.000 % |
55.74/55.85	c |     93628 |   21173   700461  2138957 | 2147483647    93628     95 |  0.000 % |
55.84/55.99	c |     93790 |   21173   700461  2138957 | 2147483647    93790     95 |  0.000 % |
56.04/56.15	c |     93966 |   21173   700461  2138957 | 2147483647    93966     95 |  0.000 % |
56.14/56.27	c |     94164 |   21173   700461  2138957 | 2147483647    94164     94 |  0.000 % |
56.34/56.42	c |     94376 |   21173   700461  2138957 | 2147483647    94376     94 |  0.000 % |
56.54/56.60	c |     94610 |   21173   700461  2138957 | 2147483647    94610     94 |  0.000 % |
56.64/56.74	c |     94868 |   21173   700461  2138957 | 2147483647    94868     94 |  0.000 % |
56.84/56.99	c |     95150 |   21173   700461  2138957 | 2147483647    95150     94 |  0.000 % |
57.14/57.28	c |     95460 |   21173   700461  2138957 | 2147483647    95460     94 |  0.000 % |
57.43/57.54	c |     95800 |   21173   700461  2138957 | 2147483647    95800     94 |  0.000 % |
57.73/57.81	c |     96175 |   21173   700461  2138957 | 2147483647    96175     94 |  0.000 % |
58.03/58.12	c |     96588 |   21173   700461  2138957 | 2147483647    96588     95 |  0.000 % |
58.33/58.45	c |     97038 |   21173   700461  2138957 | 2147483647    97038     95 |  0.000 % |
58.73/58.86	c |     97532 |   21173   700461  2138957 | 2147483647    97532     95 |  0.000 % |
59.13/59.25	c |     98075 |   21173   700461  2138957 | 2147483647    98075     95 |  0.000 % |
59.53/59.69	c |     98671 |   21173   700461  2138957 | 2147483647    98671     95 |  0.000 % |
60.03/60.18	c |     99326 |   21173   700461  2138957 | 2147483647    99326     95 |  0.000 % |
60.53/60.65	c |    100047 |   21173   700461  2138957 | 2147483647   100047     95 |  0.000 % |
61.23/61.31	c |    100839 |   21173   700461  2138957 | 2147483647   100839     95 |  0.000 % |
61.84/61.90	c |    101712 |   21173   700461  2138957 | 2147483647   101712     95 |  0.000 % |
62.34/62.48	c |    102670 |   21173   700461  2138957 | 2147483647   102670     95 |  0.000 % |
63.03/63.12	c |    103723 |   21173   700461  2138957 | 2147483647   103723     95 |  0.000 % |
63.74/63.89	c |    104882 |   21173   700461  2138957 | 2147483647   104882     94 |  0.000 % |
63.83/63.93	c |    104983 |   21173   700461  2138957 | 2147483647   104983     94 |  0.000 % |
63.93/64.03	c |    105094 |   21173   700461  2138957 | 2147483647   105094     94 |  0.000 % |
64.03/64.14	c |    105216 |   21173   700461  2138957 | 2147483647   105216     94 |  0.000 % |
64.13/64.22	c |    105352 |   21173   700461  2138957 | 2147483647   105352     94 |  0.000 % |
64.23/64.31	c |    105499 |   21173   700461  2138957 | 2147483647   105499     94 |  0.000 % |
64.33/64.43	c |    105661 |   21173   700461  2138957 | 2147483647   105661     94 |  0.000 % |
64.43/64.56	c |    105837 |   21173   700461  2138957 | 2147483647   105837     94 |  0.000 % |
64.53/64.65	c |    106031 |   21173   700461  2138957 | 2147483647   106031     94 |  0.000 % |
64.73/64.81	c |    106243 |   21173   700461  2138957 | 2147483647   106243     94 |  0.000 % |
64.83/64.95	c |    106477 |   21173   700461  2138957 | 2147483647   106477     94 |  0.000 % |
64.93/65.08	c |    106733 |   21173   700461  2138957 | 2147483647   106733     94 |  0.000 % |
65.23/65.30	c |    107017 |   21173   700461  2138957 | 2147483647   107017     94 |  0.000 % |
65.44/65.51	c |    107326 |   21173   700461  2138957 | 2147483647   107326     94 |  0.000 % |
65.64/65.75	c |    107666 |   21173   700461  2138957 | 2147483647   107666     94 |  0.000 % |
65.94/66.05	c |    108040 |   21173   700461  2138957 | 2147483647   108040     93 |  0.000 % |
66.23/66.40	c |    108449 |   21173   700461  2138957 | 2147483647   108449     93 |  0.000 % |
66.53/66.69	c |    108900 |   21173   700461  2138957 | 2147483647   108900     93 |  0.000 % |
66.94/67.03	c |    109395 |   21173   700461  2138957 | 2147483647   109395     93 |  0.000 % |
67.33/67.42	c |    109938 |   21173   700461  2138957 | 2147483647   109938     93 |  0.000 % |
67.73/67.86	c |    110535 |   21173   700461  2138957 | 2147483647   110535     93 |  0.000 % |
68.13/68.27	c |    111190 |   21173   700461  2138957 | 2147483647   111190     93 |  0.000 % |
68.63/68.71	c |    111911 |   21173   700461  2138957 | 2147483647   111911     93 |  0.000 % |
69.13/69.21	c |    112705 |   21173   700461  2138957 | 2147483647   112705     93 |  0.000 % |
69.73/69.87	c |    113576 |   21173   700461  2138957 | 2147483647   113576     92 |  0.000 % |
70.43/70.58	c |    114535 |   21173   700461  2138957 | 2147483647   114535     92 |  0.000 % |
71.23/71.36	c |    115588 |   21173   700461  2138957 | 2147483647   115588     92 |  0.000 % |
72.03/72.10	c |    116746 |   21173   700461  2138957 | 2147483647   116746     92 |  0.000 % |
72.93/73.04	c |    118019 |   21173   700461  2138957 | 2147483647   118019     92 |  0.000 % |
73.03/73.16	c |    118120 |   21173   700461  2138957 | 2147483647   118120     93 |  0.000 % |
73.13/73.24	c |    118231 |   21173   700461  2138957 | 2147483647   118231     92 |  0.000 % |
73.23/73.32	c |    118352 |   21173   700461  2138957 | 2147483647   118352     92 |  0.000 % |
73.33/73.41	c |    118486 |   21173   700461  2138957 | 2147483647   118486     92 |  0.000 % |
73.43/73.54	c |    118633 |   21173   700461  2138957 | 2147483647   118633     92 |  0.000 % |
73.53/73.69	c |    118793 |   21173   700461  2138957 | 2147483647   118793     92 |  0.000 % |
73.73/73.83	c |    118969 |   21173   700461  2138957 | 2147483647   118969     92 |  0.000 % |
73.93/74.01	c |    119162 |   21173   700461  2138957 | 2147483647   119162     92 |  0.000 % |
74.03/74.16	c |    119374 |   21173   700461  2138957 | 2147483647   119374     92 |  0.000 % |
74.23/74.36	c |    119608 |   21173   700461  2138957 | 2147483647   119608     92 |  0.000 % |
74.43/74.53	c |    119864 |   21173   700461  2138957 | 2147483647   119864     92 |  0.000 % |
74.63/74.70	c |    120145 |   21173   700461  2138957 | 2147483647   120145     92 |  0.000 % |
74.83/74.92	c |    120454 |   21173   700461  2138957 | 2147483647   120454     92 |  0.000 % |
75.13/75.20	c |    120794 |   21173   700461  2138957 | 2147483647   120794     92 |  0.000 % |
75.32/75.43	c |    121168 |   21173   700461  2138957 | 2147483647   121168     92 |  0.000 % |
75.52/75.67	c |    121577 |   21173   700461  2138957 | 2147483647   121577     92 |  0.000 % |
75.92/76.02	c |    122026 |   21173   700461  2138957 | 2147483647   122026     92 |  0.000 % |
76.22/76.39	c |    122519 |   21173   700461  2138957 | 2147483647   122519     92 |  0.000 % |
76.72/76.81	c |    123061 |   21173   700461  2138957 | 2147483647   123061     92 |  0.000 % |
77.12/77.28	c |    123658 |   21173   700461  2138957 | 2147483647   123658     92 |  0.000 % |
77.52/77.69	c |    124313 |   21173   700461  2138957 | 2147483647   124313     92 |  0.000 % |
78.12/78.23	c |    125034 |   21173   700461  2138957 | 2147483647   125034     92 |  0.000 % |
78.73/78.82	c |    125826 |   21173   700461  2138957 | 2147483647   125826     92 |  0.000 % |
79.33/79.49	c |    126697 |   21173   700461  2138957 | 2147483647   126697     92 |  0.000 % |
80.13/80.22	c |    127656 |   21173   700461  2138957 | 2147483647   127656     92 |  0.000 % |
80.93/81.05	c |    128709 |   21173   700461  2138957 | 2147483647   128709     92 |  0.000 % |
81.83/81.96	c |    129868 |   21173   700461  2138957 | 2147483647   129868     92 |  0.000 % |
82.82/82.95	c |    131142 |   21173   700461  2138957 | 2147483647   131142     92 |  0.000 % |
83.72/83.82	c |    132543 |   21173   700461  2138957 | 2147483647   132543     92 |  0.000 % |
83.82/83.94	c |    132645 |   21173   700461  2138957 | 2147483647   132645     92 |  0.000 % |
83.92/84.03	c |    132755 |   21173   700461  2138957 | 2147483647   132755     92 |  0.000 % |
84.02/84.16	c |    132877 |   21173   700461  2138957 | 2147483647   132877     92 |  0.000 % |
84.12/84.26	c |    133010 |   21173   700461  2138957 | 2147483647   133010     92 |  0.000 % |
84.32/84.42	c |    133157 |   21173   700461  2138957 | 2147483647   133157     92 |  0.000 % |
84.42/84.52	c |    133317 |   21173   700461  2138957 | 2147483647   133317     92 |  0.000 % |
84.52/84.62	c |    133493 |   21173   700461  2138957 | 2147483647   133493     92 |  0.000 % |
84.62/84.80	c |    133688 |   21173   700461  2138957 | 2147483647   133688     92 |  0.000 % |
84.82/84.91	c |    133901 |   21173   700461  2138957 | 2147483647   133901     92 |  0.000 % |
85.02/85.13	c |    134135 |   21173   700461  2138957 | 2147483647   134135     92 |  0.000 % |
85.22/85.31	c |    134392 |   21173   700461  2138957 | 2147483647   134392     92 |  0.000 % |
85.32/85.50	c |    134673 |   21173   700461  2138957 | 2147483647   134673     92 |  0.000 % |
85.62/85.76	c |    134982 |   21173   700461  2138957 | 2147483647   134982     92 |  0.000 % |
85.92/86.02	c |    135321 |   21173   700461  2138957 | 2147483647   135321     92 |  0.000 % |
86.12/86.27	c |    135693 |   21173   700461  2138957 | 2147483647   135693     92 |  0.000 % |
86.42/86.52	c |    136102 |   21173   700461  2138957 | 2147483647   136102     92 |  0.000 % |
86.73/86.81	c |    136551 |   21173   700461  2138957 | 2147483647   136551     92 |  0.000 % |
87.02/87.15	c |    137044 |   21173   700461  2138957 | 2147483647   137044     92 |  0.000 % |
87.32/87.46	c |    137587 |   21173   700461  2138957 | 2147483647   137587     92 |  0.000 % |
87.72/87.83	c |    138183 |   21173   700461  2138957 | 2147483647   138183     92 |  0.000 % |
88.12/88.28	c |    138838 |   21173   700461  2138957 | 2147483647   138838     93 |  0.000 % |
88.62/88.74	c |    139559 |   21173   700461  2138957 | 2147483647   139559     93 |  0.000 % |
89.12/89.27	c |    140351 |   21173   700461  2138957 | 2147483647   140351     93 |  0.000 % |
89.72/89.86	c |    141223 |   21173   700461  2138957 | 2147483647   141223     93 |  0.000 % |
90.31/90.48	c |    142185 |   21173   700461  2138957 | 2147483647   142185     93 |  0.000 % |
91.12/91.22	c |    143238 |   21173   700461  2138957 | 2147483647   143238     93 |  0.000 % |
91.81/91.97	c |    144398 |   21173   700461  2138957 | 2147483647   144398     93 |  0.000 % |
92.72/92.82	c |    145672 |   21173   700461  2138957 | 2147483647   145672     93 |  0.000 % |
93.72/93.80	c |    147074 |   21173   700461  2138957 | 2147483647   147074     93 |  0.000 % |
94.82/94.94	c |    148614 |   21173   700461  2138957 | 2147483647   148614     93 |  0.000 % |
94.92/95.03	c |    148715 |   21173   700461  2138957 | 2147483647   148715     93 |  0.000 % |
95.02/95.11	c |    148826 |   21173   700461  2138957 | 2147483647   148826     93 |  0.000 % |
95.02/95.18	c |    148947 |   21173   700461  2138957 | 2147483647   148947     93 |  0.000 % |
95.12/95.27	c |    149081 |   21173   700461  2138957 | 2147483647   149081     93 |  0.000 % |
95.32/95.45	c |    149228 |   21173   700461  2138957 | 2147483647   149228     93 |  0.000 % |
95.42/95.55	c |    149388 |   21173   700461  2138957 | 2147483647   149388     93 |  0.000 % |
95.52/95.67	c |    149564 |   21173   700461  2138957 | 2147483647   149564     93 |  0.000 % |
95.72/95.88	c |    149760 |   21173   700461  2138957 | 2147483647   149760     93 |  0.000 % |
95.91/96.03	c |    149972 |   21173   700461  2138957 | 2147483647   149972     93 |  0.000 % |
96.11/96.21	c |    150205 |   21173   700461  2138957 | 2147483647   150205     93 |  0.000 % |
96.31/96.40	c |    150461 |   21173   700461  2138957 | 2147483647   150461     93 |  0.000 % |
96.51/96.63	c |    150742 |   21173   700461  2138957 | 2147483647   150742     93 |  0.000 % |
96.72/96.88	c |    151051 |   21173   700461  2138957 | 2147483647   151051     93 |  0.000 % |
97.11/97.20	c |    151390 |   21173   700461  2138957 | 2147483647   151390     93 |  0.000 % |
97.41/97.53	c |    151765 |   21173   700461  2138957 | 2147483647   151765     93 |  0.000 % |
97.71/97.90	c |    152175 |   21173   700461  2138957 | 2147483647   152175     93 |  0.000 % |
98.01/98.19	c |    152626 |   21173   700461  2138957 | 2147483647   152626     93 |  0.000 % |
98.41/98.53	c |    153119 |   21173   700461  2138957 | 2147483647   153119     93 |  0.000 % |
98.81/98.95	c |    153663 |   21173   700461  2138957 | 2147483647   153663     93 |  0.000 % |
99.31/99.43	c |    154259 |   21173   700461  2138957 | 2147483647   154259     93 |  0.000 % |
99.82/99.90	c |    154915 |   21173   700461  2138957 | 2147483647   154915     93 |  0.000 % |
100.21/100.38	c |    155635 |   21173   700461  2138957 | 2147483647   155635     93 |  0.000 % |
100.81/100.97	c |    156430 |   21173   700461  2138957 | 2147483647   156430     93 |  0.000 % |
101.51/101.62	c |    157301 |   21173   700461  2138957 | 2147483647   157301     93 |  0.000 % |
102.31/102.42	c |    158259 |   21173   700461  2138957 | 2147483647   158259     93 |  0.000 % |
103.11/103.26	c |    159312 |   21173   700461  2138957 | 2147483647   159312     92 |  0.000 % |
104.01/104.15	c |    160471 |   21173   700461  2138957 | 2147483647   160471     93 |  0.000 % |
105.11/105.21	c |    161744 |   21173   700461  2138957 | 2147483647   161744     92 |  0.000 % |
106.20/106.33	c |    163144 |   21173   700461  2138957 | 2147483647   163144     92 |  0.000 % |
107.50/107.70	c |    164685 |   21173   700461  2138957 | 2147483647   164685     92 |  0.000 % |
108.91/109.01	c |    166379 |   21173   700461  2138957 | 2147483647   166379     92 |  0.000 % |
109.01/109.12	c |    166482 |   21173   700461  2138957 | 2147483647   166482     92 |  0.000 % |
109.11/109.23	c |    166592 |   21173   700461  2138957 | 2147483647   166592     92 |  0.000 % |
109.21/109.38	c |    166713 |   21173   700461  2138957 | 2147483647   166713     92 |  0.000 % |
109.31/109.46	c |    166846 |   21173   700461  2138957 | 2147483647   166846     92 |  0.000 % |
109.51/109.63	c |    166992 |   21173   700461  2138957 | 2147483647   166992     92 |  0.000 % |
109.61/109.79	c |    167152 |   21173   700461  2138957 | 2147483647   167152     92 |  0.000 % |
109.81/109.93	c |    167328 |   21173   700461  2138957 | 2147483647   167328     92 |  0.000 % |
109.91/110.05	c |    167522 |   21173   700461  2138957 | 2147483647   167522     92 |  0.000 % |
110.11/110.25	c |    167734 |   21173   700461  2138957 | 2147483647   167734     92 |  0.000 % |
110.30/110.40	c |    167968 |   21173   700461  2138957 | 2147483647   167968     92 |  0.000 % |
110.50/110.60	c |    168226 |   21173   700461  2138957 | 2147483647   168226     92 |  0.000 % |
110.70/110.85	c |    168509 |   21173   700461  2138957 | 2147483647   168509     92 |  0.000 % |
111.01/111.16	c |    168818 |   21173   700461  2138957 | 2147483647   168818     92 |  0.000 % |
111.30/111.46	c |    169157 |   21173   700461  2138957 | 2147483647   169157     92 |  0.000 % |
111.71/111.80	c |    169529 |   21173   700461  2138957 | 2147483647   169529     92 |  0.000 % |
112.01/112.11	c |    169938 |   21173   700461  2138957 | 2147483647   169938     92 |  0.000 % |
112.31/112.41	c |    170387 |   21173   700461  2138957 | 2147483647   170387     92 |  0.000 % |
112.61/112.78	c |    170880 |   21173   700461  2138957 | 2147483647   170880     93 |  0.000 % |
112.91/113.09	c |    171422 |   21173   700461  2138957 | 2147483647   171422     93 |  0.000 % |
113.31/113.42	c |    172019 |   21173   700461  2138957 | 2147483647   172019     93 |  0.000 % |
113.90/114.03	c |    172674 |   21173   700461  2138957 | 2147483647   172674     93 |  0.000 % |
114.40/114.58	c |    173395 |   21173   700461  2138957 | 2147483647   173395     93 |  0.000 % |
115.00/115.10	c |    174190 |   21173   700461  2138957 | 2147483647   174190     93 |  0.000 % |
115.80/115.99	c |    175061 |   21173   700461  2138957 | 2147483647   175061     93 |  0.000 % |
116.41/116.57	c |    176019 |   21173   700461  2138957 | 2147483647   176019     93 |  0.000 % |
117.70/117.81	c |    177074 |   21173   700461  2138957 | 2147483647   177074     94 |  0.000 % |
118.70/118.81	c |    178232 |   21173   700461  2138957 | 2147483647   178232     95 |  0.000 % |
119.81/119.93	c |    179505 |   21173   700461  2138957 | 2147483647   179505     95 |  0.000 % |
121.10/121.26	c |    180905 |   21173   700461  2138957 | 2147483647   180905     95 |  0.000 % |
122.60/122.72	c |    182446 |   21173   700461  2138957 | 2147483647   182446     95 |  0.000 % |
124.00/124.18	c |    184140 |   21173   700461  2138957 | 2147483647   184140     96 |  0.000 % |
125.60/125.78	c |    186004 |   21173   700461  2138957 | 2147483647   186004     96 |  0.000 % |
125.80/125.93	c |    186104 |   21173   700461  2138957 | 2147483647   186104     96 |  0.000 % |
125.90/126.05	c |    186214 |   21173   700461  2138957 | 2147483647   186214     96 |  0.000 % |
126.00/126.15	c |    186335 |   21173   700461  2138957 | 2147483647   186335     96 |  0.000 % |
126.10/126.28	c |    186470 |   21173   700461  2138957 | 2147483647   186470     96 |  0.000 % |
126.20/126.39	c |    186616 |   21173   700461  2138957 | 2147483647   186616     96 |  0.000 % |
126.50/126.63	c |    186778 |   21173   700461  2138957 | 2147483647   186778     96 |  0.000 % |
126.60/126.78	c |    186954 |   21173   700461  2138957 | 2147483647   186954     96 |  0.000 % |
126.80/126.92	c |    187147 |   21173   700461  2138957 | 2147483647   187147     96 |  0.000 % |
126.90/127.07	c |    187360 |   21173   700461  2138957 | 2147483647   187360     96 |  0.000 % |
127.20/127.32	c |    187595 |   21173   700461  2138957 | 2147483647   187595     96 |  0.000 % |
127.40/127.56	c |    187851 |   21173   700461  2138957 | 2147483647   187851     96 |  0.000 % |
127.60/127.78	c |    188132 |   21173   700461  2138957 | 2147483647   188132     96 |  0.000 % |
127.80/127.95	c |    188441 |   21173   700461  2138957 | 2147483647   188441     96 |  0.000 % |
128.20/128.32	c |    188783 |   21173   700461  2138957 | 2147483647   188783     96 |  0.000 % |
128.40/128.59	c |    189156 |   21173   700461  2138957 | 2147483647   189156     96 |  0.000 % |
128.80/128.95	c |    189565 |   21173   700461  2138957 | 2147483647   189565     96 |  0.000 % |
129.10/129.24	c |    190023 |   21173   700461  2138957 | 2147483647   190023     96 |  0.000 % |
129.50/129.70	c |    190517 |   21173   700461  2138957 | 2147483647   190517     96 |  0.000 % |
130.09/130.27	c |    191062 |   21173   700461  2138957 | 2147483647   191062     96 |  0.000 % |
130.80/130.92	c |    191658 |   21173   700461  2138957 | 2147483647   191658     96 |  0.000 % |
131.40/131.53	c |    192314 |   21173   700461  2138957 | 2147483647   192314     96 |  0.000 % |
132.00/132.11	c |    193034 |   21173   700461  2138957 | 2147483647   193034     96 |  0.000 % |
132.80/132.90	c |    193827 |   21173   700461  2138957 | 2147483647   193827     96 |  0.000 % |
133.60/133.74	c |    194698 |   21173   700461  2138957 | 2147483647   194698     96 |  0.000 % |
134.50/134.65	c |    195656 |   21173   700461  2138957 | 2147483647   195656     96 |  0.000 % |
135.29/135.45	c |    196709 |   21173   700461  2138957 | 2147483647   196709     96 |  0.000 % |
136.20/136.37	c |    197867 |   21173   700461  2138957 | 2147483647   197867     96 |  0.000 % |
137.30/137.45	c |    199142 |   21173   700461  2138957 | 2147483647   199142     96 |  0.000 % |
138.29/138.50	c |    200542 |   21173   700461  2138957 | 2147483647   200542     96 |  0.000 % |
139.69/139.87	c |    202082 |   21173   700461  2138957 | 2147483647   202082     97 |  0.000 % |
141.09/141.20	c |    203776 |   21173   700461  2138957 | 2147483647   203776     97 |  0.000 % |
142.80/143.00	c |    205640 |   21173   700461  2138957 | 2147483647   205640     97 |  0.000 % |
144.39/144.52	c |    207689 |   21173   700461  2138957 | 2147483647   207689     97 |  0.000 % |
144.49/144.60	c |    207790 |   21173   700461  2138957 | 2147483647   207790     97 |  0.000 % |
144.49/144.68	c |    207901 |   21173   700461  2138957 | 2147483647   207901     97 |  0.000 % |
144.69/144.83	c |    208022 |   21173   700461  2138957 | 2147483647   208022     97 |  0.000 % |
144.89/145.05	c |    208155 |   21173   700461  2138957 | 2147483647   208155     97 |  0.000 % |
145.00/145.20	c |    208301 |   21173   700461  2138957 | 2147483647   208301     97 |  0.000 % |
145.19/145.35	c |    208461 |   21173   700461  2138957 | 2147483647   208461     96 |  0.000 % |
145.39/145.56	c |    208638 |   21173   700461  2138957 | 2147483647   208638     96 |  0.000 % |
145.69/145.81	c |    208833 |   21173   700461  2138957 | 2147483647   208833     96 |  0.000 % |
145.79/145.97	c |    209045 |   21173   700461  2138957 | 2147483647   209045     96 |  0.000 % |
146.20/146.31	c |    209278 |   21173   700461  2138957 | 2147483647   209278     96 |  0.000 % |
146.39/146.55	c |    209535 |   21173   700461  2138957 | 2147483647   209535     96 |  0.000 % |
146.59/146.74	c |    209818 |   21173   700461  2138957 | 2147483647   209818     96 |  0.000 % |
146.79/146.97	c |    210127 |   21173   700461  2138957 | 2147483647   210127     96 |  0.000 % |
147.09/147.22	c |    210466 |   21173   700461  2138957 | 2147483647   210466     96 |  0.000 % |
147.39/147.53	c |    210841 |   21173   700461  2138957 | 2147483647   210841     96 |  0.000 % |
147.69/147.88	c |    211252 |   21173   700461  2138957 | 2147483647   211252     97 |  0.000 % |
148.09/148.23	c |    211701 |   21173   700461  2138957 | 2147483647   211701     97 |  0.000 % |
148.49/148.64	c |    212196 |   21173   700461  2138957 | 2147483647   212196     97 |  0.000 % |
148.99/149.11	c |    212740 |   21173   700461  2138957 | 2147483647   212740     97 |  0.000 % |
149.28/149.48	c |    213337 |   21173   700461  2138957 | 2147483647   213337     96 |  0.000 % |
149.78/149.99	c |    213994 |   21173   700461  2138957 | 2147483647   213994     97 |  0.000 % |
150.39/150.51	c |    214719 |   21173   700461  2138957 | 2147483647   214719     97 |  0.000 % |
151.19/151.31	c |    215511 |   21173   700461  2138957 | 2147483647   215511     97 |  0.000 % |
152.19/152.31	c |    216382 |   21173   700461  2138957 | 2147483647   216382     98 |  0.000 % |
152.99/153.12	c |    217340 |   21173   700461  2138957 | 2147483647   217340     98 |  0.000 % |
153.79/153.98	c |    218393 |   21173   700461  2138957 | 2147483647   218393     98 |  0.000 % |
154.59/154.80	c |    219551 |   21173   700461  2138957 | 2147483647   219551     98 |  0.000 % |
155.99/156.17	c |    220824 |   21173   700461  2138957 | 2147483647   220824     98 |  0.000 % |
157.18/157.32	c |    222224 |   21173   700461  2138957 | 2147483647   222224     98 |  0.000 % |
158.39/158.54	c |    223765 |   21173   700461  2138957 | 2147483647   223765     97 |  0.000 % |
159.88/160.07	c |    225460 |   21173   700461  2138957 | 2147483647   225460     98 |  0.000 % |
161.39/161.53	c |    227323 |   21173   700461  2138957 | 2147483647   227323     98 |  0.000 % |
162.79/162.95	c |    229376 |   21173   700461  2138957 | 2147483647   229376     98 |  0.000 % |
164.58/164.76	c |    231630 |   21173   700461  2138957 | 2147483647   231630     98 |  0.000 % |
164.68/164.83	c |    231732 |   21173   700461  2138957 | 2147483647   231732     98 |  0.000 % |
164.79/164.94	c |    231844 |   21173   700461  2138957 | 2147483647   231844     98 |  0.000 % |
164.89/165.04	c |    231965 |   21173   700461  2138957 | 2147483647   231965     98 |  0.000 % |
164.98/165.17	c |    232100 |   21173   700461  2138957 | 2147483647   232100     98 |  0.000 % |
165.08/165.28	c |    232250 |   21173   700461  2138957 | 2147483647   232250     98 |  0.000 % |
165.28/165.40	c |    232410 |   21173   700461  2138957 | 2147483647   232410     98 |  0.000 % |
165.38/165.53	c |    232586 |   21173   700461  2138957 | 2147483647   232586     98 |  0.000 % |
165.58/165.77	c |    232781 |   21173   700461  2138957 | 2147483647   232781     98 |  0.000 % |
165.78/165.96	c |    232993 |   21173   700461  2138957 | 2147483647   232993     98 |  0.000 % |
166.08/166.21	c |    233226 |   21173   700461  2138957 | 2147483647   233226     98 |  0.000 % |
166.28/166.42	c |    233483 |   21173   700461  2138957 | 2147483647   233483     98 |  0.000 % |
166.58/166.71	c |    233766 |   21173   700461  2138957 | 2147483647   233766     98 |  0.000 % |
166.78/166.98	c |    234075 |   21173   700461  2138957 | 2147483647   234075     98 |  0.000 % |
167.08/167.28	c |    234414 |   21173   700461  2138957 | 2147483647   234414     98 |  0.000 % |
167.39/167.58	c |    234789 |   21173   700461  2138957 | 2147483647   234789     98 |  0.000 % |
167.78/167.93	c |    235198 |   21173   700461  2138957 | 2147483647   235198     98 |  0.000 % |
168.09/168.28	c |    235647 |   21173   700461  2138957 | 2147483647   235647     98 |  0.000 % |
168.48/168.62	c |    236143 |   21173   700461  2138957 | 2147483647   236143     98 |  0.000 % |
169.08/169.30	c |    236686 |   21173   700461  2138957 | 2147483647   236686     98 |  0.000 % |
169.68/169.81	c |    237282 |   21173   700461  2138957 | 2147483647   237282     98 |  0.000 % |
170.48/170.62	c |    237939 |   21173   700461  2138957 | 2147483647   237939     98 |  0.000 % |
171.28/171.40	c |    238659 |   21173   700461  2138957 | 2147483647   238659     98 |  0.000 % |
172.18/172.30	c |    239452 |   21173   700461  2138957 | 2147483647   239452     98 |  0.000 % |
172.88/173.04	c |    240324 |   21173   700461  2138957 | 2147483647   240324     98 |  0.000 % |
173.78/173.90	c |    241282 |   21173   700461  2138957 | 2147483647   241282     98 |  0.000 % |
174.88/175.03	c |    242338 |   21173   700461  2138957 | 2147483647   242338     98 |  0.000 % |
175.78/175.97	c |    243496 |   21173   700461  2138957 | 2147483647   243496     98 |  0.000 % |
176.88/177.07	c |    244770 |   21173   700461  2138957 | 2147483647   244770     98 |  0.000 % |
178.28/178.43	c |    246170 |   21173   700461  2138957 | 2147483647   246170     98 |  0.000 % |
179.88/180.10	c |    247710 |   21173   700461  2138957 | 2147483647   247710     98 |  0.000 % |
181.67/181.85	c |    249407 |   21173   700461  2138957 | 2147483647   249407     97 |  0.000 % |
183.77/183.99	c |    251270 |   21173   700461  2138957 | 2147483647   251270     97 |  0.000 % |
185.98/186.12	c |    253321 |   21173   700461  2138957 | 2147483647   253321     97 |  0.000 % |
188.78/188.92	c |    255578 |   21173   700461  2138957 | 2147483647   255578     98 |  0.000 % |
191.87/192.00	c |    258056 |   21173   700461  2138957 | 2147483647   258056    100 |  0.000 % |
191.97/192.18	c |    258156 |   21173   700461  2138957 | 2147483647   258156    100 |  0.000 % |
192.17/192.30	c |    258266 |   21173   700461  2138957 | 2147483647   258266    100 |  0.000 % |
192.27/192.46	c |    258387 |   21173   700461  2138957 | 2147483647   258387    100 |  0.000 % |
192.38/192.59	c |    258520 |   21173   700461  2138957 | 2147483647   258520    100 |  0.000 % |
192.78/192.91	c |    258666 |   21173   700461  2138957 | 2147483647   258666    100 |  0.000 % |
192.88/193.09	c |    258826 |   21173   700461  2138957 | 2147483647   258826    100 |  0.000 % |
193.08/193.25	c |    259003 |   21173   700461  2138957 | 2147483647   259003    100 |  0.000 % |
193.38/193.53	c |    259197 |   21173   700461  2138957 | 2147483647   259197    100 |  0.000 % |
193.58/193.73	c |    259409 |   21173   700461  2138957 | 2147483647   259409    100 |  0.000 % |
193.78/193.97	c |    259644 |   21173   700461  2138957 | 2147483647   259644    100 |  0.000 % |
194.08/194.21	c |    259900 |   21173   700461  2138957 | 2147483647   259900    100 |  0.000 % |
194.27/194.48	c |    260183 |   21173   700461  2138957 | 2147483647   260183    100 |  0.000 % |
194.58/194.78	c |    260497 |   21173   700461  2138957 | 2147483647   260497    100 |  0.000 % |
194.97/195.13	c |    260837 |   21173   700461  2138957 | 2147483647   260837    100 |  0.000 % |
195.27/195.48	c |    261212 |   21173   700461  2138957 | 2147483647   261212    100 |  0.000 % |
195.77/195.95	c |    261623 |   21173   700461  2138957 | 2147483647   261623    100 |  0.000 % |
196.17/196.36	c |    262073 |   21173   700461  2138957 | 2147483647   262073    100 |  0.000 % |
196.78/196.99	c |    262566 |   21173   700461  2138957 | 2147483647   262566    100 |  0.000 % |
197.37/197.60	c |    263109 |   21173   700461  2138957 | 2147483647   263109    100 |  0.000 % |
198.17/198.39	c |    263706 |   21173   700461  2138957 | 2147483647   263706    100 |  0.000 % |
198.87/199.09	c |    264363 |   21173   700461  2138957 | 2147483647   264363    100 |  0.000 % |
199.57/199.77	c |    265084 |   21173   700461  2138957 | 2147483647   265084    100 |  0.000 % |
200.67/200.85	c |    265876 |   21173   700461  2138957 | 2147483647   265876    100 |  0.000 % |
201.77/201.97	c |    266747 |   21173   700461  2138957 | 2147483647   266747    100 |  0.000 % |
202.87/203.03	c |    267705 |   21173   700461  2138957 | 2147483647   267705    100 |  0.000 % |
203.97/204.13	c |    268760 |   21173   700461  2138957 | 2147483647   268760    100 |  0.000 % |
205.17/205.31	c |    269918 |   21173   700461  2138957 | 2147483647   269918    100 |  0.000 % |
206.47/206.64	c |    271191 |   21173   700461  2138957 | 2147483647   271191    100 |  0.000 % |
207.96/208.13	c |    272593 |   21173   700461  2138957 | 2147483647   272593    100 |  0.000 % |
209.36/209.50	c |    274134 |   21173   700461  2138957 | 2147483647   274134    100 |  0.000 % |
210.67/210.87	c |    275828 |   21173   700461  2138957 | 2147483647   275828    100 |  0.000 % |
212.37/212.51	c |    277692 |   21173   700461  2138957 | 2147483647   277692    100 |  0.000 % |
213.96/214.11	c |    279742 |   21173   700461  2138957 | 2147483647   279742    100 |  0.000 % |
216.06/216.27	c |    281995 |   21173   700461  2138957 | 2147483647   281995    100 |  0.000 % |
218.26/218.42	c |    284474 |   21173   700461  2138957 | 2147483647   284474    101 |  0.000 % |
220.46/220.60	c |    287199 |   21173   700461  2138957 | 2147483647   287199    101 |  0.000 % |
220.46/220.68	c |    287299 |   21173   700461  2138957 | 2147483647   287299    101 |  0.001 % |
220.56/220.76	c |    287410 |   21173   700461  2138957 | 2147483647   287410    101 |  0.000 % |
220.66/220.86	c |    287532 |   21173   700461  2138957 | 2147483647   287532    101 |  0.000 % |
221.06/221.25	c |    287668 |   21173   700461  2138957 | 2147483647   287668    101 |  0.000 % |
221.16/221.39	c |    287814 |   21173   700461  2138957 | 2147483647   287814    101 |  0.000 % |
221.46/221.60	c |    287974 |   21173   700461  2138957 | 2147483647   287974    101 |  0.000 % |
221.66/221.83	c |    288150 |   21173   700461  2138957 | 2147483647   288150    101 |  0.000 % |
221.85/222.02	c |    288344 |   21173   700461  2138957 | 2147483647   288344    101 |  0.000 % |
222.15/222.32	c |    288561 |   21173   700461  2138957 | 2147483647   288561    101 |  0.000 % |
222.46/222.66	c |    288796 |   21173   700461  2138957 | 2147483647   288796    101 |  0.000 % |
222.76/222.93	c |    289052 |   21173   700461  2138957 | 2147483647   289052    101 |  0.000 % |
223.06/223.23	c |    289333 |   21173   700461  2138957 | 2147483647   289333    101 |  0.000 % |
223.36/223.56	c |    289642 |   21173   700461  2138957 | 2147483647   289642    101 |  0.000 % |
223.65/223.88	c |    289981 |   21173   700461  2138957 | 2147483647   289981    101 |  0.000 % |
224.05/224.22	c |    290353 |   21173   700461  2138957 | 2147483647   290353    101 |  0.000 % |
224.35/224.58	c |    290763 |   21173   700461  2138957 | 2147483647   290763    101 |  0.000 % |
224.76/224.99	c |    291213 |   21173   700461  2138957 | 2147483647   291213    101 |  0.000 % |
225.16/225.39	c |    291707 |   21173   700461  2138957 | 2147483647   291707    101 |  0.000 % |
225.66/225.84	c |    292249 |   21173   700461  2138957 | 2147483647   292249    101 |  0.000 % |
226.16/226.32	c |    292845 |   21173   700461  2138957 | 2147483647   292845    101 |  0.000 % |
226.66/226.87	c |    293500 |   21173   700461  2138957 | 2147483647   293500    101 |  0.000 % |
227.46/227.65	c |    294220 |   21173   700461  2138957 | 2147483647   294220    101 |  0.000 % |
228.16/228.36	c |    295013 |   21173   700461  2138957 | 2147483647   295013    101 |  0.000 % |
229.06/229.20	c |    295884 |   21173   700461  2138957 | 2147483647   295884    101 |  0.000 % |
229.76/229.96	c |    296843 |   21173   700461  2138957 | 2147483647   296843    101 |  0.000 % |
230.66/230.86	c |    297897 |   21173   700461  2138957 | 2147483647   297897    101 |  0.000 % |
231.96/232.12	c |    299056 |   21173   700461  2138957 | 2147483647   299056    101 |  0.000 % |
233.15/233.38	c |    300329 |   21173   700461  2138957 | 2147483647   300329    101 |  0.000 % |
234.25/234.49	c |    301730 |   21173   700461  2138957 | 2147483647   301730    101 |  0.000 % |
235.46/235.69	c |    303272 |   21173   700461  2138957 | 2147483647   303272    101 |  0.000 % |
236.86/237.02	c |    304967 |   21173   700461  2138957 | 2147483647   304967    101 |  0.000 % |
238.36/238.52	c |    306830 |   21173   700461  2138957 | 2147483647   306830    100 |  0.000 % |
240.15/240.37	c |    308879 |   21173   700461  2138957 | 2147483647   308879    101 |  0.000 % |
242.15/242.38	c |    311132 |   21173   700461  2138957 | 2147483647   311132    101 |  0.000 % |
244.65/244.84	c |    313610 |   21173   700461  2138957 | 2147483647   313610    101 |  0.000 % |
246.75/246.98	c |    316337 |   21173   700461  2138957 | 2147483647   316337    100 |  0.000 % |
249.35/249.60	c |    319336 |   21173   700461  2138957 | 2147483647   319336    100 |  0.000 % |
249.45/249.69	c |    319438 |   21173   700461  2138957 | 2147483647   319438    100 |  0.000 % |
249.65/249.82	c |    319548 |   21173   700461  2138957 | 2147483647   319548    100 |  0.000 % |
249.75/249.98	c |    319670 |   21173   700461  2138957 | 2147483647   319670    100 |  0.000 % |
249.95/250.20	c |    319803 |   21173   700461  2138957 | 2147483647   319803    100 |  0.000 % |
250.15/250.33	c |    319949 |   21173   700461  2138957 | 2147483647   319949    100 |  0.000 % |
250.35/250.54	c |    320110 |   21173   700461  2138957 | 2147483647   320110    100 |  0.000 % |
250.55/250.72	c |    320286 |   21173   700461  2138957 | 2147483647   320286    100 |  0.000 % |
250.75/250.93	c |    320480 |   21173   700461  2138957 | 2147483647   320480    100 |  0.000 % |
250.94/251.18	c |    320693 |   21173   700461  2138957 | 2147483647   320693    100 |  0.000 % |
251.24/251.47	c |    320926 |   21173   700461  2138957 | 2147483647   320926    100 |  0.000 % |
251.54/251.72	c |    321183 |   21173   700461  2138957 | 2147483647   321183    100 |  0.000 % |
251.85/252.08	c |    321465 |   21173   700461  2138957 | 2147483647   321465    100 |  0.000 % |
252.25/252.46	c |    321774 |   21173   700461  2138957 | 2147483647   321774    100 |  0.000 % |
252.55/252.71	c |    322113 |   21173   700461  2138957 | 2147483647   322113    100 |  0.000 % |
252.95/253.17	c |    322485 |   21173   700461  2138957 | 2147483647   322485    100 |  0.000 % |
253.35/253.53	c |    322895 |   21173   700461  2138957 | 2147483647   322895    100 |  0.000 % |
253.75/253.93	c |    323344 |   21173   700461  2138957 | 2147483647   323344    100 |  0.000 % |
254.15/254.36	c |    323837 |   21173   700461  2138957 | 2147483647   323837    100 |  0.000 % |
254.75/254.95	c |    324379 |   21173   700461  2138957 | 2147483647   324379    100 |  0.000 % |
255.25/255.44	c |    324975 |   21173   700461  2138957 | 2147483647   324975    100 |  0.000 % |
255.84/256.08	c |    325630 |   21173   700461  2138957 | 2147483647   325630    100 |  0.000 % |
256.64/256.82	c |    326350 |   21173   700461  2138957 | 2147483647   326350    100 |  0.000 % |
257.25/257.46	c |    327142 |   21173   700461  2138957 | 2147483647   327142    100 |  0.001 % |
257.85/258.08	c |    328013 |   21173   700461  2138957 | 2147483647   328013    100 |  0.000 % |
258.75/258.97	c |    328971 |   21173   700461  2138957 | 2147483647   328971    100 |  0.000 % |
259.64/259.87	c |    330024 |   21173   700461  2138957 | 2147483647   330024    100 |  0.000 % |
261.14/261.37	c |    331182 |   21173   700461  2138957 | 2147483647   331182    100 |  0.000 % |
262.34/262.58	c |    332456 |   21173   700461  2138957 | 2147483647   332456    100 |  0.000 % |
263.55/263.79	c |    333856 |   21173   700461  2138957 | 2147483647   333856    100 |  0.000 % |
265.04/265.23	c |    335396 |   21173   700461  2138957 | 2147483647   335396    100 |  0.000 % |
266.94/267.20	c |    337091 |   21173   700461  2138957 | 2147483647   337091    100 |  0.000 % |
268.74/268.98	c |    338956 |   21173   700461  2138957 | 2147483647   338956    100 |  0.000 % |
270.85/271.07	c |    341007 |   21173   700461  2138957 | 2147483647   341007    101 |  0.000 % |
273.84/274.02	c |    343261 |   21173   700461  2138957 | 2147483647   343261    101 |  0.000 % |
276.44/276.67	c |    345739 |   21173   700461  2138957 | 2147483647   345739    101 |  0.000 % |
278.73/278.95	c |    348464 |   21173   700461  2138957 | 2147483647   348464    101 |  0.000 % |
281.04/281.23	c |    351464 |   21173   700461  2138957 | 2147483647   351464    101 |  0.000 % |
283.24/283.46	c |    354760 |   21173   700461  2138957 | 2147483647   354760    100 |  0.001 % |
283.34/283.58	c |    354860 |   21173   700461  2138957 | 2147483647   354860    100 |  0.000 % |
283.44/283.66	c |    354971 |   21173   700461  2138957 | 2147483647   354971    100 |  0.001 % |
283.64/283.84	c |    355093 |   21173   700461  2138957 | 2147483647   355093    100 |  0.001 % |
283.84/284.04	c |    355227 |   21173   700461  2138957 | 2147483647   355227    100 |  0.000 % |
284.04/284.22	c |    355374 |   21173   700461  2138957 | 2147483647   355374    100 |  0.000 % |
284.14/284.38	c |    355536 |   21173   700461  2138957 | 2147483647   355536    100 |  0.000 % |
284.64/284.84	c |    355712 |   21173   700461  2138957 | 2147483647   355712    100 |  0.000 % |
284.83/285.09	c |    355905 |   21173   700461  2138957 | 2147483647   355905    100 |  0.000 % |
285.13/285.31	c |    356117 |   21173   700461  2138957 | 2147483647   356117    100 |  0.000 % |
285.33/285.55	c |    356350 |   21173   700461  2138957 | 2147483647   356350    100 |  0.000 % |
285.74/286.00	c |    356606 |   21173   700461  2138957 | 2147483647   356606    100 |  0.000 % |
286.04/286.29	c |    356888 |   21173   700461  2138957 | 2147483647   356888    100 |  0.000 % |
286.44/286.69	c |    357197 |   21173   700461  2138957 | 2147483647   357197    100 |  0.000 % |
286.84/287.05	c |    357538 |   21173   700461  2138957 | 2147483647   357538    100 |  0.000 % |
287.44/287.60	c |    357910 |   21173   700461  2138957 | 2147483647   357910    100 |  0.000 % |
288.04/288.28	c |    358320 |   21173   700461  2138957 | 2147483647   358320    100 |  0.000 % |
288.64/288.82	c |    358770 |   21173   700461  2138957 | 2147483647   358770    100 |  0.000 % |
289.24/289.41	c |    359265 |   21173   700461  2138957 | 2147483647   359265    100 |  0.000 % |
289.84/290.08	c |    359808 |   21173   700461  2138957 | 2147483647   359808    100 |  0.000 % |
290.54/290.79	c |    360408 |   21173   700461  2138957 | 2147483647   360408    100 |  0.000 % |
291.34/291.54	c |    361064 |   21173   700461  2138957 | 2147483647   361064    100 |  0.000 % |
292.34/292.54	c |    361786 |   21173   700461  2138957 | 2147483647   361786    100 |  0.000 % |
293.23/293.43	c |    362579 |   21173   700461  2138957 | 2147483647   362579    100 |  0.000 % |
294.73/294.98	c |    363450 |   21173   700461  2138957 | 2147483647   363450    100 |  0.000 % |
296.13/296.33	c |    364408 |   21173   700461  2138957 | 2147483647   364408    100 |  0.000 % |
297.43/297.69	c |    365461 |   21173   700461  2138957 | 2147483647   365461    100 |  0.000 % |
298.73/298.92	c |    366619 |   21173   700461  2138957 | 2147483647   366619    100 |  0.000 % |
299.83/300.06	c |    367892 |   21173   700461  2138957 | 2147483647   367892    100 |  0.000 % |
301.44/301.65	c |    369292 |   21173   700461  2138957 | 2147483647   369292    100 |  0.000 % |
303.13/303.34	c |    370836 |   21173   700461  2138957 | 2147483647   370836    100 |  0.000 % |
304.44/304.61	c |    372531 |   21173   700461  2138957 | 2147483647   372531    100 |  0.000 % |
305.83/306.08	c |    374394 |   21173   700461  2138957 | 2147483647   374394    100 |  0.000 % |
307.84/308.06	c |    376443 |   21173   700461  2138957 | 2147483647   376443    100 |  0.000 % |
310.23/310.47	c |    378699 |   21173   700461  2138957 | 2147483647   378699    100 |  0.000 % |
312.23/312.49	c |    381177 |   21173   700461  2138957 | 2147483647   381177     99 |  0.000 % |
314.82/315.06	c |    383902 |   21173   700461  2138957 | 2147483647   383902    100 |  0.000 % |
317.73/317.94	c |    386900 |   21173   700461  2138957 | 2147483647   386900    100 |  0.000 % |
320.52/320.76	c |    390197 |   21173   700461  2138957 | 2147483647   390197     99 |  0.000 % |
325.02/325.28	c |    393824 |   21173   700461  2138957 | 2147483647   393824     99 |  0.000 % |
325.22/325.41	c |    393925 |   21173   700461  2138957 | 2147483647   393925     99 |  0.000 % |
325.42/325.62	c |    394035 |   21173   700461  2138957 | 2147483647   394035     99 |  0.000 % |
325.72/325.90	c |    394156 |   21173   700461  2138957 | 2147483647   394156    100 |  0.000 % |
325.82/326.05	c |    394289 |   21173   700461  2138957 | 2147483647   394289     99 |  0.000 % |
326.02/326.22	c |    394436 |   21173   700461  2138957 | 2147483647   394436     99 |  0.000 % |
326.22/326.44	c |    394597 |   21173   700461  2138957 | 2147483647   394597     99 |  0.000 % |
326.52/326.72	c |    394775 |   21173   700461  2138957 | 2147483647   394775     99 |  0.000 % |
326.82/327.03	c |    394969 |   21173   700461  2138957 | 2147483647   394969     99 |  0.000 % |
327.12/327.32	c |    395183 |   21173   700461  2138957 | 2147483647   395183     99 |  0.000 % |
327.32/327.55	c |    395420 |   21173   700461  2138957 | 2147483647   395420     99 |  0.000 % |
327.72/327.90	c |    395676 |   21173   700461  2138957 | 2147483647   395676     99 |  0.000 % |
327.92/328.19	c |    395958 |   21173   700461  2138957 | 2147483647   395958     99 |  0.000 % |
328.22/328.42	c |    396267 |   21173   700461  2138957 | 2147483647   396267     99 |  0.000 % |
328.52/328.79	c |    396607 |   21173   700461  2138957 | 2147483647   396607     99 |  0.000 % |
328.92/329.15	c |    396979 |   21173   700461  2138957 | 2147483647   396979     99 |  0.000 % |
329.33/329.52	c |    397389 |   21173   700461  2138957 | 2147483647   397389     99 |  0.000 % |
329.73/329.99	c |    397839 |   21173   700461  2138957 | 2147483647   397839     99 |  0.000 % |
330.52/330.77	c |    398335 |   21173   700461  2138957 | 2147483647   398335     99 |  0.000 % |
331.02/331.26	c |    398879 |   21173   700461  2138957 | 2147483647   398879     99 |  0.000 % |
331.62/331.87	c |    399476 |   21173   700461  2138957 | 2147483647   399476     99 |  0.000 % |
332.22/332.45	c |    400132 |   21173   700461  2138957 | 2147483647   400132     99 |  0.000 % |
332.82/333.09	c |    400852 |   21173   700461  2138957 | 2147483647   400852     99 |  0.000 % |
333.93/334.13	c |    401644 |   21173   700461  2138957 | 2147483647   401644     99 |  0.000 % |
334.92/335.16	c |    402516 |   21173   700461  2138957 | 2147483647   402516     99 |  0.000 % |
336.22/336.48	c |    403475 |   21173   700461  2138957 | 2147483647   403475     99 |  0.000 % |
338.12/338.31	c |    404529 |   21173   700461  2138957 | 2147483647   404529     99 |  0.000 % |
340.22/340.46	c |    405689 |   21173   700461  2138957 | 2147483647   405689     99 |  0.000 % |
342.22/342.40	c |    406962 |   21173   700461  2138957 | 2147483647   406962     99 |  0.000 % |
344.92/345.10	c |    408363 |   21173   700461  2138957 | 2147483647   408363     99 |  0.000 % |
347.32/347.55	c |    409903 |   21173   700461  2138957 | 2147483647   409903     99 |  0.000 % |
349.81/350.06	c |    411597 |   21173   700461  2138957 | 2147483647   411597     99 |  0.000 % |
351.91/352.16	c |    413461 |   21173   700461  2138957 | 2147483647   413461    101 |  0.000 % |
354.11/354.34	c |    415511 |   21173   700461  2138957 | 2147483647   415511    101 |  0.000 % |
355.31/355.53	c |    417764 |   21173   700461  2138957 | 2147483647   417764    101 |  0.000 % |
357.31/357.52	c |    420242 |   21173   700461  2138957 | 2147483647   420242    101 |  0.001 % |
359.42/359.63	c |    422968 |   21173   700461  2138957 | 2147483647   422968    101 |  0.000 % |
361.51/361.71	c |    425965 |   21173   700461  2138957 | 2147483647   425965    101 |  0.001 % |
364.21/364.47	c |    429261 |   21173   700461  2138957 | 2147483647   429261    101 |  0.000 % |
366.61/366.89	c |    432886 |   21173   700461  2138957 | 2147483647   432886    101 |  0.001 % |
370.01/370.29	c |    436875 |   21173   700461  2138957 | 2147483647   436875    101 |  0.000 % |
370.21/370.45	c |    436978 |   21173   700461  2138957 | 2147483647   436978    101 |  0.000 % |
370.31/370.58	c |    437088 |   21173   700461  2138957 | 2147483647   437088    101 |  0.000 % |
370.61/370.88	c |    437209 |   21173   700461  2138957 | 2147483647   437209    101 |  0.000 % |
370.81/371.05	c |    437344 |   21173   700461  2138957 | 2147483647   437344    101 |  0.000 % |
371.01/371.21	c |    437490 |   21173   700461  2138957 | 2147483647   437490    101 |  0.000 % |
371.11/371.39	c |    437650 |   21173   700461  2138957 | 2147483647   437650    101 |  0.000 % |
371.41/371.62	c |    437827 |   21173   700461  2138957 | 2147483647   437827    101 |  0.000 % |
371.61/371.87	c |    438022 |   21173   700461  2138957 | 2147483647   438022    101 |  0.000 % |
372.01/372.27	c |    438237 |   21173   700461  2138957 | 2147483647   438237    101 |  0.000 % |
372.61/372.82	c |    438471 |   21173   700461  2138957 | 2147483647   438471    101 |  0.000 % |
373.11/373.33	c |    438728 |   21173   700461  2138957 | 2147483647   438728    101 |  0.000 % |
373.51/373.78	c |    439012 |   21173   700461  2138957 | 2147483647   439012    101 |  0.000 % |
374.21/374.44	c |    439322 |   21173   700461  2138957 | 2147483647   439322    101 |  0.000 % |
374.91/375.14	c |    439666 |   21173   700461  2138957 | 2147483647   439666    101 |  0.000 % |
375.41/375.65	c |    440038 |   21173   700461  2138957 | 2147483647   440038    101 |  0.000 % |
376.11/376.37	c |    440447 |   21173   700461  2138957 | 2147483647   440447    101 |  0.000 % |
376.71/376.98	c |    440896 |   21173   700461  2138957 | 2147483647   440896    101 |  0.000 % |
377.30/377.59	c |    441389 |   21173   700461  2138957 | 2147483647   441389    101 |  0.000 % |
377.90/378.19	c |    441934 |   21173   700461  2138957 | 2147483647   441934    101 |  0.000 % |
378.81/379.00	c |    442532 |   21173   700461  2138957 | 2147483647   442532    100 |  0.000 % |
379.81/380.06	c |    443189 |   21173   700461  2138957 | 2147483647   443189    100 |  0.000 % |
380.91/381.16	c |    443909 |   21173   700461  2138957 | 2147483647   443909    100 |  0.000 % |
382.01/382.26	c |    444702 |   21173   700461  2138957 | 2147483647   444702    100 |  0.000 % |
383.01/383.28	c |    445575 |   21173   700461  2138957 | 2147483647   445575    100 |  0.000 % |
384.41/384.70	c |    446533 |   21173   700461  2138957 | 2147483647   446533    100 |  0.000 % |
386.00/386.25	c |    447590 |   21173   700461  2138957 | 2147483647   447590    101 |  0.000 % |
387.90/388.14	c |    448751 |   21173   700461  2138957 | 2147483647   448751    100 |  0.000 % |
389.31/389.55	c |    450026 |   21173   700461  2138957 | 2147483647   450026    100 |  0.000 % |
390.80/391.06	c |    451428 |   21173   700461  2138957 | 2147483647   451428    100 |  0.000 % |
392.51/392.78	c |    452970 |   21173   700461  2138957 | 2147483647   452970    100 |  0.000 % |
394.10/394.38	c |    454666 |   21173   700461  2138957 | 2147483647   454666    100 |  0.001 % |
396.00/396.26	c |    456530 |   21173   700461  2138957 | 2147483647   456530    100 |  0.000 % |
398.20/398.41	c |    458580 |   21173   700461  2138957 | 2147483647   458580    100 |  0.000 % |
400.80/401.08	c |    460833 |   21173   700461  2138957 | 2147483647   460833    100 |  0.000 % |
404.29/404.56	c |    463312 |   21173   700461  2138957 | 2147483647   463312    100 |  0.000 % |
407.39/407.69	c |    466038 |   21173   700461  2138957 | 2147483647   466038    100 |  0.000 % |
412.50/412.77	c |    469036 |   21173   700461  2138957 | 2147483647   469036    101 |  0.000 % |
417.79/418.00	c |    472334 |   21173   700461  2138957 | 2147483647   472334    101 |  0.000 % |
422.79/423.05	c |    475961 |   21173   700461  2138957 | 2147483647   475961    102 |  0.000 % |
428.39/428.66	c |    479948 |   21173   700461  2138957 | 2147483647   479948    103 |  0.000 % |
434.79/435.00	c |    484333 |   21173   700461  2138957 | 2147483647   484333    102 |  0.000 % |
434.99/435.20	c |    484433 |   21173   700461  2138957 | 2147483647   484433    102 |  0.000 % |
435.29/435.56	c |    484545 |   21173   700461  2138957 | 2147483647   484545    102 |  0.000 % |
435.49/435.76	c |    484668 |   21173   700461  2138957 | 2147483647   484668    102 |  0.000 % |
435.69/435.97	c |    484802 |   21173   700461  2138957 | 2147483647   484802    102 |  0.000 % |
436.09/436.34	c |    484948 |   21173   700461  2138957 | 2147483647   484948    102 |  0.000 % |
436.39/436.63	c |    485111 |   21173   700461  2138957 | 2147483647   485111    102 |  0.000 % |
436.59/436.81	c |    485287 |   21173   700461  2138957 | 2147483647   485287    102 |  0.000 % |
436.79/437.08	c |    485481 |   21173   700461  2138957 | 2147483647   485481    102 |  0.000 % |
437.18/437.41	c |    485695 |   21173   700461  2138957 | 2147483647   485695    102 |  0.000 % |
437.49/437.70	c |    485929 |   21173   700461  2138957 | 2147483647   485929    102 |  0.000 % |
437.68/437.99	c |    486185 |   21173   700461  2138957 | 2147483647   486185    102 |  0.000 % |
438.18/438.40	c |    486466 |   21173   700461  2138957 | 2147483647   486466    102 |  0.000 % |
438.78/439.02	c |    486776 |   21173   700461  2138957 | 2147483647   486776    102 |  0.000 % |
439.48/439.74	c |    487116 |   21173   700461  2138957 | 2147483647   487116    102 |  0.000 % |
439.98/440.20	c |    487489 |   21173   700461  2138957 | 2147483647   487489    102 |  0.000 % |
440.59/440.83	c |    487898 |   21173   700461  2138957 | 2147483647   487898    102 |  0.000 % |
441.39/441.68	c |    488349 |   21173   700461  2138957 | 2147483647   488349    102 |  0.000 % |
442.19/442.40	c |    488847 |   21173   700461  2138957 | 2147483647   488847    102 |  0.000 % |
443.29/443.58	c |    489389 |   21173   700461  2138957 | 2147483647   489389    102 |  0.000 % |
444.28/444.51	c |    489986 |   21173   700461  2138957 | 2147483647   489986    102 |  0.000 % |
445.28/445.59	c |    490643 |   21173   700461  2138957 | 2147483647   490643    102 |  0.000 % |
446.38/446.64	c |    491363 |   21173   700461  2138957 | 2147483647   491363    102 |  0.000 % |
448.18/448.49	c |    492155 |   21173   700461  2138957 | 2147483647   492155    102 |  0.000 % |
449.59/449.81	c |    493027 |   21173   700461  2138957 | 2147483647   493027    102 |  0.000 % |
451.09/451.33	c |    493986 |   21173   700461  2138957 | 2147483647   493986    102 |  0.000 % |
452.48/452.79	c |    495039 |   21173   700461  2138957 | 2147483647   495039    102 |  0.000 % |
454.28/454.54	c |    496198 |   21173   700461  2138957 | 2147483647   496198    102 |  0.000 % |
455.98/456.21	c |    497471 |   21173   700461  2138957 | 2147483647   497471    102 |  0.000 % |
458.38/458.63	c |    498871 |   21173   700461  2138957 | 2147483647   498871    102 |  0.000 % |
460.78/461.02	c |    500412 |   21173   700461  2138957 | 2147483647   500412    102 |  0.000 % |
463.48/463.72	c |    502106 |   21173   700461  2138957 | 2147483647   502106    102 |  0.000 % |
466.18/466.46	c |    503970 |   21173   700461  2138957 | 2147483647   503970    102 |  0.000 % |
469.38/469.62	c |    506019 |   21173   700461  2138957 | 2147483647   506019    102 |  0.000 % |
472.88/473.11	c |    508272 |   21173   700461  2138957 | 2147483647   508272    102 |  0.000 % |
477.97/478.23	c |    510750 |   21173   700461  2138957 | 2147483647   510750    102 |  0.000 % |
482.97/483.23	c |    513475 |   21173   700461  2138957 | 2147483647   513475    102 |  0.000 % |
488.17/488.47	c |    516472 |   21173   700461  2138957 | 2147483647   516472    102 |  0.000 % |
493.77/494.10	c |    519769 |   21173   700461  2138957 | 2147483647   519769    102 |  0.000 % |
498.57/498.85	c |    523394 |   21173   700461  2138957 | 2147483647   523394    101 |  0.000 % |
504.06/504.36	c |    527381 |   21173   700461  2138957 | 2147483647   527381    101 |  0.000 % |
510.76/511.08	c |    531767 |   21173   700461  2138957 | 2147483647   531767    101 |  0.000 % |
518.26/518.52	c |    536593 |   21173   700461  2138957 | 2147483647   536593    101 |  0.000 % |
518.46/518.74	c |    536693 |   21173   700461  2138957 | 2147483647   536693    101 |  0.000 % |
518.66/518.91	c |    536805 |   21173   700461  2138957 | 2147483647   536805    101 |  0.000 % |
518.76/519.08	c |    536928 |   21173   700461  2138957 | 2147483647   536928    101 |  0.000 % |
519.06/519.34	c |    537062 |   21173   700461  2138957 | 2147483647   537062    101 |  0.000 % |
519.36/519.68	c |    537208 |   21173   700461  2138957 | 2147483647   537208    101 |  0.000 % |
519.76/520.00	c |    537369 |   21173   700461  2138957 | 2147483647   537369    101 |  0.000 % |
520.06/520.33	c |    537546 |   21173   700461  2138957 | 2147483647   537546    101 |  0.000 % |
520.55/520.83	c |    537739 |   21173   700461  2138957 | 2147483647   537739    101 |  0.000 % |
520.85/521.13	c |    537953 |   21173   700461  2138957 | 2147483647   537953    101 |  0.000 % |
521.16/521.48	c |    538186 |   21173   700461  2138957 | 2147483647   538186    101 |  0.000 % |
521.55/521.90	c |    538443 |   21173   700461  2138957 | 2147483647   538443    101 |  0.000 % |
521.96/522.22	c |    538725 |   21173   700461  2138957 | 2147483647   538725    101 |  0.000 % |
522.36/522.65	c |    539040 |   21173   700461  2138957 | 2147483647   539040    101 |  0.000 % |
523.66/523.92	c |    539380 |   21173   700461  2138957 | 2147483647   539380    101 |  0.000 % |
524.16/524.42	c |    539752 |   21173   700461  2138957 | 2147483647   539752    101 |  0.000 % |
524.76/525.05	c |    540161 |   21173   700461  2138957 | 2147483647   540161    101 |  0.000 % |
525.46/525.73	c |    540613 |   21173   700461  2138957 | 2147483647   540613    101 |  0.000 % |
526.16/526.43	c |    541110 |   21173   700461  2138957 | 2147483647   541110    101 |  0.000 % |
527.46/527.72	c |    541652 |   21173   700461  2138957 | 2147483647   541652    101 |  0.000 % |
528.25/528.53	c |    542248 |   21173   700461  2138957 | 2147483647   542248    101 |  0.000 % |
529.15/529.48	c |    542903 |   21173   700461  2138957 | 2147483647   542903    101 |  0.000 % |
530.35/530.67	c |    543624 |   21173   700461  2138957 | 2147483647   543624    101 |  0.000 % |
531.75/532.02	c |    544416 |   21173   700461  2138957 | 2147483647   544416    101 |  0.000 % |
533.35/533.69	c |    545288 |   21173   700461  2138957 | 2147483647   545288    101 |  0.000 % |
534.85/535.18	c |    546246 |   21173   700461  2138957 | 2147483647   546246    101 |  0.000 % |
537.24/537.59	c |    547299 |   21173   700461  2138957 | 2147483647   547299    101 |  0.000 % |
539.55/539.87	c |    548457 |   21173   700461  2138957 | 2147483647   548457    101 |  0.000 % |
542.35/542.65	c |    549730 |   21173   700461  2138957 | 2147483647   549730    101 |  0.000 % |
544.55/544.88	c |    551130 |   21173   700461  2138957 | 2147483647   551130    101 |  0.000 % |
547.45/547.71	c |    552673 |   21173   700461  2138957 | 2147483647   552673    101 |  0.000 % |
550.64/550.95	c |    554368 |   21173   700461  2138957 | 2147483647   554368    101 |  0.000 % |
553.74/554.01	c |    556231 |   21173   700461  2138957 | 2147483647   556231    100 |  0.000 % |
557.54/557.86	c |    558280 |   21173   700461  2138957 | 2147483647   558280    100 |  0.000 % |
561.74/562.07	c |    560533 |   21173   700461  2138957 | 2147483647   560533    100 |  0.000 % |
567.14/567.49	c |    563012 |   21173   700461  2138957 | 2147483647   563012    100 |  0.000 % |
572.84/573.15	c |    565737 |   21173   700461  2138957 | 2147483647   565737    100 |  0.000 % |
578.43/578.76	c |    568735 |   21173   700461  2138957 | 2147483647   568735    100 |  0.000 % |
584.93/585.22	c |    572033 |   21173   700461  2138957 | 2147483647   572033    100 |  0.000 % |
591.53/591.85	c |    575658 |   21173   700461  2138957 | 2147483647   575658    100 |  0.000 % |
598.13/598.46	c |    579645 |   21173   700461  2138957 | 2147483647   579645    100 |  0.000 % |
605.42/605.76	c |    584031 |   21173   700461  2138957 | 2147483647   584031    100 |  0.000 % |
612.82/613.18	c |    588855 |   21173   700461  2138957 | 2147483647   588855    101 |  0.000 % |
622.32/622.63	c |    594160 |   21173   700461  2138957 | 2147483647   594160    101 |  0.000 % |
622.52/622.83	c |    594264 |   21173   700461  2138957 | 2147483647   594264    101 |  0.000 % |
622.72/623.01	c |    594374 |   21173   700461  2138957 | 2147483647   594374    101 |  0.000 % |
622.92/623.27	c |    594496 |   21173   700461  2138957 | 2147483647   594496    101 |  0.000 % |
623.21/623.51	c |    594630 |   21173   700461  2138957 | 2147483647   594630    101 |  0.000 % |
623.42/623.79	c |    594779 |   21173   700461  2138957 | 2147483647   594779    101 |  0.000 % |
623.81/624.13	c |    594940 |   21173   700461  2138957 | 2147483647   594940    101 |  0.000 % |
624.11/624.45	c |    595116 |   21173   700461  2138957 | 2147483647   595116    101 |  0.000 % |
624.42/624.78	c |    595309 |   21173   700461  2138957 | 2147483647   595309    101 |  0.000 % |
625.01/625.38	c |    595521 |   21173   700461  2138957 | 2147483647   595521    101 |  0.000 % |
625.62/625.96	c |    595754 |   21173   700461  2138957 | 2147483647   595754    101 |  0.000 % |
626.02/626.32	c |    596010 |   21173   700461  2138957 | 2147483647   596010    101 |  0.000 % |
626.62/626.99	c |    596291 |   21173   700461  2138957 | 2147483647   596291    101 |  0.000 % |
627.22/627.55	c |    596600 |   21173   700461  2138957 | 2147483647   596600    101 |  0.000 % |
627.72/628.06	c |    596939 |   21173   700461  2138957 | 2147483647   596939    101 |  0.000 % |
628.42/628.73	c |    597311 |   21173   700461  2138957 | 2147483647   597311    101 |  0.000 % |
629.22/629.51	c |    597724 |   21173   700461  2138957 | 2147483647   597724    101 |  0.000 % |
629.82/630.19	c |    598173 |   21173   700461  2138957 | 2147483647   598173    101 |  0.000 % |
630.92/631.24	c |    598668 |   21173   700461  2138957 | 2147483647   598668    101 |  0.000 % |
631.51/631.80	c |    599210 |   21173   700461  2138957 | 2147483647   599210    101 |  0.000 % |
632.31/632.67	c |    599806 |   21173   700461  2138957 | 2147483647   599806    101 |  0.000 % |
633.41/633.76	c |    600462 |   21173   700461  2138957 | 2147483647   600462    101 |  0.000 % |
634.81/635.11	c |    601183 |   21173   700461  2138957 | 2147483647   601183    101 |  0.000 % |
635.91/636.20	c |    601975 |   21173   700461  2138957 | 2147483647   601975    101 |  0.000 % |
637.11/637.42	c |    602846 |   21173   700461  2138957 | 2147483647   602846    101 |  0.000 % |
638.31/638.65	c |    603804 |   21173   700461  2138957 | 2147483647   603804    101 |  0.000 % |
640.01/640.30	c |    604857 |   21173   700461  2138957 | 2147483647   604857    101 |  0.000 % |
641.81/642.17	c |    606017 |   21173   700461  2138957 | 2147483647   606017    101 |  0.000 % |
644.12/644.50	c |    607290 |   21173   700461  2138957 | 2147483647   607290    101 |  0.000 % |
646.31/646.62	c |    608690 |   21173   700461  2138957 | 2147483647   608690    101 |  0.000 % |
649.01/649.35	c |    610230 |   21173   700461  2138957 | 2147483647   610230    101 |  0.000 % |
652.21/652.54	c |    611924 |   21173   700461  2138957 | 2147483647   611924    101 |  0.000 % |
655.61/655.97	c |    613788 |   21173   700461  2138957 | 2147483647   613788    101 |  0.000 % |
660.21/660.52	c |    615837 |   21173   700461  2138957 | 2147483647   615837    101 |  0.000 % |
664.11/664.48	c |    618090 |   21173   700461  2138957 | 2147483647   618090    101 |  0.000 % |
669.61/669.94	c |    620568 |   21173   700461  2138957 | 2147483647   620568    101 |  0.000 % |
674.60/674.96	c |    623295 |   21173   700461  2138957 | 2147483647   623295    101 |  0.000 % |
680.20/680.52	c |    626292 |   21173   700461  2138957 | 2147483647   626292    100 |  0.000 % |
686.20/686.53	c |    629589 |   21173   700461  2138957 | 2147483647   629589    100 |  0.000 % |
691.40/691.71	c |    633214 |   21173   700461  2138957 | 2147483647   633214    100 |  0.000 % |
697.10/697.41	c |    637203 |   21173   700461  2138957 | 2147483647   637203    100 |  0.000 % |
703.89/704.20	c |    641589 |   21173   700461  2138957 | 2147483647   641589    100 |  0.000 % |
713.69/714.09	c |    646412 |   21173   700461  2138957 | 2147483647   646412    100 |  0.000 % |
723.40/723.79	c |    651719 |   21173   700461  2138957 | 2147483647   651719    100 |  0.000 % |
735.08/735.46	c |    657555 |   21173   700461  2138957 | 2147483647   657555    100 |  0.000 % |
735.49/735.80	c |    657656 |   21173   700461  2138957 | 2147483647   657656    100 |  0.000 % |
735.69/736.05	c |    657769 |   21173   700461  2138957 | 2147483647   657769    100 |  0.000 % |
735.88/736.29	c |    657892 |   21173   700461  2138957 | 2147483647   657892    100 |  0.000 % |
736.18/736.54	c |    658027 |   21173   700461  2138957 | 2147483647   658027    100 |  0.000 % |
736.69/737.05	c |    658174 |   21173   700461  2138957 | 2147483647   658174    100 |  0.000 % |
736.99/737.33	c |    658336 |   21173   700461  2138957 | 2147483647   658336    100 |  0.000 % |
737.29/737.63	c |    658514 |   21173   700461  2138957 | 2147483647   658514    100 |  0.000 % |
738.09/738.43	c |    658707 |   21173   700461  2138957 | 2147483647   658707    100 |  0.000 % |
738.49/738.82	c |    658920 |   21173   700461  2138957 | 2147483647   658920    100 |  0.000 % |
738.99/739.38	c |    659155 |   21173   700461  2138957 | 2147483647   659155    100 |  0.000 % |
739.49/739.84	c |    659411 |   21173   700461  2138957 | 2147483647   659411    100 |  0.000 % |
739.99/740.32	c |    659693 |   21173   700461  2138957 | 2147483647   659693    100 |  0.000 % |
740.59/740.97	c |    660003 |   21173   700461  2138957 | 2147483647   660003    100 |  0.000 % |
741.69/742.02	c |    660342 |   21173   700461  2138957 | 2147483647   660342    100 |  0.000 % |
742.39/742.78	c |    660715 |   21173   700461  2138957 | 2147483647   660715    100 |  0.000 % |
743.19/743.58	c |    661126 |   21173   700461  2138957 | 2147483647   661126    100 |  0.000 % |
743.99/744.36	c |    661575 |   21173   700461  2138957 | 2147483647   661575    100 |  0.000 % |
745.19/745.55	c |    662068 |   21173   700461  2138957 | 2147483647   662068    100 |  0.000 % |
746.49/746.81	c |    662610 |   21173   700461  2138957 | 2147483647   662610    100 |  0.000 % |
747.78/748.15	c |    663206 |   21173   700461  2138957 | 2147483647   663206    100 |  0.000 % |
749.18/749.57	c |    663861 |   21173   700461  2138957 | 2147483647   663861    100 |  0.000 % |
750.28/750.63	c |    664582 |   21173   700461  2138957 | 2147483647   664582    100 |  0.000 % |
751.68/752.08	c |    665374 |   21173   700461  2138957 | 2147483647   665374    100 |  0.000 % |
753.68/754.05	c |    666245 |   21173   700461  2138957 | 2147483647   666245    100 |  0.000 % |
755.29/755.61	c |    667203 |   21173   700461  2138957 | 2147483647   667203    100 |  0.000 % |
757.78/758.18	c |    668258 |   21173   700461  2138957 | 2147483647   668258    100 |  0.000 % |
760.18/760.59	c |    669417 |   21173   700461  2138957 | 2147483647   669417    100 |  0.000 % |
762.38/762.77	c |    670691 |   21173   700461  2138957 | 2147483647   670691    100 |  0.000 % |
765.47/765.83	c |    672091 |   21173   700461  2138957 | 2147483647   672091    100 |  0.000 % |
768.27/768.67	c |    673636 |   21173   700461  2138957 | 2147483647   673636    100 |  0.000 % |
771.18/771.53	c |    675330 |   21173   700461  2138957 | 2147483647   675330    100 |  0.000 % |
774.58/774.93	c |    677195 |   21173   700461  2138957 | 2147483647   677195    100 |  0.000 % |
778.88/779.26	c |    679247 |   21173   700461  2138957 | 2147483647   679247    100 |  0.000 % |
783.27/783.62	c |    681501 |   21173   700461  2138957 | 2147483647   681501    100 |  0.000 % |
787.97/788.39	c |    683979 |   21173   700461  2138957 | 2147483647   683979    100 |  0.000 % |
792.77/793.15	c |    686704 |   21173   700461  2138957 | 2147483647   686704    100 |  0.000 % |
796.87/797.23	c |    689704 |   21173   700461  2138957 | 2147483647   689704     99 |  0.000 % |
801.67/802.03	c |    693000 |   21173   700461  2138957 | 2147483647   693000     99 |  0.000 % |
809.27/809.61	c |    696625 |   21173   700461  2138957 | 2147483647   696625     99 |  0.000 % |
815.87/816.28	c |    700612 |   21173   700461  2138957 | 2147483647   700612     99 |  0.000 % |
820.66/821.04	c |    704998 |   21173   700461  2138957 | 2147483647   704998     99 |  0.000 % |
825.17/825.50	c |    709822 |   21173   700461  2138957 | 2147483647   709822     99 |  0.000 % |
830.66/831.03	c |    715130 |   21173   700461  2138957 | 2147483647   715130     98 |  0.000 % |
835.75/836.15	c |    720966 |   21173   700461  2138957 | 2147483647   720966     98 |  0.000 % |
843.96/844.38	c |    727384 |   21173   700461  2138957 | 2147483647   727384     98 |  0.000 % |
844.16/844.55	c |    727484 |   21173   700461  2138957 | 2147483647   727484     98 |  0.000 % |
844.36/844.71	c |    727594 |   21173   700461  2138957 | 2147483647   727594     98 |  0.000 % |
844.56/844.93	c |    727715 |   21173   700461  2138957 | 2147483647   727715     98 |  0.000 % |
844.76/845.15	c |    727848 |   21173   700461  2138957 | 2147483647   727848     98 |  0.000 % |
844.96/845.35	c |    727995 |   21173   700461  2138957 | 2147483647   727995     98 |  0.000 % |
845.26/845.68	c |    728155 |   21173   700461  2138957 | 2147483647   728155     98 |  0.000 % |
845.56/845.93	c |    728332 |   21173   700461  2138957 | 2147483647   728332     98 |  0.000 % |
845.86/846.21	c |    728525 |   21173   700461  2138957 | 2147483647   728525     98 |  0.000 % |
846.15/846.57	c |    728738 |   21173   700461  2138957 | 2147483647   728738     98 |  0.000 % |
846.56/846.92	c |    728972 |   21173   700461  2138957 | 2147483647   728972     98 |  0.000 % |
846.85/847.28	c |    729229 |   21173   700461  2138957 | 2147483647   729229     98 |  0.000 % |
847.25/847.64	c |    729511 |   21173   700461  2138957 | 2147483647   729511     98 |  0.000 % |
847.85/848.21	c |    729822 |   21173   700461  2138957 | 2147483647   729822     98 |  0.000 % |
848.35/848.73	c |    730164 |   21173   700461  2138957 | 2147483647   730164     98 |  0.000 % |
848.85/849.22	c |    730536 |   21173   700461  2138957 | 2147483647   730536     98 |  0.000 % |
849.45/849.83	c |    730947 |   21173   700461  2138957 | 2147483647   730947     98 |  0.000 % |
850.15/850.56	c |    731396 |   21173   700461  2138957 | 2147483647   731396     98 |  0.000 % |
851.05/851.43	c |    731890 |   21173   700461  2138957 | 2147483647   731890     98 |  0.000 % |
851.85/852.29	c |    732432 |   21173   700461  2138957 | 2147483647   732432     98 |  0.000 % |
852.75/853.18	c |    733028 |   21173   700461  2138957 | 2147483647   733028     98 |  0.000 % |
853.85/854.22	c |    733684 |   21173   700461  2138957 | 2147483647   733684     98 |  0.000 % |
854.85/855.27	c |    734404 |   21173   700461  2138957 | 2147483647   734404     97 |  0.000 % |
856.15/856.55	c |    735199 |   21173   700461  2138957 | 2147483647   735199     97 |  0.000 % |
857.35/857.77	c |    736070 |   21173   700461  2138957 | 2147483647   736070     97 |  0.000 % |
859.44/859.81	c |    737030 |   21172   698552  2134912 | 2147483647   736545     97 |  0.005 % |
861.05/861.47	c |    738088 |   21172   698552  2134912 | 2147483647   737603     97 |  0.005 % |
862.85/863.22	c |    739246 |   21061   698552  2134912 | 2147483647   738760     97 |  1.785 % |
864.55/864.93	c |    740519 |   21060   698552  2134912 | 2147483647   740032     97 |  1.791 % |
866.55/866.96	c ===============================================================================
866.55/866.96	c restarts              : 1065
866.55/866.96	c conflicts             : 741758         (860 /sec)
866.55/866.96	c decisions             : 3911851        (1.21 % random) (4535 /sec)
866.55/866.96	c propagations          : 490586675      (568748 /sec)
866.55/866.96	c conflict literals     : 72088908       (53.22 % deleted)
866.55/866.97	c Memory used           : 343.09 MB
866.55/866.97	c CPU time              : 862.573 s
866.55/866.97	c 
866.55/866.97	s UNSATISFIABLE
866.65/867.02	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) R 26041 26043 25591 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134022643 0 0 4100 65536 0 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0

[startup+0.0268139 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102823 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301844 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702887 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50198 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26048
/proc/meminfo: memFree=1629772/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
[pid=26047] ppid=26043 vsize=67388 CPUtime=1.48
/proc/26047/stat : 26047 (SatELite_releas) R 26043 26043 25591 0 -1 4194304 15551 0 0 0 140 8 0 0 25 0 1 0 310908963 69005312 14247 1992294400 134512640 135223648 4294956128 18446744073709551615 134601968 0 0 4096 3 0 0 0 17 1 0 0
/proc/26047/statm: 16847 14247 76 173 0 16672 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72744

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26048
/proc/meminfo: memFree=1629004/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
[pid=26047] ppid=26043 vsize=58404 CPUtime=3.08
/proc/26047/stat : 26047 (SatELite_releas) R 26043 26043 25591 0 -1 4194304 16867 0 0 0 295 13 0 0 25 0 1 0 310908963 59805696 12934 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/26047/statm: 14601 12934 76 173 0 14426 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63760

[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1633356/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=36640 CPUtime=3.09
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 8613 0 0 0 304 5 0 0 25 0 1 0 310909282 37519360 8599 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 9160 8599 77 171 0 8987 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 41996

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1628236/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=41600 CPUtime=9.5
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 9876 0 0 0 943 7 0 0 25 0 1 0 310909282 42598400 9862 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 10400 9862 77 171 0 10227 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46956

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1617164/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=52544 CPUtime=22.28
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 12578 0 0 0 2218 10 0 0 25 0 1 0 310909282 53805056 12564 1992294400 134512640 135215339 4294956240 18446744073709551615 134538110 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 13136 12564 77 171 0 12963 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 57900

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1599116/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=70940 CPUtime=47.86
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 17170 0 0 0 4773 13 0 0 25 0 1 0 310909282 72642560 17156 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 17735 17156 77 171 0 17562 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 76296

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 26049
/proc/meminfo: memFree=1570252/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=99500 CPUtime=99.04
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 24260 0 0 0 9883 21 0 0 25 0 1 0 310909282 101888000 24246 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 24875 24246 77 171 0 24702 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 104856

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1537228/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=133072 CPUtime=159.01
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 32572 0 0 0 15872 29 0 0 25 0 1 0 310909282 136265728 32558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 33268 32558 77 171 0 33095 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 138428

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1507596/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=162160 CPUtime=218.97
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 39875 0 0 0 21861 36 0 0 25 0 1 0 310909282 166051840 39861 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 40540 39861 77 171 0 40367 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 167516

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1480524/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=189924 CPUtime=278.96
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 46688 0 0 0 27852 44 0 0 25 0 1 0 310909282 194482176 46674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 47481 46674 77 171 0 47308 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 195280

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1459148/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=210928 CPUtime=338.94
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 51940 0 0 0 33844 50 0 0 25 0 1 0 310909282 215990272 51926 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 52732 51926 77 171 0 52559 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 216284

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1433676/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=236452 CPUtime=398.92
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 58311 0 0 0 39835 57 0 0 25 0 1 0 310909282 242126848 58297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 59113 58297 77 171 0 58940 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 241808

[startup+462.302 s]

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


[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1398476/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=272328 CPUtime=518.88
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 67078 0 0 0 51820 68 0 0 25 0 1 0 310909282 278863872 67064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 68082 67064 77 171 0 67909 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 277684

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1385996/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=284560 CPUtime=578.85
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 70143 0 0 0 57815 70 0 0 25 0 1 0 310909282 291389440 70129 1992294400 134512640 135215339 4294956240 18446744073709551615 134532666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 71140 70129 77 171 0 70967 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 289916

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1368908/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=301648 CPUtime=638.83
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 74383 0 0 0 63809 74 0 0 25 0 1 0 310909282 308887552 74369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 75412 74369 77 171 0 75239 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 307004

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1355148/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=315476 CPUtime=698.82
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 77855 0 0 0 69805 77 0 0 25 0 1 0 310909282 323047424 77841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 78869 77841 77 171 0 78696 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 320832

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1343052/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=327296 CPUtime=758.8
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 80822 0 0 0 75799 81 0 0 25 0 1 0 310909282 335151104 80808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 81824 80808 77 171 0 81651 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 332652

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1330444/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=341452 CPUtime=818.79
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 83992 0 0 0 81794 85 0 0 25 0 1 0 310909282 349646848 83978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 85363 83978 77 171 0 85190 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 346808

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

[startup+844.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1323980/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=347584 CPUtime=841.18
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 85562 0 0 0 84032 86 0 0 25 0 1 0 310909282 355926016 85548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 86896 85548 77 171 0 86723 0
Current children cumulated CPU time (s) 844.36
Current children cumulated vsize (KiB) 352940

[startup+857.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1322188/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=349432 CPUtime=853.97
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86046 0 0 0 85311 86 0 0 25 0 1 0 310909282 357818368 86032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87358 86032 77 171 0 87185 0
Current children cumulated CPU time (s) 857.15
Current children cumulated vsize (KiB) 354788

[startup+863.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320908/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=350788 CPUtime=860.37
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86348 0 0 0 85950 87 0 0 25 0 1 0 310909282 359206912 86334 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87697 86334 77 171 0 87524 0
Current children cumulated CPU time (s) 863.55
Current children cumulated vsize (KiB) 356144

[startup+865.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320652/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351052 CPUtime=861.97
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86428 0 0 0 86110 87 0 0 25 0 1 0 310909282 359477248 86414 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87763 86414 77 171 0 87590 0
Current children cumulated CPU time (s) 865.15
Current children cumulated vsize (KiB) 356408

[startup+866.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320460/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351184 CPUtime=862.77
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86456 0 0 0 86190 87 0 0 25 0 1 0 310909282 359612416 86442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87796 86442 77 171 0 87623 0
Current children cumulated CPU time (s) 865.95
Current children cumulated vsize (KiB) 356540

[startup+866.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320268/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351316 CPUtime=863.17
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86474 0 0 0 86230 87 0 0 25 0 1 0 310909282 359747584 86460 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87829 86460 77 171 0 87656 0
Current children cumulated CPU time (s) 866.35
Current children cumulated vsize (KiB) 356672

[startup+866.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320268/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351316 CPUtime=863.37
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86482 0 0 0 86250 87 0 0 25 0 1 0 310909282 359747584 86468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87829 86468 77 171 0 87656 0
Current children cumulated CPU time (s) 866.55
Current children cumulated vsize (KiB) 356672

[startup+867.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320268/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=0 CPUtime=863.47
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194308 86489 0 0 0 86257 90 0 0 25 0 1 0 310909282 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 866.65
Current children cumulated vsize (KiB) 5356

Child status: 20
Real time (s): 867.086
CPU time (s): 866.7
CPU user time (s): 865.608
CPU system time (s): 1.09183
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 356672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 865.608
system time used= 1.09183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104098
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= 45
involuntary context switches= 3854

runsolver used 1.01085 second user time and 2.26965 second system time

The end

Launcher Data

Begin job on node35 at 2009-05-20 16:12:44
IDJOB=1834213
IDBENCH=71743
IDSOLVER=671
FILE ID=node35/1834213-1242828763
PBS_JOBID= 9322540
Free space on /tmp= 66044 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834213-1242828763/watcher-1834213-1242828763 -o /tmp/evaluation-result-1834213-1242828763/solver-1834213-1242828763 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834213-1242828763.cnf

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

MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED=87211076

node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1682364 kB
Buffers:         48276 kB
Cached:         272904 kB
SwapCached:       6988 kB
Active:         183984 kB
Inactive:       146248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682364 kB
SwapTotal:     4192956 kB
SwapFree:      4180356 kB
Dirty:           14572 kB
Writeback:           0 kB
Mapped:          14084 kB
Slab:            29352 kB
Committed_AS:  1091200 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66040 MiB
End job on node35 at 2009-05-20 16:27:11