Trace number 1832239

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.06 1200.61

General information on the benchmark

Namecrafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
MD5SUMc664e54e8911dc74e630e966a3a9b6ae
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark610.56
Satisfiable
(Un)Satisfiability was proved
Number of variables942
Number of clauses16562
Sum of the clauses size74896
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 21078
Number of clauses of size 38565
Number of clauses of size 471
Number of clauses of size 5103
Number of clauses of size over 56710

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 |   15779    71289 |    4733       0        0     nan |  0.000 % |
0.00/0.06	c |         0 |   11488    55322 |      --       0       --      -- |     --   | -204/-877
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 884   #clauses: 11488   #literals: 55322
0.00/0.06	c CPU time:   0.053991 s
0.00/0.06	c ==============================================================================
0.00/0.08	c This is MiniSat 2.0 beta
0.00/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08	c ============================[ Problem Statistics ]=============================
0.00/0.08	c |                                                                             |
0.00/0.08	c |  Number of variables:  884                                                  |
0.00/0.08	c |  Number of clauses:    11488                                                |
0.00/0.09	c |  Parsing time:         0.01         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     884    11488    55322 |     3829        0    nan |  0.000 % |
0.07/0.10	c |       100 |     884    11488    55322 |     3829      100     20 |  0.000 % |
0.07/0.10	c |       200 |     884    11488    55322 |     3829      200     26 |  0.000 % |
0.07/0.11	c |       300 |     884    11488    55322 |     3829      300     25 |  0.000 % |
0.07/0.11	c |       412 |     884    11488    55322 |     3829      412     25 |  0.000 % |
0.07/0.12	c |       512 |     884    11488    55322 |     3829      512     25 |  0.002 % |
0.07/0.12	c |       622 |     884    11488    55322 |     3829      622     25 |  0.003 % |
0.07/0.13	c |       746 |     884    11488    55322 |     3829      746     26 |  0.000 % |
0.07/0.13	c |       846 |     884    11488    55322 |     3829      846     26 |  0.000 % |
0.07/0.14	c |       957 |     884    11488    55322 |     3829      957     26 |  0.000 % |
0.07/0.15	c |      1078 |     884    11488    55322 |     3829     1078     26 |  0.000 % |
0.07/0.15	c |      1212 |     884    11488    55322 |     3829     1212     26 |  0.003 % |
0.07/0.16	c |      1312 |     884    11488    55322 |     3829     1312     27 |  0.003 % |
0.07/0.17	c |      1422 |     884    11488    55322 |     3829     1422     27 |  0.000 % |
0.07/0.17	c |      1544 |     884    11488    55322 |     3829     1544     27 |  0.000 % |
0.07/0.18	c |      1680 |     884    11488    55322 |     3829     1680     27 |  0.000 % |
0.07/0.19	c |      1828 |     884    11488    55322 |     3829     1828     27 |  0.000 % |
0.07/0.19	c |      1928 |     884    11488    55322 |     3829     1928     27 |  0.000 % |
0.07/0.20	c |      2039 |     884    11488    55322 |     3829     2039     27 |  0.000 % |
0.07/0.21	c |      2160 |     884    11488    55322 |     3829     2160     27 |  0.000 % |
0.07/0.22	c |      2293 |     884    11488    55322 |     3829     2293     27 |  0.000 % |
0.07/0.22	c |      2440 |     884    11488    55322 |     3829     2440     27 |  0.000 % |
0.07/0.23	c |      2600 |     884    11488    55322 |     3829     2600     27 |  0.000 % |
0.07/0.24	c |      2701 |     884    11488    55322 |     3829     2701     27 |  0.000 % |
0.07/0.25	c |      2812 |     884    11488    55322 |     3829     2812     27 |  0.000 % |
0.07/0.26	c |      2933 |     884    11488    55322 |     3829     2933     27 |  0.000 % |
0.07/0.27	c |      3066 |     884    11488    55322 |     3829     3066     27 |  0.000 % |
0.07/0.28	c |      3213 |     884    11488    55322 |     3829     3213     27 |  0.003 % |
0.07/0.30	c |      3373 |     884    11488    55322 |     3829     3373     27 |  0.000 % |
0.07/0.31	c |      3551 |     884    11488    55322 |     3829     3551     28 |  0.000 % |
0.07/0.32	c |      3651 |     884    11488    55322 |     3829     3651     28 |  0.002 % |
0.07/0.33	c |      3761 |     884    11488    55322 |     3829     3761     28 |  0.003 % |
0.07/0.34	c |      3882 |     884    11488    55322 |     3829     3882     28 |  0.000 % |
0.07/0.35	c |      4017 |     884    11488    55322 |     3829     3629     27 |  0.000 % |
0.07/0.36	c |      4164 |     884    11488    55322 |     3829     3776     27 |  0.000 % |
0.07/0.38	c |      4325 |     884    11488    55322 |     3829     3937     28 |  0.000 % |
0.07/0.39	c |      4501 |     884    11488    55322 |     3829     3720     27 |  0.000 % |
0.07/0.41	c |      4694 |     884    11488    55322 |     3829     3913     27 |  0.003 % |
0.07/0.42	c |      4794 |     884    11488    55322 |     3829     3622     27 |  0.000 % |
0.07/0.43	c |      4906 |     884    11488    55322 |     3829     3734     27 |  0.000 % |
0.07/0.44	c |      5027 |     884    11488    55322 |     3829     3855     27 |  0.000 % |
0.07/0.45	c |      5160 |     884    11488    55322 |     3829     3603     26 |  0.003 % |
0.07/0.46	c |      5306 |     884    11488    55322 |     3829     3749     26 |  0.003 % |
0.07/0.48	c |      5467 |     884    11488    55322 |     3829     3910     26 |  0.003 % |
0.07/0.49	c |      5644 |     884    11488    55322 |     3829     3696     26 |  0.000 % |
0.07/0.51	c |      5839 |     884    11488    55322 |     3829     3891     26 |  0.000 % |
0.07/0.53	c |      6051 |     884    11488    55322 |     3829     3714     26 |  0.000 % |
0.07/0.54	c |      6151 |     884    11488    55322 |     3829     3814     26 |  0.002 % |
0.07/0.55	c |      6263 |     884    11488    55322 |     3829     3926     27 |  0.000 % |
0.07/0.56	c |      6385 |     884    11488    55322 |     3829     3656     26 |  0.000 % |
0.07/0.57	c |      6519 |     884    11488    55322 |     3829     3790     26 |  0.000 % |
0.07/0.58	c |      6665 |     884    11488    55322 |     3829     3936     26 |  0.003 % |
0.07/0.60	c |      6825 |     884    11488    55322 |     3829     3703     26 |  0.000 % |
0.07/0.62	c |      7001 |     884    11488    55322 |     3829     3879     26 |  0.000 % |
0.07/0.63	c |      7194 |     884    11488    55322 |     3829     3685     25 |  0.000 % |
0.07/0.65	c |      7406 |     884    11488    55322 |     3829     3897     25 |  0.000 % |
0.07/0.68	c |      7643 |     884    11488    55322 |     3829     3745     25 |  0.000 % |
0.07/0.69	c |      7744 |     884    11488    55322 |     3829     3846     25 |  0.000 % |
0.07/0.70	c |      7856 |     884    11488    55322 |     3829     3574     25 |  0.002 % |
0.07/0.71	c |      7978 |     884    11488    55322 |     3829     3696     25 |  0.000 % |
0.07/0.72	c |      8111 |     884    11488    55322 |     3829     3829     26 |  0.000 % |
0.07/0.73	c |      8257 |     884    11488    55322 |     3829     3593     25 |  0.002 % |
0.07/0.75	c |      8418 |     884    11488    55322 |     3829     3754     25 |  0.000 % |
0.07/0.76	c |      8594 |     884    11488    55322 |     3829     3930     26 |  0.000 % |
0.07/0.78	c |      8787 |     884    11488    55322 |     3829     3730     25 |  0.000 % |
0.07/0.80	c |      8999 |     884    11488    55322 |     3829     3942     25 |  0.000 % |
0.07/0.82	c |      9233 |     884    11488    55322 |     3829     3782     25 |  0.000 % |
0.07/0.85	c |      9490 |     884    11488    55322 |     3829     3641     25 |  0.000 % |
0.07/0.86	c |      9590 |     884    11488    55322 |     3829     3741     26 |  0.000 % |
0.07/0.87	c |      9701 |     884    11488    55322 |     3829     3852     26 |  0.002 % |
0.07/0.88	c |      9825 |     884    11488    55322 |     3829     3591     25 |  0.000 % |
0.07/0.89	c |      9959 |     884    11488    55322 |     3829     3725     25 |  0.000 % |
0.07/0.91	c |     10105 |     884    11488    55322 | 2147483647     3871     25 |  0.000 % |
0.07/0.92	c |     10265 |     884    11488    55322 | 2147483647     4031     26 |  0.000 % |
0.07/0.94	c |     10441 |     884    11488    55322 | 2147483647     4207     26 |  0.000 % |
0.07/0.96	c |     10634 |     884    11488    55322 | 2147483647     4400     26 |  0.000 % |
0.07/0.98	c |     10846 |     884    11488    55322 | 2147483647     4612     27 |  0.000 % |
0.98/1.01	c |     11084 |     884    11488    55322 | 2147483647     4850     27 |  0.000 % |
0.98/1.04	c |     11342 |     884    11488    55322 | 2147483647     5108     28 |  0.003 % |
0.98/1.08	c |     11625 |     884    11488    55322 | 2147483647     5391     28 |  0.000 % |
0.98/1.09	c |     11726 |     884    11488    55322 | 2147483647     5492     28 |  0.000 % |
0.98/1.10	c |     11837 |     884    11488    55322 | 2147483647     5603     28 |  0.000 % |
1.08/1.12	c |     11959 |     884    11488    55322 | 2147483647     5725     28 |  0.000 % |
1.08/1.13	c |     12093 |     884    11488    55322 | 2147483647     5859     28 |  0.000 % |
1.08/1.15	c |     12240 |     884    11488    55322 | 2147483647     6006     29 |  0.003 % |
1.08/1.17	c |     12400 |     884    11488    55322 | 2147483647     6166     29 |  0.000 % |
1.08/1.19	c |     12576 |     884    11488    55322 | 2147483647     6342     29 |  0.000 % |
1.18/1.22	c |     12772 |     884    11488    55322 | 2147483647     6538     29 |  0.002 % |
1.18/1.24	c |     12984 |     884    11488    55322 | 2147483647     6750     29 |  0.003 % |
1.18/1.28	c |     13217 |     884    11488    55322 | 2147483647     6983     30 |  0.000 % |
1.28/1.31	c |     13475 |     884    11488    55322 | 2147483647     7241     30 |  0.000 % |
1.28/1.36	c |     13756 |     884    11488    55322 | 2147483647     7522     30 |  0.000 % |
1.38/1.40	c |     14065 |     884    11488    55322 | 2147483647     7831     30 |  0.000 % |
1.38/1.42	c |     14165 |     884    11488    55322 | 2147483647     7931     30 |  0.000 % |
1.38/1.44	c |     14275 |     884    11488    55322 | 2147483647     8041     30 |  0.000 % |
1.38/1.46	c |     14397 |     884    11488    55322 | 2147483647     8163     30 |  0.000 % |
1.38/1.48	c |     14532 |     884    11488    55322 | 2147483647     8298     31 |  0.000 % |
1.48/1.50	c |     14679 |     884    11488    55322 | 2147483647     8445     30 |  0.000 % |
1.48/1.53	c |     14840 |     884    11488    55322 | 2147483647     8606     30 |  0.003 % |
1.48/1.56	c |     15016 |     884    11488    55322 | 2147483647     8782     30 |  0.002 % |
1.58/1.60	c |     15209 |     884    11488    55322 | 2147483647     8975     30 |  0.000 % |
1.58/1.63	c |     15421 |     884    11488    55322 | 2147483647     9187     30 |  0.000 % |
1.58/1.67	c |     15654 |     884    11488    55322 | 2147483647     9420     30 |  0.000 % |
1.68/1.71	c |     15911 |     884    11488    55322 | 2147483647     9677     31 |  0.000 % |
1.68/1.76	c |     16192 |     884    11488    55322 | 2147483647     9958     31 |  0.000 % |
1.78/1.81	c |     16504 |     884    11488    55322 | 2147483647    10270     31 |  0.000 % |
1.78/1.87	c |     16844 |     884    11488    55322 | 2147483647    10610     31 |  0.002 % |
1.78/1.89	c |     16945 |     884    11488    55322 | 2147483647    10711     31 |  0.000 % |
1.88/1.91	c |     17055 |     884    11488    55322 | 2147483647    10821     31 |  0.000 % |
1.88/1.93	c |     17177 |     884    11488    55322 | 2147483647    10943     31 |  0.002 % |
1.88/1.96	c |     17310 |     884    11488    55322 | 2147483647    11076     31 |  0.002 % |
1.88/1.99	c |     17457 |     884    11488    55322 | 2147483647    11223     31 |  0.002 % |
1.97/2.03	c |     17617 |     884    11488    55322 | 2147483647    11383     31 |  0.002 % |
1.97/2.06	c |     17794 |     884    11488    55322 | 2147483647    11560     32 |  0.000 % |
2.08/2.10	c |     17989 |     884    11488    55322 | 2147483647    11755     32 |  0.000 % |
2.08/2.14	c |     18201 |     884    11488    55322 | 2147483647    11967     32 |  0.000 % |
2.08/2.20	c |     18434 |     884    11488    55322 | 2147483647    12200     32 |  0.000 % |
2.18/2.25	c |     18692 |     884    11488    55322 | 2147483647    12458     32 |  0.000 % |
2.27/2.31	c |     18973 |     884    11488    55322 | 2147483647    12739     32 |  0.000 % |
2.27/2.38	c |     19283 |     884    11488    55322 | 2147483647    13049     32 |  0.000 % |
2.37/2.45	c |     19622 |     884    11488    55322 | 2147483647    13388     32 |  0.000 % |
2.47/2.53	c |     19994 |     884    11488    55322 | 2147483647    13760     33 |  0.000 % |
2.47/2.56	c |     20094 |     884    11488    55322 | 2147483647    13860     33 |  0.000 % |
2.47/2.60	c |     20204 |     884    11488    55322 | 2147483647    13970     33 |  0.000 % |
2.57/2.62	c |     20325 |     884    11488    55322 | 2147483647    14091     33 |  0.000 % |
2.57/2.66	c |     20458 |     884    11488    55322 | 2147483647    14224     33 |  0.000 % |
2.67/2.71	c |     20604 |     884    11488    55322 | 2147483647    14370     33 |  0.000 % |
2.67/2.75	c |     20764 |     884    11488    55322 | 2147483647    14530     33 |  0.000 % |
2.67/2.79	c |     20941 |     884    11488    55322 | 2147483647    14707     33 |  0.000 % |
2.77/2.85	c |     21135 |     884    11488    55322 | 2147483647    14901     33 |  0.000 % |
2.87/2.90	c |     21351 |     884    11488    55322 | 2147483647    15117     33 |  0.000 % |
2.87/2.96	c |     21585 |     884    11488    55322 | 2147483647    15351     33 |  0.000 % |
2.97/3.02	c |     21841 |     884    11488    55322 | 2147483647    15607     33 |  0.002 % |
2.97/3.09	c |     22122 |     884    11488    55322 | 2147483647    15888     33 |  0.002 % |
3.07/3.17	c |     22431 |     884    11488    55322 | 2147483647    16197     33 |  0.000 % |
3.17/3.26	c |     22771 |     884    11488    55322 | 2147483647    16537     33 |  0.000 % |
3.27/3.34	c |     23143 |     884    11488    55322 | 2147483647    16909     33 |  0.000 % |
3.37/3.47	c |     23552 |     884    11488    55322 | 2147483647    17318     33 |  0.000 % |
3.47/3.50	c |     23652 |     884    11488    55322 | 2147483647    17418     33 |  0.000 % |
3.47/3.53	c |     23763 |     884    11488    55322 | 2147483647    17529     34 |  0.000 % |
3.47/3.57	c |     23885 |     884    11488    55322 | 2147483647    17651     34 |  0.003 % |
3.57/3.61	c |     24018 |     884    11488    55322 | 2147483647    17784     34 |  0.000 % |
3.57/3.66	c |     24164 |     884    11488    55322 | 2147483647    17930     34 |  0.000 % |
3.67/3.71	c |     24325 |     884    11488    55322 | 2147483647    18091     34 |  0.000 % |
3.67/3.77	c |     24501 |     884    11488    55322 | 2147483647    18267     34 |  0.000 % |
3.77/3.85	c |     24698 |     884    11488    55322 | 2147483647    18464     34 |  0.002 % |
3.87/3.91	c |     24913 |     884    11488    55322 | 2147483647    18679     34 |  0.000 % |
3.87/3.99	c |     25147 |     884    11488    55322 | 2147483647    18913     34 |  0.000 % |
3.97/4.08	c |     25405 |     884    11488    55322 | 2147483647    19171     34 |  0.000 % |
4.07/4.15	c |     25686 |     884    11488    55322 | 2147483647    19452     34 |  0.002 % |
4.17/4.28	c |     25997 |     884    11488    55322 | 2147483647    19763     34 |  0.000 % |
4.37/4.42	c |     26336 |     884    11488    55322 | 2147483647    20102     34 |  0.000 % |
4.46/4.59	c |     26712 |     884    11488    55322 | 2147483647    20478     34 |  0.000 % |
4.66/4.75	c |     27121 |     884    11488    55322 | 2147483647    20887     34 |  0.000 % |
4.86/4.93	c |     27574 |     884    11488    55322 | 2147483647    21340     34 |  0.000 % |
4.86/4.98	c |     27675 |     884    11488    55322 | 2147483647    21441     34 |  0.000 % |
4.96/5.01	c |     27786 |     884    11488    55322 | 2147483647    21552     34 |  0.002 % |
4.96/5.07	c |     27907 |     884    11488    55322 | 2147483647    21673     34 |  0.000 % |
5.06/5.12	c |     28040 |     884    11488    55322 | 2147483647    21806     34 |  0.000 % |
5.06/5.19	c |     28187 |     884    11488    55322 | 2147483647    21953     34 |  0.000 % |
5.16/5.25	c |     28350 |     884    11488    55322 | 2147483647    22116     34 |  0.000 % |
5.26/5.33	c |     28526 |     884    11488    55322 | 2147483647    22292     34 |  0.000 % |
5.26/5.40	c |     28721 |     884    11488    55322 | 2147483647    22487     34 |  0.000 % |
5.37/5.48	c |     28933 |     884    11488    55322 | 2147483647    22699     34 |  0.002 % |
5.47/5.57	c |     29169 |     884    11488    55322 | 2147483647    22935     34 |  0.000 % |
5.56/5.67	c |     29427 |     884    11488    55322 | 2147483647    23193     34 |  0.000 % |
5.66/5.78	c |     29709 |     884    11488    55322 | 2147483647    23475     34 |  0.000 % |
5.86/5.92	c |     30018 |     884    11488    55322 | 2147483647    23784     34 |  0.003 % |
5.96/6.05	c |     30358 |     884    11488    55322 | 2147483647    24124     34 |  0.000 % |
6.16/6.23	c |     30730 |     884    11488    55322 | 2147483647    24496     34 |  0.000 % |
6.26/6.39	c |     31139 |     884    11488    55322 | 2147483647    24905     34 |  0.002 % |
6.47/6.57	c |     31588 |     884    11488    55322 | 2147483647    25354     34 |  0.000 % |
6.76/6.80	c |     32081 |     884    11488    55322 | 2147483647    25847     34 |  0.000 % |
6.76/6.86	c |     32185 |     884    11488    55322 | 2147483647    25951     34 |  0.000 % |
6.86/6.90	c |     32295 |     884    11488    55322 | 2147483647    26061     34 |  0.000 % |
6.86/6.97	c |     32418 |     884    11488    55322 | 2147483647    26184     34 |  0.000 % |
6.96/7.03	c |     32551 |     884    11488    55322 | 2147483647    26317     34 |  0.000 % |
7.06/7.10	c |     32697 |     884    11488    55322 | 2147483647    26463     34 |  0.003 % |
7.06/7.18	c |     32858 |     884    11488    55322 | 2147483647    26624     34 |  0.000 % |
7.16/7.25	c |     33034 |     884    11488    55322 | 2147483647    26800     34 |  0.003 % |
7.26/7.36	c |     33228 |     884    11488    55322 | 2147483647    26994     34 |  0.003 % |
7.36/7.45	c |     33440 |     884    11488    55322 | 2147483647    27206     34 |  0.000 % |
7.46/7.58	c |     33673 |     884    11488    55322 | 2147483647    27439     35 |  0.000 % |
7.66/7.72	c |     33929 |     884    11488    55322 | 2147483647    27695     35 |  0.000 % |
7.76/7.89	c |     34210 |     884    11488    55322 | 2147483647    27976     35 |  0.003 % |
7.96/8.05	c |     34519 |     884    11488    55322 | 2147483647    28285     35 |  0.000 % |
8.16/8.21	c |     34859 |     884    11488    55322 | 2147483647    28625     35 |  0.002 % |
8.36/8.42	c |     35231 |     884    11488    55322 | 2147483647    28997     35 |  0.000 % |
8.56/8.66	c |     35640 |     884    11488    55322 | 2147483647    29406     35 |  0.000 % |
8.86/8.90	c |     36090 |     884    11488    55322 | 2147483647    29856     35 |  0.000 % |
9.06/9.18	c |     36583 |     884    11488    55322 | 2147483647    30349     35 |  0.000 % |
9.36/9.45	c |     37125 |     884    11488    55322 | 2147483647    30891     35 |  0.002 % |
9.46/9.51	c |     37225 |     884    11488    55322 | 2147483647    30991     35 |  0.000 % |
9.46/9.57	c |     37335 |     884    11488    55322 | 2147483647    31101     35 |  0.002 % |
9.56/9.64	c |     37456 |     884    11488    55322 | 2147483647    31222     35 |  0.000 % |
9.66/9.72	c |     37590 |     884    11488    55322 | 2147483647    31356     35 |  0.000 % |
9.76/9.80	c |     37737 |     884    11488    55322 | 2147483647    31503     35 |  0.002 % |
9.86/9.91	c |     37899 |     884    11488    55322 | 2147483647    31665     35 |  0.000 % |
9.96/10.03	c |     38075 |     884    11488    55322 | 2147483647    31841     35 |  0.002 % |
10.06/10.18	c |     38271 |     884    11488    55322 | 2147483647    32037     35 |  0.003 % |
10.26/10.32	c |     38483 |     884    11488    55322 | 2147483647    32249     35 |  0.002 % |
10.36/10.48	c |     38719 |     884    11488    55322 | 2147483647    32485     35 |  0.000 % |
10.55/10.63	c |     38975 |     884    11488    55322 | 2147483647    32741     35 |  0.000 % |
10.75/10.82	c |     39258 |     884    11488    55322 | 2147483647    33024     35 |  0.000 % |
10.86/11.00	c |     39567 |     884    11488    55322 | 2147483647    33333     35 |  0.000 % |
11.15/11.21	c |     39908 |     884    11488    55322 | 2147483647    33674     35 |  0.002 % |
11.35/11.45	c |     40280 |     884    11488    55322 |    33768    27808     34 |  0.000 % |
11.55/11.67	c |     40690 |     884    11488    55322 |    33768    28218     34 |  0.000 % |
11.85/11.91	c |     41142 |     884    11488    55322 |    33768    28670     34 |  0.000 % |
12.07/12.19	c |     41636 |     884    11488    55322 |    33768    29164     34 |  0.000 % |
12.36/12.48	c |     42180 |     884    11488    55322 |    33768    29708     34 |  0.000 % |
12.76/12.80	c |     42776 |     884    11488    55322 |    33768    30304     35 |  0.000 % |
12.76/12.85	c |     42876 |     884    11488    55322 |    33768    30404     35 |  0.000 % |
12.86/12.93	c |     42986 |     884    11488    55322 |    33768    30514     35 |  0.000 % |
12.96/13.01	c |     43108 |     884    11488    55322 |    33768    30636     35 |  0.000 % |
12.96/13.06	c |     43243 |     884    11488    55322 |    33768    30771     35 |  0.000 % |
13.07/13.15	c |     43389 |     884    11488    55322 |    33768    30917     35 |  0.000 % |
13.17/13.23	c |     43549 |     884    11488    55322 |    33768    31077     35 |  0.000 % |
13.26/13.33	c |     43726 |     884    11488    55322 |    33768    31254     35 |  0.000 % |
13.36/13.47	c |     43919 |     884    11488    55322 |    33768    31447     35 |  0.000 % |
13.46/13.59	c |     44131 |     884    11488    55322 |    33768    31659     35 |  0.000 % |
13.66/13.71	c |     44367 |     884    11488    55322 |    33768    31895     35 |  0.002 % |
13.76/13.88	c |     44626 |     884    11488    55322 |    33768    32154     35 |  0.000 % |
13.96/14.03	c |     44907 |     884    11488    55322 |    33768    32435     35 |  0.000 % |
14.16/14.22	c |     45217 |     884    11488    55322 |    33768    32745     35 |  0.000 % |
14.36/14.44	c |     45560 |     884    11488    55322 |    33768    33088     35 |  0.000 % |
14.56/14.66	c |     45932 |     884    11488    55322 |    33768    33460     35 |  0.002 % |
14.86/14.97	c |     46342 |     884    11488    55322 |    33768    33870     35 |  0.000 % |
15.16/15.23	c |     46792 |     884    11488    55322 |    33768    27121     33 |  0.000 % |
15.46/15.51	c |     47286 |     884    11488    55322 |    33768    27615     33 |  0.000 % |
15.76/15.81	c |     47829 |     884    11488    55322 |    33768    28158     33 |  0.000 % |
16.06/16.17	c |     48426 |     884    11488    55322 |    33768    28755     33 |  0.000 % |
16.46/16.54	c |     49084 |     884    11488    55322 |    33768    29413     34 |  0.000 % |
16.46/16.59	c |     49184 |     884    11488    55322 |    33768    29513     34 |  0.000 % |
16.56/16.66	c |     49294 |     884    11488    55322 |    33768    29623     34 |  0.000 % |
16.66/16.72	c |     49416 |     884    11488    55322 |    33768    29745     34 |  0.000 % |
16.76/16.82	c |     49549 |     884    11488    55322 |    33768    29878     34 |  0.000 % |
16.86/16.91	c |     49695 |     884    11488    55322 |    33768    30024     34 |  0.003 % |
16.96/17.01	c |     49856 |     884    11488    55322 |    33768    30185     34 |  0.000 % |
17.06/17.10	c |     50033 |     884    11488    55322 |    30330    30362     34 |  0.000 % |
17.16/17.22	c |     50226 |     884    11488    55322 |    30330    23985     32 |  0.000 % |
17.26/17.33	c |     50438 |     884    11488    55322 |    30330    24197     32 |  0.000 % |
17.36/17.46	c |     50671 |     884    11488    55322 |    30330    24430     32 |  0.000 % |
17.46/17.58	c |     50928 |     884    11488    55322 |    30330    24687     32 |  0.000 % |
17.56/17.68	c |     51209 |     884    11488    55322 |    30330    24968     32 |  0.000 % |
17.75/17.84	c |     51520 |     884    11488    55322 |    30330    25279     33 |  0.000 % |
17.96/18.02	c |     51860 |     884    11488    55322 |    30330    25619     33 |  0.003 % |
18.16/18.20	c |     52232 |     884    11488    55322 |    30330    25991     33 |  0.000 % |
18.36/18.42	c |     52643 |     884    11488    55322 |    30330    26402     33 |  0.000 % |
18.56/18.61	c |     53096 |     884    11488    55322 |    30330    26855     33 |  0.000 % |
18.86/18.92	c |     53592 |     884    11488    55322 |    30330    27351     33 |  0.003 % |
19.15/19.21	c |     54136 |     884    11488    55322 |    30330    27895     33 |  0.002 % |
19.45/19.55	c |     54735 |     884    11488    55322 |    30330    28494     33 |  0.000 % |
19.76/19.89	c |     55393 |     884    11488    55322 |    30330    29152     33 |  0.003 % |
20.15/20.26	c |     56115 |     884    11488    55322 |    30330    29874     33 |  0.000 % |
20.25/20.31	c |     56215 |     884    11488    55322 |    30330    29974     33 |  0.000 % |
20.25/20.38	c |     56325 |     884    11488    55322 |    30330    30084     33 |  0.000 % |
20.35/20.45	c |     56446 |     884    11488    55322 |    30330    30205     33 |  0.000 % |
20.45/20.54	c |     56580 |     884    11488    55322 |    30330    30339     34 |  0.000 % |
20.55/20.65	c |     56727 |     884    11488    55322 |    30330    24140     32 |  0.002 % |
20.65/20.74	c |     56887 |     884    11488    55322 |    30330    24300     32 |  0.000 % |
20.76/20.84	c |     57063 |     884    11488    55322 |    30330    24476     32 |  0.000 % |
20.86/20.93	c |     57258 |     884    11488    55322 |    30330    24671     32 |  0.002 % |
20.95/21.04	c |     57470 |     884    11488    55322 |    30330    24883     32 |  0.000 % |
21.05/21.14	c |     57705 |     884    11488    55322 |    30330    25118     32 |  0.002 % |
21.15/21.25	c |     57962 |     884    11488    55322 |    30330    25375     32 |  0.000 % |
21.25/21.37	c |     58243 |     884    11488    55322 |    30330    25656     32 |  0.000 % |
21.45/21.51	c |     58553 |     884    11488    55322 |    30330    25966     32 |  0.000 % |
21.65/21.71	c |     58893 |     884    11488    55322 |    30330    26306     32 |  0.003 % |
21.86/21.91	c |     59266 |     884    11488    55322 |    30330    26679     32 |  0.000 % |
22.05/22.14	c |     59677 |     884    11488    55322 |    30330    27090     32 |  0.000 % |
22.25/22.36	c |     60127 |     884    11488    55322 |    27414    27540     32 |  0.000 % |
22.55/22.60	c |     60620 |     884    11488    55322 |    27414    22393     30 |  0.000 % |
22.75/22.83	c |     61165 |     884    11488    55322 |    27414    22938     31 |  0.000 % |
22.95/23.07	c |     61762 |     884    11488    55322 |    27414    23535     31 |  0.000 % |
23.25/23.39	c |     62419 |     884    11488    55322 |    27414    24192     31 |  0.000 % |
23.65/23.78	c |     63140 |     884    11488    55322 |    27414    24913     31 |  0.000 % |
24.15/24.22	c |     63933 |     884    11488    55322 |    27414    25706     32 |  0.000 % |
24.15/24.26	c |     64033 |     884    11488    55322 |    27414    25806     32 |  0.000 % |
24.25/24.32	c |     64144 |     884    11488    55322 |    27414    25917     32 |  0.000 % |
24.25/24.38	c |     64267 |     884    11488    55322 |    27414    26040     32 |  0.000 % |
24.35/24.46	c |     64400 |     884    11488    55322 |    27414    26173     32 |  0.000 % |
24.45/24.54	c |     64547 |     884    11488    55322 |    27414    26320     32 |  0.000 % |
24.55/24.64	c |     64707 |     884    11488    55322 |    27414    26480     32 |  0.003 % |
24.65/24.73	c |     64883 |     884    11488    55322 |    27414    26656     32 |  0.000 % |
24.75/24.82	c |     65076 |     884    11488    55322 |    27414    26849     32 |  0.000 % |
24.85/24.94	c |     65288 |     884    11488    55322 |    27414    27061     32 |  0.000 % |
24.94/25.08	c |     65521 |     884    11488    55322 |    27414    27294     32 |  0.000 % |
25.15/25.23	c |     65778 |     884    11488    55322 |    27414    27551     32 |  0.000 % |
25.25/25.38	c |     66061 |     884    11488    55322 |    27414    22680     31 |  0.003 % |
25.44/25.54	c |     66370 |     884    11488    55322 |    27414    22989     31 |  0.003 % |
25.64/25.72	c |     66710 |     884    11488    55322 |    27414    23329     31 |  0.000 % |
25.84/25.91	c |     67082 |     884    11488    55322 |    27414    23701     31 |  0.000 % |
26.04/26.13	c |     67491 |     884    11488    55322 |    27414    24110     31 |  0.002 % |
26.25/26.37	c |     67940 |     884    11488    55322 |    27414    24559     31 |  0.000 % |
26.54/26.60	c |     68433 |     884    11488    55322 |    27414    25052     31 |  0.000 % |
26.74/26.88	c |     68975 |     884    11488    55322 |    27414    25594     32 |  0.000 % |
27.14/27.21	c |     69571 |     884    11488    55322 |    27414    26190     32 |  0.000 % |
27.45/27.56	c |     70231 |     884    11488    55322 |    26619    21743     30 |  0.003 % |
27.74/27.86	c |     70951 |     884    11488    55322 |    26619    22463     30 |  0.000 % |
28.14/28.28	c |     71743 |     884    11488    55322 |    26619    23255     31 |  0.000 % |
28.64/28.75	c |     72614 |     884    11488    55322 |    26619    24126     31 |  0.000 % |
28.74/28.81	c |     72714 |     884    11488    55322 |    26619    24226     31 |  0.000 % |
28.74/28.86	c |     72824 |     884    11488    55322 |    26619    24336     31 |  0.000 % |
28.84/28.93	c |     72946 |     884    11488    55322 |    26619    24458     31 |  0.000 % |
28.84/28.99	c |     73080 |     884    11488    55322 |    26619    24592     31 |  0.000 % |
28.94/29.08	c |     73226 |     884    11488    55322 |    26619    24738     31 |  0.000 % |
29.04/29.16	c |     73387 |     884    11488    55322 |    26619    24899     31 |  0.000 % |
29.14/29.27	c |     73564 |     884    11488    55322 |    26619    25076     32 |  0.000 % |
29.24/29.39	c |     73758 |     884    11488    55322 |    26619    25270     32 |  0.000 % |
29.44/29.50	c |     73971 |     884    11488    55322 |    26619    25483     32 |  0.002 % |
29.54/29.64	c |     74207 |     884    11488    55322 |    26619    25719     32 |  0.000 % |
29.74/29.80	c |     74463 |     884    11488    55322 |    26619    25975     32 |  0.000 % |
29.84/29.97	c |     74744 |     884    11488    55322 |    26619    26256     32 |  0.000 % |
30.04/30.14	c |     75053 |     884    11488    55322 |    26619    26565     32 |  0.000 % |
30.24/30.31	c |     75392 |     884    11488    55322 |    26619    21843     31 |  0.000 % |
30.34/30.49	c |     75764 |     884    11488    55322 |    26619    22215     31 |  0.000 % |
30.54/30.70	c |     76174 |     884    11488    55322 |    26619    22625     31 |  0.000 % |
30.74/30.88	c |     76624 |     884    11488    55322 |    26619    23075     31 |  0.000 % |
31.04/31.13	c |     77120 |     884    11488    55322 |    26619    23571     31 |  0.003 % |
31.24/31.39	c |     77665 |     884    11488    55322 |    26619    24116     32 |  0.000 % |
31.54/31.69	c |     78261 |     884    11488    55322 |    26619    24712     32 |  0.003 % |
31.94/32.01	c |     78916 |     884    11488    55322 |    26619    25367     32 |  0.000 % |
32.34/32.42	c |     79637 |     884    11488    55322 |    26619    26088     32 |  0.000 % |
32.74/32.84	c |     80429 |     884    11488    55322 |    26451    21940     30 |  0.002 % |
33.14/33.27	c |     81301 |     884    11488    55322 |    26451    22812     31 |  0.000 % |
33.64/33.73	c |     82260 |     884    11488    55322 |    26451    23771     31 |  0.000 % |
33.64/33.78	c |     82362 |     884    11488    55322 |    26451    23873     32 |  0.000 % |
33.73/33.82	c |     82473 |     884    11488    55322 |    26451    23984     32 |  0.000 % |
33.73/33.89	c |     82594 |     884    11488    55322 |    26451    24105     32 |  0.002 % |
33.83/33.95	c |     82727 |     884    11488    55322 |    26451    24238     32 |  0.000 % |
33.94/34.03	c |     82874 |     884    11488    55322 |    26451    24385     32 |  0.000 % |
34.04/34.11	c |     83034 |     884    11488    55322 |    26451    24545     32 |  0.000 % |
34.13/34.21	c |     83210 |     884    11488    55322 |    26451    24721     32 |  0.002 % |
34.23/34.33	c |     83405 |     884    11488    55322 |    26451    24916     32 |  0.000 % |
34.33/34.43	c |     83617 |     884    11488    55322 |    26451    25128     32 |  0.000 % |
34.43/34.55	c |     83852 |     884    11488    55322 |    26451    25363     32 |  0.000 % |
34.53/34.67	c |     84108 |     884    11488    55322 |    26451    25619     32 |  0.000 % |
34.73/34.80	c |     84389 |     884    11488    55322 |    26451    25900     32 |  0.000 % |
34.83/34.94	c |     84699 |     884    11488    55322 |    26451    26210     32 |  0.002 % |
35.04/35.16	c |     85038 |     884    11488    55322 |    26451    26549     33 |  0.003 % |
35.23/35.34	c |     85412 |     884    11488    55322 |    26451    21998     31 |  0.000 % |
35.43/35.54	c |     85821 |     884    11488    55322 |    26451    22407     31 |  0.000 % |
35.63/35.78	c |     86270 |     884    11488    55322 |    26451    22856     31 |  0.000 % |
35.93/36.03	c |     86766 |     884    11488    55322 |    26451    23352     32 |  0.000 % |
36.14/36.29	c |     87308 |     884    11488    55322 |    26451    23894     32 |  0.000 % |
36.43/36.60	c |     87904 |     884    11488    55322 |    26451    24490     32 |  0.000 % |
36.83/36.95	c |     88559 |     884    11488    55322 |    26451    25145     33 |  0.000 % |
37.24/37.31	c |     89280 |     884    11488    55322 |    26451    25866     33 |  0.000 % |
37.63/37.76	c |     90072 |     884    11488    55322 |    21680    21752     31 |  0.000 % |
38.03/38.11	c |     90944 |     884    11488    55322 |    21680    18628     29 |  0.002 % |
38.44/38.58	c |     91903 |     884    11488    55322 |    21680    19587     30 |  0.000 % |
38.93/39.02	c |     92957 |     884    11488    55322 |    21680    20641     30 |  0.000 % |
38.93/39.06	c |     93057 |     884    11488    55322 |    21680    20741     30 |  0.000 % |
39.03/39.12	c |     93168 |     884    11488    55322 |    21680    20852     30 |  0.002 % |
39.03/39.17	c |     93292 |     884    11488    55322 |    21680    20976     30 |  0.000 % |
39.13/39.23	c |     93426 |     884    11488    55322 |    21680    21110     31 |  0.000 % |
39.23/39.30	c |     93572 |     884    11488    55322 |    21680    21256     31 |  0.000 % |
39.23/39.37	c |     93733 |     884    11488    55322 |    21680    21417     31 |  0.002 % |
39.33/39.45	c |     93909 |     884    11488    55322 |    21680    21593     31 |  0.000 % |
39.43/39.54	c |     94102 |     884    11488    55322 |    21680    21786     31 |  0.000 % |
39.53/39.66	c |     94314 |     884    11488    55322 |    21680    18516     29 |  0.000 % |
39.63/39.74	c |     94547 |     884    11488    55322 |    21680    18749     29 |  0.000 % |
39.73/39.86	c |     94803 |     884    11488    55322 |    21680    19005     29 |  0.000 % |
39.83/39.97	c |     95084 |     884    11488    55322 |    21680    19286     29 |  0.000 % |
39.93/40.08	c |     95397 |     884    11488    55322 |    21680    19599     29 |  0.002 % |
40.13/40.20	c |     95741 |     884    11488    55322 |    21680    19943     30 |  0.000 % |
40.23/40.36	c |     96113 |     884    11488    55322 |    21680    20315     30 |  0.000 % |
40.43/40.52	c |     96524 |     884    11488    55322 |    21680    20726     30 |  0.000 % |
40.63/40.71	c |     96973 |     884    11488    55322 |    21680    21175     30 |  0.003 % |
40.83/40.90	c |     97466 |     884    11488    55322 |    21680    21668     30 |  0.000 % |
41.03/41.14	c |     98008 |     884    11488    55322 |    21680    19004     29 |  0.000 % |
41.23/41.32	c |     98605 |     884    11488    55322 |    21680    19601     29 |  0.002 % |
41.43/41.58	c |     99263 |     884    11488    55322 |    21680    20259     29 |  0.000 % |
41.73/41.86	c |     99984 |     884    11488    55322 |    21680    20980     29 |  0.000 % |
42.03/42.15	c |    100777 |     884    11488    55322 |    20998    18852     28 |  0.000 % |
42.33/42.48	c |    101648 |     884    11488    55322 |    20998    19723     28 |  0.000 % |
42.73/42.89	c |    102606 |     884    11488    55322 |    20998    20681     29 |  0.000 % |
43.23/43.34	c |    103659 |     884    11488    55322 |    20998    19289     28 |  0.000 % |
43.63/43.79	c |    104818 |     884    11488    55322 |    20998    20448     29 |  0.000 % |
43.73/43.83	c |    104918 |     884    11488    55322 |    20998    20548     29 |  0.000 % |
43.73/43.88	c |    105029 |     884    11488    55322 |    20998    20659     29 |  0.000 % |
43.83/43.93	c |    105151 |     884    11488    55322 |    20998    20781     29 |  0.002 % |
43.83/43.99	c |    105288 |     884    11488    55322 |    20998    20918     29 |  0.000 % |
43.93/44.06	c |    105439 |     884    11488    55322 |    20998    21069     29 |  0.000 % |
44.03/44.13	c |    105599 |     884    11488    55322 |    20998    18974     28 |  0.000 % |
44.03/44.19	c |    105775 |     884    11488    55322 |    20998    19150     29 |  0.002 % |
44.13/44.27	c |    105970 |     884    11488    55322 |    20998    19345     29 |  0.003 % |
44.23/44.36	c |    106183 |     884    11488    55322 |    20998    19558     29 |  0.002 % |
44.33/44.46	c |    106417 |     884    11488    55322 |    20998    19792     29 |  0.000 % |
44.43/44.56	c |    106673 |     884    11488    55322 |    20998    20048     29 |  0.000 % |
44.53/44.67	c |    106954 |     884    11488    55322 |    20998    20329     29 |  0.000 % |
44.73/44.80	c |    107264 |     884    11488    55322 |    20998    20639     29 |  0.000 % |
44.83/44.95	c |    107603 |     884    11488    55322 |    20998    20978     30 |  0.000 % |
45.03/45.13	c |    107975 |     884    11488    55322 |    20998    19023     29 |  0.000 % |
45.13/45.29	c |    108384 |     884    11488    55322 |    20998    19432     29 |  0.000 % |
45.33/45.47	c |    108836 |     884    11488    55322 |    20998    19884     29 |  0.000 % |
45.63/45.71	c |    109330 |     884    11488    55322 |    20998    20378     29 |  0.000 % |
45.83/45.92	c |    109874 |     884    11488    55322 |    20998    20922     30 |  0.000 % |
46.03/46.16	c |    110470 |     884    11488    55322 |    21048    19101     29 |  0.000 % |
46.33/46.41	c |    111128 |     884    11488    55322 |    21048    19759     30 |  0.000 % |
46.63/46.70	c |    111849 |     884    11488    55322 |    21048    20480     30 |  0.000 % |
46.93/47.06	c |    112642 |     884    11488    55322 |    21048    18655     30 |  0.000 % |
47.33/47.46	c |    113516 |     884    11488    55322 |    21048    19529     30 |  0.000 % |
47.73/47.82	c |    114474 |     884    11488    55322 |    21048    20487     31 |  0.000 % |
48.13/48.27	c |    115528 |     884    11488    55322 |    21048    19054     30 |  0.002 % |
48.63/48.73	c |    116687 |     884    11488    55322 |    21048    20213     31 |  0.000 % |
49.13/49.25	c |    117960 |     884    11488    55322 |    21048    18999     30 |  0.000 % |
49.23/49.30	c |    118061 |     884    11488    55322 |    21048    19100     30 |  0.000 % |
49.23/49.35	c |    118171 |     884    11488    55322 |    21048    19210     30 |  0.003 % |
49.33/49.41	c |    118292 |     884    11488    55322 |    21048    19331     30 |  0.003 % |
49.33/49.48	c |    118425 |     884    11488    55322 |    21048    19464     30 |  0.000 % |
49.43/49.55	c |    118571 |     884    11488    55322 |    21048    19610     30 |  0.000 % |
49.52/49.61	c |    118731 |     884    11488    55322 |    21048    19770     30 |  0.003 % |
49.52/49.68	c |    118907 |     884    11488    55322 |    21048    19946     30 |  0.000 % |
49.62/49.76	c |    119101 |     884    11488    55322 |    21048    20140     31 |  0.000 % |
49.72/49.86	c |    119315 |     884    11488    55322 |    21048    20354     31 |  0.003 % |
49.82/49.99	c |    119548 |     884    11488    55322 |    21048    20587     31 |  0.000 % |
50.02/50.11	c |    119804 |     884    11488    55322 |    21048    20843     31 |  0.003 % |
50.12/50.23	c |    120085 |     884    11488    55322 |    21039    21124     31 |  0.000 % |
50.22/50.35	c |    120394 |     884    11488    55322 |    21039    18896     30 |  0.002 % |
50.32/50.47	c |    120734 |     884    11488    55322 |    21039    19236     30 |  0.000 % |
50.53/50.62	c |    121106 |     884    11488    55322 |    21039    19608     30 |  0.000 % |
50.62/50.78	c |    121515 |     884    11488    55322 |    21039    20017     30 |  0.000 % |
50.82/50.98	c |    121965 |     884    11488    55322 |    21039    20467     30 |  0.003 % |
51.12/51.22	c |    122458 |     884    11488    55322 |    21039    20960     31 |  0.000 % |
51.32/51.43	c |    123001 |     884    11488    55322 |    21039    18906     29 |  0.000 % |
51.53/51.62	c |    123597 |     884    11488    55322 |    21039    19502     29 |  0.002 % |
51.72/51.89	c |    124252 |     884    11488    55322 |    21039    20157     30 |  0.000 % |
52.12/52.28	c |    124973 |     884    11488    55322 |    21039    20878     30 |  0.000 % |
52.52/52.61	c |    125766 |     884    11488    55322 |    21039    19145     29 |  0.000 % |
52.82/52.98	c |    126637 |     884    11488    55322 |    21039    20016     29 |  0.000 % |
53.22/53.37	c |    127595 |     884    11488    55322 |    21039    20974     30 |  0.000 % |
53.62/53.77	c |    128648 |     884    11488    55322 |    21039    19643     29 |  0.002 % |
54.13/54.21	c |    129807 |     884    11488    55322 |    21039    20802     30 |  0.000 % |
54.73/54.81	c |    131081 |     884    11488    55322 |    20996    19717     29 |  0.002 % |
55.23/55.31	c |    132484 |     884    11488    55322 |    20996    21120     30 |  0.002 % |
55.23/55.38	c |    132584 |     884    11488    55322 |    20996    18839     29 |  0.000 % |
55.33/55.43	c |    132694 |     884    11488    55322 |    20996    18949     29 |  0.000 % |
55.33/55.47	c |    132817 |     884    11488    55322 |    20996    19072     29 |  0.002 % |
55.43/55.53	c |    132952 |     884    11488    55322 |    20996    19207     29 |  0.000 % |
55.53/55.60	c |    133098 |     884    11488    55322 |    20996    19353     29 |  0.000 % |
55.53/55.67	c |    133258 |     884    11488    55322 |    20996    19513     29 |  0.003 % |
55.63/55.75	c |    133434 |     884    11488    55322 |    20996    19689     29 |  0.000 % |
55.73/55.84	c |    133629 |     884    11488    55322 |    20996    19884     29 |  0.000 % |
55.83/55.91	c |    133844 |     884    11488    55322 |    20996    20099     30 |  0.000 % |
55.93/56.01	c |    134079 |     884    11488    55322 |    20996    20334     30 |  0.000 % |
56.03/56.11	c |    134335 |     884    11488    55322 |    20996    20590     30 |  0.002 % |
56.13/56.25	c |    134616 |     884    11488    55322 |    20996    20871     30 |  0.000 % |
56.33/56.41	c |    134925 |     884    11488    55322 |    20996    18867     29 |  0.000 % |
56.43/56.55	c |    135264 |     884    11488    55322 |    20996    19206     29 |  0.000 % |
56.63/56.71	c |    135637 |     884    11488    55322 |    20996    19579     29 |  0.000 % |
56.73/56.89	c |    136048 |     884    11488    55322 |    20996    19990     30 |  0.000 % |
56.93/57.03	c |    136498 |     884    11488    55322 |    20996    20440     30 |  0.002 % |
57.13/57.26	c |    136992 |     884    11488    55322 |    20996    20934     30 |  0.000 % |
57.32/57.46	c |    137534 |     884    11488    55322 |    20996    19226     29 |  0.002 % |
57.62/57.71	c |    138133 |     884    11488    55322 |    20996    19825     30 |  0.003 % |
57.82/57.99	c |    138788 |     884    11488    55322 |    20996    20480     30 |  0.000 % |
58.23/58.30	c |    139509 |     884    11488    55322 |    20996    18903     28 |  0.000 % |
58.52/58.62	c |    140301 |     884    11488    55322 |    19394    17573     28 |  0.002 % |
58.82/58.95	c |    141174 |     884    11488    55322 |    19394    18446     28 |  0.000 % |
59.23/59.36	c |    142132 |     884    11488    55322 |    19394    19404     29 |  0.003 % |
59.62/59.76	c |    143186 |     884    11488    55322 |    19394    18518     28 |  0.000 % |
60.12/60.27	c |    144344 |     884    11488    55322 |    19394    17725     28 |  0.000 % |
60.62/60.71	c |    145617 |     884    11488    55322 |    19394    18998     29 |  0.000 % |
61.12/61.26	c |    147018 |     884    11488    55322 |    19394    18448     28 |  0.000 % |
61.62/61.72	c |    148559 |     884    11488    55322 |    19394    18034     28 |  0.002 % |
61.62/61.76	c |    148660 |     884    11488    55322 |    19394    18135     28 |  0.000 % |
61.62/61.80	c |    148770 |     884    11488    55322 |    19394    18245     28 |  0.002 % |
61.72/61.84	c |    148893 |     884    11488    55322 |    19394    18368     28 |  0.000 % |
61.72/61.89	c |    149026 |     884    11488    55322 |    19394    18501     28 |  0.000 % |
61.82/61.94	c |    149172 |     884    11488    55322 |    19394    18647     28 |  0.002 % |
61.82/61.99	c |    149332 |     884    11488    55322 |    19394    18807     28 |  0.003 % |
61.92/62.05	c |    149508 |     884    11488    55322 |    19394    18983     28 |  0.000 % |
62.02/62.12	c |    149706 |     884    11488    55322 |    19394    19181     28 |  0.000 % |
62.02/62.20	c |    149918 |     884    11488    55322 |    19394    19393     28 |  0.000 % |
62.12/62.27	c |    150151 |     884    11488    55322 | 2147483647    19626     29 |  0.003 % |
62.22/62.36	c |    150407 |     884    11488    55322 | 2147483647    19882     29 |  0.000 % |
62.32/62.49	c |    150689 |     884    11488    55322 | 2147483647    20164     29 |  0.000 % |
62.52/62.61	c |    150999 |     884    11488    55322 | 2147483647    20474     29 |  0.000 % |
62.62/62.76	c |    151338 |     884    11488    55322 | 2147483647    20813     29 |  0.000 % |
62.82/62.95	c |    151711 |     884    11488    55322 | 2147483647    21186     30 |  0.000 % |
63.02/63.13	c |    152122 |     884    11488    55322 | 2147483647    21597     30 |  0.000 % |
63.22/63.34	c |    152572 |     884    11488    55322 | 2147483647    22047     30 |  0.000 % |
63.42/63.55	c |    153065 |     884    11488    55322 | 2147483647    22540     30 |  0.002 % |
63.62/63.79	c |    153607 |     884    11488    55322 | 2147483647    23082     30 |  0.000 % |
64.02/64.12	c |    154205 |     884    11488    55322 | 2147483647    23680     31 |  0.000 % |
64.32/64.49	c |    154863 |     884    11488    55322 | 2147483647    24338     31 |  0.000 % |
64.82/64.91	c |    155584 |     884    11488    55322 | 2147483647    25059     32 |  0.000 % |
65.12/65.22	c |    156376 |     884    11488    55322 | 2147483647    25851     32 |  0.002 % |
65.62/65.73	c |    157247 |     884    11488    55322 | 2147483647    26722     32 |  0.000 % |
66.02/66.19	c |    158206 |     884    11488    55322 | 2147483647    27681     33 |  0.000 % |
66.62/66.76	c |    159259 |     884    11488    55322 | 2147483647    28734     33 |  0.000 % |
67.32/67.47	c |    160418 |     884    11488    55322 |    29478    25892     33 |  0.000 % |
67.92/68.07	c |    161692 |     884    11488    55322 |    29478    27166     33 |  0.000 % |
68.72/68.80	c |    163092 |     884    11488    55322 |    29478    28566     33 |  0.000 % |
69.42/69.57	c |    164635 |     884    11488    55322 |    29478    25146     32 |  0.002 % |
70.32/70.48	c |    166329 |     884    11488    55322 |    29478    26840     33 |  0.000 % |
70.42/70.54	c |    166429 |     884    11488    55322 |    29478    26940     33 |  0.000 % |
70.52/70.60	c |    166539 |     884    11488    55322 |    29478    27050     33 |  0.000 % |
70.52/70.67	c |    166661 |     884    11488    55322 |    29478    27172     33 |  0.003 % |
70.62/70.76	c |    166794 |     884    11488    55322 |    29478    27305     33 |  0.000 % |
70.72/70.88	c |    166941 |     884    11488    55322 |    29478    27452     33 |  0.000 % |
70.82/70.99	c |    167102 |     884    11488    55322 |    29478    27613     33 |  0.000 % |
71.02/71.13	c |    167278 |     884    11488    55322 |    29478    27789     33 |  0.000 % |
71.12/71.26	c |    167471 |     884    11488    55322 |    29478    27982     33 |  0.000 % |
71.22/71.38	c |    167683 |     884    11488    55322 |    29478    28194     33 |  0.000 % |
71.42/71.53	c |    167916 |     884    11488    55322 |    29478    28427     33 |  0.000 % |
71.62/71.71	c |    168172 |     884    11488    55322 |    29478    28683     33 |  0.000 % |
71.81/71.90	c |    168453 |     884    11488    55322 |    29478    28964     33 |  0.000 % |
72.01/72.17	c |    168766 |     884    11488    55322 |    29478    29277     34 |  0.000 % |
72.31/72.47	c |    169106 |     884    11488    55322 |    29478    24205     32 |  0.000 % |
72.61/72.71	c |    169478 |     884    11488    55322 |    29478    24577     32 |  0.000 % |
72.81/72.93	c |    169887 |     884    11488    55322 |    29478    24986     32 |  0.000 % |
73.11/73.21	c |    170336 |     884    11488    55322 |    25100    20874     30 |  0.000 % |
73.31/73.47	c |    170831 |     884    11488    55322 |    25100    21369     30 |  0.000 % |
73.62/73.71	c |    171374 |     884    11488    55322 |    25100    21912     31 |  0.000 % |
73.81/73.99	c |    171972 |     884    11488    55322 |    25100    22510     31 |  0.000 % |
74.21/74.33	c |    172629 |     884    11488    55322 |    25100    23167     31 |  0.000 % |
74.51/74.70	c |    173349 |     884    11488    55322 |    25100    23887     32 |  0.000 % |
75.01/75.16	c |    174141 |     884    11488    55322 |    25100    24679     32 |  0.000 % |
75.51/75.64	c |    175013 |     884    11488    55322 |    25100    21494     30 |  0.000 % |
75.81/75.99	c |    175972 |     884    11488    55322 |    25100    22453     30 |  0.002 % |
76.21/76.39	c |    177025 |     884    11488    55322 |    25100    23506     31 |  0.000 % |
76.81/76.91	c |    178184 |     884    11488    55322 |    25100    24665     31 |  0.002 % |
77.51/77.65	c |    179458 |     884    11488    55322 |    25100    22228     31 |  0.000 % |
78.21/78.38	c |    180860 |     884    11488    55322 |    22773    20349     30 |  0.000 % |
79.01/79.15	c |    182400 |     884    11488    55322 |    22773    21889     31 |  0.000 % |
79.81/79.96	c |    184095 |     884    11488    55322 |    22773    20701     31 |  0.000 % |
80.61/80.76	c |    185959 |     884    11488    55322 |    22773    22565     31 |  0.000 % |
80.71/80.82	c |    186060 |     884    11488    55322 |    22773    22666     31 |  0.000 % |
80.71/80.86	c |    186170 |     884    11488    55322 |    22773    22776     31 |  0.003 % |
80.81/80.91	c |    186293 |     884    11488    55322 |    22773    19993     30 |  0.000 % |
80.81/80.96	c |    186429 |     884    11488    55322 |    22773    20129     30 |  0.000 % |
80.91/81.03	c |    186575 |     884    11488    55322 |    22773    20275     30 |  0.000 % |
80.91/81.09	c |    186737 |     884    11488    55322 |    22773    20437     30 |  0.002 % |
81.01/81.16	c |    186913 |     884    11488    55322 |    22773    20613     30 |  0.000 % |
81.11/81.28	c |    187108 |     884    11488    55322 |    22773    20808     31 |  0.000 % |
81.21/81.39	c |    187320 |     884    11488    55322 |    22773    21020     31 |  0.000 % |
81.41/81.52	c |    187555 |     884    11488    55322 |    22773    21255     31 |  0.000 % |
81.51/81.63	c |    187815 |     884    11488    55322 |    22773    21515     31 |  0.002 % |
81.61/81.77	c |    188097 |     884    11488    55322 |    22773    21797     31 |  0.000 % |
81.71/81.89	c |    188406 |     884    11488    55322 |    22773    22106     31 |  0.003 % |
81.91/82.06	c |    188745 |     884    11488    55322 |    22773    22445     32 |  0.000 % |
82.11/82.22	c |    189117 |     884    11488    55322 |    22773    22817     32 |  0.000 % |
82.21/82.39	c |    189526 |     884    11488    55322 |    22773    20350     31 |  0.000 % |
82.41/82.57	c |    189975 |     884    11488    55322 |    22773    20799     31 |  0.000 % |
82.71/82.81	c |    190469 |     884    11488    55322 |    20824    18652     30 |  0.002 % |
82.91/83.07	c |    191011 |     884    11488    55322 |    20824    19194     30 |  0.000 % |
83.11/83.29	c |    191607 |     884    11488    55322 |    20824    19790     30 |  0.002 % |
83.51/83.61	c |    192265 |     884    11488    55322 |    20824    20448     31 |  0.000 % |
83.91/84.04	c |    192985 |     884    11488    55322 |    20824    18870     30 |  0.000 % |
84.31/84.47	c |    193777 |     884    11488    55322 |    20824    19662     30 |  0.000 % |
84.70/84.88	c |    194649 |     884    11488    55322 |    20824    20534     31 |  0.003 % |
85.20/85.31	c |    195608 |     884    11488    55322 |    20824    19248     30 |  0.000 % |
85.61/85.79	c |    196662 |     884    11488    55322 |    20824    20302     30 |  0.000 % |
86.20/86.33	c |    197823 |     884    11488    55322 |    20824    19320     30 |  0.000 % |
86.81/86.92	c |    199097 |     884    11488    55322 |    20824    20594     31 |  0.000 % |
87.30/87.40	c |    200498 |     884    11488    55322 | 2147483647    19898     31 |  0.003 % |
87.91/88.06	c |    202041 |     884    11488    55322 | 2147483647    21441     31 |  0.000 % |
88.50/88.69	c |    203735 |     884    11488    55322 | 2147483647    23135     32 |  0.002 % |
89.60/89.71	c |    205598 |     884    11488    55322 | 2147483647    24998     33 |  0.000 % |
90.60/90.70	c |    207650 |     884    11488    55322 | 2147483647    27050     33 |  0.002 % |
90.60/90.78	c |    207751 |     884    11488    55322 | 2147483647    27151     33 |  0.000 % |
90.70/90.86	c |    207861 |     884    11488    55322 | 2147483647    27261     33 |  0.000 % |
90.80/90.96	c |    207984 |     884    11488    55322 | 2147483647    27384     33 |  0.000 % |
90.90/91.07	c |    208122 |     884    11488    55322 | 2147483647    27522     33 |  0.000 % |
91.00/91.19	c |    208270 |     884    11488    55322 | 2147483647    27670     33 |  0.000 % |
91.10/91.30	c |    208431 |     884    11488    55322 | 2147483647    27831     33 |  0.000 % |
91.30/91.44	c |    208608 |     884    11488    55322 | 2147483647    28008     33 |  0.000 % |
91.40/91.58	c |    208802 |     884    11488    55322 | 2147483647    28202     33 |  0.000 % |
91.60/91.73	c |    209015 |     884    11488    55322 | 2147483647    28415     33 |  0.000 % |
91.70/91.85	c |    209248 |     884    11488    55322 | 2147483647    28648     33 |  0.000 % |
91.90/92.01	c |    209507 |     884    11488    55322 | 2147483647    28907     34 |  0.000 % |
92.00/92.14	c |    209788 |     884    11488    55322 | 2147483647    29188     34 |  0.003 % |
92.20/92.33	c |    210098 |     884    11488    55322 |    29400    29498     34 |  0.000 % |
92.40/92.52	c |    210438 |     884    11488    55322 |    29400    25546     32 |  0.000 % |
92.60/92.71	c |    210811 |     884    11488    55322 |    29400    25919     32 |  0.000 % |
92.80/92.97	c |    211220 |     884    11488    55322 |    29400    26328     32 |  0.000 % |
93.00/93.18	c |    211669 |     884    11488    55322 |    29400    26777     33 |  0.002 % |
93.40/93.52	c |    212163 |     884    11488    55322 |    29400    27271     33 |  0.000 % |
93.70/93.81	c |    212706 |     884    11488    55322 |    29400    27814     33 |  0.000 % |
94.10/94.21	c |    213302 |     884    11488    55322 |    29400    28410     33 |  0.000 % |
94.50/94.64	c |    213958 |     884    11488    55322 |    29400    29066     33 |  0.000 % |
95.00/95.19	c |    214679 |     884    11488    55322 |    29400    24676     31 |  0.000 % |
95.50/95.62	c |    215471 |     884    11488    55322 |    29400    25468     32 |  0.000 % |
96.00/96.12	c |    216344 |     884    11488    55322 |    29400    26341     32 |  0.003 % |
96.50/96.63	c |    217303 |     884    11488    55322 |    29400    27300     32 |  0.000 % |
97.10/97.22	c |    218356 |     884    11488    55322 |    29400    28353     33 |  0.000 % |
97.80/97.97	c |    219514 |     884    11488    55322 |    29400    29511     33 |  0.000 % |
98.40/98.52	c |    220787 |     884    11488    55322 |    24737    21120     30 |  0.003 % |
99.10/99.24	c |    222187 |     884    11488    55322 |    24737    22520     30 |  0.000 % |
99.90/100.03	c |    223727 |     884    11488    55322 |    24737    24060     31 |  0.003 % |
100.70/100.85	c |    225421 |     884    11488    55322 |    24737    22006     30 |  0.003 % |
101.60/101.71	c |    227288 |     884    11488    55322 |    24737    23873     31 |  0.000 % |
102.70/102.82	c |    229337 |     884    11488    55322 |    24737    22372     31 |  0.000 % |
103.90/104.01	c |    231590 |     884    11488    55322 |    23035    21361     31 |  0.000 % |
103.90/104.05	c |    231692 |     884    11488    55322 |    23035    21463     31 |  0.003 % |
104.00/104.10	c |    231802 |     884    11488    55322 |    23035    21573     31 |  0.000 % |
104.00/104.18	c |    231923 |     884    11488    55322 |    23035    21694     31 |  0.000 % |
104.10/104.26	c |    232056 |     884    11488    55322 |    23035    21827     31 |  0.000 % |
104.20/104.31	c |    232204 |     884    11488    55322 |    23035    21975     31 |  0.003 % |
104.30/104.41	c |    232364 |     884    11488    55322 |    23035    22135     32 |  0.000 % |
104.30/104.49	c |    232540 |     884    11488    55322 |    23035    22311     32 |  0.000 % |
104.40/104.57	c |    232734 |     884    11488    55322 |    23035    22505     32 |  0.000 % |
104.50/104.69	c |    232947 |     884    11488    55322 |    23035    22718     32 |  0.000 % |
104.70/104.80	c |    233180 |     884    11488    55322 |    23035    22951     32 |  0.000 % |
104.80/104.96	c |    233436 |     884    11488    55322 |    23035    20148     31 |  0.000 % |
104.90/105.07	c |    233717 |     884    11488    55322 |    23035    20429     31 |  0.003 % |
105.09/105.22	c |    234027 |     884    11488    55322 |    23035    20739     31 |  0.000 % |
105.19/105.34	c |    234367 |     884    11488    55322 |    23035    21079     32 |  0.000 % |
105.40/105.50	c |    234739 |     884    11488    55322 |    23035    21451     32 |  0.000 % |
105.59/105.71	c |    235150 |     884    11488    55322 |    23035    21862     32 |  0.000 % |
105.79/105.95	c |    235599 |     884    11488    55322 |    23035    22311     32 |  0.000 % |
105.99/106.16	c |    236092 |     884    11488    55322 |    23035    22804     32 |  0.000 % |
106.19/106.39	c |    236634 |     884    11488    55322 |    23035    20459     32 |  0.003 % |
106.50/106.63	c |    237231 |     884    11488    55322 |    23035    21056     32 |  0.000 % |
106.79/106.94	c |    237888 |     884    11488    55322 |    23035    21713     33 |  0.000 % |
107.19/107.31	c |    238609 |     884    11488    55322 |    23035    22434     33 |  0.000 % |
107.60/107.72	c |    239403 |     884    11488    55322 |    23035    20423     33 |  0.000 % |
107.99/108.15	c |    240274 |     884    11488    55322 |    21021    18728     32 |  0.000 % |
108.39/108.58	c |    241232 |     884    11488    55322 |    21021    19686     32 |  0.000 % |
108.89/109.04	c |    242286 |     884    11488    55322 |    21021    20740     33 |  0.000 % |
109.49/109.60	c |    243444 |     884    11488    55322 |    21021    19527     32 |  0.000 % |
110.09/110.22	c |    244717 |     884    11488    55322 |    21021    20800     33 |  0.000 % |
110.59/110.73	c |    246117 |     884    11488    55322 |    21021    19875     32 |  0.000 % |
111.29/111.41	c |    247657 |     884    11488    55322 |    21021    19242     32 |  0.000 % |
112.00/112.20	c |    249351 |     884    11488    55322 |    21021    20936     33 |  0.000 % |
112.89/113.06	c |    251215 |     884    11488    55322 |    19393    18592     32 |  0.000 % |
113.89/114.02	c |    253266 |     884    11488    55322 |    19393    18695     31 |  0.000 % |
114.89/115.03	c |    255519 |     884    11488    55322 |    19393    18998     32 |  0.000 % |
115.59/115.76	c |    257999 |     884    11488    55322 |    19393    19526     32 |  0.002 % |
115.69/115.81	c |    258101 |     884    11488    55322 |    19393    17676     30 |  0.000 % |
115.69/115.86	c |    258211 |     884    11488    55322 |    19393    17786     31 |  0.000 % |
115.79/115.92	c |    258332 |     884    11488    55322 |    19393    17907     31 |  0.000 % |
115.79/115.98	c |    258466 |     884    11488    55322 |    19393    18041     31 |  0.000 % |
115.89/116.05	c |    258612 |     884    11488    55322 |    19393    18187     31 |  0.000 % |
115.99/116.13	c |    258775 |     884    11488    55322 |    19393    18350     31 |  0.000 % |
116.09/116.24	c |    258951 |     884    11488    55322 |    19393    18526     31 |  0.000 % |
116.18/116.35	c |    259145 |     884    11488    55322 |    19393    18720     31 |  0.000 % |
116.28/116.45	c |    259359 |     884    11488    55322 |    19393    18934     31 |  0.000 % |
116.39/116.55	c |    259593 |     884    11488    55322 |    19393    19168     31 |  0.000 % |
116.49/116.63	c |    259849 |     884    11488    55322 |    19393    19424     32 |  0.002 % |
116.58/116.76	c |    260131 |     884    11488    55322 | 2147483647    17764     30 |  0.000 % |
116.68/116.88	c |    260440 |     884    11488    55322 | 2147483647    18073     31 |  0.000 % |
116.88/117.02	c |    260780 |     884    11488    55322 | 2147483647    18413     31 |  0.000 % |
116.98/117.17	c |    261152 |     884    11488    55322 | 2147483647    18785     31 |  0.000 % |
117.18/117.33	c |    261561 |     884    11488    55322 | 2147483647    19194     31 |  0.000 % |
117.28/117.48	c |    262010 |     884    11488    55322 | 2147483647    19643     32 |  0.002 % |
117.49/117.64	c |    262504 |     884    11488    55322 | 2147483647    20137     32 |  0.000 % |
117.68/117.87	c |    263046 |     884    11488    55322 | 2147483647    20679     32 |  0.000 % |
117.88/118.07	c |    263643 |     884    11488    55322 | 2147483647    21276     32 |  0.000 % |
118.18/118.38	c |    264298 |     884    11488    55322 | 2147483647    21931     33 |  0.000 % |
118.59/118.75	c |    265018 |     884    11488    55322 | 2147483647    22651     33 |  0.000 % |
118.98/119.15	c |    265812 |     884    11488    55322 | 2147483647    23445     33 |  0.000 % |
119.38/119.59	c |    266683 |     884    11488    55322 | 2147483647    24316     34 |  0.003 % |
119.88/120.08	c |    267643 |     884    11488    55322 | 2147483647    25276     34 |  0.000 % |
120.58/120.71	c |    268696 |     884    11488    55322 | 2147483647    26329     35 |  0.000 % |
121.38/121.56	c |    269857 |     884    11488    55322 | 2147483647    27490     35 |  0.000 % |
122.38/122.51	c |    271131 |     884    11488    55322 |    27634    25655     35 |  0.000 % |
123.18/123.36	c |    272531 |     884    11488    55322 |    27634    27055     35 |  0.000 % |
123.78/123.98	c |    274071 |     884    11488    55322 |    27634    24594     34 |  0.000 % |
124.68/124.82	c |    275766 |     884    11488    55322 |    27634    26289     35 |  0.000 % |
125.78/125.96	c |    277629 |     884    11488    55322 |    27634    23968     34 |  0.000 % |
126.78/126.95	c |    279678 |     884    11488    55322 |    27634    26017     35 |  0.000 % |
128.18/128.34	c |    281932 |     884    11488    55322 |    26342    24258     34 |  0.000 % |
129.58/129.77	c |    284411 |     884    11488    55322 |    26342    22641     33 |  0.000 % |
131.18/131.38	c |    287137 |     884    11488    55322 |    26342    25367     34 |  0.000 % |
131.28/131.45	c |    287239 |     884    11488    55322 |    26342    25469     34 |  0.000 % |
131.38/131.52	c |    287352 |     884    11488    55322 |    26342    25582     34 |  0.000 % |
131.48/131.61	c |    287474 |     884    11488    55322 |    26342    25704     34 |  0.000 % |
131.48/131.69	c |    287608 |     884    11488    55322 |    26342    25838     34 |  0.000 % |
131.58/131.77	c |    287754 |     884    11488    55322 |    26342    25984     34 |  0.000 % |
131.67/131.85	c |    287915 |     884    11488    55322 |    26342    26145     34 |  0.000 % |
131.78/131.95	c |    288092 |     884    11488    55322 |    26342    26322     34 |  0.000 % |
131.88/132.06	c |    288289 |     884    11488    55322 |    26342    22395     33 |  0.002 % |
131.97/132.14	c |    288501 |     884    11488    55322 |    26342    22607     33 |  0.000 % |
132.07/132.26	c |    288735 |     884    11488    55322 |    26342    22841     33 |  0.000 % |
132.17/132.37	c |    288991 |     884    11488    55322 |    26342    23097     33 |  0.000 % |
132.37/132.55	c |    289273 |     884    11488    55322 |    26342    23379     33 |  0.000 % |
132.57/132.76	c |    289582 |     884    11488    55322 |    26342    23688     33 |  0.000 % |
132.77/132.93	c |    289922 |     884    11488    55322 |    26342    24028     33 |  0.000 % |
132.98/133.14	c |    290295 |     884    11488    55322 |    24107    20585     32 |  0.000 % |
133.17/133.37	c |    290705 |     884    11488    55322 |    24107    20995     32 |  0.000 % |
133.37/133.58	c |    291156 |     884    11488    55322 |    24107    21446     32 |  0.000 % |
133.67/133.87	c |    291649 |     884    11488    55322 |    24107    21939     32 |  0.000 % |
133.98/134.16	c |    292193 |     884    11488    55322 |    24107    22483     33 |  0.000 % |
134.37/134.51	c |    292790 |     884    11488    55322 |    24107    23080     33 |  0.000 % |
134.67/134.83	c |    293446 |     884    11488    55322 |    24107    23736     33 |  0.000 % |
134.97/135.20	c |    294167 |     884    11488    55322 |    24107    21137     32 |  0.000 % |
135.47/135.63	c |    294960 |     884    11488    55322 |    24107    21930     33 |  0.000 % |
136.07/136.24	c |    295832 |     884    11488    55322 |    24107    22802     33 |  0.000 % |
136.57/136.77	c |    296792 |     884    11488    55322 |    24107    23762     34 |  0.000 % |
137.28/137.48	c |    297845 |     884    11488    55322 |    24107    21376     33 |  0.000 % |
137.77/137.99	c |    299003 |     884    11488    55322 |    24107    22534     33 |  0.000 % |
138.27/138.50	c |    300278 |     884    11488    55322 |    23531    20573     32 |  0.002 % |
139.07/139.26	c |    301678 |     884    11488    55322 |    23531    21973     33 |  0.000 % |
139.87/140.08	c |    303219 |     884    11488    55322 |    23531    23514     34 |  0.000 % |
140.87/141.08	c |    304913 |     884    11488    55322 |    23531    21986     33 |  0.000 % |
141.97/142.14	c |    306777 |     884    11488    55322 |    23531    20590     33 |  0.000 % |
143.07/143.29	c |    308826 |     884    11488    55322 |    23531    22639     34 |  0.000 % |
144.27/144.47	c |    311081 |     884    11488    55322 |    20548    18798     32 |  0.000 % |
145.17/145.34	c |    313560 |     884    11488    55322 |    20548    19073     31 |  0.002 % |
146.27/146.43	c |    316285 |     884    11488    55322 |    20548    19731     30 |  0.002 % |
147.77/147.93	c |    319282 |     884    11488    55322 |    20548    18600     30 |  0.000 % |
147.77/147.98	c |    319383 |     884    11488    55322 |    20548    18701     30 |  0.000 % |
147.87/148.03	c |    319493 |     884    11488    55322 |    20548    18811     30 |  0.000 % |
147.87/148.08	c |    319614 |     884    11488    55322 |    20548    18932     30 |  0.000 % |
147.97/148.14	c |    319747 |     884    11488    55322 |    20548    19065     30 |  0.000 % |
148.07/148.21	c |    319896 |     884    11488    55322 |    20548    19214     31 |  0.000 % |
148.07/148.28	c |    320056 |     884    11488    55322 | 2147483647    19374     31 |  0.000 % |
148.17/148.34	c |    320233 |     884    11488    55322 | 2147483647    19551     31 |  0.002 % |
148.27/148.43	c |    320426 |     884    11488    55322 | 2147483647    19744     31 |  0.000 % |
148.37/148.53	c |    320638 |     884    11488    55322 | 2147483647    19956     31 |  0.000 % |
148.47/148.65	c |    320871 |     884    11488    55322 | 2147483647    20189     31 |  0.000 % |
148.57/148.78	c |    321127 |     884    11488    55322 | 2147483647    20445     31 |  0.000 % |
148.77/148.90	c |    321410 |     884    11488    55322 | 2147483647    20728     31 |  0.000 % |
148.87/149.01	c |    321720 |     884    11488    55322 | 2147483647    21038     32 |  0.000 % |
148.97/149.19	c |    322060 |     884    11488    55322 | 2147483647    21378     32 |  0.000 % |
149.17/149.33	c |    322433 |     884    11488    55322 | 2147483647    21751     32 |  0.002 % |
149.37/149.55	c |    322844 |     884    11488    55322 | 2147483647    22162     32 |  0.000 % |
149.67/149.82	c |    323293 |     884    11488    55322 | 2147483647    22611     33 |  0.000 % |
149.97/150.10	c |    323787 |     884    11488    55322 | 2147483647    23105     33 |  0.000 % |
150.27/150.42	c |    324334 |     884    11488    55322 | 2147483647    23652     33 |  0.000 % |
150.57/150.77	c |    324931 |     884    11488    55322 | 2147483647    24249     33 |  0.000 % |
150.97/151.15	c |    325588 |     884    11488    55322 | 2147483647    24906     34 |  0.000 % |
151.27/151.43	c |    326308 |     884    11488    55322 | 2147483647    25626     34 |  0.002 % |
151.67/151.81	c |    327103 |     884    11488    55322 | 2147483647    26421     34 |  0.000 % |
152.26/152.44	c |    327974 |     884    11488    55322 | 2147483647    27292     35 |  0.000 % |
152.86/153.08	c |    328934 |     884    11488    55322 | 2147483647    28252     35 |  0.000 % |
153.56/153.80	c |    329989 |     884    11488    55322 | 2147483647    29307     36 |  0.000 % |
154.36/154.55	c |    331148 |     884    11488    55322 |    29319    26137     35 |  0.000 % |
155.16/155.36	c |    332422 |     884    11488    55322 |    29319    27411     35 |  0.000 % |
156.07/156.23	c |    333822 |     884    11488    55322 |    29319    28811     36 |  0.000 % |
156.96/157.20	c |    335363 |     884    11488    55322 |    29319    25265     36 |  0.000 % |
158.17/158.40	c |    337057 |     884    11488    55322 |    29319    26959     37 |  0.000 % |
159.06/159.29	c |    338920 |     884    11488    55322 |    29319    28822     37 |  0.002 % |
160.36/160.53	c |    340969 |     884    11488    55322 |    24581    21062     33 |  0.003 % |
161.57/161.73	c |    343223 |     884    11488    55322 |    24581    23316     35 |  0.000 % |
163.06/163.29	c |    345701 |     884    11488    55322 |    24581    21829     33 |  0.000 % |
164.56/164.77	c |    348428 |     884    11488    55322 |    24581    24556     34 |  0.000 % |
166.16/166.30	c |    351428 |     884    11488    55322 |    22400    20506     32 |  0.000 % |
167.86/168.05	c |    354725 |     884    11488    55322 |    22400    20897     33 |  0.000 % |
167.86/168.09	c |    354825 |     884    11488    55322 |    22400    20997     33 |  0.000 % |
167.97/168.14	c |    354935 |     884    11488    55322 |    22400    21107     33 |  0.000 % |
168.07/168.22	c |    355056 |     884    11488    55322 |    22400    21228     33 |  0.000 % |
168.07/168.28	c |    355189 |     884    11488    55322 |    22400    21361     33 |  0.002 % |
168.17/168.35	c |    355335 |     884    11488    55322 |    22400    21507     33 |  0.003 % |
168.27/168.41	c |    355496 |     884    11488    55322 |    22400    21668     33 |  0.000 % |
168.37/168.50	c |    355672 |     884    11488    55322 |    22400    21844     33 |  0.000 % |
168.37/168.56	c |    355868 |     884    11488    55322 |    22400    22040     34 |  0.000 % |
168.47/168.67	c |    356080 |     884    11488    55322 |    22400    22252     34 |  0.000 % |
168.67/168.80	c |    356313 |     884    11488    55322 |    22400    22485     34 |  0.003 % |
168.77/168.92	c |    356569 |     884    11488    55322 |    22400    19965     32 |  0.000 % |
168.87/169.05	c |    356852 |     884    11488    55322 |    22400    20248     32 |  0.000 % |
169.07/169.21	c |    357161 |     884    11488    55322 |    22400    20557     32 |  0.000 % |
169.17/169.34	c |    357501 |     884    11488    55322 |    22400    20897     32 |  0.000 % |
169.27/169.48	c |    357873 |     884    11488    55322 |    22400    21269     33 |  0.002 % |
169.47/169.60	c |    358285 |     884    11488    55322 |    22400    21681     33 |  0.000 % |
169.67/169.80	c |    358734 |     884    11488    55322 |    22400    22130     33 |  0.000 % |
169.86/170.05	c |    359228 |     884    11488    55322 |    22400    19912     33 |  0.000 % |
170.16/170.34	c |    359770 |     884    11488    55322 |    22400    20454     33 |  0.000 % |
170.46/170.63	c |    360366 |     884    11488    55322 |    20687    18538     32 |  0.000 % |
170.76/170.94	c |    361021 |     884    11488    55322 |    20687    19193     33 |  0.000 % |
171.06/171.21	c |    361743 |     884    11488    55322 |    20687    19915     33 |  0.000 % |
171.37/171.57	c |    362537 |     884    11488    55322 |    20687    20709     33 |  0.000 % |
171.66/171.89	c |    363408 |     884    11488    55322 |    20687    19467     33 |  0.000 % |
172.16/172.37	c |    364366 |     884    11488    55322 |    20687    20425     33 |  0.000 % |
172.66/172.81	c |    365419 |     884    11488    55322 |    20687    19383     32 |  0.000 % |
173.26/173.43	c |    366577 |     884    11488    55322 |    20687    20541     33 |  0.000 % |
173.86/174.01	c |    367850 |     884    11488    55322 |    20687    19732     32 |  0.000 % |
174.46/174.61	c |    369250 |     884    11488    55322 |    20687    19052     32 |  0.000 % |
174.96/175.11	c |    370791 |     884    11488    55322 | 2147483647    20593     32 |  0.003 % |
175.56/175.73	c |    372486 |     884    11488    55322 | 2147483647    22288     33 |  0.000 % |
176.36/176.55	c |    374349 |     884    11488    55322 | 2147483647    24151     34 |  0.000 % |
177.46/177.61	c |    376398 |     884    11488    55322 | 2147483647    26200     35 |  0.000 % |
178.86/179.06	c |    378653 |     884    11488    55322 | 2147483647    28455     35 |  0.000 % |
180.56/180.74	c |    381134 |     884    11488    55322 |    29802    27140     35 |  0.000 % |
182.16/182.37	c |    383859 |     884    11488    55322 |    29802    29865     35 |  0.000 % |
184.36/184.52	c |    386857 |     884    11488    55322 |    29802    28254     35 |  0.000 % |
186.36/186.54	c |    390153 |     884    11488    55322 |    26411    22165     34 |  0.000 % |
188.56/188.74	c |    393778 |     884    11488    55322 |    26411    25790     36 |  0.000 % |
188.66/188.81	c |    393879 |     884    11488    55322 |    26411    25891     36 |  0.000 % |
188.76/188.91	c |    393989 |     884    11488    55322 |    26411    26001     36 |  0.000 % |
188.86/189.03	c |    394111 |     884    11488    55322 |    26411    26123     36 |  0.000 % |
188.96/189.12	c |    394244 |     884    11488    55322 |    26411    26256     36 |  0.000 % |
189.06/189.21	c |    394391 |     884    11488    55322 |    26411    26403     36 |  0.000 % |
189.16/189.33	c |    394551 |     884    11488    55322 |    26411    22412     34 |  0.000 % |
189.26/189.41	c |    394727 |     884    11488    55322 |    26411    22588     34 |  0.002 % |
189.26/189.50	c |    394920 |     884    11488    55322 |    26411    22781     34 |  0.000 % |
189.46/189.62	c |    395134 |     884    11488    55322 |    26411    22995     34 |  0.000 % |
189.56/189.73	c |    395368 |     884    11488    55322 |    26411    23229     34 |  0.000 % |
189.66/189.88	c |    395627 |     884    11488    55322 |    26411    23488     35 |  0.000 % |
189.86/190.04	c |    395909 |     884    11488    55322 |    26411    23770     35 |  0.000 % |
190.06/190.22	c |    396220 |     884    11488    55322 |    26411    24081     35 |  0.000 % |
190.16/190.39	c |    396560 |     884    11488    55322 |    26411    24421     35 |  0.000 % |
190.36/190.53	c |    396932 |     884    11488    55322 |    26411    24793     35 |  0.002 % |
190.56/190.74	c |    397341 |     884    11488    55322 |    26411    25202     35 |  0.000 % |
190.86/191.03	c |    397790 |     884    11488    55322 |    26411    25651     35 |  0.003 % |
191.16/191.37	c |    398286 |     884    11488    55322 |    26411    26147     36 |  0.000 % |
191.55/191.75	c |    398828 |     884    11488    55322 |    26411    22628     35 |  0.000 % |
192.05/192.23	c |    399424 |     884    11488    55322 |    26411    23224     35 |  0.000 % |
192.45/192.61	c |    400080 |     884    11488    55322 |    23800    23880     35 |  0.000 % |
192.65/192.84	c |    400800 |     884    11488    55322 |    23800    20937     34 |  0.002 % |
193.05/193.22	c |    401592 |     884    11488    55322 |    23800    21729     34 |  0.000 % |
193.45/193.60	c |    402463 |     884    11488    55322 |    23800    22600     34 |  0.002 % |
193.85/194.04	c |    403423 |     884    11488    55322 |    23800    23560     35 |  0.000 % |
194.35/194.52	c |    404477 |     884    11488    55322 |    23800    21516     33 |  0.000 % |
194.95/195.10	c |    405635 |     884    11488    55322 |    23800    22674     33 |  0.000 % |
195.55/195.77	c |    406908 |     884    11488    55322 |    23800    23947     34 |  0.000 % |
196.25/196.45	c |    408308 |     884    11488    55322 |    23800    22094     33 |  0.000 % |
197.05/197.27	c |    409848 |     884    11488    55322 |    23800    23634     34 |  0.000 % |
198.05/198.24	c |    411543 |     884    11488    55322 |    23789    21919     33 |  0.000 % |
198.95/199.14	c |    413408 |     884    11488    55322 |    23789    23784     34 |  0.002 % |
199.75/199.92	c |    415458 |     884    11488    55322 |    23789    22351     34 |  0.002 % |
200.95/201.14	c |    417713 |     884    11488    55322 |    23789    21428     34 |  0.000 % |
202.25/202.44	c |    420193 |     884    11488    55322 |    23715    20787     34 |  0.000 % |
203.65/203.89	c |    422920 |     884    11488    55322 |    23715    23514     35 |  0.000 % |
205.15/205.37	c |    425917 |     884    11488    55322 |    23715    23214     34 |  0.000 % |
207.05/207.25	c |    429216 |     884    11488    55322 |    23715    23393     34 |  0.000 % |
208.85/209.06	c |    432841 |     884    11488    55322 |    21028    21092     33 |  0.000 % |
210.35/210.56	c |    436829 |     884    11488    55322 |    21028    20735     33 |  0.000 % |
210.45/210.62	c |    436929 |     884    11488    55322 |    21028    20835     33 |  0.000 % |
210.45/210.68	c |    437039 |     884    11488    55322 |    21028    20945     33 |  0.000 % |
210.54/210.73	c |    437160 |     884    11488    55322 |    21028    21066     33 |  0.002 % |
210.64/210.80	c |    437295 |     884    11488    55322 |    21028    19095     32 |  0.000 % |
210.64/210.87	c |    437441 |     884    11488    55322 |    21028    19241     32 |  0.000 % |
210.74/210.94	c |    437601 |     884    11488    55322 |    21028    19401     32 |  0.000 % |
210.84/211.05	c |    437779 |     884    11488    55322 |    21028    19579     32 |  0.000 % |
210.95/211.16	c |    437976 |     884    11488    55322 |    21028    19776     33 |  0.000 % |
211.05/211.27	c |    438189 |     884    11488    55322 |    21028    19989     33 |  0.000 % |
211.14/211.39	c |    438424 |     884    11488    55322 |    21028    20224     33 |  0.000 % |
211.24/211.49	c |    438680 |     884    11488    55322 |    21028    20480     33 |  0.000 % |
211.44/211.65	c |    438963 |     884    11488    55322 |    21028    20763     33 |  0.000 % |
211.54/211.78	c |    439272 |     884    11488    55322 |    21028    21072     33 |  0.000 % |
211.74/211.95	c |    439613 |     884    11488    55322 |    21028    19306     33 |  0.000 % |
211.84/212.08	c |    439986 |     884    11488    55322 |    21028    19679     33 |  0.000 % |
212.05/212.23	c |    440397 |     884    11488    55322 | 2147483647    20090     33 |  0.000 % |
212.24/212.44	c |    440848 |     884    11488    55322 | 2147483647    20541     33 |  0.000 % |
212.44/212.65	c |    441341 |     884    11488    55322 | 2147483647    21034     33 |  0.000 % |
212.74/212.90	c |    441883 |     884    11488    55322 | 2147483647    21576     34 |  0.000 % |
212.94/213.18	c |    442480 |     884    11488    55322 | 2147483647    22173     34 |  0.000 % |
213.25/213.46	c |    443136 |     884    11488    55322 | 2147483647    22829     34 |  0.000 % |
213.64/213.81	c |    443858 |     884    11488    55322 | 2147483647    23551     34 |  0.000 % |
213.94/214.16	c |    444651 |     884    11488    55322 | 2147483647    24344     34 |  0.000 % |
214.44/214.61	c |    445525 |     884    11488    55322 | 2147483647    25218     34 |  0.000 % |
214.84/215.03	c |    446484 |     884    11488    55322 | 2147483647    26177     34 |  0.000 % |
215.24/215.49	c |    447537 |     884    11488    55322 | 2147483647    27230     34 |  0.000 % |
215.94/216.10	c |    448695 |     884    11488    55322 | 2147483647    28388     34 |  0.000 % |
216.55/216.77	c |    449968 |     884    11488    55322 | 2147483647    29661     35 |  0.000 % |
217.44/217.61	c |    451370 |     884    11488    55322 |    29695    27340     34 |  0.000 % |
218.44/218.60	c |    452910 |     884    11488    55322 |    29695    28880     34 |  0.000 % |
219.54/219.79	c |    454609 |     884    11488    55322 |    29695    25708     33 |  0.000 % |
220.94/221.11	c |    456473 |     884    11488    55322 |    29695    27572     34 |  0.000 % |
222.34/222.54	c |    458523 |     884    11488    55322 |    29695    29622     34 |  0.000 % |
223.24/223.42	c |    460776 |     884    11488    55322 |    25897    22333     32 |  0.002 % |
224.44/224.63	c |    463255 |     884    11488    55322 |    25897    24812     33 |  0.000 % |
225.64/225.88	c |    465981 |     884    11488    55322 |    25897    23752     34 |  0.000 % |
227.34/227.55	c |    468979 |     884    11488    55322 |    25897    22998     35 |  0.000 % |
229.24/229.42	c |    472276 |     884    11488    55322 |    24019    22775     35 |  0.000 % |
231.24/231.40	c |    475901 |     884    11488    55322 |    24019    23070     37 |  0.000 % |
233.24/233.49	c |    479888 |     884    11488    55322 |    24019    23741     36 |  0.000 % |
235.44/235.61	c |    484273 |     884    11488    55322 |    23853    21819     34 |  0.000 % |
235.44/235.67	c |    484374 |     884    11488    55322 |    23853    21920     34 |  0.000 % |
235.54/235.73	c |    484484 |     884    11488    55322 |    23853    22030     34 |  0.000 % |
235.64/235.82	c |    484606 |     884    11488    55322 |    23853    22152     34 |  0.000 % |
235.64/235.89	c |    484740 |     884    11488    55322 |    23853    22286     34 |  0.000 % |
235.74/235.97	c |    484888 |     884    11488    55322 |    23853    22434     34 |  0.000 % |
235.84/236.07	c |    485048 |     884    11488    55322 |    23853    22594     34 |  0.000 % |
235.94/236.13	c |    485224 |     884    11488    55322 |    23853    22770     34 |  0.002 % |
236.04/236.24	c |    485418 |     884    11488    55322 |    23853    22964     34 |  0.000 % |
236.14/236.34	c |    485630 |     884    11488    55322 |    23853    23176     34 |  0.000 % |
236.24/236.43	c |    485863 |     884    11488    55322 |    23853    23409     35 |  0.000 % |
236.34/236.53	c |    486119 |     884    11488    55322 |    23853    23665     35 |  0.000 % |
236.44/236.66	c |    486401 |     884    11488    55322 |    23853    23947     35 |  0.000 % |
236.54/236.79	c |    486710 |     884    11488    55322 |    23853    21226     33 |  0.000 % |
236.74/236.99	c |    487049 |     884    11488    55322 |    23853    21565     33 |  0.000 % |
236.94/237.14	c |    487422 |     884    11488    55322 |    23853    21938     34 |  0.000 % |
237.13/237.33	c |    487831 |     884    11488    55322 |    23853    22347     34 |  0.000 % |
237.34/237.54	c |    488280 |     884    11488    55322 |    23853    22796     34 |  0.000 % |
237.63/237.81	c |    488773 |     884    11488    55322 |    23853    23289     34 |  0.000 % |
237.93/238.11	c |    489316 |     884    11488    55322 |    23853    23832     34 |  0.000 % |
238.13/238.37	c |    489914 |     884    11488    55322 |    23853    21466     33 |  0.000 % |
238.54/238.74	c |    490569 |     884    11488    55322 |    21552    19431     32 |  0.000 % |
238.73/238.96	c |    491289 |     884    11488    55322 |    21552    20151     33 |  0.002 % |
239.13/239.37	c |    492082 |     884    11488    55322 |    21552    20944     33 |  0.000 % |
239.43/239.69	c |    492953 |     884    11488    55322 |    21552    19539     33 |  0.000 % |
240.03/240.27	c |    493912 |     884    11488    55322 |    21552    20498     33 |  0.000 % |
240.64/240.89	c |    494965 |     884    11488    55322 |    21552    21551     34 |  0.000 % |
241.33/241.55	c |    496124 |     884    11488    55322 |    21552    20323     33 |  0.000 % |
242.13/242.30	c |    497398 |     884    11488    55322 |    21552    21597     34 |  0.000 % |
242.84/243.05	c |    498799 |     884    11488    55322 |    21552    20568     34 |  0.000 % |
243.73/243.98	c |    500342 |     884    11488    55322 |    19308    17447     32 |  0.000 % |
244.73/244.99	c |    502036 |     884    11488    55322 |    19308    19141     33 |  0.000 % |
245.33/245.53	c |    503900 |     884    11488    55322 |    19308    18985     33 |  0.003 % |
246.13/246.36	c |    505952 |     884    11488    55322 |    19308    19103     33 |  0.000 % |
247.33/247.51	c |    508206 |     884    11488    55322 |    19308    17475     32 |  0.000 % |
248.33/248.59	c |    510687 |     884    11488    55322 | 2147483647    19956     34 |  0.000 % |
249.73/249.98	c |    513415 |     884    11488    55322 | 2147483647    22684     35 |  0.000 % |
251.53/251.76	c |    516413 |     884    11488    55322 | 2147483647    25682     37 |  0.000 % |
253.53/253.79	c |    519712 |     884    11488    55322 | 2147483647    28981     38 |  0.000 % |
255.73/255.95	c |    523338 |     884    11488    55322 |    29269    28301     38 |  0.000 % |
258.62/258.82	c |    527325 |     884    11488    55322 |    29269    27375     38 |  0.000 % |
261.32/261.59	c |    531710 |     884    11488    55322 |    24880    22179     36 |  0.000 % |
264.12/264.32	c |    536533 |     884    11488    55322 |    24880    23009     36 |  0.000 % |
264.12/264.38	c |    536633 |     884    11488    55322 |    24880    23109     36 |  0.000 % |
264.22/264.45	c |    536743 |     884    11488    55322 |    24880    23219     36 |  0.000 % |
264.32/264.52	c |    536865 |     884    11488    55322 |    24880    23341     36 |  0.000 % |
264.42/264.62	c |    536998 |     884    11488    55322 |    24880    23474     36 |  0.000 % |
264.52/264.71	c |    537146 |     884    11488    55322 |    24880    23622     36 |  0.000 % |
264.62/264.83	c |    537307 |     884    11488    55322 |    24880    23783     36 |  0.000 % |
264.72/264.93	c |    537483 |     884    11488    55322 |    24880    23959     36 |  0.000 % |
264.83/265.08	c |    537676 |     884    11488    55322 |    24880    24152     36 |  0.000 % |
265.02/265.21	c |    537889 |     884    11488    55322 |    24880    24365     36 |  0.000 % |
265.12/265.34	c |    538123 |     884    11488    55322 |    24880    24599     36 |  0.000 % |
265.32/265.51	c |    538380 |     884    11488    55322 |    24880    24856     36 |  0.000 % |
265.42/265.69	c |    538661 |     884    11488    55322 |    24880    21274     34 |  0.000 % |
265.62/265.84	c |    538971 |     884    11488    55322 |    24880    21584     35 |  0.000 % |
265.82/266.01	c |    539310 |     884    11488    55322 |    24880    21923     35 |  0.000 % |
266.03/266.21	c |    539682 |     884    11488    55322 |    24880    22295     35 |  0.000 % |
266.22/266.46	c |    540092 |     884    11488    55322 |    22613    22705     35 |  0.000 % |
266.42/266.60	c |    540541 |     884    11488    55322 |    22613    19741     33 |  0.000 % |
266.52/266.77	c |    541036 |     884    11488    55322 |    22613    20236     33 |  0.002 % |
266.72/266.98	c |    541580 |     884    11488    55322 |    22613    20780     34 |  0.000 % |
266.92/267.16	c |    542178 |     884    11488    55322 |    22613    21378     34 |  0.002 % |
267.32/267.52	c |    542833 |     884    11488    55322 |    22613    22033     34 |  0.000 % |
267.62/267.86	c |    543554 |     884    11488    55322 |    22613    20125     33 |  0.000 % |
267.92/268.14	c |    544347 |     884    11488    55322 |    22613    20918     34 |  0.000 % |
268.32/268.50	c |    545218 |     884    11488    55322 |    22613    21789     34 |  0.000 % |
268.82/269.06	c |    546176 |     884    11488    55322 |    22613    20255     33 |  0.000 % |
269.32/269.58	c |    547229 |     884    11488    55322 |    22613    21308     34 |  0.000 % |
269.92/270.14	c |    548388 |     884    11488    55322 |    22613    22467     34 |  0.000 % |
270.72/270.90	c |    549662 |     884    11488    55322 |    22613    21264     33 |  0.000 % |
271.52/271.73	c |    551063 |     884    11488    55322 |    21602    20273     33 |  0.000 % |
272.22/272.40	c |    552605 |     884    11488    55322 |    21602    19573     33 |  0.000 % |
273.02/273.22	c |    554301 |     884    11488    55322 |    21602    21269     34 |  0.000 % |
273.82/274.05	c |    556164 |     884    11488    55322 |    21602    20884     34 |  0.000 % |
274.72/274.99	c |    558214 |     884    11488    55322 |    21602    20763     34 |  0.000 % |
275.92/276.12	c |    560468 |     884    11488    55322 | 2147483647    20847     34 |  0.000 % |
277.02/277.28	c |    562946 |     884    11488    55322 | 2147483647    23325     35 |  0.000 % |
279.02/279.23	c |    565671 |     884    11488    55322 | 2147483647    26050     37 |  0.000 % |
280.72/280.96	c |    568669 |     884    11488    55322 | 2147483647    29048     38 |  0.000 % |
283.02/283.22	c |    571968 |     884    11488    55322 |    30379    27727     37 |  0.000 % |
285.52/285.77	c |    575594 |     884    11488    55322 |    30379    25632     37 |  0.000 % |
286.83/287.09	c |    579581 |     884    11488    55322 |    30379    29619     36 |  0.002 % |
289.52/289.73	c |    583967 |     884    11488    55322 |    30038    28884     36 |  0.000 % |
292.72/292.92	c |    588790 |     884    11488    55322 |    30038    27904     35 |  0.000 % |
295.82/296.00	c |    594095 |     884    11488    55322 |    29114    27662     34 |  0.000 % |
295.82/296.05	c |    594197 |     884    11488    55322 |    29114    27764     34 |  0.002 % |
295.92/296.12	c |    594307 |     884    11488    55322 |    29114    27874     34 |  0.000 % |
296.02/296.21	c |    594432 |     884    11488    55322 |    29114    27999     34 |  0.000 % |
296.02/296.28	c |    594566 |     884    11488    55322 |    29114    28133     34 |  0.000 % |
296.12/296.38	c |    594712 |     884    11488    55322 |    29114    28279     34 |  0.000 % |
296.22/296.49	c |    594872 |     884    11488    55322 |    29114    28439     34 |  0.000 % |
296.42/296.62	c |    595048 |     884    11488    55322 |    29114    28615     35 |  0.000 % |
296.52/296.71	c |    595242 |     884    11488    55322 |    29114    28809     35 |  0.000 % |
296.62/296.86	c |    595455 |     884    11488    55322 |    29114    29022     35 |  0.000 % |
296.82/297.01	c |    595688 |     884    11488    55322 |    29114    24080     34 |  0.000 % |
296.92/297.14	c |    595944 |     884    11488    55322 |    29114    24336     34 |  0.000 % |
297.12/297.31	c |    596225 |     884    11488    55322 |    29114    24617     34 |  0.000 % |
297.22/297.44	c |    596536 |     884    11488    55322 |    29114    24928     34 |  0.000 % |
297.32/297.58	c |    596875 |     884    11488    55322 |    29114    25267     34 |  0.002 % |
297.62/297.81	c |    597249 |     884    11488    55322 |    29114    25641     34 |  0.000 % |
297.82/298.10	c |    597659 |     884    11488    55322 |    29114    26051     34 |  0.000 % |
298.22/298.41	c |    598108 |     884    11488    55322 |    29114    26500     35 |  0.000 % |
298.52/298.74	c |    598602 |     884    11488    55322 |    29114    26994     35 |  0.000 % |
298.82/299.09	c |    599144 |     884    11488    55322 |    29114    27536     35 |  0.000 % |
299.32/299.51	c |    599744 |     884    11488    55322 |    29114    28136     35 |  0.000 % |
299.62/299.85	c |    600399 |     884    11488    55322 |    28395    23928     33 |  0.000 % |
299.92/300.14	c |    601119 |     884    11488    55322 |    28395    24648     33 |  0.000 % |
300.42/300.62	c |    601912 |     884    11488    55322 |    28395    25441     34 |  0.000 % |
300.82/301.07	c |    602787 |     884    11488    55322 |    28395    26316     34 |  0.000 % |
301.42/301.66	c |    603745 |     884    11488    55322 |    28395    27274     34 |  0.000 % |
301.92/302.10	c |    604798 |     884    11488    55322 |    28395    28327     35 |  0.000 % |
302.42/302.65	c |    605957 |     884    11488    55322 |    28395    25025     34 |  0.000 % |
303.12/303.31	c |    607231 |     884    11488    55322 |    28395    26299     34 |  0.000 % |
303.72/303.98	c |    608631 |     884    11488    55322 |    28395    27699     35 |  0.000 % |
304.72/304.91	c |    610174 |     884    11488    55322 |    24699    21096     32 |  0.000 % |
305.62/305.88	c |    611870 |     884    11488    55322 |    24699    22792     33 |  0.000 % |
306.62/306.88	c |    613733 |     884    11488    55322 |    24699    24655     34 |  0.000 % |
307.62/307.84	c |    615783 |     884    11488    55322 |    24699    23154     34 |  0.000 % |
308.72/308.94	c |    618036 |     884    11488    55322 |    24699    22001     33 |  0.000 % |
309.62/309.83	c |    620514 |     884    11488    55322 |    23965    21463     33 |  0.002 % |
310.91/311.12	c |    623239 |     884    11488    55322 |    23965    21231     32 |  0.000 % |
312.22/312.48	c |    626237 |     884    11488    55322 |    23965    21431     32 |  0.000 % |
313.81/314.05	c |    629534 |     884    11488    55322 |    23965    21919     32 |  0.000 % |
315.11/315.34	c |    633159 |     884    11488    55322 |    22386    20705     32 |  0.000 % |
317.01/317.27	c |    637146 |     884    11488    55322 |    22386    22442     33 |  0.000 % |
318.82/319.06	c |    641531 |     884    11488    55322 | 2147483647    22330     33 |  0.000 % |
321.02/321.27	c |    646354 |     884    11488    55322 | 2147483647    27153     34 |  0.000 % |
324.11/324.36	c |    651659 |     884    11488    55322 |    30799    28188     35 |  0.000 % |
326.91/327.15	c |    657494 |     884    11488    55322 |    30799    29156     35 |  0.000 % |
327.01/327.23	c |    657594 |     884    11488    55322 |    30799    29256     35 |  0.000 % |
327.01/327.29	c |    657704 |     884    11488    55322 |    30799    29366     35 |  0.002 % |
327.11/327.38	c |    657825 |     884    11488    55322 |    30799    29487     35 |  0.000 % |
327.21/327.47	c |    657959 |     884    11488    55322 |    30799    29621     35 |  0.000 % |
327.31/327.59	c |    658105 |     884    11488    55322 |    30799    29767     35 |  0.000 % |
327.41/327.69	c |    658267 |     884    11488    55322 |    30799    29929     35 |  0.000 % |
327.61/327.81	c |    658446 |     884    11488    55322 |    30799    30108     35 |  0.000 % |
327.71/327.93	c |    658641 |     884    11488    55322 |    30799    30303     35 |  0.000 % |
327.81/328.08	c |    658856 |     884    11488    55322 |    30799    30518     35 |  0.000 % |
327.91/328.19	c |    659089 |     884    11488    55322 |    30799    30751     35 |  0.000 % |
328.21/328.40	c |    659346 |     884    11488    55322 |    30799    25952     33 |  0.000 % |
328.31/328.51	c |    659629 |     884    11488    55322 |    30799    26235     33 |  0.000 % |
328.41/328.66	c |    659939 |     884    11488    55322 |    30799    26545     34 |  0.000 % |
328.61/328.84	c |    660280 |     884    11488    55322 |    26608    22599     33 |  0.000 % |
328.71/328.97	c |    660652 |     884    11488    55322 |    26608    22971     33 |  0.000 % |
328.91/329.16	c |    661061 |     884    11488    55322 |    26608    23380     33 |  0.000 % |
329.11/329.35	c |    661511 |     884    11488    55322 |    26608    23830     33 |  0.002 % |
329.41/329.62	c |    662004 |     884    11488    55322 |    26608    24323     33 |  0.002 % |
329.61/329.86	c |    662546 |     884    11488    55322 |    26608    24865     34 |  0.002 % |
329.91/330.12	c |    663142 |     884    11488    55322 |    26608    25461     34 |  0.000 % |
330.21/330.42	c |    663797 |     884    11488    55322 |    26608    26116     34 |  0.000 % |
330.71/330.91	c |    664519 |     884    11488    55322 |    26608    22899     33 |  0.000 % |
331.11/331.36	c |    665312 |     884    11488    55322 |    26608    23692     33 |  0.003 % |
331.61/331.81	c |    666183 |     884    11488    55322 |    26608    24563     34 |  0.000 % |
332.11/332.39	c |    667143 |     884    11488    55322 |    26608    25523     34 |  0.000 % |
332.71/332.93	c |    668197 |     884    11488    55322 |    26608    26577     35 |  0.000 % |
333.30/333.58	c |    669356 |     884    11488    55322 |    26608    23630     34 |  0.000 % |
334.00/334.26	c |    670632 |     884    11488    55322 |    24276    21240     33 |  0.000 % |
334.70/334.94	c |    672032 |     884    11488    55322 |    24276    22640     34 |  0.000 % |
335.40/335.60	c |    673572 |     884    11488    55322 |    24276    24180     35 |  0.002 % |
336.20/336.46	c |    675266 |     884    11488    55322 |    24276    22501     34 |  0.000 % |
337.10/337.35	c |    677130 |     884    11488    55322 |    24276    24365     35 |  0.000 % |
338.20/338.42	c |    679179 |     884    11488    55322 |    24276    23131     34 |  0.000 % |
339.61/339.80	c |    681434 |     884    11488    55322 |    23953    22025     33 |  0.000 % |
340.71/340.97	c |    683915 |     884    11488    55322 |    23953    21378     32 |  0.000 % |
342.10/342.31	c |    686640 |     884    11488    55322 |    23953    21180     31 |  0.000 % |
343.70/343.91	c |    689640 |     884    11488    55322 |    23953    21242     33 |  0.000 % |
345.30/345.55	c |    692940 |     884    11488    55322 |    21602    19515     31 |  0.000 % |
347.20/347.40	c |    696566 |     884    11488    55322 |    21602    20750     32 |  0.000 % |
348.60/348.89	c |    700553 |     884    11488    55322 | 2147483647    20299     32 |  0.002 % |
350.40/350.65	c |    704938 |     884    11488    55322 | 2147483647    24684     35 |  0.000 % |
353.20/353.40	c |    709762 |     884    11488    55322 | 2147483647    29508     37 |  0.000 % |
356.30/356.54	c |    715067 |     884    11488    55322 |    29746    26191     37 |  0.000 % |
359.00/359.29	c |    720903 |     884    11488    55322 |    26600    23488     35 |  0.000 % |
362.30/362.58	c |    727323 |     884    11488    55322 |    26600    25917     36 |  0.000 % |
362.40/362.64	c |    727425 |     884    11488    55322 |    26600    26019     36 |  0.000 % |
362.50/362.71	c |    727535 |     884    11488    55322 |    26600    26129     36 |  0.000 % |
362.50/362.78	c |    727656 |     884    11488    55322 |    26600    26250     36 |  0.002 % |
362.60/362.89	c |    727792 |     884    11488    55322 |    26600    26386     36 |  0.000 % |
362.80/363.00	c |    727938 |     884    11488    55322 |    26600    26532     36 |  0.000 % |
362.90/363.11	c |    728098 |     884    11488    55322 |    26600    26692     36 |  0.000 % |
363.00/363.22	c |    728276 |     884    11488    55322 |    26600    22836     34 |  0.002 % |
363.10/363.31	c |    728470 |     884    11488    55322 |    26600    23030     34 |  0.000 % |
363.20/363.45	c |    728684 |     884    11488    55322 |    26600    23244     34 |  0.000 % |
363.30/363.56	c |    728919 |     884    11488    55322 |    26600    23479     34 |  0.000 % |
363.50/363.71	c |    729176 |     884    11488    55322 |    26600    23736     35 |  0.000 % |
363.60/363.88	c |    729458 |     884    11488    55322 |    26600    24018     35 |  0.000 % |
363.80/364.04	c |    729767 |     884    11488    55322 |    26600    24327     35 |  0.000 % |
363.99/364.23	c |    730106 |     884    11488    55322 |    24560    20956     33 |  0.002 % |
364.19/364.40	c |    730480 |     884    11488    55322 |    24560    21330     33 |  0.000 % |
364.29/364.55	c |    730889 |     884    11488    55322 |    24560    21739     33 |  0.000 % |
364.49/364.79	c |    731340 |     884    11488    55322 |    24560    22190     33 |  0.000 % |
364.79/365.00	c |    731833 |     884    11488    55322 |    24560    22683     33 |  0.000 % |
365.00/365.25	c |    732377 |     884    11488    55322 |    24560    23227     34 |  0.000 % |
365.39/365.60	c |    732973 |     884    11488    55322 |    24560    23823     34 |  0.000 % |
365.69/365.97	c |    733628 |     884    11488    55322 |    24560    24478     34 |  0.000 % |
366.10/366.34	c |    734348 |     884    11488    55322 |    24560    21858     34 |  0.000 % |
366.49/366.79	c |    735140 |     884    11488    55322 |    24560    22650     34 |  0.000 % |
367.10/367.32	c |    736011 |     884    11488    55322 |    24560    23521     35 |  0.000 % |
367.49/367.72	c |    736969 |     884    11488    55322 |    24560    24479     35 |  0.002 % |
367.99/368.23	c |    738024 |     884    11488    55322 |    24560    22335     34 |  0.000 % |
368.59/368.81	c |    739182 |     884    11488    55322 |    24560    23493     34 |  0.000 % |
369.19/369.45	c |    740455 |     884    11488    55322 |    24311    21558     33 |  0.000 % |
369.79/370.04	c |    741855 |     884    11488    55322 |    24311    22958     34 |  0.000 % |
370.50/370.75	c |    743395 |     884    11488    55322 |    24311    21625     33 |  0.000 % |
371.50/371.71	c |    745089 |     884    11488    55322 |    24311    23319     34 |  0.000 % |
372.19/372.44	c |    746952 |     884    11488    55322 |    24311    22383     32 |  0.002 % |
373.19/373.47	c |    749001 |     884    11488    55322 |    24311    24432     33 |  0.000 % |
373.99/374.28	c |    751255 |     884    11488    55322 |    22641    21398     31 |  0.000 % |
375.29/375.55	c |    753736 |     884    11488    55322 |    22641    21454     31 |  0.000 % |
376.49/376.78	c |    756462 |     884    11488    55322 |    22641    21791     31 |  0.000 % |
377.89/378.19	c |    759462 |     884    11488    55322 |    22641    22423     32 |  0.000 % |
379.39/379.67	c |    762758 |     884    11488    55322 |    20462    18921     31 |  0.000 % |
380.99/381.22	c |    766384 |     884    11488    55322 |    20462    20490     33 |  0.000 % |
382.89/383.17	c |    770371 |     884    11488    55322 | 2147483647    20370     33 |  0.000 % |
384.99/385.21	c |    774757 |     884    11488    55322 | 2147483647    24756     35 |  0.000 % |
387.69/387.97	c |    779583 |     884    11488    55322 | 2147483647    29582     37 |  0.000 % |
389.99/390.27	c |    784888 |     884    11488    55322 |    30000    27907     36 |  0.000 % |
393.19/393.49	c |    790724 |     884    11488    55322 |    29204    26090     35 |  0.000 % |
397.28/397.52	c |    797144 |     884    11488    55322 |    29204    28127     35 |  0.000 % |
400.98/401.26	c |    804204 |     884    11488    55322 |    26099    26086     35 |  0.000 % |
401.08/401.31	c |    804306 |     884    11488    55322 |    26099    26188     35 |  0.000 % |
401.19/401.41	c |    804416 |     884    11488    55322 |    26099    22433     34 |  0.000 % |
401.19/401.47	c |    804537 |     884    11488    55322 |    26099    22554     34 |  0.000 % |
401.29/401.52	c |    804672 |     884    11488    55322 |    26099    22689     34 |  0.000 % |
401.38/401.61	c |    804818 |     884    11488    55322 |    26099    22835     34 |  0.000 % |
401.38/401.67	c |    804978 |     884    11488    55322 |    26099    22995     34 |  0.000 % |
401.48/401.76	c |    805155 |     884    11488    55322 |    26099    23172     34 |  0.000 % |
401.58/401.87	c |    805348 |     884    11488    55322 |    26099    23365     34 |  0.000 % |
401.68/401.99	c |    805562 |     884    11488    55322 |    26099    23579     34 |  0.000 % |
401.88/402.11	c |    805796 |     884    11488    55322 |    26099    23813     34 |  0.000 % |
401.98/402.22	c |    806053 |     884    11488    55322 |    26099    24070     34 |  0.000 % |
402.08/402.34	c |    806335 |     884    11488    55322 |    26099    24352     35 |  0.002 % |
402.29/402.51	c |    806644 |     884    11488    55322 |    26099    24661     35 |  0.000 % |
402.39/402.69	c |    806983 |     884    11488    55322 |    26099    25000     35 |  0.000 % |
402.68/402.93	c |    807355 |     884    11488    55322 |    26099    25372     35 |  0.000 % |
402.88/403.15	c |    807764 |     884    11488    55322 |    26099    25781     35 |  0.000 % |
403.08/403.37	c |    808215 |     884    11488    55322 |    26099    26232     35 |  0.000 % |
403.28/403.58	c |    808708 |     884    11488    55322 |    26099    22984     34 |  0.000 % |
403.58/403.81	c |    809253 |     884    11488    55322 |    26099    23529     34 |  0.000 % |
403.78/404.07	c |    809851 |     884    11488    55322 |    26099    24127     34 |  0.000 % |
404.08/404.39	c |    810507 |     884    11488    55322 |    24278    21477     33 |  0.000 % |
404.38/404.67	c |    811229 |     884    11488    55322 |    24278    22199     33 |  0.002 % |
404.78/405.09	c |    812021 |     884    11488    55322 |    24278    22991     34 |  0.000 % |
405.18/405.47	c |    812893 |     884    11488    55322 |    24278    23863     34 |  0.002 % |
405.58/405.88	c |    813854 |     884    11488    55322 |    24278    21872     33 |  0.000 % |
406.08/406.39	c |    814909 |     884    11488    55322 |    24278    22927     34 |  0.000 % |
406.58/406.90	c |    816069 |     884    11488    55322 |    24278    24087     34 |  0.000 % |
407.18/407.43	c |    817342 |     884    11488    55322 |    24278    22562     33 |  0.000 % |
407.68/407.98	c |    818743 |     884    11488    55322 |    24278    23963     34 |  0.000 % |
408.38/408.70	c |    820283 |     884    11488    55322 |    22587    20505     33 |  0.000 % |
409.28/409.51	c |    821977 |     884    11488    55322 |    22587    22199     34 |  0.000 % |
410.08/410.37	c |    823840 |     884    11488    55322 |    22587    21766     34 |  0.000 % |
411.08/411.36	c |    825890 |     884    11488    55322 |    22587    21548     34 |  0.000 % |
412.28/412.51	c |    828143 |     884    11488    55322 |    22587    21533     35 |  0.000 % |
413.58/413.80	c |    830621 |     884    11488    55322 | 2147483647    21742     35 |  0.000 % |
415.07/415.35	c |    833346 |     884    11488    55322 | 2147483647    24467     36 |  0.000 % |
416.87/417.18	c |    836344 |     884    11488    55322 | 2147483647    27465     37 |  0.000 % |
419.07/419.35	c |    839641 |     884    11488    55322 | 2147483647    30762     37 |  0.000 % |
421.47/421.79	c |    843268 |     884    11488    55322 |    31124    29697     37 |  0.000 % |
424.87/425.13	c |    847258 |     884    11488    55322 |    31124    28090     37 |  0.000 % |
428.47/428.79	c |    851644 |     884    11488    55322 |    30836    26483     36 |  0.000 % |
431.77/432.00	c |    856467 |     884    11488    55322 |    30836    25118     36 |  0.000 % |
434.77/435.06	c |    861773 |     884    11488    55322 |    28651    24903     35 |  0.000 % |
438.47/438.77	c |    867608 |     884    11488    55322 |    28651    25592     35 |  0.000 % |
442.67/442.99	c |    874027 |     884    11488    55322 |    27985    26999     36 |  0.000 % |
445.77/446.03	c |    881087 |     884    11488    55322 |    23889    21209     31 |  0.002 % |
449.46/449.76	c |    888853 |     884    11488    55322 |    23889    23134     31 |  0.000 % |
449.57/449.81	c |    888956 |     884    11488    55322 |    23889    23237     31 |  0.000 % |
449.57/449.87	c |    889067 |     884    11488    55322 |    23889    23348     31 |  0.000 % |
449.67/449.92	c |    889190 |     884    11488    55322 |    23889    23471     31 |  0.002 % |
449.67/449.98	c |    889324 |     884    11488    55322 |    23889    23605     31 |  0.000 % |
449.76/450.06	c |    889473 |     884    11488    55322 |    23889    23754     31 |  0.000 % |
449.86/450.13	c |    889637 |     884    11488    55322 |    23889    23918     31 |  0.000 % |
449.96/450.22	c |    889814 |     884    11488    55322 |    23889    21224     30 |  0.000 % |
450.06/450.30	c |    890009 |     884    11488    55322 |    21410    21419     31 |  0.000 % |
450.06/450.39	c |    890221 |     884    11488    55322 |    21410    19088     30 |  0.000 % |
450.16/450.46	c |    890457 |     884    11488    55322 |    21410    19324     30 |  0.000 % |
450.26/450.59	c |    890713 |     884    11488    55322 |    21410    19580     30 |  0.000 % |
450.36/450.68	c |    890997 |     884    11488    55322 |    21410    19864     30 |  0.000 % |
450.56/450.81	c |    891306 |     884    11488    55322 |    21410    20173     30 |  0.000 % |
450.66/450.93	c |    891648 |     884    11488    55322 |    21410    20515     31 |  0.000 % |
450.86/451.11	c |    892020 |     884    11488    55322 |    21410    20887     31 |  0.000 % |
450.96/451.23	c |    892429 |     884    11488    55322 |    21410    21296     31 |  0.000 % |
451.06/451.38	c |    892879 |     884    11488    55322 |    21410    19591     31 |  0.000 % |
451.26/451.56	c |    893374 |     884    11488    55322 |    21410    20086     31 |  0.000 % |
451.46/451.75	c |    893916 |     884    11488    55322 |    21410    20628     31 |  0.000 % |
451.66/451.99	c |    894512 |     884    11488    55322 |    21410    21224     32 |  0.000 % |
451.96/452.26	c |    895168 |     884    11488    55322 |    21410    19729     32 |  0.000 % |
452.26/452.56	c |    895888 |     884    11488    55322 |    21410    20449     32 |  0.000 % |
452.66/452.90	c |    896681 |     884    11488    55322 |    21410    21242     33 |  0.000 % |
453.06/453.33	c |    897553 |     884    11488    55322 |    21410    19965     33 |  0.000 % |
453.36/453.65	c |    898512 |     884    11488    55322 |    21410    20924     33 |  0.000 % |
453.86/454.11	c |    899566 |     884    11488    55322 |    21410    19823     33 |  0.000 % |
454.16/454.49	c |    900724 |     884    11488    55322 | 2147483647    20981     33 |  0.000 % |
454.66/454.98	c |    901999 |     884    11488    55322 | 2147483647    22256     34 |  0.000 % |
455.36/455.62	c |    903400 |     884    11488    55322 | 2147483647    23657     34 |  0.000 % |
456.06/456.37	c |    904940 |     884    11488    55322 | 2147483647    25197     35 |  0.000 % |
457.16/457.40	c |    906635 |     884    11488    55322 | 2147483647    26892     35 |  0.000 % |
458.46/458.76	c |    908498 |     884    11488    55322 | 2147483647    28755     36 |  0.000 % |
459.76/460.09	c |    910547 |     884    11488    55322 |    30257    26873     36 |  0.000 % |
460.86/461.15	c |    912801 |     884    11488    55322 |    30257    29127     36 |  0.002 % |
462.46/462.78	c |    915280 |     884    11488    55322 |    30257    26726     35 |  0.000 % |
464.16/464.45	c |    918005 |     884    11488    55322 |    30257    29451     36 |  0.000 % |
465.55/465.87	c |    921002 |     884    11488    55322 |    26036    22545     34 |  0.000 % |
466.75/467.09	c |    924299 |     884    11488    55322 |    26036    25842     35 |  0.000 % |
468.45/468.71	c |    927925 |     884    11488    55322 |    26036    25994     35 |  0.000 % |
470.46/470.73	c |    931913 |     884    11488    55322 |    24580    23159     34 |  0.000 % |
472.76/473.05	c |    936300 |     884    11488    55322 |    24580    24312     35 |  0.000 % |
474.85/475.16	c |    941123 |     884    11488    55322 |    21791    20300     34 |  0.000 % |
477.55/477.83	c |    946428 |     884    11488    55322 |    21791    21152     35 |  0.000 % |
480.65/480.91	c |    952263 |     884    11488    55322 |    20150    18218     35 |  0.000 % |
483.75/484.01	c |    958681 |     884    11488    55322 |    20150    18561     35 |  0.000 % |
486.95/487.22	c |    965741 |     884    11488    55322 | 2147483647    25621     37 |  0.000 % |
492.25/492.56	c |    973507 |     884    11488    55322 |    29880    29392     38 |  0.000 % |
495.95/496.28	c |    982048 |     884    11488    55322 |    26256    24291     35 |  0.000 % |
496.05/496.34	c |    982150 |     884    11488    55322 |    26256    24393     35 |  0.002 % |
496.15/496.43	c |    982262 |     884    11488    55322 |    26256    24505     35 |  0.000 % |
496.25/496.50	c |    982386 |     884    11488    55322 |    26256    24629     35 |  0.000 % |
496.25/496.58	c |    982519 |     884    11488    55322 |    26256    24762     35 |  0.000 % |
496.35/496.67	c |    982667 |     884    11488    55322 |    26256    24910     35 |  0.000 % |
496.45/496.78	c |    982829 |     884    11488    55322 |    26256    25072     35 |  0.000 % |
496.65/496.91	c |    983006 |     884    11488    55322 |    26256    25249     35 |  0.000 % |
496.65/496.98	c |    983199 |     884    11488    55322 |    26256    25442     35 |  0.002 % |
496.75/497.08	c |    983411 |     884    11488    55322 |    26256    25654     35 |  0.000 % |
496.85/497.20	c |    983644 |     884    11488    55322 |    26256    25887     35 |  0.000 % |
497.05/497.36	c |    983900 |     884    11488    55322 |    26256    26143     35 |  0.000 % |
497.35/497.62	c |    984183 |     884    11488    55322 |    26256    22387     34 |  0.000 % |
497.45/497.79	c |    984492 |     884    11488    55322 |    26256    22696     34 |  0.000 % |
497.65/497.98	c |    984833 |     884    11488    55322 |    26256    23037     34 |  0.000 % |
497.95/498.21	c |    985207 |     884    11488    55322 |    26256    23411     34 |  0.000 % |
498.14/498.45	c |    985617 |     884    11488    55322 |    26256    23821     34 |  0.000 % |
498.34/498.66	c |    986067 |     884    11488    55322 |    26256    24271     35 |  0.000 % |
498.54/498.88	c |    986561 |     884    11488    55322 |    26256    24765     35 |  0.000 % |
498.84/499.11	c |    987104 |     884    11488    55322 |    26256    25308     35 |  0.002 % |
499.15/499.46	c |    987703 |     884    11488    55322 |    26256    25907     36 |  0.003 % |
499.44/499.78	c |    988358 |     884    11488    55322 |    26256    22685     34 |  0.000 % |
499.84/500.10	c |    989079 |     884    11488    55322 |    26256    23406     34 |  0.000 % |
500.15/500.42	c |    989873 |     884    11488    55322 |    26256    24200     35 |  0.000 % |
500.54/500.81	c |    990746 |     884    11488    55322 |    24328    21632     34 |  0.000 % |
500.94/501.24	c |    991705 |     884    11488    55322 |    24328    22591     34 |  0.000 % |
501.54/501.87	c |    992760 |     884    11488    55322 |    24328    23646     35 |  0.000 % |
502.35/502.61	c |    993920 |     884    11488    55322 |    24328    21523     35 |  0.000 % |
502.94/503.29	c |    995193 |     884    11488    55322 |    24328    22796     35 |  0.000 % |
503.94/504.24	c |    996593 |     884    11488    55322 |    24328    24196     35 |  0.000 % |
504.55/504.86	c |    998136 |     884    11488    55322 |    24328    22434     35 |  0.000 % |
505.34/505.68	c |    999830 |     884    11488    55322 |    24328    24128     36 |  0.000 % |
506.34/506.69	c |   1001693 |     884    11488    55322 |    24298    22851     36 |  0.000 % |
507.44/507.74	c |   1003743 |     884    11488    55322 |    24298    21897     35 |  0.000 % |
508.54/508.85	c |   1005997 |     884    11488    55322 |    24298    24151     36 |  0.000 % |
509.74/510.05	c |   1008475 |     884    11488    55322 |    24298    23808     36 |  0.000 % |
511.24/511.59	c |   1011202 |     884    11488    55322 |    22404    20818     35 |  0.000 % |
512.74/513.10	c |   1014199 |     884    11488    55322 |    22404    21376     35 |  0.000 % |
514.44/514.72	c |   1017496 |     884    11488    55322 |    22404    22247     35 |  0.000 % |
516.34/516.68	c |   1021122 |     884    11488    55322 |    22373    21081     35 |  0.000 % |
518.74/519.01	c |   1025111 |     884    11488    55322 |    22373    19734     34 |  0.000 % |
520.34/520.64	c |   1029496 |     884    11488    55322 |    22373    21748     34 |  0.000 % |
522.34/522.66	c |   1034319 |     884    11488    55322 |    22252    22079     35 |  0.000 % |
525.14/525.49	c |   1039624 |     884    11488    55322 |    22252    20686     36 |  0.000 % |
528.33/528.63	c |   1045461 |     884    11488    55322 | 2147483647    26523     38 |  0.000 % |
533.24/533.51	c |   1051880 |     884    11488    55322 |    31064    27866     38 |  0.000 % |
537.93/538.21	c |   1058942 |     884    11488    55322 |    31064    29184     39 |  0.000 % |
543.43/543.70	c |   1066709 |     884    11488    55322 |    30246    25685     38 |  0.000 % |
549.33/549.64	c |   1075251 |     884    11488    55322 |    28976    28760     38 |  0.000 % |
555.34/555.65	c |   1084648 |     884    11488    55322 |    28199    27615     36 |  0.000 % |
555.44/555.72	c |   1084749 |     884    11488    55322 |    28199    27716     36 |  0.000 % |
555.44/555.80	c |   1084861 |     884    11488    55322 |    28199    27828     36 |  0.000 % |
555.64/555.90	c |   1084982 |     884    11488    55322 |    28199    27949     36 |  0.000 % |
555.64/555.99	c |   1085118 |     884    11488    55322 |    28199    28085     36 |  0.000 % |
555.74/556.08	c |   1085265 |     884    11488    55322 |    28199    28232     36 |  0.000 % |
555.94/556.23	c |   1085425 |     884    11488    55322 |    28199    23563     35 |  0.000 % |
556.04/556.35	c |   1085602 |     884    11488    55322 |    28199    23740     35 |  0.000 % |
556.14/556.50	c |   1085797 |     884    11488    55322 |    28199    23935     35 |  0.000 % |
556.34/556.62	c |   1086009 |     884    11488    55322 |    28199    24147     35 |  0.000 % |
556.44/556.73	c |   1086246 |     884    11488    55322 |    28199    24384     35 |  0.000 % |
556.54/556.84	c |   1086504 |     884    11488    55322 |    28199    24642     35 |  0.002 % |
556.64/556.96	c |   1086785 |     884    11488    55322 |    28199    24923     35 |  0.002 % |
556.84/557.15	c |   1087094 |     884    11488    55322 |    28199    25232     35 |  0.000 % |
556.94/557.28	c |   1087434 |     884    11488    55322 |    28199    25572     35 |  0.003 % |
557.14/557.47	c |   1087807 |     884    11488    55322 |    28199    25945     36 |  0.000 % |
557.34/557.68	c |   1088216 |     884    11488    55322 |    28199    26354     36 |  0.000 % |
557.64/557.91	c |   1088665 |     884    11488    55322 |    28199    26803     36 |  0.000 % |
557.84/558.19	c |   1089160 |     884    11488    55322 |    28199    27298     36 |  0.000 % |
558.34/558.62	c |   1089704 |     884    11488    55322 |    28199    27842     36 |  0.000 % |
558.84/559.16	c |   1090301 |     884    11488    55322 |    28140    23437     35 |  0.000 % |
559.14/559.49	c |   1090956 |     884    11488    55322 |    28140    24092     35 |  0.000 % |
559.64/559.91	c |   1091677 |     884    11488    55322 |    28140    24813     35 |  0.000 % |
560.03/560.36	c |   1092469 |     884    11488    55322 |    28140    25605     36 |  0.000 % |
560.64/560.91	c |   1093340 |     884    11488    55322 |    28140    26476     36 |  0.000 % |
561.13/561.44	c |   1094298 |     884    11488    55322 |    28140    27434     36 |  0.000 % |
561.74/562.05	c |   1095352 |     884    11488    55322 |    28140    23715     35 |  0.000 % |
562.43/562.76	c |   1096511 |     884    11488    55322 |    28140    24874     35 |  0.000 % |
562.94/563.25	c |   1097784 |     884    11488    55322 |    28140    26147     35 |  0.000 % |
563.73/564.05	c |   1099184 |     884    11488    55322 |    28140    27547     36 |  0.000 % |
564.73/565.09	c |   1100724 |     884    11488    55322 |    23700    20433     34 |  0.000 % |
565.63/565.97	c |   1102420 |     884    11488    55322 |    23700    22129     34 |  0.000 % |
566.83/567.11	c |   1104285 |     884    11488    55322 |    23700    20581     33 |  0.000 % |
567.83/568.13	c |   1106335 |     884    11488    55322 |    23700    22631     34 |  0.000 % |
568.83/569.15	c |   1108588 |     884    11488    55322 |    23700    21779     34 |  0.000 % |
569.83/570.12	c |   1111066 |     884    11488    55322 |    23191    21385     34 |  0.002 % |
571.13/571.44	c |   1113791 |     884    11488    55322 |    23191    21498     34 |  0.000 % |
572.53/572.80	c |   1116789 |     884    11488    55322 |    23191    22024     34 |  0.000 % |
573.93/574.30	c |   1120085 |     884    11488    55322 |    22807    22890     35 |  0.000 % |
575.43/575.73	c |   1123710 |     884    11488    55322 |    22807    21879     34 |  0.000 % |
577.33/577.61	c |   1127697 |     884    11488    55322 |    22807    21281     34 |  0.000 % |
579.33/579.69	c |   1132083 |     884    11488    55322 | 2147483647    23372     37 |  0.000 % |
581.53/581.85	c |   1136907 |     884    11488    55322 | 2147483647    28196     36 |  0.000 % |
584.73/585.07	c |   1142213 |     884    11488    55322 |    31289    28688     36 |  0.002 % |
588.63/588.98	c |   1148048 |     884    11488    55322 |    31289    29115     36 |  0.000 % |
591.53/591.80	c |   1154466 |     884    11488    55322 |    31067    30284     34 |  0.002 % |
595.52/595.80	c |   1161525 |     884    11488    55322 |    30981    27407     37 |  0.000 % |
599.92/600.21	c |   1169292 |     884    11488    55322 |    30981    29626     37 |  0.000 % |
604.92/605.24	c |   1177833 |     884    11488    55322 |    30334    27381     36 |  0.002 % |
609.82/610.19	c |   1187227 |     884    11488    55322 |    29548    26247     36 |  0.000 % |
616.02/616.31	c |   1197561 |     884    11488    55322 |    29022    26307     35 |  0.000 % |
616.02/616.35	c |   1197661 |     884    11488    55322 |    29022    26407     35 |  0.000 % |
616.12/616.42	c |   1197771 |     884    11488    55322 |    29022    26517     35 |  0.002 % |
616.12/616.49	c |   1197892 |     884    11488    55322 |    29022    26638     35 |  0.003 % |
616.22/616.56	c |   1198025 |     884    11488    55322 |    29022    26771     35 |  0.000 % |
616.32/616.63	c |   1198172 |     884    11488    55322 |    29022    26918     35 |  0.003 % |
616.42/616.72	c |   1198334 |     884    11488    55322 |    29022    27080     35 |  0.000 % |
616.52/616.84	c |   1198510 |     884    11488    55322 |    29022    27256     35 |  0.000 % |
616.62/616.98	c |   1198703 |     884    11488    55322 |    29022    27449     35 |  0.000 % |
616.82/617.13	c |   1198915 |     884    11488    55322 |    29022    27661     35 |  0.000 % |
616.92/617.28	c |   1199149 |     884    11488    55322 |    29022    27895     35 |  0.000 % |
617.12/617.44	c |   1199405 |     884    11488    55322 |    29022    28151     36 |  0.000 % |
617.32/617.63	c |   1199686 |     884    11488    55322 |    29022    28432     36 |  0.000 % |
617.52/617.87	c |   1199996 |     884    11488    55322 |    29022    28742     36 |  0.000 % |
617.72/618.06	c |   1200335 |     884    11488    55322 |    28746    24183     34 |  0.000 % |
617.92/618.28	c |   1200708 |     884    11488    55322 |    28746    24556     34 |  0.002 % |
618.22/618.51	c |   1201117 |     884    11488    55322 |    28746    24965     34 |  0.000 % |
618.51/618.81	c |   1201567 |     884    11488    55322 |    28746    25415     34 |  0.000 % |
618.61/618.99	c |   1202062 |     884    11488    55322 |    28746    25910     34 |  0.002 % |
618.92/619.26	c |   1202605 |     884    11488    55322 |    28746    26453     34 |  0.000 % |
619.31/619.63	c |   1203204 |     884    11488    55322 |    28746    27052     35 |  0.000 % |
619.71/620.05	c |   1203862 |     884    11488    55322 |    28746    27710     35 |  0.000 % |
620.12/620.48	c |   1204582 |     884    11488    55322 |    28746    28430     35 |  0.000 % |
620.51/620.86	c |   1205377 |     884    11488    55322 |    28746    24355     33 |  0.002 % |
620.91/621.22	c |   1206251 |     884    11488    55322 |    28746    25229     33 |  0.000 % |
621.31/621.69	c |   1207209 |     884    11488    55322 |    28746    26187     33 |  0.000 % |
621.91/622.27	c |   1208262 |     884    11488    55322 |    28746    27240     34 |  0.000 % |
622.61/622.95	c |   1209420 |     884    11488    55322 |    28746    28398     34 |  0.000 % |
623.42/623.73	c |   1210695 |     884    11488    55322 |    24555    21472     33 |  0.000 % |
624.21/624.56	c |   1212095 |     884    11488    55322 |    24555    22872     33 |  0.000 % |
624.91/625.23	c |   1213636 |     884    11488    55322 |    24555    24413     34 |  0.000 % |
625.81/626.11	c |   1215331 |     884    11488    55322 |    24555    22652     34 |  0.000 % |
626.51/626.85	c |   1217195 |     884    11488    55322 |    24555    24516     35 |  0.000 % |
627.41/627.79	c |   1219247 |     884    11488    55322 |    24555    23259     35 |  0.000 % |
628.61/628.99	c |   1221500 |     884    11488    55322 |    24013    22235     35 |  0.000 % |
629.81/630.14	c |   1223979 |     884    11488    55322 |    24013    21763     34 |  0.000 % |
631.41/631.73	c |   1226704 |     884    11488    55322 |    24013    21271     34 |  0.000 % |
632.91/633.28	c |   1229702 |     884    11488    55322 |    24013    21126     35 |  0.000 % |
634.61/634.92	c |   1232998 |     884    11488    55322 |    21424    19174     33 |  0.000 % |
636.31/636.61	c |   1236625 |     884    11488    55322 |    21424    20536     34 |  0.000 % |
638.21/638.50	c |   1240612 |     884    11488    55322 | 2147483647    20219     35 |  0.000 % |
640.30/640.68	c |   1244998 |     884    11488    55322 | 2147483647    24605     37 |  0.000 % |
643.80/644.15	c |   1249823 |     884    11488    55322 | 2147483647    29430     39 |  0.000 % |
648.00/648.38	c |   1255129 |     884    11488    55322 |    29607    25184     38 |  0.000 % |
652.60/652.93	c |   1260964 |     884    11488    55322 |    24138    20292     35 |  0.000 % |
656.30/656.69	c |   1267383 |     884    11488    55322 |    24138    22856     36 |  0.000 % |
660.50/660.83	c |   1274443 |     884    11488    55322 |    21644    19690     34 |  0.000 % |
664.50/664.83	c |   1282208 |     884    11488    55322 |    19611    19383     35 |  0.000 % |
668.70/669.07	c |   1290748 |     884    11488    55322 | 2147483647    20041     36 |  0.000 % |
674.79/675.19	c |   1300144 |     884    11488    55322 |    29293    25150     38 |  0.000 % |
681.70/682.05	c |   1310477 |     884    11488    55322 |    24514    20595     35 |  0.000 % |
687.99/688.31	c |   1321843 |     884    11488    55322 |    22199    20840     35 |  0.000 % |
687.99/688.39	c |   1321943 |     884    11488    55322 |    22199    20940     35 |  0.000 % |
688.09/688.47	c |   1322054 |     884    11488    55322 |    22199    21051     35 |  0.000 % |
688.19/688.52	c |   1322177 |     884    11488    55322 |    22199    21174     35 |  0.002 % |
688.19/688.58	c |   1322310 |     884    11488    55322 |    22199    21307     35 |  0.000 % |
688.29/688.65	c |   1322456 |     884    11488    55322 |    22199    21453     35 |  0.000 % |
688.39/688.73	c |   1322616 |     884    11488    55322 |    22199    21613     35 |  0.000 % |
688.49/688.81	c |   1322794 |     884    11488    55322 |    22199    21791     35 |  0.000 % |
688.49/688.90	c |   1322988 |     884    11488    55322 |    22199    21985     35 |  0.000 % |
688.69/689.01	c |   1323201 |     884    11488    55322 |    22199    22198     35 |  0.000 % |
688.79/689.15	c |   1323437 |     884    11488    55322 |    22199    19947     34 |  0.000 % |
688.89/689.28	c |   1323694 |     884    11488    55322 |    22199    20204     34 |  0.000 % |
689.09/689.45	c |   1323976 |     884    11488    55322 |    22199    20486     34 |  0.000 % |
689.19/689.58	c |   1324285 |     884    11488    55322 |    22199    20795     35 |  0.000 % |
689.39/689.75	c |   1324626 |     884    11488    55322 |    22199    21136     35 |  0.000 % |
689.49/689.90	c |   1325002 |     884    11488    55322 |    22199    21512     35 |  0.000 % |
689.69/690.06	c |   1325413 |     884    11488    55322 |    22199    21923     35 |  0.002 % |
689.99/690.31	c |   1325862 |     884    11488    55322 |    22199    19712     34 |  0.000 % |
690.19/690.56	c |   1326355 |     884    11488    55322 |    22199    20205     34 |  0.000 % |
690.39/690.76	c |   1326897 |     884    11488    55322 |    22199    20747     34 |  0.000 % |
690.68/691.02	c |   1327493 |     884    11488    55322 |    22199    21343     34 |  0.000 % |
690.98/691.35	c |   1328148 |     884    11488    55322 |    22199    21998     34 |  0.000 % |
691.28/691.65	c |   1328868 |     884    11488    55322 |    22199    20005     33 |  0.000 % |
691.68/692.03	c |   1329660 |     884    11488    55322 |    22199    20797     33 |  0.000 % |
692.08/692.45	c |   1330532 |     884    11488    55322 |    21139    19074     32 |  0.000 % |
692.38/692.76	c |   1331490 |     884    11488    55322 |    21139    20032     33 |  0.002 % |
692.88/693.29	c |   1332545 |     884    11488    55322 |    21139    21087     33 |  0.000 % |
693.48/693.84	c |   1333704 |     884    11488    55322 |    21139    19783     32 |  0.000 % |
694.08/694.46	c |   1334977 |     884    11488    55322 |    21139    21056     33 |  0.000 % |
694.79/695.12	c |   1336377 |     884    11488    55322 |    21139    19850     32 |  0.000 % |
695.38/695.78	c |   1337918 |     884    11488    55322 |    21139    18954     32 |  0.000 % |
696.08/696.45	c |   1339612 |     884    11488    55322 |    21139    20648     33 |  0.000 % |
696.99/697.32	c |   1341475 |     884    11488    55322 |    21039    20144     33 |  0.000 % |
697.98/698.37	c |   1343524 |     884    11488    55322 |    21039    20049     33 |  0.000 % |
698.88/699.28	c |   1345780 |     884    11488    55322 |    21039    20187     33 |  0.000 % |
700.18/700.51	c |   1348259 |     884    11488    55322 |    21039    20548     33 |  0.000 % |
701.48/701.81	c |   1350984 |     884    11488    55322 | 2147483647    21160     34 |  0.000 % |
702.68/703.03	c |   1353981 |     884    11488    55322 | 2147483647    24157     36 |  0.000 % |
704.48/704.83	c |   1357280 |     884    11488    55322 | 2147483647    27456     38 |  0.000 % |
706.98/707.37	c |   1360907 |     884    11488    55322 |    30177    26763     37 |  0.000 % |
709.68/710.00	c |   1364894 |     884    11488    55322 |    30177    25627     38 |  0.000 % |
712.38/712.77	c |   1369279 |     884    11488    55322 |    30177    30012     39 |  0.000 % |
714.98/715.37	c |   1374104 |     884    11488    55322 |    25344    24967     36 |  0.000 % |
717.88/718.21	c |   1379409 |     884    11488    55322 |    25344    23224     35 |  0.000 % |
720.67/721.08	c |   1385245 |     884    11488    55322 |    23815    22475     32 |  0.000 % |
723.57/723.95	c |   1391663 |     884    11488    55322 |    21434    20567     31 |  0.000 % |
726.68/727.00	c |   1398723 |     884    11488    55322 |    21434    20969     31 |  0.000 % |
729.87/730.30	c |   1406487 |     884    11488    55322 | 2147483647    26576     32 |  0.000 % |
734.56/734.93	c |   1415029 |     884    11488    55322 |    30090    27310     34 |  0.000 % |
738.96/739.34	c |   1424424 |     884    11488    55322 |    27991    24291     33 |  0.002 % |
744.56/744.95	c |   1434757 |     884    11488    55322 |    25556    22831     33 |  0.000 % |
749.76/750.12	c |   1446123 |     884    11488    55322 |    24841    22609     33 |  0.000 % |
754.56/754.92	c |   1458625 |     884    11488    55322 |    23980    22955     31 |  0.000 % |
754.56/754.97	c |   1458725 |     884    11488    55322 |    23980    23055     31 |  0.000 % |
754.66/755.02	c |   1458836 |     884    11488    55322 |    23980    23166     31 |  0.000 % |
754.66/755.07	c |   1458957 |     884    11488    55322 |    23980    23287     31 |  0.000 % |
754.76/755.13	c |   1459090 |     884    11488    55322 |    23980    23420     31 |  0.000 % |
754.76/755.19	c |   1459236 |     884    11488    55322 |    23980    23566     31 |  0.002 % |
754.86/755.27	c |   1459396 |     884    11488    55322 |    23980    23726     31 |  0.000 % |
754.96/755.37	c |   1459572 |     884    11488    55322 |    23980    23902     31 |  0.000 % |
755.06/755.43	c |   1459765 |     884    11488    55322 |    23980    24095     31 |  0.003 % |
755.16/755.51	c |   1459978 |     884    11488    55322 |    23980    21899     31 |  0.002 % |
755.26/755.62	c |   1460214 |     884    11488    55322 | 2147483647    22135     31 |  0.000 % |
755.36/755.72	c |   1460470 |     884    11488    55322 | 2147483647    22391     31 |  0.000 % |
755.46/755.82	c |   1460751 |     884    11488    55322 | 2147483647    22672     31 |  0.000 % |
755.56/755.94	c |   1461062 |     884    11488    55322 | 2147483647    22983     31 |  0.000 % |
755.66/756.04	c |   1461402 |     884    11488    55322 | 2147483647    23323     31 |  0.000 % |
755.76/756.18	c |   1461774 |     884    11488    55322 | 2147483647    23695     31 |  0.000 % |
755.86/756.29	c |   1462186 |     884    11488    55322 | 2147483647    24107     32 |  0.000 % |
756.06/756.49	c |   1462635 |     884    11488    55322 | 2147483647    24556     32 |  0.000 % |
756.25/756.68	c |   1463131 |     884    11488    55322 | 2147483647    25052     32 |  0.000 % |
756.55/756.95	c |   1463675 |     884    11488    55322 | 2147483647    25596     32 |  0.000 % |
756.85/757.21	c |   1464272 |     884    11488    55322 | 2147483647    26193     32 |  0.000 % |
757.15/757.58	c |   1464929 |     884    11488    55322 | 2147483647    26850     33 |  0.000 % |
757.46/757.88	c |   1465650 |     884    11488    55322 | 2147483647    27571     33 |  0.000 % |
757.85/758.23	c |   1466444 |     884    11488    55322 | 2147483647    28365     33 |  0.003 % |
758.15/758.57	c |   1467316 |     884    11488    55322 | 2147483647    29237     33 |  0.000 % |
758.66/759.06	c |   1468274 |     884    11488    55322 | 2147483647    30195     33 |  0.000 % |
759.25/759.61	c |   1469327 |     884    11488    55322 | 2147483647    31248     34 |  0.000 % |
759.85/760.28	c |   1470487 |     884    11488    55322 |    31921    28388     33 |  0.000 % |
760.55/760.90	c |   1471760 |     884    11488    55322 |    31921    29661     34 |  0.000 % |
761.25/761.69	c |   1473160 |     884    11488    55322 |    31921    31061     34 |  0.000 % |
762.15/762.51	c |   1474700 |     884    11488    55322 |    31921    27818     34 |  0.000 % |
762.96/763.37	c |   1476396 |     884    11488    55322 |    31921    29514     34 |  0.000 % |
764.16/764.57	c |   1478262 |     884    11488    55322 |    31921    31380     35 |  0.000 % |
765.75/766.11	c |   1480312 |     884    11488    55322 |    27771    23369     35 |  0.000 % |
766.95/767.32	c |   1482565 |     884    11488    55322 |    27771    25622     36 |  0.000 % |
768.35/768.72	c |   1485043 |     884    11488    55322 |    27771    23412     34 |  0.000 % |
769.45/769.89	c |   1487768 |     884    11488    55322 |    27771    26137     35 |  0.002 % |
771.05/771.48	c |   1490765 |     884    11488    55322 |    23901    20843     33 |  0.000 % |
772.45/772.80	c |   1494061 |     884    11488    55322 |    23901    21045     33 |  0.000 % |
773.85/774.23	c |   1497687 |     884    11488    55322 |    23901    21760     32 |  0.002 % |
775.74/776.12	c |   1501676 |     884    11488    55322 |    21143    20263     31 |  0.000 % |
777.44/777.85	c |   1506062 |     884    11488    55322 |    21143    20397     30 |  0.000 % |
779.04/779.45	c |   1510885 |     884    11488    55322 | 2147483647    20966     30 |  0.000 % |
781.44/781.85	c |   1516192 |     884    11488    55322 | 2147483647    26273     32 |  0.000 % |
784.84/785.20	c |   1522029 |     884    11488    55322 |    30082    28775     33 |  0.000 % |
788.04/788.43	c |   1528448 |     884    11488    55322 |    30082    26483     32 |  0.000 % |
791.34/791.79	c |   1535507 |     884    11488    55322 |    28035    25770     30 |  0.000 % |
794.34/794.78	c |   1543271 |     884    11488    55322 |    26834    26888     32 |  0.000 % |
798.24/798.66	c |   1551812 |     884    11488    55322 |    23844    22646     31 |  0.000 % |
802.34/802.75	c |   1561206 |     884    11488    55322 |    22030    20720     29 |  0.000 % |
805.94/806.32	c |   1571540 |     884    11488    55322 | 2147483647    22187     31 |  0.000 % |
810.34/810.74	c |   1582906 |     884    11488    55322 | 2147483647    33553     30 |  0.003 % |
816.73/817.17	c |   1595408 |     884    11488    55322 |    40654    38972     31 |  0.003 % |
824.11/824.55	c |   1609161 |     884    11488    55322 |    34280    29165     29 |  0.000 % |
824.21/824.62	c |   1609264 |     884    11488    55322 |    34280    29268     29 |  0.000 % |
824.21/824.69	c |   1609374 |     884    11488    55322 |    34280    29378     29 |  0.000 % |
824.31/824.75	c |   1609496 |     884    11488    55322 |    34280    29500     29 |  0.000 % |
824.41/824.82	c |   1609629 |     884    11488    55322 |    34280    29633     29 |  0.000 % |
824.52/824.91	c |   1609775 |     884    11488    55322 |    34280    29779     29 |  0.000 % |
824.52/824.96	c |   1609936 |     884    11488    55322 |    34280    29940     29 |  0.000 % |
824.62/825.06	c |   1610112 |     884    11488    55322 |    30005    30116     29 |  0.000 % |
824.71/825.15	c |   1610309 |     884    11488    55322 |    30005    24472     27 |  0.000 % |
824.81/825.29	c |   1610522 |     884    11488    55322 |    30005    24685     28 |  0.003 % |
824.91/825.35	c |   1610756 |     884    11488    55322 |    30005    24919     28 |  0.000 % |
825.01/825.44	c |   1611012 |     884    11488    55322 |    30005    25175     28 |  0.000 % |
825.11/825.55	c |   1611294 |     884    11488    55322 |    30005    25457     28 |  0.000 % |
825.21/825.68	c |   1611603 |     884    11488    55322 |    30005    25766     28 |  0.000 % |
825.41/825.80	c |   1611942 |     884    11488    55322 |    30005    26105     28 |  0.000 % |
825.51/825.92	c |   1612314 |     884    11488    55322 |    30005    26477     28 |  0.000 % |
825.61/826.06	c |   1612725 |     884    11488    55322 |    30005    26888     28 |  0.000 % |
825.81/826.23	c |   1613175 |     884    11488    55322 |    30005    27338     29 |  0.000 % |
826.01/826.42	c |   1613669 |     884    11488    55322 |    30005    27832     29 |  0.000 % |
826.21/826.61	c |   1614212 |     884    11488    55322 |    30005    28375     29 |  0.000 % |
826.41/826.84	c |   1614809 |     884    11488    55322 |    30005    28972     29 |  0.000 % |
826.61/827.08	c |   1615465 |     884    11488    55322 |    30005    29628     29 |  0.000 % |
826.91/827.34	c |   1616187 |     884    11488    55322 |    30005    27303     29 |  0.000 % |
827.21/827.63	c |   1616979 |     884    11488    55322 |    30005    28095     30 |  0.000 % |
827.61/828.00	c |   1617851 |     884    11488    55322 |    30005    28967     30 |  0.000 % |
827.91/828.38	c |   1618809 |     884    11488    55322 |    30005    29925     30 |  0.002 % |
828.41/828.84	c |   1619862 |     884    11488    55322 |    30005    27965     30 |  0.000 % |
829.01/829.43	c |   1621020 |     884    11488    55322 | 2147483647    29123     31 |  0.000 % |
829.41/829.89	c |   1622295 |     884    11488    55322 | 2147483647    30398     31 |  0.003 % |
830.01/830.47	c |   1623696 |     884    11488    55322 | 2147483647    31799     31 |  0.000 % |
830.81/831.24	c |   1625238 |     884    11488    55322 | 2147483647    33341     31 |  0.000 % |
831.61/832.05	c |   1626934 |     884    11488    55322 | 2147483647    35037     31 |  0.000 % |
832.71/833.18	c |   1628798 |     884    11488    55322 | 2147483647    36901     32 |  0.000 % |
834.21/834.66	c |   1630847 |     884    11488    55322 |    38103    33063     32 |  0.000 % |
835.71/836.11	c |   1633101 |     884    11488    55322 |    38103    35317     32 |  0.000 % |
837.31/837.70	c |   1635579 |     884    11488    55322 |    38103    37795     33 |  0.000 % |
838.61/839.08	c |   1638304 |     884    11488    55322 |    38103    32724     33 |  0.000 % |
840.71/841.11	c |   1641301 |     884    11488    55322 |    34421    28554     32 |  0.000 % |
842.60/843.01	c |   1644599 |     884    11488    55322 |    34421    31852     32 |  0.000 % |
844.10/844.57	c |   1648225 |     884    11488    55322 |    34421    28791     33 |  0.000 % |
846.40/846.84	c |   1652213 |     884    11488    55322 |    30569    26692     32 |  0.000 % |
848.10/848.55	c |   1656598 |     884    11488    55322 |    30569    26118     32 |  0.000 % |
850.10/850.58	c |   1661421 |     884    11488    55322 |    29520    26466     31 |  0.003 % |
852.40/852.89	c |   1666726 |     884    11488    55322 |    29520    27667     32 |  0.000 % |
855.00/855.44	c |   1672562 |     884    11488    55322 |    27195    26398     31 |  0.000 % |
857.30/857.73	c |   1678981 |     884    11488    55322 |    27195    27249     29 |  0.000 % |
860.80/861.26	c |   1686044 |     884    11488    55322 | 2147483647    31588     31 |  0.000 % |
863.60/864.01	c |   1693809 |     884    11488    55322 |    35545    34253     31 |  0.000 % |
867.59/868.01	c |   1702352 |     884    11488    55322 |    35124    31386     34 |  0.000 % |
871.89/872.36	c |   1711746 |     884    11488    55322 |    32617    28620     33 |  0.000 % |
877.19/877.67	c |   1722081 |     884    11488    55322 |    30824    27078     32 |  0.000 % |
881.19/881.69	c |   1733448 |     884    11488    55322 |    30753    29904     37 |  0.000 % |
886.79/887.21	c |   1745952 |     884    11488    55322 |    26435    24440     38 |  0.000 % |
892.69/893.19	c |   1759704 |     884    11488    55322 |    24964    23185     34 |  0.000 % |
898.88/899.35	c |   1774831 |     884    11488    55322 | 2147483647    26258     34 |  0.000 % |
898.98/899.40	c |   1774931 |     884    11488    55322 | 2147483647    26358     34 |  0.000 % |
898.98/899.47	c |   1775041 |     884    11488    55322 | 2147483647    26468     34 |  0.000 % |
899.09/899.52	c |   1775162 |     884    11488    55322 | 2147483647    26589     34 |  0.000 % |
899.09/899.59	c |   1775295 |     884    11488    55322 | 2147483647    26722     34 |  0.000 % |
899.19/899.64	c |   1775441 |     884    11488    55322 | 2147483647    26868     34 |  0.000 % |
899.29/899.71	c |   1775603 |     884    11488    55322 | 2147483647    27030     34 |  0.000 % |
899.29/899.80	c |   1775779 |     884    11488    55322 | 2147483647    27206     34 |  0.000 % |
899.49/899.92	c |   1775975 |     884    11488    55322 | 2147483647    27402     34 |  0.000 % |
899.59/900.03	c |   1776189 |     884    11488    55322 | 2147483647    27616     34 |  0.000 % |
899.69/900.13	c |   1776422 |     884    11488    55322 | 2147483647    27849     34 |  0.000 % |
899.79/900.24	c |   1776679 |     884    11488    55322 | 2147483647    28106     34 |  0.000 % |
899.89/900.34	c |   1776963 |     884    11488    55322 | 2147483647    28390     34 |  0.000 % |
899.99/900.45	c |   1777272 |     884    11488    55322 | 2147483647    28699     34 |  0.000 % |
900.19/900.61	c |   1777612 |     884    11488    55322 | 2147483647    29039     34 |  0.000 % |
900.39/900.83	c |   1777984 |     884    11488    55322 | 2147483647    29411     34 |  0.000 % |
900.69/901.11	c |   1778395 |     884    11488    55322 | 2147483647    29822     34 |  0.000 % |
900.99/901.44	c |   1778846 |     884    11488    55322 | 2147483647    30273     34 |  0.000 % |
901.19/901.67	c |   1779340 |     884    11488    55322 | 2147483647    30767     34 |  0.000 % |
901.49/901.91	c |   1779882 |     884    11488    55322 | 2147483647    31309     34 |  0.000 % |
901.99/902.45	c |   1780478 |     884    11488    55322 |    31429    27399     33 |  0.000 % |
902.29/902.73	c |   1781134 |     884    11488    55322 |    31429    28055     33 |  0.000 % |
902.69/903.18	c |   1781854 |     884    11488    55322 |    31429    28775     33 |  0.000 % |
903.08/903.56	c |   1782646 |     884    11488    55322 |    31429    29567     34 |  0.000 % |
903.69/904.11	c |   1783518 |     884    11488    55322 |    31429    30439     34 |  0.000 % |
903.98/904.43	c |   1784477 |     884    11488    55322 |    31429    31398     34 |  0.003 % |
904.68/905.15	c |   1785531 |     884    11488    55322 |    31429    26934     32 |  0.000 % |
904.98/905.47	c |   1786690 |     884    11488    55322 |    31429    28093     33 |  0.002 % |
905.68/906.14	c |   1787966 |     884    11488    55322 |    31429    29369     33 |  0.000 % |
906.38/906.81	c |   1789366 |     884    11488    55322 |    31429    30769     33 |  0.000 % |
906.88/907.38	c |   1790906 |     884    11488    55322 |    31405    27019     32 |  0.000 % |
907.88/908.31	c |   1792602 |     884    11488    55322 |    31405    28715     32 |  0.000 % |
908.68/909.13	c |   1794467 |     884    11488    55322 |    31405    30580     33 |  0.000 % |
909.47/909.97	c |   1796518 |     884    11488    55322 |    31405    27629     32 |  0.000 % |
910.28/910.79	c |   1798772 |     884    11488    55322 |    31405    29883     33 |  0.003 % |
911.27/911.80	c |   1801250 |     884    11488    55322 |    31114    27769     32 |  0.000 % |
912.48/912.99	c |   1803975 |     884    11488    55322 |    31114    30494     33 |  0.000 % |
913.77/914.27	c |   1806972 |     884    11488    55322 |    31114    28747     33 |  0.000 % |
915.37/915.86	c |   1810270 |     884    11488    55322 |    26874    22934     32 |  0.000 % |
916.77/917.22	c |   1813895 |     884    11488    55322 |    26874    26559     32 |  0.000 % |
918.37/918.83	c |   1817882 |     884    11488    55322 |    26874    23901     32 |  0.000 % |
920.18/920.61	c |   1822267 |     884    11488    55322 |    26019    25251     32 |  0.000 % |
921.97/922.45	c |   1827091 |     884    11488    55322 |    26019    24432     32 |  0.000 % |
923.58/924.01	c |   1832398 |     884    11488    55322 | 2147483647    27032     31 |  0.000 % |
925.87/926.37	c |   1838233 |     884    11488    55322 | 2147483647    32867     32 |  0.000 % |
928.67/929.11	c |   1844651 |     884    11488    55322 |    34635    34278     33 |  0.000 % |
932.07/932.59	c |   1851710 |     884    11488    55322 |    33992    29609     33 |  0.000 % |
935.87/936.31	c |   1859475 |     884    11488    55322 |    33992    31210     34 |  0.000 % |
939.17/939.64	c |   1868015 |     884    11488    55322 |    31735    29794     34 |  0.000 % |
942.96/943.44	c |   1877409 |     884    11488    55322 |    31780    30208     31 |  0.002 % |
946.76/947.28	c |   1887742 |     884    11488    55322 |    27762    27648     30 |  0.000 % |
950.56/951.10	c |   1899109 |     884    11488    55322 |    26322    24160     31 |  0.000 % |
955.46/955.95	c |   1911611 |     884    11488    55322 |    35052    32322     33 |  0.000 % |
961.75/962.26	c |   1925363 |     884    11488    55322 |    35107    34663     34 |  0.000 % |
968.85/969.38	c |   1940490 |     884    11488    55322 |    30811    25748     34 |  0.000 % |
975.75/976.28	c |   1957129 |     884    11488    55322 |    30270    28629     33 |  0.000 % |
975.85/976.34	c |   1957230 |     884    11488    55322 |    30270    28730     33 |  0.000 % |
975.95/976.40	c |   1957340 |     884    11488    55322 |    30270    28840     33 |  0.000 % |
975.95/976.45	c |   1957462 |     884    11488    55322 |    30270    28962     33 |  0.000 % |
976.05/976.52	c |   1957595 |     884    11488    55322 |    30270    29095     33 |  0.000 % |
976.05/976.57	c |   1957741 |     884    11488    55322 |    30270    29241     33 |  0.003 % |
976.15/976.66	c |   1957903 |     884    11488    55322 |    30270    29403     33 |  0.000 % |
976.25/976.73	c |   1958079 |     884    11488    55322 |    30270    29579     34 |  0.000 % |
976.25/976.79	c |   1958275 |     884    11488    55322 |    30270    29775     34 |  0.000 % |
976.35/976.87	c |   1958487 |     884    11488    55322 |    30270    29987     34 |  0.000 % |
976.45/976.96	c |   1958722 |     884    11488    55322 |    30270    30222     34 |  0.000 % |
976.65/977.12	c |   1958979 |     884    11488    55322 |    30270    26144     33 |  0.000 % |
976.75/977.26	c |   1959260 |     884    11488    55322 |    30270    26425     33 |  0.000 % |
976.95/977.44	c |   1959570 |     884    11488    55322 |    30270    26735     33 |  0.000 % |
977.05/977.57	c |   1959910 |     884    11488    55322 |    30270    27075     33 |  0.000 % |
977.35/977.81	c |   1960286 |     884    11488    55322 |    27165    23263     32 |  0.000 % |
977.45/977.95	c |   1960697 |     884    11488    55322 |    27165    23674     32 |  0.003 % |
977.55/978.09	c |   1961146 |     884    11488    55322 |    27165    24123     32 |  0.000 % |
977.75/978.30	c |   1961639 |     884    11488    55322 |    27165    24616     32 |  0.000 % |
978.05/978.53	c |   1962181 |     884    11488    55322 |    27165    25158     32 |  0.000 % |
978.35/978.81	c |   1962778 |     884    11488    55322 |    27165    25755     32 |  0.000 % |
978.65/979.16	c |   1963434 |     884    11488    55322 |    27165    26411     33 |  0.000 % |
978.85/979.38	c |   1964154 |     884    11488    55322 |    27165    27131     33 |  0.000 % |
979.15/979.68	c |   1964946 |     884    11488    55322 |    27165    24116     32 |  0.000 % |
979.45/980.00	c |   1965818 |     884    11488    55322 |    27165    24988     32 |  0.000 % |
979.95/980.44	c |   1966777 |     884    11488    55322 |    27165    25947     32 |  0.000 % |
980.44/980.96	c |   1967833 |     884    11488    55322 |    27165    27003     33 |  0.000 % |
980.94/981.41	c |   1968991 |     884    11488    55322 |    27165    24239     32 |  0.000 % |
981.54/982.06	c |   1970265 |     884    11488    55322 |    25248    21799     32 |  0.000 % |
982.14/982.61	c |   1971665 |     884    11488    55322 |    25248    23199     32 |  0.000 % |
982.85/983.31	c |   1973205 |     884    11488    55322 |    25248    24739     33 |  0.000 % |
983.54/984.06	c |   1974899 |     884    11488    55322 |    25248    22868     33 |  0.000 % |
984.34/984.84	c |   1976765 |     884    11488    55322 |    25248    24734     33 |  0.000 % |
985.15/985.61	c |   1978815 |     884    11488    55322 |    25248    23336     34 |  0.000 % |
986.04/986.50	c |   1981069 |     884    11488    55322 |    24521    22464     35 |  0.000 % |
986.74/987.28	c |   1983547 |     884    11488    55322 |    24521    22365     35 |  0.000 % |
987.84/988.36	c |   1986274 |     884    11488    55322 |    24521    22431     34 |  0.000 % |
988.84/989.37	c |   1989273 |     884    11488    55322 |    24521    22956     33 |  0.000 % |
989.94/990.44	c |   1992569 |     884    11488    55322 | 2147483647    26252     33 |  0.000 % |
991.24/991.79	c |   1996197 |     884    11488    55322 | 2147483647    29880     33 |  0.003 % |
993.34/993.88	c |   2000184 |     884    11488    55322 |    33684    29107     33 |  0.000 % |
995.14/995.69	c |   2004569 |     884    11488    55322 |    33684    33492     34 |  0.000 % |
997.04/997.51	c |   2009394 |     884    11488    55322 |    33684    32908     32 |  0.002 % |
999.13/999.64	c |   2014700 |     884    11488    55322 |    33514    33061     32 |  0.000 % |
1002.32/1002.87	c |   2020538 |     884    11488    55322 |    32909    27508     31 |  0.000 % |
1004.72/1005.24	c |   2026956 |     884    11488    55322 |    32909    29071     30 |  0.000 % |
1007.52/1008.07	c |   2034016 |     884    11488    55322 |    32116    31360     30 |  0.000 % |
1010.32/1010.89	c |   2041781 |     884    11488    55322 |    27908    25802     30 |  0.003 % |
1013.52/1014.00	c |   2050322 |     884    11488    55322 |    27253    24303     32 |  0.000 % |
1017.31/1017.80	c |   2059717 |     884    11488    55322 |    27253    26676     35 |  0.000 % |
1021.51/1022.03	c |   2070050 |     884    11488    55322 |    25558    25607     35 |  0.000 % |
1025.01/1025.54	c |   2081419 |     884    11488    55322 | 2147483647    25943     32 |  0.002 % |
1031.21/1031.76	c |   2093924 |     884    11488    55322 |    34524    32192     34 |  0.000 % |
1037.91/1038.45	c |   2107676 |     884    11488    55322 |    31403    26977     34 |  0.000 % |
1043.80/1044.36	c |   2122803 |     884    11488    55322 |    26035    25490     33 |  0.000 % |
1050.60/1051.16	c |   2139442 |     884    11488    55322 |    23246    22509     35 |  0.000 % |
1057.80/1058.35	c |   2157744 |     884    11488    55322 | 2147483647    28952     36 |  0.000 % |
1057.90/1058.44	c |   2157844 |     884    11488    55322 | 2147483647    29052     36 |  0.000 % |
1058.00/1058.50	c |   2157955 |     884    11488    55322 | 2147483647    29163     36 |  0.000 % |
1058.00/1058.57	c |   2158077 |     884    11488    55322 | 2147483647    29285     36 |  0.000 % |
1058.10/1058.62	c |   2158215 |     884    11488    55322 | 2147483647    29423     36 |  0.003 % |
1058.10/1058.69	c |   2158361 |     884    11488    55322 | 2147483647    29569     36 |  0.000 % |
1058.20/1058.78	c |   2158521 |     884    11488    55322 | 2147483647    29729     36 |  0.000 % |
1058.30/1058.83	c |   2158697 |     884    11488    55322 | 2147483647    29905     36 |  0.000 % |
1058.39/1058.94	c |   2158890 |     884    11488    55322 | 2147483647    30098     36 |  0.000 % |
1058.49/1059.03	c |   2159104 |     884    11488    55322 | 2147483647    30312     36 |  0.000 % |
1058.59/1059.15	c |   2159338 |     884    11488    55322 | 2147483647    30546     36 |  0.000 % |
1058.70/1059.26	c |   2159594 |     884    11488    55322 | 2147483647    30802     36 |  0.000 % |
1058.80/1059.34	c |   2159875 |     884    11488    55322 | 2147483647    31083     36 |  0.003 % |
1058.99/1059.53	c |   2160184 |     884    11488    55322 |    31211    27451     35 |  0.000 % |
1059.09/1059.66	c |   2160523 |     884    11488    55322 |    31211    27790     35 |  0.000 % |
1059.29/1059.83	c |   2160895 |     884    11488    55322 |    31211    28162     35 |  0.000 % |
1059.49/1060.02	c |   2161304 |     884    11488    55322 |    31211    28571     35 |  0.000 % |
1059.69/1060.20	c |   2161755 |     884    11488    55322 |    31211    29022     35 |  0.000 % |
1059.90/1060.44	c |   2162250 |     884    11488    55322 |    31211    29517     35 |  0.000 % |
1060.19/1060.78	c |   2162793 |     884    11488    55322 |    31211    30060     35 |  0.000 % |
1060.49/1061.07	c |   2163391 |     884    11488    55322 |    31211    30658     36 |  0.000 % |
1061.00/1061.58	c |   2164046 |     884    11488    55322 |    31211    25743     34 |  0.000 % |
1061.19/1061.80	c |   2164766 |     884    11488    55322 |    31211    26463     34 |  0.000 % |
1061.49/1062.06	c |   2165558 |     884    11488    55322 |    31211    27255     34 |  0.000 % |
1061.79/1062.32	c |   2166430 |     884    11488    55322 |    31211    28127     34 |  0.000 % |
1062.19/1062.72	c |   2167388 |     884    11488    55322 |    31211    29085     34 |  0.003 % |
1062.69/1063.22	c |   2168442 |     884    11488    55322 |    31211    30139     34 |  0.000 % |
1063.10/1063.66	c |   2169600 |     884    11488    55322 |    31211    31297     34 |  0.000 % |
1063.69/1064.24	c |   2170873 |     884    11488    55322 |    26775    23281     32 |  0.000 % |
1064.09/1064.67	c |   2172274 |     884    11488    55322 |    26775    24682     33 |  0.000 % |
1064.59/1065.19	c |   2173815 |     884    11488    55322 |    26775    26223     33 |  0.000 % |
1065.39/1065.91	c |   2175510 |     884    11488    55322 |    26775    24383     32 |  0.000 % |
1065.99/1066.57	c |   2177373 |     884    11488    55322 |    26775    26246     32 |  0.000 % |
1066.79/1067.30	c |   2179422 |     884    11488    55322 |    26775    25031     32 |  0.000 % |
1067.49/1068.08	c |   2181675 |     884    11488    55322 |    25609    24283     32 |  0.000 % |
1068.39/1068.97	c |   2184155 |     884    11488    55322 |    25609    23923     32 |  0.000 % |
1069.39/1069.96	c |   2186881 |     884    11488    55322 |    25609    23952     32 |  0.000 % |
1070.49/1071.01	c |   2189878 |     884    11488    55322 |    25609    24379     33 |  0.000 % |
1071.79/1072.33	c |   2193175 |     884    11488    55322 | 2147483647    27676     33 |  0.000 % |
1073.29/1073.81	c |   2196801 |     884    11488    55322 | 2147483647    31302     33 |  0.000 % |
1074.79/1075.39	c |   2200790 |     884    11488    55322 |    34501    30371     33 |  0.000 % |
1076.99/1077.54	c |   2205180 |     884    11488    55322 |    34501    28882     33 |  0.000 % |
1079.48/1080.00	c |   2210004 |     884    11488    55322 |    33704    33706     34 |  0.000 % |
1081.38/1081.91	c |   2215311 |     884    11488    55322 |    33704    32988     33 |  0.002 % |
1084.28/1084.81	c |   2221147 |     884    11488    55322 |    32342    28015     33 |  0.000 % |
1087.18/1087.75	c |   2227565 |     884    11488    55322 |    32342    28907     33 |  0.000 % |
1089.98/1090.56	c |   2234625 |     884    11488    55322 |    31342    30374     32 |  0.000 % |
1093.18/1093.72	c |   2242389 |     884    11488    55322 |    30229    27571     32 |  0.000 % |
1096.88/1097.49	c |   2250929 |     884    11488    55322 |    30113    26394     32 |  0.000 % |
1101.08/1101.69	c |   2260323 |     884    11488    55322 |    25602    21741     32 |  0.000 % |
1104.58/1105.19	c |   2270657 |     884    11488    55322 |    25183    23008     33 |  0.000 % |
1109.07/1109.64	c |   2282023 |     884    11488    55322 | 2147483647    26682     34 |  0.000 % |
1113.57/1114.11	c |   2294525 |     884    11488    55322 |    34659    34727     35 |  0.002 % |
1118.87/1119.49	c |   2308277 |     884    11488    55322 |    29226    28446     33 |  0.003 % |
1124.87/1125.41	c |   2323409 |     884    11488    55322 |    25666    22513     37 |  0.002 % |
1130.77/1131.33	c |   2340049 |     884    11488    55322 | 2147483647    21046     31 |  0.000 % |
1137.97/1138.59	c |   2358351 |     884    11488    55322 |    30997    27538     33 |  0.002 % |
1145.76/1146.38	c |   2378483 |     884    11488    55322 |    27431    24718     35 |  0.000 % |
1145.86/1146.43	c |   2378583 |     884    11488    55322 |    27431    24818     35 |  0.000 % |
1145.86/1146.47	c |   2378693 |     884    11488    55322 |    27431    24928     35 |  0.002 % |
1145.96/1146.53	c |   2378814 |     884    11488    55322 |    27431    25049     35 |  0.000 % |
1145.96/1146.58	c |   2378947 |     884    11488    55322 |    27431    25182     35 |  0.000 % |
1146.06/1146.66	c |   2379093 |     884    11488    55322 |    27431    25328     35 |  0.000 % |
1146.16/1146.72	c |   2379253 |     884    11488    55322 |    27431    25488     35 |  0.000 % |
1146.26/1146.80	c |   2379430 |     884    11488    55322 |    27431    25665     35 |  0.000 % |
1146.26/1146.89	c |   2379625 |     884    11488    55322 |    27431    25860     35 |  0.000 % |
1146.36/1146.95	c |   2379837 |     884    11488    55322 |    27431    26072     35 |  0.000 % |
1146.46/1147.09	c |   2380070 |     884    11488    55322 |    26235    26305     35 |  0.000 % |
1146.56/1147.19	c |   2380326 |     884    11488    55322 |    26235    22713     34 |  0.000 % |
1146.76/1147.33	c |   2380608 |     884    11488    55322 |    26235    22995     34 |  0.000 % |
1146.86/1147.43	c |   2380917 |     884    11488    55322 |    26235    23304     35 |  0.000 % |
1146.96/1147.53	c |   2381258 |     884    11488    55322 |    26235    23645     35 |  0.000 % |
1147.16/1147.79	c |   2381630 |     884    11488    55322 |    26235    24017     35 |  0.000 % |
1147.36/1147.95	c |   2382041 |     884    11488    55322 |    26235    24428     35 |  0.000 % |
1147.56/1148.10	c |   2382490 |     884    11488    55322 |    26235    24877     35 |  0.002 % |
1147.66/1148.26	c |   2382984 |     884    11488    55322 |    26235    25371     35 |  0.000 % |
1147.86/1148.44	c |   2383526 |     884    11488    55322 |    26235    25913     35 |  0.000 % |
1148.06/1148.68	c |   2384124 |     884    11488    55322 |    26235    22961     34 |  0.000 % |
1148.36/1148.93	c |   2384779 |     884    11488    55322 |    26235    23616     34 |  0.000 % |
1148.56/1149.19	c |   2385499 |     884    11488    55322 |    26235    24336     35 |  0.000 % |
1148.96/1149.52	c |   2386293 |     884    11488    55322 |    26235    25130     35 |  0.000 % |
1149.36/1149.95	c |   2387164 |     884    11488    55322 |    26235    26001     35 |  0.000 % |
1149.76/1150.38	c |   2388122 |     884    11488    55322 |    26235    23334     34 |  0.000 % |
1150.26/1150.83	c |   2389176 |     884    11488    55322 |    26235    24388     34 |  0.000 % |
1150.86/1151.43	c |   2390335 |     884    11488    55322 |    25215    21909     34 |  0.000 % |
1151.26/1151.87	c |   2391608 |     884    11488    55322 |    25215    23182     34 |  0.000 % |
1151.76/1152.40	c |   2393008 |     884    11488    55322 |    25215    24582     35 |  0.000 % |
1152.26/1152.84	c |   2394549 |     884    11488    55322 |    25215    23047     34 |  0.002 % |
1152.96/1153.57	c |   2396243 |     884    11488    55322 |    25215    24741     34 |  0.000 % |
1153.65/1154.20	c |   2398107 |     884    11488    55322 |    25215    23635     34 |  0.000 % |
1154.46/1155.03	c |   2400157 |     884    11488    55322 |    22416    19801     33 |  0.000 % |
1155.15/1155.73	c |   2402411 |     884    11488    55322 |    22416    22055     34 |  0.000 % |
1155.95/1156.57	c |   2404889 |     884    11488    55322 |    22416    22279     33 |  0.000 % |
1157.05/1157.69	c |   2407614 |     884    11488    55322 |    22416    20416     33 |  0.000 % |
1158.15/1158.72	c |   2410613 |     884    11488    55322 |    20344    18786     33 |  0.000 % |
1159.45/1160.08	c |   2413910 |     884    11488    55322 |    20344    19751     33 |  0.000 % |
1160.65/1161.25	c |   2417536 |     884    11488    55322 |    20344    18938     34 |  0.000 % |
1161.55/1162.19	c |   2421523 |     884    11488    55322 | 2147483647    20879     34 |  0.000 % |
1162.85/1163.44	c |   2425908 |     884    11488    55322 | 2147483647    25264     34 |  0.003 % |
1164.85/1165.40	c |   2430731 |     884    11488    55322 | 2147483647    30087     34 |  0.000 % |
1167.25/1167.83	c |   2436038 |     884    11488    55322 | 2147483647    35394     36 |  0.000 % |
1170.55/1171.18	c |   2441873 |     884    11488    55322 |    39357    33273     34 |  0.000 % |
1173.94/1174.56	c |   2448294 |     884    11488    55322 |    39357    31330     34 |  0.000 % |
1177.24/1177.87	c |   2455354 |     884    11488    55322 |    33036    31378     34 |  0.000 % |
1180.74/1181.39	c |   2463119 |     884    11488    55322 |    29859    27638     34 |  0.000 % |
1184.23/1184.81	c |   2471660 |     884    11488    55322 |    29920    27182     34 |  0.000 % |
1188.14/1188.79	c |   2481056 |     884    11488    55322 |    26628    23818     33 |  0.000 % |
1191.44/1192.01	c |   2491390 |     884    11488    55322 | 2147483647    26125     35 |  0.000 % |
1196.64/1197.29	c |   2502756 |     884    11488    55322 |    34736    31709     36 |  0.000 % |
1200.04/1200.60	HOME/SatELiteGTI: line 36: 15113 Terminated              $MS $TMP.cnf $TMP.result

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-1832239-1242770588/watcher-1832239-1242770588 -o /tmp/evaluation-result-1832239-1242770588/solver-1832239-1242770588 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832239-1242770588.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 15107
/proc/meminfo: memFree=1933744/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0
/proc/15107/stat : 15107 (SatELiteGTI) R 15105 15107 14946 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 305092396 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467815071 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15107/statm: 1339 237 197 169 0 50 0

