Trace number 1832539

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.02 1200.71

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
MD5SUM4d7c374b44e6dc0e3274f37b66abba8f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.6114
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.012998 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.03/0.07	c |  Parsing time:         0.01         s                                       |
0.03/0.07	c ============================[ Search Statistics ]==============================
0.03/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.03/0.07	c ===============================================================================
0.03/0.07	c |         0 |     700    14000    70000 |     4666        0    nan |  0.000 % |
0.03/0.08	c |       100 |     700    14000    70000 |     4666      100     83 |  0.000 % |
0.03/0.09	c |       201 |     700    14000    70000 |     4666      201     86 |  0.000 % |
0.03/0.10	c |       303 |     700    14000    70000 |     4666      303     94 |  0.000 % |
0.03/0.11	c |       415 |     700    14000    70000 |     4666      415     92 |  0.000 % |
0.03/0.12	c |       515 |     700    14000    70000 |     4666      515     94 |  0.000 % |
0.03/0.13	c |       626 |     700    14000    70000 |     4666      626     92 |  0.000 % |
0.03/0.14	c |       749 |     700    14000    70000 |     4666      749     92 |  0.000 % |
0.03/0.15	c |       849 |     700    14000    70000 |     4666      849     91 |  0.000 % |
0.03/0.16	c |       959 |     700    14000    70000 |     4666      959     92 |  0.000 % |
0.03/0.17	c |      1080 |     700    14000    70000 |     4666     1080     93 |  0.000 % |
0.03/0.18	c |      1213 |     700    14000    70000 |     4666     1213     94 |  0.000 % |
0.03/0.19	c |      1314 |     700    14000    70000 |     4666     1314     94 |  0.000 % |
0.03/0.20	c |      1424 |     700    14000    70000 |     4666     1424     93 |  0.000 % |
0.03/0.21	c |      1545 |     700    14000    70000 |     4666     1545     94 |  0.000 % |
0.03/0.22	c |      1678 |     700    14000    70000 |     4666     1678     93 |  0.000 % |
0.03/0.24	c |      1826 |     700    14000    70000 |     4666     1826     93 |  0.000 % |
0.03/0.25	c |      1927 |     700    14000    70000 |     4666     1927     93 |  0.000 % |
0.03/0.26	c |      2040 |     700    14000    70000 |     4666     2040     93 |  0.000 % |
0.03/0.27	c |      2161 |     700    14000    70000 |     4666     2161     93 |  0.000 % |
0.03/0.28	c |      2295 |     700    14000    70000 |     4666     2295     92 |  0.000 % |
0.03/0.30	c |      2441 |     700    14000    70000 |     4666     2441     93 |  0.000 % |
0.03/0.31	c |      2603 |     700    14000    70000 |     4666     2603     93 |  0.000 % |
0.03/0.32	c |      2703 |     700    14000    70000 |     4666     2703     93 |  0.000 % |
0.03/0.34	c |      2813 |     700    14000    70000 |     4666     2813     93 |  0.000 % |
0.03/0.35	c |      2935 |     700    14000    70000 |     4666     2935     93 |  0.000 % |
0.03/0.36	c |      3069 |     700    14000    70000 |     4666     3069     93 |  0.000 % |
0.03/0.37	c |      3217 |     700    14000    70000 |     4666     3217     93 |  0.000 % |
0.03/0.39	c |      3380 |     700    14000    70000 |     4666     3380     93 |  0.000 % |
0.03/0.41	c |      3556 |     700    14000    70000 |     4666     3556     92 |  0.000 % |
0.03/0.42	c |      3656 |     700    14000    70000 |     4666     3656     93 |  0.000 % |
0.03/0.43	c |      3766 |     700    14000    70000 |     4666     3766     93 |  0.000 % |
0.03/0.45	c |      3887 |     700    14000    70000 |     4666     3887     93 |  0.000 % |
0.03/0.46	c |      4020 |     700    14000    70000 |     4666     4020     93 |  0.000 % |
0.03/0.48	c |      4166 |     700    14000    70000 |     4666     4166     93 |  0.000 % |
0.03/0.49	c |      4327 |     700    14000    70000 |     4666     4327     93 |  0.000 % |
0.03/0.51	c |      4504 |     700    14000    70000 |     4666     4504     93 |  0.000 % |
0.03/0.53	c |      4699 |     700    14000    70000 |     4666     4699     94 |  0.000 % |
0.03/0.54	c |      4799 |     700    14000    70000 |     4666     4330     93 |  0.000 % |
0.03/0.55	c |      4909 |     700    14000    70000 |     4666     4440     92 |  0.000 % |
0.03/0.57	c |      5030 |     700    14000    70000 |     4666     4561     93 |  0.000 % |
0.03/0.58	c |      5164 |     700    14000    70000 |     4666     4695     93 |  0.000 % |
0.03/0.60	c |      5311 |     700    14000    70000 |     4666     4373     92 |  0.000 % |
0.03/0.62	c |      5471 |     700    14000    70000 |     4666     4533     93 |  0.000 % |
0.03/0.64	c |      5647 |     700    14000    70000 |     4666     4709     93 |  0.000 % |
0.03/0.66	c |      5840 |     700    14000    70000 |     4666     4432     92 |  0.000 % |
0.03/0.68	c |      6053 |     700    14000    70000 |     4666     4645     92 |  0.000 % |
0.03/0.70	c |      6153 |     700    14000    70000 |     4666     4745     92 |  0.000 % |
0.03/0.71	c |      6264 |     700    14000    70000 |     4666     4382     92 |  0.000 % |
0.03/0.72	c |      6385 |     700    14000    70000 |     4666     4503     92 |  0.000 % |
0.03/0.74	c |      6518 |     700    14000    70000 |     4666     4636     92 |  0.000 % |
0.03/0.75	c |      6664 |     700    14000    70000 |     4666     4782     92 |  0.000 % |
0.03/0.77	c |      6824 |     700    14000    70000 |     4666     4464     93 |  0.000 % |
0.03/0.79	c |      7001 |     700    14000    70000 |     4666     4641     92 |  0.000 % |
0.03/0.81	c |      7194 |     700    14000    70000 |     4666     4834     92 |  0.000 % |
0.03/0.83	c |      7406 |     700    14000    70000 |     4666     4563     92 |  0.000 % |
0.03/0.86	c |      7639 |     700    14000    70000 |     4666     4796     92 |  0.000 % |
0.03/0.87	c |      7740 |     700    14000    70000 |     4666     4418     92 |  0.000 % |
0.03/0.88	c |      7850 |     700    14000    70000 |     4666     4528     92 |  0.000 % |
0.03/0.89	c |      7972 |     700    14000    70000 |     4666     4650     92 |  0.000 % |
0.03/0.91	c |      8106 |     700    14000    70000 |     4666     4784     92 |  0.000 % |
0.03/0.93	c |      8252 |     700    14000    70000 |     4666     4452     92 |  0.000 % |
0.03/0.95	c |      8413 |     700    14000    70000 |     4666     4613     92 |  0.000 % |
0.03/0.97	c |      8589 |     700    14000    70000 |     4666     4789     93 |  0.000 % |
0.03/0.99	c |      8783 |     700    14000    70000 |     4666     4505     93 |  0.000 % |
0.96/1.01	c |      8997 |     700    14000    70000 |     4666     4719     93 |  0.000 % |
0.96/1.04	c |      9231 |     700    14000    70000 |     4666     4482     93 |  0.000 % |
0.96/1.07	c |      9487 |     700    14000    70000 |     4666     4738     94 |  0.000 % |
0.96/1.08	c |      9588 |     700    14000    70000 |     4666     4366     94 |  0.000 % |
0.96/1.09	c |      9698 |     700    14000    70000 |     4666     4476     94 |  0.000 % |
1.07/1.10	c |      9821 |     700    14000    70000 |     4666     4599     94 |  0.000 % |
1.07/1.12	c |      9954 |     700    14000    70000 |     4666     4732     94 |  0.000 % |
1.07/1.14	c |     10101 |     700    14000    70000 | 2147483647     4406     93 |  0.000 % |
1.07/1.15	c |     10261 |     700    14000    70000 | 2147483647     4566     93 |  0.000 % |
1.07/1.17	c |     10437 |     700    14000    70000 | 2147483647     4742     93 |  0.000 % |
1.07/1.19	c |     10631 |     700    14000    70000 | 2147483647     4936     93 |  0.000 % |
1.16/1.21	c |     10843 |     700    14000    70000 | 2147483647     5148     94 |  0.000 % |
1.16/1.24	c |     11081 |     700    14000    70000 | 2147483647     5386     94 |  0.000 % |
1.16/1.27	c |     11337 |     700    14000    70000 | 2147483647     5642     94 |  0.000 % |
1.26/1.30	c |     11618 |     700    14000    70000 | 2147483647     5923     95 |  0.000 % |
1.26/1.31	c |     11719 |     700    14000    70000 | 2147483647     6024     95 |  0.000 % |
1.26/1.32	c |     11830 |     700    14000    70000 | 2147483647     6135     95 |  0.000 % |
1.26/1.33	c |     11951 |     700    14000    70000 | 2147483647     6256     95 |  0.000 % |
1.26/1.35	c |     12084 |     700    14000    70000 | 2147483647     6389     95 |  0.000 % |
1.26/1.37	c |     12234 |     700    14000    70000 | 2147483647     6539     95 |  0.000 % |
1.26/1.39	c |     12394 |     700    14000    70000 | 2147483647     6699     95 |  0.000 % |
1.36/1.41	c |     12570 |     700    14000    70000 | 2147483647     6875     95 |  0.000 % |
1.36/1.43	c |     12764 |     700    14000    70000 | 2147483647     7069     95 |  0.000 % |
1.36/1.45	c |     12976 |     700    14000    70000 | 2147483647     7281     95 |  0.000 % |
1.36/1.48	c |     13209 |     700    14000    70000 | 2147483647     7514     95 |  0.000 % |
1.45/1.51	c |     13465 |     700    14000    70000 | 2147483647     7770     95 |  0.000 % |
1.45/1.54	c |     13747 |     700    14000    70000 | 2147483647     8052     95 |  0.000 % |
1.45/1.58	c |     14058 |     700    14000    70000 | 2147483647     8363     95 |  0.000 % |
1.45/1.60	c |     14160 |     700    14000    70000 | 2147483647     8465     95 |  0.000 % |
1.55/1.61	c |     14270 |     700    14000    70000 | 2147483647     8575     95 |  0.000 % |
1.55/1.63	c |     14392 |     700    14000    70000 | 2147483647     8697     95 |  0.000 % |
1.55/1.64	c |     14525 |     700    14000    70000 | 2147483647     8830     95 |  0.000 % |
1.55/1.66	c |     14671 |     700    14000    70000 | 2147483647     8976     95 |  0.000 % |
1.55/1.69	c |     14833 |     700    14000    70000 | 2147483647     9138     95 |  0.000 % |
1.65/1.71	c |     15010 |     700    14000    70000 | 2147483647     9315     95 |  0.000 % |
1.65/1.74	c |     15203 |     700    14000    70000 | 2147483647     9508     95 |  0.000 % |
1.65/1.77	c |     15416 |     700    14000    70000 | 2147483647     9721     95 |  0.000 % |
1.75/1.80	c |     15650 |     700    14000    70000 | 2147483647     9955     95 |  0.000 % |
1.75/1.83	c |     15906 |     700    14000    70000 | 2147483647    10211     95 |  0.000 % |
1.75/1.87	c |     16188 |     700    14000    70000 | 2147483647    10493     95 |  0.000 % |
1.85/1.91	c |     16498 |     700    14000    70000 | 2147483647    10803     96 |  0.000 % |
1.85/1.96	c |     16838 |     700    14000    70000 | 2147483647    11143     96 |  0.000 % |
1.85/1.97	c |     16939 |     700    14000    70000 | 2147483647    11244     95 |  0.000 % |
1.85/1.99	c |     17049 |     700    14000    70000 | 2147483647    11354     95 |  0.000 % |
1.95/2.01	c |     17171 |     700    14000    70000 | 2147483647    11476     95 |  0.000 % |
1.95/2.03	c |     17304 |     700    14000    70000 | 2147483647    11609     95 |  0.000 % |
1.95/2.05	c |     17451 |     700    14000    70000 | 2147483647    11756     95 |  0.000 % |
1.95/2.08	c |     17612 |     700    14000    70000 | 2147483647    11917     95 |  0.000 % |
2.05/2.10	c |     17788 |     700    14000    70000 | 2147483647    12093     95 |  0.000 % |
2.05/2.13	c |     17981 |     700    14000    70000 | 2147483647    12286     95 |  0.000 % |
2.05/2.16	c |     18193 |     700    14000    70000 | 2147483647    12498     95 |  0.000 % |
2.05/2.20	c |     18426 |     700    14000    70000 | 2147483647    12731     95 |  0.000 % |
2.16/2.24	c |     18683 |     700    14000    70000 | 2147483647    12988     95 |  0.000 % |
2.16/2.28	c |     18966 |     700    14000    70000 | 2147483647    13271     96 |  0.000 % |
2.26/2.33	c |     19276 |     700    14000    70000 | 2147483647    13581     96 |  0.000 % |
2.26/2.38	c |     19615 |     700    14000    70000 | 2147483647    13920     96 |  0.000 % |
2.36/2.44	c |     19988 |     700    14000    70000 | 2147483647    14293     96 |  0.000 % |
2.36/2.46	c |     20090 |     700    14000    70000 | 2147483647    14395     96 |  0.000 % |
2.36/2.48	c |     20200 |     700    14000    70000 | 2147483647    14505     96 |  0.000 % |
2.46/2.50	c |     20322 |     700    14000    70000 | 2147483647    14627     96 |  0.000 % |
2.46/2.52	c |     20455 |     700    14000    70000 | 2147483647    14760     96 |  0.000 % |
2.46/2.55	c |     20603 |     700    14000    70000 | 2147483647    14908     96 |  0.000 % |
2.46/2.58	c |     20763 |     700    14000    70000 | 2147483647    15068     96 |  0.000 % |
2.55/2.61	c |     20940 |     700    14000    70000 | 2147483647    15245     96 |  0.000 % |
2.55/2.64	c |     21134 |     700    14000    70000 | 2147483647    15439     96 |  0.000 % |
2.55/2.68	c |     21346 |     700    14000    70000 | 2147483647    15651     96 |  0.000 % |
2.65/2.72	c |     21579 |     700    14000    70000 | 2147483647    15884     96 |  0.000 % |
2.65/2.77	c |     21835 |     700    14000    70000 | 2147483647    16140     96 |  0.000 % |
2.75/2.82	c |     22117 |     700    14000    70000 | 2147483647    16422     96 |  0.000 % |
2.75/2.88	c |     22426 |     700    14000    70000 | 2147483647    16731     96 |  0.000 % |
2.85/2.94	c |     22766 |     700    14000    70000 | 2147483647    17071     96 |  0.000 % |
2.95/3.01	c |     23138 |     700    14000    70000 | 2147483647    17443     96 |  0.000 % |
2.95/3.08	c |     23550 |     700    14000    70000 | 2147483647    17855     97 |  0.000 % |
3.05/3.10	c |     23651 |     700    14000    70000 | 2147483647    17956     97 |  0.000 % |
3.05/3.12	c |     23761 |     700    14000    70000 | 2147483647    18066     97 |  0.000 % |
3.05/3.15	c |     23883 |     700    14000    70000 | 2147483647    18188     97 |  0.000 % |
3.05/3.17	c |     24017 |     700    14000    70000 | 2147483647    18322     97 |  0.000 % |
3.16/3.21	c |     24164 |     700    14000    70000 | 2147483647    18469     97 |  0.000 % |
3.16/3.24	c |     24324 |     700    14000    70000 | 2147483647    18629     97 |  0.000 % |
3.16/3.28	c |     24501 |     700    14000    70000 | 2147483647    18806     97 |  0.000 % |
3.26/3.32	c |     24694 |     700    14000    70000 | 2147483647    18999     97 |  0.000 % |
3.26/3.36	c |     24907 |     700    14000    70000 | 2147483647    19212     97 |  0.000 % |
3.35/3.40	c |     25140 |     700    14000    70000 | 2147483647    19445     97 |  0.000 % |
3.35/3.45	c |     25398 |     700    14000    70000 | 2147483647    19703     97 |  0.000 % |
3.45/3.51	c |     25680 |     700    14000    70000 | 2147483647    19985     97 |  0.000 % |
3.45/3.58	c |     25990 |     700    14000    70000 | 2147483647    20295     97 |  0.000 % |
3.55/3.65	c |     26329 |     700    14000    70000 | 2147483647    20634     97 |  0.000 % |
3.65/3.73	c |     26703 |     700    14000    70000 | 2147483647    21008     97 |  0.000 % |
3.75/3.82	c |     27112 |     700    14000    70000 | 2147483647    21417     97 |  0.000 % |
3.85/3.91	c |     27563 |     700    14000    70000 | 2147483647    21868     97 |  0.000 % |
3.85/3.94	c |     27669 |     700    14000    70000 | 2147483647    21974     97 |  0.000 % |
3.85/3.97	c |     27781 |     700    14000    70000 | 2147483647    22086     97 |  0.000 % |
3.95/4.00	c |     27904 |     700    14000    70000 | 2147483647    22209     97 |  0.000 % |
3.95/4.04	c |     28039 |     700    14000    70000 | 2147483647    22344     97 |  0.000 % |
3.95/4.07	c |     28185 |     700    14000    70000 | 2147483647    22490     97 |  0.000 % |
4.05/4.11	c |     28347 |     700    14000    70000 | 2147483647    22652     97 |  0.000 % |
4.05/4.15	c |     28524 |     700    14000    70000 | 2147483647    22829     97 |  0.000 % |
4.15/4.20	c |     28717 |     700    14000    70000 | 2147483647    23022     97 |  0.000 % |
4.15/4.25	c |     28929 |     700    14000    70000 | 2147483647    23234     97 |  0.000 % |
4.26/4.30	c |     29165 |     700    14000    70000 | 2147483647    23470     97 |  0.000 % |
4.26/4.36	c |     29422 |     700    14000    70000 | 2147483647    23727     97 |  0.000 % |
4.36/4.44	c |     29703 |     700    14000    70000 | 2147483647    24008     97 |  0.000 % |
4.45/4.51	c |     30012 |     700    14000    70000 | 2147483647    24317     97 |  0.000 % |
4.55/4.60	c |     30351 |     700    14000    70000 | 2147483647    24656     97 |  0.000 % |
4.55/4.69	c |     30723 |     700    14000    70000 | 2147483647    25028     97 |  0.000 % |
4.65/4.79	c |     31133 |     700    14000    70000 | 2147483647    25438     97 |  0.000 % |
4.85/4.91	c |     31582 |     700    14000    70000 | 2147483647    25887     97 |  0.000 % |
4.95/5.04	c |     32076 |     700    14000    70000 | 2147483647    26381     97 |  0.000 % |
4.95/5.06	c |     32177 |     700    14000    70000 | 2147483647    26482     97 |  0.000 % |
4.95/5.09	c |     32287 |     700    14000    70000 | 2147483647    26592     97 |  0.000 % |
5.05/5.12	c |     32408 |     700    14000    70000 | 2147483647    26713     97 |  0.000 % |
5.05/5.16	c |     32541 |     700    14000    70000 | 2147483647    26846     97 |  0.000 % |
5.15/5.20	c |     32687 |     700    14000    70000 | 2147483647    26992     97 |  0.000 % |
5.15/5.24	c |     32847 |     700    14000    70000 | 2147483647    27152     97 |  0.000 % |
5.25/5.30	c |     33025 |     700    14000    70000 | 2147483647    27330     97 |  0.000 % |
5.25/5.35	c |     33219 |     700    14000    70000 | 2147483647    27524     97 |  0.000 % |
5.35/5.41	c |     33432 |     700    14000    70000 | 2147483647    27737     97 |  0.000 % |
5.35/5.48	c |     33666 |     700    14000    70000 | 2147483647    27971     97 |  0.000 % |
5.45/5.55	c |     33922 |     700    14000    70000 | 2147483647    28227     97 |  0.000 % |
5.55/5.63	c |     34205 |     700    14000    70000 | 2147483647    28510     97 |  0.000 % |
5.65/5.71	c |     34516 |     700    14000    70000 | 2147483647    28821     97 |  0.000 % |
5.75/5.82	c |     34857 |     700    14000    70000 | 2147483647    29162     97 |  0.000 % |
5.84/5.93	c |     35231 |     700    14000    70000 | 2147483647    29536     97 |  0.000 % |
5.94/6.04	c |     35640 |     700    14000    70000 | 2147483647    29945     97 |  0.000 % |
6.04/6.17	c |     36089 |     700    14000    70000 | 2147483647    30394     97 |  0.000 % |
6.24/6.32	c |     36582 |     700    14000    70000 | 2147483647    30887     97 |  0.000 % |
6.45/6.51	c |     37124 |     700    14000    70000 | 2147483647    31429     97 |  0.000 % |
6.45/6.54	c |     37224 |     700    14000    70000 | 2147483647    31529     97 |  0.000 % |
6.45/6.58	c |     37334 |     700    14000    70000 | 2147483647    31639     97 |  0.000 % |
6.54/6.62	c |     37456 |     700    14000    70000 | 2147483647    31761     97 |  0.000 % |
6.54/6.66	c |     37590 |     700    14000    70000 | 2147483647    31895     97 |  0.000 % |
6.64/6.71	c |     37736 |     700    14000    70000 | 2147483647    32041     97 |  0.000 % |
6.64/6.77	c |     37896 |     700    14000    70000 | 2147483647    32201     97 |  0.000 % |
6.74/6.82	c |     38072 |     700    14000    70000 | 2147483647    32377     97 |  0.000 % |
6.74/6.89	c |     38266 |     700    14000    70000 | 2147483647    32571     97 |  0.000 % |
6.84/6.96	c |     38478 |     700    14000    70000 | 2147483647    32783     97 |  0.000 % |
6.94/7.03	c |     38711 |     700    14000    70000 | 2147483647    33016     97 |  0.000 % |
7.05/7.12	c |     38968 |     700    14000    70000 | 2147483647    33273     97 |  0.000 % |
7.15/7.21	c |     39250 |     700    14000    70000 | 2147483647    33555     97 |  0.000 % |
7.25/7.31	c |     39559 |     700    14000    70000 | 2147483647    33864     97 |  0.000 % |
7.35/7.42	c |     39898 |     700    14000    70000 | 2147483647    34203     97 |  0.000 % |
7.45/7.55	c |     40271 |     700    14000    70000 | 2147483647    34576     97 |  0.000 % |
7.55/7.68	c |     40680 |     700    14000    70000 | 2147483647    34985     97 |  0.000 % |
7.74/7.82	c |     41129 |     700    14000    70000 | 2147483647    35434     97 |  0.000 % |
7.84/7.98	c |     41622 |     700    14000    70000 | 2147483647    35927     97 |  0.000 % |
8.04/8.15	c |     42166 |     700    14000    70000 | 2147483647    36471     97 |  0.000 % |
8.24/8.35	c |     42763 |     700    14000    70000 | 2147483647    37068     97 |  0.000 % |
8.24/8.39	c |     42863 |     700    14000    70000 | 2147483647    37168     97 |  0.000 % |
8.34/8.43	c |     42974 |     700    14000    70000 | 2147483647    37279     97 |  0.000 % |
8.34/8.48	c |     43095 |     700    14000    70000 | 2147483647    37400     97 |  0.000 % |
8.44/8.54	c |     43228 |     700    14000    70000 | 2147483647    37533     97 |  0.000 % |
8.54/8.60	c |     43374 |     700    14000    70000 | 2147483647    37679     97 |  0.000 % |
8.54/8.66	c |     43534 |     700    14000    70000 | 2147483647    37839     97 |  0.000 % |
8.64/8.74	c |     43710 |     700    14000    70000 | 2147483647    38015     97 |  0.000 % |
8.74/8.81	c |     43903 |     700    14000    70000 | 2147483647    38208     97 |  0.000 % |
8.84/8.90	c |     44116 |     700    14000    70000 | 2147483647    38421     97 |  0.000 % |
8.84/8.98	c |     44350 |     700    14000    70000 | 2147483647    38655     97 |  0.000 % |
8.94/9.07	c |     44607 |     700    14000    70000 | 2147483647    38912     97 |  0.000 % |
9.04/9.17	c |     44889 |     700    14000    70000 | 2147483647    39194     97 |  0.000 % |
9.14/9.28	c |     45200 |     700    14000    70000 | 2147483647    39505     97 |  0.000 % |
9.34/9.41	c |     45539 |     700    14000    70000 | 2147483647    39844     97 |  0.000 % |
9.44/9.56	c |     45912 |     700    14000    70000 | 2147483647    40217     97 |  0.000 % |
9.64/9.72	c |     46321 |     700    14000    70000 | 2147483647    40626     97 |  0.000 % |
9.74/9.88	c |     46771 |     700    14000    70000 | 2147483647    41076     97 |  0.000 % |
9.94/10.07	c |     47268 |     700    14000    70000 | 2147483647    41573     97 |  0.000 % |
10.14/10.27	c |     47811 |     700    14000    70000 | 2147483647    42116     97 |  0.000 % |
10.34/10.49	c |     48407 |     700    14000    70000 | 2147483647    42712     97 |  0.000 % |
10.64/10.75	c |     49062 |     700    14000    70000 | 2147483647    43367     97 |  0.000 % |
10.74/10.81	c |     49164 |     700    14000    70000 | 2147483647    43469     97 |  0.000 % |
10.74/10.86	c |     49275 |     700    14000    70000 | 2147483647    43580     97 |  0.000 % |
10.84/10.91	c |     49397 |     700    14000    70000 | 2147483647    43702     97 |  0.000 % |
10.84/10.97	c |     49532 |     700    14000    70000 | 2147483647    43837     97 |  0.000 % |
10.94/11.05	c |     49678 |     700    14000    70000 | 2147483647    43983     97 |  0.000 % |
11.04/11.11	c |     49838 |     700    14000    70000 | 2147483647    44143     97 |  0.000 % |
11.04/11.19	c |     50014 |     700    14000    70000 | 2147483647    44319     97 |  0.000 % |
11.14/11.29	c |     50208 |     700    14000    70000 | 2147483647    44513     97 |  0.000 % |
11.24/11.39	c |     50420 |     700    14000    70000 | 2147483647    44725     97 |  0.000 % |
11.43/11.50	c |     50653 |     700    14000    70000 | 2147483647    44958     97 |  0.000 % |
11.53/11.61	c |     50910 |     700    14000    70000 | 2147483647    45215     97 |  0.000 % |
11.63/11.72	c |     51193 |     700    14000    70000 | 2147483647    45498     97 |  0.000 % |
11.73/11.86	c |     51503 |     700    14000    70000 | 2147483647    45808     97 |  0.000 % |
11.94/12.01	c |     51842 |     700    14000    70000 | 2147483647    46147     97 |  0.000 % |
12.04/12.16	c |     52217 |     700    14000    70000 | 2147483647    46522     97 |  0.000 % |
12.23/12.34	c |     52626 |     700    14000    70000 | 2147483647    46931     97 |  0.000 % |
12.43/12.54	c |     53076 |     700    14000    70000 | 2147483647    47381     97 |  0.000 % |
12.63/12.76	c |     53569 |     700    14000    70000 | 2147483647    47874     97 |  0.000 % |
12.94/13.00	c |     54111 |     700    14000    70000 | 2147483647    48416     97 |  0.000 % |
13.14/13.26	c |     54708 |     700    14000    70000 | 2147483647    49013     98 |  0.000 % |
13.44/13.53	c |     55363 |     700    14000    70000 | 2147483647    49668     98 |  0.000 % |
13.74/13.85	c |     56083 |     700    14000    70000 | 2147483647    50388     98 |  0.000 % |
13.84/13.90	c |     56183 |     700    14000    70000 | 2147483647    50488     98 |  0.000 % |
13.84/13.96	c |     56293 |     700    14000    70000 | 2147483647    50598     98 |  0.000 % |
13.94/14.02	c |     56415 |     700    14000    70000 | 2147483647    50720     98 |  0.000 % |
13.94/14.08	c |     56548 |     700    14000    70000 | 2147483647    50853     98 |  0.000 % |
14.04/14.16	c |     56696 |     700    14000    70000 | 2147483647    51001     98 |  0.000 % |
14.14/14.24	c |     56856 |     700    14000    70000 | 2147483647    51161     98 |  0.000 % |
14.24/14.34	c |     57034 |     700    14000    70000 | 2147483647    51339     98 |  0.000 % |
14.33/14.45	c |     57227 |     700    14000    70000 | 2147483647    51532     98 |  0.000 % |
14.43/14.55	c |     57439 |     700    14000    70000 | 2147483647    51744     98 |  0.000 % |
14.53/14.64	c |     57672 |     700    14000    70000 | 2147483647    51977     98 |  0.000 % |
14.63/14.77	c |     57929 |     700    14000    70000 | 2147483647    52234     98 |  0.000 % |
14.73/14.90	c |     58213 |     700    14000    70000 | 2147483647    52518     97 |  0.000 % |
14.93/15.02	c |     58523 |     700    14000    70000 | 2147483647    52828     98 |  0.000 % |
15.13/15.21	c |     58863 |     700    14000    70000 | 2147483647    53168     98 |  0.000 % |
15.23/15.40	c |     59236 |     700    14000    70000 | 2147483647    53541     98 |  0.000 % |
15.53/15.60	c |     59645 |     700    14000    70000 | 2147483647    53950     98 |  0.000 % |
15.73/15.82	c |     60094 |     700    14000    70000 | 2147483647    54399     98 |  0.000 % |
15.93/16.09	c |     60588 |     700    14000    70000 | 2147483647    54893     98 |  0.000 % |
16.23/16.38	c |     61130 |     700    14000    70000 | 2147483647    55435     98 |  0.000 % |
16.53/16.69	c |     61727 |     700    14000    70000 | 2147483647    56032     98 |  0.000 % |
16.83/16.99	c |     62383 |     700    14000    70000 | 2147483647    56688     98 |  0.000 % |
17.23/17.33	c |     63104 |     700    14000    70000 | 2147483647    57409     98 |  0.000 % |
17.63/17.72	c |     63896 |     700    14000    70000 | 2147483647    58201     98 |  0.000 % |
17.63/17.78	c |     64000 |     700    14000    70000 | 2147483647    58305     98 |  0.000 % |
17.73/17.85	c |     64111 |     700    14000    70000 | 2147483647    58416     98 |  0.000 % |
17.83/17.92	c |     64232 |     700    14000    70000 | 2147483647    58537     98 |  0.000 % |
17.83/17.99	c |     64365 |     700    14000    70000 | 2147483647    58670     98 |  0.000 % |
17.93/18.07	c |     64511 |     700    14000    70000 | 2147483647    58816     98 |  0.000 % |
18.02/18.17	c |     64672 |     700    14000    70000 | 2147483647    58977     98 |  0.000 % |
18.12/18.27	c |     64849 |     700    14000    70000 | 2147483647    59154     98 |  0.000 % |
18.22/18.37	c |     65042 |     700    14000    70000 | 2147483647    59347     98 |  0.000 % |
18.42/18.51	c |     65254 |     700    14000    70000 | 2147483647    59559     98 |  0.000 % |
18.53/18.65	c |     65487 |     700    14000    70000 | 2147483647    59792     98 |  0.000 % |
18.63/18.79	c |     65743 |     700    14000    70000 | 2147483647    60048     98 |  0.000 % |
18.82/18.93	c |     66024 |     700    14000    70000 | 2147483647    60329     98 |  0.000 % |
19.02/19.13	c |     66335 |     700    14000    70000 | 2147483647    60640     98 |  0.000 % |
19.22/19.31	c |     66674 |     700    14000    70000 | 2147483647    60979     98 |  0.000 % |
19.42/19.53	c |     67046 |     700    14000    70000 | 2147483647    61351     98 |  0.000 % |
19.63/19.76	c |     67456 |     700    14000    70000 | 2147483647    61761     98 |  0.000 % |
19.92/20.03	c |     67905 |     700    14000    70000 | 2147483647    62210     98 |  0.000 % |
20.23/20.33	c |     68399 |     700    14000    70000 | 2147483647    62704     98 |  0.000 % |
20.53/20.62	c |     68943 |     700    14000    70000 | 2147483647    63248     98 |  0.000 % |
20.83/20.97	c |     69540 |     700    14000    70000 | 2147483647    63845     98 |  0.000 % |
21.23/21.37	c |     70195 |     700    14000    70000 | 2147483647    64500     98 |  0.000 % |
21.73/21.81	c |     70916 |     700    14000    70000 | 2147483647    65221     98 |  0.000 % |
22.13/22.26	c |     71709 |     700    14000    70000 | 2147483647    66014     98 |  0.000 % |
22.63/22.78	c |     72580 |     700    14000    70000 | 2147483647    66885     98 |  0.000 % |
22.73/22.86	c |     72680 |     700    14000    70000 | 2147483647    66985     98 |  0.000 % |
22.83/22.95	c |     72790 |     700    14000    70000 | 2147483647    67095     98 |  0.000 % |
22.93/23.03	c |     72911 |     700    14000    70000 | 2147483647    67216     98 |  0.000 % |
23.03/23.11	c |     73045 |     700    14000    70000 | 2147483647    67350     98 |  0.000 % |
23.13/23.23	c |     73193 |     700    14000    70000 | 2147483647    67498     98 |  0.000 % |
23.23/23.33	c |     73354 |     700    14000    70000 | 2147483647    67659     98 |  0.000 % |
23.33/23.45	c |     73530 |     700    14000    70000 | 2147483647    67835     98 |  0.000 % |
23.43/23.57	c |     73723 |     700    14000    70000 | 2147483647    68028     98 |  0.000 % |
23.53/23.69	c |     73936 |     700    14000    70000 | 2147483647    68241     98 |  0.000 % |
23.72/23.84	c |     74169 |     700    14000    70000 | 2147483647    68474     98 |  0.000 % |
23.82/23.99	c |     74425 |     700    14000    70000 | 2147483647    68730     98 |  0.000 % |
24.03/24.15	c |     74710 |     700    14000    70000 | 2147483647    69015     98 |  0.000 % |
24.22/24.33	c |     75019 |     700    14000    70000 | 2147483647    69324     98 |  0.000 % |
24.42/24.57	c |     75361 |     700    14000    70000 | 2147483647    69666     98 |  0.000 % |
24.72/24.80	c |     75733 |     700    14000    70000 | 2147483647    70038     98 |  0.000 % |
24.92/25.06	c |     76142 |     700    14000    70000 | 2147483647    70447     98 |  0.000 % |
25.23/25.33	c |     76591 |     700    14000    70000 | 2147483647    70896     98 |  0.000 % |
25.52/25.68	c |     77085 |     700    14000    70000 | 2147483647    71390     98 |  0.000 % |
25.92/26.07	c |     77627 |     700    14000    70000 | 2147483647    71932     98 |  0.000 % |
26.33/26.46	c |     78223 |     700    14000    70000 | 2147483647    72528     98 |  0.000 % |
26.72/26.88	c |     78880 |     700    14000    70000 | 2147483647    73185     98 |  0.000 % |
27.22/27.34	c |     79602 |     700    14000    70000 | 2147483647    73907     98 |  0.000 % |
27.72/27.87	c |     80394 |     700    14000    70000 |    74305    63900     99 |  0.000 % |
28.22/28.37	c |     81268 |     700    14000    70000 |    74305    64774     99 |  0.000 % |
28.72/28.87	c |     82227 |     700    14000    70000 |    74305    65733     99 |  0.000 % |
28.82/28.93	c |     82328 |     700    14000    70000 |    74305    65834     99 |  0.000 % |
28.82/28.99	c |     82441 |     700    14000    70000 |    74305    65947     99 |  0.000 % |
28.92/29.07	c |     82562 |     700    14000    70000 |    74305    66068     99 |  0.000 % |
29.02/29.17	c |     82695 |     700    14000    70000 |    74305    66201     99 |  0.000 % |
29.12/29.28	c |     82842 |     700    14000    70000 |    74305    66348     99 |  0.000 % |
29.22/29.38	c |     83003 |     700    14000    70000 |    74305    66509     99 |  0.000 % |
29.42/29.50	c |     83179 |     700    14000    70000 |    74305    66685     99 |  0.000 % |
29.52/29.64	c |     83373 |     700    14000    70000 |    74305    66879     99 |  0.000 % |
29.62/29.76	c |     83586 |     700    14000    70000 |    74305    67092     99 |  0.000 % |
29.82/29.93	c |     83820 |     700    14000    70000 |    74305    67326     99 |  0.000 % |
30.01/30.10	c |     84077 |     700    14000    70000 |    74305    67583     99 |  0.000 % |
30.11/30.29	c |     84358 |     700    14000    70000 |    74305    67864     99 |  0.000 % |
30.41/30.51	c |     84669 |     700    14000    70000 |    74305    68175     99 |  0.000 % |
30.62/30.72	c |     85008 |     700    14000    70000 |    74305    68514     99 |  0.000 % |
30.81/30.98	c |     85381 |     700    14000    70000 |    74305    68887     99 |  0.000 % |
31.11/31.23	c |     85792 |     700    14000    70000 |    74305    69298     99 |  0.000 % |
31.31/31.48	c |     86241 |     700    14000    70000 |    74305    69747     99 |  0.000 % |
31.61/31.80	c |     86735 |     700    14000    70000 |    74305    70241     99 |  0.000 % |
32.01/32.12	c |     87278 |     700    14000    70000 |    74305    70784     99 |  0.000 % |
32.41/32.50	c |     87876 |     700    14000    70000 |    74305    71382     99 |  0.000 % |
32.71/32.88	c |     88532 |     700    14000    70000 |    74305    72038     99 |  0.000 % |
33.21/33.39	c |     89253 |     700    14000    70000 |    74305    72759     99 |  0.000 % |
33.71/33.85	c |     90047 |     700    14000    70000 |    73506    73553     99 |  0.000 % |
34.31/34.42	c |     90919 |     700    14000    70000 |    73506    63522     99 |  0.000 % |
34.81/34.94	c |     91878 |     700    14000    70000 |    73506    64481     99 |  0.000 % |
35.41/35.52	c |     92932 |     700    14000    70000 |    73506    65535     99 |  0.000 % |
35.41/35.58	c |     93033 |     700    14000    70000 |    73506    65636     99 |  0.000 % |
35.51/35.65	c |     93143 |     700    14000    70000 |    73506    65746     99 |  0.000 % |
35.61/35.74	c |     93264 |     700    14000    70000 |    73506    65867     99 |  0.000 % |
35.71/35.84	c |     93397 |     700    14000    70000 |    73506    66000     99 |  0.000 % |
35.81/35.94	c |     93543 |     700    14000    70000 |    73506    66146     99 |  0.000 % |
35.91/36.06	c |     93703 |     700    14000    70000 |    73506    66306     99 |  0.000 % |
36.01/36.18	c |     93879 |     700    14000    70000 |    73506    66482     99 |  0.000 % |
36.22/36.31	c |     94072 |     700    14000    70000 |    73506    66675     99 |  0.000 % |
36.32/36.45	c |     94284 |     700    14000    70000 |    73506    66887     99 |  0.000 % |
36.52/36.60	c |     94518 |     700    14000    70000 |    73506    67121     99 |  0.000 % |
36.62/36.77	c |     94775 |     700    14000    70000 |    73506    67378     99 |  0.000 % |
36.82/36.95	c |     95056 |     700    14000    70000 |    73506    67659     99 |  0.000 % |
37.02/37.15	c |     95367 |     700    14000    70000 |    73506    67970     99 |  0.000 % |
37.22/37.35	c |     95706 |     700    14000    70000 |    73506    68309     99 |  0.000 % |
37.42/37.57	c |     96078 |     700    14000    70000 |    73506    68681     99 |  0.000 % |
37.72/37.86	c |     96489 |     700    14000    70000 |    73506    69092     99 |  0.000 % |
38.02/38.14	c |     96939 |     700    14000    70000 |    73506    69542     99 |  0.000 % |
38.32/38.45	c |     97434 |     700    14000    70000 |    73506    70037     99 |  0.000 % |
38.61/38.73	c |     97976 |     700    14000    70000 |    73506    70579     99 |  0.000 % |
38.91/39.08	c |     98572 |     700    14000    70000 |    73506    71175     99 |  0.000 % |
39.42/39.52	c |     99228 |     700    14000    70000 |    73506    71831     99 |  0.000 % |
39.81/39.97	c |     99951 |     700    14000    70000 |    73506    72554     99 |  0.000 % |
40.31/40.48	c |    100743 |     700    14000    70000 |    72605    62165     99 |  0.000 % |
40.81/40.95	c |    101614 |     700    14000    70000 |    72605    63036     99 |  0.000 % |
41.31/41.44	c |    102572 |     700    14000    70000 |    72605    63994     99 |  0.000 % |
41.91/42.01	c |    103625 |     700    14000    70000 |    72605    65047    100 |  0.000 % |
42.51/42.65	c |    104784 |     700    14000    70000 |    72605    66206    100 |  0.000 % |
42.61/42.71	c |    104885 |     700    14000    70000 |    72605    66307    100 |  0.000 % |
42.61/42.78	c |    104997 |     700    14000    70000 |    72605    66419    100 |  0.000 % |
42.72/42.86	c |    105119 |     700    14000    70000 |    72605    66541    100 |  0.000 % |
42.82/42.94	c |    105252 |     700    14000    70000 |    72605    66674    100 |  0.000 % |
42.91/43.04	c |    105398 |     700    14000    70000 |    72605    66820    100 |  0.000 % |
43.01/43.13	c |    105559 |     700    14000    70000 |    72605    66981    100 |  0.000 % |
43.11/43.28	c |    105735 |     700    14000    70000 |    72605    67157    100 |  0.000 % |
43.31/43.42	c |    105930 |     700    14000    70000 |    72605    67352    100 |  0.000 % |
43.41/43.55	c |    106142 |     700    14000    70000 |    72605    67564    100 |  0.000 % |
43.51/43.68	c |    106377 |     700    14000    70000 |    72605    67799    100 |  0.000 % |
43.71/43.83	c |    106633 |     700    14000    70000 |    72605    68055     99 |  0.000 % |
43.81/44.00	c |    106915 |     700    14000    70000 |    72605    68337     99 |  0.000 % |
44.01/44.18	c |    107226 |     700    14000    70000 |    72605    68648     99 |  0.000 % |
44.21/44.37	c |    107565 |     700    14000    70000 |    72605    68987     99 |  0.000 % |
44.51/44.61	c |    107937 |     700    14000    70000 |    72605    69359     99 |  0.000 % |
44.71/44.87	c |    108346 |     700    14000    70000 |    72605    69768    100 |  0.000 % |
45.01/45.14	c |    108795 |     700    14000    70000 |    72605    70217    100 |  0.000 % |
45.31/45.49	c |    109289 |     700    14000    70000 |    72605    70711    100 |  0.000 % |
45.71/45.81	c |    109831 |     700    14000    70000 |    72605    71253    100 |  0.000 % |
46.11/46.20	c |    110428 |     700    14000    70000 |    71422    61561    100 |  0.000 % |
46.41/46.56	c |    111084 |     700    14000    70000 |    71422    62217    100 |  0.000 % |
46.91/47.00	c |    111806 |     700    14000    70000 |    71422    62939    100 |  0.000 % |
47.31/47.45	c |    112598 |     700    14000    70000 |    71422    63731    100 |  0.000 % |
47.81/47.98	c |    113470 |     700    14000    70000 |    71422    64603    100 |  0.000 % |
48.41/48.54	c |    114428 |     700    14000    70000 |    71422    65561    100 |  0.000 % |
49.01/49.13	c |    115481 |     700    14000    70000 |    71422    66614    100 |  0.000 % |
49.70/49.80	c |    116640 |     700    14000    70000 |    71422    67773    100 |  0.000 % |
50.41/50.52	c |    117913 |     700    14000    70000 |    71422    69046    100 |  0.000 % |
50.41/50.58	c |    118013 |     700    14000    70000 |    71422    69146    100 |  0.000 % |
50.51/50.67	c |    118123 |     700    14000    70000 |    71422    69256    100 |  0.000 % |
50.60/50.75	c |    118245 |     700    14000    70000 |    71422    69378    100 |  0.000 % |
50.70/50.85	c |    118381 |     700    14000    70000 |    71422    69514    100 |  0.000 % |
50.80/50.94	c |    118530 |     700    14000    70000 |    71422    69663    100 |  0.000 % |
50.90/51.06	c |    118693 |     700    14000    70000 |    71422    69826    100 |  0.000 % |
51.00/51.17	c |    118869 |     700    14000    70000 |    71422    70002    100 |  0.000 % |
51.10/51.29	c |    119064 |     700    14000    70000 |    71422    70197    100 |  0.000 % |
51.30/51.45	c |    119277 |     700    14000    70000 |    71422    70410    100 |  0.000 % |
51.51/51.61	c |    119515 |     700    14000    70000 |    71422    70648    100 |  0.000 % |
51.61/51.79	c |    119775 |     700    14000    70000 |    71422    70908    100 |  0.000 % |
51.80/51.97	c |    120056 |     700    14000    70000 |    71135    71189    100 |  0.000 % |
52.10/52.22	c |    120367 |     700    14000    70000 |    71135    61476    100 |  0.000 % |
52.30/52.42	c |    120707 |     700    14000    70000 |    71135    61816    100 |  0.000 % |
52.50/52.64	c |    121081 |     700    14000    70000 |    71135    62190    100 |  0.000 % |
52.71/52.87	c |    121490 |     700    14000    70000 |    71135    62599    100 |  0.000 % |
53.00/53.12	c |    121940 |     700    14000    70000 |    71135    63049    100 |  0.000 % |
53.20/53.37	c |    122433 |     700    14000    70000 |    71135    63542    100 |  0.000 % |
53.50/53.66	c |    122975 |     700    14000    70000 |    71135    64084    100 |  0.000 % |
53.90/54.00	c |    123572 |     700    14000    70000 |    71135    64681    100 |  0.000 % |
54.30/54.40	c |    124228 |     700    14000    70000 |    71135    65337    100 |  0.000 % |
54.70/54.83	c |    124948 |     700    14000    70000 |    71135    66057    100 |  0.000 % |
55.10/55.27	c |    125740 |     700    14000    70000 |    71135    66849    100 |  0.000 % |
55.60/55.76	c |    126615 |     700    14000    70000 |    71135    67724    100 |  0.000 % |
56.10/56.29	c |    127573 |     700    14000    70000 |    71135    68682    100 |  0.000 % |
56.80/56.98	c |    128626 |     700    14000    70000 |    71135    69735    100 |  0.000 % |
57.60/57.75	c |    129784 |     700    14000    70000 |    71135    70893    101 |  0.000 % |
58.40/58.53	c |    131057 |     700    14000    70000 |    71109    62048    101 |  0.000 % |
59.20/59.35	c |    132457 |     700    14000    70000 |    71109    63448    101 |  0.000 % |
59.30/59.41	c |    132558 |     700    14000    70000 |    71109    63549    101 |  0.000 % |
59.30/59.49	c |    132669 |     700    14000    70000 |    71109    63660    101 |  0.000 % |
59.40/59.57	c |    132790 |     700    14000    70000 |    71109    63781    101 |  0.000 % |
59.50/59.66	c |    132924 |     700    14000    70000 |    71109    63915    101 |  0.000 % |
59.60/59.75	c |    133070 |     700    14000    70000 |    71109    64061    101 |  0.000 % |
59.70/59.87	c |    133230 |     700    14000    70000 |    71109    64221    101 |  0.000 % |
59.80/59.99	c |    133407 |     700    14000    70000 |    71109    64398    101 |  0.000 % |
60.00/60.11	c |    133602 |     700    14000    70000 |    71109    64593    101 |  0.000 % |
60.10/60.23	c |    133815 |     700    14000    70000 |    71109    64806    101 |  0.000 % |
60.20/60.36	c |    134048 |     700    14000    70000 |    71109    65039    101 |  0.000 % |
60.40/60.54	c |    134305 |     700    14000    70000 |    71109    65296    101 |  0.000 % |
60.60/60.71	c |    134586 |     700    14000    70000 |    71109    65577    101 |  0.000 % |
60.80/60.90	c |    134895 |     700    14000    70000 |    71109    65886    101 |  0.000 % |
60.90/61.08	c |    135235 |     700    14000    70000 |    71109    66226    101 |  0.000 % |
61.20/61.32	c |    135609 |     700    14000    70000 |    71109    66600    101 |  0.000 % |
61.40/61.58	c |    136018 |     700    14000    70000 |    71109    67009    101 |  0.000 % |
61.70/61.87	c |    136470 |     700    14000    70000 |    71109    67461    101 |  0.000 % |
62.00/62.18	c |    136963 |     700    14000    70000 |    71109    67954    101 |  0.000 % |
62.30/62.49	c |    137505 |     700    14000    70000 |    71109    68496    101 |  0.000 % |
62.80/62.93	c |    138101 |     700    14000    70000 |    71109    69092    101 |  0.000 % |
63.20/63.36	c |    138756 |     700    14000    70000 |    71109    69747    101 |  0.000 % |
63.70/63.83	c |    139480 |     700    14000    70000 |    71109    70471    101 |  0.000 % |
64.20/64.35	c |    140273 |     700    14000    70000 |    70991    60709    101 |  0.000 % |
64.70/64.81	c |    141144 |     700    14000    70000 |    70991    61580    101 |  0.000 % |
65.20/65.35	c |    142104 |     700    14000    70000 |    70991    62540    101 |  0.000 % |
65.80/65.92	c |    143157 |     700    14000    70000 |    70991    63593    101 |  0.000 % |
66.49/66.61	c |    144317 |     700    14000    70000 |    70991    64753    101 |  0.000 % |
67.19/67.33	c |    145590 |     700    14000    70000 |    70991    66026    101 |  0.000 % |
68.00/68.16	c |    146991 |     700    14000    70000 |    70991    67427    101 |  0.000 % |
68.89/69.05	c |    148532 |     700    14000    70000 |    70991    68968    101 |  0.000 % |
68.99/69.14	c |    148633 |     700    14000    70000 |    70991    69069    101 |  0.000 % |
69.10/69.23	c |    148744 |     700    14000    70000 |    70991    69180    101 |  0.000 % |
69.20/69.30	c |    148867 |     700    14000    70000 |    70991    69303    101 |  0.000 % |
69.29/69.40	c |    149000 |     700    14000    70000 |    70991    69436    101 |  0.000 % |
69.39/69.51	c |    149148 |     700    14000    70000 |    70991    69584    101 |  0.000 % |
69.49/69.62	c |    149308 |     700    14000    70000 |    70991    69744    101 |  0.000 % |
69.59/69.74	c |    149486 |     700    14000    70000 |    70991    69922    101 |  0.000 % |
69.69/69.87	c |    149679 |     700    14000    70000 |    70991    70115    101 |  0.000 % |
69.89/70.02	c |    149895 |     700    14000    70000 |    70991    70331    101 |  0.000 % |
69.99/70.17	c |    150129 |     700    14000    70000 |    70436    70565    101 |  0.000 % |
70.19/70.35	c |    150389 |     700    14000    70000 |    70436    61319    101 |  0.000 % |
70.39/70.51	c |    150670 |     700    14000    70000 |    70436    61600    101 |  0.000 % |
70.49/70.68	c |    150979 |     700    14000    70000 |    70436    61909    101 |  0.000 % |
70.69/70.86	c |    151318 |     700    14000    70000 |    70436    62248    101 |  0.000 % |
70.89/71.06	c |    151692 |     700    14000    70000 |    70436    62622    101 |  0.000 % |
71.09/71.28	c |    152101 |     700    14000    70000 |    70436    63031    101 |  0.000 % |
71.39/71.53	c |    152551 |     700    14000    70000 |    70436    63481    101 |  0.000 % |
71.69/71.86	c |    153044 |     700    14000    70000 |    70436    63974    101 |  0.000 % |
71.99/72.17	c |    153586 |     700    14000    70000 |    70436    64516    101 |  0.000 % |
72.39/72.55	c |    154182 |     700    14000    70000 |    70436    65112    101 |  0.000 % |
72.79/72.94	c |    154837 |     700    14000    70000 |    70436    65767    101 |  0.000 % |
73.19/73.37	c |    155559 |     700    14000    70000 |    70436    66489    101 |  0.000 % |
73.69/73.87	c |    156351 |     700    14000    70000 |    70436    67281    101 |  0.000 % |
74.19/74.39	c |    157226 |     700    14000    70000 |    70436    68156    101 |  0.000 % |
74.79/74.95	c |    158184 |     700    14000    70000 |    70436    69114    101 |  0.000 % |
75.39/75.55	c |    159237 |     700    14000    70000 |    70436    70167    101 |  0.000 % |
76.09/76.27	c |    160395 |     700    14000    70000 |    61173    53308    101 |  0.000 % |
76.69/76.85	c |    161669 |     700    14000    70000 |    61173    54582    101 |  0.000 % |
77.39/77.51	c |    163071 |     700    14000    70000 |    61173    55984    101 |  0.000 % |
78.09/78.29	c |    164611 |     700    14000    70000 |    61173    57524    101 |  0.000 % |
78.99/79.16	c |    166305 |     700    14000    70000 |    61173    59218    101 |  0.000 % |
79.09/79.22	c |    166406 |     700    14000    70000 |    61173    59319    101 |  0.000 % |
79.09/79.28	c |    166518 |     700    14000    70000 |    61173    59431    101 |  0.000 % |
79.19/79.36	c |    166639 |     700    14000    70000 |    61173    59552    101 |  0.000 % |
79.29/79.44	c |    166773 |     700    14000    70000 |    61173    59686    101 |  0.000 % |
79.39/79.52	c |    166919 |     700    14000    70000 |    61173    59832    101 |  0.000 % |
79.49/79.62	c |    167079 |     700    14000    70000 |    61173    59992    101 |  0.000 % |
79.59/79.73	c |    167256 |     700    14000    70000 |    61173    60169    101 |  0.000 % |
79.69/79.86	c |    167451 |     700    14000    70000 |    61173    60364    101 |  0.000 % |
79.79/79.98	c |    167667 |     700    14000    70000 |    61173    60580    101 |  0.000 % |
79.89/80.10	c |    167901 |     700    14000    70000 |    61173    60814    101 |  0.000 % |
80.09/80.22	c |    168159 |     700    14000    70000 |    61173    61072    101 |  0.000 % |
80.19/80.39	c |    168441 |     700    14000    70000 |    61173    61354    101 |  0.000 % |
80.38/80.59	c |    168750 |     700    14000    70000 |    61173    55528    101 |  0.000 % |
80.58/80.76	c |    169090 |     700    14000    70000 |    61173    55868    101 |  0.000 % |
80.78/80.99	c |    169463 |     700    14000    70000 |    61173    56241    101 |  0.000 % |
81.08/81.21	c |    169873 |     700    14000    70000 |    61173    56651    101 |  0.000 % |
81.28/81.45	c |    170324 |     700    14000    70000 | 2147483647    57102    101 |  0.000 % |
81.48/81.70	c |    170818 |     700    14000    70000 | 2147483647    57596    101 |  0.000 % |
81.78/81.97	c |    171362 |     700    14000    70000 | 2147483647    58140    101 |  0.000 % |
82.08/82.28	c |    171961 |     700    14000    70000 | 2147483647    58739    101 |  0.000 % |
82.48/82.63	c |    172619 |     700    14000    70000 | 2147483647    59397    101 |  0.000 % |
82.78/82.99	c |    173340 |     700    14000    70000 | 2147483647    60118    101 |  0.000 % |
83.28/83.42	c |    174133 |     700    14000    70000 | 2147483647    60911    101 |  0.000 % |
83.68/83.88	c |    175008 |     700    14000    70000 | 2147483647    61786    101 |  0.000 % |
84.28/84.47	c |    175966 |     700    14000    70000 | 2147483647    62744    101 |  0.000 % |
84.88/85.06	c |    177020 |     700    14000    70000 | 2147483647    63798    101 |  0.000 % |
85.58/85.74	c |    178178 |     700    14000    70000 | 2147483647    64956    101 |  0.000 % |
86.28/86.47	c |    179451 |     700    14000    70000 | 2147483647    66229    101 |  0.000 % |
87.18/87.31	c |    180851 |     700    14000    70000 |    66779    60221    101 |  0.000 % |
87.98/88.10	c |    182391 |     700    14000    70000 |    66779    61761    101 |  0.000 % |
88.88/89.00	c |    184087 |     700    14000    70000 |    66779    63457    101 |  0.000 % |
89.88/90.02	c |    185950 |     700    14000    70000 |    66779    65320    101 |  0.000 % |
89.88/90.08	c |    186051 |     700    14000    70000 |    66779    65421    101 |  0.000 % |
89.98/90.16	c |    186163 |     700    14000    70000 |    66779    65533    101 |  0.000 % |
90.08/90.24	c |    186284 |     700    14000    70000 |    66779    65654    101 |  0.000 % |
90.18/90.32	c |    186419 |     700    14000    70000 |    66779    65789    101 |  0.000 % |
90.28/90.41	c |    186567 |     700    14000    70000 |    66779    65937    101 |  0.000 % |
90.38/90.52	c |    186727 |     700    14000    70000 |    66779    66097    101 |  0.000 % |
90.48/90.64	c |    186903 |     700    14000    70000 |    66779    66273    101 |  0.000 % |
90.58/90.77	c |    187097 |     700    14000    70000 |    66779    66467    101 |  0.000 % |
90.78/90.93	c |    187311 |     700    14000    70000 |    66779    66681    101 |  0.000 % |
90.88/91.07	c |    187544 |     700    14000    70000 |    66779    66914    101 |  0.000 % |
91.08/91.27	c |    187800 |     700    14000    70000 |    66779    59102    101 |  0.000 % |
91.28/91.43	c |    188083 |     700    14000    70000 |    66779    59385    101 |  0.000 % |
91.48/91.62	c |    188394 |     700    14000    70000 |    66779    59696    101 |  0.000 % |
91.68/91.80	c |    188733 |     700    14000    70000 |    66779    60035    101 |  0.000 % |
91.88/92.01	c |    189108 |     700    14000    70000 |    66779    60410    101 |  0.000 % |
92.08/92.24	c |    189517 |     700    14000    70000 |    66779    60819    101 |  0.000 % |
92.38/92.51	c |    189966 |     700    14000    70000 |    66779    61268    101 |  0.000 % |
92.68/92.81	c |    190459 |     700    14000    70000 |    61303    54270    101 |  0.000 % |
92.88/93.08	c |    191004 |     700    14000    70000 |    61303    54815    101 |  0.000 % |
93.17/93.39	c |    191601 |     700    14000    70000 |    61303    55412    101 |  0.000 % |
93.57/93.72	c |    192257 |     700    14000    70000 |    61303    56068    101 |  0.000 % |
93.87/94.09	c |    192977 |     700    14000    70000 |    61303    56788    101 |  0.000 % |
94.38/94.52	c |    193769 |     700    14000    70000 |    61303    57580    101 |  0.000 % |
94.77/94.98	c |    194640 |     700    14000    70000 |    61303    58451    101 |  0.000 % |
95.27/95.48	c |    195601 |     700    14000    70000 |    61303    59412    101 |  0.000 % |
95.87/96.00	c |    196659 |     700    14000    70000 |    61303    60470    101 |  0.000 % |
96.38/96.59	c |    197817 |     700    14000    70000 |    61303    55472    101 |  0.000 % |
96.98/97.18	c |    199091 |     700    14000    70000 |    61303    56746    101 |  0.000 % |
97.68/97.86	c |    200491 |     700    14000    70000 | 2147483647    58146    101 |  0.000 % |
98.47/98.60	c |    202032 |     700    14000    70000 | 2147483647    59687    101 |  0.000 % |
99.27/99.48	c |    203726 |     700    14000    70000 | 2147483647    61381    101 |  0.000 % |
100.27/100.46	c |    205589 |     700    14000    70000 | 2147483647    63244    101 |  0.000 % |
101.37/101.56	c |    207639 |     700    14000    70000 | 2147483647    65294    101 |  0.000 % |
101.47/101.61	c |    207740 |     700    14000    70000 | 2147483647    65395    101 |  0.000 % |
101.47/101.69	c |    207851 |     700    14000    70000 | 2147483647    65506    101 |  0.000 % |
101.57/101.76	c |    207974 |     700    14000    70000 | 2147483647    65629    101 |  0.000 % |
101.67/101.84	c |    208107 |     700    14000    70000 | 2147483647    65762    101 |  0.000 % |
101.77/101.92	c |    208254 |     700    14000    70000 | 2147483647    65909    101 |  0.000 % |
101.87/102.03	c |    208414 |     700    14000    70000 | 2147483647    66069    101 |  0.000 % |
101.97/102.13	c |    208592 |     700    14000    70000 | 2147483647    66247    101 |  0.000 % |
102.08/102.28	c |    208785 |     700    14000    70000 | 2147483647    66440    101 |  0.000 % |
102.27/102.44	c |    208997 |     700    14000    70000 | 2147483647    66652    101 |  0.000 % |
102.37/102.57	c |    209230 |     700    14000    70000 | 2147483647    66885    101 |  0.000 % |
102.57/102.72	c |    209488 |     700    14000    70000 | 2147483647    67143    101 |  0.000 % |
102.77/102.90	c |    209769 |     700    14000    70000 | 2147483647    67424    101 |  0.000 % |
102.97/103.11	c |    210080 |     700    14000    70000 |    67656    67735    101 |  0.000 % |
103.18/103.35	c |    210419 |     700    14000    70000 |    67656    60591    101 |  0.000 % |
103.37/103.57	c |    210795 |     700    14000    70000 |    67656    60967    101 |  0.000 % |
103.57/103.80	c |    211204 |     700    14000    70000 |    67656    61376    101 |  0.000 % |
103.87/104.05	c |    211653 |     700    14000    70000 |    67656    61825    101 |  0.000 % |
104.17/104.31	c |    212146 |     700    14000    70000 |    67656    62318    101 |  0.000 % |
104.47/104.62	c |    212688 |     700    14000    70000 |    67656    62860    101 |  0.000 % |
104.77/104.97	c |    213285 |     700    14000    70000 |    67656    63457    101 |  0.000 % |
105.17/105.33	c |    213941 |     700    14000    70000 |    67656    64113    101 |  0.000 % |
105.57/105.76	c |    214661 |     700    14000    70000 |    67656    64833    101 |  0.000 % |
106.07/106.20	c |    215453 |     700    14000    70000 |    67656    65625    101 |  0.000 % |
106.47/106.69	c |    216327 |     700    14000    70000 |    67656    66499    101 |  0.000 % |
107.07/107.23	c |    217285 |     700    14000    70000 |    67656    67457    101 |  0.000 % |
107.67/107.83	c |    218340 |     700    14000    70000 |    67656    60658    101 |  0.000 % |
108.27/108.46	c |    219499 |     700    14000    70000 |    67656    61817    101 |  0.000 % |
108.97/109.14	c |    220774 |     700    14000    70000 |    62320    56151    101 |  0.000 % |
109.67/109.83	c |    222175 |     700    14000    70000 |    62320    57552    101 |  0.000 % |
110.37/110.56	c |    223715 |     700    14000    70000 |    62320    59092    101 |  0.000 % |
111.27/111.46	c |    225410 |     700    14000    70000 |    62320    60787    101 |  0.000 % |
112.27/112.44	c |    227273 |     700    14000    70000 |    62320    56392    101 |  0.000 % |
113.27/113.45	c |    229322 |     700    14000    70000 |    62320    58441    101 |  0.000 % |
114.37/114.50	c |    231575 |     700    14000    70000 | 2147483647    60694    102 |  0.000 % |
114.37/114.58	c |    231676 |     700    14000    70000 | 2147483647    60795    102 |  0.000 % |
114.47/114.66	c |    231787 |     700    14000    70000 | 2147483647    60906    102 |  0.000 % |
114.57/114.72	c |    231909 |     700    14000    70000 | 2147483647    61028    102 |  0.000 % |
114.57/114.80	c |    232042 |     700    14000    70000 | 2147483647    61161    102 |  0.000 % |
114.77/114.91	c |    232191 |     700    14000    70000 | 2147483647    61310    102 |  0.000 % |
114.77/115.00	c |    232352 |     700    14000    70000 | 2147483647    61471    102 |  0.000 % |
114.97/115.11	c |    232529 |     700    14000    70000 | 2147483647    61648    102 |  0.000 % |
115.07/115.24	c |    232725 |     700    14000    70000 | 2147483647    61844    102 |  0.000 % |
115.17/115.37	c |    232937 |     700    14000    70000 | 2147483647    62056    102 |  0.000 % |
115.37/115.52	c |    233170 |     700    14000    70000 | 2147483647    62289    102 |  0.000 % |
115.46/115.66	c |    233426 |     700    14000    70000 | 2147483647    62545    102 |  0.000 % |
115.66/115.82	c |    233708 |     700    14000    70000 | 2147483647    62827    102 |  0.000 % |
115.76/115.98	c |    234017 |     700    14000    70000 | 2147483647    63136    102 |  0.000 % |
115.96/116.18	c |    234358 |     700    14000    70000 | 2147483647    63477    102 |  0.000 % |
116.16/116.39	c |    234730 |     700    14000    70000 | 2147483647    63849    102 |  0.000 % |
116.47/116.63	c |    235139 |     700    14000    70000 | 2147483647    64258    101 |  0.000 % |
116.66/116.90	c |    235589 |     700    14000    70000 | 2147483647    64708    102 |  0.000 % |
116.96/117.19	c |    236082 |     700    14000    70000 | 2147483647    65201    101 |  0.000 % |
117.36/117.55	c |    236626 |     700    14000    70000 | 2147483647    65745    101 |  0.000 % |
117.66/117.89	c |    237223 |     700    14000    70000 | 2147483647    66342    101 |  0.000 % |
118.06/118.26	c |    237882 |     700    14000    70000 | 2147483647    67001    101 |  0.000 % |
118.46/118.66	c |    238602 |     700    14000    70000 | 2147483647    67721    101 |  0.000 % |
118.86/119.09	c |    239395 |     700    14000    70000 | 2147483647    68514    102 |  0.000 % |
119.36/119.59	c |    240269 |     700    14000    70000 |    69120    61451    101 |  0.000 % |
119.86/120.07	c |    241227 |     700    14000    70000 |    69120    62409    101 |  0.000 % |
120.46/120.67	c |    242280 |     700    14000    70000 |    69120    63462    101 |  0.000 % |
121.16/121.32	c |    243439 |     700    14000    70000 |    69120    64621    101 |  0.000 % |
121.86/122.01	c |    244713 |     700    14000    70000 |    69120    65895    101 |  0.000 % |
122.56/122.78	c |    246114 |     700    14000    70000 |    69120    67296    101 |  0.000 % |
123.45/123.66	c |    247654 |     700    14000    70000 |    69120    68836    102 |  0.000 % |
124.45/124.65	c |    249348 |     700    14000    70000 |    69120    62382    101 |  0.000 % |
125.55/125.73	c |    251211 |     700    14000    70000 |    63035    56958    101 |  0.000 % |
126.55/126.78	c |    253261 |     700    14000    70000 |    63035    59008    102 |  0.000 % |
127.75/127.95	c |    255515 |     700    14000    70000 |    63035    61262    102 |  0.000 % |
128.95/129.18	c |    257993 |     700    14000    70000 |    63035    57412    102 |  0.000 % |
129.05/129.23	c |    258094 |     700    14000    70000 |    63035    57513    102 |  0.000 % |
129.05/129.30	c |    258204 |     700    14000    70000 |    63035    57623    102 |  0.000 % |
129.15/129.36	c |    258327 |     700    14000    70000 |    63035    57746    102 |  0.000 % |
129.25/129.43	c |    258460 |     700    14000    70000 |    63035    57879    102 |  0.000 % |
129.35/129.52	c |    258606 |     700    14000    70000 |    63035    58025    102 |  0.000 % |
129.35/129.59	c |    258767 |     700    14000    70000 |    63035    58186    102 |  0.000 % |
129.45/129.68	c |    258945 |     700    14000    70000 |    63035    58364    102 |  0.000 % |
129.55/129.78	c |    259138 |     700    14000    70000 |    63035    58557    102 |  0.000 % |
129.65/129.89	c |    259351 |     700    14000    70000 |    63035    58770    102 |  0.000 % |
129.85/130.02	c |    259584 |     700    14000    70000 |    63035    59003    102 |  0.000 % |
129.95/130.15	c |    259840 |     700    14000    70000 |    63035    59259    102 |  0.000 % |
130.15/130.31	c |    260121 |     700    14000    70000 | 2147483647    59540    102 |  0.000 % |
130.25/130.47	c |    260430 |     700    14000    70000 | 2147483647    59849    102 |  0.000 % |
130.45/130.64	c |    260770 |     700    14000    70000 | 2147483647    60189    102 |  0.000 % |
130.65/130.84	c |    261142 |     700    14000    70000 | 2147483647    60561    102 |  0.000 % |
130.85/131.05	c |    261551 |     700    14000    70000 | 2147483647    60970    102 |  0.000 % |
131.15/131.32	c |    262001 |     700    14000    70000 | 2147483647    61420    102 |  0.000 % |
131.45/131.61	c |    262496 |     700    14000    70000 | 2147483647    61915    102 |  0.000 % |
131.75/131.90	c |    263038 |     700    14000    70000 | 2147483647    62457    102 |  0.000 % |
132.04/132.24	c |    263634 |     700    14000    70000 | 2147483647    63053    102 |  0.000 % |
132.44/132.63	c |    264290 |     700    14000    70000 | 2147483647    63709    102 |  0.000 % |
132.85/133.03	c |    265010 |     700    14000    70000 | 2147483647    64429    102 |  0.000 % |
133.24/133.49	c |    265803 |     700    14000    70000 | 2147483647    65222    102 |  0.000 % |
133.74/133.98	c |    266674 |     700    14000    70000 | 2147483647    66093    102 |  0.000 % |
134.24/134.46	c |    267632 |     700    14000    70000 | 2147483647    67051    102 |  0.000 % |
134.84/135.06	c |    268685 |     700    14000    70000 | 2147483647    68104    102 |  0.000 % |
135.54/135.72	c |    269844 |     700    14000    70000 | 2147483647    69263    102 |  0.000 % |
136.25/136.46	c |    271119 |     700    14000    70000 |    69419    62349    103 |  0.000 % |
137.04/137.22	c |    272521 |     700    14000    70000 |    69419    63751    103 |  0.000 % |
137.94/138.12	c |    274061 |     700    14000    70000 |    69419    65291    103 |  0.000 % |
138.94/139.11	c |    275756 |     700    14000    70000 |    69419    66986    103 |  0.000 % |
139.94/140.19	c |    277621 |     700    14000    70000 |    69419    68851    103 |  0.000 % |
141.14/141.35	c |    279670 |     700    14000    70000 |    69419    61688    103 |  0.000 % |
142.34/142.53	c |    281923 |     700    14000    70000 |    62020    56143    103 |  0.000 % |
143.54/143.72	c |    284401 |     700    14000    70000 |    62020    58621    103 |  0.000 % |
144.84/145.05	c |    287126 |     700    14000    70000 |    62020    61346    103 |  0.000 % |
144.94/145.11	c |    287226 |     700    14000    70000 |    62020    61446    103 |  0.000 % |
144.94/145.18	c |    287336 |     700    14000    70000 |    62020    61556    103 |  0.000 % |
145.04/145.24	c |    287458 |     700    14000    70000 |    62020    61678    103 |  0.000 % |
145.14/145.33	c |    287591 |     700    14000    70000 |    62020    61811    103 |  0.000 % |
145.24/145.42	c |    287737 |     700    14000    70000 |    62020    61957    103 |  0.000 % |
145.34/145.51	c |    287898 |     700    14000    70000 |    62020    62118    103 |  0.000 % |
145.44/145.64	c |    288074 |     700    14000    70000 |    62020    56083    102 |  0.000 % |
145.54/145.76	c |    288268 |     700    14000    70000 |    62020    56277    102 |  0.000 % |
145.64/145.88	c |    288481 |     700    14000    70000 |    62020    56490    102 |  0.000 % |
145.84/146.00	c |    288715 |     700    14000    70000 |    62020    56724    102 |  0.000 % |
145.94/146.13	c |    288971 |     700    14000    70000 |    62020    56980    102 |  0.000 % |
146.04/146.26	c |    289252 |     700    14000    70000 |    62020    57261    102 |  0.000 % |
146.24/146.42	c |    289563 |     700    14000    70000 |    62020    57572    102 |  0.000 % |
146.44/146.61	c |    289903 |     700    14000    70000 |    62020    57912    102 |  0.000 % |
146.64/146.81	c |    290275 |     700    14000    70000 | 2147483647    58284    102 |  0.000 % |
146.84/147.02	c |    290685 |     700    14000    70000 | 2147483647    58694    102 |  0.000 % |
147.04/147.27	c |    291134 |     700    14000    70000 | 2147483647    59143    102 |  0.000 % |
147.34/147.52	c |    291628 |     700    14000    70000 | 2147483647    59637    102 |  0.000 % |
147.64/147.81	c |    292170 |     700    14000    70000 | 2147483647    60179    102 |  0.000 % |
147.94/148.10	c |    292767 |     700    14000    70000 | 2147483647    60776    102 |  0.000 % |
148.24/148.43	c |    293422 |     700    14000    70000 | 2147483647    61431    102 |  0.000 % |
148.54/148.78	c |    294143 |     700    14000    70000 | 2147483647    62152    102 |  0.000 % |
149.04/149.21	c |    294935 |     700    14000    70000 | 2147483647    62944    102 |  0.000 % |
149.44/149.66	c |    295807 |     700    14000    70000 | 2147483647    63816    102 |  0.000 % |
149.94/150.17	c |    296765 |     700    14000    70000 | 2147483647    64774    102 |  0.000 % |
150.54/150.71	c |    297818 |     700    14000    70000 | 2147483647    65827    102 |  0.000 % |
151.14/151.36	c |    298977 |     700    14000    70000 | 2147483647    66986    102 |  0.000 % |
151.83/152.03	c |    300253 |     700    14000    70000 |    68010    68262    102 |  0.000 % |
152.53/152.80	c |    301654 |     700    14000    70000 |    68010    62807    102 |  0.000 % |
153.33/153.53	c |    303196 |     700    14000    70000 |    68010    64349    102 |  0.000 % |
154.23/154.43	c |    304890 |     700    14000    70000 |    68010    66043    102 |  0.000 % |
155.23/155.42	c |    306753 |     700    14000    70000 |    68010    67906    102 |  0.000 % |
156.33/156.51	c |    308802 |     700    14000    70000 |    68010    62509    102 |  0.000 % |
157.53/157.72	c |    311055 |     700    14000    70000 |    63708    58189    103 |  0.000 % |
158.83/159.00	c |    313534 |     700    14000    70000 |    63708    60668    102 |  0.000 % |
160.13/160.40	c |    316260 |     700    14000    70000 |    63708    63394    102 |  0.000 % |
161.73/161.94	c |    319258 |     700    14000    70000 |    63708    59809    102 |  0.000 % |
161.73/161.99	c |    319359 |     700    14000    70000 |    63708    59910    102 |  0.000 % |
161.83/162.06	c |    319469 |     700    14000    70000 |    63708    60020    102 |  0.000 % |
161.93/162.12	c |    319590 |     700    14000    70000 |    63708    60141    102 |  0.000 % |
162.03/162.21	c |    319724 |     700    14000    70000 |    63708    60275    102 |  0.000 % |
162.13/162.30	c |    319870 |     700    14000    70000 |    63708    60421    102 |  0.000 % |
162.13/162.39	c |    320030 |     700    14000    70000 |    60551    60581    102 |  0.000 % |
162.33/162.54	c |    320208 |     700    14000    70000 |    60551    54655    102 |  0.000 % |
162.43/162.65	c |    320402 |     700    14000    70000 |    60551    54849    102 |  0.000 % |
162.53/162.77	c |    320614 |     700    14000    70000 |    60551    55061    102 |  0.000 % |
162.63/162.89	c |    320848 |     700    14000    70000 |    60551    55295    102 |  0.000 % |
162.83/163.02	c |    321107 |     700    14000    70000 |    60551    55554    102 |  0.000 % |
162.93/163.15	c |    321389 |     700    14000    70000 |    60551    55836    102 |  0.000 % |
163.13/163.31	c |    321698 |     700    14000    70000 |    60551    56145    102 |  0.000 % |
163.23/163.49	c |    322038 |     700    14000    70000 |    60551    56485    102 |  0.000 % |
163.53/163.72	c |    322410 |     700    14000    70000 |    60551    56857    102 |  0.000 % |
163.73/163.96	c |    322819 |     700    14000    70000 |    60551    57266    102 |  0.000 % |
164.03/164.21	c |    323268 |     700    14000    70000 |    60551    57715    102 |  0.000 % |
164.23/164.46	c |    323761 |     700    14000    70000 |    60551    58208    102 |  0.000 % |
164.53/164.72	c |    324304 |     700    14000    70000 |    60551    58751    102 |  0.000 % |
164.83/165.02	c |    324901 |     700    14000    70000 |    60551    59348    102 |  0.000 % |
165.13/165.35	c |    325556 |     700    14000    70000 |    60551    60003    102 |  0.000 % |
165.53/165.75	c |    326277 |     700    14000    70000 |    60551    60724    102 |  0.000 % |
165.93/166.18	c |    327069 |     700    14000    70000 |    60551    55444    102 |  0.000 % |
166.43/166.66	c |    327941 |     700    14000    70000 |    60551    56316    102 |  0.000 % |
166.93/167.15	c |    328900 |     700    14000    70000 |    60551    57275    102 |  0.000 % |
167.53/167.74	c |    329953 |     700    14000    70000 |    60551    58328    102 |  0.000 % |
168.13/168.33	c |    331111 |     700    14000    70000 | 2147483647    59486    102 |  0.000 % |
168.73/168.98	c |    332386 |     700    14000    70000 | 2147483647    60761    102 |  0.000 % |
169.53/169.72	c |    333786 |     700    14000    70000 | 2147483647    62161    102 |  0.000 % |
170.33/170.55	c |    335327 |     700    14000    70000 | 2147483647    63702    102 |  0.000 % |
171.22/171.47	c |    337021 |     700    14000    70000 | 2147483647    65396    102 |  0.000 % |
172.32/172.50	c |    338885 |     700    14000    70000 | 2147483647    67260    101 |  0.000 % |
173.42/173.61	c |    340936 |     700    14000    70000 |    68375    61972    101 |  0.000 % |
174.62/174.88	c |    343191 |     700    14000    70000 |    68375    64227    102 |  0.000 % |
175.92/176.15	c |    345669 |     700    14000    70000 |    68375    66705    101 |  0.000 % |
177.42/177.64	c |    348397 |     700    14000    70000 |    68375    61487    101 |  0.000 % |
178.92/179.15	c |    351394 |     700    14000    70000 |    63092    57292    102 |  0.000 % |
180.52/180.76	c |    354692 |     700    14000    70000 |    63092    60590    102 |  0.000 % |
180.62/180.82	c |    354794 |     700    14000    70000 |    63092    60692    102 |  0.000 % |
180.62/180.88	c |    354904 |     700    14000    70000 |    63092    60802    102 |  0.000 % |
180.72/180.95	c |    355025 |     700    14000    70000 |    63092    60923    102 |  0.000 % |
180.82/181.05	c |    355159 |     700    14000    70000 |    63092    61057    102 |  0.000 % |
180.92/181.14	c |    355306 |     700    14000    70000 |    63092    61204    102 |  0.000 % |
181.02/181.24	c |    355467 |     700    14000    70000 |    63092    61365    102 |  0.000 % |
181.12/181.33	c |    355644 |     700    14000    70000 |    63092    61542    102 |  0.000 % |
181.22/181.45	c |    355838 |     700    14000    70000 |    63092    61736    102 |  0.000 % |
181.32/181.57	c |    356051 |     700    14000    70000 |    63092    61949    102 |  0.000 % |
181.52/181.71	c |    356285 |     700    14000    70000 |    63092    62183    102 |  0.000 % |
181.62/181.85	c |    356543 |     700    14000    70000 |    63092    62441    102 |  0.000 % |
181.82/182.01	c |    356826 |     700    14000    70000 |    63092    62724    102 |  0.000 % |
181.92/182.19	c |    357135 |     700    14000    70000 |    63092    63033    102 |  0.000 % |
182.22/182.41	c |    357474 |     700    14000    70000 |    63092    56832    102 |  0.000 % |
182.32/182.60	c |    357847 |     700    14000    70000 |    63092    57205    102 |  0.000 % |
182.62/182.82	c |    358256 |     700    14000    70000 |    63092    57614    102 |  0.000 % |
182.82/183.04	c |    358705 |     700    14000    70000 |    63092    58063    102 |  0.000 % |
183.02/183.29	c |    359198 |     700    14000    70000 |    63092    58556    102 |  0.000 % |
183.32/183.57	c |    359740 |     700    14000    70000 |    63092    59098    102 |  0.000 % |
183.62/183.88	c |    360337 |     700    14000    70000 | 2147483647    59695    102 |  0.000 % |
184.02/184.22	c |    360992 |     700    14000    70000 | 2147483647    60350    102 |  0.000 % |
184.41/184.60	c |    361713 |     700    14000    70000 | 2147483647    61071    102 |  0.000 % |
184.81/185.00	c |    362505 |     700    14000    70000 | 2147483647    61863    101 |  0.000 % |
185.21/185.49	c |    363376 |     700    14000    70000 | 2147483647    62734    102 |  0.000 % |
185.81/186.01	c |    364334 |     700    14000    70000 | 2147483647    63692    102 |  0.000 % |
186.31/186.56	c |    365388 |     700    14000    70000 | 2147483647    64746    102 |  0.000 % |
187.01/187.21	c |    366546 |     700    14000    70000 | 2147483647    65904    101 |  0.000 % |
187.71/187.92	c |    367820 |     700    14000    70000 | 2147483647    67178    101 |  0.000 % |
188.51/188.74	c |    369220 |     700    14000    70000 | 2147483647    68578    102 |  0.000 % |
189.41/189.67	c |    370760 |     700    14000    70000 |    69358    62170    102 |  0.000 % |
190.31/190.56	c |    372455 |     700    14000    70000 |    69358    63865    102 |  0.000 % |
191.31/191.59	c |    374318 |     700    14000    70000 |    69358    65728    102 |  0.000 % |
192.51/192.76	c |    376370 |     700    14000    70000 |    69358    67780    102 |  0.000 % |
193.91/194.10	c |    378625 |     700    14000    70000 |    69358    61613    102 |  0.000 % |
195.11/195.35	c |    381104 |     700    14000    70000 |    62993    56713    102 |  0.000 % |
196.41/196.68	c |    383830 |     700    14000    70000 |    62993    59439    103 |  0.000 % |
198.01/198.22	c |    386827 |     700    14000    70000 |    62993    62436    103 |  0.000 % |
199.61/199.89	c |    390123 |     700    14000    70000 | 2147483647    59409    103 |  0.000 % |
201.51/201.78	c |    393748 |     700    14000    70000 | 2147483647    63034    103 |  0.000 % |
201.61/201.83	c |    393848 |     700    14000    70000 | 2147483647    63134    103 |  0.000 % |
201.71/201.90	c |    393958 |     700    14000    70000 | 2147483647    63244    103 |  0.000 % |
201.71/201.97	c |    394079 |     700    14000    70000 | 2147483647    63365    103 |  0.000 % |
201.81/202.08	c |    394212 |     700    14000    70000 | 2147483647    63498    103 |  0.000 % |
201.91/202.17	c |    394359 |     700    14000    70000 | 2147483647    63645    103 |  0.000 % |
202.01/202.27	c |    394519 |     700    14000    70000 | 2147483647    63805    103 |  0.000 % |
202.11/202.38	c |    394697 |     700    14000    70000 | 2147483647    63983    103 |  0.000 % |
202.21/202.50	c |    394892 |     700    14000    70000 | 2147483647    64178    103 |  0.000 % |
202.41/202.63	c |    395104 |     700    14000    70000 | 2147483647    64390    103 |  0.000 % |
202.51/202.78	c |    395340 |     700    14000    70000 | 2147483647    64626    103 |  0.000 % |
202.71/202.93	c |    395597 |     700    14000    70000 | 2147483647    64883    103 |  0.000 % |
202.91/203.12	c |    395879 |     700    14000    70000 | 2147483647    65165    103 |  0.000 % |
203.11/203.30	c |    396192 |     700    14000    70000 | 2147483647    65478    103 |  0.000 % |
203.21/203.46	c |    396531 |     700    14000    70000 | 2147483647    65817    103 |  0.000 % |
203.40/203.68	c |    396903 |     700    14000    70000 | 2147483647    66189    103 |  0.000 % |
203.60/203.89	c |    397312 |     700    14000    70000 | 2147483647    66598    103 |  0.000 % |
203.91/204.14	c |    397761 |     700    14000    70000 | 2147483647    67047    103 |  0.000 % |
204.21/204.46	c |    398254 |     700    14000    70000 | 2147483647    67540    103 |  0.000 % |
204.51/204.78	c |    398796 |     700    14000    70000 | 2147483647    68082    103 |  0.000 % |
204.81/205.08	c |    399393 |     700    14000    70000 | 2147483647    68679    103 |  0.000 % |
205.21/205.47	c |    400048 |     700    14000    70000 |    69286    69334    103 |  0.000 % |
205.61/205.89	c |    400769 |     700    14000    70000 |    69286    61973    103 |  0.000 % |
206.11/206.32	c |    401563 |     700    14000    70000 |    69286    62767    103 |  0.000 % |
206.52/206.79	c |    402434 |     700    14000    70000 |    69286    63638    103 |  0.000 % |
207.11/207.35	c |    403392 |     700    14000    70000 |    69286    64596    103 |  0.000 % |
207.72/207.98	c |    404445 |     700    14000    70000 |    69286    65649    103 |  0.000 % |
208.41/208.64	c |    405603 |     700    14000    70000 |    69286    66807    103 |  0.000 % |
209.11/209.37	c |    406876 |     700    14000    70000 |    69286    68080    103 |  0.000 % |
209.91/210.14	c |    408276 |     700    14000    70000 |    69286    69480    103 |  0.000 % |
210.71/210.99	c |    409818 |     700    14000    70000 |    69286    62562    103 |  0.000 % |
211.61/211.84	c |    411512 |     700    14000    70000 |    62744    56637    103 |  0.000 % |
212.51/212.79	c |    413377 |     700    14000    70000 |    62744    58502    103 |  0.000 % |
213.61/213.82	c |    415426 |     700    14000    70000 |    62744    60551    103 |  0.000 % |
214.71/215.00	c |    417680 |     700    14000    70000 |    62744    62805    103 |  0.000 % |
216.00/216.26	c |    420159 |     700    14000    70000 | 2147483647    58891    104 |  0.000 % |
217.50/217.71	c |    422885 |     700    14000    70000 | 2147483647    61617    104 |  0.000 % |
219.10/219.39	c |    425882 |     700    14000    70000 | 2147483647    64614    104 |  0.000 % |
220.90/221.15	c |    429181 |     700    14000    70000 | 2147483647    67913    104 |  0.000 % |
223.00/223.24	c |    432806 |     700    14000    70000 |    68734    63701    104 |  0.000 % |
225.20/225.46	c |    436793 |     700    14000    70000 |    68734    67688    104 |  0.000 % |
225.30/225.54	c |    436895 |     700    14000    70000 |    68734    67790    104 |  0.000 % |
225.40/225.61	c |    437005 |     700    14000    70000 |    68734    67900    104 |  0.000 % |
225.50/225.70	c |    437127 |     700    14000    70000 |    68734    68022    104 |  0.000 % |
225.50/225.77	c |    437262 |     700    14000    70000 |    68734    68157    104 |  0.000 % |
225.60/225.86	c |    437409 |     700    14000    70000 |    68734    68304    104 |  0.000 % |
225.69/225.96	c |    437569 |     700    14000    70000 |    68734    68464    104 |  0.000 % |
225.79/226.07	c |    437746 |     700    14000    70000 |    68734    68641    104 |  0.000 % |
225.89/226.19	c |    437941 |     700    14000    70000 |    68734    68836    104 |  0.000 % |
226.09/226.35	c |    438153 |     700    14000    70000 |    68734    60472    104 |  0.000 % |
226.19/226.49	c |    438386 |     700    14000    70000 |    68734    60705    104 |  0.000 % |
226.40/226.63	c |    438644 |     700    14000    70000 |    68734    60963    104 |  0.000 % |
226.49/226.79	c |    438925 |     700    14000    70000 |    68734    61244    104 |  0.000 % |
226.69/226.96	c |    439234 |     700    14000    70000 |    68734    61553    104 |  0.000 % |
226.89/227.14	c |    439573 |     700    14000    70000 |    68734    61892    104 |  0.000 % |
227.09/227.37	c |    439946 |     700    14000    70000 |    68734    62265    104 |  0.000 % |
227.40/227.64	c |    440355 |     700    14000    70000 |    62319    54911    103 |  0.000 % |
227.59/227.85	c |    440804 |     700    14000    70000 |    62319    55360    103 |  0.000 % |
227.89/228.11	c |    441298 |     700    14000    70000 |    62319    55854    103 |  0.000 % |
228.09/228.37	c |    441841 |     700    14000    70000 |    62319    56397    103 |  0.000 % |
228.39/228.67	c |    442438 |     700    14000    70000 |    62319    56994    103 |  0.000 % |
228.79/229.00	c |    443093 |     700    14000    70000 |    62319    57649    103 |  0.000 % |
229.09/229.40	c |    443814 |     700    14000    70000 |    62319    58370    103 |  0.000 % |
229.49/229.78	c |    444606 |     700    14000    70000 |    62319    59162    103 |  0.000 % |
229.99/230.21	c |    445478 |     700    14000    70000 |    62319    60034    102 |  0.000 % |
230.39/230.68	c |    446436 |     700    14000    70000 |    62319    60992    102 |  0.000 % |
230.99/231.25	c |    447490 |     700    14000    70000 |    62319    62046    103 |  0.000 % |
231.59/231.88	c |    448649 |     700    14000    70000 |    62319    56948    102 |  0.000 % |
232.29/232.51	c |    449922 |     700    14000    70000 |    62319    58221    102 |  0.000 % |
232.99/233.21	c |    451322 |     700    14000    70000 | 2147483647    59621    102 |  0.000 % |
233.79/234.00	c |    452862 |     700    14000    70000 | 2147483647    61161    102 |  0.000 % |
234.59/234.89	c |    454556 |     700    14000    70000 | 2147483647    62855    102 |  0.000 % |
235.69/235.94	c |    456420 |     700    14000    70000 | 2147483647    64719    102 |  0.000 % |
236.89/237.13	c |    458470 |     700    14000    70000 | 2147483647    66769    102 |  0.000 % |
238.19/238.41	c |    460725 |     700    14000    70000 |    68302    61361    103 |  0.000 % |
239.39/239.65	c |    463203 |     700    14000    70000 |    68302    63839    103 |  0.000 % |
240.89/241.16	c |    465929 |     700    14000    70000 |    68302    66565    103 |  0.000 % |
242.69/242.94	c |    468927 |     700    14000    70000 |    68302    62038    103 |  0.000 % |
244.48/244.75	c |    472225 |     700    14000    70000 |    63112    58487    103 |  0.000 % |
246.48/246.74	c |    475851 |     700    14000    70000 |    63112    62113    103 |  0.000 % |
248.58/248.86	c |    479839 |     700    14000    70000 |    63112    59766    103 |  0.000 % |
250.88/251.19	c |    484227 |     700    14000    70000 | 2147483647    64154    103 |  0.000 % |
250.98/251.25	c |    484332 |     700    14000    70000 | 2147483647    64259    103 |  0.000 % |
251.08/251.32	c |    484443 |     700    14000    70000 | 2147483647    64370    103 |  0.000 % |
251.08/251.40	c |    484564 |     700    14000    70000 | 2147483647    64491    103 |  0.000 % |
251.18/251.49	c |    484698 |     700    14000    70000 | 2147483647    64625    103 |  0.000 % |
251.28/251.58	c |    484845 |     700    14000    70000 | 2147483647    64772    103 |  0.000 % |
251.38/251.67	c |    485005 |     700    14000    70000 | 2147483647    64932    103 |  0.000 % |
251.58/251.81	c |    485181 |     700    14000    70000 | 2147483647    65108    103 |  0.000 % |
251.68/251.92	c |    485374 |     700    14000    70000 | 2147483647    65301    103 |  0.000 % |
251.78/252.04	c |    485586 |     700    14000    70000 | 2147483647    65513    103 |  0.000 % |
251.88/252.20	c |    485820 |     700    14000    70000 | 2147483647    65747    103 |  0.000 % |
252.08/252.37	c |    486076 |     700    14000    70000 | 2147483647    66003    103 |  0.000 % |
252.28/252.56	c |    486359 |     700    14000    70000 | 2147483647    66286    103 |  0.000 % |
252.48/252.74	c |    486673 |     700    14000    70000 | 2147483647    66600    103 |  0.000 % |
252.68/252.92	c |    487012 |     700    14000    70000 | 2147483647    66939    103 |  0.000 % |
252.88/253.15	c |    487384 |     700    14000    70000 | 2147483647    67311    103 |  0.000 % |
253.08/253.38	c |    487793 |     700    14000    70000 | 2147483647    67720    103 |  0.000 % |
253.38/253.66	c |    488242 |     700    14000    70000 | 2147483647    68169    103 |  0.000 % |
253.68/253.97	c |    488735 |     700    14000    70000 | 2147483647    68662    103 |  0.000 % |
254.08/254.31	c |    489278 |     700    14000    70000 | 2147483647    69205    103 |  0.000 % |
254.38/254.64	c |    489877 |     700    14000    70000 | 2147483647    69804    103 |  0.000 % |
254.77/255.04	c |    490533 |     700    14000    70000 |    69930    61660    102 |  0.000 % |
255.17/255.43	c |    491255 |     700    14000    70000 |    69930    62382    102 |  0.000 % |
255.57/255.82	c |    492047 |     700    14000    70000 |    69930    63174    102 |  0.000 % |
256.08/256.31	c |    492922 |     700    14000    70000 |    69930    64049    102 |  0.000 % |
256.57/256.81	c |    493880 |     700    14000    70000 |    69930    65007    102 |  0.000 % |
257.08/257.39	c |    494934 |     700    14000    70000 |    69930    66061    102 |  0.000 % |
257.77/258.07	c |    496093 |     700    14000    70000 |    69930    67220    102 |  0.000 % |
258.47/258.77	c |    497366 |     700    14000    70000 |    69930    68493    102 |  0.000 % |
259.28/259.56	c |    498767 |     700    14000    70000 |    69930    69894    102 |  0.000 % |
260.17/260.46	c |    500309 |     700    14000    70000 |    62439    55143    102 |  0.000 % |
260.97/261.26	c |    502003 |     700    14000    70000 |    62439    56837    103 |  0.000 % |
261.97/262.21	c |    503867 |     700    14000    70000 |    62439    58701    103 |  0.000 % |
263.07/263.33	c |    505918 |     700    14000    70000 |    62439    60752    103 |  0.000 % |
264.37/264.66	c |    508171 |     700    14000    70000 |    62439    56738    103 |  0.000 % |
265.67/265.93	c |    510649 |     700    14000    70000 | 2147483647    59216    103 |  0.000 % |
266.97/267.28	c |    513374 |     700    14000    70000 | 2147483647    61941    103 |  0.000 % |
268.77/269.02	c |    516371 |     700    14000    70000 | 2147483647    64938    103 |  0.000 % |
270.56/270.83	c |    519668 |     700    14000    70000 | 2147483647    68235    103 |  0.000 % |
272.66/272.93	c |    523294 |     700    14000    70000 |    68567    64368    103 |  0.000 % |
274.86/275.12	c |    527281 |     700    14000    70000 |    68567    68355    103 |  0.000 % |
277.26/277.53	c |    531666 |     700    14000    70000 |    62891    57361    103 |  0.000 % |
279.86/280.17	c |    536490 |     700    14000    70000 |    62891    62185    103 |  0.000 % |
279.96/280.23	c |    536590 |     700    14000    70000 |    62891    62285    103 |  0.000 % |
280.06/280.31	c |    536701 |     700    14000    70000 |    62891    62396    103 |  0.000 % |
280.06/280.38	c |    536823 |     700    14000    70000 |    62891    62518    103 |  0.000 % |
280.16/280.46	c |    536956 |     700    14000    70000 |    62891    62651    103 |  0.000 % |
280.26/280.55	c |    537102 |     700    14000    70000 |    62891    62797    103 |  0.000 % |
280.36/280.64	c |    537262 |     700    14000    70000 |    62891    62957    103 |  0.000 % |
280.46/280.78	c |    537438 |     700    14000    70000 |    62891    56782    103 |  0.000 % |
280.56/280.88	c |    537632 |     700    14000    70000 |    62891    56976    103 |  0.000 % |
280.66/280.98	c |    537845 |     700    14000    70000 |    62891    57189    103 |  0.000 % |
280.76/281.09	c |    538078 |     700    14000    70000 |    62891    57422    103 |  0.000 % |
280.96/281.23	c |    538334 |     700    14000    70000 |    62891    57678    103 |  0.000 % |
281.06/281.39	c |    538615 |     700    14000    70000 |    62891    57959    103 |  0.000 % |
281.26/281.54	c |    538924 |     700    14000    70000 |    62891    58268    103 |  0.000 % |
281.46/281.72	c |    539263 |     700    14000    70000 |    62891    58607    103 |  0.000 % |
281.66/281.91	c |    539637 |     700    14000    70000 |    62891    58981    103 |  0.000 % |
281.76/282.09	c |    540048 |     700    14000    70000 | 2147483647    59392    103 |  0.000 % |
282.06/282.36	c |    540498 |     700    14000    70000 | 2147483647    59842    103 |  0.000 % |
282.36/282.64	c |    540991 |     700    14000    70000 | 2147483647    60335    103 |  0.000 % |
282.66/282.93	c |    541533 |     700    14000    70000 | 2147483647    60877    103 |  0.000 % |
282.96/283.27	c |    542131 |     700    14000    70000 | 2147483647    61475    103 |  0.000 % |
283.36/283.64	c |    542788 |     700    14000    70000 | 2147483647    62132    103 |  0.000 % |
283.76/284.04	c |    543512 |     700    14000    70000 | 2147483647    62856    103 |  0.000 % |
284.15/284.49	c |    544310 |     700    14000    70000 | 2147483647    63654    103 |  0.000 % |
284.66/284.95	c |    545181 |     700    14000    70000 | 2147483647    64525    103 |  0.000 % |
285.16/285.49	c |    546139 |     700    14000    70000 | 2147483647    65483    103 |  0.000 % |
285.76/286.07	c |    547192 |     700    14000    70000 | 2147483647    66536    103 |  0.000 % |
286.45/286.80	c |    548351 |     700    14000    70000 | 2147483647    67695    103 |  0.000 % |
287.25/287.52	c |    549627 |     700    14000    70000 | 2147483647    68971    103 |  0.000 % |
288.05/288.33	c |    551028 |     700    14000    70000 |    69345    61958    103 |  0.000 % |
288.96/289.22	c |    552570 |     700    14000    70000 |    69345    63500    103 |  0.000 % |
289.95/290.21	c |    554264 |     700    14000    70000 |    69345    65194    103 |  0.000 % |
290.95/291.20	c |    556128 |     700    14000    70000 |    69345    67058    103 |  0.000 % |
292.05/292.33	c |    558178 |     700    14000    70000 |    69345    69108    103 |  0.000 % |
293.25/293.57	c |    560432 |     700    14000    70000 |    62398    55604    103 |  0.000 % |
294.45/294.73	c |    562911 |     700    14000    70000 |    62398    58083    103 |  0.000 % |
295.75/296.09	c |    565636 |     700    14000    70000 |    62398    60808    103 |  0.000 % |
297.35/297.65	c |    568633 |     700    14000    70000 |    62398    57543    103 |  0.000 % |
298.95/299.27	c |    571929 |     700    14000    70000 | 2147483647    60839    103 |  0.000 % |
300.95/301.24	c |    575555 |     700    14000    70000 | 2147483647    64465    103 |  0.000 % |
303.05/303.36	c |    579542 |     700    14000    70000 | 2147483647    68452    104 |  0.000 % |
305.34/305.62	c |    583927 |     700    14000    70000 |    68911    64671    103 |  0.000 % |
308.04/308.32	c |    588750 |     700    14000    70000 |    68911    61023    103 |  0.000 % |
310.74/311.04	c |    594055 |     700    14000    70000 |    62273    58665    103 |  0.000 % |
310.84/311.11	c |    594155 |     700    14000    70000 |    62273    58765    103 |  0.000 % |
310.84/311.18	c |    594265 |     700    14000    70000 |    62273    58875    103 |  0.000 % |
310.94/311.25	c |    594387 |     700    14000    70000 |    62273    58997    103 |  0.000 % |
311.04/311.32	c |    594520 |     700    14000    70000 |    62273    59130    103 |  0.000 % |
311.14/311.41	c |    594666 |     700    14000    70000 |    62273    59276    103 |  0.000 % |
311.24/311.50	c |    594826 |     700    14000    70000 |    62273    59436    103 |  0.000 % |
311.34/311.61	c |    595004 |     700    14000    70000 |    62273    59614    103 |  0.000 % |
311.44/311.74	c |    595197 |     700    14000    70000 |    62273    59807    103 |  0.000 % |
311.54/311.85	c |    595409 |     700    14000    70000 |    62273    60019    103 |  0.000 % |
311.64/311.98	c |    595642 |     700    14000    70000 |    62273    60252    103 |  0.000 % |
311.84/312.11	c |    595900 |     700    14000    70000 |    62273    60510    103 |  0.000 % |
311.94/312.26	c |    596181 |     700    14000    70000 |    62273    60791    103 |  0.000 % |
312.14/312.43	c |    596492 |     700    14000    70000 |    62273    61102    103 |  0.000 % |
312.34/312.62	c |    596831 |     700    14000    70000 |    62273    61441    103 |  0.000 % |
312.54/312.82	c |    597205 |     700    14000    70000 |    62273    61815    103 |  0.000 % |
312.74/313.04	c |    597615 |     700    14000    70000 |    62273    62225    103 |  0.000 % |
313.04/313.30	c |    598065 |     700    14000    70000 |    62273    56212    103 |  0.000 % |
313.24/313.58	c |    598558 |     700    14000    70000 |    62273    56705    103 |  0.000 % |
313.54/313.89	c |    599100 |     700    14000    70000 |    62273    57247    103 |  0.000 % |
313.94/314.22	c |    599697 |     700    14000    70000 |    62273    57844    103 |  0.000 % |
314.24/314.58	c |    600352 |     700    14000    70000 |    58147    52449    103 |  0.000 % |
314.64/314.91	c |    601073 |     700    14000    70000 |    58147    53170    103 |  0.000 % |
315.04/315.30	c |    601865 |     700    14000    70000 |    58147    53962    104 |  0.000 % |
315.44/315.71	c |    602736 |     700    14000    70000 |    58147    54833    103 |  0.000 % |
315.84/316.18	c |    603694 |     700    14000    70000 |    58147    55791    103 |  0.000 % |
316.33/316.68	c |    604752 |     700    14000    70000 |    58147    56849    103 |  0.000 % |
316.93/317.24	c |    605911 |     700    14000    70000 |    58147    58008    103 |  0.000 % |
317.54/317.86	c |    607184 |     700    14000    70000 |    58147    53441    103 |  0.000 % |
318.13/318.48	c |    608586 |     700    14000    70000 |    58147    54843    103 |  0.000 % |
318.94/319.24	c |    610127 |     700    14000    70000 | 2147483647    56384    103 |  0.000 % |
319.74/320.05	c |    611821 |     700    14000    70000 | 2147483647    58078    103 |  0.000 % |
320.63/320.95	c |    613686 |     700    14000    70000 | 2147483647    59943    103 |  0.000 % |
321.73/322.02	c |    615735 |     700    14000    70000 | 2147483647    61992    103 |  0.000 % |
322.83/323.14	c |    617988 |     700    14000    70000 | 2147483647    64245    103 |  0.000 % |
324.24/324.51	c |    620466 |     700    14000    70000 | 2147483647    66723    103 |  0.000 % |
325.73/326.08	c |    623192 |     700    14000    70000 | 2147483647    69449    104 |  0.000 % |
327.54/327.83	c |    626192 |     700    14000    70000 | 2147483647    72449    104 |  0.000 % |
329.64/329.91	c |    629488 |     700    14000    70000 | 2147483647    75745    104 |  0.000 % |
331.64/331.98	c |    633113 |     700    14000    70000 |    76258    69202    104 |  0.000 % |
334.14/334.48	c |    637101 |     700    14000    70000 |    76258    73190    104 |  0.000 % |
336.84/337.18	c |    641486 |     700    14000    70000 |    76093    66806    105 |  0.000 % |
339.84/340.18	c |    646309 |     700    14000    70000 |    76093    71629    105 |  0.000 % |
343.23/343.52	c |    651614 |     700    14000    70000 |    75321    65778    105 |  0.000 % |
346.83/347.16	c |    657449 |     700    14000    70000 |    75321    71613    105 |  0.000 % |
346.93/347.23	c |    657551 |     700    14000    70000 |    75321    71715    105 |  0.000 % |
347.03/347.31	c |    657663 |     700    14000    70000 |    75321    71827    105 |  0.000 % |
347.03/347.39	c |    657786 |     700    14000    70000 |    75321    71950    105 |  0.000 % |
347.13/347.48	c |    657919 |     700    14000    70000 |    75321    72083    105 |  0.000 % |
347.23/347.58	c |    658065 |     700    14000    70000 |    75321    72229    105 |  0.000 % |
347.43/347.70	c |    658225 |     700    14000    70000 |    75321    72389    105 |  0.000 % |
347.53/347.83	c |    658401 |     700    14000    70000 |    75321    72565    105 |  0.000 % |
347.63/347.95	c |    658594 |     700    14000    70000 |    75321    72758    105 |  0.000 % |
347.83/348.12	c |    658806 |     700    14000    70000 |    75321    72970    105 |  0.000 % |
348.03/348.30	c |    659040 |     700    14000    70000 |    75321    73204    105 |  0.000 % |
348.13/348.50	c |    659296 |     700    14000    70000 |    75321    73460    105 |  0.000 % |
348.43/348.70	c |    659577 |     700    14000    70000 |    75321    73741    105 |  0.000 % |
348.63/348.93	c |    659886 |     700    14000    70000 |    75321    74050    105 |  0.000 % |
348.83/349.14	c |    660226 |     700    14000    70000 |    74164    74390    105 |  0.000 % |
349.13/349.40	c |    660599 |     700    14000    70000 |    74164    63296    105 |  0.000 % |
349.33/349.64	c |    661009 |     700    14000    70000 |    74164    63706    105 |  0.000 % |
349.63/349.92	c |    661458 |     700    14000    70000 |    74164    64155    105 |  0.000 % |
349.93/350.23	c |    661951 |     700    14000    70000 |    74164    64648    105 |  0.000 % |
350.23/350.55	c |    662493 |     700    14000    70000 |    74164    65190    105 |  0.000 % |
350.53/350.90	c |    663089 |     700    14000    70000 |    74164    65786    105 |  0.000 % |
350.93/351.29	c |    663744 |     700    14000    70000 |    74164    66441    105 |  0.000 % |
351.32/351.70	c |    664464 |     700    14000    70000 |    74164    67161    105 |  0.000 % |
351.82/352.14	c |    665256 |     700    14000    70000 |    74164    67953    105 |  0.000 % |
352.32/352.63	c |    666128 |     700    14000    70000 |    74164    68825    105 |  0.000 % |
352.83/353.18	c |    667086 |     700    14000    70000 |    74164    69783    105 |  0.000 % |
353.52/353.81	c |    668140 |     700    14000    70000 |    74164    70837    105 |  0.000 % |
354.12/354.45	c |    669298 |     700    14000    70000 |    74164    71995    105 |  0.000 % |
354.93/355.23	c |    670571 |     700    14000    70000 |    72697    62807    105 |  0.000 % |
355.72/356.01	c |    671971 |     700    14000    70000 |    72697    64207    105 |  0.000 % |
356.62/356.90	c |    673511 |     700    14000    70000 |    72697    65747    105 |  0.000 % |
357.52/357.83	c |    675205 |     700    14000    70000 |    72697    67441    105 |  0.000 % |
358.62/358.92	c |    677068 |     700    14000    70000 |    72697    69304    105 |  0.000 % |
359.82/360.13	c |    679117 |     700    14000    70000 |    72697    71353    105 |  0.000 % |
361.12/361.43	c |    681371 |     700    14000    70000 |    72237    63101    105 |  0.000 % |
362.42/362.76	c |    683850 |     700    14000    70000 |    72237    65580    105 |  0.000 % |
363.92/364.27	c |    686575 |     700    14000    70000 |    72237    68305    105 |  0.000 % |
365.62/365.99	c |    689572 |     700    14000    70000 |    72237    71302    106 |  0.000 % |
367.62/367.93	c |    692869 |     700    14000    70000 |    71730    64997    105 |  0.000 % |
369.61/369.94	c |    696497 |     700    14000    70000 |    71730    68625    105 |  0.000 % |
372.01/372.35	c |    700484 |     700    14000    70000 |    62627    54883    104 |  0.000 % |
374.31/374.63	c |    704869 |     700    14000    70000 |    62627    59268    105 |  0.000 % |
376.92/377.24	c |    709692 |     700    14000    70000 |    62627    57555    104 |  0.000 % |
379.61/379.97	c |    714997 |     700    14000    70000 |    57864    57049    104 |  0.000 % |
382.71/383.05	c |    720834 |     700    14000    70000 | 2147483647    57077    105 |  0.000 % |
386.21/386.52	c |    727254 |     700    14000    70000 | 2147483647    63497    105 |  0.000 % |
386.21/386.58	c |    727355 |     700    14000    70000 | 2147483647    63598    105 |  0.000 % |
386.31/386.65	c |    727465 |     700    14000    70000 | 2147483647    63708    105 |  0.000 % |
386.41/386.73	c |    727586 |     700    14000    70000 | 2147483647    63829    105 |  0.000 % |
386.51/386.81	c |    727719 |     700    14000    70000 | 2147483647    63962    105 |  0.000 % |
386.61/386.90	c |    727868 |     700    14000    70000 | 2147483647    64111    105 |  0.000 % |
386.71/387.01	c |    728028 |     700    14000    70000 | 2147483647    64271    105 |  0.000 % |
386.81/387.13	c |    728204 |     700    14000    70000 | 2147483647    64447    105 |  0.000 % |
386.91/387.26	c |    728397 |     700    14000    70000 | 2147483647    64640    105 |  0.000 % |
387.01/387.38	c |    728609 |     700    14000    70000 | 2147483647    64852    105 |  0.000 % |
387.21/387.53	c |    728844 |     700    14000    70000 | 2147483647    65087    105 |  0.000 % |
387.31/387.69	c |    729100 |     700    14000    70000 | 2147483647    65343    105 |  0.000 % |
387.51/387.86	c |    729384 |     700    14000    70000 | 2147483647    65627    105 |  0.000 % |
387.71/388.08	c |    729693 |     700    14000    70000 | 2147483647    65936    105 |  0.000 % |
387.91/388.27	c |    730032 |     700    14000    70000 | 2147483647    66275    105 |  0.000 % |
388.21/388.52	c |    730406 |     700    14000    70000 | 2147483647    66649    105 |  0.000 % |
388.41/388.75	c |    730817 |     700    14000    70000 | 2147483647    67060    105 |  0.000 % |
388.71/389.03	c |    731266 |     700    14000    70000 | 2147483647    67509    105 |  0.000 % |
389.01/389.32	c |    731759 |     700    14000    70000 | 2147483647    68002    105 |  0.000 % |
389.31/389.68	c |    732301 |     700    14000    70000 | 2147483647    68544    105 |  0.000 % |
389.70/390.02	c |    732899 |     700    14000    70000 | 2147483647    69142    105 |  0.000 % |
390.00/390.38	c |    733554 |     700    14000    70000 | 2147483647    69797    105 |  0.000 % |
390.50/390.83	c |    734274 |     700    14000    70000 | 2147483647    70517    105 |  0.000 % |
391.00/391.34	c |    735067 |     700    14000    70000 | 2147483647    71310    105 |  0.000 % |
391.60/391.90	c |    735938 |     700    14000    70000 | 2147483647    72181    105 |  0.000 % |
392.20/392.52	c |    736897 |     700    14000    70000 | 2147483647    73140    105 |  0.000 % |
392.80/393.18	c |    737951 |     700    14000    70000 | 2147483647    74194    105 |  0.000 % |
393.60/393.98	c |    739109 |     700    14000    70000 | 2147483647    75352    105 |  0.000 % |
394.40/394.79	c |    740382 |     700    14000    70000 |    76243    65463    105 |  0.000 % |
395.30/395.66	c |    741782 |     700    14000    70000 |    76243    66863    105 |  0.000 % |
396.20/396.53	c |    743323 |     700    14000    70000 |    76243    68404    105 |  0.000 % |
397.10/397.45	c |    745017 |     700    14000    70000 |    76243    70098    105 |  0.000 % |
398.20/398.56	c |    746881 |     700    14000    70000 |    76243    71962    104 |  0.000 % |
399.40/399.79	c |    748930 |     700    14000    70000 |    76243    74011    104 |  0.000 % |
400.79/401.17	c |    751184 |     700    14000    70000 |    75082    64673    104 |  0.000 % |
402.19/402.55	c |    753662 |     700    14000    70000 |    75082    67151    104 |  0.000 % |
403.78/404.14	c |    756389 |     700    14000    70000 |    75082    69878    104 |  0.000 % |
405.68/406.04	c |    759386 |     700    14000    70000 |    75082    72875    105 |  0.000 % |
407.58/407.97	c |    762682 |     700    14000    70000 |    73492    65897    104 |  0.000 % |
409.68/410.07	c |    766307 |     700    14000    70000 |    73492    69522    104 |  0.000 % |
412.08/412.50	c |    770296 |     700    14000    70000 |    73215    64349    105 |  0.000 % |
414.57/414.97	c |    774682 |     700    14000    70000 |    73215    68735    105 |  0.000 % |
417.58/417.95	c |    779505 |     700    14000    70000 |    73215    64407    105 |  0.000 % |
420.27/420.64	c |    784810 |     700    14000    70000 |    64902    61463    105 |  0.000 % |
423.37/423.71	c |    790647 |     700    14000    70000 |    59615    53954    106 |  0.000 % |
426.67/427.05	c |    797065 |     700    14000    70000 |    59615    54388    106 |  0.000 % |
430.07/430.50	c |    804125 |     700    14000    70000 | 2147483647    61448    107 |  0.000 % |
430.17/430.55	c |    804225 |     700    14000    70000 | 2147483647    61548    106 |  0.000 % |
430.27/430.61	c |    804335 |     700    14000    70000 | 2147483647    61658    106 |  0.000 % |
430.27/430.68	c |    804456 |     700    14000    70000 | 2147483647    61779    106 |  0.000 % |
430.37/430.76	c |    804589 |     700    14000    70000 | 2147483647    61912    106 |  0.000 % |
430.47/430.86	c |    804735 |     700    14000    70000 | 2147483647    62058    106 |  0.000 % |
430.57/430.96	c |    804895 |     700    14000    70000 | 2147483647    62218    106 |  0.000 % |
430.67/431.06	c |    805071 |     700    14000    70000 | 2147483647    62394    106 |  0.000 % |
430.87/431.20	c |    805265 |     700    14000    70000 | 2147483647    62588    106 |  0.000 % |
430.97/431.35	c |    805478 |     700    14000    70000 | 2147483647    62801    106 |  0.000 % |
431.07/431.48	c |    805713 |     700    14000    70000 | 2147483647    63036    106 |  0.000 % |
431.27/431.63	c |    805969 |     700    14000    70000 | 2147483647    63292    106 |  0.000 % |
431.37/431.79	c |    806250 |     700    14000    70000 | 2147483647    63573    106 |  0.000 % |
431.57/431.99	c |    806559 |     700    14000    70000 | 2147483647    63882    106 |  0.000 % |
431.87/432.21	c |    806900 |     700    14000    70000 | 2147483647    64223    106 |  0.000 % |
432.07/432.42	c |    807273 |     700    14000    70000 | 2147483647    64596    106 |  0.000 % |
432.27/432.65	c |    807683 |     700    14000    70000 | 2147483647    65006    106 |  0.000 % |
432.57/432.92	c |    808133 |     700    14000    70000 | 2147483647    65456    106 |  0.000 % |
432.87/433.20	c |    808627 |     700    14000    70000 | 2147483647    65950    106 |  0.000 % |
433.17/433.50	c |    809169 |     700    14000    70000 | 2147483647    66492    106 |  0.000 % |
433.47/433.89	c |    809765 |     700    14000    70000 | 2147483647    67088    106 |  0.000 % |
433.87/434.29	c |    810421 |     700    14000    70000 |    67323    59643    106 |  0.000 % |
434.27/434.68	c |    811141 |     700    14000    70000 |    67323    60363    106 |  0.000 % |
434.77/435.10	c |    811933 |     700    14000    70000 |    67323    61155    106 |  0.000 % |
435.17/435.53	c |    812804 |     700    14000    70000 |    67323    62026    106 |  0.000 % |
435.67/436.02	c |    813763 |     700    14000    70000 |    67323    62985    106 |  0.000 % |
436.17/436.60	c |    814816 |     700    14000    70000 |    67323    64038    106 |  0.000 % |
436.87/437.20	c |    815974 |     700    14000    70000 |    67323    65196    106 |  0.000 % |
437.57/437.92	c |    817247 |     700    14000    70000 |    67323    66469    106 |  0.000 % |
438.37/438.78	c |    818648 |     700    14000    70000 |    67323    59834    106 |  0.000 % |
439.17/439.56	c |    820188 |     700    14000    70000 |    61186    61374    106 |  0.000 % |
439.97/440.33	c |    821882 |     700    14000    70000 |    61186    56109    105 |  0.000 % |
440.86/441.26	c |    823746 |     700    14000    70000 |    61186    57973    105 |  0.000 % |
441.87/442.26	c |    825796 |     700    14000    70000 |    61186    60023    105 |  0.000 % |
443.06/443.45	c |    828050 |     700    14000    70000 |    61186    56133    105 |  0.000 % |
444.36/444.72	c |    830528 |     700    14000    70000 | 2147483647    58611    105 |  0.000 % |
445.76/446.14	c |    833253 |     700    14000    70000 | 2147483647    61336    105 |  0.000 % |
447.26/447.69	c |    836251 |     700    14000    70000 | 2147483647    64334    105 |  0.000 % |
449.06/449.41	c |    839548 |     700    14000    70000 | 2147483647    67631    105 |  0.000 % |
451.06/451.43	c |    843173 |     700    14000    70000 |    68085    63661    105 |  0.000 % |
453.26/453.63	c |    847163 |     700    14000    70000 |    68085    67651    105 |  0.000 % |
455.66/456.02	c |    851551 |     700    14000    70000 |    62034    56322    104 |  0.000 % |
458.16/458.55	c |    856374 |     700    14000    70000 |    62034    61145    104 |  0.000 % |
460.96/461.30	c |    861679 |     700    14000    70000 |    57975    53653    105 |  0.000 % |
463.86/464.24	c |    867515 |     700    14000    70000 |    57975    53665    106 |  0.000 % |
467.06/467.47	c |    873933 |     700    14000    70000 | 2147483647    60083    106 |  0.000 % |
470.95/471.40	c |    880993 |     700    14000    70000 |    66150    59724    107 |  0.000 % |
475.35/475.76	c |    888757 |     700    14000    70000 |    66150    59377    108 |  0.000 % |
475.45/475.82	c |    888859 |     700    14000    70000 |    66150    59479    108 |  0.000 % |
475.45/475.88	c |    888969 |     700    14000    70000 |    66150    59589    108 |  0.000 % |
475.55/475.95	c |    889090 |     700    14000    70000 |    66150    59710    108 |  0.000 % |
475.65/476.06	c |    889223 |     700    14000    70000 |    66150    59843    108 |  0.000 % |
475.75/476.15	c |    889373 |     700    14000    70000 |    66150    59993    108 |  0.000 % |
475.85/476.24	c |    889534 |     700    14000    70000 |    66150    60154    108 |  0.000 % |
475.95/476.36	c |    889712 |     700    14000    70000 |    66150    60332    108 |  0.000 % |
476.05/476.48	c |    889905 |     700    14000    70000 |    66150    60525    108 |  0.000 % |
476.25/476.61	c |    890119 |     700    14000    70000 |    60620    60739    108 |  0.000 % |
476.35/476.76	c |    890353 |     700    14000    70000 |    60620    53518    108 |  0.000 % |
476.45/476.89	c |    890609 |     700    14000    70000 |    60620    53774    108 |  0.000 % |
476.65/477.04	c |    890890 |     700    14000    70000 |    60620    54055    108 |  0.000 % |
476.75/477.17	c |    891199 |     700    14000    70000 |    60620    54364    108 |  0.000 % |
476.95/477.35	c |    891541 |     700    14000    70000 |    60620    54706    108 |  0.000 % |
477.15/477.56	c |    891913 |     700    14000    70000 |    60620    55078    108 |  0.000 % |
477.35/477.78	c |    892323 |     700    14000    70000 |    60620    55488    108 |  0.000 % |
477.65/478.01	c |    892774 |     700    14000    70000 |    60620    55939    108 |  0.000 % |
477.85/478.29	c |    893267 |     700    14000    70000 |    60620    56432    108 |  0.000 % |
478.15/478.59	c |    893810 |     700    14000    70000 |    60620    56975    108 |  0.000 % |
478.45/478.89	c |    894406 |     700    14000    70000 |    60620    57571    108 |  0.000 % |
478.85/479.22	c |    895061 |     700    14000    70000 |    60620    58226    107 |  0.000 % |
479.25/479.65	c |    895781 |     700    14000    70000 |    60620    58946    107 |  0.000 % |
479.65/480.09	c |    896574 |     700    14000    70000 |    60620    59739    107 |  0.000 % |
480.15/480.60	c |    897446 |     700    14000    70000 |    60620    60611    107 |  0.000 % |
480.75/481.12	c |    898404 |     700    14000    70000 |    60620    55323    107 |  0.000 % |
481.24/481.62	c |    899459 |     700    14000    70000 |    60620    56378    107 |  0.000 % |
481.84/482.20	c |    900618 |     700    14000    70000 | 2147483647    57537    107 |  0.000 % |
482.34/482.79	c |    901892 |     700    14000    70000 | 2147483647    58811    107 |  0.000 % |
483.04/483.49	c |    903292 |     700    14000    70000 | 2147483647    60211    107 |  0.000 % |
483.84/484.28	c |    904832 |     700    14000    70000 | 2147483647    61751    107 |  0.000 % |
484.75/485.16	c |    906527 |     700    14000    70000 | 2147483647    63446    107 |  0.000 % |
485.84/486.27	c |    908391 |     700    14000    70000 | 2147483647    65310    107 |  0.000 % |
487.04/487.50	c |    910440 |     700    14000    70000 |    66919    60046    107 |  0.000 % |
488.24/488.67	c |    912693 |     700    14000    70000 |    66919    62299    107 |  0.000 % |
489.64/490.02	c |    915176 |     700    14000    70000 |    66919    64782    107 |  0.000 % |
491.24/491.67	c |    917901 |     700    14000    70000 |    66919    59840    107 |  0.000 % |
492.94/493.38	c |    920898 |     700    14000    70000 |    61940    55677    106 |  0.000 % |
494.64/495.05	c |    924194 |     700    14000    70000 |    61940    58973    106 |  0.000 % |
496.54/496.99	c |    927819 |     700    14000    70000 |    61940    56384    106 |  0.000 % |
498.64/499.01	c |    931807 |     700    14000    70000 | 2147483647    60372    106 |  0.000 % |
501.04/501.41	c |    936196 |     700    14000    70000 | 2147483647    64761    106 |  0.000 % |
503.83/504.23	c |    941021 |     700    14000    70000 |    68565    61889    105 |  0.000 % |
506.64/507.03	c |    946326 |     700    14000    70000 |    68565    67194    105 |  0.000 % |
509.73/510.11	c |    952162 |     700    14000    70000 |    62487    57043    106 |  0.000 % |
513.13/513.52	c |    958582 |     700    14000    70000 |    62487    57019    107 |  0.000 % |
516.54/516.96	c |    965641 |     700    14000    70000 |    58440    58190    107 |  0.000 % |
520.63/521.08	c |    973406 |     700    14000    70000 | 2147483647    60090    107 |  0.000 % |
525.83/526.22	c |    981947 |     700    14000    70000 |    66684    60541    107 |  0.000 % |
525.83/526.29	c |    982048 |     700    14000    70000 |    66684    60642    107 |  0.000 % |
525.93/526.37	c |    982160 |     700    14000    70000 |    66684    60754    107 |  0.000 % |
526.03/526.45	c |    982281 |     700    14000    70000 |    66684    60875    107 |  0.000 % |
526.13/526.54	c |    982414 |     700    14000    70000 |    66684    61008    107 |  0.000 % |
526.23/526.64	c |    982560 |     700    14000    70000 |    66684    61154    107 |  0.000 % |
526.33/526.77	c |    982720 |     700    14000    70000 |    66684    61314    107 |  0.000 % |
526.43/526.87	c |    982896 |     700    14000    70000 |    66684    61490    107 |  0.000 % |
526.53/526.98	c |    983089 |     700    14000    70000 |    66684    61683    107 |  0.000 % |
526.73/527.12	c |    983301 |     700    14000    70000 |    66684    61895    107 |  0.000 % |
526.83/527.26	c |    983535 |     700    14000    70000 |    66684    62129    107 |  0.000 % |
527.03/527.43	c |    983791 |     700    14000    70000 |    66684    62385    107 |  0.000 % |
527.13/527.59	c |    984072 |     700    14000    70000 |    66684    62666    107 |  0.000 % |
527.33/527.80	c |    984381 |     700    14000    70000 |    66684    62975    107 |  0.000 % |
527.53/527.99	c |    984721 |     700    14000    70000 |    66684    63315    107 |  0.000 % |
527.83/528.20	c |    985093 |     700    14000    70000 |    66684    63687    107 |  0.000 % |
528.03/528.46	c |    985503 |     700    14000    70000 |    66684    64097    107 |  0.000 % |
528.33/528.73	c |    985952 |     700    14000    70000 |    66684    64546    107 |  0.000 % |
528.63/529.02	c |    986447 |     700    14000    70000 |    66684    65041    106 |  0.000 % |
528.93/529.34	c |    986990 |     700    14000    70000 |    66684    65584    106 |  0.000 % |
529.23/529.68	c |    987586 |     700    14000    70000 |    66684    66180    106 |  0.000 % |
529.63/530.09	c |    988241 |     700    14000    70000 |    66684    66835    106 |  0.000 % |
530.03/530.49	c |    988961 |     700    14000    70000 |    66684    58864    106 |  0.000 % |
530.53/530.93	c |    989753 |     700    14000    70000 |    66684    59656    106 |  0.000 % |
531.02/531.41	c |    990624 |     700    14000    70000 |    59904    53030    106 |  0.000 % |
531.42/531.89	c |    991582 |     700    14000    70000 |    59904    53988    106 |  0.000 % |
532.02/532.48	c |    992636 |     700    14000    70000 |    59904    55042    106 |  0.000 % |
532.62/533.07	c |    993794 |     700    14000    70000 |    59904    56200    106 |  0.000 % |
533.22/533.67	c |    995067 |     700    14000    70000 |    59904    57473    106 |  0.000 % |
534.02/534.46	c |    996467 |     700    14000    70000 |    59904    58873    106 |  0.000 % |
534.82/535.29	c |    998007 |     700    14000    70000 |    59904    54399    105 |  0.000 % |
535.72/536.11	c |    999702 |     700    14000    70000 |    59904    56094    105 |  0.000 % |
536.62/537.06	c |   1001565 |     700    14000    70000 | 2147483647    57957    105 |  0.000 % |
537.72/538.16	c |   1003615 |     700    14000    70000 | 2147483647    60007    105 |  0.000 % |
538.91/539.30	c |   1005869 |     700    14000    70000 | 2147483647    62261    105 |  0.000 % |
540.21/540.64	c |   1008349 |     700    14000    70000 | 2147483647    64741    105 |  0.000 % |
541.92/542.31	c |   1011074 |     700    14000    70000 | 2147483647    67466    105 |  0.000 % |
543.71/544.10	c |   1014072 |     700    14000    70000 | 2147483647    70464    105 |  0.000 % |
545.81/546.27	c |   1017369 |     700    14000    70000 | 2147483647    73761    105 |  0.000 % |
548.32/548.73	c |   1020995 |     700    14000    70000 |    76393    65994    104 |  0.000 % |
550.72/551.12	c |   1024983 |     700    14000    70000 |    76393    69982    104 |  0.000 % |
553.32/553.74	c |   1029368 |     700    14000    70000 |    76393    74367    105 |  0.000 % |
556.02/556.45	c |   1034191 |     700    14000    70000 |    75000    68620    105 |  0.000 % |
559.12/559.53	c |   1039498 |     700    14000    70000 |    75000    73927    105 |  0.000 % |
562.61/563.05	c |   1045335 |     700    14000    70000 |    74431    69485    105 |  0.000 % |
566.61/567.04	c |   1051757 |     700    14000    70000 |    74150    65325    106 |  0.000 % |
571.11/571.58	c |   1058817 |     700    14000    70000 |    74150    72385    106 |  0.000 % |
576.11/576.51	c |   1066584 |     700    14000    70000 |    73568    69147    108 |  0.000 % |
580.91/581.32	c |   1075126 |     700    14000    70000 |    72564    66976    108 |  0.000 % |
586.10/586.57	c |   1084520 |     700    14000    70000 |    71854    65489    109 |  0.000 % |
586.20/586.65	c |   1084622 |     700    14000    70000 |    71854    65591    109 |  0.000 % |
586.30/586.71	c |   1084732 |     700    14000    70000 |    71854    65701    108 |  0.000 % |
586.30/586.79	c |   1084855 |     700    14000    70000 |    71854    65824    108 |  0.000 % |
586.40/586.89	c |   1084990 |     700    14000    70000 |    71854    65959    108 |  0.000 % |
586.50/586.99	c |   1085136 |     700    14000    70000 |    71854    66105    108 |  0.000 % |
586.60/587.09	c |   1085296 |     700    14000    70000 |    71854    66265    108 |  0.000 % |
586.70/587.19	c |   1085472 |     700    14000    70000 |    71854    66441    108 |  0.000 % |
586.91/587.33	c |   1085666 |     700    14000    70000 |    71854    66635    108 |  0.000 % |
587.01/587.47	c |   1085880 |     700    14000    70000 |    71854    66849    108 |  0.000 % |
587.10/587.59	c |   1086113 |     700    14000    70000 |    71854    67082    108 |  0.000 % |
587.30/587.74	c |   1086369 |     700    14000    70000 |    71854    67338    108 |  0.000 % |
587.50/587.91	c |   1086651 |     700    14000    70000 |    71854    67620    108 |  0.000 % |
587.70/588.10	c |   1086961 |     700    14000    70000 |    71854    67930    108 |  0.000 % |
587.80/588.29	c |   1087301 |     700    14000    70000 |    71854    68270    108 |  0.000 % |
588.11/588.51	c |   1087673 |     700    14000    70000 |    71854    68642    108 |  0.000 % |
588.30/588.75	c |   1088082 |     700    14000    70000 |    71854    69051    108 |  0.000 % |
588.60/589.06	c |   1088532 |     700    14000    70000 |    71854    69501    108 |  0.000 % |
589.00/589.42	c |   1089025 |     700    14000    70000 |    71854    69994    108 |  0.000 % |
589.30/589.78	c |   1089567 |     700    14000    70000 |    71854    70536    108 |  0.000 % |
589.70/590.18	c |   1090163 |     700    14000    70000 |    70969    71132    108 |  0.000 % |
590.10/590.59	c |   1090818 |     700    14000    70000 |    70969    60857    108 |  0.000 % |
590.50/590.98	c |   1091538 |     700    14000    70000 |    70969    61577    108 |  0.000 % |
591.00/591.44	c |   1092330 |     700    14000    70000 |    70969    62369    107 |  0.000 % |
591.50/591.93	c |   1093201 |     700    14000    70000 |    70969    63240    107 |  0.000 % |
592.00/592.47	c |   1094159 |     700    14000    70000 |    70969    64198    107 |  0.000 % |
592.60/593.04	c |   1095212 |     700    14000    70000 |    70969    65251    107 |  0.000 % |
593.20/593.69	c |   1096370 |     700    14000    70000 |    70969    66409    107 |  0.000 % |
593.90/594.39	c |   1097643 |     700    14000    70000 |    70969    67682    107 |  0.000 % |
594.71/595.20	c |   1099043 |     700    14000    70000 |    70969    69082    107 |  0.000 % |
595.70/596.19	c |   1100583 |     700    14000    70000 |    70040    60575    107 |  0.000 % |
596.70/597.13	c |   1102277 |     700    14000    70000 |    70040    62269    107 |  0.000 % |
597.70/598.14	c |   1104140 |     700    14000    70000 |    70040    64132    107 |  0.000 % |
598.90/599.34	c |   1106189 |     700    14000    70000 |    70040    66181    107 |  0.000 % |
600.20/600.63	c |   1108442 |     700    14000    70000 |    70040    68434    107 |  0.000 % |
601.80/602.24	c |   1110922 |     700    14000    70000 |    69993    61365    106 |  0.000 % |
603.29/603.73	c |   1113648 |     700    14000    70000 |    69993    64091    106 |  0.000 % |
604.89/605.32	c |   1116646 |     700    14000    70000 |    69993    67089    106 |  0.000 % |
606.80/607.21	c |   1119942 |     700    14000    70000 |    69993    61861    106 |  0.000 % |
608.59/609.01	c |   1123567 |     700    14000    70000 |    61920    58007    105 |  0.000 % |
610.59/611.06	c |   1127555 |     700    14000    70000 |    61920    61995    106 |  0.000 % |
612.69/613.14	c |   1131941 |     700    14000    70000 | 2147483647    60182    106 |  0.000 % |
615.39/615.84	c |   1136764 |     700    14000    70000 | 2147483647    65005    106 |  0.000 % |
618.29/618.79	c |   1142071 |     700    14000    70000 |    68242    62919    105 |  0.000 % |
621.59/622.01	c |   1147907 |     700    14000    70000 |    68242    60608    106 |  0.000 % |
624.89/625.35	c |   1154325 |     700    14000    70000 |    62701    59747    107 |  0.000 % |
628.69/629.17	c |   1161385 |     700    14000    70000 | 2147483647    60513    107 |  0.000 % |
633.09/633.51	c |   1169149 |     700    14000    70000 | 2147483647    68277    108 |  0.000 % |
638.18/638.63	c |   1177689 |     700    14000    70000 |    69129    68569    108 |  0.000 % |
643.38/643.87	c |   1187084 |     700    14000    70000 |    61210    59861    108 |  0.000 % |
648.28/648.71	c |   1197418 |     700    14000    70000 |    55633    51326    109 |  0.000 % |
648.28/648.75	c |   1197520 |     700    14000    70000 |    55633    51428    109 |  0.000 % |
648.38/648.82	c |   1197631 |     700    14000    70000 |    55633    51539    109 |  0.000 % |
648.38/648.88	c |   1197752 |     700    14000    70000 |    55633    51660    109 |  0.000 % |
648.48/648.95	c |   1197887 |     700    14000    70000 |    55633    51795    109 |  0.000 % |
648.58/649.02	c |   1198033 |     700    14000    70000 |    55633    51941    109 |  0.000 % |
648.68/649.12	c |   1198194 |     700    14000    70000 |    55633    52102    109 |  0.000 % |
648.78/649.22	c |   1198370 |     700    14000    70000 |    55633    52278    109 |  0.000 % |
648.88/649.32	c |   1198563 |     700    14000    70000 |    55633    52471    109 |  0.000 % |
648.98/649.43	c |   1198777 |     700    14000    70000 |    55633    52685    109 |  0.000 % |
649.08/649.54	c |   1199011 |     700    14000    70000 |    55633    52919    108 |  0.000 % |
649.18/649.69	c |   1199267 |     700    14000    70000 |    55633    53175    108 |  0.000 % |
649.38/649.84	c |   1199548 |     700    14000    70000 |    55633    53456    108 |  0.000 % |
649.58/650.03	c |   1199859 |     700    14000    70000 |    55633    53767    108 |  0.000 % |
649.78/650.20	c |   1200199 |     700    14000    70000 | 2147483647    54107    108 |  0.000 % |
649.88/650.38	c |   1200571 |     700    14000    70000 | 2147483647    54479    108 |  0.000 % |
650.18/650.61	c |   1200981 |     700    14000    70000 | 2147483647    54889    108 |  0.000 % |
650.38/650.84	c |   1201433 |     700    14000    70000 | 2147483647    55341    108 |  0.000 % |
650.58/651.09	c |   1201926 |     700    14000    70000 | 2147483647    55834    108 |  0.000 % |
650.88/651.35	c |   1202468 |     700    14000    70000 | 2147483647    56376    108 |  0.000 % |
651.18/651.60	c |   1203066 |     700    14000    70000 | 2147483647    56974    108 |  0.000 % |
651.47/651.94	c |   1203723 |     700    14000    70000 | 2147483647    57631    108 |  0.000 % |
651.78/652.29	c |   1204443 |     700    14000    70000 | 2147483647    58351    108 |  0.000 % |
652.27/652.72	c |   1205237 |     700    14000    70000 | 2147483647    59145    108 |  0.000 % |
652.67/653.17	c |   1206109 |     700    14000    70000 | 2147483647    60017    108 |  0.000 % |
653.17/653.69	c |   1207068 |     700    14000    70000 | 2147483647    60976    108 |  0.000 % |
653.77/654.29	c |   1208122 |     700    14000    70000 | 2147483647    62030    108 |  0.000 % |
654.47/654.91	c |   1209281 |     700    14000    70000 | 2147483647    63189    107 |  0.000 % |
655.08/655.56	c |   1210555 |     700    14000    70000 | 2147483647    64463    107 |  0.000 % |
655.97/656.48	c |   1211955 |     700    14000    70000 | 2147483647    65863    107 |  0.000 % |
656.87/657.37	c |   1213495 |     700    14000    70000 | 2147483647    67403    107 |  0.000 % |
657.87/658.38	c |   1215191 |     700    14000    70000 | 2147483647    69099    107 |  0.000 % |
658.97/659.49	c |   1217054 |     700    14000    70000 | 2147483647    70962    107 |  0.000 % |
660.27/660.78	c |   1219105 |     700    14000    70000 | 2147483647    73013    107 |  0.000 % |
661.78/662.24	c |   1221358 |     700    14000    70000 |    73909    64979    106 |  0.000 % |
663.27/663.71	c |   1223836 |     700    14000    70000 |    73909    67457    106 |  0.000 % |
664.87/665.33	c |   1226563 |     700    14000    70000 |    73909    70184    106 |  0.000 % |
666.87/667.34	c |   1229562 |     700    14000    70000 |    73909    73183    106 |  0.000 % |
668.87/669.32	c |   1232858 |     700    14000    70000 |    73622    65217    105 |  0.000 % |
670.87/671.35	c |   1236484 |     700    14000    70000 |    73622    68843    105 |  0.000 % |
673.37/673.81	c |   1240472 |     700    14000    70000 |    72360    62190    105 |  0.000 % |
675.76/676.22	c |   1244857 |     700    14000    70000 |    72360    66575    105 |  0.000 % |
678.76/679.20	c |   1249681 |     700    14000    70000 |    72360    71399    104 |  0.000 % |
681.85/682.30	c |   1254986 |     700    14000    70000 |    71722    66697    105 |  0.000 % |
685.15/685.69	c |   1260821 |     700    14000    70000 |    71712    62998    103 |  0.000 % |
688.95/689.42	c |   1267240 |     700    14000    70000 |    71712    69417    104 |  0.000 % |
693.05/693.54	c |   1274299 |     700    14000    70000 |    62971    59278    105 |  0.000 % |
697.55/698.10	c |   1282064 |     700    14000    70000 | 2147483647    60724    106 |  0.000 % |
701.85/702.38	c |   1290604 |     700    14000    70000 |    68661    60743    107 |  0.000 % |
707.15/707.61	c |   1299998 |     700    14000    70000 |    68661    60862    107 |  0.000 % |
712.44/712.91	c |   1310331 |     700    14000    70000 | 2147483647    56966    109 |  0.000 % |
718.94/719.41	c |   1321699 |     700    14000    70000 |    66636    61055    110 |  0.000 % |
718.94/719.46	c |   1321799 |     700    14000    70000 |    66636    61155    109 |  0.000 % |
719.04/719.53	c |   1321909 |     700    14000    70000 |    66636    61265    109 |  0.000 % |
719.04/719.59	c |   1322030 |     700    14000    70000 |    66636    61386    109 |  0.000 % |
719.14/719.69	c |   1322164 |     700    14000    70000 |    66636    61520    109 |  0.000 % |
719.24/719.78	c |   1322310 |     700    14000    70000 |    66636    61666    109 |  0.000 % |
719.34/719.88	c |   1322471 |     700    14000    70000 |    66636    61827    109 |  0.000 % |
719.44/720.00	c |   1322647 |     700    14000    70000 |    66636    62003    109 |  0.000 % |
719.64/720.10	c |   1322840 |     700    14000    70000 |    66636    62196    109 |  0.000 % |
719.74/720.23	c |   1323054 |     700    14000    70000 |    66636    62410    109 |  0.000 % |
719.83/720.36	c |   1323287 |     700    14000    70000 |    66636    62643    109 |  0.000 % |
720.04/720.51	c |   1323545 |     700    14000    70000 |    66636    62901    109 |  0.000 % |
720.23/720.72	c |   1323828 |     700    14000    70000 |    66636    63184    109 |  0.000 % |
720.43/720.90	c |   1324138 |     700    14000    70000 |    66636    63494    109 |  0.000 % |
720.53/721.07	c |   1324477 |     700    14000    70000 |    66636    63833    109 |  0.000 % |
720.73/721.26	c |   1324850 |     700    14000    70000 |    66636    64206    109 |  0.000 % |
720.93/721.49	c |   1325260 |     700    14000    70000 |    66636    64616    109 |  0.000 % |
721.23/721.75	c |   1325709 |     700    14000    70000 |    66636    65065    109 |  0.000 % |
721.53/722.01	c |   1326202 |     700    14000    70000 |    66636    65558    109 |  0.000 % |
721.83/722.33	c |   1326745 |     700    14000    70000 |    66636    66101    109 |  0.000 % |
722.14/722.69	c |   1327341 |     700    14000    70000 |    66636    66697    109 |  0.000 % |
722.53/723.08	c |   1327996 |     700    14000    70000 |    66636    59373    109 |  0.000 % |
722.93/723.44	c |   1328717 |     700    14000    70000 |    66636    60094    109 |  0.000 % |
723.34/723.83	c |   1329509 |     700    14000    70000 |    66636    60886    109 |  0.000 % |
723.93/724.41	c |   1330381 |     700    14000    70000 |    61379    54639    108 |  0.000 % |
724.34/724.89	c |   1331341 |     700    14000    70000 |    61379    55599    108 |  0.000 % |
724.93/725.45	c |   1332394 |     700    14000    70000 |    61379    56652    108 |  0.000 % |
725.54/726.03	c |   1333553 |     700    14000    70000 |    61379    57811    108 |  0.000 % |
726.23/726.70	c |   1334827 |     700    14000    70000 |    61379    59085    108 |  0.000 % |
727.03/727.50	c |   1336227 |     700    14000    70000 |    61379    60485    108 |  0.000 % |
727.83/728.35	c |   1337767 |     700    14000    70000 |    61379    55863    107 |  0.000 % |
728.74/729.20	c |   1339461 |     700    14000    70000 |    61379    57557    107 |  0.000 % |
729.63/730.13	c |   1341326 |     700    14000    70000 | 2147483647    59422    107 |  0.000 % |
730.73/731.25	c |   1343377 |     700    14000    70000 | 2147483647    61473    107 |  0.000 % |
731.93/732.41	c |   1345631 |     700    14000    70000 | 2147483647    63727    107 |  0.000 % |
733.23/733.70	c |   1348109 |     700    14000    70000 | 2147483647    66205    107 |  0.000 % |
734.63/735.19	c |   1350834 |     700    14000    70000 | 2147483647    68930    107 |  0.000 % |
736.43/736.92	c |   1353832 |     700    14000    70000 | 2147483647    71928    107 |  0.000 % |
738.23/738.79	c |   1357128 |     700    14000    70000 | 2147483647    75224    107 |  0.000 % |
740.43/740.98	c |   1360753 |     700    14000    70000 |    78098    67472    107 |  0.000 % |
742.73/743.28	c |   1364741 |     700    14000    70000 |    78098    71460    107 |  0.000 % |
745.53/746.08	c |   1369126 |     700    14000    70000 |    78098    75845    107 |  0.000 % |
748.43/748.94	c |   1373949 |     700    14000    70000 |    76722    68550    106 |  0.000 % |
751.53/752.03	c |   1379255 |     700    14000    70000 |    76722    73856    106 |  0.000 % |
754.93/755.45	c |   1385090 |     700    14000    70000 |    74603    69058    105 |  0.000 % |
758.43/758.94	c |   1391508 |     700    14000    70000 |    73968    64427    106 |  0.000 % |
762.42/762.96	c |   1398569 |     700    14000    70000 |    73968    71488    106 |  0.000 % |
766.52/767.08	c |   1406334 |     700    14000    70000 |    72919    67830    107 |  0.000 % |
771.42/771.95	c |   1414876 |     700    14000    70000 |    71498    65724    108 |  0.000 % |
777.02/777.59	c |   1424270 |     700    14000    70000 |    70848    64767    108 |  0.000 % |
783.51/784.03	c |   1434605 |     700    14000    70000 |    70498    64692    108 |  0.000 % |
790.32/790.88	c |   1445972 |     700    14000    70000 |    70087    66322    108 |  0.000 % |
798.51/799.05	c |   1458474 |     700    14000    70000 |    70350    68686    108 |  0.000 % |
798.61/799.12	c |   1458574 |     700    14000    70000 |    70350    68786    108 |  0.000 % |
798.71/799.21	c |   1458686 |     700    14000    70000 |    70350    68898    108 |  0.000 % |
798.81/799.30	c |   1458807 |     700    14000    70000 |    70350    69019    108 |  0.000 % |
798.81/799.39	c |   1458940 |     700    14000    70000 |    70350    69152    108 |  0.000 % |
798.91/799.49	c |   1459087 |     700    14000    70000 |    70350    69299    108 |  0.000 % |
799.11/799.61	c |   1459248 |     700    14000    70000 |    70350    69460    108 |  0.000 % |
799.21/799.72	c |   1459424 |     700    14000    70000 |    70350    69636    108 |  0.000 % |
799.31/799.87	c |   1459617 |     700    14000    70000 |    70350    69829    108 |  0.000 % |
799.51/800.03	c |   1459834 |     700    14000    70000 |    70350    70046    108 |  0.000 % |
799.61/800.19	c |   1460067 |     700    14000    70000 |    70213    70279    108 |  0.000 % |
799.91/800.41	c |   1460323 |     700    14000    70000 |    70213    59803    108 |  0.000 % |
800.01/800.58	c |   1460606 |     700    14000    70000 |    70213    60086    108 |  0.000 % |
800.21/800.76	c |   1460917 |     700    14000    70000 |    70213    60397    108 |  0.000 % |
800.40/800.96	c |   1461256 |     700    14000    70000 |    70213    60736    108 |  0.000 % |
800.60/801.15	c |   1461628 |     700    14000    70000 |    70213    61108    107 |  0.000 % |
800.80/801.37	c |   1462037 |     700    14000    70000 |    70213    61517    107 |  0.000 % |
801.10/801.64	c |   1462487 |     700    14000    70000 |    70213    61967    107 |  0.000 % |
801.40/801.94	c |   1462981 |     700    14000    70000 |    70213    62461    107 |  0.000 % |
801.70/802.26	c |   1463523 |     700    14000    70000 |    70213    63003    107 |  0.000 % |
802.10/802.63	c |   1464122 |     700    14000    70000 |    70213    63602    107 |  0.000 % |
802.40/802.98	c |   1464778 |     700    14000    70000 |    70213    64258    107 |  0.000 % |
802.90/803.44	c |   1465499 |     700    14000    70000 |    70213    64979    107 |  0.000 % |
803.40/803.97	c |   1466291 |     700    14000    70000 |    70213    65771    107 |  0.000 % |
804.00/804.52	c |   1467162 |     700    14000    70000 |    70213    66642    107 |  0.000 % |
804.50/805.05	c |   1468120 |     700    14000    70000 |    70213    67600    107 |  0.000 % |
805.10/805.68	c |   1469174 |     700    14000    70000 |    70213    68654    107 |  0.000 % |
805.90/806.45	c |   1470332 |     700    14000    70000 |    69482    60363    106 |  0.000 % |
806.60/807.12	c |   1471607 |     700    14000    70000 |    69482    61638    106 |  0.000 % |
807.30/807.81	c |   1473008 |     700    14000    70000 |    69482    63039    106 |  0.000 % |
808.10/808.67	c |   1474548 |     700    14000    70000 |    69482    64579    106 |  0.000 % |
809.00/809.59	c |   1476242 |     700    14000    70000 |    69482    66273    106 |  0.000 % |
810.20/810.76	c |   1478107 |     700    14000    70000 |    69482    68138    106 |  0.000 % |
811.59/812.11	c |   1480156 |     700    14000    70000 |    61098    61253    106 |  0.000 % |
812.69/813.23	c |   1482409 |     700    14000    70000 |    61098    55687    106 |  0.000 % |
813.99/814.50	c |   1484892 |     700    14000    70000 |    61098    58170    106 |  0.000 % |
815.29/815.89	c |   1487617 |     700    14000    70000 |    61098    60895    106 |  0.000 % |
816.89/817.44	c |   1490615 |     700    14000    70000 | 2147483647    57761    105 |  0.000 % |
818.59/819.13	c |   1493911 |     700    14000    70000 | 2147483647    61057    105 |  0.000 % |
820.39/820.98	c |   1497538 |     700    14000    70000 | 2147483647    64684    106 |  0.000 % |
822.59/823.12	c |   1501525 |     700    14000    70000 | 2147483647    68671    106 |  0.000 % |
825.19/825.79	c |   1505911 |     700    14000    70000 | 2147483647    73057    106 |  0.000 % |
828.39/828.91	c |   1510734 |     700    14000    70000 |    77147    66297    106 |  0.000 % |
831.39/831.99	c |   1516039 |     700    14000    70000 |    77147    71602    107 |  0.000 % |
834.89/835.44	c |   1521875 |     700    14000    70000 |    75565    65821    106 |  0.000 % |
838.59/839.14	c |   1528294 |     700    14000    70000 |    75565    72240    106 |  0.000 % |
842.58/843.16	c |   1535353 |     700    14000    70000 |    73949    68302    108 |  0.000 % |
847.38/847.96	c |   1543117 |     700    14000    70000 |    72950    65761    109 |  0.000 % |
852.47/853.08	c |   1551657 |     700    14000    70000 |    72644    64344    110 |  0.000 % |
858.58/859.19	c |   1561054 |     700    14000    70000 |    72687    63248    110 |  0.000 % |
864.47/865.04	c |   1571388 |     700    14000    70000 |    72196    62558    110 |  0.000 % |
870.97/871.52	c |   1582755 |     700    14000    70000 |    71172    63878    111 |  0.000 % |
878.67/879.23	c |   1595260 |     700    14000    70000 |    71124    66230    110 |  0.000 % |
886.76/887.39	c |   1609012 |     700    14000    70000 |    70970    69654    110 |  0.000 % |
886.86/887.48	c |   1609115 |     700    14000    70000 |    70970    69757    110 |  0.000 % |
886.96/887.57	c |   1609227 |     700    14000    70000 |    70970    69869    110 |  0.000 % |
887.07/887.65	c |   1609349 |     700    14000    70000 |    70970    69991    110 |  0.000 % |
887.17/887.75	c |   1609484 |     700    14000    70000 |    70970    70126    110 |  0.000 % |
887.26/887.83	c |   1609630 |     700    14000    70000 |    70970    70272    110 |  0.000 % |
887.36/887.93	c |   1609791 |     700    14000    70000 |    70970    70433    110 |  0.000 % |
887.46/888.04	c |   1609970 |     700    14000    70000 |    70970    70612    110 |  0.000 % |
887.56/888.18	c |   1610168 |     700    14000    70000 |    70642    70810    110 |  0.000 % |
887.76/888.34	c |   1610381 |     700    14000    70000 |    70642    60441    109 |  0.000 % |
887.86/888.47	c |   1610616 |     700    14000    70000 |    70642    60676    109 |  0.000 % |
888.06/888.61	c |   1610872 |     700    14000    70000 |    70642    60932    109 |  0.000 % |
888.17/888.76	c |   1611153 |     700    14000    70000 |    70642    61213    109 |  0.000 % |
888.36/888.95	c |   1611462 |     700    14000    70000 |    70642    61522    109 |  0.000 % |
888.56/889.13	c |   1611801 |     700    14000    70000 |    70642    61861    109 |  0.000 % |
888.76/889.35	c |   1612173 |     700    14000    70000 |    70642    62233    109 |  0.000 % |
888.96/889.57	c |   1612584 |     700    14000    70000 |    70642    62644    109 |  0.000 % |
889.26/889.86	c |   1613033 |     700    14000    70000 |    70642    63093    109 |  0.000 % |
889.56/890.17	c |   1613526 |     700    14000    70000 |    70642    63586    109 |  0.000 % |
889.86/890.50	c |   1614068 |     700    14000    70000 |    70642    64128    109 |  0.000 % |
890.26/890.89	c |   1614664 |     700    14000    70000 |    70642    64724    109 |  0.000 % |
890.66/891.26	c |   1615319 |     700    14000    70000 |    70642    65379    109 |  0.000 % |
891.06/891.68	c |   1616040 |     700    14000    70000 |    70642    66100    108 |  0.000 % |
891.56/892.15	c |   1616832 |     700    14000    70000 |    70642    66892    108 |  0.000 % |
892.06/892.64	c |   1617703 |     700    14000    70000 |    70642    67763    108 |  0.000 % |
892.66/893.23	c |   1618661 |     700    14000    70000 |    70642    68721    108 |  0.000 % |
893.26/893.85	c |   1619714 |     700    14000    70000 |    70642    69774    108 |  0.000 % |
893.95/894.55	c |   1620872 |     700    14000    70000 |    70060    61003    108 |  0.000 % |
894.65/895.21	c |   1622147 |     700    14000    70000 |    70060    62278    108 |  0.000 % |
895.35/895.97	c |   1623548 |     700    14000    70000 |    70060    63679    107 |  0.000 % |
896.25/896.82	c |   1625090 |     700    14000    70000 |    70060    65221    108 |  0.000 % |
897.15/897.73	c |   1626785 |     700    14000    70000 |    70060    66916    107 |  0.000 % |
898.25/898.81	c |   1628650 |     700    14000    70000 |    70060    68781    107 |  0.000 % |
899.45/900.00	c |   1630699 |     700    14000    70000 |    70131    61972    106 |  0.000 % |
900.65/901.24	c |   1632953 |     700    14000    70000 |    70131    64226    106 |  0.000 % |
902.05/902.62	c |   1635431 |     700    14000    70000 |    70131    66704    106 |  0.000 % |
903.65/904.20	c |   1638157 |     700    14000    70000 |    70131    69430    106 |  0.000 % |
905.35/905.99	c |   1641156 |     700    14000    70000 |    62643    56195    105 |  0.000 % |
907.15/907.71	c |   1644452 |     700    14000    70000 |    62643    59491    105 |  0.000 % |
909.15/909.71	c |   1648078 |     700    14000    70000 |    62643    56828    105 |  0.000 % |
911.05/911.68	c |   1652065 |     700    14000    70000 | 2147483647    60815    105 |  0.000 % |
913.35/913.98	c |   1656450 |     700    14000    70000 | 2147483647    65200    105 |  0.000 % |
916.04/916.66	c |   1661273 |     700    14000    70000 |    68750    62756    105 |  0.000 % |
918.84/919.49	c |   1666578 |     700    14000    70000 |    68750    68061    105 |  0.000 % |
922.14/922.74	c |   1672413 |     700    14000    70000 |    63598    58510    105 |  0.000 % |
925.65/926.29	c |   1678832 |     700    14000    70000 |    63598    57942    106 |  0.000 % |
929.44/930.07	c |   1685891 |     700    14000    70000 |    59111    58721    107 |  0.000 % |
933.64/934.21	c |   1693656 |     700    14000    70000 | 2147483647    60551    107 |  0.000 % |
938.83/939.42	c |   1702197 |     700    14000    70000 |    66898    61955    108 |  0.000 % |
944.53/945.16	c |   1711592 |     700    14000    70000 |    62078    56541    109 |  0.000 % |
949.33/949.98	c |   1721926 |     700    14000    70000 |    58501    54457    109 |  0.000 % |
955.42/956.06	c |   1733293 |     700    14000    70000 | 2147483647    59950    109 |  0.000 % |
962.42/963.06	c |   1745796 |     700    14000    70000 |    66658    64599    108 |  0.000 % |
970.02/970.66	c |   1759548 |     700    14000    70000 |    60889    57453    108 |  0.000 % |
977.62/978.26	c |   1774675 |     700    14000    70000 |    67905    64856    108 |  0.000 % |
977.72/978.32	c |   1774776 |     700    14000    70000 |    67905    64957    108 |  0.000 % |
977.72/978.39	c |   1774886 |     700    14000    70000 |    67905    65067    108 |  0.000 % |
977.82/978.46	c |   1775009 |     700    14000    70000 |    67905    65190    108 |  0.000 % |
977.92/978.56	c |   1775143 |     700    14000    70000 |    67905    65324    108 |  0.000 % |
978.02/978.65	c |   1775289 |     700    14000    70000 |    67905    65470    108 |  0.000 % |
978.12/978.75	c |   1775452 |     700    14000    70000 |    67905    65633    108 |  0.000 % |
978.22/978.86	c |   1775629 |     700    14000    70000 |    67905    65810    108 |  0.000 % |
978.32/978.98	c |   1775822 |     700    14000    70000 |    67905    66003    108 |  0.000 % |
978.52/979.12	c |   1776034 |     700    14000    70000 |    67905    66215    108 |  0.000 % |
978.62/979.28	c |   1776268 |     700    14000    70000 |    67905    66449    108 |  0.000 % |
978.82/979.44	c |   1776525 |     700    14000    70000 |    67905    66706    108 |  0.000 % |
979.02/979.63	c |   1776806 |     700    14000    70000 |    67905    66987    108 |  0.000 % |
979.22/979.85	c |   1777116 |     700    14000    70000 |    67905    67297    108 |  0.000 % |
979.42/980.06	c |   1777455 |     700    14000    70000 |    67905    67636    108 |  0.000 % |
979.72/980.30	c |   1777827 |     700    14000    70000 |    67905    68008    107 |  0.000 % |
979.91/980.57	c |   1778236 |     700    14000    70000 |    67905    59481    108 |  0.000 % |
980.21/980.82	c |   1778685 |     700    14000    70000 |    67905    59930    108 |  0.000 % |
980.51/981.10	c |   1779178 |     700    14000    70000 |    67905    60423    107 |  0.000 % |
980.81/981.41	c |   1779720 |     700    14000    70000 |    67905    60965    107 |  0.000 % |
981.11/981.78	c |   1780316 |     700    14000    70000 |    61248    53923    107 |  0.000 % |
981.41/982.05	c |   1780972 |     700    14000    70000 |    61248    54579    107 |  0.000 % |
981.71/982.37	c |   1781692 |     700    14000    70000 |    61248    55299    107 |  0.000 % |
982.10/982.73	c |   1782484 |     700    14000    70000 |    61248    56091    107 |  0.000 % |
982.50/983.16	c |   1783355 |     700    14000    70000 |    61248    56962    107 |  0.000 % |
982.90/983.59	c |   1784313 |     700    14000    70000 |    61248    57920    107 |  0.000 % |
983.50/984.11	c |   1785366 |     700    14000    70000 |    61248    58973    107 |  0.000 % |
984.00/984.69	c |   1786524 |     700    14000    70000 |    61248    60131    107 |  0.000 % |
984.80/985.43	c |   1787798 |     700    14000    70000 |    61248    61405    107 |  0.000 % |
985.50/986.18	c |   1789201 |     700    14000    70000 |    61248    56668    106 |  0.000 % |
986.30/986.95	c |   1790741 |     700    14000    70000 | 2147483647    58208    106 |  0.000 % |
987.20/987.81	c |   1792436 |     700    14000    70000 | 2147483647    59903    106 |  0.000 % |
988.09/988.78	c |   1794299 |     700    14000    70000 | 2147483647    61766    106 |  0.000 % |
989.19/989.87	c |   1796350 |     700    14000    70000 | 2147483647    63817    106 |  0.000 % |
990.40/991.04	c |   1798603 |     700    14000    70000 | 2147483647    66070    106 |  0.000 % |
991.69/992.34	c |   1801081 |     700    14000    70000 | 2147483647    68548    106 |  0.000 % |
993.39/994.08	c |   1803806 |     700    14000    70000 | 2147483647    71273    106 |  0.000 % |
995.19/995.89	c |   1806803 |     700    14000    70000 | 2147483647    74270    106 |  0.000 % |
997.29/997.95	c |   1810100 |     700    14000    70000 |    77467    77567    106 |  0.000 % |
999.59/1000.23	c |   1813725 |     700    14000    70000 |    77467    69785    106 |  0.000 % |
1001.89/1002.52	c |   1817713 |     700    14000    70000 |    77467    73773    105 |  0.000 % |
1004.59/1005.29	c |   1822098 |     700    14000    70000 |    76061    66159    105 |  0.000 % |
1007.48/1008.16	c |   1826921 |     700    14000    70000 |    76061    70982    105 |  0.000 % |
1010.88/1011.56	c |   1832226 |     700    14000    70000 |    74061    64582    104 |  0.000 % |
1014.28/1014.92	c |   1838061 |     700    14000    70000 |    74061    70417    105 |  0.000 % |
1017.89/1018.50	c |   1844479 |     700    14000    70000 |    72358    66849    105 |  0.000 % |
1022.08/1022.79	c |   1851540 |     700    14000    70000 |    72371    63446    105 |  0.000 % |
1026.68/1027.31	c |   1859306 |     700    14000    70000 |    72371    71212    106 |  0.000 % |
1031.68/1032.39	c |   1867846 |     700    14000    70000 |    71906    68883    106 |  0.000 % |
1037.28/1037.98	c |   1877240 |     700    14000    70000 |    71038    67827    106 |  0.000 % |
1043.28/1043.92	c |   1887573 |     700    14000    70000 |    70587    68615    107 |  0.000 % |
1049.37/1050.06	c |   1898941 |     700    14000    70000 |    61681    55610    107 |  0.000 % |
1056.37/1057.09	c |   1911445 |     700    14000    70000 | 2147483647    56112    108 |  0.000 % |
1064.56/1065.25	c |   1925199 |     700    14000    70000 |    64667    62754    108 |  0.000 % |
1073.86/1074.60	c |   1940327 |     700    14000    70000 |    55145    48619    110 |  0.000 % |
1083.97/1084.61	c |   1956967 |     700    14000    70000 | 2147483647    59721    111 |  0.000 % |
1083.97/1084.68	c |   1957068 |     700    14000    70000 | 2147483647    59822    111 |  0.000 % |
1084.07/1084.76	c |   1957178 |     700    14000    70000 | 2147483647    59932    111 |  0.000 % |
1084.17/1084.83	c |   1957299 |     700    14000    70000 | 2147483647    60053    111 |  0.000 % |
1084.27/1084.91	c |   1957433 |     700    14000    70000 | 2147483647    60187    111 |  0.000 % |
1084.27/1084.99	c |   1957583 |     700    14000    70000 | 2147483647    60337    111 |  0.000 % |
1084.36/1085.09	c |   1957743 |     700    14000    70000 | 2147483647    60497    111 |  0.000 % |
1084.56/1085.21	c |   1957919 |     700    14000    70000 | 2147483647    60673    111 |  0.000 % |
1084.66/1085.31	c |   1958113 |     700    14000    70000 | 2147483647    60867    111 |  0.000 % |
1084.76/1085.44	c |   1958326 |     700    14000    70000 | 2147483647    61080    111 |  0.000 % |
1084.86/1085.59	c |   1958559 |     700    14000    70000 | 2147483647    61313    111 |  0.000 % |
1085.07/1085.76	c |   1958815 |     700    14000    70000 | 2147483647    61569    110 |  0.000 % |
1085.26/1085.91	c |   1959098 |     700    14000    70000 | 2147483647    61852    110 |  0.000 % |
1085.36/1086.09	c |   1959408 |     700    14000    70000 | 2147483647    62162    110 |  0.000 % |
1085.66/1086.30	c |   1959748 |     700    14000    70000 | 2147483647    62502    110 |  0.000 % |
1085.86/1086.52	c |   1960121 |     700    14000    70000 |    62755    62875    110 |  0.000 % |
1086.07/1086.77	c |   1960531 |     700    14000    70000 |    62755    55772    111 |  0.000 % |
1086.36/1087.02	c |   1960980 |     700    14000    70000 |    62755    56221    111 |  0.000 % |
1086.56/1087.27	c |   1961475 |     700    14000    70000 |    62755    56716    111 |  0.000 % |
1086.86/1087.54	c |   1962017 |     700    14000    70000 |    62755    57258    110 |  0.000 % |
1087.17/1087.84	c |   1962613 |     700    14000    70000 |    62755    57854    110 |  0.000 % |
1087.46/1088.19	c |   1963268 |     700    14000    70000 |    62755    58509    110 |  0.000 % |
1087.86/1088.56	c |   1963988 |     700    14000    70000 |    62755    59229    110 |  0.000 % |
1088.27/1088.96	c |   1964782 |     700    14000    70000 |    62755    60023    110 |  0.000 % |
1088.76/1089.42	c |   1965653 |     700    14000    70000 |    62755    60894    110 |  0.000 % |
1089.16/1089.90	c |   1966614 |     700    14000    70000 |    62755    61855    110 |  0.000 % |
1089.76/1090.42	c |   1967667 |     700    14000    70000 |    62755    62908    110 |  0.000 % |
1090.36/1091.05	c |   1968826 |     700    14000    70000 |    62755    57777    110 |  0.000 % |
1091.06/1091.74	c |   1970099 |     700    14000    70000 | 2147483647    59050    110 |  0.000 % |
1091.76/1092.49	c |   1971499 |     700    14000    70000 | 2147483647    60450    110 |  0.000 % |
1092.66/1093.33	c |   1973039 |     700    14000    70000 | 2147483647    61990    110 |  0.000 % |
1093.66/1094.30	c |   1974733 |     700    14000    70000 | 2147483647    63684    110 |  0.000 % |
1094.66/1095.36	c |   1976598 |     700    14000    70000 | 2147483647    65549    109 |  0.000 % |
1095.96/1096.64	c |   1978647 |     700    14000    70000 | 2147483647    67598    109 |  0.000 % |
1097.26/1097.94	c |   1980900 |     700    14000    70000 |    68954    61191    108 |  0.000 % |
1098.56/1099.26	c |   1983378 |     700    14000    70000 |    68954    63669    108 |  0.000 % |
1100.06/1100.72	c |   1986104 |     700    14000    70000 |    68954    66395    107 |  0.000 % |
1101.96/1102.62	c |   1989102 |     700    14000    70000 |    68954    60726    108 |  0.000 % |
1103.66/1104.31	c |   1992400 |     700    14000    70000 |    61624    56675    106 |  0.000 % |
1105.46/1106.19	c |   1996025 |     700    14000    70000 |    61624    60300    106 |  0.000 % |
1107.56/1108.21	c |   2000012 |     700    14000    70000 | 2147483647    58098    105 |  0.000 % |
1109.66/1110.39	c |   2004397 |     700    14000    70000 | 2147483647    62483    105 |  0.000 % |
1112.35/1113.07	c |   2009220 |     700    14000    70000 | 2147483647    67306    105 |  0.000 % |
1115.35/1116.06	c |   2014526 |     700    14000    70000 |    68086    65038    105 |  0.000 % |
1118.65/1119.30	c |   2020362 |     700    14000    70000 |    62210    54965    105 |  0.000 % |
1121.84/1122.54	c |   2026780 |     700    14000    70000 |    62210    61383    105 |  0.000 % |
1125.84/1126.58	c |   2033839 |     700    14000    70000 | 2147483647    62196    105 |  0.000 % |
1130.24/1130.90	c |   2041604 |     700    14000    70000 |    68357    62413    106 |  0.000 % |
1135.04/1135.76	c |   2050144 |     700    14000    70000 |    63082    63226    107 |  0.000 % |
1140.44/1141.13	c |   2059539 |     700    14000    70000 |    63082    58820    107 |  0.000 % |
1145.54/1146.25	c |   2069872 |     700    14000    70000 |    59282    56958    107 |  0.000 % |
1151.34/1152.05	c |   2081240 |     700    14000    70000 | 2147483647    56749    108 |  0.000 % |
1158.74/1159.45	c |   2093744 |     700    14000    70000 |    65511    61832    108 |  0.000 % |
1167.03/1167.78	c |   2107496 |     700    14000    70000 |    60284    54057    110 |  0.000 % |
1176.12/1176.90	c |   2122623 |     700    14000    70000 | 2147483647    57826    111 |  0.000 % |
1187.02/1187.73	c |   2139262 |     700    14000    70000 |    65205    58470    113 |  0.000 % |
1197.72/1198.41	c |   2157566 |     700    14000    70000 | 2147483647    63506    113 |  0.000 % |
1197.72/1198.48	c |   2157668 |     700    14000    70000 | 2147483647    63608    113 |  0.000 % |
1197.82/1198.54	c |   2157778 |     700    14000    70000 | 2147483647    63718    113 |  0.000 % |
1197.92/1198.61	c |   2157900 |     700    14000    70000 | 2147483647    63840    113 |  0.000 % |
1197.92/1198.69	c |   2158033 |     700    14000    70000 | 2147483647    63973    113 |  0.000 % |
1198.02/1198.78	c |   2158180 |     700    14000    70000 | 2147483647    64120    113 |  0.000 % |
1198.12/1198.86	c |   2158341 |     700    14000    70000 | 2147483647    64281    113 |  0.000 % |
1198.22/1198.97	c |   2158517 |     700    14000    70000 | 2147483647    64457    112 |  0.000 % |
1198.42/1199.10	c |   2158715 |     700    14000    70000 | 2147483647    64655    112 |  0.000 % |
1198.52/1199.24	c |   2158928 |     700    14000    70000 | 2147483647    64868    112 |  0.000 % |
1198.62/1199.37	c |   2159161 |     700    14000    70000 | 2147483647    65101    112 |  0.000 % |
1198.82/1199.51	c |   2159419 |     700    14000    70000 | 2147483647    65359    112 |  0.000 % |
1198.92/1199.67	c |   2159700 |     700    14000    70000 | 2147483647    65640    112 |  0.000 % |
1199.12/1199.85	c |   2160009 |     700    14000    70000 |    65940    65949    112 |  0.000 % |
1199.32/1200.07	c |   2160349 |     700    14000    70000 |    65940    58832    111 |  0.000 % |
1199.62/1200.31	c |   2160721 |     700    14000    70000 |    65940    59204    111 |  0.000 % |
1199.82/1200.56	c |   2161130 |     700    14000    70000 |    65940    59613    111 |  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-1832539-1242782592/watcher-1832539-1242782592 -o /tmp/evaluation-result-1832539-1242782592/solver-1832539-1242782592 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832539-1242782592.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17529
/proc/meminfo: memFree=1869088/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306286438 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17529/statm: 1339 237 197 169 0 50 0

