Trace number 1832535

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
MD5SUM66fb9b1d9d1970f097747a014bb15243
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.93271
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.00/0.05	c |  Parsing time:         0.01         s                                       |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     700    14000    70000 |     4666        0    nan |  0.000 % |
0.00/0.06	c |       102 |     700    14000    70000 |     4666      102     96 |  0.000 % |
0.00/0.07	c |       203 |     700    14000    70000 |     4666      203     99 |  0.000 % |
0.00/0.08	c |       307 |     700    14000    70000 |     4666      307    100 |  0.000 % |
0.00/0.09	c |       417 |     700    14000    70000 |     4666      417     98 |  0.000 % |
0.00/0.10	c |       517 |     700    14000    70000 |     4666      517     97 |  0.000 % |
0.03/0.11	c |       627 |     700    14000    70000 |     4666      627     97 |  0.000 % |
0.03/0.11	c |       748 |     700    14000    70000 |     4666      748     97 |  0.000 % |
0.03/0.12	c |       850 |     700    14000    70000 |     4666      850     97 |  0.000 % |
0.03/0.13	c |       963 |     700    14000    70000 |     4666      963     98 |  0.000 % |
0.03/0.15	c |      1089 |     700    14000    70000 |     4666     1089     98 |  0.000 % |
0.03/0.16	c |      1222 |     700    14000    70000 |     4666     1222     98 |  0.000 % |
0.03/0.17	c |      1326 |     700    14000    70000 |     4666     1326     98 |  0.000 % |
0.03/0.18	c |      1437 |     700    14000    70000 |     4666     1437     98 |  0.000 % |
0.03/0.19	c |      1559 |     700    14000    70000 |     4666     1559     98 |  0.000 % |
0.03/0.20	c |      1692 |     700    14000    70000 |     4666     1692     97 |  0.000 % |
0.03/0.21	c |      1839 |     700    14000    70000 |     4666     1839     97 |  0.000 % |
0.03/0.22	c |      1940 |     700    14000    70000 |     4666     1940     97 |  0.000 % |
0.03/0.23	c |      2052 |     700    14000    70000 |     4666     2052     96 |  0.000 % |
0.03/0.24	c |      2175 |     700    14000    70000 |     4666     2175     95 |  0.000 % |
0.03/0.26	c |      2310 |     700    14000    70000 |     4666     2310     94 |  0.000 % |
0.03/0.27	c |      2456 |     700    14000    70000 |     4666     2456     94 |  0.000 % |
0.03/0.29	c |      2617 |     700    14000    70000 |     4666     2617     94 |  0.000 % |
0.03/0.30	c |      2720 |     700    14000    70000 |     4666     2720     94 |  0.000 % |
0.03/0.31	c |      2830 |     700    14000    70000 |     4666     2830     94 |  0.000 % |
0.03/0.32	c |      2951 |     700    14000    70000 |     4666     2951     95 |  0.000 % |
0.03/0.34	c |      3084 |     700    14000    70000 |     4666     3084     95 |  0.000 % |
0.03/0.35	c |      3230 |     700    14000    70000 |     4666     3230     95 |  0.000 % |
0.03/0.36	c |      3391 |     700    14000    70000 |     4666     3391     95 |  0.000 % |
0.03/0.38	c |      3567 |     700    14000    70000 |     4666     3567     95 |  0.000 % |
0.03/0.39	c |      3669 |     700    14000    70000 |     4666     3669     95 |  0.000 % |
0.03/0.40	c |      3782 |     700    14000    70000 |     4666     3782     95 |  0.000 % |
0.03/0.41	c |      3904 |     700    14000    70000 |     4666     3904     95 |  0.000 % |
0.03/0.43	c |      4038 |     700    14000    70000 |     4666     4038     95 |  0.000 % |
0.03/0.44	c |      4186 |     700    14000    70000 |     4666     4186     95 |  0.000 % |
0.03/0.46	c |      4349 |     700    14000    70000 |     4666     4349     95 |  0.000 % |
0.03/0.47	c |      4525 |     700    14000    70000 |     4666     4525     94 |  0.000 % |
0.03/0.50	c |      4719 |     700    14000    70000 |     4666     4719     94 |  0.000 % |
0.03/0.51	c |      4821 |     700    14000    70000 |     4666     4350     93 |  0.000 % |
0.03/0.52	c |      4932 |     700    14000    70000 |     4666     4461     93 |  0.000 % |
0.03/0.53	c |      5055 |     700    14000    70000 |     4666     4584     93 |  0.000 % |
0.03/0.54	c |      5189 |     700    14000    70000 |     4666     4718     92 |  0.000 % |
0.03/0.56	c |      5338 |     700    14000    70000 |     4666     4396     91 |  0.000 % |
0.03/0.58	c |      5498 |     700    14000    70000 |     4666     4556     91 |  0.000 % |
0.03/0.60	c |      5675 |     700    14000    70000 |     4666     4733     92 |  0.000 % |
0.03/0.62	c |      5869 |     700    14000    70000 |     4666     4454     91 |  0.000 % |
0.03/0.64	c |      6081 |     700    14000    70000 |     4666     4666     91 |  0.000 % |
0.03/0.66	c |      6182 |     700    14000    70000 |     4666     4301     92 |  0.000 % |
0.03/0.67	c |      6292 |     700    14000    70000 |     4666     4411     92 |  0.000 % |
0.03/0.68	c |      6415 |     700    14000    70000 |     4666     4534     92 |  0.000 % |
0.03/0.69	c |      6548 |     700    14000    70000 |     4666     4667     93 |  0.000 % |
0.03/0.71	c |      6694 |     700    14000    70000 |     4666     4347     93 |  0.000 % |
0.03/0.73	c |      6855 |     700    14000    70000 |     4666     4508     93 |  0.000 % |
0.03/0.74	c |      7031 |     700    14000    70000 |     4666     4684     93 |  0.000 % |
0.03/0.77	c |      7224 |     700    14000    70000 |     4666     4409     94 |  0.000 % |
0.03/0.79	c |      7436 |     700    14000    70000 |     4666     4621     94 |  0.000 % |
0.03/0.81	c |      7670 |     700    14000    70000 |     4666     4855     94 |  0.000 % |
0.03/0.82	c |      7772 |     700    14000    70000 |     4666     4472     94 |  0.000 % |
0.03/0.83	c |      7884 |     700    14000    70000 |     4666     4584     94 |  0.000 % |
0.03/0.85	c |      8005 |     700    14000    70000 |     4666     4705     94 |  0.000 % |
0.03/0.86	c |      8138 |     700    14000    70000 |     4666     4368     94 |  0.000 % |
0.03/0.88	c |      8285 |     700    14000    70000 |     4666     4515     93 |  0.000 % |
0.03/0.89	c |      8446 |     700    14000    70000 |     4666     4676     94 |  0.000 % |
0.03/0.91	c |      8623 |     700    14000    70000 |     4666     4386     94 |  0.000 % |
0.03/0.93	c |      8816 |     700    14000    70000 |     4666     4579     94 |  0.000 % |
0.03/0.96	c |      9029 |     700    14000    70000 |     4666     4792     94 |  0.000 % |
0.03/0.98	c |      9262 |     700    14000    70000 |     4666     4546     95 |  0.000 % |
0.97/1.01	c |      9518 |     700    14000    70000 |     4666     4802     95 |  0.000 % |
0.97/1.02	c |      9619 |     700    14000    70000 |     4666     4423     95 |  0.000 % |
0.97/1.04	c |      9729 |     700    14000    70000 |     4666     4533     95 |  0.000 % |
0.97/1.05	c |      9850 |     700    14000    70000 |     4666     4654     95 |  0.000 % |
0.97/1.06	c |      9985 |     700    14000    70000 |     4666     4789     95 |  0.000 % |
0.97/1.08	c |     10133 |     700    14000    70000 | 2147483647     4459     95 |  0.000 % |
1.07/1.10	c |     10293 |     700    14000    70000 | 2147483647     4619     95 |  0.000 % |
1.07/1.12	c |     10469 |     700    14000    70000 | 2147483647     4795     95 |  0.000 % |
1.07/1.14	c |     10664 |     700    14000    70000 | 2147483647     4990     96 |  0.000 % |
1.07/1.17	c |     10876 |     700    14000    70000 | 2147483647     5202     96 |  0.000 % |
1.07/1.20	c |     11109 |     700    14000    70000 | 2147483647     5435     96 |  0.000 % |
1.17/1.23	c |     11367 |     700    14000    70000 | 2147483647     5693     96 |  0.000 % |
1.17/1.26	c |     11648 |     700    14000    70000 | 2147483647     5974     97 |  0.000 % |
1.17/1.27	c |     11749 |     700    14000    70000 | 2147483647     6075     97 |  0.000 % |
1.17/1.29	c |     11860 |     700    14000    70000 | 2147483647     6186     97 |  0.000 % |
1.27/1.30	c |     11981 |     700    14000    70000 | 2147483647     6307     97 |  0.000 % |
1.27/1.32	c |     12118 |     700    14000    70000 | 2147483647     6444     97 |  0.000 % |
1.27/1.34	c |     12265 |     700    14000    70000 | 2147483647     6591     97 |  0.000 % |
1.27/1.36	c |     12427 |     700    14000    70000 | 2147483647     6753     97 |  0.000 % |
1.27/1.38	c |     12608 |     700    14000    70000 | 2147483647     6934     97 |  0.000 % |
1.37/1.41	c |     12803 |     700    14000    70000 | 2147483647     7129     97 |  0.000 % |
1.37/1.43	c |     13016 |     700    14000    70000 | 2147483647     7342     97 |  0.000 % |
1.37/1.46	c |     13249 |     700    14000    70000 | 2147483647     7575     97 |  0.000 % |
1.37/1.50	c |     13505 |     700    14000    70000 | 2147483647     7831     97 |  0.000 % |
1.47/1.53	c |     13787 |     700    14000    70000 | 2147483647     8113     97 |  0.000 % |
1.47/1.57	c |     14098 |     700    14000    70000 | 2147483647     8424     97 |  0.000 % |
1.47/1.59	c |     14201 |     700    14000    70000 | 2147483647     8527     97 |  0.000 % |
1.56/1.60	c |     14314 |     700    14000    70000 | 2147483647     8640     97 |  0.000 % |
1.56/1.62	c |     14435 |     700    14000    70000 | 2147483647     8761     97 |  0.000 % |
1.56/1.63	c |     14568 |     700    14000    70000 | 2147483647     8894     97 |  0.000 % |
1.56/1.66	c |     14714 |     700    14000    70000 | 2147483647     9040     97 |  0.000 % |
1.56/1.68	c |     14877 |     700    14000    70000 | 2147483647     9203     97 |  0.000 % |
1.66/1.70	c |     15053 |     700    14000    70000 | 2147483647     9379     97 |  0.000 % |
1.66/1.73	c |     15249 |     700    14000    70000 | 2147483647     9575     97 |  0.000 % |
1.66/1.76	c |     15462 |     700    14000    70000 | 2147483647     9788     97 |  0.000 % |
1.66/1.79	c |     15695 |     700    14000    70000 | 2147483647    10021     97 |  0.000 % |
1.76/1.83	c |     15951 |     700    14000    70000 | 2147483647    10277     97 |  0.000 % |
1.76/1.87	c |     16233 |     700    14000    70000 | 2147483647    10559     97 |  0.000 % |
1.86/1.91	c |     16543 |     700    14000    70000 | 2147483647    10869     97 |  0.000 % |
1.86/1.96	c |     16882 |     700    14000    70000 | 2147483647    11208     97 |  0.000 % |
1.86/1.98	c |     16982 |     700    14000    70000 | 2147483647    11308     97 |  0.000 % |
1.86/2.00	c |     17092 |     700    14000    70000 | 2147483647    11418     97 |  0.000 % |
1.96/2.02	c |     17214 |     700    14000    70000 | 2147483647    11540     97 |  0.000 % |
1.96/2.04	c |     17348 |     700    14000    70000 | 2147483647    11674     97 |  0.000 % |
1.96/2.06	c |     17496 |     700    14000    70000 | 2147483647    11822     97 |  0.000 % |
1.96/2.09	c |     17657 |     700    14000    70000 | 2147483647    11983     97 |  0.000 % |
2.07/2.12	c |     17835 |     700    14000    70000 | 2147483647    12161     97 |  0.000 % |
2.07/2.15	c |     18032 |     700    14000    70000 | 2147483647    12358     97 |  0.000 % |
2.07/2.18	c |     18246 |     700    14000    70000 | 2147483647    12572     97 |  0.000 % |
2.17/2.22	c |     18481 |     700    14000    70000 | 2147483647    12807     97 |  0.000 % |
2.17/2.26	c |     18737 |     700    14000    70000 | 2147483647    13063     97 |  0.000 % |
2.27/2.31	c |     19018 |     700    14000    70000 | 2147483647    13344     97 |  0.000 % |
2.27/2.36	c |     19327 |     700    14000    70000 | 2147483647    13653     97 |  0.000 % |
2.37/2.42	c |     19667 |     700    14000    70000 | 2147483647    13993     97 |  0.000 % |
2.37/2.48	c |     20039 |     700    14000    70000 | 2147483647    14365     97 |  0.000 % |
2.47/2.51	c |     20140 |     700    14000    70000 | 2147483647    14466     97 |  0.000 % |
2.47/2.52	c |     20250 |     700    14000    70000 | 2147483647    14576     97 |  0.000 % |
2.47/2.55	c |     20372 |     700    14000    70000 | 2147483647    14698     97 |  0.000 % |
2.47/2.57	c |     20505 |     700    14000    70000 | 2147483647    14831     97 |  0.000 % |
2.57/2.60	c |     20651 |     700    14000    70000 | 2147483647    14977     97 |  0.000 % |
2.57/2.63	c |     20811 |     700    14000    70000 | 2147483647    15137     97 |  0.000 % |
2.57/2.67	c |     20990 |     700    14000    70000 | 2147483647    15316     97 |  0.000 % |
2.67/2.70	c |     21183 |     700    14000    70000 | 2147483647    15509     97 |  0.000 % |
2.67/2.75	c |     21397 |     700    14000    70000 | 2147483647    15723     97 |  0.000 % |
2.67/2.79	c |     21630 |     700    14000    70000 | 2147483647    15956     97 |  0.000 % |
2.77/2.83	c |     21886 |     700    14000    70000 | 2147483647    16212     97 |  0.000 % |
2.77/2.88	c |     22169 |     700    14000    70000 | 2147483647    16495     97 |  0.000 % |
2.87/2.94	c |     22479 |     700    14000    70000 | 2147483647    16805     97 |  0.000 % |
2.97/3.01	c |     22819 |     700    14000    70000 | 2147483647    17145     97 |  0.000 % |
2.97/3.07	c |     23191 |     700    14000    70000 | 2147483647    17517     97 |  0.000 % |
3.07/3.15	c |     23601 |     700    14000    70000 | 2147483647    17927     97 |  0.000 % |
3.07/3.17	c |     23702 |     700    14000    70000 | 2147483647    18028     97 |  0.000 % |
3.07/3.19	c |     23812 |     700    14000    70000 | 2147483647    18138     97 |  0.000 % |
3.17/3.22	c |     23933 |     700    14000    70000 | 2147483647    18259     97 |  0.000 % |
3.17/3.24	c |     24067 |     700    14000    70000 | 2147483647    18393     97 |  0.000 % |
3.17/3.28	c |     24213 |     700    14000    70000 | 2147483647    18539     97 |  0.000 % |
3.27/3.32	c |     24374 |     700    14000    70000 | 2147483647    18700     97 |  0.000 % |
3.27/3.35	c |     24550 |     700    14000    70000 | 2147483647    18876     97 |  0.000 % |
3.37/3.40	c |     24745 |     700    14000    70000 | 2147483647    19071     97 |  0.000 % |
3.37/3.44	c |     24957 |     700    14000    70000 | 2147483647    19283     97 |  0.000 % |
3.37/3.48	c |     25191 |     700    14000    70000 | 2147483647    19517     97 |  0.000 % |
3.46/3.54	c |     25448 |     700    14000    70000 | 2147483647    19774     97 |  0.000 % |
3.56/3.60	c |     25729 |     700    14000    70000 | 2147483647    20055     97 |  0.000 % |
3.56/3.67	c |     26039 |     700    14000    70000 | 2147483647    20365     97 |  0.000 % |
3.66/3.75	c |     26378 |     700    14000    70000 | 2147483647    20704     97 |  0.000 % |
3.76/3.83	c |     26753 |     700    14000    70000 | 2147483647    21079     97 |  0.000 % |
3.86/3.93	c |     27164 |     700    14000    70000 | 2147483647    21490     97 |  0.000 % |
3.96/4.03	c |     27613 |     700    14000    70000 | 2147483647    21939     97 |  0.000 % |
3.96/4.05	c |     27713 |     700    14000    70000 | 2147483647    22039     97 |  0.000 % |
3.96/4.08	c |     27823 |     700    14000    70000 | 2147483647    22149     97 |  0.000 % |
4.06/4.11	c |     27944 |     700    14000    70000 | 2147483647    22270     97 |  0.000 % |
4.06/4.14	c |     28078 |     700    14000    70000 | 2147483647    22404     97 |  0.000 % |
4.06/4.18	c |     28224 |     700    14000    70000 | 2147483647    22550     97 |  0.000 % |
4.16/4.22	c |     28384 |     700    14000    70000 | 2147483647    22710     97 |  0.000 % |
4.16/4.26	c |     28560 |     700    14000    70000 | 2147483647    22886     97 |  0.000 % |
4.27/4.31	c |     28753 |     700    14000    70000 | 2147483647    23079     97 |  0.000 % |
4.27/4.36	c |     28965 |     700    14000    70000 | 2147483647    23291     97 |  0.000 % |
4.37/4.42	c |     29204 |     700    14000    70000 | 2147483647    23530     97 |  0.000 % |
4.37/4.49	c |     29463 |     700    14000    70000 | 2147483647    23789     97 |  0.000 % |
4.46/4.56	c |     29745 |     700    14000    70000 | 2147483647    24071     97 |  0.000 % |
4.56/4.63	c |     30055 |     700    14000    70000 | 2147483647    24381     97 |  0.000 % |
4.66/4.73	c |     30395 |     700    14000    70000 | 2147483647    24721     97 |  0.000 % |
4.77/4.83	c |     30770 |     700    14000    70000 | 2147483647    25096     97 |  0.000 % |
4.87/4.94	c |     31180 |     700    14000    70000 | 2147483647    25506     97 |  0.000 % |
4.97/5.05	c |     31630 |     700    14000    70000 | 2147483647    25956     97 |  0.000 % |
5.07/5.19	c |     32125 |     700    14000    70000 | 2147483647    26451     97 |  0.000 % |
5.17/5.21	c |     32225 |     700    14000    70000 | 2147483647    26551     97 |  0.000 % |
5.17/5.24	c |     32336 |     700    14000    70000 | 2147483647    26662     97 |  0.000 % |
5.17/5.27	c |     32457 |     700    14000    70000 | 2147483647    26783     97 |  0.000 % |
5.27/5.31	c |     32592 |     700    14000    70000 | 2147483647    26918     97 |  0.000 % |
5.27/5.36	c |     32738 |     700    14000    70000 | 2147483647    27064     97 |  0.000 % |
5.37/5.41	c |     32898 |     700    14000    70000 | 2147483647    27224     97 |  0.000 % |
5.37/5.47	c |     33075 |     700    14000    70000 | 2147483647    27401     97 |  0.000 % |
5.47/5.52	c |     33268 |     700    14000    70000 | 2147483647    27594     97 |  0.000 % |
5.47/5.58	c |     33481 |     700    14000    70000 | 2147483647    27807     97 |  0.000 % |
5.57/5.65	c |     33715 |     700    14000    70000 | 2147483647    28041     97 |  0.000 % |
5.67/5.73	c |     33972 |     700    14000    70000 | 2147483647    28298     97 |  0.000 % |
5.77/5.81	c |     34254 |     700    14000    70000 | 2147483647    28580     97 |  0.000 % |
5.87/5.90	c |     34564 |     700    14000    70000 | 2147483647    28890     97 |  0.000 % |
5.97/6.01	c |     34904 |     700    14000    70000 | 2147483647    29230     97 |  0.000 % |
6.07/6.12	c |     35277 |     700    14000    70000 | 2147483647    29603     97 |  0.000 % |
6.17/6.23	c |     35686 |     700    14000    70000 | 2147483647    30012     97 |  0.000 % |
6.27/6.36	c |     36135 |     700    14000    70000 | 2147483647    30461     97 |  0.000 % |
6.47/6.52	c |     36628 |     700    14000    70000 | 2147483647    30954     97 |  0.000 % |
6.67/6.70	c |     37170 |     700    14000    70000 | 2147483647    31496     97 |  0.000 % |
6.67/6.73	c |     37270 |     700    14000    70000 | 2147483647    31596     97 |  0.000 % |
6.67/6.76	c |     37382 |     700    14000    70000 | 2147483647    31708     97 |  0.000 % |
6.77/6.80	c |     37503 |     700    14000    70000 | 2147483647    31829     97 |  0.000 % |
6.77/6.86	c |     37637 |     700    14000    70000 | 2147483647    31963     97 |  0.000 % |
6.86/6.91	c |     37783 |     700    14000    70000 | 2147483647    32109     97 |  0.000 % |
6.86/6.96	c |     37944 |     700    14000    70000 | 2147483647    32270     97 |  0.000 % |
6.96/7.02	c |     38122 |     700    14000    70000 | 2147483647    32448     97 |  0.000 % |
6.96/7.08	c |     38317 |     700    14000    70000 | 2147483647    32643     97 |  0.000 % |
7.06/7.16	c |     38529 |     700    14000    70000 | 2147483647    32855     97 |  0.000 % |
7.16/7.24	c |     38764 |     700    14000    70000 | 2147483647    33090     97 |  0.000 % |
7.26/7.32	c |     39020 |     700    14000    70000 | 2147483647    33346     97 |  0.000 % |
7.36/7.42	c |     39301 |     700    14000    70000 | 2147483647    33627     97 |  0.000 % |
7.46/7.53	c |     39610 |     700    14000    70000 | 2147483647    33936     97 |  0.000 % |
7.57/7.65	c |     39949 |     700    14000    70000 | 2147483647    34275     97 |  0.000 % |
7.66/7.78	c |     40321 |     700    14000    70000 | 2147483647    34647     97 |  0.000 % |
7.86/7.92	c |     40730 |     700    14000    70000 | 2147483647    35056     97 |  0.000 % |
7.96/8.07	c |     41179 |     700    14000    70000 | 2147483647    35505     97 |  0.000 % |
8.16/8.24	c |     41672 |     700    14000    70000 | 2147483647    35998     97 |  0.000 % |
8.36/8.41	c |     42216 |     700    14000    70000 | 2147483647    36542     97 |  0.000 % |
8.57/8.62	c |     42812 |     700    14000    70000 | 2147483647    37138     97 |  0.000 % |
8.57/8.65	c |     42913 |     700    14000    70000 | 2147483647    37239     97 |  0.000 % |
8.57/8.69	c |     43024 |     700    14000    70000 | 2147483647    37350     97 |  0.000 % |
8.67/8.76	c |     43146 |     700    14000    70000 | 2147483647    37472     97 |  0.000 % |
8.77/8.81	c |     43280 |     700    14000    70000 | 2147483647    37606     97 |  0.000 % |
8.77/8.87	c |     43426 |     700    14000    70000 | 2147483647    37752     97 |  0.000 % |
8.87/8.94	c |     43586 |     700    14000    70000 | 2147483647    37912     97 |  0.000 % |
8.97/9.01	c |     43762 |     700    14000    70000 | 2147483647    38088     97 |  0.000 % |
8.97/9.09	c |     43955 |     700    14000    70000 | 2147483647    38281     97 |  0.000 % |
9.07/9.18	c |     44167 |     700    14000    70000 | 2147483647    38493     97 |  0.000 % |
9.17/9.26	c |     44400 |     700    14000    70000 | 2147483647    38726     97 |  0.000 % |
9.27/9.35	c |     44657 |     700    14000    70000 | 2147483647    38983     97 |  0.000 % |
9.37/9.45	c |     44939 |     700    14000    70000 | 2147483647    39265     97 |  0.000 % |
9.47/9.57	c |     45249 |     700    14000    70000 | 2147483647    39575     97 |  0.000 % |
9.57/9.70	c |     45588 |     700    14000    70000 | 2147483647    39914     97 |  0.000 % |
9.77/9.86	c |     45960 |     700    14000    70000 | 2147483647    40286     97 |  0.000 % |
9.97/10.03	c |     46371 |     700    14000    70000 | 2147483647    40697     97 |  0.000 % |
10.17/10.21	c |     46822 |     700    14000    70000 | 2147483647    41148     97 |  0.000 % |
10.37/10.41	c |     47316 |     700    14000    70000 | 2147483647    41642     97 |  0.000 % |
10.56/10.62	c |     47859 |     700    14000    70000 | 2147483647    42185     97 |  0.000 % |
10.76/10.85	c |     48455 |     700    14000    70000 | 2147483647    42781     97 |  0.000 % |
11.06/11.14	c |     49111 |     700    14000    70000 | 2147483647    43437     97 |  0.000 % |
11.06/11.19	c |     49214 |     700    14000    70000 | 2147483647    43540     97 |  0.000 % |
11.16/11.23	c |     49327 |     700    14000    70000 | 2147483647    43653     97 |  0.000 % |
11.16/11.29	c |     49448 |     700    14000    70000 | 2147483647    43774     97 |  0.000 % |
11.26/11.35	c |     49582 |     700    14000    70000 | 2147483647    43908     97 |  0.000 % |
11.37/11.43	c |     49728 |     700    14000    70000 | 2147483647    44054     97 |  0.000 % |
11.47/11.51	c |     49889 |     700    14000    70000 | 2147483647    44215     97 |  0.000 % |
11.47/11.58	c |     50066 |     700    14000    70000 | 2147483647    44392     97 |  0.000 % |
11.57/11.67	c |     50260 |     700    14000    70000 | 2147483647    44586     97 |  0.000 % |
11.67/11.77	c |     50473 |     700    14000    70000 | 2147483647    44799     97 |  0.000 % |
11.77/11.87	c |     50706 |     700    14000    70000 | 2147483647    45032     97 |  0.000 % |
11.87/11.99	c |     50962 |     700    14000    70000 | 2147483647    45288     97 |  0.000 % |
11.97/12.10	c |     51243 |     700    14000    70000 | 2147483647    45569     97 |  0.000 % |
12.17/12.24	c |     51553 |     700    14000    70000 | 2147483647    45879     97 |  0.000 % |
12.37/12.41	c |     51892 |     700    14000    70000 | 2147483647    46218     97 |  0.000 % |
12.47/12.58	c |     52265 |     700    14000    70000 | 2147483647    46591     97 |  0.000 % |
12.67/12.75	c |     52675 |     700    14000    70000 | 2147483647    47001     97 |  0.000 % |
12.86/12.94	c |     53124 |     700    14000    70000 | 2147483647    47450     97 |  0.000 % |
13.07/13.17	c |     53619 |     700    14000    70000 | 2147483647    47945     97 |  0.000 % |
13.36/13.40	c |     54163 |     700    14000    70000 | 2147483647    48489     97 |  0.000 % |
13.56/13.67	c |     54759 |     700    14000    70000 | 2147483647    49085     97 |  0.000 % |
13.86/13.95	c |     55414 |     700    14000    70000 | 2147483647    49740     97 |  0.000 % |
14.16/14.28	c |     56135 |     700    14000    70000 | 2147483647    50461     97 |  0.000 % |
14.26/14.33	c |     56235 |     700    14000    70000 | 2147483647    50561     97 |  0.000 % |
14.26/14.39	c |     56346 |     700    14000    70000 | 2147483647    50672     97 |  0.000 % |
14.36/14.45	c |     56467 |     700    14000    70000 | 2147483647    50793     97 |  0.000 % |
14.46/14.52	c |     56602 |     700    14000    70000 | 2147483647    50928     97 |  0.000 % |
14.46/14.59	c |     56748 |     700    14000    70000 | 2147483647    51074     97 |  0.000 % |
14.56/14.66	c |     56910 |     700    14000    70000 | 2147483647    51236     97 |  0.000 % |
14.67/14.75	c |     57086 |     700    14000    70000 | 2147483647    51412     97 |  0.000 % |
14.77/14.87	c |     57279 |     700    14000    70000 | 2147483647    51605     97 |  0.000 % |
14.87/14.97	c |     57491 |     700    14000    70000 | 2147483647    51817     97 |  0.000 % |
14.97/15.09	c |     57725 |     700    14000    70000 | 2147483647    52051     97 |  0.000 % |
15.17/15.23	c |     57981 |     700    14000    70000 | 2147483647    52307     97 |  0.000 % |
15.27/15.36	c |     58263 |     700    14000    70000 | 2147483647    52589     97 |  0.000 % |
15.47/15.52	c |     58572 |     700    14000    70000 | 2147483647    52898     97 |  0.000 % |
15.57/15.69	c |     58912 |     700    14000    70000 | 2147483647    53238     97 |  0.000 % |
15.77/15.88	c |     59287 |     700    14000    70000 | 2147483647    53613     97 |  0.000 % |
16.07/16.11	c |     59697 |     700    14000    70000 | 2147483647    54023     97 |  0.000 % |
16.26/16.32	c |     60146 |     700    14000    70000 | 2147483647    54472     97 |  0.000 % |
16.47/16.56	c |     60640 |     700    14000    70000 | 2147483647    54966     97 |  0.000 % |
16.76/16.82	c |     61183 |     700    14000    70000 | 2147483647    55509     97 |  0.000 % |
17.06/17.11	c |     61779 |     700    14000    70000 | 2147483647    56105     97 |  0.000 % |
17.36/17.46	c |     62434 |     700    14000    70000 | 2147483647    56760     98 |  0.000 % |
17.76/17.81	c |     63155 |     700    14000    70000 | 2147483647    57481     98 |  0.000 % |
18.17/18.20	c |     63949 |     700    14000    70000 | 2147483647    58275     98 |  0.000 % |
18.17/18.26	c |     64049 |     700    14000    70000 | 2147483647    58375     98 |  0.000 % |
18.27/18.33	c |     64160 |     700    14000    70000 | 2147483647    58486     98 |  0.000 % |
18.37/18.41	c |     64281 |     700    14000    70000 | 2147483647    58607     98 |  0.000 % |
18.37/18.48	c |     64415 |     700    14000    70000 | 2147483647    58741     98 |  0.000 % |
18.47/18.57	c |     64562 |     700    14000    70000 | 2147483647    58888     98 |  0.000 % |
18.57/18.68	c |     64723 |     700    14000    70000 | 2147483647    59049     98 |  0.000 % |
18.67/18.77	c |     64900 |     700    14000    70000 | 2147483647    59226     98 |  0.000 % |
18.76/18.88	c |     65096 |     700    14000    70000 | 2147483647    59422     98 |  0.000 % |
18.96/19.02	c |     65309 |     700    14000    70000 | 2147483647    59635     98 |  0.000 % |
19.06/19.15	c |     65542 |     700    14000    70000 | 2147483647    59868     98 |  0.000 % |
19.26/19.31	c |     65799 |     700    14000    70000 | 2147483647    60125     98 |  0.000 % |
19.36/19.46	c |     66080 |     700    14000    70000 | 2147483647    60406     98 |  0.000 % |
19.56/19.63	c |     66389 |     700    14000    70000 | 2147483647    60715     98 |  0.000 % |
19.77/19.82	c |     66728 |     700    14000    70000 | 2147483647    61054     98 |  0.000 % |
19.96/20.03	c |     67100 |     700    14000    70000 | 2147483647    61426     98 |  0.000 % |
20.16/20.26	c |     67510 |     700    14000    70000 | 2147483647    61836     98 |  0.000 % |
20.46/20.52	c |     67960 |     700    14000    70000 | 2147483647    62286     98 |  0.000 % |
20.77/20.80	c |     68453 |     700    14000    70000 | 2147483647    62779     98 |  0.000 % |
20.96/21.09	c |     68996 |     700    14000    70000 | 2147483647    63322     98 |  0.000 % |
21.36/21.40	c |     69594 |     700    14000    70000 | 2147483647    63920     98 |  0.000 % |
21.66/21.80	c |     70249 |     700    14000    70000 | 2147483647    64575     98 |  0.000 % |
22.16/22.20	c |     70969 |     700    14000    70000 | 2147483647    65295     98 |  0.000 % |
22.56/22.67	c |     71762 |     700    14000    70000 | 2147483647    66088     98 |  0.000 % |
23.06/23.16	c |     72634 |     700    14000    70000 | 2147483647    66960     98 |  0.000 % |
23.16/23.22	c |     72734 |     700    14000    70000 | 2147483647    67060     98 |  0.000 % |
23.16/23.29	c |     72844 |     700    14000    70000 | 2147483647    67170     98 |  0.000 % |
23.27/23.37	c |     72967 |     700    14000    70000 | 2147483647    67293     98 |  0.000 % |
23.37/23.48	c |     73100 |     700    14000    70000 | 2147483647    67426     98 |  0.000 % |
23.46/23.58	c |     73247 |     700    14000    70000 | 2147483647    67573     98 |  0.000 % |
23.56/23.68	c |     73407 |     700    14000    70000 | 2147483647    67733     98 |  0.000 % |
23.76/23.80	c |     73585 |     700    14000    70000 | 2147483647    67911     98 |  0.000 % |
23.86/23.96	c |     73778 |     700    14000    70000 | 2147483647    68104     98 |  0.000 % |
23.96/24.10	c |     73991 |     700    14000    70000 | 2147483647    68317     98 |  0.000 % |
24.17/24.25	c |     74224 |     700    14000    70000 | 2147483647    68550     98 |  0.000 % |
24.36/24.40	c |     74480 |     700    14000    70000 | 2147483647    68806     98 |  0.000 % |
24.46/24.57	c |     74761 |     700    14000    70000 | 2147483647    69087     98 |  0.000 % |
24.66/24.78	c |     75071 |     700    14000    70000 | 2147483647    69397     98 |  0.000 % |
24.96/25.01	c |     75411 |     700    14000    70000 | 2147483647    69737     98 |  0.000 % |
25.16/25.24	c |     75784 |     700    14000    70000 | 2147483647    70110     98 |  0.000 % |
25.36/25.49	c |     76193 |     700    14000    70000 | 2147483647    70519     98 |  0.000 % |
25.66/25.76	c |     76643 |     700    14000    70000 | 2147483647    70969     98 |  0.000 % |
25.96/26.07	c |     77136 |     700    14000    70000 | 2147483647    71462     98 |  0.000 % |
26.36/26.42	c |     77678 |     700    14000    70000 | 2147483647    72004     98 |  0.000 % |
26.76/26.81	c |     78275 |     700    14000    70000 | 2147483647    72601     98 |  0.000 % |
27.16/27.23	c |     78930 |     700    14000    70000 | 2147483647    73256     98 |  0.000 % |
27.56/27.65	c |     79652 |     700    14000    70000 | 2147483647    73978     98 |  0.000 % |
28.16/28.20	c |     80445 |     700    14000    70000 |    74327    65162     98 |  0.000 % |
28.66/28.70	c |     81323 |     700    14000    70000 |    74327    66040     98 |  0.000 % |
29.16/29.27	c |     82281 |     700    14000    70000 |    74327    66998     98 |  0.000 % |
29.26/29.33	c |     82381 |     700    14000    70000 |    74327    67098     98 |  0.000 % |
29.36/29.40	c |     82493 |     700    14000    70000 |    74327    67210     98 |  0.000 % |
29.36/29.48	c |     82614 |     700    14000    70000 |    74327    67331     98 |  0.000 % |
29.46/29.58	c |     82750 |     700    14000    70000 |    74327    67467     98 |  0.000 % |
29.57/29.67	c |     82901 |     700    14000    70000 |    74327    67618     98 |  0.000 % |
29.67/29.77	c |     83062 |     700    14000    70000 |    74327    67779     98 |  0.000 % |
29.86/29.90	c |     83240 |     700    14000    70000 |    74327    67957     98 |  0.000 % |
29.96/30.02	c |     83433 |     700    14000    70000 |    74327    68150     98 |  0.000 % |
30.06/30.16	c |     83647 |     700    14000    70000 |    74327    68364     98 |  0.000 % |
30.26/30.30	c |     83881 |     700    14000    70000 |    74327    68598     98 |  0.000 % |
30.36/30.47	c |     84137 |     700    14000    70000 |    74327    68854     98 |  0.000 % |
30.56/30.65	c |     84420 |     700    14000    70000 |    74327    69137     98 |  0.000 % |
30.77/30.86	c |     84730 |     700    14000    70000 |    74327    69447     98 |  0.000 % |
30.96/31.07	c |     85070 |     700    14000    70000 |    74327    69787     98 |  0.000 % |
31.26/31.34	c |     85442 |     700    14000    70000 |    74327    70159     98 |  0.000 % |
31.56/31.61	c |     85851 |     700    14000    70000 |    74327    70568     98 |  0.000 % |
31.87/31.91	c |     86302 |     700    14000    70000 |    74327    71019     98 |  0.000 % |
32.16/32.22	c |     86796 |     700    14000    70000 |    74327    71513     98 |  0.000 % |
32.46/32.58	c |     87338 |     700    14000    70000 |    74327    72055     98 |  0.000 % |
32.87/32.96	c |     87934 |     700    14000    70000 |    74327    72651     99 |  0.000 % |
33.26/33.36	c |     88589 |     700    14000    70000 |    74327    73306     99 |  0.000 % |
33.76/33.88	c |     89312 |     700    14000    70000 |    74327    74029     99 |  0.000 % |
34.36/34.45	c |     90104 |     700    14000    70000 |    64015    64119     99 |  0.000 % |
34.86/34.94	c |     90975 |     700    14000    70000 |    64015    55867     99 |  0.000 % |
35.36/35.45	c |     91934 |     700    14000    70000 |    64015    56826     99 |  0.000 % |
35.86/35.97	c |     92987 |     700    14000    70000 |    64015    57879     99 |  0.000 % |
35.96/36.02	c |     93087 |     700    14000    70000 |    64015    57979     99 |  0.000 % |
35.96/36.08	c |     93198 |     700    14000    70000 |    64015    58090     99 |  0.000 % |
36.06/36.16	c |     93319 |     700    14000    70000 |    64015    58211     99 |  0.000 % |
36.17/36.23	c |     93452 |     700    14000    70000 |    64015    58344     99 |  0.000 % |
36.27/36.32	c |     93599 |     700    14000    70000 |    64015    58491     99 |  0.000 % |
36.36/36.44	c |     93761 |     700    14000    70000 |    64015    58653     99 |  0.000 % |
36.46/36.54	c |     93938 |     700    14000    70000 |    64015    58830     99 |  0.000 % |
36.56/36.65	c |     94131 |     700    14000    70000 |    64015    59023     99 |  0.000 % |
36.66/36.77	c |     94343 |     700    14000    70000 |    64015    59235     99 |  0.000 % |
36.86/36.90	c |     94576 |     700    14000    70000 |    64015    59468     99 |  0.000 % |
36.96/37.06	c |     94832 |     700    14000    70000 |    64015    59724     99 |  0.000 % |
37.16/37.23	c |     95113 |     700    14000    70000 |    64015    60005     99 |  0.000 % |
37.26/37.39	c |     95422 |     700    14000    70000 |    64015    60314     99 |  0.000 % |
37.46/37.56	c |     95761 |     700    14000    70000 |    64015    60653     99 |  0.000 % |
37.66/37.75	c |     96137 |     700    14000    70000 |    64015    61029     99 |  0.000 % |
37.86/37.97	c |     96547 |     700    14000    70000 |    64015    61439     99 |  0.000 % |
38.16/38.25	c |     96996 |     700    14000    70000 |    64015    61888     99 |  0.000 % |
38.46/38.51	c |     97489 |     700    14000    70000 |    64015    62381     99 |  0.000 % |
38.76/38.82	c |     98031 |     700    14000    70000 |    64015    62923     99 |  0.000 % |
39.06/39.19	c |     98629 |     700    14000    70000 |    64015    63521     99 |  0.000 % |
39.46/39.58	c |     99284 |     700    14000    70000 |    64015    64176     99 |  0.000 % |
39.86/39.97	c |    100004 |     700    14000    70000 |    57855    57859     99 |  0.000 % |
40.26/40.39	c |    100796 |     700    14000    70000 |    57855    52413     99 |  0.000 % |
40.66/40.80	c |    101668 |     700    14000    70000 |    57855    53285     99 |  0.000 % |
41.16/41.25	c |    102627 |     700    14000    70000 |    57855    54244     99 |  0.000 % |
41.76/41.81	c |    103680 |     700    14000    70000 |    57855    55297     99 |  0.000 % |
42.26/42.36	c |    104838 |     700    14000    70000 |    57855    56455     99 |  0.000 % |
42.36/42.41	c |    104938 |     700    14000    70000 |    57855    56555     99 |  0.000 % |
42.36/42.48	c |    105049 |     700    14000    70000 |    57855    56666     99 |  0.000 % |
42.46/42.57	c |    105170 |     700    14000    70000 |    57855    56787     99 |  0.000 % |
42.56/42.64	c |    105303 |     700    14000    70000 |    57855    56920     99 |  0.000 % |
42.66/42.73	c |    105451 |     700    14000    70000 |    57855    57068     99 |  0.000 % |
42.76/42.83	c |    105612 |     700    14000    70000 |    57855    57229     99 |  0.000 % |
42.86/42.92	c |    105788 |     700    14000    70000 |    57855    57405     99 |  0.000 % |
42.96/43.03	c |    105981 |     700    14000    70000 |    57855    57598     99 |  0.000 % |
43.06/43.15	c |    106193 |     700    14000    70000 |    57855    57810     99 |  0.000 % |
43.16/43.28	c |    106427 |     700    14000    70000 |    57855    58044     99 |  0.000 % |
43.36/43.44	c |    106685 |     700    14000    70000 |    57855    52498     99 |  0.000 % |
43.46/43.58	c |    106966 |     700    14000    70000 |    57855    52779     99 |  0.000 % |
43.66/43.73	c |    107275 |     700    14000    70000 |    57855    53088     99 |  0.000 % |
43.76/43.89	c |    107614 |     700    14000    70000 |    57855    53427     99 |  0.000 % |
43.96/44.06	c |    107986 |     700    14000    70000 |    57855    53799     99 |  0.000 % |
44.16/44.27	c |    108397 |     700    14000    70000 |    57855    54210     99 |  0.000 % |
44.46/44.51	c |    108846 |     700    14000    70000 |    57855    54659     99 |  0.000 % |
44.66/44.75	c |    109340 |     700    14000    70000 |    57855    55153     99 |  0.000 % |
44.96/45.02	c |    109883 |     700    14000    70000 |    57855    55696     99 |  0.000 % |
45.26/45.31	c |    110479 |     700    14000    70000 | 2147483647    56292     99 |  0.000 % |
45.56/45.65	c |    111136 |     700    14000    70000 | 2147483647    56949     99 |  0.000 % |
45.96/46.03	c |    111857 |     700    14000    70000 | 2147483647    57670     99 |  0.000 % |
46.36/46.47	c |    112651 |     700    14000    70000 | 2147483647    58464     99 |  0.000 % |
46.86/46.94	c |    113522 |     700    14000    70000 | 2147483647    59335     99 |  0.000 % |
47.46/47.52	c |    114480 |     700    14000    70000 | 2147483647    60293    100 |  0.000 % |
47.96/48.09	c |    115533 |     700    14000    70000 | 2147483647    61346    100 |  0.000 % |
48.66/48.73	c |    116691 |     700    14000    70000 | 2147483647    62504    100 |  0.000 % |
49.36/49.42	c |    117964 |     700    14000    70000 | 2147483647    63777    100 |  0.000 % |
49.36/49.48	c |    118066 |     700    14000    70000 | 2147483647    63879    100 |  0.000 % |
49.46/49.56	c |    118177 |     700    14000    70000 | 2147483647    63990    100 |  0.000 % |
49.56/49.63	c |    118298 |     700    14000    70000 | 2147483647    64111    100 |  0.000 % |
49.66/49.71	c |    118431 |     700    14000    70000 | 2147483647    64244    100 |  0.000 % |
49.66/49.79	c |    118578 |     700    14000    70000 | 2147483647    64391    100 |  0.000 % |
49.86/49.91	c |    118738 |     700    14000    70000 | 2147483647    64551    100 |  0.000 % |
49.96/50.02	c |    118915 |     700    14000    70000 | 2147483647    64728    100 |  0.000 % |
50.05/50.14	c |    119108 |     700    14000    70000 | 2147483647    64921    100 |  0.000 % |
50.15/50.26	c |    119321 |     700    14000    70000 | 2147483647    65134    100 |  0.000 % |
50.25/50.40	c |    119555 |     700    14000    70000 | 2147483647    65368    100 |  0.000 % |
50.46/50.58	c |    119811 |     700    14000    70000 | 2147483647    65624    100 |  0.000 % |
50.65/50.77	c |    120092 |     700    14000    70000 | 2147483647    65905    100 |  0.000 % |
50.85/50.98	c |    120401 |     700    14000    70000 | 2147483647    66214    100 |  0.000 % |
51.15/51.21	c |    120740 |     700    14000    70000 | 2147483647    66553    100 |  0.000 % |
51.35/51.44	c |    121113 |     700    14000    70000 | 2147483647    66926    100 |  0.000 % |
51.56/51.68	c |    121523 |     700    14000    70000 | 2147483647    67336    100 |  0.000 % |
51.95/52.00	c |    121972 |     700    14000    70000 | 2147483647    67785    100 |  0.000 % |
52.25/52.31	c |    122465 |     700    14000    70000 | 2147483647    68278    100 |  0.000 % |
52.55/52.65	c |    123007 |     700    14000    70000 | 2147483647    68820    100 |  0.000 % |
52.95/53.05	c |    123605 |     700    14000    70000 | 2147483647    69418    100 |  0.000 % |
53.35/53.46	c |    124260 |     700    14000    70000 | 2147483647    70073    100 |  0.000 % |
53.86/53.92	c |    124980 |     700    14000    70000 | 2147483647    70793    100 |  0.000 % |
54.25/54.39	c |    125773 |     700    14000    70000 | 2147483647    71586    100 |  0.000 % |
54.86/54.92	c |    126644 |     700    14000    70000 | 2147483647    72457    100 |  0.000 % |
55.45/55.54	c |    127602 |     700    14000    70000 | 2147483647    73415    100 |  0.000 % |
56.15/56.20	c |    128655 |     700    14000    70000 | 2147483647    74468    100 |  0.000 % |
56.85/56.92	c |    129815 |     700    14000    70000 | 2147483647    75628    100 |  0.000 % |
57.65/57.73	c |    131088 |     700    14000    70000 |    75814    65968    100 |  0.000 % |
58.45/58.59	c |    132488 |     700    14000    70000 |    75814    67368    100 |  0.000 % |
58.55/58.65	c |    132589 |     700    14000    70000 |    75814    67469    100 |  0.000 % |
58.65/58.73	c |    132700 |     700    14000    70000 |    75814    67580    100 |  0.000 % |
58.75/58.81	c |    132821 |     700    14000    70000 |    75814    67701    100 |  0.000 % |
58.75/58.88	c |    132954 |     700    14000    70000 |    75814    67834    100 |  0.000 % |
58.85/59.00	c |    133102 |     700    14000    70000 |    75814    67982    100 |  0.000 % |
59.05/59.10	c |    133263 |     700    14000    70000 |    75814    68143    100 |  0.000 % |
59.15/59.21	c |    133439 |     700    14000    70000 |    75814    68319    100 |  0.000 % |
59.25/59.32	c |    133635 |     700    14000    70000 |    75814    68515    100 |  0.000 % |
59.35/59.47	c |    133851 |     700    14000    70000 |    75814    68731    100 |  0.000 % |
59.55/59.64	c |    134085 |     700    14000    70000 |    75814    68965    100 |  0.000 % |
59.75/59.84	c |    134341 |     700    14000    70000 |    75814    69221    100 |  0.000 % |
59.95/60.03	c |    134624 |     700    14000    70000 |    75814    69504    100 |  0.000 % |
60.15/60.23	c |    134933 |     700    14000    70000 |    75814    69813    100 |  0.000 % |
60.35/60.49	c |    135275 |     700    14000    70000 |    75814    70155    100 |  0.000 % |
60.65/60.71	c |    135648 |     700    14000    70000 |    75814    70528    100 |  0.000 % |
60.85/60.97	c |    136057 |     700    14000    70000 |    75814    70937    100 |  0.000 % |
61.15/61.27	c |    136506 |     700    14000    70000 |    75814    71386    100 |  0.000 % |
61.55/61.64	c |    136999 |     700    14000    70000 |    75814    71879    100 |  0.000 % |
61.86/61.99	c |    137542 |     700    14000    70000 |    75814    72422    100 |  0.000 % |
62.36/62.42	c |    138140 |     700    14000    70000 |    75814    73020    100 |  0.000 % |
62.76/62.82	c |    138795 |     700    14000    70000 |    75814    73675    100 |  0.000 % |
63.16/63.29	c |    139515 |     700    14000    70000 |    75814    74395    100 |  0.000 % |
63.86/63.92	c |    140307 |     700    14000    70000 |    74880    63135    100 |  0.000 % |
64.36/64.42	c |    141179 |     700    14000    70000 |    74880    64007    100 |  0.000 % |
64.86/64.97	c |    142139 |     700    14000    70000 |    74880    64967    100 |  0.000 % |
65.56/65.60	c |    143192 |     700    14000    70000 |    74880    66020    100 |  0.000 % |
66.16/66.27	c |    144351 |     700    14000    70000 |    74880    67179    100 |  0.000 % |
66.96/67.07	c |    145624 |     700    14000    70000 |    74880    68452    100 |  0.000 % |
67.86/67.91	c |    147025 |     700    14000    70000 |    74880    69853    100 |  0.000 % |
68.85/68.94	c |    148567 |     700    14000    70000 |    74880    71395    100 |  0.000 % |
68.95/69.02	c |    148667 |     700    14000    70000 |    74880    71495    100 |  0.000 % |
68.95/69.09	c |    148777 |     700    14000    70000 |    74880    71605    100 |  0.000 % |
69.05/69.17	c |    148898 |     700    14000    70000 |    74880    71726    100 |  0.000 % |
69.16/69.25	c |    149032 |     700    14000    70000 |    74880    71860    100 |  0.000 % |
69.26/69.37	c |    149178 |     700    14000    70000 |    74880    72006    100 |  0.000 % |
69.35/69.48	c |    149338 |     700    14000    70000 |    74880    72166    100 |  0.000 % |
69.55/69.61	c |    149514 |     700    14000    70000 |    74880    72342    100 |  0.000 % |
69.65/69.76	c |    149709 |     700    14000    70000 |    74880    72537    100 |  0.000 % |
69.85/69.91	c |    149921 |     700    14000    70000 |    74880    72749    100 |  0.000 % |
69.95/70.07	c |    150154 |     700    14000    70000 |    72833    72982    100 |  0.000 % |
70.15/70.27	c |    150410 |     700    14000    70000 |    72833    62158    100 |  0.000 % |
70.36/70.45	c |    150695 |     700    14000    70000 |    72833    62443    100 |  0.000 % |
70.56/70.62	c |    151004 |     700    14000    70000 |    72833    62752    100 |  0.000 % |
70.75/70.83	c |    151343 |     700    14000    70000 |    72833    63091    100 |  0.000 % |
70.95/71.05	c |    151716 |     700    14000    70000 |    72833    63464    100 |  0.000 % |
71.15/71.27	c |    152125 |     700    14000    70000 |    72833    63873    100 |  0.000 % |
71.46/71.54	c |    152575 |     700    14000    70000 |    72833    64323    100 |  0.000 % |
71.75/71.88	c |    153068 |     700    14000    70000 |    72833    64816    100 |  0.000 % |
72.15/72.23	c |    153611 |     700    14000    70000 |    72833    65359    100 |  0.000 % |
72.46/72.60	c |    154207 |     700    14000    70000 |    72833    65955    100 |  0.000 % |
72.95/73.01	c |    154863 |     700    14000    70000 |    72833    66611    100 |  0.000 % |
73.35/73.43	c |    155584 |     700    14000    70000 |    72833    67332    100 |  0.000 % |
73.85/73.99	c |    156379 |     700    14000    70000 |    72833    68127    100 |  0.000 % |
74.45/74.52	c |    157250 |     700    14000    70000 |    72833    68998    100 |  0.000 % |
74.95/75.07	c |    158209 |     700    14000    70000 |    72833    69957    100 |  0.000 % |
75.65/75.70	c |    159262 |     700    14000    70000 |    72833    71010    100 |  0.000 % |
76.35/76.42	c |    160421 |     700    14000    70000 |    71749    61684    100 |  0.000 % |
77.05/77.13	c |    161694 |     700    14000    70000 |    71749    62957    100 |  0.000 % |
77.75/77.89	c |    163095 |     700    14000    70000 |    71749    64358    100 |  0.000 % |
78.75/78.86	c |    164635 |     700    14000    70000 |    71749    65898    101 |  0.000 % |
79.75/79.84	c |    166329 |     700    14000    70000 |    71749    67592    101 |  0.000 % |
79.85/79.90	c |    166432 |     700    14000    70000 |    71749    67695    101 |  0.000 % |
79.85/79.97	c |    166542 |     700    14000    70000 |    71749    67805    101 |  0.000 % |
79.95/80.08	c |    166663 |     700    14000    70000 |    71749    67926    101 |  0.000 % |
80.05/80.17	c |    166797 |     700    14000    70000 |    71749    68060    101 |  0.000 % |
80.15/80.28	c |    166943 |     700    14000    70000 |    71749    68206    101 |  0.000 % |
80.25/80.38	c |    167104 |     700    14000    70000 |    71749    68367    101 |  0.000 % |
80.45/80.50	c |    167283 |     700    14000    70000 |    71749    68546    101 |  0.000 % |
80.55/80.63	c |    167478 |     700    14000    70000 |    71749    68741    101 |  0.000 % |
80.65/80.77	c |    167691 |     700    14000    70000 |    71749    68954    101 |  0.000 % |
80.85/80.93	c |    167924 |     700    14000    70000 |    71749    69187    101 |  0.000 % |
80.95/81.09	c |    168181 |     700    14000    70000 |    71749    69444    101 |  0.000 % |
81.15/81.27	c |    168462 |     700    14000    70000 |    71749    69725    101 |  0.000 % |
81.35/81.49	c |    168772 |     700    14000    70000 |    71749    70035    101 |  0.000 % |
81.65/81.71	c |    169111 |     700    14000    70000 |    71749    70374    101 |  0.000 % |
81.85/81.95	c |    169483 |     700    14000    70000 |    71749    70746    101 |  0.000 % |
82.15/82.20	c |    169892 |     700    14000    70000 |    71749    71155    101 |  0.000 % |
82.45/82.53	c |    170342 |     700    14000    70000 |    71263    61641    101 |  0.000 % |
82.75/82.82	c |    170838 |     700    14000    70000 |    71263    62137    101 |  0.000 % |
83.05/83.11	c |    171381 |     700    14000    70000 |    71263    62680    101 |  0.000 % |
83.35/83.45	c |    171978 |     700    14000    70000 |    71263    63277    101 |  0.000 % |
83.75/83.81	c |    172634 |     700    14000    70000 |    71263    63933    101 |  0.000 % |
84.15/84.23	c |    173354 |     700    14000    70000 |    71263    64653    101 |  0.000 % |
84.55/84.68	c |    174146 |     700    14000    70000 |    71263    65445    101 |  0.000 % |
85.05/85.18	c |    175017 |     700    14000    70000 |    71263    66316    101 |  0.000 % |
85.65/85.79	c |    175975 |     700    14000    70000 |    71263    67274    101 |  0.000 % |
86.35/86.42	c |    177030 |     700    14000    70000 |    71263    68329    101 |  0.000 % |
87.05/87.11	c |    178188 |     700    14000    70000 |    71263    69487    101 |  0.000 % |
87.75/87.89	c |    179462 |     700    14000    70000 |    71263    70761    101 |  0.000 % |
88.65/88.73	c |    180862 |     700    14000    70000 |    71300    62560    101 |  0.000 % |
89.45/89.59	c |    182404 |     700    14000    70000 |    71300    64102    101 |  0.000 % |
90.45/90.52	c |    184100 |     700    14000    70000 |    71300    65798    101 |  0.000 % |
91.55/91.62	c |    185963 |     700    14000    70000 |    71300    67661    101 |  0.000 % |
91.55/91.69	c |    186064 |     700    14000    70000 |    71300    67762    101 |  0.000 % |
91.65/91.78	c |    186175 |     700    14000    70000 |    71300    67873    101 |  0.000 % |
91.75/91.86	c |    186296 |     700    14000    70000 |    71300    67994    101 |  0.000 % |
91.85/91.95	c |    186429 |     700    14000    70000 |    71300    68127    101 |  0.000 % |
91.95/92.06	c |    186575 |     700    14000    70000 |    71300    68273    101 |  0.000 % |
92.05/92.20	c |    186737 |     700    14000    70000 |    71300    68435    101 |  0.000 % |
92.25/92.31	c |    186915 |     700    14000    70000 |    71300    68613    101 |  0.000 % |
92.35/92.45	c |    187108 |     700    14000    70000 |    71300    68806    101 |  0.000 % |
92.45/92.60	c |    187321 |     700    14000    70000 |    71300    69019    101 |  0.000 % |
92.65/92.73	c |    187556 |     700    14000    70000 |    71300    69254    101 |  0.000 % |
92.85/92.95	c |    187812 |     700    14000    70000 |    71300    69510    101 |  0.000 % |
93.05/93.14	c |    188094 |     700    14000    70000 |    71300    69792    101 |  0.000 % |
93.25/93.36	c |    188404 |     700    14000    70000 |    71300    70102    101 |  0.000 % |
93.45/93.58	c |    188744 |     700    14000    70000 |    71300    70442    101 |  0.000 % |
93.75/93.80	c |    189117 |     700    14000    70000 |    71300    70815    101 |  0.000 % |
93.95/94.09	c |    189528 |     700    14000    70000 |    71300    71226    101 |  0.000 % |
94.35/94.47	c |    189980 |     700    14000    70000 |    71300    61923    101 |  0.000 % |
94.65/94.78	c |    190475 |     700    14000    70000 |    61943    53953    101 |  0.000 % |
94.95/95.04	c |    191017 |     700    14000    70000 |    61943    54495    102 |  0.000 % |
95.25/95.36	c |    191613 |     700    14000    70000 |    61943    55091    102 |  0.000 % |
95.65/95.71	c |    192268 |     700    14000    70000 |    61943    55746    102 |  0.000 % |
95.95/96.07	c |    192989 |     700    14000    70000 |    61943    56467    102 |  0.000 % |
96.35/96.49	c |    193781 |     700    14000    70000 |    61943    57259    101 |  0.000 % |
96.84/96.95	c |    194654 |     700    14000    70000 |    61943    58132    101 |  0.000 % |
97.34/97.45	c |    195612 |     700    14000    70000 |    61943    59090    101 |  0.000 % |
97.94/98.01	c |    196667 |     700    14000    70000 |    61943    60145    101 |  0.000 % |
98.54/98.60	c |    197826 |     700    14000    70000 |    61943    61304    101 |  0.000 % |
99.24/99.32	c |    199100 |     700    14000    70000 |    61943    56359    101 |  0.000 % |
99.84/99.98	c |    200500 |     700    14000    70000 | 2147483647    57759    102 |  0.000 % |
100.74/100.81	c |    202040 |     700    14000    70000 | 2147483647    59299    102 |  0.000 % |
101.64/101.72	c |    203734 |     700    14000    70000 | 2147483647    60993    102 |  0.000 % |
102.74/102.81	c |    205598 |     700    14000    70000 | 2147483647    62857    102 |  0.000 % |
103.84/103.92	c |    207647 |     700    14000    70000 | 2147483647    64906    102 |  0.000 % |
103.84/103.98	c |    207747 |     700    14000    70000 | 2147483647    65006    102 |  0.000 % |
103.94/104.06	c |    207857 |     700    14000    70000 | 2147483647    65116    102 |  0.000 % |
104.04/104.13	c |    207979 |     700    14000    70000 | 2147483647    65238    102 |  0.000 % |
104.14/104.22	c |    208112 |     700    14000    70000 | 2147483647    65371    102 |  0.000 % |
104.24/104.32	c |    208259 |     700    14000    70000 | 2147483647    65518    102 |  0.000 % |
104.35/104.42	c |    208419 |     700    14000    70000 | 2147483647    65678    102 |  0.000 % |
104.45/104.54	c |    208595 |     700    14000    70000 | 2147483647    65854    102 |  0.000 % |
104.54/104.68	c |    208788 |     700    14000    70000 | 2147483647    66047    102 |  0.000 % |
104.74/104.82	c |    209002 |     700    14000    70000 | 2147483647    66261    102 |  0.000 % |
104.84/104.99	c |    209236 |     700    14000    70000 | 2147483647    66495    102 |  0.000 % |
105.04/105.17	c |    209493 |     700    14000    70000 | 2147483647    66752    102 |  0.000 % |
105.24/105.35	c |    209774 |     700    14000    70000 | 2147483647    67033    102 |  0.000 % |
105.44/105.54	c |    210084 |     700    14000    70000 |    67262    67343    102 |  0.000 % |
105.74/105.81	c |    210425 |     700    14000    70000 |    67262    60254    102 |  0.000 % |
105.94/106.04	c |    210798 |     700    14000    70000 |    67262    60627    102 |  0.000 % |
106.14/106.26	c |    211209 |     700    14000    70000 |    67262    61038    102 |  0.000 % |
106.44/106.52	c |    211659 |     700    14000    70000 |    67262    61488    102 |  0.000 % |
106.74/106.82	c |    212152 |     700    14000    70000 |    67262    61981    102 |  0.000 % |
107.04/107.12	c |    212694 |     700    14000    70000 |    67262    62523    102 |  0.000 % |
107.34/107.43	c |    213293 |     700    14000    70000 |    67262    63122    102 |  0.000 % |
107.64/107.80	c |    213948 |     700    14000    70000 |    67262    63777    102 |  0.000 % |
108.14/108.22	c |    214669 |     700    14000    70000 |    67262    64498    102 |  0.000 % |
108.54/108.66	c |    215462 |     700    14000    70000 |    67262    65291    102 |  0.000 % |
109.04/109.16	c |    216333 |     700    14000    70000 |    67262    66162    102 |  0.000 % |
109.54/109.65	c |    217294 |     700    14000    70000 |    67262    67123    102 |  0.000 % |
110.14/110.28	c |    218347 |     700    14000    70000 |    67262    60592    102 |  0.000 % |
110.84/110.92	c |    219506 |     700    14000    70000 |    67262    61751    102 |  0.000 % |
111.64/111.71	c |    220780 |     700    14000    70000 |    62246    56042    102 |  0.000 % |
112.34/112.44	c |    222180 |     700    14000    70000 |    62246    57442    102 |  0.000 % |
113.14/113.25	c |    223720 |     700    14000    70000 |    62246    58982    102 |  0.000 % |
114.04/114.14	c |    225415 |     700    14000    70000 |    62246    60677    102 |  0.000 % |
115.14/115.23	c |    227281 |     700    14000    70000 |    62246    56294    102 |  0.000 % |
116.04/116.19	c |    229331 |     700    14000    70000 |    62246    58344    102 |  0.000 % |
117.24/117.34	c |    231584 |     700    14000    70000 | 2147483647    60597    102 |  0.000 % |
117.34/117.42	c |    231686 |     700    14000    70000 | 2147483647    60699    102 |  0.000 % |
117.34/117.48	c |    231796 |     700    14000    70000 | 2147483647    60809    102 |  0.000 % |
117.44/117.56	c |    231917 |     700    14000    70000 | 2147483647    60930    102 |  0.000 % |
117.54/117.64	c |    232052 |     700    14000    70000 | 2147483647    61065    102 |  0.000 % |
117.64/117.74	c |    232198 |     700    14000    70000 | 2147483647    61211    102 |  0.000 % |
117.74/117.85	c |    232358 |     700    14000    70000 | 2147483647    61371    102 |  0.000 % |
117.84/117.96	c |    232536 |     700    14000    70000 | 2147483647    61549    102 |  0.000 % |
117.94/118.09	c |    232729 |     700    14000    70000 | 2147483647    61742    102 |  0.000 % |
118.14/118.22	c |    232941 |     700    14000    70000 | 2147483647    61954    102 |  0.000 % |
118.24/118.37	c |    233174 |     700    14000    70000 | 2147483647    62187    102 |  0.000 % |
118.44/118.52	c |    233431 |     700    14000    70000 | 2147483647    62444    102 |  0.000 % |
118.54/118.68	c |    233712 |     700    14000    70000 | 2147483647    62725    102 |  0.000 % |
118.74/118.84	c |    234022 |     700    14000    70000 | 2147483647    63035    102 |  0.000 % |
118.94/119.08	c |    234362 |     700    14000    70000 | 2147483647    63375    102 |  0.000 % |
119.24/119.33	c |    234734 |     700    14000    70000 | 2147483647    63747    102 |  0.000 % |
119.44/119.58	c |    235143 |     700    14000    70000 | 2147483647    64156    102 |  0.000 % |
119.74/119.86	c |    235593 |     700    14000    70000 | 2147483647    64606    102 |  0.000 % |
120.04/120.17	c |    236086 |     700    14000    70000 | 2147483647    65099    102 |  0.000 % |
120.34/120.48	c |    236629 |     700    14000    70000 | 2147483647    65642    102 |  0.000 % |
120.74/120.84	c |    237225 |     700    14000    70000 | 2147483647    66238    102 |  0.000 % |
121.14/121.21	c |    237880 |     700    14000    70000 | 2147483647    66893    102 |  0.000 % |
121.54/121.63	c |    238600 |     700    14000    70000 | 2147483647    67613    102 |  0.000 % |
122.04/122.10	c |    239392 |     700    14000    70000 | 2147483647    68405    102 |  0.000 % |
122.53/122.65	c |    240264 |     700    14000    70000 |    69013    61138    101 |  0.000 % |
123.04/123.17	c |    241223 |     700    14000    70000 |    69013    62097    101 |  0.000 % |
123.63/123.73	c |    242276 |     700    14000    70000 |    69013    63150    101 |  0.000 % |
124.24/124.33	c |    243435 |     700    14000    70000 |    69013    64309    101 |  0.000 % |
124.93/125.01	c |    244708 |     700    14000    70000 |    69013    65582    102 |  0.000 % |
125.73/125.81	c |    246110 |     700    14000    70000 |    69013    66984    102 |  0.000 % |
126.53/126.70	c |    247651 |     700    14000    70000 |    69013    68525    102 |  0.000 % |
127.54/127.62	c |    249345 |     700    14000    70000 |    69013    62898    102 |  0.000 % |
128.54/128.62	c |    251209 |     700    14000    70000 |    63554    58150    102 |  0.000 % |
129.53/129.67	c |    253258 |     700    14000    70000 |    63554    60199    102 |  0.000 % |
130.74/130.84	c |    255512 |     700    14000    70000 |    63554    62453    102 |  0.000 % |
132.13/132.24	c |    257992 |     700    14000    70000 |    63554    58553    102 |  0.000 % |
132.23/132.31	c |    258096 |     700    14000    70000 |    63554    58657    102 |  0.000 % |
132.23/132.38	c |    258206 |     700    14000    70000 |    63554    58767    102 |  0.000 % |
132.33/132.45	c |    258331 |     700    14000    70000 |    63554    58892    102 |  0.000 % |
132.43/132.53	c |    258464 |     700    14000    70000 |    63554    59025    102 |  0.000 % |
132.53/132.62	c |    258610 |     700    14000    70000 |    63554    59171    102 |  0.000 % |
132.63/132.72	c |    258772 |     700    14000    70000 |    63554    59333    102 |  0.000 % |
132.73/132.83	c |    258950 |     700    14000    70000 |    63554    59511    102 |  0.000 % |
132.83/132.94	c |    259143 |     700    14000    70000 |    63554    59704    102 |  0.000 % |
132.93/133.06	c |    259357 |     700    14000    70000 |    63554    59918    102 |  0.000 % |
133.03/133.18	c |    259591 |     700    14000    70000 |    63554    60152    102 |  0.000 % |
133.23/133.34	c |    259847 |     700    14000    70000 |    63554    60408    102 |  0.000 % |
133.43/133.51	c |    260129 |     700    14000    70000 | 2147483647    60690    102 |  0.000 % |
133.53/133.68	c |    260439 |     700    14000    70000 | 2147483647    61000    102 |  0.000 % |
133.73/133.88	c |    260778 |     700    14000    70000 | 2147483647    61339    102 |  0.000 % |
134.03/134.10	c |    261153 |     700    14000    70000 | 2147483647    61714    102 |  0.000 % |
134.23/134.34	c |    261562 |     700    14000    70000 | 2147483647    62123    102 |  0.000 % |
134.53/134.61	c |    262012 |     700    14000    70000 | 2147483647    62573    102 |  0.000 % |
134.83/134.91	c |    262507 |     700    14000    70000 | 2147483647    63068    102 |  0.000 % |
135.13/135.26	c |    263049 |     700    14000    70000 | 2147483647    63610    102 |  0.000 % |
135.53/135.60	c |    263645 |     700    14000    70000 | 2147483647    64206    101 |  0.000 % |
135.83/135.99	c |    264301 |     700    14000    70000 | 2147483647    64862    101 |  0.000 % |
136.23/136.38	c |    265023 |     700    14000    70000 | 2147483647    65584    101 |  0.000 % |
136.73/136.88	c |    265815 |     700    14000    70000 | 2147483647    66376    101 |  0.000 % |
137.33/137.43	c |    266686 |     700    14000    70000 | 2147483647    67247    101 |  0.000 % |
137.93/138.02	c |    267644 |     700    14000    70000 | 2147483647    68205    101 |  0.000 % |
138.53/138.64	c |    268697 |     700    14000    70000 | 2147483647    69258    101 |  0.000 % |
139.23/139.32	c |    269855 |     700    14000    70000 | 2147483647    70416    101 |  0.000 % |
139.94/140.08	c |    271130 |     700    14000    70000 |    70561    63135    101 |  0.000 % |
140.74/140.87	c |    272531 |     700    14000    70000 |    70561    64536    101 |  0.000 % |
141.64/141.79	c |    274072 |     700    14000    70000 |    70561    66077    101 |  0.000 % |
142.64/142.75	c |    275766 |     700    14000    70000 |    70561    67771    101 |  0.000 % |
143.74/143.80	c |    277629 |     700    14000    70000 |    70561    69634    101 |  0.000 % |
144.94/145.03	c |    279680 |     700    14000    70000 |    70561    62917    102 |  0.000 % |
146.04/146.17	c |    281933 |     700    14000    70000 |    63237    57673    101 |  0.000 % |
147.34/147.44	c |    284412 |     700    14000    70000 |    63237    60152    102 |  0.000 % |
148.74/148.86	c |    287137 |     700    14000    70000 |    63237    62877    102 |  0.000 % |
148.84/148.92	c |    287239 |     700    14000    70000 |    63237    62979    102 |  0.000 % |
148.84/148.99	c |    287350 |     700    14000    70000 |    63237    63090    102 |  0.000 % |
148.94/149.07	c |    287471 |     700    14000    70000 |    63237    63211    101 |  0.000 % |
149.04/149.16	c |    287607 |     700    14000    70000 |    63237    63347    101 |  0.000 % |
149.14/149.28	c |    287753 |     700    14000    70000 |    63237    57159    101 |  0.000 % |
149.24/149.36	c |    287913 |     700    14000    70000 |    63237    57319    101 |  0.000 % |
149.34/149.47	c |    288089 |     700    14000    70000 |    63237    57495    101 |  0.000 % |
149.44/149.58	c |    288283 |     700    14000    70000 |    63237    57689    101 |  0.000 % |
149.64/149.70	c |    288496 |     700    14000    70000 |    63237    57902    101 |  0.000 % |
149.74/149.84	c |    288729 |     700    14000    70000 |    63237    58135    101 |  0.000 % |
149.84/149.99	c |    288985 |     700    14000    70000 |    63237    58391    101 |  0.000 % |
150.04/150.15	c |    289266 |     700    14000    70000 |    63237    58672    101 |  0.000 % |
150.24/150.31	c |    289578 |     700    14000    70000 |    63237    58984    101 |  0.000 % |
150.44/150.51	c |    289917 |     700    14000    70000 |    63237    59323    101 |  0.000 % |
150.64/150.73	c |    290289 |     700    14000    70000 | 2147483647    59695    101 |  0.000 % |
150.84/150.96	c |    290698 |     700    14000    70000 | 2147483647    60104    101 |  0.000 % |
151.14/151.22	c |    291147 |     700    14000    70000 | 2147483647    60553    101 |  0.000 % |
151.34/151.49	c |    291642 |     700    14000    70000 | 2147483647    61048    101 |  0.000 % |
151.74/151.83	c |    292185 |     700    14000    70000 | 2147483647    61591    101 |  0.000 % |
152.04/152.14	c |    292781 |     700    14000    70000 | 2147483647    62187    101 |  0.000 % |
152.44/152.52	c |    293436 |     700    14000    70000 | 2147483647    62842    101 |  0.000 % |
152.84/152.93	c |    294156 |     700    14000    70000 | 2147483647    63562    101 |  0.000 % |
153.23/153.39	c |    294949 |     700    14000    70000 | 2147483647    64355    101 |  0.000 % |
153.73/153.88	c |    295822 |     700    14000    70000 | 2147483647    65228    101 |  0.000 % |
154.33/154.44	c |    296782 |     700    14000    70000 | 2147483647    66188    101 |  0.000 % |
154.94/155.04	c |    297838 |     700    14000    70000 | 2147483647    67244    101 |  0.000 % |
155.53/155.68	c |    298999 |     700    14000    70000 | 2147483647    68405    101 |  0.000 % |
156.33/156.43	c |    300272 |     700    14000    70000 |    69409    61868    102 |  0.000 % |
157.03/157.19	c |    301672 |     700    14000    70000 |    69409    63268    102 |  0.000 % |
157.93/158.07	c |    303213 |     700    14000    70000 |    69409    64809    102 |  0.000 % |
158.83/158.98	c |    304907 |     700    14000    70000 |    69409    66503    101 |  0.000 % |
159.93/160.04	c |    306770 |     700    14000    70000 |    69409    68366    102 |  0.000 % |
161.13/161.23	c |    308819 |     700    14000    70000 |    69409    62997    102 |  0.000 % |
162.43/162.52	c |    311072 |     700    14000    70000 |    64178    58507    101 |  0.000 % |
163.73/163.86	c |    313550 |     700    14000    70000 |    64178    60985    101 |  0.000 % |
165.23/165.36	c |    316275 |     700    14000    70000 |    64178    63710    102 |  0.000 % |
166.83/166.98	c |    319274 |     700    14000    70000 |    64178    60176    102 |  0.000 % |
166.93/167.04	c |    319376 |     700    14000    70000 |    64178    60278    102 |  0.000 % |
167.03/167.11	c |    319486 |     700    14000    70000 |    64178    60388    102 |  0.000 % |
167.03/167.19	c |    319607 |     700    14000    70000 |    64178    60509    102 |  0.000 % |
167.13/167.28	c |    319740 |     700    14000    70000 |    64178    60642    102 |  0.000 % |
167.23/167.38	c |    319889 |     700    14000    70000 |    64178    60791    102 |  0.000 % |
167.33/167.48	c |    320050 |     700    14000    70000 | 2147483647    60952    102 |  0.000 % |
167.53/167.61	c |    320226 |     700    14000    70000 | 2147483647    61128    102 |  0.000 % |
167.63/167.73	c |    320419 |     700    14000    70000 | 2147483647    61321    102 |  0.000 % |
167.73/167.85	c |    320632 |     700    14000    70000 | 2147483647    61534    102 |  0.000 % |
167.93/168.00	c |    320867 |     700    14000    70000 | 2147483647    61769    102 |  0.000 % |
168.03/168.15	c |    321123 |     700    14000    70000 | 2147483647    62025    102 |  0.000 % |
168.23/168.32	c |    321404 |     700    14000    70000 | 2147483647    62306    102 |  0.000 % |
168.43/168.50	c |    321713 |     700    14000    70000 | 2147483647    62615    102 |  0.000 % |
168.63/168.70	c |    322053 |     700    14000    70000 | 2147483647    62955    102 |  0.000 % |
168.83/168.94	c |    322425 |     700    14000    70000 | 2147483647    63327    102 |  0.000 % |
169.03/169.18	c |    322834 |     700    14000    70000 | 2147483647    63736    102 |  0.000 % |
169.33/169.45	c |    323285 |     700    14000    70000 | 2147483647    64187    102 |  0.000 % |
169.63/169.73	c |    323778 |     700    14000    70000 | 2147483647    64680    102 |  0.000 % |
169.93/170.04	c |    324321 |     700    14000    70000 | 2147483647    65223    102 |  0.000 % |
170.23/170.37	c |    324917 |     700    14000    70000 | 2147483647    65819    102 |  0.000 % |
170.63/170.77	c |    325572 |     700    14000    70000 | 2147483647    66474    102 |  0.000 % |
171.13/171.21	c |    326293 |     700    14000    70000 | 2147483647    67195    102 |  0.000 % |
171.63/171.71	c |    327085 |     700    14000    70000 | 2147483647    67987    102 |  0.000 % |
172.13/172.29	c |    327957 |     700    14000    70000 | 2147483647    68859    102 |  0.000 % |
172.73/172.87	c |    328916 |     700    14000    70000 | 2147483647    69818    102 |  0.000 % |
173.43/173.52	c |    329970 |     700    14000    70000 | 2147483647    70872    102 |  0.000 % |
174.13/174.24	c |    331128 |     700    14000    70000 |    70903    62914    102 |  0.000 % |
174.83/174.93	c |    332403 |     700    14000    70000 |    70903    64189    102 |  0.000 % |
175.63/175.72	c |    333804 |     700    14000    70000 |    70903    65590    102 |  0.000 % |
176.53/176.66	c |    335346 |     700    14000    70000 |    70903    67132    103 |  0.000 % |
177.53/177.66	c |    337040 |     700    14000    70000 |    70903    68826    102 |  0.000 % |
178.73/178.82	c |    338904 |     700    14000    70000 |    70903    70690    102 |  0.000 % |
179.93/180.04	c |    340954 |     700    14000    70000 |    62862    56015    102 |  0.000 % |
181.03/181.14	c |    343207 |     700    14000    70000 |    62862    58268    102 |  0.000 % |
182.33/182.41	c |    345686 |     700    14000    70000 |    62862    60747    102 |  0.000 % |
183.72/183.85	c |    348411 |     700    14000    70000 |    62862    57160    103 |  0.000 % |
185.32/185.41	c |    351409 |     700    14000    70000 | 2147483647    60158    103 |  0.000 % |
187.12/187.29	c |    354706 |     700    14000    70000 | 2147483647    63455    104 |  0.000 % |
187.22/187.36	c |    354806 |     700    14000    70000 | 2147483647    63555    104 |  0.000 % |
187.32/187.44	c |    354917 |     700    14000    70000 | 2147483647    63666    104 |  0.000 % |
187.42/187.52	c |    355038 |     700    14000    70000 | 2147483647    63787    104 |  0.000 % |
187.52/187.62	c |    355171 |     700    14000    70000 | 2147483647    63920    104 |  0.000 % |
187.62/187.72	c |    355317 |     700    14000    70000 | 2147483647    64066    104 |  0.000 % |
187.72/187.82	c |    355477 |     700    14000    70000 | 2147483647    64226    104 |  0.000 % |
187.82/187.93	c |    355653 |     700    14000    70000 | 2147483647    64402    104 |  0.000 % |
187.93/188.05	c |    355846 |     700    14000    70000 | 2147483647    64595    104 |  0.000 % |
188.03/188.19	c |    356059 |     700    14000    70000 | 2147483647    64808    104 |  0.000 % |
188.22/188.34	c |    356293 |     700    14000    70000 | 2147483647    65042    104 |  0.000 % |
188.32/188.49	c |    356549 |     700    14000    70000 | 2147483647    65298    104 |  0.000 % |
188.52/188.67	c |    356831 |     700    14000    70000 | 2147483647    65580    104 |  0.000 % |
188.72/188.87	c |    357140 |     700    14000    70000 | 2147483647    65889    104 |  0.000 % |
188.92/189.06	c |    357481 |     700    14000    70000 | 2147483647    66230    104 |  0.000 % |
189.13/189.27	c |    357854 |     700    14000    70000 | 2147483647    66603    104 |  0.000 % |
189.42/189.50	c |    358265 |     700    14000    70000 | 2147483647    67014    103 |  0.000 % |
189.72/189.80	c |    358714 |     700    14000    70000 | 2147483647    67463    103 |  0.000 % |
190.02/190.10	c |    359208 |     700    14000    70000 | 2147483647    67957    103 |  0.000 % |
190.32/190.44	c |    359750 |     700    14000    70000 | 2147483647    68499    103 |  0.000 % |
190.72/190.85	c |    360347 |     700    14000    70000 |    68750    61475    104 |  0.000 % |
191.12/191.21	c |    361002 |     700    14000    70000 |    68750    62130    104 |  0.000 % |
191.52/191.64	c |    361722 |     700    14000    70000 |    68750    62850    104 |  0.000 % |
192.02/192.11	c |    362515 |     700    14000    70000 |    68750    63643    104 |  0.000 % |
192.52/192.64	c |    363386 |     700    14000    70000 |    68750    64514    104 |  0.000 % |
193.12/193.22	c |    364344 |     700    14000    70000 |    68750    65472    104 |  0.000 % |
193.72/193.81	c |    365397 |     700    14000    70000 |    68750    66525    104 |  0.000 % |
194.32/194.48	c |    366555 |     700    14000    70000 |    68750    67683    104 |  0.000 % |
195.12/195.24	c |    367830 |     700    14000    70000 |    68750    68958    104 |  0.000 % |
195.92/196.02	c |    369231 |     700    14000    70000 |    68750    62184    104 |  0.000 % |
196.72/196.88	c |    370773 |     700    14000    70000 |    62954    56738    104 |  0.000 % |
197.62/197.73	c |    372467 |     700    14000    70000 |    62954    58432    104 |  0.000 % |
198.52/198.69	c |    374332 |     700    14000    70000 |    62954    60297    104 |  0.000 % |
199.72/199.82	c |    376382 |     700    14000    70000 |    62954    62347    104 |  0.000 % |
200.92/201.08	c |    378635 |     700    14000    70000 |    62954    58278    104 |  0.000 % |
202.22/202.39	c |    381113 |     700    14000    70000 | 2147483647    60756    104 |  0.000 % |
203.72/203.86	c |    383838 |     700    14000    70000 | 2147483647    63481    104 |  0.000 % |
205.31/205.49	c |    386838 |     700    14000    70000 | 2147483647    66481    104 |  0.000 % |
207.31/207.41	c |    390134 |     700    14000    70000 |    69644    69777    104 |  0.000 % |
209.51/209.69	c |    393760 |     700    14000    70000 |    69644    66118    104 |  0.000 % |
209.61/209.77	c |    393862 |     700    14000    70000 |    69644    66220    104 |  0.000 % |
209.71/209.85	c |    393972 |     700    14000    70000 |    69644    66330    104 |  0.000 % |
209.81/209.92	c |    394093 |     700    14000    70000 |    69644    66451    104 |  0.000 % |
209.92/210.02	c |    394227 |     700    14000    70000 |    69644    66585    104 |  0.000 % |
210.02/210.11	c |    394377 |     700    14000    70000 |    69644    66735    104 |  0.000 % |
210.11/210.23	c |    394539 |     700    14000    70000 |    69644    66897    104 |  0.000 % |
210.21/210.36	c |    394715 |     700    14000    70000 |    69644    67073    104 |  0.000 % |
210.31/210.48	c |    394909 |     700    14000    70000 |    69644    67267    104 |  0.000 % |
210.51/210.61	c |    395121 |     700    14000    70000 |    69644    67479    104 |  0.000 % |
210.61/210.76	c |    395357 |     700    14000    70000 |    69644    67715    104 |  0.000 % |
210.81/210.93	c |    395613 |     700    14000    70000 |    69644    67971    104 |  0.000 % |
211.02/211.11	c |    395897 |     700    14000    70000 |    69644    68255    104 |  0.000 % |
211.12/211.28	c |    396207 |     700    14000    70000 |    69644    68565    104 |  0.000 % |
211.31/211.49	c |    396546 |     700    14000    70000 |    69644    68904    104 |  0.000 % |
211.61/211.74	c |    396919 |     700    14000    70000 |    69644    69277    104 |  0.000 % |
211.91/212.01	c |    397330 |     700    14000    70000 |    69644    69688    104 |  0.000 % |
212.22/212.31	c |    397780 |     700    14000    70000 |    69644    61247    104 |  0.000 % |
212.51/212.60	c |    398273 |     700    14000    70000 |    69644    61740    104 |  0.000 % |
212.81/212.91	c |    398815 |     700    14000    70000 |    69644    62282    104 |  0.000 % |
213.11/213.24	c |    399411 |     700    14000    70000 |    69644    62878    104 |  0.000 % |
213.51/213.66	c |    400066 |     700    14000    70000 |    63467    63533    104 |  0.000 % |
213.91/214.04	c |    400787 |     700    14000    70000 |    63467    56429    104 |  0.000 % |
214.32/214.43	c |    401579 |     700    14000    70000 |    63467    57221    103 |  0.000 % |
214.81/214.90	c |    402451 |     700    14000    70000 |    63467    58093    103 |  0.000 % |
215.31/215.41	c |    403409 |     700    14000    70000 |    63467    59051    103 |  0.000 % |
215.81/215.96	c |    404462 |     700    14000    70000 |    63467    60104    104 |  0.000 % |
216.51/216.60	c |    405621 |     700    14000    70000 |    63467    61263    103 |  0.000 % |
217.21/217.32	c |    406896 |     700    14000    70000 |    63467    62538    103 |  0.000 % |
218.01/218.12	c |    408297 |     700    14000    70000 |    63467    57572    103 |  0.000 % |
218.81/218.92	c |    409839 |     700    14000    70000 |    63467    59114    103 |  0.000 % |
219.71/219.83	c |    411533 |     700    14000    70000 | 2147483647    60808    103 |  0.000 % |
220.71/220.85	c |    413397 |     700    14000    70000 | 2147483647    62672    103 |  0.000 % |
221.81/222.00	c |    415446 |     700    14000    70000 | 2147483647    64721    103 |  0.000 % |
223.11/223.21	c |    417699 |     700    14000    70000 | 2147483647    66974    103 |  0.000 % |
224.51/224.67	c |    420178 |     700    14000    70000 |    69275    69453    103 |  0.000 % |
226.21/226.34	c |    422903 |     700    14000    70000 |    69275    64672    103 |  0.000 % |
228.01/228.11	c |    425900 |     700    14000    70000 |    69275    67669    103 |  0.000 % |
229.91/230.04	c |    429196 |     700    14000    70000 |    69275    62813    103 |  0.000 % |
231.81/231.92	c |    432821 |     700    14000    70000 |    63617    59253    103 |  0.000 % |
233.91/234.09	c |    436809 |     700    14000    70000 |    63617    63241    104 |  0.000 % |
234.01/234.16	c |    436910 |     700    14000    70000 |    63617    63342    104 |  0.000 % |
234.11/234.23	c |    437021 |     700    14000    70000 |    63617    63453    104 |  0.000 % |
234.21/234.32	c |    437142 |     700    14000    70000 |    63617    63574    104 |  0.000 % |
234.31/234.40	c |    437275 |     700    14000    70000 |    63617    63707    104 |  0.000 % |
234.41/234.52	c |    437421 |     700    14000    70000 |    63617    57483    103 |  0.000 % |
234.51/234.62	c |    437583 |     700    14000    70000 |    63617    57645    103 |  0.000 % |
234.61/234.72	c |    437760 |     700    14000    70000 |    63617    57822    103 |  0.000 % |
234.71/234.83	c |    437953 |     700    14000    70000 |    63617    58015    103 |  0.000 % |
234.81/234.95	c |    438165 |     700    14000    70000 |    63617    58227    103 |  0.000 % |
234.91/235.08	c |    438399 |     700    14000    70000 |    63617    58461    103 |  0.000 % |
235.11/235.22	c |    438657 |     700    14000    70000 |    63617    58719    103 |  0.000 % |
235.21/235.38	c |    438938 |     700    14000    70000 |    63617    59000    103 |  0.000 % |
235.41/235.55	c |    439247 |     700    14000    70000 |    63617    59309    103 |  0.000 % |
235.61/235.74	c |    439586 |     700    14000    70000 |    63617    59648    103 |  0.000 % |
235.81/235.94	c |    439961 |     700    14000    70000 |    63617    60023    103 |  0.000 % |
236.01/236.18	c |    440371 |     700    14000    70000 | 2147483647    60433    103 |  0.000 % |
236.31/236.43	c |    440820 |     700    14000    70000 | 2147483647    60882    103 |  0.000 % |
236.51/236.68	c |    441315 |     700    14000    70000 | 2147483647    61377    103 |  0.000 % |
236.81/236.97	c |    441858 |     700    14000    70000 | 2147483647    61920    103 |  0.000 % |
237.11/237.28	c |    442455 |     700    14000    70000 | 2147483647    62517    103 |  0.000 % |
237.51/237.63	c |    443111 |     700    14000    70000 | 2147483647    63173    103 |  0.000 % |
237.90/238.04	c |    443831 |     700    14000    70000 | 2147483647    63893    103 |  0.000 % |
238.30/238.47	c |    444626 |     700    14000    70000 | 2147483647    64688    103 |  0.000 % |
238.80/238.95	c |    445498 |     700    14000    70000 | 2147483647    65560    103 |  0.000 % |
239.41/239.50	c |    446456 |     700    14000    70000 | 2147483647    66518    103 |  0.000 % |
240.01/240.11	c |    447510 |     700    14000    70000 | 2147483647    67572    103 |  0.000 % |
240.72/240.80	c |    448669 |     700    14000    70000 | 2147483647    68731    103 |  0.000 % |
241.31/241.45	c |    449944 |     700    14000    70000 | 2147483647    70006    103 |  0.000 % |
242.11/242.25	c |    451345 |     700    14000    70000 |    70064    63540    103 |  0.000 % |
242.92/243.10	c |    452885 |     700    14000    70000 |    70064    65080    103 |  0.000 % |
243.91/244.03	c |    454580 |     700    14000    70000 |    70064    66775    103 |  0.000 % |
245.11/245.20	c |    456443 |     700    14000    70000 |    70064    68638    103 |  0.000 % |
246.22/246.39	c |    458492 |     700    14000    70000 |    70064    62630    103 |  0.000 % |
247.71/247.81	c |    460746 |     700    14000    70000 |    64138    57487    103 |  0.000 % |
248.91/249.04	c |    463225 |     700    14000    70000 |    64138    59966    103 |  0.000 % |
250.21/250.39	c |    465950 |     700    14000    70000 |    64138    62691    103 |  0.000 % |
251.91/252.05	c |    468948 |     700    14000    70000 |    64138    59252    103 |  0.000 % |
253.71/253.83	c |    472245 |     700    14000    70000 | 2147483647    62549    103 |  0.000 % |
255.71/255.86	c |    475871 |     700    14000    70000 | 2147483647    66175    103 |  0.000 % |
258.01/258.14	c |    479859 |     700    14000    70000 | 2147483647    70163    104 |  0.000 % |
260.61/260.76	c |    484244 |     700    14000    70000 |    70304    66020    104 |  0.000 % |
260.70/260.83	c |    484344 |     700    14000    70000 |    70304    66120    104 |  0.000 % |
260.80/260.91	c |    484455 |     700    14000    70000 |    70304    66231    104 |  0.000 % |
260.80/260.99	c |    484580 |     700    14000    70000 |    70304    66356    104 |  0.000 % |
260.90/261.09	c |    484714 |     700    14000    70000 |    70304    66490    104 |  0.000 % |
261.00/261.18	c |    484860 |     700    14000    70000 |    70304    66636    103 |  0.000 % |
261.10/261.28	c |    485021 |     700    14000    70000 |    70304    66797    103 |  0.000 % |
261.30/261.40	c |    485199 |     700    14000    70000 |    70304    66975    103 |  0.000 % |
261.40/261.51	c |    485392 |     700    14000    70000 |    70304    67168    103 |  0.000 % |
261.50/261.65	c |    485607 |     700    14000    70000 |    70304    67383    103 |  0.000 % |
261.61/261.78	c |    485842 |     700    14000    70000 |    70304    67618    103 |  0.000 % |
261.80/261.95	c |    486100 |     700    14000    70000 |    70304    67876    103 |  0.000 % |
262.00/262.13	c |    486382 |     700    14000    70000 |    70304    68158    103 |  0.000 % |
262.20/262.32	c |    486692 |     700    14000    70000 |    70304    68468    103 |  0.000 % |
262.40/262.53	c |    487032 |     700    14000    70000 |    70304    68808    103 |  0.000 % |
262.60/262.79	c |    487404 |     700    14000    70000 |    70304    69180    103 |  0.000 % |
262.91/263.04	c |    487813 |     700    14000    70000 |    70304    69589    103 |  0.000 % |
263.21/263.31	c |    488264 |     700    14000    70000 |    70304    70040    103 |  0.000 % |
263.50/263.60	c |    488758 |     700    14000    70000 |    70304    70534    103 |  0.000 % |
263.81/263.95	c |    489301 |     700    14000    70000 |    70304    61938    103 |  0.000 % |
264.10/264.24	c |    489898 |     700    14000    70000 |    70304    62535    103 |  0.000 % |
264.50/264.62	c |    490553 |     700    14000    70000 |    62637    55365    102 |  0.000 % |
264.91/265.04	c |    491274 |     700    14000    70000 |    62637    56086    102 |  0.000 % |
265.30/265.49	c |    492067 |     700    14000    70000 |    62637    56879    102 |  0.000 % |
265.80/265.98	c |    492940 |     700    14000    70000 |    62637    57752    102 |  0.000 % |
266.30/266.49	c |    493898 |     700    14000    70000 |    62637    58710    102 |  0.000 % |
266.90/267.03	c |    494952 |     700    14000    70000 |    62637    59764    102 |  0.000 % |
267.50/267.65	c |    496111 |     700    14000    70000 |    62637    60923    102 |  0.000 % |
268.21/268.34	c |    497385 |     700    14000    70000 |    62637    62197    102 |  0.000 % |
268.90/269.08	c |    498787 |     700    14000    70000 |    62637    57250    103 |  0.000 % |
269.70/269.85	c |    500327 |     700    14000    70000 | 2147483647    58790    103 |  0.000 % |
270.60/270.73	c |    502021 |     700    14000    70000 | 2147483647    60484    103 |  0.000 % |
271.60/271.77	c |    503885 |     700    14000    70000 | 2147483647    62348    103 |  0.000 % |
272.70/272.88	c |    505935 |     700    14000    70000 | 2147483647    64398    103 |  0.000 % |
274.00/274.12	c |    508189 |     700    14000    70000 | 2147483647    66652    103 |  0.000 % |
275.50/275.60	c |    510669 |     700    14000    70000 |    68463    61819    103 |  0.000 % |
276.90/277.00	c |    513396 |     700    14000    70000 |    68463    64546    103 |  0.000 % |
278.70/278.81	c |    516394 |     700    14000    70000 |    68463    67544    103 |  0.000 % |
280.50/280.69	c |    519690 |     700    14000    70000 |    68463    63779    103 |  0.000 % |
282.40/282.57	c |    523315 |     700    14000    70000 |    64090    60720    104 |  0.000 % |
284.80/284.99	c |    527302 |     700    14000    70000 |    64090    58275    104 |  0.000 % |
287.30/287.47	c |    531687 |     700    14000    70000 | 2147483647    62660    104 |  0.000 % |
290.00/290.16	c |    536512 |     700    14000    70000 | 2147483647    67485    105 |  0.000 % |
290.10/290.25	c |    536612 |     700    14000    70000 | 2147483647    67585    104 |  0.000 % |
290.20/290.32	c |    536723 |     700    14000    70000 | 2147483647    67696    104 |  0.000 % |
290.30/290.41	c |    536844 |     700    14000    70000 | 2147483647    67817    104 |  0.000 % |
290.30/290.49	c |    536978 |     700    14000    70000 | 2147483647    67951    104 |  0.000 % |
290.50/290.60	c |    537127 |     700    14000    70000 | 2147483647    68100    104 |  0.000 % |
290.60/290.71	c |    537287 |     700    14000    70000 | 2147483647    68260    104 |  0.000 % |
290.70/290.83	c |    537463 |     700    14000    70000 | 2147483647    68436    104 |  0.000 % |
290.80/290.96	c |    537656 |     700    14000    70000 | 2147483647    68629    104 |  0.000 % |
291.00/291.10	c |    537870 |     700    14000    70000 | 2147483647    68843    104 |  0.000 % |
291.10/291.25	c |    538103 |     700    14000    70000 | 2147483647    69076    104 |  0.000 % |
291.30/291.43	c |    538360 |     700    14000    70000 | 2147483647    69333    104 |  0.000 % |
291.50/291.60	c |    538641 |     700    14000    70000 | 2147483647    69614    104 |  0.000 % |
291.70/291.80	c |    538950 |     700    14000    70000 | 2147483647    69923    104 |  0.000 % |
291.90/292.01	c |    539289 |     700    14000    70000 | 2147483647    70262    104 |  0.000 % |
292.10/292.25	c |    539663 |     700    14000    70000 | 2147483647    70636    104 |  0.000 % |
292.40/292.51	c |    540073 |     700    14000    70000 |    70974    71046    104 |  0.000 % |
292.69/292.83	c |    540522 |     700    14000    70000 |    70974    62649    104 |  0.000 % |
292.99/293.12	c |    541015 |     700    14000    70000 |    70974    63142    104 |  0.000 % |
293.29/293.44	c |    541557 |     700    14000    70000 |    70974    63684    104 |  0.000 % |
293.69/293.81	c |    542153 |     700    14000    70000 |    70974    64280    104 |  0.000 % |
293.99/294.14	c |    542809 |     700    14000    70000 |    70974    64936    104 |  0.000 % |
294.39/294.53	c |    543531 |     700    14000    70000 |    70974    65658    104 |  0.000 % |
294.89/295.03	c |    544324 |     700    14000    70000 |    70974    66451    104 |  0.000 % |
295.39/295.53	c |    545195 |     700    14000    70000 |    70974    67322    104 |  0.000 % |
295.99/296.14	c |    546153 |     700    14000    70000 |    70974    68280    104 |  0.000 % |
296.59/296.75	c |    547206 |     700    14000    70000 |    70974    69333    104 |  0.000 % |
297.29/297.46	c |    548364 |     700    14000    70000 |    70974    70491    104 |  0.000 % |
298.09/298.21	c |    549637 |     700    14000    70000 |    70974    62312    104 |  0.000 % |
298.79/298.98	c |    551038 |     700    14000    70000 |    62675    55677    104 |  0.000 % |
299.59/299.77	c |    552579 |     700    14000    70000 |    62675    57218    104 |  0.000 % |
300.49/300.67	c |    554277 |     700    14000    70000 |    62675    58916    104 |  0.000 % |
301.59/301.70	c |    556141 |     700    14000    70000 |    62675    60780    105 |  0.000 % |
302.59/302.76	c |    558190 |     700    14000    70000 |    62675    62829    104 |  0.000 % |
303.69/303.89	c |    560443 |     700    14000    70000 | 2147483647    58800    105 |  0.000 % |
304.99/305.19	c |    562922 |     700    14000    70000 | 2147483647    61279    105 |  0.000 % |
306.59/306.73	c |    565649 |     700    14000    70000 | 2147483647    64006    105 |  0.000 % |
308.29/308.44	c |    568647 |     700    14000    70000 | 2147483647    67004    104 |  0.000 % |
310.19/310.34	c |    571943 |     700    14000    70000 | 2147483647    70300    105 |  0.000 % |
312.49/312.60	c |    575570 |     700    14000    70000 | 2147483647    73927    104 |  0.000 % |
315.09/315.28	c |    579557 |     700    14000    70000 | 2147483647    77914    104 |  0.000 % |
317.89/318.06	c |    583943 |     700    14000    70000 |    78359    70355    104 |  0.000 % |
320.89/321.08	c |    588766 |     700    14000    70000 |    78359    75178    105 |  0.000 % |
324.19/324.39	c |    594072 |     700    14000    70000 |    76413    68506    104 |  0.000 % |
324.30/324.47	c |    594177 |     700    14000    70000 |    76413    68611    104 |  0.000 % |
324.40/324.54	c |    594288 |     700    14000    70000 |    76413    68722    104 |  0.000 % |
324.49/324.63	c |    594413 |     700    14000    70000 |    76413    68847    104 |  0.000 % |
324.59/324.72	c |    594548 |     700    14000    70000 |    76413    68982    104 |  0.000 % |
324.69/324.83	c |    594696 |     700    14000    70000 |    76413    69130    104 |  0.000 % |
324.79/324.95	c |    594857 |     700    14000    70000 |    76413    69291    104 |  0.000 % |
324.89/325.07	c |    595033 |     700    14000    70000 |    76413    69467    104 |  0.000 % |
325.09/325.21	c |    595229 |     700    14000    70000 |    76413    69663    104 |  0.000 % |
325.19/325.35	c |    595444 |     700    14000    70000 |    76413    69878    104 |  0.000 % |
325.40/325.53	c |    595679 |     700    14000    70000 |    76413    70113    104 |  0.000 % |
325.59/325.71	c |    595935 |     700    14000    70000 |    76413    70369    104 |  0.000 % |
325.79/325.90	c |    596218 |     700    14000    70000 |    76413    70652    104 |  0.000 % |
325.99/326.11	c |    596529 |     700    14000    70000 |    76413    70963    104 |  0.000 % |
326.19/326.35	c |    596868 |     700    14000    70000 |    76413    71302    104 |  0.000 % |
326.50/326.63	c |    597241 |     700    14000    70000 |    76413    71675    104 |  0.000 % |
326.79/326.93	c |    597650 |     700    14000    70000 |    76413    72084    104 |  0.000 % |
327.09/327.21	c |    598099 |     700    14000    70000 |    76413    72533    104 |  0.000 % |
327.39/327.54	c |    598594 |     700    14000    70000 |    76413    73028    104 |  0.000 % |
327.79/327.90	c |    599137 |     700    14000    70000 |    76413    73571    104 |  0.000 % |
328.19/328.33	c |    599733 |     700    14000    70000 |    76413    74167    104 |  0.000 % |
328.70/328.80	c |    600391 |     700    14000    70000 |    74434    62914    103 |  0.000 % |
329.09/329.22	c |    601112 |     700    14000    70000 |    74434    63635    103 |  0.000 % |
329.59/329.70	c |    601906 |     700    14000    70000 |    74434    64429    103 |  0.000 % |
330.09/330.23	c |    602778 |     700    14000    70000 |    74434    65301    103 |  0.000 % |
330.69/330.80	c |    603737 |     700    14000    70000 |    74434    66260    103 |  0.000 % |
331.29/331.41	c |    604791 |     700    14000    70000 |    74434    67314    103 |  0.000 % |
331.89/332.07	c |    605949 |     700    14000    70000 |    74434    68472    103 |  0.000 % |
332.59/332.77	c |    607223 |     700    14000    70000 |    74434    69746    103 |  0.000 % |
333.49/333.61	c |    608623 |     700    14000    70000 |    74434    71146    103 |  0.000 % |
334.39/334.58	c |    610163 |     700    14000    70000 |    72523    72686    103 |  0.000 % |
335.39/335.52	c |    611858 |     700    14000    70000 |    72523    64196    104 |  0.000 % |
336.39/336.57	c |    613721 |     700    14000    70000 |    72523    66059    104 |  0.000 % |
337.69/337.80	c |    615770 |     700    14000    70000 |    72523    68108    104 |  0.000 % |
338.99/339.13	c |    618023 |     700    14000    70000 |    72523    70361    103 |  0.000 % |
340.59/340.79	c |    620501 |     700    14000    70000 |    72340    62916    103 |  0.000 % |
342.08/342.25	c |    623227 |     700    14000    70000 |    72340    65642    103 |  0.000 % |
343.88/344.01	c |    626224 |     700    14000    70000 |    72340    68639    103 |  0.000 % |
345.98/346.10	c |    629520 |     700    14000    70000 |    72340    71935    103 |  0.000 % |
348.18/348.30	c |    633146 |     700    14000    70000 |    72416    65028    104 |  0.000 % |
350.58/350.75	c |    637133 |     700    14000    70000 |    72416    69015    104 |  0.000 % |
353.28/353.45	c |    641520 |     700    14000    70000 |    71885    63527    104 |  0.000 % |
356.08/356.26	c |    646346 |     700    14000    70000 |    71885    68353    104 |  0.000 % |
359.28/359.46	c |    651651 |     700    14000    70000 |    72008    63237    104 |  0.000 % |
362.68/362.82	c |    657486 |     700    14000    70000 |    72008    69072    105 |  0.000 % |
362.68/362.89	c |    657588 |     700    14000    70000 |    72008    69174    105 |  0.000 % |
362.78/362.97	c |    657698 |     700    14000    70000 |    72008    69284    105 |  0.000 % |
362.88/363.04	c |    657819 |     700    14000    70000 |    72008    69405    105 |  0.000 % |
362.98/363.13	c |    657954 |     700    14000    70000 |    72008    69540    105 |  0.000 % |
363.08/363.24	c |    658100 |     700    14000    70000 |    72008    69686    105 |  0.000 % |
363.18/363.35	c |    658260 |     700    14000    70000 |    72008    69846    105 |  0.000 % |
363.28/363.46	c |    658436 |     700    14000    70000 |    72008    70022    105 |  0.000 % |
363.38/363.59	c |    658630 |     700    14000    70000 |    72008    70216    105 |  0.000 % |
363.58/363.74	c |    658843 |     700    14000    70000 |    72008    70429    105 |  0.000 % |
363.68/363.89	c |    659076 |     700    14000    70000 |    72008    70662    105 |  0.000 % |
363.88/364.09	c |    659332 |     700    14000    70000 |    72008    70918    105 |  0.000 % |
364.18/364.31	c |    659615 |     700    14000    70000 |    72008    71201    105 |  0.000 % |
364.28/364.49	c |    659924 |     700    14000    70000 |    72008    71510    105 |  0.000 % |
364.58/364.73	c |    660264 |     700    14000    70000 |    71587    71850    105 |  0.000 % |
364.88/365.00	c |    660638 |     700    14000    70000 |    71587    62355    105 |  0.000 % |
365.08/365.24	c |    661047 |     700    14000    70000 |    71587    62764    105 |  0.000 % |
365.38/365.51	c |    661498 |     700    14000    70000 |    71587    63215    105 |  0.000 % |
365.68/365.85	c |    661996 |     700    14000    70000 |    71587    63713    105 |  0.000 % |
366.08/366.21	c |    662540 |     700    14000    70000 |    71587    64257    105 |  0.000 % |
366.48/366.61	c |    663136 |     700    14000    70000 |    71587    64853    105 |  0.000 % |
366.88/367.01	c |    663791 |     700    14000    70000 |    71587    65508    105 |  0.000 % |
367.28/367.44	c |    664511 |     700    14000    70000 |    71587    66228    105 |  0.000 % |
367.78/367.97	c |    665303 |     700    14000    70000 |    71587    67020    105 |  0.000 % |
368.38/368.54	c |    666175 |     700    14000    70000 |    71587    67892    105 |  0.000 % |
368.97/369.12	c |    667135 |     700    14000    70000 |    71587    68852    105 |  0.000 % |
369.57/369.79	c |    668189 |     700    14000    70000 |    71587    69906    105 |  0.000 % |
370.37/370.50	c |    669347 |     700    14000    70000 |    71587    71064    105 |  0.000 % |
371.17/371.36	c |    670620 |     700    14000    70000 |    71718    62229    105 |  0.000 % |
371.97/372.17	c |    672020 |     700    14000    70000 |    71718    63629    105 |  0.000 % |
372.87/373.07	c |    673561 |     700    14000    70000 |    71718    65170    105 |  0.000 % |
373.88/374.07	c |    675256 |     700    14000    70000 |    71718    66865    105 |  0.000 % |
374.98/375.19	c |    677120 |     700    14000    70000 |    71718    68729    105 |  0.000 % |
376.27/376.47	c |    679169 |     700    14000    70000 |    71718    70778    105 |  0.000 % |
377.67/377.82	c |    681422 |     700    14000    70000 |    71611    63314    106 |  0.000 % |
379.07/379.25	c |    683900 |     700    14000    70000 |    71611    65792    106 |  0.000 % |
380.87/381.01	c |    686625 |     700    14000    70000 |    71611    68517    106 |  0.000 % |
382.67/382.87	c |    689622 |     700    14000    70000 |    71611    71514    106 |  0.000 % |
384.57/384.75	c |    692918 |     700    14000    70000 |    62702    57736    106 |  0.000 % |
386.47/386.65	c |    696543 |     700    14000    70000 |    62702    61361    106 |  0.000 % |
388.67/388.85	c |    700530 |     700    14000    70000 | 2147483647    59052    106 |  0.000 % |
390.97/391.16	c |    704915 |     700    14000    70000 | 2147483647    63437    106 |  0.000 % |
393.77/393.95	c |    709738 |     700    14000    70000 | 2147483647    68260    106 |  0.000 % |
396.67/396.88	c |    715044 |     700    14000    70000 |    68522    66205    106 |  0.000 % |
399.97/400.15	c |    720879 |     700    14000    70000 |    63631    57688    106 |  0.000 % |
403.36/403.53	c |    727301 |     700    14000    70000 |    63631    57722    107 |  0.000 % |
403.36/403.58	c |    727401 |     700    14000    70000 |    63631    57822    107 |  0.000 % |
403.47/403.65	c |    727512 |     700    14000    70000 |    63631    57933    107 |  0.000 % |
403.57/403.75	c |    727634 |     700    14000    70000 |    63631    58055    107 |  0.000 % |
403.66/403.83	c |    727769 |     700    14000    70000 |    63631    58190    107 |  0.000 % |
403.76/403.91	c |    727916 |     700    14000    70000 |    63631    58337    107 |  0.000 % |
403.86/404.00	c |    728076 |     700    14000    70000 |    63631    58497    107 |  0.000 % |
403.96/404.12	c |    728252 |     700    14000    70000 |    63631    58673    107 |  0.000 % |
404.06/404.22	c |    728446 |     700    14000    70000 |    63631    58867    107 |  0.000 % |
404.16/404.35	c |    728660 |     700    14000    70000 |    63631    59081    106 |  0.000 % |
404.26/404.47	c |    728893 |     700    14000    70000 |    63631    59314    106 |  0.000 % |
404.46/404.61	c |    729150 |     700    14000    70000 |    63631    59571    106 |  0.000 % |
404.57/404.79	c |    729432 |     700    14000    70000 |    63631    59853    106 |  0.000 % |
404.76/404.96	c |    729743 |     700    14000    70000 |    63631    60164    106 |  0.000 % |
404.96/405.15	c |    730083 |     700    14000    70000 | 2147483647    60504    106 |  0.000 % |
405.26/405.40	c |    730456 |     700    14000    70000 | 2147483647    60877    106 |  0.000 % |
405.46/405.66	c |    730865 |     700    14000    70000 | 2147483647    61286    106 |  0.000 % |
405.77/405.95	c |    731315 |     700    14000    70000 | 2147483647    61736    106 |  0.000 % |
406.06/406.25	c |    731808 |     700    14000    70000 | 2147483647    62229    106 |  0.000 % |
406.36/406.57	c |    732351 |     700    14000    70000 | 2147483647    62772    106 |  0.000 % |
406.77/406.91	c |    732948 |     700    14000    70000 | 2147483647    63369    106 |  0.000 % |
407.06/407.27	c |    733604 |     700    14000    70000 | 2147483647    64025    106 |  0.000 % |
407.46/407.68	c |    734327 |     700    14000    70000 | 2147483647    64748    106 |  0.000 % |
407.97/408.13	c |    735120 |     700    14000    70000 | 2147483647    65541    106 |  0.000 % |
408.46/408.65	c |    735991 |     700    14000    70000 | 2147483647    66412    106 |  0.000 % |
409.07/409.23	c |    736953 |     700    14000    70000 | 2147483647    67374    106 |  0.000 % |
409.66/409.83	c |    738006 |     700    14000    70000 | 2147483647    68427    106 |  0.000 % |
410.46/410.65	c |    739165 |     700    14000    70000 | 2147483647    69586    106 |  0.000 % |
411.27/411.48	c |    740439 |     700    14000    70000 |    70421    62372    106 |  0.000 % |
412.16/412.34	c |    741839 |     700    14000    70000 |    70421    63772    106 |  0.000 % |
413.06/413.25	c |    743379 |     700    14000    70000 |    70421    65312    105 |  0.000 % |
414.06/414.29	c |    745073 |     700    14000    70000 |    70421    67006    105 |  0.000 % |
415.26/415.50	c |    746936 |     700    14000    70000 |    70421    68869    105 |  0.000 % |
416.56/416.76	c |    748985 |     700    14000    70000 |    70421    61275    105 |  0.000 % |
417.86/418.04	c |    751240 |     700    14000    70000 |    62291    55284    105 |  0.000 % |
419.16/419.33	c |    753718 |     700    14000    70000 |    62291    57762    105 |  0.000 % |
420.47/420.65	c |    756444 |     700    14000    70000 |    62291    60488    105 |  0.000 % |
422.17/422.31	c |    759441 |     700    14000    70000 |    62291    57234    105 |  0.000 % |
423.97/424.17	c |    762738 |     700    14000    70000 | 2147483647    60531    105 |  0.000 % |
426.07/426.23	c |    766363 |     700    14000    70000 | 2147483647    64156    105 |  0.000 % |
428.56/428.71	c |    770350 |     700    14000    70000 |    67794    60799    105 |  0.000 % |
430.97/431.17	c |    774735 |     700    14000    70000 |    67794    65184    105 |  0.000 % |
433.87/434.07	c |    779558 |     700    14000    70000 |    67794    62342    104 |  0.000 % |
436.66/436.84	c |    784863 |     700    14000    70000 |    62785    60567    104 |  0.000 % |
439.77/439.90	c |    790698 |     700    14000    70000 |    59280    54010    106 |  0.000 % |
443.07/443.22	c |    797116 |     700    14000    70000 |    59280    54477    107 |  0.000 % |
446.86/447.08	c |    804177 |     700    14000    70000 | 2147483647    61538    107 |  0.000 % |
446.96/447.15	c |    804278 |     700    14000    70000 | 2147483647    61639    107 |  0.000 % |
447.06/447.22	c |    804388 |     700    14000    70000 | 2147483647    61749    107 |  0.000 % |
447.16/447.30	c |    804509 |     700    14000    70000 | 2147483647    61870    107 |  0.000 % |
447.26/447.40	c |    804644 |     700    14000    70000 | 2147483647    62005    107 |  0.000 % |
447.26/447.49	c |    804790 |     700    14000    70000 | 2147483647    62151    107 |  0.000 % |
447.36/447.58	c |    804951 |     700    14000    70000 | 2147483647    62312    107 |  0.000 % |
447.47/447.68	c |    805127 |     700    14000    70000 | 2147483647    62488    107 |  0.000 % |
447.56/447.78	c |    805321 |     700    14000    70000 | 2147483647    62682    107 |  0.000 % |
447.76/447.91	c |    805533 |     700    14000    70000 | 2147483647    62894    107 |  0.000 % |
447.86/448.07	c |    805767 |     700    14000    70000 | 2147483647    63128    107 |  0.000 % |
448.06/448.23	c |    806023 |     700    14000    70000 | 2147483647    63384    107 |  0.000 % |
448.26/448.44	c |    806304 |     700    14000    70000 | 2147483647    63665    107 |  0.000 % |
448.46/448.64	c |    806613 |     700    14000    70000 | 2147483647    63974    107 |  0.000 % |
448.66/448.86	c |    806952 |     700    14000    70000 | 2147483647    64313    107 |  0.000 % |
448.96/449.10	c |    807324 |     700    14000    70000 | 2147483647    64685    107 |  0.000 % |
449.16/449.34	c |    807735 |     700    14000    70000 | 2147483647    65096    107 |  0.000 % |
449.46/449.62	c |    808184 |     700    14000    70000 | 2147483647    65545    107 |  0.000 % |
449.76/449.92	c |    808678 |     700    14000    70000 | 2147483647    66039    107 |  0.000 % |
450.06/450.27	c |    809220 |     700    14000    70000 | 2147483647    66581    107 |  0.000 % |
450.46/450.60	c |    809816 |     700    14000    70000 | 2147483647    67177    107 |  0.000 % |
450.76/450.98	c |    810472 |     700    14000    70000 | 2147483647    67833    107 |  0.000 % |
451.16/451.39	c |    811193 |     700    14000    70000 | 2147483647    68554    107 |  0.000 % |
451.66/451.86	c |    811985 |     700    14000    70000 | 2147483647    69346    107 |  0.000 % |
452.26/452.41	c |    812856 |     700    14000    70000 | 2147483647    70217    107 |  0.000 % |
452.86/453.00	c |    813814 |     700    14000    70000 | 2147483647    71175    107 |  0.000 % |
453.46/453.66	c |    814869 |     700    14000    70000 | 2147483647    72230    107 |  0.000 % |
454.16/454.36	c |    816027 |     700    14000    70000 | 2147483647    73388    106 |  0.000 % |
455.06/455.26	c |    817302 |     700    14000    70000 | 2147483647    74663    106 |  0.000 % |
455.96/456.15	c |    818703 |     700    14000    70000 | 2147483647    76064    106 |  0.000 % |
456.95/457.15	c |    820244 |     700    14000    70000 |    77361    77605    106 |  0.000 % |
457.95/458.16	c |    821939 |     700    14000    70000 |    77361    67335    106 |  0.000 % |
459.05/459.20	c |    823802 |     700    14000    70000 |    77361    69198    106 |  0.000 % |
460.25/460.41	c |    825851 |     700    14000    70000 |    77361    71247    106 |  0.000 % |
461.65/461.81	c |    828105 |     700    14000    70000 |    77361    73501    106 |  0.000 % |
463.15/463.35	c |    830583 |     700    14000    70000 |    75399    64750    106 |  0.000 % |
464.75/464.96	c |    833309 |     700    14000    70000 |    75399    67476    106 |  0.000 % |
466.55/466.79	c |    836306 |     700    14000    70000 |    75399    70473    106 |  0.000 % |
468.65/468.81	c |    839602 |     700    14000    70000 |    75399    73769    106 |  0.000 % |
470.85/471.04	c |    843227 |     700    14000    70000 |    74167    66175    107 |  0.000 % |
473.25/473.48	c |    847214 |     700    14000    70000 |    74167    70162    106 |  0.000 % |
475.85/476.09	c |    851599 |     700    14000    70000 |    72949    64012    106 |  0.000 % |
478.75/478.91	c |    856425 |     700    14000    70000 |    72949    68838    106 |  0.000 % |
482.14/482.33	c |    861730 |     700    14000    70000 |    72414    63838    105 |  0.000 % |
485.55/485.75	c |    867565 |     700    14000    70000 |    72414    69673    105 |  0.000 % |
489.35/489.50	c |    873984 |     700    14000    70000 |    72113    66344    105 |  0.000 % |
493.44/493.68	c |    881046 |     700    14000    70000 |    62811    55666    107 |  0.000 % |
497.54/497.76	c |    888810 |     700    14000    70000 |    62811    56542    107 |  0.000 % |
497.64/497.82	c |    888910 |     700    14000    70000 |    62811    56642    107 |  0.000 % |
497.64/497.89	c |    889020 |     700    14000    70000 |    62811    56752    107 |  0.000 % |
497.74/497.97	c |    889141 |     700    14000    70000 |    62811    56873    107 |  0.000 % |
497.84/498.04	c |    889276 |     700    14000    70000 |    62811    57008    107 |  0.000 % |
497.94/498.13	c |    889422 |     700    14000    70000 |    62811    57154    107 |  0.000 % |
498.05/498.23	c |    889583 |     700    14000    70000 |    62811    57315    107 |  0.000 % |
498.15/498.35	c |    889759 |     700    14000    70000 |    62811    57491    107 |  0.000 % |
498.24/498.46	c |    889952 |     700    14000    70000 |    62811    57684    107 |  0.000 % |
498.34/498.58	c |    890164 |     700    14000    70000 |    57732    57896    107 |  0.000 % |
498.54/498.73	c |    890397 |     700    14000    70000 |    57732    51725    106 |  0.000 % |
498.64/498.87	c |    890653 |     700    14000    70000 |    57732    51981    106 |  0.000 % |
498.84/499.00	c |    890934 |     700    14000    70000 |    57732    52262    106 |  0.000 % |
498.94/499.18	c |    891244 |     700    14000    70000 |    57732    52572    106 |  0.000 % |
499.15/499.36	c |    891583 |     700    14000    70000 |    57732    52911    106 |  0.000 % |
499.34/499.58	c |    891955 |     700    14000    70000 |    57732    53283    106 |  0.000 % |
499.64/499.80	c |    892364 |     700    14000    70000 |    57732    53692    106 |  0.000 % |
499.84/500.01	c |    892814 |     700    14000    70000 |    57732    54142    106 |  0.000 % |
500.04/500.28	c |    893307 |     700    14000    70000 |    57732    54635    106 |  0.000 % |
500.34/500.55	c |    893850 |     700    14000    70000 |    57732    55178    106 |  0.000 % |
500.64/500.85	c |    894446 |     700    14000    70000 |    57732    55774    106 |  0.000 % |
500.94/501.19	c |    895101 |     700    14000    70000 |    57732    56429    106 |  0.000 % |
501.34/501.54	c |    895821 |     700    14000    70000 |    57732    57149    106 |  0.000 % |
501.74/501.97	c |    896613 |     700    14000    70000 |    57732    57941    106 |  0.000 % |
502.24/502.40	c |    897485 |     700    14000    70000 |    57732    53019    106 |  0.000 % |
502.64/502.82	c |    898445 |     700    14000    70000 |    57732    53979    106 |  0.000 % |
503.14/503.33	c |    899498 |     700    14000    70000 |    57732    55032    106 |  0.000 % |
503.64/503.88	c |    900657 |     700    14000    70000 | 2147483647    56191    106 |  0.000 % |
504.24/504.48	c |    901932 |     700    14000    70000 | 2147483647    57466    106 |  0.000 % |
505.04/505.20	c |    903332 |     700    14000    70000 | 2147483647    58866    105 |  0.000 % |
505.84/506.05	c |    904872 |     700    14000    70000 | 2147483647    60406    105 |  0.000 % |
506.74/506.95	c |    906571 |     700    14000    70000 | 2147483647    62105    105 |  0.000 % |
507.94/508.13	c |    908435 |     700    14000    70000 | 2147483647    63969    105 |  0.000 % |
509.24/509.43	c |    910484 |     700    14000    70000 | 2147483647    66018    105 |  0.000 % |
510.64/510.82	c |    912738 |     700    14000    70000 | 2147483647    68272    105 |  0.000 % |
512.14/512.31	c |    915216 |     700    14000    70000 | 2147483647    70750    105 |  0.000 % |
513.74/513.94	c |    917942 |     700    14000    70000 | 2147483647    73476    105 |  0.000 % |
515.54/515.77	c |    920941 |     700    14000    70000 |    75534    66512    105 |  0.000 % |
517.54/517.73	c |    924239 |     700    14000    70000 |    75534    69810    105 |  0.000 % |
519.75/519.98	c |    927864 |     700    14000    70000 |    75534    73435    105 |  0.000 % |
522.25/522.45	c |    931853 |     700    14000    70000 |    75571    66859    105 |  0.000 % |
524.94/525.11	c |    936239 |     700    14000    70000 |    75571    71245    105 |  0.000 % |
528.04/528.27	c |    941062 |     700    14000    70000 |    75007    65457    105 |  0.000 % |
531.24/531.45	c |    946371 |     700    14000    70000 |    75007    70766    105 |  0.000 % |
534.74/534.99	c |    952206 |     700    14000    70000 |    74395    65335    106 |  0.000 % |
538.44/538.68	c |    958624 |     700    14000    70000 |    74395    71753    106 |  0.000 % |
542.84/543.06	c |    965683 |     700    14000    70000 |    73129    68682    108 |  0.000 % |
547.93/548.11	c |    973447 |     700    14000    70000 |    72999    66040    108 |  0.000 % |
553.73/553.94	c |    981987 |     700    14000    70000 |    72593    63496    109 |  0.000 % |
553.83/554.01	c |    982087 |     700    14000    70000 |    72593    63596    109 |  0.000 % |
553.83/554.09	c |    982197 |     700    14000    70000 |    72593    63706    109 |  0.000 % |
553.93/554.17	c |    982318 |     700    14000    70000 |    72593    63827    109 |  0.000 % |
554.03/554.25	c |    982451 |     700    14000    70000 |    72593    63960    109 |  0.000 % |
554.14/554.35	c |    982597 |     700    14000    70000 |    72593    64106    109 |  0.000 % |
554.24/554.47	c |    982757 |     700    14000    70000 |    72593    64266    109 |  0.000 % |
554.33/554.58	c |    982933 |     700    14000    70000 |    72593    64442    109 |  0.000 % |
554.53/554.71	c |    983126 |     700    14000    70000 |    72593    64635    109 |  0.000 % |
554.63/554.84	c |    983338 |     700    14000    70000 |    72593    64847    109 |  0.000 % |
554.73/554.97	c |    983572 |     700    14000    70000 |    72593    65081    109 |  0.000 % |
554.93/555.15	c |    983831 |     700    14000    70000 |    72593    65340    109 |  0.000 % |
555.13/555.33	c |    984113 |     700    14000    70000 |    72593    65622    109 |  0.000 % |
555.34/555.56	c |    984422 |     700    14000    70000 |    72593    65931    109 |  0.000 % |
555.53/555.76	c |    984763 |     700    14000    70000 |    72593    66272    109 |  0.000 % |
555.73/555.98	c |    985135 |     700    14000    70000 |    72593    66644    109 |  0.000 % |
556.03/556.23	c |    985544 |     700    14000    70000 |    72593    67053    109 |  0.000 % |
556.34/556.51	c |    985993 |     700    14000    70000 |    72593    67502    109 |  0.000 % |
556.53/556.79	c |    986487 |     700    14000    70000 |    72593    67996    109 |  0.000 % |
556.93/557.11	c |    987030 |     700    14000    70000 |    72593    68539    109 |  0.000 % |
557.33/557.51	c |    987627 |     700    14000    70000 |    72593    69136    108 |  0.000 % |
557.73/557.93	c |    988283 |     700    14000    70000 |    72593    69792    108 |  0.000 % |
558.13/558.37	c |    989004 |     700    14000    70000 |    72593    70513    108 |  0.000 % |
558.64/558.87	c |    989797 |     700    14000    70000 |    72593    71306    108 |  0.000 % |
559.23/559.45	c |    990668 |     700    14000    70000 |    71509    61627    108 |  0.000 % |
559.83/560.01	c |    991626 |     700    14000    70000 |    71509    62585    108 |  0.000 % |
560.33/560.59	c |    992679 |     700    14000    70000 |    71509    63638    108 |  0.000 % |
560.93/561.19	c |    993837 |     700    14000    70000 |    71509    64796    108 |  0.000 % |
561.73/561.93	c |    995112 |     700    14000    70000 |    71509    66071    108 |  0.000 % |
562.53/562.74	c |    996512 |     700    14000    70000 |    71509    67471    108 |  0.000 % |
563.53/563.73	c |    998053 |     700    14000    70000 |    71509    69012    108 |  0.000 % |
564.63/564.86	c |    999748 |     700    14000    70000 |    71509    70707    108 |  0.000 % |
565.83/566.01	c |   1001611 |     700    14000    70000 |    70964    62537    107 |  0.000 % |
566.83/567.09	c |   1003660 |     700    14000    70000 |    70964    64586    107 |  0.000 % |
568.23/568.44	c |   1005916 |     700    14000    70000 |    70964    66842    107 |  0.000 % |
569.73/569.95	c |   1008396 |     700    14000    70000 |    70964    69322    107 |  0.000 % |
571.43/571.67	c |   1011123 |     700    14000    70000 |    70926    63264    107 |  0.000 % |
573.03/573.27	c |   1014122 |     700    14000    70000 |    70926    66263    107 |  0.000 % |
575.03/575.23	c |   1017418 |     700    14000    70000 |    70926    69559    107 |  0.000 % |
577.12/577.37	c |   1021044 |     700    14000    70000 |    63720    57468    105 |  0.000 % |
579.22/579.42	c |   1025031 |     700    14000    70000 |    63720    61455    105 |  0.000 % |
581.63/581.85	c |   1029417 |     700    14000    70000 |    63720    59241    105 |  0.000 % |
584.12/584.36	c |   1034240 |     700    14000    70000 |    59824    58001    104 |  0.000 % |
586.92/587.16	c |   1039546 |     700    14000    70000 |    59824    57299    104 |  0.000 % |
590.22/590.44	c |   1045381 |     700    14000    70000 | 2147483647    63134    104 |  0.000 % |
593.92/594.17	c |   1051801 |     700    14000    70000 |    67755    62347    105 |  0.000 % |
598.22/598.47	c |   1058860 |     700    14000    70000 |    67755    61236    107 |  0.000 % |
602.92/603.14	c |   1066625 |     700    14000    70000 |    62377    61801    108 |  0.000 % |
607.81/608.09	c |   1075167 |     700    14000    70000 | 2147483647    64081    109 |  0.000 % |
613.81/614.01	c |   1084562 |     700    14000    70000 |    68915    65086    109 |  0.000 % |
613.81/614.08	c |   1084662 |     700    14000    70000 |    68915    65186    109 |  0.000 % |
613.91/614.16	c |   1084772 |     700    14000    70000 |    68915    65296    109 |  0.000 % |
614.01/614.24	c |   1084894 |     700    14000    70000 |    68915    65418    109 |  0.000 % |
614.11/614.34	c |   1085029 |     700    14000    70000 |    68915    65553    109 |  0.000 % |
614.21/614.47	c |   1085176 |     700    14000    70000 |    68915    65700    109 |  0.000 % |
614.31/614.58	c |   1085337 |     700    14000    70000 |    68915    65861    109 |  0.000 % |
614.41/614.67	c |   1085514 |     700    14000    70000 |    68915    66038    109 |  0.000 % |
614.62/614.81	c |   1085708 |     700    14000    70000 |    68915    66232    109 |  0.000 % |
614.72/614.94	c |   1085920 |     700    14000    70000 |    68915    66444    109 |  0.000 % |
614.81/615.09	c |   1086153 |     700    14000    70000 |    68915    66677    109 |  0.000 % |
615.01/615.26	c |   1086409 |     700    14000    70000 |    68915    66933    108 |  0.000 % |
615.21/615.43	c |   1086692 |     700    14000    70000 |    68915    67216    108 |  0.000 % |
615.41/615.64	c |   1087003 |     700    14000    70000 |    68915    67527    108 |  0.000 % |
615.61/615.85	c |   1087342 |     700    14000    70000 |    68915    67866    108 |  0.000 % |
615.91/616.10	c |   1087716 |     700    14000    70000 |    68915    68240    108 |  0.000 % |
616.11/616.36	c |   1088126 |     700    14000    70000 |    68915    68650    108 |  0.000 % |
616.41/616.63	c |   1088575 |     700    14000    70000 |    68915    69099    108 |  0.000 % |
616.71/616.96	c |   1089069 |     700    14000    70000 |    68915    60107    109 |  0.000 % |
617.01/617.28	c |   1089614 |     700    14000    70000 |    68915    60652    109 |  0.000 % |
617.31/617.59	c |   1090211 |     700    14000    70000 |    61040    61249    109 |  0.000 % |
617.71/617.96	c |   1090868 |     700    14000    70000 |    61040    53928    109 |  0.000 % |
618.11/618.32	c |   1091588 |     700    14000    70000 |    61040    54648    109 |  0.000 % |
618.51/618.76	c |   1092381 |     700    14000    70000 |    61040    55441    109 |  0.000 % |
619.01/619.21	c |   1093252 |     700    14000    70000 |    61040    56312    109 |  0.000 % |
619.52/619.73	c |   1094212 |     700    14000    70000 |    61040    57272    109 |  0.000 % |
620.12/620.34	c |   1095268 |     700    14000    70000 |    61040    58328    109 |  0.000 % |
620.82/621.03	c |   1096428 |     700    14000    70000 |    61040    59488    109 |  0.000 % |
621.52/621.72	c |   1097701 |     700    14000    70000 |    61040    60761    108 |  0.000 % |
622.32/622.54	c |   1099101 |     700    14000    70000 |    61040    56035    108 |  0.000 % |
623.12/623.32	c |   1100641 |     700    14000    70000 | 2147483647    57575    108 |  0.000 % |
624.02/624.23	c |   1102335 |     700    14000    70000 | 2147483647    59269    108 |  0.000 % |
625.12/625.31	c |   1104200 |     700    14000    70000 | 2147483647    61134    108 |  0.000 % |
626.22/626.49	c |   1106251 |     700    14000    70000 | 2147483647    63185    108 |  0.000 % |
627.62/627.87	c |   1108506 |     700    14000    70000 | 2147483647    65440    107 |  0.000 % |
629.12/629.35	c |   1110985 |     700    14000    70000 | 2147483647    67919    108 |  0.000 % |
630.82/631.00	c |   1113711 |     700    14000    70000 | 2147483647    70645    107 |  0.000 % |
632.62/632.82	c |   1116708 |     700    14000    70000 | 2147483647    73642    107 |  0.000 % |
634.71/634.98	c |   1120006 |     700    14000    70000 |    76934    76940    107 |  0.000 % |
636.91/637.11	c |   1123631 |     700    14000    70000 |    76934    69713    107 |  0.000 % |
639.31/639.60	c |   1127618 |     700    14000    70000 |    76934    73700    107 |  0.000 % |
642.21/642.47	c |   1132003 |     700    14000    70000 |    76082    66592    105 |  0.000 % |
645.21/645.40	c |   1136827 |     700    14000    70000 |    76082    71416    105 |  0.000 % |
648.51/648.75	c |   1142135 |     700    14000    70000 |    74589    65369    105 |  0.000 % |
652.11/652.38	c |   1147970 |     700    14000    70000 |    74589    71204    105 |  0.000 % |
656.21/656.50	c |   1154388 |     700    14000    70000 |    73235    66991    105 |  0.000 % |
660.91/661.15	c |   1161449 |     700    14000    70000 |    72603    64028    106 |  0.000 % |
665.70/665.96	c |   1169213 |     700    14000    70000 |    72603    71792    106 |  0.000 % |
671.10/671.36	c |   1177757 |     700    14000    70000 |    72580    70537    107 |  0.000 % |
677.10/677.31	c |   1187153 |     700    14000    70000 |    72781    70066    107 |  0.000 % |
683.80/684.06	c |   1197486 |     700    14000    70000 |    72913    70054    106 |  0.000 % |
683.90/684.14	c |   1197586 |     700    14000    70000 |    72913    70154    106 |  0.000 % |
684.00/684.23	c |   1197696 |     700    14000    70000 |    72913    70264    106 |  0.000 % |
684.10/684.31	c |   1197817 |     700    14000    70000 |    72913    70385    106 |  0.000 % |
684.20/684.41	c |   1197953 |     700    14000    70000 |    72913    70521    106 |  0.000 % |
684.29/684.51	c |   1198099 |     700    14000    70000 |    72913    70667    106 |  0.000 % |
684.39/684.64	c |   1198259 |     700    14000    70000 |    72913    70827    106 |  0.000 % |
684.49/684.76	c |   1198436 |     700    14000    70000 |    72913    71004    106 |  0.000 % |
684.69/684.91	c |   1198629 |     700    14000    70000 |    72913    71197    106 |  0.000 % |
684.79/685.06	c |   1198841 |     700    14000    70000 |    72913    71409    106 |  0.000 % |
685.00/685.23	c |   1199074 |     700    14000    70000 |    72913    71642    106 |  0.000 % |
685.19/685.44	c |   1199333 |     700    14000    70000 |    72913    71901    106 |  0.000 % |
685.39/685.64	c |   1199614 |     700    14000    70000 |    72913    72182    106 |  0.000 % |
685.59/685.85	c |   1199923 |     700    14000    70000 |    72913    72491    106 |  0.000 % |
685.89/686.14	c |   1200264 |     700    14000    70000 |    72569    62111    106 |  0.000 % |
686.10/686.36	c |   1200636 |     700    14000    70000 |    72569    62483    106 |  0.000 % |
686.39/686.61	c |   1201045 |     700    14000    70000 |    72569    62892    106 |  0.000 % |
686.59/686.89	c |   1201497 |     700    14000    70000 |    72569    63344    106 |  0.000 % |
686.99/687.20	c |   1201994 |     700    14000    70000 |    72569    63841    106 |  0.000 % |
687.30/687.55	c |   1202536 |     700    14000    70000 |    72569    64383    106 |  0.000 % |
687.69/687.95	c |   1203132 |     700    14000    70000 |    72569    64979    106 |  0.000 % |
688.09/688.34	c |   1203788 |     700    14000    70000 |    72569    65635    106 |  0.000 % |
688.49/688.78	c |   1204508 |     700    14000    70000 |    72569    66355    106 |  0.000 % |
688.99/689.28	c |   1205303 |     700    14000    70000 |    72569    67150    106 |  0.000 % |
689.59/689.88	c |   1206175 |     700    14000    70000 |    72569    68022    105 |  0.000 % |
690.19/690.49	c |   1207133 |     700    14000    70000 |    72569    68980    106 |  0.000 % |
690.89/691.18	c |   1208186 |     700    14000    70000 |    72569    70033    105 |  0.000 % |
691.70/691.92	c |   1209345 |     700    14000    70000 |    72569    71192    105 |  0.000 % |
692.49/692.79	c |   1210620 |     700    14000    70000 |    71847    62209    105 |  0.000 % |
693.29/693.55	c |   1212022 |     700    14000    70000 |    71847    63611    105 |  0.000 % |
694.19/694.47	c |   1213562 |     700    14000    70000 |    71847    65151    105 |  0.000 % |
695.19/695.47	c |   1215256 |     700    14000    70000 |    71847    66845    105 |  0.000 % |
696.29/696.51	c |   1217120 |     700    14000    70000 |    71847    68709    105 |  0.000 % |
697.39/697.67	c |   1219172 |     700    14000    70000 |    71847    70761    105 |  0.000 % |
698.79/699.03	c |   1221425 |     700    14000    70000 |    71589    63728    105 |  0.000 % |
700.20/700.44	c |   1223903 |     700    14000    70000 |    71589    66206    105 |  0.000 % |
701.70/701.97	c |   1226628 |     700    14000    70000 |    71589    68931    105 |  0.000 % |
703.50/703.73	c |   1229628 |     700    14000    70000 |    71589    63035    105 |  0.000 % |
705.30/705.54	c |   1232924 |     700    14000    70000 |    63407    58527    104 |  0.000 % |
707.30/707.57	c |   1236549 |     700    14000    70000 |    63407    62152    104 |  0.000 % |
709.40/709.68	c |   1240536 |     700    14000    70000 | 2147483647    59715    104 |  0.000 % |
711.70/711.94	c |   1244927 |     700    14000    70000 | 2147483647    64106    104 |  0.000 % |
714.60/714.82	c |   1249751 |     700    14000    70000 | 2147483647    68930    104 |  0.000 % |
717.59/717.86	c |   1255056 |     700    14000    70000 |    69181    66513    105 |  0.000 % |
720.89/721.19	c |   1260892 |     700    14000    70000 |    62925    56101    105 |  0.000 % |
724.39/724.64	c |   1267311 |     700    14000    70000 |    62925    62520    106 |  0.000 % |
728.49/728.71	c |   1274370 |     700    14000    70000 | 2147483647    63164    106 |  0.000 % |
733.29/733.50	c |   1282134 |     700    14000    70000 |    68794    62885    106 |  0.000 % |
738.79/739.02	c |   1290674 |     700    14000    70000 |    62098    54980    107 |  0.000 % |
743.98/744.20	c |   1300068 |     700    14000    70000 |    57951    58017    108 |  0.000 % |
748.98/749.26	c |   1310401 |     700    14000    70000 | 2147483647    56611    108 |  0.000 % |
755.68/755.91	c |   1321767 |     700    14000    70000 |    66210    60410    108 |  0.000 % |
755.68/755.97	c |   1321867 |     700    14000    70000 |    66210    60510    108 |  0.000 % |
755.78/756.04	c |   1321980 |     700    14000    70000 |    66210    60623    108 |  0.000 % |
755.88/756.10	c |   1322101 |     700    14000    70000 |    66210    60744    108 |  0.000 % |
755.88/756.18	c |   1322234 |     700    14000    70000 |    66210    60877    108 |  0.000 % |
755.98/756.27	c |   1322380 |     700    14000    70000 |    66210    61023    108 |  0.000 % |
756.08/756.37	c |   1322542 |     700    14000    70000 |    66210    61185    108 |  0.000 % |
756.28/756.50	c |   1322718 |     700    14000    70000 |    66210    61361    108 |  0.000 % |
756.38/756.62	c |   1322912 |     700    14000    70000 |    66210    61555    108 |  0.000 % |
756.49/756.75	c |   1323125 |     700    14000    70000 |    66210    61768    108 |  0.000 % |
756.59/756.87	c |   1323358 |     700    14000    70000 |    66210    62001    108 |  0.000 % |
756.78/757.01	c |   1323614 |     700    14000    70000 |    66210    62257    108 |  0.000 % |
756.88/757.17	c |   1323895 |     700    14000    70000 |    66210    62538    108 |  0.000 % |
757.08/757.34	c |   1324205 |     700    14000    70000 |    66210    62848    108 |  0.000 % |
757.28/757.54	c |   1324544 |     700    14000    70000 |    66210    63187    108 |  0.000 % |
757.48/757.78	c |   1324916 |     700    14000    70000 |    66210    63559    108 |  0.000 % |
757.78/758.02	c |   1325326 |     700    14000    70000 |    66210    63969    108 |  0.000 % |
757.98/758.28	c |   1325776 |     700    14000    70000 |    66210    64419    108 |  0.000 % |
758.28/758.60	c |   1326270 |     700    14000    70000 |    66210    64913    108 |  0.000 % |
758.68/758.91	c |   1326812 |     700    14000    70000 |    66210    65455    108 |  0.000 % |
758.98/759.27	c |   1327412 |     700    14000    70000 |    66210    66055    108 |  0.000 % |
759.48/759.70	c |   1328067 |     700    14000    70000 |    66210    58965    108 |  0.000 % |
759.88/760.11	c |   1328787 |     700    14000    70000 |    66210    59685    108 |  0.000 % |
760.28/760.56	c |   1329579 |     700    14000    70000 |    66210    60477    108 |  0.000 % |
760.78/761.10	c |   1330455 |     700    14000    70000 |    60898    54217    108 |  0.000 % |
761.28/761.58	c |   1331416 |     700    14000    70000 |    60898    55178    108 |  0.000 % |
761.88/762.13	c |   1332470 |     700    14000    70000 |    60898    56232    108 |  0.000 % |
762.48/762.76	c |   1333628 |     700    14000    70000 |    60898    57390    107 |  0.000 % |
763.18/763.42	c |   1334901 |     700    14000    70000 |    60898    58663    107 |  0.000 % |
763.88/764.13	c |   1336302 |     700    14000    70000 |    60898    60064    107 |  0.000 % |
764.78/765.05	c |   1337842 |     700    14000    70000 |    60898    55493    107 |  0.000 % |
765.68/765.94	c |   1339537 |     700    14000    70000 |    60898    57188    107 |  0.000 % |
766.68/766.91	c |   1341400 |     700    14000    70000 | 2147483647    59051    107 |  0.000 % |
767.78/768.00	c |   1343450 |     700    14000    70000 | 2147483647    61101    107 |  0.000 % |
768.98/769.21	c |   1345704 |     700    14000    70000 | 2147483647    63355    107 |  0.000 % |
770.38/770.61	c |   1348183 |     700    14000    70000 | 2147483647    65834    107 |  0.000 % |
772.08/772.38	c |   1350909 |     700    14000    70000 | 2147483647    68560    107 |  0.000 % |
773.88/774.18	c |   1353906 |     700    14000    70000 | 2147483647    71557    106 |  0.000 % |
776.08/776.35	c |   1357203 |     700    14000    70000 | 2147483647    74854    106 |  0.000 % |
778.37/778.65	c |   1360828 |     700    14000    70000 |    77651    67393    106 |  0.000 % |
780.87/781.17	c |   1364815 |     700    14000    70000 |    77651    71380    106 |  0.000 % |
783.87/784.15	c |   1369201 |     700    14000    70000 |    77651    75766    106 |  0.000 % |
786.97/787.23	c |   1374025 |     700    14000    70000 |    76565    68908    106 |  0.000 % |
790.27/790.57	c |   1379332 |     700    14000    70000 |    76565    74215    106 |  0.000 % |
793.67/793.99	c |   1385170 |     700    14000    70000 |    74883    68343    105 |  0.000 % |
797.67/797.96	c |   1391590 |     700    14000    70000 |    73173    64575    106 |  0.000 % |
801.67/801.92	c |   1398650 |     700    14000    70000 |    73173    71635    107 |  0.000 % |
806.37/806.67	c |   1406414 |     700    14000    70000 |    72985    68715    108 |  0.000 % |
811.47/811.77	c |   1414954 |     700    14000    70000 |    72301    67600    108 |  0.000 % |
817.36/817.64	c |   1424349 |     700    14000    70000 |    63113    59270    109 |  0.000 % |
823.66/823.97	c |   1434682 |     700    14000    70000 |    58051    56522    109 |  0.000 % |
830.46/830.73	c |   1446050 |     700    14000    70000 | 2147483647    62061    110 |  0.000 % |
837.86/838.17	c |   1458553 |     700    14000    70000 | 2147483647    74564    110 |  0.000 % |
837.96/838.25	c |   1458654 |     700    14000    70000 | 2147483647    74665    110 |  0.000 % |
838.06/838.33	c |   1458764 |     700    14000    70000 | 2147483647    74775    110 |  0.000 % |
838.16/838.43	c |   1458885 |     700    14000    70000 | 2147483647    74896    110 |  0.000 % |
838.26/838.52	c |   1459018 |     700    14000    70000 | 2147483647    75029    110 |  0.000 % |
838.36/838.65	c |   1459165 |     700    14000    70000 | 2147483647    75176    110 |  0.000 % |
838.46/838.76	c |   1459325 |     700    14000    70000 | 2147483647    75336    110 |  0.000 % |
838.56/838.90	c |   1459501 |     700    14000    70000 | 2147483647    75512    110 |  0.000 % |
838.76/839.08	c |   1459696 |     700    14000    70000 | 2147483647    75707    110 |  0.000 % |
838.96/839.24	c |   1459908 |     700    14000    70000 | 2147483647    75919    110 |  0.000 % |
839.16/839.42	c |   1460142 |     700    14000    70000 |    76011    76153    110 |  0.000 % |
839.36/839.63	c |   1460399 |     700    14000    70000 |    76011    64331    109 |  0.000 % |
839.46/839.79	c |   1460680 |     700    14000    70000 |    76011    64612    109 |  0.000 % |
839.65/839.99	c |   1460990 |     700    14000    70000 |    76011    64922    109 |  0.000 % |
839.96/840.21	c |   1461331 |     700    14000    70000 |    76011    65263    109 |  0.000 % |
840.17/840.42	c |   1461703 |     700    14000    70000 |    76011    65635    109 |  0.000 % |
840.36/840.64	c |   1462112 |     700    14000    70000 |    76011    66044    109 |  0.000 % |
840.66/840.92	c |   1462562 |     700    14000    70000 |    76011    66494    109 |  0.000 % |
840.96/841.26	c |   1463056 |     700    14000    70000 |    76011    66988    109 |  0.000 % |
841.36/841.62	c |   1463599 |     700    14000    70000 |    76011    67531    109 |  0.000 % |
841.76/842.00	c |   1464195 |     700    14000    70000 |    76011    68127    109 |  0.000 % |
842.16/842.45	c |   1464851 |     700    14000    70000 |    76011    68783    108 |  0.000 % |
842.56/842.88	c |   1465571 |     700    14000    70000 |    76011    69503    108 |  0.000 % |
843.16/843.40	c |   1466364 |     700    14000    70000 |    76011    70296    108 |  0.000 % |
843.66/843.96	c |   1467235 |     700    14000    70000 |    76011    71167    108 |  0.000 % |
844.26/844.58	c |   1468193 |     700    14000    70000 |    76011    72125    108 |  0.000 % |
844.96/845.26	c |   1469246 |     700    14000    70000 |    76011    73178    108 |  0.000 % |
845.86/846.10	c |   1470405 |     700    14000    70000 |    73933    63003    107 |  0.000 % |
846.66/846.91	c |   1471680 |     700    14000    70000 |    73933    64278    107 |  0.000 % |
847.46/847.73	c |   1473083 |     700    14000    70000 |    73933    65681    107 |  0.000 % |
848.36/848.67	c |   1474623 |     700    14000    70000 |    73933    67221    107 |  0.000 % |
849.46/849.70	c |   1476317 |     700    14000    70000 |    73933    68915    107 |  0.000 % |
850.56/850.89	c |   1478183 |     700    14000    70000 |    73933    70781    107 |  0.000 % |
851.86/852.13	c |   1480233 |     700    14000    70000 |    72599    72831    107 |  0.000 % |
853.16/853.49	c |   1482487 |     700    14000    70000 |    72599    64599    107 |  0.000 % |
854.66/854.98	c |   1484965 |     700    14000    70000 |    72599    67077    107 |  0.000 % |
856.35/856.62	c |   1487690 |     700    14000    70000 |    72599    69802    107 |  0.000 % |
858.25/858.56	c |   1490687 |     700    14000    70000 |    72112    62977    107 |  0.000 % |
860.25/860.54	c |   1493983 |     700    14000    70000 |    72112    66273    107 |  0.000 % |
862.25/862.51	c |   1497609 |     700    14000    70000 |    72112    69899    106 |  0.000 % |
864.75/865.02	c |   1501599 |     700    14000    70000 |    72290    64670    105 |  0.000 % |
867.35/867.64	c |   1505986 |     700    14000    70000 |    72290    69057    105 |  0.000 % |
870.25/870.56	c |   1510810 |     700    14000    70000 |    63103    55420    104 |  0.000 % |
873.05/873.36	c |   1516115 |     700    14000    70000 |    63103    60725    104 |  0.000 % |
876.25/876.60	c |   1521950 |     700    14000    70000 |    58087    54193    105 |  0.000 % |
879.55/879.85	c |   1528371 |     700    14000    70000 |    58087    54778    106 |  0.000 % |
883.54/883.83	c |   1535432 |     700    14000    70000 | 2147483647    61839    106 |  0.000 % |
888.34/888.60	c |   1543199 |     700    14000    70000 | 2147483647    69606    107 |  0.000 % |
893.74/894.09	c |   1551739 |     700    14000    70000 |    76407    67005    107 |  0.000 % |
900.34/900.67	c |   1561138 |     700    14000    70000 |    75266    64607    107 |  0.000 % |
907.44/907.75	c |   1571472 |     700    14000    70000 |    73469    62926    107 |  0.000 % |
914.84/915.18	c |   1582838 |     700    14000    70000 |    71454    63893    108 |  0.000 % |
922.93/923.23	c |   1595340 |     700    14000    70000 |    71056    66503    108 |  0.000 % |
931.93/932.25	c |   1609093 |     700    14000    70000 |    71165    69811    109 |  0.000 % |
932.03/932.32	c |   1609193 |     700    14000    70000 |    71165    69911    109 |  0.000 % |
932.03/932.39	c |   1609303 |     700    14000    70000 |    71165    70021    109 |  0.000 % |
932.13/932.47	c |   1609424 |     700    14000    70000 |    71165    70142    109 |  0.000 % |
932.23/932.56	c |   1609558 |     700    14000    70000 |    71165    70276    109 |  0.000 % |
932.33/932.68	c |   1609704 |     700    14000    70000 |    71165    70422    109 |  0.000 % |
932.43/932.80	c |   1609864 |     700    14000    70000 |    71165    70582    109 |  0.000 % |
932.63/932.92	c |   1610040 |     700    14000    70000 |    70719    70758    109 |  0.000 % |
932.73/933.08	c |   1610234 |     700    14000    70000 |    70719    60026    109 |  0.000 % |
932.93/933.20	c |   1610446 |     700    14000    70000 |    70719    60238    109 |  0.000 % |
933.03/933.34	c |   1610681 |     700    14000    70000 |    70719    60473    109 |  0.000 % |
933.13/933.49	c |   1610937 |     700    14000    70000 |    70719    60729    109 |  0.000 % |
933.33/933.66	c |   1611218 |     700    14000    70000 |    70719    61010    109 |  0.000 % |
933.53/933.81	c |   1611528 |     700    14000    70000 |    70719    61320    109 |  0.000 % |
933.73/934.01	c |   1611870 |     700    14000    70000 |    70719    61662    109 |  0.000 % |
933.93/934.22	c |   1612242 |     700    14000    70000 |    70719    62034    109 |  0.000 % |
934.13/934.43	c |   1612653 |     700    14000    70000 |    70719    62445    109 |  0.000 % |
934.33/934.67	c |   1613103 |     700    14000    70000 |    70719    62895    109 |  0.000 % |
934.63/934.94	c |   1613596 |     700    14000    70000 |    70719    63388    109 |  0.000 % |
934.93/935.27	c |   1614140 |     700    14000    70000 |    70719    63932    109 |  0.000 % |
935.33/935.64	c |   1614737 |     700    14000    70000 |    70719    64529    109 |  0.000 % |
935.73/936.02	c |   1615394 |     700    14000    70000 |    70719    65186    109 |  0.000 % |
936.13/936.45	c |   1616118 |     700    14000    70000 |    70719    65910    108 |  0.000 % |
936.63/936.94	c |   1616910 |     700    14000    70000 |    70719    66702    108 |  0.000 % |
937.13/937.42	c |   1617781 |     700    14000    70000 |    70719    67573    108 |  0.000 % |
937.63/937.99	c |   1618740 |     700    14000    70000 |    70719    68532    108 |  0.000 % |
938.33/938.63	c |   1619794 |     700    14000    70000 |    70719    69586    108 |  0.000 % |
938.93/939.30	c |   1620953 |     700    14000    70000 |    69793    61351    108 |  0.000 % |
939.63/939.95	c |   1622227 |     700    14000    70000 |    69793    62625    108 |  0.000 % |
940.43/940.75	c |   1623627 |     700    14000    70000 |    69793    64025    108 |  0.000 % |
941.23/941.56	c |   1625168 |     700    14000    70000 |    69793    65566    107 |  0.000 % |
942.22/942.60	c |   1626862 |     700    14000    70000 |    69793    67260    107 |  0.000 % |
943.32/943.64	c |   1628725 |     700    14000    70000 |    69793    69123    107 |  0.000 % |
944.63/944.91	c |   1630775 |     700    14000    70000 |    61807    55092    108 |  0.000 % |
945.82/946.14	c |   1633029 |     700    14000    70000 |    61807    57346    107 |  0.000 % |
947.02/947.34	c |   1635510 |     700    14000    70000 |    61807    59827    107 |  0.000 % |
948.42/948.72	c |   1638235 |     700    14000    70000 |    61807    56346    107 |  0.000 % |
949.92/950.27	c |   1641234 |     700    14000    70000 | 2147483647    59345    107 |  0.000 % |
951.62/951.92	c |   1644530 |     700    14000    70000 | 2147483647    62641    107 |  0.000 % |
953.52/953.83	c |   1648155 |     700    14000    70000 | 2147483647    66266    107 |  0.000 % |
955.92/956.21	c |   1652142 |     700    14000    70000 |    68111    62906    107 |  0.000 % |
958.42/958.75	c |   1656528 |     700    14000    70000 |    68111    67292    106 |  0.000 % |
961.12/961.47	c |   1661354 |     700    14000    70000 |    62451    56136    104 |  0.000 % |
964.12/964.43	c |   1666661 |     700    14000    70000 |    62451    61443    105 |  0.000 % |
967.32/967.69	c |   1672497 |     700    14000    70000 |    58120    54714    106 |  0.000 % |
971.02/971.30	c |   1678916 |     700    14000    70000 |    58120    55299    107 |  0.000 % |
975.01/975.35	c |   1685975 |     700    14000    70000 | 2147483647    62358    107 |  0.000 % |
979.72/980.00	c |   1693739 |     700    14000    70000 |    66383    63213    107 |  0.000 % |
984.92/985.26	c |   1702280 |     700    14000    70000 |    61758    56896    108 |  0.000 % |
990.72/991.08	c |   1711674 |     700    14000    70000 |    57952    53330    109 |  0.000 % |
996.32/996.67	c |   1722008 |     700    14000    70000 | 2147483647    57843    109 |  0.000 % |
1002.31/1002.66	c |   1733376 |     700    14000    70000 | 2147483647    69211    110 |  0.000 % |
1009.91/1010.27	c |   1745878 |     700    14000    70000 |    75836    70782    110 |  0.000 % |
1018.90/1019.25	c |   1759631 |     700    14000    70000 |    74907    72848    110 |  0.000 % |
1029.70/1030.00	c |   1774758 |     700    14000    70000 |    71080    64913    110 |  0.000 % |
1029.70/1030.06	c |   1774859 |     700    14000    70000 |    71080    65014    110 |  0.000 % |
1029.80/1030.13	c |   1774969 |     700    14000    70000 |    71080    65124    109 |  0.000 % |
1029.90/1030.21	c |   1775090 |     700    14000    70000 |    71080    65245    109 |  0.000 % |
1030.00/1030.32	c |   1775223 |     700    14000    70000 |    71080    65378    109 |  0.000 % |
1030.10/1030.42	c |   1775369 |     700    14000    70000 |    71080    65524    109 |  0.000 % |
1030.20/1030.52	c |   1775529 |     700    14000    70000 |    71080    65684    109 |  0.000 % |
1030.30/1030.65	c |   1775705 |     700    14000    70000 |    71080    65860    109 |  0.000 % |
1030.40/1030.76	c |   1775898 |     700    14000    70000 |    71080    66053    109 |  0.000 % |
1030.50/1030.89	c |   1776111 |     700    14000    70000 |    71080    66266    109 |  0.000 % |
1030.70/1031.02	c |   1776344 |     700    14000    70000 |    71080    66499    109 |  0.000 % |
1030.80/1031.17	c |   1776600 |     700    14000    70000 |    71080    66755    109 |  0.000 % |
1031.00/1031.37	c |   1776881 |     700    14000    70000 |    71080    67036    109 |  0.000 % |
1031.20/1031.57	c |   1777192 |     700    14000    70000 |    71080    67347    109 |  0.000 % |
1031.50/1031.81	c |   1777531 |     700    14000    70000 |    71080    67686    109 |  0.000 % |
1031.70/1032.09	c |   1777903 |     700    14000    70000 |    71080    68058    109 |  0.000 % |
1032.00/1032.35	c |   1778312 |     700    14000    70000 |    71080    68467    109 |  0.000 % |
1032.30/1032.63	c |   1778762 |     700    14000    70000 |    71080    68917    109 |  0.000 % |
1032.60/1032.97	c |   1779255 |     700    14000    70000 |    71080    69410    109 |  0.000 % |
1032.90/1033.28	c |   1779798 |     700    14000    70000 |    71080    69953    109 |  0.000 % |
1033.30/1033.67	c |   1780394 |     700    14000    70000 |    70155    59952    109 |  0.000 % |
1033.70/1034.04	c |   1781049 |     700    14000    70000 |    70155    60607    109 |  0.000 % |
1034.10/1034.47	c |   1781769 |     700    14000    70000 |    70155    61327    109 |  0.000 % |
1034.60/1034.94	c |   1782563 |     700    14000    70000 |    70155    62121    109 |  0.000 % |
1035.09/1035.49	c |   1783434 |     700    14000    70000 |    70155    62992    108 |  0.000 % |
1035.69/1036.03	c |   1784393 |     700    14000    70000 |    70155    63951    108 |  0.000 % |
1036.29/1036.64	c |   1785446 |     700    14000    70000 |    70155    65004    108 |  0.000 % |
1037.00/1037.33	c |   1786606 |     700    14000    70000 |    70155    66164    108 |  0.000 % |
1037.79/1038.10	c |   1787880 |     700    14000    70000 |    70155    67438    108 |  0.000 % |
1038.59/1038.97	c |   1789280 |     700    14000    70000 |    70155    68838    108 |  0.000 % |
1039.50/1039.88	c |   1790821 |     700    14000    70000 |    69558    61256    107 |  0.000 % |
1040.40/1040.77	c |   1792518 |     700    14000    70000 |    69558    62953    107 |  0.000 % |
1041.60/1041.99	c |   1794381 |     700    14000    70000 |    69558    64816    107 |  0.000 % |
1042.90/1043.21	c |   1796432 |     700    14000    70000 |    69558    66867    107 |  0.000 % |
1044.20/1044.57	c |   1798685 |     700    14000    70000 |    69558    69120    107 |  0.000 % |
1045.60/1045.99	c |   1801163 |     700    14000    70000 |    61956    55887    106 |  0.000 % |
1047.10/1047.45	c |   1803889 |     700    14000    70000 |    61956    58613    106 |  0.000 % |
1048.80/1049.15	c |   1806886 |     700    14000    70000 |    61956    61610    107 |  0.000 % |
1050.60/1050.90	c |   1810183 |     700    14000    70000 | 2147483647    58684    106 |  0.000 % |
1052.60/1052.99	c |   1813808 |     700    14000    70000 | 2147483647    62309    107 |  0.000 % |
1055.00/1055.30	c |   1817796 |     700    14000    70000 | 2147483647    66297    107 |  0.000 % |
1057.70/1058.01	c |   1822181 |     700    14000    70000 |    68503    63476    106 |  0.000 % |
1060.60/1060.98	c |   1827006 |     700    14000    70000 |    68503    68301    106 |  0.000 % |
1063.50/1063.84	c |   1832311 |     700    14000    70000 |    63057    57964    105 |  0.000 % |
1066.70/1067.01	c |   1838146 |     700    14000    70000 |    63057    57444    106 |  0.000 % |
1070.19/1070.56	c |   1844566 |     700    14000    70000 | 2147483647    63864    107 |  0.000 % |
1074.30/1074.64	c |   1851625 |     700    14000    70000 |    69301    62595    107 |  0.000 % |
1079.19/1079.56	c |   1859391 |     700    14000    70000 |    69301    61555    108 |  0.000 % |
1084.19/1084.59	c |   1867932 |     700    14000    70000 |    62164    62397    108 |  0.000 % |
1089.69/1090.08	c |   1877326 |     700    14000    70000 | 2147483647    65552    108 |  0.000 % |
1096.78/1097.17	c |   1887659 |     700    14000    70000 |    68227    68039    109 |  0.000 % |
1104.09/1104.47	c |   1899026 |     700    14000    70000 |    61431    56238    110 |  0.000 % |
1110.28/1110.63	c |   1911529 |     700    14000    70000 | 2147483647    57038    110 |  0.000 % |
1117.68/1118.09	c |   1925281 |     700    14000    70000 | 2147483647    70790    110 |  0.000 % |
1127.47/1127.87	c |   1940409 |     700    14000    70000 |    73704    61466    110 |  0.000 % |
1139.07/1139.46	c |   1957048 |     700    14000    70000 |    71058    66592    110 |  0.000 % |
1139.17/1139.53	c |   1957148 |     700    14000    70000 |    71058    66692    110 |  0.000 % |
1139.27/1139.61	c |   1957260 |     700    14000    70000 |    71058    66804    110 |  0.000 % |
1139.37/1139.70	c |   1957383 |     700    14000    70000 |    71058    66927    110 |  0.000 % |
1139.37/1139.79	c |   1957516 |     700    14000    70000 |    71058    67060    110 |  0.000 % |
1139.57/1139.91	c |   1957662 |     700    14000    70000 |    71058    67206    110 |  0.000 % |
1139.67/1140.02	c |   1957824 |     700    14000    70000 |    71058    67368    110 |  0.000 % |
1139.77/1140.14	c |   1958001 |     700    14000    70000 |    71058    67545    110 |  0.000 % |
1139.97/1140.30	c |   1958194 |     700    14000    70000 |    71058    67738    110 |  0.000 % |
1140.07/1140.45	c |   1958407 |     700    14000    70000 |    71058    67951    110 |  0.000 % |
1140.27/1140.62	c |   1958643 |     700    14000    70000 |    71058    68187    110 |  0.000 % |
1140.37/1140.79	c |   1958899 |     700    14000    70000 |    71058    68443    110 |  0.000 % |
1140.57/1140.97	c |   1959180 |     700    14000    70000 |    71058    68724    110 |  0.000 % |
1140.87/1141.20	c |   1959489 |     700    14000    70000 |    71058    69033    110 |  0.000 % |
1141.07/1141.42	c |   1959828 |     700    14000    70000 |    71058    69372    110 |  0.000 % |
1141.27/1141.69	c |   1960201 |     700    14000    70000 |    69544    69745    110 |  0.000 % |
1141.57/1141.97	c |   1960611 |     700    14000    70000 |    69544    58118    110 |  0.000 % |
1141.87/1142.24	c |   1961060 |     700    14000    70000 |    69544    58567    109 |  0.000 % |
1142.17/1142.56	c |   1961553 |     700    14000    70000 |    69544    59060    109 |  0.000 % |
1142.47/1142.89	c |   1962096 |     700    14000    70000 |    69544    59603    109 |  0.000 % |
1142.87/1143.22	c |   1962693 |     700    14000    70000 |    69544    60200    109 |  0.000 % |
1143.17/1143.57	c |   1963348 |     700    14000    70000 |    69544    60855    109 |  0.000 % |
1143.57/1143.92	c |   1964070 |     700    14000    70000 |    69544    61577    109 |  0.000 % |
1144.07/1144.43	c |   1964862 |     700    14000    70000 |    69544    62369    109 |  0.000 % |
1144.57/1144.91	c |   1965736 |     700    14000    70000 |    69544    63243    109 |  0.000 % |
1145.07/1145.46	c |   1966694 |     700    14000    70000 |    69544    64201    109 |  0.000 % |
1145.67/1146.02	c |   1967748 |     700    14000    70000 |    69544    65255    109 |  0.000 % |
1146.26/1146.66	c |   1968906 |     700    14000    70000 |    69544    66413    109 |  0.000 % |
1146.97/1147.38	c |   1970181 |     700    14000    70000 |    67509    67688    108 |  0.000 % |
1147.76/1148.13	c |   1971581 |     700    14000    70000 |    67509    60433    108 |  0.000 % |
1148.66/1149.00	c |   1973121 |     700    14000    70000 |    67509    61973    108 |  0.000 % |
1149.56/1149.99	c |   1974818 |     700    14000    70000 |    67509    63670    109 |  0.000 % |
1150.66/1151.02	c |   1976683 |     700    14000    70000 |    67509    65535    108 |  0.000 % |
1151.76/1152.17	c |   1978733 |     700    14000    70000 |    67509    67585    108 |  0.000 % |
1153.06/1153.45	c |   1980986 |     700    14000    70000 |    61287    55482    108 |  0.000 % |
1154.36/1154.75	c |   1983464 |     700    14000    70000 |    61287    57960    108 |  0.000 % |
1155.86/1156.26	c |   1986190 |     700    14000    70000 |    61287    60686    108 |  0.000 % |
1157.46/1157.85	c |   1989187 |     700    14000    70000 |    61287    57530    107 |  0.000 % |
1159.16/1159.51	c |   1992483 |     700    14000    70000 | 2147483647    60826    107 |  0.000 % |
1161.16/1161.50	c |   1996108 |     700    14000    70000 | 2147483647    64451    107 |  0.000 % |
1163.36/1163.78	c |   2000095 |     700    14000    70000 | 2147483647    68438    107 |  0.000 % |
1166.15/1166.58	c |   2004481 |     700    14000    70000 | 2147483647    72824    107 |  0.000 % |
1169.25/1169.60	c |   2009306 |     700    14000    70000 | 2147483647    77649    107 |  0.000 % |
1172.75/1173.12	c |   2014613 |     700    14000    70000 |    78343    70137    107 |  0.000 % |
1176.55/1177.00	c |   2020449 |     700    14000    70000 |    75524    63869    106 |  0.000 % |
1180.45/1180.85	c |   2026867 |     700    14000    70000 |    75524    70287    106 |  0.000 % |
1184.95/1185.31	c |   2033927 |     700    14000    70000 |    73420    66747    107 |  0.000 % |
1190.35/1190.70	c |   2041692 |     700    14000    70000 |    72822    63784    108 |  0.000 % |
1196.45/1196.80	c |   2050232 |     700    14000    70000 |    72092    72324    108 |  0.000 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 21565
/proc/meminfo: memFree=1595848/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306248211 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21565/statm: 1339 237 197 169 0 50 0

