Trace number 1832595

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.05 1200.51

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
MD5SUM680f1c08894c7336e339abedaa2a15cb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1103.04
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.018997 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.09	c |       101 |     180    15300   107100 |     5100      101     52 |  0.003 % |
0.05/0.10	c |       204 |     180    15300   107100 |     5100      204     52 |  0.003 % |
0.05/0.11	c |       305 |     180    15300   107100 |     5100      305     52 |  0.003 % |
0.05/0.12	c |       415 |     180    15300   107100 |     5100      415     51 |  0.003 % |
0.05/0.13	c |       515 |     180    15300   107100 |     5100      515     51 |  0.003 % |
0.05/0.14	c |       625 |     180    15300   107100 |     5100      625     52 |  0.003 % |
0.05/0.15	c |       746 |     180    15300   107100 |     5100      746     51 |  0.003 % |
0.05/0.16	c |       846 |     180    15300   107100 |     5100      846     52 |  0.003 % |
0.05/0.16	c |       956 |     180    15300   107100 |     5100      956     52 |  0.003 % |
0.05/0.17	c |      1077 |     180    15300   107100 |     5100     1077     52 |  0.003 % |
0.05/0.19	c |      1211 |     180    15300   107100 |     5100     1211     52 |  0.003 % |
0.05/0.19	c |      1312 |     180    15300   107100 |     5100     1312     52 |  0.003 % |
0.05/0.20	c |      1424 |     180    15300   107100 |     5100     1424     53 |  0.003 % |
0.05/0.21	c |      1545 |     180    15300   107100 |     5100     1545     53 |  0.003 % |
0.05/0.23	c |      1678 |     180    15300   107100 |     5100     1678     52 |  0.003 % |
0.05/0.24	c |      1825 |     180    15300   107100 |     5100     1825     52 |  0.003 % |
0.05/0.25	c |      1925 |     180    15300   107100 |     5100     1925     53 |  0.003 % |
0.05/0.26	c |      2036 |     180    15300   107100 |     5100     2036     53 |  0.003 % |
0.05/0.27	c |      2157 |     180    15300   107100 |     5100     2157     53 |  0.003 % |
0.05/0.28	c |      2291 |     180    15300   107100 |     5100     2291     53 |  0.003 % |
0.05/0.29	c |      2438 |     180    15300   107100 |     5100     2438     53 |  0.003 % |
0.05/0.31	c |      2598 |     180    15300   107100 |     5100     2598     53 |  0.003 % |
0.05/0.32	c |      2698 |     180    15300   107100 |     5100     2698     53 |  0.003 % |
0.05/0.33	c |      2810 |     180    15300   107100 |     5100     2810     53 |  0.003 % |
0.05/0.34	c |      2934 |     180    15300   107100 |     5100     2934     53 |  0.003 % |
0.05/0.35	c |      3068 |     180    15300   107100 |     5100     3068     53 |  0.003 % |
0.05/0.37	c |      3216 |     180    15300   107100 |     5100     3216     53 |  0.003 % |
0.05/0.38	c |      3376 |     180    15300   107100 |     5100     3376     53 |  0.003 % |
0.05/0.40	c |      3552 |     180    15300   107100 |     5100     3552     53 |  0.003 % |
0.05/0.41	c |      3652 |     180    15300   107100 |     5100     3652     53 |  0.003 % |
0.05/0.42	c |      3762 |     180    15300   107100 |     5100     3762     53 |  0.003 % |
0.05/0.44	c |      3883 |     180    15300   107100 |     5100     3883     53 |  0.003 % |
0.05/0.45	c |      4016 |     180    15300   107100 |     5100     4016     53 |  0.003 % |
0.05/0.46	c |      4162 |     180    15300   107100 |     5100     4162     53 |  0.003 % |
0.05/0.48	c |      4322 |     180    15300   107100 |     5100     4322     53 |  0.003 % |
0.05/0.49	c |      4498 |     180    15300   107100 |     5100     4498     53 |  0.003 % |
0.05/0.51	c |      4691 |     180    15300   107100 |     5100     4691     53 |  0.003 % |
0.05/0.52	c |      4791 |     180    15300   107100 |     5100     4791     53 |  0.003 % |
0.05/0.54	c |      4902 |     180    15300   107100 |     5100     4902     52 |  0.003 % |
0.05/0.55	c |      5023 |     180    15300   107100 |     5100     5023     52 |  0.003 % |
0.05/0.57	c |      5156 |     180    15300   107100 |     5100     5156     52 |  0.003 % |
0.05/0.58	c |      5302 |     180    15300   107100 |     5100     4787     52 |  0.003 % |
0.05/0.60	c |      5463 |     180    15300   107100 |     5100     4948     52 |  0.003 % |
0.05/0.62	c |      5639 |     180    15300   107100 |     5100     5124     52 |  0.003 % |
0.05/0.64	c |      5832 |     180    15300   107100 |     5100     4805     52 |  0.003 % |
0.05/0.67	c |      6046 |     180    15300   107100 |     5100     5019     52 |  0.003 % |
0.05/0.68	c |      6146 |     180    15300   107100 |     5100     5119     52 |  0.003 % |
0.05/0.69	c |      6256 |     180    15300   107100 |     5100     4718     52 |  0.003 % |
0.05/0.71	c |      6378 |     180    15300   107100 |     5100     4840     52 |  0.003 % |
0.05/0.72	c |      6511 |     180    15300   107100 |     5100     4973     52 |  0.003 % |
0.05/0.74	c |      6657 |     180    15300   107100 |     5100     5119     52 |  0.003 % |
0.05/0.76	c |      6818 |     180    15300   107100 |     5100     4769     52 |  0.003 % |
0.05/0.77	c |      6994 |     180    15300   107100 |     5100     4945     52 |  0.003 % |
0.05/0.80	c |      7188 |     180    15300   107100 |     5100     5139     52 |  0.003 % |
0.05/0.83	c |      7400 |     180    15300   107100 |     5100     4838     52 |  0.003 % |
0.05/0.85	c |      7634 |     180    15300   107100 |     5100     5072     52 |  0.003 % |
0.05/0.86	c |      7734 |     180    15300   107100 |     5100     5172     52 |  0.003 % |
0.05/0.88	c |      7844 |     180    15300   107100 |     5100     4765     52 |  0.003 % |
0.05/0.89	c |      7966 |     180    15300   107100 |     5100     4887     52 |  0.003 % |
0.05/0.90	c |      8102 |     180    15300   107100 |     5100     5023     52 |  0.003 % |
0.05/0.92	c |      8249 |     180    15300   107100 |     5100     5170     51 |  0.003 % |
0.05/0.94	c |      8410 |     180    15300   107100 |     5100     4814     51 |  0.003 % |
0.05/0.96	c |      8588 |     180    15300   107100 |     5100     4992     52 |  0.003 % |
0.05/0.99	c |      8782 |     180    15300   107100 |     5100     4668     52 |  0.003 % |
0.98/1.01	c |      8994 |     180    15300   107100 |     5100     4880     52 |  0.003 % |
0.98/1.04	c |      9227 |     180    15300   107100 |     5100     5113     52 |  0.003 % |
0.98/1.06	c |      9483 |     180    15300   107100 |     5100     4858     51 |  0.003 % |
0.98/1.07	c |      9584 |     180    15300   107100 |     5100     4959     52 |  0.003 % |
0.98/1.08	c |      9694 |     180    15300   107100 |     5100     5069     52 |  0.003 % |
0.98/1.10	c |      9815 |     180    15300   107100 |     5100     4673     52 |  0.003 % |
1.08/1.11	c |      9950 |     180    15300   107100 |     5100     4808     52 |  0.003 % |
1.08/1.13	c |     10096 |     180    15300   107100 | 2147483647     4954     52 |  0.003 % |
1.08/1.15	c |     10256 |     180    15300   107100 | 2147483647     5114     52 |  0.003 % |
1.08/1.16	c |     10432 |     180    15300   107100 | 2147483647     5290     52 |  0.003 % |
1.08/1.18	c |     10627 |     180    15300   107100 | 2147483647     5485     52 |  0.003 % |
1.17/1.20	c |     10839 |     180    15300   107100 | 2147483647     5697     52 |  0.003 % |
1.17/1.23	c |     11075 |     180    15300   107100 | 2147483647     5933     52 |  0.003 % |
1.17/1.26	c |     11332 |     180    15300   107100 | 2147483647     6190     52 |  0.003 % |
1.17/1.29	c |     11613 |     180    15300   107100 | 2147483647     6471     52 |  0.003 % |
1.27/1.30	c |     11713 |     180    15300   107100 | 2147483647     6571     52 |  0.003 % |
1.27/1.31	c |     11824 |     180    15300   107100 | 2147483647     6682     52 |  0.003 % |
1.27/1.33	c |     11946 |     180    15300   107100 | 2147483647     6804     52 |  0.003 % |
1.27/1.34	c |     12081 |     180    15300   107100 | 2147483647     6939     52 |  0.003 % |
1.27/1.36	c |     12230 |     180    15300   107100 | 2147483647     7088     52 |  0.003 % |
1.27/1.38	c |     12390 |     180    15300   107100 | 2147483647     7248     52 |  0.003 % |
1.37/1.40	c |     12566 |     180    15300   107100 | 2147483647     7424     52 |  0.003 % |
1.37/1.43	c |     12762 |     180    15300   107100 | 2147483647     7620     52 |  0.003 % |
1.37/1.45	c |     12975 |     180    15300   107100 | 2147483647     7833     52 |  0.003 % |
1.37/1.48	c |     13208 |     180    15300   107100 | 2147483647     8066     52 |  0.003 % |
1.47/1.51	c |     13464 |     180    15300   107100 | 2147483647     8322     52 |  0.003 % |
1.47/1.55	c |     13745 |     180    15300   107100 | 2147483647     8603     53 |  0.003 % |
1.47/1.58	c |     14054 |     180    15300   107100 | 2147483647     8912     53 |  0.003 % |
1.57/1.60	c |     14157 |     180    15300   107100 | 2147483647     9015     53 |  0.003 % |
1.57/1.61	c |     14268 |     180    15300   107100 | 2147483647     9126     53 |  0.003 % |
1.57/1.63	c |     14389 |     180    15300   107100 | 2147483647     9247     53 |  0.003 % |
1.57/1.65	c |     14522 |     180    15300   107100 | 2147483647     9380     53 |  0.003 % |
1.57/1.67	c |     14669 |     180    15300   107100 | 2147483647     9527     53 |  0.003 % |
1.57/1.69	c |     14831 |     180    15300   107100 | 2147483647     9689     53 |  0.003 % |
1.67/1.72	c |     15008 |     180    15300   107100 | 2147483647     9866     53 |  0.003 % |
1.67/1.75	c |     15203 |     180    15300   107100 | 2147483647    10061     52 |  0.003 % |
1.67/1.78	c |     15416 |     180    15300   107100 | 2147483647    10274     53 |  0.003 % |
1.77/1.81	c |     15652 |     180    15300   107100 | 2147483647    10510     53 |  0.003 % |
1.77/1.85	c |     15910 |     180    15300   107100 | 2147483647    10768     53 |  0.003 % |
1.77/1.89	c |     16191 |     180    15300   107100 | 2147483647    11049     53 |  0.003 % |
1.87/1.94	c |     16502 |     180    15300   107100 | 2147483647    11360     53 |  0.003 % |
1.87/1.99	c |     16847 |     180    15300   107100 | 2147483647    11705     53 |  0.003 % |
1.97/2.01	c |     16947 |     180    15300   107100 | 2147483647    11805     53 |  0.003 % |
1.97/2.03	c |     17057 |     180    15300   107100 | 2147483647    11915     53 |  0.003 % |
1.97/2.05	c |     17178 |     180    15300   107100 | 2147483647    12036     52 |  0.003 % |
1.97/2.07	c |     17311 |     180    15300   107100 | 2147483647    12169     53 |  0.003 % |
1.97/2.09	c |     17457 |     180    15300   107100 | 2147483647    12315     53 |  0.003 % |
2.08/2.12	c |     17617 |     180    15300   107100 | 2147483647    12475     53 |  0.003 % |
2.08/2.15	c |     17796 |     180    15300   107100 | 2147483647    12654     53 |  0.003 % |
2.08/2.18	c |     17990 |     180    15300   107100 | 2147483647    12848     53 |  0.003 % |
2.18/2.22	c |     18202 |     180    15300   107100 | 2147483647    13060     52 |  0.003 % |
2.18/2.26	c |     18436 |     180    15300   107100 | 2147483647    13294     53 |  0.003 % |
2.27/2.31	c |     18692 |     180    15300   107100 | 2147483647    13550     53 |  0.003 % |
2.27/2.36	c |     18973 |     180    15300   107100 | 2147483647    13831     53 |  0.003 % |
2.37/2.41	c |     19284 |     180    15300   107100 | 2147483647    14142     53 |  0.003 % |
2.37/2.47	c |     19623 |     180    15300   107100 | 2147483647    14481     53 |  0.003 % |
2.47/2.53	c |     19995 |     180    15300   107100 | 2147483647    14853     53 |  0.003 % |
2.47/2.55	c |     20096 |     180    15300   107100 | 2147483647    14954     53 |  0.003 % |
2.47/2.57	c |     20206 |     180    15300   107100 | 2147483647    15064     53 |  0.003 % |
2.47/2.60	c |     20327 |     180    15300   107100 | 2147483647    15185     53 |  0.003 % |
2.57/2.62	c |     20463 |     180    15300   107100 | 2147483647    15321     53 |  0.003 % |
2.57/2.65	c |     20610 |     180    15300   107100 | 2147483647    15468     53 |  0.003 % |
2.57/2.68	c |     20772 |     180    15300   107100 | 2147483647    15630     53 |  0.003 % |
2.67/2.71	c |     20950 |     180    15300   107100 | 2147483647    15808     53 |  0.003 % |
2.67/2.75	c |     21146 |     180    15300   107100 | 2147483647    16004     53 |  0.003 % |
2.67/2.79	c |     21361 |     180    15300   107100 | 2147483647    16219     53 |  0.003 % |
2.76/2.84	c |     21596 |     180    15300   107100 | 2147483647    16454     53 |  0.003 % |
2.86/2.90	c |     21853 |     180    15300   107100 | 2147483647    16711     53 |  0.003 % |
2.86/2.96	c |     22134 |     180    15300   107100 | 2147483647    16992     53 |  0.003 % |
2.96/3.02	c |     22443 |     180    15300   107100 | 2147483647    17301     53 |  0.003 % |
2.96/3.09	c |     22782 |     180    15300   107100 | 2147483647    17640     53 |  0.003 % |
3.06/3.17	c |     23154 |     180    15300   107100 | 2147483647    18012     53 |  0.003 % |
3.17/3.24	c |     23563 |     180    15300   107100 | 2147483647    18421     53 |  0.003 % |
3.17/3.27	c |     23663 |     180    15300   107100 | 2147483647    18521     53 |  0.003 % |
3.17/3.29	c |     23773 |     180    15300   107100 | 2147483647    18631     53 |  0.003 % |
3.27/3.32	c |     23895 |     180    15300   107100 | 2147483647    18753     53 |  0.003 % |
3.27/3.35	c |     24028 |     180    15300   107100 | 2147483647    18886     53 |  0.003 % |
3.27/3.39	c |     24174 |     180    15300   107100 | 2147483647    19032     53 |  0.003 % |
3.36/3.43	c |     24334 |     180    15300   107100 | 2147483647    19192     53 |  0.003 % |
3.36/3.47	c |     24510 |     180    15300   107100 | 2147483647    19368     53 |  0.003 % |
3.46/3.51	c |     24704 |     180    15300   107100 | 2147483647    19562     53 |  0.003 % |
3.46/3.56	c |     24917 |     180    15300   107100 | 2147483647    19775     53 |  0.003 % |
3.56/3.61	c |     25150 |     180    15300   107100 | 2147483647    20008     53 |  0.003 % |
3.56/3.67	c |     25409 |     180    15300   107100 | 2147483647    20267     53 |  0.003 % |
3.66/3.74	c |     25691 |     180    15300   107100 | 2147483647    20549     53 |  0.003 % |
3.76/3.80	c |     26000 |     180    15300   107100 | 2147483647    20858     53 |  0.003 % |
3.76/3.88	c |     26339 |     180    15300   107100 | 2147483647    21197     53 |  0.003 % |
3.87/3.99	c |     26711 |     180    15300   107100 | 2147483647    21569     53 |  0.003 % |
3.97/4.09	c |     27121 |     180    15300   107100 | 2147483647    21979     53 |  0.003 % |
4.17/4.20	c |     27570 |     180    15300   107100 | 2147483647    22428     53 |  0.003 % |
4.17/4.23	c |     27670 |     180    15300   107100 | 2147483647    22528     53 |  0.003 % |
4.17/4.27	c |     27780 |     180    15300   107100 | 2147483647    22638     53 |  0.003 % |
4.27/4.30	c |     27903 |     180    15300   107100 | 2147483647    22761     53 |  0.003 % |
4.27/4.34	c |     28036 |     180    15300   107100 | 2147483647    22894     53 |  0.003 % |
4.27/4.38	c |     28182 |     180    15300   107100 | 2147483647    23040     52 |  0.003 % |
4.37/4.43	c |     28342 |     180    15300   107100 | 2147483647    23200     52 |  0.003 % |
4.37/4.47	c |     28519 |     180    15300   107100 | 2147483647    23377     52 |  0.003 % |
4.47/4.53	c |     28713 |     180    15300   107100 | 2147483647    23571     52 |  0.003 % |
4.47/4.59	c |     28927 |     180    15300   107100 | 2147483647    23785     52 |  0.003 % |
4.57/4.66	c |     29160 |     180    15300   107100 | 2147483647    24018     52 |  0.003 % |
4.67/4.73	c |     29417 |     180    15300   107100 | 2147483647    24275     52 |  0.003 % |
4.77/4.81	c |     29699 |     180    15300   107100 | 2147483647    24557     52 |  0.003 % |
4.77/4.89	c |     30008 |     180    15300   107100 | 2147483647    24866     52 |  0.003 % |
4.96/5.00	c |     30349 |     180    15300   107100 | 2147483647    25207     52 |  0.003 % |
5.06/5.11	c |     30723 |     180    15300   107100 | 2147483647    25581     52 |  0.003 % |
5.16/5.23	c |     31132 |     180    15300   107100 | 2147483647    25990     52 |  0.003 % |
5.26/5.35	c |     31581 |     180    15300   107100 | 2147483647    26439     52 |  0.003 % |
5.47/5.51	c |     32074 |     180    15300   107100 | 2147483647    26932     53 |  0.003 % |
5.47/5.55	c |     32175 |     180    15300   107100 | 2147483647    27033     52 |  0.003 % |
5.47/5.58	c |     32285 |     180    15300   107100 | 2147483647    27143     52 |  0.003 % |
5.56/5.63	c |     32407 |     180    15300   107100 | 2147483647    27265     52 |  0.003 % |
5.56/5.67	c |     32541 |     180    15300   107100 | 2147483647    27399     53 |  0.003 % |
5.66/5.72	c |     32687 |     180    15300   107100 | 2147483647    27545     52 |  0.003 % |
5.66/5.78	c |     32848 |     180    15300   107100 | 2147483647    27706     52 |  0.003 % |
5.76/5.84	c |     33025 |     180    15300   107100 | 2147483647    27883     53 |  0.003 % |
5.86/5.92	c |     33219 |     180    15300   107100 | 2147483647    28077     52 |  0.003 % |
5.96/6.00	c |     33434 |     180    15300   107100 | 2147483647    28292     52 |  0.003 % |
5.96/6.09	c |     33669 |     180    15300   107100 | 2147483647    28527     53 |  0.003 % |
6.06/6.17	c |     33925 |     180    15300   107100 | 2147483647    28783     53 |  0.003 % |
6.16/6.28	c |     34207 |     180    15300   107100 | 2147483647    29065     53 |  0.003 % |
6.26/6.39	c |     34516 |     180    15300   107100 | 2147483647    29374     53 |  0.003 % |
6.46/6.53	c |     34855 |     180    15300   107100 | 2147483647    29713     53 |  0.003 % |
6.56/6.65	c |     35228 |     180    15300   107100 | 2147483647    30086     53 |  0.003 % |
6.66/6.79	c |     35638 |     180    15300   107100 | 2147483647    30496     53 |  0.003 % |
6.86/6.95	c |     36087 |     180    15300   107100 | 2147483647    30945     53 |  0.003 % |
7.06/7.14	c |     36581 |     180    15300   107100 | 2147483647    31439     53 |  0.003 % |
7.26/7.32	c |     37123 |     180    15300   107100 | 2147483647    31981     53 |  0.003 % |
7.26/7.35	c |     37224 |     180    15300   107100 | 2147483647    32082     53 |  0.003 % |
7.26/7.40	c |     37334 |     180    15300   107100 | 2147483647    32192     53 |  0.003 % |
7.36/7.44	c |     37456 |     180    15300   107100 | 2147483647    32314     53 |  0.003 % |
7.36/7.49	c |     37589 |     180    15300   107100 | 2147483647    32447     53 |  0.003 % |
7.46/7.55	c |     37736 |     180    15300   107100 | 2147483647    32594     53 |  0.003 % |
7.56/7.61	c |     37896 |     180    15300   107100 | 2147483647    32754     53 |  0.003 % |
7.56/7.68	c |     38075 |     180    15300   107100 | 2147483647    32933     53 |  0.003 % |
7.66/7.77	c |     38269 |     180    15300   107100 | 2147483647    33127     53 |  0.003 % |
7.76/7.86	c |     38483 |     180    15300   107100 | 2147483647    33341     53 |  0.003 % |
7.86/7.95	c |     38718 |     180    15300   107100 | 2147483647    33576     53 |  0.003 % |
7.96/8.05	c |     38974 |     180    15300   107100 | 2147483647    33832     53 |  0.003 % |
8.06/8.16	c |     39256 |     180    15300   107100 | 2147483647    34114     53 |  0.003 % |
8.15/8.27	c |     39566 |     180    15300   107100 | 2147483647    34424     53 |  0.003 % |
8.35/8.43	c |     39906 |     180    15300   107100 | 2147483647    34764     53 |  0.003 % |
8.45/8.57	c |     40279 |     180    15300   107100 | 2147483647    35137     53 |  0.003 % |
8.67/8.71	c |     40689 |     180    15300   107100 | 2147483647    35547     53 |  0.003 % |
8.77/8.88	c |     41138 |     180    15300   107100 | 2147483647    35996     53 |  0.003 % |
8.96/9.09	c |     41632 |     180    15300   107100 | 2147483647    36490     53 |  0.003 % |
9.16/9.29	c |     42174 |     180    15300   107100 | 2147483647    37032     53 |  0.003 % |
9.46/9.50	c |     42771 |     180    15300   107100 | 2147483647    37629     53 |  0.003 % |
9.46/9.55	c |     42873 |     180    15300   107100 | 2147483647    37731     53 |  0.003 % |
9.46/9.60	c |     42985 |     180    15300   107100 | 2147483647    37843     53 |  0.003 % |
9.56/9.65	c |     43108 |     180    15300   107100 | 2147483647    37966     53 |  0.003 % |
9.66/9.72	c |     43241 |     180    15300   107100 | 2147483647    38099     53 |  0.003 % |
9.66/9.79	c |     43388 |     180    15300   107100 | 2147483647    38246     53 |  0.003 % |
9.76/9.87	c |     43548 |     180    15300   107100 | 2147483647    38406     53 |  0.003 % |
9.86/9.96	c |     43726 |     180    15300   107100 | 2147483647    38584     53 |  0.003 % |
9.96/10.06	c |     43919 |     180    15300   107100 | 2147483647    38777     53 |  0.003 % |
10.06/10.18	c |     44131 |     180    15300   107100 | 2147483647    38989     53 |  0.003 % |
10.16/10.28	c |     44367 |     180    15300   107100 | 2147483647    39225     53 |  0.003 % |
10.26/10.39	c |     44625 |     180    15300   107100 | 2147483647    39483     53 |  0.003 % |
10.46/10.52	c |     44907 |     180    15300   107100 | 2147483647    39765     53 |  0.003 % |
10.56/10.66	c |     45218 |     180    15300   107100 | 2147483647    40076     53 |  0.003 % |
10.76/10.81	c |     45557 |     180    15300   107100 | 2147483647    40415     53 |  0.003 % |
10.96/11.01	c |     45929 |     180    15300   107100 | 2147483647    40787     53 |  0.003 % |
11.16/11.20	c |     46339 |     180    15300   107100 | 2147483647    41197     53 |  0.003 % |
11.26/11.39	c |     46788 |     180    15300   107100 | 2147483647    41646     53 |  0.003 % |
11.56/11.60	c |     47282 |     180    15300   107100 | 2147483647    42140     53 |  0.003 % |
11.76/11.85	c |     47826 |     180    15300   107100 | 2147483647    42684     53 |  0.003 % |
11.96/12.10	c |     48423 |     180    15300   107100 | 2147483647    43281     53 |  0.003 % |
12.26/12.37	c |     49078 |     180    15300   107100 | 2147483647    43936     53 |  0.003 % |
12.36/12.44	c |     49178 |     180    15300   107100 | 2147483647    44036     53 |  0.003 % |
12.46/12.51	c |     49289 |     180    15300   107100 | 2147483647    44147     53 |  0.003 % |
12.46/12.58	c |     49412 |     180    15300   107100 | 2147483647    44270     53 |  0.003 % |
12.56/12.65	c |     49545 |     180    15300   107100 | 2147483647    44403     53 |  0.003 % |
12.66/12.74	c |     49691 |     180    15300   107100 | 2147483647    44549     53 |  0.003 % |
12.76/12.84	c |     49852 |     180    15300   107100 | 2147483647    44710     53 |  0.003 % |
12.86/12.93	c |     50029 |     180    15300   107100 | 2147483647    44887     53 |  0.003 % |
12.96/13.04	c |     50223 |     180    15300   107100 | 2147483647    45081     53 |  0.003 % |
13.06/13.15	c |     50437 |     180    15300   107100 | 2147483647    45295     53 |  0.003 % |
13.16/13.29	c |     50671 |     180    15300   107100 | 2147483647    45529     53 |  0.003 % |
13.36/13.42	c |     50928 |     180    15300   107100 | 2147483647    45786     53 |  0.003 % |
13.46/13.57	c |     51209 |     180    15300   107100 | 2147483647    46067     53 |  0.003 % |
13.66/13.73	c |     51518 |     180    15300   107100 | 2147483647    46376     53 |  0.003 % |
13.86/13.95	c |     51857 |     180    15300   107100 | 2147483647    46715     53 |  0.003 % |
14.05/14.15	c |     52230 |     180    15300   107100 | 2147483647    47088     53 |  0.003 % |
14.26/14.39	c |     52639 |     180    15300   107100 | 2147483647    47497     53 |  0.003 % |
14.55/14.65	c |     53088 |     180    15300   107100 | 2147483647    47946     53 |  0.003 % |
14.85/14.94	c |     53581 |     180    15300   107100 | 2147483647    48439     53 |  0.003 % |
15.15/15.27	c |     54123 |     180    15300   107100 | 2147483647    48981     53 |  0.003 % |
15.55/15.61	c |     54719 |     180    15300   107100 | 2147483647    49577     53 |  0.003 % |
15.85/15.97	c |     55376 |     180    15300   107100 | 2147483647    50234     53 |  0.003 % |
16.25/16.35	c |     56096 |     180    15300   107100 | 2147483647    50954     53 |  0.003 % |
16.35/16.43	c |     56197 |     180    15300   107100 | 2147483647    51055     53 |  0.003 % |
16.35/16.49	c |     56307 |     180    15300   107100 | 2147483647    51165     53 |  0.003 % |
16.45/16.57	c |     56429 |     180    15300   107100 | 2147483647    51287     53 |  0.003 % |
16.55/16.65	c |     56563 |     180    15300   107100 | 2147483647    51421     53 |  0.003 % |
16.65/16.77	c |     56709 |     180    15300   107100 | 2147483647    51567     53 |  0.003 % |
16.75/16.87	c |     56869 |     180    15300   107100 | 2147483647    51727     53 |  0.003 % |
16.85/16.99	c |     57045 |     180    15300   107100 | 2147483647    51903     53 |  0.003 % |
17.05/17.13	c |     57244 |     180    15300   107100 | 2147483647    52102     53 |  0.003 % |
17.15/17.26	c |     57457 |     180    15300   107100 | 2147483647    52315     53 |  0.003 % |
17.36/17.42	c |     57692 |     180    15300   107100 | 2147483647    52550     53 |  0.003 % |
17.46/17.57	c |     57948 |     180    15300   107100 | 2147483647    52806     53 |  0.003 % |
17.66/17.76	c |     58230 |     180    15300   107100 | 2147483647    53088     53 |  0.003 % |
17.86/17.93	c |     58539 |     180    15300   107100 | 2147483647    53397     53 |  0.003 % |
18.06/18.17	c |     58879 |     180    15300   107100 | 2147483647    53737     53 |  0.003 % |
18.26/18.37	c |     59252 |     180    15300   107100 | 2147483647    54110     53 |  0.003 % |
18.56/18.62	c |     59661 |     180    15300   107100 | 2147483647    54519     53 |  0.003 % |
18.76/18.88	c |     60111 |     180    15300   107100 | 2147483647    54969     53 |  0.003 % |
19.06/19.16	c |     60604 |     180    15300   107100 | 2147483647    55462     53 |  0.003 % |
19.36/19.46	c |     61148 |     180    15300   107100 | 2147483647    56006     53 |  0.003 % |
19.76/19.80	c |     61746 |     180    15300   107100 | 2147483647    56604     53 |  0.003 % |
20.15/20.21	c |     62401 |     180    15300   107100 | 2147483647    57259     53 |  0.003 % |
20.55/20.61	c |     63121 |     180    15300   107100 | 2147483647    57979     53 |  0.003 % |
20.95/21.05	c |     63913 |     180    15300   107100 | 2147483647    58771     53 |  0.003 % |
21.05/21.11	c |     64013 |     180    15300   107100 | 2147483647    58871     53 |  0.003 % |
21.15/21.20	c |     64123 |     180    15300   107100 | 2147483647    58981     53 |  0.003 % |
21.15/21.30	c |     64247 |     180    15300   107100 | 2147483647    59105     53 |  0.003 % |
21.25/21.39	c |     64380 |     180    15300   107100 | 2147483647    59238     53 |  0.003 % |
21.35/21.49	c |     64526 |     180    15300   107100 | 2147483647    59384     53 |  0.003 % |
21.55/21.64	c |     64686 |     180    15300   107100 | 2147483647    59544     53 |  0.003 % |
21.65/21.79	c |     64863 |     180    15300   107100 | 2147483647    59721     53 |  0.003 % |
21.86/21.92	c |     65058 |     180    15300   107100 | 2147483647    59916     53 |  0.003 % |
22.05/22.10	c |     65272 |     180    15300   107100 | 2147483647    60130     53 |  0.003 % |
22.15/22.27	c |     65505 |     180    15300   107100 | 2147483647    60363     53 |  0.003 % |
22.35/22.48	c |     65761 |     180    15300   107100 | 2147483647    60619     53 |  0.003 % |
22.55/22.68	c |     66043 |     180    15300   107100 | 2147483647    60901     53 |  0.003 % |
22.85/22.93	c |     66352 |     180    15300   107100 | 2147483647    61210     53 |  0.003 % |
23.06/23.17	c |     66691 |     180    15300   107100 | 2147483647    61549     53 |  0.003 % |
23.35/23.41	c |     67064 |     180    15300   107100 | 2147483647    61922     53 |  0.003 % |
23.65/23.70	c |     67473 |     180    15300   107100 | 2147483647    62331     53 |  0.003 % |
23.95/24.02	c |     67923 |     180    15300   107100 | 2147483647    62781     53 |  0.003 % |
24.25/24.35	c |     68416 |     180    15300   107100 | 2147483647    63274     53 |  0.003 % |
24.65/24.71	c |     68959 |     180    15300   107100 | 2147483647    63817     53 |  0.003 % |
24.95/25.07	c |     69556 |     180    15300   107100 | 2147483647    64414     53 |  0.003 % |
25.45/25.54	c |     70212 |     180    15300   107100 | 2147483647    65070     53 |  0.003 % |
25.95/26.04	c |     70935 |     180    15300   107100 | 2147483647    65793     53 |  0.003 % |
26.45/26.57	c |     71727 |     180    15300   107100 | 2147483647    66585     53 |  0.003 % |
27.05/27.14	c |     72598 |     180    15300   107100 | 2147483647    67456     53 |  0.003 % |
27.15/27.24	c |     72700 |     180    15300   107100 | 2147483647    67558     53 |  0.003 % |
27.25/27.34	c |     72813 |     180    15300   107100 | 2147483647    67671     53 |  0.003 % |
27.35/27.44	c |     72935 |     180    15300   107100 | 2147483647    67793     53 |  0.003 % |
27.45/27.54	c |     73069 |     180    15300   107100 | 2147483647    67927     53 |  0.003 % |
27.55/27.68	c |     73215 |     180    15300   107100 | 2147483647    68073     53 |  0.003 % |
27.75/27.81	c |     73375 |     180    15300   107100 | 2147483647    68233     53 |  0.003 % |
27.85/27.95	c |     73551 |     180    15300   107100 | 2147483647    68409     53 |  0.003 % |
28.05/28.13	c |     73745 |     180    15300   107100 | 2147483647    68603     53 |  0.003 % |
28.25/28.30	c |     73958 |     180    15300   107100 | 2147483647    68816     53 |  0.003 % |
28.35/28.48	c |     74191 |     180    15300   107100 | 2147483647    69049     53 |  0.003 % |
28.65/28.70	c |     74447 |     180    15300   107100 | 2147483647    69305     53 |  0.003 % |
28.85/28.94	c |     74728 |     180    15300   107100 | 2147483647    69586     53 |  0.003 % |
29.15/29.20	c |     75038 |     180    15300   107100 | 2147483647    69896     53 |  0.003 % |
29.45/29.50	c |     75377 |     180    15300   107100 | 2147483647    70235     53 |  0.003 % |
29.75/29.81	c |     75749 |     180    15300   107100 | 2147483647    70607     53 |  0.003 % |
30.06/30.13	c |     76158 |     180    15300   107100 | 2147483647    71016     53 |  0.003 % |
30.36/30.49	c |     76609 |     180    15300   107100 | 2147483647    71467     53 |  0.003 % |
30.76/30.89	c |     77102 |     180    15300   107100 | 2147483647    71960     53 |  0.003 % |
31.15/31.28	c |     77644 |     180    15300   107100 | 2147483647    72502     53 |  0.003 % |
31.65/31.76	c |     78240 |     180    15300   107100 | 2147483647    73098     53 |  0.003 % |
32.15/32.28	c |     78895 |     180    15300   107100 | 2147483647    73753     53 |  0.003 % |
32.75/32.87	c |     79616 |     180    15300   107100 | 2147483647    74474     53 |  0.003 % |
33.45/33.54	c |     80408 |     180    15300   107100 |    74858    64850     53 |  0.003 % |
34.06/34.15	c |     81279 |     180    15300   107100 |    74858    65721     53 |  0.003 % |
34.75/34.81	c |     82239 |     180    15300   107100 |    74858    66681     53 |  0.003 % |
34.75/34.88	c |     82340 |     180    15300   107100 |    74858    66782     53 |  0.003 % |
34.85/34.96	c |     82451 |     180    15300   107100 |    74858    66893     53 |  0.003 % |
34.95/35.05	c |     82573 |     180    15300   107100 |    74858    67015     53 |  0.003 % |
35.06/35.18	c |     82707 |     180    15300   107100 |    74858    67149     53 |  0.003 % |
35.25/35.31	c |     82854 |     180    15300   107100 |    74858    67296     53 |  0.003 % |
35.35/35.43	c |     83017 |     180    15300   107100 |    74858    67459     53 |  0.003 % |
35.55/35.60	c |     83194 |     180    15300   107100 |    74858    67636     53 |  0.003 % |
35.65/35.78	c |     83388 |     180    15300   107100 |    74858    67830     53 |  0.003 % |
35.85/35.95	c |     83601 |     180    15300   107100 |    74858    68043     53 |  0.003 % |
36.05/36.13	c |     83834 |     180    15300   107100 |    74858    68276     53 |  0.003 % |
36.26/36.31	c |     84090 |     180    15300   107100 |    74858    68532     53 |  0.003 % |
36.45/36.56	c |     84371 |     180    15300   107100 |    74858    68813     53 |  0.003 % |
36.75/36.81	c |     84682 |     180    15300   107100 |    74858    69124     53 |  0.003 % |
36.95/37.08	c |     85021 |     180    15300   107100 |    74858    69463     53 |  0.003 % |
37.35/37.40	c |     85395 |     180    15300   107100 |    74858    69837     53 |  0.003 % |
37.65/37.74	c |     85804 |     180    15300   107100 |    74858    70246     53 |  0.003 % |
38.05/38.11	c |     86254 |     180    15300   107100 |    74858    70696     53 |  0.003 % |
38.35/38.47	c |     86749 |     180    15300   107100 |    74858    71191     53 |  0.003 % |
38.75/38.88	c |     87293 |     180    15300   107100 |    74858    71735     53 |  0.003 % |
39.25/39.35	c |     87890 |     180    15300   107100 |    74858    72332     53 |  0.003 % |
39.75/39.82	c |     88546 |     180    15300   107100 |    74858    72988     53 |  0.003 % |
40.35/40.46	c |     89270 |     180    15300   107100 |    74858    73712     53 |  0.003 % |
41.05/41.14	c |     90062 |     180    15300   107100 |    74444    74504     53 |  0.003 % |
41.75/41.84	c |     90933 |     180    15300   107100 |    74444    64348     53 |  0.003 % |
42.45/42.53	c |     91896 |     180    15300   107100 |    74444    65311     53 |  0.003 % |
43.15/43.26	c |     92950 |     180    15300   107100 |    74444    66365     53 |  0.003 % |
43.25/43.34	c |     93052 |     180    15300   107100 |    74444    66467     53 |  0.003 % |
43.35/43.45	c |     93162 |     180    15300   107100 |    74444    66577     53 |  0.003 % |
43.45/43.57	c |     93283 |     180    15300   107100 |    74444    66698     53 |  0.003 % |
43.55/43.68	c |     93417 |     180    15300   107100 |    74444    66832     53 |  0.003 % |
43.65/43.79	c |     93564 |     180    15300   107100 |    74444    66979     53 |  0.003 % |
43.85/43.93	c |     93725 |     180    15300   107100 |    74444    67140     53 |  0.003 % |
43.95/44.06	c |     93901 |     180    15300   107100 |    74444    67316     53 |  0.003 % |
44.15/44.21	c |     94094 |     180    15300   107100 |    74444    67509     53 |  0.003 % |
44.25/44.39	c |     94306 |     180    15300   107100 |    74444    67721     53 |  0.003 % |
44.45/44.59	c |     94540 |     180    15300   107100 |    74444    67955     53 |  0.003 % |
44.75/44.83	c |     94796 |     180    15300   107100 |    74444    68211     53 |  0.003 % |
44.95/45.05	c |     95077 |     180    15300   107100 |    74444    68492     53 |  0.003 % |
45.24/45.34	c |     95386 |     180    15300   107100 |    74444    68801     53 |  0.003 % |
45.54/45.61	c |     95725 |     180    15300   107100 |    74444    69140     53 |  0.003 % |
45.84/45.94	c |     96097 |     180    15300   107100 |    74444    69512     53 |  0.003 % |
46.24/46.30	c |     96507 |     180    15300   107100 |    74444    69922     53 |  0.003 % |
46.54/46.69	c |     96956 |     180    15300   107100 |    74444    70371     53 |  0.003 % |
46.94/47.05	c |     97450 |     180    15300   107100 |    74444    70865     53 |  0.003 % |
47.34/47.43	c |     97994 |     180    15300   107100 |    74444    71409     53 |  0.003 % |
47.84/47.90	c |     98590 |     180    15300   107100 |    74444    72005     53 |  0.003 % |
48.44/48.52	c |     99245 |     180    15300   107100 |    74444    72660     53 |  0.003 % |
49.04/49.12	c |     99968 |     180    15300   107100 |    74444    73383     53 |  0.003 % |
49.64/49.77	c |    100761 |     180    15300   107100 |    73415    62989     53 |  0.003 % |
50.24/50.36	c |    101634 |     180    15300   107100 |    73415    63862     53 |  0.003 % |
50.84/51.00	c |    102593 |     180    15300   107100 |    73415    64821     53 |  0.003 % |
51.84/51.92	c |    103648 |     180    15300   107100 |    73415    65876     53 |  0.003 % |
52.64/52.75	c |    104806 |     180    15300   107100 |    73415    67034     53 |  0.003 % |
52.74/52.83	c |    104907 |     180    15300   107100 |    73415    67135     53 |  0.003 % |
52.84/52.92	c |    105017 |     180    15300   107100 |    73415    67245     53 |  0.003 % |
52.94/53.04	c |    105139 |     180    15300   107100 |    73415    67367     53 |  0.003 % |
53.04/53.16	c |    105272 |     180    15300   107100 |    73415    67500     53 |  0.003 % |
53.14/53.27	c |    105418 |     180    15300   107100 |    73415    67646     53 |  0.003 % |
53.24/53.39	c |    105579 |     180    15300   107100 |    73415    67807     53 |  0.003 % |
53.44/53.58	c |    105759 |     180    15300   107100 |    73415    67987     53 |  0.003 % |
53.64/53.76	c |    105954 |     180    15300   107100 |    73415    68182     53 |  0.003 % |
53.84/53.91	c |    106166 |     180    15300   107100 |    73415    68394     53 |  0.003 % |
54.04/54.10	c |    106399 |     180    15300   107100 |    73415    68627     53 |  0.003 % |
54.14/54.30	c |    106655 |     180    15300   107100 |    73415    68883     53 |  0.003 % |
54.44/54.53	c |    106936 |     180    15300   107100 |    73415    69164     53 |  0.003 % |
54.64/54.79	c |    107246 |     180    15300   107100 |    73415    69474     53 |  0.003 % |
54.94/55.03	c |    107586 |     180    15300   107100 |    73415    69814     53 |  0.003 % |
55.24/55.39	c |    107958 |     180    15300   107100 |    73415    70186     53 |  0.003 % |
55.64/55.74	c |    108367 |     180    15300   107100 |    73415    70595     53 |  0.003 % |
55.94/56.08	c |    108817 |     180    15300   107100 |    73415    71045     53 |  0.003 % |
56.34/56.49	c |    109310 |     180    15300   107100 |    73415    71538     53 |  0.003 % |
56.74/56.89	c |    109853 |     180    15300   107100 |    73415    72081     53 |  0.003 % |
57.34/57.40	c |    110449 |     180    15300   107100 |    72228    61824     53 |  0.003 % |
57.74/57.89	c |    111105 |     180    15300   107100 |    72228    62480     53 |  0.003 % |
58.34/58.42	c |    111826 |     180    15300   107100 |    72228    63201     53 |  0.003 % |
58.84/58.95	c |    112620 |     180    15300   107100 |    72228    63995     53 |  0.003 % |
59.44/59.55	c |    113491 |     180    15300   107100 |    72228    64866     53 |  0.003 % |
60.04/60.17	c |    114449 |     180    15300   107100 |    72228    65824     53 |  0.003 % |
60.74/60.87	c |    115504 |     180    15300   107100 |    72228    66879     53 |  0.003 % |
61.73/61.80	c |    116663 |     180    15300   107100 |    72228    68038     53 |  0.003 % |
62.64/62.72	c |    117938 |     180    15300   107100 |    72228    69313     53 |  0.003 % |
62.73/62.80	c |    118038 |     180    15300   107100 |    72228    69413     53 |  0.003 % |
62.83/62.90	c |    118148 |     180    15300   107100 |    72228    69523     53 |  0.003 % |
62.93/63.01	c |    118270 |     180    15300   107100 |    72228    69645     53 |  0.003 % |
63.03/63.12	c |    118403 |     180    15300   107100 |    72228    69778     53 |  0.003 % |
63.13/63.24	c |    118549 |     180    15300   107100 |    72228    69924     53 |  0.003 % |
63.23/63.39	c |    118710 |     180    15300   107100 |    72228    70085     53 |  0.003 % |
63.43/63.53	c |    118887 |     180    15300   107100 |    72228    70262     53 |  0.003 % |
63.53/63.69	c |    119080 |     180    15300   107100 |    72228    70455     53 |  0.003 % |
63.74/63.90	c |    119295 |     180    15300   107100 |    72228    70670     53 |  0.003 % |
63.93/64.09	c |    119528 |     180    15300   107100 |    72228    70903     53 |  0.003 % |
64.13/64.29	c |    119784 |     180    15300   107100 |    72228    71159     53 |  0.003 % |
64.43/64.53	c |    120066 |     180    15300   107100 |    71375    71441     53 |  0.003 % |
64.74/64.84	c |    120376 |     180    15300   107100 |    71375    61916     53 |  0.003 % |
64.93/65.08	c |    120716 |     180    15300   107100 |    71375    62256     53 |  0.003 % |
65.23/65.35	c |    121088 |     180    15300   107100 |    71375    62628     53 |  0.003 % |
65.53/65.67	c |    121497 |     180    15300   107100 |    71375    63037     53 |  0.003 % |
65.94/66.02	c |    121946 |     180    15300   107100 |    71375    63486     53 |  0.003 % |
66.33/66.41	c |    122441 |     180    15300   107100 |    71375    63981     53 |  0.003 % |
66.73/66.81	c |    122983 |     180    15300   107100 |    71375    64523     53 |  0.003 % |
67.13/67.21	c |    123582 |     180    15300   107100 |    71375    65122     53 |  0.003 % |
67.63/67.75	c |    124240 |     180    15300   107100 |    71375    65780     53 |  0.003 % |
68.23/68.31	c |    124961 |     180    15300   107100 |    71375    66501     53 |  0.003 % |
68.73/68.82	c |    125754 |     180    15300   107100 |    71375    67294     53 |  0.003 % |
69.33/69.43	c |    126628 |     180    15300   107100 |    71375    68168     53 |  0.003 % |
69.93/70.07	c |    127586 |     180    15300   107100 |    71375    69126     53 |  0.003 % |
70.83/70.99	c |    128639 |     180    15300   107100 |    71375    70179     53 |  0.003 % |
71.73/71.85	c |    129799 |     180    15300   107100 |    71375    71339     53 |  0.003 % |
72.63/72.77	c |    131073 |     180    15300   107100 |    61530    54066     53 |  0.003 % |
73.54/73.64	c |    132473 |     180    15300   107100 |    61530    55466     53 |  0.003 % |
73.64/73.72	c |    132573 |     180    15300   107100 |    61530    55566     53 |  0.003 % |
73.73/73.81	c |    132685 |     180    15300   107100 |    61530    55678     53 |  0.003 % |
73.83/73.90	c |    132806 |     180    15300   107100 |    61530    55799     53 |  0.003 % |
73.93/74.01	c |    132939 |     180    15300   107100 |    61530    55932     53 |  0.003 % |
74.03/74.10	c |    133085 |     180    15300   107100 |    61530    56078     53 |  0.003 % |
74.13/74.23	c |    133245 |     180    15300   107100 |    61530    56238     53 |  0.003 % |
74.23/74.37	c |    133421 |     180    15300   107100 |    61530    56414     53 |  0.003 % |
74.43/74.50	c |    133616 |     180    15300   107100 |    61530    56609     53 |  0.003 % |
74.53/74.64	c |    133829 |     180    15300   107100 |    61530    56822     53 |  0.003 % |
74.63/74.80	c |    134062 |     180    15300   107100 |    61530    57055     53 |  0.003 % |
74.93/75.01	c |    134318 |     180    15300   107100 |    61530    57311     53 |  0.003 % |
75.13/75.21	c |    134602 |     180    15300   107100 |    61530    57595     53 |  0.003 % |
75.33/75.42	c |    134912 |     180    15300   107100 |    61530    57905     53 |  0.003 % |
75.53/75.66	c |    135251 |     180    15300   107100 |    61530    58244     53 |  0.003 % |
75.73/75.88	c |    135625 |     180    15300   107100 |    61530    58618     53 |  0.003 % |
76.03/76.14	c |    136034 |     180    15300   107100 |    61530    59027     53 |  0.003 % |
76.33/76.50	c |    136483 |     180    15300   107100 |    61530    59476     53 |  0.003 % |
76.73/76.85	c |    136976 |     180    15300   107100 |    61530    59969     53 |  0.003 % |
77.13/77.20	c |    137519 |     180    15300   107100 |    61530    60512     53 |  0.003 % |
77.63/77.72	c |    138115 |     180    15300   107100 |    61530    61108     53 |  0.003 % |
78.13/78.23	c |    138771 |     180    15300   107100 |    61530    55329     53 |  0.003 % |
78.53/78.68	c |    139491 |     180    15300   107100 |    61530    56049     53 |  0.003 % |
79.13/79.21	c |    140283 |     180    15300   107100 |    56560    51160     53 |  0.003 % |
79.53/79.69	c |    141154 |     180    15300   107100 |    56560    52031     53 |  0.003 % |
80.13/80.26	c |    142112 |     180    15300   107100 |    56560    52989     53 |  0.003 % |
80.73/80.82	c |    143165 |     180    15300   107100 |    56560    54042     53 |  0.003 % |
81.33/81.44	c |    144323 |     180    15300   107100 |    56560    55200     53 |  0.003 % |
82.13/82.21	c |    145596 |     180    15300   107100 |    56560    56473     53 |  0.003 % |
83.03/83.17	c |    146998 |     180    15300   107100 |    56560    52211     53 |  0.003 % |
84.03/84.16	c |    148539 |     180    15300   107100 |    56560    53752     53 |  0.003 % |
84.13/84.25	c |    148639 |     180    15300   107100 |    56560    53852     53 |  0.003 % |
84.23/84.31	c |    148750 |     180    15300   107100 |    56560    53963     53 |  0.003 % |
84.33/84.40	c |    148872 |     180    15300   107100 |    56560    54085     53 |  0.003 % |
84.33/84.48	c |    149006 |     180    15300   107100 |    56560    54219     53 |  0.003 % |
84.43/84.59	c |    149152 |     180    15300   107100 |    56560    54365     53 |  0.003 % |
84.63/84.72	c |    149313 |     180    15300   107100 |    56560    54526     53 |  0.003 % |
84.73/84.83	c |    149489 |     180    15300   107100 |    56560    54702     53 |  0.003 % |
84.83/84.94	c |    149683 |     180    15300   107100 |    56560    54896     53 |  0.003 % |
84.93/85.09	c |    149895 |     180    15300   107100 |    56560    55108     53 |  0.003 % |
85.13/85.24	c |    150131 |     180    15300   107100 | 2147483647    55344     53 |  0.003 % |
85.33/85.41	c |    150387 |     180    15300   107100 | 2147483647    55600     53 |  0.003 % |
85.52/85.60	c |    150668 |     180    15300   107100 | 2147483647    55881     53 |  0.003 % |
85.63/85.80	c |    150981 |     180    15300   107100 | 2147483647    56194     53 |  0.003 % |
85.92/86.01	c |    151320 |     180    15300   107100 | 2147483647    56533     53 |  0.003 % |
86.12/86.26	c |    151693 |     180    15300   107100 | 2147483647    56906     53 |  0.003 % |
86.42/86.53	c |    152103 |     180    15300   107100 | 2147483647    57316     53 |  0.003 % |
86.73/86.81	c |    152553 |     180    15300   107100 | 2147483647    57766     53 |  0.003 % |
87.02/87.15	c |    153046 |     180    15300   107100 | 2147483647    58259     53 |  0.003 % |
87.42/87.53	c |    153588 |     180    15300   107100 | 2147483647    58801     53 |  0.003 % |
87.83/87.97	c |    154186 |     180    15300   107100 | 2147483647    59399     53 |  0.003 % |
88.32/88.46	c |    154843 |     180    15300   107100 | 2147483647    60056     53 |  0.003 % |
88.82/88.92	c |    155563 |     180    15300   107100 | 2147483647    60776     53 |  0.003 % |
89.42/89.56	c |    156357 |     180    15300   107100 | 2147483647    61570     53 |  0.003 % |
90.03/90.20	c |    157228 |     180    15300   107100 | 2147483647    62441     53 |  0.003 % |
90.72/90.89	c |    158187 |     180    15300   107100 | 2147483647    63400     53 |  0.003 % |
91.52/91.60	c |    159240 |     180    15300   107100 | 2147483647    64453     53 |  0.003 % |
92.23/92.36	c |    160400 |     180    15300   107100 | 2147483647    65613     53 |  0.003 % |
93.12/93.23	c |    161674 |     180    15300   107100 | 2147483647    66887     53 |  0.003 % |
94.02/94.10	c |    163074 |     180    15300   107100 | 2147483647    68287     53 |  0.003 % |
95.32/95.47	c |    164614 |     180    15300   107100 | 2147483647    69827     53 |  0.003 % |
96.73/96.87	c |    166310 |     180    15300   107100 | 2147483647    71523     53 |  0.003 % |
96.82/96.96	c |    166413 |     180    15300   107100 | 2147483647    71626     53 |  0.003 % |
96.92/97.06	c |    166524 |     180    15300   107100 | 2147483647    71737     53 |  0.003 % |
97.02/97.19	c |    166645 |     180    15300   107100 | 2147483647    71858     53 |  0.003 % |
97.22/97.33	c |    166779 |     180    15300   107100 | 2147483647    71992     53 |  0.003 % |
97.32/97.45	c |    166925 |     180    15300   107100 | 2147483647    72138     53 |  0.003 % |
97.42/97.59	c |    167086 |     180    15300   107100 | 2147483647    72299     53 |  0.003 % |
97.62/97.78	c |    167264 |     180    15300   107100 | 2147483647    72477     53 |  0.003 % |
97.82/97.95	c |    167457 |     180    15300   107100 | 2147483647    72670     53 |  0.003 % |
98.02/98.12	c |    167669 |     180    15300   107100 | 2147483647    72882     53 |  0.003 % |
98.22/98.30	c |    167903 |     180    15300   107100 | 2147483647    73116     53 |  0.003 % |
98.32/98.48	c |    168159 |     180    15300   107100 | 2147483647    73372     53 |  0.003 % |
98.52/98.69	c |    168440 |     180    15300   107100 | 2147483647    73653     53 |  0.003 % |
98.82/98.92	c |    168750 |     180    15300   107100 | 2147483647    73963     53 |  0.003 % |
99.02/99.16	c |    169089 |     180    15300   107100 | 2147483647    74302     53 |  0.003 % |
99.42/99.56	c |    169462 |     180    15300   107100 | 2147483647    74675     53 |  0.003 % |
99.82/99.92	c |    169872 |     180    15300   107100 | 2147483647    75085     53 |  0.003 % |
100.22/100.33	c |    170324 |     180    15300   107100 |    75213    65114     53 |  0.003 % |
100.52/100.67	c |    170817 |     180    15300   107100 |    75213    65607     53 |  0.003 % |
100.92/101.05	c |    171361 |     180    15300   107100 |    75213    66151     53 |  0.003 % |
101.32/101.46	c |    171957 |     180    15300   107100 |    75213    66747     53 |  0.003 % |
101.82/101.93	c |    172613 |     180    15300   107100 |    75213    67403     53 |  0.003 % |
102.32/102.42	c |    173334 |     180    15300   107100 |    75213    68124     53 |  0.003 % |
102.82/102.97	c |    174126 |     180    15300   107100 |    75213    68916     53 |  0.003 % |
103.42/103.59	c |    174998 |     180    15300   107100 |    75213    69788     53 |  0.003 % |
104.22/104.31	c |    175959 |     180    15300   107100 |    75213    70749     53 |  0.003 % |
104.92/105.09	c |    177012 |     180    15300   107100 |    75213    71802     53 |  0.003 % |
106.01/106.12	c |    178170 |     180    15300   107100 |    75213    72960     53 |  0.003 % |
107.02/107.13	c |    179443 |     180    15300   107100 |    75213    74233     53 |  0.003 % |
108.11/108.24	c |    180844 |     180    15300   107100 |    74791    64783     53 |  0.003 % |
109.11/109.28	c |    182387 |     180    15300   107100 |    74791    66326     53 |  0.003 % |
110.21/110.39	c |    184081 |     180    15300   107100 |    74791    68020     53 |  0.003 % |
111.71/111.86	c |    185945 |     180    15300   107100 |    74791    69884     53 |  0.003 % |
111.81/111.94	c |    186045 |     180    15300   107100 |    74791    69984     53 |  0.003 % |
111.91/112.04	c |    186158 |     180    15300   107100 |    74791    70097     53 |  0.003 % |
112.02/112.13	c |    186280 |     180    15300   107100 |    74791    70219     53 |  0.003 % |
112.12/112.23	c |    186414 |     180    15300   107100 |    74791    70353     53 |  0.003 % |
112.21/112.35	c |    186560 |     180    15300   107100 |    74791    70499     53 |  0.003 % |
112.41/112.52	c |    186723 |     180    15300   107100 |    74791    70662     53 |  0.003 % |
112.51/112.67	c |    186899 |     180    15300   107100 |    74791    70838     53 |  0.003 % |
112.71/112.83	c |    187093 |     180    15300   107100 |    74791    71032     53 |  0.003 % |
112.91/113.03	c |    187308 |     180    15300   107100 |    74791    71247     53 |  0.003 % |
113.12/113.22	c |    187542 |     180    15300   107100 |    74791    71481     53 |  0.003 % |
113.31/113.45	c |    187800 |     180    15300   107100 |    74791    71739     53 |  0.003 % |
113.61/113.70	c |    188081 |     180    15300   107100 |    74791    72020     53 |  0.003 % |
113.81/113.99	c |    188390 |     180    15300   107100 |    74791    72329     53 |  0.003 % |
114.22/114.31	c |    188729 |     180    15300   107100 |    74791    72668     53 |  0.003 % |
114.41/114.59	c |    189101 |     180    15300   107100 |    74791    73040     53 |  0.003 % |
114.81/114.91	c |    189511 |     180    15300   107100 |    74791    73450     53 |  0.003 % |
115.21/115.36	c |    189960 |     180    15300   107100 |    74791    73899     53 |  0.003 % |
115.71/115.81	c |    190453 |     180    15300   107100 |    73941    63397     53 |  0.003 % |
116.11/116.21	c |    190995 |     180    15300   107100 |    73941    63939     53 |  0.003 % |
116.51/116.62	c |    191591 |     180    15300   107100 |    73941    64535     53 |  0.003 % |
117.01/117.14	c |    192246 |     180    15300   107100 |    73941    65190     53 |  0.003 % |
117.51/117.63	c |    192966 |     180    15300   107100 |    73941    65910     53 |  0.003 % |
118.11/118.27	c |    193759 |     180    15300   107100 |    73941    66703     53 |  0.003 % |
118.81/118.92	c |    194632 |     180    15300   107100 |    73941    67576     53 |  0.003 % |
119.41/119.56	c |    195590 |     180    15300   107100 |    73941    68534     53 |  0.003 % |
120.41/120.51	c |    196643 |     180    15300   107100 |    73941    69587     53 |  0.003 % |
121.21/121.39	c |    197801 |     180    15300   107100 |    73941    70745     53 |  0.003 % |
122.11/122.29	c |    199074 |     180    15300   107100 |    73941    72018     53 |  0.003 % |
123.41/123.55	c |    200474 |     180    15300   107100 |    72947    62964     53 |  0.003 % |
124.41/124.56	c |    202014 |     180    15300   107100 |    72947    64504     53 |  0.003 % |
125.61/125.80	c |    203709 |     180    15300   107100 |    72947    66199     53 |  0.003 % |
127.00/127.12	c |    205573 |     180    15300   107100 |    72947    68063     53 |  0.003 % |
128.40/128.60	c |    207625 |     180    15300   107100 |    72947    70115     53 |  0.003 % |
128.51/128.67	c |    207726 |     180    15300   107100 |    72947    70216     53 |  0.003 % |
128.61/128.76	c |    207836 |     180    15300   107100 |    72947    70326     53 |  0.003 % |
128.70/128.85	c |    207957 |     180    15300   107100 |    72947    70447     53 |  0.003 % |
128.80/128.96	c |    208091 |     180    15300   107100 |    72947    70581     53 |  0.003 % |
129.00/129.11	c |    208238 |     180    15300   107100 |    72947    70728     53 |  0.003 % |
129.10/129.24	c |    208398 |     180    15300   107100 |    72947    70888     53 |  0.003 % |
129.30/129.40	c |    208575 |     180    15300   107100 |    72947    71065     53 |  0.003 % |
129.40/129.59	c |    208768 |     180    15300   107100 |    72947    71258     53 |  0.003 % |
129.61/129.75	c |    208980 |     180    15300   107100 |    72947    71470     53 |  0.003 % |
129.80/129.96	c |    209215 |     180    15300   107100 |    72947    71705     53 |  0.003 % |
130.00/130.16	c |    209474 |     180    15300   107100 |    72947    71964     53 |  0.003 % |
130.20/130.39	c |    209757 |     180    15300   107100 |    72947    72247     53 |  0.003 % |
130.50/130.62	c |    210068 |     180    15300   107100 |    72492    72558     53 |  0.003 % |
130.90/131.00	c |    210407 |     180    15300   107100 |    72492    62873     53 |  0.003 % |
131.10/131.28	c |    210779 |     180    15300   107100 |    72492    63245     53 |  0.003 % |
131.50/131.60	c |    211189 |     180    15300   107100 |    72492    63655     53 |  0.003 % |
131.81/131.92	c |    211639 |     180    15300   107100 |    72492    64105     53 |  0.003 % |
132.10/132.28	c |    212135 |     180    15300   107100 |    72492    64601     53 |  0.003 % |
132.50/132.64	c |    212677 |     180    15300   107100 |    72492    65143     53 |  0.003 % |
132.91/133.03	c |    213273 |     180    15300   107100 |    72492    65739     53 |  0.003 % |
133.30/133.48	c |    213931 |     180    15300   107100 |    72492    66397     53 |  0.003 % |
133.90/134.00	c |    214652 |     180    15300   107100 |    72492    67118     53 |  0.003 % |
134.40/134.56	c |    215444 |     180    15300   107100 |    72492    67910     53 |  0.003 % |
135.00/135.17	c |    216315 |     180    15300   107100 |    72492    68781     53 |  0.003 % |
135.60/135.79	c |    217273 |     180    15300   107100 |    72492    69739     53 |  0.003 % |
136.40/136.58	c |    218326 |     180    15300   107100 |    72492    70792     53 |  0.003 % |
137.20/137.39	c |    219484 |     180    15300   107100 |    72492    71950     53 |  0.003 % |
138.10/138.26	c |    220757 |     180    15300   107100 |    72466    63796     53 |  0.003 % |
139.00/139.16	c |    222159 |     180    15300   107100 |    72466    65198     53 |  0.003 % |
140.10/140.24	c |    223700 |     180    15300   107100 |    72466    66739     53 |  0.003 % |
141.20/141.36	c |    225395 |     180    15300   107100 |    72466    68434     53 |  0.003 % |
142.60/142.70	c |    227258 |     180    15300   107100 |    72466    70297     53 |  0.003 % |
144.00/144.19	c |    229308 |     180    15300   107100 |    72466    72347     53 |  0.003 % |
145.50/145.65	c |    231561 |     180    15300   107100 |    63744    57243     53 |  0.003 % |
145.60/145.75	c |    231663 |     180    15300   107100 |    63744    57345     53 |  0.003 % |
145.70/145.85	c |    231774 |     180    15300   107100 |    63744    57456     53 |  0.003 % |
145.80/145.95	c |    231896 |     180    15300   107100 |    63744    57578     53 |  0.003 % |
145.90/146.06	c |    232029 |     180    15300   107100 |    63744    57711     53 |  0.003 % |
146.00/146.17	c |    232176 |     180    15300   107100 |    63744    57858     53 |  0.003 % |
146.10/146.28	c |    232337 |     180    15300   107100 |    63744    58019     53 |  0.003 % |
146.20/146.39	c |    232513 |     180    15300   107100 |    63744    58195     53 |  0.003 % |
146.40/146.56	c |    232708 |     180    15300   107100 |    63744    58390     53 |  0.003 % |
146.60/146.71	c |    232920 |     180    15300   107100 |    63744    58602     53 |  0.003 % |
146.70/146.88	c |    233154 |     180    15300   107100 |    63744    58836     53 |  0.003 % |
146.90/147.03	c |    233410 |     180    15300   107100 |    63744    59092     53 |  0.003 % |
147.10/147.21	c |    233692 |     180    15300   107100 |    63744    59374     53 |  0.003 % |
147.20/147.40	c |    234001 |     180    15300   107100 |    63744    59683     53 |  0.003 % |
147.50/147.65	c |    234340 |     180    15300   107100 |    63744    60022     53 |  0.003 % |
147.80/147.91	c |    234712 |     180    15300   107100 |    63744    60394     53 |  0.003 % |
148.10/148.20	c |    235122 |     180    15300   107100 |    63744    60804     53 |  0.003 % |
148.30/148.49	c |    235571 |     180    15300   107100 |    63744    61253     53 |  0.003 % |
148.70/148.85	c |    236065 |     180    15300   107100 |    63744    61747     53 |  0.003 % |
149.10/149.24	c |    236608 |     180    15300   107100 |    63744    62290     53 |  0.003 % |
149.50/149.66	c |    237208 |     180    15300   107100 |    63744    62890     53 |  0.003 % |
150.00/150.12	c |    237864 |     180    15300   107100 |    63744    63546     53 |  0.003 % |
150.40/150.58	c |    238585 |     180    15300   107100 |    63744    57490     53 |  0.003 % |
151.00/151.15	c |    239379 |     180    15300   107100 |    63744    58284     53 |  0.003 % |
151.60/151.71	c |    240250 |     180    15300   107100 |    58905    53194     53 |  0.003 % |
152.10/152.24	c |    241208 |     180    15300   107100 |    58905    54152     53 |  0.003 % |
152.80/152.93	c |    242262 |     180    15300   107100 |    58905    55206     53 |  0.003 % |
153.50/153.63	c |    243421 |     180    15300   107100 |    58905    56365     53 |  0.003 % |
154.20/154.32	c |    244695 |     180    15300   107100 |    58905    57639     53 |  0.003 % |
155.00/155.15	c |    246095 |     180    15300   107100 |    58905    53141     53 |  0.003 % |
156.00/156.11	c |    247637 |     180    15300   107100 |    58905    54683     53 |  0.003 % |
157.10/157.22	c |    249332 |     180    15300   107100 |    58905    56378     53 |  0.003 % |
158.20/158.33	c |    251195 |     180    15300   107100 | 2147483647    58241     53 |  0.003 % |
159.40/159.56	c |    253245 |     180    15300   107100 | 2147483647    60291     53 |  0.003 % |
160.79/160.91	c |    255499 |     180    15300   107100 | 2147483647    62545     53 |  0.003 % |
162.39/162.52	c |    257977 |     180    15300   107100 | 2147483647    65023     53 |  0.003 % |
162.49/162.60	c |    258078 |     180    15300   107100 | 2147483647    65124     53 |  0.003 % |
162.60/162.70	c |    258188 |     180    15300   107100 | 2147483647    65234     53 |  0.003 % |
162.70/162.80	c |    258309 |     180    15300   107100 | 2147483647    65355     53 |  0.003 % |
162.79/162.90	c |    258444 |     180    15300   107100 | 2147483647    65490     53 |  0.003 % |
162.89/163.02	c |    258591 |     180    15300   107100 | 2147483647    65637     53 |  0.003 % |
162.99/163.17	c |    258751 |     180    15300   107100 | 2147483647    65797     53 |  0.003 % |
163.19/163.31	c |    258928 |     180    15300   107100 | 2147483647    65974     53 |  0.003 % |
163.29/163.47	c |    259122 |     180    15300   107100 | 2147483647    66168     53 |  0.003 % |
163.49/163.64	c |    259334 |     180    15300   107100 | 2147483647    66380     53 |  0.003 % |
163.59/163.80	c |    259567 |     180    15300   107100 | 2147483647    66613     53 |  0.003 % |
163.89/164.02	c |    259824 |     180    15300   107100 | 2147483647    66870     53 |  0.003 % |
164.09/164.26	c |    260106 |     180    15300   107100 | 2147483647    67152     53 |  0.003 % |
164.39/164.50	c |    260415 |     180    15300   107100 | 2147483647    67461     53 |  0.003 % |
164.59/164.74	c |    260754 |     180    15300   107100 | 2147483647    67800     53 |  0.003 % |
164.89/165.02	c |    261127 |     180    15300   107100 | 2147483647    68173     53 |  0.003 % |
165.19/165.30	c |    261537 |     180    15300   107100 | 2147483647    68583     53 |  0.003 % |
165.49/165.67	c |    261987 |     180    15300   107100 | 2147483647    69033     53 |  0.003 % |
165.89/166.07	c |    262480 |     180    15300   107100 | 2147483647    69526     53 |  0.003 % |
166.29/166.48	c |    263022 |     180    15300   107100 | 2147483647    70068     53 |  0.003 % |
166.79/166.97	c |    263620 |     180    15300   107100 | 2147483647    70666     53 |  0.003 % |
167.39/167.51	c |    264276 |     180    15300   107100 | 2147483647    71322     53 |  0.003 % |
167.89/168.07	c |    264996 |     180    15300   107100 | 2147483647    72042     53 |  0.003 % |
168.49/168.68	c |    265789 |     180    15300   107100 | 2147483647    72835     53 |  0.003 % |
169.19/169.35	c |    266661 |     180    15300   107100 | 2147483647    73707     53 |  0.003 % |
169.89/170.06	c |    267621 |     180    15300   107100 | 2147483647    74667     53 |  0.003 % |
170.69/170.85	c |    268674 |     180    15300   107100 | 2147483647    75720     53 |  0.003 % |
171.58/171.75	c |    269833 |     180    15300   107100 | 2147483647    76879     53 |  0.003 % |
172.59/172.75	c |    271106 |     180    15300   107100 |    77048    67402     53 |  0.003 % |
173.59/173.74	c |    272506 |     180    15300   107100 |    77048    68802     53 |  0.003 % |
174.79/174.94	c |    274048 |     180    15300   107100 |    77048    70344     53 |  0.003 % |
176.08/176.27	c |    275742 |     180    15300   107100 |    77048    72038     53 |  0.003 % |
177.48/177.69	c |    277605 |     180    15300   107100 |    77048    73901     53 |  0.003 % |
179.09/179.21	c |    279654 |     180    15300   107100 |    77048    75950     53 |  0.003 % |
180.68/180.83	c |    281907 |     180    15300   107100 |    76296    67006     53 |  0.003 % |
182.38/182.51	c |    284385 |     180    15300   107100 |    76296    69484     53 |  0.003 % |
184.28/184.50	c |    287110 |     180    15300   107100 |    76296    72209     53 |  0.003 % |
184.38/184.59	c |    287211 |     180    15300   107100 |    76296    72310     53 |  0.003 % |
184.48/184.69	c |    287321 |     180    15300   107100 |    76296    72420     53 |  0.003 % |
184.58/184.78	c |    287442 |     180    15300   107100 |    76296    72541     53 |  0.003 % |
184.78/184.91	c |    287575 |     180    15300   107100 |    76296    72674     53 |  0.003 % |
184.88/185.07	c |    287722 |     180    15300   107100 |    76296    72821     53 |  0.003 % |
185.08/185.22	c |    287882 |     180    15300   107100 |    76296    72981     53 |  0.003 % |
185.28/185.42	c |    288058 |     180    15300   107100 |    76296    73157     53 |  0.003 % |
185.38/185.59	c |    288251 |     180    15300   107100 |    76296    73350     53 |  0.003 % |
185.58/185.76	c |    288463 |     180    15300   107100 |    76296    73562     53 |  0.003 % |
185.78/185.99	c |    288697 |     180    15300   107100 |    76296    73796     53 |  0.003 % |
186.08/186.20	c |    288953 |     180    15300   107100 |    76296    74052     53 |  0.003 % |
186.28/186.43	c |    289235 |     180    15300   107100 |    76296    74334     53 |  0.003 % |
186.58/186.71	c |    289544 |     180    15300   107100 |    76296    74643     53 |  0.003 % |
186.88/187.03	c |    289883 |     180    15300   107100 |    76296    74982     53 |  0.003 % |
187.28/187.42	c |    290255 |     180    15300   107100 |    75100    64402     53 |  0.003 % |
187.58/187.70	c |    290664 |     180    15300   107100 |    75100    64811     53 |  0.003 % |
187.88/188.05	c |    291115 |     180    15300   107100 |    75100    65262     53 |  0.003 % |
188.28/188.41	c |    291608 |     180    15300   107100 |    75100    65755     53 |  0.003 % |
188.57/188.78	c |    292151 |     180    15300   107100 |    75100    66298     53 |  0.003 % |
188.98/189.19	c |    292748 |     180    15300   107100 |    75100    66895     53 |  0.003 % |
189.47/189.62	c |    293403 |     180    15300   107100 |    75100    67550     53 |  0.003 % |
189.97/190.12	c |    294125 |     180    15300   107100 |    75100    68272     53 |  0.003 % |
190.47/190.62	c |    294917 |     180    15300   107100 |    75100    69064     53 |  0.003 % |
190.97/191.19	c |    295788 |     180    15300   107100 |    75100    69935     53 |  0.003 % |
191.67/191.85	c |    296748 |     180    15300   107100 |    75100    70895     53 |  0.003 % |
192.38/192.58	c |    297801 |     180    15300   107100 |    75100    71948     53 |  0.003 % |
193.17/193.38	c |    298959 |     180    15300   107100 |    75100    73106     53 |  0.003 % |
194.27/194.41	c |    300232 |     180    15300   107100 |    74147    64327     53 |  0.003 % |
195.17/195.30	c |    301636 |     180    15300   107100 |    74147    65731     53 |  0.003 % |
196.17/196.37	c |    303176 |     180    15300   107100 |    74147    67271     53 |  0.003 % |
197.47/197.67	c |    304872 |     180    15300   107100 |    74147    68967     53 |  0.003 % |
198.77/199.00	c |    306735 |     180    15300   107100 |    74147    70830     53 |  0.003 % |
200.37/200.56	c |    308785 |     180    15300   107100 |    74147    72880     53 |  0.003 % |
202.07/202.29	c |    311038 |     180    15300   107100 |    74095    65152     53 |  0.003 % |
203.97/204.11	c |    313518 |     180    15300   107100 |    74095    67632     53 |  0.003 % |
205.77/205.99	c |    316243 |     180    15300   107100 |    74095    70357     53 |  0.003 % |
207.97/208.12	c |    319241 |     180    15300   107100 |    74095    73355     53 |  0.003 % |
207.97/208.18	c |    319342 |     180    15300   107100 |    74095    73456     53 |  0.003 % |
208.07/208.26	c |    319452 |     180    15300   107100 |    74095    73566     53 |  0.003 % |
208.17/208.35	c |    319575 |     180    15300   107100 |    74095    73689     53 |  0.003 % |
208.27/208.46	c |    319708 |     180    15300   107100 |    74095    73822     53 |  0.003 % |
208.47/208.60	c |    319854 |     180    15300   107100 |    74095    73968     53 |  0.003 % |
208.57/208.73	c |    320014 |     180    15300   107100 |    74116    74128     53 |  0.003 % |
208.77/208.94	c |    320190 |     180    15300   107100 |    74116    63563     53 |  0.003 % |
208.87/209.08	c |    320384 |     180    15300   107100 |    74116    63757     53 |  0.003 % |
209.07/209.24	c |    320596 |     180    15300   107100 |    74116    63969     53 |  0.003 % |
209.27/209.44	c |    320830 |     180    15300   107100 |    74116    64203     53 |  0.003 % |
209.47/209.65	c |    321086 |     180    15300   107100 |    74116    64459     53 |  0.003 % |
209.67/209.87	c |    321368 |     180    15300   107100 |    74116    64741     53 |  0.003 % |
209.87/210.09	c |    321677 |     180    15300   107100 |    74116    65050     53 |  0.003 % |
210.17/210.33	c |    322016 |     180    15300   107100 |    74116    65389     53 |  0.003 % |
210.46/210.62	c |    322388 |     180    15300   107100 |    74116    65761     53 |  0.003 % |
210.76/210.92	c |    322799 |     180    15300   107100 |    74116    66172     53 |  0.003 % |
211.07/211.21	c |    323248 |     180    15300   107100 |    74116    66621     53 |  0.003 % |
211.36/211.52	c |    323741 |     180    15300   107100 |    74116    67114     53 |  0.003 % |
211.66/211.86	c |    324283 |     180    15300   107100 |    74116    67656     53 |  0.003 % |
212.07/212.25	c |    324879 |     180    15300   107100 |    74116    68252     53 |  0.003 % |
212.46/212.67	c |    325534 |     180    15300   107100 |    74116    68907     53 |  0.003 % |
213.06/213.27	c |    326254 |     180    15300   107100 |    74116    69627     53 |  0.003 % |
213.76/213.92	c |    327048 |     180    15300   107100 |    74116    70421     53 |  0.003 % |
214.46/214.60	c |    327919 |     180    15300   107100 |    74116    71292     53 |  0.003 % |
215.16/215.33	c |    328877 |     180    15300   107100 |    74116    72250     53 |  0.003 % |
215.96/216.11	c |    329930 |     180    15300   107100 |    74116    73303     53 |  0.003 % |
216.76/216.91	c |    331088 |     180    15300   107100 |    73375    63843     53 |  0.003 % |
217.67/217.85	c |    332363 |     180    15300   107100 |    73375    65118     53 |  0.003 % |
218.67/218.81	c |    333763 |     180    15300   107100 |    73375    66518     53 |  0.003 % |
219.76/219.96	c |    335303 |     180    15300   107100 |    73375    68058     53 |  0.003 % |
221.06/221.25	c |    336997 |     180    15300   107100 |    73375    69752     54 |  0.003 % |
222.46/222.64	c |    338861 |     180    15300   107100 |    73375    71616     54 |  0.003 % |
223.86/224.08	c |    340911 |     180    15300   107100 |    72755    63959     54 |  0.003 % |
225.46/225.63	c |    343164 |     180    15300   107100 |    72755    66212     54 |  0.003 % |
227.06/227.20	c |    345642 |     180    15300   107100 |    72755    68690     54 |  0.003 % |
228.86/229.01	c |    348367 |     180    15300   107100 |    72755    71415     54 |  0.003 % |
230.76/230.90	c |    351366 |     180    15300   107100 |    64000    57521     54 |  0.003 % |
232.56/232.76	c |    354662 |     180    15300   107100 |    64000    60817     54 |  0.003 % |
232.66/232.85	c |    354763 |     180    15300   107100 |    64000    60918     54 |  0.003 % |
232.76/232.93	c |    354874 |     180    15300   107100 |    64000    61029     54 |  0.003 % |
232.86/233.02	c |    354996 |     180    15300   107100 |    64000    61151     54 |  0.003 % |
232.96/233.12	c |    355132 |     180    15300   107100 |    64000    61287     54 |  0.003 % |
233.06/233.23	c |    355279 |     180    15300   107100 |    64000    61434     54 |  0.003 % |
233.16/233.35	c |    355442 |     180    15300   107100 |    64000    61597     54 |  0.003 % |
233.26/233.48	c |    355618 |     180    15300   107100 |    64000    61773     54 |  0.003 % |
233.46/233.61	c |    355811 |     180    15300   107100 |    64000    61966     54 |  0.003 % |
233.56/233.75	c |    356023 |     180    15300   107100 |    64000    62178     54 |  0.003 % |
233.76/233.96	c |    356256 |     180    15300   107100 |    64000    62411     54 |  0.003 % |
233.96/234.16	c |    356512 |     180    15300   107100 |    64000    62667     54 |  0.003 % |
234.16/234.39	c |    356794 |     180    15300   107100 |    64000    62949     54 |  0.003 % |
234.46/234.64	c |    357103 |     180    15300   107100 |    64000    63258     54 |  0.003 % |
234.66/234.88	c |    357443 |     180    15300   107100 |    64000    63598     54 |  0.003 % |
234.96/235.13	c |    357815 |     180    15300   107100 |    64000    63970     54 |  0.003 % |
235.26/235.43	c |    358224 |     180    15300   107100 |    64000    57971     54 |  0.003 % |
235.46/235.68	c |    358674 |     180    15300   107100 |    64000    58421     54 |  0.003 % |
235.76/235.98	c |    359169 |     180    15300   107100 |    64000    58916     54 |  0.003 % |
236.16/236.31	c |    359713 |     180    15300   107100 |    64000    59460     54 |  0.003 % |
236.46/236.64	c |    360310 |     180    15300   107100 | 2147483647    60057     54 |  0.003 % |
236.86/237.05	c |    360965 |     180    15300   107100 | 2147483647    60712     54 |  0.003 % |
237.26/237.49	c |    361686 |     180    15300   107100 | 2147483647    61433     54 |  0.003 % |
237.76/237.97	c |    362478 |     180    15300   107100 | 2147483647    62225     54 |  0.003 % |
238.25/238.48	c |    363351 |     180    15300   107100 | 2147483647    63098     54 |  0.003 % |
238.95/239.13	c |    364310 |     180    15300   107100 | 2147483647    64057     54 |  0.003 % |
239.56/239.80	c |    365365 |     180    15300   107100 | 2147483647    65112     54 |  0.003 % |
240.35/240.58	c |    366523 |     180    15300   107100 | 2147483647    66270     54 |  0.003 % |
241.45/241.68	c |    367798 |     180    15300   107100 | 2147483647    67545     54 |  0.003 % |
242.65/242.81	c |    369199 |     180    15300   107100 | 2147483647    68946     54 |  0.003 % |
243.75/244.00	c |    370739 |     180    15300   107100 |    69751    62493     54 |  0.003 % |
244.85/245.08	c |    372435 |     180    15300   107100 |    69751    64189     54 |  0.003 % |
246.05/246.26	c |    374300 |     180    15300   107100 |    69751    66054     54 |  0.003 % |
247.45/247.64	c |    376351 |     180    15300   107100 |    69751    68105     54 |  0.003 % |
249.05/249.23	c |    378604 |     180    15300   107100 |    69751    62613     54 |  0.003 % |
250.65/250.82	c |    381083 |     180    15300   107100 |    64009    58276     54 |  0.003 % |
252.35/252.59	c |    383808 |     180    15300   107100 |    64009    61001     54 |  0.003 % |
254.45/254.65	c |    386805 |     180    15300   107100 |    64009    63998     54 |  0.003 % |
256.65/256.86	c |    390101 |     180    15300   107100 | 2147483647    60886     54 |  0.003 % |
259.25/259.43	c |    393726 |     180    15300   107100 | 2147483647    64511     54 |  0.003 % |
259.35/259.51	c |    393826 |     180    15300   107100 | 2147483647    64611     54 |  0.003 % |
259.35/259.59	c |    393937 |     180    15300   107100 | 2147483647    64722     54 |  0.003 % |
259.45/259.68	c |    394060 |     180    15300   107100 | 2147483647    64845     54 |  0.003 % |
259.55/259.80	c |    394195 |     180    15300   107100 | 2147483647    64980     54 |  0.003 % |
259.75/259.90	c |    394343 |     180    15300   107100 | 2147483647    65128     54 |  0.003 % |
259.85/260.03	c |    394504 |     180    15300   107100 | 2147483647    65289     54 |  0.003 % |
259.95/260.18	c |    394681 |     180    15300   107100 | 2147483647    65466     54 |  0.003 % |
260.15/260.33	c |    394874 |     180    15300   107100 | 2147483647    65659     54 |  0.003 % |
260.35/260.51	c |    395086 |     180    15300   107100 | 2147483647    65871     54 |  0.003 % |
260.45/260.70	c |    395319 |     180    15300   107100 | 2147483647    66104     54 |  0.003 % |
260.65/260.89	c |    395575 |     180    15300   107100 | 2147483647    66360     54 |  0.003 % |
260.95/261.15	c |    395856 |     180    15300   107100 | 2147483647    66641     54 |  0.003 % |
261.15/261.39	c |    396165 |     180    15300   107100 | 2147483647    66950     54 |  0.003 % |
261.44/261.64	c |    396506 |     180    15300   107100 | 2147483647    67291     54 |  0.003 % |
261.74/261.95	c |    396881 |     180    15300   107100 | 2147483647    67666     54 |  0.003 % |
262.14/262.32	c |    397290 |     180    15300   107100 | 2147483647    68075     54 |  0.003 % |
262.44/262.68	c |    397740 |     180    15300   107100 | 2147483647    68525     54 |  0.003 % |
262.94/263.12	c |    398234 |     180    15300   107100 | 2147483647    69019     54 |  0.003 % |
263.34/263.55	c |    398778 |     180    15300   107100 | 2147483647    69563     54 |  0.003 % |
263.75/263.98	c |    399374 |     180    15300   107100 | 2147483647    70159     54 |  0.003 % |
264.34/264.50	c |    400030 |     180    15300   107100 |    70787    70815     54 |  0.003 % |
264.94/265.14	c |    400750 |     180    15300   107100 |    70787    62727     54 |  0.003 % |
265.54/265.70	c |    401542 |     180    15300   107100 |    70787    63519     54 |  0.003 % |
266.05/266.28	c |    402413 |     180    15300   107100 |    70787    64390     54 |  0.003 % |
266.74/266.90	c |    403372 |     180    15300   107100 |    70787    65349     54 |  0.003 % |
267.34/267.57	c |    404426 |     180    15300   107100 |    70787    66403     54 |  0.003 % |
268.14/268.36	c |    405584 |     180    15300   107100 |    70787    67561     54 |  0.003 % |
269.14/269.39	c |    406857 |     180    15300   107100 |    70787    68834     54 |  0.003 % |
270.14/270.38	c |    408258 |     180    15300   107100 |    70787    70235     54 |  0.003 % |
271.34/271.55	c |    409798 |     180    15300   107100 |    70787    62550     53 |  0.003 % |
272.44/272.62	c |    411492 |     180    15300   107100 |    62753    56220     53 |  0.003 % |
273.54/273.72	c |    413357 |     180    15300   107100 |    62753    58085     53 |  0.003 % |
274.84/275.03	c |    415407 |     180    15300   107100 |    62753    60135     54 |  0.003 % |
276.24/276.44	c |    417663 |     180    15300   107100 |    62753    62391     54 |  0.003 % |
277.84/278.01	c |    420142 |     180    15300   107100 | 2147483647    58587     54 |  0.003 % |
279.44/279.67	c |    422867 |     180    15300   107100 | 2147483647    61312     54 |  0.003 % |
281.24/281.46	c |    425864 |     180    15300   107100 | 2147483647    64309     54 |  0.003 % |
283.44/283.66	c |    429160 |     180    15300   107100 | 2147483647    67605     54 |  0.003 % |
285.85/286.02	c |    432787 |     180    15300   107100 | 2147483647    71232     54 |  0.003 % |
288.74/288.90	c |    436774 |     180    15300   107100 | 2147483647    75219     54 |  0.003 % |
288.74/288.98	c |    436874 |     180    15300   107100 | 2147483647    75319     54 |  0.003 % |
288.84/289.08	c |    436984 |     180    15300   107100 | 2147483647    75429     54 |  0.003 % |
288.94/289.18	c |    437105 |     180    15300   107100 | 2147483647    75550     54 |  0.003 % |
289.05/289.29	c |    437238 |     180    15300   107100 | 2147483647    75683     54 |  0.003 % |
289.24/289.44	c |    437385 |     180    15300   107100 | 2147483647    75830     54 |  0.003 % |
289.34/289.58	c |    437545 |     180    15300   107100 | 2147483647    75990     54 |  0.003 % |
289.54/289.78	c |    437722 |     180    15300   107100 | 2147483647    76167     54 |  0.003 % |
289.74/289.98	c |    437916 |     180    15300   107100 | 2147483647    76361     54 |  0.003 % |
289.94/290.20	c |    438128 |     180    15300   107100 | 2147483647    76573     54 |  0.003 % |
290.24/290.41	c |    438361 |     180    15300   107100 | 2147483647    76806     54 |  0.003 % |
290.43/290.64	c |    438617 |     180    15300   107100 | 2147483647    77062     54 |  0.003 % |
290.63/290.87	c |    438898 |     180    15300   107100 | 2147483647    77343     54 |  0.003 % |
290.93/291.14	c |    439209 |     180    15300   107100 | 2147483647    77654     54 |  0.003 % |
291.24/291.42	c |    439549 |     180    15300   107100 | 2147483647    77994     54 |  0.003 % |
291.53/291.76	c |    439921 |     180    15300   107100 | 2147483647    78366     54 |  0.003 % |
291.93/292.15	c |    440331 |     180    15300   107100 |    78446    67616     54 |  0.003 % |
292.23/292.47	c |    440781 |     180    15300   107100 |    78446    68066     54 |  0.003 % |
292.63/292.83	c |    441274 |     180    15300   107100 |    78446    68559     54 |  0.003 % |
293.03/293.24	c |    441818 |     180    15300   107100 |    78446    69103     54 |  0.003 % |
293.44/293.65	c |    442415 |     180    15300   107100 |    78446    69700     54 |  0.003 % |
293.93/294.12	c |    443072 |     180    15300   107100 |    78446    70357     54 |  0.003 % |
294.53/294.72	c |    443792 |     180    15300   107100 |    78446    71077     54 |  0.003 % |
295.13/295.37	c |    444584 |     180    15300   107100 |    78446    71869     54 |  0.003 % |
295.93/296.15	c |    445455 |     180    15300   107100 |    78446    72740     54 |  0.003 % |
296.63/296.89	c |    446414 |     180    15300   107100 |    78446    73699     54 |  0.003 % |
297.43/297.65	c |    447468 |     180    15300   107100 |    78446    74753     54 |  0.003 % |
298.33/298.51	c |    448626 |     180    15300   107100 |    78446    75911     54 |  0.003 % |
299.23/299.50	c |    449899 |     180    15300   107100 |    78446    77184     54 |  0.003 % |
300.23/300.45	c |    451299 |     180    15300   107100 |    77285    67022     54 |  0.003 % |
301.13/301.37	c |    452840 |     180    15300   107100 |    77285    68563     54 |  0.003 % |
302.23/302.46	c |    454535 |     180    15300   107100 |    77285    70258     54 |  0.003 % |
303.73/303.97	c |    456398 |     180    15300   107100 |    77285    72121     54 |  0.003 % |
305.33/305.52	c |    458447 |     180    15300   107100 |    77285    74170     54 |  0.003 % |
307.13/307.37	c |    460700 |     180    15300   107100 |    75724    65597     54 |  0.003 % |
308.83/309.05	c |    463179 |     180    15300   107100 |    75724    68076     54 |  0.003 % |
310.72/310.91	c |    465905 |     180    15300   107100 |    75724    70802     54 |  0.003 % |
312.93/313.16	c |    468904 |     180    15300   107100 |    75724    73801     54 |  0.003 % |
315.43/315.69	c |    472202 |     180    15300   107100 |    74899    66606     54 |  0.003 % |
317.92/318.13	c |    475828 |     180    15300   107100 |    74899    70232     54 |  0.003 % |
320.82/321.02	c |    479816 |     180    15300   107100 |    74899    74220     54 |  0.003 % |
323.62/323.89	c |    484203 |     180    15300   107100 |    74405    68980     53 |  0.003 % |
323.72/323.97	c |    484303 |     180    15300   107100 |    74405    69080     53 |  0.003 % |
323.82/324.05	c |    484415 |     180    15300   107100 |    74405    69192     53 |  0.003 % |
323.92/324.15	c |    484537 |     180    15300   107100 |    74405    69314     53 |  0.003 % |
324.02/324.28	c |    484670 |     180    15300   107100 |    74405    69447     53 |  0.003 % |
324.22/324.41	c |    484817 |     180    15300   107100 |    74405    69594     53 |  0.003 % |
324.32/324.53	c |    484979 |     180    15300   107100 |    74405    69756     53 |  0.003 % |
324.42/324.68	c |    485155 |     180    15300   107100 |    74405    69932     53 |  0.003 % |
324.62/324.82	c |    485349 |     180    15300   107100 |    74405    70126     53 |  0.003 % |
324.82/325.00	c |    485562 |     180    15300   107100 |    74405    70339     53 |  0.003 % |
325.02/325.21	c |    485795 |     180    15300   107100 |    74405    70572     53 |  0.003 % |
325.22/325.42	c |    486051 |     180    15300   107100 |    74405    70828     53 |  0.003 % |
325.42/325.65	c |    486332 |     180    15300   107100 |    74405    71109     53 |  0.003 % |
325.72/325.91	c |    486641 |     180    15300   107100 |    74405    71418     53 |  0.003 % |
326.02/326.20	c |    486980 |     180    15300   107100 |    74405    71757     53 |  0.003 % |
326.22/326.49	c |    487353 |     180    15300   107100 |    74405    72130     53 |  0.003 % |
326.62/326.81	c |    487763 |     180    15300   107100 |    74405    72540     53 |  0.003 % |
326.92/327.16	c |    488212 |     180    15300   107100 |    74405    72989     53 |  0.003 % |
327.32/327.54	c |    488707 |     180    15300   107100 |    74405    73484     53 |  0.003 % |
327.72/327.94	c |    489250 |     180    15300   107100 |    74405    74027     53 |  0.003 % |
328.22/328.44	c |    489850 |     180    15300   107100 |    74405    64454     53 |  0.003 % |
328.72/328.92	c |    490508 |     180    15300   107100 |    64604    56371     53 |  0.003 % |
329.12/329.36	c |    491229 |     180    15300   107100 |    64604    57092     53 |  0.003 % |
329.62/329.89	c |    492022 |     180    15300   107100 |    64604    57885     53 |  0.003 % |
330.21/330.49	c |    492893 |     180    15300   107100 |    64604    58756     53 |  0.003 % |
330.82/331.10	c |    493852 |     180    15300   107100 |    64604    59715     53 |  0.003 % |
331.51/331.74	c |    494907 |     180    15300   107100 |    64604    60770     53 |  0.003 % |
332.21/332.48	c |    496068 |     180    15300   107100 |    64604    61931     53 |  0.003 % |
333.12/333.34	c |    497341 |     180    15300   107100 |    64604    63204     53 |  0.003 % |
333.91/334.18	c |    498742 |     180    15300   107100 |    64604    64605     53 |  0.003 % |
334.91/335.16	c |    500283 |     180    15300   107100 |    59111    53476     53 |  0.003 % |
335.81/336.05	c |    501979 |     180    15300   107100 |    59111    55172     53 |  0.003 % |
336.81/337.04	c |    503843 |     180    15300   107100 |    59111    57036     53 |  0.003 % |
337.91/338.18	c |    505892 |     180    15300   107100 |    59111    59085     53 |  0.003 % |
339.11/339.39	c |    508146 |     180    15300   107100 |    59111    55421     53 |  0.003 % |
340.61/340.85	c |    510626 |     180    15300   107100 | 2147483647    57901     53 |  0.003 % |
342.01/342.26	c |    513353 |     180    15300   107100 | 2147483647    60628     53 |  0.003 % |
343.71/343.96	c |    516351 |     180    15300   107100 | 2147483647    63626     53 |  0.003 % |
345.71/345.91	c |    519648 |     180    15300   107100 | 2147483647    66923     53 |  0.003 % |
347.91/348.19	c |    523274 |     180    15300   107100 | 2147483647    70549     54 |  0.003 % |
350.61/350.85	c |    527262 |     180    15300   107100 | 2147483647    74537     54 |  0.003 % |
353.71/353.97	c |    531647 |     180    15300   107100 |    77275    69806     54 |  0.003 % |
357.00/357.29	c |    536471 |     180    15300   107100 |    77275    74630     54 |  0.003 % |
357.10/357.37	c |    536571 |     180    15300   107100 |    77275    74730     54 |  0.003 % |
357.21/357.48	c |    536681 |     180    15300   107100 |    77275    74840     54 |  0.003 % |
357.31/357.59	c |    536803 |     180    15300   107100 |    77275    74962     54 |  0.003 % |
357.50/357.71	c |    536937 |     180    15300   107100 |    77275    75096     54 |  0.003 % |
357.60/357.84	c |    537085 |     180    15300   107100 |    77275    75244     54 |  0.003 % |
357.70/357.99	c |    537245 |     180    15300   107100 |    77275    75404     54 |  0.003 % |
357.90/358.14	c |    537422 |     180    15300   107100 |    77275    75581     54 |  0.003 % |
358.10/358.31	c |    537615 |     180    15300   107100 |    77275    75774     54 |  0.003 % |
358.20/358.49	c |    537827 |     180    15300   107100 |    77275    75986     54 |  0.003 % |
358.41/358.68	c |    538061 |     180    15300   107100 |    77275    76220     54 |  0.003 % |
358.70/358.92	c |    538317 |     180    15300   107100 |    77275    76476     54 |  0.003 % |
358.90/359.18	c |    538598 |     180    15300   107100 |    77275    76757     54 |  0.003 % |
359.20/359.46	c |    538907 |     180    15300   107100 |    77275    77066     54 |  0.003 % |
359.60/359.83	c |    539249 |     180    15300   107100 |    77275    66285     54 |  0.003 % |
359.80/360.09	c |    539622 |     180    15300   107100 |    77275    66658     54 |  0.003 % |
360.20/360.41	c |    540031 |     180    15300   107100 |    67038    67067     54 |  0.003 % |
360.51/360.78	c |    540480 |     180    15300   107100 |    67038    57943     54 |  0.003 % |
360.90/361.13	c |    540973 |     180    15300   107100 |    67038    58436     54 |  0.003 % |
361.30/361.50	c |    541515 |     180    15300   107100 |    67038    58978     54 |  0.003 % |
361.71/361.94	c |    542111 |     180    15300   107100 |    67038    59574     54 |  0.003 % |
362.10/362.40	c |    542768 |     180    15300   107100 |    67038    60231     54 |  0.003 % |
362.60/362.87	c |    543489 |     180    15300   107100 |    67038    60952     54 |  0.003 % |
363.10/363.38	c |    544281 |     180    15300   107100 |    67038    61744     54 |  0.003 % |
363.60/363.89	c |    545152 |     180    15300   107100 |    67038    62615     54 |  0.003 % |
364.30/364.51	c |    546110 |     180    15300   107100 |    67038    63573     54 |  0.003 % |
364.90/365.13	c |    547163 |     180    15300   107100 |    67038    64626     54 |  0.003 % |
365.60/365.82	c |    548321 |     180    15300   107100 |    67038    65784     54 |  0.003 % |
366.40/366.65	c |    549594 |     180    15300   107100 |    67038    67057     54 |  0.003 % |
367.40/367.63	c |    550995 |     180    15300   107100 |    59979    54274     54 |  0.003 % |
368.30/368.59	c |    552536 |     180    15300   107100 |    59979    55815     54 |  0.003 % |
369.40/369.64	c |    554230 |     180    15300   107100 |    59979    57509     54 |  0.003 % |
370.50/370.76	c |    556094 |     180    15300   107100 |    59979    59373     54 |  0.003 % |
371.90/372.15	c |    558144 |     180    15300   107100 |    59979    55418     54 |  0.003 % |
373.29/373.56	c |    560397 |     180    15300   107100 | 2147483647    57671     54 |  0.003 % |
374.80/375.02	c |    562876 |     180    15300   107100 | 2147483647    60150     54 |  0.003 % |
376.39/376.69	c |    565601 |     180    15300   107100 | 2147483647    62875     54 |  0.003 % |
378.29/378.51	c |    568600 |     180    15300   107100 | 2147483647    65874     54 |  0.003 % |
380.40/380.69	c |    571899 |     180    15300   107100 | 2147483647    69173     54 |  0.003 % |
383.19/383.44	c |    575525 |     180    15300   107100 | 2147483647    72799     54 |  0.003 % |
386.29/386.58	c |    579514 |     180    15300   107100 | 2147483647    76788     54 |  0.003 % |
389.59/389.89	c |    583899 |     180    15300   107100 |    77274    70831     54 |  0.003 % |
393.29/393.56	c |    588725 |     180    15300   107100 |    77274    75657     54 |  0.003 % |
396.99/397.30	c |    594030 |     180    15300   107100 |    76932    69610     54 |  0.003 % |
397.19/397.40	c |    594130 |     180    15300   107100 |    76932    69710     54 |  0.003 % |
397.19/397.48	c |    594240 |     180    15300   107100 |    76932    69820     54 |  0.003 % |
397.29/397.57	c |    594361 |     180    15300   107100 |    76932    69941     54 |  0.003 % |
397.39/397.69	c |    594494 |     180    15300   107100 |    76932    70074     54 |  0.003 % |
397.59/397.82	c |    594641 |     180    15300   107100 |    76932    70221     54 |  0.003 % |
397.69/397.94	c |    594801 |     180    15300   107100 |    76932    70381     54 |  0.003 % |
397.79/398.09	c |    594978 |     180    15300   107100 |    76932    70558     54 |  0.003 % |
397.99/398.27	c |    595171 |     180    15300   107100 |    76932    70751     54 |  0.003 % |
398.19/398.42	c |    595383 |     180    15300   107100 |    76932    70963     54 |  0.003 % |
398.39/398.61	c |    595616 |     180    15300   107100 |    76932    71196     54 |  0.003 % |
398.59/398.81	c |    595872 |     180    15300   107100 |    76932    71452     54 |  0.003 % |
398.79/399.00	c |    596154 |     180    15300   107100 |    76932    71734     54 |  0.003 % |
398.99/399.23	c |    596463 |     180    15300   107100 |    76932    72043     54 |  0.003 % |
399.29/399.53	c |    596805 |     180    15300   107100 |    76932    72385     54 |  0.003 % |
399.59/399.80	c |    597179 |     180    15300   107100 |    76932    72759     54 |  0.003 % |
399.89/400.14	c |    597589 |     180    15300   107100 |    76932    73169     54 |  0.003 % |
400.39/400.60	c |    598040 |     180    15300   107100 |    76932    73620     54 |  0.003 % |
400.89/401.10	c |    598533 |     180    15300   107100 |    76932    74113     54 |  0.003 % |
401.29/401.57	c |    599075 |     180    15300   107100 |    76932    74655     54 |  0.003 % |
401.88/402.14	c |    599671 |     180    15300   107100 |    76932    75251     54 |  0.003 % |
402.48/402.71	c |    600326 |     180    15300   107100 |    75581    64539     54 |  0.003 % |
402.88/403.18	c |    601048 |     180    15300   107100 |    75581    65261     54 |  0.003 % |
403.58/403.83	c |    601840 |     180    15300   107100 |    75581    66053     54 |  0.003 % |
404.18/404.41	c |    602712 |     180    15300   107100 |    75581    66925     54 |  0.003 % |
404.78/405.05	c |    603671 |     180    15300   107100 |    75581    67884     54 |  0.003 % |
405.48/405.73	c |    604726 |     180    15300   107100 |    75581    68939     54 |  0.003 % |
406.38/406.61	c |    605884 |     180    15300   107100 |    75581    70097     54 |  0.003 % |
407.28/407.51	c |    607157 |     180    15300   107100 |    75581    71370     54 |  0.003 % |
408.28/408.57	c |    608557 |     180    15300   107100 |    75581    72770     54 |  0.003 % |
409.88/410.17	c |    610100 |     180    15300   107100 |    74213    63373     54 |  0.003 % |
411.19/411.42	c |    611795 |     180    15300   107100 |    74213    65068     54 |  0.003 % |
412.48/412.76	c |    613658 |     180    15300   107100 |    74213    66931     54 |  0.003 % |
413.98/414.27	c |    615707 |     180    15300   107100 |    74213    68980     54 |  0.003 % |
415.48/415.80	c |    617960 |     180    15300   107100 |    74213    71233     54 |  0.003 % |
417.48/417.72	c |    620438 |     180    15300   107100 |    73275    63531     54 |  0.003 % |
419.28/419.54	c |    623165 |     180    15300   107100 |    73275    66258     54 |  0.003 % |
421.28/421.59	c |    626162 |     180    15300   107100 |    73275    69255     54 |  0.003 % |
423.68/423.93	c |    629459 |     180    15300   107100 |    73275    72552     54 |  0.003 % |
426.08/426.34	c |    633084 |     180    15300   107100 |    73093    66783     54 |  0.003 % |
429.07/429.34	c |    637071 |     180    15300   107100 |    73093    70770     54 |  0.003 % |
432.27/432.58	c |    641458 |     180    15300   107100 |    63638    56418     54 |  0.003 % |
435.17/435.47	c |    646284 |     180    15300   107100 |    63638    61244     54 |  0.003 % |
438.47/438.70	c |    651589 |     180    15300   107100 | 2147483647    60177     54 |  0.003 % |
441.97/442.22	c |    657424 |     180    15300   107100 | 2147483647    66012     54 |  0.003 % |
441.97/442.28	c |    657524 |     180    15300   107100 | 2147483647    66112     54 |  0.003 % |
442.17/442.40	c |    657635 |     180    15300   107100 | 2147483647    66223     54 |  0.003 % |
442.27/442.51	c |    657757 |     180    15300   107100 | 2147483647    66345     54 |  0.003 % |
442.37/442.62	c |    657895 |     180    15300   107100 | 2147483647    66483     54 |  0.003 % |
442.47/442.74	c |    658041 |     180    15300   107100 | 2147483647    66629     54 |  0.003 % |
442.57/442.88	c |    658201 |     180    15300   107100 | 2147483647    66789     54 |  0.003 % |
442.77/443.01	c |    658377 |     180    15300   107100 | 2147483647    66965     54 |  0.003 % |
442.87/443.17	c |    658570 |     180    15300   107100 | 2147483647    67158     54 |  0.003 % |
443.07/443.37	c |    658784 |     180    15300   107100 | 2147483647    67372     54 |  0.003 % |
443.27/443.54	c |    659017 |     180    15300   107100 | 2147483647    67605     54 |  0.003 % |
443.47/443.78	c |    659274 |     180    15300   107100 | 2147483647    67862     54 |  0.003 % |
443.77/444.00	c |    659555 |     180    15300   107100 | 2147483647    68143     54 |  0.003 % |
443.97/444.23	c |    659864 |     180    15300   107100 | 2147483647    68452     54 |  0.003 % |
444.27/444.52	c |    660203 |     180    15300   107100 |    68588    61600     54 |  0.003 % |
444.47/444.78	c |    660576 |     180    15300   107100 |    68588    61973     54 |  0.003 % |
444.87/445.10	c |    660986 |     180    15300   107100 |    68588    62383     54 |  0.003 % |
445.17/445.41	c |    661436 |     180    15300   107100 |    68588    62833     54 |  0.003 % |
445.47/445.73	c |    661929 |     180    15300   107100 |    68588    63326     54 |  0.003 % |
445.77/446.07	c |    662471 |     180    15300   107100 |    68588    63868     54 |  0.003 % |
446.17/446.48	c |    663067 |     180    15300   107100 |    68588    64464     54 |  0.003 % |
446.77/447.01	c |    663722 |     180    15300   107100 |    68588    65119     54 |  0.003 % |
447.27/447.51	c |    664444 |     180    15300   107100 |    68588    65841     54 |  0.003 % |
447.77/448.08	c |    665237 |     180    15300   107100 |    68588    66634     54 |  0.003 % |
448.47/448.72	c |    666110 |     180    15300   107100 |    68588    67507     54 |  0.003 % |
449.07/449.36	c |    667069 |     180    15300   107100 |    68588    68466     54 |  0.003 % |
449.96/450.22	c |    668122 |     180    15300   107100 |    68588    61301     54 |  0.003 % |
450.67/450.93	c |    669284 |     180    15300   107100 |    68588    62463     54 |  0.003 % |
451.46/451.75	c |    670557 |     180    15300   107100 |    63180    56379     54 |  0.003 % |
452.36/452.63	c |    671957 |     180    15300   107100 |    63180    57779     54 |  0.003 % |
453.36/453.61	c |    673499 |     180    15300   107100 |    63180    59321     54 |  0.003 % |
454.36/454.65	c |    675193 |     180    15300   107100 |    63180    61015     54 |  0.003 % |
455.56/455.85	c |    677056 |     180    15300   107100 |    63180    62878     54 |  0.003 % |
457.06/457.39	c |    679106 |     180    15300   107100 |    63180    58550     54 |  0.003 % |
458.48/458.80	c |    681359 |     180    15300   107100 |    59444    54810     54 |  0.003 % |
459.87/460.19	c |    683838 |     180    15300   107100 |    59444    57289     54 |  0.003 % |
461.57/461.82	c |    686563 |     180    15300   107100 |    59444    54062     54 |  0.003 % |
463.47/463.75	c |    689560 |     180    15300   107100 |    59444    57059     54 |  0.003 % |
465.67/465.93	c |    692856 |     180    15300   107100 | 2147483647    60355     54 |  0.003 % |
468.17/468.45	c |    696482 |     180    15300   107100 | 2147483647    63981     54 |  0.003 % |
471.07/471.30	c |    700469 |     180    15300   107100 | 2147483647    67968     54 |  0.003 % |
474.16/474.46	c |    704854 |     180    15300   107100 | 2147483647    72353     54 |  0.003 % |
477.76/478.00	c |    709678 |     180    15300   107100 | 2147483647    77177     54 |  0.003 % |
481.57/481.84	c |    714984 |     180    15300   107100 |    77499    72379     54 |  0.003 % |
486.06/486.35	c |    720820 |     180    15300   107100 |    77395    66930     53 |  0.003 % |
490.36/490.66	c |    727240 |     180    15300   107100 |    77395    73350     53 |  0.003 % |
490.46/490.74	c |    727340 |     180    15300   107100 |    77395    73450     53 |  0.003 % |
490.56/490.84	c |    727450 |     180    15300   107100 |    77395    73560     53 |  0.003 % |
490.66/490.96	c |    727571 |     180    15300   107100 |    77395    73681     53 |  0.003 % |
490.86/491.11	c |    727704 |     180    15300   107100 |    77395    73814     53 |  0.003 % |
490.96/491.22	c |    727850 |     180    15300   107100 |    77395    73960     53 |  0.003 % |
491.06/491.36	c |    728012 |     180    15300   107100 |    77395    74122     53 |  0.003 % |
491.26/491.54	c |    728188 |     180    15300   107100 |    77395    74298     53 |  0.003 % |
491.46/491.73	c |    728381 |     180    15300   107100 |    77395    74491     53 |  0.003 % |
491.56/491.89	c |    728595 |     180    15300   107100 |    77395    74705     53 |  0.003 % |
491.86/492.11	c |    728828 |     180    15300   107100 |    77395    74938     53 |  0.003 % |
492.06/492.34	c |    729084 |     180    15300   107100 |    77395    75194     53 |  0.003 % |
492.36/492.63	c |    729365 |     180    15300   107100 |    77395    75475     53 |  0.003 % |
492.66/492.94	c |    729675 |     180    15300   107100 |    77395    75785     53 |  0.003 % |
492.96/493.25	c |    730015 |     180    15300   107100 |    76110    76125     53 |  0.003 % |
493.26/493.59	c |    730388 |     180    15300   107100 |    76110    65197     53 |  0.003 % |
493.56/493.88	c |    730799 |     180    15300   107100 |    76110    65608     53 |  0.003 % |
493.95/494.22	c |    731249 |     180    15300   107100 |    76110    66058     53 |  0.003 % |
494.25/494.59	c |    731742 |     180    15300   107100 |    76110    66551     53 |  0.003 % |
494.66/494.96	c |    732285 |     180    15300   107100 |    76110    67094     53 |  0.003 % |
495.15/495.40	c |    732881 |     180    15300   107100 |    76110    67690     53 |  0.003 % |
495.65/495.92	c |    733536 |     180    15300   107100 |    76110    68345     53 |  0.003 % |
496.25/496.58	c |    734257 |     180    15300   107100 |    76110    69066     53 |  0.003 % |
496.96/497.21	c |    735050 |     180    15300   107100 |    76110    69859     53 |  0.003 % |
497.65/497.92	c |    735921 |     180    15300   107100 |    76110    70730     53 |  0.003 % |
498.35/498.64	c |    736879 |     180    15300   107100 |    76110    71688     53 |  0.003 % |
499.16/499.40	c |    737932 |     180    15300   107100 |    76110    72741     53 |  0.003 % |
499.95/500.23	c |    739091 |     180    15300   107100 |    76110    73900     53 |  0.003 % |
501.15/501.44	c |    740365 |     180    15300   107100 |    74810    63694     53 |  0.003 % |
502.15/502.46	c |    741765 |     180    15300   107100 |    74810    65094     53 |  0.003 % |
503.25/503.56	c |    743307 |     180    15300   107100 |    74810    66636     53 |  0.003 % |
504.45/504.77	c |    745002 |     180    15300   107100 |    74810    68331     53 |  0.003 % |
505.95/506.21	c |    746868 |     180    15300   107100 |    74810    70197     53 |  0.003 % |
507.55/507.83	c |    748917 |     180    15300   107100 |    74810    72246     53 |  0.003 % |
509.15/509.42	c |    751170 |     180    15300   107100 |    73330    63598     54 |  0.003 % |
510.75/511.00	c |    753648 |     180    15300   107100 |    73330    66076     54 |  0.003 % |
512.35/512.61	c |    756375 |     180    15300   107100 |    73330    68803     54 |  0.003 % |
514.25/514.59	c |    759372 |     180    15300   107100 |    73330    71800     54 |  0.003 % |
516.35/516.66	c |    762668 |     180    15300   107100 |    72430    66665     54 |  0.003 % |
518.55/518.88	c |    766294 |     180    15300   107100 |    72430    70291     54 |  0.003 % |
521.25/521.58	c |    770281 |     180    15300   107100 |    66623    60226     54 |  0.003 % |
523.75/524.06	c |    774667 |     180    15300   107100 |    66623    64612     54 |  0.003 % |
526.74/527.07	c |    779492 |     180    15300   107100 |    66623    62766     54 |  0.003 % |
530.04/530.37	c |    784798 |     180    15300   107100 | 2147483647    68072     54 |  0.003 % |
534.14/534.48	c |    790633 |     180    15300   107100 |    73274    65639     54 |  0.003 % |
538.84/539.12	c |    797051 |     180    15300   107100 |    73274    72057     54 |  0.003 % |
543.64/544.00	c |    804110 |     180    15300   107100 |    65233    60740     54 |  0.003 % |
543.74/544.06	c |    804211 |     180    15300   107100 |    65233    60841     54 |  0.003 % |
543.84/544.13	c |    804321 |     180    15300   107100 |    65233    60951     54 |  0.003 % |
543.94/544.21	c |    804443 |     180    15300   107100 |    65233    61073     54 |  0.003 % |
544.04/544.32	c |    804577 |     180    15300   107100 |    65233    61207     54 |  0.003 % |
544.14/544.44	c |    804723 |     180    15300   107100 |    65233    61353     54 |  0.003 % |
544.24/544.55	c |    804883 |     180    15300   107100 |    65233    61513     54 |  0.003 % |
544.34/544.66	c |    805060 |     180    15300   107100 |    65233    61690     54 |  0.003 % |
544.54/544.81	c |    805255 |     180    15300   107100 |    65233    61885     54 |  0.003 % |
544.64/544.97	c |    805468 |     180    15300   107100 |    65233    62098     54 |  0.003 % |
544.84/545.14	c |    805701 |     180    15300   107100 |    65233    62331     54 |  0.003 % |
545.04/545.30	c |    805958 |     180    15300   107100 |    65233    62588     54 |  0.003 % |
545.14/545.48	c |    806239 |     180    15300   107100 |    65233    62869     54 |  0.003 % |
545.44/545.72	c |    806549 |     180    15300   107100 |    65233    63179     54 |  0.003 % |
545.64/546.00	c |    806889 |     180    15300   107100 |    65233    63519     54 |  0.003 % |
545.94/546.29	c |    807263 |     180    15300   107100 |    65233    63893     54 |  0.003 % |
546.34/546.61	c |    807672 |     180    15300   107100 |    65233    64302     54 |  0.003 % |
546.64/546.91	c |    808121 |     180    15300   107100 |    65233    64751     54 |  0.003 % |
546.94/547.24	c |    808614 |     180    15300   107100 |    65233    65244     54 |  0.003 % |
547.33/547.62	c |    809156 |     180    15300   107100 |    65233    58516     54 |  0.003 % |
547.73/548.00	c |    809752 |     180    15300   107100 |    65233    59112     54 |  0.003 % |
548.13/548.49	c |    810407 |     180    15300   107100 |    59361    53464     54 |  0.003 % |
548.64/548.93	c |    811127 |     180    15300   107100 |    59361    54184     54 |  0.003 % |
549.03/549.39	c |    811921 |     180    15300   107100 |    59361    54978     54 |  0.003 % |
549.64/549.92	c |    812792 |     180    15300   107100 |    59361    55849     54 |  0.003 % |
550.13/550.47	c |    813752 |     180    15300   107100 |    59361    56809     54 |  0.003 % |
550.74/551.06	c |    814806 |     180    15300   107100 |    59361    57863     54 |  0.003 % |
551.43/551.75	c |    815966 |     180    15300   107100 |    59361    59023     54 |  0.003 % |
552.13/552.47	c |    817239 |     180    15300   107100 |    59361    54352     54 |  0.003 % |
552.93/553.30	c |    818639 |     180    15300   107100 |    59361    55752     54 |  0.003 % |
553.83/554.17	c |    820179 |     180    15300   107100 | 2147483647    57292     54 |  0.003 % |
554.83/555.14	c |    821873 |     180    15300   107100 | 2147483647    58986     54 |  0.003 % |
555.93/556.23	c |    823737 |     180    15300   107100 | 2147483647    60850     54 |  0.003 % |
557.23/557.52	c |    825786 |     180    15300   107100 | 2147483647    62899     54 |  0.003 % |
558.73/559.08	c |    828042 |     180    15300   107100 | 2147483647    65155     54 |  0.003 % |
560.53/560.84	c |    830520 |     180    15300   107100 | 2147483647    67633     54 |  0.003 % |
562.43/562.74	c |    833245 |     180    15300   107100 | 2147483647    70358     54 |  0.003 % |
564.62/564.98	c |    836242 |     180    15300   107100 | 2147483647    73355     54 |  0.003 % |
567.23/567.59	c |    839540 |     180    15300   107100 | 2147483647    76653     54 |  0.003 % |
569.82/570.17	c |    843165 |     180    15300   107100 |    77114    69604     54 |  0.003 % |
572.92/573.20	c |    847152 |     180    15300   107100 |    77114    73591     54 |  0.003 % |
576.12/576.45	c |    851537 |     180    15300   107100 |    76441    66883     54 |  0.003 % |
579.62/579.96	c |    856360 |     180    15300   107100 |    76441    71706     54 |  0.003 % |
583.52/583.86	c |    861666 |     180    15300   107100 |    75349    66464     54 |  0.003 % |
587.61/587.92	c |    867504 |     180    15300   107100 |    75349    72302     54 |  0.003 % |
592.11/592.40	c |    873922 |     180    15300   107100 |    74799    68427     54 |  0.003 % |
597.11/597.49	c |    880983 |     180    15300   107100 |    74505    65627     54 |  0.003 % |
602.91/603.25	c |    888748 |     180    15300   107100 |    74505    73392     54 |  0.003 % |
603.01/603.32	c |    888849 |     180    15300   107100 |    74505    73493     54 |  0.003 % |
603.11/603.43	c |    888962 |     180    15300   107100 |    74505    73606     54 |  0.003 % |
603.21/603.54	c |    889083 |     180    15300   107100 |    74505    73727     54 |  0.003 % |
603.31/603.69	c |    889216 |     180    15300   107100 |    74505    73860     54 |  0.003 % |
603.51/603.82	c |    889364 |     180    15300   107100 |    74505    74008     54 |  0.003 % |
603.61/603.97	c |    889527 |     180    15300   107100 |    74505    74171     54 |  0.003 % |
603.81/604.17	c |    889704 |     180    15300   107100 |    74505    74348     54 |  0.003 % |
604.01/604.34	c |    889897 |     180    15300   107100 |    74505    74541     54 |  0.003 % |
604.31/604.62	c |    890109 |     180    15300   107100 |    64410    55680     54 |  0.003 % |
604.41/604.78	c |    890343 |     180    15300   107100 |    64410    55914     54 |  0.003 % |
604.61/604.99	c |    890601 |     180    15300   107100 |    64410    56172     54 |  0.003 % |
604.81/605.19	c |    890882 |     180    15300   107100 |    64410    56453     54 |  0.003 % |
605.01/605.37	c |    891192 |     180    15300   107100 |    64410    56763     54 |  0.003 % |
605.21/605.57	c |    891532 |     180    15300   107100 |    64410    57103     54 |  0.003 % |
605.51/605.88	c |    891905 |     180    15300   107100 |    64410    57476     54 |  0.003 % |
605.91/606.20	c |    892314 |     180    15300   107100 |    64410    57885     54 |  0.003 % |
606.22/606.51	c |    892764 |     180    15300   107100 |    64410    58335     54 |  0.003 % |
606.52/606.82	c |    893257 |     180    15300   107100 |    64410    58828     54 |  0.003 % |
606.82/607.17	c |    893799 |     180    15300   107100 |    64410    59370     54 |  0.003 % |
607.22/607.52	c |    894395 |     180    15300   107100 |    64410    59966     54 |  0.003 % |
607.62/607.94	c |    895051 |     180    15300   107100 |    64410    60622     54 |  0.003 % |
608.12/608.47	c |    895771 |     180    15300   107100 |    64410    61342     54 |  0.003 % |
608.72/609.02	c |    896563 |     180    15300   107100 |    64410    62134     54 |  0.003 % |
609.41/609.70	c |    897435 |     180    15300   107100 |    64410    63006     54 |  0.003 % |
610.12/610.50	c |    898394 |     180    15300   107100 |    64410    63965     54 |  0.003 % |
611.01/611.33	c |    899448 |     180    15300   107100 |    64410    57336     54 |  0.003 % |
611.81/612.11	c |    900608 |     180    15300   107100 |    57890    51811     54 |  0.003 % |
612.51/612.83	c |    901881 |     180    15300   107100 |    57890    53084     54 |  0.003 % |
613.31/613.64	c |    903281 |     180    15300   107100 |    57890    54484     54 |  0.003 % |
614.21/614.52	c |    904821 |     180    15300   107100 |    57890    56024     54 |  0.003 % |
615.21/615.57	c |    906515 |     180    15300   107100 |    57890    57718     54 |  0.003 % |
616.61/616.95	c |    908381 |     180    15300   107100 |    57890    53788     54 |  0.003 % |
617.92/618.23	c |    910430 |     180    15300   107100 | 2147483647    55837     54 |  0.003 % |
619.31/619.61	c |    912683 |     180    15300   107100 | 2147483647    58090     54 |  0.003 % |
620.71/621.07	c |    915161 |     180    15300   107100 | 2147483647    60568     54 |  0.003 % |
622.51/622.81	c |    917886 |     180    15300   107100 | 2147483647    63293     54 |  0.003 % |
624.41/624.79	c |    920883 |     180    15300   107100 | 2147483647    66290     54 |  0.003 % |
626.51/626.87	c |    924182 |     180    15300   107100 | 2147483647    69589     54 |  0.003 % |
628.91/629.28	c |    927807 |     180    15300   107100 | 2147483647    73214     54 |  0.003 % |
632.01/632.31	c |    931794 |     180    15300   107100 |    75407    68301     54 |  0.003 % |
635.01/635.30	c |    936180 |     180    15300   107100 |    75407    72687     54 |  0.003 % |
638.71/639.04	c |    941004 |     180    15300   107100 |    66806    59219     53 |  0.003 % |
642.11/642.44	c |    946312 |     180    15300   107100 |    66806    64527     54 |  0.003 % |
645.70/646.02	c |    952147 |     180    15300   107100 |    60669    56264     54 |  0.003 % |
649.20/649.51	c |    958565 |     180    15300   107100 |    60669    56607     54 |  0.003 % |
653.40/653.70	c |    965625 |     180    15300   107100 | 2147483647    63667     54 |  0.003 % |
658.60/658.91	c |    973389 |     180    15300   107100 | 2147483647    71431     54 |  0.003 % |
665.10/665.49	c |    981932 |     180    15300   107100 |    78042    68877     54 |  0.003 % |
665.20/665.57	c |    982032 |     180    15300   107100 |    78042    68977     54 |  0.003 % |
665.29/665.67	c |    982142 |     180    15300   107100 |    78042    69087     54 |  0.003 % |
665.39/665.75	c |    982263 |     180    15300   107100 |    78042    69208     54 |  0.003 % |
665.49/665.84	c |    982396 |     180    15300   107100 |    78042    69341     54 |  0.003 % |
665.59/665.96	c |    982542 |     180    15300   107100 |    78042    69487     54 |  0.003 % |
665.79/666.10	c |    982703 |     180    15300   107100 |    78042    69648     54 |  0.003 % |
665.89/666.24	c |    982879 |     180    15300   107100 |    78042    69824     54 |  0.003 % |
665.99/666.39	c |    983072 |     180    15300   107100 |    78042    70017     54 |  0.003 % |
666.20/666.58	c |    983285 |     180    15300   107100 |    78042    70230     54 |  0.003 % |
666.39/666.78	c |    983519 |     180    15300   107100 |    78042    70464     54 |  0.003 % |
666.69/667.00	c |    983775 |     180    15300   107100 |    78042    70720     54 |  0.003 % |
666.89/667.24	c |    984058 |     180    15300   107100 |    78042    71003     54 |  0.003 % |
667.09/667.49	c |    984368 |     180    15300   107100 |    78042    71313     54 |  0.003 % |
667.40/667.76	c |    984708 |     180    15300   107100 |    78042    71653     54 |  0.003 % |
667.69/668.07	c |    985081 |     180    15300   107100 |    78042    72026     54 |  0.003 % |
667.99/668.39	c |    985492 |     180    15300   107100 |    78042    72437     54 |  0.003 % |
668.40/668.73	c |    985945 |     180    15300   107100 |    78042    72890     54 |  0.003 % |
668.69/669.09	c |    986438 |     180    15300   107100 |    78042    73383     54 |  0.003 % |
669.09/669.46	c |    986980 |     180    15300   107100 |    78042    73925     54 |  0.003 % |
669.60/669.94	c |    987578 |     180    15300   107100 |    78042    74523     54 |  0.003 % |
670.19/670.55	c |    988233 |     180    15300   107100 |    78042    75178     54 |  0.003 % |
670.79/671.16	c |    988954 |     180    15300   107100 |    78042    75899     54 |  0.003 % |
671.49/671.85	c |    989746 |     180    15300   107100 |    78042    76691     54 |  0.003 % |
672.19/672.56	c |    990617 |     180    15300   107100 |    76947    65824     54 |  0.003 % |
672.79/673.17	c |    991575 |     180    15300   107100 |    76947    66782     54 |  0.003 % |
673.59/673.99	c |    992629 |     180    15300   107100 |    76947    67836     54 |  0.003 % |
674.39/674.76	c |    993788 |     180    15300   107100 |    76947    68995     54 |  0.003 % |
675.29/675.69	c |    995061 |     180    15300   107100 |    76947    70268     54 |  0.003 % |
676.39/676.74	c |    996461 |     180    15300   107100 |    76947    71668     54 |  0.003 % |
677.49/677.88	c |    998001 |     180    15300   107100 |    76947    73208     54 |  0.003 % |
678.89/679.22	c |    999695 |     180    15300   107100 |    76947    74902     54 |  0.003 % |
680.39/680.71	c |   1001559 |     180    15300   107100 |    75209    66001     54 |  0.003 % |
681.99/682.33	c |   1003609 |     180    15300   107100 |    75209    68051     54 |  0.003 % |
683.49/683.81	c |   1005863 |     180    15300   107100 |    75209    70305     54 |  0.003 % |
685.19/685.58	c |   1008341 |     180    15300   107100 |    75209    72783     54 |  0.003 % |
687.09/687.41	c |   1011066 |     180    15300   107100 |    74442    65287     54 |  0.003 % |
689.09/689.49	c |   1014063 |     180    15300   107100 |    74442    68284     54 |  0.003 % |
691.68/692.03	c |   1017359 |     180    15300   107100 |    74442    71580     54 |  0.003 % |
694.38/694.74	c |   1020986 |     180    15300   107100 |    74222    64746     54 |  0.003 % |
697.09/697.41	c |   1024975 |     180    15300   107100 |    74222    68735     54 |  0.003 % |
699.88/700.25	c |   1029362 |     180    15300   107100 |    74222    73122     54 |  0.003 % |
703.28/703.61	c |   1034187 |     180    15300   107100 |    73760    69274     54 |  0.003 % |
707.18/707.57	c |   1039492 |     180    15300   107100 |    73760    65138     54 |  0.003 % |
710.78/711.18	c |   1045327 |     180    15300   107100 |    65646    62798     54 |  0.003 % |
714.88/715.28	c |   1051745 |     180    15300   107100 | 2147483647    62644     54 |  0.003 % |
719.78/720.14	c |   1058805 |     180    15300   107100 | 2147483647    69704     54 |  0.003 % |
724.77/725.14	c |   1066569 |     180    15300   107100 |    70899    69285     54 |  0.003 % |
729.57/729.96	c |   1075111 |     180    15300   107100 |    64720    62640     54 |  0.003 % |
734.97/735.37	c |   1084505 |     180    15300   107100 | 2147483647    65555     54 |  0.003 % |
735.07/735.46	c |   1084607 |     180    15300   107100 | 2147483647    65657     54 |  0.003 % |
735.17/735.55	c |   1084717 |     180    15300   107100 | 2147483647    65767     54 |  0.003 % |
735.27/735.64	c |   1084838 |     180    15300   107100 | 2147483647    65888     54 |  0.003 % |
735.37/735.74	c |   1084971 |     180    15300   107100 | 2147483647    66021     54 |  0.003 % |
735.47/735.84	c |   1085117 |     180    15300   107100 | 2147483647    66167     54 |  0.003 % |
735.57/735.96	c |   1085277 |     180    15300   107100 | 2147483647    66327     54 |  0.003 % |
735.67/736.08	c |   1085457 |     180    15300   107100 | 2147483647    66507     54 |  0.003 % |
735.87/736.25	c |   1085650 |     180    15300   107100 | 2147483647    66700     54 |  0.003 % |
736.07/736.41	c |   1085863 |     180    15300   107100 | 2147483647    66913     54 |  0.003 % |
736.17/736.59	c |   1086097 |     180    15300   107100 | 2147483647    67147     54 |  0.003 % |
736.47/736.81	c |   1086353 |     180    15300   107100 | 2147483647    67403     54 |  0.003 % |
736.67/737.04	c |   1086634 |     180    15300   107100 | 2147483647    67684     54 |  0.003 % |
736.87/737.24	c |   1086943 |     180    15300   107100 | 2147483647    67993     54 |  0.003 % |
737.07/737.47	c |   1087283 |     180    15300   107100 | 2147483647    68333     54 |  0.003 % |
737.37/737.74	c |   1087658 |     180    15300   107100 | 2147483647    68708     54 |  0.003 % |
737.67/738.03	c |   1088068 |     180    15300   107100 | 2147483647    69118     54 |  0.003 % |
738.07/738.42	c |   1088518 |     180    15300   107100 | 2147483647    69568     54 |  0.003 % |
738.47/738.82	c |   1089011 |     180    15300   107100 | 2147483647    70061     54 |  0.003 % |
738.97/739.32	c |   1089553 |     180    15300   107100 | 2147483647    70603     54 |  0.003 % |
739.47/739.86	c |   1090150 |     180    15300   107100 |    71052    63297     54 |  0.003 % |
739.87/740.29	c |   1090806 |     180    15300   107100 |    71052    63953     54 |  0.003 % |
740.37/740.75	c |   1091526 |     180    15300   107100 |    71052    64673     54 |  0.003 % |
740.97/741.33	c |   1092318 |     180    15300   107100 |    71052    65465     54 |  0.003 % |
741.57/741.90	c |   1093189 |     180    15300   107100 |    71052    66336     54 |  0.003 % |
742.17/742.54	c |   1094147 |     180    15300   107100 |    71052    67294     54 |  0.003 % |
742.87/743.26	c |   1095201 |     180    15300   107100 |    71052    68348     54 |  0.003 % |
743.77/744.10	c |   1096359 |     180    15300   107100 |    71052    69506     54 |  0.003 % |
744.67/745.05	c |   1097632 |     180    15300   107100 |    71052    70779     54 |  0.003 % |
745.67/746.03	c |   1099034 |     180    15300   107100 |    71052    63316     54 |  0.003 % |
746.87/747.21	c |   1100574 |     180    15300   107100 |    64284    56927     54 |  0.003 % |
747.97/748.32	c |   1102268 |     180    15300   107100 |    64284    58621     54 |  0.003 % |
749.07/749.45	c |   1104131 |     180    15300   107100 |    64284    60484     54 |  0.003 % |
750.36/750.77	c |   1106182 |     180    15300   107100 |    64284    62535     54 |  0.003 % |
751.97/752.39	c |   1108435 |     180    15300   107100 |    64284    57793     54 |  0.003 % |
753.46/753.89	c |   1110914 |     180    15300   107100 |    59359    54197     54 |  0.003 % |
755.16/755.56	c |   1113642 |     180    15300   107100 |    59359    56925     54 |  0.003 % |
756.86/757.25	c |   1116639 |     180    15300   107100 |    59359    53978     54 |  0.003 % |
758.46/758.85	c |   1119935 |     180    15300   107100 |    59359    57274     54 |  0.003 % |
760.66/761.05	c |   1123561 |     180    15300   107100 | 2147483647    60900     54 |  0.003 % |
763.36/763.77	c |   1127548 |     180    15300   107100 | 2147483647    64887     54 |  0.003 % |
766.66/767.02	c |   1131933 |     180    15300   107100 | 2147483647    69272     54 |  0.003 % |
769.96/770.38	c |   1136758 |     180    15300   107100 | 2147483647    74097     54 |  0.003 % |
773.56/773.97	c |   1142065 |     180    15300   107100 |    77343    69192     54 |  0.003 % |
778.25/778.69	c |   1147900 |     180    15300   107100 |    77343    75027     54 |  0.003 % |
782.76/783.19	c |   1154319 |     180    15300   107100 |    77128    70504     54 |  0.003 % |
787.95/788.34	c |   1161380 |     180    15300   107100 |    76185    67535     54 |  0.003 % |
793.15/793.57	c |   1169144 |     180    15300   107100 |    76185    75299     54 |  0.003 % |
798.75/799.19	c |   1177684 |     180    15300   107100 |    76156    74022     54 |  0.003 % |
805.15/805.51	c |   1187079 |     180    15300   107100 |    66958    65771     54 |  0.003 % |
811.74/812.10	c |   1197412 |     180    15300   107100 | 2147483647    69345     54 |  0.003 % |
811.74/812.18	c |   1197512 |     180    15300   107100 | 2147483647    69445     54 |  0.003 % |
811.84/812.28	c |   1197624 |     180    15300   107100 | 2147483647    69557     54 |  0.003 % |
811.94/812.38	c |   1197747 |     180    15300   107100 | 2147483647    69680     54 |  0.003 % |
812.14/812.50	c |   1197880 |     180    15300   107100 | 2147483647    69813     54 |  0.003 % |
812.24/812.62	c |   1198027 |     180    15300   107100 | 2147483647    69960     54 |  0.003 % |
812.34/812.79	c |   1198187 |     180    15300   107100 | 2147483647    70120     54 |  0.003 % |
812.55/812.96	c |   1198364 |     180    15300   107100 | 2147483647    70297     54 |  0.003 % |
812.74/813.14	c |   1198559 |     180    15300   107100 | 2147483647    70492     54 |  0.003 % |
812.94/813.34	c |   1198772 |     180    15300   107100 | 2147483647    70705     54 |  0.003 % |
813.14/813.55	c |   1199005 |     180    15300   107100 | 2147483647    70938     54 |  0.003 % |
813.44/813.86	c |   1199262 |     180    15300   107100 | 2147483647    71195     54 |  0.003 % |
813.74/814.13	c |   1199543 |     180    15300   107100 | 2147483647    71476     54 |  0.003 % |
814.04/814.40	c |   1199852 |     180    15300   107100 | 2147483647    71785     54 |  0.003 % |
814.34/814.75	c |   1200191 |     180    15300   107100 |    71935    62838     54 |  0.003 % |
814.65/815.05	c |   1200564 |     180    15300   107100 |    71935    63211     54 |  0.003 % |
815.04/815.42	c |   1200974 |     180    15300   107100 |    71935    63621     54 |  0.003 % |
815.34/815.77	c |   1201423 |     180    15300   107100 |    71935    64070     54 |  0.003 % |
815.75/816.14	c |   1201916 |     180    15300   107100 |    71935    64563     54 |  0.003 % |
816.14/816.56	c |   1202458 |     180    15300   107100 |    71935    65105     54 |  0.003 % |
816.64/817.04	c |   1203055 |     180    15300   107100 |    71935    65702     54 |  0.003 % |
817.14/817.59	c |   1203710 |     180    15300   107100 |    71935    66357     54 |  0.003 % |
817.74/818.11	c |   1204430 |     180    15300   107100 |    71935    67077     54 |  0.003 % |
818.24/818.68	c |   1205222 |     180    15300   107100 |    71935    67869     54 |  0.003 % |
818.84/819.27	c |   1206093 |     180    15300   107100 |    71935    68740     54 |  0.003 % |
819.64/820.09	c |   1207052 |     180    15300   107100 |    71935    69699     54 |  0.003 % |
820.64/821.01	c |   1208105 |     180    15300   107100 |    71935    70752     54 |  0.003 % |
821.54/821.95	c |   1209264 |     180    15300   107100 |    71935    71911     54 |  0.003 % |
822.45/822.89	c |   1210537 |     180    15300   107100 |    62734    54660     54 |  0.003 % |
823.35/823.70	c |   1211939 |     180    15300   107100 |    62734    56062     54 |  0.003 % |
824.15/824.56	c |   1213479 |     180    15300   107100 |    62734    57602     54 |  0.003 % |
825.15/825.51	c |   1215173 |     180    15300   107100 |    62734    59296     54 |  0.003 % |
826.15/826.56	c |   1217037 |     180    15300   107100 |    62734    61160     54 |  0.003 % |
827.55/827.93	c |   1219086 |     180    15300   107100 |    62734    56928     54 |  0.003 % |
828.85/829.28	c |   1221339 |     180    15300   107100 | 2147483647    59181     54 |  0.003 % |
830.54/830.94	c |   1223817 |     180    15300   107100 | 2147483647    61659     54 |  0.003 % |
832.35/832.79	c |   1226542 |     180    15300   107100 | 2147483647    64384     54 |  0.003 % |
834.74/835.19	c |   1229539 |     180    15300   107100 | 2147483647    67381     54 |  0.003 % |
837.14/837.57	c |   1232835 |     180    15300   107100 |    67842    63524     54 |  0.003 % |
839.84/840.29	c |   1236461 |     180    15300   107100 |    67842    67150     54 |  0.003 % |
842.54/842.97	c |   1240453 |     180    15300   107100 |    62720    56263     54 |  0.003 % |
845.24/845.66	c |   1244840 |     180    15300   107100 |    62720    60650     54 |  0.003 % |
848.14/848.54	c |   1249665 |     180    15300   107100 |    62720    59195     54 |  0.003 % |
851.24/851.67	c |   1254971 |     180    15300   107100 | 2147483647    64501     54 |  0.003 % |
855.03/855.47	c |   1260807 |     180    15300   107100 | 2147483647    70337     54 |  0.003 % |
859.63/860.07	c |   1267225 |     180    15300   107100 | 2147483647    76755     54 |  0.003 % |
865.13/865.56	c |   1274284 |     180    15300   107100 |    79531    72771     54 |  0.003 % |
871.23/871.68	c |   1282049 |     180    15300   107100 |    78487    69023     54 |  0.003 % |
877.43/877.86	c |   1290589 |     180    15300   107100 |    76975    65783     54 |  0.003 % |
884.13/884.52	c |   1299983 |     180    15300   107100 |    76975    75177     54 |  0.003 % |
891.12/891.57	c |   1310318 |     180    15300   107100 |    73529    63502     54 |  0.003 % |
899.02/899.41	c |   1321685 |     180    15300   107100 |    73184    65211     54 |  0.003 % |
899.02/899.49	c |   1321785 |     180    15300   107100 |    73184    65311     54 |  0.003 % |
899.12/899.57	c |   1321896 |     180    15300   107100 |    73184    65422     54 |  0.003 % |
899.22/899.65	c |   1322018 |     180    15300   107100 |    73184    65544     54 |  0.003 % |
899.33/899.77	c |   1322153 |     180    15300   107100 |    73184    65679     54 |  0.003 % |
899.43/899.87	c |   1322299 |     180    15300   107100 |    73184    65825     54 |  0.003 % |
899.52/899.99	c |   1322461 |     180    15300   107100 |    73184    65987     54 |  0.003 % |
899.72/900.14	c |   1322638 |     180    15300   107100 |    73184    66164     54 |  0.003 % |
899.82/900.28	c |   1322831 |     180    15300   107100 |    73184    66357     54 |  0.003 % |
900.02/900.45	c |   1323045 |     180    15300   107100 |    73184    66571     54 |  0.003 % |
900.22/900.65	c |   1323278 |     180    15300   107100 |    73184    66804     54 |  0.003 % |
900.43/900.86	c |   1323535 |     180    15300   107100 |    73184    67061     54 |  0.003 % |
900.62/901.09	c |   1323816 |     180    15300   107100 |    73184    67342     54 |  0.003 % |
900.92/901.31	c |   1324125 |     180    15300   107100 |    73184    67651     54 |  0.003 % |
901.12/901.56	c |   1324465 |     180    15300   107100 |    73184    67991     54 |  0.003 % |
901.42/901.83	c |   1324838 |     180    15300   107100 |    73184    68364     54 |  0.003 % |
901.72/902.12	c |   1325248 |     180    15300   107100 |    73184    68774     54 |  0.003 % |
902.02/902.41	c |   1325697 |     180    15300   107100 |    73184    69223     54 |  0.003 % |
902.32/902.75	c |   1326191 |     180    15300   107100 |    73184    69717     54 |  0.003 % |
902.73/903.11	c |   1326733 |     180    15300   107100 |    73184    70259     54 |  0.003 % |
903.12/903.57	c |   1327331 |     180    15300   107100 |    73184    70857     54 |  0.003 % |
903.62/904.05	c |   1327988 |     180    15300   107100 |    73184    71514     54 |  0.003 % |
904.22/904.62	c |   1328708 |     180    15300   107100 |    73184    72234     54 |  0.003 % |
904.72/905.15	c |   1329500 |     180    15300   107100 |    73184    73026     54 |  0.003 % |
905.52/905.98	c |   1330371 |     180    15300   107100 |    63396    54948     54 |  0.003 % |
906.12/906.58	c |   1331329 |     180    15300   107100 |    63396    55906     54 |  0.003 % |
906.82/907.23	c |   1332382 |     180    15300   107100 |    63396    56959     54 |  0.003 % |
907.52/907.96	c |   1333541 |     180    15300   107100 |    63396    58118     54 |  0.003 % |
908.42/908.81	c |   1334815 |     180    15300   107100 |    63396    59392     54 |  0.003 % |
909.22/909.68	c |   1336216 |     180    15300   107100 |    63396    60793     54 |  0.003 % |
910.22/910.68	c |   1337756 |     180    15300   107100 |    63396    62333     54 |  0.003 % |
911.32/911.77	c |   1339450 |     180    15300   107100 |    63396    57679     54 |  0.003 % |
912.62/913.03	c |   1341313 |     180    15300   107100 | 2147483647    59542     54 |  0.003 % |
913.91/914.31	c |   1343362 |     180    15300   107100 | 2147483647    61591     54 |  0.003 % |
915.21/915.69	c |   1345615 |     180    15300   107100 | 2147483647    63844     54 |  0.003 % |
916.81/917.30	c |   1348093 |     180    15300   107100 | 2147483647    66322     54 |  0.003 % |
918.81/919.27	c |   1350820 |     180    15300   107100 |    68229    61851     54 |  0.003 % |
920.61/921.08	c |   1353819 |     180    15300   107100 |    68229    64850     54 |  0.003 % |
922.81/923.28	c |   1357116 |     180    15300   107100 |    68229    68147     54 |  0.003 % |
924.91/925.34	c |   1360742 |     180    15300   107100 | 2147483647    64719     54 |  0.003 % |
927.31/927.70	c |   1364730 |     180    15300   107100 | 2147483647    68707     54 |  0.003 % |
930.21/930.67	c |   1369117 |     180    15300   107100 | 2147483647    73094     54 |  0.003 % |
933.61/934.05	c |   1373941 |     180    15300   107100 |    73979    69965     54 |  0.003 % |
937.61/938.04	c |   1379248 |     180    15300   107100 |    73979    66158     54 |  0.003 % |
941.30/941.76	c |   1385083 |     180    15300   107100 |    66910    63860     54 |  0.003 % |
945.20/945.68	c |   1391502 |     180    15300   107100 | 2147483647    63434     54 |  0.003 % |
949.91/950.40	c |   1398561 |     180    15300   107100 | 2147483647    70493     54 |  0.003 % |
954.70/955.13	c |   1406325 |     180    15300   107100 |    71934    69136     54 |  0.003 % |
960.00/960.42	c |   1414867 |     180    15300   107100 |    64074    61275     54 |  0.003 % |
965.40/965.86	c |   1424262 |     180    15300   107100 | 2147483647    64255     54 |  0.003 % |
972.00/972.41	c |   1434595 |     180    15300   107100 | 2147483647    74588     55 |  0.003 % |
979.70/980.18	c |   1445962 |     180    15300   107100 |    79993    74844     55 |  0.003 % |
988.69/989.12	c |   1458464 |     180    15300   107100 |    78882    75887     55 |  0.003 % |
988.79/989.21	c |   1458565 |     180    15300   107100 |    78882    75988     55 |  0.003 % |
988.89/989.31	c |   1458676 |     180    15300   107100 |    78882    76099     55 |  0.003 % |
988.89/989.39	c |   1458797 |     180    15300   107100 |    78882    76220     55 |  0.003 % |
989.09/989.51	c |   1458931 |     180    15300   107100 |    78882    76354     55 |  0.003 % |
989.19/989.64	c |   1459077 |     180    15300   107100 |    78882    76500     55 |  0.003 % |
989.39/989.83	c |   1459237 |     180    15300   107100 |    78882    76660     55 |  0.003 % |
989.59/990.00	c |   1459414 |     180    15300   107100 |    78882    76837     55 |  0.003 % |
989.79/990.20	c |   1459609 |     180    15300   107100 |    78882    77032     55 |  0.003 % |
989.89/990.38	c |   1459821 |     180    15300   107100 |    78882    77244     55 |  0.003 % |
990.19/990.61	c |   1460058 |     180    15300   107100 |    77426    77481     55 |  0.003 % |
990.49/990.95	c |   1460315 |     180    15300   107100 |    77426    66528     55 |  0.003 % |
990.79/991.22	c |   1460597 |     180    15300   107100 |    77426    66810     55 |  0.003 % |
991.09/991.56	c |   1460906 |     180    15300   107100 |    77426    67119     55 |  0.003 % |
991.39/991.87	c |   1461246 |     180    15300   107100 |    77426    67459     55 |  0.003 % |
991.79/992.21	c |   1461620 |     180    15300   107100 |    77426    67833     55 |  0.003 % |
992.09/992.54	c |   1462029 |     180    15300   107100 |    77426    68242     55 |  0.003 % |
992.49/992.96	c |   1462478 |     180    15300   107100 |    77426    68691     55 |  0.003 % |
992.89/993.39	c |   1462972 |     180    15300   107100 |    77426    69185     55 |  0.003 % |
993.49/993.90	c |   1463516 |     180    15300   107100 |    77426    69729     55 |  0.003 % |
993.99/994.50	c |   1464112 |     180    15300   107100 |    77426    70325     55 |  0.003 % |
994.49/994.98	c |   1464769 |     180    15300   107100 |    77426    70982     55 |  0.003 % |
995.09/995.50	c |   1465489 |     180    15300   107100 |    77426    71702     55 |  0.003 % |
995.69/996.14	c |   1466282 |     180    15300   107100 |    77426    72495     55 |  0.003 % |
996.39/996.88	c |   1467153 |     180    15300   107100 |    77426    73366     55 |  0.003 % |
997.09/997.52	c |   1468112 |     180    15300   107100 |    77426    74325     55 |  0.003 % |
997.79/998.29	c |   1469165 |     180    15300   107100 |    77426    75378     55 |  0.003 % |
998.79/999.23	c |   1470324 |     180    15300   107100 |    76213    63985     54 |  0.003 % |
999.59/1000.05	c |   1471599 |     180    15300   107100 |    76213    65260     54 |  0.003 % |
1000.78/1001.22	c |   1473002 |     180    15300   107100 |    76213    66663     54 |  0.003 % |
1001.98/1002.48	c |   1474544 |     180    15300   107100 |    76213    68205     54 |  0.003 % |
1003.38/1003.84	c |   1476238 |     180    15300   107100 |    76213    69899     54 |  0.003 % |
1004.78/1005.23	c |   1478102 |     180    15300   107100 |    76213    71763     54 |  0.003 % |
1006.28/1006.79	c |   1480152 |     180    15300   107100 |    73663    62887     54 |  0.003 % |
1007.58/1008.06	c |   1482407 |     180    15300   107100 |    73663    65142     54 |  0.003 % |
1009.18/1009.61	c |   1484885 |     180    15300   107100 |    73663    67620     54 |  0.003 % |
1010.98/1011.40	c |   1487610 |     180    15300   107100 |    73663    70345     54 |  0.003 % |
1012.98/1013.47	c |   1490608 |     180    15300   107100 |    72736    64287     54 |  0.003 % |
1015.18/1015.67	c |   1493905 |     180    15300   107100 |    72736    67584     54 |  0.003 % |
1017.78/1018.26	c |   1497532 |     180    15300   107100 |    72736    71211     54 |  0.003 % |
1020.78/1021.23	c |   1501521 |     180    15300   107100 |    64195    57324     54 |  0.003 % |
1023.47/1023.97	c |   1505906 |     180    15300   107100 |    64195    61709     54 |  0.003 % |
1026.37/1026.89	c |   1510729 |     180    15300   107100 |    59028    53845     54 |  0.003 % |
1029.47/1029.98	c |   1516034 |     180    15300   107100 |    59028    53239     54 |  0.003 % |
1033.07/1033.53	c |   1521870 |     180    15300   107100 | 2147483647    59075     54 |  0.003 % |
1037.27/1037.76	c |   1528288 |     180    15300   107100 | 2147483647    65493     54 |  0.003 % |
1042.47/1042.96	c |   1535348 |     180    15300   107100 | 2147483647    72553     54 |  0.003 % |
1047.87/1048.34	c |   1543112 |     180    15300   107100 |    77206    70199     54 |  0.003 % |
1053.96/1054.49	c |   1551652 |     180    15300   107100 |    77088    68194     54 |  0.003 % |
1061.26/1061.73	c |   1561046 |     180    15300   107100 |    76544    67203     54 |  0.003 % |
1068.56/1069.05	c |   1571379 |     180    15300   107100 |    76161    66468     54 |  0.003 % |
1076.46/1076.96	c |   1582745 |     180    15300   107100 |    75089    67465     55 |  0.003 % |
1085.46/1085.95	c |   1595247 |     180    15300   107100 |    74722    70222     55 |  0.003 % |
1095.25/1095.70	c |   1609002 |     180    15300   107100 |    65164    59118     55 |  0.003 % |
1095.25/1095.79	c |   1609102 |     180    15300   107100 |    65164    59218     55 |  0.003 % |
1095.36/1095.87	c |   1609213 |     180    15300   107100 |    65164    59329     55 |  0.003 % |
1095.46/1095.94	c |   1609334 |     180    15300   107100 |    65164    59450     55 |  0.003 % |
1095.56/1096.02	c |   1609468 |     180    15300   107100 |    65164    59584     55 |  0.003 % |
1095.66/1096.12	c |   1609616 |     180    15300   107100 |    65164    59732     55 |  0.003 % |
1095.76/1096.22	c |   1609776 |     180    15300   107100 |    65164    59892     55 |  0.003 % |
1095.86/1096.34	c |   1609953 |     180    15300   107100 |    65164    60069     55 |  0.003 % |
1095.96/1096.49	c |   1610148 |     180    15300   107100 | 2147483647    60264     55 |  0.003 % |
1096.17/1096.64	c |   1610363 |     180    15300   107100 | 2147483647    60479     55 |  0.003 % |
1096.27/1096.79	c |   1610596 |     180    15300   107100 | 2147483647    60712     55 |  0.003 % |
1096.56/1097.02	c |   1610852 |     180    15300   107100 | 2147483647    60968     55 |  0.003 % |
1096.76/1097.25	c |   1611134 |     180    15300   107100 | 2147483647    61250     55 |  0.003 % |
1096.96/1097.45	c |   1611443 |     180    15300   107100 | 2147483647    61559     55 |  0.003 % |
1097.16/1097.67	c |   1611782 |     180    15300   107100 | 2147483647    61898     55 |  0.003 % |
1097.46/1097.91	c |   1612155 |     180    15300   107100 | 2147483647    62271     55 |  0.003 % |
1097.66/1098.19	c |   1612567 |     180    15300   107100 | 2147483647    62683     55 |  0.003 % |
1098.16/1098.60	c |   1613017 |     180    15300   107100 | 2147483647    63133     54 |  0.003 % |
1098.56/1099.07	c |   1613510 |     180    15300   107100 | 2147483647    63626     54 |  0.003 % |
1099.06/1099.53	c |   1614052 |     180    15300   107100 | 2147483647    64168     54 |  0.003 % |
1099.56/1100.02	c |   1614649 |     180    15300   107100 | 2147483647    64765     54 |  0.003 % |
1100.06/1100.51	c |   1615304 |     180    15300   107100 | 2147483647    65420     54 |  0.003 % |
1100.56/1101.06	c |   1616024 |     180    15300   107100 | 2147483647    66140     54 |  0.003 % |
1101.26/1101.76	c |   1616817 |     180    15300   107100 | 2147483647    66933     54 |  0.003 % |
1101.96/1102.50	c |   1617690 |     180    15300   107100 | 2147483647    67806     54 |  0.003 % |
1102.76/1103.30	c |   1618648 |     180    15300   107100 | 2147483647    68764     54 |  0.003 % |
1103.56/1104.05	c |   1619703 |     180    15300   107100 | 2147483647    69819     54 |  0.003 % |
1104.36/1104.86	c |   1620861 |     180    15300   107100 |    70116    61941     54 |  0.003 % |
1105.16/1105.65	c |   1622136 |     180    15300   107100 |    70116    63216     54 |  0.003 % |
1106.06/1106.52	c |   1623536 |     180    15300   107100 |    70116    64616     54 |  0.003 % |
1107.16/1107.67	c |   1625077 |     180    15300   107100 |    70116    66157     54 |  0.003 % |
1108.36/1108.82	c |   1626771 |     180    15300   107100 |    70116    67851     54 |  0.003 % |
1109.75/1110.21	c |   1628634 |     180    15300   107100 |    70116    69714     54 |  0.003 % |
1111.15/1111.67	c |   1630683 |     180    15300   107100 |    62587    55761     54 |  0.003 % |
1112.45/1112.91	c |   1632937 |     180    15300   107100 |    62587    58015     54 |  0.003 % |
1113.86/1114.38	c |   1635415 |     180    15300   107100 |    62587    60493     54 |  0.003 % |
1115.65/1116.12	c |   1638141 |     180    15300   107100 |    62587    56953     54 |  0.003 % |
1117.45/1117.99	c |   1641139 |     180    15300   107100 | 2147483647    59951     54 |  0.003 % |
1119.55/1120.00	c |   1644437 |     180    15300   107100 | 2147483647    63249     54 |  0.003 % |
1121.85/1122.30	c |   1648065 |     180    15300   107100 | 2147483647    66877     54 |  0.003 % |
1124.55/1125.08	c |   1652052 |     180    15300   107100 |    68813    63869     54 |  0.003 % |
1127.65/1128.19	c |   1656439 |     180    15300   107100 |    68813    68256     54 |  0.003 % |
1130.85/1131.38	c |   1661263 |     180    15300   107100 |    63783    57906     54 |  0.003 % |
1134.05/1134.50	c |   1666569 |     180    15300   107100 |    63783    63212     53 |  0.003 % |
1137.75/1138.28	c |   1672406 |     180    15300   107100 | 2147483647    62664     54 |  0.003 % |
1141.95/1142.44	c |   1678824 |     180    15300   107100 | 2147483647    69082     54 |  0.003 % |
1147.24/1147.74	c |   1685885 |     180    15300   107100 | 2147483647    76143     54 |  0.003 % |
1153.54/1154.05	c |   1693649 |     180    15300   107100 |    80258    72151     54 |  0.003 % |
1159.84/1160.30	c |   1702190 |     180    15300   107100 |    78502    69504     54 |  0.003 % |
1166.54/1167.06	c |   1711585 |     180    15300   107100 |    77315    68340     54 |  0.003 % |
1174.13/1174.62	c |   1721919 |     180    15300   107100 |    76755    67067     54 |  0.003 % |
1182.53/1183.03	c |   1733286 |     180    15300   107100 |    75148    67911     54 |  0.003 % |
1191.43/1191.97	c |   1745788 |     180    15300   107100 |    74625    70347     54 |  0.003 % |
1200.03/1200.51	HOME/SatELiteGTI: line 36:  3428 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-1832595-1242785011/watcher-1832595-1242785011 -o /tmp/evaluation-result-1832595-1242785011/solver-1832595-1242785011 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832595-1242785011.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.09 1.07 1.02 3/67 3422
/proc/meminfo: memFree=1654216/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306527243 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 209560764498 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3422/statm: 1339 235 195 169 0 50 0
[pid=3423] ppid=3422 vsize=5356 CPUtime=0
/proc/3423/stat : 3423 (SatELiteGTI) S 3422 3422 1227 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 306527243 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3423/statm: 1339 238 198 169 0 50 0
[pid=3425] ppid=3423 vsize=2608 CPUtime=0
/proc/3425/stat : 3425 (sed) R 3423 3422 1227 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 306527243 2670592 127 1992294400 4194304 4240196 548682069056 18446744073709551615 209560684438 0 0 4096 0 0 0 0 17 0 0 0
/proc/3425/statm: 652 131 105 11 0 56 0

