Trace number 1832531

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
MD5SUM028affe952ec460796dd6a41dfe58fcc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.5841
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 514000
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   14000    70000 |    4199       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 700   #clauses: 14000   #literals: 70000
0.00/0.02	c CPU time:   0.014997 s
0.00/0.02	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  700                                                  |
0.00/0.04	c |  Number of clauses:    14000                                                |
0.00/0.05	c |  Parsing time:         0.01         s                                       |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     700    14000    70000 |     4666        0    nan |  0.000 % |
0.00/0.06	c |       100 |     700    14000    70000 |     4666      100     98 |  0.000 % |
0.00/0.07	c |       201 |     700    14000    70000 |     4666      201     95 |  0.000 % |
0.00/0.08	c |       302 |     700    14000    70000 |     4666      302    101 |  0.000 % |
0.00/0.09	c |       413 |     700    14000    70000 |     4666      413    101 |  0.000 % |
0.03/0.10	c |       514 |     700    14000    70000 |     4666      514    101 |  0.000 % |
0.03/0.11	c |       624 |     700    14000    70000 |     4666      624    102 |  0.000 % |
0.03/0.12	c |       746 |     700    14000    70000 |     4666      746    102 |  0.000 % |
0.03/0.13	c |       847 |     700    14000    70000 |     4666      847    101 |  0.000 % |
0.03/0.14	c |       957 |     700    14000    70000 |     4666      957    101 |  0.000 % |
0.03/0.15	c |      1079 |     700    14000    70000 |     4666     1079     99 |  0.000 % |
0.03/0.16	c |      1214 |     700    14000    70000 |     4666     1214     99 |  0.000 % |
0.03/0.17	c |      1315 |     700    14000    70000 |     4666     1315     98 |  0.000 % |
0.03/0.18	c |      1425 |     700    14000    70000 |     4666     1425     98 |  0.000 % |
0.03/0.19	c |      1548 |     700    14000    70000 |     4666     1548     97 |  0.000 % |
0.03/0.20	c |      1682 |     700    14000    70000 |     4666     1682     97 |  0.000 % |
0.03/0.21	c |      1828 |     700    14000    70000 |     4666     1828     96 |  0.000 % |
0.03/0.22	c |      1928 |     700    14000    70000 |     4666     1928     96 |  0.000 % |
0.03/0.23	c |      2040 |     700    14000    70000 |     4666     2040     96 |  0.000 % |
0.03/0.24	c |      2162 |     700    14000    70000 |     4666     2162     96 |  0.000 % |
0.03/0.26	c |      2297 |     700    14000    70000 |     4666     2297     95 |  0.000 % |
0.03/0.27	c |      2443 |     700    14000    70000 |     4666     2443     95 |  0.000 % |
0.03/0.28	c |      2604 |     700    14000    70000 |     4666     2604     95 |  0.000 % |
0.03/0.29	c |      2705 |     700    14000    70000 |     4666     2705     95 |  0.000 % |
0.03/0.30	c |      2815 |     700    14000    70000 |     4666     2815     95 |  0.000 % |
0.03/0.32	c |      2937 |     700    14000    70000 |     4666     2937     96 |  0.000 % |
0.03/0.33	c |      3070 |     700    14000    70000 |     4666     3070     95 |  0.000 % |
0.03/0.34	c |      3218 |     700    14000    70000 |     4666     3218     96 |  0.000 % |
0.03/0.36	c |      3378 |     700    14000    70000 |     4666     3378     96 |  0.000 % |
0.03/0.37	c |      3554 |     700    14000    70000 |     4666     3554     96 |  0.000 % |
0.03/0.38	c |      3656 |     700    14000    70000 |     4666     3656     96 |  0.000 % |
0.03/0.40	c |      3767 |     700    14000    70000 |     4666     3767     96 |  0.000 % |
0.03/0.41	c |      3889 |     700    14000    70000 |     4666     3889     96 |  0.000 % |
0.03/0.42	c |      4022 |     700    14000    70000 |     4666     4022     96 |  0.000 % |
0.03/0.44	c |      4169 |     700    14000    70000 |     4666     4169     96 |  0.000 % |
0.03/0.45	c |      4331 |     700    14000    70000 |     4666     4331     96 |  0.000 % |
0.03/0.47	c |      4507 |     700    14000    70000 |     4666     4507     97 |  0.000 % |
0.03/0.49	c |      4701 |     700    14000    70000 |     4666     4701     96 |  0.000 % |
0.03/0.50	c |      4802 |     700    14000    70000 |     4666     4332     95 |  0.000 % |
0.03/0.52	c |      4912 |     700    14000    70000 |     4666     4442     95 |  0.000 % |
0.03/0.53	c |      5033 |     700    14000    70000 |     4666     4563     95 |  0.000 % |
0.03/0.54	c |      5168 |     700    14000    70000 |     4666     4698     94 |  0.000 % |
0.03/0.56	c |      5315 |     700    14000    70000 |     4666     4376     94 |  0.000 % |
0.03/0.58	c |      5476 |     700    14000    70000 |     4666     4537     94 |  0.000 % |
0.03/0.60	c |      5654 |     700    14000    70000 |     4666     4715     94 |  0.000 % |
0.03/0.62	c |      5849 |     700    14000    70000 |     4666     4439     94 |  0.000 % |
0.03/0.64	c |      6063 |     700    14000    70000 |     4666     4653     94 |  0.000 % |
0.03/0.65	c |      6165 |     700    14000    70000 |     4666     4755     94 |  0.000 % |
0.03/0.66	c |      6275 |     700    14000    70000 |     4666     4390     94 |  0.000 % |
0.03/0.68	c |      6398 |     700    14000    70000 |     4666     4513     94 |  0.000 % |
0.03/0.69	c |      6532 |     700    14000    70000 |     4666     4647     94 |  0.000 % |
0.03/0.71	c |      6678 |     700    14000    70000 |     4666     4793     94 |  0.000 % |
0.03/0.72	c |      6838 |     700    14000    70000 |     4666     4474     95 |  0.000 % |
0.03/0.74	c |      7014 |     700    14000    70000 |     4666     4650     95 |  0.000 % |
0.03/0.76	c |      7209 |     700    14000    70000 |     4666     4845     95 |  0.000 % |
0.03/0.79	c |      7421 |     700    14000    70000 |     4666     4573     95 |  0.000 % |
0.03/0.81	c |      7655 |     700    14000    70000 |     4666     4807     95 |  0.000 % |
0.03/0.82	c |      7755 |     700    14000    70000 |     4666     4427     94 |  0.000 % |
0.03/0.84	c |      7866 |     700    14000    70000 |     4666     4538     94 |  0.000 % |
0.03/0.85	c |      7987 |     700    14000    70000 |     4666     4659     94 |  0.000 % |
0.03/0.86	c |      8121 |     700    14000    70000 |     4666     4793     94 |  0.000 % |
0.03/0.88	c |      8268 |     700    14000    70000 |     4666     4461     93 |  0.000 % |
0.03/0.89	c |      8428 |     700    14000    70000 |     4666     4621     93 |  0.000 % |
0.03/0.92	c |      8605 |     700    14000    70000 |     4666     4798     93 |  0.000 % |
0.03/0.94	c |      8798 |     700    14000    70000 |     4666     4512     93 |  0.000 % |
0.03/0.96	c |      9012 |     700    14000    70000 |     4666     4726     93 |  0.000 % |
0.03/0.98	c |      9245 |     700    14000    70000 |     4666     4487     93 |  0.000 % |
0.98/1.01	c |      9502 |     700    14000    70000 |     4666     4744     94 |  0.000 % |
0.98/1.03	c |      9602 |     700    14000    70000 |     4666     4370     94 |  0.000 % |
0.98/1.04	c |      9713 |     700    14000    70000 |     4666     4481     94 |  0.000 % |
0.98/1.05	c |      9835 |     700    14000    70000 |     4666     4603     94 |  0.000 % |
0.98/1.06	c |      9970 |     700    14000    70000 |     4666     4738     94 |  0.000 % |
0.98/1.08	c |     10116 |     700    14000    70000 | 2147483647     4411     94 |  0.000 % |
0.98/1.09	c |     10280 |     700    14000    70000 | 2147483647     4575     94 |  0.000 % |
1.08/1.11	c |     10457 |     700    14000    70000 | 2147483647     4752     94 |  0.000 % |
1.08/1.13	c |     10651 |     700    14000    70000 | 2147483647     4946     94 |  0.000 % |
1.08/1.15	c |     10863 |     700    14000    70000 | 2147483647     5158     94 |  0.000 % |
1.08/1.18	c |     11097 |     700    14000    70000 | 2147483647     5392     95 |  0.000 % |
1.17/1.21	c |     11356 |     700    14000    70000 | 2147483647     5651     95 |  0.000 % |
1.17/1.24	c |     11640 |     700    14000    70000 | 2147483647     5935     95 |  0.000 % |
1.17/1.25	c |     11740 |     700    14000    70000 | 2147483647     6035     95 |  0.000 % |
1.17/1.26	c |     11850 |     700    14000    70000 | 2147483647     6145     95 |  0.000 % |
1.17/1.27	c |     11971 |     700    14000    70000 | 2147483647     6266     95 |  0.000 % |
1.17/1.29	c |     12104 |     700    14000    70000 | 2147483647     6399     95 |  0.000 % |
1.27/1.30	c |     12253 |     700    14000    70000 | 2147483647     6548     95 |  0.000 % |
1.27/1.32	c |     12413 |     700    14000    70000 | 2147483647     6708     95 |  0.000 % |
1.27/1.34	c |     12591 |     700    14000    70000 | 2147483647     6886     95 |  0.000 % |
1.27/1.36	c |     12785 |     700    14000    70000 | 2147483647     7080     95 |  0.000 % |
1.27/1.39	c |     12998 |     700    14000    70000 | 2147483647     7293     95 |  0.000 % |
1.37/1.42	c |     13231 |     700    14000    70000 | 2147483647     7526     96 |  0.000 % |
1.37/1.44	c |     13489 |     700    14000    70000 | 2147483647     7784     96 |  0.000 % |
1.37/1.48	c |     13770 |     700    14000    70000 | 2147483647     8065     96 |  0.000 % |
1.47/1.51	c |     14079 |     700    14000    70000 | 2147483647     8374     95 |  0.000 % |
1.47/1.53	c |     14180 |     700    14000    70000 | 2147483647     8475     95 |  0.000 % |
1.47/1.54	c |     14291 |     700    14000    70000 | 2147483647     8586     95 |  0.000 % |
1.47/1.55	c |     14412 |     700    14000    70000 | 2147483647     8707     95 |  0.000 % |
1.47/1.57	c |     14546 |     700    14000    70000 | 2147483647     8841     95 |  0.000 % |
1.47/1.59	c |     14692 |     700    14000    70000 | 2147483647     8987     95 |  0.000 % |
1.57/1.61	c |     14852 |     700    14000    70000 | 2147483647     9147     95 |  0.000 % |
1.57/1.63	c |     15031 |     700    14000    70000 | 2147483647     9326     95 |  0.000 % |
1.57/1.66	c |     15224 |     700    14000    70000 | 2147483647     9519     95 |  0.000 % |
1.57/1.68	c |     15437 |     700    14000    70000 | 2147483647     9732     95 |  0.000 % |
1.67/1.72	c |     15671 |     700    14000    70000 | 2147483647     9966     95 |  0.000 % |
1.67/1.75	c |     15927 |     700    14000    70000 | 2147483647    10222     95 |  0.000 % |
1.67/1.79	c |     16210 |     700    14000    70000 | 2147483647    10505     95 |  0.000 % |
1.77/1.83	c |     16520 |     700    14000    70000 | 2147483647    10815     95 |  0.000 % |
1.77/1.88	c |     16859 |     700    14000    70000 | 2147483647    11154     96 |  0.000 % |
1.77/1.89	c |     16959 |     700    14000    70000 | 2147483647    11254     96 |  0.000 % |
1.88/1.91	c |     17070 |     700    14000    70000 | 2147483647    11365     96 |  0.000 % |
1.88/1.93	c |     17191 |     700    14000    70000 | 2147483647    11486     96 |  0.000 % |
1.88/1.95	c |     17326 |     700    14000    70000 | 2147483647    11621     96 |  0.000 % |
1.88/1.97	c |     17472 |     700    14000    70000 | 2147483647    11767     96 |  0.000 % |
1.88/1.99	c |     17632 |     700    14000    70000 | 2147483647    11927     96 |  0.000 % |
1.98/2.02	c |     17809 |     700    14000    70000 | 2147483647    12104     96 |  0.000 % |
1.98/2.05	c |     18002 |     700    14000    70000 | 2147483647    12297     96 |  0.000 % |
1.98/2.08	c |     18214 |     700    14000    70000 | 2147483647    12509     96 |  0.000 % |
2.08/2.12	c |     18448 |     700    14000    70000 | 2147483647    12743     96 |  0.000 % |
2.08/2.16	c |     18705 |     700    14000    70000 | 2147483647    13000     96 |  0.000 % |
2.08/2.20	c |     18987 |     700    14000    70000 | 2147483647    13282     96 |  0.000 % |
2.18/2.24	c |     19296 |     700    14000    70000 | 2147483647    13591     96 |  0.000 % |
2.18/2.30	c |     19636 |     700    14000    70000 | 2147483647    13931     96 |  0.000 % |
2.28/2.35	c |     20008 |     700    14000    70000 | 2147483647    14303     96 |  0.000 % |
2.28/2.37	c |     20108 |     700    14000    70000 | 2147483647    14403     96 |  0.000 % |
2.28/2.39	c |     20219 |     700    14000    70000 | 2147483647    14514     96 |  0.000 % |
2.38/2.41	c |     20340 |     700    14000    70000 | 2147483647    14635     96 |  0.000 % |
2.38/2.43	c |     20473 |     700    14000    70000 | 2147483647    14768     96 |  0.000 % |
2.38/2.46	c |     20622 |     700    14000    70000 | 2147483647    14917     96 |  0.000 % |
2.38/2.48	c |     20782 |     700    14000    70000 | 2147483647    15077     96 |  0.000 % |
2.47/2.51	c |     20959 |     700    14000    70000 | 2147483647    15254     96 |  0.000 % |
2.47/2.54	c |     21152 |     700    14000    70000 | 2147483647    15447     96 |  0.000 % |
2.47/2.58	c |     21366 |     700    14000    70000 | 2147483647    15661     96 |  0.000 % |
2.57/2.62	c |     21599 |     700    14000    70000 | 2147483647    15894     96 |  0.000 % |
2.57/2.67	c |     21855 |     700    14000    70000 | 2147483647    16150     96 |  0.000 % |
2.67/2.72	c |     22136 |     700    14000    70000 | 2147483647    16431     96 |  0.000 % |
2.67/2.78	c |     22445 |     700    14000    70000 | 2147483647    16740     96 |  0.000 % |
2.77/2.84	c |     22785 |     700    14000    70000 | 2147483647    17080     96 |  0.000 % |
2.87/2.91	c |     23158 |     700    14000    70000 | 2147483647    17453     96 |  0.000 % |
2.87/2.99	c |     23570 |     700    14000    70000 | 2147483647    17865     96 |  0.000 % |
2.98/3.01	c |     23672 |     700    14000    70000 | 2147483647    17967     96 |  0.000 % |
2.98/3.03	c |     23783 |     700    14000    70000 | 2147483647    18078     96 |  0.000 % |
2.98/3.06	c |     23905 |     700    14000    70000 | 2147483647    18200     96 |  0.000 % |
2.98/3.08	c |     24038 |     700    14000    70000 | 2147483647    18333     96 |  0.000 % |
3.08/3.11	c |     24185 |     700    14000    70000 | 2147483647    18480     96 |  0.000 % |
3.08/3.15	c |     24346 |     700    14000    70000 | 2147483647    18641     96 |  0.000 % |
3.08/3.18	c |     24524 |     700    14000    70000 | 2147483647    18819     96 |  0.000 % |
3.18/3.23	c |     24717 |     700    14000    70000 | 2147483647    19012     96 |  0.000 % |
3.18/3.27	c |     24929 |     700    14000    70000 | 2147483647    19224     96 |  0.000 % |
3.28/3.33	c |     25165 |     700    14000    70000 | 2147483647    19460     97 |  0.000 % |
3.28/3.38	c |     25421 |     700    14000    70000 | 2147483647    19716     97 |  0.000 % |
3.38/3.43	c |     25703 |     700    14000    70000 | 2147483647    19998     97 |  0.000 % |
3.48/3.50	c |     26012 |     700    14000    70000 | 2147483647    20307     97 |  0.000 % |
3.48/3.57	c |     26351 |     700    14000    70000 | 2147483647    20646     97 |  0.000 % |
3.58/3.65	c |     26723 |     700    14000    70000 | 2147483647    21018     97 |  0.000 % |
3.68/3.74	c |     27133 |     700    14000    70000 | 2147483647    21428     97 |  0.000 % |
3.78/3.84	c |     27582 |     700    14000    70000 | 2147483647    21877     97 |  0.000 % |
3.78/3.86	c |     27682 |     700    14000    70000 | 2147483647    21977     97 |  0.000 % |
3.78/3.89	c |     27792 |     700    14000    70000 | 2147483647    22087     97 |  0.000 % |
3.88/3.92	c |     27913 |     700    14000    70000 | 2147483647    22208     97 |  0.000 % |
3.88/3.95	c |     28047 |     700    14000    70000 | 2147483647    22342     97 |  0.000 % |
3.88/3.99	c |     28193 |     700    14000    70000 | 2147483647    22488     97 |  0.000 % |
3.98/4.03	c |     28353 |     700    14000    70000 | 2147483647    22648     97 |  0.000 % |
3.98/4.07	c |     28531 |     700    14000    70000 | 2147483647    22826     97 |  0.000 % |
4.07/4.12	c |     28724 |     700    14000    70000 | 2147483647    23019     97 |  0.000 % |
4.07/4.16	c |     28936 |     700    14000    70000 | 2147483647    23231     97 |  0.000 % |
4.17/4.21	c |     29169 |     700    14000    70000 | 2147483647    23464     97 |  0.000 % |
4.17/4.27	c |     29425 |     700    14000    70000 | 2147483647    23720     97 |  0.000 % |
4.28/4.34	c |     29706 |     700    14000    70000 | 2147483647    24001     97 |  0.000 % |
4.38/4.41	c |     30015 |     700    14000    70000 | 2147483647    24310     97 |  0.000 % |
4.47/4.50	c |     30357 |     700    14000    70000 | 2147483647    24652     97 |  0.000 % |
4.47/4.58	c |     30729 |     700    14000    70000 | 2147483647    25024     97 |  0.000 % |
4.57/4.69	c |     31140 |     700    14000    70000 | 2147483647    25435     97 |  0.000 % |
4.67/4.79	c |     31590 |     700    14000    70000 | 2147483647    25885     97 |  0.000 % |
4.87/4.91	c |     32083 |     700    14000    70000 | 2147483647    26378     97 |  0.000 % |
4.87/4.94	c |     32184 |     700    14000    70000 | 2147483647    26479     97 |  0.000 % |
4.87/4.97	c |     32295 |     700    14000    70000 | 2147483647    26590     97 |  0.000 % |
4.97/5.00	c |     32417 |     700    14000    70000 | 2147483647    26712     97 |  0.000 % |
4.97/5.04	c |     32550 |     700    14000    70000 | 2147483647    26845     97 |  0.000 % |
4.97/5.09	c |     32696 |     700    14000    70000 | 2147483647    26991     97 |  0.000 % |
5.07/5.13	c |     32858 |     700    14000    70000 | 2147483647    27153     97 |  0.000 % |
5.07/5.18	c |     33037 |     700    14000    70000 | 2147483647    27332     97 |  0.000 % |
5.17/5.23	c |     33231 |     700    14000    70000 | 2147483647    27526     97 |  0.000 % |
5.17/5.29	c |     33444 |     700    14000    70000 | 2147483647    27739     97 |  0.000 % |
5.27/5.36	c |     33679 |     700    14000    70000 | 2147483647    27974     97 |  0.000 % |
5.38/5.42	c |     33935 |     700    14000    70000 | 2147483647    28230     97 |  0.000 % |
5.38/5.50	c |     34217 |     700    14000    70000 | 2147483647    28512     97 |  0.000 % |
5.48/5.58	c |     34527 |     700    14000    70000 | 2147483647    28822     97 |  0.000 % |
5.57/5.69	c |     34866 |     700    14000    70000 | 2147483647    29161     97 |  0.000 % |
5.77/5.81	c |     35238 |     700    14000    70000 | 2147483647    29533     97 |  0.000 % |
5.87/5.93	c |     35648 |     700    14000    70000 | 2147483647    29943     97 |  0.000 % |
5.97/6.06	c |     36098 |     700    14000    70000 | 2147483647    30393     97 |  0.000 % |
6.18/6.20	c |     36591 |     700    14000    70000 | 2147483647    30886     97 |  0.000 % |
6.28/6.37	c |     37133 |     700    14000    70000 | 2147483647    31428     97 |  0.000 % |
6.28/6.40	c |     37233 |     700    14000    70000 | 2147483647    31528     97 |  0.000 % |
6.38/6.43	c |     37344 |     700    14000    70000 | 2147483647    31639     97 |  0.000 % |
6.38/6.46	c |     37467 |     700    14000    70000 | 2147483647    31762     97 |  0.000 % |
6.48/6.51	c |     37600 |     700    14000    70000 | 2147483647    31895     97 |  0.000 % |
6.48/6.56	c |     37746 |     700    14000    70000 | 2147483647    32041     97 |  0.000 % |
6.58/6.60	c |     37907 |     700    14000    70000 | 2147483647    32202     97 |  0.000 % |
6.58/6.66	c |     38084 |     700    14000    70000 | 2147483647    32379     97 |  0.000 % |
6.67/6.73	c |     38280 |     700    14000    70000 | 2147483647    32575     97 |  0.000 % |
6.77/6.81	c |     38492 |     700    14000    70000 | 2147483647    32787     97 |  0.000 % |
6.77/6.88	c |     38725 |     700    14000    70000 | 2147483647    33020     97 |  0.000 % |
6.87/6.96	c |     38981 |     700    14000    70000 | 2147483647    33276     97 |  0.000 % |
6.97/7.04	c |     39263 |     700    14000    70000 | 2147483647    33558     97 |  0.000 % |
7.07/7.14	c |     39572 |     700    14000    70000 | 2147483647    33867     97 |  0.000 % |
7.17/7.25	c |     39913 |     700    14000    70000 | 2147483647    34208     97 |  0.000 % |
7.27/7.38	c |     40287 |     700    14000    70000 | 2147483647    34582     97 |  0.000 % |
7.47/7.51	c |     40696 |     700    14000    70000 | 2147483647    34991     97 |  0.000 % |
7.57/7.65	c |     41146 |     700    14000    70000 | 2147483647    35441     97 |  0.000 % |
7.77/7.82	c |     41640 |     700    14000    70000 | 2147483647    35935     97 |  0.000 % |
7.97/8.00	c |     42183 |     700    14000    70000 | 2147483647    36478     97 |  0.000 % |
8.07/8.19	c |     42779 |     700    14000    70000 | 2147483647    37074     97 |  0.000 % |
8.17/8.22	c |     42880 |     700    14000    70000 | 2147483647    37175     97 |  0.000 % |
8.17/8.26	c |     42990 |     700    14000    70000 | 2147483647    37285     97 |  0.000 % |
8.27/8.30	c |     43111 |     700    14000    70000 | 2147483647    37406     97 |  0.000 % |
8.27/8.35	c |     43244 |     700    14000    70000 | 2147483647    37539     97 |  0.000 % |
8.37/8.41	c |     43392 |     700    14000    70000 | 2147483647    37687     97 |  0.000 % |
8.37/8.46	c |     43552 |     700    14000    70000 | 2147483647    37847     97 |  0.000 % |
8.47/8.53	c |     43729 |     700    14000    70000 | 2147483647    38024     97 |  0.000 % |
8.57/8.61	c |     43923 |     700    14000    70000 | 2147483647    38218     97 |  0.000 % |
8.57/8.69	c |     44135 |     700    14000    70000 | 2147483647    38430     97 |  0.000 % |
8.67/8.78	c |     44368 |     700    14000    70000 | 2147483647    38663     97 |  0.000 % |
8.77/8.87	c |     44625 |     700    14000    70000 | 2147483647    38920     97 |  0.000 % |
8.87/8.98	c |     44906 |     700    14000    70000 | 2147483647    39201     97 |  0.000 % |
8.97/9.08	c |     45215 |     700    14000    70000 | 2147483647    39510     97 |  0.000 % |
9.18/9.21	c |     45555 |     700    14000    70000 | 2147483647    39850     97 |  0.000 % |
9.28/9.36	c |     45927 |     700    14000    70000 | 2147483647    40222     97 |  0.000 % |
9.48/9.52	c |     46340 |     700    14000    70000 | 2147483647    40635     97 |  0.000 % |
9.58/9.69	c |     46792 |     700    14000    70000 | 2147483647    41087     97 |  0.000 % |
9.78/9.87	c |     47286 |     700    14000    70000 | 2147483647    41581     98 |  0.000 % |
9.97/10.09	c |     47828 |     700    14000    70000 | 2147483647    42123     98 |  0.000 % |
10.27/10.32	c |     48429 |     700    14000    70000 | 2147483647    42724     98 |  0.000 % |
10.47/10.60	c |     49084 |     700    14000    70000 | 2147483647    43379     98 |  0.000 % |
10.57/10.66	c |     49185 |     700    14000    70000 | 2147483647    43480     98 |  0.000 % |
10.67/10.71	c |     49296 |     700    14000    70000 | 2147483647    43591     98 |  0.000 % |
10.67/10.76	c |     49418 |     700    14000    70000 | 2147483647    43713     98 |  0.000 % |
10.77/10.83	c |     49554 |     700    14000    70000 | 2147483647    43849     98 |  0.000 % |
10.88/10.90	c |     49700 |     700    14000    70000 | 2147483647    43995     98 |  0.000 % |
10.88/10.97	c |     49861 |     700    14000    70000 | 2147483647    44156     98 |  0.000 % |
10.98/11.04	c |     50040 |     700    14000    70000 | 2147483647    44335     98 |  0.000 % |
11.07/11.14	c |     50233 |     700    14000    70000 | 2147483647    44528     98 |  0.000 % |
11.17/11.24	c |     50447 |     700    14000    70000 | 2147483647    44742     98 |  0.000 % |
11.27/11.33	c |     50681 |     700    14000    70000 | 2147483647    44976     98 |  0.000 % |
11.37/11.44	c |     50939 |     700    14000    70000 | 2147483647    45234     98 |  0.000 % |
11.47/11.55	c |     51221 |     700    14000    70000 | 2147483647    45516     98 |  0.000 % |
11.57/11.68	c |     51532 |     700    14000    70000 | 2147483647    45827     98 |  0.000 % |
11.77/11.83	c |     51872 |     700    14000    70000 | 2147483647    46167     98 |  0.000 % |
11.87/11.99	c |     52244 |     700    14000    70000 | 2147483647    46539     98 |  0.000 % |
12.08/12.16	c |     52654 |     700    14000    70000 | 2147483647    46949     98 |  0.000 % |
12.27/12.33	c |     53104 |     700    14000    70000 | 2147483647    47399     98 |  0.000 % |
12.47/12.53	c |     53598 |     700    14000    70000 | 2147483647    47893     98 |  0.000 % |
12.67/12.79	c |     54142 |     700    14000    70000 | 2147483647    48437     98 |  0.000 % |
12.97/13.06	c |     54738 |     700    14000    70000 | 2147483647    49033     98 |  0.000 % |
13.27/13.35	c |     55393 |     700    14000    70000 | 2147483647    49688     98 |  0.000 % |
13.57/13.64	c |     56113 |     700    14000    70000 | 2147483647    50408     98 |  0.000 % |
13.57/13.69	c |     56213 |     700    14000    70000 | 2147483647    50508     98 |  0.000 % |
13.67/13.75	c |     56324 |     700    14000    70000 | 2147483647    50619     98 |  0.000 % |
13.77/13.80	c |     56447 |     700    14000    70000 | 2147483647    50742     98 |  0.000 % |
13.77/13.87	c |     56580 |     700    14000    70000 | 2147483647    50875     98 |  0.000 % |
13.87/13.96	c |     56727 |     700    14000    70000 | 2147483647    51022     98 |  0.000 % |
13.97/14.05	c |     56889 |     700    14000    70000 | 2147483647    51184     98 |  0.000 % |
14.07/14.12	c |     57066 |     700    14000    70000 | 2147483647    51361     98 |  0.000 % |
14.17/14.22	c |     57259 |     700    14000    70000 | 2147483647    51554     98 |  0.000 % |
14.27/14.33	c |     57471 |     700    14000    70000 | 2147483647    51766     98 |  0.000 % |
14.37/14.45	c |     57705 |     700    14000    70000 | 2147483647    52000     98 |  0.000 % |
14.47/14.58	c |     57961 |     700    14000    70000 | 2147483647    52256     98 |  0.000 % |
14.67/14.72	c |     58243 |     700    14000    70000 | 2147483647    52538     98 |  0.000 % |
14.77/14.86	c |     58552 |     700    14000    70000 | 2147483647    52847     98 |  0.000 % |
14.97/15.04	c |     58891 |     700    14000    70000 | 2147483647    53186     98 |  0.000 % |
15.17/15.21	c |     59267 |     700    14000    70000 | 2147483647    53562     98 |  0.000 % |
15.37/15.41	c |     59676 |     700    14000    70000 | 2147483647    53971     98 |  0.000 % |
15.57/15.62	c |     60125 |     700    14000    70000 | 2147483647    54420     98 |  0.000 % |
15.77/15.86	c |     60619 |     700    14000    70000 | 2147483647    54914     98 |  0.000 % |
16.06/16.12	c |     61161 |     700    14000    70000 | 2147483647    55456     98 |  0.000 % |
16.38/16.40	c |     61757 |     700    14000    70000 | 2147483647    56052     98 |  0.000 % |
16.67/16.76	c |     62413 |     700    14000    70000 | 2147483647    56708     98 |  0.000 % |
16.97/17.10	c |     63133 |     700    14000    70000 | 2147483647    57428     98 |  0.000 % |
17.37/17.45	c |     63926 |     700    14000    70000 | 2147483647    58221     98 |  0.000 % |
17.37/17.50	c |     64028 |     700    14000    70000 | 2147483647    58323     98 |  0.000 % |
17.47/17.58	c |     64138 |     700    14000    70000 | 2147483647    58433     98 |  0.000 % |
17.57/17.66	c |     64259 |     700    14000    70000 | 2147483647    58554     98 |  0.000 % |
17.67/17.73	c |     64393 |     700    14000    70000 | 2147483647    58688     98 |  0.000 % |
17.77/17.82	c |     64539 |     700    14000    70000 | 2147483647    58834     98 |  0.000 % |
17.87/17.92	c |     64701 |     700    14000    70000 | 2147483647    58996     98 |  0.000 % |
17.97/18.02	c |     64879 |     700    14000    70000 | 2147483647    59174     98 |  0.000 % |
18.07/18.12	c |     65073 |     700    14000    70000 | 2147483647    59368     98 |  0.000 % |
18.17/18.27	c |     65286 |     700    14000    70000 | 2147483647    59581     98 |  0.000 % |
18.37/18.40	c |     65521 |     700    14000    70000 | 2147483647    59816     98 |  0.000 % |
18.47/18.56	c |     65777 |     700    14000    70000 | 2147483647    60072     98 |  0.000 % |
18.67/18.71	c |     66059 |     700    14000    70000 | 2147483647    60354     98 |  0.000 % |
18.77/18.88	c |     66370 |     700    14000    70000 | 2147483647    60665     98 |  0.000 % |
18.96/19.08	c |     66709 |     700    14000    70000 | 2147483647    61004     98 |  0.000 % |
19.26/19.30	c |     67081 |     700    14000    70000 | 2147483647    61376     98 |  0.000 % |
19.46/19.55	c |     67490 |     700    14000    70000 | 2147483647    61785     98 |  0.000 % |
19.77/19.82	c |     67941 |     700    14000    70000 | 2147483647    62236     98 |  0.000 % |
19.97/20.07	c |     68434 |     700    14000    70000 | 2147483647    62729     98 |  0.000 % |
20.27/20.37	c |     68976 |     700    14000    70000 | 2147483647    63271     98 |  0.000 % |
20.67/20.70	c |     69572 |     700    14000    70000 | 2147483647    63867     98 |  0.000 % |
21.07/21.12	c |     70228 |     700    14000    70000 | 2147483647    64523     98 |  0.000 % |
21.47/21.53	c |     70949 |     700    14000    70000 | 2147483647    65244     98 |  0.000 % |
21.87/21.94	c |     71741 |     700    14000    70000 | 2147483647    66036     98 |  0.000 % |
22.36/22.45	c |     72612 |     700    14000    70000 | 2147483647    66907     98 |  0.000 % |
22.46/22.50	c |     72712 |     700    14000    70000 | 2147483647    67007     98 |  0.000 % |
22.46/22.57	c |     72823 |     700    14000    70000 | 2147483647    67118     98 |  0.000 % |
22.56/22.64	c |     72944 |     700    14000    70000 | 2147483647    67239     98 |  0.000 % |
22.66/22.70	c |     73077 |     700    14000    70000 | 2147483647    67372     98 |  0.000 % |
22.76/22.81	c |     73223 |     700    14000    70000 | 2147483647    67518     98 |  0.000 % |
22.86/22.93	c |     73383 |     700    14000    70000 | 2147483647    67678     98 |  0.000 % |
22.96/23.04	c |     73559 |     700    14000    70000 | 2147483647    67854     98 |  0.000 % |
23.06/23.18	c |     73752 |     700    14000    70000 | 2147483647    68047     98 |  0.000 % |
23.26/23.30	c |     73966 |     700    14000    70000 | 2147483647    68261     98 |  0.000 % |
23.36/23.45	c |     74199 |     700    14000    70000 | 2147483647    68494     98 |  0.000 % |
23.56/23.60	c |     74455 |     700    14000    70000 | 2147483647    68750     98 |  0.000 % |
23.66/23.79	c |     74736 |     700    14000    70000 | 2147483647    69031     98 |  0.000 % |
23.87/23.98	c |     75046 |     700    14000    70000 | 2147483647    69341     98 |  0.000 % |
24.17/24.21	c |     75385 |     700    14000    70000 | 2147483647    69680     98 |  0.000 % |
24.37/24.48	c |     75759 |     700    14000    70000 | 2147483647    70054     98 |  0.000 % |
24.67/24.75	c |     76169 |     700    14000    70000 | 2147483647    70464     98 |  0.000 % |
24.96/25.04	c |     76619 |     700    14000    70000 | 2147483647    70914     98 |  0.000 % |
25.27/25.35	c |     77114 |     700    14000    70000 | 2147483647    71409     98 |  0.000 % |
25.56/25.68	c |     77656 |     700    14000    70000 | 2147483647    71951     98 |  0.000 % |
25.96/26.05	c |     78252 |     700    14000    70000 | 2147483647    72547     98 |  0.000 % |
26.37/26.40	c |     78907 |     700    14000    70000 | 2147483647    73202     99 |  0.000 % |
26.76/26.85	c |     79630 |     700    14000    70000 | 2147483647    73925     99 |  0.000 % |
27.26/27.40	c |     80422 |     700    14000    70000 |    74295    63739     99 |  0.000 % |
27.76/27.87	c |     81295 |     700    14000    70000 |    74295    64612     99 |  0.000 % |
28.36/28.40	c |     82253 |     700    14000    70000 |    74295    65570     99 |  0.000 % |
28.36/28.46	c |     82354 |     700    14000    70000 |    74295    65671     99 |  0.000 % |
28.46/28.51	c |     82465 |     700    14000    70000 |    74295    65782     99 |  0.000 % |
28.46/28.60	c |     82586 |     700    14000    70000 |    74295    65903     99 |  0.000 % |
28.66/28.70	c |     82719 |     700    14000    70000 |    74295    66036     99 |  0.000 % |
28.76/28.80	c |     82865 |     700    14000    70000 |    74295    66182     99 |  0.000 % |
28.86/28.90	c |     83026 |     700    14000    70000 |    74295    66343     99 |  0.000 % |
28.96/29.02	c |     83203 |     700    14000    70000 |    74295    66520     99 |  0.000 % |
29.06/29.16	c |     83396 |     700    14000    70000 |    74295    66713     99 |  0.000 % |
29.26/29.31	c |     83608 |     700    14000    70000 |    74295    66925     99 |  0.000 % |
29.36/29.44	c |     83841 |     700    14000    70000 |    74295    67158     99 |  0.000 % |
29.56/29.61	c |     84098 |     700    14000    70000 |    74295    67415     99 |  0.000 % |
29.76/29.81	c |     84379 |     700    14000    70000 |    74295    67696     99 |  0.000 % |
29.96/30.01	c |     84688 |     700    14000    70000 |    74295    68005     99 |  0.000 % |
30.16/30.22	c |     85027 |     700    14000    70000 |    74295    68344     99 |  0.000 % |
30.36/30.48	c |     85399 |     700    14000    70000 |    74295    68716     99 |  0.000 % |
30.66/30.74	c |     85808 |     700    14000    70000 |    74295    69125     99 |  0.000 % |
30.96/31.02	c |     86258 |     700    14000    70000 |    74295    69575     99 |  0.000 % |
31.26/31.31	c |     86751 |     700    14000    70000 |    74295    70068     99 |  0.000 % |
31.56/31.63	c |     87293 |     700    14000    70000 |    74295    70610     99 |  0.000 % |
31.86/31.98	c |     87890 |     700    14000    70000 |    74295    71207     99 |  0.000 % |
32.35/32.45	c |     88546 |     700    14000    70000 |    74295    71863     99 |  0.000 % |
32.86/32.93	c |     89267 |     700    14000    70000 |    74295    72584     99 |  0.000 % |
33.35/33.40	c |     90059 |     700    14000    70000 |    73320    73376     99 |  0.000 % |
33.85/33.95	c |     90930 |     700    14000    70000 |    73320    63104     99 |  0.000 % |
34.35/34.47	c |     91889 |     700    14000    70000 |    73320    64063     99 |  0.000 % |
34.95/35.03	c |     92943 |     700    14000    70000 |    73320    65117     99 |  0.000 % |
34.95/35.09	c |     93043 |     700    14000    70000 |    73320    65217     99 |  0.000 % |
35.06/35.19	c |     93154 |     700    14000    70000 |    73320    65328     99 |  0.000 % |
35.16/35.27	c |     93275 |     700    14000    70000 |    73320    65449     99 |  0.000 % |
35.25/35.37	c |     93408 |     700    14000    70000 |    73320    65582     99 |  0.000 % |
35.35/35.47	c |     93555 |     700    14000    70000 |    73320    65729     99 |  0.000 % |
35.45/35.59	c |     93719 |     700    14000    70000 |    73320    65893     99 |  0.000 % |
35.65/35.70	c |     93897 |     700    14000    70000 |    73320    66071     99 |  0.000 % |
35.75/35.83	c |     94091 |     700    14000    70000 |    73320    66265     99 |  0.000 % |
35.85/35.97	c |     94303 |     700    14000    70000 |    73320    66477     99 |  0.000 % |
36.05/36.12	c |     94536 |     700    14000    70000 |    73320    66710     99 |  0.000 % |
36.15/36.30	c |     94794 |     700    14000    70000 |    73320    66968     99 |  0.000 % |
36.35/36.48	c |     95076 |     700    14000    70000 |    73320    67250     99 |  0.000 % |
36.55/36.68	c |     95387 |     700    14000    70000 |    73320    67561     99 |  0.000 % |
36.85/36.90	c |     95727 |     700    14000    70000 |    73320    67901     99 |  0.000 % |
37.05/37.12	c |     96099 |     700    14000    70000 |    73320    68273     99 |  0.000 % |
37.25/37.39	c |     96510 |     700    14000    70000 |    73320    68684     99 |  0.000 % |
37.55/37.69	c |     96960 |     700    14000    70000 |    73320    69134     99 |  0.000 % |
37.85/37.99	c |     97454 |     700    14000    70000 |    73320    69628     99 |  0.000 % |
38.25/38.34	c |     97999 |     700    14000    70000 |    73320    70173     99 |  0.000 % |
38.55/38.68	c |     98596 |     700    14000    70000 |    73320    70770     99 |  0.000 % |
39.05/39.11	c |     99251 |     700    14000    70000 |    73320    71425     99 |  0.000 % |
39.45/39.51	c |     99974 |     700    14000    70000 |    73320    72148     99 |  0.000 % |
39.85/39.98	c |    100766 |     700    14000    70000 |    72176    61882    100 |  0.000 % |
40.35/40.42	c |    101638 |     700    14000    70000 |    72176    62754    100 |  0.000 % |
40.85/40.93	c |    102597 |     700    14000    70000 |    72176    63713    100 |  0.000 % |
41.45/41.51	c |    103651 |     700    14000    70000 |    72176    64767    100 |  0.000 % |
42.05/42.17	c |    104809 |     700    14000    70000 |    72176    65925    100 |  0.000 % |
42.15/42.22	c |    104909 |     700    14000    70000 |    72176    66025    100 |  0.000 % |
42.15/42.29	c |    105021 |     700    14000    70000 |    72176    66137    100 |  0.000 % |
42.25/42.38	c |    105144 |     700    14000    70000 |    72176    66260    100 |  0.000 % |
42.35/42.47	c |    105278 |     700    14000    70000 |    72176    66394    100 |  0.000 % |
42.45/42.55	c |    105426 |     700    14000    70000 |    72176    66542    100 |  0.000 % |
42.55/42.67	c |    105588 |     700    14000    70000 |    72176    66704    100 |  0.000 % |
42.65/42.79	c |    105764 |     700    14000    70000 |    72176    66880    100 |  0.000 % |
42.86/42.92	c |    105957 |     700    14000    70000 |    72176    67073    100 |  0.000 % |
42.95/43.05	c |    106172 |     700    14000    70000 |    72176    67288    100 |  0.000 % |
43.15/43.20	c |    106405 |     700    14000    70000 |    72176    67521    100 |  0.000 % |
43.25/43.37	c |    106662 |     700    14000    70000 |    72176    67778    100 |  0.000 % |
43.45/43.53	c |    106943 |     700    14000    70000 |    72176    68059    100 |  0.000 % |
43.65/43.73	c |    107252 |     700    14000    70000 |    72176    68368    100 |  0.000 % |
43.85/43.93	c |    107591 |     700    14000    70000 |    72176    68707    100 |  0.000 % |
44.05/44.18	c |    107963 |     700    14000    70000 |    72176    69079    100 |  0.000 % |
44.35/44.43	c |    108372 |     700    14000    70000 |    72176    69488    100 |  0.000 % |
44.55/44.68	c |    108821 |     700    14000    70000 |    72176    69937    100 |  0.000 % |
44.85/44.97	c |    109316 |     700    14000    70000 |    72176    70432    100 |  0.000 % |
45.25/45.32	c |    109858 |     700    14000    70000 |    72176    70974    100 |  0.000 % |
45.65/45.70	c |    110454 |     700    14000    70000 |    71116    61295     99 |  0.000 % |
45.95/46.04	c |    111110 |     700    14000    70000 |    71116    61951     99 |  0.000 % |
46.25/46.39	c |    111833 |     700    14000    70000 |    71116    62674    100 |  0.000 % |
46.75/46.85	c |    112626 |     700    14000    70000 |    71116    63467    100 |  0.000 % |
47.25/47.30	c |    113497 |     700    14000    70000 |    71116    64338    100 |  0.000 % |
47.75/47.84	c |    114455 |     700    14000    70000 |    71116    65296    100 |  0.000 % |
48.35/48.43	c |    115508 |     700    14000    70000 |    71116    66349    100 |  0.000 % |
49.05/49.16	c |    116666 |     700    14000    70000 |    71116    67507    100 |  0.000 % |
49.84/49.93	c |    117939 |     700    14000    70000 |    71116    68780    100 |  0.000 % |
49.84/49.99	c |    118039 |     700    14000    70000 |    71116    68880    100 |  0.000 % |
49.94/50.08	c |    118149 |     700    14000    70000 |    71116    68990    100 |  0.000 % |
50.04/50.17	c |    118270 |     700    14000    70000 |    71116    69111    100 |  0.000 % |
50.14/50.25	c |    118403 |     700    14000    70000 |    71116    69244    100 |  0.000 % |
50.24/50.35	c |    118550 |     700    14000    70000 |    71116    69391    100 |  0.000 % |
50.34/50.48	c |    118711 |     700    14000    70000 |    71116    69552    100 |  0.000 % |
50.45/50.59	c |    118888 |     700    14000    70000 |    71116    69729    100 |  0.000 % |
50.64/50.72	c |    119082 |     700    14000    70000 |    71116    69923    100 |  0.000 % |
50.74/50.88	c |    119295 |     700    14000    70000 |    71116    70136    100 |  0.000 % |
50.94/51.01	c |    119530 |     700    14000    70000 |    71116    70371    100 |  0.000 % |
51.04/51.19	c |    119786 |     700    14000    70000 |    71116    70627    100 |  0.000 % |
51.24/51.37	c |    120067 |     700    14000    70000 |    70841    70908    100 |  0.000 % |
51.44/51.59	c |    120376 |     700    14000    70000 |    70841    61042    100 |  0.000 % |
51.65/51.76	c |    120717 |     700    14000    70000 |    70841    61383    100 |  0.000 % |
51.84/51.96	c |    121089 |     700    14000    70000 |    70841    61755    100 |  0.000 % |
52.04/52.19	c |    121499 |     700    14000    70000 |    70841    62165    100 |  0.000 % |
52.34/52.44	c |    121948 |     700    14000    70000 |    70841    62614    100 |  0.000 % |
52.65/52.70	c |    122441 |     700    14000    70000 |    70841    63107    100 |  0.000 % |
52.94/53.04	c |    122985 |     700    14000    70000 |    70841    63651    100 |  0.000 % |
53.24/53.36	c |    123581 |     700    14000    70000 |    70841    64247    100 |  0.000 % |
53.64/53.76	c |    124237 |     700    14000    70000 |    70841    64903    100 |  0.000 % |
54.04/54.19	c |    124958 |     700    14000    70000 |    70841    65624    100 |  0.000 % |
54.54/54.67	c |    125752 |     700    14000    70000 |    70841    66418    100 |  0.000 % |
55.04/55.19	c |    126623 |     700    14000    70000 |    70841    67289    100 |  0.000 % |
55.64/55.76	c |    127581 |     700    14000    70000 |    70841    68247    100 |  0.000 % |
56.34/56.44	c |    128635 |     700    14000    70000 |    70841    69301    100 |  0.000 % |
57.05/57.16	c |    129794 |     700    14000    70000 |    70841    70460    101 |  0.000 % |
57.84/57.94	c |    131067 |     700    14000    70000 |    70672    61616    101 |  0.000 % |
58.64/58.74	c |    132469 |     700    14000    70000 |    70672    63018    101 |  0.000 % |
58.74/58.81	c |    132570 |     700    14000    70000 |    70672    63119    101 |  0.000 % |
58.74/58.88	c |    132680 |     700    14000    70000 |    70672    63229    101 |  0.000 % |
58.84/58.96	c |    132802 |     700    14000    70000 |    70672    63351    101 |  0.000 % |
58.94/59.04	c |    132938 |     700    14000    70000 |    70672    63487    101 |  0.000 % |
59.04/59.14	c |    133085 |     700    14000    70000 |    70672    63634    101 |  0.000 % |
59.14/59.24	c |    133245 |     700    14000    70000 |    70672    63794    101 |  0.000 % |
59.24/59.36	c |    133423 |     700    14000    70000 |    70672    63972    101 |  0.000 % |
59.34/59.47	c |    133619 |     700    14000    70000 |    70672    64168    101 |  0.000 % |
59.54/59.61	c |    133832 |     700    14000    70000 |    70672    64381    101 |  0.000 % |
59.64/59.75	c |    134066 |     700    14000    70000 |    70672    64615    101 |  0.000 % |
59.84/59.93	c |    134323 |     700    14000    70000 |    70672    64872    100 |  0.000 % |
60.04/60.12	c |    134606 |     700    14000    70000 |    70672    65155    101 |  0.000 % |
60.24/60.31	c |    134915 |     700    14000    70000 |    70672    65464    101 |  0.000 % |
60.44/60.52	c |    135254 |     700    14000    70000 |    70672    65803    101 |  0.000 % |
60.64/60.72	c |    135626 |     700    14000    70000 |    70672    66175    101 |  0.000 % |
60.84/60.96	c |    136035 |     700    14000    70000 |    70672    66584    101 |  0.000 % |
61.14/61.27	c |    136486 |     700    14000    70000 |    70672    67035    101 |  0.000 % |
61.44/61.60	c |    136979 |     700    14000    70000 |    70672    67528    100 |  0.000 % |
61.84/61.90	c |    137521 |     700    14000    70000 |    70672    68070    100 |  0.000 % |
62.24/62.33	c |    138118 |     700    14000    70000 |    70672    68667    101 |  0.000 % |
62.64/62.72	c |    138773 |     700    14000    70000 |    70672    69322    101 |  0.000 % |
63.04/63.14	c |    139493 |     700    14000    70000 |    70672    70042    101 |  0.000 % |
63.54/63.68	c |    140288 |     700    14000    70000 |    70549    60563    100 |  0.000 % |
64.04/64.10	c |    141160 |     700    14000    70000 |    70549    61435    100 |  0.000 % |
64.44/64.57	c |    142118 |     700    14000    70000 |    70549    62393    100 |  0.000 % |
65.04/65.13	c |    143173 |     700    14000    70000 |    70549    63448    100 |  0.000 % |
65.64/65.77	c |    144331 |     700    14000    70000 |    70549    64606    100 |  0.000 % |
66.44/66.51	c |    145606 |     700    14000    70000 |    70549    65881    100 |  0.000 % |
67.24/67.30	c |    147006 |     700    14000    70000 |    70549    67281    100 |  0.000 % |
68.04/68.18	c |    148550 |     700    14000    70000 |    70549    68825    101 |  0.000 % |
68.14/68.25	c |    148651 |     700    14000    70000 |    70549    68926    101 |  0.000 % |
68.24/68.33	c |    148761 |     700    14000    70000 |    70549    69036    101 |  0.000 % |
68.33/68.42	c |    148885 |     700    14000    70000 |    70549    69160    100 |  0.000 % |
68.43/68.50	c |    149018 |     700    14000    70000 |    70549    69293    100 |  0.000 % |
68.53/68.63	c |    149164 |     700    14000    70000 |    70549    69439    100 |  0.000 % |
68.63/68.75	c |    149324 |     700    14000    70000 |    70549    69599    100 |  0.000 % |
68.73/68.86	c |    149500 |     700    14000    70000 |    70549    69775    100 |  0.000 % |
68.93/69.01	c |    149694 |     700    14000    70000 |    70549    69969    100 |  0.000 % |
69.03/69.15	c |    149908 |     700    14000    70000 |    70549    70183    100 |  0.000 % |
69.14/69.30	c |    150141 |     700    14000    70000 |    70275    70416    100 |  0.000 % |
69.33/69.49	c |    150397 |     700    14000    70000 |    70275    61124    100 |  0.000 % |
69.53/69.65	c |    150679 |     700    14000    70000 |    70275    61406    100 |  0.000 % |
69.73/69.84	c |    150990 |     700    14000    70000 |    70275    61717    100 |  0.000 % |
69.93/70.03	c |    151329 |     700    14000    70000 |    70275    62056    100 |  0.000 % |
70.13/70.24	c |    151702 |     700    14000    70000 |    70275    62429    100 |  0.000 % |
70.34/70.47	c |    152114 |     700    14000    70000 |    70275    62841    100 |  0.000 % |
70.63/70.74	c |    152565 |     700    14000    70000 |    70275    63292    100 |  0.000 % |
70.93/71.02	c |    153058 |     700    14000    70000 |    70275    63785    100 |  0.000 % |
71.23/71.40	c |    153600 |     700    14000    70000 |    70275    64327    100 |  0.000 % |
71.63/71.72	c |    154197 |     700    14000    70000 |    70275    64924    100 |  0.000 % |
71.93/72.07	c |    154852 |     700    14000    70000 |    70275    65579    100 |  0.000 % |
72.33/72.45	c |    155572 |     700    14000    70000 |    70275    66299    101 |  0.000 % |
72.83/72.96	c |    156364 |     700    14000    70000 |    70275    67091    101 |  0.000 % |
73.33/73.45	c |    157235 |     700    14000    70000 |    70275    67962    101 |  0.000 % |
73.93/74.06	c |    158193 |     700    14000    70000 |    70275    68920    101 |  0.000 % |
74.53/74.65	c |    159246 |     700    14000    70000 |    70275    69973    101 |  0.000 % |
75.23/75.38	c |    160407 |     700    14000    70000 |    61093    53429    101 |  0.000 % |
75.83/75.97	c |    161680 |     700    14000    70000 |    61093    54702    101 |  0.000 % |
76.53/76.61	c |    163081 |     700    14000    70000 |    61093    56103    101 |  0.000 % |
77.23/77.38	c |    164621 |     700    14000    70000 |    61093    57643    101 |  0.000 % |
78.13/78.22	c |    166315 |     700    14000    70000 |    61093    59337    101 |  0.000 % |
78.13/78.27	c |    166416 |     700    14000    70000 |    61093    59438    101 |  0.000 % |
78.23/78.32	c |    166527 |     700    14000    70000 |    61093    59549    101 |  0.000 % |
78.33/78.40	c |    166648 |     700    14000    70000 |    61093    59670    101 |  0.000 % |
78.33/78.47	c |    166782 |     700    14000    70000 |    61093    59804    101 |  0.000 % |
78.43/78.55	c |    166928 |     700    14000    70000 |    61093    59950    101 |  0.000 % |
78.53/78.64	c |    167088 |     700    14000    70000 |    61093    60110    101 |  0.000 % |
78.63/78.77	c |    167264 |     700    14000    70000 |    61093    60286    101 |  0.000 % |
78.73/78.89	c |    167458 |     700    14000    70000 |    61093    60480    101 |  0.000 % |
78.93/79.03	c |    167670 |     700    14000    70000 |    61093    60692    101 |  0.000 % |
79.03/79.16	c |    167904 |     700    14000    70000 |    61093    60926    101 |  0.000 % |
79.23/79.30	c |    168162 |     700    14000    70000 |    61093    61184    101 |  0.000 % |
79.33/79.48	c |    168445 |     700    14000    70000 |    61093    55349    101 |  0.000 % |
79.53/79.63	c |    168755 |     700    14000    70000 |    61093    55659    101 |  0.000 % |
79.73/79.82	c |    169094 |     700    14000    70000 |    61093    55998    101 |  0.000 % |
79.93/80.03	c |    169466 |     700    14000    70000 |    61093    56370    101 |  0.000 % |
80.13/80.23	c |    169876 |     700    14000    70000 |    61093    56780    101 |  0.000 % |
80.33/80.46	c |    170325 |     700    14000    70000 | 2147483647    57229    101 |  0.000 % |
80.63/80.72	c |    170818 |     700    14000    70000 | 2147483647    57722    101 |  0.000 % |
80.83/80.99	c |    171360 |     700    14000    70000 | 2147483647    58264    101 |  0.000 % |
81.13/81.29	c |    171958 |     700    14000    70000 | 2147483647    58862    101 |  0.000 % |
81.53/81.64	c |    172613 |     700    14000    70000 | 2147483647    59517    101 |  0.000 % |
81.92/82.03	c |    173333 |     700    14000    70000 | 2147483647    60237    101 |  0.000 % |
82.33/82.43	c |    174125 |     700    14000    70000 | 2147483647    61029    101 |  0.000 % |
82.72/82.89	c |    174997 |     700    14000    70000 | 2147483647    61901    101 |  0.000 % |
83.22/83.39	c |    175955 |     700    14000    70000 | 2147483647    62859    101 |  0.000 % |
83.82/83.94	c |    177008 |     700    14000    70000 | 2147483647    63912    101 |  0.000 % |
84.53/84.62	c |    178167 |     700    14000    70000 | 2147483647    65071    101 |  0.000 % |
85.22/85.37	c |    179440 |     700    14000    70000 | 2147483647    66344    101 |  0.000 % |
86.02/86.16	c |    180843 |     700    14000    70000 |    66906    60451    101 |  0.000 % |
86.83/86.92	c |    182383 |     700    14000    70000 |    66906    61991    101 |  0.000 % |
87.62/87.79	c |    184077 |     700    14000    70000 |    66906    63685    101 |  0.000 % |
88.62/88.79	c |    185941 |     700    14000    70000 |    66906    65549    101 |  0.000 % |
88.72/88.85	c |    186041 |     700    14000    70000 |    66906    65649    101 |  0.000 % |
88.82/88.94	c |    186156 |     700    14000    70000 |    66906    65764    101 |  0.000 % |
88.93/89.02	c |    186277 |     700    14000    70000 |    66906    65885    101 |  0.000 % |
89.03/89.11	c |    186410 |     700    14000    70000 |    66906    66018    101 |  0.000 % |
89.12/89.20	c |    186559 |     700    14000    70000 |    66906    66167    101 |  0.000 % |
89.22/89.32	c |    186720 |     700    14000    70000 |    66906    66328    101 |  0.000 % |
89.32/89.46	c |    186897 |     700    14000    70000 |    66906    66505    101 |  0.000 % |
89.42/89.57	c |    187090 |     700    14000    70000 |    66906    66698    101 |  0.000 % |
89.62/89.70	c |    187302 |     700    14000    70000 |    66906    66910    101 |  0.000 % |
89.72/89.88	c |    187535 |     700    14000    70000 |    66906    59182    101 |  0.000 % |
89.92/90.04	c |    187792 |     700    14000    70000 |    66906    59439    101 |  0.000 % |
90.02/90.20	c |    188073 |     700    14000    70000 |    66906    59720    101 |  0.000 % |
90.22/90.38	c |    188385 |     700    14000    70000 |    66906    60032    101 |  0.000 % |
90.42/90.57	c |    188724 |     700    14000    70000 |    66906    60371    101 |  0.000 % |
90.62/90.77	c |    189096 |     700    14000    70000 |    66906    60743    101 |  0.000 % |
90.82/90.98	c |    189506 |     700    14000    70000 |    66906    61153    101 |  0.000 % |
91.12/91.24	c |    189957 |     700    14000    70000 |    66906    61604    101 |  0.000 % |
91.42/91.53	c |    190451 |     700    14000    70000 |    61647    54743    101 |  0.000 % |
91.62/91.77	c |    190996 |     700    14000    70000 |    61647    55288    101 |  0.000 % |
91.92/92.05	c |    191592 |     700    14000    70000 |    61647    55884    101 |  0.000 % |
92.32/92.41	c |    192249 |     700    14000    70000 |    61647    56541    101 |  0.000 % |
92.62/92.74	c |    192970 |     700    14000    70000 |    61647    57262    101 |  0.000 % |
93.02/93.13	c |    193763 |     700    14000    70000 |    61647    58055    101 |  0.000 % |
93.42/93.55	c |    194635 |     700    14000    70000 |    61647    58927    101 |  0.000 % |
93.82/94.00	c |    195593 |     700    14000    70000 |    61647    59885    101 |  0.000 % |
94.42/94.55	c |    196646 |     700    14000    70000 |    61647    60938    101 |  0.000 % |
95.02/95.17	c |    197804 |     700    14000    70000 |    61647    55907    101 |  0.000 % |
95.62/95.78	c |    199077 |     700    14000    70000 |    61647    57180    101 |  0.000 % |
96.32/96.48	c |    200479 |     700    14000    70000 | 2147483647    58582    101 |  0.000 % |
97.12/97.21	c |    202019 |     700    14000    70000 | 2147483647    60122    101 |  0.000 % |
98.02/98.10	c |    203715 |     700    14000    70000 | 2147483647    61818    101 |  0.000 % |
98.92/99.08	c |    205579 |     700    14000    70000 | 2147483647    63682    101 |  0.000 % |
100.02/100.17	c |    207630 |     700    14000    70000 | 2147483647    65733    101 |  0.000 % |
100.12/100.23	c |    207730 |     700    14000    70000 | 2147483647    65833    101 |  0.000 % |
100.12/100.29	c |    207840 |     700    14000    70000 | 2147483647    65943    101 |  0.000 % |
100.22/100.35	c |    207961 |     700    14000    70000 | 2147483647    66064    101 |  0.000 % |
100.32/100.43	c |    208094 |     700    14000    70000 | 2147483647    66197    101 |  0.000 % |
100.42/100.53	c |    208241 |     700    14000    70000 | 2147483647    66344    101 |  0.000 % |
100.52/100.64	c |    208403 |     700    14000    70000 | 2147483647    66506    101 |  0.000 % |
100.62/100.75	c |    208579 |     700    14000    70000 | 2147483647    66682    101 |  0.000 % |
100.72/100.90	c |    208772 |     700    14000    70000 | 2147483647    66875    101 |  0.000 % |
100.92/101.04	c |    208985 |     700    14000    70000 | 2147483647    67088    101 |  0.000 % |
101.02/101.17	c |    209218 |     700    14000    70000 | 2147483647    67321    101 |  0.000 % |
101.22/101.33	c |    209477 |     700    14000    70000 | 2147483647    67580    101 |  0.000 % |
101.41/101.51	c |    209758 |     700    14000    70000 | 2147483647    67861    101 |  0.000 % |
101.51/101.69	c |    210069 |     700    14000    70000 |    68104    68172    101 |  0.000 % |
101.81/101.93	c |    210409 |     700    14000    70000 |    68104    60485    101 |  0.000 % |
102.01/102.13	c |    210781 |     700    14000    70000 |    68104    60857    101 |  0.000 % |
102.22/102.35	c |    211190 |     700    14000    70000 |    68104    61266    101 |  0.000 % |
102.51/102.63	c |    211639 |     700    14000    70000 |    68104    61715    101 |  0.000 % |
102.71/102.89	c |    212135 |     700    14000    70000 |    68104    62211    101 |  0.000 % |
103.01/103.17	c |    212679 |     700    14000    70000 |    68104    62755    101 |  0.000 % |
103.41/103.52	c |    213277 |     700    14000    70000 |    68104    63353    101 |  0.000 % |
103.71/103.88	c |    213933 |     700    14000    70000 |    68104    64009    102 |  0.000 % |
104.11/104.27	c |    214653 |     700    14000    70000 |    68104    64729    102 |  0.000 % |
104.61/104.73	c |    215448 |     700    14000    70000 |    68104    65524    102 |  0.000 % |
105.11/105.26	c |    216319 |     700    14000    70000 |    68104    66395    102 |  0.000 % |
105.71/105.81	c |    217278 |     700    14000    70000 |    68104    67354    102 |  0.000 % |
106.21/106.39	c |    218331 |     700    14000    70000 |    68104    60011    101 |  0.000 % |
106.81/106.98	c |    219489 |     700    14000    70000 |    68104    61169    101 |  0.000 % |
107.51/107.63	c |    220763 |     700    14000    70000 |    61681    55330    101 |  0.000 % |
108.11/108.27	c |    222164 |     700    14000    70000 |    61681    56731    101 |  0.000 % |
108.91/109.04	c |    223706 |     700    14000    70000 |    61681    58273    102 |  0.000 % |
109.71/109.85	c |    225400 |     700    14000    70000 |    61681    59967    102 |  0.000 % |
110.61/110.78	c |    227263 |     700    14000    70000 |    61681    61830    102 |  0.000 % |
111.61/111.79	c |    229312 |     700    14000    70000 |    61681    57696    102 |  0.000 % |
112.71/112.89	c |    231565 |     700    14000    70000 | 2147483647    59949    103 |  0.000 % |
112.81/112.97	c |    231665 |     700    14000    70000 | 2147483647    60049    103 |  0.000 % |
112.91/113.05	c |    231776 |     700    14000    70000 | 2147483647    60160    102 |  0.000 % |
113.01/113.11	c |    231897 |     700    14000    70000 | 2147483647    60281    102 |  0.000 % |
113.01/113.19	c |    232030 |     700    14000    70000 | 2147483647    60414    102 |  0.000 % |
113.11/113.28	c |    232177 |     700    14000    70000 | 2147483647    60561    102 |  0.000 % |
113.21/113.37	c |    232337 |     700    14000    70000 | 2147483647    60721    102 |  0.000 % |
113.31/113.47	c |    232516 |     700    14000    70000 | 2147483647    60900    102 |  0.000 % |
113.51/113.61	c |    232710 |     700    14000    70000 | 2147483647    61094    102 |  0.000 % |
113.61/113.72	c |    232923 |     700    14000    70000 | 2147483647    61307    102 |  0.000 % |
113.71/113.86	c |    233158 |     700    14000    70000 | 2147483647    61542    102 |  0.000 % |
113.91/114.02	c |    233414 |     700    14000    70000 | 2147483647    61798    102 |  0.000 % |
114.01/114.17	c |    233696 |     700    14000    70000 | 2147483647    62080    102 |  0.000 % |
114.21/114.33	c |    234005 |     700    14000    70000 | 2147483647    62389    102 |  0.000 % |
114.41/114.54	c |    234345 |     700    14000    70000 | 2147483647    62729    102 |  0.000 % |
114.61/114.73	c |    234717 |     700    14000    70000 | 2147483647    63101    102 |  0.000 % |
114.81/114.98	c |    235126 |     700    14000    70000 | 2147483647    63510    102 |  0.000 % |
115.11/115.22	c |    235576 |     700    14000    70000 | 2147483647    63960    102 |  0.000 % |
115.41/115.53	c |    236069 |     700    14000    70000 | 2147483647    64453    102 |  0.000 % |
115.71/115.84	c |    236611 |     700    14000    70000 | 2147483647    64995    102 |  0.000 % |
116.01/116.19	c |    237211 |     700    14000    70000 | 2147483647    65595    102 |  0.000 % |
116.41/116.56	c |    237868 |     700    14000    70000 | 2147483647    66252    102 |  0.000 % |
116.81/116.95	c |    238590 |     700    14000    70000 | 2147483647    66974    102 |  0.000 % |
117.31/117.41	c |    239385 |     700    14000    70000 | 2147483647    67769    102 |  0.000 % |
117.81/117.96	c |    240256 |     700    14000    70000 |    68386    60385    102 |  0.000 % |
118.31/118.45	c |    241215 |     700    14000    70000 |    68386    61344    102 |  0.000 % |
118.91/119.02	c |    242270 |     700    14000    70000 |    68386    62399    102 |  0.000 % |
119.51/119.63	c |    243430 |     700    14000    70000 |    68386    63559    102 |  0.000 % |
120.21/120.35	c |    244705 |     700    14000    70000 |    68386    64834    102 |  0.000 % |
120.91/121.08	c |    246108 |     700    14000    70000 |    68386    66237    102 |  0.000 % |
121.70/121.90	c |    247649 |     700    14000    70000 |    68386    67778    102 |  0.000 % |
122.70/122.86	c |    249346 |     700    14000    70000 |    68386    61691    102 |  0.000 % |
123.60/123.78	c |    251209 |     700    14000    70000 |    62348    56587    102 |  0.000 % |
124.60/124.70	c |    253264 |     700    14000    70000 |    62348    58642    103 |  0.000 % |
125.60/125.79	c |    255518 |     700    14000    70000 |    62348    60896    103 |  0.000 % |
127.00/127.12	c |    257999 |     700    14000    70000 |    62348    57118    103 |  0.000 % |
127.00/127.18	c |    258100 |     700    14000    70000 |    62348    57219    103 |  0.000 % |
127.10/127.24	c |    258211 |     700    14000    70000 |    62348    57330    103 |  0.000 % |
127.20/127.31	c |    258332 |     700    14000    70000 |    62348    57451    103 |  0.000 % |
127.20/127.39	c |    258466 |     700    14000    70000 |    62348    57585    103 |  0.000 % |
127.30/127.48	c |    258612 |     700    14000    70000 |    62348    57731    103 |  0.000 % |
127.41/127.59	c |    258775 |     700    14000    70000 |    62348    57894    103 |  0.000 % |
127.51/127.69	c |    258952 |     700    14000    70000 |    62348    58071    103 |  0.000 % |
127.70/127.80	c |    259145 |     700    14000    70000 |    62348    58264    103 |  0.000 % |
127.80/127.91	c |    259357 |     700    14000    70000 |    62348    58476    103 |  0.000 % |
127.90/128.04	c |    259590 |     700    14000    70000 |    62348    58709    103 |  0.000 % |
128.10/128.21	c |    259848 |     700    14000    70000 |    62348    58967    103 |  0.000 % |
128.20/128.38	c |    260129 |     700    14000    70000 | 2147483647    59248    103 |  0.000 % |
128.40/128.54	c |    260438 |     700    14000    70000 | 2147483647    59557    103 |  0.000 % |
128.61/128.72	c |    260781 |     700    14000    70000 | 2147483647    59900    103 |  0.000 % |
128.80/128.92	c |    261154 |     700    14000    70000 | 2147483647    60273    103 |  0.000 % |
129.00/129.14	c |    261565 |     700    14000    70000 | 2147483647    60684    103 |  0.000 % |
129.30/129.40	c |    262014 |     700    14000    70000 | 2147483647    61133    103 |  0.000 % |
129.50/129.69	c |    262507 |     700    14000    70000 | 2147483647    61626    103 |  0.000 % |
129.80/129.99	c |    263049 |     700    14000    70000 | 2147483647    62168    103 |  0.000 % |
130.10/130.27	c |    263645 |     700    14000    70000 | 2147483647    62764    103 |  0.000 % |
130.50/130.64	c |    264300 |     700    14000    70000 | 2147483647    63419    103 |  0.000 % |
130.90/131.03	c |    265021 |     700    14000    70000 | 2147483647    64140    103 |  0.000 % |
131.30/131.49	c |    265813 |     700    14000    70000 | 2147483647    64932    103 |  0.000 % |
131.80/131.96	c |    266684 |     700    14000    70000 | 2147483647    65803    103 |  0.000 % |
132.40/132.51	c |    267644 |     700    14000    70000 | 2147483647    66763    103 |  0.000 % |
133.00/133.12	c |    268700 |     700    14000    70000 | 2147483647    67819    103 |  0.000 % |
133.60/133.79	c |    269858 |     700    14000    70000 | 2147483647    68977    103 |  0.000 % |
134.40/134.58	c |    271131 |     700    14000    70000 |    69121    61902    103 |  0.000 % |
135.20/135.34	c |    272533 |     700    14000    70000 |    69121    63304    103 |  0.000 % |
136.10/136.23	c |    274073 |     700    14000    70000 |    69121    64844    103 |  0.000 % |
137.00/137.18	c |    275768 |     700    14000    70000 |    69121    66539    103 |  0.000 % |
138.10/138.26	c |    277632 |     700    14000    70000 |    69121    68403    103 |  0.000 % |
139.29/139.47	c |    279681 |     700    14000    70000 |    69121    61697    103 |  0.000 % |
140.49/140.64	c |    281934 |     700    14000    70000 |    62016    56243    103 |  0.000 % |
141.80/141.92	c |    284414 |     700    14000    70000 |    62016    58723    103 |  0.000 % |
143.19/143.32	c |    287139 |     700    14000    70000 |    62016    61448    103 |  0.000 % |
143.19/143.37	c |    287239 |     700    14000    70000 |    62016    61548    103 |  0.000 % |
143.29/143.43	c |    287349 |     700    14000    70000 |    62016    61658    103 |  0.000 % |
143.39/143.50	c |    287473 |     700    14000    70000 |    62016    61782    103 |  0.000 % |
143.39/143.58	c |    287607 |     700    14000    70000 |    62016    61916    103 |  0.000 % |
143.49/143.65	c |    287754 |     700    14000    70000 |    62016    62063    103 |  0.000 % |
143.59/143.78	c |    287915 |     700    14000    70000 |    62016    56018    103 |  0.000 % |
143.69/143.86	c |    288091 |     700    14000    70000 |    62016    56194    103 |  0.000 % |
143.79/143.98	c |    288285 |     700    14000    70000 |    62016    56388    103 |  0.000 % |
143.90/144.09	c |    288498 |     700    14000    70000 |    62016    56601    103 |  0.000 % |
144.09/144.20	c |    288731 |     700    14000    70000 |    62016    56834    103 |  0.000 % |
144.19/144.33	c |    288988 |     700    14000    70000 |    62016    57091    103 |  0.000 % |
144.29/144.46	c |    289269 |     700    14000    70000 |    62016    57372    102 |  0.000 % |
144.49/144.61	c |    289578 |     700    14000    70000 |    62016    57681    102 |  0.000 % |
144.69/144.81	c |    289917 |     700    14000    70000 |    62016    58020    103 |  0.000 % |
144.79/145.00	c |    290289 |     700    14000    70000 | 2147483647    58392    103 |  0.000 % |
145.10/145.22	c |    290698 |     700    14000    70000 | 2147483647    58801    103 |  0.000 % |
145.29/145.47	c |    291147 |     700    14000    70000 | 2147483647    59250    103 |  0.000 % |
145.59/145.71	c |    291640 |     700    14000    70000 | 2147483647    59743    103 |  0.000 % |
145.89/146.01	c |    292182 |     700    14000    70000 | 2147483647    60285    103 |  0.000 % |
146.20/146.32	c |    292782 |     700    14000    70000 | 2147483647    60885    103 |  0.000 % |
146.49/146.65	c |    293438 |     700    14000    70000 | 2147483647    61541    103 |  0.000 % |
146.89/147.00	c |    294158 |     700    14000    70000 | 2147483647    62261    103 |  0.000 % |
147.30/147.44	c |    294951 |     700    14000    70000 | 2147483647    63054    103 |  0.000 % |
147.69/147.87	c |    295822 |     700    14000    70000 | 2147483647    63925    103 |  0.000 % |
148.19/148.38	c |    296781 |     700    14000    70000 | 2147483647    64884    102 |  0.000 % |
148.79/148.96	c |    297834 |     700    14000    70000 | 2147483647    65937    102 |  0.000 % |
149.50/149.60	c |    298993 |     700    14000    70000 | 2147483647    67096    103 |  0.000 % |
150.19/150.34	c |    300267 |     700    14000    70000 |    68103    61142    103 |  0.000 % |
150.99/151.14	c |    301668 |     700    14000    70000 |    68103    62543    103 |  0.000 % |
151.79/151.97	c |    303210 |     700    14000    70000 |    68103    64085    103 |  0.000 % |
152.69/152.87	c |    304904 |     700    14000    70000 |    68103    65779    103 |  0.000 % |
153.79/153.94	c |    306769 |     700    14000    70000 |    68103    67644    103 |  0.000 % |
154.99/155.20	c |    308818 |     700    14000    70000 |    68103    61843    103 |  0.000 % |
156.19/156.36	c |    311071 |     700    14000    70000 |    63026    56959    102 |  0.000 % |
157.39/157.57	c |    313549 |     700    14000    70000 |    63026    59437    102 |  0.000 % |
158.79/158.99	c |    316275 |     700    14000    70000 |    63026    62163    102 |  0.000 % |
160.29/160.46	c |    319272 |     700    14000    70000 |    63026    58309    103 |  0.000 % |
160.39/160.50	c |    319374 |     700    14000    70000 |    63026    58411    103 |  0.000 % |
160.39/160.57	c |    319485 |     700    14000    70000 |    63026    58522    103 |  0.000 % |
160.49/160.65	c |    319607 |     700    14000    70000 |    63026    58644    103 |  0.000 % |
160.59/160.71	c |    319741 |     700    14000    70000 |    63026    58778    103 |  0.000 % |
160.69/160.80	c |    319888 |     700    14000    70000 |    63026    58925    102 |  0.000 % |
160.69/160.90	c |    320049 |     700    14000    70000 |    59037    59086    102 |  0.000 % |
160.89/161.04	c |    320225 |     700    14000    70000 |    59037    53294    103 |  0.000 % |
160.99/161.13	c |    320418 |     700    14000    70000 |    59037    53487    103 |  0.000 % |
161.09/161.23	c |    320630 |     700    14000    70000 |    59037    53699    103 |  0.000 % |
161.19/161.34	c |    320863 |     700    14000    70000 |    59037    53932    103 |  0.000 % |
161.29/161.47	c |    321119 |     700    14000    70000 |    59037    54188    103 |  0.000 % |
161.39/161.58	c |    321400 |     700    14000    70000 |    59037    54469    102 |  0.000 % |
161.59/161.74	c |    321710 |     700    14000    70000 |    59037    54779    102 |  0.000 % |
161.69/161.89	c |    322049 |     700    14000    70000 |    59037    55118    102 |  0.000 % |
161.99/162.11	c |    322421 |     700    14000    70000 |    59037    55490    102 |  0.000 % |
162.19/162.32	c |    322830 |     700    14000    70000 |    59037    55899    102 |  0.000 % |
162.39/162.54	c |    323279 |     700    14000    70000 |    59037    56348    102 |  0.000 % |
162.59/162.78	c |    323774 |     700    14000    70000 |    59037    56843    102 |  0.000 % |
162.89/163.02	c |    324316 |     700    14000    70000 |    59037    57385    102 |  0.000 % |
163.19/163.31	c |    324914 |     700    14000    70000 |    59037    57983    102 |  0.000 % |
163.49/163.64	c |    325569 |     700    14000    70000 |    59037    58638    102 |  0.000 % |
163.99/164.10	c |    326289 |     700    14000    70000 |    59037    53431    102 |  0.000 % |
164.29/164.45	c |    327081 |     700    14000    70000 |    59037    54223    102 |  0.000 % |
164.69/164.89	c |    327952 |     700    14000    70000 |    59037    55094    102 |  0.000 % |
165.18/165.35	c |    328910 |     700    14000    70000 |    59037    56052    102 |  0.000 % |
165.68/165.84	c |    329963 |     700    14000    70000 |    59037    57105    102 |  0.000 % |
166.28/166.41	c |    331122 |     700    14000    70000 | 2147483647    58264    102 |  0.000 % |
166.88/167.03	c |    332396 |     700    14000    70000 | 2147483647    59538    102 |  0.000 % |
167.58/167.74	c |    333796 |     700    14000    70000 | 2147483647    60938    102 |  0.000 % |
168.38/168.51	c |    335336 |     700    14000    70000 | 2147483647    62478    103 |  0.000 % |
169.19/169.39	c |    337032 |     700    14000    70000 | 2147483647    64174    103 |  0.000 % |
170.29/170.45	c |    338897 |     700    14000    70000 | 2147483647    66039    103 |  0.000 % |
171.48/171.65	c |    340946 |     700    14000    70000 | 2147483647    68088    103 |  0.000 % |
172.78/172.96	c |    343199 |     700    14000    70000 | 2147483647    70341    103 |  0.000 % |
174.28/174.43	c |    345677 |     700    14000    70000 | 2147483647    72819    103 |  0.000 % |
175.98/176.13	c |    348402 |     700    14000    70000 | 2147483647    75544    103 |  0.000 % |
177.78/177.95	c |    351399 |     700    14000    70000 |    77142    67376    103 |  0.000 % |
179.58/179.78	c |    354695 |     700    14000    70000 |    77142    70672    104 |  0.000 % |
179.68/179.85	c |    354798 |     700    14000    70000 |    77142    70775    104 |  0.000 % |
179.78/179.92	c |    354909 |     700    14000    70000 |    77142    70886    104 |  0.000 % |
179.88/180.00	c |    355031 |     700    14000    70000 |    77142    71008    104 |  0.000 % |
179.98/180.10	c |    355165 |     700    14000    70000 |    77142    71142    104 |  0.000 % |
180.08/180.21	c |    355311 |     700    14000    70000 |    77142    71288    104 |  0.000 % |
180.18/180.32	c |    355473 |     700    14000    70000 |    77142    71450    104 |  0.000 % |
180.28/180.44	c |    355651 |     700    14000    70000 |    77142    71628    104 |  0.000 % |
180.38/180.57	c |    355844 |     700    14000    70000 |    77142    71821    104 |  0.000 % |
180.48/180.70	c |    356056 |     700    14000    70000 |    77142    72033    104 |  0.000 % |
180.68/180.87	c |    356291 |     700    14000    70000 |    77142    72268    104 |  0.000 % |
180.88/181.02	c |    356547 |     700    14000    70000 |    77142    72524    104 |  0.000 % |
181.08/181.22	c |    356829 |     700    14000    70000 |    77142    72806    104 |  0.000 % |
181.28/181.45	c |    357141 |     700    14000    70000 |    77142    73118    104 |  0.000 % |
181.48/181.67	c |    357481 |     700    14000    70000 |    77142    73458    104 |  0.000 % |
181.78/181.91	c |    357854 |     700    14000    70000 |    77142    73831    104 |  0.000 % |
181.98/182.15	c |    358264 |     700    14000    70000 |    77142    74241    104 |  0.000 % |
182.28/182.43	c |    358714 |     700    14000    70000 |    77142    74691    104 |  0.000 % |
182.58/182.77	c |    359209 |     700    14000    70000 |    77142    75186    104 |  0.000 % |
182.98/183.12	c |    359751 |     700    14000    70000 |    77142    75728    103 |  0.000 % |
183.38/183.52	c |    360348 |     700    14000    70000 |    75977    64448    104 |  0.000 % |
183.68/183.86	c |    361004 |     700    14000    70000 |    75977    65104    104 |  0.000 % |
184.18/184.30	c |    361724 |     700    14000    70000 |    75977    65824    104 |  0.000 % |
184.58/184.77	c |    362516 |     700    14000    70000 |    75977    66616    104 |  0.000 % |
185.08/185.24	c |    363387 |     700    14000    70000 |    75977    67487    104 |  0.000 % |
185.68/185.89	c |    364345 |     700    14000    70000 |    75977    68445    104 |  0.000 % |
186.37/186.51	c |    365398 |     700    14000    70000 |    75977    69498    104 |  0.000 % |
187.07/187.21	c |    366557 |     700    14000    70000 |    75977    70657    104 |  0.000 % |
187.88/188.06	c |    367830 |     700    14000    70000 |    75977    71930    104 |  0.000 % |
188.77/188.99	c |    369231 |     700    14000    70000 |    75977    73331    104 |  0.000 % |
189.87/190.04	c |    370771 |     700    14000    70000 |    74102    63195    104 |  0.000 % |
190.87/191.05	c |    372467 |     700    14000    70000 |    74102    64891    104 |  0.000 % |
191.97/192.11	c |    374333 |     700    14000    70000 |    74102    66757    104 |  0.000 % |
193.17/193.38	c |    376383 |     700    14000    70000 |    74102    68807    104 |  0.000 % |
194.58/194.76	c |    378639 |     700    14000    70000 |    74102    71063    104 |  0.000 % |
196.07/196.27	c |    381119 |     700    14000    70000 |    72424    62896    103 |  0.000 % |
197.57/197.76	c |    383846 |     700    14000    70000 |    72424    65623    103 |  0.000 % |
199.37/199.51	c |    386843 |     700    14000    70000 |    72424    68620    103 |  0.000 % |
201.27/201.47	c |    390140 |     700    14000    70000 |    71778    71917    103 |  0.000 % |
203.27/203.50	c |    393766 |     700    14000    70000 |    71778    66163    104 |  0.000 % |
203.37/203.56	c |    393866 |     700    14000    70000 |    71778    66263    104 |  0.000 % |
203.47/203.62	c |    393976 |     700    14000    70000 |    71778    66373    104 |  0.000 % |
203.47/203.69	c |    394097 |     700    14000    70000 |    71778    66494    104 |  0.000 % |
203.57/203.79	c |    394230 |     700    14000    70000 |    71778    66627    104 |  0.000 % |
203.67/203.89	c |    394377 |     700    14000    70000 |    71778    66774    104 |  0.000 % |
203.77/203.98	c |    394538 |     700    14000    70000 |    71778    66935    104 |  0.000 % |
203.97/204.11	c |    394714 |     700    14000    70000 |    71778    67111    104 |  0.000 % |
204.07/204.23	c |    394908 |     700    14000    70000 |    71778    67305    104 |  0.000 % |
204.17/204.36	c |    395122 |     700    14000    70000 |    71778    67519    104 |  0.000 % |
204.37/204.51	c |    395356 |     700    14000    70000 |    71778    67753    104 |  0.000 % |
204.47/204.67	c |    395613 |     700    14000    70000 |    71778    68010    104 |  0.000 % |
204.67/204.85	c |    395896 |     700    14000    70000 |    71778    68293    104 |  0.000 % |
204.87/205.06	c |    396206 |     700    14000    70000 |    71778    68603    104 |  0.000 % |
205.07/205.28	c |    396545 |     700    14000    70000 |    71778    68942    104 |  0.000 % |
205.37/205.54	c |    396918 |     700    14000    70000 |    71778    69315    104 |  0.000 % |
205.57/205.80	c |    397328 |     700    14000    70000 |    71778    69725    104 |  0.000 % |
205.87/206.08	c |    397780 |     700    14000    70000 |    71778    70177    104 |  0.000 % |
206.17/206.39	c |    398274 |     700    14000    70000 |    71778    70671    104 |  0.000 % |
206.57/206.75	c |    398816 |     700    14000    70000 |    71778    71213    104 |  0.000 % |
206.97/207.10	c |    399412 |     700    14000    70000 |    71778    71809    104 |  0.000 % |
207.37/207.52	c |    400068 |     700    14000    70000 |    62218    62286    104 |  0.000 % |
207.67/207.88	c |    400792 |     700    14000    70000 |    62218    54295    103 |  0.000 % |
208.07/208.21	c |    401584 |     700    14000    70000 |    62218    55087    103 |  0.000 % |
208.47/208.60	c |    402455 |     700    14000    70000 |    62218    55958    103 |  0.000 % |
208.87/209.03	c |    403413 |     700    14000    70000 |    62218    56916    103 |  0.000 % |
209.37/209.57	c |    404467 |     700    14000    70000 |    62218    57970    103 |  0.000 % |
209.97/210.19	c |    405625 |     700    14000    70000 |    62218    59128    103 |  0.000 % |
210.66/210.82	c |    406900 |     700    14000    70000 |    62218    60403    103 |  0.000 % |
211.36/211.53	c |    408301 |     700    14000    70000 |    62218    61804    103 |  0.000 % |
212.17/212.33	c |    409841 |     700    14000    70000 |    62218    57101    102 |  0.000 % |
212.96/213.16	c |    411535 |     700    14000    70000 | 2147483647    58795    102 |  0.000 % |
213.96/214.12	c |    413398 |     700    14000    70000 | 2147483647    60658    102 |  0.000 % |
214.96/215.17	c |    415450 |     700    14000    70000 | 2147483647    62710    102 |  0.000 % |
216.16/216.37	c |    417706 |     700    14000    70000 | 2147483647    64966    102 |  0.000 % |
217.46/217.69	c |    420185 |     700    14000    70000 |    67260    67445    103 |  0.000 % |
218.96/219.13	c |    422910 |     700    14000    70000 |    67260    63210    103 |  0.000 % |
220.56/220.70	c |    425907 |     700    14000    70000 |    67260    66207    103 |  0.000 % |
222.36/222.59	c |    429203 |     700    14000    70000 |    67260    62145    103 |  0.000 % |
224.26/224.44	c |    432829 |     700    14000    70000 |    62942    58947    103 |  0.000 % |
226.36/226.51	c |    436816 |     700    14000    70000 |    62942    62934    104 |  0.000 % |
226.36/226.57	c |    436917 |     700    14000    70000 |    62942    63035    104 |  0.000 % |
226.46/226.66	c |    437027 |     700    14000    70000 |    62942    56842    104 |  0.000 % |
226.56/226.75	c |    437148 |     700    14000    70000 |    62942    56963    104 |  0.000 % |
226.66/226.82	c |    437281 |     700    14000    70000 |    62942    57096    104 |  0.000 % |
226.76/226.90	c |    437427 |     700    14000    70000 |    62942    57242    104 |  0.000 % |
226.76/226.98	c |    437587 |     700    14000    70000 |    62942    57402    104 |  0.000 % |
226.86/227.09	c |    437765 |     700    14000    70000 |    62942    57580    104 |  0.000 % |
227.06/227.20	c |    437958 |     700    14000    70000 |    62942    57773    104 |  0.000 % |
227.16/227.32	c |    438170 |     700    14000    70000 |    62942    57985    104 |  0.000 % |
227.26/227.46	c |    438405 |     700    14000    70000 |    62942    58220    103 |  0.000 % |
227.36/227.60	c |    438661 |     700    14000    70000 |    62942    58476    103 |  0.000 % |
227.56/227.76	c |    438942 |     700    14000    70000 |    62942    58757    103 |  0.000 % |
227.76/227.93	c |    439253 |     700    14000    70000 |    62942    59068    103 |  0.000 % |
227.96/228.12	c |    439592 |     700    14000    70000 |    62942    59407    103 |  0.000 % |
228.16/228.32	c |    439965 |     700    14000    70000 |    62942    59780    103 |  0.000 % |
228.36/228.55	c |    440375 |     700    14000    70000 | 2147483647    60190    103 |  0.000 % |
228.56/228.79	c |    440825 |     700    14000    70000 | 2147483647    60640    103 |  0.000 % |
228.86/229.06	c |    441321 |     700    14000    70000 | 2147483647    61136    103 |  0.000 % |
229.16/229.34	c |    441863 |     700    14000    70000 | 2147483647    61678    103 |  0.000 % |
229.46/229.67	c |    442459 |     700    14000    70000 | 2147483647    62274    103 |  0.000 % |
229.86/230.02	c |    443114 |     700    14000    70000 | 2147483647    62929    103 |  0.000 % |
230.26/230.40	c |    443834 |     700    14000    70000 | 2147483647    63649    103 |  0.000 % |
230.66/230.84	c |    444626 |     700    14000    70000 | 2147483647    64441    103 |  0.000 % |
231.16/231.33	c |    445498 |     700    14000    70000 | 2147483647    65313    103 |  0.000 % |
231.65/231.88	c |    446457 |     700    14000    70000 | 2147483647    66272    103 |  0.000 % |
232.26/232.46	c |    447511 |     700    14000    70000 | 2147483647    67326    103 |  0.000 % |
232.96/233.10	c |    448670 |     700    14000    70000 | 2147483647    68485    103 |  0.000 % |
233.65/233.85	c |    449944 |     700    14000    70000 | 2147483647    69759    103 |  0.000 % |
234.45/234.63	c |    451345 |     700    14000    70000 |    69815    62752    103 |  0.000 % |
235.26/235.44	c |    452885 |     700    14000    70000 |    69815    64292    103 |  0.000 % |
236.15/236.38	c |    454579 |     700    14000    70000 |    69815    65986    103 |  0.000 % |
237.25/237.46	c |    456443 |     700    14000    70000 |    69815    67850    103 |  0.000 % |
238.55/238.73	c |    458492 |     700    14000    70000 |    69815    69899    103 |  0.000 % |
239.75/240.00	c |    460745 |     700    14000    70000 |    62552    55492    103 |  0.000 % |
240.95/241.17	c |    463224 |     700    14000    70000 |    62552    57971    103 |  0.000 % |
242.45/242.62	c |    465950 |     700    14000    70000 |    62552    60697    103 |  0.000 % |
244.05/244.29	c |    468947 |     700    14000    70000 |    62552    57414    103 |  0.000 % |
245.85/246.05	c |    472244 |     700    14000    70000 | 2147483647    60711    103 |  0.000 % |
247.85/248.06	c |    475869 |     700    14000    70000 | 2147483647    64336    103 |  0.000 % |
250.25/250.40	c |    479856 |     700    14000    70000 | 2147483647    68323    104 |  0.000 % |
252.65/252.87	c |    484242 |     700    14000    70000 |    68467    65270    104 |  0.000 % |
252.75/252.93	c |    484343 |     700    14000    70000 |    68467    65371    104 |  0.000 % |
252.85/253.01	c |    484453 |     700    14000    70000 |    68467    65481    104 |  0.000 % |
252.85/253.09	c |    484574 |     700    14000    70000 |    68467    65602    104 |  0.000 % |
252.94/253.19	c |    484707 |     700    14000    70000 |    68467    65735    104 |  0.000 % |
253.04/253.29	c |    484853 |     700    14000    70000 |    68467    65881    104 |  0.000 % |
253.14/253.39	c |    485014 |     700    14000    70000 |    68467    66042    104 |  0.000 % |
253.34/253.51	c |    485192 |     700    14000    70000 |    68467    66220    104 |  0.000 % |
253.44/253.63	c |    485386 |     700    14000    70000 |    68467    66414    103 |  0.000 % |
253.54/253.75	c |    485599 |     700    14000    70000 |    68467    66627    103 |  0.000 % |
253.74/253.90	c |    485832 |     700    14000    70000 |    68467    66860    104 |  0.000 % |
253.85/254.08	c |    486089 |     700    14000    70000 |    68467    67117    103 |  0.000 % |
254.04/254.27	c |    486370 |     700    14000    70000 |    68467    67398    103 |  0.000 % |
254.24/254.45	c |    486680 |     700    14000    70000 |    68467    67708    103 |  0.000 % |
254.44/254.66	c |    487019 |     700    14000    70000 |    68467    68047    103 |  0.000 % |
254.74/254.90	c |    487392 |     700    14000    70000 |    68467    68420    103 |  0.000 % |
254.95/255.18	c |    487801 |     700    14000    70000 |    68467    59938    103 |  0.000 % |
255.24/255.42	c |    488250 |     700    14000    70000 |    68467    60387    103 |  0.000 % |
255.44/255.67	c |    488743 |     700    14000    70000 |    68467    60880    103 |  0.000 % |
255.74/255.97	c |    489285 |     700    14000    70000 |    68467    61422    103 |  0.000 % |
256.05/256.27	c |    489881 |     700    14000    70000 |    68467    62018    103 |  0.000 % |
256.44/256.62	c |    490537 |     700    14000    70000 |    62137    55013    103 |  0.000 % |
256.74/256.97	c |    491257 |     700    14000    70000 |    62137    55733    102 |  0.000 % |
257.15/257.37	c |    492050 |     700    14000    70000 |    62137    56526    102 |  0.000 % |
257.64/257.80	c |    492921 |     700    14000    70000 |    62137    57397    102 |  0.000 % |
258.04/258.28	c |    493879 |     700    14000    70000 |    62137    58355    102 |  0.000 % |
258.54/258.77	c |    494932 |     700    14000    70000 |    62137    59408    102 |  0.000 % |
259.14/259.35	c |    496090 |     700    14000    70000 |    62137    60566    102 |  0.000 % |
259.84/260.03	c |    497364 |     700    14000    70000 |    62137    61840    102 |  0.000 % |
260.55/260.76	c |    498767 |     700    14000    70000 |    62137    57007    103 |  0.000 % |
261.24/261.49	c |    500308 |     700    14000    70000 | 2147483647    58548    103 |  0.000 % |
262.14/262.32	c |    502003 |     700    14000    70000 | 2147483647    60243    103 |  0.000 % |
263.14/263.38	c |    503866 |     700    14000    70000 | 2147483647    62106    103 |  0.000 % |
264.14/264.39	c |    505915 |     700    14000    70000 | 2147483647    64155    103 |  0.000 % |
265.44/265.66	c |    508168 |     700    14000    70000 | 2147483647    66408    103 |  0.000 % |
266.94/267.14	c |    510646 |     700    14000    70000 |    68240    61457    103 |  0.000 % |
268.44/268.63	c |    513371 |     700    14000    70000 |    68240    64182    103 |  0.000 % |
270.14/270.36	c |    516368 |     700    14000    70000 |    68240    67179    104 |  0.000 % |
272.14/272.32	c |    519665 |     700    14000    70000 |    68240    62960    104 |  0.000 % |
274.04/274.24	c |    523290 |     700    14000    70000 |    63296    59595    104 |  0.000 % |
276.04/276.29	c |    527277 |     700    14000    70000 |    63296    57229    104 |  0.000 % |
278.43/278.64	c |    531662 |     700    14000    70000 | 2147483647    61614    105 |  0.000 % |
281.03/281.27	c |    536486 |     700    14000    70000 | 2147483647    66438    105 |  0.000 % |
281.13/281.33	c |    536587 |     700    14000    70000 | 2147483647    66539    105 |  0.000 % |
281.23/281.40	c |    536697 |     700    14000    70000 | 2147483647    66649    105 |  0.000 % |
281.23/281.49	c |    536819 |     700    14000    70000 | 2147483647    66771    105 |  0.000 % |
281.34/281.57	c |    536953 |     700    14000    70000 | 2147483647    66905    105 |  0.000 % |
281.44/281.66	c |    537099 |     700    14000    70000 | 2147483647    67051    105 |  0.000 % |
281.53/281.77	c |    537262 |     700    14000    70000 | 2147483647    67214    105 |  0.000 % |
281.63/281.89	c |    537438 |     700    14000    70000 | 2147483647    67390    105 |  0.000 % |
281.83/282.01	c |    537631 |     700    14000    70000 | 2147483647    67583    105 |  0.000 % |
281.93/282.14	c |    537843 |     700    14000    70000 | 2147483647    67795    105 |  0.000 % |
282.03/282.29	c |    538076 |     700    14000    70000 | 2147483647    68028    105 |  0.000 % |
282.23/282.47	c |    538332 |     700    14000    70000 | 2147483647    68284    105 |  0.000 % |
282.43/282.66	c |    538613 |     700    14000    70000 | 2147483647    68565    105 |  0.000 % |
282.63/282.86	c |    538922 |     700    14000    70000 | 2147483647    68874    105 |  0.000 % |
282.83/283.06	c |    539261 |     700    14000    70000 | 2147483647    69213    105 |  0.000 % |
283.03/283.28	c |    539633 |     700    14000    70000 | 2147483647    69585    105 |  0.000 % |
283.33/283.54	c |    540043 |     700    14000    70000 |    69952    69995    105 |  0.000 % |
283.63/283.84	c |    540493 |     700    14000    70000 |    69952    62012    104 |  0.000 % |
283.93/284.14	c |    540988 |     700    14000    70000 |    69952    62507    104 |  0.000 % |
284.23/284.43	c |    541531 |     700    14000    70000 |    69952    63050    104 |  0.000 % |
284.53/284.75	c |    542129 |     700    14000    70000 |    69952    63648    104 |  0.000 % |
284.83/285.09	c |    542786 |     700    14000    70000 |    69952    64305    104 |  0.000 % |
285.23/285.49	c |    543507 |     700    14000    70000 |    69952    65026    104 |  0.000 % |
285.73/285.93	c |    544299 |     700    14000    70000 |    69952    65818    104 |  0.000 % |
286.23/286.43	c |    545171 |     700    14000    70000 |    69952    66690    104 |  0.000 % |
286.73/286.97	c |    546132 |     700    14000    70000 |    69952    67651    104 |  0.000 % |
287.33/287.56	c |    547185 |     700    14000    70000 |    69952    68704    104 |  0.000 % |
288.03/288.22	c |    548344 |     700    14000    70000 |    69952    69863    104 |  0.000 % |
288.73/288.96	c |    549617 |     700    14000    70000 |    69952    62632    104 |  0.000 % |
289.43/289.69	c |    551017 |     700    14000    70000 |    63018    56553    105 |  0.000 % |
290.23/290.49	c |    552557 |     700    14000    70000 |    63018    58093    105 |  0.000 % |
291.13/291.33	c |    554252 |     700    14000    70000 |    63018    59788    105 |  0.000 % |
292.03/292.28	c |    556115 |     700    14000    70000 |    63018    61651    105 |  0.000 % |
293.13/293.35	c |    558164 |     700    14000    70000 |    63018    57373    105 |  0.000 % |
294.23/294.48	c |    560417 |     700    14000    70000 | 2147483647    59626    105 |  0.000 % |
295.63/295.83	c |    562895 |     700    14000    70000 | 2147483647    62104    105 |  0.000 % |
297.02/297.22	c |    565620 |     700    14000    70000 | 2147483647    64829    105 |  0.000 % |
298.62/298.82	c |    568617 |     700    14000    70000 | 2147483647    67826    105 |  0.000 % |
300.52/300.70	c |    571914 |     700    14000    70000 |    69211    63756    105 |  0.000 % |
302.33/302.54	c |    575542 |     700    14000    70000 |    69211    67384    105 |  0.000 % |
304.43/304.64	c |    579531 |     700    14000    70000 |    69211    63270    105 |  0.000 % |
306.63/306.89	c |    583916 |     700    14000    70000 |    63741    60035    105 |  0.000 % |
309.32/309.52	c |    588740 |     700    14000    70000 |    63741    57940    105 |  0.000 % |
312.02/312.26	c |    594045 |     700    14000    70000 |    59203    57105    106 |  0.000 % |
312.12/312.32	c |    594146 |     700    14000    70000 |    59203    57206    106 |  0.000 % |
312.12/312.38	c |    594256 |     700    14000    70000 |    59203    57316    106 |  0.000 % |
312.22/312.45	c |    594379 |     700    14000    70000 |    59203    57439    106 |  0.000 % |
312.32/312.52	c |    594512 |     700    14000    70000 |    59203    57572    106 |  0.000 % |
312.42/312.61	c |    594658 |     700    14000    70000 |    59203    57718    106 |  0.000 % |
312.52/312.71	c |    594818 |     700    14000    70000 |    59203    57878    106 |  0.000 % |
312.62/312.80	c |    594994 |     700    14000    70000 |    59203    58054    105 |  0.000 % |
312.72/312.90	c |    595188 |     700    14000    70000 |    59203    58248    105 |  0.000 % |
312.82/313.02	c |    595400 |     700    14000    70000 |    59203    58460    105 |  0.000 % |
312.92/313.15	c |    595634 |     700    14000    70000 |    59203    58694    105 |  0.000 % |
313.12/313.30	c |    595892 |     700    14000    70000 |    59203    58952    105 |  0.000 % |
313.22/313.46	c |    596173 |     700    14000    70000 |    59203    59233    105 |  0.000 % |
313.42/313.63	c |    596483 |     700    14000    70000 |    59203    53620    106 |  0.000 % |
313.62/313.80	c |    596822 |     700    14000    70000 |    59203    53959    106 |  0.000 % |
313.72/313.99	c |    597195 |     700    14000    70000 |    59203    54332    106 |  0.000 % |
313.92/314.19	c |    597604 |     700    14000    70000 |    59203    54741    106 |  0.000 % |
314.22/314.40	c |    598053 |     700    14000    70000 |    59203    55190    106 |  0.000 % |
314.42/314.66	c |    598546 |     700    14000    70000 |    59203    55683    106 |  0.000 % |
314.72/314.96	c |    599088 |     700    14000    70000 |    59203    56225    106 |  0.000 % |
315.02/315.26	c |    599688 |     700    14000    70000 |    59203    56825    106 |  0.000 % |
315.32/315.58	c |    600344 |     700    14000    70000 | 2147483647    57481    106 |  0.000 % |
315.72/315.95	c |    601064 |     700    14000    70000 | 2147483647    58201    106 |  0.000 % |
316.12/316.37	c |    601856 |     700    14000    70000 | 2147483647    58993    105 |  0.000 % |
316.62/316.81	c |    602728 |     700    14000    70000 | 2147483647    59865    105 |  0.000 % |
317.02/317.28	c |    603690 |     700    14000    70000 | 2147483647    60827    105 |  0.000 % |
317.62/317.83	c |    604747 |     700    14000    70000 | 2147483647    61884    105 |  0.000 % |
318.12/318.38	c |    605905 |     700    14000    70000 | 2147483647    63042    105 |  0.000 % |
318.82/319.02	c |    607178 |     700    14000    70000 | 2147483647    64315    105 |  0.000 % |
319.52/319.76	c |    608578 |     700    14000    70000 | 2147483647    65715    105 |  0.000 % |
320.42/320.67	c |    610119 |     700    14000    70000 |    67138    67256    105 |  0.000 % |
321.31/321.58	c |    611814 |     700    14000    70000 |    67138    61751    105 |  0.000 % |
322.31/322.58	c |    613678 |     700    14000    70000 |    67138    63615    105 |  0.000 % |
323.41/323.68	c |    615728 |     700    14000    70000 |    67138    65665    105 |  0.000 % |
324.71/324.94	c |    617981 |     700    14000    70000 |    67138    60129    105 |  0.000 % |
326.01/326.28	c |    620459 |     700    14000    70000 |    62149    55619    105 |  0.000 % |
327.31/327.57	c |    623185 |     700    14000    70000 |    62149    58345    105 |  0.000 % |
328.81/329.05	c |    626182 |     700    14000    70000 |    62149    61342    105 |  0.000 % |
330.51/330.74	c |    629478 |     700    14000    70000 |    62149    58402    105 |  0.000 % |
332.41/332.65	c |    633103 |     700    14000    70000 | 2147483647    62027    105 |  0.000 % |
334.61/334.85	c |    637091 |     700    14000    70000 | 2147483647    66015    105 |  0.000 % |
337.01/337.21	c |    641477 |     700    14000    70000 |    68924    62046    105 |  0.000 % |
339.51/339.78	c |    646300 |     700    14000    70000 |    68924    66869    106 |  0.000 % |
342.31/342.59	c |    651609 |     700    14000    70000 |    61691    55659    106 |  0.000 % |
345.21/345.48	c |    657444 |     700    14000    70000 |    61691    61494    106 |  0.000 % |
345.31/345.54	c |    657544 |     700    14000    70000 |    61691    61594    106 |  0.000 % |
345.41/345.62	c |    657654 |     700    14000    70000 |    61691    61704    106 |  0.000 % |
345.51/345.73	c |    657777 |     700    14000    70000 |    61691    55657    107 |  0.000 % |
345.61/345.80	c |    657912 |     700    14000    70000 |    61691    55792    107 |  0.000 % |
345.61/345.88	c |    658058 |     700    14000    70000 |    61691    55938    107 |  0.000 % |
345.71/345.99	c |    658218 |     700    14000    70000 |    61691    56098    107 |  0.000 % |
345.81/346.08	c |    658394 |     700    14000    70000 |    61691    56274    107 |  0.000 % |
345.91/346.18	c |    658589 |     700    14000    70000 |    61691    56469    107 |  0.000 % |
346.10/346.32	c |    658801 |     700    14000    70000 |    61691    56681    107 |  0.000 % |
346.21/346.46	c |    659034 |     700    14000    70000 |    61691    56914    107 |  0.000 % |
346.31/346.58	c |    659290 |     700    14000    70000 |    61691    57170    107 |  0.000 % |
346.50/346.73	c |    659571 |     700    14000    70000 |    61691    57451    107 |  0.000 % |
346.70/346.92	c |    659880 |     700    14000    70000 |    61691    57760    106 |  0.000 % |
346.90/347.11	c |    660220 |     700    14000    70000 | 2147483647    58100    106 |  0.000 % |
347.10/347.30	c |    660592 |     700    14000    70000 | 2147483647    58472    106 |  0.000 % |
347.31/347.55	c |    661003 |     700    14000    70000 | 2147483647    58883    106 |  0.000 % |
347.50/347.78	c |    661452 |     700    14000    70000 | 2147483647    59332    106 |  0.000 % |
347.80/348.06	c |    661948 |     700    14000    70000 | 2147483647    59828    106 |  0.000 % |
348.10/348.33	c |    662491 |     700    14000    70000 | 2147483647    60371    106 |  0.000 % |
348.42/348.66	c |    663087 |     700    14000    70000 | 2147483647    60967    106 |  0.000 % |
348.81/349.03	c |    663744 |     700    14000    70000 | 2147483647    61624    106 |  0.000 % |
349.21/349.42	c |    664464 |     700    14000    70000 | 2147483647    62344    106 |  0.000 % |
349.61/349.89	c |    665259 |     700    14000    70000 | 2147483647    63139    106 |  0.000 % |
350.11/350.34	c |    666130 |     700    14000    70000 | 2147483647    64010    106 |  0.000 % |
350.61/350.88	c |    667088 |     700    14000    70000 | 2147483647    64968    106 |  0.000 % |
351.21/351.44	c |    668142 |     700    14000    70000 | 2147483647    66022    106 |  0.000 % |
351.91/352.10	c |    669301 |     700    14000    70000 | 2147483647    67181    106 |  0.000 % |
352.61/352.83	c |    670574 |     700    14000    70000 |    67881    60256    106 |  0.000 % |
353.31/353.55	c |    671976 |     700    14000    70000 |    67881    61658    106 |  0.000 % |
354.11/354.31	c |    673516 |     700    14000    70000 |    67881    63198    106 |  0.000 % |
355.01/355.22	c |    675210 |     700    14000    70000 |    67881    64892    106 |  0.000 % |
356.01/356.28	c |    677074 |     700    14000    70000 |    67881    66756    106 |  0.000 % |
357.21/357.45	c |    679123 |     700    14000    70000 |    67881    60413    106 |  0.000 % |
358.41/358.68	c |    681376 |     700    14000    70000 |    61293    55307    106 |  0.000 % |
359.60/359.87	c |    683854 |     700    14000    70000 |    61293    57785    106 |  0.000 % |
361.11/361.30	c |    686579 |     700    14000    70000 |    61293    60510    106 |  0.000 % |
362.60/362.88	c |    689576 |     700    14000    70000 |    61293    57350    106 |  0.000 % |
364.40/364.61	c |    692872 |     700    14000    70000 | 2147483647    60646    106 |  0.000 % |
366.40/366.60	c |    696497 |     700    14000    70000 | 2147483647    64271    106 |  0.000 % |
368.50/368.74	c |    700485 |     700    14000    70000 |    67775    60992    106 |  0.000 % |
370.90/371.19	c |    704871 |     700    14000    70000 |    67775    65378    106 |  0.000 % |
373.80/374.09	c |    709694 |     700    14000    70000 |    67775    62799    105 |  0.000 % |
377.00/377.24	c |    714999 |     700    14000    70000 |    63106    61144    105 |  0.000 % |
380.20/380.48	c |    720836 |     700    14000    70000 |    59541    54276    106 |  0.000 % |
383.60/383.85	c |    727254 |     700    14000    70000 |    59541    54715    107 |  0.000 % |
383.60/383.90	c |    727356 |     700    14000    70000 |    59541    54817    107 |  0.000 % |
383.70/383.96	c |    727466 |     700    14000    70000 |    59541    54927    107 |  0.000 % |
383.80/384.03	c |    727587 |     700    14000    70000 |    59541    55048    107 |  0.000 % |
383.90/384.11	c |    727720 |     700    14000    70000 |    59541    55181    107 |  0.000 % |
383.90/384.19	c |    727868 |     700    14000    70000 |    59541    55329    107 |  0.000 % |
384.00/384.27	c |    728028 |     700    14000    70000 |    59541    55489    107 |  0.000 % |
384.10/384.36	c |    728204 |     700    14000    70000 |    59541    55665    107 |  0.000 % |
384.20/384.44	c |    728397 |     700    14000    70000 |    59541    55858    107 |  0.000 % |
384.30/384.55	c |    728609 |     700    14000    70000 |    59541    56070    107 |  0.000 % |
384.40/384.69	c |    728844 |     700    14000    70000 |    59541    56305    107 |  0.000 % |
384.60/384.83	c |    729100 |     700    14000    70000 |    59541    56561    107 |  0.000 % |
384.70/384.98	c |    729381 |     700    14000    70000 |    59541    56842    107 |  0.000 % |
384.90/385.14	c |    729690 |     700    14000    70000 |    59541    57151    106 |  0.000 % |
385.10/385.31	c |    730030 |     700    14000    70000 | 2147483647    57491    106 |  0.000 % |
385.29/385.52	c |    730402 |     700    14000    70000 | 2147483647    57863    106 |  0.000 % |
385.49/385.74	c |    730811 |     700    14000    70000 | 2147483647    58272    106 |  0.000 % |
385.69/385.96	c |    731261 |     700    14000    70000 | 2147483647    58722    106 |  0.000 % |
385.99/386.22	c |    731755 |     700    14000    70000 | 2147483647    59216    106 |  0.000 % |
386.29/386.50	c |    732297 |     700    14000    70000 | 2147483647    59758    106 |  0.000 % |
386.59/386.82	c |    732894 |     700    14000    70000 | 2147483647    60355    106 |  0.000 % |
386.90/387.20	c |    733550 |     700    14000    70000 | 2147483647    61011    106 |  0.000 % |
387.39/387.64	c |    734272 |     700    14000    70000 | 2147483647    61733    106 |  0.000 % |
387.79/388.06	c |    735065 |     700    14000    70000 | 2147483647    62526    106 |  0.000 % |
388.29/388.57	c |    735937 |     700    14000    70000 | 2147483647    63398    106 |  0.000 % |
388.89/389.10	c |    736895 |     700    14000    70000 | 2147483647    64356    106 |  0.000 % |
389.39/389.68	c |    737949 |     700    14000    70000 | 2147483647    65410    106 |  0.000 % |
390.09/390.32	c |    739107 |     700    14000    70000 | 2147483647    66568    106 |  0.000 % |
390.79/391.07	c |    740383 |     700    14000    70000 |    67463    60312    106 |  0.000 % |
391.59/391.86	c |    741784 |     700    14000    70000 |    67463    61713    105 |  0.000 % |
392.50/392.77	c |    743324 |     700    14000    70000 |    67463    63253    105 |  0.000 % |
393.49/393.75	c |    745019 |     700    14000    70000 |    67463    64948    105 |  0.000 % |
394.59/394.86	c |    746882 |     700    14000    70000 |    67463    66811    105 |  0.000 % |
395.79/396.01	c |    748932 |     700    14000    70000 |    67463    60165    105 |  0.000 % |
396.89/397.17	c |    751185 |     700    14000    70000 |    61234    54791    105 |  0.000 % |
398.09/398.37	c |    753663 |     700    14000    70000 |    61234    57269    105 |  0.000 % |
399.49/399.76	c |    756389 |     700    14000    70000 |    61234    59995    105 |  0.000 % |
400.99/401.26	c |    759387 |     700    14000    70000 |    61234    56847    105 |  0.000 % |
402.59/402.88	c |    762683 |     700    14000    70000 | 2147483647    60143    105 |  0.000 % |
404.59/404.84	c |    766308 |     700    14000    70000 | 2147483647    63768    105 |  0.000 % |
406.79/407.07	c |    770295 |     700    14000    70000 |    67462    60143    104 |  0.000 % |
409.28/409.53	c |    774680 |     700    14000    70000 |    67462    64528    104 |  0.000 % |
412.09/412.30	c |    779503 |     700    14000    70000 |    67462    61476    104 |  0.000 % |
414.58/414.80	c |    784809 |     700    14000    70000 |    61974    59661    104 |  0.000 % |
417.48/417.75	c |    790646 |     700    14000    70000 | 2147483647    59274    104 |  0.000 % |
420.78/421.07	c |    797064 |     700    14000    70000 | 2147483647    65692    105 |  0.000 % |
424.58/424.88	c |    804124 |     700    14000    70000 |    68630    64094    106 |  0.000 % |
424.68/424.94	c |    804224 |     700    14000    70000 |    68630    64194    106 |  0.000 % |
424.78/425.00	c |    804337 |     700    14000    70000 |    68630    64307    106 |  0.000 % |
424.78/425.08	c |    804459 |     700    14000    70000 |    68630    64429    106 |  0.000 % |
424.88/425.16	c |    804594 |     700    14000    70000 |    68630    64564    106 |  0.000 % |
424.98/425.26	c |    804740 |     700    14000    70000 |    68630    64710    106 |  0.000 % |
425.08/425.37	c |    804900 |     700    14000    70000 |    68630    64870    106 |  0.000 % |
425.18/425.47	c |    805076 |     700    14000    70000 |    68630    65046    106 |  0.000 % |
425.38/425.62	c |    805270 |     700    14000    70000 |    68630    65240    106 |  0.000 % |
425.48/425.75	c |    805482 |     700    14000    70000 |    68630    65452    106 |  0.000 % |
425.68/425.91	c |    805715 |     700    14000    70000 |    68630    65685    106 |  0.000 % |
425.78/426.07	c |    805972 |     700    14000    70000 |    68630    65942    106 |  0.000 % |
425.98/426.24	c |    806255 |     700    14000    70000 |    68630    66225    106 |  0.000 % |
426.18/426.42	c |    806566 |     700    14000    70000 |    68630    66536    106 |  0.000 % |
426.38/426.65	c |    806905 |     700    14000    70000 |    68630    66875    106 |  0.000 % |
426.58/426.85	c |    807280 |     700    14000    70000 |    68630    67250    106 |  0.000 % |
426.88/427.10	c |    807689 |     700    14000    70000 |    68630    67659    106 |  0.000 % |
427.08/427.39	c |    808139 |     700    14000    70000 |    68630    68109    106 |  0.000 % |
427.38/427.67	c |    808632 |     700    14000    70000 |    68630    68602    106 |  0.000 % |
427.78/428.02	c |    809175 |     700    14000    70000 |    68630    59272    106 |  0.000 % |
428.08/428.33	c |    809771 |     700    14000    70000 |    68630    59868    107 |  0.000 % |
428.38/428.70	c |    810426 |     700    14000    70000 |    60097    52266    106 |  0.000 % |
428.78/429.04	c |    811146 |     700    14000    70000 |    60097    52986    106 |  0.000 % |
429.18/429.42	c |    811938 |     700    14000    70000 |    60097    53778    106 |  0.000 % |
429.48/429.79	c |    812811 |     700    14000    70000 |    60097    54651    106 |  0.000 % |
429.98/430.21	c |    813769 |     700    14000    70000 |    60097    55609    106 |  0.000 % |
430.48/430.73	c |    814822 |     700    14000    70000 |    60097    56662    106 |  0.000 % |
430.98/431.25	c |    815981 |     700    14000    70000 |    60097    57821    106 |  0.000 % |
431.58/431.82	c |    817256 |     700    14000    70000 |    60097    59096    106 |  0.000 % |
432.28/432.51	c |    818656 |     700    14000    70000 |    60097    54461    106 |  0.000 % |
432.88/433.18	c |    820196 |     700    14000    70000 | 2147483647    56001    106 |  0.000 % |
433.68/433.99	c |    821890 |     700    14000    70000 | 2147483647    57695    106 |  0.000 % |
434.67/434.90	c |    823754 |     700    14000    70000 | 2147483647    59559    106 |  0.000 % |
435.67/435.92	c |    825805 |     700    14000    70000 | 2147483647    61610    106 |  0.000 % |
436.87/437.13	c |    828058 |     700    14000    70000 | 2147483647    63863    106 |  0.000 % |
438.18/438.43	c |    830536 |     700    14000    70000 | 2147483647    66341    106 |  0.000 % |
439.57/439.89	c |    833262 |     700    14000    70000 | 2147483647    69067    106 |  0.000 % |
441.37/441.69	c |    836259 |     700    14000    70000 | 2147483647    72064    106 |  0.000 % |
443.47/443.72	c |    839555 |     700    14000    70000 | 2147483647    75360    106 |  0.000 % |
445.67/445.97	c |    843181 |     700    14000    70000 |    75807    67735    106 |  0.000 % |
448.07/448.32	c |    847168 |     700    14000    70000 |    75807    71722    106 |  0.000 % |
450.67/450.97	c |    851554 |     700    14000    70000 |    74555    64509    106 |  0.000 % |
453.37/453.68	c |    856377 |     700    14000    70000 |    74555    69332    106 |  0.000 % |
456.47/456.78	c |    861682 |     700    14000    70000 |    72959    64155    105 |  0.000 % |
459.86/460.11	c |    867517 |     700    14000    70000 |    72959    69990    105 |  0.000 % |
463.56/463.82	c |    873937 |     700    14000    70000 |    72474    65843    105 |  0.000 % |
467.56/467.80	c |    880996 |     700    14000    70000 |    71906    62665    106 |  0.000 % |
472.06/472.31	c |    888762 |     700    14000    70000 |    71906    70431    107 |  0.000 % |
472.06/472.38	c |    888862 |     700    14000    70000 |    71906    70531    107 |  0.000 % |
472.16/472.46	c |    888976 |     700    14000    70000 |    71906    70645    107 |  0.000 % |
472.26/472.54	c |    889097 |     700    14000    70000 |    71906    70766    107 |  0.000 % |
472.36/472.65	c |    889230 |     700    14000    70000 |    71906    70899    107 |  0.000 % |
472.46/472.75	c |    889376 |     700    14000    70000 |    71906    71045    107 |  0.000 % |
472.56/472.88	c |    889539 |     700    14000    70000 |    71906    71208    107 |  0.000 % |
472.77/473.01	c |    889715 |     700    14000    70000 |    71906    71384    107 |  0.000 % |
472.86/473.14	c |    889910 |     700    14000    70000 |    71906    71579    107 |  0.000 % |
472.96/473.30	c |    890123 |     700    14000    70000 |    71670    71792    107 |  0.000 % |
473.16/473.48	c |    890356 |     700    14000    70000 |    71670    62047    107 |  0.000 % |
473.36/473.64	c |    890614 |     700    14000    70000 |    71670    62305    107 |  0.000 % |
473.56/473.81	c |    890895 |     700    14000    70000 |    71670    62586    107 |  0.000 % |
473.66/473.97	c |    891206 |     700    14000    70000 |    71670    62897    107 |  0.000 % |
473.86/474.14	c |    891545 |     700    14000    70000 |    71670    63236    107 |  0.000 % |
474.06/474.39	c |    891918 |     700    14000    70000 |    71670    63609    107 |  0.000 % |
474.36/474.67	c |    892327 |     700    14000    70000 |    71670    64018    107 |  0.000 % |
474.66/474.95	c |    892776 |     700    14000    70000 |    71670    64467    107 |  0.000 % |
474.96/475.26	c |    893269 |     700    14000    70000 |    71670    64960    106 |  0.000 % |
475.26/475.59	c |    893811 |     700    14000    70000 |    71670    65502    106 |  0.000 % |
475.66/475.92	c |    894407 |     700    14000    70000 |    71670    66098    106 |  0.000 % |
476.06/476.31	c |    895065 |     700    14000    70000 |    71670    66756    106 |  0.000 % |
476.56/476.82	c |    895785 |     700    14000    70000 |    71670    67476    106 |  0.000 % |
477.06/477.31	c |    896578 |     700    14000    70000 |    71670    68269    106 |  0.000 % |
477.66/477.90	c |    897450 |     700    14000    70000 |    71670    69141    106 |  0.000 % |
478.16/478.46	c |    898410 |     700    14000    70000 |    71670    70101    106 |  0.000 % |
478.86/479.11	c |    899464 |     700    14000    70000 |    71670    71155    106 |  0.000 % |
479.46/479.79	c |    900623 |     700    14000    70000 |    71692    61961    107 |  0.000 % |
480.16/480.41	c |    901896 |     700    14000    70000 |    71692    63234    107 |  0.000 % |
480.86/481.14	c |    903296 |     700    14000    70000 |    71692    64634    107 |  0.000 % |
481.76/482.04	c |    904836 |     700    14000    70000 |    71692    66174    107 |  0.000 % |
482.66/482.99	c |    906530 |     700    14000    70000 |    71692    67868    106 |  0.000 % |
483.86/484.17	c |    908394 |     700    14000    70000 |    71692    69732    106 |  0.000 % |
485.26/485.51	c |    910443 |     700    14000    70000 |    71339    61872    107 |  0.000 % |
486.56/486.82	c |    912696 |     700    14000    70000 |    71339    64125    107 |  0.000 % |
487.95/488.24	c |    915174 |     700    14000    70000 |    71339    66603    107 |  0.000 % |
489.75/490.06	c |    917899 |     700    14000    70000 |    71339    69328    107 |  0.000 % |
491.55/491.89	c |    920896 |     700    14000    70000 |    71430    62326    107 |  0.000 % |
493.35/493.67	c |    924193 |     700    14000    70000 |    71430    65623    106 |  0.000 % |
495.35/495.66	c |    927821 |     700    14000    70000 |    71430    69251    106 |  0.000 % |
497.65/497.98	c |    931808 |     700    14000    70000 |    71430    63844    107 |  0.000 % |
500.25/500.56	c |    936194 |     700    14000    70000 |    71430    68230    107 |  0.000 % |
503.05/503.39	c |    941017 |     700    14000    70000 |    62357    55016    105 |  0.000 % |
505.75/506.03	c |    946325 |     700    14000    70000 |    62357    60324    106 |  0.000 % |
508.75/509.07	c |    952160 |     700    14000    70000 |    57407    53736    107 |  0.000 % |
511.95/512.28	c |    958578 |     700    14000    70000 |    57407    54392    107 |  0.000 % |
515.55/515.81	c |    965637 |     700    14000    70000 | 2147483647    61451    107 |  0.000 % |
519.74/520.01	c |    973402 |     700    14000    70000 | 2147483647    69216    107 |  0.000 % |
525.24/525.56	c |    981942 |     700    14000    70000 |    75814    65938    107 |  0.000 % |
525.34/525.63	c |    982042 |     700    14000    70000 |    75814    66038    107 |  0.000 % |
525.44/525.72	c |    982152 |     700    14000    70000 |    75814    66148    107 |  0.000 % |
525.44/525.80	c |    982274 |     700    14000    70000 |    75814    66270    107 |  0.000 % |
525.54/525.89	c |    982408 |     700    14000    70000 |    75814    66404    107 |  0.000 % |
525.64/525.98	c |    982556 |     700    14000    70000 |    75814    66552    107 |  0.000 % |
525.84/526.10	c |    982717 |     700    14000    70000 |    75814    66713    107 |  0.000 % |
525.94/526.21	c |    982895 |     700    14000    70000 |    75814    66891    107 |  0.000 % |
526.04/526.36	c |    983088 |     700    14000    70000 |    75814    67084    107 |  0.000 % |
526.24/526.50	c |    983302 |     700    14000    70000 |    75814    67298    107 |  0.000 % |
526.34/526.66	c |    983536 |     700    14000    70000 |    75814    67532    107 |  0.000 % |
526.54/526.86	c |    983792 |     700    14000    70000 |    75814    67788    107 |  0.000 % |
526.74/527.04	c |    984074 |     700    14000    70000 |    75814    68070    107 |  0.000 % |
526.94/527.25	c |    984386 |     700    14000    70000 |    75814    68382    107 |  0.000 % |
527.14/527.47	c |    984725 |     700    14000    70000 |    75814    68721    107 |  0.000 % |
527.44/527.70	c |    985099 |     700    14000    70000 |    75814    69095    107 |  0.000 % |
527.64/527.94	c |    985508 |     700    14000    70000 |    75814    69504    107 |  0.000 % |
527.94/528.23	c |    985957 |     700    14000    70000 |    75814    69953    107 |  0.000 % |
528.24/528.53	c |    986451 |     700    14000    70000 |    75814    70447    106 |  0.000 % |
528.54/528.85	c |    986993 |     700    14000    70000 |    75814    70989    106 |  0.000 % |
528.94/529.20	c |    987590 |     700    14000    70000 |    75814    71586    106 |  0.000 % |
529.33/529.68	c |    988245 |     700    14000    70000 |    75814    72241    106 |  0.000 % |
529.84/530.14	c |    988965 |     700    14000    70000 |    75814    72961    106 |  0.000 % |
530.33/530.66	c |    989759 |     700    14000    70000 |    75814    73755    106 |  0.000 % |
530.94/531.23	c |    990631 |     700    14000    70000 |    73996    62436    107 |  0.000 % |
531.43/531.75	c |    991589 |     700    14000    70000 |    73996    63394    107 |  0.000 % |
532.04/532.37	c |    992644 |     700    14000    70000 |    73996    64449    107 |  0.000 % |
532.73/533.05	c |    993804 |     700    14000    70000 |    73996    65609    106 |  0.000 % |
533.53/533.81	c |    995078 |     700    14000    70000 |    73996    66883    106 |  0.000 % |
534.34/534.63	c |    996479 |     700    14000    70000 |    73996    68284    106 |  0.000 % |
535.23/535.56	c |    998020 |     700    14000    70000 |    73996    69825    106 |  0.000 % |
536.23/536.58	c |    999714 |     700    14000    70000 |    73996    71519    106 |  0.000 % |
537.33/537.69	c |   1001577 |     700    14000    70000 |    71805    62611    106 |  0.000 % |
538.53/538.88	c |   1003626 |     700    14000    70000 |    71805    64660    106 |  0.000 % |
539.83/540.12	c |   1005880 |     700    14000    70000 |    71805    66914    106 |  0.000 % |
541.23/541.52	c |   1008360 |     700    14000    70000 |    71805    69394    106 |  0.000 % |
542.63/542.96	c |   1011086 |     700    14000    70000 |    71036    62305    105 |  0.000 % |
544.33/544.68	c |   1014084 |     700    14000    70000 |    71036    65303    105 |  0.000 % |
546.23/546.56	c |   1017380 |     700    14000    70000 |    71036    68599    105 |  0.000 % |
548.23/548.57	c |   1021006 |     700    14000    70000 |    71220    62492    104 |  0.000 % |
550.53/550.83	c |   1024993 |     700    14000    70000 |    71220    66479    105 |  0.000 % |
553.12/553.42	c |   1029378 |     700    14000    70000 |    71220    70864    104 |  0.000 % |
555.42/555.79	c |   1034201 |     700    14000    70000 |    61506    57272    104 |  0.000 % |
558.32/558.63	c |   1039506 |     700    14000    70000 |    61506    56401    104 |  0.000 % |
561.22/561.55	c |   1045343 |     700    14000    70000 | 2147483647    62238    105 |  0.000 % |
564.42/564.75	c |   1051761 |     700    14000    70000 | 2147483647    68656    105 |  0.000 % |
568.52/568.90	c |   1058822 |     700    14000    70000 | 2147483647    75717    106 |  0.000 % |
573.62/573.93	c |   1066586 |     700    14000    70000 |    76897    72187    107 |  0.000 % |
578.52/578.89	c |   1075128 |     700    14000    70000 |    75601    68742    108 |  0.000 % |
584.21/584.59	c |   1084522 |     700    14000    70000 |    73615    66461    109 |  0.000 % |
584.31/584.66	c |   1084622 |     700    14000    70000 |    73615    66561    109 |  0.000 % |
584.41/584.73	c |   1084733 |     700    14000    70000 |    73615    66672    109 |  0.000 % |
584.51/584.80	c |   1084855 |     700    14000    70000 |    73615    66794    109 |  0.000 % |
584.51/584.88	c |   1084990 |     700    14000    70000 |    73615    66929    109 |  0.000 % |
584.61/584.98	c |   1085140 |     700    14000    70000 |    73615    67079    109 |  0.000 % |
584.71/585.09	c |   1085303 |     700    14000    70000 |    73615    67242    109 |  0.000 % |
584.82/585.20	c |   1085479 |     700    14000    70000 |    73615    67418    109 |  0.000 % |
585.01/585.32	c |   1085673 |     700    14000    70000 |    73615    67612    109 |  0.000 % |
585.11/585.46	c |   1085886 |     700    14000    70000 |    73615    67825    109 |  0.000 % |
585.31/585.62	c |   1086119 |     700    14000    70000 |    73615    68058    109 |  0.000 % |
585.51/585.80	c |   1086376 |     700    14000    70000 |    73615    68315    109 |  0.000 % |
585.61/585.98	c |   1086657 |     700    14000    70000 |    73615    68596    109 |  0.000 % |
585.81/586.18	c |   1086967 |     700    14000    70000 |    73615    68906    109 |  0.000 % |
586.02/586.39	c |   1087308 |     700    14000    70000 |    73615    69247    109 |  0.000 % |
586.31/586.64	c |   1087681 |     700    14000    70000 |    73615    69620    109 |  0.000 % |
586.51/586.89	c |   1088090 |     700    14000    70000 |    73615    70029    109 |  0.000 % |
586.91/587.23	c |   1088543 |     700    14000    70000 |    73615    70482    108 |  0.000 % |
587.21/587.58	c |   1089036 |     700    14000    70000 |    73615    70975    108 |  0.000 % |
587.61/587.97	c |   1089578 |     700    14000    70000 |    73615    71517    108 |  0.000 % |
588.12/588.42	c |   1090175 |     700    14000    70000 |    71939    72114    108 |  0.000 % |
588.51/588.87	c |   1090831 |     700    14000    70000 |    71939    60893    108 |  0.000 % |
588.91/589.25	c |   1091551 |     700    14000    70000 |    71939    61613    108 |  0.000 % |
589.41/589.73	c |   1092344 |     700    14000    70000 |    71939    62406    108 |  0.000 % |
589.91/590.22	c |   1093217 |     700    14000    70000 |    71939    63279    108 |  0.000 % |
590.42/590.76	c |   1094175 |     700    14000    70000 |    71939    64237    108 |  0.000 % |
591.01/591.38	c |   1095230 |     700    14000    70000 |    71939    65292    108 |  0.000 % |
591.71/592.02	c |   1096389 |     700    14000    70000 |    71939    66451    108 |  0.000 % |
592.41/592.74	c |   1097662 |     700    14000    70000 |    71939    67724    108 |  0.000 % |
593.31/593.61	c |   1099062 |     700    14000    70000 |    71939    69124    108 |  0.000 % |
594.21/594.59	c |   1100602 |     700    14000    70000 |    70063    59902    108 |  0.000 % |
595.21/595.53	c |   1102297 |     700    14000    70000 |    70063    61597    108 |  0.000 % |
596.11/596.50	c |   1104160 |     700    14000    70000 |    70063    63460    108 |  0.000 % |
597.21/597.58	c |   1106209 |     700    14000    70000 |    70063    65509    107 |  0.000 % |
598.61/598.90	c |   1108462 |     700    14000    70000 |    70063    67762    107 |  0.000 % |
600.01/600.37	c |   1110941 |     700    14000    70000 |    69301    60554    107 |  0.000 % |
601.50/601.86	c |   1113668 |     700    14000    70000 |    69301    63281    107 |  0.000 % |
603.20/603.51	c |   1116666 |     700    14000    70000 |    69301    66279    107 |  0.000 % |
605.00/605.39	c |   1119962 |     700    14000    70000 |    69301    69575    106 |  0.000 % |
607.00/607.34	c |   1123587 |     700    14000    70000 |    60960    56934    105 |  0.000 % |
609.11/609.49	c |   1127576 |     700    14000    70000 |    60960    60923    105 |  0.000 % |
611.31/611.61	c |   1131962 |     700    14000    70000 |    56907    53118    104 |  0.000 % |
613.51/613.88	c |   1136786 |     700    14000    70000 |    56907    52225    104 |  0.000 % |
616.20/616.52	c |   1142092 |     700    14000    70000 | 2147483647    57531    104 |  0.000 % |
619.10/619.40	c |   1147930 |     700    14000    70000 | 2147483647    63369    105 |  0.000 % |
622.50/622.88	c |   1154348 |     700    14000    70000 | 2147483647    69787    105 |  0.000 % |
626.80/627.19	c |   1161407 |     700    14000    70000 |    75440    65829    106 |  0.000 % |
631.70/632.06	c |   1169171 |     700    14000    70000 |    75440    73593    106 |  0.000 % |
637.20/637.51	c |   1177711 |     700    14000    70000 |    74422    70631    107 |  0.000 % |
643.20/643.51	c |   1187106 |     700    14000    70000 |    72921    69510    108 |  0.000 % |
649.99/650.31	c |   1197440 |     700    14000    70000 |    72404    69342    109 |  0.000 % |
649.99/650.38	c |   1197540 |     700    14000    70000 |    72404    69442    109 |  0.000 % |
650.09/650.47	c |   1197650 |     700    14000    70000 |    72404    69552    109 |  0.000 % |
650.19/650.54	c |   1197771 |     700    14000    70000 |    72404    69673    109 |  0.000 % |
650.29/650.64	c |   1197904 |     700    14000    70000 |    72404    69806    109 |  0.000 % |
650.39/650.72	c |   1198050 |     700    14000    70000 |    72404    69952    109 |  0.000 % |
650.49/650.86	c |   1198212 |     700    14000    70000 |    72404    70114    109 |  0.000 % |
650.59/650.98	c |   1198388 |     700    14000    70000 |    72404    70290    109 |  0.000 % |
650.80/651.13	c |   1198583 |     700    14000    70000 |    72404    70485    108 |  0.000 % |
650.90/651.29	c |   1198795 |     700    14000    70000 |    72404    70697    108 |  0.000 % |
651.09/651.46	c |   1199029 |     700    14000    70000 |    72404    70931    108 |  0.000 % |
651.29/651.65	c |   1199285 |     700    14000    70000 |    72404    71187    108 |  0.000 % |
651.49/651.84	c |   1199567 |     700    14000    70000 |    72404    71469    108 |  0.000 % |
651.69/652.08	c |   1199879 |     700    14000    70000 |    72404    71781    108 |  0.000 % |
652.00/652.33	c |   1200219 |     700    14000    70000 |    71902    72121    108 |  0.000 % |
652.19/652.59	c |   1200591 |     700    14000    70000 |    71902    61043    108 |  0.000 % |
652.49/652.83	c |   1201000 |     700    14000    70000 |    71902    61452    108 |  0.000 % |
652.79/653.12	c |   1201453 |     700    14000    70000 |    71902    61905    108 |  0.000 % |
652.99/653.39	c |   1201946 |     700    14000    70000 |    71902    62398    107 |  0.000 % |
653.29/653.66	c |   1202489 |     700    14000    70000 |    71902    62941    107 |  0.000 % |
653.69/654.01	c |   1203086 |     700    14000    70000 |    71902    63538    107 |  0.000 % |
654.09/654.41	c |   1203741 |     700    14000    70000 |    71902    64193    107 |  0.000 % |
654.49/654.80	c |   1204461 |     700    14000    70000 |    71902    64913    107 |  0.000 % |
654.89/655.27	c |   1205253 |     700    14000    70000 |    71902    65705    107 |  0.000 % |
655.39/655.75	c |   1206126 |     700    14000    70000 |    71902    66578    107 |  0.000 % |
655.99/656.32	c |   1207087 |     700    14000    70000 |    71902    67539    107 |  0.000 % |
656.69/657.02	c |   1208141 |     700    14000    70000 |    71902    68593    107 |  0.000 % |
657.39/657.73	c |   1209300 |     700    14000    70000 |    71902    69752    107 |  0.000 % |
658.19/658.60	c |   1210574 |     700    14000    70000 |    70452    60639    107 |  0.000 % |
659.09/659.40	c |   1211974 |     700    14000    70000 |    70452    62039    107 |  0.000 % |
659.89/660.29	c |   1213515 |     700    14000    70000 |    70452    63580    106 |  0.000 % |
660.89/661.25	c |   1215211 |     700    14000    70000 |    70452    65276    106 |  0.000 % |
661.99/662.30	c |   1217074 |     700    14000    70000 |    70452    67139    106 |  0.000 % |
663.09/663.43	c |   1219123 |     700    14000    70000 |    70452    69188    106 |  0.000 % |
664.49/664.81	c |   1221378 |     700    14000    70000 |    70065    62003    106 |  0.000 % |
665.78/666.12	c |   1223859 |     700    14000    70000 |    70065    64484    106 |  0.000 % |
667.29/667.60	c |   1226584 |     700    14000    70000 |    70065    67209    106 |  0.000 % |
669.09/669.44	c |   1229583 |     700    14000    70000 |    70065    70208    106 |  0.000 % |
670.78/671.19	c |   1232879 |     700    14000    70000 |    61974    57165    106 |  0.000 % |
672.79/673.12	c |   1236505 |     700    14000    70000 |    61974    60791    105 |  0.000 % |
674.88/675.23	c |   1240493 |     700    14000    70000 |    57570    52005    105 |  0.000 % |
676.88/677.29	c |   1244879 |     700    14000    70000 |    57570    56391    105 |  0.000 % |
679.18/679.58	c |   1249702 |     700    14000    70000 |    57570    55431    105 |  0.000 % |
681.98/682.34	c |   1255007 |     700    14000    70000 | 2147483647    60736    105 |  0.000 % |
685.18/685.50	c |   1260842 |     700    14000    70000 | 2147483647    66571    105 |  0.000 % |
688.98/689.39	c |   1267260 |     700    14000    70000 | 2147483647    72989    106 |  0.000 % |
693.38/693.73	c |   1274321 |     700    14000    70000 |    75730    69117    107 |  0.000 % |
698.47/698.86	c |   1282085 |     700    14000    70000 |    74796    65551    107 |  0.000 % |
703.47/703.88	c |   1290627 |     700    14000    70000 |    73466    62389    108 |  0.000 % |
708.97/709.39	c |   1300021 |     700    14000    70000 |    71763    71783    108 |  0.000 % |
714.87/715.22	c |   1310358 |     700    14000    70000 |    70528    59778    108 |  0.000 % |
721.17/721.51	c |   1321725 |     700    14000    70000 |    69421    60768    108 |  0.000 % |
721.17/721.57	c |   1321825 |     700    14000    70000 |    69421    60868    108 |  0.000 % |
721.27/721.62	c |   1321935 |     700    14000    70000 |    69421    60978    108 |  0.000 % |
721.27/721.69	c |   1322056 |     700    14000    70000 |    69421    61099    108 |  0.000 % |
721.37/721.77	c |   1322189 |     700    14000    70000 |    69421    61232    108 |  0.000 % |
721.47/721.86	c |   1322335 |     700    14000    70000 |    69421    61378    108 |  0.000 % |
721.57/721.96	c |   1322496 |     700    14000    70000 |    69421    61539    108 |  0.000 % |
721.67/722.06	c |   1322673 |     700    14000    70000 |    69421    61716    108 |  0.000 % |
721.77/722.17	c |   1322866 |     700    14000    70000 |    69421    61909    108 |  0.000 % |
721.97/722.31	c |   1323078 |     700    14000    70000 |    69421    62121    108 |  0.000 % |
722.07/722.48	c |   1323312 |     700    14000    70000 |    69421    62355    108 |  0.000 % |
722.27/722.64	c |   1323569 |     700    14000    70000 |    69421    62612    108 |  0.000 % |
722.47/722.85	c |   1323852 |     700    14000    70000 |    69421    62895    107 |  0.000 % |
722.67/723.04	c |   1324161 |     700    14000    70000 |    69421    63204    107 |  0.000 % |
722.87/723.23	c |   1324500 |     700    14000    70000 |    69421    63543    107 |  0.000 % |
723.07/723.47	c |   1324872 |     700    14000    70000 |    69421    63915    107 |  0.000 % |
723.27/723.69	c |   1325281 |     700    14000    70000 |    69421    64324    107 |  0.000 % |
723.57/723.95	c |   1325730 |     700    14000    70000 |    69421    64773    107 |  0.000 % |
723.86/724.22	c |   1326224 |     700    14000    70000 |    69421    65267    107 |  0.000 % |
724.16/724.53	c |   1326768 |     700    14000    70000 |    69421    65811    107 |  0.000 % |
724.47/724.87	c |   1327364 |     700    14000    70000 |    69421    66407    107 |  0.000 % |
724.86/725.25	c |   1328020 |     700    14000    70000 |    69421    67063    107 |  0.000 % |
725.36/725.76	c |   1328741 |     700    14000    70000 |    69421    67784    107 |  0.000 % |
725.86/726.26	c |   1329534 |     700    14000    70000 |    69421    68577    107 |  0.000 % |
726.46/726.86	c |   1330406 |     700    14000    70000 |    69045    59175    106 |  0.000 % |
727.06/727.41	c |   1331364 |     700    14000    70000 |    69045    60133    106 |  0.000 % |
727.56/727.98	c |   1332417 |     700    14000    70000 |    69045    61186    106 |  0.000 % |
728.26/728.64	c |   1333576 |     700    14000    70000 |    69045    62345    106 |  0.000 % |
728.97/729.37	c |   1334850 |     700    14000    70000 |    69045    63619    106 |  0.000 % |
729.76/730.19	c |   1336253 |     700    14000    70000 |    69045    65022    106 |  0.000 % |
730.66/731.06	c |   1337794 |     700    14000    70000 |    69045    66563    106 |  0.000 % |
731.56/731.98	c |   1339488 |     700    14000    70000 |    69045    68257    106 |  0.000 % |
732.66/733.04	c |   1341351 |     700    14000    70000 |    68769    61021    106 |  0.000 % |
733.76/734.11	c |   1343400 |     700    14000    70000 |    68769    63070    106 |  0.000 % |
734.96/735.38	c |   1345653 |     700    14000    70000 |    68769    65323    106 |  0.000 % |
736.36/736.72	c |   1348131 |     700    14000    70000 |    68769    67801    106 |  0.000 % |
737.86/738.24	c |   1350856 |     700    14000    70000 |    60878    54208    104 |  0.000 % |
739.36/739.70	c |   1353854 |     700    14000    70000 |    60878    57206    104 |  0.000 % |
740.96/741.36	c |   1357151 |     700    14000    70000 |    60878    60503    104 |  0.000 % |
742.96/743.32	c |   1360776 |     700    14000    70000 | 2147483647    58020    104 |  0.000 % |
745.16/745.52	c |   1364764 |     700    14000    70000 | 2147483647    62008    104 |  0.000 % |
747.56/747.97	c |   1369149 |     700    14000    70000 | 2147483647    66393    105 |  0.000 % |
750.36/750.72	c |   1373974 |     700    14000    70000 |    67245    64087    104 |  0.000 % |
753.46/753.84	c |   1379283 |     700    14000    70000 |    67245    61978    105 |  0.000 % |
756.65/757.09	c |   1385118 |     700    14000    70000 |    62696    60899    106 |  0.000 % |
760.15/760.58	c |   1391538 |     700    14000    70000 | 2147483647    61024    107 |  0.000 % |
763.65/764.09	c |   1398597 |     700    14000    70000 | 2147483647    68083    108 |  0.000 % |
767.65/768.06	c |   1406362 |     700    14000    70000 |    69486    66777    109 |  0.000 % |
772.15/772.58	c |   1414903 |     700    14000    70000 |    60907    57634    111 |  0.000 % |
777.25/777.61	c |   1424298 |     700    14000    70000 | 2147483647    60828    111 |  0.000 % |
783.55/783.95	c |   1434634 |     700    14000    70000 |    66531    63114    112 |  0.000 % |
790.25/790.63	c |   1446000 |     700    14000    70000 |    59572    57856    112 |  0.000 % |
796.05/796.48	c |   1458503 |     700    14000    70000 |    55388    52699    111 |  0.000 % |
796.14/796.54	c |   1458607 |     700    14000    70000 |    55388    52803    111 |  0.000 % |
796.24/796.60	c |   1458717 |     700    14000    70000 |    55388    52913    111 |  0.000 % |
796.24/796.66	c |   1458839 |     700    14000    70000 |    55388    53035    111 |  0.000 % |
796.34/796.73	c |   1458973 |     700    14000    70000 |    55388    53169    111 |  0.000 % |
796.44/796.81	c |   1459120 |     700    14000    70000 |    55388    53316    110 |  0.000 % |
796.54/796.90	c |   1459281 |     700    14000    70000 |    55388    53477    110 |  0.000 % |
796.64/797.00	c |   1459457 |     700    14000    70000 |    55388    53653    110 |  0.000 % |
796.74/797.12	c |   1459652 |     700    14000    70000 |    55388    53848    110 |  0.000 % |
796.84/797.24	c |   1459864 |     700    14000    70000 |    55388    54060    110 |  0.000 % |
796.94/797.36	c |   1460097 |     700    14000    70000 | 2147483647    54293    110 |  0.000 % |
797.15/797.50	c |   1460354 |     700    14000    70000 | 2147483647    54550    110 |  0.000 % |
797.24/797.65	c |   1460636 |     700    14000    70000 | 2147483647    54832    110 |  0.000 % |
797.44/797.81	c |   1460946 |     700    14000    70000 | 2147483647    55142    110 |  0.000 % |
797.54/797.98	c |   1461285 |     700    14000    70000 | 2147483647    55481    110 |  0.000 % |
797.74/798.16	c |   1461658 |     700    14000    70000 | 2147483647    55854    110 |  0.000 % |
797.94/798.39	c |   1462068 |     700    14000    70000 | 2147483647    56264    110 |  0.000 % |
798.25/798.65	c |   1462518 |     700    14000    70000 | 2147483647    56714    110 |  0.000 % |
798.54/798.91	c |   1463012 |     700    14000    70000 | 2147483647    57208    110 |  0.000 % |
798.84/799.20	c |   1463554 |     700    14000    70000 | 2147483647    57750    110 |  0.000 % |
799.14/799.53	c |   1464152 |     700    14000    70000 | 2147483647    58348    109 |  0.000 % |
799.54/799.92	c |   1464807 |     700    14000    70000 | 2147483647    59003    109 |  0.000 % |
799.94/800.31	c |   1465529 |     700    14000    70000 | 2147483647    59725    109 |  0.000 % |
800.35/800.74	c |   1466321 |     700    14000    70000 | 2147483647    60517    109 |  0.000 % |
800.84/801.22	c |   1467193 |     700    14000    70000 | 2147483647    61389    109 |  0.000 % |
801.34/801.71	c |   1468153 |     700    14000    70000 | 2147483647    62349    109 |  0.000 % |
801.84/802.27	c |   1469207 |     700    14000    70000 | 2147483647    63403    109 |  0.000 % |
802.44/802.89	c |   1470365 |     700    14000    70000 | 2147483647    64561    109 |  0.000 % |
803.24/803.61	c |   1471638 |     700    14000    70000 | 2147483647    65834    109 |  0.000 % |
803.94/804.35	c |   1473038 |     700    14000    70000 | 2147483647    67234    109 |  0.000 % |
804.94/805.31	c |   1474579 |     700    14000    70000 | 2147483647    68775    109 |  0.000 % |
805.95/806.38	c |   1476273 |     700    14000    70000 | 2147483647    70469    109 |  0.000 % |
807.14/807.57	c |   1478137 |     700    14000    70000 | 2147483647    72333    108 |  0.000 % |
808.44/808.83	c |   1480187 |     700    14000    70000 |    74197    74383    108 |  0.000 % |
809.74/810.10	c |   1482442 |     700    14000    70000 |    74197    65934    108 |  0.000 % |
811.04/811.48	c |   1484921 |     700    14000    70000 |    74197    68413    108 |  0.000 % |
812.64/813.05	c |   1487646 |     700    14000    70000 |    74197    71138    108 |  0.000 % |
814.44/814.89	c |   1490643 |     700    14000    70000 |    73493    64238    108 |  0.000 % |
816.34/816.72	c |   1493939 |     700    14000    70000 |    73493    67534    108 |  0.000 % |
818.34/818.73	c |   1497564 |     700    14000    70000 |    73493    71159    108 |  0.000 % |
820.84/821.24	c |   1501552 |     700    14000    70000 |    73595    64418    107 |  0.000 % |
823.34/823.72	c |   1505937 |     700    14000    70000 |    73595    68803    106 |  0.000 % |
826.33/826.72	c |   1510760 |     700    14000    70000 |    72868    63060    105 |  0.000 % |
829.53/829.96	c |   1516065 |     700    14000    70000 |    72868    68365    106 |  0.000 % |
833.23/833.60	c |   1521902 |     700    14000    70000 |    72300    63232    105 |  0.000 % |
836.93/837.37	c |   1528321 |     700    14000    70000 |    72300    69651    106 |  0.000 % |
841.03/841.45	c |   1535381 |     700    14000    70000 |    71331    66132    106 |  0.000 % |
845.83/846.29	c |   1543145 |     700    14000    70000 |    70752    64513    107 |  0.000 % |
850.73/851.19	c |   1551685 |     700    14000    70000 |    62406    56243    107 |  0.000 % |
856.33/856.75	c |   1561080 |     700    14000    70000 |    58029    53044    107 |  0.000 % |
861.02/861.50	c |   1571415 |     700    14000    70000 | 2147483647    57550    108 |  0.000 % |
866.82/867.29	c |   1582781 |     700    14000    70000 |    66136    61268    108 |  0.000 % |
874.32/874.74	c |   1595283 |     700    14000    70000 |    60461    58502    110 |  0.000 % |
882.62/883.06	c |   1609035 |     700    14000    70000 |    56196    53323    110 |  0.000 % |
882.72/883.12	c |   1609136 |     700    14000    70000 |    56196    53424    110 |  0.000 % |
882.72/883.18	c |   1609247 |     700    14000    70000 |    56196    53535    110 |  0.000 % |
882.82/883.25	c |   1609369 |     700    14000    70000 |    56196    53657    110 |  0.000 % |
882.92/883.32	c |   1609503 |     700    14000    70000 |    56196    53791    110 |  0.000 % |
883.02/883.41	c |   1609650 |     700    14000    70000 |    56196    53938    110 |  0.000 % |
883.12/883.51	c |   1609811 |     700    14000    70000 |    56196    54099    110 |  0.000 % |
883.12/883.59	c |   1609987 |     700    14000    70000 |    56196    54275    110 |  0.000 % |
883.22/883.70	c |   1610180 |     700    14000    70000 |    54289    54468    110 |  0.000 % |
883.42/883.82	c |   1610393 |     700    14000    70000 |    54289    49235    110 |  0.000 % |
883.52/883.93	c |   1610626 |     700    14000    70000 |    54289    49468    110 |  0.000 % |
883.62/884.05	c |   1610884 |     700    14000    70000 |    54289    49726    110 |  0.000 % |
883.72/884.19	c |   1611165 |     700    14000    70000 |    54289    50007    110 |  0.000 % |
883.92/884.35	c |   1611475 |     700    14000    70000 |    54289    50317    110 |  0.000 % |
884.12/884.51	c |   1611815 |     700    14000    70000 |    54289    50657    110 |  0.000 % |
884.22/884.70	c |   1612188 |     700    14000    70000 |    54289    51030    110 |  0.000 % |
884.52/884.90	c |   1612597 |     700    14000    70000 |    54289    51439    110 |  0.000 % |
884.72/885.14	c |   1613048 |     700    14000    70000 |    54289    51890    110 |  0.000 % |
884.92/885.39	c |   1613542 |     700    14000    70000 |    54289    52384    110 |  0.000 % |
885.22/885.67	c |   1614087 |     700    14000    70000 |    54289    52929    110 |  0.000 % |
885.52/885.99	c |   1614683 |     700    14000    70000 |    54289    53525    109 |  0.000 % |
885.92/886.30	c |   1615340 |     700    14000    70000 |    54289    54182    109 |  0.000 % |
886.22/886.64	c |   1616061 |     700    14000    70000 |    54289    49448    109 |  0.000 % |
886.62/887.07	c |   1616854 |     700    14000    70000 |    54289    50241    109 |  0.000 % |
887.12/887.51	c |   1617726 |     700    14000    70000 |    54289    51113    109 |  0.000 % |
887.52/887.97	c |   1618685 |     700    14000    70000 |    54289    52072    108 |  0.000 % |
888.02/888.46	c |   1619740 |     700    14000    70000 |    54289    53127    108 |  0.000 % |
888.62/889.01	c |   1620898 |     700    14000    70000 | 2147483647    54285    108 |  0.000 % |
889.22/889.63	c |   1622172 |     700    14000    70000 | 2147483647    55559    108 |  0.000 % |
889.82/890.30	c |   1623572 |     700    14000    70000 | 2147483647    56959    108 |  0.000 % |
890.62/891.08	c |   1625112 |     700    14000    70000 | 2147483647    58499    108 |  0.000 % |
891.52/891.96	c |   1626809 |     700    14000    70000 | 2147483647    60196    108 |  0.000 % |
892.52/892.95	c |   1628673 |     700    14000    70000 | 2147483647    62060    107 |  0.000 % |
893.62/894.06	c |   1630723 |     700    14000    70000 | 2147483647    64110    107 |  0.000 % |
894.92/895.30	c |   1632976 |     700    14000    70000 | 2147483647    66363    107 |  0.000 % |
896.21/896.70	c |   1635454 |     700    14000    70000 | 2147483647    68841    107 |  0.000 % |
897.91/898.31	c |   1638179 |     700    14000    70000 | 2147483647    71566    107 |  0.000 % |
899.71/900.12	c |   1641178 |     700    14000    70000 |    73388    64663    107 |  0.000 % |
901.52/901.91	c |   1644474 |     700    14000    70000 |    73388    67959    106 |  0.000 % |
903.61/904.03	c |   1648099 |     700    14000    70000 |    73388    71584    106 |  0.000 % |
905.92/906.36	c |   1652086 |     700    14000    70000 |    73487    64832    106 |  0.000 % |
908.51/908.92	c |   1656471 |     700    14000    70000 |    73487    69217    106 |  0.000 % |
911.31/911.79	c |   1661295 |     700    14000    70000 |    72746    63316    105 |  0.000 % |
914.41/914.84	c |   1666600 |     700    14000    70000 |    72746    68621    105 |  0.000 % |
917.81/918.29	c |   1672435 |     700    14000    70000 |    72021    64400    104 |  0.000 % |
922.01/922.40	c |   1678853 |     700    14000    70000 |    72021    70818    104 |  0.000 % |
926.51/926.94	c |   1685912 |     700    14000    70000 |    71965    67699    106 |  0.000 % |
931.31/931.72	c |   1693676 |     700    14000    70000 |    71787    65747    107 |  0.000 % |
936.71/937.15	c |   1702218 |     700    14000    70000 |    61868    55385    108 |  0.000 % |
942.31/942.71	c |   1711612 |     700    14000    70000 |    55847    50865    108 |  0.000 % |
947.60/948.06	c |   1721946 |     700    14000    70000 | 2147483647    55589    108 |  0.000 % |
954.40/954.88	c |   1733313 |     700    14000    70000 | 2147483647    66956    109 |  0.000 % |
962.90/963.31	c |   1745815 |     700    14000    70000 |    73644    69056    110 |  0.000 % |
973.29/973.78	c |   1759567 |     700    14000    70000 |    73243    71335    111 |  0.000 % |
980.69/981.14	c |   1774694 |     700    14000    70000 |    69291    63719    112 |  0.000 % |
980.69/981.20	c |   1774794 |     700    14000    70000 |    69291    63819    112 |  0.000 % |
980.79/981.27	c |   1774907 |     700    14000    70000 |    69291    63932    112 |  0.000 % |
980.89/981.34	c |   1775028 |     700    14000    70000 |    69291    64053    112 |  0.000 % |
980.99/981.44	c |   1775161 |     700    14000    70000 |    69291    64186    112 |  0.000 % |
981.09/981.53	c |   1775308 |     700    14000    70000 |    69291    64333    112 |  0.000 % |
981.19/981.63	c |   1775468 |     700    14000    70000 |    69291    64493    112 |  0.000 % |
981.29/981.73	c |   1775644 |     700    14000    70000 |    69291    64669    112 |  0.000 % |
981.39/981.84	c |   1775840 |     700    14000    70000 |    69291    64865    112 |  0.000 % |
981.49/981.97	c |   1776052 |     700    14000    70000 |    69291    65077    112 |  0.000 % |
981.69/982.11	c |   1776285 |     700    14000    70000 |    69291    65310    112 |  0.000 % |
981.79/982.28	c |   1776544 |     700    14000    70000 |    69291    65569    112 |  0.000 % |
981.99/982.45	c |   1776825 |     700    14000    70000 |    69291    65850    112 |  0.000 % |
982.19/982.64	c |   1777134 |     700    14000    70000 |    69291    66159    112 |  0.000 % |
982.39/982.84	c |   1777473 |     700    14000    70000 |    69291    66498    111 |  0.000 % |
982.59/983.06	c |   1777846 |     700    14000    70000 |    69291    66871    111 |  0.000 % |
982.89/983.30	c |   1778255 |     700    14000    70000 |    69291    67280    111 |  0.000 % |
983.09/983.55	c |   1778704 |     700    14000    70000 |    69291    67729    111 |  0.000 % |
983.39/983.85	c |   1779197 |     700    14000    70000 |    69291    68222    111 |  0.000 % |
983.69/984.19	c |   1779742 |     700    14000    70000 |    69291    68767    111 |  0.000 % |
984.09/984.57	c |   1780341 |     700    14000    70000 |    69025    58848    112 |  0.000 % |
984.49/984.91	c |   1780997 |     700    14000    70000 |    69025    59504    112 |  0.000 % |
984.79/985.27	c |   1781719 |     700    14000    70000 |    69025    60226    111 |  0.000 % |
985.19/985.65	c |   1782512 |     700    14000    70000 |    69025    61019    111 |  0.000 % |
985.69/986.15	c |   1783383 |     700    14000    70000 |    69025    61890    111 |  0.000 % |
986.19/986.69	c |   1784342 |     700    14000    70000 |    69025    62849    111 |  0.000 % |
986.79/987.26	c |   1785395 |     700    14000    70000 |    69025    63902    111 |  0.000 % |
987.49/987.90	c |   1786553 |     700    14000    70000 |    69025    65060    111 |  0.000 % |
988.19/988.66	c |   1787826 |     700    14000    70000 |    69025    66333    111 |  0.000 % |
988.99/989.46	c |   1789226 |     700    14000    70000 |    69025    67733    110 |  0.000 % |
989.99/990.40	c |   1790766 |     700    14000    70000 |    68507    60225    110 |  0.000 % |
990.89/991.31	c |   1792461 |     700    14000    70000 |    68507    61920    110 |  0.000 % |
991.89/992.39	c |   1794324 |     700    14000    70000 |    68507    63783    109 |  0.000 % |
993.09/993.57	c |   1796373 |     700    14000    70000 |    68507    65832    109 |  0.000 % |
994.39/994.82	c |   1798628 |     700    14000    70000 |    68507    68087    109 |  0.000 % |
995.79/996.25	c |   1801109 |     700    14000    70000 |    60919    54667    107 |  0.000 % |
997.19/997.61	c |   1803834 |     700    14000    70000 |    60919    57392    107 |  0.000 % |
998.79/999.22	c |   1806832 |     700    14000    70000 |    60919    60390    107 |  0.000 % |
1000.49/1001.00	c |   1810128 |     700    14000    70000 | 2147483647    57569    105 |  0.000 % |
1002.59/1003.00	c |   1813753 |     700    14000    70000 | 2147483647    61194    105 |  0.000 % |
1004.69/1005.19	c |   1817740 |     700    14000    70000 | 2147483647    65181    105 |  0.000 % |
1007.20/1007.68	c |   1822125 |     700    14000    70000 |    67443    62436    105 |  0.000 % |
1009.99/1010.48	c |   1826950 |     700    14000    70000 |    67443    67261    105 |  0.000 % |
1013.09/1013.51	c |   1832256 |     700    14000    70000 |    62195    57324    105 |  0.000 % |
1016.29/1016.72	c |   1838091 |     700    14000    70000 |    62195    56913    106 |  0.000 % |
1019.29/1019.76	c |   1844509 |     700    14000    70000 | 2147483647    63331    106 |  0.000 % |
1022.99/1023.41	c |   1851568 |     700    14000    70000 |    68824    61806    107 |  0.000 % |
1026.89/1027.40	c |   1859332 |     700    14000    70000 |    68824    60733    108 |  0.000 % |
1031.29/1031.76	c |   1867874 |     700    14000    70000 |    61403    61582    109 |  0.000 % |
1035.79/1036.26	c |   1877268 |     700    14000    70000 |    56975    52799    108 |  0.000 % |
1041.48/1041.90	c |   1887601 |     700    14000    70000 | 2147483647    63132    108 |  0.000 % |
1048.28/1048.75	c |   1898969 |     700    14000    70000 |    65531    58526    109 |  0.000 % |
1055.38/1055.82	c |   1911471 |     700    14000    70000 |    55897    51505    109 |  0.000 % |
1063.08/1063.54	c |   1925223 |     700    14000    70000 | 2147483647    59644    109 |  0.000 % |
1073.18/1073.63	c |   1940350 |     700    14000    70000 |    74421    63054    112 |  0.000 % |
1084.07/1084.54	c |   1956989 |     700    14000    70000 |    72707    69168    111 |  0.000 % |
1084.17/1084.61	c |   1957090 |     700    14000    70000 |    72707    69269    111 |  0.000 % |
1084.17/1084.69	c |   1957200 |     700    14000    70000 |    72707    69379    111 |  0.000 % |
1084.27/1084.76	c |   1957323 |     700    14000    70000 |    72707    69502    111 |  0.000 % |
1084.37/1084.84	c |   1957459 |     700    14000    70000 |    72707    69638    111 |  0.000 % |
1084.47/1084.94	c |   1957605 |     700    14000    70000 |    72707    69784    111 |  0.000 % |
1084.57/1085.04	c |   1957765 |     700    14000    70000 |    72707    69944    111 |  0.000 % |
1084.67/1085.16	c |   1957944 |     700    14000    70000 |    72707    70123    111 |  0.000 % |
1084.77/1085.29	c |   1958139 |     700    14000    70000 |    72707    70318    111 |  0.000 % |
1084.97/1085.41	c |   1958351 |     700    14000    70000 |    72707    70530    111 |  0.000 % |
1085.07/1085.58	c |   1958585 |     700    14000    70000 |    72707    70764    111 |  0.000 % |
1085.27/1085.78	c |   1958841 |     700    14000    70000 |    72707    71020    111 |  0.000 % |
1085.47/1085.96	c |   1959123 |     700    14000    70000 |    72707    71302    111 |  0.000 % |
1085.67/1086.18	c |   1959432 |     700    14000    70000 |    72707    71611    111 |  0.000 % |
1085.97/1086.42	c |   1959773 |     700    14000    70000 |    72707    71952    111 |  0.000 % |
1086.17/1086.64	c |   1960145 |     700    14000    70000 |    72180    72324    111 |  0.000 % |
1086.47/1086.93	c |   1960554 |     700    14000    70000 |    72180    61234    110 |  0.000 % |
1086.67/1087.17	c |   1961003 |     700    14000    70000 |    72180    61683    110 |  0.000 % |
1086.97/1087.44	c |   1961497 |     700    14000    70000 |    72180    62177    110 |  0.000 % |
1087.27/1087.74	c |   1962039 |     700    14000    70000 |    72180    62719    110 |  0.000 % |
1087.57/1088.04	c |   1962637 |     700    14000    70000 |    72180    63317    110 |  0.000 % |
1087.87/1088.39	c |   1963294 |     700    14000    70000 |    72180    63974    110 |  0.000 % |
1088.27/1088.77	c |   1964015 |     700    14000    70000 |    72180    64695    109 |  0.000 % |
1088.77/1089.21	c |   1964807 |     700    14000    70000 |    72180    65487    109 |  0.000 % |
1089.27/1089.70	c |   1965678 |     700    14000    70000 |    72180    66358    109 |  0.000 % |
1089.77/1090.22	c |   1966637 |     700    14000    70000 |    72180    67317    109 |  0.000 % |
1090.37/1090.82	c |   1967693 |     700    14000    70000 |    72180    68373    109 |  0.000 % |
1090.97/1091.45	c |   1968852 |     700    14000    70000 |    72180    69532    109 |  0.000 % |
1091.67/1092.13	c |   1970126 |     700    14000    70000 |    70680    70806    109 |  0.000 % |
1092.47/1092.96	c |   1971528 |     700    14000    70000 |    70680    62217    109 |  0.000 % |
1093.37/1093.81	c |   1973068 |     700    14000    70000 |    70680    63757    109 |  0.000 % |
1094.27/1094.75	c |   1974762 |     700    14000    70000 |    70680    65451    109 |  0.000 % |
1095.37/1095.84	c |   1976625 |     700    14000    70000 |    70680    67314    108 |  0.000 % |
1096.57/1097.04	c |   1978675 |     700    14000    70000 |    70680    69364    108 |  0.000 % |
1097.96/1098.43	c |   1980929 |     700    14000    70000 |    70690    61853    108 |  0.000 % |
1099.26/1099.73	c |   1983409 |     700    14000    70000 |    70690    64333    108 |  0.000 % |
1100.86/1101.31	c |   1986135 |     700    14000    70000 |    70690    67059    108 |  0.000 % |
1102.66/1103.11	c |   1989133 |     700    14000    70000 |    70690    70057    108 |  0.000 % |
1104.56/1105.02	c |   1992429 |     700    14000    70000 |    61695    56065    105 |  0.000 % |
1106.56/1107.08	c |   1996054 |     700    14000    70000 |    61695    59690    105 |  0.000 % |
1108.66/1109.18	c |   2000041 |     700    14000    70000 |    57060    57101    105 |  0.000 % |
1110.66/1111.16	c |   2004426 |     700    14000    70000 |    57060    55419    105 |  0.000 % |
1112.86/1113.32	c |   2009250 |     700    14000    70000 |    57060    54512    105 |  0.000 % |
1115.76/1116.22	c |   2014556 |     700    14000    70000 | 2147483647    59818    105 |  0.000 % |
1118.86/1119.36	c |   2020391 |     700    14000    70000 | 2147483647    65653    105 |  0.000 % |
1122.56/1123.09	c |   2026809 |     700    14000    70000 | 2147483647    72071    106 |  0.000 % |
1127.16/1127.67	c |   2033869 |     700    14000    70000 |    75262    68480    107 |  0.000 % |
1131.95/1132.42	c |   2041633 |     700    14000    70000 |    74613    64919    108 |  0.000 % |
1137.45/1137.95	c |   2050173 |     700    14000    70000 |    73289    73459    108 |  0.000 % |
1143.75/1144.21	c |   2059567 |     700    14000    70000 |    73289    71682    109 |  0.000 % |
1149.85/1150.37	c |   2069901 |     700    14000    70000 |    72116    70474    109 |  0.000 % |
1156.65/1157.18	c |   2081268 |     700    14000    70000 |    69052    59710    110 |  0.000 % |
1164.05/1164.53	c |   2093770 |     700    14000    70000 |    68443    61881    111 |  0.000 % |
1172.34/1172.84	c |   2107525 |     700    14000    70000 |    68114    66247    111 |  0.000 % |
1179.84/1180.37	c |   2122654 |     700    14000    70000 |    54481    51544    111 |  0.000 % |
1188.64/1189.16	c |   2139293 |     700    14000    70000 | 2147483647    62709    112 |  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-1832531-1242782092/watcher-1832531-1242782092 -o /tmp/evaluation-result-1832531-1242782092/solver-1832531-1242782092 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832531-1242782092.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 26204
/proc/meminfo: memFree=1495752/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306238652 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/26204/statm: 1339 235 195 169 0 50 0
[pid=26205] ppid=26204 vsize=5356 CPUtime=0
/proc/26205/stat : 26205 (SatELiteGTI) R 26204 26204 26058 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306238652 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/26205/statm: 1339 238 198 169 0 50 0
[pid=26207] ppid=26205 vsize=0 CPUtime=0
/proc/26207/stat : 26207 (sed) Z 26205 26204 26058 0 -1 4194316 163 0 0 0 0 0 0 0 21 0 1 0 306238652 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/26207/statm: 0 0 0 0 0 0 0

