Trace number 1832529

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.01 1200.51

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
MD5SUMa92f5808dbdbecf675a4a3e4cbc41fbd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7359
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.011998 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.02/0.06	c |       100 |     700    14000    70000 |     4666      100     84 |  0.000 % |
0.02/0.07	c |       201 |     700    14000    70000 |     4666      201     94 |  0.000 % |
0.02/0.08	c |       301 |     700    14000    70000 |     4666      301     94 |  0.000 % |
0.02/0.09	c |       411 |     700    14000    70000 |     4666      411     94 |  0.000 % |
0.02/0.10	c |       511 |     700    14000    70000 |     4666      511     95 |  0.000 % |
0.02/0.11	c |       622 |     700    14000    70000 |     4666      622     95 |  0.000 % |
0.02/0.12	c |       746 |     700    14000    70000 |     4666      746     95 |  0.000 % |
0.02/0.13	c |       846 |     700    14000    70000 |     4666      846     95 |  0.000 % |
0.02/0.13	c |       957 |     700    14000    70000 |     4666      957     94 |  0.000 % |
0.02/0.15	c |      1079 |     700    14000    70000 |     4666     1079     93 |  0.000 % |
0.02/0.16	c |      1213 |     700    14000    70000 |     4666     1213     93 |  0.000 % |
0.02/0.17	c |      1314 |     700    14000    70000 |     4666     1314     94 |  0.000 % |
0.02/0.18	c |      1425 |     700    14000    70000 |     4666     1425     94 |  0.000 % |
0.02/0.19	c |      1546 |     700    14000    70000 |     4666     1546     93 |  0.000 % |
0.02/0.20	c |      1679 |     700    14000    70000 |     4666     1679     93 |  0.000 % |
0.02/0.21	c |      1825 |     700    14000    70000 |     4666     1825     94 |  0.000 % |
0.02/0.22	c |      1925 |     700    14000    70000 |     4666     1925     94 |  0.000 % |
0.02/0.23	c |      2035 |     700    14000    70000 |     4666     2035     94 |  0.000 % |
0.02/0.24	c |      2156 |     700    14000    70000 |     4666     2156     94 |  0.000 % |
0.02/0.25	c |      2290 |     700    14000    70000 |     4666     2290     94 |  0.000 % |
0.02/0.27	c |      2436 |     700    14000    70000 |     4666     2436     94 |  0.000 % |
0.02/0.28	c |      2597 |     700    14000    70000 |     4666     2597     94 |  0.000 % |
0.02/0.29	c |      2698 |     700    14000    70000 |     4666     2698     94 |  0.000 % |
0.02/0.30	c |      2808 |     700    14000    70000 |     4666     2808     94 |  0.000 % |
0.02/0.31	c |      2931 |     700    14000    70000 |     4666     2931     94 |  0.000 % |
0.02/0.33	c |      3064 |     700    14000    70000 |     4666     3064     95 |  0.000 % |
0.02/0.34	c |      3210 |     700    14000    70000 |     4666     3210     95 |  0.000 % |
0.02/0.36	c |      3371 |     700    14000    70000 |     4666     3371     95 |  0.000 % |
0.02/0.37	c |      3547 |     700    14000    70000 |     4666     3547     94 |  0.000 % |
0.02/0.38	c |      3647 |     700    14000    70000 |     4666     3647     94 |  0.000 % |
0.02/0.39	c |      3761 |     700    14000    70000 |     4666     3761     94 |  0.000 % |
0.02/0.41	c |      3882 |     700    14000    70000 |     4666     3882     95 |  0.000 % |
0.02/0.42	c |      4016 |     700    14000    70000 |     4666     4016     94 |  0.000 % |
0.02/0.43	c |      4162 |     700    14000    70000 |     4666     4162     94 |  0.000 % |
0.02/0.45	c |      4323 |     700    14000    70000 |     4666     4323     94 |  0.000 % |
0.02/0.47	c |      4500 |     700    14000    70000 |     4666     4500     94 |  0.000 % |
0.02/0.49	c |      4693 |     700    14000    70000 |     4666     4693     94 |  0.000 % |
0.02/0.50	c |      4794 |     700    14000    70000 |     4666     4325     93 |  0.000 % |
0.02/0.51	c |      4906 |     700    14000    70000 |     4666     4437     93 |  0.000 % |
0.02/0.52	c |      5027 |     700    14000    70000 |     4666     4558     94 |  0.000 % |
0.02/0.54	c |      5161 |     700    14000    70000 |     4666     4692     94 |  0.000 % |
0.02/0.55	c |      5309 |     700    14000    70000 |     4666     4371     93 |  0.000 % |
0.02/0.57	c |      5470 |     700    14000    70000 |     4666     4532     93 |  0.000 % |
0.02/0.59	c |      5646 |     700    14000    70000 |     4666     4708     92 |  0.000 % |
0.02/0.61	c |      5839 |     700    14000    70000 |     4666     4431     92 |  0.000 % |
0.02/0.63	c |      6051 |     700    14000    70000 |     4666     4643     92 |  0.000 % |
0.02/0.64	c |      6151 |     700    14000    70000 |     4666     4743     93 |  0.000 % |
0.02/0.66	c |      6261 |     700    14000    70000 |     4666     4379     92 |  0.000 % |
0.02/0.67	c |      6383 |     700    14000    70000 |     4666     4501     92 |  0.000 % |
0.02/0.68	c |      6517 |     700    14000    70000 |     4666     4635     92 |  0.000 % |
0.02/0.70	c |      6665 |     700    14000    70000 |     4666     4783     93 |  0.000 % |
0.02/0.72	c |      6826 |     700    14000    70000 |     4666     4466     92 |  0.000 % |
0.02/0.73	c |      7002 |     700    14000    70000 |     4666     4642     92 |  0.000 % |
0.02/0.75	c |      7196 |     700    14000    70000 |     4666     4836     93 |  0.000 % |
0.02/0.77	c |      7410 |     700    14000    70000 |     4666     4567     92 |  0.000 % |
0.02/0.80	c |      7645 |     700    14000    70000 |     4666     4802     92 |  0.000 % |
0.02/0.81	c |      7745 |     700    14000    70000 |     4666     4422     92 |  0.000 % |
0.02/0.82	c |      7855 |     700    14000    70000 |     4666     4532     92 |  0.000 % |
0.02/0.83	c |      7976 |     700    14000    70000 |     4666     4653     92 |  0.000 % |
0.02/0.85	c |      8110 |     700    14000    70000 |     4666     4787     92 |  0.000 % |
0.02/0.86	c |      8256 |     700    14000    70000 |     4666     4455     91 |  0.000 % |
0.02/0.88	c |      8416 |     700    14000    70000 |     4666     4615     91 |  0.000 % |
0.02/0.90	c |      8593 |     700    14000    70000 |     4666     4792     91 |  0.000 % |
0.02/0.92	c |      8786 |     700    14000    70000 |     4666     4506     91 |  0.000 % |
0.02/0.94	c |      8998 |     700    14000    70000 |     4666     4718     92 |  0.000 % |
0.02/0.97	c |      9234 |     700    14000    70000 |     4666     4483     93 |  0.000 % |
0.02/0.99	c |      9490 |     700    14000    70000 |     4666     4739     93 |  0.000 % |
0.97/1.00	c |      9591 |     700    14000    70000 |     4666     4367     93 |  0.000 % |
0.97/1.01	c |      9704 |     700    14000    70000 |     4666     4480     93 |  0.000 % |
0.97/1.03	c |      9830 |     700    14000    70000 |     4666     4606     93 |  0.000 % |
0.97/1.04	c |      9963 |     700    14000    70000 |     4666     4739     93 |  0.000 % |
0.97/1.06	c |     10110 |     700    14000    70000 | 2147483647     4413     94 |  0.000 % |
0.97/1.07	c |     10271 |     700    14000    70000 | 2147483647     4574     94 |  0.000 % |
0.97/1.09	c |     10449 |     700    14000    70000 | 2147483647     4752     94 |  0.000 % |
1.07/1.11	c |     10642 |     700    14000    70000 | 2147483647     4945     94 |  0.000 % |
1.07/1.14	c |     10856 |     700    14000    70000 | 2147483647     5159     94 |  0.000 % |
1.07/1.16	c |     11089 |     700    14000    70000 | 2147483647     5392     95 |  0.000 % |
1.07/1.19	c |     11345 |     700    14000    70000 | 2147483647     5648     95 |  0.000 % |
1.16/1.22	c |     11627 |     700    14000    70000 | 2147483647     5930     95 |  0.000 % |
1.16/1.23	c |     11728 |     700    14000    70000 | 2147483647     6031     95 |  0.000 % |
1.16/1.24	c |     11838 |     700    14000    70000 | 2147483647     6141     95 |  0.000 % |
1.16/1.26	c |     11959 |     700    14000    70000 | 2147483647     6262     95 |  0.000 % |
1.16/1.27	c |     12092 |     700    14000    70000 | 2147483647     6395     95 |  0.000 % |
1.16/1.29	c |     12238 |     700    14000    70000 | 2147483647     6541     95 |  0.000 % |
1.26/1.31	c |     12399 |     700    14000    70000 | 2147483647     6702     95 |  0.000 % |
1.26/1.33	c |     12575 |     700    14000    70000 | 2147483647     6878     95 |  0.000 % |
1.26/1.35	c |     12768 |     700    14000    70000 | 2147483647     7071     95 |  0.000 % |
1.26/1.38	c |     12982 |     700    14000    70000 | 2147483647     7285     95 |  0.000 % |
1.36/1.41	c |     13216 |     700    14000    70000 | 2147483647     7519     95 |  0.000 % |
1.36/1.44	c |     13472 |     700    14000    70000 | 2147483647     7775     95 |  0.000 % |
1.36/1.47	c |     13753 |     700    14000    70000 | 2147483647     8056     95 |  0.000 % |
1.46/1.51	c |     14063 |     700    14000    70000 | 2147483647     8366     95 |  0.000 % |
1.46/1.53	c |     14164 |     700    14000    70000 | 2147483647     8467     95 |  0.000 % |
1.46/1.54	c |     14274 |     700    14000    70000 | 2147483647     8577     95 |  0.000 % |
1.46/1.56	c |     14395 |     700    14000    70000 | 2147483647     8698     96 |  0.000 % |
1.46/1.57	c |     14528 |     700    14000    70000 | 2147483647     8831     95 |  0.000 % |
1.46/1.59	c |     14675 |     700    14000    70000 | 2147483647     8978     95 |  0.000 % |
1.56/1.61	c |     14837 |     700    14000    70000 | 2147483647     9140     95 |  0.000 % |
1.56/1.63	c |     15013 |     700    14000    70000 | 2147483647     9316     95 |  0.000 % |
1.56/1.66	c |     15207 |     700    14000    70000 | 2147483647     9510     95 |  0.000 % |
1.56/1.69	c |     15420 |     700    14000    70000 | 2147483647     9723     95 |  0.000 % |
1.66/1.72	c |     15653 |     700    14000    70000 | 2147483647     9956     95 |  0.000 % |
1.66/1.75	c |     15909 |     700    14000    70000 | 2147483647    10212     95 |  0.000 % |
1.66/1.79	c |     16190 |     700    14000    70000 | 2147483647    10493     95 |  0.000 % |
1.76/1.83	c |     16501 |     700    14000    70000 | 2147483647    10804     95 |  0.000 % |
1.76/1.88	c |     16842 |     700    14000    70000 | 2147483647    11145     95 |  0.000 % |
1.76/1.90	c |     16942 |     700    14000    70000 | 2147483647    11245     95 |  0.000 % |
1.86/1.91	c |     17052 |     700    14000    70000 | 2147483647    11355     95 |  0.000 % |
1.86/1.93	c |     17175 |     700    14000    70000 | 2147483647    11478     95 |  0.000 % |
1.86/1.95	c |     17308 |     700    14000    70000 | 2147483647    11611     95 |  0.000 % |
1.86/1.97	c |     17454 |     700    14000    70000 | 2147483647    11757     95 |  0.000 % |
1.96/2.00	c |     17615 |     700    14000    70000 | 2147483647    11918     95 |  0.000 % |
1.96/2.02	c |     17793 |     700    14000    70000 | 2147483647    12096     95 |  0.000 % |
1.96/2.05	c |     17986 |     700    14000    70000 | 2147483647    12289     95 |  0.000 % |
1.96/2.08	c |     18198 |     700    14000    70000 | 2147483647    12501     95 |  0.000 % |
2.06/2.12	c |     18432 |     700    14000    70000 | 2147483647    12735     95 |  0.000 % |
2.06/2.16	c |     18688 |     700    14000    70000 | 2147483647    12991     95 |  0.000 % |
2.16/2.20	c |     18969 |     700    14000    70000 | 2147483647    13272     95 |  0.000 % |
2.16/2.25	c |     19278 |     700    14000    70000 | 2147483647    13581     95 |  0.000 % |
2.27/2.30	c |     19617 |     700    14000    70000 | 2147483647    13920     95 |  0.000 % |
2.27/2.37	c |     19990 |     700    14000    70000 | 2147483647    14293     95 |  0.000 % |
2.27/2.38	c |     20090 |     700    14000    70000 | 2147483647    14393     95 |  0.000 % |
2.36/2.41	c |     20202 |     700    14000    70000 | 2147483647    14505     95 |  0.000 % |
2.36/2.43	c |     20323 |     700    14000    70000 | 2147483647    14626     95 |  0.000 % |
2.36/2.45	c |     20458 |     700    14000    70000 | 2147483647    14761     95 |  0.000 % |
2.36/2.48	c |     20604 |     700    14000    70000 | 2147483647    14907     95 |  0.000 % |
2.46/2.50	c |     20765 |     700    14000    70000 | 2147483647    15068     95 |  0.000 % |
2.46/2.53	c |     20941 |     700    14000    70000 | 2147483647    15244     95 |  0.000 % |
2.46/2.57	c |     21135 |     700    14000    70000 | 2147483647    15438     95 |  0.000 % |
2.56/2.60	c |     21348 |     700    14000    70000 | 2147483647    15651     95 |  0.000 % |
2.56/2.64	c |     21581 |     700    14000    70000 | 2147483647    15884     95 |  0.000 % |
2.56/2.69	c |     21837 |     700    14000    70000 | 2147483647    16140     95 |  0.000 % |
2.66/2.74	c |     22118 |     700    14000    70000 | 2147483647    16421     95 |  0.000 % |
2.66/2.80	c |     22428 |     700    14000    70000 | 2147483647    16731     96 |  0.000 % |
2.76/2.86	c |     22767 |     700    14000    70000 | 2147483647    17070     96 |  0.000 % |
2.86/2.93	c |     23140 |     700    14000    70000 | 2147483647    17443     96 |  0.000 % |
2.96/3.00	c |     23549 |     700    14000    70000 | 2147483647    17852     96 |  0.000 % |
2.96/3.03	c |     23651 |     700    14000    70000 | 2147483647    17954     96 |  0.000 % |
2.96/3.05	c |     23761 |     700    14000    70000 | 2147483647    18064     96 |  0.000 % |
2.96/3.07	c |     23883 |     700    14000    70000 | 2147483647    18186     96 |  0.000 % |
3.06/3.10	c |     24016 |     700    14000    70000 | 2147483647    18319     96 |  0.000 % |
3.06/3.14	c |     24162 |     700    14000    70000 | 2147483647    18465     96 |  0.000 % |
3.06/3.17	c |     24322 |     700    14000    70000 | 2147483647    18625     96 |  0.000 % |
3.16/3.20	c |     24498 |     700    14000    70000 | 2147483647    18801     96 |  0.000 % |
3.16/3.24	c |     24694 |     700    14000    70000 | 2147483647    18997     96 |  0.000 % |
3.16/3.28	c |     24907 |     700    14000    70000 | 2147483647    19210     96 |  0.000 % |
3.26/3.33	c |     25140 |     700    14000    70000 | 2147483647    19443     96 |  0.000 % |
3.26/3.38	c |     25396 |     700    14000    70000 | 2147483647    19699     96 |  0.000 % |
3.36/3.44	c |     25677 |     700    14000    70000 | 2147483647    19980     96 |  0.000 % |
3.46/3.50	c |     25986 |     700    14000    70000 | 2147483647    20289     96 |  0.000 % |
3.46/3.57	c |     26326 |     700    14000    70000 | 2147483647    20629     96 |  0.000 % |
3.56/3.64	c |     26699 |     700    14000    70000 | 2147483647    21002     96 |  0.000 % |
3.66/3.73	c |     27109 |     700    14000    70000 | 2147483647    21412     96 |  0.000 % |
3.75/3.82	c |     27558 |     700    14000    70000 | 2147483647    21861     96 |  0.000 % |
3.75/3.84	c |     27658 |     700    14000    70000 | 2147483647    21961     96 |  0.000 % |
3.75/3.87	c |     27769 |     700    14000    70000 | 2147483647    22072     96 |  0.000 % |
3.85/3.90	c |     27890 |     700    14000    70000 | 2147483647    22193     96 |  0.000 % |
3.85/3.94	c |     28024 |     700    14000    70000 | 2147483647    22327     96 |  0.000 % |
3.85/3.97	c |     28170 |     700    14000    70000 | 2147483647    22473     96 |  0.000 % |
3.95/4.01	c |     28330 |     700    14000    70000 | 2147483647    22633     96 |  0.000 % |
3.95/4.05	c |     28506 |     700    14000    70000 | 2147483647    22809     96 |  0.000 % |
4.05/4.10	c |     28699 |     700    14000    70000 | 2147483647    23002     96 |  0.000 % |
4.05/4.15	c |     28912 |     700    14000    70000 | 2147483647    23215     96 |  0.000 % |
4.15/4.21	c |     29145 |     700    14000    70000 | 2147483647    23448     96 |  0.000 % |
4.15/4.27	c |     29401 |     700    14000    70000 | 2147483647    23704     96 |  0.000 % |
4.26/4.34	c |     29682 |     700    14000    70000 | 2147483647    23985     96 |  0.000 % |
4.37/4.41	c |     29991 |     700    14000    70000 | 2147483647    24294     96 |  0.000 % |
4.37/4.50	c |     30332 |     700    14000    70000 | 2147483647    24635     96 |  0.000 % |
4.46/4.59	c |     30704 |     700    14000    70000 | 2147483647    25007     96 |  0.000 % |
4.56/4.69	c |     31115 |     700    14000    70000 | 2147483647    25418     96 |  0.000 % |
4.76/4.80	c |     31565 |     700    14000    70000 | 2147483647    25868     96 |  0.000 % |
4.86/4.93	c |     32059 |     700    14000    70000 | 2147483647    26362     96 |  0.000 % |
4.86/4.96	c |     32160 |     700    14000    70000 | 2147483647    26463     96 |  0.000 % |
4.86/4.99	c |     32270 |     700    14000    70000 | 2147483647    26573     96 |  0.000 % |
4.96/5.02	c |     32392 |     700    14000    70000 | 2147483647    26695     96 |  0.000 % |
4.96/5.06	c |     32526 |     700    14000    70000 | 2147483647    26829     96 |  0.000 % |
5.06/5.10	c |     32672 |     700    14000    70000 | 2147483647    26975     96 |  0.000 % |
5.06/5.15	c |     32832 |     700    14000    70000 | 2147483647    27135     96 |  0.000 % |
5.16/5.20	c |     33008 |     700    14000    70000 | 2147483647    27311     96 |  0.000 % |
5.16/5.26	c |     33202 |     700    14000    70000 | 2147483647    27505     96 |  0.000 % |
5.26/5.31	c |     33418 |     700    14000    70000 | 2147483647    27721     96 |  0.000 % |
5.26/5.37	c |     33653 |     700    14000    70000 | 2147483647    27956     96 |  0.000 % |
5.36/5.45	c |     33909 |     700    14000    70000 | 2147483647    28212     96 |  0.000 % |
5.46/5.53	c |     34190 |     700    14000    70000 | 2147483647    28493     96 |  0.000 % |
5.56/5.61	c |     34500 |     700    14000    70000 | 2147483647    28803     96 |  0.000 % |
5.65/5.72	c |     34839 |     700    14000    70000 | 2147483647    29142     96 |  0.000 % |
5.75/5.83	c |     35211 |     700    14000    70000 | 2147483647    29514     96 |  0.000 % |
5.85/5.94	c |     35620 |     700    14000    70000 | 2147483647    29923     96 |  0.000 % |
5.95/6.07	c |     36069 |     700    14000    70000 | 2147483647    30372     96 |  0.000 % |
6.15/6.23	c |     36563 |     700    14000    70000 | 2147483647    30866     96 |  0.000 % |
6.35/6.40	c |     37105 |     700    14000    70000 | 2147483647    31408     96 |  0.000 % |
6.35/6.44	c |     37205 |     700    14000    70000 | 2147483647    31508     96 |  0.000 % |
6.35/6.47	c |     37315 |     700    14000    70000 | 2147483647    31618     96 |  0.000 % |
6.46/6.51	c |     37437 |     700    14000    70000 | 2147483647    31740     96 |  0.000 % |
6.46/6.55	c |     37570 |     700    14000    70000 | 2147483647    31873     96 |  0.000 % |
6.56/6.61	c |     37716 |     700    14000    70000 | 2147483647    32019     96 |  0.000 % |
6.56/6.66	c |     37876 |     700    14000    70000 | 2147483647    32179     96 |  0.000 % |
6.65/6.71	c |     38053 |     700    14000    70000 | 2147483647    32356     96 |  0.000 % |
6.65/6.78	c |     38246 |     700    14000    70000 | 2147483647    32549     96 |  0.000 % |
6.75/6.84	c |     38459 |     700    14000    70000 | 2147483647    32762     96 |  0.000 % |
6.85/6.92	c |     38692 |     700    14000    70000 | 2147483647    32995     96 |  0.000 % |
6.95/7.00	c |     38949 |     700    14000    70000 | 2147483647    33252     96 |  0.000 % |
6.95/7.09	c |     39230 |     700    14000    70000 | 2147483647    33533     96 |  0.000 % |
7.05/7.19	c |     39540 |     700    14000    70000 | 2147483647    33843     96 |  0.000 % |
7.26/7.30	c |     39879 |     700    14000    70000 | 2147483647    34182     96 |  0.000 % |
7.35/7.43	c |     40251 |     700    14000    70000 | 2147483647    34554     96 |  0.000 % |
7.45/7.58	c |     40660 |     700    14000    70000 | 2147483647    34963     96 |  0.000 % |
7.66/7.71	c |     41112 |     700    14000    70000 | 2147483647    35415     96 |  0.000 % |
7.75/7.88	c |     41605 |     700    14000    70000 | 2147483647    35908     96 |  0.000 % |
7.95/8.05	c |     42148 |     700    14000    70000 | 2147483647    36451     96 |  0.000 % |
8.15/8.26	c |     42745 |     700    14000    70000 | 2147483647    37048     97 |  0.000 % |
8.15/8.29	c |     42845 |     700    14000    70000 | 2147483647    37148     97 |  0.000 % |
8.25/8.33	c |     42958 |     700    14000    70000 | 2147483647    37261     97 |  0.000 % |
8.25/8.38	c |     43079 |     700    14000    70000 | 2147483647    37382     96 |  0.000 % |
8.35/8.44	c |     43212 |     700    14000    70000 | 2147483647    37515     96 |  0.000 % |
8.35/8.48	c |     43358 |     700    14000    70000 | 2147483647    37661     97 |  0.000 % |
8.45/8.55	c |     43518 |     700    14000    70000 | 2147483647    37821     96 |  0.000 % |
8.55/8.63	c |     43695 |     700    14000    70000 | 2147483647    37998     97 |  0.000 % |
8.65/8.70	c |     43889 |     700    14000    70000 | 2147483647    38192     96 |  0.000 % |
8.65/8.78	c |     44101 |     700    14000    70000 | 2147483647    38404     97 |  0.000 % |
8.75/8.86	c |     44336 |     700    14000    70000 | 2147483647    38639     97 |  0.000 % |
8.85/8.95	c |     44597 |     700    14000    70000 | 2147483647    38900     97 |  0.000 % |
8.95/9.08	c |     44878 |     700    14000    70000 | 2147483647    39181     97 |  0.000 % |
9.05/9.18	c |     45187 |     700    14000    70000 | 2147483647    39490     97 |  0.000 % |
9.25/9.30	c |     45526 |     700    14000    70000 | 2147483647    39829     97 |  0.000 % |
9.35/9.45	c |     45898 |     700    14000    70000 | 2147483647    40201     97 |  0.000 % |
9.55/9.61	c |     46308 |     700    14000    70000 | 2147483647    40611     97 |  0.000 % |
9.65/9.77	c |     46758 |     700    14000    70000 | 2147483647    41061     97 |  0.000 % |
9.86/9.96	c |     47252 |     700    14000    70000 | 2147483647    41555     97 |  0.000 % |
10.05/10.15	c |     47794 |     700    14000    70000 | 2147483647    42097     97 |  0.000 % |
10.25/10.37	c |     48390 |     700    14000    70000 | 2147483647    42693     97 |  0.000 % |
10.55/10.60	c |     49045 |     700    14000    70000 | 2147483647    43348     97 |  0.000 % |
10.55/10.66	c |     49147 |     700    14000    70000 | 2147483647    43450     97 |  0.000 % |
10.65/10.71	c |     49261 |     700    14000    70000 | 2147483647    43564     97 |  0.000 % |
10.65/10.76	c |     49383 |     700    14000    70000 | 2147483647    43686     97 |  0.000 % |
10.75/10.82	c |     49516 |     700    14000    70000 | 2147483647    43819     97 |  0.000 % |
10.75/10.89	c |     49663 |     700    14000    70000 | 2147483647    43966     97 |  0.000 % |
10.85/10.97	c |     49823 |     700    14000    70000 | 2147483647    44126     97 |  0.000 % |
10.95/11.04	c |     50001 |     700    14000    70000 | 2147483647    44304     97 |  0.000 % |
11.05/11.13	c |     50196 |     700    14000    70000 | 2147483647    44499     97 |  0.000 % |
11.15/11.22	c |     50408 |     700    14000    70000 | 2147483647    44711     97 |  0.000 % |
11.25/11.32	c |     50641 |     700    14000    70000 | 2147483647    44944     97 |  0.000 % |
11.35/11.42	c |     50898 |     700    14000    70000 | 2147483647    45201     97 |  0.000 % |
11.45/11.54	c |     51182 |     700    14000    70000 | 2147483647    45485     97 |  0.000 % |
11.55/11.67	c |     51491 |     700    14000    70000 | 2147483647    45794     97 |  0.000 % |
11.74/11.80	c |     51830 |     700    14000    70000 | 2147483647    46133     97 |  0.000 % |
11.84/11.94	c |     52202 |     700    14000    70000 | 2147483647    46505     97 |  0.000 % |
12.05/12.10	c |     52612 |     700    14000    70000 | 2147483647    46915     97 |  0.000 % |
12.24/12.30	c |     53061 |     700    14000    70000 | 2147483647    47364     97 |  0.000 % |
12.44/12.54	c |     53554 |     700    14000    70000 | 2147483647    47857     97 |  0.000 % |
12.64/12.79	c |     54098 |     700    14000    70000 | 2147483647    48401     97 |  0.000 % |
12.94/13.05	c |     54694 |     700    14000    70000 | 2147483647    48997     97 |  0.000 % |
13.24/13.31	c |     55350 |     700    14000    70000 | 2147483647    49653     97 |  0.000 % |
13.55/13.60	c |     56071 |     700    14000    70000 | 2147483647    50374     97 |  0.000 % |
13.55/13.67	c |     56171 |     700    14000    70000 | 2147483647    50474     97 |  0.000 % |
13.65/13.72	c |     56281 |     700    14000    70000 | 2147483647    50584     97 |  0.000 % |
13.65/13.78	c |     56404 |     700    14000    70000 | 2147483647    50707     97 |  0.000 % |
13.75/13.84	c |     56538 |     700    14000    70000 | 2147483647    50841     97 |  0.000 % |
13.85/13.93	c |     56685 |     700    14000    70000 | 2147483647    50988     97 |  0.000 % |
13.95/14.01	c |     56845 |     700    14000    70000 | 2147483647    51148     97 |  0.000 % |
13.95/14.10	c |     57021 |     700    14000    70000 | 2147483647    51324     97 |  0.000 % |
14.15/14.20	c |     57215 |     700    14000    70000 | 2147483647    51518     97 |  0.000 % |
14.15/14.29	c |     57429 |     700    14000    70000 | 2147483647    51732     97 |  0.000 % |
14.35/14.40	c |     57662 |     700    14000    70000 | 2147483647    51965     97 |  0.000 % |
14.45/14.52	c |     57918 |     700    14000    70000 | 2147483647    52221     97 |  0.000 % |
14.55/14.64	c |     58201 |     700    14000    70000 | 2147483647    52504     97 |  0.000 % |
14.65/14.79	c |     58511 |     700    14000    70000 | 2147483647    52814     97 |  0.000 % |
14.85/14.97	c |     58850 |     700    14000    70000 | 2147483647    53153     97 |  0.000 % |
15.05/15.14	c |     59223 |     700    14000    70000 | 2147483647    53526     97 |  0.000 % |
15.25/15.32	c |     59632 |     700    14000    70000 | 2147483647    53935     97 |  0.000 % |
15.44/15.53	c |     60081 |     700    14000    70000 | 2147483647    54384     97 |  0.000 % |
15.74/15.80	c |     60575 |     700    14000    70000 | 2147483647    54878     97 |  0.000 % |
15.94/16.07	c |     61119 |     700    14000    70000 | 2147483647    55422     97 |  0.000 % |
16.24/16.35	c |     61715 |     700    14000    70000 | 2147483647    56018     97 |  0.000 % |
16.55/16.68	c |     62372 |     700    14000    70000 | 2147483647    56675     97 |  0.000 % |
16.95/17.04	c |     63094 |     700    14000    70000 | 2147483647    57397     97 |  0.000 % |
17.35/17.46	c |     63887 |     700    14000    70000 | 2147483647    58190     97 |  0.000 % |
17.45/17.52	c |     63988 |     700    14000    70000 | 2147483647    58291     97 |  0.000 % |
17.45/17.58	c |     64098 |     700    14000    70000 | 2147483647    58401     97 |  0.000 % |
17.55/17.66	c |     64219 |     700    14000    70000 | 2147483647    58522     97 |  0.000 % |
17.65/17.74	c |     64354 |     700    14000    70000 | 2147483647    58657     97 |  0.000 % |
17.75/17.82	c |     64500 |     700    14000    70000 | 2147483647    58803     97 |  0.000 % |
17.85/17.92	c |     64660 |     700    14000    70000 | 2147483647    58963     97 |  0.000 % |
17.95/18.02	c |     64837 |     700    14000    70000 | 2147483647    59140     97 |  0.000 % |
18.05/18.13	c |     65030 |     700    14000    70000 | 2147483647    59333     97 |  0.000 % |
18.15/18.26	c |     65242 |     700    14000    70000 | 2147483647    59545     97 |  0.000 % |
18.25/18.39	c |     65475 |     700    14000    70000 | 2147483647    59778     97 |  0.000 % |
18.45/18.53	c |     65733 |     700    14000    70000 | 2147483647    60036     97 |  0.000 % |
18.55/18.70	c |     66014 |     700    14000    70000 | 2147483647    60317     97 |  0.000 % |
18.74/18.88	c |     66323 |     700    14000    70000 | 2147483647    60626     97 |  0.000 % |
18.94/19.07	c |     66662 |     700    14000    70000 | 2147483647    60965     97 |  0.000 % |
19.14/19.27	c |     67034 |     700    14000    70000 | 2147483647    61337     97 |  0.000 % |
19.44/19.51	c |     67443 |     700    14000    70000 | 2147483647    61746     97 |  0.000 % |
19.65/19.77	c |     67892 |     700    14000    70000 | 2147483647    62195     97 |  0.000 % |
19.94/20.04	c |     68385 |     700    14000    70000 | 2147483647    62688     97 |  0.000 % |
20.24/20.32	c |     68928 |     700    14000    70000 | 2147483647    63231     97 |  0.000 % |
20.54/20.64	c |     69526 |     700    14000    70000 | 2147483647    63829     97 |  0.000 % |
20.94/21.02	c |     70181 |     700    14000    70000 | 2147483647    64484     98 |  0.000 % |
21.34/21.43	c |     70901 |     700    14000    70000 | 2147483647    65204     98 |  0.000 % |
21.74/21.89	c |     71694 |     700    14000    70000 | 2147483647    65997     98 |  0.000 % |
22.25/22.38	c |     72565 |     700    14000    70000 | 2147483647    66868     98 |  0.000 % |
22.35/22.46	c |     72665 |     700    14000    70000 | 2147483647    66968     98 |  0.000 % |
22.45/22.53	c |     72775 |     700    14000    70000 | 2147483647    67078     98 |  0.000 % |
22.55/22.61	c |     72896 |     700    14000    70000 | 2147483647    67199     98 |  0.000 % |
22.55/22.69	c |     73030 |     700    14000    70000 | 2147483647    67333     98 |  0.000 % |
22.74/22.81	c |     73179 |     700    14000    70000 | 2147483647    67482     98 |  0.000 % |
22.84/22.91	c |     73340 |     700    14000    70000 | 2147483647    67643     98 |  0.000 % |
22.95/23.04	c |     73516 |     700    14000    70000 | 2147483647    67819     98 |  0.000 % |
23.05/23.17	c |     73709 |     700    14000    70000 | 2147483647    68012     98 |  0.000 % |
23.24/23.30	c |     73921 |     700    14000    70000 | 2147483647    68224     98 |  0.000 % |
23.34/23.46	c |     74154 |     700    14000    70000 | 2147483647    68457     98 |  0.000 % |
23.54/23.61	c |     74410 |     700    14000    70000 | 2147483647    68713     98 |  0.000 % |
23.64/23.76	c |     74691 |     700    14000    70000 | 2147483647    68994     97 |  0.000 % |
23.84/23.96	c |     75000 |     700    14000    70000 | 2147483647    69303     97 |  0.000 % |
24.15/24.21	c |     75340 |     700    14000    70000 | 2147483647    69643     98 |  0.000 % |
24.34/24.45	c |     75713 |     700    14000    70000 | 2147483647    70016     98 |  0.000 % |
24.64/24.70	c |     76123 |     700    14000    70000 | 2147483647    70426     98 |  0.000 % |
24.84/25.00	c |     76572 |     700    14000    70000 | 2147483647    70875     98 |  0.000 % |
25.25/25.33	c |     77065 |     700    14000    70000 | 2147483647    71368     98 |  0.000 % |
25.54/25.68	c |     77607 |     700    14000    70000 | 2147483647    71910     98 |  0.000 % |
25.94/26.06	c |     78203 |     700    14000    70000 | 2147483647    72506     98 |  0.000 % |
26.34/26.49	c |     78859 |     700    14000    70000 | 2147483647    73162     98 |  0.000 % |
26.84/27.00	c |     79579 |     700    14000    70000 | 2147483647    73882     98 |  0.000 % |
27.45/27.59	c |     80371 |     700    14000    70000 |    74303    63963     98 |  0.000 % |
27.94/28.05	c |     81242 |     700    14000    70000 |    74303    64834     98 |  0.000 % |
28.45/28.59	c |     82201 |     700    14000    70000 |    74303    65793     98 |  0.000 % |
28.54/28.65	c |     82301 |     700    14000    70000 |    74303    65893     98 |  0.000 % |
28.64/28.72	c |     82414 |     700    14000    70000 |    74303    66006     98 |  0.000 % |
28.74/28.80	c |     82537 |     700    14000    70000 |    74303    66129     98 |  0.000 % |
28.84/28.91	c |     82670 |     700    14000    70000 |    74303    66262     98 |  0.000 % |
28.94/29.01	c |     82816 |     700    14000    70000 |    74303    66408     98 |  0.000 % |
29.04/29.11	c |     82976 |     700    14000    70000 |    74303    66568     98 |  0.000 % |
29.14/29.22	c |     83153 |     700    14000    70000 |    74303    66745     98 |  0.000 % |
29.24/29.35	c |     83347 |     700    14000    70000 |    74303    66939     98 |  0.000 % |
29.34/29.47	c |     83561 |     700    14000    70000 |    74303    67153     98 |  0.000 % |
29.54/29.65	c |     83794 |     700    14000    70000 |    74303    67386     98 |  0.000 % |
29.74/29.81	c |     84050 |     700    14000    70000 |    74303    67642     98 |  0.000 % |
29.94/30.01	c |     84332 |     700    14000    70000 |    74303    67924     98 |  0.000 % |
30.14/30.20	c |     84641 |     700    14000    70000 |    74303    68233     98 |  0.000 % |
30.24/30.39	c |     84982 |     700    14000    70000 |    74303    68574     98 |  0.000 % |
30.54/30.65	c |     85355 |     700    14000    70000 |    74303    68947     98 |  0.000 % |
30.84/30.92	c |     85764 |     700    14000    70000 |    74303    69356     98 |  0.000 % |
31.04/31.20	c |     86213 |     700    14000    70000 |    74303    69805     98 |  0.000 % |
31.44/31.51	c |     86706 |     700    14000    70000 |    74303    70298     98 |  0.000 % |
31.74/31.83	c |     87248 |     700    14000    70000 |    74303    70840     98 |  0.000 % |
32.04/32.19	c |     87845 |     700    14000    70000 |    74303    71437     98 |  0.000 % |
32.54/32.61	c |     88500 |     700    14000    70000 |    74303    72092     98 |  0.000 % |
33.03/33.10	c |     89220 |     700    14000    70000 |    74303    72812     98 |  0.000 % |
33.53/33.61	c |     90013 |     700    14000    70000 |    73593    73605     98 |  0.000 % |
34.04/34.17	c |     90885 |     700    14000    70000 |    73593    63360     98 |  0.000 % |
34.53/34.69	c |     91843 |     700    14000    70000 |    73593    64318     98 |  0.000 % |
35.14/35.25	c |     92896 |     700    14000    70000 |    73593    65371     98 |  0.000 % |
35.24/35.31	c |     92996 |     700    14000    70000 |    73593    65471     98 |  0.000 % |
35.24/35.38	c |     93108 |     700    14000    70000 |    73593    65583     98 |  0.000 % |
35.34/35.46	c |     93229 |     700    14000    70000 |    73593    65704     98 |  0.000 % |
35.44/35.54	c |     93364 |     700    14000    70000 |    73593    65839     98 |  0.000 % |
35.54/35.62	c |     93510 |     700    14000    70000 |    73593    65985     98 |  0.000 % |
35.64/35.74	c |     93670 |     700    14000    70000 |    73593    66145     98 |  0.000 % |
35.73/35.85	c |     93846 |     700    14000    70000 |    73593    66321     98 |  0.000 % |
35.83/35.99	c |     94040 |     700    14000    70000 |    73593    66515     98 |  0.000 % |
36.03/36.14	c |     94256 |     700    14000    70000 |    73593    66731     98 |  0.000 % |
36.14/36.29	c |     94489 |     700    14000    70000 |    73593    66964     98 |  0.000 % |
36.33/36.46	c |     94745 |     700    14000    70000 |    73593    67220     98 |  0.000 % |
36.53/36.63	c |     95026 |     700    14000    70000 |    73593    67501     98 |  0.000 % |
36.73/36.87	c |     95335 |     700    14000    70000 |    73593    67810     98 |  0.000 % |
36.93/37.08	c |     95676 |     700    14000    70000 |    73593    68151     98 |  0.000 % |
37.13/37.29	c |     96050 |     700    14000    70000 |    73593    68525     98 |  0.000 % |
37.43/37.54	c |     96463 |     700    14000    70000 |    73593    68938     98 |  0.000 % |
37.73/37.81	c |     96912 |     700    14000    70000 |    73593    69387     98 |  0.000 % |
38.03/38.10	c |     97407 |     700    14000    70000 |    73593    69882     98 |  0.000 % |
38.34/38.41	c |     97951 |     700    14000    70000 |    73593    70426     98 |  0.000 % |
38.63/38.76	c |     98547 |     700    14000    70000 |    73593    71022     98 |  0.000 % |
39.03/39.18	c |     99202 |     700    14000    70000 |    73593    71677     98 |  0.000 % |
39.54/39.61	c |     99922 |     700    14000    70000 |    73593    72397     98 |  0.000 % |
40.03/40.10	c |    100716 |     700    14000    70000 |    72476    62510     99 |  0.000 % |
40.43/40.59	c |    101588 |     700    14000    70000 |    72476    63382     99 |  0.000 % |
41.13/41.21	c |    102547 |     700    14000    70000 |    72476    64341     99 |  0.000 % |
41.74/41.86	c |    103602 |     700    14000    70000 |    72476    65396     99 |  0.000 % |
42.33/42.49	c |    104760 |     700    14000    70000 |    72476    66554     99 |  0.000 % |
42.43/42.56	c |    104860 |     700    14000    70000 |    72476    66654     99 |  0.000 % |
42.53/42.63	c |    104970 |     700    14000    70000 |    72476    66764     99 |  0.000 % |
42.63/42.70	c |    105092 |     700    14000    70000 |    72476    66886     99 |  0.000 % |
42.73/42.82	c |    105225 |     700    14000    70000 |    72476    67019     99 |  0.000 % |
42.83/42.92	c |    105371 |     700    14000    70000 |    72476    67165     99 |  0.000 % |
42.93/43.02	c |    105532 |     700    14000    70000 |    72476    67326     99 |  0.000 % |
43.03/43.15	c |    105708 |     700    14000    70000 |    72476    67502     99 |  0.000 % |
43.13/43.27	c |    105901 |     700    14000    70000 |    72476    67695     99 |  0.000 % |
43.33/43.41	c |    106113 |     700    14000    70000 |    72476    67907     99 |  0.000 % |
43.43/43.53	c |    106347 |     700    14000    70000 |    72476    68141     99 |  0.000 % |
43.53/43.69	c |    106603 |     700    14000    70000 |    72476    68397     99 |  0.000 % |
43.73/43.85	c |    106884 |     700    14000    70000 |    72476    68678     99 |  0.000 % |
43.93/44.03	c |    107195 |     700    14000    70000 |    72476    68989     99 |  0.000 % |
44.13/44.24	c |    107534 |     700    14000    70000 |    72476    69328     99 |  0.000 % |
44.33/44.49	c |    107908 |     700    14000    70000 |    72476    69702     99 |  0.000 % |
44.63/44.75	c |    108317 |     700    14000    70000 |    72476    70111     99 |  0.000 % |
44.93/45.04	c |    108767 |     700    14000    70000 |    72476    70561     99 |  0.000 % |
45.23/45.36	c |    109261 |     700    14000    70000 |    72476    71055     99 |  0.000 % |
45.53/45.68	c |    109805 |     700    14000    70000 |    72476    71599     99 |  0.000 % |
45.93/46.08	c |    110403 |     700    14000    70000 |    71796    61766     99 |  0.000 % |
46.33/46.43	c |    111061 |     700    14000    70000 |    71796    62424     99 |  0.000 % |
46.73/46.85	c |    111782 |     700    14000    70000 |    71796    63145     99 |  0.000 % |
47.23/47.31	c |    112575 |     700    14000    70000 |    71796    63938     99 |  0.000 % |
47.63/47.79	c |    113448 |     700    14000    70000 |    71796    64811     99 |  0.000 % |
48.23/48.34	c |    114406 |     700    14000    70000 |    71796    65769     99 |  0.000 % |
48.83/48.97	c |    115462 |     700    14000    70000 |    71796    66825     99 |  0.000 % |
49.53/49.66	c |    116621 |     700    14000    70000 |    71796    67984     99 |  0.000 % |
50.23/50.38	c |    117894 |     700    14000    70000 |    71796    69257    100 |  0.000 % |
50.33/50.44	c |    117996 |     700    14000    70000 |    71796    69359    100 |  0.000 % |
50.43/50.51	c |    118106 |     700    14000    70000 |    71796    69469    100 |  0.000 % |
50.43/50.60	c |    118227 |     700    14000    70000 |    71796    69590    100 |  0.000 % |
50.53/50.69	c |    118362 |     700    14000    70000 |    71796    69725     99 |  0.000 % |
50.63/50.79	c |    118509 |     700    14000    70000 |    71796    69872     99 |  0.000 % |
50.83/50.91	c |    118670 |     700    14000    70000 |    71796    70033     99 |  0.000 % |
50.93/51.05	c |    118847 |     700    14000    70000 |    71796    70210     99 |  0.000 % |
51.03/51.17	c |    119040 |     700    14000    70000 |    71796    70403    100 |  0.000 % |
51.22/51.34	c |    119252 |     700    14000    70000 |    71796    70615     99 |  0.000 % |
51.42/51.50	c |    119486 |     700    14000    70000 |    71796    70849     99 |  0.000 % |
51.53/51.67	c |    119744 |     700    14000    70000 |    71796    71107     99 |  0.000 % |
51.73/51.83	c |    120027 |     700    14000    70000 |    71363    71390     99 |  0.000 % |
51.92/52.08	c |    120337 |     700    14000    70000 |    71363    61717    100 |  0.000 % |
52.12/52.28	c |    120677 |     700    14000    70000 |    71363    62057    100 |  0.000 % |
52.32/52.49	c |    121049 |     700    14000    70000 |    71363    62429    100 |  0.000 % |
52.63/52.74	c |    121460 |     700    14000    70000 |    71363    62840    100 |  0.000 % |
52.82/52.99	c |    121909 |     700    14000    70000 |    71363    63289    100 |  0.000 % |
53.12/53.28	c |    122403 |     700    14000    70000 |    71363    63783    100 |  0.000 % |
53.42/53.57	c |    122945 |     700    14000    70000 |    71363    64325    100 |  0.000 % |
53.83/53.91	c |    123543 |     700    14000    70000 |    71363    64923    100 |  0.000 % |
54.22/54.33	c |    124198 |     700    14000    70000 |    71363    65578    100 |  0.000 % |
54.62/54.74	c |    124918 |     700    14000    70000 |    71363    66298    100 |  0.000 % |
55.12/55.21	c |    125712 |     700    14000    70000 |    71363    67092    100 |  0.000 % |
55.62/55.70	c |    126584 |     700    14000    70000 |    71363    67964    100 |  0.000 % |
56.22/56.35	c |    127542 |     700    14000    70000 |    71363    68922    100 |  0.000 % |
56.92/57.02	c |    128597 |     700    14000    70000 |    71363    69977    100 |  0.000 % |
57.62/57.76	c |    129757 |     700    14000    70000 |    71363    71137    100 |  0.000 % |
58.42/58.58	c |    131030 |     700    14000    70000 |    71381    62031    100 |  0.000 % |
59.23/59.37	c |    132431 |     700    14000    70000 |    71381    63432    100 |  0.000 % |
59.32/59.43	c |    132532 |     700    14000    70000 |    71381    63533    100 |  0.000 % |
59.42/59.51	c |    132643 |     700    14000    70000 |    71381    63644    100 |  0.000 % |
59.42/59.59	c |    132764 |     700    14000    70000 |    71381    63765    100 |  0.000 % |
59.52/59.68	c |    132897 |     700    14000    70000 |    71381    63898    100 |  0.000 % |
59.62/59.76	c |    133043 |     700    14000    70000 |    71381    64044    100 |  0.000 % |
59.72/59.87	c |    133204 |     700    14000    70000 |    71381    64205    100 |  0.000 % |
59.82/59.97	c |    133382 |     700    14000    70000 |    71381    64383    100 |  0.000 % |
60.02/60.10	c |    133575 |     700    14000    70000 |    71381    64576    100 |  0.000 % |
60.12/60.25	c |    133788 |     700    14000    70000 |    71381    64789    100 |  0.000 % |
60.22/60.39	c |    134021 |     700    14000    70000 |    71381    65022    100 |  0.000 % |
60.42/60.58	c |    134280 |     700    14000    70000 |    71381    65281    100 |  0.000 % |
60.62/60.77	c |    134563 |     700    14000    70000 |    71381    65564    100 |  0.000 % |
60.82/60.98	c |    134872 |     700    14000    70000 |    71381    65873    100 |  0.000 % |
61.02/61.16	c |    135211 |     700    14000    70000 |    71381    66212    100 |  0.000 % |
61.22/61.36	c |    135583 |     700    14000    70000 |    71381    66584    100 |  0.000 % |
61.52/61.62	c |    135992 |     700    14000    70000 |    71381    66993    100 |  0.000 % |
61.82/61.92	c |    136441 |     700    14000    70000 |    71381    67442    100 |  0.000 % |
62.12/62.22	c |    136935 |     700    14000    70000 |    71381    67936    100 |  0.000 % |
62.42/62.54	c |    137480 |     700    14000    70000 |    71381    68481    100 |  0.000 % |
62.72/62.89	c |    138076 |     700    14000    70000 |    71381    69077    100 |  0.000 % |
63.22/63.38	c |    138732 |     700    14000    70000 |    71381    69733    100 |  0.000 % |
63.72/63.85	c |    139453 |     700    14000    70000 |    71381    70454    100 |  0.000 % |
64.22/64.38	c |    140245 |     700    14000    70000 |    71002    61108    101 |  0.000 % |
64.72/64.88	c |    141119 |     700    14000    70000 |    71002    61982    100 |  0.000 % |
65.22/65.37	c |    142078 |     700    14000    70000 |    71002    62941    101 |  0.000 % |
65.82/66.00	c |    143131 |     700    14000    70000 |    71002    63994    101 |  0.000 % |
66.52/66.65	c |    144289 |     700    14000    70000 |    71002    65152    100 |  0.000 % |
67.22/67.38	c |    145563 |     700    14000    70000 |    71002    66426    101 |  0.000 % |
68.02/68.16	c |    146964 |     700    14000    70000 |    71002    67827    101 |  0.000 % |
68.92/69.09	c |    148504 |     700    14000    70000 |    71002    69367    101 |  0.000 % |
69.01/69.18	c |    148607 |     700    14000    70000 |    71002    69470    101 |  0.000 % |
69.12/69.25	c |    148717 |     700    14000    70000 |    71002    69580    101 |  0.000 % |
69.22/69.34	c |    148839 |     700    14000    70000 |    71002    69702    101 |  0.000 % |
69.31/69.42	c |    148972 |     700    14000    70000 |    71002    69835    101 |  0.000 % |
69.41/69.52	c |    149120 |     700    14000    70000 |    71002    69983    101 |  0.000 % |
69.51/69.62	c |    149282 |     700    14000    70000 |    71002    70145    101 |  0.000 % |
69.61/69.75	c |    149458 |     700    14000    70000 |    71002    70321    101 |  0.000 % |
69.71/69.87	c |    149651 |     700    14000    70000 |    71002    70514    100 |  0.000 % |
69.91/70.02	c |    149864 |     700    14000    70000 |    71002    70727    100 |  0.000 % |
70.01/70.16	c |    150098 |     700    14000    70000 |    70863    70961    100 |  0.000 % |
70.22/70.37	c |    150357 |     700    14000    70000 |    70863    61402    100 |  0.000 % |
70.41/70.55	c |    150638 |     700    14000    70000 |    70863    61683    100 |  0.000 % |
70.61/70.72	c |    150948 |     700    14000    70000 |    70863    61993    100 |  0.000 % |
70.81/70.91	c |    151288 |     700    14000    70000 |    70863    62333    100 |  0.000 % |
71.01/71.11	c |    151660 |     700    14000    70000 |    70863    62705    100 |  0.000 % |
71.21/71.33	c |    152069 |     700    14000    70000 |    70863    63114    100 |  0.000 % |
71.51/71.62	c |    152518 |     700    14000    70000 |    70863    63563    100 |  0.000 % |
71.81/71.96	c |    153011 |     700    14000    70000 |    70863    64056    100 |  0.000 % |
72.11/72.29	c |    153555 |     700    14000    70000 |    70863    64600    100 |  0.000 % |
72.51/72.69	c |    154153 |     700    14000    70000 |    70863    65198    100 |  0.000 % |
72.91/73.06	c |    154808 |     700    14000    70000 |    70863    65853    100 |  0.000 % |
73.31/73.47	c |    155528 |     700    14000    70000 |    70863    66573    100 |  0.000 % |
73.81/74.00	c |    156322 |     700    14000    70000 |    70863    67367    100 |  0.000 % |
74.41/74.56	c |    157193 |     700    14000    70000 |    70863    68238    100 |  0.000 % |
75.01/75.17	c |    158153 |     700    14000    70000 |    70863    69198    100 |  0.000 % |
75.61/75.77	c |    159207 |     700    14000    70000 |    70863    70252    100 |  0.000 % |
76.41/76.50	c |    160366 |     700    14000    70000 |    71046    61280    100 |  0.000 % |
77.01/77.15	c |    161640 |     700    14000    70000 |    71046    62554    101 |  0.000 % |
77.81/77.91	c |    163042 |     700    14000    70000 |    71046    63956    101 |  0.000 % |
78.71/78.80	c |    164583 |     700    14000    70000 |    71046    65497    101 |  0.000 % |
79.60/79.79	c |    166277 |     700    14000    70000 |    71046    67191    101 |  0.000 % |
79.70/79.84	c |    166377 |     700    14000    70000 |    71046    67291    101 |  0.000 % |
79.80/79.92	c |    166490 |     700    14000    70000 |    71046    67404    101 |  0.000 % |
79.80/79.99	c |    166615 |     700    14000    70000 |    71046    67529    101 |  0.000 % |
79.90/80.07	c |    166751 |     700    14000    70000 |    71046    67665    101 |  0.000 % |
80.00/80.16	c |    166898 |     700    14000    70000 |    71046    67812    101 |  0.000 % |
80.11/80.27	c |    167059 |     700    14000    70000 |    71046    67973    101 |  0.000 % |
80.30/80.42	c |    167235 |     700    14000    70000 |    71046    68149    101 |  0.000 % |
80.40/80.54	c |    167429 |     700    14000    70000 |    71046    68343    101 |  0.000 % |
80.50/80.68	c |    167641 |     700    14000    70000 |    71046    68555    101 |  0.000 % |
80.70/80.83	c |    167874 |     700    14000    70000 |    71046    68788    101 |  0.000 % |
80.90/81.00	c |    168130 |     700    14000    70000 |    71046    69044    101 |  0.000 % |
81.00/81.18	c |    168412 |     700    14000    70000 |    71046    69326    101 |  0.000 % |
81.21/81.36	c |    168722 |     700    14000    70000 |    71046    69636    101 |  0.000 % |
81.40/81.55	c |    169061 |     700    14000    70000 |    71046    69975    101 |  0.000 % |
81.70/81.82	c |    169434 |     700    14000    70000 |    71046    70348    101 |  0.000 % |
82.00/82.11	c |    169844 |     700    14000    70000 |    71046    70758    101 |  0.000 % |
82.31/82.44	c |    170294 |     700    14000    70000 |    70915    61337    100 |  0.000 % |
82.60/82.72	c |    170787 |     700    14000    70000 |    70915    61830    100 |  0.000 % |
82.90/83.04	c |    171329 |     700    14000    70000 |    70915    62372    100 |  0.000 % |
83.20/83.34	c |    171927 |     700    14000    70000 |    70915    62970    100 |  0.000 % |
83.51/83.66	c |    172583 |     700    14000    70000 |    70915    63626    100 |  0.000 % |
83.90/84.09	c |    173303 |     700    14000    70000 |    70915    64346    100 |  0.000 % |
84.40/84.56	c |    174095 |     700    14000    70000 |    70915    65138    100 |  0.000 % |
85.00/85.10	c |    174967 |     700    14000    70000 |    70915    66010    100 |  0.000 % |
85.50/85.66	c |    175925 |     700    14000    70000 |    70915    66968    100 |  0.000 % |
86.10/86.23	c |    176978 |     700    14000    70000 |    70915    68021    100 |  0.000 % |
86.70/86.90	c |    178137 |     700    14000    70000 |    70915    69180    100 |  0.000 % |
87.50/87.66	c |    179411 |     700    14000    70000 |    70915    70454    100 |  0.000 % |
88.30/88.49	c |    180812 |     700    14000    70000 |    71043    62118    101 |  0.000 % |
89.10/89.29	c |    182352 |     700    14000    70000 |    71043    63658    101 |  0.000 % |
90.10/90.23	c |    184047 |     700    14000    70000 |    71043    65353    101 |  0.000 % |
91.20/91.37	c |    185911 |     700    14000    70000 |    71043    67217    101 |  0.000 % |
91.30/91.43	c |    186011 |     700    14000    70000 |    71043    67317    101 |  0.000 % |
91.40/91.51	c |    186122 |     700    14000    70000 |    71043    67428    101 |  0.000 % |
91.50/91.60	c |    186245 |     700    14000    70000 |    71043    67551    101 |  0.000 % |
91.50/91.69	c |    186378 |     700    14000    70000 |    71043    67684    101 |  0.000 % |
91.60/91.78	c |    186524 |     700    14000    70000 |    71043    67830    101 |  0.000 % |
91.70/91.89	c |    186685 |     700    14000    70000 |    71043    67991    101 |  0.000 % |
91.90/92.00	c |    186861 |     700    14000    70000 |    71043    68167    101 |  0.000 % |
92.00/92.13	c |    187054 |     700    14000    70000 |    71043    68360    101 |  0.000 % |
92.10/92.28	c |    187266 |     700    14000    70000 |    71043    68572    101 |  0.000 % |
92.30/92.43	c |    187499 |     700    14000    70000 |    71043    68805    101 |  0.000 % |
92.40/92.58	c |    187757 |     700    14000    70000 |    71043    69063    101 |  0.000 % |
92.60/92.73	c |    188039 |     700    14000    70000 |    71043    69345    101 |  0.000 % |
92.80/92.95	c |    188350 |     700    14000    70000 |    71043    69656    101 |  0.000 % |
93.00/93.18	c |    188690 |     700    14000    70000 |    71043    69996    101 |  0.000 % |
93.30/93.42	c |    189062 |     700    14000    70000 |    71043    70368    101 |  0.000 % |
93.60/93.70	c |    189473 |     700    14000    70000 |    71043    70779    101 |  0.000 % |
93.90/94.00	c |    189922 |     700    14000    70000 |    71043    71228    101 |  0.000 % |
94.20/94.33	c |    190416 |     700    14000    70000 |    61014    52760    100 |  0.000 % |
94.40/94.58	c |    190960 |     700    14000    70000 |    61014    53304    100 |  0.000 % |
94.70/94.85	c |    191556 |     700    14000    70000 |    61014    53900    100 |  0.000 % |
95.00/95.19	c |    192212 |     700    14000    70000 |    61014    54556    100 |  0.000 % |
95.40/95.56	c |    192933 |     700    14000    70000 |    61014    55277    100 |  0.000 % |
95.79/95.95	c |    193729 |     700    14000    70000 |    61014    56073    100 |  0.000 % |
96.19/96.37	c |    194600 |     700    14000    70000 |    61014    56944    100 |  0.000 % |
96.70/96.84	c |    195559 |     700    14000    70000 |    61014    57903    100 |  0.000 % |
97.19/97.38	c |    196612 |     700    14000    70000 |    61014    58956    100 |  0.000 % |
97.80/97.96	c |    197772 |     700    14000    70000 |    61014    60116    100 |  0.000 % |
98.49/98.65	c |    199047 |     700    14000    70000 |    61014    55270    100 |  0.000 % |
99.19/99.36	c |    200448 |     700    14000    70000 | 2147483647    56671    100 |  0.000 % |
100.00/100.11	c |    201989 |     700    14000    70000 | 2147483647    58212    100 |  0.000 % |
100.79/100.99	c |    203685 |     700    14000    70000 | 2147483647    59908    100 |  0.000 % |
101.79/101.97	c |    205548 |     700    14000    70000 | 2147483647    61771    101 |  0.000 % |
102.99/103.11	c |    207599 |     700    14000    70000 | 2147483647    63822    101 |  0.000 % |
102.99/103.19	c |    207700 |     700    14000    70000 | 2147483647    63923    101 |  0.000 % |
103.09/103.25	c |    207810 |     700    14000    70000 | 2147483647    64033    101 |  0.000 % |
103.20/103.34	c |    207932 |     700    14000    70000 | 2147483647    64155    101 |  0.000 % |
103.30/103.43	c |    208066 |     700    14000    70000 | 2147483647    64289    101 |  0.000 % |
103.39/103.54	c |    208212 |     700    14000    70000 | 2147483647    64435    101 |  0.000 % |
103.49/103.65	c |    208374 |     700    14000    70000 | 2147483647    64597    101 |  0.000 % |
103.59/103.77	c |    208550 |     700    14000    70000 | 2147483647    64773    101 |  0.000 % |
103.79/103.92	c |    208744 |     700    14000    70000 | 2147483647    64967    101 |  0.000 % |
103.89/104.06	c |    208956 |     700    14000    70000 | 2147483647    65179    101 |  0.000 % |
103.99/104.19	c |    209190 |     700    14000    70000 | 2147483647    65413    101 |  0.000 % |
104.19/104.35	c |    209446 |     700    14000    70000 | 2147483647    65669    101 |  0.000 % |
104.39/104.50	c |    209727 |     700    14000    70000 | 2147483647    65950    101 |  0.000 % |
104.49/104.69	c |    210036 |     700    14000    70000 |    66223    66259    101 |  0.000 % |
104.79/104.95	c |    210377 |     700    14000    70000 |    66223    59443    101 |  0.000 % |
104.99/105.16	c |    210749 |     700    14000    70000 |    66223    59815    101 |  0.000 % |
105.29/105.41	c |    211158 |     700    14000    70000 |    66223    60224    101 |  0.000 % |
105.49/105.64	c |    211607 |     700    14000    70000 |    66223    60673    101 |  0.000 % |
105.79/105.92	c |    212101 |     700    14000    70000 |    66223    61167    101 |  0.000 % |
106.09/106.20	c |    212644 |     700    14000    70000 |    66223    61710    101 |  0.000 % |
106.39/106.53	c |    213240 |     700    14000    70000 |    66223    62306    101 |  0.000 % |
106.69/106.88	c |    213897 |     700    14000    70000 |    66223    62963    100 |  0.000 % |
107.09/107.24	c |    214617 |     700    14000    70000 |    66223    63683    101 |  0.000 % |
107.49/107.65	c |    215410 |     700    14000    70000 |    66223    64476    101 |  0.000 % |
107.99/108.10	c |    216282 |     700    14000    70000 |    66223    65348    101 |  0.000 % |
108.49/108.60	c |    217241 |     700    14000    70000 |    66223    66307    101 |  0.000 % |
108.99/109.18	c |    218294 |     700    14000    70000 |    66223    60165    101 |  0.000 % |
109.69/109.81	c |    219454 |     700    14000    70000 |    66223    61325    101 |  0.000 % |
110.29/110.50	c |    220727 |     700    14000    70000 |    61871    55968    100 |  0.000 % |
110.99/111.15	c |    222128 |     700    14000    70000 |    61871    57369    101 |  0.000 % |
111.69/111.89	c |    223668 |     700    14000    70000 |    61871    58909    101 |  0.000 % |
112.59/112.78	c |    225362 |     700    14000    70000 |    61871    60603    101 |  0.000 % |
113.48/113.69	c |    227225 |     700    14000    70000 |    61871    56257    101 |  0.000 % |
114.48/114.69	c |    229278 |     700    14000    70000 |    61871    58310    101 |  0.000 % |
115.58/115.77	c |    231535 |     700    14000    70000 | 2147483647    60567    101 |  0.000 % |
115.68/115.85	c |    231635 |     700    14000    70000 | 2147483647    60667    101 |  0.000 % |
115.78/115.91	c |    231745 |     700    14000    70000 | 2147483647    60777    101 |  0.000 % |
115.78/115.98	c |    231867 |     700    14000    70000 | 2147483647    60899    101 |  0.000 % |
115.88/116.06	c |    232003 |     700    14000    70000 | 2147483647    61035    101 |  0.000 % |
115.98/116.16	c |    232150 |     700    14000    70000 | 2147483647    61182    101 |  0.000 % |
116.08/116.26	c |    232312 |     700    14000    70000 | 2147483647    61344    101 |  0.000 % |
116.18/116.36	c |    232488 |     700    14000    70000 | 2147483647    61520    101 |  0.000 % |
116.28/116.46	c |    232682 |     700    14000    70000 | 2147483647    61714    101 |  0.000 % |
116.39/116.58	c |    232894 |     700    14000    70000 | 2147483647    61926    101 |  0.000 % |
116.58/116.70	c |    233129 |     700    14000    70000 | 2147483647    62161    101 |  0.000 % |
116.68/116.84	c |    233386 |     700    14000    70000 | 2147483647    62418    101 |  0.000 % |
116.88/117.00	c |    233667 |     700    14000    70000 | 2147483647    62699    101 |  0.000 % |
116.98/117.16	c |    233976 |     700    14000    70000 | 2147483647    63008    101 |  0.000 % |
117.18/117.34	c |    234315 |     700    14000    70000 | 2147483647    63347    101 |  0.000 % |
117.38/117.53	c |    234687 |     700    14000    70000 | 2147483647    63719    101 |  0.000 % |
117.59/117.77	c |    235098 |     700    14000    70000 | 2147483647    64130    101 |  0.000 % |
117.88/118.04	c |    235547 |     700    14000    70000 | 2147483647    64579    101 |  0.000 % |
118.18/118.34	c |    236041 |     700    14000    70000 | 2147483647    65073    101 |  0.000 % |
118.48/118.66	c |    236583 |     700    14000    70000 | 2147483647    65615    101 |  0.000 % |
118.88/119.01	c |    237179 |     700    14000    70000 | 2147483647    66211    101 |  0.000 % |
119.18/119.38	c |    237834 |     700    14000    70000 | 2147483647    66866    101 |  0.000 % |
119.58/119.78	c |    238555 |     700    14000    70000 | 2147483647    67587    101 |  0.000 % |
120.18/120.30	c |    239348 |     700    14000    70000 | 2147483647    68380    101 |  0.000 % |
120.68/120.83	c |    240221 |     700    14000    70000 |    69033    69253    101 |  0.000 % |
121.18/121.37	c |    241182 |     700    14000    70000 |    69033    62090    101 |  0.000 % |
121.68/121.88	c |    242236 |     700    14000    70000 |    69033    63144    101 |  0.000 % |
122.28/122.48	c |    243395 |     700    14000    70000 |    69033    64303    101 |  0.000 % |
122.98/123.18	c |    244670 |     700    14000    70000 |    69033    65578    101 |  0.000 % |
123.78/123.96	c |    246070 |     700    14000    70000 |    69033    66978    101 |  0.000 % |
124.68/124.84	c |    247610 |     700    14000    70000 |    69033    68518    101 |  0.000 % |
125.58/125.80	c |    249307 |     700    14000    70000 |    69033    61913    101 |  0.000 % |
126.58/126.74	c |    251171 |     700    14000    70000 |    62606    56413    101 |  0.000 % |
127.58/127.70	c |    253221 |     700    14000    70000 |    62606    58463    101 |  0.000 % |
128.58/128.78	c |    255475 |     700    14000    70000 |    62606    60717    102 |  0.000 % |
129.89/130.07	c |    257954 |     700    14000    70000 |    62606    56913    102 |  0.000 % |
129.99/130.12	c |    258056 |     700    14000    70000 |    62606    57015    102 |  0.000 % |
129.99/130.19	c |    258168 |     700    14000    70000 |    62606    57127    101 |  0.000 % |
130.08/130.26	c |    258290 |     700    14000    70000 |    62606    57249    101 |  0.000 % |
130.18/130.34	c |    258423 |     700    14000    70000 |    62606    57382    101 |  0.000 % |
130.28/130.42	c |    258570 |     700    14000    70000 |    62606    57529    101 |  0.000 % |
130.38/130.53	c |    258730 |     700    14000    70000 |    62606    57689    101 |  0.000 % |
130.48/130.62	c |    258906 |     700    14000    70000 |    62606    57865    101 |  0.000 % |
130.58/130.73	c |    259099 |     700    14000    70000 |    62606    58058    101 |  0.000 % |
130.69/130.85	c |    259312 |     700    14000    70000 |    62606    58271    101 |  0.000 % |
130.79/130.99	c |    259545 |     700    14000    70000 |    62606    58504    101 |  0.000 % |
130.98/131.14	c |    259801 |     700    14000    70000 |    62606    58760    101 |  0.000 % |
131.08/131.27	c |    260082 |     700    14000    70000 | 2147483647    59041    101 |  0.000 % |
131.28/131.44	c |    260391 |     700    14000    70000 | 2147483647    59350    101 |  0.000 % |
131.48/131.62	c |    260730 |     700    14000    70000 | 2147483647    59689    101 |  0.000 % |
131.68/131.82	c |    261103 |     700    14000    70000 | 2147483647    60062    101 |  0.000 % |
131.89/132.04	c |    261513 |     700    14000    70000 | 2147483647    60472    101 |  0.000 % |
132.08/132.28	c |    261963 |     700    14000    70000 | 2147483647    60922    101 |  0.000 % |
132.38/132.54	c |    262457 |     700    14000    70000 | 2147483647    61416    101 |  0.000 % |
132.68/132.82	c |    262999 |     700    14000    70000 | 2147483647    61958    101 |  0.000 % |
132.99/133.11	c |    263595 |     700    14000    70000 | 2147483647    62554    101 |  0.000 % |
133.38/133.51	c |    264251 |     700    14000    70000 | 2147483647    63210    101 |  0.000 % |
133.68/133.89	c |    264971 |     700    14000    70000 | 2147483647    63930    101 |  0.000 % |
134.18/134.33	c |    265767 |     700    14000    70000 | 2147483647    64726    101 |  0.000 % |
134.68/134.82	c |    266639 |     700    14000    70000 | 2147483647    65598    101 |  0.000 % |
135.18/135.34	c |    267597 |     700    14000    70000 | 2147483647    66556    101 |  0.000 % |
135.88/136.00	c |    268650 |     700    14000    70000 | 2147483647    67609    102 |  0.000 % |
136.48/136.69	c |    269810 |     700    14000    70000 | 2147483647    68769    102 |  0.000 % |
137.29/137.45	c |    271085 |     700    14000    70000 |    68959    61798    102 |  0.000 % |
138.08/138.20	c |    272486 |     700    14000    70000 |    68959    63199    102 |  0.000 % |
138.88/139.05	c |    274026 |     700    14000    70000 |    68959    64739    102 |  0.000 % |
139.88/140.04	c |    275721 |     700    14000    70000 |    68959    66434    102 |  0.000 % |
140.98/141.10	c |    277584 |     700    14000    70000 |    68959    68297    102 |  0.000 % |
142.18/142.33	c |    279633 |     700    14000    70000 |    68959    61376    102 |  0.000 % |
143.38/143.50	c |    281886 |     700    14000    70000 |    61744    55801    101 |  0.000 % |
144.58/144.74	c |    284367 |     700    14000    70000 |    61744    58282    101 |  0.000 % |
145.98/146.13	c |    287092 |     700    14000    70000 |    61744    61007    102 |  0.000 % |
146.08/146.20	c |    287193 |     700    14000    70000 |    61744    61108    102 |  0.000 % |
146.08/146.27	c |    287303 |     700    14000    70000 |    61744    61218    102 |  0.000 % |
146.18/146.34	c |    287427 |     700    14000    70000 |    61744    61342    102 |  0.000 % |
146.28/146.42	c |    287560 |     700    14000    70000 |    61744    61475    102 |  0.000 % |
146.38/146.53	c |    287706 |     700    14000    70000 |    61744    61621    102 |  0.000 % |
146.48/146.62	c |    287866 |     700    14000    70000 |    61744    61781    102 |  0.000 % |
146.58/146.74	c |    288042 |     700    14000    70000 |    61744    55779    102 |  0.000 % |
146.67/146.86	c |    288235 |     700    14000    70000 |    61744    55972    102 |  0.000 % |
146.77/146.98	c |    288447 |     700    14000    70000 |    61744    56184    102 |  0.000 % |
146.97/147.11	c |    288680 |     700    14000    70000 |    61744    56417    102 |  0.000 % |
147.07/147.24	c |    288936 |     700    14000    70000 |    61744    56673    102 |  0.000 % |
147.18/147.39	c |    289218 |     700    14000    70000 |    61744    56955    102 |  0.000 % |
147.37/147.56	c |    289528 |     700    14000    70000 |    61744    57265    102 |  0.000 % |
147.57/147.74	c |    289867 |     700    14000    70000 |    61744    57604    102 |  0.000 % |
147.77/147.94	c |    290239 |     700    14000    70000 | 2147483647    57976    102 |  0.000 % |
147.97/148.14	c |    290648 |     700    14000    70000 | 2147483647    58385    102 |  0.000 % |
148.17/148.37	c |    291097 |     700    14000    70000 | 2147483647    58834    102 |  0.000 % |
148.47/148.65	c |    291590 |     700    14000    70000 | 2147483647    59327    102 |  0.000 % |
148.77/148.96	c |    292134 |     700    14000    70000 | 2147483647    59871    102 |  0.000 % |
149.07/149.27	c |    292730 |     700    14000    70000 | 2147483647    60467    102 |  0.000 % |
149.47/149.66	c |    293388 |     700    14000    70000 | 2147483647    61125    102 |  0.000 % |
149.87/150.07	c |    294110 |     700    14000    70000 | 2147483647    61847    102 |  0.000 % |
150.37/150.52	c |    294904 |     700    14000    70000 | 2147483647    62641    102 |  0.000 % |
150.77/150.98	c |    295775 |     700    14000    70000 | 2147483647    63512    102 |  0.000 % |
151.27/151.48	c |    296734 |     700    14000    70000 | 2147483647    64471    102 |  0.000 % |
151.87/152.04	c |    297789 |     700    14000    70000 | 2147483647    65526    102 |  0.000 % |
152.47/152.69	c |    298947 |     700    14000    70000 | 2147483647    66684    102 |  0.000 % |
153.17/153.39	c |    300220 |     700    14000    70000 |    67737    67957    102 |  0.000 % |
153.97/154.13	c |    301622 |     700    14000    70000 |    67737    62252    102 |  0.000 % |
154.77/154.96	c |    303162 |     700    14000    70000 |    67737    63792    102 |  0.000 % |
155.67/155.87	c |    304856 |     700    14000    70000 |    67737    65486    102 |  0.000 % |
156.67/156.87	c |    306719 |     700    14000    70000 |    67737    67349    102 |  0.000 % |
157.77/157.99	c |    308768 |     700    14000    70000 |    67737    62168    102 |  0.000 % |
158.97/159.19	c |    311022 |     700    14000    70000 |    63402    57678    102 |  0.000 % |
160.27/160.44	c |    313503 |     700    14000    70000 |    63402    60159    102 |  0.000 % |
161.77/161.92	c |    316229 |     700    14000    70000 |    63402    62885    102 |  0.000 % |
163.27/163.48	c |    319227 |     700    14000    70000 |    63402    59426    102 |  0.000 % |
163.37/163.53	c |    319327 |     700    14000    70000 |    63402    59526    102 |  0.000 % |
163.47/163.60	c |    319437 |     700    14000    70000 |    63402    59636    102 |  0.000 % |
163.47/163.67	c |    319558 |     700    14000    70000 |    63402    59757    102 |  0.000 % |
163.57/163.75	c |    319691 |     700    14000    70000 |    63402    59890    102 |  0.000 % |
163.67/163.84	c |    319837 |     700    14000    70000 |    63402    60036    102 |  0.000 % |
163.77/163.93	c |    319998 |     700    14000    70000 |    63402    60197    102 |  0.000 % |
163.87/164.03	c |    320177 |     700    14000    70000 |    60199    60376    102 |  0.000 % |
163.97/164.16	c |    320370 |     700    14000    70000 |    60199    54456    102 |  0.000 % |
164.07/164.27	c |    320583 |     700    14000    70000 |    60199    54669    102 |  0.000 % |
164.27/164.41	c |    320817 |     700    14000    70000 |    60199    54903    102 |  0.000 % |
164.37/164.54	c |    321074 |     700    14000    70000 |    60199    55160    102 |  0.000 % |
164.56/164.70	c |    321357 |     700    14000    70000 |    60199    55443    102 |  0.000 % |
164.66/164.85	c |    321666 |     700    14000    70000 |    60199    55752    102 |  0.000 % |
164.87/165.01	c |    322006 |     700    14000    70000 |    60199    56092    102 |  0.000 % |
165.06/165.21	c |    322378 |     700    14000    70000 |    60199    56464    102 |  0.000 % |
165.26/165.44	c |    322787 |     700    14000    70000 |    60199    56873    102 |  0.000 % |
165.46/165.66	c |    323239 |     700    14000    70000 |    60199    57325    102 |  0.000 % |
165.66/165.90	c |    323733 |     700    14000    70000 |    60199    57819    102 |  0.000 % |
165.97/166.15	c |    324277 |     700    14000    70000 |    60199    58363    102 |  0.000 % |
166.26/166.45	c |    324873 |     700    14000    70000 |    60199    58959    102 |  0.000 % |
166.56/166.79	c |    325529 |     700    14000    70000 |    60199    59615    102 |  0.000 % |
166.97/167.20	c |    326249 |     700    14000    70000 |    60199    60335    102 |  0.000 % |
167.46/167.64	c |    327043 |     700    14000    70000 |    60199    55096    102 |  0.000 % |
167.96/168.10	c |    327915 |     700    14000    70000 |    60199    55968    102 |  0.000 % |
168.46/168.60	c |    328873 |     700    14000    70000 |    60199    56926    102 |  0.000 % |
168.86/169.08	c |    329926 |     700    14000    70000 |    60199    57979    102 |  0.000 % |
169.46/169.66	c |    331084 |     700    14000    70000 | 2147483647    59137    102 |  0.000 % |
170.16/170.33	c |    332357 |     700    14000    70000 | 2147483647    60410    102 |  0.000 % |
170.86/171.09	c |    333757 |     700    14000    70000 | 2147483647    61810    102 |  0.000 % |
171.76/171.92	c |    335299 |     700    14000    70000 | 2147483647    63352    102 |  0.000 % |
172.56/172.79	c |    336995 |     700    14000    70000 | 2147483647    65048    102 |  0.000 % |
173.66/173.82	c |    338861 |     700    14000    70000 | 2147483647    66914    102 |  0.000 % |
174.76/174.96	c |    340910 |     700    14000    70000 | 2147483647    68963    102 |  0.000 % |
176.06/176.24	c |    343164 |     700    14000    70000 | 2147483647    71217    102 |  0.000 % |
177.46/177.68	c |    345644 |     700    14000    70000 | 2147483647    73697    102 |  0.000 % |
179.16/179.37	c |    348370 |     700    14000    70000 | 2147483647    76423    102 |  0.000 % |
180.96/181.17	c |    351367 |     700    14000    70000 |    78053    68215    103 |  0.000 % |
182.96/183.16	c |    354664 |     700    14000    70000 |    78053    71512    103 |  0.000 % |
183.06/183.22	c |    354764 |     700    14000    70000 |    78053    71612    103 |  0.000 % |
183.16/183.30	c |    354874 |     700    14000    70000 |    78053    71722    103 |  0.000 % |
183.16/183.38	c |    354995 |     700    14000    70000 |    78053    71843    103 |  0.000 % |
183.26/183.48	c |    355131 |     700    14000    70000 |    78053    71979    103 |  0.000 % |
183.36/183.58	c |    355277 |     700    14000    70000 |    78053    72125    103 |  0.000 % |
183.46/183.68	c |    355437 |     700    14000    70000 |    78053    72285    103 |  0.000 % |
183.66/183.81	c |    355613 |     700    14000    70000 |    78053    72461    103 |  0.000 % |
183.76/183.93	c |    355809 |     700    14000    70000 |    78053    72657    103 |  0.000 % |
183.86/184.05	c |    356021 |     700    14000    70000 |    78053    72869    103 |  0.000 % |
184.06/184.24	c |    356254 |     700    14000    70000 |    78053    73102    103 |  0.000 % |
184.26/184.41	c |    356510 |     700    14000    70000 |    78053    73358    103 |  0.000 % |
184.46/184.61	c |    356791 |     700    14000    70000 |    78053    73639    102 |  0.000 % |
184.66/184.82	c |    357101 |     700    14000    70000 |    78053    73949    102 |  0.000 % |
184.86/185.04	c |    357440 |     700    14000    70000 |    78053    74288    103 |  0.000 % |
185.06/185.29	c |    357812 |     700    14000    70000 |    78053    74660    103 |  0.000 % |
185.36/185.57	c |    358221 |     700    14000    70000 |    78053    75069    103 |  0.000 % |
185.66/185.90	c |    358671 |     700    14000    70000 |    78053    75519    103 |  0.000 % |
186.06/186.21	c |    359164 |     700    14000    70000 |    78053    76012    103 |  0.000 % |
186.36/186.60	c |    359710 |     700    14000    70000 |    78053    76558    102 |  0.000 % |
186.86/187.08	c |    360307 |     700    14000    70000 |    76849    64731    102 |  0.000 % |
187.26/187.43	c |    360962 |     700    14000    70000 |    76849    65386    102 |  0.000 % |
187.66/187.81	c |    361682 |     700    14000    70000 |    76849    66106    102 |  0.000 % |
188.06/188.28	c |    362474 |     700    14000    70000 |    76849    66898    102 |  0.000 % |
188.66/188.81	c |    363345 |     700    14000    70000 |    76849    67769    102 |  0.000 % |
189.16/189.40	c |    364303 |     700    14000    70000 |    76849    68727    102 |  0.000 % |
189.86/190.05	c |    365357 |     700    14000    70000 |    76849    69781    102 |  0.000 % |
190.56/190.79	c |    366515 |     700    14000    70000 |    76849    70939    103 |  0.000 % |
191.46/191.62	c |    367788 |     700    14000    70000 |    76849    72212    103 |  0.000 % |
192.36/192.53	c |    369188 |     700    14000    70000 |    76849    73612    103 |  0.000 % |
193.26/193.50	c |    370729 |     700    14000    70000 |    74425    63637    103 |  0.000 % |
194.26/194.45	c |    372424 |     700    14000    70000 |    74425    65332    103 |  0.000 % |
195.36/195.50	c |    374288 |     700    14000    70000 |    74425    67196    103 |  0.000 % |
196.46/196.68	c |    376337 |     700    14000    70000 |    74425    69245    103 |  0.000 % |
197.76/197.99	c |    378590 |     700    14000    70000 |    74425    71498    103 |  0.000 % |
199.25/199.45	c |    381071 |     700    14000    70000 |    72908    63771    103 |  0.000 % |
200.75/200.93	c |    383796 |     700    14000    70000 |    72908    66496    103 |  0.000 % |
202.35/202.60	c |    386795 |     700    14000    70000 |    72908    69495    103 |  0.000 % |
204.46/204.63	c |    390091 |     700    14000    70000 |    72702    72791    104 |  0.000 % |
206.45/206.67	c |    393717 |     700    14000    70000 |    72702    66672    104 |  0.000 % |
206.56/206.73	c |    393817 |     700    14000    70000 |    72702    66772    104 |  0.000 % |
206.65/206.81	c |    393929 |     700    14000    70000 |    72702    66884    104 |  0.000 % |
206.65/206.89	c |    394050 |     700    14000    70000 |    72702    67005    104 |  0.000 % |
206.85/207.00	c |    394183 |     700    14000    70000 |    72702    67138    104 |  0.000 % |
206.95/207.11	c |    394329 |     700    14000    70000 |    72702    67284    104 |  0.000 % |
207.05/207.21	c |    394490 |     700    14000    70000 |    72702    67445    104 |  0.000 % |
207.15/207.34	c |    394666 |     700    14000    70000 |    72702    67621    104 |  0.000 % |
207.25/207.46	c |    394859 |     700    14000    70000 |    72702    67814    104 |  0.000 % |
207.45/207.61	c |    395072 |     700    14000    70000 |    72702    68027    104 |  0.000 % |
207.55/207.76	c |    395307 |     700    14000    70000 |    72702    68262    104 |  0.000 % |
207.75/207.91	c |    395563 |     700    14000    70000 |    72702    68518    104 |  0.000 % |
207.85/208.09	c |    395844 |     700    14000    70000 |    72702    68799    104 |  0.000 % |
208.15/208.30	c |    396157 |     700    14000    70000 |    72702    69112    104 |  0.000 % |
208.35/208.51	c |    396496 |     700    14000    70000 |    72702    69451    104 |  0.000 % |
208.55/208.73	c |    396868 |     700    14000    70000 |    72702    69823    104 |  0.000 % |
208.75/208.96	c |    397279 |     700    14000    70000 |    72702    70234    104 |  0.000 % |
209.05/209.25	c |    397729 |     700    14000    70000 |    72702    70684    104 |  0.000 % |
209.35/209.52	c |    398222 |     700    14000    70000 |    72702    71177    104 |  0.000 % |
209.65/209.86	c |    398764 |     700    14000    70000 |    72702    71719    104 |  0.000 % |
210.05/210.21	c |    399361 |     700    14000    70000 |    72702    72316    104 |  0.000 % |
210.45/210.69	c |    400016 |     700    14000    70000 |    62724    62740    104 |  0.000 % |
210.85/211.09	c |    400737 |     700    14000    70000 |    62724    54680    104 |  0.000 % |
211.25/211.47	c |    401529 |     700    14000    70000 |    62724    55472    104 |  0.000 % |
211.75/211.94	c |    402401 |     700    14000    70000 |    62724    56344    104 |  0.000 % |
212.25/212.42	c |    403359 |     700    14000    70000 |    62724    57302    104 |  0.000 % |
212.75/212.97	c |    404412 |     700    14000    70000 |    62724    58355    104 |  0.000 % |
213.35/213.55	c |    405570 |     700    14000    70000 |    62724    59513    104 |  0.000 % |
214.05/214.28	c |    406847 |     700    14000    70000 |    62724    60790    104 |  0.000 % |
214.85/215.04	c |    408248 |     700    14000    70000 |    62724    62191    104 |  0.000 % |
215.65/215.80	c |    409788 |     700    14000    70000 |    62724    57312    103 |  0.000 % |
216.45/216.65	c |    411482 |     700    14000    70000 | 2147483647    59006    103 |  0.000 % |
217.34/217.59	c |    413347 |     700    14000    70000 | 2147483647    60871    103 |  0.000 % |
218.44/218.63	c |    415397 |     700    14000    70000 | 2147483647    62921    103 |  0.000 % |
219.64/219.86	c |    417650 |     700    14000    70000 | 2147483647    65174    103 |  0.000 % |
221.14/221.30	c |    420129 |     700    14000    70000 | 2147483647    67653    103 |  0.000 % |
222.64/222.84	c |    422856 |     700    14000    70000 | 2147483647    70380    103 |  0.000 % |
224.34/224.51	c |    425853 |     700    14000    70000 | 2147483647    73377    104 |  0.000 % |
226.45/226.66	c |    429150 |     700    14000    70000 | 2147483647    76674    104 |  0.000 % |
228.65/228.86	c |    432775 |     700    14000    70000 |    77525    68994    104 |  0.000 % |
231.04/231.23	c |    436762 |     700    14000    70000 |    77525    72981    105 |  0.000 % |
231.04/231.29	c |    436862 |     700    14000    70000 |    77525    73081    105 |  0.000 % |
231.14/231.37	c |    436972 |     700    14000    70000 |    77525    73191    105 |  0.000 % |
231.24/231.46	c |    437094 |     700    14000    70000 |    77525    73313    105 |  0.000 % |
231.34/231.58	c |    437229 |     700    14000    70000 |    77525    73448    105 |  0.000 % |
231.44/231.69	c |    437375 |     700    14000    70000 |    77525    73594    105 |  0.000 % |
231.54/231.79	c |    437536 |     700    14000    70000 |    77525    73755    105 |  0.000 % |
231.74/231.93	c |    437712 |     700    14000    70000 |    77525    73931    105 |  0.000 % |
231.85/232.05	c |    437905 |     700    14000    70000 |    77525    74124    105 |  0.000 % |
231.95/232.20	c |    438118 |     700    14000    70000 |    77525    74337    105 |  0.000 % |
232.14/232.35	c |    438354 |     700    14000    70000 |    77525    74573    105 |  0.000 % |
232.34/232.52	c |    438610 |     700    14000    70000 |    77525    74829    105 |  0.000 % |
232.44/232.69	c |    438891 |     700    14000    70000 |    77525    75110    105 |  0.000 % |
232.64/232.90	c |    439201 |     700    14000    70000 |    77525    75420    104 |  0.000 % |
232.94/233.11	c |    439540 |     700    14000    70000 |    77525    75759    104 |  0.000 % |
233.24/233.41	c |    439912 |     700    14000    70000 |    77525    76131    104 |  0.000 % |
233.54/233.74	c |    440324 |     700    14000    70000 |    76219    64434    104 |  0.000 % |
233.84/234.00	c |    440773 |     700    14000    70000 |    76219    64883    104 |  0.000 % |
234.04/234.27	c |    441268 |     700    14000    70000 |    76219    65378    104 |  0.000 % |
234.34/234.58	c |    441810 |     700    14000    70000 |    76219    65920    104 |  0.000 % |
234.64/234.88	c |    442406 |     700    14000    70000 |    76219    66516    104 |  0.000 % |
235.04/235.22	c |    443061 |     700    14000    70000 |    76219    67171    104 |  0.000 % |
235.44/235.69	c |    443781 |     700    14000    70000 |    76219    67891    104 |  0.000 % |
235.94/236.17	c |    444574 |     700    14000    70000 |    76219    68684    104 |  0.000 % |
236.54/236.76	c |    445448 |     700    14000    70000 |    76219    69558    104 |  0.000 % |
237.14/237.36	c |    446406 |     700    14000    70000 |    76219    70516    104 |  0.000 % |
237.84/238.01	c |    447461 |     700    14000    70000 |    76219    71571    104 |  0.000 % |
238.44/238.67	c |    448621 |     700    14000    70000 |    76219    72731    104 |  0.000 % |
239.24/239.43	c |    449895 |     700    14000    70000 |    76219    74005    104 |  0.000 % |
240.04/240.27	c |    451295 |     700    14000    70000 |    74110    64355    104 |  0.000 % |
240.94/241.10	c |    452835 |     700    14000    70000 |    74110    65895    104 |  0.000 % |
241.74/241.98	c |    454529 |     700    14000    70000 |    74110    67589    104 |  0.000 % |
242.84/243.08	c |    456394 |     700    14000    70000 |    74110    69454    104 |  0.000 % |
244.04/244.25	c |    458444 |     700    14000    70000 |    74110    71504    104 |  0.000 % |
245.33/245.60	c |    460698 |     700    14000    70000 |    73061    63882    104 |  0.000 % |
246.73/246.97	c |    463177 |     700    14000    70000 |    73061    66361    105 |  0.000 % |
248.44/248.61	c |    465903 |     700    14000    70000 |    73061    69087    105 |  0.000 % |
250.23/250.44	c |    468903 |     700    14000    70000 |    73061    72087    105 |  0.000 % |
252.13/252.30	c |    472200 |     700    14000    70000 |    73185    66079    105 |  0.000 % |
254.23/254.47	c |    475826 |     700    14000    70000 |    73185    69705    105 |  0.000 % |
256.83/257.02	c |    479813 |     700    14000    70000 |    73185    63463    105 |  0.000 % |
259.13/259.38	c |    484198 |     700    14000    70000 |    63651    59012    105 |  0.000 % |
259.23/259.43	c |    484299 |     700    14000    70000 |    63651    59113    105 |  0.000 % |
259.33/259.50	c |    484410 |     700    14000    70000 |    63651    59224    105 |  0.000 % |
259.33/259.57	c |    484532 |     700    14000    70000 |    63651    59346    105 |  0.000 % |
259.43/259.67	c |    484668 |     700    14000    70000 |    63651    59482    105 |  0.000 % |
259.53/259.75	c |    484814 |     700    14000    70000 |    63651    59628    105 |  0.000 % |
259.63/259.84	c |    484976 |     700    14000    70000 |    63651    59790    105 |  0.000 % |
259.73/259.94	c |    485152 |     700    14000    70000 |    63651    59966    105 |  0.000 % |
259.83/260.05	c |    485347 |     700    14000    70000 |    63651    60161    105 |  0.000 % |
259.93/260.16	c |    485559 |     700    14000    70000 |    63651    60373    105 |  0.000 % |
260.13/260.30	c |    485792 |     700    14000    70000 |    63651    60606    105 |  0.000 % |
260.23/260.44	c |    486049 |     700    14000    70000 |    63651    60863    105 |  0.000 % |
260.33/260.60	c |    486330 |     700    14000    70000 |    63651    61144    105 |  0.000 % |
260.53/260.76	c |    486639 |     700    14000    70000 |    63651    61453    105 |  0.000 % |
260.73/260.95	c |    486978 |     700    14000    70000 |    63651    61792    105 |  0.000 % |
260.93/261.15	c |    487352 |     700    14000    70000 |    63651    62166    105 |  0.000 % |
261.12/261.37	c |    487763 |     700    14000    70000 |    63651    62577    105 |  0.000 % |
261.32/261.59	c |    488214 |     700    14000    70000 |    63651    63028    105 |  0.000 % |
261.63/261.87	c |    488708 |     700    14000    70000 |    63651    63522    105 |  0.000 % |
261.92/262.18	c |    489251 |     700    14000    70000 |    63651    57030    104 |  0.000 % |
262.22/262.46	c |    489849 |     700    14000    70000 |    63651    57628    104 |  0.000 % |
262.52/262.80	c |    490504 |     700    14000    70000 |    57779    52152    104 |  0.000 % |
262.92/263.13	c |    491225 |     700    14000    70000 |    57779    52873    104 |  0.000 % |
263.22/263.47	c |    492017 |     700    14000    70000 |    57779    53665    104 |  0.000 % |
263.62/263.87	c |    492888 |     700    14000    70000 |    57779    54536    104 |  0.000 % |
264.12/264.30	c |    493847 |     700    14000    70000 |    57779    55495    104 |  0.000 % |
264.52/264.77	c |    494901 |     700    14000    70000 |    57779    56549    104 |  0.000 % |
265.12/265.36	c |    496059 |     700    14000    70000 |    57779    57707    104 |  0.000 % |
265.82/266.00	c |    497333 |     700    14000    70000 |    57779    53181    104 |  0.000 % |
266.42/266.67	c |    498733 |     700    14000    70000 |    57779    54581    104 |  0.000 % |
267.22/267.44	c |    500273 |     700    14000    70000 | 2147483647    56121    104 |  0.000 % |
268.12/268.30	c |    501967 |     700    14000    70000 | 2147483647    57815    104 |  0.000 % |
268.92/269.19	c |    503830 |     700    14000    70000 | 2147483647    59678    104 |  0.000 % |
270.02/270.26	c |    505879 |     700    14000    70000 | 2147483647    61727    104 |  0.000 % |
271.22/271.42	c |    508133 |     700    14000    70000 | 2147483647    63981    104 |  0.000 % |
272.52/272.74	c |    510615 |     700    14000    70000 | 2147483647    66463    104 |  0.000 % |
274.02/274.23	c |    513341 |     700    14000    70000 | 2147483647    69189    103 |  0.000 % |
275.72/275.97	c |    516339 |     700    14000    70000 | 2147483647    72187    103 |  0.000 % |
277.72/277.95	c |    519635 |     700    14000    70000 | 2147483647    75483    104 |  0.000 % |
279.72/279.96	c |    523263 |     700    14000    70000 |    75848    68676    103 |  0.000 % |
282.12/282.39	c |    527250 |     700    14000    70000 |    75848    72663    104 |  0.000 % |
284.91/285.13	c |    531637 |     700    14000    70000 |    75413    66745    103 |  0.000 % |
287.81/288.01	c |    536461 |     700    14000    70000 |    75413    71569    103 |  0.000 % |
287.81/288.08	c |    536561 |     700    14000    70000 |    75413    71669    103 |  0.000 % |
287.92/288.17	c |    536672 |     700    14000    70000 |    75413    71780    103 |  0.000 % |
288.02/288.26	c |    536794 |     700    14000    70000 |    75413    71902    103 |  0.000 % |
288.11/288.35	c |    536928 |     700    14000    70000 |    75413    72036    103 |  0.000 % |
288.21/288.46	c |    537074 |     700    14000    70000 |    75413    72182    103 |  0.000 % |
288.41/288.60	c |    537234 |     700    14000    70000 |    75413    72342    103 |  0.000 % |
288.51/288.72	c |    537412 |     700    14000    70000 |    75413    72520    103 |  0.000 % |
288.61/288.85	c |    537605 |     700    14000    70000 |    75413    72713    103 |  0.000 % |
288.71/289.00	c |    537817 |     700    14000    70000 |    75413    72925    103 |  0.000 % |
288.91/289.15	c |    538050 |     700    14000    70000 |    75413    73158    103 |  0.000 % |
289.12/289.33	c |    538306 |     700    14000    70000 |    75413    73414    103 |  0.000 % |
289.31/289.52	c |    538588 |     700    14000    70000 |    75413    73696    103 |  0.000 % |
289.51/289.73	c |    538898 |     700    14000    70000 |    75413    74006    103 |  0.000 % |
289.71/289.95	c |    539237 |     700    14000    70000 |    75413    74345    103 |  0.000 % |
290.01/290.20	c |    539611 |     700    14000    70000 |    75413    74719    103 |  0.000 % |
290.21/290.48	c |    540020 |     700    14000    70000 |    75110    75128    103 |  0.000 % |
290.61/290.81	c |    540472 |     700    14000    70000 |    75110    64355    102 |  0.000 % |
290.91/291.10	c |    540965 |     700    14000    70000 |    75110    64848    103 |  0.000 % |
291.21/291.41	c |    541508 |     700    14000    70000 |    75110    65391    102 |  0.000 % |
291.51/291.74	c |    542105 |     700    14000    70000 |    75110    65988    102 |  0.000 % |
291.91/292.11	c |    542760 |     700    14000    70000 |    75110    66643    102 |  0.000 % |
292.31/292.55	c |    543480 |     700    14000    70000 |    75110    67363    102 |  0.000 % |
292.71/292.97	c |    544272 |     700    14000    70000 |    75110    68155    102 |  0.000 % |
293.21/293.42	c |    545143 |     700    14000    70000 |    75110    69026    102 |  0.000 % |
293.71/293.99	c |    546102 |     700    14000    70000 |    75110    69985    102 |  0.000 % |
294.41/294.62	c |    547155 |     700    14000    70000 |    75110    71038    102 |  0.000 % |
295.11/295.34	c |    548314 |     700    14000    70000 |    75110    72197    102 |  0.000 % |
295.91/296.15	c |    549588 |     700    14000    70000 |    75110    73471    102 |  0.000 % |
296.81/297.03	c |    550992 |     700    14000    70000 |    73883    63918    103 |  0.000 % |
297.70/297.97	c |    552533 |     700    14000    70000 |    73883    65459    103 |  0.000 % |
298.70/298.91	c |    554228 |     700    14000    70000 |    73883    67154    103 |  0.000 % |
299.71/299.97	c |    556091 |     700    14000    70000 |    73883    69017    103 |  0.000 % |
300.91/301.18	c |    558142 |     700    14000    70000 |    73883    71068    103 |  0.000 % |
302.41/302.60	c |    560397 |     700    14000    70000 |    72929    62611    103 |  0.000 % |
303.81/304.01	c |    562876 |     700    14000    70000 |    72929    65090    103 |  0.000 % |
305.41/305.62	c |    565601 |     700    14000    70000 |    72929    67815    104 |  0.000 % |
307.11/307.36	c |    568598 |     700    14000    70000 |    72929    70812    104 |  0.000 % |
309.01/309.26	c |    571894 |     700    14000    70000 |    72214    64100    104 |  0.000 % |
310.91/311.20	c |    575519 |     700    14000    70000 |    72214    67725    104 |  0.000 % |
313.31/313.52	c |    579507 |     700    14000    70000 |    72214    71713    105 |  0.000 % |
315.71/315.97	c |    583892 |     700    14000    70000 |    72207    65968    105 |  0.000 % |
318.71/318.98	c |    588717 |     700    14000    70000 |    72207    70793    105 |  0.000 % |
322.01/322.22	c |    594023 |     700    14000    70000 |    72076    65877    105 |  0.000 % |
322.01/322.30	c |    594124 |     700    14000    70000 |    72076    65978    105 |  0.000 % |
322.11/322.37	c |    594234 |     700    14000    70000 |    72076    66088    105 |  0.000 % |
322.21/322.45	c |    594355 |     700    14000    70000 |    72076    66209    105 |  0.000 % |
322.31/322.53	c |    594491 |     700    14000    70000 |    72076    66345    105 |  0.000 % |
322.41/322.62	c |    594637 |     700    14000    70000 |    72076    66491    105 |  0.000 % |
322.51/322.72	c |    594798 |     700    14000    70000 |    72076    66652    105 |  0.000 % |
322.61/322.82	c |    594974 |     700    14000    70000 |    72076    66828    105 |  0.000 % |
322.71/322.95	c |    595167 |     700    14000    70000 |    72076    67021    105 |  0.000 % |
322.81/323.08	c |    595379 |     700    14000    70000 |    72076    67233    105 |  0.000 % |
323.01/323.23	c |    595613 |     700    14000    70000 |    72076    67467    105 |  0.000 % |
323.11/323.38	c |    595869 |     700    14000    70000 |    72076    67723    105 |  0.000 % |
323.31/323.58	c |    596153 |     700    14000    70000 |    72076    68007    105 |  0.000 % |
323.51/323.77	c |    596463 |     700    14000    70000 |    72076    68317    105 |  0.000 % |
323.71/323.96	c |    596804 |     700    14000    70000 |    72076    68658    105 |  0.000 % |
323.91/324.19	c |    597177 |     700    14000    70000 |    72076    69031    105 |  0.000 % |
324.21/324.44	c |    597587 |     700    14000    70000 |    72076    69441    105 |  0.000 % |
324.51/324.74	c |    598036 |     700    14000    70000 |    72076    69890    105 |  0.000 % |
324.81/325.08	c |    598531 |     700    14000    70000 |    72076    70385    104 |  0.000 % |
325.21/325.48	c |    599073 |     700    14000    70000 |    72076    70927    104 |  0.000 % |
325.71/325.90	c |    599669 |     700    14000    70000 |    72076    71523    104 |  0.000 % |
326.11/326.37	c |    600328 |     700    14000    70000 |    71855    61963    104 |  0.000 % |
326.51/326.76	c |    601048 |     700    14000    70000 |    71855    62683    104 |  0.000 % |
327.01/327.24	c |    601841 |     700    14000    70000 |    71855    63476    104 |  0.000 % |
327.51/327.74	c |    602714 |     700    14000    70000 |    71855    64349    104 |  0.000 % |
328.11/328.31	c |    603673 |     700    14000    70000 |    71855    65308    104 |  0.000 % |
328.71/328.95	c |    604727 |     700    14000    70000 |    71855    66362    104 |  0.000 % |
329.30/329.55	c |    605885 |     700    14000    70000 |    71855    67520    104 |  0.000 % |
329.90/330.20	c |    607160 |     700    14000    70000 |    71855    68795    104 |  0.000 % |
330.70/330.99	c |    608560 |     700    14000    70000 |    71855    70195    104 |  0.000 % |
331.70/331.97	c |    610102 |     700    14000    70000 |    71636    71737    104 |  0.000 % |
332.70/332.97	c |    611796 |     700    14000    70000 |    71636    64027    105 |  0.000 % |
333.80/334.04	c |    613659 |     700    14000    70000 |    71636    65890    105 |  0.000 % |
335.00/335.21	c |    615711 |     700    14000    70000 |    71636    67942    105 |  0.000 % |
336.20/336.48	c |    617965 |     700    14000    70000 |    71636    70196    105 |  0.000 % |
337.70/337.92	c |    620446 |     700    14000    70000 |    63249    55928    105 |  0.000 % |
339.00/339.28	c |    623172 |     700    14000    70000 |    63249    58654    105 |  0.000 % |
340.70/340.97	c |    626169 |     700    14000    70000 |    63249    61651    105 |  0.000 % |
342.60/342.82	c |    629466 |     700    14000    70000 |    63249    58600    104 |  0.000 % |
344.60/344.82	c |    633091 |     700    14000    70000 | 2147483647    62225    104 |  0.000 % |
346.80/347.06	c |    637078 |     700    14000    70000 | 2147483647    66212    104 |  0.000 % |
349.30/349.56	c |    641463 |     700    14000    70000 |    69136    61983    104 |  0.000 % |
351.80/352.05	c |    646287 |     700    14000    70000 |    69136    66807    104 |  0.000 % |
354.80/355.02	c |    651592 |     700    14000    70000 |    62592    57185    104 |  0.000 % |
357.79/358.07	c |    657427 |     700    14000    70000 |    62592    56736    105 |  0.000 % |
357.89/358.12	c |    657527 |     700    14000    70000 |    62592    56836    105 |  0.000 % |
357.89/358.19	c |    657637 |     700    14000    70000 |    62592    56946    105 |  0.000 % |
357.99/358.26	c |    657758 |     700    14000    70000 |    62592    57067    105 |  0.000 % |
358.09/358.33	c |    657893 |     700    14000    70000 |    62592    57202    105 |  0.000 % |
358.19/358.41	c |    658039 |     700    14000    70000 |    62592    57348    105 |  0.000 % |
358.30/358.51	c |    658199 |     700    14000    70000 |    62592    57508    105 |  0.000 % |
358.40/358.60	c |    658375 |     700    14000    70000 |    62592    57684    105 |  0.000 % |
358.49/358.70	c |    658568 |     700    14000    70000 |    62592    57877    105 |  0.000 % |
358.59/358.81	c |    658782 |     700    14000    70000 |    62592    58091    104 |  0.000 % |
358.69/358.93	c |    659016 |     700    14000    70000 |    62592    58325    105 |  0.000 % |
358.79/359.09	c |    659273 |     700    14000    70000 |    62592    58582    105 |  0.000 % |
358.99/359.25	c |    659556 |     700    14000    70000 |    62592    58865    105 |  0.000 % |
359.19/359.44	c |    659866 |     700    14000    70000 |    62592    59175    104 |  0.000 % |
359.40/359.61	c |    660206 |     700    14000    70000 | 2147483647    59515    104 |  0.000 % |
359.59/359.82	c |    660578 |     700    14000    70000 | 2147483647    59887    104 |  0.000 % |
359.79/360.06	c |    660987 |     700    14000    70000 | 2147483647    60296    104 |  0.000 % |
360.09/360.31	c |    661438 |     700    14000    70000 | 2147483647    60747    104 |  0.000 % |
360.29/360.58	c |    661931 |     700    14000    70000 | 2147483647    61240    104 |  0.000 % |
360.60/360.86	c |    662473 |     700    14000    70000 | 2147483647    61782    104 |  0.000 % |
360.99/361.20	c |    663069 |     700    14000    70000 | 2147483647    62378    104 |  0.000 % |
361.39/361.60	c |    663726 |     700    14000    70000 | 2147483647    63035    104 |  0.000 % |
361.79/362.00	c |    664446 |     700    14000    70000 | 2147483647    63755    104 |  0.000 % |
362.19/362.45	c |    665242 |     700    14000    70000 | 2147483647    64551    104 |  0.000 % |
362.70/362.95	c |    666114 |     700    14000    70000 | 2147483647    65423    104 |  0.000 % |
363.29/363.50	c |    667072 |     700    14000    70000 | 2147483647    66381    104 |  0.000 % |
363.90/364.14	c |    668125 |     700    14000    70000 | 2147483647    67434    104 |  0.000 % |
364.59/364.83	c |    669284 |     700    14000    70000 | 2147483647    68593    104 |  0.000 % |
365.29/365.58	c |    670558 |     700    14000    70000 |    69311    61575    104 |  0.000 % |
366.09/366.38	c |    671960 |     700    14000    70000 |    69311    62977    104 |  0.000 % |
366.99/367.20	c |    673501 |     700    14000    70000 |    69311    64518    104 |  0.000 % |
367.99/368.21	c |    675195 |     700    14000    70000 |    69311    66212    104 |  0.000 % |
369.09/369.33	c |    677059 |     700    14000    70000 |    69311    68076    104 |  0.000 % |
370.29/370.56	c |    679109 |     700    14000    70000 |    69311    61213    104 |  0.000 % |
371.49/371.79	c |    681363 |     700    14000    70000 |    62104    55751    103 |  0.000 % |
372.79/373.00	c |    683841 |     700    14000    70000 |    62104    58229    103 |  0.000 % |
374.09/374.37	c |    686569 |     700    14000    70000 |    62104    60957    103 |  0.000 % |
375.68/375.93	c |    689567 |     700    14000    70000 |    62104    57719    103 |  0.000 % |
377.49/377.74	c |    692864 |     700    14000    70000 | 2147483647    61016    103 |  0.000 % |
379.38/379.67	c |    696490 |     700    14000    70000 | 2147483647    64642    103 |  0.000 % |
381.98/382.23	c |    700477 |     700    14000    70000 |    68154    61096    104 |  0.000 % |
384.38/384.68	c |    704862 |     700    14000    70000 |    68154    65481    104 |  0.000 % |
387.28/387.60	c |    709687 |     700    14000    70000 |    68154    61776    104 |  0.000 % |
390.28/390.51	c |    714993 |     700    14000    70000 |    62090    59300    104 |  0.000 % |
393.48/393.72	c |    720828 |     700    14000    70000 |    57615    52433    105 |  0.000 % |
396.68/396.94	c |    727246 |     700    14000    70000 |    57615    53066    106 |  0.000 % |
396.78/397.00	c |    727348 |     700    14000    70000 |    57615    53168    106 |  0.000 % |
396.78/397.06	c |    727459 |     700    14000    70000 |    57615    53279    106 |  0.000 % |
396.88/397.11	c |    727580 |     700    14000    70000 |    57615    53400    106 |  0.000 % |
396.88/397.19	c |    727713 |     700    14000    70000 |    57615    53533    106 |  0.000 % |
396.98/397.26	c |    727859 |     700    14000    70000 |    57615    53679    106 |  0.000 % |
397.08/397.35	c |    728019 |     700    14000    70000 |    57615    53839    105 |  0.000 % |
397.18/397.45	c |    728195 |     700    14000    70000 |    57615    54015    105 |  0.000 % |
397.28/397.54	c |    728390 |     700    14000    70000 |    57615    54210    105 |  0.000 % |
397.38/397.65	c |    728603 |     700    14000    70000 |    57615    54423    105 |  0.000 % |
397.48/397.78	c |    728838 |     700    14000    70000 |    57615    54658    105 |  0.000 % |
397.68/397.91	c |    729096 |     700    14000    70000 |    57615    54916    105 |  0.000 % |
397.78/398.07	c |    729378 |     700    14000    70000 |    57615    55198    105 |  0.000 % |
397.98/398.24	c |    729690 |     700    14000    70000 |    57615    55510    105 |  0.000 % |
398.18/398.41	c |    730030 |     700    14000    70000 | 2147483647    55850    105 |  0.000 % |
398.38/398.63	c |    730403 |     700    14000    70000 | 2147483647    56223    105 |  0.000 % |
398.58/398.84	c |    730813 |     700    14000    70000 | 2147483647    56633    105 |  0.000 % |
398.78/399.06	c |    731262 |     700    14000    70000 | 2147483647    57082    105 |  0.000 % |
398.98/399.27	c |    731756 |     700    14000    70000 | 2147483647    57576    105 |  0.000 % |
399.28/399.57	c |    732298 |     700    14000    70000 | 2147483647    58118    105 |  0.000 % |
399.58/399.89	c |    732896 |     700    14000    70000 | 2147483647    58716    105 |  0.000 % |
399.98/400.23	c |    733552 |     700    14000    70000 | 2147483647    59372    105 |  0.000 % |
400.38/400.61	c |    734273 |     700    14000    70000 | 2147483647    60093    105 |  0.000 % |
400.78/401.05	c |    735065 |     700    14000    70000 | 2147483647    60885    105 |  0.000 % |
401.28/401.54	c |    735938 |     700    14000    70000 | 2147483647    61758    105 |  0.000 % |
401.78/402.03	c |    736897 |     700    14000    70000 | 2147483647    62717    105 |  0.000 % |
402.28/402.58	c |    737952 |     700    14000    70000 | 2147483647    63772    105 |  0.000 % |
402.98/403.20	c |    739111 |     700    14000    70000 | 2147483647    64931    105 |  0.000 % |
403.68/403.98	c |    740384 |     700    14000    70000 | 2147483647    66204    105 |  0.000 % |
404.48/404.78	c |    741784 |     700    14000    70000 | 2147483647    67604    104 |  0.000 % |
405.48/405.73	c |    743327 |     700    14000    70000 | 2147483647    69147    104 |  0.000 % |
406.48/406.78	c |    745025 |     700    14000    70000 | 2147483647    70845    104 |  0.000 % |
407.78/408.05	c |    746888 |     700    14000    70000 | 2147483647    72708    104 |  0.000 % |
409.07/409.38	c |    748938 |     700    14000    70000 | 2147483647    74758    105 |  0.000 % |
410.57/410.83	c |    751191 |     700    14000    70000 |    75820    65770    105 |  0.000 % |
411.97/412.22	c |    753670 |     700    14000    70000 |    75820    68249    105 |  0.000 % |
413.47/413.74	c |    756395 |     700    14000    70000 |    75820    70974    105 |  0.000 % |
415.27/415.58	c |    759392 |     700    14000    70000 |    75820    73971    105 |  0.000 % |
417.27/417.59	c |    762690 |     700    14000    70000 |    74579    66373    105 |  0.000 % |
419.57/419.84	c |    766316 |     700    14000    70000 |    74579    69999    105 |  0.000 % |
422.07/422.37	c |    770303 |     700    14000    70000 |    73684    62967    104 |  0.000 % |
424.67/424.92	c |    774691 |     700    14000    70000 |    73684    67355    105 |  0.000 % |
427.67/427.91	c |    779515 |     700    14000    70000 |    73684    72179    105 |  0.000 % |
430.67/430.97	c |    784820 |     700    14000    70000 |    72664    67169    105 |  0.000 % |
434.27/434.51	c |    790655 |     700    14000    70000 |    72350    62214    104 |  0.000 % |
437.66/437.95	c |    797073 |     700    14000    70000 |    72350    68632    105 |  0.000 % |
441.56/441.89	c |    804132 |     700    14000    70000 |    71559    65346    105 |  0.000 % |
441.66/441.95	c |    804233 |     700    14000    70000 |    71559    65447    105 |  0.000 % |
441.76/442.02	c |    804343 |     700    14000    70000 |    71559    65557    105 |  0.000 % |
441.76/442.10	c |    804464 |     700    14000    70000 |    71559    65678    105 |  0.000 % |
441.87/442.17	c |    804597 |     700    14000    70000 |    71559    65811    105 |  0.000 % |
441.97/442.28	c |    804745 |     700    14000    70000 |    71559    65959    105 |  0.000 % |
442.06/442.37	c |    804905 |     700    14000    70000 |    71559    66119    105 |  0.000 % |
442.16/442.48	c |    805081 |     700    14000    70000 |    71559    66295    105 |  0.000 % |
442.36/442.61	c |    805274 |     700    14000    70000 |    71559    66488    105 |  0.000 % |
442.46/442.73	c |    805487 |     700    14000    70000 |    71559    66701    105 |  0.000 % |
442.56/442.89	c |    805720 |     700    14000    70000 |    71559    66934    105 |  0.000 % |
442.76/443.05	c |    805976 |     700    14000    70000 |    71559    67190    105 |  0.000 % |
442.97/443.22	c |    806258 |     700    14000    70000 |    71559    67472    105 |  0.000 % |
443.07/443.39	c |    806568 |     700    14000    70000 |    71559    67782    105 |  0.000 % |
443.36/443.60	c |    806907 |     700    14000    70000 |    71559    68121    105 |  0.000 % |
443.56/443.82	c |    807279 |     700    14000    70000 |    71559    68493    105 |  0.000 % |
443.76/444.07	c |    807689 |     700    14000    70000 |    71559    68903    105 |  0.000 % |
444.07/444.35	c |    808138 |     700    14000    70000 |    71559    69352    105 |  0.000 % |
444.36/444.63	c |    808631 |     700    14000    70000 |    71559    69845    105 |  0.000 % |
444.66/444.94	c |    809174 |     700    14000    70000 |    71559    70388    105 |  0.000 % |
444.96/445.28	c |    809770 |     700    14000    70000 |    71559    70984    105 |  0.000 % |
445.46/445.71	c |    810425 |     700    14000    70000 |    71214    61400    105 |  0.000 % |
445.86/446.10	c |    811145 |     700    14000    70000 |    71214    62120    105 |  0.000 % |
446.16/446.48	c |    811937 |     700    14000    70000 |    71214    62912    105 |  0.000 % |
446.66/446.91	c |    812809 |     700    14000    70000 |    71214    63784    105 |  0.000 % |
447.16/447.40	c |    813768 |     700    14000    70000 |    71214    64743    105 |  0.000 % |
447.66/447.93	c |    814822 |     700    14000    70000 |    71214    65797    105 |  0.000 % |
448.26/448.56	c |    815980 |     700    14000    70000 |    71214    66955    105 |  0.000 % |
448.96/449.20	c |    817255 |     700    14000    70000 |    71214    68230    105 |  0.000 % |
449.66/449.99	c |    818655 |     700    14000    70000 |    71214    69630    105 |  0.000 % |
450.56/450.87	c |    820195 |     700    14000    70000 |    70976    71170    105 |  0.000 % |
451.46/451.75	c |    821889 |     700    14000    70000 |    70976    64194    104 |  0.000 % |
452.46/452.74	c |    823755 |     700    14000    70000 |    70976    66060    104 |  0.000 % |
453.66/453.96	c |    825804 |     700    14000    70000 |    70976    68109    104 |  0.000 % |
454.96/455.26	c |    828057 |     700    14000    70000 |    70976    70362    104 |  0.000 % |
456.36/456.66	c |    830535 |     700    14000    70000 |    63467    56343    104 |  0.000 % |
457.66/457.95	c |    833263 |     700    14000    70000 |    63467    59071    104 |  0.000 % |
459.16/459.47	c |    836261 |     700    14000    70000 |    63467    62069    104 |  0.000 % |
460.85/461.12	c |    839557 |     700    14000    70000 |    63467    58998    104 |  0.000 % |
462.65/462.95	c |    843182 |     700    14000    70000 | 2147483647    62623    104 |  0.000 % |
464.96/465.22	c |    847169 |     700    14000    70000 | 2147483647    66610    104 |  0.000 % |
467.45/467.75	c |    851554 |     700    14000    70000 |    69441    63517    103 |  0.000 % |
470.25/470.51	c |    856378 |     700    14000    70000 |    69441    68341    104 |  0.000 % |
473.05/473.36	c |    861683 |     700    14000    70000 |    62854    56494    103 |  0.000 % |
476.05/476.32	c |    867518 |     700    14000    70000 |    62854    62329    104 |  0.000 % |
479.25/479.58	c |    873936 |     700    14000    70000 |    58175    56078    104 |  0.000 % |
482.95/483.26	c |    880996 |     700    14000    70000 | 2147483647    57294    106 |  0.000 % |
487.35/487.63	c |    888761 |     700    14000    70000 | 2147483647    65059    107 |  0.000 % |
487.35/487.69	c |    888863 |     700    14000    70000 | 2147483647    65161    107 |  0.000 % |
487.45/487.76	c |    888974 |     700    14000    70000 | 2147483647    65272    107 |  0.000 % |
487.55/487.84	c |    889095 |     700    14000    70000 | 2147483647    65393    107 |  0.000 % |
487.65/487.93	c |    889228 |     700    14000    70000 | 2147483647    65526    107 |  0.000 % |
487.75/488.02	c |    889374 |     700    14000    70000 | 2147483647    65672    107 |  0.000 % |
487.85/488.13	c |    889535 |     700    14000    70000 | 2147483647    65833    107 |  0.000 % |
487.95/488.26	c |    889711 |     700    14000    70000 | 2147483647    66009    107 |  0.000 % |
488.05/488.38	c |    889905 |     700    14000    70000 | 2147483647    66203    107 |  0.000 % |
488.25/488.52	c |    890120 |     700    14000    70000 |    66299    66418    107 |  0.000 % |
488.35/488.69	c |    890353 |     700    14000    70000 |    66299    59060    107 |  0.000 % |
488.55/488.81	c |    890611 |     700    14000    70000 |    66299    59318    107 |  0.000 % |
488.65/488.97	c |    890895 |     700    14000    70000 |    66299    59602    107 |  0.000 % |
488.85/489.13	c |    891204 |     700    14000    70000 |    66299    59911    107 |  0.000 % |
489.04/489.30	c |    891543 |     700    14000    70000 |    66299    60250    107 |  0.000 % |
489.25/489.52	c |    891918 |     700    14000    70000 |    66299    60625    107 |  0.000 % |
489.44/489.75	c |    892328 |     700    14000    70000 |    66299    61035    107 |  0.000 % |
489.74/490.03	c |    892777 |     700    14000    70000 |    66299    61484    107 |  0.000 % |
490.04/490.32	c |    893272 |     700    14000    70000 |    66299    61979    106 |  0.000 % |
490.35/490.61	c |    893814 |     700    14000    70000 |    66299    62521    106 |  0.000 % |
490.64/490.93	c |    894411 |     700    14000    70000 |    66299    63118    106 |  0.000 % |
490.94/491.27	c |    895066 |     700    14000    70000 |    66299    63773    106 |  0.000 % |
491.45/491.76	c |    895786 |     700    14000    70000 |    66299    64493    106 |  0.000 % |
491.94/492.24	c |    896578 |     700    14000    70000 |    66299    65285    106 |  0.000 % |
492.44/492.76	c |    897450 |     700    14000    70000 |    66299    66157    106 |  0.000 % |
493.04/493.33	c |    898408 |     700    14000    70000 |    66299    59344    106 |  0.000 % |
493.54/493.88	c |    899461 |     700    14000    70000 |    66299    60397    106 |  0.000 % |
494.24/494.51	c |    900621 |     700    14000    70000 |    60938    54612    107 |  0.000 % |
494.84/495.10	c |    901894 |     700    14000    70000 |    60938    55885    107 |  0.000 % |
495.44/495.78	c |    903294 |     700    14000    70000 |    60938    57285    107 |  0.000 % |
496.24/496.50	c |    904834 |     700    14000    70000 |    60938    58825    107 |  0.000 % |
497.04/497.31	c |    906530 |     700    14000    70000 |    60938    60521    106 |  0.000 % |
498.04/498.38	c |    908394 |     700    14000    70000 |    60938    56266    107 |  0.000 % |
499.04/499.39	c |    910443 |     700    14000    70000 | 2147483647    58315    107 |  0.000 % |
500.24/500.57	c |    912697 |     700    14000    70000 | 2147483647    60569    107 |  0.000 % |
501.54/501.82	c |    915177 |     700    14000    70000 | 2147483647    63049    107 |  0.000 % |
503.04/503.37	c |    917902 |     700    14000    70000 | 2147483647    65774    107 |  0.000 % |
504.74/505.03	c |    920900 |     700    14000    70000 | 2147483647    68772    107 |  0.000 % |
506.74/507.01	c |    924197 |     700    14000    70000 | 2147483647    72069    107 |  0.000 % |
509.04/509.39	c |    927822 |     700    14000    70000 | 2147483647    75694    107 |  0.000 % |
511.74/512.07	c |    931809 |     700    14000    70000 |    77874    68416    107 |  0.000 % |
514.54/514.81	c |    936194 |     700    14000    70000 |    77874    72801    107 |  0.000 % |
517.63/517.98	c |    941017 |     700    14000    70000 |    76607    65512    107 |  0.000 % |
520.73/521.00	c |    946325 |     700    14000    70000 |    76607    70820    107 |  0.000 % |
524.03/524.33	c |    952160 |     700    14000    70000 |    74495    65053    105 |  0.000 % |
527.64/527.99	c |    958580 |     700    14000    70000 |    74495    71473    105 |  0.000 % |
531.53/531.83	c |    965639 |     700    14000    70000 |    72894    67698    107 |  0.000 % |
535.63/535.94	c |    973406 |     700    14000    70000 |    72059    65289    108 |  0.000 % |
540.73/541.01	c |    981948 |     700    14000    70000 |    71883    63334    107 |  0.000 % |
540.73/541.08	c |    982049 |     700    14000    70000 |    71883    63435    107 |  0.000 % |
540.83/541.16	c |    982160 |     700    14000    70000 |    71883    63546    107 |  0.000 % |
540.93/541.23	c |    982282 |     700    14000    70000 |    71883    63668    107 |  0.000 % |
540.93/541.29	c |    982415 |     700    14000    70000 |    71883    63801    107 |  0.000 % |
541.03/541.38	c |    982562 |     700    14000    70000 |    71883    63948    107 |  0.000 % |
541.23/541.50	c |    982723 |     700    14000    70000 |    71883    64109    107 |  0.000 % |
541.33/541.61	c |    982899 |     700    14000    70000 |    71883    64285    107 |  0.000 % |
541.43/541.73	c |    983092 |     700    14000    70000 |    71883    64478    107 |  0.000 % |
541.53/541.86	c |    983305 |     700    14000    70000 |    71883    64691    107 |  0.000 % |
541.73/542.01	c |    983539 |     700    14000    70000 |    71883    64925    107 |  0.000 % |
541.83/542.19	c |    983796 |     700    14000    70000 |    71883    65182    107 |  0.000 % |
542.03/542.37	c |    984077 |     700    14000    70000 |    71883    65463    107 |  0.000 % |
542.23/542.57	c |    984386 |     700    14000    70000 |    71883    65772    107 |  0.000 % |
542.42/542.77	c |    984725 |     700    14000    70000 |    71883    66111    107 |  0.000 % |
542.62/542.99	c |    985097 |     700    14000    70000 |    71883    66483    107 |  0.000 % |
542.92/543.27	c |    985506 |     700    14000    70000 |    71883    66892    107 |  0.000 % |
543.22/543.55	c |    985955 |     700    14000    70000 |    71883    67341    107 |  0.000 % |
543.52/543.87	c |    986448 |     700    14000    70000 |    71883    67834    107 |  0.000 % |
543.82/544.19	c |    986991 |     700    14000    70000 |    71883    68377    107 |  0.000 % |
544.23/544.57	c |    987587 |     700    14000    70000 |    71883    68973    107 |  0.000 % |
544.72/545.00	c |    988242 |     700    14000    70000 |    71883    69628    107 |  0.000 % |
545.12/545.48	c |    988962 |     700    14000    70000 |    71883    70348    107 |  0.000 % |
545.72/546.00	c |    989754 |     700    14000    70000 |    71883    71140    106 |  0.000 % |
546.22/546.58	c |    990625 |     700    14000    70000 |    71387    61332    107 |  0.000 % |
546.82/547.17	c |    991584 |     700    14000    70000 |    71387    62291    107 |  0.000 % |
547.53/547.82	c |    992637 |     700    14000    70000 |    71387    63344    107 |  0.000 % |
548.12/548.48	c |    993795 |     700    14000    70000 |    71387    64502    107 |  0.000 % |
548.82/549.19	c |    995068 |     700    14000    70000 |    71387    65775    106 |  0.000 % |
549.73/550.01	c |    996470 |     700    14000    70000 |    71387    67177    106 |  0.000 % |
550.52/550.88	c |    998010 |     700    14000    70000 |    71387    68717    106 |  0.000 % |
551.62/551.99	c |    999704 |     700    14000    70000 |    71387    70411    106 |  0.000 % |
552.72/553.08	c |   1001569 |     700    14000    70000 |    70707    62073    106 |  0.000 % |
553.92/554.25	c |   1003620 |     700    14000    70000 |    70707    64124    106 |  0.000 % |
555.22/555.50	c |   1005873 |     700    14000    70000 |    70707    66377    106 |  0.000 % |
556.62/556.95	c |   1008351 |     700    14000    70000 |    70707    68855    106 |  0.000 % |
558.32/558.65	c |   1011076 |     700    14000    70000 |    70504    62501    106 |  0.000 % |
559.92/560.29	c |   1014073 |     700    14000    70000 |    70504    65498    106 |  0.000 % |
561.92/562.26	c |   1017369 |     700    14000    70000 |    70504    68794    106 |  0.000 % |
564.02/564.33	c |   1020994 |     700    14000    70000 |    62178    55223    105 |  0.000 % |
566.02/566.35	c |   1024982 |     700    14000    70000 |    62178    59211    105 |  0.000 % |
568.42/568.76	c |   1029367 |     700    14000    70000 |    62178    57357    104 |  0.000 % |
571.21/571.50	c |   1034190 |     700    14000    70000 | 2147483647    62180    105 |  0.000 % |
574.51/574.81	c |   1039495 |     700    14000    70000 | 2147483647    67485    105 |  0.000 % |
577.91/578.27	c |   1045330 |     700    14000    70000 |    67992    65061    105 |  0.000 % |
581.71/582.01	c |   1051748 |     700    14000    70000 |    60832    54994    106 |  0.000 % |
585.61/585.95	c |   1058808 |     700    14000    70000 |    60832    55947    106 |  0.000 % |
590.21/590.54	c |   1066572 |     700    14000    70000 | 2147483647    63711    106 |  0.000 % |
594.41/594.74	c |   1075114 |     700    14000    70000 |    67139    64191    107 |  0.000 % |
599.31/599.68	c |   1084508 |     700    14000    70000 |    60780    57969    109 |  0.000 % |
599.41/599.74	c |   1084609 |     700    14000    70000 |    60780    58070    109 |  0.000 % |
599.41/599.79	c |   1084719 |     700    14000    70000 |    60780    58180    109 |  0.000 % |
599.51/599.85	c |   1084840 |     700    14000    70000 |    60780    58301    109 |  0.000 % |
599.61/599.93	c |   1084973 |     700    14000    70000 |    60780    58434    109 |  0.000 % |
599.71/600.01	c |   1085119 |     700    14000    70000 |    60780    58580    109 |  0.000 % |
599.71/600.09	c |   1085281 |     700    14000    70000 |    60780    58742    109 |  0.000 % |
599.81/600.18	c |   1085458 |     700    14000    70000 |    60780    58919    109 |  0.000 % |
599.91/600.29	c |   1085652 |     700    14000    70000 |    60780    59113    109 |  0.000 % |
600.11/600.40	c |   1085865 |     700    14000    70000 |    60780    59326    109 |  0.000 % |
600.21/600.54	c |   1086100 |     700    14000    70000 |    60780    59561    109 |  0.000 % |
600.31/600.67	c |   1086356 |     700    14000    70000 |    60780    59817    108 |  0.000 % |
600.50/600.82	c |   1086637 |     700    14000    70000 |    60780    60098    108 |  0.000 % |
600.60/600.99	c |   1086948 |     700    14000    70000 |    60780    60409    108 |  0.000 % |
600.80/601.16	c |   1087287 |     700    14000    70000 |    60780    60748    108 |  0.000 % |
601.10/601.41	c |   1087659 |     700    14000    70000 |    60780    54657    108 |  0.000 % |
601.31/601.62	c |   1088068 |     700    14000    70000 |    60780    55066    108 |  0.000 % |
601.50/601.89	c |   1088517 |     700    14000    70000 |    60780    55515    108 |  0.000 % |
601.80/602.14	c |   1089010 |     700    14000    70000 |    60780    56008    108 |  0.000 % |
602.10/602.42	c |   1089552 |     700    14000    70000 |    60780    56550    108 |  0.000 % |
602.41/602.71	c |   1090149 |     700    14000    70000 |    56998    57147    107 |  0.000 % |
602.70/603.08	c |   1090804 |     700    14000    70000 |    56998    51988    107 |  0.000 % |
603.10/603.41	c |   1091524 |     700    14000    70000 |    56998    52708    107 |  0.000 % |
603.40/603.80	c |   1092316 |     700    14000    70000 |    56998    53500    107 |  0.000 % |
603.90/604.25	c |   1093187 |     700    14000    70000 |    56998    54371    107 |  0.000 % |
604.40/604.73	c |   1094145 |     700    14000    70000 |    56998    55329    107 |  0.000 % |
604.90/605.28	c |   1095199 |     700    14000    70000 |    56998    56383    107 |  0.000 % |
605.60/605.93	c |   1096359 |     700    14000    70000 |    56998    51821    107 |  0.000 % |
606.30/606.62	c |   1097634 |     700    14000    70000 |    56998    53096    106 |  0.000 % |
607.00/607.31	c |   1099040 |     700    14000    70000 |    56998    54502    106 |  0.000 % |
607.80/608.10	c |   1100580 |     700    14000    70000 | 2147483647    56042    106 |  0.000 % |
608.50/608.89	c |   1102274 |     700    14000    70000 | 2147483647    57736    106 |  0.000 % |
609.40/609.79	c |   1104137 |     700    14000    70000 | 2147483647    59599    106 |  0.000 % |
610.50/610.84	c |   1106187 |     700    14000    70000 | 2147483647    61649    106 |  0.000 % |
611.70/612.04	c |   1108441 |     700    14000    70000 | 2147483647    63903    106 |  0.000 % |
613.10/613.43	c |   1110919 |     700    14000    70000 | 2147483647    66381    105 |  0.000 % |
614.70/615.05	c |   1113646 |     700    14000    70000 | 2147483647    69108    105 |  0.000 % |
616.50/616.90	c |   1116644 |     700    14000    70000 | 2147483647    72106    105 |  0.000 % |
618.60/618.94	c |   1119942 |     700    14000    70000 | 2147483647    75404    105 |  0.000 % |
620.70/621.08	c |   1123567 |     700    14000    70000 |    75462    68618    106 |  0.000 % |
623.10/623.48	c |   1127554 |     700    14000    70000 |    75462    72605    106 |  0.000 % |
625.80/626.16	c |   1131939 |     700    14000    70000 |    75053    65322    106 |  0.000 % |
628.49/628.87	c |   1136762 |     700    14000    70000 |    75053    70145    106 |  0.000 % |
631.69/632.02	c |   1142068 |     700    14000    70000 |    73384    64494    105 |  0.000 % |
634.99/635.39	c |   1147903 |     700    14000    70000 |    73384    70329    105 |  0.000 % |
638.79/639.18	c |   1154321 |     700    14000    70000 |    72427    66643    105 |  0.000 % |
643.19/643.58	c |   1161381 |     700    14000    70000 |    72322    63932    106 |  0.000 % |
647.99/648.39	c |   1169146 |     700    14000    70000 |    72322    71697    106 |  0.000 % |
653.39/653.79	c |   1177686 |     700    14000    70000 |    72551    69762    108 |  0.000 % |
659.29/659.68	c |   1187081 |     700    14000    70000 |    72077    69069    109 |  0.000 % |
664.98/665.37	c |   1197417 |     700    14000    70000 |    71989    68872    109 |  0.000 % |
665.09/665.44	c |   1197517 |     700    14000    70000 |    71989    68972    109 |  0.000 % |
665.19/665.52	c |   1197628 |     700    14000    70000 |    71989    69083    109 |  0.000 % |
665.28/665.60	c |   1197750 |     700    14000    70000 |    71989    69205    109 |  0.000 % |
665.38/665.70	c |   1197883 |     700    14000    70000 |    71989    69338    108 |  0.000 % |
665.48/665.80	c |   1198029 |     700    14000    70000 |    71989    69484    108 |  0.000 % |
665.58/665.94	c |   1198190 |     700    14000    70000 |    71989    69645    108 |  0.000 % |
665.68/666.09	c |   1198366 |     700    14000    70000 |    71989    69821    108 |  0.000 % |
665.88/666.23	c |   1198561 |     700    14000    70000 |    71989    70016    108 |  0.000 % |
665.98/666.39	c |   1198773 |     700    14000    70000 |    71989    70228    108 |  0.000 % |
666.19/666.55	c |   1199009 |     700    14000    70000 |    71989    70464    108 |  0.000 % |
666.38/666.74	c |   1199265 |     700    14000    70000 |    71989    70720    108 |  0.000 % |
666.58/666.92	c |   1199546 |     700    14000    70000 |    71989    71001    108 |  0.000 % |
666.78/667.16	c |   1199855 |     700    14000    70000 |    71989    71310    108 |  0.000 % |
666.98/667.40	c |   1200194 |     700    14000    70000 |    71455    71649    108 |  0.000 % |
667.29/667.64	c |   1200567 |     700    14000    70000 |    71455    60924    108 |  0.000 % |
667.48/667.88	c |   1200976 |     700    14000    70000 |    71455    61333    108 |  0.000 % |
667.78/668.13	c |   1201428 |     700    14000    70000 |    71455    61785    108 |  0.000 % |
668.08/668.40	c |   1201922 |     700    14000    70000 |    71455    62279    108 |  0.000 % |
668.39/668.71	c |   1202465 |     700    14000    70000 |    71455    62822    108 |  0.000 % |
668.68/669.04	c |   1203061 |     700    14000    70000 |    71455    63418    108 |  0.000 % |
669.08/669.44	c |   1203716 |     700    14000    70000 |    71455    64073    108 |  0.000 % |
669.49/669.86	c |   1204436 |     700    14000    70000 |    71455    64793    108 |  0.000 % |
669.98/670.35	c |   1205229 |     700    14000    70000 |    71455    65586    108 |  0.000 % |
670.48/670.82	c |   1206102 |     700    14000    70000 |    71455    66459    108 |  0.000 % |
670.98/671.38	c |   1207060 |     700    14000    70000 |    71455    67417    108 |  0.000 % |
671.68/672.07	c |   1208116 |     700    14000    70000 |    71455    68473    108 |  0.000 % |
672.38/672.75	c |   1209275 |     700    14000    70000 |    71455    69632    108 |  0.000 % |
673.18/673.53	c |   1210553 |     700    14000    70000 |    70357    61154    107 |  0.000 % |
673.98/674.32	c |   1211953 |     700    14000    70000 |    70357    62554    107 |  0.000 % |
674.78/675.18	c |   1213494 |     700    14000    70000 |    70357    64095    107 |  0.000 % |
675.78/676.15	c |   1215188 |     700    14000    70000 |    70357    65789    107 |  0.000 % |
676.88/677.21	c |   1217051 |     700    14000    70000 |    70357    67652    107 |  0.000 % |
678.18/678.52	c |   1219100 |     700    14000    70000 |    70357    69701    107 |  0.000 % |
679.58/679.95	c |   1221353 |     700    14000    70000 |    70601    62243    106 |  0.000 % |
680.98/681.32	c |   1223832 |     700    14000    70000 |    70601    64722    106 |  0.000 % |
682.48/682.82	c |   1226557 |     700    14000    70000 |    70601    67447    106 |  0.000 % |
684.28/684.63	c |   1229555 |     700    14000    70000 |    70601    70445    106 |  0.000 % |
685.88/686.28	c |   1232851 |     700    14000    70000 |    61817    56978    104 |  0.000 % |
687.77/688.15	c |   1236476 |     700    14000    70000 |    61817    60603    104 |  0.000 % |
689.87/690.23	c |   1240467 |     700    14000    70000 | 2147483647    58390    104 |  0.000 % |
692.17/692.58	c |   1244853 |     700    14000    70000 | 2147483647    62776    104 |  0.000 % |
694.88/695.25	c |   1249676 |     700    14000    70000 | 2147483647    67599    104 |  0.000 % |
698.07/698.49	c |   1254982 |     700    14000    70000 | 2147483647    72905    105 |  0.000 % |
701.77/702.12	c |   1260819 |     700    14000    70000 |    77923    67454    104 |  0.000 % |
705.77/706.17	c |   1267238 |     700    14000    70000 |    77923    73873    104 |  0.000 % |
710.27/710.63	c |   1274297 |     700    14000    70000 |    76635    68815    105 |  0.000 % |
715.67/716.02	c |   1282062 |     700    14000    70000 |    74519    64767    106 |  0.000 % |
720.36/720.76	c |   1290603 |     700    14000    70000 |    72705    61000    108 |  0.000 % |
725.76/726.18	c |   1299997 |     700    14000    70000 |    72705    70394    109 |  0.000 % |
731.66/732.09	c |   1310331 |     700    14000    70000 |    69144    60066    109 |  0.000 % |
738.46/738.81	c |   1321698 |     700    14000    70000 |    60474    54058    109 |  0.000 % |
738.46/738.87	c |   1321799 |     700    14000    70000 |    60474    54159    109 |  0.000 % |
738.56/738.94	c |   1321910 |     700    14000    70000 |    60474    54270    109 |  0.000 % |
738.66/739.01	c |   1322033 |     700    14000    70000 |    60474    54393    109 |  0.000 % |
738.66/739.09	c |   1322166 |     700    14000    70000 |    60474    54526    109 |  0.000 % |
738.76/739.17	c |   1322313 |     700    14000    70000 |    60474    54673    109 |  0.000 % |
738.86/739.27	c |   1322473 |     700    14000    70000 |    60474    54833    109 |  0.000 % |
738.96/739.37	c |   1322649 |     700    14000    70000 |    60474    55009    109 |  0.000 % |
739.06/739.46	c |   1322844 |     700    14000    70000 |    60474    55204    109 |  0.000 % |
739.16/739.57	c |   1323056 |     700    14000    70000 |    60474    55416    109 |  0.000 % |
739.36/739.72	c |   1323289 |     700    14000    70000 |    60474    55649    109 |  0.000 % |
739.46/739.87	c |   1323547 |     700    14000    70000 |    60474    55907    109 |  0.000 % |
739.66/740.04	c |   1323828 |     700    14000    70000 |    60474    56188    109 |  0.000 % |
739.86/740.21	c |   1324138 |     700    14000    70000 |    60474    56498    109 |  0.000 % |
739.96/740.38	c |   1324477 |     700    14000    70000 |    60474    56837    109 |  0.000 % |
740.16/740.56	c |   1324851 |     700    14000    70000 |    60474    57211    109 |  0.000 % |
740.36/740.76	c |   1325260 |     700    14000    70000 |    60474    57620    108 |  0.000 % |
740.66/741.01	c |   1325710 |     700    14000    70000 |    60474    58070    108 |  0.000 % |
740.86/741.25	c |   1326203 |     700    14000    70000 |    60474    58563    108 |  0.000 % |
741.16/741.50	c |   1326746 |     700    14000    70000 |    60474    59106    108 |  0.000 % |
741.46/741.82	c |   1327343 |     700    14000    70000 |    60474    59703    108 |  0.000 % |
741.76/742.15	c |   1327998 |     700    14000    70000 |    60474    60358    108 |  0.000 % |
742.16/742.59	c |   1328718 |     700    14000    70000 |    60474    54997    108 |  0.000 % |
742.56/742.96	c |   1329510 |     700    14000    70000 |    60474    55789    108 |  0.000 % |
743.06/743.45	c |   1330382 |     700    14000    70000 | 2147483647    56661    107 |  0.000 % |
743.55/743.97	c |   1331340 |     700    14000    70000 | 2147483647    57619    107 |  0.000 % |
744.05/744.49	c |   1332393 |     700    14000    70000 | 2147483647    58672    107 |  0.000 % |
744.76/745.12	c |   1333551 |     700    14000    70000 | 2147483647    59830    107 |  0.000 % |
745.36/745.78	c |   1334825 |     700    14000    70000 | 2147483647    61104    107 |  0.000 % |
746.15/746.53	c |   1336225 |     700    14000    70000 | 2147483647    62504    107 |  0.000 % |
746.95/747.39	c |   1337765 |     700    14000    70000 | 2147483647    64044    107 |  0.000 % |
748.05/748.40	c |   1339460 |     700    14000    70000 | 2147483647    65739    107 |  0.000 % |
749.05/749.45	c |   1341325 |     700    14000    70000 |    66281    60705    107 |  0.000 % |
750.15/750.58	c |   1343374 |     700    14000    70000 |    66281    62754    107 |  0.000 % |
751.45/751.81	c |   1345627 |     700    14000    70000 |    66281    65007    107 |  0.000 % |
752.95/753.34	c |   1348105 |     700    14000    70000 |    66281    60373    106 |  0.000 % |
754.35/754.78	c |   1350831 |     700    14000    70000 |    62268    56556    105 |  0.000 % |
755.85/756.27	c |   1353829 |     700    14000    70000 |    62268    59554    105 |  0.000 % |
757.65/758.09	c |   1357126 |     700    14000    70000 |    62268    56598    105 |  0.000 % |
759.55/759.93	c |   1360753 |     700    14000    70000 | 2147483647    60225    105 |  0.000 % |
761.65/762.05	c |   1364740 |     700    14000    70000 | 2147483647    64212    105 |  0.000 % |
764.05/764.50	c |   1369125 |     700    14000    70000 | 2147483647    68597    105 |  0.000 % |
767.05/767.41	c |   1373949 |     700    14000    70000 | 2147483647    73421    106 |  0.000 % |
770.45/770.87	c |   1379254 |     700    14000    70000 | 2147483647    78726    105 |  0.000 % |
774.34/774.71	c |   1385089 |     700    14000    70000 |    79472    72238    105 |  0.000 % |
778.04/778.42	c |   1391508 |     700    14000    70000 |    77151    65686    106 |  0.000 % |
781.75/782.12	c |   1398568 |     700    14000    70000 |    77151    72746    106 |  0.000 % |
786.14/786.54	c |   1406335 |     700    14000    70000 |    74178    69518    107 |  0.000 % |
790.94/791.38	c |   1414875 |     700    14000    70000 |    73183    67365    108 |  0.000 % |
797.04/797.42	c |   1424271 |     700    14000    70000 |    72490    66101    108 |  0.000 % |
803.74/804.12	c |   1434604 |     700    14000    70000 |    71833    65643    109 |  0.000 % |
811.23/811.63	c |   1445971 |     700    14000    70000 |    71041    66632    111 |  0.000 % |
820.13/820.52	c |   1458473 |     700    14000    70000 |    70662    68693    111 |  0.000 % |
820.13/820.60	c |   1458574 |     700    14000    70000 |    70662    68794    111 |  0.000 % |
820.23/820.68	c |   1458685 |     700    14000    70000 |    70662    68905    111 |  0.000 % |
820.33/820.76	c |   1458806 |     700    14000    70000 |    70662    69026    111 |  0.000 % |
820.43/820.84	c |   1458939 |     700    14000    70000 |    70662    69159    111 |  0.000 % |
820.53/820.94	c |   1459085 |     700    14000    70000 |    70662    69305    111 |  0.000 % |
820.63/821.07	c |   1459245 |     700    14000    70000 |    70662    69465    111 |  0.000 % |
820.73/821.17	c |   1459421 |     700    14000    70000 |    70662    69641    111 |  0.000 % |
820.93/821.32	c |   1459614 |     700    14000    70000 |    70662    69834    111 |  0.000 % |
821.03/821.47	c |   1459827 |     700    14000    70000 |    70662    70047    111 |  0.000 % |
821.23/821.61	c |   1460060 |     700    14000    70000 |    70222    70280    111 |  0.000 % |
821.43/821.84	c |   1460316 |     700    14000    70000 |    70222    59789    111 |  0.000 % |
821.63/822.02	c |   1460598 |     700    14000    70000 |    70222    60071    111 |  0.000 % |
821.83/822.24	c |   1460907 |     700    14000    70000 |    70222    60380    111 |  0.000 % |
822.03/822.44	c |   1461247 |     700    14000    70000 |    70222    60720    111 |  0.000 % |
822.23/822.66	c |   1461621 |     700    14000    70000 |    70222    61094    111 |  0.000 % |
822.53/822.90	c |   1462030 |     700    14000    70000 |    70222    61503    111 |  0.000 % |
822.73/823.17	c |   1462479 |     700    14000    70000 |    70222    61952    111 |  0.000 % |
823.03/823.43	c |   1462973 |     700    14000    70000 |    70222    62446    110 |  0.000 % |
823.33/823.76	c |   1463515 |     700    14000    70000 |    70222    62988    110 |  0.000 % |
823.73/824.12	c |   1464112 |     700    14000    70000 |    70222    63585    110 |  0.000 % |
824.02/824.49	c |   1464767 |     700    14000    70000 |    70222    64240    110 |  0.000 % |
824.53/824.93	c |   1465487 |     700    14000    70000 |    70222    64960    110 |  0.000 % |
824.92/825.39	c |   1466280 |     700    14000    70000 |    70222    65753    110 |  0.000 % |
825.42/825.86	c |   1467153 |     700    14000    70000 |    70222    66626    110 |  0.000 % |
825.92/826.37	c |   1468111 |     700    14000    70000 |    70222    67584    110 |  0.000 % |
826.52/826.97	c |   1469165 |     700    14000    70000 |    70222    68638    110 |  0.000 % |
827.22/827.62	c |   1470323 |     700    14000    70000 |    69473    60481    109 |  0.000 % |
827.83/828.21	c |   1471596 |     700    14000    70000 |    69473    61754    109 |  0.000 % |
828.52/828.94	c |   1472996 |     700    14000    70000 |    69473    63154    109 |  0.000 % |
829.32/829.77	c |   1474538 |     700    14000    70000 |    69473    64696    109 |  0.000 % |
830.32/830.75	c |   1476235 |     700    14000    70000 |    69473    66393    109 |  0.000 % |
831.32/831.78	c |   1478098 |     700    14000    70000 |    69473    68256    109 |  0.000 % |
832.62/833.02	c |   1480147 |     700    14000    70000 |    61289    61434    108 |  0.000 % |
833.72/834.11	c |   1482401 |     700    14000    70000 |    61289    56014    109 |  0.000 % |
834.92/835.32	c |   1484885 |     700    14000    70000 |    61289    58498    108 |  0.000 % |
836.32/836.78	c |   1487612 |     700    14000    70000 |    61289    61225    108 |  0.000 % |
837.82/838.24	c |   1490609 |     700    14000    70000 | 2147483647    58070    107 |  0.000 % |
839.52/839.99	c |   1493906 |     700    14000    70000 | 2147483647    61367    107 |  0.000 % |
841.42/841.88	c |   1497533 |     700    14000    70000 | 2147483647    64994    107 |  0.000 % |
843.62/844.09	c |   1501520 |     700    14000    70000 | 2147483647    68981    107 |  0.000 % |
846.32/846.70	c |   1505905 |     700    14000    70000 | 2147483647    73366    107 |  0.000 % |
849.22/849.70	c |   1510728 |     700    14000    70000 |    77462    66174    106 |  0.000 % |
852.41/852.84	c |   1516033 |     700    14000    70000 |    77462    71479    106 |  0.000 % |
856.01/856.43	c |   1521869 |     700    14000    70000 |    75446    65860    105 |  0.000 % |
859.72/860.18	c |   1528288 |     700    14000    70000 |    75446    72279    105 |  0.000 % |
863.91/864.38	c |   1535348 |     700    14000    70000 |    73992    67938    106 |  0.000 % |
868.61/869.01	c |   1543113 |     700    14000    70000 |    72591    64837    108 |  0.000 % |
873.72/874.13	c |   1551653 |     700    14000    70000 |    71724    63061    110 |  0.000 % |
879.62/880.03	c |   1561047 |     700    14000    70000 |    71408    62067    110 |  0.000 % |
885.31/885.79	c |   1571381 |     700    14000    70000 |    71020    61831    111 |  0.000 % |
891.91/892.39	c |   1582749 |     700    14000    70000 |    70451    63123    112 |  0.000 % |
899.42/899.86	c |   1595253 |     700    14000    70000 |    70376    66164    113 |  0.000 % |
907.21/907.66	c |   1609005 |     700    14000    70000 |    61465    56239    110 |  0.000 % |
907.31/907.73	c |   1609106 |     700    14000    70000 |    61465    56340    110 |  0.000 % |
907.31/907.79	c |   1609216 |     700    14000    70000 |    61465    56450    110 |  0.000 % |
907.41/907.85	c |   1609337 |     700    14000    70000 |    61465    56571    110 |  0.000 % |
907.51/907.92	c |   1609470 |     700    14000    70000 |    61465    56704    110 |  0.000 % |
907.61/908.00	c |   1609617 |     700    14000    70000 |    61465    56851    110 |  0.000 % |
907.61/908.09	c |   1609777 |     700    14000    70000 |    61465    57011    110 |  0.000 % |
907.71/908.19	c |   1609954 |     700    14000    70000 |    61465    57188    110 |  0.000 % |
907.81/908.28	c |   1610148 |     700    14000    70000 | 2147483647    57382    110 |  0.000 % |
908.01/908.40	c |   1610360 |     700    14000    70000 | 2147483647    57594    110 |  0.000 % |
908.11/908.52	c |   1610595 |     700    14000    70000 | 2147483647    57829    110 |  0.000 % |
908.21/908.67	c |   1610851 |     700    14000    70000 | 2147483647    58085    110 |  0.000 % |
908.41/908.83	c |   1611133 |     700    14000    70000 | 2147483647    58367    110 |  0.000 % |
908.61/909.00	c |   1611445 |     700    14000    70000 | 2147483647    58679    110 |  0.000 % |
908.71/909.19	c |   1611786 |     700    14000    70000 | 2147483647    59020    110 |  0.000 % |
909.01/909.40	c |   1612158 |     700    14000    70000 | 2147483647    59392    110 |  0.000 % |
909.21/909.61	c |   1612567 |     700    14000    70000 | 2147483647    59801    110 |  0.000 % |
909.41/909.88	c |   1613017 |     700    14000    70000 | 2147483647    60251    110 |  0.000 % |
909.71/910.16	c |   1613510 |     700    14000    70000 | 2147483647    60744    109 |  0.000 % |
910.11/910.53	c |   1614052 |     700    14000    70000 | 2147483647    61286    109 |  0.000 % |
910.51/910.90	c |   1614649 |     700    14000    70000 | 2147483647    61883    109 |  0.000 % |
910.90/911.31	c |   1615304 |     700    14000    70000 | 2147483647    62538    109 |  0.000 % |
911.30/911.75	c |   1616024 |     700    14000    70000 | 2147483647    63258    109 |  0.000 % |
911.90/912.30	c |   1616816 |     700    14000    70000 | 2147483647    64050    109 |  0.000 % |
912.40/912.89	c |   1617687 |     700    14000    70000 | 2147483647    64921    109 |  0.000 % |
913.00/913.47	c |   1618645 |     700    14000    70000 | 2147483647    65879    109 |  0.000 % |
913.71/914.16	c |   1619699 |     700    14000    70000 | 2147483647    66933    109 |  0.000 % |
914.50/914.91	c |   1620857 |     700    14000    70000 |    67236    59755    108 |  0.000 % |
915.20/915.63	c |   1622130 |     700    14000    70000 |    67236    61028    108 |  0.000 % |
915.91/916.40	c |   1623531 |     700    14000    70000 |    67236    62429    108 |  0.000 % |
916.90/917.31	c |   1625073 |     700    14000    70000 |    67236    63971    108 |  0.000 % |
917.80/918.29	c |   1626767 |     700    14000    70000 |    67236    65665    108 |  0.000 % |
919.00/919.42	c |   1628630 |     700    14000    70000 |    67236    59613    107 |  0.000 % |
920.00/920.48	c |   1630682 |     700    14000    70000 |    60984    54887    106 |  0.000 % |
921.10/921.51	c |   1632935 |     700    14000    70000 |    60984    57140    106 |  0.000 % |
922.40/922.85	c |   1635413 |     700    14000    70000 |    60984    59618    106 |  0.000 % |
923.90/924.32	c |   1638142 |     700    14000    70000 |    60984    56225    105 |  0.000 % |
925.40/925.87	c |   1641139 |     700    14000    70000 | 2147483647    59222    106 |  0.000 % |
927.00/927.50	c |   1644437 |     700    14000    70000 | 2147483647    62520    105 |  0.000 % |
929.00/929.48	c |   1648062 |     700    14000    70000 | 2147483647    66145    105 |  0.000 % |
931.30/931.78	c |   1652052 |     700    14000    70000 | 2147483647    70135    105 |  0.000 % |
933.90/934.31	c |   1656437 |     700    14000    70000 | 2147483647    74520    106 |  0.000 % |
936.99/937.40	c |   1661261 |     700    14000    70000 |    78084    67551    105 |  0.000 % |
940.10/940.56	c |   1666568 |     700    14000    70000 |    78084    72858    105 |  0.000 % |
943.59/944.02	c |   1672404 |     700    14000    70000 |    76292    66900    105 |  0.000 % |
947.59/948.01	c |   1678823 |     700    14000    70000 |    76292    73319    105 |  0.000 % |
951.99/952.43	c |   1685882 |     700    14000    70000 |    74496    68979    107 |  0.000 % |
956.69/957.18	c |   1693647 |     700    14000    70000 |    73097    65713    109 |  0.000 % |
961.79/962.25	c |   1702187 |     700    14000    70000 |    72068    64538    109 |  0.000 % |
967.49/967.91	c |   1711581 |     700    14000    70000 |    62312    55260    110 |  0.000 % |
972.69/973.16	c |   1721914 |     700    14000    70000 |    56550    52081    110 |  0.000 % |
978.49/978.93	c |   1733282 |     700    14000    70000 | 2147483647    57772    109 |  0.000 % |
985.78/986.27	c |   1745786 |     700    14000    70000 | 2147483647    70276    109 |  0.000 % |
994.98/995.46	c |   1759539 |     700    14000    70000 |    74492    73343    109 |  0.000 % |
1003.38/1003.80	c |   1774666 |     700    14000    70000 |    72093    65990    110 |  0.000 % |
1003.38/1003.86	c |   1774767 |     700    14000    70000 |    72093    66091    110 |  0.000 % |
1003.48/1003.93	c |   1774877 |     700    14000    70000 |    72093    66201    110 |  0.000 % |
1003.58/1004.00	c |   1774998 |     700    14000    70000 |    72093    66322    109 |  0.000 % |
1003.68/1004.10	c |   1775133 |     700    14000    70000 |    72093    66457    109 |  0.000 % |
1003.68/1004.18	c |   1775281 |     700    14000    70000 |    72093    66605    109 |  0.000 % |
1003.78/1004.28	c |   1775441 |     700    14000    70000 |    72093    66765    109 |  0.000 % |
1003.97/1004.40	c |   1775618 |     700    14000    70000 |    72093    66942    109 |  0.000 % |
1004.07/1004.51	c |   1775812 |     700    14000    70000 |    72093    67136    109 |  0.000 % |
1004.17/1004.62	c |   1776025 |     700    14000    70000 |    72093    67349    109 |  0.000 % |
1004.37/1004.81	c |   1776259 |     700    14000    70000 |    72093    67583    109 |  0.000 % |
1004.57/1005.01	c |   1776516 |     700    14000    70000 |    72093    67840    109 |  0.000 % |
1004.67/1005.19	c |   1776798 |     700    14000    70000 |    72093    68122    109 |  0.000 % |
1004.88/1005.38	c |   1777109 |     700    14000    70000 |    72093    68433    109 |  0.000 % |
1005.07/1005.59	c |   1777450 |     700    14000    70000 |    72093    68774    109 |  0.000 % |
1005.37/1005.84	c |   1777824 |     700    14000    70000 |    72093    69148    109 |  0.000 % |
1005.67/1006.11	c |   1778234 |     700    14000    70000 |    72093    69558    109 |  0.000 % |
1005.98/1006.41	c |   1778684 |     700    14000    70000 |    72093    70008    109 |  0.000 % |
1006.27/1006.72	c |   1779177 |     700    14000    70000 |    72093    70501    109 |  0.000 % |
1006.57/1007.03	c |   1779720 |     700    14000    70000 |    72093    71044    109 |  0.000 % |
1006.97/1007.44	c |   1780316 |     700    14000    70000 |    71327    61257    109 |  0.000 % |
1007.27/1007.77	c |   1780972 |     700    14000    70000 |    71327    61913    108 |  0.000 % |
1007.67/1008.13	c |   1781693 |     700    14000    70000 |    71327    62634    108 |  0.000 % |
1008.07/1008.54	c |   1782486 |     700    14000    70000 |    71327    63427    108 |  0.000 % |
1008.57/1009.02	c |   1783358 |     700    14000    70000 |    71327    64299    108 |  0.000 % |
1009.07/1009.52	c |   1784319 |     700    14000    70000 |    71327    65260    108 |  0.000 % |
1009.57/1010.06	c |   1785374 |     700    14000    70000 |    71327    66315    108 |  0.000 % |
1010.27/1010.70	c |   1786532 |     700    14000    70000 |    71327    67473    108 |  0.000 % |
1010.97/1011.45	c |   1787805 |     700    14000    70000 |    71327    68746    108 |  0.000 % |
1011.87/1012.31	c |   1789205 |     700    14000    70000 |    71327    70146    108 |  0.000 % |
1012.87/1013.35	c |   1790745 |     700    14000    70000 |    70943    62453    108 |  0.000 % |
1013.87/1014.33	c |   1792440 |     700    14000    70000 |    70943    64148    107 |  0.000 % |
1014.97/1015.40	c |   1794303 |     700    14000    70000 |    70943    66011    107 |  0.000 % |
1016.07/1016.53	c |   1796353 |     700    14000    70000 |    70943    68061    107 |  0.000 % |
1017.37/1017.83	c |   1798607 |     700    14000    70000 |    70943    70315    107 |  0.000 % |
1018.67/1019.18	c |   1801085 |     700    14000    70000 |    62541    55752    107 |  0.000 % |
1020.07/1020.54	c |   1803811 |     700    14000    70000 |    62541    58478    106 |  0.000 % |
1021.57/1022.08	c |   1806808 |     700    14000    70000 |    62541    61475    106 |  0.000 % |
1023.37/1023.88	c |   1810105 |     700    14000    70000 | 2147483647    58302    106 |  0.000 % |
1025.37/1025.84	c |   1813730 |     700    14000    70000 | 2147483647    61927    105 |  0.000 % |
1027.47/1027.98	c |   1817718 |     700    14000    70000 | 2147483647    65915    106 |  0.000 % |
1029.96/1030.45	c |   1822103 |     700    14000    70000 |    68197    62568    106 |  0.000 % |
1032.56/1033.09	c |   1826927 |     700    14000    70000 |    68197    67392    105 |  0.000 % |
1035.56/1036.08	c |   1832232 |     700    14000    70000 |    62398    57624    104 |  0.000 % |
1038.76/1039.21	c |   1838067 |     700    14000    70000 |    62398    57193    104 |  0.000 % |
1041.96/1042.46	c |   1844485 |     700    14000    70000 | 2147483647    63611    105 |  0.000 % |
1046.16/1046.62	c |   1851546 |     700    14000    70000 |    69127    61963    106 |  0.000 % |
1050.56/1051.01	c |   1859311 |     700    14000    70000 |    69127    60856    107 |  0.000 % |
1054.75/1055.23	c |   1867852 |     700    14000    70000 |    61545    61777    107 |  0.000 % |
1059.86/1060.33	c |   1877248 |     700    14000    70000 | 2147483647    64996    108 |  0.000 % |
1066.25/1066.70	c |   1887581 |     700    14000    70000 |    67750    66994    109 |  0.000 % |
1071.85/1072.40	c |   1898949 |     700    14000    70000 |    60345    55636    109 |  0.000 % |
1079.05/1079.55	c |   1911453 |     700    14000    70000 |    66689    60110    109 |  0.000 % |
1087.15/1087.62	c |   1925207 |     700    14000    70000 |    60668    58619    108 |  0.000 % |
1095.64/1096.12	c |   1940335 |     700    14000    70000 | 2147483647    55242    107 |  0.000 % |
1106.34/1106.87	c |   1956976 |     700    14000    70000 |    64909    63172    108 |  0.000 % |
1106.44/1106.95	c |   1957078 |     700    14000    70000 |    64909    63274    108 |  0.000 % |
1106.54/1107.02	c |   1957188 |     700    14000    70000 |    64909    63384    108 |  0.000 % |
1106.54/1107.10	c |   1957309 |     700    14000    70000 |    64909    63505    108 |  0.000 % |
1106.64/1107.19	c |   1957442 |     700    14000    70000 |    64909    63638    108 |  0.000 % |
1106.74/1107.28	c |   1957589 |     700    14000    70000 |    64909    63785    108 |  0.000 % |
1106.94/1107.40	c |   1957751 |     700    14000    70000 |    64909    63947    108 |  0.000 % |
1107.04/1107.52	c |   1957930 |     700    14000    70000 |    64909    64126    108 |  0.000 % |
1107.14/1107.65	c |   1958124 |     700    14000    70000 |    64909    64320    108 |  0.000 % |
1107.24/1107.77	c |   1958336 |     700    14000    70000 |    64909    64532    108 |  0.000 % |
1107.44/1107.92	c |   1958570 |     700    14000    70000 |    64909    64766    108 |  0.000 % |
1107.64/1108.10	c |   1958826 |     700    14000    70000 |    64909    65022    108 |  0.000 % |
1107.84/1108.30	c |   1959108 |     700    14000    70000 |    64909    55215    108 |  0.000 % |
1107.94/1108.46	c |   1959417 |     700    14000    70000 |    64909    55524    108 |  0.000 % |
1108.14/1108.63	c |   1959756 |     700    14000    70000 |    64909    55863    108 |  0.000 % |
1108.34/1108.82	c |   1960129 |     700    14000    70000 |    56107    56236    108 |  0.000 % |
1108.54/1109.05	c |   1960540 |     700    14000    70000 |    56107    48436    108 |  0.000 % |
1108.74/1109.27	c |   1960992 |     700    14000    70000 |    56107    48888    108 |  0.000 % |
1109.04/1109.50	c |   1961485 |     700    14000    70000 |    56107    49381    108 |  0.000 % |
1109.24/1109.75	c |   1962027 |     700    14000    70000 |    56107    49923    108 |  0.000 % |
1109.64/1110.12	c |   1962625 |     700    14000    70000 |    56107    50521    108 |  0.000 % |
1109.94/1110.44	c |   1963282 |     700    14000    70000 |    56107    51178    108 |  0.000 % |
1110.24/1110.76	c |   1964002 |     700    14000    70000 |    56107    51898    108 |  0.000 % |
1110.64/1111.12	c |   1964794 |     700    14000    70000 |    56107    52690    108 |  0.000 % |
1111.04/1111.52	c |   1965665 |     700    14000    70000 |    56107    53561    108 |  0.000 % |
1111.44/1111.97	c |   1966623 |     700    14000    70000 |    56107    54519    108 |  0.000 % |
1111.93/1112.43	c |   1967678 |     700    14000    70000 |    56107    55574    108 |  0.000 % |
1112.44/1112.96	c |   1968837 |     700    14000    70000 |    56107    51098    108 |  0.000 % |
1113.03/1113.51	c |   1970111 |     700    14000    70000 | 2147483647    52372    108 |  0.000 % |
1113.63/1114.17	c |   1971511 |     700    14000    70000 | 2147483647    53772    108 |  0.000 % |
1114.43/1114.90	c |   1973052 |     700    14000    70000 | 2147483647    55313    107 |  0.000 % |
1115.23/1115.78	c |   1974746 |     700    14000    70000 | 2147483647    57007    107 |  0.000 % |
1116.23/1116.76	c |   1976610 |     700    14000    70000 | 2147483647    58871    107 |  0.000 % |
1117.23/1117.75	c |   1978661 |     700    14000    70000 | 2147483647    60922    107 |  0.000 % |
1118.43/1118.98	c |   1980916 |     700    14000    70000 | 2147483647    63177    107 |  0.000 % |
1119.83/1120.37	c |   1983396 |     700    14000    70000 | 2147483647    65657    107 |  0.000 % |
1121.44/1121.96	c |   1986121 |     700    14000    70000 | 2147483647    68382    107 |  0.000 % |
1123.23/1123.71	c |   1989118 |     700    14000    70000 | 2147483647    71379    107 |  0.000 % |
1125.23/1125.75	c |   1992415 |     700    14000    70000 |    72261    65999    107 |  0.000 % |
1127.23/1127.75	c |   1996041 |     700    14000    70000 |    72261    69625    107 |  0.000 % |
1129.43/1129.99	c |   2000029 |     700    14000    70000 |    64200    64227    106 |  0.000 % |
1131.73/1132.27	c |   2004416 |     700    14000    70000 |    64200    60330    106 |  0.000 % |
1134.23/1134.76	c |   2009239 |     700    14000    70000 |    64200    58624    105 |  0.000 % |
1136.93/1137.50	c |   2014547 |     700    14000    70000 | 2147483647    63932    106 |  0.000 % |
1140.33/1140.83	c |   2020382 |     700    14000    70000 |    69386    61884    106 |  0.000 % |
1143.93/1144.45	c |   2026800 |     700    14000    70000 |    69386    68302    106 |  0.000 % |
1148.02/1148.58	c |   2033862 |     700    14000    70000 |    63253    59673    107 |  0.000 % |
1152.33/1152.83	c |   2041629 |     700    14000    70000 |    59278    54925    108 |  0.000 % |
1156.92/1157.48	c |   2050171 |     700    14000    70000 | 2147483647    57516    109 |  0.000 % |
1162.22/1162.74	c |   2059565 |     700    14000    70000 | 2147483647    66910    108 |  0.000 % |
1167.92/1168.47	c |   2069898 |     700    14000    70000 |    67347    62011    108 |  0.000 % |
1173.92/1174.44	c |   2081265 |     700    14000    70000 |    57905    53021    109 |  0.000 % |
1180.42/1180.95	c |   2093768 |     700    14000    70000 | 2147483647    59711    109 |  0.000 % |
1189.41/1189.94	c |   2107521 |     700    14000    70000 |    65944    65463    110 |  0.000 % |
1197.01/1197.50	c |   2122650 |     700    14000    70000 |    55194    52185    110 |  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-1832529-1242781553/watcher-1832529-1242781553 -o /tmp/evaluation-result-1832529-1242781553/solver-1832529-1242781553 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832529-1242781553.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.99 0.98 0.99 3/65 27057
/proc/meminfo: memFree=1813200/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306185391 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 265674260562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/27057/statm: 1339 235 195 169 0 50 0
[pid=27058] ppid=27057 vsize=5356 CPUtime=0
/proc/27058/stat : 27058 (SatELiteGTI) S 27057 27057 26944 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306185392 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/27058/statm: 1339 238 198 169 0 50 0
[pid=27060] ppid=27058 vsize=5356 CPUtime=0
/proc/27060/stat : 27060 (SatELiteGTI) R 27058 27057 26944 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306185392 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674091815 0 0 4096 0 0 0 0 17 1 0 0
/proc/27060/statm: 1339 239 199 169 0 50 0

