Trace number 1832591

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
MD5SUM298c47e7c897264ddc867921f7476e46
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark204.688
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.016997 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.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     180    15300   107100 |     5100        0    nan |  0.000 % |
0.00/0.08	c |       103 |     180    15300   107100 |     5100      103     50 |  0.003 % |
0.04/0.09	c |       203 |     180    15300   107100 |     5100      203     52 |  0.003 % |
0.04/0.10	c |       303 |     180    15300   107100 |     5100      303     52 |  0.003 % |
0.04/0.11	c |       414 |     180    15300   107100 |     5100      414     52 |  0.003 % |
0.04/0.12	c |       514 |     180    15300   107100 |     5100      514     52 |  0.003 % |
0.04/0.13	c |       625 |     180    15300   107100 |     5100      625     52 |  0.003 % |
0.04/0.14	c |       746 |     180    15300   107100 |     5100      746     52 |  0.003 % |
0.04/0.15	c |       846 |     180    15300   107100 |     5100      846     52 |  0.003 % |
0.04/0.16	c |       957 |     180    15300   107100 |     5100      957     52 |  0.003 % |
0.04/0.17	c |      1079 |     180    15300   107100 |     5100     1079     52 |  0.003 % |
0.04/0.18	c |      1212 |     180    15300   107100 |     5100     1212     52 |  0.003 % |
0.04/0.19	c |      1313 |     180    15300   107100 |     5100     1313     52 |  0.003 % |
0.04/0.20	c |      1423 |     180    15300   107100 |     5100     1423     52 |  0.003 % |
0.04/0.21	c |      1544 |     180    15300   107100 |     5100     1544     52 |  0.003 % |
0.04/0.22	c |      1678 |     180    15300   107100 |     5100     1678     52 |  0.003 % |
0.04/0.23	c |      1824 |     180    15300   107100 |     5100     1824     52 |  0.003 % |
0.04/0.24	c |      1924 |     180    15300   107100 |     5100     1924     52 |  0.003 % |
0.04/0.25	c |      2034 |     180    15300   107100 |     5100     2034     52 |  0.003 % |
0.04/0.26	c |      2155 |     180    15300   107100 |     5100     2155     52 |  0.003 % |
0.04/0.27	c |      2288 |     180    15300   107100 |     5100     2288     52 |  0.003 % |
0.04/0.28	c |      2438 |     180    15300   107100 |     5100     2438     52 |  0.003 % |
0.04/0.30	c |      2598 |     180    15300   107100 |     5100     2598     52 |  0.003 % |
0.04/0.31	c |      2700 |     180    15300   107100 |     5100     2700     52 |  0.003 % |
0.04/0.32	c |      2810 |     180    15300   107100 |     5100     2810     52 |  0.003 % |
0.04/0.33	c |      2931 |     180    15300   107100 |     5100     2931     52 |  0.003 % |
0.04/0.34	c |      3064 |     180    15300   107100 |     5100     3064     52 |  0.003 % |
0.04/0.35	c |      3210 |     180    15300   107100 |     5100     3210     52 |  0.003 % |
0.04/0.37	c |      3371 |     180    15300   107100 |     5100     3371     52 |  0.003 % |
0.04/0.39	c |      3548 |     180    15300   107100 |     5100     3548     52 |  0.003 % |
0.04/0.40	c |      3650 |     180    15300   107100 |     5100     3650     52 |  0.003 % |
0.04/0.41	c |      3762 |     180    15300   107100 |     5100     3762     52 |  0.003 % |
0.04/0.42	c |      3884 |     180    15300   107100 |     5100     3884     52 |  0.003 % |
0.04/0.43	c |      4018 |     180    15300   107100 |     5100     4018     52 |  0.003 % |
0.04/0.45	c |      4164 |     180    15300   107100 |     5100     4164     52 |  0.003 % |
0.04/0.46	c |      4324 |     180    15300   107100 |     5100     4324     52 |  0.003 % |
0.04/0.48	c |      4500 |     180    15300   107100 |     5100     4500     52 |  0.003 % |
0.04/0.50	c |      4694 |     180    15300   107100 |     5100     4694     52 |  0.003 % |
0.04/0.51	c |      4795 |     180    15300   107100 |     5100     4795     52 |  0.003 % |
0.04/0.52	c |      4906 |     180    15300   107100 |     5100     4906     52 |  0.003 % |
0.04/0.54	c |      5027 |     180    15300   107100 |     5100     5027     52 |  0.003 % |
0.04/0.55	c |      5161 |     180    15300   107100 |     5100     5161     52 |  0.003 % |
0.04/0.57	c |      5308 |     180    15300   107100 |     5100     4792     52 |  0.003 % |
0.04/0.59	c |      5469 |     180    15300   107100 |     5100     4953     52 |  0.003 % |
0.04/0.60	c |      5651 |     180    15300   107100 |     5100     5135     52 |  0.003 % |
0.04/0.63	c |      5844 |     180    15300   107100 |     5100     4815     52 |  0.003 % |
0.04/0.65	c |      6057 |     180    15300   107100 |     5100     5028     52 |  0.003 % |
0.04/0.66	c |      6157 |     180    15300   107100 |     5100     5128     52 |  0.003 % |
0.04/0.68	c |      6267 |     180    15300   107100 |     5100     4726     52 |  0.003 % |
0.04/0.69	c |      6390 |     180    15300   107100 |     5100     4849     52 |  0.003 % |
0.04/0.71	c |      6523 |     180    15300   107100 |     5100     4982     52 |  0.003 % |
0.04/0.72	c |      6670 |     180    15300   107100 |     5100     5129     52 |  0.003 % |
0.04/0.74	c |      6831 |     180    15300   107100 |     5100     4778     52 |  0.003 % |
0.04/0.76	c |      7007 |     180    15300   107100 |     5100     4954     52 |  0.003 % |
0.04/0.78	c |      7200 |     180    15300   107100 |     5100     5147     52 |  0.003 % |
0.04/0.80	c |      7414 |     180    15300   107100 |     5100     4847     52 |  0.003 % |
0.04/0.83	c |      7647 |     180    15300   107100 |     5100     5080     52 |  0.003 % |
0.04/0.84	c |      7748 |     180    15300   107100 |     5100     5181     52 |  0.003 % |
0.04/0.85	c |      7858 |     180    15300   107100 |     5100     4773     52 |  0.003 % |
0.04/0.86	c |      7979 |     180    15300   107100 |     5100     4894     52 |  0.003 % |
0.04/0.88	c |      8114 |     180    15300   107100 |     5100     5029     52 |  0.003 % |
0.04/0.90	c |      8261 |     180    15300   107100 |     5100     5176     52 |  0.003 % |
0.04/0.91	c |      8422 |     180    15300   107100 |     5100     4820     52 |  0.003 % |
0.04/0.93	c |      8599 |     180    15300   107100 |     5100     4997     52 |  0.003 % |
0.04/0.96	c |      8792 |     180    15300   107100 |     5100     4672     52 |  0.003 % |
0.04/0.98	c |      9004 |     180    15300   107100 |     5100     4884     52 |  0.003 % |
0.96/1.01	c |      9237 |     180    15300   107100 |     5100     5117     52 |  0.003 % |
0.96/1.04	c |      9496 |     180    15300   107100 |     5100     4865     52 |  0.003 % |
0.96/1.05	c |      9598 |     180    15300   107100 |     5100     4967     52 |  0.003 % |
0.96/1.06	c |      9710 |     180    15300   107100 |     5100     5079     52 |  0.003 % |
0.96/1.08	c |      9832 |     180    15300   107100 |     5100     4683     52 |  0.003 % |
0.96/1.10	c |      9966 |     180    15300   107100 |     5100     4817     52 |  0.003 % |
1.06/1.11	c |     10113 |     180    15300   107100 | 2147483647     4964     52 |  0.003 % |
1.06/1.13	c |     10273 |     180    15300   107100 | 2147483647     5124     52 |  0.003 % |
1.06/1.15	c |     10449 |     180    15300   107100 | 2147483647     5300     52 |  0.003 % |
1.06/1.17	c |     10644 |     180    15300   107100 | 2147483647     5495     52 |  0.003 % |
1.16/1.20	c |     10856 |     180    15300   107100 | 2147483647     5707     52 |  0.003 % |
1.16/1.22	c |     11089 |     180    15300   107100 | 2147483647     5940     52 |  0.003 % |
1.16/1.25	c |     11345 |     180    15300   107100 | 2147483647     6196     52 |  0.003 % |
1.16/1.28	c |     11626 |     180    15300   107100 | 2147483647     6477     52 |  0.003 % |
1.16/1.30	c |     11727 |     180    15300   107100 | 2147483647     6578     52 |  0.003 % |
1.26/1.31	c |     11838 |     180    15300   107100 | 2147483647     6689     52 |  0.003 % |
1.26/1.33	c |     11959 |     180    15300   107100 | 2147483647     6810     52 |  0.003 % |
1.26/1.34	c |     12093 |     180    15300   107100 | 2147483647     6944     52 |  0.003 % |
1.26/1.36	c |     12240 |     180    15300   107100 | 2147483647     7091     52 |  0.003 % |
1.26/1.38	c |     12404 |     180    15300   107100 | 2147483647     7255     52 |  0.003 % |
1.36/1.41	c |     12581 |     180    15300   107100 | 2147483647     7432     52 |  0.003 % |
1.36/1.43	c |     12774 |     180    15300   107100 | 2147483647     7625     52 |  0.003 % |
1.36/1.46	c |     12986 |     180    15300   107100 | 2147483647     7837     52 |  0.003 % |
1.36/1.49	c |     13220 |     180    15300   107100 | 2147483647     8071     52 |  0.003 % |
1.46/1.52	c |     13478 |     180    15300   107100 | 2147483647     8329     52 |  0.003 % |
1.46/1.55	c |     13759 |     180    15300   107100 | 2147483647     8610     52 |  0.003 % |
1.56/1.60	c |     14069 |     180    15300   107100 | 2147483647     8920     52 |  0.003 % |
1.56/1.61	c |     14169 |     180    15300   107100 | 2147483647     9020     52 |  0.003 % |
1.56/1.63	c |     14279 |     180    15300   107100 | 2147483647     9130     52 |  0.003 % |
1.56/1.64	c |     14403 |     180    15300   107100 | 2147483647     9254     52 |  0.003 % |
1.56/1.66	c |     14537 |     180    15300   107100 | 2147483647     9388     52 |  0.003 % |
1.56/1.68	c |     14683 |     180    15300   107100 | 2147483647     9534     52 |  0.003 % |
1.66/1.70	c |     14845 |     180    15300   107100 | 2147483647     9696     52 |  0.003 % |
1.66/1.73	c |     15021 |     180    15300   107100 | 2147483647     9872     52 |  0.003 % |
1.66/1.76	c |     15215 |     180    15300   107100 | 2147483647    10066     52 |  0.003 % |
1.66/1.80	c |     15427 |     180    15300   107100 | 2147483647    10278     52 |  0.003 % |
1.76/1.83	c |     15663 |     180    15300   107100 | 2147483647    10514     52 |  0.003 % |
1.76/1.88	c |     15922 |     180    15300   107100 | 2147483647    10773     52 |  0.003 % |
1.86/1.92	c |     16203 |     180    15300   107100 | 2147483647    11054     52 |  0.003 % |
1.86/1.97	c |     16512 |     180    15300   107100 | 2147483647    11363     52 |  0.003 % |
1.96/2.03	c |     16851 |     180    15300   107100 | 2147483647    11702     52 |  0.003 % |
1.96/2.04	c |     16955 |     180    15300   107100 | 2147483647    11806     52 |  0.003 % |
1.96/2.06	c |     17065 |     180    15300   107100 | 2147483647    11916     52 |  0.003 % |
1.96/2.09	c |     17187 |     180    15300   107100 | 2147483647    12038     52 |  0.003 % |
2.07/2.11	c |     17322 |     180    15300   107100 | 2147483647    12173     52 |  0.003 % |
2.07/2.14	c |     17468 |     180    15300   107100 | 2147483647    12319     52 |  0.003 % |
2.07/2.17	c |     17631 |     180    15300   107100 | 2147483647    12482     52 |  0.003 % |
2.16/2.20	c |     17808 |     180    15300   107100 | 2147483647    12659     52 |  0.003 % |
2.16/2.24	c |     18001 |     180    15300   107100 | 2147483647    12852     52 |  0.003 % |
2.16/2.28	c |     18214 |     180    15300   107100 | 2147483647    13065     52 |  0.003 % |
2.26/2.32	c |     18447 |     180    15300   107100 | 2147483647    13298     52 |  0.003 % |
2.26/2.37	c |     18703 |     180    15300   107100 | 2147483647    13554     52 |  0.003 % |
2.36/2.42	c |     18984 |     180    15300   107100 | 2147483647    13835     53 |  0.003 % |
2.36/2.49	c |     19295 |     180    15300   107100 | 2147483647    14146     53 |  0.003 % |
2.46/2.55	c |     19635 |     180    15300   107100 | 2147483647    14486     53 |  0.003 % |
2.56/2.63	c |     20007 |     180    15300   107100 | 2147483647    14858     53 |  0.003 % |
2.56/2.65	c |     20108 |     180    15300   107100 | 2147483647    14959     53 |  0.003 % |
2.56/2.68	c |     20219 |     180    15300   107100 | 2147483647    15070     53 |  0.003 % |
2.66/2.70	c |     20340 |     180    15300   107100 | 2147483647    15191     53 |  0.003 % |
2.66/2.73	c |     20473 |     180    15300   107100 | 2147483647    15324     53 |  0.003 % |
2.66/2.76	c |     20621 |     180    15300   107100 | 2147483647    15472     53 |  0.003 % |
2.66/2.79	c |     20781 |     180    15300   107100 | 2147483647    15632     53 |  0.003 % |
2.76/2.83	c |     20957 |     180    15300   107100 | 2147483647    15808     53 |  0.003 % |
2.76/2.87	c |     21150 |     180    15300   107100 | 2147483647    16001     53 |  0.003 % |
2.86/2.91	c |     21362 |     180    15300   107100 | 2147483647    16213     53 |  0.003 % |
2.86/2.96	c |     21595 |     180    15300   107100 | 2147483647    16446     53 |  0.003 % |
2.96/3.03	c |     21851 |     180    15300   107100 | 2147483647    16702     53 |  0.003 % |
2.96/3.09	c |     22132 |     180    15300   107100 | 2147483647    16983     53 |  0.003 % |
3.07/3.16	c |     22442 |     180    15300   107100 | 2147483647    17293     53 |  0.003 % |
3.17/3.24	c |     22782 |     180    15300   107100 | 2147483647    17633     53 |  0.003 % |
3.27/3.32	c |     23154 |     180    15300   107100 | 2147483647    18005     53 |  0.003 % |
3.37/3.41	c |     23567 |     180    15300   107100 | 2147483647    18418     53 |  0.003 % |
3.37/3.44	c |     23667 |     180    15300   107100 | 2147483647    18518     53 |  0.003 % |
3.37/3.47	c |     23777 |     180    15300   107100 | 2147483647    18628     53 |  0.003 % |
3.47/3.50	c |     23898 |     180    15300   107100 | 2147483647    18749     53 |  0.003 % |
3.47/3.53	c |     24033 |     180    15300   107100 | 2147483647    18884     53 |  0.003 % |
3.47/3.57	c |     24179 |     180    15300   107100 | 2147483647    19030     53 |  0.003 % |
3.56/3.61	c |     24340 |     180    15300   107100 | 2147483647    19191     53 |  0.003 % |
3.56/3.66	c |     24517 |     180    15300   107100 | 2147483647    19368     53 |  0.003 % |
3.66/3.71	c |     24712 |     180    15300   107100 | 2147483647    19563     53 |  0.003 % |
3.66/3.76	c |     24925 |     180    15300   107100 | 2147483647    19776     53 |  0.003 % |
3.76/3.82	c |     25159 |     180    15300   107100 | 2147483647    20010     53 |  0.003 % |
3.76/3.89	c |     25416 |     180    15300   107100 | 2147483647    20267     53 |  0.003 % |
3.86/3.96	c |     25699 |     180    15300   107100 | 2147483647    20550     53 |  0.003 % |
3.96/4.04	c |     26008 |     180    15300   107100 | 2147483647    20859     53 |  0.003 % |
4.06/4.14	c |     26348 |     180    15300   107100 | 2147483647    21199     53 |  0.003 % |
4.16/4.24	c |     26720 |     180    15300   107100 | 2147483647    21571     53 |  0.003 % |
4.27/4.35	c |     27129 |     180    15300   107100 | 2147483647    21980     53 |  0.003 % |
4.37/4.48	c |     27578 |     180    15300   107100 | 2147483647    22429     53 |  0.003 % |
4.46/4.51	c |     27681 |     180    15300   107100 | 2147483647    22532     53 |  0.003 % |
4.46/4.55	c |     27791 |     180    15300   107100 | 2147483647    22642     53 |  0.003 % |
4.46/4.59	c |     27912 |     180    15300   107100 | 2147483647    22763     53 |  0.003 % |
4.56/4.63	c |     28045 |     180    15300   107100 | 2147483647    22896     53 |  0.003 % |
4.56/4.68	c |     28191 |     180    15300   107100 | 2147483647    23042     53 |  0.003 % |
4.66/4.73	c |     28352 |     180    15300   107100 | 2147483647    23203     53 |  0.003 % |
4.66/4.77	c |     28530 |     180    15300   107100 | 2147483647    23381     53 |  0.003 % |
4.76/4.84	c |     28724 |     180    15300   107100 | 2147483647    23575     53 |  0.003 % |
4.86/4.90	c |     28937 |     180    15300   107100 | 2147483647    23788     53 |  0.003 % |
4.86/4.97	c |     29174 |     180    15300   107100 | 2147483647    24025     53 |  0.003 % |
4.96/5.04	c |     29430 |     180    15300   107100 | 2147483647    24281     53 |  0.003 % |
5.06/5.13	c |     29712 |     180    15300   107100 | 2147483647    24563     53 |  0.003 % |
5.16/5.22	c |     30021 |     180    15300   107100 | 2147483647    24872     53 |  0.003 % |
5.26/5.33	c |     30360 |     180    15300   107100 | 2147483647    25211     53 |  0.003 % |
5.36/5.45	c |     30734 |     180    15300   107100 | 2147483647    25585     53 |  0.003 % |
5.46/5.58	c |     31143 |     180    15300   107100 | 2147483647    25994     53 |  0.003 % |
5.66/5.73	c |     31592 |     180    15300   107100 | 2147483647    26443     53 |  0.003 % |
5.86/5.91	c |     32085 |     180    15300   107100 | 2147483647    26936     53 |  0.003 % |
5.86/5.95	c |     32187 |     180    15300   107100 | 2147483647    27038     53 |  0.003 % |
5.86/5.98	c |     32298 |     180    15300   107100 | 2147483647    27149     53 |  0.003 % |
5.96/6.03	c |     32420 |     180    15300   107100 | 2147483647    27271     53 |  0.003 % |
5.96/6.07	c |     32553 |     180    15300   107100 | 2147483647    27404     53 |  0.003 % |
6.06/6.13	c |     32702 |     180    15300   107100 | 2147483647    27553     53 |  0.003 % |
6.06/6.19	c |     32864 |     180    15300   107100 | 2147483647    27715     53 |  0.003 % |
6.16/6.25	c |     33041 |     180    15300   107100 | 2147483647    27892     53 |  0.003 % |
6.26/6.32	c |     33236 |     180    15300   107100 | 2147483647    28087     53 |  0.003 % |
6.36/6.40	c |     33448 |     180    15300   107100 | 2147483647    28299     53 |  0.003 % |
6.36/6.49	c |     33682 |     180    15300   107100 | 2147483647    28533     53 |  0.003 % |
6.47/6.58	c |     33939 |     180    15300   107100 | 2147483647    28790     53 |  0.003 % |
6.57/6.67	c |     34220 |     180    15300   107100 | 2147483647    29071     53 |  0.003 % |
6.66/6.76	c |     34529 |     180    15300   107100 | 2147483647    29380     53 |  0.003 % |
6.76/6.89	c |     34870 |     180    15300   107100 | 2147483647    29721     53 |  0.003 % |
6.96/7.03	c |     35242 |     180    15300   107100 | 2147483647    30093     53 |  0.003 % |
7.06/7.18	c |     35652 |     180    15300   107100 | 2147483647    30503     53 |  0.003 % |
7.26/7.34	c |     36101 |     180    15300   107100 | 2147483647    30952     53 |  0.003 % |
7.46/7.52	c |     36595 |     180    15300   107100 | 2147483647    31446     53 |  0.003 % |
7.66/7.74	c |     37138 |     180    15300   107100 | 2147483647    31989     53 |  0.003 % |
7.66/7.78	c |     37240 |     180    15300   107100 | 2147483647    32091     53 |  0.003 % |
7.76/7.83	c |     37350 |     180    15300   107100 | 2147483647    32201     53 |  0.003 % |
7.76/7.88	c |     37471 |     180    15300   107100 | 2147483647    32322     53 |  0.003 % |
7.86/7.93	c |     37606 |     180    15300   107100 | 2147483647    32457     53 |  0.003 % |
7.96/8.00	c |     37753 |     180    15300   107100 | 2147483647    32604     53 |  0.003 % |
7.96/8.06	c |     37913 |     180    15300   107100 | 2147483647    32764     53 |  0.003 % |
8.06/8.13	c |     38092 |     180    15300   107100 | 2147483647    32943     53 |  0.003 % |
8.16/8.22	c |     38285 |     180    15300   107100 | 2147483647    33136     53 |  0.003 % |
8.26/8.32	c |     38498 |     180    15300   107100 | 2147483647    33349     53 |  0.003 % |
8.36/8.42	c |     38732 |     180    15300   107100 | 2147483647    33583     53 |  0.003 % |
8.46/8.53	c |     38988 |     180    15300   107100 | 2147483647    33839     53 |  0.003 % |
8.56/8.64	c |     39269 |     180    15300   107100 | 2147483647    34120     53 |  0.003 % |
8.66/8.76	c |     39578 |     180    15300   107100 | 2147483647    34429     53 |  0.003 % |
8.86/8.91	c |     39917 |     180    15300   107100 | 2147483647    34768     53 |  0.003 % |
8.96/9.06	c |     40289 |     180    15300   107100 | 2147483647    35140     53 |  0.003 % |
9.16/9.22	c |     40701 |     180    15300   107100 | 2147483647    35552     53 |  0.003 % |
9.26/9.39	c |     41151 |     180    15300   107100 | 2147483647    36002     53 |  0.003 % |
9.46/9.59	c |     41644 |     180    15300   107100 | 2147483647    36495     53 |  0.003 % |
9.76/9.81	c |     42186 |     180    15300   107100 | 2147483647    37037     53 |  0.003 % |
9.96/10.04	c |     42784 |     180    15300   107100 | 2147483647    37635     53 |  0.003 % |
9.96/10.09	c |     42884 |     180    15300   107100 | 2147483647    37735     53 |  0.003 % |
10.06/10.14	c |     42996 |     180    15300   107100 | 2147483647    37847     53 |  0.003 % |
10.06/10.19	c |     43118 |     180    15300   107100 | 2147483647    37969     53 |  0.003 % |
10.16/10.26	c |     43253 |     180    15300   107100 | 2147483647    38104     53 |  0.003 % |
10.25/10.32	c |     43399 |     180    15300   107100 | 2147483647    38250     53 |  0.003 % |
10.35/10.40	c |     43561 |     180    15300   107100 | 2147483647    38412     53 |  0.003 % |
10.46/10.52	c |     43737 |     180    15300   107100 | 2147483647    38588     53 |  0.003 % |
10.56/10.62	c |     43931 |     180    15300   107100 | 2147483647    38782     53 |  0.003 % |
10.66/10.71	c |     44143 |     180    15300   107100 | 2147483647    38994     53 |  0.003 % |
10.76/10.82	c |     44376 |     180    15300   107100 | 2147483647    39227     53 |  0.003 % |
10.87/10.95	c |     44632 |     180    15300   107100 | 2147483647    39483     53 |  0.003 % |
10.97/11.09	c |     44913 |     180    15300   107100 | 2147483647    39764     53 |  0.003 % |
11.16/11.24	c |     45222 |     180    15300   107100 | 2147483647    40073     53 |  0.003 % |
11.26/11.40	c |     45561 |     180    15300   107100 | 2147483647    40412     53 |  0.003 % |
11.56/11.60	c |     45933 |     180    15300   107100 | 2147483647    40784     53 |  0.003 % |
11.76/11.82	c |     46342 |     180    15300   107100 | 2147483647    41193     53 |  0.003 % |
11.97/12.05	c |     46792 |     180    15300   107100 | 2147483647    41643     53 |  0.003 % |
12.16/12.29	c |     47286 |     180    15300   107100 | 2147483647    42137     53 |  0.003 % |
12.46/12.56	c |     47828 |     180    15300   107100 | 2147483647    42679     53 |  0.003 % |
12.76/12.86	c |     48425 |     180    15300   107100 | 2147483647    43276     53 |  0.003 % |
13.06/13.15	c |     49080 |     180    15300   107100 | 2147483647    43931     53 |  0.003 % |
13.16/13.22	c |     49180 |     180    15300   107100 | 2147483647    44031     53 |  0.003 % |
13.16/13.29	c |     49290 |     180    15300   107100 | 2147483647    44141     53 |  0.003 % |
13.26/13.36	c |     49413 |     180    15300   107100 | 2147483647    44264     53 |  0.003 % |
13.36/13.43	c |     49546 |     180    15300   107100 | 2147483647    44397     53 |  0.003 % |
13.46/13.52	c |     49693 |     180    15300   107100 | 2147483647    44544     53 |  0.003 % |
13.56/13.61	c |     49853 |     180    15300   107100 | 2147483647    44704     53 |  0.003 % |
13.66/13.71	c |     50031 |     180    15300   107100 | 2147483647    44882     53 |  0.003 % |
13.76/13.83	c |     50224 |     180    15300   107100 | 2147483647    45075     53 |  0.003 % |
13.86/13.97	c |     50438 |     180    15300   107100 | 2147483647    45289     53 |  0.003 % |
14.06/14.12	c |     50674 |     180    15300   107100 | 2147483647    45525     53 |  0.003 % |
14.16/14.27	c |     50931 |     180    15300   107100 | 2147483647    45782     53 |  0.003 % |
14.36/14.41	c |     51212 |     180    15300   107100 | 2147483647    46063     53 |  0.003 % |
14.46/14.59	c |     51522 |     180    15300   107100 | 2147483647    46373     53 |  0.003 % |
14.76/14.81	c |     51861 |     180    15300   107100 | 2147483647    46712     53 |  0.003 % |
14.96/15.03	c |     52235 |     180    15300   107100 | 2147483647    47086     53 |  0.003 % |
15.16/15.25	c |     52644 |     180    15300   107100 | 2147483647    47495     53 |  0.003 % |
15.36/15.48	c |     53096 |     180    15300   107100 | 2147483647    47947     53 |  0.003 % |
15.66/15.78	c |     53589 |     180    15300   107100 | 2147483647    48440     53 |  0.003 % |
16.05/16.11	c |     54132 |     180    15300   107100 | 2147483647    48983     53 |  0.003 % |
16.36/16.44	c |     54728 |     180    15300   107100 | 2147483647    49579     53 |  0.003 % |
16.75/16.84	c |     55383 |     180    15300   107100 | 2147483647    50234     53 |  0.003 % |
17.16/17.25	c |     56105 |     180    15300   107100 | 2147483647    50956     53 |  0.003 % |
17.16/17.30	c |     56205 |     180    15300   107100 | 2147483647    51056     53 |  0.003 % |
17.26/17.37	c |     56316 |     180    15300   107100 | 2147483647    51167     53 |  0.003 % |
17.36/17.44	c |     56438 |     180    15300   107100 | 2147483647    51289     53 |  0.003 % |
17.46/17.52	c |     56573 |     180    15300   107100 | 2147483647    51424     53 |  0.003 % |
17.56/17.63	c |     56720 |     180    15300   107100 | 2147483647    51571     53 |  0.003 % |
17.66/17.74	c |     56881 |     180    15300   107100 | 2147483647    51732     53 |  0.003 % |
17.76/17.86	c |     57059 |     180    15300   107100 | 2147483647    51910     53 |  0.003 % |
17.96/18.01	c |     57252 |     180    15300   107100 | 2147483647    52103     53 |  0.003 % |
18.06/18.15	c |     57467 |     180    15300   107100 | 2147483647    52318     53 |  0.003 % |
18.16/18.28	c |     57702 |     180    15300   107100 | 2147483647    52553     53 |  0.003 % |
18.36/18.43	c |     57958 |     180    15300   107100 | 2147483647    52809     53 |  0.003 % |
18.56/18.62	c |     58239 |     180    15300   107100 | 2147483647    53090     53 |  0.003 % |
18.66/18.79	c |     58548 |     180    15300   107100 | 2147483647    53399     53 |  0.003 % |
18.95/19.02	c |     58887 |     180    15300   107100 | 2147483647    53738     53 |  0.003 % |
19.15/19.29	c |     59260 |     180    15300   107100 | 2147483647    54111     53 |  0.003 % |
19.45/19.58	c |     59671 |     180    15300   107100 | 2147483647    54522     53 |  0.003 % |
19.76/19.87	c |     60121 |     180    15300   107100 | 2147483647    54972     53 |  0.003 % |
20.05/20.19	c |     60614 |     180    15300   107100 | 2147483647    55465     53 |  0.003 % |
20.46/20.52	c |     61158 |     180    15300   107100 | 2147483647    56009     53 |  0.003 % |
20.76/20.87	c |     61754 |     180    15300   107100 | 2147483647    56605     53 |  0.003 % |
21.16/21.26	c |     62412 |     180    15300   107100 | 2147483647    57263     53 |  0.003 % |
21.56/21.67	c |     63132 |     180    15300   107100 | 2147483647    57983     53 |  0.003 % |
22.06/22.16	c |     63924 |     180    15300   107100 | 2147483647    58775     53 |  0.003 % |
22.16/22.22	c |     64024 |     180    15300   107100 | 2147483647    58875     53 |  0.003 % |
22.26/22.33	c |     64134 |     180    15300   107100 | 2147483647    58985     53 |  0.003 % |
22.36/22.42	c |     64255 |     180    15300   107100 | 2147483647    59106     53 |  0.003 % |
22.46/22.53	c |     64388 |     180    15300   107100 | 2147483647    59239     53 |  0.003 % |
22.56/22.63	c |     64536 |     180    15300   107100 | 2147483647    59387     53 |  0.003 % |
22.66/22.78	c |     64696 |     180    15300   107100 | 2147483647    59547     53 |  0.003 % |
22.86/22.92	c |     64872 |     180    15300   107100 | 2147483647    59723     53 |  0.003 % |
22.96/23.06	c |     65065 |     180    15300   107100 | 2147483647    59916     53 |  0.003 % |
23.15/23.22	c |     65278 |     180    15300   107100 | 2147483647    60129     53 |  0.003 % |
23.25/23.38	c |     65511 |     180    15300   107100 | 2147483647    60362     53 |  0.003 % |
23.45/23.58	c |     65767 |     180    15300   107100 | 2147483647    60618     53 |  0.003 % |
23.65/23.77	c |     66049 |     180    15300   107100 | 2147483647    60900     53 |  0.003 % |
23.95/24.03	c |     66358 |     180    15300   107100 | 2147483647    61209     53 |  0.003 % |
24.16/24.29	c |     66700 |     180    15300   107100 | 2147483647    61551     53 |  0.003 % |
24.45/24.56	c |     67073 |     180    15300   107100 | 2147483647    61924     53 |  0.003 % |
24.75/24.89	c |     67483 |     180    15300   107100 | 2147483647    62334     53 |  0.003 % |
25.16/25.22	c |     67934 |     180    15300   107100 | 2147483647    62785     53 |  0.003 % |
25.45/25.57	c |     68427 |     180    15300   107100 | 2147483647    63278     53 |  0.003 % |
25.85/25.93	c |     68970 |     180    15300   107100 | 2147483647    63821     53 |  0.003 % |
26.26/26.36	c |     69567 |     180    15300   107100 | 2147483647    64418     53 |  0.003 % |
26.75/26.88	c |     70222 |     180    15300   107100 | 2147483647    65073     53 |  0.003 % |
27.35/27.43	c |     70942 |     180    15300   107100 | 2147483647    65793     53 |  0.003 % |
27.85/27.97	c |     71734 |     180    15300   107100 | 2147483647    66585     53 |  0.003 % |
28.46/28.59	c |     72605 |     180    15300   107100 | 2147483647    67456     53 |  0.003 % |
28.55/28.66	c |     72705 |     180    15300   107100 | 2147483647    67556     53 |  0.003 % |
28.65/28.74	c |     72815 |     180    15300   107100 | 2147483647    67666     53 |  0.003 % |
28.75/28.85	c |     72938 |     180    15300   107100 | 2147483647    67789     53 |  0.003 % |
28.85/28.96	c |     73072 |     180    15300   107100 | 2147483647    67923     53 |  0.003 % |
29.05/29.13	c |     73219 |     180    15300   107100 | 2147483647    68070     53 |  0.003 % |
29.15/29.27	c |     73380 |     180    15300   107100 | 2147483647    68231     53 |  0.003 % |
29.35/29.41	c |     73557 |     180    15300   107100 | 2147483647    68408     53 |  0.003 % |
29.56/29.61	c |     73752 |     180    15300   107100 | 2147483647    68603     53 |  0.003 % |
29.65/29.77	c |     73965 |     180    15300   107100 | 2147483647    68816     53 |  0.003 % |
29.85/29.96	c |     74198 |     180    15300   107100 | 2147483647    69049     53 |  0.003 % |
30.05/30.16	c |     74455 |     180    15300   107100 | 2147483647    69306     53 |  0.003 % |
30.25/30.38	c |     74736 |     180    15300   107100 | 2147483647    69587     53 |  0.003 % |
30.55/30.61	c |     75045 |     180    15300   107100 | 2147483647    69896     53 |  0.003 % |
30.85/30.94	c |     75384 |     180    15300   107100 | 2147483647    70235     53 |  0.003 % |
31.15/31.27	c |     75756 |     180    15300   107100 | 2147483647    70607     53 |  0.003 % |
31.55/31.61	c |     76165 |     180    15300   107100 | 2147483647    71016     53 |  0.003 % |
31.85/31.98	c |     76615 |     180    15300   107100 | 2147483647    71466     53 |  0.003 % |
32.25/32.38	c |     77110 |     180    15300   107100 | 2147483647    71961     53 |  0.003 % |
32.65/32.78	c |     77652 |     180    15300   107100 | 2147483647    72503     53 |  0.003 % |
33.15/33.27	c |     78248 |     180    15300   107100 | 2147483647    73099     53 |  0.003 % |
33.75/33.82	c |     78904 |     180    15300   107100 | 2147483647    73755     53 |  0.003 % |
34.35/34.41	c |     79625 |     180    15300   107100 | 2147483647    74476     53 |  0.003 % |
34.95/35.06	c |     80417 |     180    15300   107100 |    74851    64898     53 |  0.003 % |
35.55/35.65	c |     81288 |     180    15300   107100 |    74851    65769     53 |  0.003 % |
36.26/36.32	c |     82247 |     180    15300   107100 |    74851    66728     53 |  0.003 % |
36.35/36.40	c |     82347 |     180    15300   107100 |    74851    66828     53 |  0.003 % |
36.35/36.49	c |     82458 |     180    15300   107100 |    74851    66939     53 |  0.003 % |
36.45/36.57	c |     82580 |     180    15300   107100 |    74851    67061     53 |  0.003 % |
36.65/36.71	c |     82716 |     180    15300   107100 |    74851    67197     53 |  0.003 % |
36.75/36.85	c |     82862 |     180    15300   107100 |    74851    67343     53 |  0.003 % |
36.85/36.97	c |     83022 |     180    15300   107100 |    74851    67503     53 |  0.003 % |
37.05/37.15	c |     83199 |     180    15300   107100 |    74851    67680     53 |  0.003 % |
37.26/37.32	c |     83392 |     180    15300   107100 |    74851    67873     53 |  0.003 % |
37.36/37.49	c |     83604 |     180    15300   107100 |    74851    68085     53 |  0.003 % |
37.55/37.66	c |     83838 |     180    15300   107100 |    74851    68319     53 |  0.003 % |
37.75/37.85	c |     84094 |     180    15300   107100 |    74851    68575     53 |  0.003 % |
38.05/38.11	c |     84376 |     180    15300   107100 |    74851    68857     53 |  0.003 % |
38.25/38.38	c |     84687 |     180    15300   107100 |    74851    69168     53 |  0.003 % |
38.55/38.67	c |     85028 |     180    15300   107100 |    74851    69509     53 |  0.003 % |
38.85/38.97	c |     85401 |     180    15300   107100 |    74851    69882     53 |  0.003 % |
39.15/39.27	c |     85810 |     180    15300   107100 |    74851    70291     53 |  0.003 % |
39.56/39.62	c |     86259 |     180    15300   107100 |    74851    70740     53 |  0.003 % |
39.95/40.01	c |     86752 |     180    15300   107100 |    74851    71233     53 |  0.003 % |
40.35/40.44	c |     87294 |     180    15300   107100 |    74851    71775     53 |  0.003 % |
40.85/40.90	c |     87891 |     180    15300   107100 |    74851    72372     53 |  0.003 % |
41.35/41.43	c |     88546 |     180    15300   107100 |    74851    73027     53 |  0.003 % |
41.95/42.06	c |     89267 |     180    15300   107100 |    74851    73748     53 |  0.003 % |
42.65/42.77	c |     90060 |     180    15300   107100 |    74481    74541     53 |  0.003 % |
43.45/43.52	c |     90931 |     180    15300   107100 |    74481    64330     53 |  0.003 % |
44.05/44.18	c |     91889 |     180    15300   107100 |    74481    65288     53 |  0.003 % |
44.85/44.93	c |     92942 |     180    15300   107100 |    74481    66341     53 |  0.003 % |
44.95/45.00	c |     93044 |     180    15300   107100 |    74481    66443     53 |  0.003 % |
45.05/45.12	c |     93156 |     180    15300   107100 |    74481    66555     53 |  0.003 % |
45.15/45.23	c |     93279 |     180    15300   107100 |    74481    66678     53 |  0.003 % |
45.25/45.34	c |     93412 |     180    15300   107100 |    74481    66811     53 |  0.003 % |
45.35/45.45	c |     93558 |     180    15300   107100 |    74481    66957     53 |  0.003 % |
45.45/45.59	c |     93718 |     180    15300   107100 |    74481    67117     53 |  0.003 % |
45.65/45.75	c |     93898 |     180    15300   107100 |    74481    67297     53 |  0.003 % |
45.85/45.93	c |     94093 |     180    15300   107100 |    74481    67492     53 |  0.003 % |
46.05/46.15	c |     94306 |     180    15300   107100 |    74481    67705     53 |  0.003 % |
46.25/46.35	c |     94539 |     180    15300   107100 |    74481    67938     53 |  0.003 % |
46.45/46.59	c |     94797 |     180    15300   107100 |    74481    68196     53 |  0.003 % |
46.75/46.82	c |     95078 |     180    15300   107100 |    74481    68477     53 |  0.003 % |
47.05/47.11	c |     95388 |     180    15300   107100 |    74481    68787     53 |  0.003 % |
47.35/47.42	c |     95727 |     180    15300   107100 |    74481    69126     53 |  0.003 % |
47.65/47.76	c |     96099 |     180    15300   107100 |    74481    69498     53 |  0.003 % |
48.05/48.10	c |     96509 |     180    15300   107100 |    74481    69908     53 |  0.003 % |
48.45/48.52	c |     96959 |     180    15300   107100 |    74481    70358     53 |  0.003 % |
48.85/48.96	c |     97452 |     180    15300   107100 |    74481    70851     53 |  0.003 % |
49.35/49.41	c |     97994 |     180    15300   107100 |    74481    71393     53 |  0.003 % |
49.75/49.90	c |     98590 |     180    15300   107100 |    74481    71989     53 |  0.003 % |
50.45/50.55	c |     99245 |     180    15300   107100 |    74481    72644     53 |  0.003 % |
51.15/51.22	c |     99965 |     180    15300   107100 |    74481    73364     53 |  0.003 % |
51.75/51.87	c |    100757 |     180    15300   107100 |    73400    62491     53 |  0.003 % |
52.35/52.46	c |    101630 |     180    15300   107100 |    73400    63364     53 |  0.003 % |
53.05/53.12	c |    102589 |     180    15300   107100 |    73400    64323     53 |  0.003 % |
53.75/53.89	c |    103643 |     180    15300   107100 |    73400    65377     53 |  0.003 % |
54.65/54.73	c |    104801 |     180    15300   107100 |    73400    66535     53 |  0.003 % |
54.65/54.80	c |    104903 |     180    15300   107100 |    73400    66637     53 |  0.003 % |
54.75/54.88	c |    105014 |     180    15300   107100 |    73400    66748     53 |  0.003 % |
54.95/55.00	c |    105135 |     180    15300   107100 |    73400    66869     53 |  0.003 % |
55.05/55.12	c |    105270 |     180    15300   107100 |    73400    67004     53 |  0.003 % |
55.15/55.24	c |    105417 |     180    15300   107100 |    73400    67151     53 |  0.003 % |
55.25/55.38	c |    105578 |     180    15300   107100 |    73400    67312     53 |  0.003 % |
55.45/55.54	c |    105756 |     180    15300   107100 |    73400    67490     53 |  0.003 % |
55.65/55.73	c |    105949 |     180    15300   107100 |    73400    67683     53 |  0.003 % |
55.84/55.91	c |    106161 |     180    15300   107100 |    73400    67895     53 |  0.003 % |
56.05/56.11	c |    106394 |     180    15300   107100 |    73400    68128     53 |  0.003 % |
56.24/56.31	c |    106652 |     180    15300   107100 |    73400    68386     53 |  0.003 % |
56.44/56.52	c |    106938 |     180    15300   107100 |    73400    68672     53 |  0.003 % |
56.64/56.77	c |    107247 |     180    15300   107100 |    73400    68981     53 |  0.003 % |
56.94/57.03	c |    107586 |     180    15300   107100 |    73400    69320     53 |  0.003 % |
57.24/57.37	c |    107958 |     180    15300   107100 |    73400    69692     53 |  0.003 % |
57.64/57.73	c |    108368 |     180    15300   107100 |    73400    70102     53 |  0.003 % |
57.94/58.08	c |    108817 |     180    15300   107100 |    73400    70551     53 |  0.003 % |
58.34/58.47	c |    109310 |     180    15300   107100 |    73400    71044     53 |  0.003 % |
58.74/58.89	c |    109853 |     180    15300   107100 |    73400    71587     53 |  0.003 % |
59.35/59.41	c |    110449 |     180    15300   107100 |    71734    61741     53 |  0.003 % |
59.74/59.87	c |    111106 |     180    15300   107100 |    71734    62398     53 |  0.003 % |
60.24/60.39	c |    111826 |     180    15300   107100 |    71734    63118     53 |  0.003 % |
60.84/60.93	c |    112618 |     180    15300   107100 |    71734    63910     53 |  0.003 % |
61.45/61.50	c |    113490 |     180    15300   107100 |    71734    64782     53 |  0.003 % |
62.04/62.15	c |    114448 |     180    15300   107100 |    71734    65740     53 |  0.003 % |
62.84/62.94	c |    115502 |     180    15300   107100 |    71734    66794     53 |  0.003 % |
63.84/63.97	c |    116660 |     180    15300   107100 |    71734    67952     53 |  0.003 % |
64.94/65.03	c |    117934 |     180    15300   107100 |    71734    69226     53 |  0.003 % |
65.04/65.11	c |    118037 |     180    15300   107100 |    71734    69329     53 |  0.003 % |
65.14/65.23	c |    118148 |     180    15300   107100 |    71734    69440     53 |  0.003 % |
65.24/65.33	c |    118270 |     180    15300   107100 |    71734    69562     53 |  0.003 % |
65.34/65.45	c |    118404 |     180    15300   107100 |    71734    69696     53 |  0.003 % |
65.44/65.57	c |    118550 |     180    15300   107100 |    71734    69842     53 |  0.003 % |
65.64/65.74	c |    118710 |     180    15300   107100 |    71734    70002     53 |  0.003 % |
65.85/65.90	c |    118888 |     180    15300   107100 |    71734    70180     53 |  0.003 % |
65.94/66.06	c |    119081 |     180    15300   107100 |    71734    70373     53 |  0.003 % |
66.14/66.27	c |    119293 |     180    15300   107100 |    71734    70585     53 |  0.003 % |
66.34/66.47	c |    119527 |     180    15300   107100 |    71734    70819     53 |  0.003 % |
66.64/66.71	c |    119783 |     180    15300   107100 |    71734    71075     53 |  0.003 % |
66.84/66.97	c |    120064 |     180    15300   107100 |    71292    71356     53 |  0.003 % |
67.14/67.29	c |    120373 |     180    15300   107100 |    71292    61828     53 |  0.003 % |
67.44/67.54	c |    120713 |     180    15300   107100 |    71292    62168     53 |  0.003 % |
67.74/67.82	c |    121086 |     180    15300   107100 |    71292    62541     53 |  0.003 % |
68.04/68.17	c |    121495 |     180    15300   107100 |    71292    62950     53 |  0.003 % |
68.34/68.49	c |    121944 |     180    15300   107100 |    71292    63399     53 |  0.003 % |
68.74/68.85	c |    122439 |     180    15300   107100 |    71292    63894     53 |  0.003 % |
69.14/69.23	c |    122982 |     180    15300   107100 |    71292    64437     53 |  0.003 % |
69.54/69.65	c |    123578 |     180    15300   107100 |    71292    65033     53 |  0.003 % |
70.04/70.17	c |    124235 |     180    15300   107100 |    71292    65690     53 |  0.003 % |
70.54/70.65	c |    124955 |     180    15300   107100 |    71292    66410     53 |  0.003 % |
71.14/71.23	c |    125747 |     180    15300   107100 |    71292    67202     53 |  0.003 % |
71.74/71.83	c |    126618 |     180    15300   107100 |    71292    68073     53 |  0.003 % |
72.34/72.49	c |    127577 |     180    15300   107100 |    71292    69032     53 |  0.003 % |
73.24/73.36	c |    128631 |     180    15300   107100 |    71292    70086     53 |  0.003 % |
74.24/74.33	c |    129790 |     180    15300   107100 |    71292    71245     53 |  0.003 % |
75.14/75.24	c |    131063 |     180    15300   107100 |    61810    54579     53 |  0.003 % |
76.04/76.12	c |    132463 |     180    15300   107100 |    61810    55979     53 |  0.003 % |
76.04/76.19	c |    132565 |     180    15300   107100 |    61810    56081     53 |  0.003 % |
76.14/76.28	c |    132675 |     180    15300   107100 |    61810    56191     53 |  0.003 % |
76.24/76.37	c |    132796 |     180    15300   107100 |    61810    56312     53 |  0.003 % |
76.34/76.46	c |    132931 |     180    15300   107100 |    61810    56447     53 |  0.003 % |
76.44/76.56	c |    133078 |     180    15300   107100 |    61810    56594     53 |  0.003 % |
76.54/76.69	c |    133239 |     180    15300   107100 |    61810    56755     53 |  0.003 % |
76.74/76.81	c |    133417 |     180    15300   107100 |    61810    56933     53 |  0.003 % |
76.84/76.94	c |    133610 |     180    15300   107100 |    61810    57126     53 |  0.003 % |
76.94/77.07	c |    133823 |     180    15300   107100 |    61810    57339     53 |  0.003 % |
77.14/77.23	c |    134057 |     180    15300   107100 |    61810    57573     53 |  0.003 % |
77.34/77.45	c |    134314 |     180    15300   107100 |    61810    57830     53 |  0.003 % |
77.54/77.66	c |    134595 |     180    15300   107100 |    61810    58111     53 |  0.003 % |
77.74/77.89	c |    134904 |     180    15300   107100 |    61810    58420     53 |  0.003 % |
78.04/78.14	c |    135244 |     180    15300   107100 |    61810    58760     53 |  0.003 % |
78.34/78.40	c |    135616 |     180    15300   107100 |    61810    59132     53 |  0.003 % |
78.54/78.63	c |    136025 |     180    15300   107100 |    61810    59541     53 |  0.003 % |
78.84/78.99	c |    136474 |     180    15300   107100 |    61810    59990     53 |  0.003 % |
79.23/79.36	c |    136967 |     180    15300   107100 |    61810    60483     53 |  0.003 % |
79.63/79.71	c |    137510 |     180    15300   107100 |    61810    61026     53 |  0.003 % |
80.03/80.19	c |    138106 |     180    15300   107100 |    61810    61622     53 |  0.003 % |
80.64/80.71	c |    138762 |     180    15300   107100 |    61810    55776     53 |  0.003 % |
81.04/81.13	c |    139482 |     180    15300   107100 |    61810    56496     53 |  0.003 % |
81.53/81.61	c |    140276 |     180    15300   107100 | 2147483647    57290     53 |  0.003 % |
82.03/82.13	c |    141148 |     180    15300   107100 | 2147483647    58162     53 |  0.003 % |
82.63/82.76	c |    142106 |     180    15300   107100 | 2147483647    59120     53 |  0.003 % |
83.33/83.43	c |    143160 |     180    15300   107100 | 2147483647    60174     53 |  0.003 % |
84.03/84.10	c |    144319 |     180    15300   107100 | 2147483647    61333     53 |  0.003 % |
84.73/84.89	c |    145592 |     180    15300   107100 | 2147483647    62606     53 |  0.003 % |
85.83/85.96	c |    146992 |     180    15300   107100 | 2147483647    64006     53 |  0.003 % |
86.93/87.06	c |    148533 |     180    15300   107100 | 2147483647    65547     53 |  0.003 % |
87.03/87.17	c |    148633 |     180    15300   107100 | 2147483647    65647     53 |  0.003 % |
87.13/87.28	c |    148746 |     180    15300   107100 | 2147483647    65760     53 |  0.003 % |
87.23/87.38	c |    148867 |     180    15300   107100 | 2147483647    65881     53 |  0.003 % |
87.33/87.49	c |    149001 |     180    15300   107100 | 2147483647    66015     53 |  0.003 % |
87.53/87.65	c |    149147 |     180    15300   107100 | 2147483647    66161     53 |  0.003 % |
87.73/87.80	c |    149307 |     180    15300   107100 | 2147483647    66321     53 |  0.003 % |
87.84/87.94	c |    149483 |     180    15300   107100 | 2147483647    66497     53 |  0.003 % |
87.94/88.10	c |    149677 |     180    15300   107100 | 2147483647    66691     53 |  0.003 % |
88.13/88.26	c |    149889 |     180    15300   107100 | 2147483647    66903     53 |  0.003 % |
88.33/88.49	c |    150123 |     180    15300   107100 |    67014    59973     53 |  0.003 % |
88.53/88.68	c |    150379 |     180    15300   107100 |    67014    60229     53 |  0.003 % |
88.73/88.86	c |    150660 |     180    15300   107100 |    67014    60510     53 |  0.003 % |
88.94/89.08	c |    150970 |     180    15300   107100 |    67014    60820     53 |  0.003 % |
89.23/89.31	c |    151309 |     180    15300   107100 |    67014    61159     53 |  0.003 % |
89.43/89.55	c |    151681 |     180    15300   107100 |    67014    61531     53 |  0.003 % |
89.73/89.82	c |    152091 |     180    15300   107100 |    67014    61941     53 |  0.003 % |
90.04/90.18	c |    152542 |     180    15300   107100 |    67014    62392     53 |  0.003 % |
90.53/90.60	c |    153038 |     180    15300   107100 |    67014    62888     53 |  0.003 % |
90.93/91.04	c |    153581 |     180    15300   107100 |    67014    63431     53 |  0.003 % |
91.43/91.54	c |    154178 |     180    15300   107100 |    67014    64028     53 |  0.003 % |
92.03/92.15	c |    154836 |     180    15300   107100 |    67014    64686     53 |  0.003 % |
92.53/92.67	c |    155557 |     180    15300   107100 |    67014    65407     53 |  0.003 % |
93.13/93.29	c |    156350 |     180    15300   107100 |    67014    66200     53 |  0.003 % |
93.83/93.95	c |    157221 |     180    15300   107100 |    67014    67071     53 |  0.003 % |
94.44/94.59	c |    158180 |     180    15300   107100 |    67014    59972     53 |  0.003 % |
95.13/95.24	c |    159235 |     180    15300   107100 |    67014    61027     53 |  0.003 % |
95.93/96.08	c |    160397 |     180    15300   107100 |    61792    55174     53 |  0.003 % |
96.73/96.82	c |    161671 |     180    15300   107100 |    61792    56448     53 |  0.003 % |
97.53/97.67	c |    163072 |     180    15300   107100 |    61792    57849     53 |  0.003 % |
98.63/98.74	c |    164612 |     180    15300   107100 |    61792    59389     53 |  0.003 % |
99.73/99.81	c |    166307 |     180    15300   107100 |    61792    61084     53 |  0.003 % |
99.73/99.89	c |    166409 |     180    15300   107100 |    61792    61186     53 |  0.003 % |
99.83/99.97	c |    166520 |     180    15300   107100 |    61792    61297     53 |  0.003 % |
99.93/100.09	c |    166641 |     180    15300   107100 |    61792    61418     53 |  0.003 % |
100.03/100.20	c |    166774 |     180    15300   107100 |    61792    61551     53 |  0.003 % |
100.23/100.31	c |    166920 |     180    15300   107100 |    61792    61697     53 |  0.003 % |
100.33/100.43	c |    167080 |     180    15300   107100 |    61792    61857     53 |  0.003 % |
100.53/100.62	c |    167256 |     180    15300   107100 |    61792    55848     53 |  0.003 % |
100.63/100.75	c |    167449 |     180    15300   107100 |    61792    56041     53 |  0.003 % |
100.83/100.90	c |    167664 |     180    15300   107100 |    61792    56256     53 |  0.003 % |
100.93/101.04	c |    167897 |     180    15300   107100 |    61792    56489     53 |  0.003 % |
101.13/101.23	c |    168156 |     180    15300   107100 |    61792    56748     53 |  0.003 % |
101.33/101.41	c |    168438 |     180    15300   107100 |    61792    57030     53 |  0.003 % |
101.53/101.63	c |    168751 |     180    15300   107100 |    61792    57343     53 |  0.003 % |
101.73/101.84	c |    169090 |     180    15300   107100 |    61792    57682     53 |  0.003 % |
102.03/102.15	c |    169462 |     180    15300   107100 |    61792    58054     53 |  0.003 % |
102.33/102.41	c |    169871 |     180    15300   107100 |    61792    58463     53 |  0.003 % |
102.63/102.70	c |    170320 |     180    15300   107100 | 2147483647    58912     53 |  0.003 % |
102.94/103.00	c |    170814 |     180    15300   107100 | 2147483647    59406     53 |  0.003 % |
103.24/103.33	c |    171356 |     180    15300   107100 | 2147483647    59948     53 |  0.003 % |
103.64/103.73	c |    171952 |     180    15300   107100 | 2147483647    60544     53 |  0.003 % |
104.03/104.17	c |    172607 |     180    15300   107100 | 2147483647    61199     53 |  0.003 % |
104.53/104.63	c |    173327 |     180    15300   107100 | 2147483647    61919     53 |  0.003 % |
105.03/105.15	c |    174120 |     180    15300   107100 | 2147483647    62712     53 |  0.003 % |
105.54/105.69	c |    174992 |     180    15300   107100 | 2147483647    63584     53 |  0.003 % |
106.23/106.35	c |    175951 |     180    15300   107100 | 2147483647    64543     53 |  0.003 % |
107.03/107.11	c |    177004 |     180    15300   107100 | 2147483647    65596     53 |  0.003 % |
107.93/108.08	c |    178162 |     180    15300   107100 | 2147483647    66754     53 |  0.003 % |
108.93/109.07	c |    179435 |     180    15300   107100 | 2147483647    68027     53 |  0.003 % |
110.03/110.17	c |    180836 |     180    15300   107100 |    68592    61648     53 |  0.003 % |
111.04/111.15	c |    182377 |     180    15300   107100 |    68592    63189     53 |  0.003 % |
112.23/112.31	c |    184072 |     180    15300   107100 |    68592    64884     53 |  0.003 % |
113.63/113.78	c |    185936 |     180    15300   107100 |    68592    66748     53 |  0.003 % |
113.73/113.88	c |    186036 |     180    15300   107100 |    68592    66848     53 |  0.003 % |
113.83/113.99	c |    186149 |     180    15300   107100 |    68592    66961     53 |  0.003 % |
114.03/114.10	c |    186272 |     180    15300   107100 |    68592    67084     53 |  0.003 % |
114.13/114.21	c |    186406 |     180    15300   107100 |    68592    67218     53 |  0.003 % |
114.23/114.33	c |    186553 |     180    15300   107100 |    68592    67365     53 |  0.003 % |
114.43/114.51	c |    186713 |     180    15300   107100 |    68592    67525     53 |  0.003 % |
114.53/114.66	c |    186890 |     180    15300   107100 |    68592    67702     53 |  0.003 % |
114.73/114.84	c |    187085 |     180    15300   107100 |    68592    67897     53 |  0.003 % |
114.93/115.03	c |    187297 |     180    15300   107100 |    68592    68109     53 |  0.003 % |
115.13/115.21	c |    187530 |     180    15300   107100 |    68592    68342     53 |  0.003 % |
115.33/115.44	c |    187786 |     180    15300   107100 |    68592    68598     53 |  0.003 % |
115.63/115.71	c |    188068 |     180    15300   107100 |    68592    60276     53 |  0.003 % |
115.83/115.98	c |    188378 |     180    15300   107100 |    68592    60586     53 |  0.003 % |
116.13/116.22	c |    188718 |     180    15300   107100 |    68592    60926     53 |  0.003 % |
116.33/116.47	c |    189091 |     180    15300   107100 |    68592    61299     53 |  0.003 % |
116.73/116.82	c |    189500 |     180    15300   107100 |    68592    61708     53 |  0.003 % |
117.03/117.16	c |    189949 |     180    15300   107100 |    68592    62157     53 |  0.003 % |
117.43/117.55	c |    190442 |     180    15300   107100 |    62209    54857     53 |  0.003 % |
117.83/117.90	c |    190986 |     180    15300   107100 |    62209    55401     53 |  0.003 % |
118.13/118.28	c |    191583 |     180    15300   107100 |    62209    55998     53 |  0.003 % |
118.63/118.73	c |    192238 |     180    15300   107100 |    62209    56653     53 |  0.003 % |
119.03/119.20	c |    192958 |     180    15300   107100 |    62209    57373     53 |  0.003 % |
119.53/119.68	c |    193752 |     180    15300   107100 |    62209    58167     53 |  0.003 % |
120.13/120.26	c |    194625 |     180    15300   107100 |    62209    59040     53 |  0.003 % |
120.73/120.88	c |    195583 |     180    15300   107100 |    62209    59998     53 |  0.003 % |
121.53/121.68	c |    196636 |     180    15300   107100 |    62209    61051     53 |  0.003 % |
122.33/122.48	c |    197794 |     180    15300   107100 |    62209    62209     53 |  0.003 % |
123.13/123.30	c |    199068 |     180    15300   107100 |    62209    57263     53 |  0.003 % |
124.13/124.26	c |    200468 |     180    15300   107100 | 2147483647    58663     53 |  0.003 % |
125.12/125.26	c |    202008 |     180    15300   107100 | 2147483647    60203     53 |  0.003 % |
126.22/126.34	c |    203702 |     180    15300   107100 | 2147483647    61897     53 |  0.003 % |
127.53/127.64	c |    205567 |     180    15300   107100 | 2147483647    63762     54 |  0.003 % |
129.02/129.14	c |    207617 |     180    15300   107100 | 2147483647    65812     54 |  0.003 % |
129.12/129.23	c |    207719 |     180    15300   107100 | 2147483647    65914     54 |  0.003 % |
129.22/129.31	c |    207829 |     180    15300   107100 | 2147483647    66024     54 |  0.003 % |
129.32/129.42	c |    207950 |     180    15300   107100 | 2147483647    66145     54 |  0.003 % |
129.42/129.53	c |    208083 |     180    15300   107100 | 2147483647    66278     54 |  0.003 % |
129.52/129.67	c |    208229 |     180    15300   107100 | 2147483647    66424     54 |  0.003 % |
129.73/129.83	c |    208392 |     180    15300   107100 | 2147483647    66587     54 |  0.003 % |
129.82/129.98	c |    208568 |     180    15300   107100 | 2147483647    66763     54 |  0.003 % |
130.02/130.17	c |    208762 |     180    15300   107100 | 2147483647    66957     53 |  0.003 % |
130.22/130.37	c |    208977 |     180    15300   107100 | 2147483647    67172     54 |  0.003 % |
130.42/130.56	c |    209211 |     180    15300   107100 | 2147483647    67406     53 |  0.003 % |
130.62/130.78	c |    209467 |     180    15300   107100 | 2147483647    67662     53 |  0.003 % |
130.92/131.01	c |    209749 |     180    15300   107100 | 2147483647    67944     53 |  0.003 % |
131.12/131.24	c |    210059 |     180    15300   107100 |    68198    68254     53 |  0.003 % |
131.52/131.62	c |    210399 |     180    15300   107100 |    68198    61146     53 |  0.003 % |
131.72/131.90	c |    210773 |     180    15300   107100 |    68198    61520     53 |  0.003 % |
132.02/132.19	c |    211182 |     180    15300   107100 |    68198    61929     53 |  0.003 % |
132.42/132.50	c |    211631 |     180    15300   107100 |    68198    62378     53 |  0.003 % |
132.72/132.87	c |    212125 |     180    15300   107100 |    68198    62872     53 |  0.003 % |
133.12/133.23	c |    212667 |     180    15300   107100 |    68198    63414     53 |  0.003 % |
133.52/133.61	c |    213263 |     180    15300   107100 |    68198    64010     53 |  0.003 % |
133.92/134.06	c |    213918 |     180    15300   107100 |    68198    64665     53 |  0.003 % |
134.42/134.52	c |    214638 |     180    15300   107100 |    68198    65385     53 |  0.003 % |
134.92/135.02	c |    215430 |     180    15300   107100 |    68198    66177     53 |  0.003 % |
135.42/135.58	c |    216305 |     180    15300   107100 |    68198    67052     53 |  0.003 % |
136.02/136.14	c |    217263 |     180    15300   107100 |    68198    68010     53 |  0.003 % |
136.62/136.78	c |    218317 |     180    15300   107100 |    68198    61812     53 |  0.003 % |
137.32/137.46	c |    219475 |     180    15300   107100 |    68198    62970     53 |  0.003 % |
138.12/138.29	c |    220748 |     180    15300   107100 |    63496    57764     53 |  0.003 % |
138.92/139.06	c |    222151 |     180    15300   107100 |    63496    59167     53 |  0.003 % |
139.92/140.02	c |    223693 |     180    15300   107100 |    63496    60709     53 |  0.003 % |
141.02/141.18	c |    225389 |     180    15300   107100 |    63496    62405     53 |  0.003 % |
142.32/142.44	c |    227252 |     180    15300   107100 |    63496    57910     53 |  0.003 % |
143.52/143.62	c |    229301 |     180    15300   107100 |    63496    59959     54 |  0.003 % |
144.81/144.97	c |    231557 |     180    15300   107100 | 2147483647    62215     54 |  0.003 % |
144.91/145.06	c |    231658 |     180    15300   107100 | 2147483647    62316     54 |  0.003 % |
145.02/145.14	c |    231770 |     180    15300   107100 | 2147483647    62428     54 |  0.003 % |
145.12/145.23	c |    231894 |     180    15300   107100 | 2147483647    62552     54 |  0.003 % |
145.21/145.34	c |    232027 |     180    15300   107100 | 2147483647    62685     54 |  0.003 % |
145.31/145.47	c |    232173 |     180    15300   107100 | 2147483647    62831     54 |  0.003 % |
145.51/145.61	c |    232333 |     180    15300   107100 | 2147483647    62991     54 |  0.003 % |
145.61/145.74	c |    232510 |     180    15300   107100 | 2147483647    63168     54 |  0.003 % |
145.81/145.94	c |    232704 |     180    15300   107100 | 2147483647    63362     54 |  0.003 % |
146.01/146.13	c |    232917 |     180    15300   107100 | 2147483647    63575     54 |  0.003 % |
146.12/146.30	c |    233152 |     180    15300   107100 | 2147483647    63810     54 |  0.003 % |
146.41/146.50	c |    233408 |     180    15300   107100 | 2147483647    64066     54 |  0.003 % |
146.51/146.69	c |    233689 |     180    15300   107100 | 2147483647    64347     54 |  0.003 % |
146.81/146.94	c |    233998 |     180    15300   107100 | 2147483647    64656     54 |  0.003 % |
147.11/147.20	c |    234337 |     180    15300   107100 | 2147483647    64995     54 |  0.003 % |
147.32/147.47	c |    234710 |     180    15300   107100 | 2147483647    65368     54 |  0.003 % |
147.61/147.78	c |    235121 |     180    15300   107100 | 2147483647    65779     54 |  0.003 % |
148.01/148.10	c |    235571 |     180    15300   107100 | 2147483647    66229     54 |  0.003 % |
148.42/148.54	c |    236064 |     180    15300   107100 | 2147483647    66722     54 |  0.003 % |
148.81/148.98	c |    236606 |     180    15300   107100 | 2147483647    67264     54 |  0.003 % |
149.31/149.45	c |    237202 |     180    15300   107100 | 2147483647    67860     54 |  0.003 % |
149.81/149.99	c |    237858 |     180    15300   107100 | 2147483647    68516     54 |  0.003 % |
150.41/150.56	c |    238578 |     180    15300   107100 | 2147483647    69236     54 |  0.003 % |
151.11/151.26	c |    239371 |     180    15300   107100 | 2147483647    70029     54 |  0.003 % |
151.91/152.00	c |    240243 |     180    15300   107100 |    70659    62207     54 |  0.003 % |
152.51/152.67	c |    241202 |     180    15300   107100 |    70659    63166     54 |  0.003 % |
153.31/153.40	c |    242257 |     180    15300   107100 |    70659    64221     53 |  0.003 % |
154.01/154.19	c |    243415 |     180    15300   107100 |    70659    65379     53 |  0.003 % |
154.92/155.06	c |    244690 |     180    15300   107100 |    70659    66654     54 |  0.003 % |
155.92/156.00	c |    246091 |     180    15300   107100 |    70659    68055     54 |  0.003 % |
157.22/157.31	c |    247632 |     180    15300   107100 |    70659    69596     54 |  0.003 % |
158.52/158.61	c |    249327 |     180    15300   107100 |    70659    62678     54 |  0.003 % |
159.62/159.76	c |    251193 |     180    15300   107100 |    63351    56886     54 |  0.003 % |
160.82/160.95	c |    253242 |     180    15300   107100 |    63351    58935     54 |  0.003 % |
162.12/162.29	c |    255495 |     180    15300   107100 |    63351    61188     54 |  0.003 % |
163.72/163.82	c |    257974 |     180    15300   107100 |    63351    57325     54 |  0.003 % |
163.72/163.88	c |    258075 |     180    15300   107100 |    63351    57426     54 |  0.003 % |
163.82/163.98	c |    258185 |     180    15300   107100 |    63351    57536     54 |  0.003 % |
163.92/164.07	c |    258306 |     180    15300   107100 |    63351    57657     54 |  0.003 % |
164.02/164.15	c |    258439 |     180    15300   107100 |    63351    57790     54 |  0.003 % |
164.12/164.24	c |    258585 |     180    15300   107100 |    63351    57936     54 |  0.003 % |
164.22/164.37	c |    258746 |     180    15300   107100 |    63351    58097     54 |  0.003 % |
164.42/164.51	c |    258923 |     180    15300   107100 |    63351    58274     54 |  0.003 % |
164.52/164.66	c |    259118 |     180    15300   107100 |    63351    58469     54 |  0.003 % |
164.72/164.81	c |    259332 |     180    15300   107100 |    63351    58683     54 |  0.003 % |
164.82/164.96	c |    259565 |     180    15300   107100 |    63351    58916     54 |  0.003 % |
165.02/165.16	c |    259822 |     180    15300   107100 |    63351    59173     54 |  0.003 % |
165.22/165.37	c |    260103 |     180    15300   107100 | 2147483647    59454     54 |  0.003 % |
165.42/165.57	c |    260412 |     180    15300   107100 | 2147483647    59763     54 |  0.003 % |
165.72/165.85	c |    260752 |     180    15300   107100 | 2147483647    60103     54 |  0.003 % |
165.92/166.09	c |    261126 |     180    15300   107100 | 2147483647    60477     54 |  0.003 % |
166.22/166.37	c |    261535 |     180    15300   107100 | 2147483647    60886     54 |  0.003 % |
166.62/166.73	c |    261985 |     180    15300   107100 | 2147483647    61336     54 |  0.003 % |
167.02/167.12	c |    262478 |     180    15300   107100 | 2147483647    61829     54 |  0.003 % |
167.32/167.49	c |    263021 |     180    15300   107100 | 2147483647    62372     54 |  0.003 % |
167.82/167.91	c |    263617 |     180    15300   107100 | 2147483647    62968     54 |  0.003 % |
168.22/168.38	c |    264274 |     180    15300   107100 | 2147483647    63625     54 |  0.003 % |
168.72/168.88	c |    264994 |     180    15300   107100 | 2147483647    64345     54 |  0.003 % |
169.41/169.50	c |    265786 |     180    15300   107100 | 2147483647    65137     54 |  0.003 % |
169.91/170.06	c |    266658 |     180    15300   107100 | 2147483647    66009     54 |  0.003 % |
170.61/170.71	c |    267616 |     180    15300   107100 | 2147483647    66967     54 |  0.003 % |
171.21/171.38	c |    268669 |     180    15300   107100 | 2147483647    68020     54 |  0.003 % |
172.01/172.20	c |    269828 |     180    15300   107100 | 2147483647    69179     53 |  0.003 % |
173.01/173.10	c |    271101 |     180    15300   107100 |    69353    63105     53 |  0.003 % |
173.81/173.95	c |    272502 |     180    15300   107100 |    69353    64506     53 |  0.003 % |
174.91/175.09	c |    274043 |     180    15300   107100 |    69353    66047     53 |  0.003 % |
176.11/176.24	c |    275737 |     180    15300   107100 |    69353    67741     53 |  0.003 % |
177.31/177.50	c |    277600 |     180    15300   107100 |    69353    61936     53 |  0.003 % |
178.71/178.84	c |    279651 |     180    15300   107100 |    69353    63987     53 |  0.003 % |
180.11/180.28	c |    281904 |     180    15300   107100 |    64336    59417     53 |  0.003 % |
181.71/181.88	c |    284383 |     180    15300   107100 |    64336    61896     53 |  0.003 % |
183.61/183.75	c |    287109 |     180    15300   107100 |    64336    58180     53 |  0.003 % |
183.71/183.81	c |    287210 |     180    15300   107100 |    64336    58281     53 |  0.003 % |
183.71/183.88	c |    287320 |     180    15300   107100 |    64336    58391     53 |  0.003 % |
183.81/183.96	c |    287441 |     180    15300   107100 |    64336    58512     53 |  0.003 % |
183.91/184.06	c |    287576 |     180    15300   107100 |    64336    58647     53 |  0.003 % |
184.01/184.19	c |    287723 |     180    15300   107100 |    64336    58794     53 |  0.003 % |
184.21/184.31	c |    287884 |     180    15300   107100 |    64336    58955     53 |  0.003 % |
184.31/184.44	c |    288060 |     180    15300   107100 |    64336    59131     53 |  0.003 % |
184.51/184.61	c |    288255 |     180    15300   107100 |    64336    59326     53 |  0.003 % |
184.61/184.77	c |    288469 |     180    15300   107100 |    64336    59540     53 |  0.003 % |
184.81/184.95	c |    288702 |     180    15300   107100 |    64336    59773     53 |  0.003 % |
185.01/185.12	c |    288958 |     180    15300   107100 |    64336    60029     53 |  0.003 % |
185.21/185.31	c |    289239 |     180    15300   107100 |    64336    60310     53 |  0.003 % |
185.41/185.53	c |    289548 |     180    15300   107100 |    64336    60619     53 |  0.003 % |
185.61/185.78	c |    289887 |     180    15300   107100 |    64336    60958     53 |  0.003 % |
185.91/186.06	c |    290259 |     180    15300   107100 | 2147483647    61330     53 |  0.003 % |
186.21/186.38	c |    290669 |     180    15300   107100 | 2147483647    61740     53 |  0.003 % |
186.61/186.72	c |    291119 |     180    15300   107100 | 2147483647    62190     53 |  0.003 % |
187.01/187.11	c |    291617 |     180    15300   107100 | 2147483647    62688     53 |  0.003 % |
187.31/187.50	c |    292160 |     180    15300   107100 | 2147483647    63231     53 |  0.003 % |
187.71/187.87	c |    292757 |     180    15300   107100 | 2147483647    63828     53 |  0.003 % |
188.21/188.36	c |    293412 |     180    15300   107100 | 2147483647    64483     53 |  0.003 % |
188.71/188.80	c |    294132 |     180    15300   107100 | 2147483647    65203     53 |  0.003 % |
189.21/189.34	c |    294924 |     180    15300   107100 | 2147483647    65995     53 |  0.003 % |
189.81/189.98	c |    295796 |     180    15300   107100 | 2147483647    66867     53 |  0.003 % |
190.51/190.66	c |    296754 |     180    15300   107100 | 2147483647    67825     53 |  0.003 % |
191.21/191.39	c |    297809 |     180    15300   107100 | 2147483647    68880     53 |  0.003 % |
192.01/192.17	c |    298969 |     180    15300   107100 | 2147483647    70040     53 |  0.003 % |
192.91/193.07	c |    300242 |     180    15300   107100 |    71071    63898     53 |  0.003 % |
193.91/194.02	c |    301643 |     180    15300   107100 |    71071    65299     53 |  0.003 % |
194.90/195.06	c |    303183 |     180    15300   107100 |    71071    66839     53 |  0.003 % |
196.00/196.17	c |    304877 |     180    15300   107100 |    71071    68533     53 |  0.003 % |
197.30/197.41	c |    306740 |     180    15300   107100 |    71071    70396     53 |  0.003 % |
198.60/198.78	c |    308789 |     180    15300   107100 |    71071    64893     53 |  0.003 % |
200.01/200.19	c |    311042 |     180    15300   107100 |    66104    60189     53 |  0.003 % |
201.60/201.80	c |    313520 |     180    15300   107100 |    66104    62667     53 |  0.003 % |
203.50/203.69	c |    316245 |     180    15300   107100 |    66104    65392     53 |  0.003 % |
205.50/205.68	c |    319245 |     180    15300   107100 |    66104    61398     53 |  0.003 % |
205.60/205.75	c |    319346 |     180    15300   107100 |    66104    61499     53 |  0.003 % |
205.70/205.83	c |    319456 |     180    15300   107100 |    66104    61609     53 |  0.003 % |
205.80/205.90	c |    319578 |     180    15300   107100 |    66104    61731     53 |  0.003 % |
205.90/206.03	c |    319713 |     180    15300   107100 |    66104    61866     53 |  0.003 % |
206.00/206.13	c |    319860 |     180    15300   107100 |    66104    62013     53 |  0.003 % |
206.10/206.25	c |    320020 |     180    15300   107100 |    62153    62173     53 |  0.003 % |
206.30/206.43	c |    320196 |     180    15300   107100 |    62153    56092     53 |  0.003 % |
206.40/206.56	c |    320390 |     180    15300   107100 |    62153    56286     53 |  0.003 % |
206.60/206.71	c |    320603 |     180    15300   107100 |    62153    56499     53 |  0.003 % |
206.70/206.86	c |    320836 |     180    15300   107100 |    62153    56732     53 |  0.003 % |
206.90/207.01	c |    321092 |     180    15300   107100 |    62153    56988     53 |  0.003 % |
207.10/207.21	c |    321374 |     180    15300   107100 |    62153    57270     53 |  0.003 % |
207.30/207.42	c |    321685 |     180    15300   107100 |    62153    57581     53 |  0.003 % |
207.50/207.63	c |    322024 |     180    15300   107100 |    62153    57920     53 |  0.003 % |
207.80/207.91	c |    322397 |     180    15300   107100 |    62153    58293     53 |  0.003 % |
208.00/208.18	c |    322806 |     180    15300   107100 |    62153    58702     53 |  0.003 % |
208.30/208.45	c |    323255 |     180    15300   107100 |    62153    59151     53 |  0.003 % |
208.60/208.75	c |    323750 |     180    15300   107100 |    62153    59646     53 |  0.003 % |
209.00/209.11	c |    324292 |     180    15300   107100 |    62153    60188     53 |  0.003 % |
209.30/209.49	c |    324892 |     180    15300   107100 |    62153    60788     53 |  0.003 % |
209.80/209.92	c |    325548 |     180    15300   107100 |    62153    61444     53 |  0.003 % |
210.20/210.38	c |    326268 |     180    15300   107100 |    62153    62164     53 |  0.003 % |
210.80/210.90	c |    327061 |     180    15300   107100 |    62153    56741     53 |  0.003 % |
211.30/211.49	c |    327933 |     180    15300   107100 |    62153    57613     53 |  0.003 % |
212.00/212.11	c |    328891 |     180    15300   107100 |    62153    58571     53 |  0.003 % |
212.60/212.71	c |    329944 |     180    15300   107100 |    62153    59624     53 |  0.003 % |
213.30/213.47	c |    331102 |     180    15300   107100 | 2147483647    60782     53 |  0.003 % |
214.20/214.34	c |    332376 |     180    15300   107100 | 2147483647    62056     53 |  0.003 % |
215.00/215.13	c |    333777 |     180    15300   107100 | 2147483647    63457     53 |  0.003 % |
215.90/216.06	c |    335317 |     180    15300   107100 | 2147483647    64997     53 |  0.003 % |
217.00/217.11	c |    337011 |     180    15300   107100 | 2147483647    66691     53 |  0.003 % |
218.29/218.40	c |    338875 |     180    15300   107100 | 2147483647    68555     53 |  0.003 % |
219.69/219.84	c |    340925 |     180    15300   107100 | 2147483647    70605     54 |  0.003 % |
221.20/221.39	c |    343178 |     180    15300   107100 | 2147483647    72858     54 |  0.003 % |
223.21/223.32	c |    345657 |     180    15300   107100 | 2147483647    75337     54 |  0.003 % |
225.50/225.65	c |    348382 |     180    15300   107100 | 2147483647    78062     53 |  0.003 % |
227.90/228.02	c |    351379 |     180    15300   107100 |    79682    69545     53 |  0.003 % |
230.50/230.64	c |    354676 |     180    15300   107100 |    79682    72842     53 |  0.003 % |
230.60/230.72	c |    354776 |     180    15300   107100 |    79682    72942     53 |  0.003 % |
230.70/230.81	c |    354886 |     180    15300   107100 |    79682    73052     53 |  0.003 % |
230.80/230.90	c |    355007 |     180    15300   107100 |    79682    73173     53 |  0.003 % |
230.90/231.06	c |    355141 |     180    15300   107100 |    79682    73307     53 |  0.003 % |
231.10/231.20	c |    355288 |     180    15300   107100 |    79682    73454     53 |  0.003 % |
231.20/231.34	c |    355448 |     180    15300   107100 |    79682    73614     53 |  0.003 % |
231.30/231.49	c |    355625 |     180    15300   107100 |    79682    73791     53 |  0.003 % |
231.50/231.66	c |    355818 |     180    15300   107100 |    79682    73984     53 |  0.003 % |
231.70/231.83	c |    356032 |     180    15300   107100 |    79682    74198     53 |  0.003 % |
231.90/232.07	c |    356265 |     180    15300   107100 |    79682    74431     53 |  0.003 % |
232.20/232.30	c |    356525 |     180    15300   107100 |    79682    74691     53 |  0.003 % |
232.40/232.56	c |    356806 |     180    15300   107100 |    79682    74972     53 |  0.003 % |
232.70/232.83	c |    357116 |     180    15300   107100 |    79682    75282     53 |  0.003 % |
233.00/233.11	c |    357455 |     180    15300   107100 |    79682    75621     53 |  0.003 % |
233.30/233.45	c |    357828 |     180    15300   107100 |    79682    75994     53 |  0.003 % |
233.60/233.78	c |    358237 |     180    15300   107100 |    79682    76403     53 |  0.003 % |
234.00/234.18	c |    358687 |     180    15300   107100 |    79682    76853     53 |  0.003 % |
234.50/234.62	c |    359181 |     180    15300   107100 |    79682    77347     53 |  0.003 % |
234.90/235.06	c |    359723 |     180    15300   107100 |    79682    77889     53 |  0.003 % |
235.39/235.54	c |    360322 |     180    15300   107100 |    78167    66067     54 |  0.003 % |
235.79/235.95	c |    360977 |     180    15300   107100 |    78167    66722     54 |  0.003 % |
236.19/236.39	c |    361697 |     180    15300   107100 |    78167    67442     54 |  0.003 % |
236.79/236.91	c |    362489 |     180    15300   107100 |    78167    68234     54 |  0.003 % |
237.40/237.50	c |    363361 |     180    15300   107100 |    78167    69106     54 |  0.003 % |
237.99/238.17	c |    364321 |     180    15300   107100 |    78167    70066     54 |  0.003 % |
238.69/238.88	c |    365375 |     180    15300   107100 |    78167    71120     54 |  0.003 % |
239.60/239.71	c |    366534 |     180    15300   107100 |    78167    72279     54 |  0.003 % |
240.59/240.75	c |    367807 |     180    15300   107100 |    78167    73552     54 |  0.003 % |
241.80/241.92	c |    369209 |     180    15300   107100 |    78167    74954     54 |  0.003 % |
243.00/243.17	c |    370749 |     180    15300   107100 |    75746    65218     54 |  0.003 % |
244.19/244.37	c |    372445 |     180    15300   107100 |    75746    66914     54 |  0.003 % |
245.59/245.72	c |    374309 |     180    15300   107100 |    75746    68778     54 |  0.003 % |
246.99/247.15	c |    376358 |     180    15300   107100 |    75746    70827     54 |  0.003 % |
248.59/248.74	c |    378611 |     180    15300   107100 |    75746    73080     54 |  0.003 % |
250.39/250.53	c |    381089 |     180    15300   107100 |    74470    65082     54 |  0.003 % |
252.49/252.65	c |    383814 |     180    15300   107100 |    74470    67807     54 |  0.003 % |
254.89/255.04	c |    386813 |     180    15300   107100 |    74470    70806     54 |  0.003 % |
257.48/257.65	c |    390109 |     180    15300   107100 |    73995    63102     54 |  0.003 % |
259.68/259.88	c |    393734 |     180    15300   107100 |    73995    66727     54 |  0.003 % |
259.78/259.95	c |    393834 |     180    15300   107100 |    73995    66827     54 |  0.003 % |
259.88/260.04	c |    393945 |     180    15300   107100 |    73995    66938     54 |  0.003 % |
259.98/260.14	c |    394066 |     180    15300   107100 |    73995    67059     54 |  0.003 % |
260.08/260.28	c |    394201 |     180    15300   107100 |    73995    67194     54 |  0.003 % |
260.28/260.40	c |    394347 |     180    15300   107100 |    73995    67340     54 |  0.003 % |
260.38/260.54	c |    394508 |     180    15300   107100 |    73995    67501     54 |  0.003 % |
260.49/260.70	c |    394684 |     180    15300   107100 |    73995    67677     54 |  0.003 % |
260.68/260.85	c |    394878 |     180    15300   107100 |    73995    67871     54 |  0.003 % |
260.88/261.03	c |    395090 |     180    15300   107100 |    73995    68083     54 |  0.003 % |
261.08/261.24	c |    395324 |     180    15300   107100 |    73995    68317     54 |  0.003 % |
261.28/261.44	c |    395583 |     180    15300   107100 |    73995    68576     54 |  0.003 % |
261.48/261.69	c |    395865 |     180    15300   107100 |    73995    68858     54 |  0.003 % |
261.78/261.93	c |    396177 |     180    15300   107100 |    73995    69170     54 |  0.003 % |
262.08/262.20	c |    396516 |     180    15300   107100 |    73995    69509     54 |  0.003 % |
262.38/262.56	c |    396888 |     180    15300   107100 |    73995    69881     54 |  0.003 % |
262.79/262.91	c |    397301 |     180    15300   107100 |    73995    70294     54 |  0.003 % |
263.08/263.29	c |    397750 |     180    15300   107100 |    73995    70743     54 |  0.003 % |
263.48/263.66	c |    398244 |     180    15300   107100 |    73995    71237     54 |  0.003 % |
263.89/264.06	c |    398787 |     180    15300   107100 |    73995    71780     54 |  0.003 % |
264.38/264.54	c |    399385 |     180    15300   107100 |    73995    72378     54 |  0.003 % |
264.89/265.04	c |    400042 |     180    15300   107100 |    72993    73035     54 |  0.003 % |
265.48/265.68	c |    400764 |     180    15300   107100 |    72993    63623     54 |  0.003 % |
266.09/266.26	c |    401558 |     180    15300   107100 |    72993    64417     54 |  0.003 % |
266.68/266.89	c |    402430 |     180    15300   107100 |    72993    65289     54 |  0.003 % |
267.38/267.59	c |    403390 |     180    15300   107100 |    72993    66249     54 |  0.003 % |
268.18/268.34	c |    404443 |     180    15300   107100 |    72993    67302     54 |  0.003 % |
268.98/269.12	c |    405601 |     180    15300   107100 |    72993    68460     54 |  0.003 % |
269.88/270.09	c |    406875 |     180    15300   107100 |    72993    69734     54 |  0.003 % |
270.98/271.14	c |    408278 |     180    15300   107100 |    72993    71137     54 |  0.003 % |
272.18/272.34	c |    409818 |     180    15300   107100 |    72993    72677     54 |  0.003 % |
273.39/273.59	c |    411512 |     180    15300   107100 |    72861    64217     54 |  0.003 % |
274.79/274.91	c |    413375 |     180    15300   107100 |    72861    66080     54 |  0.003 % |
276.19/276.30	c |    415425 |     180    15300   107100 |    72861    68130     54 |  0.003 % |
277.79/277.99	c |    417679 |     180    15300   107100 |    72861    70384     54 |  0.003 % |
279.79/279.99	c |    420158 |     180    15300   107100 |    72706    62839     54 |  0.003 % |
281.69/281.82	c |    422883 |     180    15300   107100 |    72706    65564     54 |  0.003 % |
283.69/283.86	c |    425881 |     180    15300   107100 |    72706    68562     54 |  0.003 % |
285.89/286.01	c |    429177 |     180    15300   107100 |    72706    71858     54 |  0.003 % |
288.28/288.48	c |    432805 |     180    15300   107100 |    72682    66905     54 |  0.003 % |
290.88/291.09	c |    436792 |     180    15300   107100 |    72682    70892     54 |  0.003 % |
290.98/291.17	c |    436893 |     180    15300   107100 |    72682    70993     54 |  0.003 % |
291.08/291.24	c |    437005 |     180    15300   107100 |    72682    71105     54 |  0.003 % |
291.18/291.38	c |    437127 |     180    15300   107100 |    72682    71227     54 |  0.003 % |
291.29/291.50	c |    437261 |     180    15300   107100 |    72682    71361     54 |  0.003 % |
291.48/291.63	c |    437408 |     180    15300   107100 |    72682    71508     54 |  0.003 % |
291.58/291.78	c |    437568 |     180    15300   107100 |    72682    71668     54 |  0.003 % |
291.78/291.95	c |    437745 |     180    15300   107100 |    72682    71845     54 |  0.003 % |
291.98/292.15	c |    437939 |     180    15300   107100 |    72682    72039     54 |  0.003 % |
292.18/292.34	c |    438151 |     180    15300   107100 |    72682    72251     54 |  0.003 % |
292.39/292.55	c |    438385 |     180    15300   107100 |    72682    72485     54 |  0.003 % |
292.58/292.78	c |    438642 |     180    15300   107100 |    72682    72742     54 |  0.003 % |
292.88/293.05	c |    438923 |     180    15300   107100 |    72682    64404     54 |  0.003 % |
293.08/293.26	c |    439232 |     180    15300   107100 |    72682    64713     54 |  0.003 % |
293.38/293.51	c |    439571 |     180    15300   107100 |    72682    65052     54 |  0.003 % |
293.68/293.85	c |    439944 |     180    15300   107100 |    72682    65425     54 |  0.003 % |
294.08/294.20	c |    440353 |     180    15300   107100 |    65481    58001     54 |  0.003 % |
294.38/294.50	c |    440802 |     180    15300   107100 |    65481    58450     54 |  0.003 % |
294.69/294.81	c |    441295 |     180    15300   107100 |    65481    58943     54 |  0.003 % |
294.98/295.15	c |    441837 |     180    15300   107100 |    65481    59485     54 |  0.003 % |
295.38/295.56	c |    442433 |     180    15300   107100 |    65481    60081     54 |  0.003 % |
295.88/296.00	c |    443091 |     180    15300   107100 |    65481    60739     54 |  0.003 % |
296.38/296.56	c |    443812 |     180    15300   107100 |    65481    61460     54 |  0.003 % |
296.98/297.12	c |    444605 |     180    15300   107100 |    65481    62253     54 |  0.003 % |
297.58/297.72	c |    445478 |     180    15300   107100 |    65481    63126     54 |  0.003 % |
298.18/298.34	c |    446438 |     180    15300   107100 |    65481    64086     54 |  0.003 % |
298.88/299.05	c |    447491 |     180    15300   107100 |    65481    65139     54 |  0.003 % |
299.78/299.94	c |    448651 |     180    15300   107100 |    65481    59152     54 |  0.003 % |
300.58/300.76	c |    449925 |     180    15300   107100 |    65481    60426     54 |  0.003 % |
301.48/301.61	c |    451325 |     180    15300   107100 |    60501    55496     54 |  0.003 % |
302.28/302.46	c |    452865 |     180    15300   107100 |    60501    57036     54 |  0.003 % |
303.28/303.48	c |    454559 |     180    15300   107100 |    60501    58730     54 |  0.003 % |
304.68/304.81	c |    456423 |     180    15300   107100 |    60501    54536     54 |  0.003 % |
305.88/306.09	c |    458473 |     180    15300   107100 |    60501    56586     54 |  0.003 % |
307.28/307.43	c |    460726 |     180    15300   107100 | 2147483647    58839     54 |  0.003 % |
308.78/308.99	c |    463204 |     180    15300   107100 | 2147483647    61317     54 |  0.003 % |
310.67/310.83	c |    465931 |     180    15300   107100 | 2147483647    64044     54 |  0.003 % |
312.77/312.91	c |    468928 |     180    15300   107100 | 2147483647    67041     54 |  0.003 % |
315.07/315.28	c |    472224 |     180    15300   107100 | 2147483647    70337     54 |  0.003 % |
317.77/317.93	c |    475852 |     180    15300   107100 | 2147483647    73965     54 |  0.003 % |
320.67/320.82	c |    479839 |     180    15300   107100 | 2147483647    77952     54 |  0.003 % |
323.87/324.07	c |    484225 |     180    15300   107100 |    78113    72465     54 |  0.003 % |
323.97/324.14	c |    484328 |     180    15300   107100 |    78113    72568     54 |  0.003 % |
324.07/324.22	c |    484438 |     180    15300   107100 |    78113    72678     54 |  0.003 % |
324.17/324.32	c |    484559 |     180    15300   107100 |    78113    72799     54 |  0.003 % |
324.27/324.47	c |    484692 |     180    15300   107100 |    78113    72932     54 |  0.003 % |
324.47/324.60	c |    484838 |     180    15300   107100 |    78113    73078     54 |  0.003 % |
324.57/324.73	c |    484999 |     180    15300   107100 |    78113    73239     54 |  0.003 % |
324.67/324.89	c |    485177 |     180    15300   107100 |    78113    73417     54 |  0.003 % |
324.87/325.07	c |    485371 |     180    15300   107100 |    78113    73611     54 |  0.003 % |
325.07/325.26	c |    485583 |     180    15300   107100 |    78113    73823     54 |  0.003 % |
325.27/325.48	c |    485816 |     180    15300   107100 |    78113    74056     54 |  0.003 % |
325.57/325.72	c |    486072 |     180    15300   107100 |    78113    74312     54 |  0.003 % |
325.77/325.97	c |    486354 |     180    15300   107100 |    78113    74594     54 |  0.003 % |
326.07/326.23	c |    486663 |     180    15300   107100 |    78113    74903     54 |  0.003 % |
326.37/326.54	c |    487003 |     180    15300   107100 |    78113    75243     54 |  0.003 % |
326.67/326.89	c |    487375 |     180    15300   107100 |    78113    75615     54 |  0.003 % |
327.07/327.27	c |    487785 |     180    15300   107100 |    78113    76025     54 |  0.003 % |
327.47/327.64	c |    488234 |     180    15300   107100 |    78113    76474     54 |  0.003 % |
327.87/328.07	c |    488728 |     180    15300   107100 |    78113    76968     54 |  0.003 % |
328.27/328.49	c |    489272 |     180    15300   107100 |    78113    77512     54 |  0.003 % |
328.77/328.92	c |    489868 |     180    15300   107100 |    78113    78108     54 |  0.003 % |
329.27/329.49	c |    490523 |     180    15300   107100 |    66325    56743     54 |  0.003 % |
329.87/330.04	c |    491243 |     180    15300   107100 |    66325    57463     54 |  0.003 % |
330.47/330.67	c |    492035 |     180    15300   107100 |    66325    58255     54 |  0.003 % |
331.07/331.24	c |    492906 |     180    15300   107100 |    66325    59126     54 |  0.003 % |
331.77/331.92	c |    493866 |     180    15300   107100 |    66325    60086     54 |  0.003 % |
332.47/332.66	c |    494919 |     180    15300   107100 |    66325    61139     54 |  0.003 % |
333.27/333.40	c |    496077 |     180    15300   107100 |    66325    62297     54 |  0.003 % |
334.07/334.29	c |    497350 |     180    15300   107100 |    66325    63570     54 |  0.003 % |
335.06/335.26	c |    498750 |     180    15300   107100 |    66325    64970     54 |  0.003 % |
336.16/336.34	c |    500291 |     180    15300   107100 |    66221    58372     54 |  0.003 % |
337.16/337.35	c |    501987 |     180    15300   107100 |    66221    60068     54 |  0.003 % |
338.36/338.56	c |    503850 |     180    15300   107100 |    66221    61931     54 |  0.003 % |
339.67/339.84	c |    505901 |     180    15300   107100 |    66221    63982     54 |  0.003 % |
341.06/341.27	c |    508156 |     180    15300   107100 |    66221    66237     54 |  0.003 % |
342.66/342.82	c |    510636 |     180    15300   107100 | 2147483647    62094     54 |  0.003 % |
344.36/344.55	c |    513361 |     180    15300   107100 | 2147483647    64819     54 |  0.003 % |
346.26/346.48	c |    516360 |     180    15300   107100 | 2147483647    67818     54 |  0.003 % |
348.56/348.73	c |    519657 |     180    15300   107100 | 2147483647    71115     54 |  0.003 % |
351.06/351.28	c |    523283 |     180    15300   107100 | 2147483647    74741     54 |  0.003 % |
354.06/354.24	c |    527271 |     180    15300   107100 | 2147483647    78729     54 |  0.003 % |
357.56/357.79	c |    531657 |     180    15300   107100 |    81458    71539     54 |  0.003 % |
361.26/361.49	c |    536481 |     180    15300   107100 |    81458    76363     54 |  0.003 % |
361.36/361.58	c |    536581 |     180    15300   107100 |    81458    76463     54 |  0.003 % |
361.56/361.70	c |    536691 |     180    15300   107100 |    81458    76573     54 |  0.003 % |
361.66/361.81	c |    536813 |     180    15300   107100 |    81458    76695     54 |  0.003 % |
361.76/361.93	c |    536947 |     180    15300   107100 |    81458    76829     54 |  0.003 % |
361.86/362.03	c |    537095 |     180    15300   107100 |    81458    76977     54 |  0.003 % |
361.95/362.19	c |    537259 |     180    15300   107100 |    81458    77141     54 |  0.003 % |
362.15/362.35	c |    537435 |     180    15300   107100 |    81458    77317     54 |  0.003 % |
362.35/362.52	c |    537628 |     180    15300   107100 |    81458    77510     54 |  0.003 % |
362.45/362.69	c |    537842 |     180    15300   107100 |    81458    77724     54 |  0.003 % |
362.66/362.89	c |    538075 |     180    15300   107100 |    81458    77957     54 |  0.003 % |
362.96/363.15	c |    538331 |     180    15300   107100 |    81458    78213     54 |  0.003 % |
363.16/363.38	c |    538613 |     180    15300   107100 |    81458    78495     54 |  0.003 % |
363.46/363.65	c |    538922 |     180    15300   107100 |    81458    78804     54 |  0.003 % |
363.76/363.93	c |    539262 |     180    15300   107100 |    81458    79144     54 |  0.003 % |
364.05/364.26	c |    539635 |     180    15300   107100 |    81458    79517     54 |  0.003 % |
364.45/364.65	c |    540045 |     180    15300   107100 |    79882    79927     54 |  0.003 % |
364.96/365.11	c |    540496 |     180    15300   107100 |    79882    67596     54 |  0.003 % |
365.25/365.48	c |    540989 |     180    15300   107100 |    79882    68089     54 |  0.003 % |
365.65/365.86	c |    541532 |     180    15300   107100 |    79882    68632     54 |  0.003 % |
366.16/366.34	c |    542128 |     180    15300   107100 |    79882    69228     54 |  0.003 % |
366.65/366.81	c |    542783 |     180    15300   107100 |    79882    69883     54 |  0.003 % |
367.16/367.35	c |    543503 |     180    15300   107100 |    79882    70603     54 |  0.003 % |
367.75/367.95	c |    544297 |     180    15300   107100 |    79882    71397     54 |  0.003 % |
368.36/368.56	c |    545170 |     180    15300   107100 |    79882    72270     54 |  0.003 % |
369.05/369.28	c |    546128 |     180    15300   107100 |    79882    73228     54 |  0.003 % |
369.85/370.02	c |    547183 |     180    15300   107100 |    79882    74283     54 |  0.003 % |
370.65/370.89	c |    548341 |     180    15300   107100 |    79882    75441     54 |  0.003 % |
371.75/371.92	c |    549615 |     180    15300   107100 |    79882    76715     54 |  0.003 % |
372.76/372.96	c |    551016 |     180    15300   107100 |    77100    66156     54 |  0.003 % |
373.86/374.05	c |    552556 |     180    15300   107100 |    77100    67696     54 |  0.003 % |
375.15/375.30	c |    554251 |     180    15300   107100 |    77100    69391     54 |  0.003 % |
376.45/376.65	c |    556114 |     180    15300   107100 |    77100    71254     54 |  0.003 % |
377.96/378.12	c |    558164 |     180    15300   107100 |    77100    73304     54 |  0.003 % |
379.66/379.89	c |    560419 |     180    15300   107100 |    75140    64327     54 |  0.003 % |
381.36/381.58	c |    562898 |     180    15300   107100 |    75140    66806     54 |  0.003 % |
383.46/383.63	c |    565624 |     180    15300   107100 |    75140    69532     54 |  0.003 % |
385.86/386.03	c |    568623 |     180    15300   107100 |    75140    72531     54 |  0.003 % |
388.36/388.59	c |    571919 |     180    15300   107100 |    73908    65456     54 |  0.003 % |
390.86/391.06	c |    575545 |     180    15300   107100 |    73908    69082     54 |  0.003 % |
393.75/393.97	c |    579534 |     180    15300   107100 |    73908    73071     54 |  0.003 % |
396.86/397.03	c |    583920 |     180    15300   107100 |    73539    67494     54 |  0.003 % |
400.45/400.61	c |    588744 |     180    15300   107100 |    73539    72318     54 |  0.003 % |
404.35/404.53	c |    594049 |     180    15300   107100 |    73574    67858     54 |  0.003 % |
404.45/404.62	c |    594150 |     180    15300   107100 |    73574    67959     54 |  0.003 % |
404.55/404.72	c |    594260 |     180    15300   107100 |    73574    68069     54 |  0.003 % |
404.65/404.81	c |    594381 |     180    15300   107100 |    73574    68190     54 |  0.003 % |
404.75/404.93	c |    594515 |     180    15300   107100 |    73574    68324     54 |  0.003 % |
404.85/405.09	c |    594661 |     180    15300   107100 |    73574    68470     54 |  0.003 % |
405.05/405.24	c |    594822 |     180    15300   107100 |    73574    68631     54 |  0.003 % |
405.25/405.40	c |    594998 |     180    15300   107100 |    73574    68807     54 |  0.003 % |
405.35/405.58	c |    595191 |     180    15300   107100 |    73574    69000     54 |  0.003 % |
405.55/405.77	c |    595403 |     180    15300   107100 |    73574    69212     54 |  0.003 % |
405.75/405.97	c |    595637 |     180    15300   107100 |    73574    69446     54 |  0.003 % |
405.95/406.19	c |    595895 |     180    15300   107100 |    73574    69704     54 |  0.003 % |
406.25/406.41	c |    596178 |     180    15300   107100 |    73574    69987     54 |  0.003 % |
406.45/406.65	c |    596489 |     180    15300   107100 |    73574    70298     54 |  0.003 % |
406.75/406.92	c |    596828 |     180    15300   107100 |    73574    70637     54 |  0.003 % |
406.95/407.19	c |    597201 |     180    15300   107100 |    73574    71010     54 |  0.003 % |
407.25/407.49	c |    597612 |     180    15300   107100 |    73574    71421     54 |  0.003 % |
407.65/407.82	c |    598061 |     180    15300   107100 |    73574    71870     54 |  0.003 % |
408.15/408.31	c |    598555 |     180    15300   107100 |    73574    72364     54 |  0.003 % |
408.65/408.83	c |    599098 |     180    15300   107100 |    73574    72907     54 |  0.003 % |
409.15/409.37	c |    599694 |     180    15300   107100 |    73574    73503     54 |  0.003 % |
409.85/410.01	c |    600349 |     180    15300   107100 |    63571    55044     54 |  0.003 % |
410.35/410.50	c |    601069 |     180    15300   107100 |    63571    55764     54 |  0.003 % |
410.85/411.08	c |    601862 |     180    15300   107100 |    63571    56557     54 |  0.003 % |
411.55/411.71	c |    602733 |     180    15300   107100 |    63571    57428     54 |  0.003 % |
412.15/412.34	c |    603691 |     180    15300   107100 |    63571    58386     54 |  0.003 % |
412.75/412.97	c |    604744 |     180    15300   107100 |    63571    59439     54 |  0.003 % |
413.45/413.66	c |    605902 |     180    15300   107100 |    63571    60597     54 |  0.003 % |
414.25/414.46	c |    607175 |     180    15300   107100 |    63571    61870     54 |  0.003 % |
415.15/415.39	c |    608575 |     180    15300   107100 |    63571    63270     54 |  0.003 % |
416.35/416.54	c |    610117 |     180    15300   107100 | 2147483647    58447     54 |  0.003 % |
417.45/417.63	c |    611811 |     180    15300   107100 | 2147483647    60141     54 |  0.003 % |
418.54/418.79	c |    613674 |     180    15300   107100 | 2147483647    62004     54 |  0.003 % |
419.84/420.10	c |    615723 |     180    15300   107100 | 2147483647    64053     54 |  0.003 % |
421.44/421.60	c |    617977 |     180    15300   107100 | 2147483647    66307     54 |  0.003 % |
423.14/423.33	c |    620455 |     180    15300   107100 | 2147483647    68785     54 |  0.003 % |
425.04/425.26	c |    623180 |     180    15300   107100 | 2147483647    71510     54 |  0.003 % |
427.34/427.50	c |    626180 |     180    15300   107100 | 2147483647    74510     54 |  0.003 % |
429.95/430.11	c |    629476 |     180    15300   107100 | 2147483647    77806     54 |  0.003 % |
432.54/432.71	c |    633102 |     180    15300   107100 |    78330    71329     54 |  0.003 % |
435.44/435.68	c |    637091 |     180    15300   107100 |    78330    75318     54 |  0.003 % |
438.94/439.13	c |    641480 |     180    15300   107100 |    78227    67906     54 |  0.003 % |
442.34/442.55	c |    646303 |     180    15300   107100 |    78227    72729     54 |  0.003 % |
446.24/446.41	c |    651608 |     180    15300   107100 |    76427    66952     54 |  0.003 % |
450.53/450.70	c |    657443 |     180    15300   107100 |    76427    72787     54 |  0.003 % |
450.53/450.78	c |    657543 |     180    15300   107100 |    76427    72887     54 |  0.003 % |
450.74/450.91	c |    657654 |     180    15300   107100 |    76427    72998     54 |  0.003 % |
450.84/451.01	c |    657775 |     180    15300   107100 |    76427    73119     54 |  0.003 % |
450.93/451.13	c |    657908 |     180    15300   107100 |    76427    73252     54 |  0.003 % |
451.03/451.27	c |    658054 |     180    15300   107100 |    76427    73398     54 |  0.003 % |
451.23/451.41	c |    658214 |     180    15300   107100 |    76427    73558     54 |  0.003 % |
451.33/451.59	c |    658390 |     180    15300   107100 |    76427    73734     54 |  0.003 % |
451.53/451.76	c |    658584 |     180    15300   107100 |    76427    73928     54 |  0.003 % |
451.73/451.95	c |    658797 |     180    15300   107100 |    76427    74141     54 |  0.003 % |
451.94/452.19	c |    659030 |     180    15300   107100 |    76427    74374     54 |  0.003 % |
452.23/452.47	c |    659288 |     180    15300   107100 |    76427    74632     54 |  0.003 % |
452.53/452.73	c |    659569 |     180    15300   107100 |    76427    74913     54 |  0.003 % |
452.83/453.03	c |    659879 |     180    15300   107100 |    76427    75223     54 |  0.003 % |
453.23/453.41	c |    660218 |     180    15300   107100 |    75344    64255     54 |  0.003 % |
453.53/453.70	c |    660591 |     180    15300   107100 |    75344    64628     54 |  0.003 % |
453.83/454.05	c |    661002 |     180    15300   107100 |    75344    65039     54 |  0.003 % |
454.23/454.40	c |    661453 |     180    15300   107100 |    75344    65490     54 |  0.003 % |
454.63/454.80	c |    661946 |     180    15300   107100 |    75344    65983     54 |  0.003 % |
455.03/455.22	c |    662489 |     180    15300   107100 |    75344    66526     54 |  0.003 % |
455.43/455.65	c |    663085 |     180    15300   107100 |    75344    67122     54 |  0.003 % |
456.03/456.21	c |    663740 |     180    15300   107100 |    75344    67777     54 |  0.003 % |
456.53/456.75	c |    664461 |     180    15300   107100 |    75344    68498     54 |  0.003 % |
457.23/457.45	c |    665254 |     180    15300   107100 |    75344    69291     54 |  0.003 % |
457.93/458.14	c |    666127 |     180    15300   107100 |    75344    70164     54 |  0.003 % |
458.73/458.93	c |    667085 |     180    15300   107100 |    75344    71122     54 |  0.003 % |
459.63/459.85	c |    668138 |     180    15300   107100 |    75344    72175     54 |  0.003 % |
460.63/460.85	c |    669298 |     180    15300   107100 |    75344    73335     54 |  0.003 % |
461.73/461.92	c |    670571 |     180    15300   107100 |    74037    63252     54 |  0.003 % |
462.73/462.94	c |    671972 |     180    15300   107100 |    74037    64653     54 |  0.003 % |
463.83/464.02	c |    673512 |     180    15300   107100 |    74037    66193     54 |  0.003 % |
465.13/465.33	c |    675206 |     180    15300   107100 |    74037    67887     54 |  0.003 % |
466.53/466.74	c |    677071 |     180    15300   107100 |    74037    69752     54 |  0.003 % |
468.23/468.41	c |    679120 |     180    15300   107100 |    74037    71801     54 |  0.003 % |
469.93/470.16	c |    681373 |     180    15300   107100 |    72683    63330     54 |  0.003 % |
471.63/471.86	c |    683851 |     180    15300   107100 |    72683    65808     54 |  0.003 % |
473.63/473.88	c |    686576 |     180    15300   107100 |    72683    68533     54 |  0.003 % |
476.13/476.32	c |    689573 |     180    15300   107100 |    72683    71530     54 |  0.003 % |
478.72/478.93	c |    692869 |     180    15300   107100 |    71957    64645     54 |  0.003 % |
481.32/481.54	c |    696494 |     180    15300   107100 |    71957    68270     54 |  0.003 % |
484.42/484.61	c |    700481 |     180    15300   107100 |    71778    62819     54 |  0.003 % |
487.32/487.52	c |    704867 |     180    15300   107100 |    71778    67205     54 |  0.003 % |
491.02/491.25	c |    709691 |     180    15300   107100 |    71778    63446     54 |  0.003 % |
494.22/494.43	c |    714998 |     180    15300   107100 |    63755    61235     53 |  0.003 % |
497.83/498.04	c |    720836 |     180    15300   107100 | 2147483647    60689     53 |  0.003 % |
502.22/502.40	c |    727254 |     180    15300   107100 | 2147483647    67107     53 |  0.003 % |
502.22/502.48	c |    727356 |     180    15300   107100 | 2147483647    67209     53 |  0.003 % |
502.32/502.55	c |    727466 |     180    15300   107100 | 2147483647    67319     53 |  0.003 % |
502.43/502.65	c |    727588 |     180    15300   107100 | 2147483647    67441     53 |  0.003 % |
502.62/502.80	c |    727723 |     180    15300   107100 | 2147483647    67576     53 |  0.003 % |
502.72/502.93	c |    727869 |     180    15300   107100 | 2147483647    67722     53 |  0.003 % |
502.82/503.06	c |    728031 |     180    15300   107100 | 2147483647    67884     53 |  0.003 % |
503.02/503.24	c |    728207 |     180    15300   107100 | 2147483647    68060     53 |  0.003 % |
503.22/503.40	c |    728402 |     180    15300   107100 | 2147483647    68255     53 |  0.003 % |
503.32/503.58	c |    728616 |     180    15300   107100 | 2147483647    68469     53 |  0.003 % |
503.53/503.79	c |    728850 |     180    15300   107100 | 2147483647    68703     53 |  0.003 % |
503.82/504.01	c |    729107 |     180    15300   107100 | 2147483647    68960     53 |  0.003 % |
504.02/504.25	c |    729388 |     180    15300   107100 | 2147483647    69241     53 |  0.003 % |
504.32/504.53	c |    729698 |     180    15300   107100 | 2147483647    69551     53 |  0.003 % |
504.63/504.82	c |    730043 |     180    15300   107100 |    69853    69896     53 |  0.003 % |
504.92/505.19	c |    730418 |     180    15300   107100 |    69853    62859     53 |  0.003 % |
505.32/505.53	c |    730827 |     180    15300   107100 |    69853    63268     53 |  0.003 % |
505.62/505.84	c |    731276 |     180    15300   107100 |    69853    63717     53 |  0.003 % |
505.92/506.17	c |    731769 |     180    15300   107100 |    69853    64210     53 |  0.003 % |
506.32/506.56	c |    732311 |     180    15300   107100 |    69853    64752     53 |  0.003 % |
506.72/506.99	c |    732908 |     180    15300   107100 |    69853    65349     53 |  0.003 % |
507.22/507.48	c |    733563 |     180    15300   107100 |    69853    66004     53 |  0.003 % |
507.82/508.08	c |    734283 |     180    15300   107100 |    69853    66724     53 |  0.003 % |
508.52/508.75	c |    735076 |     180    15300   107100 |    69853    67517     53 |  0.003 % |
509.32/509.52	c |    735950 |     180    15300   107100 |    69853    68391     53 |  0.003 % |
510.02/510.30	c |    736908 |     180    15300   107100 |    69853    69349     53 |  0.003 % |
510.92/511.11	c |    737961 |     180    15300   107100 |    69853    61674     53 |  0.003 % |
511.62/511.88	c |    739121 |     180    15300   107100 |    69853    62834     53 |  0.003 % |
512.52/512.71	c |    740394 |     180    15300   107100 |    63714    56840     53 |  0.003 % |
513.32/513.55	c |    741795 |     180    15300   107100 |    63714    58241     53 |  0.003 % |
514.22/514.41	c |    743335 |     180    15300   107100 |    63714    59781     53 |  0.003 % |
515.22/515.49	c |    745032 |     180    15300   107100 |    63714    61478     53 |  0.003 % |
516.52/516.79	c |    746895 |     180    15300   107100 |    63714    63341     53 |  0.003 % |
518.02/518.27	c |    748944 |     180    15300   107100 |    63714    59011     53 |  0.003 % |
519.42/519.64	c |    751200 |     180    15300   107100 | 2147483647    61267     53 |  0.003 % |
521.12/521.31	c |    753679 |     180    15300   107100 | 2147483647    63746     54 |  0.003 % |
522.92/523.14	c |    756404 |     180    15300   107100 | 2147483647    66471     53 |  0.003 % |
525.02/525.25	c |    759402 |     180    15300   107100 | 2147483647    69469     54 |  0.003 % |
527.32/527.59	c |    762699 |     180    15300   107100 | 2147483647    72766     54 |  0.003 % |
530.12/530.39	c |    766324 |     180    15300   107100 | 2147483647    76391     54 |  0.003 % |
533.41/533.67	c |    770312 |     180    15300   107100 |    80067    68796     54 |  0.003 % |
536.81/537.02	c |    774699 |     180    15300   107100 |    80067    73183     54 |  0.003 % |
540.61/540.80	c |    779522 |     180    15300   107100 |    80067    78006     54 |  0.003 % |
544.41/544.66	c |    784827 |     180    15300   107100 |    78488    71423     54 |  0.003 % |
548.71/548.99	c |    790665 |     180    15300   107100 |    76597    66084     54 |  0.003 % |
553.31/553.52	c |    797084 |     180    15300   107100 |    76597    72503     54 |  0.003 % |
558.61/558.85	c |    804144 |     180    15300   107100 |    75420    68644     54 |  0.003 % |
558.71/558.93	c |    804245 |     180    15300   107100 |    75420    68745     54 |  0.003 % |
558.81/559.01	c |    804356 |     180    15300   107100 |    75420    68856     54 |  0.003 % |
558.91/559.13	c |    804477 |     180    15300   107100 |    75420    68977     54 |  0.003 % |
559.01/559.26	c |    804610 |     180    15300   107100 |    75420    69110     54 |  0.003 % |
559.11/559.39	c |    804756 |     180    15300   107100 |    75420    69256     54 |  0.003 % |
559.31/559.54	c |    804917 |     180    15300   107100 |    75420    69417     54 |  0.003 % |
559.51/559.71	c |    805094 |     180    15300   107100 |    75420    69594     54 |  0.003 % |
559.61/559.90	c |    805287 |     180    15300   107100 |    75420    69787     54 |  0.003 % |
559.81/560.09	c |    805500 |     180    15300   107100 |    75420    70000     54 |  0.003 % |
560.11/560.32	c |    805734 |     180    15300   107100 |    75420    70234     54 |  0.003 % |
560.31/560.53	c |    805991 |     180    15300   107100 |    75420    70491     54 |  0.003 % |
560.50/560.79	c |    806273 |     180    15300   107100 |    75420    70773     54 |  0.003 % |
560.81/561.03	c |    806583 |     180    15300   107100 |    75420    71083     54 |  0.003 % |
561.10/561.37	c |    806923 |     180    15300   107100 |    75420    71423     54 |  0.003 % |
561.40/561.67	c |    807297 |     180    15300   107100 |    75420    71797     54 |  0.003 % |
561.81/562.00	c |    807706 |     180    15300   107100 |    75420    72206     54 |  0.003 % |
562.10/562.34	c |    808155 |     180    15300   107100 |    75420    72655     54 |  0.003 % |
562.50/562.75	c |    808648 |     180    15300   107100 |    75420    73148     54 |  0.003 % |
562.91/563.20	c |    809190 |     180    15300   107100 |    75420    73690     54 |  0.003 % |
563.40/563.67	c |    809789 |     180    15300   107100 |    75420    74289     54 |  0.003 % |
563.90/564.16	c |    810445 |     180    15300   107100 |    74501    63591     54 |  0.003 % |
564.40/564.69	c |    811168 |     180    15300   107100 |    74501    64314     54 |  0.003 % |
565.00/565.25	c |    811961 |     180    15300   107100 |    74501    65107     54 |  0.003 % |
565.60/565.86	c |    812833 |     180    15300   107100 |    74501    65979     54 |  0.003 % |
566.21/566.47	c |    813792 |     180    15300   107100 |    74501    66938     54 |  0.003 % |
566.90/567.14	c |    814845 |     180    15300   107100 |    74501    67991     54 |  0.003 % |
567.60/567.87	c |    816003 |     180    15300   107100 |    74501    69149     54 |  0.003 % |
568.70/568.91	c |    817276 |     180    15300   107100 |    74501    70422     54 |  0.003 % |
569.80/570.00	c |    818676 |     180    15300   107100 |    74501    71822     54 |  0.003 % |
571.00/571.23	c |    820216 |     180    15300   107100 |    73146    63531     54 |  0.003 % |
572.00/572.28	c |    821910 |     180    15300   107100 |    73146    65225     54 |  0.003 % |
573.30/573.55	c |    823773 |     180    15300   107100 |    73146    67088     54 |  0.003 % |
574.70/574.90	c |    825823 |     180    15300   107100 |    73146    69138     54 |  0.003 % |
576.20/576.41	c |    828077 |     180    15300   107100 |    73146    71392     54 |  0.003 % |
578.20/578.40	c |    830555 |     180    15300   107100 |    64311    56952     54 |  0.003 % |
580.10/580.32	c |    833280 |     180    15300   107100 |    64311    59677     54 |  0.003 % |
582.00/582.24	c |    836277 |     180    15300   107100 |    64311    62674     54 |  0.003 % |
584.00/584.20	c |    839575 |     180    15300   107100 |    64311    59533     54 |  0.003 % |
586.30/586.53	c |    843203 |     180    15300   107100 | 2147483647    63161     54 |  0.003 % |
589.00/589.21	c |    847192 |     180    15300   107100 | 2147483647    67150     54 |  0.003 % |
592.10/592.36	c |    851577 |     180    15300   107100 |    69959    63744     54 |  0.003 % |
595.49/595.71	c |    856400 |     180    15300   107100 |    69959    68567     54 |  0.003 % |
598.99/599.27	c |    861705 |     180    15300   107100 |    63896    58223     54 |  0.003 % |
602.89/603.13	c |    867543 |     180    15300   107100 |    63896    57665     54 |  0.003 % |
607.29/607.54	c |    873962 |     180    15300   107100 | 2147483647    64084     54 |  0.003 % |
612.19/612.41	c |    881021 |     180    15300   107100 |    70122    63365     55 |  0.003 % |
617.49/617.77	c |    888786 |     180    15300   107100 |    70122    63032     55 |  0.003 % |
617.59/617.83	c |    888887 |     180    15300   107100 |    70122    63133     55 |  0.003 % |
617.69/617.91	c |    888998 |     180    15300   107100 |    70122    63244     55 |  0.003 % |
617.79/618.00	c |    889119 |     180    15300   107100 |    70122    63365     55 |  0.003 % |
617.79/618.09	c |    889252 |     180    15300   107100 |    70122    63498     55 |  0.003 % |
617.89/618.18	c |    889399 |     180    15300   107100 |    70122    63645     55 |  0.003 % |
617.99/618.30	c |    889559 |     180    15300   107100 |    70122    63805     55 |  0.003 % |
618.19/618.45	c |    889738 |     180    15300   107100 |    70122    63984     55 |  0.003 % |
618.39/618.64	c |    889931 |     180    15300   107100 |    70122    64177     55 |  0.003 % |
618.58/618.87	c |    890144 |     180    15300   107100 |    64248    56997     55 |  0.003 % |
618.78/619.02	c |    890378 |     180    15300   107100 |    64248    57231     55 |  0.003 % |
618.88/619.17	c |    890634 |     180    15300   107100 |    64248    57487     55 |  0.003 % |
619.09/619.36	c |    890915 |     180    15300   107100 |    64248    57768     55 |  0.003 % |
619.29/619.56	c |    891224 |     180    15300   107100 |    64248    58077     55 |  0.003 % |
619.59/619.80	c |    891564 |     180    15300   107100 |    64248    58417     55 |  0.003 % |
619.89/620.11	c |    891938 |     180    15300   107100 |    64248    58791     55 |  0.003 % |
620.19/620.42	c |    892347 |     180    15300   107100 |    64248    59200     55 |  0.003 % |
620.48/620.75	c |    892797 |     180    15300   107100 |    64248    59650     55 |  0.003 % |
620.88/621.12	c |    893292 |     180    15300   107100 |    64248    60145     55 |  0.003 % |
621.29/621.57	c |    893834 |     180    15300   107100 |    64248    60687     55 |  0.003 % |
621.78/622.02	c |    894430 |     180    15300   107100 |    64248    61283     55 |  0.003 % |
622.18/622.46	c |    895085 |     180    15300   107100 |    64248    61938     55 |  0.003 % |
622.78/623.09	c |    895805 |     180    15300   107100 |    64248    62658     55 |  0.003 % |
623.49/623.79	c |    896597 |     180    15300   107100 |    64248    63450     55 |  0.003 % |
624.28/624.52	c |    897468 |     180    15300   107100 |    64248    64321     55 |  0.003 % |
624.88/625.18	c |    898426 |     180    15300   107100 |    64248    57640     55 |  0.003 % |
625.59/625.85	c |    899479 |     180    15300   107100 |    64248    58693     55 |  0.003 % |
626.38/626.67	c |    900641 |     180    15300   107100 |    59215    53451     55 |  0.003 % |
627.18/627.44	c |    901914 |     180    15300   107100 |    59215    54724     55 |  0.003 % |
628.08/628.35	c |    903314 |     180    15300   107100 |    59215    56124     55 |  0.003 % |
629.08/629.30	c |    904855 |     180    15300   107100 |    59215    57665     55 |  0.003 % |
630.28/630.51	c |    906549 |     180    15300   107100 |    59215    53430     55 |  0.003 % |
631.68/631.95	c |    908413 |     180    15300   107100 |    59215    55294     55 |  0.003 % |
633.18/633.47	c |    910463 |     180    15300   107100 | 2147483647    57344     55 |  0.003 % |
634.69/634.93	c |    912718 |     180    15300   107100 | 2147483647    59599     54 |  0.003 % |
636.19/636.49	c |    915197 |     180    15300   107100 | 2147483647    62078     54 |  0.003 % |
637.99/638.28	c |    917924 |     180    15300   107100 | 2147483647    64805     54 |  0.003 % |
639.89/640.17	c |    920921 |     180    15300   107100 | 2147483647    67802     54 |  0.003 % |
642.09/642.37	c |    924217 |     180    15300   107100 | 2147483647    71098     54 |  0.003 % |
644.79/645.05	c |    927842 |     180    15300   107100 | 2147483647    74723     54 |  0.003 % |
647.99/648.22	c |    931829 |     180    15300   107100 |    76882    68641     54 |  0.003 % |
651.39/651.60	c |    936214 |     180    15300   107100 |    76882    73026     54 |  0.003 % |
654.88/655.19	c |    941039 |     180    15300   107100 |    76813    66910     54 |  0.003 % |
658.78/659.09	c |    946344 |     180    15300   107100 |    76813    72215     54 |  0.003 % |
662.99/663.23	c |    952179 |     180    15300   107100 |    75872    67047     54 |  0.003 % |
667.68/667.98	c |    958597 |     180    15300   107100 |    75872    73465     54 |  0.003 % |
672.88/673.17	c |    965658 |     180    15300   107100 |    74868    70187     54 |  0.003 % |
678.58/678.86	c |    973422 |     180    15300   107100 |    74529    68035     54 |  0.003 % |
684.98/685.27	c |    981963 |     180    15300   107100 |    74613    66116     54 |  0.003 % |
685.08/685.36	c |    982063 |     180    15300   107100 |    74613    66216     54 |  0.003 % |
685.17/685.46	c |    982173 |     180    15300   107100 |    74613    66326     54 |  0.003 % |
685.27/685.56	c |    982294 |     180    15300   107100 |    74613    66447     54 |  0.003 % |
685.37/685.69	c |    982427 |     180    15300   107100 |    74613    66580     54 |  0.003 % |
685.57/685.83	c |    982574 |     180    15300   107100 |    74613    66727     54 |  0.003 % |
685.67/685.97	c |    982734 |     180    15300   107100 |    74613    66887     54 |  0.003 % |
685.87/686.10	c |    982910 |     180    15300   107100 |    74613    67063     54 |  0.003 % |
685.97/686.26	c |    983103 |     180    15300   107100 |    74613    67256     54 |  0.003 % |
686.18/686.40	c |    983315 |     180    15300   107100 |    74613    67468     54 |  0.003 % |
686.27/686.58	c |    983550 |     180    15300   107100 |    74613    67703     54 |  0.003 % |
686.57/686.80	c |    983810 |     180    15300   107100 |    74613    67963     54 |  0.003 % |
686.77/687.02	c |    984091 |     180    15300   107100 |    74613    68244     54 |  0.003 % |
687.07/687.33	c |    984401 |     180    15300   107100 |    74613    68554     54 |  0.003 % |
687.37/687.63	c |    984743 |     180    15300   107100 |    74613    68896     54 |  0.003 % |
687.67/687.96	c |    985118 |     180    15300   107100 |    74613    69271     54 |  0.003 % |
687.97/688.29	c |    985529 |     180    15300   107100 |    74613    69682     54 |  0.003 % |
688.38/688.68	c |    985978 |     180    15300   107100 |    74613    70131     54 |  0.003 % |
688.77/689.07	c |    986472 |     180    15300   107100 |    74613    70625     54 |  0.003 % |
689.17/689.47	c |    987015 |     180    15300   107100 |    74613    71168     54 |  0.003 % |
689.67/689.98	c |    987611 |     180    15300   107100 |    74613    71764     54 |  0.003 % |
690.27/690.50	c |    988266 |     180    15300   107100 |    74613    72419     54 |  0.003 % |
690.77/691.09	c |    988988 |     180    15300   107100 |    74613    73141     54 |  0.003 % |
691.47/691.78	c |    989782 |     180    15300   107100 |    74613    73935     54 |  0.003 % |
692.17/692.49	c |    990653 |     180    15300   107100 |    74154    63457     54 |  0.003 % |
692.87/693.15	c |    991611 |     180    15300   107100 |    74154    64415     54 |  0.003 % |
693.57/693.81	c |    992664 |     180    15300   107100 |    74154    65468     54 |  0.003 % |
694.37/694.65	c |    993822 |     180    15300   107100 |    74154    66626     54 |  0.003 % |
695.37/695.64	c |    995098 |     180    15300   107100 |    74154    67902     54 |  0.003 % |
696.57/696.84	c |    996499 |     180    15300   107100 |    74154    69303     54 |  0.003 % |
697.97/698.21	c |    998039 |     180    15300   107100 |    74154    70843     54 |  0.003 % |
699.37/699.61	c |    999734 |     180    15300   107100 |    74154    72538     54 |  0.003 % |
700.77/701.01	c |   1001598 |     180    15300   107100 |    72805    63709     54 |  0.003 % |
702.27/702.60	c |   1003647 |     180    15300   107100 |    72805    65758     54 |  0.003 % |
704.07/704.35	c |   1005900 |     180    15300   107100 |    72805    68011     54 |  0.003 % |
705.87/706.12	c |   1008379 |     180    15300   107100 |    72805    70490     54 |  0.003 % |
707.87/708.12	c |   1011106 |     180    15300   107100 |    72113    63434     54 |  0.003 % |
709.87/710.11	c |   1014103 |     180    15300   107100 |    72113    66431     54 |  0.003 % |
712.16/712.50	c |   1017399 |     180    15300   107100 |    72113    69727     54 |  0.003 % |
714.86/715.11	c |   1021024 |     180    15300   107100 |    63526    56894     54 |  0.003 % |
717.56/717.85	c |   1025011 |     180    15300   107100 |    63526    60881     54 |  0.003 % |
720.36/720.61	c |   1029396 |     180    15300   107100 |    63526    58738     54 |  0.003 % |
723.46/723.74	c |   1034220 |     180    15300   107100 | 2147483647    63562     54 |  0.003 % |
727.36/727.67	c |   1039525 |     180    15300   107100 | 2147483647    68867     54 |  0.003 % |
731.86/732.15	c |   1045360 |     180    15300   107100 |    69342    67237     54 |  0.003 % |
736.46/736.71	c |   1051780 |     180    15300   107100 |    63635    58031     54 |  0.003 % |
741.35/741.61	c |   1058840 |     180    15300   107100 |    63635    58721     54 |  0.003 % |
746.65/746.99	c |   1066606 |     180    15300   107100 | 2147483647    66487     54 |  0.003 % |
753.15/753.43	c |   1075146 |     180    15300   107100 | 2147483647    75027     54 |  0.003 % |
760.55/760.84	c |   1084541 |     180    15300   107100 |    79883    72393     54 |  0.003 % |
760.65/760.96	c |   1084641 |     180    15300   107100 |    79883    72493     54 |  0.003 % |
760.75/761.05	c |   1084751 |     180    15300   107100 |    79883    72603     54 |  0.003 % |
760.86/761.16	c |   1084872 |     180    15300   107100 |    79883    72724     54 |  0.003 % |
760.96/761.26	c |   1085005 |     180    15300   107100 |    79883    72857     54 |  0.003 % |
761.15/761.42	c |   1085153 |     180    15300   107100 |    79883    73005     54 |  0.003 % |
761.25/761.56	c |   1085314 |     180    15300   107100 |    79883    73166     54 |  0.003 % |
761.45/761.73	c |   1085491 |     180    15300   107100 |    79883    73343     54 |  0.003 % |
761.55/761.89	c |   1085685 |     180    15300   107100 |    79883    73537     54 |  0.003 % |
761.75/762.08	c |   1085898 |     180    15300   107100 |    79883    73750     54 |  0.003 % |
761.96/762.26	c |   1086131 |     180    15300   107100 |    79883    73983     54 |  0.003 % |
762.15/762.45	c |   1086387 |     180    15300   107100 |    79883    74239     54 |  0.003 % |
762.45/762.70	c |   1086669 |     180    15300   107100 |    79883    74521     54 |  0.003 % |
762.65/762.95	c |   1086980 |     180    15300   107100 |    79883    74832     54 |  0.003 % |
762.95/763.24	c |   1087320 |     180    15300   107100 |    79883    75172     54 |  0.003 % |
763.25/763.57	c |   1087692 |     180    15300   107100 |    79883    75544     54 |  0.003 % |
763.55/763.89	c |   1088101 |     180    15300   107100 |    79883    75953     54 |  0.003 % |
763.95/764.25	c |   1088553 |     180    15300   107100 |    79883    76405     54 |  0.003 % |
764.55/764.85	c |   1089046 |     180    15300   107100 |    79883    76898     54 |  0.003 % |
765.15/765.42	c |   1089588 |     180    15300   107100 |    79883    77440     54 |  0.003 % |
765.65/765.99	c |   1090184 |     180    15300   107100 |    77852    65086     54 |  0.003 % |
766.15/766.46	c |   1090840 |     180    15300   107100 |    77852    65742     54 |  0.003 % |
766.75/767.03	c |   1091561 |     180    15300   107100 |    77852    66463     54 |  0.003 % |
767.35/767.64	c |   1092354 |     180    15300   107100 |    77852    67256     54 |  0.003 % |
767.95/768.29	c |   1093227 |     180    15300   107100 |    77852    68129     54 |  0.003 % |
768.65/768.92	c |   1094187 |     180    15300   107100 |    77852    69089     54 |  0.003 % |
769.35/769.63	c |   1095242 |     180    15300   107100 |    77852    70144     54 |  0.003 % |
770.25/770.53	c |   1096401 |     180    15300   107100 |    77852    71303     54 |  0.003 % |
771.15/771.42	c |   1097674 |     180    15300   107100 |    77852    72576     54 |  0.003 % |
772.15/772.47	c |   1099075 |     180    15300   107100 |    77852    73977     54 |  0.003 % |
773.55/773.90	c |   1100616 |     180    15300   107100 |    74904    64437     54 |  0.003 % |
774.85/775.15	c |   1102311 |     180    15300   107100 |    74904    66132     54 |  0.003 % |
776.25/776.60	c |   1104174 |     180    15300   107100 |    74904    67995     54 |  0.003 % |
777.75/778.09	c |   1106224 |     180    15300   107100 |    74904    70045     54 |  0.003 % |
779.45/779.79	c |   1108477 |     180    15300   107100 |    74904    72298     54 |  0.003 % |
781.44/781.70	c |   1110956 |     180    15300   107100 |    73824    63947     54 |  0.003 % |
783.34/783.60	c |   1113681 |     180    15300   107100 |    73824    66672     54 |  0.003 % |
785.34/785.70	c |   1116679 |     180    15300   107100 |    73824    69670     54 |  0.003 % |
787.84/788.18	c |   1119977 |     180    15300   107100 |    73824    72968     54 |  0.003 % |
790.34/790.64	c |   1123602 |     180    15300   107100 |    72992    66933     54 |  0.003 % |
793.04/793.39	c |   1127589 |     180    15300   107100 |    72992    70920     54 |  0.003 % |
796.34/796.69	c |   1131975 |     180    15300   107100 |    63992    57735     54 |  0.003 % |
799.24/799.54	c |   1136804 |     180    15300   107100 |    63992    62564     54 |  0.003 % |
802.64/802.98	c |   1142109 |     180    15300   107100 | 2147483647    61462     54 |  0.003 % |
806.64/806.99	c |   1147944 |     180    15300   107100 | 2147483647    67297     54 |  0.003 % |
811.63/811.96	c |   1154362 |     180    15300   107100 | 2147483647    73715     54 |  0.003 % |
817.04/817.33	c |   1161421 |     180    15300   107100 |    79355    69940     54 |  0.003 % |
822.83/823.10	c |   1169185 |     180    15300   107100 |    79355    77704     54 |  0.003 % |
828.83/829.15	c |   1177725 |     180    15300   107100 |    78521    75483     55 |  0.003 % |
836.13/836.46	c |   1187119 |     180    15300   107100 |    77759    74329     55 |  0.003 % |
844.32/844.61	c |   1197453 |     180    15300   107100 |    77211    73567     55 |  0.003 % |
844.43/844.72	c |   1197553 |     180    15300   107100 |    77211    73667     55 |  0.003 % |
844.54/844.83	c |   1197666 |     180    15300   107100 |    77211    73780     55 |  0.003 % |
844.63/844.95	c |   1197788 |     180    15300   107100 |    77211    73902     55 |  0.003 % |
844.73/845.07	c |   1197922 |     180    15300   107100 |    77211    74036     55 |  0.003 % |
844.93/845.21	c |   1198069 |     180    15300   107100 |    77211    74183     55 |  0.003 % |
845.03/845.39	c |   1198231 |     180    15300   107100 |    77211    74345     55 |  0.003 % |
845.23/845.53	c |   1198408 |     180    15300   107100 |    77211    74522     55 |  0.003 % |
845.43/845.71	c |   1198601 |     180    15300   107100 |    77211    74715     55 |  0.003 % |
845.54/845.87	c |   1198813 |     180    15300   107100 |    77211    74927     55 |  0.003 % |
845.73/846.09	c |   1199046 |     180    15300   107100 |    77211    75160     55 |  0.003 % |
846.03/846.34	c |   1199304 |     180    15300   107100 |    77211    75418     55 |  0.003 % |
846.33/846.64	c |   1199585 |     180    15300   107100 |    77211    75699     55 |  0.003 % |
846.64/846.91	c |   1199894 |     180    15300   107100 |    77211    76008     55 |  0.003 % |
846.93/847.28	c |   1200235 |     180    15300   107100 |    76114    64788     55 |  0.003 % |
847.23/847.58	c |   1200609 |     180    15300   107100 |    76114    65162     55 |  0.003 % |
847.63/847.91	c |   1201019 |     180    15300   107100 |    76114    65572     55 |  0.003 % |
847.93/848.25	c |   1201468 |     180    15300   107100 |    76114    66021     54 |  0.003 % |
848.33/848.62	c |   1201961 |     180    15300   107100 |    76114    66514     54 |  0.003 % |
848.63/848.97	c |   1202503 |     180    15300   107100 |    76114    67056     54 |  0.003 % |
849.13/849.41	c |   1203099 |     180    15300   107100 |    76114    67652     54 |  0.003 % |
849.53/849.86	c |   1203754 |     180    15300   107100 |    76114    68307     54 |  0.003 % |
850.13/850.45	c |   1204477 |     180    15300   107100 |    76114    69030     54 |  0.003 % |
850.83/851.13	c |   1205269 |     180    15300   107100 |    76114    69822     54 |  0.003 % |
851.53/851.89	c |   1206140 |     180    15300   107100 |    76114    70693     54 |  0.003 % |
852.33/852.63	c |   1207098 |     180    15300   107100 |    76114    71651     54 |  0.003 % |
853.13/853.47	c |   1208151 |     180    15300   107100 |    76114    72704     54 |  0.003 % |
853.93/854.26	c |   1209309 |     180    15300   107100 |    76114    73862     54 |  0.003 % |
854.93/855.21	c |   1210582 |     180    15300   107100 |    74554    64310     54 |  0.003 % |
855.93/856.20	c |   1211983 |     180    15300   107100 |    74554    65711     54 |  0.003 % |
856.93/857.24	c |   1213523 |     180    15300   107100 |    74554    67251     54 |  0.003 % |
858.13/858.47	c |   1215217 |     180    15300   107100 |    74554    68945     54 |  0.003 % |
859.53/859.85	c |   1217080 |     180    15300   107100 |    74554    70808     54 |  0.003 % |
861.03/861.31	c |   1219131 |     180    15300   107100 |    74554    72859     54 |  0.003 % |
862.53/862.89	c |   1221384 |     180    15300   107100 |    73728    65248     54 |  0.003 % |
864.23/864.51	c |   1223865 |     180    15300   107100 |    73728    67729     54 |  0.003 % |
866.03/866.35	c |   1226591 |     180    15300   107100 |    73728    70455     54 |  0.003 % |
868.23/868.56	c |   1229588 |     180    15300   107100 |    73728    73452     54 |  0.003 % |
870.52/870.89	c |   1232889 |     180    15300   107100 |    64648    59483     54 |  0.003 % |
872.72/873.05	c |   1236516 |     180    15300   107100 |    64648    63110     54 |  0.003 % |
875.33/875.62	c |   1240504 |     180    15300   107100 | 2147483647    60625     54 |  0.003 % |
878.32/878.60	c |   1244889 |     180    15300   107100 | 2147483647    65010     54 |  0.003 % |
881.72/882.09	c |   1249712 |     180    15300   107100 | 2147483647    69833     54 |  0.003 % |
885.52/885.85	c |   1255018 |     180    15300   107100 |    70121    66853     54 |  0.003 % |
890.12/890.47	c |   1260853 |     180    15300   107100 |    62829    55613     54 |  0.003 % |
894.32/894.65	c |   1267271 |     180    15300   107100 |    62829    62031     55 |  0.003 % |
898.61/898.99	c |   1274331 |     180    15300   107100 | 2147483647    62800     55 |  0.003 % |
903.82/904.20	c |   1282095 |     180    15300   107100 | 2147483647    70564     55 |  0.003 % |
911.41/911.72	c |   1290635 |     180    15300   107100 |    78469    66856     55 |  0.003 % |
918.91/919.22	c |   1300031 |     180    15300   107100 |    76221    76252     55 |  0.003 % |
926.31/926.70	c |   1310366 |     180    15300   107100 |    73992    63507     55 |  0.003 % |
934.61/934.99	c |   1321734 |     180    15300   107100 |    73141    65152     55 |  0.003 % |
934.71/935.07	c |   1321834 |     180    15300   107100 |    73141    65252     55 |  0.003 % |
934.80/935.15	c |   1321944 |     180    15300   107100 |    73141    65362     55 |  0.003 % |
934.90/935.26	c |   1322066 |     180    15300   107100 |    73141    65484     55 |  0.003 % |
935.10/935.40	c |   1322200 |     180    15300   107100 |    73141    65618     55 |  0.003 % |
935.20/935.53	c |   1322346 |     180    15300   107100 |    73141    65764     55 |  0.003 % |
935.30/935.66	c |   1322506 |     180    15300   107100 |    73141    65924     55 |  0.003 % |
935.50/935.84	c |   1322685 |     180    15300   107100 |    73141    66103     55 |  0.003 % |
935.60/935.99	c |   1322878 |     180    15300   107100 |    73141    66296     55 |  0.003 % |
935.81/936.15	c |   1323092 |     180    15300   107100 |    73141    66510     55 |  0.003 % |
936.00/936.37	c |   1323326 |     180    15300   107100 |    73141    66744     55 |  0.003 % |
936.30/936.63	c |   1323584 |     180    15300   107100 |    73141    67002     55 |  0.003 % |
936.50/936.86	c |   1323866 |     180    15300   107100 |    73141    67284     55 |  0.003 % |
936.70/937.09	c |   1324175 |     180    15300   107100 |    73141    67593     55 |  0.003 % |
937.00/937.34	c |   1324515 |     180    15300   107100 |    73141    67933     55 |  0.003 % |
937.30/937.67	c |   1324891 |     180    15300   107100 |    73141    68309     55 |  0.003 % |
937.70/938.02	c |   1325303 |     180    15300   107100 |    73141    68721     55 |  0.003 % |
938.01/938.39	c |   1325752 |     180    15300   107100 |    73141    69170     55 |  0.003 % |
938.40/938.79	c |   1326245 |     180    15300   107100 |    73141    69663     55 |  0.003 % |
938.90/939.22	c |   1326788 |     180    15300   107100 |    73141    70206     55 |  0.003 % |
939.30/939.68	c |   1327384 |     180    15300   107100 |    73141    70802     55 |  0.003 % |
939.80/940.18	c |   1328040 |     180    15300   107100 |    73141    71458     55 |  0.003 % |
940.50/940.81	c |   1328760 |     180    15300   107100 |    73141    72178     55 |  0.003 % |
941.10/941.43	c |   1329552 |     180    15300   107100 |    73141    72970     55 |  0.003 % |
941.90/942.27	c |   1330424 |     180    15300   107100 |    62469    53527     54 |  0.003 % |
942.50/942.89	c |   1331383 |     180    15300   107100 |    62469    54486     54 |  0.003 % |
943.20/943.54	c |   1332436 |     180    15300   107100 |    62469    55539     54 |  0.003 % |
943.80/944.16	c |   1333595 |     180    15300   107100 |    62469    56698     54 |  0.003 % |
944.80/945.14	c |   1334868 |     180    15300   107100 |    62469    57971     54 |  0.003 % |
945.70/946.08	c |   1336269 |     180    15300   107100 |    62469    59372     54 |  0.003 % |
946.60/946.95	c |   1337809 |     180    15300   107100 |    62469    60912     54 |  0.003 % |
947.70/948.06	c |   1339503 |     180    15300   107100 |    62469    56352     54 |  0.003 % |
949.00/949.35	c |   1341366 |     180    15300   107100 | 2147483647    58215     54 |  0.003 % |
950.40/950.71	c |   1343416 |     180    15300   107100 | 2147483647    60265     54 |  0.003 % |
951.90/952.24	c |   1345671 |     180    15300   107100 | 2147483647    62520     54 |  0.003 % |
953.80/954.15	c |   1348151 |     180    15300   107100 | 2147483647    65000     54 |  0.003 % |
955.79/956.19	c |   1350876 |     180    15300   107100 |    66850    60747     54 |  0.003 % |
957.70/958.03	c |   1353874 |     180    15300   107100 |    66850    63745     54 |  0.003 % |
959.90/960.25	c |   1357170 |     180    15300   107100 |    66850    60348     54 |  0.003 % |
962.10/962.46	c |   1360795 |     180    15300   107100 | 2147483647    63973     54 |  0.003 % |
964.59/964.99	c |   1364782 |     180    15300   107100 | 2147483647    67960     54 |  0.003 % |
967.59/967.96	c |   1369167 |     180    15300   107100 | 2147483647    72345     54 |  0.003 % |
970.89/971.23	c |   1373990 |     180    15300   107100 |    73181    69255     54 |  0.003 % |
974.79/975.10	c |   1379297 |     180    15300   107100 |    73181    66391     54 |  0.003 % |
978.70/979.01	c |   1385134 |     180    15300   107100 |    67097    64800     54 |  0.003 % |
983.00/983.35	c |   1391552 |     180    15300   107100 | 2147483647    64314     54 |  0.003 % |
987.79/988.11	c |   1398611 |     180    15300   107100 | 2147483647    71373     54 |  0.003 % |
993.19/993.52	c |   1406375 |     180    15300   107100 |    72763    69721     54 |  0.003 % |
999.19/999.59	c |   1414916 |     180    15300   107100 |    64292    61299     54 |  0.003 % |
1005.09/1005.41	c |   1424311 |     180    15300   107100 | 2147483647    64256     54 |  0.003 % |
1012.69/1013.09	c |   1434647 |     180    15300   107100 | 2147483647    74592     54 |  0.003 % |
1021.78/1022.15	c |   1446014 |     180    15300   107100 |    79945    74195     54 |  0.003 % |
1030.58/1030.94	c |   1458516 |     180    15300   107100 |    78181    74620     55 |  0.003 % |
1030.68/1031.04	c |   1458617 |     180    15300   107100 |    78181    74721     55 |  0.003 % |
1030.78/1031.14	c |   1458728 |     180    15300   107100 |    78181    74832     55 |  0.003 % |
1030.88/1031.26	c |   1458850 |     180    15300   107100 |    78181    74954     55 |  0.003 % |
1030.98/1031.39	c |   1458983 |     180    15300   107100 |    78181    75087     55 |  0.003 % |
1031.18/1031.52	c |   1459129 |     180    15300   107100 |    78181    75233     55 |  0.003 % |
1031.28/1031.65	c |   1459289 |     180    15300   107100 |    78181    75393     55 |  0.003 % |
1031.48/1031.81	c |   1459465 |     180    15300   107100 |    78181    75569     55 |  0.003 % |
1031.68/1032.00	c |   1459659 |     180    15300   107100 |    78181    75763     55 |  0.003 % |
1031.88/1032.20	c |   1459871 |     180    15300   107100 |    78181    75975     55 |  0.003 % |
1032.08/1032.47	c |   1460105 |     180    15300   107100 |    76106    64410     55 |  0.003 % |
1032.28/1032.66	c |   1460361 |     180    15300   107100 |    76106    64666     55 |  0.003 % |
1032.48/1032.84	c |   1460643 |     180    15300   107100 |    76106    64948     55 |  0.003 % |
1032.68/1033.06	c |   1460952 |     180    15300   107100 |    76106    65257     55 |  0.003 % |
1032.98/1033.32	c |   1461292 |     180    15300   107100 |    76106    65597     55 |  0.003 % |
1033.18/1033.59	c |   1461665 |     180    15300   107100 |    76106    65970     55 |  0.003 % |
1033.48/1033.87	c |   1462074 |     180    15300   107100 |    76106    66379     55 |  0.003 % |
1033.98/1034.30	c |   1462524 |     180    15300   107100 |    76106    66829     55 |  0.003 % |
1034.28/1034.67	c |   1463018 |     180    15300   107100 |    76106    67323     55 |  0.003 % |
1034.68/1035.09	c |   1463560 |     180    15300   107100 |    76106    67865     55 |  0.003 % |
1035.28/1035.60	c |   1464158 |     180    15300   107100 |    76106    68463     55 |  0.003 % |
1035.68/1036.07	c |   1464813 |     180    15300   107100 |    76106    69118     55 |  0.003 % |
1036.18/1036.54	c |   1465534 |     180    15300   107100 |    76106    69839     55 |  0.003 % |
1036.88/1037.22	c |   1466327 |     180    15300   107100 |    76106    70632     55 |  0.003 % |
1037.47/1037.86	c |   1467198 |     180    15300   107100 |    76106    71503     55 |  0.003 % |
1038.27/1038.67	c |   1468157 |     180    15300   107100 |    76106    72462     55 |  0.003 % |
1039.27/1039.65	c |   1469212 |     180    15300   107100 |    76106    73517     55 |  0.003 % |
1040.37/1040.71	c |   1470370 |     180    15300   107100 |    74307    62913     55 |  0.003 % |
1041.17/1041.51	c |   1471644 |     180    15300   107100 |    74307    64187     55 |  0.003 % |
1042.17/1042.56	c |   1473044 |     180    15300   107100 |    74307    65587     55 |  0.003 % |
1043.48/1043.90	c |   1474584 |     180    15300   107100 |    74307    67127     55 |  0.003 % |
1044.87/1045.24	c |   1476278 |     180    15300   107100 |    74307    68821     55 |  0.003 % |
1046.37/1046.71	c |   1478141 |     180    15300   107100 |    74307    70684     54 |  0.003 % |
1047.97/1048.34	c |   1480190 |     180    15300   107100 |    72543    61844     54 |  0.003 % |
1049.37/1049.76	c |   1482444 |     180    15300   107100 |    72543    64098     55 |  0.003 % |
1050.87/1051.29	c |   1484922 |     180    15300   107100 |    72543    66576     54 |  0.003 % |
1052.77/1053.19	c |   1487648 |     180    15300   107100 |    72543    69302     55 |  0.003 % |
1054.87/1055.27	c |   1490646 |     180    15300   107100 |    71655    63224     54 |  0.003 % |
1056.97/1057.30	c |   1493943 |     180    15300   107100 |    71655    66521     54 |  0.003 % |
1059.37/1059.71	c |   1497570 |     180    15300   107100 |    71655    70148     54 |  0.003 % |
1062.36/1062.70	c |   1501557 |     180    15300   107100 |    64375    58389     54 |  0.003 % |
1065.26/1065.60	c |   1505942 |     180    15300   107100 |    64375    62774     54 |  0.003 % |
1068.16/1068.60	c |   1510765 |     180    15300   107100 | 2147483647    61031     54 |  0.003 % |
1071.56/1071.91	c |   1516070 |     180    15300   107100 | 2147483647    66336     54 |  0.003 % |
1075.66/1076.05	c |   1521905 |     180    15300   107100 |    70266    64540     54 |  0.003 % |
1080.06/1080.49	c |   1528323 |     180    15300   107100 |    70266    63184     54 |  0.003 % |
1084.66/1085.03	c |   1535382 |     180    15300   107100 |    64861    63107     54 |  0.003 % |
1089.56/1089.92	c |   1543147 |     180    15300   107100 | 2147483647    64378     54 |  0.003 % |
1095.35/1095.77	c |   1551688 |     180    15300   107100 | 2147483647    72919     54 |  0.003 % |
1102.76/1103.16	c |   1561082 |     180    15300   107100 |    81231    70466     54 |  0.003 % |
1110.96/1111.36	c |   1571416 |     180    15300   107100 |    79384    66887     54 |  0.003 % |
1118.96/1119.32	c |   1582782 |     180    15300   107100 |    75471    66408     54 |  0.003 % |
1127.75/1128.16	c |   1595284 |     180    15300   107100 |    73629    68632     54 |  0.003 % |
1137.95/1138.32	c |   1609036 |     180    15300   107100 |    73349    72653     55 |  0.003 % |
1138.06/1138.41	c |   1609136 |     180    15300   107100 |    73349    72753     55 |  0.003 % |
1138.16/1138.52	c |   1609246 |     180    15300   107100 |    73349    72863     55 |  0.003 % |
1138.25/1138.62	c |   1609368 |     180    15300   107100 |    73349    72985     55 |  0.003 % |
1138.35/1138.72	c |   1609502 |     180    15300   107100 |    73349    73119     55 |  0.003 % |
1138.45/1138.85	c |   1609648 |     180    15300   107100 |    73349    73265     55 |  0.003 % |
1138.55/1138.99	c |   1609808 |     180    15300   107100 |    73349    73425     55 |  0.003 % |
1138.75/1139.18	c |   1609984 |     180    15300   107100 |    73349    63824     55 |  0.003 % |
1138.95/1139.37	c |   1610177 |     180    15300   107100 |    63840    55592     55 |  0.003 % |
1139.15/1139.52	c |   1610390 |     180    15300   107100 |    63840    55805     55 |  0.003 % |
1139.25/1139.67	c |   1610623 |     180    15300   107100 |    63840    56038     55 |  0.003 % |
1139.45/1139.83	c |   1610882 |     180    15300   107100 |    63840    56297     55 |  0.003 % |
1139.65/1140.01	c |   1611164 |     180    15300   107100 |    63840    56579     55 |  0.003 % |
1139.75/1140.19	c |   1611473 |     180    15300   107100 |    63840    56888     55 |  0.003 % |
1139.95/1140.39	c |   1611813 |     180    15300   107100 |    63840    57228     55 |  0.003 % |
1140.25/1140.63	c |   1612187 |     180    15300   107100 |    63840    57602     55 |  0.003 % |
1140.55/1140.90	c |   1612596 |     180    15300   107100 |    63840    58011     55 |  0.003 % |
1140.85/1141.22	c |   1613046 |     180    15300   107100 |    63840    58461     55 |  0.003 % |
1141.15/1141.58	c |   1613541 |     180    15300   107100 |    63840    58956     55 |  0.003 % |
1141.55/1141.97	c |   1614083 |     180    15300   107100 |    63840    59498     55 |  0.003 % |
1141.95/1142.38	c |   1614679 |     180    15300   107100 |    63840    60094     55 |  0.003 % |
1142.35/1142.76	c |   1615334 |     180    15300   107100 |    63840    60749     55 |  0.003 % |
1142.85/1143.21	c |   1616054 |     180    15300   107100 |    63840    61469     55 |  0.003 % |
1143.35/1143.72	c |   1616847 |     180    15300   107100 |    63840    62262     55 |  0.003 % |
1143.95/1144.31	c |   1617719 |     180    15300   107100 |    63840    63134     55 |  0.003 % |
1144.55/1144.99	c |   1618677 |     180    15300   107100 |    63840    57638     55 |  0.003 % |
1145.15/1145.59	c |   1619731 |     180    15300   107100 |    63840    58692     55 |  0.003 % |
1145.85/1146.25	c |   1620890 |     180    15300   107100 | 2147483647    59851     55 |  0.003 % |
1146.65/1147.00	c |   1622163 |     180    15300   107100 | 2147483647    61124     55 |  0.003 % |
1147.45/1147.81	c |   1623566 |     180    15300   107100 | 2147483647    62527     55 |  0.003 % |
1148.85/1149.23	c |   1625108 |     180    15300   107100 | 2147483647    64069     55 |  0.003 % |
1150.15/1150.55	c |   1626802 |     180    15300   107100 | 2147483647    65763     55 |  0.003 % |
1151.45/1151.81	c |   1628667 |     180    15300   107100 | 2147483647    67628     55 |  0.003 % |
1152.75/1153.11	c |   1630718 |     180    15300   107100 | 2147483647    69679     55 |  0.003 % |
1154.15/1154.52	c |   1632973 |     180    15300   107100 | 2147483647    71934     55 |  0.003 % |
1156.05/1156.47	c |   1635452 |     180    15300   107100 | 2147483647    74413     55 |  0.003 % |
1158.15/1158.52	c |   1638178 |     180    15300   107100 | 2147483647    77139     55 |  0.003 % |
1160.54/1160.99	c |   1641175 |     180    15300   107100 |    78962    68997     55 |  0.003 % |
1163.35/1163.75	c |   1644473 |     180    15300   107100 |    78962    72295     55 |  0.003 % |
1166.14/1166.57	c |   1648099 |     180    15300   107100 |    78962    75921     55 |  0.003 % |
1169.74/1170.10	c |   1652086 |     180    15300   107100 |    77822    67707     54 |  0.003 % |
1173.14/1173.55	c |   1656472 |     180    15300   107100 |    77822    72093     54 |  0.003 % |
1176.84/1177.20	c |   1661295 |     180    15300   107100 |    75621    65333     54 |  0.003 % |
1180.34/1180.77	c |   1666603 |     180    15300   107100 |    75621    70641     54 |  0.003 % |
1184.43/1184.86	c |   1672438 |     180    15300   107100 |    74038    66951     54 |  0.003 % |
1189.13/1189.52	c |   1678856 |     180    15300   107100 |    74038    73369     54 |  0.003 % |
1193.53/1193.98	c |   1685916 |     180    15300   107100 |    65426    63381     54 |  0.003 % |
1198.73/1199.14	c |   1693683 |     180    15300   107100 | 2147483647    64597     54 |  0.003 % |
1200.03/1200.40	HOME/SatELiteGTI: line 36:  2439 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-1832591-1242784937/watcher-1832591-1242784937 -o /tmp/evaluation-result-1832591-1242784937/solver-1832591-1242784937 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832591-1242784937.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2433
/proc/meminfo: memFree=1905904/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306526341 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2433/statm: 1339 237 197 169 0 50 0

