Trace number 1820428

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.1 1200.03

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-26.cnf
MD5SUM0cf155110f71a43081221b427d368ee8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables21734
Number of clauses79766
Sum of the clauses size211276
Maximum clause length225
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 236916
Number of clauses of size 338055
Number of clauses of size 43077
Number of clauses of size 5748
Number of clauses of size over 5969

Solver Data

0.00/0.00	c Parsing...
0.06/0.07	c ==============================================================================
0.06/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.06/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.06/0.07	c ==============================================================================
0.06/0.07	c |         0 |   78817   208932 |   23645       0        0     nan |  0.000 % |
0.52/0.51	c |         0 |   60741   195331 |      --       0       --      -- |     --   | -18076/-13601
0.52/0.51	c ==============================================================================
0.52/0.51	c Result  :   #vars: 11150   #clauses: 60741   #literals: 195331
0.52/0.51	c CPU time:   0.5 s
0.52/0.51	c ==============================================================================
0.52/0.58	c This is MiniSat 2.0 beta
0.52/0.58	c WARNING: for repeatability, setting FPU to use double precision
0.52/0.58	c ============================[ Problem Statistics ]=============================
0.52/0.58	c |                                                                             |
0.52/0.58	c |  Number of variables:  11150                                                |
0.52/0.58	c |  Number of clauses:    60741                                                |
0.59/0.62	c |  Parsing time:         0.04         s                                       |
0.59/0.63	c ============================[ Search Statistics ]==============================
0.59/0.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.63	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.59/0.63	c ===============================================================================
0.59/0.63	c |         0 |   11150    60741   195331 |    20247        0    nan |  0.000 % |
0.59/0.66	c |       100 |   11150    60741   195331 |    20247      100     14 |  0.000 % |
0.59/0.67	c |       201 |   11150    60741   195331 |    20247      201     12 |  0.000 % |
0.59/0.68	c |       302 |   11150    60741   195331 |    20247      302     11 |  0.000 % |
0.59/0.69	c |       413 |   11150    60741   195331 |    20247      413     11 |  0.000 % |
0.59/0.70	c |       513 |   11150    60741   195331 |    20247      513     11 |  0.000 % |
0.59/0.72	c |       623 |   11150    60741   195331 |    20247      623     12 |  0.001 % |
0.59/0.72	c |       744 |   11150    60741   195331 |    20247      744     11 |  0.000 % |
0.59/0.73	c |       844 |   11150    60741   195331 |    20247      844     11 |  0.000 % |
0.59/0.77	c |       955 |   11150    60741   195331 |    20247      955     10 |  0.000 % |
0.59/0.78	c |      1078 |   11150    60741   195331 |    20247     1078     11 |  0.000 % |
0.59/0.81	c |      1213 |   11150    60741   195331 |    20247     1213     13 |  0.000 % |
0.59/0.83	c |      1313 |   11150    60741   195331 |    20247     1313     12 |  0.000 % |
0.59/0.84	c |      1423 |   11150    60741   195331 |    20247     1423     12 |  0.000 % |
0.59/0.85	c |      1544 |   11150    60741   195331 |    20247     1544     13 |  0.000 % |
0.59/0.87	c |      1677 |   11150    60741   195331 |    20247     1677     17 |  0.001 % |
0.59/0.89	c |      1823 |   11150    60741   195331 |    20247     1823     17 |  0.000 % |
0.59/0.89	c |      1923 |   11150    60741   195331 |    20247     1923     16 |  0.000 % |
0.59/0.90	c |      2034 |   11150    60741   195331 |    20247     2034     16 |  0.000 % |
0.59/0.93	c |      2155 |   11150    60741   195331 |    20247     2155     16 |  0.000 % |
0.59/0.95	c |      2288 |   11150    60741   195331 |    20247     2288     16 |  0.000 % |
0.59/0.97	c |      2435 |   11150    60741   195331 |    20247     2435     15 |  0.000 % |
0.59/0.99	c |      2595 |   11150    60741   195331 |    20247     2595     15 |  0.000 % |
0.59/1.00	c |      2697 |   11150    60741   195331 |    20247     2697     14 |  0.000 % |
1.02/1.02	c |      2807 |   11150    60741   195331 |    20247     2807     15 |  0.000 % |
1.02/1.03	c |      2929 |   11150    60741   195331 |    20247     2929     15 |  0.000 % |
1.02/1.05	c |      3062 |   11150    60741   195331 |    20247     3062     14 |  0.000 % |
1.02/1.06	c |      3208 |   11150    60741   195331 |    20247     3208     14 |  0.000 % |
1.02/1.07	c |      3369 |   11150    60741   195331 |    20247     3369     14 |  0.000 % |
1.02/1.09	c |      3548 |   11150    60741   195331 |    20247     3548     14 |  0.000 % |
1.02/1.11	c |      3649 |   11150    60741   195331 |    20247     3649     15 |  0.000 % |
1.11/1.13	c |      3759 |   11150    60741   195331 |    20247     3759     15 |  0.000 % |
1.11/1.15	c |      3880 |   11150    60741   195331 |    20247     3880     15 |  0.000 % |
1.11/1.16	c |      4013 |   11150    60741   195331 |    20247     4013     15 |  0.000 % |
1.11/1.18	c |      4160 |   11150    60741   195331 |    20247     4160     15 |  0.000 % |
1.11/1.20	c |      4320 |   11150    60741   195331 |    20247     4320     15 |  0.000 % |
1.20/1.23	c |      4497 |   11150    60741   195331 |    20247     4497     15 |  0.000 % |
1.20/1.25	c |      4691 |   11150    60741   195331 |    20247     4691     15 |  0.000 % |
1.20/1.25	c |      4793 |   11150    60741   195331 |    20247     4793     15 |  0.000 % |
1.20/1.27	c |      4904 |   11150    60741   195331 |    20247     4904     15 |  0.000 % |
1.20/1.28	c |      5025 |   11150    60741   195331 |    20247     5025     15 |  0.000 % |
1.30/1.31	c |      5158 |   11150    60741   195331 |    20247     5158     16 |  0.001 % |
1.30/1.33	c |      5305 |   11150    60741   195331 |    20247     5305     16 |  0.000 % |
1.30/1.36	c |      5465 |   11150    60741   195331 |    20247     5465     15 |  0.000 % |
1.30/1.38	c |      5641 |   11150    60741   195331 |    20247     5641     15 |  0.000 % |
1.30/1.40	c |      5836 |   11150    60741   195331 |    20247     5836     15 |  0.000 % |
1.40/1.44	c |      6049 |   11150    60741   195331 |    20247     6049     15 |  0.000 % |
1.40/1.46	c |      6151 |   11150    60741   195331 |    20247     6151     15 |  0.000 % |
1.40/1.48	c |      6261 |   11150    60741   195331 |    20247     6261     15 |  0.000 % |
1.40/1.50	c |      6382 |   11150    60741   195331 |    20247     6382     15 |  0.000 % |
1.50/1.51	c |      6515 |   11150    60741   195331 |    20247     6515     15 |  0.000 % |
1.50/1.54	c |      6661 |   11150    60741   195331 |    20247     6661     15 |  0.000 % |
1.50/1.58	c |      6821 |   11150    60741   195331 |    20247     6821     15 |  0.000 % |
1.60/1.61	c |      6998 |   11150    60741   195331 |    20247     6998     15 |  0.000 % |
1.60/1.65	c |      7191 |   11150    60741   195331 |    20247     7191     17 |  0.000 % |
1.60/1.68	c |      7404 |   11150    60741   195331 |    20247     7404     17 |  0.000 % |
1.70/1.72	c |      7637 |   11150    60741   195331 |    20247     7637     17 |  0.000 % |
1.70/1.75	c |      7737 |   11150    60741   195331 |    20247     7737     17 |  0.000 % |
1.70/1.76	c |      7847 |   11150    60741   195331 |    20247     7847     17 |  0.000 % |
1.70/1.78	c |      7969 |   11150    60741   195331 |    20247     7969     17 |  0.000 % |
1.70/1.80	c |      8102 |   11150    60741   195331 |    20247     8102     17 |  0.000 % |
1.80/1.83	c |      8249 |   11150    60741   195331 |    20247     8249     16 |  0.000 % |
1.80/1.85	c |      8409 |   11150    60741   195331 |    20247     8409     16 |  0.000 % |
1.90/1.92	c |      8585 |   11150    60741   195331 |    20247     8585     16 |  0.000 % |
1.90/1.97	c |      8778 |   11150    60741   195331 |    20247     8778     17 |  0.000 % |
1.90/1.99	c |      8992 |   11150    60741   195331 |    20247     8992     17 |  0.000 % |
2.00/2.01	c |      9225 |   11150    60741   195331 |    20247     9225     17 |  0.000 % |
2.00/2.05	c |      9481 |   11150    60741   195331 |    20247     9481     17 |  0.000 % |
2.00/2.06	c |      9582 |   11150    60741   195331 |    20247     9582     17 |  0.000 % |
2.00/2.09	c |      9693 |   11150    60741   195331 |    20247     9693     19 |  0.001 % |
2.10/2.11	c |      9814 |   11150    60741   195331 |    20247     9814     19 |  0.000 % |
2.10/2.16	c |      9948 |   11150    60741   195331 |    20247     9948     18 |  0.000 % |
2.10/2.17	c |     10096 |   11150    60741   195331 | 2147483647    10096     18 |  0.000 % |
2.10/2.21	c |     10256 |   11150    60741   195331 | 2147483647    10256     18 |  0.000 % |
2.21/2.23	c |     10432 |   11150    60741   195331 | 2147483647    10432     18 |  0.000 % |
2.21/2.28	c |     10625 |   11150    60741   195331 | 2147483647    10625     18 |  0.000 % |
2.30/2.31	c |     10839 |   11150    60741   195331 | 2147483647    10839     18 |  0.000 % |
2.30/2.33	c |     11073 |   11150    60741   195331 | 2147483647    11073     18 |  0.000 % |
2.40/2.41	c |     11330 |   11150    60741   195331 | 2147483647    11330     22 |  0.001 % |
2.40/2.45	c |     11611 |   11150    60741   195331 | 2147483647    11611     22 |  0.000 % |
2.40/2.46	c |     11711 |   11150    60741   195331 | 2147483647    11711     22 |  0.000 % |
2.40/2.48	c |     11822 |   11150    60741   195331 | 2147483647    11822     22 |  0.000 % |
2.40/2.50	c |     11943 |   11150    60741   195331 | 2147483647    11943     21 |  0.000 % |
2.50/2.51	c |     12076 |   11150    60741   195331 | 2147483647    12076     21 |  0.000 % |
2.50/2.54	c |     12222 |   11150    60741   195331 | 2147483647    12222     22 |  0.000 % |
2.50/2.57	c |     12383 |   11150    60741   195331 | 2147483647    12383     21 |  0.000 % |
2.50/2.60	c |     12559 |   11150    60741   195331 | 2147483647    12559     21 |  0.000 % |
2.60/2.66	c |     12752 |   11150    60741   195331 | 2147483647    12752     23 |  0.000 % |
2.60/2.70	c |     12964 |   11150    60741   195331 | 2147483647    12964     23 |  0.000 % |
2.70/2.74	c |     13197 |   11150    60741   195331 | 2147483647    13197     23 |  0.000 % |
2.70/2.79	c |     13453 |   11150    60741   195331 | 2147483647    13453     22 |  0.000 % |
2.80/2.83	c |     13734 |   11150    60741   195331 | 2147483647    13734     22 |  0.000 % |
2.80/2.87	c |     14043 |   11150    60741   195331 | 2147483647    14043     22 |  0.000 % |
2.90/2.92	c |     14143 |   11150    60741   195331 | 2147483647    14143     22 |  0.001 % |
2.90/2.93	c |     14255 |   11150    60741   195331 | 2147483647    14255     22 |  0.000 % |
2.90/2.95	c |     14376 |   11150    60741   195331 | 2147483647    14376     22 |  0.000 % |
2.90/2.98	c |     14510 |   11150    60741   195331 | 2147483647    14510     22 |  0.000 % |
2.90/3.00	c |     14657 |   11150    60741   195331 | 2147483647    14657     22 |  0.000 % |
3.00/3.01	c |     14817 |   11150    60741   195331 | 2147483647    14817     22 |  0.000 % |
3.00/3.03	c |     14993 |   11150    60741   195331 | 2147483647    14993     22 |  0.000 % |
3.00/3.07	c |     15186 |   11150    60741   195331 | 2147483647    15186     22 |  0.000 % |
3.00/3.11	c |     15398 |   11150    60741   195331 | 2147483647    15398     22 |  0.000 % |
3.10/3.15	c |     15633 |   11150    60741   195331 | 2147483647    15633     22 |  0.000 % |
3.10/3.18	c |     15889 |   11150    60741   195331 | 2147483647    15889     21 |  0.000 % |
3.20/3.24	c |     16170 |   11150    60741   195331 | 2147483647    16170     21 |  0.000 % |
3.20/3.27	c |     16479 |   11150    60741   195331 | 2147483647    16479     21 |  0.000 % |
3.20/3.30	c |     16818 |   11150    60741   195331 | 2147483647    16818     21 |  0.000 % |
3.20/3.31	c |     16918 |   11150    60741   195331 | 2147483647    16918     21 |  0.000 % |
3.31/3.34	c |     17028 |   11150    60741   195331 | 2147483647    17028     21 |  0.000 % |
3.31/3.37	c |     17150 |   11150    60741   195331 | 2147483647    17150     22 |  0.001 % |
3.40/3.41	c |     17283 |   11150    60741   195331 | 2147483647    17283     22 |  0.000 % |
3.40/3.45	c |     17429 |   11150    60741   195331 | 2147483647    17429     22 |  0.000 % |
3.40/3.46	c |     17589 |   11150    60741   195331 | 2147483647    17589     21 |  0.000 % |
3.40/3.50	c |     17765 |   11150    60741   195331 | 2147483647    17765     21 |  0.001 % |
3.50/3.52	c |     17959 |   11150    60741   195331 | 2147483647    17959     21 |  0.000 % |
3.50/3.56	c |     18173 |   11150    60741   195331 | 2147483647    18173     21 |  0.000 % |
3.60/3.62	c |     18407 |   11150    60741   195331 | 2147483647    18407     21 |  0.000 % |
3.60/3.66	c |     18664 |   11150    60741   195331 | 2147483647    18664     21 |  0.000 % |
3.70/3.71	c |     18946 |   11150    60741   195331 | 2147483647    18946     21 |  0.000 % |
3.70/3.75	c |     19259 |   11150    60741   195331 | 2147483647    19259     21 |  0.000 % |
3.70/3.80	c |     19599 |   11150    60741   195331 | 2147483647    19599     21 |  0.000 % |
3.80/3.87	c |     19972 |   11150    60741   195331 | 2147483647    19972     21 |  0.001 % |
3.80/3.89	c |     20073 |   11150    60741   195331 | 2147483647    20073     21 |  0.000 % |
3.90/3.92	c |     20183 |   11150    60741   195331 | 2147483647    20183     21 |  0.000 % |
3.90/3.95	c |     20304 |   11150    60741   195331 | 2147483647    20304     21 |  0.000 % |
3.90/3.98	c |     20437 |   11150    60741   195331 | 2147483647    20437     21 |  0.000 % |
4.00/4.02	c |     20584 |   11150    60741   195331 | 2147483647    20584     21 |  0.000 % |
4.00/4.08	c |     20745 |   11150    60741   195331 | 2147483647    20745     22 |  0.000 % |
4.10/4.11	c |     20922 |   11150    60741   195331 | 2147483647    20922     21 |  0.000 % |
4.10/4.13	c |     21115 |   11150    60741   195331 | 2147483647    21115     21 |  0.000 % |
4.10/4.15	c |     21327 |   11150    60741   195331 | 2147483647    21327     21 |  0.000 % |
4.10/4.17	c |     21560 |   11150    60741   195331 | 2147483647    21560     21 |  0.000 % |
4.20/4.23	c |     21819 |   11150    60741   195331 | 2147483647    21819     23 |  0.000 % |
4.20/4.28	c |     22102 |   11150    60741   195331 | 2147483647    22102     22 |  0.000 % |
4.30/4.34	c |     22411 |   11150    60741   195331 | 2147483647    22411     23 |  0.001 % |
4.30/4.39	c |     22751 |   11150    60741   195331 | 2147483647    22751     22 |  0.000 % |
4.41/4.46	c |     23123 |   11150    60741   195331 | 2147483647    23123     22 |  0.000 % |
4.50/4.51	c |     23532 |   11150    60741   195331 | 2147483647    23532     22 |  0.000 % |
4.50/4.55	c |     23632 |   11150    60741   195331 | 2147483647    23632     23 |  0.001 % |
4.50/4.57	c |     23742 |   11150    60741   195331 | 2147483647    23742     22 |  0.000 % |
4.50/4.58	c |     23863 |   11150    60741   195331 | 2147483647    23863     22 |  0.000 % |
4.50/4.60	c |     23996 |   11150    60741   195331 | 2147483647    23996     22 |  0.000 % |
4.60/4.62	c |     24142 |   11150    60741   195331 | 2147483647    24142     22 |  0.000 % |
4.60/4.66	c |     24303 |   11150    60741   195331 | 2147483647    24303     22 |  0.000 % |
4.60/4.69	c |     24481 |   11150    60741   195331 | 2147483647    24481     22 |  0.000 % |
4.70/4.72	c |     24674 |   11150    60741   195331 | 2147483647    24674     22 |  0.000 % |
4.70/4.73	c |     24887 |   11150    60741   195331 | 2147483647    24887     22 |  0.000 % |
4.70/4.77	c |     25120 |   11150    60741   195331 | 2147483647    25120     22 |  0.000 % |
4.80/4.82	c |     25377 |   11150    60741   195331 | 2147483647    25377     22 |  0.000 % |
4.80/4.85	c |     25659 |   11150    60741   195331 | 2147483647    25659     22 |  0.000 % |
4.80/4.89	c |     25968 |   11150    60741   195331 | 2147483647    25968     22 |  0.000 % |
4.90/4.99	c |     26308 |   11150    60741   195331 | 2147483647    26308     22 |  0.000 % |
5.00/5.09	c |     26680 |   11150    60741   195331 | 2147483647    26680     22 |  0.000 % |
5.10/5.16	c |     27089 |   11150    60741   195331 | 2147483647    27089     22 |  0.000 % |
5.30/5.35	c |     27538 |   11150    60741   195331 | 2147483647    27538     24 |  0.001 % |
5.30/5.37	c |     27638 |   11150    60741   195331 | 2147483647    27638     24 |  0.000 % |
5.30/5.39	c |     27749 |   11150    60741   195331 | 2147483647    27749     24 |  0.000 % |
5.30/5.40	c |     27870 |   11150    60741   195331 | 2147483647    27870     24 |  0.000 % |
5.40/5.41	c |     28003 |   11150    60741   195331 | 2147483647    28003     24 |  0.000 % |
5.40/5.46	c |     28150 |   11150    60741   195331 | 2147483647    28150     25 |  0.000 % |
5.40/5.52	c |     28310 |   11150    60741   195331 | 2147483647    28310     25 |  0.000 % |
5.51/5.55	c |     28487 |   11150    60741   195331 | 2147483647    28487     25 |  0.000 % |
5.51/5.59	c |     28680 |   11150    60741   195331 | 2147483647    28680     25 |  0.000 % |
5.60/5.63	c |     28893 |   11150    60741   195331 | 2147483647    28893     25 |  0.000 % |
5.60/5.71	c |     29126 |   11150    60741   195331 | 2147483647    29126     25 |  0.000 % |
5.70/5.78	c |     29382 |   11150    60741   195331 | 2147483647    29382     24 |  0.000 % |
5.80/5.84	c |     29665 |   11150    60741   195331 | 2147483647    29665     24 |  0.000 % |
5.80/5.88	c |     29975 |   11150    60741   195331 | 2147483647    29975     24 |  0.000 % |
5.90/5.93	c |     30314 |   11150    60741   195331 | 2147483647    30314     25 |  0.000 % |
5.90/5.98	c |     30687 |   11150    60741   195331 | 2147483647    30687     24 |  0.000 % |
6.00/6.03	c |     31096 |   11150    60741   195331 | 2147483647    31096     24 |  0.000 % |
6.10/6.15	c |     31545 |   11150    60741   195331 | 2147483647    31545     25 |  0.001 % |
6.30/6.36	c |     32039 |   11150    60741   195331 | 2147483647    32039     27 |  0.000 % |
6.30/6.39	c |     32142 |   11150    60741   195331 | 2147483647    32142     27 |  0.000 % |
6.40/6.41	c |     32252 |   11150    60741   195331 | 2147483647    32252     27 |  0.000 % |
6.40/6.43	c |     32374 |   11150    60741   195331 | 2147483647    32374     27 |  0.000 % |
6.40/6.45	c |     32507 |   11150    60741   195331 | 2147483647    32507     27 |  0.000 % |
6.50/6.54	c |     32655 |   11150    60741   195331 | 2147483647    32655     27 |  0.000 % |
6.50/6.61	c |     32815 |   11150    60741   195331 | 2147483647    32815     27 |  0.000 % |
6.61/6.65	c |     32991 |   11150    60741   195331 | 2147483647    32991     27 |  0.000 % |
6.70/6.72	c |     33185 |   11150    60741   195331 | 2147483647    33185     27 |  0.000 % |
6.70/6.75	c |     33397 |   11150    60741   195331 | 2147483647    33397     27 |  0.000 % |
6.70/6.79	c |     33630 |   11150    60741   195331 | 2147483647    33630     27 |  0.000 % |
6.80/6.85	c |     33887 |   11150    60741   195331 | 2147483647    33887     27 |  0.000 % |
6.80/6.90	c |     34171 |   11150    60741   195331 | 2147483647    34171     27 |  0.000 % |
6.90/6.95	c |     34480 |   11150    60741   195331 | 2147483647    34480     27 |  0.000 % |
7.00/7.01	c |     34822 |   11150    60741   195331 | 2147483647    34822     27 |  0.000 % |
7.00/7.08	c |     35194 |   11150    60741   195331 | 2147483647    35194     27 |  0.000 % |
7.20/7.21	c |     35604 |   11150    60741   195331 | 2147483647    35604     27 |  0.000 % |
7.20/7.27	c |     36054 |   11150    60741   195331 | 2147483647    36054     27 |  0.000 % |
7.40/7.46	c |     36547 |   11150    60741   195331 | 2147483647    36547     28 |  0.001 % |
7.50/7.58	c |     37090 |   11150    60741   195331 | 2147483647    37090     28 |  0.000 % |
7.50/7.59	c |     37190 |   11150    60741   195331 | 2147483647    37190     28 |  0.000 % |
7.60/7.62	c |     37300 |   11150    60741   195331 | 2147483647    37300     28 |  0.000 % |
7.60/7.64	c |     37423 |   11150    60741   195331 | 2147483647    37423     28 |  0.000 % |
7.60/7.67	c |     37556 |   11150    60741   195331 | 2147483647    37556     28 |  0.000 % |
7.71/7.75	c |     37703 |   11150    60741   195331 | 2147483647    37703     28 |  0.001 % |
7.80/7.82	c |     37864 |   11150    60741   195331 | 2147483647    37864     29 |  0.000 % |
7.80/7.87	c |     38040 |   11150    60741   195331 | 2147483647    38040     28 |  0.000 % |
7.90/7.94	c |     38235 |   11150    60741   195331 | 2147483647    38235     29 |  0.001 % |
7.90/7.99	c |     38447 |   11150    60741   195331 | 2147483647    38447     29 |  0.000 % |
8.00/8.07	c |     38680 |   11150    60741   195331 | 2147483647    38680     28 |  0.000 % |
8.10/8.17	c |     38936 |   11150    60741   195331 | 2147483647    38936     28 |  0.000 % |
8.20/8.23	c |     39217 |   11150    60741   195331 | 2147483647    39217     28 |  0.000 % |
8.20/8.28	c |     39526 |   11150    60741   195331 | 2147483647    39526     28 |  0.000 % |
8.40/8.41	c |     39866 |   11150    60741   195331 | 2147483647    39866     28 |  0.001 % |
8.50/8.54	c |     40239 |   11150    60741   195331 | 2147483647    40239     28 |  0.000 % |
8.60/8.68	c |     40648 |   11150    60741   195331 | 2147483647    40648     28 |  0.000 % |
8.81/8.82	c |     41100 |   11150    60741   195331 | 2147483647    41100     28 |  0.000 % |
8.90/8.93	c |     41596 |   11150    60741   195331 | 2147483647    41596     28 |  0.000 % |
9.00/9.05	c |     42139 |   11150    60741   195331 | 2147483647    42139     29 |  0.000 % |
9.20/9.21	c |     42735 |   11150    60741   195331 | 2147483647    42735     29 |  0.000 % |
9.20/9.24	c |     42835 |   11150    60741   195331 | 2147483647    42835     29 |  0.000 % |
9.20/9.26	c |     42947 |   11150    60741   195331 | 2147483647    42947     29 |  0.000 % |
9.20/9.29	c |     43068 |   11150    60741   195331 | 2147483647    43068     29 |  0.000 % |
9.30/9.36	c |     43202 |   11150    60741   195331 | 2147483647    43202     29 |  0.000 % |
9.40/9.41	c |     43348 |   11150    60741   195331 | 2147483647    43348     29 |  0.000 % |
9.40/9.45	c |     43508 |   11150    60741   195331 | 2147483647    43508     29 |  0.000 % |
9.50/9.52	c |     43685 |   11150    60741   195331 | 2147483647    43685     29 |  0.001 % |
9.50/9.59	c |     43878 |   11150    60741   195331 | 2147483647    43878     29 |  0.000 % |
9.60/9.68	c |     44090 |   11150    60741   195331 | 2147483647    44090     29 |  0.000 % |
9.70/9.78	c |     44323 |   11150    60741   195331 | 2147483647    44323     29 |  0.000 % |
9.80/9.85	c |     44579 |   11150    60741   195331 | 2147483647    44579     29 |  0.000 % |
9.91/9.92	c |     44860 |   11150    60741   195331 | 2147483647    44860     29 |  0.000 % |
9.91/9.96	c |     45170 |   11150    60741   195331 | 2147483647    45170     29 |  0.000 % |
10.00/10.05	c |     45509 |   11150    60741   195331 | 2147483647    45509     29 |  0.000 % |
10.20/10.23	c |     45881 |   11150    60741   195331 | 2147483647    45881     30 |  0.001 % |
10.30/10.35	c |     46292 |   11150    60741   195331 | 2147483647    46292     30 |  0.000 % |
10.40/10.46	c |     46741 |   11150    60741   195331 | 2147483647    46741     30 |  0.000 % |
10.50/10.52	c |     47234 |   11150    60741   195331 | 2147483647    47234     30 |  0.000 % |
10.60/10.64	c |     47776 |   11150    60741   195331 | 2147483647    47776     30 |  0.000 % |
10.60/10.70	c |     48372 |   11150    60741   195331 | 2147483647    48372     30 |  0.000 % |
10.80/10.81	c |     49028 |   11150    60741   195331 | 2147483647    49028     30 |  0.000 % |
10.80/10.89	c |     49128 |   11150    60741   195331 | 2147483647    49128     30 |  0.001 % |
10.90/10.95	c |     49238 |   11150    60741   195331 | 2147483647    49238     30 |  0.000 % |
10.90/10.98	c |     49359 |   11150    60741   195331 | 2147483647    49359     30 |  0.000 % |
10.90/11.00	c |     49492 |   11150    60741   195331 | 2147483647    49492     30 |  0.000 % |
11.01/11.05	c |     49638 |   11150    60741   195331 | 2147483647    49638     30 |  0.000 % |
11.01/11.09	c |     49798 |   11150    60741   195331 | 2147483647    49798     30 |  0.000 % |
11.10/11.15	c |     49974 |   11150    60741   195331 | 2147483647    49974     30 |  0.000 % |
11.20/11.21	c |     50168 |   11150    60741   195331 | 2147483647    50168     29 |  0.000 % |
11.20/11.28	c |     50380 |   11150    60741   195331 | 2147483647    50380     29 |  0.000 % |
11.30/11.36	c |     50614 |   11150    60741   195331 | 2147483647    50614     29 |  0.000 % |
11.40/11.43	c |     50871 |   11150    60741   195331 | 2147483647    50871     29 |  0.000 % |
11.40/11.50	c |     51153 |   11150    60741   195331 | 2147483647    51153     29 |  0.000 % |
11.50/11.59	c |     51463 |   11150    60741   195331 | 2147483647    51463     29 |  0.000 % |
11.60/11.68	c |     51802 |   11150    60741   195331 | 2147483647    51802     29 |  0.000 % |
11.80/11.85	c |     52175 |   11150    60741   195331 | 2147483647    52175     29 |  0.000 % |
11.90/11.92	c |     52584 |   11150    60741   195331 | 2147483647    52584     29 |  0.000 % |
12.11/12.18	c |     53033 |   11150    60741   195331 | 2147483647    53033     30 |  0.001 % |
12.30/12.35	c |     53528 |   11150    60741   195331 | 2147483647    53528     30 |  0.000 % |
12.50/12.59	c |     54070 |   11150    60741   195331 | 2147483647    54070     31 |  0.001 % |
12.70/12.76	c |     54667 |   11150    60741   195331 | 2147483647    54667     31 |  0.000 % |
13.00/13.08	c |     55322 |   11150    60741   195331 | 2147483647    55322     31 |  0.000 % |
13.21/13.23	c |     56042 |   11150    60741   195331 | 2147483647    56042     31 |  0.000 % |
13.21/13.29	c |     56142 |   11150    60741   195331 | 2147483647    56142     32 |  0.000 % |
13.30/13.35	c |     56252 |   11150    60741   195331 | 2147483647    56252     32 |  0.000 % |
13.30/13.39	c |     56373 |   11150    60741   195331 | 2147483647    56373     32 |  0.000 % |
13.30/13.40	c |     56506 |   11150    60741   195331 | 2147483647    56506     32 |  0.000 % |
13.40/13.49	c |     56653 |   11150    60741   195331 | 2147483647    56653     32 |  0.000 % |
13.50/13.55	c |     56813 |   11150    60741   195331 | 2147483647    56813     32 |  0.000 % |
13.60/13.61	c |     56990 |   11150    60741   195331 | 2147483647    56990     32 |  0.000 % |
13.60/13.66	c |     57184 |   11150    60741   195331 | 2147483647    57184     32 |  0.000 % |
13.70/13.74	c |     57397 |   11150    60741   195331 | 2147483647    57397     32 |  0.000 % |
13.70/13.79	c |     57631 |   11150    60741   195331 | 2147483647    57631     32 |  0.000 % |
13.80/13.87	c |     57889 |   11150    60741   195331 | 2147483647    57889     32 |  0.000 % |
13.90/13.97	c |     58170 |   11150    60741   195331 | 2147483647    58170     32 |  0.000 % |
14.10/14.14	c |     58481 |   11150    60741   195331 | 2147483647    58481     32 |  0.000 % |
14.20/14.24	c |     58820 |   11150    60741   195331 | 2147483647    58820     32 |  0.000 % |
14.20/14.31	c |     59192 |   11150    60741   195331 | 2147483647    59192     32 |  0.000 % |
14.31/14.36	c |     59601 |   11150    60741   195331 | 2147483647    59601     32 |  0.000 % |
14.40/14.43	c |     60051 |   11150    60741   195331 | 2147483647    60051     32 |  0.000 % |
14.60/14.64	c |     60544 |   11150    60741   195331 | 2147483647    60544     32 |  0.001 % |
14.70/14.74	c |     61087 |   11150    60741   195331 | 2147483647    61087     32 |  0.000 % |
15.00/15.03	c |     61685 |   11150    60741   195331 | 2147483647    61685     33 |  0.000 % |
15.10/15.19	c |     62341 |   11150    60741   195331 | 2147483647    62341     33 |  0.000 % |
15.30/15.35	c |     63061 |   11150    60741   195331 | 2147483647    63061     32 |  0.000 % |
15.60/15.65	c |     63855 |   11150    60741   195331 | 2147483647    63855     33 |  0.000 % |
15.60/15.70	c |     63956 |   11150    60741   195331 | 2147483647    63956     33 |  0.000 % |
15.70/15.74	c |     64068 |   11150    60741   195331 | 2147483647    64068     33 |  0.000 % |
15.70/15.79	c |     64189 |   11150    60741   195331 | 2147483647    64189     33 |  0.001 % |
15.80/15.85	c |     64322 |   11150    60741   195331 | 2147483647    64322     33 |  0.000 % |
15.90/15.91	c |     64468 |   11150    60741   195331 | 2147483647    64468     33 |  0.000 % |
15.90/15.95	c |     64629 |   11150    60741   195331 | 2147483647    64629     33 |  0.000 % |
15.90/16.00	c |     64806 |   11150    60741   195331 | 2147483647    64806     33 |  0.000 % |
16.10/16.11	c |     64999 |   11150    60741   195331 | 2147483647    64999     33 |  0.000 % |
16.10/16.17	c |     65211 |   11150    60741   195331 | 2147483647    65211     33 |  0.000 % |
16.20/16.22	c |     65444 |   11150    60741   195331 | 2147483647    65444     33 |  0.000 % |
16.20/16.29	c |     65703 |   11150    60741   195331 | 2147483647    65703     33 |  0.000 % |
16.30/16.35	c |     65984 |   11150    60741   195331 | 2147483647    65984     33 |  0.000 % |
16.40/16.41	c |     66294 |   11150    60741   195331 | 2147483647    66294     33 |  0.000 % |
16.40/16.48	c |     66635 |   11150    60741   195331 | 2147483647    66635     33 |  0.000 % |
16.51/16.56	c |     67007 |   11150    60741   195331 | 2147483647    67007     33 |  0.000 % |
16.90/16.95	c |     67416 |   11150    60741   195331 | 2147483647    67416     34 |  0.001 % |
17.10/17.14	c |     67866 |   11150    60741   195331 | 2147483647    67866     34 |  0.000 % |
17.30/17.36	c |     68360 |   11150    60741   195331 | 2147483647    68360     34 |  0.000 % |
17.50/17.51	c |     68903 |   11150    60741   195331 | 2147483647    68903     34 |  0.000 % |
17.61/17.63	c |     69501 |   11150    60741   195331 | 2147483647    69501     34 |  0.000 % |
17.90/17.92	c |     70158 |   11150    60741   195331 | 2147483647    70158     34 |  0.001 % |
18.10/18.12	c |     70878 |   11150    60741   195331 | 2147483647    70878     34 |  0.000 % |
18.30/18.35	c |     71672 |   11150    60741   195331 | 2147483647    71672     34 |  0.000 % |
18.71/18.77	c |     72543 |   11150    60741   195331 | 2147483647    72543     34 |  0.000 % |
18.80/18.86	c |     72643 |   11150    60741   195331 | 2147483647    72643     34 |  0.001 % |
18.90/18.95	c |     72753 |   11150    60741   195331 | 2147483647    72753     34 |  0.000 % |
18.90/19.00	c |     72874 |   11150    60741   195331 | 2147483647    72874     34 |  0.000 % |
19.00/19.04	c |     73007 |   11150    60741   195331 | 2147483647    73007     34 |  0.000 % |
19.00/19.10	c |     73153 |   11150    60741   195331 | 2147483647    73153     34 |  0.001 % |
19.20/19.21	c |     73313 |   11150    60741   195331 | 2147483647    73313     34 |  0.000 % |
19.20/19.25	c |     73489 |   11150    60741   195331 | 2147483647    73489     34 |  0.000 % |
19.30/19.31	c |     73682 |   11150    60741   195331 | 2147483647    73682     34 |  0.000 % |
19.30/19.38	c |     73894 |   11150    60741   195331 | 2147483647    73894     34 |  0.000 % |
19.50/19.52	c |     74127 |   11150    60741   195331 | 2147483647    74127     34 |  0.000 % |
19.60/19.63	c |     74384 |   11150    60741   195331 | 2147483647    74384     34 |  0.000 % |
19.70/19.73	c |     74665 |   11150    60741   195331 | 2147483647    74665     34 |  0.000 % |
19.70/19.79	c |     74976 |   11150    60741   195331 | 2147483647    74976     34 |  0.000 % |
19.81/19.88	c |     75315 |   11150    60741   195331 | 2147483647    75315     34 |  0.000 % |
20.00/20.01	c |     75689 |   11150    60741   195331 | 2147483647    75689     34 |  0.000 % |
20.10/20.11	c |     76100 |   11150    60741   195331 | 2147483647    76100     34 |  0.000 % |
20.20/20.21	c |     76551 |   11150    60741   195331 | 2147483647    76551     34 |  0.000 % |
20.40/20.44	c |     77045 |   11150    60741   195331 | 2147483647    77045     35 |  0.000 % |
20.91/20.98	c |     77588 |   11150    60741   195331 | 2147483647    77588     36 |  0.001 % |
21.00/21.10	c |     78184 |   11150    60741   195331 | 2147483647    78184     36 |  0.000 % |
21.20/21.28	c |     78842 |   11150    60741   195331 | 2147483647    78842     36 |  0.000 % |
21.40/21.42	c |     79562 |   11150    60741   195331 | 2147483647    79562     36 |  0.000 % |
21.90/21.92	c |     80354 |   11150    60741   195331 | 2147483647    80354     36 |  0.000 % |
22.01/22.10	c |     81225 |   11150    60741   195331 | 2147483647    81225     36 |  0.000 % |
22.30/22.37	c |     82183 |   11150    60741   195331 | 2147483647    82183     36 |  0.000 % |
22.30/22.40	c |     82283 |   11150    60741   195331 | 2147483647    82283     36 |  0.000 % |
22.40/22.44	c |     82395 |   11150    60741   195331 | 2147483647    82395     36 |  0.000 % |
22.40/22.48	c |     82518 |   11150    60741   195331 | 2147483647    82518     36 |  0.000 % |
22.50/22.60	c |     82652 |   11150    60741   195331 | 2147483647    82652     37 |  0.000 % |
22.70/22.74	c |     82798 |   11150    60741   195331 | 2147483647    82798     37 |  0.000 % |
22.70/22.80	c |     82958 |   11150    60741   195331 | 2147483647    82958     37 |  0.000 % |
22.80/22.88	c |     83134 |   11150    60741   195331 | 2147483647    83134     37 |  0.000 % |
22.90/22.97	c |     83327 |   11150    60741   195331 | 2147483647    83327     36 |  0.000 % |
23.00/23.06	c |     83539 |   11150    60741   195331 | 2147483647    83539     36 |  0.000 % |
23.11/23.21	c |     83773 |   11150    60741   195331 | 2147483647    83773     37 |  0.000 % |
23.20/23.29	c |     84029 |   11150    60741   195331 | 2147483647    84029     37 |  0.000 % |
23.60/23.61	c |     84312 |   11150    60741   195331 | 2147483647    84312     37 |  0.001 % |
23.70/23.76	c |     84623 |   11150    60741   195331 | 2147483647    84623     37 |  0.000 % |
23.90/23.95	c |     84962 |   11150    60741   195331 | 2147483647    84962     37 |  0.000 % |
24.00/24.06	c |     85335 |   11150    60741   195331 | 2147483647    85335     37 |  0.000 % |
24.10/24.18	c |     85745 |   11150    60741   195331 | 2147483647    85745     37 |  0.000 % |
24.30/24.31	c |     86194 |   11150    60741   195331 | 2147483647    86194     37 |  0.000 % |
24.50/24.54	c |     86689 |   11150    60741   195331 | 2147483647    86689     37 |  0.000 % |
24.70/24.73	c |     87231 |   11150    60741   195331 | 2147483647    87231     37 |  0.000 % |
24.80/24.90	c |     87827 |   11150    60741   195331 | 2147483647    87827     37 |  0.000 % |
25.00/25.02	c |     88483 |   11150    60741   195331 | 2147483647    88483     37 |  0.000 % |
25.20/25.29	c |     89204 |   11150    60741   195331 | 2147483647    89204     37 |  0.000 % |
25.40/25.48	c |     89996 |   11150    60741   195331 | 2147483647    89996     37 |  0.000 % |
25.60/25.66	c |     90868 |   11150    60741   195331 | 2147483647    90868     37 |  0.000 % |
25.90/25.93	c |     91826 |   11150    60741   195331 | 2147483647    91826     37 |  0.000 % |
26.10/26.13	c |     92880 |   11150    60741   195331 | 2147483647    92880     37 |  0.000 % |
26.10/26.17	c |     92982 |   11150    60741   195331 | 2147483647    92982     37 |  0.000 % |
26.20/26.21	c |     93092 |   11150    60741   195331 | 2147483647    93092     37 |  0.000 % |
26.30/26.32	c |     93213 |   11150    60741   195331 | 2147483647    93213     37 |  0.001 % |
26.30/26.37	c |     93347 |   11150    60741   195331 | 2147483647    93347     37 |  0.000 % |
26.30/26.40	c |     93494 |   11150    60741   195331 | 2147483647    93494     37 |  0.000 % |
26.41/26.50	c |     93659 |   11150    60741   195331 | 2147483647    93659     37 |  0.000 % |
26.50/26.57	c |     93835 |   11150    60741   195331 | 2147483647    93835     37 |  0.000 % |
26.60/26.62	c |     94029 |   11150    60741   195331 | 2147483647    94029     37 |  0.000 % |
26.70/26.77	c |     94242 |   11150    60741   195331 | 2147483647    94242     37 |  0.001 % |
26.90/26.91	c |     94478 |   11150    60741   195331 | 2147483647    94478     37 |  0.000 % |
27.00/27.05	c |     94735 |   11150    60741   195331 | 2147483647    94735     37 |  0.000 % |
27.20/27.24	c |     95016 |   11150    60741   195331 | 2147483647    95016     37 |  0.000 % |
27.40/27.48	c |     95328 |   11150    60741   195331 | 2147483647    95328     37 |  0.001 % |
27.60/27.66	c |     95667 |   11150    60741   195331 | 2147483647    95667     37 |  0.000 % |
27.70/27.74	c |     96041 |   11150    60741   195331 | 2147483647    96041     37 |  0.000 % |
28.00/28.05	c |     96452 |   11150    60741   195331 | 2147483647    96452     38 |  0.001 % |
28.10/28.19	c |     96901 |   11150    60741   195331 | 2147483647    96901     38 |  0.000 % |
28.30/28.39	c |     97394 |   11150    60741   195331 | 2147483647    97394     37 |  0.000 % |
28.50/28.60	c |     97936 |   11150    60741   195331 | 2147483647    97936     37 |  0.000 % |
28.70/28.73	c |     98532 |   11150    60741   195331 | 2147483647    98532     37 |  0.000 % |
29.30/29.37	c |     99187 |   11150    60741   195331 | 2147483647    99187     38 |  0.001 % |
29.71/29.72	c |     99908 |   11150    60741   195331 | 2147483647    99908     38 |  0.000 % |
29.80/29.87	c |    100700 |   11150    60741   195331 | 2147483647   100700     38 |  0.000 % |
30.10/30.17	c |    101573 |   11150    60741   195331 | 2147483647   101573     38 |  0.000 % |
30.60/30.70	c |    102532 |   11150    60741   195331 | 2147483647   102532     39 |  0.000 % |
31.10/31.21	c |    103585 |   11150    60741   195331 | 2147483647   103585     39 |  0.000 % |
31.50/31.54	c |    104744 |   11150    60741   195331 | 2147483647   104744     39 |  0.000 % |
31.60/31.62	c |    104847 |   11150    60741   195331 | 2147483647   104847     39 |  0.000 % |
31.60/31.69	c |    104959 |   11150    60741   195331 | 2147483647   104959     39 |  0.000 % |
31.70/31.77	c |    105080 |   11150    60741   195331 | 2147483647   105080     39 |  0.000 % |
31.80/31.89	c |    105214 |   11150    60741   195331 | 2147483647   105214     39 |  0.001 % |
31.91/32.00	c |    105363 |   11150    60741   195331 | 2147483647   105363     39 |  0.000 % |
32.00/32.08	c |    105523 |   11150    60741   195331 | 2147483647   105523     39 |  0.000 % |
32.20/32.22	c |    105699 |   11150    60741   195331 | 2147483647   105699     40 |  0.001 % |
32.30/32.32	c |    105893 |   11150    60741   195331 | 2147483647   105893     40 |  0.000 % |
32.40/32.44	c |    106105 |   11150    60741   195331 | 2147483647   106105     39 |  0.000 % |
32.50/32.58	c |    106338 |   11150    60741   195331 | 2147483647   106338     39 |  0.000 % |
32.60/32.69	c |    106595 |   11150    60741   195331 | 2147483647   106595     39 |  0.000 % |
33.01/33.06	c |    106876 |   11150    60741   195331 | 2147483647   106876     40 |  0.001 % |
33.30/33.32	c |    107186 |   11150    60741   195331 | 2147483647   107186     40 |  0.001 % |
33.60/33.66	c |    107526 |   11150    60741   195331 | 2147483647   107526     40 |  0.000 % |
33.80/33.81	c |    107898 |   11150    60741   195331 | 2147483647   107898     40 |  0.001 % |
33.90/33.97	c |    108308 |   11150    60741   195331 | 2147483647   108308     40 |  0.000 % |
34.11/34.18	c |    108759 |   11150    60741   195331 | 2147483647   108759     40 |  0.000 % |
34.30/34.32	c |    109252 |   11150    60741   195331 | 2147483647   109252     40 |  0.000 % |
34.30/34.40	c |    109795 |   11150    60741   195331 | 2147483647   109795     40 |  0.000 % |
34.50/34.54	c |    110392 |   11150    60741   195331 | 2147483647   110392     40 |  0.000 % |
34.80/34.81	c |    111047 |   11150    60741   195331 | 2147483647   111047     40 |  0.000 % |
35.10/35.16	c |    111768 |   11150    60741   195331 | 2147483647   111768     40 |  0.001 % |
35.40/35.45	c |    112565 |   11150    60741   195331 | 2147483647   112565     41 |  0.000 % |
36.40/36.42	c |    113436 |   11150    60741   195331 | 2147483647   113436     41 |  0.001 % |
36.70/36.75	c |    114398 |   11150    60741   195331 | 2147483647   114398     41 |  0.000 % |
36.90/36.92	c |    115451 |   11150    60741   195331 | 2147483647   115451     41 |  0.000 % |
37.20/37.25	c |    116610 |   11150    60741   195331 | 2147483647   116610     41 |  0.000 % |
37.50/37.59	c |    117883 |   11150    60741   195331 | 2147483647   117883     41 |  0.000 % |
37.60/37.63	c |    117983 |   11150    60741   195331 | 2147483647   117983     41 |  0.000 % |
37.60/37.66	c |    118095 |   11150    60741   195331 | 2147483647   118095     41 |  0.000 % |
37.70/37.77	c |    118216 |   11150    60741   195331 | 2147483647   118216     41 |  0.000 % |
37.80/37.84	c |    118350 |   11150    60741   195331 | 2147483647   118350     41 |  0.000 % |
37.80/37.90	c |    118497 |   11150    60741   195331 | 2147483647   118497     41 |  0.000 % |
38.00/38.03	c |    118658 |   11150    60741   195331 | 2147483647   118658     41 |  0.000 % |
38.00/38.07	c |    118834 |   11150    60741   195331 | 2147483647   118834     41 |  0.000 % |
38.10/38.17	c |    119027 |   11150    60741   195331 | 2147483647   119027     41 |  0.000 % |
38.30/38.33	c |    119239 |   11150    60741   195331 | 2147483647   119239     41 |  0.001 % |
38.40/38.45	c |    119473 |   11150    60741   195331 | 2147483647   119473     41 |  0.000 % |
38.60/38.62	c |    119729 |   11150    60741   195331 | 2147483647   119729     42 |  0.000 % |
38.80/38.81	c |    120010 |   11150    60741   195331 | 2147483647   120010     41 |  0.000 % |
39.00/39.09	c |    120319 |   11150    60741   195331 | 2147483647   120319     42 |  0.001 % |
39.20/39.27	c |    120659 |   11150    60741   195331 | 2147483647   120659     42 |  0.000 % |
39.30/39.40	c |    121031 |   11150    60741   195331 | 2147483647   121031     42 |  0.000 % |
39.70/39.80	c |    121441 |   11150    60741   195331 | 2147483647   121441     42 |  0.001 % |
40.21/40.24	c |    121890 |   11150    60741   195331 | 2147483647   121890     42 |  0.000 % |
40.41/40.50	c |    122383 |   11150    60741   195331 | 2147483647   122383     42 |  0.000 % |
40.61/40.69	c |    122926 |   11150    60741   195331 | 2147483647   122926     42 |  0.000 % |
40.71/40.80	c |    123523 |   11150    60741   195331 | 2147483647   123523     42 |  0.000 % |
41.11/41.17	c |    124179 |   11150    60741   195331 | 2147483647   124179     42 |  0.001 % |
41.61/41.65	c |    124899 |   11150    60741   195331 | 2147483647   124899     43 |  0.000 % |
42.11/42.15	c |    125692 |   11149    60736   195321 | 2147483647   125690     42 |  0.009 % |
42.41/42.48	c |    126564 |   11149    60736   195321 | 2147483647   126562     42 |  0.009 % |
42.91/42.95	c |    127522 |   11149    60736   195321 | 2147483647   127520     43 |  0.010 % |
44.21/44.22	c |    128578 |   11149    60736   195321 | 2147483647   128576     44 |  0.010 % |
44.51/44.55	c |    129736 |   11149    60736   195321 | 2147483647   129734     44 |  0.009 % |
44.81/44.91	c |    131010 |   11149    60736   195321 | 2147483647   131008     44 |  0.009 % |
46.71/46.78	c |    132411 |   11149    60736   195321 | 2147483647   132409     45 |  0.010 % |
46.81/46.86	c |    132516 |   11149    60736   195321 | 2147483647   132514     45 |  0.009 % |
46.91/46.98	c |    132626 |   11149    60736   195321 | 2147483647   132624     45 |  0.010 % |
47.11/47.13	c |    132747 |   11149    60736   195321 | 2147483647   132745     45 |  0.009 % |
47.21/47.22	c |    132880 |   11149    60736   195321 | 2147483647   132878     45 |  0.009 % |
47.21/47.24	c |    133027 |   11149    60736   195321 | 2147483647   133025     45 |  0.009 % |
47.31/47.38	c |    133187 |   11149    60736   195321 | 2147483647   133185     45 |  0.009 % |
47.51/47.52	c |    133363 |   11149    60736   195321 | 2147483647   133361     45 |  0.009 % |
47.61/47.64	c |    133556 |   11149    60736   195321 | 2147483647   133554     45 |  0.009 % |
47.71/47.80	c |    133768 |   11149    60736   195321 | 2147483647   133766     45 |  0.009 % |
47.91/47.96	c |    134001 |   11149    60736   195321 | 2147483647   133999     45 |  0.009 % |
48.31/48.36	c |    134257 |   11149    60736   195321 | 2147483647   134255     46 |  0.010 % |
48.61/48.62	c |    134538 |   11149    60736   195321 | 2147483647   134536     46 |  0.009 % |
48.81/48.86	c |    134847 |   11149    60736   195321 | 2147483647   134845     46 |  0.010 % |
49.21/49.24	c |    135186 |   11149    60736   195321 | 2147483647   135184     46 |  0.009 % |
49.41/49.46	c |    135559 |   11149    60736   195321 | 2147483647   135557     46 |  0.009 % |
49.91/49.93	c |    135968 |   11149    60736   195321 | 2147483647   135966     46 |  0.010 % |
50.11/50.15	c |    136418 |   11149    60736   195321 | 2147483647   136416     46 |  0.009 % |
50.41/50.44	c |    136914 |   11149    60736   195321 | 2147483647   136912     46 |  0.009 % |
50.61/50.63	c |    137457 |   11149    60736   195321 | 2147483647   137455     46 |  0.009 % |
50.81/50.81	c |    138053 |   11149    60736   195321 | 2147483647   138051     46 |  0.009 % |
51.11/51.17	c |    138709 |   11149    60736   195321 | 2147483647   138707     46 |  0.009 % |
51.71/51.73	c |    139429 |   11149    60736   195321 | 2147483647   139427     46 |  0.009 % |
52.01/52.09	c |    140222 |   11149    60736   195321 | 2147483647   140220     46 |  0.009 % |
52.31/52.34	c |    141095 |   11149    60736   195321 | 2147483647   141093     46 |  0.009 % |
53.01/53.01	c |    142053 |   11149    60736   195321 | 2147483647   142051     46 |  0.009 % |
53.71/53.76	c |    143107 |   11149    60736   195321 | 2147483647   143105     47 |  0.009 % |
54.51/54.55	c |    144266 |   11149    60736   195321 | 2147483647   144264     47 |  0.009 % |
55.01/55.03	c |    145539 |   11149    60736   195321 | 2147483647   145537     47 |  0.009 % |
56.51/56.56	c |    146939 |   11149    60736   195321 | 2147483647   146937     48 |  0.010 % |
57.61/57.65	c |    148479 |   11149    60736   195321 | 2147483647   148477     49 |  0.009 % |
57.61/57.71	c |    148579 |   11149    60736   195321 | 2147483647   148577     48 |  0.009 % |
57.81/57.86	c |    148689 |   11149    60736   195321 | 2147483647   148687     49 |  0.009 % |
57.91/57.92	c |    148811 |   11149    60736   195321 | 2147483647   148809     49 |  0.009 % |
58.01/58.02	c |    148945 |   11149    60736   195321 | 2147483647   148943     49 |  0.009 % |
58.01/58.09	c |    149092 |   11149    60736   195321 | 2147483647   149090     49 |  0.009 % |
58.11/58.20	c |    149253 |   11149    60736   195321 | 2147483647   149251     49 |  0.009 % |
58.31/58.33	c |    149430 |   11149    60736   195321 | 2147483647   149428     49 |  0.009 % |
58.41/58.50	c |    149623 |   11149    60736   195321 | 2147483647   149621     49 |  0.009 % |
58.61/58.66	c |    149835 |   11149    60736   195321 | 2147483647   149833     49 |  0.009 % |
58.71/58.79	c |    150068 |   11149    60736   195321 | 2147483647   150066     49 |  0.009 % |
59.22/59.28	c |    150324 |   11149    60736   195321 | 2147483647   150322     49 |  0.010 % |
59.42/59.44	c |    150606 |   11149    60736   195321 | 2147483647   150604     49 |  0.009 % |
59.42/59.51	c |    150915 |   11149    60736   195321 | 2147483647   150913     49 |  0.009 % |
59.62/59.63	c |    151254 |   11149    60736   195321 | 2147483647   151252     49 |  0.009 % |
59.72/59.81	c |    151627 |   11149    60736   195321 | 2147483647   151625     49 |  0.009 % |
59.92/59.99	c |    152038 |   11149    60736   195321 | 2147483647   152036     49 |  0.009 % |
60.32/60.35	c |    152487 |   11149    60736   195321 | 2147483647   152485     49 |  0.010 % |
60.62/60.70	c |    152981 |   11149    60736   195321 | 2147483647   152979     49 |  0.009 % |
61.12/61.15	c |    153523 |   11149    60736   195321 | 2147483647   153521     49 |  0.009 % |
61.52/61.55	c |    154121 |   11149    60736   195321 | 2147483647   154119     49 |  0.010 % |
61.92/61.93	c |    154778 |   11149    60736   195321 | 2147483647   154776     49 |  0.009 % |
62.42/62.49	c |    155500 |   11149    60736   195321 | 2147483647   155498     49 |  0.009 % |
63.12/63.19	c |    156292 |   11149    60736   195321 | 2147483647   156290     49 |  0.010 % |
63.72/63.78	c |    157165 |   11149    60736   195321 | 2147483647   157163     49 |  0.009 % |
64.62/64.71	c |    158124 |   11149    60736   195321 | 2147483647   158122     49 |  0.009 % |
65.22/65.23	c |    159178 |   11149    60736   195321 | 2147483647   159176     49 |  0.009 % |
65.52/65.55	c |    160339 |   11149    60736   195321 | 2147483647   160337     49 |  0.009 % |
65.92/65.99	c |    161613 |   11149    60736   195321 | 2147483647   161611     49 |  0.009 % |
67.11/67.18	c |    163015 |   11149    60736   195321 | 2147483647   163013     49 |  0.009 % |
68.21/68.29	c |    164555 |   11149    60736   195321 | 2147483647   164553     50 |  0.009 % |
69.51/69.54	c |    166250 |   11149    60736   195321 | 2147483647   166248     50 |  0.010 % |
69.61/69.66	c |    166351 |   11149    60736   195321 | 2147483647   166349     50 |  0.009 % |
69.71/69.75	c |    166461 |   11149    60736   195321 | 2147483647   166459     50 |  0.009 % |
69.81/69.87	c |    166583 |   11149    60736   195321 | 2147483647   166581     50 |  0.009 % |
70.01/70.11	c |    166717 |   11149    60736   195321 | 2147483647   166715     50 |  0.010 % |
70.21/70.27	c |    166865 |   11149    60736   195321 | 2147483647   166863     50 |  0.009 % |
70.31/70.40	c |    167025 |   11149    60736   195321 | 2147483647   167023     50 |  0.009 % |
70.61/70.65	c |    167202 |   11149    60736   195321 | 2147483647   167200     51 |  0.010 % |
70.71/70.80	c |    167396 |   11149    60736   195321 | 2147483647   167394     51 |  0.009 % |
70.81/70.90	c |    167608 |   11149    60736   195321 | 2147483647   167606     51 |  0.009 % |
71.01/71.04	c |    167841 |   11149    60736   195321 | 2147483647   167839     51 |  0.009 % |
71.11/71.19	c |    168101 |   11149    60736   195321 | 2147483647   168099     51 |  0.009 % |
71.41/71.43	c |    168382 |   11149    60736   195321 | 2147483647   168380     51 |  0.009 % |
71.51/71.57	c |    168691 |   11149    60736   195321 | 2147483647   168689     50 |  0.009 % |
71.71/71.75	c |    169030 |   11149    60736   195321 | 2147483647   169028     50 |  0.009 % |
72.11/72.11	c |    169402 |   11149    60736   195321 | 2147483647   169400     51 |  0.010 % |
72.41/72.48	c |    169811 |   11149    60736   195321 | 2147483647   169809     51 |  0.009 % |
72.61/72.64	c |    170262 |   11149    60736   195321 | 2147483647   170260     51 |  0.009 % |
72.81/72.87	c |    170756 |   11149    60736   195321 | 2147483647   170754     51 |  0.009 % |
73.01/73.07	c |    171299 |   11149    60736   195321 | 2147483647   171297     51 |  0.009 % |
73.41/73.42	c |    171895 |   11149    60736   195321 | 2147483647   171893     51 |  0.009 % |
73.71/73.76	c |    172551 |   11149    60736   195321 | 2147483647   172549     50 |  0.009 % |
74.11/74.21	c |    173271 |   11149    60736   195321 | 2147483647   173269     51 |  0.010 % |
74.51/74.61	c |    174067 |   11149    60736   195321 | 2147483647   174065     51 |  0.009 % |
75.91/75.93	c |    174938 |   11149    60736   195321 | 2147483647   174936     51 |  0.009 % |
76.81/76.84	c |    175896 |   11149    60736   195321 | 2147483647   175894     51 |  0.009 % |
77.21/77.25	c |    176949 |   11149    60736   195321 | 2147483647   176947     51 |  0.009 % |
77.61/77.67	c |    178108 |   11149    60736   195321 | 2147483647   178106     51 |  0.009 % |
78.11/78.21	c |    179382 |   11149    60736   195321 | 2147483647   179380     51 |  0.009 % |
78.81/78.91	c |    180782 |   11149    60736   195321 | 2147483647   180780     51 |  0.009 % |
80.01/80.03	c |    182323 |   11149    60736   195321 | 2147483647   182321     51 |  0.009 % |
80.61/80.62	c |    184019 |   11149    60736   195321 | 2147483647   184017     51 |  0.009 % |
81.71/81.80	c |    185882 |   11149    60736   195321 | 2147483647   185880     52 |  0.009 % |
81.81/81.90	c |    185982 |   11149    60736   195321 | 2147483647   185980     52 |  0.009 % |
82.01/82.04	c |    186093 |   11149    60736   195321 | 2147483647   186091     52 |  0.009 % |
82.21/82.25	c |    186219 |   11149    60736   195321 | 2147483647   186217     52 |  0.010 % |
82.31/82.39	c |    186352 |   11149    60736   195321 | 2147483647   186350     52 |  0.009 % |
82.51/82.52	c |    186498 |   11149    60736   195321 | 2147483647   186496     52 |  0.009 % |
82.61/82.67	c |    186659 |   11149    60736   195321 | 2147483647   186657     52 |  0.009 % |
82.71/82.77	c |    186835 |   11149    60736   195321 | 2147483647   186833     52 |  0.009 % |
82.91/82.95	c |    187028 |   11149    60736   195321 | 2147483647   187026     51 |  0.009 % |
83.31/83.39	c |    187240 |   11149    60736   195321 | 2147483647   187238     52 |  0.010 % |
83.61/83.62	c |    187474 |   11149    60736   195321 | 2147483647   187472     52 |  0.009 % |
83.71/83.78	c |    187730 |   11149    60736   195321 | 2147483647   187728     52 |  0.009 % |
83.91/83.97	c |    188011 |   11149    60736   195321 | 2147483647   188009     52 |  0.009 % |
84.61/84.64	c |    188321 |   11149    60736   195321 | 2147483647   188319     52 |  0.010 % |
84.91/84.96	c |    188662 |   11149    60736   195321 | 2147483647   188660     52 |  0.009 % |
85.11/85.16	c |    189034 |   11149    60736   195321 | 2147483647   189032     52 |  0.009 % |
85.41/85.49	c |    189443 |   11149    60736   195321 | 2147483647   189441     52 |  0.009 % |
85.61/85.71	c |    189892 |   11149    60736   195321 | 2147483647   189890     52 |  0.009 % |
86.11/86.16	c |    190385 |   11149    60736   195321 | 2147483647   190383     52 |  0.009 % |
86.21/86.30	c |    190927 |   11149    60736   195321 | 2147483647   190925     52 |  0.009 % |
86.51/86.55	c |    191523 |   11149    60736   195321 | 2147483647   191521     52 |  0.009 % |
87.11/87.12	c |    192178 |   11149    60736   195321 | 2147483647   192176     52 |  0.010 % |
87.61/87.68	c |    192898 |   11149    60736   195321 | 2147483647   192896     52 |  0.009 % |
88.01/88.11	c |    193690 |   11149    60736   195321 | 2147483647   193688     52 |  0.009 % |
88.61/88.63	c |    194564 |   11149    60736   195321 | 2147483647   194562     52 |  0.009 % |
89.41/89.42	c |    195523 |   11149    60736   195321 | 2147483647   195521     52 |  0.009 % |
90.01/90.11	c |    196576 |   11149    60736   195321 | 2147483647   196574     52 |  0.010 % |
90.91/90.91	c |    197735 |   11149    60736   195321 | 2147483647   197733     52 |  0.010 % |
92.21/92.23	c |    199009 |   11149    60736   195321 | 2147483647   199007     52 |  0.009 % |
93.41/93.43	c |    200409 |   11149    60736   195321 | 2147483647   200407     53 |  0.009 % |
95.11/95.20	c |    201949 |   11149    60736   195321 | 2147483647   201947     53 |  0.009 % |
96.31/96.38	c |    203643 |   11149    60736   195321 | 2147483647   203641     53 |  0.009 % |
96.91/96.95	c |    205509 |   11149    60736   195321 | 2147483647   205507     53 |  0.009 % |
98.81/98.88	c |    207558 |   11149    60736   195321 | 2147483647   207556     54 |  0.009 % |
99.11/99.18	c |    207658 |   11149    60736   195321 | 2147483647   207656     54 |  0.010 % |
99.21/99.30	c |    207768 |   11149    60736   195321 | 2147483647   207766     54 |  0.009 % |
99.31/99.35	c |    207889 |   11149    60736   195321 | 2147483647   207887     54 |  0.009 % |
99.41/99.46	c |    208022 |   11149    60736   195321 | 2147483647   208020     54 |  0.009 % |
99.81/99.86	c |    208168 |   11149    60736   195321 | 2147483647   208166     54 |  0.009 % |
100.01/100.09	c |    208328 |   11149    60736   195321 | 2147483647   208326     54 |  0.009 % |
100.21/100.25	c |    208504 |   11149    60736   195321 | 2147483647   208502     54 |  0.009 % |
100.71/100.73	c |    208699 |   11149    60736   195321 | 2147483647   208697     54 |  0.009 % |
100.91/100.95	c |    208911 |   11149    60736   195321 | 2147483647   208909     54 |  0.009 % |
101.11/101.16	c |    209145 |   11149    60736   195321 | 2147483647   209143     54 |  0.009 % |
101.31/101.32	c |    209402 |   11149    60736   195321 | 2147483647   209400     54 |  0.009 % |
101.51/101.55	c |    209683 |   11149    60736   195321 | 2147483647   209681     54 |  0.009 % |
101.81/101.81	c |    209992 |   11149    60736   195321 | 2147483647   209990     54 |  0.009 % |
102.11/102.14	c |    210331 |   11149    60736   195321 | 2147483647   210329     54 |  0.009 % |
102.31/102.37	c |    210705 |   11149    60736   195321 | 2147483647   210703     54 |  0.009 % |
102.71/102.74	c |    211115 |   11149    60736   195321 | 2147483647   211113     54 |  0.009 % |
102.91/103.01	c |    211568 |   11149    60736   195321 | 2147483647   211566     54 |  0.009 % |
103.41/103.46	c |    212061 |   11149    60736   195321 | 2147483647   212059     54 |  0.010 % |
104.11/104.13	c |    212603 |   11149    60736   195321 | 2147483647   212601     54 |  0.010 % |
104.71/104.72	c |    213199 |   11149    60736   195321 | 2147483647   213197     55 |  0.009 % |
105.31/105.33	c |    213854 |   11149    60736   195321 | 2147483647   213852     55 |  0.009 % |
105.91/105.94	c |    214574 |   11149    60736   195321 | 2147483647   214572     55 |  0.009 % |
106.61/106.65	c |    215372 |   11149    60736   195321 | 2147483647   215370     55 |  0.010 % |
107.21/107.22	c |    216243 |   11149    60736   195321 | 2147483647   216241     55 |  0.009 % |
108.41/108.44	c |    217204 |   11149    60736   195321 | 2147483647   217202     55 |  0.009 % |
108.91/108.94	c |    218257 |   11149    60736   195321 | 2147483647   218255     55 |  0.009 % |
109.71/109.73	c |    219415 |   11149    60736   195321 | 2147483647   219413     55 |  0.009 % |
110.31/110.34	c |    220690 |   11149    60736   195321 | 2147483647   220688     55 |  0.009 % |
111.91/111.96	c |    222091 |   11149    60736   195321 | 2147483647   222089     54 |  0.009 % |
113.21/113.26	c |    223631 |   11149    60736   195321 | 2147483647   223629     55 |  0.009 % |
114.51/114.53	c |    225326 |   11149    60736   195321 | 2147483647   225324     55 |  0.009 % |
116.11/116.11	c |    227189 |   11149    60736   195321 | 2147483647   227187     55 |  0.009 % |
117.51/117.59	c |    229238 |   11149    60736   195321 | 2147483647   229236     55 |  0.009 % |
119.01/119.01	c |    231491 |   11149    60736   195321 |   230000   231489     55 |  0.009 % |
119.41/119.47	c |    231591 |   11149    60736   195321 |   230000   202514     55 |  0.009 % |
119.61/119.63	c |    231701 |   11149    60736   195321 |   230000   202624     55 |  0.010 % |
119.71/119.73	c |    231823 |   11149    60736   195321 |   230000   202746     55 |  0.009 % |
119.81/119.91	c |    231958 |   11149    60736   195321 |   230000   202881     55 |  0.009 % |
120.01/120.06	c |    232104 |   11149    60736   195321 |   230000   203027     55 |  0.009 % |
120.11/120.15	c |    232264 |   11149    60736   195321 |   230000   203187     55 |  0.009 % |
120.21/120.28	c |    232442 |   11149    60736   195321 |   230000   203365     55 |  0.009 % |
120.31/120.37	c |    232636 |   11149    60736   195321 |   230000   203559     55 |  0.009 % |
120.51/120.56	c |    232848 |   11149    60736   195321 |   230000   203771     55 |  0.009 % |
120.91/120.92	c |    233084 |   11149    60736   195321 |   230000   204007     55 |  0.009 % |
121.51/121.54	c |    233340 |   11149    60736   195321 |   230000   204263     55 |  0.010 % |
122.01/122.04	c |    233622 |   11149    60736   195321 |   230000   204545     55 |  0.009 % |
122.21/122.29	c |    233933 |   11149    60736   195321 |   230000   204856     55 |  0.009 % |
122.41/122.47	c |    234272 |   11149    60736   195321 |   230000   205195     55 |  0.009 % |
122.71/122.73	c |    234644 |   11149    60736   195321 |   230000   205567     55 |  0.009 % |
122.91/123.00	c |    235054 |   11149    60736   195321 |   230000   205977     55 |  0.009 % |
123.41/123.48	c |    235503 |   11149    60736   195321 |   230000   206426     55 |  0.009 % |
123.71/123.78	c |    235997 |   11149    60736   195321 |   230000   206920     55 |  0.010 % |
124.21/124.29	c |    236540 |   11149    60736   195321 |   230000   207463     55 |  0.009 % |
124.81/124.87	c |    237136 |   11149    60736   195321 |   230000   208059     55 |  0.009 % |
125.91/125.97	c |    237792 |   11149    60736   195321 |   230000   208715     55 |  0.009 % |
127.01/127.08	c |    238513 |   11149    60736   195321 |   230000   209436     56 |  0.009 % |
128.11/128.13	c |    239306 |   11149    60736   195321 |   230000   210229     56 |  0.010 % |
129.11/129.21	c |    240177 |   11149    60736   195321 | 2147483647   211100     56 |  0.009 % |
130.01/130.08	c |    241135 |   11149    60736   195321 | 2147483647   212058     56 |  0.009 % |
130.41/130.50	c |    242188 |   11149    60736   195321 | 2147483647   213111     56 |  0.009 % |
131.11/131.16	c |    243346 |   11149    60736   195321 | 2147483647   214269     56 |  0.009 % |
132.02/132.06	c |    244620 |   11149    60736   195321 | 2147483647   215543     56 |  0.009 % |
133.12/133.16	c |    246020 |   11149    60736   195321 | 2147483647   216943     55 |  0.009 % |
134.91/134.92	c |    247562 |   11149    60736   195321 | 2147483647   218485     56 |  0.009 % |
135.61/135.67	c |    249256 |   11149    60736   195321 | 2147483647   220179     56 |  0.009 % |
136.71/136.80	c |    251120 |   11149    60736   195321 | 2147483647   222043     56 |  0.009 % |
138.71/138.77	c |    253170 |   11149    60736   195321 | 2147483647   224093     56 |  0.009 % |
139.72/139.75	c |    255423 |   11149    60736   195321 | 2147483647   226346     55 |  0.009 % |
141.31/141.38	c |    257902 |   11149    60736   195321 | 2147483647   228825     55 |  0.009 % |
141.41/141.47	c |    258002 |   11149    60736   195321 | 2147483647   228925     55 |  0.009 % |
141.71/141.77	c |    258114 |   11149    60736   195321 | 2147483647   229037     55 |  0.009 % |
141.92/141.96	c |    258235 |   11149    60736   195321 | 2147483647   229158     55 |  0.009 % |
142.01/142.06	c |    258370 |   11149    60736   195321 | 2147483647   229293     55 |  0.009 % |
142.21/142.21	c |    258518 |   11149    60736   195321 | 2147483647   229441     55 |  0.009 % |
142.51/142.51	c |    258679 |   11149    60736   195321 | 2147483647   229602     55 |  0.009 % |
142.61/142.67	c |    258855 |   11149    60736   195321 | 2147483647   229778     55 |  0.009 % |
142.81/142.85	c |    259048 |   11149    60736   195321 | 2147483647   229971     55 |  0.009 % |
143.11/143.12	c |    259260 |   11149    60736   195321 | 2147483647   230183     56 |  0.009 % |
143.41/143.48	c |    259493 |   11149    60736   195321 | 2147483647   230416     56 |  0.009 % |
143.71/143.72	c |    259750 |   11149    60736   195321 | 2147483647   230673     56 |  0.009 % |
143.71/143.81	c |    260031 |   11149    60736   195321 | 2147483647   230954     56 |  0.009 % |
144.41/144.45	c |    260344 |   11149    60736   195321 | 2147483647   231267     56 |  0.009 % |
144.91/144.91	c |    260683 |   11149    60736   195321 | 2147483647   231606     56 |  0.009 % |
145.11/145.21	c |    261056 |   11149    60736   195321 | 2147483647   231979     56 |  0.009 % |
145.51/145.53	c |    261465 |   11149    60736   195321 | 2147483647   232388     56 |  0.009 % |
146.01/146.05	c |    261917 |   11149    60736   195321 | 2147483647   232840     56 |  0.009 % |
146.41/146.41	c |    262410 |   11149    60736   195321 | 2147483647   233333     56 |  0.009 % |
146.71/146.78	c |    262952 |   11149    60736   195321 | 2147483647   233875     56 |  0.009 % |
147.42/147.44	c |    263548 |   11149    60736   195321 | 2147483647   234471     56 |  0.009 % |
148.21/148.25	c |    264205 |   11149    60736   195321 | 2147483647   235128     56 |  0.009 % |
148.81/148.89	c |    264926 |   11149    60736   195321 | 2147483647   235849     56 |  0.009 % |
149.91/149.94	c |    265719 |   11149    60736   195321 | 2147483647   236642     56 |  0.009 % |
151.11/151.14	c |    266590 |   11149    60736   195321 | 2147483647   237513     56 |  0.009 % |
152.31/152.40	c |    267548 |   11149    60736   195321 | 2147483647   238471     56 |  0.009 % |
153.41/153.47	c |    268603 |   11149    60736   195321 | 2147483647   239526     56 |  0.010 % |
154.51/154.54	c |    269761 |   11149    60736   195321 | 2147483647   240684     56 |  0.009 % |
155.91/155.97	c |    271035 |   11149    60736   195321 |   240925   241958     56 |  0.009 % |
157.11/157.19	c |    272435 |   11149    60736   195321 |   240925   212775     58 |  0.009 % |
158.91/158.96	c |    273975 |   11149    60736   195321 |   240925   214315     58 |  0.009 % |
159.81/159.86	c |    275670 |   11149    60736   195321 |   240925   216010     58 |  0.009 % |
161.21/161.26	c |    277533 |   11149    60736   195321 |   240925   217873     57 |  0.009 % |
163.41/163.45	c |    279582 |   11149    60736   195321 |   240925   219922     58 |  0.009 % |
165.41/165.45	c |    281835 |   11149    60736   195321 |   220340   222175     58 |  0.010 % |
166.71/166.77	c |    284313 |   11149    60736   195321 |   220340   202436     56 |  0.009 % |
169.11/169.16	c |    287039 |   11149    60736   195321 |   220340   205162     55 |  0.009 % |
169.31/169.32	c |    287140 |   11149    60736   195321 |   220340   205263     55 |  0.009 % |
169.42/169.46	c |    287250 |   11149    60736   195321 |   220340   205373     55 |  0.009 % |
169.51/169.57	c |    287372 |   11149    60736   195321 |   220340   205495     55 |  0.009 % |
169.61/169.63	c |    287505 |   11149    60736   195321 |   220340   205628     55 |  0.009 % |
169.81/169.83	c |    287652 |   11149    60736   195321 |   220340   205775     55 |  0.010 % |
170.01/170.01	c |    287812 |   11149    60736   195321 |   220340   205935     55 |  0.009 % |
170.11/170.13	c |    287989 |   11149    60736   195321 |   220340   206112     55 |  0.009 % |
170.31/170.33	c |    288183 |   11149    60736   195321 |   220340   206306     55 |  0.009 % |
170.52/170.58	c |    288395 |   11149    60736   195321 |   220340   206518     55 |  0.009 % |
170.71/170.77	c |    288628 |   11149    60736   195321 |   220340   206751     55 |  0.009 % |
170.82/170.84	c |    288886 |   11149    60736   195321 |   220340   207009     55 |  0.009 % |
170.92/170.97	c |    289167 |   11149    60736   195321 |   220340   207290     55 |  0.009 % |
171.22/171.30	c |    289476 |   11149    60736   195321 |   220340   207599     55 |  0.009 % |
171.72/171.74	c |    289815 |   11149    60736   195321 |   220340   207938     55 |  0.009 % |
171.82/171.84	c |    290189 |   11149    60736   195321 | 2147483647   208312     55 |  0.009 % |
172.22/172.23	c |    290600 |   11149    60736   195321 | 2147483647   208723     55 |  0.009 % |
172.42/172.47	c |    291052 |   11149    60736   195321 | 2147483647   209175     55 |  0.009 % |
173.52/173.52	c |    291547 |   11149    60736   195321 | 2147483647   209670     55 |  0.010 % |
173.92/173.99	c |    292089 |   11149    60736   195321 | 2147483647   210212     56 |  0.009 % |
174.52/174.53	c |    292686 |   11149    60736   195321 | 2147483647   210809     56 |  0.010 % |
175.22/175.25	c |    293342 |   11149    60736   195321 | 2147483647   211465     56 |  0.009 % |
176.02/176.04	c |    294063 |   11149    60736   195321 | 2147483647   212186     56 |  0.009 % |
176.82/176.88	c |    294856 |   11149    60736   195321 | 2147483647   212979     56 |  0.010 % |
177.42/177.51	c |    295728 |   11149    60736   195321 | 2147483647   213851     56 |  0.009 % |
178.32/178.41	c |    296688 |   11149    60736   195321 | 2147483647   214811     56 |  0.009 % |
179.32/179.36	c |    297741 |   11149    60736   195321 | 2147483647   215864     56 |  0.009 % |
180.42/180.44	c |    298900 |   11149    60736   195321 | 2147483647   217023     56 |  0.009 % |
181.52/181.53	c |    300173 |   11149    60736   195321 | 2147483647   218296     56 |  0.009 % |
182.52/182.56	c |    301573 |   11149    60736   195321 | 2147483647   219696     55 |  0.009 % |
184.32/184.38	c |    303115 |   11149    60736   195321 | 2147483647   221238     56 |  0.009 % |
185.62/185.63	c |    304809 |   11149    60736   195321 | 2147483647   222932     56 |  0.009 % |
186.82/186.84	c |    306672 |   11149    60736   195321 | 2147483647   224795     56 |  0.009 % |
188.62/188.62	c |    308721 |   11149    60736   195321 | 2147483647   226844     56 |  0.009 % |
189.82/189.84	c |    310976 |   11149    60736   195321 | 2147483647   229099     56 |  0.009 % |
192.82/192.90	c |    313454 |   11149    60736   195321 | 2147483647   231577     56 |  0.009 % |
195.72/195.75	c |    316179 |   11149    60736   195321 | 2147483647   234302     56 |  0.009 % |
197.62/197.65	c |    319177 |   11149    60736   195321 | 2147483647   237300     56 |  0.009 % |
197.72/197.72	c |    319277 |   11149    60736   195321 | 2147483647   237400     56 |  0.009 % |
197.72/197.79	c |    319389 |   11149    60736   195321 | 2147483647   237512     56 |  0.009 % |
197.82/197.91	c |    319512 |   11149    60736   195321 | 2147483647   237635     56 |  0.010 % |
198.12/198.16	c |    319646 |   11149    60736   195321 | 2147483647   237769     56 |  0.009 % |
198.42/198.49	c |    319795 |   11149    60736   195321 | 2147483647   237918     56 |  0.009 % |
198.52/198.59	c |    319956 |   11149    60736   195321 | 2147483647   238079     56 |  0.009 % |
198.92/198.93	c |    320132 |   11149    60736   195321 | 2147483647   238255     56 |  0.009 % |
199.02/199.03	c |    320325 |   11149    60736   195321 | 2147483647   238448     56 |  0.009 % |
199.12/199.17	c |    320537 |   11149    60736   195321 | 2147483647   238660     56 |  0.009 % |
199.52/199.57	c |    320771 |   11149    60736   195321 | 2147483647   238894     56 |  0.009 % |
199.82/199.86	c |    321027 |   11149    60736   195321 | 2147483647   239150     56 |  0.009 % |
200.62/200.66	c |    321308 |   11149    60736   195321 | 2147483647   239431     56 |  0.010 % |
200.92/201.00	c |    321617 |   11149    60736   195321 | 2147483647   239740     56 |  0.009 % |
201.32/201.32	c |    321958 |   11149    60736   195321 | 2147483647   240081     56 |  0.009 % |
201.62/201.63	c |    322331 |   11149    60736   195321 | 2147483647   240454     56 |  0.009 % |
201.92/201.96	c |    322740 |   11149    60736   195321 | 2147483647   240863     56 |  0.009 % |
202.02/202.09	c |    323189 |   11149    60736   195321 | 2147483647   241312     56 |  0.009 % |
202.52/202.55	c |    323683 |   11149    60736   195321 | 2147483647   241806     56 |  0.009 % |
202.92/202.94	c |    324225 |   11149    60736   195321 | 2147483647   242348     56 |  0.009 % |
203.62/203.65	c |    324821 |   11149    60736   195321 | 2147483647   242944     56 |  0.009 % |
204.12/204.13	c |    325478 |   11149    60736   195321 | 2147483647   243601     56 |  0.009 % |
204.52/204.59	c |    326200 |   11149    60736   195321 | 2147483647   244323     56 |  0.009 % |
205.52/205.51	c |    326993 |   11149    60736   195321 | 2147483647   245116     56 |  0.009 % |
206.72/206.72	c |    327864 |   11149    60736   195321 | 2147483647   245987     56 |  0.009 % |
207.72/207.72	c |    328822 |   11149    60736   195321 | 2147483647   246945     56 |  0.009 % |
208.22/208.30	c |    329875 |   11149    60736   195321 | 2147483647   247998     56 |  0.009 % |
209.52/209.58	c |    331033 |   11149    60736   195321 | 2147483647   249156     56 |  0.009 % |
211.02/211.08	c |    332306 |   11149    60736   195321 | 2147483647   250429     56 |  0.010 % |
211.92/211.98	c |    333706 |   11149    60736   195321 | 2147483647   251829     56 |  0.009 % |
212.82/212.89	c |    335246 |   11149    60736   195321 | 2147483647   253369     56 |  0.009 % |
214.82/214.91	c |    336941 |   11149    60736   195321 | 2147483647   255064     56 |  0.009 % |
215.72/215.76	c |    338804 |   11149    60736   195321 | 2147483647   256927     55 |  0.009 % |
216.32/216.41	c |    340853 |   11149    60736   195321 | 2147483647   258976     55 |  0.009 % |
218.62/218.65	c |    343106 |   11149    60736   195321 | 2147483647   261229     55 |  0.009 % |
220.42/220.51	c |    345584 |   11149    60736   195321 | 2147483647   263707     55 |  0.009 % |
224.42/224.41	c |    348309 |   11149    60736   195321 | 2147483647   266432     55 |  0.010 % |
227.82/227.84	c |    351306 |   11149    60736   195321 |   268123   269429     56 |  0.009 % |
231.52/231.58	c |    354603 |   11149    60736   195321 |   268123   237319     53 |  0.009 % |
231.62/231.64	c |    354703 |   11149    60736   195321 |   268123   237419     53 |  0.009 % |
231.72/231.75	c |    354814 |   11149    60736   195321 |   268123   237530     53 |  0.009 % |
231.92/231.96	c |    354935 |   11149    60736   195321 |   268123   237651     53 |  0.009 % |
232.12/232.18	c |    355068 |   11149    60736   195321 |   268123   237784     53 |  0.009 % |
232.52/232.53	c |    355215 |   11149    60736   195321 |   268123   237931     53 |  0.010 % |
232.72/232.79	c |    355375 |   11149    60736   195321 |   268123   238091     53 |  0.009 % |
232.92/233.00	c |    355551 |   11149    60736   195321 |   268123   238267     53 |  0.009 % |
233.22/233.29	c |    355747 |   11149    60736   195321 |   268123   238463     53 |  0.010 % |
233.52/233.55	c |    355960 |   11149    60736   195321 |   268123   238676     53 |  0.009 % |
233.72/233.76	c |    356193 |   11149    60736   195321 |   268123   238909     53 |  0.009 % |
233.82/233.85	c |    356450 |   11149    60736   195321 |   268123   239166     53 |  0.009 % |
234.12/234.16	c |    356734 |   11149    60736   195321 |   268123   239450     53 |  0.009 % |
234.32/234.34	c |    357043 |   11149    60736   195321 |   268123   239759     53 |  0.009 % |
234.92/235.01	c |    357383 |   11149    60736   195321 |   268123   240099     53 |  0.009 % |
235.62/235.62	c |    357757 |   11149    60736   195321 |   268123   240473     53 |  0.009 % |
236.02/236.05	c |    358166 |   11149    60736   195321 |   268123   240882     53 |  0.009 % |
236.32/236.39	c |    358615 |   11149    60736   195321 |   268123   241331     53 |  0.009 % |
237.02/237.06	c |    359108 |   11149    60736   195321 |   268123   241824     53 |  0.009 % |
237.82/237.87	c |    359650 |   11149    60736   195321 |   268123   242366     53 |  0.009 % |
238.42/238.51	c |    360246 |   11149    60736   195321 |   242716   242962     53 |  0.009 % |
239.22/239.28	c |    360901 |   11149    60736   195321 |   242716   209690     50 |  0.009 % |
239.52/239.53	c |    361623 |   11149    60736   195321 |   242716   210412     50 |  0.009 % |
240.02/240.08	c |    362416 |   11149    60736   195321 |   242716   211205     50 |  0.009 % |
240.42/240.49	c |    363287 |   11149    60736   195321 |   242716   212076     50 |  0.009 % |
241.42/241.42	c |    364248 |   11149    60736   195321 |   242716   213037     50 |  0.009 % |
242.92/242.96	c |    365301 |   11149    60736   195321 |   242716   214090     50 |  0.009 % |
244.12/244.18	c |    366459 |   11149    60736   195321 |   242716   215248     50 |  0.009 % |
245.22/245.23	c |    367733 |   11149    60736   195321 |   242716   216522     51 |  0.009 % |
246.52/246.51	c |    369133 |   11149    60736   195321 |   242716   217922     51 |  0.009 % |
248.22/248.30	c |    370673 |   11149    60736   195321 | 2147483647   219462     51 |  0.009 % |
249.73/249.75	c |    372370 |   11149    60736   195321 | 2147483647   221159     50 |  0.009 % |
251.93/251.93	c |    374234 |   11149    60736   195321 | 2147483647   223023     50 |  0.009 % |
253.62/253.70	c |    376283 |   11149    60736   195321 | 2147483647   225072     50 |  0.009 % |
255.42/255.47	c |    378538 |   11149    60736   195321 | 2147483647   227327     51 |  0.009 % |
258.82/258.85	c |    381018 |   11149    60736   195321 |   228789   229807     51 |  0.010 % |
261.83/261.89	c |    383743 |   11149    60736   195321 |   228789   202920     50 |  0.010 % |
264.62/264.65	c |    386740 |   11149    60736   195321 |   228789   205917     51 |  0.009 % |
266.82/266.86	c |    390039 |   11149    60736   195321 | 2147483647   209216     51 |  0.009 % |
270.12/270.19	c |    393665 |   11149    60736   195321 | 2147483647   212842     52 |  0.010 % |
270.32/270.33	c |    393765 |   11149    60736   195321 | 2147483647   212942     52 |  0.009 % |
270.32/270.40	c |    393877 |   11149    60736   195321 | 2147483647   213054     52 |  0.009 % |
270.42/270.47	c |    393998 |   11149    60736   195321 | 2147483647   213175     52 |  0.009 % |
270.52/270.57	c |    394132 |   11149    60736   195321 | 2147483647   213309     52 |  0.009 % |
270.72/270.78	c |    394279 |   11149    60736   195321 | 2147483647   213456     52 |  0.009 % |
270.92/270.97	c |    394439 |   11149    60736   195321 | 2147483647   213616     52 |  0.009 % |
271.12/271.19	c |    394615 |   11149    60736   195321 | 2147483647   213792     52 |  0.009 % |
271.32/271.34	c |    394809 |   11149    60736   195321 | 2147483647   213986     52 |  0.009 % |
271.52/271.53	c |    395021 |   11149    60736   195321 | 2147483647   214198     52 |  0.009 % |
271.82/271.83	c |    395255 |   11149    60736   195321 | 2147483647   214432     52 |  0.009 % |
272.02/272.11	c |    395512 |   11149    60736   195321 | 2147483647   214689     52 |  0.009 % |
272.62/272.65	c |    395795 |   11149    60736   195321 | 2147483647   214972     53 |  0.010 % |
273.02/273.04	c |    396106 |   11149    60736   195321 | 2147483647   215283     53 |  0.009 % |
273.12/273.17	c |    396447 |   11149    60736   195321 | 2147483647   215624     53 |  0.009 % |
273.42/273.47	c |    396819 |   11149    60736   195321 | 2147483647   215996     53 |  0.009 % |
273.82/273.90	c |    397228 |   11149    60736   195321 | 2147483647   216405     53 |  0.009 % |
274.22/274.24	c |    397677 |   11149    60736   195321 | 2147483647   216854     53 |  0.009 % |
274.92/274.96	c |    398170 |   11149    60736   195321 | 2147483647   217347     53 |  0.009 % |
275.42/275.42	c |    398714 |   11149    60736   195321 | 2147483647   217891     52 |  0.009 % |
276.42/276.41	c |    399312 |   11149    60736   195321 | 2147483647   218489     53 |  0.009 % |
276.92/276.99	c |    399967 |   11149    60736   195321 | 2147483647   219144     53 |  0.009 % |
277.42/277.46	c |    400689 |   11149    60736   195321 | 2147483647   219866     53 |  0.009 % |
278.22/278.28	c |    401481 |   11149    60736   195321 | 2147483647   220658     53 |  0.009 % |
278.62/278.70	c |    402353 |   11149    60736   195321 | 2147483647   221530     53 |  0.009 % |
279.43/279.50	c |    403312 |   11149    60736   195321 | 2147483647   222489     53 |  0.009 % |
280.02/280.06	c |    404366 |   11149    60736   195321 | 2147483647   223543     53 |  0.009 % |
280.72/280.74	c |    405526 |   11149    60736   195321 | 2147483647   224703     52 |  0.009 % |
282.02/282.01	c |    406803 |   11149    60736   195321 | 2147483647   225980     53 |  0.010 % |
283.12/283.15	c |    408204 |   11149    60736   195321 | 2147483647   227381     53 |  0.009 % |
284.02/284.04	c |    409745 |   11149    60736   195321 | 2147483647   228922     53 |  0.009 % |
284.82/284.90	c |    411440 |   11149    60736   195321 | 2147483647   230617     53 |  0.009 % |
286.52/286.53	c |    413303 |   11149    60736   195321 | 2147483647   232480     53 |  0.009 % |
288.82/288.84	c |    415353 |   11149    60736   195321 | 2147483647   234530     53 |  0.009 % |
290.82/290.89	c |    417609 |   11149    60736   195321 | 2147483647   236786     53 |  0.009 % |
293.52/293.58	c |    420087 |   11149    60736   195321 | 2147483647   239264     53 |  0.009 % |
299.12/299.21	c |    422812 |   11149    60736   195321 | 2147483647   241989     54 |  0.010 % |
301.52/301.56	c |    425809 |   11149    60736   195321 | 2147483647   244986     54 |  0.009 % |
305.33/305.37	c |    429105 |   11149    60736   195321 | 2147483647   248282     54 |  0.009 % |
308.73/308.72	c |    432732 |   11149    60736   195321 |   249178   226767     53 |  0.009 % |
313.43/313.48	c |    436720 |   11149    60736   195321 |   249178   230755     53 |  0.009 % |
313.53/313.56	c |    436820 |   11149    60736   195321 |   249178   230855     53 |  0.009 % |
313.63/313.70	c |    436931 |   11149    60736   195321 |   249178   230966     53 |  0.009 % |
313.73/313.79	c |    437053 |   11149    60736   195321 |   249178   231088     53 |  0.009 % |
313.93/314.01	c |    437186 |   11149    60736   195321 |   249178   231221     53 |  0.009 % |
314.13/314.16	c |    437333 |   11149    60736   195321 |   249178   231368     53 |  0.009 % |
314.33/314.39	c |    437493 |   11149    60736   195321 |   249178   231528     53 |  0.009 % |
314.53/314.58	c |    437670 |   11149    60736   195321 |   249178   231705     53 |  0.009 % |
314.73/314.77	c |    437864 |   11149    60736   195321 |   249178   231899     53 |  0.009 % |
314.93/314.94	c |    438076 |   11149    60736   195321 |   249178   232111     53 |  0.009 % |
315.13/315.21	c |    438311 |   11149    60736   195321 |   249178   232346     53 |  0.010 % |
315.43/315.42	c |    438569 |   11149    60736   195321 |   249178   232604     53 |  0.009 % |
315.63/315.65	c |    438851 |   11149    60736   195321 |   249178   232886     53 |  0.010 % |
315.73/315.76	c |    439162 |   11149    60736   195321 |   249178   233197     53 |  0.009 % |
316.13/316.20	c |    439501 |   11149    60736   195321 |   249178   233536     53 |  0.009 % |
316.53/316.59	c |    439874 |   11149    60736   195321 |   249178   233909     53 |  0.009 % |
316.93/317.01	c |    440283 |   11149    60736   195321 |   234035   234318     53 |  0.009 % |
317.83/317.84	c |    440733 |   11149    60736   195321 |   234035   194802     50 |  0.009 % |
318.03/318.08	c |    441227 |   11149    60736   195321 |   234035   195296     50 |  0.009 % |
318.63/318.71	c |    441769 |   11149    60736   195321 |   234035   195838     50 |  0.009 % |
319.13/319.18	c |    442368 |   11149    60736   195321 |   234035   196437     50 |  0.009 % |
319.63/319.67	c |    443023 |   11149    60736   195321 |   234035   197092     50 |  0.009 % |
321.03/321.07	c |    443743 |   11149    60736   195321 |   234035   197812     50 |  0.010 % |
321.53/321.52	c |    444540 |   11149    60736   195321 |   234035   198609     50 |  0.009 % |
322.43/322.42	c |    445411 |   11149    60736   195321 |   234035   199480     51 |  0.010 % |
323.03/323.10	c |    446369 |   11149    60736   195321 |   234035   200438     51 |  0.009 % |
323.53/323.54	c |    447422 |   11149    60736   195321 |   234035   201491     51 |  0.009 % |
324.83/324.83	c |    448581 |   11149    60736   195321 |   234035   202650     51 |  0.009 % |
325.53/325.58	c |    449855 |   11149    60736   195321 |   234035   203924     51 |  0.009 % |
326.83/326.91	c |    451255 |   11149    60736   195321 |   204069   184894     49 |  0.009 % |
328.43/328.43	c |    452795 |   11149    60736   195321 |   204069   186434     49 |  0.009 % |
330.03/330.05	c |    454491 |   11149    60736   195321 |   204069   188130     49 |  0.009 % |
331.03/331.05	c |    456354 |   11149    60736   195321 |   204069   189993     49 |  0.009 % |
333.13/333.19	c |    458404 |   11149    60736   195321 |   204069   192043     49 |  0.009 % |
334.53/334.52	c |    460657 |   11149    60736   195321 | 2147483647   194296     49 |  0.009 % |
336.83/336.88	c |    463137 |   11149    60736   195321 | 2147483647   196776     49 |  0.009 % |
339.93/339.96	c |    465864 |   11149    60736   195321 | 2147483647   199503     49 |  0.009 % |
342.43/342.43	c |    468861 |   11149    60736   195321 | 2147483647   202500     49 |  0.009 % |
345.93/345.99	c |    472158 |   11149    60736   195321 | 2147483647   205797     49 |  0.009 % |
350.83/350.83	c |    475783 |   11149    60736   195321 | 2147483647   209422     49 |  0.009 % |
353.53/353.59	c |    479770 |   11149    60736   195321 | 2147483647   213409     49 |  0.009 % |
359.53/359.55	c |    484155 |   11149    60736   195321 |   213640   162807     47 |  0.009 % |
359.63/359.62	c |    484256 |   11149    60736   195321 |   213640   162908     47 |  0.009 % |
359.73/359.75	c |    484366 |   11149    60736   195321 |   213640   163018     47 |  0.009 % |
359.83/359.86	c |    484487 |   11149    60736   195321 |   213640   163139     47 |  0.009 % |
359.93/359.97	c |    484620 |   11149    60736   195321 |   213640   163272     47 |  0.009 % |
360.03/360.10	c |    484766 |   11149    60736   195321 |   213640   163418     47 |  0.009 % |
360.23/360.28	c |    484928 |   11149    60736   195321 |   213640   163580     47 |  0.009 % |
360.33/360.36	c |    485105 |   11149    60736   195321 |   213640   163757     47 |  0.009 % |
360.53/360.53	c |    485298 |   11149    60736   195321 |   213640   163950     47 |  0.009 % |
360.63/360.63	c |    485511 |   11149    60736   195321 |   213640   164163     47 |  0.009 % |
360.83/360.89	c |    485746 |   11149    60736   195321 |   213640   164398     47 |  0.010 % |
361.03/361.11	c |    486002 |   11149    60736   195321 |   213640   164654     47 |  0.009 % |
361.33/361.38	c |    486286 |   11149    60736   195321 |   213640   164938     47 |  0.009 % |
361.63/361.69	c |    486596 |   11149    60736   195321 |   213640   165248     47 |  0.009 % |
361.83/361.83	c |    486936 |   11149    60736   195321 |   213640   165588     47 |  0.009 % |
362.33/362.34	c |    487308 |   11149    60736   195321 |   213640   165960     47 |  0.009 % |
362.53/362.55	c |    487717 |   11149    60736   195321 |   213640   166369     47 |  0.009 % |
362.73/362.79	c |    488167 |   11149    60736   195321 |   213640   166819     47 |  0.009 % |
363.23/363.29	c |    488662 |   11149    60736   195321 |   213640   167314     47 |  0.009 % |
363.83/363.82	c |    489204 |   11149    60736   195321 |   213640   167856     47 |  0.009 % |
364.43/364.43	c |    489801 |   11149    60736   195321 |   213640   168453     47 |  0.009 % |
365.03/365.01	c |    490456 |   11149    60736   195321 |   168652   169108     47 |  0.009 % |
366.03/366.11	c |    491176 |   11149    60736   195321 |   168652   144770     41 |  0.009 % |
366.53/366.60	c |    491970 |   11149    60736   195321 |   168652   145564     41 |  0.009 % |
367.13/367.20	c |    492841 |   11149    60736   195321 |   168652   146435     41 |  0.009 % |
367.73/367.75	c |    493800 |   11149    60736   195321 |   168652   147394     41 |  0.009 % |
368.23/368.28	c |    494854 |   11149    60736   195321 |   168652   148448     41 |  0.009 % |
368.73/368.72	c |    496013 |   11149    60736   195321 |   168652   149607     41 |  0.009 % |
369.83/369.88	c |    497288 |   11149    60736   195321 |   168652   150882     42 |  0.009 % |
370.93/371.00	c |    498688 |   11149    60736   195321 |   168652   152282     42 |  0.009 % |
372.23/372.30	c |    500230 |   11149    60736   195321 | 2147483647   153824     43 |  0.009 % |
373.73/373.75	c |    501925 |   11149    60736   195321 | 2147483647   155519     43 |  0.009 % |
374.43/374.48	c |    503789 |   11149    60736   195321 | 2147483647   157383     43 |  0.009 % |
376.43/376.41	c |    505841 |   11149    60736   195321 | 2147483647   159435     43 |  0.009 % |
377.83/377.86	c |    508094 |   11149    60736   195321 | 2147483647   161688     43 |  0.009 % |
379.93/380.00	c |    510572 |   11149    60736   195321 | 2147483647   164166     44 |  0.010 % |
383.94/383.99	c |    513298 |   11149    60736   195321 | 2147483647   166892     46 |  0.010 % |
385.93/385.99	c |    516295 |   11149    60736   195321 | 2147483647   169889     46 |  0.009 % |
388.43/388.48	c |    519591 |   11149    60736   195321 | 2147483647   173185     46 |  0.009 % |
393.33/393.39	c |    523218 |   11149    60736   195321 | 2147483647   176812     48 |  0.010 % |
396.23/396.30	c |    527205 |   11149    60736   195321 | 2147483647   180799     49 |  0.009 % |
399.13/399.11	c |    531590 |   11149    60736   195321 | 2147483647   185184     49 |  0.009 % |
402.73/402.81	c |    536413 |   11149    60736   195321 | 2147483647   190007     51 |  0.009 % |
402.93/402.94	c |    536513 |   11149    60736   195321 | 2147483647   190107     51 |  0.009 % |
403.23/403.22	c |    536623 |   11149    60736   195321 | 2147483647   190217     51 |  0.010 % |
403.33/403.34	c |    536744 |   11149    60736   195321 | 2147483647   190338     51 |  0.009 % |
403.43/403.43	c |    536877 |   11149    60736   195321 | 2147483647   190471     51 |  0.009 % |
403.53/403.59	c |    537024 |   11149    60736   195321 | 2147483647   190618     51 |  0.009 % |
403.74/403.76	c |    537185 |   11149    60736   195321 | 2147483647   190779     51 |  0.010 % |
404.03/404.09	c |    537361 |   11149    60736   195321 | 2147483647   190955     51 |  0.009 % |
404.23/404.23	c |    537555 |   11149    60736   195321 | 2147483647   191149     51 |  0.009 % |
404.43/404.45	c |    537769 |   11149    60736   195321 | 2147483647   191363     51 |  0.010 % |
404.53/404.57	c |    538002 |   11149    60736   195321 | 2147483647   191596     51 |  0.009 % |
404.84/404.82	c |    538258 |   11149    60736   195321 | 2147483647   191852     51 |  0.010 % |
405.03/405.09	c |    538540 |   11149    60736   195321 | 2147483647   192134     51 |  0.009 % |
405.43/405.48	c |    538849 |   11149    60736   195321 | 2147483647   192443     51 |  0.010 % |
405.73/405.74	c |    539188 |   11149    60736   195321 | 2147483647   192782     51 |  0.009 % |
406.03/406.11	c |    539562 |   11149    60736   195321 | 2147483647   193156     51 |  0.009 % |
406.43/406.47	c |    539975 |   11149    60736   195321 | 2147483647   193569     52 |  0.010 % |
406.93/406.97	c |    540425 |   11149    60736   195321 | 2147483647   194019     52 |  0.009 % |
407.33/407.34	c |    540918 |   11149    60736   195321 | 2147483647   194512     52 |  0.009 % |
407.73/407.72	c |    541460 |   11149    60736   195321 | 2147483647   195054     52 |  0.009 % |
408.23/408.25	c |    542058 |   11149    60736   195321 | 2147483647   195652     52 |  0.009 % |
409.03/409.09	c |    542715 |   11149    60736   195321 | 2147483647   196309     52 |  0.010 % |
409.53/409.54	c |    543435 |   11149    60736   195321 | 2147483647   197029     52 |  0.009 % |
409.83/409.83	c |    544227 |   11149    60736   195321 | 2147483647   197821     52 |  0.009 % |
410.13/410.15	c |    545098 |   11149    60736   195321 | 2147483647   198692     52 |  0.009 % |
411.93/411.99	c |    546056 |   11149    60736   195321 | 2147483647   199650     52 |  0.010 % |
412.94/412.97	c |    547109 |   11149    60736   195321 | 2147483647   200703     52 |  0.009 % |
413.94/413.99	c |    548268 |   11149    60736   195321 | 2147483647   201862     52 |  0.009 % |
414.64/414.70	c |    549541 |   11149    60736   195321 | 2147483647   203135     52 |  0.009 % |
416.34/416.33	c |    550944 |   11149    60736   195321 | 2147483647   204538     53 |  0.010 % |
417.44/417.44	c |    552485 |   11149    60736   195321 | 2147483647   206079     53 |  0.009 % |
418.84/418.91	c |    554179 |   11149    60736   195321 | 2147483647   207773     53 |  0.009 % |
420.54/420.61	c |    556043 |   11149    60736   195321 | 2147483647   209637     53 |  0.009 % |
424.04/424.02	c |    558093 |   11149    60736   195321 | 2147483647   211687     54 |  0.010 % |
425.53/425.53	c |    560346 |   11149    60736   195321 | 2147483647   213940     54 |  0.009 % |
426.84/426.88	c |    562824 |   11149    60736   195321 | 2147483647   216418     54 |  0.009 % |
428.83/428.84	c |    565549 |   11149    60736   195321 | 2147483647   219143     54 |  0.009 % |
432.44/432.49	c |    568546 |   11149    60736   195321 | 2147483647   222140     56 |  0.010 % |
436.54/436.59	c |    571842 |   11149    60736   195321 | 2147483647   225436     56 |  0.010 % |
438.84/438.89	c |    575467 |   11149    60736   195321 | 2147483647   229061     57 |  0.009 % |
443.24/443.25	c |    579455 |   11149    60736   195321 | 2147483647   233049     56 |  0.009 % |
447.34/447.32	c |    583840 |   11149    60736   195321 |   233594   213832     56 |  0.009 % |
451.84/451.85	c |    588665 |   11149    60736   195321 |   233594   218657     55 |  0.009 % |
455.94/455.98	c |    593970 |   11149    60736   195321 |   219993   201682     55 |  0.009 % |
456.04/456.07	c |    594070 |   11149    60736   195321 |   219993   201782     55 |  0.009 % |
456.34/456.38	c |    594181 |   11149    60736   195321 |   219993   201893     55 |  0.010 % |
456.54/456.55	c |    594302 |   11149    60736   195321 |   219993   202014     55 |  0.009 % |
456.74/456.77	c |    594437 |   11149    60736   195321 |   219993   202149     55 |  0.009 % |
456.94/457.01	c |    594583 |   11149    60736   195321 |   219993   202295     55 |  0.009 % |
457.24/457.24	c |    594743 |   11149    60736   195321 |   219993   202455     55 |  0.010 % |
457.44/457.42	c |    594921 |   11149    60736   195321 |   219993   202633     55 |  0.009 % |
457.64/457.70	c |    595114 |   11149    60736   195321 |   219993   202826     55 |  0.009 % |
457.94/457.98	c |    595326 |   11149    60736   195321 |   219993   203038     55 |  0.009 % |
458.24/458.25	c |    595560 |   11149    60736   195321 |   219993   203272     55 |  0.009 % |
458.44/458.50	c |    595816 |   11149    60736   195321 |   219993   203528     56 |  0.009 % |
458.74/458.79	c |    596097 |   11149    60736   195321 |   219993   203809     56 |  0.009 % |
459.14/459.21	c |    596406 |   11149    60736   195321 |   219993   204118     56 |  0.010 % |
459.44/459.47	c |    596745 |   11149    60736   195321 |   219993   204457     56 |  0.009 % |
459.64/459.64	c |    597117 |   11149    60736   195321 |   219993   204829     56 |  0.009 % |
459.94/459.97	c |    597526 |   11149    60736   195321 |   219993   205238     56 |  0.009 % |
460.54/460.54	c |    597977 |   11149    60736   195321 |   219993   205689     56 |  0.010 % |
460.94/460.93	c |    598472 |   11149    60736   195321 |   219993   206184     56 |  0.009 % |
461.54/461.61	c |    599016 |   11149    60736   195321 |   219993   206728     56 |  0.009 % |
462.24/462.23	c |    599612 |   11149    60736   195321 |   219993   207324     56 |  0.010 % |
462.94/463.00	c |    600268 |   11149    60736   195321 | 2147483647   207980     56 |  0.009 % |
463.74/463.81	c |    600988 |   11149    60736   195321 | 2147483647   208700     56 |  0.009 % |
464.34/464.37	c |    601780 |   11149    60736   195321 | 2147483647   209492     56 |  0.009 % |
464.74/464.72	c |    602651 |   11149    60736   195321 | 2147483647   210363     56 |  0.009 % |
465.34/465.35	c |    603609 |   11149    60736   195321 | 2147483647   211321     56 |  0.009 % |
466.14/466.17	c |    604662 |   11149    60736   195321 | 2147483647   212374     55 |  0.009 % |
466.64/466.63	c |    605820 |   11149    60736   195321 | 2147483647   213532     55 |  0.009 % |
467.74/467.78	c |    607094 |   11149    60736   195321 | 2147483647   214806     55 |  0.009 % |
468.94/468.99	c |    608494 |   11149    60736   195321 | 2147483647   216206     56 |  0.009 % |
471.04/471.08	c |    610035 |   11149    60736   195321 | 2147483647   217747     56 |  0.009 % |
472.74/472.73	c |    611729 |   11149    60736   195321 | 2147483647   219441     56 |  0.010 % |
474.64/474.69	c |    613592 |   11149    60736   195321 | 2147483647   221304     57 |  0.009 % |
476.54/476.60	c |    615641 |   11149    60736   195321 | 2147483647   223353     57 |  0.009 % |
478.34/478.36	c |    617894 |   11149    60736   195321 | 2147483647   225606     58 |  0.009 % |
481.24/481.30	c |    620372 |   11149    60736   195321 | 2147483647   228084     58 |  0.009 % |
483.74/483.75	c |    623097 |   11149    60736   195321 | 2147483647   230809     58 |  0.009 % |
490.14/490.14	c |    626094 |   11149    60736   195321 | 2147483647   233806     59 |  0.010 % |
493.34/493.36	c |    629391 |   11149    60736   195321 | 2147483647   237103     59 |  0.010 % |
496.74/496.76	c |    633017 |   11149    60736   195321 |   237712   216783     61 |  0.009 % |
501.44/501.49	c |    637004 |   11149    60736   195321 |   237712   220770     63 |  0.010 % |
506.84/506.89	c |    641389 |   11149    60736   195321 |   223766   225155     64 |  0.010 % |
512.54/512.54	c |    646212 |   11149    60736   195321 |   223766   206795     62 |  0.009 % |
516.54/516.57	c |    651518 |   11149    60736   195321 |   210584   184730     62 |  0.009 % |
524.54/524.53	c |    657354 |   11149    60736   195321 |   210584   190566     64 |  0.009 % |
524.64/524.63	c |    657454 |   11149    60736   195321 |   210584   190666     64 |  0.009 % |
524.75/524.79	c |    657564 |   11149    60736   195321 |   210584   190776     65 |  0.009 % |
524.94/524.97	c |    657685 |   11149    60736   195321 |   210584   190897     64 |  0.009 % |
525.04/525.05	c |    657819 |   11149    60736   195321 |   210584   191031     64 |  0.009 % |
525.14/525.20	c |    657966 |   11149    60736   195321 |   210584   191178     64 |  0.009 % |
525.34/525.31	c |    658127 |   11149    60736   195321 |   210584   191339     64 |  0.009 % |
525.44/525.42	c |    658306 |   11149    60736   195321 |   210584   191518     64 |  0.009 % |
525.64/525.64	c |    658501 |   11149    60736   195321 |   210584   191713     64 |  0.009 % |
525.85/525.88	c |    658713 |   11149    60736   195321 |   210584   191925     65 |  0.009 % |
526.04/526.06	c |    658948 |   11149    60736   195321 |   210584   192160     65 |  0.009 % |
526.24/526.22	c |    659205 |   11149    60736   195321 |   210584   192417     64 |  0.009 % |
526.54/526.51	c |    659486 |   11149    60736   195321 |   210584   192698     64 |  0.009 % |
526.74/526.74	c |    659795 |   11149    60736   195321 |   210584   193007     64 |  0.009 % |
527.04/527.01	c |    660134 |   11149    60736   195321 |   193212   193346     64 |  0.009 % |
527.54/527.57	c |    660507 |   11149    60736   195321 |   193212   172255     64 |  0.009 % |
528.05/528.06	c |    660916 |   11149    60736   195321 |   193212   172664     64 |  0.010 % |
528.34/528.38	c |    661365 |   11149    60736   195321 |   193212   173113     64 |  0.009 % |
528.94/528.92	c |    661858 |   11149    60736   195321 |   193212   173606     64 |  0.009 % |
529.24/529.23	c |    662401 |   11149    60736   195321 |   193212   174149     64 |  0.009 % |
529.64/529.61	c |    662998 |   11149    60736   195321 |   193212   174746     64 |  0.009 % |
529.94/529.98	c |    663654 |   11149    60736   195321 |   193212   175402     63 |  0.009 % |
530.34/530.36	c |    664374 |   11149    60736   195321 |   193212   176122     63 |  0.009 % |
530.84/530.83	c |    665168 |   11149    60736   195321 |   193212   176916     63 |  0.009 % |
531.24/531.25	c |    666039 |   11149    60736   195321 |   193212   177787     63 |  0.009 % |
532.34/532.38	c |    666997 |   11149    60736   195321 |   193212   178745     64 |  0.009 % |
533.74/533.76	c |    668051 |   11149    60736   195321 |   193212   179799     64 |  0.009 % |
534.54/534.59	c |    669211 |   11149    60736   195321 |   193212   180959     64 |  0.010 % |
535.24/535.21	c |    670486 |   11149    60736   195321 | 2147483647   182234     64 |  0.009 % |
536.34/536.37	c |    671886 |   11149    60736   195321 | 2147483647   183634     64 |  0.009 % |
537.34/537.35	c |    673431 |   11149    60736   195321 | 2147483647   185179     63 |  0.009 % |
537.95/537.92	c |    675126 |   11149    60736   195321 | 2147483647   186874     63 |  0.009 % |
539.05/539.07	c |    676993 |   11149    60736   195321 | 2147483647   188741     63 |  0.009 % |
540.44/540.42	c |    679043 |   11149    60736   195321 | 2147483647   190791     63 |  0.009 % |
543.24/543.26	c |    681296 |   11149    60736   195321 | 2147483647   193044     63 |  0.009 % |
544.44/544.44	c |    683777 |   11149    60736   195321 | 2147483647   195525     63 |  0.009 % |
545.34/545.39	c |    686502 |   11149    60736   195321 | 2147483647   198250     63 |  0.009 % |
549.04/549.06	c |    689500 |   11149    60736   195321 | 2147483647   201248     65 |  0.009 % |
551.64/551.68	c |    692796 |   11149    60736   195321 | 2147483647   204544     65 |  0.010 % |
554.45/554.45	c |    696421 |   11149    60736   195321 | 2147483647   208169     64 |  0.009 % |
556.34/556.32	c |    700408 |   11149    60736   195321 | 2147483647   212156     64 |  0.009 % |
560.34/560.39	c |    704793 |   11149    60736   195321 | 2147483647   216541     64 |  0.009 % |
564.35/564.33	c |    709618 |   11149    60736   195321 | 2147483647   221366     64 |  0.009 % |
568.55/568.54	c |    714923 |   11149    60736   195321 | 2147483647   226671     63 |  0.009 % |
572.95/573.01	c |    720758 |   11149    60736   195321 | 2147483647   232506     63 |  0.009 % |
576.45/576.43	c |    727176 |   11149    60736   195321 | 2147483647   238924     62 |  0.009 % |
576.55/576.55	c |    727276 |   11149    60736   195321 | 2147483647   239024     62 |  0.009 % |
576.65/576.69	c |    727386 |   11149    60736   195321 | 2147483647   239134     62 |  0.009 % |
576.85/576.83	c |    727507 |   11149    60736   195321 | 2147483647   239255     62 |  0.009 % |
577.05/577.06	c |    727640 |   11149    60736   195321 | 2147483647   239388     62 |  0.010 % |
577.25/577.30	c |    727788 |   11149    60736   195321 | 2147483647   239536     62 |  0.009 % |
577.45/577.43	c |    727948 |   11149    60736   195321 | 2147483647   239696     62 |  0.009 % |
577.75/577.73	c |    728124 |   11149    60736   195321 | 2147483647   239872     62 |  0.009 % |
578.05/578.09	c |    728321 |   11149    60736   195321 | 2147483647   240069     62 |  0.009 % |
578.25/578.31	c |    728535 |   11149    60736   195321 | 2147483647   240283     62 |  0.009 % |
578.85/578.91	c |    728769 |   11149    60736   195321 | 2147483647   240517     62 |  0.010 % |
579.25/579.24	c |    729026 |   11149    60736   195321 | 2147483647   240774     63 |  0.009 % |
579.65/579.68	c |    729307 |   11149    60736   195321 | 2147483647   241055     63 |  0.010 % |
579.95/579.97	c |    729616 |   11149    60736   195321 | 2147483647   241364     62 |  0.009 % |
580.25/580.30	c |    729955 |   11149    60736   195321 | 2147483647   241703     62 |  0.009 % |
580.55/580.53	c |    730328 |   11149    60736   195321 | 2147483647   242076     62 |  0.009 % |
580.95/581.00	c |    730739 |   11149    60736   195321 | 2147483647   242487     62 |  0.009 % |
581.45/581.50	c |    731188 |   11149    60736   195321 | 2147483647   242936     62 |  0.009 % |
581.95/581.98	c |    731682 |   11149    60736   195321 | 2147483647   243430     62 |  0.009 % |
582.35/582.35	c |    732224 |   11149    60736   195321 | 2147483647   243972     62 |  0.009 % |
583.15/583.13	c |    732820 |   11149    60736   195321 | 2147483647   244568     62 |  0.009 % |
583.45/583.47	c |    733475 |   11149    60736   195321 | 2147483647   245223     62 |  0.009 % |
584.35/584.35	c |    734195 |   11149    60736   195321 | 2147483647   245943     62 |  0.009 % |
585.55/585.59	c |    734988 |   11149    60736   195321 | 2147483647   246736     62 |  0.009 % |
586.45/586.46	c |    735860 |   11149    60736   195321 | 2147483647   247608     62 |  0.009 % |
586.85/586.86	c |    736819 |   11149    60736   195321 | 2147483647   248567     62 |  0.009 % |
587.75/587.73	c |    737872 |   11149    60736   195321 | 2147483647   249620     62 |  0.009 % |
588.25/588.29	c |    739030 |   11149    60736   195321 | 2147483647   250778     62 |  0.009 % |
590.15/590.18	c |    740304 |   11149    60736   195321 | 2147483647   252052     62 |  0.009 % |
591.45/591.46	c |    741705 |   11149    60736   195321 | 2147483647   253453     62 |  0.009 % |
592.45/592.41	c |    743245 |   11149    60736   195321 | 2147483647   254993     62 |  0.009 % |
594.45/594.48	c |    744939 |   11149    60736   195321 | 2147483647   256687     62 |  0.009 % |
597.05/597.10	c |    746802 |   11149    60736   195321 | 2147483647   258550     62 |  0.009 % |
598.95/598.99	c |    748851 |   11149    60736   195321 | 2147483647   260599     62 |  0.009 % |
602.25/602.31	c |    751105 |   11149    60736   195321 |   261749   262853     62 |  0.009 % |
605.45/605.50	c |    753583 |   11149    60736   195321 |   261749   231140     62 |  0.009 % |
608.75/608.77	c |    756310 |   11149    60736   195321 |   261749   233867     63 |  0.009 % |
612.65/612.67	c |    759309 |   11149    60736   195321 |   261749   236866     63 |  0.009 % |
615.55/615.53	c |    762605 |   11149    60736   195321 |   237559   240162     63 |  0.009 % |
619.95/619.96	c |    766231 |   11149    60736   195321 |   237559   219772     60 |  0.009 % |
622.75/622.72	c |    770218 |   11149    60736   195321 | 2147483647   223759     60 |  0.009 % |
625.65/625.69	c |    774604 |   11149    60736   195321 | 2147483647   228145     60 |  0.009 % |
629.65/629.67	c |    779427 |   11149    60736   195321 | 2147483647   232968     60 |  0.009 % |
634.75/634.80	c |    784733 |   11149    60736   195321 | 2147483647   238274     59 |  0.009 % |
638.35/638.31	c |    790568 |   11149    60736   195321 | 2147483647   244109     59 |  0.009 % |
646.35/646.41	c |    796987 |   11149    60736   195321 | 2147483647   250528     61 |  0.009 % |
652.75/652.71	c |    804046 |   11149    60736   195321 |   253541   232110     58 |  0.009 % |
652.85/652.89	c |    804146 |   11149    60736   195321 |   253541   232210     58 |  0.009 % |
653.05/653.08	c |    804256 |   11149    60736   195321 |   253541   232320     58 |  0.009 % |
653.15/653.16	c |    804377 |   11149    60736   195321 |   253541   232441     58 |  0.009 % |
653.25/653.30	c |    804513 |   11149    60736   195321 |   253541   232577     58 |  0.009 % |
653.65/653.64	c |    804660 |   11149    60736   195321 |   253541   232724     58 |  0.010 % |
653.95/653.96	c |    804820 |   11149    60736   195321 |   253541   232884     58 |  0.009 % |
654.25/654.30	c |    804996 |   11149    60736   195321 |   253541   233060     58 |  0.009 % |
654.56/654.54	c |    805192 |   11149    60736   195321 |   253541   233256     58 |  0.009 % |
654.75/654.78	c |    805404 |   11149    60736   195321 |   253541   233468     58 |  0.009 % |
654.85/654.91	c |    805638 |   11149    60736   195321 |   253541   233702     58 |  0.009 % |
655.15/655.12	c |    805896 |   11149    60736   195321 |   253541   233960     58 |  0.009 % |
655.25/655.24	c |    806179 |   11149    60736   195321 |   253541   234243     58 |  0.009 % |
655.45/655.45	c |    806489 |   11149    60736   195321 |   253541   234553     58 |  0.009 % |
655.75/655.75	c |    806828 |   11149    60736   195321 |   253541   234892     58 |  0.009 % |
655.85/655.89	c |    807201 |   11149    60736   195321 |   253541   235265     58 |  0.009 % |
656.35/656.33	c |    807611 |   11149    60736   195321 |   253541   235675     58 |  0.009 % |
656.45/656.48	c |    808060 |   11149    60736   195321 |   253541   236124     58 |  0.009 % |
657.25/657.30	c |    808554 |   11149    60736   195321 |   253541   236618     58 |  0.010 % |
658.05/658.05	c |    809096 |   11149    60736   195321 |   253541   237160     58 |  0.010 % |
659.35/659.33	c |    809693 |   11149    60736   195321 |   253541   237757     58 |  0.010 % |
659.85/659.81	c |    810348 |   11149    60736   195321 |   238064   238412     58 |  0.009 % |
661.25/661.25	c |    811069 |   11149    60736   195321 |   238064   212592     54 |  0.009 % |
662.35/662.34	c |    811864 |   11149    60736   195321 |   238064   213387     54 |  0.009 % |
663.36/663.41	c |    812736 |   11149    60736   195321 |   238064   214259     54 |  0.009 % |
664.65/664.65	c |    813694 |   11149    60736   195321 |   238064   215217     54 |  0.009 % |
665.75/665.71	c |    814748 |   11149    60736   195321 |   238064   216271     54 |  0.009 % |
666.85/666.89	c |    815907 |   11149    60736   195321 |   238064   217430     54 |  0.009 % |
668.35/668.35	c |    817180 |   11149    60736   195321 |   238064   218703     54 |  0.009 % |
668.86/668.85	c |    818581 |   11149    60736   195321 |   238064   220104     54 |  0.009 % |
670.25/670.24	c |    820121 |   11149    60736   195321 |   221524   221644     55 |  0.009 % |
672.25/672.29	c |    821817 |   11149    60736   195321 |   221524   197453     52 |  0.009 % |
673.95/673.97	c |    823680 |   11149    60736   195321 |   221524   199316     52 |  0.009 % |
675.25/675.28	c |    825730 |   11149    60736   195321 |   221524   201366     52 |  0.009 % |
677.25/677.27	c |    827984 |   11149    60736   195321 |   221524   203620     52 |  0.009 % |
678.25/678.27	c |    830463 |   11149    60736   195321 | 2147483647   206099     52 |  0.009 % |
680.85/680.87	c |    833188 |   11149    60736   195321 | 2147483647   208824     52 |  0.009 % |
681.75/681.79	c |    836186 |   11149    60736   195321 | 2147483647   211822     51 |  0.009 % |
683.95/683.92	c |    839482 |   11149    60736   195321 | 2147483647   215118     51 |  0.009 % |
685.85/685.82	c |    843107 |   11149    60736   195321 | 2147483647   218743     51 |  0.009 % |
688.35/688.32	c |    847094 |   11149    60736   195321 | 2147483647   222730     51 |  0.009 % |
694.76/694.80	c |    851479 |   11149    60736   195321 | 2147483647   227115     53 |  0.010 % |
699.36/699.39	c |    856303 |   11149    60736   195321 | 2147483647   231939     53 |  0.009 % |
703.36/703.40	c |    861608 |   11149    60736   195321 | 2147483647   237244     54 |  0.009 % |
709.46/709.45	c |    867447 |   11149    60736   195321 | 2147483647   243083     53 |  0.009 % |
716.06/716.11	c |    873865 |   11149    60736   195321 |   245637   212275     54 |  0.009 % |
721.46/721.46	c |    880924 |   11149    60736   195321 | 2147483647   219334     54 |  0.009 % |
728.96/728.93	c |    888688 |   11149    60736   195321 | 2147483647   227098     54 |  0.009 % |
729.06/729.03	c |    888790 |   11149    60736   195321 | 2147483647   227200     54 |  0.009 % |
729.16/729.17	c |    888900 |   11149    60736   195321 | 2147483647   227310     54 |  0.009 % |
729.26/729.25	c |    889022 |   11149    60736   195321 | 2147483647   227432     54 |  0.009 % |
729.56/729.60	c |    889156 |   11149    60736   195321 | 2147483647   227566     54 |  0.009 % |
729.76/729.75	c |    889302 |   11149    60736   195321 | 2147483647   227712     54 |  0.009 % |
729.86/729.84	c |    889462 |   11149    60736   195321 | 2147483647   227872     54 |  0.009 % |
729.96/730.00	c |    889639 |   11149    60736   195321 | 2147483647   228049     54 |  0.009 % |
730.16/730.17	c |    889832 |   11149    60736   195321 | 2147483647   228242     54 |  0.009 % |
730.46/730.41	c |    890045 |   11149    60736   195321 | 2147483647   228455     54 |  0.009 % |
730.76/730.78	c |    890278 |   11149    60736   195321 | 2147483647   228688     54 |  0.009 % |
731.26/731.27	c |    890535 |   11149    60736   195321 | 2147483647   228945     54 |  0.009 % |
731.96/732.00	c |    890816 |   11149    60736   195321 | 2147483647   229226     54 |  0.010 % |
732.36/732.37	c |    891125 |   11149    60736   195321 | 2147483647   229535     54 |  0.010 % |
732.66/732.62	c |    891465 |   11149    60736   195321 | 2147483647   229875     54 |  0.009 % |
733.16/733.12	c |    891838 |   11149    60736   195321 | 2147483647   230248     54 |  0.009 % |
733.26/733.30	c |    892248 |   11149    60736   195321 | 2147483647   230658     54 |  0.009 % |
733.66/733.64	c |    892698 |   11149    60736   195321 | 2147483647   231108     54 |  0.009 % |
734.26/734.22	c |    893191 |   11149    60736   195321 | 2147483647   231601     54 |  0.009 % |
734.76/734.81	c |    893734 |   11149    60736   195321 | 2147483647   232144     54 |  0.009 % |
735.16/735.20	c |    894330 |   11149    60736   195321 | 2147483647   232740     54 |  0.009 % |
735.96/736.01	c |    894985 |   11149    60736   195321 | 2147483647   233395     54 |  0.009 % |
736.66/736.69	c |    895705 |   11149    60736   195321 | 2147483647   234115     54 |  0.009 % |
737.36/737.36	c |    896497 |   11149    60736   195321 | 2147483647   234907     54 |  0.009 % |
737.66/737.66	c |    897368 |   11149    60736   195321 | 2147483647   235778     54 |  0.009 % |
738.96/738.93	c |    898326 |   11149    60736   195321 | 2147483647   236736     54 |  0.009 % |
739.76/739.73	c |    899380 |   11149    60736   195321 | 2147483647   237790     54 |  0.009 % |
741.16/741.19	c |    900538 |   11149    60736   195321 | 2147483647   238948     54 |  0.009 % |
742.56/742.58	c |    901811 |   11149    60736   195321 | 2147483647   240221     54 |  0.009 % |
744.36/744.34	c |    903211 |   11149    60736   195321 | 2147483647   241621     54 |  0.009 % |
744.96/744.96	c |    904751 |   11149    60736   195321 | 2147483647   243161     54 |  0.009 % |
746.36/746.39	c |    906446 |   11149    60736   195321 | 2147483647   244856     54 |  0.009 % |
747.06/747.10	c |    908309 |   11149    60736   195321 | 2147483647   246719     54 |  0.009 % |
748.36/748.32	c |    910361 |   11149    60736   195321 | 2147483647   248771     54 |  0.009 % |
751.06/751.04	c |    912616 |   11149    60736   195321 | 2147483647   251026     54 |  0.009 % |
753.76/753.75	c |    915095 |   11149    60736   195321 | 2147483647   253505     54 |  0.009 % |
756.66/756.66	c |    917820 |   11149    60736   195321 | 2147483647   256230     55 |  0.009 % |
759.56/759.59	c |    920817 |   11149    60736   195321 |   258410   259227     55 |  0.009 % |
762.86/762.85	c |    924113 |   11149    60736   195321 |   258410   225670     55 |  0.009 % |
766.37/766.34	c |    927738 |   11149    60736   195321 |   258410   229295     55 |  0.009 % |
769.77/769.79	c |    931727 |   11149    60736   195321 | 2147483647   233284     55 |  0.009 % |
774.67/774.65	c |    936114 |   11149    60736   195321 | 2147483647   237671     55 |  0.009 % |
782.37/782.33	c |    940940 |   11149    60736   195321 |   241559   242497     55 |  0.009 % |
786.46/786.49	c |    946246 |   11149    60736   195321 |   241559   202378     51 |  0.009 % |
792.76/792.78	c |    952084 |   11149    60736   195321 |   206133   208216     51 |  0.009 % |
799.66/799.70	c |    958502 |   11149    60736   195321 |   206133   182089     49 |  0.009 % |
807.56/807.59	c |    965562 |   11149    60736   195321 | 2147483647   189149     49 |  0.010 % |
813.76/813.75	c |    973327 |   11149    60736   195321 | 2147483647   196914     50 |  0.010 % |
820.26/820.28	c |    981868 |   11149    60736   195321 | 2147483647   205455     51 |  0.009 % |
820.46/820.41	c |    981969 |   11149    60736   195321 | 2147483647   205556     51 |  0.009 % |
820.56/820.56	c |    982080 |   11149    60736   195321 | 2147483647   205667     51 |  0.009 % |
820.76/820.74	c |    982202 |   11149    60736   195321 | 2147483647   205789     51 |  0.010 % |
820.86/820.90	c |    982335 |   11149    60736   195321 | 2147483647   205922     51 |  0.009 % |
820.96/820.98	c |    982481 |   11149    60736   195321 | 2147483647   206068     51 |  0.009 % |
821.16/821.19	c |    982641 |   11149    60736   195321 | 2147483647   206228     51 |  0.009 % |
821.36/821.33	c |    982818 |   11149    60736   195321 | 2147483647   206405     51 |  0.009 % |
821.56/821.56	c |    983012 |   11149    60736   195321 | 2147483647   206599     51 |  0.009 % |
821.96/821.91	c |    983226 |   11149    60736   195321 | 2147483647   206813     51 |  0.009 % |
822.36/822.39	c |    983459 |   11149    60736   195321 | 2147483647   207046     51 |  0.009 % |
822.76/822.80	c |    983717 |   11149    60736   195321 | 2147483647   207304     51 |  0.009 % |
823.16/823.12	c |    983999 |   11149    60736   195321 | 2147483647   207586     51 |  0.009 % |
823.36/823.34	c |    984308 |   11149    60736   195321 | 2147483647   207895     51 |  0.009 % |
823.66/823.61	c |    984648 |   11149    60736   195321 | 2147483647   208235     51 |  0.009 % |
823.97/823.97	c |    985021 |   11149    60736   195321 | 2147483647   208608     51 |  0.009 % |
824.56/824.56	c |    985432 |   11149    60736   195321 | 2147483647   209019     51 |  0.009 % |
824.86/824.84	c |    985883 |   11149    60736   195321 | 2147483647   209470     51 |  0.009 % |
825.16/825.19	c |    986376 |   11149    60736   195321 | 2147483647   209963     51 |  0.009 % |
825.97/825.98	c |    986919 |   11149    60736   195321 | 2147483647   210506     51 |  0.009 % |
826.67/826.62	c |    987516 |   11149    60736   195321 | 2147483647   211103     51 |  0.009 % |
828.07/828.09	c |    988172 |   11149    60736   195321 | 2147483647   211759     51 |  0.010 % |
828.67/828.63	c |    988892 |   11149    60736   195321 | 2147483647   212479     51 |  0.009 % |
829.47/829.43	c |    989686 |   11149    60736   195321 | 2147483647   213273     51 |  0.009 % |
829.87/829.89	c |    990557 |   11149    60736   195321 | 2147483647   214144     51 |  0.009 % |
831.77/831.79	c |    991516 |   11149    60736   195321 | 2147483647   215103     52 |  0.010 % |
832.87/832.82	c |    992569 |   11149    60736   195321 | 2147483647   216156     52 |  0.009 % |
833.57/833.57	c |    993727 |   11149    60736   195321 | 2147483647   217314     52 |  0.009 % |
834.97/834.97	c |    995001 |   11149    60736   195321 | 2147483647   218588     52 |  0.009 % |
837.07/837.09	c |    996404 |   11149    60736   195321 | 2147483647   219991     52 |  0.010 % |
838.47/838.42	c |    997944 |   11149    60736   195321 | 2147483647   221531     52 |  0.009 % |
839.87/839.91	c |    999639 |   11149    60736   195321 | 2147483647   223226     53 |  0.009 % |
840.97/840.98	c |   1001502 |   11149    60736   195321 | 2147483647   225089     53 |  0.009 % |
844.37/844.41	c |   1003552 |   11149    60736   195321 | 2147483647   227139     54 |  0.009 % |
846.07/846.02	c |   1005807 |   11149    60736   195321 | 2147483647   229394     54 |  0.009 % |
847.67/847.70	c |   1008286 |   11149    60736   195321 | 2147483647   231873     54 |  0.009 % |
849.07/849.09	c |   1011013 |   11149    60736   195321 | 2147483647   234600     54 |  0.009 % |
854.07/854.08	c |   1014011 |   11149    60736   195321 | 2147483647   237598     55 |  0.010 % |
857.57/857.57	c |   1017307 |   11149    60736   195321 | 2147483647   240894     55 |  0.010 % |
860.87/860.87	c |   1020935 |   11149    60736   195321 |   243588   244522     56 |  0.009 % |
865.57/865.54	c |   1024923 |   11149    60736   195321 |   243588   208320     56 |  0.009 % |
867.97/867.91	c |   1029308 |   11149    60736   195321 |   243588   212705     56 |  0.009 % |
871.87/871.82	c |   1034132 |   11149    60736   195321 | 2147483647   217529     56 |  0.009 % |
875.17/875.15	c |   1039440 |   11149    60736   195321 | 2147483647   222837     55 |  0.009 % |
879.57/879.57	c |   1045275 |   11149    60736   195321 | 2147483647   228672     55 |  0.009 % |
886.17/886.13	c |   1051693 |   11149    60736   195321 |   233397   235090     55 |  0.009 % |
892.87/892.86	c |   1058753 |   11149    60736   195321 |   233397   188218     53 |  0.009 % |
897.57/897.52	c |   1066518 |   11149    60736   195321 | 2147483647   195983     53 |  0.009 % |
907.87/907.81	c |   1075058 |   11149    60736   195321 |   199466   204523     56 |  0.009 % |
917.27/917.24	c |   1084452 |   11149    60736   195321 | 2147483647   189864     60 |  0.010 % |
917.37/917.40	c |   1084553 |   11149    60736   195321 | 2147483647   189965     60 |  0.009 % |
917.57/917.58	c |   1084663 |   11149    60736   195321 | 2147483647   190075     60 |  0.009 % |
917.77/917.72	c |   1084785 |   11149    60736   195321 | 2147483647   190197     60 |  0.009 % |
917.77/917.77	c |   1084918 |   11149    60736   195321 | 2147483647   190330     59 |  0.009 % |
917.87/917.87	c |   1085065 |   11149    60736   195321 | 2147483647   190477     59 |  0.009 % |
918.47/918.44	c |   1085225 |   11149    60736   195321 | 2147483647   190637     60 |  0.010 % |
918.58/918.55	c |   1085402 |   11149    60736   195321 | 2147483647   190814     59 |  0.009 % |
918.77/918.72	c |   1085595 |   11149    60736   195321 | 2147483647   191007     59 |  0.009 % |
918.97/918.99	c |   1085809 |   11149    60736   195321 | 2147483647   191221     60 |  0.010 % |
919.27/919.26	c |   1086042 |   11149    60736   195321 | 2147483647   191454     60 |  0.009 % |
919.77/919.74	c |   1086299 |   11149    60736   195321 | 2147483647   191711     60 |  0.010 % |
920.07/920.01	c |   1086581 |   11149    60736   195321 | 2147483647   191993     60 |  0.009 % |
920.37/920.32	c |   1086891 |   11149    60736   195321 | 2147483647   192303     60 |  0.009 % |
920.78/920.77	c |   1087230 |   11149    60736   195321 | 2147483647   192642     60 |  0.009 % |
920.87/920.83	c |   1087602 |   11149    60736   195321 | 2147483647   193014     60 |  0.009 % |
921.27/921.27	c |   1088011 |   11149    60736   195321 | 2147483647   193423     60 |  0.009 % |
921.77/921.76	c |   1088460 |   11149    60736   195321 | 2147483647   193872     60 |  0.009 % |
922.37/922.39	c |   1088953 |   11149    60736   195321 | 2147483647   194365     60 |  0.009 % |
922.87/922.81	c |   1089495 |   11149    60736   195321 | 2147483647   194907     60 |  0.009 % |
923.37/923.39	c |   1090091 |   11149    60736   195321 | 2147483647   195503     60 |  0.009 % |
924.17/924.15	c |   1090747 |   11149    60736   195321 | 2147483647   196159     60 |  0.010 % |
924.87/924.85	c |   1091469 |   11149    60736   195321 | 2147483647   196881     60 |  0.009 % |
925.47/925.48	c |   1092264 |   11149    60736   195321 | 2147483647   197676     60 |  0.009 % |
925.87/925.81	c |   1093137 |   11149    60736   195321 | 2147483647   198549     59 |  0.009 % |
926.57/926.58	c |   1094095 |   11149    60736   195321 | 2147483647   199507     59 |  0.009 % |
927.77/927.71	c |   1095148 |   11149    60736   195321 | 2147483647   200560     60 |  0.009 % |
928.67/928.65	c |   1096307 |   11149    60736   195321 | 2147483647   201719     60 |  0.009 % |
929.58/929.61	c |   1097582 |   11149    60736   195321 | 2147483647   202994     60 |  0.009 % |
931.27/931.25	c |   1098983 |   11149    60736   195321 | 2147483647   204395     60 |  0.010 % |
932.97/932.93	c |   1100523 |   11149    60736   195321 | 2147483647   205935     61 |  0.009 % |
935.17/935.11	c |   1102219 |   11149    60736   195321 | 2147483647   207631     61 |  0.010 % |
936.67/936.62	c |   1104084 |   11149    60736   195321 | 2147483647   209496     62 |  0.009 % |
939.57/939.56	c |   1106133 |   11149    60736   195321 | 2147483647   211545     62 |  0.010 % |
941.37/941.34	c |   1108386 |   11149    60736   195321 | 2147483647   213798     62 |  0.009 % |
942.87/942.90	c |   1110864 |   11149    60736   195321 | 2147483647   216276     61 |  0.009 % |
943.88/943.86	c |   1113589 |   11149    60736   195321 | 2147483647   219001     61 |  0.009 % |
947.87/947.86	c |   1116587 |   11149    60736   195321 | 2147483647   221999     63 |  0.010 % |
953.37/953.38	c |   1119883 |   11149    60736   195321 | 2147483647   225295     63 |  0.009 % |
955.57/955.53	c |   1123508 |   11149    60736   195321 |   225413   206277     62 |  0.009 % |
959.98/959.99	c |   1127496 |   11149    60736   195321 |   225413   210265     63 |  0.010 % |
963.38/963.32	c |   1131882 |   11149    60736   195321 |   212769   214651     63 |  0.009 % |
965.58/965.54	c |   1136706 |   11149    60736   195321 |   212769   179897     60 |  0.009 % |
970.38/970.40	c |   1142011 |   11149    60736   195321 | 2147483647   185202     60 |  0.009 % |
977.58/977.54	c |   1147846 |   11149    60736   195321 | 2147483647   191037     62 |  0.009 % |
984.18/984.16	c |   1154265 |   11149    60736   195321 |   193192   197456     65 |  0.009 % |
991.38/991.34	c |   1161328 |   11149    60736   195321 |   175445   159138     69 |  0.009 % |
994.68/994.64	c |   1169092 |   11149    60736   195321 |   175445   166902     68 |  0.009 % |
1002.18/1002.17	c |   1177633 |   11149    60736   195321 | 2147483647   175443     69 |  0.009 % |
1009.58/1009.54	c |   1187028 |   11149    60736   195321 | 2147483647   184838     67 |  0.009 % |
1020.48/1020.43	c |   1197364 |   11149    60736   195321 | 2147483647   195174     71 |  0.009 % |
1020.58/1020.52	c |   1197464 |   11149    60736   195321 | 2147483647   195274     71 |  0.009 % |
1020.68/1020.64	c |   1197576 |   11149    60736   195321 | 2147483647   195386     71 |  0.009 % |
1020.88/1020.84	c |   1197698 |   11149    60736   195321 | 2147483647   195508     71 |  0.009 % |
1021.08/1021.05	c |   1197832 |   11149    60736   195321 | 2147483647   195642     71 |  0.009 % |
1021.28/1021.22	c |   1197978 |   11149    60736   195321 | 2147483647   195788     71 |  0.009 % |
1021.38/1021.39	c |   1198139 |   11149    60736   195321 | 2147483647   195949     71 |  0.009 % |
1021.48/1021.48	c |   1198316 |   11149    60736   195321 | 2147483647   196126     71 |  0.009 % |
1021.68/1021.61	c |   1198510 |   11149    60736   195321 | 2147483647   196320     71 |  0.009 % |
1021.88/1021.86	c |   1198723 |   11149    60736   195321 | 2147483647   196533     71 |  0.010 % |
1022.08/1022.08	c |   1198958 |   11149    60736   195321 | 2147483647   196768     71 |  0.009 % |
1022.28/1022.27	c |   1199215 |   11149    60736   195321 | 2147483647   197025     71 |  0.009 % |
1022.48/1022.45	c |   1199499 |   11149    60736   195321 | 2147483647   197309     71 |  0.009 % |
1022.78/1022.76	c |   1199808 |   11149    60736   195321 | 2147483647   197618     71 |  0.009 % |
1022.98/1022.99	c |   1200147 |   11149    60736   195321 | 2147483647   197957     71 |  0.009 % |
1023.38/1023.40	c |   1200521 |   11149    60736   195321 | 2147483647   198331     71 |  0.009 % |
1023.78/1023.71	c |   1200931 |   11149    60736   195321 | 2147483647   198741     71 |  0.009 % |
1024.28/1024.27	c |   1201381 |   11149    60736   195321 | 2147483647   199191     71 |  0.009 % |
1024.68/1024.64	c |   1201874 |   11149    60736   195321 | 2147483647   199684     71 |  0.009 % |
1025.18/1025.11	c |   1202417 |   11149    60736   195321 | 2147483647   200227     70 |  0.009 % |
1025.38/1025.38	c |   1203014 |   11149    60736   195321 | 2147483647   200824     70 |  0.009 % |
1026.38/1026.32	c |   1203676 |   11149    60736   195321 | 2147483647   201486     71 |  0.010 % |
1026.98/1026.96	c |   1204396 |   11149    60736   195321 | 2147483647   202206     71 |  0.010 % |
1027.48/1027.49	c |   1205189 |   11149    60736   195321 | 2147483647   202999     71 |  0.009 % |
1028.28/1028.29	c |   1206061 |   11149    60736   195321 | 2147483647   203871     71 |  0.009 % |
1029.18/1029.17	c |   1207019 |   11149    60736   195321 | 2147483647   204829     71 |  0.009 % |
1030.08/1030.03	c |   1208074 |   11149    60736   195321 | 2147483647   205884     71 |  0.010 % |
1031.28/1031.29	c |   1209232 |   11149    60736   195321 | 2147483647   207042     71 |  0.010 % |
1032.38/1032.40	c |   1210507 |   11149    60736   195321 |   207810   208317     71 |  0.009 % |
1034.08/1034.08	c |   1211908 |   11149    60736   195321 |   207810   184087     67 |  0.010 % |
1034.98/1034.97	c |   1213449 |   11149    60736   195321 |   207810   185628     67 |  0.009 % |
1035.48/1035.43	c |   1215146 |   11149    60736   195321 |   207810   187325     67 |  0.009 % |
1036.48/1036.43	c |   1217009 |   11149    60736   195321 |   207810   189188     66 |  0.009 % |
1038.18/1038.19	c |   1219058 |   11149    60736   195321 |   207810   191237     67 |  0.009 % |
1040.69/1040.69	c |   1221312 |   11149    60736   195321 | 2147483647   193491     67 |  0.010 % |
1042.08/1042.08	c |   1223792 |   11149    60736   195321 | 2147483647   195971     67 |  0.009 % |
1044.28/1044.21	c |   1226517 |   11149    60736   195321 | 2147483647   198696     67 |  0.009 % |
1048.08/1048.05	c |   1229516 |   11149    60736   195321 | 2147483647   201695     68 |  0.010 % |
1049.38/1049.39	c |   1232812 |   11149    60736   195321 | 2147483647   204991     67 |  0.010 % |
1051.48/1051.48	c |   1236439 |   11149    60736   195321 | 2147483647   208618     67 |  0.009 % |
1053.98/1053.93	c |   1240427 |   11149    60736   195321 | 2147483647   212606     68 |  0.009 % |
1056.38/1056.35	c |   1244812 |   11149    60736   195321 | 2147483647   216991     67 |  0.009 % |
1058.88/1058.88	c |   1249639 |   11149    60736   195321 | 2147483647   221818     67 |  0.009 % |
1060.18/1060.16	c |   1254944 |   11149    60736   195321 | 2147483647   227123     67 |  0.009 % |
1063.48/1063.42	c |   1260779 |   11149    60736   195321 | 2147483647   232958     67 |  0.009 % |
1067.09/1067.08	c |   1267197 |   11149    60736   195321 | 2147483647   239376     67 |  0.009 % |
1072.59/1072.57	c |   1274257 |   11149    60736   195321 | 2147483647   246436     67 |  0.009 % |
1076.99/1076.99	c |   1282021 |   11149    60736   195321 | 2147483647   254200     66 |  0.009 % |
1086.89/1086.88	c |   1290563 |   11149    60736   195321 |   262179   262742     68 |  0.009 % |
1101.29/1101.28	c |   1299958 |   11149    60736   195321 |   262179   222714     66 |  0.010 % |
1115.29/1115.30	c |   1310291 |   11149    60736   195321 |   189658   189949     65 |  0.009 % |
1125.80/1125.79	c |   1321657 |   11149    60736   195321 | 2147483647   180964     65 |  0.009 % |
1125.90/1125.88	c |   1321757 |   11149    60736   195321 | 2147483647   181064     65 |  0.009 % |
1126.00/1125.95	c |   1321867 |   11149    60736   195321 | 2147483647   181174     65 |  0.009 % |
1126.00/1125.98	c |   1321988 |   11149    60736   195321 | 2147483647   181295     65 |  0.009 % |
1126.10/1126.09	c |   1322121 |   11149    60736   195321 | 2147483647   181428     65 |  0.009 % |
1126.20/1126.20	c |   1322268 |   11149    60736   195321 | 2147483647   181575     65 |  0.009 % |
1126.30/1126.27	c |   1322428 |   11149    60736   195321 | 2147483647   181735     65 |  0.009 % |
1126.40/1126.38	c |   1322604 |   11149    60736   195321 | 2147483647   181911     65 |  0.009 % |
1126.50/1126.44	c |   1322797 |   11149    60736   195321 | 2147483647   182104     65 |  0.009 % |
1126.60/1126.56	c |   1323010 |   11149    60736   195321 | 2147483647   182317     65 |  0.009 % |
1126.90/1126.86	c |   1323245 |   11149    60736   195321 | 2147483647   182552     65 |  0.009 % |
1127.10/1127.04	c |   1323501 |   11149    60736   195321 | 2147483647   182808     65 |  0.009 % |
1127.30/1127.32	c |   1323782 |   11149    60736   195321 | 2147483647   183089     65 |  0.009 % |
1127.70/1127.62	c |   1324092 |   11149    60736   195321 | 2147483647   183399     65 |  0.009 % |
1128.20/1128.13	c |   1324432 |   11149    60736   195321 | 2147483647   183739     66 |  0.010 % |
1128.60/1128.53	c |   1324806 |   11149    60736   195321 | 2147483647   184113     66 |  0.009 % |
1128.80/1128.77	c |   1325217 |   11149    60736   195321 | 2147483647   184524     66 |  0.009 % |
1129.20/1129.18	c |   1325666 |   11149    60736   195321 | 2147483647   184973     66 |  0.009 % |
1129.60/1129.58	c |   1326160 |   11149    60736   195321 | 2147483647   185467     65 |  0.009 % |
1129.80/1129.79	c |   1326703 |   11149    60736   195321 | 2147483647   186010     65 |  0.009 % |
1130.20/1130.13	c |   1327299 |   11149    60736   195321 | 2147483647   186606     65 |  0.009 % |
1130.80/1130.78	c |   1327955 |   11149    60736   195321 | 2147483647   187262     65 |  0.009 % |
1131.00/1131.00	c |   1328675 |   11149    60736   195321 | 2147483647   187982     65 |  0.009 % |
1131.50/1131.47	c |   1329469 |   11149    60736   195321 | 2147483647   188776     65 |  0.009 % |
1131.70/1131.69	c |   1330340 |   11149    60736   195321 | 2147483647   189647     65 |  0.009 % |
1132.10/1132.09	c |   1331298 |   11149    60736   195321 | 2147483647   190605     65 |  0.009 % |
1132.70/1132.66	c |   1332351 |   11149    60736   195321 | 2147483647   191658     65 |  0.009 % |
1133.60/1133.60	c |   1333510 |   11149    60736   195321 | 2147483647   192817     65 |  0.009 % |
1135.50/1135.50	c |   1334783 |   11149    60736   195321 | 2147483647   194090     65 |  0.009 % |
1136.70/1136.70	c |   1336183 |   11149    60736   195321 | 2147483647   195490     66 |  0.009 % |
1137.90/1137.89	c |   1337724 |   11149    60736   195321 | 2147483647   197031     66 |  0.009 % |
1139.50/1139.43	c |   1339418 |   11149    60736   195321 | 2147483647   198725     66 |  0.009 % |
1140.40/1140.34	c |   1341283 |   11149    60736   195321 | 2147483647   200590     66 |  0.009 % |
1142.09/1142.06	c |   1343334 |   11149    60736   195321 | 2147483647   202641     66 |  0.009 % |
1143.29/1143.28	c |   1345588 |   11149    60736   195321 | 2147483647   204895     66 |  0.009 % |
1145.69/1145.68	c |   1348067 |   11149    60736   195321 | 2147483647   207374     67 |  0.010 % |
1150.89/1150.90	c |   1350793 |   11149    60736   195321 |   209307   210100     69 |  0.009 % |
1153.49/1153.49	c |   1353790 |   11149    60736   195321 |   209307   183842     67 |  0.009 % |
1156.49/1156.46	c |   1357086 |   11149    60736   195321 |   209307   187138     66 |  0.009 % |
1160.09/1160.06	c |   1360711 |   11149    60736   195321 | 2147483647   190763     68 |  0.009 % |
1163.59/1163.54	c |   1364700 |   11149    60736   195321 | 2147483647   194752     68 |  0.009 % |
1166.19/1166.15	c |   1369085 |   11149    60736   195321 | 2147483647   199137     68 |  0.009 % |
1174.09/1174.01	c |   1373908 |   11149    60736   195321 | 2147483647   203960     69 |  0.010 % |
1177.89/1177.82	c |   1379215 |   11149    60736   195321 | 2147483647   209267     69 |  0.009 % |
1181.69/1181.71	c |   1385050 |   11149    60736   195321 | 2147483647   215102     68 |  0.009 % |
1190.39/1190.36	c |   1391468 |   11149    60736   195321 |   220053   221520     71 |  0.009 % |
1198.69/1198.61	c |   1398528 |   11149    60736   195321 |   220053   186398     74 |  0.009 % |
1200.09/1200.02	HOME/SatELiteGTI: line 36: 21026 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.01 1.00 2/91 21020
/proc/meminfo: memFree=623988/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2416 CPUtime=0.01
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1008792339 2473984 277 4294967295 134512640 135169312 3216295584 3216294120 3085115118 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21020/statm: 604 277 235 161 0 43 0
[pid=21024] ppid=21020 vsize=820 CPUtime=0
/proc/21024/stat : 21024 (SatELite_releas) R 21020 21020 15108 0 -1 4202496 86 0 0 0 0 0 0 0 25 0 1 0 1008792340 839680 21 4294967295 134512640 135223648 3219524000 3219523724 134710816 0 0 0 0 0 0 0 17 0 0 0 0
/proc/21024/statm: 238 34 27 174 0 63 0