[startup+0.0594081 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 27057
/proc/meminfo: memFree=1813200/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5356

[startup+0.102407 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 27057
/proc/meminfo: memFree=1813200/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5356

[startup+0.301428 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 27057
/proc/meminfo: memFree=1813200/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5356

[startup+0.701473 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 27057
/proc/meminfo: memFree=1813200/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5356

[startup+1.50256 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1809344/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=6164 CPUtime=1.44
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 1253 0 0 0 144 0 0 0 25 0 1 0 306185396 6311936 1239 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 1541 1239 77 171 0 1368 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11520

[startup+3.10174 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1806016/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=10412 CPUtime=3.04
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 2303 0 0 0 303 1 0 0 25 0 1 0 306185396 10661888 2289 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 2603 2289 77 171 0 2430 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15768

[startup+6.3011 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1799360/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=15724 CPUtime=6.23
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 3630 0 0 0 621 2 0 0 25 0 1 0 306185396 16101376 3616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 3931 3616 77 171 0 3758 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21080

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1791368/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=22932 CPUtime=12.62
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 5450 0 0 0 1258 4 0 0 25 0 1 0 306185396 23482368 5436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 5733 5436 77 171 0 5560 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 28288

[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1780808/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=33084 CPUtime=25.42
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 7964 0 0 0 2535 7 0 0 25 0 1 0 306185396 33878016 7950 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 8271 7950 77 171 0 8098 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 38440

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1779336/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=34272 CPUtime=51.01
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 8283 0 0 0 5093 8 0 0 25 0 1 0 306185396 35094528 8269 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 8568 8269 77 171 0 8395 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 39628

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1779080/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=34404 CPUtime=102.18
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 8316 0 0 0 10210 8 0 0 25 0 1 0 306185396 35229696 8302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 8601 8302 77 171 0 8428 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 39760

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1778952/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=34404 CPUtime=162.15
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 8316 0 0 0 16206 9 0 0 25 0 1 0 306185396 35229696 8302 1992294400 134512640 135215339 4294956240 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 8601 8302 77 171 0 8428 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 39760

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1775112/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=38232 CPUtime=222.12
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 9270 0 0 0 22201 11 0 0 25 0 1 0 306185396 39149568 9256 1992294400 134512640 135215339 4294956240 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 9558 9256 77 171 0 9385 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 43588

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1774536/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=38628 CPUtime=282.1
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 9366 0 0 0 28199 11 0 0 25 0 1 0 306185396 39555072 9352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 9657 9352 77 171 0 9484 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 43984

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1774408/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=38628 CPUtime=342.08
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 9366 0 0 0 34196 12 0 0 25 0 1 0 306185396 39555072 9352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 9657 9352 77 171 0 9484 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 43984

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1774344/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=38628 CPUtime=402.06

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

/proc/27063/statm: 10214 9895 77 171 0 10041 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 46212

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1771784/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=40852 CPUtime=641.98
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 9909 0 0 0 64185 13 0 0 25 0 1 0 306185396 41832448 9895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10213 9895 77 171 0 10040 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 46208

[startup+702.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1771528/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=40984 CPUtime=701.95
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 9943 0 0 0 70182 13 0 0 25 0 1 0 306185396 41967616 9929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10246 9929 77 171 0 10073 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 46340

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1771400/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=40984 CPUtime=761.93
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 9943 0 0 0 76180 13 0 0 25 0 1 0 306185396 41967616 9929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10246 9929 77 171 0 10073 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 46340

[startup+822.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1770312/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=821.91
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10205 0 0 0 82178 13 0 0 25 0 1 0 306185396 43048960 10191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10191 77 171 0 10337 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 47396

[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1770312/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=881.9
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10205 0 0 0 88176 14 0 0 25 0 1 0 306185396 43048960 10191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10191 77 171 0 10337 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 47396

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1770056/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=941.87
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10232 0 0 0 94173 14 0 0 25 0 1 0 306185396 43048960 10218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10218 77 171 0 10337 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 47396

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1769992/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=1001.86
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10232 0 0 0 100172 14 0 0 25 0 1 0 306185396 43048960 10218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10218 77 171 0 10337 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 47396

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1769864/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=1061.83
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10232 0 0 0 106169 14 0 0 25 0 1 0 306185396 43048960 10218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10218 77 171 0 10337 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 47396

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1769864/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=1121.81
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10232 0 0 0 112167 14 0 0 25 0 1 0 306185396 43048960 10218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10218 77 171 0 10337 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 47396

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1769736/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=1181.8
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10232 0 0 0 118166 14 0 0 25 0 1 0 306185396 43048960 10218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10218 77 171 0 10337 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 47396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1769736/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=1199.99
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10232 0 0 0 119985 14 0 0 25 0 1 0 306185396 43048960 10218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10218 77 171 0 10337 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 47396

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 27063
/proc/meminfo: memFree=1769736/2055920 swapFree=4179980/4192956
[pid=27057] ppid=27055 vsize=5356 CPUtime=0.02
/proc/27057/stat : 27057 (SatELiteGTI) S 27055 27057 26944 0 -1 4194304 336 651 0 0 0 0 2 0 18 0 1 0 306185391 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27057/statm: 1339 239 197 169 0 50 0
[pid=27063] ppid=27057 vsize=42040 CPUtime=1199.99
/proc/27063/stat : 27063 (minisat_static) R 27057 27057 26944 0 -1 4194304 10232 0 0 0 119985 14 0 0 25 0 1 0 306185396 43048960 10218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27063/statm: 10510 10218 77 171 0 10337 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 47396

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.01
CPU user time (s): 1199.87
CPU system time (s): 0.14
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 47396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987
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= 12
involuntary context switches= 5

runsolver used 1.07584 second user time and 3.44448 second system time

The end

Launcher Data

Begin job on node76 at 2009-05-20 03:05:53
IDJOB=1832529
IDBENCH=70228
IDSOLVER=671
FILE ID=node76/1832529-1242781553
PBS_JOBID= 9322299
Free space on /tmp= 66180 MiB

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

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

MD5SUM BENCH= a92f5808dbdbecf675a4a3e4cbc41fbd
RANDOM SEED=1286411479

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1813680 kB
Buffers:         20584 kB
Cached:         183752 kB
SwapCached:       7280 kB
Active:          77360 kB
Inactive:       135888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813680 kB
SwapTotal:     4192956 kB
SwapFree:      4179980 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:          13920 kB
Slab:            14952 kB
Committed_AS:  1004152 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66180 MiB
End job on node76 at 2009-05-20 03:25:55