[startup+0.0126351 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 21565
/proc/meminfo: memFree=1595848/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306248211 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21565/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101596 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 21565
/proc/meminfo: memFree=1595848/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301616 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 21565
/proc/meminfo: memFree=1595848/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701656 s]
/proc/loadavg: 0.92 0.98 0.97 3/64 21565
/proc/meminfo: memFree=1595848/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50173 s]
/proc/loadavg: 0.92 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1591928/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=6032 CPUtime=1.44
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 1221 0 0 0 144 0 0 0 25 0 1 0 306248216 6176768 1207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 1508 1207 77 171 0 1335 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11388

[startup+3.10188 s]
/proc/loadavg: 0.92 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1588792/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=10024 CPUtime=3.04
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 2237 0 0 0 303 1 0 0 25 0 1 0 306248216 10264576 2223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 2506 2223 77 171 0 2333 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15380

[startup+6.30218 s]
/proc/loadavg: 0.93 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1582328/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=15360 CPUtime=6.24
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 3563 0 0 0 622 2 0 0 25 0 1 0 306248216 15728640 3549 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 3840 3549 77 171 0 3667 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20716

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1574592/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=22436 CPUtime=12.64
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 5314 0 0 0 1260 4 0 0 25 0 1 0 306248216 22974464 5300 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 5609 5300 77 171 0 5436 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27792

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1563904/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=32720 CPUtime=25.43
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 7877 0 0 0 2536 7 0 0 25 0 1 0 306248216 33505280 7863 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 8180 7863 77 171 0 8007 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 38076

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1561664/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=34700 CPUtime=51.02
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 8371 0 0 0 5094 8 0 0 25 0 1 0 306248216 35532800 8357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 8675 8357 77 171 0 8502 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 40056

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1560512/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=35756 CPUtime=102.22
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 8660 0 0 0 10213 9 0 0 25 0 1 0 306248216 36614144 8646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 8939 8646 77 171 0 8766 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 41112

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1560384/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=35756 CPUtime=162.2
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 8660 0 0 0 16210 10 0 0 25 0 1 0 306248216 36614144 8646 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 8939 8646 77 171 0 8766 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 41112

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1560256/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=35756 CPUtime=222.18
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 8660 0 0 0 22208 10 0 0 25 0 1 0 306248216 36614144 8646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 8939 8646 77 171 0 8766 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 41112

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1560192/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=35756 CPUtime=282.17
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 8660 0 0 0 28206 11 0 0 25 0 1 0 306248216 36614144 8646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 8939 8646 77 171 0 8766 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 41112

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1556360/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=39452 CPUtime=342.15
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 9578 0 0 0 34202 13 0 0 25 0 1 0 306248216 40398848 9564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 9863 9564 77 171 0 9690 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 44808

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1556296/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=39316 CPUtime=402.13
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 9578 0 0 0 40200 13 0 0 25 0 1 0 306248216 40259584 9541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 9829 9541 77 171 0 9656 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 44672

