Trace number 1832525

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.06 1200.41

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
MD5SUM38e0bd101ebf8f53eafa7d9a988513ec
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.53731
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.014997 s
0.00/0.02	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  700                                                  |
0.00/0.04	c |  Number of clauses:    14000                                                |
0.00/0.05	c |  Parsing time:         0.01         s                                       |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     700    14000    70000 |     4666        0    nan |  0.000 % |
0.00/0.06	c |       102 |     700    14000    70000 |     4666      102    103 |  0.000 % |
0.00/0.07	c |       204 |     700    14000    70000 |     4666      204    101 |  0.000 % |
0.00/0.08	c |       304 |     700    14000    70000 |     4666      304     97 |  0.000 % |
0.00/0.09	c |       414 |     700    14000    70000 |     4666      414     95 |  0.000 % |
0.03/0.10	c |       514 |     700    14000    70000 |     4666      514     95 |  0.000 % |
0.03/0.11	c |       624 |     700    14000    70000 |     4666      624     97 |  0.000 % |
0.03/0.12	c |       745 |     700    14000    70000 |     4666      745     97 |  0.000 % |
0.03/0.12	c |       847 |     700    14000    70000 |     4666      847     97 |  0.000 % |
0.03/0.13	c |       957 |     700    14000    70000 |     4666      957     96 |  0.000 % |
0.03/0.14	c |      1078 |     700    14000    70000 |     4666     1078     96 |  0.000 % |
0.03/0.16	c |      1211 |     700    14000    70000 |     4666     1211     96 |  0.000 % |
0.03/0.16	c |      1311 |     700    14000    70000 |     4666     1311     96 |  0.000 % |
0.03/0.17	c |      1421 |     700    14000    70000 |     4666     1421     96 |  0.000 % |
0.03/0.18	c |      1542 |     700    14000    70000 |     4666     1542     95 |  0.000 % |
0.03/0.20	c |      1675 |     700    14000    70000 |     4666     1675     95 |  0.000 % |
0.03/0.21	c |      1822 |     700    14000    70000 |     4666     1822     96 |  0.000 % |
0.03/0.22	c |      1924 |     700    14000    70000 |     4666     1924     96 |  0.000 % |
0.03/0.23	c |      2034 |     700    14000    70000 |     4666     2034     96 |  0.000 % |
0.03/0.24	c |      2156 |     700    14000    70000 |     4666     2156     95 |  0.000 % |
0.03/0.25	c |      2289 |     700    14000    70000 |     4666     2289     95 |  0.000 % |
0.03/0.27	c |      2436 |     700    14000    70000 |     4666     2436     96 |  0.000 % |
0.03/0.28	c |      2596 |     700    14000    70000 |     4666     2596     96 |  0.000 % |
0.03/0.29	c |      2698 |     700    14000    70000 |     4666     2698     96 |  0.000 % |
0.03/0.30	c |      2810 |     700    14000    70000 |     4666     2810     95 |  0.000 % |
0.03/0.32	c |      2932 |     700    14000    70000 |     4666     2932     95 |  0.000 % |
0.03/0.33	c |      3065 |     700    14000    70000 |     4666     3065     95 |  0.000 % |
0.03/0.34	c |      3211 |     700    14000    70000 |     4666     3211     95 |  0.000 % |
0.03/0.36	c |      3371 |     700    14000    70000 |     4666     3371     95 |  0.000 % |
0.03/0.38	c |      3547 |     700    14000    70000 |     4666     3547     94 |  0.000 % |
0.03/0.39	c |      3647 |     700    14000    70000 |     4666     3647     95 |  0.000 % |
0.03/0.40	c |      3757 |     700    14000    70000 |     4666     3757     95 |  0.000 % |
0.03/0.41	c |      3878 |     700    14000    70000 |     4666     3878     95 |  0.000 % |
0.03/0.42	c |      4011 |     700    14000    70000 |     4666     4011     95 |  0.000 % |
0.03/0.44	c |      4159 |     700    14000    70000 |     4666     4159     95 |  0.000 % |
0.03/0.46	c |      4320 |     700    14000    70000 |     4666     4320     95 |  0.000 % |
0.03/0.48	c |      4497 |     700    14000    70000 |     4666     4497     95 |  0.000 % |
0.03/0.50	c |      4690 |     700    14000    70000 |     4666     4690     96 |  0.000 % |
0.03/0.51	c |      4790 |     700    14000    70000 |     4666     4321     94 |  0.000 % |
0.03/0.52	c |      4900 |     700    14000    70000 |     4666     4431     95 |  0.000 % |
0.03/0.54	c |      5021 |     700    14000    70000 |     4666     4552     95 |  0.000 % |
0.03/0.55	c |      5156 |     700    14000    70000 |     4666     4687     95 |  0.000 % |
0.03/0.57	c |      5302 |     700    14000    70000 |     4666     4365     94 |  0.000 % |
0.03/0.58	c |      5464 |     700    14000    70000 |     4666     4527     95 |  0.000 % |
0.03/0.60	c |      5640 |     700    14000    70000 |     4666     4703     95 |  0.000 % |
0.03/0.62	c |      5834 |     700    14000    70000 |     4666     4427     95 |  0.000 % |
0.03/0.64	c |      6047 |     700    14000    70000 |     4666     4640     95 |  0.000 % |
0.03/0.65	c |      6147 |     700    14000    70000 |     4666     4740     94 |  0.000 % |
0.03/0.67	c |      6257 |     700    14000    70000 |     4666     4376     94 |  0.000 % |
0.03/0.68	c |      6380 |     700    14000    70000 |     4666     4499     94 |  0.000 % |
0.03/0.69	c |      6514 |     700    14000    70000 |     4666     4633     94 |  0.000 % |
0.03/0.71	c |      6660 |     700    14000    70000 |     4666     4779     95 |  0.000 % |
0.03/0.73	c |      6821 |     700    14000    70000 |     4666     4463     94 |  0.000 % |
0.03/0.75	c |      6998 |     700    14000    70000 |     4666     4640     95 |  0.000 % |
0.03/0.77	c |      7193 |     700    14000    70000 |     4666     4835     95 |  0.000 % |
0.03/0.79	c |      7405 |     700    14000    70000 |     4666     4564     95 |  0.000 % |
0.03/0.82	c |      7638 |     700    14000    70000 |     4666     4797     95 |  0.000 % |
0.03/0.83	c |      7738 |     700    14000    70000 |     4666     4418     95 |  0.000 % |
0.03/0.84	c |      7848 |     700    14000    70000 |     4666     4528     95 |  0.000 % |
0.03/0.85	c |      7971 |     700    14000    70000 |     4666     4651     94 |  0.000 % |
0.03/0.87	c |      8107 |     700    14000    70000 |     4666     4787     95 |  0.000 % |
0.03/0.88	c |      8254 |     700    14000    70000 |     4666     4456     95 |  0.000 % |
0.03/0.90	c |      8414 |     700    14000    70000 |     4666     4616     94 |  0.000 % |
0.03/0.92	c |      8590 |     700    14000    70000 |     4666     4792     94 |  0.000 % |
0.03/0.94	c |      8783 |     700    14000    70000 |     4666     4506     94 |  0.000 % |
0.03/0.96	c |      8996 |     700    14000    70000 |     4666     4719     94 |  0.000 % |
0.03/0.98	c |      9231 |     700    14000    70000 |     4666     4483     95 |  0.000 % |
0.97/1.02	c |      9488 |     700    14000    70000 |     4666     4740     95 |  0.000 % |
0.97/1.03	c |      9589 |     700    14000    70000 |     4666     4367     94 |  0.000 % |
0.97/1.04	c |      9699 |     700    14000    70000 |     4666     4477     94 |  0.000 % |
0.97/1.06	c |      9821 |     700    14000    70000 |     4666     4599     94 |  0.000 % |
0.97/1.07	c |      9954 |     700    14000    70000 |     4666     4732     94 |  0.000 % |
0.97/1.09	c |     10101 |     700    14000    70000 | 2147483647     4406     94 |  0.000 % |
1.07/1.11	c |     10261 |     700    14000    70000 | 2147483647     4566     93 |  0.000 % |
1.07/1.13	c |     10439 |     700    14000    70000 | 2147483647     4744     93 |  0.000 % |
1.07/1.15	c |     10633 |     700    14000    70000 | 2147483647     4938     93 |  0.000 % |
1.07/1.17	c |     10845 |     700    14000    70000 | 2147483647     5150     93 |  0.000 % |
1.17/1.20	c |     11079 |     700    14000    70000 | 2147483647     5384     93 |  0.000 % |
1.17/1.23	c |     11335 |     700    14000    70000 | 2147483647     5640     93 |  0.000 % |
1.17/1.26	c |     11617 |     700    14000    70000 | 2147483647     5922     93 |  0.000 % |
1.17/1.27	c |     11718 |     700    14000    70000 | 2147483647     6023     93 |  0.000 % |
1.17/1.28	c |     11828 |     700    14000    70000 | 2147483647     6133     93 |  0.000 % |
1.27/1.30	c |     11949 |     700    14000    70000 | 2147483647     6254     93 |  0.000 % |
1.27/1.31	c |     12082 |     700    14000    70000 | 2147483647     6387     93 |  0.000 % |
1.27/1.33	c |     12228 |     700    14000    70000 | 2147483647     6533     93 |  0.000 % |
1.27/1.35	c |     12389 |     700    14000    70000 | 2147483647     6694     93 |  0.000 % |
1.27/1.37	c |     12566 |     700    14000    70000 | 2147483647     6871     93 |  0.000 % |
1.37/1.40	c |     12759 |     700    14000    70000 | 2147483647     7064     94 |  0.000 % |
1.37/1.42	c |     12971 |     700    14000    70000 | 2147483647     7276     94 |  0.000 % |
1.37/1.45	c |     13208 |     700    14000    70000 | 2147483647     7513     94 |  0.000 % |
1.37/1.48	c |     13467 |     700    14000    70000 | 2147483647     7772     93 |  0.000 % |
1.47/1.52	c |     13749 |     700    14000    70000 | 2147483647     8054     94 |  0.000 % |
1.47/1.56	c |     14060 |     700    14000    70000 | 2147483647     8365     94 |  0.000 % |
1.47/1.58	c |     14162 |     700    14000    70000 | 2147483647     8467     94 |  0.000 % |
1.47/1.59	c |     14272 |     700    14000    70000 | 2147483647     8577     94 |  0.000 % |
1.56/1.61	c |     14397 |     700    14000    70000 | 2147483647     8702     94 |  0.000 % |
1.56/1.62	c |     14530 |     700    14000    70000 | 2147483647     8835     94 |  0.000 % |
1.56/1.64	c |     14676 |     700    14000    70000 | 2147483647     8981     94 |  0.000 % |
1.56/1.66	c |     14836 |     700    14000    70000 | 2147483647     9141     94 |  0.000 % |
1.56/1.69	c |     15014 |     700    14000    70000 | 2147483647     9319     94 |  0.000 % |
1.66/1.71	c |     15207 |     700    14000    70000 | 2147483647     9512     94 |  0.000 % |
1.66/1.74	c |     15421 |     700    14000    70000 | 2147483647     9726     94 |  0.000 % |
1.66/1.78	c |     15655 |     700    14000    70000 | 2147483647     9960     94 |  0.000 % |
1.76/1.82	c |     15912 |     700    14000    70000 | 2147483647    10217     94 |  0.000 % |
1.76/1.86	c |     16193 |     700    14000    70000 | 2147483647    10498     95 |  0.000 % |
1.86/1.90	c |     16503 |     700    14000    70000 | 2147483647    10808     95 |  0.000 % |
1.86/1.95	c |     16842 |     700    14000    70000 | 2147483647    11147     95 |  0.000 % |
1.86/1.97	c |     16943 |     700    14000    70000 | 2147483647    11248     95 |  0.000 % |
1.86/1.98	c |     17054 |     700    14000    70000 | 2147483647    11359     95 |  0.000 % |
1.96/2.00	c |     17176 |     700    14000    70000 | 2147483647    11481     95 |  0.000 % |
1.96/2.02	c |     17309 |     700    14000    70000 | 2147483647    11614     95 |  0.000 % |
1.96/2.04	c |     17455 |     700    14000    70000 | 2147483647    11760     95 |  0.000 % |
1.96/2.07	c |     17615 |     700    14000    70000 | 2147483647    11920     95 |  0.000 % |
1.96/2.10	c |     17794 |     700    14000    70000 | 2147483647    12099     95 |  0.000 % |
2.07/2.12	c |     17988 |     700    14000    70000 | 2147483647    12293     95 |  0.000 % |
2.07/2.16	c |     18200 |     700    14000    70000 | 2147483647    12505     95 |  0.000 % |
2.07/2.20	c |     18433 |     700    14000    70000 | 2147483647    12738     95 |  0.000 % |
2.18/2.24	c |     18691 |     700    14000    70000 | 2147483647    12996     95 |  0.000 % |
2.18/2.28	c |     18972 |     700    14000    70000 | 2147483647    13277     95 |  0.000 % |
2.27/2.33	c |     19281 |     700    14000    70000 | 2147483647    13586     95 |  0.000 % |
2.27/2.40	c |     19620 |     700    14000    70000 | 2147483647    13925     95 |  0.000 % |
2.37/2.45	c |     19992 |     700    14000    70000 | 2147483647    14297     95 |  0.000 % |
2.37/2.47	c |     20094 |     700    14000    70000 | 2147483647    14399     95 |  0.000 % |
2.37/2.49	c |     20204 |     700    14000    70000 | 2147483647    14509     95 |  0.000 % |
2.47/2.51	c |     20326 |     700    14000    70000 | 2147483647    14631     95 |  0.000 % |
2.47/2.54	c |     20459 |     700    14000    70000 | 2147483647    14764     95 |  0.000 % |
2.47/2.57	c |     20605 |     700    14000    70000 | 2147483647    14910     95 |  0.000 % |
2.57/2.60	c |     20765 |     700    14000    70000 | 2147483647    15070     95 |  0.000 % |
2.57/2.63	c |     20941 |     700    14000    70000 | 2147483647    15246     95 |  0.000 % |
2.57/2.67	c |     21135 |     700    14000    70000 | 2147483647    15440     95 |  0.000 % |
2.67/2.71	c |     21348 |     700    14000    70000 | 2147483647    15653     95 |  0.000 % |
2.67/2.75	c |     21583 |     700    14000    70000 | 2147483647    15888     95 |  0.000 % |
2.77/2.81	c |     21840 |     700    14000    70000 | 2147483647    16145     95 |  0.000 % |
2.77/2.86	c |     22122 |     700    14000    70000 | 2147483647    16427     95 |  0.000 % |
2.87/2.91	c |     22431 |     700    14000    70000 | 2147483647    16736     95 |  0.000 % |
2.87/2.98	c |     22771 |     700    14000    70000 | 2147483647    17076     96 |  0.000 % |
2.97/3.05	c |     23143 |     700    14000    70000 | 2147483647    17448     96 |  0.000 % |
3.07/3.13	c |     23552 |     700    14000    70000 | 2147483647    17857     96 |  0.000 % |
3.07/3.15	c |     23653 |     700    14000    70000 | 2147483647    17958     96 |  0.000 % |
3.07/3.18	c |     23767 |     700    14000    70000 | 2147483647    18072     96 |  0.000 % |
3.17/3.20	c |     23890 |     700    14000    70000 | 2147483647    18195     96 |  0.000 % |
3.17/3.23	c |     24024 |     700    14000    70000 | 2147483647    18329     96 |  0.000 % |
3.17/3.26	c |     24171 |     700    14000    70000 | 2147483647    18476     96 |  0.000 % |
3.17/3.30	c |     24331 |     700    14000    70000 | 2147483647    18636     96 |  0.000 % |
3.27/3.34	c |     24507 |     700    14000    70000 | 2147483647    18812     96 |  0.000 % |
3.27/3.38	c |     24700 |     700    14000    70000 | 2147483647    19005     96 |  0.000 % |
3.37/3.42	c |     24912 |     700    14000    70000 | 2147483647    19217     96 |  0.000 % |
3.37/3.48	c |     25145 |     700    14000    70000 | 2147483647    19450     96 |  0.000 % |
3.46/3.53	c |     25401 |     700    14000    70000 | 2147483647    19706     96 |  0.000 % |
3.46/3.59	c |     25683 |     700    14000    70000 | 2147483647    19988     96 |  0.000 % |
3.57/3.66	c |     25992 |     700    14000    70000 | 2147483647    20297     96 |  0.000 % |
3.67/3.73	c |     26331 |     700    14000    70000 | 2147483647    20636     96 |  0.000 % |
3.77/3.81	c |     26705 |     700    14000    70000 | 2147483647    21010     96 |  0.000 % |
3.87/3.92	c |     27114 |     700    14000    70000 | 2147483647    21419     96 |  0.000 % |
3.97/4.03	c |     27564 |     700    14000    70000 | 2147483647    21869     96 |  0.000 % |
3.97/4.05	c |     27665 |     700    14000    70000 | 2147483647    21970     96 |  0.000 % |
3.97/4.08	c |     27775 |     700    14000    70000 | 2147483647    22080     96 |  0.000 % |
4.07/4.12	c |     27897 |     700    14000    70000 | 2147483647    22202     96 |  0.000 % |
4.07/4.15	c |     28030 |     700    14000    70000 | 2147483647    22335     96 |  0.000 % |
4.07/4.19	c |     28176 |     700    14000    70000 | 2147483647    22481     96 |  0.000 % |
4.16/4.23	c |     28338 |     700    14000    70000 | 2147483647    22643     96 |  0.000 % |
4.16/4.27	c |     28514 |     700    14000    70000 | 2147483647    22819     96 |  0.000 % |
4.27/4.33	c |     28709 |     700    14000    70000 | 2147483647    23014     96 |  0.000 % |
4.27/4.38	c |     28923 |     700    14000    70000 | 2147483647    23228     96 |  0.000 % |
4.37/4.44	c |     29157 |     700    14000    70000 | 2147483647    23462     96 |  0.000 % |
4.46/4.50	c |     29414 |     700    14000    70000 | 2147483647    23719     96 |  0.000 % |
4.46/4.57	c |     29695 |     700    14000    70000 | 2147483647    24000     96 |  0.000 % |
4.57/4.65	c |     30004 |     700    14000    70000 | 2147483647    24309     96 |  0.000 % |
4.67/4.74	c |     30343 |     700    14000    70000 | 2147483647    24648     96 |  0.000 % |
4.77/4.84	c |     30716 |     700    14000    70000 | 2147483647    25021     96 |  0.000 % |
4.87/4.94	c |     31125 |     700    14000    70000 | 2147483647    25430     96 |  0.000 % |
4.97/5.05	c |     31575 |     700    14000    70000 | 2147483647    25880     97 |  0.000 % |
5.07/5.19	c |     32068 |     700    14000    70000 | 2147483647    26373     96 |  0.000 % |
5.17/5.22	c |     32169 |     700    14000    70000 | 2147483647    26474     96 |  0.000 % |
5.17/5.25	c |     32280 |     700    14000    70000 | 2147483647    26585     96 |  0.000 % |
5.17/5.29	c |     32401 |     700    14000    70000 | 2147483647    26706     96 |  0.000 % |
5.27/5.33	c |     32537 |     700    14000    70000 | 2147483647    26842     96 |  0.000 % |
5.27/5.38	c |     32683 |     700    14000    70000 | 2147483647    26988     96 |  0.000 % |
5.37/5.42	c |     32843 |     700    14000    70000 | 2147483647    27148     96 |  0.000 % |
5.37/5.47	c |     33019 |     700    14000    70000 | 2147483647    27324     97 |  0.000 % |
5.47/5.53	c |     33212 |     700    14000    70000 | 2147483647    27517     97 |  0.000 % |
5.47/5.59	c |     33424 |     700    14000    70000 | 2147483647    27729     96 |  0.000 % |
5.57/5.66	c |     33659 |     700    14000    70000 | 2147483647    27964     96 |  0.000 % |
5.67/5.74	c |     33915 |     700    14000    70000 | 2147483647    28220     97 |  0.000 % |
5.76/5.82	c |     34197 |     700    14000    70000 | 2147483647    28502     97 |  0.000 % |
5.86/5.90	c |     34506 |     700    14000    70000 | 2147483647    28811     96 |  0.000 % |
5.96/6.01	c |     34845 |     700    14000    70000 | 2147483647    29150     97 |  0.000 % |
6.07/6.12	c |     35218 |     700    14000    70000 | 2147483647    29523     97 |  0.000 % |
6.17/6.24	c |     35628 |     700    14000    70000 | 2147483647    29933     97 |  0.000 % |
6.27/6.37	c |     36078 |     700    14000    70000 | 2147483647    30383     97 |  0.000 % |
6.47/6.53	c |     36573 |     700    14000    70000 | 2147483647    30878     97 |  0.000 % |
6.57/6.70	c |     37115 |     700    14000    70000 | 2147483647    31420     97 |  0.000 % |
6.67/6.73	c |     37215 |     700    14000    70000 | 2147483647    31520     97 |  0.000 % |
6.67/6.76	c |     37325 |     700    14000    70000 | 2147483647    31630     97 |  0.000 % |
6.77/6.81	c |     37448 |     700    14000    70000 | 2147483647    31753     97 |  0.000 % |
6.77/6.86	c |     37581 |     700    14000    70000 | 2147483647    31886     97 |  0.000 % |
6.87/6.91	c |     37727 |     700    14000    70000 | 2147483647    32032     97 |  0.000 % |
6.87/6.95	c |     37887 |     700    14000    70000 | 2147483647    32192     97 |  0.000 % |
6.97/7.01	c |     38064 |     700    14000    70000 | 2147483647    32369     97 |  0.000 % |
6.97/7.08	c |     38258 |     700    14000    70000 | 2147483647    32563     97 |  0.000 % |
7.07/7.16	c |     38471 |     700    14000    70000 | 2147483647    32776     97 |  0.000 % |
7.17/7.24	c |     38705 |     700    14000    70000 | 2147483647    33010     97 |  0.000 % |
7.27/7.32	c |     38961 |     700    14000    70000 | 2147483647    33266     97 |  0.000 % |
7.36/7.42	c |     39242 |     700    14000    70000 | 2147483647    33547     97 |  0.000 % |
7.46/7.52	c |     39551 |     700    14000    70000 | 2147483647    33856     97 |  0.000 % |
7.57/7.65	c |     39892 |     700    14000    70000 | 2147483647    34197     97 |  0.000 % |
7.67/7.79	c |     40265 |     700    14000    70000 | 2147483647    34570     97 |  0.000 % |
7.86/7.93	c |     40675 |     700    14000    70000 | 2147483647    34980     97 |  0.000 % |
7.96/8.08	c |     41125 |     700    14000    70000 | 2147483647    35430     97 |  0.000 % |
8.16/8.26	c |     41620 |     700    14000    70000 | 2147483647    35925     97 |  0.000 % |
8.36/8.44	c |     42162 |     700    14000    70000 | 2147483647    36467     97 |  0.000 % |
8.56/8.64	c |     42758 |     700    14000    70000 | 2147483647    37063     97 |  0.000 % |
8.56/8.68	c |     42860 |     700    14000    70000 | 2147483647    37165     97 |  0.000 % |
8.67/8.72	c |     42972 |     700    14000    70000 | 2147483647    37277     97 |  0.000 % |
8.67/8.76	c |     43093 |     700    14000    70000 | 2147483647    37398     97 |  0.000 % |
8.77/8.81	c |     43226 |     700    14000    70000 | 2147483647    37531     97 |  0.000 % |
8.77/8.87	c |     43373 |     700    14000    70000 | 2147483647    37678     97 |  0.000 % |
8.87/8.93	c |     43535 |     700    14000    70000 | 2147483647    37840     97 |  0.000 % |
8.97/9.01	c |     43713 |     700    14000    70000 | 2147483647    38018     97 |  0.000 % |
8.97/9.09	c |     43907 |     700    14000    70000 | 2147483647    38212     97 |  0.000 % |
9.07/9.17	c |     44122 |     700    14000    70000 | 2147483647    38427     97 |  0.000 % |
9.17/9.26	c |     44356 |     700    14000    70000 | 2147483647    38661     97 |  0.000 % |
9.27/9.35	c |     44613 |     700    14000    70000 | 2147483647    38918     97 |  0.000 % |
9.37/9.45	c |     44894 |     700    14000    70000 | 2147483647    39199     97 |  0.000 % |
9.47/9.57	c |     45206 |     700    14000    70000 | 2147483647    39511     97 |  0.000 % |
9.57/9.69	c |     45545 |     700    14000    70000 | 2147483647    39850     97 |  0.000 % |
9.77/9.85	c |     45917 |     700    14000    70000 | 2147483647    40222     97 |  0.000 % |
9.97/10.02	c |     46327 |     700    14000    70000 | 2147483647    40632     97 |  0.000 % |
10.17/10.22	c |     46776 |     700    14000    70000 | 2147483647    41081     97 |  0.000 % |
10.37/10.41	c |     47269 |     700    14000    70000 | 2147483647    41574     97 |  0.000 % |
10.57/10.61	c |     47814 |     700    14000    70000 | 2147483647    42119     97 |  0.000 % |
10.77/10.85	c |     48410 |     700    14000    70000 | 2147483647    42715     97 |  0.000 % |
10.97/11.08	c |     49065 |     700    14000    70000 | 2147483647    43370     97 |  0.000 % |
11.07/11.14	c |     49166 |     700    14000    70000 | 2147483647    43471     97 |  0.000 % |
11.07/11.18	c |     49276 |     700    14000    70000 | 2147483647    43581     97 |  0.000 % |
11.17/11.23	c |     49397 |     700    14000    70000 | 2147483647    43702     97 |  0.000 % |
11.27/11.30	c |     49532 |     700    14000    70000 | 2147483647    43837     97 |  0.000 % |
11.27/11.38	c |     49678 |     700    14000    70000 | 2147483647    43983     97 |  0.000 % |
11.37/11.45	c |     49838 |     700    14000    70000 | 2147483647    44143     97 |  0.000 % |
11.47/11.53	c |     50014 |     700    14000    70000 | 2147483647    44319     97 |  0.000 % |
11.57/11.62	c |     50207 |     700    14000    70000 | 2147483647    44512     97 |  0.000 % |
11.67/11.72	c |     50419 |     700    14000    70000 | 2147483647    44724     97 |  0.000 % |
11.77/11.83	c |     50652 |     700    14000    70000 | 2147483647    44957     97 |  0.000 % |
11.87/11.95	c |     50910 |     700    14000    70000 | 2147483647    45215     97 |  0.000 % |
11.97/12.07	c |     51191 |     700    14000    70000 | 2147483647    45496     97 |  0.000 % |
12.17/12.21	c |     51502 |     700    14000    70000 | 2147483647    45807     97 |  0.000 % |
12.27/12.37	c |     51841 |     700    14000    70000 | 2147483647    46146     97 |  0.000 % |
12.47/12.54	c |     52213 |     700    14000    70000 | 2147483647    46518     97 |  0.000 % |
12.67/12.72	c |     52622 |     700    14000    70000 | 2147483647    46927     97 |  0.000 % |
12.86/12.90	c |     53072 |     700    14000    70000 | 2147483647    47377     97 |  0.000 % |
13.07/13.13	c |     53565 |     700    14000    70000 | 2147483647    47870     97 |  0.000 % |
13.26/13.35	c |     54107 |     700    14000    70000 | 2147483647    48412     97 |  0.000 % |
13.57/13.63	c |     54704 |     700    14000    70000 | 2147483647    49009     97 |  0.000 % |
13.77/13.89	c |     55359 |     700    14000    70000 | 2147483647    49664     97 |  0.000 % |
14.17/14.21	c |     56079 |     700    14000    70000 | 2147483647    50384     98 |  0.000 % |
14.17/14.28	c |     56180 |     700    14000    70000 | 2147483647    50485     98 |  0.000 % |
14.27/14.34	c |     56290 |     700    14000    70000 | 2147483647    50595     98 |  0.000 % |
14.37/14.40	c |     56415 |     700    14000    70000 | 2147483647    50720     98 |  0.000 % |
14.37/14.47	c |     56549 |     700    14000    70000 | 2147483647    50854     98 |  0.000 % |
14.47/14.56	c |     56696 |     700    14000    70000 | 2147483647    51001     98 |  0.000 % |
14.57/14.64	c |     56856 |     700    14000    70000 | 2147483647    51161     98 |  0.000 % |
14.67/14.73	c |     57034 |     700    14000    70000 | 2147483647    51339     98 |  0.000 % |
14.77/14.84	c |     57227 |     700    14000    70000 | 2147483647    51532     98 |  0.000 % |
14.87/14.95	c |     57439 |     700    14000    70000 | 2147483647    51744     98 |  0.000 % |
14.96/15.06	c |     57672 |     700    14000    70000 | 2147483647    51977     98 |  0.000 % |
15.06/15.18	c |     57928 |     700    14000    70000 | 2147483647    52233     98 |  0.000 % |
15.27/15.33	c |     58209 |     700    14000    70000 | 2147483647    52514     98 |  0.000 % |
15.37/15.48	c |     58518 |     700    14000    70000 | 2147483647    52823     98 |  0.000 % |
15.56/15.65	c |     58857 |     700    14000    70000 | 2147483647    53162     98 |  0.000 % |
15.76/15.84	c |     59231 |     700    14000    70000 | 2147483647    53536     98 |  0.000 % |
15.96/16.04	c |     59644 |     700    14000    70000 | 2147483647    53949     98 |  0.000 % |
16.16/16.25	c |     60093 |     700    14000    70000 | 2147483647    54398     98 |  0.000 % |
16.46/16.52	c |     60587 |     700    14000    70000 | 2147483647    54892     98 |  0.000 % |
16.76/16.81	c |     61129 |     700    14000    70000 | 2147483647    55434     98 |  0.000 % |
17.06/17.13	c |     61725 |     700    14000    70000 | 2147483647    56030     98 |  0.000 % |
17.36/17.46	c |     62380 |     700    14000    70000 | 2147483647    56685     98 |  0.000 % |
17.77/17.83	c |     63100 |     700    14000    70000 | 2147483647    57405     98 |  0.000 % |
18.17/18.24	c |     63893 |     700    14000    70000 | 2147483647    58198     98 |  0.000 % |
18.27/18.30	c |     63994 |     700    14000    70000 | 2147483647    58299     98 |  0.000 % |
18.27/18.37	c |     64104 |     700    14000    70000 | 2147483647    58409     98 |  0.000 % |
18.37/18.44	c |     64226 |     700    14000    70000 | 2147483647    58531     98 |  0.000 % |
18.47/18.51	c |     64360 |     700    14000    70000 | 2147483647    58665     98 |  0.000 % |
18.47/18.59	c |     64506 |     700    14000    70000 | 2147483647    58811     98 |  0.000 % |
18.57/18.70	c |     64668 |     700    14000    70000 | 2147483647    58973     98 |  0.000 % |
18.77/18.81	c |     64845 |     700    14000    70000 | 2147483647    59150     98 |  0.000 % |
18.87/18.92	c |     65038 |     700    14000    70000 | 2147483647    59343     98 |  0.000 % |
18.97/19.08	c |     65252 |     700    14000    70000 | 2147483647    59557     98 |  0.000 % |
19.17/19.20	c |     65486 |     700    14000    70000 | 2147483647    59791     98 |  0.000 % |
19.27/19.35	c |     65742 |     700    14000    70000 | 2147483647    60047     98 |  0.000 % |
19.47/19.50	c |     66024 |     700    14000    70000 | 2147483647    60329     98 |  0.000 % |
19.67/19.70	c |     66335 |     700    14000    70000 | 2147483647    60640     98 |  0.000 % |
19.77/19.89	c |     66677 |     700    14000    70000 | 2147483647    60982     98 |  0.000 % |
20.07/20.10	c |     67049 |     700    14000    70000 | 2147483647    61354     98 |  0.000 % |
20.27/20.34	c |     67460 |     700    14000    70000 | 2147483647    61765     98 |  0.000 % |
20.47/20.59	c |     67909 |     700    14000    70000 | 2147483647    62214     98 |  0.000 % |
20.77/20.87	c |     68402 |     700    14000    70000 | 2147483647    62707     98 |  0.000 % |
21.06/21.16	c |     68944 |     700    14000    70000 | 2147483647    63249     98 |  0.000 % |
21.36/21.48	c |     69543 |     700    14000    70000 | 2147483647    63848     98 |  0.000 % |
21.76/21.87	c |     70198 |     700    14000    70000 | 2147483647    64503     98 |  0.000 % |
22.16/22.27	c |     70919 |     700    14000    70000 | 2147483647    65224     98 |  0.000 % |
22.66/22.74	c |     71713 |     700    14000    70000 | 2147483647    66018     98 |  0.000 % |
23.16/23.24	c |     72584 |     700    14000    70000 | 2147483647    66889     98 |  0.000 % |
23.26/23.31	c |     72687 |     700    14000    70000 | 2147483647    66992     98 |  0.000 % |
23.26/23.39	c |     72798 |     700    14000    70000 | 2147483647    67103     98 |  0.000 % |
23.36/23.47	c |     72920 |     700    14000    70000 | 2147483647    67225     98 |  0.000 % |
23.46/23.55	c |     73053 |     700    14000    70000 | 2147483647    67358     98 |  0.000 % |
23.57/23.66	c |     73200 |     700    14000    70000 | 2147483647    67505     98 |  0.000 % |
23.67/23.75	c |     73360 |     700    14000    70000 | 2147483647    67665     98 |  0.000 % |
23.77/23.87	c |     73536 |     700    14000    70000 | 2147483647    67841     98 |  0.000 % |
23.97/24.03	c |     73730 |     700    14000    70000 | 2147483647    68035     98 |  0.000 % |
24.07/24.16	c |     73942 |     700    14000    70000 | 2147483647    68247     98 |  0.000 % |
24.27/24.32	c |     74175 |     700    14000    70000 | 2147483647    68480     98 |  0.000 % |
24.37/24.47	c |     74431 |     700    14000    70000 | 2147483647    68736     98 |  0.000 % |
24.57/24.66	c |     74715 |     700    14000    70000 | 2147483647    69020     98 |  0.000 % |
24.77/24.85	c |     75026 |     700    14000    70000 | 2147483647    69331     98 |  0.000 % |
25.07/25.10	c |     75367 |     700    14000    70000 | 2147483647    69672     98 |  0.000 % |
25.27/25.34	c |     75739 |     700    14000    70000 | 2147483647    70044     98 |  0.000 % |
25.57/25.62	c |     76148 |     700    14000    70000 | 2147483647    70453     98 |  0.000 % |
25.86/25.91	c |     76598 |     700    14000    70000 | 2147483647    70903     98 |  0.000 % |
26.16/26.25	c |     77091 |     700    14000    70000 | 2147483647    71396     98 |  0.000 % |
26.56/26.62	c |     77634 |     700    14000    70000 | 2147483647    71939     98 |  0.000 % |
26.86/27.00	c |     78231 |     700    14000    70000 | 2147483647    72536     98 |  0.000 % |
27.37/27.45	c |     78886 |     700    14000    70000 | 2147483647    73191     98 |  0.000 % |
27.86/27.91	c |     79606 |     700    14000    70000 | 2147483647    73911     98 |  0.000 % |
28.36/28.43	c |     80399 |     700    14000    70000 |    74308    64422     99 |  0.000 % |
28.86/28.94	c |     81271 |     700    14000    70000 |    74308    65294     99 |  0.000 % |
29.46/29.51	c |     82230 |     700    14000    70000 |    74308    66253     99 |  0.000 % |
29.46/29.56	c |     82330 |     700    14000    70000 |    74308    66353     99 |  0.000 % |
29.56/29.63	c |     82441 |     700    14000    70000 |    74308    66464     99 |  0.000 % |
29.66/29.72	c |     82563 |     700    14000    70000 |    74308    66586     99 |  0.000 % |
29.76/29.83	c |     82697 |     700    14000    70000 |    74308    66720     99 |  0.000 % |
29.86/29.95	c |     82843 |     700    14000    70000 |    74308    66866     99 |  0.000 % |
29.96/30.05	c |     83005 |     700    14000    70000 |    74308    67028     99 |  0.000 % |
30.06/30.18	c |     83181 |     700    14000    70000 |    74308    67204     99 |  0.000 % |
30.26/30.32	c |     83375 |     700    14000    70000 |    74308    67398     99 |  0.000 % |
30.36/30.46	c |     83587 |     700    14000    70000 |    74308    67610     99 |  0.000 % |
30.56/30.62	c |     83821 |     700    14000    70000 |    74308    67844     99 |  0.000 % |
30.66/30.78	c |     84079 |     700    14000    70000 |    74308    68102     99 |  0.000 % |
30.96/31.00	c |     84361 |     700    14000    70000 |    74308    68384     99 |  0.000 % |
31.16/31.21	c |     84670 |     700    14000    70000 |    74308    68693     99 |  0.000 % |
31.36/31.44	c |     85010 |     700    14000    70000 |    74308    69033     99 |  0.000 % |
31.66/31.70	c |     85382 |     700    14000    70000 |    74308    69405     99 |  0.000 % |
31.86/31.98	c |     85792 |     700    14000    70000 |    74308    69815     99 |  0.000 % |
32.16/32.27	c |     86242 |     700    14000    70000 |    74308    70265     99 |  0.000 % |
32.46/32.58	c |     86736 |     700    14000    70000 |    74308    70759     99 |  0.000 % |
32.76/32.87	c |     87278 |     700    14000    70000 |    74308    71301     99 |  0.000 % |
33.16/33.23	c |     87874 |     700    14000    70000 |    74308    71897     99 |  0.000 % |
33.56/33.62	c |     88531 |     700    14000    70000 |    74308    72554     99 |  0.000 % |
34.06/34.12	c |     89254 |     700    14000    70000 |    74308    73277     99 |  0.000 % |
34.56/34.66	c |     90047 |     700    14000    70000 |    74024    74070     99 |  0.000 % |
35.16/35.24	c |     90918 |     700    14000    70000 |    74024    63802     99 |  0.000 % |
35.66/35.79	c |     91876 |     700    14000    70000 |    74024    64760     99 |  0.000 % |
36.26/36.39	c |     92929 |     700    14000    70000 |    74024    65813     99 |  0.000 % |
36.36/36.45	c |     93029 |     700    14000    70000 |    74024    65913     99 |  0.000 % |
36.46/36.53	c |     93139 |     700    14000    70000 |    74024    66023     99 |  0.000 % |
36.56/36.62	c |     93264 |     700    14000    70000 |    74024    66148     99 |  0.000 % |
36.66/36.70	c |     93399 |     700    14000    70000 |    74024    66283     99 |  0.000 % |
36.66/36.79	c |     93545 |     700    14000    70000 |    74024    66429     99 |  0.000 % |
36.86/36.91	c |     93706 |     700    14000    70000 |    74024    66590     99 |  0.000 % |
36.96/37.03	c |     93883 |     700    14000    70000 |    74024    66767     99 |  0.000 % |
37.06/37.15	c |     94077 |     700    14000    70000 |    74024    66961     99 |  0.000 % |
37.26/37.33	c |     94289 |     700    14000    70000 |    74024    67173     99 |  0.000 % |
37.36/37.50	c |     94522 |     700    14000    70000 |    74024    67406     99 |  0.000 % |
37.56/37.67	c |     94778 |     700    14000    70000 |    74024    67662     99 |  0.000 % |
37.76/37.84	c |     95059 |     700    14000    70000 |    74024    67943     99 |  0.000 % |
37.96/38.05	c |     95368 |     700    14000    70000 |    74024    68252     99 |  0.000 % |
38.16/38.27	c |     95708 |     700    14000    70000 |    74024    68592     99 |  0.000 % |
38.46/38.52	c |     96082 |     700    14000    70000 |    74024    68966     99 |  0.000 % |
38.76/38.81	c |     96491 |     700    14000    70000 |    74024    69375     99 |  0.000 % |
39.06/39.10	c |     96941 |     700    14000    70000 |    74024    69825     99 |  0.000 % |
39.36/39.40	c |     97434 |     700    14000    70000 |    74024    70318     99 |  0.000 % |
39.66/39.75	c |     97976 |     700    14000    70000 |    74024    70860     99 |  0.000 % |
40.06/40.16	c |     98575 |     700    14000    70000 |    74024    71459     99 |  0.000 % |
40.56/40.64	c |     99230 |     700    14000    70000 |    74024    72114     99 |  0.000 % |
40.96/41.09	c |     99950 |     700    14000    70000 |    74024    72834     99 |  0.000 % |
41.56/41.61	c |    100742 |     700    14000    70000 |    72884    62388     99 |  0.000 % |
41.96/42.09	c |    101613 |     700    14000    70000 |    72884    63259     99 |  0.000 % |
42.46/42.59	c |    102571 |     700    14000    70000 |    72884    64217     99 |  0.000 % |
43.16/43.22	c |    103624 |     700    14000    70000 |    72884    65270     99 |  0.000 % |
43.86/43.91	c |    104786 |     700    14000    70000 |    72884    66432    100 |  0.000 % |
43.86/43.98	c |    104886 |     700    14000    70000 |    72884    66532    100 |  0.000 % |
43.96/44.04	c |    104996 |     700    14000    70000 |    72884    66642    100 |  0.000 % |
44.06/44.12	c |    105117 |     700    14000    70000 |    72884    66763    100 |  0.000 % |
44.16/44.21	c |    105250 |     700    14000    70000 |    72884    66896    100 |  0.000 % |
44.26/44.30	c |    105396 |     700    14000    70000 |    72884    67042    100 |  0.000 % |
44.36/44.40	c |    105557 |     700    14000    70000 |    72884    67203    100 |  0.000 % |
44.46/44.56	c |    105733 |     700    14000    70000 |    72884    67379    100 |  0.000 % |
44.56/44.67	c |    105926 |     700    14000    70000 |    72884    67572    100 |  0.000 % |
44.76/44.81	c |    106139 |     700    14000    70000 |    72884    67785    100 |  0.000 % |
44.86/44.96	c |    106372 |     700    14000    70000 |    72884    68018    100 |  0.000 % |
45.06/45.12	c |    106630 |     700    14000    70000 |    72884    68276    100 |  0.000 % |
45.16/45.29	c |    106913 |     700    14000    70000 |    72884    68559    100 |  0.000 % |
45.36/45.49	c |    107223 |     700    14000    70000 |    72884    68869    100 |  0.000 % |
45.66/45.70	c |    107563 |     700    14000    70000 |    72884    69209    100 |  0.000 % |
45.86/45.99	c |    107936 |     700    14000    70000 |    72884    69582    100 |  0.000 % |
46.16/46.28	c |    108346 |     700    14000    70000 |    72884    69992    100 |  0.000 % |
46.46/46.58	c |    108795 |     700    14000    70000 |    72884    70441    100 |  0.000 % |
46.86/46.90	c |    109288 |     700    14000    70000 |    72884    70934    100 |  0.000 % |
47.16/47.25	c |    109830 |     700    14000    70000 |    72884    71476    100 |  0.000 % |
47.55/47.67	c |    110427 |     700    14000    70000 |    71649    61662    100 |  0.000 % |
47.95/48.03	c |    111082 |     700    14000    70000 |    71649    62317    100 |  0.000 % |
48.36/48.47	c |    111802 |     700    14000    70000 |    71649    63037    100 |  0.000 % |
48.85/48.94	c |    112596 |     700    14000    70000 |    71649    63831    100 |  0.000 % |
49.36/49.48	c |    113468 |     700    14000    70000 |    71649    64703    100 |  0.000 % |
49.95/50.07	c |    114429 |     700    14000    70000 |    71649    65664    100 |  0.000 % |
50.65/50.73	c |    115483 |     700    14000    70000 |    71649    66718    100 |  0.000 % |
51.35/51.41	c |    116641 |     700    14000    70000 |    71649    67876    100 |  0.000 % |
52.05/52.19	c |    117914 |     700    14000    70000 |    71649    69149    100 |  0.000 % |
52.15/52.25	c |    118014 |     700    14000    70000 |    71649    69249    100 |  0.000 % |
52.25/52.34	c |    118125 |     700    14000    70000 |    71649    69360    100 |  0.000 % |
52.35/52.42	c |    118246 |     700    14000    70000 |    71649    69481    100 |  0.000 % |
52.45/52.52	c |    118380 |     700    14000    70000 |    71649    69615    100 |  0.000 % |
52.55/52.62	c |    118529 |     700    14000    70000 |    71649    69764    100 |  0.000 % |
52.66/52.76	c |    118690 |     700    14000    70000 |    71649    69925    100 |  0.000 % |
52.76/52.87	c |    118866 |     700    14000    70000 |    71649    70101    100 |  0.000 % |
52.95/53.00	c |    119060 |     700    14000    70000 |    71649    70295    100 |  0.000 % |
53.05/53.16	c |    119273 |     700    14000    70000 |    71649    70508    100 |  0.000 % |
53.25/53.30	c |    119507 |     700    14000    70000 |    71649    70742    100 |  0.000 % |
53.45/53.50	c |    119767 |     700    14000    70000 |    71649    71002    100 |  0.000 % |
53.65/53.70	c |    120049 |     700    14000    70000 |    71235    71284    100 |  0.000 % |
53.86/53.93	c |    120361 |     700    14000    70000 |    71235    61418    100 |  0.000 % |
54.05/54.13	c |    120701 |     700    14000    70000 |    71235    61758    100 |  0.000 % |
54.25/54.35	c |    121073 |     700    14000    70000 |    71235    62130    100 |  0.000 % |
54.56/54.61	c |    121482 |     700    14000    70000 |    71235    62539    100 |  0.000 % |
54.76/54.89	c |    121931 |     700    14000    70000 |    71235    62988    100 |  0.000 % |
55.06/55.18	c |    122425 |     700    14000    70000 |    71235    63482    100 |  0.000 % |
55.36/55.49	c |    122967 |     700    14000    70000 |    71235    64024    100 |  0.000 % |
55.76/55.82	c |    123563 |     700    14000    70000 |    71235    64620    100 |  0.000 % |
56.16/56.23	c |    124221 |     700    14000    70000 |    71235    65278    100 |  0.000 % |
56.56/56.63	c |    124943 |     700    14000    70000 |    71235    66000    100 |  0.000 % |
57.06/57.12	c |    125737 |     700    14000    70000 |    71235    66794    100 |  0.000 % |
57.56/57.62	c |    126609 |     700    14000    70000 |    71235    67666    100 |  0.000 % |
58.16/58.22	c |    127567 |     700    14000    70000 |    71235    68624    100 |  0.000 % |
58.86/58.90	c |    128621 |     700    14000    70000 |    71235    69678    100 |  0.000 % |
59.56/59.61	c |    129780 |     700    14000    70000 |    71235    70837    100 |  0.000 % |
60.26/60.36	c |    131053 |     700    14000    70000 |    71059    62495    100 |  0.000 % |
61.16/61.21	c |    132455 |     700    14000    70000 |    71059    63897    101 |  0.000 % |
61.16/61.28	c |    132555 |     700    14000    70000 |    71059    63997    101 |  0.000 % |
61.26/61.35	c |    132665 |     700    14000    70000 |    71059    64107    101 |  0.000 % |
61.36/61.44	c |    132788 |     700    14000    70000 |    71059    64230    101 |  0.000 % |
61.46/61.52	c |    132925 |     700    14000    70000 |    71059    64367    101 |  0.000 % |
61.56/61.62	c |    133076 |     700    14000    70000 |    71059    64518    101 |  0.000 % |
61.66/61.73	c |    133237 |     700    14000    70000 |    71059    64679    101 |  0.000 % |
61.76/61.84	c |    133415 |     700    14000    70000 |    71059    64857    101 |  0.000 % |
61.86/61.96	c |    133608 |     700    14000    70000 |    71059    65050    100 |  0.000 % |
61.96/62.07	c |    133823 |     700    14000    70000 |    71059    65265    100 |  0.000 % |
62.16/62.20	c |    134056 |     700    14000    70000 |    71059    65498    100 |  0.000 % |
62.26/62.38	c |    134315 |     700    14000    70000 |    71059    65757    100 |  0.000 % |
62.46/62.57	c |    134596 |     700    14000    70000 |    71059    66038    100 |  0.000 % |
62.66/62.77	c |    134907 |     700    14000    70000 |    71059    66349    100 |  0.000 % |
62.86/62.99	c |    135246 |     700    14000    70000 |    71059    66688    100 |  0.000 % |
63.16/63.22	c |    135618 |     700    14000    70000 |    71059    67060    100 |  0.000 % |
63.36/63.47	c |    136027 |     700    14000    70000 |    71059    67469    100 |  0.000 % |
63.66/63.79	c |    136477 |     700    14000    70000 |    71059    67919    100 |  0.000 % |
64.06/64.13	c |    136970 |     700    14000    70000 |    71059    68412    100 |  0.000 % |
64.36/64.48	c |    137512 |     700    14000    70000 |    71059    68954    100 |  0.000 % |
64.76/64.89	c |    138108 |     700    14000    70000 |    71059    69550    100 |  0.000 % |
65.26/65.31	c |    138765 |     700    14000    70000 |    71059    70207    100 |  0.000 % |
65.66/65.79	c |    139485 |     700    14000    70000 |    71059    70927    100 |  0.000 % |
66.26/66.34	c |    140277 |     700    14000    70000 |    61392    53184    100 |  0.000 % |
66.66/66.79	c |    141148 |     700    14000    70000 |    61392    54055    100 |  0.000 % |
67.16/67.25	c |    142106 |     700    14000    70000 |    61392    55013    100 |  0.000 % |
67.66/67.73	c |    143159 |     700    14000    70000 |    61392    56066    100 |  0.000 % |
68.26/68.32	c |    144318 |     700    14000    70000 |    61392    57225    100 |  0.000 % |
68.86/68.97	c |    145594 |     700    14000    70000 |    61392    58501    100 |  0.000 % |
69.66/69.77	c |    146994 |     700    14000    70000 |    61392    59901    101 |  0.000 % |
70.56/70.67	c |    148534 |     700    14000    70000 |    61392    61441    101 |  0.000 % |
70.66/70.77	c |    148635 |     700    14000    70000 |    61392    55398    100 |  0.000 % |
70.76/70.83	c |    148745 |     700    14000    70000 |    61392    55508    100 |  0.000 % |
70.76/70.89	c |    148866 |     700    14000    70000 |    61392    55629    100 |  0.000 % |
70.86/70.97	c |    149001 |     700    14000    70000 |    61392    55764    100 |  0.000 % |
70.96/71.06	c |    149147 |     700    14000    70000 |    61392    55910    100 |  0.000 % |
71.06/71.15	c |    149309 |     700    14000    70000 |    61392    56072    100 |  0.000 % |
71.16/71.27	c |    149488 |     700    14000    70000 |    61392    56251    100 |  0.000 % |
71.26/71.37	c |    149683 |     700    14000    70000 |    61392    56446    100 |  0.000 % |
71.36/71.47	c |    149895 |     700    14000    70000 |    61392    56658    100 |  0.000 % |
71.46/71.58	c |    150129 |     700    14000    70000 | 2147483647    56892    100 |  0.000 % |
71.66/71.71	c |    150385 |     700    14000    70000 | 2147483647    57148    100 |  0.000 % |
71.76/71.85	c |    150668 |     700    14000    70000 | 2147483647    57431    100 |  0.000 % |
71.96/72.01	c |    150979 |     700    14000    70000 | 2147483647    57742    100 |  0.000 % |
72.06/72.19	c |    151318 |     700    14000    70000 | 2147483647    58081    100 |  0.000 % |
72.26/72.40	c |    151690 |     700    14000    70000 | 2147483647    58453    100 |  0.000 % |
72.56/72.61	c |    152099 |     700    14000    70000 | 2147483647    58862    100 |  0.000 % |
72.76/72.88	c |    152548 |     700    14000    70000 | 2147483647    59311    100 |  0.000 % |
73.06/73.16	c |    153043 |     700    14000    70000 | 2147483647    59806    100 |  0.000 % |
73.36/73.48	c |    153586 |     700    14000    70000 | 2147483647    60349    100 |  0.000 % |
73.76/73.85	c |    154182 |     700    14000    70000 | 2147483647    60945    100 |  0.000 % |
74.16/74.24	c |    154838 |     700    14000    70000 | 2147483647    61601    100 |  0.000 % |
74.56/74.65	c |    155558 |     700    14000    70000 | 2147483647    62321    100 |  0.000 % |
75.06/75.13	c |    156352 |     700    14000    70000 | 2147483647    63115    100 |  0.000 % |
75.56/75.65	c |    157224 |     700    14000    70000 | 2147483647    63987    100 |  0.000 % |
76.05/76.18	c |    158182 |     700    14000    70000 | 2147483647    64945    100 |  0.000 % |
76.75/76.86	c |    159235 |     700    14000    70000 | 2147483647    65998    100 |  0.000 % |
77.45/77.56	c |    160393 |     700    14000    70000 |    66766    59810    101 |  0.000 % |
78.15/78.23	c |    161667 |     700    14000    70000 |    66766    61084    101 |  0.000 % |
78.95/79.01	c |    163069 |     700    14000    70000 |    66766    62486    101 |  0.000 % |
79.85/79.94	c |    164609 |     700    14000    70000 |    66766    64026    101 |  0.000 % |
80.85/80.91	c |    166303 |     700    14000    70000 |    66766    65720    101 |  0.000 % |
80.85/80.98	c |    166403 |     700    14000    70000 |    66766    65820    101 |  0.000 % |
80.95/81.05	c |    166513 |     700    14000    70000 |    66766    65930    101 |  0.000 % |
81.05/81.14	c |    166634 |     700    14000    70000 |    66766    66051    101 |  0.000 % |
81.15/81.24	c |    166768 |     700    14000    70000 |    66766    66185    101 |  0.000 % |
81.26/81.32	c |    166915 |     700    14000    70000 |    66766    66332    101 |  0.000 % |
81.36/81.44	c |    167077 |     700    14000    70000 |    66766    66494    101 |  0.000 % |
81.45/81.58	c |    167253 |     700    14000    70000 |    66766    66670    101 |  0.000 % |
81.65/81.71	c |    167446 |     700    14000    70000 |    66766    66863    101 |  0.000 % |
81.75/81.88	c |    167658 |     700    14000    70000 |    66766    59444    101 |  0.000 % |
81.95/82.02	c |    167892 |     700    14000    70000 |    66766    59678    101 |  0.000 % |
82.05/82.17	c |    168148 |     700    14000    70000 |    66766    59934    101 |  0.000 % |
82.25/82.33	c |    168429 |     700    14000    70000 |    66766    60215    101 |  0.000 % |
82.46/82.52	c |    168738 |     700    14000    70000 |    66766    60524    101 |  0.000 % |
82.55/82.69	c |    169077 |     700    14000    70000 |    66766    60863    101 |  0.000 % |
82.85/82.91	c |    169450 |     700    14000    70000 |    66766    61236    101 |  0.000 % |
83.05/83.14	c |    169859 |     700    14000    70000 |    66766    61645    101 |  0.000 % |
83.35/83.42	c |    170308 |     700    14000    70000 |    61789    55131    100 |  0.000 % |
83.56/83.65	c |    170801 |     700    14000    70000 |    61789    55624    100 |  0.000 % |
83.85/83.91	c |    171345 |     700    14000    70000 |    61789    56168    100 |  0.000 % |
84.15/84.21	c |    171943 |     700    14000    70000 |    61789    56766    100 |  0.000 % |
84.45/84.55	c |    172598 |     700    14000    70000 |    61789    57421    100 |  0.000 % |
84.85/84.96	c |    173318 |     700    14000    70000 |    61789    58141    100 |  0.000 % |
85.35/85.42	c |    174110 |     700    14000    70000 |    61789    58933    100 |  0.000 % |
85.76/85.87	c |    174981 |     700    14000    70000 |    61789    59804    101 |  0.000 % |
86.25/86.36	c |    175939 |     700    14000    70000 |    61789    60762    101 |  0.000 % |
86.86/86.95	c |    176992 |     700    14000    70000 |    61789    61815    101 |  0.000 % |
87.45/87.53	c |    178150 |     700    14000    70000 |    61789    56792    101 |  0.000 % |
88.15/88.21	c |    179423 |     700    14000    70000 |    61789    58065    101 |  0.000 % |
88.85/88.94	c |    180824 |     700    14000    70000 | 2147483647    59466    101 |  0.000 % |
89.65/89.75	c |    182365 |     700    14000    70000 | 2147483647    61007    101 |  0.000 % |
90.45/90.55	c |    184060 |     700    14000    70000 | 2147483647    62702    101 |  0.000 % |
91.55/91.64	c |    185924 |     700    14000    70000 | 2147483647    64566    101 |  0.000 % |
91.55/91.70	c |    186024 |     700    14000    70000 | 2147483647    64666    101 |  0.000 % |
91.65/91.78	c |    186134 |     700    14000    70000 | 2147483647    64776    101 |  0.000 % |
91.75/91.86	c |    186255 |     700    14000    70000 | 2147483647    64897    101 |  0.000 % |
91.85/91.95	c |    186389 |     700    14000    70000 | 2147483647    65031    101 |  0.000 % |
91.95/92.05	c |    186536 |     700    14000    70000 | 2147483647    65178    101 |  0.000 % |
92.05/92.17	c |    186696 |     700    14000    70000 | 2147483647    65338    101 |  0.000 % |
92.15/92.28	c |    186872 |     700    14000    70000 | 2147483647    65514    101 |  0.000 % |
92.35/92.40	c |    187065 |     700    14000    70000 | 2147483647    65707    101 |  0.000 % |
92.45/92.56	c |    187277 |     700    14000    70000 | 2147483647    65919    101 |  0.000 % |
92.65/92.72	c |    187511 |     700    14000    70000 | 2147483647    66153    101 |  0.000 % |
92.85/92.90	c |    187767 |     700    14000    70000 | 2147483647    66409    101 |  0.000 % |
92.95/93.09	c |    188048 |     700    14000    70000 | 2147483647    66690    101 |  0.000 % |
93.15/93.28	c |    188358 |     700    14000    70000 | 2147483647    67000    101 |  0.000 % |
93.45/93.50	c |    188699 |     700    14000    70000 | 2147483647    67341    101 |  0.000 % |
93.65/93.75	c |    189071 |     700    14000    70000 | 2147483647    67713    101 |  0.000 % |
93.95/94.01	c |    189481 |     700    14000    70000 | 2147483647    68123    101 |  0.000 % |
94.15/94.28	c |    189933 |     700    14000    70000 | 2147483647    68575    101 |  0.000 % |
94.55/94.61	c |    190426 |     700    14000    70000 |    68643    61200    100 |  0.000 % |
94.75/94.88	c |    190969 |     700    14000    70000 |    68643    61743    100 |  0.000 % |
95.15/95.20	c |    191565 |     700    14000    70000 |    68643    62339    100 |  0.000 % |
95.55/95.60	c |    192222 |     700    14000    70000 |    68643    62996    100 |  0.000 % |
95.95/96.02	c |    192943 |     700    14000    70000 |    68643    63717    100 |  0.000 % |
96.35/96.47	c |    193735 |     700    14000    70000 |    68643    64509    100 |  0.000 % |
96.85/96.96	c |    194610 |     700    14000    70000 |    68643    65384    101 |  0.000 % |
97.35/97.46	c |    195569 |     700    14000    70000 |    68643    66343    101 |  0.000 % |
98.05/98.13	c |    196622 |     700    14000    70000 |    68643    67396    101 |  0.000 % |
98.75/98.85	c |    197781 |     700    14000    70000 |    68643    68555    101 |  0.000 % |
99.55/99.61	c |    199055 |     700    14000    70000 |    68643    61077    101 |  0.000 % |
100.25/100.37	c |    200456 |     700    14000    70000 |    62024    54990    101 |  0.000 % |
101.05/101.11	c |    201996 |     700    14000    70000 |    62024    56530    101 |  0.000 % |
101.85/101.97	c |    203691 |     700    14000    70000 |    62024    58225    101 |  0.000 % |
102.75/102.89	c |    205554 |     700    14000    70000 |    62024    60088    101 |  0.000 % |
103.95/104.01	c |    207606 |     700    14000    70000 |    62024    62140    101 |  0.000 % |
104.05/104.10	c |    207706 |     700    14000    70000 |    62024    56026    102 |  0.000 % |
104.05/104.16	c |    207816 |     700    14000    70000 |    62024    56136    102 |  0.000 % |
104.15/104.23	c |    207938 |     700    14000    70000 |    62024    56258    102 |  0.000 % |
104.25/104.30	c |    208071 |     700    14000    70000 |    62024    56391    102 |  0.000 % |
104.25/104.39	c |    208219 |     700    14000    70000 |    62024    56539    102 |  0.000 % |
104.35/104.49	c |    208379 |     700    14000    70000 |    62024    56699    102 |  0.000 % |
104.45/104.59	c |    208555 |     700    14000    70000 |    62024    56875    102 |  0.000 % |
104.65/104.70	c |    208749 |     700    14000    70000 |    62024    57069    102 |  0.000 % |
104.75/104.83	c |    208962 |     700    14000    70000 |    62024    57282    102 |  0.000 % |
104.85/104.97	c |    209195 |     700    14000    70000 |    62024    57515    102 |  0.000 % |
105.05/105.11	c |    209452 |     700    14000    70000 |    62024    57772    102 |  0.000 % |
105.15/105.28	c |    209733 |     700    14000    70000 |    62024    58053    102 |  0.000 % |
105.35/105.44	c |    210044 |     700    14000    70000 | 2147483647    58364    102 |  0.000 % |
105.55/105.66	c |    210383 |     700    14000    70000 | 2147483647    58703    102 |  0.000 % |
105.75/105.87	c |    210755 |     700    14000    70000 | 2147483647    59075    102 |  0.000 % |
105.95/106.09	c |    211166 |     700    14000    70000 | 2147483647    59486    102 |  0.000 % |
106.25/106.33	c |    211617 |     700    14000    70000 | 2147483647    59937    101 |  0.000 % |
106.55/106.61	c |    212110 |     700    14000    70000 | 2147483647    60430    101 |  0.000 % |
106.75/106.88	c |    212656 |     700    14000    70000 | 2147483647    60976    101 |  0.000 % |
107.15/107.25	c |    213252 |     700    14000    70000 | 2147483647    61572    101 |  0.000 % |
107.55/107.60	c |    213907 |     700    14000    70000 | 2147483647    62227    101 |  0.000 % |
107.85/107.98	c |    214627 |     700    14000    70000 | 2147483647    62947    102 |  0.000 % |
108.35/108.41	c |    215419 |     700    14000    70000 | 2147483647    63739    102 |  0.000 % |
108.85/108.90	c |    216291 |     700    14000    70000 | 2147483647    64611    102 |  0.000 % |
109.35/109.47	c |    217249 |     700    14000    70000 | 2147483647    65569    102 |  0.000 % |
109.95/110.10	c |    218302 |     700    14000    70000 | 2147483647    66622    102 |  0.000 % |
110.65/110.74	c |    219460 |     700    14000    70000 | 2147483647    67780    102 |  0.000 % |
111.45/111.52	c |    220734 |     700    14000    70000 |    68321    61622    102 |  0.000 % |
112.24/112.31	c |    222135 |     700    14000    70000 |    68321    63023    102 |  0.000 % |
113.04/113.15	c |    223677 |     700    14000    70000 |    68321    64565    102 |  0.000 % |
114.04/114.10	c |    225371 |     700    14000    70000 |    68321    66259    102 |  0.000 % |
115.14/115.20	c |    227234 |     700    14000    70000 |    68321    68122    102 |  0.000 % |
116.24/116.38	c |    229284 |     700    14000    70000 |    68321    62806    101 |  0.000 % |
117.55/117.64	c |    231538 |     700    14000    70000 |    63523    58479    102 |  0.000 % |
117.65/117.71	c |    231639 |     700    14000    70000 |    63523    58580    102 |  0.000 % |
117.65/117.77	c |    231750 |     700    14000    70000 |    63523    58691    102 |  0.000 % |
117.74/117.85	c |    231871 |     700    14000    70000 |    63523    58812    102 |  0.000 % |
117.84/117.93	c |    232007 |     700    14000    70000 |    63523    58948    102 |  0.000 % |
117.94/118.02	c |    232154 |     700    14000    70000 |    63523    59095    102 |  0.000 % |
118.04/118.13	c |    232314 |     700    14000    70000 |    63523    59255    102 |  0.000 % |
118.14/118.23	c |    232490 |     700    14000    70000 |    63523    59431    102 |  0.000 % |
118.24/118.34	c |    232684 |     700    14000    70000 |    63523    59625    102 |  0.000 % |
118.34/118.46	c |    232896 |     700    14000    70000 |    63523    59837    102 |  0.000 % |
118.44/118.60	c |    233130 |     700    14000    70000 |    63523    60071    102 |  0.000 % |
118.64/118.73	c |    233387 |     700    14000    70000 |    63523    60328    102 |  0.000 % |
118.74/118.88	c |    233668 |     700    14000    70000 |    63523    60609    102 |  0.000 % |
118.94/119.05	c |    233977 |     700    14000    70000 |    63523    60918    102 |  0.000 % |
119.14/119.22	c |    234319 |     700    14000    70000 |    63523    61260    102 |  0.000 % |
119.34/119.42	c |    234693 |     700    14000    70000 |    63523    61634    102 |  0.000 % |
119.54/119.66	c |    235102 |     700    14000    70000 |    63523    62043    102 |  0.000 % |
119.84/119.93	c |    235551 |     700    14000    70000 |    63523    62492    102 |  0.000 % |
120.14/120.23	c |    236044 |     700    14000    70000 |    63523    62985    102 |  0.000 % |
120.44/120.56	c |    236587 |     700    14000    70000 |    63523    63528    102 |  0.000 % |
120.84/120.92	c |    237184 |     700    14000    70000 |    63523    57546    101 |  0.000 % |
121.14/121.23	c |    237840 |     700    14000    70000 |    63523    58202    101 |  0.000 % |
121.54/121.61	c |    238561 |     700    14000    70000 |    63523    58923    101 |  0.000 % |
121.94/122.05	c |    239353 |     700    14000    70000 |    63523    59715    101 |  0.000 % |
122.44/122.53	c |    240225 |     700    14000    70000 | 2147483647    60587    101 |  0.000 % |
122.94/123.04	c |    241183 |     700    14000    70000 | 2147483647    61545    101 |  0.000 % |
123.44/123.60	c |    242236 |     700    14000    70000 | 2147483647    62598    101 |  0.000 % |
124.15/124.25	c |    243395 |     700    14000    70000 | 2147483647    63757    102 |  0.000 % |
124.94/125.00	c |    244668 |     700    14000    70000 | 2147483647    65030    102 |  0.000 % |
125.64/125.79	c |    246068 |     700    14000    70000 | 2147483647    66430    102 |  0.000 % |
126.54/126.67	c |    247608 |     700    14000    70000 | 2147483647    67970    102 |  0.000 % |
127.54/127.65	c |    249304 |     700    14000    70000 | 2147483647    69666    102 |  0.000 % |
128.74/128.81	c |    251168 |     700    14000    70000 |    70364    63043    102 |  0.000 % |
129.84/129.99	c |    253219 |     700    14000    70000 |    70364    65094    102 |  0.000 % |
131.24/131.31	c |    255472 |     700    14000    70000 |    70364    67347    102 |  0.000 % |
132.64/132.79	c |    257950 |     700    14000    70000 |    70364    69825    102 |  0.000 % |
132.74/132.85	c |    258054 |     700    14000    70000 |    70364    69929    102 |  0.000 % |
132.84/132.94	c |    258165 |     700    14000    70000 |    70364    70040    102 |  0.000 % |
132.94/133.03	c |    258287 |     700    14000    70000 |    70364    70162    102 |  0.000 % |
133.04/133.11	c |    258420 |     700    14000    70000 |    70364    70295    102 |  0.000 % |
133.13/133.21	c |    258566 |     700    14000    70000 |    70364    70441    102 |  0.000 % |
133.23/133.36	c |    258726 |     700    14000    70000 |    70364    61860    102 |  0.000 % |
133.33/133.46	c |    258903 |     700    14000    70000 |    70364    62037    102 |  0.000 % |
133.43/133.60	c |    259096 |     700    14000    70000 |    70364    62230    102 |  0.000 % |
133.63/133.73	c |    259309 |     700    14000    70000 |    70364    62443    102 |  0.000 % |
133.73/133.87	c |    259542 |     700    14000    70000 |    70364    62676    102 |  0.000 % |
133.93/134.04	c |    259799 |     700    14000    70000 |    70364    62933    102 |  0.000 % |
134.14/134.21	c |    260080 |     700    14000    70000 |    63135    63214    102 |  0.000 % |
134.33/134.41	c |    260391 |     700    14000    70000 |    63135    55610    102 |  0.000 % |
134.53/134.61	c |    260734 |     700    14000    70000 |    63135    55953    101 |  0.000 % |
134.73/134.80	c |    261106 |     700    14000    70000 |    63135    56325    101 |  0.000 % |
134.83/134.99	c |    261517 |     700    14000    70000 |    63135    56736    101 |  0.000 % |
135.14/135.24	c |    261966 |     700    14000    70000 |    63135    57185    102 |  0.000 % |
135.43/135.51	c |    262460 |     700    14000    70000 |    63135    57679    101 |  0.000 % |
135.73/135.80	c |    263003 |     700    14000    70000 |    63135    58222    101 |  0.000 % |
136.03/136.14	c |    263599 |     700    14000    70000 |    63135    58818    101 |  0.000 % |
136.43/136.52	c |    264254 |     700    14000    70000 |    63135    59473    102 |  0.000 % |
136.83/136.91	c |    264974 |     700    14000    70000 |    63135    60193    101 |  0.000 % |
137.23/137.31	c |    265768 |     700    14000    70000 |    63135    60987    102 |  0.000 % |
137.73/137.80	c |    266639 |     700    14000    70000 |    63135    61858    102 |  0.000 % |
138.23/138.32	c |    267598 |     700    14000    70000 |    63135    62817    102 |  0.000 % |
138.83/138.95	c |    268652 |     700    14000    70000 |    63135    57302    102 |  0.000 % |
139.43/139.55	c |    269810 |     700    14000    70000 |    63135    58460    102 |  0.000 % |
140.03/140.17	c |    271085 |     700    14000    70000 |    58651    53732    102 |  0.000 % |
140.74/140.89	c |    272485 |     700    14000    70000 |    58651    55132    102 |  0.000 % |
141.53/141.69	c |    274025 |     700    14000    70000 |    58651    56672    102 |  0.000 % |
142.43/142.54	c |    275722 |     700    14000    70000 |    58651    58369    102 |  0.000 % |
143.43/143.51	c |    277587 |     700    14000    70000 |    58651    54345    102 |  0.000 % |
144.33/144.45	c |    279636 |     700    14000    70000 |    58651    56394    102 |  0.000 % |
145.43/145.53	c |    281889 |     700    14000    70000 | 2147483647    58647    102 |  0.000 % |
146.73/146.87	c |    284368 |     700    14000    70000 | 2147483647    61126    102 |  0.000 % |
148.33/148.44	c |    287093 |     700    14000    70000 | 2147483647    63851    102 |  0.000 % |
148.43/148.52	c |    287195 |     700    14000    70000 | 2147483647    63953    102 |  0.000 % |
148.53/148.61	c |    287305 |     700    14000    70000 | 2147483647    64063    102 |  0.000 % |
148.53/148.68	c |    287426 |     700    14000    70000 | 2147483647    64184    102 |  0.000 % |
148.63/148.76	c |    287562 |     700    14000    70000 | 2147483647    64320    102 |  0.000 % |
148.73/148.87	c |    287709 |     700    14000    70000 | 2147483647    64467    102 |  0.000 % |
148.83/148.99	c |    287871 |     700    14000    70000 | 2147483647    64629    102 |  0.000 % |
149.03/149.11	c |    288047 |     700    14000    70000 | 2147483647    64805    102 |  0.000 % |
149.13/149.24	c |    288240 |     700    14000    70000 | 2147483647    64998    102 |  0.000 % |
149.23/149.37	c |    288452 |     700    14000    70000 | 2147483647    65210    102 |  0.000 % |
149.44/149.52	c |    288686 |     700    14000    70000 | 2147483647    65444    102 |  0.000 % |
149.54/149.68	c |    288942 |     700    14000    70000 | 2147483647    65700    102 |  0.000 % |
149.74/149.85	c |    289224 |     700    14000    70000 | 2147483647    65982    102 |  0.000 % |
149.94/150.03	c |    289534 |     700    14000    70000 | 2147483647    66292    102 |  0.000 % |
150.14/150.25	c |    289873 |     700    14000    70000 | 2147483647    66631    102 |  0.000 % |
150.34/150.49	c |    290247 |     700    14000    70000 | 2147483647    67005    102 |  0.000 % |
150.64/150.76	c |    290656 |     700    14000    70000 | 2147483647    67414    102 |  0.000 % |
150.94/151.03	c |    291105 |     700    14000    70000 | 2147483647    67863    102 |  0.000 % |
151.24/151.35	c |    291599 |     700    14000    70000 | 2147483647    68357    102 |  0.000 % |
151.64/151.74	c |    292142 |     700    14000    70000 | 2147483647    68900    102 |  0.000 % |
152.04/152.11	c |    292738 |     700    14000    70000 | 2147483647    69496    102 |  0.000 % |
152.44/152.52	c |    293395 |     700    14000    70000 | 2147483647    70153    102 |  0.000 % |
152.94/153.01	c |    294116 |     700    14000    70000 | 2147483647    70874    102 |  0.000 % |
153.34/153.48	c |    294908 |     700    14000    70000 | 2147483647    71666    102 |  0.000 % |
153.94/154.03	c |    295779 |     700    14000    70000 | 2147483647    72537    102 |  0.000 % |
154.53/154.64	c |    296739 |     700    14000    70000 | 2147483647    73497    102 |  0.000 % |
155.23/155.31	c |    297793 |     700    14000    70000 | 2147483647    74551    102 |  0.000 % |
155.93/156.03	c |    298951 |     700    14000    70000 | 2147483647    75709    102 |  0.000 % |
156.73/156.85	c |    300225 |     700    14000    70000 |    76758    76983    102 |  0.000 % |
157.53/157.68	c |    301626 |     700    14000    70000 |    76758    66952    103 |  0.000 % |
158.53/158.69	c |    303166 |     700    14000    70000 |    76758    68492    103 |  0.000 % |
159.53/159.69	c |    304861 |     700    14000    70000 |    76758    70187    103 |  0.000 % |
160.63/160.77	c |    306725 |     700    14000    70000 |    76758    72051    103 |  0.000 % |
161.93/162.00	c |    308774 |     700    14000    70000 |    76758    74100    103 |  0.000 % |
163.33/163.45	c |    311028 |     700    14000    70000 |    75326    65109    103 |  0.000 % |
164.83/164.99	c |    313507 |     700    14000    70000 |    75326    67588    103 |  0.000 % |
166.53/166.65	c |    316234 |     700    14000    70000 |    75326    70315    103 |  0.000 % |
168.33/168.48	c |    319234 |     700    14000    70000 |    75326    73315    103 |  0.000 % |
168.43/168.55	c |    319334 |     700    14000    70000 |    75326    73415    103 |  0.000 % |
168.53/168.63	c |    319445 |     700    14000    70000 |    75326    73526    103 |  0.000 % |
168.63/168.72	c |    319566 |     700    14000    70000 |    75326    73647    103 |  0.000 % |
168.73/168.83	c |    319699 |     700    14000    70000 |    75326    73780    103 |  0.000 % |
168.83/168.96	c |    319845 |     700    14000    70000 |    75326    73926    103 |  0.000 % |
168.93/169.07	c |    320005 |     700    14000    70000 |    74082    74086    103 |  0.000 % |
169.13/169.24	c |    320184 |     700    14000    70000 |    74082    62951    102 |  0.000 % |
169.23/169.37	c |    320379 |     700    14000    70000 |    74082    63146    102 |  0.000 % |
169.43/169.52	c |    320591 |     700    14000    70000 |    74082    63358    102 |  0.000 % |
169.53/169.69	c |    320825 |     700    14000    70000 |    74082    63592    102 |  0.000 % |
169.73/169.85	c |    321081 |     700    14000    70000 |    74082    63848    102 |  0.000 % |
169.93/170.06	c |    321363 |     700    14000    70000 |    74082    64130    102 |  0.000 % |
170.13/170.26	c |    321673 |     700    14000    70000 |    74082    64440    102 |  0.000 % |
170.33/170.47	c |    322012 |     700    14000    70000 |    74082    64779    102 |  0.000 % |
170.63/170.70	c |    322385 |     700    14000    70000 |    74082    65152    102 |  0.000 % |
170.83/170.97	c |    322795 |     700    14000    70000 |    74082    65562    102 |  0.000 % |
171.13/171.22	c |    323246 |     700    14000    70000 |    74082    66013    102 |  0.000 % |
171.43/171.52	c |    323741 |     700    14000    70000 |    74082    66508    102 |  0.000 % |
171.73/171.85	c |    324284 |     700    14000    70000 |    74082    67051    102 |  0.000 % |
172.13/172.23	c |    324882 |     700    14000    70000 |    74082    67649    102 |  0.000 % |
172.53/172.63	c |    325539 |     700    14000    70000 |    74082    68306    102 |  0.000 % |
173.03/173.11	c |    326259 |     700    14000    70000 |    74082    69026    102 |  0.000 % |
173.53/173.64	c |    327052 |     700    14000    70000 |    74082    69819    102 |  0.000 % |
174.13/174.22	c |    327923 |     700    14000    70000 |    74082    70690    102 |  0.000 % |
174.74/174.83	c |    328883 |     700    14000    70000 |    74082    71650    102 |  0.000 % |
175.43/175.50	c |    329938 |     700    14000    70000 |    74082    72705    102 |  0.000 % |
176.13/176.22	c |    331096 |     700    14000    70000 |    72767    62675    102 |  0.000 % |
176.83/176.91	c |    332369 |     700    14000    70000 |    72767    63948    102 |  0.000 % |
177.63/177.71	c |    333770 |     700    14000    70000 |    72767    65349    102 |  0.000 % |
178.53/178.63	c |    335310 |     700    14000    70000 |    72767    66889    102 |  0.000 % |
179.53/179.60	c |    337006 |     700    14000    70000 |    72767    68585    102 |  0.000 % |
180.73/180.82	c |    338869 |     700    14000    70000 |    72767    70448    102 |  0.000 % |
182.03/182.10	c |    340918 |     700    14000    70000 |    71581    62562    102 |  0.000 % |
183.23/183.32	c |    343172 |     700    14000    70000 |    71581    64816    102 |  0.000 % |
184.63/184.71	c |    345650 |     700    14000    70000 |    71581    67294    102 |  0.000 % |
186.13/186.26	c |    348375 |     700    14000    70000 |    71581    70019    103 |  0.000 % |
188.03/188.13	c |    351374 |     700    14000    70000 |    71644    64011    103 |  0.000 % |
189.83/189.97	c |    354671 |     700    14000    70000 |    71644    67308    103 |  0.000 % |
189.93/190.04	c |    354771 |     700    14000    70000 |    71644    67408    103 |  0.000 % |
190.03/190.10	c |    354881 |     700    14000    70000 |    71644    67518    103 |  0.000 % |
190.03/190.17	c |    355002 |     700    14000    70000 |    71644    67639    103 |  0.000 % |
190.13/190.28	c |    355136 |     700    14000    70000 |    71644    67773    102 |  0.000 % |
190.23/190.39	c |    355284 |     700    14000    70000 |    71644    67921    102 |  0.000 % |
190.43/190.50	c |    355444 |     700    14000    70000 |    71644    68081    102 |  0.000 % |
190.53/190.62	c |    355621 |     700    14000    70000 |    71644    68258    102 |  0.000 % |
190.63/190.74	c |    355814 |     700    14000    70000 |    71644    68451    102 |  0.000 % |
190.83/190.91	c |    356026 |     700    14000    70000 |    71644    68663    102 |  0.000 % |
191.03/191.10	c |    356259 |     700    14000    70000 |    71644    68896    102 |  0.000 % |
191.13/191.26	c |    356516 |     700    14000    70000 |    71644    69153    102 |  0.000 % |
191.33/191.47	c |    356798 |     700    14000    70000 |    71644    69435    102 |  0.000 % |
191.53/191.67	c |    357107 |     700    14000    70000 |    71644    69744    102 |  0.000 % |
191.73/191.88	c |    357446 |     700    14000    70000 |    71644    70083    102 |  0.000 % |
192.03/192.14	c |    357818 |     700    14000    70000 |    71644    70455    102 |  0.000 % |
192.33/192.41	c |    358228 |     700    14000    70000 |    71644    70865    102 |  0.000 % |
192.63/192.70	c |    358677 |     700    14000    70000 |    71644    71314    102 |  0.000 % |
192.93/193.02	c |    359170 |     700    14000    70000 |    71644    71807    102 |  0.000 % |
193.23/193.37	c |    359712 |     700    14000    70000 |    71644    62831    103 |  0.000 % |
193.63/193.74	c |    360310 |     700    14000    70000 |    63119    55233    102 |  0.000 % |
193.93/194.06	c |    360965 |     700    14000    70000 |    63119    55888    102 |  0.000 % |
194.33/194.40	c |    361686 |     700    14000    70000 |    63119    56609    102 |  0.000 % |
194.63/194.79	c |    362478 |     700    14000    70000 |    63119    57401    102 |  0.000 % |
195.13/195.21	c |    363350 |     700    14000    70000 |    63119    58273    102 |  0.000 % |
195.63/195.71	c |    364308 |     700    14000    70000 |    63119    59231    102 |  0.000 % |
196.13/196.21	c |    365361 |     700    14000    70000 |    63119    60284    102 |  0.000 % |
196.63/196.75	c |    366519 |     700    14000    70000 |    63119    61442    102 |  0.000 % |
197.43/197.52	c |    367794 |     700    14000    70000 |    63119    62717    102 |  0.000 % |
198.23/198.32	c |    369195 |     700    14000    70000 |    63119    57782    102 |  0.000 % |
199.13/199.20	c |    370735 |     700    14000    70000 | 2147483647    59322    102 |  0.000 % |
200.03/200.17	c |    372429 |     700    14000    70000 | 2147483647    61016    102 |  0.000 % |
201.03/201.17	c |    374293 |     700    14000    70000 | 2147483647    62880    102 |  0.000 % |
202.23/202.34	c |    376343 |     700    14000    70000 | 2147483647    64930    102 |  0.000 % |
203.53/203.64	c |    378596 |     700    14000    70000 | 2147483647    67183    103 |  0.000 % |
205.03/205.17	c |    381075 |     700    14000    70000 |    68587    62424    102 |  0.000 % |
206.63/206.70	c |    383800 |     700    14000    70000 |    68587    65149    103 |  0.000 % |
208.22/208.39	c |    386797 |     700    14000    70000 |    68587    68146    103 |  0.000 % |
210.12/210.27	c |    390093 |     700    14000    70000 |    63382    63474    103 |  0.000 % |
212.13/212.20	c |    393721 |     700    14000    70000 |    63382    59840    104 |  0.000 % |
212.13/212.25	c |    393821 |     700    14000    70000 |    63382    59940    104 |  0.000 % |
212.23/212.31	c |    393931 |     700    14000    70000 |    63382    60050    104 |  0.000 % |
212.23/212.39	c |    394052 |     700    14000    70000 |    63382    60171    104 |  0.000 % |
212.32/212.48	c |    394186 |     700    14000    70000 |    63382    60305    104 |  0.000 % |
212.42/212.57	c |    394333 |     700    14000    70000 |    63382    60452    104 |  0.000 % |
212.52/212.67	c |    394494 |     700    14000    70000 |    63382    60613    104 |  0.000 % |
212.62/212.79	c |    394671 |     700    14000    70000 |    63382    60790    104 |  0.000 % |
212.82/212.90	c |    394864 |     700    14000    70000 |    63382    60983    104 |  0.000 % |
212.92/213.02	c |    395076 |     700    14000    70000 |    63382    61195    104 |  0.000 % |
213.02/213.18	c |    395309 |     700    14000    70000 |    63382    61428    104 |  0.000 % |
213.23/213.32	c |    395565 |     700    14000    70000 |    63382    61684    104 |  0.000 % |
213.42/213.50	c |    395846 |     700    14000    70000 |    63382    61965    104 |  0.000 % |
213.62/213.71	c |    396157 |     700    14000    70000 |    63382    62276    104 |  0.000 % |
213.82/213.91	c |    396497 |     700    14000    70000 |    63382    62616    104 |  0.000 % |
214.02/214.12	c |    396869 |     700    14000    70000 |    63382    62988    104 |  0.000 % |
214.22/214.36	c |    397279 |     700    14000    70000 |    63382    63398    104 |  0.000 % |
214.52/214.64	c |    397728 |     700    14000    70000 |    63382    57208    103 |  0.000 % |
214.82/214.91	c |    398222 |     700    14000    70000 |    63382    57702    103 |  0.000 % |
215.02/215.18	c |    398764 |     700    14000    70000 |    63382    58244    103 |  0.000 % |
215.32/215.46	c |    399360 |     700    14000    70000 |    63382    58840    103 |  0.000 % |
215.62/215.79	c |    400018 |     700    14000    70000 | 2147483647    59498    103 |  0.000 % |
216.02/216.19	c |    400739 |     700    14000    70000 | 2147483647    60219    103 |  0.000 % |
216.53/216.61	c |    401531 |     700    14000    70000 | 2147483647    61011    103 |  0.000 % |
217.02/217.15	c |    402403 |     700    14000    70000 | 2147483647    61883    103 |  0.000 % |
217.52/217.65	c |    403363 |     700    14000    70000 | 2147483647    62843    103 |  0.000 % |
218.12/218.23	c |    404416 |     700    14000    70000 | 2147483647    63896    103 |  0.000 % |
218.73/218.84	c |    405574 |     700    14000    70000 | 2147483647    65054    103 |  0.000 % |
219.42/219.57	c |    406847 |     700    14000    70000 | 2147483647    66327    103 |  0.000 % |
220.22/220.39	c |    408247 |     700    14000    70000 | 2147483647    67727    103 |  0.000 % |
221.22/221.31	c |    409791 |     700    14000    70000 | 2147483647    69271    103 |  0.000 % |
222.22/222.38	c |    411487 |     700    14000    70000 |    69480    62213    103 |  0.000 % |
223.23/223.37	c |    413351 |     700    14000    70000 |    69480    64077    103 |  0.000 % |
224.42/224.50	c |    415400 |     700    14000    70000 |    69480    66126    103 |  0.000 % |
225.62/225.74	c |    417655 |     700    14000    70000 |    69480    68381    103 |  0.000 % |
227.12/227.22	c |    420133 |     700    14000    70000 |    62572    62702    103 |  0.000 % |
228.52/228.64	c |    422860 |     700    14000    70000 |    62572    58325    104 |  0.000 % |
230.02/230.18	c |    425857 |     700    14000    70000 |    62572    61322    104 |  0.000 % |
231.92/232.03	c |    429153 |     700    14000    70000 |    62572    58337    104 |  0.000 % |
233.72/233.87	c |    432778 |     700    14000    70000 | 2147483647    61962    104 |  0.000 % |
236.02/236.12	c |    436766 |     700    14000    70000 | 2147483647    65950    104 |  0.000 % |
236.02/236.18	c |    436867 |     700    14000    70000 | 2147483647    66051    104 |  0.000 % |
236.12/236.26	c |    436978 |     700    14000    70000 | 2147483647    66162    104 |  0.000 % |
236.22/236.35	c |    437099 |     700    14000    70000 | 2147483647    66283    104 |  0.000 % |
236.32/236.44	c |    437233 |     700    14000    70000 | 2147483647    66417    104 |  0.000 % |
236.42/236.54	c |    437381 |     700    14000    70000 | 2147483647    66565    104 |  0.000 % |
236.52/236.64	c |    437541 |     700    14000    70000 | 2147483647    66725    104 |  0.000 % |
236.62/236.78	c |    437718 |     700    14000    70000 | 2147483647    66902    104 |  0.000 % |
236.72/236.90	c |    437912 |     700    14000    70000 | 2147483647    67096    104 |  0.000 % |
236.92/237.03	c |    438124 |     700    14000    70000 | 2147483647    67308    104 |  0.000 % |
237.02/237.17	c |    438359 |     700    14000    70000 | 2147483647    67543    104 |  0.000 % |
237.22/237.32	c |    438615 |     700    14000    70000 | 2147483647    67799    104 |  0.000 % |
237.32/237.48	c |    438896 |     700    14000    70000 | 2147483647    68080    104 |  0.000 % |
237.52/237.67	c |    439205 |     700    14000    70000 | 2147483647    68389    104 |  0.000 % |
237.72/237.89	c |    439545 |     700    14000    70000 | 2147483647    68729    104 |  0.000 % |
238.02/238.15	c |    439917 |     700    14000    70000 | 2147483647    69101    104 |  0.000 % |
238.32/238.48	c |    440330 |     700    14000    70000 |    69184    62026    104 |  0.000 % |
238.62/238.75	c |    440781 |     700    14000    70000 |    69184    62477    103 |  0.000 % |
238.92/239.03	c |    441274 |     700    14000    70000 |    69184    62970    103 |  0.000 % |
239.22/239.34	c |    441816 |     700    14000    70000 |    69184    63512    103 |  0.000 % |
239.52/239.68	c |    442412 |     700    14000    70000 |    69184    64108    103 |  0.000 % |
239.92/240.02	c |    443067 |     700    14000    70000 |    69184    64763    103 |  0.000 % |
240.32/240.48	c |    443787 |     700    14000    70000 |    69184    65483    103 |  0.000 % |
240.82/240.97	c |    444580 |     700    14000    70000 |    69184    66276    103 |  0.000 % |
241.42/241.52	c |    445455 |     700    14000    70000 |    69184    67151    103 |  0.000 % |
242.02/242.12	c |    446413 |     700    14000    70000 |    69184    68109    103 |  0.000 % |
242.62/242.79	c |    447466 |     700    14000    70000 |    69184    69162    103 |  0.000 % |
243.42/243.51	c |    448624 |     700    14000    70000 |    69184    61831    103 |  0.000 % |
244.02/244.17	c |    449899 |     700    14000    70000 |    69184    63106    103 |  0.000 % |
244.82/244.92	c |    451299 |     700    14000    70000 |    63207    57224    103 |  0.000 % |
245.52/245.68	c |    452841 |     700    14000    70000 |    63207    58766    103 |  0.000 % |
246.42/246.56	c |    454535 |     700    14000    70000 |    63207    60460    103 |  0.000 % |
247.42/247.58	c |    456398 |     700    14000    70000 |    63207    62323    103 |  0.000 % |
248.52/248.67	c |    458447 |     700    14000    70000 |    63207    58025    103 |  0.000 % |
249.52/249.70	c |    460701 |     700    14000    70000 | 2147483647    60279    103 |  0.000 % |
250.72/250.89	c |    463180 |     700    14000    70000 | 2147483647    62758    103 |  0.000 % |
252.31/252.40	c |    465905 |     700    14000    70000 | 2147483647    65483    103 |  0.000 % |
253.92/254.06	c |    468905 |     700    14000    70000 | 2147483647    68483    103 |  0.000 % |
255.91/256.01	c |    472203 |     700    14000    70000 | 2147483647    71781    104 |  0.000 % |
258.11/258.24	c |    475828 |     700    14000    70000 | 2147483647    75406    104 |  0.000 % |
260.71/260.86	c |    479816 |     700    14000    70000 | 2147483647    79394    104 |  0.000 % |
263.41/263.55	c |    484201 |     700    14000    70000 |    79578    72099    104 |  0.000 % |
263.51/263.63	c |    484303 |     700    14000    70000 |    79578    72201    104 |  0.000 % |
263.61/263.73	c |    484414 |     700    14000    70000 |    79578    72312    104 |  0.000 % |
263.71/263.82	c |    484536 |     700    14000    70000 |    79578    72434    104 |  0.000 % |
263.81/263.93	c |    484670 |     700    14000    70000 |    79578    72568    104 |  0.000 % |
263.91/264.03	c |    484816 |     700    14000    70000 |    79578    72714    104 |  0.000 % |
264.01/264.13	c |    484976 |     700    14000    70000 |    79578    72874    104 |  0.000 % |
264.11/264.26	c |    485154 |     700    14000    70000 |    79578    73052    104 |  0.000 % |
264.31/264.40	c |    485350 |     700    14000    70000 |    79578    73248    104 |  0.000 % |
264.41/264.55	c |    485562 |     700    14000    70000 |    79578    73460    104 |  0.000 % |
264.61/264.75	c |    485796 |     700    14000    70000 |    79578    73694    104 |  0.000 % |
264.81/264.93	c |    486053 |     700    14000    70000 |    79578    73951    104 |  0.000 % |
265.01/265.16	c |    486334 |     700    14000    70000 |    79578    74232    104 |  0.000 % |
265.21/265.37	c |    486643 |     700    14000    70000 |    79578    74541    104 |  0.000 % |
265.51/265.60	c |    486982 |     700    14000    70000 |    79578    74880    104 |  0.000 % |
265.71/265.83	c |    487356 |     700    14000    70000 |    79578    75254    104 |  0.000 % |
266.01/266.11	c |    487765 |     700    14000    70000 |    79578    75663    104 |  0.000 % |
266.31/266.41	c |    488214 |     700    14000    70000 |    79578    76112    104 |  0.000 % |
266.61/266.75	c |    488707 |     700    14000    70000 |    79578    76605    104 |  0.000 % |
267.01/267.14	c |    489250 |     700    14000    70000 |    79578    77148    104 |  0.000 % |
267.41/267.59	c |    489850 |     700    14000    70000 |    79578    77748    104 |  0.000 % |
267.91/268.07	c |    490507 |     700    14000    70000 |    77898    65917    104 |  0.000 % |
268.41/268.56	c |    491227 |     700    14000    70000 |    77898    66637    104 |  0.000 % |
268.91/269.04	c |    492019 |     700    14000    70000 |    77898    67429    104 |  0.000 % |
269.41/269.56	c |    492890 |     700    14000    70000 |    77898    68300    104 |  0.000 % |
270.01/270.11	c |    493848 |     700    14000    70000 |    77898    69258    103 |  0.000 % |
270.61/270.74	c |    494901 |     700    14000    70000 |    77898    70311    103 |  0.000 % |
271.31/271.47	c |    496060 |     700    14000    70000 |    77898    71470    103 |  0.000 % |
272.11/272.25	c |    497333 |     700    14000    70000 |    77898    72743    103 |  0.000 % |
273.01/273.10	c |    498734 |     700    14000    70000 |    77898    74144    103 |  0.000 % |
274.01/274.17	c |    500274 |     700    14000    70000 |    75410    63635    103 |  0.000 % |
275.01/275.11	c |    501968 |     700    14000    70000 |    75410    65329    103 |  0.000 % |
276.11/276.20	c |    503831 |     700    14000    70000 |    75410    67192    103 |  0.000 % |
277.21/277.35	c |    505880 |     700    14000    70000 |    75410    69241    103 |  0.000 % |
278.60/278.72	c |    508133 |     700    14000    70000 |    75410    71494    103 |  0.000 % |
280.10/280.23	c |    510614 |     700    14000    70000 |    73362    63591    104 |  0.000 % |
281.60/281.73	c |    513341 |     700    14000    70000 |    73362    66318    104 |  0.000 % |
283.30/283.49	c |    516338 |     700    14000    70000 |    73362    69315    104 |  0.000 % |
285.30/285.44	c |    519634 |     700    14000    70000 |    73362    72611    104 |  0.000 % |
287.50/287.62	c |    523259 |     700    14000    70000 |    72979    66910    104 |  0.000 % |
289.70/289.86	c |    527248 |     700    14000    70000 |    72979    70899    104 |  0.000 % |
292.20/292.36	c |    531634 |     700    14000    70000 |    64176    57496    103 |  0.000 % |
294.90/295.00	c |    536459 |     700    14000    70000 |    64176    62321    104 |  0.000 % |
294.90/295.06	c |    536559 |     700    14000    70000 |    64176    62421    104 |  0.000 % |
295.00/295.14	c |    536669 |     700    14000    70000 |    64176    62531    104 |  0.000 % |
295.10/295.22	c |    536792 |     700    14000    70000 |    64176    62654    104 |  0.000 % |
295.10/295.30	c |    536925 |     700    14000    70000 |    64176    62787    104 |  0.000 % |
295.20/295.40	c |    537072 |     700    14000    70000 |    64176    62934    104 |  0.000 % |
295.40/295.53	c |    537232 |     700    14000    70000 |    64176    63094    104 |  0.000 % |
295.50/295.66	c |    537409 |     700    14000    70000 |    64176    63271    104 |  0.000 % |
295.60/295.78	c |    537602 |     700    14000    70000 |    64176    63464    104 |  0.000 % |
295.80/295.90	c |    537815 |     700    14000    70000 |    64176    63677    104 |  0.000 % |
295.90/296.05	c |    538049 |     700    14000    70000 |    64176    63911    104 |  0.000 % |
296.10/296.22	c |    538305 |     700    14000    70000 |    64176    64167    104 |  0.000 % |
296.30/296.42	c |    538586 |     700    14000    70000 |    64176    57683    103 |  0.000 % |
296.40/296.58	c |    538896 |     700    14000    70000 |    64176    57993    103 |  0.000 % |
296.60/296.77	c |    539236 |     700    14000    70000 |    64176    58333    103 |  0.000 % |
296.80/296.96	c |    539609 |     700    14000    70000 |    64176    58706    103 |  0.000 % |
297.10/297.20	c |    540018 |     700    14000    70000 |    59099    59115    103 |  0.000 % |
297.30/297.48	c |    540468 |     700    14000    70000 |    59099    53401    103 |  0.000 % |
297.60/297.72	c |    540961 |     700    14000    70000 |    59099    53894    103 |  0.000 % |
297.80/297.99	c |    541504 |     700    14000    70000 |    59099    54437    103 |  0.000 % |
298.20/298.31	c |    542101 |     700    14000    70000 |    59099    55034    103 |  0.000 % |
298.50/298.64	c |    542757 |     700    14000    70000 |    59099    55690    103 |  0.000 % |
298.90/299.01	c |    543479 |     700    14000    70000 |    59099    56412    103 |  0.000 % |
299.30/299.41	c |    544272 |     700    14000    70000 |    59099    57205    103 |  0.000 % |
299.70/299.88	c |    545143 |     700    14000    70000 |    59099    58076    103 |  0.000 % |
300.20/300.36	c |    546101 |     700    14000    70000 |    59099    59034    103 |  0.000 % |
300.80/300.93	c |    547154 |     700    14000    70000 |    59099    54153    104 |  0.000 % |
301.40/301.52	c |    548312 |     700    14000    70000 |    59099    55311    104 |  0.000 % |
302.00/302.14	c |    549587 |     700    14000    70000 |    59099    56586    104 |  0.000 % |
302.80/302.94	c |    550987 |     700    14000    70000 | 2147483647    57986    104 |  0.000 % |
303.60/303.74	c |    552527 |     700    14000    70000 | 2147483647    59526    104 |  0.000 % |
304.50/304.67	c |    554223 |     700    14000    70000 | 2147483647    61222    104 |  0.000 % |
305.60/305.73	c |    556086 |     700    14000    70000 | 2147483647    63085    104 |  0.000 % |
306.80/306.95	c |    558135 |     700    14000    70000 | 2147483647    65134    104 |  0.000 % |
308.10/308.28	c |    560391 |     700    14000    70000 |    66999    60480    104 |  0.000 % |
309.40/309.58	c |    562869 |     700    14000    70000 |    66999    62958    104 |  0.000 % |
310.90/311.08	c |    565597 |     700    14000    70000 |    66999    65686    104 |  0.000 % |
312.60/312.78	c |    568594 |     700    14000    70000 |    66999    61462    104 |  0.000 % |
314.41/314.58	c |    571892 |     700    14000    70000 |    62871    58137    104 |  0.000 % |
316.30/316.49	c |    575518 |     700    14000    70000 |    62871    61763    104 |  0.000 % |
318.40/318.57	c |    579505 |     700    14000    70000 |    62871    59439    103 |  0.000 % |
320.70/320.88	c |    583890 |     700    14000    70000 | 2147483647    63824    103 |  0.000 % |
323.60/323.71	c |    588713 |     700    14000    70000 | 2147483647    68647    105 |  0.000 % |
326.70/326.85	c |    594019 |     700    14000    70000 |    69935    65818    105 |  0.000 % |
326.80/326.94	c |    594120 |     700    14000    70000 |    69935    65919    105 |  0.000 % |
326.90/327.01	c |    594231 |     700    14000    70000 |    69935    66030    105 |  0.000 % |
326.90/327.09	c |    594353 |     700    14000    70000 |    69935    66152    105 |  0.000 % |
327.00/327.18	c |    594487 |     700    14000    70000 |    69935    66286    105 |  0.000 % |
327.10/327.28	c |    594635 |     700    14000    70000 |    69935    66434    105 |  0.000 % |
327.20/327.38	c |    594796 |     700    14000    70000 |    69935    66595    105 |  0.000 % |
327.30/327.49	c |    594972 |     700    14000    70000 |    69935    66771    105 |  0.000 % |
327.50/327.61	c |    595168 |     700    14000    70000 |    69935    66967    105 |  0.000 % |
327.60/327.75	c |    595382 |     700    14000    70000 |    69935    67181    105 |  0.000 % |
327.80/327.90	c |    595615 |     700    14000    70000 |    69935    67414    105 |  0.000 % |
327.90/328.05	c |    595873 |     700    14000    70000 |    69935    67672    105 |  0.000 % |
328.10/328.25	c |    596155 |     700    14000    70000 |    69935    67954    105 |  0.000 % |
328.30/328.44	c |    596464 |     700    14000    70000 |    69935    68263    105 |  0.000 % |
328.50/328.67	c |    596806 |     700    14000    70000 |    69935    68605    105 |  0.000 % |
328.80/328.92	c |    597178 |     700    14000    70000 |    69935    68977    105 |  0.000 % |
329.00/329.17	c |    597587 |     700    14000    70000 |    69935    69386    104 |  0.000 % |
329.40/329.50	c |    598036 |     700    14000    70000 |    69935    69835    104 |  0.000 % |
329.70/329.86	c |    598529 |     700    14000    70000 |    69935    61054    104 |  0.000 % |
330.10/330.20	c |    599071 |     700    14000    70000 |    69935    61596    104 |  0.000 % |
330.40/330.57	c |    599667 |     700    14000    70000 |    69935    62192    104 |  0.000 % |
330.90/331.01	c |    600323 |     700    14000    70000 |    62525    54595    104 |  0.000 % |
331.20/331.39	c |    601044 |     700    14000    70000 |    62525    55316    104 |  0.000 % |
331.60/331.79	c |    601836 |     700    14000    70000 |    62525    56108    104 |  0.000 % |
332.10/332.25	c |    602707 |     700    14000    70000 |    62525    56979    104 |  0.000 % |
332.60/332.76	c |    603665 |     700    14000    70000 |    62525    57937    104 |  0.000 % |
333.20/333.34	c |    604718 |     700    14000    70000 |    62525    58990    104 |  0.000 % |
333.80/333.95	c |    605876 |     700    14000    70000 |    62525    60148    104 |  0.000 % |
334.50/334.65	c |    607149 |     700    14000    70000 |    62525    61421    104 |  0.000 % |
335.30/335.46	c |    608549 |     700    14000    70000 |    62525    56544    104 |  0.000 % |
336.20/336.32	c |    610089 |     700    14000    70000 | 2147483647    58084    104 |  0.000 % |
337.10/337.22	c |    611784 |     700    14000    70000 | 2147483647    59779    104 |  0.000 % |
338.10/338.25	c |    613648 |     700    14000    70000 | 2147483647    61643    104 |  0.000 % |
339.19/339.33	c |    615698 |     700    14000    70000 | 2147483647    63693    104 |  0.000 % |
340.49/340.67	c |    617951 |     700    14000    70000 | 2147483647    65946    104 |  0.000 % |
341.90/342.07	c |    620432 |     700    14000    70000 | 2147483647    68427    104 |  0.000 % |
343.69/343.80	c |    623158 |     700    14000    70000 | 2147483647    71153    104 |  0.000 % |
345.49/345.64	c |    626156 |     700    14000    70000 | 2147483647    74151    104 |  0.000 % |
347.50/347.65	c |    629453 |     700    14000    70000 | 2147483647    77448    104 |  0.000 % |
349.70/349.82	c |    633078 |     700    14000    70000 |    77996    70100    104 |  0.000 % |
352.19/352.39	c |    637065 |     700    14000    70000 |    77996    74087    105 |  0.000 % |
355.09/355.21	c |    641453 |     700    14000    70000 |    77022    66311    105 |  0.000 % |
357.89/358.03	c |    646276 |     700    14000    70000 |    77022    71134    105 |  0.000 % |
361.29/361.40	c |    651582 |     700    14000    70000 |    74861    65627    105 |  0.000 % |
364.69/364.83	c |    657417 |     700    14000    70000 |    74861    71462    105 |  0.000 % |
364.79/364.90	c |    657518 |     700    14000    70000 |    74861    71563    105 |  0.000 % |
364.79/364.99	c |    657630 |     700    14000    70000 |    74861    71675    105 |  0.000 % |
364.89/365.07	c |    657751 |     700    14000    70000 |    74861    71796    105 |  0.000 % |
364.99/365.17	c |    657884 |     700    14000    70000 |    74861    71929    105 |  0.000 % |
365.09/365.26	c |    658030 |     700    14000    70000 |    74861    72075    105 |  0.000 % |
365.29/365.41	c |    658191 |     700    14000    70000 |    74861    72236    105 |  0.000 % |
365.39/365.55	c |    658370 |     700    14000    70000 |    74861    72415    105 |  0.000 % |
365.59/365.70	c |    658564 |     700    14000    70000 |    74861    72609    105 |  0.000 % |
365.69/365.88	c |    658776 |     700    14000    70000 |    74861    72821    105 |  0.000 % |
365.89/366.04	c |    659010 |     700    14000    70000 |    74861    73055    105 |  0.000 % |
366.09/366.24	c |    659267 |     700    14000    70000 |    74861    73312    105 |  0.000 % |
366.29/366.43	c |    659548 |     700    14000    70000 |    74861    73593    105 |  0.000 % |
366.59/366.71	c |    659861 |     700    14000    70000 |    74861    73906    105 |  0.000 % |
366.79/366.96	c |    660200 |     700    14000    70000 |    74045    74245    105 |  0.000 % |
367.09/367.23	c |    660574 |     700    14000    70000 |    74045    62452    105 |  0.000 % |
367.39/367.52	c |    660987 |     700    14000    70000 |    74045    62865    105 |  0.000 % |
367.69/367.80	c |    661440 |     700    14000    70000 |    74045    63318    105 |  0.000 % |
367.89/368.08	c |    661934 |     700    14000    70000 |    74045    63812    105 |  0.000 % |
368.19/368.36	c |    662477 |     700    14000    70000 |    74045    64355    105 |  0.000 % |
368.49/368.67	c |    663073 |     700    14000    70000 |    74045    64951    105 |  0.000 % |
368.98/369.11	c |    663729 |     700    14000    70000 |    74045    65607    105 |  0.000 % |
369.39/369.55	c |    664449 |     700    14000    70000 |    74045    66327    105 |  0.000 % |
369.78/369.98	c |    665244 |     700    14000    70000 |    74045    67122    105 |  0.000 % |
370.38/370.50	c |    666117 |     700    14000    70000 |    74045    67995    105 |  0.000 % |
370.98/371.10	c |    667075 |     700    14000    70000 |    74045    68953    105 |  0.000 % |
371.59/371.75	c |    668128 |     700    14000    70000 |    74045    70006    105 |  0.000 % |
372.28/372.47	c |    669287 |     700    14000    70000 |    74045    71165    105 |  0.000 % |
373.08/373.26	c |    670560 |     700    14000    70000 |    71878    62128    105 |  0.000 % |
373.89/374.07	c |    671961 |     700    14000    70000 |    71878    63529    105 |  0.000 % |
374.78/374.96	c |    673501 |     700    14000    70000 |    71878    65069    105 |  0.000 % |
375.88/376.00	c |    675195 |     700    14000    70000 |    71878    66763    105 |  0.000 % |
376.98/377.18	c |    677058 |     700    14000    70000 |    71878    68626    105 |  0.000 % |
378.29/378.48	c |    679107 |     700    14000    70000 |    71878    70675    105 |  0.000 % |
379.78/379.92	c |    681361 |     700    14000    70000 |    71570    63168    105 |  0.000 % |
381.08/381.24	c |    683839 |     700    14000    70000 |    71570    65646    105 |  0.000 % |
382.68/382.82	c |    686564 |     700    14000    70000 |    71570    68371    105 |  0.000 % |
384.48/384.66	c |    689563 |     700    14000    70000 |    71570    71370    105 |  0.000 % |
386.38/386.55	c |    692859 |     700    14000    70000 |    62618    57566    104 |  0.000 % |
388.38/388.53	c |    696487 |     700    14000    70000 |    62618    61194    104 |  0.000 % |
390.68/390.81	c |    700474 |     700    14000    70000 | 2147483647    58899    104 |  0.000 % |
393.18/393.39	c |    704859 |     700    14000    70000 | 2147483647    63284    105 |  0.000 % |
396.28/396.42	c |    709682 |     700    14000    70000 | 2147483647    68107    105 |  0.000 % |
399.58/399.77	c |    714987 |     700    14000    70000 |    68430    65329    104 |  0.000 % |
403.18/403.31	c |    720823 |     700    14000    70000 |    61846    55134    105 |  0.000 % |
406.58/406.70	c |    727241 |     700    14000    70000 |    61846    61552    105 |  0.000 % |
406.58/406.76	c |    727342 |     700    14000    70000 |    61846    61653    105 |  0.000 % |
406.68/406.83	c |    727452 |     700    14000    70000 |    61846    61763    105 |  0.000 % |
406.68/406.90	c |    727573 |     700    14000    70000 |    61846    61884    105 |  0.000 % |
406.88/407.02	c |    727708 |     700    14000    70000 |    61846    55831    105 |  0.000 % |
406.98/407.11	c |    727854 |     700    14000    70000 |    61846    55977    105 |  0.000 % |
407.08/407.20	c |    728014 |     700    14000    70000 |    61846    56137    105 |  0.000 % |
407.18/407.32	c |    728190 |     700    14000    70000 |    61846    56313    105 |  0.000 % |
407.28/407.44	c |    728383 |     700    14000    70000 |    61846    56506    105 |  0.000 % |
407.37/407.56	c |    728595 |     700    14000    70000 |    61846    56718    105 |  0.000 % |
407.57/407.70	c |    728831 |     700    14000    70000 |    61846    56954    105 |  0.000 % |
407.67/407.85	c |    729087 |     700    14000    70000 |    61846    57210    105 |  0.000 % |
407.88/408.01	c |    729368 |     700    14000    70000 |    61846    57491    105 |  0.000 % |
407.98/408.19	c |    729677 |     700    14000    70000 |    61846    57800    105 |  0.000 % |
408.17/408.39	c |    730016 |     700    14000    70000 | 2147483647    58139    105 |  0.000 % |
408.47/408.60	c |    730390 |     700    14000    70000 | 2147483647    58513    105 |  0.000 % |
408.67/408.85	c |    730799 |     700    14000    70000 | 2147483647    58922    105 |  0.000 % |
408.87/409.08	c |    731251 |     700    14000    70000 | 2147483647    59374    105 |  0.000 % |
409.17/409.37	c |    731744 |     700    14000    70000 | 2147483647    59867    105 |  0.000 % |
409.47/409.67	c |    732286 |     700    14000    70000 | 2147483647    60409    105 |  0.000 % |
409.78/409.98	c |    732883 |     700    14000    70000 | 2147483647    61006    105 |  0.000 % |
410.19/410.37	c |    733538 |     700    14000    70000 | 2147483647    61661    105 |  0.000 % |
410.68/410.82	c |    734259 |     700    14000    70000 | 2147483647    62382    105 |  0.000 % |
411.08/411.29	c |    735055 |     700    14000    70000 | 2147483647    63178    105 |  0.000 % |
411.68/411.82	c |    735927 |     700    14000    70000 | 2147483647    64050    105 |  0.000 % |
412.18/412.36	c |    736887 |     700    14000    70000 | 2147483647    65010    105 |  0.000 % |
412.78/412.93	c |    737941 |     700    14000    70000 | 2147483647    66064    105 |  0.000 % |
413.38/413.59	c |    739099 |     700    14000    70000 | 2147483647    67222    104 |  0.000 % |
414.28/414.47	c |    740372 |     700    14000    70000 |    68124    60786    105 |  0.000 % |
415.08/415.24	c |    741772 |     700    14000    70000 |    68124    62186    105 |  0.000 % |
415.98/416.11	c |    743312 |     700    14000    70000 |    68124    63726    105 |  0.000 % |
416.98/417.15	c |    745007 |     700    14000    70000 |    68124    65421    105 |  0.000 % |
418.08/418.20	c |    746871 |     700    14000    70000 |    68124    67285    104 |  0.000 % |
419.28/419.46	c |    748921 |     700    14000    70000 |    68124    61580    105 |  0.000 % |
420.48/420.67	c |    751176 |     700    14000    70000 |    62659    56983    104 |  0.000 % |
421.78/421.90	c |    753655 |     700    14000    70000 |    62659    59462    104 |  0.000 % |
423.18/423.36	c |    756381 |     700    14000    70000 |    62659    62188    104 |  0.000 % |
424.88/425.05	c |    759379 |     700    14000    70000 |    62659    58896    104 |  0.000 % |
426.68/426.87	c |    762675 |     700    14000    70000 | 2147483647    62192    104 |  0.000 % |
428.97/429.17	c |    766301 |     700    14000    70000 | 2147483647    65818    104 |  0.000 % |
431.77/431.91	c |    770288 |     700    14000    70000 |    69518    62356    104 |  0.000 % |
434.17/434.40	c |    774673 |     700    14000    70000 |    69518    66741    104 |  0.000 % |
437.07/437.24	c |    779498 |     700    14000    70000 |    69518    64126    104 |  0.000 % |
439.97/440.12	c |    784803 |     700    14000    70000 |    64628    62418    104 |  0.000 % |
443.37/443.57	c |    790640 |     700    14000    70000 | 2147483647    61613    104 |  0.000 % |
447.57/447.78	c |    797059 |     700    14000    70000 | 2147483647    68032    105 |  0.000 % |
451.47/451.68	c |    804120 |     700    14000    70000 |    70973    65974    105 |  0.000 % |
451.57/451.74	c |    804223 |     700    14000    70000 |    70973    66077    105 |  0.000 % |
451.67/451.82	c |    804335 |     700    14000    70000 |    70973    66189    105 |  0.000 % |
451.77/451.90	c |    804457 |     700    14000    70000 |    70973    66311    105 |  0.000 % |
451.77/451.99	c |    804591 |     700    14000    70000 |    70973    66445    105 |  0.000 % |
451.87/452.09	c |    804739 |     700    14000    70000 |    70973    66593    105 |  0.000 % |
452.07/452.21	c |    804899 |     700    14000    70000 |    70973    66753    105 |  0.000 % |
452.17/452.32	c |    805075 |     700    14000    70000 |    70973    66929    105 |  0.000 % |
452.27/452.46	c |    805269 |     700    14000    70000 |    70973    67123    105 |  0.000 % |
452.37/452.59	c |    805481 |     700    14000    70000 |    70973    67335    105 |  0.000 % |
452.57/452.73	c |    805715 |     700    14000    70000 |    70973    67569    105 |  0.000 % |
452.67/452.89	c |    805972 |     700    14000    70000 |    70973    67826    105 |  0.000 % |
452.87/453.07	c |    806254 |     700    14000    70000 |    70973    68108    105 |  0.000 % |
453.07/453.27	c |    806563 |     700    14000    70000 |    70973    68417    105 |  0.000 % |
453.37/453.51	c |    806902 |     700    14000    70000 |    70973    68756    105 |  0.000 % |
453.57/453.75	c |    807274 |     700    14000    70000 |    70973    69128    105 |  0.000 % |
453.87/454.01	c |    807685 |     700    14000    70000 |    70973    69539    105 |  0.000 % |
454.07/454.26	c |    808134 |     700    14000    70000 |    70973    69988    105 |  0.000 % |
454.37/454.57	c |    808628 |     700    14000    70000 |    70973    70482    105 |  0.000 % |
454.77/454.90	c |    809170 |     700    14000    70000 |    70973    71024    105 |  0.000 % |
455.07/455.25	c |    809767 |     700    14000    70000 |    70973    61690    105 |  0.000 % |
455.47/455.63	c |    810422 |     700    14000    70000 |    61923    53904    106 |  0.000 % |
455.77/455.99	c |    811142 |     700    14000    70000 |    61923    54624    106 |  0.000 % |
456.17/456.38	c |    811935 |     700    14000    70000 |    61923    55417    106 |  0.000 % |
456.67/456.81	c |    812806 |     700    14000    70000 |    61923    56288    106 |  0.000 % |
457.07/457.30	c |    813766 |     700    14000    70000 |    61923    57248    106 |  0.000 % |
457.67/457.83	c |    814822 |     700    14000    70000 |    61923    58304    105 |  0.000 % |
458.27/458.40	c |    815980 |     700    14000    70000 |    61923    59462    105 |  0.000 % |
458.87/459.08	c |    817253 |     700    14000    70000 |    61923    60735    105 |  0.000 % |
459.67/459.83	c |    818655 |     700    14000    70000 |    61923    62137    105 |  0.000 % |
460.47/460.63	c |    820195 |     700    14000    70000 | 2147483647    57464    105 |  0.000 % |
461.36/461.55	c |    821890 |     700    14000    70000 | 2147483647    59159    105 |  0.000 % |
462.36/462.51	c |    823754 |     700    14000    70000 | 2147483647    61023    105 |  0.000 % |
463.46/463.60	c |    825804 |     700    14000    70000 | 2147483647    63073    105 |  0.000 % |
464.76/464.93	c |    828059 |     700    14000    70000 | 2147483647    65328    105 |  0.000 % |
466.17/466.36	c |    830540 |     700    14000    70000 | 2147483647    67809    105 |  0.000 % |
467.66/467.88	c |    833265 |     700    14000    70000 | 2147483647    70534    105 |  0.000 % |
469.46/469.66	c |    836262 |     700    14000    70000 | 2147483647    73531    105 |  0.000 % |
471.56/471.71	c |    839558 |     700    14000    70000 | 2147483647    76827    105 |  0.000 % |
473.66/473.86	c |    843183 |     700    14000    70000 |    77271    69637    105 |  0.000 % |
476.16/476.37	c |    847171 |     700    14000    70000 |    77271    73625    105 |  0.000 % |
478.86/479.06	c |    851557 |     700    14000    70000 |    76456    66371    105 |  0.000 % |
481.86/482.00	c |    856380 |     700    14000    70000 |    76456    71194    105 |  0.000 % |
485.16/485.35	c |    861685 |     700    14000    70000 |    74815    65150    105 |  0.000 % |
488.65/488.86	c |    867521 |     700    14000    70000 |    74815    70986    105 |  0.000 % |
492.56/492.74	c |    873940 |     700    14000    70000 |    73468    66798    105 |  0.000 % |
496.85/497.01	c |    881002 |     700    14000    70000 |    72858    63581    106 |  0.000 % |
501.65/501.83	c |    888769 |     700    14000    70000 |    72858    71348    107 |  0.000 % |
501.65/501.89	c |    888871 |     700    14000    70000 |    72858    71450    107 |  0.000 % |
501.75/501.96	c |    888981 |     700    14000    70000 |    72858    71560    107 |  0.000 % |
501.85/502.05	c |    889105 |     700    14000    70000 |    72858    71684    107 |  0.000 % |
501.95/502.15	c |    889239 |     700    14000    70000 |    72858    71818    107 |  0.000 % |
502.05/502.26	c |    889385 |     700    14000    70000 |    72858    71964    107 |  0.000 % |
502.15/502.37	c |    889545 |     700    14000    70000 |    72858    72124    107 |  0.000 % |
502.35/502.51	c |    889721 |     700    14000    70000 |    72858    72300    107 |  0.000 % |
502.45/502.65	c |    889916 |     700    14000    70000 |    72858    72495    107 |  0.000 % |
502.64/502.81	c |    890128 |     700    14000    70000 |    72579    72707    107 |  0.000 % |
502.74/502.99	c |    890362 |     700    14000    70000 |    72579    62135    107 |  0.000 % |
502.94/503.15	c |    890620 |     700    14000    70000 |    72579    62393    107 |  0.000 % |
503.14/503.33	c |    890901 |     700    14000    70000 |    72579    62674    107 |  0.000 % |
503.34/503.53	c |    891211 |     700    14000    70000 |    72579    62984    107 |  0.000 % |
503.55/503.73	c |    891550 |     700    14000    70000 |    72579    63323    107 |  0.000 % |
503.84/504.00	c |    891922 |     700    14000    70000 |    72579    63695    107 |  0.000 % |
504.04/504.28	c |    892331 |     700    14000    70000 |    72579    64104    107 |  0.000 % |
504.34/504.55	c |    892781 |     700    14000    70000 |    72579    64554    107 |  0.000 % |
504.65/504.83	c |    893274 |     700    14000    70000 |    72579    65047    107 |  0.000 % |
504.94/505.17	c |    893816 |     700    14000    70000 |    72579    65589    106 |  0.000 % |
505.34/505.54	c |    894413 |     700    14000    70000 |    72579    66186    106 |  0.000 % |
505.75/505.95	c |    895068 |     700    14000    70000 |    72579    66841    106 |  0.000 % |
506.24/506.45	c |    895788 |     700    14000    70000 |    72579    67561    106 |  0.000 % |
506.74/506.94	c |    896582 |     700    14000    70000 |    72579    68355    106 |  0.000 % |
507.24/507.48	c |    897454 |     700    14000    70000 |    72579    69227    106 |  0.000 % |
507.84/508.10	c |    898414 |     700    14000    70000 |    72579    70187    106 |  0.000 % |
508.54/508.77	c |    899467 |     700    14000    70000 |    72579    71240    106 |  0.000 % |
509.34/509.54	c |    900626 |     700    14000    70000 |    71774    62298    105 |  0.000 % |
510.04/510.23	c |    901902 |     700    14000    70000 |    71774    63574    105 |  0.000 % |
510.74/510.96	c |    903304 |     700    14000    70000 |    71774    64976    105 |  0.000 % |
511.64/511.81	c |    904844 |     700    14000    70000 |    71774    66516    105 |  0.000 % |
512.64/512.82	c |    906538 |     700    14000    70000 |    71774    68210    105 |  0.000 % |
513.84/514.07	c |    908401 |     700    14000    70000 |    71774    70073    105 |  0.000 % |
515.24/515.44	c |    910450 |     700    14000    70000 |    71672    62229    105 |  0.000 % |
516.44/516.69	c |    912704 |     700    14000    70000 |    71672    64483    105 |  0.000 % |
517.94/518.17	c |    915182 |     700    14000    70000 |    71672    66961    105 |  0.000 % |
519.54/519.77	c |    917908 |     700    14000    70000 |    71672    69687    105 |  0.000 % |
521.34/521.53	c |    920905 |     700    14000    70000 |    71782    63371    105 |  0.000 % |
523.34/523.51	c |    924201 |     700    14000    70000 |    71782    66667    105 |  0.000 % |
525.34/525.54	c |    927826 |     700    14000    70000 |    71782    70292    105 |  0.000 % |
527.74/527.91	c |    931813 |     700    14000    70000 |    63259    56978    105 |  0.000 % |
530.14/530.35	c |    936203 |     700    14000    70000 |    63259    61368    105 |  0.000 % |
532.74/532.93	c |    941026 |     700    14000    70000 | 2147483647    59841    105 |  0.000 % |
535.55/535.70	c |    946332 |     700    14000    70000 | 2147483647    65147    105 |  0.000 % |
538.94/539.13	c |    952168 |     700    14000    70000 |    68816    62418    105 |  0.000 % |
542.54/542.79	c |    958586 |     700    14000    70000 |    68816    68836    106 |  0.000 % |
546.24/546.44	c |    965645 |     700    14000    70000 |    61709    59871    107 |  0.000 % |
550.54/550.77	c |    973410 |     700    14000    70000 |    57926    55490    109 |  0.000 % |
555.54/555.71	c |    981951 |     700    14000    70000 | 2147483647    58215    109 |  0.000 % |
555.54/555.76	c |    982053 |     700    14000    70000 | 2147483647    58317    109 |  0.000 % |
555.64/555.84	c |    982163 |     700    14000    70000 | 2147483647    58427    109 |  0.000 % |
555.74/555.91	c |    982284 |     700    14000    70000 | 2147483647    58548    109 |  0.000 % |
555.74/555.99	c |    982417 |     700    14000    70000 | 2147483647    58681    109 |  0.000 % |
555.84/556.08	c |    982564 |     700    14000    70000 | 2147483647    58828    109 |  0.000 % |
556.04/556.20	c |    982724 |     700    14000    70000 | 2147483647    58988    109 |  0.000 % |
556.14/556.31	c |    982900 |     700    14000    70000 | 2147483647    59164    109 |  0.000 % |
556.24/556.42	c |    983094 |     700    14000    70000 | 2147483647    59358    109 |  0.000 % |
556.34/556.56	c |    983306 |     700    14000    70000 | 2147483647    59570    109 |  0.000 % |
556.54/556.70	c |    983540 |     700    14000    70000 | 2147483647    59804    109 |  0.000 % |
556.64/556.87	c |    983796 |     700    14000    70000 | 2147483647    60060    109 |  0.000 % |
556.84/557.03	c |    984078 |     700    14000    70000 | 2147483647    60342    109 |  0.000 % |
557.04/557.22	c |    984388 |     700    14000    70000 | 2147483647    60652    109 |  0.000 % |
557.24/557.42	c |    984728 |     700    14000    70000 | 2147483647    60992    109 |  0.000 % |
557.44/557.62	c |    985100 |     700    14000    70000 | 2147483647    61364    108 |  0.000 % |
557.64/557.87	c |    985509 |     700    14000    70000 | 2147483647    61773    108 |  0.000 % |
557.94/558.16	c |    985959 |     700    14000    70000 | 2147483647    62223    108 |  0.000 % |
558.24/558.44	c |    986456 |     700    14000    70000 | 2147483647    62720    108 |  0.000 % |
558.54/558.77	c |    987000 |     700    14000    70000 | 2147483647    63264    108 |  0.000 % |
558.94/559.14	c |    987597 |     700    14000    70000 | 2147483647    63861    108 |  0.000 % |
559.33/559.54	c |    988252 |     700    14000    70000 | 2147483647    64516    108 |  0.000 % |
559.74/559.94	c |    988972 |     700    14000    70000 | 2147483647    65236    108 |  0.000 % |
560.14/560.36	c |    989764 |     700    14000    70000 | 2147483647    66028    108 |  0.000 % |
560.64/560.88	c |    990635 |     700    14000    70000 |    66266    59705    108 |  0.000 % |
561.13/561.40	c |    991594 |     700    14000    70000 |    66266    60664    108 |  0.000 % |
561.84/562.04	c |    992648 |     700    14000    70000 |    66266    61718    108 |  0.000 % |
562.43/562.69	c |    993807 |     700    14000    70000 |    66266    62877    108 |  0.000 % |
563.23/563.43	c |    995080 |     700    14000    70000 |    66266    64150    108 |  0.000 % |
564.14/564.31	c |    996484 |     700    14000    70000 |    66266    65554    108 |  0.000 % |
565.03/565.28	c |    998024 |     700    14000    70000 |    66266    59626    108 |  0.000 % |
566.13/566.33	c |    999720 |     700    14000    70000 |    66266    61322    108 |  0.000 % |
567.03/567.29	c |   1001583 |     700    14000    70000 |    61603    56193    108 |  0.000 % |
568.23/568.43	c |   1003632 |     700    14000    70000 |    61603    58242    108 |  0.000 % |
569.43/569.63	c |   1005885 |     700    14000    70000 |    61603    60495    108 |  0.000 % |
570.74/570.95	c |   1008363 |     700    14000    70000 |    61603    56790    107 |  0.000 % |
572.13/572.34	c |   1011090 |     700    14000    70000 | 2147483647    59517    107 |  0.000 % |
573.83/574.01	c |   1014087 |     700    14000    70000 | 2147483647    62514    107 |  0.000 % |
575.73/575.90	c |   1017383 |     700    14000    70000 | 2147483647    65810    107 |  0.000 % |
577.83/578.03	c |   1021009 |     700    14000    70000 |    68428    62019    106 |  0.000 % |
580.03/580.22	c |   1024997 |     700    14000    70000 |    68428    66007    106 |  0.000 % |
582.53/582.77	c |   1029385 |     700    14000    70000 |    68428    62792    105 |  0.000 % |
585.43/585.60	c |   1034208 |     700    14000    70000 |    63407    60601    105 |  0.000 % |
588.33/588.55	c |   1039514 |     700    14000    70000 |    63407    59542    104 |  0.000 % |
591.63/591.85	c |   1045350 |     700    14000    70000 | 2147483647    65378    104 |  0.000 % |
595.52/595.75	c |   1051768 |     700    14000    70000 |    70028    63450    106 |  0.000 % |
599.82/600.02	c |   1058828 |     700    14000    70000 |    70028    61848    106 |  0.000 % |
604.22/604.48	c |   1066596 |     700    14000    70000 |    63020    61839    106 |  0.000 % |
608.72/608.90	c |   1075137 |     700    14000    70000 |    58387    57530    106 |  0.000 % |
613.52/613.78	c |   1084531 |     700    14000    70000 | 2147483647    61061    107 |  0.000 % |
613.62/613.85	c |   1084633 |     700    14000    70000 | 2147483647    61163    107 |  0.000 % |
613.72/613.93	c |   1084743 |     700    14000    70000 | 2147483647    61273    107 |  0.000 % |
613.82/614.00	c |   1084865 |     700    14000    70000 | 2147483647    61395    107 |  0.000 % |
613.82/614.08	c |   1084998 |     700    14000    70000 | 2147483647    61528    107 |  0.000 % |
613.92/614.18	c |   1085147 |     700    14000    70000 | 2147483647    61677    107 |  0.000 % |
614.02/614.26	c |   1085307 |     700    14000    70000 | 2147483647    61837    107 |  0.000 % |
614.12/614.38	c |   1085483 |     700    14000    70000 | 2147483647    62013    107 |  0.000 % |
614.22/614.50	c |   1085676 |     700    14000    70000 | 2147483647    62206    107 |  0.000 % |
614.42/614.65	c |   1085889 |     700    14000    70000 | 2147483647    62419    107 |  0.000 % |
614.62/614.80	c |   1086123 |     700    14000    70000 | 2147483647    62653    107 |  0.000 % |
614.72/614.96	c |   1086379 |     700    14000    70000 | 2147483647    62909    107 |  0.000 % |
614.92/615.14	c |   1086662 |     700    14000    70000 | 2147483647    63192    107 |  0.000 % |
615.12/615.34	c |   1086972 |     700    14000    70000 | 2147483647    63502    107 |  0.000 % |
615.32/615.53	c |   1087313 |     700    14000    70000 | 2147483647    63843    106 |  0.000 % |
615.52/615.75	c |   1087685 |     700    14000    70000 | 2147483647    64215    106 |  0.000 % |
615.82/616.01	c |   1088099 |     700    14000    70000 | 2147483647    64629    106 |  0.000 % |
616.12/616.33	c |   1088548 |     700    14000    70000 | 2147483647    65078    106 |  0.000 % |
616.42/616.67	c |   1089045 |     700    14000    70000 | 2147483647    65575    106 |  0.000 % |
616.82/617.00	c |   1089588 |     700    14000    70000 | 2147483647    66118    106 |  0.000 % |
617.22/617.41	c |   1090185 |     700    14000    70000 |    66530    66715    106 |  0.000 % |
617.62/617.84	c |   1090842 |     700    14000    70000 |    66530    59950    106 |  0.000 % |
618.02/618.23	c |   1091563 |     700    14000    70000 |    66530    60671    106 |  0.000 % |
618.42/618.69	c |   1092357 |     700    14000    70000 |    66530    61465    106 |  0.000 % |
618.92/619.20	c |   1093228 |     700    14000    70000 |    66530    62336    106 |  0.000 % |
619.52/619.74	c |   1094186 |     700    14000    70000 |    66530    63294    106 |  0.000 % |
620.12/620.34	c |   1095241 |     700    14000    70000 |    66530    64349    106 |  0.000 % |
620.82/621.00	c |   1096399 |     700    14000    70000 |    66530    65507    106 |  0.000 % |
621.52/621.78	c |   1097672 |     700    14000    70000 |    66530    59581    105 |  0.000 % |
622.22/622.44	c |   1099072 |     700    14000    70000 |    66530    60981    105 |  0.000 % |
623.12/623.38	c |   1100613 |     700    14000    70000 |    61910    56026    104 |  0.000 % |
624.02/624.27	c |   1102308 |     700    14000    70000 |    61910    57721    104 |  0.000 % |
625.11/625.30	c |   1104171 |     700    14000    70000 |    61910    59584    105 |  0.000 % |
626.21/626.46	c |   1106220 |     700    14000    70000 |    61910    61633    105 |  0.000 % |
627.41/627.61	c |   1108475 |     700    14000    70000 |    61910    57672    104 |  0.000 % |
628.61/628.83	c |   1110956 |     700    14000    70000 | 2147483647    60153    104 |  0.000 % |
630.02/630.26	c |   1113681 |     700    14000    70000 | 2147483647    62878    104 |  0.000 % |
631.81/632.03	c |   1116679 |     700    14000    70000 | 2147483647    65876    105 |  0.000 % |
633.71/633.95	c |   1119975 |     700    14000    70000 | 2147483647    69172    105 |  0.000 % |
635.71/635.94	c |   1123601 |     700    14000    70000 |    69197    65480    105 |  0.000 % |
638.11/638.32	c |   1127589 |     700    14000    70000 |    69197    61501    104 |  0.000 % |
640.41/640.69	c |   1131977 |     700    14000    70000 |    63912    58567    105 |  0.000 % |
643.11/643.30	c |   1136800 |     700    14000    70000 |    63912    63390    105 |  0.000 % |
646.11/646.39	c |   1142106 |     700    14000    70000 | 2147483647    62280    105 |  0.000 % |
649.61/649.82	c |   1147941 |     700    14000    70000 | 2147483647    68115    105 |  0.000 % |
653.51/653.79	c |   1154359 |     700    14000    70000 |    70174    66666    105 |  0.000 % |
658.20/658.42	c |   1161418 |     700    14000    70000 |    63539    57162    107 |  0.000 % |
663.01/663.21	c |   1169182 |     700    14000    70000 |    63539    58549    107 |  0.000 % |
668.20/668.49	c |   1177723 |     700    14000    70000 | 2147483647    67090    107 |  0.000 % |
674.11/674.36	c |   1187117 |     700    14000    70000 |    69369    67567    107 |  0.000 % |
680.50/680.70	c |   1197451 |     700    14000    70000 |    61202    60829    107 |  0.000 % |
680.50/680.78	c |   1197551 |     700    14000    70000 |    61202    60929    107 |  0.000 % |
680.60/680.85	c |   1197661 |     700    14000    70000 |    61202    61039    107 |  0.000 % |
680.70/680.92	c |   1197782 |     700    14000    70000 |    61202    61160    107 |  0.000 % |
680.70/680.99	c |   1197918 |     700    14000    70000 |    61202    61296    107 |  0.000 % |
680.90/681.12	c |   1198066 |     700    14000    70000 |    61202    54646    107 |  0.000 % |
681.00/681.21	c |   1198226 |     700    14000    70000 |    61202    54806    107 |  0.000 % |
681.10/681.30	c |   1198402 |     700    14000    70000 |    61202    54982    107 |  0.000 % |
681.10/681.40	c |   1198597 |     700    14000    70000 |    61202    55177    107 |  0.000 % |
681.30/681.51	c |   1198810 |     700    14000    70000 |    61202    55390    107 |  0.000 % |
681.40/681.65	c |   1199043 |     700    14000    70000 |    61202    55623    107 |  0.000 % |
681.60/681.82	c |   1199301 |     700    14000    70000 |    61202    55881    107 |  0.000 % |
681.70/681.96	c |   1199584 |     700    14000    70000 |    61202    56164    107 |  0.000 % |
681.90/682.15	c |   1199894 |     700    14000    70000 |    61202    56474    107 |  0.000 % |
682.10/682.37	c |   1200234 |     700    14000    70000 |    56581    50888    107 |  0.000 % |
682.30/682.55	c |   1200607 |     700    14000    70000 |    56581    51261    107 |  0.000 % |
682.50/682.74	c |   1201016 |     700    14000    70000 |    56581    51670    107 |  0.000 % |
682.70/682.95	c |   1201465 |     700    14000    70000 |    56581    52119    107 |  0.000 % |
682.90/683.19	c |   1201959 |     700    14000    70000 |    56581    52613    107 |  0.000 % |
683.20/683.46	c |   1202502 |     700    14000    70000 |    56581    53156    107 |  0.000 % |
683.50/683.76	c |   1203098 |     700    14000    70000 |    56581    53752    106 |  0.000 % |
683.80/684.08	c |   1203753 |     700    14000    70000 |    56581    54407    106 |  0.000 % |
684.20/684.41	c |   1204473 |     700    14000    70000 |    56581    55127    106 |  0.000 % |
684.59/684.80	c |   1205268 |     700    14000    70000 |    56581    55922    106 |  0.000 % |
685.00/685.25	c |   1206141 |     700    14000    70000 |    56581    56795    106 |  0.000 % |
685.59/685.82	c |   1207100 |     700    14000    70000 |    56581    52075    106 |  0.000 % |
686.10/686.34	c |   1208154 |     700    14000    70000 |    56581    53129    106 |  0.000 % |
686.59/686.87	c |   1209314 |     700    14000    70000 |    56581    54289    106 |  0.000 % |
687.30/687.52	c |   1210587 |     700    14000    70000 | 2147483647    55562    106 |  0.000 % |
687.89/688.15	c |   1211987 |     700    14000    70000 | 2147483647    56962    106 |  0.000 % |
688.59/688.89	c |   1213527 |     700    14000    70000 | 2147483647    58502    106 |  0.000 % |
689.50/689.71	c |   1215221 |     700    14000    70000 | 2147483647    60196    106 |  0.000 % |
690.39/690.64	c |   1217085 |     700    14000    70000 | 2147483647    62060    106 |  0.000 % |
691.39/691.68	c |   1219134 |     700    14000    70000 | 2147483647    64109    106 |  0.000 % |
692.70/692.92	c |   1221388 |     700    14000    70000 | 2147483647    66363    106 |  0.000 % |
693.99/694.26	c |   1223868 |     700    14000    70000 | 2147483647    68843    105 |  0.000 % |
695.59/695.85	c |   1226593 |     700    14000    70000 | 2147483647    71568    105 |  0.000 % |
697.49/697.71	c |   1229591 |     700    14000    70000 | 2147483647    74566    106 |  0.000 % |
699.39/699.61	c |   1232888 |     700    14000    70000 |    74977    67738    105 |  0.000 % |
701.59/701.85	c |   1236513 |     700    14000    70000 |    74977    71363    105 |  0.000 % |
704.29/704.51	c |   1240502 |     700    14000    70000 |    74850    64028    105 |  0.000 % |
706.89/707.19	c |   1244887 |     700    14000    70000 |    74850    68413    105 |  0.000 % |
709.79/710.05	c |   1249712 |     700    14000    70000 |    74850    73238    105 |  0.000 % |
712.99/713.22	c |   1255018 |     700    14000    70000 |    73530    67892    105 |  0.000 % |
716.59/716.84	c |   1260854 |     700    14000    70000 |    72874    63462    104 |  0.000 % |
720.39/720.67	c |   1267272 |     700    14000    70000 |    72874    69880    105 |  0.000 % |
724.89/725.18	c |   1274333 |     700    14000    70000 |    72609    66567    106 |  0.000 % |
729.89/730.19	c |   1282097 |     700    14000    70000 |    72236    63608    107 |  0.000 % |
734.99/735.20	c |   1290638 |     700    14000    70000 |    71511    61870    108 |  0.000 % |
740.59/740.84	c |   1300033 |     700    14000    70000 |    71233    71265    108 |  0.000 % |
746.88/747.17	c |   1310367 |     700    14000    70000 |    71096    60570    108 |  0.000 % |
753.78/754.05	c |   1321733 |     700    14000    70000 |    70204    62106    109 |  0.000 % |
753.88/754.11	c |   1321833 |     700    14000    70000 |    70204    62206    109 |  0.000 % |
753.88/754.18	c |   1321946 |     700    14000    70000 |    70204    62319    109 |  0.000 % |
753.98/754.25	c |   1322070 |     700    14000    70000 |    70204    62443    109 |  0.000 % |
754.08/754.35	c |   1322205 |     700    14000    70000 |    70204    62578    109 |  0.000 % |
754.18/754.44	c |   1322352 |     700    14000    70000 |    70204    62725    109 |  0.000 % |
754.29/754.55	c |   1322513 |     700    14000    70000 |    70204    62886    109 |  0.000 % |
754.39/754.67	c |   1322690 |     700    14000    70000 |    70204    63063    109 |  0.000 % |
754.58/754.80	c |   1322883 |     700    14000    70000 |    70204    63256    109 |  0.000 % |
754.68/754.92	c |   1323096 |     700    14000    70000 |    70204    63469    109 |  0.000 % |
754.88/755.10	c |   1323329 |     700    14000    70000 |    70204    63702    109 |  0.000 % |
754.98/755.29	c |   1323587 |     700    14000    70000 |    70204    63960    109 |  0.000 % |
755.18/755.49	c |   1323869 |     700    14000    70000 |    70204    64242    109 |  0.000 % |
755.39/755.66	c |   1324178 |     700    14000    70000 |    70204    64551    109 |  0.000 % |
755.58/755.85	c |   1324520 |     700    14000    70000 |    70204    64893    109 |  0.000 % |
755.88/756.11	c |   1324892 |     700    14000    70000 |    70204    65265    109 |  0.000 % |
756.08/756.35	c |   1325302 |     700    14000    70000 |    70204    65675    108 |  0.000 % |
756.38/756.64	c |   1325751 |     700    14000    70000 |    70204    66124    108 |  0.000 % |
756.68/756.94	c |   1326247 |     700    14000    70000 |    70204    66620    108 |  0.000 % |
756.98/757.26	c |   1326789 |     700    14000    70000 |    70204    67162    108 |  0.000 % |
757.38/757.62	c |   1327385 |     700    14000    70000 |    70204    67758    108 |  0.000 % |
757.78/758.02	c |   1328040 |     700    14000    70000 |    70204    68413    108 |  0.000 % |
758.28/758.54	c |   1328760 |     700    14000    70000 |    70204    69133    108 |  0.000 % |
758.78/759.07	c |   1329555 |     700    14000    70000 |    70204    69928    108 |  0.000 % |
759.48/759.73	c |   1330426 |     700    14000    70000 |    70374    60050    108 |  0.000 % |
760.08/760.37	c |   1331384 |     700    14000    70000 |    70374    61008    108 |  0.000 % |
760.68/760.96	c |   1332438 |     700    14000    70000 |    70374    62062    108 |  0.000 % |
761.38/761.60	c |   1333597 |     700    14000    70000 |    70374    63221    108 |  0.000 % |
762.18/762.40	c |   1334870 |     700    14000    70000 |    70374    64494    108 |  0.000 % |
762.98/763.29	c |   1336270 |     700    14000    70000 |    70374    65894    108 |  0.000 % |
763.88/764.18	c |   1337811 |     700    14000    70000 |    70374    67435    108 |  0.000 % |
764.88/765.12	c |   1339505 |     700    14000    70000 |    70374    69129    108 |  0.000 % |
766.08/766.30	c |   1341368 |     700    14000    70000 |    69626    61698    107 |  0.000 % |
767.17/767.44	c |   1343419 |     700    14000    70000 |    69626    63749    107 |  0.000 % |
768.37/768.65	c |   1345672 |     700    14000    70000 |    69626    66002    107 |  0.000 % |
769.87/770.11	c |   1348151 |     700    14000    70000 |    69626    68481    107 |  0.000 % |
771.57/771.86	c |   1350877 |     700    14000    70000 |    61483    54707    106 |  0.000 % |
772.98/773.27	c |   1353874 |     700    14000    70000 |    61483    57704    106 |  0.000 % |
774.77/775.05	c |   1357171 |     700    14000    70000 |    61483    61001    106 |  0.000 % |
776.67/776.98	c |   1360796 |     700    14000    70000 | 2147483647    58454    106 |  0.000 % |
778.97/779.21	c |   1364783 |     700    14000    70000 | 2147483647    62441    106 |  0.000 % |
781.57/781.82	c |   1369170 |     700    14000    70000 | 2147483647    66828    106 |  0.000 % |
784.57/784.87	c |   1373993 |     700    14000    70000 | 2147483647    71651    106 |  0.000 % |
788.07/788.33	c |   1379299 |     700    14000    70000 | 2147483647    76957    106 |  0.000 % |
791.86/792.16	c |   1385134 |     700    14000    70000 |    77658    71575    106 |  0.000 % |
796.07/796.38	c |   1391553 |     700    14000    70000 |    76441    66164    107 |  0.000 % |
800.47/800.71	c |   1398612 |     700    14000    70000 |    76441    73223    107 |  0.000 % |
805.26/805.54	c |   1406378 |     700    14000    70000 |    74613    69200    108 |  0.000 % |
810.66/810.98	c |   1414920 |     700    14000    70000 |    72822    66847    108 |  0.000 % |
816.46/816.76	c |   1424315 |     700    14000    70000 |    71928    65557    108 |  0.000 % |
823.26/823.57	c |   1434648 |     700    14000    70000 |    71242    65707    109 |  0.000 % |
831.26/831.57	c |   1446015 |     700    14000    70000 |    71060    66823    109 |  0.000 % |
838.35/838.70	c |   1458518 |     700    14000    70000 |    70809    68957    109 |  0.000 % |
838.45/838.75	c |   1458618 |     700    14000    70000 |    70809    69057    109 |  0.000 % |
838.55/838.83	c |   1458728 |     700    14000    70000 |    70809    69167    109 |  0.000 % |
838.65/838.90	c |   1458849 |     700    14000    70000 |    70809    69288    109 |  0.000 % |
838.65/838.99	c |   1458982 |     700    14000    70000 |    70809    69421    109 |  0.000 % |
838.75/839.09	c |   1459129 |     700    14000    70000 |    70809    69568    109 |  0.000 % |
838.85/839.18	c |   1459290 |     700    14000    70000 |    70809    69729    109 |  0.000 % |
838.96/839.30	c |   1459466 |     700    14000    70000 |    70809    69905    109 |  0.000 % |
839.15/839.43	c |   1459659 |     700    14000    70000 |    70809    70098    108 |  0.000 % |
839.25/839.58	c |   1459872 |     700    14000    70000 |    70809    70311    108 |  0.000 % |
839.45/839.74	c |   1460106 |     700    14000    70000 |    70439    70545    108 |  0.000 % |
839.65/839.94	c |   1460363 |     700    14000    70000 |    70439    60434    109 |  0.000 % |
839.85/840.10	c |   1460645 |     700    14000    70000 |    70439    60716    109 |  0.000 % |
839.95/840.29	c |   1460954 |     700    14000    70000 |    70439    61025    108 |  0.000 % |
840.25/840.50	c |   1461294 |     700    14000    70000 |    70439    61365    108 |  0.000 % |
840.45/840.74	c |   1461667 |     700    14000    70000 |    70439    61738    108 |  0.000 % |
840.65/840.99	c |   1462078 |     700    14000    70000 |    70439    62149    108 |  0.000 % |
841.05/841.30	c |   1462528 |     700    14000    70000 |    70439    62599    108 |  0.000 % |
841.26/841.59	c |   1463021 |     700    14000    70000 |    70439    63092    108 |  0.000 % |
841.65/841.91	c |   1463563 |     700    14000    70000 |    70439    63634    108 |  0.000 % |
841.95/842.23	c |   1464159 |     700    14000    70000 |    70439    64230    108 |  0.000 % |
842.35/842.62	c |   1464814 |     700    14000    70000 |    70439    64885    108 |  0.000 % |
842.75/843.10	c |   1465534 |     700    14000    70000 |    70439    65605    108 |  0.000 % |
843.35/843.65	c |   1466326 |     700    14000    70000 |    70439    66397    108 |  0.000 % |
843.95/844.21	c |   1467197 |     700    14000    70000 |    70439    67268    108 |  0.000 % |
844.45/844.79	c |   1468155 |     700    14000    70000 |    70439    68226    108 |  0.000 % |
845.15/845.43	c |   1469209 |     700    14000    70000 |    70439    69280    108 |  0.000 % |
845.85/846.20	c |   1470368 |     700    14000    70000 |    70073    60894    107 |  0.000 % |
846.55/846.85	c |   1471641 |     700    14000    70000 |    70073    62167    107 |  0.000 % |
847.35/847.64	c |   1473041 |     700    14000    70000 |    70073    63567    107 |  0.000 % |
848.25/848.54	c |   1474581 |     700    14000    70000 |    70073    65107    107 |  0.000 % |
849.35/849.63	c |   1476276 |     700    14000    70000 |    70073    66802    107 |  0.000 % |
850.55/850.80	c |   1478139 |     700    14000    70000 |    70073    68665    106 |  0.000 % |
851.75/852.03	c |   1480189 |     700    14000    70000 |    61366    61554    106 |  0.000 % |
852.85/853.18	c |   1482442 |     700    14000    70000 |    61366    56026    105 |  0.000 % |
854.15/854.44	c |   1484921 |     700    14000    70000 |    61366    58505    105 |  0.000 % |
855.65/855.98	c |   1487646 |     700    14000    70000 |    61366    61230    105 |  0.000 % |
857.25/857.60	c |   1490645 |     700    14000    70000 | 2147483647    58070    105 |  0.000 % |
859.05/859.32	c |   1493941 |     700    14000    70000 | 2147483647    61366    105 |  0.000 % |
861.15/861.43	c |   1497568 |     700    14000    70000 | 2147483647    64993    105 |  0.000 % |
863.54/863.81	c |   1501555 |     700    14000    70000 |    67425    61755    104 |  0.000 % |
866.04/866.34	c |   1505940 |     700    14000    70000 |    67425    66140    104 |  0.000 % |
868.84/869.10	c |   1510764 |     700    14000    70000 |    62062    55672    103 |  0.000 % |
871.44/871.79	c |   1516072 |     700    14000    70000 |    62062    60980    103 |  0.000 % |
874.54/874.86	c |   1521908 |     700    14000    70000 | 2147483647    60586    104 |  0.000 % |
878.14/878.43	c |   1528326 |     700    14000    70000 | 2147483647    67004    104 |  0.000 % |
882.64/882.94	c |   1535388 |     700    14000    70000 |    68678    66261    105 |  0.000 % |
887.54/887.88	c |   1543153 |     700    14000    70000 |    61983    57149    105 |  0.000 % |
892.44/892.75	c |   1551693 |     700    14000    70000 |    57309    52970    106 |  0.000 % |
897.34/897.68	c |   1561087 |     700    14000    70000 | 2147483647    56611    106 |  0.000 % |
902.63/902.93	c |   1571421 |     700    14000    70000 | 2147483647    66945    106 |  0.000 % |
909.73/910.01	c |   1582787 |     700    14000    70000 |    75524    66790    106 |  0.000 % |
917.23/917.56	c |   1595289 |     700    14000    70000 |    74003    68788    106 |  0.000 % |
925.73/926.05	c |   1609041 |     700    14000    70000 |    73501    72434    107 |  0.000 % |
925.83/926.13	c |   1609141 |     700    14000    70000 |    73501    72534    107 |  0.000 % |
925.93/926.21	c |   1609252 |     700    14000    70000 |    73501    72645    106 |  0.000 % |
926.03/926.30	c |   1609374 |     700    14000    70000 |    73501    72767    106 |  0.000 % |
926.13/926.40	c |   1609507 |     700    14000    70000 |    73501    72900    106 |  0.000 % |
926.23/926.53	c |   1609653 |     700    14000    70000 |    73501    73046    106 |  0.000 % |
926.33/926.63	c |   1609813 |     700    14000    70000 |    73501    73206    106 |  0.000 % |
926.43/926.75	c |   1609989 |     700    14000    70000 |    73501    73382    106 |  0.000 % |
926.53/926.88	c |   1610182 |     700    14000    70000 |    73394    73575    106 |  0.000 % |
926.73/927.07	c |   1610395 |     700    14000    70000 |    73394    62886    106 |  0.000 % |
926.93/927.20	c |   1610628 |     700    14000    70000 |    73394    63119    106 |  0.000 % |
927.03/927.36	c |   1610884 |     700    14000    70000 |    73394    63375    106 |  0.000 % |
927.23/927.52	c |   1611165 |     700    14000    70000 |    73394    63656    106 |  0.000 % |
927.43/927.70	c |   1611475 |     700    14000    70000 |    73394    63966    106 |  0.000 % |
927.63/927.90	c |   1611814 |     700    14000    70000 |    73394    64305    106 |  0.000 % |
927.73/928.09	c |   1612187 |     700    14000    70000 |    73394    64678    106 |  0.000 % |
928.03/928.33	c |   1612598 |     700    14000    70000 |    73394    65089    106 |  0.000 % |
928.33/928.63	c |   1613049 |     700    14000    70000 |    73394    65540    106 |  0.000 % |
928.62/928.96	c |   1613542 |     700    14000    70000 |    73394    66033    106 |  0.000 % |
928.92/929.28	c |   1614087 |     700    14000    70000 |    73394    66578    106 |  0.000 % |
929.32/929.66	c |   1614683 |     700    14000    70000 |    73394    67174    106 |  0.000 % |
929.72/930.07	c |   1615339 |     700    14000    70000 |    73394    67830    106 |  0.000 % |
930.23/930.54	c |   1616059 |     700    14000    70000 |    73394    68550    106 |  0.000 % |
930.62/930.98	c |   1616852 |     700    14000    70000 |    73394    69343    106 |  0.000 % |
931.22/931.50	c |   1617723 |     700    14000    70000 |    73394    70214    106 |  0.000 % |
931.72/932.07	c |   1618681 |     700    14000    70000 |    73394    71172    106 |  0.000 % |
932.43/932.72	c |   1619735 |     700    14000    70000 |    73394    72226    106 |  0.000 % |
933.12/933.47	c |   1620893 |     700    14000    70000 |    72492    63046    105 |  0.000 % |
933.82/934.17	c |   1622166 |     700    14000    70000 |    72492    64319    105 |  0.000 % |
934.62/934.98	c |   1623566 |     700    14000    70000 |    72492    65719    105 |  0.000 % |
935.52/935.85	c |   1625109 |     700    14000    70000 |    72492    67262    105 |  0.000 % |
936.52/936.89	c |   1626803 |     700    14000    70000 |    72492    68956    105 |  0.000 % |
937.72/938.07	c |   1628667 |     700    14000    70000 |    72492    70820    105 |  0.000 % |
939.02/939.40	c |   1630719 |     700    14000    70000 |    72153    62398    106 |  0.000 % |
940.22/940.59	c |   1632973 |     700    14000    70000 |    72153    64652    106 |  0.000 % |
941.62/941.97	c |   1635451 |     700    14000    70000 |    72153    67130    106 |  0.000 % |
943.12/943.48	c |   1638176 |     700    14000    70000 |    72153    69855    105 |  0.000 % |
945.02/945.31	c |   1641175 |     700    14000    70000 |    71679    63954    106 |  0.000 % |
946.82/947.19	c |   1644471 |     700    14000    70000 |    71679    67250    106 |  0.000 % |
948.82/949.19	c |   1648098 |     700    14000    70000 |    71679    70877    106 |  0.000 % |
951.32/951.66	c |   1652085 |     700    14000    70000 |    64403    58965    105 |  0.000 % |
953.82/954.13	c |   1656472 |     700    14000    70000 |    64403    63352    105 |  0.000 % |
956.62/956.94	c |   1661297 |     700    14000    70000 |    60041    55272    104 |  0.000 % |
959.51/959.85	c |   1666602 |     700    14000    70000 |    60041    54550    105 |  0.000 % |
962.81/963.11	c |   1672437 |     700    14000    70000 | 2147483647    60385    106 |  0.000 % |
966.62/966.98	c |   1678855 |     700    14000    70000 | 2147483647    66803    106 |  0.000 % |
970.81/971.20	c |   1685915 |     700    14000    70000 |    67948    66258    107 |  0.000 % |
975.61/975.92	c |   1693680 |     700    14000    70000 |    61939    57857    108 |  0.000 % |
980.51/980.84	c |   1702220 |     700    14000    70000 |    57428    53601    109 |  0.000 % |
985.92/986.29	c |   1711614 |     700    14000    70000 | 2147483647    57231    109 |  0.000 % |
992.62/992.98	c |   1721948 |     700    14000    70000 | 2147483647    67565    111 |  0.000 % |
1002.71/1003.10	c |   1733315 |     700    14000    70000 |    75617    65962    112 |  0.000 % |
1011.90/1012.24	c |   1745817 |     700    14000    70000 |    72647    65291    112 |  0.000 % |
1021.80/1022.17	c |   1759569 |     700    14000    70000 |    69475    67110    113 |  0.000 % |
1028.70/1029.08	c |   1774699 |     700    14000    70000 |    66691    63870    115 |  0.000 % |
1028.80/1029.13	c |   1774800 |     700    14000    70000 |    66691    63971    115 |  0.000 % |
1028.90/1029.20	c |   1774911 |     700    14000    70000 |    66691    64082    115 |  0.000 % |
1028.90/1029.27	c |   1775032 |     700    14000    70000 |    66691    64203    115 |  0.000 % |
1029.00/1029.36	c |   1775165 |     700    14000    70000 |    66691    64336    115 |  0.000 % |
1029.10/1029.47	c |   1775314 |     700    14000    70000 |    66691    64485    115 |  0.000 % |
1029.20/1029.58	c |   1775477 |     700    14000    70000 |    66691    64648    115 |  0.000 % |
1029.30/1029.69	c |   1775654 |     700    14000    70000 |    66691    64825    115 |  0.000 % |
1029.50/1029.82	c |   1775848 |     700    14000    70000 |    66691    65019    115 |  0.000 % |
1029.60/1029.96	c |   1776063 |     700    14000    70000 |    66691    65234    115 |  0.000 % |
1029.80/1030.13	c |   1776296 |     700    14000    70000 |    66691    65467    115 |  0.000 % |
1029.91/1030.30	c |   1776555 |     700    14000    70000 |    66691    65726    115 |  0.000 % |
1030.11/1030.49	c |   1776838 |     700    14000    70000 |    66691    66009    115 |  0.000 % |
1030.31/1030.68	c |   1777147 |     700    14000    70000 |    66691    66318    115 |  0.000 % |
1030.51/1030.88	c |   1777486 |     700    14000    70000 |    66691    66657    114 |  0.000 % |
1030.81/1031.15	c |   1777858 |     700    14000    70000 |    66691    58670    113 |  0.000 % |
1031.01/1031.37	c |   1778268 |     700    14000    70000 |    66691    59080    113 |  0.000 % |
1031.20/1031.58	c |   1778717 |     700    14000    70000 |    66691    59529    113 |  0.000 % |
1031.51/1031.83	c |   1779210 |     700    14000    70000 |    66691    60022    113 |  0.000 % |
1031.80/1032.13	c |   1779752 |     700    14000    70000 |    66691    60564    113 |  0.000 % |
1032.10/1032.48	c |   1780350 |     700    14000    70000 |    60813    54113    112 |  0.000 % |
1032.40/1032.78	c |   1781005 |     700    14000    70000 |    60813    54768    112 |  0.000 % |
1032.80/1033.17	c |   1781727 |     700    14000    70000 |    60813    55490    112 |  0.000 % |
1033.20/1033.55	c |   1782519 |     700    14000    70000 |    60813    56282    112 |  0.000 % |
1033.61/1033.98	c |   1783390 |     700    14000    70000 |    60813    57153    111 |  0.000 % |
1034.20/1034.52	c |   1784349 |     700    14000    70000 |    60813    58112    111 |  0.000 % |
1034.71/1035.02	c |   1785402 |     700    14000    70000 |    60813    59165    111 |  0.000 % |
1035.30/1035.65	c |   1786563 |     700    14000    70000 |    60813    60326    111 |  0.000 % |
1036.00/1036.37	c |   1787836 |     700    14000    70000 |    60813    55495    111 |  0.000 % |
1036.70/1037.09	c |   1789236 |     700    14000    70000 |    60813    56895    110 |  0.000 % |
1037.50/1037.88	c |   1790776 |     700    14000    70000 | 2147483647    58435    110 |  0.000 % |
1038.50/1038.80	c |   1792471 |     700    14000    70000 | 2147483647    60130    110 |  0.000 % |
1039.40/1039.75	c |   1794335 |     700    14000    70000 | 2147483647    61994    110 |  0.000 % |
1040.50/1040.84	c |   1796385 |     700    14000    70000 | 2147483647    64044    110 |  0.000 % |
1041.80/1042.18	c |   1798638 |     700    14000    70000 | 2147483647    66297    110 |  0.000 % |
1043.30/1043.65	c |   1801116 |     700    14000    70000 | 2147483647    68775    110 |  0.000 % |
1045.10/1045.41	c |   1803842 |     700    14000    70000 | 2147483647    71501    110 |  0.000 % |
1046.90/1047.29	c |   1806840 |     700    14000    70000 | 2147483647    74499    110 |  0.000 % |
1049.20/1049.55	c |   1810136 |     700    14000    70000 |    77659    77795    109 |  0.000 % |
1051.40/1051.76	c |   1813761 |     700    14000    70000 |    77659    70156    109 |  0.000 % |
1054.00/1054.36	c |   1817749 |     700    14000    70000 |    77659    74144    109 |  0.000 % |
1056.80/1057.19	c |   1822134 |     700    14000    70000 |    76395    66400    108 |  0.000 % |
1059.69/1060.08	c |   1826957 |     700    14000    70000 |    76395    71223    108 |  0.000 % |
1063.19/1063.51	c |   1832262 |     700    14000    70000 |    74266    65423    106 |  0.000 % |
1066.70/1067.03	c |   1838097 |     700    14000    70000 |    74266    71258    106 |  0.000 % |
1070.59/1070.99	c |   1844515 |     700    14000    70000 |    73161    67111    106 |  0.000 % |
1074.69/1075.09	c |   1851574 |     700    14000    70000 |    72597    63197    107 |  0.000 % |
1079.19/1079.55	c |   1859338 |     700    14000    70000 |    72597    70961    107 |  0.000 % |
1084.29/1084.62	c |   1867878 |     700    14000    70000 |    71623    68410    107 |  0.000 % |
1089.89/1090.28	c |   1877273 |     700    14000    70000 |    70533    67965    108 |  0.000 % |
1096.78/1097.13	c |   1887608 |     700    14000    70000 |    70692    68441    108 |  0.000 % |
1104.58/1104.90	c |   1898975 |     700    14000    70000 |    70834    70009    109 |  0.000 % |
1113.18/1113.55	c |   1911478 |     700    14000    70000 |    70766    61925    110 |  0.000 % |
1122.48/1122.82	c |   1925232 |     700    14000    70000 |    70448    64931    110 |  0.000 % |
1134.37/1134.70	c |   1940359 |     700    14000    70000 |    69060    57671    110 |  0.000 % |
1145.47/1145.82	c |   1956998 |     700    14000    70000 |    67313    65132    110 |  0.000 % |
1145.47/1145.88	c |   1957098 |     700    14000    70000 |    67313    65232    110 |  0.000 % |
1145.57/1145.95	c |   1957209 |     700    14000    70000 |    67313    65343    110 |  0.000 % |
1145.67/1146.02	c |   1957331 |     700    14000    70000 |    67313    65465    110 |  0.000 % |
1145.77/1146.11	c |   1957465 |     700    14000    70000 |    67313    65599    110 |  0.000 % |
1145.87/1146.20	c |   1957611 |     700    14000    70000 |    67313    65745    110 |  0.000 % |
1145.97/1146.30	c |   1957771 |     700    14000    70000 |    67313    65905    110 |  0.000 % |
1146.07/1146.43	c |   1957947 |     700    14000    70000 |    67313    66081    109 |  0.000 % |
1146.17/1146.57	c |   1958140 |     700    14000    70000 |    67313    66274    109 |  0.000 % |
1146.37/1146.71	c |   1958352 |     700    14000    70000 |    67313    66486    109 |  0.000 % |
1146.47/1146.86	c |   1958587 |     700    14000    70000 |    67313    66721    109 |  0.000 % |
1146.67/1147.02	c |   1958843 |     700    14000    70000 |    67313    66977    109 |  0.000 % |
1146.77/1147.19	c |   1959124 |     700    14000    70000 |    67313    67258    109 |  0.000 % |
1147.07/1147.42	c |   1959433 |     700    14000    70000 |    67313    57968    109 |  0.000 % |
1147.27/1147.60	c |   1959772 |     700    14000    70000 |    67313    58307    109 |  0.000 % |
1147.47/1147.82	c |   1960144 |     700    14000    70000 |    58535    58679    109 |  0.000 % |
1147.67/1148.09	c |   1960553 |     700    14000    70000 |    58535    51018    108 |  0.000 % |
1147.97/1148.32	c |   1961002 |     700    14000    70000 |    58535    51467    108 |  0.000 % |
1148.16/1148.57	c |   1961495 |     700    14000    70000 |    58535    51960    108 |  0.000 % |
1148.46/1148.87	c |   1962037 |     700    14000    70000 |    58535    52502    107 |  0.000 % |
1148.76/1149.15	c |   1962634 |     700    14000    70000 |    58535    53099    107 |  0.000 % |
1149.07/1149.44	c |   1963290 |     700    14000    70000 |    58535    53755    107 |  0.000 % |
1149.36/1149.75	c |   1964010 |     700    14000    70000 |    58535    54475    107 |  0.000 % |
1149.76/1150.12	c |   1964802 |     700    14000    70000 |    58535    55267    107 |  0.000 % |
1150.17/1150.55	c |   1965673 |     700    14000    70000 |    58535    56138    107 |  0.000 % |
1150.66/1151.05	c |   1966633 |     700    14000    70000 |    58535    57098    107 |  0.000 % |
1151.16/1151.58	c |   1967686 |     700    14000    70000 |    58535    58151    107 |  0.000 % |
1151.86/1152.22	c |   1968844 |     700    14000    70000 |    58535    53431    106 |  0.000 % |
1152.46/1152.84	c |   1970117 |     700    14000    70000 | 2147483647    54704    106 |  0.000 % |
1153.16/1153.52	c |   1971518 |     700    14000    70000 | 2147483647    56105    106 |  0.000 % |
1153.86/1154.29	c |   1973060 |     700    14000    70000 | 2147483647    57647    106 |  0.000 % |
1154.86/1155.23	c |   1974754 |     700    14000    70000 | 2147483647    59341    106 |  0.000 % |
1155.86/1156.25	c |   1976617 |     700    14000    70000 | 2147483647    61204    106 |  0.000 % |
1157.06/1157.41	c |   1978666 |     700    14000    70000 | 2147483647    63253    106 |  0.000 % |
1158.36/1158.71	c |   1980919 |     700    14000    70000 | 2147483647    65506    106 |  0.000 % |
1159.86/1160.27	c |   1983397 |     700    14000    70000 | 2147483647    67984    105 |  0.000 % |
1161.66/1162.09	c |   1986122 |     700    14000    70000 | 2147483647    70709    105 |  0.000 % |
1163.76/1164.15	c |   1989123 |     700    14000    70000 | 2147483647    73710    105 |  0.000 % |
1165.76/1166.18	c |   1992419 |     700    14000    70000 |    74587    66997    105 |  0.000 % |
1167.96/1168.33	c |   1996044 |     700    14000    70000 |    74587    70622    105 |  0.000 % |
1170.36/1170.79	c |   2000031 |     700    14000    70000 |    74578    74609    105 |  0.000 % |
1173.05/1173.45	c |   2004421 |     700    14000    70000 |    74578    68333    104 |  0.000 % |
1176.15/1176.52	c |   2009244 |     700    14000    70000 |    74578    73156    104 |  0.000 % |
1179.45/1179.87	c |   2014549 |     700    14000    70000 |    73912    67387    104 |  0.000 % |
1183.26/1183.66	c |   2020384 |     700    14000    70000 |    72838    61994    104 |  0.000 % |
1187.25/1187.63	c |   2026802 |     700    14000    70000 |    72838    68412    104 |  0.000 % |
1191.65/1192.07	c |   2033862 |     700    14000    70000 |    71611    64838    105 |  0.000 % |
1196.86/1197.22	c |   2041626 |     700    14000    70000 |    70976    61890    107 |  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-1832525-1242781277/watcher-1832525-1242781277 -o /tmp/evaluation-result-1832525-1242781277/solver-1832525-1242781277 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832525-1242781277.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: 0.92 0.98 0.99 3/64 13816
/proc/meminfo: memFree=1837616/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306155179 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13816/statm: 1339 237 197 169 0 50 0