[startup+0.0913279 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2433
/proc/meminfo: memFree=1905904/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.101328 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2433
/proc/meminfo: memFree=1905904/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301354 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2433
/proc/meminfo: memFree=1905904/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701405 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2433
/proc/meminfo: memFree=1905904/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.5015 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1902368/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=4828 CPUtime=1.42
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 969 0 0 0 141 1 0 0 25 0 1 0 306526347 4943872 955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 1207 955 76 171 0 1034 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10184

[startup+3.10169 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1900704/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=7008 CPUtime=3.03
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 1508 0 0 0 301 2 0 0 25 0 1 0 306526347 7176192 1494 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 1752 1494 76 171 0 1579 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12364

[startup+6.30108 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1897272/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=9760 CPUtime=6.22
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 2192 0 0 0 619 3 0 0 25 0 1 0 306526347 9994240 2178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 2440 2178 76 171 0 2267 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15116

[startup+12.7029 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1893200/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=13540 CPUtime=12.62
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 3130 0 0 0 1258 4 0 0 25 0 1 0 306526347 13864960 3116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 3385 3116 76 171 0 3212 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 18896

[startup+25.5014 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1887888/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=18684 CPUtime=25.41
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 4393 0 0 0 2535 6 0 0 25 0 1 0 306526347 19132416 4379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 4671 4379 76 171 0 4498 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24040

[startup+51.1016 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1884752/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=21736 CPUtime=51.01
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 5156 0 0 0 5094 7 0 0 25 0 1 0 306526347 22257664 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 5434 5142 76 171 0 5261 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 27092

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1884688/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=21736 CPUtime=102.19
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 5156 0 0 0 10212 7 0 0 25 0 1 0 306526347 22257664 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 5434 5142 76 171 0 5261 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 27092

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1884624/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=21736 CPUtime=162.18
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 5156 0 0 0 16209 9 0 0 25 0 1 0 306526347 22257664 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 5434 5142 76 171 0 5261 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 27092

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1883728/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=22524 CPUtime=222.16
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 5368 0 0 0 22206 10 0 0 25 0 1 0 306526347 23064576 5354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 5631 5354 76 171 0 5458 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 27880

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1882256/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=23796 CPUtime=282.15
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 5691 0 0 0 28204 11 0 0 25 0 1 0 306526347 24367104 5677 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 5949 5677 76 171 0 5776 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 29152

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1881952/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=23916 CPUtime=342.12
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 5752 0 0 0 34201 11 0 0 25 0 1 0 306526347 24489984 5714 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 5979 5714 76 171 0 5806 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 29272

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1880928/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=24988 CPUtime=402.11
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6012 0 0 0 40199 12 0 0 25 0 1 0 306526347 25587712 5974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6247 5974 76 171 0 6074 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 30344

[startup+462.302 s]

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

[pid=2439] ppid=2433 vsize=24988 CPUtime=462.09
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6012 0 0 0 46197 12 0 0 25 0 1 0 306526347 25587712 5974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6247 5974 76 171 0 6074 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 30344

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1880672/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=24988 CPUtime=522.08
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6012 0 0 0 52195 13 0 0 25 0 1 0 306526347 25587712 5974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6247 5974 76 171 0 6074 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 30344

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1880544/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=24988 CPUtime=582.06
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6013 0 0 0 58193 13 0 0 25 0 1 0 306526347 25587712 5975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6247 5975 76 171 0 6074 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 30344

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1880480/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=24988 CPUtime=642.05
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6013 0 0 0 64191 14 0 0 25 0 1 0 306526347 25587712 5975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6247 5975 76 171 0 6074 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 30344

[startup+702.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1880416/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=24988 CPUtime=702.03
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6013 0 0 0 70189 14 0 0 25 0 1 0 306526347 25587712 5975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6247 5975 76 171 0 6074 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 30344

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1879712/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=25516 CPUtime=762.02
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6150 0 0 0 76187 15 0 0 25 0 1 0 306526347 26128384 6112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6379 6112 76 171 0 6206 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 30872

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1879456/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=25648 CPUtime=821.99
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6180 0 0 0 82184 15 0 0 25 0 1 0 306526347 26263552 6142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6412 6142 76 171 0 6239 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 31004

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1879264/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=25784 CPUtime=881.98
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6212 0 0 0 88182 16 0 0 25 0 1 0 306526347 26402816 6174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6446 6174 76 171 0 6273 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 31140

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1879200/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=25784 CPUtime=941.96
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6212 0 0 0 94180 16 0 0 25 0 1 0 306526347 26402816 6174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6446 6174 76 171 0 6273 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 31140

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1879136/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=25784 CPUtime=1001.95
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6212 0 0 0 100178 17 0 0 25 0 1 0 306526347 26402816 6174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6446 6174 76 171 0 6273 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 31140

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1878688/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=26056 CPUtime=1061.92
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6274 0 0 0 106175 17 0 0 25 0 1 0 306526347 26681344 6236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6514 6236 76 171 0 6341 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 31412

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1878368/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=26340 CPUtime=1121.92
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6342 0 0 0 112174 18 0 0 25 0 1 0 306526347 26972160 6304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6585 6304 76 171 0 6412 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 31696

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1878240/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=26476 CPUtime=1181.9
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6365 0 0 0 118172 18 0 0 25 0 1 0 306526347 27111424 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6619 6327 76 171 0 6446 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 31832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2439
/proc/meminfo: memFree=1878176/2055920 swapFree=4179796/4192956
[pid=2433] ppid=2431 vsize=5356 CPUtime=0.04
/proc/2433/stat : 2433 (SatELiteGTI) S 2431 2433 1781 0 -1 4194304 336 708 0 0 0 0 4 0 16 0 1 0 306526341 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2433/statm: 1339 239 197 169 0 50 0
[pid=2439] ppid=2433 vsize=26476 CPUtime=1199.99
/proc/2439/stat : 2439 (minisat_static) R 2433 2433 1781 0 -1 4194304 6365 0 0 0 119981 18 0 0 25 0 1 0 306526347 27111424 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/2439/statm: 6619 6327 76 171 0 6446 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 31832

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.07
CPU user time (s): 1199.87
CPU system time (s): 0.202969
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 31832

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

runsolver used 1.40878 second user time and 3.04654 second system time

The end

Launcher Data

Begin job on node33 at 2009-05-20 04:02:17
IDJOB=1832591
IDBENCH=70259
IDSOLVER=671
FILE ID=node33/1832591-1242784937
PBS_JOBID= 9322332
Free space on /tmp= 66308 MiB

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

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

MD5SUM BENCH= 298c47e7c897264ddc867921f7476e46
RANDOM SEED=205663090

node33.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.212
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.212
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:       1906448 kB
Buffers:         23920 kB
Cached:          77816 kB
SwapCached:       7336 kB
Active:          30652 kB
Inactive:        80032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1906448 kB
SwapTotal:     4192956 kB
SwapFree:      4179796 kB
Dirty:            4588 kB
Writeback:           0 kB
Mapped:          14040 kB
Slab:            24864 kB
Committed_AS:  1043160 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66304 MiB
End job on node33 at 2009-05-20 04:22:19