Trace number 1832589

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
MD5SUMe77e91a0bcfa213f4da3e00139d8dd15
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark158.471
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses15300
Sum of the clauses size107100
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515300

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 |   15300   107100 |    4589       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 180   #clauses: 15300   #literals: 107100
0.00/0.02	c CPU time:   0.020996 s
0.00/0.02	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  180                                                  |
0.00/0.06	c |  Number of clauses:    15300                                                |
0.05/0.07	c |  Parsing time:         0.01         s                                       |
0.05/0.07	c ============================[ Search Statistics ]==============================
0.05/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.05/0.07	c ===============================================================================
0.05/0.07	c |         0 |     180    15300   107100 |     5100        0    nan |  0.000 % |
0.05/0.08	c |       101 |     180    15300   107100 |     5100      101     52 |  0.003 % |
0.05/0.09	c |       204 |     180    15300   107100 |     5100      204     52 |  0.003 % |
0.05/0.10	c |       305 |     180    15300   107100 |     5100      305     53 |  0.003 % |
0.05/0.11	c |       416 |     180    15300   107100 |     5100      416     52 |  0.003 % |
0.05/0.12	c |       517 |     180    15300   107100 |     5100      517     52 |  0.003 % |
0.05/0.13	c |       627 |     180    15300   107100 |     5100      627     52 |  0.003 % |
0.05/0.14	c |       748 |     180    15300   107100 |     5100      748     52 |  0.003 % |
0.05/0.15	c |       848 |     180    15300   107100 |     5100      848     52 |  0.003 % |
0.05/0.16	c |       959 |     180    15300   107100 |     5100      959     52 |  0.003 % |
0.05/0.17	c |      1081 |     180    15300   107100 |     5100     1081     52 |  0.003 % |
0.05/0.18	c |      1215 |     180    15300   107100 |     5100     1215     52 |  0.003 % |
0.05/0.18	c |      1315 |     180    15300   107100 |     5100     1315     53 |  0.003 % |
0.05/0.19	c |      1426 |     180    15300   107100 |     5100     1426     53 |  0.003 % |
0.05/0.20	c |      1548 |     180    15300   107100 |     5100     1548     52 |  0.003 % |
0.05/0.21	c |      1681 |     180    15300   107100 |     5100     1681     52 |  0.003 % |
0.05/0.23	c |      1827 |     180    15300   107100 |     5100     1827     53 |  0.003 % |
0.05/0.23	c |      1927 |     180    15300   107100 |     5100     1927     53 |  0.003 % |
0.05/0.24	c |      2038 |     180    15300   107100 |     5100     2038     52 |  0.003 % |
0.05/0.25	c |      2159 |     180    15300   107100 |     5100     2159     52 |  0.003 % |
0.05/0.26	c |      2292 |     180    15300   107100 |     5100     2292     53 |  0.003 % |
0.05/0.28	c |      2439 |     180    15300   107100 |     5100     2439     52 |  0.003 % |
0.05/0.29	c |      2599 |     180    15300   107100 |     5100     2599     52 |  0.003 % |
0.05/0.30	c |      2699 |     180    15300   107100 |     5100     2699     52 |  0.003 % |
0.05/0.31	c |      2809 |     180    15300   107100 |     5100     2809     52 |  0.003 % |
0.05/0.32	c |      2930 |     180    15300   107100 |     5100     2930     52 |  0.003 % |
0.05/0.34	c |      3063 |     180    15300   107100 |     5100     3063     52 |  0.003 % |
0.05/0.35	c |      3210 |     180    15300   107100 |     5100     3210     52 |  0.003 % |
0.05/0.37	c |      3370 |     180    15300   107100 |     5100     3370     52 |  0.003 % |
0.05/0.38	c |      3546 |     180    15300   107100 |     5100     3546     52 |  0.003 % |
0.05/0.39	c |      3648 |     180    15300   107100 |     5100     3648     52 |  0.003 % |
0.05/0.40	c |      3759 |     180    15300   107100 |     5100     3759     52 |  0.003 % |
0.05/0.41	c |      3880 |     180    15300   107100 |     5100     3880     52 |  0.003 % |
0.05/0.43	c |      4014 |     180    15300   107100 |     5100     4014     52 |  0.003 % |
0.05/0.44	c |      4160 |     180    15300   107100 |     5100     4160     52 |  0.003 % |
0.05/0.46	c |      4321 |     180    15300   107100 |     5100     4321     52 |  0.003 % |
0.05/0.47	c |      4499 |     180    15300   107100 |     5100     4499     53 |  0.003 % |
0.05/0.49	c |      4693 |     180    15300   107100 |     5100     4693     52 |  0.003 % |
0.05/0.50	c |      4793 |     180    15300   107100 |     5100     4793     52 |  0.003 % |
0.05/0.52	c |      4904 |     180    15300   107100 |     5100     4904     52 |  0.003 % |
0.05/0.53	c |      5026 |     180    15300   107100 |     5100     5026     52 |  0.003 % |
0.05/0.55	c |      5160 |     180    15300   107100 |     5100     5160     52 |  0.003 % |
0.05/0.56	c |      5306 |     180    15300   107100 |     5100     4790     52 |  0.003 % |
0.05/0.58	c |      5468 |     180    15300   107100 |     5100     4952     52 |  0.003 % |
0.05/0.60	c |      5644 |     180    15300   107100 |     5100     5128     52 |  0.003 % |
0.05/0.62	c |      5840 |     180    15300   107100 |     5100     4812     52 |  0.003 % |
0.05/0.64	c |      6052 |     180    15300   107100 |     5100     5024     52 |  0.003 % |
0.05/0.65	c |      6153 |     180    15300   107100 |     5100     5125     52 |  0.003 % |
0.05/0.66	c |      6264 |     180    15300   107100 |     5100     4724     52 |  0.003 % |
0.05/0.68	c |      6385 |     180    15300   107100 |     5100     4845     52 |  0.003 % |
0.05/0.69	c |      6520 |     180    15300   107100 |     5100     4980     51 |  0.003 % |
0.05/0.71	c |      6668 |     180    15300   107100 |     5100     5128     52 |  0.003 % |
0.05/0.72	c |      6830 |     180    15300   107100 |     5100     4778     51 |  0.003 % |
0.05/0.74	c |      7007 |     180    15300   107100 |     5100     4955     52 |  0.003 % |
0.05/0.76	c |      7201 |     180    15300   107100 |     5100     5149     52 |  0.003 % |
0.05/0.79	c |      7414 |     180    15300   107100 |     5100     4848     51 |  0.003 % |
0.05/0.81	c |      7649 |     180    15300   107100 |     5100     5083     52 |  0.003 % |
0.05/0.82	c |      7749 |     180    15300   107100 |     5100     5183     52 |  0.003 % |
0.05/0.83	c |      7860 |     180    15300   107100 |     5100     4776     52 |  0.003 % |
0.05/0.85	c |      7981 |     180    15300   107100 |     5100     4897     52 |  0.003 % |
0.05/0.86	c |      8117 |     180    15300   107100 |     5100     5033     52 |  0.003 % |
0.05/0.87	c |      8263 |     180    15300   107100 |     5100     5179     52 |  0.003 % |
0.05/0.89	c |      8423 |     180    15300   107100 |     5100     4822     52 |  0.003 % |
0.05/0.91	c |      8601 |     180    15300   107100 |     5100     5000     52 |  0.003 % |
0.05/0.93	c |      8794 |     180    15300   107100 |     5100     5193     52 |  0.003 % |
0.05/0.95	c |      9006 |     180    15300   107100 |     5100     4886     52 |  0.003 % |
0.05/0.98	c |      9240 |     180    15300   107100 |     5100     5120     52 |  0.003 % |
0.98/1.01	c |      9498 |     180    15300   107100 |     5100     4866     52 |  0.003 % |
0.98/1.02	c |      9599 |     180    15300   107100 |     5100     4967     52 |  0.003 % |
0.98/1.04	c |      9710 |     180    15300   107100 |     5100     5078     52 |  0.003 % |
0.98/1.05	c |      9832 |     180    15300   107100 |     5100     4682     52 |  0.003 % |
0.98/1.06	c |      9965 |     180    15300   107100 |     5100     4815     52 |  0.003 % |
0.98/1.08	c |     10111 |     180    15300   107100 | 2147483647     4961     52 |  0.003 % |
0.98/1.10	c |     10273 |     180    15300   107100 | 2147483647     5123     52 |  0.003 % |
1.08/1.12	c |     10451 |     180    15300   107100 | 2147483647     5301     52 |  0.003 % |
1.08/1.14	c |     10644 |     180    15300   107100 | 2147483647     5494     52 |  0.003 % |
1.08/1.16	c |     10856 |     180    15300   107100 | 2147483647     5706     52 |  0.003 % |
1.08/1.19	c |     11089 |     180    15300   107100 | 2147483647     5939     52 |  0.003 % |
1.17/1.22	c |     11346 |     180    15300   107100 | 2147483647     6196     52 |  0.003 % |
1.17/1.25	c |     11627 |     180    15300   107100 | 2147483647     6477     52 |  0.003 % |
1.17/1.26	c |     11730 |     180    15300   107100 | 2147483647     6580     52 |  0.003 % |
1.17/1.28	c |     11841 |     180    15300   107100 | 2147483647     6691     52 |  0.003 % |
1.17/1.29	c |     11964 |     180    15300   107100 | 2147483647     6814     52 |  0.003 % |
1.27/1.31	c |     12098 |     180    15300   107100 | 2147483647     6948     52 |  0.003 % |
1.27/1.33	c |     12244 |     180    15300   107100 | 2147483647     7094     52 |  0.003 % |
1.27/1.35	c |     12404 |     180    15300   107100 | 2147483647     7254     52 |  0.003 % |
1.27/1.37	c |     12582 |     180    15300   107100 | 2147483647     7432     52 |  0.003 % |
1.37/1.40	c |     12775 |     180    15300   107100 | 2147483647     7625     52 |  0.003 % |
1.37/1.43	c |     12987 |     180    15300   107100 | 2147483647     7837     52 |  0.003 % |
1.37/1.46	c |     13227 |     180    15300   107100 | 2147483647     8077     52 |  0.003 % |
1.37/1.49	c |     13483 |     180    15300   107100 | 2147483647     8333     52 |  0.003 % |
1.47/1.53	c |     13764 |     180    15300   107100 | 2147483647     8614     52 |  0.003 % |
1.47/1.57	c |     14073 |     180    15300   107100 | 2147483647     8923     52 |  0.003 % |
1.47/1.59	c |     14174 |     180    15300   107100 | 2147483647     9024     52 |  0.003 % |
1.57/1.60	c |     14285 |     180    15300   107100 | 2147483647     9135     52 |  0.003 % |
1.57/1.62	c |     14406 |     180    15300   107100 | 2147483647     9256     52 |  0.003 % |
1.57/1.64	c |     14539 |     180    15300   107100 | 2147483647     9389     52 |  0.003 % |
1.57/1.66	c |     14686 |     180    15300   107100 | 2147483647     9536     52 |  0.003 % |
1.57/1.68	c |     14846 |     180    15300   107100 | 2147483647     9696     52 |  0.003 % |
1.67/1.71	c |     15022 |     180    15300   107100 | 2147483647     9872     52 |  0.003 % |
1.67/1.74	c |     15215 |     180    15300   107100 | 2147483647    10065     52 |  0.003 % |
1.67/1.77	c |     15430 |     180    15300   107100 | 2147483647    10280     52 |  0.003 % |
1.77/1.81	c |     15663 |     180    15300   107100 | 2147483647    10513     53 |  0.003 % |
1.77/1.85	c |     15920 |     180    15300   107100 | 2147483647    10770     52 |  0.003 % |
1.77/1.89	c |     16201 |     180    15300   107100 | 2147483647    11051     53 |  0.003 % |
1.87/1.94	c |     16510 |     180    15300   107100 | 2147483647    11360     53 |  0.003 % |
1.97/2.00	c |     16851 |     180    15300   107100 | 2147483647    11701     53 |  0.003 % |
1.97/2.01	c |     16952 |     180    15300   107100 | 2147483647    11802     53 |  0.003 % |
1.97/2.03	c |     17064 |     180    15300   107100 | 2147483647    11914     53 |  0.003 % |
1.97/2.05	c |     17186 |     180    15300   107100 | 2147483647    12036     53 |  0.003 % |
1.97/2.08	c |     17319 |     180    15300   107100 | 2147483647    12169     53 |  0.003 % |
2.07/2.10	c |     17468 |     180    15300   107100 | 2147483647    12318     53 |  0.003 % |
2.07/2.13	c |     17629 |     180    15300   107100 | 2147483647    12479     53 |  0.003 % |
2.07/2.16	c |     17805 |     180    15300   107100 | 2147483647    12655     53 |  0.003 % |
2.07/2.19	c |     17998 |     180    15300   107100 | 2147483647    12848     53 |  0.003 % |
2.17/2.23	c |     18210 |     180    15300   107100 | 2147483647    13060     53 |  0.003 % |
2.17/2.27	c |     18446 |     180    15300   107100 | 2147483647    13296     53 |  0.003 % |
2.27/2.32	c |     18702 |     180    15300   107100 | 2147483647    13552     53 |  0.003 % |
2.27/2.37	c |     18986 |     180    15300   107100 | 2147483647    13836     53 |  0.003 % |
2.37/2.43	c |     19295 |     180    15300   107100 | 2147483647    14145     53 |  0.003 % |
2.37/2.49	c |     19634 |     180    15300   107100 | 2147483647    14484     53 |  0.003 % |
2.47/2.55	c |     20006 |     180    15300   107100 | 2147483647    14856     53 |  0.003 % |
2.47/2.58	c |     20106 |     180    15300   107100 | 2147483647    14956     53 |  0.003 % |
2.57/2.60	c |     20217 |     180    15300   107100 | 2147483647    15067     53 |  0.003 % |
2.57/2.63	c |     20338 |     180    15300   107100 | 2147483647    15188     53 |  0.003 % |
2.57/2.66	c |     20471 |     180    15300   107100 | 2147483647    15321     53 |  0.003 % |
2.57/2.68	c |     20617 |     180    15300   107100 | 2147483647    15467     53 |  0.003 % |
2.68/2.71	c |     20777 |     180    15300   107100 | 2147483647    15627     53 |  0.003 % |
2.68/2.75	c |     20954 |     180    15300   107100 | 2147483647    15804     53 |  0.003 % |
2.68/2.80	c |     21148 |     180    15300   107100 | 2147483647    15998     53 |  0.003 % |
2.77/2.84	c |     21360 |     180    15300   107100 | 2147483647    16210     53 |  0.003 % |
2.77/2.89	c |     21594 |     180    15300   107100 | 2147483647    16444     53 |  0.003 % |
2.87/2.96	c |     21850 |     180    15300   107100 | 2147483647    16700     53 |  0.003 % |
2.97/3.02	c |     22134 |     180    15300   107100 | 2147483647    16984     53 |  0.003 % |
2.97/3.09	c |     22443 |     180    15300   107100 | 2147483647    17293     53 |  0.003 % |
3.07/3.17	c |     22782 |     180    15300   107100 | 2147483647    17632     53 |  0.003 % |
3.18/3.27	c |     23154 |     180    15300   107100 | 2147483647    18004     53 |  0.003 % |
3.28/3.36	c |     23563 |     180    15300   107100 | 2147483647    18413     53 |  0.003 % |
3.28/3.39	c |     23664 |     180    15300   107100 | 2147483647    18514     53 |  0.003 % |
3.37/3.42	c |     23775 |     180    15300   107100 | 2147483647    18625     53 |  0.003 % |
3.37/3.45	c |     23897 |     180    15300   107100 | 2147483647    18747     53 |  0.003 % |
3.37/3.48	c |     24033 |     180    15300   107100 | 2147483647    18883     53 |  0.003 % |
3.47/3.52	c |     24179 |     180    15300   107100 | 2147483647    19029     53 |  0.003 % |
3.47/3.56	c |     24340 |     180    15300   107100 | 2147483647    19190     53 |  0.003 % |
3.57/3.60	c |     24517 |     180    15300   107100 | 2147483647    19367     53 |  0.003 % |
3.57/3.66	c |     24711 |     180    15300   107100 | 2147483647    19561     53 |  0.003 % |
3.67/3.71	c |     24924 |     180    15300   107100 | 2147483647    19774     53 |  0.003 % |
3.67/3.77	c |     25157 |     180    15300   107100 | 2147483647    20007     53 |  0.003 % |
3.77/3.84	c |     25414 |     180    15300   107100 | 2147483647    20264     53 |  0.003 % |
3.87/3.90	c |     25695 |     180    15300   107100 | 2147483647    20545     53 |  0.003 % |
3.87/3.98	c |     26004 |     180    15300   107100 | 2147483647    20854     53 |  0.003 % |
3.97/4.09	c |     26344 |     180    15300   107100 | 2147483647    21194     53 |  0.003 % |
4.07/4.19	c |     26717 |     180    15300   107100 | 2147483647    21567     53 |  0.003 % |
4.17/4.29	c |     27126 |     180    15300   107100 | 2147483647    21976     53 |  0.003 % |
4.37/4.42	c |     27576 |     180    15300   107100 | 2147483647    22426     53 |  0.003 % |
4.37/4.46	c |     27677 |     180    15300   107100 | 2147483647    22527     53 |  0.003 % |
4.37/4.49	c |     27787 |     180    15300   107100 | 2147483647    22637     53 |  0.003 % |
4.47/4.53	c |     27908 |     180    15300   107100 | 2147483647    22758     53 |  0.003 % |
4.47/4.57	c |     28041 |     180    15300   107100 | 2147483647    22891     53 |  0.003 % |
4.57/4.62	c |     28187 |     180    15300   107100 | 2147483647    23037     53 |  0.003 % |
4.57/4.67	c |     28348 |     180    15300   107100 | 2147483647    23198     53 |  0.003 % |
4.67/4.73	c |     28525 |     180    15300   107100 | 2147483647    23375     53 |  0.003 % |
4.67/4.79	c |     28718 |     180    15300   107100 | 2147483647    23568     53 |  0.003 % |
4.77/4.85	c |     28930 |     180    15300   107100 | 2147483647    23780     53 |  0.003 % |
4.87/4.92	c |     29163 |     180    15300   107100 | 2147483647    24013     53 |  0.003 % |
4.87/4.99	c |     29420 |     180    15300   107100 | 2147483647    24270     53 |  0.003 % |
4.97/5.07	c |     29701 |     180    15300   107100 | 2147483647    24551     53 |  0.003 % |
5.07/5.16	c |     30012 |     180    15300   107100 | 2147483647    24862     53 |  0.003 % |
5.17/5.27	c |     30355 |     180    15300   107100 | 2147483647    25205     53 |  0.003 % |
5.27/5.38	c |     30728 |     180    15300   107100 | 2147483647    25578     53 |  0.003 % |
5.37/5.50	c |     31139 |     180    15300   107100 | 2147483647    25989     53 |  0.003 % |
5.57/5.65	c |     31591 |     180    15300   107100 | 2147483647    26441     53 |  0.003 % |
5.77/5.81	c |     32084 |     180    15300   107100 | 2147483647    26934     53 |  0.003 % |
5.77/5.85	c |     32185 |     180    15300   107100 | 2147483647    27035     53 |  0.003 % |
5.77/5.89	c |     32295 |     180    15300   107100 | 2147483647    27145     53 |  0.003 % |
5.87/5.94	c |     32421 |     180    15300   107100 | 2147483647    27271     53 |  0.003 % |
5.87/5.99	c |     32554 |     180    15300   107100 | 2147483647    27404     53 |  0.003 % |
5.97/6.04	c |     32700 |     180    15300   107100 | 2147483647    27550     53 |  0.003 % |
6.07/6.10	c |     32861 |     180    15300   107100 | 2147483647    27711     53 |  0.003 % |
6.07/6.16	c |     33037 |     180    15300   107100 | 2147483647    27887     53 |  0.003 % |
6.17/6.23	c |     33230 |     180    15300   107100 | 2147483647    28080     53 |  0.003 % |
6.27/6.31	c |     33442 |     180    15300   107100 | 2147483647    28292     53 |  0.003 % |
6.27/6.40	c |     33675 |     180    15300   107100 | 2147483647    28525     53 |  0.003 % |
6.37/6.48	c |     33931 |     180    15300   107100 | 2147483647    28781     53 |  0.003 % |
6.47/6.57	c |     34212 |     180    15300   107100 | 2147483647    29062     53 |  0.003 % |
6.57/6.69	c |     34523 |     180    15300   107100 | 2147483647    29373     53 |  0.003 % |
6.76/6.81	c |     34862 |     180    15300   107100 | 2147483647    29712     53 |  0.003 % |
6.86/6.94	c |     35234 |     180    15300   107100 | 2147483647    30084     53 |  0.003 % |
6.96/7.09	c |     35643 |     180    15300   107100 | 2147483647    30493     53 |  0.003 % |
7.17/7.25	c |     36092 |     180    15300   107100 | 2147483647    30942     53 |  0.003 % |
7.37/7.44	c |     36590 |     180    15300   107100 | 2147483647    31440     53 |  0.003 % |
7.58/7.65	c |     37135 |     180    15300   107100 | 2147483647    31985     53 |  0.003 % |
7.58/7.70	c |     37235 |     180    15300   107100 | 2147483647    32085     53 |  0.003 % |
7.68/7.74	c |     37345 |     180    15300   107100 | 2147483647    32195     53 |  0.003 % |
7.68/7.79	c |     37466 |     180    15300   107100 | 2147483647    32316     53 |  0.003 % |
7.77/7.84	c |     37599 |     180    15300   107100 | 2147483647    32449     53 |  0.003 % |
7.87/7.91	c |     37746 |     180    15300   107100 | 2147483647    32596     53 |  0.003 % |
7.87/7.98	c |     37906 |     180    15300   107100 | 2147483647    32756     53 |  0.003 % |
7.97/8.06	c |     38084 |     180    15300   107100 | 2147483647    32934     53 |  0.003 % |
8.07/8.13	c |     38279 |     180    15300   107100 | 2147483647    33129     53 |  0.003 % |
8.17/8.23	c |     38495 |     180    15300   107100 | 2147483647    33345     53 |  0.003 % |
8.27/8.33	c |     38728 |     180    15300   107100 | 2147483647    33578     53 |  0.003 % |
8.37/8.43	c |     38984 |     180    15300   107100 | 2147483647    33834     53 |  0.003 % |
8.47/8.55	c |     39265 |     180    15300   107100 | 2147483647    34115     53 |  0.003 % |
8.57/8.67	c |     39576 |     180    15300   107100 | 2147483647    34426     53 |  0.003 % |
8.77/8.83	c |     39916 |     180    15300   107100 | 2147483647    34766     53 |  0.003 % |
8.97/9.01	c |     40288 |     180    15300   107100 | 2147483647    35138     53 |  0.003 % |
9.07/9.18	c |     40698 |     180    15300   107100 | 2147483647    35548     53 |  0.003 % |
9.27/9.37	c |     41150 |     180    15300   107100 | 2147483647    36000     53 |  0.003 % |
9.47/9.57	c |     41644 |     180    15300   107100 | 2147483647    36494     53 |  0.003 % |
9.67/9.77	c |     42187 |     180    15300   107100 | 2147483647    37037     53 |  0.003 % |
9.97/10.04	c |     42783 |     180    15300   107100 | 2147483647    37633     53 |  0.003 % |
9.97/10.09	c |     42884 |     180    15300   107100 | 2147483647    37734     53 |  0.003 % |
10.06/10.14	c |     42994 |     180    15300   107100 | 2147483647    37844     53 |  0.003 % |
10.16/10.20	c |     43118 |     180    15300   107100 | 2147483647    37968     53 |  0.003 % |
10.16/10.26	c |     43255 |     180    15300   107100 | 2147483647    38105     53 |  0.003 % |
10.26/10.33	c |     43402 |     180    15300   107100 | 2147483647    38252     53 |  0.003 % |
10.26/10.39	c |     43564 |     180    15300   107100 | 2147483647    38414     53 |  0.003 % |
10.46/10.50	c |     43741 |     180    15300   107100 | 2147483647    38591     53 |  0.003 % |
10.56/10.61	c |     43937 |     180    15300   107100 | 2147483647    38787     53 |  0.003 % |
10.66/10.72	c |     44150 |     180    15300   107100 | 2147483647    39000     53 |  0.003 % |
10.76/10.83	c |     44384 |     180    15300   107100 | 2147483647    39234     53 |  0.003 % |
10.86/10.97	c |     44641 |     180    15300   107100 | 2147483647    39491     53 |  0.003 % |
11.04/11.11	c |     44922 |     180    15300   107100 | 2147483647    39772     53 |  0.003 % |
11.14/11.25	c |     45231 |     180    15300   107100 | 2147483647    40081     53 |  0.003 % |
11.35/11.41	c |     45570 |     180    15300   107100 | 2147483647    40420     53 |  0.003 % |
11.54/11.65	c |     45943 |     180    15300   107100 | 2147483647    40793     53 |  0.003 % |
11.72/11.87	c |     46353 |     180    15300   107100 | 2147483647    41203     53 |  0.003 % |
11.92/12.09	c |     46802 |     180    15300   107100 | 2147483647    41652     53 |  0.003 % |
12.21/12.32	c |     47296 |     180    15300   107100 | 2147483647    42146     53 |  0.003 % |
12.51/12.60	c |     47839 |     180    15300   107100 | 2147483647    42689     53 |  0.003 % |
12.71/12.88	c |     48436 |     180    15300   107100 | 2147483647    43286     53 |  0.003 % |
13.10/13.23	c |     49091 |     180    15300   107100 | 2147483647    43941     53 |  0.003 % |
13.10/13.30	c |     49192 |     180    15300   107100 | 2147483647    44042     53 |  0.003 % |
13.20/13.37	c |     49303 |     180    15300   107100 | 2147483647    44153     53 |  0.003 % |
13.30/13.44	c |     49425 |     180    15300   107100 | 2147483647    44275     53 |  0.003 % |
13.39/13.51	c |     49560 |     180    15300   107100 | 2147483647    44410     53 |  0.003 % |
13.50/13.61	c |     49708 |     180    15300   107100 | 2147483647    44558     53 |  0.003 % |
13.60/13.70	c |     49868 |     180    15300   107100 | 2147483647    44718     53 |  0.003 % |
13.70/13.80	c |     50044 |     180    15300   107100 | 2147483647    44894     53 |  0.003 % |
13.80/13.93	c |     50237 |     180    15300   107100 | 2147483647    45087     53 |  0.003 % |
13.90/14.04	c |     50449 |     180    15300   107100 | 2147483647    45299     53 |  0.003 % |
14.00/14.16	c |     50682 |     180    15300   107100 | 2147483647    45532     53 |  0.003 % |
14.19/14.33	c |     50939 |     180    15300   107100 | 2147483647    45789     53 |  0.003 % |
14.29/14.48	c |     51220 |     180    15300   107100 | 2147483647    46070     53 |  0.003 % |
14.49/14.63	c |     51529 |     180    15300   107100 | 2147483647    46379     53 |  0.003 % |
14.69/14.83	c |     51868 |     180    15300   107100 | 2147483647    46718     53 |  0.003 % |
14.89/15.05	c |     52241 |     180    15300   107100 | 2147483647    47091     53 |  0.003 % |
15.09/15.29	c |     52650 |     180    15300   107100 | 2147483647    47500     53 |  0.003 % |
15.38/15.53	c |     53099 |     180    15300   107100 | 2147483647    47949     53 |  0.003 % |
15.68/15.83	c |     53592 |     180    15300   107100 | 2147483647    48442     53 |  0.003 % |
15.99/16.17	c |     54135 |     180    15300   107100 | 2147483647    48985     53 |  0.003 % |
16.38/16.55	c |     54731 |     180    15300   107100 | 2147483647    49581     53 |  0.003 % |
16.78/16.91	c |     55389 |     180    15300   107100 | 2147483647    50239     53 |  0.003 % |
17.18/17.33	c |     56110 |     180    15300   107100 | 2147483647    50960     53 |  0.003 % |
17.18/17.40	c |     56210 |     180    15300   107100 | 2147483647    51060     53 |  0.003 % |
17.28/17.47	c |     56320 |     180    15300   107100 | 2147483647    51170     53 |  0.003 % |
17.37/17.55	c |     56441 |     180    15300   107100 | 2147483647    51291     53 |  0.003 % |
17.48/17.63	c |     56575 |     180    15300   107100 | 2147483647    51425     53 |  0.003 % |
17.57/17.75	c |     56721 |     180    15300   107100 | 2147483647    51571     53 |  0.003 % |
17.67/17.86	c |     56881 |     180    15300   107100 | 2147483647    51731     53 |  0.003 % |
17.77/17.99	c |     57059 |     180    15300   107100 | 2147483647    51909     53 |  0.003 % |
17.97/18.14	c |     57253 |     180    15300   107100 | 2147483647    52103     53 |  0.003 % |
18.07/18.27	c |     57466 |     180    15300   107100 | 2147483647    52316     53 |  0.003 % |
18.27/18.42	c |     57699 |     180    15300   107100 | 2147483647    52549     53 |  0.003 % |
18.37/18.56	c |     57956 |     180    15300   107100 | 2147483647    52806     53 |  0.003 % |
18.57/18.75	c |     58238 |     180    15300   107100 | 2147483647    53088     53 |  0.003 % |
18.76/18.94	c |     58548 |     180    15300   107100 | 2147483647    53398     53 |  0.003 % |
18.96/19.17	c |     58888 |     180    15300   107100 | 2147483647    53738     53 |  0.003 % |
19.26/19.44	c |     59260 |     180    15300   107100 | 2147483647    54110     53 |  0.003 % |
19.56/19.70	c |     59670 |     180    15300   107100 | 2147483647    54520     53 |  0.003 % |
19.85/20.01	c |     60120 |     180    15300   107100 | 2147483647    54970     53 |  0.003 % |
20.15/20.30	c |     60613 |     180    15300   107100 | 2147483647    55463     53 |  0.003 % |
20.45/20.64	c |     61155 |     180    15300   107100 | 2147483647    56005     53 |  0.003 % |
20.76/20.99	c |     61751 |     180    15300   107100 | 2147483647    56601     53 |  0.003 % |
21.16/21.37	c |     62406 |     180    15300   107100 | 2147483647    57256     53 |  0.003 % |
21.66/21.83	c |     63127 |     180    15300   107100 | 2147483647    57977     53 |  0.003 % |
22.16/22.35	c |     63919 |     180    15300   107100 | 2147483647    58769     53 |  0.003 % |
22.26/22.42	c |     64019 |     180    15300   107100 | 2147483647    58869     53 |  0.003 % |
22.36/22.54	c |     64129 |     180    15300   107100 | 2147483647    58979     53 |  0.003 % |
22.46/22.62	c |     64250 |     180    15300   107100 | 2147483647    59100     53 |  0.003 % |
22.56/22.73	c |     64385 |     180    15300   107100 | 2147483647    59235     53 |  0.003 % |
22.66/22.84	c |     64533 |     180    15300   107100 | 2147483647    59383     53 |  0.003 % |
22.76/22.99	c |     64695 |     180    15300   107100 | 2147483647    59545     53 |  0.003 % |
22.96/23.13	c |     64871 |     180    15300   107100 | 2147483647    59721     53 |  0.003 % |
23.06/23.28	c |     65064 |     180    15300   107100 | 2147483647    59914     53 |  0.003 % |
23.26/23.46	c |     65276 |     180    15300   107100 | 2147483647    60126     53 |  0.003 % |
23.46/23.64	c |     65509 |     180    15300   107100 | 2147483647    60359     53 |  0.003 % |
23.66/23.85	c |     65767 |     180    15300   107100 | 2147483647    60617     53 |  0.003 % |
23.86/24.03	c |     66050 |     180    15300   107100 | 2147483647    60900     53 |  0.003 % |
24.16/24.31	c |     66359 |     180    15300   107100 | 2147483647    61209     53 |  0.003 % |
24.36/24.56	c |     66698 |     180    15300   107100 | 2147483647    61548     53 |  0.003 % |
24.66/24.83	c |     67070 |     180    15300   107100 | 2147483647    61920     53 |  0.003 % |
24.96/25.16	c |     67479 |     180    15300   107100 | 2147483647    62329     53 |  0.003 % |
25.36/25.53	c |     67930 |     180    15300   107100 | 2147483647    62780     53 |  0.003 % |
25.66/25.84	c |     68423 |     180    15300   107100 | 2147483647    63273     53 |  0.003 % |
26.05/26.26	c |     68965 |     180    15300   107100 | 2147483647    63815     53 |  0.003 % |
26.45/26.68	c |     69561 |     180    15300   107100 | 2147483647    64411     53 |  0.003 % |
27.05/27.25	c |     70216 |     180    15300   107100 | 2147483647    65066     53 |  0.003 % |
27.55/27.79	c |     70936 |     180    15300   107100 | 2147483647    65786     53 |  0.003 % |
28.16/28.37	c |     71729 |     180    15300   107100 | 2147483647    66579     53 |  0.003 % |
28.76/28.98	c |     72601 |     180    15300   107100 | 2147483647    67451     53 |  0.003 % |
28.85/29.06	c |     72701 |     180    15300   107100 | 2147483647    67551     53 |  0.003 % |
28.95/29.15	c |     72812 |     180    15300   107100 | 2147483647    67662     53 |  0.003 % |
29.05/29.24	c |     72934 |     180    15300   107100 | 2147483647    67784     53 |  0.003 % |
29.15/29.35	c |     73068 |     180    15300   107100 | 2147483647    67918     53 |  0.003 % |
29.35/29.52	c |     73215 |     180    15300   107100 | 2147483647    68065     53 |  0.003 % |
29.46/29.65	c |     73377 |     180    15300   107100 | 2147483647    68227     53 |  0.003 % |
29.65/29.82	c |     73553 |     180    15300   107100 | 2147483647    68403     53 |  0.003 % |
29.85/30.02	c |     73746 |     180    15300   107100 | 2147483647    68596     53 |  0.003 % |
30.05/30.21	c |     73958 |     180    15300   107100 | 2147483647    68808     53 |  0.003 % |
30.25/30.41	c |     74191 |     180    15300   107100 | 2147483647    69041     53 |  0.003 % |
30.45/30.64	c |     74449 |     180    15300   107100 | 2147483647    69299     53 |  0.003 % |
30.66/30.87	c |     74730 |     180    15300   107100 | 2147483647    69580     53 |  0.003 % |
30.95/31.13	c |     75040 |     180    15300   107100 | 2147483647    69890     53 |  0.003 % |
31.25/31.48	c |     75379 |     180    15300   107100 | 2147483647    70229     53 |  0.003 % |
31.66/31.83	c |     75751 |     180    15300   107100 | 2147483647    70601     53 |  0.003 % |
32.05/32.21	c |     76160 |     180    15300   107100 | 2147483647    71010     53 |  0.003 % |
32.35/32.58	c |     76610 |     180    15300   107100 | 2147483647    71460     53 |  0.003 % |
32.85/33.00	c |     77105 |     180    15300   107100 | 2147483647    71955     53 |  0.003 % |
33.25/33.44	c |     77648 |     180    15300   107100 | 2147483647    72498     53 |  0.003 % |
33.75/33.92	c |     78244 |     180    15300   107100 | 2147483647    73094     53 |  0.003 % |
34.25/34.45	c |     78899 |     180    15300   107100 | 2147483647    73749     53 |  0.003 % |
34.85/35.04	c |     79619 |     180    15300   107100 | 2147483647    74469     53 |  0.003 % |
35.55/35.73	c |     80412 |     180    15300   107100 |    74851    64966     53 |  0.003 % |
36.15/36.37	c |     81286 |     180    15300   107100 |    74851    65840     53 |  0.003 % |
36.95/37.15	c |     82244 |     180    15300   107100 |    74851    66798     53 |  0.003 % |
37.05/37.23	c |     82347 |     180    15300   107100 |    74851    66901     53 |  0.003 % |
37.15/37.31	c |     82457 |     180    15300   107100 |    74851    67011     53 |  0.003 % |
37.25/37.42	c |     82578 |     180    15300   107100 |    74851    67132     53 |  0.003 % |
37.35/37.57	c |     82712 |     180    15300   107100 |    74851    67266     53 |  0.003 % |
37.55/37.71	c |     82860 |     180    15300   107100 |    74851    67414     53 |  0.003 % |
37.65/37.86	c |     83020 |     180    15300   107100 |    74851    67574     53 |  0.003 % |
37.85/38.05	c |     83197 |     180    15300   107100 |    74851    67751     53 |  0.003 % |
38.05/38.23	c |     83390 |     180    15300   107100 |    74851    67944     53 |  0.003 % |
38.25/38.41	c |     83602 |     180    15300   107100 |    74851    68156     53 |  0.003 % |
38.45/38.61	c |     83836 |     180    15300   107100 |    74851    68390     53 |  0.003 % |
38.65/38.82	c |     84094 |     180    15300   107100 |    74851    68648     53 |  0.003 % |
38.85/39.07	c |     84376 |     180    15300   107100 |    74851    68930     53 |  0.003 % |
39.15/39.35	c |     84686 |     180    15300   107100 |    74851    69240     53 |  0.003 % |
39.45/39.63	c |     85026 |     180    15300   107100 |    74851    69580     53 |  0.003 % |
39.74/39.99	c |     85400 |     180    15300   107100 |    74851    69954     53 |  0.003 % |
40.14/40.33	c |     85810 |     180    15300   107100 |    74851    70364     53 |  0.003 % |
40.55/40.75	c |     86263 |     180    15300   107100 |    74851    70817     53 |  0.003 % |
40.94/41.17	c |     86757 |     180    15300   107100 |    74851    71311     53 |  0.003 % |
41.34/41.59	c |     87299 |     180    15300   107100 |    74851    71853     53 |  0.003 % |
41.84/42.06	c |     87895 |     180    15300   107100 |    74851    72449     53 |  0.003 % |
42.34/42.56	c |     88550 |     180    15300   107100 |    74851    73104     53 |  0.003 % |
43.04/43.25	c |     89270 |     180    15300   107100 |    74851    73824     53 |  0.003 % |
43.75/43.99	c |     90062 |     180    15300   107100 |    74554    74616     53 |  0.003 % |
44.54/44.72	c |     90933 |     180    15300   107100 |    74554    63930     53 |  0.003 % |
45.24/45.42	c |     91892 |     180    15300   107100 |    74554    64889     53 |  0.003 % |
45.95/46.14	c |     92945 |     180    15300   107100 |    74554    65942     53 |  0.003 % |
46.05/46.22	c |     93045 |     180    15300   107100 |    74554    66042     53 |  0.003 % |
46.14/46.34	c |     93155 |     180    15300   107100 |    74554    66152     53 |  0.003 % |
46.24/46.44	c |     93277 |     180    15300   107100 |    74554    66274     53 |  0.003 % |
46.34/46.56	c |     93411 |     180    15300   107100 |    74554    66408     53 |  0.003 % |
46.44/46.69	c |     93558 |     180    15300   107100 |    74554    66555     53 |  0.003 % |
46.64/46.85	c |     93718 |     180    15300   107100 |    74554    66715     53 |  0.003 % |
46.84/47.01	c |     93895 |     180    15300   107100 |    74554    66892     53 |  0.003 % |
46.94/47.17	c |     94088 |     180    15300   107100 |    74554    67085     53 |  0.003 % |
47.15/47.39	c |     94301 |     180    15300   107100 |    74554    67298     53 |  0.003 % |
47.34/47.59	c |     94534 |     180    15300   107100 |    74554    67531     53 |  0.003 % |
47.64/47.83	c |     94790 |     180    15300   107100 |    74554    67787     53 |  0.003 % |
47.84/48.08	c |     95071 |     180    15300   107100 |    74554    68068     53 |  0.003 % |
48.14/48.35	c |     95382 |     180    15300   107100 |    74554    68379     53 |  0.003 % |
48.43/48.61	c |     95722 |     180    15300   107100 |    74554    68719     53 |  0.003 % |
48.73/48.94	c |     96096 |     180    15300   107100 |    74554    69093     53 |  0.003 % |
49.13/49.30	c |     96506 |     180    15300   107100 |    74554    69503     53 |  0.003 % |
49.43/49.67	c |     96955 |     180    15300   107100 |    74554    69952     53 |  0.003 % |
49.83/50.08	c |     97448 |     180    15300   107100 |    74554    70445     53 |  0.003 % |
50.23/50.50	c |     97991 |     180    15300   107100 |    74554    70988     53 |  0.003 % |
50.73/50.98	c |     98587 |     180    15300   107100 |    74554    71584     53 |  0.003 % |
51.33/51.56	c |     99242 |     180    15300   107100 |    74554    72239     53 |  0.003 % |
51.93/52.18	c |     99964 |     180    15300   107100 |    74554    72961     53 |  0.003 % |
52.64/52.81	c |    100759 |     180    15300   107100 |    72997    62279     53 |  0.003 % |
53.23/53.41	c |    101631 |     180    15300   107100 |    72997    63151     53 |  0.003 % |
53.83/54.01	c |    102590 |     180    15300   107100 |    72997    64110     53 |  0.003 % |
54.53/54.76	c |    103645 |     180    15300   107100 |    72997    65165     53 |  0.003 % |
55.33/55.57	c |    104806 |     180    15300   107100 |    72997    66326     53 |  0.003 % |
55.43/55.65	c |    104906 |     180    15300   107100 |    72997    66426     53 |  0.003 % |
55.53/55.74	c |    105016 |     180    15300   107100 |    72997    66536     53 |  0.003 % |
55.63/55.86	c |    105137 |     180    15300   107100 |    72997    66657     53 |  0.003 % |
55.73/55.98	c |    105270 |     180    15300   107100 |    72997    66790     53 |  0.003 % |
55.93/56.11	c |    105416 |     180    15300   107100 |    72997    66936     53 |  0.003 % |
56.03/56.23	c |    105577 |     180    15300   107100 |    72997    67097     53 |  0.003 % |
56.23/56.42	c |    105753 |     180    15300   107100 |    72997    67273     53 |  0.003 % |
56.43/56.61	c |    105947 |     180    15300   107100 |    72997    67467     53 |  0.003 % |
56.63/56.81	c |    106159 |     180    15300   107100 |    72997    67679     53 |  0.003 % |
56.83/57.03	c |    106392 |     180    15300   107100 |    72997    67912     53 |  0.003 % |
57.03/57.25	c |    106649 |     180    15300   107100 |    72997    68169     53 |  0.003 % |
57.23/57.47	c |    106933 |     180    15300   107100 |    72997    68453     53 |  0.003 % |
57.53/57.70	c |    107243 |     180    15300   107100 |    72997    68763     53 |  0.003 % |
57.73/57.95	c |    107583 |     180    15300   107100 |    72997    69103     53 |  0.003 % |
58.03/58.30	c |    107956 |     180    15300   107100 |    72997    69476     53 |  0.003 % |
58.43/58.63	c |    108365 |     180    15300   107100 |    72997    69885     53 |  0.003 % |
58.73/58.99	c |    108816 |     180    15300   107100 |    72997    70336     53 |  0.003 % |
59.13/59.40	c |    109310 |     180    15300   107100 |    72997    70830     53 |  0.003 % |
59.63/59.83	c |    109854 |     180    15300   107100 |    72997    71374     53 |  0.003 % |
60.13/60.35	c |    110451 |     180    15300   107100 |    71522    61953     53 |  0.003 % |
60.53/60.79	c |    111106 |     180    15300   107100 |    71522    62608     53 |  0.003 % |
61.03/61.26	c |    111826 |     180    15300   107100 |    71522    63328     53 |  0.003 % |
61.63/61.80	c |    112618 |     180    15300   107100 |    71522    64120     53 |  0.003 % |
62.23/62.42	c |    113489 |     180    15300   107100 |    71522    64991     53 |  0.003 % |
62.83/63.07	c |    114447 |     180    15300   107100 |    71522    65949     53 |  0.003 % |
63.53/63.80	c |    115500 |     180    15300   107100 |    71522    67002     53 |  0.003 % |
64.53/64.79	c |    116659 |     180    15300   107100 |    71522    68161     53 |  0.003 % |
65.52/65.72	c |    117932 |     180    15300   107100 |    71522    69434     53 |  0.003 % |
65.52/65.80	c |    118032 |     180    15300   107100 |    71522    69534     53 |  0.003 % |
65.73/65.91	c |    118144 |     180    15300   107100 |    71522    69646     53 |  0.003 % |
65.83/66.03	c |    118267 |     180    15300   107100 |    71522    69769     53 |  0.003 % |
65.92/66.15	c |    118400 |     180    15300   107100 |    71522    69902     53 |  0.003 % |
66.12/66.30	c |    118547 |     180    15300   107100 |    71522    70049     53 |  0.003 % |
66.22/66.50	c |    118709 |     180    15300   107100 |    71522    70211     53 |  0.003 % |
66.42/66.66	c |    118886 |     180    15300   107100 |    71522    70388     53 |  0.003 % |
66.52/66.80	c |    119080 |     180    15300   107100 |    71522    70582     53 |  0.003 % |
66.72/67.00	c |    119294 |     180    15300   107100 |    71522    70796     53 |  0.003 % |
67.02/67.21	c |    119530 |     180    15300   107100 |    71522    71032     53 |  0.003 % |
67.22/67.46	c |    119787 |     180    15300   107100 |    71522    71289     53 |  0.003 % |
67.52/67.73	c |    120069 |     180    15300   107100 |    71502    71571     53 |  0.003 % |
67.82/68.07	c |    120380 |     180    15300   107100 |    71502    62236     53 |  0.003 % |
68.12/68.33	c |    120720 |     180    15300   107100 |    71502    62576     53 |  0.003 % |
68.32/68.58	c |    121093 |     180    15300   107100 |    71502    62949     53 |  0.003 % |
68.72/68.90	c |    121502 |     180    15300   107100 |    71502    63358     53 |  0.003 % |
69.03/69.27	c |    121951 |     180    15300   107100 |    71502    63807     53 |  0.003 % |
69.42/69.63	c |    122447 |     180    15300   107100 |    71502    64303     53 |  0.003 % |
69.82/70.02	c |    122990 |     180    15300   107100 |    71502    64846     53 |  0.003 % |
70.23/70.45	c |    123586 |     180    15300   107100 |    71502    65442     53 |  0.003 % |
70.72/70.98	c |    124241 |     180    15300   107100 |    71502    66097     53 |  0.003 % |
71.33/71.55	c |    124962 |     180    15300   107100 |    71502    66818     53 |  0.003 % |
71.92/72.18	c |    125754 |     180    15300   107100 |    71502    67610     53 |  0.003 % |
72.62/72.85	c |    126626 |     180    15300   107100 |    71502    68482     53 |  0.003 % |
73.32/73.51	c |    127585 |     180    15300   107100 |    71502    69441     53 |  0.003 % |
74.22/74.43	c |    128638 |     180    15300   107100 |    71502    70494     53 |  0.003 % |
75.32/75.50	c |    129798 |     180    15300   107100 |    71502    61408     53 |  0.003 % |
76.12/76.40	c |    131071 |     180    15300   107100 |    61610    53947     53 |  0.003 % |
77.12/77.37	c |    132473 |     180    15300   107100 |    61610    55349     53 |  0.003 % |
77.22/77.44	c |    132573 |     180    15300   107100 |    61610    55449     53 |  0.003 % |
77.32/77.52	c |    132683 |     180    15300   107100 |    61610    55559     53 |  0.003 % |
77.42/77.61	c |    132805 |     180    15300   107100 |    61610    55681     53 |  0.003 % |
77.52/77.70	c |    132939 |     180    15300   107100 |    61610    55815     53 |  0.003 % |
77.62/77.81	c |    133085 |     180    15300   107100 |    61610    55961     53 |  0.003 % |
77.72/77.94	c |    133247 |     180    15300   107100 |    61610    56123     53 |  0.003 % |
77.82/78.07	c |    133425 |     180    15300   107100 |    61610    56301     53 |  0.003 % |
78.02/78.21	c |    133620 |     180    15300   107100 |    61610    56496     53 |  0.003 % |
78.12/78.36	c |    133833 |     180    15300   107100 |    61610    56709     53 |  0.003 % |
78.32/78.50	c |    134066 |     180    15300   107100 |    61610    56942     53 |  0.003 % |
78.52/78.71	c |    134323 |     180    15300   107100 |    61610    57199     53 |  0.003 % |
78.72/78.93	c |    134604 |     180    15300   107100 |    61610    57480     53 |  0.003 % |
78.92/79.13	c |    134913 |     180    15300   107100 |    61610    57789     53 |  0.003 % |
79.11/79.34	c |    135252 |     180    15300   107100 |    61610    58128     53 |  0.003 % |
79.41/79.60	c |    135624 |     180    15300   107100 |    61610    58500     53 |  0.003 % |
79.61/79.87	c |    136033 |     180    15300   107100 |    61610    58909     53 |  0.003 % |
80.02/80.21	c |    136487 |     180    15300   107100 |    61610    59363     53 |  0.003 % |
80.31/80.56	c |    136980 |     180    15300   107100 |    61610    59856     53 |  0.003 % |
80.71/80.93	c |    137524 |     180    15300   107100 |    61610    60400     53 |  0.003 % |
81.22/81.40	c |    138120 |     180    15300   107100 |    61610    60996     53 |  0.003 % |
81.61/81.84	c |    138775 |     180    15300   107100 |    61610    61651     53 |  0.003 % |
82.11/82.30	c |    139497 |     180    15300   107100 |    61610    55964     53 |  0.003 % |
82.61/82.82	c |    140290 |     180    15300   107100 |    56467    51092     53 |  0.003 % |
83.11/83.32	c |    141162 |     180    15300   107100 |    56467    51964     53 |  0.003 % |
83.61/83.85	c |    142120 |     180    15300   107100 |    56467    52922     53 |  0.003 % |
84.21/84.43	c |    143173 |     180    15300   107100 |    56467    53975     53 |  0.003 % |
84.91/85.13	c |    144332 |     180    15300   107100 |    56467    55134     53 |  0.003 % |
85.71/85.96	c |    145609 |     180    15300   107100 |    56467    56411     53 |  0.003 % |
86.51/86.77	c |    147009 |     180    15300   107100 |    56467    52157     53 |  0.003 % |
87.52/87.73	c |    148550 |     180    15300   107100 |    56467    53698     53 |  0.003 % |
87.62/87.81	c |    148651 |     180    15300   107100 |    56467    53799     53 |  0.003 % |
87.62/87.89	c |    148762 |     180    15300   107100 |    56467    53910     53 |  0.003 % |
87.72/87.97	c |    148884 |     180    15300   107100 |    56467    54032     53 |  0.003 % |
87.82/88.06	c |    149017 |     180    15300   107100 |    56467    54165     53 |  0.003 % |
87.92/88.18	c |    149164 |     180    15300   107100 |    56467    54312     53 |  0.003 % |
88.02/88.29	c |    149325 |     180    15300   107100 |    56467    54473     53 |  0.003 % |
88.22/88.40	c |    149501 |     180    15300   107100 |    56467    54649     53 |  0.003 % |
88.32/88.56	c |    149694 |     180    15300   107100 |    56467    54842     53 |  0.003 % |
88.52/88.70	c |    149907 |     180    15300   107100 |    56467    55055     53 |  0.003 % |
88.62/88.85	c |    150140 |     180    15300   107100 | 2147483647    55288     53 |  0.003 % |
88.82/89.01	c |    150396 |     180    15300   107100 | 2147483647    55544     53 |  0.003 % |
88.92/89.17	c |    150677 |     180    15300   107100 | 2147483647    55825     53 |  0.003 % |
89.12/89.36	c |    150987 |     180    15300   107100 | 2147483647    56135     53 |  0.003 % |
89.32/89.56	c |    151326 |     180    15300   107100 | 2147483647    56474     53 |  0.003 % |
89.62/89.81	c |    151700 |     180    15300   107100 | 2147483647    56848     53 |  0.003 % |
89.82/90.07	c |    152109 |     180    15300   107100 | 2147483647    57257     53 |  0.003 % |
90.12/90.36	c |    152558 |     180    15300   107100 | 2147483647    57706     53 |  0.003 % |
90.52/90.75	c |    153053 |     180    15300   107100 | 2147483647    58201     53 |  0.003 % |
90.92/91.17	c |    153595 |     180    15300   107100 | 2147483647    58743     53 |  0.003 % |
91.42/91.66	c |    154191 |     180    15300   107100 | 2147483647    59339     53 |  0.003 % |
91.92/92.15	c |    154846 |     180    15300   107100 | 2147483647    59994     53 |  0.003 % |
92.42/92.66	c |    155567 |     180    15300   107100 | 2147483647    60715     53 |  0.003 % |
93.02/93.26	c |    156361 |     180    15300   107100 | 2147483647    61509     53 |  0.003 % |
93.72/93.91	c |    157233 |     180    15300   107100 | 2147483647    62381     53 |  0.003 % |
94.32/94.57	c |    158191 |     180    15300   107100 | 2147483647    63339     53 |  0.003 % |
95.02/95.28	c |    159244 |     180    15300   107100 | 2147483647    64392     53 |  0.003 % |
95.82/96.04	c |    160402 |     180    15300   107100 | 2147483647    65550     53 |  0.003 % |
96.62/96.88	c |    161675 |     180    15300   107100 | 2147483647    66823     53 |  0.003 % |
97.52/97.77	c |    163076 |     180    15300   107100 | 2147483647    68224     53 |  0.003 % |
98.82/99.03	c |    164618 |     180    15300   107100 | 2147483647    69766     53 |  0.003 % |
100.11/100.30	c |    166312 |     180    15300   107100 | 2147483647    71460     53 |  0.003 % |
100.11/100.37	c |    166412 |     180    15300   107100 | 2147483647    71560     53 |  0.003 % |
100.21/100.47	c |    166525 |     180    15300   107100 | 2147483647    71673     53 |  0.003 % |
100.41/100.61	c |    166646 |     180    15300   107100 | 2147483647    71794     53 |  0.003 % |
100.51/100.74	c |    166782 |     180    15300   107100 | 2147483647    71930     53 |  0.003 % |
100.61/100.87	c |    166931 |     180    15300   107100 | 2147483647    72079     53 |  0.003 % |
100.81/101.03	c |    167093 |     180    15300   107100 | 2147483647    72241     53 |  0.003 % |
101.02/101.20	c |    167270 |     180    15300   107100 | 2147483647    72418     53 |  0.003 % |
101.11/101.37	c |    167464 |     180    15300   107100 | 2147483647    72612     53 |  0.003 % |
101.31/101.56	c |    167677 |     180    15300   107100 | 2147483647    72825     53 |  0.003 % |
101.51/101.77	c |    167910 |     180    15300   107100 | 2147483647    73058     53 |  0.003 % |
101.71/101.97	c |    168166 |     180    15300   107100 | 2147483647    73314     53 |  0.003 % |
102.01/102.22	c |    168450 |     180    15300   107100 | 2147483647    73598     53 |  0.003 % |
102.21/102.46	c |    168762 |     180    15300   107100 | 2147483647    73910     53 |  0.003 % |
102.51/102.73	c |    169101 |     180    15300   107100 | 2147483647    74249     53 |  0.003 % |
102.81/103.02	c |    169473 |     180    15300   107100 | 2147483647    74621     53 |  0.003 % |
103.11/103.34	c |    169883 |     180    15300   107100 | 2147483647    75031     53 |  0.003 % |
103.51/103.74	c |    170332 |     180    15300   107100 |    75148    65434     53 |  0.003 % |
103.81/104.07	c |    170828 |     180    15300   107100 |    75148    65930     53 |  0.003 % |
104.21/104.44	c |    171370 |     180    15300   107100 |    75148    66472     53 |  0.003 % |
104.61/104.89	c |    171968 |     180    15300   107100 |    75148    67070     53 |  0.003 % |
105.11/105.36	c |    172623 |     180    15300   107100 |    75148    67725     53 |  0.003 % |
105.61/105.85	c |    173343 |     180    15300   107100 |    75148    68445     53 |  0.003 % |
106.21/106.42	c |    174136 |     180    15300   107100 |    75148    69238     53 |  0.003 % |
106.81/107.04	c |    175008 |     180    15300   107100 |    75148    70110     53 |  0.003 % |
107.71/107.93	c |    175966 |     180    15300   107100 |    75148    71068     53 |  0.003 % |
108.51/108.76	c |    177021 |     180    15300   107100 |    75148    72123     53 |  0.003 % |
109.50/109.73	c |    178181 |     180    15300   107100 |    75148    73283     53 |  0.003 % |
110.50/110.77	c |    179456 |     180    15300   107100 |    75148    74558     53 |  0.003 % |
111.60/111.84	c |    180857 |     180    15300   107100 |    75104    64735     53 |  0.003 % |
112.60/112.84	c |    182397 |     180    15300   107100 |    75104    66275     53 |  0.003 % |
113.70/113.96	c |    184092 |     180    15300   107100 |    75104    67970     53 |  0.003 % |
115.21/115.43	c |    185956 |     180    15300   107100 |    75104    69834     53 |  0.003 % |
115.31/115.51	c |    186056 |     180    15300   107100 |    75104    69934     53 |  0.003 % |
115.40/115.62	c |    186166 |     180    15300   107100 |    75104    70044     53 |  0.003 % |
115.50/115.72	c |    186288 |     180    15300   107100 |    75104    70166     53 |  0.003 % |
115.60/115.85	c |    186422 |     180    15300   107100 |    75104    70300     53 |  0.003 % |
115.70/115.96	c |    186568 |     180    15300   107100 |    75104    70446     53 |  0.003 % |
115.90/116.13	c |    186730 |     180    15300   107100 |    75104    70608     53 |  0.003 % |
116.00/116.30	c |    186906 |     180    15300   107100 |    75104    70784     53 |  0.003 % |
116.20/116.47	c |    187100 |     180    15300   107100 |    75104    70978     53 |  0.003 % |
116.41/116.64	c |    187312 |     180    15300   107100 |    75104    71190     53 |  0.003 % |
116.60/116.82	c |    187546 |     180    15300   107100 |    75104    71424     53 |  0.003 % |
116.80/117.10	c |    187802 |     180    15300   107100 |    75104    71680     53 |  0.003 % |
117.10/117.33	c |    188084 |     180    15300   107100 |    75104    71962     53 |  0.003 % |
117.41/117.65	c |    188393 |     180    15300   107100 |    75104    72271     53 |  0.003 % |
117.70/117.94	c |    188733 |     180    15300   107100 |    75104    72611     53 |  0.003 % |
118.00/118.29	c |    189105 |     180    15300   107100 |    75104    72983     53 |  0.003 % |
118.40/118.62	c |    189515 |     180    15300   107100 |    75104    73393     53 |  0.003 % |
118.80/119.04	c |    189964 |     180    15300   107100 |    75104    73842     53 |  0.003 % |
119.20/119.45	c |    190458 |     180    15300   107100 |    73878    63475     53 |  0.003 % |
119.60/119.84	c |    191001 |     180    15300   107100 |    73878    64018     53 |  0.003 % |
120.10/120.35	c |    191598 |     180    15300   107100 |    73878    64615     53 |  0.003 % |
120.60/120.88	c |    192253 |     180    15300   107100 |    73878    65270     53 |  0.003 % |
121.20/121.47	c |    192973 |     180    15300   107100 |    73878    65990     53 |  0.003 % |
121.80/122.04	c |    193765 |     180    15300   107100 |    73878    66782     53 |  0.003 % |
122.50/122.70	c |    194639 |     180    15300   107100 |    73878    67656     53 |  0.003 % |
123.00/123.27	c |    195597 |     180    15300   107100 |    73878    68614     53 |  0.003 % |
123.90/124.20	c |    196651 |     180    15300   107100 |    73878    69668     53 |  0.003 % |
124.90/125.16	c |    197809 |     180    15300   107100 |    73878    70826     53 |  0.003 % |
125.90/126.18	c |    199083 |     180    15300   107100 |    73878    72100     53 |  0.003 % |
127.20/127.45	c |    200483 |     180    15300   107100 |    73017    62892     53 |  0.003 % |
128.30/128.51	c |    202025 |     180    15300   107100 |    73017    64434     53 |  0.003 % |
129.50/129.78	c |    203719 |     180    15300   107100 |    73017    66128     53 |  0.003 % |
130.89/131.16	c |    205582 |     180    15300   107100 |    73017    67991     53 |  0.003 % |
132.59/132.82	c |    207631 |     180    15300   107100 |    73017    70040     53 |  0.003 % |
132.69/132.90	c |    207731 |     180    15300   107100 |    73017    70140     53 |  0.003 % |
132.69/133.00	c |    207842 |     180    15300   107100 |    73017    70251     53 |  0.003 % |
132.90/133.10	c |    207964 |     180    15300   107100 |    73017    70373     53 |  0.003 % |
132.99/133.21	c |    208097 |     180    15300   107100 |    73017    70506     53 |  0.003 % |
133.09/133.36	c |    208244 |     180    15300   107100 |    73017    70653     53 |  0.003 % |
133.19/133.48	c |    208404 |     180    15300   107100 |    73017    70813     53 |  0.003 % |
133.39/133.65	c |    208580 |     180    15300   107100 |    73017    70989     53 |  0.003 % |
133.59/133.84	c |    208773 |     180    15300   107100 |    73017    71182     53 |  0.003 % |
133.79/134.03	c |    208986 |     180    15300   107100 |    73017    71395     53 |  0.003 % |
134.00/134.24	c |    209219 |     180    15300   107100 |    73017    71628     53 |  0.003 % |
134.19/134.43	c |    209475 |     180    15300   107100 |    73017    71884     53 |  0.003 % |
134.39/134.66	c |    209758 |     180    15300   107100 |    73017    72167     53 |  0.003 % |
134.69/134.92	c |    210067 |     180    15300   107100 |    72409    72476     53 |  0.003 % |
135.10/135.30	c |    210406 |     180    15300   107100 |    72409    62565     53 |  0.003 % |
135.39/135.60	c |    210779 |     180    15300   107100 |    72409    62938     53 |  0.003 % |
135.69/135.92	c |    211188 |     180    15300   107100 |    72409    63347     53 |  0.003 % |
135.99/136.22	c |    211638 |     180    15300   107100 |    72409    63797     53 |  0.003 % |
136.29/136.54	c |    212132 |     180    15300   107100 |    72409    64291     53 |  0.003 % |
136.69/136.93	c |    212675 |     180    15300   107100 |    72409    64834     53 |  0.003 % |
137.09/137.34	c |    213272 |     180    15300   107100 |    72409    65431     53 |  0.003 % |
137.49/137.77	c |    213927 |     180    15300   107100 |    72409    66086     53 |  0.003 % |
137.99/138.25	c |    214647 |     180    15300   107100 |    72409    66806     53 |  0.003 % |
138.49/138.79	c |    215439 |     180    15300   107100 |    72409    67598     53 |  0.003 % |
139.09/139.35	c |    216310 |     180    15300   107100 |    72409    68469     53 |  0.003 % |
139.69/139.96	c |    217268 |     180    15300   107100 |    72409    69427     53 |  0.003 % |
140.49/140.72	c |    218322 |     180    15300   107100 |    72409    70481     53 |  0.003 % |
141.29/141.58	c |    219483 |     180    15300   107100 |    72409    71642     53 |  0.003 % |
142.29/142.55	c |    220756 |     180    15300   107100 |    72161    63522     53 |  0.003 % |
143.19/143.43	c |    222156 |     180    15300   107100 |    72161    64922     53 |  0.003 % |
144.19/144.41	c |    223697 |     180    15300   107100 |    72161    66463     53 |  0.003 % |
145.38/145.60	c |    225395 |     180    15300   107100 |    72161    68161     53 |  0.003 % |
146.58/146.88	c |    227258 |     180    15300   107100 |    72161    70024     53 |  0.003 % |
148.08/148.37	c |    229307 |     180    15300   107100 |    72161    72073     53 |  0.003 % |
149.59/149.90	c |    231560 |     180    15300   107100 |    64023    57998     53 |  0.003 % |
149.69/149.99	c |    231660 |     180    15300   107100 |    64023    58098     53 |  0.003 % |
149.79/150.08	c |    231770 |     180    15300   107100 |    64023    58208     53 |  0.003 % |
149.89/150.17	c |    231891 |     180    15300   107100 |    64023    58329     53 |  0.003 % |
149.99/150.28	c |    232024 |     180    15300   107100 |    64023    58462     53 |  0.003 % |
150.09/150.39	c |    232171 |     180    15300   107100 |    64023    58609     53 |  0.003 % |
150.29/150.51	c |    232331 |     180    15300   107100 |    64023    58769     53 |  0.003 % |
150.39/150.62	c |    232508 |     180    15300   107100 |    64023    58946     53 |  0.003 % |
150.49/150.78	c |    232701 |     180    15300   107100 |    64023    59139     53 |  0.003 % |
150.68/150.94	c |    232913 |     180    15300   107100 |    64023    59351     53 |  0.003 % |
150.88/151.10	c |    233147 |     180    15300   107100 |    64023    59585     53 |  0.003 % |
150.98/151.29	c |    233403 |     180    15300   107100 |    64023    59841     53 |  0.003 % |
151.18/151.48	c |    233684 |     180    15300   107100 |    64023    60122     53 |  0.003 % |
151.38/151.70	c |    233993 |     180    15300   107100 |    64023    60431     53 |  0.003 % |
151.68/151.93	c |    234332 |     180    15300   107100 |    64023    60770     53 |  0.003 % |
151.88/152.18	c |    234704 |     180    15300   107100 |    64023    61142     53 |  0.003 % |
152.18/152.43	c |    235113 |     180    15300   107100 |    64023    61551     53 |  0.003 % |
152.48/152.75	c |    235564 |     180    15300   107100 |    64023    62002     53 |  0.003 % |
152.88/153.14	c |    236057 |     180    15300   107100 |    64023    62495     53 |  0.003 % |
153.28/153.56	c |    236599 |     180    15300   107100 |    64023    63037     53 |  0.003 % |
153.79/154.01	c |    237195 |     180    15300   107100 |    64023    63633     53 |  0.003 % |
154.28/154.53	c |    237852 |     180    15300   107100 |    64023    57406     53 |  0.003 % |
154.78/155.02	c |    238572 |     180    15300   107100 |    64023    58126     53 |  0.003 % |
155.28/155.56	c |    239364 |     180    15300   107100 |    64023    58918     53 |  0.003 % |
155.88/156.18	c |    240235 |     180    15300   107100 |    59554    53693     53 |  0.003 % |
156.48/156.74	c |    241193 |     180    15300   107100 |    59554    54651     53 |  0.003 % |
157.08/157.39	c |    242246 |     180    15300   107100 |    59554    55704     53 |  0.003 % |
157.88/158.10	c |    243404 |     180    15300   107100 |    59554    56862     53 |  0.003 % |
158.58/158.86	c |    244679 |     180    15300   107100 |    59554    58137     53 |  0.003 % |
159.48/159.78	c |    246081 |     180    15300   107100 |    59554    59539     53 |  0.003 % |
160.58/160.81	c |    247622 |     180    15300   107100 |    59554    55116     53 |  0.003 % |
161.58/161.88	c |    249317 |     180    15300   107100 |    59554    56811     53 |  0.003 % |
162.78/163.03	c |    251185 |     180    15300   107100 | 2147483647    58679     53 |  0.003 % |
164.18/164.40	c |    253234 |     180    15300   107100 | 2147483647    60728     53 |  0.003 % |
165.58/165.87	c |    255487 |     180    15300   107100 | 2147483647    62981     54 |  0.003 % |
167.38/167.60	c |    257966 |     180    15300   107100 | 2147483647    65460     54 |  0.003 % |
167.38/167.67	c |    258066 |     180    15300   107100 | 2147483647    65560     54 |  0.003 % |
167.58/167.80	c |    258177 |     180    15300   107100 | 2147483647    65671     54 |  0.003 % |
167.67/167.92	c |    258301 |     180    15300   107100 | 2147483647    65795     53 |  0.003 % |
167.77/168.03	c |    258434 |     180    15300   107100 | 2147483647    65928     53 |  0.003 % |
167.87/168.17	c |    258581 |     180    15300   107100 | 2147483647    66075     53 |  0.003 % |
168.08/168.32	c |    258742 |     180    15300   107100 | 2147483647    66236     53 |  0.003 % |
168.17/168.48	c |    258919 |     180    15300   107100 | 2147483647    66413     53 |  0.003 % |
168.37/168.65	c |    259112 |     180    15300   107100 | 2147483647    66606     53 |  0.003 % |
168.57/168.80	c |    259327 |     180    15300   107100 | 2147483647    66821     53 |  0.003 % |
168.67/168.97	c |    259562 |     180    15300   107100 | 2147483647    67056     53 |  0.003 % |
168.87/169.18	c |    259818 |     180    15300   107100 | 2147483647    67312     54 |  0.003 % |
169.17/169.40	c |    260099 |     180    15300   107100 | 2147483647    67593     53 |  0.003 % |
169.37/169.66	c |    260410 |     180    15300   107100 | 2147483647    67904     53 |  0.003 % |
169.67/169.92	c |    260750 |     180    15300   107100 | 2147483647    68244     53 |  0.003 % |
169.87/170.19	c |    261122 |     180    15300   107100 | 2147483647    68616     53 |  0.003 % |
170.17/170.49	c |    261531 |     180    15300   107100 | 2147483647    69025     53 |  0.003 % |
170.57/170.87	c |    261981 |     180    15300   107100 | 2147483647    69475     53 |  0.003 % |
170.97/171.28	c |    262475 |     180    15300   107100 | 2147483647    69969     54 |  0.003 % |
171.37/171.67	c |    263018 |     180    15300   107100 | 2147483647    70512     53 |  0.003 % |
171.97/172.20	c |    263614 |     180    15300   107100 | 2147483647    71108     53 |  0.003 % |
172.47/172.75	c |    264269 |     180    15300   107100 | 2147483647    71763     53 |  0.003 % |
173.07/173.32	c |    264990 |     180    15300   107100 | 2147483647    72484     53 |  0.003 % |
173.67/173.97	c |    265783 |     180    15300   107100 | 2147483647    73277     53 |  0.003 % |
174.37/174.63	c |    266655 |     180    15300   107100 | 2147483647    74149     53 |  0.003 % |
175.17/175.42	c |    267614 |     180    15300   107100 | 2147483647    75108     53 |  0.003 % |
176.06/176.31	c |    268667 |     180    15300   107100 | 2147483647    76161     53 |  0.003 % |
176.96/177.23	c |    269825 |     180    15300   107100 | 2147483647    77319     53 |  0.003 % |
177.87/178.18	c |    271098 |     180    15300   107100 |    77494    67347     53 |  0.003 % |
178.96/179.23	c |    272498 |     180    15300   107100 |    77494    68747     53 |  0.003 % |
180.06/180.36	c |    274038 |     180    15300   107100 |    77494    70287     53 |  0.003 % |
181.56/181.81	c |    275735 |     180    15300   107100 |    77494    71984     53 |  0.003 % |
182.96/183.26	c |    277599 |     180    15300   107100 |    77494    73848     53 |  0.003 % |
184.66/184.97	c |    279651 |     180    15300   107100 |    77494    75900     53 |  0.003 % |
186.26/186.56	c |    281904 |     180    15300   107100 |    76249    66307     54 |  0.003 % |
187.96/188.22	c |    284382 |     180    15300   107100 |    76249    68785     54 |  0.003 % |
189.86/190.10	c |    287108 |     180    15300   107100 |    76249    71511     54 |  0.003 % |
189.86/190.20	c |    287209 |     180    15300   107100 |    76249    71612     54 |  0.003 % |
189.96/190.30	c |    287320 |     180    15300   107100 |    76249    71723     54 |  0.003 % |
190.15/190.42	c |    287442 |     180    15300   107100 |    76249    71845     54 |  0.003 % |
190.25/190.55	c |    287575 |     180    15300   107100 |    76249    71978     54 |  0.003 % |
190.45/190.71	c |    287721 |     180    15300   107100 |    76249    72124     54 |  0.003 % |
190.55/190.85	c |    287881 |     180    15300   107100 |    76249    72284     54 |  0.003 % |
190.75/191.01	c |    288058 |     180    15300   107100 |    76249    72461     54 |  0.003 % |
190.95/191.22	c |    288251 |     180    15300   107100 |    76249    72654     54 |  0.003 % |
191.06/191.39	c |    288463 |     180    15300   107100 |    76249    72866     54 |  0.003 % |
191.35/191.61	c |    288696 |     180    15300   107100 |    76249    73099     54 |  0.003 % |
191.45/191.79	c |    288952 |     180    15300   107100 |    76249    73355     54 |  0.003 % |
191.75/192.02	c |    289235 |     180    15300   107100 |    76249    73638     54 |  0.003 % |
191.95/192.29	c |    289545 |     180    15300   107100 |    76249    73948     54 |  0.003 % |
192.35/192.62	c |    289884 |     180    15300   107100 |    76249    74287     54 |  0.003 % |
192.75/193.02	c |    290257 |     180    15300   107100 |    74404    63690     54 |  0.003 % |
193.05/193.31	c |    290666 |     180    15300   107100 |    74404    64099     54 |  0.003 % |
193.36/193.64	c |    291116 |     180    15300   107100 |    74404    64549     54 |  0.003 % |
193.65/194.00	c |    291609 |     180    15300   107100 |    74404    65042     54 |  0.003 % |
194.05/194.39	c |    292152 |     180    15300   107100 |    74404    65585     54 |  0.003 % |
194.55/194.84	c |    292749 |     180    15300   107100 |    74404    66182     54 |  0.003 % |
195.05/195.30	c |    293404 |     180    15300   107100 |    74404    66837     54 |  0.003 % |
195.55/195.89	c |    294126 |     180    15300   107100 |    74404    67559     54 |  0.003 % |
196.15/196.48	c |    294919 |     180    15300   107100 |    74404    68352     54 |  0.003 % |
196.85/197.12	c |    295790 |     180    15300   107100 |    74404    69223     54 |  0.003 % |
197.55/197.81	c |    296748 |     180    15300   107100 |    74404    70181     54 |  0.003 % |
198.25/198.56	c |    297803 |     180    15300   107100 |    74404    71236     54 |  0.003 % |
199.15/199.41	c |    298962 |     180    15300   107100 |    74404    72395     54 |  0.003 % |
200.05/200.37	c |    300236 |     180    15300   107100 |    73433    63902     54 |  0.003 % |
200.95/201.29	c |    301637 |     180    15300   107100 |    73433    65303     54 |  0.003 % |
202.05/202.32	c |    303179 |     180    15300   107100 |    73433    66845     54 |  0.003 % |
203.15/203.46	c |    304873 |     180    15300   107100 |    73433    68539     54 |  0.003 % |
204.35/204.69	c |    306736 |     180    15300   107100 |    73433    70402     54 |  0.003 % |
205.84/206.10	c |    308789 |     180    15300   107100 |    73433    72455     54 |  0.003 % |
207.34/207.61	c |    311042 |     180    15300   107100 |    65031    58418     53 |  0.003 % |
208.84/209.11	c |    313522 |     180    15300   107100 |    65031    60898     53 |  0.003 % |
210.74/211.02	c |    316247 |     180    15300   107100 |    65031    63623     54 |  0.003 % |
212.74/213.01	c |    319244 |     180    15300   107100 |    65031    59702     54 |  0.003 % |
212.74/213.07	c |    319345 |     180    15300   107100 |    65031    59803     54 |  0.003 % |
212.84/213.16	c |    319455 |     180    15300   107100 |    65031    59913     54 |  0.003 % |
212.94/213.25	c |    319576 |     180    15300   107100 |    65031    60034     54 |  0.003 % |
213.04/213.37	c |    319709 |     180    15300   107100 |    65031    60167     54 |  0.003 % |
213.14/213.46	c |    319855 |     180    15300   107100 |    65031    60313     54 |  0.003 % |
213.24/213.58	c |    320016 |     180    15300   107100 |    60459    60474     54 |  0.003 % |
213.44/213.76	c |    320192 |     180    15300   107100 |    60459    54352     54 |  0.003 % |
213.54/213.88	c |    320387 |     180    15300   107100 |    60459    54547     54 |  0.003 % |
213.74/214.01	c |    320600 |     180    15300   107100 |    60459    54760     54 |  0.003 % |
213.84/214.15	c |    320833 |     180    15300   107100 |    60459    54993     54 |  0.003 % |
214.04/214.33	c |    321089 |     180    15300   107100 |    60459    55249     54 |  0.003 % |
214.24/214.55	c |    321372 |     180    15300   107100 |    60459    55532     54 |  0.003 % |
214.44/214.78	c |    321681 |     180    15300   107100 |    60459    55841     54 |  0.003 % |
214.74/215.01	c |    322022 |     180    15300   107100 |    60459    56182     54 |  0.003 % |
214.94/215.27	c |    322395 |     180    15300   107100 |    60459    56555     54 |  0.003 % |
215.24/215.53	c |    322806 |     180    15300   107100 |    60459    56966     54 |  0.003 % |
215.54/215.82	c |    323256 |     180    15300   107100 |    60459    57416     54 |  0.003 % |
215.84/216.12	c |    323749 |     180    15300   107100 |    60459    57909     54 |  0.003 % |
216.14/216.45	c |    324291 |     180    15300   107100 |    60459    58451     54 |  0.003 % |
216.44/216.79	c |    324888 |     180    15300   107100 |    60459    59048     54 |  0.003 % |
216.84/217.16	c |    325543 |     180    15300   107100 |    60459    59703     54 |  0.003 % |
217.33/217.68	c |    326265 |     180    15300   107100 |    60459    60425     54 |  0.003 % |
217.94/218.20	c |    327058 |     180    15300   107100 |    60459    55165     54 |  0.003 % |
218.44/218.77	c |    327931 |     180    15300   107100 |    60459    56038     54 |  0.003 % |
219.03/219.35	c |    328893 |     180    15300   107100 |    60459    57000     54 |  0.003 % |
219.74/220.03	c |    329946 |     180    15300   107100 |    60459    58053     54 |  0.003 % |
220.43/220.74	c |    331105 |     180    15300   107100 | 2147483647    59212     54 |  0.003 % |
221.23/221.54	c |    332378 |     180    15300   107100 | 2147483647    60485     54 |  0.003 % |
222.13/222.41	c |    333781 |     180    15300   107100 | 2147483647    61888     54 |  0.003 % |
223.13/223.40	c |    335321 |     180    15300   107100 | 2147483647    63428     54 |  0.003 % |
224.14/224.47	c |    337015 |     180    15300   107100 | 2147483647    65122     54 |  0.003 % |
225.63/225.95	c |    338878 |     180    15300   107100 | 2147483647    66985     54 |  0.003 % |
227.13/227.49	c |    340927 |     180    15300   107100 | 2147483647    69034     54 |  0.003 % |
228.83/229.10	c |    343180 |     180    15300   107100 | 2147483647    71287     54 |  0.003 % |
230.54/230.88	c |    345658 |     180    15300   107100 | 2147483647    73765     54 |  0.003 % |
232.74/233.04	c |    348385 |     180    15300   107100 | 2147483647    76492     54 |  0.003 % |
234.93/235.27	c |    351382 |     180    15300   107100 |    78109    69071     54 |  0.003 % |
237.23/237.60	c |    354679 |     180    15300   107100 |    78109    72368     54 |  0.003 % |
237.33/237.67	c |    354779 |     180    15300   107100 |    78109    72468     54 |  0.003 % |
237.43/237.75	c |    354889 |     180    15300   107100 |    78109    72578     54 |  0.003 % |
237.53/237.88	c |    355010 |     180    15300   107100 |    78109    72699     54 |  0.003 % |
237.73/238.03	c |    355143 |     180    15300   107100 |    78109    72832     54 |  0.003 % |
237.83/238.15	c |    355290 |     180    15300   107100 |    78109    72979     54 |  0.003 % |
238.03/238.30	c |    355450 |     180    15300   107100 |    78109    73139     54 |  0.003 % |
238.13/238.44	c |    355626 |     180    15300   107100 |    78109    73315     54 |  0.003 % |
238.33/238.60	c |    355819 |     180    15300   107100 |    78109    73508     54 |  0.003 % |
238.43/238.77	c |    356032 |     180    15300   107100 |    78109    73721     54 |  0.003 % |
238.73/239.02	c |    356265 |     180    15300   107100 |    78109    73954     54 |  0.003 % |
238.93/239.26	c |    356521 |     180    15300   107100 |    78109    74210     54 |  0.003 % |
239.23/239.51	c |    356802 |     180    15300   107100 |    78109    74491     54 |  0.003 % |
239.43/239.76	c |    357111 |     180    15300   107100 |    78109    74800     54 |  0.003 % |
239.73/240.05	c |    357453 |     180    15300   107100 |    78109    75142     54 |  0.003 % |
240.03/240.34	c |    357825 |     180    15300   107100 |    78109    75514     54 |  0.003 % |
240.33/240.67	c |    358234 |     180    15300   107100 |    78109    75923     54 |  0.003 % |
240.73/241.01	c |    358684 |     180    15300   107100 |    78109    76373     54 |  0.003 % |
241.13/241.40	c |    359177 |     180    15300   107100 |    78109    76866     54 |  0.003 % |
241.53/241.80	c |    359721 |     180    15300   107100 |    78109    77410     54 |  0.003 % |
242.03/242.30	c |    360317 |     180    15300   107100 |    77689    66797     54 |  0.003 % |
242.43/242.74	c |    360975 |     180    15300   107100 |    77689    67455     54 |  0.003 % |
242.93/243.22	c |    361695 |     180    15300   107100 |    77689    68175     54 |  0.003 % |
243.43/243.79	c |    362488 |     180    15300   107100 |    77689    68968     54 |  0.003 % |
244.13/244.41	c |    363360 |     180    15300   107100 |    77689    69840     54 |  0.003 % |
244.82/245.13	c |    364319 |     180    15300   107100 |    77689    70799     54 |  0.003 % |
245.62/245.92	c |    365372 |     180    15300   107100 |    77689    71852     54 |  0.003 % |
246.42/246.71	c |    366530 |     180    15300   107100 |    77689    73010     54 |  0.003 % |
247.42/247.73	c |    367806 |     180    15300   107100 |    77689    74286     54 |  0.003 % |
248.62/248.92	c |    369206 |     180    15300   107100 |    77689    75686     54 |  0.003 % |
249.82/250.19	c |    370746 |     180    15300   107100 |    76480    66092     54 |  0.003 % |
251.12/251.42	c |    372441 |     180    15300   107100 |    76480    67787     54 |  0.003 % |
252.42/252.79	c |    374304 |     180    15300   107100 |    76480    69650     54 |  0.003 % |
254.22/254.50	c |    376353 |     180    15300   107100 |    76480    71699     54 |  0.003 % |
255.92/256.29	c |    378608 |     180    15300   107100 |    76480    73954     54 |  0.003 % |
257.82/258.12	c |    381086 |     180    15300   107100 |    75346    65610     54 |  0.003 % |
259.82/260.17	c |    383811 |     180    15300   107100 |    75346    68335     54 |  0.003 % |
262.12/262.45	c |    386809 |     180    15300   107100 |    75346    71333     54 |  0.003 % |
264.82/265.16	c |    390106 |     180    15300   107100 |    74525    64145     54 |  0.003 % |
267.22/267.54	c |    393733 |     180    15300   107100 |    74525    67772     54 |  0.003 % |
267.32/267.61	c |    393833 |     180    15300   107100 |    74525    67872     54 |  0.003 % |
267.42/267.70	c |    393943 |     180    15300   107100 |    74525    67982     54 |  0.003 % |
267.42/267.79	c |    394065 |     180    15300   107100 |    74525    68104     54 |  0.003 % |
267.62/267.94	c |    394199 |     180    15300   107100 |    74525    68238     54 |  0.003 % |
267.72/268.05	c |    394345 |     180    15300   107100 |    74525    68384     54 |  0.003 % |
267.92/268.20	c |    394507 |     180    15300   107100 |    74525    68546     54 |  0.003 % |
268.02/268.36	c |    394683 |     180    15300   107100 |    74525    68722     54 |  0.003 % |
268.22/268.54	c |    394876 |     180    15300   107100 |    74525    68915     54 |  0.003 % |
268.42/268.72	c |    395089 |     180    15300   107100 |    74525    69128     54 |  0.003 % |
268.62/268.91	c |    395322 |     180    15300   107100 |    74525    69361     54 |  0.003 % |
268.82/269.15	c |    395580 |     180    15300   107100 |    74525    69619     54 |  0.003 % |
269.12/269.43	c |    395863 |     180    15300   107100 |    74525    69902     54 |  0.003 % |
269.32/269.68	c |    396172 |     180    15300   107100 |    74525    70211     54 |  0.003 % |
269.62/269.94	c |    396511 |     180    15300   107100 |    74525    70550     54 |  0.003 % |
269.92/270.30	c |    396884 |     180    15300   107100 |    74525    70923     54 |  0.003 % |
270.32/270.64	c |    397294 |     180    15300   107100 |    74525    71333     54 |  0.003 % |
270.71/271.04	c |    397744 |     180    15300   107100 |    74525    71783     54 |  0.003 % |
271.11/271.46	c |    398238 |     180    15300   107100 |    74525    72277     54 |  0.003 % |
271.51/271.86	c |    398780 |     180    15300   107100 |    74525    72819     54 |  0.003 % |
272.01/272.35	c |    399377 |     180    15300   107100 |    74525    73416     54 |  0.003 % |
272.52/272.87	c |    400032 |     180    15300   107100 |    74039    74071     54 |  0.003 % |
273.21/273.51	c |    400754 |     180    15300   107100 |    74039    64295     54 |  0.003 % |
273.81/274.13	c |    401546 |     180    15300   107100 |    74039    65087     54 |  0.003 % |
274.51/274.81	c |    402419 |     180    15300   107100 |    74039    65960     54 |  0.003 % |
275.21/275.50	c |    403378 |     180    15300   107100 |    74039    66919     54 |  0.003 % |
275.91/276.26	c |    404431 |     180    15300   107100 |    74039    67972     54 |  0.003 % |
276.71/277.08	c |    405591 |     180    15300   107100 |    74039    69132     54 |  0.003 % |
277.81/278.18	c |    406866 |     180    15300   107100 |    74039    70407     54 |  0.003 % |
278.91/279.29	c |    408267 |     180    15300   107100 |    74039    71808     54 |  0.003 % |
280.11/280.50	c |    409807 |     180    15300   107100 |    74039    73348     54 |  0.003 % |
281.51/281.80	c |    411502 |     180    15300   107100 |    73544    64070     54 |  0.003 % |
282.81/283.18	c |    413366 |     180    15300   107100 |    73544    65934     54 |  0.003 % |
284.41/284.78	c |    415416 |     180    15300   107100 |    73544    67984     54 |  0.003 % |
286.21/286.51	c |    417671 |     180    15300   107100 |    73544    70239     54 |  0.003 % |
288.21/288.53	c |    420149 |     180    15300   107100 |    72568    62448     54 |  0.003 % |
289.91/290.29	c |    422874 |     180    15300   107100 |    72568    65173     54 |  0.003 % |
291.81/292.16	c |    425873 |     180    15300   107100 |    72568    68172     54 |  0.003 % |
294.01/294.35	c |    429171 |     180    15300   107100 |    72568    71470     54 |  0.003 % |
296.51/296.83	c |    432797 |     180    15300   107100 |    72299    66771     54 |  0.003 % |
299.01/299.38	c |    436785 |     180    15300   107100 |    72299    70759     54 |  0.003 % |
299.11/299.46	c |    436885 |     180    15300   107100 |    72299    70859     54 |  0.003 % |
299.21/299.54	c |    436995 |     180    15300   107100 |    72299    70969     54 |  0.003 % |
299.31/299.65	c |    437116 |     180    15300   107100 |    72299    71090     54 |  0.003 % |
299.41/299.77	c |    437249 |     180    15300   107100 |    72299    71223     54 |  0.003 % |
299.61/299.90	c |    437395 |     180    15300   107100 |    72299    71369     54 |  0.003 % |
299.71/300.03	c |    437556 |     180    15300   107100 |    72299    71530     54 |  0.003 % |
299.91/300.24	c |    437733 |     180    15300   107100 |    72299    71707     54 |  0.003 % |
300.11/300.41	c |    437927 |     180    15300   107100 |    72299    71901     54 |  0.003 % |
300.31/300.60	c |    438140 |     180    15300   107100 |    72299    72114     54 |  0.003 % |
300.51/300.82	c |    438375 |     180    15300   107100 |    72299    72349     54 |  0.003 % |
300.71/301.08	c |    438631 |     180    15300   107100 |    72299    63619     54 |  0.003 % |
300.91/301.28	c |    438912 |     180    15300   107100 |    72299    63900     54 |  0.003 % |
301.21/301.53	c |    439221 |     180    15300   107100 |    72299    64209     54 |  0.003 % |
301.41/301.77	c |    439560 |     180    15300   107100 |    72299    64548     54 |  0.003 % |
301.81/302.10	c |    439932 |     180    15300   107100 |    72299    64920     54 |  0.003 % |
302.11/302.47	c |    440346 |     180    15300   107100 |    64988    57145     54 |  0.003 % |
302.41/302.77	c |    440797 |     180    15300   107100 |    64988    57596     54 |  0.003 % |
302.71/303.09	c |    441291 |     180    15300   107100 |    64988    58090     54 |  0.003 % |
303.11/303.42	c |    441833 |     180    15300   107100 |    64988    58632     54 |  0.003 % |
303.51/303.81	c |    442431 |     180    15300   107100 |    64988    59230     54 |  0.003 % |
303.91/304.27	c |    443087 |     180    15300   107100 |    64988    59886     54 |  0.003 % |
304.51/304.82	c |    443807 |     180    15300   107100 |    64988    60606     54 |  0.003 % |
305.01/305.38	c |    444599 |     180    15300   107100 |    64988    61398     54 |  0.003 % |
305.71/306.03	c |    445471 |     180    15300   107100 |    64988    62270     54 |  0.003 % |
306.41/306.78	c |    446430 |     180    15300   107100 |    64988    63229     54 |  0.003 % |
307.21/307.53	c |    447484 |     180    15300   107100 |    64988    64283     54 |  0.003 % |
308.01/308.34	c |    448644 |     180    15300   107100 |    64988    58320     54 |  0.003 % |
308.81/309.14	c |    449917 |     180    15300   107100 |    64988    59593     54 |  0.003 % |
309.71/310.02	c |    451317 |     180    15300   107100 |    59676    54929     54 |  0.003 % |
310.61/310.97	c |    452859 |     180    15300   107100 |    59676    56471     54 |  0.003 % |
311.61/311.99	c |    454554 |     180    15300   107100 |    59676    58166     54 |  0.003 % |
312.91/313.26	c |    456419 |     180    15300   107100 |    59676    54056     54 |  0.003 % |
314.21/314.55	c |    458468 |     180    15300   107100 |    59676    56105     54 |  0.003 % |
315.70/316.04	c |    460721 |     180    15300   107100 | 2147483647    58358     54 |  0.003 % |
317.30/317.66	c |    463201 |     180    15300   107100 | 2147483647    60838     54 |  0.003 % |
319.30/319.61	c |    465926 |     180    15300   107100 | 2147483647    63563     54 |  0.003 % |
321.30/321.67	c |    468923 |     180    15300   107100 | 2147483647    66560     54 |  0.003 % |
323.60/323.91	c |    472220 |     180    15300   107100 | 2147483647    69857     54 |  0.003 % |
326.30/326.62	c |    475845 |     180    15300   107100 | 2147483647    73482     54 |  0.003 % |
329.30/329.69	c |    479832 |     180    15300   107100 | 2147483647    77469     54 |  0.003 % |
332.40/332.79	c |    484218 |     180    15300   107100 |    77637    71375     54 |  0.003 % |
332.50/332.86	c |    484319 |     180    15300   107100 |    77637    71476     54 |  0.003 % |
332.60/332.95	c |    484429 |     180    15300   107100 |    77637    71586     54 |  0.003 % |
332.70/333.03	c |    484550 |     180    15300   107100 |    77637    71707     54 |  0.003 % |
332.80/333.19	c |    484684 |     180    15300   107100 |    77637    71841     54 |  0.003 % |
333.00/333.34	c |    484831 |     180    15300   107100 |    77637    71988     54 |  0.003 % |
333.10/333.48	c |    484992 |     180    15300   107100 |    77637    72149     54 |  0.003 % |
333.30/333.63	c |    485170 |     180    15300   107100 |    77637    72327     54 |  0.003 % |
333.50/333.80	c |    485365 |     180    15300   107100 |    77637    72522     54 |  0.003 % |
333.60/333.99	c |    485577 |     180    15300   107100 |    77637    72734     54 |  0.003 % |
333.90/334.22	c |    485811 |     180    15300   107100 |    77637    72968     54 |  0.003 % |
334.10/334.43	c |    486068 |     180    15300   107100 |    77637    73225     54 |  0.003 % |
334.29/334.68	c |    486349 |     180    15300   107100 |    77637    73506     54 |  0.003 % |
334.59/334.96	c |    486658 |     180    15300   107100 |    77637    73815     54 |  0.003 % |
334.89/335.26	c |    487000 |     180    15300   107100 |    77637    74157     54 |  0.003 % |
335.29/335.60	c |    487373 |     180    15300   107100 |    77637    74530     54 |  0.003 % |
335.59/335.97	c |    487783 |     180    15300   107100 |    77637    74940     54 |  0.003 % |
335.99/336.35	c |    488233 |     180    15300   107100 |    77637    75390     54 |  0.003 % |
336.39/336.75	c |    488729 |     180    15300   107100 |    77637    75886     54 |  0.003 % |
336.89/337.25	c |    489271 |     180    15300   107100 |    77637    76428     54 |  0.003 % |
337.40/337.75	c |    489868 |     180    15300   107100 |    77637    77025     54 |  0.003 % |
337.99/338.35	c |    490523 |     180    15300   107100 |    77158    65729     54 |  0.003 % |
338.59/338.92	c |    491247 |     180    15300   107100 |    77158    66453     54 |  0.003 % |
339.09/339.49	c |    492039 |     180    15300   107100 |    77158    67245     54 |  0.003 % |
339.79/340.18	c |    492911 |     180    15300   107100 |    77158    68117     54 |  0.003 % |
340.49/340.90	c |    493869 |     180    15300   107100 |    77158    69075     54 |  0.003 % |
341.39/341.75	c |    494922 |     180    15300   107100 |    77158    70128     54 |  0.003 % |
342.19/342.59	c |    496080 |     180    15300   107100 |    77158    71286     54 |  0.003 % |
343.29/343.63	c |    497354 |     180    15300   107100 |    77158    72560     54 |  0.003 % |
344.29/344.70	c |    498754 |     180    15300   107100 |    77158    73960     54 |  0.003 % |
345.59/345.95	c |    500296 |     180    15300   107100 |    75208    64186     54 |  0.003 % |
346.69/347.09	c |    501990 |     180    15300   107100 |    75208    65880     54 |  0.003 % |
348.19/348.52	c |    503853 |     180    15300   107100 |    75208    67743     54 |  0.003 % |
349.69/350.02	c |    505904 |     180    15300   107100 |    75208    69794     54 |  0.003 % |
351.48/351.84	c |    508159 |     180    15300   107100 |    75208    72049     54 |  0.003 % |
353.28/353.67	c |    510637 |     180    15300   107100 |    73891    64218     54 |  0.003 % |
355.08/355.49	c |    513364 |     180    15300   107100 |    73891    66945     54 |  0.003 % |
357.19/357.59	c |    516361 |     180    15300   107100 |    73891    69942     54 |  0.003 % |
359.68/360.08	c |    519657 |     180    15300   107100 |    73891    73238     54 |  0.003 % |
362.28/362.65	c |    523282 |     180    15300   107100 |    73581    67454     54 |  0.003 % |
365.08/365.46	c |    527269 |     180    15300   107100 |    73581    71441     54 |  0.003 % |
367.98/368.38	c |    531654 |     180    15300   107100 |    65151    59028     54 |  0.003 % |
370.98/371.39	c |    536479 |     180    15300   107100 |    65151    63853     54 |  0.003 % |
371.08/371.46	c |    536579 |     180    15300   107100 |    65151    63953     54 |  0.003 % |
371.18/371.57	c |    536691 |     180    15300   107100 |    65151    64065     54 |  0.003 % |
371.28/371.66	c |    536812 |     180    15300   107100 |    65151    64186     54 |  0.003 % |
371.38/371.77	c |    536946 |     180    15300   107100 |    65151    64320     54 |  0.003 % |
371.48/371.87	c |    537095 |     180    15300   107100 |    65151    64469     54 |  0.003 % |
371.67/372.01	c |    537255 |     180    15300   107100 |    65151    64629     54 |  0.003 % |
371.77/372.15	c |    537431 |     180    15300   107100 |    65151    64805     54 |  0.003 % |
371.97/372.30	c |    537624 |     180    15300   107100 |    65151    64998     54 |  0.003 % |
372.07/372.48	c |    537836 |     180    15300   107100 |    65151    65210     54 |  0.003 % |
372.37/372.72	c |    538070 |     180    15300   107100 |    65151    58923     53 |  0.003 % |
372.58/372.93	c |    538330 |     180    15300   107100 |    65151    59183     53 |  0.003 % |
372.77/373.14	c |    538611 |     180    15300   107100 |    65151    59464     53 |  0.003 % |
372.97/373.35	c |    538921 |     180    15300   107100 |    65151    59774     53 |  0.003 % |
373.17/373.57	c |    539261 |     180    15300   107100 |    65151    60114     53 |  0.003 % |
373.47/373.84	c |    539634 |     180    15300   107100 |    65151    60487     53 |  0.003 % |
373.77/374.14	c |    540044 |     180    15300   107100 | 2147483647    60897     53 |  0.003 % |
374.07/374.45	c |    540494 |     180    15300   107100 | 2147483647    61347     53 |  0.003 % |
374.37/374.77	c |    540992 |     180    15300   107100 | 2147483647    61845     53 |  0.003 % |
374.78/375.12	c |    541535 |     180    15300   107100 | 2147483647    62388     53 |  0.003 % |
375.17/375.55	c |    542132 |     180    15300   107100 | 2147483647    62985     53 |  0.003 % |
375.67/376.02	c |    542788 |     180    15300   107100 | 2147483647    63641     53 |  0.003 % |
376.17/376.57	c |    543508 |     180    15300   107100 | 2147483647    64361     53 |  0.003 % |
376.77/377.19	c |    544301 |     180    15300   107100 | 2147483647    65154     53 |  0.003 % |
377.47/377.83	c |    545175 |     180    15300   107100 | 2147483647    66028     54 |  0.003 % |
378.08/378.43	c |    546133 |     180    15300   107100 | 2147483647    66986     53 |  0.003 % |
378.77/379.19	c |    547186 |     180    15300   107100 | 2147483647    68039     54 |  0.003 % |
379.67/380.04	c |    548344 |     180    15300   107100 | 2147483647    69197     54 |  0.003 % |
380.67/381.03	c |    549618 |     180    15300   107100 | 2147483647    70471     54 |  0.003 % |
381.67/382.04	c |    551018 |     180    15300   107100 |    70854    63308     54 |  0.003 % |
382.77/383.18	c |    552561 |     180    15300   107100 |    70854    64851     54 |  0.003 % |
383.97/384.39	c |    554256 |     180    15300   107100 |    70854    66546     54 |  0.003 % |
385.47/385.86	c |    556119 |     180    15300   107100 |    70854    68409     53 |  0.003 % |
386.87/387.23	c |    558168 |     180    15300   107100 |    70854    70458     53 |  0.003 % |
388.27/388.69	c |    560422 |     180    15300   107100 |    63360    56160     53 |  0.003 % |
389.67/390.09	c |    562900 |     180    15300   107100 |    63360    58638     54 |  0.003 % |
391.27/391.69	c |    565627 |     180    15300   107100 |    63360    61365     54 |  0.003 % |
393.06/393.50	c |    568624 |     180    15300   107100 |    63360    58019     53 |  0.003 % |
395.16/395.56	c |    571922 |     180    15300   107100 | 2147483647    61317     54 |  0.003 % |
397.46/397.85	c |    575548 |     180    15300   107100 | 2147483647    64943     54 |  0.003 % |
400.36/400.77	c |    579537 |     180    15300   107100 | 2147483647    68932     54 |  0.003 % |
403.27/403.68	c |    583922 |     180    15300   107100 |    69397    65896     54 |  0.003 % |
406.57/406.98	c |    588745 |     180    15300   107100 |    69397    62719     54 |  0.003 % |
410.16/410.51	c |    594051 |     180    15300   107100 |    63976    60880     54 |  0.003 % |
410.26/410.60	c |    594154 |     180    15300   107100 |    63976    60983     54 |  0.003 % |
410.26/410.69	c |    594265 |     180    15300   107100 |    63976    61094     54 |  0.003 % |
410.36/410.78	c |    594388 |     180    15300   107100 |    63976    61217     54 |  0.003 % |
410.46/410.89	c |    594521 |     180    15300   107100 |    63976    61350     54 |  0.003 % |
410.66/411.03	c |    594669 |     180    15300   107100 |    63976    61498     54 |  0.003 % |
410.76/411.14	c |    594830 |     180    15300   107100 |    63976    61659     54 |  0.003 % |
410.86/411.28	c |    595007 |     180    15300   107100 |    63976    61836     54 |  0.003 % |
411.06/411.44	c |    595200 |     180    15300   107100 |    63976    62029     54 |  0.003 % |
411.26/411.62	c |    595412 |     180    15300   107100 |    63976    62241     54 |  0.003 % |
411.46/411.81	c |    595645 |     180    15300   107100 |    63976    62474     54 |  0.003 % |
411.66/412.02	c |    595903 |     180    15300   107100 |    63976    62732     54 |  0.003 % |
411.86/412.24	c |    596184 |     180    15300   107100 |    63976    63013     54 |  0.003 % |
412.06/412.47	c |    596493 |     180    15300   107100 |    63976    63322     54 |  0.003 % |
412.36/412.73	c |    596833 |     180    15300   107100 |    63976    63662     54 |  0.003 % |
412.56/412.98	c |    597206 |     180    15300   107100 |    63976    64035     54 |  0.003 % |
412.96/413.31	c |    597615 |     180    15300   107100 |    63976    57780     54 |  0.003 % |
413.26/413.61	c |    598064 |     180    15300   107100 |    63976    58229     54 |  0.003 % |
413.65/414.06	c |    598558 |     180    15300   107100 |    63976    58723     54 |  0.003 % |
414.05/414.49	c |    599101 |     180    15300   107100 |    63976    59266     54 |  0.003 % |
414.55/414.97	c |    599698 |     180    15300   107100 |    63976    59863     54 |  0.003 % |
415.05/415.44	c |    600355 |     180    15300   107100 |    60165    54271     54 |  0.003 % |
415.46/415.83	c |    601076 |     180    15300   107100 |    60165    54992     54 |  0.003 % |
415.95/416.35	c |    601869 |     180    15300   107100 |    60165    55785     54 |  0.003 % |
416.46/416.84	c |    602742 |     180    15300   107100 |    60165    56658     54 |  0.003 % |
417.05/417.42	c |    603700 |     180    15300   107100 |    60165    57616     54 |  0.003 % |
417.66/418.03	c |    604753 |     180    15300   107100 |    60165    58669     54 |  0.003 % |
418.35/418.78	c |    605914 |     180    15300   107100 |    60165    59830     54 |  0.003 % |
419.25/419.62	c |    607187 |     180    15300   107100 |    60165    55079     54 |  0.003 % |
420.05/420.44	c |    608588 |     180    15300   107100 |    60165    56480     54 |  0.003 % |
421.05/421.48	c |    610130 |     180    15300   107100 | 2147483647    58022     54 |  0.003 % |
422.15/422.54	c |    611824 |     180    15300   107100 | 2147483647    59716     54 |  0.003 % |
423.25/423.69	c |    613687 |     180    15300   107100 | 2147483647    61579     54 |  0.003 % |
424.45/424.88	c |    615737 |     180    15300   107100 | 2147483647    63629     54 |  0.003 % |
425.85/426.25	c |    617990 |     180    15300   107100 | 2147483647    65882     54 |  0.003 % |
427.75/428.13	c |    620469 |     180    15300   107100 | 2147483647    68361     54 |  0.003 % |
429.65/430.02	c |    623195 |     180    15300   107100 | 2147483647    71087     54 |  0.003 % |
431.75/432.12	c |    626192 |     180    15300   107100 | 2147483647    74084     54 |  0.003 % |
434.25/434.63	c |    629489 |     180    15300   107100 | 2147483647    77381     54 |  0.003 % |
436.94/437.36	c |    633114 |     180    15300   107100 |    77892    70876     54 |  0.003 % |
439.74/440.17	c |    637102 |     180    15300   107100 |    77892    74864     54 |  0.003 % |
443.14/443.50	c |    641488 |     180    15300   107100 |    77762    68726     54 |  0.003 % |
446.44/446.86	c |    646311 |     180    15300   107100 |    77762    73549     55 |  0.003 % |
450.34/450.72	c |    651616 |     180    15300   107100 |    77238    67710     54 |  0.003 % |
454.44/454.85	c |    657452 |     180    15300   107100 |    77238    73546     54 |  0.003 % |
454.54/454.93	c |    657552 |     180    15300   107100 |    77238    73646     54 |  0.003 % |
454.64/455.06	c |    657662 |     180    15300   107100 |    77238    73756     54 |  0.003 % |
454.74/455.16	c |    657784 |     180    15300   107100 |    77238    73878     54 |  0.003 % |
454.84/455.27	c |    657917 |     180    15300   107100 |    77238    74011     54 |  0.003 % |
455.04/455.42	c |    658066 |     180    15300   107100 |    77238    74160     54 |  0.003 % |
455.14/455.57	c |    658226 |     180    15300   107100 |    77238    74320     54 |  0.003 % |
455.33/455.73	c |    658402 |     180    15300   107100 |    77238    74496     54 |  0.003 % |
455.53/455.91	c |    658599 |     180    15300   107100 |    77238    74693     54 |  0.003 % |
455.63/456.09	c |    658811 |     180    15300   107100 |    77238    74905     54 |  0.003 % |
455.83/456.27	c |    659045 |     180    15300   107100 |    77238    75139     54 |  0.003 % |
456.04/456.49	c |    659302 |     180    15300   107100 |    77238    75396     54 |  0.003 % |
456.33/456.74	c |    659583 |     180    15300   107100 |    77238    75677     54 |  0.003 % |
456.63/457.02	c |    659892 |     180    15300   107100 |    77238    75986     54 |  0.003 % |
456.93/457.39	c |    660231 |     180    15300   107100 |    76094    65339     54 |  0.003 % |
457.24/457.68	c |    660603 |     180    15300   107100 |    76094    65711     54 |  0.003 % |
457.63/458.01	c |    661013 |     180    15300   107100 |    76094    66121     54 |  0.003 % |
457.93/458.37	c |    661462 |     180    15300   107100 |    76094    66570     54 |  0.003 % |
458.34/458.77	c |    661958 |     180    15300   107100 |    76094    67066     54 |  0.003 % |
458.73/459.17	c |    662502 |     180    15300   107100 |    76094    67610     54 |  0.003 % |
459.23/459.65	c |    663098 |     180    15300   107100 |    76094    68206     54 |  0.003 % |
459.73/460.20	c |    663753 |     180    15300   107100 |    76094    68861     54 |  0.003 % |
460.33/460.78	c |    664474 |     180    15300   107100 |    76094    69582     54 |  0.003 % |
460.93/461.35	c |    665266 |     180    15300   107100 |    76094    70374     54 |  0.003 % |
461.63/462.01	c |    666137 |     180    15300   107100 |    76094    71245     54 |  0.003 % |
462.33/462.72	c |    667095 |     180    15300   107100 |    76094    72203     54 |  0.003 % |
463.23/463.62	c |    668148 |     180    15300   107100 |    76094    73256     54 |  0.003 % |
464.03/464.49	c |    669308 |     180    15300   107100 |    76094    74416     54 |  0.003 % |
465.13/465.50	c |    670583 |     180    15300   107100 |    75108    64662     54 |  0.003 % |
466.03/466.46	c |    671983 |     180    15300   107100 |    75108    66062     54 |  0.003 % |
467.13/467.54	c |    673523 |     180    15300   107100 |    75108    67602     54 |  0.003 % |
468.33/468.75	c |    675217 |     180    15300   107100 |    75108    69296     54 |  0.003 % |
469.83/470.20	c |    677081 |     180    15300   107100 |    75108    71160     54 |  0.003 % |
471.32/471.73	c |    679130 |     180    15300   107100 |    75108    73209     54 |  0.003 % |
473.02/473.41	c |    681383 |     180    15300   107100 |    74081    65099     54 |  0.003 % |
474.62/475.04	c |    683862 |     180    15300   107100 |    74081    67578     54 |  0.003 % |
476.42/476.86	c |    686588 |     180    15300   107100 |    74081    70304     54 |  0.003 % |
478.62/479.03	c |    689585 |     180    15300   107100 |    74081    73301     54 |  0.003 % |
480.92/481.38	c |    692883 |     180    15300   107100 |    73717    67189     54 |  0.003 % |
483.32/483.78	c |    696508 |     180    15300   107100 |    73717    70814     54 |  0.003 % |
486.42/486.83	c |    700495 |     180    15300   107100 |    64865    57067     54 |  0.003 % |
489.22/489.67	c |    704880 |     180    15300   107100 |    64865    61452     54 |  0.003 % |
492.62/493.06	c |    709703 |     180    15300   107100 |    64865    59660     54 |  0.003 % |
496.02/496.49	c |    715010 |     180    15300   107100 | 2147483647    64967     54 |  0.003 % |
500.71/501.13	c |    720847 |     180    15300   107100 |    69957    62530     54 |  0.003 % |
505.11/505.58	c |    727265 |     180    15300   107100 |    69957    68948     54 |  0.003 % |
505.21/505.67	c |    727366 |     180    15300   107100 |    69957    69049     54 |  0.003 % |
505.31/505.77	c |    727476 |     180    15300   107100 |    69957    69159     54 |  0.003 % |
505.41/505.87	c |    727598 |     180    15300   107100 |    69957    69281     54 |  0.003 % |
505.52/506.00	c |    727731 |     180    15300   107100 |    69957    69414     54 |  0.003 % |
505.71/506.14	c |    727877 |     180    15300   107100 |    69957    69560     54 |  0.003 % |
505.81/506.28	c |    728037 |     180    15300   107100 |    69957    69720     54 |  0.003 % |
506.01/506.48	c |    728214 |     180    15300   107100 |    69957    69897     54 |  0.003 % |
506.31/506.70	c |    728407 |     180    15300   107100 |    69957    61471     54 |  0.003 % |
506.41/506.88	c |    728619 |     180    15300   107100 |    69957    61683     54 |  0.003 % |
506.62/507.06	c |    728852 |     180    15300   107100 |    69957    61916     54 |  0.003 % |
506.81/507.25	c |    729108 |     180    15300   107100 |    69957    62172     54 |  0.003 % |
507.01/507.45	c |    729392 |     180    15300   107100 |    69957    62456     54 |  0.003 % |
507.21/507.66	c |    729701 |     180    15300   107100 |    69957    62765     54 |  0.003 % |
507.51/507.90	c |    730040 |     180    15300   107100 |    63064    63104     54 |  0.003 % |
507.82/508.24	c |    730412 |     180    15300   107100 |    63064    55715     54 |  0.003 % |
508.11/508.53	c |    730823 |     180    15300   107100 |    63064    56126     54 |  0.003 % |
508.41/508.83	c |    731272 |     180    15300   107100 |    63064    56575     54 |  0.003 % |
508.71/509.15	c |    731766 |     180    15300   107100 |    63064    57069     54 |  0.003 % |
509.11/509.53	c |    732308 |     180    15300   107100 |    63064    57611     54 |  0.003 % |
509.51/509.91	c |    732906 |     180    15300   107100 |    63064    58209     54 |  0.003 % |
509.91/510.35	c |    733561 |     180    15300   107100 |    63064    58864     54 |  0.003 % |
510.41/510.89	c |    734281 |     180    15300   107100 |    63064    59584     54 |  0.003 % |
511.01/511.42	c |    735076 |     180    15300   107100 |    63064    60379     54 |  0.003 % |
511.61/512.06	c |    735948 |     180    15300   107100 |    63064    61251     54 |  0.003 % |
512.31/512.72	c |    736908 |     180    15300   107100 |    63064    62211     54 |  0.003 % |
513.11/513.50	c |    737961 |     180    15300   107100 |    63064    56758     54 |  0.003 % |
513.81/514.20	c |    739122 |     180    15300   107100 |    63064    57919     54 |  0.003 % |
514.61/515.05	c |    740396 |     180    15300   107100 | 2147483647    59193     54 |  0.003 % |
515.51/515.91	c |    741796 |     180    15300   107100 | 2147483647    60593     54 |  0.003 % |
516.41/516.86	c |    743336 |     180    15300   107100 | 2147483647    62133     54 |  0.003 % |
517.41/517.85	c |    745032 |     180    15300   107100 | 2147483647    63829     54 |  0.003 % |
518.91/519.33	c |    746896 |     180    15300   107100 | 2147483647    65693     54 |  0.003 % |
520.30/520.74	c |    748947 |     180    15300   107100 | 2147483647    67744     54 |  0.003 % |
521.90/522.35	c |    751202 |     180    15300   107100 |    68799    63032     54 |  0.003 % |
523.50/523.96	c |    753680 |     180    15300   107100 |    68799    65510     54 |  0.003 % |
525.20/525.62	c |    756408 |     180    15300   107100 |    68799    68238     54 |  0.003 % |
527.20/527.61	c |    759405 |     180    15300   107100 |    68799    64170     54 |  0.003 % |
529.51/529.91	c |    762701 |     180    15300   107100 | 2147483647    67466     54 |  0.003 % |
532.01/532.43	c |    766326 |     180    15300   107100 | 2147483647    71091     54 |  0.003 % |
535.11/535.57	c |    770315 |     180    15300   107100 |    74768    65586     54 |  0.003 % |
538.21/538.63	c |    774701 |     180    15300   107100 |    74768    69972     54 |  0.003 % |
541.61/542.01	c |    779526 |     180    15300   107100 |    74768    74797     54 |  0.003 % |
545.11/545.57	c |    784831 |     180    15300   107100 |    65755    62164     54 |  0.003 % |
549.00/549.41	c |    790666 |     180    15300   107100 |    60440    54933     54 |  0.003 % |
552.70/553.13	c |    797084 |     180    15300   107100 |    60440    55299     54 |  0.003 % |
557.21/557.66	c |    804143 |     180    15300   107100 | 2147483647    62358     54 |  0.003 % |
557.31/557.74	c |    804243 |     180    15300   107100 | 2147483647    62458     54 |  0.003 % |
557.40/557.83	c |    804355 |     180    15300   107100 | 2147483647    62570     54 |  0.003 % |
557.50/557.91	c |    804476 |     180    15300   107100 | 2147483647    62691     54 |  0.003 % |
557.60/558.03	c |    804609 |     180    15300   107100 | 2147483647    62824     54 |  0.003 % |
557.70/558.14	c |    804755 |     180    15300   107100 | 2147483647    62970     54 |  0.003 % |
557.80/558.28	c |    804917 |     180    15300   107100 | 2147483647    63132     54 |  0.003 % |
558.00/558.41	c |    805094 |     180    15300   107100 | 2147483647    63309     54 |  0.003 % |
558.10/558.58	c |    805289 |     180    15300   107100 | 2147483647    63504     54 |  0.003 % |
558.31/558.73	c |    805501 |     180    15300   107100 | 2147483647    63716     54 |  0.003 % |
558.50/558.95	c |    805734 |     180    15300   107100 | 2147483647    63949     54 |  0.003 % |
558.70/559.15	c |    805990 |     180    15300   107100 | 2147483647    64205     54 |  0.003 % |
558.90/559.38	c |    806272 |     180    15300   107100 | 2147483647    64487     54 |  0.003 % |
559.20/559.62	c |    806581 |     180    15300   107100 | 2147483647    64796     54 |  0.003 % |
559.40/559.90	c |    806921 |     180    15300   107100 | 2147483647    65136     54 |  0.003 % |
559.70/560.18	c |    807294 |     180    15300   107100 | 2147483647    65509     54 |  0.003 % |
560.00/560.48	c |    807703 |     180    15300   107100 | 2147483647    65918     54 |  0.003 % |
560.40/560.84	c |    808152 |     180    15300   107100 | 2147483647    66367     54 |  0.003 % |
560.70/561.19	c |    808646 |     180    15300   107100 | 2147483647    66861     54 |  0.003 % |
561.10/561.55	c |    809188 |     180    15300   107100 | 2147483647    67403     54 |  0.003 % |
561.50/562.00	c |    809784 |     180    15300   107100 | 2147483647    67999     54 |  0.003 % |
562.10/562.57	c |    810440 |     180    15300   107100 |    68217    61399     54 |  0.003 % |
562.60/563.03	c |    811161 |     180    15300   107100 |    68217    62120     54 |  0.003 % |
563.10/563.51	c |    811953 |     180    15300   107100 |    68217    62912     54 |  0.003 % |
563.60/564.04	c |    812824 |     180    15300   107100 |    68217    63783     54 |  0.003 % |
564.20/564.67	c |    813783 |     180    15300   107100 |    68217    64742     54 |  0.003 % |
564.90/565.34	c |    814836 |     180    15300   107100 |    68217    65795     54 |  0.003 % |
565.60/566.05	c |    815995 |     180    15300   107100 |    68217    66954     54 |  0.003 % |
566.40/566.87	c |    817268 |     180    15300   107100 |    68217    68227     54 |  0.003 % |
567.30/567.80	c |    818668 |     180    15300   107100 |    68217    62805     54 |  0.003 % |
568.30/568.76	c |    820209 |     180    15300   107100 | 2147483647    64346     54 |  0.003 % |
569.40/569.83	c |    821905 |     180    15300   107100 | 2147483647    66042     54 |  0.003 % |
570.50/570.94	c |    823768 |     180    15300   107100 | 2147483647    67905     54 |  0.003 % |
571.80/572.24	c |    825819 |     180    15300   107100 | 2147483647    69956     54 |  0.003 % |
573.19/573.66	c |    828073 |     180    15300   107100 | 2147483647    72210     54 |  0.003 % |
575.39/575.80	c |    830551 |     180    15300   107100 |    74137    65547     54 |  0.003 % |
577.30/577.76	c |    833279 |     180    15300   107100 |    74137    68275     54 |  0.003 % |
579.59/580.03	c |    836277 |     180    15300   107100 |    74137    71273     54 |  0.003 % |
582.09/582.54	c |    839574 |     180    15300   107100 |    74137    63867     54 |  0.003 % |
584.49/584.94	c |    843200 |     180    15300   107100 |    64293    58285     54 |  0.003 % |
587.09/587.52	c |    847187 |     180    15300   107100 |    64293    62272     54 |  0.003 % |
589.99/590.50	c |    851573 |     180    15300   107100 |    58187    53584     54 |  0.003 % |
592.89/593.38	c |    856399 |     180    15300   107100 |    58187    52584     54 |  0.003 % |
596.19/596.62	c |    861704 |     180    15300   107100 | 2147483647    57889     54 |  0.003 % |
599.88/600.32	c |    867540 |     180    15300   107100 | 2147483647    63725     54 |  0.003 % |
604.18/604.66	c |    873958 |     180    15300   107100 | 2147483647    70143     54 |  0.003 % |
609.28/609.70	c |    881018 |     180    15300   107100 |    76186    67846     54 |  0.003 % |
615.28/615.73	c |    888783 |     180    15300   107100 |    76186    75611     54 |  0.003 % |
615.38/615.82	c |    888884 |     180    15300   107100 |    76186    75712     54 |  0.003 % |
615.48/615.91	c |    888994 |     180    15300   107100 |    76186    75822     54 |  0.003 % |
615.58/616.02	c |    889117 |     180    15300   107100 |    76186    75945     54 |  0.003 % |
615.68/616.14	c |    889251 |     180    15300   107100 |    76186    76079     54 |  0.003 % |
615.78/616.26	c |    889397 |     180    15300   107100 |    76186    76225     54 |  0.003 % |
615.98/616.46	c |    889557 |     180    15300   107100 |    76186    65099     54 |  0.003 % |
616.18/616.62	c |    889735 |     180    15300   107100 |    76186    65277     54 |  0.003 % |
616.28/616.78	c |    889930 |     180    15300   107100 |    76186    65472     54 |  0.003 % |
616.48/616.99	c |    890142 |     180    15300   107100 |    65543    56030     54 |  0.003 % |
616.68/617.16	c |    890376 |     180    15300   107100 |    65543    56264     54 |  0.003 % |
616.88/617.34	c |    890632 |     180    15300   107100 |    65543    56520     54 |  0.003 % |
617.08/617.52	c |    890914 |     180    15300   107100 |    65543    56802     54 |  0.003 % |
617.28/617.70	c |    891223 |     180    15300   107100 |    65543    57111     54 |  0.003 % |
617.38/617.90	c |    891567 |     180    15300   107100 |    65543    57455     54 |  0.003 % |
617.78/618.23	c |    891939 |     180    15300   107100 |    65543    57827     54 |  0.003 % |
618.08/618.52	c |    892349 |     180    15300   107100 |    65543    58237     54 |  0.003 % |
618.38/618.87	c |    892798 |     180    15300   107100 |    65543    58686     54 |  0.003 % |
618.78/619.25	c |    893293 |     180    15300   107100 |    65543    59181     54 |  0.003 % |
619.18/619.65	c |    893835 |     180    15300   107100 |    65543    59723     54 |  0.003 % |
619.58/620.06	c |    894432 |     180    15300   107100 |    65543    60320     54 |  0.003 % |
619.98/620.46	c |    895089 |     180    15300   107100 |    65543    60977     54 |  0.003 % |
620.58/621.04	c |    895809 |     180    15300   107100 |    65543    61697     54 |  0.003 % |
621.17/621.67	c |    896601 |     180    15300   107100 |    65543    62489     54 |  0.003 % |
621.77/622.27	c |    897472 |     180    15300   107100 |    65543    63360     54 |  0.003 % |
622.47/622.91	c |    898430 |     180    15300   107100 |    65543    64318     54 |  0.003 % |
623.18/623.62	c |    899483 |     180    15300   107100 |    65543    65371     54 |  0.003 % |
624.07/624.50	c |    900642 |     180    15300   107100 |    58193    52020     53 |  0.003 % |
624.67/625.16	c |    901915 |     180    15300   107100 |    58193    53293     54 |  0.003 % |
625.38/625.89	c |    903315 |     180    15300   107100 |    58193    54693     53 |  0.003 % |
626.27/626.79	c |    904855 |     180    15300   107100 |    58193    56233     53 |  0.003 % |
627.27/627.72	c |    906549 |     180    15300   107100 |    58193    57927     53 |  0.003 % |
628.47/629.00	c |    908414 |     180    15300   107100 |    58193    53964     54 |  0.003 % |
629.78/630.25	c |    910463 |     180    15300   107100 | 2147483647    56013     54 |  0.003 % |
631.17/631.63	c |    912716 |     180    15300   107100 | 2147483647    58266     54 |  0.003 % |
632.57/633.04	c |    915198 |     180    15300   107100 | 2147483647    60748     54 |  0.003 % |
634.27/634.78	c |    917923 |     180    15300   107100 | 2147483647    63473     54 |  0.003 % |
636.27/636.71	c |    920920 |     180    15300   107100 | 2147483647    66470     54 |  0.003 % |
638.37/638.89	c |    924216 |     180    15300   107100 | 2147483647    69766     54 |  0.003 % |
640.87/641.38	c |    927843 |     180    15300   107100 | 2147483647    73393     54 |  0.003 % |
643.87/644.39	c |    931830 |     180    15300   107100 |    75551    68967     54 |  0.003 % |
647.17/647.69	c |    936215 |     180    15300   107100 |    75551    73352     54 |  0.003 % |
650.97/651.46	c |    941039 |     180    15300   107100 |    66890    59080     54 |  0.003 % |
654.76/655.25	c |    946345 |     180    15300   107100 |    66890    64386     54 |  0.003 % |
658.66/659.11	c |    952180 |     180    15300   107100 |    60071    55441     54 |  0.003 % |
662.36/662.80	c |    958598 |     180    15300   107100 |    60071    55844     54 |  0.003 % |
666.46/666.93	c |    965657 |     180    15300   107100 | 2147483647    62903     54 |  0.003 % |
671.56/672.01	c |    973423 |     180    15300   107100 | 2147483647    70669     54 |  0.003 % |
677.96/678.45	c |    981963 |     180    15300   107100 |    77246    69352     55 |  0.003 % |
678.06/678.53	c |    982063 |     180    15300   107100 |    77246    69452     55 |  0.003 % |
678.16/678.65	c |    982174 |     180    15300   107100 |    77246    69563     55 |  0.003 % |
678.26/678.75	c |    982295 |     180    15300   107100 |    77246    69684     55 |  0.003 % |
678.36/678.88	c |    982430 |     180    15300   107100 |    77246    69819     55 |  0.003 % |
678.56/679.04	c |    982576 |     180    15300   107100 |    77246    69965     55 |  0.003 % |
678.76/679.23	c |    982736 |     180    15300   107100 |    77246    70125     55 |  0.003 % |
678.96/679.40	c |    982912 |     180    15300   107100 |    77246    70301     54 |  0.003 % |
679.06/679.59	c |    983105 |     180    15300   107100 |    77246    70494     54 |  0.003 % |
679.26/679.77	c |    983318 |     180    15300   107100 |    77246    70707     54 |  0.003 % |
679.46/679.95	c |    983553 |     180    15300   107100 |    77246    70942     54 |  0.003 % |
679.66/680.16	c |    983809 |     180    15300   107100 |    77246    71198     54 |  0.003 % |
679.86/680.39	c |    984092 |     180    15300   107100 |    77246    71481     54 |  0.003 % |
680.16/680.64	c |    984402 |     180    15300   107100 |    77246    71791     54 |  0.003 % |
680.46/680.91	c |    984744 |     180    15300   107100 |    77246    72133     54 |  0.003 % |
680.76/681.21	c |    985117 |     180    15300   107100 |    77246    72506     54 |  0.003 % |
681.06/681.53	c |    985527 |     180    15300   107100 |    77246    72916     54 |  0.003 % |
681.46/681.93	c |    985979 |     180    15300   107100 |    77246    73368     54 |  0.003 % |
681.85/682.35	c |    986473 |     180    15300   107100 |    77246    73862     54 |  0.003 % |
682.35/682.84	c |    987018 |     180    15300   107100 |    77246    74407     54 |  0.003 % |
682.85/683.40	c |    987614 |     180    15300   107100 |    77246    75003     54 |  0.003 % |
683.45/683.97	c |    988269 |     180    15300   107100 |    77246    75658     54 |  0.003 % |
684.05/684.56	c |    988991 |     180    15300   107100 |    77246    76380     54 |  0.003 % |
684.65/685.19	c |    989783 |     180    15300   107100 |    77246    77172     54 |  0.003 % |
685.35/685.88	c |    990654 |     180    15300   107100 |    65301    55807     54 |  0.003 % |
685.96/686.45	c |    991613 |     180    15300   107100 |    65301    56766     54 |  0.003 % |
686.55/687.03	c |    992670 |     180    15300   107100 |    65301    57823     54 |  0.003 % |
687.25/687.77	c |    993829 |     180    15300   107100 |    65301    58982     54 |  0.003 % |
688.16/688.60	c |    995102 |     180    15300   107100 |    65301    60255     54 |  0.003 % |
689.05/689.57	c |    996505 |     180    15300   107100 |    65301    61658     54 |  0.003 % |
690.35/690.82	c |    998045 |     180    15300   107100 |    65301    63198     54 |  0.003 % |
691.55/692.08	c |    999741 |     180    15300   107100 |    65301    64894     54 |  0.003 % |
692.95/693.49	c |   1001607 |     180    15300   107100 |    65158    59456     54 |  0.003 % |
694.35/694.82	c |   1003656 |     180    15300   107100 |    65158    61505     54 |  0.003 % |
695.85/696.31	c |   1005910 |     180    15300   107100 |    65158    63759     54 |  0.003 % |
697.45/697.99	c |   1008388 |     180    15300   107100 |    65158    59714     54 |  0.003 % |
699.25/699.73	c |   1011115 |     180    15300   107100 | 2147483647    62441     54 |  0.003 % |
701.15/701.62	c |   1014112 |     180    15300   107100 | 2147483647    65438     54 |  0.003 % |
703.25/703.76	c |   1017408 |     180    15300   107100 | 2147483647    68734     54 |  0.003 % |
705.84/706.39	c |   1021035 |     180    15300   107100 | 2147483647    72361     54 |  0.003 % |
709.24/709.70	c |   1025023 |     180    15300   107100 | 2147483647    76349     54 |  0.003 % |
712.94/713.45	c |   1029409 |     180    15300   107100 | 2147483647    80735     54 |  0.003 % |
716.64/717.11	c |   1034232 |     180    15300   107100 |    81328    72403     54 |  0.003 % |
720.84/721.34	c |   1039537 |     180    15300   107100 |    81328    77708     54 |  0.003 % |
725.34/725.90	c |   1045372 |     180    15300   107100 |    78172    71023     54 |  0.003 % |
730.03/730.56	c |   1051790 |     180    15300   107100 |    75654    66229     54 |  0.003 % |
734.93/735.41	c |   1058850 |     180    15300   107100 |    75654    73289     54 |  0.003 % |
740.43/740.95	c |   1066615 |     180    15300   107100 |    74439    71476     54 |  0.003 % |
746.23/746.75	c |   1075155 |     180    15300   107100 |    66499    64267     54 |  0.003 % |
752.53/753.04	c |   1084549 |     180    15300   107100 | 2147483647    67004     54 |  0.003 % |
752.63/753.13	c |   1084649 |     180    15300   107100 | 2147483647    67104     54 |  0.003 % |
752.73/753.22	c |   1084759 |     180    15300   107100 | 2147483647    67214     54 |  0.003 % |
752.83/753.32	c |   1084881 |     180    15300   107100 | 2147483647    67336     54 |  0.003 % |
752.93/753.43	c |   1085016 |     180    15300   107100 | 2147483647    67471     54 |  0.003 % |
753.03/753.56	c |   1085163 |     180    15300   107100 | 2147483647    67618     54 |  0.003 % |
753.13/753.68	c |   1085323 |     180    15300   107100 | 2147483647    67778     54 |  0.003 % |
753.33/753.83	c |   1085499 |     180    15300   107100 | 2147483647    67954     54 |  0.003 % |
753.53/754.00	c |   1085692 |     180    15300   107100 | 2147483647    68147     54 |  0.003 % |
753.63/754.18	c |   1085904 |     180    15300   107100 | 2147483647    68359     54 |  0.003 % |
753.93/754.40	c |   1086138 |     180    15300   107100 | 2147483647    68593     54 |  0.003 % |
754.13/754.64	c |   1086394 |     180    15300   107100 | 2147483647    68849     54 |  0.003 % |
754.33/754.87	c |   1086675 |     180    15300   107100 | 2147483647    69130     54 |  0.003 % |
754.63/755.11	c |   1086985 |     180    15300   107100 | 2147483647    69440     54 |  0.003 % |
754.83/755.36	c |   1087326 |     180    15300   107100 | 2147483647    69781     54 |  0.003 % |
755.13/755.66	c |   1087699 |     180    15300   107100 | 2147483647    70154     54 |  0.003 % |
755.53/756.01	c |   1088108 |     180    15300   107100 | 2147483647    70563     54 |  0.003 % |
755.93/756.40	c |   1088557 |     180    15300   107100 | 2147483647    71012     54 |  0.003 % |
756.33/756.89	c |   1089052 |     180    15300   107100 | 2147483647    71507     54 |  0.003 % |
756.83/757.39	c |   1089594 |     180    15300   107100 | 2147483647    72049     54 |  0.003 % |
757.43/757.99	c |   1090190 |     180    15300   107100 |    72456    63329     54 |  0.003 % |
757.93/758.46	c |   1090847 |     180    15300   107100 |    72456    63986     54 |  0.003 % |
758.33/758.88	c |   1091568 |     180    15300   107100 |    72456    64707     54 |  0.003 % |
758.93/759.42	c |   1092363 |     180    15300   107100 |    72456    65502     54 |  0.003 % |
759.53/760.02	c |   1093236 |     180    15300   107100 |    72456    66375     54 |  0.003 % |
760.22/760.74	c |   1094194 |     180    15300   107100 |    72456    67333     54 |  0.003 % |
760.92/761.46	c |   1095248 |     180    15300   107100 |    72456    68387     54 |  0.003 % |
761.73/762.26	c |   1096406 |     180    15300   107100 |    72456    69545     54 |  0.003 % |
762.62/763.19	c |   1097679 |     180    15300   107100 |    72456    70818     54 |  0.003 % |
763.82/764.35	c |   1099080 |     180    15300   107100 |    72456    72219     54 |  0.003 % |
765.03/765.55	c |   1100621 |     180    15300   107100 |    63935    56432     54 |  0.003 % |
766.13/766.64	c |   1102317 |     180    15300   107100 |    63935    58128     54 |  0.003 % |
767.33/767.82	c |   1104181 |     180    15300   107100 |    63935    59992     54 |  0.003 % |
768.52/769.03	c |   1106231 |     180    15300   107100 |    63935    62042     54 |  0.003 % |
769.92/770.43	c |   1108485 |     180    15300   107100 |    63935    57895     54 |  0.003 % |
771.32/771.86	c |   1110963 |     180    15300   107100 | 2147483647    60373     54 |  0.003 % |
773.13/773.63	c |   1113689 |     180    15300   107100 | 2147483647    63099     54 |  0.003 % |
775.13/775.68	c |   1116687 |     180    15300   107100 | 2147483647    66097     54 |  0.003 % |
777.43/777.90	c |   1119983 |     180    15300   107100 | 2147483647    69393     54 |  0.003 % |
779.83/780.32	c |   1123609 |     180    15300   107100 |    69410    65787     54 |  0.003 % |
782.53/783.01	c |   1127596 |     180    15300   107100 |    69410    62267     54 |  0.003 % |
785.13/785.62	c |   1131981 |     180    15300   107100 |    64671    59680     54 |  0.003 % |
787.92/788.47	c |   1136806 |     180    15300   107100 |    64671    64505     54 |  0.003 % |
791.02/791.57	c |   1142111 |     180    15300   107100 | 2147483647    63335     54 |  0.003 % |
795.02/795.57	c |   1147946 |     180    15300   107100 | 2147483647    69170     54 |  0.003 % |
799.42/799.99	c |   1154364 |     180    15300   107100 |    71225    68067     54 |  0.003 % |
804.12/804.66	c |   1161425 |     180    15300   107100 |    66061    60595     55 |  0.003 % |
809.02/809.55	c |   1169189 |     180    15300   107100 |    66061    61745     55 |  0.003 % |
814.42/814.96	c |   1177730 |     180    15300   107100 | 2147483647    70286     55 |  0.003 % |
821.61/822.15	c |   1187126 |     180    15300   107100 | 2147483647    79682     55 |  0.003 % |
829.51/830.01	c |   1197461 |     180    15300   107100 |    82557    78149     54 |  0.003 % |
829.51/830.09	c |   1197563 |     180    15300   107100 |    82557    78251     54 |  0.003 % |
829.71/830.22	c |   1197673 |     180    15300   107100 |    82557    78361     54 |  0.003 % |
829.81/830.35	c |   1197794 |     180    15300   107100 |    82557    78482     54 |  0.003 % |
829.91/830.48	c |   1197927 |     180    15300   107100 |    82557    78615     54 |  0.003 % |
830.11/830.62	c |   1198074 |     180    15300   107100 |    82557    78762     54 |  0.003 % |
830.21/830.78	c |   1198237 |     180    15300   107100 |    82557    78925     54 |  0.003 % |
830.41/830.93	c |   1198413 |     180    15300   107100 |    82557    79101     54 |  0.003 % |
830.61/831.10	c |   1198606 |     180    15300   107100 |    82557    79294     54 |  0.003 % |
830.71/831.27	c |   1198820 |     180    15300   107100 |    82557    79508     54 |  0.003 % |
830.91/831.48	c |   1199053 |     180    15300   107100 |    82557    79741     54 |  0.003 % |
831.21/831.75	c |   1199309 |     180    15300   107100 |    82557    79997     54 |  0.003 % |
831.41/831.98	c |   1199590 |     180    15300   107100 |    82557    80278     54 |  0.003 % |
831.81/832.31	c |   1199900 |     180    15300   107100 |    82557    80588     54 |  0.003 % |
832.21/832.71	c |   1200240 |     180    15300   107100 |    80688    67993     54 |  0.003 % |
832.41/832.99	c |   1200615 |     180    15300   107100 |    80688    68368     54 |  0.003 % |
832.71/833.28	c |   1201025 |     180    15300   107100 |    80688    68778     54 |  0.003 % |
833.11/833.65	c |   1201474 |     180    15300   107100 |    80688    69227     54 |  0.003 % |
833.51/834.01	c |   1201969 |     180    15300   107100 |    80688    69722     54 |  0.003 % |
833.91/834.44	c |   1202511 |     180    15300   107100 |    80688    70264     54 |  0.003 % |
834.41/834.95	c |   1203107 |     180    15300   107100 |    80688    70860     54 |  0.003 % |
834.91/835.42	c |   1203764 |     180    15300   107100 |    80688    71517     54 |  0.003 % |
835.41/835.98	c |   1204484 |     180    15300   107100 |    80688    72237     54 |  0.003 % |
836.01/836.56	c |   1205276 |     180    15300   107100 |    80688    73029     54 |  0.003 % |
836.71/837.24	c |   1206147 |     180    15300   107100 |    80688    73900     54 |  0.003 % |
837.51/838.00	c |   1207105 |     180    15300   107100 |    80688    74858     54 |  0.003 % |
838.21/838.77	c |   1208158 |     180    15300   107100 |    80688    75911     54 |  0.003 % |
839.11/839.63	c |   1209316 |     180    15300   107100 |    80688    77069     54 |  0.003 % |
840.11/840.66	c |   1210589 |     180    15300   107100 |    77753    66433     54 |  0.003 % |
841.11/841.64	c |   1211989 |     180    15300   107100 |    77753    67833     54 |  0.003 % |
842.11/842.64	c |   1213529 |     180    15300   107100 |    77753    69373     54 |  0.003 % |
843.21/843.76	c |   1215223 |     180    15300   107100 |    77753    71067     54 |  0.003 % |
844.60/845.17	c |   1217087 |     180    15300   107100 |    77753    72931     54 |  0.003 % |
846.20/846.73	c |   1219136 |     180    15300   107100 |    77753    74980     54 |  0.003 % |
847.80/848.33	c |   1221391 |     180    15300   107100 |    75844    66717     54 |  0.003 % |
849.40/849.91	c |   1223871 |     180    15300   107100 |    75844    69197     54 |  0.003 % |
851.50/852.06	c |   1226597 |     180    15300   107100 |    75844    71923     54 |  0.003 % |
854.00/854.59	c |   1229597 |     180    15300   107100 |    75844    74923     54 |  0.003 % |
856.40/856.99	c |   1232893 |     180    15300   107100 |    75328    67385     54 |  0.003 % |
859.10/859.69	c |   1236520 |     180    15300   107100 |    75328    71012     54 |  0.003 % |
862.10/862.69	c |   1240507 |     180    15300   107100 |    74492    64720     54 |  0.003 % |
865.20/865.71	c |   1244892 |     180    15300   107100 |    74492    69105     54 |  0.003 % |
868.60/869.13	c |   1249715 |     180    15300   107100 |    74492    73928     54 |  0.003 % |
872.29/872.87	c |   1255020 |     180    15300   107100 |    74213    69303     54 |  0.003 % |
876.99/877.58	c |   1260855 |     180    15300   107100 |    74283    64660     54 |  0.003 % |
881.69/882.21	c |   1267273 |     180    15300   107100 |    74283    71078     54 |  0.003 % |
886.89/887.40	c |   1274332 |     180    15300   107100 |    73807    68488     54 |  0.003 % |
892.99/893.57	c |   1282096 |     180    15300   107100 |    64956    58928     54 |  0.003 % |
899.08/899.62	c |   1290638 |     180    15300   107100 |    59646    53826     54 |  0.003 % |
904.88/905.41	c |   1300033 |     180    15300   107100 | 2147483647    57248     55 |  0.003 % |
911.78/912.32	c |   1310366 |     180    15300   107100 | 2147483647    67581     55 |  0.003 % |
920.68/921.21	c |   1321733 |     180    15300   107100 |    77216    67973     55 |  0.003 % |
920.68/921.29	c |   1321834 |     180    15300   107100 |    77216    68074     55 |  0.003 % |
920.78/921.38	c |   1321944 |     180    15300   107100 |    77216    68184     55 |  0.003 % |
920.88/921.47	c |   1322065 |     180    15300   107100 |    77216    68305     55 |  0.003 % |
921.08/921.61	c |   1322198 |     180    15300   107100 |    77216    68438     55 |  0.003 % |
921.18/921.73	c |   1322345 |     180    15300   107100 |    77216    68585     55 |  0.003 % |
921.28/921.86	c |   1322505 |     180    15300   107100 |    77216    68745     55 |  0.003 % |
921.48/922.04	c |   1322681 |     180    15300   107100 |    77216    68921     55 |  0.003 % |
921.68/922.22	c |   1322875 |     180    15300   107100 |    77216    69115     55 |  0.003 % |
921.88/922.40	c |   1323088 |     180    15300   107100 |    77216    69328     55 |  0.003 % |
922.08/922.62	c |   1323322 |     180    15300   107100 |    77216    69562     55 |  0.003 % |
922.28/922.81	c |   1323579 |     180    15300   107100 |    77216    69819     55 |  0.003 % |
922.48/923.09	c |   1323862 |     180    15300   107100 |    77216    70102     55 |  0.003 % |
922.77/923.35	c |   1324172 |     180    15300   107100 |    77216    70412     55 |  0.003 % |
923.07/923.64	c |   1324511 |     180    15300   107100 |    77216    70751     55 |  0.003 % |
923.38/923.98	c |   1324883 |     180    15300   107100 |    77216    71123     55 |  0.003 % |
923.77/924.33	c |   1325292 |     180    15300   107100 |    77216    71532     55 |  0.003 % |
924.17/924.74	c |   1325743 |     180    15300   107100 |    77216    71983     55 |  0.003 % |
924.58/925.18	c |   1326236 |     180    15300   107100 |    77216    72476     55 |  0.003 % |
925.07/925.63	c |   1326778 |     180    15300   107100 |    77216    73018     55 |  0.003 % |
925.47/926.09	c |   1327376 |     180    15300   107100 |    77216    73616     55 |  0.003 % |
926.07/926.68	c |   1328031 |     180    15300   107100 |    77216    74271     55 |  0.003 % |
926.87/927.42	c |   1328753 |     180    15300   107100 |    77216    74993     55 |  0.003 % |
927.57/928.19	c |   1329545 |     180    15300   107100 |    77216    75785     55 |  0.003 % |
928.67/929.21	c |   1330417 |     180    15300   107100 |    76240    63823     54 |  0.003 % |
929.37/929.96	c |   1331375 |     180    15300   107100 |    76240    64781     54 |  0.003 % |
930.07/930.68	c |   1332429 |     180    15300   107100 |    76240    65835     54 |  0.003 % |
930.87/931.48	c |   1333587 |     180    15300   107100 |    76240    66993     54 |  0.003 % |
932.07/932.60	c |   1334861 |     180    15300   107100 |    76240    68267     54 |  0.003 % |
933.17/933.70	c |   1336263 |     180    15300   107100 |    76240    69669     54 |  0.003 % |
934.27/934.81	c |   1337803 |     180    15300   107100 |    76240    71209     54 |  0.003 % |
935.57/936.14	c |   1339498 |     180    15300   107100 |    76240    72904     54 |  0.003 % |
937.07/937.60	c |   1341361 |     180    15300   107100 |    73406    63627     54 |  0.003 % |
938.37/938.96	c |   1343410 |     180    15300   107100 |    73406    65676     54 |  0.003 % |
939.97/940.55	c |   1345663 |     180    15300   107100 |    73406    67929     54 |  0.003 % |
941.66/942.21	c |   1348141 |     180    15300   107100 |    73406    70407     54 |  0.003 % |
943.46/944.05	c |   1350866 |     180    15300   107100 |    72266    64130     54 |  0.003 % |
945.26/945.81	c |   1353864 |     180    15300   107100 |    72266    67128     54 |  0.003 % |
947.46/948.00	c |   1357161 |     180    15300   107100 |    72266    70425     54 |  0.003 % |
950.06/950.60	c |   1360786 |     180    15300   107100 |    65124    58665     54 |  0.003 % |
952.46/953.02	c |   1364773 |     180    15300   107100 |    65124    62652     54 |  0.003 % |
955.36/955.99	c |   1369159 |     180    15300   107100 |    65124    60517     54 |  0.003 % |
958.46/959.06	c |   1373983 |     180    15300   107100 | 2147483647    65341     54 |  0.003 % |
962.26/962.81	c |   1379289 |     180    15300   107100 | 2147483647    70647     54 |  0.003 % |
966.86/967.42	c |   1385125 |     180    15300   107100 | 2147483647    76483     54 |  0.003 % |
972.65/973.22	c |   1391544 |     180    15300   107100 |    81358    70478     54 |  0.003 % |
977.85/978.45	c |   1398603 |     180    15300   107100 |    81358    77537     54 |  0.003 % |
983.65/984.22	c |   1406367 |     180    15300   107100 |    78934    72480     54 |  0.003 % |
989.55/990.18	c |   1414909 |     180    15300   107100 |    76113    69397     55 |  0.003 % |
996.65/997.22	c |   1424303 |     180    15300   107100 |    74488    68740     55 |  0.003 % |
1004.24/1004.89	c |   1434636 |     180    15300   107100 |    74437    69204     54 |  0.003 % |
1012.14/1012.70	c |   1446003 |     180    15300   107100 |    65433    63459     55 |  0.003 % |
1020.34/1020.96	c |   1458505 |     180    15300   107100 | 2147483647    69410     55 |  0.003 % |
1020.44/1021.04	c |   1458606 |     180    15300   107100 | 2147483647    69511     55 |  0.003 % |
1020.54/1021.14	c |   1458717 |     180    15300   107100 | 2147483647    69622     55 |  0.003 % |
1020.64/1021.24	c |   1458838 |     180    15300   107100 | 2147483647    69743     55 |  0.003 % |
1020.74/1021.36	c |   1458976 |     180    15300   107100 | 2147483647    69881     55 |  0.003 % |
1020.84/1021.49	c |   1459123 |     180    15300   107100 | 2147483647    70028     55 |  0.003 % |
1021.04/1021.63	c |   1459284 |     180    15300   107100 | 2147483647    70189     55 |  0.003 % |
1021.14/1021.79	c |   1459462 |     180    15300   107100 | 2147483647    70367     55 |  0.003 % |
1021.34/1021.96	c |   1459656 |     180    15300   107100 | 2147483647    70561     55 |  0.003 % |
1021.54/1022.14	c |   1459869 |     180    15300   107100 | 2147483647    70774     55 |  0.003 % |
1021.84/1022.40	c |   1460102 |     180    15300   107100 |    70906    62495     55 |  0.003 % |
1021.94/1022.58	c |   1460360 |     180    15300   107100 |    70906    62753     55 |  0.003 % |
1022.14/1022.76	c |   1460642 |     180    15300   107100 |    70906    63035     55 |  0.003 % |
1022.34/1022.97	c |   1460952 |     180    15300   107100 |    70906    63345     55 |  0.003 % |
1022.64/1023.23	c |   1461291 |     180    15300   107100 |    70906    63684     55 |  0.003 % |
1022.93/1023.50	c |   1461664 |     180    15300   107100 |    70906    64057     55 |  0.003 % |
1023.23/1023.81	c |   1462073 |     180    15300   107100 |    70906    64466     55 |  0.003 % |
1023.63/1024.20	c |   1462522 |     180    15300   107100 |    70906    64915     55 |  0.003 % |
1023.93/1024.59	c |   1463015 |     180    15300   107100 |    70906    65408     55 |  0.003 % |
1024.43/1025.02	c |   1463557 |     180    15300   107100 |    70906    65950     55 |  0.003 % |
1024.93/1025.52	c |   1464154 |     180    15300   107100 |    70906    66547     55 |  0.003 % |
1025.43/1026.08	c |   1464809 |     180    15300   107100 |    70906    67202     55 |  0.003 % |
1026.03/1026.67	c |   1465529 |     180    15300   107100 |    70906    67922     55 |  0.003 % |
1026.74/1027.35	c |   1466321 |     180    15300   107100 |    70906    68714     55 |  0.003 % |
1027.53/1028.15	c |   1467192 |     180    15300   107100 |    70906    69585     55 |  0.003 % |
1028.33/1028.92	c |   1468150 |     180    15300   107100 |    70906    70543     55 |  0.003 % |
1029.13/1029.73	c |   1469203 |     180    15300   107100 |    70906    61426     55 |  0.003 % |
1029.93/1030.56	c |   1470362 |     180    15300   107100 |    62225    53977     55 |  0.003 % |
1030.73/1031.32	c |   1471635 |     180    15300   107100 |    62225    55250     55 |  0.003 % |
1031.53/1032.19	c |   1473035 |     180    15300   107100 |    62225    56650     55 |  0.003 % |
1032.63/1033.27	c |   1474575 |     180    15300   107100 |    62225    58190     55 |  0.003 % |
1033.83/1034.45	c |   1476269 |     180    15300   107100 |    62225    59884     55 |  0.003 % |
1035.33/1035.91	c |   1478132 |     180    15300   107100 |    62225    61747     54 |  0.003 % |
1036.63/1037.28	c |   1480182 |     180    15300   107100 | 2147483647    57556     54 |  0.003 % |
1037.93/1038.58	c |   1482435 |     180    15300   107100 | 2147483647    59809     54 |  0.003 % |
1039.53/1040.14	c |   1484914 |     180    15300   107100 | 2147483647    62288     54 |  0.003 % |
1041.33/1041.97	c |   1487640 |     180    15300   107100 | 2147483647    65014     54 |  0.003 % |
1043.23/1043.82	c |   1490640 |     180    15300   107100 | 2147483647    68014     54 |  0.003 % |
1045.53/1046.17	c |   1493938 |     180    15300   107100 | 2147483647    71312     54 |  0.003 % |
1048.32/1048.92	c |   1497564 |     180    15300   107100 | 2147483647    74938     54 |  0.003 % |
1051.72/1052.34	c |   1501552 |     180    15300   107100 |    77374    68791     54 |  0.003 % |
1055.22/1055.88	c |   1505937 |     180    15300   107100 |    77374    73176     54 |  0.003 % |
1059.42/1060.05	c |   1510760 |     180    15300   107100 |    77240    66032     54 |  0.003 % |
1063.52/1064.19	c |   1516065 |     180    15300   107100 |    77240    71337     54 |  0.003 % |
1068.32/1068.99	c |   1521902 |     180    15300   107100 |    75272    65763     54 |  0.003 % |
1072.52/1073.17	c |   1528322 |     180    15300   107100 |    75272    72183     54 |  0.003 % |
1077.52/1078.15	c |   1535381 |     180    15300   107100 |    73861    69673     54 |  0.003 % |
1082.72/1083.31	c |   1543145 |     180    15300   107100 |    65224    60423     54 |  0.003 % |
1087.82/1088.46	c |   1551686 |     180    15300   107100 | 2147483647    62434     55 |  0.003 % |
1094.42/1095.05	c |   1561080 |     180    15300   107100 |    70748    63872     55 |  0.003 % |
1101.81/1102.44	c |   1571413 |     180    15300   107100 |    63716    57072     55 |  0.003 % |
1109.51/1110.10	c |   1582779 |     180    15300   107100 |    58954    55830     55 |  0.003 % |
1116.91/1117.53	c |   1595282 |     180    15300   107100 | 2147483647    62429     55 |  0.003 % |
1126.71/1127.39	c |   1609036 |     180    15300   107100 | 2147483647    76183     55 |  0.003 % |
1126.91/1127.50	c |   1609136 |     180    15300   107100 | 2147483647    76283     55 |  0.003 % |
1126.91/1127.59	c |   1609246 |     180    15300   107100 | 2147483647    76393     55 |  0.003 % |
1127.00/1127.68	c |   1609367 |     180    15300   107100 | 2147483647    76514     55 |  0.003 % |
1127.20/1127.81	c |   1609501 |     180    15300   107100 | 2147483647    76648     55 |  0.003 % |
1127.30/1127.95	c |   1609647 |     180    15300   107100 | 2147483647    76794     55 |  0.003 % |
1127.40/1128.09	c |   1609807 |     180    15300   107100 | 2147483647    76954     55 |  0.003 % |
1127.60/1128.27	c |   1609985 |     180    15300   107100 | 2147483647    77132     55 |  0.003 % |
1127.91/1128.52	c |   1610179 |     180    15300   107100 |    77148    66444     55 |  0.003 % |
1128.01/1128.69	c |   1610391 |     180    15300   107100 |    77148    66656     55 |  0.003 % |
1128.20/1128.89	c |   1610626 |     180    15300   107100 |    77148    66891     55 |  0.003 % |
1128.40/1129.07	c |   1610883 |     180    15300   107100 |    77148    67148     55 |  0.003 % |
1128.60/1129.28	c |   1611164 |     180    15300   107100 |    77148    67429     55 |  0.003 % |
1128.90/1129.53	c |   1611473 |     180    15300   107100 |    77148    67738     55 |  0.003 % |
1129.11/1129.79	c |   1611814 |     180    15300   107100 |    77148    68079     55 |  0.003 % |
1129.40/1130.07	c |   1612188 |     180    15300   107100 |    77148    68453     55 |  0.003 % |
1129.70/1130.35	c |   1612599 |     180    15300   107100 |    77148    68864     55 |  0.003 % |
1130.11/1130.75	c |   1613050 |     180    15300   107100 |    77148    69315     55 |  0.003 % |
1130.50/1131.16	c |   1613543 |     180    15300   107100 |    77148    69808     55 |  0.003 % |
1130.90/1131.59	c |   1614085 |     180    15300   107100 |    77148    70350     55 |  0.003 % |
1131.40/1132.06	c |   1614681 |     180    15300   107100 |    77148    70946     55 |  0.003 % |
1131.90/1132.56	c |   1615337 |     180    15300   107100 |    77148    71602     55 |  0.003 % |
1132.50/1133.15	c |   1616058 |     180    15300   107100 |    77148    72323     55 |  0.003 % |
1133.20/1133.87	c |   1616851 |     180    15300   107100 |    77148    73116     55 |  0.003 % |
1133.90/1134.59	c |   1617722 |     180    15300   107100 |    77148    73987     55 |  0.003 % |
1134.70/1135.39	c |   1618681 |     180    15300   107100 |    77148    74946     55 |  0.003 % |
1135.60/1136.29	c |   1619736 |     180    15300   107100 |    77148    76001     55 |  0.003 % |
1136.60/1137.24	c |   1620894 |     180    15300   107100 |    76265    65170     55 |  0.003 % |
1137.50/1138.11	c |   1622167 |     180    15300   107100 |    76265    66443     55 |  0.003 % |
1138.40/1139.05	c |   1623569 |     180    15300   107100 |    76265    67845     55 |  0.003 % |
1139.60/1140.29	c |   1625109 |     180    15300   107100 |    76265    69385     55 |  0.003 % |
1140.80/1141.47	c |   1626803 |     180    15300   107100 |    76265    71079     55 |  0.003 % |
1142.20/1142.83	c |   1628667 |     180    15300   107100 |    76265    72943     55 |  0.003 % |
1143.69/1144.33	c |   1630718 |     180    15300   107100 |    74276    64375     55 |  0.003 % |
1145.29/1145.92	c |   1632971 |     180    15300   107100 |    74276    66628     55 |  0.003 % |
1147.09/1147.74	c |   1635452 |     180    15300   107100 |    74276    69109     55 |  0.003 % |
1149.09/1149.79	c |   1638179 |     180    15300   107100 |    74276    71836     55 |  0.003 % |
1151.29/1151.97	c |   1641176 |     180    15300   107100 |    73658    64446     54 |  0.003 % |
1153.59/1154.25	c |   1644472 |     180    15300   107100 |    73658    67742     54 |  0.003 % |
1155.99/1156.64	c |   1648097 |     180    15300   107100 |    73658    71367     55 |  0.003 % |
1158.99/1159.62	c |   1652086 |     180    15300   107100 |    73270    65646     55 |  0.003 % |
1161.99/1162.68	c |   1656471 |     180    15300   107100 |    73270    70031     55 |  0.003 % |
1165.39/1166.06	c |   1661294 |     180    15300   107100 |    63703    56485     54 |  0.003 % |
1168.79/1169.40	c |   1666600 |     180    15300   107100 |    63703    61791     54 |  0.003 % |
1172.58/1173.27	c |   1672435 |     180    15300   107100 | 2147483647    61247     55 |  0.003 % |
1177.08/1177.70	c |   1678855 |     180    15300   107100 | 2147483647    67667     55 |  0.003 % |
1182.38/1183.05	c |   1685914 |     180    15300   107100 | 2147483647    74726     55 |  0.003 % |
1188.28/1188.98	c |   1693678 |     180    15300   107100 |    78813    72444     55 |  0.003 % |
1194.78/1195.45	c |   1702219 |     180    15300   107100 |    78766    70484     55 |  0.003 % |
1200.08/1200.71	HOME/SatELiteGTI: line 36: 12026 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-1832589-1242784911/watcher-1832589-1242784911 -o /tmp/evaluation-result-1832589-1242784911/solver-1832589-1242784911 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832589-1242784911.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.95 3/64 12020
/proc/meminfo: memFree=1938488/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306519276 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12020/statm: 1339 237 197 169 0 50 0

