Trace number 1834233

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 713.823 714.345

General information on the benchmark

Namevelev-pipe-uns-1.0-8.cnf
MD5SUM0767e5dbf6844720495e9eb5423112e1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark312.627
Satisfiable
(Un)Satisfiability was proved
Number of variables35065
Number of clauses1332773
Sum of the clauses size3936683
Maximum clause length178
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21290115
Number of clauses of size 314508
Number of clauses of size 4256
Number of clauses of size 5216
Number of clauses of size over 527677

Solver Data

0.00/0.00	c Parsing...
0.00/0.92	c ==============================================================================
0.00/0.92	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.92	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.92	c ==============================================================================
0.00/0.92	c |         0 | 1332772  3936682 |  399831       0        0     nan |  0.000 % |
1.48/6.75	c |         0 | 1317234  4010071 |      --       0       --      -- |     --   | -15195/74092
1.48/6.75	c ==============================================================================
1.48/6.75	c Result  :   #vars: 30665   #clauses: 1317234   #literals: 4010071
1.48/6.75	c CPU time:   6.53801 s
1.48/6.75	c ==============================================================================
1.48/7.94	c This is MiniSat 2.0 beta
1.48/7.94	c WARNING: for repeatability, setting FPU to use double precision
1.48/7.94	c ============================[ Problem Statistics ]=============================
1.48/7.94	c |                                                                             |
1.48/7.94	c |  Number of variables:  30665                                                |
1.48/7.94	c |  Number of clauses:    1317234                                              |
7.91/8.65	c |  Parsing time:         0.61         s                                       |
7.91/8.68	c ============================[ Search Statistics ]==============================
7.91/8.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.91/8.68	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.91/8.68	c ===============================================================================
7.91/8.68	c |         0 |   30665  1317234  4010071 |   439078        0    nan |  0.000 % |
8.88/8.91	c |       100 |   30665  1317234  4010071 |   439078      100    244 |  0.000 % |
8.88/8.96	c |       200 |   30665  1317234  4010071 |   439078      200    178 |  0.000 % |
8.88/8.99	c |       301 |   30665  1317234  4010071 |   439078      301    126 |  0.000 % |
8.98/9.09	c |       411 |   30665  1317234  4010071 |   439078      411    109 |  0.000 % |
9.07/9.14	c |       511 |   30665  1317234  4010071 |   439078      511    104 |  0.000 % |
9.17/9.22	c |       621 |   30665  1317234  4010071 |   439078      621    100 |  0.000 % |
9.17/9.27	c |       742 |   30665  1317234  4010071 |   439078      742     90 |  0.000 % |
9.27/9.32	c |       846 |   30665  1317234  4010071 |   439078      846     89 |  0.000 % |
9.27/9.38	c |       958 |   30665  1317234  4010071 |   439078      958     86 |  0.000 % |
9.37/9.44	c |      1079 |   30665  1317234  4010071 |   439078     1079     84 |  0.000 % |
9.37/9.48	c |      1212 |   30665  1317234  4010071 |   439078     1212     81 |  0.000 % |
9.47/9.51	c |      1312 |   30665  1317234  4010071 |   439078     1312     78 |  0.000 % |
9.47/9.52	c |      1423 |   30665  1317234  4010071 |   439078     1423     77 |  0.000 % |
9.47/9.54	c |      1544 |   30665  1317234  4010071 |   439078     1544     75 |  0.000 % |
9.47/9.57	c |      1679 |   30665  1317234  4010071 |   439078     1679     75 |  0.000 % |
9.47/9.59	c |      1826 |   30665  1317234  4010071 |   439078     1826     72 |  0.000 % |
9.57/9.64	c |      1927 |   30665  1317234  4010071 |   439078     1927     73 |  0.000 % |
9.57/9.68	c |      2040 |   30665  1317234  4010071 |   439078     2040     77 |  0.000 % |
9.67/9.77	c |      2163 |   30665  1317234  4010071 |   439078     2163     79 |  0.000 % |
9.77/9.80	c |      2297 |   30665  1317234  4010071 |   439078     2297     79 |  0.000 % |
9.77/9.87	c |      2444 |   30665  1317234  4010071 |   439078     2444     80 |  0.000 % |
9.87/9.92	c |      2606 |   30665  1317234  4010071 |   439078     2606     82 |  0.000 % |
9.98/10.03	c |      2708 |   30665  1317234  4010071 |   439078     2708     84 |  0.000 % |
10.08/10.17	c |      2825 |   30665  1317234  4010071 |   439078     2825     82 |  0.000 % |
10.17/10.24	c |      2947 |   30665  1317234  4010071 |   439078     2947     83 |  0.000 % |
10.27/10.33	c |      3086 |   30665  1317234  4010071 |   439078     3086     86 |  0.000 % |
10.47/10.50	c |      3232 |   30665  1317234  4010071 |   439078     3232     87 |  0.000 % |
10.47/10.57	c |      3392 |   30665  1317234  4010071 |   439078     3392     84 |  0.000 % |
10.57/10.63	c |      3572 |   30665  1317234  4010071 |   439078     3572     86 |  0.000 % |
10.67/10.71	c |      3672 |   30665  1317234  4010071 |   439078     3672     88 |  0.000 % |
10.67/10.74	c |      3783 |   30665  1317234  4010071 |   439078     3783     88 |  0.000 % |
10.77/10.82	c |      3905 |   30665  1317234  4010071 |   439078     3905     88 |  0.000 % |
10.97/11.00	c |      4038 |   30665  1317234  4010071 |   439078     4038     88 |  0.000 % |
10.97/11.07	c |      4185 |   30665  1317234  4010071 |   439078     4185     90 |  0.000 % |
10.97/11.09	c |      4345 |   30665  1317234  4010071 |   439078     4345     88 |  0.000 % |
11.08/11.18	c |      4523 |   30665  1317234  4010071 |   439078     4523     88 |  0.000 % |
11.27/11.39	c |      4718 |   30665  1317234  4010071 |   439078     4718     88 |  0.000 % |
11.37/11.48	c |      4818 |   30665  1317234  4010071 |   439078     4818     88 |  0.000 % |
11.57/11.68	c |      4928 |   30665  1317234  4010071 |   439078     4928     87 |  0.000 % |
11.67/11.72	c |      5050 |   30665  1317234  4010071 |   439078     5050     86 |  0.000 % |
11.87/11.99	c |      5183 |   30665  1317234  4010071 |   439078     5183     85 |  0.000 % |
11.97/12.07	c |      5329 |   30665  1317234  4010071 |   439078     5329     86 |  0.000 % |
12.07/12.11	c |      5490 |   30665  1317234  4010071 |   439078     5490     85 |  0.000 % |
12.07/12.17	c |      5667 |   30665  1317234  4010071 |   439078     5667     86 |  0.000 % |
12.67/12.75	c |      5861 |   30665  1317234  4010071 |   439078     5861     85 |  0.000 % |
12.77/12.84	c |      6073 |   30665  1317234  4010071 |   439078     6073     85 |  0.000 % |
12.87/12.91	c |      6174 |   30665  1317234  4010071 |   439078     6174     86 |  0.000 % |
12.87/12.95	c |      6284 |   30665  1317234  4010071 |   439078     6284     86 |  0.000 % |
12.87/12.98	c |      6408 |   30665  1317234  4010071 |   439078     6408     85 |  0.000 % |
12.97/13.04	c |      6542 |   30665  1317234  4010071 |   439078     6542     86 |  0.000 % |
13.17/13.22	c |      6688 |   30665  1317234  4010071 |   439078     6688     88 |  0.000 % |
13.27/13.32	c |      6848 |   30665  1317234  4010071 |   439078     6848     87 |  0.000 % |
13.27/13.36	c |      7025 |   30665  1317234  4010071 |   439078     7025     88 |  0.000 % |
13.47/13.51	c |      7218 |   30665  1317234  4010071 |   439078     7218     88 |  0.000 % |
13.47/13.56	c |      7430 |   30665  1317234  4010071 |   439078     7430     91 |  0.000 % |
13.67/13.70	c |      7664 |   30665  1317234  4010071 |   439078     7664     90 |  0.000 % |
13.67/13.72	c |      7764 |   30665  1317234  4010071 |   439078     7764     90 |  0.000 % |
13.77/13.80	c |      7875 |   30665  1317234  4010071 |   439078     7875     90 |  0.000 % |
13.77/13.88	c |      8001 |   30665  1317234  4010071 |   439078     8001     90 |  0.000 % |
13.97/14.00	c |      8136 |   30665  1317234  4010071 |   439078     8136     90 |  0.000 % |
13.97/14.04	c |      8282 |   30665  1317234  4010071 |   439078     8282     89 |  0.000 % |
14.07/14.11	c |      8443 |   30665  1317234  4010071 |   439078     8443     90 |  0.000 % |
14.17/14.25	c |      8622 |   30665  1317234  4010071 |   439078     8622     89 |  0.000 % |
14.37/14.47	c |      8815 |   30665  1317234  4010071 |   439078     8815     89 |  0.000 % |
14.47/14.54	c |      9030 |   30665  1317234  4010071 |   439078     9030     89 |  0.000 % |
14.57/14.67	c |      9264 |   30665  1317234  4010071 |   439078     9264     89 |  0.000 % |
14.78/14.87	c |      9520 |   30665  1317234  4010071 |   439078     9520     89 |  0.000 % |
14.88/14.96	c |      9620 |   30665  1317234  4010071 |   439078     9620     89 |  0.000 % |
14.98/15.06	c |      9732 |   30665  1317234  4010071 |   439078     9732     88 |  0.000 % |
15.08/15.12	c |      9853 |   30665  1317234  4010071 |   439078     9853     89 |  0.000 % |
15.17/15.25	c |      9986 |   30665  1317234  4010071 |   439078     9986     89 |  0.000 % |
15.27/15.30	c |     10134 |   30665  1317234  4010071 | 2147483647    10134     89 |  0.000 % |
15.37/15.42	c |     10302 |   30665  1317234  4010071 | 2147483647    10302     89 |  0.000 % |
15.48/15.53	c |     10478 |   30665  1317234  4010071 | 2147483647    10478     89 |  0.000 % |
15.58/15.66	c |     10683 |   30665  1317234  4010071 | 2147483647    10683     90 |  0.000 % |
15.87/15.92	c |     10898 |   30665  1317234  4010071 | 2147483647    10898     90 |  0.000 % |
16.17/16.22	c |     11131 |   30665  1317234  4010071 | 2147483647    11131     89 |  0.000 % |
16.27/16.35	c |     11390 |   30665  1317234  4010071 | 2147483647    11390     90 |  0.000 % |
16.37/16.45	c |     11671 |   30665  1317234  4010071 | 2147483647    11671     90 |  0.000 % |
16.46/16.50	c |     11772 |   30665  1317234  4010071 | 2147483647    11772     90 |  0.000 % |
16.46/16.59	c |     11882 |   30665  1317234  4010071 | 2147483647    11882     90 |  0.000 % |
16.56/16.67	c |     12006 |   30665  1317234  4010071 | 2147483647    12006     91 |  0.000 % |
16.66/16.77	c |     12139 |   30665  1317234  4010071 | 2147483647    12139     91 |  0.000 % |
16.76/16.84	c |     12289 |   30665  1317234  4010071 | 2147483647    12289     91 |  0.000 % |
16.76/16.88	c |     12450 |   30665  1317234  4010071 | 2147483647    12450     90 |  0.000 % |
16.86/16.92	c |     12626 |   30665  1317234  4010071 | 2147483647    12626     91 |  0.000 % |
16.96/17.03	c |     12819 |   30665  1317234  4010071 | 2147483647    12819     90 |  0.000 % |
17.06/17.12	c |     13031 |   30665  1317234  4010071 | 2147483647    13031     91 |  0.000 % |
17.16/17.26	c |     13264 |   30665  1317234  4010071 | 2147483647    13264     92 |  0.000 % |
17.26/17.34	c |     13521 |   30665  1317234  4010071 | 2147483647    13521     92 |  0.000 % |
17.57/17.63	c |     13802 |   30665  1317234  4010071 | 2147483647    13802     92 |  0.000 % |
17.67/17.73	c |     14111 |   30665  1317234  4010071 | 2147483647    14111     93 |  0.000 % |
17.67/17.79	c |     14212 |   30665  1317234  4010071 | 2147483647    14212     94 |  0.000 % |
17.86/17.90	c |     14322 |   30665  1317234  4010071 | 2147483647    14322     94 |  0.000 % |
17.86/17.96	c |     14443 |   30665  1317234  4010071 | 2147483647    14443     94 |  0.000 % |
17.96/18.05	c |     14576 |   30665  1317234  4010071 | 2147483647    14576     94 |  0.000 % |
18.06/18.11	c |     14723 |   30665  1317234  4010071 | 2147483647    14723     94 |  0.000 % |
18.06/18.19	c |     14883 |   30665  1317234  4010071 | 2147483647    14883     94 |  0.000 % |
18.36/18.45	c |     15059 |   30665  1317234  4010071 | 2147483647    15059     94 |  0.000 % |
18.46/18.56	c |     15252 |   30665  1317234  4010071 | 2147483647    15252     94 |  0.000 % |
18.56/18.68	c |     15465 |   30665  1317234  4010071 | 2147483647    15465     94 |  0.000 % |
18.86/18.99	c |     15700 |   30665  1317234  4010071 | 2147483647    15700     94 |  0.000 % |
19.06/19.17	c |     15962 |   30665  1317234  4010071 | 2147483647    15962     94 |  0.000 % |
19.26/19.35	c |     16243 |   30665  1317234  4010071 | 2147483647    16243     95 |  0.000 % |
19.36/19.46	c |     16554 |   30665  1317234  4010071 | 2147483647    16554     95 |  0.000 % |
19.56/19.67	c |     16895 |   30665  1317234  4010071 | 2147483647    16895     97 |  0.000 % |
19.66/19.71	c |     16996 |   30665  1317234  4010071 | 2147483647    16996     97 |  0.000 % |
19.76/19.88	c |     17108 |   30665  1317234  4010071 | 2147483647    17108     96 |  0.000 % |
19.86/19.94	c |     17230 |   30665  1317234  4010071 | 2147483647    17230     97 |  0.000 % |
19.95/20.03	c |     17363 |   30665  1317234  4010071 | 2147483647    17363     97 |  0.000 % |
19.95/20.10	c |     17511 |   30665  1317234  4010071 | 2147483647    17511     98 |  0.000 % |
20.15/20.27	c |     17672 |   30665  1317234  4010071 | 2147483647    17672     98 |  0.000 % |
20.25/20.38	c |     17848 |   30665  1317234  4010071 | 2147483647    17848     98 |  0.000 % |
20.55/20.60	c |     18042 |   30665  1317234  4010071 | 2147483647    18042     98 |  0.000 % |
20.65/20.76	c |     18255 |   30665  1317234  4010071 | 2147483647    18255     98 |  0.000 % |
20.75/20.88	c |     18488 |   30665  1317234  4010071 | 2147483647    18488     97 |  0.000 % |
20.85/20.96	c |     18744 |   30665  1317234  4010071 | 2147483647    18744     97 |  0.000 % |
21.05/21.14	c |     19027 |   30665  1317234  4010071 | 2147483647    19027     97 |  0.000 % |
21.15/21.27	c |     19336 |   30665  1317234  4010071 | 2147483647    19336     98 |  0.000 % |
21.34/21.44	c |     19677 |   30665  1317234  4010071 | 2147483647    19677     97 |  0.000 % |
21.64/21.73	c |     20054 |   30665  1317234  4010071 | 2147483647    20054     97 |  0.000 % |
21.74/21.84	c |     20154 |   30665  1317234  4010071 | 2147483647    20154     97 |  0.000 % |
21.84/21.93	c |     20266 |   30665  1317234  4010071 | 2147483647    20266     97 |  0.000 % |
21.84/21.99	c |     20387 |   30665  1317234  4010071 | 2147483647    20387     97 |  0.000 % |
21.94/22.10	c |     20524 |   30665  1317234  4010071 | 2147483647    20524     98 |  0.000 % |
22.04/22.19	c |     20670 |   30665  1317234  4010071 | 2147483647    20670     98 |  0.000 % |
22.24/22.30	c |     20831 |   30665  1317234  4010071 | 2147483647    20831     98 |  0.000 % |
22.24/22.36	c |     21010 |   30665  1317234  4010071 | 2147483647    21010     99 |  0.000 % |
22.44/22.52	c |     21205 |   30665  1317234  4010071 | 2147483647    21205     99 |  0.000 % |
22.54/22.62	c |     21418 |   30665  1317234  4010071 | 2147483647    21418     99 |  0.000 % |
22.64/22.74	c |     21651 |   30665  1317234  4010071 | 2147483647    21651     99 |  0.000 % |
22.84/22.92	c |     21907 |   30665  1317234  4010071 | 2147483647    21907     99 |  0.000 % |
22.94/23.08	c |     22189 |   30665  1317234  4010071 | 2147483647    22189     99 |  0.000 % |
23.14/23.25	c |     22499 |   30665  1317234  4010071 | 2147483647    22499     99 |  0.000 % |
23.34/23.45	c |     22839 |   30665  1317234  4010071 | 2147483647    22839    100 |  0.000 % |
23.55/23.63	c |     23212 |   30665  1317234  4010071 | 2147483647    23212     99 |  0.000 % |
23.65/23.77	c |     23622 |   30665  1317234  4010071 | 2147483647    23622     99 |  0.000 % |
23.65/23.80	c |     23728 |   30665  1317234  4010071 | 2147483647    23728     99 |  0.000 % |
23.75/23.87	c |     23838 |   30665  1317234  4010071 | 2147483647    23838     99 |  0.000 % |
23.85/23.94	c |     23959 |   30665  1317234  4010071 | 2147483647    23959     99 |  0.000 % |
23.95/24.02	c |     24095 |   30665  1317234  4010071 | 2147483647    24095     99 |  0.000 % |
24.05/24.18	c |     24242 |   30665  1317234  4010071 | 2147483647    24242     99 |  0.000 % |
24.15/24.30	c |     24404 |   30665  1317234  4010071 | 2147483647    24404     99 |  0.000 % |
24.30/24.40	c |     24583 |   30665  1317234  4010071 | 2147483647    24583     99 |  0.000 % |
24.44/24.56	c |     24776 |   30665  1317234  4010071 | 2147483647    24776     99 |  0.000 % |
24.54/24.63	c |     24989 |   30665  1317234  4010071 | 2147483647    24989     99 |  0.000 % |
24.64/24.78	c |     25224 |   30665  1317234  4010071 | 2147483647    25224    100 |  0.000 % |
24.74/24.87	c |     25482 |   30665  1317234  4010071 | 2147483647    25482    101 |  0.000 % |
25.04/25.10	c |     25767 |   30665  1317234  4010071 | 2147483647    25767    101 |  0.000 % |
25.24/25.38	c |     26076 |   30665  1317234  4010071 | 2147483647    26076    102 |  0.000 % |
25.44/25.53	c |     26415 |   30665  1317234  4010071 | 2147483647    26415    102 |  0.000 % |
25.64/25.71	c |     26791 |   30665  1317234  4010071 | 2147483647    26791    102 |  0.000 % |
25.84/25.94	c |     27200 |   30665  1317234  4010071 | 2147483647    27200    102 |  0.000 % |
26.04/26.14	c |     27652 |   30665  1317234  4010071 | 2147483647    27652    102 |  0.000 % |
26.14/26.20	c |     27753 |   30665  1317234  4010071 | 2147483647    27753    102 |  0.000 % |
26.14/26.26	c |     27866 |   30665  1317234  4010071 | 2147483647    27866    102 |  0.000 % |
26.14/26.29	c |     27988 |   30665  1317234  4010071 | 2147483647    27988    102 |  0.000 % |
26.34/26.41	c |     28121 |   30665  1317234  4010071 | 2147483647    28121    102 |  0.000 % |
26.34/26.46	c |     28270 |   30665  1317234  4010071 | 2147483647    28270    102 |  0.000 % |
26.45/26.56	c |     28431 |   30665  1317234  4010071 | 2147483647    28431    102 |  0.000 % |
26.55/26.68	c |     28607 |   30665  1317234  4010071 | 2147483647    28607    101 |  0.000 % |
26.64/26.76	c |     28804 |   30665  1317234  4010071 | 2147483647    28804    101 |  0.000 % |
26.74/26.89	c |     29017 |   30665  1317234  4010071 | 2147483647    29017    101 |  0.000 % |
26.94/27.09	c |     29253 |   30665  1317234  4010071 | 2147483647    29253    102 |  0.000 % |
27.04/27.17	c |     29511 |   30665  1317234  4010071 | 2147483647    29511    101 |  0.000 % |
27.14/27.30	c |     29792 |   30665  1317234  4010071 | 2147483647    29792    102 |  0.000 % |
27.24/27.38	c |     30101 |   30665  1317234  4010071 | 2147483647    30101    101 |  0.000 % |
27.34/27.45	c |     30441 |   30665  1317234  4010071 | 2147483647    30441    101 |  0.000 % |
27.55/27.61	c |     30816 |   30665  1317234  4010071 | 2147483647    30816    100 |  0.000 % |
27.65/27.73	c |     31226 |   30665  1317234  4010071 | 2147483647    31226    100 |  0.000 % |
27.84/27.90	c |     31681 |   30665  1317234  4010071 | 2147483647    31681    100 |  0.000 % |
28.04/28.17	c |     32175 |   30665  1317234  4010071 | 2147483647    32175    100 |  0.000 % |
28.14/28.25	c |     32275 |   30665  1317234  4010071 | 2147483647    32275    100 |  0.000 % |
28.34/28.44	c |     32389 |   30665  1317234  4010071 | 2147483647    32389    100 |  0.000 % |
28.34/28.48	c |     32511 |   30665  1317234  4010071 | 2147483647    32511    100 |  0.000 % |
28.44/28.55	c |     32646 |   30665  1317234  4010071 | 2147483647    32646    100 |  0.000 % |
28.54/28.66	c |     32792 |   30665  1317234  4010071 | 2147483647    32792    100 |  0.000 % |
28.54/28.84	c |     32952 |   30665  1317234  4010071 | 2147483647    32952    100 |  0.000 % |
28.87/29.02	c |     33128 |   30665  1317234  4010071 | 2147483647    33128    100 |  0.000 % |
28.98/29.11	c |     33322 |   30665  1317234  4010071 | 2147483647    33322    100 |  0.000 % |
29.14/29.29	c |     33536 |   30665  1317234  4010071 | 2147483647    33536    100 |  0.000 % |
29.54/29.68	c |     33769 |   30665  1317234  4010071 | 2147483647    33769    100 |  0.000 % |
29.64/29.79	c |     34025 |   30665  1317234  4010071 | 2147483647    34025    100 |  0.000 % |
30.03/30.14	c |     34306 |   30665  1317234  4010071 | 2147483647    34306    100 |  0.000 % |
30.23/30.32	c |     34617 |   30665  1317234  4010071 | 2147483647    34617     99 |  0.000 % |
30.63/30.75	c |     34956 |   30665  1317234  4010071 | 2147483647    34956    101 |  0.000 % |
30.82/30.93	c |     35328 |   30665  1317234  4010071 | 2147483647    35328    101 |  0.000 % |
31.03/31.18	c |     35738 |   30665  1317234  4010071 | 2147483647    35738    101 |  0.000 % |
31.43/31.52	c |     36187 |   30665  1317234  4010071 | 2147483647    36187    101 |  0.000 % |
31.63/31.74	c |     36683 |   30665  1317234  4010071 | 2147483647    36683    101 |  0.000 % |
32.03/32.18	c |     37225 |   30665  1317234  4010071 | 2147483647    37225    100 |  0.000 % |
32.14/32.28	c |     37328 |   30665  1317234  4010071 | 2147483647    37328    100 |  0.000 % |
32.24/32.37	c |     37439 |   30665  1317234  4010071 | 2147483647    37439    100 |  0.000 % |
32.33/32.46	c |     37560 |   30665  1317234  4010071 | 2147483647    37560    100 |  0.000 % |
32.43/32.58	c |     37695 |   30665  1317234  4010071 | 2147483647    37695    100 |  0.000 % |
32.63/32.75	c |     37841 |   30665  1317234  4010071 | 2147483647    37841    100 |  0.000 % |
32.73/32.85	c |     38001 |   30665  1317234  4010071 | 2147483647    38001    100 |  0.000 % |
32.93/33.00	c |     38179 |   30665  1317234  4010071 | 2147483647    38179    100 |  0.000 % |
33.03/33.15	c |     38373 |   30665  1317234  4010071 | 2147483647    38373    100 |  0.000 % |
33.82/33.91	c |     38586 |   30665  1317234  4010071 | 2147483647    38586    100 |  0.000 % |
34.02/34.11	c |     38823 |   30665  1317234  4010071 | 2147483647    38823    100 |  0.000 % |
34.12/34.26	c |     39079 |   30665  1317234  4010071 | 2147483647    39079    101 |  0.000 % |
34.32/34.42	c |     39360 |   30665  1317234  4010071 | 2147483647    39360    101 |  0.000 % |
34.52/34.69	c |     39669 |   30665  1317234  4010071 | 2147483647    39669    101 |  0.000 % |
34.72/34.83	c |     40010 |   30665  1317234  4010071 | 2147483647    40010    100 |  0.000 % |
35.22/35.38	c |     40383 |   30665  1317234  4010071 | 2147483647    40383    100 |  0.000 % |
35.52/35.62	c |     40792 |   30665  1317234  4010071 | 2147483647    40792    100 |  0.000 % |
35.82/35.93	c |     41241 |   30665  1317234  4010071 | 2147483647    41241    100 |  0.000 % |
36.12/36.21	c |     41735 |   30665  1317234  4010071 | 2147483647    41735    100 |  0.000 % |
36.52/36.64	c |     42277 |   30665  1317234  4010071 | 2147483647    42277     99 |  0.000 % |
36.81/36.93	c |     42873 |   30665  1317234  4010071 | 2147483647    42873    100 |  0.000 % |
37.01/37.12	c |     42973 |   30665  1317234  4010071 | 2147483647    42973    100 |  0.000 % |
37.01/37.18	c |     43086 |   30665  1317234  4010071 | 2147483647    43086    100 |  0.000 % |
37.31/37.41	c |     43207 |   30665  1317234  4010071 | 2147483647    43207    100 |  0.000 % |
37.41/37.51	c |     43341 |   30665  1317234  4010071 | 2147483647    43341    100 |  0.000 % |
37.51/37.68	c |     43489 |   30665  1317234  4010071 | 2147483647    43489     99 |  0.000 % |
37.62/37.77	c |     43650 |   30665  1317234  4010071 | 2147483647    43650    100 |  0.000 % |
37.72/37.89	c |     43826 |   30665  1317234  4010071 | 2147483647    43826    100 |  0.000 % |
37.81/37.99	c |     44021 |   30665  1317234  4010071 | 2147483647    44021    100 |  0.000 % |
38.11/38.25	c |     44236 |   30665  1317234  4010071 | 2147483647    44236    100 |  0.000 % |
38.21/38.38	c |     44469 |   30665  1317234  4010071 | 2147483647    44469    100 |  0.000 % |
38.41/38.55	c |     44725 |   30665  1317234  4010071 | 2147483647    44725    100 |  0.000 % |
38.61/38.79	c |     45006 |   30665  1317234  4010071 | 2147483647    45006     99 |  0.000 % |
39.72/39.84	c |     45315 |   30665  1317234  4010071 | 2147483647    45315     99 |  0.000 % |
39.92/40.08	c |     45659 |   30665  1317234  4010071 | 2147483647    45659     99 |  0.000 % |
40.42/40.51	c |     46032 |   30665  1317234  4010071 | 2147483647    46032     99 |  0.000 % |
40.72/40.87	c |     46445 |   30665  1317234  4010071 | 2147483647    46445     99 |  0.000 % |
41.42/41.51	c |     46894 |   30665  1317234  4010071 | 2147483647    46894     98 |  0.000 % |
41.63/41.76	c |     47387 |   30665  1317234  4010071 | 2147483647    47387     99 |  0.000 % |
42.12/42.24	c |     47931 |   30665  1317234  4010071 | 2147483647    47931     98 |  0.000 % |
42.32/42.49	c |     48527 |   30665  1317234  4010071 | 2147483647    48527     98 |  0.000 % |
42.92/43.04	c |     49185 |   30665  1317234  4010071 | 2147483647    49185     98 |  0.000 % |
43.02/43.11	c |     49287 |   30665  1317234  4010071 | 2147483647    49287     98 |  0.000 % |
43.12/43.21	c |     49397 |   30665  1317234  4010071 | 2147483647    49397     98 |  0.000 % |
43.22/43.31	c |     49518 |   30665  1317234  4010071 | 2147483647    49518     98 |  0.000 % |
43.42/43.53	c |     49652 |   30665  1317234  4010071 | 2147483647    49652     98 |  0.000 % |
43.52/43.63	c |     49800 |   30665  1317234  4010071 | 2147483647    49800     98 |  0.000 % |
43.62/43.77	c |     49960 |   30665  1317234  4010071 | 2147483647    49960     98 |  0.000 % |
43.72/43.84	c |     50137 |   30665  1317234  4010071 | 2147483647    50137     98 |  0.000 % |
43.82/43.95	c |     50330 |   30665  1317234  4010071 | 2147483647    50330     98 |  0.000 % |
44.02/44.10	c |     50545 |   30665  1317234  4010071 | 2147483647    50545     97 |  0.000 % |
44.32/44.41	c |     50778 |   30665  1317234  4010071 | 2147483647    50778     97 |  0.000 % |
44.51/44.60	c |     51034 |   30665  1317234  4010071 | 2147483647    51034     97 |  0.000 % |
45.01/45.15	c |     51316 |   30665  1317234  4010071 | 2147483647    51316     97 |  0.000 % |
45.11/45.27	c |     51626 |   30665  1317234  4010071 | 2147483647    51626     97 |  0.000 % |
45.42/45.57	c |     51965 |   30665  1317234  4010071 | 2147483647    51965     97 |  0.000 % |
45.61/45.77	c |     52339 |   30665  1317234  4010071 | 2147483647    52339     97 |  0.000 % |
46.01/46.13	c |     52748 |   30665  1317234  4010071 | 2147483647    52748     96 |  0.000 % |
46.31/46.40	c |     53197 |   30665  1317234  4010071 | 2147483647    53197     96 |  0.000 % |
46.61/46.71	c |     53690 |   30665  1317234  4010071 | 2147483647    53690     96 |  0.000 % |
46.91/47.08	c |     54232 |   30665  1317234  4010071 | 2147483647    54232     95 |  0.000 % |
47.32/47.42	c |     54830 |   30665  1317234  4010071 | 2147483647    54830     95 |  0.000 % |
47.42/47.95	c |     55487 |   30665  1317234  4010071 | 2147483647    55487     95 |  0.000 % |
48.42/48.54	c |     56208 |   30665  1317234  4010071 | 2147483647    56208     94 |  0.000 % |
48.52/48.65	c |     56308 |   30665  1317234  4010071 | 2147483647    56308     94 |  0.000 % |
48.62/48.76	c |     56418 |   30665  1317234  4010071 | 2147483647    56418     94 |  0.000 % |
48.72/48.87	c |     56539 |   30665  1317234  4010071 | 2147483647    56539     94 |  0.000 % |
48.92/49.08	c |     56672 |   30665  1317234  4010071 | 2147483647    56672     94 |  0.000 % |
49.02/49.19	c |     56821 |   30665  1317234  4010071 | 2147483647    56821     94 |  0.000 % |
49.22/49.36	c |     56981 |   30665  1317234  4010071 | 2147483647    56981     94 |  0.000 % |
49.42/49.54	c |     57157 |   30665  1317234  4010071 | 2147483647    57157     94 |  0.000 % |
49.61/49.72	c |     57350 |   30665  1317234  4010071 | 2147483647    57350     94 |  0.000 % |
49.71/49.89	c |     57563 |   30665  1317234  4010071 | 2147483647    57563     94 |  0.000 % |
50.22/50.35	c |     57796 |   30665  1317234  4010071 | 2147483647    57796     93 |  0.000 % |
50.41/50.53	c |     58054 |   30665  1317234  4010071 | 2147483647    58054     94 |  0.000 % |
50.61/50.77	c |     58335 |   30665  1317234  4010071 | 2147483647    58335     93 |  0.000 % |
50.91/51.09	c |     58644 |   30665  1317234  4010071 | 2147483647    58644     93 |  0.000 % |
51.22/51.31	c |     58985 |   30665  1317234  4010071 | 2147483647    58985     93 |  0.000 % |
51.41/51.59	c |     59357 |   30665  1317234  4010071 | 2147483647    59357     93 |  0.000 % |
51.71/51.88	c |     59767 |   30665  1317234  4010071 | 2147483647    59767     92 |  0.000 % |
52.21/52.30	c |     60218 |   30665  1317234  4010071 | 2147483647    60218     92 |  0.000 % |
52.71/52.82	c |     60712 |   30665  1317234  4010071 | 2147483647    60712     91 |  0.000 % |
53.01/53.19	c |     61254 |   30665  1317234  4010071 | 2147483647    61254     91 |  0.000 % |
53.52/53.69	c |     61850 |   30665  1317234  4010071 | 2147483647    61850     91 |  0.000 % |
54.61/54.75	c |     62505 |   30665  1317234  4010071 | 2147483647    62505     90 |  0.000 % |
55.40/55.59	c |     63225 |   30665  1317234  4010071 | 2147483647    63225     90 |  0.000 % |
56.19/56.33	c |     64018 |   30665  1317234  4010071 | 2147483647    64018     90 |  0.000 % |
56.29/56.49	c |     64118 |   30665  1317234  4010071 | 2147483647    64118     89 |  0.000 % |
56.39/56.58	c |     64231 |   30665  1317234  4010071 | 2147483647    64231     89 |  0.000 % |
56.59/56.71	c |     64353 |   30665  1317234  4010071 | 2147483647    64353     89 |  0.000 % |
56.69/56.84	c |     64486 |   30665  1317234  4010071 | 2147483647    64486     89 |  0.000 % |
56.79/56.93	c |     64633 |   30665  1317234  4010071 | 2147483647    64633     89 |  0.000 % |
56.89/57.06	c |     64794 |   30665  1317234  4010071 | 2147483647    64794     89 |  0.000 % |
56.99/57.19	c |     64970 |   30665  1317234  4010071 | 2147483647    64970     89 |  0.000 % |
57.19/57.38	c |     65164 |   30665  1317234  4010071 | 2147483647    65164     89 |  0.000 % |
57.39/57.58	c |     65376 |   30665  1317234  4010071 | 2147483647    65376     88 |  0.000 % |
57.59/57.78	c |     65609 |   30665  1317234  4010071 | 2147483647    65609     88 |  0.000 % |
57.79/57.98	c |     65867 |   30665  1317234  4010071 | 2147483647    65867     88 |  0.000 % |
57.98/58.19	c |     66148 |   30665  1317234  4010071 | 2147483647    66148     88 |  0.000 % |
58.38/58.55	c |     66457 |   30665  1317234  4010071 | 2147483647    66457     87 |  0.000 % |
58.78/58.91	c |     66796 |   30665  1317234  4010071 | 2147483647    66796     87 |  0.000 % |
59.08/59.20	c |     67168 |   30665  1317234  4010071 | 2147483647    67168     87 |  0.000 % |
59.28/59.49	c |     67577 |   30665  1317234  4010071 | 2147483647    67577     87 |  0.000 % |
59.78/59.92	c |     68028 |   30665  1317234  4010071 | 2147483647    68028     86 |  0.000 % |
60.08/60.29	c |     68521 |   30665  1317234  4010071 | 2147483647    68521     86 |  0.000 % |
60.67/60.80	c |     69064 |   30665  1317234  4010071 | 2147483647    69064     86 |  0.000 % |
60.97/61.38	c |     69664 |   30665  1317234  4010071 | 2147483647    69664     85 |  0.000 % |
61.57/61.79	c |     70319 |   30665  1317234  4010071 | 2147483647    70319     86 |  0.000 % |
61.97/62.14	c |     71040 |   30665  1317234  4010071 | 2147483647    71040     86 |  0.000 % |
62.57/62.78	c |     71832 |   30665  1317234  4010071 | 2147483647    71832     86 |  0.000 % |
63.08/63.27	c |     72704 |   30665  1317234  4010071 | 2147483647    72704     86 |  0.000 % |
63.18/63.39	c |     72804 |   30665  1317234  4010071 | 2147483647    72804     86 |  0.000 % |
63.28/63.50	c |     72915 |   30665  1317234  4010071 | 2147483647    72915     86 |  0.000 % |
63.38/63.58	c |     73040 |   30665  1317234  4010071 | 2147483647    73040     86 |  0.000 % |
63.55/63.69	c |     73174 |   30665  1317234  4010071 | 2147483647    73174     87 |  0.000 % |
63.55/63.76	c |     73321 |   30665  1317234  4010071 | 2147483647    73321     87 |  0.000 % |
63.86/64.01	c |     73482 |   30665  1317234  4010071 | 2147483647    73482     87 |  0.000 % |
63.96/64.18	c |     73659 |   30665  1317234  4010071 | 2147483647    73659     87 |  0.000 % |
64.06/64.28	c |     73852 |   30665  1317234  4010071 | 2147483647    73852     87 |  0.000 % |
64.26/64.40	c |     74064 |   30665  1317234  4010071 | 2147483647    74064     87 |  0.000 % |
64.47/64.60	c |     74297 |   30665  1317234  4010071 | 2147483647    74297     87 |  0.000 % |
64.57/64.73	c |     74555 |   30665  1317234  4010071 | 2147483647    74555     87 |  0.000 % |
64.87/65.07	c |     74838 |   30665  1317234  4010071 | 2147483647    74838     87 |  0.000 % |
65.17/65.32	c |     75148 |   30665  1317234  4010071 | 2147483647    75148     86 |  0.000 % |
65.47/65.62	c |     75489 |   30665  1317234  4010071 | 2147483647    75489     86 |  0.000 % |
65.57/65.78	c |     75861 |   30665  1317234  4010071 | 2147483647    75861     86 |  0.000 % |
65.87/66.02	c |     76271 |   30665  1317234  4010071 | 2147483647    76271     86 |  0.000 % |
66.17/66.35	c |     76721 |   30665  1317234  4010071 | 2147483647    76721     86 |  0.000 % |
66.58/66.74	c |     77214 |   30665  1317234  4010071 | 2147483647    77214     86 |  0.000 % |
66.97/67.11	c |     77756 |   30665  1317234  4010071 | 2147483647    77756     86 |  0.000 % |
67.37/67.53	c |     78353 |   30665  1317234  4010071 | 2147483647    78353     85 |  0.000 % |
67.87/68.02	c |     79008 |   30665  1317234  4010071 | 2147483647    79008     85 |  0.000 % |
68.27/68.41	c |     79728 |   30665  1317234  4010071 | 2147483647    79728     86 |  0.000 % |
68.86/69.04	c |     80524 |   30665  1317234  4010071 | 2147483647    80524     85 |  0.000 % |
69.56/69.72	c |     81396 |   30665  1317234  4010071 | 2147483647    81396     86 |  0.000 % |
70.17/70.38	c |     82354 |   30665  1317234  4010071 | 2147483647    82354     86 |  0.000 % |
70.26/70.49	c |     82454 |   30665  1317234  4010071 | 2147483647    82454     86 |  0.000 % |
70.36/70.59	c |     82565 |   30665  1317234  4010071 | 2147483647    82565     86 |  0.000 % |
70.56/70.75	c |     82687 |   30665  1317234  4010071 | 2147483647    82687     86 |  0.000 % |
70.66/70.87	c |     82821 |   30665  1317234  4010071 | 2147483647    82821     86 |  0.000 % |
70.86/71.00	c |     82967 |   30665  1317234  4010071 | 2147483647    82967     86 |  0.000 % |
70.96/71.16	c |     83127 |   30665  1317234  4010071 | 2147483647    83127     86 |  0.000 % |
71.36/71.51	c |     83303 |   30665  1317234  4010071 | 2147483647    83303     86 |  0.000 % |
71.65/71.89	c |     83497 |   30665  1317234  4010071 | 2147483647    83497     85 |  0.000 % |
71.95/72.11	c |     83709 |   30665  1317234  4010071 | 2147483647    83709     85 |  0.000 % |
72.15/72.32	c |     83943 |   30665  1317234  4010071 | 2147483647    83943     85 |  0.000 % |
72.36/72.53	c |     84199 |   30665  1317234  4010071 | 2147483647    84199     85 |  0.000 % |
72.55/72.71	c |     84480 |   30665  1317234  4010071 | 2147483647    84480     85 |  0.000 % |
72.75/72.94	c |     84789 |   30665  1317234  4010071 | 2147483647    84789     85 |  0.000 % |
72.95/73.18	c |     85130 |   30665  1317234  4010071 | 2147483647    85130     85 |  0.000 % |
73.15/73.39	c |     85502 |   30665  1317234  4010071 | 2147483647    85502     84 |  0.000 % |
73.55/73.73	c |     85911 |   30665  1317234  4010071 | 2147483647    85911     85 |  0.000 % |
73.95/74.19	c |     86363 |   30665  1317234  4010071 | 2147483647    86363     84 |  0.000 % |
74.45/74.62	c |     86857 |   30665  1317234  4010071 | 2147483647    86857     84 |  0.000 % |
74.74/74.99	c |     87400 |   30665  1317234  4010071 | 2147483647    87400     84 |  0.000 % |
75.24/75.43	c |     87999 |   30665  1317234  4010071 | 2147483647    87999     84 |  0.000 % |
75.74/75.97	c |     88654 |   30665  1317234  4010071 | 2147483647    88654     83 |  0.000 % |
76.24/76.45	c |     89374 |   30665  1317234  4010071 | 2147483647    89374     83 |  0.000 % |
76.94/77.16	c |     90169 |   30665  1317234  4010071 | 2147483647    90169     83 |  0.000 % |
77.65/77.84	c |     91040 |   30665  1317234  4010071 | 2147483647    91040     82 |  0.000 % |
78.65/78.84	c |     91998 |   30665  1317234  4010071 | 2147483647    91998     82 |  0.000 % |
80.15/80.39	c |     93052 |   30665  1317234  4010071 | 2147483647    93052     82 |  0.000 % |
80.54/80.74	c |     93152 |   30665  1317234  4010071 | 2147483647    93152     82 |  0.000 % |
80.74/80.92	c |     93265 |   30665  1317234  4010071 | 2147483647    93265     82 |  0.000 % |
80.84/81.07	c |     93387 |   30665  1317234  4010071 | 2147483647    93387     82 |  0.000 % |
81.04/81.20	c |     93520 |   30665  1317234  4010071 | 2147483647    93520     82 |  0.000 % |
81.14/81.33	c |     93666 |   30665  1317234  4010071 | 2147483647    93666     82 |  0.000 % |
81.24/81.47	c |     93827 |   30665  1317234  4010071 | 2147483647    93827     82 |  0.000 % |
81.44/81.62	c |     94003 |   30665  1317234  4010071 | 2147483647    94003     82 |  0.000 % |
81.64/81.86	c |     94196 |   30665  1317234  4010071 | 2147483647    94196     82 |  0.000 % |
81.84/82.06	c |     94409 |   30665  1317234  4010071 | 2147483647    94409     82 |  0.000 % |
82.04/82.29	c |     94642 |   30665  1317234  4010071 | 2147483647    94642     82 |  0.000 % |
82.33/82.52	c |     94898 |   30665  1317234  4010071 | 2147483647    94898     82 |  0.000 % |
82.53/82.78	c |     95179 |   30665  1317234  4010071 | 2147483647    95179     82 |  0.000 % |
82.83/83.00	c |     95488 |   30665  1317234  4010071 | 2147483647    95488     81 |  0.000 % |
83.13/83.35	c |     95827 |   30665  1317234  4010071 | 2147483647    95827     81 |  0.000 % |
83.44/83.67	c |     96201 |   30665  1317234  4010071 | 2147483647    96201     81 |  0.000 % |
83.74/83.99	c |     96610 |   30665  1317234  4010071 | 2147483647    96610     81 |  0.000 % |
84.13/84.39	c |     97060 |   30665  1317234  4010071 | 2147483647    97060     81 |  0.000 % |
84.53/84.79	c |     97554 |   30665  1317234  4010071 | 2147483647    97554     81 |  0.000 % |
85.03/85.27	c |     98096 |   30665  1317234  4010071 | 2147483647    98096     81 |  0.000 % |
85.53/85.78	c |     98692 |   30665  1317234  4010071 | 2147483647    98692     80 |  0.000 % |
86.23/86.43	c |     99347 |   30665  1317234  4010071 | 2147483647    99347     80 |  0.000 % |
86.63/86.85	c |    100069 |   30665  1317234  4010071 | 2147483647   100069     80 |  0.000 % |
87.52/87.79	c |    100861 |   30665  1317234  4010071 | 2147483647   100861     79 |  0.000 % |
88.32/88.59	c |    101733 |   30665  1317234  4010071 | 2147483647   101733     79 |  0.000 % |
89.14/89.32	c |    102691 |   30665  1317234  4010071 | 2147483647   102691     79 |  0.000 % |
89.92/90.11	c |    103745 |   30665  1317234  4010071 | 2147483647   103745     78 |  0.000 % |
91.13/91.33	c |    104904 |   30665  1317234  4010071 | 2147483647   104904     78 |  0.000 % |
91.23/91.43	c |    105005 |   30665  1317234  4010071 | 2147483647   105005     78 |  0.000 % |
91.32/91.52	c |    105115 |   30665  1317234  4010071 | 2147483647   105115     78 |  0.000 % |
91.42/91.61	c |    105236 |   30665  1317234  4010071 | 2147483647   105236     78 |  0.000 % |
91.52/91.72	c |    105369 |   30665  1317234  4010071 | 2147483647   105369     78 |  0.000 % |
91.62/91.84	c |    105515 |   30665  1317234  4010071 | 2147483647   105515     78 |  0.000 % |
91.72/91.98	c |    105676 |   30665  1317234  4010071 | 2147483647   105676     78 |  0.000 % |
92.12/92.32	c |    105852 |   30665  1317234  4010071 | 2147483647   105852     78 |  0.000 % |
92.23/92.48	c |    106046 |   30665  1317234  4010071 | 2147483647   106046     78 |  0.000 % |
92.42/92.67	c |    106258 |   30665  1317234  4010071 | 2147483647   106258     78 |  0.000 % |
92.72/92.92	c |    106493 |   30665  1317234  4010071 | 2147483647   106493     77 |  0.000 % |
92.92/93.15	c |    106749 |   30665  1317234  4010071 | 2147483647   106749     77 |  0.000 % |
93.22/93.44	c |    107031 |   30665  1317234  4010071 | 2147483647   107031     77 |  0.000 % |
93.53/93.73	c |    107341 |   30665  1317234  4010071 | 2147483647   107341     77 |  0.000 % |
93.83/94.04	c |    107680 |   30665  1317234  4010071 | 2147483647   107680     77 |  0.000 % |
94.23/94.46	c |    108052 |   30665  1317234  4010071 | 2147483647   108052     77 |  0.000 % |
94.53/94.73	c |    108464 |   30665  1317234  4010071 | 2147483647   108464     77 |  0.000 % |
94.73/94.97	c |    108916 |   30665  1317234  4010071 | 2147483647   108916     77 |  0.000 % |
95.02/95.21	c |    109409 |   30665  1317234  4010071 | 2147483647   109409     77 |  0.000 % |
95.32/95.51	c |    109952 |   30665  1317234  4010071 | 2147483647   109952     77 |  0.000 % |
95.53/95.72	c |    110549 |   30665  1317234  4010071 | 2147483647   110549     77 |  0.000 % |
96.12/96.37	c |    111205 |   30665  1317234  4010071 | 2147483647   111205     77 |  0.000 % |
96.61/96.86	c |    111927 |   30665  1317234  4010071 | 2147483647   111927     77 |  0.000 % |
97.11/97.35	c |    112719 |   30665  1317234  4010071 | 2147483647   112719     77 |  0.000 % |
97.71/97.91	c |    113594 |   30665  1317234  4010071 | 2147483647   113594     78 |  0.000 % |
98.30/98.51	c |    114552 |   30665  1317234  4010071 | 2147483647   114552     78 |  0.000 % |
98.90/99.12	c |    115606 |   30665  1317234  4010071 | 2147483647   115606     78 |  0.000 % |
99.50/99.78	c |    116764 |   30665  1317234  4010071 | 2147483647   116764     79 |  0.000 % |
100.61/100.80	c |    118038 |   30665  1317234  4010071 | 2147483647   118038     79 |  0.000 % |
100.61/100.89	c |    118139 |   30665  1317234  4010071 | 2147483647   118139     79 |  0.000 % |
100.71/100.96	c |    118250 |   30665  1317234  4010071 | 2147483647   118250     79 |  0.000 % |
100.81/101.08	c |    118372 |   30665  1317234  4010071 | 2147483647   118372     79 |  0.000 % |
100.91/101.20	c |    118506 |   30665  1317234  4010071 | 2147483647   118506     79 |  0.000 % |
101.11/101.31	c |    118654 |   30665  1317234  4010071 | 2147483647   118654     79 |  0.000 % |
101.20/101.48	c |    118814 |   30665  1317234  4010071 | 2147483647   118814     79 |  0.000 % |
101.40/101.65	c |    118991 |   30665  1317234  4010071 | 2147483647   118991     79 |  0.000 % |
101.50/101.79	c |    119184 |   30665  1317234  4010071 | 2147483647   119184     79 |  0.000 % |
101.70/101.93	c |    119396 |   30665  1317234  4010071 | 2147483647   119396     79 |  0.000 % |
101.90/102.13	c |    119629 |   30665  1317234  4010071 | 2147483647   119629     79 |  0.000 % |
102.00/102.30	c |    119887 |   30665  1317234  4010071 | 2147483647   119887     79 |  0.000 % |
102.30/102.59	c |    120169 |   30665  1317234  4010071 | 2147483647   120169     79 |  0.000 % |
102.60/102.82	c |    120478 |   30665  1317234  4010071 | 2147483647   120478     79 |  0.000 % |
102.90/103.15	c |    120817 |   30665  1317234  4010071 | 2147483647   120817     79 |  0.000 % |
103.10/103.35	c |    121189 |   30665  1317234  4010071 | 2147483647   121189     79 |  0.000 % |
103.40/103.61	c |    121598 |   30665  1317234  4010071 | 2147483647   121598     79 |  0.000 % |
103.70/103.96	c |    122048 |   30665  1317234  4010071 | 2147483647   122048     80 |  0.000 % |
104.10/104.31	c |    122541 |   30665  1317234  4010071 | 2147483647   122541     80 |  0.000 % |
104.30/104.58	c |    123083 |   30665  1317234  4010071 | 2147483647   123083     80 |  0.000 % |
104.80/105.09	c |    123682 |   30665  1317234  4010071 | 2147483647   123682     80 |  0.000 % |
105.20/105.44	c |    124340 |   30665  1317234  4010071 | 2147483647   124340     80 |  0.000 % |
105.69/105.93	c |    125062 |   30665  1317234  4010071 | 2147483647   125062     80 |  0.000 % |
106.19/106.44	c |    125855 |   30665  1317234  4010071 | 2147483647   125855     80 |  0.000 % |
106.69/106.93	c |    126727 |   30665  1317234  4010071 | 2147483647   126727     80 |  0.000 % |
107.29/107.50	c |    127690 |   30665  1317234  4010071 | 2147483647   127690     80 |  0.000 % |
107.69/107.93	c |    128746 |   30665  1317234  4010071 | 2147483647   128746     80 |  0.000 % |
108.29/108.59	c |    129906 |   30665  1317234  4010071 | 2147483647   129906     81 |  0.000 % |
109.30/109.54	c |    131179 |   30665  1317234  4010071 | 2147483647   131179     81 |  0.000 % |
110.10/110.34	c |    132579 |   30665  1317234  4010071 | 2147483647   132579     81 |  0.000 % |
110.20/110.45	c |    132682 |   30665  1317234  4010071 | 2147483647   132682     81 |  0.000 % |
110.30/110.53	c |    132794 |   30665  1317234  4010071 | 2147483647   132794     81 |  0.000 % |
110.40/110.63	c |    132916 |   30665  1317234  4010071 | 2147483647   132916     81 |  0.000 % |
110.50/110.75	c |    133049 |   30665  1317234  4010071 | 2147483647   133049     81 |  0.000 % |
110.60/110.90	c |    133195 |   30665  1317234  4010071 | 2147483647   133195     81 |  0.000 % |
110.79/111.03	c |    133357 |   30665  1317234  4010071 | 2147483647   133357     81 |  0.000 % |
110.90/111.19	c |    133533 |   30665  1317234  4010071 | 2147483647   133533     81 |  0.000 % |
111.09/111.35	c |    133726 |   30665  1317234  4010071 | 2147483647   133726     81 |  0.000 % |
111.19/111.48	c |    133938 |   30665  1317234  4010071 | 2147483647   133938     81 |  0.000 % |
111.39/111.62	c |    134172 |   30665  1317234  4010071 | 2147483647   134172     81 |  0.000 % |
111.49/111.76	c |    134428 |   30665  1317234  4010071 | 2147483647   134428     81 |  0.000 % |
111.69/111.96	c |    134709 |   30665  1317234  4010071 | 2147483647   134709     81 |  0.000 % |
111.89/112.18	c |    135018 |   30665  1317234  4010071 | 2147483647   135018     81 |  0.000 % |
112.19/112.42	c |    135359 |   30665  1317234  4010071 | 2147483647   135359     82 |  0.000 % |
112.39/112.64	c |    135734 |   30665  1317234  4010071 | 2147483647   135734     82 |  0.000 % |
112.69/112.94	c |    136143 |   30665  1317234  4010071 | 2147483647   136143     82 |  0.000 % |
112.89/113.18	c |    136592 |   30665  1317234  4010071 | 2147483647   136592     82 |  0.000 % |
113.20/113.47	c |    137085 |   30665  1317234  4010071 | 2147483647   137085     82 |  0.000 % |
113.49/113.77	c |    137627 |   30665  1317234  4010071 | 2147483647   137627     82 |  0.000 % |
113.89/114.12	c |    138223 |   30665  1317234  4010071 | 2147483647   138223     82 |  0.000 % |
114.29/114.51	c |    138878 |   30665  1317234  4010071 | 2147483647   138878     82 |  0.000 % |
114.69/114.91	c |    139598 |   30665  1317234  4010071 | 2147483647   139598     81 |  0.000 % |
115.09/115.36	c |    140390 |   30665  1317234  4010071 | 2147483647   140390     82 |  0.000 % |
115.69/115.93	c |    141262 |   30665  1317234  4010071 | 2147483647   141262     82 |  0.000 % |
116.29/116.51	c |    142220 |   30665  1317234  4010071 | 2147483647   142220     82 |  0.000 % |
116.89/117.12	c |    143275 |   30665  1317234  4010071 | 2147483647   143275     81 |  0.000 % |
117.39/117.68	c |    144434 |   30665  1317234  4010071 | 2147483647   144434     81 |  0.000 % |
118.09/118.36	c |    145708 |   30665  1317234  4010071 | 2147483647   145708     81 |  0.000 % |
118.99/119.25	c |    147110 |   30665  1317234  4010071 | 2147483647   147110     81 |  0.000 % |
119.99/120.29	c |    148653 |   30665  1317234  4010071 | 2147483647   148653     81 |  0.000 % |
120.09/120.38	c |    148753 |   30665  1317234  4010071 | 2147483647   148753     81 |  0.000 % |
120.19/120.48	c |    148863 |   30665  1317234  4010071 | 2147483647   148863     81 |  0.000 % |
120.39/120.61	c |    148986 |   30665  1317234  4010071 | 2147483647   148986     81 |  0.000 % |
120.49/120.73	c |    149119 |   30665  1317234  4010071 | 2147483647   149119     81 |  0.000 % |
120.59/120.83	c |    149265 |   30665  1317234  4010071 | 2147483647   149265     81 |  0.000 % |
120.69/120.96	c |    149425 |   30665  1317234  4010071 | 2147483647   149425     81 |  0.000 % |
120.79/121.08	c |    149601 |   30665  1317234  4010071 | 2147483647   149601     81 |  0.000 % |
120.99/121.22	c |    149794 |   30665  1317234  4010071 | 2147483647   149794     81 |  0.000 % |
121.09/121.36	c |    150006 |   30665  1317234  4010071 | 2147483647   150006     81 |  0.000 % |
121.29/121.53	c |    150241 |   30665  1317234  4010071 | 2147483647   150241     81 |  0.000 % |
121.48/121.70	c |    150497 |   30665  1317234  4010071 | 2147483647   150497     81 |  0.000 % |
121.68/121.93	c |    150780 |   30665  1317234  4010071 | 2147483647   150780     81 |  0.000 % |
121.99/122.22	c |    151089 |   30665  1317234  4010071 | 2147483647   151089     80 |  0.000 % |
122.18/122.46	c |    151429 |   30665  1317234  4010071 | 2147483647   151429     80 |  0.000 % |
122.48/122.74	c |    151803 |   30665  1317234  4010071 | 2147483647   151803     80 |  0.000 % |
122.78/123.05	c |    152213 |   30665  1317234  4010071 | 2147483647   152213     80 |  0.000 % |
123.18/123.43	c |    152666 |   30665  1317234  4010071 | 2147483647   152666     80 |  0.000 % |
123.48/123.79	c |    153161 |   30665  1317234  4010071 | 2147483647   153161     80 |  0.000 % |
123.98/124.29	c |    153703 |   30665  1317234  4010071 | 2147483647   153703     80 |  0.000 % |
124.48/124.76	c |    154299 |   30665  1317234  4010071 | 2147483647   154299     80 |  0.000 % |
124.88/125.19	c |    154954 |   30665  1317234  4010071 | 2147483647   154954     80 |  0.000 % |
125.38/125.67	c |    155674 |   30665  1317234  4010071 | 2147483647   155674     79 |  0.000 % |
125.89/126.15	c |    156466 |   30665  1317234  4010071 | 2147483647   156466     79 |  0.000 % |
126.39/126.63	c |    157338 |   30665  1317234  4010071 | 2147483647   157338     79 |  0.000 % |
126.88/127.19	c |    158296 |   30665  1317234  4010071 | 2147483647   158296     79 |  0.000 % |
127.78/128.01	c |    159349 |   30665  1317234  4010071 | 2147483647   159349     79 |  0.000 % |
128.59/128.83	c |    160509 |   30665  1317234  4010071 | 2147483647   160509     79 |  0.000 % |
129.48/129.71	c |    161783 |   30665  1317234  4010071 | 2147483647   161783     80 |  0.000 % |
130.18/130.49	c |    163183 |   30665  1317234  4010071 | 2147483647   163183     80 |  0.000 % |
131.08/131.36	c |    164724 |   30665  1317234  4010071 | 2147483647   164724     80 |  0.000 % |
132.19/132.48	c |    166418 |   30665  1317234  4010071 | 2147483647   166418     80 |  0.000 % |
132.29/132.59	c |    166518 |   30665  1317234  4010071 | 2147483647   166518     80 |  0.000 % |
132.49/132.72	c |    166628 |   30665  1317234  4010071 | 2147483647   166628     80 |  0.000 % |
132.59/132.80	c |    166749 |   30665  1317234  4010071 | 2147483647   166749     80 |  0.000 % |
132.59/132.89	c |    166884 |   30665  1317234  4010071 | 2147483647   166884     80 |  0.000 % |
132.79/133.01	c |    167030 |   30665  1317234  4010071 | 2147483647   167030     80 |  0.000 % |
132.89/133.16	c |    167191 |   30665  1317234  4010071 | 2147483647   167191     80 |  0.000 % |
133.08/133.30	c |    167367 |   30665  1317234  4010071 | 2147483647   167367     80 |  0.000 % |
133.08/133.39	c |    167560 |   30665  1317234  4010071 | 2147483647   167560     80 |  0.000 % |
133.28/133.56	c |    167773 |   30665  1317234  4010071 | 2147483647   167773     80 |  0.000 % |
133.48/133.71	c |    168007 |   30665  1317234  4010071 | 2147483647   168007     80 |  0.000 % |
133.78/134.00	c |    168264 |   30665  1317234  4010071 | 2147483647   168264     80 |  0.000 % |
133.88/134.14	c |    168547 |   30665  1317234  4010071 | 2147483647   168547     80 |  0.000 % |
134.18/134.44	c |    168856 |   30665  1317234  4010071 | 2147483647   168856     80 |  0.000 % |
134.28/134.59	c |    169195 |   30665  1317234  4010071 | 2147483647   169195     80 |  0.000 % |
134.58/134.87	c |    169567 |   30665  1317234  4010071 | 2147483647   169567     80 |  0.000 % |
134.98/135.29	c |    169980 |   30665  1317234  4010071 | 2147483647   169980     80 |  0.000 % |
135.28/135.58	c |    170431 |   30665  1317234  4010071 | 2147483647   170431     80 |  0.000 % |
135.68/135.95	c |    170927 |   30665  1317234  4010071 | 2147483647   170927     80 |  0.000 % |
135.98/136.25	c |    171472 |   30665  1317234  4010071 | 2147483647   171472     80 |  0.000 % |
136.38/136.68	c |    172068 |   30665  1317234  4010071 | 2147483647   172068     80 |  0.000 % |
136.88/137.14	c |    172726 |   30665  1317234  4010071 | 2147483647   172726     80 |  0.000 % |
137.28/137.56	c |    173448 |   30665  1317234  4010071 | 2147483647   173448     80 |  0.000 % |
137.78/138.04	c |    174242 |   30665  1317234  4010071 | 2147483647   174242     80 |  0.000 % |
138.48/138.77	c |    175115 |   30665  1317234  4010071 | 2147483647   175115     80 |  0.000 % |
139.28/139.54	c |    176074 |   30665  1317234  4010071 | 2147483647   176074     80 |  0.000 % |
139.77/140.07	c |    177128 |   30665  1317234  4010071 | 2147483647   177128     81 |  0.000 % |
140.37/140.68	c |    178287 |   30665  1317234  4010071 | 2147483647   178287     81 |  0.000 % |
141.18/141.44	c |    179561 |   30665  1317234  4010071 | 2147483647   179561     81 |  0.000 % |
141.98/142.22	c |    180961 |   30665  1317234  4010071 | 2147483647   180961     82 |  0.000 % |
142.98/143.22	c |    182501 |   30665  1317234  4010071 | 2147483647   182501     82 |  0.000 % |
143.88/144.16	c |    184195 |   30665  1317234  4010071 | 2147483647   184195     83 |  0.000 % |
144.98/145.30	c |    186059 |   30665  1317234  4010071 | 2147483647   186059     83 |  0.000 % |
145.17/145.42	c |    186160 |   30665  1317234  4010071 | 2147483647   186160     83 |  0.000 % |
145.27/145.53	c |    186270 |   30665  1317234  4010071 | 2147483647   186270     83 |  0.000 % |
145.37/145.64	c |    186391 |   30665  1317234  4010071 | 2147483647   186391     83 |  0.000 % |
145.47/145.75	c |    186526 |   30665  1317234  4010071 | 2147483647   186526     83 |  0.000 % |
145.57/145.87	c |    186672 |   30665  1317234  4010071 | 2147483647   186672     83 |  0.000 % |
145.67/145.97	c |    186834 |   30665  1317234  4010071 | 2147483647   186834     83 |  0.000 % |
145.87/146.11	c |    187011 |   30665  1317234  4010071 | 2147483647   187011     83 |  0.000 % |
145.97/146.23	c |    187206 |   30665  1317234  4010071 | 2147483647   187206     83 |  0.000 % |
146.07/146.38	c |    187419 |   30665  1317234  4010071 | 2147483647   187419     83 |  0.000 % |
146.27/146.58	c |    187654 |   30665  1317234  4010071 | 2147483647   187654     83 |  0.000 % |
146.47/146.78	c |    187913 |   30665  1317234  4010071 | 2147483647   187913     83 |  0.000 % |
146.67/146.95	c |    188197 |   30665  1317234  4010071 | 2147483647   188197     83 |  0.000 % |
146.88/147.15	c |    188512 |   30665  1317234  4010071 | 2147483647   188512     83 |  0.000 % |
147.18/147.40	c |    188854 |   30665  1317234  4010071 | 2147483647   188854     83 |  0.000 % |
147.37/147.67	c |    189230 |   30665  1317234  4010071 | 2147483647   189230     83 |  0.000 % |
147.67/147.90	c |    189639 |   30665  1317234  4010071 | 2147483647   189639     82 |  0.000 % |
148.07/148.30	c |    190088 |   30665  1317234  4010071 | 2147483647   190088     82 |  0.000 % |
148.28/148.57	c |    190582 |   30665  1317234  4010071 | 2147483647   190582     82 |  0.000 % |
148.67/148.98	c |    191125 |   30665  1317234  4010071 | 2147483647   191125     82 |  0.000 % |
149.17/149.41	c |    191721 |   30665  1317234  4010071 | 2147483647   191721     82 |  0.000 % |
149.77/150.04	c |    192376 |   30665  1317234  4010071 | 2147483647   192376     82 |  0.000 % |
150.27/150.56	c |    193096 |   30665  1317234  4010071 | 2147483647   193096     82 |  0.000 % |
150.77/151.05	c |    193889 |   30665  1317234  4010071 | 2147483647   193889     82 |  0.000 % |
151.37/151.63	c |    194761 |   30665  1317234  4010071 | 2147483647   194761     82 |  0.000 % |
152.17/152.44	c |    195720 |   30665  1317234  4010071 | 2147483647   195720     82 |  0.000 % |
152.86/153.14	c |    196775 |   30665  1317234  4010071 | 2147483647   196775     82 |  0.000 % |
153.88/154.11	c |    197933 |   30665  1317234  4010071 | 2147483647   197933     82 |  0.000 % |
154.87/155.12	c |    199206 |   30665  1317234  4010071 | 2147483647   199206     82 |  0.000 % |
155.87/156.19	c |    200607 |   30665  1317234  4010071 | 2147483647   200607     82 |  0.000 % |
157.27/157.53	c |    202149 |   30665  1317234  4010071 | 2147483647   202149     82 |  0.000 % |
158.66/158.91	c |    203843 |   30665  1317234  4010071 | 2147483647   203843     81 |  0.000 % |
160.06/160.36	c |    205707 |   30665  1317234  4010071 | 2147483647   205707     81 |  0.000 % |
161.97/162.20	c |    207756 |   30665  1317234  4010071 | 2147483647   207756     81 |  0.000 % |
162.07/162.33	c |    207857 |   30665  1317234  4010071 | 2147483647   207857     81 |  0.000 % |
162.17/162.43	c |    207968 |   30665  1317234  4010071 | 2147483647   207968     81 |  0.000 % |
162.27/162.55	c |    208089 |   30665  1317234  4010071 | 2147483647   208089     81 |  0.000 % |
162.47/162.75	c |    208222 |   30665  1317234  4010071 | 2147483647   208222     81 |  0.000 % |
162.57/162.87	c |    208373 |   30665  1317234  4010071 | 2147483647   208373     81 |  0.000 % |
162.77/163.00	c |    208533 |   30665  1317234  4010071 | 2147483647   208533     81 |  0.000 % |
162.87/163.18	c |    208711 |   30665  1317234  4010071 | 2147483647   208711     81 |  0.000 % |
163.07/163.35	c |    208904 |   30665  1317234  4010071 | 2147483647   208904     81 |  0.000 % |
163.27/163.55	c |    209118 |   30665  1317234  4010071 | 2147483647   209118     81 |  0.000 % |
163.47/163.76	c |    209351 |   30665  1317234  4010071 | 2147483647   209351     81 |  0.000 % |
163.67/163.98	c |    209607 |   30665  1317234  4010071 | 2147483647   209607     81 |  0.000 % |
163.96/164.28	c |    209888 |   30665  1317234  4010071 | 2147483647   209888     81 |  0.000 % |
164.26/164.56	c |    210197 |   30665  1317234  4010071 | 2147483647   210197     81 |  0.000 % |
164.56/164.83	c |    210536 |   30665  1317234  4010071 | 2147483647   210536     80 |  0.000 % |
164.86/165.19	c |    210908 |   30665  1317234  4010071 | 2147483647   210908     80 |  0.000 % |
165.26/165.50	c |    211317 |   30665  1317234  4010071 | 2147483647   211317     80 |  0.000 % |
165.56/165.85	c |    211770 |   30665  1317234  4010071 | 2147483647   211770     80 |  0.000 % |
165.86/166.18	c |    212265 |   30665  1317234  4010071 | 2147483647   212265     80 |  0.000 % |
166.26/166.57	c |    212807 |   30665  1317234  4010071 | 2147483647   212807     80 |  0.000 % |
166.76/167.08	c |    213403 |   30665  1317234  4010071 | 2147483647   213403     80 |  0.000 % |
167.26/167.58	c |    214058 |   30665  1317234  4010071 | 2147483647   214058     80 |  0.000 % |
167.96/168.21	c |    214778 |   30665  1317234  4010071 | 2147483647   214778     80 |  0.000 % |
168.66/168.95	c |    215570 |   30665  1317234  4010071 | 2147483647   215570     80 |  0.000 % |
169.56/169.87	c |    216442 |   30665  1317234  4010071 | 2147483647   216442     80 |  0.000 % |
170.46/170.75	c |    217400 |   30665  1317234  4010071 | 2147483647   217400     79 |  0.000 % |
171.36/171.63	c |    218453 |   30665  1317234  4010071 | 2147483647   218453     79 |  0.000 % |
172.16/172.42	c |    219612 |   30665  1317234  4010071 | 2147483647   219612     79 |  0.000 % |
173.15/173.42	c |    220885 |   30665  1317234  4010071 | 2147483647   220885     79 |  0.000 % |
174.15/174.44	c |    222288 |   30665  1317234  4010071 | 2147483647   222288     79 |  0.000 % |
175.45/175.75	c |    223828 |   30665  1317234  4010071 | 2147483647   223828     78 |  0.000 % |
176.96/177.22	c |    225522 |   30665  1317234  4010071 | 2147483647   225522     78 |  0.000 % |
178.35/178.66	c |    227387 |   30665  1317234  4010071 | 2147483647   227387     78 |  0.000 % |
179.95/180.24	c |    229439 |   30665  1317234  4010071 | 2147483647   229439     77 |  0.000 % |
181.86/182.17	c |    231693 |   30665  1317234  4010071 | 2147483647   231693     77 |  0.000 % |
181.96/182.26	c |    231795 |   30665  1317234  4010071 | 2147483647   231795     77 |  0.000 % |
182.05/182.36	c |    231905 |   30665  1317234  4010071 | 2147483647   231905     77 |  0.000 % |
182.15/182.46	c |    232028 |   30665  1317234  4010071 | 2147483647   232028     77 |  0.000 % |
182.25/182.57	c |    232161 |   30665  1317234  4010071 | 2147483647   232161     77 |  0.000 % |
182.46/182.73	c |    232308 |   30665  1317234  4010071 | 2147483647   232308     77 |  0.000 % |
182.55/182.88	c |    232468 |   30665  1317234  4010071 | 2147483647   232468     77 |  0.000 % |
182.75/183.05	c |    232644 |   30665  1317234  4010071 | 2147483647   232644     77 |  0.000 % |
182.95/183.23	c |    232837 |   30665  1317234  4010071 | 2147483647   232837     77 |  0.000 % |
183.15/183.40	c |    233049 |   30665  1317234  4010071 | 2147483647   233049     77 |  0.000 % |
183.35/183.64	c |    233282 |   30665  1317234  4010071 | 2147483647   233282     77 |  0.000 % |
183.56/183.88	c |    233538 |   30665  1317234  4010071 | 2147483647   233538     77 |  0.000 % |
183.85/184.13	c |    233820 |   30665  1317234  4010071 | 2147483647   233820     77 |  0.000 % |
184.05/184.38	c |    234130 |   30665  1317234  4010071 | 2147483647   234130     76 |  0.000 % |
184.35/184.65	c |    234470 |   30665  1317234  4010071 | 2147483647   234470     76 |  0.000 % |
184.66/184.94	c |    234844 |   30665  1317234  4010071 | 2147483647   234844     76 |  0.000 % |
184.95/185.20	c |    235253 |   30665  1317234  4010071 | 2147483647   235253     76 |  0.000 % |
185.25/185.60	c |    235702 |   30665  1317234  4010071 | 2147483647   235702     76 |  0.000 % |
185.55/185.86	c |    236195 |   30665  1317234  4010071 | 2147483647   236195     76 |  0.000 % |
186.05/186.30	c |    236738 |   30665  1317234  4010071 | 2147483647   236738     76 |  0.000 % |
186.55/186.82	c |    237335 |   30665  1317234  4010071 | 2147483647   237335     76 |  0.000 % |
187.05/187.33	c |    237991 |   30665  1317234  4010071 | 2147483647   237991     76 |  0.000 % |
187.75/188.00	c |    238712 |   30665  1317234  4010071 | 2147483647   238712     76 |  0.000 % |
188.45/188.70	c |    239505 |   30665  1317234  4010071 | 2147483647   239505     75 |  0.000 % |
189.05/189.32	c |    240377 |   30665  1317234  4010071 | 2147483647   240377     75 |  0.000 % |
189.65/189.98	c |    241338 |   30665  1317234  4010071 | 2147483647   241338     75 |  0.000 % |
190.45/190.78	c |    242391 |   30665  1317234  4010071 | 2147483647   242391     75 |  0.000 % |
191.45/191.79	c |    243550 |   30665  1317234  4010071 | 2147483647   243550     75 |  0.000 % |
192.54/192.81	c |    244823 |   30665  1317234  4010071 | 2147483647   244823     74 |  0.000 % |
193.65/193.90	c |    246223 |   30665  1317234  4010071 | 2147483647   246223     74 |  0.000 % |
194.94/195.23	c |    247764 |   30665  1317234  4010071 | 2147483647   247764     74 |  0.000 % |
196.24/196.56	c |    249458 |   30665  1317234  4010071 | 2147483647   249458     74 |  0.000 % |
197.64/197.96	c |    251321 |   30665  1317234  4010071 | 2147483647   251321     75 |  0.000 % |
198.94/199.25	c |    253370 |   30665  1317234  4010071 | 2147483647   253370     75 |  0.000 % |
200.35/200.62	c |    255624 |   30665  1317234  4010071 | 2147483647   255624     75 |  0.000 % |
202.15/202.48	c |    258102 |   30665  1317234  4010071 | 2147483647   258102     76 |  0.000 % |
202.25/202.57	c |    258203 |   30665  1317234  4010071 | 2147483647   258203     76 |  0.000 % |
202.34/202.65	c |    258314 |   30665  1317234  4010071 | 2147483647   258314     76 |  0.000 % |
202.44/202.75	c |    258435 |   30665  1317234  4010071 | 2147483647   258435     76 |  0.000 % |
202.54/202.86	c |    258568 |   30665  1317234  4010071 | 2147483647   258568     76 |  0.000 % |
202.74/203.01	c |    258714 |   30665  1317234  4010071 | 2147483647   258714     76 |  0.000 % |
202.84/203.18	c |    258875 |   30665  1317234  4010071 | 2147483647   258875     76 |  0.000 % |
203.04/203.34	c |    259055 |   30665  1317234  4010071 | 2147483647   259055     76 |  0.000 % |
203.24/203.54	c |    259252 |   30665  1317234  4010071 | 2147483647   259252     76 |  0.000 % |
203.34/203.63	c |    259465 |   30665  1317234  4010071 | 2147483647   259465     76 |  0.000 % |
203.54/203.85	c |    259698 |   30665  1317234  4010071 | 2147483647   259698     76 |  0.000 % |
203.74/204.03	c |    259958 |   30665  1317234  4010071 | 2147483647   259958     76 |  0.000 % |
204.14/204.46	c |    260246 |   30665  1317234  4010071 | 2147483647   260246     76 |  0.000 % |
204.34/204.70	c |    260560 |   30665  1317234  4010071 | 2147483647   260560     76 |  0.000 % |
204.64/204.97	c |    260900 |   30665  1317234  4010071 | 2147483647   260900     76 |  0.000 % |
204.94/205.26	c |    261272 |   30665  1317234  4010071 | 2147483647   261272     76 |  0.000 % |
205.34/205.61	c |    261682 |   30665  1317234  4010071 | 2147483647   261682     76 |  0.000 % |
205.64/205.96	c |    262131 |   30665  1317234  4010071 | 2147483647   262131     76 |  0.000 % |
206.04/206.40	c |    262624 |   30665  1317234  4010071 | 2147483647   262624     76 |  0.000 % |
206.64/206.93	c |    263166 |   30665  1317234  4010071 | 2147483647   263166     76 |  0.000 % |
207.14/207.43	c |    263762 |   30665  1317234  4010071 | 2147483647   263762     76 |  0.000 % |
207.64/207.97	c |    264419 |   30665  1317234  4010071 | 2147483647   264419     76 |  0.000 % |
208.33/208.68	c |    265140 |   30665  1317234  4010071 | 2147483647   265140     76 |  0.000 % |
209.02/209.30	c |    265932 |   30665  1317234  4010071 | 2147483647   265932     76 |  0.000 % |
209.72/210.08	c |    266803 |   30665  1317234  4010071 | 2147483647   266803     76 |  0.000 % |
210.53/210.87	c |    267761 |   30665  1317234  4010071 | 2147483647   267761     76 |  0.000 % |
211.63/211.90	c |    268815 |   30665  1317234  4010071 | 2147483647   268815     76 |  0.000 % |
212.53/212.81	c |    269973 |   30665  1317234  4010071 | 2147483647   269973     76 |  0.000 % |
213.52/213.89	c |    271247 |   30665  1317234  4010071 | 2147483647   271247     76 |  0.000 % |
214.73/215.02	c |    272647 |   30665  1317234  4010071 | 2147483647   272647     76 |  0.000 % |
216.03/216.38	c |    274190 |   30665  1317234  4010071 | 2147483647   274190     76 |  0.000 % |
217.53/217.87	c |    275884 |   30665  1317234  4010071 | 2147483647   275884     76 |  0.000 % |
219.13/219.46	c |    277747 |   30665  1317234  4010071 | 2147483647   277747     76 |  0.000 % |
220.93/221.27	c |    279796 |   30665  1317234  4010071 | 2147483647   279796     76 |  0.000 % |
223.13/223.43	c |    282049 |   30665  1317234  4010071 | 2147483647   282049     76 |  0.000 % |
224.92/225.22	c |    284527 |   30665  1317234  4010071 | 2147483647   284527     77 |  0.000 % |
226.92/227.25	c |    287252 |   30665  1317234  4010071 | 2147483647   287252     78 |  0.000 % |
227.02/227.37	c |    287353 |   30665  1317234  4010071 | 2147483647   287353     78 |  0.000 % |
227.22/227.52	c |    287463 |   30665  1317234  4010071 | 2147483647   287463     78 |  0.000 % |
227.32/227.62	c |    287587 |   30665  1317234  4010071 | 2147483647   287587     78 |  0.000 % |
227.52/227.87	c |    287722 |   30665  1317234  4010071 | 2147483647   287722     78 |  0.000 % |
227.72/228.02	c |    287868 |   30665  1317234  4010071 | 2147483647   287868     78 |  0.000 % |
227.92/228.20	c |    288029 |   30665  1317234  4010071 | 2147483647   288029     78 |  0.000 % |
228.02/228.39	c |    288205 |   30665  1317234  4010071 | 2147483647   288205     78 |  0.000 % |
228.22/228.58	c |    288398 |   30665  1317234  4010071 | 2147483647   288398     78 |  0.000 % |
228.63/228.92	c |    288612 |   30665  1317234  4010071 | 2147483647   288612     78 |  0.000 % |
228.83/229.13	c |    288845 |   30665  1317234  4010071 | 2147483647   288845     78 |  0.000 % |
229.02/229.34	c |    289102 |   30665  1317234  4010071 | 2147483647   289102     78 |  0.000 % |
229.32/229.69	c |    289385 |   30665  1317234  4010071 | 2147483647   289385     78 |  0.000 % |
229.73/230.02	c |    289694 |   30665  1317234  4010071 | 2147483647   289694     78 |  0.000 % |
230.02/230.35	c |    290035 |   30665  1317234  4010071 | 2147483647   290035     78 |  0.000 % |
230.42/230.70	c |    290407 |   30665  1317234  4010071 | 2147483647   290407     78 |  0.000 % |
230.72/231.03	c |    290816 |   30665  1317234  4010071 | 2147483647   290816     77 |  0.000 % |
231.22/231.53	c |    291265 |   30665  1317234  4010071 | 2147483647   291265     78 |  0.000 % |
231.62/231.99	c |    291758 |   30665  1317234  4010071 | 2147483647   291758     78 |  0.000 % |
232.12/232.43	c |    292301 |   30665  1317234  4010071 | 2147483647   292301     78 |  0.000 % |
232.62/232.96	c |    292897 |   30665  1317234  4010071 | 2147483647   292897     78 |  0.000 % |
233.22/233.54	c |    293552 |   30665  1317234  4010071 | 2147483647   293552     78 |  0.000 % |
233.92/234.30	c |    294272 |   30665  1317234  4010071 | 2147483647   294272     78 |  0.000 % |
234.62/234.96	c |    295065 |   30665  1317234  4010071 | 2147483647   295065     78 |  0.000 % |
235.32/235.67	c |    295937 |   30665  1317234  4010071 | 2147483647   295937     78 |  0.000 % |
236.42/236.72	c |    296898 |   30665  1317234  4010071 | 2147483647   296898     78 |  0.000 % |
237.52/237.85	c |    297953 |   30665  1317234  4010071 | 2147483647   297953     78 |  0.000 % |
238.92/239.29	c |    299112 |   30665  1317234  4010071 | 2147483647   299112     78 |  0.000 % |
240.12/240.41	c |    300386 |   30665  1317234  4010071 | 2147483647   300386     78 |  0.000 % |
241.52/241.85	c |    301787 |   30665  1317234  4010071 | 2147483647   301787     78 |  0.000 % |
243.31/243.66	c |    303327 |   30665  1317234  4010071 | 2147483647   303327     78 |  0.000 % |
244.92/245.29	c |    305021 |   30665  1317234  4010071 | 2147483647   305021     78 |  0.000 % |
246.51/246.82	c |    306886 |   30665  1317234  4010071 | 2147483647   306886     78 |  0.000 % |
248.32/248.69	c |    308936 |   30665  1317234  4010071 | 2147483647   308936     78 |  0.000 % |
250.82/251.11	c |    311189 |   30665  1317234  4010071 | 2147483647   311189     78 |  0.000 % |
253.81/254.14	c |    313667 |   30665  1317234  4010071 | 2147483647   313667     78 |  0.000 % |
256.60/256.91	c |    316392 |   30665  1317234  4010071 | 2147483647   316392     77 |  0.000 % |
259.20/259.59	c |    319390 |   30665  1317234  4010071 | 2147483647   319390     77 |  0.000 % |
259.30/259.68	c |    319490 |   30665  1317234  4010071 | 2147483647   319490     77 |  0.000 % |
259.50/259.80	c |    319600 |   30665  1317234  4010071 | 2147483647   319600     77 |  0.000 % |
259.60/259.92	c |    319721 |   30665  1317234  4010071 | 2147483647   319721     77 |  0.000 % |
259.70/260.08	c |    319855 |   30665  1317234  4010071 | 2147483647   319855     77 |  0.000 % |
259.90/260.22	c |    320001 |   30665  1317234  4010071 | 2147483647   320001     77 |  0.000 % |
260.10/260.44	c |    320165 |   30665  1317234  4010071 | 2147483647   320165     77 |  0.000 % |
260.30/260.66	c |    320345 |   30665  1317234  4010071 | 2147483647   320345     77 |  0.000 % |
260.50/260.86	c |    320539 |   30665  1317234  4010071 | 2147483647   320539     77 |  0.000 % |
260.90/261.22	c |    320752 |   30665  1317234  4010071 | 2147483647   320752     77 |  0.000 % |
261.20/261.57	c |    320989 |   30665  1317234  4010071 | 2147483647   320989     77 |  0.000 % |
261.60/261.90	c |    321245 |   30665  1317234  4010071 | 2147483647   321245     77 |  0.000 % |
262.00/262.30	c |    321527 |   30665  1317234  4010071 | 2147483647   321527     77 |  0.000 % |
262.40/262.74	c |    321836 |   30665  1317234  4010071 | 2147483647   321836     77 |  0.000 % |
262.90/263.22	c |    322178 |   30665  1317234  4010071 | 2147483647   322178     77 |  0.000 % |
263.50/263.86	c |    322551 |   30665  1317234  4010071 | 2147483647   322551     77 |  0.000 % |
263.90/264.25	c |    322960 |   30665  1317234  4010071 | 2147483647   322960     77 |  0.000 % |
264.50/264.82	c |    323410 |   30665  1317234  4010071 | 2147483647   323410     77 |  0.000 % |
265.20/265.55	c |    323905 |   30665  1317234  4010071 | 2147483647   323905     77 |  0.000 % |
266.00/266.39	c |    324447 |   30665  1317234  4010071 | 2147483647   324447     77 |  0.000 % |
266.70/267.06	c |    325043 |   30665  1317234  4010071 | 2147483647   325043     77 |  0.000 % |
267.40/267.72	c |    325699 |   30665  1317234  4010071 | 2147483647   325699     77 |  0.000 % |
268.10/268.45	c |    326419 |   30665  1317234  4010071 | 2147483647   326419     77 |  0.000 % |
269.20/269.59	c |    327214 |   30665  1317234  4010071 | 2147483647   327214     77 |  0.000 % |
270.60/270.90	c |    328087 |   30665  1317234  4010071 | 2147483647   328087     77 |  0.000 % |
271.59/271.95	c |    329045 |   30665  1317234  4010071 | 2147483647   329045     77 |  0.000 % |
272.79/273.15	c |    330098 |   30665  1317234  4010071 | 2147483647   330098     77 |  0.000 % |
273.99/274.36	c |    331257 |   30665  1317234  4010071 | 2147483647   331257     77 |  0.000 % |
275.49/275.84	c |    332531 |   30665  1317234  4010071 | 2147483647   332531     77 |  0.000 % |
277.29/277.63	c |    333931 |   30665  1317234  4010071 | 2147483647   333931     77 |  0.000 % |
279.19/279.51	c |    335473 |   30665  1317234  4010071 | 2147483647   335473     77 |  0.000 % |
280.99/281.37	c |    337167 |   30665  1317234  4010071 | 2147483647   337167     77 |  0.000 % |
283.18/283.55	c |    339032 |   30665  1317234  4010071 | 2147483647   339032     77 |  0.000 % |
285.28/285.61	c |    341081 |   30665  1317234  4010071 | 2147483647   341081     77 |  0.000 % |
287.49/287.88	c |    343336 |   30665  1317234  4010071 | 2147483647   343336     77 |  0.000 % |
290.69/291.04	c |    345814 |   30665  1317234  4010071 | 2147483647   345814     76 |  0.000 % |
293.18/293.54	c |    348540 |   30665  1317234  4010071 | 2147483647   348540     76 |  0.000 % |
296.99/297.35	c |    351538 |   30665  1317234  4010071 | 2147483647   351538     76 |  0.000 % |
301.28/301.61	c |    354834 |   30665  1317234  4010071 | 2147483647   354834     76 |  0.000 % |
301.38/301.78	c |    354936 |   30665  1317234  4010071 | 2147483647   354936     76 |  0.000 % |
301.58/301.93	c |    355047 |   30665  1317234  4010071 | 2147483647   355047     76 |  0.000 % |
301.88/302.20	c |    355170 |   30665  1317234  4010071 | 2147483647   355170     76 |  0.000 % |
302.08/302.50	c |    355306 |   30665  1317234  4010071 | 2147483647   355306     76 |  0.000 % |
302.38/302.74	c |    355453 |   30665  1317234  4010071 | 2147483647   355453     76 |  0.000 % |
302.58/302.97	c |    355615 |   30665  1317234  4010071 | 2147483647   355615     76 |  0.000 % |
302.88/303.30	c |    355792 |   30665  1317234  4010071 | 2147483647   355792     76 |  0.000 % |
303.29/303.63	c |    355986 |   30665  1317234  4010071 | 2147483647   355986     76 |  0.000 % |
303.68/304.01	c |    356199 |   30665  1317234  4010071 | 2147483647   356199     76 |  0.000 % |
304.08/304.41	c |    356432 |   30665  1317234  4010071 | 2147483647   356432     76 |  0.000 % |
304.28/304.69	c |    356688 |   30665  1317234  4010071 | 2147483647   356688     76 |  0.000 % |
304.68/305.00	c |    356970 |   30665  1317234  4010071 | 2147483647   356970     76 |  0.000 % |
305.08/305.43	c |    357280 |   30665  1317234  4010071 | 2147483647   357280     76 |  0.000 % |
305.48/305.84	c |    357621 |   30665  1317234  4010071 | 2147483647   357621     76 |  0.000 % |
305.88/306.25	c |    357995 |   30665  1317234  4010071 | 2147483647   357995     76 |  0.000 % |
306.38/306.70	c |    358406 |   30665  1317234  4010071 | 2147483647   358406     76 |  0.000 % |
306.88/307.21	c |    358856 |   30665  1317234  4010071 | 2147483647   358856     76 |  0.000 % |
307.38/307.78	c |    359350 |   30665  1317234  4010071 | 2147483647   359350     76 |  0.000 % |
308.17/308.54	c |    359893 |   30665  1317234  4010071 | 2147483647   359893     76 |  0.000 % |
309.27/309.61	c |    360490 |   30665  1317234  4010071 | 2147483647   360490     76 |  0.000 % |
309.98/310.37	c |    361146 |   30665  1317234  4010071 | 2147483647   361146     76 |  0.000 % |
310.98/311.38	c |    361867 |   30665  1317234  4010071 | 2147483647   361867     75 |  0.000 % |
311.97/312.33	c |    362660 |   30665  1317234  4010071 | 2147483647   362660     75 |  0.000 % |
312.97/313.37	c |    363532 |   30665  1317234  4010071 | 2147483647   363532     75 |  0.000 % |
313.87/314.23	c |    364490 |   30665  1317234  4010071 | 2147483647   364490     75 |  0.000 % |
314.97/315.30	c |    365543 |   30665  1317234  4010071 | 2147483647   365543     75 |  0.000 % |
316.17/316.58	c |    366701 |   30665  1317234  4010071 | 2147483647   366701     75 |  0.000 % |
317.97/318.35	c |    367976 |   30665  1317234  4010071 | 2147483647   367976     75 |  0.000 % |
319.47/319.80	c |    369377 |   30665  1317234  4010071 | 2147483647   369377     75 |  0.000 % |
321.07/321.40	c |    370918 |   30665  1317234  4010071 | 2147483647   370918     75 |  0.000 % |
322.67/323.04	c |    372612 |   30665  1317234  4010071 | 2147483647   372612     74 |  0.000 % |
324.37/324.72	c |    374475 |   30665  1317234  4010071 | 2147483647   374475     74 |  0.000 % |
326.47/326.81	c |    376524 |   30665  1317234  4010071 | 2147483647   376524     74 |  0.000 % |
328.46/328.90	c |    378777 |   30665  1317234  4010071 | 2147483647   378777     74 |  0.000 % |
330.57/330.99	c |    381256 |   30665  1317234  4010071 | 2147483647   381256     74 |  0.000 % |
332.86/333.30	c |    383982 |   30665  1317234  4010071 | 2147483647   383982     74 |  0.000 % |
335.96/336.33	c |    386979 |   30665  1317234  4010071 | 2147483647   386979     75 |  0.000 % |
339.16/339.50	c |    390276 |   30665  1317234  4010071 | 2147483647   390276     75 |  0.000 % |
342.37/342.70	c |    393902 |   30665  1317234  4010071 | 2147483647   393902     75 |  0.001 % |
342.47/342.84	c |    394002 |   30665  1317234  4010071 | 2147483647   394002     75 |  0.001 % |
343.16/343.54	c |    394113 |   30663  1307611  3980579 | 2147483647   384825     74 |  0.007 % |
343.36/343.78	c |    394235 |   30663  1307611  3980579 | 2147483647   384947     74 |  0.007 % |
343.56/343.92	c |    394368 |   30663  1307611  3980579 | 2147483647   385080     74 |  0.007 % |
343.66/344.03	c |    394517 |   30663  1307611  3980579 | 2147483647   385229     74 |  0.007 % |
343.96/344.36	c |    394680 |   30663  1307611  3980579 | 2147483647   385392     74 |  0.007 % |
344.16/344.58	c |    394856 |   30663  1307611  3980579 | 2147483647   385568     74 |  0.007 % |
344.36/344.78	c |    395055 |   30663  1307611  3980579 | 2147483647   385767     74 |  0.007 % |
344.66/345.06	c |    395267 |   30663  1307611  3980579 | 2147483647   385979     74 |  0.007 % |
344.86/345.26	c |    395503 |   30663  1307611  3980579 | 2147483647   386215     74 |  0.007 % |
345.16/345.59	c |    395759 |   30663  1307611  3980579 | 2147483647   386471     74 |  0.007 % |
345.36/345.77	c |    396044 |   30663  1307611  3980579 | 2147483647   386756     74 |  0.007 % |
345.86/346.24	c |    396354 |   30663  1307611  3980579 | 2147483647   387066     74 |  0.007 % |
346.16/346.53	c |    396693 |   30663  1307611  3980579 | 2147483647   387405     74 |  0.007 % |
346.45/346.88	c |    397070 |   30663  1307611  3980579 | 2147483647   387782     74 |  0.007 % |
346.85/347.23	c |    397479 |   30663  1307611  3980579 | 2147483647   388191     74 |  0.007 % |
347.36/347.78	c |    397928 |   30663  1307611  3980579 | 2147483647   388640     75 |  0.007 % |
347.85/348.22	c |    398422 |   30663  1307611  3980579 | 2147483647   389134     75 |  0.007 % |
348.36/348.71	c |    398968 |   30663  1307611  3980579 | 2147483647   389680     75 |  0.007 % |
348.95/349.30	c |    399564 |   30663  1307611  3980579 | 2147483647   390276     75 |  0.007 % |
349.65/350.05	c |    400223 |   30663  1307611  3980579 | 2147483647   390935     75 |  0.007 % |
350.25/350.63	c |    400943 |   30663  1307611  3980579 | 2147483647   391655     75 |  0.007 % |
351.05/351.42	c |    401736 |   30663  1307611  3980579 | 2147483647   392448     75 |  0.007 % |
351.76/352.18	c |    402608 |   30663  1307611  3980579 | 2147483647   393320     75 |  0.007 % |
352.76/353.14	c |    403567 |   30663  1307611  3980579 | 2147483647   394279     75 |  0.007 % |
353.65/354.02	c |    404620 |   30663  1307611  3980579 | 2147483647   395332     75 |  0.007 % |
354.85/355.27	c |    405780 |   30663  1307611  3980579 | 2147483647   396492     75 |  0.007 % |
356.05/356.47	c |    407054 |   30663  1307611  3980579 | 2147483647   397766     75 |  0.007 % |
357.25/357.65	c |    408456 |   30663  1307611  3980579 | 2147483647   399168     75 |  0.007 % |
359.04/359.41	c |    409999 |   30663  1307611  3980579 | 2147483647   400711     75 |  0.007 % |
360.74/361.13	c |    411700 |   30663  1307611  3980579 | 2147483647   402412     75 |  0.007 % |
362.65/363.07	c |    413563 |   30663  1307611  3980579 | 2147483647   404275     75 |  0.007 % |
364.45/364.85	c |    415612 |   30663  1307611  3980579 | 2147483647   406324     76 |  0.007 % |
366.44/366.82	c |    417865 |   30663  1307611  3980579 | 2147483647   408577     76 |  0.007 % |
368.95/369.32	c |    420343 |   30663  1307611  3980579 | 2147483647   411055     76 |  0.007 % |
371.35/371.73	c |    423068 |   30663  1307611  3980579 | 2147483647   413780     76 |  0.007 % |
375.05/375.49	c |    426066 |   30663  1307611  3980579 | 2147483647   416778     77 |  0.007 % |
378.44/378.81	c |    429362 |   30663  1307611  3980579 | 2147483647   420074     77 |  0.007 % |
381.14/381.56	c |    432987 |   30663  1307611  3980579 | 2147483647   423699     78 |  0.007 % |
385.03/385.41	c |    436975 |   30663  1307611  3980579 | 2147483647   427687     78 |  0.007 % |
385.14/385.51	c |    437075 |   30663  1307611  3980579 | 2147483647   427787     78 |  0.007 % |
385.34/385.78	c |    437186 |   30663  1307611  3980579 | 2147483647   427898     78 |  0.007 % |
385.64/386.02	c |    437310 |   30663  1307611  3980579 | 2147483647   428022     78 |  0.007 % |
385.85/386.25	c |    437447 |   30663  1307611  3980579 | 2147483647   428159     78 |  0.007 % |
385.94/386.38	c |    437593 |   30663  1307611  3980579 | 2147483647   428305     78 |  0.007 % |
386.14/386.58	c |    437754 |   30663  1307611  3980579 | 2147483647   428466     78 |  0.007 % |
386.44/386.80	c |    437930 |   30663  1307611  3980579 | 2147483647   428642     78 |  0.007 % |
386.54/386.93	c |    438124 |   30663  1307611  3980579 | 2147483647   428836     78 |  0.007 % |
386.74/387.20	c |    438337 |   30663  1307611  3980579 | 2147483647   429049     78 |  0.007 % |
387.04/387.47	c |    438571 |   30663  1307611  3980579 | 2147483647   429283     78 |  0.007 % |
387.34/387.79	c |    438829 |   30663  1307611  3980579 | 2147483647   429541     78 |  0.007 % |
387.64/388.03	c |    439110 |   30663  1307611  3980579 | 2147483647   429822     78 |  0.007 % |
387.93/388.39	c |    439419 |   30663  1307611  3980579 | 2147483647   430131     78 |  0.007 % |
388.43/388.83	c |    439759 |   30663  1307611  3980579 | 2147483647   430471     78 |  0.007 % |
388.83/389.28	c |    440132 |   30663  1307611  3980579 | 2147483647   430844     78 |  0.007 % |
389.33/389.71	c |    440541 |   30663  1307611  3980579 | 2147483647   431253     78 |  0.007 % |
389.93/390.39	c |    440990 |   30663  1307611  3980579 | 2147483647   431702     78 |  0.007 % |
390.43/390.86	c |    441486 |   30663  1307611  3980579 | 2147483647   432198     78 |  0.007 % |
390.93/391.30	c |    442029 |   30663  1307611  3980579 | 2147483647   432741     78 |  0.007 % |
391.63/392.07	c |    442627 |   30663  1307611  3980579 | 2147483647   433339     78 |  0.007 % |
392.33/392.73	c |    443286 |   30663  1307611  3980579 | 2147483647   433998     78 |  0.007 % |
393.32/393.73	c |    444006 |   30663  1307611  3980579 | 2147483647   434718     78 |  0.007 % |
394.22/394.61	c |    444801 |   30663  1307611  3980579 | 2147483647   435513     78 |  0.007 % |
395.12/395.59	c |    445672 |   30663  1307611  3980579 | 2147483647   436384     78 |  0.007 % |
396.22/396.69	c |    446630 |   30663  1307611  3980579 | 2147483647   437342     78 |  0.007 % |
397.52/397.98	c |    447686 |   30663  1307611  3980579 | 2147483647   438398     78 |  0.007 % |
398.63/399.04	c |    448844 |   30663  1307611  3980579 | 2147483647   439556     78 |  0.007 % |
399.93/400.33	c |    450119 |   30663  1307611  3980579 | 2147483647   440831     78 |  0.007 % |
401.33/401.79	c |    451520 |   30663  1307611  3980579 | 2147483647   442232     78 |  0.007 % |
402.72/403.11	c |    453061 |   30663  1307611  3980579 | 2147483647   443773     78 |  0.007 % |
404.43/404.82	c |    454755 |   30663  1307611  3980579 | 2147483647   445467     78 |  0.007 % |
406.62/407.01	c |    456619 |   30663  1307611  3980579 | 2147483647   447331     78 |  0.007 % |
408.82/409.22	c |    458670 |   30663  1307611  3980579 | 2147483647   449382     78 |  0.007 % |
410.82/411.24	c |    460923 |   30663  1307611  3980579 | 2147483647   451635     78 |  0.007 % |
413.82/414.20	c |    463403 |   30663  1307611  3980579 | 2147483647   454115     78 |  0.007 % |
416.32/416.75	c |    466129 |   30663  1307611  3980579 | 2147483647   456841     78 |  0.007 % |
420.12/420.56	c |    469127 |   30663  1307611  3980579 | 2147483647   459839     78 |  0.007 % |
423.62/424.07	c |    472424 |   30663  1307611  3980579 | 2147483647   463136     78 |  0.007 % |
428.22/428.66	c |    476049 |   30663  1307611  3980579 | 2147483647   466761     78 |  0.007 % |
432.41/432.86	c |    480036 |   30663  1307611  3980579 | 2147483647   470748     81 |  0.007 % |
437.01/437.48	c |    484422 |   30663  1307611  3980579 | 2147483647   475134     82 |  0.007 % |
437.11/437.59	c |    484522 |   30663  1307611  3980579 | 2147483647   475234     82 |  0.007 % |
437.31/437.77	c |    484632 |   30663  1307611  3980579 | 2147483647   475344     82 |  0.007 % |
437.51/437.91	c |    484754 |   30663  1307611  3980579 | 2147483647   475466     82 |  0.007 % |
437.71/438.12	c |    484889 |   30663  1307611  3980579 | 2147483647   475601     82 |  0.007 % |
437.91/438.37	c |    485039 |   30663  1307611  3980579 | 2147483647   475751     82 |  0.007 % |
438.31/438.70	c |    485199 |   30663  1307611  3980579 | 2147483647   475911     82 |  0.007 % |
438.51/438.98	c |    485376 |   30663  1307611  3980579 | 2147483647   476088     82 |  0.007 % |
438.71/439.14	c |    485571 |   30663  1307611  3980579 | 2147483647   476283     82 |  0.007 % |
439.10/439.55	c |    485783 |   30663  1307611  3980579 | 2147483647   476495     82 |  0.007 % |
439.30/439.77	c |    486017 |   30663  1307611  3980579 | 2147483647   476729     82 |  0.007 % |
439.80/440.22	c |    486273 |   30663  1307611  3980579 | 2147483647   476985     82 |  0.007 % |
440.10/440.53	c |    486555 |   30663  1307611  3980579 | 2147483647   477267     82 |  0.007 % |
440.50/440.95	c |    486866 |   30663  1307611  3980579 | 2147483647   477578     82 |  0.007 % |
440.71/441.19	c |    487205 |   30663  1307611  3980579 | 2147483647   477917     82 |  0.007 % |
441.20/441.61	c |    487577 |   30663  1307611  3980579 | 2147483647   478289     82 |  0.007 % |
441.50/441.97	c |    487988 |   30663  1307611  3980579 | 2147483647   478700     82 |  0.007 % |
442.10/442.57	c |    488437 |   30663  1307611  3980579 | 2147483647   479149     82 |  0.007 % |
442.70/443.10	c |    488932 |   30663  1307611  3980579 | 2147483647   479644     82 |  0.007 % |
443.20/443.66	c |    489474 |   30663  1307611  3980579 | 2147483647   480186     82 |  0.007 % |
444.00/444.47	c |    490072 |   30663  1307611  3980579 | 2147483647   480784     82 |  0.007 % |
444.60/445.06	c |    490729 |   30663  1307611  3980579 | 2147483647   481441     82 |  0.007 % |
445.60/446.08	c |    491449 |   30663  1307611  3980579 | 2147483647   482161     82 |  0.007 % |
446.50/446.99	c |    492241 |   30663  1307611  3980579 | 2147483647   482953     82 |  0.007 % |
447.51/447.92	c |    493112 |   30663  1307611  3980579 | 2147483647   483824     82 |  0.007 % |
448.51/448.98	c |    494070 |   30663  1307611  3980579 | 2147483647   484782     82 |  0.007 % |
449.61/450.04	c |    495124 |   30663  1307611  3980579 | 2147483647   485836     82 |  0.007 % |
450.90/451.32	c |    496283 |   30663  1307611  3980579 | 2147483647   486995     82 |  0.007 % |
452.10/452.57	c |    497556 |   30663  1307611  3980579 | 2147483647   488268     82 |  0.007 % |
453.60/454.06	c |    498956 |   30663  1307611  3980579 | 2147483647   489668     82 |  0.007 % |
455.19/455.63	c |    500496 |   30663  1307611  3980579 | 2147483647   491208     82 |  0.007 % |
457.21/457.62	c |    502190 |   30663  1307611  3980579 | 2147483647   492902     83 |  0.007 % |
459.20/459.65	c |    504053 |   30663  1307611  3980579 | 2147483647   494765     83 |  0.007 % |
461.60/462.00	c |    506102 |   30663  1307611  3980579 | 2147483647   496814     83 |  0.007 % |
463.80/464.28	c |    508357 |   30663  1307611  3980579 | 2147483647   499069     83 |  0.007 % |
466.59/467.06	c |    510835 |   30663  1307611  3980579 | 2147483647   501547     83 |  0.007 % |
470.10/470.50	c |    513560 |   30663  1307611  3980579 | 2147483647   504272     82 |  0.007 % |
473.30/473.71	c |    516558 |   30663  1307611  3980579 | 2147483647   507270     82 |  0.007 % |
477.39/477.89	c |    519854 |   30663  1307611  3980579 | 2147483647   510566     82 |  0.007 % |
482.69/483.12	c |    523480 |   30663  1307611  3980579 | 2147483647   514192     82 |  0.007 % |
487.98/488.41	c |    527467 |   30663  1307611  3980579 | 2147483647   518179     82 |  0.007 % |
494.88/495.32	c |    531852 |   30663  1307611  3980579 | 2147483647   522564     81 |  0.007 % |
501.48/501.97	c |    536677 |   30663  1307611  3980579 | 2147483647   527389     81 |  0.007 % |
501.68/502.15	c |    536779 |   30663  1307611  3980579 | 2147483647   527491     81 |  0.007 % |
501.78/502.27	c |    536889 |   30663  1307611  3980579 | 2147483647   527601     81 |  0.007 % |
502.18/502.61	c |    537010 |   30663  1307611  3980579 | 2147483647   527722     81 |  0.007 % |
502.38/502.89	c |    537143 |   30663  1307611  3980579 | 2147483647   527855     81 |  0.007 % |
502.78/503.21	c |    537289 |   30663  1307611  3980579 | 2147483647   528001     81 |  0.007 % |
502.98/503.46	c |    537449 |   30663  1307611  3980579 | 2147483647   528161     81 |  0.007 % |
503.28/503.79	c |    537628 |   30663  1307611  3980579 | 2147483647   528340     81 |  0.007 % |
503.58/504.00	c |    537821 |   30663  1307611  3980579 | 2147483647   528533     81 |  0.007 % |
503.88/504.39	c |    538033 |   30663  1307611  3980579 | 2147483647   528745     81 |  0.007 % |
504.28/504.74	c |    538269 |   30663  1307611  3980579 | 2147483647   528981     81 |  0.007 % |
504.58/505.07	c |    538526 |   30663  1307611  3980579 | 2147483647   529238     81 |  0.007 % |
505.08/505.58	c |    538809 |   30663  1307611  3980579 | 2147483647   529521     81 |  0.007 % |
505.68/506.12	c |    539120 |   30663  1307611  3980579 | 2147483647   529832     81 |  0.007 % |
506.27/506.76	c |    539460 |   30663  1307611  3980579 | 2147483647   530172     81 |  0.007 % |
506.78/507.21	c |    539832 |   30663  1307611  3980579 | 2147483647   530544     81 |  0.007 % |
507.37/507.82	c |    540241 |   30663  1307611  3980579 | 2147483647   530953     81 |  0.007 % |
507.97/508.49	c |    540690 |   30663  1307611  3980579 | 2147483647   531402     81 |  0.007 % |
508.87/509.40	c |    541183 |   30663  1307611  3980579 | 2147483647   531895     81 |  0.007 % |
509.77/510.23	c |    541725 |   30663  1307611  3980579 | 2147483647   532437     81 |  0.007 % |
510.57/511.10	c |    542324 |   30663  1307611  3980579 | 2147483647   533036     81 |  0.007 % |
511.57/512.07	c |    542979 |   30663  1307611  3980579 | 2147483647   533691     81 |  0.007 % |
512.57/513.05	c |    543701 |   30663  1307611  3980579 | 2147483647   534413     81 |  0.007 % |
513.67/514.13	c |    544494 |   30663  1307611  3980579 | 2147483647   535206     80 |  0.007 % |
514.87/515.35	c |    545366 |   30663  1307611  3980579 | 2147483647   536078     80 |  0.007 % |
516.26/516.77	c |    546324 |   30663  1307611  3980579 | 2147483647   537036     80 |  0.007 % |
517.56/518.03	c |    547377 |   30663  1307611  3980579 | 2147483647   538089     80 |  0.007 % |
518.96/519.44	c |    548535 |   30663  1307611  3980579 | 2147483647   539247     80 |  0.007 % |
520.36/520.81	c |    549808 |   30663  1307611  3980579 | 2147483647   540520     80 |  0.007 % |
522.06/522.58	c |    551209 |   30663  1307611  3980579 | 2147483647   541921     80 |  0.007 % |
524.37/524.85	c |    552750 |   30663  1307611  3980579 | 2147483647   543462     80 |  0.007 % |
526.66/527.13	c |    554444 |   30663  1307611  3980579 | 2147483647   545156     80 |  0.007 % |
529.06/529.57	c |    556307 |   30663  1307611  3980579 | 2147483647   547019     79 |  0.007 % |
531.26/531.72	c |    558356 |   30663  1307611  3980579 | 2147483647   549068     79 |  0.007 % |
533.75/534.20	c |    560609 |   30663  1307611  3980579 | 2147483647   551321     79 |  0.007 % |
537.06/537.58	c |    563087 |   30663  1307611  3980579 | 2147483647   553799     80 |  0.007 % |
539.76/540.27	c |    565813 |   30663  1307611  3980579 | 2147483647   556525     80 |  0.007 % |
543.06/543.55	c |    568811 |   30663  1307611  3980579 | 2147483647   559523     80 |  0.007 % |
546.45/546.98	c |    572107 |   30663  1307611  3980579 | 2147483647   562819     80 |  0.007 % |
552.35/552.82	c |    575733 |   30663  1307611  3980579 | 2147483647   566445     81 |  0.007 % |
556.95/557.49	c |    579722 |   30663  1307611  3980579 | 2147483647   570434     81 |  0.007 % |
561.75/562.25	c |    584107 |   30663  1307611  3980579 | 2147483647   574819     81 |  0.007 % |
568.25/568.77	c |    588930 |   30663  1307611  3980579 | 2147483647   579642     81 |  0.007 % |
574.43/574.90	c |    594236 |   30663  1307611  3980579 | 2147483647   584948     82 |  0.007 % |
574.53/575.04	c |    594337 |   30663  1307611  3980579 | 2147483647   585049     82 |  0.007 % |
574.84/575.32	c |    594447 |   30663  1307611  3980579 | 2147483647   585159     82 |  0.007 % |
575.14/575.60	c |    594568 |   30663  1307611  3980579 | 2147483647   585280     82 |  0.007 % |
575.34/575.86	c |    594705 |   30663  1307611  3980579 | 2147483647   585417     82 |  0.007 % |
575.54/576.08	c |    594852 |   30663  1307611  3980579 | 2147483647   585564     82 |  0.007 % |
575.84/576.35	c |    595013 |   30663  1307611  3980579 | 2147483647   585725     82 |  0.007 % |
576.24/576.73	c |    595189 |   30663  1307611  3980579 | 2147483647   585901     82 |  0.007 % |
576.44/576.91	c |    595384 |   30663  1307611  3980579 | 2147483647   586096     82 |  0.007 % |
576.74/577.23	c |    595596 |   30663  1307611  3980579 | 2147483647   586308     82 |  0.007 % |
577.44/577.91	c |    595830 |   30663  1307611  3980579 | 2147483647   586542     82 |  0.007 % |
577.64/578.15	c |    596087 |   30663  1307611  3980579 | 2147483647   586799     82 |  0.007 % |
578.04/578.56	c |    596368 |   30663  1307611  3980579 | 2147483647   587080     82 |  0.007 % |
578.34/578.85	c |    596677 |   30663  1307611  3980579 | 2147483647   587389     82 |  0.007 % |
578.84/579.33	c |    597016 |   30663  1307611  3980579 | 2147483647   587728     82 |  0.007 % |
579.34/579.82	c |    597388 |   30663  1307611  3980579 | 2147483647   588100     82 |  0.007 % |
580.04/580.55	c |    597797 |   30663  1307611  3980579 | 2147483647   588509     82 |  0.007 % |
580.64/581.15	c |    598246 |   30663  1307611  3980579 | 2147483647   588958     82 |  0.007 % |
581.23/581.78	c |    598743 |   30663  1307611  3980579 | 2147483647   589455     82 |  0.007 % |
581.93/582.44	c |    599289 |   30663  1307611  3980579 | 2147483647   590001     82 |  0.007 % |
582.83/583.37	c |    599887 |   30663  1307611  3980579 | 2147483647   590599     82 |  0.007 % |
583.93/584.41	c |    600542 |   30663  1307611  3980579 | 2147483647   591254     82 |  0.007 % |
585.13/585.64	c |    601265 |   30663  1307611  3980579 | 2147483647   591977     82 |  0.007 % |
586.23/586.75	c |    602057 |   30663  1307611  3980579 | 2147483647   592769     82 |  0.007 % |
587.13/587.68	c |    602931 |   30663  1307611  3980579 | 2147483647   593643     82 |  0.007 % |
588.22/588.74	c |    603889 |   30663  1307611  3980579 | 2147483647   594601     82 |  0.007 % |
589.63/590.20	c |    604942 |   30663  1307611  3980579 | 2147483647   595654     82 |  0.007 % |
591.03/591.57	c |    606100 |   30663  1307611  3980579 | 2147483647   596812     82 |  0.007 % |
592.83/593.32	c |    607375 |   30663  1307611  3980579 | 2147483647   598087     82 |  0.007 % |
594.63/595.15	c |    608775 |   30663  1307611  3980579 | 2147483647   599487     82 |  0.007 % |
597.23/597.71	c |    610315 |   30663  1307611  3980579 | 2147483647   601027     82 |  0.007 % |
599.22/599.73	c |    612011 |   30663  1307611  3980579 | 2147483647   602723     81 |  0.007 % |
602.02/602.51	c |    613874 |   30663  1307611  3980579 | 2147483647   604586     81 |  0.007 % |
604.22/604.77	c |    615924 |   30663  1307611  3980579 | 2147483647   606636     82 |  0.007 % |
607.12/607.66	c |    618178 |   30663  1307611  3980579 | 2147483647   608890     81 |  0.007 % |
611.22/611.78	c |    620656 |   30663  1307611  3980579 | 2147483647   611368     81 |  0.007 % |
614.81/615.32	c |    623381 |   30663  1307611  3980579 | 2147483647   614093     81 |  0.007 % |
618.92/619.44	c |    626380 |   30663  1307611  3980579 | 2147483647   617092     81 |  0.007 % |
622.91/623.49	c |    629676 |   30663  1307611  3980579 | 2147483647   620388     81 |  0.007 % |
627.71/628.29	c |    633301 |   30663  1307611  3980579 | 2147483647   624013     81 |  0.007 % |
632.30/632.80	c |    637289 |   30663  1307611  3980579 | 2147483647   628001     81 |  0.007 % |
638.11/638.67	c |    641674 |   30663  1307611  3980579 | 2147483647   632386     80 |  0.007 % |
643.40/643.99	c |    646497 |   30663  1307611  3980579 | 2147483647   637209     80 |  0.007 % |
649.70/650.24	c |    651802 |   30663  1307611  3980579 | 2147483647   642514     80 |  0.007 % |
657.80/658.32	c |    657637 |   30663  1307611  3980579 | 2147483647   648349     80 |  0.007 % |
657.90/658.49	c |    657737 |   30663  1307611  3980579 | 2147483647   648449     80 |  0.007 % |
658.10/658.67	c |    657848 |   30663  1307611  3980579 | 2147483647   648560     80 |  0.007 % |
658.30/658.90	c |    657969 |   30663  1307611  3980579 | 2147483647   648681     80 |  0.007 % |
658.59/659.17	c |    658102 |   30663  1307611  3980579 | 2147483647   648814     80 |  0.007 % |
658.79/659.39	c |    658248 |   30663  1307611  3980579 | 2147483647   648960     80 |  0.007 % |
659.09/659.64	c |    658409 |   30663  1307611  3980579 | 2147483647   649121     80 |  0.007 % |
659.39/659.91	c |    658585 |   30663  1307611  3980579 | 2147483647   649297     80 |  0.007 % |
659.69/660.22	c |    658778 |   30663  1307611  3980579 | 2147483647   649490     80 |  0.007 % |
659.99/660.53	c |    658990 |   30663  1307611  3980579 | 2147483647   649702     80 |  0.007 % |
660.39/660.98	c |    659223 |   30663  1307611  3980579 | 2147483647   649935     80 |  0.007 % |
660.99/661.53	c |    659479 |   30663  1307611  3980579 | 2147483647   650191     80 |  0.007 % |
661.39/661.94	c |    659762 |   30663  1307611  3980579 | 2147483647   650474     80 |  0.007 % |
661.79/662.33	c |    660071 |   30663  1307611  3980579 | 2147483647   650783     80 |  0.007 % |
662.29/662.80	c |    660410 |   30663  1307611  3980579 | 2147483647   651122     80 |  0.007 % |
662.99/663.50	c |    660782 |   30663  1307611  3980579 | 2147483647   651494     80 |  0.007 % |
663.49/664.04	c |    661191 |   30663  1307611  3980579 | 2147483647   651903     80 |  0.007 % |
664.09/664.68	c |    661641 |   30663  1307611  3980579 | 2147483647   652353     80 |  0.007 % |
665.09/665.64	c |    662135 |   30663  1307611  3980579 | 2147483647   652847     79 |  0.007 % |
665.89/666.41	c |    662678 |   30663  1307611  3980579 | 2147483647   653390     79 |  0.007 % |
666.69/667.27	c |    663274 |   30663  1307611  3980579 | 2147483647   653986     79 |  0.007 % |
667.59/668.10	c |    663929 |   30663  1307611  3980579 | 2147483647   654641     79 |  0.007 % |
668.78/669.31	c |    664649 |   30663  1307611  3980579 | 2147483647   655361     79 |  0.007 % |
669.88/670.44	c |    665441 |   30663  1307611  3980579 | 2147483647   656153     79 |  0.007 % |
671.08/671.63	c |    666312 |   30663  1307611  3980579 | 2147483647   657024     79 |  0.007 % |
672.28/672.85	c |    667271 |   30663  1307611  3980579 | 2147483647   657983     79 |  0.007 % |
673.98/674.58	c |    668325 |   30663  1307611  3980579 | 2147483647   659037     79 |  0.007 % |
675.38/675.93	c |    669483 |   30663  1307611  3980579 | 2147483647   660195     79 |  0.007 % |
677.58/678.13	c |    670756 |   30663  1307611  3980579 | 2147483647   661468     79 |  0.007 % |
679.48/680.07	c |    672158 |   30663  1307611  3980579 | 2147483647   662870     79 |  0.007 % |
681.98/682.57	c |    673701 |   30663  1307611  3980579 | 2147483647   664413     79 |  0.007 % |
684.18/684.76	c |    675395 |   30663  1307611  3980579 | 2147483647   666107     79 |  0.007 % |
686.58/687.12	c |    677258 |   30663  1307611  3980579 | 2147483647   667970     79 |  0.007 % |
688.88/689.45	c |    679307 |   30663  1307611  3980579 | 2147483647   670019     78 |  0.007 % |
691.68/692.22	c |    681561 |   30663  1307611  3980579 | 2147483647   672273     78 |  0.007 % |
694.69/695.27	c |    684040 |   30663  1307611  3980579 | 2147483647   674752     78 |  0.007 % |
697.88/698.42	c |    686766 |   30663  1307611  3980579 | 2147483647   677478     78 |  0.007 % |
702.38/702.91	c |    689764 |   30663  1307611  3980579 | 2147483647   680476     78 |  0.007 % |
706.77/707.36	c |    693061 |   30663  1307611  3980579 | 2147483647   683773     78 |  0.007 % |
711.36/711.98	c |    696689 |   30663  1307611  3980579 | 2147483647   687401     77 |  0.007 % |
713.66/714.28	c ===============================================================================
713.66/714.28	c restarts              : 1031
713.66/714.28	c conflicts             : 696920         (988 /sec)
713.66/714.28	c decisions             : 3710469        (0.84 % random) (5262 /sec)
713.66/714.28	c propagations          : 510504131      (723999 /sec)
713.66/714.28	c conflict literals     : 54203986       (51.90 % deleted)
713.66/714.28	c Memory used           : 294.79 MB
713.66/714.28	c CPU time              : 705.117 s
713.66/714.28	c 
713.66/714.28	s UNSATISFIABLE
713.76/714.32	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310913587 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/30082/statm: 1339 235 195 169 0 50 0
[pid=30083] ppid=30082 vsize=0 CPUtime=0
/proc/30083/stat : 30083 (SatELiteGTI) R 30082 30082 29743 0 -1 4194372 61 188 0 0 0 0 0 0 19 0 1 0 310913588 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/30083/statm: -- couldn't open statm file --
[startup+0.100402 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201412 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301422 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701464 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50431 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 30087
/proc/meminfo: memFree=1760932/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
[pid=30087] ppid=30082 vsize=108920 CPUtime=1.48
/proc/30087/stat : 30087 (SatELite_releas) R 30082 30082 29743 0 -1 4194304 25965 0 0 0 131 17 0 0 25 0 1 0 310913588 111534080 23246 1992294400 134512640 135223648 4294956128 18446744073709551615 134586748 0 0 4096 3 0 0 0 17 0 0 0
/proc/30087/statm: 27230 23248 76 173 0 27055 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 114276

[startup+8.3114 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 30087
/proc/meminfo: memFree=1760932/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 5356

[startup+8.41252 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 30087
/proc/meminfo: memFree=1760932/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 5356

[startup+12.7017 s]
/proc/loadavg: 1.39 1.09 1.03 2/66 30088
/proc/meminfo: memFree=1763564/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=63508 CPUtime=4.76
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 15409 0 0 0 466 10 0 0 25 0 1 0 310914380 65032192 15395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 15877 15395 77 171 0 15704 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 68864

[startup+25.506 s]
/proc/loadavg: 1.74 1.18 1.06 2/66 30088
/proc/meminfo: memFree=1754284/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=73068 CPUtime=17.53
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 17801 0 0 0 1741 12 0 0 25 0 1 0 310914380 74821632 17787 1992294400 134512640 135215339 4294956240 18446744073709551615 134529069 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 18267 17787 77 171 0 18094 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 78424

[startup+51.1016 s]
/proc/loadavg: 1.95 1.27 1.09 2/66 30088
/proc/meminfo: memFree=1742380/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=85392 CPUtime=43.1
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 20862 0 0 0 4294 16 0 0 25 0 1 0 310914380 87441408 20848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 21348 20848 77 171 0 21175 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 90748

[startup+102.302 s]
/proc/loadavg: 2.00 1.40 1.14 2/66 30088
/proc/meminfo: memFree=1724972/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=103976 CPUtime=94.2
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 25426 0 0 0 9399 21 0 0 25 0 1 0 310914380 106471424 25412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 25994 25412 77 171 0 25821 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 109332

[startup+162.301 s]
/proc/loadavg: 1.36 1.32 1.13 2/66 30088
/proc/meminfo: memFree=1693164/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=136336 CPUtime=154.16
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 33425 0 0 0 15386 30 0 0 25 0 1 0 310914380 139608064 33411 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 34084 33411 77 171 0 33911 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 141692

[startup+222.305 s]
/proc/loadavg: 1.13 1.26 1.12 2/66 30088
/proc/meminfo: memFree=1672044/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=157404 CPUtime=214.12
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 38670 0 0 0 21378 34 0 0 25 0 1 0 310914380 161181696 38656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 39351 38656 77 171 0 39178 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 162760

[startup+282.301 s]
/proc/loadavg: 1.05 1.21 1.11 2/66 30088
/proc/meminfo: memFree=1651500/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=178264 CPUtime=274.07
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 43803 0 0 0 27366 41 0 0 25 0 1 0 310914380 182542336 43789 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 44566 43789 77 171 0 44393 0
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (KiB) 183620

[startup+342.301 s]
/proc/loadavg: 1.02 1.17 1.09 2/66 30088
/proc/meminfo: memFree=1634860/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=194584 CPUtime=334.06
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 47912 0 0 0 33360 46 0 0 25 0 1 0 310914380 199254016 47898 1992294400 134512640 135215339 4294956240 18446744073709551615 134527302 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 48646 47898 77 171 0 48473 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 199940

[startup+402.302 s]
/proc/loadavg: 1.00 1.14 1.09 2/66 30088
/proc/meminfo: memFree=1612012/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=217600 CPUtime=394.02
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 53636 0 0 0 39351 51 0 0 25 0 1 0 310914380 222822400 53622 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 54400 53622 77 171 0 54227 0
Current children cumulated CPU time (s) 401.93
Current children cumulated vsize (KiB) 222956

[startup+462.302 s]
/proc/loadavg: 1.00 1.11 1.08 2/66 30088
/proc/meminfo: memFree=1582572/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=247628 CPUtime=453.99
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 60907 0 0 0 45342 57 0 0 25 0 1 0 310914380 253571072 60893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 61907 60893 77 171 0 61734 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 252984

[startup+522.302 s]
/proc/loadavg: 1.00 1.09 1.08 2/66 30088
/proc/meminfo: memFree=1572588/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=257376 CPUtime=513.95
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 63391 0 0 0 51335 60 0 0 25 0 1 0 310914380 263553024 63377 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 64344 63377 77 171 0 64171 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 262732

[startup+582.301 s]
/proc/loadavg: 1.00 1.07 1.07 2/66 30088
/proc/meminfo: memFree=1551404/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=278772 CPUtime=573.92
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 68655 0 0 0 57326 66 0 0 25 0 1 0 310914380 285462528 68641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 69693 68641 77 171 0 69520 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 284128

[startup+642.301 s]
/proc/loadavg: 1.00 1.05 1.06 2/66 30088
/proc/meminfo: memFree=1538668/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=291392 CPUtime=633.89
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 71837 0 0 0 63319 70 0 0 25 0 1 0 310914380 298385408 71823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 72848 71823 77 171 0 72675 0
Current children cumulated CPU time (s) 641.8
Current children cumulated vsize (KiB) 296748

[startup+702.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1529324/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=300344 CPUtime=693.87
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74072 0 0 0 69315 72 0 0 25 0 1 0 310914380 307552256 74058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75086 74058 77 171 0 74913 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 305700

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

[startup+705.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1529068/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=300608 CPUtime=696.86
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74131 0 0 0 69614 72 0 0 25 0 1 0 310914380 307822592 74117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75152 74118 77 171 0 74979 0
Current children cumulated CPU time (s) 704.77
Current children cumulated vsize (KiB) 305964

[startup+708.505 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528684/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=300872 CPUtime=700.06
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74228 0 0 0 69934 72 0 0 25 0 1 0 310914380 308092928 74214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75218 74214 77 171 0 75045 0
Current children cumulated CPU time (s) 707.97
Current children cumulated vsize (KiB) 306228

[startup+711.701 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528364/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=301268 CPUtime=703.26
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74309 0 0 0 70254 72 0 0 25 0 1 0 310914380 308498432 74295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75317 74295 77 171 0 75144 0
Current children cumulated CPU time (s) 711.17
Current children cumulated vsize (KiB) 306624

[startup+713.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528236/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=301268 CPUtime=704.85
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74331 0 0 0 70413 72 0 0 25 0 1 0 310914380 308498432 74317 1992294400 134512640 135215339 4294956240 18446744073709551615 134526326 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75317 74317 77 171 0 75144 0
Current children cumulated CPU time (s) 712.76
Current children cumulated vsize (KiB) 306624

[startup+714.102 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528236/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=301268 CPUtime=705.65
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74331 0 0 0 70493 72 0 0 25 0 1 0 310914380 308498432 74317 1992294400 134512640 135215339 4294956240 18446744073709551615 134526243 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75317 74317 77 171 0 75144 0
Current children cumulated CPU time (s) 713.56
Current children cumulated vsize (KiB) 306624

[startup+714.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528236/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=0 CPUtime=705.85
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194308 74453 0 0 0 70511 74 0 0 25 0 1 0 310914380 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 713.76
Current children cumulated vsize (KiB) 5356

Child status: 20
Real time (s): 714.345
CPU time (s): 713.823
CPU user time (s): 712.711
CPU system time (s): 1.11283
CPU usage (%): 99.9269
Max. virtual memory (cumulated for all children) (KiB): 306624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 712.711
system time used= 1.11283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 4188

runsolver used 1.22081 second user time and 3.11453 second system time

The end

Launcher Data

Begin job on node90 at 2009-05-20 16:14:05
IDJOB=1834233
IDBENCH=71777
IDSOLVER=671
FILE ID=node90/1834233-1242828844
PBS_JOBID= 9322474
Free space on /tmp= 66224 MiB

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

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

MD5SUM BENCH= 0767e5dbf6844720495e9eb5423112e1
RANDOM SEED=1497214799

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1853972 kB
Buffers:         21032 kB
Cached:         123352 kB
SwapCached:      26432 kB
Active:          72616 kB
Inactive:       100364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853972 kB
SwapTotal:     4192956 kB
SwapFree:      4160960 kB
Dirty:           25720 kB
Writeback:           0 kB
Mapped:          15940 kB
Slab:            14908 kB
Committed_AS:   913004 kB
PageTables:       1436 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= 66220 MiB
End job on node90 at 2009-05-20 16:26:00