Trace number 1832515

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.03 1200.12

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
MD5SUM56d3d27e3897f3ba7df449d72abf21ef
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.956
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses18000
Sum of the clauses size90000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 518000
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   18000    90000 |    5399       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 900   #clauses: 18000   #literals: 90000
0.00/0.02	c CPU time:   0.017997 s
0.00/0.02	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  900                                                  |
0.00/0.07	c |  Number of clauses:    18000                                                |
0.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     900    18000    90000 |     6000        0    nan |  0.000 % |
0.04/0.10	c |       101 |     900    18000    90000 |     6000      101    117 |  0.000 % |
0.04/0.11	c |       201 |     900    18000    90000 |     6000      201    118 |  0.000 % |
0.04/0.12	c |       301 |     900    18000    90000 |     6000      301    115 |  0.000 % |
0.04/0.13	c |       411 |     900    18000    90000 |     6000      411    118 |  0.000 % |
0.04/0.14	c |       511 |     900    18000    90000 |     6000      511    118 |  0.000 % |
0.04/0.16	c |       623 |     900    18000    90000 |     6000      623    117 |  0.000 % |
0.04/0.17	c |       746 |     900    18000    90000 |     6000      746    121 |  0.000 % |
0.04/0.18	c |       848 |     900    18000    90000 |     6000      848    121 |  0.000 % |
0.04/0.20	c |       958 |     900    18000    90000 |     6000      958    119 |  0.000 % |
0.04/0.21	c |      1079 |     900    18000    90000 |     6000     1079    119 |  0.000 % |
0.04/0.23	c |      1213 |     900    18000    90000 |     6000     1213    119 |  0.000 % |
0.04/0.24	c |      1314 |     900    18000    90000 |     6000     1314    118 |  0.000 % |
0.04/0.25	c |      1425 |     900    18000    90000 |     6000     1425    118 |  0.000 % |
0.04/0.26	c |      1546 |     900    18000    90000 |     6000     1546    117 |  0.000 % |
0.04/0.28	c |      1679 |     900    18000    90000 |     6000     1679    117 |  0.000 % |
0.04/0.29	c |      1825 |     900    18000    90000 |     6000     1825    117 |  0.000 % |
0.04/0.31	c |      1925 |     900    18000    90000 |     6000     1925    116 |  0.000 % |
0.04/0.32	c |      2036 |     900    18000    90000 |     6000     2036    116 |  0.000 % |
0.04/0.33	c |      2159 |     900    18000    90000 |     6000     2159    116 |  0.000 % |
0.04/0.35	c |      2292 |     900    18000    90000 |     6000     2292    115 |  0.000 % |
0.04/0.36	c |      2438 |     900    18000    90000 |     6000     2438    114 |  0.000 % |
0.04/0.38	c |      2598 |     900    18000    90000 |     6000     2598    115 |  0.000 % |
0.04/0.39	c |      2698 |     900    18000    90000 |     6000     2698    114 |  0.000 % |
0.04/0.41	c |      2809 |     900    18000    90000 |     6000     2809    114 |  0.000 % |
0.04/0.42	c |      2933 |     900    18000    90000 |     6000     2933    115 |  0.000 % |
0.04/0.44	c |      3067 |     900    18000    90000 |     6000     3067    114 |  0.000 % |
0.04/0.46	c |      3214 |     900    18000    90000 |     6000     3214    114 |  0.000 % |
0.04/0.47	c |      3378 |     900    18000    90000 |     6000     3378    114 |  0.000 % |
0.04/0.50	c |      3554 |     900    18000    90000 |     6000     3554    114 |  0.000 % |
0.04/0.51	c |      3657 |     900    18000    90000 |     6000     3657    114 |  0.000 % |
0.04/0.52	c |      3767 |     900    18000    90000 |     6000     3767    114 |  0.000 % |
0.04/0.54	c |      3888 |     900    18000    90000 |     6000     3888    114 |  0.000 % |
0.04/0.55	c |      4022 |     900    18000    90000 |     6000     4022    114 |  0.000 % |
0.04/0.57	c |      4169 |     900    18000    90000 |     6000     4169    114 |  0.000 % |
0.04/0.59	c |      4330 |     900    18000    90000 |     6000     4330    114 |  0.000 % |
0.04/0.61	c |      4506 |     900    18000    90000 |     6000     4506    114 |  0.000 % |
0.04/0.64	c |      4699 |     900    18000    90000 |     6000     4699    114 |  0.000 % |
0.04/0.65	c |      4799 |     900    18000    90000 |     6000     4799    114 |  0.000 % |
0.04/0.66	c |      4910 |     900    18000    90000 |     6000     4910    114 |  0.000 % |
0.04/0.68	c |      5031 |     900    18000    90000 |     6000     5031    114 |  0.000 % |
0.04/0.69	c |      5164 |     900    18000    90000 |     6000     5164    114 |  0.000 % |
0.04/0.71	c |      5311 |     900    18000    90000 |     6000     5311    114 |  0.000 % |
0.04/0.73	c |      5473 |     900    18000    90000 |     6000     5473    113 |  0.000 % |
0.04/0.76	c |      5653 |     900    18000    90000 |     6000     5653    114 |  0.000 % |
0.04/0.78	c |      5846 |     900    18000    90000 |     6000     5846    114 |  0.000 % |
0.04/0.81	c |      6061 |     900    18000    90000 |     6000     6061    114 |  0.000 % |
0.04/0.83	c |      6162 |     900    18000    90000 |     6000     5556    111 |  0.000 % |
0.04/0.84	c |      6273 |     900    18000    90000 |     6000     5667    111 |  0.000 % |
0.04/0.86	c |      6394 |     900    18000    90000 |     6000     5788    111 |  0.000 % |
0.04/0.88	c |      6529 |     900    18000    90000 |     6000     5923    111 |  0.000 % |
0.04/0.90	c |      6676 |     900    18000    90000 |     6000     6070    111 |  0.000 % |
0.04/0.92	c |      6836 |     900    18000    90000 |     6000     5623    109 |  0.000 % |
0.04/0.94	c |      7014 |     900    18000    90000 |     6000     5801    110 |  0.000 % |
0.04/0.97	c |      7208 |     900    18000    90000 |     6000     5995    110 |  0.000 % |
0.04/1.00	c |      7420 |     900    18000    90000 |     6000     6207    111 |  0.000 % |
0.96/1.03	c |      7653 |     900    18000    90000 |     6000     5820    111 |  0.000 % |
0.96/1.04	c |      7753 |     900    18000    90000 |     6000     5920    111 |  0.000 % |
0.96/1.06	c |      7864 |     900    18000    90000 |     6000     6031    111 |  0.000 % |
0.96/1.08	c |      7986 |     900    18000    90000 |     6000     5550    111 |  0.000 % |
0.96/1.10	c |      8122 |     900    18000    90000 |     6000     5686    110 |  0.000 % |
1.06/1.11	c |      8269 |     900    18000    90000 |     6000     5833    110 |  0.000 % |
1.06/1.14	c |      8431 |     900    18000    90000 |     6000     5995    110 |  0.000 % |
1.06/1.16	c |      8607 |     900    18000    90000 |     6000     6171    111 |  0.000 % |
1.06/1.19	c |      8801 |     900    18000    90000 |     6000     5748    110 |  0.000 % |
1.15/1.21	c |      9013 |     900    18000    90000 |     6000     5960    110 |  0.000 % |
1.15/1.25	c |      9248 |     900    18000    90000 |     6000     6195    111 |  0.000 % |
1.15/1.28	c |      9504 |     900    18000    90000 |     6000     5832    112 |  0.000 % |
1.25/1.30	c |      9604 |     900    18000    90000 |     6000     5932    112 |  0.000 % |
1.25/1.31	c |      9714 |     900    18000    90000 |     6000     6042    111 |  0.000 % |
1.25/1.33	c |      9835 |     900    18000    90000 |     6000     5559    112 |  0.000 % |
1.25/1.35	c |      9968 |     900    18000    90000 |     6000     5692    112 |  0.000 % |
1.25/1.37	c |     10114 |     900    18000    90000 | 2147483647     5838    112 |  0.000 % |
1.25/1.40	c |     10275 |     900    18000    90000 | 2147483647     5999    112 |  0.000 % |
1.35/1.42	c |     10451 |     900    18000    90000 | 2147483647     6175    113 |  0.000 % |
1.35/1.45	c |     10644 |     900    18000    90000 | 2147483647     6368    113 |  0.000 % |
1.35/1.48	c |     10858 |     900    18000    90000 | 2147483647     6582    113 |  0.000 % |
1.45/1.51	c |     11092 |     900    18000    90000 | 2147483647     6816    113 |  0.000 % |
1.45/1.55	c |     11348 |     900    18000    90000 | 2147483647     7072    114 |  0.000 % |
1.45/1.59	c |     11629 |     900    18000    90000 | 2147483647     7353    114 |  0.000 % |
1.55/1.60	c |     11729 |     900    18000    90000 | 2147483647     7453    114 |  0.000 % |
1.55/1.62	c |     11839 |     900    18000    90000 | 2147483647     7563    114 |  0.000 % |
1.55/1.63	c |     11960 |     900    18000    90000 | 2147483647     7684    114 |  0.000 % |
1.55/1.66	c |     12093 |     900    18000    90000 | 2147483647     7817    114 |  0.000 % |
1.55/1.68	c |     12239 |     900    18000    90000 | 2147483647     7963    114 |  0.000 % |
1.65/1.70	c |     12401 |     900    18000    90000 | 2147483647     8125    114 |  0.000 % |
1.65/1.73	c |     12579 |     900    18000    90000 | 2147483647     8303    114 |  0.000 % |
1.65/1.76	c |     12772 |     900    18000    90000 | 2147483647     8496    114 |  0.000 % |
1.65/1.79	c |     12984 |     900    18000    90000 | 2147483647     8708    114 |  0.000 % |
1.75/1.83	c |     13217 |     900    18000    90000 | 2147483647     8941    114 |  0.000 % |
1.75/1.86	c |     13473 |     900    18000    90000 | 2147483647     9197    114 |  0.000 % |
1.85/1.91	c |     13758 |     900    18000    90000 | 2147483647     9482    115 |  0.000 % |
1.85/1.96	c |     14069 |     900    18000    90000 | 2147483647     9793    114 |  0.000 % |
1.85/1.98	c |     14169 |     900    18000    90000 | 2147483647     9893    114 |  0.000 % |
1.85/2.00	c |     14279 |     900    18000    90000 | 2147483647    10003    114 |  0.000 % |
1.95/2.02	c |     14400 |     900    18000    90000 | 2147483647    10124    114 |  0.000 % |
1.95/2.04	c |     14533 |     900    18000    90000 | 2147483647    10257    114 |  0.000 % |
1.95/2.06	c |     14679 |     900    18000    90000 | 2147483647    10403    114 |  0.000 % |
1.95/2.09	c |     14840 |     900    18000    90000 | 2147483647    10564    114 |  0.000 % |
2.05/2.11	c |     15016 |     900    18000    90000 | 2147483647    10740    114 |  0.000 % |
2.05/2.15	c |     15209 |     900    18000    90000 | 2147483647    10933    114 |  0.000 % |
2.05/2.18	c |     15421 |     900    18000    90000 | 2147483647    11145    114 |  0.000 % |
2.15/2.22	c |     15654 |     900    18000    90000 | 2147483647    11378    114 |  0.000 % |
2.15/2.27	c |     15910 |     900    18000    90000 | 2147483647    11634    114 |  0.000 % |
2.25/2.32	c |     16192 |     900    18000    90000 | 2147483647    11916    114 |  0.000 % |
2.25/2.37	c |     16501 |     900    18000    90000 | 2147483647    12225    114 |  0.000 % |
2.35/2.43	c |     16840 |     900    18000    90000 | 2147483647    12564    114 |  0.000 % |
2.35/2.45	c |     16941 |     900    18000    90000 | 2147483647    12665    114 |  0.000 % |
2.35/2.47	c |     17053 |     900    18000    90000 | 2147483647    12777    114 |  0.000 % |
2.45/2.50	c |     17174 |     900    18000    90000 | 2147483647    12898    114 |  0.000 % |
2.45/2.52	c |     17309 |     900    18000    90000 | 2147483647    13033    114 |  0.000 % |
2.45/2.55	c |     17457 |     900    18000    90000 | 2147483647    13181    114 |  0.000 % |
2.45/2.58	c |     17617 |     900    18000    90000 | 2147483647    13341    114 |  0.000 % |
2.56/2.61	c |     17795 |     900    18000    90000 | 2147483647    13519    114 |  0.000 % |
2.56/2.65	c |     17989 |     900    18000    90000 | 2147483647    13713    114 |  0.000 % |
2.56/2.69	c |     18201 |     900    18000    90000 | 2147483647    13925    114 |  0.000 % |
2.66/2.73	c |     18434 |     900    18000    90000 | 2147483647    14158    114 |  0.000 % |
2.66/2.78	c |     18690 |     900    18000    90000 | 2147483647    14414    114 |  0.000 % |
2.75/2.84	c |     18974 |     900    18000    90000 | 2147483647    14698    115 |  0.000 % |
2.75/2.90	c |     19283 |     900    18000    90000 | 2147483647    15007    115 |  0.000 % |
2.85/2.96	c |     19623 |     900    18000    90000 | 2147483647    15347    115 |  0.000 % |
2.95/3.04	c |     19996 |     900    18000    90000 | 2147483647    15720    115 |  0.000 % |
2.95/3.06	c |     20099 |     900    18000    90000 | 2147483647    15823    115 |  0.000 % |
2.95/3.09	c |     20211 |     900    18000    90000 | 2147483647    15935    115 |  0.000 % |
3.05/3.12	c |     20335 |     900    18000    90000 | 2147483647    16059    115 |  0.000 % |
3.05/3.15	c |     20468 |     900    18000    90000 | 2147483647    16192    115 |  0.000 % |
3.05/3.18	c |     20615 |     900    18000    90000 | 2147483647    16339    115 |  0.000 % |
3.16/3.21	c |     20776 |     900    18000    90000 | 2147483647    16500    115 |  0.000 % |
3.16/3.25	c |     20952 |     900    18000    90000 | 2147483647    16676    115 |  0.000 % |
3.16/3.28	c |     21148 |     900    18000    90000 | 2147483647    16872    115 |  0.000 % |
3.26/3.33	c |     21360 |     900    18000    90000 | 2147483647    17084    115 |  0.000 % |
3.26/3.37	c |     21593 |     900    18000    90000 | 2147483647    17317    115 |  0.000 % |
3.35/3.43	c |     21851 |     900    18000    90000 | 2147483647    17575    115 |  0.000 % |
3.45/3.50	c |     22134 |     900    18000    90000 | 2147483647    17858    115 |  0.000 % |
3.45/3.57	c |     22445 |     900    18000    90000 | 2147483647    18169    115 |  0.000 % |
3.55/3.64	c |     22785 |     900    18000    90000 | 2147483647    18509    115 |  0.000 % |
3.65/3.73	c |     23160 |     900    18000    90000 | 2147483647    18884    115 |  0.000 % |
3.75/3.81	c |     23569 |     900    18000    90000 | 2147483647    19293    115 |  0.000 % |
3.75/3.84	c |     23669 |     900    18000    90000 | 2147483647    19393    115 |  0.000 % |
3.75/3.87	c |     23781 |     900    18000    90000 | 2147483647    19505    115 |  0.000 % |
3.85/3.90	c |     23905 |     900    18000    90000 | 2147483647    19629    115 |  0.000 % |
3.85/3.93	c |     24038 |     900    18000    90000 | 2147483647    19762    115 |  0.000 % |
3.85/3.97	c |     24184 |     900    18000    90000 | 2147483647    19908    115 |  0.000 % |
3.95/4.01	c |     24344 |     900    18000    90000 | 2147483647    20068    115 |  0.000 % |
3.95/4.06	c |     24521 |     900    18000    90000 | 2147483647    20245    115 |  0.000 % |
4.05/4.11	c |     24716 |     900    18000    90000 | 2147483647    20440    115 |  0.000 % |
4.05/4.16	c |     24933 |     900    18000    90000 | 2147483647    20657    115 |  0.000 % |
4.15/4.22	c |     25166 |     900    18000    90000 | 2147483647    20890    115 |  0.000 % |
4.15/4.27	c |     25422 |     900    18000    90000 | 2147483647    21146    115 |  0.000 % |
4.26/4.34	c |     25703 |     900    18000    90000 | 2147483647    21427    115 |  0.000 % |
4.36/4.42	c |     26012 |     900    18000    90000 | 2147483647    21736    115 |  0.000 % |
4.46/4.51	c |     26351 |     900    18000    90000 | 2147483647    22075    115 |  0.000 % |
4.46/4.60	c |     26727 |     900    18000    90000 | 2147483647    22451    116 |  0.000 % |
4.65/4.71	c |     27138 |     900    18000    90000 | 2147483647    22862    116 |  0.000 % |
4.75/4.82	c |     27588 |     900    18000    90000 | 2147483647    23312    116 |  0.000 % |
4.75/4.86	c |     27688 |     900    18000    90000 | 2147483647    23412    116 |  0.000 % |
4.75/4.89	c |     27798 |     900    18000    90000 | 2147483647    23522    116 |  0.000 % |
4.85/4.92	c |     27920 |     900    18000    90000 | 2147483647    23644    116 |  0.000 % |
4.85/4.96	c |     28053 |     900    18000    90000 | 2147483647    23777    116 |  0.000 % |
4.95/5.01	c |     28199 |     900    18000    90000 | 2147483647    23923    116 |  0.000 % |
4.95/5.05	c |     28360 |     900    18000    90000 | 2147483647    24084    116 |  0.000 % |
5.05/5.10	c |     28536 |     900    18000    90000 | 2147483647    24260    116 |  0.000 % |
5.05/5.16	c |     28730 |     900    18000    90000 | 2147483647    24454    116 |  0.000 % |
5.15/5.22	c |     28944 |     900    18000    90000 | 2147483647    24668    116 |  0.000 % |
5.15/5.28	c |     29177 |     900    18000    90000 | 2147483647    24901    116 |  0.000 % |
5.25/5.35	c |     29433 |     900    18000    90000 | 2147483647    25157    116 |  0.000 % |
5.35/5.42	c |     29714 |     900    18000    90000 | 2147483647    25438    116 |  0.000 % |
5.45/5.51	c |     30023 |     900    18000    90000 | 2147483647    25747    116 |  0.000 % |
5.55/5.61	c |     30362 |     900    18000    90000 | 2147483647    26086    116 |  0.000 % |
5.65/5.72	c |     30735 |     900    18000    90000 | 2147483647    26459    116 |  0.000 % |
5.75/5.82	c |     31144 |     900    18000    90000 | 2147483647    26868    116 |  0.000 % |
5.84/5.95	c |     31594 |     900    18000    90000 | 2147483647    27318    116 |  0.000 % |
5.94/6.09	c |     32087 |     900    18000    90000 | 2147483647    27811    116 |  0.000 % |
6.04/6.13	c |     32187 |     900    18000    90000 | 2147483647    27911    116 |  0.000 % |
6.04/6.16	c |     32298 |     900    18000    90000 | 2147483647    28022    116 |  0.000 % |
6.14/6.20	c |     32419 |     900    18000    90000 | 2147483647    28143    116 |  0.000 % |
6.14/6.24	c |     32552 |     900    18000    90000 | 2147483647    28276    116 |  0.000 % |
6.14/6.29	c |     32699 |     900    18000    90000 | 2147483647    28423    116 |  0.000 % |
6.24/6.34	c |     32859 |     900    18000    90000 | 2147483647    28583    116 |  0.000 % |
6.24/6.39	c |     33037 |     900    18000    90000 | 2147483647    28761    116 |  0.000 % |
6.35/6.46	c |     33232 |     900    18000    90000 | 2147483647    28956    116 |  0.000 % |
6.45/6.53	c |     33445 |     900    18000    90000 | 2147483647    29169    116 |  0.000 % |
6.55/6.61	c |     33678 |     900    18000    90000 | 2147483647    29402    116 |  0.000 % |
6.55/6.68	c |     33936 |     900    18000    90000 | 2147483647    29660    116 |  0.000 % |
6.65/6.78	c |     34217 |     900    18000    90000 | 2147483647    29941    116 |  0.000 % |
6.75/6.88	c |     34527 |     900    18000    90000 | 2147483647    30251    116 |  0.000 % |
6.85/6.99	c |     34868 |     900    18000    90000 | 2147483647    30592    116 |  0.000 % |
7.05/7.12	c |     35242 |     900    18000    90000 | 2147483647    30966    116 |  0.000 % |
7.15/7.25	c |     35652 |     900    18000    90000 | 2147483647    31376    116 |  0.000 % |
7.24/7.39	c |     36102 |     900    18000    90000 | 2147483647    31826    116 |  0.000 % |
7.44/7.56	c |     36597 |     900    18000    90000 | 2147483647    32321    116 |  0.000 % |
7.65/7.75	c |     37140 |     900    18000    90000 | 2147483647    32864    116 |  0.000 % |
7.65/7.79	c |     37240 |     900    18000    90000 | 2147483647    32964    116 |  0.000 % |
7.74/7.83	c |     37352 |     900    18000    90000 | 2147483647    33076    116 |  0.000 % |
7.74/7.88	c |     37473 |     900    18000    90000 | 2147483647    33197    116 |  0.000 % |
7.84/7.93	c |     37606 |     900    18000    90000 | 2147483647    33330    116 |  0.000 % |
7.84/7.98	c |     37752 |     900    18000    90000 | 2147483647    33476    116 |  0.000 % |
7.94/8.03	c |     37913 |     900    18000    90000 | 2147483647    33637    116 |  0.000 % |
8.04/8.10	c |     38089 |     900    18000    90000 | 2147483647    33813    116 |  0.000 % |
8.04/8.17	c |     38284 |     900    18000    90000 | 2147483647    34008    116 |  0.000 % |
8.14/8.25	c |     38496 |     900    18000    90000 | 2147483647    34220    116 |  0.000 % |
8.24/8.34	c |     38729 |     900    18000    90000 | 2147483647    34453    116 |  0.000 % |
8.34/8.43	c |     38985 |     900    18000    90000 | 2147483647    34709    116 |  0.000 % |
8.44/8.53	c |     39267 |     900    18000    90000 | 2147483647    34991    116 |  0.000 % |
8.54/8.64	c |     39577 |     900    18000    90000 | 2147483647    35301    116 |  0.000 % |
8.64/8.77	c |     39918 |     900    18000    90000 | 2147483647    35642    116 |  0.000 % |
8.84/8.90	c |     40290 |     900    18000    90000 | 2147483647    36014    116 |  0.000 % |
8.94/9.05	c |     40699 |     900    18000    90000 | 2147483647    36423    116 |  0.000 % |
9.14/9.22	c |     41148 |     900    18000    90000 | 2147483647    36872    116 |  0.000 % |
9.24/9.39	c |     41642 |     900    18000    90000 | 2147483647    37366    117 |  0.000 % |
9.44/9.60	c |     42187 |     900    18000    90000 | 2147483647    37911    117 |  0.000 % |
9.74/9.82	c |     42783 |     900    18000    90000 | 2147483647    38507    117 |  0.000 % |
9.74/9.85	c |     42885 |     900    18000    90000 | 2147483647    38609    117 |  0.000 % |
9.74/9.90	c |     42995 |     900    18000    90000 | 2147483647    38719    117 |  0.000 % |
9.84/9.95	c |     43117 |     900    18000    90000 | 2147483647    38841    116 |  0.000 % |
9.94/10.00	c |     43250 |     900    18000    90000 | 2147483647    38974    117 |  0.000 % |
9.94/10.05	c |     43398 |     900    18000    90000 | 2147483647    39122    117 |  0.000 % |
10.04/10.11	c |     43558 |     900    18000    90000 | 2147483647    39282    117 |  0.000 % |
10.04/10.19	c |     43735 |     900    18000    90000 | 2147483647    39459    117 |  0.000 % |
10.13/10.27	c |     43928 |     900    18000    90000 | 2147483647    39652    117 |  0.000 % |
10.23/10.36	c |     44140 |     900    18000    90000 | 2147483647    39864    117 |  0.000 % |
10.33/10.46	c |     44378 |     900    18000    90000 | 2147483647    40102    117 |  0.000 % |
10.43/10.56	c |     44635 |     900    18000    90000 | 2147483647    40359    117 |  0.000 % |
10.53/10.67	c |     44916 |     900    18000    90000 | 2147483647    40640    117 |  0.000 % |
10.63/10.79	c |     45227 |     900    18000    90000 | 2147483647    40951    117 |  0.000 % |
10.84/10.92	c |     45567 |     900    18000    90000 | 2147483647    41291    117 |  0.000 % |
10.94/11.08	c |     45941 |     900    18000    90000 | 2147483647    41665    117 |  0.000 % |
11.13/11.25	c |     46351 |     900    18000    90000 | 2147483647    42075    117 |  0.000 % |
11.34/11.43	c |     46800 |     900    18000    90000 | 2147483647    42524    117 |  0.000 % |
11.54/11.61	c |     47295 |     900    18000    90000 | 2147483647    43019    117 |  0.000 % |
11.74/11.83	c |     47841 |     900    18000    90000 | 2147483647    43565    117 |  0.000 % |
11.94/12.06	c |     48437 |     900    18000    90000 | 2147483647    44161    117 |  0.000 % |
12.23/12.32	c |     49092 |     900    18000    90000 | 2147483647    44816    117 |  0.000 % |
12.23/12.37	c |     49192 |     900    18000    90000 | 2147483647    44916    117 |  0.000 % |
12.33/12.42	c |     49303 |     900    18000    90000 | 2147483647    45027    117 |  0.000 % |
12.33/12.48	c |     49426 |     900    18000    90000 | 2147483647    45150    117 |  0.000 % |
12.43/12.54	c |     49559 |     900    18000    90000 | 2147483647    45283    117 |  0.000 % |
12.53/12.62	c |     49706 |     900    18000    90000 | 2147483647    45430    117 |  0.000 % |
12.53/12.69	c |     49866 |     900    18000    90000 | 2147483647    45590    117 |  0.000 % |
12.64/12.78	c |     50042 |     900    18000    90000 | 2147483647    45766    117 |  0.000 % |
12.74/12.89	c |     50235 |     900    18000    90000 | 2147483647    45959    117 |  0.000 % |
12.83/12.98	c |     50448 |     900    18000    90000 | 2147483647    46172    117 |  0.000 % |
12.93/13.09	c |     50681 |     900    18000    90000 | 2147483647    46405    117 |  0.000 % |
13.14/13.21	c |     50939 |     900    18000    90000 | 2147483647    46663    117 |  0.000 % |
13.23/13.34	c |     51220 |     900    18000    90000 | 2147483647    46944    117 |  0.000 % |
13.33/13.49	c |     51532 |     900    18000    90000 | 2147483647    47256    117 |  0.000 % |
13.53/13.66	c |     51871 |     900    18000    90000 | 2147483647    47595    117 |  0.000 % |
13.73/13.83	c |     52244 |     900    18000    90000 | 2147483647    47968    117 |  0.000 % |
13.93/14.02	c |     52657 |     900    18000    90000 | 2147483647    48381    117 |  0.000 % |
14.13/14.22	c |     53108 |     900    18000    90000 | 2147483647    48832    117 |  0.000 % |
14.33/14.43	c |     53601 |     900    18000    90000 | 2147483647    49325    117 |  0.000 % |
14.63/14.70	c |     54145 |     900    18000    90000 | 2147483647    49869    117 |  0.000 % |
14.83/14.98	c |     54741 |     900    18000    90000 | 2147483647    50465    118 |  0.000 % |
15.13/15.29	c |     55397 |     900    18000    90000 | 2147483647    51121    118 |  0.000 % |
15.53/15.64	c |     56117 |     900    18000    90000 | 2147483647    51841    118 |  0.000 % |
15.53/15.69	c |     56219 |     900    18000    90000 | 2147483647    51943    118 |  0.000 % |
15.63/15.75	c |     56329 |     900    18000    90000 | 2147483647    52053    118 |  0.000 % |
15.73/15.81	c |     56452 |     900    18000    90000 | 2147483647    52176    118 |  0.000 % |
15.73/15.88	c |     56585 |     900    18000    90000 | 2147483647    52309    118 |  0.000 % |
15.83/15.97	c |     56731 |     900    18000    90000 | 2147483647    52455    118 |  0.000 % |
15.93/16.05	c |     56891 |     900    18000    90000 | 2147483647    52615    118 |  0.000 % |
16.03/16.14	c |     57067 |     900    18000    90000 | 2147483647    52791    118 |  0.000 % |
16.13/16.26	c |     57260 |     900    18000    90000 | 2147483647    52984    118 |  0.000 % |
16.23/16.38	c |     57472 |     900    18000    90000 | 2147483647    53196    118 |  0.000 % |
16.33/16.49	c |     57705 |     900    18000    90000 | 2147483647    53429    118 |  0.000 % |
16.53/16.62	c |     57961 |     900    18000    90000 | 2147483647    53685    118 |  0.000 % |
16.63/16.76	c |     58243 |     900    18000    90000 | 2147483647    53967    118 |  0.000 % |
16.83/16.92	c |     58552 |     900    18000    90000 | 2147483647    54276    118 |  0.000 % |
17.03/17.13	c |     58893 |     900    18000    90000 | 2147483647    54617    118 |  0.000 % |
17.22/17.33	c |     59266 |     900    18000    90000 | 2147483647    54990    118 |  0.000 % |
17.43/17.55	c |     59678 |     900    18000    90000 | 2147483647    55402    118 |  0.000 % |
17.62/17.78	c |     60127 |     900    18000    90000 | 2147483647    55851    118 |  0.000 % |
17.92/18.05	c |     60622 |     900    18000    90000 | 2147483647    56346    118 |  0.000 % |
18.22/18.33	c |     61165 |     900    18000    90000 | 2147483647    56889    118 |  0.000 % |
18.53/18.63	c |     61761 |     900    18000    90000 | 2147483647    57485    118 |  0.000 % |
18.83/18.98	c |     62417 |     900    18000    90000 | 2147483647    58141    118 |  0.000 % |
19.23/19.37	c |     63138 |     900    18000    90000 | 2147483647    58862    118 |  0.000 % |
19.64/19.77	c |     63932 |     900    18000    90000 | 2147483647    59656    118 |  0.000 % |
19.74/19.83	c |     64032 |     900    18000    90000 | 2147483647    59756    118 |  0.000 % |
19.83/19.91	c |     64143 |     900    18000    90000 | 2147483647    59867    118 |  0.000 % |
19.83/19.99	c |     64264 |     900    18000    90000 | 2147483647    59988    118 |  0.000 % |
19.93/20.06	c |     64397 |     900    18000    90000 | 2147483647    60121    118 |  0.000 % |
20.03/20.15	c |     64545 |     900    18000    90000 | 2147483647    60269    118 |  0.000 % |
20.13/20.25	c |     64705 |     900    18000    90000 | 2147483647    60429    118 |  0.000 % |
20.23/20.36	c |     64881 |     900    18000    90000 | 2147483647    60605    118 |  0.000 % |
20.33/20.48	c |     65074 |     900    18000    90000 | 2147483647    60798    118 |  0.000 % |
20.53/20.62	c |     65288 |     900    18000    90000 | 2147483647    61012    118 |  0.000 % |
20.63/20.76	c |     65523 |     900    18000    90000 | 2147483647    61247    118 |  0.000 % |
20.83/20.91	c |     65781 |     900    18000    90000 | 2147483647    61505    118 |  0.000 % |
20.93/21.09	c |     66065 |     900    18000    90000 | 2147483647    61789    118 |  0.000 % |
21.13/21.28	c |     66375 |     900    18000    90000 | 2147483647    62099    118 |  0.000 % |
21.43/21.50	c |     66716 |     900    18000    90000 | 2147483647    62440    118 |  0.000 % |
21.63/21.73	c |     67088 |     900    18000    90000 | 2147483647    62812    118 |  0.000 % |
21.83/21.97	c |     67498 |     900    18000    90000 | 2147483647    63222    118 |  0.000 % |
22.13/22.24	c |     67948 |     900    18000    90000 | 2147483647    63672    118 |  0.000 % |
22.42/22.51	c |     68442 |     900    18000    90000 | 2147483647    64166    118 |  0.000 % |
22.72/22.82	c |     68986 |     900    18000    90000 | 2147483647    64710    118 |  0.000 % |
23.03/23.17	c |     69582 |     900    18000    90000 | 2147483647    65306    118 |  0.000 % |
23.43/23.57	c |     70237 |     900    18000    90000 | 2147483647    65961    118 |  0.000 % |
23.93/24.01	c |     70958 |     900    18000    90000 | 2147483647    66682    118 |  0.000 % |
24.33/24.45	c |     71750 |     900    18000    90000 | 2147483647    67474    118 |  0.000 % |
24.83/24.97	c |     72622 |     900    18000    90000 | 2147483647    68346    118 |  0.000 % |
24.93/25.05	c |     72723 |     900    18000    90000 | 2147483647    68447    118 |  0.000 % |
25.03/25.11	c |     72833 |     900    18000    90000 | 2147483647    68557    118 |  0.000 % |
25.03/25.19	c |     72956 |     900    18000    90000 | 2147483647    68680    118 |  0.000 % |
25.13/25.29	c |     73091 |     900    18000    90000 | 2147483647    68815    118 |  0.000 % |
25.33/25.42	c |     73238 |     900    18000    90000 | 2147483647    68962    118 |  0.000 % |
25.42/25.52	c |     73398 |     900    18000    90000 | 2147483647    69122    118 |  0.000 % |
25.52/25.63	c |     73575 |     900    18000    90000 | 2147483647    69299    118 |  0.000 % |
25.62/25.78	c |     73771 |     900    18000    90000 | 2147483647    69495    118 |  0.000 % |
25.82/25.91	c |     73984 |     900    18000    90000 | 2147483647    69708    118 |  0.000 % |
25.92/26.06	c |     74217 |     900    18000    90000 | 2147483647    69941    118 |  0.000 % |
26.13/26.23	c |     74473 |     900    18000    90000 | 2147483647    70197    118 |  0.000 % |
26.33/26.41	c |     74754 |     900    18000    90000 | 2147483647    70478    118 |  0.000 % |
26.53/26.62	c |     75064 |     900    18000    90000 | 2147483647    70788    118 |  0.000 % |
26.73/26.85	c |     75403 |     900    18000    90000 | 2147483647    71127    118 |  0.000 % |
26.93/27.09	c |     75775 |     900    18000    90000 | 2147483647    71499    118 |  0.000 % |
27.23/27.36	c |     76186 |     900    18000    90000 | 2147483647    71910    118 |  0.000 % |
27.52/27.65	c |     76635 |     900    18000    90000 | 2147483647    72359    118 |  0.000 % |
27.82/27.97	c |     77130 |     900    18000    90000 | 2147483647    72854    118 |  0.000 % |
28.22/28.33	c |     77673 |     900    18000    90000 | 2147483647    73397    118 |  0.000 % |
28.53/28.69	c |     78270 |     900    18000    90000 | 2147483647    73994    118 |  0.000 % |
29.02/29.10	c |     78926 |     900    18000    90000 | 2147483647    74650    118 |  0.000 % |
29.42/29.57	c |     79646 |     900    18000    90000 | 2147483647    75370    118 |  0.000 % |
30.02/30.11	c |     80439 |     900    18000    90000 | 2147483647    76163    118 |  0.000 % |
30.52/30.69	c |     81311 |     900    18000    90000 | 2147483647    77035    118 |  0.000 % |
31.12/31.29	c |     82270 |     900    18000    90000 | 2147483647    77994    119 |  0.000 % |
31.22/31.36	c |     82370 |     900    18000    90000 | 2147483647    78094    119 |  0.000 % |
31.32/31.44	c |     82481 |     900    18000    90000 | 2147483647    78205    119 |  0.000 % |
31.42/31.54	c |     82603 |     900    18000    90000 | 2147483647    78327    119 |  0.000 % |
31.52/31.64	c |     82737 |     900    18000    90000 | 2147483647    78461    119 |  0.000 % |
31.62/31.75	c |     82883 |     900    18000    90000 | 2147483647    78607    119 |  0.000 % |
31.72/31.87	c |     83043 |     900    18000    90000 | 2147483647    78767    119 |  0.000 % |
31.92/32.03	c |     83219 |     900    18000    90000 | 2147483647    78943    119 |  0.000 % |
32.02/32.18	c |     83412 |     900    18000    90000 | 2147483647    79136    119 |  0.000 % |
32.22/32.37	c |     83626 |     900    18000    90000 | 2147483647    79350    119 |  0.000 % |
32.42/32.54	c |     83859 |     900    18000    90000 | 2147483647    79583    119 |  0.000 % |
32.63/32.74	c |     84117 |     900    18000    90000 | 2147483647    79841    119 |  0.000 % |
32.83/32.92	c |     84398 |     900    18000    90000 | 2147483647    80122    119 |  0.000 % |
33.02/33.14	c |     84708 |     900    18000    90000 | 2147483647    80432    118 |  0.000 % |
33.22/33.40	c |     85049 |     900    18000    90000 | 2147483647    80773    118 |  0.000 % |
33.62/33.71	c |     85421 |     900    18000    90000 | 2147483647    81145    118 |  0.000 % |
33.93/34.04	c |     85831 |     900    18000    90000 | 2147483647    81555    118 |  0.000 % |
34.22/34.37	c |     86282 |     900    18000    90000 | 2147483647    82006    118 |  0.000 % |
34.62/34.72	c |     86775 |     900    18000    90000 | 2147483647    82499    119 |  0.000 % |
34.92/35.08	c |     87318 |     900    18000    90000 | 2147483647    83042    118 |  0.000 % |
35.32/35.49	c |     87916 |     900    18000    90000 | 2147483647    83640    118 |  0.000 % |
35.82/35.95	c |     88572 |     900    18000    90000 | 2147483647    84296    118 |  0.000 % |
36.42/36.52	c |     89293 |     900    18000    90000 | 2147483647    85017    118 |  0.000 % |
37.02/37.13	c |     90088 |     900    18000    90000 |    85726    85812    118 |  0.000 % |
37.62/37.79	c |     90962 |     900    18000    90000 |    85726    76410    119 |  0.000 % |
38.33/38.43	c |     91921 |     900    18000    90000 |    85726    77369    119 |  0.000 % |
39.02/39.15	c |     92977 |     900    18000    90000 |    85726    78425    119 |  0.000 % |
39.12/39.23	c |     93079 |     900    18000    90000 |    85726    78527    119 |  0.000 % |
39.22/39.33	c |     93191 |     900    18000    90000 |    85726    78639    119 |  0.000 % |
39.32/39.43	c |     93312 |     900    18000    90000 |    85726    78760    119 |  0.000 % |
39.42/39.54	c |     93446 |     900    18000    90000 |    85726    78894    119 |  0.000 % |
39.52/39.66	c |     93593 |     900    18000    90000 |    85726    79041    119 |  0.000 % |
39.72/39.80	c |     93753 |     900    18000    90000 |    85726    79201    119 |  0.000 % |
39.82/39.96	c |     93929 |     900    18000    90000 |    85726    79377    119 |  0.000 % |
40.02/40.10	c |     94124 |     900    18000    90000 |    85726    79572    119 |  0.000 % |
40.12/40.26	c |     94336 |     900    18000    90000 |    85726    79784    119 |  0.000 % |
40.32/40.43	c |     94569 |     900    18000    90000 |    85726    80017    119 |  0.000 % |
40.52/40.65	c |     94827 |     900    18000    90000 |    85726    80275    119 |  0.000 % |
40.72/40.86	c |     95110 |     900    18000    90000 |    85726    80558    119 |  0.000 % |
41.02/41.11	c |     95419 |     900    18000    90000 |    85726    80867    119 |  0.000 % |
41.22/41.36	c |     95758 |     900    18000    90000 |    85726    81206    119 |  0.000 % |
41.52/41.63	c |     96130 |     900    18000    90000 |    85726    81578    119 |  0.000 % |
41.82/41.92	c |     96541 |     900    18000    90000 |    85726    81989    119 |  0.000 % |
42.12/42.29	c |     96992 |     900    18000    90000 |    85726    82440    119 |  0.000 % |
42.62/42.70	c |     97486 |     900    18000    90000 |    85726    82934    119 |  0.000 % |
42.92/43.08	c |     98028 |     900    18000    90000 |    85726    83476    119 |  0.000 % |
43.42/43.58	c |     98624 |     900    18000    90000 |    85726    84072    119 |  0.000 % |
43.92/44.05	c |     99279 |     900    18000    90000 |    85726    84727    119 |  0.000 % |
44.42/44.59	c |     99999 |     900    18000    90000 |    85726    85447    119 |  0.000 % |
45.03/45.19	c |    100791 |     900    18000    90000 |    85448    74394    119 |  0.000 % |
45.62/45.77	c |    101664 |     900    18000    90000 |    85448    75267    119 |  0.000 % |
46.32/46.41	c |    102625 |     900    18000    90000 |    85448    76228    119 |  0.000 % |
47.02/47.11	c |    103678 |     900    18000    90000 |    85448    77281    119 |  0.000 % |
47.82/47.92	c |    104838 |     900    18000    90000 |    85448    78441    119 |  0.000 % |
47.82/48.00	c |    104938 |     900    18000    90000 |    85448    78541    119 |  0.000 % |
47.92/48.08	c |    105048 |     900    18000    90000 |    85448    78651    119 |  0.000 % |
48.02/48.19	c |    105169 |     900    18000    90000 |    85448    78772    119 |  0.000 % |
48.22/48.30	c |    105304 |     900    18000    90000 |    85448    78907    119 |  0.000 % |
48.32/48.42	c |    105450 |     900    18000    90000 |    85448    79053    119 |  0.000 % |
48.42/48.54	c |    105610 |     900    18000    90000 |    85448    79213    119 |  0.000 % |
48.52/48.68	c |    105786 |     900    18000    90000 |    85448    79389    119 |  0.000 % |
48.72/48.82	c |    105979 |     900    18000    90000 |    85448    79582    119 |  0.000 % |
48.82/49.00	c |    106193 |     900    18000    90000 |    85448    79796    119 |  0.000 % |
49.02/49.16	c |    106426 |     900    18000    90000 |    85448    80029    119 |  0.000 % |
49.22/49.35	c |    106682 |     900    18000    90000 |    85448    80285    119 |  0.000 % |
49.42/49.56	c |    106963 |     900    18000    90000 |    85448    80566    119 |  0.000 % |
49.62/49.78	c |    107272 |     900    18000    90000 |    85448    80875    119 |  0.000 % |
49.92/50.05	c |    107612 |     900    18000    90000 |    85448    81215    119 |  0.000 % |
50.22/50.31	c |    107985 |     900    18000    90000 |    85448    81588    119 |  0.000 % |
50.42/50.60	c |    108394 |     900    18000    90000 |    85448    81997    119 |  0.000 % |
50.82/50.93	c |    108844 |     900    18000    90000 |    85448    82447    119 |  0.000 % |
51.12/51.29	c |    109338 |     900    18000    90000 |    85448    82941    119 |  0.000 % |
51.52/51.69	c |    109880 |     900    18000    90000 |    85448    83483    119 |  0.000 % |
52.02/52.14	c |    110478 |     900    18000    90000 |    83603    73463    119 |  0.000 % |
52.42/52.54	c |    111134 |     900    18000    90000 |    83603    74119    120 |  0.000 % |
52.92/53.00	c |    111854 |     900    18000    90000 |    83603    74839    120 |  0.000 % |
53.42/53.55	c |    112646 |     900    18000    90000 |    83603    75631    120 |  0.000 % |
54.02/54.14	c |    113517 |     900    18000    90000 |    83603    76502    120 |  0.000 % |
54.62/54.79	c |    114475 |     900    18000    90000 |    83603    77460    120 |  0.000 % |
55.32/55.48	c |    115528 |     900    18000    90000 |    83603    78513    120 |  0.000 % |
56.22/56.34	c |    116687 |     900    18000    90000 |    83603    79672    120 |  0.000 % |
57.12/57.24	c |    117960 |     900    18000    90000 |    83603    80945    120 |  0.000 % |
57.22/57.31	c |    118062 |     900    18000    90000 |    83603    81047    120 |  0.000 % |
57.32/57.42	c |    118172 |     900    18000    90000 |    83603    81157    120 |  0.000 % |
57.42/57.52	c |    118293 |     900    18000    90000 |    83603    81278    120 |  0.000 % |
57.52/57.62	c |    118427 |     900    18000    90000 |    83603    81412    120 |  0.000 % |
57.62/57.75	c |    118573 |     900    18000    90000 |    83603    81558    120 |  0.000 % |
57.82/57.91	c |    118734 |     900    18000    90000 |    83603    81719    120 |  0.000 % |
57.92/58.04	c |    118910 |     900    18000    90000 |    83603    81895    120 |  0.000 % |
58.02/58.19	c |    119103 |     900    18000    90000 |    83603    82088    120 |  0.000 % |
58.22/58.36	c |    119315 |     900    18000    90000 |    83603    82300    120 |  0.000 % |
58.42/58.53	c |    119549 |     900    18000    90000 |    83603    82534    120 |  0.000 % |
58.62/58.76	c |    119806 |     900    18000    90000 |    83603    82791    120 |  0.000 % |
58.82/58.99	c |    120088 |     900    18000    90000 |    82985    83073    120 |  0.000 % |
59.12/59.27	c |    120398 |     900    18000    90000 |    82985    73134    119 |  0.000 % |
59.42/59.50	c |    120737 |     900    18000    90000 |    82985    73473    119 |  0.000 % |
59.62/59.75	c |    121109 |     900    18000    90000 |    82985    73845    119 |  0.000 % |
59.92/60.01	c |    121518 |     900    18000    90000 |    82985    74254    119 |  0.000 % |
60.22/60.36	c |    121967 |     900    18000    90000 |    82985    74703    119 |  0.000 % |
60.62/60.70	c |    122460 |     900    18000    90000 |    82985    75196    119 |  0.000 % |
60.92/61.08	c |    123002 |     900    18000    90000 |    82985    75738    119 |  0.000 % |
61.42/61.53	c |    123598 |     900    18000    90000 |    82985    76334    119 |  0.000 % |
61.82/62.00	c |    124253 |     900    18000    90000 |    82985    76989    120 |  0.000 % |
62.32/62.49	c |    124974 |     900    18000    90000 |    82985    77710    120 |  0.000 % |
62.92/63.02	c |    125766 |     900    18000    90000 |    82985    78502    120 |  0.000 % |
63.41/63.59	c |    126640 |     900    18000    90000 |    82985    79376    120 |  0.000 % |
64.22/64.30	c |    127599 |     900    18000    90000 |    82985    80335    120 |  0.000 % |
65.01/65.13	c |    128652 |     900    18000    90000 |    82985    81388    120 |  0.000 % |
65.82/65.95	c |    129810 |     900    18000    90000 |    82985    82546    120 |  0.000 % |
66.71/66.81	c |    131083 |     900    18000    90000 |    82737    73633    120 |  0.000 % |
67.61/67.74	c |    132483 |     900    18000    90000 |    82737    75033    120 |  0.000 % |
67.71/67.81	c |    132584 |     900    18000    90000 |    82737    75134    120 |  0.000 % |
67.81/67.91	c |    132696 |     900    18000    90000 |    82737    75246    120 |  0.000 % |
67.91/68.00	c |    132818 |     900    18000    90000 |    82737    75368    120 |  0.000 % |
68.02/68.11	c |    132952 |     900    18000    90000 |    82737    75502    120 |  0.000 % |
68.12/68.22	c |    133098 |     900    18000    90000 |    82737    75648    120 |  0.000 % |
68.21/68.35	c |    133259 |     900    18000    90000 |    82737    75809    120 |  0.000 % |
68.31/68.50	c |    133436 |     900    18000    90000 |    82737    75986    120 |  0.000 % |
68.51/68.65	c |    133629 |     900    18000    90000 |    82737    76179    120 |  0.000 % |
68.71/68.80	c |    133841 |     900    18000    90000 |    82737    76391    120 |  0.000 % |
68.81/68.98	c |    134074 |     900    18000    90000 |    82737    76624    120 |  0.000 % |
69.01/69.19	c |    134331 |     900    18000    90000 |    82737    76881    120 |  0.000 % |
69.31/69.40	c |    134612 |     900    18000    90000 |    82737    77162    120 |  0.000 % |
69.51/69.62	c |    134921 |     900    18000    90000 |    82737    77471    120 |  0.000 % |
69.71/69.86	c |    135260 |     900    18000    90000 |    82737    77810    120 |  0.000 % |
70.01/70.13	c |    135633 |     900    18000    90000 |    82737    78183    120 |  0.000 % |
70.33/70.41	c |    136043 |     900    18000    90000 |    82737    78593    120 |  0.000 % |
70.62/70.74	c |    136493 |     900    18000    90000 |    82737    79043    120 |  0.000 % |
70.92/71.09	c |    136988 |     900    18000    90000 |    82737    79538    120 |  0.000 % |
71.43/71.50	c |    137530 |     900    18000    90000 |    82737    80080    120 |  0.000 % |
71.92/72.00	c |    138130 |     900    18000    90000 |    82737    80680    120 |  0.000 % |
72.32/72.44	c |    138785 |     900    18000    90000 |    82737    81335    120 |  0.000 % |
72.82/72.98	c |    139505 |     900    18000    90000 |    82737    82055    120 |  0.000 % |
73.53/73.61	c |    140297 |     900    18000    90000 |    82550    82847    120 |  0.000 % |
74.12/74.22	c |    141170 |     900    18000    90000 |    82550    73161    120 |  0.000 % |
74.73/74.85	c |    142128 |     900    18000    90000 |    82550    74119    120 |  0.000 % |
75.42/75.52	c |    143183 |     900    18000    90000 |    82550    75174    120 |  0.000 % |
76.12/76.24	c |    144342 |     900    18000    90000 |    82550    76333    120 |  0.000 % |
77.02/77.13	c |    145617 |     900    18000    90000 |    82550    77608    120 |  0.000 % |
78.03/78.10	c |    147017 |     900    18000    90000 |    82550    79008    120 |  0.000 % |
79.13/79.23	c |    148557 |     900    18000    90000 |    82550    80548    120 |  0.000 % |
79.22/79.30	c |    148658 |     900    18000    90000 |    82550    80649    120 |  0.000 % |
79.32/79.40	c |    148770 |     900    18000    90000 |    82550    80761    120 |  0.000 % |
79.32/79.49	c |    148891 |     900    18000    90000 |    82550    80882    120 |  0.000 % |
79.42/79.59	c |    149024 |     900    18000    90000 |    82550    81015    120 |  0.000 % |
79.62/79.72	c |    149170 |     900    18000    90000 |    82550    81161    120 |  0.000 % |
79.72/79.86	c |    149333 |     900    18000    90000 |    82550    81324    120 |  0.000 % |
79.92/80.00	c |    149509 |     900    18000    90000 |    82550    81500    120 |  0.000 % |
80.02/80.19	c |    149702 |     900    18000    90000 |    82550    81693    120 |  0.000 % |
80.23/80.34	c |    149914 |     900    18000    90000 |    82550    81905    120 |  0.000 % |
80.42/80.53	c |    150148 |     900    18000    90000 |    81992    82139    120 |  0.000 % |
80.62/80.75	c |    150404 |     900    18000    90000 |    81992    72447    120 |  0.000 % |
80.82/80.95	c |    150685 |     900    18000    90000 |    81992    72728    120 |  0.000 % |
81.02/81.16	c |    150994 |     900    18000    90000 |    81992    73037    120 |  0.000 % |
81.23/81.40	c |    151334 |     900    18000    90000 |    81992    73377    120 |  0.000 % |
81.52/81.65	c |    151706 |     900    18000    90000 |    81992    73749    120 |  0.000 % |
81.82/81.93	c |    152115 |     900    18000    90000 |    81992    74158    120 |  0.000 % |
82.12/82.24	c |    152564 |     900    18000    90000 |    81992    74607    120 |  0.000 % |
82.52/82.62	c |    153058 |     900    18000    90000 |    81992    75101    120 |  0.000 % |
82.82/82.99	c |    153600 |     900    18000    90000 |    81992    75643    120 |  0.000 % |
83.32/83.42	c |    154196 |     900    18000    90000 |    81992    76239    120 |  0.000 % |
83.72/83.88	c |    154851 |     900    18000    90000 |    81992    76894    120 |  0.000 % |
84.22/84.38	c |    155571 |     900    18000    90000 |    81992    77614    120 |  0.000 % |
84.82/84.95	c |    156365 |     900    18000    90000 |    81992    78408    120 |  0.000 % |
85.42/85.54	c |    157238 |     900    18000    90000 |    81992    79281    120 |  0.000 % |
86.12/86.20	c |    158197 |     900    18000    90000 |    81992    80240    120 |  0.000 % |
86.82/86.92	c |    159253 |     900    18000    90000 |    81992    81296    120 |  0.000 % |
87.72/87.81	c |    160411 |     900    18000    90000 |    82045    72535    120 |  0.000 % |
88.52/88.62	c |    161684 |     900    18000    90000 |    82045    73808    120 |  0.000 % |
89.42/89.55	c |    163084 |     900    18000    90000 |    82045    75208    120 |  0.000 % |
90.42/90.57	c |    164627 |     900    18000    90000 |    82045    76751    120 |  0.000 % |
91.62/91.76	c |    166321 |     900    18000    90000 |    82045    78445    120 |  0.000 % |
91.72/91.84	c |    166421 |     900    18000    90000 |    82045    78545    120 |  0.000 % |
91.82/91.92	c |    166533 |     900    18000    90000 |    82045    78657    120 |  0.000 % |
91.92/92.02	c |    166657 |     900    18000    90000 |    82045    78781    120 |  0.000 % |
92.02/92.12	c |    166794 |     900    18000    90000 |    82045    78918    120 |  0.000 % |
92.12/92.24	c |    166940 |     900    18000    90000 |    82045    79064    120 |  0.000 % |
92.22/92.37	c |    167101 |     900    18000    90000 |    82045    79225    120 |  0.000 % |
92.42/92.50	c |    167278 |     900    18000    90000 |    82045    79402    120 |  0.000 % |
92.52/92.65	c |    167472 |     900    18000    90000 |    82045    79596    120 |  0.000 % |
92.72/92.80	c |    167686 |     900    18000    90000 |    82045    79810    120 |  0.000 % |
92.82/92.98	c |    167919 |     900    18000    90000 |    82045    80043    120 |  0.000 % |
93.02/93.16	c |    168175 |     900    18000    90000 |    82045    80299    120 |  0.000 % |
93.22/93.38	c |    168458 |     900    18000    90000 |    82045    80582    120 |  0.000 % |
93.52/93.61	c |    168771 |     900    18000    90000 |    82045    80895    120 |  0.000 % |
93.72/93.87	c |    169110 |     900    18000    90000 |    82045    81234    120 |  0.000 % |
94.02/94.14	c |    169483 |     900    18000    90000 |    82045    81607    120 |  0.000 % |
94.32/94.45	c |    169894 |     900    18000    90000 |    82045    82018    120 |  0.000 % |
94.72/94.82	c |    170344 |     900    18000    90000 |    82124    72704    120 |  0.000 % |
95.02/95.13	c |    170840 |     900    18000    90000 |    82124    73200    120 |  0.000 % |
95.32/95.49	c |    171383 |     900    18000    90000 |    82124    73743    120 |  0.000 % |
95.82/95.91	c |    171979 |     900    18000    90000 |    82124    74339    120 |  0.000 % |
96.22/96.33	c |    172635 |     900    18000    90000 |    82124    74995    120 |  0.000 % |
96.72/96.81	c |    173355 |     900    18000    90000 |    82124    75715    120 |  0.000 % |
97.22/97.34	c |    174147 |     900    18000    90000 |    82124    76507    120 |  0.000 % |
97.72/97.87	c |    175018 |     900    18000    90000 |    82124    77378    120 |  0.000 % |
98.42/98.56	c |    175977 |     900    18000    90000 |    82124    78337    120 |  0.000 % |
99.11/99.27	c |    177030 |     900    18000    90000 |    82124    79390    120 |  0.000 % |
100.02/100.12	c |    178192 |     900    18000    90000 |    82124    80552    120 |  0.000 % |
100.91/101.03	c |    179465 |     900    18000    90000 |    82124    81825    120 |  0.000 % |
101.91/102.02	c |    180868 |     900    18000    90000 |    82360    73712    120 |  0.000 % |
102.91/103.03	c |    182408 |     900    18000    90000 |    82360    75252    121 |  0.000 % |
104.02/104.15	c |    184102 |     900    18000    90000 |    82360    76946    121 |  0.000 % |
105.32/105.44	c |    185965 |     900    18000    90000 |    82360    78809    121 |  0.000 % |
105.42/105.52	c |    186065 |     900    18000    90000 |    82360    78909    121 |  0.000 % |
105.52/105.63	c |    186176 |     900    18000    90000 |    82360    79020    121 |  0.000 % |
105.61/105.74	c |    186297 |     900    18000    90000 |    82360    79141    121 |  0.000 % |
105.71/105.84	c |    186431 |     900    18000    90000 |    82360    79275    121 |  0.000 % |
105.81/105.95	c |    186580 |     900    18000    90000 |    82360    79424    121 |  0.000 % |
106.01/106.10	c |    186741 |     900    18000    90000 |    82360    79585    121 |  0.000 % |
106.11/106.25	c |    186918 |     900    18000    90000 |    82360    79762    121 |  0.000 % |
106.31/106.41	c |    187112 |     900    18000    90000 |    82360    79956    121 |  0.000 % |
106.41/106.58	c |    187324 |     900    18000    90000 |    82360    80168    121 |  0.000 % |
106.62/106.75	c |    187558 |     900    18000    90000 |    82360    80402    121 |  0.000 % |
106.81/106.96	c |    187814 |     900    18000    90000 |    82360    80658    121 |  0.000 % |
107.01/107.18	c |    188095 |     900    18000    90000 |    82360    80939    121 |  0.000 % |
107.32/107.43	c |    188405 |     900    18000    90000 |    82360    81249    121 |  0.000 % |
107.51/107.70	c |    188745 |     900    18000    90000 |    82360    81589    121 |  0.000 % |
107.81/107.96	c |    189117 |     900    18000    90000 |    82360    81961    121 |  0.000 % |
108.11/108.22	c |    189526 |     900    18000    90000 |    82360    82370    121 |  0.000 % |
108.51/108.62	c |    189978 |     900    18000    90000 |    82360    73609    121 |  0.000 % |
108.82/108.99	c |    190472 |     900    18000    90000 |    73631    65823    121 |  0.000 % |
109.21/109.30	c |    191014 |     900    18000    90000 |    73631    66365    121 |  0.000 % |
109.61/109.70	c |    191610 |     900    18000    90000 |    73631    66961    121 |  0.000 % |
109.92/110.09	c |    192265 |     900    18000    90000 |    73631    67616    121 |  0.000 % |
110.41/110.52	c |    192985 |     900    18000    90000 |    73631    68336    121 |  0.000 % |
110.92/111.02	c |    193779 |     900    18000    90000 |    73631    69130    121 |  0.000 % |
111.41/111.54	c |    194651 |     900    18000    90000 |    73631    70002    121 |  0.000 % |
112.02/112.12	c |    195609 |     900    18000    90000 |    73631    70960    121 |  0.000 % |
112.61/112.75	c |    196665 |     900    18000    90000 |    73631    72016    121 |  0.000 % |
113.31/113.46	c |    197823 |     900    18000    90000 |    73631    73174    121 |  0.000 % |
114.21/114.30	c |    199099 |     900    18000    90000 |    73631    67057    121 |  0.000 % |
115.11/115.20	c |    200499 |     900    18000    90000 | 2147483647    68457    121 |  0.000 % |
116.01/116.12	c |    202039 |     900    18000    90000 | 2147483647    69997    121 |  0.000 % |
117.11/117.25	c |    203733 |     900    18000    90000 | 2147483647    71691    121 |  0.000 % |
118.31/118.42	c |    205596 |     900    18000    90000 | 2147483647    73554    121 |  0.000 % |
119.71/119.86	c |    207645 |     900    18000    90000 | 2147483647    75603    121 |  0.000 % |
119.81/119.92	c |    207745 |     900    18000    90000 | 2147483647    75703    121 |  0.000 % |
119.91/120.01	c |    207856 |     900    18000    90000 | 2147483647    75814    121 |  0.000 % |
120.01/120.11	c |    207977 |     900    18000    90000 | 2147483647    75935    121 |  0.000 % |
120.11/120.21	c |    208110 |     900    18000    90000 | 2147483647    76068    121 |  0.000 % |
120.21/120.32	c |    208257 |     900    18000    90000 | 2147483647    76215    121 |  0.000 % |
120.31/120.43	c |    208418 |     900    18000    90000 | 2147483647    76376    121 |  0.000 % |
120.41/120.57	c |    208597 |     900    18000    90000 | 2147483647    76555    121 |  0.000 % |
120.61/120.75	c |    208791 |     900    18000    90000 | 2147483647    76749    121 |  0.000 % |
120.81/120.91	c |    209005 |     900    18000    90000 | 2147483647    76963    121 |  0.000 % |
120.91/121.09	c |    209239 |     900    18000    90000 | 2147483647    77197    121 |  0.000 % |
121.11/121.28	c |    209495 |     900    18000    90000 | 2147483647    77453    121 |  0.000 % |
121.41/121.50	c |    209776 |     900    18000    90000 | 2147483647    77734    121 |  0.000 % |
121.61/121.76	c |    210086 |     900    18000    90000 | 2147483647    78044    121 |  0.000 % |
121.91/122.05	c |    210426 |     900    18000    90000 | 2147483647    78384    121 |  0.000 % |
122.21/122.33	c |    210799 |     900    18000    90000 | 2147483647    78757    121 |  0.000 % |
122.51/122.65	c |    211208 |     900    18000    90000 | 2147483647    79166    121 |  0.000 % |
122.81/122.95	c |    211659 |     900    18000    90000 | 2147483647    79617    121 |  0.000 % |
123.11/123.27	c |    212152 |     900    18000    90000 | 2147483647    80110    121 |  0.000 % |
123.51/123.64	c |    212694 |     900    18000    90000 | 2147483647    80652    121 |  0.000 % |
123.91/124.04	c |    213290 |     900    18000    90000 | 2147483647    81248    121 |  0.000 % |
124.31/124.47	c |    213945 |     900    18000    90000 | 2147483647    81903    121 |  0.000 % |
124.81/124.97	c |    214666 |     900    18000    90000 | 2147483647    82624    121 |  0.000 % |
125.41/125.51	c |    215458 |     900    18000    90000 | 2147483647    83416    121 |  0.000 % |
126.01/126.14	c |    216330 |     900    18000    90000 | 2147483647    84288    121 |  0.000 % |
126.71/126.81	c |    217288 |     900    18000    90000 | 2147483647    85246    121 |  0.000 % |
127.41/127.55	c |    218341 |     900    18000    90000 | 2147483647    86299    121 |  0.000 % |
128.31/128.41	c |    219500 |     900    18000    90000 | 2147483647    87458    121 |  0.000 % |
129.40/129.52	c |    220774 |     900    18000    90000 |    87958    77366    121 |  0.000 % |
130.40/130.57	c |    222176 |     900    18000    90000 |    87958    78768    122 |  0.000 % |
131.50/131.62	c |    223716 |     900    18000    90000 |    87958    80308    122 |  0.000 % |
132.70/132.82	c |    225411 |     900    18000    90000 |    87958    82003    122 |  0.000 % |
134.01/134.10	c |    227274 |     900    18000    90000 |    87958    83866    122 |  0.000 % |
135.40/135.55	c |    229325 |     900    18000    90000 |    87958    85917    122 |  0.000 % |
137.00/137.18	c |    231579 |     900    18000    90000 |    86594    77214    123 |  0.000 % |
137.10/137.28	c |    231680 |     900    18000    90000 |    86594    77315    123 |  0.000 % |
137.20/137.35	c |    231790 |     900    18000    90000 |    86594    77425    123 |  0.000 % |
137.31/137.45	c |    231912 |     900    18000    90000 |    86594    77547    123 |  0.000 % |
137.41/137.57	c |    232048 |     900    18000    90000 |    86594    77683    123 |  0.000 % |
137.60/137.70	c |    232194 |     900    18000    90000 |    86594    77829    123 |  0.000 % |
137.70/137.82	c |    232356 |     900    18000    90000 |    86594    77991    123 |  0.000 % |
137.80/137.95	c |    232532 |     900    18000    90000 |    86594    78167    123 |  0.000 % |
138.00/138.10	c |    232725 |     900    18000    90000 |    86594    78360    123 |  0.000 % |
138.10/138.24	c |    232938 |     900    18000    90000 |    86594    78573    123 |  0.000 % |
138.30/138.43	c |    233174 |     900    18000    90000 |    86594    78809    123 |  0.000 % |
138.50/138.62	c |    233430 |     900    18000    90000 |    86594    79065    122 |  0.000 % |
138.70/138.81	c |    233712 |     900    18000    90000 |    86594    79347    122 |  0.000 % |
138.90/139.03	c |    234021 |     900    18000    90000 |    86594    79656    123 |  0.000 % |
139.20/139.31	c |    234360 |     900    18000    90000 |    86594    79995    123 |  0.000 % |
139.40/139.60	c |    234734 |     900    18000    90000 |    86594    80369    122 |  0.000 % |
139.70/139.89	c |    235144 |     900    18000    90000 |    86594    80779    122 |  0.000 % |
140.10/140.22	c |    235594 |     900    18000    90000 |    86594    81229    122 |  0.000 % |
140.40/140.58	c |    236087 |     900    18000    90000 |    86594    81722    122 |  0.000 % |
140.90/141.00	c |    236629 |     900    18000    90000 |    86594    82264    123 |  0.000 % |
141.30/141.46	c |    237226 |     900    18000    90000 |    86594    82861    122 |  0.000 % |
141.80/141.95	c |    237882 |     900    18000    90000 |    86594    83517    122 |  0.000 % |
142.40/142.52	c |    238602 |     900    18000    90000 |    86594    84237    122 |  0.000 % |
143.00/143.12	c |    239395 |     900    18000    90000 |    86594    85030    122 |  0.000 % |
143.60/143.75	c |    240266 |     900    18000    90000 |    85637    85901    122 |  0.000 % |
144.20/144.39	c |    241224 |     900    18000    90000 |    85637    75585    122 |  0.000 % |
144.90/145.07	c |    242277 |     900    18000    90000 |    85637    76638    122 |  0.000 % |
145.70/145.81	c |    243435 |     900    18000    90000 |    85637    77796    122 |  0.000 % |
146.50/146.63	c |    244710 |     900    18000    90000 |    85637    79071    122 |  0.000 % |
147.40/147.59	c |    246112 |     900    18000    90000 |    85637    80473    123 |  0.000 % |
148.40/148.59	c |    247652 |     900    18000    90000 |    85637    82013    123 |  0.000 % |
149.60/149.73	c |    249346 |     900    18000    90000 |    85637    83707    123 |  0.000 % |
150.90/151.02	c |    251209 |     900    18000    90000 |    84363    75877    124 |  0.000 % |
152.20/152.38	c |    253259 |     900    18000    90000 |    84363    77927    124 |  0.000 % |
153.80/153.91	c |    255513 |     900    18000    90000 |    84363    80181    124 |  0.000 % |
155.40/155.58	c |    257992 |     900    18000    90000 |    84363    82660    124 |  0.000 % |
155.50/155.66	c |    258092 |     900    18000    90000 |    84363    82760    124 |  0.000 % |
155.60/155.76	c |    258202 |     900    18000    90000 |    84363    82870    124 |  0.000 % |
155.70/155.86	c |    258323 |     900    18000    90000 |    84363    82991    124 |  0.000 % |
155.80/155.96	c |    258456 |     900    18000    90000 |    84363    83124    124 |  0.000 % |
155.90/156.08	c |    258606 |     900    18000    90000 |    84363    83274    124 |  0.000 % |
156.10/156.22	c |    258770 |     900    18000    90000 |    84363    83438    124 |  0.000 % |
156.20/156.36	c |    258947 |     900    18000    90000 |    84363    83615    124 |  0.000 % |
156.40/156.51	c |    259140 |     900    18000    90000 |    84363    83808    124 |  0.000 % |
156.50/156.66	c |    259352 |     900    18000    90000 |    84363    84020    124 |  0.000 % |
156.70/156.86	c |    259585 |     900    18000    90000 |    84363    84253    124 |  0.000 % |
157.00/157.11	c |    259841 |     900    18000    90000 |    84363    84509    124 |  0.000 % |
157.21/157.37	c |    260123 |     900    18000    90000 |    74850    74973    123 |  0.000 % |
157.40/157.58	c |    260433 |     900    18000    90000 |    74850    66492    123 |  0.000 % |
157.70/157.80	c |    260772 |     900    18000    90000 |    74850    66831    123 |  0.000 % |
157.90/158.02	c |    261145 |     900    18000    90000 |    74850    67204    123 |  0.000 % |
158.10/158.24	c |    261555 |     900    18000    90000 |    74850    67614    123 |  0.000 % |
158.40/158.53	c |    262004 |     900    18000    90000 |    74850    68063    123 |  0.000 % |
158.70/158.85	c |    262497 |     900    18000    90000 |    74850    68556    123 |  0.000 % |
159.10/159.20	c |    263039 |     900    18000    90000 |    74850    69098    123 |  0.000 % |
159.40/159.59	c |    263635 |     900    18000    90000 |    74850    69694    123 |  0.000 % |
159.90/160.00	c |    264290 |     900    18000    90000 |    74850    70349    123 |  0.000 % |
160.30/160.44	c |    265010 |     900    18000    90000 |    74850    71069    123 |  0.000 % |
160.80/160.94	c |    265806 |     900    18000    90000 |    74850    71865    123 |  0.000 % |
161.30/161.49	c |    266677 |     900    18000    90000 |    74850    72736    123 |  0.000 % |
162.00/162.11	c |    267641 |     900    18000    90000 |    74850    73700    123 |  0.000 % |
162.70/162.81	c |    268695 |     900    18000    90000 |    74850    74754    123 |  0.000 % |
163.40/163.56	c |    269854 |     900    18000    90000 |    74850    68400    123 |  0.000 % |
164.20/164.31	c |    271127 |     900    18000    90000 | 2147483647    69673    123 |  0.000 % |
165.00/165.15	c |    272527 |     900    18000    90000 | 2147483647    71073    123 |  0.000 % |
166.00/166.13	c |    274067 |     900    18000    90000 | 2147483647    72613    123 |  0.000 % |
167.10/167.22	c |    275762 |     900    18000    90000 | 2147483647    74308    123 |  0.000 % |
168.30/168.44	c |    277626 |     900    18000    90000 | 2147483647    76172    123 |  0.000 % |
169.60/169.72	c |    279676 |     900    18000    90000 | 2147483647    78222    123 |  0.000 % |
171.00/171.17	c |    281929 |     900    18000    90000 | 2147483647    80475    123 |  0.000 % |
172.70/172.88	c |    284408 |     900    18000    90000 | 2147483647    82954    123 |  0.000 % |
174.60/174.75	c |    287134 |     900    18000    90000 | 2147483647    85680    124 |  0.000 % |
174.70/174.83	c |    287234 |     900    18000    90000 | 2147483647    85780    124 |  0.000 % |
174.80/174.93	c |    287345 |     900    18000    90000 | 2147483647    85891    124 |  0.000 % |
174.90/175.03	c |    287466 |     900    18000    90000 | 2147483647    86012    123 |  0.000 % |
174.99/175.13	c |    287599 |     900    18000    90000 | 2147483647    86145    123 |  0.000 % |
175.10/175.28	c |    287746 |     900    18000    90000 | 2147483647    86292    123 |  0.000 % |
175.30/175.41	c |    287908 |     900    18000    90000 | 2147483647    86454    123 |  0.000 % |
175.40/175.57	c |    288084 |     900    18000    90000 | 2147483647    86630    123 |  0.000 % |
175.60/175.76	c |    288279 |     900    18000    90000 | 2147483647    86825    123 |  0.000 % |
175.81/175.96	c |    288492 |     900    18000    90000 | 2147483647    87038    123 |  0.000 % |
176.00/176.15	c |    288727 |     900    18000    90000 | 2147483647    87273    123 |  0.000 % |
176.20/176.35	c |    288984 |     900    18000    90000 | 2147483647    87530    123 |  0.000 % |
176.40/176.56	c |    289265 |     900    18000    90000 | 2147483647    87811    123 |  0.000 % |
176.70/176.81	c |    289574 |     900    18000    90000 | 2147483647    88120    123 |  0.000 % |
177.00/177.10	c |    289913 |     900    18000    90000 | 2147483647    88459    123 |  0.000 % |
177.30/177.41	c |    290285 |     900    18000    90000 |    88549    88831    123 |  0.000 % |
177.60/177.77	c |    290696 |     900    18000    90000 |    88549    77599    124 |  0.000 % |
177.90/178.08	c |    291145 |     900    18000    90000 |    88549    78048    124 |  0.000 % |
178.30/178.45	c |    291640 |     900    18000    90000 |    88549    78543    124 |  0.000 % |
178.70/178.80	c |    292182 |     900    18000    90000 |    88549    79085    124 |  0.000 % |
179.10/179.21	c |    292778 |     900    18000    90000 |    88549    79681    124 |  0.000 % |
179.50/179.68	c |    293434 |     900    18000    90000 |    88549    80337    124 |  0.000 % |
180.00/180.20	c |    294154 |     900    18000    90000 |    88549    81057    124 |  0.000 % |
180.50/180.69	c |    294946 |     900    18000    90000 |    88549    81849    124 |  0.000 % |
181.20/181.30	c |    295817 |     900    18000    90000 |    88549    82720    124 |  0.000 % |
181.90/182.01	c |    296776 |     900    18000    90000 |    88549    83679    124 |  0.000 % |
182.60/182.76	c |    297829 |     900    18000    90000 |    88549    84732    124 |  0.000 % |
183.40/183.60	c |    298987 |     900    18000    90000 |    88549    85890    124 |  0.000 % |
184.50/184.62	c |    300260 |     900    18000    90000 |    86904    87163    124 |  0.000 % |
185.39/185.58	c |    301661 |     900    18000    90000 |    86904    77260    123 |  0.000 % |
186.49/186.66	c |    303205 |     900    18000    90000 |    86904    78804    123 |  0.000 % |
187.69/187.83	c |    304900 |     900    18000    90000 |    86904    80499    123 |  0.000 % |
189.00/189.13	c |    306764 |     900    18000    90000 |    86904    82363    123 |  0.000 % |
190.39/190.52	c |    308813 |     900    18000    90000 |    86904    84412    123 |  0.000 % |
192.10/192.23	c |    311066 |     900    18000    90000 |    85600    75970    123 |  0.000 % |
193.79/193.95	c |    313544 |     900    18000    90000 |    85600    78448    124 |  0.000 % |
195.80/195.95	c |    316271 |     900    18000    90000 |    85600    81175    124 |  0.000 % |
197.80/197.93	c |    319270 |     900    18000    90000 |    85600    84174    124 |  0.000 % |
197.90/198.01	c |    319370 |     900    18000    90000 |    85600    84274    124 |  0.000 % |
197.90/198.09	c |    319481 |     900    18000    90000 |    85600    84385    124 |  0.000 % |
198.09/198.21	c |    319603 |     900    18000    90000 |    85600    84507    124 |  0.000 % |
198.19/198.32	c |    319736 |     900    18000    90000 |    85600    84640    124 |  0.000 % |
198.29/198.42	c |    319882 |     900    18000    90000 |    85600    84786    124 |  0.000 % |
198.39/198.55	c |    320045 |     900    18000    90000 |    84905    84949    124 |  0.000 % |
198.59/198.76	c |    320221 |     900    18000    90000 |    84905    74620    124 |  0.000 % |
198.79/198.90	c |    320414 |     900    18000    90000 |    84905    74813    124 |  0.000 % |
198.90/199.04	c |    320626 |     900    18000    90000 |    84905    75025    124 |  0.000 % |
199.09/199.21	c |    320861 |     900    18000    90000 |    84905    75260    124 |  0.000 % |
199.29/199.41	c |    321118 |     900    18000    90000 |    84905    75517    124 |  0.000 % |
199.49/199.60	c |    321399 |     900    18000    90000 |    84905    75798    124 |  0.000 % |
199.69/199.83	c |    321708 |     900    18000    90000 |    84905    76107    124 |  0.000 % |
199.89/200.07	c |    322047 |     900    18000    90000 |    84905    76446    123 |  0.000 % |
200.19/200.36	c |    322420 |     900    18000    90000 |    84905    76819    123 |  0.000 % |
200.49/200.65	c |    322830 |     900    18000    90000 |    84905    77229    123 |  0.000 % |
200.79/200.96	c |    323280 |     900    18000    90000 |    84905    77679    123 |  0.000 % |
201.20/201.32	c |    323775 |     900    18000    90000 |    84905    78174    124 |  0.000 % |
201.49/201.69	c |    324319 |     900    18000    90000 |    84905    78718    123 |  0.000 % |
201.99/202.10	c |    324917 |     900    18000    90000 |    84905    79316    123 |  0.000 % |
202.39/202.53	c |    325572 |     900    18000    90000 |    84905    79971    124 |  0.000 % |
202.89/203.06	c |    326292 |     900    18000    90000 |    84905    80691    123 |  0.000 % |
203.49/203.61	c |    327085 |     900    18000    90000 |    84905    81484    123 |  0.000 % |
204.09/204.28	c |    327956 |     900    18000    90000 |    84905    82355    123 |  0.000 % |
204.79/204.95	c |    328917 |     900    18000    90000 |    84905    83316    123 |  0.000 % |
205.60/205.71	c |    329970 |     900    18000    90000 |    84905    84369    123 |  0.000 % |
206.39/206.57	c |    331128 |     900    18000    90000 |    84402    75200    123 |  0.000 % |
207.29/207.45	c |    332402 |     900    18000    90000 |    84402    76474    123 |  0.000 % |
208.19/208.35	c |    333804 |     900    18000    90000 |    84402    77876    123 |  0.000 % |
209.19/209.37	c |    335345 |     900    18000    90000 |    84402    79417    123 |  0.000 % |
210.39/210.52	c |    337039 |     900    18000    90000 |    84402    81111    123 |  0.000 % |
211.79/211.91	c |    338902 |     900    18000    90000 |    84402    82974    123 |  0.000 % |
213.20/213.35	c |    340951 |     900    18000    90000 |    84072    75344    124 |  0.000 % |
214.59/214.77	c |    343205 |     900    18000    90000 |    84072    77598    124 |  0.000 % |
216.29/216.43	c |    345683 |     900    18000    90000 |    84072    80076    124 |  0.000 % |
218.09/218.29	c |    348410 |     900    18000    90000 |    84072    82803    124 |  0.000 % |
220.19/220.32	c |    351407 |     900    18000    90000 |    84393    76490    125 |  0.000 % |
222.39/222.57	c |    354705 |     900    18000    90000 |    84393    79788    125 |  0.000 % |
222.49/222.65	c |    354805 |     900    18000    90000 |    84393    79888    125 |  0.000 % |
222.59/222.75	c |    354915 |     900    18000    90000 |    84393    79998    125 |  0.000 % |
222.69/222.83	c |    355037 |     900    18000    90000 |    84393    80120    125 |  0.000 % |
222.79/222.97	c |    355170 |     900    18000    90000 |    84393    80253    125 |  0.000 % |
222.89/223.09	c |    355316 |     900    18000    90000 |    84393    80399    125 |  0.000 % |
223.10/223.21	c |    355477 |     900    18000    90000 |    84393    80560    125 |  0.000 % |
223.20/223.35	c |    355656 |     900    18000    90000 |    84393    80739    125 |  0.000 % |
223.29/223.48	c |    355850 |     900    18000    90000 |    84393    80933    125 |  0.000 % |
223.49/223.65	c |    356066 |     900    18000    90000 |    84393    81149    125 |  0.000 % |
223.69/223.86	c |    356299 |     900    18000    90000 |    84393    81382    125 |  0.000 % |
223.89/224.04	c |    356557 |     900    18000    90000 |    84393    81640    125 |  0.000 % |
224.09/224.24	c |    356840 |     900    18000    90000 |    84393    81923    125 |  0.000 % |
224.29/224.47	c |    357151 |     900    18000    90000 |    84393    82234    125 |  0.000 % |
224.59/224.72	c |    357490 |     900    18000    90000 |    84393    82573    125 |  0.000 % |
224.79/224.97	c |    357862 |     900    18000    90000 |    84393    82945    125 |  0.000 % |
225.09/225.27	c |    358271 |     900    18000    90000 |    84393    83354    125 |  0.000 % |
225.49/225.63	c |    358722 |     900    18000    90000 |    84393    83805    125 |  0.000 % |
225.79/225.96	c |    359216 |     900    18000    90000 |    84393    84299    125 |  0.000 % |
226.19/226.39	c |    359759 |     900    18000    90000 |    84393    74668    125 |  0.000 % |
226.59/226.80	c |    360358 |     900    18000    90000 |    74909    66564    125 |  0.000 % |
226.99/227.19	c |    361013 |     900    18000    90000 |    74909    67219    125 |  0.000 % |
227.49/227.66	c |    361733 |     900    18000    90000 |    74909    67939    125 |  0.000 % |
227.99/228.18	c |    362526 |     900    18000    90000 |    74909    68732    125 |  0.000 % |
228.59/228.72	c |    363399 |     900    18000    90000 |    74909    69605    125 |  0.000 % |
229.19/229.34	c |    364357 |     900    18000    90000 |    74909    70563    125 |  0.000 % |
229.89/230.00	c |    365410 |     900    18000    90000 |    74909    71616    125 |  0.000 % |
230.59/230.79	c |    366568 |     900    18000    90000 |    74909    72774    125 |  0.000 % |
231.39/231.59	c |    367841 |     900    18000    90000 |    74909    74047    125 |  0.000 % |
232.39/232.51	c |    369242 |     900    18000    90000 |    74909    67926    125 |  0.000 % |
233.29/233.42	c |    370782 |     900    18000    90000 | 2147483647    69466    125 |  0.000 % |
234.29/234.41	c |    372476 |     900    18000    90000 | 2147483647    71160    125 |  0.000 % |
235.49/235.60	c |    374339 |     900    18000    90000 | 2147483647    73023    125 |  0.000 % |
236.69/236.83	c |    376389 |     900    18000    90000 | 2147483647    75073    125 |  0.000 % |
238.09/238.28	c |    378642 |     900    18000    90000 | 2147483647    77326    125 |  0.000 % |
239.79/239.94	c |    381122 |     900    18000    90000 | 2147483647    79806    125 |  0.000 % |
241.69/241.86	c |    383847 |     900    18000    90000 | 2147483647    82531    125 |  0.000 % |
243.79/243.99	c |    386845 |     900    18000    90000 | 2147483647    85529    125 |  0.000 % |
246.29/246.49	c |    390142 |     900    18000    90000 |    88684    88826    125 |  0.000 % |
248.79/248.93	c |    393767 |     900    18000    90000 |    88684    81559    125 |  0.000 % |
248.89/249.01	c |    393867 |     900    18000    90000 |    88684    81659    125 |  0.000 % |
248.89/249.09	c |    393977 |     900    18000    90000 |    88684    81769    125 |  0.000 % |
248.99/249.19	c |    394099 |     900    18000    90000 |    88684    81891    125 |  0.000 % |
249.18/249.32	c |    394232 |     900    18000    90000 |    88684    82024    125 |  0.000 % |
249.28/249.44	c |    394378 |     900    18000    90000 |    88684    82170    125 |  0.000 % |
249.38/249.57	c |    394539 |     900    18000    90000 |    88684    82331    125 |  0.000 % |
249.59/249.74	c |    394715 |     900    18000    90000 |    88684    82507    125 |  0.000 % |
249.78/249.90	c |    394908 |     900    18000    90000 |    88684    82700    125 |  0.000 % |
249.88/250.07	c |    395120 |     900    18000    90000 |    88684    82912    125 |  0.000 % |
250.09/250.25	c |    395354 |     900    18000    90000 |    88684    83146    125 |  0.000 % |
250.29/250.48	c |    395611 |     900    18000    90000 |    88684    83403    125 |  0.000 % |
250.49/250.68	c |    395892 |     900    18000    90000 |    88684    83684    125 |  0.000 % |
250.79/250.90	c |    396203 |     900    18000    90000 |    88684    83995    125 |  0.000 % |
250.99/251.15	c |    396542 |     900    18000    90000 |    88684    84334    125 |  0.000 % |
251.29/251.47	c |    396915 |     900    18000    90000 |    88684    84707    125 |  0.000 % |
251.59/251.79	c |    397326 |     900    18000    90000 |    88684    85118    125 |  0.000 % |
251.99/252.15	c |    397775 |     900    18000    90000 |    88684    85567    125 |  0.000 % |
252.39/252.51	c |    398268 |     900    18000    90000 |    88684    86060    125 |  0.000 % |
252.80/252.91	c |    398812 |     900    18000    90000 |    88684    86604    125 |  0.000 % |
253.19/253.36	c |    399409 |     900    18000    90000 |    88684    87201    125 |  0.000 % |
253.69/253.83	c |    400064 |     900    18000    90000 |    87792    87856    125 |  0.000 % |
254.29/254.40	c |    400787 |     900    18000    90000 |    87792    76799    125 |  0.000 % |
254.79/254.94	c |    401582 |     900    18000    90000 |    87792    77594    125 |  0.000 % |
255.39/255.52	c |    402456 |     900    18000    90000 |    87792    78468    125 |  0.000 % |
256.09/256.20	c |    403414 |     900    18000    90000 |    87792    79426    125 |  0.000 % |
256.89/257.01	c |    404468 |     900    18000    90000 |    87792    80480    125 |  0.000 % |
257.69/257.82	c |    405628 |     900    18000    90000 |    87792    81640    125 |  0.000 % |
258.59/258.70	c |    406902 |     900    18000    90000 |    87792    82914    125 |  0.000 % |
259.59/259.70	c |    408302 |     900    18000    90000 |    87792    84314    125 |  0.000 % |
260.69/260.81	c |    409842 |     900    18000    90000 |    87792    85854    125 |  0.000 % |
261.89/262.07	c |    411536 |     900    18000    90000 |    86012    76199    126 |  0.000 % |
263.09/263.29	c |    413399 |     900    18000    90000 |    86012    78062    125 |  0.000 % |
264.49/264.68	c |    415449 |     900    18000    90000 |    86012    80112    126 |  0.000 % |
266.10/266.22	c |    417704 |     900    18000    90000 |    86012    82367    126 |  0.000 % |
267.99/268.11	c |    420184 |     900    18000    90000 |    84664    84847    126 |  0.000 % |
269.69/269.86	c |    422909 |     900    18000    90000 |    84664    76896    125 |  0.000 % |
271.69/271.81	c |    425906 |     900    18000    90000 |    84664    79893    125 |  0.000 % |
273.89/274.08	c |    429203 |     900    18000    90000 |    84664    83190    125 |  0.000 % |
276.39/276.58	c |    432828 |     900    18000    90000 |    83987    77228    125 |  0.000 % |
279.30/279.44	c |    436815 |     900    18000    90000 |    83987    81215    125 |  0.000 % |
279.39/279.51	c |    436915 |     900    18000    90000 |    83987    81315    125 |  0.000 % |
279.39/279.60	c |    437025 |     900    18000    90000 |    83987    81425    125 |  0.000 % |
279.59/279.71	c |    437148 |     900    18000    90000 |    83987    81548    125 |  0.000 % |
279.69/279.82	c |    437282 |     900    18000    90000 |    83987    81682    125 |  0.000 % |
279.79/279.95	c |    437429 |     900    18000    90000 |    83987    81829    125 |  0.000 % |
279.89/280.08	c |    437590 |     900    18000    90000 |    83987    81990    125 |  0.000 % |
280.09/280.24	c |    437767 |     900    18000    90000 |    83987    82167    125 |  0.000 % |
280.30/280.40	c |    437965 |     900    18000    90000 |    83987    82365    125 |  0.000 % |
280.40/280.59	c |    438177 |     900    18000    90000 |    83987    82577    125 |  0.000 % |
280.59/280.76	c |    438412 |     900    18000    90000 |    83987    82812    125 |  0.000 % |
280.79/280.96	c |    438668 |     900    18000    90000 |    83987    83068    125 |  0.000 % |
280.99/281.16	c |    438949 |     900    18000    90000 |    83987    83349    125 |  0.000 % |
281.19/281.39	c |    439258 |     900    18000    90000 |    83987    83658    125 |  0.000 % |
281.50/281.66	c |    439598 |     900    18000    90000 |    83987    83998    125 |  0.000 % |
281.79/281.98	c |    439970 |     900    18000    90000 |    83987    74468    125 |  0.000 % |
282.19/282.33	c |    440380 |     900    18000    90000 |    74500    66003    125 |  0.000 % |
282.49/282.61	c |    440829 |     900    18000    90000 |    74500    66452    125 |  0.000 % |
282.69/282.89	c |    441323 |     900    18000    90000 |    74500    66946    125 |  0.000 % |
283.09/283.22	c |    441866 |     900    18000    90000 |    74500    67489    125 |  0.000 % |
283.39/283.59	c |    442462 |     900    18000    90000 |    74500    68085    125 |  0.000 % |
283.89/284.00	c |    443119 |     900    18000    90000 |    74500    68742    124 |  0.000 % |
284.29/284.45	c |    443839 |     900    18000    90000 |    74500    69462    124 |  0.000 % |
284.79/284.93	c |    444632 |     900    18000    90000 |    74500    70255    125 |  0.000 % |
285.29/285.42	c |    445503 |     900    18000    90000 |    74500    71126    125 |  0.000 % |
285.89/286.04	c |    446462 |     900    18000    90000 |    74500    72085    125 |  0.000 % |
286.59/286.72	c |    447515 |     900    18000    90000 |    74500    73138    125 |  0.000 % |
287.29/287.46	c |    448674 |     900    18000    90000 |    74500    74297    125 |  0.000 % |
288.19/288.31	c |    449947 |     900    18000    90000 |    74500    68089    125 |  0.000 % |
288.99/289.12	c |    451348 |     900    18000    90000 | 2147483647    69490    125 |  0.000 % |
289.89/290.06	c |    452890 |     900    18000    90000 | 2147483647    71032    125 |  0.000 % |
291.09/291.22	c |    454585 |     900    18000    90000 | 2147483647    72727    125 |  0.000 % |
292.29/292.47	c |    456450 |     900    18000    90000 | 2147483647    74592    125 |  0.000 % |
293.69/293.83	c |    458499 |     900    18000    90000 | 2147483647    76641    125 |  0.000 % |
295.19/295.34	c |    460752 |     900    18000    90000 | 2147483647    78894    125 |  0.000 % |
296.89/297.04	c |    463230 |     900    18000    90000 | 2147483647    81372    125 |  0.000 % |
298.79/298.94	c |    465955 |     900    18000    90000 | 2147483647    84097    125 |  0.000 % |
300.99/301.19	c |    468953 |     900    18000    90000 | 2147483647    87095    126 |  0.000 % |
303.49/303.65	c |    472249 |     900    18000    90000 |    88142    79777    125 |  0.000 % |
306.09/306.27	c |    475878 |     900    18000    90000 |    88142    83406    125 |  0.000 % |
308.89/309.06	c |    479865 |     900    18000    90000 |    88142    87393    125 |  0.000 % |
311.99/312.17	c |    484251 |     900    18000    90000 |    87530    79864    126 |  0.000 % |
312.09/312.25	c |    484351 |     900    18000    90000 |    87530    79964    126 |  0.000 % |
312.19/312.34	c |    484463 |     900    18000    90000 |    87530    80076    126 |  0.000 % |
312.29/312.43	c |    484584 |     900    18000    90000 |    87530    80197    126 |  0.000 % |
312.39/312.55	c |    484719 |     900    18000    90000 |    87530    80332    126 |  0.000 % |
312.49/312.67	c |    484867 |     900    18000    90000 |    87530    80480    126 |  0.000 % |
312.69/312.80	c |    485027 |     900    18000    90000 |    87530    80640    126 |  0.000 % |
312.79/312.95	c |    485203 |     900    18000    90000 |    87530    80816    126 |  0.000 % |
312.99/313.11	c |    485396 |     900    18000    90000 |    87530    81009    126 |  0.000 % |
313.09/313.28	c |    485609 |     900    18000    90000 |    87530    81222    126 |  0.000 % |
313.29/313.46	c |    485842 |     900    18000    90000 |    87530    81455    126 |  0.000 % |
313.49/313.65	c |    486099 |     900    18000    90000 |    87530    81712    126 |  0.000 % |
313.69/313.88	c |    486381 |     900    18000    90000 |    87530    81994    126 |  0.000 % |
313.99/314.12	c |    486690 |     900    18000    90000 |    87530    82303    126 |  0.000 % |
314.19/314.37	c |    487029 |     900    18000    90000 |    87530    82642    126 |  0.000 % |
314.49/314.68	c |    487401 |     900    18000    90000 |    87530    83014    126 |  0.000 % |
314.79/314.97	c |    487810 |     900    18000    90000 |    87530    83423    126 |  0.000 % |
315.09/315.28	c |    488259 |     900    18000    90000 |    87530    83872    126 |  0.000 % |
315.49/315.68	c |    488752 |     900    18000    90000 |    87530    84365    126 |  0.000 % |
315.89/316.09	c |    489294 |     900    18000    90000 |    87530    84907    126 |  0.000 % |
316.39/316.53	c |    489890 |     900    18000    90000 |    87530    85503    126 |  0.000 % |
316.99/317.11	c |    490545 |     900    18000    90000 |    85614    74496    125 |  0.000 % |
317.49/317.60	c |    491266 |     900    18000    90000 |    85614    75217    125 |  0.000 % |
317.99/318.17	c |    492059 |     900    18000    90000 |    85614    76010    125 |  0.000 % |
318.59/318.78	c |    492931 |     900    18000    90000 |    85614    76882    125 |  0.000 % |
319.19/319.38	c |    493889 |     900    18000    90000 |    85614    77840    125 |  0.000 % |
319.99/320.10	c |    494944 |     900    18000    90000 |    85614    78895    125 |  0.000 % |
320.69/320.88	c |    496103 |     900    18000    90000 |    85614    80054    125 |  0.000 % |
321.59/321.75	c |    497376 |     900    18000    90000 |    85614    81327    125 |  0.000 % |
322.59/322.73	c |    498776 |     900    18000    90000 |    85614    82727    125 |  0.000 % |
323.69/323.85	c |    500317 |     900    18000    90000 |    83953    74271    125 |  0.000 % |
324.69/324.88	c |    502011 |     900    18000    90000 |    83953    75965    125 |  0.000 % |
325.99/326.16	c |    503875 |     900    18000    90000 |    83953    77829    125 |  0.000 % |
327.39/327.57	c |    505924 |     900    18000    90000 |    83953    79878    125 |  0.000 % |
328.89/329.09	c |    508177 |     900    18000    90000 |    83953    82131    125 |  0.000 % |
330.69/330.81	c |    510655 |     900    18000    90000 |    83954    74993    124 |  0.000 % |
332.39/332.53	c |    513380 |     900    18000    90000 |    83954    77718    124 |  0.000 % |
334.49/334.66	c |    516378 |     900    18000    90000 |    83954    80716    124 |  0.000 % |
336.89/337.10	c |    519678 |     900    18000    90000 |    83954    84016    125 |  0.000 % |
339.39/339.55	c |    523306 |     900    18000    90000 |    75373    70560    125 |  0.000 % |
341.89/342.08	c |    527293 |     900    18000    90000 |    75373    74547    125 |  0.000 % |
344.69/344.89	c |    531678 |     900    18000    90000 | 2147483647    71362    125 |  0.000 % |
347.79/347.97	c |    536504 |     900    18000    90000 | 2147483647    76188    126 |  0.000 % |
347.89/348.07	c |    536604 |     900    18000    90000 | 2147483647    76288    126 |  0.000 % |
347.99/348.14	c |    536714 |     900    18000    90000 | 2147483647    76398    126 |  0.000 % |
348.09/348.24	c |    536837 |     900    18000    90000 | 2147483647    76521    126 |  0.000 % |
348.19/348.35	c |    536970 |     900    18000    90000 | 2147483647    76654    126 |  0.000 % |
348.29/348.46	c |    537116 |     900    18000    90000 | 2147483647    76800    126 |  0.000 % |
348.39/348.58	c |    537276 |     900    18000    90000 | 2147483647    76960    126 |  0.000 % |
348.59/348.71	c |    537454 |     900    18000    90000 | 2147483647    77138    126 |  0.000 % |
348.69/348.85	c |    537647 |     900    18000    90000 | 2147483647    77331    126 |  0.000 % |
348.79/348.99	c |    537861 |     900    18000    90000 | 2147483647    77545    125 |  0.000 % |
348.99/349.17	c |    538096 |     900    18000    90000 | 2147483647    77780    125 |  0.000 % |
349.19/349.37	c |    538352 |     900    18000    90000 | 2147483647    78036    125 |  0.000 % |
349.39/349.57	c |    538633 |     900    18000    90000 | 2147483647    78317    125 |  0.000 % |
349.59/349.78	c |    538942 |     900    18000    90000 | 2147483647    78626    125 |  0.000 % |
349.89/350.03	c |    539281 |     900    18000    90000 | 2147483647    78965    125 |  0.000 % |
350.19/350.30	c |    539654 |     900    18000    90000 | 2147483647    79338    125 |  0.000 % |
350.49/350.60	c |    540065 |     900    18000    90000 | 2147483647    79749    125 |  0.000 % |
350.79/350.97	c |    540514 |     900    18000    90000 | 2147483647    80198    125 |  0.000 % |
351.18/351.34	c |    541007 |     900    18000    90000 | 2147483647    80691    125 |  0.000 % |
351.58/351.73	c |    541550 |     900    18000    90000 | 2147483647    81234    125 |  0.000 % |
351.98/352.17	c |    542147 |     900    18000    90000 | 2147483647    81831    125 |  0.000 % |
352.48/352.65	c |    542803 |     900    18000    90000 | 2147483647    82487    125 |  0.000 % |
352.99/353.18	c |    543524 |     900    18000    90000 | 2147483647    83208    125 |  0.000 % |
353.58/353.80	c |    544316 |     900    18000    90000 | 2147483647    84000    125 |  0.000 % |
354.28/354.42	c |    545187 |     900    18000    90000 | 2147483647    84871    125 |  0.000 % |
354.98/355.13	c |    546146 |     900    18000    90000 | 2147483647    85830    125 |  0.000 % |
355.78/355.93	c |    547199 |     900    18000    90000 | 2147483647    86883    125 |  0.000 % |
356.68/356.82	c |    548357 |     900    18000    90000 | 2147483647    88041    125 |  0.000 % |
357.58/357.76	c |    549631 |     900    18000    90000 | 2147483647    89315    125 |  0.000 % |
358.68/358.87	c |    551032 |     900    18000    90000 |    89684    78474    124 |  0.000 % |
359.88/360.01	c |    552572 |     900    18000    90000 |    89684    80014    124 |  0.000 % |
360.98/361.16	c |    554267 |     900    18000    90000 |    89684    81709    124 |  0.000 % |
362.28/362.42	c |    556132 |     900    18000    90000 |    89684    83574    124 |  0.000 % |
363.68/363.86	c |    558183 |     900    18000    90000 |    89684    85625    124 |  0.000 % |
365.28/365.48	c |    560439 |     900    18000    90000 |    87443    76261    124 |  0.000 % |
366.98/367.13	c |    562918 |     900    18000    90000 |    87443    78740    124 |  0.000 % |
368.78/368.96	c |    565643 |     900    18000    90000 |    87443    81465    124 |  0.000 % |
370.98/371.11	c |    568643 |     900    18000    90000 |    87443    84465    124 |  0.000 % |
373.18/373.39	c |    571940 |     900    18000    90000 |    85822    77505    125 |  0.000 % |
375.58/375.78	c |    575566 |     900    18000    90000 |    85822    81131    125 |  0.000 % |
378.48/378.64	c |    579553 |     900    18000    90000 |    85822    85118    126 |  0.000 % |
381.49/381.69	c |    583939 |     900    18000    90000 |    85567    78454    126 |  0.000 % |
384.79/384.98	c |    588763 |     900    18000    90000 |    85567    83278    126 |  0.000 % |
388.48/388.70	c |    594068 |     900    18000    90000 |    84521    78737    126 |  0.000 % |
388.58/388.79	c |    594170 |     900    18000    90000 |    84521    78839    126 |  0.000 % |
388.68/388.87	c |    594281 |     900    18000    90000 |    84521    78950    126 |  0.000 % |
388.78/388.97	c |    594405 |     900    18000    90000 |    84521    79074    126 |  0.000 % |
388.88/389.08	c |    594539 |     900    18000    90000 |    84521    79208    126 |  0.000 % |
389.08/389.21	c |    594686 |     900    18000    90000 |    84521    79355    126 |  0.000 % |
389.19/389.32	c |    594847 |     900    18000    90000 |    84521    79516    126 |  0.000 % |
389.29/389.46	c |    595023 |     900    18000    90000 |    84521    79692    126 |  0.000 % |
389.48/389.61	c |    595216 |     900    18000    90000 |    84521    79885    126 |  0.000 % |
389.58/389.78	c |    595429 |     900    18000    90000 |    84521    80098    126 |  0.000 % |
389.78/389.95	c |    595662 |     900    18000    90000 |    84521    80331    126 |  0.000 % |
389.98/390.16	c |    595918 |     900    18000    90000 |    84521    80587    126 |  0.000 % |
390.18/390.38	c |    596199 |     900    18000    90000 |    84521    80868    126 |  0.000 % |
390.38/390.59	c |    596508 |     900    18000    90000 |    84521    81177    126 |  0.000 % |
390.68/390.88	c |    596847 |     900    18000    90000 |    84521    81516    126 |  0.000 % |
390.98/391.19	c |    597221 |     900    18000    90000 |    84521    81890    126 |  0.000 % |
391.39/391.50	c |    597630 |     900    18000    90000 |    84521    82299    126 |  0.000 % |
391.68/391.83	c |    598079 |     900    18000    90000 |    84521    82748    126 |  0.000 % |
392.08/392.23	c |    598574 |     900    18000    90000 |    84521    83243    126 |  0.000 % |
392.49/392.63	c |    599118 |     900    18000    90000 |    84521    83787    126 |  0.000 % |
392.88/393.08	c |    599715 |     900    18000    90000 |    84521    84384    126 |  0.000 % |
393.48/393.63	c |    600371 |     900    18000    90000 |    84669    74216    125 |  0.000 % |
393.98/394.12	c |    601093 |     900    18000    90000 |    84669    74938    125 |  0.000 % |
394.48/394.66	c |    601885 |     900    18000    90000 |    84669    75730    125 |  0.000 % |
395.08/395.24	c |    602758 |     900    18000    90000 |    84669    76603    125 |  0.000 % |
395.68/395.86	c |    603717 |     900    18000    90000 |    84669    77562    125 |  0.000 % |
396.38/396.54	c |    604772 |     900    18000    90000 |    84669    78617    125 |  0.000 % |
397.18/397.31	c |    605933 |     900    18000    90000 |    84669    79778    125 |  0.000 % |
397.99/398.16	c |    607209 |     900    18000    90000 |    84669    81054    125 |  0.000 % |
398.98/399.13	c |    608609 |     900    18000    90000 |    84669    82454    125 |  0.000 % |
400.08/400.23	c |    610150 |     900    18000    90000 |    83845    83995    125 |  0.000 % |
401.29/401.43	c |    611846 |     900    18000    90000 |    83845    75777    125 |  0.000 % |
402.49/402.68	c |    613709 |     900    18000    90000 |    83845    77640    125 |  0.000 % |
403.88/404.05	c |    615760 |     900    18000    90000 |    83845    79691    125 |  0.000 % |
405.48/405.65	c |    618013 |     900    18000    90000 |    83845    81944    125 |  0.000 % |
407.28/407.49	c |    620493 |     900    18000    90000 |    83931    74654    126 |  0.000 % |
409.18/409.35	c |    623218 |     900    18000    90000 |    83931    77379    126 |  0.000 % |
411.38/411.50	c |    626218 |     900    18000    90000 |    83931    80379    127 |  0.000 % |
413.68/413.87	c |    629515 |     900    18000    90000 |    83931    83676    127 |  0.000 % |
416.28/416.48	c |    633140 |     900    18000    90000 |    84161    77122    127 |  0.000 % |
419.08/419.28	c |    637127 |     900    18000    90000 |    84161    81109    128 |  0.000 % |
422.49/422.66	c |    641512 |     900    18000    90000 |    83983    74821    128 |  0.000 % |
425.69/425.84	c |    646335 |     900    18000    90000 |    83983    79644    128 |  0.000 % |
429.49/429.69	c |    651641 |     900    18000    90000 |    83311    75185    129 |  0.000 % |
433.69/433.86	c |    657476 |     900    18000    90000 |    83311    81020    129 |  0.000 % |
433.79/433.95	c |    657579 |     900    18000    90000 |    83311    81123    129 |  0.000 % |
433.89/434.06	c |    657689 |     900    18000    90000 |    83311    81233    129 |  0.000 % |
433.99/434.16	c |    657810 |     900    18000    90000 |    83311    81354    129 |  0.000 % |
434.09/434.27	c |    657944 |     900    18000    90000 |    83311    81488    129 |  0.000 % |
434.19/434.39	c |    658090 |     900    18000    90000 |    83311    81634    129 |  0.000 % |
434.39/434.55	c |    658250 |     900    18000    90000 |    83311    81794    129 |  0.000 % |
434.49/434.70	c |    658428 |     900    18000    90000 |    83311    81972    129 |  0.000 % |
434.69/434.85	c |    658622 |     900    18000    90000 |    83311    82166    129 |  0.000 % |
434.89/435.02	c |    658836 |     900    18000    90000 |    83311    82380    129 |  0.000 % |
434.99/435.19	c |    659069 |     900    18000    90000 |    83311    82613    129 |  0.000 % |
435.29/435.43	c |    659326 |     900    18000    90000 |    83311    82870    129 |  0.000 % |
435.49/435.67	c |    659608 |     900    18000    90000 |    83311    83152    129 |  0.000 % |
435.79/435.93	c |    659919 |     900    18000    90000 |    83311    83463    129 |  0.000 % |
435.99/436.19	c |    660259 |     900    18000    90000 |    73034    73292    128 |  0.000 % |
436.29/436.48	c |    660631 |     900    18000    90000 |    73034    64710    128 |  0.000 % |
436.59/436.73	c |    661040 |     900    18000    90000 |    73034    65119    128 |  0.000 % |
436.89/437.01	c |    661489 |     900    18000    90000 |    73034    65568    128 |  0.000 % |
437.19/437.31	c |    661984 |     900    18000    90000 |    73034    66063    128 |  0.000 % |
437.49/437.62	c |    662526 |     900    18000    90000 |    73034    66605    128 |  0.000 % |
437.89/438.02	c |    663124 |     900    18000    90000 |    73034    67203    128 |  0.000 % |
438.29/438.42	c |    663779 |     900    18000    90000 |    73034    67858    128 |  0.000 % |
438.70/438.86	c |    664500 |     900    18000    90000 |    73034    68579    128 |  0.000 % |
439.29/439.40	c |    665295 |     900    18000    90000 |    73034    69374    128 |  0.000 % |
439.90/440.00	c |    666166 |     900    18000    90000 |    73034    70245    128 |  0.000 % |
440.49/440.63	c |    667126 |     900    18000    90000 |    73034    71205    128 |  0.000 % |
441.09/441.28	c |    668179 |     900    18000    90000 |    73034    72258    128 |  0.000 % |
441.89/442.06	c |    669337 |     900    18000    90000 |    73034    66083    128 |  0.000 % |
442.59/442.77	c |    670610 |     900    18000    90000 | 2147483647    67356    128 |  0.000 % |
443.39/443.60	c |    672010 |     900    18000    90000 | 2147483647    68756    128 |  0.000 % |
444.49/444.60	c |    673550 |     900    18000    90000 | 2147483647    70296    128 |  0.000 % |
445.49/445.64	c |    675244 |     900    18000    90000 | 2147483647    71990    128 |  0.000 % |
446.89/447.02	c |    677108 |     900    18000    90000 | 2147483647    73854    128 |  0.000 % |
448.29/448.41	c |    679157 |     900    18000    90000 | 2147483647    75903    128 |  0.000 % |
449.69/449.89	c |    681411 |     900    18000    90000 | 2147483647    78157    128 |  0.000 % |
451.39/451.52	c |    683889 |     900    18000    90000 | 2147483647    80635    128 |  0.000 % |
453.19/453.38	c |    686614 |     900    18000    90000 | 2147483647    83360    128 |  0.000 % |
455.39/455.55	c |    689612 |     900    18000    90000 | 2147483647    86358    128 |  0.000 % |
457.69/457.87	c |    692908 |     900    18000    90000 |    86749    79326    129 |  0.000 % |
460.39/460.50	c |    696534 |     900    18000    90000 |    86749    82952    129 |  0.000 % |
463.39/463.56	c |    700521 |     900    18000    90000 |    86421    75343    129 |  0.000 % |
466.39/466.56	c |    704909 |     900    18000    90000 |    86421    79731    129 |  0.000 % |
469.89/470.05	c |    709732 |     900    18000    90000 |    86421    84554    129 |  0.000 % |
473.59/473.77	c |    715037 |     900    18000    90000 |    84824    78589    130 |  0.000 % |
477.79/477.91	c |    720872 |     900    18000    90000 |    83554    73699    130 |  0.000 % |
482.49/482.64	c |    727290 |     900    18000    90000 |    83554    80117    131 |  0.000 % |
482.59/482.73	c |    727390 |     900    18000    90000 |    83554    80217    130 |  0.000 % |
482.69/482.83	c |    727501 |     900    18000    90000 |    83554    80328    130 |  0.000 % |
482.79/482.94	c |    727623 |     900    18000    90000 |    83554    80450    130 |  0.000 % |
482.89/483.05	c |    727757 |     900    18000    90000 |    83554    80584    130 |  0.000 % |
482.99/483.18	c |    727905 |     900    18000    90000 |    83554    80732    130 |  0.000 % |
483.09/483.30	c |    728065 |     900    18000    90000 |    83554    80892    130 |  0.000 % |
483.29/483.46	c |    728241 |     900    18000    90000 |    83554    81068    130 |  0.000 % |
483.49/483.62	c |    728434 |     900    18000    90000 |    83554    81261    130 |  0.000 % |
483.59/483.78	c |    728647 |     900    18000    90000 |    83554    81474    130 |  0.000 % |
483.79/483.96	c |    728880 |     900    18000    90000 |    83554    81707    130 |  0.000 % |
483.99/484.15	c |    729136 |     900    18000    90000 |    83554    81963    130 |  0.000 % |
484.19/484.38	c |    729417 |     900    18000    90000 |    83554    82244    130 |  0.000 % |
484.39/484.59	c |    729726 |     900    18000    90000 |    83554    82553    130 |  0.000 % |
484.69/484.82	c |    730065 |     900    18000    90000 |    82829    82892    130 |  0.000 % |
484.99/485.16	c |    730437 |     900    18000    90000 |    82829    73005    129 |  0.000 % |
485.29/485.46	c |    730847 |     900    18000    90000 |    82829    73415    129 |  0.000 % |
485.59/485.75	c |    731296 |     900    18000    90000 |    82829    73864    129 |  0.000 % |
485.89/486.07	c |    731791 |     900    18000    90000 |    82829    74359    129 |  0.000 % |
486.29/486.42	c |    732334 |     900    18000    90000 |    82829    74902    129 |  0.000 % |
486.69/486.82	c |    732930 |     900    18000    90000 |    82829    75498    129 |  0.000 % |
487.09/487.27	c |    733585 |     900    18000    90000 |    82829    76153    129 |  0.000 % |
487.69/487.82	c |    734305 |     900    18000    90000 |    82829    76873    129 |  0.000 % |
488.19/488.35	c |    735099 |     900    18000    90000 |    82829    77667    129 |  0.000 % |
488.79/488.97	c |    735971 |     900    18000    90000 |    82829    78539    129 |  0.000 % |
489.49/489.64	c |    736930 |     900    18000    90000 |    82829    79498    129 |  0.000 % |
490.19/490.36	c |    737984 |     900    18000    90000 |    82829    80552    129 |  0.000 % |
490.99/491.10	c |    739142 |     900    18000    90000 |    82829    81710    129 |  0.000 % |
491.89/492.01	c |    740417 |     900    18000    90000 |    82568    73140    130 |  0.000 % |
492.69/492.89	c |    741818 |     900    18000    90000 |    82568    74541    129 |  0.000 % |
493.69/493.88	c |    743358 |     900    18000    90000 |    82568    76081    129 |  0.000 % |
494.89/495.03	c |    745054 |     900    18000    90000 |    82568    77777    129 |  0.000 % |
496.29/496.44	c |    746917 |     900    18000    90000 |    82568    79640    129 |  0.000 % |
497.79/497.93	c |    748967 |     900    18000    90000 |    82568    81690    129 |  0.000 % |
499.29/499.49	c |    751221 |     900    18000    90000 |    82726    73949    130 |  0.000 % |
500.79/500.99	c |    753699 |     900    18000    90000 |    82726    76427    129 |  0.000 % |
502.69/502.84	c |    756425 |     900    18000    90000 |    82726    79153    129 |  0.000 % |
504.69/504.85	c |    759423 |     900    18000    90000 |    82726    82151    129 |  0.000 % |
506.99/507.12	c |    762721 |     900    18000    90000 |    82728    76199    130 |  0.000 % |
509.29/509.47	c |    766346 |     900    18000    90000 |    82728    79824    130 |  0.000 % |
512.09/512.25	c |    770334 |     900    18000    90000 |    75146    75478    129 |  0.000 % |
514.99/515.12	c |    774722 |     900    18000    90000 |    75146    72249    129 |  0.000 % |
518.09/518.28	c |    779545 |     900    18000    90000 |    75146    69524    128 |  0.000 % |
521.59/521.74	c |    784850 |     900    18000    90000 | 2147483647    74829    129 |  0.000 % |
525.69/525.82	c |    790685 |     900    18000    90000 | 2147483647    80664    130 |  0.000 % |
530.19/530.39	c |    797103 |     900    18000    90000 | 2147483647    87082    130 |  0.000 % |
535.59/535.78	c |    804164 |     900    18000    90000 |    89979    81401    129 |  0.000 % |
535.69/535.86	c |    804264 |     900    18000    90000 |    89979    81501    129 |  0.000 % |
535.79/535.96	c |    804376 |     900    18000    90000 |    89979    81613    129 |  0.000 % |
535.89/536.05	c |    804497 |     900    18000    90000 |    89979    81734    129 |  0.000 % |
535.99/536.16	c |    804631 |     900    18000    90000 |    89979    81868    129 |  0.000 % |
536.09/536.27	c |    804779 |     900    18000    90000 |    89979    82016    129 |  0.000 % |
536.29/536.40	c |    804939 |     900    18000    90000 |    89979    82176    129 |  0.000 % |
536.39/536.54	c |    805117 |     900    18000    90000 |    89979    82354    129 |  0.000 % |
536.59/536.70	c |    805310 |     900    18000    90000 |    89979    82547    129 |  0.000 % |
536.69/536.86	c |    805523 |     900    18000    90000 |    89979    82760    129 |  0.000 % |
536.89/537.08	c |    805756 |     900    18000    90000 |    89979    82993    129 |  0.000 % |
537.09/537.28	c |    806014 |     900    18000    90000 |    89979    83251    129 |  0.000 % |
537.39/537.53	c |    806296 |     900    18000    90000 |    89979    83533    129 |  0.000 % |
537.59/537.79	c |    806605 |     900    18000    90000 |    89979    83842    129 |  0.000 % |
537.89/538.07	c |    806945 |     900    18000    90000 |    89979    84182    129 |  0.000 % |
538.19/538.36	c |    807318 |     900    18000    90000 |    89979    84555    129 |  0.000 % |
538.49/538.66	c |    807728 |     900    18000    90000 |    89979    84965    129 |  0.000 % |
538.89/539.01	c |    808177 |     900    18000    90000 |    89979    85414    129 |  0.000 % |
539.19/539.38	c |    808674 |     900    18000    90000 |    89979    85911    129 |  0.000 % |
539.59/539.77	c |    809216 |     900    18000    90000 |    89979    86453    129 |  0.000 % |
540.09/540.26	c |    809813 |     900    18000    90000 |    89979    87050    129 |  0.000 % |
540.69/540.82	c |    810469 |     900    18000    90000 |    87238    75495    129 |  0.000 % |
541.19/541.30	c |    811189 |     900    18000    90000 |    87238    76215    129 |  0.000 % |
541.69/541.86	c |    811981 |     900    18000    90000 |    87238    77007    129 |  0.000 % |
542.29/542.44	c |    812856 |     900    18000    90000 |    87238    77882    128 |  0.000 % |
542.89/543.05	c |    813815 |     900    18000    90000 |    87238    78841    128 |  0.000 % |
543.59/543.77	c |    814868 |     900    18000    90000 |    87238    79894    128 |  0.000 % |
544.39/544.52	c |    816026 |     900    18000    90000 |    87238    81052    128 |  0.000 % |
545.29/545.45	c |    817299 |     900    18000    90000 |    87238    82325    128 |  0.000 % |
546.19/546.39	c |    818699 |     900    18000    90000 |    87238    83725    128 |  0.000 % |
547.29/547.46	c |    820242 |     900    18000    90000 |    85026    85268    128 |  0.000 % |
548.39/548.59	c |    821936 |     900    18000    90000 |    85026    76419    129 |  0.000 % |
549.59/549.77	c |    823799 |     900    18000    90000 |    85026    78282    129 |  0.000 % |
551.09/551.26	c |    825849 |     900    18000    90000 |    85026    80332    129 |  0.000 % |
552.79/552.91	c |    828102 |     900    18000    90000 |    85026    82585    129 |  0.000 % |
554.59/554.78	c |    830580 |     900    18000    90000 |    84486    75507    129 |  0.000 % |
556.49/556.67	c |    833305 |     900    18000    90000 |    84486    78232    129 |  0.000 % |
558.49/558.68	c |    836302 |     900    18000    90000 |    84486    81229    129 |  0.000 % |
560.79/560.91	c |    839598 |     900    18000    90000 |    84486    84525    129 |  0.000 % |
562.99/563.16	c |    843223 |     900    18000    90000 |    74162    67964    128 |  0.000 % |
565.39/565.54	c |    847211 |     900    18000    90000 |    74162    71952    128 |  0.000 % |
568.09/568.26	c |    851596 |     900    18000    90000 | 2147483647    68891    128 |  0.000 % |
570.99/571.17	c |    856420 |     900    18000    90000 | 2147483647    73715    129 |  0.000 % |
574.49/574.67	c |    861725 |     900    18000    90000 | 2147483647    79020    129 |  0.000 % |
578.79/578.90	c |    867560 |     900    18000    90000 | 2147483647    84855    129 |  0.000 % |
583.19/583.35	c |    873978 |     900    18000    90000 |    87296    80394    128 |  0.000 % |
588.49/588.62	c |    881038 |     900    18000    90000 |    86416    75534    129 |  0.000 % |
594.09/594.29	c |    888802 |     900    18000    90000 |    86416    83298    128 |  0.000 % |
594.19/594.37	c |    888903 |     900    18000    90000 |    86416    83399    128 |  0.000 % |
594.29/594.47	c |    889013 |     900    18000    90000 |    86416    83509    128 |  0.000 % |
594.39/594.60	c |    889135 |     900    18000    90000 |    86416    83631    128 |  0.000 % |
594.59/594.70	c |    889268 |     900    18000    90000 |    86416    83764    128 |  0.000 % |
594.69/594.82	c |    889414 |     900    18000    90000 |    86416    83910    128 |  0.000 % |
594.79/594.94	c |    889574 |     900    18000    90000 |    86416    84070    128 |  0.000 % |
594.99/595.11	c |    889753 |     900    18000    90000 |    86416    84249    128 |  0.000 % |
595.09/595.26	c |    889947 |     900    18000    90000 |    86416    84443    128 |  0.000 % |
595.29/595.43	c |    890162 |     900    18000    90000 |    84496    84658    128 |  0.000 % |
595.49/595.67	c |    890395 |     900    18000    90000 |    84496    72884    129 |  0.000 % |
595.69/595.84	c |    890653 |     900    18000    90000 |    84496    73142    129 |  0.000 % |
595.89/596.03	c |    890934 |     900    18000    90000 |    84496    73423    129 |  0.000 % |
596.09/596.22	c |    891243 |     900    18000    90000 |    84496    73732    129 |  0.000 % |
596.29/596.46	c |    891582 |     900    18000    90000 |    84496    74071    129 |  0.000 % |
596.59/596.78	c |    891954 |     900    18000    90000 |    84496    74443    129 |  0.000 % |
596.99/597.10	c |    892363 |     900    18000    90000 |    84496    74852    129 |  0.000 % |
597.29/597.41	c |    892814 |     900    18000    90000 |    84496    75303    129 |  0.000 % |
597.59/597.75	c |    893308 |     900    18000    90000 |    84496    75797    129 |  0.000 % |
597.99/598.14	c |    893853 |     900    18000    90000 |    84496    76342    129 |  0.000 % |
598.39/598.57	c |    894450 |     900    18000    90000 |    84496    76939    129 |  0.000 % |
598.89/599.05	c |    895106 |     900    18000    90000 |    84496    77595    129 |  0.000 % |
599.49/599.60	c |    895826 |     900    18000    90000 |    84496    78315    129 |  0.000 % |
599.99/600.13	c |    896619 |     900    18000    90000 |    84496    79108    129 |  0.000 % |
600.49/600.67	c |    897491 |     900    18000    90000 |    84496    79980    129 |  0.000 % |
601.09/601.29	c |    898450 |     900    18000    90000 |    84496    80939    129 |  0.000 % |
601.79/601.98	c |    899503 |     900    18000    90000 |    84496    81992    129 |  0.000 % |
602.69/602.88	c |    900662 |     900    18000    90000 |    82491    73393    128 |  0.000 % |
603.49/603.68	c |    901938 |     900    18000    90000 |    82491    74669    128 |  0.000 % |
604.49/604.61	c |    903338 |     900    18000    90000 |    82491    76069    129 |  0.000 % |
605.49/605.66	c |    904878 |     900    18000    90000 |    82491    77609    129 |  0.000 % |
606.59/606.78	c |    906572 |     900    18000    90000 |    82491    79303    129 |  0.000 % |
607.99/608.14	c |    908437 |     900    18000    90000 |    82491    81168    129 |  0.000 % |
609.39/609.59	c |    910490 |     900    18000    90000 |    82733    74470    128 |  0.000 % |
610.89/611.04	c |    912743 |     900    18000    90000 |    82733    76723    128 |  0.000 % |
612.59/612.74	c |    915221 |     900    18000    90000 |    82733    79201    128 |  0.000 % |
614.48/614.61	c |    917946 |     900    18000    90000 |    82733    81926    128 |  0.000 % |
616.49/616.63	c |    920945 |     900    18000    90000 |    75261    68591    128 |  0.000 % |
618.58/618.71	c |    924241 |     900    18000    90000 |    75261    71887    128 |  0.000 % |
620.89/621.09	c |    927869 |     900    18000    90000 |    75261    75515    128 |  0.000 % |
623.49/623.66	c |    931856 |     900    18000    90000 | 2147483647    71951    127 |  0.000 % |
626.49/626.67	c |    936242 |     900    18000    90000 | 2147483647    76337    128 |  0.000 % |
629.99/630.12	c |    941065 |     900    18000    90000 | 2147483647    81160    128 |  0.000 % |
633.69/633.86	c |    946370 |     900    18000    90000 | 2147483647    86465    128 |  0.000 % |
638.29/638.44	c |    952205 |     900    18000    90000 |    90095    79676    128 |  0.000 % |
643.09/643.27	c |    958624 |     900    18000    90000 |    90095    86095    128 |  0.000 % |
648.29/648.41	c |    965683 |     900    18000    90000 |    87471    81291    128 |  0.000 % |
653.99/654.13	c |    973448 |     900    18000    90000 |    85608    78454    130 |  0.000 % |
660.39/660.52	c |    981988 |     900    18000    90000 |    85007    75743    130 |  0.000 % |
660.49/660.61	c |    982088 |     900    18000    90000 |    85007    75843    130 |  0.000 % |
660.59/660.70	c |    982198 |     900    18000    90000 |    85007    75953    130 |  0.000 % |
660.69/660.80	c |    982321 |     900    18000    90000 |    85007    76076    130 |  0.000 % |
660.69/660.89	c |    982455 |     900    18000    90000 |    85007    76210    130 |  0.000 % |
660.89/661.01	c |    982604 |     900    18000    90000 |    85007    76359    130 |  0.000 % |
660.99/661.14	c |    982765 |     900    18000    90000 |    85007    76520    130 |  0.000 % |
661.09/661.27	c |    982941 |     900    18000    90000 |    85007    76696    130 |  0.000 % |
661.29/661.41	c |    983137 |     900    18000    90000 |    85007    76892    130 |  0.000 % |
661.39/661.55	c |    983349 |     900    18000    90000 |    85007    77104    130 |  0.000 % |
661.59/661.72	c |    983582 |     900    18000    90000 |    85007    77337    130 |  0.000 % |
661.79/661.94	c |    983838 |     900    18000    90000 |    85007    77593    130 |  0.000 % |
661.99/662.15	c |    984119 |     900    18000    90000 |    85007    77874    130 |  0.000 % |
662.19/662.38	c |    984429 |     900    18000    90000 |    85007    78184    130 |  0.000 % |
662.49/662.62	c |    984769 |     900    18000    90000 |    85007    78524    130 |  0.000 % |
662.69/662.87	c |    985141 |     900    18000    90000 |    85007    78896    129 |  0.000 % |
662.99/663.18	c |    985550 |     900    18000    90000 |    85007    79305    129 |  0.000 % |
663.39/663.55	c |    986000 |     900    18000    90000 |    85007    79755    129 |  0.000 % |
663.79/663.91	c |    986496 |     900    18000    90000 |    85007    80251    129 |  0.000 % |
664.09/664.27	c |    987039 |     900    18000    90000 |    85007    80794    129 |  0.000 % |
664.59/664.75	c |    987637 |     900    18000    90000 |    85007    81392    129 |  0.000 % |
665.09/665.23	c |    988293 |     900    18000    90000 |    85007    82048    129 |  0.000 % |
665.59/665.71	c |    989014 |     900    18000    90000 |    85007    82769    129 |  0.000 % |
666.19/666.32	c |    989806 |     900    18000    90000 |    85007    83561    129 |  0.000 % |
666.89/667.03	c |    990677 |     900    18000    90000 |    83755    73307    129 |  0.000 % |
667.59/667.71	c |    991637 |     900    18000    90000 |    83755    74267    129 |  0.000 % |
668.19/668.39	c |    992691 |     900    18000    90000 |    83755    75321    129 |  0.000 % |
668.99/669.15	c |    993851 |     900    18000    90000 |    83755    76481    129 |  0.000 % |
669.79/669.97	c |    995124 |     900    18000    90000 |    83755    77754    129 |  0.000 % |
670.80/670.94	c |    996528 |     900    18000    90000 |    83755    79158    129 |  0.000 % |
671.80/672.00	c |    998068 |     900    18000    90000 |    83755    80698    128 |  0.000 % |
673.10/673.28	c |    999762 |     900    18000    90000 |    83755    82392    128 |  0.000 % |
674.50/674.64	c |   1001627 |     900    18000    90000 |    82630    75017    129 |  0.000 % |
675.90/676.04	c |   1003677 |     900    18000    90000 |    82630    77067    128 |  0.000 % |
677.40/677.58	c |   1005930 |     900    18000    90000 |    82630    79320    128 |  0.000 % |
679.20/679.36	c |   1008411 |     900    18000    90000 |    82630    81801    128 |  0.000 % |
681.00/681.16	c |   1011136 |     900    18000    90000 |    74795    68423    128 |  0.000 % |
682.80/682.97	c |   1014136 |     900    18000    90000 |    74795    71423    128 |  0.000 % |
685.00/685.11	c |   1017433 |     900    18000    90000 |    74795    74720    128 |  0.000 % |
687.40/687.53	c |   1021058 |     900    18000    90000 | 2147483647    70833    127 |  0.000 % |
689.90/690.04	c |   1025047 |     900    18000    90000 | 2147483647    74822    128 |  0.000 % |
692.90/693.01	c |   1029432 |     900    18000    90000 | 2147483647    79207    127 |  0.000 % |
696.30/696.45	c |   1034255 |     900    18000    90000 | 2147483647    84030    128 |  0.000 % |
700.10/700.29	c |   1039561 |     900    18000    90000 | 2147483647    89336    128 |  0.000 % |
704.40/704.50	c |   1045396 |     900    18000    90000 |    89775    83449    127 |  0.000 % |
709.10/709.21	c |   1051816 |     900    18000    90000 |    88054    77469    127 |  0.000 % |
714.20/714.32	c |   1058876 |     900    18000    90000 |    88054    84529    128 |  0.000 % |
720.20/720.33	c |   1066642 |     900    18000    90000 |    85653    80799    128 |  0.000 % |
726.50/726.60	c |   1075182 |     900    18000    90000 |    84158    78706    130 |  0.000 % |
733.50/733.63	c |   1084576 |     900    18000    90000 |    83525    78239    132 |  0.000 % |
733.60/733.73	c |   1084677 |     900    18000    90000 |    83525    78340    132 |  0.000 % |
733.70/733.81	c |   1084788 |     900    18000    90000 |    83525    78451    132 |  0.000 % |
733.80/733.90	c |   1084909 |     900    18000    90000 |    83525    78572    132 |  0.000 % |
733.90/734.00	c |   1085042 |     900    18000    90000 |    83525    78705    132 |  0.000 % |
734.00/734.13	c |   1085188 |     900    18000    90000 |    83525    78851    132 |  0.000 % |
734.10/734.24	c |   1085348 |     900    18000    90000 |    83525    79011    132 |  0.000 % |
734.30/734.40	c |   1085524 |     900    18000    90000 |    83525    79187    132 |  0.000 % |
734.40/734.58	c |   1085718 |     900    18000    90000 |    83525    79381    132 |  0.000 % |
734.60/734.76	c |   1085930 |     900    18000    90000 |    83525    79593    132 |  0.000 % |
734.80/734.93	c |   1086163 |     900    18000    90000 |    83525    79826    132 |  0.000 % |
735.00/735.17	c |   1086420 |     900    18000    90000 |    83525    80083    132 |  0.000 % |
735.20/735.36	c |   1086702 |     900    18000    90000 |    83525    80365    131 |  0.000 % |
735.40/735.58	c |   1087011 |     900    18000    90000 |    83525    80674    131 |  0.000 % |
735.70/735.88	c |   1087350 |     900    18000    90000 |    83525    81013    131 |  0.000 % |
736.00/736.17	c |   1087722 |     900    18000    90000 |    83525    81385    131 |  0.000 % |
736.30/736.48	c |   1088131 |     900    18000    90000 |    83525    81794    131 |  0.000 % |
736.70/736.82	c |   1088580 |     900    18000    90000 |    83525    82243    131 |  0.000 % |
737.10/737.23	c |   1089074 |     900    18000    90000 |    83525    82737    131 |  0.000 % |
737.50/737.65	c |   1089616 |     900    18000    90000 |    83525    83279    131 |  0.000 % |
737.90/738.10	c |   1090213 |     900    18000    90000 |    83663    83876    131 |  0.000 % |
738.40/738.60	c |   1090870 |     900    18000    90000 |    83663    73826    131 |  0.000 % |
738.90/739.03	c |   1091593 |     900    18000    90000 |    83663    74549    131 |  0.000 % |
739.50/739.62	c |   1092386 |     900    18000    90000 |    83663    75342    131 |  0.000 % |
740.10/740.21	c |   1093258 |     900    18000    90000 |    83663    76214    131 |  0.000 % |
740.70/740.87	c |   1094216 |     900    18000    90000 |    83663    77172    131 |  0.000 % |
741.50/741.61	c |   1095269 |     900    18000    90000 |    83663    78225    131 |  0.000 % |
742.30/742.47	c |   1096427 |     900    18000    90000 |    83663    79383    130 |  0.000 % |
743.20/743.32	c |   1097700 |     900    18000    90000 |    83663    80656    130 |  0.000 % |
744.10/744.28	c |   1099102 |     900    18000    90000 |    83663    82058    130 |  0.000 % |
745.20/745.38	c |   1100642 |     900    18000    90000 |    82957    73793    130 |  0.000 % |
746.30/746.48	c |   1102338 |     900    18000    90000 |    82957    75489    131 |  0.000 % |
747.50/747.67	c |   1104201 |     900    18000    90000 |    82957    77352    130 |  0.000 % |
748.90/749.01	c |   1106253 |     900    18000    90000 |    82957    79404    130 |  0.000 % |
750.40/750.57	c |   1108506 |     900    18000    90000 |    82957    81657    130 |  0.000 % |
752.20/752.34	c |   1110986 |     900    18000    90000 |    83151    75105    130 |  0.000 % |
753.90/754.00	c |   1113711 |     900    18000    90000 |    83151    77830    130 |  0.000 % |
755.80/755.94	c |   1116708 |     900    18000    90000 |    83151    80827    130 |  0.000 % |
758.00/758.14	c |   1120004 |     900    18000    90000 |    75555    75558    129 |  0.000 % |
760.30/760.40	c |   1123629 |     900    18000    90000 |    75555    71514    129 |  0.000 % |
762.90/763.00	c |   1127618 |     900    18000    90000 |    75555    75503    129 |  0.000 % |
765.70/765.82	c |   1132004 |     900    18000    90000 | 2147483647    72302    128 |  0.000 % |
768.80/769.00	c |   1136827 |     900    18000    90000 | 2147483647    77125    128 |  0.000 % |
772.40/772.55	c |   1142135 |     900    18000    90000 | 2147483647    82433    129 |  0.000 % |
776.80/776.92	c |   1147974 |     900    18000    90000 | 2147483647    88272    129 |  0.000 % |
781.40/781.58	c |   1154392 |     900    18000    90000 |    90299    82661    129 |  0.000 % |
786.70/786.83	c |   1161451 |     900    18000    90000 |    88272    77521    128 |  0.000 % |
792.50/792.66	c |   1169217 |     900    18000    90000 |    88272    85287    128 |  0.000 % |
798.50/798.63	c |   1177758 |     900    18000    90000 |    86071    82406    130 |  0.000 % |
805.30/805.49	c |   1187152 |     900    18000    90000 |    84649    81430    130 |  0.000 % |
813.30/813.48	c |   1197485 |     900    18000    90000 |    84279    81949    131 |  0.000 % |
813.40/813.56	c |   1197585 |     900    18000    90000 |    84279    82049    131 |  0.000 % |
813.50/813.67	c |   1197695 |     900    18000    90000 |    84279    82159    131 |  0.000 % |
813.60/813.77	c |   1197817 |     900    18000    90000 |    84279    82281    131 |  0.000 % |
813.70/813.87	c |   1197951 |     900    18000    90000 |    84279    82415    131 |  0.000 % |
813.80/814.00	c |   1198097 |     900    18000    90000 |    84279    82561    131 |  0.000 % |
814.00/814.15	c |   1198257 |     900    18000    90000 |    84279    82721    131 |  0.000 % |
814.10/814.29	c |   1198435 |     900    18000    90000 |    84279    82899    131 |  0.000 % |
814.30/814.46	c |   1198628 |     900    18000    90000 |    84279    83092    131 |  0.000 % |
814.50/814.63	c |   1198840 |     900    18000    90000 |    84279    83304    131 |  0.000 % |
814.70/814.81	c |   1199074 |     900    18000    90000 |    84279    83538    131 |  0.000 % |
814.90/815.06	c |   1199332 |     900    18000    90000 |    84279    83796    131 |  0.000 % |
815.20/815.30	c |   1199614 |     900    18000    90000 |    84279    84078    131 |  0.000 % |
815.40/815.55	c |   1199924 |     900    18000    90000 |    84279    84388    131 |  0.000 % |
815.70/815.85	c |   1200263 |     900    18000    90000 |    73738    74001    131 |  0.000 % |
816.00/816.11	c |   1200635 |     900    18000    90000 |    73738    65251    131 |  0.000 % |
816.20/816.35	c |   1201044 |     900    18000    90000 |    73738    65660    131 |  0.000 % |
816.50/816.63	c |   1201494 |     900    18000    90000 |    73738    66110    131 |  0.000 % |
816.80/816.92	c |   1201988 |     900    18000    90000 |    73738    66604    131 |  0.000 % |
817.10/817.29	c |   1202531 |     900    18000    90000 |    73738    67147    131 |  0.000 % |
817.50/817.69	c |   1203129 |     900    18000    90000 |    73738    67745    131 |  0.000 % |
817.90/818.08	c |   1203784 |     900    18000    90000 |    73738    68400    131 |  0.000 % |
818.40/818.54	c |   1204508 |     900    18000    90000 |    73738    69124    131 |  0.000 % |
818.90/819.08	c |   1205300 |     900    18000    90000 |    73738    69916    131 |  0.000 % |
819.50/819.68	c |   1206172 |     900    18000    90000 |    73738    70788    130 |  0.000 % |
820.10/820.28	c |   1207130 |     900    18000    90000 |    73738    71746    130 |  0.000 % |
820.80/820.96	c |   1208183 |     900    18000    90000 |    73738    72799    130 |  0.000 % |
821.50/821.66	c |   1209342 |     900    18000    90000 |    73738    73958    130 |  0.000 % |
822.30/822.43	c |   1210616 |     900    18000    90000 | 2147483647    67837    130 |  0.000 % |
823.10/823.27	c |   1212016 |     900    18000    90000 | 2147483647    69237    130 |  0.000 % |
824.10/824.22	c |   1213556 |     900    18000    90000 | 2147483647    70777    129 |  0.000 % |
825.20/825.35	c |   1215250 |     900    18000    90000 | 2147483647    72471    130 |  0.000 % |
826.40/826.54	c |   1217115 |     900    18000    90000 | 2147483647    74336    129 |  0.000 % |
827.80/827.95	c |   1219165 |     900    18000    90000 | 2147483647    76386    129 |  0.000 % |
829.30/829.45	c |   1221418 |     900    18000    90000 | 2147483647    78639    129 |  0.000 % |
831.00/831.13	c |   1223896 |     900    18000    90000 | 2147483647    81117    129 |  0.000 % |
832.90/833.06	c |   1226621 |     900    18000    90000 | 2147483647    83842    129 |  0.000 % |
835.10/835.23	c |   1229618 |     900    18000    90000 | 2147483647    86839    129 |  0.000 % |
837.30/837.47	c |   1232914 |     900    18000    90000 |    87225    79916    128 |  0.000 % |
839.90/840.04	c |   1236542 |     900    18000    90000 |    87225    83544    128 |  0.000 % |
842.80/842.91	c |   1240529 |     900    18000    90000 |    87002    76214    128 |  0.000 % |
845.70/845.81	c |   1244914 |     900    18000    90000 |    87002    80599    128 |  0.000 % |
848.90/849.06	c |   1249737 |     900    18000    90000 |    87002    85422    128 |  0.000 % |
852.60/852.70	c |   1255044 |     900    18000    90000 |    85686    79117    127 |  0.000 % |
856.80/856.93	c |   1260879 |     900    18000    90000 |    84073    74064    127 |  0.000 % |
860.90/861.06	c |   1267297 |     900    18000    90000 |    84073    80482    127 |  0.000 % |
865.80/865.95	c |   1274356 |     900    18000    90000 |    83185    77892    127 |  0.000 % |
871.30/871.46	c |   1282122 |     900    18000    90000 |    73889    67487    129 |  0.000 % |
877.30/877.40	c |   1290664 |     900    18000    90000 | 2147483647    68608    130 |  0.000 % |
883.90/884.00	c |   1300061 |     900    18000    90000 | 2147483647    78005    130 |  0.000 % |
891.20/891.38	c |   1310394 |     900    18000    90000 |    87944    75858    132 |  0.000 % |
899.20/899.31	c |   1321760 |     900    18000    90000 |    85464    76309    134 |  0.000 % |
899.20/899.38	c |   1321862 |     900    18000    90000 |    85464    76411    134 |  0.000 % |
899.31/899.47	c |   1321972 |     900    18000    90000 |    85464    76521    134 |  0.000 % |
899.41/899.57	c |   1322095 |     900    18000    90000 |    85464    76644    134 |  0.000 % |
899.61/899.70	c |   1322229 |     900    18000    90000 |    85464    76778    134 |  0.000 % |
899.71/899.81	c |   1322375 |     900    18000    90000 |    85464    76924    133 |  0.000 % |
899.81/899.94	c |   1322538 |     900    18000    90000 |    85464    77087    133 |  0.000 % |
899.91/900.10	c |   1322714 |     900    18000    90000 |    85464    77263    133 |  0.000 % |
900.11/900.22	c |   1322908 |     900    18000    90000 |    85464    77457    133 |  0.000 % |
900.21/900.39	c |   1323120 |     900    18000    90000 |    85464    77669    133 |  0.000 % |
900.41/900.58	c |   1323353 |     900    18000    90000 |    85464    77902    133 |  0.000 % |
900.61/900.79	c |   1323610 |     900    18000    90000 |    85464    78159    133 |  0.000 % |
900.91/901.01	c |   1323892 |     900    18000    90000 |    85464    78441    133 |  0.000 % |
901.11/901.23	c |   1324201 |     900    18000    90000 |    85464    78750    133 |  0.000 % |
901.31/901.49	c |   1324541 |     900    18000    90000 |    85464    79090    133 |  0.000 % |
901.71/901.82	c |   1324914 |     900    18000    90000 |    85464    79463    133 |  0.000 % |
902.01/902.14	c |   1325323 |     900    18000    90000 |    85464    79872    133 |  0.000 % |
902.31/902.49	c |   1325773 |     900    18000    90000 |    85464    80322    133 |  0.000 % |
902.71/902.81	c |   1326266 |     900    18000    90000 |    85464    80815    133 |  0.000 % |
903.11/903.25	c |   1326808 |     900    18000    90000 |    85464    81357    133 |  0.000 % |
903.61/903.70	c |   1327405 |     900    18000    90000 |    85464    81954    133 |  0.000 % |
904.01/904.16	c |   1328062 |     900    18000    90000 |    85464    82611    133 |  0.000 % |
904.61/904.73	c |   1328783 |     900    18000    90000 |    85464    83332    132 |  0.000 % |
905.21/905.35	c |   1329578 |     900    18000    90000 |    85464    84127    132 |  0.000 % |
906.01/906.11	c |   1330449 |     900    18000    90000 |    84550    73362    133 |  0.000 % |
906.61/906.77	c |   1331408 |     900    18000    90000 |    84550    74321    133 |  0.000 % |
907.41/907.51	c |   1332462 |     900    18000    90000 |    84550    75375    133 |  0.000 % |
908.21/908.30	c |   1333621 |     900    18000    90000 |    84550    76534    133 |  0.000 % |
909.01/909.13	c |   1334894 |     900    18000    90000 |    84550    77807    133 |  0.000 % |
909.91/910.06	c |   1336294 |     900    18000    90000 |    84550    79207    132 |  0.000 % |
911.01/911.11	c |   1337835 |     900    18000    90000 |    84550    80748    132 |  0.000 % |
912.11/912.27	c |   1339529 |     900    18000    90000 |    84550    82442    132 |  0.000 % |
913.51/913.65	c |   1341393 |     900    18000    90000 |    82914    74156    132 |  0.000 % |
914.81/914.97	c |   1343444 |     900    18000    90000 |    82914    76207    132 |  0.000 % |
916.41/916.56	c |   1345698 |     900    18000    90000 |    82914    78461    132 |  0.000 % |
918.11/918.20	c |   1348177 |     900    18000    90000 |    82914    80940    132 |  0.000 % |
920.01/920.16	c |   1350903 |     900    18000    90000 |    82764    74066    132 |  0.000 % |
921.91/922.03	c |   1353900 |     900    18000    90000 |    82764    77063    132 |  0.000 % |
924.21/924.34	c |   1357196 |     900    18000    90000 |    82764    80359    132 |  0.000 % |
926.81/926.92	c |   1360821 |     900    18000    90000 |    74726    67976    131 |  0.000 % |
929.41/929.54	c |   1364808 |     900    18000    90000 |    74726    71963    131 |  0.000 % |
932.51/932.67	c |   1369195 |     900    18000    90000 |    74726    68844    131 |  0.000 % |
936.01/936.12	c |   1374019 |     900    18000    90000 | 2147483647    73668    131 |  0.000 % |
939.51/939.69	c |   1379325 |     900    18000    90000 | 2147483647    78974    131 |  0.000 % |
943.61/943.76	c |   1385162 |     900    18000    90000 | 2147483647    84811    132 |  0.000 % |
948.60/948.72	c |   1391580 |     900    18000    90000 |    89650    79458    129 |  0.000 % |
953.51/953.61	c |   1398640 |     900    18000    90000 |    89650    86518    130 |  0.000 % |
959.11/959.28	c |   1406404 |     900    18000    90000 |    87878    82470    129 |  0.000 % |
965.71/965.84	c |   1414945 |     900    18000    90000 |    86068    79550    130 |  0.000 % |
973.01/973.17	c |   1424339 |     900    18000    90000 |    84605    77325    131 |  0.000 % |
980.71/980.81	c |   1434672 |     900    18000    90000 |    82987    76983    132 |  0.000 % |
989.01/989.20	c |   1446038 |     900    18000    90000 |    82311    78458    133 |  0.000 % |
997.51/997.62	c |   1458540 |     900    18000    90000 |    82420    80834    135 |  0.000 % |
997.61/997.70	c |   1458640 |     900    18000    90000 |    82420    80934    135 |  0.000 % |
997.61/997.79	c |   1458750 |     900    18000    90000 |    82420    81044    135 |  0.000 % |
997.71/997.89	c |   1458871 |     900    18000    90000 |    82420    81165    135 |  0.000 % |
997.81/997.99	c |   1459004 |     900    18000    90000 |    82420    81298    135 |  0.000 % |
998.01/998.14	c |   1459150 |     900    18000    90000 |    82420    81444    135 |  0.000 % |
998.11/998.25	c |   1459312 |     900    18000    90000 |    82420    81606    134 |  0.000 % |
998.31/998.40	c |   1459488 |     900    18000    90000 |    82420    81782    134 |  0.000 % |
998.41/998.53	c |   1459681 |     900    18000    90000 |    82420    81975    134 |  0.000 % |
998.51/998.70	c |   1459894 |     900    18000    90000 |    82420    82188    134 |  0.000 % |
998.71/998.88	c |   1460127 |     900    18000    90000 |    82294    82421    134 |  0.000 % |
998.91/999.09	c |   1460383 |     900    18000    90000 |    82294    71424    135 |  0.000 % |
999.11/999.26	c |   1460665 |     900    18000    90000 |    82294    71706    135 |  0.000 % |
999.31/999.46	c |   1460975 |     900    18000    90000 |    82294    72016    135 |  0.000 % |
999.61/999.71	c |   1461317 |     900    18000    90000 |    82294    72358    135 |  0.000 % |
999.81/999.95	c |   1461690 |     900    18000    90000 |    82294    72731    135 |  0.000 % |
1000.11/1000.20	c |   1462099 |     900    18000    90000 |    82294    73140    135 |  0.000 % |
1000.40/1000.51	c |   1462548 |     900    18000    90000 |    82294    73589    135 |  0.000 % |
1000.70/1000.84	c |   1463041 |     900    18000    90000 |    82294    74082    134 |  0.000 % |
1001.10/1001.22	c |   1463583 |     900    18000    90000 |    82294    74624    134 |  0.000 % |
1001.50/1001.62	c |   1464180 |     900    18000    90000 |    82294    75221    134 |  0.000 % |
1001.91/1002.09	c |   1464835 |     900    18000    90000 |    82294    75876    134 |  0.000 % |
1002.41/1002.58	c |   1465557 |     900    18000    90000 |    82294    76598    134 |  0.000 % |
1003.01/1003.18	c |   1466350 |     900    18000    90000 |    82294    77391    134 |  0.000 % |
1003.61/1003.75	c |   1467221 |     900    18000    90000 |    82294    78262    134 |  0.000 % |
1004.31/1004.47	c |   1468180 |     900    18000    90000 |    82294    79221    134 |  0.000 % |
1005.11/1005.23	c |   1469233 |     900    18000    90000 |    82294    80274    134 |  0.000 % |
1006.01/1006.11	c |   1470391 |     900    18000    90000 |    81041    71874    133 |  0.000 % |
1006.81/1006.97	c |   1471667 |     900    18000    90000 |    81041    73150    133 |  0.000 % |
1007.81/1007.92	c |   1473070 |     900    18000    90000 |    81041    74553    133 |  0.000 % |
1008.91/1009.03	c |   1474610 |     900    18000    90000 |    81041    76093    133 |  0.000 % |
1010.11/1010.23	c |   1476304 |     900    18000    90000 |    81041    77787    133 |  0.000 % |
1011.40/1011.52	c |   1478167 |     900    18000    90000 |    81041    79650    133 |  0.000 % |
1012.91/1013.01	c |   1480217 |     900    18000    90000 |    72591    72808    133 |  0.000 % |
1014.30/1014.47	c |   1482472 |     900    18000    90000 |    72591    67170    133 |  0.000 % |
1015.80/1015.95	c |   1484954 |     900    18000    90000 |    72591    69652    133 |  0.000 % |
1017.60/1017.72	c |   1487680 |     900    18000    90000 |    72591    72378    132 |  0.000 % |
1019.51/1019.65	c |   1490677 |     900    18000    90000 | 2147483647    68085    132 |  0.000 % |
1021.50/1021.70	c |   1493975 |     900    18000    90000 | 2147483647    71383    131 |  0.000 % |
1023.80/1023.92	c |   1497602 |     900    18000    90000 | 2147483647    75010    131 |  0.000 % |
1026.21/1026.38	c |   1501590 |     900    18000    90000 | 2147483647    78998    131 |  0.000 % |
1029.10/1029.22	c |   1505975 |     900    18000    90000 | 2147483647    83383    131 |  0.000 % |
1032.41/1032.55	c |   1510799 |     900    18000    90000 |    87408    78442    132 |  0.000 % |
1035.91/1036.09	c |   1516105 |     900    18000    90000 |    87408    83748    132 |  0.000 % |
1040.31/1040.46	c |   1521940 |     900    18000    90000 |    87646    78878    131 |  0.000 % |
1045.02/1045.10	c |   1528358 |     900    18000    90000 |    87646    85296    131 |  0.000 % |
1049.92/1050.07	c |   1535420 |     900    18000    90000 |    86939    81280    129 |  0.000 % |
1055.92/1056.03	c |   1543184 |     900    18000    90000 |    85861    77804    130 |  0.000 % |
1062.52/1062.63	c |   1551724 |     900    18000    90000 |    84622    75638    130 |  0.000 % |
1069.72/1069.81	c |   1561119 |     900    18000    90000 |    83918    74320    131 |  0.000 % |
1078.02/1078.16	c |   1571452 |     900    18000    90000 |    83201    73906    132 |  0.000 % |
1086.82/1086.90	c |   1582818 |     900    18000    90000 |    82454    75197    131 |  0.000 % |
1096.52/1096.68	c |   1595321 |     900    18000    90000 |    82383    77934    130 |  0.000 % |
1107.72/1107.81	c |   1609073 |     900    18000    90000 |    82616    81154    131 |  0.000 % |
1107.82/1107.90	c |   1609174 |     900    18000    90000 |    82616    81255    131 |  0.000 % |
1107.82/1108.00	c |   1609289 |     900    18000    90000 |    82616    81370    131 |  0.000 % |
1107.92/1108.09	c |   1609412 |     900    18000    90000 |    82616    81493    131 |  0.000 % |
1108.02/1108.20	c |   1609545 |     900    18000    90000 |    82616    81626    130 |  0.000 % |
1108.22/1108.34	c |   1609692 |     900    18000    90000 |    82616    81773    130 |  0.000 % |
1108.32/1108.45	c |   1609852 |     900    18000    90000 |    82616    81933    130 |  0.000 % |
1108.41/1108.60	c |   1610030 |     900    18000    90000 |    82082    82111    130 |  0.000 % |
1108.72/1108.80	c |   1610223 |     900    18000    90000 |    82082    71432    130 |  0.000 % |
1108.81/1108.95	c |   1610436 |     900    18000    90000 |    82082    71645    130 |  0.000 % |
1109.01/1109.10	c |   1610669 |     900    18000    90000 |    82082    71878    130 |  0.000 % |
1109.11/1109.27	c |   1610926 |     900    18000    90000 |    82082    72135    130 |  0.000 % |
1109.31/1109.47	c |   1611209 |     900    18000    90000 |    82082    72418    130 |  0.000 % |
1109.51/1109.69	c |   1611518 |     900    18000    90000 |    82082    72727    130 |  0.000 % |
1109.82/1109.94	c |   1611857 |     900    18000    90000 |    82082    73066    130 |  0.000 % |
1110.11/1110.21	c |   1612229 |     900    18000    90000 |    82082    73438    130 |  0.000 % |
1110.31/1110.50	c |   1612638 |     900    18000    90000 |    82082    73847    130 |  0.000 % |
1110.61/1110.78	c |   1613089 |     900    18000    90000 |    82082    74298    130 |  0.000 % |
1111.01/1111.11	c |   1613583 |     900    18000    90000 |    82082    74792    130 |  0.000 % |
1111.31/1111.49	c |   1614125 |     900    18000    90000 |    82082    75334    130 |  0.000 % |
1111.81/1111.90	c |   1614723 |     900    18000    90000 |    82082    75932    130 |  0.000 % |
1112.21/1112.34	c |   1615380 |     900    18000    90000 |    82082    76589    130 |  0.000 % |
1112.61/1112.77	c |   1616100 |     900    18000    90000 |    82082    77309    129 |  0.000 % |
1113.21/1113.32	c |   1616893 |     900    18000    90000 |    82082    78102    129 |  0.000 % |
1113.81/1113.94	c |   1617764 |     900    18000    90000 |    82082    78973    129 |  0.000 % |
1114.51/1114.64	c |   1618723 |     900    18000    90000 |    82082    79932    129 |  0.000 % |
1115.22/1115.34	c |   1619777 |     900    18000    90000 |    82082    80986    129 |  0.000 % |
1116.01/1116.16	c |   1620937 |     900    18000    90000 |    81209    72995    129 |  0.000 % |
1116.91/1117.00	c |   1622211 |     900    18000    90000 |    81209    74269    129 |  0.000 % |
1117.81/1117.93	c |   1623612 |     900    18000    90000 |    81209    75670    129 |  0.000 % |
1118.81/1118.99	c |   1625152 |     900    18000    90000 |    81209    77210    129 |  0.000 % |
1120.01/1120.14	c |   1626846 |     900    18000    90000 |    81209    78904    129 |  0.000 % |
1121.31/1121.50	c |   1628710 |     900    18000    90000 |    81209    80768    129 |  0.000 % |
1122.81/1122.96	c |   1630762 |     900    18000    90000 | 2147483647    74615    128 |  0.000 % |
1124.31/1124.42	c |   1633016 |     900    18000    90000 | 2147483647    76869    128 |  0.000 % |
1125.81/1125.95	c |   1635494 |     900    18000    90000 | 2147483647    79347    129 |  0.000 % |
1127.71/1127.84	c |   1638219 |     900    18000    90000 | 2147483647    82072    129 |  0.000 % |
1129.71/1129.88	c |   1641218 |     900    18000    90000 |    83854    76188    129 |  0.000 % |
1132.01/1132.10	c |   1644514 |     900    18000    90000 |    83854    79484    129 |  0.000 % |
1134.41/1134.53	c |   1648142 |     900    18000    90000 |    83854    83112    129 |  0.000 % |
1137.11/1137.25	c |   1652130 |     900    18000    90000 |    76028    70190    129 |  0.000 % |
1139.91/1140.06	c |   1656515 |     900    18000    90000 |    76028    74575    129 |  0.000 % |
1143.01/1143.11	c |   1661339 |     900    18000    90000 | 2147483647    71761    128 |  0.000 % |
1146.61/1146.78	c |   1666645 |     900    18000    90000 | 2147483647    77067    129 |  0.000 % |
1150.81/1150.99	c |   1672480 |     900    18000    90000 | 2147483647    82902    130 |  0.000 % |
1155.71/1155.86	c |   1678898 |     900    18000    90000 | 2147483647    89320    130 |  0.000 % |
1161.32/1161.43	c |   1685958 |     900    18000    90000 |    90424    84019    130 |  0.000 % |
1167.22/1167.37	c |   1693725 |     900    18000    90000 |    88061    79957    131 |  0.000 % |
1173.62/1173.75	c |   1702269 |     900    18000    90000 |    86232    77792    131 |  0.000 % |
1181.12/1181.22	c |   1711663 |     900    18000    90000 |    85525    76208    132 |  0.000 % |
1188.92/1189.10	c |   1721996 |     900    18000    90000 |    84545    75641    131 |  0.000 % |
1197.92/1198.02	c |   1733362 |     900    18000    90000 |    83645    76330    132 |  0.000 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 9010
/proc/meminfo: memFree=1854528/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306013730 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 237 197 169 0 50 0