[startup+0.073995 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12020
/proc/meminfo: memFree=1938488/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.101994 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12020
/proc/meminfo: memFree=1938488/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.30202 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12020
/proc/meminfo: memFree=1938488/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701066 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 12020
/proc/meminfo: memFree=1938488/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50115 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12026
/proc/meminfo: memFree=1934888/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=4948 CPUtime=1.42
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 976 0 0 0 142 0 0 0 25 0 1 0 306519282 5066752 962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 1237 962 76 171 0 1064 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10304

[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12026
/proc/meminfo: memFree=1933032/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=7060 CPUtime=3.02
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 1531 0 0 0 301 1 0 0 25 0 1 0 306519282 7229440 1517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 1765 1517 76 171 0 1592 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12416

[startup+6.30168 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 12026
/proc/meminfo: memFree=1929584/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=9904 CPUtime=6.22
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 2207 0 0 0 621 1 0 0 25 0 1 0 306519282 10141696 2193 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 2476 2193 76 171 0 2303 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15260

[startup+12.7024 s]
/proc/loadavg: 1.08 1.02 0.95 2/71 12341
/proc/meminfo: memFree=1918576/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=13552 CPUtime=12.56
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 3126 0 0 0 1253 3 0 0 25 0 1 0 306519282 13877248 3112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 3388 3112 76 171 0 3215 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 18908

[startup+25.5018 s]
/proc/loadavg: 1.22 1.05 0.96 2/66 12502
/proc/meminfo: memFree=1878144/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=18576 CPUtime=25.31
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 4383 0 0 0 2523 8 0 0 25 0 1 0 306519282 19021824 4369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 4644 4369 76 171 0 4471 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 23932

[startup+51.1016 s]
/proc/loadavg: 1.14 1.04 0.96 2/66 12502
/proc/meminfo: memFree=1875184/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=21752 CPUtime=50.88
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5164 0 0 0 5079 9 0 0 25 0 1 0 306519282 22274048 5150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 5438 5150 76 171 0 5265 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 27108

[startup+102.305 s]
/proc/loadavg: 1.06 1.03 0.96 2/66 12502
/proc/meminfo: memFree=1874928/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=22016 CPUtime=102.06
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5240 0 0 0 10196 10 0 0 25 0 1 0 306519282 22544384 5226 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 5504 5226 76 171 0 5331 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 27372

[startup+162.302 s]
/proc/loadavg: 1.02 1.03 0.96 2/66 12502
/proc/meminfo: memFree=1874416/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=22412 CPUtime=162.03
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5333 0 0 0 16193 10 0 0 25 0 1 0 306519282 22949888 5319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 5603 5319 76 171 0 5430 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 27768

[startup+222.302 s]
/proc/loadavg: 1.05 1.03 0.97 2/66 12502
/proc/meminfo: memFree=1873456/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=23204 CPUtime=221.98
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5550 0 0 0 22188 10 0 0 25 0 1 0 306519282 23760896 5536 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 5801 5536 76 171 0 5628 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 28560

[startup+282.301 s]
/proc/loadavg: 1.06 1.04 0.97 2/66 12502
/proc/meminfo: memFree=1872816/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=23740 CPUtime=281.96
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5682 0 0 0 28185 11 0 0 25 0 1 0 306519282 24309760 5668 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 5935 5668 76 171 0 5762 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 29096

[startup+342.302 s]
/proc/loadavg: 1.06 1.04 0.98 2/66 12502
/proc/meminfo: memFree=1872432/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=24016 CPUtime=341.94
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5740 0 0 0 34182 12 0 0 25 0 1 0 306519282 24592384 5726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6004 5726 76 171 0 5831 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 29372

[startup+402.301 s]
/proc/loadavg: 1.06 1.05 0.98 2/66 12502
/proc/meminfo: memFree=1872368/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=24016 CPUtime=401.91
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5740 0 0 0 40179 12 0 0 25 0 1 0 306519282 24592384 5726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6004 5726 76 171 0 5831 0
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (KiB) 29372

[startup+462.301 s]

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

[pid=12026] ppid=12020 vsize=24420 CPUtime=521.85
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5844 0 0 0 52173 12 0 0 25 0 1 0 306519282 25006080 5830 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6105 5830 76 171 0 5932 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 29776

[startup+582.301 s]
/proc/loadavg: 1.17 1.09 1.01 2/66 12502
/proc/meminfo: memFree=1871664/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=24420 CPUtime=581.84
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5844 0 0 0 58171 13 0 0 25 0 1 0 306519282 25006080 5830 1992294400 134512640 135215339 4294956240 18446744073709551615 134534185 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6105 5830 76 171 0 5932 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 29776

[startup+642.302 s]
/proc/loadavg: 1.20 1.11 1.02 2/66 12502
/proc/meminfo: memFree=1871536/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=24420 CPUtime=641.82
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5844 0 0 0 64169 13 0 0 25 0 1 0 306519282 25006080 5830 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6105 5830 76 171 0 5932 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 29776

[startup+702.302 s]
/proc/loadavg: 1.23 1.14 1.03 2/66 12502
/proc/meminfo: memFree=1871088/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=24820 CPUtime=701.8
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 5937 0 0 0 70167 13 0 0 25 0 1 0 306519282 25415680 5923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6205 5923 76 171 0 6032 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 30176

[startup+762.305 s]
/proc/loadavg: 1.13 1.12 1.03 2/66 12502
/proc/meminfo: memFree=1870192/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=25612 CPUtime=761.78
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6135 0 0 0 76165 13 0 0 25 0 1 0 306519282 26226688 6121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6403 6121 76 171 0 6230 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 30968

[startup+822.302 s]
/proc/loadavg: 1.05 1.10 1.02 2/66 12502
/proc/meminfo: memFree=1870128/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=25612 CPUtime=821.76
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6135 0 0 0 82162 14 0 0 25 0 1 0 306519282 26226688 6121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6403 6121 76 171 0 6230 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 30968

[startup+882.302 s]
/proc/loadavg: 1.02 1.08 1.02 2/66 12502
/proc/meminfo: memFree=1869168/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=881.74
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 88160 14 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 31788

[startup+942.301 s]
/proc/loadavg: 1.00 1.06 1.01 2/66 12502
/proc/meminfo: memFree=1869168/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=941.71
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 94157 14 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 31788

[startup+1002.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/66 12502
/proc/meminfo: memFree=1869040/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=1001.69
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 100155 14 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 31788

[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/66 12502
/proc/meminfo: memFree=1868912/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=1061.67
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 106153 14 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 31788

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 12502
/proc/meminfo: memFree=1868848/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=1121.66
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 112151 15 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 31788

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 12502
/proc/meminfo: memFree=1868720/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=1181.63
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 118148 15 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 31788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 12502
/proc/meminfo: memFree=1868656/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=1200.03
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 119988 15 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 31788

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 12502
/proc/meminfo: memFree=1868656/2055920 swapFree=4178740/4192956
[pid=12020] ppid=12018 vsize=5356 CPUtime=0.05
/proc/12020/stat : 12020 (SatELiteGTI) S 12018 12020 11746 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306519276 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12020/statm: 1339 239 197 169 0 50 0
[pid=12026] ppid=12020 vsize=26432 CPUtime=1200.03
/proc/12026/stat : 12026 (minisat_static) R 12020 12020 11746 0 -1 4194304 6358 0 0 0 119988 15 0 0 25 0 1 0 306519282 27066368 6344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12026/statm: 6608 6344 76 171 0 6435 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 31788

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.11
CPU user time (s): 1199.94
CPU system time (s): 0.167974
CPU usage (%): 99.9495
Max. virtual memory (cumulated for all children) (KiB): 31788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7411
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= 26
involuntary context switches= 4586

runsolver used 1.42678 second user time and 3.10053 second system time

The end

Launcher Data

Begin job on node42 at 2009-05-20 04:01:51
IDJOB=1832589
IDBENCH=70258
IDSOLVER=671
FILE ID=node42/1832589-1242784911
PBS_JOBID= 9322338
Free space on /tmp= 66376 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S1378953985-075.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832589-1242784911/watcher-1832589-1242784911 -o /tmp/evaluation-result-1832589-1242784911/solver-1832589-1242784911 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832589-1242784911.cnf

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

MD5SUM BENCH= e77e91a0bcfa213f4da3e00139d8dd15
RANDOM SEED=1182077691

node42.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:       1938968 kB
Buffers:         25464 kB
Cached:          54244 kB
SwapCached:       8692 kB
Active:          23752 kB
Inactive:        66432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1938968 kB
SwapTotal:     4192956 kB
SwapFree:      4178740 kB
Dirty:            2020 kB
Writeback:           0 kB
Mapped:          14484 kB
Slab:            12780 kB
Committed_AS:  1116604 kB
PageTables:       1396 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= 66372 MiB
End job on node42 at 2009-05-20 04:21:54