[startup+0.052959 s]
/proc/loadavg: 1.02 1.01 1.00 2/91 21020
/proc/meminfo: memFree=623988/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2416 CPUtime=0.01
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1008792339 2473984 277 4294967295 134512640 135169312 3216295584 3216294120 3085115118 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21020/statm: 604 277 235 161 0 43 0
[pid=21024] ppid=21020 vsize=8120 CPUtime=0.05
/proc/21024/stat : 21024 (SatELite_releas) R 21020 21020 15108 0 -1 4202496 1733 0 0 0 5 0 0 0 25 0 1 0 1008792340 8314880 1668 4294967295 134512640 135223648 3219524000 3219522952 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21024/statm: 2030 1669 47 174 0 1855 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10536

[startup+0.112955 s]
/proc/loadavg: 1.02 1.01 1.00 2/91 21020
/proc/meminfo: memFree=623988/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2416 CPUtime=0.01
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1008792339 2473984 277 4294967295 134512640 135169312 3216295584 3216294120 3085115118 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21020/statm: 604 277 235 161 0 43 0
[pid=21024] ppid=21020 vsize=12100 CPUtime=0.11
/proc/21024/stat : 21024 (SatELite_releas) R 21020 21020 15108 0 -1 4202496 2649 0 0 0 10 1 0 0 25 0 1 0 1008792340 12390400 2541 4294967295 134512640 135223648 3219524000 3219521888 134575988 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21024/statm: 3025 2541 73 174 0 2850 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14516