[startup+0.0448789 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17529
/proc/meminfo: memFree=1869088/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.101883 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17529
/proc/meminfo: memFree=1869088/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301903 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17529
/proc/meminfo: memFree=1869088/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701941 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17529
/proc/meminfo: memFree=1869088/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1865232/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=5904 CPUtime=1.42
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 1188 0 0 0 142 0 0 0 25 0 1 0 306286442 6045696 1174 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 1476 1174 77 171 0 1303 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 11260

[startup+3.10214 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1862096/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=10128 CPUtime=3.02
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 2266 0 0 0 301 1 0 0 25 0 1 0 306286442 10371072 2252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 2532 2252 77 171 0 2359 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 15484

[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1855312/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=15636 CPUtime=6.21
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 3618 0 0 0 619 2 0 0 25 0 1 0 306286442 16011264 3604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 3909 3604 77 171 0 3736 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 20992

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1847440/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=22844 CPUtime=12.6
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 5423 0 0 0 1256 4 0 0 25 0 1 0 306286442 23392256 5409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 5711 5409 77 171 0 5538 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 28200

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1836880/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=32996 CPUtime=25.39
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 7952 0 0 0 2533 6 0 0 25 0 1 0 306286442 33787904 7938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 8249 7938 77 171 0 8076 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 38352

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1835152/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=34448 CPUtime=50.97
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 8322 0 0 0 5090 7 0 0 25 0 1 0 306286442 35274752 8308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 8612 8308 77 171 0 8439 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 39804

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1834896/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=34448 CPUtime=102.15
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 8322 0 0 0 10208 7 0 0 25 0 1 0 306286442 35274752 8308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 8612 8308 77 171 0 8439 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 39804

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1834768/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=34580 CPUtime=162.1
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 8345 0 0 0 16203 7 0 0 25 0 1 0 306286442 35409920 8331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 8645 8331 77 171 0 8472 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 39936

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1834256/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=34976 CPUtime=222.07
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 8455 0 0 0 22199 8 0 0 25 0 1 0 306286442 35815424 8441 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 8744 8441 77 171 0 8571 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 40332

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1833936/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=35240 CPUtime=282.03
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 8522 0 0 0 28195 8 0 0 25 0 1 0 306286442 36085760 8508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 8810 8508 77 171 0 8637 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 40596

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1830352/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=38672 CPUtime=342
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 9380 0 0 0 34190 10 0 0 25 0 1 0 306286442 39600128 9366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 9668 9366 77 171 0 9495 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 44028

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1829904/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=39052 CPUtime=401.96
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 9495 0 0 0 40186 10 0 0 25 0 1 0 306286442 39989248 9456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17535/statm: 9763 9456 77 171 0 9590 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 44408

[startup+462.301 s]

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

/proc/17535/statm: 9952 9656 77 171 0 9779 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 45164

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1828752/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=39808 CPUtime=641.85
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 9695 0 0 0 64174 11 0 0 25 0 1 0 306286442 40763392 9656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 9952 9656 77 171 0 9779 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 45164

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1828624/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=39808 CPUtime=701.82
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 9695 0 0 0 70171 11 0 0 25 0 1 0 306286442 40763392 9656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 9952 9656 77 171 0 9779 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 45164

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1826512/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=41788 CPUtime=761.8
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10190 0 0 0 76168 12 0 0 25 0 1 0 306286442 42790912 10151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10447 10151 77 171 0 10274 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 47144

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 17535
/proc/meminfo: memFree=1826384/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=41788 CPUtime=821.76
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10190 0 0 0 82164 12 0 0 25 0 1 0 306286442 42790912 10151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10447 10151 77 171 0 10274 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 47144

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1826384/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=41788 CPUtime=881.73
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10190 0 0 0 88161 12 0 0 25 0 1 0 306286442 42790912 10151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10447 10151 77 171 0 10274 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 47144

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1826256/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=41788 CPUtime=941.7
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10190 0 0 0 94158 12 0 0 25 0 1 0 306286442 42790912 10151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10447 10151 77 171 0 10274 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 47144

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1825808/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=42184 CPUtime=1001.66
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10288 0 0 0 100154 12 0 0 25 0 1 0 306286442 43196416 10249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10546 10249 77 171 0 10373 0
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (KiB) 47540

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1825616/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=42184 CPUtime=1061.64
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10288 0 0 0 106152 12 0 0 25 0 1 0 306286442 43196416 10249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10546 10249 77 171 0 10373 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 47540

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17535
/proc/meminfo: memFree=1825552/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=42184 CPUtime=1121.61
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10288 0 0 0 112148 13 0 0 25 0 1 0 306286442 43196416 10249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10546 10249 77 171 0 10373 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 47540

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17537
/proc/meminfo: memFree=1825296/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=42184 CPUtime=1181.59
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10288 0 0 0 118146 13 0 0 25 0 1 0 306286442 43196416 10249 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10546 10249 77 171 0 10373 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 47540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17537
/proc/meminfo: memFree=1825296/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=42184 CPUtime=1199.99
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10288 0 0 0 119986 13 0 0 25 0 1 0 306286442 43196416 10249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10546 10249 77 171 0 10373 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 47540

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17537
/proc/meminfo: memFree=1825296/2055920 swapFree=4179480/4192956
[pid=17529] ppid=17527 vsize=5356 CPUtime=0.03
/proc/17529/stat : 17529 (SatELiteGTI) S 17527 17529 17328 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306286438 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17529/statm: 1339 239 197 169 0 50 0
[pid=17535] ppid=17529 vsize=42184 CPUtime=1199.99
/proc/17535/stat : 17535 (minisat_static) R 17529 17529 17328 0 -1 4194304 10288 0 0 0 119986 13 0 0 25 0 1 0 306286442 43196416 10249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17535/statm: 10546 10249 77 171 0 10373 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 47540

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.02
CPU user time (s): 1199.89
CPU system time (s): 0.13
CPU usage (%): 99.9423
Max. virtual memory (cumulated for all children) (KiB): 47540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.033994
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= 986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 7

runsolver used 1.09483 second user time and 3.42848 second system time

The end

Launcher Data

Begin job on node58 at 2009-05-20 03:23:12
IDJOB=1832539
IDBENCH=70233
IDSOLVER=671
FILE ID=node58/1832539-1242782592
PBS_JOBID= 9322326
Free space on /tmp= 66076 MiB

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

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

MD5SUM BENCH= 4d7c374b44e6dc0e3274f37b66abba8f
RANDOM SEED=1868843543

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1869568 kB
Buffers:         15128 kB
Cached:         128840 kB
SwapCached:       7536 kB
Active:          25692 kB
Inactive:       127572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869568 kB
SwapTotal:     4192956 kB
SwapFree:      4179480 kB
Dirty:            1960 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            19212 kB
Committed_AS:   985928 kB
PageTables:       1364 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= 66072 MiB
End job on node58 at 2009-05-20 03:43:15