[startup+0.0707839 s]
/proc/loadavg: 1.09 1.07 1.02 3/67 3422
/proc/meminfo: memFree=1654216/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.101785 s]
/proc/loadavg: 1.09 1.07 1.02 3/67 3422
/proc/meminfo: memFree=1654216/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301805 s]
/proc/loadavg: 1.09 1.07 1.02 3/67 3422
/proc/meminfo: memFree=1654216/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701843 s]
/proc/loadavg: 1.09 1.07 1.02 3/67 3422
/proc/meminfo: memFree=1654216/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50191 s]
/proc/loadavg: 1.09 1.07 1.02 2/69 3428
/proc/meminfo: memFree=1650560/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=4820 CPUtime=1.42
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 970 0 0 0 142 0 0 0 25 0 1 0 306527249 4935680 956 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 1205 956 76 171 0 1032 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10176

[startup+3.10105 s]
/proc/loadavg: 1.09 1.07 1.02 2/69 3428
/proc/meminfo: memFree=1648640/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=7196 CPUtime=3.01
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 1547 0 0 0 300 1 0 0 25 0 1 0 306527249 7368704 1533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 1799 1533 76 171 0 1626 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12552

[startup+6.30133 s]
/proc/loadavg: 1.09 1.07 1.02 2/69 3428
/proc/meminfo: memFree=1645120/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=10016 CPUtime=6.21
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 2256 0 0 0 619 2 0 0 25 0 1 0 306527249 10256384 2242 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 2504 2242 76 171 0 2331 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15372

