Trace number 1832521

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 1200.51

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
MD5SUMdc58d201aad12c2725ed362695aa3edc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark56.3114
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
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 514000
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 |   14000    70000 |    4199       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 700   #clauses: 14000   #literals: 70000
0.00/0.02	c CPU time:   0.013997 s
0.00/0.02	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  700                                                  |
0.00/0.05	c |  Number of clauses:    14000                                                |
0.00/0.06	c |  Parsing time:         0.01         s                                       |
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     700    14000    70000 |     4666        0    nan |  0.000 % |
0.00/0.07	c |       101 |     700    14000    70000 |     4666      101     80 |  0.000 % |
0.00/0.08	c |       202 |     700    14000    70000 |     4666      202     85 |  0.000 % |
0.00/0.09	c |       304 |     700    14000    70000 |     4666      304     90 |  0.000 % |
0.03/0.10	c |       414 |     700    14000    70000 |     4666      414     91 |  0.000 % |
0.03/0.11	c |       514 |     700    14000    70000 |     4666      514     90 |  0.000 % |
0.03/0.12	c |       626 |     700    14000    70000 |     4666      626     91 |  0.000 % |
0.03/0.13	c |       749 |     700    14000    70000 |     4666      749     92 |  0.000 % |
0.03/0.14	c |       851 |     700    14000    70000 |     4666      851     93 |  0.000 % |
0.03/0.15	c |       962 |     700    14000    70000 |     4666      962     93 |  0.000 % |
0.03/0.16	c |      1085 |     700    14000    70000 |     4666     1085     94 |  0.000 % |
0.03/0.18	c |      1218 |     700    14000    70000 |     4666     1218     95 |  0.000 % |
0.03/0.18	c |      1319 |     700    14000    70000 |     4666     1319     94 |  0.000 % |
0.03/0.19	c |      1430 |     700    14000    70000 |     4666     1430     94 |  0.000 % |
0.03/0.20	c |      1553 |     700    14000    70000 |     4666     1553     95 |  0.000 % |
0.03/0.22	c |      1686 |     700    14000    70000 |     4666     1686     95 |  0.000 % |
0.03/0.23	c |      1834 |     700    14000    70000 |     4666     1834     95 |  0.000 % |
0.03/0.24	c |      1934 |     700    14000    70000 |     4666     1934     94 |  0.000 % |
0.03/0.25	c |      2044 |     700    14000    70000 |     4666     2044     94 |  0.000 % |
0.03/0.26	c |      2165 |     700    14000    70000 |     4666     2165     95 |  0.000 % |
0.03/0.27	c |      2298 |     700    14000    70000 |     4666     2298     95 |  0.000 % |
0.03/0.29	c |      2447 |     700    14000    70000 |     4666     2447     94 |  0.000 % |
0.03/0.30	c |      2607 |     700    14000    70000 |     4666     2607     94 |  0.000 % |
0.03/0.31	c |      2709 |     700    14000    70000 |     4666     2709     94 |  0.000 % |
0.03/0.32	c |      2819 |     700    14000    70000 |     4666     2819     94 |  0.000 % |
0.03/0.34	c |      2943 |     700    14000    70000 |     4666     2943     95 |  0.000 % |
0.03/0.35	c |      3076 |     700    14000    70000 |     4666     3076     95 |  0.000 % |
0.03/0.37	c |      3223 |     700    14000    70000 |     4666     3223     95 |  0.000 % |
0.03/0.38	c |      3383 |     700    14000    70000 |     4666     3383     95 |  0.000 % |
0.03/0.40	c |      3560 |     700    14000    70000 |     4666     3560     95 |  0.000 % |
0.03/0.41	c |      3660 |     700    14000    70000 |     4666     3660     95 |  0.000 % |
0.03/0.42	c |      3770 |     700    14000    70000 |     4666     3770     96 |  0.000 % |
0.03/0.44	c |      3891 |     700    14000    70000 |     4666     3891     96 |  0.000 % |
0.03/0.45	c |      4024 |     700    14000    70000 |     4666     4024     95 |  0.000 % |
0.03/0.47	c |      4171 |     700    14000    70000 |     4666     4171     95 |  0.000 % |
0.03/0.48	c |      4332 |     700    14000    70000 |     4666     4332     95 |  0.000 % |
0.03/0.50	c |      4508 |     700    14000    70000 |     4666     4508     95 |  0.000 % |
0.03/0.52	c |      4702 |     700    14000    70000 |     4666     4702     95 |  0.000 % |
0.03/0.53	c |      4802 |     700    14000    70000 |     4666     4332     95 |  0.000 % |
0.03/0.54	c |      4913 |     700    14000    70000 |     4666     4443     95 |  0.000 % |
0.03/0.56	c |      5034 |     700    14000    70000 |     4666     4564     95 |  0.000 % |
0.03/0.57	c |      5167 |     700    14000    70000 |     4666     4697     95 |  0.000 % |
0.03/0.59	c |      5313 |     700    14000    70000 |     4666     4374     94 |  0.000 % |
0.03/0.60	c |      5473 |     700    14000    70000 |     4666     4534     94 |  0.000 % |
0.03/0.62	c |      5650 |     700    14000    70000 |     4666     4711     94 |  0.000 % |
0.03/0.64	c |      5845 |     700    14000    70000 |     4666     4435     93 |  0.000 % |
0.03/0.66	c |      6057 |     700    14000    70000 |     4666     4647     94 |  0.000 % |
0.03/0.68	c |      6157 |     700    14000    70000 |     4666     4747     94 |  0.000 % |
0.03/0.69	c |      6271 |     700    14000    70000 |     4666     4387     94 |  0.000 % |
0.03/0.70	c |      6392 |     700    14000    70000 |     4666     4508     94 |  0.000 % |
0.03/0.71	c |      6526 |     700    14000    70000 |     4666     4642     94 |  0.000 % |
0.03/0.73	c |      6673 |     700    14000    70000 |     4666     4789     94 |  0.000 % |
0.03/0.75	c |      6835 |     700    14000    70000 |     4666     4473     94 |  0.000 % |
0.03/0.77	c |      7012 |     700    14000    70000 |     4666     4650     94 |  0.000 % |
0.03/0.79	c |      7206 |     700    14000    70000 |     4666     4844     94 |  0.000 % |
0.03/0.81	c |      7421 |     700    14000    70000 |     4666     4575     94 |  0.000 % |
0.03/0.83	c |      7656 |     700    14000    70000 |     4666     4810     94 |  0.000 % |
0.03/0.85	c |      7757 |     700    14000    70000 |     4666     4430     93 |  0.000 % |
0.03/0.86	c |      7867 |     700    14000    70000 |     4666     4540     93 |  0.000 % |
0.03/0.87	c |      7990 |     700    14000    70000 |     4666     4663     93 |  0.000 % |
0.03/0.88	c |      8123 |     700    14000    70000 |     4666     4796     93 |  0.000 % |
0.03/0.90	c |      8269 |     700    14000    70000 |     4666     4463     93 |  0.000 % |
0.03/0.91	c |      8429 |     700    14000    70000 |     4666     4623     93 |  0.000 % |
0.03/0.93	c |      8605 |     700    14000    70000 |     4666     4799     93 |  0.000 % |
0.03/0.96	c |      8798 |     700    14000    70000 |     4666     4513     94 |  0.000 % |
0.03/0.98	c |      9011 |     700    14000    70000 |     4666     4726     94 |  0.000 % |
0.96/1.01	c |      9247 |     700    14000    70000 |     4666     4490     94 |  0.000 % |
0.96/1.04	c |      9503 |     700    14000    70000 |     4666     4746     94 |  0.000 % |
0.96/1.05	c |      9605 |     700    14000    70000 |     4666     4374     95 |  0.000 % |
0.96/1.06	c |      9717 |     700    14000    70000 |     4666     4486     94 |  0.000 % |
0.96/1.08	c |      9838 |     700    14000    70000 |     4666     4607     94 |  0.000 % |
0.96/1.09	c |      9973 |     700    14000    70000 |     4666     4742     94 |  0.000 % |
1.06/1.11	c |     10119 |     700    14000    70000 | 2147483647     4414     93 |  0.000 % |
1.06/1.13	c |     10281 |     700    14000    70000 | 2147483647     4576     93 |  0.000 % |
1.06/1.15	c |     10457 |     700    14000    70000 | 2147483647     4752     94 |  0.000 % |
1.06/1.17	c |     10651 |     700    14000    70000 | 2147483647     4946     94 |  0.000 % |
1.06/1.19	c |     10864 |     700    14000    70000 | 2147483647     5159     94 |  0.000 % |
1.16/1.22	c |     11097 |     700    14000    70000 | 2147483647     5392     94 |  0.000 % |
1.16/1.25	c |     11353 |     700    14000    70000 | 2147483647     5648     94 |  0.000 % |
1.16/1.28	c |     11634 |     700    14000    70000 | 2147483647     5929     94 |  0.000 % |
1.16/1.29	c |     11734 |     700    14000    70000 | 2147483647     6029     94 |  0.000 % |
1.26/1.31	c |     11846 |     700    14000    70000 | 2147483647     6141     95 |  0.000 % |
1.26/1.32	c |     11968 |     700    14000    70000 | 2147483647     6263     95 |  0.000 % |
1.26/1.34	c |     12103 |     700    14000    70000 | 2147483647     6398     95 |  0.000 % |
1.26/1.35	c |     12249 |     700    14000    70000 | 2147483647     6544     95 |  0.000 % |
1.26/1.37	c |     12409 |     700    14000    70000 | 2147483647     6704     95 |  0.000 % |
1.26/1.40	c |     12586 |     700    14000    70000 | 2147483647     6881     95 |  0.000 % |
1.36/1.42	c |     12781 |     700    14000    70000 | 2147483647     7076     94 |  0.000 % |
1.36/1.45	c |     12994 |     700    14000    70000 | 2147483647     7289     94 |  0.000 % |
1.36/1.48	c |     13229 |     700    14000    70000 | 2147483647     7524     94 |  0.000 % |
1.46/1.51	c |     13486 |     700    14000    70000 | 2147483647     7781     94 |  0.000 % |
1.46/1.54	c |     13767 |     700    14000    70000 | 2147483647     8062     94 |  0.000 % |
1.46/1.58	c |     14076 |     700    14000    70000 | 2147483647     8371     94 |  0.000 % |
1.46/1.60	c |     14178 |     700    14000    70000 | 2147483647     8473     95 |  0.000 % |
1.55/1.61	c |     14289 |     700    14000    70000 | 2147483647     8584     95 |  0.000 % |
1.55/1.63	c |     14410 |     700    14000    70000 | 2147483647     8705     95 |  0.000 % |
1.55/1.65	c |     14543 |     700    14000    70000 | 2147483647     8838     95 |  0.000 % |
1.55/1.67	c |     14689 |     700    14000    70000 | 2147483647     8984     95 |  0.000 % |
1.55/1.69	c |     14850 |     700    14000    70000 | 2147483647     9145     95 |  0.000 % |
1.65/1.72	c |     15027 |     700    14000    70000 | 2147483647     9322     95 |  0.000 % |
1.65/1.74	c |     15222 |     700    14000    70000 | 2147483647     9517     95 |  0.000 % |
1.65/1.77	c |     15434 |     700    14000    70000 | 2147483647     9729     95 |  0.000 % |
1.75/1.80	c |     15668 |     700    14000    70000 | 2147483647     9963     95 |  0.000 % |
1.75/1.84	c |     15924 |     700    14000    70000 | 2147483647    10219     95 |  0.000 % |
1.75/1.88	c |     16205 |     700    14000    70000 | 2147483647    10500     95 |  0.000 % |
1.85/1.93	c |     16514 |     700    14000    70000 | 2147483647    10809     95 |  0.000 % |
1.85/1.98	c |     16855 |     700    14000    70000 | 2147483647    11150     95 |  0.000 % |
1.85/1.99	c |     16956 |     700    14000    70000 | 2147483647    11251     95 |  0.000 % |
1.95/2.01	c |     17066 |     700    14000    70000 | 2147483647    11361     95 |  0.000 % |
1.95/2.03	c |     17187 |     700    14000    70000 | 2147483647    11482     95 |  0.000 % |
1.95/2.06	c |     17322 |     700    14000    70000 | 2147483647    11617     95 |  0.000 % |
1.95/2.08	c |     17470 |     700    14000    70000 | 2147483647    11765     95 |  0.000 % |
2.05/2.10	c |     17630 |     700    14000    70000 | 2147483647    11925     95 |  0.000 % |
2.05/2.13	c |     17806 |     700    14000    70000 | 2147483647    12101     95 |  0.000 % |
2.05/2.16	c |     18001 |     700    14000    70000 | 2147483647    12296     95 |  0.000 % |
2.15/2.20	c |     18214 |     700    14000    70000 | 2147483647    12509     95 |  0.000 % |
2.15/2.24	c |     18447 |     700    14000    70000 | 2147483647    12742     95 |  0.000 % |
2.15/2.28	c |     18703 |     700    14000    70000 | 2147483647    12998     95 |  0.000 % |
2.25/2.32	c |     18984 |     700    14000    70000 | 2147483647    13279     95 |  0.000 % |
2.25/2.37	c |     19293 |     700    14000    70000 | 2147483647    13588     96 |  0.000 % |
2.35/2.43	c |     19632 |     700    14000    70000 | 2147483647    13927     96 |  0.000 % |
2.35/2.49	c |     20005 |     700    14000    70000 | 2147483647    14300     96 |  0.000 % |
2.45/2.52	c |     20105 |     700    14000    70000 | 2147483647    14400     96 |  0.000 % |
2.45/2.54	c |     20216 |     700    14000    70000 | 2147483647    14511     96 |  0.000 % |
2.45/2.56	c |     20337 |     700    14000    70000 | 2147483647    14632     96 |  0.000 % |
2.45/2.59	c |     20471 |     700    14000    70000 | 2147483647    14766     96 |  0.000 % |
2.56/2.61	c |     20617 |     700    14000    70000 | 2147483647    14912     96 |  0.000 % |
2.56/2.64	c |     20777 |     700    14000    70000 | 2147483647    15072     96 |  0.000 % |
2.56/2.67	c |     20954 |     700    14000    70000 | 2147483647    15249     96 |  0.000 % |
2.66/2.71	c |     21147 |     700    14000    70000 | 2147483647    15442     96 |  0.000 % |
2.66/2.75	c |     21359 |     700    14000    70000 | 2147483647    15654     96 |  0.000 % |
2.66/2.79	c |     21592 |     700    14000    70000 | 2147483647    15887     96 |  0.000 % |
2.76/2.85	c |     21848 |     700    14000    70000 | 2147483647    16143     96 |  0.000 % |
2.86/2.91	c |     22131 |     700    14000    70000 | 2147483647    16426     96 |  0.000 % |
2.86/2.96	c |     22440 |     700    14000    70000 | 2147483647    16735     96 |  0.000 % |
2.96/3.03	c |     22779 |     700    14000    70000 | 2147483647    17074     96 |  0.000 % |
3.06/3.10	c |     23151 |     700    14000    70000 | 2147483647    17446     96 |  0.000 % |
3.06/3.19	c |     23562 |     700    14000    70000 | 2147483647    17857     96 |  0.000 % |
3.16/3.21	c |     23664 |     700    14000    70000 | 2147483647    17959     96 |  0.000 % |
3.16/3.24	c |     23774 |     700    14000    70000 | 2147483647    18069     96 |  0.000 % |
3.16/3.26	c |     23895 |     700    14000    70000 | 2147483647    18190     96 |  0.000 % |
3.16/3.29	c |     24028 |     700    14000    70000 | 2147483647    18323     96 |  0.000 % |
3.26/3.32	c |     24176 |     700    14000    70000 | 2147483647    18471     96 |  0.000 % |
3.26/3.36	c |     24336 |     700    14000    70000 | 2147483647    18631     96 |  0.000 % |
3.36/3.40	c |     24512 |     700    14000    70000 | 2147483647    18807     96 |  0.000 % |
3.36/3.44	c |     24706 |     700    14000    70000 | 2147483647    19001     96 |  0.000 % |
3.36/3.49	c |     24920 |     700    14000    70000 | 2147483647    19215     96 |  0.000 % |
3.45/3.53	c |     25153 |     700    14000    70000 | 2147483647    19448     96 |  0.000 % |
3.45/3.59	c |     25412 |     700    14000    70000 | 2147483647    19707     96 |  0.000 % |
3.55/3.65	c |     25693 |     700    14000    70000 | 2147483647    19988     96 |  0.000 % |
3.65/3.72	c |     26005 |     700    14000    70000 | 2147483647    20300     96 |  0.000 % |
3.75/3.80	c |     26344 |     700    14000    70000 | 2147483647    20639     96 |  0.000 % |
3.75/3.88	c |     26716 |     700    14000    70000 | 2147483647    21011     96 |  0.000 % |
3.85/3.96	c |     27127 |     700    14000    70000 | 2147483647    21422     96 |  0.000 % |
3.95/4.06	c |     27578 |     700    14000    70000 | 2147483647    21873     96 |  0.000 % |
3.95/4.09	c |     27678 |     700    14000    70000 | 2147483647    21973     96 |  0.000 % |
4.05/4.12	c |     27791 |     700    14000    70000 | 2147483647    22086     96 |  0.000 % |
4.05/4.15	c |     27913 |     700    14000    70000 | 2147483647    22208     96 |  0.000 % |
4.05/4.18	c |     28046 |     700    14000    70000 | 2147483647    22341     96 |  0.000 % |
4.15/4.22	c |     28192 |     700    14000    70000 | 2147483647    22487     96 |  0.000 % |
4.15/4.26	c |     28352 |     700    14000    70000 | 2147483647    22647     96 |  0.000 % |
4.25/4.31	c |     28529 |     700    14000    70000 | 2147483647    22824     96 |  0.000 % |
4.25/4.36	c |     28723 |     700    14000    70000 | 2147483647    23018     96 |  0.000 % |
4.35/4.41	c |     28935 |     700    14000    70000 | 2147483647    23230     96 |  0.000 % |
4.35/4.47	c |     29168 |     700    14000    70000 | 2147483647    23463     96 |  0.000 % |
4.45/4.54	c |     29424 |     700    14000    70000 | 2147483647    23719     96 |  0.000 % |
4.55/4.61	c |     29705 |     700    14000    70000 | 2147483647    24000     96 |  0.000 % |
4.55/4.69	c |     30015 |     700    14000    70000 | 2147483647    24310     96 |  0.000 % |
4.66/4.79	c |     30356 |     700    14000    70000 | 2147483647    24651     96 |  0.000 % |
4.76/4.89	c |     30728 |     700    14000    70000 | 2147483647    25023     97 |  0.000 % |
4.86/4.99	c |     31137 |     700    14000    70000 | 2147483647    25432     97 |  0.000 % |
5.06/5.12	c |     31586 |     700    14000    70000 | 2147483647    25881     97 |  0.000 % |
5.16/5.25	c |     32080 |     700    14000    70000 | 2147483647    26375     97 |  0.000 % |
5.16/5.28	c |     32181 |     700    14000    70000 | 2147483647    26476     97 |  0.000 % |
5.26/5.32	c |     32294 |     700    14000    70000 | 2147483647    26589     97 |  0.000 % |
5.26/5.35	c |     32419 |     700    14000    70000 | 2147483647    26714     96 |  0.000 % |
5.26/5.39	c |     32553 |     700    14000    70000 | 2147483647    26848     96 |  0.000 % |
5.36/5.44	c |     32700 |     700    14000    70000 | 2147483647    26995     96 |  0.000 % |
5.36/5.48	c |     32860 |     700    14000    70000 | 2147483647    27155     96 |  0.000 % |
5.46/5.53	c |     33037 |     700    14000    70000 | 2147483647    27332     97 |  0.000 % |
5.46/5.60	c |     33230 |     700    14000    70000 | 2147483647    27525     97 |  0.000 % |
5.56/5.66	c |     33442 |     700    14000    70000 | 2147483647    27737     97 |  0.000 % |
5.66/5.72	c |     33675 |     700    14000    70000 | 2147483647    27970     97 |  0.000 % |
5.66/5.80	c |     33931 |     700    14000    70000 | 2147483647    28226     97 |  0.000 % |
5.76/5.87	c |     34213 |     700    14000    70000 | 2147483647    28508     97 |  0.000 % |
5.85/5.96	c |     34523 |     700    14000    70000 | 2147483647    28818     97 |  0.000 % |
5.95/6.07	c |     34863 |     700    14000    70000 | 2147483647    29158     97 |  0.000 % |
6.05/6.17	c |     35235 |     700    14000    70000 | 2147483647    29530     97 |  0.000 % |
6.15/6.29	c |     35644 |     700    14000    70000 | 2147483647    29939     97 |  0.000 % |
6.35/6.42	c |     36095 |     700    14000    70000 | 2147483647    30390     97 |  0.000 % |
6.45/6.59	c |     36588 |     700    14000    70000 | 2147483647    30883     97 |  0.000 % |
6.65/6.77	c |     37130 |     700    14000    70000 | 2147483647    31425     97 |  0.000 % |
6.76/6.80	c |     37230 |     700    14000    70000 | 2147483647    31525     97 |  0.000 % |
6.76/6.83	c |     37340 |     700    14000    70000 | 2147483647    31635     97 |  0.000 % |
6.76/6.88	c |     37461 |     700    14000    70000 | 2147483647    31756     97 |  0.000 % |
6.86/6.92	c |     37597 |     700    14000    70000 | 2147483647    31892     97 |  0.000 % |
6.86/6.97	c |     37743 |     700    14000    70000 | 2147483647    32038     97 |  0.000 % |
6.96/7.03	c |     37905 |     700    14000    70000 | 2147483647    32200     97 |  0.000 % |
6.96/7.09	c |     38081 |     700    14000    70000 | 2147483647    32376     97 |  0.000 % |
7.06/7.17	c |     38274 |     700    14000    70000 | 2147483647    32569     97 |  0.000 % |
7.16/7.23	c |     38486 |     700    14000    70000 | 2147483647    32781     97 |  0.000 % |
7.26/7.31	c |     38719 |     700    14000    70000 | 2147483647    33014     97 |  0.000 % |
7.26/7.39	c |     38975 |     700    14000    70000 | 2147483647    33270     97 |  0.000 % |
7.36/7.49	c |     39256 |     700    14000    70000 | 2147483647    33551     97 |  0.000 % |
7.45/7.59	c |     39565 |     700    14000    70000 | 2147483647    33860     97 |  0.000 % |
7.66/7.72	c |     39904 |     700    14000    70000 | 2147483647    34199     97 |  0.000 % |
7.75/7.85	c |     40277 |     700    14000    70000 | 2147483647    34572     97 |  0.000 % |
7.95/8.00	c |     40686 |     700    14000    70000 | 2147483647    34981     97 |  0.000 % |
8.05/8.14	c |     41135 |     700    14000    70000 | 2147483647    35430     97 |  0.000 % |
8.25/8.31	c |     41628 |     700    14000    70000 | 2147483647    35923     97 |  0.000 % |
8.35/8.50	c |     42172 |     700    14000    70000 | 2147483647    36467     97 |  0.000 % |
8.66/8.71	c |     42771 |     700    14000    70000 | 2147483647    37066     97 |  0.000 % |
8.66/8.75	c |     42873 |     700    14000    70000 | 2147483647    37168     97 |  0.000 % |
8.66/8.78	c |     42984 |     700    14000    70000 | 2147483647    37279     97 |  0.000 % |
8.76/8.83	c |     43108 |     700    14000    70000 | 2147483647    37403     97 |  0.000 % |
8.76/8.88	c |     43242 |     700    14000    70000 | 2147483647    37537     97 |  0.000 % |
8.85/8.94	c |     43388 |     700    14000    70000 | 2147483647    37683     97 |  0.000 % |
8.95/9.00	c |     43548 |     700    14000    70000 | 2147483647    37843     97 |  0.000 % |
8.95/9.08	c |     43724 |     700    14000    70000 | 2147483647    38019     97 |  0.000 % |
9.05/9.16	c |     43917 |     700    14000    70000 | 2147483647    38212     97 |  0.000 % |
9.15/9.24	c |     44131 |     700    14000    70000 | 2147483647    38426     97 |  0.000 % |
9.25/9.33	c |     44364 |     700    14000    70000 | 2147483647    38659     97 |  0.000 % |
9.35/9.42	c |     44620 |     700    14000    70000 | 2147483647    38915     97 |  0.000 % |
9.45/9.53	c |     44901 |     700    14000    70000 | 2147483647    39196     97 |  0.000 % |
9.55/9.64	c |     45211 |     700    14000    70000 | 2147483647    39506     97 |  0.000 % |
9.65/9.79	c |     45551 |     700    14000    70000 | 2147483647    39846     97 |  0.000 % |
9.85/9.93	c |     45924 |     700    14000    70000 | 2147483647    40219     97 |  0.000 % |
10.05/10.10	c |     46334 |     700    14000    70000 | 2147483647    40629     97 |  0.000 % |
10.15/10.27	c |     46785 |     700    14000    70000 | 2147483647    41080     97 |  0.000 % |
10.35/10.44	c |     47279 |     700    14000    70000 | 2147483647    41574     98 |  0.000 % |
10.55/10.66	c |     47821 |     700    14000    70000 | 2147483647    42116     98 |  0.000 % |
10.75/10.90	c |     48417 |     700    14000    70000 | 2147483647    42712     98 |  0.000 % |
11.05/11.13	c |     49072 |     700    14000    70000 | 2147483647    43367     98 |  0.000 % |
11.05/11.19	c |     49172 |     700    14000    70000 | 2147483647    43467     98 |  0.000 % |
11.15/11.25	c |     49283 |     700    14000    70000 | 2147483647    43578     98 |  0.000 % |
11.25/11.30	c |     49404 |     700    14000    70000 | 2147483647    43699     98 |  0.000 % |
11.25/11.36	c |     49540 |     700    14000    70000 | 2147483647    43835     98 |  0.000 % |
11.35/11.43	c |     49689 |     700    14000    70000 | 2147483647    43984     98 |  0.000 % |
11.45/11.50	c |     49852 |     700    14000    70000 | 2147483647    44147     98 |  0.000 % |
11.45/11.58	c |     50029 |     700    14000    70000 | 2147483647    44324     98 |  0.000 % |
11.55/11.67	c |     50223 |     700    14000    70000 | 2147483647    44518     98 |  0.000 % |
11.65/11.76	c |     50435 |     700    14000    70000 | 2147483647    44730     98 |  0.000 % |
11.76/11.87	c |     50669 |     700    14000    70000 | 2147483647    44964     98 |  0.000 % |
11.86/11.98	c |     50927 |     700    14000    70000 | 2147483647    45222     98 |  0.000 % |
12.06/12.12	c |     51208 |     700    14000    70000 | 2147483647    45503     98 |  0.000 % |
12.16/12.26	c |     51519 |     700    14000    70000 | 2147483647    45814     98 |  0.000 % |
12.36/12.42	c |     51859 |     700    14000    70000 | 2147483647    46154     98 |  0.000 % |
12.46/12.59	c |     52231 |     700    14000    70000 | 2147483647    46526     98 |  0.000 % |
12.66/12.77	c |     52641 |     700    14000    70000 | 2147483647    46936     98 |  0.000 % |
12.86/12.97	c |     53093 |     700    14000    70000 | 2147483647    47388     98 |  0.000 % |
13.16/13.22	c |     53587 |     700    14000    70000 | 2147483647    47882     98 |  0.000 % |
13.35/13.47	c |     54132 |     700    14000    70000 | 2147483647    48427     98 |  0.000 % |
13.65/13.75	c |     54730 |     700    14000    70000 | 2147483647    49025     98 |  0.000 % |
13.95/14.01	c |     55386 |     700    14000    70000 | 2147483647    49681     98 |  0.000 % |
14.26/14.34	c |     56110 |     700    14000    70000 | 2147483647    50405     98 |  0.000 % |
14.26/14.39	c |     56211 |     700    14000    70000 | 2147483647    50506     98 |  0.000 % |
14.35/14.44	c |     56321 |     700    14000    70000 | 2147483647    50616     98 |  0.000 % |
14.45/14.51	c |     56446 |     700    14000    70000 | 2147483647    50741     98 |  0.000 % |
14.45/14.58	c |     56579 |     700    14000    70000 | 2147483647    50874     98 |  0.000 % |
14.55/14.66	c |     56726 |     700    14000    70000 | 2147483647    51021     98 |  0.000 % |
14.65/14.76	c |     56888 |     700    14000    70000 | 2147483647    51183     98 |  0.000 % |
14.75/14.85	c |     57064 |     700    14000    70000 | 2147483647    51359     98 |  0.000 % |
14.85/14.97	c |     57257 |     700    14000    70000 | 2147483647    51552     98 |  0.000 % |
14.95/15.07	c |     57470 |     700    14000    70000 | 2147483647    51765     98 |  0.000 % |
15.05/15.19	c |     57703 |     700    14000    70000 | 2147483647    51998     98 |  0.000 % |
15.26/15.32	c |     57959 |     700    14000    70000 | 2147483647    52254     98 |  0.000 % |
15.36/15.45	c |     58242 |     700    14000    70000 | 2147483647    52537     98 |  0.000 % |
15.55/15.62	c |     58552 |     700    14000    70000 | 2147483647    52847     98 |  0.000 % |
15.75/15.80	c |     58891 |     700    14000    70000 | 2147483647    53186     98 |  0.000 % |
15.95/16.00	c |     59264 |     700    14000    70000 | 2147483647    53559     98 |  0.000 % |
16.15/16.21	c |     59674 |     700    14000    70000 | 2147483647    53969     98 |  0.000 % |
16.35/16.43	c |     60126 |     700    14000    70000 | 2147483647    54421     98 |  0.000 % |
16.55/16.69	c |     60619 |     700    14000    70000 | 2147483647    54914     98 |  0.000 % |
16.85/16.96	c |     61162 |     700    14000    70000 | 2147483647    55457     98 |  0.000 % |
17.15/17.27	c |     61759 |     700    14000    70000 | 2147483647    56054     98 |  0.000 % |
17.56/17.62	c |     62414 |     700    14000    70000 | 2147483647    56709     98 |  0.000 % |
17.85/17.96	c |     63136 |     700    14000    70000 | 2147483647    57431     98 |  0.000 % |
18.35/18.40	c |     63929 |     700    14000    70000 | 2147483647    58224     98 |  0.000 % |
18.35/18.45	c |     64032 |     700    14000    70000 | 2147483647    58327     98 |  0.000 % |
18.45/18.55	c |     64142 |     700    14000    70000 | 2147483647    58437     98 |  0.000 % |
18.56/18.63	c |     64265 |     700    14000    70000 | 2147483647    58560     98 |  0.000 % |
18.66/18.70	c |     64399 |     700    14000    70000 | 2147483647    58694     98 |  0.000 % |
18.66/18.79	c |     64545 |     700    14000    70000 | 2147483647    58840     98 |  0.000 % |
18.75/18.89	c |     64709 |     700    14000    70000 | 2147483647    59004     98 |  0.000 % |
18.85/18.98	c |     64885 |     700    14000    70000 | 2147483647    59180     98 |  0.000 % |
18.95/19.09	c |     65078 |     700    14000    70000 | 2147483647    59373     98 |  0.000 % |
19.15/19.21	c |     65290 |     700    14000    70000 | 2147483647    59585     98 |  0.000 % |
19.25/19.34	c |     65523 |     700    14000    70000 | 2147483647    59818     98 |  0.000 % |
19.35/19.50	c |     65780 |     700    14000    70000 | 2147483647    60075     98 |  0.000 % |
19.55/19.66	c |     66062 |     700    14000    70000 | 2147483647    60357     98 |  0.000 % |
19.75/19.85	c |     66371 |     700    14000    70000 | 2147483647    60666     98 |  0.000 % |
19.95/20.06	c |     66711 |     700    14000    70000 | 2147483647    61006     98 |  0.000 % |
20.15/20.26	c |     67083 |     700    14000    70000 | 2147483647    61378     98 |  0.000 % |
20.45/20.52	c |     67492 |     700    14000    70000 | 2147483647    61787     98 |  0.000 % |
20.75/20.81	c |     67943 |     700    14000    70000 | 2147483647    62238     98 |  0.000 % |
21.04/21.10	c |     68438 |     700    14000    70000 | 2147483647    62733     98 |  0.000 % |
21.34/21.41	c |     68982 |     700    14000    70000 | 2147483647    63277     98 |  0.000 % |
21.65/21.76	c |     69582 |     700    14000    70000 | 2147483647    63877     98 |  0.000 % |
22.05/22.18	c |     70237 |     700    14000    70000 | 2147483647    64532     98 |  0.000 % |
22.55/22.61	c |     70958 |     700    14000    70000 | 2147483647    65253     98 |  0.000 % |
22.95/23.09	c |     71750 |     700    14000    70000 | 2147483647    66045     98 |  0.000 % |
23.55/23.61	c |     72621 |     700    14000    70000 | 2147483647    66916     98 |  0.000 % |
23.55/23.68	c |     72721 |     700    14000    70000 | 2147483647    67016     98 |  0.000 % |
23.65/23.75	c |     72831 |     700    14000    70000 | 2147483647    67126     98 |  0.000 % |
23.75/23.85	c |     72956 |     700    14000    70000 | 2147483647    67251     98 |  0.000 % |
23.85/23.95	c |     73090 |     700    14000    70000 | 2147483647    67385     98 |  0.000 % |
23.95/24.06	c |     73239 |     700    14000    70000 | 2147483647    67534     98 |  0.000 % |
24.05/24.16	c |     73399 |     700    14000    70000 | 2147483647    67694     98 |  0.000 % |
24.15/24.28	c |     73575 |     700    14000    70000 | 2147483647    67870     98 |  0.000 % |
24.35/24.42	c |     73768 |     700    14000    70000 | 2147483647    68063     98 |  0.000 % |
24.45/24.56	c |     73980 |     700    14000    70000 | 2147483647    68275     98 |  0.000 % |
24.65/24.71	c |     74215 |     700    14000    70000 | 2147483647    68510     98 |  0.000 % |
24.75/24.88	c |     74472 |     700    14000    70000 | 2147483647    68767     98 |  0.000 % |
24.95/25.07	c |     74753 |     700    14000    70000 | 2147483647    69048     98 |  0.000 % |
25.15/25.26	c |     75062 |     700    14000    70000 | 2147483647    69357     98 |  0.000 % |
25.45/25.52	c |     75401 |     700    14000    70000 | 2147483647    69696     98 |  0.000 % |
25.65/25.76	c |     75777 |     700    14000    70000 | 2147483647    70072     98 |  0.000 % |
25.95/26.04	c |     76186 |     700    14000    70000 | 2147483647    70481     98 |  0.000 % |
26.25/26.32	c |     76637 |     700    14000    70000 | 2147483647    70932     98 |  0.000 % |
26.54/26.63	c |     77130 |     700    14000    70000 | 2147483647    71425     98 |  0.000 % |
26.84/26.97	c |     77672 |     700    14000    70000 | 2147483647    71967     98 |  0.000 % |
27.25/27.35	c |     78268 |     700    14000    70000 | 2147483647    72563     98 |  0.000 % |
27.65/27.76	c |     78925 |     700    14000    70000 | 2147483647    73220     98 |  0.000 % |
28.15/28.22	c |     79645 |     700    14000    70000 | 2147483647    73940     98 |  0.000 % |
28.65/28.76	c |     80439 |     700    14000    70000 |    74297    64612     99 |  0.000 % |
29.15/29.23	c |     81310 |     700    14000    70000 |    74297    65483     99 |  0.000 % |
29.65/29.76	c |     82269 |     700    14000    70000 |    74297    66442     99 |  0.000 % |
29.75/29.83	c |     82369 |     700    14000    70000 |    74297    66542     99 |  0.000 % |
29.85/29.91	c |     82479 |     700    14000    70000 |    74297    66652     99 |  0.000 % |
29.85/29.99	c |     82600 |     700    14000    70000 |    74297    66773     99 |  0.000 % |
29.95/30.07	c |     82734 |     700    14000    70000 |    74297    66907     99 |  0.000 % |
30.05/30.16	c |     82883 |     700    14000    70000 |    74297    67056     99 |  0.000 % |
30.15/30.27	c |     83043 |     700    14000    70000 |    74297    67216     99 |  0.000 % |
30.35/30.41	c |     83220 |     700    14000    70000 |    74297    67393     99 |  0.000 % |
30.45/30.54	c |     83414 |     700    14000    70000 |    74297    67587     99 |  0.000 % |
30.55/30.68	c |     83626 |     700    14000    70000 |    74297    67799     99 |  0.000 % |
30.75/30.83	c |     83860 |     700    14000    70000 |    74297    68033     99 |  0.000 % |
30.95/31.00	c |     84117 |     700    14000    70000 |    74297    68290     99 |  0.000 % |
31.05/31.19	c |     84398 |     700    14000    70000 |    74297    68571     99 |  0.000 % |
31.25/31.38	c |     84709 |     700    14000    70000 |    74297    68882     99 |  0.000 % |
31.45/31.58	c |     85051 |     700    14000    70000 |    74297    69224     99 |  0.000 % |
31.75/31.86	c |     85423 |     700    14000    70000 |    74297    69596     99 |  0.000 % |
32.05/32.14	c |     85832 |     700    14000    70000 |    74297    70005     99 |  0.000 % |
32.35/32.43	c |     86283 |     700    14000    70000 |    74297    70456     99 |  0.000 % |
32.65/32.74	c |     86778 |     700    14000    70000 |    74297    70951     99 |  0.000 % |
32.95/33.08	c |     87323 |     700    14000    70000 |    74297    71496     99 |  0.000 % |
33.34/33.48	c |     87919 |     700    14000    70000 |    74297    72092     99 |  0.000 % |
33.74/33.89	c |     88574 |     700    14000    70000 |    74297    72747     99 |  0.000 % |
34.34/34.41	c |     89294 |     700    14000    70000 |    74297    73467     99 |  0.000 % |
34.84/34.96	c |     90086 |     700    14000    70000 |    74174    74259     99 |  0.000 % |
35.44/35.54	c |     90957 |     700    14000    70000 |    74174    64017     99 |  0.000 % |
35.94/36.09	c |     91915 |     700    14000    70000 |    74174    64975     99 |  0.000 % |
36.54/36.68	c |     92970 |     700    14000    70000 |    74174    66030     99 |  0.000 % |
36.64/36.75	c |     93070 |     700    14000    70000 |    74174    66130     99 |  0.000 % |
36.74/36.83	c |     93180 |     700    14000    70000 |    74174    66240     99 |  0.000 % |
36.84/36.91	c |     93302 |     700    14000    70000 |    74174    66362     99 |  0.000 % |
36.84/36.99	c |     93436 |     700    14000    70000 |    74174    66496     99 |  0.000 % |
36.94/37.10	c |     93582 |     700    14000    70000 |    74174    66642     99 |  0.000 % |
37.14/37.22	c |     93743 |     700    14000    70000 |    74174    66803     99 |  0.000 % |
37.25/37.34	c |     93920 |     700    14000    70000 |    74174    66980     99 |  0.000 % |
37.35/37.47	c |     94114 |     700    14000    70000 |    74174    67174     99 |  0.000 % |
37.54/37.60	c |     94327 |     700    14000    70000 |    74174    67387     99 |  0.000 % |
37.64/37.75	c |     94563 |     700    14000    70000 |    74174    67623     99 |  0.000 % |
37.84/37.94	c |     94819 |     700    14000    70000 |    74174    67879     99 |  0.000 % |
38.04/38.14	c |     95101 |     700    14000    70000 |    74174    68161     99 |  0.000 % |
38.24/38.32	c |     95410 |     700    14000    70000 |    74174    68470     99 |  0.000 % |
38.45/38.54	c |     95749 |     700    14000    70000 |    74174    68809     99 |  0.000 % |
38.64/38.78	c |     96122 |     700    14000    70000 |    74174    69182     99 |  0.000 % |
38.94/39.04	c |     96532 |     700    14000    70000 |    74174    69592     99 |  0.000 % |
39.24/39.38	c |     96984 |     700    14000    70000 |    74174    70044     99 |  0.000 % |
39.64/39.73	c |     97477 |     700    14000    70000 |    74174    70537     99 |  0.000 % |
39.94/40.07	c |     98020 |     700    14000    70000 |    74174    71080     99 |  0.000 % |
40.34/40.48	c |     98617 |     700    14000    70000 |    74174    71677     99 |  0.000 % |
40.84/40.92	c |     99272 |     700    14000    70000 |    74174    72332     99 |  0.000 % |
41.24/41.39	c |     99994 |     700    14000    70000 |    74174    73054     99 |  0.000 % |
41.74/41.88	c |    100786 |     700    14000    70000 |    73063    62708     99 |  0.000 % |
42.24/42.32	c |    101659 |     700    14000    70000 |    73063    63581     99 |  0.000 % |
42.74/42.82	c |    102620 |     700    14000    70000 |    73063    64542     99 |  0.000 % |
43.34/43.41	c |    103674 |     700    14000    70000 |    73063    65596     99 |  0.000 % |
43.94/44.04	c |    104832 |     700    14000    70000 |    73063    66754     99 |  0.000 % |
43.94/44.10	c |    104932 |     700    14000    70000 |    73063    66854     99 |  0.000 % |
44.04/44.17	c |    105042 |     700    14000    70000 |    73063    66964     99 |  0.000 % |
44.14/44.28	c |    105167 |     700    14000    70000 |    73063    67089     99 |  0.000 % |
44.24/44.37	c |    105300 |     700    14000    70000 |    73063    67222     99 |  0.000 % |
44.34/44.47	c |    105447 |     700    14000    70000 |    73063    67369     99 |  0.000 % |
44.44/44.58	c |    105607 |     700    14000    70000 |    73063    67529     99 |  0.000 % |
44.54/44.69	c |    105783 |     700    14000    70000 |    73063    67705     99 |  0.000 % |
44.74/44.81	c |    105977 |     700    14000    70000 |    73063    67899     99 |  0.000 % |
44.84/44.94	c |    106191 |     700    14000    70000 |    73063    68113     99 |  0.000 % |
44.94/45.09	c |    106424 |     700    14000    70000 |    73063    68346     99 |  0.000 % |
45.14/45.26	c |    106680 |     700    14000    70000 |    73063    68602     99 |  0.000 % |
45.34/45.44	c |    106961 |     700    14000    70000 |    73063    68883     99 |  0.000 % |
45.54/45.65	c |    107272 |     700    14000    70000 |    73063    69194     99 |  0.000 % |
45.74/45.87	c |    107611 |     700    14000    70000 |    73063    69533     99 |  0.000 % |
46.04/46.11	c |    107983 |     700    14000    70000 |    73063    69905     99 |  0.000 % |
46.23/46.35	c |    108392 |     700    14000    70000 |    73063    70314     99 |  0.000 % |
46.53/46.62	c |    108842 |     700    14000    70000 |    73063    70764     99 |  0.000 % |
46.83/46.93	c |    109335 |     700    14000    70000 |    73063    71257     99 |  0.000 % |
47.14/47.27	c |    109878 |     700    14000    70000 |    73063    71800     99 |  0.000 % |
47.53/47.68	c |    110474 |     700    14000    70000 |    71922    62309     99 |  0.000 % |
47.93/48.05	c |    111129 |     700    14000    70000 |    71922    62964     99 |  0.000 % |
48.34/48.45	c |    111850 |     700    14000    70000 |    71922    63685     99 |  0.000 % |
48.83/48.90	c |    112642 |     700    14000    70000 |    71922    64477     99 |  0.000 % |
49.24/49.37	c |    113513 |     700    14000    70000 |    71922    65348     99 |  0.000 % |
49.84/49.96	c |    114471 |     700    14000    70000 |    71922    66306     99 |  0.000 % |
50.54/50.62	c |    115526 |     700    14000    70000 |    71922    67361     99 |  0.000 % |
51.23/51.37	c |    116684 |     700    14000    70000 |    71922    68519     99 |  0.000 % |
52.03/52.15	c |    117957 |     700    14000    70000 |    71922    69792     99 |  0.000 % |
52.13/52.22	c |    118058 |     700    14000    70000 |    71922    69893     99 |  0.000 % |
52.23/52.31	c |    118170 |     700    14000    70000 |    71922    70005     99 |  0.000 % |
52.33/52.40	c |    118291 |     700    14000    70000 |    71922    70126     99 |  0.000 % |
52.33/52.49	c |    118425 |     700    14000    70000 |    71922    70260     99 |  0.000 % |
52.43/52.59	c |    118571 |     700    14000    70000 |    71922    70406     99 |  0.000 % |
52.64/52.72	c |    118733 |     700    14000    70000 |    71922    70568     99 |  0.000 % |
52.74/52.85	c |    118911 |     700    14000    70000 |    71922    70746     99 |  0.000 % |
52.83/52.98	c |    119107 |     700    14000    70000 |    71922    70942     99 |  0.000 % |
53.03/53.12	c |    119319 |     700    14000    70000 |    71922    71154     99 |  0.000 % |
53.13/53.27	c |    119552 |     700    14000    70000 |    71922    71387     99 |  0.000 % |
53.33/53.46	c |    119809 |     700    14000    70000 |    71922    71644     99 |  0.000 % |
53.54/53.65	c |    120090 |     700    14000    70000 |    71836    71925     99 |  0.000 % |
53.85/53.91	c |    120401 |     700    14000    70000 |    71836    62003    100 |  0.000 % |
54.04/54.11	c |    120740 |     700    14000    70000 |    71836    62342    100 |  0.000 % |
54.24/54.34	c |    121113 |     700    14000    70000 |    71836    62715    100 |  0.000 % |
54.44/54.59	c |    121522 |     700    14000    70000 |    71836    63124    100 |  0.000 % |
54.74/54.87	c |    121973 |     700    14000    70000 |    71836    63575    100 |  0.000 % |
55.04/55.17	c |    122466 |     700    14000    70000 |    71836    64068    100 |  0.000 % |
55.44/55.50	c |    123009 |     700    14000    70000 |    71836    64611    100 |  0.000 % |
55.74/55.89	c |    123606 |     700    14000    70000 |    71836    65208    100 |  0.000 % |
56.24/56.31	c |    124261 |     700    14000    70000 |    71836    65863    100 |  0.000 % |
56.64/56.71	c |    124981 |     700    14000    70000 |    71836    66583    100 |  0.000 % |
57.04/57.16	c |    125773 |     700    14000    70000 |    71836    67375    100 |  0.000 % |
57.54/57.64	c |    126645 |     700    14000    70000 |    71836    68247    100 |  0.000 % |
58.15/58.22	c |    127604 |     700    14000    70000 |    71836    69206    100 |  0.000 % |
58.74/58.84	c |    128657 |     700    14000    70000 |    71836    70259    100 |  0.000 % |
59.34/59.48	c |    129815 |     700    14000    70000 |    71836    71417    100 |  0.000 % |
60.14/60.27	c |    131090 |     700    14000    70000 |    71604    62946    100 |  0.000 % |
60.94/61.04	c |    132492 |     700    14000    70000 |    71604    64348    100 |  0.000 % |
60.94/61.09	c |    132593 |     700    14000    70000 |    71604    64449    100 |  0.000 % |
61.04/61.17	c |    132704 |     700    14000    70000 |    71604    64560    100 |  0.000 % |
61.14/61.24	c |    132825 |     700    14000    70000 |    71604    64681    100 |  0.000 % |
61.24/61.32	c |    132958 |     700    14000    70000 |    71604    64814    100 |  0.000 % |
61.34/61.40	c |    133104 |     700    14000    70000 |    71604    64960    100 |  0.000 % |
61.44/61.50	c |    133267 |     700    14000    70000 |    71604    65123    100 |  0.000 % |
61.54/61.62	c |    133444 |     700    14000    70000 |    71604    65300    100 |  0.000 % |
61.64/61.74	c |    133638 |     700    14000    70000 |    71604    65494    100 |  0.000 % |
61.74/61.87	c |    133851 |     700    14000    70000 |    71604    65707    100 |  0.000 % |
61.94/62.00	c |    134084 |     700    14000    70000 |    71604    65940    100 |  0.000 % |
62.04/62.18	c |    134340 |     700    14000    70000 |    71604    66196    100 |  0.000 % |
62.24/62.34	c |    134625 |     700    14000    70000 |    71604    66481    100 |  0.000 % |
62.44/62.53	c |    134934 |     700    14000    70000 |    71604    66790    100 |  0.000 % |
62.64/62.72	c |    135275 |     700    14000    70000 |    71604    67131    100 |  0.000 % |
62.84/62.93	c |    135648 |     700    14000    70000 |    71604    67504    100 |  0.000 % |
63.04/63.18	c |    136057 |     700    14000    70000 |    71604    67913    100 |  0.000 % |
63.34/63.47	c |    136507 |     700    14000    70000 |    71604    68363    100 |  0.000 % |
63.64/63.78	c |    137001 |     700    14000    70000 |    71604    68857    100 |  0.000 % |
64.04/64.17	c |    137543 |     700    14000    70000 |    71604    69399    100 |  0.000 % |
64.44/64.57	c |    138139 |     700    14000    70000 |    71604    69995    100 |  0.000 % |
64.94/65.00	c |    138794 |     700    14000    70000 |    71604    70650    100 |  0.000 % |
65.34/65.49	c |    139515 |     700    14000    70000 |    71604    71371    100 |  0.000 % |
65.94/66.09	c |    140307 |     700    14000    70000 |    61653    53348    100 |  0.000 % |
66.44/66.54	c |    141178 |     700    14000    70000 |    61653    54219    100 |  0.000 % |
66.94/67.00	c |    142136 |     700    14000    70000 |    61653    55177    100 |  0.000 % |
67.44/67.53	c |    143189 |     700    14000    70000 |    61653    56230    100 |  0.000 % |
68.04/68.13	c |    144347 |     700    14000    70000 |    61653    57388    100 |  0.000 % |
68.64/68.78	c |    145621 |     700    14000    70000 |    61653    58662    100 |  0.000 % |
69.44/69.51	c |    147021 |     700    14000    70000 |    61653    60062    100 |  0.000 % |
70.24/70.37	c |    148562 |     700    14000    70000 |    61653    61603    100 |  0.000 % |
70.34/70.44	c |    148664 |     700    14000    70000 |    61653    61705    100 |  0.000 % |
70.44/70.55	c |    148775 |     700    14000    70000 |    61653    55646    100 |  0.000 % |
70.54/70.62	c |    148898 |     700    14000    70000 |    61653    55769    100 |  0.000 % |
70.64/70.70	c |    149031 |     700    14000    70000 |    61653    55902    100 |  0.000 % |
70.74/70.80	c |    149179 |     700    14000    70000 |    61653    56050    100 |  0.000 % |
70.84/70.90	c |    149339 |     700    14000    70000 |    61653    56210    100 |  0.000 % |
70.94/71.00	c |    149515 |     700    14000    70000 |    61653    56386    100 |  0.000 % |
71.04/71.12	c |    149708 |     700    14000    70000 |    61653    56579    100 |  0.000 % |
71.14/71.23	c |    149920 |     700    14000    70000 |    61653    56791    100 |  0.000 % |
71.24/71.36	c |    150153 |     700    14000    70000 | 2147483647    57024    100 |  0.000 % |
71.34/71.49	c |    150412 |     700    14000    70000 | 2147483647    57283    100 |  0.000 % |
71.54/71.64	c |    150693 |     700    14000    70000 | 2147483647    57564    100 |  0.000 % |
71.74/71.81	c |    151002 |     700    14000    70000 | 2147483647    57873    100 |  0.000 % |
71.94/72.02	c |    151342 |     700    14000    70000 | 2147483647    58213    100 |  0.000 % |
72.14/72.25	c |    151714 |     700    14000    70000 | 2147483647    58585    100 |  0.000 % |
72.34/72.47	c |    152123 |     700    14000    70000 | 2147483647    58994    100 |  0.000 % |
72.63/72.70	c |    152572 |     700    14000    70000 | 2147483647    59443    100 |  0.000 % |
72.93/73.00	c |    153066 |     700    14000    70000 | 2147483647    59937    100 |  0.000 % |
73.23/73.34	c |    153610 |     700    14000    70000 | 2147483647    60481    100 |  0.000 % |
73.54/73.65	c |    154207 |     700    14000    70000 | 2147483647    61078    100 |  0.000 % |
73.93/74.02	c |    154862 |     700    14000    70000 | 2147483647    61733    100 |  0.000 % |
74.33/74.40	c |    155582 |     700    14000    70000 | 2147483647    62453    100 |  0.000 % |
74.74/74.86	c |    156374 |     700    14000    70000 | 2147483647    63245    100 |  0.000 % |
75.24/75.35	c |    157245 |     700    14000    70000 | 2147483647    64116    100 |  0.000 % |
75.74/75.90	c |    158203 |     700    14000    70000 | 2147483647    65074    100 |  0.000 % |
76.43/76.52	c |    159258 |     700    14000    70000 | 2147483647    66129    100 |  0.000 % |
77.13/77.21	c |    160416 |     700    14000    70000 |    66871    60077    101 |  0.000 % |
77.73/77.89	c |    161689 |     700    14000    70000 |    66871    61350    101 |  0.000 % |
78.53/78.62	c |    163090 |     700    14000    70000 |    66871    62751    101 |  0.000 % |
79.33/79.47	c |    164631 |     700    14000    70000 |    66871    64292    101 |  0.000 % |
80.33/80.48	c |    166325 |     700    14000    70000 |    66871    65986    101 |  0.000 % |
80.43/80.54	c |    166427 |     700    14000    70000 |    66871    66088    101 |  0.000 % |
80.53/80.62	c |    166537 |     700    14000    70000 |    66871    66198    101 |  0.000 % |
80.63/80.71	c |    166660 |     700    14000    70000 |    66871    66321    101 |  0.000 % |
80.73/80.81	c |    166794 |     700    14000    70000 |    66871    66455    101 |  0.000 % |
80.83/80.90	c |    166942 |     700    14000    70000 |    66871    66603    101 |  0.000 % |
80.93/81.01	c |    167103 |     700    14000    70000 |    66871    66764    101 |  0.000 % |
81.03/81.12	c |    167282 |     700    14000    70000 |    66871    66943    101 |  0.000 % |
81.13/81.27	c |    167475 |     700    14000    70000 |    66871    60037    101 |  0.000 % |
81.33/81.40	c |    167688 |     700    14000    70000 |    66871    60250    101 |  0.000 % |
81.43/81.52	c |    167921 |     700    14000    70000 |    66871    60483    101 |  0.000 % |
81.53/81.66	c |    168178 |     700    14000    70000 |    66871    60740    101 |  0.000 % |
81.73/81.81	c |    168459 |     700    14000    70000 |    66871    61021    101 |  0.000 % |
81.83/81.98	c |    168769 |     700    14000    70000 |    66871    61331    101 |  0.000 % |
82.03/82.17	c |    169108 |     700    14000    70000 |    66871    61670    101 |  0.000 % |
82.23/82.37	c |    169480 |     700    14000    70000 |    66871    62042    101 |  0.000 % |
82.53/82.62	c |    169890 |     700    14000    70000 |    66871    62452    101 |  0.000 % |
82.83/82.91	c |    170341 |     700    14000    70000 |    62562    56294    100 |  0.000 % |
83.03/83.17	c |    170835 |     700    14000    70000 |    62562    56788    101 |  0.000 % |
83.33/83.45	c |    171378 |     700    14000    70000 |    62562    57331    100 |  0.000 % |
83.63/83.77	c |    171974 |     700    14000    70000 |    62562    57927    100 |  0.000 % |
84.03/84.14	c |    172630 |     700    14000    70000 |    62562    58583    101 |  0.000 % |
84.43/84.53	c |    173351 |     700    14000    70000 |    62562    59304    101 |  0.000 % |
84.83/84.97	c |    174145 |     700    14000    70000 |    62562    60098    101 |  0.000 % |
85.33/85.43	c |    175017 |     700    14000    70000 |    62562    60970    101 |  0.000 % |
85.93/86.04	c |    175978 |     700    14000    70000 |    62562    61931    101 |  0.000 % |
86.63/86.73	c |    177032 |     700    14000    70000 |    62562    56641    101 |  0.000 % |
87.23/87.32	c |    178191 |     700    14000    70000 |    62562    57800    101 |  0.000 % |
87.83/88.00	c |    179465 |     700    14000    70000 |    62562    59074    101 |  0.000 % |
88.63/88.74	c |    180865 |     700    14000    70000 | 2147483647    60474    101 |  0.000 % |
89.43/89.52	c |    182407 |     700    14000    70000 | 2147483647    62016    101 |  0.000 % |
90.23/90.35	c |    184102 |     700    14000    70000 | 2147483647    63711    101 |  0.000 % |
91.33/91.47	c |    185965 |     700    14000    70000 | 2147483647    65574    101 |  0.000 % |
91.43/91.53	c |    186065 |     700    14000    70000 | 2147483647    65674    101 |  0.000 % |
91.53/91.62	c |    186177 |     700    14000    70000 | 2147483647    65786    101 |  0.000 % |
91.63/91.71	c |    186298 |     700    14000    70000 | 2147483647    65907    101 |  0.000 % |
91.73/91.80	c |    186432 |     700    14000    70000 | 2147483647    66041    101 |  0.000 % |
91.83/91.91	c |    186578 |     700    14000    70000 | 2147483647    66187    101 |  0.000 % |
91.93/92.04	c |    186738 |     700    14000    70000 | 2147483647    66347    101 |  0.000 % |
92.03/92.18	c |    186919 |     700    14000    70000 | 2147483647    66528    101 |  0.000 % |
92.23/92.32	c |    187113 |     700    14000    70000 | 2147483647    66722    101 |  0.000 % |
92.33/92.45	c |    187325 |     700    14000    70000 | 2147483647    66934    101 |  0.000 % |
92.53/92.61	c |    187559 |     700    14000    70000 | 2147483647    67168    101 |  0.000 % |
92.63/92.78	c |    187815 |     700    14000    70000 | 2147483647    67424    101 |  0.000 % |
92.83/92.97	c |    188096 |     700    14000    70000 | 2147483647    67705    101 |  0.000 % |
93.03/93.17	c |    188405 |     700    14000    70000 | 2147483647    68014    101 |  0.000 % |
93.33/93.41	c |    188748 |     700    14000    70000 | 2147483647    68357    101 |  0.000 % |
93.53/93.64	c |    189121 |     700    14000    70000 | 2147483647    68730    101 |  0.000 % |
93.73/93.88	c |    189530 |     700    14000    70000 | 2147483647    69139    101 |  0.000 % |
94.03/94.19	c |    189980 |     700    14000    70000 | 2147483647    69589    101 |  0.000 % |
94.43/94.56	c |    190475 |     700    14000    70000 |    69611    61776    101 |  0.000 % |
94.72/94.88	c |    191019 |     700    14000    70000 |    69611    62320    101 |  0.000 % |
95.12/95.26	c |    191616 |     700    14000    70000 |    69611    62917    101 |  0.000 % |
95.53/95.67	c |    192273 |     700    14000    70000 |    69611    63574    101 |  0.000 % |
95.92/96.08	c |    192994 |     700    14000    70000 |    69611    64295    101 |  0.000 % |
96.42/96.56	c |    193787 |     700    14000    70000 |    69611    65088    101 |  0.000 % |
97.02/97.11	c |    194658 |     700    14000    70000 |    69611    65959    101 |  0.000 % |
97.52/97.67	c |    195616 |     700    14000    70000 |    69611    66917    101 |  0.000 % |
98.22/98.30	c |    196670 |     700    14000    70000 |    69611    67971    101 |  0.000 % |
98.93/99.03	c |    197828 |     700    14000    70000 |    69611    69129    101 |  0.000 % |
99.62/99.78	c |    199101 |     700    14000    70000 |    69611    61635    101 |  0.000 % |
100.42/100.55	c |    200503 |     700    14000    70000 |    62535    55439    101 |  0.000 % |
101.22/101.36	c |    202043 |     700    14000    70000 |    62535    56979    101 |  0.000 % |
102.13/102.22	c |    203737 |     700    14000    70000 |    62535    58673    101 |  0.000 % |
103.02/103.17	c |    205603 |     700    14000    70000 |    62535    60539    101 |  0.000 % |
104.12/104.26	c |    207653 |     700    14000    70000 |    62535    62589    101 |  0.000 % |
104.22/104.35	c |    207753 |     700    14000    70000 |    62535    56431    101 |  0.000 % |
104.33/104.42	c |    207863 |     700    14000    70000 |    62535    56541    101 |  0.000 % |
104.33/104.47	c |    207984 |     700    14000    70000 |    62535    56662    101 |  0.000 % |
104.43/104.53	c |    208117 |     700    14000    70000 |    62535    56795    101 |  0.000 % |
104.52/104.61	c |    208266 |     700    14000    70000 |    62535    56944    101 |  0.000 % |
104.52/104.70	c |    208426 |     700    14000    70000 |    62535    57104    101 |  0.000 % |
104.62/104.78	c |    208602 |     700    14000    70000 |    62535    57280    101 |  0.000 % |
104.72/104.88	c |    208795 |     700    14000    70000 |    62535    57473    101 |  0.000 % |
104.82/104.98	c |    209007 |     700    14000    70000 |    62535    57685    101 |  0.000 % |
105.02/105.14	c |    209240 |     700    14000    70000 |    62535    57918    101 |  0.000 % |
105.22/105.30	c |    209497 |     700    14000    70000 |    62535    58175    101 |  0.000 % |
105.32/105.46	c |    209778 |     700    14000    70000 |    62535    58456    101 |  0.000 % |
105.52/105.62	c |    210087 |     700    14000    70000 | 2147483647    58765    101 |  0.000 % |
105.72/105.83	c |    210427 |     700    14000    70000 | 2147483647    59105    101 |  0.000 % |
105.92/106.05	c |    210799 |     700    14000    70000 | 2147483647    59477    101 |  0.000 % |
106.12/106.28	c |    211209 |     700    14000    70000 | 2147483647    59887    101 |  0.000 % |
106.42/106.54	c |    211658 |     700    14000    70000 | 2147483647    60336    101 |  0.000 % |
106.72/106.80	c |    212154 |     700    14000    70000 | 2147483647    60832    101 |  0.000 % |
107.02/107.12	c |    212697 |     700    14000    70000 | 2147483647    61375    101 |  0.000 % |
107.32/107.44	c |    213293 |     700    14000    70000 | 2147483647    61971    101 |  0.000 % |
107.62/107.79	c |    213948 |     700    14000    70000 | 2147483647    62626    101 |  0.000 % |
108.02/108.17	c |    214670 |     700    14000    70000 | 2147483647    63348    101 |  0.000 % |
108.52/108.62	c |    215462 |     700    14000    70000 | 2147483647    64140    101 |  0.000 % |
108.92/109.09	c |    216334 |     700    14000    70000 | 2147483647    65012    101 |  0.000 % |
109.52/109.64	c |    217292 |     700    14000    70000 | 2147483647    65970    101 |  0.000 % |
110.12/110.20	c |    218345 |     700    14000    70000 | 2147483647    67023    101 |  0.000 % |
110.72/110.84	c |    219503 |     700    14000    70000 | 2147483647    68181    101 |  0.000 % |
111.52/111.65	c |    220777 |     700    14000    70000 |    68678    61844    101 |  0.000 % |
112.32/112.41	c |    222177 |     700    14000    70000 |    68678    63244    101 |  0.000 % |
113.12/113.25	c |    223718 |     700    14000    70000 |    68678    64785    101 |  0.000 % |
114.02/114.19	c |    225418 |     700    14000    70000 |    68678    66485    101 |  0.000 % |
115.12/115.22	c |    227284 |     700    14000    70000 |    68678    68351    101 |  0.000 % |
116.22/116.39	c |    229333 |     700    14000    70000 |    68678    62539    101 |  0.000 % |
117.52/117.61	c |    231589 |     700    14000    70000 |    63206    57764    101 |  0.000 % |
117.52/117.68	c |    231689 |     700    14000    70000 |    63206    57864    101 |  0.000 % |
117.62/117.75	c |    231799 |     700    14000    70000 |    63206    57974    101 |  0.000 % |
117.72/117.82	c |    231920 |     700    14000    70000 |    63206    58095    101 |  0.000 % |
117.82/117.90	c |    232055 |     700    14000    70000 |    63206    58230    101 |  0.000 % |
117.92/118.00	c |    232204 |     700    14000    70000 |    63206    58379    101 |  0.000 % |
117.92/118.09	c |    232364 |     700    14000    70000 |    63206    58539    101 |  0.000 % |
118.12/118.20	c |    232540 |     700    14000    70000 |    63206    58715    101 |  0.000 % |
118.22/118.31	c |    232733 |     700    14000    70000 |    63206    58908    101 |  0.000 % |
118.32/118.43	c |    232946 |     700    14000    70000 |    63206    59121    101 |  0.000 % |
118.42/118.56	c |    233181 |     700    14000    70000 |    63206    59356    101 |  0.000 % |
118.52/118.69	c |    233438 |     700    14000    70000 |    63206    59613    101 |  0.000 % |
118.72/118.86	c |    233720 |     700    14000    70000 |    63206    59895    101 |  0.000 % |
118.91/119.04	c |    234029 |     700    14000    70000 |    63206    60204    101 |  0.000 % |
119.11/119.25	c |    234368 |     700    14000    70000 |    63206    60543    101 |  0.000 % |
119.31/119.46	c |    234740 |     700    14000    70000 |    63206    60915    101 |  0.000 % |
119.61/119.70	c |    235149 |     700    14000    70000 |    63206    61324    101 |  0.000 % |
119.82/119.94	c |    235599 |     700    14000    70000 |    63206    61774    101 |  0.000 % |
120.11/120.25	c |    236092 |     700    14000    70000 |    63206    62267    101 |  0.000 % |
120.41/120.56	c |    236634 |     700    14000    70000 |    63206    62809    101 |  0.000 % |
120.71/120.90	c |    237230 |     700    14000    70000 |    63206    63405    101 |  0.000 % |
121.11/121.28	c |    237885 |     700    14000    70000 |    63206    57342    101 |  0.000 % |
121.51/121.64	c |    238608 |     700    14000    70000 |    63206    58065    101 |  0.000 % |
121.91/122.06	c |    239402 |     700    14000    70000 |    63206    58859    101 |  0.000 % |
122.41/122.54	c |    240273 |     700    14000    70000 |    59458    53694    100 |  0.000 % |
122.81/122.99	c |    241231 |     700    14000    70000 |    59458    54652    100 |  0.000 % |
123.42/123.53	c |    242285 |     700    14000    70000 |    59458    55706    101 |  0.000 % |
123.92/124.08	c |    243447 |     700    14000    70000 |    59458    56868    101 |  0.000 % |
124.62/124.70	c |    244720 |     700    14000    70000 |    59458    58141    101 |  0.000 % |
125.32/125.41	c |    246122 |     700    14000    70000 |    59458    59543    101 |  0.000 % |
126.02/126.18	c |    247664 |     700    14000    70000 |    59458    55131    101 |  0.000 % |
126.82/126.97	c |    249359 |     700    14000    70000 |    59458    56826    101 |  0.000 % |
127.82/127.91	c |    251222 |     700    14000    70000 | 2147483647    58689    101 |  0.000 % |
128.82/128.92	c |    253272 |     700    14000    70000 | 2147483647    60739    101 |  0.000 % |
130.02/130.14	c |    255525 |     700    14000    70000 | 2147483647    62992    102 |  0.000 % |
131.41/131.50	c |    258003 |     700    14000    70000 | 2147483647    65470    102 |  0.000 % |
131.41/131.56	c |    258104 |     700    14000    70000 | 2147483647    65571    102 |  0.000 % |
131.51/131.63	c |    258215 |     700    14000    70000 | 2147483647    65682    102 |  0.000 % |
131.61/131.72	c |    258337 |     700    14000    70000 | 2147483647    65804    102 |  0.000 % |
131.71/131.81	c |    258470 |     700    14000    70000 | 2147483647    65937    102 |  0.000 % |
131.82/131.92	c |    258616 |     700    14000    70000 | 2147483647    66083    102 |  0.000 % |
131.92/132.02	c |    258776 |     700    14000    70000 | 2147483647    66243    102 |  0.000 % |
132.01/132.13	c |    258952 |     700    14000    70000 | 2147483647    66419    102 |  0.000 % |
132.11/132.27	c |    259146 |     700    14000    70000 | 2147483647    66613    102 |  0.000 % |
132.31/132.41	c |    259360 |     700    14000    70000 | 2147483647    66827    102 |  0.000 % |
132.41/132.56	c |    259595 |     700    14000    70000 | 2147483647    67062    102 |  0.000 % |
132.61/132.73	c |    259851 |     700    14000    70000 | 2147483647    67318    102 |  0.000 % |
132.81/132.91	c |    260133 |     700    14000    70000 | 2147483647    67600    102 |  0.000 % |
133.02/133.11	c |    260442 |     700    14000    70000 | 2147483647    67909    102 |  0.000 % |
133.21/133.31	c |    260781 |     700    14000    70000 | 2147483647    68248    102 |  0.000 % |
133.41/133.54	c |    261154 |     700    14000    70000 | 2147483647    68621    102 |  0.000 % |
133.61/133.79	c |    261565 |     700    14000    70000 | 2147483647    69032    102 |  0.000 % |
133.91/134.08	c |    262016 |     700    14000    70000 | 2147483647    69483    102 |  0.000 % |
134.21/134.39	c |    262510 |     700    14000    70000 | 2147483647    69977    102 |  0.000 % |
134.61/134.74	c |    263052 |     700    14000    70000 | 2147483647    70519    102 |  0.000 % |
135.01/135.12	c |    263650 |     700    14000    70000 | 2147483647    71117    102 |  0.000 % |
135.41/135.50	c |    264307 |     700    14000    70000 | 2147483647    71774    102 |  0.000 % |
135.81/135.94	c |    265027 |     700    14000    70000 | 2147483647    72494    102 |  0.000 % |
136.31/136.46	c |    265819 |     700    14000    70000 | 2147483647    73286    102 |  0.000 % |
136.91/137.06	c |    266690 |     700    14000    70000 | 2147483647    74157    102 |  0.000 % |
137.51/137.68	c |    267648 |     700    14000    70000 | 2147483647    75115    102 |  0.000 % |
138.20/138.38	c |    268701 |     700    14000    70000 | 2147483647    76168    102 |  0.000 % |
139.10/139.20	c |    269859 |     700    14000    70000 | 2147483647    77326    101 |  0.000 % |
139.90/140.02	c |    271134 |     700    14000    70000 |    77468    66902    102 |  0.000 % |
140.71/140.85	c |    272534 |     700    14000    70000 |    77468    68302    102 |  0.000 % |
141.71/141.83	c |    274076 |     700    14000    70000 |    77468    69844    102 |  0.000 % |
142.70/142.84	c |    275771 |     700    14000    70000 |    77468    71539    102 |  0.000 % |
143.80/143.98	c |    277635 |     700    14000    70000 |    77468    73403    102 |  0.000 % |
145.10/145.22	c |    279686 |     700    14000    70000 |    77468    75454    102 |  0.000 % |
146.50/146.62	c |    281939 |     700    14000    70000 |    75768    66287    102 |  0.000 % |
147.90/148.04	c |    284417 |     700    14000    70000 |    75768    68765    102 |  0.000 % |
149.60/149.72	c |    287142 |     700    14000    70000 |    75768    71490    102 |  0.000 % |
149.60/149.78	c |    287242 |     700    14000    70000 |    75768    71590    102 |  0.000 % |
149.70/149.86	c |    287352 |     700    14000    70000 |    75768    71700    102 |  0.000 % |
149.80/149.95	c |    287474 |     700    14000    70000 |    75768    71822    102 |  0.000 % |
149.90/150.04	c |    287608 |     700    14000    70000 |    75768    71956    102 |  0.000 % |
150.00/150.14	c |    287754 |     700    14000    70000 |    75768    72102    102 |  0.000 % |
150.10/150.25	c |    287914 |     700    14000    70000 |    75768    72262    102 |  0.000 % |
150.20/150.38	c |    288090 |     700    14000    70000 |    75768    72438    102 |  0.000 % |
150.40/150.55	c |    288283 |     700    14000    70000 |    75768    72631    102 |  0.000 % |
150.60/150.71	c |    288496 |     700    14000    70000 |    75768    72844    102 |  0.000 % |
150.70/150.87	c |    288729 |     700    14000    70000 |    75768    73077    102 |  0.000 % |
150.90/151.05	c |    288987 |     700    14000    70000 |    75768    73335    102 |  0.000 % |
151.10/151.24	c |    289269 |     700    14000    70000 |    75768    73617    102 |  0.000 % |
151.30/151.47	c |    289579 |     700    14000    70000 |    75768    73927    102 |  0.000 % |
151.60/151.74	c |    289918 |     700    14000    70000 |    75768    74266    102 |  0.000 % |
151.90/152.05	c |    290290 |     700    14000    70000 |    74350    63511    102 |  0.000 % |
152.20/152.30	c |    290699 |     700    14000    70000 |    74350    63920    102 |  0.000 % |
152.40/152.57	c |    291152 |     700    14000    70000 |    74350    64373    102 |  0.000 % |
152.71/152.86	c |    291645 |     700    14000    70000 |    74350    64866    102 |  0.000 % |
153.01/153.19	c |    292187 |     700    14000    70000 |    74350    65408    102 |  0.000 % |
153.41/153.56	c |    292787 |     700    14000    70000 |    74350    66008    102 |  0.000 % |
153.81/153.94	c |    293442 |     700    14000    70000 |    74350    66663    102 |  0.000 % |
154.20/154.35	c |    294162 |     700    14000    70000 |    74350    67383    102 |  0.000 % |
154.70/154.80	c |    294954 |     700    14000    70000 |    74350    68175    102 |  0.000 % |
155.20/155.31	c |    295826 |     700    14000    70000 |    74350    69047    102 |  0.000 % |
155.70/155.89	c |    296784 |     700    14000    70000 |    74350    70005    102 |  0.000 % |
156.40/156.53	c |    297837 |     700    14000    70000 |    74350    71058    102 |  0.000 % |
157.11/157.25	c |    298996 |     700    14000    70000 |    74350    72217    102 |  0.000 % |
158.00/158.10	c |    300269 |     700    14000    70000 |    73225    63372    102 |  0.000 % |
158.80/158.91	c |    301670 |     700    14000    70000 |    73225    64773    102 |  0.000 % |
159.60/159.77	c |    303211 |     700    14000    70000 |    73225    66314    102 |  0.000 % |
160.60/160.75	c |    304905 |     700    14000    70000 |    73225    68008    102 |  0.000 % |
161.70/161.85	c |    306768 |     700    14000    70000 |    73225    69871    102 |  0.000 % |
162.90/163.06	c |    308817 |     700    14000    70000 |    73225    71920    103 |  0.000 % |
164.30/164.44	c |    311071 |     700    14000    70000 |    73103    64185    103 |  0.000 % |
165.70/165.83	c |    313551 |     700    14000    70000 |    73103    66665    103 |  0.000 % |
167.30/167.47	c |    316278 |     700    14000    70000 |    73103    69392    103 |  0.000 % |
169.20/169.36	c |    319275 |     700    14000    70000 |    73103    72389    104 |  0.000 % |
169.30/169.42	c |    319376 |     700    14000    70000 |    73103    72490    104 |  0.000 % |
169.30/169.49	c |    319487 |     700    14000    70000 |    73103    72601    104 |  0.000 % |
169.40/169.58	c |    319608 |     700    14000    70000 |    73103    72722    103 |  0.000 % |
169.50/169.67	c |    319744 |     700    14000    70000 |    73103    72858    103 |  0.000 % |
169.60/169.77	c |    319890 |     700    14000    70000 |    73103    73004    103 |  0.000 % |
169.70/169.87	c |    320050 |     700    14000    70000 |    73114    73164    103 |  0.000 % |
169.90/170.05	c |    320227 |     700    14000    70000 |    73114    62672    103 |  0.000 % |
170.00/170.18	c |    320422 |     700    14000    70000 |    73114    62867    103 |  0.000 % |
170.20/170.32	c |    320635 |     700    14000    70000 |    73114    63080    103 |  0.000 % |
170.30/170.46	c |    320868 |     700    14000    70000 |    73114    63313    103 |  0.000 % |
170.50/170.61	c |    321126 |     700    14000    70000 |    73114    63571    103 |  0.000 % |
170.60/170.77	c |    321407 |     700    14000    70000 |    73114    63852    103 |  0.000 % |
170.80/170.98	c |    321716 |     700    14000    70000 |    73114    64161    103 |  0.000 % |
171.00/171.18	c |    322055 |     700    14000    70000 |    73114    64500    103 |  0.000 % |
171.30/171.44	c |    322429 |     700    14000    70000 |    73114    64874    103 |  0.000 % |
171.50/171.69	c |    322838 |     700    14000    70000 |    73114    65283    103 |  0.000 % |
171.80/171.97	c |    323288 |     700    14000    70000 |    73114    65733    103 |  0.000 % |
172.10/172.27	c |    323781 |     700    14000    70000 |    73114    66226    103 |  0.000 % |
172.50/172.61	c |    324325 |     700    14000    70000 |    73114    66770    103 |  0.000 % |
172.80/172.99	c |    324924 |     700    14000    70000 |    73114    67369    103 |  0.000 % |
173.30/173.43	c |    325579 |     700    14000    70000 |    73114    68024    103 |  0.000 % |
173.80/173.93	c |    326300 |     700    14000    70000 |    73114    68745    103 |  0.000 % |
174.30/174.45	c |    327093 |     700    14000    70000 |    73114    69538    103 |  0.000 % |
174.90/175.02	c |    327964 |     700    14000    70000 |    73114    70409    103 |  0.000 % |
175.50/175.64	c |    328922 |     700    14000    70000 |    73114    71367    103 |  0.000 % |
176.20/176.32	c |    329975 |     700    14000    70000 |    73114    72420    103 |  0.000 % |
176.90/177.03	c |    331133 |     700    14000    70000 |    72445    62778    103 |  0.000 % |
177.60/177.73	c |    332406 |     700    14000    70000 |    72445    64051    104 |  0.000 % |
178.40/178.55	c |    333808 |     700    14000    70000 |    72445    65453    104 |  0.000 % |
179.29/179.43	c |    335348 |     700    14000    70000 |    72445    66993    104 |  0.000 % |
180.30/180.44	c |    337044 |     700    14000    70000 |    72445    68689    103 |  0.000 % |
181.40/181.59	c |    338907 |     700    14000    70000 |    72445    70552    104 |  0.000 % |
182.79/182.94	c |    340956 |     700    14000    70000 |    71645    62775    104 |  0.000 % |
183.99/184.17	c |    343210 |     700    14000    70000 |    71645    65029    104 |  0.000 % |
185.39/185.59	c |    345689 |     700    14000    70000 |    71645    67508    104 |  0.000 % |
187.09/187.20	c |    348415 |     700    14000    70000 |    71645    70234    104 |  0.000 % |
188.89/189.08	c |    351412 |     700    14000    70000 |    71820    63839    104 |  0.000 % |
190.89/191.06	c |    354708 |     700    14000    70000 |    71820    67135    104 |  0.000 % |
190.99/191.12	c |    354808 |     700    14000    70000 |    71820    67235    104 |  0.000 % |
190.99/191.19	c |    354919 |     700    14000    70000 |    71820    67346    104 |  0.000 % |
191.09/191.27	c |    355040 |     700    14000    70000 |    71820    67467    104 |  0.000 % |
191.19/191.37	c |    355173 |     700    14000    70000 |    71820    67600    104 |  0.000 % |
191.29/191.48	c |    355319 |     700    14000    70000 |    71820    67746    104 |  0.000 % |
191.39/191.57	c |    355479 |     700    14000    70000 |    71820    67906    104 |  0.000 % |
191.49/191.69	c |    355657 |     700    14000    70000 |    71820    68084    104 |  0.000 % |
191.69/191.82	c |    355850 |     700    14000    70000 |    71820    68277    104 |  0.000 % |
191.79/191.96	c |    356062 |     700    14000    70000 |    71820    68489    104 |  0.000 % |
191.99/192.13	c |    356295 |     700    14000    70000 |    71820    68722    104 |  0.000 % |
192.19/192.31	c |    356551 |     700    14000    70000 |    71820    68978    104 |  0.000 % |
192.39/192.52	c |    356833 |     700    14000    70000 |    71820    69260    104 |  0.000 % |
192.59/192.70	c |    357142 |     700    14000    70000 |    71820    69569    104 |  0.000 % |
192.79/192.92	c |    357483 |     700    14000    70000 |    71820    69910    104 |  0.000 % |
192.99/193.15	c |    357855 |     700    14000    70000 |    71820    70282    104 |  0.000 % |
193.29/193.41	c |    358268 |     700    14000    70000 |    71820    70695    104 |  0.000 % |
193.49/193.68	c |    358717 |     700    14000    70000 |    71820    71144    104 |  0.000 % |
193.89/194.01	c |    359211 |     700    14000    70000 |    71820    71638    104 |  0.000 % |
194.19/194.39	c |    359754 |     700    14000    70000 |    71820    62474    104 |  0.000 % |
194.59/194.77	c |    360352 |     700    14000    70000 |    62720    54740    104 |  0.000 % |
194.89/195.09	c |    361007 |     700    14000    70000 |    62720    55395    104 |  0.000 % |
195.29/195.47	c |    361727 |     700    14000    70000 |    62720    56115    104 |  0.000 % |
195.69/195.87	c |    362519 |     700    14000    70000 |    62720    56907    104 |  0.000 % |
196.19/196.36	c |    363390 |     700    14000    70000 |    62720    57778    104 |  0.000 % |
196.69/196.85	c |    364349 |     700    14000    70000 |    62720    58737    104 |  0.000 % |
197.29/197.41	c |    365402 |     700    14000    70000 |    62720    59790    104 |  0.000 % |
197.89/198.05	c |    366560 |     700    14000    70000 |    62720    60948    104 |  0.000 % |
198.59/198.78	c |    367834 |     700    14000    70000 |    62720    62222    104 |  0.000 % |
199.39/199.58	c |    369235 |     700    14000    70000 |    62720    56989    103 |  0.000 % |
200.19/200.35	c |    370776 |     700    14000    70000 |    57756    52728    103 |  0.000 % |
200.99/201.11	c |    372472 |     700    14000    70000 |    57756    54424    103 |  0.000 % |
201.89/202.05	c |    374335 |     700    14000    70000 |    57756    56287    103 |  0.000 % |
202.89/203.07	c |    376384 |     700    14000    70000 |    57756    52537    104 |  0.000 % |
203.99/204.20	c |    378637 |     700    14000    70000 |    57756    54790    104 |  0.000 % |
205.28/205.43	c |    381116 |     700    14000    70000 | 2147483647    57269    103 |  0.000 % |
206.78/206.91	c |    383841 |     700    14000    70000 | 2147483647    59994    104 |  0.000 % |
208.38/208.54	c |    386838 |     700    14000    70000 | 2147483647    62991    104 |  0.000 % |
210.38/210.55	c |    390135 |     700    14000    70000 | 2147483647    66288    104 |  0.000 % |
212.68/212.80	c |    393760 |     700    14000    70000 | 2147483647    69913    104 |  0.000 % |
212.68/212.87	c |    393860 |     700    14000    70000 | 2147483647    70013    104 |  0.000 % |
212.78/212.94	c |    393970 |     700    14000    70000 | 2147483647    70123    104 |  0.000 % |
212.88/213.02	c |    394093 |     700    14000    70000 | 2147483647    70246    104 |  0.000 % |
212.98/213.14	c |    394226 |     700    14000    70000 | 2147483647    70379    104 |  0.000 % |
213.08/213.25	c |    394372 |     700    14000    70000 | 2147483647    70525    104 |  0.000 % |
213.19/213.36	c |    394532 |     700    14000    70000 | 2147483647    70685    104 |  0.000 % |
213.29/213.48	c |    394708 |     700    14000    70000 | 2147483647    70861    103 |  0.000 % |
213.48/213.60	c |    394901 |     700    14000    70000 | 2147483647    71054    103 |  0.000 % |
213.58/213.75	c |    395115 |     700    14000    70000 | 2147483647    71268    103 |  0.000 % |
213.78/213.91	c |    395350 |     700    14000    70000 | 2147483647    71503    103 |  0.000 % |
213.98/214.10	c |    395609 |     700    14000    70000 | 2147483647    71762    103 |  0.000 % |
214.08/214.28	c |    395891 |     700    14000    70000 | 2147483647    72044    103 |  0.000 % |
214.38/214.50	c |    396201 |     700    14000    70000 | 2147483647    72354    103 |  0.000 % |
214.58/214.73	c |    396541 |     700    14000    70000 | 2147483647    72694    103 |  0.000 % |
214.78/214.99	c |    396914 |     700    14000    70000 | 2147483647    73067    103 |  0.000 % |
215.08/215.28	c |    397324 |     700    14000    70000 | 2147483647    73477    103 |  0.000 % |
215.38/215.57	c |    397773 |     700    14000    70000 | 2147483647    73926    103 |  0.000 % |
215.78/215.93	c |    398267 |     700    14000    70000 | 2147483647    74420    103 |  0.000 % |
216.08/216.29	c |    398813 |     700    14000    70000 | 2147483647    74966    103 |  0.000 % |
216.48/216.68	c |    399409 |     700    14000    70000 | 2147483647    75562    103 |  0.000 % |
216.98/217.10	c |    400064 |     700    14000    70000 |    76153    76217    103 |  0.000 % |
217.48/217.62	c |    400784 |     700    14000    70000 |    76153    65938    103 |  0.000 % |
217.98/218.10	c |    401576 |     700    14000    70000 |    76153    66730    103 |  0.000 % |
218.48/218.62	c |    402447 |     700    14000    70000 |    76153    67601    103 |  0.000 % |
219.08/219.22	c |    403405 |     700    14000    70000 |    76153    68559    103 |  0.000 % |
219.68/219.83	c |    404458 |     700    14000    70000 |    76153    69612    103 |  0.000 % |
220.28/220.50	c |    405616 |     700    14000    70000 |    76153    70770    103 |  0.000 % |
221.08/221.24	c |    406889 |     700    14000    70000 |    76153    72043    103 |  0.000 % |
221.98/222.12	c |    408290 |     700    14000    70000 |    76153    73444    103 |  0.000 % |
222.88/223.07	c |    409830 |     700    14000    70000 |    76153    74984    103 |  0.000 % |
223.87/224.09	c |    411524 |     700    14000    70000 |    75157    65683    103 |  0.000 % |
225.07/225.21	c |    413387 |     700    14000    70000 |    75157    67546    103 |  0.000 % |
226.17/226.40	c |    415436 |     700    14000    70000 |    75157    69595    103 |  0.000 % |
227.58/227.79	c |    417690 |     700    14000    70000 |    75157    71849    103 |  0.000 % |
229.17/229.35	c |    420169 |     700    14000    70000 |    74162    74328    103 |  0.000 % |
230.67/230.88	c |    422894 |     700    14000    70000 |    74162    66158    103 |  0.000 % |
232.57/232.70	c |    425892 |     700    14000    70000 |    74162    69156    103 |  0.000 % |
234.57/234.73	c |    429189 |     700    14000    70000 |    74162    72453    103 |  0.000 % |
236.77/236.94	c |    432814 |     700    14000    70000 |    73265    65991    104 |  0.000 % |
239.17/239.31	c |    436801 |     700    14000    70000 |    73265    69978    104 |  0.000 % |
239.17/239.37	c |    436901 |     700    14000    70000 |    73265    70078    104 |  0.000 % |
239.27/239.46	c |    437014 |     700    14000    70000 |    73265    70191    104 |  0.000 % |
239.37/239.57	c |    437136 |     700    14000    70000 |    73265    70313    104 |  0.000 % |
239.47/239.66	c |    437270 |     700    14000    70000 |    73265    70447    104 |  0.000 % |
239.57/239.76	c |    437416 |     700    14000    70000 |    73265    70593    104 |  0.000 % |
239.67/239.89	c |    437576 |     700    14000    70000 |    73265    70753    104 |  0.000 % |
239.87/240.04	c |    437752 |     700    14000    70000 |    73265    70929    104 |  0.000 % |
239.97/240.18	c |    437947 |     700    14000    70000 |    73265    71124    104 |  0.000 % |
240.17/240.33	c |    438159 |     700    14000    70000 |    73265    71336    104 |  0.000 % |
240.27/240.49	c |    438393 |     700    14000    70000 |    73265    71570    104 |  0.000 % |
240.47/240.66	c |    438649 |     700    14000    70000 |    73265    71826    104 |  0.000 % |
240.67/240.87	c |    438930 |     700    14000    70000 |    73265    72107    104 |  0.000 % |
240.87/241.09	c |    439240 |     700    14000    70000 |    73265    72417    104 |  0.000 % |
241.17/241.32	c |    439581 |     700    14000    70000 |    73265    72758    104 |  0.000 % |
241.47/241.61	c |    439954 |     700    14000    70000 |    73265    73131    104 |  0.000 % |
241.77/241.90	c |    440363 |     700    14000    70000 |    73177    62923    103 |  0.000 % |
241.97/242.18	c |    440812 |     700    14000    70000 |    73177    63372    103 |  0.000 % |
242.27/242.45	c |    441306 |     700    14000    70000 |    73177    63866    103 |  0.000 % |
242.57/242.75	c |    441848 |     700    14000    70000 |    73177    64408    103 |  0.000 % |
242.87/243.06	c |    442444 |     700    14000    70000 |    73177    65004    103 |  0.000 % |
243.27/243.48	c |    443099 |     700    14000    70000 |    73177    65659    103 |  0.000 % |
243.76/243.92	c |    443819 |     700    14000    70000 |    73177    66379    103 |  0.000 % |
244.26/244.43	c |    444611 |     700    14000    70000 |    73177    67171    103 |  0.000 % |
244.76/244.99	c |    445484 |     700    14000    70000 |    73177    68044    103 |  0.000 % |
245.36/245.56	c |    446442 |     700    14000    70000 |    73177    69002    103 |  0.000 % |
245.96/246.19	c |    447497 |     700    14000    70000 |    73177    70057    103 |  0.000 % |
246.66/246.89	c |    448655 |     700    14000    70000 |    73177    71215    103 |  0.000 % |
247.56/247.72	c |    449934 |     700    14000    70000 |    73177    72494    103 |  0.000 % |
248.47/248.62	c |    451334 |     700    14000    70000 |    72560    63855    103 |  0.000 % |
249.26/249.47	c |    452874 |     700    14000    70000 |    72560    65395    103 |  0.000 % |
250.16/250.39	c |    454569 |     700    14000    70000 |    72560    67090    103 |  0.000 % |
251.36/251.53	c |    456433 |     700    14000    70000 |    72560    68954    103 |  0.000 % |
252.66/252.86	c |    458483 |     700    14000    70000 |    72560    71004    103 |  0.000 % |
254.06/254.24	c |    460737 |     700    14000    70000 |    72523    63393    104 |  0.000 % |
255.46/255.65	c |    463215 |     700    14000    70000 |    72523    65871    104 |  0.000 % |
257.06/257.25	c |    465940 |     700    14000    70000 |    72523    68596    104 |  0.000 % |
258.96/259.13	c |    468939 |     700    14000    70000 |    72523    71595    104 |  0.000 % |
260.86/261.09	c |    472238 |     700    14000    70000 |    72657    65090    104 |  0.000 % |
263.06/263.26	c |    475863 |     700    14000    70000 |    72657    68715    105 |  0.000 % |
265.75/265.90	c |    479851 |     700    14000    70000 |    72657    72703    105 |  0.000 % |
268.15/268.40	c |    484238 |     700    14000    70000 |    62800    58521    106 |  0.000 % |
268.25/268.45	c |    484338 |     700    14000    70000 |    62800    58621    106 |  0.000 % |
268.35/268.52	c |    484450 |     700    14000    70000 |    62800    58733    106 |  0.000 % |
268.35/268.59	c |    484571 |     700    14000    70000 |    62800    58854    106 |  0.000 % |
268.45/268.68	c |    484704 |     700    14000    70000 |    62800    58987    106 |  0.000 % |
268.55/268.76	c |    484850 |     700    14000    70000 |    62800    59133    106 |  0.000 % |
268.65/268.86	c |    485010 |     700    14000    70000 |    62800    59293    106 |  0.000 % |
268.75/268.98	c |    485186 |     700    14000    70000 |    62800    59469    106 |  0.000 % |
268.85/269.07	c |    485381 |     700    14000    70000 |    62800    59664    106 |  0.000 % |
269.05/269.20	c |    485593 |     700    14000    70000 |    62800    59876    105 |  0.000 % |
269.15/269.35	c |    485828 |     700    14000    70000 |    62800    60111    105 |  0.000 % |
269.25/269.48	c |    486084 |     700    14000    70000 |    62800    60367    105 |  0.000 % |
269.44/269.64	c |    486365 |     700    14000    70000 |    62800    60648    105 |  0.000 % |
269.64/269.80	c |    486674 |     700    14000    70000 |    62800    60957    105 |  0.000 % |
269.74/269.97	c |    487014 |     700    14000    70000 |    62800    61297    105 |  0.000 % |
270.04/270.20	c |    487388 |     700    14000    70000 |    62800    61671    105 |  0.000 % |
270.24/270.43	c |    487798 |     700    14000    70000 |    62800    62081    105 |  0.000 % |
270.45/270.69	c |    488248 |     700    14000    70000 |    62800    62531    105 |  0.000 % |
270.74/270.99	c |    488741 |     700    14000    70000 |    62800    63024    105 |  0.000 % |
271.14/271.31	c |    489285 |     700    14000    70000 |    62800    57266    105 |  0.000 % |
271.45/271.63	c |    489881 |     700    14000    70000 |    62800    57862    105 |  0.000 % |
271.74/271.97	c |    490538 |     700    14000    70000 | 2147483647    58519    105 |  0.000 % |
272.14/272.36	c |    491258 |     700    14000    70000 | 2147483647    59239    105 |  0.000 % |
272.55/272.78	c |    492050 |     700    14000    70000 | 2147483647    60031    105 |  0.000 % |
273.04/273.25	c |    492922 |     700    14000    70000 | 2147483647    60903    105 |  0.000 % |
273.65/273.80	c |    493880 |     700    14000    70000 | 2147483647    61861    105 |  0.000 % |
274.15/274.38	c |    494934 |     700    14000    70000 | 2147483647    62915    105 |  0.000 % |
274.86/275.01	c |    496093 |     700    14000    70000 | 2147483647    64074    105 |  0.000 % |
275.55/275.77	c |    497368 |     700    14000    70000 | 2147483647    65349    105 |  0.000 % |
276.35/276.56	c |    498768 |     700    14000    70000 | 2147483647    66749    104 |  0.000 % |
277.25/277.48	c |    500308 |     700    14000    70000 |    67981    61256    105 |  0.000 % |
278.15/278.38	c |    502002 |     700    14000    70000 |    67981    62950    105 |  0.000 % |
279.25/279.46	c |    503866 |     700    14000    70000 |    67981    64814    105 |  0.000 % |
280.45/280.64	c |    505915 |     700    14000    70000 |    67981    66863    105 |  0.000 % |
281.75/281.96	c |    508169 |     700    14000    70000 |    67981    61409    105 |  0.000 % |
283.05/283.26	c |    510648 |     700    14000    70000 |    63242    57202    106 |  0.000 % |
284.44/284.68	c |    513376 |     700    14000    70000 |    63242    59930    106 |  0.000 % |
286.14/286.31	c |    516373 |     700    14000    70000 |    63242    62927    106 |  0.000 % |
287.95/288.20	c |    519669 |     700    14000    70000 |    63242    59876    105 |  0.000 % |
290.04/290.23	c |    523295 |     700    14000    70000 | 2147483647    63502    105 |  0.000 % |
292.45/292.67	c |    527283 |     700    14000    70000 | 2147483647    67490    105 |  0.000 % |
295.04/295.26	c |    531669 |     700    14000    70000 |    70208    63451    105 |  0.000 % |
297.94/298.14	c |    536493 |     700    14000    70000 |    70208    68275    105 |  0.000 % |
298.04/298.21	c |    536593 |     700    14000    70000 |    70208    68375    105 |  0.000 % |
298.04/298.29	c |    536704 |     700    14000    70000 |    70208    68486    105 |  0.000 % |
298.14/298.38	c |    536825 |     700    14000    70000 |    70208    68607    105 |  0.000 % |
298.24/298.47	c |    536961 |     700    14000    70000 |    70208    68743    105 |  0.000 % |
298.34/298.57	c |    537107 |     700    14000    70000 |    70208    68889    105 |  0.000 % |
298.44/298.68	c |    537267 |     700    14000    70000 |    70208    69049    105 |  0.000 % |
298.54/298.79	c |    537443 |     700    14000    70000 |    70208    69225    105 |  0.000 % |
298.74/298.91	c |    537637 |     700    14000    70000 |    70208    69419    105 |  0.000 % |
298.84/299.03	c |    537852 |     700    14000    70000 |    70208    69634    105 |  0.000 % |
298.94/299.19	c |    538087 |     700    14000    70000 |    70208    69869    105 |  0.000 % |
299.14/299.38	c |    538343 |     700    14000    70000 |    70208    70125    105 |  0.000 % |
299.34/299.58	c |    538624 |     700    14000    70000 |    70208    70406    105 |  0.000 % |
299.64/299.82	c |    538933 |     700    14000    70000 |    70208    61990    104 |  0.000 % |
299.84/300.03	c |    539272 |     700    14000    70000 |    70208    62329    104 |  0.000 % |
300.04/300.22	c |    539644 |     700    14000    70000 |    70208    62701    104 |  0.000 % |
300.24/300.46	c |    540053 |     700    14000    70000 |    63057    63110    104 |  0.000 % |
300.54/300.76	c |    540504 |     700    14000    70000 |    63057    55830    103 |  0.000 % |
300.84/301.04	c |    540998 |     700    14000    70000 |    63057    56324    103 |  0.000 % |
301.14/301.34	c |    541540 |     700    14000    70000 |    63057    56866    103 |  0.000 % |
301.44/301.69	c |    542137 |     700    14000    70000 |    63057    57463    103 |  0.000 % |
301.83/302.07	c |    542793 |     700    14000    70000 |    63057    58119    103 |  0.000 % |
302.24/302.46	c |    543515 |     700    14000    70000 |    63057    58841    103 |  0.000 % |
302.73/302.91	c |    544309 |     700    14000    70000 |    63057    59635    103 |  0.000 % |
303.23/303.42	c |    545183 |     700    14000    70000 |    63057    60509    103 |  0.000 % |
303.73/303.96	c |    546141 |     700    14000    70000 |    63057    61467    103 |  0.000 % |
304.33/304.58	c |    547196 |     700    14000    70000 |    63057    62522    103 |  0.000 % |
305.03/305.26	c |    548356 |     700    14000    70000 |    63057    57098    104 |  0.000 % |
305.73/305.94	c |    549629 |     700    14000    70000 |    63057    58371    104 |  0.000 % |
306.43/306.64	c |    551030 |     700    14000    70000 | 2147483647    59772    104 |  0.000 % |
307.33/307.51	c |    552570 |     700    14000    70000 | 2147483647    61312    104 |  0.000 % |
308.23/308.40	c |    554266 |     700    14000    70000 | 2147483647    63008    104 |  0.000 % |
309.23/309.41	c |    556129 |     700    14000    70000 | 2147483647    64871    104 |  0.000 % |
310.33/310.57	c |    558178 |     700    14000    70000 | 2147483647    66920    104 |  0.000 % |
311.63/311.89	c |    560431 |     700    14000    70000 |    68742    61805    104 |  0.000 % |
312.93/313.17	c |    562910 |     700    14000    70000 |    68742    64284    104 |  0.000 % |
314.43/314.66	c |    565635 |     700    14000    70000 |    68742    67009    104 |  0.000 % |
316.23/316.41	c |    568632 |     700    14000    70000 |    68742    62843    104 |  0.000 % |
318.03/318.23	c |    571929 |     700    14000    70000 |    64212    59425    104 |  0.000 % |
320.22/320.40	c |    575555 |     700    14000    70000 |    64212    63051    104 |  0.000 % |
322.32/322.53	c |    579542 |     700    14000    70000 |    64212    60568    105 |  0.000 % |
324.52/324.75	c |    583927 |     700    14000    70000 |    61026    58704    105 |  0.000 % |
327.02/327.20	c |    588750 |     700    14000    70000 |    61026    57399    105 |  0.000 % |
329.72/330.00	c |    594055 |     700    14000    70000 | 2147483647    62704    105 |  0.000 % |
329.82/330.07	c |    594155 |     700    14000    70000 | 2147483647    62804    105 |  0.000 % |
329.92/330.15	c |    594265 |     700    14000    70000 | 2147483647    62914    105 |  0.000 % |
330.02/330.22	c |    594387 |     700    14000    70000 | 2147483647    63036    105 |  0.000 % |
330.12/330.30	c |    594522 |     700    14000    70000 | 2147483647    63171    105 |  0.000 % |
330.22/330.42	c |    594669 |     700    14000    70000 | 2147483647    63318    105 |  0.000 % |
330.32/330.51	c |    594829 |     700    14000    70000 | 2147483647    63478    105 |  0.000 % |
330.42/330.63	c |    595006 |     700    14000    70000 | 2147483647    63655    105 |  0.000 % |
330.52/330.78	c |    595200 |     700    14000    70000 | 2147483647    63849    105 |  0.000 % |
330.72/330.91	c |    595415 |     700    14000    70000 | 2147483647    64064    105 |  0.000 % |
330.82/331.05	c |    595648 |     700    14000    70000 | 2147483647    64297    105 |  0.000 % |
331.02/331.20	c |    595908 |     700    14000    70000 | 2147483647    64557    105 |  0.000 % |
331.12/331.37	c |    596189 |     700    14000    70000 | 2147483647    64838    105 |  0.000 % |
331.32/331.55	c |    596498 |     700    14000    70000 | 2147483647    65147    105 |  0.000 % |
331.52/331.76	c |    596837 |     700    14000    70000 | 2147483647    65486    105 |  0.000 % |
331.72/331.99	c |    597210 |     700    14000    70000 | 2147483647    65859    105 |  0.000 % |
332.02/332.25	c |    597620 |     700    14000    70000 | 2147483647    66269    105 |  0.000 % |
332.32/332.51	c |    598070 |     700    14000    70000 | 2147483647    66719    105 |  0.000 % |
332.62/332.83	c |    598563 |     700    14000    70000 | 2147483647    67212    105 |  0.000 % |
332.92/333.19	c |    599105 |     700    14000    70000 | 2147483647    67754    105 |  0.000 % |
333.32/333.59	c |    599704 |     700    14000    70000 | 2147483647    68353    105 |  0.000 % |
333.82/334.01	c |    600359 |     700    14000    70000 |    68650    61096    105 |  0.000 % |
334.12/334.39	c |    601081 |     700    14000    70000 |    68650    61818    105 |  0.000 % |
334.62/334.85	c |    601873 |     700    14000    70000 |    68650    62610    105 |  0.000 % |
335.12/335.31	c |    602744 |     700    14000    70000 |    68650    63481    105 |  0.000 % |
335.62/335.85	c |    603702 |     700    14000    70000 |    68650    64439    105 |  0.000 % |
336.22/336.47	c |    604756 |     700    14000    70000 |    68650    65493    105 |  0.000 % |
336.92/337.13	c |    605918 |     700    14000    70000 |    68650    66655    105 |  0.000 % |
337.72/337.91	c |    607192 |     700    14000    70000 |    68650    67929    105 |  0.000 % |
338.52/338.72	c |    608592 |     700    14000    70000 |    68650    61345    105 |  0.000 % |
339.42/339.61	c |    610133 |     700    14000    70000 |    62754    62886    105 |  0.000 % |
340.32/340.52	c |    611827 |     700    14000    70000 |    62754    57371    105 |  0.000 % |
341.32/341.52	c |    613693 |     700    14000    70000 |    62754    59237    105 |  0.000 % |
342.42/342.66	c |    615742 |     700    14000    70000 |    62754    61286    105 |  0.000 % |
343.72/343.90	c |    617998 |     700    14000    70000 |    62754    57241    105 |  0.000 % |
345.02/345.28	c |    620478 |     700    14000    70000 | 2147483647    59721    105 |  0.000 % |
346.52/346.70	c |    623204 |     700    14000    70000 | 2147483647    62447    104 |  0.000 % |
348.21/348.42	c |    626201 |     700    14000    70000 | 2147483647    65444    105 |  0.000 % |
350.11/350.37	c |    629497 |     700    14000    70000 | 2147483647    68740    105 |  0.000 % |
352.31/352.55	c |    633123 |     700    14000    70000 |    69244    64808    105 |  0.000 % |
354.71/354.91	c |    637110 |     700    14000    70000 |    69244    68795    105 |  0.000 % |
357.11/357.39	c |    641496 |     700    14000    70000 |    63751    58328    104 |  0.000 % |
359.91/360.18	c |    646320 |     700    14000    70000 |    63751    63152    104 |  0.000 % |
363.01/363.25	c |    651625 |     700    14000    70000 | 2147483647    62057    103 |  0.000 % |
366.51/366.77	c |    657460 |     700    14000    70000 | 2147483647    67892    104 |  0.000 % |
366.61/366.84	c |    657560 |     700    14000    70000 | 2147483647    67992    104 |  0.000 % |
366.71/366.93	c |    657671 |     700    14000    70000 | 2147483647    68103    104 |  0.000 % |
366.80/367.00	c |    657793 |     700    14000    70000 | 2147483647    68225    104 |  0.000 % |
366.90/367.11	c |    657928 |     700    14000    70000 | 2147483647    68360    103 |  0.000 % |
367.00/367.20	c |    658076 |     700    14000    70000 | 2147483647    68508    103 |  0.000 % |
367.11/367.32	c |    658236 |     700    14000    70000 | 2147483647    68668    103 |  0.000 % |
367.21/367.45	c |    658415 |     700    14000    70000 | 2147483647    68847    103 |  0.000 % |
367.30/367.59	c |    658610 |     700    14000    70000 | 2147483647    69042    103 |  0.000 % |
367.50/367.72	c |    658823 |     700    14000    70000 | 2147483647    69255    103 |  0.000 % |
367.60/367.88	c |    659056 |     700    14000    70000 | 2147483647    69488    103 |  0.000 % |
367.80/368.06	c |    659312 |     700    14000    70000 | 2147483647    69744    103 |  0.000 % |
368.00/368.24	c |    659593 |     700    14000    70000 | 2147483647    70025    103 |  0.000 % |
368.21/368.45	c |    659904 |     700    14000    70000 | 2147483647    70336    103 |  0.000 % |
368.50/368.70	c |    660243 |     700    14000    70000 |    70432    62421    104 |  0.000 % |
368.60/368.90	c |    660616 |     700    14000    70000 |    70432    62794    104 |  0.000 % |
368.90/369.11	c |    661025 |     700    14000    70000 |    70432    63203    104 |  0.000 % |
369.20/369.41	c |    661474 |     700    14000    70000 |    70432    63652    103 |  0.000 % |
369.40/369.69	c |    661967 |     700    14000    70000 |    70432    64145    103 |  0.000 % |
369.80/370.01	c |    662509 |     700    14000    70000 |    70432    64687    103 |  0.000 % |
370.20/370.41	c |    663106 |     700    14000    70000 |    70432    65284    103 |  0.000 % |
370.50/370.79	c |    663762 |     700    14000    70000 |    70432    65940    104 |  0.000 % |
371.00/371.20	c |    664482 |     700    14000    70000 |    70432    66660    104 |  0.000 % |
371.40/371.69	c |    665275 |     700    14000    70000 |    70432    67453    104 |  0.000 % |
372.00/372.23	c |    666147 |     700    14000    70000 |    70432    68325    104 |  0.000 % |
372.50/372.79	c |    667105 |     700    14000    70000 |    70432    69283    104 |  0.000 % |
373.19/373.41	c |    668158 |     700    14000    70000 |    70432    70336    104 |  0.000 % |
373.89/374.16	c |    669318 |     700    14000    70000 |    70432    62907    104 |  0.000 % |
374.60/374.87	c |    670591 |     700    14000    70000 |    63590    56622    104 |  0.000 % |
375.29/375.58	c |    671993 |     700    14000    70000 |    63590    58024    104 |  0.000 % |
376.09/376.34	c |    673534 |     700    14000    70000 |    63590    59565    104 |  0.000 % |
376.89/377.12	c |    675228 |     700    14000    70000 |    63590    61259    104 |  0.000 % |
377.79/378.05	c |    677091 |     700    14000    70000 |    63590    63122    104 |  0.000 % |
378.89/379.14	c |    679140 |     700    14000    70000 |    63590    58788    104 |  0.000 % |
380.09/380.32	c |    681393 |     700    14000    70000 | 2147483647    61041    104 |  0.000 % |
381.50/381.76	c |    683871 |     700    14000    70000 | 2147483647    63519    104 |  0.000 % |
383.19/383.44	c |    686598 |     700    14000    70000 | 2147483647    66246    104 |  0.000 % |
384.99/385.24	c |    689595 |     700    14000    70000 | 2147483647    69243    104 |  0.000 % |
386.79/387.10	c |    692891 |     700    14000    70000 |    69649    63971    104 |  0.000 % |
388.89/389.11	c |    696517 |     700    14000    70000 |    69649    67597    104 |  0.000 % |
391.29/391.55	c |    700504 |     700    14000    70000 |    62162    54752    104 |  0.000 % |
393.59/393.89	c |    704890 |     700    14000    70000 |    62162    59138    104 |  0.000 % |
396.29/396.57	c |    709714 |     700    14000    70000 |    62162    57715    105 |  0.000 % |
399.09/399.38	c |    715020 |     700    14000    70000 | 2147483647    63021    105 |  0.000 % |
402.58/402.82	c |    720857 |     700    14000    70000 |    68001    61133    105 |  0.000 % |
406.38/406.63	c |    727275 |     700    14000    70000 |    68001    67551    106 |  0.000 % |
406.38/406.69	c |    727376 |     700    14000    70000 |    68001    67652    106 |  0.000 % |
406.48/406.77	c |    727486 |     700    14000    70000 |    68001    67762    106 |  0.000 % |
406.58/406.86	c |    727607 |     700    14000    70000 |    68001    67883    106 |  0.000 % |
406.69/406.96	c |    727740 |     700    14000    70000 |    68001    68016    106 |  0.000 % |
406.79/407.09	c |    727887 |     700    14000    70000 |    68001    59729    106 |  0.000 % |
406.88/407.19	c |    728047 |     700    14000    70000 |    68001    59889    106 |  0.000 % |
407.08/407.31	c |    728225 |     700    14000    70000 |    68001    60067    106 |  0.000 % |
407.18/407.44	c |    728419 |     700    14000    70000 |    68001    60261    106 |  0.000 % |
407.28/407.56	c |    728633 |     700    14000    70000 |    68001    60475    106 |  0.000 % |
407.38/407.69	c |    728868 |     700    14000    70000 |    68001    60710    106 |  0.000 % |
407.58/407.83	c |    729124 |     700    14000    70000 |    68001    60966    106 |  0.000 % |
407.68/407.99	c |    729405 |     700    14000    70000 |    68001    61247    106 |  0.000 % |
407.89/408.16	c |    729714 |     700    14000    70000 |    68001    61556    106 |  0.000 % |
408.08/408.36	c |    730053 |     700    14000    70000 |    61845    61895    106 |  0.000 % |
408.38/408.62	c |    730427 |     700    14000    70000 |    61845    54797    106 |  0.000 % |
408.58/408.83	c |    730836 |     700    14000    70000 |    61845    55206    106 |  0.000 % |
408.78/409.06	c |    731286 |     700    14000    70000 |    61845    55656    106 |  0.000 % |
409.08/409.31	c |    731779 |     700    14000    70000 |    61845    56149    106 |  0.000 % |
409.28/409.58	c |    732322 |     700    14000    70000 |    61845    56692    106 |  0.000 % |
409.58/409.87	c |    732919 |     700    14000    70000 |    61845    57289    106 |  0.000 % |
409.98/410.21	c |    733575 |     700    14000    70000 |    61845    57945    106 |  0.000 % |
410.38/410.66	c |    734297 |     700    14000    70000 |    61845    58667    106 |  0.000 % |
410.88/411.10	c |    735089 |     700    14000    70000 |    61845    59459    106 |  0.000 % |
411.38/411.63	c |    735961 |     700    14000    70000 |    61845    60331    106 |  0.000 % |
411.88/412.16	c |    736925 |     700    14000    70000 |    61845    61295    106 |  0.000 % |
412.48/412.78	c |    737978 |     700    14000    70000 |    61845    56143    106 |  0.000 % |
413.08/413.36	c |    739136 |     700    14000    70000 |    61845    57301    106 |  0.000 % |
413.78/414.03	c |    740410 |     700    14000    70000 | 2147483647    58575    106 |  0.000 % |
414.58/414.81	c |    741810 |     700    14000    70000 | 2147483647    59975    106 |  0.000 % |
415.38/415.61	c |    743351 |     700    14000    70000 | 2147483647    61516    106 |  0.000 % |
416.28/416.58	c |    745045 |     700    14000    70000 | 2147483647    63210    106 |  0.000 % |
417.38/417.69	c |    746910 |     700    14000    70000 | 2147483647    65075    106 |  0.000 % |
418.58/418.83	c |    748959 |     700    14000    70000 | 2147483647    67124    106 |  0.000 % |
419.78/420.10	c |    751212 |     700    14000    70000 | 2147483647    69377    106 |  0.000 % |
421.28/421.51	c |    753692 |     700    14000    70000 | 2147483647    71857    106 |  0.000 % |
422.98/423.25	c |    756418 |     700    14000    70000 | 2147483647    74583    106 |  0.000 % |
424.88/425.17	c |    759420 |     700    14000    70000 | 2147483647    77585    106 |  0.000 % |
426.98/427.27	c |    762717 |     700    14000    70000 |    78166    69514    106 |  0.000 % |
429.18/429.40	c |    766342 |     700    14000    70000 |    78166    73139    106 |  0.000 % |
431.78/432.04	c |    770329 |     700    14000    70000 |    76798    65731    106 |  0.000 % |
434.18/434.48	c |    774715 |     700    14000    70000 |    76798    70117    106 |  0.000 % |
437.27/437.50	c |    779538 |     700    14000    70000 |    76798    74940    106 |  0.000 % |
440.57/440.83	c |    784843 |     700    14000    70000 |    75403    69435    106 |  0.000 % |
444.17/444.43	c |    790678 |     700    14000    70000 |    74592    63636    106 |  0.000 % |
447.97/448.28	c |    797098 |     700    14000    70000 |    74592    70056    105 |  0.000 % |
452.27/452.52	c |    804157 |     700    14000    70000 |    72958    66427    106 |  0.000 % |
452.27/452.59	c |    804258 |     700    14000    70000 |    72958    66528    106 |  0.000 % |
452.37/452.65	c |    804368 |     700    14000    70000 |    72958    66638    106 |  0.000 % |
452.47/452.74	c |    804489 |     700    14000    70000 |    72958    66759    106 |  0.000 % |
452.57/452.82	c |    804623 |     700    14000    70000 |    72958    66893    106 |  0.000 % |
452.67/452.91	c |    804770 |     700    14000    70000 |    72958    67040    106 |  0.000 % |
452.77/453.00	c |    804930 |     700    14000    70000 |    72958    67200    106 |  0.000 % |
452.87/453.13	c |    805107 |     700    14000    70000 |    72958    67377    106 |  0.000 % |
452.97/453.26	c |    805301 |     700    14000    70000 |    72958    67571    106 |  0.000 % |
453.17/453.41	c |    805513 |     700    14000    70000 |    72958    67783    106 |  0.000 % |
453.27/453.56	c |    805746 |     700    14000    70000 |    72958    68016    106 |  0.000 % |
453.47/453.72	c |    806002 |     700    14000    70000 |    72958    68272    106 |  0.000 % |
453.67/453.93	c |    806284 |     700    14000    70000 |    72958    68554    106 |  0.000 % |
453.86/454.11	c |    806593 |     700    14000    70000 |    72958    68863    106 |  0.000 % |
454.07/454.37	c |    806933 |     700    14000    70000 |    72958    69203    106 |  0.000 % |
454.36/454.63	c |    807305 |     700    14000    70000 |    72958    69575    106 |  0.000 % |
454.66/454.92	c |    807715 |     700    14000    70000 |    72958    69985    106 |  0.000 % |
454.96/455.21	c |    808164 |     700    14000    70000 |    72958    70434    106 |  0.000 % |
455.26/455.53	c |    808658 |     700    14000    70000 |    72958    70928    106 |  0.000 % |
455.66/455.90	c |    809200 |     700    14000    70000 |    72958    71470    106 |  0.000 % |
455.96/456.28	c |    809796 |     700    14000    70000 |    72958    72066    106 |  0.000 % |
456.46/456.72	c |    810452 |     700    14000    70000 |    72270    61830    106 |  0.000 % |
456.86/457.13	c |    811172 |     700    14000    70000 |    72270    62550    106 |  0.000 % |
457.27/457.59	c |    811964 |     700    14000    70000 |    72270    63342    106 |  0.000 % |
457.76/458.07	c |    812838 |     700    14000    70000 |    72270    64216    106 |  0.000 % |
458.37/458.63	c |    813797 |     700    14000    70000 |    72270    65175    106 |  0.000 % |
458.96/459.25	c |    814850 |     700    14000    70000 |    72270    66228    106 |  0.000 % |
459.66/459.94	c |    816008 |     700    14000    70000 |    72270    67386    106 |  0.000 % |
460.46/460.71	c |    817281 |     700    14000    70000 |    72270    68659    106 |  0.000 % |
461.26/461.56	c |    818682 |     700    14000    70000 |    72270    70060    106 |  0.000 % |
462.16/462.48	c |    820222 |     700    14000    70000 |    71380    71600    106 |  0.000 % |
463.26/463.50	c |    821917 |     700    14000    70000 |    71380    63883    106 |  0.000 % |
464.26/464.57	c |    823780 |     700    14000    70000 |    71380    65746    106 |  0.000 % |
465.46/465.76	c |    825833 |     700    14000    70000 |    71380    67799    106 |  0.000 % |
466.86/467.12	c |    828086 |     700    14000    70000 |    71380    70052    106 |  0.000 % |
468.46/468.76	c |    830566 |     700    14000    70000 |    62824    55315    105 |  0.000 % |
469.86/470.13	c |    833299 |     700    14000    70000 |    62824    58048    106 |  0.000 % |
471.56/471.83	c |    836296 |     700    14000    70000 |    62824    61045    106 |  0.000 % |
473.46/473.71	c |    839593 |     700    14000    70000 |    62824    58006    105 |  0.000 % |
475.45/475.78	c |    843220 |     700    14000    70000 | 2147483647    61633    105 |  0.000 % |
477.75/478.09	c |    847207 |     700    14000    70000 | 2147483647    65620    105 |  0.000 % |
480.46/480.80	c |    851594 |     700    14000    70000 |    68414    62809    104 |  0.000 % |
483.45/483.79	c |    856417 |     700    14000    70000 |    68414    67632    105 |  0.000 % |
486.45/486.70	c |    861722 |     700    14000    70000 |    62678    57046    105 |  0.000 % |
489.65/489.98	c |    867559 |     700    14000    70000 |    62678    62883    105 |  0.000 % |
493.15/493.48	c |    873978 |     700    14000    70000 |    58838    56813    106 |  0.000 % |
496.75/497.09	c |    881037 |     700    14000    70000 | 2147483647    57962    106 |  0.000 % |
500.95/501.27	c |    888801 |     700    14000    70000 | 2147483647    65726    106 |  0.000 % |
501.05/501.33	c |    888901 |     700    14000    70000 | 2147483647    65826    106 |  0.000 % |
501.15/501.40	c |    889013 |     700    14000    70000 | 2147483647    65938    106 |  0.000 % |
501.15/501.49	c |    889136 |     700    14000    70000 | 2147483647    66061    106 |  0.000 % |
501.25/501.59	c |    889273 |     700    14000    70000 | 2147483647    66198    106 |  0.000 % |
501.35/501.69	c |    889419 |     700    14000    70000 | 2147483647    66344    106 |  0.000 % |
501.45/501.79	c |    889579 |     700    14000    70000 | 2147483647    66504    106 |  0.000 % |
501.65/501.93	c |    889755 |     700    14000    70000 | 2147483647    66680    106 |  0.000 % |
501.74/502.07	c |    889948 |     700    14000    70000 | 2147483647    66873    106 |  0.000 % |
501.94/502.22	c |    890163 |     700    14000    70000 |    66925    67088    106 |  0.000 % |
502.14/502.40	c |    890396 |     700    14000    70000 |    66925    60208    106 |  0.000 % |
502.24/502.56	c |    890655 |     700    14000    70000 |    66925    60467    106 |  0.000 % |
502.45/502.72	c |    890938 |     700    14000    70000 |    66925    60750    106 |  0.000 % |
502.65/502.90	c |    891247 |     700    14000    70000 |    66925    61059    106 |  0.000 % |
502.75/503.09	c |    891587 |     700    14000    70000 |    66925    61399    106 |  0.000 % |
503.04/503.33	c |    891960 |     700    14000    70000 |    66925    61772    106 |  0.000 % |
503.24/503.58	c |    892369 |     700    14000    70000 |    66925    62181    105 |  0.000 % |
503.55/503.84	c |    892818 |     700    14000    70000 |    66925    62630    105 |  0.000 % |
503.84/504.13	c |    893311 |     700    14000    70000 |    66925    63123    105 |  0.000 % |
504.14/504.46	c |    893853 |     700    14000    70000 |    66925    63665    105 |  0.000 % |
504.55/504.81	c |    894450 |     700    14000    70000 |    66925    64262    105 |  0.000 % |
504.84/505.19	c |    895107 |     700    14000    70000 |    66925    64919    105 |  0.000 % |
505.34/505.62	c |    895829 |     700    14000    70000 |    66925    65641    105 |  0.000 % |
505.84/506.12	c |    896621 |     700    14000    70000 |    66925    66433    105 |  0.000 % |
506.34/506.64	c |    897492 |     700    14000    70000 |    66925    59737    105 |  0.000 % |
506.85/507.15	c |    898451 |     700    14000    70000 |    66925    60696    105 |  0.000 % |
507.44/507.72	c |    899504 |     700    14000    70000 |    66925    61749    105 |  0.000 % |
508.14/508.46	c |    900664 |     700    14000    70000 |    62245    55798    105 |  0.000 % |
508.84/509.14	c |    901937 |     700    14000    70000 |    62245    57071    105 |  0.000 % |
509.54/509.85	c |    903337 |     700    14000    70000 |    62245    58471    105 |  0.000 % |
510.34/510.64	c |    904877 |     700    14000    70000 |    62245    60011    105 |  0.000 % |
511.24/511.59	c |    906571 |     700    14000    70000 |    62245    61705    105 |  0.000 % |
512.34/512.67	c |    908435 |     700    14000    70000 |    62245    57321    105 |  0.000 % |
513.44/513.79	c |    910488 |     700    14000    70000 | 2147483647    59374    105 |  0.000 % |
514.64/514.99	c |    912742 |     700    14000    70000 | 2147483647    61628    105 |  0.000 % |
516.14/516.48	c |    915220 |     700    14000    70000 | 2147483647    64106    104 |  0.000 % |
517.84/518.11	c |    917945 |     700    14000    70000 | 2147483647    66831    104 |  0.000 % |
519.73/520.04	c |    920945 |     700    14000    70000 | 2147483647    69831    104 |  0.000 % |
521.63/521.96	c |    924241 |     700    14000    70000 | 2147483647    73127    104 |  0.000 % |
523.83/524.17	c |    927866 |     700    14000    70000 | 2147483647    76752    104 |  0.000 % |
526.33/526.67	c |    931853 |     700    14000    70000 |    78887    69751    104 |  0.000 % |
528.93/529.28	c |    936238 |     700    14000    70000 |    78887    74136    104 |  0.000 % |
532.23/532.50	c |    941061 |     700    14000    70000 |    77899    67103    103 |  0.000 % |
535.33/535.69	c |    946367 |     700    14000    70000 |    77899    72409    104 |  0.000 % |
539.13/539.41	c |    952203 |     700    14000    70000 |    76042    66096    104 |  0.000 % |
543.03/543.32	c |    958621 |     700    14000    70000 |    76042    72514    104 |  0.000 % |
547.62/547.92	c |    965680 |     700    14000    70000 |    73893    68340    105 |  0.000 % |
552.72/553.06	c |    973444 |     700    14000    70000 |    72661    65628    106 |  0.000 % |
558.23/558.54	c |    981985 |     700    14000    70000 |    72184    63703    107 |  0.000 % |
558.33/558.62	c |    982086 |     700    14000    70000 |    72184    63804    107 |  0.000 % |
558.33/558.69	c |    982196 |     700    14000    70000 |    72184    63914    107 |  0.000 % |
558.43/558.76	c |    982318 |     700    14000    70000 |    72184    64036    107 |  0.000 % |
558.53/558.84	c |    982453 |     700    14000    70000 |    72184    64171    107 |  0.000 % |
558.63/558.93	c |    982599 |     700    14000    70000 |    72184    64317    107 |  0.000 % |
558.73/559.04	c |    982759 |     700    14000    70000 |    72184    64477    106 |  0.000 % |
558.83/559.15	c |    982936 |     700    14000    70000 |    72184    64654    106 |  0.000 % |
558.93/559.28	c |    983129 |     700    14000    70000 |    72184    64847    106 |  0.000 % |
559.13/559.40	c |    983343 |     700    14000    70000 |    72184    65061    106 |  0.000 % |
559.23/559.54	c |    983576 |     700    14000    70000 |    72184    65294    106 |  0.000 % |
559.33/559.69	c |    983833 |     700    14000    70000 |    72184    65551    106 |  0.000 % |
559.53/559.86	c |    984117 |     700    14000    70000 |    72184    65835    106 |  0.000 % |
559.73/560.05	c |    984427 |     700    14000    70000 |    72184    66145    106 |  0.000 % |
559.93/560.25	c |    984767 |     700    14000    70000 |    72184    66485    106 |  0.000 % |
560.13/560.46	c |    985139 |     700    14000    70000 |    72184    66857    106 |  0.000 % |
560.33/560.67	c |    985548 |     700    14000    70000 |    72184    67266    106 |  0.000 % |
560.63/560.95	c |    985998 |     700    14000    70000 |    72184    67716    106 |  0.000 % |
560.93/561.23	c |    986491 |     700    14000    70000 |    72184    68209    106 |  0.000 % |
561.23/561.55	c |    987033 |     700    14000    70000 |    72184    68751    106 |  0.000 % |
561.63/561.97	c |    987632 |     700    14000    70000 |    72184    69350    106 |  0.000 % |
562.12/562.41	c |    988288 |     700    14000    70000 |    72184    70006    106 |  0.000 % |
562.63/562.93	c |    989010 |     700    14000    70000 |    72184    70728    106 |  0.000 % |
563.13/563.42	c |    989802 |     700    14000    70000 |    72184    71520    106 |  0.000 % |
563.72/564.02	c |    990674 |     700    14000    70000 |    71719    61779    106 |  0.000 % |
564.22/564.54	c |    991633 |     700    14000    70000 |    71719    62738    106 |  0.000 % |
564.82/565.10	c |    992686 |     700    14000    70000 |    71719    63791    106 |  0.000 % |
565.42/565.76	c |    993845 |     700    14000    70000 |    71719    64950    106 |  0.000 % |
566.13/566.44	c |    995119 |     700    14000    70000 |    71719    66224    106 |  0.000 % |
567.02/567.30	c |    996519 |     700    14000    70000 |    71719    67624    106 |  0.000 % |
568.02/568.31	c |    998060 |     700    14000    70000 |    71719    69165    106 |  0.000 % |
569.12/569.40	c |    999755 |     700    14000    70000 |    71719    70860    106 |  0.000 % |
570.32/570.62	c |   1001620 |     700    14000    70000 |    71106    63195    106 |  0.000 % |
571.42/571.78	c |   1003669 |     700    14000    70000 |    71106    65244    106 |  0.000 % |
572.83/573.18	c |   1005922 |     700    14000    70000 |    71106    67497    106 |  0.000 % |
574.42/574.70	c |   1008400 |     700    14000    70000 |    71106    69975    106 |  0.000 % |
576.12/576.43	c |   1011125 |     700    14000    70000 |    61506    54043    105 |  0.000 % |
577.62/577.95	c |   1014123 |     700    14000    70000 |    61506    57041    105 |  0.000 % |
579.42/579.75	c |   1017419 |     700    14000    70000 |    61506    60337    105 |  0.000 % |
581.32/581.68	c |   1021044 |     700    14000    70000 | 2147483647    57789    105 |  0.000 % |
583.42/583.72	c |   1025032 |     700    14000    70000 | 2147483647    61777    105 |  0.000 % |
585.92/586.24	c |   1029417 |     700    14000    70000 | 2147483647    66162    105 |  0.000 % |
588.72/589.08	c |   1034241 |     700    14000    70000 |    66745    63642    104 |  0.000 % |
591.72/592.07	c |   1039547 |     700    14000    70000 |    66745    62144    104 |  0.000 % |
594.72/595.08	c |   1045382 |     700    14000    70000 |    62598    61511    105 |  0.000 % |
598.21/598.59	c |   1051801 |     700    14000    70000 | 2147483647    61439    107 |  0.000 % |
602.52/602.89	c |   1058861 |     700    14000    70000 | 2147483647    68499    107 |  0.000 % |
607.51/607.82	c |   1066625 |     700    14000    70000 |    69638    67793    107 |  0.000 % |
612.61/612.94	c |   1075168 |     700    14000    70000 |    61924    59366    109 |  0.000 % |
618.31/618.63	c |   1084562 |     700    14000    70000 | 2147483647    62545    108 |  0.000 % |
618.41/618.71	c |   1084663 |     700    14000    70000 | 2147483647    62646    108 |  0.000 % |
618.41/618.78	c |   1084773 |     700    14000    70000 | 2147483647    62756    108 |  0.000 % |
618.51/618.84	c |   1084894 |     700    14000    70000 | 2147483647    62877    108 |  0.000 % |
618.61/618.92	c |   1085029 |     700    14000    70000 | 2147483647    63012    108 |  0.000 % |
618.71/619.04	c |   1085178 |     700    14000    70000 | 2147483647    63161    108 |  0.000 % |
618.81/619.15	c |   1085342 |     700    14000    70000 | 2147483647    63325    108 |  0.000 % |
618.91/619.27	c |   1085519 |     700    14000    70000 | 2147483647    63502    108 |  0.000 % |
619.11/619.41	c |   1085714 |     700    14000    70000 | 2147483647    63697    108 |  0.000 % |
619.21/619.56	c |   1085926 |     700    14000    70000 | 2147483647    63909    108 |  0.000 % |
619.41/619.71	c |   1086159 |     700    14000    70000 | 2147483647    64142    108 |  0.000 % |
619.51/619.87	c |   1086417 |     700    14000    70000 | 2147483647    64400    108 |  0.000 % |
619.71/620.04	c |   1086700 |     700    14000    70000 | 2147483647    64683    108 |  0.000 % |
619.91/620.23	c |   1087010 |     700    14000    70000 | 2147483647    64993    108 |  0.000 % |
620.11/620.48	c |   1087351 |     700    14000    70000 | 2147483647    65334    108 |  0.000 % |
620.41/620.72	c |   1087723 |     700    14000    70000 | 2147483647    65706    108 |  0.000 % |
620.61/620.97	c |   1088135 |     700    14000    70000 | 2147483647    66118    108 |  0.000 % |
620.90/621.26	c |   1088585 |     700    14000    70000 | 2147483647    66568    108 |  0.000 % |
621.30/621.62	c |   1089078 |     700    14000    70000 | 2147483647    67061    108 |  0.000 % |
621.60/621.96	c |   1089621 |     700    14000    70000 | 2147483647    67604    108 |  0.000 % |
622.11/622.41	c |   1090219 |     700    14000    70000 |    67983    59999    108 |  0.000 % |
622.41/622.78	c |   1090874 |     700    14000    70000 |    67983    60654    108 |  0.000 % |
622.91/623.20	c |   1091594 |     700    14000    70000 |    67983    61374    107 |  0.000 % |
623.31/623.66	c |   1092390 |     700    14000    70000 |    67983    62170    107 |  0.000 % |
623.80/624.19	c |   1093262 |     700    14000    70000 |    67983    63042    107 |  0.000 % |
624.41/624.75	c |   1094223 |     700    14000    70000 |    67983    64003    107 |  0.000 % |
625.00/625.35	c |   1095277 |     700    14000    70000 |    67983    65057    107 |  0.000 % |
625.70/626.02	c |   1096437 |     700    14000    70000 |    67983    66217    107 |  0.000 % |
626.50/626.80	c |   1097710 |     700    14000    70000 |    67983    67490    107 |  0.000 % |
627.30/627.64	c |   1099110 |     700    14000    70000 |    67983    60743    107 |  0.000 % |
628.20/628.53	c |   1100651 |     700    14000    70000 |    61634    55236    107 |  0.000 % |
629.00/629.39	c |   1102346 |     700    14000    70000 |    61634    56931    107 |  0.000 % |
630.01/630.30	c |   1104210 |     700    14000    70000 |    61634    58795    107 |  0.000 % |
631.01/631.34	c |   1106260 |     700    14000    70000 |    61634    60845    107 |  0.000 % |
632.21/632.53	c |   1108514 |     700    14000    70000 |    61634    56913    106 |  0.000 % |
633.50/633.86	c |   1110992 |     700    14000    70000 | 2147483647    59391    106 |  0.000 % |
635.10/635.43	c |   1113719 |     700    14000    70000 | 2147483647    62118    106 |  0.000 % |
636.80/637.13	c |   1116717 |     700    14000    70000 | 2147483647    65116    106 |  0.000 % |
638.70/639.05	c |   1120013 |     700    14000    70000 |    68399    68412    106 |  0.000 % |
640.70/641.06	c |   1123639 |     700    14000    70000 |    68399    65094    106 |  0.000 % |
642.90/643.24	c |   1127626 |     700    14000    70000 |    68399    61446    105 |  0.000 % |
645.19/645.60	c |   1132011 |     700    14000    70000 |    63823    58637    104 |  0.000 % |
647.79/648.18	c |   1136835 |     700    14000    70000 |    63823    63461    105 |  0.000 % |
650.69/651.05	c |   1142140 |     700    14000    70000 | 2147483647    62360    105 |  0.000 % |
654.20/654.60	c |   1147976 |     700    14000    70000 | 2147483647    68196    105 |  0.000 % |
658.09/658.43	c |   1154395 |     700    14000    70000 |    70222    66003    105 |  0.000 % |
662.39/662.76	c |   1161454 |     700    14000    70000 |    62991    56909    106 |  0.000 % |
667.19/667.57	c |   1169219 |     700    14000    70000 |    62991    57905    108 |  0.000 % |
672.39/672.75	c |   1177761 |     700    14000    70000 |    58686    54421    108 |  0.000 % |
678.18/678.59	c |   1187156 |     700    14000    70000 | 2147483647    63816    108 |  0.000 % |
684.99/685.39	c |   1197489 |     700    14000    70000 |    66661    66858    109 |  0.000 % |
685.18/685.50	c |   1197589 |     700    14000    70000 |    66661    58913    109 |  0.000 % |
685.18/685.57	c |   1197700 |     700    14000    70000 |    66661    59024    109 |  0.000 % |
685.28/685.64	c |   1197822 |     700    14000    70000 |    66661    59146    109 |  0.000 % |
685.38/685.72	c |   1197955 |     700    14000    70000 |    66661    59279    109 |  0.000 % |
685.48/685.81	c |   1198102 |     700    14000    70000 |    66661    59426    109 |  0.000 % |
685.58/685.92	c |   1198262 |     700    14000    70000 |    66661    59586    109 |  0.000 % |
685.68/686.02	c |   1198440 |     700    14000    70000 |    66661    59764    109 |  0.000 % |
685.78/686.14	c |   1198634 |     700    14000    70000 |    66661    59958    109 |  0.000 % |
685.88/686.27	c |   1198847 |     700    14000    70000 |    66661    60171    109 |  0.000 % |
685.98/686.40	c |   1199080 |     700    14000    70000 |    66661    60404    109 |  0.000 % |
686.18/686.56	c |   1199338 |     700    14000    70000 |    66661    60662    109 |  0.000 % |
686.38/686.73	c |   1199619 |     700    14000    70000 |    66661    60943    109 |  0.000 % |
686.58/686.91	c |   1199929 |     700    14000    70000 |    66661    61253    109 |  0.000 % |
686.78/687.15	c |   1200269 |     700    14000    70000 |    61325    54325    109 |  0.000 % |
686.98/687.35	c |   1200642 |     700    14000    70000 |    61325    54698    108 |  0.000 % |
687.18/687.55	c |   1201051 |     700    14000    70000 |    61325    55107    108 |  0.000 % |
687.48/687.82	c |   1201501 |     700    14000    70000 |    61325    55557    108 |  0.000 % |
687.78/688.16	c |   1201994 |     700    14000    70000 |    61325    56050    108 |  0.000 % |
688.08/688.46	c |   1202536 |     700    14000    70000 |    61325    56592    108 |  0.000 % |
688.38/688.77	c |   1203132 |     700    14000    70000 |    61325    57188    108 |  0.000 % |
688.78/689.15	c |   1203788 |     700    14000    70000 |    61325    57844    108 |  0.000 % |
689.18/689.52	c |   1204508 |     700    14000    70000 |    61325    58564    108 |  0.000 % |
689.58/689.98	c |   1205303 |     700    14000    70000 |    61325    59359    108 |  0.000 % |
690.08/690.49	c |   1206177 |     700    14000    70000 |    61325    60233    108 |  0.000 % |
690.68/691.02	c |   1207135 |     700    14000    70000 |    61325    61191    108 |  0.000 % |
691.18/691.59	c |   1208188 |     700    14000    70000 |    61325    56089    108 |  0.000 % |
691.78/692.17	c |   1209346 |     700    14000    70000 |    61325    57247    108 |  0.000 % |
692.38/692.78	c |   1210619 |     700    14000    70000 | 2147483647    58520    108 |  0.000 % |
693.08/693.43	c |   1212019 |     700    14000    70000 | 2147483647    59920    108 |  0.000 % |
693.87/694.28	c |   1213559 |     700    14000    70000 | 2147483647    61460    107 |  0.000 % |
694.88/695.23	c |   1215255 |     700    14000    70000 | 2147483647    63156    107 |  0.000 % |
695.98/696.33	c |   1217120 |     700    14000    70000 | 2147483647    65021    107 |  0.000 % |
697.17/697.51	c |   1219172 |     700    14000    70000 | 2147483647    67073    107 |  0.000 % |
698.47/698.83	c |   1221425 |     700    14000    70000 |    67904    62398    107 |  0.000 % |
699.77/700.16	c |   1223903 |     700    14000    70000 |    67904    64876    107 |  0.000 % |
701.37/701.75	c |   1226629 |     700    14000    70000 |    67904    67602    107 |  0.000 % |
703.07/703.49	c |   1229626 |     700    14000    70000 |    67904    63116    106 |  0.000 % |
704.97/705.33	c |   1232923 |     700    14000    70000 |    63490    59772    106 |  0.000 % |
706.97/707.32	c |   1236550 |     700    14000    70000 |    63490    63399    106 |  0.000 % |
709.07/709.49	c |   1240538 |     700    14000    70000 | 2147483647    61013    106 |  0.000 % |
711.66/712.04	c |   1244925 |     700    14000    70000 | 2147483647    65400    106 |  0.000 % |
714.57/714.97	c |   1249750 |     700    14000    70000 | 2147483647    70225    106 |  0.000 % |
717.87/718.25	c |   1255056 |     700    14000    70000 |    70478    66559    106 |  0.000 % |
721.36/721.78	c |   1260891 |     700    14000    70000 |    62121    54823    107 |  0.000 % |
724.76/725.18	c |   1267311 |     700    14000    70000 |    62121    61243    107 |  0.000 % |
728.66/729.09	c |   1274371 |     700    14000    70000 | 2147483647    62067    107 |  0.000 % |
733.36/733.73	c |   1282135 |     700    14000    70000 |    67696    62292    107 |  0.000 % |
738.77/739.16	c |   1290676 |     700    14000    70000 |    62118    55335    108 |  0.000 % |
744.27/744.67	c |   1300073 |     700    14000    70000 | 2147483647    58495    108 |  0.000 % |
749.77/750.11	c |   1310406 |     700    14000    70000 |    68422    60665    107 |  0.000 % |
756.36/756.79	c |   1321775 |     700    14000    70000 |    61830    55845    107 |  0.000 % |
756.46/756.85	c |   1321875 |     700    14000    70000 |    61830    55945    107 |  0.000 % |
756.56/756.92	c |   1321987 |     700    14000    70000 |    61830    56057    107 |  0.000 % |
756.66/757.00	c |   1322108 |     700    14000    70000 |    61830    56178    107 |  0.000 % |
756.66/757.08	c |   1322241 |     700    14000    70000 |    61830    56311    107 |  0.000 % |
756.76/757.16	c |   1322387 |     700    14000    70000 |    61830    56457    107 |  0.000 % |
756.86/757.25	c |   1322547 |     700    14000    70000 |    61830    56617    107 |  0.000 % |
756.96/757.38	c |   1322726 |     700    14000    70000 |    61830    56796    107 |  0.000 % |
757.06/757.49	c |   1322921 |     700    14000    70000 |    61830    56991    107 |  0.000 % |
757.26/757.62	c |   1323133 |     700    14000    70000 |    61830    57203    107 |  0.000 % |
757.36/757.76	c |   1323366 |     700    14000    70000 |    61830    57436    107 |  0.000 % |
757.46/757.90	c |   1323622 |     700    14000    70000 |    61830    57692    107 |  0.000 % |
757.66/758.04	c |   1323903 |     700    14000    70000 |    61830    57973    107 |  0.000 % |
757.85/758.20	c |   1324213 |     700    14000    70000 |    61830    58283    107 |  0.000 % |
757.95/758.37	c |   1324552 |     700    14000    70000 |    61830    58622    107 |  0.000 % |
758.25/758.61	c |   1324925 |     700    14000    70000 |    61830    58995    107 |  0.000 % |
758.45/758.84	c |   1325334 |     700    14000    70000 |    61830    59404    107 |  0.000 % |
758.75/759.12	c |   1325783 |     700    14000    70000 |    61830    59853    107 |  0.000 % |
759.05/759.40	c |   1326277 |     700    14000    70000 |    61830    60347    107 |  0.000 % |
759.35/759.72	c |   1326822 |     700    14000    70000 |    61830    60892    107 |  0.000 % |
759.66/760.03	c |   1327418 |     700    14000    70000 |    61830    61488    107 |  0.000 % |
760.05/760.44	c |   1328073 |     700    14000    70000 |    61830    55708    107 |  0.000 % |
760.45/760.84	c |   1328795 |     700    14000    70000 |    61830    56430    107 |  0.000 % |
760.86/761.27	c |   1329587 |     700    14000    70000 |    61830    57222    107 |  0.000 % |
761.45/761.80	c |   1330459 |     700    14000    70000 |    57636    52105    107 |  0.000 % |
761.86/762.25	c |   1331417 |     700    14000    70000 |    57636    53063    107 |  0.000 % |
762.35/762.74	c |   1332471 |     700    14000    70000 |    57636    54117    107 |  0.000 % |
762.85/763.29	c |   1333630 |     700    14000    70000 |    57636    55276    107 |  0.000 % |
763.55/763.99	c |   1334903 |     700    14000    70000 |    57636    56549    107 |  0.000 % |
764.35/764.78	c |   1336304 |     700    14000    70000 |    57636    52163    106 |  0.000 % |
765.16/765.51	c |   1337845 |     700    14000    70000 |    57636    53704    106 |  0.000 % |
765.95/766.36	c |   1339541 |     700    14000    70000 |    57636    55400    106 |  0.000 % |
766.95/767.38	c |   1341404 |     700    14000    70000 | 2147483647    57263    106 |  0.000 % |
768.05/768.47	c |   1343454 |     700    14000    70000 | 2147483647    59313    106 |  0.000 % |
769.25/769.63	c |   1345709 |     700    14000    70000 | 2147483647    61568    106 |  0.000 % |
770.55/770.91	c |   1348187 |     700    14000    70000 | 2147483647    64046    106 |  0.000 % |
772.05/772.45	c |   1350913 |     700    14000    70000 | 2147483647    66772    106 |  0.000 % |
773.95/774.33	c |   1353910 |     700    14000    70000 | 2147483647    69769    105 |  0.000 % |
776.05/776.41	c |   1357206 |     700    14000    70000 | 2147483647    73065    105 |  0.000 % |
778.55/778.90	c |   1360831 |     700    14000    70000 |    75859    65779    105 |  0.000 % |
780.95/781.34	c |   1364818 |     700    14000    70000 |    75859    69766    105 |  0.000 % |
783.65/784.09	c |   1369204 |     700    14000    70000 |    75859    74152    105 |  0.000 % |
786.65/787.03	c |   1374027 |     700    14000    70000 |    74948    68104    104 |  0.000 % |
790.04/790.47	c |   1379332 |     700    14000    70000 |    74948    73409    104 |  0.000 % |
793.54/793.93	c |   1385167 |     700    14000    70000 |    74078    67960    104 |  0.000 % |
797.54/797.94	c |   1391585 |     700    14000    70000 |    72793    64291    104 |  0.000 % |
801.84/802.26	c |   1398646 |     700    14000    70000 |    72793    71352    105 |  0.000 % |
806.84/807.23	c |   1406410 |     700    14000    70000 |    72707    69144    105 |  0.000 % |
811.94/812.34	c |   1414953 |     700    14000    70000 |    72735    67439    105 |  0.000 % |
817.94/818.32	c |   1424348 |     700    14000    70000 |    72486    65769    106 |  0.000 % |
825.03/825.47	c |   1434681 |     700    14000    70000 |    71422    65602    107 |  0.000 % |
832.63/833.08	c |   1446047 |     700    14000    70000 |    70921    66129    109 |  0.000 % |
840.13/840.53	c |   1458549 |     700    14000    70000 |    70082    68028    110 |  0.000 % |
840.23/840.61	c |   1458650 |     700    14000    70000 |    70082    68129    110 |  0.000 % |
840.23/840.68	c |   1458760 |     700    14000    70000 |    70082    68239    110 |  0.000 % |
840.33/840.77	c |   1458882 |     700    14000    70000 |    70082    68361    110 |  0.000 % |
840.43/840.87	c |   1459016 |     700    14000    70000 |    70082    68495    110 |  0.000 % |
840.53/840.98	c |   1459162 |     700    14000    70000 |    70082    68641    110 |  0.000 % |
840.73/841.11	c |   1459322 |     700    14000    70000 |    70082    68801    110 |  0.000 % |
840.83/841.23	c |   1459498 |     700    14000    70000 |    70082    68977    110 |  0.000 % |
840.93/841.39	c |   1459693 |     700    14000    70000 |    70082    69172    110 |  0.000 % |
841.13/841.54	c |   1459906 |     700    14000    70000 |    70082    69385    109 |  0.000 % |
841.22/841.69	c |   1460140 |     700    14000    70000 |    69481    69619    109 |  0.000 % |
841.42/841.89	c |   1460397 |     700    14000    70000 |    69481    59575    109 |  0.000 % |
841.62/842.06	c |   1460679 |     700    14000    70000 |    69481    59857    109 |  0.000 % |
841.82/842.26	c |   1460988 |     700    14000    70000 |    69481    60166    109 |  0.000 % |
842.02/842.44	c |   1461328 |     700    14000    70000 |    69481    60506    109 |  0.000 % |
842.23/842.64	c |   1461700 |     700    14000    70000 |    69481    60878    109 |  0.000 % |
842.42/842.87	c |   1462110 |     700    14000    70000 |    69481    61288    109 |  0.000 % |
842.72/843.10	c |   1462560 |     700    14000    70000 |    69481    61738    109 |  0.000 % |
843.02/843.40	c |   1463053 |     700    14000    70000 |    69481    62231    109 |  0.000 % |
843.33/843.72	c |   1463597 |     700    14000    70000 |    69481    62775    109 |  0.000 % |
843.62/844.06	c |   1464193 |     700    14000    70000 |    69481    63371    109 |  0.000 % |
844.02/844.46	c |   1464850 |     700    14000    70000 |    69481    64028    109 |  0.000 % |
844.42/844.89	c |   1465570 |     700    14000    70000 |    69481    64748    109 |  0.000 % |
844.92/845.39	c |   1466364 |     700    14000    70000 |    69481    65542    109 |  0.000 % |
845.53/845.92	c |   1467235 |     700    14000    70000 |    69481    66413    109 |  0.000 % |
846.02/846.46	c |   1468194 |     700    14000    70000 |    69481    67372    108 |  0.000 % |
846.62/847.03	c |   1469250 |     700    14000    70000 |    69481    68428    108 |  0.000 % |
847.32/847.76	c |   1470408 |     700    14000    70000 |    69178    60961    108 |  0.000 % |
848.02/848.44	c |   1471682 |     700    14000    70000 |    69178    62235    108 |  0.000 % |
848.82/849.25	c |   1473082 |     700    14000    70000 |    69178    63635    108 |  0.000 % |
849.72/850.19	c |   1474623 |     700    14000    70000 |    69178    65176    108 |  0.000 % |
850.92/851.33	c |   1476318 |     700    14000    70000 |    69178    66871    108 |  0.000 % |
852.02/852.49	c |   1478182 |     700    14000    70000 |    69178    68735    108 |  0.000 % |
853.22/853.65	c |   1480231 |     700    14000    70000 |    62114    62344    108 |  0.000 % |
854.42/854.82	c |   1482484 |     700    14000    70000 |    62114    57276    108 |  0.000 % |
855.72/856.14	c |   1484962 |     700    14000    70000 |    62114    59754    108 |  0.000 % |
857.22/857.60	c |   1487687 |     700    14000    70000 |    62114    56247    107 |  0.000 % |
858.62/859.09	c |   1490684 |     700    14000    70000 | 2147483647    59244    107 |  0.000 % |
860.42/860.89	c |   1493982 |     700    14000    70000 | 2147483647    62542    107 |  0.000 % |
862.32/862.80	c |   1497607 |     700    14000    70000 | 2147483647    66167    107 |  0.000 % |
864.81/865.20	c |   1501596 |     700    14000    70000 | 2147483647    70156    107 |  0.000 % |
867.42/867.88	c |   1505981 |     700    14000    70000 | 2147483647    74541    107 |  0.000 % |
870.81/871.23	c |   1510804 |     700    14000    70000 |    78560    66514    106 |  0.000 % |
874.02/874.50	c |   1516111 |     700    14000    70000 |    78560    71821    107 |  0.000 % |
877.92/878.32	c |   1521946 |     700    14000    70000 |    75713    65736    106 |  0.000 % |
881.91/882.37	c |   1528365 |     700    14000    70000 |    75713    72155    106 |  0.000 % |
886.51/886.92	c |   1535425 |     700    14000    70000 |    73791    68439    107 |  0.000 % |
891.51/891.93	c |   1543189 |     700    14000    70000 |    73014    65864    109 |  0.000 % |
897.01/897.40	c |   1551729 |     700    14000    70000 |    72676    64219    110 |  0.000 % |
903.21/903.66	c |   1561123 |     700    14000    70000 |    72496    63199    110 |  0.000 % |
910.10/910.55	c |   1571456 |     700    14000    70000 |    72077    63018    110 |  0.000 % |
917.60/918.09	c |   1582822 |     700    14000    70000 |    71563    63877    108 |  0.000 % |
926.00/926.43	c |   1595325 |     700    14000    70000 |    71056    65680    109 |  0.000 % |
935.09/935.58	c |   1609078 |     700    14000    70000 |    70356    69560    108 |  0.000 % |
935.19/935.66	c |   1609178 |     700    14000    70000 |    70356    69660    108 |  0.000 % |
935.29/935.73	c |   1609288 |     700    14000    70000 |    70356    69770    108 |  0.000 % |
935.39/935.80	c |   1609409 |     700    14000    70000 |    70356    69891    108 |  0.000 % |
935.39/935.88	c |   1609542 |     700    14000    70000 |    70356    70024    108 |  0.000 % |
935.49/935.98	c |   1609688 |     700    14000    70000 |    70356    70170    108 |  0.000 % |
935.60/936.09	c |   1609848 |     700    14000    70000 |    70356    70330    108 |  0.000 % |
935.79/936.21	c |   1610024 |     700    14000    70000 |    70483    70506    108 |  0.000 % |
935.89/936.38	c |   1610217 |     700    14000    70000 |    70483    60611    108 |  0.000 % |
936.09/936.50	c |   1610429 |     700    14000    70000 |    70483    60823    108 |  0.000 % |
936.19/936.64	c |   1610662 |     700    14000    70000 |    70483    61056    108 |  0.000 % |
936.29/936.77	c |   1610919 |     700    14000    70000 |    70483    61313    108 |  0.000 % |
936.49/936.95	c |   1611200 |     700    14000    70000 |    70483    61594    108 |  0.000 % |
936.70/937.13	c |   1611509 |     700    14000    70000 |    70483    61903    108 |  0.000 % |
936.89/937.32	c |   1611850 |     700    14000    70000 |    70483    62244    108 |  0.000 % |
937.09/937.52	c |   1612222 |     700    14000    70000 |    70483    62616    108 |  0.000 % |
937.29/937.75	c |   1612631 |     700    14000    70000 |    70483    63025    108 |  0.000 % |
937.59/938.00	c |   1613082 |     700    14000    70000 |    70483    63476    108 |  0.000 % |
937.80/938.30	c |   1613576 |     700    14000    70000 |    70483    63970    108 |  0.000 % |
938.19/938.60	c |   1614118 |     700    14000    70000 |    70483    64512    108 |  0.000 % |
938.49/938.96	c |   1614716 |     700    14000    70000 |    70483    65110    108 |  0.000 % |
938.90/939.36	c |   1615372 |     700    14000    70000 |    70483    65766    107 |  0.000 % |
939.29/939.75	c |   1616092 |     700    14000    70000 |    70483    66486    107 |  0.000 % |
939.79/940.24	c |   1616885 |     700    14000    70000 |    70483    67279    107 |  0.000 % |
940.29/940.77	c |   1617756 |     700    14000    70000 |    70483    68150    108 |  0.000 % |
940.89/941.32	c |   1618715 |     700    14000    70000 |    70483    69109    107 |  0.000 % |
941.49/941.95	c |   1619769 |     700    14000    70000 |    70483    70163    107 |  0.000 % |
942.19/942.64	c |   1620928 |     700    14000    70000 |    70397    62541    107 |  0.000 % |
942.89/943.36	c |   1622201 |     700    14000    70000 |    70397    63814    107 |  0.000 % |
943.69/944.11	c |   1623603 |     700    14000    70000 |    70397    65216    107 |  0.000 % |
944.59/945.04	c |   1625145 |     700    14000    70000 |    70397    66758    107 |  0.000 % |
945.49/945.98	c |   1626839 |     700    14000    70000 |    70397    68452    107 |  0.000 % |
946.59/947.08	c |   1628704 |     700    14000    70000 |    70397    70317    107 |  0.000 % |
947.89/948.33	c |   1630754 |     700    14000    70000 |    63564    57064    106 |  0.000 % |
948.99/949.50	c |   1633007 |     700    14000    70000 |    63564    59317    106 |  0.000 % |
950.39/950.82	c |   1635485 |     700    14000    70000 |    63564    61795    106 |  0.000 % |
951.79/952.25	c |   1638210 |     700    14000    70000 |    63564    58137    106 |  0.000 % |
953.39/953.84	c |   1641209 |     700    14000    70000 | 2147483647    61136    106 |  0.000 % |
955.09/955.58	c |   1644507 |     700    14000    70000 | 2147483647    64434    106 |  0.000 % |
957.19/957.63	c |   1648133 |     700    14000    70000 | 2147483647    68060    106 |  0.000 % |
959.48/959.97	c |   1652121 |     700    14000    70000 |    69927    64137    106 |  0.000 % |
961.99/962.48	c |   1656506 |     700    14000    70000 |    69927    68522    106 |  0.000 % |
964.78/965.24	c |   1661329 |     700    14000    70000 |    64167    58376    105 |  0.000 % |
967.78/968.22	c |   1666634 |     700    14000    70000 |    64167    63681    106 |  0.000 % |
971.28/971.71	c |   1672469 |     700    14000    70000 | 2147483647    62790    107 |  0.000 % |
974.98/975.40	c |   1678891 |     700    14000    70000 | 2147483647    69212    107 |  0.000 % |
979.38/979.83	c |   1685950 |     700    14000    70000 |    70321    68443    107 |  0.000 % |
984.08/984.58	c |   1693715 |     700    14000    70000 |    63823    59807    109 |  0.000 % |
988.87/989.37	c |   1702256 |     700    14000    70000 | 2147483647    61940    109 |  0.000 % |
994.98/995.43	c |   1711652 |     700    14000    70000 |    69685    63085    110 |  0.000 % |
1001.37/1001.84	c |   1721985 |     700    14000    70000 |    62777    56946    109 |  0.000 % |
1008.76/1009.27	c |   1733351 |     700    14000    70000 | 2147483647    61987    109 |  0.000 % |
1017.86/1018.31	c |   1745854 |     700    14000    70000 |    68636    66020    110 |  0.000 % |
1026.86/1027.34	c |   1759606 |     700    14000    70000 |    60320    54077    110 |  0.000 % |
1036.56/1037.02	c |   1774735 |     700    14000    70000 | 2147483647    57332    111 |  0.000 % |
1036.66/1037.10	c |   1774835 |     700    14000    70000 | 2147483647    57432    111 |  0.000 % |
1036.66/1037.18	c |   1774947 |     700    14000    70000 | 2147483647    57544    111 |  0.000 % |
1036.76/1037.27	c |   1775068 |     700    14000    70000 | 2147483647    57665    111 |  0.000 % |
1036.86/1037.35	c |   1775205 |     700    14000    70000 | 2147483647    57802    111 |  0.000 % |
1036.96/1037.43	c |   1775353 |     700    14000    70000 | 2147483647    57950    111 |  0.000 % |
1037.06/1037.51	c |   1775514 |     700    14000    70000 | 2147483647    58111    111 |  0.000 % |
1037.16/1037.61	c |   1775690 |     700    14000    70000 | 2147483647    58287    111 |  0.000 % |
1037.25/1037.72	c |   1775883 |     700    14000    70000 | 2147483647    58480    111 |  0.000 % |
1037.35/1037.82	c |   1776096 |     700    14000    70000 | 2147483647    58693    111 |  0.000 % |
1037.45/1037.96	c |   1776330 |     700    14000    70000 | 2147483647    58927    111 |  0.000 % |
1037.65/1038.10	c |   1776586 |     700    14000    70000 | 2147483647    59183    111 |  0.000 % |
1037.75/1038.27	c |   1776868 |     700    14000    70000 | 2147483647    59465    111 |  0.000 % |
1037.96/1038.42	c |   1777177 |     700    14000    70000 | 2147483647    59774    111 |  0.000 % |
1038.15/1038.62	c |   1777516 |     700    14000    70000 | 2147483647    60113    111 |  0.000 % |
1038.35/1038.82	c |   1777888 |     700    14000    70000 | 2147483647    60485    110 |  0.000 % |
1038.55/1039.07	c |   1778297 |     700    14000    70000 | 2147483647    60894    110 |  0.000 % |
1038.85/1039.30	c |   1778746 |     700    14000    70000 | 2147483647    61343    110 |  0.000 % |
1039.06/1039.55	c |   1779241 |     700    14000    70000 | 2147483647    61838    110 |  0.000 % |
1039.35/1039.85	c |   1779785 |     700    14000    70000 | 2147483647    62382    110 |  0.000 % |
1039.75/1040.21	c |   1780381 |     700    14000    70000 |    62597    56482    110 |  0.000 % |
1040.06/1040.54	c |   1781036 |     700    14000    70000 |    62597    57137    110 |  0.000 % |
1040.45/1040.93	c |   1781756 |     700    14000    70000 |    62597    57857    110 |  0.000 % |
1040.85/1041.38	c |   1782549 |     700    14000    70000 |    62597    58650    110 |  0.000 % |
1041.35/1041.84	c |   1783422 |     700    14000    70000 |    62597    59523    110 |  0.000 % |
1041.85/1042.37	c |   1784380 |     700    14000    70000 |    62597    60481    110 |  0.000 % |
1042.45/1042.97	c |   1785434 |     700    14000    70000 |    62597    61535    110 |  0.000 % |
1043.15/1043.62	c |   1786592 |     700    14000    70000 |    62597    62693    110 |  0.000 % |
1043.75/1044.30	c |   1787865 |     700    14000    70000 |    62597    57697    109 |  0.000 % |
1044.56/1045.04	c |   1789265 |     700    14000    70000 |    62597    59097    109 |  0.000 % |
1045.25/1045.79	c |   1790805 |     700    14000    70000 | 2147483647    60637    109 |  0.000 % |
1046.25/1046.70	c |   1792499 |     700    14000    70000 | 2147483647    62331    109 |  0.000 % |
1047.15/1047.69	c |   1794363 |     700    14000    70000 | 2147483647    64195    108 |  0.000 % |
1048.25/1048.77	c |   1796414 |     700    14000    70000 | 2147483647    66246    108 |  0.000 % |
1049.65/1050.18	c |   1798670 |     700    14000    70000 | 2147483647    68502    108 |  0.000 % |
1051.15/1051.69	c |   1801149 |     700    14000    70000 |    69833    63670    108 |  0.000 % |
1052.75/1053.29	c |   1803874 |     700    14000    70000 |    69833    66395    107 |  0.000 % |
1054.55/1055.05	c |   1806871 |     700    14000    70000 |    69833    69392    107 |  0.000 % |
1056.35/1056.89	c |   1810167 |     700    14000    70000 |    64491    64657    107 |  0.000 % |
1058.55/1059.01	c |   1813792 |     700    14000    70000 |    64491    61232    106 |  0.000 % |
1060.74/1061.28	c |   1817781 |     700    14000    70000 |    64491    58746    106 |  0.000 % |
1063.25/1063.74	c |   1822166 |     700    14000    70000 | 2147483647    63131    106 |  0.000 % |
1066.24/1066.72	c |   1826990 |     700    14000    70000 | 2147483647    67955    106 |  0.000 % |
1069.75/1070.25	c |   1832297 |     700    14000    70000 |    70965    64648    105 |  0.000 % |
1073.24/1073.77	c |   1838134 |     700    14000    70000 |    70965    70485    105 |  0.000 % |
1077.04/1077.58	c |   1844552 |     700    14000    70000 |    63650    60477    106 |  0.000 % |
1080.54/1081.08	c |   1851612 |     700    14000    70000 |    58773    53821    106 |  0.000 % |
1084.54/1085.05	c |   1859378 |     700    14000    70000 |    58773    55685    107 |  0.000 % |
1089.33/1089.80	c |   1867919 |     700    14000    70000 | 2147483647    64226    107 |  0.000 % |
1095.04/1095.57	c |   1877313 |     700    14000    70000 | 2147483647    73620    107 |  0.000 % |
1102.03/1102.50	c |   1887648 |     700    14000    70000 |    76307    72599    107 |  0.000 % |
1109.63/1110.19	c |   1899014 |     700    14000    70000 |    74951    71890    107 |  0.000 % |
1116.93/1117.49	c |   1911516 |     700    14000    70000 |    71552    62616    108 |  0.000 % |
1124.73/1125.29	c |   1925269 |     700    14000    70000 |    71101    66710    108 |  0.000 % |
1133.52/1134.08	c |   1940397 |     700    14000    70000 |    55892    49856    107 |  0.000 % |
1142.82/1143.31	c |   1957036 |     700    14000    70000 | 2147483647    60882    106 |  0.000 % |
1142.82/1143.38	c |   1957136 |     700    14000    70000 | 2147483647    60982    106 |  0.000 % |
1142.92/1143.44	c |   1957246 |     700    14000    70000 | 2147483647    61092    106 |  0.000 % |
1143.02/1143.51	c |   1957367 |     700    14000    70000 | 2147483647    61213    106 |  0.000 % |
1143.12/1143.60	c |   1957500 |     700    14000    70000 | 2147483647    61346    106 |  0.000 % |
1143.22/1143.74	c |   1957646 |     700    14000    70000 | 2147483647    61492    106 |  0.000 % |
1143.32/1143.84	c |   1957806 |     700    14000    70000 | 2147483647    61652    106 |  0.000 % |
1143.42/1143.95	c |   1957982 |     700    14000    70000 | 2147483647    61828    106 |  0.000 % |
1143.52/1144.06	c |   1958175 |     700    14000    70000 | 2147483647    62021    106 |  0.000 % |
1143.72/1144.21	c |   1958387 |     700    14000    70000 | 2147483647    62233    106 |  0.000 % |
1143.82/1144.34	c |   1958621 |     700    14000    70000 | 2147483647    62467    106 |  0.000 % |
1143.92/1144.48	c |   1958877 |     700    14000    70000 | 2147483647    62723    106 |  0.000 % |
1144.12/1144.65	c |   1959158 |     700    14000    70000 | 2147483647    63004    106 |  0.000 % |
1144.32/1144.83	c |   1959468 |     700    14000    70000 | 2147483647    63314    106 |  0.000 % |
1144.52/1145.04	c |   1959807 |     700    14000    70000 | 2147483647    63653    106 |  0.000 % |
1144.72/1145.26	c |   1960179 |     700    14000    70000 | 2147483647    64025    106 |  0.000 % |
1145.01/1145.51	c |   1960589 |     700    14000    70000 | 2147483647    64435    106 |  0.000 % |
1145.31/1145.83	c |   1961038 |     700    14000    70000 | 2147483647    64884    106 |  0.000 % |
1145.62/1146.18	c |   1961531 |     700    14000    70000 | 2147483647    65377    106 |  0.000 % |
1146.01/1146.58	c |   1962073 |     700    14000    70000 | 2147483647    65919    106 |  0.000 % |
1146.41/1146.95	c |   1962669 |     700    14000    70000 | 2147483647    66515    106 |  0.000 % |
1146.82/1147.39	c |   1963324 |     700    14000    70000 | 2147483647    67170    106 |  0.000 % |
1147.31/1147.83	c |   1964044 |     700    14000    70000 | 2147483647    67890    105 |  0.000 % |
1147.82/1148.32	c |   1964836 |     700    14000    70000 | 2147483647    68682    105 |  0.000 % |
1148.41/1148.91	c |   1965707 |     700    14000    70000 | 2147483647    69553    105 |  0.000 % |
1148.91/1149.48	c |   1966665 |     700    14000    70000 | 2147483647    70511    105 |  0.000 % |
1149.61/1150.13	c |   1967720 |     700    14000    70000 | 2147483647    71566    105 |  0.000 % |
1150.31/1150.87	c |   1968878 |     700    14000    70000 | 2147483647    72724    105 |  0.000 % |
1151.21/1151.70	c |   1970151 |     700    14000    70000 |    73846    73997    105 |  0.000 % |
1152.01/1152.58	c |   1971551 |     700    14000    70000 |    73846    65349    105 |  0.000 % |
1153.01/1153.56	c |   1973091 |     700    14000    70000 |    73846    66889    105 |  0.000 % |
1154.11/1154.60	c |   1974786 |     700    14000    70000 |    73846    68584    105 |  0.000 % |
1155.21/1155.73	c |   1976649 |     700    14000    70000 |    73846    70447    105 |  0.000 % |
1156.51/1157.04	c |   1978699 |     700    14000    70000 |    73846    72497    105 |  0.000 % |
1158.00/1158.52	c |   1980952 |     700    14000    70000 |    73798    64320    104 |  0.000 % |
1159.30/1159.85	c |   1983432 |     700    14000    70000 |    73798    66800    104 |  0.000 % |
1160.90/1161.40	c |   1986157 |     700    14000    70000 |    73798    69525    104 |  0.000 % |
1162.80/1163.31	c |   1989154 |     700    14000    70000 |    73798    72522    104 |  0.000 % |
1164.80/1165.34	c |   1992450 |     700    14000    70000 |    73371    66539    104 |  0.000 % |
1167.00/1167.52	c |   1996075 |     700    14000    70000 |    73371    70164    104 |  0.000 % |
1169.60/1170.14	c |   2000062 |     700    14000    70000 |    64307    64367    104 |  0.000 % |
1171.90/1172.45	c |   2004447 |     700    14000    70000 |    64307    60232    104 |  0.000 % |
1174.51/1175.07	c |   2009270 |     700    14000    70000 |    64307    58240    104 |  0.000 % |
1177.21/1177.70	c |   2014575 |     700    14000    70000 |    58975    57625    104 |  0.000 % |
1180.10/1180.64	c |   2020411 |     700    14000    70000 | 2147483647    57538    105 |  0.000 % |
1183.80/1184.36	c |   2026829 |     700    14000    70000 | 2147483647    63956    106 |  0.000 % |
1188.00/1188.50	c |   2033888 |     700    14000    70000 |    67130    63887    107 |  0.000 % |
1192.80/1193.33	c |   2041653 |     700    14000    70000 |    62421    56880    107 |  0.000 % |
1198.00/1198.57	c |   2050195 |     700    14000    70000 | 2147483647    59156    108 |  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-1832521-1242780994/watcher-1832521-1242780994 -o /tmp/evaluation-result-1832521-1242780994/solver-1832521-1242780994 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832521-1242780994.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.00 1.00 1.00 3/64 10811
/proc/meminfo: memFree=1799536/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306125396 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10811/statm: 1339 237 197 169 0 50 0