[startup+0.0185909 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 9010
/proc/meminfo: memFree=1854528/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306013730 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101567 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 9010
/proc/meminfo: memFree=1854528/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301509 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 9010
/proc/meminfo: memFree=1854528/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701395 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 9010
/proc/meminfo: memFree=1854528/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50117 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 9016
/proc/meminfo: memFree=1849264/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=6188 CPUtime=1.41
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 1307 0 0 0 141 0 0 0 25 0 1 0 306013738 6336512 1293 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 1547 1293 77 171 0 1374 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 11544

[startup+3.10171 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 9016
/proc/meminfo: memFree=1846960/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=10688 CPUtime=3.01
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 2430 0 0 0 300 1 0 0 25 0 1 0 306013738 10944512 2416 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 2672 2416 77 171 0 2499 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16044

[startup+6.3018 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 9016
/proc/meminfo: memFree=1839408/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=17056 CPUtime=6.2
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 3986 0 0 0 618 2 0 0 25 0 1 0 306013738 17465344 3972 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 4264 3972 77 171 0 4091 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 22412

[startup+12.703 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 9016
/proc/meminfo: memFree=1830000/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=25716 CPUtime=12.6
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 6154 0 0 0 1256 4 0 0 25 0 1 0 306013738 26333184 6140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 6429 6140 77 171 0 6256 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 31072

[startup+25.5013 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 9016
/proc/meminfo: memFree=1817264/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=37716 CPUtime=25.38
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 9169 0 0 0 2531 7 0 0 25 0 1 0 306013738 38621184 9155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 9429 9155 77 171 0 9256 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 43072

[startup+51.101 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 9016
/proc/meminfo: memFree=1808240/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=46560 CPUtime=50.98
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 11370 0 0 0 5089 9 0 0 25 0 1 0 306013738 47677440 11356 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 11640 11356 77 171 0 11467 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 51916

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1808176/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=46532 CPUtime=102.18
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 11370 0 0 0 10208 10 0 0 25 0 1 0 306013738 47648768 11356 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 11633 11356 77 171 0 11460 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 51888

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1805488/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=49036 CPUtime=162.16
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 12008 0 0 0 16206 10 0 0 25 0 1 0 306013738 50212864 11994 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 12259 11994 77 171 0 12086 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 54392

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1804144/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=50356 CPUtime=222.15
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 12321 0 0 0 22204 11 0 0 25 0 1 0 306013738 51564544 12307 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 12589 12307 77 171 0 12416 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 55712

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1803056/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=51300 CPUtime=282.15
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 12570 0 0 0 28203 12 0 0 25 0 1 0 306013738 52531200 12556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 12825 12556 77 171 0 12652 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 56656

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1802864/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=51432 CPUtime=342.15
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 12601 0 0 0 34203 12 0 0 25 0 1 0 306013738 52666368 12587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 12858 12587 77 171 0 12685 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 56788

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1801968/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=52224 CPUtime=402.14
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 12802 0 0 0 40202 12 0 0 25 0 1 0 306013738 53477376 12788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 13056 12788 77 171 0 12883 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 57580

[startup+462.302 s]

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

/proc/9016/statm: 13656 13386 77 171 0 13483 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 59980

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1799152/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=54624 CPUtime=642.15
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13519 0 0 0 64201 14 0 0 25 0 1 0 306013738 55934976 13386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 13656 13386 77 171 0 13483 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 59980

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1799024/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=54624 CPUtime=702.16
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13519 0 0 0 70201 15 0 0 25 0 1 0 306013738 55934976 13386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 13656 13386 77 171 0 13483 0
Current children cumulated CPU time (s) 702.2
Current children cumulated vsize (KiB) 59980

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1798960/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=54624 CPUtime=762.16
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13519 0 0 0 76201 15 0 0 25 0 1 0 306013738 55934976 13386 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 13656 13386 77 171 0 13483 0
Current children cumulated CPU time (s) 762.2
Current children cumulated vsize (KiB) 59980

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1798256/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=55284 CPUtime=822.16
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13678 0 0 0 82201 15 0 0 25 0 1 0 306013738 56610816 13545 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 13821 13545 77 171 0 13648 0
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (KiB) 60640

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1798192/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=55276 CPUtime=882.16
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13678 0 0 0 88201 15 0 0 25 0 1 0 306013738 56602624 13545 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 13819 13545 77 171 0 13646 0
Current children cumulated CPU time (s) 882.2
Current children cumulated vsize (KiB) 60632

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1798128/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=55276 CPUtime=942.17
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13678 0 0 0 94201 16 0 0 25 0 1 0 306013738 56602624 13545 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 13819 13545 77 171 0 13646 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 60632

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1797104/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=56200 CPUtime=1002.17
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13923 0 0 0 100201 16 0 0 25 0 1 0 306013738 57548800 13790 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 14050 13790 77 171 0 13877 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 61556

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1796976/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=56144 CPUtime=1062.18
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13923 0 0 0 106201 17 0 0 25 0 1 0 306013738 57491456 13788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 14036 13788 77 171 0 13863 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 61500

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1796912/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=56068 CPUtime=1122.17
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 13923 0 0 0 112200 17 0 0 25 0 1 0 306013738 57413632 13769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 14017 13769 77 171 0 13844 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 61424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1796272/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=56712 CPUtime=1182.18
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 14073 0 0 0 118200 18 0 0 25 0 1 0 306013738 58073088 13915 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 14178 13915 77 171 0 14005 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 62068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1796272/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=56712 CPUtime=1199.99
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 14073 0 0 0 119981 18 0 0 25 0 1 0 306013738 58073088 13915 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 14178 13915 77 171 0 14005 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 62068

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

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

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9016
/proc/meminfo: memFree=1796272/2055920 swapFree=4180240/4192956
[pid=9010] ppid=9008 vsize=5356 CPUtime=0.04
/proc/9010/stat : 9010 (SatELiteGTI) S 9008 9010 8855 0 -1 4194304 336 731 0 0 0 0 4 0 16 0 1 0 306013730 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9010/statm: 1339 239 197 169 0 50 0
[pid=9016] ppid=9010 vsize=56712 CPUtime=1199.99
/proc/9016/stat : 9016 (minisat_static) R 9010 9010 8855 0 -1 4194304 14073 0 0 0 119981 18 0 0 25 0 1 0 306013738 58073088 13915 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9016/statm: 14178 13915 77 171 0 14005 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 62068

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.12
CPU time (s): 1200.03
CPU user time (s): 1199.85
CPU system time (s): 0.18
CPU usage (%): 99.9928
Max. virtual memory (cumulated for all children) (KiB): 62068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.044993
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1067
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= 15
involuntary context switches= 6

runsolver used 1.50977 second user time and 3.02154 second system time

The end

Launcher Data

Begin job on node16 at 2009-05-20 02:36:43
IDJOB=1832515
IDBENCH=70221
IDSOLVER=671
FILE ID=node16/1832515-1242779803
PBS_JOBID= 9322321
Free space on /tmp= 66364 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S743448446-027.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832515-1242779803/watcher-1832515-1242779803 -o /tmp/evaluation-result-1832515-1242779803/solver-1832515-1242779803 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832515-1242779803.cnf

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

MD5SUM BENCH= 56d3d27e3897f3ba7df449d72abf21ef
RANDOM SEED=400049169

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1855080 kB
Buffers:         17276 kB
Cached:         146828 kB
SwapCached:       6848 kB
Active:          96736 kB
Inactive:        75648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855080 kB
SwapTotal:     4192956 kB
SwapFree:      4180240 kB
Dirty:            2000 kB
Writeback:           0 kB
Mapped:          13480 kB
Slab:            14512 kB
Committed_AS:  1071860 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66364 MiB
End job on node16 at 2009-05-20 02:56:46