Trace number 1821383

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 r-2009-03-18? (TO) 1200.03 1199.93

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
MD5SUMe7c28f6a200a1c1912fbaacfb3572515
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark538.04
Satisfiable
(Un)Satisfiability was proved
Number of variables34656
Number of clauses174528
Sum of the clauses size503708
Maximum clause length9
Minimum clause length1
Number of clauses of size 14424
Number of clauses of size 242805
Number of clauses of size 3103458
Number of clauses of size 416481
Number of clauses of size 57216
Number of clauses of size over 5144

Solver Data

0.00/0.00	c Parsing...
0.13/0.15	c ==============================================================================
0.13/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.13/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.13/0.15	c ==============================================================================
0.13/0.15	c |         0 |  163622   479140 |   49086       0        0     nan |  0.000 % |
1.13/1.19	c |         0 |   73221   247132 |      --       0       --      -- |     --   | -84687/-214858
1.13/1.19	c ==============================================================================
1.13/1.19	c Result  :   #vars: 8333   #clauses: 73221   #literals: 247132
1.13/1.19	c CPU time:   1.16 s
1.13/1.19	c ==============================================================================
1.23/1.28	c This is MiniSat 2.0 beta
1.23/1.28	c WARNING: for repeatability, setting FPU to use double precision
1.23/1.28	c ============================[ Problem Statistics ]=============================
1.23/1.28	c |                                                                             |
1.23/1.28	c |  Number of variables:  8333                                                 |
1.23/1.28	c |  Number of clauses:    73221                                                |
1.29/1.33	c |  Parsing time:         0.05         s                                       |
1.29/1.33	c ============================[ Search Statistics ]==============================
1.29/1.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.33	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.29/1.33	c ===============================================================================
1.29/1.33	c |         0 |    8333    73221   247132 |    24407        0    nan |  0.000 % |
1.29/1.35	c |       513 |    8332    73221   247132 |    24407      512     11 |  0.012 % |
1.29/1.38	c |      1026 |    8332    73221   247132 |    24407     1025     13 |  0.012 % |
1.29/1.41	c |      1539 |    8331    73221   247132 |    24407     1537     13 |  0.036 % |
1.29/1.46	c |      2563 |    8331    73221   247132 |    24407     2561     13 |  0.036 % |
1.29/1.49	c |      3075 |    8330    72780   244975 |    24407     3072     14 |  0.036 % |
1.29/1.52	c |      3588 |    8330    72780   244975 |    24407     3585     14 |  0.036 % |
1.29/1.59	c |      4612 |    8330    72780   244975 |    24407     4609     14 |  0.036 % |
1.29/1.72	c |      6660 |    8330    72780   244975 |    24407     6657     15 |  0.036 % |
1.29/1.75	c |      7172 |    8330    72780   244975 |    24407     7169     15 |  0.036 % |
1.29/1.80	c |      7685 |    8330    72780   244975 |    24407     7682     15 |  0.036 % |
1.29/1.88	c |      8713 |    8330    72780   244975 |    24407     8710     15 |  0.036 % |
1.29/1.92	c |      9227 |    8330    72780   244975 |    24407     9224     16 |  0.036 % |
1.29/1.97	c |      9739 |    8330    72780   244975 |    24407     9736     16 |  0.036 % |
1.29/2.05	c |     10763 |    8330    72780   244975 | 2147483647    10760     16 |  0.036 % |
2.22/2.25	c |     12811 |    8330    72780   244975 | 2147483647    12808     16 |  0.036 % |
2.72/2.72	c |     16908 |    8330    72780   244975 | 2147483647    16905     17 |  0.036 % |
2.72/2.78	c |     17420 |    8330    72780   244975 | 2147483647    17417     17 |  0.036 % |
2.82/2.84	c |     17932 |    8330    72780   244975 | 2147483647    17929     17 |  0.036 % |
2.92/2.97	c |     18957 |    8330    72780   244975 | 2147483647    18954     17 |  0.036 % |
3.02/3.04	c |     19469 |    8330    72780   244975 | 2147483647    19466     17 |  0.036 % |
3.12/3.11	c |     19982 |    8330    72780   244975 | 2147483647    19979     17 |  0.036 % |
3.22/3.23	c |     21006 |    8330    72780   244975 | 2147483647    21003     17 |  0.036 % |
3.42/3.47	c |     23054 |    8330    72780   244975 | 2147483647    23051     17 |  0.036 % |
3.52/3.53	c |     23566 |    8330    72780   244975 | 2147483647    23563     17 |  0.036 % |
3.52/3.60	c |     24078 |    8330    72780   244975 | 2147483647    24075     17 |  0.036 % |
3.72/3.78	c |     25102 |    8330    72780   244975 | 2147483647    25099     17 |  0.036 % |
3.82/3.87	c |     25614 |    8330    72780   244975 | 2147483647    25611     17 |  0.036 % |
3.92/3.97	c |     26127 |    8330    72780   244975 | 2147483647    26124     17 |  0.036 % |
4.12/4.19	c |     27151 |    8330    72780   244975 | 2147483647    27148     17 |  0.036 % |
4.52/4.55	c |     29199 |    8330    72780   244975 | 2147483647    29196     17 |  0.036 % |
5.42/5.47	c |     33296 |    8330    72780   244975 | 2147483647    33293     18 |  0.036 % |
7.52/7.55	c |     41488 |    8330    72780   244975 |    39998    36042     18 |  0.036 % |
7.62/7.68	c |     42001 |    8330    72780   244975 |    39998    36555     18 |  0.036 % |
7.72/7.81	c |     42513 |    8330    72780   244975 |    39998    37067     18 |  0.036 % |
8.02/8.08	c |     43537 |    8330    72780   244975 |    39998    38091     18 |  0.036 % |
8.12/8.19	c |     44051 |    8330    72780   244975 |    39998    38605     18 |  0.036 % |
8.22/8.31	c |     44563 |    8330    72780   244975 |    39998    39117     18 |  0.036 % |
8.62/8.62	c |     45590 |    8330    72780   244975 |    39998    40144     18 |  0.036 % |
9.22/9.23	c |     47641 |    8330    72780   244975 |    39998    35141     18 |  0.036 % |
9.32/9.36	c |     48154 |    8330    72780   244975 |    39998    35654     18 |  0.036 % |
9.52/9.52	c |     48666 |    8330    72780   244975 |    39998    36166     18 |  0.036 % |
9.72/9.80	c |     49692 |    8330    72780   244975 |    39998    37192     18 |  0.036 % |
9.92/9.96	c |     50204 |    8330    72780   244975 |    37500    37704     18 |  0.036 % |
10.02/10.10	c |     50717 |    8330    72780   244975 |    37500    31285     18 |  0.036 % |
10.32/10.32	c |     51743 |    8330    72780   244975 |    37500    32311     18 |  0.036 % |
10.82/10.81	c |     53796 |    8330    72780   244975 |    37500    34364     18 |  0.036 % |
11.72/11.76	c |     57894 |    8330    72780   244975 |    37500    32854     18 |  0.036 % |
11.82/11.84	c |     58406 |    8330    72780   244975 |    37500    33366     18 |  0.036 % |
11.92/11.96	c |     58920 |    8330    72780   244975 |    37500    33880     18 |  0.036 % |
12.12/12.15	c |     59947 |    8330    72780   244975 |    37500    34907     18 |  0.036 % |
12.22/12.26	c |     60459 |    8330    72780   244975 |    34960    35419     18 |  0.036 % |
12.42/12.44	c |     60971 |    8330    72780   244975 |    34960    31162     18 |  0.036 % |
12.52/12.59	c |     61996 |    8330    72780   244975 |    34960    32187     18 |  0.036 % |
13.02/13.04	c |     64044 |    8330    72780   244975 |    34960    34235     18 |  0.036 % |
13.12/13.13	c |     64556 |    8330    72780   244975 |    34960    34747     18 |  0.036 % |
13.22/13.28	c |     65068 |    8330    72780   244975 |    34960    35259     18 |  0.036 % |
13.52/13.57	c |     66093 |    8330    72780   244975 |    34960    31717     18 |  0.036 % |
13.72/13.73	c |     66605 |    8330    72780   244975 |    34960    32229     18 |  0.036 % |
13.82/13.85	c |     67118 |    8330    72780   244975 |    34960    32742     18 |  0.036 % |
14.12/14.14	c |     68142 |    8330    72780   244975 |    34960    33766     18 |  0.036 % |
14.62/14.62	c |     70190 |    8330    72780   244975 |    30981    31171     18 |  0.036 % |
15.62/15.61	c |     74287 |    8330    72780   244975 |    30981    31218     18 |  0.036 % |
17.82/17.87	c |     82479 |    8330    72780   244975 |    30157    29449     18 |  0.036 % |
22.72/22.75	c |     98864 |    8330    72780   244975 | 2147483647    36689     19 |  0.036 % |
22.82/22.90	c |     99379 |    8330    72780   244975 | 2147483647    37204     19 |  0.036 % |
23.02/23.03	c |     99893 |    8330    72780   244975 | 2147483647    37718     19 |  0.036 % |
23.32/23.31	c |    100918 |    8330    72780   244975 | 2147483647    38743     19 |  0.036 % |
23.42/23.44	c |    101430 |    8330    72780   244975 | 2147483647    39255     20 |  0.036 % |
23.52/23.53	c |    101942 |    8330    72780   244975 | 2147483647    39767     20 |  0.036 % |
23.82/23.84	c |    102967 |    8330    72780   244975 | 2147483647    40792     20 |  0.036 % |
24.52/24.51	c |    105015 |    8330    72780   244975 | 2147483647    42840     20 |  0.036 % |
24.52/24.59	c |    105527 |    8330    72780   244975 | 2147483647    43352     20 |  0.036 % |
24.62/24.70	c |    106042 |    8330    72780   244975 | 2147483647    43867     20 |  0.036 % |
24.82/24.87	c |    107067 |    8330    72780   244975 | 2147483647    44892     20 |  0.036 % |
24.92/24.96	c |    107580 |    8330    72780   244975 | 2147483647    45405     20 |  0.036 % |
25.02/25.07	c |    108092 |    8330    72780   244975 | 2147483647    45917     20 |  0.036 % |
25.22/25.24	c |    109116 |    8330    72780   244975 | 2147483647    46941     19 |  0.036 % |
25.62/25.69	c |    111164 |    8330    72780   244975 |    47825    42781     19 |  0.036 % |
26.52/26.56	c |    115260 |    8330    72780   244975 |    47825    46877     19 |  0.036 % |
26.72/26.71	c |    115772 |    8330    72780   244975 |    47825    47389     19 |  0.036 % |
26.72/26.81	c |    116287 |    8330    72780   244975 |    47825    47904     19 |  0.036 % |
27.02/27.10	c |    117312 |    8330    72780   244975 |    47825    40596     18 |  0.036 % |
27.22/27.24	c |    117824 |    8330    72780   244975 |    47825    41108     18 |  0.036 % |
27.32/27.34	c |    118336 |    8330    72780   244975 |    47825    41620     18 |  0.036 % |
27.62/27.66	c |    119361 |    8330    72780   244975 |    47825    42645     18 |  0.036 % |
28.32/28.31	c |    121409 |    8330    72780   244975 |    43284    37225     17 |  0.036 % |
28.42/28.45	c |    121921 |    8330    72780   244975 |    43284    37737     17 |  0.036 % |
28.52/28.56	c |    122433 |    8330    72780   244975 |    43284    38249     17 |  0.036 % |
28.82/28.88	c |    123458 |    8330    72780   244975 |    43284    39274     17 |  0.036 % |
28.92/28.99	c |    123970 |    8330    72780   244975 |    43284    39786     18 |  0.036 % |
29.12/29.12	c |    124483 |    8330    72780   244975 |    43284    40299     18 |  0.036 % |
29.32/29.40	c |    125509 |    8330    72780   244975 |    43284    41325     18 |  0.036 % |
29.72/29.78	c |    127557 |    8330    72780   244975 |    43284    43373     17 |  0.036 % |
30.82/30.87	c |    131657 |    8330    72780   244975 |    38788    34336     16 |  0.036 % |
33.42/33.50	c |    139849 |    8330    72780   244975 |    38788    35926     17 |  0.036 % |
33.62/33.63	c |    140364 |    8330    72780   244975 |    36077    36441     17 |  0.036 % |
33.82/33.82	c |    140883 |    8330    72780   244975 |    36077    30899     17 |  0.036 % |
34.02/34.05	c |    141908 |    8330    72780   244975 |    36077    31924     17 |  0.036 % |
34.22/34.21	c |    142420 |    8330    72780   244975 |    36077    32436     17 |  0.036 % |
34.32/34.35	c |    142932 |    8330    72780   244975 |    36077    32948     17 |  0.036 % |
34.62/34.65	c |    143958 |    8330    72780   244975 |    36077    33974     17 |  0.036 % |
35.42/35.44	c |    146006 |    8330    72780   244975 |    36077    36022     17 |  0.036 % |
35.62/35.62	c |    146518 |    8330    72780   244975 |    36077    30591     16 |  0.036 % |
35.72/35.79	c |    147031 |    8330    72780   244975 |    36077    31104     16 |  0.036 % |
36.12/36.16	c |    148055 |    8330    72780   244975 |    36077    32128     16 |  0.036 % |
36.32/36.32	c |    148567 |    8330    72780   244975 |    36077    32640     16 |  0.036 % |
36.52/36.57	c |    149079 |    8330    72780   244975 |    36077    33152     16 |  0.036 % |
36.92/36.93	c |    150105 |    8330    72780   244975 |    34073    34178     17 |  0.036 % |
37.62/37.65	c |    152154 |    8330    72780   244975 |    34073    30404     16 |  0.036 % |
39.32/39.37	c |    156252 |    8330    72780   244975 |    34073    28679     16 |  0.036 % |
39.62/39.62	c |    156764 |    8330    72780   244975 |    34073    29191     16 |  0.036 % |
39.72/39.80	c |    157278 |    8330    72780   244975 |    34073    29705     16 |  0.036 % |
40.12/40.15	c |    158304 |    8330    72780   244975 |    34073    30731     16 |  0.036 % |
40.32/40.35	c |    158816 |    8330    72780   244975 |    34073    31243     16 |  0.036 % |
40.52/40.52	c |    159329 |    8330    72780   244975 |    34073    31756     16 |  0.036 % |
40.92/40.91	c |    160353 |    8330    72780   244975 |    32428    27262     15 |  0.036 % |
41.62/41.67	c |    162402 |    8330    72780   244975 |    32428    29311     16 |  0.036 % |
41.82/41.89	c |    162914 |    8330    72780   244975 |    32428    29823     16 |  0.036 % |
42.02/42.07	c |    163426 |    8330    72780   244975 |    32428    30335     16 |  0.036 % |
42.42/42.42	c |    164450 |    8330    72780   244975 |    32428    31359     16 |  0.036 % |
42.52/42.60	c |    164963 |    8330    72780   244975 |    32428    31872     16 |  0.036 % |
42.82/42.83	c |    165479 |    8330    72780   244975 |    32428    32388     16 |  0.036 % |
43.22/43.29	c |    166504 |    8330    72780   244975 |    32428    28114     15 |  0.036 % |
44.02/44.10	c |    168556 |    8330    72780   244975 |    32428    30166     16 |  0.036 % |
45.72/45.78	c |    172652 |    8330    72780   244975 |    31610    29226     15 |  0.036 % |
48.72/48.80	c |    180844 |    8330    72780   244975 |    31544    27554     15 |  0.036 % |
51.72/51.76	c |    197231 |    8328    72492   243834 | 2147483647    26462     17 |  0.060 % |
64.72/64.73	c |    229999 |    8327    72489   243828 |    49233    43192     19 |  0.072 % |
64.82/64.87	c |    230512 |    8327    72489   243828 |    43193    43705     19 |  0.072 % |
65.02/65.04	c |    231024 |    8327    72489   243828 |    43193    36768     18 |  0.072 % |
65.22/65.28	c |    232049 |    8327    72489   243828 |    43193    37793     18 |  0.072 % |
65.42/65.40	c |    232563 |    8327    72489   243828 |    43193    38307     18 |  0.072 % |
65.42/65.47	c |    233075 |    8327    72489   243828 |    43193    38819     18 |  0.072 % |
65.92/65.93	c |    234099 |    8327    72489   243828 |    43193    39843     18 |  0.072 % |
66.52/66.54	c |    236149 |    8327    72489   243828 |    43193    41893     18 |  0.072 % |
66.72/66.76	c |    236661 |    8327    72489   243828 |    43193    42405     18 |  0.072 % |
66.92/66.92	c |    237173 |    8327    72489   243828 |    43193    42917     18 |  0.072 % |
67.22/67.30	c |    238198 |    8327    72489   243828 |    43193    36701     18 |  0.072 % |
67.42/67.46	c |    238710 |    8327    72489   243828 |    43193    37213     18 |  0.072 % |
67.62/67.63	c |    239222 |    8327    72489   243828 |    43193    37725     18 |  0.072 % |
67.92/68.00	c |    240246 |    8327    72489   243828 |    38503    38749     18 |  0.072 % |
68.72/68.74	c |    242294 |    8327    72489   243828 |    38503    34624     17 |  0.072 % |
69.92/69.96	c |    246390 |    8327    72489   243828 |    38503    38720     18 |  0.072 % |
70.12/70.18	c |    246902 |    8327    72489   243828 |    38503    34045     18 |  0.072 % |
70.32/70.32	c |    247414 |    8327    72489   243828 |    38503    34557     18 |  0.072 % |
70.72/70.71	c |    248438 |    8327    72489   243828 |    38503    35581     18 |  0.072 % |
70.82/70.88	c |    248950 |    8327    72489   243828 |    38503    36093     18 |  0.072 % |
71.02/71.02	c |    249462 |    8327    72489   243828 |    38503    36605     18 |  0.072 % |
71.22/71.27	c |    250486 |    8327    72489   243828 |    37143    37629     18 |  0.072 % |
71.82/71.88	c |    252534 |    8327    72489   243828 |    37143    34837     18 |  0.072 % |
72.02/72.02	c |    253046 |    8327    72489   243828 |    37143    35349     18 |  0.072 % |
72.12/72.19	c |    253559 |    8327    72489   243828 |    37143    35862     19 |  0.072 % |
72.42/72.41	c |    254585 |    8312    71067   236225 |    37143    34852     19 |  0.252 % |
72.52/72.57	c |    255097 |    8312    71067   236225 |    37143    35364     19 |  0.252 % |
72.63/72.70	c |    255609 |    8312    71067   236225 |    37143    35876     19 |  0.252 % |
73.02/73.03	c |    256633 |    8312    71067   236225 |    37143    36900     19 |  0.252 % |
73.62/73.70	c |    258681 |    8312    71067   236225 |    37143    34272     19 |  0.252 % |
75.02/75.04	c |    262777 |    8312    71067   236225 |    35593    33961     19 |  0.252 % |
78.02/78.11	c |    270971 |    8312    71067   236225 |    32577    29640     18 |  0.252 % |
78.32/78.32	c |    271483 |    8312    71067   236225 |    32577    30152     18 |  0.252 % |
78.42/78.48	c |    271997 |    8312    71067   236225 |    32577    30666     18 |  0.252 % |
78.72/78.74	c |    273021 |    8312    71067   236225 |    32577    31690     18 |  0.252 % |
78.92/78.93	c |    273534 |    8310    71061   236213 |    32577    32184     18 |  0.276 % |
79.02/79.06	c |    274046 |    8310    71061   236213 |    32577    32696     18 |  0.276 % |
79.42/79.47	c |    275070 |    8310    71061   236213 |    32577    30104     17 |  0.276 % |
80.02/80.06	c |    277120 |    8309    71061   236213 |    32577    32153     18 |  0.288 % |
80.22/80.23	c |    277633 |    8309    71061   236213 |    32577    32666     18 |  0.288 % |
80.42/80.43	c |    278145 |    8309    71058   236207 |    32577    29427     17 |  0.288 % |
80.82/80.84	c |    279169 |    8309    71058   236207 |    32577    30451     17 |  0.288 % |
80.92/81.00	c |    279681 |    8309    71058   236207 |    32577    30963     17 |  0.288 % |
81.12/81.16	c |    280195 |    8309    71058   236207 |    31282    31477     18 |  0.288 % |
81.43/81.48	c |    281219 |    8309    71058   236207 |    31282    28877     17 |  0.288 % |
82.12/82.17	c |    283267 |    8309    71058   236207 |    31282    30925     17 |  0.288 % |
83.52/83.57	c |    287365 |    8309    71058   236207 |    31282    31829     17 |  0.288 % |
83.72/83.77	c |    287879 |    8309    71058   236207 |    31282    28731     17 |  0.288 % |
83.82/83.90	c |    288391 |    8309    71058   236207 |    31282    29243     17 |  0.288 % |
84.22/84.26	c |    289419 |    8309    71058   236207 |    31282    30271     17 |  0.288 % |
84.32/84.38	c |    289932 |    8309    71058   236207 |    31282    30784     17 |  0.288 % |
84.52/84.52	c |    290444 |    8309    71058   236207 |    30852    31296     17 |  0.288 % |
84.82/84.86	c |    291468 |    8309    71058   236207 |    30852    28738     17 |  0.288 % |
85.42/85.49	c |    293517 |    8309    71058   236207 |    30852    30787     17 |  0.288 % |
85.62/85.70	c |    294029 |    8309    71058   236207 |    30852    27711     17 |  0.288 % |
85.83/85.84	c |    294543 |    8309    71058   236207 |    30852    28225     17 |  0.288 % |
86.12/86.19	c |    295568 |    8309    71058   236207 |    30852    29250     17 |  0.288 % |
86.32/86.38	c |    296082 |    8309    71058   236207 |    30852    29764     17 |  0.288 % |
86.52/86.55	c |    296594 |    8309    71058   236207 |    30852    30276     17 |  0.288 % |
86.82/86.88	c |    297618 |    8309    71058   236207 |    30852    27790     17 |  0.288 % |
87.52/87.54	c |    299666 |    8309    71058   236207 |    30852    29838     17 |  0.288 % |
88.72/88.80	c |    303763 |    8309    71058   236207 |    30172    27413     17 |  0.288 % |
91.52/91.58	c |    311956 |    8309    71058   236207 | 2147483647    29538     17 |  0.288 % |
99.53/99.60	c |    328340 |    8309    71058   236207 | 2147483647    45922     18 |  0.288 % |
99.83/99.89	c |    328853 |    8309    71058   236207 | 2147483647    46435     18 |  0.288 % |
100.13/100.15	c |    329366 |    8309    71058   236207 | 2147483647    46948     18 |  0.288 % |
100.63/100.62	c |    330390 |    8309    71058   236207 |    47582    47972     18 |  0.288 % |
100.83/100.91	c |    330902 |    8309    71058   236207 |    47582    41032     18 |  0.288 % |
101.13/101.13	c |    331416 |    8309    71058   236207 |    47582    41546     18 |  0.288 % |
101.63/101.64	c |    332442 |    8309    71058   236207 |    47582    42572     18 |  0.288 % |
102.63/102.63	c |    334490 |    8309    71058   236207 |    47582    44620     18 |  0.288 % |
102.83/102.88	c |    335002 |    8309    71058   236207 |    47582    45132     18 |  0.288 % |
103.03/103.06	c |    335516 |    8309    71058   236207 |    47582    45646     18 |  0.288 % |
103.43/103.43	c |    336541 |    8309    71058   236207 |    47582    46671     18 |  0.288 % |
103.63/103.67	c |    337055 |    8309    71058   236207 |    47582    47185     18 |  0.288 % |
103.93/103.92	c |    337568 |    8309    71058   236207 |    47582    47698     18 |  0.288 % |
104.33/104.37	c |    338592 |    8309    71058   236207 |    47582    40438     18 |  0.288 % |
105.13/105.21	c |    340640 |    8309    71058   236207 |    41846    35292     18 |  0.288 % |
106.63/106.69	c |    344736 |    8309    71058   236207 |    41846    39388     18 |  0.288 % |
106.83/106.86	c |    345248 |    8309    71058   236207 |    41846    39900     18 |  0.288 % |
107.03/107.03	c |    345761 |    8309    71058   236207 |    41846    40413     18 |  0.288 % |
107.43/107.47	c |    346785 |    8309    71058   236207 |    41846    41437     18 |  0.288 % |
107.73/107.75	c |    347297 |    8309    71058   236207 |    41846    41949     18 |  0.288 % |
108.03/108.03	c |    347811 |    8309    71058   236207 |    41846    35482     18 |  0.288 % |
108.43/108.46	c |    348838 |    8309    71058   236207 |    41846    36509     18 |  0.288 % |
109.13/109.14	c |    350887 |    8309    71058   236207 |    37673    32515     17 |  0.288 % |
109.23/109.29	c |    351400 |    8309    71058   236207 |    37673    33028     18 |  0.288 % |
109.53/109.52	c |    351913 |    8309    71058   236207 |    37673    33541     18 |  0.288 % |
109.83/109.87	c |    352937 |    8309    71058   236207 |    37673    34565     18 |  0.288 % |
110.03/110.09	c |    353449 |    8309    71058   236207 |    37673    35077     18 |  0.288 % |
110.23/110.27	c |    353964 |    8309    71058   236207 |    37673    35592     18 |  0.288 % |
110.63/110.69	c |    354989 |    8309    71058   236207 |    37673    36617     18 |  0.288 % |
111.43/111.45	c |    357037 |    8309    71058   236207 |    37673    32833     17 |  0.288 % |
112.83/112.89	c |    361135 |    8309    71058   236207 |    35797    31686     17 |  0.288 % |
115.84/115.85	c |    369327 |    8309    71058   236207 |    35797    35139     18 |  0.288 % |
116.04/116.03	c |    369839 |    8309    71058   236207 |    35797    35651     18 |  0.288 % |
116.14/116.14	c |    370351 |    8309    71058   236207 |    35813    36163     18 |  0.288 % |
116.44/116.49	c |    371375 |    8309    71058   236207 |    35813    32778     18 |  0.288 % |
116.64/116.66	c |    371887 |    8309    71058   236207 |    35813    33290     18 |  0.288 % |
116.84/116.90	c |    372399 |    8309    71058   236207 |    35813    33802     18 |  0.288 % |
117.24/117.26	c |    373424 |    8309    71058   236207 |    35813    34827     18 |  0.288 % |
118.04/118.04	c |    375474 |    8309    71058   236207 |    35813    32325     17 |  0.288 % |
118.14/118.18	c |    375986 |    8309    71058   236207 |    35813    32837     17 |  0.288 % |
118.34/118.34	c |    376498 |    8309    71058   236207 |    35813    33349     17 |  0.288 % |
118.74/118.73	c |    377526 |    8309    71058   236207 |    35813    34377     17 |  0.288 % |
118.94/118.93	c |    378039 |    8309    71058   236207 |    35813    34890     18 |  0.288 % |
119.14/119.13	c |    378551 |    8309    71058   236207 |    35813    35402     18 |  0.288 % |
119.54/119.53	c |    379577 |    8309    71058   236207 |    35813    31693     17 |  0.288 % |
120.14/120.17	c |    381625 |    8309    71058   236207 |    32116    29690     18 |  0.288 % |
121.44/121.51	c |    385722 |    8309    71058   236207 |    32116    30050     17 |  0.288 % |
121.64/121.69	c |    386234 |    8309    71058   236207 |    32116    30562     18 |  0.288 % |
121.84/121.87	c |    386746 |    8309    71058   236207 |    32116    31074     18 |  0.288 % |
122.24/122.26	c |    387771 |    8309    71058   236207 |    32116    32099     18 |  0.288 % |
122.44/122.49	c |    388284 |    8309    71058   236207 |    32116    29090     17 |  0.288 % |
122.64/122.64	c |    388797 |    8309    71058   236207 |    32116    29603     17 |  0.288 % |
123.04/123.03	c |    389821 |    8309    71058   236207 |    32116    30627     17 |  0.288 % |
123.84/123.87	c |    391872 |    8309    71058   236207 |    30806    29379     18 |  0.288 % |
123.94/124.01	c |    392384 |    8309    71058   236207 |    30806    29891     18 |  0.288 % |
124.14/124.20	c |    392896 |    8309    71058   236207 |    30806    30403     18 |  0.288 % |
124.54/124.59	c |    393920 |    8309    71058   236207 |    30806    28330     17 |  0.288 % |
124.74/124.74	c |    394432 |    8309    71058   236207 |    30806    28842     18 |  0.288 % |
124.84/124.92	c |    394947 |    8309    71058   236207 |    30806    29357     18 |  0.288 % |
125.24/125.32	c |    395972 |    8309    71058   236207 |    30806    30382     18 |  0.288 % |
126.04/126.11	c |    398020 |    8309    71058   236207 |    30806    29328     18 |  0.288 % |
127.54/127.53	c |    402117 |    8309    71058   236207 | 2147483647    30314     17 |  0.288 % |
130.84/130.84	c |    410309 |    8309    71058   236207 |    38198    33582     17 |  0.288 % |
138.74/138.82	c |    426694 |    8309    71058   236207 |    38042    33802     17 |  0.288 % |
151.94/151.96	c |    459462 |    8309    71058   236207 |    32534    30706     18 |  0.288 % |
180.34/180.41	c |    524998 |    8309    71058   236207 |    32148    30270     20 |  0.288 % |
180.54/180.56	c |    525511 |    8309    71058   236207 |    32148    30783     20 |  0.288 % |
180.64/180.68	c |    526025 |    8309    71058   236207 |    32148    31297     20 |  0.288 % |
180.94/180.94	c |    527051 |    8307    71055   236201 |    32148    32315     20 |  0.312 % |
181.04/181.10	c |    527564 |    8307    71055   236201 |    32148    29597     20 |  0.312 % |
181.24/181.27	c |    528077 |    8307    71055   236201 |    32148    30110     20 |  0.312 % |
181.55/181.60	c |    529101 |    8307    71055   236201 |    32148    31134     20 |  0.312 % |
182.14/182.21	c |    531149 |    8307    71055   236201 | 2147483647    33182     20 |  0.312 % |
182.34/182.38	c |    531661 |    8307    71052   236195 | 2147483647    33691     20 |  0.312 % |
182.54/182.53	c |    532173 |    8307    71052   236195 | 2147483647    34203     20 |  0.312 % |
182.65/182.69	c |    533197 |    8307    71052   236195 | 2147483647    35227     20 |  0.312 % |
182.84/182.84	c |    533709 |    8307    71052   236195 | 2147483647    35739     20 |  0.312 % |
182.94/182.96	c |    534221 |    8307    71052   236195 | 2147483647    36251     20 |  0.312 % |
183.44/183.45	c |    535245 |    8307    71052   236195 | 2147483647    37275     20 |  0.312 % |
184.44/184.48	c |    537294 |    8307    71052   236195 | 2147483647    39324     20 |  0.312 % |
186.14/186.15	c |    541390 |    8307    71052   236195 |    42030    38474     19 |  0.312 % |
186.34/186.36	c |    541902 |    8307    71052   236195 |    42030    38986     19 |  0.312 % |
186.54/186.54	c |    542414 |    8307    71052   236195 |    42030    39498     20 |  0.312 % |
186.94/186.94	c |    543439 |    8307    71052   236195 |    42030    40523     20 |  0.312 % |
187.14/187.12	c |    543952 |    8307    71052   236195 |    42030    41036     20 |  0.312 % |
187.24/187.30	c |    544466 |    8307    71052   236195 |    42030    41550     20 |  0.312 % |
187.64/187.68	c |    545490 |    8307    71052   236195 |    42030    36951     19 |  0.312 % |
188.34/188.35	c |    547538 |    8307    71052   236195 |    42030    38999     19 |  0.312 % |
188.54/188.59	c |    548051 |    8307    71052   236195 |    42030    39512     19 |  0.312 % |
188.74/188.75	c |    548566 |    8307    71052   236195 |    42030    40027     19 |  0.312 % |
189.14/189.14	c |    549590 |    8307    71052   236195 |    42030    41051     19 |  0.312 % |
189.34/189.36	c |    550102 |    8307    71052   236195 |    41461    41563     19 |  0.312 % |
189.54/189.61	c |    550617 |    8307    71052   236195 |    41461    36118     18 |  0.312 % |
189.94/189.96	c |    551641 |    8307    71052   236195 |    41461    37142     18 |  0.312 % |
190.84/190.86	c |    553691 |    8307    71052   236195 |    41461    39192     18 |  0.312 % |
192.44/192.42	c |    557789 |    8307    71052   236195 |    41461    37348     18 |  0.312 % |
195.34/195.41	c |    565981 |    8307    71052   236195 |    39559    35083     18 |  0.312 % |
195.54/195.61	c |    566493 |    8307    71052   236195 |    39559    35595     18 |  0.312 % |
195.74/195.81	c |    567006 |    8307    71052   236195 |    39559    36108     18 |  0.312 % |
196.15/196.20	c |    568030 |    8307    71052   236195 |    39559    37132     18 |  0.312 % |
196.35/196.40	c |    568542 |    8307    71052   236195 |    39559    37644     18 |  0.312 % |
196.55/196.56	c |    569054 |    8307    71052   236195 |    39559    38156     18 |  0.312 % |
196.95/196.94	c |    570078 |    8307    71052   236195 |    39102    39180     18 |  0.312 % |
197.65/197.68	c |    572126 |    8307    71052   236195 |    39102    35768     18 |  0.312 % |
197.85/197.91	c |    572639 |    8307    71052   236195 |    39102    36281     18 |  0.312 % |
198.15/198.14	c |    573153 |    8307    71052   236195 |    39102    36795     18 |  0.312 % |
198.45/198.47	c |    574180 |    8307    71052   236195 |    39102    37822     18 |  0.312 % |
198.65/198.62	c |    574692 |    8307    71052   236195 |    39102    38334     18 |  0.312 % |
198.75/198.81	c |    575205 |    8307    71052   236195 |    39102    38847     18 |  0.312 % |
199.25/199.28	c |    576231 |    8307    71052   236195 |    39102    33910     17 |  0.312 % |
199.85/199.90	c |    578279 |    8307    71052   236195 |    39102    35958     17 |  0.312 % |
201.55/201.59	c |    582376 |    8307    71052   236195 |    37679    34293     17 |  0.312 % |
201.75/201.78	c |    582889 |    8307    71052   236195 |    37679    34806     17 |  0.312 % |
201.95/201.99	c |    583403 |    8307    71052   236195 |    37679    35320     17 |  0.312 % |
202.35/202.38	c |    584428 |    8307    71052   236195 |    37679    36345     17 |  0.312 % |
202.65/202.63	c |    584940 |    8307    71052   236195 |    37679    36857     17 |  0.312 % |
202.85/202.87	c |    585452 |    8307    71052   236195 |    37679    37369     17 |  0.312 % |
203.15/203.22	c |    586477 |    8307    71052   236195 |    37679    32752     17 |  0.312 % |
203.95/203.97	c |    588526 |    8307    71052   236195 |    37679    34801     17 |  0.312 % |
204.15/204.16	c |    589040 |    8307    71052   236195 |    37679    35315     17 |  0.312 % |
204.35/204.40	c |    589555 |    8307    71052   236195 |    37679    35830     17 |  0.312 % |
204.85/204.89	c |    590580 |    8307    71052   236195 |    36275    31509     16 |  0.312 % |
204.95/205.02	c |    591092 |    8307    71052   236195 |    36275    32021     16 |  0.312 % |
205.25/205.23	c |    591604 |    8307    71052   236195 |    36275    32533     16 |  0.312 % |
205.65/205.72	c |    592628 |    8307    71052   236195 |    36275    33557     17 |  0.312 % |
206.65/206.66	c |    594676 |    8307    71052   236195 |    36275    35605     17 |  0.312 % |
208.45/208.43	c |    598772 |    8307    71052   236195 |    36275    34917     17 |  0.312 % |
211.75/211.76	c |    606964 |    8307    71052   236195 |    36146    34151     18 |  0.312 % |
218.75/218.76	c |    623348 |    8307    71052   236195 | 2147483647    35404     18 |  0.312 % |
218.95/219.01	c |    623860 |    8307    71052   236195 | 2147483647    35916     18 |  0.312 % |
219.15/219.22	c |    624373 |    8307    71052   236195 | 2147483647    36429     18 |  0.312 % |
219.55/219.60	c |    625398 |    8307    71052   236195 | 2147483647    37454     18 |  0.312 % |
219.75/219.79	c |    625910 |    8307    71052   236195 | 2147483647    37966     18 |  0.312 % |
219.95/220.01	c |    626423 |    8307    71052   236195 | 2147483647    38479     19 |  0.312 % |
220.35/220.40	c |    627447 |    8307    71052   236195 | 2147483647    39503     19 |  0.312 % |
221.25/221.24	c |    629497 |    8307    71052   236195 | 2147483647    41553     19 |  0.312 % |
221.55/221.52	c |    630009 |    8307    71052   236195 |    42057    42065     19 |  0.312 % |
221.75/221.79	c |    630523 |    8307    71052   236195 |    42057    36812     18 |  0.312 % |
222.15/222.13	c |    631547 |    8307    71052   236195 |    42057    37836     18 |  0.312 % |
222.25/222.30	c |    632059 |    8307    71052   236195 |    42057    38348     18 |  0.312 % |
222.45/222.49	c |    632571 |    8307    71052   236195 |    42057    38860     18 |  0.312 % |
222.85/222.90	c |    633596 |    8307    71052   236195 |    42057    39885     18 |  0.312 % |
223.65/223.63	c |    635644 |    8307    71052   236195 |    42057    41933     19 |  0.312 % |
225.15/225.21	c |    639740 |    8307    71052   236195 |    42057    39625     18 |  0.312 % |
225.45/225.44	c |    640252 |    8307    71052   236195 |    39886    33748     18 |  0.312 % |
225.55/225.60	c |    640765 |    8307    71052   236195 |    39886    34261     18 |  0.312 % |
225.85/225.89	c |    641790 |    8307    71052   236195 |    39886    35286     18 |  0.312 % |
226.05/226.05	c |    642303 |    8307    71052   236195 |    39886    35799     18 |  0.312 % |
226.25/226.28	c |    642815 |    8304    71043   236177 |    39886    36301     18 |  0.348 % |
226.65/226.64	c |    643839 |    8304    71043   236177 |    39886    37325     18 |  0.348 % |
227.35/227.39	c |    645887 |    8304    71043   236177 |    39886    39373     18 |  0.348 % |
227.55/227.62	c |    646399 |    8304    71043   236177 |    39886    39885     18 |  0.348 % |
227.85/227.87	c |    646911 |    8304    71043   236177 |    39886    34671     17 |  0.348 % |
228.25/228.23	c |    647935 |    8304    71043   236177 |    39886    35695     18 |  0.348 % |
228.35/228.37	c |    648447 |    8304    71043   236177 |    39886    36207     18 |  0.348 % |
228.55/228.54	c |    648959 |    8304    71043   236177 |    39886    36719     18 |  0.348 % |
228.85/228.87	c |    649984 |    8304    71043   236177 |    39886    37744     18 |  0.348 % |
229.65/229.67	c |    652032 |    8304    71043   236177 |    37760    34456     17 |  0.348 % |
231.25/231.28	c |    656128 |    8304    71043   236177 |    37760    33324     18 |  0.348 % |
234.35/234.40	c |    664321 |    8304    71043   236177 |    37199    36560     18 |  0.348 % |
234.55/234.58	c |    664833 |    8304    71043   236177 |    37199    37072     18 |  0.348 % |
234.75/234.81	c |    665346 |    8304    71043   236177 |    37199    32834     18 |  0.348 % |
235.05/235.10	c |    666371 |    8304    71043   236177 |    37199    33859     18 |  0.348 % |
235.35/235.33	c |    666884 |    8304    71043   236177 |    37199    34372     18 |  0.348 % |
235.55/235.55	c |    667398 |    8304    71043   236177 |    37199    34886     18 |  0.348 % |
235.95/235.95	c |    668423 |    8304    71043   236177 |    37199    35911     18 |  0.348 % |
236.65/236.68	c |    670473 |    8304    71043   236177 |    37488    32882     18 |  0.348 % |
236.85/236.83	c |    670985 |    8304    71043   236177 |    37488    33394     18 |  0.348 % |
236.95/237.00	c |    671497 |    8304    71043   236177 |    37488    33906     18 |  0.348 % |
237.25/237.26	c |    672521 |    8304    71043   236177 |    37488    34930     18 |  0.348 % |
237.45/237.49	c |    673033 |    8304    71043   236177 |    37488    35442     18 |  0.348 % |
237.65/237.72	c |    673545 |    8304    71043   236177 |    37488    35954     18 |  0.348 % |
238.15/238.12	c |    674569 |    8304    71043   236177 |    37488    36978     18 |  0.348 % |
238.85/238.91	c |    676617 |    8304    71043   236177 |    37488    33860     18 |  0.348 % |
240.85/240.89	c |    680713 |    8304    71043   236177 |    37243    33068     17 |  0.348 % |
241.05/241.09	c |    681227 |    8304    71043   236177 |    37243    33582     17 |  0.348 % |
241.25/241.27	c |    681740 |    8304    71043   236177 |    37243    34095     17 |  0.348 % |
241.55/241.61	c |    682766 |    8304    71043   236177 |    37243    35121     18 |  0.348 % |
241.85/241.84	c |    683280 |    8304    71043   236177 |    37243    35635     18 |  0.348 % |
242.05/242.06	c |    683793 |    8304    71043   236177 |    37243    36148     18 |  0.348 % |
242.45/242.48	c |    684817 |    8304    71043   236177 |    37243    37172     18 |  0.348 % |
243.25/243.23	c |    686866 |    8304    71043   236177 |    37243    33641     17 |  0.348 % |
243.35/243.40	c |    687378 |    8304    71043   236177 |    37243    34153     17 |  0.348 % |
243.55/243.61	c |    687890 |    8304    71043   236177 |    37243    34665     17 |  0.348 % |
243.95/243.96	c |    688915 |    8304    71043   236177 |    37243    35690     17 |  0.348 % |
244.05/244.10	c |    689427 |    8304    71043   236177 |    37243    36202     17 |  0.348 % |
244.25/244.32	c |    689939 |    8304    71043   236177 |    37243    36714     17 |  0.348 % |
244.65/244.69	c |    690963 |    8304    71043   236177 |    36776    32667     17 |  0.348 % |
245.25/245.26	c |    693011 |    8304    71043   236177 |    36776    34715     17 |  0.348 % |
247.04/247.03	c |    697108 |    8304    71043   236177 |    36776    33702     17 |  0.348 % |
250.34/250.36	c |    705301 |    8304    71043   236177 |    36596    36845     18 |  0.348 % |
256.64/256.66	c |    721685 |    8302    71037   236165 |    31567    29812     17 |  0.372 % |
271.24/271.27	c |    754454 |    8301    71034   236159 |    39161    37794     18 |  0.384 % |
271.44/271.48	c |    754966 |    8301    71034   236159 |    39161    38306     18 |  0.384 % |
271.64/271.66	c |    755480 |    8301    71034   236159 |    39161    38820     18 |  0.384 % |
272.14/272.14	c |    756504 |    8300    70927   235839 |    39161    34543     18 |  0.396 % |
272.34/272.32	c |    757016 |    8300    70927   235839 |    39161    35055     18 |  0.396 % |
272.44/272.48	c |    757530 |    8300    70927   235839 |    39161    35569     18 |  0.396 % |
272.85/272.85	c |    758557 |    8300    70927   235839 |    39161    36596     18 |  0.396 % |
273.54/273.54	c |    760605 |    8300    70927   235839 |    38040    33556     19 |  0.396 % |
273.74/273.72	c |    761118 |    8300    70927   235839 |    38040    34069     19 |  0.396 % |
273.84/273.89	c |    761630 |    8300    70927   235839 |    38040    34581     19 |  0.396 % |
274.34/274.32	c |    762655 |    8300    70927   235839 |    38040    35606     19 |  0.396 % |
274.54/274.54	c |    763167 |    8300    70927   235839 |    38040    36118     19 |  0.396 % |
274.74/274.72	c |    763679 |    8300    70927   235839 |    38040    36630     19 |  0.396 % |
275.24/275.24	c |    764703 |    8300    70927   235839 |    38040    37654     19 |  0.396 % |
276.15/276.13	c |    766751 |    8300    70927   235839 |    38040    34206     18 |  0.396 % |
277.74/277.77	c |    770847 |    8300    70927   235839 |    37455    33039     18 |  0.396 % |
277.94/277.97	c |    771359 |    8300    70927   235839 |    37455    33551     18 |  0.396 % |
278.14/278.17	c |    771872 |    8300    70927   235839 |    37455    34064     18 |  0.396 % |
278.54/278.51	c |    772897 |    8300    70927   235839 |    37455    35089     18 |  0.396 % |
278.64/278.68	c |    773409 |    8300    70927   235839 |    37455    35601     18 |  0.396 % |
278.84/278.86	c |    773921 |    8300    70927   235839 |    37455    36113     18 |  0.396 % |
279.34/279.34	c |    774946 |    8300    70927   235839 |    37455    37138     18 |  0.396 % |
280.34/280.32	c |    776995 |    8300    70927   235839 |    37455    33893     18 |  0.396 % |
280.55/280.55	c |    777508 |    8300    70927   235839 |    37455    34406     18 |  0.396 % |
280.74/280.73	c |    778021 |    8300    70927   235839 |    37455    34919     18 |  0.396 % |
281.04/281.10	c |    779046 |    8300    70927   235839 |    37455    35944     18 |  0.396 % |
281.34/281.34	c |    779559 |    8300    70927   235839 |    37455    36457     18 |  0.396 % |
281.54/281.53	c |    780071 |    8300    70927   235839 |    36899    36969     18 |  0.396 % |
281.94/281.93	c |    781096 |    8300    70927   235839 |    36899    32914     18 |  0.396 % |
282.64/282.66	c |    783144 |    8300    70927   235839 |    36899    34962     18 |  0.396 % |
284.04/284.09	c |    787240 |    8300    70927   235839 |    36899    34044     17 |  0.396 % |
288.04/288.08	c |    795432 |    8300    70927   235839 |    36805    37032     17 |  0.396 % |
288.25/288.28	c |    795944 |    8300    70927   235839 |    36805    31613     17 |  0.396 % |
288.44/288.46	c |    796457 |    8300    70927   235839 |    36805    32126     17 |  0.396 % |
288.74/288.71	c |    797483 |    8300    70927   235839 |    36805    33152     17 |  0.396 % |
288.84/288.84	c |    797997 |    8300    70927   235839 |    36805    33666     17 |  0.396 % |
289.04/289.03	c |    798512 |    8300    70927   235839 |    36805    34181     17 |  0.396 % |
289.44/289.48	c |    799537 |    8300    70927   235839 |    36805    35206     17 |  0.396 % |
290.24/290.22	c |    801587 |    8300    70927   235839 |    35672    32154     17 |  0.396 % |
290.34/290.37	c |    802099 |    8300    70927   235839 |    35672    32666     17 |  0.396 % |
290.54/290.53	c |    802613 |    8300    70927   235839 |    35672    33180     17 |  0.396 % |
290.94/290.93	c |    803637 |    8300    70927   235839 |    35672    34204     17 |  0.396 % |
291.14/291.16	c |    804149 |    8300    70927   235839 |    35672    34716     17 |  0.396 % |
291.34/291.37	c |    804661 |    8300    70927   235839 |    35672    35228     17 |  0.396 % |
291.84/291.86	c |    805685 |    8300    70927   235839 |    35672    31623     17 |  0.396 % |
292.65/292.68	c |    807733 |    8300    70927   235839 |    35672    33671     17 |  0.396 % |
294.15/294.20	c |    811830 |    8300    70927   235839 |    35938    33567     17 |  0.396 % |
294.35/294.35	c |    812342 |    8300    70927   235839 |    35938    34079     17 |  0.396 % |
294.55/294.52	c |    812860 |    8300    70927   235839 |    35938    34597     17 |  0.396 % |
294.85/294.88	c |    813884 |    8300    70927   235839 |    35938    35621     18 |  0.396 % |
295.05/295.06	c |    814397 |    8300    70927   235839 |    35938    36134     18 |  0.396 % |
295.25/295.28	c |    814910 |    8300    70927   235839 |    35938    32933     18 |  0.396 % |
295.65/295.71	c |    815935 |    8300    70927   235839 |    35938    33958     18 |  0.396 % |
296.75/296.73	c |    817983 |    8300    70927   235839 |    35938    36006     18 |  0.396 % |
296.95/296.93	c |    818495 |    8300    70927   235839 |    35938    32622     18 |  0.396 % |
297.15/297.19	c |    819007 |    8300    70927   235839 |    35938    33134     18 |  0.396 % |
297.55/297.58	c |    820031 |    8300    70927   235839 |    34127    34158     18 |  0.396 % |
297.75/297.78	c |    820543 |    8300    70927   235839 |    34127    30700     18 |  0.396 % |
297.95/297.93	c |    821056 |    8300    70927   235839 |    34127    31213     18 |  0.396 % |
298.35/298.37	c |    822080 |    8300    70927   235839 |    34127    32237     18 |  0.396 % |
299.05/299.10	c |    824129 |    8299    70924   235833 |    34127    34285     18 |  0.408 % |
300.55/300.54	c |    828225 |    8299    70924   235833 |    34127    30277     18 |  0.408 % |
303.25/303.24	c |    836417 |    8299    70924   235833 |    32053    31274     17 |  0.408 % |
310.25/310.31	c |    852802 |    8299    70924   235833 |    41616    39402     17 |  0.408 % |
310.55/310.52	c |    853314 |    8299    70924   235833 |    41616    39914     18 |  0.408 % |
310.65/310.69	c |    853827 |    8299    70924   235833 |    41616    40427     18 |  0.408 % |
311.05/311.10	c |    854851 |    8299    70924   235833 |    41616    41451     18 |  0.408 % |
311.35/311.38	c |    855363 |    8299    70924   235833 |    41616    36106     17 |  0.408 % |
311.55/311.58	c |    855877 |    8299    70924   235833 |    41616    36620     17 |  0.408 % |
311.85/311.90	c |    856904 |    8299    70924   235833 |    41616    37647     17 |  0.408 % |
312.75/312.79	c |    858955 |    8298    70921   235827 |    41616    39695     17 |  0.420 % |
312.95/312.98	c |    859467 |    8298    70921   235827 |    41616    40207     17 |  0.420 % |
313.15/313.18	c |    859979 |    8298    70921   235827 |    41616    40719     17 |  0.420 % |
313.55/313.61	c |    861005 |    8298    70921   235827 |    40745    35873     17 |  0.420 % |
313.75/313.80	c |    861519 |    8298    70921   235827 |    40745    36387     17 |  0.420 % |
313.95/313.98	c |    862032 |    8298    70921   235827 |    40745    36900     17 |  0.420 % |
314.35/314.34	c |    863057 |    8298    70921   235827 |    40745    37925     17 |  0.420 % |
315.15/315.18	c |    865107 |    8298    70921   235827 |    40745    39975     17 |  0.420 % |
317.05/317.08	c |    869204 |    8298    70921   235827 |    40745    37781     18 |  0.420 % |
317.25/317.29	c |    869716 |    8298    70921   235827 |    40745    38293     18 |  0.420 % |
317.45/317.44	c |    870230 |    8298    70921   235827 |    38582    38807     18 |  0.420 % |
317.85/317.83	c |    871254 |    8298    70921   235827 |    38582    33957     17 |  0.420 % |
317.95/318.00	c |    871767 |    8298    70921   235827 |    38582    34470     17 |  0.420 % |
318.25/318.27	c |    872279 |    8298    70921   235827 |    38582    34982     17 |  0.420 % |
318.65/318.67	c |    873303 |    8298    70921   235827 |    38582    36006     18 |  0.420 % |
319.45/319.43	c |    875351 |    8298    70921   235827 |    38582    38054     18 |  0.420 % |
319.55/319.61	c |    875863 |    8298    70921   235827 |    38582    38566     18 |  0.420 % |
319.85/319.86	c |    876375 |    8298    70921   235827 |    38582    33659     18 |  0.420 % |
320.25/320.29	c |    877400 |    8298    70921   235827 |    38582    34684     18 |  0.420 % |
320.45/320.47	c |    877913 |    8298    70921   235827 |    38582    35197     18 |  0.420 % |
320.65/320.68	c |    878428 |    8298    70921   235827 |    38582    35712     18 |  0.420 % |
321.15/321.15	c |    879456 |    8298    70921   235827 |    38582    36740     18 |  0.420 % |
321.85/321.86	c |    881504 |    8298    70921   235827 |    37286    33606     18 |  0.420 % |
323.25/323.29	c |    885600 |    8298    70921   235827 |    37286    33239     18 |  0.420 % |
326.45/326.46	c |    893792 |    8298    70921   235827 |    37639    36342     19 |  0.420 % |
326.55/326.61	c |    894304 |    8298    70921   235827 |    37639    36854     19 |  0.420 % |
326.75/326.80	c |    894816 |    8298    70921   235827 |    37639    37366     19 |  0.420 % |
327.25/327.31	c |    895840 |    8298    70921   235827 |    37639    33169     18 |  0.420 % |
327.45/327.50	c |    896353 |    8298    70921   235827 |    37639    33682     19 |  0.420 % |
327.75/327.75	c |    896865 |    8298    70921   235827 |    37639    34194     19 |  0.420 % |
328.15/328.18	c |    897889 |    8298    70921   235827 |    37639    35218     19 |  0.420 % |
328.95/328.96	c |    899939 |    8298    70921   235827 |    37639    37268     19 |  0.420 % |
329.15/329.15	c |    900451 |    8298    70921   235827 |    37329    37780     19 |  0.420 % |
329.35/329.38	c |    900963 |    8298    70921   235827 |    37329    32993     18 |  0.420 % |
329.85/329.84	c |    901988 |    8298    70921   235827 |    37329    34018     19 |  0.420 % |
330.05/330.03	c |    902501 |    8298    70921   235827 |    37329    34531     19 |  0.420 % |
330.25/330.30	c |    903015 |    8298    70921   235827 |    37329    35045     19 |  0.420 % |
330.75/330.77	c |    904039 |    8298    70921   235827 |    37329    36069     19 |  0.420 % |
331.65/331.65	c |    906088 |    8298    70921   235827 |    37329    32930     18 |  0.420 % |
333.55/333.58	c |    910184 |    8298    70921   235827 |    36842    32013     18 |  0.420 % |
333.75/333.76	c |    910699 |    8298    70921   235827 |    36842    32528     18 |  0.420 % |
333.95/333.96	c |    911211 |    8298    70921   235827 |    36842    33040     18 |  0.420 % |
334.35/334.32	c |    912235 |    8298    70921   235827 |    36842    34064     18 |  0.420 % |
334.55/334.54	c |    912748 |    8298    70921   235827 |    36842    34577     18 |  0.420 % |
334.75/334.75	c |    913260 |    8298    70921   235827 |    36842    35089     18 |  0.420 % |
335.15/335.16	c |    914284 |    8298    70921   235827 |    36842    36113     18 |  0.420 % |
336.05/336.06	c |    916332 |    8298    70921   235827 |    36842    33179     18 |  0.420 % |
336.25/336.23	c |    916845 |    8298    70921   235827 |    36842    33692     18 |  0.420 % |
336.45/336.46	c |    917357 |    8298    70921   235827 |    36842    34204     18 |  0.420 % |
336.85/336.86	c |    918381 |    8298    70921   235827 |    36842    35228     18 |  0.420 % |
337.05/337.06	c |    918893 |    8298    70921   235827 |    36842    35740     18 |  0.420 % |
337.25/337.27	c |    919407 |    8298    70921   235827 |    36842    36254     18 |  0.420 % |
337.65/337.71	c |    920431 |    8298    70921   235827 |    36849    32493     18 |  0.420 % |
338.75/338.72	c |    922482 |    8298    70921   235827 |    36849    34544     18 |  0.420 % |
340.55/340.54	c |    926578 |    8298    70921   235827 |    36849    33921     17 |  0.420 % |
343.75/343.80	c |    934771 |    8298    70921   235827 |    32501    30041     17 |  0.420 % |
349.75/349.72	c |    951155 |    8297    70918   235821 |    41991    37710     18 |  0.432 % |
363.65/363.70	c |    983924 |    8296    70915   235815 |    36926    35541     18 |  0.444 % |
388.36/388.35	c |   1049461 |    8292    70903   235791 |    39917    37061     19 |  0.504 % |
442.46/442.47	c |   1180534 |    8278    70740   235351 |    38595    39129     19 |  0.660 % |
442.66/442.64	c |   1181046 |    8278    70740   235351 |    38595    34695     19 |  0.660 % |
442.86/442.84	c |   1181558 |    8278    70740   235351 |    38595    35207     19 |  0.660 % |
443.16/443.18	c |   1182583 |    8278    70740   235351 |    38595    36232     19 |  0.660 % |
443.26/443.31	c |   1183096 |    8278    70740   235351 |    38595    36745     19 |  0.660 % |
443.46/443.50	c |   1183608 |    8278    70740   235351 |    38595    37257     19 |  0.660 % |
443.86/443.84	c |   1184633 |    8278    70740   235351 |    38595    38282     19 |  0.660 % |
444.46/444.46	c |   1186685 |    8278    70740   235351 |    38595    34934     19 |  0.660 % |
444.56/444.61	c |   1187197 |    8278    70740   235351 |    38595    35446     19 |  0.660 % |
444.76/444.79	c |   1187709 |    8278    70740   235351 |    38595    35958     19 |  0.660 % |
445.16/445.19	c |   1188735 |    8278    70740   235351 |    38595    36984     19 |  0.660 % |
445.36/445.33	c |   1189247 |    8278    70740   235351 |    38595    37496     19 |  0.660 % |
445.46/445.48	c |   1189760 |    8278    70740   235351 |    38595    38009     19 |  0.660 % |
445.76/445.76	c |   1190784 |    8278    70740   235351 |    38249    34453     19 |  0.660 % |
446.46/446.51	c |   1192833 |    8278    70740   235351 |    38249    36502     19 |  0.660 % |
447.86/447.84	c |   1196929 |    8278    70740   235351 |    38249    35704     19 |  0.660 % |
448.06/448.05	c |   1197443 |    8278    70740   235351 |    38249    36218     19 |  0.660 % |
448.26/448.23	c |   1197955 |    8278    70740   235351 |    38249    36730     19 |  0.660 % |
448.56/448.58	c |   1198979 |    8278    70740   235351 |    38249    37754     19 |  0.660 % |
448.76/448.73	c |   1199492 |    8278    70740   235351 |    38249    38267     19 |  0.660 % |
448.96/448.98	c |   1200004 |    8278    70740   235351 |    34047    34051     19 |  0.660 % |
449.26/449.28	c |   1201028 |    8278    70740   235351 |    34047    30857     18 |  0.660 % |
449.97/449.98	c |   1203077 |    8278    70740   235351 |    34047    32906     18 |  0.660 % |
450.16/450.15	c |   1203589 |    8278    70740   235351 |    34047    33418     18 |  0.660 % |
450.36/450.33	c |   1204101 |    8278    70740   235351 |    34047    33930     18 |  0.660 % |
450.76/450.73	c |   1205129 |    8278    70740   235351 |    34047    30906     17 |  0.660 % |
450.96/450.94	c |   1205643 |    8278    70740   235351 |    34047    31420     18 |  0.660 % |
451.07/451.09	c |   1206155 |    8277    70737   235345 |    34047    31931     18 |  0.672 % |
451.36/451.41	c |   1207179 |    8277    70737   235345 |    34047    32955     18 |  0.672 % |
452.26/452.24	c |   1209227 |    8277    70737   235345 |    34047    30826     17 |  0.672 % |
453.76/453.75	c |   1213323 |    8277    70737   235345 |    31599    31262     17 |  0.672 % |
457.56/457.55	c |   1221515 |    8277    70737   235345 | 2147483647    33063     18 |  0.672 % |
457.67/457.70	c |   1222027 |    8277    70737   235345 | 2147483647    33575     18 |  0.672 % |
457.86/457.90	c |   1222539 |    8277    70737   235345 | 2147483647    34087     18 |  0.672 % |
458.36/458.34	c |   1223564 |    8277    70737   235345 | 2147483647    35112     18 |  0.672 % |
458.56/458.54	c |   1224076 |    8276    70734   235339 | 2147483647    35621     18 |  0.684 % |
458.77/458.77	c |   1224589 |    8276    70734   235339 | 2147483647    36134     18 |  0.684 % |
459.06/459.06	c |   1225613 |    8276    70734   235339 | 2147483647    37158     18 |  0.684 % |
459.76/459.73	c |   1227661 |    8276    70734   235339 | 2147483647    39206     18 |  0.684 % |
459.96/459.96	c |   1228174 |    8276    70734   235339 | 2147483647    39719     19 |  0.684 % |
460.16/460.12	c |   1228688 |    8276    70734   235339 | 2147483647    40233     19 |  0.684 % |
460.66/460.66	c |   1229715 |    8276    70734   235339 | 2147483647    41260     19 |  0.684 % |
460.86/460.82	c |   1230227 |    8276    70734   235339 |    41546    41772     19 |  0.684 % |
461.06/461.11	c |   1230741 |    8275    70630   235028 |    41546    36373     18 |  0.696 % |
461.46/461.49	c |   1231766 |    8275    70630   235028 |    41546    37398     18 |  0.696 % |
462.16/462.21	c |   1233814 |    8275    70630   235028 |    41546    39446     18 |  0.696 % |
463.96/463.97	c |   1237910 |    8274    70627   235022 |    41546    37137     18 |  0.708 % |
464.16/464.20	c |   1238422 |    8274    70627   235022 |    41546    37649     18 |  0.708 % |
464.36/464.39	c |   1238935 |    8274    70627   235022 |    41546    38162     18 |  0.708 % |
464.76/464.78	c |   1239960 |    8274    70627   235022 |    41546    39187     18 |  0.708 % |
465.06/465.02	c |   1240472 |    8274    70627   235022 |    39228    33717     18 |  0.708 % |
465.16/465.19	c |   1240984 |    8274    70627   235022 |    39228    34229     18 |  0.708 % |
465.66/465.62	c |   1242011 |    8274    70627   235022 |    39228    35256     18 |  0.708 % |
466.16/466.19	c |   1244059 |    8274    70627   235022 |    39228    37304     19 |  0.708 % |
466.47/466.44	c |   1244573 |    8274    70627   235022 |    39228    37818     19 |  0.708 % |
466.56/466.60	c |   1245085 |    8274    70627   235022 |    39228    38330     19 |  0.708 % |
467.16/467.13	c |   1246109 |    8274    70627   235022 |    39228    39354     19 |  0.708 % |
467.36/467.36	c |   1246621 |    8274    70627   235022 |    39228    34287     18 |  0.708 % |
467.57/467.54	c |   1247133 |    8274    70627   235022 |    39228    34799     18 |  0.708 % |
468.06/468.02	c |   1248157 |    8274    70627   235022 |    39228    35823     19 |  0.708 % |
468.86/468.83	c |   1250205 |    8270    70515   234696 |    37656    37860     19 |  0.756 % |
470.56/470.60	c |   1254302 |    8270    70515   234696 |    37656    36549     18 |  0.756 % |
474.46/474.45	c |   1262494 |    8270    70515   234696 |    36959    34089     18 |  0.756 % |
482.16/482.16	c |   1278878 |    8270    70515   234696 |    36715    35747     19 |  0.756 % |
482.46/482.42	c |   1279393 |    8270    70515   234696 |    36715    36262     19 |  0.756 % |
482.56/482.59	c |   1279905 |    8270    70515   234696 |    36715    36774     19 |  0.756 % |
483.06/483.01	c |   1280929 |    8270    70515   234696 |    36869    32588     19 |  0.756 % |
483.16/483.18	c |   1281443 |    8270    70515   234696 |    36869    33102     19 |  0.756 % |
483.36/483.33	c |   1281957 |    8270    70515   234696 |    36869    33616     19 |  0.756 % |
483.76/483.74	c |   1282984 |    8270    70515   234696 |    36869    34643     19 |  0.756 % |
484.66/484.64	c |   1285032 |    8270    70515   234696 |    36869    36691     19 |  0.756 % |
484.96/484.93	c |   1285545 |    8270    70515   234696 |    36869    31569     19 |  0.756 % |
485.06/485.04	c |   1286057 |    8270    70515   234696 |    36869    32081     19 |  0.756 % |
485.36/485.36	c |   1287081 |    8270    70515   234696 |    36869    33105     19 |  0.756 % |
485.56/485.56	c |   1287593 |    8270    70515   234696 |    36869    33617     19 |  0.756 % |
485.76/485.73	c |   1288108 |    8270    70515   234696 |    36869    34132     19 |  0.756 % |
486.16/486.18	c |   1289132 |    8270    70515   234696 |    36869    35156     19 |  0.756 % |
487.16/487.14	c |   1291181 |    8270    70515   234696 |    36024    31900     18 |  0.756 % |
488.66/488.67	c |   1295280 |    8270    70515   234696 |    36024    35999     19 |  0.756 % |
488.96/488.99	c |   1295793 |    8269    70512   234690 |    36024    31752     19 |  0.768 % |
489.16/489.19	c |   1296305 |    8269    70512   234690 |    36024    32264     19 |  0.768 % |
489.57/489.54	c |   1297331 |    8269    70512   234690 |    36024    33290     19 |  0.768 % |
489.67/489.71	c |   1297843 |    8269    70512   234690 |    36024    33802     19 |  0.768 % |
489.97/489.97	c |   1298355 |    8269    70512   234690 |    36024    34314     19 |  0.768 % |
490.57/490.54	c |   1299381 |    8269    70512   234690 |    36024    35340     19 |  0.768 % |
491.37/491.38	c |   1301429 |    8269    70512   234690 |    35959    32594     19 |  0.768 % |
491.57/491.55	c |   1301942 |    8269    70512   234690 |    35959    33107     19 |  0.768 % |
491.77/491.74	c |   1302455 |    8269    70512   234690 |    35959    33620     19 |  0.768 % |
492.07/492.07	c |   1303479 |    8269    70512   234690 |    35959    34644     19 |  0.768 % |
492.27/492.27	c |   1303994 |    8269    70512   234690 |    35959    35159     19 |  0.768 % |
492.47/492.42	c |   1304506 |    8269    70512   234690 |    35959    35671     19 |  0.768 % |
492.87/492.85	c |   1305530 |    8269    70512   234690 |    35959    32148     18 |  0.768 % |
493.67/493.68	c |   1307580 |    8269    70512   234690 |    35959    34198     18 |  0.768 % |
495.47/495.43	c |   1311676 |    8269    70512   234690 |    31621    28893     17 |  0.768 % |
498.97/498.95	c |   1319868 |    8269    70512   234690 |    31621    29602     17 |  0.768 % |
499.07/499.10	c |   1320380 |    8269    70512   234690 |    29734    30114     17 |  0.768 % |
499.37/499.35	c |   1320893 |    8269    70512   234690 |    29734    27404     17 |  0.768 % |
499.77/499.75	c |   1321917 |    8269    70512   234690 |    29734    28428     17 |  0.768 % |
499.97/499.93	c |   1322430 |    8269    70512   234690 |    29734    28941     17 |  0.768 % |
500.17/500.17	c |   1322942 |    8269    70512   234690 |    29734    29453     17 |  0.768 % |
500.57/500.56	c |   1323966 |    8269    70512   234690 |    29734    27240     17 |  0.768 % |
501.37/501.33	c |   1326015 |    8269    70512   234690 |    29734    29289     18 |  0.768 % |
501.47/501.52	c |   1326530 |    8269    70512   234690 |    29734    29804     18 |  0.768 % |
501.67/501.69	c |   1327043 |    8269    70512   234690 |    29734    27222     17 |  0.768 % |
502.07/502.04	c |   1328068 |    8269    70512   234690 |    29734    28247     18 |  0.768 % |
502.17/502.20	c |   1328581 |    8269    70512   234690 |    29734    28760     18 |  0.768 % |
502.47/502.42	c |   1329094 |    8269    70512   234690 |    29734    29273     18 |  0.768 % |
502.77/502.81	c |   1330121 |    8269    70512   234690 |    26821    26942     17 |  0.768 % |
503.37/503.39	c |   1332169 |    8269    70512   234690 |    26821    26000     17 |  0.768 % |
504.67/504.64	c |   1336265 |    8269    70512   234690 |    26821    24665     17 |  0.768 % |
504.77/504.77	c |   1336778 |    8269    70512   234690 |    26821    25178     17 |  0.768 % |
504.87/504.90	c |   1337290 |    8269    70512   234690 |    26821    25690     17 |  0.768 % |
505.27/505.26	c |   1338314 |    8269    70512   234690 |    26821    26714     17 |  0.768 % |
505.47/505.43	c |   1338826 |    8269    70512   234690 |    26821    24508     17 |  0.768 % |
505.57/505.57	c |   1339340 |    8269    70512   234690 |    26821    25022     17 |  0.768 % |
505.87/505.83	c |   1340365 |    8269    70512   234690 | 2147483647    26047     17 |  0.768 % |
506.47/506.46	c |   1342413 |    8269    70512   234690 | 2147483647    28095     17 |  0.768 % |
506.57/506.61	c |   1342925 |    8269    70512   234690 | 2147483647    28607     17 |  0.768 % |
506.77/506.80	c |   1343437 |    8269    70512   234690 | 2147483647    29119     17 |  0.768 % |
507.17/507.16	c |   1344462 |    8269    70512   234690 | 2147483647    30144     17 |  0.768 % |
507.37/507.35	c |   1344976 |    8269    70512   234690 | 2147483647    30658     17 |  0.768 % |
507.57/507.56	c |   1345488 |    8269    70512   234690 | 2147483647    31170     17 |  0.768 % |
508.07/508.02	c |   1346512 |    8269    70512   234690 | 2147483647    32194     17 |  0.768 % |
508.97/508.97	c |   1348560 |    8269    70512   234690 | 2147483647    34242     18 |  0.768 % |
510.37/510.36	c |   1352656 |    8269    70512   234690 |    35682    34258     18 |  0.768 % |
513.37/513.34	c |   1360850 |    8269    70512   234690 |    33069    30221     17 |  0.768 % |
518.87/518.84	c |   1377235 |    8269    70512   234690 |    31412    31914     18 |  0.768 % |
532.67/532.70	c |   1410003 |    8265    70478   234610 |    37273    37276     19 |  0.816 % |
532.87/532.89	c |   1410515 |    8265    70478   234610 |    37273    32740     19 |  0.816 % |
533.17/533.12	c |   1411028 |    8265    70478   234610 |    37273    33253     19 |  0.816 % |
533.57/533.56	c |   1412053 |    8265    70478   234610 |    37273    34278     19 |  0.816 % |
533.77/533.74	c |   1412565 |    8265    70478   234610 |    37273    34790     19 |  0.816 % |
533.87/533.89	c |   1413077 |    8265    70478   234610 |    37273    35302     19 |  0.816 % |
534.27/534.25	c |   1414102 |    8265    70478   234610 |    37273    36327     20 |  0.816 % |
535.07/535.06	c |   1416150 |    8265    70478   234610 |    37273    32969     19 |  0.816 % |
535.27/535.29	c |   1416664 |    8265    70478   234610 |    37273    33483     19 |  0.816 % |
535.47/535.45	c |   1417177 |    8265    70478   234610 |    37273    33996     19 |  0.816 % |
535.77/535.74	c |   1418203 |    8265    70478   234610 |    37273    35022     19 |  0.816 % |
535.97/535.95	c |   1418715 |    8265    70478   234610 |    37273    35534     19 |  0.816 % |
536.17/536.14	c |   1419228 |    8265    70478   234610 |    37273    36047     19 |  0.816 % |
536.47/536.47	c |   1420254 |    8265    70478   234610 |    36820    37073     20 |  0.816 % |
537.27/537.22	c |   1422306 |    8265    70478   234610 |    36820    34300     19 |  0.816 % |
539.07/539.03	c |   1426403 |    8265    70478   234610 |    36820    32840     18 |  0.816 % |
539.27/539.25	c |   1426916 |    8265    70478   234610 |    36820    33353     18 |  0.816 % |
539.47/539.45	c |   1427429 |    8265    70478   234610 |    36820    33866     19 |  0.816 % |
539.87/539.82	c |   1428453 |    8265    70478   234610 |    36820    34890     19 |  0.816 % |
540.07/540.08	c |   1428966 |    8265    70478   234610 |    36820    35403     19 |  0.816 % |
540.27/540.22	c |   1429478 |    8265    70478   234610 |    36820    35915     19 |  0.816 % |
540.67/540.67	c |   1430503 |    8265    70478   234610 |    36437    36940     19 |  0.816 % |
541.57/541.54	c |   1432551 |    8265    70478   234610 |    36437    33219     18 |  0.816 % |
541.77/541.72	c |   1433063 |    8265    70478   234610 |    36437    33731     18 |  0.816 % |
541.97/541.94	c |   1433577 |    8265    70478   234610 |    36437    34245     19 |  0.816 % |
542.27/542.27	c |   1434601 |    8265    70478   234610 |    36437    35269     19 |  0.816 % |
542.47/542.45	c |   1435114 |    8265    70478   234610 |    36437    35782     19 |  0.816 % |
542.67/542.66	c |   1435626 |    8265    70478   234610 |    36437    36294     19 |  0.816 % |
543.07/543.02	c |   1436650 |    8265    70478   234610 |    36437    32021     18 |  0.816 % |
543.77/543.78	c |   1438698 |    8265    70478   234610 |    36437    34069     18 |  0.816 % |
545.27/545.30	c |   1442794 |    8265    70478   234610 |    35371    33313     18 |  0.816 % |
548.47/548.49	c |   1450986 |    8265    70478   234610 |    35676    31883     17 |  0.816 % |
548.67/548.69	c |   1451499 |    8265    70478   234610 |    35676    32396     17 |  0.816 % |
548.87/548.85	c |   1452011 |    8265    70478   234610 |    35676    32908     18 |  0.816 % |
549.37/549.33	c |   1453036 |    8265    70478   234610 |    35676    33933     18 |  0.816 % |
549.47/549.49	c |   1453551 |    8265    70478   234610 |    35676    34448     18 |  0.816 % |
549.67/549.69	c |   1454064 |    8265    70478   234610 |    35676    34961     18 |  0.816 % |
550.27/550.25	c |   1455089 |    8265    70478   234610 |    35676    30708     17 |  0.816 % |
550.97/550.99	c |   1457137 |    8265    70478   234610 |    35676    32756     18 |  0.816 % |
551.27/551.22	c |   1457649 |    8265    70478   234610 |    35676    33268     18 |  0.816 % |
551.47/551.41	c |   1458161 |    8265    70478   234610 |    35676    33780     18 |  0.816 % |
551.77/551.80	c |   1459185 |    8265    70478   234610 |    35676    34804     18 |  0.816 % |
552.07/552.02	c |   1459697 |    8265    70478   234610 |    35676    35316     18 |  0.816 % |
552.17/552.22	c |   1460209 |    8265    70478   234610 |    35620    35828     18 |  0.816 % |
552.67/552.65	c |   1461237 |    8265    70478   234610 |    35620    31769     18 |  0.816 % |
553.47/553.48	c |   1463285 |    8265    70478   234610 |    35620    33817     18 |  0.816 % |
555.37/555.38	c |   1467381 |    8265    70478   234610 |    35620    33383     18 |  0.816 % |
555.58/555.61	c |   1467893 |    8265    70478   234610 |    35620    33895     18 |  0.816 % |
555.87/555.83	c |   1468405 |    8265    70478   234610 |    35620    34407     18 |  0.816 % |
556.27/556.22	c |   1469429 |    8265    70478   234610 |    35620    35431     18 |  0.816 % |
556.47/556.43	c |   1469941 |    8265    70478   234610 |    35620    35943     18 |  0.816 % |
556.68/556.69	c |   1470454 |    8265    70478   234610 |    31613    28144     17 |  0.816 % |
556.97/557.01	c |   1471478 |    8265    70478   234610 |    31613    29168     18 |  0.816 % |
557.67/557.66	c |   1473528 |    8265    70478   234610 |    31613    31218     18 |  0.816 % |
557.87/557.88	c |   1474040 |    8265    70478   234610 |    31613    31730     18 |  0.816 % |
558.07/558.09	c |   1474552 |    8265    70478   234610 |    31613    28634     17 |  0.816 % |
558.47/558.44	c |   1475576 |    8265    70478   234610 |    31613    29658     17 |  0.816 % |
558.67/558.62	c |   1476088 |    8265    70478   234610 |    31613    30170     17 |  0.816 % |
558.77/558.79	c |   1476603 |    8265    70478   234610 |    31613    30685     18 |  0.816 % |
559.17/559.11	c |   1477627 |    8265    70478   234610 |    31613    31709     18 |  0.816 % |
559.98/559.96	c |   1479676 |    8265    70478   234610 |    31613    29990     17 |  0.816 % |
561.77/561.74	c |   1483773 |    8265    70478   234610 |    30314    27175     17 |  0.816 % |
565.07/565.04	c |   1491965 |    8265    70478   234610 |    30085    28575     16 |  0.816 % |
570.77/570.79	c |   1508350 |    8265    70478   234610 |    29768    28679     17 |  0.816 % |
571.07/571.02	c |   1508862 |    8265    70478   234610 |    29768    29191     17 |  0.816 % |
571.17/571.17	c |   1509374 |    8265    70478   234610 |    29768    29703     17 |  0.816 % |
571.57/571.55	c |   1510398 |    8265    70478   234610 | 2147483647    27704     17 |  0.816 % |
571.67/571.69	c |   1510910 |    8265    70478   234610 | 2147483647    28216     17 |  0.816 % |
571.87/571.81	c |   1511422 |    8265    70478   234610 | 2147483647    28728     17 |  0.816 % |
572.08/572.09	c |   1512446 |    8265    70478   234610 | 2147483647    29752     17 |  0.816 % |
572.87/572.84	c |   1514496 |    8265    70478   234610 | 2147483647    31802     17 |  0.816 % |
572.97/573.01	c |   1515008 |    8265    70478   234610 | 2147483647    32314     17 |  0.816 % |
573.27/573.21	c |   1515521 |    8265    70478   234610 | 2147483647    32827     18 |  0.816 % |
573.67/573.65	c |   1516545 |    8265    70478   234610 | 2147483647    33851     18 |  0.816 % |
573.87/573.85	c |   1517058 |    8265    70478   234610 | 2147483647    34364     18 |  0.816 % |
574.07/574.09	c |   1517570 |    8265    70478   234610 | 2147483647    34876     18 |  0.816 % |
574.37/574.40	c |   1518594 |    8265    70478   234610 | 2147483647    35900     18 |  0.816 % |
575.27/575.25	c |   1520643 |    8265    70478   234610 |    37308    33175     17 |  0.816 % |
576.77/576.80	c |   1524739 |    8265    70478   234610 |    37308    37271     18 |  0.816 % |
576.97/576.95	c |   1525252 |    8265    70478   234610 |    37308    37784     18 |  0.816 % |
577.17/577.17	c |   1525764 |    8265    70478   234610 |    37308    32794     17 |  0.816 % |
577.58/577.54	c |   1526790 |    8265    70478   234610 |    37308    33820     17 |  0.816 % |
577.77/577.75	c |   1527302 |    8265    70478   234610 |    37308    34332     17 |  0.816 % |
577.97/577.94	c |   1527815 |    8265    70478   234610 |    37308    34845     18 |  0.816 % |
578.27/578.24	c |   1528840 |    8265    70478   234610 |    37308    35870     18 |  0.816 % |
578.87/578.91	c |   1530888 |    8265    70478   234610 |    37030    33031     18 |  0.816 % |
579.07/579.08	c |   1531400 |    8265    70478   234610 |    37030    33543     18 |  0.816 % |
579.27/579.27	c |   1531913 |    8265    70478   234610 |    37030    34056     18 |  0.816 % |
579.67/579.62	c |   1532937 |    8265    70478   234610 |    37030    35080     18 |  0.816 % |
579.87/579.81	c |   1533449 |    8265    70478   234610 |    37030    35592     18 |  0.816 % |
579.97/579.97	c |   1533961 |    8265    70478   234610 |    37030    36104     18 |  0.816 % |
580.27/580.29	c |   1534985 |    8265    70478   234610 |    37030    37128     18 |  0.816 % |
581.07/581.07	c |   1537034 |    8265    70478   234610 |    37030    34013     18 |  0.816 % |
582.77/582.73	c |   1541131 |    8265    70478   234610 |    36980    32223     18 |  0.816 % |
586.27/586.29	c |   1549324 |    8265    70478   234610 |    36980    34283     18 |  0.816 % |
586.47/586.48	c |   1549837 |    8265    70478   234610 |    36980    34796     18 |  0.816 % |
586.67/586.66	c |   1550349 |    8265    70478   234610 |    34959    29633     17 |  0.816 % |
587.08/587.04	c |   1551374 |    8265    70478   234610 |    34959    30658     17 |  0.816 % |
587.18/587.20	c |   1551892 |    8265    70478   234610 |    34959    31176     17 |  0.816 % |
587.38/587.38	c |   1552404 |    8265    70478   234610 |    34959    31688     17 |  0.816 % |
587.78/587.81	c |   1553428 |    8265    70478   234610 |    34959    32712     17 |  0.816 % |
588.68/588.63	c |   1555476 |    8265    70478   234610 |    34959    34760     18 |  0.816 % |
588.88/588.88	c |   1555991 |    8265    70478   234610 |    34959    35275     18 |  0.816 % |
589.08/589.10	c |   1556505 |    8265    70478   234610 |    34959    30591     17 |  0.816 % |
589.48/589.43	c |   1557529 |    8265    70478   234610 |    34959    31615     17 |  0.816 % |
589.68/589.66	c |   1558041 |    8265    70478   234610 |    34959    32127     17 |  0.816 % |
589.88/589.84	c |   1558553 |    8265    70478   234610 |    34959    32639     17 |  0.816 % |
590.28/590.26	c |   1559578 |    8265    70478   234610 |    34959    33664     18 |  0.816 % |
590.88/590.84	c |   1561626 |    8265    70478   234610 |    34086    30906     17 |  0.816 % |
592.78/592.79	c |   1565724 |    8265    70478   234610 |    34086    30221     17 |  0.816 % |
592.98/593.01	c |   1566238 |    8265    70478   234610 |    34086    30735     17 |  0.816 % |
593.18/593.20	c |   1566753 |    8265    70478   234610 |    34086    31250     17 |  0.816 % |
593.58/593.62	c |   1567777 |    8265    70478   234610 |    34086    32274     17 |  0.816 % |
593.88/593.83	c |   1568290 |    8265    70478   234610 |    34086    32787     17 |  0.816 % |
594.08/594.04	c |   1568802 |    8265    70478   234610 |    34086    33299     17 |  0.816 % |
594.48/594.48	c |   1569827 |    8265    70478   234610 |    34086    34324     18 |  0.816 % |
595.48/595.43	c |   1571875 |    8265    70478   234610 |    29658    27461     17 |  0.816 % |
595.68/595.67	c |   1572390 |    8265    70478   234610 |    29658    27976     17 |  0.816 % |
595.88/595.87	c |   1572904 |    8265    70478   234610 |    29658    28490     17 |  0.816 % |
596.18/596.22	c |   1573928 |    8265    70478   234610 |    29658    29514     17 |  0.816 % |
596.38/596.37	c |   1574441 |    8265    70478   234610 |    29658    30027     17 |  0.816 % |
596.58/596.56	c |   1574953 |    8265    70478   234610 |    29658    26866     17 |  0.816 % |
596.98/596.92	c |   1575979 |    8263    70472   234598 |    29658    27889     17 |  0.840 % |
597.68/597.69	c |   1578027 |    8263    70472   234598 |    29658    29937     17 |  0.840 % |
599.38/599.32	c |   1582125 |    8263    70472   234598 |    28539    27286     17 |  0.840 % |
601.98/601.94	c |   1590317 |    8263    70472   234598 | 2147483647    26473     17 |  0.840 % |
608.67/608.66	c |   1606701 |    8263    70472   234598 |    36158    33993     19 |  0.840 % |
623.07/623.10	c |   1639469 |    8263    70472   234598 |    41561    37926     20 |  0.840 % |
654.47/654.44	c |   1705005 |    8262    70369   234290 |    30498    28052     17 |  0.852 % |
654.58/654.57	c |   1705518 |    8262    70369   234290 |    30498    28565     17 |  0.852 % |
654.67/654.70	c |   1706030 |    8262    70369   234290 |    30498    29077     17 |  0.852 % |
654.97/654.97	c |   1707054 |    8262    70369   234290 |    30498    30101     17 |  0.852 % |
655.27/655.22	c |   1707567 |    8262    70369   234290 |    30498    30614     18 |  0.852 % |
655.37/655.38	c |   1708079 |    8262    70369   234290 |    30498    27472     17 |  0.852 % |
655.68/655.69	c |   1709103 |    8262    70369   234290 |    30498    28496     17 |  0.852 % |
656.47/656.42	c |   1711151 |    8262    70369   234290 |    29393    27072     17 |  0.852 % |
656.57/656.53	c |   1711663 |    8262    70369   234290 |    29393    27584     17 |  0.852 % |
656.67/656.69	c |   1712175 |    8262    70369   234290 |    29393    28096     17 |  0.852 % |
657.07/657.06	c |   1713199 |    8262    70369   234290 |    29393    29120     18 |  0.852 % |
657.27/657.25	c |   1713714 |    8262    70369   234290 |    29393    29635     18 |  0.852 % |
657.47/657.44	c |   1714226 |    8262    70369   234290 |    29393    26649     17 |  0.852 % |
657.77/657.75	c |   1715251 |    8262    70369   234290 |    29393    27674     17 |  0.852 % |
658.67/658.64	c |   1717299 |    8262    70369   234290 |    29393    29722     18 |  0.852 % |
660.17/660.11	c |   1721395 |    8262    70369   234290 |    28849    26856     17 |  0.852 % |
660.37/660.30	c |   1721907 |    8262    70369   234290 |    28849    27368     17 |  0.852 % |
660.57/660.50	c |   1722419 |    8262    70369   234290 |    28849    27880     17 |  0.852 % |
660.87/660.87	c |   1723444 |    8262    70369   234290 |    28849    28905     18 |  0.852 % |
661.07/661.01	c |   1723956 |    8262    70369   234290 |    28849    26408     18 |  0.852 % |
661.18/661.16	c |   1724469 |    8262    70369   234290 |    28849    26921     18 |  0.852 % |
661.47/661.43	c |   1725493 |    8262    70369   234290 |    28849    27945     17 |  0.852 % |
662.28/662.30	c |   1727541 |    8262    70369   234290 |    28849    26989     17 |  0.852 % |
662.47/662.46	c |   1728054 |    8262    70369   234290 |    28849    27502     17 |  0.852 % |
662.67/662.61	c |   1728568 |    8262    70369   234290 |    28849    28016     17 |  0.852 % |
662.97/662.91	c |   1729594 |    8262    70369   234290 |    28849    29042     17 |  0.852 % |
663.07/663.08	c |   1730106 |    8262    70369   234290 |    26282    26388     17 |  0.852 % |
663.27/663.26	c |   1730620 |    8262    70369   234290 |    26282    24000     17 |  0.852 % |
663.67/663.64	c |   1731644 |    8262    70369   234290 |    26282    25024     17 |  0.852 % |
664.37/664.39	c |   1733693 |    8262    70369   234290 |    26282    24379     17 |  0.852 % |
665.87/665.89	c |   1737790 |    8262    70369   234290 |    26282    25816     17 |  0.852 % |
668.27/668.20	c |   1745987 |    8262    70369   234290 | 2147483647    31297     18 |  0.852 % |
668.47/668.43	c |   1746501 |    8262    70369   234290 | 2147483647    31811     18 |  0.852 % |
668.67/668.64	c |   1747014 |    8262    70369   234290 | 2147483647    32324     18 |  0.852 % |
669.07/669.05	c |   1748039 |    8262    70369   234290 | 2147483647    33349     18 |  0.852 % |
669.17/669.17	c |   1748551 |    8262    70369   234290 | 2147483647    33861     18 |  0.852 % |
669.37/669.38	c |   1749064 |    8262    70369   234290 | 2147483647    34374     18 |  0.852 % |
669.77/669.77	c |   1750088 |    8262    70369   234290 |    35310    35398     18 |  0.852 % |
670.67/670.66	c |   1752136 |    8262    70369   234290 |    35310    33682     18 |  0.852 % |
670.87/670.87	c |   1752649 |    8262    70369   234290 |    35310    34195     18 |  0.852 % |
671.08/671.04	c |   1753162 |    8262    70369   234290 |    35310    34708     18 |  0.852 % |
671.47/671.45	c |   1754186 |    8262    70369   234290 |    35310    31217     18 |  0.852 % |
671.67/671.64	c |   1754700 |    8262    70369   234290 |    35310    31731     18 |  0.852 % |
671.77/671.79	c |   1755212 |    8262    70369   234290 |    35310    32243     18 |  0.852 % |
672.18/672.14	c |   1756238 |    8262    70369   234290 |    35310    33269     18 |  0.852 % |
672.77/672.74	c |   1758286 |    8262    70369   234290 |    35310    35317     18 |  0.852 % |
674.38/674.36	c |   1762383 |    8262    70369   234290 |    32549    30746     17 |  0.852 % |
674.57/674.55	c |   1762899 |    8262    70369   234290 |    32549    31262     17 |  0.852 % |
674.67/674.66	c |   1763411 |    8262    70369   234290 |    32549    31774     18 |  0.852 % |
675.07/675.03	c |   1764436 |    8262    70369   234290 |    32549    32799     18 |  0.852 % |
675.27/675.28	c |   1764950 |    8262    70369   234290 |    32549    30034     17 |  0.852 % |
675.48/675.41	c |   1765463 |    8262    70369   234290 |    32549    30547     17 |  0.852 % |
675.77/675.78	c |   1766488 |    8262    70369   234290 |    32549    31572     17 |  0.852 % |
676.67/676.63	c |   1768536 |    8262    70369   234290 |    32549    29903     17 |  0.852 % |
676.77/676.80	c |   1769048 |    8262    70369   234290 |    32549    30415     17 |  0.852 % |
676.97/676.95	c |   1769561 |    8262    70369   234290 |    32549    30928     18 |  0.852 % |
677.37/677.34	c |   1770585 |    8262    70369   234290 |    31367    27886     17 |  0.852 % |
677.57/677.51	c |   1771098 |    8262    70369   234290 |    31367    28399     17 |  0.852 % |
677.77/677.70	c |   1771610 |    8262    70369   234290 |    31367    28911     18 |  0.852 % |
677.97/677.97	c |   1772634 |    8262    70369   234290 |    31367    29935     18 |  0.852 % |
678.78/678.75	c |   1774683 |    8262    70369   234290 |    31367    28390     18 |  0.852 % |
680.27/680.23	c |   1778779 |    8262    70369   234290 |    31367    29318     18 |  0.852 % |
683.37/683.31	c |   1786971 |    8261    70366   234284 | 2147483647    37509     19 |  0.864 % |
690.48/690.51	c |   1803356 |    8260    70363   234278 |    39163    36509     18 |  0.876 % |
690.68/690.70	c |   1803869 |    8260    70363   234278 |    39163    37022     18 |  0.876 % |
690.98/691.00	c |   1804382 |    8260    70363   234278 |    39163    37535     18 |  0.876 % |
691.38/691.40	c |   1805407 |    8260    70363   234278 |    39163    38560     18 |  0.876 % |
691.68/691.63	c |   1805920 |    8260    70363   234278 |    39163    39073     18 |  0.876 % |
691.88/691.91	c |   1806432 |    8260    70363   234278 |    39163    33203     17 |  0.876 % |
692.28/692.26	c |   1807458 |    8260    70363   234278 |    39163    34229     17 |  0.876 % |
693.08/693.06	c |   1809507 |    8260    70363   234278 |    39163    36278     17 |  0.876 % |
693.28/693.25	c |   1810020 |    8260    70363   234278 |    36771    36791     17 |  0.876 % |
693.48/693.49	c |   1810532 |    8260    70363   234278 |    36771    31453     17 |  0.876 % |
693.88/693.85	c |   1811556 |    8260    70363   234278 |    36771    32477     17 |  0.876 % |
694.08/694.06	c |   1812068 |    8260    70363   234278 |    36771    32989     17 |  0.876 % |
694.28/694.27	c |   1812583 |    8260    70363   234278 |    36771    33504     17 |  0.876 % |
694.58/694.60	c |   1813607 |    8260    70363   234278 |    36771    34528     17 |  0.876 % |
695.68/695.65	c |   1815658 |    8260    70363   234278 |    36771    36579     17 |  0.876 % |
697.18/697.14	c |   1819757 |    8260    70363   234278 |    36771    35088     18 |  0.876 % |
697.28/697.31	c |   1820269 |    8260    70363   234278 |    35332    35600     18 |  0.876 % |
697.58/697.53	c |   1820782 |    8260    70363   234278 |    35332    31063     17 |  0.876 % |
697.98/697.92	c |   1821806 |    8260    70363   234278 |    35332    32087     17 |  0.876 % |
698.18/698.19	c |   1822318 |    8260    70363   234278 |    35332    32599     17 |  0.876 % |
698.38/698.40	c |   1822830 |    8260    70363   234278 |    35332    33111     18 |  0.876 % |
698.78/698.81	c |   1823854 |    8260    70363   234278 |    35332    34135     18 |  0.876 % |
699.68/699.65	c |   1825902 |    8260    70363   234278 |    35332    30820     17 |  0.876 % |
699.88/699.81	c |   1826414 |    8260    70363   234278 |    35332    31332     18 |  0.876 % |
700.08/700.03	c |   1826927 |    8260    70363   234278 |    35332    31845     18 |  0.876 % |
700.38/700.39	c |   1827952 |    8260    70363   234278 |    35332    32870     18 |  0.876 % |
700.68/700.62	c |   1828464 |    8260    70363   234278 |    35332    33382     18 |  0.876 % |
700.78/700.74	c |   1828976 |    8260    70363   234278 |    35332    33894     18 |  0.876 % |
701.18/701.18	c |   1830002 |    8260    70363   234278 |    35332    34920     18 |  0.876 % |
701.98/701.92	c |   1832050 |    8260    70363   234278 |    34920    31837     18 |  0.876 % |
703.78/703.77	c |   1836147 |    8260    70363   234278 |    34920    30913     18 |  0.876 % |
707.08/707.08	c |   1844339 |    8260    70363   234278 |    34767    34232     18 |  0.876 % |
707.38/707.33	c |   1844852 |    8260    70363   234278 |    34767    34745     18 |  0.876 % |
707.58/707.56	c |   1845365 |    8260    70363   234278 |    34767    30314     18 |  0.876 % |
707.98/707.98	c |   1846392 |    8260    70363   234278 |    34767    31341     18 |  0.876 % |
708.18/708.15	c |   1846904 |    8260    70363   234278 |    34767    31853     18 |  0.876 % |
708.38/708.34	c |   1847417 |    8260    70363   234278 |    34767    32366     18 |  0.876 % |
708.78/708.77	c |   1848442 |    8260    70363   234278 |    34767    33391     18 |  0.876 % |
709.78/709.73	c |   1850490 |    8260    70363   234278 |    34949    30338     18 |  0.876 % |
709.88/709.87	c |   1851002 |    8260    70363   234278 |    34949    30850     18 |  0.876 % |
710.08/710.04	c |   1851514 |    8260    70363   234278 |    34949    31362     18 |  0.876 % |
710.48/710.47	c |   1852538 |    8260    70363   234278 |    34949    32386     18 |  0.876 % |
710.68/710.68	c |   1853052 |    8260    70363   234278 |    34949    32900     18 |  0.876 % |
710.88/710.85	c |   1853565 |    8260    70363   234278 |    34949    33413     18 |  0.876 % |
711.08/711.10	c |   1854590 |    8260    70363   234278 |    34949    34438     18 |  0.876 % |
712.08/712.07	c |   1856639 |    8260    70363   234278 |    34949    31508     18 |  0.876 % |
713.98/713.96	c |   1860736 |    8260    70363   234278 |    34869    30727     17 |  0.876 % |
714.08/714.10	c |   1861249 |    8260    70363   234278 |    34869    31240     17 |  0.876 % |
714.38/714.34	c |   1861761 |    8260    70363   234278 |    34869    31752     17 |  0.876 % |
714.78/714.76	c |   1862788 |    8260    70363   234278 |    34869    32779     17 |  0.876 % |
714.98/714.95	c |   1863300 |    8260    70363   234278 |    34869    33291     18 |  0.876 % |
715.18/715.18	c |   1863812 |    8260    70363   234278 |    34869    33803     18 |  0.876 % |
715.58/715.58	c |   1864836 |    8260    70363   234278 |    34869    34827     18 |  0.876 % |
716.38/716.39	c |   1866884 |    8260    70363   234278 |    34869    32235     18 |  0.876 % |
716.58/716.56	c |   1867396 |    8260    70363   234278 |    34869    32747     18 |  0.876 % |
716.78/716.78	c |   1867909 |    8260    70363   234278 |    34869    33260     18 |  0.876 % |
717.28/717.25	c |   1868933 |    8260    70363   234278 |    34869    34284     18 |  0.876 % |
717.58/717.54	c |   1869446 |    8260    70363   234278 |    34869    34797     18 |  0.876 % |
717.88/717.81	c |   1869960 |    8260    70363   234278 |    34869    35311     18 |  0.876 % |
718.18/718.17	c |   1870985 |    8260    70363   234278 |    30537    27421     17 |  0.876 % |
718.88/718.82	c |   1873034 |    8260    70363   234278 |    30537    29470     18 |  0.876 % |
720.68/720.69	c |   1877130 |    8260    70363   234278 |    30537    30101     18 |  0.876 % |
723.88/723.83	c |   1885322 |    8260    70363   234278 |    29259    27816     18 |  0.876 % |
730.38/730.31	c |   1901706 |    8260    70363   234278 | 2147483647    29022     17 |  0.876 % |
744.38/744.32	c |   1934474 |    8260    70363   234278 |    30765    27496     18 |  0.876 % |
744.48/744.46	c |   1934986 |    8260    70363   234278 |    30765    28008     18 |  0.876 % |
744.68/744.66	c |   1935499 |    8260    70363   234278 |    30765    28521     18 |  0.876 % |
744.88/744.89	c |   1936523 |    8260    70363   234278 |    30765    29545     18 |  0.876 % |
745.08/745.06	c |   1937035 |    8260    70363   234278 |    30765    30057     18 |  0.876 % |
745.28/745.26	c |   1937547 |    8260    70363   234278 |    30765    30569     18 |  0.876 % |
745.48/745.48	c |   1938572 |    8260    70363   234278 |    30765    28012     18 |  0.876 % |
746.18/746.14	c |   1940620 |    8260    70363   234278 |    29440    26604     18 |  0.876 % |
746.38/746.38	c |   1941133 |    8260    70363   234278 |    29440    27117     18 |  0.876 % |
746.68/746.62	c |   1941646 |    8260    70363   234278 |    29440    27630     18 |  0.876 % |
747.08/747.01	c |   1942670 |    8260    70363   234278 |    29440    28654     18 |  0.876 % |
747.18/747.20	c |   1943185 |    8260    70363   234278 |    29440    29169     18 |  0.876 % |
747.38/747.33	c |   1943698 |    8260    70363   234278 |    29440    29682     18 |  0.876 % |
747.68/747.61	c |   1944722 |    8260    70363   234278 |    29440    27393     18 |  0.876 % |
748.18/748.13	c |   1946771 |    8260    70363   234278 |    29440    29442     18 |  0.876 % |
749.48/749.46	c |   1950869 |    8260    70363   234278 | 2147483647    27609     18 |  0.876 % |
749.68/749.63	c |   1951381 |    8260    70363   234278 | 2147483647    28121     18 |  0.876 % |
749.88/749.81	c |   1951896 |    8260    70363   234278 | 2147483647    28636     18 |  0.876 % |
750.08/750.07	c |   1952920 |    8260    70363   234278 | 2147483647    29660     18 |  0.876 % |
750.29/750.23	c |   1953432 |    8260    70363   234278 | 2147483647    30172     18 |  0.876 % |
750.38/750.38	c |   1953945 |    8260    70363   234278 | 2147483647    30685     18 |  0.876 % |
750.68/750.67	c |   1954969 |    8260    70363   234278 | 2147483647    31709     18 |  0.876 % |
751.48/751.42	c |   1957017 |    8260    70363   234278 | 2147483647    33757     18 |  0.876 % |
751.68/751.64	c |   1957529 |    8260    70363   234278 | 2147483647    34269     18 |  0.876 % |
751.78/751.80	c |   1958042 |    8260    70363   234278 | 2147483647    34782     18 |  0.876 % |
752.18/752.17	c |   1959067 |    8260    70363   234278 | 2147483647    35807     18 |  0.876 % |
752.38/752.41	c |   1959579 |    8260    70363   234278 | 2147483647    36319     18 |  0.876 % |
752.68/752.62	c |   1960091 |    8260    70363   234278 |    36740    36831     18 |  0.876 % |
752.98/752.97	c |   1961116 |    8260    70363   234278 |    36740    33752     18 |  0.876 % |
753.68/753.70	c |   1963166 |    8260    70363   234278 |    36740    35802     18 |  0.876 % |
755.28/755.23	c |   1967262 |    8260    70363   234278 |    36740    35612     18 |  0.876 % |
758.78/758.78	c |   1975454 |    8260    70363   234278 |    34000    32016     17 |  0.876 % |
758.98/758.98	c |   1975967 |    8260    70363   234278 |    34000    32529     17 |  0.876 % |
759.18/759.18	c |   1976480 |    8260    70363   234278 |    34000    33042     18 |  0.876 % |
759.68/759.61	c |   1977504 |    8259    70360   234272 |    34000    34064     18 |  0.888 % |
759.78/759.80	c |   1978016 |    8259    70360   234272 |    34000    30682     17 |  0.888 % |
759.98/759.99	c |   1978531 |    8259    70360   234272 |    34000    31197     18 |  0.888 % |
760.28/760.30	c |   1979555 |    8259    70360   234272 |    34000    32221     18 |  0.888 % |
761.08/761.01	c |   1981603 |    8259    70360   234272 |    32666    30593     18 |  0.888 % |
761.18/761.17	c |   1982119 |    8259    70360   234272 |    32666    31109     18 |  0.888 % |
761.38/761.39	c |   1982632 |    8259    70360   234272 |    32666    31622     18 |  0.888 % |
761.78/761.80	c |   1983656 |    8259    70360   234272 |    32666    32646     18 |  0.888 % |
761.98/761.99	c |   1984169 |    8259    70360   234272 |    32666    29236     17 |  0.888 % |
762.18/762.17	c |   1984682 |    8259    70360   234272 |    32666    29749     17 |  0.888 % |
762.58/762.52	c |   1985706 |    8259    70360   234272 |    32666    30773     17 |  0.888 % |
763.28/763.22	c |   1987754 |    8259    70360   234272 |    32666    32821     18 |  0.888 % |
764.88/764.84	c |   1991852 |    8259    70360   234272 |    31385    29566     17 |  0.888 % |
765.08/765.04	c |   1992364 |    8259    70360   234272 |    31385    30078     17 |  0.888 % |
765.18/765.19	c |   1992878 |    8259    70360   234272 |    31385    30592     17 |  0.888 % |
765.69/765.62	c |   1993904 |    8259    70360   234272 |    31385    27826     17 |  0.888 % |
765.88/765.83	c |   1994416 |    8259    70360   234272 |    31385    28338     17 |  0.888 % |
766.08/766.04	c |   1994929 |    8259    70360   234272 |    31385    28851     17 |  0.888 % |
766.48/766.44	c |   1995954 |    8259    70360   234272 |    31385    29876     17 |  0.888 % |
767.08/767.06	c |   1998002 |    8259    70360   234272 |    31385    28050     17 |  0.888 % |
767.38/767.33	c |   1998514 |    8259    70360   234272 |    31385    28562     17 |  0.888 % |
767.58/767.53	c |   1999026 |    8259    70360   234272 |    31385    29074     17 |  0.888 % |
767.89/767.87	c |   2000050 |    8259    70360   234272 |    30049    30098     17 |  0.888 % |
768.08/768.08	c |   2000562 |    8259    70360   234272 |    30049    26451     16 |  0.888 % |
768.28/768.24	c |   2001074 |    8259    70360   234272 |    30049    26963     16 |  0.888 % |
768.48/768.49	c |   2002099 |    8259    70360   234272 |    30049    27988     17 |  0.888 % |
769.48/769.42	c |   2004148 |    8259    70360   234272 |    30049    30037     17 |  0.888 % |
770.88/770.87	c |   2008244 |    8259    70360   234272 |    30049    30141     17 |  0.888 % |
774.08/774.05	c |   2016436 |    8259    70360   234272 |    28168    28256     17 |  0.888 % |
779.78/779.74	c |   2032820 |    8258    70344   234239 | 2147483647    38721     18 |  0.900 % |
779.99/779.94	c |   2033332 |    8258    70344   234239 | 2147483647    39233     18 |  0.900 % |
780.18/780.15	c |   2033846 |    8258    70344   234239 | 2147483647    39747     18 |  0.900 % |
780.68/780.69	c |   2034871 |    8258    70344   234239 | 2147483647    40772     18 |  0.900 % |
780.98/780.98	c |   2035383 |    8257    70341   234233 | 2147483647    41280     18 |  0.912 % |
781.18/781.16	c |   2035896 |    8257    70341   234233 | 2147483647    41793     19 |  0.912 % |
781.78/781.78	c |   2036920 |    8257    70341   234233 | 2147483647    42817     19 |  0.912 % |
782.79/782.74	c |   2038968 |    8257    70341   234233 | 2147483647    44865     19 |  0.912 % |
782.99/782.98	c |   2039480 |    8257    70341   234233 | 2147483647    45377     19 |  0.912 % |
783.29/783.24	c |   2039993 |    8257    70341   234233 | 2147483647    45890     19 |  0.912 % |
783.79/783.78	c |   2041017 |    8257    70341   234233 |    45897    39065     19 |  0.912 % |
784.09/784.08	c |   2041530 |    8257    70341   234233 |    45897    39578     19 |  0.912 % |
784.39/784.34	c |   2042042 |    8257    70341   234233 |    45897    40090     19 |  0.912 % |
784.89/784.85	c |   2043066 |    8257    70341   234233 |    45897    41114     19 |  0.912 % |
785.89/785.90	c |   2045114 |    8257    70341   234233 |    45897    43162     19 |  0.912 % |
787.89/787.85	c |   2049210 |    8257    70341   234233 |    45897    38553     19 |  0.912 % |
788.19/788.13	c |   2049722 |    8257    70341   234233 |    45897    39065     19 |  0.912 % |
788.39/788.41	c |   2050234 |    8257    70341   234233 |    39343    39577     19 |  0.912 % |
788.89/788.84	c |   2051259 |    8257    70341   234233 |    39343    33231     18 |  0.912 % |
789.09/789.05	c |   2051773 |    8257    70341   234233 |    39343    33745     18 |  0.912 % |
789.29/789.26	c |   2052285 |    8257    70341   234233 |    39343    34257     18 |  0.912 % |
789.69/789.65	c |   2053310 |    8257    70341   234233 |    39343    35282     18 |  0.912 % |
790.59/790.52	c |   2055361 |    8257    70341   234233 |    39343    37333     18 |  0.912 % |
790.79/790.71	c |   2055873 |    8257    70341   234233 |    39343    37845     18 |  0.912 % |
790.99/790.97	c |   2056385 |    8257    70341   234233 |    39343    38357     18 |  0.912 % |
791.49/791.51	c |   2057410 |    8257    70341   234233 |    39343    39382     19 |  0.912 % |
791.79/791.81	c |   2057923 |    8257    70341   234233 |    39343    33206     18 |  0.912 % |
791.99/792.00	c |   2058436 |    8257    70341   234233 |    39343    33719     18 |  0.912 % |
792.49/792.42	c |   2059463 |    8256    70338   234227 |    39343    34744     18 |  0.924 % |
793.29/793.24	c |   2061513 |    8256    70338   234227 |    35282    31203     17 |  0.924 % |
794.79/794.81	c |   2065611 |    8256    70338   234227 |    35282    35301     18 |  0.924 % |
798.19/798.16	c |   2073803 |    8256    70338   234227 |    34838    33803     18 |  0.924 % |
798.39/798.40	c |   2074316 |    8256    70338   234227 |    34838    34316     18 |  0.924 % |
798.59/798.60	c |   2074832 |    8256    70338   234227 |    34838    34832     18 |  0.924 % |
799.09/799.03	c |   2075856 |    8256    70338   234227 |    34838    30502     17 |  0.924 % |
799.19/799.17	c |   2076368 |    8256    70338   234227 |    34838    31014     17 |  0.924 % |
799.39/799.35	c |   2076880 |    8256    70338   234227 |    34838    31526     17 |  0.924 % |
799.79/799.81	c |   2077904 |    8256    70338   234227 |    34838    32550     17 |  0.924 % |
800.59/800.57	c |   2079954 |    8256    70338   234227 |    34838    34600     18 |  0.924 % |
800.89/800.85	c |   2080468 |    8256    70338   234227 |    34646    30073     17 |  0.924 % |
801.09/801.06	c |   2080981 |    8256    70338   234227 |    34646    30586     17 |  0.924 % |
801.49/801.48	c |   2082005 |    8256    70338   234227 |    34646    31610     18 |  0.924 % |
801.79/801.72	c |   2082517 |    8256    70338   234227 |    34646    32122     18 |  0.924 % |
801.89/801.91	c |   2083029 |    8256    70338   234227 |    34646    32634     18 |  0.924 % |
802.49/802.44	c |   2084054 |    8256    70338   234227 |    34646    33659     18 |  0.924 % |
803.59/803.59	c |   2086102 |    8256    70338   234227 |    34646    30361     17 |  0.924 % |
805.09/805.07	c |   2090199 |    8256    70338   234227 |    34260    34458     17 |  0.924 % |
805.29/805.25	c |   2090711 |    8256    70338   234227 |    34260    30213     17 |  0.924 % |
805.49/805.48	c |   2091223 |    8256    70338   234227 |    34260    30725     17 |  0.924 % |
805.69/805.67	c |   2092252 |    8256    70338   234227 |    34260    31754     17 |  0.924 % |
805.89/805.83	c |   2092764 |    8256    70338   234227 |    34260    32266     17 |  0.924 % |
806.09/806.02	c |   2093277 |    8256    70338   234227 |    34260    32779     17 |  0.924 % |
806.49/806.44	c |   2094304 |    8256    70338   234227 |    34260    33806     17 |  0.924 % |
807.29/807.24	c |   2096355 |    8256    70338   234227 |    34260    31614     17 |  0.924 % |
807.49/807.44	c |   2096867 |    8256    70338   234227 |    34260    32126     17 |  0.924 % |
807.69/807.61	c |   2097380 |    8256    70338   234227 |    34260    32639     17 |  0.924 % |
808.19/808.17	c |   2098404 |    8256    70338   234227 |    34260    33663     18 |  0.924 % |
808.49/808.42	c |   2098918 |    8256    70338   234227 |    34260    34177     18 |  0.924 % |
808.69/808.63	c |   2099430 |    8256    70338   234227 |    34260    30252     17 |  0.924 % |
809.19/809.20	c |   2100454 |    8256    70338   234227 |    30822    27102     17 |  0.924 % |
809.89/809.87	c |   2102502 |    8256    70338   234227 |    30822    29150     17 |  0.924 % |
811.59/811.55	c |   2106598 |    8256    70338   234227 |    30822    29972     17 |  0.924 % |
814.79/814.81	c |   2114792 |    8255    70236   233922 |    30034    28065     17 |  0.936 % |
821.39/821.40	c |   2131176 |    8254    70136   233623 |    29758    27462     16 |  0.948 % |
833.89/833.83	c |   2163944 |    8252    70111   233563 |    39614    37960     20 |  0.972 % |
862.69/862.62	c |   2229480 |    8249    70087   233506 |    33915    32778     18 |  1.008 % |
912.50/912.47	c |   2360554 |    8245    70072   233476 |    37595    32930     19 |  1.056 % |
1014.21/1014.12	c |   2622698 |    8227    69921   233075 |    30289    29154     19 |  1.272 % |
1014.31/1014.29	c |   2623210 |    8227    69921   233075 |    30289    29666     19 |  1.272 % |
1014.51/1014.46	c |   2623723 |    8227    69921   233075 |    30289    30179     19 |  1.272 % |
1014.81/1014.77	c |   2624748 |    8227    69921   233075 |    30289    27556     19 |  1.272 % |
1014.91/1014.89	c |   2625260 |    8226    69921   233075 |    30289    28067     19 |  1.284 % |
1015.11/1015.06	c |   2625773 |    8226    69918   233069 |    30289    28578     19 |  1.284 % |
1015.41/1015.35	c |   2626797 |    8226    69918   233069 |    30289    29602     19 |  1.284 % |
1015.91/1015.83	c |   2628845 |    8226    69918   233069 |    30289    28221     19 |  1.284 % |
1016.01/1015.97	c |   2629359 |    8226    69918   233069 |    30289    28735     19 |  1.284 % |
1016.11/1016.10	c |   2629871 |    8226    69918   233069 |    30289    29247     19 |  1.284 % |
1016.51/1016.43	c |   2630896 |    8226    69918   233069 |    29376    27069     18 |  1.284 % |
1016.61/1016.56	c |   2631408 |    8226    69918   233069 |    29376    27581     18 |  1.284 % |
1016.71/1016.70	c |   2631920 |    8226    69918   233069 |    29376    28093     18 |  1.284 % |
1017.01/1016.98	c |   2632945 |    8226    69918   233069 |    29376    29118     18 |  1.284 % |
1017.61/1017.58	c |   2634993 |    8226    69918   233069 |    29376    28197     18 |  1.284 % |
1018.71/1018.63	c |   2639089 |    8226    69918   233069 |    29376    29319     18 |  1.284 % |
1018.81/1018.77	c |   2639601 |    8226    69918   233069 |    29376    29831     18 |  1.284 % |
1019.01/1018.92	c |   2640114 |    8226    69918   233069 | 2147483647    27361     17 |  1.284 % |
1019.21/1019.21	c |   2641140 |    8225    69915   233063 | 2147483647    28386     17 |  1.296 % |
1019.41/1019.34	c |   2641653 |    8225    69915   233063 | 2147483647    28899     17 |  1.296 % |
1019.51/1019.47	c |   2642166 |    8225    69915   233063 | 2147483647    29412     17 |  1.296 % |
1019.81/1019.72	c |   2643190 |    8225    69915   233063 | 2147483647    30436     18 |  1.296 % |
1020.41/1020.38	c |   2645238 |    8225    69915   233063 | 2147483647    32484     18 |  1.296 % |
1020.61/1020.53	c |   2645750 |    8225    69915   233063 | 2147483647    32996     18 |  1.296 % |
1020.71/1020.68	c |   2646263 |    8225    69915   233063 | 2147483647    33509     18 |  1.296 % |
1021.01/1020.95	c |   2647288 |    8225    69915   233063 | 2147483647    34534     18 |  1.296 % |
1021.21/1021.13	c |   2647800 |    8225    69915   233063 | 2147483647    35046     18 |  1.296 % |
1021.31/1021.30	c |   2648312 |    8225    69915   233063 | 2147483647    35558     18 |  1.296 % |
1021.71/1021.69	c |   2649336 |    8225    69915   233063 | 2147483647    36582     18 |  1.296 % |
1022.41/1022.36	c |   2651385 |    8225    69915   233063 |    37246    33559     18 |  1.296 % |
1023.71/1023.70	c |   2655481 |    8225    69915   233063 |    37246    32963     18 |  1.296 % |
1026.31/1026.22	c |   2663673 |    8224    69912   233057 |    37481    36046     18 |  1.308 % |
1026.41/1026.35	c |   2664185 |    8224    69912   233057 |    37481    36558     18 |  1.308 % |
1026.51/1026.51	c |   2664698 |    8224    69912   233057 |    37481    37071     18 |  1.308 % |
1026.91/1026.88	c |   2665722 |    8224    69912   233057 |    37481    32816     18 |  1.308 % |
1027.11/1027.04	c |   2666235 |    8224    69912   233057 |    37481    33329     18 |  1.308 % |
1027.21/1027.19	c |   2666749 |    8224    69912   233057 |    37481    33843     18 |  1.308 % |
1027.51/1027.49	c |   2667774 |    8224    69912   233057 |    37481    34868     18 |  1.308 % |
1028.31/1028.22	c |   2669825 |    8224    69912   233057 |    37481    36919     18 |  1.308 % |
1028.41/1028.37	c |   2670337 |    8224    69912   233057 |    37094    37431     18 |  1.308 % |
1028.61/1028.53	c |   2670851 |    8224    69912   233057 |    37094    32612     18 |  1.308 % |
1028.91/1028.89	c |   2671879 |    8224    69912   233057 |    37094    33640     18 |  1.308 % |
1029.11/1029.05	c |   2672391 |    8224    69912   233057 |    37094    34152     18 |  1.308 % |
1029.21/1029.20	c |   2672904 |    8224    69912   233057 |    37094    34665     18 |  1.308 % |
1029.61/1029.54	c |   2673931 |    8224    69912   233057 |    37094    35692     18 |  1.308 % |
1030.31/1030.22	c |   2675979 |    8224    69912   233057 |    37094    32285     18 |  1.308 % |
1031.71/1031.67	c |   2680077 |    8224    69912   233057 |    36307    36383     18 |  1.308 % |
1031.91/1031.88	c |   2680589 |    8224    69912   233057 |    36307    31184     17 |  1.308 % |
1032.11/1032.02	c |   2681102 |    8224    69912   233057 |    36307    31697     17 |  1.308 % |
1032.41/1032.34	c |   2682126 |    8224    69912   233057 |    36307    32721     18 |  1.308 % |
1032.51/1032.51	c |   2682639 |    8224    69912   233057 |    36307    33234     18 |  1.308 % |
1032.71/1032.70	c |   2683152 |    8224    69912   233057 |    36307    33747     18 |  1.308 % |
1033.11/1033.01	c |   2684177 |    8224    69912   233057 |    36307    34772     18 |  1.308 % |
1033.81/1033.72	c |   2686227 |    8224    69912   233057 |    36307    31537     17 |  1.308 % |
1033.91/1033.89	c |   2686740 |    8224    69912   233057 |    36307    32050     17 |  1.308 % |
1034.12/1034.09	c |   2687252 |    8224    69912   233057 |    36307    32562     17 |  1.308 % |
1034.51/1034.44	c |   2688276 |    8224    69912   233057 |    36307    33586     18 |  1.308 % |
1034.71/1034.63	c |   2688788 |    8224    69912   233057 |    36307    34098     18 |  1.308 % |
1034.91/1034.87	c |   2689301 |    8224    69912   233057 |    36307    34611     18 |  1.308 % |
1035.31/1035.28	c |   2690326 |    8224    69912   233057 |    35311    30806     17 |  1.308 % |
1035.91/1035.89	c |   2692374 |    8224    69912   233057 |    35311    32854     17 |  1.308 % |
1037.31/1037.24	c |   2696472 |    8224    69912   233057 |    35311    32256     17 |  1.308 % |
1039.91/1039.90	c |   2704667 |    8223    69909   233051 |    30890    31139     18 |  1.320 % |
1045.01/1044.95	c |   2721051 |    8223    69909   233051 | 2147483647    27832     19 |  1.320 % |
1045.12/1045.03	c |   2721563 |    8223    69909   233051 | 2147483647    28344     19 |  1.320 % |
1045.21/1045.20	c |   2722075 |    8223    69909   233051 | 2147483647    28856     19 |  1.320 % |
1045.51/1045.50	c |   2723099 |    8223    69909   233051 | 2147483647    29880     19 |  1.320 % |
1045.71/1045.65	c |   2723611 |    8223    69909   233051 | 2147483647    30392     19 |  1.320 % |
1045.81/1045.75	c |   2724125 |    8223    69909   233051 | 2147483647    30906     19 |  1.320 % |
1046.11/1046.05	c |   2725150 |    8223    69909   233051 | 2147483647    31931     19 |  1.320 % |
1046.81/1046.75	c |   2727199 |    8223    69909   233051 | 2147483647    33980     19 |  1.320 % |
1046.91/1046.90	c |   2727711 |    8223    69909   233051 | 2147483647    34492     19 |  1.320 % |
1047.11/1047.08	c |   2728225 |    8223    69909   233051 | 2147483647    35006     19 |  1.320 % |
1047.41/1047.34	c |   2729249 |    8223    69909   233051 | 2147483647    36030     19 |  1.320 % |
1047.51/1047.51	c |   2729761 |    8223    69909   233051 | 2147483647    36542     19 |  1.320 % |
1047.71/1047.66	c |   2730274 |    8223    69909   233051 |    36781    37055     19 |  1.320 % |
1048.11/1048.03	c |   2731301 |    8223    69909   233051 |    36781    33638     19 |  1.320 % |
1048.81/1048.74	c |   2733351 |    8223    69909   233051 |    36781    35688     19 |  1.320 % |
1050.11/1050.07	c |   2737449 |    8223    69909   233051 |    36781    34458     18 |  1.320 % |
1050.31/1050.25	c |   2737961 |    8223    69909   233051 |    36781    34970     18 |  1.320 % |
1050.51/1050.43	c |   2738473 |    8223    69909   233051 |    36781    35482     18 |  1.320 % |
1050.81/1050.77	c |   2739497 |    8223    69909   233051 |    36781    36506     18 |  1.320 % |
1051.01/1050.94	c |   2740009 |    8223    69909   233051 |    37009    37018     18 |  1.320 % |
1051.11/1051.09	c |   2740521 |    8223    69909   233051 |    37009    32329     17 |  1.320 % |
1051.51/1051.43	c |   2741545 |    8223    69909   233051 |    37009    33353     17 |  1.320 % |
1052.31/1052.24	c |   2743593 |    8223    69909   233051 |    37009    35401     18 |  1.320 % |
1052.41/1052.40	c |   2744105 |    8223    69909   233051 |    37009    35913     18 |  1.320 % |
1052.61/1052.58	c |   2744617 |    8223    69909   233051 |    37009    36425     18 |  1.320 % |
1053.01/1052.95	c |   2745641 |    8223    69909   233051 |    37009    31811     17 |  1.320 % |
1053.21/1053.13	c |   2746153 |    8223    69909   233051 |    37009    32323     17 |  1.320 % |
1053.31/1053.26	c |   2746665 |    8223    69909   233051 |    37009    32835     17 |  1.320 % |
1053.61/1053.60	c |   2747689 |    8223    69909   233051 |    37009    33859     17 |  1.320 % |
1054.41/1054.35	c |   2749737 |    8223    69909   233051 |    37009    35907     17 |  1.320 % |
1055.71/1055.62	c |   2753833 |    8223    69909   233051 |    36170    34530     17 |  1.320 % |
1058.71/1058.63	c |   2762028 |    8223    69909   233051 |    36208    33651     17 |  1.320 % |
1058.81/1058.77	c |   2762541 |    8223    69909   233051 |    36208    34164     17 |  1.320 % |
1059.01/1058.96	c |   2763056 |    8223    69909   233051 |    36208    34679     17 |  1.320 % |
1059.42/1059.34	c |   2764082 |    8223    69909   233051 |    36208    35705     17 |  1.320 % |
1059.51/1059.48	c |   2764594 |    8223    69909   233051 |    36208    36217     18 |  1.320 % |
1059.71/1059.66	c |   2765107 |    8223    69909   233051 |    36208    31642     17 |  1.320 % |
1060.11/1060.09	c |   2766131 |    8223    69909   233051 |    36208    32666     17 |  1.320 % |
1060.81/1060.78	c |   2768179 |    8223    69909   233051 |    36208    34714     18 |  1.320 % |
1061.01/1060.95	c |   2768691 |    8223    69909   233051 |    36208    35226     18 |  1.320 % |
1061.21/1061.15	c |   2769204 |    8223    69909   233051 |    36208    35739     18 |  1.320 % |
1061.62/1061.55	c |   2770228 |    8223    69909   233051 |    36535    36763     18 |  1.320 % |
1061.81/1061.78	c |   2770742 |    8223    69909   233051 |    36535    32217     17 |  1.320 % |
1062.01/1061.96	c |   2771254 |    8223    69909   233051 |    36535    32729     18 |  1.320 % |
1062.31/1062.25	c |   2772278 |    8223    69909   233051 |    36535    33753     18 |  1.320 % |
1063.11/1063.10	c |   2774326 |    8223    69909   233051 |    36535    35801     18 |  1.320 % |
1064.41/1064.38	c |   2778423 |    8223    69909   233051 |    36535    34775     18 |  1.320 % |
1064.61/1064.60	c |   2778937 |    8223    69909   233051 |    36535    35289     18 |  1.320 % |
1064.81/1064.75	c |   2779449 |    8223    69909   233051 |    36535    35801     18 |  1.320 % |
1065.21/1065.20	c |   2780473 |    8223    69909   233051 |    36352    31666     18 |  1.320 % |
1065.41/1065.36	c |   2780985 |    8223    69909   233051 |    36352    32178     18 |  1.320 % |
1065.61/1065.53	c |   2781497 |    8223    69909   233051 |    36352    32690     18 |  1.320 % |
1065.91/1065.89	c |   2782521 |    8223    69909   233051 |    36352    33714     18 |  1.320 % |
1066.71/1066.61	c |   2784569 |    8223    69909   233051 |    36352    35762     18 |  1.320 % |
1066.91/1066.83	c |   2785082 |    8223    69909   233051 |    36352    36275     18 |  1.320 % |
1067.12/1067.06	c |   2785594 |    8223    69909   233051 |    36352    31471     17 |  1.320 % |
1067.41/1067.35	c |   2786619 |    8223    69909   233051 |    36352    32496     18 |  1.320 % |
1067.51/1067.49	c |   2787132 |    8223    69909   233051 |    36352    33009     18 |  1.320 % |
1067.71/1067.67	c |   2787644 |    8223    69909   233051 |    36352    33521     18 |  1.320 % |
1068.01/1067.93	c |   2788669 |    8223    69909   233051 |    36352    34546     18 |  1.320 % |
1068.61/1068.58	c |   2790718 |    8223    69909   233051 |    35877    31790     18 |  1.320 % |
1070.21/1070.12	c |   2794815 |    8223    69909   233051 |    35877    35887     18 |  1.320 % |
1073.41/1073.41	c |   2803007 |    8222    69906   233045 |    36184    33373     17 |  1.332 % |
1079.62/1079.53	c |   2819391 |    8221    69903   233039 |    35062    34411     17 |  1.344 % |
1090.12/1090.08	c |   2852160 |    8221    69903   233039 |    31293    29321     18 |  1.344 % |
1090.32/1090.25	c |   2852675 |    8221    69903   233039 |    31293    29836     18 |  1.344 % |
1090.42/1090.39	c |   2853187 |    8221    69903   233039 |    31293    30348     18 |  1.344 % |
1090.72/1090.64	c |   2854211 |    8221    69903   233039 |    31293    31372     18 |  1.344 % |
1090.82/1090.78	c |   2854724 |    8221    69903   233039 |    31293    28250     18 |  1.344 % |
1090.92/1090.89	c |   2855237 |    8221    69903   233039 |    31293    28763     18 |  1.344 % |
1091.12/1091.12	c |   2856261 |    8221    69903   233039 |    31293    29787     18 |  1.344 % |
1091.72/1091.69	c |   2858310 |    8221    69903   233039 |    31293    31836     18 |  1.344 % |
1091.92/1091.85	c |   2858822 |    8221    69903   233039 |    31293    28674     18 |  1.344 % |
1092.02/1092.00	c |   2859336 |    8221    69903   233039 |    31293    29188     18 |  1.344 % |
1092.32/1092.30	c |   2860362 |    8221    69903   233039 |    29853    30214     18 |  1.344 % |
1092.52/1092.48	c |   2860876 |    8221    69903   233039 |    29853    27447     17 |  1.344 % |
1092.62/1092.61	c |   2861389 |    8221    69903   233039 |    29853    27960     17 |  1.344 % |
1092.92/1092.90	c |   2862414 |    8221    69903   233039 |    29853    28985     17 |  1.344 % |
1093.62/1093.52	c |   2864464 |    8221    69903   233039 |    29853    27987     17 |  1.344 % |
1094.82/1094.78	c |   2868560 |    8221    69903   233039 |    29853    29061     17 |  1.344 % |
1095.02/1094.93	c |   2869072 |    8221    69903   233039 |    29853    29573     17 |  1.344 % |
1095.12/1095.07	c |   2869584 |    8221    69903   233039 |    29853    30085     17 |  1.344 % |
1095.32/1095.31	c |   2870610 |    8221    69903   233039 | 2147483647    28099     17 |  1.344 % |
1095.52/1095.46	c |   2871123 |    8221    69903   233039 | 2147483647    28612     17 |  1.344 % |
1095.62/1095.60	c |   2871635 |    8221    69903   233039 | 2147483647    29124     17 |  1.344 % |
1095.92/1095.87	c |   2872660 |    8221    69903   233039 | 2147483647    30149     17 |  1.344 % |
1096.52/1096.51	c |   2874708 |    8221    69903   233039 | 2147483647    32197     18 |  1.344 % |
1096.72/1096.70	c |   2875220 |    8221    69903   233039 | 2147483647    32709     18 |  1.344 % |
1096.92/1096.86	c |   2875733 |    8221    69903   233039 | 2147483647    33222     18 |  1.344 % |
1097.22/1097.17	c |   2876758 |    8221    69903   233039 | 2147483647    34247     18 |  1.344 % |
1097.42/1097.34	c |   2877270 |    8221    69903   233039 | 2147483647    34759     18 |  1.344 % |
1097.52/1097.51	c |   2877784 |    8221    69903   233039 | 2147483647    35273     18 |  1.344 % |
1098.02/1097.92	c |   2878808 |    8220    69900   233033 | 2147483647    36294     18 |  1.356 % |
1098.82/1098.79	c |   2880857 |    8220    69900   233033 |    37487    33495     18 |  1.356 % |
1100.12/1100.10	c |   2884953 |    8220    69900   233033 |    37487    37591     18 |  1.356 % |
1103.22/1103.20	c |   2893145 |    8220    69900   233033 |    37833    36018     18 |  1.356 % |
1103.42/1103.35	c |   2893657 |    8220    69900   233033 |    37833    36530     18 |  1.356 % |
1103.62/1103.55	c |   2894171 |    8220    69900   233033 |    37833    37044     18 |  1.356 % |
1104.02/1103.95	c |   2895196 |    8220    69900   233033 |    37833    38069     18 |  1.356 % |
1104.22/1104.15	c |   2895710 |    8220    69900   233033 |    37833    33201     18 |  1.356 % |
1104.32/1104.31	c |   2896223 |    8220    69900   233033 |    37833    33714     18 |  1.356 % |
1104.82/1104.74	c |   2897248 |    8220    69900   233033 |    37833    34739     18 |  1.356 % |
1105.42/1105.32	c |   2899296 |    8220    69900   233033 |    37833    36787     18 |  1.356 % |
1105.62/1105.54	c |   2899813 |    8220    69900   233033 |    37833    37304     18 |  1.356 % |
1105.82/1105.72	c |   2900325 |    8220    69900   233033 |    37491    37816     18 |  1.356 % |
1106.32/1106.23	c |   2901353 |    8220    69900   233033 |    37491    33213     18 |  1.356 % |
1106.52/1106.45	c |   2901866 |    8220    69900   233033 |    37491    33726     18 |  1.356 % |
1106.72/1106.66	c |   2902378 |    8220    69900   233033 |    37491    34238     18 |  1.356 % |
1107.12/1107.02	c |   2903404 |    8220    69900   233033 |    37491    35264     18 |  1.356 % |
1107.82/1107.72	c |   2905454 |    8219    69801   232737 |    37491    37312     18 |  1.368 % |
1109.22/1109.17	c |   2909551 |    8219    69801   232737 |    37491    35581     18 |  1.368 % |
1109.42/1109.39	c |   2910064 |    8219    69801   232737 |    36032    36094     18 |  1.368 % |
1109.62/1109.58	c |   2910579 |    8219    69801   232737 |    36032    31252     17 |  1.368 % |
1110.02/1109.96	c |   2911603 |    8219    69801   232737 |    36032    32276     17 |  1.368 % |
1110.22/1110.18	c |   2912119 |    8217    69776   232677 |    36032    32788     17 |  1.392 % |
1110.42/1110.35	c |   2912631 |    8217    69776   232677 |    36032    33300     17 |  1.392 % |
1110.82/1110.72	c |   2913656 |    8217    69776   232677 |    36032    34325     17 |  1.392 % |
1111.62/1111.57	c |   2915704 |    8217    69776   232677 |    36032    30709     17 |  1.392 % |
1111.72/1111.67	c |   2916216 |    8217    69776   232677 |    36032    31221     17 |  1.392 % |
1111.92/1111.85	c |   2916728 |    8217    69776   232677 |    36032    31733     17 |  1.392 % |
1112.22/1112.20	c |   2917754 |    8217    69776   232677 |    36032    32759     17 |  1.392 % |
1112.42/1112.40	c |   2918267 |    8217    69776   232677 |    36032    33272     17 |  1.392 % |
1112.72/1112.63	c |   2918779 |    8217    69776   232677 |    36032    33784     17 |  1.392 % |
1113.12/1113.07	c |   2919803 |    8217    69776   232677 |    36032    34808     17 |  1.392 % |
1114.02/1113.97	c |   2921851 |    8217    69776   232677 |    35005    31116     17 |  1.392 % |
1115.32/1115.29	c |   2925948 |    8217    69776   232677 |    35005    35213     18 |  1.392 % |
1118.62/1118.62	c |   2934140 |    8217    69776   232677 |    34184    32683     17 |  1.392 % |
1123.82/1123.74	c |   2950524 |    8217    69776   232677 |    31135    28501     17 |  1.392 % |
1123.92/1123.88	c |   2951036 |    8217    69776   232677 |    31135    29013     17 |  1.392 % |
1124.12/1124.02	c |   2951548 |    8217    69776   232677 |    31135    29525     17 |  1.392 % |
1124.42/1124.32	c |   2952572 |    8217    69776   232677 |    31135    30549     17 |  1.392 % |
1124.52/1124.45	c |   2953085 |    8217    69776   232677 |    31135    31062     17 |  1.392 % |
1124.72/1124.62	c |   2953597 |    8217    69776   232677 |    31135    28426     17 |  1.392 % |
1125.02/1124.94	c |   2954622 |    8217    69776   232677 |    31135    29451     17 |  1.392 % |
1125.52/1125.51	c |   2956671 |    8217    69776   232677 |    31135    31500     17 |  1.392 % |
1125.72/1125.68	c |   2957184 |    8217    69776   232677 |    31135    28863     17 |  1.392 % |
1125.92/1125.84	c |   2957696 |    8217    69776   232677 |    31135    29375     17 |  1.392 % |
1126.12/1126.11	c |   2958721 |    8217    69776   232677 |    31135    30400     17 |  1.392 % |
1126.32/1126.25	c |   2959234 |    8217    69776   232677 |    31135    30913     17 |  1.392 % |
1126.42/1126.39	c |   2959747 |    8217    69776   232677 |    31135    31426     17 |  1.392 % |
1126.72/1126.65	c |   2960771 |    8217    69776   232677 | 2147483647    29308     17 |  1.392 % |
1127.32/1127.27	c |   2962824 |    8217    69776   232677 | 2147483647    31361     17 |  1.392 % |
1128.72/1128.65	c |   2966920 |    8217    69776   232677 | 2147483647    35457     17 |  1.392 % |
1128.92/1128.85	c |   2967432 |    8217    69776   232677 | 2147483647    35969     17 |  1.392 % |
1129.12/1129.04	c |   2967945 |    8217    69776   232677 | 2147483647    36482     18 |  1.392 % |
1129.52/1129.42	c |   2968971 |    8217    69776   232677 | 2147483647    37508     18 |  1.392 % |
1129.62/1129.58	c |   2969483 |    8217    69776   232677 | 2147483647    38020     18 |  1.392 % |
1129.82/1129.77	c |   2969997 |    8217    69776   232677 | 2147483647    38534     18 |  1.392 % |
1130.32/1130.24	c |   2971023 |    8217    69776   232677 |    38538    34830     17 |  1.392 % |
1130.92/1130.87	c |   2973073 |    8217    69776   232677 |    38538    36880     18 |  1.392 % |
1131.12/1131.06	c |   2973585 |    8217    69776   232677 |    38538    37392     18 |  1.392 % |
1131.32/1131.31	c |   2974097 |    8217    69776   232677 |    38538    37904     18 |  1.392 % |
1131.82/1131.76	c |   2975123 |    8216    69773   232671 |    38538    33149     17 |  1.404 % |
1132.02/1131.94	c |   2975635 |    8216    69773   232671 |    38538    33661     17 |  1.404 % |
1132.22/1132.13	c |   2976148 |    8216    69773   232671 |    38538    34174     17 |  1.404 % |
1132.62/1132.53	c |   2977172 |    8216    69773   232671 |    38538    35198     17 |  1.404 % |
1133.32/1133.27	c |   2979220 |    8216    69773   232671 |    38538    37246     17 |  1.404 % |
1135.02/1134.92	c |   2983316 |    8216    69773   232671 |    38027    34906     17 |  1.404 % |
1137.62/1137.57	c |   2991510 |    8216    69773   232671 |    35534    31397     17 |  1.404 % |
1137.82/1137.78	c |   2992023 |    8216    69773   232671 |    35534    31910     18 |  1.404 % |
1138.02/1137.96	c |   2992535 |    8216    69773   232671 |    35534    32422     18 |  1.404 % |
1138.32/1138.30	c |   2993563 |    8216    69773   232671 |    35534    33450     18 |  1.404 % |
1138.52/1138.48	c |   2994076 |    8216    69773   232671 |    35534    33963     18 |  1.404 % |
1138.72/1138.68	c |   2994592 |    8216    69773   232671 |    35534    34479     18 |  1.404 % |
1139.22/1139.13	c |   2995619 |    8216    69773   232671 |    35534    35506     18 |  1.404 % |
1139.82/1139.78	c |   2997667 |    8216    69773   232671 |    35534    32282     18 |  1.404 % |
1140.02/1139.98	c |   2998179 |    8216    69773   232671 |    35534    32794     18 |  1.404 % |
1140.22/1140.14	c |   2998691 |    8216    69773   232671 |    35534    33306     18 |  1.404 % |
1140.52/1140.51	c |   2999716 |    8215    69770   232665 |    35534    34328     18 |  1.416 % |
1140.72/1140.67	c |   3000228 |    8215    69770   232665 |    34612    34840     18 |  1.416 % |
1140.92/1140.88	c |   3000742 |    8215    69770   232665 |    34612    30633     18 |  1.416 % |
1141.32/1141.25	c |   3001767 |    8215    69770   232665 |    34612    31658     18 |  1.416 % |
1142.02/1141.94	c |   3003815 |    8215    69770   232665 |    34612    33706     18 |  1.416 % |
1143.52/1143.48	c |   3007912 |    8215    69770   232665 |    34612    33093     17 |  1.416 % |
1143.72/1143.68	c |   3008424 |    8215    69770   232665 |    34612    33605     17 |  1.416 % |
1143.92/1143.86	c |   3008936 |    8215    69770   232665 |    34612    34117     17 |  1.416 % |
1144.32/1144.25	c |   3009960 |    8215    69770   232665 |    34612    30501     17 |  1.416 % |
1144.52/1144.47	c |   3010472 |    8215    69770   232665 |    30541    27002     16 |  1.416 % |
1144.72/1144.66	c |   3010984 |    8215    69770   232665 |    30541    27514     16 |  1.416 % |
1145.12/1145.06	c |   3012010 |    8215    69770   232665 |    30541    28540     16 |  1.416 % |
1145.82/1145.77	c |   3014058 |    8215    69770   232665 |    30541    30588     17 |  1.416 % |
1146.02/1145.97	c |   3014570 |    8215    69770   232665 |    30541    27266     16 |  1.416 % |
1146.22/1146.17	c |   3015083 |    8215    69770   232665 |    30541    27779     16 |  1.416 % |
1146.62/1146.52	c |   3016108 |    8215    69770   232665 |    30541    28804     16 |  1.416 % |
1146.72/1146.68	c |   3016621 |    8215    69770   232665 |    30541    29317     16 |  1.416 % |
1146.92/1146.87	c |   3017136 |    8215    69770   232665 |    30541    29832     16 |  1.416 % |
1147.22/1147.19	c |   3018161 |    8215    69770   232665 |    30541    30857     16 |  1.416 % |
1147.92/1147.90	c |   3020209 |    8215    69770   232665 |    28769    28975     16 |  1.416 % |
1149.12/1149.07	c |   3024305 |    8215    69770   232665 |    28769    26336     16 |  1.416 % |
1151.83/1151.79	c |   3032497 |    8215    69770   232665 |    28891    28456     16 |  1.416 % |
1157.33/1157.25	c |   3048882 |    8215    69770   232665 |    27188    25017     16 |  1.416 % |
1169.72/1169.69	c |   3081650 |    8213    69671   232372 |    31462    28750     17 |  1.440 % |
1191.43/1191.38	c |   3147187 |    8207    69468   231777 |    30684    30923     18 |  1.524 % |
1191.63/1191.56	c |   3147699 |    8206    69465   231771 |    30684    27979     17 |  1.524 % |
1191.83/1191.74	c |   3148211 |    8206    69465   231771 |    30684    28491     18 |  1.524 % |
1192.13/1192.05	c |   3149236 |    8206    69465   231771 |    30684    29516     18 |  1.524 % |
1192.23/1192.20	c |   3149748 |    8206    69465   231771 |    30684    30028     18 |  1.524 % |
1192.43/1192.35	c |   3150260 |    8206    69465   231771 |    30280    30540     18 |  1.524 % |
1192.73/1192.69	c |   3151284 |    8206    69465   231771 |    30280    28109     17 |  1.524 % |
1193.33/1193.24	c |   3153332 |    8206    69465   231771 |    30280    30157     18 |  1.524 % |
1193.43/1193.42	c |   3153845 |    8206    69465   231771 |    30280    27583     18 |  1.524 % |
1193.63/1193.54	c |   3154359 |    8206    69465   231771 |    30280    28097     18 |  1.524 % |
1193.93/1193.84	c |   3155384 |    8206    69465   231771 |    30280    29122     18 |  1.524 % |
1194.03/1193.98	c |   3155899 |    8206    69465   231771 |    30280    29637     18 |  1.524 % |
1194.23/1194.15	c |   3156414 |    8206    69465   231771 |    30280    30152     18 |  1.524 % |
1194.53/1194.43	c |   3157438 |    8206    69465   231771 |    30280    28118     17 |  1.524 % |
1195.13/1195.06	c |   3159486 |    8206    69465   231771 |    30280    30166     17 |  1.524 % |
1196.53/1196.42	c |   3163582 |    8206    69465   231771 |    27419    25312     17 |  1.524 % |
1196.63/1196.57	c |   3164096 |    8206    69465   231771 |    27419    25826     17 |  1.524 % |
1196.83/1196.72	c |   3164608 |    8206    69465   231771 |    27419    26338     17 |  1.524 % |
1197.13/1197.09	c |   3165632 |    8206    69465   231771 |    27419    27362     17 |  1.524 % |
1197.33/1197.28	c |   3166145 |    8206    69465   231771 |    27419    25099     17 |  1.524 % |
1197.53/1197.44	c |   3166657 |    8206    69465   231771 |    27419    25611     17 |  1.524 % |
1197.73/1197.70	c |   3167682 |    8206    69465   231771 |    27419    26636     17 |  1.524 % |
1198.13/1198.10	c |   3169730 |    8206    69465   231771 |    27419    25869     17 |  1.524 % |
1198.33/1198.24	c |   3170244 |    8206    69465   231771 | 2147483647    26383     17 |  1.524 % |
1198.43/1198.38	c |   3170756 |    8206    69465   231771 | 2147483647    26895     17 |  1.524 % |
1198.83/1198.78	c |   3171782 |    8206    69465   231771 | 2147483647    27921     17 |  1.524 % |
1198.93/1198.90	c |   3172294 |    8206    69465   231771 | 2147483647    28433     17 |  1.524 % |
1199.13/1199.06	c |   3172806 |    8206    69465   231771 | 2147483647    28945     17 |  1.524 % |
1199.43/1199.34	c |   3173833 |    8206    69465   231771 | 2147483647    29972     17 |  1.524 % |
1200.03/1199.92	HOME/SatELiteGTI: line 36: 18595 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:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1821383-1242523037/watcher-1821383-1242523037 -o /tmp/evaluation-result-1821383-1242523037/solver-1821383-1242523037 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821383-1242523037.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: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=952 CPUtime=0.01
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 119 0 0 0 0 1 0 0 25 0 1 0 1016800858 974848 56 4294967295 134512640 135223648 3214724368 3214723244 134576032 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 238 58 47 174 0 63 0