[startup+462.301 s]

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

/proc/21571/statm: 10048 9739 77 171 0 9875 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 45548

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1555272/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=40192 CPUtime=582.09
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 9788 0 0 0 58194 15 0 0 25 0 1 0 306248216 41156608 9739 1992294400 134512640 135215339 4294956240 18446744073709551615 134545752 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10048 9739 77 171 0 9875 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 45548

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1554504/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=40852 CPUtime=642.08
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 9950 0 0 0 64192 16 0 0 25 0 1 0 306248216 41832448 9901 1992294400 134512640 135215339 4294956240 18446744073709551615 134525710 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10213 9901 77 171 0 10040 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 46208

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1554376/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=40840 CPUtime=702.07
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 9950 0 0 0 70190 17 0 0 25 0 1 0 306248216 41820160 9901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10210 9901 77 171 0 10037 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 46196

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1554312/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=40840 CPUtime=762.05
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 9950 0 0 0 76188 17 0 0 25 0 1 0 306248216 41820160 9901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10210 9901 77 171 0 10037 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 46196

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1553800/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=40952 CPUtime=822.03
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10091 0 0 0 82186 17 0 0 25 0 1 0 306248216 41934848 9950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10238 9950 77 171 0 10065 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 46308

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1553032/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=41876 CPUtime=882.01
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10309 0 0 0 88183 18 0 0 25 0 1 0 306248216 42881024 10168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10469 10168 77 171 0 10296 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 47232

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1552968/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=41876 CPUtime=941.99
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10309 0 0 0 94181 18 0 0 25 0 1 0 306248216 42881024 10168 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10469 10168 77 171 0 10296 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 47232

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1552840/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=41876 CPUtime=1001.98
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10309 0 0 0 100179 19 0 0 25 0 1 0 306248216 42881024 10168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10469 10168 77 171 0 10296 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 47232

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1552264/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=42272 CPUtime=1061.97
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10421 0 0 0 106177 20 0 0 25 0 1 0 306248216 43286528 10280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10568 10280 77 171 0 10395 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 47628

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1551816/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=42668 CPUtime=1121.95
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10518 0 0 0 112175 20 0 0 25 0 1 0 306248216 43692032 10377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10667 10377 77 171 0 10494 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 48024

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1551048/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=43328 CPUtime=1181.92
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10673 0 0 0 118172 20 0 0 25 0 1 0 306248216 44367872 10532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10832 10532 77 171 0 10659 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 48684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 21571
/proc/meminfo: memFree=1551048/2055920 swapFree=4078360/4192956
[pid=21565] ppid=21563 vsize=5356 CPUtime=0.03
/proc/21565/stat : 21565 (SatELiteGTI) S 21563 21565 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306248211 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21565/statm: 1339 239 197 169 0 50 0
[pid=21571] ppid=21565 vsize=43328 CPUtime=1200.02
/proc/21571/stat : 21571 (minisat_static) R 21565 21565 20804 0 -1 4194304 10673 0 0 0 119982 20 0 0 25 0 1 0 306248216 44367872 10532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21571/statm: 10832 10532 77 171 0 10659 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 48684

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.85
CPU system time (s): 0.2
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 48684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.037994
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 6

runsolver used 1.40579 second user time and 3.06253 second system time

The end

Launcher Data

Begin job on node61 at 2009-05-20 03:16:51
IDJOB=1832535
IDBENCH=70231
IDSOLVER=671
FILE ID=node61/1832535-1242782211
PBS_JOBID= 9322380
Free space on /tmp= 66312 MiB

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

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

MD5SUM BENCH= 66fb9b1d9d1970f097747a014bb15243
RANDOM SEED=1726952338

node61.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.216
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.216
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:       1596328 kB
Buffers:         27152 kB
Cached:         286284 kB
SwapCached:     109048 kB
Active:         176448 kB
Inactive:       248172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1596328 kB
SwapTotal:     4192956 kB
SwapFree:      4078360 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            21044 kB
Committed_AS:  1029084 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB
End job on node61 at 2009-05-20 03:36:53