[startup+12.7029 s]
/proc/loadavg: 1.08 1.07 1.02 2/69 3428
/proc/meminfo: memFree=1641024/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=13924 CPUtime=12.61
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 3209 0 0 0 1258 3 0 0 25 0 1 0 306527249 14258176 3195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 3481 3195 76 171 0 3308 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19280

[startup+25.501 s]
/proc/loadavg: 1.06 1.06 1.02 2/69 3428
/proc/meminfo: memFree=1635584/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=19076 CPUtime=25.4
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 4501 0 0 0 2536 4 0 0 25 0 1 0 306527249 19533824 4487 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 4769 4487 76 171 0 4596 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24432

[startup+51.1013 s]
/proc/loadavg: 1.04 1.06 1.02 2/69 3428
/proc/meminfo: memFree=1632896/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=21596 CPUtime=50.99
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5124 0 0 0 5094 5 0 0 25 0 1 0 306527249 22114304 5110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 5399 5110 76 171 0 5226 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 26952

[startup+102.306 s]
/proc/loadavg: 1.02 1.05 1.01 2/69 3428
/proc/meminfo: memFree=1632000/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=22264 CPUtime=102.17
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5315 0 0 0 10212 5 0 0 25 0 1 0 306527249 22798336 5301 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 5566 5301 76 171 0 5393 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 27620