[startup+0.312939 s]
/proc/loadavg: 1.02 1.01 1.00 2/91 21020
/proc/meminfo: memFree=623988/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2416 CPUtime=0.01
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1008792339 2473984 277 4294967295 134512640 135169312 3216295584 3216294120 3085115118 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21020/statm: 604 277 235 161 0 43 0
[pid=21024] ppid=21020 vsize=14728 CPUtime=0.31
/proc/21024/stat : 21024 (SatELite_releas) R 21020 21020 15108 0 -1 4202496 3218 0 0 0 30 1 0 0 25 0 1 0 1008792340 15081472 3110 4294967295 134512640 135223648 3219524000 3219522016 134587023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21024/statm: 3682 3110 73 174 0 3507 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17144

[startup+0.712917 s]
/proc/loadavg: 1.02 1.01 1.00 2/91 21020
/proc/meminfo: memFree=623988/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2420

[startup+1.51285 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 21026
/proc/meminfo: memFree=617004/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=6092 CPUtime=0.91
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 1450 0 0 0 91 0 0 0 25 0 1 0 1008792398 6238208 1385 4294967295 134512640 135215339 3214554432 3214552720 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 1523 1385 73 172 0 1350 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 8512

[startup+3.11273 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 21026
/proc/meminfo: memFree=616384/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=7412 CPUtime=2.51
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 1773 0 0 0 250 1 0 0 25 0 1 0 1008792398 7589888 1708 4294967295 134512640 135215339 3214554432 3214543172 134743406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 1853 1708 73 172 0 1680 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9832

[startup+6.31248 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 21026
/proc/meminfo: memFree=613656/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=10008 CPUtime=5.71
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 2427 0 0 0 570 1 0 0 25 0 1 0 1008792398 10248192 2362 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 2502 2362 73 172 0 2329 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 12428

[startup+12.712 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 21027
/proc/meminfo: memFree=609220/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=14336 CPUtime=12.11
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 3492 0 0 0 1210 1 0 0 25 0 1 0 1008792398 14680064 3427 4294967295 134512640 135215339 3214554432 3214552720 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 3584 3427 73 172 0 3411 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16756

[startup+25.511 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 21028
/proc/meminfo: memFree=600976/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=22152 CPUtime=24.91
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 5464 0 0 0 2487 4 0 0 25 0 1 0 1008792398 22683648 5399 4294967295 134512640 135215339 3214554432 3214552720 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 5538 5399 73 172 0 5365 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 24572

[startup+51.119 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 21029
/proc/meminfo: memFree=587112/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=36616 CPUtime=50.52
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 8992 0 0 0 5047 5 0 0 25 0 1 0 1008792398 37494784 8927 4294967295 134512640 135215339 3214554432 3214552720 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 9154 8927 73 172 0 8981 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 39036

[startup+102.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21217
/proc/meminfo: memFree=563560/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=59412 CPUtime=101.72
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 14676 0 0 0 10163 9 0 0 25 0 1 0 1008792398 60837888 14611 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 14853 14611 73 172 0 14680 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 61832

[startup+162.311 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 21405
/proc/meminfo: memFree=552772/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=70052 CPUtime=161.72
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 17311 0 0 0 16163 9 0 0 25 0 1 0 1008792398 71733248 17246 4294967295 134512640 135215339 3214554432 3214552496 134537934 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 17513 17246 73 172 0 17340 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 72472

[startup+222.316 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 21593
/proc/meminfo: memFree=547448/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=75264 CPUtime=221.73
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 18654 0 0 0 22163 10 0 0 25 0 1 0 1008792398 77070336 18589 4294967295 134512640 135215339 3214554432 3214552720 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 18816 18589 73 172 0 18643 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 77684

[startup+282.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21786
/proc/meminfo: memFree=546068/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=76940 CPUtime=281.73
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 19064 0 0 0 28161 12 0 0 25 0 1 0 1008792398 78786560 18999 4294967295 134512640 135215339 3214554432 3214552720 134528806 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 19235 18999 73 172 0 19062 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 79360

[startup+342.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21972
/proc/meminfo: memFree=545836/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=76940 CPUtime=341.74
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 19090 0 0 0 34162 12 0 0 25 0 1 0 1008792398 78786560 19025 4294967295 134512640 135215339 3214554432 3214552432 134532659 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 19235 19025 73 172 0 19062 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 79360

[startup+402.312 s]

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

/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=77104 CPUtime=461.75
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 19124 0 0 0 46162 13 0 0 25 0 1 0 1008792398 78954496 19059 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 19276 19059 73 172 0 19103 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 79524

[startup+522.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22538
/proc/meminfo: memFree=545796/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=77104 CPUtime=521.75
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 19127 0 0 0 52162 13 0 0 25 0 1 0 1008792398 78954496 19062 4294967295 134512640 135215339 3214554432 3214552720 134529085 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 19276 19062 73 172 0 19103 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 79524

[startup+582.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22727
/proc/meminfo: memFree=543788/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=79480 CPUtime=581.76
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 19712 0 0 0 58163 13 0 0 25 0 1 0 1008792398 81387520 19647 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 19870 19647 73 172 0 19697 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 81900

[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22917
/proc/meminfo: memFree=538332/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=84768 CPUtime=641.76
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21015 0 0 0 64163 13 0 0 25 0 1 0 1008792398 86802432 20950 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 21192 20950 73 172 0 21019 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 87188

[startup+702.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 23105
/proc/meminfo: memFree=538224/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=85096 CPUtime=701.77
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21074 0 0 0 70164 13 0 0 25 0 1 0 1008792398 87138304 21009 4294967295 134512640 135215339 3214554432 3214552720 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 21274 21009 73 172 0 21101 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 87516

[startup+762.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 23293
/proc/meminfo: memFree=537960/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=85260 CPUtime=761.77
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21105 0 0 0 76164 13 0 0 25 0 1 0 1008792398 87306240 21040 4294967295 134512640 135215339 3214554432 3214552720 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 21315 21040 73 172 0 21142 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 87680

[startup+822.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 23481
/proc/meminfo: memFree=537776/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=85260 CPUtime=821.77
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21106 0 0 0 82164 13 0 0 25 0 1 0 1008792398 87306240 21041 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 21315 21041 73 172 0 21142 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 87680

[startup+882.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 23673
/proc/meminfo: memFree=537628/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=85260 CPUtime=881.78
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21106 0 0 0 88165 13 0 0 25 0 1 0 1008792398 87306240 21041 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 21315 21041 73 172 0 21142 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 87680

[startup+942.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 23863
/proc/meminfo: memFree=537404/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=85260 CPUtime=941.78
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21108 0 0 0 94165 13 0 0 25 0 1 0 1008792398 87306240 21043 4294967295 134512640 135215339 3214554432 3214552720 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21026/statm: 21315 21043 73 172 0 21142 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 87680

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24051
/proc/meminfo: memFree=537272/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=85260 CPUtime=1001.79
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21108 0 0 0 100166 13 0 0 25 0 1 0 1008792398 87306240 21043 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 21315 21043 73 172 0 21142 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 87680

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24239
/proc/meminfo: memFree=537272/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=85424 CPUtime=1061.79
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 21137 0 0 0 106166 13 0 0 25 0 1 0 1008792398 87474176 21072 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 21356 21072 73 172 0 21183 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 87844

[startup+1122.33 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 24427
/proc/meminfo: memFree=529344/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=93348 CPUtime=1121.81
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 23153 0 0 0 112167 14 0 0 25 0 1 0 1008792398 95588352 23088 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 23337 23088 73 172 0 23164 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 95768

[startup+1182.31 s]
/proc/loadavg: 1.06 1.03 1.01 2/93 24616
/proc/meminfo: memFree=529080/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=93484 CPUtime=1181.8
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 23174 0 0 0 118166 14 0 0 25 0 1 0 1008792398 95727616 23109 4294967295 134512640 135215339 3214554432 3214552720 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 23371 23109 73 172 0 23198 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 95904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 24799
/proc/meminfo: memFree=528888/2074464 swapFree=1952056/1959888
[pid=21020] ppid=21018 vsize=2420 CPUtime=0.59
/proc/21020/stat : 21020 (SatELiteGTI) S 21018 21020 15108 0 -1 4194304 386 4333 0 0 0 0 57 2 20 0 1 0 1008792339 2478080 278 4294967295 134512640 135169312 3216295584 3216291800 3085115118 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21020/statm: 605 278 235 161 0 44 0
[pid=21026] ppid=21020 vsize=93484 CPUtime=1199.5
/proc/21026/stat : 21026 (minisat_static) R 21020 21020 15108 0 -1 4202496 23174 0 0 0 119936 14 0 0 25 0 1 0 1008792398 95727616 23109 4294967295 134512640 135215339 3214554432 3214552720 134528852 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 23371 23109 73 172 0 23198 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 95904

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.93
CPU system time (s): 0.17
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 95904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28167
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= 19
involuntary context switches= 2934

runsolver used 0 second user time and 0.04 second system time

The end

Launcher Data

Begin job on tipi24 at 2009-05-16 05:02:22
IDJOB=1820428
IDBENCH=20403
IDSOLVER=657
FILE ID=tipi24/1820428-1242442942
PBS_JOBID=
Free space on /tmp= 10920 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820428-1242442942/watcher-1820428-1242442942 -o /tmp/evaluation-result-1820428-1242442942/solver-1820428-1242442942 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820428-1242442942.cnf

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

MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED= 274328927

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        624376 kB
Buffers:         36236 kB
Cached:        1311264 kB
SwapCached:       3968 kB
Active:         536108 kB
Inactive:       820964 kB
HighTotal:     1178688 kB
HighFree:        82556 kB
LowTotal:       895776 kB
LowFree:        541820 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:            3096 kB
Writeback:           0 kB
AnonPages:        8868 kB
Mapped:           3284 kB
Slab:            84280 kB
PageTables:        472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10920 MiB
End job on tipi24 at 2009-05-16 05:22:22