Trace number 1837512

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 10000.1 10002.9

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
MD5SUMecc4810d82e30597ea8451526243ec09
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2522
Number of clauses243459
Sum of the clauses size726523
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24164
Number of clauses of size 3239264
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data

0.00/0.00	c Parsing...
0.00/0.14	c ==============================================================================
0.00/0.14	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.14	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.14	c ==============================================================================
0.00/0.14	c |         0 |  243459   726523 |   73037       0        0     nan |  0.000 % |
3.48/3.55	c |         0 |  242248  1066319 |      --       0       --      -- |     --   | -1211/339796
3.48/3.55	c ==============================================================================
3.48/3.55	c Result  :   #vars: 1581   #clauses: 242248   #literals: 1066319
3.48/3.55	c CPU time:   3.49347 s
3.48/3.55	c ==============================================================================
3.78/3.85	c This is MiniSat 2.0 beta
3.78/3.85	c WARNING: for repeatability, setting FPU to use double precision
3.78/3.85	c ============================[ Problem Statistics ]=============================
3.78/3.85	c |                                                                             |
3.78/3.86	c |  Number of variables:  1581                                                 |
3.78/3.86	c |  Number of clauses:    242248                                               |
3.84/3.99	c |  Parsing time:         0.12         s                                       |
3.84/4.00	c ============================[ Search Statistics ]==============================
3.84/4.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.84/4.00	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.84/4.00	c ===============================================================================
3.84/4.00	c |         0 |    1581   242248  1066319 |    80749        0    nan |  0.000 % |
3.84/4.10	c |       100 |    1581   242248  1066319 |    80749      100     47 |  0.000 % |
3.84/4.23	c |       201 |    1581   242248  1066319 |    80749      201     62 |  0.000 % |
4.27/4.31	c |       301 |    1581   242248  1066319 |    80749      301     69 |  0.000 % |
4.37/4.42	c |       413 |    1581   242248  1066319 |    80749      413     73 |  0.000 % |
4.37/4.49	c |       514 |    1581   242248  1066319 |    80749      514     78 |  0.000 % |
4.57/4.61	c |       624 |    1581   242248  1066319 |    80749      624     79 |  0.000 % |
4.67/4.74	c |       749 |    1581   242248  1066319 |    80749      749     81 |  0.000 % |
4.77/4.84	c |       850 |    1581   242248  1066319 |    80749      850     82 |  0.000 % |
4.87/4.94	c |       960 |    1581   242248  1066319 |    80749      960     83 |  0.000 % |
4.97/5.03	c |      1083 |    1581   242248  1066319 |    80749     1083     85 |  0.000 % |
5.07/5.13	c |      1216 |    1581   242248  1066319 |    80749     1216     87 |  0.000 % |
5.17/5.21	c |      1318 |    1581   242248  1066319 |    80749     1318     86 |  0.000 % |
5.27/5.31	c |      1428 |    1581   242248  1066319 |    80749     1428     85 |  0.000 % |
5.38/5.41	c |      1552 |    1581   242248  1066319 |    80749     1552     85 |  0.000 % |
5.48/5.52	c |      1685 |    1581   242248  1066319 |    80749     1685     85 |  0.000 % |
5.48/5.59	c |      1831 |    1581   242248  1066319 |    80749     1831     86 |  0.000 % |
5.57/5.63	c |      1932 |    1581   242248  1066319 |    80749     1932     86 |  0.000 % |
5.57/5.68	c |      2044 |    1581   242248  1066319 |    80749     2044     87 |  0.000 % |
5.67/5.73	c |      2167 |    1581   242248  1066319 |    80749     2167     87 |  0.000 % |
5.67/5.79	c |      2304 |    1581   242248  1066319 |    80749     2304     87 |  0.000 % |
5.77/5.83	c |      2454 |    1581   242248  1066319 |    80749     2454     88 |  0.000 % |
5.77/5.90	c |      2614 |    1581   242248  1066319 |    80749     2614     89 |  0.000 % |
5.87/5.94	c |      2714 |    1581   242248  1066319 |    80749     2714     89 |  0.000 % |
5.87/5.98	c |      2825 |    1581   242248  1066319 |    80749     2825     89 |  0.000 % |
5.97/6.02	c |      2946 |    1581   242248  1066319 |    80749     2946     90 |  0.000 % |
5.97/6.06	c |      3081 |    1581   242248  1066319 |    80749     3081     90 |  0.000 % |
6.07/6.11	c |      3227 |    1581   242248  1066319 |    80749     3227     90 |  0.000 % |
6.07/6.17	c |      3389 |    1581   242248  1066319 |    80749     3389     91 |  0.000 % |
6.17/6.24	c |      3565 |    1581   242248  1066319 |    80749     3565     91 |  0.000 % |
6.17/6.29	c |      3666 |    1581   242248  1066319 |    80749     3666     92 |  0.000 % |
6.27/6.32	c |      3776 |    1581   242248  1066319 |    80749     3776     92 |  0.000 % |
6.27/6.38	c |      3898 |    1581   242248  1066319 |    80749     3898     92 |  0.000 % |
6.37/6.44	c |      4031 |    1581   242248  1066319 |    80749     4031     92 |  0.000 % |
6.47/6.50	c |      4178 |    1581   242248  1066319 |    80749     4178     93 |  0.000 % |
6.47/6.59	c |      4344 |    1581   242248  1066319 |    80749     4344     93 |  0.000 % |
6.57/6.68	c |      4522 |    1581   242248  1066319 |    80749     4522     93 |  0.000 % |
6.67/6.76	c |      4717 |    1581   242248  1066319 |    80749     4717     94 |  0.000 % |
6.67/6.79	c |      4817 |    1581   242248  1066319 |    80749     4817     94 |  0.000 % |
6.77/6.82	c |      4927 |    1581   242248  1066319 |    80749     4927     94 |  0.000 % |
6.77/6.88	c |      5049 |    1581   242248  1066319 |    80749     5049     94 |  0.000 % |
6.87/6.94	c |      5184 |    1581   242248  1066319 |    80749     5184     94 |  0.000 % |
6.97/7.01	c |      5331 |    1581   242248  1066319 |    80749     5331     94 |  0.000 % |
6.97/7.09	c |      5493 |    1581   242248  1066319 |    80749     5493     95 |  0.000 % |
7.07/7.16	c |      5669 |    1581   242248  1066319 |    80749     5669     95 |  0.000 % |
7.17/7.26	c |      5864 |    1581   242248  1066319 |    80749     5864     95 |  0.000 % |
7.27/7.38	c |      6077 |    1581   242248  1066319 |    80749     6077     95 |  0.000 % |
7.37/7.44	c |      6178 |    1581   242248  1066319 |    80749     6178     95 |  0.000 % |
7.37/7.48	c |      6290 |    1581   242248  1066319 |    80749     6290     95 |  0.000 % |
7.47/7.53	c |      6412 |    1581   242248  1066319 |    80749     6412     95 |  0.000 % |
7.47/7.59	c |      6545 |    1581   242248  1066319 |    80749     6545     95 |  0.000 % |
7.57/7.68	c |      6692 |    1581   242248  1066319 |    80749     6692     95 |  0.000 % |
7.67/7.76	c |      6853 |    1581   242248  1066319 |    80749     6853     95 |  0.000 % |
7.77/7.85	c |      7030 |    1581   242248  1066319 |    80749     7030     95 |  0.000 % |
7.87/7.94	c |      7224 |    1581   242248  1066319 |    80749     7224     95 |  0.000 % |
7.97/8.03	c |      7436 |    1581   242248  1066319 |    80749     7436     95 |  0.000 % |
8.08/8.12	c |      7669 |    1581   242248  1066319 |    80749     7669     95 |  0.000 % |
8.08/8.16	c |      7769 |    1581   242248  1066319 |    80749     7769     95 |  0.000 % |
8.17/8.20	c |      7881 |    1581   242248  1066319 |    80749     7881     95 |  0.000 % |
8.17/8.26	c |      8003 |    1581   242248  1066319 |    80749     8003     95 |  0.000 % |
8.27/8.33	c |      8137 |    1581   242248  1066319 |    80749     8137     95 |  0.000 % |
8.37/8.43	c |      8285 |    1581   242248  1066319 |    80749     8285     95 |  0.000 % |
8.47/8.54	c |      8446 |    1581   242248  1066319 |    80749     8446     95 |  0.000 % |
8.57/8.63	c |      8622 |    1581   242248  1066319 |    80749     8622     95 |  0.000 % |
8.68/8.79	c |      8818 |    1581   242248  1066319 |    80749     8818     95 |  0.000 % |
8.87/8.95	c |      9030 |    1581   242248  1066319 |    80749     9030     95 |  0.000 % |
8.97/9.08	c |      9263 |    1581   242248  1066319 |    80749     9263     94 |  0.000 % |
9.27/9.34	c |      9520 |    1581   242248  1066319 |    80749     9520     94 |  0.000 % |
9.37/9.46	c |      9620 |    1581   242248  1066319 |    80749     9620     94 |  0.000 % |
9.47/9.56	c |      9730 |    1581   242248  1066319 |    80749     9730     94 |  0.000 % |
9.67/9.77	c |      9851 |    1581   242248  1066319 |    80749     9851     93 |  0.000 % |
9.97/10.02	c |      9984 |    1581   242248  1066319 |    80749     9984     93 |  0.000 % |
10.07/10.17	c |     10130 |    1581   242248  1066319 | 2147483647    10130     93 |  0.000 % |
10.17/10.25	c |     10290 |    1581   242248  1066319 | 2147483647    10290     92 |  0.000 % |
10.27/10.33	c |     10466 |    1581   242248  1066319 | 2147483647    10466     92 |  0.000 % |
10.37/10.43	c |     10660 |    1581   242248  1066319 | 2147483647    10660     91 |  0.000 % |
10.47/10.51	c |     10872 |    1581   242248  1066319 | 2147483647    10872     91 |  0.000 % |
10.57/10.60	c |     11105 |    1581   242248  1066319 | 2147483647    11105     90 |  0.000 % |
10.67/10.70	c |     11361 |    1581   242248  1066319 | 2147483647    11361     89 |  0.000 % |
10.77/10.80	c |     11645 |    1581   242248  1066319 | 2147483647    11645     88 |  0.000 % |
10.77/10.83	c |     11745 |    1581   242248  1066319 | 2147483647    11745     88 |  0.000 % |
10.77/10.87	c |     11855 |    1581   242248  1066319 | 2147483647    11855     88 |  0.000 % |
10.87/10.91	c |     11977 |    1581   242248  1066319 | 2147483647    11977     88 |  0.000 % |
10.97/11.07	c |     12112 |    1581   242248  1066319 | 2147483647    12112     87 |  0.000 % |
11.27/11.30	c |     12259 |    1581   242248  1066319 | 2147483647    12259     87 |  0.000 % |
11.57/11.60	c |     12424 |    1581   242248  1066319 | 2147483647    12424     87 |  0.000 % |
11.77/11.86	c |     12600 |    1581   242248  1066319 | 2147483647    12600     87 |  0.000 % |
12.17/12.20	c |     12795 |    1581   242248  1066319 | 2147483647    12795     87 |  0.000 % |
12.27/12.36	c |     13007 |    1581   242248  1066319 | 2147483647    13007     87 |  0.000 % |
12.57/12.69	c |     13240 |    1581   242248  1066319 | 2147483647    13240     87 |  0.000 % |
12.86/12.99	c |     13496 |    1581   242248  1066319 | 2147483647    13496     87 |  0.000 % |
13.36/13.42	c |     13777 |    1581   242248  1066319 | 2147483647    13777     87 |  0.000 % |
13.66/13.77	c |     14086 |    1581   242248  1066319 | 2147483647    14086     87 |  0.000 % |
13.76/13.86	c |     14186 |    1581   242248  1066319 | 2147483647    14186     87 |  0.000 % |
13.96/14.01	c |     14296 |    1581   242248  1066319 | 2147483647    14296     87 |  0.000 % |
14.07/14.15	c |     14419 |    1581   242248  1066319 | 2147483647    14419     86 |  0.000 % |
14.17/14.28	c |     14553 |    1581   242248  1066319 | 2147483647    14553     86 |  0.000 % |
14.27/14.39	c |     14700 |    1581   242248  1066319 | 2147483647    14700     86 |  0.000 % |
14.46/14.54	c |     14860 |    1581   242248  1066319 | 2147483647    14860     86 |  0.000 % |
14.66/14.76	c |     15036 |    1581   242248  1066319 | 2147483647    15036     86 |  0.000 % |
14.96/15.01	c |     15229 |    1581   242248  1066319 | 2147483647    15229     86 |  0.000 % |
15.16/15.29	c |     15441 |    1581   242248  1066319 | 2147483647    15441     85 |  0.000 % |
15.46/15.54	c |     15675 |    1581   242248  1066319 | 2147483647    15675     85 |  0.000 % |
15.66/15.78	c |     15931 |    1581   242248  1066319 | 2147483647    15931     85 |  0.000 % |
15.96/16.10	c |     16213 |    1581   242248  1066319 | 2147483647    16213     84 |  0.000 % |
16.38/16.43	c |     16522 |    1581   242248  1066319 | 2147483647    16522     84 |  0.000 % |
16.87/16.92	c |     16861 |    1581   242248  1066319 | 2147483647    16861     84 |  0.000 % |
16.97/17.06	c |     16962 |    1581   242248  1066319 | 2147483647    16962     84 |  0.000 % |
17.17/17.23	c |     17074 |    1581   242248  1066319 | 2147483647    17074     84 |  0.000 % |
17.37/17.41	c |     17196 |    1581   242248  1066319 | 2147483647    17196     84 |  0.000 % |
17.47/17.56	c |     17330 |    1581   242248  1066319 | 2147483647    17330     84 |  0.000 % |
17.67/17.73	c |     17477 |    1581   242248  1066319 | 2147483647    17477     83 |  0.000 % |
17.87/17.93	c |     17637 |    1581   242248  1066319 | 2147483647    17637     83 |  0.000 % |
18.07/18.10	c |     17814 |    1581   242248  1066319 | 2147483647    17814     82 |  0.000 % |
18.17/18.30	c |     18008 |    1581   242248  1066319 | 2147483647    18008     82 |  0.001 % |
18.67/18.75	c |     18220 |    1581   242248  1066319 | 2147483647    18220     82 |  0.000 % |
18.97/19.06	c |     18453 |    1581   242248  1066319 | 2147483647    18453     82 |  0.000 % |
19.37/19.42	c |     18709 |    1581   242248  1066319 | 2147483647    18709     82 |  0.000 % |
19.67/19.71	c |     18991 |    1581   242248  1066319 | 2147483647    18991     82 |  0.000 % |
19.97/20.04	c |     19301 |    1581   242248  1066319 | 2147483647    19301     81 |  0.000 % |
20.37/20.40	c |     19640 |    1581   242248  1066319 | 2147483647    19640     81 |  0.000 % |
20.57/20.69	c |     20014 |    1581   242248  1066319 | 2147483647    20014     81 |  0.000 % |
20.77/20.85	c |     20117 |    1581   242248  1066319 | 2147483647    20117     81 |  0.000 % |
20.87/20.97	c |     20227 |    1581   242248  1066319 | 2147483647    20227     81 |  0.000 % |
21.07/21.11	c |     20348 |    1581   242248  1066319 | 2147483647    20348     81 |  0.000 % |
21.17/21.25	c |     20482 |    1581   242248  1066319 | 2147483647    20482     81 |  0.000 % |
21.37/21.43	c |     20628 |    1581   242248  1066319 | 2147483647    20628     81 |  0.000 % |
21.57/21.66	c |     20792 |    1581   242248  1066319 | 2147483647    20792     81 |  0.000 % |
21.87/21.92	c |     20969 |    1581   242248  1066319 | 2147483647    20969     81 |  0.000 % |
22.07/22.10	c |     21165 |    1581   242248  1066319 | 2147483647    21165     81 |  0.000 % |
22.17/22.29	c |     21380 |    1581   242248  1066319 | 2147483647    21380     81 |  0.000 % |
22.47/22.53	c |     21614 |    1581   242248  1066319 | 2147483647    21614     81 |  0.000 % |
22.77/22.86	c |     21872 |    1581   242248  1066319 | 2147483647    21872     81 |  0.000 % |
23.17/23.28	c |     22153 |    1581   242248  1066319 | 2147483647    22153     81 |  0.000 % |
23.67/23.70	c |     22462 |    1581   242248  1066319 | 2147483647    22462     81 |  0.000 % |
24.17/24.20	c |     22804 |    1581   242248  1066319 | 2147483647    22804     81 |  0.000 % |
24.76/24.87	c |     23179 |    1581   242248  1066319 | 2147483647    23179     80 |  0.000 % |
25.56/25.64	c |     23590 |    1581   242248  1066319 | 2147483647    23590     80 |  0.000 % |
25.76/25.80	c |     23692 |    1581   242248  1066319 | 2147483647    23692     80 |  0.000 % |
25.86/25.96	c |     23804 |    1581   242248  1066319 | 2147483647    23804     80 |  0.000 % |
26.06/26.12	c |     23927 |    1581   242248  1066319 | 2147483647    23927     80 |  0.000 % |
26.16/26.25	c |     24062 |    1581   242248  1066319 | 2147483647    24062     80 |  0.000 % |
26.37/26.48	c |     24209 |    1581   242248  1066319 | 2147483647    24209     80 |  0.000 % |
26.56/26.66	c |     24370 |    1581   242248  1066319 | 2147483647    24370     80 |  0.000 % |
26.86/26.93	c |     24546 |    1581   242248  1066319 | 2147483647    24546     80 |  0.000 % |
27.06/27.15	c |     24739 |    1581   242248  1066319 | 2147483647    24739     80 |  0.000 % |
27.36/27.43	c |     24951 |    1581   242248  1066319 | 2147483647    24951     80 |  0.000 % |
27.66/27.71	c |     25184 |    1581   242248  1066319 | 2147483647    25184     80 |  0.000 % |
27.96/28.04	c |     25441 |    1581   242248  1066319 | 2147483647    25441     80 |  0.000 % |
28.37/28.50	c |     25723 |    1581   242248  1066319 | 2147483647    25723     80 |  0.000 % |
29.07/29.13	c |     26033 |    1581   242248  1066319 | 2147483647    26033     80 |  0.000 % |
29.47/29.54	c |     26374 |    1581   242248  1066319 | 2147483647    26374     80 |  0.000 % |
30.07/30.17	c |     26748 |    1581   242248  1066319 | 2147483647    26748     80 |  0.000 % |
30.46/30.54	c |     27157 |    1581   242248  1066319 | 2147483647    27157     80 |  0.000 % |
30.86/30.94	c |     27606 |    1581   242248  1066319 | 2147483647    27606     80 |  0.000 % |
30.96/31.01	c |     27707 |    1581   242248  1066319 | 2147483647    27707     80 |  0.000 % |
30.96/31.08	c |     27819 |    1581   242248  1066319 | 2147483647    27819     80 |  0.000 % |
31.16/31.24	c |     27940 |    1581   242248  1066319 | 2147483647    27940     80 |  0.000 % |
31.26/31.36	c |     28075 |    1581   242248  1066319 | 2147483647    28075     80 |  0.000 % |
31.46/31.56	c |     28222 |    1581   242248  1066319 | 2147483647    28222     80 |  0.000 % |
31.66/31.79	c |     28382 |    1581   242248  1066319 | 2147483647    28382     80 |  0.000 % |
31.96/32.01	c |     28558 |    1581   242248  1066319 | 2147483647    28558     80 |  0.000 % |
32.26/32.31	c |     28753 |    1581   242248  1066319 | 2147483647    28753     80 |  0.000 % |
32.56/32.61	c |     28966 |    1581   242248  1066319 | 2147483647    28966     80 |  0.000 % |
32.76/32.81	c |     29199 |    1581   242248  1066319 | 2147483647    29199     80 |  0.000 % |
33.06/33.12	c |     29456 |    1581   242248  1066319 | 2147483647    29456     80 |  0.000 % |
33.46/33.58	c |     29738 |    1581   242248  1066319 | 2147483647    29738     80 |  0.000 % |
34.06/34.19	c |     30051 |    1581   242248  1066319 | 2147483647    30051     80 |  0.000 % |
34.66/34.77	c |     30391 |    1581   242248  1066319 | 2147483647    30391     80 |  0.000 % |
35.26/35.36	c |     30763 |    1581   242248  1066319 | 2147483647    30763     79 |  0.000 % |
35.85/35.99	c |     31173 |    1581   242248  1066319 | 2147483647    31173     79 |  0.000 % |
36.65/36.75	c |     31623 |    1581   242248  1066319 | 2147483647    31623     79 |  0.000 % |
37.05/37.18	c |     32116 |    1581   242248  1066319 | 2147483647    32116     79 |  0.000 % |
37.15/37.23	c |     32218 |    1581   242248  1066319 | 2147483647    32218     79 |  0.000 % |
37.26/37.36	c |     32328 |    1581   242248  1066319 | 2147483647    32328     79 |  0.000 % |
37.45/37.59	c |     32453 |    1581   242248  1066319 | 2147483647    32453     79 |  0.000 % |
37.65/37.79	c |     32586 |    1581   242248  1066319 | 2147483647    32586     79 |  0.000 % |
37.85/37.97	c |     32732 |    1581   242248  1066319 | 2147483647    32732     79 |  0.000 % |
38.05/38.19	c |     32892 |    1581   242248  1066319 | 2147483647    32892     79 |  0.000 % |
38.25/38.37	c |     33068 |    1581   242248  1066319 | 2147483647    33068     79 |  0.000 % |
38.65/38.72	c |     33261 |    1581   242248  1066319 | 2147483647    33261     79 |  0.000 % |
38.95/39.07	c |     33475 |    1581   242248  1066319 | 2147483647    33475     79 |  0.000 % |
39.25/39.33	c |     33709 |    1581   242248  1066319 | 2147483647    33709     79 |  0.000 % |
39.75/39.89	c |     33966 |    1581   242248  1066319 | 2147483647    33966     79 |  0.000 % |
40.25/40.37	c |     34247 |    1581   242248  1066319 | 2147483647    34247     79 |  0.000 % |
40.85/40.92	c |     34557 |    1581   242248  1066319 | 2147483647    34557     79 |  0.000 % |
41.15/41.23	c |     34899 |    1581   242248  1066319 | 2147483647    34899     79 |  0.000 % |
41.76/41.87	c |     35271 |    1581   242248  1066319 | 2147483647    35271     79 |  0.000 % |
42.25/42.39	c |     35682 |    1581   242248  1066319 | 2147483647    35682     79 |  0.000 % |
42.76/42.88	c |     36136 |    1581   242248  1066319 | 2147483647    36136     80 |  0.000 % |
43.25/43.31	c |     36629 |    1581   242248  1066319 | 2147483647    36629     80 |  0.000 % |
43.55/43.62	c |     37171 |    1581   242248  1066319 | 2147483647    37171     80 |  0.000 % |
43.65/43.71	c |     37271 |    1581   242248  1066319 | 2147483647    37271     80 |  0.000 % |
43.75/43.80	c |     37382 |    1581   242248  1066319 | 2147483647    37382     80 |  0.000 % |
43.75/43.88	c |     37505 |    1581   242248  1066319 | 2147483647    37505     80 |  0.000 % |
44.05/44.12	c |     37638 |    1581   242248  1066319 | 2147483647    37638     80 |  0.000 % |
44.25/44.39	c |     37786 |    1581   242248  1066319 | 2147483647    37786     80 |  0.000 % |
44.65/44.71	c |     37949 |    1581   242248  1066319 | 2147483647    37949     80 |  0.000 % |
44.95/45.03	c |     38127 |    1581   242248  1066319 | 2147483647    38127     79 |  0.000 % |
45.35/45.42	c |     38320 |    1581   242248  1066319 | 2147483647    38320     79 |  0.000 % |
45.65/45.78	c |     38533 |    1581   242248  1066319 | 2147483647    38533     79 |  0.000 % |
46.25/46.31	c |     38767 |    1581   242248  1066319 | 2147483647    38767     79 |  0.000 % |
46.75/46.89	c |     39025 |    1581   242248  1066319 | 2147483647    39025     79 |  0.000 % |
47.25/47.38	c |     39306 |    1581   242248  1066319 | 2147483647    39306     79 |  0.000 % |
47.75/47.80	c |     39617 |    1581   242248  1066319 | 2147483647    39617     79 |  0.000 % |
48.15/48.23	c |     39959 |    1581   242248  1066319 | 2147483647    39959     79 |  0.000 % |
48.75/48.85	c |     40331 |    1581   242248  1066319 | 2147483647    40331     79 |  0.000 % |
49.55/49.64	c |     40740 |    1581   242248  1066319 | 2147483647    40740     79 |  0.000 % |
50.35/50.49	c |     41190 |    1581   242248  1066319 | 2147483647    41190     79 |  0.000 % |
51.35/51.40	c |     41683 |    1581   242248  1066319 | 2147483647    41683     78 |  0.000 % |
52.25/52.38	c |     42228 |    1581   242248  1066319 | 2147483647    42228     78 |  0.000 % |
53.45/53.51	c |     42824 |    1581   242248  1066319 | 2147483647    42824     77 |  0.000 % |
53.65/53.73	c |     42924 |    1581   242248  1066319 | 2147483647    42924     77 |  0.000 % |
53.85/53.96	c |     43035 |    1581   242248  1066319 | 2147483647    43035     77 |  0.000 % |
54.15/54.25	c |     43157 |    1581   242248  1066319 | 2147483647    43157     77 |  0.000 % |
54.34/54.44	c |     43292 |    1581   242248  1066319 | 2147483647    43292     77 |  0.000 % |
54.64/54.72	c |     43439 |    1581   242248  1066319 | 2147483647    43439     77 |  0.000 % |
54.74/54.90	c |     43600 |    1581   242248  1066319 | 2147483647    43600     77 |  0.000 % |
55.04/55.10	c |     43777 |    1581   242248  1066319 | 2147483647    43777     77 |  0.000 % |
55.34/55.41	c |     43970 |    1581   242248  1066319 | 2147483647    43970     77 |  0.000 % |
55.74/55.84	c |     44183 |    1581   242248  1066319 | 2147483647    44183     77 |  0.000 % |
56.24/56.31	c |     44418 |    1581   242248  1066319 | 2147483647    44418     77 |  0.000 % |
56.64/56.78	c |     44675 |    1581   242248  1066319 | 2147483647    44675     77 |  0.000 % |
57.24/57.34	c |     44956 |    1581   242248  1066319 | 2147483647    44956     76 |  0.000 % |
57.84/57.94	c |     45267 |    1581   242248  1066319 | 2147483647    45267     76 |  0.000 % |
58.44/58.57	c |     45607 |    1581   242248  1066319 | 2147483647    45607     76 |  0.000 % |
59.04/59.11	c |     45979 |    1581   242248  1066319 | 2147483647    45979     76 |  0.000 % |
59.54/59.66	c |     46389 |    1581   242248  1066319 | 2147483647    46389     76 |  0.000 % |
60.04/60.17	c |     46839 |    1581   242248  1066319 | 2147483647    46839     76 |  0.000 % |
60.45/60.59	c |     47333 |    1581   242248  1066319 | 2147483647    47333     76 |  0.000 % |
61.14/61.22	c |     47877 |    1581   242248  1066319 | 2147483647    47877     76 |  0.000 % |
62.04/62.19	c |     48475 |    1581   242248  1066319 | 2147483647    48475     76 |  0.000 % |
63.14/63.23	c |     49132 |    1581   242248  1066319 | 2147483647    49132     76 |  0.000 % |
63.24/63.38	c |     49232 |    1581   242248  1066319 | 2147483647    49232     76 |  0.000 % |
63.54/63.61	c |     49345 |    1581   242248  1066319 | 2147483647    49345     76 |  0.000 % |
63.74/63.81	c |     49467 |    1581   242248  1066319 | 2147483647    49467     76 |  0.000 % |
63.94/64.04	c |     49603 |    1581   242248  1066319 | 2147483647    49603     76 |  0.000 % |
64.14/64.27	c |     49751 |    1581   242248  1066319 | 2147483647    49751     76 |  0.000 % |
64.34/64.48	c |     49913 |    1581   242248  1066319 | 2147483647    49913     76 |  0.000 % |
64.74/64.82	c |     50089 |    1581   242248  1066319 | 2147483647    50089     76 |  0.000 % |
65.04/65.16	c |     50282 |    1581   242248  1066319 | 2147483647    50282     76 |  0.000 % |
65.34/65.48	c |     50499 |    1581   242248  1066319 | 2147483647    50499     76 |  0.000 % |
65.84/65.91	c |     50734 |    1581   242248  1066319 | 2147483647    50734     76 |  0.000 % |
66.24/66.32	c |     50990 |    1581   242248  1066319 | 2147483647    50990     76 |  0.000 % |
66.73/66.85	c |     51272 |    1581   242248  1066319 | 2147483647    51272     76 |  0.000 % |
67.43/67.53	c |     51581 |    1581   242248  1066319 | 2147483647    51581     76 |  0.000 % |
68.14/68.26	c |     51921 |    1581   242248  1066319 | 2147483647    51921     76 |  0.000 % |
68.74/68.87	c |     52293 |    1581   242248  1066319 | 2147483647    52293     76 |  0.000 % |
69.64/69.72	c |     52702 |    1581   242248  1066319 | 2147483647    52702     76 |  0.000 % |
70.64/70.77	c |     53153 |    1581   242248  1066319 | 2147483647    53153     75 |  0.000 % |
71.54/71.68	c |     53646 |    1581   242248  1066319 | 2147483647    53646     75 |  0.000 % |
72.64/72.73	c |     54190 |    1581   242248  1066319 | 2147483647    54190     75 |  0.000 % |
73.54/73.67	c |     54786 |    1581   242248  1066319 | 2147483647    54786     74 |  0.000 % |
74.74/74.88	c |     55442 |    1581   242248  1066319 | 2147483647    55442     74 |  0.000 % |
76.04/76.10	c |     56163 |    1581   242248  1066319 | 2147483647    56163     73 |  0.001 % |
76.14/76.29	c |     56264 |    1581   242248  1066319 | 2147483647    56264     73 |  0.000 % |
76.34/76.46	c |     56374 |    1581   242248  1066319 | 2147483647    56374     73 |  0.000 % |
76.54/76.63	c |     56495 |    1581   242248  1066319 | 2147483647    56495     73 |  0.000 % |
76.74/76.88	c |     56631 |    1581   242248  1066319 | 2147483647    56631     73 |  0.000 % |
77.03/77.15	c |     56779 |    1581   242248  1066319 | 2147483647    56779     73 |  0.000 % |
77.23/77.36	c |     56940 |    1581   242248  1066319 | 2147483647    56940     73 |  0.000 % |
77.43/77.60	c |     57116 |    1581   242248  1066319 | 2147483647    57116     73 |  0.000 % |
77.73/77.87	c |     57310 |    1581   242248  1066319 | 2147483647    57310     73 |  0.000 % |
78.04/78.12	c |     57522 |    1581   242248  1066319 | 2147483647    57522     72 |  0.000 % |
78.43/78.58	c |     57756 |    1581   242248  1066319 | 2147483647    57756     73 |  0.000 % |
78.93/79.06	c |     58013 |    1581   242248  1066319 | 2147483647    58013     73 |  0.000 % |
79.53/79.60	c |     58296 |    1581   242248  1066319 | 2147483647    58296     73 |  0.000 % |
79.93/80.06	c |     58609 |    1581   242248  1066319 | 2147483647    58609     73 |  0.000 % |
80.53/80.65	c |     58949 |    1581   242248  1066319 | 2147483647    58949     73 |  0.000 % |
81.03/81.17	c |     59322 |    1581   242248  1066319 | 2147483647    59322     73 |  0.000 % |
81.53/81.63	c |     59732 |    1581   242248  1066319 | 2147483647    59732     73 |  0.000 % |
82.33/82.44	c |     60181 |    1581   242248  1066319 | 2147483647    60181     73 |  0.000 % |
83.23/83.36	c |     60678 |    1581   242248  1066319 | 2147483647    60678     73 |  0.000 % |
84.03/84.20	c |     61222 |    1581   242248  1066319 | 2147483647    61222     73 |  0.000 % |
84.63/84.73	c |     61819 |    1581   242248  1066319 | 2147483647    61819     73 |  0.000 % |
85.33/85.44	c |     62476 |    1581   242248  1066319 | 2147483647    62476     72 |  0.000 % |
86.23/86.32	c |     63198 |    1581   242248  1066319 | 2147483647    63198     73 |  0.000 % |
87.43/87.59	c |     63991 |    1581   242248  1066319 | 2147483647    63991     73 |  0.000 % |
87.63/87.74	c |     64091 |    1581   242248  1066319 | 2147483647    64091     73 |  0.000 % |
87.83/87.96	c |     64201 |    1581   242248  1066319 | 2147483647    64201     73 |  0.000 % |
87.93/88.06	c |     64323 |    1581   242248  1066319 | 2147483647    64323     73 |  0.000 % |
88.23/88.30	c |     64457 |    1581   242248  1066319 | 2147483647    64457     73 |  0.000 % |
88.43/88.53	c |     64604 |    1581   242248  1066319 | 2147483647    64604     73 |  0.000 % |
88.63/88.76	c |     64765 |    1581   242248  1066319 | 2147483647    64765     73 |  0.000 % |
88.83/88.93	c |     64943 |    1581   242248  1066319 | 2147483647    64943     73 |  0.000 % |
89.03/89.13	c |     65137 |    1581   242248  1066319 | 2147483647    65137     73 |  0.000 % |
89.22/89.38	c |     65351 |    1581   242248  1066319 | 2147483647    65351     73 |  0.000 % |
89.52/89.60	c |     65584 |    1581   242248  1066319 | 2147483647    65584     73 |  0.000 % |
89.92/90.01	c |     65840 |    1581   242248  1066319 | 2147483647    65840     73 |  0.000 % |
90.13/90.30	c |     66122 |    1581   242248  1066319 | 2147483647    66122     73 |  0.000 % |
90.52/90.62	c |     66431 |    1581   242248  1066319 | 2147483647    66431     73 |  0.000 % |
90.72/90.82	c |     66770 |    1581   242248  1066319 | 2147483647    66770     73 |  0.000 % |
91.14/91.24	c |     67142 |    1581   242248  1066319 | 2147483647    67142     73 |  0.000 % |
91.53/91.63	c |     67552 |    1581   242248  1066319 | 2147483647    67552     73 |  0.000 % |
91.93/92.00	c |     68001 |    1581   242248  1066319 | 2147483647    68001     73 |  0.000 % |
92.43/92.51	c |     68494 |    1581   242248  1066319 | 2147483647    68494     73 |  0.000 % |
92.93/93.03	c |     69036 |    1581   242248  1066319 | 2147483647    69036     74 |  0.000 % |
93.53/93.68	c |     69633 |    1581   242248  1066319 | 2147483647    69633     74 |  0.000 % |
94.13/94.27	c |     70290 |    1581   242248  1066319 | 2147483647    70290     74 |  0.000 % |
94.63/94.75	c |     71012 |    1581   242248  1066319 | 2147483647    71012     74 |  0.000 % |
95.13/95.25	c |     71804 |    1581   242248  1066319 | 2147483647    71804     74 |  0.000 % |
95.73/95.83	c |     72675 |    1581   242248  1066319 | 2147483647    72675     74 |  0.000 % |
95.83/95.93	c |     72775 |    1581   242248  1066319 | 2147483647    72775     74 |  0.000 % |
95.93/96.03	c |     72885 |    1581   242248  1066319 | 2147483647    72885     74 |  0.000 % |
96.03/96.12	c |     73006 |    1581   242248  1066319 | 2147483647    73006     74 |  0.000 % |
96.13/96.24	c |     73141 |    1581   242248  1066319 | 2147483647    73141     74 |  0.000 % |
96.23/96.36	c |     73287 |    1581   242248  1066319 | 2147483647    73287     74 |  0.000 % |
96.33/96.47	c |     73450 |    1581   242248  1066319 | 2147483647    73450     74 |  0.000 % |
96.53/96.62	c |     73626 |    1581   242248  1066319 | 2147483647    73626     74 |  0.000 % |
96.73/96.83	c |     73819 |    1581   242248  1066319 | 2147483647    73819     74 |  0.000 % |
97.03/97.17	c |     74034 |    1581   242248  1066319 | 2147483647    74034     74 |  0.000 % |
97.33/97.41	c |     74268 |    1581   242248  1066319 | 2147483647    74268     74 |  0.000 % |
97.63/97.71	c |     74526 |    1581   242248  1066319 | 2147483647    74526     74 |  0.000 % |
97.93/98.03	c |     74808 |    1581   242248  1066319 | 2147483647    74808     74 |  0.000 % |
98.33/98.40	c |     75117 |    1581   242248  1066319 | 2147483647    75117     75 |  0.000 % |
98.72/98.82	c |     75456 |    1581   242248  1066319 | 2147483647    75456     75 |  0.000 % |
99.12/99.28	c |     75828 |    1581   242248  1066319 | 2147483647    75828     75 |  0.000 % |
99.63/99.71	c |     76238 |    1581   242248  1066319 | 2147483647    76238     75 |  0.000 % |
100.03/100.17	c |     76688 |    1581   242248  1066319 | 2147483647    76688     75 |  0.000 % |
100.53/100.66	c |     77183 |    1581   242248  1066319 | 2147483647    77183     75 |  0.000 % |
101.03/101.14	c |     77725 |    1581   242248  1066319 | 2147483647    77725     75 |  0.000 % |
102.13/102.22	c |     78321 |    1581   242248  1066319 | 2147483647    78321     75 |  0.000 % |
103.12/103.27	c |     78977 |    1581   242248  1066319 | 2147483647    78977     75 |  0.000 % |
103.92/104.03	c |     79700 |    1581   242248  1066319 | 2147483647    79700     75 |  0.000 % |
104.82/104.92	c |     80492 |    1581   242248  1066319 | 2147483647    80492     75 |  0.000 % |
106.32/106.44	c |     81364 |    1581   242248  1066319 | 2147483647    81364     76 |  0.000 % |
107.52/107.60	c |     82322 |    1581   242248  1066319 | 2147483647    82322     76 |  0.000 % |
107.62/107.77	c |     82424 |    1581   242248  1066319 | 2147483647    82424     76 |  0.000 % |
107.92/108.03	c |     82536 |    1581   242248  1066319 | 2147483647    82536     76 |  0.000 % |
108.12/108.25	c |     82657 |    1581   242248  1066319 | 2147483647    82657     76 |  0.000 % |
108.32/108.44	c |     82790 |    1581   242248  1066319 | 2147483647    82790     76 |  0.000 % |
108.62/108.80	c |     82936 |    1581   242248  1066319 | 2147483647    82936     76 |  0.000 % |
109.02/109.14	c |     83097 |    1581   242248  1066319 | 2147483647    83097     76 |  0.000 % |
109.32/109.49	c |     83275 |    1581   242248  1066319 | 2147483647    83275     76 |  0.000 % |
109.72/109.81	c |     83469 |    1581   242248  1066319 | 2147483647    83469     76 |  0.000 % |
110.02/110.18	c |     83682 |    1581   242248  1066319 | 2147483647    83682     76 |  0.000 % |
110.42/110.56	c |     83917 |    1581   242248  1066319 | 2147483647    83917     76 |  0.000 % |
110.82/110.99	c |     84173 |    1581   242248  1066319 | 2147483647    84173     76 |  0.000 % |
111.22/111.39	c |     84455 |    1581   242248  1066319 | 2147483647    84455     76 |  0.000 % |
111.72/111.84	c |     84764 |    1581   242248  1066319 | 2147483647    84764     76 |  0.000 % |
112.33/112.48	c |     85104 |    1581   242248  1066319 | 2147483647    85104     76 |  0.000 % |
113.23/113.30	c |     85476 |    1581   242248  1066319 | 2147483647    85476     76 |  0.000 % |
113.72/113.88	c |     85886 |    1581   242248  1066319 | 2147483647    85886     76 |  0.000 % |
114.42/114.59	c |     86337 |    1581   242248  1066319 | 2147483647    86337     76 |  0.000 % |
115.43/115.53	c |     86834 |    1581   242248  1066319 | 2147483647    86834     76 |  0.000 % |
116.62/116.72	c |     87376 |    1581   242248  1066319 | 2147483647    87376     76 |  0.000 % |
117.42/117.51	c |     87972 |    1581   242248  1066319 | 2147483647    87972     76 |  0.000 % |
118.22/118.38	c |     88627 |    1581   242248  1066319 | 2147483647    88627     76 |  0.000 % |
119.52/119.63	c |     89350 |    1581   242248  1066319 | 2147483647    89350     76 |  0.000 % |
121.02/121.13	c |     90142 |    1581   242248  1066319 | 2147483647    90142     76 |  0.000 % |
122.12/122.28	c |     91013 |    1581   242248  1066319 | 2147483647    91013     76 |  0.000 % |
123.42/123.55	c |     91971 |    1581   242248  1066319 | 2147483647    91971     76 |  0.000 % |
125.61/125.73	c |     93024 |    1581   242248  1066319 | 2147483647    93024     76 |  0.000 % |
125.91/126.03	c |     93124 |    1581   242248  1066319 | 2147483647    93124     76 |  0.000 % |
126.11/126.26	c |     93236 |    1581   242248  1066319 | 2147483647    93236     76 |  0.000 % |
126.42/126.54	c |     93358 |    1581   242248  1066319 | 2147483647    93358     76 |  0.000 % |
126.71/126.81	c |     93495 |    1581   242248  1066319 | 2147483647    93495     76 |  0.000 % |
126.91/127.06	c |     93641 |    1581   242248  1066319 | 2147483647    93641     76 |  0.000 % |
127.21/127.36	c |     93801 |    1581   242248  1066319 | 2147483647    93801     76 |  0.000 % |
127.61/127.71	c |     93979 |    1581   242248  1066319 | 2147483647    93979     76 |  0.000 % |
128.01/128.18	c |     94173 |    1581   242248  1066319 | 2147483647    94173     76 |  0.000 % |
128.41/128.58	c |     94386 |    1581   242248  1066319 | 2147483647    94386     76 |  0.000 % |
128.91/129.05	c |     94619 |    1581   242248  1066319 | 2147483647    94619     76 |  0.000 % |
129.41/129.53	c |     94877 |    1581   242248  1066319 | 2147483647    94877     76 |  0.000 % |
129.61/129.74	c |     95158 |    1581   242248  1066319 | 2147483647    95158     76 |  0.000 % |
129.91/130.07	c |     95467 |    1581   242248  1066319 | 2147483647    95467     76 |  0.000 % |
130.31/130.40	c |     95807 |    1581   242248  1066319 | 2147483647    95807     76 |  0.000 % |
130.61/130.76	c |     96179 |    1581   242248  1066319 | 2147483647    96179     76 |  0.001 % |
131.01/131.10	c |     96588 |    1581   242248  1066319 | 2147483647    96588     76 |  0.000 % |
131.92/132.03	c |     97038 |    1581   242248  1066319 | 2147483647    97038     76 |  0.000 % |
132.81/132.91	c |     97533 |    1581   242248  1066319 | 2147483647    97533     76 |  0.000 % |
133.61/133.70	c |     98076 |    1581   242248  1066319 | 2147483647    98076     76 |  0.000 % |
134.61/134.77	c |     98673 |    1581   242248  1066319 | 2147483647    98673     77 |  0.000 % |
136.01/136.10	c |     99330 |    1581   242248  1066319 | 2147483647    99330     77 |  0.000 % |
137.41/137.56	c |    100050 |    1581   242248  1066319 | 2147483647   100050     77 |  0.000 % |
138.61/138.79	c |    100843 |    1581   242248  1066319 | 2147483647   100843     77 |  0.000 % |
140.31/140.48	c |    101714 |    1581   242248  1066319 | 2147483647   101714     77 |  0.000 % |
141.71/141.85	c |    102673 |    1581   242248  1066319 | 2147483647   102673     77 |  0.000 % |
143.00/143.17	c |    103726 |    1581   242248  1066319 | 2147483647   103726     77 |  0.000 % |
144.50/144.69	c |    104884 |    1581   242248  1066319 | 2147483647   104884     77 |  0.000 % |
144.70/144.84	c |    104984 |    1581   242248  1066319 | 2147483647   104984     77 |  0.000 % |
144.90/145.07	c |    105095 |    1581   242248  1066319 | 2147483647   105095     77 |  0.000 % |
145.20/145.37	c |    105222 |    1581   242248  1066319 | 2147483647   105222     77 |  0.000 % |
145.50/145.63	c |    105356 |    1581   242248  1066319 | 2147483647   105356     77 |  0.000 % |
145.70/145.89	c |    105503 |    1581   242248  1066319 | 2147483647   105503     77 |  0.000 % |
146.00/146.14	c |    105663 |    1581   242248  1066319 | 2147483647   105663     77 |  0.000 % |
146.40/146.56	c |    105839 |    1581   242248  1066319 | 2147483647   105839     77 |  0.000 % |
146.80/146.90	c |    106032 |    1581   242248  1066319 | 2147483647   106032     77 |  0.000 % |
147.21/147.39	c |    106245 |    1581   242248  1066319 | 2147483647   106245     77 |  0.000 % |
147.71/147.85	c |    106480 |    1581   242248  1066319 | 2147483647   106480     77 |  0.000 % |
148.11/148.24	c |    106736 |    1581   242248  1066319 | 2147483647   106736     77 |  0.000 % |
148.61/148.76	c |    107017 |    1581   242248  1066319 | 2147483647   107017     77 |  0.000 % |
149.21/149.34	c |    107328 |    1581   242248  1066319 | 2147483647   107328     77 |  0.000 % |
149.71/149.86	c |    107670 |    1581   242248  1066319 | 2147483647   107670     77 |  0.000 % |
150.41/150.50	c |    108043 |    1581   242248  1066319 | 2147483647   108043     77 |  0.000 % |
151.51/151.68	c |    108453 |    1581   242248  1066319 | 2147483647   108453     77 |  0.000 % |
152.40/152.50	c |    108902 |    1581   242248  1066319 | 2147483647   108902     77 |  0.000 % |
153.20/153.33	c |    109396 |    1581   242248  1066319 | 2147483647   109396     77 |  0.000 % |
154.10/154.27	c |    109938 |    1581   242248  1066319 | 2147483647   109938     77 |  0.000 % |
155.30/155.40	c |    110534 |    1581   242248  1066319 | 2147483647   110534     77 |  0.000 % |
156.70/156.82	c |    111189 |    1581   242248  1066319 | 2147483647   111189     77 |  0.000 % |
158.30/158.47	c |    111910 |    1581   242248  1066319 | 2147483647   111910     77 |  0.000 % |
160.30/160.43	c |    112703 |    1581   242248  1066319 | 2147483647   112703     77 |  0.000 % |
162.20/162.37	c |    113576 |    1581   242248  1066319 | 2147483647   113576     77 |  0.000 % |
164.50/164.67	c |    114536 |    1581   242248  1066319 | 2147483647   114536     77 |  0.000 % |
166.70/166.85	c |    115589 |    1581   242248  1066319 | 2147483647   115589     77 |  0.000 % |
169.30/169.46	c |    116749 |    1581   242248  1066319 | 2147483647   116749     77 |  0.000 % |
171.69/171.82	c |    118022 |    1581   242248  1066319 | 2147483647   118022     77 |  0.000 % |
171.89/172.05	c |    118122 |    1581   242248  1066319 | 2147483647   118122     77 |  0.000 % |
172.19/172.34	c |    118233 |    1581   242248  1066319 | 2147483647   118233     77 |  0.000 % |
172.50/172.62	c |    118354 |    1581   242248  1066319 | 2147483647   118354     77 |  0.000 % |
172.79/172.90	c |    118488 |    1581   242248  1066319 | 2147483647   118488     77 |  0.000 % |
173.19/173.34	c |    118635 |    1581   242248  1066319 | 2147483647   118635     77 |  0.000 % |
173.59/173.73	c |    118797 |    1581   242248  1066319 | 2147483647   118797     77 |  0.000 % |
173.99/174.17	c |    118974 |    1581   242248  1066319 | 2147483647   118974     77 |  0.000 % |
174.49/174.68	c |    119167 |    1581   242248  1066319 | 2147483647   119167     77 |  0.000 % |
175.09/175.27	c |    119380 |    1581   242248  1066319 | 2147483647   119380     77 |  0.000 % |
175.59/175.77	c |    119616 |    1581   242248  1066319 | 2147483647   119616     77 |  0.000 % |
176.19/176.38	c |    119872 |    1581   242248  1066319 | 2147483647   119872     77 |  0.000 % |
176.69/176.89	c |    120154 |    1581   242248  1066319 | 2147483647   120154     77 |  0.000 % |
177.29/177.43	c |    120464 |    1581   242248  1066319 | 2147483647   120464     77 |  0.000 % |
177.99/178.17	c |    120804 |    1581   242248  1066319 | 2147483647   120804     77 |  0.000 % |
178.69/178.83	c |    121176 |    1581   242248  1066319 | 2147483647   121176     77 |  0.000 % |
179.39/179.55	c |    121586 |    1581   242248  1066319 | 2147483647   121586     77 |  0.000 % |
180.59/180.76	c |    122037 |    1581   242248  1066319 | 2147483647   122037     77 |  0.000 % |
181.78/181.94	c |    122532 |    1581   242248  1066319 | 2147483647   122532     78 |  0.000 % |
182.88/183.02	c |    123076 |    1581   242248  1066319 | 2147483647   123076     78 |  0.000 % |
183.88/184.02	c |    123673 |    1581   242248  1066319 | 2147483647   123673     78 |  0.000 % |
184.69/184.82	c |    124328 |    1581   242248  1066319 | 2147483647   124328     78 |  0.000 % |
185.49/185.60	c |    125051 |    1581   242248  1066319 | 2147483647   125051     78 |  0.000 % |
186.49/186.66	c |    125843 |    1581   242248  1066319 | 2147483647   125843     78 |  0.000 % |
187.49/187.61	c |    126715 |    1581   242248  1066319 | 2147483647   126715     78 |  0.000 % |
188.49/188.67	c |    127673 |    1581   242248  1066319 | 2147483647   127673     78 |  0.000 % |
189.89/190.06	c |    128727 |    1581   242248  1066319 | 2147483647   128727     78 |  0.000 % |
191.19/191.40	c |    129887 |    1581   242248  1066319 | 2147483647   129887     78 |  0.000 % |
192.69/192.85	c |    131160 |    1581   242248  1066319 | 2147483647   131160     78 |  0.000 % |
194.38/194.59	c |    132561 |    1581   242248  1066319 | 2147483647   132561     78 |  0.000 % |
194.68/194.86	c |    132661 |    1581   242248  1066319 | 2147483647   132661     78 |  0.000 % |
194.98/195.12	c |    132772 |    1581   242248  1066319 | 2147483647   132772     78 |  0.000 % |
195.18/195.36	c |    132893 |    1581   242248  1066319 | 2147483647   132893     78 |  0.000 % |
195.48/195.63	c |    133027 |    1581   242248  1066319 | 2147483647   133027     78 |  0.000 % |
195.88/196.07	c |    133174 |    1581   242248  1066319 | 2147483647   133174     78 |  0.000 % |
196.08/196.26	c |    133334 |    1581   242248  1066319 | 2147483647   133334     78 |  0.000 % |
196.28/196.47	c |    133510 |    1581   242248  1066319 | 2147483647   133510     78 |  0.000 % |
196.68/196.84	c |    133704 |    1581   242248  1066319 | 2147483647   133704     78 |  0.000 % |
196.98/197.16	c |    133916 |    1581   242248  1066319 | 2147483647   133916     78 |  0.000 % |
197.38/197.52	c |    134150 |    1581   242248  1066319 | 2147483647   134150     78 |  0.000 % |
197.68/197.88	c |    134406 |    1581   242248  1066319 | 2147483647   134406     78 |  0.000 % |
198.28/198.42	c |    134689 |    1581   242248  1066319 | 2147483647   134689     78 |  0.000 % |
198.68/198.84	c |    134999 |    1581   242248  1066319 | 2147483647   134999     78 |  0.000 % |
199.18/199.34	c |    135338 |    1581   242248  1066319 | 2147483647   135338     78 |  0.000 % |
199.58/199.79	c |    135710 |    1581   242248  1066319 | 2147483647   135710     78 |  0.000 % |
200.09/200.29	c |    136120 |    1581   242248  1066319 | 2147483647   136120     78 |  0.000 % |
200.58/200.72	c |    136571 |    1581   242248  1066319 | 2147483647   136571     78 |  0.000 % |
201.09/201.25	c |    137064 |    1581   242248  1066319 | 2147483647   137064     78 |  0.000 % |
201.58/201.75	c |    137606 |    1581   242248  1066319 | 2147483647   137606     78 |  0.000 % |
202.08/202.29	c |    138202 |    1581   242248  1066319 | 2147483647   138202     78 |  0.000 % |
202.78/202.95	c |    138858 |    1581   242248  1066319 | 2147483647   138858     78 |  0.000 % |
203.58/203.71	c |    139579 |    1581   242248  1066319 | 2147483647   139579     78 |  0.000 % |
204.48/204.63	c |    140371 |    1581   242248  1066319 | 2147483647   140371     78 |  0.000 % |
205.48/205.62	c |    141243 |    1581   242248  1066319 | 2147483647   141243     78 |  0.000 % |
206.47/206.70	c |    142203 |    1581   242248  1066319 | 2147483647   142203     78 |  0.000 % |
207.98/208.17	c |    143258 |    1581   242248  1066319 | 2147483647   143258     78 |  0.000 % |
209.48/209.65	c |    144416 |    1581   242248  1066319 | 2147483647   144416     78 |  0.000 % |
211.48/211.68	c |    145689 |    1581   242248  1066319 | 2147483647   145689     78 |  0.000 % |
213.98/214.18	c |    147090 |    1581   242248  1066319 | 2147483647   147090     78 |  0.000 % |
217.07/217.27	c |    148631 |    1581   242248  1066319 | 2147483647   148631     78 |  0.000 % |
217.37/217.50	c |    148732 |    1581   242248  1066319 | 2147483647   148732     78 |  0.000 % |
217.57/217.76	c |    148844 |    1581   242248  1066319 | 2147483647   148844     78 |  0.000 % |
217.87/218.05	c |    148970 |    1581   242248  1066319 | 2147483647   148970     78 |  0.000 % |
218.17/218.34	c |    149103 |    1581   242248  1066319 | 2147483647   149103     78 |  0.000 % |
218.57/218.73	c |    149249 |    1581   242248  1066319 | 2147483647   149249     78 |  0.000 % |
218.98/219.14	c |    149410 |    1581   242248  1066319 | 2147483647   149410     78 |  0.000 % |
219.38/219.58	c |    149586 |    1581   242248  1066319 | 2147483647   149586     78 |  0.000 % |
219.88/220.07	c |    149780 |    1581   242248  1066319 | 2147483647   149780     78 |  0.000 % |
220.48/220.64	c |    149992 |    1581   242248  1066319 | 2147483647   149992     78 |  0.000 % |
221.08/221.25	c |    150227 |    1581   242248  1066319 | 2147483647   150227     78 |  0.000 % |
221.68/221.87	c |    150483 |    1581   242248  1066319 | 2147483647   150483     78 |  0.000 % |
222.38/222.60	c |    150764 |    1581   242248  1066319 | 2147483647   150764     78 |  0.000 % |
223.08/223.25	c |    151074 |    1581   242248  1066319 | 2147483647   151074     78 |  0.000 % |
223.97/224.13	c |    151415 |    1581   242248  1066319 | 2147483647   151415     78 |  0.000 % |
224.87/225.06	c |    151787 |    1581   242248  1066319 | 2147483647   151787     78 |  0.000 % |
226.07/226.28	c |    152198 |    1581   242248  1066319 | 2147483647   152198     78 |  0.000 % |
227.17/227.36	c |    152648 |    1581   242248  1066319 | 2147483647   152648     78 |  0.000 % |
228.37/228.56	c |    153143 |    1581   242248  1066319 | 2147483647   153143     78 |  0.000 % |
229.97/230.11	c |    153686 |    1581   242248  1066319 | 2147483647   153686     78 |  0.000 % |
231.37/231.58	c |    154285 |    1581   242248  1066319 | 2147483647   154285     78 |  0.000 % |
232.67/232.85	c |    154940 |    1581   242248  1066319 | 2147483647   154940     78 |  0.000 % |
234.47/234.60	c |    155663 |    1581   242248  1066319 | 2147483647   155663     79 |  0.000 % |
236.77/236.92	c |    156455 |    1581   242248  1066319 | 2147483647   156455     79 |  0.000 % |
239.67/239.81	c |    157327 |    1581   242248  1066319 | 2147483647   157327     79 |  0.000 % |
241.87/242.02	c |    158285 |    1581   242248  1066319 | 2147483647   158285     79 |  0.000 % |
244.47/244.62	c |    159338 |    1581   242248  1066319 | 2147483647   159338     79 |  0.000 % |
247.27/247.44	c |    160497 |    1581   242248  1066319 | 2147483647   160497     79 |  0.000 % |
250.36/250.50	c |    161771 |    1581   242248  1066319 | 2147483647   161771     79 |  0.000 % |
254.86/255.00	c |    163171 |    1581   242248  1066319 | 2147483647   163171     79 |  0.000 % |
258.46/258.69	c |    164711 |    1581   242248  1066319 | 2147483647   164711     79 |  0.000 % |
261.86/262.05	c |    166406 |    1581   242248  1066319 | 2147483647   166406     79 |  0.000 % |
262.16/262.32	c |    166506 |    1581   242248  1066319 | 2147483647   166506     79 |  0.000 % |
262.76/262.94	c |    166616 |    1581   242248  1066319 | 2147483647   166616     79 |  0.000 % |
263.06/263.28	c |    166739 |    1581   242248  1066319 | 2147483647   166739     79 |  0.000 % |
263.45/263.68	c |    166874 |    1581   242248  1066319 | 2147483647   166874     79 |  0.000 % |
263.86/264.06	c |    167020 |    1581   242248  1066319 | 2147483647   167020     79 |  0.000 % |
264.15/264.40	c |    167181 |    1581   242248  1066319 | 2147483647   167181     79 |  0.000 % |
264.55/264.78	c |    167357 |    1581   242248  1066319 | 2147483647   167357     79 |  0.000 % |
265.05/265.21	c |    167551 |    1581   242248  1066319 | 2147483647   167551     79 |  0.000 % |
265.46/265.66	c |    167763 |    1581   242248  1066319 | 2147483647   167763     79 |  0.000 % |
266.66/266.84	c |    167996 |    1581   242248  1066319 | 2147483647   167996     79 |  0.000 % |
267.56/267.75	c |    168252 |    1581   242248  1066319 | 2147483647   168252     79 |  0.000 % |
268.86/269.03	c |    168533 |    1581   242248  1066319 | 2147483647   168533     79 |  0.000 % |
269.96/270.18	c |    168842 |    1581   242248  1066319 | 2147483647   168842     79 |  0.001 % |
270.86/271.09	c |    169181 |    1581   242248  1066319 | 2147483647   169181     79 |  0.000 % |
272.26/272.45	c |    169555 |    1581   242248  1066319 | 2147483647   169555     79 |  0.000 % |
273.86/274.04	c |    169964 |    1581   242248  1066319 | 2147483647   169964     79 |  0.000 % |
275.46/275.64	c |    170414 |    1581   242248  1066319 | 2147483647   170414     79 |  0.000 % |
277.46/277.68	c |    170908 |    1581   242248  1066319 | 2147483647   170908     79 |  0.000 % |
279.66/279.80	c |    171450 |    1581   242248  1066319 | 2147483647   171450     79 |  0.000 % |
281.05/281.28	c |    172046 |    1581   242248  1066319 | 2147483647   172046     79 |  0.000 % |
283.45/283.61	c |    172702 |    1581   242248  1066319 | 2147483647   172702     79 |  0.000 % |
285.75/285.92	c |    173422 |    1581   242248  1066319 | 2147483647   173422     79 |  0.000 % |
288.05/288.21	c |    174214 |    1581   242248  1066319 | 2147483647   174214     79 |  0.000 % |
290.86/291.06	c |    175086 |    1581   242248  1066319 | 2147483647   175086     79 |  0.000 % |
293.56/293.77	c |    176044 |    1581   242248  1066319 | 2147483647   176044     79 |  0.000 % |
296.95/297.16	c |    177097 |    1581   242248  1066319 | 2147483647   177097     79 |  0.000 % |
302.15/302.37	c |    178255 |    1581   242248  1066319 | 2147483647   178255     79 |  0.000 % |
306.55/306.78	c |    179530 |    1581   242248  1066319 | 2147483647   179530     79 |  0.000 % |
311.65/311.88	c |    180930 |    1581   242248  1066319 | 2147483647   180930     79 |  0.000 % |
318.94/319.14	c |    182470 |    1581   242248  1066319 | 2147483647   182470     79 |  0.000 % |
326.94/327.16	c |    184166 |    1581   242248  1066319 | 2147483647   184166     79 |  0.000 % |
333.74/333.97	c |    186029 |    1581   242248  1066319 | 2147483647   186029     79 |  0.000 % |
334.34/334.56	c |    186131 |    1581   242248  1066319 | 2147483647   186131     79 |  0.000 % |
334.84/335.04	c |    186241 |    1581   242248  1066319 | 2147483647   186241     79 |  0.000 % |
335.04/335.29	c |    186363 |    1581   242248  1066319 | 2147483647   186363     79 |  0.000 % |
335.64/335.84	c |    186497 |    1581   242248  1066319 | 2147483647   186497     79 |  0.000 % |
336.34/336.54	c |    186644 |    1581   242248  1066319 | 2147483647   186644     79 |  0.000 % |
337.14/337.36	c |    186805 |    1581   242248  1066319 | 2147483647   186805     79 |  0.000 % |
338.03/338.24	c |    186981 |    1581   242248  1066319 | 2147483647   186981     79 |  0.000 % |
339.04/339.28	c |    187174 |    1581   242248  1066319 | 2147483647   187174     79 |  0.000 % |
339.94/340.13	c |    187389 |    1581   242248  1066319 | 2147483647   187389     79 |  0.000 % |
340.64/340.80	c |    187622 |    1581   242248  1066319 | 2147483647   187622     79 |  0.000 % |
341.54/341.73	c |    187881 |    1581   242248  1066319 | 2147483647   187881     79 |  0.000 % |
342.84/343.02	c |    188162 |    1581   242248  1066319 | 2147483647   188162     79 |  0.000 % |
344.44/344.60	c |    188471 |    1581   242248  1066319 | 2147483647   188471     79 |  0.000 % |
345.44/345.66	c |    188811 |    1581   242248  1066319 | 2147483647   188811     79 |  0.000 % |
347.23/347.48	c |    189183 |    1581   242248  1066319 | 2147483647   189183     79 |  0.000 % |
348.93/349.10	c |    189592 |    1581   242248  1066319 | 2147483647   189592     79 |  0.000 % |
351.74/351.91	c |    190044 |    1581   242248  1066319 | 2147483647   190044     79 |  0.000 % |
353.73/353.90	c |    190537 |    1581   242248  1066319 | 2147483647   190537     79 |  0.000 % |
356.23/356.45	c |    191081 |    1581   242248  1066319 | 2147483647   191081     79 |  0.000 % |
358.93/359.12	c |    191677 |    1581   242248  1066319 | 2147483647   191677     79 |  0.000 % |
362.43/362.70	c |    192333 |    1581   242248  1066319 | 2147483647   192333     79 |  0.000 % |
366.23/366.48	c |    193053 |    1581   242248  1066319 | 2147483647   193053     79 |  0.000 % |
371.32/371.50	c |    193846 |    1581   242248  1066319 | 2147483647   193846     79 |  0.000 % |
375.62/375.89	c |    194717 |    1581   242248  1066319 | 2147483647   194717     79 |  0.000 % |
380.32/380.54	c |    195675 |    1581   242248  1066319 | 2147483647   195675     79 |  0.000 % |
386.72/386.99	c |    196728 |    1581   242248  1066319 | 2147483647   196728     79 |  0.000 % |
392.22/392.44	c |    197886 |    1581   242248  1066319 | 2147483647   197886     79 |  0.000 % |
399.03/399.24	c |    199159 |    1581   242248  1066319 | 2147483647   199159     79 |  0.000 % |
401.82/402.03	c |    200559 |    1581   242248  1066319 | 2147483647   200559     79 |  0.000 % |
411.32/411.56	c |    202099 |    1581   242248  1066319 | 2147483647   202099     79 |  0.000 % |
420.21/420.49	c |    203794 |    1581   242248  1066319 | 2147483647   203794     80 |  0.000 % |
431.51/431.77	c |    205658 |    1581   242248  1066319 | 2147483647   205658     80 |  0.000 % |
443.40/443.60	c |    207709 |    1581   242248  1066319 | 2147483647   207709     80 |  0.000 % |
444.00/444.26	c |    207809 |    1581   242248  1066319 | 2147483647   207809     80 |  0.000 % |
444.51/444.78	c |    207920 |    1581   242248  1066319 | 2147483647   207920     80 |  0.000 % |
445.01/445.30	c |    208041 |    1581   242248  1066319 | 2147483647   208041     80 |  0.000 % |
446.01/446.28	c |    208177 |    1581   242248  1066319 | 2147483647   208177     80 |  0.000 % |
446.71/446.93	c |    208325 |    1581   242248  1066319 | 2147483647   208325     80 |  0.000 % |
447.41/447.65	c |    208485 |    1581   242248  1066319 | 2147483647   208485     80 |  0.000 % |
448.31/448.56	c |    208662 |    1581   242248  1066319 | 2147483647   208662     80 |  0.000 % |
449.31/449.52	c |    208855 |    1581   242248  1066319 | 2147483647   208855     80 |  0.000 % |
449.81/450.04	c |    209067 |    1581   242248  1066319 | 2147483647   209067     80 |  0.000 % |
451.11/451.31	c |    209301 |    1581   242248  1066319 | 2147483647   209301     80 |  0.000 % |
452.01/452.26	c |    209559 |    1581   242248  1066319 | 2147483647   209559     80 |  0.000 % |
453.81/454.09	c |    209843 |    1581   242248  1066319 | 2147483647   209843     80 |  0.000 % |
455.91/456.11	c |    210152 |    1581   242248  1066319 | 2147483647   210152     80 |  0.000 % |
457.91/458.11	c |    210493 |    1581   242248  1066319 | 2147483647   210493     80 |  0.000 % |
460.00/460.27	c |    210865 |    1581   242248  1066319 | 2147483647   210865     80 |  0.000 % |
461.90/462.11	c |    211274 |    1581   242248  1066319 | 2147483647   211274     80 |  0.000 % |
464.10/464.35	c |    211723 |    1581   242248  1066319 | 2147483647   211723     80 |  0.000 % |
466.40/466.64	c |    212217 |    1581   242248  1066319 | 2147483647   212217     80 |  0.000 % |
469.30/469.52	c |    212759 |    1581   242248  1066319 | 2147483647   212759     80 |  0.000 % |
472.60/472.84	c |    213356 |    1581   242248  1066319 | 2147483647   213356     80 |  0.000 % |
476.70/476.91	c |    214011 |    1581   242248  1066319 | 2147483647   214011     80 |  0.000 % |
479.99/480.29	c |    214733 |    1581   242248  1066319 | 2147483647   214733     80 |  0.000 % |
483.79/484.01	c |    215525 |    1581   242248  1066319 | 2147483647   215525     80 |  0.000 % |
489.19/489.44	c |    216396 |    1581   242248  1066319 | 2147483647   216396     80 |  0.000 % |
494.79/495.04	c |    217354 |    1581   242248  1066319 | 2147483647   217354     80 |  0.000 % |
499.38/499.65	c |    218408 |    1581   242248  1066319 | 2147483647   218408     80 |  0.000 % |
504.29/504.51	c |    219569 |    1581   242248  1066319 | 2147483647   219569     80 |  0.000 % |
510.99/511.26	c |    220842 |    1581   242248  1066319 | 2147483647   220842     80 |  0.000 % |
516.69/516.99	c |    222242 |    1581   242248  1066319 | 2147483647   222242     80 |  0.000 % |
522.98/523.25	c |    223785 |    1581   242248  1066319 | 2147483647   223785     80 |  0.000 % |
530.98/531.25	c |    225479 |    1581   242248  1066319 | 2147483647   225479     80 |  0.000 % |
541.88/542.13	c |    227344 |    1581   242248  1066319 | 2147483647   227344     79 |  0.000 % |
550.98/551.23	c |    229393 |    1581   242248  1066319 | 2147483647   229393     79 |  0.000 % |
557.27/557.60	c |    231647 |    1581   242248  1066319 | 2147483647   231647     80 |  0.000 % |
557.57/557.87	c |    231747 |    1581   242248  1066319 | 2147483647   231747     80 |  0.000 % |
557.87/558.13	c |    231858 |    1581   242248  1066319 | 2147483647   231858     80 |  0.000 % |
559.17/559.44	c |    231979 |    1581   242248  1066319 | 2147483647   231979     80 |  0.000 % |
560.68/560.92	c |    232112 |    1581   242248  1066319 | 2147483647   232112     80 |  0.000 % |
561.78/562.07	c |    232258 |    1581   242248  1066319 | 2147483647   232258     80 |  0.000 % |
562.38/562.62	c |    232419 |    1581   242248  1066319 | 2147483647   232419     79 |  0.000 % |
564.27/564.55	c |    232595 |    1581   242248  1066319 | 2147483647   232595     79 |  0.000 % |
564.97/565.26	c |    232788 |    1581   242248  1066319 | 2147483647   232788     79 |  0.000 % |
566.37/566.67	c |    233001 |    1581   242248  1066319 | 2147483647   233001     79 |  0.000 % |
567.47/567.76	c |    233234 |    1581   242248  1066319 | 2147483647   233234     79 |  0.000 % |
569.37/569.67	c |    233490 |    1581   242248  1066319 | 2147483647   233490     79 |  0.000 % |
570.37/570.68	c |    233772 |    1581   242248  1066319 | 2147483647   233772     80 |  0.000 % |
571.27/571.55	c |    234081 |    1581   242248  1066319 | 2147483647   234081     80 |  0.000 % |
574.57/574.85	c |    234421 |    1581   242248  1066319 | 2147483647   234421     80 |  0.000 % |
576.17/576.44	c |    234793 |    1581   242248  1066319 | 2147483647   234793     80 |  0.000 % |
581.57/581.88	c |    235202 |    1581   242248  1066319 | 2147483647   235202     80 |  0.000 % |
583.16/583.41	c |    235651 |    1581   242248  1066319 | 2147483647   235651     80 |  0.000 % |
586.26/586.58	c |    236145 |    1581   242248  1066319 | 2147483647   236145     80 |  0.000 % |
588.46/588.71	c |    236687 |    1581   242248  1066319 | 2147483647   236687     80 |  0.000 % |
591.87/592.13	c |    237285 |    1581   242248  1066319 | 2147483647   237285     80 |  0.000 % |
593.77/594.06	c |    237941 |    1581   242248  1066319 | 2147483647   237941     80 |  0.000 % |
595.16/595.42	c |    238661 |    1581   242248  1066319 | 2147483647   238661     80 |  0.000 % |
597.07/597.37	c |    239456 |    1581   242248  1066319 | 2147483647   239456     80 |  0.000 % |
599.06/599.40	c |    240327 |    1581   242248  1066319 | 2147483647   240327     80 |  0.000 % |
609.06/609.35	c |    241285 |    1581   242248  1066319 | 2147483647   241285     80 |  0.000 % |
614.76/615.03	c |    242341 |    1581   242248  1066319 | 2147483647   242341     80 |  0.000 % |
624.35/624.64	c |    243500 |    1581   242248  1066319 | 2147483647   243500     79 |  0.000 % |
628.86/629.17	c |    244773 |    1581   242248  1066319 | 2147483647   244773     80 |  0.000 % |
636.55/636.88	c |    246174 |    1581   242248  1066319 | 2147483647   246174     80 |  0.000 % |
642.15/642.42	c |    247714 |    1581   242248  1066319 | 2147483647   247714     80 |  0.000 % |
649.44/649.70	c |    249408 |    1581   242248  1066319 | 2147483647   249408     80 |  0.000 % |
660.85/661.17	c |    251271 |    1581   242248  1066319 | 2147483647   251271     79 |  0.000 % |
669.14/669.47	c |    253323 |    1581   242248  1066319 | 2147483647   253323     79 |  0.000 % |
678.53/678.88	c |    255576 |    1581   242248  1066319 | 2147483647   255576     79 |  0.000 % |
687.64/687.94	c |    258055 |    1581   242248  1066319 | 2147483647   258055     79 |  0.000 % |
689.23/689.55	c |    258155 |    1581   242248  1066319 | 2147483647   258155     79 |  0.000 % |
690.13/690.45	c |    258265 |    1581   242248  1066319 | 2147483647   258265     79 |  0.000 % |
691.13/691.43	c |    258388 |    1581   242248  1066319 | 2147483647   258388     79 |  0.000 % |
691.83/692.15	c |    258521 |    1581   242248  1066319 | 2147483647   258521     79 |  0.000 % |
693.84/694.14	c |    258667 |    1581   242248  1066319 | 2147483647   258667     79 |  0.000 % |
694.84/695.20	c |    258828 |    1581   242248  1066319 | 2147483647   258828     79 |  0.000 % |
695.43/695.79	c |    259008 |    1581   242248  1066319 | 2147483647   259008     79 |  0.000 % |
698.83/699.11	c |    259201 |    1581   242248  1066319 | 2147483647   259201     79 |  0.000 % |
700.33/700.70	c |    259415 |    1581   242248  1066319 | 2147483647   259415     79 |  0.000 % |
700.93/701.27	c |    259648 |    1581   242248  1066319 | 2147483647   259648     79 |  0.000 % |
702.93/703.21	c |    259904 |    1581   242248  1066319 | 2147483647   259904     79 |  0.000 % |
705.03/705.38	c |    260185 |    1581   242248  1066319 | 2147483647   260185     79 |  0.000 % |
707.93/708.26	c |    260494 |    1581   242248  1066319 | 2147483647   260494     79 |  0.000 % |
710.33/710.61	c |    260836 |    1581   242248  1066319 | 2147483647   260836     79 |  0.000 % |
712.22/712.55	c |    261208 |    1581   242248  1066319 | 2147483647   261208     79 |  0.000 % |
715.73/716.07	c |    261618 |    1581   242248  1066319 | 2147483647   261618     79 |  0.000 % |
719.72/720.05	c |    262067 |    1581   242248  1066319 | 2147483647   262067     79 |  0.000 % |
725.82/726.18	c |    262564 |    1581   242248  1066319 | 2147483647   262564     79 |  0.000 % |
731.02/731.36	c |    263106 |    1581   242248  1066319 | 2147483647   263106     79 |  0.000 % |
733.02/733.31	c |    263709 |    1581   242248  1066319 | 2147483647   263709     79 |  0.000 % |
738.42/738.71	c |    264365 |    1581   242248  1066319 | 2147483647   264365     79 |  0.000 % |
743.22/743.51	c |    265087 |    1581   242248  1066319 | 2147483647   265087     79 |  0.000 % |
749.71/750.06	c |    265879 |    1581   242248  1066319 | 2147483647   265879     79 |  0.000 % |
758.72/759.08	c |    266750 |    1581   242248  1066319 | 2147483647   266750     79 |  0.000 % |
764.71/765.09	c |    267709 |    1581   242248  1066319 | 2147483647   267709     79 |  0.000 % |
770.41/770.76	c |    268765 |    1581   242248  1066319 | 2147483647   268765     79 |  0.000 % |
774.31/774.65	c |    269925 |    1581   242248  1066319 | 2147483647   269925     79 |  0.000 % |
784.61/785.00	c |    271199 |    1581   242248  1066319 | 2147483647   271199     78 |  0.000 % |
793.20/793.53	c |    272604 |    1581   242248  1066319 | 2147483647   272604     78 |  0.000 % |
800.90/801.25	c |    274145 |    1581   242248  1066319 | 2147483647   274145     78 |  0.000 % |
809.30/809.67	c |    275839 |    1581   242248  1066319 | 2147483647   275839     78 |  0.000 % |
822.00/822.31	c |    277704 |    1581   242248  1066319 | 2147483647   277704     78 |  0.000 % |
830.69/831.01	c |    279754 |    1581   242248  1066319 | 2147483647   279754     77 |  0.000 % |
841.49/841.84	c |    282007 |    1581   242248  1066319 | 2147483647   282007     77 |  0.000 % |
855.28/855.69	c |    284486 |    1581   242248  1066319 | 2147483647   284486     77 |  0.000 % |
884.08/884.44	c |    287213 |    1581   242248  1066319 | 2147483647   287213     77 |  0.000 % |
884.88/885.20	c |    287314 |    1581   242248  1066319 | 2147483647   287314     77 |  0.000 % |
885.58/885.92	c |    287427 |    1581   242248  1066319 | 2147483647   287427     77 |  0.000 % |
886.98/887.37	c |    287548 |    1581   242248  1066319 | 2147483647   287548     77 |  0.000 % |
887.78/888.11	c |    287682 |    1581   242248  1066319 | 2147483647   287682     78 |  0.000 % |
888.28/888.63	c |    287829 |    1581   242248  1066319 | 2147483647   287829     78 |  0.000 % |
889.58/889.92	c |    287990 |    1581   242248  1066319 | 2147483647   287990     78 |  0.000 % |
891.68/892.05	c |    288166 |    1581   242248  1066319 | 2147483647   288166     78 |  0.000 % |
893.07/893.47	c |    288359 |    1581   242248  1066319 | 2147483647   288359     78 |  0.000 % |
893.88/894.25	c |    288571 |    1581   242248  1066319 | 2147483647   288571     78 |  0.000 % |
895.77/896.16	c |    288805 |    1581   242248  1066319 | 2147483647   288805     78 |  0.000 % |
896.67/897.02	c |    289061 |    1581   242248  1066319 | 2147483647   289061     78 |  0.000 % |
898.17/898.52	c |    289342 |    1581   242248  1066319 | 2147483647   289342     78 |  0.000 % |
899.27/899.69	c |    289652 |    1581   242248  1066319 | 2147483647   289652     78 |  0.000 % |
901.87/902.29	c |    289991 |    1581   242248  1066319 | 2147483647   289991     78 |  0.000 % |
905.77/906.11	c |    290363 |    1581   242248  1066319 | 2147483647   290363     78 |  0.000 % |
907.08/907.50	c |    290773 |    1581   242248  1066319 | 2147483647   290773     78 |  0.000 % |
908.67/909.06	c |    291222 |    1581   242248  1066319 | 2147483647   291222     78 |  0.000 % |
911.47/911.85	c |    291716 |    1581   242248  1066319 | 2147483647   291716     78 |  0.000 % |
913.67/914.05	c |    292258 |    1581   242248  1066319 | 2147483647   292258     78 |  0.000 % |
916.37/916.75	c |    292854 |    1581   242248  1066319 | 2147483647   292854     78 |  0.000 % |
926.56/926.90	c |    293510 |    1581   242248  1066319 | 2147483647   293510     78 |  0.000 % |
929.36/929.77	c |    294233 |    1581   242248  1066319 | 2147483647   294233     78 |  0.000 % |
932.46/932.87	c |    295027 |    1581   242248  1066319 | 2147483647   295027     78 |  0.000 % |
938.56/938.93	c |    295901 |    1581   242248  1066319 | 2147483647   295901     78 |  0.000 % |
943.26/943.68	c |    296859 |    1581   242248  1066319 | 2147483647   296859     78 |  0.000 % |
953.56/953.94	c |    297913 |    1581   242248  1066319 | 2147483647   297913     78 |  0.000 % |
958.86/959.26	c |    299074 |    1581   242248  1066319 | 2147483647   299074     78 |  0.000 % |
967.25/967.61	c |    300348 |    1581   242248  1066319 | 2147483647   300348     78 |  0.000 % |
970.15/970.58	c |    301748 |    1581   242248  1066319 | 2147483647   301748     78 |  0.000 % |
975.46/975.85	c |    303290 |    1581   242248  1066319 | 2147483647   303290     78 |  0.000 % |
988.75/989.17	c |    304984 |    1581   242248  1066319 | 2147483647   304984     78 |  0.000 % |
994.74/995.17	c |    306847 |    1581   242248  1066319 | 2147483647   306847     78 |  0.000 % |
1000.04/1000.44	c |    308897 |    1581   242248  1066319 | 2147483647   308897     78 |  0.000 % |
1004.44/1004.80	c |    311150 |    1581   242248  1066319 | 2147483647   311150     78 |  0.000 % |
1009.14/1009.53	c |    313629 |    1581   242248  1066319 | 2147483647   313629     78 |  0.000 % |
1014.34/1014.74	c |    316354 |    1581   242248  1066319 | 2147483647   316354     78 |  0.000 % |
1019.94/1020.30	c |    319352 |    1581   242248  1066319 | 2147483647   319352     78 |  0.000 % |
1020.14/1020.57	c |    319454 |    1581   242248  1066319 | 2147483647   319454     78 |  0.000 % |
1020.34/1020.78	c |    319566 |    1581   242248  1066319 | 2147483647   319566     78 |  0.000 % |
1020.64/1021.06	c |    319688 |    1581   242248  1066319 | 2147483647   319688     78 |  0.000 % |
1020.94/1021.34	c |    319821 |    1581   242248  1066319 | 2147483647   319821     78 |  0.000 % |
1021.14/1021.55	c |    319967 |    1581   242248  1066319 | 2147483647   319967     78 |  0.000 % |
1021.44/1021.89	c |    320129 |    1581   242248  1066319 | 2147483647   320129     78 |  0.000 % |
1021.93/1022.30	c |    320305 |    1581   242248  1066319 | 2147483647   320305     78 |  0.000 % |
1022.43/1022.84	c |    320498 |    1581   242248  1066319 | 2147483647   320498     78 |  0.000 % |
1022.83/1023.24	c |    320714 |    1581   242248  1066319 | 2147483647   320714     78 |  0.000 % |
1023.23/1023.63	c |    320947 |    1581   242248  1066319 | 2147483647   320947     78 |  0.000 % |
1024.03/1024.42	c |    321204 |    1581   242248  1066319 | 2147483647   321204     78 |  0.000 % |
1024.63/1025.08	c |    321486 |    1581   242248  1066319 | 2147483647   321486     78 |  0.000 % |
1025.34/1025.72	c |    321796 |    1581   242248  1066319 | 2147483647   321796     78 |  0.000 % |
1026.04/1026.44	c |    322136 |    1581   242248  1066319 | 2147483647   322136     78 |  0.000 % |
1026.64/1027.02	c |    322509 |    1581   242248  1066319 | 2147483647   322509     78 |  0.000 % |
1027.54/1027.96	c |    322918 |    1581   242248  1066319 | 2147483647   322918     78 |  0.000 % |
1028.54/1028.98	c |    323369 |    1581   242248  1066319 | 2147483647   323369     78 |  0.000 % |
1029.54/1030.00	c |    323866 |    1581   242248  1066319 | 2147483647   323866     78 |  0.000 % |
1030.54/1030.94	c |    324409 |    1581   242248  1066319 | 2147483647   324409     78 |  0.000 % |
1031.64/1032.07	c |    325005 |    1581   242248  1066319 | 2147483647   325005     78 |  0.000 % |
1033.24/1033.62	c |    325661 |    1581   242248  1066319 | 2147483647   325661     78 |  0.000 % |
1035.33/1035.73	c |    326381 |    1581   242248  1066319 | 2147483647   326381     78 |  0.000 % |
1036.63/1037.07	c |    327175 |    1581   242248  1066319 | 2147483647   327175     78 |  0.000 % |
1038.43/1038.89	c |    328046 |    1581   242248  1066319 | 2147483647   328046     78 |  0.000 % |
1041.03/1041.47	c |    329004 |    1581   242248  1066319 | 2147483647   329004     79 |  0.000 % |
1043.73/1044.16	c |    330060 |    1581   242248  1066319 | 2147483647   330060     79 |  0.000 % |
1046.53/1046.94	c |    331218 |    1581   242248  1066319 | 2147483647   331218     79 |  0.000 % |
1048.93/1049.36	c |    332491 |    1581   242248  1066319 | 2147483647   332491     79 |  0.000 % |
1051.63/1052.09	c |    333891 |    1581   242248  1066319 | 2147483647   333891     79 |  0.000 % |
1054.93/1055.39	c |    335431 |    1581   242248  1066319 | 2147483647   335431     79 |  0.000 % |
1059.13/1059.57	c |    337127 |    1581   242248  1066319 | 2147483647   337127     79 |  0.000 % |
1063.72/1064.10	c |    338990 |    1581   242248  1066319 | 2147483647   338990     79 |  0.000 % |
1068.62/1069.02	c |    341039 |    1581   242248  1066319 | 2147483647   341039     79 |  0.000 % |
1074.12/1074.54	c |    343292 |    1581   242248  1066319 | 2147483647   343292     79 |  0.000 % |
1080.72/1081.17	c |    345771 |    1581   242248  1066319 | 2147483647   345771     79 |  0.000 % |
1087.32/1087.73	c |    348496 |    1581   242248  1066319 | 2147483647   348496     79 |  0.000 % |
1094.52/1094.95	c |    351494 |    1581   242248  1066319 | 2147483647   351494     79 |  0.000 % |
1101.91/1102.32	c |    354790 |    1581   242248  1066319 | 2147483647   354790     79 |  0.000 % |
1102.31/1102.78	c |    354894 |    1581   242248  1066319 | 2147483647   354894     79 |  0.000 % |
1102.71/1103.18	c |    355005 |    1581   242248  1066319 | 2147483647   355005     79 |  0.000 % |
1103.41/1103.81	c |    355126 |    1581   242248  1066319 | 2147483647   355126     79 |  0.000 % |
1103.91/1104.32	c |    355259 |    1581   242248  1066319 | 2147483647   355259     79 |  0.000 % |
1104.31/1104.73	c |    355405 |    1581   242248  1066319 | 2147483647   355405     79 |  0.000 % |
1104.91/1105.30	c |    355568 |    1581   242248  1066319 | 2147483647   355568     79 |  0.000 % |
1105.92/1106.39	c |    355744 |    1581   242248  1066319 | 2147483647   355744     79 |  0.000 % |
1107.02/1107.40	c |    355939 |    1581   242248  1066319 | 2147483647   355939     79 |  0.000 % |
1110.91/1111.33	c |    356152 |    1581   242248  1066319 | 2147483647   356152     79 |  0.000 % |
1113.01/1113.46	c |    356386 |    1581   242248  1066319 | 2147483647   356386     79 |  0.000 % |
1115.51/1115.95	c |    356642 |    1581   242248  1066319 | 2147483647   356642     79 |  0.000 % |
1119.90/1120.33	c |    356924 |    1581   242248  1066319 | 2147483647   356924     79 |  0.000 % |
1122.50/1122.96	c |    357234 |    1581   242248  1066319 | 2147483647   357234     79 |  0.000 % |
1127.70/1128.10	c |    357573 |    1581   242248  1066319 | 2147483647   357573     79 |  0.000 % |
1132.21/1132.62	c |    357945 |    1581   242248  1066319 | 2147483647   357945     79 |  0.000 % |
1134.51/1134.95	c |    358357 |    1581   242248  1066319 | 2147483647   358357     79 |  0.000 % |
1137.50/1137.95	c |    358806 |    1581   242248  1066319 | 2147483647   358806     79 |  0.000 % |
1141.90/1142.37	c |    359299 |    1581   242248  1066319 | 2147483647   359299     79 |  0.000 % |
1145.40/1145.83	c |    359841 |    1581   242248  1066319 | 2147483647   359841     79 |  0.000 % |
1151.20/1151.69	c |    360444 |    1581   242248  1066319 | 2147483647   360444     79 |  0.000 % |
1156.30/1156.74	c |    361101 |    1581   242248  1066319 | 2147483647   361101     79 |  0.000 % |
1163.59/1164.01	c |    361821 |    1581   242248  1066319 | 2147483647   361821     79 |  0.000 % |
1166.49/1166.91	c |    362614 |    1581   242248  1066319 | 2147483647   362614     79 |  0.000 % |
1170.49/1170.91	c |    363487 |    1581   242248  1066319 | 2147483647   363487     79 |  0.000 % |
1177.39/1177.83	c |    364446 |    1581   242248  1066319 | 2147483647   364446     79 |  0.000 % |
1182.00/1182.45	c |    365501 |    1581   242248  1066319 | 2147483647   365501     79 |  0.000 % |
1187.49/1187.95	c |    366659 |    1581   242248  1066319 | 2147483647   366659     79 |  0.000 % |
1200.58/1201.04	c |    367932 |    1581   242248  1066319 | 2147483647   367932     79 |  0.000 % |
1217.58/1218.05	c |    369335 |    1581   242248  1066319 | 2147483647   369335     79 |  0.000 % |
1242.87/1243.30	c |    370877 |    1581   242248  1066319 | 2147483647   370877     79 |  0.000 % |
1251.17/1251.60	c |    372572 |    1581   242248  1066319 | 2147483647   372572     79 |  0.000 % |
1273.67/1274.14	c |    374437 |    1581   242248  1066319 | 2147483647   374437     79 |  0.000 % |
1283.66/1284.14	c |    376486 |    1581   242248  1066319 | 2147483647   376486     79 |  0.000 % |
1295.86/1296.39	c |    378739 |    1581   242248  1066319 | 2147483647   378739     78 |  0.000 % |
1307.05/1307.52	c |    381217 |    1581   242248  1066319 | 2147483647   381217     78 |  0.000 % |
1322.35/1322.81	c |    383942 |    1581   242248  1066319 | 2147483647   383942     78 |  0.000 % |
1343.94/1344.46	c |    386939 |    1581   242248  1066319 | 2147483647   386939     78 |  0.000 % |
1369.14/1369.61	c |    390236 |    1581   242248  1066319 | 2147483647   390236     77 |  0.000 % |
1394.93/1395.40	c |    393861 |    1581   242248  1066319 | 2147483647   393861     77 |  0.000 % |
1395.83/1396.36	c |    393962 |    1581   242248  1066319 | 2147483647   393962     77 |  0.000 % |
1396.73/1397.28	c |    394075 |    1581   242248  1066319 | 2147483647   394075     77 |  0.000 % |
1397.73/1398.26	c |    394197 |    1581   242248  1066319 | 2147483647   394197     77 |  0.000 % |
1399.63/1400.12	c |    394330 |    1581   242248  1066319 | 2147483647   394330     77 |  0.000 % |
1400.43/1400.98	c |    394476 |    1581   242248  1066319 | 2147483647   394476     77 |  0.000 % |
1403.43/1403.96	c |    394638 |    1581   242248  1066319 | 2147483647   394638     77 |  0.000 % |
1404.63/1405.18	c |    394814 |    1581   242248  1066319 | 2147483647   394814     77 |  0.000 % |
1405.72/1406.23	c |    395008 |    1581   242248  1066319 | 2147483647   395008     77 |  0.000 % |
1406.33/1406.85	c |    395221 |    1581   242248  1066319 | 2147483647   395221     77 |  0.000 % |
1411.02/1411.58	c |    395458 |    1581   242248  1066319 | 2147483647   395458     77 |  0.000 % |
1412.72/1413.28	c |    395716 |    1581   242248  1066319 | 2147483647   395716     77 |  0.000 % |
1414.02/1414.60	c |    395998 |    1581   242248  1066319 | 2147483647   395998     77 |  0.000 % |
1415.52/1416.00	c |    396307 |    1581   242248  1066319 | 2147483647   396307     77 |  0.000 % |
1417.72/1418.20	c |    396646 |    1581   242248  1066319 | 2147483647   396646     77 |  0.000 % |
1421.02/1421.52	c |    397018 |    1581   242248  1066319 | 2147483647   397018     77 |  0.000 % |
1422.32/1422.81	c |    397429 |    1581   242248  1066319 | 2147483647   397429     77 |  0.000 % |
1425.31/1425.80	c |    397879 |    1581   242248  1066319 | 2147483647   397879     77 |  0.000 % |
1430.22/1430.75	c |    398372 |    1581   242248  1066319 | 2147483647   398372     77 |  0.000 % |
1435.52/1436.09	c |    398914 |    1581   242248  1066319 | 2147483647   398914     77 |  0.000 % |
1439.82/1440.36	c |    399511 |    1581   242248  1066319 | 2147483647   399511     77 |  0.000 % |
1444.11/1444.63	c |    400166 |    1581   242248  1066319 | 2147483647   400166     77 |  0.000 % |
1454.82/1455.34	c |    400890 |    1581   242248  1066319 | 2147483647   400890     77 |  0.000 % |
1463.71/1464.27	c |    401682 |    1581   242248  1066319 | 2147483647   401682     77 |  0.000 % |
1471.81/1472.30	c |    402554 |    1581   242248  1066319 | 2147483647   402554     77 |  0.000 % |
1477.60/1478.20	c |    403514 |    1581   242248  1066319 | 2147483647   403514     77 |  0.000 % |
1486.20/1486.78	c |    404570 |    1581   242248  1066319 | 2147483647   404570     77 |  0.000 % |
1494.80/1495.38	c |    405731 |    1581   242248  1066319 | 2147483647   405731     77 |  0.000 % |
1502.29/1502.82	c |    407006 |    1581   242248  1066319 | 2147483647   407006     77 |  0.000 % |
1524.99/1525.56	c |    408407 |    1581   242248  1066319 | 2147483647   408407     77 |  0.000 % |
1540.99/1541.50	c |    409948 |    1581   242248  1066319 | 2147483647   409948     77 |  0.000 % |
1549.19/1549.71	c |    411644 |    1581   242248  1066319 | 2147483647   411644     77 |  0.000 % |
1564.78/1565.38	c |    413508 |    1581   242248  1066319 | 2147483647   413508     77 |  0.000 % |
1579.47/1580.07	c |    415557 |    1581   242248  1066319 | 2147483647   415557     77 |  0.000 % |
1596.68/1597.26	c |    417813 |    1581   242248  1066319 | 2147483647   417813     77 |  0.000 % |
1631.06/1631.60	c |    420292 |    1581   242248  1066319 |   420000   361445     76 |  0.000 % |
1656.66/1657.29	c |    423017 |    1581   242248  1066319 |   420000   364170     76 |  0.000 % |
1671.45/1672.03	c |    426019 |    1581   242248  1066319 |   420000   367172     76 |  0.000 % |
1708.94/1709.51	c |    429315 |    1581   242248  1066319 |   420000   370468     77 |  0.000 % |
1746.03/1746.66	c |    432942 |    1581   242248  1066319 | 2147483647   374095     77 |  0.000 % |
1783.12/1783.70	c |    436931 |    1581   242248  1066319 | 2147483647   378084     77 |  0.000 % |
1784.72/1785.34	c |    437031 |    1581   242248  1066319 | 2147483647   378184     77 |  0.000 % |
1785.92/1786.51	c |    437144 |    1581   242248  1066319 | 2147483647   378297     77 |  0.000 % |
1787.01/1787.61	c |    437265 |    1581   242248  1066319 | 2147483647   378418     77 |  0.001 % |
1787.92/1788.51	c |    437398 |    1581   242248  1066319 | 2147483647   378551     77 |  0.000 % |
1788.61/1789.25	c |    437546 |    1581   242248  1066319 | 2147483647   378699     77 |  0.000 % |
1790.31/1790.97	c |    437706 |    1581   242248  1066319 | 2147483647   378859     77 |  0.000 % |
1791.01/1791.70	c |    437886 |    1581   242248  1066319 | 2147483647   379039     77 |  0.000 % |
1792.32/1792.99	c |    438080 |    1581   242248  1066319 | 2147483647   379233     77 |  0.000 % |
1794.91/1795.56	c |    438292 |    1581   242248  1066319 | 2147483647   379445     77 |  0.000 % |
1796.61/1797.27	c |    438525 |    1581   242248  1066319 | 2147483647   379678     77 |  0.000 % |
1797.71/1798.32	c |    438783 |    1581   242248  1066319 | 2147483647   379936     77 |  0.000 % |
1800.91/1801.51	c |    439064 |    1581   242248  1066319 | 2147483647   380217     77 |  0.000 % |
1802.71/1803.38	c |    439374 |    1581   242248  1066319 | 2147483647   380527     77 |  0.000 % |
1804.11/1804.75	c |    439714 |    1581   242248  1066319 | 2147483647   380867     77 |  0.000 % |
1806.21/1806.84	c |    440086 |    1581   242248  1066319 | 2147483647   381239     77 |  0.000 % |
1812.31/1812.97	c |    440496 |    1581   242248  1066319 | 2147483647   381649     77 |  0.000 % |
1816.41/1817.00	c |    440947 |    1581   242248  1066319 | 2147483647   382100     77 |  0.000 % |
1818.91/1819.55	c |    441440 |    1581   242248  1066319 | 2147483647   382593     77 |  0.000 % |
1823.30/1823.93	c |    441986 |    1581   242248  1066319 | 2147483647   383139     77 |  0.000 % |
1826.00/1826.66	c |    442582 |    1581   242248  1066319 | 2147483647   383735     77 |  0.000 % |
1830.70/1831.36	c |    443238 |    1581   242248  1066319 | 2147483647   384391     77 |  0.000 % |
1839.50/1840.14	c |    443960 |    1581   242248  1066319 | 2147483647   385113     77 |  0.000 % |
1846.40/1847.08	c |    444753 |    1581   242248  1066319 | 2147483647   385906     77 |  0.000 % |
1851.71/1852.39	c |    445624 |    1581   242248  1066319 | 2147483647   386777     77 |  0.000 % |
1860.90/1861.58	c |    446584 |    1581   242248  1066319 | 2147483647   387737     77 |  0.000 % |
1865.90/1866.58	c |    447639 |    1581   242248  1066319 | 2147483647   388792     77 |  0.000 % |
1872.60/1873.20	c |    448798 |    1581   242248  1066319 | 2147483647   389951     77 |  0.000 % |
1881.09/1881.77	c |    450071 |    1581   242248  1066319 |   391154   391224     77 |  0.000 % |
1891.49/1892.15	c |    451471 |    1581   242248  1066319 |   391154   339936     78 |  0.000 % |
1899.68/1900.35	c |    453011 |    1581   242248  1066319 |   391154   341476     77 |  0.000 % |
1906.88/1907.54	c |    454706 |    1581   242248  1066319 |   391154   343171     78 |  0.000 % |
1913.78/1914.44	c |    456569 |    1581   242248  1066319 |   391154   345034     78 |  0.000 % |
1921.88/1922.54	c |    458619 |    1581   242248  1066319 |   391154   347084     78 |  0.000 % |
1931.77/1932.46	c |    460872 |    1581   242248  1066319 | 2147483647   349337     78 |  0.000 % |
1942.67/1943.35	c |    463350 |    1581   242248  1066319 | 2147483647   351815     78 |  0.000 % |
1960.46/1961.18	c |    466075 |    1581   242248  1066319 | 2147483647   354540     78 |  0.000 % |
1984.66/1985.30	c |    469073 |    1581   242248  1066319 | 2147483647   357538     78 |  0.000 % |
1997.35/1998.08	c |    472370 |    1581   242248  1066319 | 2147483647   360835     78 |  0.000 % |
2017.75/2018.40	c |    475995 |    1581   242248  1066319 | 2147483647   364460     78 |  0.000 % |
2029.74/2030.45	c |    479985 |    1581   242248  1066319 | 2147483647   368450     78 |  0.000 % |
2059.44/2060.13	c |    484372 |    1581   242248  1066319 | 2147483647   372837     78 |  0.000 % |
2060.04/2060.71	c |    484472 |    1581   242248  1066319 | 2147483647   372937     78 |  0.000 % |
2060.74/2061.43	c |    484583 |    1581   242248  1066319 | 2147483647   373048     78 |  0.000 % |
2061.74/2062.47	c |    484704 |    1581   242248  1066319 | 2147483647   373169     78 |  0.000 % |
2062.94/2063.69	c |    484838 |    1581   242248  1066319 | 2147483647   373303     78 |  0.000 % |
2064.33/2065.08	c |    484985 |    1581   242248  1066319 | 2147483647   373450     78 |  0.000 % |
2065.73/2066.40	c |    485146 |    1581   242248  1066319 | 2147483647   373611     78 |  0.000 % |
2067.04/2067.70	c |    485323 |    1581   242248  1066319 | 2147483647   373788     78 |  0.000 % |
2069.33/2070.09	c |    485517 |    1581   242248  1066319 | 2147483647   373982     78 |  0.000 % |
2071.23/2071.94	c |    485729 |    1581   242248  1066319 | 2147483647   374194     78 |  0.000 % |
2074.23/2074.93	c |    485965 |    1581   242248  1066319 | 2147483647   374430     78 |  0.000 % |
2076.23/2076.99	c |    486221 |    1581   242248  1066319 | 2147483647   374686     78 |  0.000 % |
2078.63/2079.34	c |    486503 |    1581   242248  1066319 | 2147483647   374968     79 |  0.000 % |
2080.03/2080.76	c |    486813 |    1581   242248  1066319 | 2147483647   375278     79 |  0.000 % |
2083.63/2084.32	c |    487152 |    1581   242248  1066319 | 2147483647   375617     79 |  0.000 % |
2085.83/2086.57	c |    487525 |    1581   242248  1066319 | 2147483647   375990     79 |  0.000 % |
2088.23/2088.92	c |    487934 |    1581   242248  1066319 | 2147483647   376399     79 |  0.000 % |
2091.62/2092.32	c |    488383 |    1581   242248  1066319 | 2147483647   376848     79 |  0.000 % |
2094.92/2095.66	c |    488876 |    1581   242248  1066319 | 2147483647   377341     79 |  0.000 % |
2097.82/2098.55	c |    489419 |    1581   242248  1066319 | 2147483647   377884     79 |  0.000 % |
2100.52/2101.27	c |    490015 |    1581   242248  1066319 |   378466   378480     79 |  0.000 % |
2106.52/2107.20	c |    490672 |    1581   242248  1066319 |   378466   327587     80 |  0.000 % |
2111.72/2112.49	c |    491393 |    1581   242248  1066319 |   378466   328308     80 |  0.000 % |
2115.92/2116.62	c |    492186 |    1581   242248  1066319 |   378466   329101     80 |  0.000 % |
2124.12/2124.83	c |    493060 |    1581   242248  1066319 |   378466   329975     80 |  0.000 % |
2130.81/2131.58	c |    494020 |    1581   242248  1066319 |   378466   330935     80 |  0.000 % |
2140.32/2141.06	c |    495073 |    1581   242248  1066319 |   378466   331988     80 |  0.000 % |
2149.22/2149.92	c |    496233 |    1581   242248  1066319 |   378466   333148     80 |  0.000 % |
2153.52/2154.25	c |    497506 |    1581   242248  1066319 |   378466   334421     80 |  0.000 % |
2163.61/2164.34	c |    498910 |    1581   242248  1066319 |   378466   335825     80 |  0.000 % |
2177.71/2178.45	c |    500451 |    1581   242248  1066319 |   336917   297635     80 |  0.000 % |
2183.21/2183.95	c |    502145 |    1581   242248  1066319 |   336917   299329     80 |  0.000 % |
2198.80/2199.51	c |    504008 |    1581   242248  1066319 |   336917   301192     80 |  0.000 % |
2204.20/2204.92	c |    506058 |    1581   242248  1066319 |   336917   303242     80 |  0.000 % |
2215.10/2215.84	c |    508311 |    1581   242248  1066319 |   336917   305495     80 |  0.000 % |
2232.69/2233.44	c |    510789 |    1581   242248  1066319 | 2147483647   307973     80 |  0.000 % |
2245.09/2245.87	c |    513517 |    1581   242248  1066319 | 2147483647   310701     80 |  0.000 % |
2257.89/2258.65	c |    516514 |    1581   242248  1066319 | 2147483647   313698     80 |  0.000 % |
2274.58/2275.35	c |    519810 |    1581   242248  1066319 | 2147483647   316994     80 |  0.000 % |
2288.48/2289.27	c |    523435 |    1581   242248  1066319 | 2147483647   320619     80 |  0.000 % |
2305.57/2306.31	c |    527422 |    1581   242248  1066319 | 2147483647   324606     80 |  0.000 % |
2323.37/2324.19	c |    531808 |    1581   242248  1066319 | 2147483647   328992     80 |  0.000 % |
2343.56/2344.36	c |    536633 |    1581   242248  1066319 | 2147483647   333817     79 |  0.000 % |
2343.86/2344.69	c |    536735 |    1581   242248  1066319 | 2147483647   333919     79 |  0.000 % |
2344.36/2345.19	c |    536845 |    1581   242248  1066319 | 2147483647   334029     79 |  0.000 % |
2344.86/2345.68	c |    536967 |    1581   242248  1066319 | 2147483647   334151     79 |  0.000 % |
2345.46/2346.23	c |    537101 |    1581   242248  1066319 | 2147483647   334285     79 |  0.000 % |
2345.86/2346.62	c |    537248 |    1581   242248  1066319 | 2147483647   334432     79 |  0.000 % |
2346.66/2347.42	c |    537409 |    1581   242248  1066319 | 2147483647   334593     79 |  0.000 % |
2347.36/2348.16	c |    537586 |    1581   242248  1066319 | 2147483647   334770     79 |  0.000 % |
2349.46/2350.22	c |    537781 |    1581   242248  1066319 | 2147483647   334965     79 |  0.000 % |
2350.76/2351.51	c |    537996 |    1581   242248  1066319 | 2147483647   335180     79 |  0.000 % |
2352.16/2352.91	c |    538229 |    1581   242248  1066319 | 2147483647   335413     79 |  0.000 % |
2353.76/2354.57	c |    538486 |    1581   242248  1066319 | 2147483647   335670     79 |  0.000 % |
2354.76/2355.52	c |    538769 |    1581   242248  1066319 | 2147483647   335953     79 |  0.000 % |
2357.76/2358.56	c |    539078 |    1581   242248  1066319 | 2147483647   336262     79 |  0.000 % |
2359.25/2360.06	c |    539419 |    1581   242248  1066319 | 2147483647   336603     79 |  0.000 % |
2362.45/2363.27	c |    539792 |    1581   242248  1066319 | 2147483647   336976     79 |  0.000 % |
2364.95/2365.77	c |    540203 |    1581   242248  1066319 | 2147483647   337387     79 |  0.000 % |
2367.15/2367.96	c |    540654 |    1581   242248  1066319 | 2147483647   337838     79 |  0.000 % |
2369.85/2370.62	c |    541150 |    1581   242248  1066319 | 2147483647   338334     79 |  0.000 % |
2372.55/2373.31	c |    541692 |    1581   242248  1066319 | 2147483647   338876     79 |  0.000 % |
2374.55/2375.39	c |    542288 |    1581   242248  1066319 | 2147483647   339472     79 |  0.000 % |
2377.85/2378.65	c |    542943 |    1581   242248  1066319 | 2147483647   340127     79 |  0.000 % |
2381.65/2382.41	c |    543665 |    1581   242248  1066319 | 2147483647   340849     79 |  0.000 % |
2387.05/2387.81	c |    544457 |    1581   242248  1066319 | 2147483647   341641     79 |  0.000 % |
2392.85/2393.62	c |    545328 |    1581   242248  1066319 | 2147483647   342512     79 |  0.000 % |
2399.04/2399.85	c |    546286 |    1581   242248  1066319 | 2147483647   343470     79 |  0.000 % |
2404.04/2404.84	c |    547341 |    1581   242248  1066319 | 2147483647   344525     79 |  0.000 % |
2409.84/2410.65	c |    548500 |    1581   242248  1066319 | 2147483647   345684     79 |  0.000 % |
2419.44/2420.25	c |    549775 |    1581   242248  1066319 | 2147483647   346959     79 |  0.000 % |
2425.84/2426.65	c |    551177 |    1581   242248  1066319 | 2147483647   348361     79 |  0.000 % |
2436.23/2437.05	c |    552717 |    1581   242248  1066319 | 2147483647   349901     79 |  0.000 % |
2450.43/2451.29	c |    554413 |    1581   242248  1066319 | 2147483647   351597     79 |  0.000 % |
2465.22/2466.10	c |    556278 |    1581   242248  1066319 | 2147483647   353462     79 |  0.000 % |
2474.22/2475.03	c |    558327 |    1581   242248  1066319 | 2147483647   355511     79 |  0.000 % |
2487.42/2488.28	c |    560580 |    1581   242248  1066319 | 2147483647   357764     79 |  0.000 % |
2499.71/2500.55	c |    563060 |    1581   242248  1066319 | 2147483647   360244     79 |  0.000 % |
2518.42/2519.21	c |    565786 |    1581   242248  1066319 | 2147483647   362970     79 |  0.000 % |
2534.41/2535.22	c |    568784 |    1581   242248  1066319 | 2147483647   365968     79 |  0.000 % |
2552.41/2553.23	c |    572084 |    1581   242248  1066319 | 2147483647   369268     79 |  0.000 % |
2571.80/2572.61	c |    575709 |    1581   242248  1066319 | 2147483647   372893     79 |  0.000 % |
2600.09/2600.94	c |    579696 |    1581   242248  1066319 | 2147483647   376880     79 |  0.000 % |
2628.29/2629.11	c |    584081 |    1581   242248  1066319 | 2147483647   381265     80 |  0.000 % |
2671.97/2672.80	c |    588904 |    1581   242248  1066319 | 2147483647   386088     80 |  0.000 % |
2715.16/2716.07	c |    594210 |    1581   242248  1066319 | 2147483647   391394     80 |  0.000 % |
2716.06/2716.97	c |    594311 |    1581   242248  1066319 | 2147483647   391495     80 |  0.000 % |
2716.76/2717.68	c |    594422 |    1581   242248  1066319 | 2147483647   391606     80 |  0.000 % |
2717.76/2718.63	c |    594543 |    1581   242248  1066319 | 2147483647   391727     80 |  0.000 % |
2719.16/2720.05	c |    594676 |    1581   242248  1066319 | 2147483647   391860     80 |  0.000 % |
2720.56/2721.44	c |    594822 |    1581   242248  1066319 | 2147483647   392006     80 |  0.000 % |
2721.76/2722.69	c |    594982 |    1581   242248  1066319 | 2147483647   392166     80 |  0.000 % |
2723.16/2724.09	c |    595158 |    1581   242248  1066319 | 2147483647   392342     80 |  0.000 % |
2725.25/2726.13	c |    595352 |    1581   242248  1066319 | 2147483647   392536     80 |  0.000 % |
2726.46/2727.30	c |    595565 |    1581   242248  1066319 | 2147483647   392749     80 |  0.000 % |
2728.16/2729.05	c |    595798 |    1581   242248  1066319 | 2147483647   392982     80 |  0.000 % |
2729.36/2730.29	c |    596054 |    1581   242248  1066319 | 2147483647   393238     80 |  0.000 % |
2732.45/2733.33	c |    596335 |    1581   242248  1066319 | 2147483647   393519     80 |  0.000 % |
2736.15/2737.08	c |    596644 |    1581   242248  1066319 | 2147483647   393828     80 |  0.000 % |
2738.55/2739.40	c |    596984 |    1581   242248  1066319 | 2147483647   394168     80 |  0.000 % |
2740.65/2741.56	c |    597356 |    1581   242248  1066319 | 2147483647   394540     80 |  0.000 % |
2743.25/2744.17	c |    597765 |    1581   242248  1066319 | 2147483647   394949     80 |  0.000 % |
2749.15/2750.02	c |    598214 |    1581   242248  1066319 | 2147483647   395398     80 |  0.000 % |
2752.85/2753.77	c |    598707 |    1581   242248  1066319 | 2147483647   395891     80 |  0.000 % |
2758.05/2758.91	c |    599249 |    1581   242248  1066319 | 2147483647   396433     80 |  0.000 % |
2762.95/2763.86	c |    599847 |    1581   242248  1066319 | 2147483647   397031     80 |  0.000 % |
2769.54/2770.48	c |    600502 |    1581   242248  1066319 | 2147483647   397686     80 |  0.000 % |
2772.94/2773.89	c |    601225 |    1581   242248  1066319 | 2147483647   398409     80 |  0.000 % |
2777.64/2778.55	c |    602018 |    1581   242248  1066319 | 2147483647   399202     80 |  0.000 % |
2781.94/2782.87	c |    602889 |    1581   242248  1066319 | 2147483647   400073     80 |  0.000 % |
2786.83/2787.75	c |    603847 |    1581   242248  1066319 | 2147483647   401031     80 |  0.000 % |
2792.43/2793.32	c |    604900 |    1581   242248  1066319 | 2147483647   402084     80 |  0.000 % |
2807.43/2808.35	c |    606059 |    1581   242248  1066319 | 2147483647   403243     80 |  0.000 % |
2817.33/2818.20	c |    607332 |    1581   242248  1066319 | 2147483647   404516     80 |  0.000 % |
2825.03/2825.92	c |    608734 |    1581   242248  1066319 | 2147483647   405918     81 |  0.000 % |
2838.72/2839.62	c |    610277 |    1581   242248  1066319 | 2147483647   407461     81 |  0.000 % |
2850.71/2851.67	c |    611971 |    1581   242248  1066319 | 2147483647   409155     81 |  0.000 % |
2864.71/2865.63	c |    613834 |    1581   242248  1066319 | 2147483647   411018     81 |  0.000 % |
2876.91/2877.89	c |    615883 |    1581   242248  1066319 | 2147483647   413067     81 |  0.000 % |
2907.30/2908.22	c |    618138 |    1581   242248  1066319 | 2147483647   415322     81 |  0.000 % |
2915.80/2916.71	c |    620616 |    1581   242248  1066319 |   417184   357092     83 |  0.000 % |
2924.10/2925.03	c |    623341 |    1581   242248  1066319 |   417184   359817     83 |  0.000 % |
2933.50/2934.49	c |    626338 |    1581   242248  1066319 |   417184   362814     83 |  0.000 % |
2946.89/2947.81	c |    629640 |    1581   242248  1066319 |   417184   366116     83 |  0.000 % |
2958.49/2959.47	c |    633265 |    1581   242248  1066319 | 2147483647   369741     83 |  0.000 % |
2975.89/2976.87	c |    637252 |    1581   242248  1066319 | 2147483647   373728     83 |  0.000 % |
2998.98/2999.99	c |    641637 |    1581   242248  1066319 | 2147483647   378113     83 |  0.000 % |
3019.58/3020.60	c |    646461 |    1581   242248  1066319 | 2147483647   382937     82 |  0.000 % |
3036.17/3037.14	c |    651767 |    1581   242248  1066319 | 2147483647   388243     82 |  0.000 % |
3046.16/3047.19	c |    657603 |    1581   242248  1066319 | 2147483647   394079     82 |  0.000 % |
3046.46/3047.42	c |    657703 |    1581   242248  1066319 | 2147483647   394179     82 |  0.000 % |
3046.86/3047.82	c |    657813 |    1581   242248  1066319 | 2147483647   394289     82 |  0.000 % |
3047.26/3048.20	c |    657934 |    1581   242248  1066319 | 2147483647   394410     82 |  0.000 % |
3047.66/3048.63	c |    658069 |    1581   242248  1066319 | 2147483647   394545     82 |  0.000 % |
3048.46/3049.43	c |    658215 |    1581   242248  1066319 | 2147483647   394691     82 |  0.000 % |
3049.06/3050.08	c |    658375 |    1581   242248  1066319 | 2147483647   394851     82 |  0.000 % |
3049.76/3050.77	c |    658551 |    1581   242248  1066319 | 2147483647   395027     82 |  0.000 % |
3050.86/3051.83	c |    658744 |    1581   242248  1066319 | 2147483647   395220     82 |  0.000 % |
3052.26/3053.25	c |    658956 |    1581   242248  1066319 | 2147483647   395432     82 |  0.000 % |
3053.36/3054.33	c |    659190 |    1581   242248  1066319 | 2147483647   395666     82 |  0.000 % |
3054.56/3055.52	c |    659446 |    1581   242248  1066319 | 2147483647   395922     82 |  0.000 % |
3056.06/3057.08	c |    659727 |    1581   242248  1066319 | 2147483647   396203     82 |  0.000 % |
3058.45/3059.43	c |    660036 |    1581   242248  1066319 | 2147483647   396512     82 |  0.000 % |
3061.15/3062.19	c |    660376 |    1581   242248  1066319 | 2147483647   396852     82 |  0.000 % |
3063.35/3064.37	c |    660748 |    1581   242248  1066319 | 2147483647   397224     82 |  0.000 % |
3065.65/3066.69	c |    661157 |    1581   242248  1066319 | 2147483647   397633     82 |  0.000 % |
3067.96/3068.94	c |    661608 |    1581   242248  1066319 | 2147483647   398084     82 |  0.000 % |
3071.75/3072.77	c |    662103 |    1581   242248  1066319 | 2147483647   398579     82 |  0.000 % |
3073.85/3074.81	c |    662646 |    1581   242248  1066319 | 2147483647   399122     82 |  0.000 % |
3077.55/3078.51	c |    663242 |    1581   242248  1066319 | 2147483647   399718     82 |  0.000 % |
3081.85/3082.82	c |    663899 |    1581   242248  1066319 | 2147483647   400375     82 |  0.000 % |
3085.85/3086.83	c |    664621 |    1581   242248  1066319 | 2147483647   401097     82 |  0.000 % |
3090.15/3091.15	c |    665414 |    1581   242248  1066319 | 2147483647   401890     82 |  0.000 % |
3095.95/3096.90	c |    666285 |    1581   242248  1066319 | 2147483647   402761     82 |  0.000 % |
3102.64/3103.66	c |    667244 |    1581   242248  1066319 | 2147483647   403720     82 |  0.000 % |
3109.84/3110.87	c |    668297 |    1581   242248  1066319 | 2147483647   404773     82 |  0.000 % |
3115.54/3116.55	c |    669456 |    1581   242248  1066319 | 2147483647   405932     82 |  0.000 % |
3123.04/3124.09	c |    670729 |    1581   242248  1066319 | 2147483647   407205     82 |  0.000 % |
3132.84/3133.84	c |    672129 |    1581   242248  1066319 | 2147483647   408605     82 |  0.000 % |
3142.63/3143.65	c |    673669 |    1581   242248  1066319 | 2147483647   410145     82 |  0.000 % |
3152.24/3153.26	c |    675364 |    1581   242248  1066319 | 2147483647   411840     82 |  0.000 % |
3163.33/3164.34	c |    677229 |    1581   242248  1066319 | 2147483647   413705     82 |  0.000 % |
3177.02/3178.10	c |    679279 |    1581   242248  1066319 | 2147483647   415755     82 |  0.000 % |
3187.02/3188.00	c |    681532 |    1581   242248  1066319 |   416476   331396     83 |  0.000 % |
3196.62/3197.63	c |    684012 |    1581   242248  1066319 |   416476   333876     83 |  0.000 % |
3206.42/3207.46	c |    686738 |    1581   242248  1066319 |   416476   336602     83 |  0.000 % |
3213.41/3214.46	c |    689739 |    1581   242248  1066319 |   416476   339603     83 |  0.000 % |
3220.92/3221.99	c |    693035 |    1581   242248  1066319 | 2147483647   342899     83 |  0.000 % |
3233.31/3234.31	c |    696660 |    1581   242248  1066319 | 2147483647   346524     83 |  0.000 % |
3245.60/3246.61	c |    700647 |    1581   242248  1066319 |   349864   315471     83 |  0.000 % |
3261.40/3262.47	c |    705040 |    1581   242248  1066319 |   349864   319864     83 |  0.000 % |
3279.60/3280.68	c |    709864 |    1581   242248  1066319 |   349864   324688     83 |  0.000 % |
3299.40/3300.40	c |    715169 |    1581   242248  1066319 |   324824   282349     83 |  0.000 % |
3321.69/3322.79	c |    721004 |    1581   242248  1066319 |   287180   259401     84 |  0.000 % |
3346.08/3347.15	c |    727422 |    1581   242248  1066319 |   287180   265819     84 |  0.000 % |
3346.68/3347.71	c |    727523 |    1581   242248  1066319 |   287180   265920     84 |  0.000 % |
3347.29/3348.32	c |    727633 |    1581   242248  1066319 |   287180   266030     84 |  0.000 % |
3347.88/3348.95	c |    727755 |    1581   242248  1066319 |   287180   266152     83 |  0.000 % |
3348.58/3349.63	c |    727888 |    1581   242248  1066319 |   287180   266285     83 |  0.000 % |
3349.08/3350.17	c |    728035 |    1581   242248  1066319 |   287180   266432     83 |  0.000 % |
3349.98/3351.06	c |    728199 |    1581   242248  1066319 |   287180   266596     83 |  0.000 % |
3351.08/3352.13	c |    728375 |    1581   242248  1066319 |   287180   266772     83 |  0.000 % |
3352.18/3353.24	c |    728568 |    1581   242248  1066319 |   287180   266965     83 |  0.000 % |
3352.98/3354.03	c |    728780 |    1581   242248  1066319 |   287180   267177     83 |  0.000 % |
3354.68/3355.76	c |    729013 |    1581   242248  1066319 |   287180   267410     83 |  0.000 % |
3356.68/3357.79	c |    729269 |    1581   242248  1066319 |   287180   267666     83 |  0.000 % |
3359.08/3360.11	c |    729552 |    1581   242248  1066319 |   287180   267949     83 |  0.000 % |
3361.38/3362.49	c |    729862 |    1581   242248  1066319 |   287180   268259     84 |  0.000 % |
3363.88/3364.90	c |    730201 |    1581   242248  1066319 | 2147483647   268598     84 |  0.000 % |
3364.98/3366.02	c |    730575 |    1581   242248  1066319 | 2147483647   268972     84 |  0.000 % |
3367.98/3369.07	c |    730985 |    1581   242248  1066319 | 2147483647   269382     84 |  0.000 % |
3372.68/3373.74	c |    731435 |    1581   242248  1066319 | 2147483647   269832     84 |  0.000 % |
3376.67/3377.75	c |    731930 |    1581   242248  1066319 | 2147483647   270327     84 |  0.000 % |
3380.97/3382.09	c |    732473 |    1581   242248  1066319 | 2147483647   270870     83 |  0.000 % |
3384.68/3385.72	c |    733070 |    1581   242248  1066319 | 2147483647   271467     83 |  0.000 % |
3388.27/3389.35	c |    733726 |    1581   242248  1066319 | 2147483647   272123     83 |  0.000 % |
3390.77/3391.83	c |    734447 |    1581   242248  1066319 | 2147483647   272844     83 |  0.000 % |
3393.97/3395.09	c |    735242 |    1581   242248  1066319 | 2147483647   273639     83 |  0.000 % |
3399.37/3400.46	c |    736113 |    1581   242248  1066319 | 2147483647   274510     83 |  0.000 % |
3404.26/3405.39	c |    737073 |    1581   242248  1066319 | 2147483647   275470     83 |  0.000 % |
3411.86/3412.97	c |    738126 |    1581   242248  1066319 | 2147483647   276523     83 |  0.000 % |
3419.76/3420.80	c |    739284 |    1581   242248  1066319 | 2147483647   277681     84 |  0.000 % |
3424.36/3425.44	c |    740558 |    1581   242248  1066319 | 2147483647   278955     84 |  0.000 % |
3436.85/3437.98	c |    741958 |    1581   242248  1066319 | 2147483647   280355     84 |  0.000 % |
3447.85/3448.98	c |    743499 |    1581   242248  1066319 | 2147483647   281896     84 |  0.000 % |
3460.45/3461.54	c |    745193 |    1581   242248  1066319 | 2147483647   283590     84 |  0.000 % |
3470.94/3472.00	c |    747057 |    1581   242248  1066319 | 2147483647   285454     83 |  0.000 % |
3483.74/3484.89	c |    749108 |    1581   242248  1066319 | 2147483647   287505     83 |  0.000 % |
3492.04/3493.11	c |    751361 |    1581   242248  1066319 | 2147483647   289758     83 |  0.000 % |
3505.53/3506.61	c |    753839 |    1581   242248  1066319 | 2147483647   292236     83 |  0.000 % |
3518.13/3519.23	c |    756565 |    1581   242248  1066319 | 2147483647   294962     83 |  0.000 % |
3539.73/3540.84	c |    759562 |    1581   242248  1066319 | 2147483647   297959     83 |  0.000 % |
3559.12/3560.27	c |    762859 |    1581   242248  1066319 | 2147483647   301256     83 |  0.000 % |
3582.91/3584.04	c |    766484 |    1581   242248  1066319 | 2147483647   304881     83 |  0.000 % |
3596.91/3598.01	c |    770471 |    1581   242248  1066319 | 2147483647   308868     83 |  0.000 % |
3617.20/3618.35	c |    774858 |    1581   242248  1066319 | 2147483647   313255     83 |  0.000 % |
3643.89/3645.06	c |    779681 |    1581   242248  1066319 | 2147483647   318078     83 |  0.000 % |
3668.39/3669.51	c |    784988 |    1581   242248  1066319 | 2147483647   323385     83 |  0.000 % |
3697.08/3698.24	c |    790824 |    1581   242248  1066319 | 2147483647   329221     83 |  0.000 % |
3732.07/3733.21	c |    797243 |    1581   242248  1066319 | 2147483647   335640     83 |  0.000 % |
3758.57/3759.72	c |    804302 |    1581   242248  1066319 | 2147483647   342699     83 |  0.000 % |
3758.97/3760.16	c |    804403 |    1581   242248  1066319 | 2147483647   342800     83 |  0.000 % |
3759.77/3760.91	c |    804515 |    1581   242248  1066319 | 2147483647   342912     83 |  0.000 % |
3760.77/3761.94	c |    804638 |    1581   242248  1066319 | 2147483647   343035     83 |  0.000 % |
3761.57/3762.75	c |    804772 |    1581   242248  1066319 | 2147483647   343169     83 |  0.000 % |
3762.67/3763.87	c |    804918 |    1581   242248  1066319 | 2147483647   343315     83 |  0.000 % |
3764.37/3765.57	c |    805079 |    1581   242248  1066319 | 2147483647   343476     83 |  0.000 % |
3765.67/3766.86	c |    805257 |    1581   242248  1066319 | 2147483647   343654     83 |  0.000 % |
3767.77/3768.99	c |    805450 |    1581   242248  1066319 | 2147483647   343847     83 |  0.000 % |
3770.07/3771.25	c |    805663 |    1581   242248  1066319 | 2147483647   344060     83 |  0.000 % |
3771.66/3772.82	c |    805896 |    1581   242248  1066319 | 2147483647   344293     83 |  0.000 % |
3773.56/3774.73	c |    806155 |    1581   242248  1066319 | 2147483647   344552     83 |  0.000 % |
3776.27/3777.47	c |    806443 |    1581   242248  1066319 | 2147483647   344840     83 |  0.000 % |
3779.16/3780.37	c |    806753 |    1581   242248  1066319 | 2147483647   345150     83 |  0.000 % |
3781.67/3782.88	c |    807092 |    1581   242248  1066319 | 2147483647   345489     83 |  0.000 % |
3784.06/3785.27	c |    807464 |    1581   242248  1066319 | 2147483647   345861     83 |  0.000 % |
3787.56/3788.73	c |    807874 |    1581   242248  1066319 | 2147483647   346271     83 |  0.000 % |
3789.76/3790.90	c |    808324 |    1581   242248  1066319 | 2147483647   346721     83 |  0.000 % |
3792.56/3793.71	c |    808817 |    1581   242248  1066319 | 2147483647   347214     83 |  0.000 % |
3795.56/3796.73	c |    809361 |    1581   242248  1066319 | 2147483647   347758     83 |  0.000 % |
3798.46/3799.61	c |    809958 |    1581   242248  1066319 | 2147483647   348355     83 |  0.000 % |
3801.85/3803.04	c |    810614 |    1581   242248  1066319 | 2147483647   349011     83 |  0.000 % |
3804.95/3806.11	c |    811336 |    1581   242248  1066319 | 2147483647   349733     83 |  0.000 % |
3810.65/3811.90	c |    812128 |    1581   242248  1066319 | 2147483647   350525     83 |  0.000 % |
3816.85/3818.02	c |    813000 |    1581   242248  1066319 | 2147483647   351397     83 |  0.000 % |
3822.65/3823.86	c |    813958 |    1581   242248  1066319 | 2147483647   352355     83 |  0.000 % |
3828.24/3829.49	c |    815011 |    1581   242248  1066319 | 2147483647   353408     83 |  0.000 % |
3839.84/3841.02	c |    816169 |    1581   242248  1066319 | 2147483647   354566     83 |  0.000 % |
3849.74/3850.91	c |    817443 |    1581   242248  1066319 | 2147483647   355840     83 |  0.000 % |
3856.04/3857.23	c |    818843 |    1581   242248  1066319 | 2147483647   357240     83 |  0.000 % |
3863.14/3864.32	c |    820384 |    1581   242248  1066319 | 2147483647   358781     83 |  0.000 % |
3871.13/3872.34	c |    822078 |    1581   242248  1066319 | 2147483647   360475     83 |  0.000 % |
3883.53/3884.75	c |    823943 |    1581   242248  1066319 | 2147483647   362340     83 |  0.000 % |
3901.12/3902.35	c |    825992 |    1581   242248  1066319 | 2147483647   364389     83 |  0.000 % |
3916.72/3917.96	c |    828246 |    1581   242248  1066319 | 2147483647   366643     83 |  0.000 % |
3931.32/3932.54	c |    830724 |    1581   242248  1066319 | 2147483647   369121     83 |  0.000 % |
3948.41/3949.60	c |    833452 |    1581   242248  1066319 | 2147483647   371849     83 |  0.001 % |
3969.20/3970.41	c |    836450 |    1581   242248  1066319 | 2147483647   374847     82 |  0.000 % |
3987.50/3988.74	c |    839746 |    1581   242248  1066319 | 2147483647   378143     82 |  0.000 % |
4005.60/4006.83	c |    843377 |    1581   242248  1066319 | 2147483647   381774     82 |  0.000 % |
4024.90/4026.16	c |    847367 |    1581   242248  1066319 | 2147483647   385764     81 |  0.000 % |
4043.69/4044.96	c |    851753 |    1581   242248  1066319 | 2147483647   390150     81 |  0.000 % |
4063.69/4064.93	c |    856577 |    1581   242248  1066319 | 2147483647   394974     81 |  0.000 % |
4086.68/4087.94	c |    861884 |    1581   242248  1066319 | 2147483647   400281     81 |  0.000 % |
4113.27/4114.59	c |    867719 |    1581   242248  1066319 | 2147483647   406116     81 |  0.000 % |
4142.76/4144.06	c |    874137 |    1581   242248  1066319 | 2147483647   412534     82 |  0.000 % |
4173.35/4174.66	c |    881199 |    1581   242248  1066319 | 2147483647   419596     82 |  0.000 % |
4214.24/4215.56	c |    888963 |    1581   242248  1066319 | 2147483647   427360     82 |  0.000 % |
4215.05/4216.35	c |    889065 |    1581   242248  1066319 | 2147483647   427462     82 |  0.000 % |
4215.94/4217.22	c |    889176 |    1581   242248  1066319 | 2147483647   427573     82 |  0.000 % |
4217.04/4218.35	c |    889298 |    1581   242248  1066319 | 2147483647   427695     82 |  0.000 % |
4218.14/4219.44	c |    889431 |    1581   242248  1066319 | 2147483647   427828     82 |  0.000 % |
4219.44/4220.76	c |    889578 |    1581   242248  1066319 | 2147483647   427975     82 |  0.000 % |
4220.84/4222.10	c |    889738 |    1581   242248  1066319 | 2147483647   428135     82 |  0.000 % |
4222.44/4223.79	c |    889915 |    1581   242248  1066319 | 2147483647   428312     82 |  0.000 % |
4224.84/4226.14	c |    890109 |    1581   242248  1066319 | 2147483647   428506     82 |  0.000 % |
4227.84/4229.11	c |    890322 |    1581   242248  1066319 | 2147483647   428719     82 |  0.000 % |
4229.13/4230.49	c |    890556 |    1581   242248  1066319 | 2147483647   428953     82 |  0.000 % |
4231.83/4233.17	c |    890813 |    1581   242248  1066319 | 2147483647   429210     82 |  0.000 % |
4234.33/4235.69	c |    891096 |    1581   242248  1066319 | 2147483647   429493     82 |  0.000 % |
4237.23/4238.53	c |    891407 |    1581   242248  1066319 | 2147483647   429804     82 |  0.000 % |
4239.73/4241.06	c |    891747 |    1581   242248  1066319 | 2147483647   430144     82 |  0.000 % |
4242.33/4243.63	c |    892123 |    1581   242248  1066319 | 2147483647   430520     82 |  0.000 % |
4245.23/4246.56	c |    892532 |    1581   242248  1066319 | 2147483647   430929     82 |  0.000 % |
4249.04/4250.38	c |    892981 |    1581   242248  1066319 | 2147483647   431378     82 |  0.000 % |
4253.44/4254.76	c |    893474 |    1581   242248  1066319 | 2147483647   431871     82 |  0.000 % |
4258.13/4259.49	c |    894016 |    1581   242248  1066319 | 2147483647   432413     82 |  0.000 % |
4263.23/4264.53	c |    894613 |    1581   242248  1066319 | 2147483647   433010     82 |  0.000 % |
4268.83/4270.11	c |    895268 |    1581   242248  1066319 | 2147483647   433665     82 |  0.000 % |
4273.92/4275.23	c |    895991 |    1581   242248  1066319 | 2147483647   434388     82 |  0.000 % |
4279.42/4280.74	c |    896784 |    1581   242248  1066319 | 2147483647   435181     82 |  0.000 % |
4286.72/4288.02	c |    897655 |    1581   242248  1066319 | 2147483647   436052     82 |  0.000 % |
4292.52/4293.86	c |    898613 |    1581   242248  1066319 | 2147483647   437010     82 |  0.000 % |
4300.11/4301.45	c |    899667 |    1581   242248  1066319 | 2147483647   438064     82 |  0.000 % |
4306.81/4308.18	c |    900827 |    1581   242248  1066319 | 2147483647   439224     82 |  0.000 % |
4313.11/4314.40	c |    902101 |    1581   242248  1066319 | 2147483647   440498     82 |  0.000 % |
4321.91/4323.29	c |    903501 |    1581   242248  1066319 | 2147483647   441898     82 |  0.000 % |
4329.91/4331.25	c |    905044 |    1581   242248  1066319 | 2147483647   443441     82 |  0.000 % |
4337.21/4338.53	c |    906739 |    1581   242248  1066319 | 2147483647   445136     83 |  0.000 % |
4347.80/4349.11	c |    908603 |    1581   242248  1066319 | 2147483647   447000     83 |  0.000 % |
4373.10/4374.40	c |    910655 |    1581   242248  1066319 | 2147483647   449052     82 |  0.000 % |
4394.69/4396.04	c |    912909 |    1581   242248  1066319 | 2147483647   451306     82 |  0.000 % |
4414.18/4415.51	c |    915388 |    1581   242248  1066319 | 2147483647   453785     82 |  0.000 % |
4431.68/4433.05	c |    918113 |    1581   242248  1066319 | 2147483647   456510     82 |  0.000 % |
4449.17/4450.52	c |    921112 |    1581   242248  1066319 | 2147483647   459509     82 |  0.000 % |
4465.47/4466.89	c |    924413 |    1581   242248  1066319 | 2147483647   462810     82 |  0.000 % |
4484.76/4486.17	c |    928038 |    1581   242248  1066319 | 2147483647   466435     81 |  0.000 % |
4510.06/4511.42	c |    932026 |    1581   242248  1066319 | 2147483647   470423     82 |  0.000 % |
4539.15/4540.54	c |    936414 |    1581   242248  1066319 | 2147483647   474811     82 |  0.000 % |
4567.24/4568.68	c |    941237 |    1581   242248  1066319 | 2147483647   479634     81 |  0.000 % |
4609.23/4610.62	c |    946543 |    1581   242248  1066319 | 2147483647   484940     81 |  0.000 % |
4633.12/4634.55	c |    952379 |    1581   242248  1066319 | 2147483647   490776     81 |  0.000 % |
4676.31/4677.70	c |    958797 |    1581   242248  1066319 | 2147483647   497194     81 |  0.000 % |
4725.10/4726.59	c |    965857 |    1581   242248  1066319 | 2147483647   504254     82 |  0.000 % |
4775.58/4777.08	c |    973623 |    1581   242248  1066319 | 2147483647   512020     82 |  0.000 % |
4829.47/4830.96	c |    982164 |    1581   242248  1066319 | 2147483647   520561     82 |  0.000 % |
4830.27/4831.78	c |    982265 |    1581   242248  1066319 | 2147483647   520662     82 |  0.000 % |
4830.87/4832.39	c |    982376 |    1581   242248  1066319 | 2147483647   520773     82 |  0.000 % |
4831.57/4833.06	c |    982497 |    1581   242248  1066319 | 2147483647   520894     82 |  0.000 % |
4832.57/4834.04	c |    982630 |    1581   242248  1066319 | 2147483647   521027     82 |  0.000 % |
4833.47/4834.95	c |    982778 |    1581   242248  1066319 | 2147483647   521175     82 |  0.000 % |
4834.97/4836.45	c |    982939 |    1581   242248  1066319 | 2147483647   521336     82 |  0.000 % |
4836.47/4837.98	c |    983117 |    1581   242248  1066319 | 2147483647   521514     82 |  0.000 % |
4838.67/4840.15	c |    983310 |    1581   242248  1066319 | 2147483647   521707     82 |  0.000 % |
4840.47/4841.96	c |    983523 |    1581   242248  1066319 | 2147483647   521920     82 |  0.000 % |
4842.56/4844.07	c |    983757 |    1581   242248  1066319 | 2147483647   522154     82 |  0.000 % |
4844.36/4845.88	c |    984014 |    1581   242248  1066319 | 2147483647   522411     82 |  0.000 % |
4847.47/4848.94	c |    984295 |    1581   242248  1066319 | 2147483647   522692     82 |  0.000 % |
4848.87/4850.38	c |    984604 |    1581   242248  1066319 | 2147483647   523001     82 |  0.000 % |
4851.07/4852.51	c |    984944 |    1581   242248  1066319 | 2147483647   523341     82 |  0.000 % |
4854.27/4855.72	c |    985319 |    1581   242248  1066319 | 2147483647   523716     82 |  0.000 % |
4857.47/4858.97	c |    985729 |    1581   242248  1066319 | 2147483647   524126     82 |  0.000 % |
4859.67/4861.10	c |    986179 |    1581   242248  1066319 | 2147483647   524576     82 |  0.000 % |
4864.67/4866.12	c |    986672 |    1581   242248  1066319 | 2147483647   525069     82 |  0.000 % |
4869.06/4870.56	c |    987215 |    1581   242248  1066319 | 2147483647   525612     82 |  0.000 % |
4874.87/4876.37	c |    987812 |    1581   242248  1066319 | 2147483647   526209     82 |  0.000 % |
4879.26/4880.77	c |    988467 |    1581   242248  1066319 | 2147483647   526864     82 |  0.000 % |
4884.26/4885.74	c |    989189 |    1581   242248  1066319 | 2147483647   527586     82 |  0.000 % |
4890.56/4892.05	c |    989983 |    1581   242248  1066319 | 2147483647   528380     82 |  0.000 % |
4894.66/4896.18	c |    990855 |    1581   242248  1066319 | 2147483647   529252     82 |  0.000 % |
4902.15/4903.67	c |    991814 |    1581   242248  1066319 | 2147483647   530211     82 |  0.000 % |
4910.36/4911.80	c |    992868 |    1581   242248  1066319 | 2147483647   531265     82 |  0.000 % |
4918.15/4919.65	c |    994029 |    1581   242248  1066319 | 2147483647   532426     81 |  0.000 % |
4928.76/4930.29	c |    995303 |    1581   242248  1066319 | 2147483647   533700     82 |  0.000 % |
4939.25/4940.73	c |    996704 |    1581   242248  1066319 | 2147483647   535101     81 |  0.000 % |
4949.85/4951.39	c |    998247 |    1581   242248  1066319 | 2147483647   536644     81 |  0.000 % |
4961.14/4962.67	c |    999944 |    1581   242248  1066319 | 2147483647   538341     81 |  0.000 % |
4973.23/4974.71	c |   1001807 |    1581   242248  1066319 | 2147483647   540204     81 |  0.000 % |
4985.53/4987.00	c |   1003857 |    1581   242248  1066319 | 2147483647   542254     81 |  0.000 % |
4999.82/5001.30	c |   1006111 |    1581   242248  1066319 | 2147483647   544508     81 |  0.000 % |
5014.53/5016.07	c |   1008589 |    1581   242248  1066319 | 2147483647   546986     81 |  0.000 % |
5043.32/5044.82	c |   1011315 |    1581   242248  1066319 | 2147483647   549712     81 |  0.000 % |
5063.01/5064.51	c |   1014313 |    1581   242248  1066319 | 2147483647   552710     81 |  0.000 % |
5085.91/5087.45	c |   1017610 |    1581   242248  1066319 | 2147483647   556007     81 |  0.000 % |
5109.49/5111.09	c |   1021237 |    1581   242248  1066319 |   558399   492594     80 |  0.000 % |
5132.19/5133.72	c |   1025225 |    1581   242248  1066319 |   558399   496582     80 |  0.000 % |
5159.58/5161.13	c |   1029612 |    1581   242248  1066319 |   558399   500969     80 |  0.000 % |
5184.17/5185.77	c |   1034435 |    1581   242248  1066319 |   501357   426358     80 |  0.000 % |
5209.58/5211.10	c |   1039740 |    1581   242248  1066319 |   501357   431663     80 |  0.000 % |
5241.87/5243.46	c |   1045577 |    1581   242248  1066319 |   431923   393085     80 |  0.000 % |
5263.26/5264.87	c |   1051996 |    1581   242248  1066319 | 2147483647   399504     80 |  0.000 % |
5285.35/5286.92	c |   1059055 |    1581   242248  1066319 | 2147483647   406563     80 |  0.000 % |
5310.75/5312.37	c |   1066819 |    1581   242248  1066319 | 2147483647   414327     81 |  0.000 % |
5340.14/5341.77	c |   1075360 |    1581   242248  1066319 | 2147483647   422868     81 |  0.000 % |
5376.23/5377.82	c |   1084754 |    1581   242248  1066319 |   427509   388431     80 |  0.000 % |
5376.63/5378.28	c |   1084854 |    1581   242248  1066319 |   427509   388531     80 |  0.000 % |
5377.23/5378.86	c |   1084964 |    1581   242248  1066319 |   427509   388641     80 |  0.000 % |
5377.93/5379.53	c |   1085086 |    1581   242248  1066319 |   427509   388763     80 |  0.000 % |
5378.73/5380.33	c |   1085221 |    1581   242248  1066319 |   427509   388898     80 |  0.000 % |
5379.63/5381.21	c |   1085371 |    1581   242248  1066319 |   427509   389048     80 |  0.000 % |
5380.43/5382.02	c |   1085531 |    1581   242248  1066319 |   427509   389208     80 |  0.000 % |
5381.52/5383.15	c |   1085708 |    1581   242248  1066319 |   427509   389385     80 |  0.000 % |
5382.42/5384.09	c |   1085901 |    1581   242248  1066319 |   427509   389578     80 |  0.000 % |
5383.32/5384.93	c |   1086114 |    1581   242248  1066319 |   427509   389791     80 |  0.000 % |
5384.22/5385.87	c |   1086347 |    1581   242248  1066319 |   427509   390024     80 |  0.000 % |
5385.82/5387.48	c |   1086603 |    1581   242248  1066319 |   427509   390280     80 |  0.000 % |
5387.33/5388.95	c |   1086884 |    1581   242248  1066319 |   427509   390561     80 |  0.000 % |
5388.62/5390.20	c |   1087193 |    1581   242248  1066319 |   427509   390870     80 |  0.000 % |
5390.12/5391.78	c |   1087533 |    1581   242248  1066319 |   427509   391210     80 |  0.000 % |
5391.92/5393.51	c |   1087905 |    1581   242248  1066319 |   427509   391582     80 |  0.000 % |
5393.82/5395.43	c |   1088314 |    1581   242248  1066319 |   427509   391991     80 |  0.000 % |
5396.02/5397.65	c |   1088763 |    1581   242248  1066319 |   427509   392440     80 |  0.000 % |
5398.12/5399.75	c |   1089256 |    1581   242248  1066319 |   427509   392933     80 |  0.000 % |
5399.72/5401.38	c |   1089800 |    1581   242248  1066319 |   427509   393477     80 |  0.000 % |
5401.82/5403.40	c |   1090397 |    1581   242248  1066319 |   393678   394074     80 |  0.000 % |
5406.92/5408.53	c |   1091052 |    1581   242248  1066319 |   393678   355253     81 |  0.000 % |
5410.02/5411.64	c |   1091773 |    1581   242248  1066319 |   393678   355974     81 |  0.000 % |
5412.91/5414.59	c |   1092569 |    1581   242248  1066319 |   393678   356770     81 |  0.000 % |
5416.81/5418.41	c |   1093440 |    1581   242248  1066319 |   393678   357641     81 |  0.000 % |
5420.81/5422.42	c |   1094398 |    1581   242248  1066319 |   393678   358599     81 |  0.000 % |
5426.11/5427.71	c |   1095452 |    1581   242248  1066319 |   393678   359653     81 |  0.000 % |
5430.51/5432.14	c |   1096611 |    1581   242248  1066319 |   393678   360812     81 |  0.000 % |
5435.11/5436.76	c |   1097884 |    1581   242248  1066319 |   393678   362085     81 |  0.000 % |
5441.91/5443.57	c |   1099284 |    1581   242248  1066319 |   393678   363485     81 |  0.000 % |
5452.00/5453.67	c |   1100824 |    1581   242248  1066319 |   364201   320630     80 |  0.000 % |
5461.90/5463.55	c |   1102518 |    1581   242248  1066319 |   364201   322324     80 |  0.000 % |
5473.20/5474.80	c |   1104382 |    1581   242248  1066319 |   364201   324188     80 |  0.000 % |
5484.99/5486.61	c |   1106432 |    1581   242248  1066319 |   364201   326238     80 |  0.000 % |
5497.09/5498.74	c |   1108685 |    1581   242248  1066319 |   364201   328491     80 |  0.000 % |
5509.79/5511.41	c |   1111165 |    1581   242248  1066319 |   329806   285908     80 |  0.000 % |
5519.09/5520.73	c |   1113890 |    1581   242248  1066319 |   329806   288633     80 |  0.000 % |
5533.89/5535.55	c |   1116887 |    1581   242248  1066319 |   329806   291630     80 |  0.000 % |
5553.78/5555.48	c |   1120185 |    1581   242248  1066319 |   294743   294928     80 |  0.000 % |
5575.87/5577.54	c |   1123811 |    1581   242248  1066319 |   294743   256512     81 |  0.000 % |
5596.67/5598.37	c |   1127800 |    1581   242248  1066319 |   294743   260501     81 |  0.000 % |
5624.86/5626.55	c |   1132186 |    1581   242248  1066319 |   262701   226854     82 |  0.000 % |
5652.25/5653.90	c |   1137010 |    1581   242248  1066319 |   262701   231678     82 |  0.000 % |
5667.85/5669.51	c |   1142317 |    1581   242248  1066319 |   234669   209713     83 |  0.000 % |
5684.84/5686.57	c |   1148152 |    1581   242248  1066319 |   234669   215548     83 |  0.000 % |
5710.83/5712.59	c |   1154570 |    1581   242248  1066319 | 2147483647   221966     83 |  0.000 % |
5748.13/5749.80	c |   1161631 |    1581   242248  1066319 |   227396   193883     86 |  0.000 % |
5768.42/5770.20	c |   1169396 |    1581   242248  1066319 |   227396   201648     85 |  0.000 % |
5821.41/5823.17	c |   1177936 |    1581   242248  1066319 |   202252   189905     86 |  0.000 % |
5910.58/5912.33	c |   1187331 |    1581   242248  1066319 |   191969   160999     87 |  0.000 % |
6041.04/6042.83	c |   1197664 |    1581   242248  1066319 |   163668   120861     87 |  0.000 % |
6042.24/6044.07	c |   1197765 |    1581   242248  1066319 |   163668   120962     87 |  0.000 % |
6043.64/6045.42	c |   1197875 |    1581   242248  1066319 |   163668   121072     87 |  0.000 % |
6045.04/6046.82	c |   1197996 |    1581   242248  1066319 |   163668   121193     87 |  0.000 % |
6046.94/6048.78	c |   1198130 |    1581   242248  1066319 |   163668   121327     87 |  0.000 % |
6048.64/6050.45	c |   1198276 |    1581   242248  1066319 |   163668   121473     87 |  0.000 % |
6050.74/6052.58	c |   1198437 |    1581   242248  1066319 |   163668   121634     87 |  0.000 % |
6053.74/6055.52	c |   1198613 |    1581   242248  1066319 |   163668   121810     87 |  0.000 % |
6056.54/6058.32	c |   1198806 |    1581   242248  1066319 |   163668   122003     87 |  0.000 % |
6060.04/6061.82	c |   1199020 |    1581   242248  1066319 |   163668   122217     87 |  0.000 % |
6061.14/6062.92	c |   1199253 |    1581   242248  1066319 |   163668   122450     87 |  0.000 % |
6064.24/6066.06	c |   1199510 |    1581   242248  1066319 |   163668   122707     87 |  0.000 % |
6068.34/6070.14	c |   1199791 |    1581   242248  1066319 |   163668   122988     87 |  0.000 % |
6072.73/6074.50	c |   1200100 |    1581   242248  1066319 |   123199   123297     87 |  0.000 % |
6077.84/6079.66	c |   1200439 |    1581   242248  1066319 |   123199    83122     86 |  0.000 % |
6080.14/6081.90	c |   1200811 |    1581   242248  1066319 |   123199    83494     86 |  0.000 % |
6081.03/6082.87	c |   1201221 |    1581   242248  1066319 |   123199    83904     86 |  0.000 % |
6082.24/6084.09	c |   1201672 |    1581   242248  1066319 |   123199    84355     86 |  0.000 % |
6085.23/6087.05	c |   1202165 |    1581   242248  1066319 |   123199    84848     86 |  0.000 % |
6088.03/6089.90	c |   1202707 |    1581   242248  1066319 |   123199    85390     86 |  0.000 % |
6091.53/6093.38	c |   1203304 |    1581   242248  1066319 |   123199    85987     86 |  0.000 % |
6095.33/6097.13	c |   1203959 |    1581   242248  1066319 |   123199    86642     86 |  0.000 % |
6100.34/6102.15	c |   1204680 |    1581   242248  1066319 |   123199    87363     86 |  0.000 % |
6106.83/6108.62	c |   1205473 |    1581   242248  1066319 |   123199    88156     86 |  0.000 % |
6112.83/6114.67	c |   1206346 |    1581   242248  1066319 |   123199    89029     86 |  0.000 % |
6117.33/6119.17	c |   1207305 |    1581   242248  1066319 |   123199    89988     86 |  0.000 % |
6124.53/6126.36	c |   1208358 |    1581   242248  1066319 |   123199    91041     87 |  0.000 % |
6133.23/6135.00	c |   1209516 |    1581   242248  1066319 |   123199    92199     87 |  0.000 % |
6141.63/6143.44	c |   1210790 |    1581   242248  1066319 |    92684    74711     87 |  0.000 % |
6148.82/6150.62	c |   1212190 |    1581   242248  1066319 |    92684    76111     87 |  0.000 % |
6154.62/6156.42	c |   1213730 |    1581   242248  1066319 |    92684    77651     87 |  0.000 % |
6160.12/6161.96	c |   1215424 |    1581   242248  1066319 |    92684    79345     87 |  0.000 % |
6167.42/6169.27	c |   1217287 |    1581   242248  1066319 |    92684    81208     87 |  0.000 % |
6174.31/6176.10	c |   1219336 |    1581   242248  1066319 |    92684    83257     87 |  0.000 % |
6183.31/6185.20	c |   1221589 |    1581   242248  1066319 | 2147483647    85510     87 |  0.000 % |
6198.51/6200.37	c |   1224068 |    1581   242248  1066319 | 2147483647    87989     87 |  0.000 % |
6212.30/6214.17	c |   1226793 |    1581   242248  1066319 | 2147483647    90714     87 |  0.000 % |
6226.40/6228.29	c |   1229790 |    1581   242248  1066319 | 2147483647    93711     87 |  0.000 % |
6238.40/6240.28	c |   1233087 |    1581   242248  1066319 | 2147483647    97008     87 |  0.000 % |
6257.89/6259.72	c |   1236712 |    1581   242248  1066319 | 2147483647   100633     87 |  0.000 % |
6276.89/6278.74	c |   1240699 |    1581   242248  1066319 | 2147483647   104620     87 |  0.000 % |
6301.87/6303.74	c |   1245086 |    1581   242248  1066319 | 2147483647   109007     87 |  0.000 % |
6333.46/6335.30	c |   1249910 |    1581   242248  1066319 | 2147483647   113831     87 |  0.000 % |
6355.36/6357.22	c |   1255216 |    1581   242248  1066319 |   113925   101752     87 |  0.000 % |
6393.45/6395.36	c |   1261052 |    1581   242248  1066319 |   106537    92298     88 |  0.000 % |
6418.14/6420.05	c |   1267470 |    1581   242248  1066319 |   106537    98716     87 |  0.000 % |
6446.73/6448.69	c |   1274532 |    1581   242248  1066319 |   101247    93746     86 |  0.000 % |
6501.92/6503.86	c |   1282299 |    1581   242248  1066319 |    99214    82675     86 |  0.000 % |
6564.30/6566.29	c |   1290840 |    1581   242248  1066319 |    90376    73032     86 |  0.000 % |
6621.59/6623.56	c |   1300234 |    1581   242248  1066319 |    82194    82426     86 |  0.000 % |
6683.16/6685.15	c |   1310567 |    1581   242248  1066319 |    73994    74560     85 |  0.000 % |
6724.66/6726.65	c |   1321934 |    1581   242248  1066319 |    68282    60551     85 |  0.000 % |
6725.26/6727.29	c |   1322035 |    1581   242248  1066319 |    68282    60652     85 |  0.000 % |
6726.26/6728.24	c |   1322145 |    1581   242248  1066319 |    68282    60762     85 |  0.000 % |
6727.06/6729.07	c |   1322266 |    1581   242248  1066319 |    68282    60883     85 |  0.000 % |
6728.26/6730.24	c |   1322399 |    1581   242248  1066319 |    68282    61016     85 |  0.000 % |
6729.36/6731.32	c |   1322545 |    1581   242248  1066319 |    68282    61162     85 |  0.000 % |
6730.86/6732.87	c |   1322706 |    1581   242248  1066319 |    68282    61323     85 |  0.000 % |
6732.56/6734.57	c |   1322883 |    1581   242248  1066319 |    68282    61500     85 |  0.000 % |
6734.36/6736.38	c |   1323077 |    1581   242248  1066319 |    68282    61694     85 |  0.000 % |
6734.75/6736.77	c |   1323289 |    1581   242248  1066319 |    68282    61906     85 |  0.000 % |
6737.06/6739.04	c |   1323523 |    1581   242248  1066319 |    68282    62140     85 |  0.000 % |
6739.35/6741.37	c |   1323780 |    1581   242248  1066319 |    68282    62397     85 |  0.000 % |
6739.75/6741.75	c |   1324061 |    1581   242248  1066319 |    68282    62678     85 |  0.000 % |
6741.45/6743.40	c |   1324370 |    1581   242248  1066319 |    68282    62987     85 |  0.000 % |
6743.55/6745.51	c |   1324711 |    1581   242248  1066319 |    68282    63328     85 |  0.000 % |
6744.15/6746.19	c |   1325083 |    1581   242248  1066319 |    68282    63700     85 |  0.000 % |
6746.56/6748.55	c |   1325493 |    1581   242248  1066319 |    68282    64110     85 |  0.000 % |
6748.65/6750.69	c |   1325942 |    1581   242248  1066319 |    68282    64559     85 |  0.000 % |
6750.75/6752.79	c |   1326435 |    1581   242248  1066319 |    68282    65052     85 |  0.000 % |
6751.85/6753.87	c |   1326979 |    1581   242248  1066319 |    68282    65596     85 |  0.000 % |
6753.85/6755.85	c |   1327575 |    1581   242248  1066319 |    68282    66192     85 |  0.000 % |
6757.25/6759.26	c |   1328230 |    1581   242248  1066319 |    68282    66847     85 |  0.000 % |
6759.95/6761.97	c |   1328952 |    1581   242248  1066319 |    68282    67569     85 |  0.000 % |
6763.55/6765.52	c |   1329744 |    1581   242248  1066319 |    68282    68361     85 |  0.000 % |
6769.14/6771.14	c |   1330616 |    1581   242248  1066319 | 2147483647    62397     86 |  0.000 % |
6770.34/6772.35	c |   1331574 |    1581   242248  1066319 | 2147483647    63355     86 |  0.000 % |
6776.04/6778.06	c |   1332628 |    1581   242248  1066319 | 2147483647    64409     86 |  0.000 % |
6778.04/6780.05	c |   1333788 |    1581   242248  1066319 | 2147483647    65569     86 |  0.000 % |
6781.84/6783.87	c |   1335061 |    1581   242248  1066319 | 2147483647    66842     86 |  0.000 % |
6784.34/6786.40	c |   1336462 |    1581   242248  1066319 | 2147483647    68243     86 |  0.000 % |
6787.54/6789.52	c |   1338002 |    1581   242248  1066319 | 2147483647    69783     86 |  0.000 % |
6794.54/6796.53	c |   1339698 |    1581   242248  1066319 | 2147483647    71479     86 |  0.000 % |
6799.24/6801.28	c |   1341562 |    1581   242248  1066319 | 2147483647    73343     86 |  0.000 % |
6805.33/6807.30	c |   1343611 |    1581   242248  1066319 | 2147483647    75392     86 |  0.000 % |
6811.34/6813.36	c |   1345864 |    1581   242248  1066319 | 2147483647    77645     86 |  0.000 % |
6817.33/6819.34	c |   1348342 |    1581   242248  1066319 | 2147483647    80123     86 |  0.000 % |
6823.13/6825.17	c |   1351068 |    1581   242248  1066319 | 2147483647    82849     87 |  0.000 % |
6833.33/6835.34	c |   1354065 |    1581   242248  1066319 | 2147483647    85846     88 |  0.000 % |
6840.92/6843.00	c |   1357365 |    1581   242248  1066319 | 2147483647    89146     87 |  0.000 % |
6848.82/6850.82	c |   1360990 |    1581   242248  1066319 | 2147483647    92771     86 |  0.000 % |
6858.32/6860.39	c |   1364977 |    1581   242248  1066319 | 2147483647    96758     86 |  0.000 % |
6870.32/6872.33	c |   1369362 |    1581   242248  1066319 | 2147483647   101143     85 |  0.000 % |
6883.71/6885.75	c |   1374186 |    1581   242248  1066319 | 2147483647   105967     84 |  0.000 % |
6899.01/6901.01	c |   1379491 |    1581   242248  1066319 | 2147483647   111272     85 |  0.000 % |
6907.40/6909.45	c |   1385327 |    1581   242248  1066319 | 2147483647   117108     85 |  0.000 % |
6918.80/6920.87	c |   1391747 |    1581   242248  1066319 | 2147483647   123528     86 |  0.000 % |
6931.80/6933.85	c |   1398806 |    1581   242248  1066319 | 2147483647   130587     87 |  0.000 % |
6947.70/6949.74	c |   1406571 |    1581   242248  1066319 | 2147483647   138352     87 |  0.000 % |
6979.38/6981.45	c |   1415113 |    1581   242248  1066319 | 2147483647   146894     87 |  0.000 % |
7008.87/7010.97	c |   1424508 |    1581   242248  1066319 | 2147483647   156289     86 |  0.000 % |
7036.27/7038.36	c |   1434841 |    1581   242248  1066319 | 2147483647   166622     86 |  0.000 % |
7096.35/7098.43	c |   1446207 |    1581   242248  1066319 | 2147483647   177988     86 |  0.000 % |
7148.04/7150.19	c |   1458709 |    1581   242248  1066319 | 2147483647   190490     86 |  0.000 % |
7148.44/7150.58	c |   1458810 |    1581   242248  1066319 | 2147483647   190591     86 |  0.000 % |
7149.13/7151.23	c |   1458921 |    1581   242248  1066319 | 2147483647   190702     86 |  0.000 % |
7149.73/7151.88	c |   1459042 |    1581   242248  1066319 | 2147483647   190823     86 |  0.000 % |
7150.73/7152.87	c |   1459175 |    1581   242248  1066319 | 2147483647   190956     86 |  0.000 % |
7152.24/7154.31	c |   1459321 |    1581   242248  1066319 | 2147483647   191102     86 |  0.000 % |
7153.13/7155.29	c |   1459483 |    1581   242248  1066319 | 2147483647   191264     86 |  0.000 % |
7153.53/7155.65	c |   1459659 |    1581   242248  1066319 | 2147483647   191440     86 |  0.000 % |
7153.93/7156.04	c |   1459854 |    1581   242248  1066319 | 2147483647   191635     86 |  0.000 % |
7154.13/7156.29	c |   1460069 |    1581   242248  1066319 | 2147483647   191850     86 |  0.000 % |
7155.33/7157.40	c |   1460304 |    1581   242248  1066319 | 2147483647   192085     86 |  0.000 % |
7157.03/7159.14	c |   1460561 |    1581   242248  1066319 | 2147483647   192342     86 |  0.000 % |
7158.23/7160.31	c |   1460842 |    1581   242248  1066319 | 2147483647   192623     86 |  0.000 % |
7159.94/7162.05	c |   1461152 |    1581   242248  1066319 | 2147483647   192933     86 |  0.000 % |
7161.54/7163.69	c |   1461493 |    1581   242248  1066319 | 2147483647   193274     86 |  0.000 % |
7163.14/7165.22	c |   1461866 |    1581   242248  1066319 | 2147483647   193647     86 |  0.000 % |
7166.44/7168.56	c |   1462275 |    1581   242248  1066319 | 2147483647   194056     86 |  0.000 % |
7168.54/7170.67	c |   1462724 |    1581   242248  1066319 | 2147483647   194505     86 |  0.000 % |
7170.94/7173.08	c |   1463217 |    1581   242248  1066319 | 2147483647   194998     86 |  0.000 % |
7172.94/7175.04	c |   1463761 |    1581   242248  1066319 | 2147483647   195542     86 |  0.000 % |
7175.03/7177.12	c |   1464361 |    1581   242248  1066319 | 2147483647   196142     86 |  0.000 % |
7178.64/7180.71	c |   1465017 |    1581   242248  1066319 | 2147483647   196798     86 |  0.000 % |
7182.04/7184.18	c |   1465741 |    1581   242248  1066319 | 2147483647   197522     86 |  0.000 % |
7185.83/7187.92	c |   1466535 |    1581   242248  1066319 | 2147483647   198316     86 |  0.000 % |
7190.73/7192.81	c |   1467406 |    1581   242248  1066319 | 2147483647   199187     86 |  0.000 % |
7193.73/7195.82	c |   1468367 |    1581   242248  1066319 | 2147483647   200148     86 |  0.000 % |
7196.83/7198.93	c |   1469420 |    1581   242248  1066319 | 2147483647   201201     86 |  0.000 % |
7200.13/7202.24	c |   1470579 |    1581   242248  1066319 | 2147483647   202360     85 |  0.000 % |
7204.33/7206.47	c |   1471852 |    1581   242248  1066319 | 2147483647   203633     86 |  0.000 % |
7209.43/7211.57	c |   1473253 |    1581   242248  1066319 | 2147483647   205034     86 |  0.000 % |
7212.83/7214.99	c |   1474796 |    1581   242248  1066319 | 2147483647   206577     86 |  0.000 % |
7216.03/7218.19	c |   1476491 |    1581   242248  1066319 | 2147483647   208272     86 |  0.000 % |
7220.92/7223.00	c |   1478354 |    1581   242248  1066319 | 2147483647   210135     86 |  0.000 % |
7226.12/7228.22	c |   1480403 |    1581   242248  1066319 | 2147483647   212184     86 |  0.000 % |
7233.32/7235.44	c |   1482656 |    1581   242248  1066319 | 2147483647   214437     86 |  0.000 % |
7239.82/7241.93	c |   1485134 |    1581   242248  1066319 | 2147483647   216915     86 |  0.000 % |
7246.82/7248.96	c |   1487862 |    1581   242248  1066319 | 2147483647   219643     86 |  0.000 % |
7257.41/7259.54	c |   1490860 |    1581   242248  1066319 | 2147483647   222641     86 |  0.000 % |
7266.61/7268.78	c |   1494156 |    1581   242248  1066319 | 2147483647   225937     86 |  0.000 % |
7279.00/7281.18	c |   1497782 |    1581   242248  1066319 | 2147483647   229563     86 |  0.000 % |
7294.60/7296.70	c |   1501769 |    1581   242248  1066319 | 2147483647   233550     86 |  0.000 % |
7309.60/7311.74	c |   1506155 |    1581   242248  1066319 | 2147483647   237936     87 |  0.000 % |
7321.39/7323.57	c |   1510979 |    1581   242248  1066319 | 2147483647   242760     86 |  0.000 % |
7338.59/7340.78	c |   1516285 |    1581   242248  1066319 | 2147483647   248066     87 |  0.000 % |
7361.68/7363.86	c |   1522120 |    1581   242248  1066319 | 2147483647   253901     87 |  0.000 % |
7379.47/7381.63	c |   1528538 |    1581   242248  1066319 | 2147483647   260319     87 |  0.000 % |
7419.26/7421.41	c |   1535597 |    1581   242248  1066319 | 2147483647   267378     87 |  0.000 % |
7456.45/7458.68	c |   1543361 |    1581   242248  1066319 | 2147483647   275142     87 |  0.000 % |
7488.75/7490.91	c |   1551901 |    1581   242248  1066319 | 2147483647   283682     87 |  0.000 % |
7519.94/7522.14	c |   1561296 |    1581   242248  1066319 | 2147483647   293077     87 |  0.000 % |
7579.72/7581.98	c |   1571631 |    1581   242248  1066319 | 2147483647   303412     87 |  0.000 % |
7651.90/7654.10	c |   1582997 |    1581   242248  1066319 | 2147483647   314778     87 |  0.000 % |
7727.88/7730.13	c |   1595502 |    1581   242248  1066319 | 2147483647   327283     86 |  0.000 % |
7804.46/7806.75	c |   1609257 |    1581   242248  1066319 | 2147483647   341038     87 |  0.000 % |
7805.06/7807.33	c |   1609359 |    1581   242248  1066319 | 2147483647   341140     87 |  0.000 % |
7805.66/7807.97	c |   1609470 |    1581   242248  1066319 | 2147483647   341251     87 |  0.000 % |
7806.36/7808.66	c |   1609592 |    1581   242248  1066319 | 2147483647   341373     87 |  0.000 % |
7807.86/7810.17	c |   1609727 |    1581   242248  1066319 | 2147483647   341508     87 |  0.000 % |
7809.26/7811.57	c |   1609874 |    1581   242248  1066319 | 2147483647   341655     87 |  0.000 % |
7810.56/7812.88	c |   1610034 |    1581   242248  1066319 |   341783   341815     87 |  0.000 % |
7812.96/7815.22	c |   1610210 |    1581   242248  1066319 |   341783   288785     87 |  0.000 % |
7814.06/7816.33	c |   1610403 |    1581   242248  1066319 |   341783   288978     87 |  0.000 % |
7815.06/7817.39	c |   1610616 |    1581   242248  1066319 |   341783   289191     87 |  0.000 % |
7815.95/7818.25	c |   1610849 |    1581   242248  1066319 |   341783   289424     87 |  0.000 % |
7817.66/7819.96	c |   1611107 |    1581   242248  1066319 |   341783   289682     87 |  0.000 % |
7819.05/7821.35	c |   1611389 |    1581   242248  1066319 |   341783   289964     87 |  0.000 % |
7820.86/7823.12	c |   1611699 |    1581   242248  1066319 |   341783   290274     87 |  0.000 % |
7822.45/7824.75	c |   1612039 |    1581   242248  1066319 |   341783   290614     87 |  0.000 % |
7824.16/7826.41	c |   1612414 |    1581   242248  1066319 |   341783   290989     87 |  0.000 % |
7826.05/7828.35	c |   1612823 |    1581   242248  1066319 |   341783   291398     87 |  0.000 % |
7828.75/7831.05	c |   1613273 |    1581   242248  1066319 |   341783   291848     87 |  0.000 % |
7831.75/7834.06	c |   1613766 |    1581   242248  1066319 |   341783   292341     87 |  0.000 % |
7834.45/7836.77	c |   1614308 |    1581   242248  1066319 |   341783   292883     87 |  0.000 % |
7838.25/7840.55	c |   1614905 |    1581   242248  1066319 |   341783   293480     87 |  0.000 % |
7843.95/7846.25	c |   1615561 |    1581   242248  1066319 |   341783   294136     87 |  0.000 % |
7846.64/7848.99	c |   1616283 |    1581   242248  1066319 |   341783   294858     87 |  0.000 % |
7851.14/7853.47	c |   1617080 |    1581   242248  1066319 |   341783   295655     87 |  0.000 % |
7855.14/7857.43	c |   1617951 |    1581   242248  1066319 |   341783   296526     87 |  0.000 % |
7859.64/7861.95	c |   1618910 |    1581   242248  1066319 |   341783   297485     87 |  0.000 % |
7865.14/7867.46	c |   1619964 |    1581   242248  1066319 |   341783   298539     87 |  0.000 % |
7872.33/7874.62	c |   1621122 |    1581   242248  1066319 | 2147483647   299697     87 |  0.000 % |
7881.13/7883.44	c |   1622395 |    1581   242248  1066319 | 2147483647   300970     87 |  0.000 % |
7889.33/7891.66	c |   1623796 |    1581   242248  1066319 | 2147483647   302371     87 |  0.000 % |
7895.73/7898.07	c |   1625336 |    1581   242248  1066319 | 2147483647   303911     87 |  0.000 % |
7903.94/7906.24	c |   1627031 |    1581   242248  1066319 | 2147483647   305606     87 |  0.000 % |
7916.64/7918.96	c |   1628895 |    1581   242248  1066319 | 2147483647   307470     87 |  0.000 % |
7927.13/7929.44	c |   1630946 |    1581   242248  1066319 | 2147483647   309521     87 |  0.000 % |
7939.12/7941.43	c |   1633199 |    1581   242248  1066319 | 2147483647   311774     87 |  0.000 % |
7960.62/7962.92	c |   1635678 |    1581   242248  1066319 | 2147483647   314253     87 |  0.000 % |
7981.61/7983.90	c |   1638403 |    1581   242248  1066319 | 2147483647   316978     87 |  0.000 % |
7996.61/7998.94	c |   1641400 |    1581   242248  1066319 | 2147483647   319975     87 |  0.000 % |
8015.70/8018.00	c |   1644696 |    1581   242248  1066319 | 2147483647   323271     87 |  0.000 % |
8035.80/8038.13	c |   1648323 |    1581   242248  1066319 | 2147483647   326898     86 |  0.000 % |
8056.59/8058.95	c |   1652312 |    1581   242248  1066319 | 2147483647   330887     86 |  0.000 % |
8078.68/8081.07	c |   1656698 |    1581   242248  1066319 | 2147483647   335273     85 |  0.000 % |
8099.78/8102.11	c |   1661521 |    1581   242248  1066319 | 2147483647   340096     85 |  0.000 % |
8142.37/8144.78	c |   1666826 |    1581   242248  1066319 | 2147483647   345401     85 |  0.000 % |
8167.26/8169.66	c |   1672661 |    1581   242248  1066319 | 2147483647   351236     84 |  0.000 % |
8196.75/8199.16	c |   1679084 |    1581   242248  1066319 | 2147483647   357659     84 |  0.000 % |
8231.04/8233.45	c |   1686144 |    1581   242248  1066319 | 2147483647   364719     85 |  0.000 % |
8275.23/8277.60	c |   1693908 |    1581   242248  1066319 | 2147483647   372483     85 |  0.000 % |
8314.33/8316.77	c |   1702450 |    1581   242248  1066319 | 2147483647   381025     84 |  0.000 % |
8357.21/8359.67	c |   1711844 |    1581   242248  1066319 | 2147483647   390419     84 |  0.000 % |
8402.10/8404.58	c |   1722180 |    1581   242248  1066319 | 2147483647   400755     84 |  0.000 % |
8449.59/8452.02	c |   1733549 |    1581   242248  1066319 | 2147483647   412124     84 |  0.000 % |
8490.98/8493.47	c |   1746051 |    1581   242248  1066319 | 2147483647   424626     84 |  0.000 % |
8527.36/8529.89	c |   1759803 |    1581   242248  1066319 | 2147483647   438378     84 |  0.000 % |
8575.55/8578.05	c |   1774931 |    1581   242248  1066319 | 2147483647   453506     84 |  0.000 % |
8575.95/8578.45	c |   1775034 |    1581   242248  1066319 | 2147483647   453609     84 |  0.000 % |
8576.55/8579.09	c |   1775147 |    1581   242248  1066319 | 2147483647   453722     84 |  0.000 % |
8577.25/8579.70	c |   1775269 |    1581   242248  1066319 | 2147483647   453844     84 |  0.000 % |
8577.75/8580.23	c |   1775403 |    1581   242248  1066319 | 2147483647   453978     84 |  0.000 % |
8578.25/8580.74	c |   1775549 |    1581   242248  1066319 | 2147483647   454124     84 |  0.000 % |
8578.85/8581.35	c |   1775710 |    1581   242248  1066319 | 2147483647   454285     84 |  0.000 % |
8579.45/8581.97	c |   1775886 |    1581   242248  1066319 | 2147483647   454461     84 |  0.000 % |
8579.95/8582.46	c |   1776079 |    1581   242248  1066319 | 2147483647   454654     84 |  0.000 % |
8580.65/8583.20	c |   1776296 |    1581   242248  1066319 | 2147483647   454871     84 |  0.000 % |
8581.55/8584.03	c |   1776531 |    1581   242248  1066319 | 2147483647   455106     84 |  0.000 % |
8582.45/8584.96	c |   1776789 |    1581   242248  1066319 | 2147483647   455364     84 |  0.000 % |
8583.25/8585.72	c |   1777073 |    1581   242248  1066319 | 2147483647   455648     84 |  0.000 % |
8583.95/8586.48	c |   1777383 |    1581   242248  1066319 | 2147483647   455958     84 |  0.000 % |
8585.35/8587.83	c |   1777722 |    1581   242248  1066319 | 2147483647   456297     84 |  0.000 % |
8586.85/8589.34	c |   1778094 |    1581   242248  1066319 | 2147483647   456669     84 |  0.000 % |
8588.35/8590.81	c |   1778503 |    1581   242248  1066319 | 2147483647   457078     84 |  0.000 % |
8589.84/8592.38	c |   1778955 |    1581   242248  1066319 | 2147483647   457530     84 |  0.000 % |
8591.75/8594.27	c |   1779448 |    1581   242248  1066319 | 2147483647   458023     84 |  0.000 % |
8593.95/8596.44	c |   1779995 |    1581   242248  1066319 | 2147483647   458570     84 |  0.000 % |
8595.94/8598.41	c |   1780593 |    1581   242248  1066319 | 2147483647   459168     84 |  0.000 % |
8598.04/8600.50	c |   1781248 |    1581   242248  1066319 | 2147483647   459823     84 |  0.000 % |
8600.04/8602.52	c |   1781970 |    1581   242248  1066319 | 2147483647   460545     84 |  0.000 % |
8602.44/8604.93	c |   1782762 |    1581   242248  1066319 | 2147483647   461337     84 |  0.000 % |
8605.04/8607.56	c |   1783633 |    1581   242248  1066319 | 2147483647   462208     84 |  0.000 % |
8607.94/8610.47	c |   1784591 |    1581   242248  1066319 | 2147483647   463166     84 |  0.000 % |
8615.54/8618.03	c |   1785644 |    1581   242248  1066319 | 2147483647   464219     84 |  0.000 % |
8623.13/8625.65	c |   1786802 |    1581   242248  1066319 | 2147483647   465377     84 |  0.000 % |
8628.53/8631.09	c |   1788076 |    1581   242248  1066319 | 2147483647   466651     84 |  0.000 % |
8635.43/8637.94	c |   1789476 |    1581   242248  1066319 | 2147483647   468051     84 |  0.000 % |
8648.53/8651.05	c |   1791016 |    1581   242248  1066319 | 2147483647   469591     84 |  0.000 % |
8658.83/8661.32	c |   1792710 |    1581   242248  1066319 | 2147483647   471285     84 |  0.000 % |
8670.02/8672.58	c |   1794574 |    1581   242248  1066319 | 2147483647   473149     84 |  0.000 % |
8685.12/8687.67	c |   1796623 |    1581   242248  1066319 | 2147483647   475198     84 |  0.000 % |
8698.52/8701.03	c |   1798876 |    1581   242248  1066319 | 2147483647   477451     84 |  0.000 % |
8714.92/8717.45	c |   1801355 |    1581   242248  1066319 | 2147483647   479930     84 |  0.000 % |
8729.01/8731.54	c |   1804081 |    1581   242248  1066319 | 2147483647   482656     84 |  0.000 % |
8742.81/8745.34	c |   1807078 |    1581   242248  1066319 | 2147483647   485653     84 |  0.000 % |
8754.10/8756.62	c |   1810378 |    1581   242248  1066319 | 2147483647   488953     84 |  0.000 % |
8780.10/8782.63	c |   1814003 |    1581   242248  1066319 | 2147483647   492578     84 |  0.000 % |
8805.79/8808.38	c |   1817990 |    1581   242248  1066319 | 2147483647   496565     84 |  0.000 % |
8820.99/8823.55	c |   1822375 |    1581   242248  1066319 | 2147483647   500950     84 |  0.000 % |
8838.58/8841.17	c |   1827199 |    1581   242248  1066319 | 2147483647   505774     84 |  0.000 % |
8864.07/8866.67	c |   1832506 |    1581   242248  1066319 | 2147483647   511081     84 |  0.000 % |
8886.36/8888.91	c |   1838341 |    1581   242248  1066319 | 2147483647   516916     84 |  0.000 % |
8912.56/8915.14	c |   1844759 |    1581   242248  1066319 | 2147483647   523334     84 |  0.000 % |
8938.25/8940.84	c |   1851820 |    1581   242248  1066319 | 2147483647   530395     84 |  0.000 % |
8963.55/8966.11	c |   1859586 |    1581   242248  1066319 | 2147483647   538161     84 |  0.000 % |
8999.14/9001.72	c |   1868127 |    1581   242248  1066319 | 2147483647   546702     84 |  0.000 % |
9029.23/9031.83	c |   1877521 |    1581   242248  1066319 | 2147483647   556096     84 |  0.000 % |
9065.01/9067.61	c |   1887854 |    1581   242248  1066319 | 2147483647   566429     84 |  0.000 % |
9101.61/9104.21	c |   1899222 |    1581   242248  1066319 | 2147483647   577797     84 |  0.000 % |
9143.00/9145.62	c |   1911725 |    1581   242248  1066319 | 2147483647   590300     84 |  0.000 % |
9199.68/9202.36	c |   1925479 |    1581   242248  1066319 | 2147483647   604054     84 |  0.000 % |
9283.76/9286.44	c |   1940606 |    1581   242248  1066319 | 2147483647   619181     84 |  0.000 % |
9356.34/9359.04	c |   1957246 |    1581   242248  1066319 | 2147483647   635821     84 |  0.000 % |
9356.84/9359.53	c |   1957346 |    1581   242248  1066319 | 2147483647   635921     84 |  0.000 % |
9357.64/9360.36	c |   1957461 |    1581   242248  1066319 | 2147483647   636036     84 |  0.000 % |
9358.24/9360.99	c |   1957582 |    1581   242248  1066319 | 2147483647   636157     84 |  0.000 % |
9359.04/9361.73	c |   1957716 |    1581   242248  1066319 | 2147483647   636291     84 |  0.000 % |
9359.74/9362.42	c |   1957863 |    1581   242248  1066319 | 2147483647   636438     84 |  0.000 % |
9360.64/9363.38	c |   1958023 |    1581   242248  1066319 | 2147483647   636598     84 |  0.000 % |
9361.64/9364.37	c |   1958199 |    1581   242248  1066319 | 2147483647   636774     84 |  0.000 % |
9362.74/9365.50	c |   1958392 |    1581   242248  1066319 | 2147483647   636967     84 |  0.000 % |
9363.84/9366.55	c |   1958604 |    1581   242248  1066319 | 2147483647   637179     84 |  0.000 % |
9364.74/9367.48	c |   1958838 |    1581   242248  1066319 | 2147483647   637413     84 |  0.000 % |
9365.43/9368.14	c |   1959094 |    1581   242248  1066319 | 2147483647   637669     84 |  0.000 % |
9366.93/9369.61	c |   1959376 |    1581   242248  1066319 | 2147483647   637951     84 |  0.000 % |
9368.14/9370.86	c |   1959686 |    1581   242248  1066319 | 2147483647   638261     84 |  0.000 % |
9369.63/9372.39	c |   1960026 |    1581   242248  1066319 | 2147483647   638601     84 |  0.000 % |
9371.53/9374.25	c |   1960401 |    1581   242248  1066319 | 2147483647   638976     84 |  0.000 % |
9373.43/9376.18	c |   1960810 |    1581   242248  1066319 | 2147483647   639385     84 |  0.000 % |
9375.53/9378.29	c |   1961260 |    1581   242248  1066319 | 2147483647   639835     84 |  0.000 % |
9377.63/9380.32	c |   1961753 |    1581   242248  1066319 | 2147483647   640328     84 |  0.000 % |
9380.03/9382.72	c |   1962297 |    1581   242248  1066319 | 2147483647   640872     84 |  0.000 % |
9382.93/9385.67	c |   1962894 |    1581   242248  1066319 | 2147483647   641469     84 |  0.000 % |
9386.13/9388.80	c |   1963549 |    1581   242248  1066319 | 2147483647   642124     84 |  0.000 % |
9389.53/9392.20	c |   1964270 |    1581   242248  1066319 | 2147483647   642845     84 |  0.000 % |
9393.53/9396.20	c |   1965062 |    1581   242248  1066319 | 2147483647   643637     84 |  0.000 % |
9397.33/9400.01	c |   1965935 |    1581   242248  1066319 | 2147483647   644510     84 |  0.000 % |
9402.03/9404.72	c |   1966894 |    1581   242248  1066319 | 2147483647   645469     84 |  0.000 % |
9407.32/9410.09	c |   1967948 |    1581   242248  1066319 | 2147483647   646523     84 |  0.000 % |
9413.42/9416.11	c |   1969106 |    1581   242248  1066319 | 2147483647   647681     84 |  0.000 % |
9420.42/9423.11	c |   1970380 |    1581   242248  1066319 | 2147483647   648955     84 |  0.000 % |
9426.81/9429.57	c |   1971780 |    1581   242248  1066319 | 2147483647   650355     84 |  0.000 % |
9435.42/9438.13	c |   1973321 |    1581   242248  1066319 | 2147483647   651896     84 |  0.000 % |
9442.72/9445.46	c |   1975016 |    1581   242248  1066319 | 2147483647   653591     84 |  0.000 % |
9451.01/9453.73	c |   1976880 |    1581   242248  1066319 | 2147483647   655455     85 |  0.000 % |
9460.11/9462.90	c |   1978929 |    1581   242248  1066319 | 2147483647   657504     85 |  0.000 % |
9477.61/9480.31	c |   1981183 |    1581   242248  1066319 |   658578   588819     85 |  0.000 % |
9488.51/9491.24	c |   1983661 |    1581   242248  1066319 |   658578   591297     85 |  0.000 % |
9501.10/9503.85	c |   1986387 |    1581   242248  1066319 |   658578   594023     85 |  0.000 % |
9515.99/9518.71	c |   1989384 |    1581   242248  1066319 |   658578   597020     85 |  0.000 % |
9532.89/9535.66	c |   1992680 |    1581   242248  1066319 | 2147483647   600316     85 |  0.000 % |
9580.38/9583.16	c |   1996308 |    1581   242248  1066319 | 2147483647   603944     85 |  0.000 % |
9632.27/9635.06	c |   2000295 |    1581   242248  1066319 |   607638   607931     85 |  0.000 % |
9685.45/9688.20	c |   2004680 |    1581   242248  1066319 |   607638   430661     84 |  0.000 % |
9743.14/9746.00	c |   2009503 |    1581   242248  1066319 |   607638   435484     84 |  0.000 % |
9830.41/9833.22	c |   2014808 |    1581   242248  1066319 |   435982   309279     86 |  0.000 % |
9864.90/9867.77	c |   2020644 |    1581   242248  1066319 |   314475   253405     85 |  0.000 % |
9880.49/9883.37	c |   2027062 |    1581   242248  1066319 |   314475   259823     85 |  0.000 % |
9902.69/9905.59	c |   2034121 |    1581   242248  1066319 | 2147483647   266882     85 |  0.000 % |
9937.18/9940.08	c |   2041887 |    1581   242248  1066319 | 2147483647   274648     85 |  0.000 % |
9967.38/9970.28	c |   2050427 |    1581   242248  1066319 | 2147483647   283188     85 |  0.000 % |
9999.57/10002.47	c |   2059821 |    1581   242248  1066319 | 2147483647   292582     85 |  0.000 % |