[startup+0.0941739 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13816
/proc/meminfo: memFree=1837616/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.101172 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13816
/proc/meminfo: memFree=1837616/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301188 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13816
/proc/meminfo: memFree=1837616/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701216 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13816
/proc/meminfo: memFree=1837616/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13822
/proc/meminfo: memFree=1833696/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=5904 CPUtime=1.44
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 1200 0 0 0 144 0 0 0 25 0 1 0 306155184 6045696 1186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 1476 1186 77 171 0 1303 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11260

[startup+3.10137 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13822
/proc/meminfo: memFree=1830688/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=10040 CPUtime=3.04
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 2222 0 0 0 303 1 0 0 25 0 1 0 306155184 10280960 2208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 2510 2208 77 171 0 2337 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15396

[startup+6.30158 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13822
/proc/meminfo: memFree=1824160/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=15308 CPUtime=6.24
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 3539 0 0 0 621 3 0 0 25 0 1 0 306155184 15675392 3525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 3827 3525 77 171 0 3654 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20664

[startup+12.703 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13822
/proc/meminfo: memFree=1816288/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=22516 CPUtime=12.64
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 5330 0 0 0 1260 4 0 0 25 0 1 0 306155184 23056384 5316 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 5629 5316 77 171 0 5456 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27872

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 13822
/proc/meminfo: memFree=1805664/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=32668 CPUtime=25.44
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 7860 0 0 0 2537 7 0 0 25 0 1 0 306155184 33452032 7846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 8167 7846 77 171 0 7994 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38024

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 13822
/proc/meminfo: memFree=1803552/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=34516 CPUtime=51.02
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 8335 0 0 0 5094 8 0 0 25 0 1 0 306155184 35344384 8321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 8629 8321 77 171 0 8456 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39872

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 13822
/proc/meminfo: memFree=1803488/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=34440 CPUtime=102.22
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 8335 0 0 0 10213 9 0 0 25 0 1 0 306155184 35266560 8318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 8610 8318 77 171 0 8437 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 39796

[startup+162.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1800416/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=37476 CPUtime=162.2
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9075 0 0 0 16210 10 0 0 25 0 1 0 306155184 38375424 9058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9369 9058 77 171 0 9196 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 42832

[startup+222.301 s]
/proc/loadavg: 1.09 1.02 1.00 2/66 13822
/proc/meminfo: memFree=1800352/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=37364 CPUtime=222.19
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9075 0 0 0 22208 11 0 0 25 0 1 0 306155184 38260736 9052 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9341 9052 77 171 0 9168 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 42720

[startup+282.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 13822
/proc/meminfo: memFree=1798048/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=39608 CPUtime=282.17
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9625 0 0 0 28205 12 0 0 25 0 1 0 306155184 40558592 9602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9902 9602 77 171 0 9729 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 44964

[startup+342.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1797920/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=39608 CPUtime=342.16
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9625 0 0 0 34203 13 0 0 25 0 1 0 306155184 40558592 9602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9902 9602 77 171 0 9729 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 44964

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1797856/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=39608 CPUtime=402.15
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9625 0 0 0 40202 13 0 0 25 0 1 0 306155184 40558592 9602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9902 9602 77 171 0 9729 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44964

[startup+462.301 s]

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

/proc/13822/statm: 9947 9660 77 171 0 9774 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 45144

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1797280/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=39788 CPUtime=582.1
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9701 0 0 0 58195 15 0 0 25 0 1 0 306155184 40742912 9660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9947 9660 77 171 0 9774 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 45144

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1797216/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=39788 CPUtime=642.08
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9701 0 0 0 64193 15 0 0 25 0 1 0 306155184 40742912 9660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9947 9660 77 171 0 9774 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 45144

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1797024/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=39788 CPUtime=702.06
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9701 0 0 0 70191 15 0 0 25 0 1 0 306155184 40742912 9660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9947 9660 77 171 0 9774 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 45144

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1796896/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=39788 CPUtime=762.05
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 9701 0 0 0 76189 16 0 0 25 0 1 0 306155184 40742912 9660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 9947 9660 77 171 0 9774 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 45144

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1795424/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=41240 CPUtime=822.03
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10054 0 0 0 82187 16 0 0 25 0 1 0 306155184 42229760 10013 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10310 10013 77 171 0 10137 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 46596

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1795360/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=41240 CPUtime=882.01
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10054 0 0 0 88185 16 0 0 25 0 1 0 306155184 42229760 10013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10310 10013 77 171 0 10137 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 46596

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1795296/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=41240 CPUtime=941.99
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10054 0 0 0 94183 16 0 0 25 0 1 0 306155184 42229760 10013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10310 10013 77 171 0 10137 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 46596

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1793696/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=42824 CPUtime=1001.98
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10432 0 0 0 100181 17 0 0 25 0 1 0 306155184 43851776 10391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10706 10391 77 171 0 10533 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 48180

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1793056/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=43352 CPUtime=1061.96
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10566 0 0 0 106178 18 0 0 25 0 1 0 306155184 44392448 10525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10838 10525 77 171 0 10665 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 48708

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1792992/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=43352 CPUtime=1121.95
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10566 0 0 0 112177 18 0 0 25 0 1 0 306155184 44392448 10525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10838 10525 77 171 0 10665 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 48708

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1792928/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=43352 CPUtime=1181.92
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10566 0 0 0 118174 18 0 0 25 0 1 0 306155184 44392448 10525 1992294400 134512640 135215339 4294956240 18446744073709551615 134537983 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10838 10525 77 171 0 10665 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 48708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13822
/proc/meminfo: memFree=1792928/2055920 swapFree=4180408/4192956
[pid=13816] ppid=13814 vsize=5356 CPUtime=0.03
/proc/13816/stat : 13816 (SatELiteGTI) S 13814 13816 13568 0 -1 4194304 336 648 0 0 0 0 3 0 16 0 1 0 306155179 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13816/statm: 1339 239 197 169 0 50 0
[pid=13822] ppid=13816 vsize=43352 CPUtime=1200.03
/proc/13822/stat : 13822 (minisat_static) R 13816 13816 13568 0 -1 4194304 10566 0 0 0 119984 19 0 0 25 0 1 0 306155184 44392448 10525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13822/statm: 10838 10525 77 171 0 10665 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 48708

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.41
CPU time (s): 1200.06
CPU user time (s): 1199.87
CPU system time (s): 0.19
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 48708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.039993
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 984
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= 6

runsolver used 1.38779 second user time and 3.10653 second system time

The end

Launcher Data

Begin job on node52 at 2009-05-20 03:01:17
IDJOB=1832525
IDBENCH=70226
IDSOLVER=671
FILE ID=node52/1832525-1242781277
PBS_JOBID= 9322339
Free space on /tmp= 66140 MiB

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

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

MD5SUM BENCH= 38e0bd101ebf8f53eafa7d9a988513ec
RANDOM SEED=1121037881

node52.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.214
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.214
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:       1838160 kB
Buffers:         23124 kB
Cached:         157236 kB
SwapCached:       7048 kB
Active:          34980 kB
Inactive:       155080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838160 kB
SwapTotal:     4192956 kB
SwapFree:      4180408 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          13484 kB
Slab:            13720 kB
Committed_AS:  1140552 kB
PageTables:       1500 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= 66140 MiB
End job on node52 at 2009-05-20 03:21:19