[startup+0.054682 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=6672 CPUtime=0.06
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 1543 0 0 0 5 1 0 0 25 0 1 0 1016800858 6832128 1479 4294967295 134512640 135223648 3214724368 3214723320 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 1668 1480 47 174 0 1493 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9084

[startup+0.114675 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=13220 CPUtime=0.12
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 3028 0 0 0 11 1 0 0 25 0 1 0 1016800858 13537280 2964 4294967295 134512640 135223648 3214724368 3214723320 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 3305 2964 47 174 0 3130 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 15632

[startup+0.314657 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=22588 CPUtime=0.32
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 4735 0 0 0 29 3 0 0 25 0 1 0 1016800858 23130112 4671 4294967295 134512640 135223648 3214724368 3214722448 134549042 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 5647 4671 72 174 0 5472 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 25000

[startup+0.714622 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=22364 CPUtime=0.72
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 5093 0 0 0 68 4 0 0 25 0 1 0 1016800858 22900736 4624 4294967295 134512640 135223648 3214724368 3214722384 134586635 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 5591 4624 73 174 0 5416 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 24776

[startup+1.51456 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18594
/proc/meminfo: memFree=406864/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2416

[startup+3.11443 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18595
/proc/meminfo: memFree=419016/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=7852 CPUtime=1.83
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 1880 0 0 0 182 1 0 0 25 0 1 0 1016800985 8040448 1815 4294967295 134512640 135216591 3220749104 3220747296 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 1963 1815 75 172 0 1790 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10268

[startup+6.31415 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18595
/proc/meminfo: memFree=416444/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=9732 CPUtime=5.03
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2355 0 0 0 502 1 0 0 25 0 1 0 1016800985 9965568 2290 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 2433 2290 75 172 0 2260 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12148

[startup+12.7136 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18595
/proc/meminfo: memFree=415236/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=10392 CPUtime=11.43
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2516 0 0 0 1142 1 0 0 25 0 1 0 1016800985 10641408 2451 4294967295 134512640 135216591 3220749104 3220747296 134528917 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 2598 2451 75 172 0 2425 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12808

[startup+25.5125 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18597
/proc/meminfo: memFree=414060/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=11792 CPUtime=24.23
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2836 0 0 0 2421 2 0 0 25 0 1 0 1016800985 12075008 2771 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 2948 2771 75 172 0 2775 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 14208

[startup+51.1103 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18783
/proc/meminfo: memFree=413740/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=12188 CPUtime=49.83
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2925 0 0 0 4981 2 0 0 25 0 1 0 1016800985 12480512 2860 4294967295 134512640 135216591 3220749104 3220747296 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3047 2860 75 172 0 2874 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 14604

[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18969
/proc/meminfo: memFree=412956/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=12608 CPUtime=101.04
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3032 0 0 0 10102 2 0 0 25 0 1 0 1016800985 12910592 2967 4294967295 134512640 135216591 3220749104 3220747296 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3152 2967 75 172 0 2979 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 15024

[startup+162.321 s]
/proc/loadavg: 1.08 1.03 1.01 2/95 19156
/proc/meminfo: memFree=412616/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=12900 CPUtime=161.05
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3090 0 0 0 16103 2 0 0 25 0 1 0 1016800985 13209600 3025 4294967295 134512640 135216591 3220749104 3220747296 134528888 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3225 3025 75 172 0 3052 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 15316

[startup+222.325 s]
/proc/loadavg: 1.06 1.03 1.01 2/95 19344
/proc/meminfo: memFree=412832/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13036 CPUtime=221.06
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3154 0 0 0 22104 2 0 0 25 0 1 0 1016800985 13348864 3089 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3259 3089 75 172 0 3086 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 15452

[startup+282.31 s]
/proc/loadavg: 1.17 1.06 1.01 2/95 19533
/proc/meminfo: memFree=412616/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13180 CPUtime=281.05
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3185 0 0 0 28103 2 0 0 25 0 1 0 1016800985 13496320 3120 4294967295 134512640 135216591 3220749104 3220747296 134529068 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3295 3120 75 172 0 3122 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 15596

[startup+342.315 s]
/proc/loadavg: 1.06 1.04 1.00 3/95 19728
/proc/meminfo: memFree=412204/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13312 CPUtime=341.06
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3208 0 0 0 34104 2 0 0 25 0 1 0 1016800985 13631488 3143 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3328 3143 75 172 0 3155 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 15728

[startup+402.32 s]

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

[pid=18595] ppid=18589 vsize=13756 CPUtime=581.08
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3297 0 0 0 58105 3 0 0 25 0 1 0 1016800985 14086144 3232 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3439 3232 75 172 0 3266 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 16172

[startup+642.309 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 20667
/proc/meminfo: memFree=411824/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13756 CPUtime=641.08
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3324 0 0 0 64105 3 0 0 25 0 1 0 1016800985 14086144 3259 4294967295 134512640 135216591 3220749104 3220747072 134538247 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3439 3259 75 172 0 3266 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 16172

[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20857
/proc/meminfo: memFree=411684/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13908 CPUtime=701.09
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3347 0 0 0 70106 3 0 0 25 0 1 0 1016800985 14241792 3282 4294967295 134512640 135216591 3220749104 3220747296 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3477 3282 75 172 0 3304 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 16324

[startup+762.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21044
/proc/meminfo: memFree=411436/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13908 CPUtime=761.1
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3355 0 0 0 76107 3 0 0 25 0 1 0 1016800985 14241792 3290 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3477 3290 75 172 0 3304 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 16324

[startup+822.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21232
/proc/meminfo: memFree=411592/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13908 CPUtime=821.1
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3355 0 0 0 82106 4 0 0 25 0 1 0 1016800985 14241792 3290 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3477 3290 75 172 0 3304 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 16324

[startup+882.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21421
/proc/meminfo: memFree=411344/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14056 CPUtime=881.11
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3379 0 0 0 88107 4 0 0 25 0 1 0 1016800985 14393344 3314 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3514 3314 75 172 0 3341 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 16472

[startup+942.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21610
/proc/meminfo: memFree=411188/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14216 CPUtime=941.12
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3415 0 0 0 94108 4 0 0 25 0 1 0 1016800985 14557184 3350 4294967295 134512640 135216591 3220749104 3220747296 134528936 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3554 3350 75 172 0 3381 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 16632

[startup+1002.32 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 21796
/proc/meminfo: memFree=411180/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14216 CPUtime=1001.12
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3427 0 0 0 100108 4 0 0 25 0 1 0 1016800985 14557184 3362 4294967295 134512640 135216591 3220749104 3220747296 134528974 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3554 3362 75 172 0 3381 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 16632

[startup+1062.31 s]
/proc/loadavg: 1.02 1.01 1.00 3/95 21983
/proc/meminfo: memFree=410940/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14348 CPUtime=1061.12
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3449 0 0 0 106108 4 0 0 25 0 1 0 1016800985 14692352 3384 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3587 3384 75 172 0 3414 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 16764

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 22175
/proc/meminfo: memFree=411064/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14348 CPUtime=1121.13
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3451 0 0 0 112109 4 0 0 25 0 1 0 1016800985 14692352 3386 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3587 3386 75 172 0 3414 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 16764

[startup+1182.32 s]
/proc/loadavg: 1.08 1.02 1.01 2/95 22364
/proc/meminfo: memFree=411188/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14348 CPUtime=1181.14
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3464 0 0 0 118110 4 0 0 25 0 1 0 1016800985 14692352 3399 4294967295 134512640 135216591 3220749104 3220747296 134528888 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3587 3399 75 172 0 3414 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 16764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 22364
/proc/meminfo: memFree=411464/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14488 CPUtime=1198.74
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3468 0 0 0 119870 4 0 0 25 0 1 0 1016800985 14835712 3403 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3622 3403 75 172 0 3449 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 16904

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1199.92 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 22364
/proc/meminfo: memFree=411464/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14488 CPUtime=1198.74
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3468 0 0 0 119870 4 0 0 25 0 1 0 1016800985 14835712 3403 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3622 3403 75 172 0 3449 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 16904

Child status: 143

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

Real time (s): 1199.93
CPU time (s): 1200.03
CPU user time (s): 1199.93
CPU system time (s): 0.1
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 27996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10427
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= 19
involuntary context switches= 3735

runsolver used 0.01 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi27 at 2009-05-17 03:17:17
IDJOB=1821383
IDBENCH=70947
IDSOLVER=658
FILE ID=tipi27/1821383-1242523037
PBS_JOBID=
Free space on /tmp= 9071 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l48_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821383-1242523037/watcher-1821383-1242523037 -o /tmp/evaluation-result-1821383-1242523037/solver-1821383-1242523037 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821383-1242523037.cnf

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

MD5SUM BENCH= e7c28f6a200a1c1912fbaacfb3572515
RANDOM SEED= 673990504

Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.79

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        428480 kB
Buffers:         67072 kB
Cached:        1446400 kB
SwapCached:       5508 kB
Active:         689664 kB
Inactive:       833656 kB
HighTotal:     1178688 kB
HighFree:       159716 kB
LowTotal:       895776 kB
LowFree:        268764 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:            4904 kB
Writeback:           0 kB
AnonPages:        9012 kB
Mapped:           3272 kB
Slab:           114340 kB
PageTables:        696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90624 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9071 MiB
End job on tipi27 at 2009-05-17 03:37:17