Verifier Data

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

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837512-1242875435/watcher-1837512-1242875435 -o /tmp/evaluation-result-1837512-1242875435/solver-1837512-1242875435 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837512-1242875435.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 6477
/proc/meminfo: memFree=1566656/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=0
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 315576971 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 240472784978 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6477/statm: 1339 235 195 169 0 50 0
[pid=6478] ppid=6477 vsize=5356 CPUtime=0
/proc/6478/stat : 6478 (SatELiteGTI) S 6477 6477 6300 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 315576971 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6478/statm: 1339 238 198 169 0 50 0
[pid=6480] ppid=6478 vsize=2608 CPUtime=0
/proc/6480/stat : 6480 (sed) R 6478 6477 6300 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 315576971 2670592 131 1992294400 4194304 4240196 548682069056 18446744073709551615 240472718000 0 0 4096 0 0 0 0 17 0 0 0
/proc/6480/statm: 653 134 106 11 0 57 0

[startup+0.0492809 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 6477
/proc/meminfo: memFree=1566656/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=0
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315576971 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101282 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 6477
/proc/meminfo: memFree=1566656/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=0
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315576971 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301299 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 6477
/proc/meminfo: memFree=1566656/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=0
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315576971 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701334 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 6477
/proc/meminfo: memFree=1566656/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=0
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315576971 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5014 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6482
/proc/meminfo: memFree=1544112/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=0
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315576971 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6477/statm: 1339 237 197 169 0 50 0
[pid=6482] ppid=6477 vsize=27420 CPUtime=1.48
/proc/6482/stat : 6482 (SatELite_releas) R 6477 6477 6300 0 -1 4194304 6102 0 0 0 144 4 0 0 25 0 1 0 315576972 28078080 6088 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/6482/statm: 6855 6088 76 173 0 6680 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32776

[startup+3.10154 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6482
/proc/meminfo: memFree=1540720/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=0
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315576971 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6477/statm: 1339 237 197 169 0 50 0
[pid=6482] ppid=6477 vsize=27420 CPUtime=3.08
/proc/6482/stat : 6482 (SatELite_releas) R 6477 6477 6300 0 -1 4194304 6102 0 0 0 304 4 0 0 25 0 1 0 315576972 28078080 6088 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/6482/statm: 6855 6088 76 173 0 6680 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32776

[startup+6.30282 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1546352/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=15440 CPUtime=2.43
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 3690 0 0 0 241 2 0 0 25 0 1 0 315577357 15810560 3676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 3860 3676 77 171 0 3687 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20796

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1541240/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=19860 CPUtime=8.82
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 4793 0 0 0 879 3 0 0 25 0 1 0 315577357 20336640 4779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 4965 4779 77 171 0 4792 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 25216

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1537464/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=23404 CPUtime=21.62
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 5687 0 0 0 2158 4 0 0 25 0 1 0 315577357 23965696 5673 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 5851 5673 77 171 0 5678 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 28760

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1531000/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=30028 CPUtime=47.21
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 7309 0 0 0 4715 6 0 0 25 0 1 0 315577357 30748672 7295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 7507 7295 77 171 0 7334 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 35384

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1519416/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=41688 CPUtime=98.39
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 10214 0 0 0 9830 9 0 0 25 0 1 0 315577357 42688512 10200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 10422 10200 77 171 0 10249 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 47044

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1506744/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=54416 CPUtime=158.36
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 13387 0 0 0 15823 13 0 0 25 0 1 0 315577357 55721984 13373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 13604 13373 77 171 0 13431 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 59772

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1493176/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=67912 CPUtime=218.34
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 16731 0 0 0 21817 17 0 0 25 0 1 0 315577357 69541888 16717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 16978 16717 77 171 0 16805 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 73268

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1485112/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=76016 CPUtime=278.31
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 18753 0 0 0 27812 19 0 0 25 0 1 0 315577357 77840384 18739 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 19004 18739 77 171 0 18831 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 81372

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1479224/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=81876 CPUtime=338.3
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 20193 0 0 0 33809 21 0 0 25 0 1 0 315577357 83841024 20179 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 20469 20179 77 171 0 20296 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 87232

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6483
/proc/meminfo: memFree=1474616/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=86576 CPUtime=398.28

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

/proc/6483/statm: 74313 72306 77 171 0 74140 0
Current children cumulated CPU time (s) 9399.63
Current children cumulated vsize (KiB) 302608

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1263736/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=302020 CPUtime=9455.77
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 73691 0 0 0 945477 100 0 0 25 0 1 0 315577357 309268480 73512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 75505 73512 77 171 0 75332 0
Current children cumulated CPU time (s) 9459.61
Current children cumulated vsize (KiB) 307376

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1262392/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=303220 CPUtime=9515.75
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74022 0 0 0 951474 101 0 0 25 0 1 0 315577357 310497280 73843 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 75805 73843 77 171 0 75632 0
Current children cumulated CPU time (s) 9519.59
Current children cumulated vsize (KiB) 308576

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1262264/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=303220 CPUtime=9575.73
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74045 0 0 0 957472 101 0 0 25 0 1 0 315577357 310497280 73866 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 75805 73866 77 171 0 75632 0
Current children cumulated CPU time (s) 9579.57
Current children cumulated vsize (KiB) 308576

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261688/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304160 CPUtime=9635.72
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74179 0 0 0 963470 102 0 0 25 0 1 0 315577357 311459840 74000 1992294400 134512640 135215339 4294956240 18446744073709551615 134534567 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76040 74000 77 171 0 75867 0
Current children cumulated CPU time (s) 9639.56
Current children cumulated vsize (KiB) 309516

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261560/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304160 CPUtime=9695.71
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74210 0 0 0 969469 102 0 0 25 0 1 0 315577357 311459840 74031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76040 74031 77 171 0 75867 0
Current children cumulated CPU time (s) 9699.55
Current children cumulated vsize (KiB) 309516

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261048/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304564 CPUtime=9755.69
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74321 0 0 0 975467 102 0 0 25 0 1 0 315577357 311873536 74142 1992294400 134512640 135215339 4294956240 18446744073709551615 134534556 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76141 74142 77 171 0 75968 0
Current children cumulated CPU time (s) 9759.53
Current children cumulated vsize (KiB) 309920

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261112/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304564 CPUtime=9815.67
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74321 0 0 0 981465 102 0 0 25 0 1 0 315577357 311873536 74142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76141 74142 77 171 0 75968 0
Current children cumulated CPU time (s) 9819.51
Current children cumulated vsize (KiB) 309920

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261048/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304564 CPUtime=9875.66
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74356 0 0 0 987464 102 0 0 25 0 1 0 315577357 311873536 74177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76141 74177 77 171 0 75968 0
Current children cumulated CPU time (s) 9879.5
Current children cumulated vsize (KiB) 309920

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261048/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304564 CPUtime=9935.64
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74356 0 0 0 993462 102 0 0 25 0 1 0 315577357 311873536 74177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76141 74177 77 171 0 75968 0
Current children cumulated CPU time (s) 9939.48
Current children cumulated vsize (KiB) 309920

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261048/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304564 CPUtime=9995.63
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74359 0 0 0 999460 103 0 0 25 0 1 0 315577357 311873536 74180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76141 74180 77 171 0 75968 0
Current children cumulated CPU time (s) 9999.47
Current children cumulated vsize (KiB) 309920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261048/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304564 CPUtime=9996.23
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74359 0 0 0 999520 103 0 0 25 0 1 0 315577357 311873536 74180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76141 74180 77 171 0 75968 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 309920

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6501
/proc/meminfo: memFree=1261048/2055920 swapFree=4179272/4192956
[pid=6477] ppid=6475 vsize=5356 CPUtime=3.84
/proc/6477/stat : 6477 (SatELiteGTI) S 6475 6477 6300 0 -1 4194304 336 6354 0 0 0 0 377 7 16 0 1 0 315576971 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6477/statm: 1339 239 197 169 0 50 0
[pid=6483] ppid=6477 vsize=304564 CPUtime=9996.23
/proc/6483/stat : 6483 (minisat_static) R 6477 6477 6300 0 -1 4194304 74359 0 0 0 999520 103 0 0 25 0 1 0 315577357 311873536 74180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6483/statm: 76141 74180 77 171 0 75968 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 309920

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9998.97
CPU system time (s): 1.1
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 309920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.77842
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6690
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= 14
involuntary context switches= 23

runsolver used 11.6522 second user time and 24.3663 second system time

The end

Launcher Data

Begin job on node15 at 2009-05-21 05:10:36
IDJOB=1837512
IDBENCH=71068
IDSOLVER=674
FILE ID=node15/1837512-1242875435
PBS_JOBID= 9328613
Free space on /tmp= 66348 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837512-1242875435/watcher-1837512-1242875435 -o /tmp/evaluation-result-1837512-1242875435/solver-1837512-1242875435 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837512-1242875435.cnf

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

MD5SUM BENCH= ecc4810d82e30597ea8451526243ec09
RANDOM SEED=416665254

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1567200 kB
Buffers:         68648 kB
Cached:         345552 kB
SwapCached:       7876 kB
Active:         171760 kB
Inactive:       251892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567200 kB
SwapTotal:     4192956 kB
SwapFree:      4179272 kB
Dirty:            5712 kB
Writeback:           0 kB
Mapped:          14604 kB
Slab:            51044 kB
Committed_AS:  1048452 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66340 MiB
End job on node15 at 2009-05-21 07:57:21