[startup+0.0585851 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 15107
/proc/meminfo: memFree=1933744/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305092396 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15107/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101593 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 15107
/proc/meminfo: memFree=1933744/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.301603 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 15107
/proc/meminfo: memFree=1933744/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.701629 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 15107
/proc/meminfo: memFree=1933744/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+1.50268 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1931424/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=3888 CPUtime=1.41
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 684 0 0 0 141 0 0 0 25 0 1 0 305092405 3981312 670 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15113/statm: 972 670 76 171 0 799 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9244

[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1930016/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=5252 CPUtime=3
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 1032 0 0 0 300 0 0 0 25 0 1 0 305092405 5378048 1018 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 1313 1018 76 171 0 1140 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10608

[startup+6.30199 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1927912/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=7000 CPUtime=6.19
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 1463 0 0 0 619 0 0 0 25 0 1 0 305092405 7168000 1449 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 1750 1449 76 171 0 1577 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12356

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1925544/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=8884 CPUtime=12.59
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 1927 0 0 0 1258 1 0 0 25 0 1 0 305092405 9097216 1913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2221 1913 76 171 0 2048 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 14240

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1925480/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=9024 CPUtime=25.37
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 1953 0 0 0 2536 1 0 0 25 0 1 0 305092405 9240576 1939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2256 1939 76 171 0 2083 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 14380

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1925416/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=9024 CPUtime=50.95
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 1953 0 0 0 5094 1 0 0 25 0 1 0 305092405 9240576 1939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2256 1939 76 171 0 2083 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 14380

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1925160/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=9160 CPUtime=102.13
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 1978 0 0 0 10211 2 0 0 25 0 1 0 305092405 9379840 1964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2290 1964 76 171 0 2117 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 14516

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1924776/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=9428 CPUtime=162.09
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2049 0 0 0 16207 2 0 0 25 0 1 0 305092405 9654272 2035 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2357 2035 76 171 0 2184 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 14784

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1924456/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=9576 CPUtime=222.07
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2094 0 0 0 22204 3 0 0 25 0 1 0 305092405 9805824 2080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2394 2080 76 171 0 2221 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 14932

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1924008/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=10112 CPUtime=282.05
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2207 0 0 0 28202 3 0 0 25 0 1 0 305092405 10354688 2193 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2528 2193 76 171 0 2355 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 15468

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1923688/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=10248 CPUtime=342.03
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2240 0 0 0 34199 4 0 0 25 0 1 0 305092405 10493952 2226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2562 2226 76 171 0 2389 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 15604

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1923560/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=10248 CPUtime=402.01
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2241 0 0 0 40197 4 0 0 25 0 1 0 305092405 10493952 2227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2562 2227 76 171 0 2389 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 15604

[startup+462.301 s]

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

[pid=15113] ppid=15107 vsize=10660 CPUtime=461.99
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2355 0 0 0 46195 4 0 0 25 0 1 0 305092405 10915840 2341 1992294400 134512640 135215339 4294956240 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2665 2341 76 171 0 2492 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 16016

[startup+522.301 s]
/proc/loadavg: 1.05 1.01 0.96 2/66 15113
/proc/meminfo: memFree=1922920/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=10660 CPUtime=521.97
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2355 0 0 0 52193 4 0 0 25 0 1 0 305092405 10915840 2341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2665 2341 76 171 0 2492 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 16016

[startup+582.301 s]
/proc/loadavg: 1.02 1.01 0.96 2/66 15113
/proc/meminfo: memFree=1922152/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=11340 CPUtime=581.96
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2516 0 0 0 58191 5 0 0 25 0 1 0 305092405 11612160 2502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2835 2502 76 171 0 2662 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 16696

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1922024/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=11340 CPUtime=641.94
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2517 0 0 0 64189 5 0 0 25 0 1 0 305092405 11612160 2503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2835 2503 76 171 0 2662 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 16696

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1921896/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=11340 CPUtime=701.91
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2535 0 0 0 70186 5 0 0 25 0 1 0 305092405 11612160 2521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2835 2521 76 171 0 2662 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 16696

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1921704/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=11476 CPUtime=761.89
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2554 0 0 0 76184 5 0 0 25 0 1 0 305092405 11751424 2540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 2869 2540 76 171 0 2696 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 16832

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15113
/proc/meminfo: memFree=1920936/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=12136 CPUtime=821.85
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2738 0 0 0 82180 5 0 0 25 0 1 0 305092405 12427264 2724 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 3034 2724 76 171 0 2861 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 17492

[startup+882.302 s]
/proc/loadavg: 1.11 1.03 0.97 2/66 15113
/proc/meminfo: memFree=1920616/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=12420 CPUtime=881.82
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2790 0 0 0 88177 5 0 0 25 0 1 0 305092405 12718080 2776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 3105 2776 76 171 0 2932 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 17776

[startup+942.302 s]
/proc/loadavg: 1.04 1.02 0.97 2/66 15113
/proc/meminfo: memFree=1920168/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=12696 CPUtime=941.79
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2859 0 0 0 94173 6 0 0 25 0 1 0 305092405 13000704 2845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 3174 2845 76 171 0 3001 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 18052

[startup+1002.3 s]
/proc/loadavg: 1.01 1.02 0.97 2/66 15113
/proc/meminfo: memFree=1920040/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=12696 CPUtime=1001.75
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2876 0 0 0 100169 6 0 0 25 0 1 0 305092405 13000704 2862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15113/statm: 3174 2862 76 171 0 3001 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 18052

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 15113
/proc/meminfo: memFree=1919784/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=12996 CPUtime=1061.72
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2942 0 0 0 106166 6 0 0 25 0 1 0 305092405 13307904 2928 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 3249 2928 76 171 0 3076 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 18352

[startup+1122.3 s]
/proc/loadavg: 1.04 1.02 0.98 2/66 15113
/proc/meminfo: memFree=1919656/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=12996 CPUtime=1121.7
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 2942 0 0 0 112164 6 0 0 25 0 1 0 305092405 13307904 2928 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 3249 2928 76 171 0 3076 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 18352

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 0.98 2/66 15113
/proc/meminfo: memFree=1918824/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=13816 CPUtime=1181.66
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 3129 0 0 0 118160 6 0 0 25 0 1 0 305092405 14147584 3115 1992294400 134512640 135215339 4294956240 18446744073709551615 134545892 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 3454 3115 76 171 0 3281 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 19172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.01 1.01 0.98 2/66 15113
/proc/meminfo: memFree=1918696/2055920 swapFree=4179956/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0.07
/proc/15107/stat : 15107 (SatELiteGTI) S 15105 15107 14946 0 -1 4194304 336 756 0 0 0 0 7 0 16 0 1 0 305092396 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15107/statm: 1339 239 197 169 0 50 0
[pid=15113] ppid=15107 vsize=13816 CPUtime=1199.97
/proc/15113/stat : 15113 (minisat_static) R 15107 15107 14946 0 -1 4194304 3144 0 0 0 119990 7 0 0 25 0 1 0 305092405 14147584 3130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/15113/statm: 3454 3130 76 171 0 3281 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 19172

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.06
CPU user time (s): 1199.98
CPU system time (s): 0.081987
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 19172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4245
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= 29
involuntary context switches= 5841

runsolver used 1.18882 second user time and 3.36249 second system time

The end

Launcher Data

Begin job on node22 at 2009-05-20 00:03:09
IDJOB=1832239
IDBENCH=24645
IDSOLVER=671
FILE ID=node22/1832239-1242770588
PBS_JOBID= 9322276
Free space on /tmp= 66416 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/QG/QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832239-1242770588/watcher-1832239-1242770588 -o /tmp/evaluation-result-1832239-1242770588/solver-1832239-1242770588 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832239-1242770588.cnf

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

MD5SUM BENCH= c664e54e8911dc74e630e966a3a9b6ae
RANDOM SEED=116215484

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1934160 kB
Buffers:         12360 kB
Cached:          71012 kB
SwapCached:       7748 kB
Active:          54904 kB
Inactive:        38432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1934160 kB
SwapTotal:     4192956 kB
SwapFree:      4179956 kB
Dirty:            1992 kB
Writeback:           0 kB
Mapped:          14500 kB
Slab:            14420 kB
Committed_AS:  1126704 kB
PageTables:       1376 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= 66416 MiB
End job on node22 at 2009-05-20 00:23:11