[startup+0.0378199 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 26204
/proc/meminfo: memFree=1495752/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306238652 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26204/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101815 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 26204
/proc/meminfo: memFree=1495752/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.30184 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 26204
/proc/meminfo: memFree=1495752/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701891 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 26204
/proc/meminfo: memFree=1495752/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50299 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1491896/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=6164 CPUtime=1.44
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 1251 0 0 0 144 0 0 0 25 0 1 0 306238656 6311936 1237 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 1541 1237 77 171 0 1368 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11520

[startup+3.10119 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1488504/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=10428 CPUtime=3.05
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 2309 0 0 0 303 2 0 0 25 0 1 0 306238656 10678272 2295 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 2607 2295 77 171 0 2434 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15784

[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1481928/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=15740 CPUtime=6.25
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 3663 0 0 0 622 3 0 0 25 0 1 0 306238656 16117760 3649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 3935 3649 77 171 0 3762 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21096

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1473936/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=23080 CPUtime=12.64
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 5488 0 0 0 1259 5 0 0 25 0 1 0 306238656 23633920 5474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 5770 5474 77 171 0 5597 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28436

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1463248/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=33232 CPUtime=25.43
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 8022 0 0 0 2535 8 0 0 25 0 1 0 306238656 34029568 8008 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 8308 8008 77 171 0 8135 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 38588

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1461712/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=34552 CPUtime=51.01
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 8338 0 0 0 5092 9 0 0 25 0 1 0 306238656 35381248 8324 1992294400 134512640 135215339 4294956240 18446744073709551615 134541478 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 8638 8324 77 171 0 8465 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 39908

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1461712/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=34552 CPUtime=102.19
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 8338 0 0 0 10210 9 0 0 25 0 1 0 306238656 35381248 8324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 8638 8324 77 171 0 8465 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 39908

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1461584/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=34552 CPUtime=162.16
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 8338 0 0 0 16207 9 0 0 25 0 1 0 306238656 35381248 8324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 8638 8324 77 171 0 8465 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 39908

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1457808/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=38116 CPUtime=222.13
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9245 0 0 0 22203 10 0 0 25 0 1 0 306238656 39030784 9231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 9529 9231 77 171 0 9356 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 43472

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1457680/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=38116 CPUtime=282.1
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9245 0 0 0 28200 10 0 0 25 0 1 0 306238656 39030784 9231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 9529 9231 77 171 0 9356 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 43472

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1457616/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=38116 CPUtime=342.08
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9245 0 0 0 34198 10 0 0 25 0 1 0 306238656 39030784 9231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 9529 9231 77 171 0 9356 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 43472

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1457488/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=38116 CPUtime=402.06

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

/proc/26210/statm: 10061 9771 77 171 0 9888 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 45600

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1454928/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=40244 CPUtime=641.97
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9822 0 0 0 64186 11 0 0 25 0 1 0 306238656 41209856 9771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10061 9771 77 171 0 9888 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 45600

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1454800/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=40244 CPUtime=701.94
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9822 0 0 0 70183 11 0 0 25 0 1 0 306238656 41209856 9771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10061 9771 77 171 0 9888 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 45600

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1454736/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=40244 CPUtime=761.93
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9822 0 0 0 76182 11 0 0 25 0 1 0 306238656 41209856 9771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10061 9771 77 171 0 9888 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 45600

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1454224/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=40772 CPUtime=821.91
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9930 0 0 0 82180 11 0 0 25 0 1 0 306238656 41750528 9879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10193 9879 77 171 0 10020 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 46128

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1454160/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=40772 CPUtime=881.89
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9930 0 0 0 88178 11 0 0 25 0 1 0 306238656 41750528 9879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10193 9879 77 171 0 10020 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 46128

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1454032/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=40772 CPUtime=941.87
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 9930 0 0 0 94176 11 0 0 25 0 1 0 306238656 41750528 9879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10193 9879 77 171 0 10020 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 46128

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1453264/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=41436 CPUtime=1001.85
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 10096 0 0 0 100174 11 0 0 25 0 1 0 306238656 42430464 10045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10359 10045 77 171 0 10186 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 46792

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1453200/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=41436 CPUtime=1061.85
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 10096 0 0 0 106173 12 0 0 25 0 1 0 306238656 42430464 10045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10359 10045 77 171 0 10186 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 46792

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1451984/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=42504 CPUtime=1121.83
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 10383 0 0 0 112171 12 0 0 25 0 1 0 306238656 43524096 10332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10626 10332 77 171 0 10453 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 47860

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1451920/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=42504 CPUtime=1181.81
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 10383 0 0 0 118169 12 0 0 25 0 1 0 306238656 43524096 10332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10626 10332 77 171 0 10453 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 47860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1451792/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=42504 CPUtime=1200.01
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 10383 0 0 0 119989 12 0 0 25 0 1 0 306238656 43524096 10332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10626 10332 77 171 0 10453 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 47860

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26210
/proc/meminfo: memFree=1451792/2055920 swapFree=4179876/4192956
[pid=26204] ppid=26202 vsize=5356 CPUtime=0.03
/proc/26204/stat : 26204 (SatELiteGTI) S 26202 26204 26058 0 -1 4194304 336 648 0 0 0 0 3 0 18 0 1 0 306238652 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26204/statm: 1339 239 197 169 0 50 0
[pid=26210] ppid=26204 vsize=42504 CPUtime=1200.01
/proc/26210/stat : 26210 (minisat_static) R 26204 26204 26058 0 -1 4194304 10383 0 0 0 119989 12 0 0 25 0 1 0 306238656 43524096 10332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26210/statm: 10626 10332 77 171 0 10453 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 47860

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.04
CPU user time (s): 1199.92
CPU system time (s): 0.12
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 47860

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

runsolver used 1.22181 second user time and 3.2885 second system time

The end

Launcher Data

Begin job on node92 at 2009-05-20 03:14:53
IDJOB=1832531
IDBENCH=70229
IDSOLVER=671
FILE ID=node92/1832531-1242782092
PBS_JOBID= 9322307
Free space on /tmp= 65928 MiB

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

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

MD5SUM BENCH= 028affe952ec460796dd6a41dfe58fcc
RANDOM SEED=878664979

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1496232 kB
Buffers:         25564 kB
Cached:         488324 kB
SwapCached:       7332 kB
Active:         342240 kB
Inactive:       180520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1496232 kB
SwapTotal:     4192956 kB
SwapFree:      4179876 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          13952 kB
Slab:            22852 kB
Committed_AS:   788748 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65924 MiB
End job on node92 at 2009-05-20 03:34:55