[startup+162.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/69 3428
/proc/meminfo: memFree=1631872/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=22264 CPUtime=162.14
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5315 0 0 0 16209 5 0 0 25 0 1 0 306527249 22798336 5301 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 5566 5301 76 171 0 5393 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 27620

[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/69 3428
/proc/meminfo: memFree=1630976/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=23056 CPUtime=222.11
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5508 0 0 0 22206 5 0 0 25 0 1 0 306527249 23609344 5494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 5764 5494 76 171 0 5591 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 28412

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/69 3428
/proc/meminfo: memFree=1630848/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=23056 CPUtime=282.09
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5508 0 0 0 28204 5 0 0 25 0 1 0 306527249 23609344 5494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 5764 5494 76 171 0 5591 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 28412

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/69 3428
/proc/meminfo: memFree=1629824/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=23996 CPUtime=342.06
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5732 0 0 0 34200 6 0 0 25 0 1 0 306527249 24571904 5718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 5999 5718 76 171 0 5826 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 29352

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/69 3428
/proc/meminfo: memFree=1629632/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=24128 CPUtime=402.03

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

[pid=3428] ppid=3422 vsize=24548 CPUtime=522
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5862 0 0 0 52193 7 0 0 25 0 1 0 306527249 25137152 5848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6137 5848 76 171 0 5964 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 29904

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1628928/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=24548 CPUtime=581.97
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5863 0 0 0 58190 7 0 0 25 0 1 0 306527249 25137152 5849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6137 5849 76 171 0 5964 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 29904

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1628800/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=24548 CPUtime=641.96
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5863 0 0 0 64188 8 0 0 25 0 1 0 306527249 25137152 5849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6137 5849 76 171 0 5964 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 29904

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1628352/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=24960 CPUtime=701.93
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5958 0 0 0 70185 8 0 0 25 0 1 0 306527249 25559040 5944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6240 5944 76 171 0 6067 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 30316

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1628224/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=24960 CPUtime=761.91
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5958 0 0 0 76183 8 0 0 25 0 1 0 306527249 25559040 5944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6240 5944 76 171 0 6067 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 30316

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1628160/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=24960 CPUtime=821.9
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 5958 0 0 0 82181 9 0 0 25 0 1 0 306527249 25559040 5944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6240 5944 76 171 0 6067 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 30316

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1627520/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=25492 CPUtime=881.88
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6092 0 0 0 88179 9 0 0 25 0 1 0 306527249 26103808 6078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6373 6078 76 171 0 6200 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 30848

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1627392/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=25492 CPUtime=941.85
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6097 0 0 0 94176 9 0 0 25 0 1 0 306527249 26103808 6083 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6373 6083 76 171 0 6200 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 30848

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1626816/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=26052 CPUtime=1001.83
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6222 0 0 0 100174 9 0 0 25 0 1 0 306527249 26677248 6208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6513 6208 76 171 0 6340 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 31408

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1626688/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=26052 CPUtime=1061.81
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6232 0 0 0 106172 9 0 0 25 0 1 0 306527249 26677248 6218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6513 6218 76 171 0 6340 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 31408

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1626624/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=26052 CPUtime=1121.8
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6232 0 0 0 112170 10 0 0 25 0 1 0 306527249 26677248 6218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6513 6218 76 171 0 6340 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 31408

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1626496/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=26052 CPUtime=1181.78
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6232 0 0 0 118168 10 0 0 25 0 1 0 306527249 26677248 6218 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6513 6218 76 171 0 6340 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 31408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1626432/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=26052 CPUtime=1199.98
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6242 0 0 0 119988 10 0 0 25 0 1 0 306527249 26677248 6228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6513 6228 76 171 0 6340 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 31408

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3428
/proc/meminfo: memFree=1626432/2055920 swapFree=4177288/4192956
[pid=3422] ppid=3420 vsize=5356 CPUtime=0.05
/proc/3422/stat : 3422 (SatELiteGTI) S 3420 3422 1227 0 -1 4194304 336 708 0 0 0 0 5 0 16 0 1 0 306527243 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3422/statm: 1339 239 197 169 0 50 0
[pid=3428] ppid=3422 vsize=26052 CPUtime=1199.98
/proc/3428/stat : 3428 (minisat_static) R 3422 3422 1227 0 -1 4194304 6242 0 0 0 119988 10 0 0 25 0 1 0 306527249 26677248 6228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3428/statm: 6513 6228 76 171 0 6340 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 31408

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.94
CPU system time (s): 0.115982
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 31408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7295
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= 5114

runsolver used 1.24881 second user time and 3.2505 second system time

The end

Launcher Data

Begin job on node68 at 2009-05-20 04:03:31
IDJOB=1832595
IDBENCH=70261
IDSOLVER=671
FILE ID=node68/1832595-1242785011
PBS_JOBID= 9322341
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= 680f1c08894c7336e339abedaa2a15cb
RANDOM SEED=2010138629

node68.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.223
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.223
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:       1654696 kB
Buffers:         32120 kB
Cached:         296164 kB
SwapCached:       7636 kB
Active:          92148 kB
Inactive:       245328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1654696 kB
SwapTotal:     4192956 kB
SwapFree:      4177288 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          14816 kB
Slab:            49416 kB
Committed_AS:   907976 kB
PageTables:       1564 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66168 MiB
End job on node68 at 2009-05-20 04:23:33