Trace number 1821940

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 927.4 927.318

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 benchmark927.4
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.51/0.53	c ==============================================================================
0.51/0.53	c |           |     ORIGINAL     |              LEARNT              |          |
0.51/0.53	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.51/0.53	c ==============================================================================
0.51/0.53	c |         0 |  711049  2091629 |  213314       0        0     nan |  0.000 % |
2.71/2.77	c |         0 |  700461  2138957 |      --       0       --      -- |     --   | -10530/47459
2.71/2.77	c ==============================================================================
2.71/2.77	c Result  :   #vars: 21173   #clauses: 700461   #literals: 2138957
2.71/2.77	c CPU time:   2.69 s
2.71/2.77	c ==============================================================================
3.41/3.47	c This is MiniSat 2.0 beta
3.41/3.47	c WARNING: for repeatability, setting FPU to use double precision
3.41/3.47	c ============================[ Problem Statistics ]=============================
3.41/3.47	c |                                                                             |
3.41/3.47	c |  Number of variables:  21173                                                |
3.41/3.47	c |  Number of clauses:    700461                                               |
3.47/3.89	c |  Parsing time:         0.38         s                                       |
3.47/3.92	c ============================[ Search Statistics ]==============================
3.47/3.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.47/3.92	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.47/3.92	c ===============================================================================
3.47/3.92	c |         0 |   21173   700461  2138957 |   233487        0    nan |  0.000 % |
3.47/3.99	c |       103 |   21173   700461  2138957 |   233487      103     75 |  0.000 % |
3.47/4.13	c |       203 |   21173   700461  2138957 |   233487      203     58 |  0.001 % |
3.47/4.18	c |       305 |   21173   700461  2138957 |   233487      305     50 |  0.000 % |
3.47/4.24	c |       418 |   21173   700461  2138957 |   233487      418     50 |  0.000 % |
3.47/4.27	c |       519 |   21173   700461  2138957 |   233487      519     47 |  0.000 % |
4.31/4.38	c |       630 |   21173   700461  2138957 |   233487      630     54 |  0.000 % |
4.41/4.44	c |       751 |   21173   700461  2138957 |   233487      751     51 |  0.000 % |
4.51/4.51	c |       852 |   21173   700461  2138957 |   233487      852     49 |  0.000 % |
4.51/4.54	c |       962 |   21173   700461  2138957 |   233487      962     48 |  0.000 % |
4.61/4.65	c |      1086 |   21173   700461  2138957 |   233487     1086     46 |  0.000 % |
4.71/4.71	c |      1219 |   21173   700461  2138957 |   233487     1219     47 |  0.000 % |
4.71/4.76	c |      1319 |   21173   700461  2138957 |   233487     1319     46 |  0.000 % |
4.81/4.82	c |      1429 |   21173   700461  2138957 |   233487     1429     48 |  0.000 % |
4.81/4.89	c |      1550 |   21173   700461  2138957 |   233487     1550     50 |  0.000 % |
4.91/4.97	c |      1683 |   21173   700461  2138957 |   233487     1683     50 |  0.000 % |
5.01/5.07	c |      1835 |   21173   700461  2138957 |   233487     1835     61 |  0.000 % |
5.11/5.15	c |      1935 |   21173   700461  2138957 |   233487     1935     61 |  0.000 % |
5.21/5.24	c |      2045 |   21173   700461  2138957 |   233487     2045     63 |  0.000 % |
5.31/5.33	c |      2170 |   21173   700461  2138957 |   233487     2170     63 |  0.000 % |
5.31/5.39	c |      2303 |   21173   700461  2138957 |   233487     2303     65 |  0.000 % |
5.41/5.47	c |      2452 |   21173   700461  2138957 |   233487     2452     65 |  0.000 % |
5.51/5.53	c |      2616 |   21173   700461  2138957 |   233487     2616     68 |  0.000 % |
5.61/5.62	c |      2716 |   21173   700461  2138957 |   233487     2716     68 |  0.000 % |
5.61/5.69	c |      2828 |   21173   700461  2138957 |   233487     2828     69 |  0.000 % |
5.71/5.73	c |      2952 |   21173   700461  2138957 |   233487     2952     68 |  0.000 % |
5.81/5.83	c |      3085 |   21173   700461  2138957 |   233487     3085     67 |  0.000 % |
5.91/5.91	c |      3231 |   21173   700461  2138957 |   233487     3231     68 |  0.000 % |
5.91/5.99	c |      3391 |   21173   700461  2138957 |   233487     3391     66 |  0.000 % |
6.01/6.08	c |      3567 |   21173   700461  2138957 |   233487     3567     67 |  0.000 % |
6.11/6.14	c |      3667 |   21173   700461  2138957 |   233487     3667     66 |  0.000 % |
6.11/6.19	c |      3777 |   21173   700461  2138957 |   233487     3777     65 |  0.000 % |
6.21/6.24	c |      3905 |   21173   700461  2138957 |   233487     3905     65 |  0.000 % |
6.31/6.30	c |      4038 |   21173   700461  2138957 |   233487     4038     66 |  0.000 % |
6.31/6.39	c |      4186 |   21173   700461  2138957 |   233487     4186     67 |  0.000 % |
6.41/6.46	c |      4346 |   21173   700461  2138957 |   233487     4346     67 |  0.000 % |
6.51/6.54	c |      4522 |   21173   700461  2138957 |   233487     4522     69 |  0.000 % |
6.61/6.65	c |      4715 |   21173   700461  2138957 |   233487     4715     69 |  0.000 % |
6.61/6.70	c |      4815 |   21173   700461  2138957 |   233487     4815     69 |  0.000 % |
6.71/6.78	c |      4929 |   21173   700461  2138957 |   233487     4929     69 |  0.000 % |
6.81/6.86	c |      5051 |   21173   700461  2138957 |   233487     5051     69 |  0.000 % |
6.91/6.94	c |      5186 |   21173   700461  2138957 |   233487     5186     69 |  0.000 % |
7.01/7.00	c |      5336 |   21173   700461  2138957 |   233487     5336     69 |  0.000 % |
7.01/7.09	c |      5497 |   21173   700461  2138957 |   233487     5497     68 |  0.000 % |
7.11/7.19	c |      5675 |   21173   700461  2138957 |   233487     5675     67 |  0.000 % |
7.21/7.26	c |      5870 |   21173   700461  2138957 |   233487     5870     66 |  0.000 % |
7.31/7.32	c |      6083 |   21173   700461  2138957 |   233487     6083     64 |  0.000 % |
7.31/7.38	c |      6185 |   21173   700461  2138957 |   233487     6185     64 |  0.000 % |
7.41/7.43	c |      6296 |   21173   700461  2138957 |   233487     6296     63 |  0.000 % |
7.41/7.49	c |      6419 |   21173   700461  2138957 |   233487     6419     63 |  0.000 % |
7.51/7.55	c |      6552 |   21173   700461  2138957 |   233487     6552     63 |  0.000 % |
7.61/7.66	c |      6698 |   21173   700461  2138957 |   233487     6698     64 |  0.000 % |
7.71/7.72	c |      6859 |   21173   700461  2138957 |   233487     6859     64 |  0.000 % |
7.81/7.82	c |      7037 |   21173   700461  2138957 |   233487     7037     64 |  0.000 % |
7.91/7.98	c |      7232 |   21173   700461  2138957 |   233487     7232     64 |  0.000 % |
8.01/8.10	c |      7445 |   21173   700461  2138957 |   233487     7445     65 |  0.000 % |
8.21/8.24	c |      7680 |   21173   700461  2138957 |   233487     7680     66 |  0.000 % |
8.31/8.31	c |      7780 |   21173   700461  2138957 |   233487     7780     66 |  0.000 % |
8.31/8.39	c |      7890 |   21173   700461  2138957 |   233487     7890     66 |  0.000 % |
8.41/8.47	c |      8011 |   21173   700461  2138957 |   233487     8011     66 |  0.000 % |
8.51/8.56	c |      8145 |   21173   700461  2138957 |   233487     8145     66 |  0.000 % |
8.61/8.63	c |      8296 |   21173   700461  2138957 |   233487     8296     66 |  0.000 % |
8.81/8.81	c |      8456 |   21173   700461  2138957 |   233487     8456     66 |  0.000 % |
8.81/8.87	c |      8633 |   21173   700461  2138957 |   233487     8633     66 |  0.000 % |
8.91/8.97	c |      8826 |   21173   700461  2138957 |   233487     8826     67 |  0.000 % |
9.11/9.13	c |      9038 |   21173   700461  2138957 |   233487     9038     67 |  0.000 % |
9.21/9.27	c |      9272 |   21173   700461  2138957 |   233487     9272     68 |  0.000 % |
9.31/9.38	c |      9530 |   21173   700461  2138957 |   233487     9530     70 |  0.000 % |
9.41/9.47	c |      9630 |   21173   700461  2138957 |   233487     9630     72 |  0.000 % |
9.51/9.54	c |      9741 |   21173   700461  2138957 |   233487     9741     72 |  0.000 % |
9.61/9.61	c |      9864 |   21173   700461  2138957 |   233487     9864     72 |  0.000 % |
9.61/9.67	c |      9997 |   21173   700461  2138957 |   233487     9997     72 |  0.000 % |
9.71/9.77	c |     10145 |   21173   700461  2138957 | 2147483647    10145     72 |  0.000 % |
9.81/9.85	c |     10307 |   21173   700461  2138957 | 2147483647    10307     72 |  0.000 % |
9.91/9.92	c |     10484 |   21173   700461  2138957 | 2147483647    10484     72 |  0.000 % |
10.01/10.03	c |     10677 |   21173   700461  2138957 | 2147483647    10677     72 |  0.000 % |
10.11/10.14	c |     10890 |   21173   700461  2138957 | 2147483647    10890     73 |  0.000 % |
10.21/10.24	c |     11123 |   21173   700461  2138957 | 2147483647    11123     72 |  0.000 % |
10.31/10.38	c |     11383 |   21173   700461  2138957 | 2147483647    11383     71 |  0.000 % |
10.41/10.49	c |     11664 |   21173   700461  2138957 | 2147483647    11664     72 |  0.000 % |
10.51/10.52	c |     11767 |   21173   700461  2138957 | 2147483647    11767     71 |  0.000 % |
10.51/10.59	c |     11877 |   21173   700461  2138957 | 2147483647    11877     71 |  0.000 % |
10.61/10.66	c |     11999 |   21173   700461  2138957 | 2147483647    11999     71 |  0.000 % |
10.71/10.77	c |     12135 |   21173   700461  2138957 | 2147483647    12135     71 |  0.000 % |
10.81/10.84	c |     12282 |   21173   700461  2138957 | 2147483647    12282     71 |  0.000 % |
10.91/10.91	c |     12444 |   21173   700461  2138957 | 2147483647    12444     71 |  0.000 % |
10.91/10.99	c |     12624 |   21173   700461  2138957 | 2147483647    12624     71 |  0.000 % |
11.01/11.10	c |     12820 |   21173   700461  2138957 | 2147483647    12820     72 |  0.000 % |
11.21/11.20	c |     13032 |   21173   700461  2138957 | 2147483647    13032     72 |  0.000 % |
11.31/11.32	c |     13265 |   21173   700461  2138957 | 2147483647    13265     74 |  0.000 % |
11.41/11.47	c |     13521 |   21173   700461  2138957 | 2147483647    13521     74 |  0.000 % |
11.61/11.61	c |     13802 |   21173   700461  2138957 | 2147483647    13802     73 |  0.000 % |
11.71/11.79	c |     14111 |   21173   700461  2138957 | 2147483647    14111     74 |  0.000 % |
11.81/11.88	c |     14213 |   21173   700461  2138957 | 2147483647    14213     74 |  0.000 % |
11.91/11.97	c |     14323 |   21173   700461  2138957 | 2147483647    14323     74 |  0.000 % |
12.01/12.09	c |     14444 |   21173   700461  2138957 | 2147483647    14444     74 |  0.000 % |
12.11/12.17	c |     14579 |   21173   700461  2138957 | 2147483647    14579     74 |  0.000 % |
12.21/12.28	c |     14725 |   21173   700461  2138957 | 2147483647    14725     74 |  0.000 % |
12.31/12.37	c |     14886 |   21173   700461  2138957 | 2147483647    14886     74 |  0.000 % |
12.41/12.47	c |     15063 |   21173   700461  2138957 | 2147483647    15063     74 |  0.000 % |
12.51/12.59	c |     15256 |   21173   700461  2138957 | 2147483647    15256     75 |  0.000 % |
12.61/12.70	c |     15470 |   21173   700461  2138957 | 2147483647    15470     75 |  0.000 % |
12.81/12.85	c |     15703 |   21173   700461  2138957 | 2147483647    15703     76 |  0.000 % |
12.91/12.99	c |     15959 |   21173   700461  2138957 | 2147483647    15959     76 |  0.000 % |
13.11/13.13	c |     16243 |   21173   700461  2138957 | 2147483647    16243     76 |  0.000 % |
13.31/13.32	c |     16552 |   21173   700461  2138957 | 2147483647    16552     76 |  0.000 % |
13.51/13.58	c |     16891 |   21173   700461  2138957 | 2147483647    16891     77 |  0.000 % |
13.61/13.61	c |     16991 |   21173   700461  2138957 | 2147483647    16991     77 |  0.000 % |
13.61/13.70	c |     17102 |   21173   700461  2138957 | 2147483647    17102     77 |  0.000 % |
13.71/13.78	c |     17223 |   21173   700461  2138957 | 2147483647    17223     78 |  0.000 % |
13.81/13.85	c |     17357 |   21173   700461  2138957 | 2147483647    17357     78 |  0.000 % |
13.91/13.93	c |     17503 |   21173   700461  2138957 | 2147483647    17503     77 |  0.000 % |
14.01/14.01	c |     17664 |   21173   700461  2138957 | 2147483647    17664     77 |  0.000 % |
14.11/14.11	c |     17841 |   21173   700461  2138957 | 2147483647    17841     77 |  0.000 % |
14.11/14.18	c |     18036 |   21173   700461  2138957 | 2147483647    18036     77 |  0.000 % |
14.31/14.31	c |     18248 |   21173   700461  2138957 | 2147483647    18248     77 |  0.000 % |
14.31/14.39	c |     18482 |   21173   700461  2138957 | 2147483647    18482     77 |  0.000 % |
14.51/14.54	c |     18740 |   21173   700461  2138957 | 2147483647    18740     78 |  0.000 % |
14.71/14.76	c |     19021 |   21173   700461  2138957 | 2147483647    19021     78 |  0.000 % |
14.91/14.94	c |     19330 |   21173   700461  2138957 | 2147483647    19330     78 |  0.000 % |
15.01/15.11	c |     19672 |   21173   700461  2138957 | 2147483647    19672     79 |  0.000 % |
15.22/15.25	c |     20047 |   21173   700461  2138957 | 2147483647    20047     79 |  0.000 % |
15.32/15.32	c |     20148 |   21173   700461  2138957 | 2147483647    20148     79 |  0.000 % |
15.32/15.39	c |     20260 |   21173   700461  2138957 | 2147483647    20260     79 |  0.000 % |
15.42/15.44	c |     20381 |   21173   700461  2138957 | 2147483647    20381     79 |  0.000 % |
15.42/15.49	c |     20517 |   21173   700461  2138957 | 2147483647    20517     79 |  0.000 % |
15.52/15.57	c |     20664 |   21173   700461  2138957 | 2147483647    20664     80 |  0.000 % |
15.62/15.66	c |     20825 |   21173   700461  2138957 | 2147483647    20825     79 |  0.000 % |
15.72/15.76	c |     21001 |   21173   700461  2138957 | 2147483647    21001     79 |  0.000 % |
15.82/15.86	c |     21194 |   21173   700461  2138957 | 2147483647    21194     79 |  0.000 % |
15.92/15.94	c |     21406 |   21173   700461  2138957 | 2147483647    21406     79 |  0.000 % |
16.02/16.01	c |     21639 |   21173   700461  2138957 | 2147483647    21639     79 |  0.000 % |
16.12/16.14	c |     21898 |   21173   700461  2138957 | 2147483647    21898     79 |  0.000 % |
16.22/16.25	c |     22180 |   21173   700461  2138957 | 2147483647    22180     79 |  0.000 % |
16.42/16.46	c |     22489 |   21173   700461  2138957 | 2147483647    22489     79 |  0.000 % |
16.62/16.62	c |     22829 |   21173   700461  2138957 | 2147483647    22829     80 |  0.000 % |
16.82/16.87	c |     23201 |   21173   700461  2138957 | 2147483647    23201     80 |  0.000 % |
17.02/17.09	c |     23611 |   21173   700461  2138957 | 2147483647    23611     81 |  0.000 % |
17.12/17.14	c |     23713 |   21173   700461  2138957 | 2147483647    23713     82 |  0.000 % |
17.22/17.21	c |     23825 |   21173   700461  2138957 | 2147483647    23825     82 |  0.000 % |
17.22/17.29	c |     23947 |   21173   700461  2138957 | 2147483647    23947     82 |  0.000 % |
17.32/17.36	c |     24080 |   21173   700461  2138957 | 2147483647    24080     83 |  0.000 % |
17.42/17.49	c |     24228 |   21173   700461  2138957 | 2147483647    24228     83 |  0.000 % |
17.62/17.65	c |     24388 |   21173   700461  2138957 | 2147483647    24388     83 |  0.000 % |
17.72/17.74	c |     24564 |   21173   700461  2138957 | 2147483647    24564     82 |  0.000 % |
17.82/17.84	c |     24758 |   21173   700461  2138957 | 2147483647    24758     83 |  0.000 % |
17.92/17.92	c |     24972 |   21173   700461  2138957 | 2147483647    24972     83 |  0.000 % |
18.02/18.05	c |     25206 |   21173   700461  2138957 | 2147483647    25206     83 |  0.000 % |
18.12/18.20	c |     25462 |   21173   700461  2138957 | 2147483647    25462     83 |  0.000 % |
18.32/18.39	c |     25743 |   21173   700461  2138957 | 2147483647    25743     83 |  0.000 % |
18.52/18.59	c |     26052 |   21173   700461  2138957 | 2147483647    26052     83 |  0.000 % |
18.82/18.87	c |     26393 |   21173   700461  2138957 | 2147483647    26393     83 |  0.000 % |
19.02/19.08	c |     26765 |   21173   700461  2138957 | 2147483647    26765     83 |  0.000 % |
19.22/19.21	c |     27176 |   21173   700461  2138957 | 2147483647    27176     84 |  0.000 % |
19.52/19.57	c |     27627 |   21173   700461  2138957 | 2147483647    27627     83 |  0.000 % |
19.62/19.61	c |     27727 |   21173   700461  2138957 | 2147483647    27727     83 |  0.000 % |
19.62/19.65	c |     27838 |   21173   700461  2138957 | 2147483647    27838     83 |  0.000 % |
19.72/19.77	c |     27962 |   21173   700461  2138957 | 2147483647    27962     83 |  0.000 % |
19.82/19.88	c |     28097 |   21173   700461  2138957 | 2147483647    28097     83 |  0.000 % |
19.92/19.98	c |     28247 |   21173   700461  2138957 | 2147483647    28247     83 |  0.000 % |
20.02/20.07	c |     28407 |   21173   700461  2138957 | 2147483647    28407     83 |  0.000 % |
20.12/20.15	c |     28583 |   21173   700461  2138957 | 2147483647    28583     83 |  0.000 % |
20.22/20.25	c |     28776 |   21173   700461  2138957 | 2147483647    28776     84 |  0.000 % |
20.32/20.37	c |     28989 |   21173   700461  2138957 | 2147483647    28989     84 |  0.000 % |
20.52/20.53	c |     29224 |   21173   700461  2138957 | 2147483647    29224     84 |  0.000 % |
20.62/20.65	c |     29480 |   21173   700461  2138957 | 2147483647    29480     84 |  0.000 % |
20.72/20.81	c |     29761 |   21173   700461  2138957 | 2147483647    29761     84 |  0.000 % |
20.92/20.96	c |     30070 |   21173   700461  2138957 | 2147483647    30070     84 |  0.000 % |
21.12/21.15	c |     30410 |   21173   700461  2138957 | 2147483647    30410     84 |  0.000 % |
21.32/21.37	c |     30785 |   21173   700461  2138957 | 2147483647    30785     84 |  0.000 % |
21.52/21.54	c |     31194 |   21173   700461  2138957 | 2147483647    31194     84 |  0.000 % |
21.82/21.85	c |     31643 |   21173   700461  2138957 | 2147483647    31643     86 |  0.000 % |
22.12/22.18	c |     32136 |   21173   700461  2138957 | 2147483647    32136     86 |  0.000 % |
22.22/22.27	c |     32236 |   21173   700461  2138957 | 2147483647    32236     86 |  0.000 % |
22.32/22.39	c |     32347 |   21173   700461  2138957 | 2147483647    32347     86 |  0.000 % |
22.42/22.47	c |     32468 |   21173   700461  2138957 | 2147483647    32468     86 |  0.000 % |
22.52/22.55	c |     32602 |   21173   700461  2138957 | 2147483647    32602     86 |  0.000 % |
22.52/22.60	c |     32748 |   21173   700461  2138957 | 2147483647    32748     86 |  0.000 % |
22.72/22.72	c |     32911 |   21173   700461  2138957 | 2147483647    32911     86 |  0.000 % |
22.72/22.80	c |     33089 |   21173   700461  2138957 | 2147483647    33089     86 |  0.000 % |
22.92/22.91	c |     33283 |   21173   700461  2138957 | 2147483647    33283     86 |  0.000 % |
23.02/23.01	c |     33496 |   21173   700461  2138957 | 2147483647    33496     86 |  0.000 % |
23.12/23.13	c |     33729 |   21173   700461  2138957 | 2147483647    33729     86 |  0.000 % |
23.22/23.26	c |     33985 |   21173   700461  2138957 | 2147483647    33985     86 |  0.000 % |
23.32/23.36	c |     34266 |   21173   700461  2138957 | 2147483647    34266     86 |  0.000 % |
23.52/23.53	c |     34575 |   21173   700461  2138957 | 2147483647    34575     86 |  0.000 % |
23.62/23.69	c |     34914 |   21173   700461  2138957 | 2147483647    34914     87 |  0.000 % |
23.82/23.85	c |     35286 |   21173   700461  2138957 | 2147483647    35286     86 |  0.000 % |
24.02/24.03	c |     35695 |   21173   700461  2138957 | 2147483647    35695     87 |  0.000 % |
24.22/24.30	c |     36144 |   21173   700461  2138957 | 2147483647    36144     87 |  0.000 % |
24.62/24.65	c |     36640 |   21173   700461  2138957 | 2147483647    36640     87 |  0.000 % |
25.02/25.02	c |     37182 |   21173   700461  2138957 | 2147483647    37182     88 |  0.000 % |
25.02/25.09	c |     37286 |   21173   700461  2138957 | 2147483647    37286     87 |  0.000 % |
25.12/25.17	c |     37399 |   21173   700461  2138957 | 2147483647    37399     87 |  0.000 % |
25.22/25.23	c |     37520 |   21173   700461  2138957 | 2147483647    37520     87 |  0.000 % |
25.32/25.35	c |     37653 |   21173   700461  2138957 | 2147483647    37653     88 |  0.000 % |
25.42/25.45	c |     37799 |   21173   700461  2138957 | 2147483647    37799     88 |  0.000 % |
25.52/25.55	c |     37959 |   21173   700461  2138957 | 2147483647    37959     88 |  0.000 % |
25.62/25.69	c |     38135 |   21173   700461  2138957 | 2147483647    38135     87 |  0.000 % |
25.72/25.80	c |     38328 |   21173   700461  2138957 | 2147483647    38328     88 |  0.000 % |
25.82/25.90	c |     38541 |   21173   700461  2138957 | 2147483647    38541     88 |  0.000 % |
26.02/26.08	c |     38774 |   21173   700461  2138957 | 2147483647    38774     88 |  0.000 % |
26.22/26.21	c |     39033 |   21173   700461  2138957 | 2147483647    39033     88 |  0.000 % |
26.32/26.38	c |     39314 |   21173   700461  2138957 | 2147483647    39314     88 |  0.000 % |
26.43/26.50	c |     39623 |   21173   700461  2138957 | 2147483647    39623     88 |  0.000 % |
26.62/26.69	c |     39962 |   21173   700461  2138957 | 2147483647    39962     87 |  0.000 % |
26.82/26.88	c |     40334 |   21173   700461  2138957 | 2147483647    40334     88 |  0.000 % |
27.12/27.15	c |     40743 |   21173   700461  2138957 | 2147483647    40743     88 |  0.000 % |
27.42/27.45	c |     41193 |   21173   700461  2138957 | 2147483647    41193     88 |  0.000 % |
27.72/27.80	c |     41686 |   21173   700461  2138957 | 2147483647    41686     88 |  0.000 % |
28.12/28.19	c |     42230 |   21173   700461  2138957 | 2147483647    42230     88 |  0.000 % |
28.52/28.54	c |     42826 |   21173   700461  2138957 | 2147483647    42826     88 |  0.000 % |
28.52/28.60	c |     42928 |   21173   700461  2138957 | 2147483647    42928     88 |  0.000 % |
28.63/28.69	c |     43038 |   21173   700461  2138957 | 2147483647    43038     88 |  0.000 % |
28.72/28.79	c |     43160 |   21173   700461  2138957 | 2147483647    43160     88 |  0.000 % |
28.82/28.90	c |     43294 |   21173   700461  2138957 | 2147483647    43294     88 |  0.000 % |
29.02/29.02	c |     43440 |   21173   700461  2138957 | 2147483647    43440     88 |  0.000 % |
29.02/29.08	c |     43605 |   21173   700461  2138957 | 2147483647    43605     88 |  0.000 % |
29.22/29.23	c |     43781 |   21173   700461  2138957 | 2147483647    43781     88 |  0.000 % |
29.32/29.37	c |     43975 |   21173   700461  2138957 | 2147483647    43975     88 |  0.000 % |
29.52/29.58	c |     44188 |   21173   700461  2138957 | 2147483647    44188     88 |  0.000 % |
29.62/29.69	c |     44422 |   21173   700461  2138957 | 2147483647    44422     88 |  0.000 % |
29.82/29.90	c |     44678 |   21173   700461  2138957 | 2147483647    44678     89 |  0.000 % |
30.02/30.07	c |     44961 |   21173   700461  2138957 | 2147483647    44961     89 |  0.000 % |
30.22/30.30	c |     45274 |   21173   700461  2138957 | 2147483647    45274     89 |  0.000 % |
30.52/30.59	c |     45613 |   21173   700461  2138957 | 2147483647    45613     89 |  0.000 % |
30.72/30.77	c |     45987 |   21173   700461  2138957 | 2147483647    45987     89 |  0.000 % |
31.02/31.03	c |     46396 |   21173   700461  2138957 | 2147483647    46396     88 |  0.000 % |
31.22/31.29	c |     46847 |   21173   700461  2138957 | 2147483647    46847     89 |  0.000 % |
31.52/31.60	c |     47340 |   21173   700461  2138957 | 2147483647    47340     89 |  0.000 % |
31.93/31.96	c |     47882 |   21173   700461  2138957 | 2147483647    47882     89 |  0.000 % |
32.42/32.46	c |     48479 |   21173   700461  2138957 | 2147483647    48479     89 |  0.000 % |
32.92/32.93	c |     49135 |   21173   700461  2138957 | 2147483647    49135     89 |  0.000 % |
32.92/32.99	c |     49235 |   21173   700461  2138957 | 2147483647    49235     89 |  0.000 % |
33.03/33.09	c |     49347 |   21173   700461  2138957 | 2147483647    49347     89 |  0.000 % |
33.12/33.19	c |     49469 |   21173   700461  2138957 | 2147483647    49469     89 |  0.000 % |
33.22/33.30	c |     49602 |   21173   700461  2138957 | 2147483647    49602     89 |  0.000 % |
33.32/33.38	c |     49748 |   21173   700461  2138957 | 2147483647    49748     89 |  0.000 % |
33.42/33.50	c |     49909 |   21173   700461  2138957 | 2147483647    49909     88 |  0.000 % |
33.62/33.63	c |     50085 |   21173   700461  2138957 | 2147483647    50085     88 |  0.000 % |
33.72/33.77	c |     50279 |   21173   700461  2138957 | 2147483647    50279     88 |  0.000 % |
33.82/33.85	c |     50491 |   21173   700461  2138957 | 2147483647    50491     88 |  0.000 % |
33.92/33.97	c |     50724 |   21173   700461  2138957 | 2147483647    50724     88 |  0.000 % |
34.13/34.13	c |     50981 |   21173   700461  2138957 | 2147483647    50981     88 |  0.000 % |
34.32/34.37	c |     51262 |   21173   700461  2138957 | 2147483647    51262     89 |  0.000 % |
34.52/34.61	c |     51571 |   21173   700461  2138957 | 2147483647    51571     88 |  0.000 % |
34.82/34.86	c |     51910 |   21173   700461  2138957 | 2147483647    51910     89 |  0.000 % |
35.02/35.09	c |     52282 |   21173   700461  2138957 | 2147483647    52282     89 |  0.000 % |
35.32/35.38	c |     52691 |   21173   700461  2138957 | 2147483647    52691     89 |  0.000 % |
35.72/35.81	c |     53142 |   21173   700461  2138957 | 2147483647    53142     89 |  0.000 % |
36.02/36.10	c |     53636 |   21173   700461  2138957 | 2147483647    53636     89 |  0.000 % |
36.42/36.50	c |     54180 |   21173   700461  2138957 | 2147483647    54180     90 |  0.000 % |
36.82/36.88	c |     54776 |   21173   700461  2138957 | 2147483647    54776     90 |  0.000 % |
37.22/37.28	c |     55433 |   21173   700461  2138957 | 2147483647    55433     90 |  0.000 % |
37.72/37.81	c |     56153 |   21173   700461  2138957 | 2147483647    56153     91 |  0.000 % |
37.82/37.90	c |     56253 |   21173   700461  2138957 | 2147483647    56253     91 |  0.000 % |
38.02/38.03	c |     56363 |   21173   700461  2138957 | 2147483647    56363     91 |  0.000 % |
38.12/38.13	c |     56484 |   21173   700461  2138957 | 2147483647    56484     91 |  0.000 % |
38.22/38.25	c |     56618 |   21173   700461  2138957 | 2147483647    56618     91 |  0.000 % |
38.32/38.38	c |     56764 |   21173   700461  2138957 | 2147483647    56764     91 |  0.000 % |
38.42/38.47	c |     56924 |   21173   700461  2138957 | 2147483647    56924     91 |  0.000 % |
38.53/38.61	c |     57104 |   21173   700461  2138957 | 2147483647    57104     91 |  0.000 % |
38.72/38.73	c |     57297 |   21173   700461  2138957 | 2147483647    57297     91 |  0.000 % |
38.82/38.86	c |     57514 |   21173   700461  2138957 | 2147483647    57514     91 |  0.000 % |
38.92/38.98	c |     57748 |   21173   700461  2138957 | 2147483647    57748     91 |  0.000 % |
39.12/39.17	c |     58006 |   21173   700461  2138957 | 2147483647    58006     91 |  0.000 % |
39.32/39.39	c |     58289 |   21173   700461  2138957 | 2147483647    58289     91 |  0.000 % |
39.52/39.60	c |     58599 |   21173   700461  2138957 | 2147483647    58599     91 |  0.000 % |
39.82/39.86	c |     58938 |   21173   700461  2138957 | 2147483647    58938     91 |  0.000 % |
40.12/40.11	c |     59312 |   21173   700461  2138957 | 2147483647    59312     91 |  0.000 % |
40.22/40.29	c |     59726 |   21173   700461  2138957 | 2147483647    59726     92 |  0.000 % |
40.42/40.46	c |     60175 |   21173   700461  2138957 | 2147483647    60175     92 |  0.000 % |
40.62/40.69	c |     60668 |   21173   700461  2138957 | 2147483647    60668     92 |  0.000 % |
41.12/41.13	c |     61210 |   21173   700461  2138957 | 2147483647    61210     92 |  0.000 % |
41.52/41.55	c |     61808 |   21173   700461  2138957 | 2147483647    61808     92 |  0.000 % |
41.92/41.97	c |     62464 |   21173   700461  2138957 | 2147483647    62464     93 |  0.000 % |
42.52/42.53	c |     63188 |   21173   700461  2138957 | 2147483647    63188     94 |  0.000 % |
43.02/43.05	c |     63982 |   21173   700461  2138957 | 2147483647    63982     94 |  0.000 % |
43.12/43.12	c |     64083 |   21173   700461  2138957 | 2147483647    64083     94 |  0.000 % |
43.22/43.27	c |     64193 |   21173   700461  2138957 | 2147483647    64193     94 |  0.000 % |
43.42/43.45	c |     64315 |   21173   700461  2138957 | 2147483647    64315     94 |  0.000 % |
43.52/43.58	c |     64448 |   21173   700461  2138957 | 2147483647    64448     94 |  0.000 % |
43.62/43.66	c |     64594 |   21173   700461  2138957 | 2147483647    64594     94 |  0.000 % |
43.82/43.86	c |     64756 |   21173   700461  2138957 | 2147483647    64756     94 |  0.000 % |
44.03/44.04	c |     64933 |   21173   700461  2138957 | 2147483647    64933     94 |  0.000 % |
44.12/44.20	c |     65126 |   21173   700461  2138957 | 2147483647    65126     94 |  0.000 % |
44.32/44.35	c |     65338 |   21173   700461  2138957 | 2147483647    65338     93 |  0.000 % |
44.42/44.49	c |     65572 |   21173   700461  2138957 | 2147483647    65572     93 |  0.000 % |
44.62/44.67	c |     65829 |   21173   700461  2138957 | 2147483647    65829     93 |  0.000 % |
44.82/44.88	c |     66111 |   21173   700461  2138957 | 2147483647    66111     93 |  0.000 % |
45.13/45.14	c |     66421 |   21173   700461  2138957 | 2147483647    66421     93 |  0.000 % |
45.32/45.31	c |     66760 |   21173   700461  2138957 | 2147483647    66760     93 |  0.000 % |
45.52/45.59	c |     67133 |   21173   700461  2138957 | 2147483647    67133     93 |  0.000 % |
45.82/45.84	c |     67542 |   21173   700461  2138957 | 2147483647    67542     93 |  0.000 % |
46.12/46.20	c |     67991 |   21173   700461  2138957 | 2147483647    67991     93 |  0.000 % |
46.42/46.50	c |     68488 |   21173   700461  2138957 | 2147483647    68488     94 |  0.000 % |
46.82/46.85	c |     69032 |   21173   700461  2138957 | 2147483647    69032     94 |  0.000 % |
47.22/47.25	c |     69628 |   21173   700461  2138957 | 2147483647    69628     94 |  0.000 % |
47.62/47.62	c |     70284 |   21173   700461  2138957 | 2147483647    70284     95 |  0.000 % |
48.12/48.14	c |     71005 |   21173   700461  2138957 | 2147483647    71005     95 |  0.000 % |
48.62/48.68	c |     71799 |   21173   700461  2138957 | 2147483647    71799     96 |  0.000 % |
49.32/49.39	c |     72670 |   21173   700461  2138957 | 2147483647    72670     96 |  0.000 % |
49.42/49.46	c |     72770 |   21173   700461  2138957 | 2147483647    72770     96 |  0.000 % |
49.53/49.52	c |     72880 |   21173   700461  2138957 | 2147483647    72880     95 |  0.000 % |
49.53/49.59	c |     73004 |   21173   700461  2138957 | 2147483647    73004     95 |  0.000 % |
49.72/49.72	c |     73138 |   21173   700461  2138957 | 2147483647    73138     95 |  0.000 % |
49.82/49.81	c |     73284 |   21173   700461  2138957 | 2147483647    73284     95 |  0.000 % |
49.92/49.95	c |     73445 |   21173   700461  2138957 | 2147483647    73445     95 |  0.000 % |
50.02/50.06	c |     73621 |   21173   700461  2138957 | 2147483647    73621     95 |  0.000 % |
50.22/50.25	c |     73816 |   21173   700461  2138957 | 2147483647    73816     95 |  0.000 % |
50.42/50.44	c |     74028 |   21173   700461  2138957 | 2147483647    74028     95 |  0.000 % |
50.63/50.64	c |     74262 |   21173   700461  2138957 | 2147483647    74262     95 |  0.000 % |
50.82/50.85	c |     74519 |   21173   700461  2138957 | 2147483647    74519     95 |  0.000 % |
51.02/51.06	c |     74800 |   21173   700461  2138957 | 2147483647    74800     95 |  0.000 % |
51.32/51.31	c |     75110 |   21173   700461  2138957 | 2147483647    75110     95 |  0.000 % |
51.62/51.69	c |     75449 |   21173   700461  2138957 | 2147483647    75449     95 |  0.000 % |
51.92/51.97	c |     75822 |   21173   700461  2138957 | 2147483647    75822     95 |  0.000 % |
52.32/52.36	c |     76231 |   21173   700461  2138957 | 2147483647    76231     96 |  0.000 % |
52.72/52.75	c |     76681 |   21173   700461  2138957 | 2147483647    76681     95 |  0.000 % |
53.12/53.19	c |     77174 |   21173   700461  2138957 | 2147483647    77174     95 |  0.000 % |
53.52/53.55	c |     77716 |   21173   700461  2138957 | 2147483647    77716     95 |  0.000 % |
54.02/54.04	c |     78313 |   21173   700461  2138957 | 2147483647    78313     95 |  0.000 % |
54.52/54.56	c |     78969 |   21173   700461  2138957 | 2147483647    78969     96 |  0.000 % |
55.03/55.03	c |     79690 |   21173   700461  2138957 | 2147483647    79690     96 |  0.000 % |
55.52/55.60	c |     80484 |   21173   700461  2138957 | 2147483647    80484     96 |  0.000 % |
56.13/56.15	c |     81357 |   21173   700461  2138957 | 2147483647    81357     96 |  0.000 % |
56.72/56.80	c |     82315 |   21173   700461  2138957 | 2147483647    82315     95 |  0.000 % |
56.82/56.86	c |     82415 |   21173   700461  2138957 | 2147483647    82415     95 |  0.000 % |
56.92/56.93	c |     82525 |   21173   700461  2138957 | 2147483647    82525     95 |  0.000 % |
57.02/57.08	c |     82647 |   21173   700461  2138957 | 2147483647    82647     95 |  0.000 % |
57.12/57.19	c |     82783 |   21173   700461  2138957 | 2147483647    82783     95 |  0.000 % |
57.23/57.30	c |     82930 |   21173   700461  2138957 | 2147483647    82930     95 |  0.000 % |
57.42/57.43	c |     83090 |   21173   700461  2138957 | 2147483647    83090     95 |  0.000 % |
57.52/57.55	c |     83266 |   21173   700461  2138957 | 2147483647    83266     95 |  0.000 % |
57.72/57.71	c |     83460 |   21173   700461  2138957 | 2147483647    83460     95 |  0.000 % |
57.82/57.86	c |     83679 |   21173   700461  2138957 | 2147483647    83679     95 |  0.000 % |
58.02/58.06	c |     83912 |   21173   700461  2138957 | 2147483647    83912     95 |  0.000 % |
58.22/58.25	c |     84169 |   21173   700461  2138957 | 2147483647    84169     95 |  0.000 % |
58.42/58.47	c |     84452 |   21173   700461  2138957 | 2147483647    84452     95 |  0.000 % |
58.62/58.68	c |     84761 |   21173   700461  2138957 | 2147483647    84761     95 |  0.000 % |
58.92/58.94	c |     85100 |   21173   700461  2138957 | 2147483647    85100     95 |  0.000 % |
59.12/59.13	c |     85473 |   21173   700461  2138957 | 2147483647    85473     95 |  0.000 % |
59.43/59.45	c |     85885 |   21173   700461  2138957 | 2147483647    85885     95 |  0.000 % |
59.92/59.91	c |     86334 |   21173   700461  2138957 | 2147483647    86334     95 |  0.000 % |
60.12/60.16	c |     86827 |   21173   700461  2138957 | 2147483647    86827     95 |  0.000 % |
60.42/60.42	c |     87369 |   21173   700461  2138957 | 2147483647    87369     95 |  0.000 % |
60.72/60.80	c |     87966 |   21173   700461  2138957 | 2147483647    87966     94 |  0.000 % |
61.12/61.12	c |     88621 |   21173   700461  2138957 | 2147483647    88621     94 |  0.000 % |
61.52/61.54	c |     89341 |   21173   700461  2138957 | 2147483647    89341     94 |  0.000 % |
62.02/62.05	c |     90133 |   21173   700461  2138957 | 2147483647    90133     95 |  0.000 % |
62.62/62.61	c |     91004 |   21173   700461  2138957 | 2147483647    91004     95 |  0.000 % |
63.22/63.25	c |     91964 |   21173   700461  2138957 | 2147483647    91964     95 |  0.000 % |
64.02/64.04	c |     93017 |   21173   700461  2138957 | 2147483647    93017     95 |  0.000 % |
64.12/64.16	c |     93117 |   21173   700461  2138957 | 2147483647    93117     95 |  0.000 % |
64.22/64.29	c |     93228 |   21173   700461  2138957 | 2147483647    93228     95 |  0.000 % |
64.32/64.39	c |     93349 |   21173   700461  2138957 | 2147483647    93349     95 |  0.000 % |
64.42/64.49	c |     93482 |   21173   700461  2138957 | 2147483647    93482     95 |  0.000 % |
64.62/64.63	c |     93628 |   21173   700461  2138957 | 2147483647    93628     95 |  0.000 % |
64.72/64.79	c |     93790 |   21173   700461  2138957 | 2147483647    93790     95 |  0.000 % |
64.93/64.98	c |     93966 |   21173   700461  2138957 | 2147483647    93966     95 |  0.000 % |
65.12/65.12	c |     94164 |   21173   700461  2138957 | 2147483647    94164     94 |  0.000 % |
65.22/65.30	c |     94376 |   21173   700461  2138957 | 2147483647    94376     94 |  0.000 % |
65.42/65.50	c |     94610 |   21173   700461  2138957 | 2147483647    94610     94 |  0.000 % |
65.62/65.66	c |     94868 |   21173   700461  2138957 | 2147483647    94868     94 |  0.000 % |
65.92/65.95	c |     95150 |   21173   700461  2138957 | 2147483647    95150     94 |  0.000 % |
66.22/66.30	c |     95460 |   21173   700461  2138957 | 2147483647    95460     94 |  0.000 % |
66.52/66.60	c |     95800 |   21173   700461  2138957 | 2147483647    95800     94 |  0.000 % |
66.82/66.92	c |     96175 |   21173   700461  2138957 | 2147483647    96175     94 |  0.000 % |
67.23/67.30	c |     96588 |   21173   700461  2138957 | 2147483647    96588     95 |  0.000 % |
67.63/67.68	c |     97038 |   21173   700461  2138957 | 2147483647    97038     95 |  0.000 % |
68.13/68.15	c |     97532 |   21173   700461  2138957 | 2147483647    97532     95 |  0.000 % |
68.53/68.61	c |     98075 |   21173   700461  2138957 | 2147483647    98075     95 |  0.000 % |
69.03/69.10	c |     98671 |   21173   700461  2138957 | 2147483647    98671     95 |  0.000 % |
69.63/69.64	c |     99326 |   21173   700461  2138957 | 2147483647    99326     95 |  0.000 % |
70.13/70.19	c |    100047 |   21173   700461  2138957 | 2147483647   100047     95 |  0.000 % |
70.93/70.95	c |    100839 |   21173   700461  2138957 | 2147483647   100839     95 |  0.000 % |
71.63/71.64	c |    101712 |   21173   700461  2138957 | 2147483647   101712     95 |  0.000 % |
72.23/72.28	c |    102670 |   21173   700461  2138957 | 2147483647   102670     95 |  0.000 % |
72.93/73.00	c |    103723 |   21173   700461  2138957 | 2147483647   103723     95 |  0.000 % |
73.83/73.86	c |    104882 |   21173   700461  2138957 | 2147483647   104882     94 |  0.000 % |
73.83/73.90	c |    104983 |   21173   700461  2138957 | 2147483647   104983     94 |  0.000 % |
74.03/74.02	c |    105094 |   21173   700461  2138957 | 2147483647   105094     94 |  0.000 % |
74.13/74.14	c |    105216 |   21173   700461  2138957 | 2147483647   105216     94 |  0.000 % |
74.23/74.22	c |    105352 |   21173   700461  2138957 | 2147483647   105352     94 |  0.000 % |
74.33/74.33	c |    105499 |   21173   700461  2138957 | 2147483647   105499     94 |  0.000 % |
74.43/74.46	c |    105661 |   21173   700461  2138957 | 2147483647   105661     94 |  0.000 % |
74.53/74.60	c |    105837 |   21173   700461  2138957 | 2147483647   105837     94 |  0.000 % |
74.63/74.71	c |    106031 |   21173   700461  2138957 | 2147483647   106031     94 |  0.000 % |
74.83/74.89	c |    106243 |   21173   700461  2138957 | 2147483647   106243     94 |  0.000 % |
75.03/75.04	c |    106477 |   21173   700461  2138957 | 2147483647   106477     94 |  0.000 % |
75.13/75.18	c |    106733 |   21173   700461  2138957 | 2147483647   106733     94 |  0.000 % |
75.43/75.42	c |    107017 |   21173   700461  2138957 | 2147483647   107017     94 |  0.000 % |
75.63/75.65	c |    107326 |   21173   700461  2138957 | 2147483647   107326     94 |  0.000 % |
75.83/75.91	c |    107666 |   21173   700461  2138957 | 2147483647   107666     94 |  0.000 % |
76.23/76.24	c |    108040 |   21173   700461  2138957 | 2147483647   108040     93 |  0.000 % |
76.63/76.62	c |    108449 |   21173   700461  2138957 | 2147483647   108449     93 |  0.000 % |
76.93/76.96	c |    108900 |   21173   700461  2138957 | 2147483647   108900     93 |  0.000 % |
77.33/77.33	c |    109395 |   21173   700461  2138957 | 2147483647   109395     93 |  0.000 % |
77.73/77.77	c |    109938 |   21173   700461  2138957 | 2147483647   109938     93 |  0.000 % |
78.23/78.25	c |    110535 |   21173   700461  2138957 | 2147483647   110535     93 |  0.000 % |
78.63/78.70	c |    111190 |   21173   700461  2138957 | 2147483647   111190     93 |  0.000 % |
79.13/79.18	c |    111911 |   21173   700461  2138957 | 2147483647   111911     93 |  0.000 % |
79.73/79.75	c |    112705 |   21173   700461  2138957 | 2147483647   112705     93 |  0.000 % |
80.43/80.50	c |    113576 |   21173   700461  2138957 | 2147483647   113576     92 |  0.000 % |
81.23/81.29	c |    114535 |   21173   700461  2138957 | 2147483647   114535     92 |  0.000 % |
82.13/82.17	c |    115588 |   21173   700461  2138957 | 2147483647   115588     92 |  0.000 % |
83.03/83.05	c |    116746 |   21173   700461  2138957 | 2147483647   116746     92 |  0.000 % |
84.13/84.15	c |    118019 |   21173   700461  2138957 | 2147483647   118019     92 |  0.000 % |
84.23/84.27	c |    118120 |   21173   700461  2138957 | 2147483647   118120     93 |  0.000 % |
84.33/84.37	c |    118231 |   21173   700461  2138957 | 2147483647   118231     92 |  0.000 % |
84.43/84.45	c |    118352 |   21173   700461  2138957 | 2147483647   118352     92 |  0.000 % |
84.53/84.55	c |    118486 |   21173   700461  2138957 | 2147483647   118486     92 |  0.000 % |
84.63/84.70	c |    118633 |   21173   700461  2138957 | 2147483647   118633     92 |  0.000 % |
84.83/84.87	c |    118793 |   21173   700461  2138957 | 2147483647   118793     92 |  0.000 % |
85.03/85.04	c |    118969 |   21173   700461  2138957 | 2147483647   118969     92 |  0.000 % |
85.23/85.25	c |    119162 |   21173   700461  2138957 | 2147483647   119162     92 |  0.000 % |
85.43/85.42	c |    119374 |   21173   700461  2138957 | 2147483647   119374     92 |  0.000 % |
85.63/85.63	c |    119608 |   21173   700461  2138957 | 2147483647   119608     92 |  0.000 % |
85.83/85.83	c |    119864 |   21173   700461  2138957 | 2147483647   119864     92 |  0.000 % |
86.03/86.02	c |    120145 |   21173   700461  2138957 | 2147483647   120145     92 |  0.000 % |
86.23/86.27	c |    120454 |   21173   700461  2138957 | 2147483647   120454     92 |  0.000 % |
86.53/86.61	c |    120794 |   21173   700461  2138957 | 2147483647   120794     92 |  0.000 % |
86.83/86.87	c |    121168 |   21173   700461  2138957 | 2147483647   121168     92 |  0.000 % |
87.13/87.15	c |    121577 |   21173   700461  2138957 | 2147483647   121577     92 |  0.000 % |
87.53/87.55	c |    122026 |   21173   700461  2138957 | 2147483647   122026     92 |  0.000 % |
87.93/87.97	c |    122519 |   21173   700461  2138957 | 2147483647   122519     92 |  0.000 % |
88.43/88.44	c |    123061 |   21173   700461  2138957 | 2147483647   123061     92 |  0.000 % |
88.93/88.97	c |    123658 |   21173   700461  2138957 | 2147483647   123658     92 |  0.000 % |
89.43/89.43	c |    124313 |   21173   700461  2138957 | 2147483647   124313     92 |  0.000 % |
90.03/90.05	c |    125034 |   21173   700461  2138957 | 2147483647   125034     92 |  0.000 % |
90.63/90.71	c |    125826 |   21173   700461  2138957 | 2147483647   125826     92 |  0.000 % |
91.43/91.45	c |    126697 |   21173   700461  2138957 | 2147483647   126697     92 |  0.000 % |
92.23/92.26	c |    127656 |   21173   700461  2138957 | 2147483647   127656     92 |  0.000 % |
93.13/93.18	c |    128709 |   21173   700461  2138957 | 2147483647   128709     92 |  0.000 % |
94.13/94.19	c |    129868 |   21173   700461  2138957 | 2147483647   129868     92 |  0.000 % |
95.33/95.33	c |    131142 |   21173   700461  2138957 | 2147483647   131142     92 |  0.000 % |
96.33/96.32	c |    132543 |   21173   700461  2138957 | 2147483647   132543     92 |  0.000 % |
96.43/96.44	c |    132645 |   21173   700461  2138957 | 2147483647   132645     92 |  0.000 % |
96.53/96.55	c |    132755 |   21173   700461  2138957 | 2147483647   132755     92 |  0.000 % |
96.63/96.70	c |    132877 |   21173   700461  2138957 | 2147483647   132877     92 |  0.000 % |
96.73/96.81	c |    133010 |   21173   700461  2138957 | 2147483647   133010     92 |  0.000 % |
96.93/96.99	c |    133157 |   21173   700461  2138957 | 2147483647   133157     92 |  0.000 % |
97.03/97.09	c |    133317 |   21173   700461  2138957 | 2147483647   133317     92 |  0.000 % |
97.23/97.22	c |    133493 |   21173   700461  2138957 | 2147483647   133493     92 |  0.000 % |
97.33/97.41	c |    133688 |   21173   700461  2138957 | 2147483647   133688     92 |  0.000 % |
97.53/97.54	c |    133901 |   21173   700461  2138957 | 2147483647   133901     92 |  0.000 % |
97.73/97.79	c |    134135 |   21173   700461  2138957 | 2147483647   134135     92 |  0.000 % |
97.93/97.99	c |    134392 |   21173   700461  2138957 | 2147483647   134392     92 |  0.000 % |
98.13/98.20	c |    134673 |   21173   700461  2138957 | 2147483647   134673     92 |  0.000 % |
98.43/98.50	c |    134982 |   21173   700461  2138957 | 2147483647   134982     92 |  0.000 % |
98.73/98.79	c |    135321 |   21173   700461  2138957 | 2147483647   135321     92 |  0.000 % |
99.03/99.08	c |    135693 |   21173   700461  2138957 | 2147483647   135693     92 |  0.000 % |
99.33/99.35	c |    136102 |   21173   700461  2138957 | 2147483647   136102     92 |  0.000 % |
99.63/99.68	c |    136551 |   21173   700461  2138957 | 2147483647   136551     92 |  0.000 % |
100.03/100.08	c |    137044 |   21173   700461  2138957 | 2147483647   137044     92 |  0.000 % |
100.43/100.44	c |    137587 |   21173   700461  2138957 | 2147483647   137587     92 |  0.000 % |
100.83/100.89	c |    138183 |   21173   700461  2138957 | 2147483647   138183     92 |  0.000 % |
101.33/101.39	c |    138838 |   21173   700461  2138957 | 2147483647   138838     93 |  0.000 % |
101.83/101.91	c |    139559 |   21173   700461  2138957 | 2147483647   139559     93 |  0.000 % |
102.53/102.52	c |    140351 |   21173   700461  2138957 | 2147483647   140351     93 |  0.000 % |
103.13/103.18	c |    141223 |   21173   700461  2138957 | 2147483647   141223     93 |  0.000 % |
103.83/103.87	c |    142185 |   21173   700461  2138957 | 2147483647   142185     93 |  0.000 % |
104.63/104.71	c |    143238 |   21173   700461  2138957 | 2147483647   143238     93 |  0.000 % |
105.53/105.54	c |    144398 |   21173   700461  2138957 | 2147483647   144398     93 |  0.000 % |
106.43/106.51	c |    145672 |   21173   700461  2138957 | 2147483647   145672     93 |  0.000 % |
107.63/107.63	c |    147074 |   21173   700461  2138957 | 2147483647   147074     93 |  0.000 % |
108.93/108.92	c |    148614 |   21173   700461  2138957 | 2147483647   148614     93 |  0.000 % |
109.03/109.02	c |    148715 |   21173   700461  2138957 | 2147483647   148715     93 |  0.000 % |
109.03/109.11	c |    148826 |   21173   700461  2138957 | 2147483647   148826     93 |  0.000 % |
109.13/109.19	c |    148947 |   21173   700461  2138957 | 2147483647   148947     93 |  0.000 % |
109.23/109.29	c |    149081 |   21173   700461  2138957 | 2147483647   149081     93 |  0.000 % |
109.43/109.49	c |    149228 |   21173   700461  2138957 | 2147483647   149228     93 |  0.000 % |
109.53/109.60	c |    149388 |   21173   700461  2138957 | 2147483647   149388     93 |  0.000 % |
109.73/109.74	c |    149564 |   21173   700461  2138957 | 2147483647   149564     93 |  0.000 % |
109.93/109.98	c |    149760 |   21173   700461  2138957 | 2147483647   149760     93 |  0.000 % |
110.13/110.15	c |    149972 |   21173   700461  2138957 | 2147483647   149972     93 |  0.000 % |
110.33/110.35	c |    150205 |   21173   700461  2138957 | 2147483647   150205     93 |  0.000 % |
110.53/110.57	c |    150461 |   21173   700461  2138957 | 2147483647   150461     93 |  0.000 % |
110.83/110.83	c |    150742 |   21173   700461  2138957 | 2147483647   150742     93 |  0.000 % |
111.13/111.12	c |    151051 |   21173   700461  2138957 | 2147483647   151051     93 |  0.000 % |
111.43/111.47	c |    151390 |   21173   700461  2138957 | 2147483647   151390     93 |  0.000 % |
111.83/111.86	c |    151765 |   21173   700461  2138957 | 2147483647   151765     93 |  0.000 % |
112.23/112.28	c |    152175 |   21173   700461  2138957 | 2147483647   152175     93 |  0.000 % |
112.53/112.61	c |    152626 |   21173   700461  2138957 | 2147483647   152626     93 |  0.000 % |
112.93/113.00	c |    153119 |   21173   700461  2138957 | 2147483647   153119     93 |  0.000 % |
113.43/113.48	c |    153663 |   21173   700461  2138957 | 2147483647   153663     93 |  0.000 % |
114.03/114.02	c |    154259 |   21173   700461  2138957 | 2147483647   154259     93 |  0.000 % |
114.53/114.56	c |    154915 |   21173   700461  2138957 | 2147483647   154915     93 |  0.000 % |
115.03/115.11	c |    155635 |   21173   700461  2138957 | 2147483647   155635     93 |  0.000 % |
115.73/115.77	c |    156430 |   21173   700461  2138957 | 2147483647   156430     93 |  0.000 % |
116.43/116.50	c |    157301 |   21173   700461  2138957 | 2147483647   157301     93 |  0.000 % |
117.43/117.42	c |    158259 |   21173   700461  2138957 | 2147483647   158259     93 |  0.000 % |
118.33/118.38	c |    159312 |   21173   700461  2138957 | 2147483647   159312     92 |  0.000 % |
119.33/119.38	c |    160471 |   21173   700461  2138957 | 2147483647   160471     93 |  0.000 % |
120.53/120.55	c |    161744 |   21173   700461  2138957 | 2147483647   161744     92 |  0.000 % |
121.73/121.79	c |    163144 |   21173   700461  2138957 | 2147483647   163144     92 |  0.000 % |
123.33/123.37	c |    164685 |   21173   700461  2138957 | 2147483647   164685     92 |  0.000 % |
124.83/124.85	c |    166379 |   21173   700461  2138957 | 2147483647   166379     92 |  0.000 % |
124.93/124.97	c |    166482 |   21173   700461  2138957 | 2147483647   166482     92 |  0.000 % |
125.03/125.09	c |    166592 |   21173   700461  2138957 | 2147483647   166592     92 |  0.000 % |
125.23/125.27	c |    166713 |   21173   700461  2138957 | 2147483647   166713     92 |  0.000 % |
125.33/125.36	c |    166846 |   21173   700461  2138957 | 2147483647   166846     92 |  0.000 % |
125.53/125.55	c |    166992 |   21173   700461  2138957 | 2147483647   166992     92 |  0.000 % |
125.73/125.72	c |    167152 |   21173   700461  2138957 | 2147483647   167152     92 |  0.000 % |
125.83/125.89	c |    167328 |   21173   700461  2138957 | 2147483647   167328     92 |  0.000 % |
126.03/126.03	c |    167522 |   21173   700461  2138957 | 2147483647   167522     92 |  0.000 % |
126.23/126.25	c |    167734 |   21173   700461  2138957 | 2147483647   167734     92 |  0.000 % |
126.43/126.42	c |    167968 |   21173   700461  2138957 | 2147483647   167968     92 |  0.000 % |
126.63/126.65	c |    168226 |   21173   700461  2138957 | 2147483647   168226     92 |  0.000 % |
126.93/126.93	c |    168509 |   21173   700461  2138957 | 2147483647   168509     92 |  0.000 % |
127.23/127.27	c |    168818 |   21173   700461  2138957 | 2147483647   168818     92 |  0.000 % |
127.53/127.61	c |    169157 |   21173   700461  2138957 | 2147483647   169157     92 |  0.000 % |
127.93/127.99	c |    169529 |   21173   700461  2138957 | 2147483647   169529     92 |  0.000 % |
128.33/128.35	c |    169938 |   21173   700461  2138957 | 2147483647   169938     92 |  0.000 % |
128.63/128.69	c |    170387 |   21173   700461  2138957 | 2147483647   170387     92 |  0.000 % |
129.13/129.14	c |    170880 |   21173   700461  2138957 | 2147483647   170880     93 |  0.000 % |
129.43/129.49	c |    171422 |   21173   700461  2138957 | 2147483647   171422     93 |  0.000 % |
129.84/129.87	c |    172019 |   21173   700461  2138957 | 2147483647   172019     93 |  0.000 % |
130.53/130.60	c |    172674 |   21173   700461  2138957 | 2147483647   172674     93 |  0.000 % |
131.23/131.24	c |    173395 |   21173   700461  2138957 | 2147483647   173395     93 |  0.000 % |
131.83/131.84	c |    174190 |   21173   700461  2138957 | 2147483647   174190     93 |  0.000 % |
132.83/132.87	c |    175061 |   21173   700461  2138957 | 2147483647   175061     93 |  0.000 % |
133.53/133.55	c |    176019 |   21173   700461  2138957 | 2147483647   176019     93 |  0.000 % |
134.93/134.93	c |    177074 |   21173   700461  2138957 | 2147483647   177074     94 |  0.000 % |
136.03/136.05	c |    178232 |   21173   700461  2138957 | 2147483647   178232     95 |  0.000 % |
137.33/137.33	c |    179505 |   21173   700461  2138957 | 2147483647   179505     95 |  0.000 % |
138.83/138.85	c |    180905 |   21173   700461  2138957 | 2147483647   180905     95 |  0.000 % |
140.53/140.51	c |    182446 |   21173   700461  2138957 | 2147483647   182446     95 |  0.000 % |
142.33/142.31	c |    184140 |   21173   700461  2138957 | 2147483647   184140     96 |  0.000 % |
144.14/144.15	c |    186004 |   21173   700461  2138957 | 2147483647   186004     96 |  0.000 % |
144.33/144.33	c |    186104 |   21173   700461  2138957 | 2147483647   186104     96 |  0.000 % |
144.43/144.46	c |    186214 |   21173   700461  2138957 | 2147483647   186214     96 |  0.000 % |
144.53/144.58	c |    186335 |   21173   700461  2138957 | 2147483647   186335     96 |  0.000 % |
144.73/144.72	c |    186470 |   21173   700461  2138957 | 2147483647   186470     96 |  0.000 % |
144.83/144.85	c |    186616 |   21173   700461  2138957 | 2147483647   186616     96 |  0.000 % |
145.13/145.14	c |    186778 |   21173   700461  2138957 | 2147483647   186778     96 |  0.000 % |
145.24/145.30	c |    186954 |   21173   700461  2138957 | 2147483647   186954     96 |  0.000 % |
145.43/145.46	c |    187147 |   21173   700461  2138957 | 2147483647   187147     96 |  0.000 % |
145.63/145.62	c |    187360 |   21173   700461  2138957 | 2147483647   187360     96 |  0.000 % |
145.93/145.93	c |    187595 |   21173   700461  2138957 | 2147483647   187595     96 |  0.000 % |
146.23/146.21	c |    187851 |   21173   700461  2138957 | 2147483647   187851     96 |  0.000 % |
146.43/146.46	c |    188132 |   21173   700461  2138957 | 2147483647   188132     96 |  0.000 % |
146.63/146.64	c |    188441 |   21173   700461  2138957 | 2147483647   188441     96 |  0.000 % |
147.03/147.09	c |    188783 |   21173   700461  2138957 | 2147483647   188783     96 |  0.000 % |
147.33/147.40	c |    189156 |   21173   700461  2138957 | 2147483647   189156     96 |  0.000 % |
147.73/147.81	c |    189565 |   21173   700461  2138957 | 2147483647   189565     96 |  0.000 % |
148.13/148.17	c |    190023 |   21173   700461  2138957 | 2147483647   190023     96 |  0.000 % |
148.63/148.69	c |    190517 |   21173   700461  2138957 | 2147483647   190517     96 |  0.000 % |
149.33/149.34	c |    191062 |   21173   700461  2138957 | 2147483647   191062     96 |  0.000 % |
150.03/150.06	c |    191658 |   21173   700461  2138957 | 2147483647   191658     96 |  0.000 % |
150.74/150.75	c |    192314 |   21173   700461  2138957 | 2147483647   192314     96 |  0.000 % |
151.33/151.41	c |    193034 |   21173   700461  2138957 | 2147483647   193034     96 |  0.000 % |
152.33/152.31	c |    193827 |   21173   700461  2138957 | 2147483647   193827     96 |  0.000 % |
153.23/153.27	c |    194698 |   21173   700461  2138957 | 2147483647   194698     96 |  0.000 % |
154.33/154.31	c |    195656 |   21173   700461  2138957 | 2147483647   195656     96 |  0.000 % |
155.23/155.22	c |    196709 |   21173   700461  2138957 | 2147483647   196709     96 |  0.000 % |
156.24/156.30	c |    197867 |   21173   700461  2138957 | 2147483647   197867     96 |  0.000 % |
157.53/157.55	c |    199142 |   21173   700461  2138957 | 2147483647   199142     96 |  0.000 % |
158.73/158.78	c |    200542 |   21173   700461  2138957 | 2147483647   200542     96 |  0.000 % |
160.33/160.34	c |    202082 |   21173   700461  2138957 | 2147483647   202082     97 |  0.000 % |
161.83/161.83	c |    203776 |   21173   700461  2138957 | 2147483647   203776     97 |  0.000 % |
163.83/163.88	c |    205640 |   21173   700461  2138957 | 2147483647   205640     97 |  0.000 % |
165.54/165.59	c |    207689 |   21173   700461  2138957 | 2147483647   207689     97 |  0.000 % |
165.64/165.68	c |    207790 |   21173   700461  2138957 | 2147483647   207790     97 |  0.000 % |
165.74/165.77	c |    207901 |   21173   700461  2138957 | 2147483647   207901     97 |  0.000 % |
165.94/165.94	c |    208022 |   21173   700461  2138957 | 2147483647   208022     97 |  0.000 % |
166.14/166.18	c |    208155 |   21173   700461  2138957 | 2147483647   208155     97 |  0.000 % |
166.34/166.36	c |    208301 |   21173   700461  2138957 | 2147483647   208301     97 |  0.000 % |
166.54/166.53	c |    208461 |   21173   700461  2138957 | 2147483647   208461     96 |  0.000 % |
166.74/166.77	c |    208638 |   21173   700461  2138957 | 2147483647   208638     96 |  0.000 % |
167.04/167.06	c |    208833 |   21173   700461  2138957 | 2147483647   208833     96 |  0.000 % |
167.24/167.25	c |    209045 |   21173   700461  2138957 | 2147483647   209045     96 |  0.000 % |
167.64/167.63	c |    209278 |   21173   700461  2138957 | 2147483647   209278     96 |  0.000 % |
167.84/167.90	c |    209535 |   21173   700461  2138957 | 2147483647   209535     96 |  0.000 % |
168.04/168.11	c |    209818 |   21173   700461  2138957 | 2147483647   209818     96 |  0.000 % |
168.34/168.38	c |    210127 |   21173   700461  2138957 | 2147483647   210127     96 |  0.000 % |
168.64/168.67	c |    210466 |   21173   700461  2138957 | 2147483647   210466     96 |  0.000 % |
169.04/169.03	c |    210841 |   21173   700461  2138957 | 2147483647   210841     96 |  0.000 % |
169.44/169.45	c |    211252 |   21173   700461  2138957 | 2147483647   211252     97 |  0.000 % |
169.84/169.86	c |    211701 |   21173   700461  2138957 | 2147483647   211701     97 |  0.000 % |
170.34/170.34	c |    212196 |   21173   700461  2138957 | 2147483647   212196     97 |  0.000 % |
170.84/170.90	c |    212740 |   21173   700461  2138957 | 2147483647   212740     97 |  0.000 % |
171.24/171.30	c |    213337 |   21173   700461  2138957 | 2147483647   213337     96 |  0.000 % |
171.84/171.91	c |    213994 |   21173   700461  2138957 | 2147483647   213994     97 |  0.000 % |
172.44/172.51	c |    214719 |   21173   700461  2138957 | 2147483647   214719     97 |  0.000 % |
173.44/173.47	c |    215511 |   21173   700461  2138957 | 2147483647   215511     97 |  0.000 % |
174.54/174.59	c |    216382 |   21173   700461  2138957 | 2147483647   216382     98 |  0.000 % |
175.54/175.53	c |    217340 |   21173   700461  2138957 | 2147483647   217340     98 |  0.000 % |
176.54/176.53	c |    218393 |   21173   700461  2138957 | 2147483647   218393     98 |  0.000 % |
177.44/177.47	c |    219551 |   21173   700461  2138957 | 2147483647   219551     98 |  0.000 % |
179.04/179.03	c |    220824 |   21173   700461  2138957 | 2147483647   220824     98 |  0.000 % |
180.34/180.36	c |    222224 |   21173   700461  2138957 | 2147483647   222224     98 |  0.000 % |
181.74/181.77	c |    223765 |   21173   700461  2138957 | 2147483647   223765     97 |  0.000 % |
183.44/183.50	c |    225460 |   21173   700461  2138957 | 2147483647   225460     98 |  0.000 % |
185.14/185.14	c |    227323 |   21173   700461  2138957 | 2147483647   227323     98 |  0.000 % |
186.74/186.77	c |    229376 |   21173   700461  2138957 | 2147483647   229376     98 |  0.000 % |
188.74/188.81	c |    231630 |   21173   700461  2138957 | 2147483647   231630     98 |  0.000 % |
188.84/188.89	c |    231732 |   21173   700461  2138957 | 2147483647   231732     98 |  0.000 % |
188.94/189.01	c |    231844 |   21173   700461  2138957 | 2147483647   231844     98 |  0.000 % |
189.14/189.13	c |    231965 |   21173   700461  2138957 | 2147483647   231965     98 |  0.000 % |
189.24/189.28	c |    232100 |   21173   700461  2138957 | 2147483647   232100     98 |  0.000 % |
189.34/189.40	c |    232250 |   21173   700461  2138957 | 2147483647   232250     98 |  0.000 % |
189.54/189.54	c |    232410 |   21173   700461  2138957 | 2147483647   232410     98 |  0.000 % |
189.64/189.67	c |    232586 |   21173   700461  2138957 | 2147483647   232586     98 |  0.000 % |
189.94/189.94	c |    232781 |   21173   700461  2138957 | 2147483647   232781     98 |  0.000 % |
190.14/190.15	c |    232993 |   21173   700461  2138957 | 2147483647   232993     98 |  0.000 % |
190.44/190.43	c |    233226 |   21173   700461  2138957 | 2147483647   233226     98 |  0.000 % |
190.64/190.67	c |    233483 |   21173   700461  2138957 | 2147483647   233483     98 |  0.000 % |
190.94/190.99	c |    233766 |   21173   700461  2138957 | 2147483647   233766     98 |  0.000 % |
191.24/191.30	c |    234075 |   21173   700461  2138957 | 2147483647   234075     98 |  0.000 % |
191.64/191.63	c |    234414 |   21173   700461  2138957 | 2147483647   234414     98 |  0.000 % |
191.94/191.97	c |    234789 |   21173   700461  2138957 | 2147483647   234789     98 |  0.000 % |
192.34/192.36	c |    235198 |   21173   700461  2138957 | 2147483647   235198     98 |  0.000 % |
192.74/192.76	c |    235647 |   21173   700461  2138957 | 2147483647   235647     98 |  0.000 % |
193.14/193.14	c |    236143 |   21173   700461  2138957 | 2147483647   236143     98 |  0.000 % |
193.94/193.93	c |    236686 |   21173   700461  2138957 | 2147483647   236686     98 |  0.000 % |
194.54/194.52	c |    237282 |   21173   700461  2138957 | 2147483647   237282     98 |  0.000 % |
195.44/195.49	c |    237939 |   21173   700461  2138957 | 2147483647   237939     98 |  0.000 % |
196.34/196.40	c |    238659 |   21173   700461  2138957 | 2147483647   238659     98 |  0.000 % |
197.44/197.45	c |    239452 |   21173   700461  2138957 | 2147483647   239452     98 |  0.000 % |
198.24/198.30	c |    240324 |   21173   700461  2138957 | 2147483647   240324     98 |  0.000 % |
199.24/199.29	c |    241282 |   21173   700461  2138957 | 2147483647   241282     98 |  0.000 % |
200.54/200.58	c |    242338 |   21173   700461  2138957 | 2147483647   242338     98 |  0.000 % |
201.64/201.66	c |    243496 |   21173   700461  2138957 | 2147483647   243496     98 |  0.000 % |
202.94/202.94	c |    244770 |   21173   700461  2138957 | 2147483647   244770     98 |  0.000 % |
204.44/204.49	c |    246170 |   21173   700461  2138957 | 2147483647   246170     98 |  0.000 % |
206.44/206.43	c |    247710 |   21173   700461  2138957 | 2147483647   247710     98 |  0.000 % |
208.44/208.46	c |    249407 |   21173   700461  2138957 | 2147483647   249407     97 |  0.000 % |
210.94/210.95	c |    251270 |   21173   700461  2138957 | 2147483647   251270     97 |  0.000 % |
213.34/213.41	c |    253321 |   21173   700461  2138957 | 2147483647   253321     97 |  0.000 % |
216.64/216.70	c |    255578 |   21173   700461  2138957 | 2147483647   255578     98 |  0.000 % |
220.34/220.35	c |    258056 |   21173   700461  2138957 | 2147483647   258056    100 |  0.000 % |
220.54/220.56	c |    258156 |   21173   700461  2138957 | 2147483647   258156    100 |  0.000 % |
220.64/220.70	c |    258266 |   21173   700461  2138957 | 2147483647   258266    100 |  0.000 % |
220.84/220.89	c |    258387 |   21173   700461  2138957 | 2147483647   258387    100 |  0.000 % |
221.04/221.05	c |    258520 |   21173   700461  2138957 | 2147483647   258520    100 |  0.000 % |
221.34/221.40	c |    258666 |   21173   700461  2138957 | 2147483647   258666    100 |  0.000 % |
221.64/221.62	c |    258826 |   21173   700461  2138957 | 2147483647   258826    100 |  0.000 % |
221.74/221.80	c |    259003 |   21173   700461  2138957 | 2147483647   259003    100 |  0.000 % |
222.04/222.11	c |    259197 |   21173   700461  2138957 | 2147483647   259197    100 |  0.000 % |
222.34/222.33	c |    259409 |   21173   700461  2138957 | 2147483647   259409    100 |  0.000 % |
222.54/222.61	c |    259644 |   21173   700461  2138957 | 2147483647   259644    100 |  0.000 % |
222.84/222.89	c |    259900 |   21173   700461  2138957 | 2147483647   259900    100 |  0.000 % |
223.14/223.20	c |    260183 |   21173   700461  2138957 | 2147483647   260183    100 |  0.000 % |
223.54/223.55	c |    260497 |   21173   700461  2138957 | 2147483647   260497    100 |  0.000 % |
223.94/223.94	c |    260837 |   21173   700461  2138957 | 2147483647   260837    100 |  0.000 % |
224.34/224.35	c |    261212 |   21173   700461  2138957 | 2147483647   261212    100 |  0.000 % |
224.84/224.90	c |    261623 |   21173   700461  2138957 | 2147483647   261623    100 |  0.000 % |
225.34/225.38	c |    262073 |   21173   700461  2138957 | 2147483647   262073    100 |  0.000 % |
226.04/226.09	c |    262566 |   21173   700461  2138957 | 2147483647   262566    100 |  0.000 % |
226.74/226.80	c |    263109 |   21173   700461  2138957 | 2147483647   263109    100 |  0.000 % |
227.64/227.71	c |    263706 |   21173   700461  2138957 | 2147483647   263706    100 |  0.000 % |
228.44/228.51	c |    264363 |   21173   700461  2138957 | 2147483647   264363    100 |  0.000 % |
229.24/229.30	c |    265084 |   21173   700461  2138957 | 2147483647   265084    100 |  0.000 % |
230.44/230.50	c |    265876 |   21173   700461  2138957 | 2147483647   265876    100 |  0.000 % |
231.74/231.79	c |    266747 |   21173   700461  2138957 | 2147483647   266747    100 |  0.000 % |
233.04/233.03	c |    267705 |   21173   700461  2138957 | 2147483647   267705    100 |  0.000 % |
234.24/234.31	c |    268760 |   21173   700461  2138957 | 2147483647   268760    100 |  0.000 % |
235.64/235.69	c |    269918 |   21173   700461  2138957 | 2147483647   269918    100 |  0.000 % |
237.24/237.21	c |    271191 |   21173   700461  2138957 | 2147483647   271191    100 |  0.000 % |
238.94/238.94	c |    272593 |   21173   700461  2138957 | 2147483647   272593    100 |  0.000 % |
240.54/240.56	c |    274134 |   21173   700461  2138957 | 2147483647   274134    100 |  0.000 % |
242.14/242.19	c |    275828 |   21173   700461  2138957 | 2147483647   275828    100 |  0.000 % |
244.04/244.09	c |    277692 |   21173   700461  2138957 | 2147483647   277692    100 |  0.000 % |
245.94/245.94	c |    279742 |   21173   700461  2138957 | 2147483647   279742    100 |  0.000 % |
248.54/248.55	c |    281995 |   21173   700461  2138957 | 2147483647   281995    100 |  0.000 % |
251.04/251.11	c |    284474 |   21173   700461  2138957 | 2147483647   284474    101 |  0.000 % |
253.64/253.64	c |    287199 |   21173   700461  2138957 | 2147483647   287199    101 |  0.000 % |
253.74/253.74	c |    287299 |   21173   700461  2138957 | 2147483647   287299    101 |  0.001 % |
253.84/253.82	c |    287410 |   21173   700461  2138957 | 2147483647   287410    101 |  0.000 % |
253.94/253.94	c |    287532 |   21173   700461  2138957 | 2147483647   287532    101 |  0.000 % |
254.34/254.37	c |    287668 |   21173   700461  2138957 | 2147483647   287668    101 |  0.000 % |
254.54/254.54	c |    287814 |   21173   700461  2138957 | 2147483647   287814    101 |  0.000 % |
254.74/254.78	c |    287974 |   21173   700461  2138957 | 2147483647   287974    101 |  0.000 % |
255.04/255.05	c |    288150 |   21173   700461  2138957 | 2147483647   288150    101 |  0.000 % |
255.25/255.28	c |    288344 |   21173   700461  2138957 | 2147483647   288344    101 |  0.000 % |
255.64/255.61	c |    288561 |   21173   700461  2138957 | 2147483647   288561    101 |  0.000 % |
255.94/255.99	c |    288796 |   21173   700461  2138957 | 2147483647   288796    101 |  0.000 % |
256.24/256.30	c |    289052 |   21173   700461  2138957 | 2147483647   289052    101 |  0.000 % |
256.64/256.64	c |    289333 |   21173   700461  2138957 | 2147483647   289333    101 |  0.000 % |
257.04/257.04	c |    289642 |   21173   700461  2138957 | 2147483647   289642    101 |  0.000 % |
257.34/257.41	c |    289981 |   21173   700461  2138957 | 2147483647   289981    101 |  0.000 % |
257.84/257.82	c |    290353 |   21173   700461  2138957 | 2147483647   290353    101 |  0.000 % |
258.24/258.24	c |    290763 |   21173   700461  2138957 | 2147483647   290763    101 |  0.000 % |
258.64/258.71	c |    291213 |   21173   700461  2138957 | 2147483647   291213    101 |  0.000 % |
259.14/259.16	c |    291707 |   21173   700461  2138957 | 2147483647   291707    101 |  0.000 % |
259.65/259.68	c |    292249 |   21173   700461  2138957 | 2147483647   292249    101 |  0.000 % |
260.24/260.24	c |    292845 |   21173   700461  2138957 | 2147483647   292845    101 |  0.000 % |
260.84/260.89	c |    293500 |   21173   700461  2138957 | 2147483647   293500    101 |  0.000 % |
261.74/261.79	c |    294220 |   21173   700461  2138957 | 2147483647   294220    101 |  0.000 % |
262.54/262.59	c |    295013 |   21173   700461  2138957 | 2147483647   295013    101 |  0.000 % |
263.55/263.55	c |    295884 |   21173   700461  2138957 | 2147483647   295884    101 |  0.000 % |
264.45/264.44	c |    296843 |   21173   700461  2138957 | 2147483647   296843    101 |  0.000 % |
265.45/265.50	c |    297897 |   21173   700461  2138957 | 2147483647   297897    101 |  0.000 % |
266.95/266.96	c |    299056 |   21173   700461  2138957 | 2147483647   299056    101 |  0.000 % |
268.45/268.43	c |    300329 |   21173   700461  2138957 | 2147483647   300329    101 |  0.000 % |
269.75/269.73	c |    301730 |   21173   700461  2138957 | 2147483647   301730    101 |  0.000 % |
271.05/271.11	c |    303272 |   21173   700461  2138957 | 2147483647   303272    101 |  0.000 % |
272.65/272.65	c |    304967 |   21173   700461  2138957 | 2147483647   304967    101 |  0.000 % |
274.35/274.39	c |    306830 |   21173   700461  2138957 | 2147483647   306830    100 |  0.000 % |
276.45/276.52	c |    308879 |   21173   700461  2138957 | 2147483647   308879    101 |  0.000 % |
278.75/278.80	c |    311132 |   21173   700461  2138957 | 2147483647   311132    101 |  0.000 % |
281.65/281.65	c |    313610 |   21173   700461  2138957 | 2147483647   313610    101 |  0.000 % |
284.15/284.13	c |    316337 |   21173   700461  2138957 | 2147483647   316337    100 |  0.000 % |
287.15/287.16	c |    319336 |   21173   700461  2138957 | 2147483647   319336    100 |  0.000 % |
287.25/287.27	c |    319438 |   21173   700461  2138957 | 2147483647   319438    100 |  0.000 % |
287.45/287.42	c |    319548 |   21173   700461  2138957 | 2147483647   319548    100 |  0.000 % |
287.55/287.61	c |    319670 |   21173   700461  2138957 | 2147483647   319670    100 |  0.000 % |
287.85/287.86	c |    319803 |   21173   700461  2138957 | 2147483647   319803    100 |  0.000 % |
288.05/288.02	c |    319949 |   21173   700461  2138957 | 2147483647   319949    100 |  0.000 % |
288.25/288.26	c |    320110 |   21173   700461  2138957 | 2147483647   320110    100 |  0.000 % |
288.45/288.47	c |    320286 |   21173   700461  2138957 | 2147483647   320286    100 |  0.000 % |
288.75/288.73	c |    320480 |   21173   700461  2138957 | 2147483647   320480    100 |  0.000 % |
288.95/289.02	c |    320693 |   21173   700461  2138957 | 2147483647   320693    100 |  0.000 % |
289.35/289.36	c |    320926 |   21173   700461  2138957 | 2147483647   320926    100 |  0.000 % |
289.65/289.65	c |    321183 |   21173   700461  2138957 | 2147483647   321183    100 |  0.000 % |
290.05/290.05	c |    321465 |   21173   700461  2138957 | 2147483647   321465    100 |  0.000 % |
290.45/290.51	c |    321774 |   21173   700461  2138957 | 2147483647   321774    100 |  0.000 % |
290.75/290.80	c |    322113 |   21173   700461  2138957 | 2147483647   322113    100 |  0.000 % |
291.35/291.34	c |    322485 |   21173   700461  2138957 | 2147483647   322485    100 |  0.000 % |
291.75/291.78	c |    322895 |   21173   700461  2138957 | 2147483647   322895    100 |  0.000 % |
292.25/292.25	c |    323344 |   21173   700461  2138957 | 2147483647   323344    100 |  0.000 % |
292.75/292.76	c |    323837 |   21173   700461  2138957 | 2147483647   323837    100 |  0.000 % |
293.45/293.48	c |    324379 |   21173   700461  2138957 | 2147483647   324379    100 |  0.000 % |
294.05/294.04	c |    324975 |   21173   700461  2138957 | 2147483647   324975    100 |  0.000 % |
294.85/294.83	c |    325630 |   21173   700461  2138957 | 2147483647   325630    100 |  0.000 % |
295.65/295.71	c |    326350 |   21173   700461  2138957 | 2147483647   326350    100 |  0.000 % |
296.45/296.45	c |    327142 |   21173   700461  2138957 | 2147483647   327142    100 |  0.001 % |
297.25/297.23	c |    328013 |   21173   700461  2138957 | 2147483647   328013    100 |  0.000 % |
298.25/298.25	c |    328971 |   21173   700461  2138957 | 2147483647   328971    100 |  0.000 % |
299.25/299.27	c |    330024 |   21173   700461  2138957 | 2147483647   330024    100 |  0.000 % |
300.95/300.96	c |    331182 |   21173   700461  2138957 | 2147483647   331182    100 |  0.000 % |
302.35/302.39	c |    332456 |   21173   700461  2138957 | 2147483647   332456    100 |  0.000 % |
303.75/303.80	c |    333856 |   21173   700461  2138957 | 2147483647   333856    100 |  0.000 % |
305.45/305.49	c |    335396 |   21173   700461  2138957 | 2147483647   335396    100 |  0.000 % |
307.75/307.80	c |    337091 |   21173   700461  2138957 | 2147483647   337091    100 |  0.000 % |
309.85/309.85	c |    338956 |   21173   700461  2138957 | 2147483647   338956    100 |  0.000 % |
312.35/312.32	c |    341007 |   21173   700461  2138957 | 2147483647   341007    101 |  0.000 % |
315.65/315.69	c |    343261 |   21173   700461  2138957 | 2147483647   343261    101 |  0.000 % |
318.75/318.74	c |    345739 |   21173   700461  2138957 | 2147483647   345739    101 |  0.000 % |
321.55/321.60	c |    348464 |   21173   700461  2138957 | 2147483647   348464    101 |  0.000 % |
324.25/324.27	c |    351464 |   21173   700461  2138957 | 2147483647   351464    101 |  0.000 % |
326.85/326.82	c |    354760 |   21173   700461  2138957 | 2147483647   354760    100 |  0.001 % |
326.95/326.96	c |    354860 |   21173   700461  2138957 | 2147483647   354860    100 |  0.000 % |
327.05/327.06	c |    354971 |   21173   700461  2138957 | 2147483647   354971    100 |  0.001 % |
327.25/327.26	c |    355093 |   21173   700461  2138957 | 2147483647   355093    100 |  0.001 % |
327.45/327.51	c |    355227 |   21173   700461  2138957 | 2147483647   355227    100 |  0.000 % |
327.65/327.71	c |    355374 |   21173   700461  2138957 | 2147483647   355374    100 |  0.000 % |
327.86/327.90	c |    355536 |   21173   700461  2138957 | 2147483647   355536    100 |  0.000 % |
328.45/328.43	c |    355712 |   21173   700461  2138957 | 2147483647   355712    100 |  0.000 % |
328.75/328.73	c |    355905 |   21173   700461  2138957 | 2147483647   355905    100 |  0.000 % |
328.96/328.99	c |    356117 |   21173   700461  2138957 | 2147483647   356117    100 |  0.000 % |
329.25/329.27	c |    356350 |   21173   700461  2138957 | 2147483647   356350    100 |  0.000 % |
329.75/329.77	c |    356606 |   21173   700461  2138957 | 2147483647   356606    100 |  0.000 % |
330.06/330.11	c |    356888 |   21173   700461  2138957 | 2147483647   356888    100 |  0.000 % |
330.55/330.58	c |    357197 |   21173   700461  2138957 | 2147483647   357197    100 |  0.000 % |
330.95/330.99	c |    357538 |   21173   700461  2138957 | 2147483647   357538    100 |  0.000 % |
331.65/331.62	c |    357910 |   21173   700461  2138957 | 2147483647   357910    100 |  0.000 % |
332.45/332.42	c |    358320 |   21173   700461  2138957 | 2147483647   358320    100 |  0.000 % |
333.05/333.06	c |    358770 |   21173   700461  2138957 | 2147483647   358770    100 |  0.000 % |
333.75/333.75	c |    359265 |   21173   700461  2138957 | 2147483647   359265    100 |  0.000 % |
334.55/334.53	c |    359808 |   21173   700461  2138957 | 2147483647   359808    100 |  0.000 % |
335.35/335.36	c |    360408 |   21173   700461  2138957 | 2147483647   360408    100 |  0.000 % |
336.25/336.25	c |    361064 |   21173   700461  2138957 | 2147483647   361064    100 |  0.000 % |
337.45/337.42	c |    361786 |   21173   700461  2138957 | 2147483647   361786    100 |  0.000 % |
338.45/338.47	c |    362579 |   21173   700461  2138957 | 2147483647   362579    100 |  0.000 % |
340.24/340.23	c |    363450 |   21173   700461  2138957 | 2147483647   363450    100 |  0.000 % |
341.84/341.81	c |    364408 |   21173   700461  2138957 | 2147483647   364408    100 |  0.000 % |
343.44/343.43	c |    365461 |   21173   700461  2138957 | 2147483647   365461    100 |  0.000 % |
344.84/344.87	c |    366619 |   21173   700461  2138957 | 2147483647   366619    100 |  0.000 % |
346.24/346.20	c |    367892 |   21173   700461  2138957 | 2147483647   367892    100 |  0.000 % |
348.04/348.08	c |    369292 |   21173   700461  2138957 | 2147483647   369292    100 |  0.000 % |
350.04/350.06	c |    370836 |   21173   700461  2138957 | 2147483647   370836    100 |  0.000 % |
351.54/351.55	c |    372531 |   21173   700461  2138957 | 2147483647   372531    100 |  0.000 % |
353.24/353.25	c |    374394 |   21173   700461  2138957 | 2147483647   374394    100 |  0.000 % |
355.54/355.57	c |    376443 |   21173   700461  2138957 | 2147483647   376443    100 |  0.000 % |
358.34/358.39	c |    378699 |   21173   700461  2138957 | 2147483647   378699    100 |  0.000 % |
360.75/360.80	c |    381177 |   21173   700461  2138957 | 2147483647   381177     99 |  0.000 % |
363.65/363.70	c |    383902 |   21173   700461  2138957 | 2147483647   383902    100 |  0.000 % |
366.55/366.60	c |    386900 |   21173   700461  2138957 | 2147483647   386900    100 |  0.000 % |
369.45/369.43	c |    390197 |   21173   700461  2138957 | 2147483647   390197     99 |  0.000 % |
373.85/373.88	c |    393824 |   21173   700461  2138957 | 2147483647   393824     99 |  0.000 % |
373.95/374.01	c |    393925 |   21173   700461  2138957 | 2147483647   393925     99 |  0.000 % |
374.15/374.21	c |    394035 |   21173   700461  2138957 | 2147483647   394035     99 |  0.000 % |
374.45/374.46	c |    394156 |   21173   700461  2138957 | 2147483647   394156    100 |  0.000 % |
374.55/374.60	c |    394289 |   21173   700461  2138957 | 2147483647   394289     99 |  0.000 % |
374.75/374.75	c |    394436 |   21173   700461  2138957 | 2147483647   394436     99 |  0.000 % |
374.95/374.96	c |    394597 |   21173   700461  2138957 | 2147483647   394597     99 |  0.000 % |
375.25/375.21	c |    394775 |   21173   700461  2138957 | 2147483647   394775     99 |  0.000 % |
375.55/375.51	c |    394969 |   21173   700461  2138957 | 2147483647   394969     99 |  0.000 % |
375.75/375.80	c |    395183 |   21173   700461  2138957 | 2147483647   395183     99 |  0.000 % |
376.05/376.02	c |    395420 |   21173   700461  2138957 | 2147483647   395420     99 |  0.000 % |
376.35/376.36	c |    395676 |   21173   700461  2138957 | 2147483647   395676     99 |  0.000 % |
376.65/376.65	c |    395958 |   21173   700461  2138957 | 2147483647   395958     99 |  0.000 % |
376.85/376.88	c |    396267 |   21173   700461  2138957 | 2147483647   396267     99 |  0.000 % |
377.25/377.24	c |    396607 |   21173   700461  2138957 | 2147483647   396607     99 |  0.000 % |
377.55/377.61	c |    396979 |   21173   700461  2138957 | 2147483647   396979     99 |  0.000 % |
377.95/377.98	c |    397389 |   21173   700461  2138957 | 2147483647   397389     99 |  0.000 % |
378.45/378.45	c |    397839 |   21173   700461  2138957 | 2147483647   397839     99 |  0.000 % |
379.25/379.24	c |    398335 |   21173   700461  2138957 | 2147483647   398335     99 |  0.000 % |
379.75/379.73	c |    398879 |   21173   700461  2138957 | 2147483647   398879     99 |  0.000 % |
380.35/380.35	c |    399476 |   21173   700461  2138957 | 2147483647   399476     99 |  0.000 % |
380.95/380.94	c |    400132 |   21173   700461  2138957 | 2147483647   400132     99 |  0.000 % |
381.55/381.58	c |    400852 |   21173   700461  2138957 | 2147483647   400852     99 |  0.000 % |
382.55/382.59	c |    401644 |   21173   700461  2138957 | 2147483647   401644     99 |  0.000 % |
383.65/383.61	c |    402516 |   21173   700461  2138957 | 2147483647   402516     99 |  0.000 % |
384.85/384.87	c |    403475 |   21173   700461  2138957 | 2147483647   403475     99 |  0.000 % |
386.65/386.64	c |    404529 |   21173   700461  2138957 | 2147483647   404529     99 |  0.000 % |
388.75/388.72	c |    405689 |   21173   700461  2138957 | 2147483647   405689     99 |  0.000 % |
390.65/390.61	c |    406962 |   21173   700461  2138957 | 2147483647   406962     99 |  0.000 % |
393.15/393.14	c |    408363 |   21173   700461  2138957 | 2147483647   408363     99 |  0.000 % |
395.65/395.62	c |    409903 |   21173   700461  2138957 | 2147483647   409903     99 |  0.000 % |
398.05/398.04	c |    411597 |   21173   700461  2138957 | 2147483647   411597     99 |  0.000 % |
400.25/400.22	c |    413461 |   21173   700461  2138957 | 2147483647   413461    101 |  0.000 % |
402.35/402.41	c |    415511 |   21173   700461  2138957 | 2147483647   415511    101 |  0.000 % |
403.65/403.64	c |    417764 |   21173   700461  2138957 | 2147483647   417764    101 |  0.000 % |
405.65/405.70	c |    420242 |   21173   700461  2138957 | 2147483647   420242    101 |  0.001 % |
407.85/407.81	c |    422968 |   21173   700461  2138957 | 2147483647   422968    101 |  0.000 % |
409.85/409.90	c |    425965 |   21173   700461  2138957 | 2147483647   425965    101 |  0.001 % |
412.65/412.61	c |    429261 |   21173   700461  2138957 | 2147483647   429261    101 |  0.000 % |
415.05/415.03	c |    432886 |   21173   700461  2138957 | 2147483647   432886    101 |  0.001 % |
418.35/418.40	c |    436875 |   21173   700461  2138957 | 2147483647   436875    101 |  0.000 % |
418.55/418.56	c |    436978 |   21173   700461  2138957 | 2147483647   436978    101 |  0.000 % |
418.65/418.69	c |    437088 |   21173   700461  2138957 | 2147483647   437088    101 |  0.000 % |
418.95/418.96	c |    437209 |   21173   700461  2138957 | 2147483647   437209    101 |  0.000 % |
419.16/419.13	c |    437344 |   21173   700461  2138957 | 2147483647   437344    101 |  0.000 % |
419.25/419.29	c |    437490 |   21173   700461  2138957 | 2147483647   437490    101 |  0.000 % |
419.45/419.48	c |    437650 |   21173   700461  2138957 | 2147483647   437650    101 |  0.000 % |
419.75/419.71	c |    437827 |   21173   700461  2138957 | 2147483647   437827    101 |  0.000 % |
419.95/419.97	c |    438022 |   21173   700461  2138957 | 2147483647   438022    101 |  0.000 % |
420.35/420.35	c |    438237 |   21173   700461  2138957 | 2147483647   438237    101 |  0.000 % |
420.85/420.88	c |    438471 |   21173   700461  2138957 | 2147483647   438471    101 |  0.000 % |
421.36/421.37	c |    438728 |   21173   700461  2138957 | 2147483647   438728    101 |  0.000 % |
421.85/421.82	c |    439012 |   21173   700461  2138957 | 2147483647   439012    101 |  0.000 % |
422.46/422.48	c |    439322 |   21173   700461  2138957 | 2147483647   439322    101 |  0.000 % |
423.15/423.15	c |    439666 |   21173   700461  2138957 | 2147483647   439666    101 |  0.000 % |
423.65/423.65	c |    440038 |   21173   700461  2138957 | 2147483647   440038    101 |  0.000 % |
424.35/424.34	c |    440447 |   21173   700461  2138957 | 2147483647   440447    101 |  0.000 % |
424.95/424.93	c |    440896 |   21173   700461  2138957 | 2147483647   440896    101 |  0.000 % |
425.55/425.53	c |    441389 |   21173   700461  2138957 | 2147483647   441389    101 |  0.000 % |
426.05/426.10	c |    441934 |   21173   700461  2138957 | 2147483647   441934    101 |  0.000 % |
426.86/426.90	c |    442532 |   21173   700461  2138957 | 2147483647   442532    100 |  0.000 % |
427.85/427.91	c |    443189 |   21173   700461  2138957 | 2147483647   443189    100 |  0.000 % |
428.95/428.98	c |    443909 |   21173   700461  2138957 | 2147483647   443909    100 |  0.000 % |
430.05/430.04	c |    444702 |   21173   700461  2138957 | 2147483647   444702    100 |  0.000 % |
431.05/431.04	c |    445575 |   21173   700461  2138957 | 2147483647   445575    100 |  0.000 % |
432.45/432.41	c |    446533 |   21173   700461  2138957 | 2147483647   446533    100 |  0.000 % |
433.95/433.93	c |    447590 |   21173   700461  2138957 | 2147483647   447590    101 |  0.000 % |
435.75/435.74	c |    448751 |   21173   700461  2138957 | 2147483647   448751    100 |  0.000 % |
437.15/437.17	c |    450026 |   21173   700461  2138957 | 2147483647   450026    100 |  0.000 % |
438.65/438.69	c |    451428 |   21173   700461  2138957 | 2147483647   451428    100 |  0.000 % |
440.45/440.42	c |    452970 |   21173   700461  2138957 | 2147483647   452970    100 |  0.000 % |
442.05/442.02	c |    454666 |   21173   700461  2138957 | 2147483647   454666    100 |  0.001 % |
443.85/443.89	c |    456530 |   21173   700461  2138957 | 2147483647   456530    100 |  0.000 % |
446.05/446.02	c |    458580 |   21173   700461  2138957 | 2147483647   458580    100 |  0.000 % |
448.65/448.61	c |    460833 |   21173   700461  2138957 | 2147483647   460833    100 |  0.000 % |
452.05/452.10	c |    463312 |   21173   700461  2138957 | 2147483647   463312    100 |  0.000 % |
455.25/455.25	c |    466038 |   21173   700461  2138957 | 2147483647   466038    100 |  0.000 % |
460.16/460.20	c |    469036 |   21173   700461  2138957 | 2147483647   469036    101 |  0.000 % |
465.36/465.37	c |    472334 |   21173   700461  2138957 | 2147483647   472334    101 |  0.000 % |
470.36/470.37	c |    475961 |   21173   700461  2138957 | 2147483647   475961    102 |  0.000 % |
476.06/476.04	c |    479948 |   21173   700461  2138957 | 2147483647   479948    103 |  0.000 % |
482.46/482.46	c |    484333 |   21173   700461  2138957 | 2147483647   484333    102 |  0.000 % |
482.66/482.66	c |    484433 |   21173   700461  2138957 | 2147483647   484433    102 |  0.000 % |
482.96/482.99	c |    484545 |   21173   700461  2138957 | 2147483647   484545    102 |  0.000 % |
483.16/483.19	c |    484668 |   21173   700461  2138957 | 2147483647   484668    102 |  0.000 % |
483.36/483.38	c |    484802 |   21173   700461  2138957 | 2147483647   484802    102 |  0.000 % |
483.76/483.72	c |    484948 |   21173   700461  2138957 | 2147483647   484948    102 |  0.000 % |
483.96/484.01	c |    485111 |   21173   700461  2138957 | 2147483647   485111    102 |  0.000 % |
484.16/484.19	c |    485287 |   21173   700461  2138957 | 2147483647   485287    102 |  0.000 % |
484.46/484.46	c |    485481 |   21173   700461  2138957 | 2147483647   485481    102 |  0.000 % |
484.76/484.78	c |    485695 |   21173   700461  2138957 | 2147483647   485695    102 |  0.000 % |
485.06/485.07	c |    485929 |   21173   700461  2138957 | 2147483647   485929    102 |  0.000 % |
485.36/485.35	c |    486185 |   21173   700461  2138957 | 2147483647   486185    102 |  0.000 % |
485.76/485.76	c |    486466 |   21173   700461  2138957 | 2147483647   486466    102 |  0.000 % |
486.36/486.38	c |    486776 |   21173   700461  2138957 | 2147483647   486776    102 |  0.000 % |
487.06/487.07	c |    487116 |   21173   700461  2138957 | 2147483647   487116    102 |  0.000 % |
487.56/487.53	c |    487489 |   21173   700461  2138957 | 2147483647   487489    102 |  0.000 % |
488.16/488.15	c |    487898 |   21173   700461  2138957 | 2147483647   487898    102 |  0.000 % |
488.96/488.96	c |    488349 |   21173   700461  2138957 | 2147483647   488349    102 |  0.000 % |
489.66/489.67	c |    488847 |   21173   700461  2138957 | 2147483647   488847    102 |  0.000 % |
490.76/490.79	c |    489389 |   21173   700461  2138957 | 2147483647   489389    102 |  0.000 % |
491.66/491.70	c |    489986 |   21173   700461  2138957 | 2147483647   489986    102 |  0.000 % |
492.76/492.76	c |    490643 |   21173   700461  2138957 | 2147483647   490643    102 |  0.000 % |
493.76/493.80	c |    491363 |   21173   700461  2138957 | 2147483647   491363    102 |  0.000 % |
495.56/495.58	c |    492155 |   21173   700461  2138957 | 2147483647   492155    102 |  0.000 % |
496.86/496.88	c |    493027 |   21173   700461  2138957 | 2147483647   493027    102 |  0.000 % |
498.36/498.38	c |    493986 |   21173   700461  2138957 | 2147483647   493986    102 |  0.000 % |
499.86/499.82	c |    495039 |   21173   700461  2138957 | 2147483647   495039    102 |  0.000 % |
501.56/501.55	c |    496198 |   21173   700461  2138957 | 2147483647   496198    102 |  0.000 % |
503.26/503.23	c |    497471 |   21173   700461  2138957 | 2147483647   497471    102 |  0.000 % |
505.56/505.60	c |    498871 |   21173   700461  2138957 | 2147483647   498871    102 |  0.000 % |
507.96/507.94	c |    500412 |   21173   700461  2138957 | 2147483647   500412    102 |  0.000 % |
510.56/510.57	c |    502106 |   21173   700461  2138957 | 2147483647   502106    102 |  0.000 % |
513.16/513.21	c |    503970 |   21173   700461  2138957 | 2147483647   503970    102 |  0.000 % |
516.36/516.35	c |    506019 |   21173   700461  2138957 | 2147483647   506019    102 |  0.000 % |
519.86/519.85	c |    508272 |   21173   700461  2138957 | 2147483647   508272    102 |  0.000 % |
524.86/524.83	c |    510750 |   21173   700461  2138957 | 2147483647   510750    102 |  0.000 % |
529.66/529.70	c |    513475 |   21173   700461  2138957 | 2147483647   513475    102 |  0.000 % |
534.76/534.79	c |    516472 |   21173   700461  2138957 | 2147483647   516472    102 |  0.000 % |
540.36/540.32	c |    519769 |   21173   700461  2138957 | 2147483647   519769    102 |  0.000 % |
545.16/545.13	c |    523394 |   21173   700461  2138957 | 2147483647   523394    101 |  0.000 % |
550.66/550.69	c |    527381 |   21173   700461  2138957 | 2147483647   527381    101 |  0.000 % |
557.37/557.40	c |    531767 |   21173   700461  2138957 | 2147483647   531767    101 |  0.000 % |
564.97/564.93	c |    536593 |   21173   700461  2138957 | 2147483647   536593    101 |  0.000 % |
565.17/565.13	c |    536693 |   21173   700461  2138957 | 2147483647   536693    101 |  0.000 % |
565.27/565.30	c |    536805 |   21173   700461  2138957 | 2147483647   536805    101 |  0.000 % |
565.47/565.48	c |    536928 |   21173   700461  2138957 | 2147483647   536928    101 |  0.000 % |
565.77/565.73	c |    537062 |   21173   700461  2138957 | 2147483647   537062    101 |  0.000 % |
566.07/566.08	c |    537208 |   21173   700461  2138957 | 2147483647   537208    101 |  0.000 % |
566.37/566.40	c |    537369 |   21173   700461  2138957 | 2147483647   537369    101 |  0.000 % |
566.77/566.72	c |    537546 |   21173   700461  2138957 | 2147483647   537546    101 |  0.000 % |
567.17/567.17	c |    537739 |   21173   700461  2138957 | 2147483647   537739    101 |  0.000 % |
567.47/567.48	c |    537953 |   21173   700461  2138957 | 2147483647   537953    101 |  0.000 % |
567.87/567.83	c |    538186 |   21173   700461  2138957 | 2147483647   538186    101 |  0.000 % |
568.27/568.25	c |    538443 |   21173   700461  2138957 | 2147483647   538443    101 |  0.000 % |
568.57/568.58	c |    538725 |   21173   700461  2138957 | 2147483647   538725    101 |  0.000 % |
569.07/569.02	c |    539040 |   21173   700461  2138957 | 2147483647   539040    101 |  0.000 % |
570.17/570.18	c |    539380 |   21173   700461  2138957 | 2147483647   539380    101 |  0.000 % |
570.67/570.70	c |    539752 |   21173   700461  2138957 | 2147483647   539752    101 |  0.000 % |
571.37/571.33	c |    540161 |   21173   700461  2138957 | 2147483647   540161    101 |  0.000 % |
571.97/572.01	c |    540613 |   21173   700461  2138957 | 2147483647   540613    101 |  0.000 % |
572.67/572.71	c |    541110 |   21173   700461  2138957 | 2147483647   541110    101 |  0.000 % |
573.97/573.93	c |    541652 |   21173   700461  2138957 | 2147483647   541652    101 |  0.000 % |
574.77/574.75	c |    542248 |   21173   700461  2138957 | 2147483647   542248    101 |  0.000 % |
575.67/575.70	c |    542903 |   21173   700461  2138957 | 2147483647   542903    101 |  0.000 % |
576.87/576.89	c |    543624 |   21173   700461  2138957 | 2147483647   543624    101 |  0.000 % |
578.27/578.22	c |    544416 |   21173   700461  2138957 | 2147483647   544416    101 |  0.000 % |
579.87/579.88	c |    545288 |   21173   700461  2138957 | 2147483647   545288    101 |  0.000 % |
581.37/581.35	c |    546246 |   21173   700461  2138957 | 2147483647   546246    101 |  0.000 % |
583.67/583.69	c |    547299 |   21173   700461  2138957 | 2147483647   547299    101 |  0.000 % |
585.87/585.89	c |    548457 |   21173   700461  2138957 | 2147483647   548457    101 |  0.000 % |
588.57/588.58	c |    549730 |   21173   700461  2138957 | 2147483647   549730    101 |  0.000 % |
590.87/590.82	c |    551130 |   21173   700461  2138957 | 2147483647   551130    101 |  0.000 % |
593.67/593.65	c |    552673 |   21173   700461  2138957 | 2147483647   552673    101 |  0.000 % |
596.97/596.91	c |    554368 |   21173   700461  2138957 | 2147483647   554368    101 |  0.000 % |
600.07/600.05	c |    556231 |   21173   700461  2138957 | 2147483647   556231    100 |  0.000 % |
603.97/603.96	c |    558280 |   21173   700461  2138957 | 2147483647   558280    100 |  0.000 % |
608.17/608.19	c |    560533 |   21173   700461  2138957 | 2147483647   560533    100 |  0.000 % |
613.57/613.56	c |    563012 |   21173   700461  2138957 | 2147483647   563012    100 |  0.000 % |
619.07/619.10	c |    565737 |   21173   700461  2138957 | 2147483647   565737    100 |  0.000 % |
624.77/624.74	c |    568735 |   21173   700461  2138957 | 2147483647   568735    100 |  0.000 % |
631.17/631.12	c |    572033 |   21173   700461  2138957 | 2147483647   572033    100 |  0.000 % |
637.77/637.74	c |    575658 |   21173   700461  2138957 | 2147483647   575658    100 |  0.000 % |
644.37/644.31	c |    579645 |   21173   700461  2138957 | 2147483647   579645    100 |  0.000 % |
651.77/651.79	c |    584031 |   21173   700461  2138957 | 2147483647   584031    100 |  0.000 % |
659.48/659.46	c |    588855 |   21173   700461  2138957 | 2147483647   588855    101 |  0.000 % |
669.18/669.18	c |    594160 |   21173   700461  2138957 | 2147483647   594160    101 |  0.000 % |
669.38/669.38	c |    594264 |   21173   700461  2138957 | 2147483647   594264    101 |  0.000 % |
669.58/669.57	c |    594374 |   21173   700461  2138957 | 2147483647   594374    101 |  0.000 % |
669.88/669.83	c |    594496 |   21173   700461  2138957 | 2147483647   594496    101 |  0.000 % |
670.08/670.07	c |    594630 |   21173   700461  2138957 | 2147483647   594630    101 |  0.000 % |
670.38/670.35	c |    594779 |   21173   700461  2138957 | 2147483647   594779    101 |  0.000 % |
670.68/670.67	c |    594940 |   21173   700461  2138957 | 2147483647   594940    101 |  0.000 % |
670.98/671.01	c |    595116 |   21173   700461  2138957 | 2147483647   595116    101 |  0.000 % |
671.38/671.34	c |    595309 |   21173   700461  2138957 | 2147483647   595309    101 |  0.000 % |
671.98/671.93	c |    595521 |   21173   700461  2138957 | 2147483647   595521    101 |  0.000 % |
672.48/672.48	c |    595754 |   21173   700461  2138957 | 2147483647   595754    101 |  0.000 % |
672.88/672.85	c |    596010 |   21173   700461  2138957 | 2147483647   596010    101 |  0.000 % |
673.48/673.49	c |    596291 |   21173   700461  2138957 | 2147483647   596291    101 |  0.000 % |
674.08/674.06	c |    596600 |   21173   700461  2138957 | 2147483647   596600    101 |  0.000 % |
674.58/674.56	c |    596939 |   21173   700461  2138957 | 2147483647   596939    101 |  0.000 % |
675.28/675.23	c |    597311 |   21173   700461  2138957 | 2147483647   597311    101 |  0.000 % |
676.08/676.03	c |    597724 |   21173   700461  2138957 | 2147483647   597724    101 |  0.000 % |
676.78/676.74	c |    598173 |   21173   700461  2138957 | 2147483647   598173    101 |  0.000 % |
677.88/677.85	c |    598668 |   21173   700461  2138957 | 2147483647   598668    101 |  0.000 % |
678.48/678.43	c |    599210 |   21173   700461  2138957 | 2147483647   599210    101 |  0.000 % |
679.38/679.33	c |    599806 |   21173   700461  2138957 | 2147483647   599806    101 |  0.000 % |
680.48/680.48	c |    600462 |   21173   700461  2138957 | 2147483647   600462    101 |  0.000 % |
681.88/681.87	c |    601183 |   21173   700461  2138957 | 2147483647   601183    101 |  0.000 % |
683.08/683.02	c |    601975 |   21173   700461  2138957 | 2147483647   601975    101 |  0.000 % |
684.28/684.30	c |    602846 |   21173   700461  2138957 | 2147483647   602846    101 |  0.000 % |
685.58/685.57	c |    603804 |   21173   700461  2138957 | 2147483647   603804    101 |  0.000 % |
687.28/687.22	c |    604857 |   21173   700461  2138957 | 2147483647   604857    101 |  0.000 % |
689.18/689.14	c |    606017 |   21173   700461  2138957 | 2147483647   606017    101 |  0.000 % |
691.48/691.43	c |    607290 |   21173   700461  2138957 | 2147483647   607290    101 |  0.000 % |
693.58/693.56	c |    608690 |   21173   700461  2138957 | 2147483647   608690    101 |  0.000 % |
696.28/696.29	c |    610230 |   21173   700461  2138957 | 2147483647   610230    101 |  0.000 % |
699.47/699.50	c |    611924 |   21173   700461  2138957 | 2147483647   611924    101 |  0.000 % |
703.07/703.03	c |    613788 |   21173   700461  2138957 | 2147483647   613788    101 |  0.000 % |
707.67/707.60	c |    615837 |   21173   700461  2138957 | 2147483647   615837    101 |  0.000 % |
711.77/711.77	c |    618090 |   21173   700461  2138957 | 2147483647   618090    101 |  0.000 % |
717.28/717.26	c |    620568 |   21173   700461  2138957 | 2147483647   620568    101 |  0.000 % |
722.57/722.50	c |    623295 |   21173   700461  2138957 | 2147483647   623295    101 |  0.000 % |
728.28/728.24	c |    626292 |   21173   700461  2138957 | 2147483647   626292    100 |  0.000 % |
734.57/734.57	c |    629589 |   21173   700461  2138957 | 2147483647   629589    100 |  0.000 % |
740.07/740.02	c |    633214 |   21173   700461  2138957 | 2147483647   633214    100 |  0.000 % |
746.17/746.11	c |    637203 |   21173   700461  2138957 | 2147483647   637203    100 |  0.000 % |
753.28/753.27	c |    641589 |   21173   700461  2138957 | 2147483647   641589    100 |  0.000 % |
763.58/763.55	c |    646412 |   21173   700461  2138957 | 2147483647   646412    100 |  0.000 % |
773.68/773.70	c |    651719 |   21173   700461  2138957 | 2147483647   651719    100 |  0.000 % |
785.78/785.73	c |    657555 |   21173   700461  2138957 | 2147483647   657555    100 |  0.000 % |
786.08/786.05	c |    657656 |   21173   700461  2138957 | 2147483647   657656    100 |  0.000 % |
786.38/786.31	c |    657769 |   21173   700461  2138957 | 2147483647   657769    100 |  0.000 % |
786.58/786.56	c |    657892 |   21173   700461  2138957 | 2147483647   657892    100 |  0.000 % |
786.88/786.81	c |    658027 |   21173   700461  2138957 | 2147483647   658027    100 |  0.000 % |
787.38/787.31	c |    658174 |   21173   700461  2138957 | 2147483647   658174    100 |  0.000 % |
787.68/787.60	c |    658336 |   21173   700461  2138957 | 2147483647   658336    100 |  0.000 % |
787.98/787.92	c |    658514 |   21173   700461  2138957 | 2147483647   658514    100 |  0.000 % |
788.68/788.69	c |    658707 |   21173   700461  2138957 | 2147483647   658707    100 |  0.000 % |
789.08/789.10	c |    658920 |   21173   700461  2138957 | 2147483647   658920    100 |  0.000 % |
789.68/789.69	c |    659155 |   21173   700461  2138957 | 2147483647   659155    100 |  0.000 % |
790.18/790.18	c |    659411 |   21173   700461  2138957 | 2147483647   659411    100 |  0.000 % |
790.68/790.69	c |    659693 |   21173   700461  2138957 | 2147483647   659693    100 |  0.000 % |
791.38/791.40	c |    660003 |   21173   700461  2138957 | 2147483647   660003    100 |  0.000 % |
792.48/792.43	c |    660342 |   21173   700461  2138957 | 2147483647   660342    100 |  0.000 % |
793.28/793.23	c |    660715 |   21173   700461  2138957 | 2147483647   660715    100 |  0.000 % |
794.08/794.06	c |    661126 |   21173   700461  2138957 | 2147483647   661126    100 |  0.000 % |
794.88/794.87	c |    661575 |   21173   700461  2138957 | 2147483647   661575    100 |  0.000 % |
796.08/796.06	c |    662068 |   21173   700461  2138957 | 2147483647   662068    100 |  0.000 % |
797.38/797.33	c |    662610 |   21173   700461  2138957 | 2147483647   662610    100 |  0.000 % |
798.78/798.76	c |    663206 |   21173   700461  2138957 | 2147483647   663206    100 |  0.000 % |
800.28/800.22	c |    663861 |   21173   700461  2138957 | 2147483647   663861    100 |  0.000 % |
801.38/801.39	c |    664582 |   21173   700461  2138957 | 2147483647   664582    100 |  0.000 % |
802.88/802.89	c |    665374 |   21173   700461  2138957 | 2147483647   665374    100 |  0.000 % |
804.98/804.94	c |    666245 |   21173   700461  2138957 | 2147483647   666245    100 |  0.000 % |
806.68/806.62	c |    667203 |   21173   700461  2138957 | 2147483647   667203    100 |  0.000 % |
809.28/809.22	c |    668258 |   21173   700461  2138957 | 2147483647   668258    100 |  0.000 % |
811.68/811.67	c |    669417 |   21173   700461  2138957 | 2147483647   669417    100 |  0.000 % |
813.98/813.96	c |    670691 |   21173   700461  2138957 | 2147483647   670691    100 |  0.000 % |
817.18/817.17	c |    672091 |   21173   700461  2138957 | 2147483647   672091    100 |  0.000 % |
820.28/820.21	c |    673636 |   21173   700461  2138957 | 2147483647   673636    100 |  0.000 % |
823.39/823.33	c |    675330 |   21173   700461  2138957 | 2147483647   675330    100 |  0.000 % |
827.09/827.05	c |    677195 |   21173   700461  2138957 | 2147483647   677195    100 |  0.000 % |
831.89/831.82	c |    679247 |   21173   700461  2138957 | 2147483647   679247    100 |  0.000 % |
836.59/836.56	c |    681501 |   21173   700461  2138957 | 2147483647   681501    100 |  0.000 % |
841.79/841.75	c |    683979 |   21173   700461  2138957 | 2147483647   683979    100 |  0.000 % |
846.99/847.00	c |    686704 |   21173   700461  2138957 | 2147483647   686704    100 |  0.000 % |
851.50/851.48	c |    689704 |   21173   700461  2138957 | 2147483647   689704     99 |  0.000 % |
856.80/856.73	c |    693000 |   21173   700461  2138957 | 2147483647   693000     99 |  0.000 % |
865.00/864.95	c |    696625 |   21173   700461  2138957 | 2147483647   696625     99 |  0.000 % |
872.20/872.22	c |    700612 |   21173   700461  2138957 | 2147483647   700612     99 |  0.000 % |
877.50/877.42	c |    704998 |   21173   700461  2138957 | 2147483647   704998     99 |  0.000 % |
882.20/882.13	c |    709822 |   21173   700461  2138957 | 2147483647   709822     99 |  0.000 % |
888.20/888.14	c |    715130 |   21173   700461  2138957 | 2147483647   715130     98 |  0.000 % |
893.60/893.60	c |    720966 |   21173   700461  2138957 | 2147483647   720966     98 |  0.000 % |
902.50/902.49	c |    727384 |   21173   700461  2138957 | 2147483647   727384     98 |  0.000 % |
902.70/902.66	c |    727484 |   21173   700461  2138957 | 2147483647   727484     98 |  0.000 % |
902.90/902.83	c |    727594 |   21173   700461  2138957 | 2147483647   727594     98 |  0.000 % |
903.10/903.07	c |    727715 |   21173   700461  2138957 | 2147483647   727715     98 |  0.000 % |
903.30/903.31	c |    727848 |   21173   700461  2138957 | 2147483647   727848     98 |  0.000 % |
903.60/903.52	c |    727995 |   21173   700461  2138957 | 2147483647   727995     98 |  0.000 % |
903.90/903.87	c |    728155 |   21173   700461  2138957 | 2147483647   728155     98 |  0.000 % |
904.20/904.15	c |    728332 |   21173   700461  2138957 | 2147483647   728332     98 |  0.000 % |
904.50/904.45	c |    728525 |   21173   700461  2138957 | 2147483647   728525     98 |  0.000 % |
904.90/904.84	c |    728738 |   21173   700461  2138957 | 2147483647   728738     98 |  0.000 % |
905.30/905.24	c |    728972 |   21173   700461  2138957 | 2147483647   728972     98 |  0.000 % |
905.70/905.65	c |    729229 |   21173   700461  2138957 | 2147483647   729229     98 |  0.000 % |
906.10/906.04	c |    729511 |   21173   700461  2138957 | 2147483647   729511     98 |  0.000 % |
906.70/906.67	c |    729822 |   21173   700461  2138957 | 2147483647   729822     98 |  0.000 % |
907.30/907.24	c |    730164 |   21173   700461  2138957 | 2147483647   730164     98 |  0.000 % |
907.80/907.79	c |    730536 |   21173   700461  2138957 | 2147483647   730536     98 |  0.000 % |
908.50/908.45	c |    730947 |   21173   700461  2138957 | 2147483647   730947     98 |  0.000 % |
909.30/909.26	c |    731396 |   21173   700461  2138957 | 2147483647   731396     98 |  0.000 % |
910.30/910.24	c |    731890 |   21173   700461  2138957 | 2147483647   731890     98 |  0.000 % |
911.20/911.16	c |    732432 |   21173   700461  2138957 | 2147483647   732432     98 |  0.000 % |
912.20/912.16	c |    733028 |   21173   700461  2138957 | 2147483647   733028     98 |  0.000 % |
913.40/913.33	c |    733684 |   21173   700461  2138957 | 2147483647   733684     98 |  0.000 % |
914.60/914.52	c |    734404 |   21173   700461  2138957 | 2147483647   734404     97 |  0.000 % |
916.00/915.95	c |    735199 |   21173   700461  2138957 | 2147483647   735199     97 |  0.000 % |
917.40/917.33	c |    736070 |   21173   700461  2138957 | 2147483647   736070     97 |  0.000 % |
919.71/919.65	c |    737030 |   21172   698552  2134912 | 2147483647   736545     97 |  0.005 % |
921.40/921.38	c |    738088 |   21172   698552  2134912 | 2147483647   737603     97 |  0.005 % |
923.20/923.17	c |    739246 |   21061   698552  2134912 | 2147483647   738760     97 |  1.785 % |
925.10/925.05	c |    740519 |   21060   698552  2134912 | 2147483647   740032     97 |  1.791 % |
927.30/927.28	c ===============================================================================
927.30/927.28	c restarts              : 1065
927.30/927.28	c conflicts             : 741758         (803 /sec)
927.30/927.28	c decisions             : 3911851        (1.21 % random) (4237 /sec)
927.30/927.28	c propagations          : 490586675      (531387 /sec)
927.30/927.28	c conflict literals     : 72088908       (53.22 % deleted)
927.30/927.28	c Memory used           : 343.10 MB
927.30/927.28	c CPU time              : 923.22 s
927.30/927.28	c 
927.30/927.28	s UNSATISFIABLE
927.30/927.30	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=952 CPUtime=0
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 123 0 0 0 0 0 0 0 25 0 1 0 1022625675 974848 59 4294967295 134512640 135223648 3220632240 3220630824 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 238 61 46 174 0 63 0