[startup+0.043767 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10811
/proc/meminfo: memFree=1799536/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306125396 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101776 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10811
/proc/meminfo: memFree=1799536/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301804 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10811
/proc/meminfo: memFree=1799536/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701858 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10811
/proc/meminfo: memFree=1799536/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1795616/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=5904 CPUtime=1.43
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 1188 0 0 0 143 0 0 0 25 0 1 0 306125402 6045696 1174 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 1476 1174 77 171 0 1303 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11260

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1792480/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=9864 CPUtime=3.03
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 2197 0 0 0 302 1 0 0 25 0 1 0 306125402 10100736 2183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 2466 2183 77 171 0 2293 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15220

[startup+6.30161 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1786144/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=15320 CPUtime=6.22
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 3538 0 0 0 620 2 0 0 25 0 1 0 306125402 15687680 3524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 3830 3524 77 171 0 3657 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 20676

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1778144/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=22528 CPUtime=12.63
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 5336 0 0 0 1259 4 0 0 25 0 1 0 306125402 23068672 5322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 5632 5322 77 171 0 5459 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27884

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1767840/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=32416 CPUtime=25.42
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 7797 0 0 0 2535 7 0 0 25 0 1 0 306125402 33193984 7783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 8104 7783 77 171 0 7931 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 37772

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1765408/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=34528 CPUtime=51
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 8349 0 0 0 5092 8 0 0 25 0 1 0 306125402 35356672 8335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 8632 8335 77 171 0 8459 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 39884

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1765280/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=34528 CPUtime=102.2
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 8349 0 0 0 10211 9 0 0 25 0 1 0 306125402 35356672 8335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 8632 8335 77 171 0 8459 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 39884

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1762208/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=37564 CPUtime=162.17
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9084 0 0 0 16206 11 0 0 25 0 1 0 306125402 38465536 9070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 9391 9070 77 171 0 9218 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 42920

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10817
/proc/meminfo: memFree=1761824/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=37816 CPUtime=222.15
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9166 0 0 0 22204 11 0 0 25 0 1 0 306125402 38723584 9152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 9454 9152 77 171 0 9281 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 43172

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1761440/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=37816 CPUtime=282.12
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9166 0 0 0 28200 12 0 0 25 0 1 0 306125402 38723584 9152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 9454 9152 77 171 0 9281 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 43172

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1761440/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=37816 CPUtime=342.09
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9167 0 0 0 34197 12 0 0 25 0 1 0 306125402 38723584 9153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 9454 9153 77 171 0 9281 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 43172

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1761376/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=37816 CPUtime=402.05
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9167 0 0 0 40193 12 0 0 25 0 1 0 306125402 38723584 9153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 9454 9153 77 171 0 9281 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 43172

[startup+462.301 s]

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

/proc/10817/statm: 10084 9795 77 171 0 9911 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 45692

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1758496/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=40332 CPUtime=641.97
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9854 0 0 0 64183 14 0 0 25 0 1 0 306125402 41299968 9795 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10083 9795 77 171 0 9910 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 45688

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1758368/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=40324 CPUtime=701.94
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9854 0 0 0 70180 14 0 0 25 0 1 0 306125402 41291776 9794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10081 9794 77 171 0 9908 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 45680

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1758240/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=40324 CPUtime=761.93
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9854 0 0 0 76178 15 0 0 25 0 1 0 306125402 41291776 9794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10081 9794 77 171 0 9908 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 45680

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1758176/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=40324 CPUtime=821.9
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 9854 0 0 0 82175 15 0 0 25 0 1 0 306125402 41291776 9794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10081 9794 77 171 0 9908 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 45680

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1756000/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=881.88
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 88172 16 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 47792

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1755872/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=941.86
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 94170 16 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 47792

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1755808/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=1001.84
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 100168 16 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 47792

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1755744/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=1061.81
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 106165 16 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 47792

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1755680/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=1121.79
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 112163 16 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 47792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1755552/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=1181.77
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 118160 17 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 47792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1755552/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=1199.97
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 119980 17 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 47792

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10823
/proc/meminfo: memFree=1755552/2055920 swapFree=4179968/4192956
[pid=10811] ppid=10809 vsize=5356 CPUtime=0.03
/proc/10811/stat : 10811 (SatELiteGTI) S 10809 10811 10737 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306125396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10811/statm: 1339 239 197 169 0 50 0
[pid=10817] ppid=10811 vsize=42436 CPUtime=1199.97
/proc/10817/stat : 10817 (minisat_static) R 10811 10811 10737 0 -1 4194304 10373 0 0 0 119980 17 0 0 25 0 1 0 306125402 43454464 10313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10817/statm: 10609 10313 77 171 0 10436 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 47792

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200
CPU user time (s): 1199.83
CPU system time (s): 0.17
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 47792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.033994
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 5

runsolver used 1.41078 second user time and 3.08353 second system time

The end

Launcher Data

Begin job on node71 at 2009-05-20 02:56:34
IDJOB=1832521
IDBENCH=70224
IDSOLVER=671
FILE ID=node71/1832521-1242780994
PBS_JOBID= 9322366
Free space on /tmp= 66300 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S962875623-008.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832521-1242780994/watcher-1832521-1242780994 -o /tmp/evaluation-result-1832521-1242780994/solver-1832521-1242780994 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832521-1242780994.cnf

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

MD5SUM BENCH= dc58d201aad12c2725ed362695aa3edc
RANDOM SEED=1029815745

node71.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.236
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.236
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:       1800080 kB
Buffers:         26176 kB
Cached:         192424 kB
SwapCached:       7092 kB
Active:          33268 kB
Inactive:       194132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800080 kB
SwapTotal:     4192956 kB
SwapFree:      4179968 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          13980 kB
Slab:            14500 kB
Committed_AS:   895112 kB
PageTables:       1440 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= 66300 MiB
End job on node71 at 2009-05-20 03:16:37