[startup+0.017665 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=2068 CPUtime=0.02
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 411 0 0 0 2 0 0 0 25 0 1 0 1022625675 2117632 347 4294967295 134512640 135223648 3220632240 3220631192 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 517 347 46 174 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4484

[startup+0.107647 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=9372 CPUtime=0.11
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 2116 0 0 0 10 1 0 0 25 0 1 0 1022625675 9596928 2052 4294967295 134512640 135223648 3220632240 3220631192 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 2343 2053 46 174 0 2168 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11788

[startup+0.30763 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=24948 CPUtime=0.31
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 5790 0 0 0 26 5 0 0 25 0 1 0 1022625675 25546752 5726 4294967295 134512640 135223648 3220632240 3220631192 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 6237 5726 46 174 0 6062 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 27364

[startup+0.707595 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=54424 CPUtime=0.71
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 13887 0 0 0 63 8 0 0 25 0 1 0 1022625675 55730176 12535 4294967295 134512640 135223648 3220632240 3220630256 134586814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 13606 12535 73 174 0 13431 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 56840

[startup+1.50753 s]
/proc/loadavg: 0.99 0.98 0.99 4/95 10968
/proc/meminfo: memFree=662472/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=67468 CPUtime=1.51
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 15603 0 0 0 143 8 0 0 25 0 1 0 1022625675 69087232 14251 4294967295 134512640 135223648 3220632240 3220630592 134602396 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 16867 14251 74 174 0 16692 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 69884

[startup+3.10739 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 10968
/proc/meminfo: memFree=656644/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=58484 CPUtime=3.11
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 16920 0 0 0 301 10 0 0 25 0 1 0 1022625675 59887616 12939 4294967295 134512640 135223648 3220632240 3220629044 134822447 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 14621 12939 74 174 0 14446 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 60900

[startup+6.30711 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 10969
/proc/meminfo: memFree=666348/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=36096 CPUtime=2.84
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 8534 0 0 0 280 4 0 0 25 0 1 0 1022626022 36962304 8468 4294967295 134512640 135215339 3218958704 3218956992 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 9024 8468 73 172 0 8851 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 38516

[startup+12.7066 s]
/proc/loadavg: 0.99 0.98 0.99 4/95 10969
/proc/meminfo: memFree=661916/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=40248 CPUtime=9.24
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 9581 0 0 0 918 6 0 0 25 0 1 0 1022626022 41213952 9515 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 10062 9515 73 172 0 9889 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 42668

[startup+25.5154 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 10969
/proc/meminfo: memFree=652216/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=49844 CPUtime=22.05
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 11969 0 0 0 2198 7 0 0 25 0 1 0 1022626022 51040256 11903 4294967295 134512640 135215339 3218958704 3218956992 134528728 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 12461 11903 73 172 0 12288 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 52264

[startup+51.1132 s]
/proc/loadavg: 1.06 1.00 1.00 3/95 10970
/proc/meminfo: memFree=635648/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=66660 CPUtime=47.65
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 16151 0 0 0 4756 9 0 0 25 0 1 0 1022626022 68259840 16085 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 16665 16085 73 172 0 16492 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 69080

[startup+102.319 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 11158
/proc/meminfo: memFree=609228/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=92680 CPUtime=98.86
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 22574 0 0 0 9873 13 0 0 25 0 1 0 1022626022 94904320 22508 4294967295 134512640 135215339 3218958704 3218956992 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 23170 22508 73 172 0 22997 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 95100

[startup+162.314 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 11349
/proc/meminfo: memFree=580228/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=121792 CPUtime=158.86
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 29902 0 0 0 15870 16 0 0 25 0 1 0 1022626022 124715008 29836 4294967295 134512640 135215339 3218958704 3218956992 134529157 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 30448 29836 73 172 0 30275 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 124212

[startup+222.318 s]
/proc/loadavg: 1.10 1.03 1.01 3/95 11538
/proc/meminfo: memFree=553560/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=148204 CPUtime=218.87
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 36450 0 0 0 21863 24 0 0 25 0 1 0 1022626022 151760896 36384 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 37051 36384 73 172 0 36878 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 150624

[startup+282.323 s]
/proc/loadavg: 1.08 1.04 1.01 2/95 11722
/proc/meminfo: memFree=529636/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=173140 CPUtime=278.88
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 42543 0 0 0 27858 30 0 0 25 0 1 0 1022626022 177295360 42477 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 43285 42477 73 172 0 43112 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 175560

[startup+342.308 s]
/proc/loadavg: 1.03 1.03 1.00 4/95 11915
/proc/meminfo: memFree=508300/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=194112 CPUtime=338.87
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 47812 0 0 0 33853 34 0 0 25 0 1 0 1022626022 198770688 47746 4294967295 134512640 135215339 3218958704 3218956992 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 48528 47746 73 172 0 48355 0
Current children cumulated CPU time (s) 342.34

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


[startup+642.312 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 12854
/proc/meminfo: memFree=415176/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=287708 CPUtime=638.9
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 70971 0 0 0 63844 46 0 0 25 0 1 0 1022626022 294612992 70905 4294967295 134512640 135215339 3218958704 3218956992 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 71927 70905 73 172 0 71754 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 290128

[startup+702.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 13046
/proc/meminfo: memFree=398072/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=305264 CPUtime=698.9
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 75328 0 0 0 69840 50 0 0 25 0 1 0 1022626022 312590336 75262 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 76316 75262 73 172 0 76143 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 307684

[startup+762.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13235
/proc/meminfo: memFree=385672/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=317356 CPUtime=758.91
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 78373 0 0 0 75839 52 0 0 25 0 1 0 1022626022 324972544 78307 4294967295 134512640 135215339 3218958704 3218956992 134528884 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 79339 78307 73 172 0 79166 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 319776

[startup+822.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13424
/proc/meminfo: memFree=374008/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=328624 CPUtime=818.91
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 81220 0 0 0 81835 56 0 0 25 0 1 0 1022626022 336510976 81154 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 82156 81154 73 172 0 81983 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 331044

[startup+882.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13608
/proc/meminfo: memFree=361684/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=342388 CPUtime=878.93
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 84281 0 0 0 87828 65 0 0 25 0 1 0 1022626022 350605312 84215 4294967295 134512640 135215339 3218958704 3218956992 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 85597 84215 73 172 0 85424 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 344808

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

[startup+895.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=358468/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=345344 CPUtime=892.53
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 85060 0 0 0 89187 66 0 0 25 0 1 0 1022626022 353632256 84994 4294967295 134512640 135215339 3218958704 3218956800 134527367 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 86336 84994 73 172 0 86163 0
Current children cumulated CPU time (s) 896
Current children cumulated vsize (KiB) 347764

[startup+908.719 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=355272/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=348388 CPUtime=905.33
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 85830 0 0 0 90467 66 0 0 25 0 1 0 1022626022 356749312 85764 4294967295 134512640 135215339 3218958704 3218956992 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87097 85764 73 172 0 86924 0
Current children cumulated CPU time (s) 908.8
Current children cumulated vsize (KiB) 350808

[startup+915.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=354592/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=349048 CPUtime=911.73
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86004 0 0 0 91106 67 0 0 25 0 1 0 1022626022 357425152 85938 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87262 85938 73 172 0 87089 0
Current children cumulated CPU time (s) 915.2
Current children cumulated vsize (KiB) 351468

[startup+921.518 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=353740/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=350136 CPUtime=918.13
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86281 0 0 0 91746 67 0 0 25 0 1 0 1022626022 358539264 86215 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87534 86215 73 172 0 87361 0
Current children cumulated CPU time (s) 921.6
Current children cumulated vsize (KiB) 352556

[startup+924.718 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=353120/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=350932 CPUtime=921.33
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86446 0 0 0 92066 67 0 0 25 0 1 0 1022626022 359354368 86380 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87733 86380 73 172 0 87560 0
Current children cumulated CPU time (s) 924.8
Current children cumulated vsize (KiB) 353352

[startup+926.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352748/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351196 CPUtime=922.93
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86500 0 0 0 92226 67 0 0 25 0 1 0 1022626022 359624704 86434 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87799 86434 73 172 0 87626 0
Current children cumulated CPU time (s) 926.4
Current children cumulated vsize (KiB) 353616

[startup+926.717 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352748/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351196 CPUtime=923.33
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86516 0 0 0 92266 67 0 0 25 0 1 0 1022626022 359624704 86450 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87799 86450 73 172 0 87626 0
Current children cumulated CPU time (s) 926.8
Current children cumulated vsize (KiB) 353616

[startup+927.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352748/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351328 CPUtime=923.73
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86533 0 0 0 92306 67 0 0 25 0 1 0 1022626022 359759872 86467 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87832 86467 73 172 0 87659 0
Current children cumulated CPU time (s) 927.2
Current children cumulated vsize (KiB) 353748

[startup+927.217 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352500/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351328 CPUtime=923.83
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86535 0 0 0 92316 67 0 0 25 0 1 0 1022626022 359759872 86469 4294967295 134512640 135215339 3218958704 3218956920 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87832 86469 73 172 0 87659 0
Current children cumulated CPU time (s) 927.3
Current children cumulated vsize (KiB) 353748

Child status: 20
Real time (s): 927.318
CPU time (s): 927.4
CPU user time (s): 926.59
CPU system time (s): 0.81
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 353748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 926.59
system time used= 0.81
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104769
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= 25
involuntary context switches= 1837

runsolver used 0.02 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi27 at 2009-05-17 19:28:04
IDJOB=1821940
IDBENCH=71743
IDSOLVER=657
FILE ID=tipi27/1821940-1242581284
PBS_JOBID=
Free space on /tmp= 8405 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= runsolver --timestamp  -w /tmp/evaluation-result-1821940-1242581284/watcher-1821940-1242581284 -o /tmp/evaluation-result-1821940-1242581284/solver-1821940-1242581284 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821940-1242581284.cnf

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

MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED= 1604845752

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        713080 kB
Buffers:         63796 kB
Cached:        1181300 kB
SwapCached:       5456 kB
Active:         458788 kB
Inactive:       795932 kB
HighTotal:     1178688 kB
HighFree:       312228 kB
LowTotal:       895776 kB
LowFree:        400852 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:           14908 kB
Writeback:           0 kB
AnonPages:        9120 kB
Mapped:           3276 kB
Slab:            97712 kB
PageTables:        552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90628 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8405 MiB
End job on tipi27 at 2009-05-17 19:43:33