Trace number 1820459

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.04 1200.05

General information on the benchmark

Nameindustrial/palacios/hard/
safe-30-h29-unsat.cnf
MD5SUM7cb48ce6f0320bc88623afd3c5af4aae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables129128
Number of clauses437794
Sum of the clauses size1056806
Maximum clause length61
Minimum clause length1
Number of clauses of size 130
Number of clauses of size 2310376
Number of clauses of size 3124560
Number of clauses of size 4189
Number of clauses of size 583
Number of clauses of size over 52556

Solver Data 

0.00/0.00	c Parsing...
0.41/0.43	c ==============================================================================
0.41/0.43	c |           |     ORIGINAL     |              LEARNT              |          |
0.41/0.43	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.41/0.43	c ==============================================================================
0.41/0.43	c |         0 |  437704  1056626 |  131311       0        0     nan |  0.000 % |
19.31/19.40	c |         0 |  164704  1115453 |      --       0       --      -- |     --   | -273000/58827
19.31/19.40	c ==============================================================================
19.31/19.40	c Result  :   #vars: 6952   #clauses: 164704   #literals: 1115453
19.31/19.40	c CPU time:   19.27 s
19.31/19.40	c ==============================================================================
19.71/19.77	c This is MiniSat 2.0 beta
19.71/19.77	c WARNING: for repeatability, setting FPU to use double precision
19.71/19.77	c ============================[ Problem Statistics ]=============================
19.71/19.77	c |                                                                             |
19.71/19.77	c |  Number of variables:  6952                                                 |
19.71/19.77	c |  Number of clauses:    164704                                               |
19.77/19.94	c |  Parsing time:         0.16         s                                       |
19.77/19.95	c ============================[ Search Statistics ]==============================
19.77/19.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.77/19.95	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
19.77/19.95	c ===============================================================================
19.77/19.95	c |         0 |    6952   164704  1115453 |    54901        0    nan |  0.000 % |
19.77/20.22	c |       512 |    6952   164704  1115453 |    54901      512     23 |  0.000 % |
19.77/20.58	c |      1024 |    6952   164704  1115453 |    54901     1024     27 |  0.000 % |
19.77/20.71	c |      1536 |    6952   164704  1115453 |    54901     1536     22 |  0.000 % |
21.20/21.28	c |      2563 |    6952   164704  1115453 |    54901     2563     28 |  0.000 % |
21.40/21.45	c |      3075 |    6952   164704  1115453 |    54901     3075     26 |  0.000 % |
21.90/21.99	c |      3587 |    6952   164704  1115453 |    54901     3587     31 |  0.000 % |
22.59/22.65	c |      4611 |    6952   164704  1115453 |    54901     4611     36 |  0.000 % |
23.88/23.95	c |      6659 |    6952   164704  1115453 |    54901     6659     41 |  0.000 % |
24.19/24.25	c |      7171 |    6952   164704  1115453 |    54901     7171     40 |  0.000 % |
24.48/24.60	c |      7683 |    6952   164704  1115453 |    54901     7683     43 |  0.000 % |
25.18/25.25	c |      8707 |    6952   164704  1115453 |    54901     8707     42 |  0.000 % |
25.68/25.73	c |      9220 |    6952   164704  1115453 |    54901     9220     43 |  0.000 % |
26.08/26.17	c |      9732 |    6952   164704  1115453 |    54901     9732     43 |  0.000 % |
26.68/26.77	c |     10757 |    6952   164704  1115453 | 2147483647    10757     42 |  0.000 % |
27.58/27.64	c |     12805 |    6952   164704  1115453 | 2147483647    12805     42 |  0.000 % |
28.79/28.83	c |     16901 |    6952   164704  1115453 | 2147483647    16901     37 |  0.000 % |
29.19/29.24	c |     17414 |    6952   164704  1115453 | 2147483647    17414     37 |  0.000 % |
29.29/29.39	c |     17926 |    6952   164704  1115453 | 2147483647    17926     36 |  0.000 % |
29.69/29.77	c |     18951 |    6952   164704  1115453 | 2147483647    18951     35 |  0.000 % |
29.89/29.99	c |     19464 |    6952   164704  1115453 | 2147483647    19464     35 |  0.000 % |
30.09/30.18	c |     19978 |    6952   164704  1115453 | 2147483647    19978     34 |  0.000 % |
30.39/30.50	c |     21002 |    6952   164704  1115453 | 2147483647    21002     33 |  0.000 % |
31.69/31.80	c |     23050 |    6952   164704  1115453 | 2147483647    23050     37 |  0.000 % |
31.99/32.05	c |     23562 |    6952   164704  1115453 | 2147483647    23562     37 |  0.000 % |
32.29/32.34	c |     24074 |    6952   164704  1115453 | 2147483647    24074     38 |  0.000 % |
32.89/32.92	c |     25099 |    6952   164704  1115453 | 2147483647    25099     38 |  0.000 % |
32.99/33.08	c |     25612 |    6952   164704  1115453 | 2147483647    25612     38 |  0.000 % |
33.19/33.30	c |     26126 |    6952   164704  1115453 | 2147483647    26126     38 |  0.000 % |
33.99/34.10	c |     27150 |    6952   164704  1115453 | 2147483647    27150     38 |  0.000 % |
34.79/34.90	c |     29199 |    6952   164704  1115453 | 2147483647    29199     38 |  0.000 % |
36.99/37.09	c |     33295 |    6952   164704  1115453 | 2147483647    33295     39 |  0.000 % |
40.09/40.20	c |     41488 |    6952   164704  1115453 | 2147483647    41488     37 |  0.000 % |
40.39/40.42	c |     42000 |    6952   164704  1115453 | 2147483647    42000     36 |  0.000 % |
40.79/40.88	c |     42513 |    6952   164704  1115453 | 2147483647    42513     36 |  0.000 % |
41.29/41.33	c |     43538 |    6952   164704  1115453 | 2147483647    43538     36 |  0.000 % |
41.49/41.55	c |     44050 |    6952   164704  1115453 | 2147483647    44050     36 |  0.000 % |
41.79/41.85	c |     44562 |    6952   164704  1115453 | 2147483647    44562     36 |  0.000 % |
42.29/42.34	c |     45587 |    6952   164704  1115453 | 2147483647    45587     36 |  0.000 % |
43.29/43.37	c |     47635 |    6952   164704  1115453 | 2147483647    47635     35 |  0.000 % |
43.49/43.58	c |     48147 |    6952   164704  1115453 | 2147483647    48147     35 |  0.000 % |
43.79/43.87	c |     48659 |    6952   164704  1115453 | 2147483647    48659     35 |  0.000 % |
44.49/44.53	c |     49683 |    6952   164704  1115453 | 2147483647    49683     35 |  0.000 % |
44.59/44.70	c |     50195 |    6952   164704  1115453 | 2147483647    50195     35 |  0.000 % |
44.99/45.02	c |     50709 |    6952   164704  1115453 | 2147483647    50709     35 |  0.000 % |
45.29/45.35	c |     51733 |    6952   164704  1115453 | 2147483647    51733     34 |  0.000 % |
45.69/45.80	c |     53781 |    6952   164704  1115453 | 2147483647    53781     34 |  0.000 % |
46.99/47.09	c |     57877 |    6952   164704  1115453 | 2147483647    57877     32 |  0.000 % |
47.19/47.27	c |     58389 |    6952   164704  1115453 | 2147483647    58389     32 |  0.000 % |
47.59/47.62	c |     58902 |    6952   164704  1115453 | 2147483647    58902     32 |  0.000 % |
48.09/48.13	c |     59926 |    6952   164704  1115453 | 2147483647    59926     32 |  0.000 % |
48.29/48.40	c |     60438 |    6952   164704  1115453 | 2147483647    60438     32 |  0.000 % |
48.59/48.69	c |     60950 |    6952   164704  1115453 | 2147483647    60950     32 |  0.000 % |
49.19/49.23	c |     61976 |    6952   164704  1115453 | 2147483647    61976     32 |  0.000 % |
51.19/51.22	c |     64025 |    6952   164704  1115453 | 2147483647    64025     33 |  0.000 % |
51.59/51.71	c |     64538 |    6952   164704  1115453 | 2147483647    64538     33 |  0.000 % |
52.59/52.70	c |     65050 |    6952   164704  1115453 | 2147483647    65050     33 |  0.000 % |
52.89/53.00	c |     66074 |    6952   164704  1115453 | 2147483647    66074     33 |  0.000 % |
53.29/53.40	c |     66586 |    6952   164704  1115453 | 2147483647    66586     33 |  0.000 % |
53.49/53.56	c |     67099 |    6952   164704  1115453 | 2147483647    67099     32 |  0.000 % |
54.49/54.51	c |     68124 |    6952   164704  1115453 | 2147483647    68124     33 |  0.000 % |
55.49/55.53	c |     70173 |    6952   164704  1115453 | 2147483647    70173     33 |  0.000 % |
58.39/58.49	c |     74269 |    6952   164704  1115453 | 2147483647    74269     33 |  0.000 % |
63.39/63.48	c |     82461 |    6952   164704  1115453 | 2147483647    82461     34 |  0.000 % |
73.49/73.57	c |     98846 |    6952   164704  1115453 | 2147483647    98846     37 |  0.000 % |
73.89/73.93	c |     99358 |    6952   164704  1115453 | 2147483647    99358     37 |  0.000 % |
74.19/74.21	c |     99870 |    6952   164704  1115453 | 2147483647    99870     37 |  0.000 % |
74.79/74.86	c |    100895 |    6952   164704  1115453 | 2147483647   100895     37 |  0.000 % |
75.09/75.20	c |    101408 |    6952   164704  1115453 | 2147483647   101408     37 |  0.000 % |
75.49/75.57	c |    101924 |    6952   164704  1115453 | 2147483647   101924     37 |  0.000 % |
75.99/76.10	c |    102948 |    6952   164704  1115453 | 2147483647   102948     37 |  0.000 % |
77.19/77.21	c |    104996 |    6952   164704  1115453 | 2147483647   104996     36 |  0.000 % |
77.39/77.48	c |    105508 |    6952   164704  1115453 | 2147483647   105508     36 |  0.000 % |
77.69/77.80	c |    106020 |    6934   164139  1106291 | 2147483647   105296     36 |  0.259 % |
78.49/78.57	c |    107045 |    6934   164139  1106291 | 2147483647   106321     36 |  0.259 % |
78.89/78.94	c |    107557 |    6934   164139  1106291 | 2147483647   106833     36 |  0.259 % |
79.19/79.24	c |    108069 |    6934   164139  1106291 | 2147483647   107345     36 |  0.259 % |
79.89/79.92	c |    109094 |    6836   164139  1106291 | 2147483647   108367     36 |  1.870 % |
82.49/82.57	c |    111142 |    6830   164139  1106291 | 2147483647   110411     36 |  1.956 % |
86.49/86.61	c |    115238 |    6830   164139  1106291 | 2147483647   114507     36 |  1.956 % |
87.19/87.23	c |    115751 |    6830   164139  1106291 | 2147483647   115020     36 |  1.956 % |
87.39/87.48	c |    116263 |    6830   164139  1106291 | 2147483647   115532     36 |  1.956 % |
88.29/88.38	c |    117288 |    6830   164139  1106291 | 2147483647   116557     36 |  1.956 % |
88.69/88.71	c |    117801 |    6830   164139  1106291 | 2147483647   117070     35 |  1.956 % |
89.19/89.29	c |    118313 |    6816   160943  1062777 | 2147483647   115317     36 |  1.956 % |
89.59/89.69	c |    119337 |    6816   160943  1062777 | 2147483647   116341     36 |  1.956 % |
91.29/91.32	c |    121385 |    6816   160943  1062777 | 2147483647   118389     35 |  1.956 % |
91.49/91.54	c |    121897 |    6816   160943  1062777 | 2147483647   118901     35 |  1.956 % |
92.09/92.18	c |    122409 |    6816   160943  1062777 | 2147483647   119413     35 |  1.956 % |
92.99/93.06	c |    123433 |    6813   160943  1062777 | 2147483647   120435     35 |  2.014 % |
93.29/93.41	c |    123946 |    6807   160943  1062777 | 2147483647   120943     35 |  2.100 % |
93.59/93.70	c |    124458 |    6803   160943  1062777 | 2147483647   121454     35 |  2.158 % |
94.39/94.42	c |    125484 |    6803   160943  1062777 | 2147483647   122480     35 |  2.158 % |
94.99/95.03	c |    127532 |    6803   160943  1062777 | 2147483647   124528     34 |  2.158 % |
100.10/100.15	c |    131628 |    6797   160943  1062777 | 2147483647   128621     35 |  2.287 % |
103.99/104.08	c |    139821 |    6793   160273  1052333 | 2147483647   136380     34 |  2.287 % |
104.39/104.48	c |    140333 |    6793   160273  1052333 | 2147483647   136892     33 |  2.287 % |
104.79/104.84	c |    140845 |    6793   160273  1052333 | 2147483647   137404     33 |  2.287 % |
105.89/105.97	c |    141869 |    6793   160273  1052333 | 2147483647   138428     33 |  2.287 % |
106.39/106.43	c |    142382 |    6793   160273  1052333 | 2147483647   138941     33 |  2.287 % |
106.89/106.91	c |    142894 |    6793   160273  1052333 | 2147483647   139453     33 |  2.287 % |
107.59/107.64	c |    143918 |    6793   160273  1052333 | 2147483647   140477     33 |  2.287 % |
108.79/108.89	c |    145967 |    6793   160273  1052333 | 2147483647   142526     33 |  2.287 % |
109.09/109.12	c |    146479 |    6793   160273  1052333 | 2147483647   143038     33 |  2.287 % |
109.39/109.45	c |    146991 |    6793   160273  1052333 | 2147483647   143550     33 |  2.287 % |
110.00/110.10	c |    148017 |    6793   160273  1052333 | 2147483647   144576     33 |  2.287 % |
110.39/110.47	c |    148529 |    6793   160273  1052333 | 2147483647   145088     33 |  2.287 % |
110.89/110.95	c |    149041 |    6735   160241  1051806 | 2147483647   145589     33 |  3.740 % |
111.79/111.91	c |    150066 |    6735   160241  1051806 | 2147483647   146614     33 |  3.740 % |
113.09/113.14	c |    152114 |    6735   160241  1051806 | 2147483647   148662     33 |  3.740 % |
114.99/115.03	c |    156211 |    6735   160241  1051806 | 2147483647   152759     32 |  3.740 % |
115.29/115.35	c |    156724 |    6735   160241  1051806 | 2147483647   153272     32 |  3.740 % |
115.50/115.58	c |    157236 |    6735   160241  1051806 | 2147483647   153784     32 |  3.740 % |
116.29/116.35	c |    158260 |    6735   160241  1051806 | 2147483647   154808     32 |  3.740 % |
116.60/116.67	c |    158772 |    6735   160241  1051806 | 2147483647   155320     32 |  3.740 % |
117.29/117.33	c |    159284 |    6735   160241  1051806 | 2147483647   155832     32 |  3.740 % |
118.09/118.17	c |    160308 |    6735   160241  1051806 | 2147483647   156856     32 |  3.740 % |
119.69/119.77	c |    162357 |    6735   160241  1051806 | 2147483647   158905     32 |  3.740 % |
120.19/120.26	c |    162869 |    6735   160241  1051806 | 2147483647   159417     32 |  3.740 % |
120.59/120.63	c |    163381 |    6735   160241  1051806 | 2147483647   159929     32 |  3.740 % |
121.49/121.57	c |    164406 |    6735   160241  1051806 | 2147483647   160954     32 |  3.740 % |
121.79/121.83	c |    164919 |    6735   160241  1051806 | 2147483647   161467     32 |  3.740 % |
122.10/122.18	c |    165432 |    6734   160241  1051806 | 2147483647   161979     32 |  3.754 % |
122.79/122.85	c |    166457 |    6691   157366  1009118 | 2147483647   160989     32 |  3.754 % |
124.89/124.95	c |    168505 |    6691   157366  1009118 | 2147483647   163037     32 |  3.754 % |
130.59/130.61	c |    172602 |    6680   157366  1009118 | 2147483647   167129     32 |  3.985 % |
135.89/135.96	c |    180796 |    6680   157366  1009118 | 2147483647   175323     31 |  3.984 % |
142.29/142.32	c |    197180 |    6674   156833  1000600 | 2147483647   191599     30 |  3.999 % |
164.30/164.35	c |    229948 |    6674   156833  1000600 | 2147483647   203474     30 |  3.999 % |
164.80/164.89	c |    230460 |    6674   156833  1000600 | 2147483647   203986     30 |  3.999 % |
165.20/165.27	c |    230973 |    6674   156833  1000600 | 2147483647   204499     30 |  3.999 % |
167.40/167.42	c |    231997 |    6674   156833  1000600 | 2147483647   205523     30 |  3.999 % |
167.80/167.89	c |    232509 |    6674   156833  1000600 | 2147483647   206035     30 |  3.999 % |
168.20/168.25	c |    233021 |    6674   156833  1000600 | 2147483647   206547     30 |  3.999 % |
169.80/169.87	c |    234045 |    6674   156833  1000600 | 2147483647   207571     30 |  3.999 % |
171.30/171.32	c |    236095 |    6674   156833  1000600 | 2147483647   209621     29 |  3.999 % |
172.40/172.42	c |    236607 |    6663   156601   997110 | 2147483647   209934     29 |  4.171 % |
173.00/173.08	c |    237120 |    6663   156601   997110 | 2147483647   210447     29 |  4.172 % |
174.10/174.20	c |    238146 |    6663   156601   997110 | 2147483647   211473     29 |  4.171 % |
174.50/174.60	c |    238658 |    6663   156601   997110 | 2147483647   211985     29 |  4.171 % |
174.80/174.86	c |    239172 |    6663   156601   997110 | 2147483647   212499     29 |  4.172 % |
175.40/175.41	c |    240196 |    6663   156601   997110 | 2147483647   213523     29 |  4.171 % |
177.50/177.59	c |    242245 |    6663   156601   997110 | 2147483647   215572     29 |  4.171 % |
180.10/180.16	c |    246341 |    6663   156601   997110 | 2147483647   219668     29 |  4.171 % |
180.70/180.75	c |    246855 |    6663   156601   997110 | 2147483647   220182     29 |  4.171 % |
181.10/181.15	c |    247367 |    6663   156601   997110 | 2147483647   220694     29 |  4.171 % |
182.20/182.25	c |    248394 |    6663   156601   997110 | 2147483647   221721     29 |  4.171 % |
182.70/182.73	c |    248909 |    6663   156601   997110 | 2147483647   222236     29 |  4.171 % |
183.00/183.04	c |    249422 |    6663   156601   997110 | 2147483647   222749     29 |  4.171 % |
184.90/184.93	c |    250447 |    6663   156601   997110 | 2147483647   223774     29 |  4.171 % |
185.40/185.45	c |    252495 |    6663   156601   997110 | 2147483647   225822     29 |  4.171 % |
186.10/186.16	c |    253007 |    6663   156601   997110 | 2147483647   226334     29 |  4.171 % |
186.30/186.39	c |    253519 |    6619   156601   997110 | 2147483647   226839     29 |  4.963 % |
187.30/187.36	c |    254544 |    6616   156601   997110 | 2147483647   227861     29 |  5.020 % |
187.70/187.76	c |    255056 |    6604   156601   997110 | 2147483647   228371     29 |  5.193 % |
188.20/188.30	c |    255569 |    6604   156601   997110 | 2147483647   228884     29 |  5.193 % |
189.20/189.23	c |    256593 |    6604   156601   997110 | 2147483647   229908     29 |  5.193 % |
193.40/193.47	c |    258641 |    6604   156601   997110 | 2147483647   231956     29 |  5.193 % |
197.90/198.01	c |    262737 |    6591   154384   963194 | 2147483647   234895     29 |  5.193 % |
201.40/201.41	c |    270929 |    6591   154384   963194 | 2147483647   243087     29 |  5.193 % |
201.80/201.88	c |    271441 |    6591   154384   963194 | 2147483647   243599     29 |  5.193 % |
202.30/202.34	c |    271953 |    6591   154384   963194 | 2147483647   244111     29 |  5.193 % |
203.10/203.20	c |    272977 |    6591   154384   963194 | 2147483647   245135     29 |  5.193 % |
203.40/203.50	c |    273491 |    6591   154384   963194 | 2147483647   245649     29 |  5.193 % |
203.70/203.80	c |    274006 |    6591   154384   963194 | 2147483647   246164     29 |  5.193 % |
204.90/204.97	c |    275031 |    6591   154384   963194 | 2147483647   247189     29 |  5.193 % |
207.60/207.69	c |    277080 |    6591   154384   963194 | 2147483647   249238     28 |  5.193 % |
208.40/208.42	c |    277592 |    6589   154384   963194 | 2147483647   249748     28 |  5.236 % |
209.20/209.29	c |    278104 |    6586   154384   963194 | 2147483647   250258     28 |  5.279 % |
210.30/210.40	c |    279128 |    6586   154384   963194 | 2147483647   251282     28 |  5.279 % |
210.70/210.74	c |    279641 |    6586   154384   963194 | 2147483647   251795     28 |  5.279 % |
211.30/211.35	c |    280155 |    6586   154384   963194 | 2147483647   252309     28 |  5.279 % |
212.00/212.04	c |    281181 |    6586   154384   963194 | 2147483647   253335     28 |  5.279 % |
214.51/214.58	c |    283229 |    6586   154384   963194 | 2147483647   255383     28 |  5.279 % |
219.30/219.40	c |    287325 |    6585   154199   960336 | 2147483647   259408     29 |  5.279 % |
220.20/220.30	c |    287837 |    6578   154199   960336 | 2147483647   259919     29 |  5.437 % |
220.70/220.74	c |    288350 |    6578   154199   960336 | 2147483647   260432     28 |  5.437 % |
221.40/221.49	c |    289374 |    6578   154199   960336 | 2147483647   261456     28 |  5.437 % |
222.21/222.29	c |    289886 |    6578   154199   960336 | 2147483647   261968     28 |  5.437 % |
222.60/222.67	c |    290400 |    6578   154199   960336 | 2147483647   262482     28 |  5.438 % |
223.60/223.68	c |    291424 |    6578   154199   960336 | 2147483647   263506     28 |  5.437 % |
224.70/224.79	c |    293474 |    6578   154199   960336 | 2147483647   265556     28 |  5.437 % |
225.40/225.52	c |    293987 |    6578   154199   960336 | 2147483647   266069     28 |  5.437 % |
226.20/226.25	c |    294499 |    6578   154199   960336 | 2147483647   266581     28 |  5.437 % |
227.50/227.60	c |    295524 |    6578   154199   960336 | 2147483647   267606     28 |  5.437 % |
228.00/228.06	c |    296036 |    6578   154199   960336 | 2147483647   268118     28 |  5.437 % |
228.30/228.41	c |    296549 |    6578   154199   960336 | 2147483647   268631     28 |  5.437 % |
229.30/229.34	c |    297573 |    6575   154199   960336 | 2147483647   269653     28 |  5.480 % |
230.90/231.01	c |    299621 |    6575   154199   960336 | 2147483647   271701     28 |  5.480 % |
233.30/233.34	c |    303718 |    6575   154199   960336 | 2147483647   275798     28 |  5.480 % |
236.70/236.75	c |    311910 |    6575   154199   960336 | 2147483647   283990     28 |  5.480 % |
245.10/245.19	c |    328294 |    6575   154199   960336 | 2147483647   300374     28 |  5.480 % |
245.50/245.59	c |    328807 |    6571   153886   956172 | 2147483647   300751     28 |  5.480 % |
246.41/246.44	c |    329320 |    6571   153886   956172 | 2147483647   301264     28 |  5.480 % |
247.40/247.51	c |    330344 |    6570   153886   956172 | 2147483647   302287     28 |  5.495 % |
248.00/248.10	c |    330857 |    6570   153886   956172 | 2147483647   302800     28 |  5.495 % |
248.61/248.66	c |    331370 |    6570   153886   956172 | 2147483647   303313     28 |  5.495 % |
250.20/250.24	c |    332395 |    6570   153886   956172 | 2147483647   304338     28 |  5.495 % |
251.20/251.27	c |    334443 |    6570   153886   956172 | 2147483647   306386     28 |  5.495 % |
252.00/252.10	c |    334956 |    6570   153886   956172 | 2147483647   306899     28 |  5.495 % |
252.40/252.45	c |    335469 |    6570   153886   956172 | 2147483647   307412     28 |  5.495 % |
254.11/254.13	c |    336493 |    6570   153886   956172 | 2147483647   308436     28 |  5.495 % |
254.90/254.92	c |    337005 |    6570   153886   956172 | 2147483647   308948     28 |  5.495 % |
255.50/255.60	c |    337519 |    6570   153886   956172 | 2147483647   309462     28 |  5.495 % |
256.70/256.73	c |    338543 |    6570   153886   956172 | 2147483647   310486     28 |  5.495 % |
258.91/258.92	c |    340591 |    6570   153886   956172 | 2147483647   312534     27 |  5.495 % |
261.31/261.42	c |    344689 |    6570   153886   956172 | 2147483647   316632     27 |  5.495 % |
261.71/261.77	c |    345201 |    6570   153886   956172 | 2147483647   317144     27 |  5.495 % |
262.41/262.44	c |    345714 |    6570   153886   956172 | 2147483647   317657     27 |  5.495 % |
263.41/263.44	c |    346738 |    6570   153886   956172 | 2147483647   318681     27 |  5.495 % |
264.31/264.42	c |    347250 |    6570   153886   956172 | 2147483647   319193     27 |  5.495 % |
265.01/265.08	c |    347764 |    6570   153886   956172 | 2147483647   319707     27 |  5.495 % |
266.01/266.09	c |    348789 |    6570   153886   956172 | 2147483647   320732     27 |  5.495 % |
268.11/268.22	c |    350839 |    6570   153886   956172 | 2147483647   322782     27 |  5.495 % |
268.71/268.76	c |    351352 |    6566   153886   956172 | 2147483647   323294     27 |  5.610 % |
269.21/269.25	c |    351865 |    6566   153886   956172 | 2147483647   323807     27 |  5.610 % |
271.11/271.22	c |    352889 |    6566   153886   956172 | 2147483647   324831     27 |  5.610 % |
271.61/271.68	c |    353401 |    6566   153886   956172 | 2147483647   325343     27 |  5.610 % |
271.91/271.98	c |    353913 |    6566   153886   956172 | 2147483647   325855     27 |  5.610 % |
273.11/273.20	c |    354938 |    6566   153886   956172 | 2147483647   326880     27 |  5.610 % |
277.11/277.13	c |    356986 |    6566   153886   956172 | 2147483647   328928     27 |  5.610 % |
281.21/281.22	c |    361082 |    6562   153598   951429 | 2147483647   332953     27 |  5.610 % |
291.21/291.26	c |    369274 |    6562   153598   951429 | 2147483647   341145     27 |  5.610 % |
291.61/291.65	c |    369787 |    6562   153598   951429 | 2147483647   341658     27 |  5.610 % |
292.71/292.75	c |    370299 |    6562   153598   951429 |   341871   342170     27 |  5.610 % |
293.61/293.67	c |    371323 |    6562   153598   951429 |   341871   343194     27 |  5.610 % |
295.11/295.15	c |    371837 |    6562   153598   951429 |   341871   295831     28 |  5.610 % |
295.51/295.54	c |    372349 |    6562   153598   951429 |   341871   296343     28 |  5.610 % |
296.41/296.43	c |    373373 |    6562   153598   951429 |   341871   297367     28 |  5.610 % |
297.41/297.48	c |    375421 |    6562   153598   951429 |   341871   299415     28 |  5.610 % |
297.91/297.97	c |    375933 |    6562   153598   951429 |   341871   299927     28 |  5.610 % |
298.91/298.98	c |    376445 |    6562   153598   951429 |   341871   300439     28 |  5.610 % |
300.91/301.01	c |    377471 |    6562   153598   951429 |   341871   301465     28 |  5.610 % |
301.31/301.39	c |    377983 |    6562   153598   951429 |   341871   301977     28 |  5.610 % |
301.81/301.89	c |    378497 |    6562   153598   951429 |   341871   302491     28 |  5.610 % |
302.71/302.72	c |    379522 |    6562   153598   951429 |   341871   303516     28 |  5.610 % |
304.91/304.92	c |    381570 |    6562   153598   951429 | 2147483647   305564     28 |  5.610 % |
311.90/311.97	c |    385668 |    6561   153598   951429 | 2147483647   309661     28 |  5.624 % |
312.50/312.55	c |    386180 |    6561   153598   951429 | 2147483647   310173     28 |  5.624 % |
313.20/313.26	c |    386694 |    6561   153598   951429 | 2147483647   310687     28 |  5.624 % |
314.90/314.97	c |    387718 |    6560   153598   951429 | 2147483647   311710     28 |  5.639 % |
316.30/316.32	c |    388230 |    6560   153533   950400 | 2147483647   312189     28 |  5.639 % |
316.80/316.88	c |    388742 |    6560   153533   950400 | 2147483647   312701     28 |  5.639 % |
318.20/318.28	c |    389767 |    6560   153533   950400 | 2147483647   313726     28 |  5.639 % |
320.60/320.63	c |    391815 |    6560   153533   950400 |   313960   315774     28 |  5.639 % |
321.50/321.51	c |    392328 |    6560   153533   950400 |   313960   277395     26 |  5.639 % |
322.30/322.32	c |    392841 |    6560   153533   950400 |   313960   277908     26 |  5.639 % |
323.10/323.14	c |    393865 |    6560   153533   950400 |   313960   278932     26 |  5.639 % |
324.10/324.13	c |    394377 |    6560   153533   950400 |   313960   279444     26 |  5.639 % |
324.30/324.37	c |    394891 |    6560   153533   950400 |   313960   279958     26 |  5.639 % |
326.60/326.62	c |    395916 |    6560   153533   950400 |   313960   280983     26 |  5.639 % |
327.50/327.60	c |    397964 |    6560   153533   950400 |   313960   283031     26 |  5.639 % |
331.99/332.04	c |    402061 |    6560   153533   950400 |   285067   287128     26 |  5.639 % |
340.59/340.66	c |    410255 |    6560   153533   950400 |   262570   262825     25 |  5.639 % |
354.69/354.78	c |    426639 |    6560   153533   950400 |   223257   207129     25 |  5.639 % |
375.18/375.24	c |    459407 |    6555   153373   947765 | 2147483647   239884     25 |  5.711 % |
415.18/415.28	c |    524943 |    6555   153373   947765 |    94362    65490     19 |  5.711 % |
415.38/415.45	c |    525456 |    6555   153373   947765 |    94362    66003     19 |  5.711 % |
415.68/415.77	c |    525969 |    6555   153373   947765 |    94362    66516     19 |  5.711 % |
416.38/416.50	c |    526993 |    6555   153373   947765 |    94362    67540     19 |  5.711 % |
416.68/416.71	c |    527505 |    6555   153373   947765 |    94362    68052     19 |  5.711 % |
416.98/417.10	c |    528017 |    6555   153373   947765 |    94362    68564     19 |  5.711 % |
417.68/417.78	c |    529041 |    6555   153373   947765 |    94362    69588     19 |  5.711 % |
418.18/418.30	c |    531090 |    6555   153373   947765 |    70547    71637     19 |  5.711 % |
418.78/418.85	c |    531602 |    6555   153373   947765 |    70547    64986     18 |  5.711 % |
418.88/419.01	c |    532116 |    6555   153373   947765 |    70547    65500     18 |  5.711 % |
419.28/419.38	c |    533140 |    6555   153373   947765 |    70547    66524     18 |  5.711 % |
419.68/419.79	c |    533653 |    6555   153373   947765 |    70547    67037     19 |  5.711 % |
419.88/419.97	c |    534165 |    6555   153373   947765 |    70547    67549     19 |  5.711 % |
420.58/420.70	c |    535189 |    6555   153373   947765 |    70547    68573     19 |  5.711 % |
421.78/421.84	c |    537237 |    6555   153373   947765 |    70547    70621     21 |  5.711 % |
423.28/423.34	c |    541333 |    6555   153373   947765 | 2147483647    74717     21 |  5.711 % |
423.58/423.71	c |    541846 |    6555   153373   947765 | 2147483647    75230     22 |  5.711 % |
423.98/424.11	c |    542358 |    6555   153373   947765 | 2147483647    75742     22 |  5.711 % |
424.78/424.88	c |    543383 |    6555   153373   947765 | 2147483647    76767     22 |  5.711 % |
425.28/425.40	c |    543895 |    6555   153373   947765 | 2147483647    77279     22 |  5.711 % |
425.88/425.96	c |    544407 |    6555   153373   947765 | 2147483647    77791     22 |  5.711 % |
426.78/426.90	c |    545431 |    6555   153373   947765 | 2147483647    78815     22 |  5.711 % |
427.98/428.10	c |    547479 |    6555   153373   947765 | 2147483647    80863     23 |  5.711 % |
428.48/428.52	c |    547991 |    6555   153373   947765 | 2147483647    81375     23 |  5.711 % |
428.58/428.65	c |    548503 |    6555   153373   947765 | 2147483647    81887     23 |  5.711 % |
429.18/429.24	c |    549527 |    6555   153373   947765 | 2147483647    82911     23 |  5.711 % |
429.38/429.50	c |    550039 |    6555   153373   947765 | 2147483647    83423     23 |  5.711 % |
429.68/429.75	c |    550552 |    6555   153373   947765 | 2147483647    83936     23 |  5.711 % |
430.28/430.34	c |    551578 |    6555   153373   947765 | 2147483647    84962     23 |  5.711 % |
430.98/431.11	c |    553627 |    6555   153373   947765 | 2147483647    87011     22 |  5.711 % |
431.98/432.10	c |    557723 |    6555   153373   947765 | 2147483647    91107     22 |  5.711 % |
434.08/434.16	c |    565917 |    6555   153373   947765 | 2147483647    99301     22 |  5.711 % |
434.18/434.31	c |    566429 |    6555   153373   947765 | 2147483647    99813     22 |  5.711 % |
434.38/434.42	c |    566941 |    6555   153373   947765 | 2147483647   100325     22 |  5.711 % |
434.78/434.87	c |    567966 |    6555   153373   947765 | 2147483647   101350     22 |  5.711 % |
435.08/435.11	c |    568478 |    6555   153373   947765 | 2147483647   101862     22 |  5.711 % |
435.28/435.36	c |    568990 |    6555   153373   947765 | 2147483647   102374     22 |  5.711 % |
435.98/436.01	c |    570015 |    6555   153373   947765 | 2147483647   103399     22 |  5.711 % |
436.28/436.41	c |    572064 |    6555   153373   947765 | 2147483647   105448     21 |  5.711 % |
436.88/436.93	c |    572576 |    6554   153341   947238 | 2147483647   105957     21 |  5.725 % |
437.18/437.25	c |    573088 |    6552   153341   947238 | 2147483647   106467     21 |  5.754 % |
437.88/437.93	c |    574112 |    6552   153341   947238 | 2147483647   107491     21 |  5.754 % |
438.08/438.14	c |    574624 |    6552   153341   947238 | 2147483647   108003     21 |  5.754 % |
438.38/438.45	c |    575138 |    6552   153341   947238 | 2147483647   108517     21 |  5.754 % |
438.68/438.80	c |    576164 |    6552   153341   947238 | 2147483647   109543     21 |  5.754 % |
439.48/439.55	c |    578212 |    6552   153341   947238 | 2147483647   111591     21 |  5.754 % |
440.58/440.66	c |    582311 |    6552   153341   947238 | 2147483647   115690     21 |  5.754 % |
440.78/440.89	c |    582824 |    6552   153341   947238 | 2147483647   116203     21 |  5.754 % |
441.08/441.16	c |    583336 |    6552   153341   947238 | 2147483647   116715     21 |  5.754 % |
441.48/441.59	c |    584360 |    6552   153288   946517 | 2147483647   117724     21 |  5.754 % |
441.78/441.82	c |    584873 |    6552   153288   946517 | 2147483647   118237     21 |  5.754 % |
441.98/442.03	c |    585385 |    6552   153288   946517 | 2147483647   118749     21 |  5.754 % |
442.38/442.46	c |    586410 |    6552   153288   946517 | 2147483647   119774     21 |  5.754 % |
443.28/443.38	c |    588460 |    6552   153288   946517 | 2147483647   121824     21 |  5.754 % |
443.68/443.73	c |    588973 |    6552   153288   946517 | 2147483647   122337     21 |  5.754 % |
443.88/443.96	c |    589486 |    6552   153288   946517 | 2147483647   122850     21 |  5.754 % |
444.18/444.28	c |    590510 |    6552   153288   946517 | 2147483647   123874     21 |  5.754 % |
444.48/444.60	c |    591022 |    6551   153288   946517 | 2147483647   124385     21 |  5.783 % |
444.68/444.77	c |    591534 |    6550   153288   946517 | 2147483647   124897     21 |  5.783 % |
445.08/445.19	c |    592559 |    6550   153288   946517 | 2147483647   125922     21 |  5.783 % |
446.88/446.97	c |    594607 |    6550   153288   946517 | 2147483647   127970     21 |  5.783 % |
448.38/448.51	c |    598705 |    6550   153224   945463 | 2147483647   132060     21 |  5.783 % |
452.58/452.70	c |    606897 |    6550   153224   945463 | 2147483647   140252     22 |  5.783 % |
459.88/459.92	c |    623281 |    6550   153224   945463 | 2147483647   156636     22 |  5.783 % |
460.08/460.18	c |    623794 |    6550   153224   945463 | 2147483647   157149     22 |  5.783 % |
460.38/460.44	c |    624306 |    6550   153224   945463 | 2147483647   157661     22 |  5.783 % |
460.78/460.89	c |    625330 |    6550   153224   945463 | 2147483647   158685     22 |  5.783 % |
461.18/461.21	c |    625842 |    6550   153224   945463 | 2147483647   159197     22 |  5.783 % |
461.68/461.75	c |    626354 |    6550   153224   945463 | 2147483647   159709     22 |  5.783 % |
462.48/462.60	c |    627378 |    6550   153224   945463 | 2147483647   160733     22 |  5.783 % |
463.38/463.51	c |    629428 |    6550   153224   945463 | 2147483647   162783     22 |  5.783 % |
463.78/463.85	c |    629940 |    6550   153224   945463 | 2147483647   163295     22 |  5.783 % |
463.98/464.07	c |    630453 |    6550   153224   945463 | 2147483647   163808     21 |  5.783 % |
464.28/464.38	c |    631480 |    6550   153224   945463 | 2147483647   164835     21 |  5.783 % |
464.78/464.82	c |    631992 |    6550   153224   945463 | 2147483647   165347     21 |  5.783 % |
464.88/465.01	c |    632504 |    6550   153224   945463 | 2147483647   165859     21 |  5.783 % |
465.78/465.83	c |    633528 |    6550   153224   945463 | 2147483647   166883     21 |  5.783 % |
467.18/467.30	c |    635577 |    6542   152979   941622 | 2147483647   168918     21 |  5.898 % |
469.28/469.35	c |    639673 |    6542   152979   941622 | 2147483647   173014     21 |  5.898 % |
469.69/469.78	c |    640185 |    6542   152979   941622 | 2147483647   173526     21 |  5.898 % |
470.18/470.26	c |    640699 |    6542   152979   941622 | 2147483647   174040     21 |  5.898 % |
470.48/470.52	c |    641724 |    6542   152979   941622 | 2147483647   175065     21 |  5.898 % |
470.79/470.87	c |    642236 |    6542   152979   941622 | 2147483647   175577     21 |  5.898 % |
470.98/471.11	c |    642748 |    6542   152979   941622 | 2147483647   176089     21 |  5.898 % |
471.28/471.39	c |    643772 |    6542   152979   941622 | 2147483647   177113     21 |  5.898 % |
472.48/472.58	c |    645820 |    6542   152979   941622 | 2147483647   179161     21 |  5.898 % |
472.68/472.80	c |    646335 |    6542   152979   941622 | 2147483647   179676     21 |  5.898 % |
473.18/473.21	c |    646851 |    6542   152979   941622 | 2147483647   180192     21 |  5.898 % |
473.98/474.12	c |    647875 |    6542   152979   941622 | 2147483647   181216     21 |  5.898 % |
474.38/474.49	c |    648387 |    6542   152979   941622 | 2147483647   181728     21 |  5.898 % |
474.78/474.85	c |    648899 |    6542   152979   941622 | 2147483647   182240     21 |  5.898 % |
475.38/475.46	c |    649923 |    6542   152979   941622 | 2147483647   183264     21 |  5.898 % |
476.48/476.54	c |    651974 |    6542   152979   941622 | 2147483647   185315     21 |  5.898 % |
478.18/478.29	c |    656071 |    6542   152979   941622 | 2147483647   189412     21 |  5.898 % |
480.28/480.40	c |    664264 |    6542   152979   941622 | 2147483647   197605     21 |  5.898 % |
480.88/480.94	c |    664777 |    6542   152979   941622 | 2147483647   198118     21 |  5.898 % |
481.08/481.18	c |    665289 |    6542   152979   941622 | 2147483647   198630     21 |  5.898 % |
482.08/482.13	c |    666314 |    6542   152979   941622 | 2147483647   199655     21 |  5.898 % |
482.48/482.52	c |    666826 |    6542   152979   941622 | 2147483647   200167     21 |  5.898 % |
482.78/482.82	c |    667339 |    6542   152979   941622 | 2147483647   200680     21 |  5.898 % |
483.48/483.56	c |    668363 |    6542   152979   941622 | 2147483647   201704     21 |  5.898 % |
484.98/485.03	c |    670412 |    6542   152979   941622 | 2147483647   203753     21 |  5.898 % |
485.18/485.23	c |    670924 |    6542   152979   941622 | 2147483647   204265     21 |  5.898 % |
485.38/485.50	c |    671438 |    6542   152979   941622 | 2147483647   204779     21 |  5.898 % |
485.88/485.96	c |    672462 |    6542   152979   941622 | 2147483647   205803     21 |  5.898 % |
486.19/486.25	c |    672975 |    6542   152979   941622 | 2147483647   206316     21 |  5.898 % |
486.58/486.68	c |    673489 |    6542   152979   941622 | 2147483647   206830     21 |  5.898 % |
487.79/487.90	c |    674515 |    6542   152979   941622 | 2147483647   207856     21 |  5.898 % |
490.39/490.48	c |    676563 |    6542   152979   941622 | 2147483647   209904     21 |  5.898 % |
491.89/491.97	c |    680659 |    6542   152979   941622 | 2147483647   214000     21 |  5.898 % |
492.49/492.52	c |    681171 |    6542   152979   941622 | 2147483647   214512     21 |  5.898 % |
492.99/493.11	c |    681683 |    6542   152979   941622 | 2147483647   215024     21 |  5.898 % |
494.19/494.29	c |    682707 |    6542   152979   941622 | 2147483647   216048     21 |  5.898 % |
494.79/494.88	c |    683219 |    6542   152979   941622 | 2147483647   216560     21 |  5.898 % |
495.09/495.17	c |    683732 |    6542   152979   941622 | 2147483647   217073     21 |  5.898 % |
495.99/496.05	c |    684756 |    6542   152979   941622 | 2147483647   218097     21 |  5.898 % |
496.79/496.83	c |    686804 |    6542   152979   941622 | 2147483647   220145     21 |  5.898 % |
497.09/497.22	c |    687316 |    6542   152979   941622 | 2147483647   220657     21 |  5.898 % |
497.59/497.67	c |    687829 |    6542   152979   941622 | 2147483647   221170     21 |  5.898 % |
498.39/498.43	c |    688854 |    6542   152979   941622 | 2147483647   222195     21 |  5.898 % |
498.99/499.02	c |    689367 |    6542   152979   941622 | 2147483647   222708     21 |  5.898 % |
499.09/499.21	c |    689880 |    6542   152979   941622 | 2147483647   223221     21 |  5.898 % |
499.69/499.72	c |    690904 |    6542   152979   941622 | 2147483647   224245     21 |  5.898 % |
500.69/500.79	c |    692953 |    6542   152979   941622 | 2147483647   226294     21 |  5.898 % |
502.19/502.24	c |    697049 |    6542   152979   941622 | 2147483647   230390     21 |  5.898 % |
511.69/511.78	c |    705241 |    6542   152979   941622 | 2147483647   238582     22 |  5.898 % |
516.59/516.64	c |    721625 |    6542   152979   941622 | 2147483647   254966     21 |  5.898 % |
531.39/531.44	c |    754396 |    6542   152979   941622 |   233594   201287     21 |  5.898 % |
531.69/531.76	c |    754908 |    6542   152979   941622 |   233594   201799     21 |  5.898 % |
531.99/532.08	c |    755421 |    6542   152979   941622 |   233594   202312     21 |  5.898 % |
533.09/533.22	c |    756445 |    6542   152979   941622 |   233594   203336     21 |  5.898 % |
533.49/533.56	c |    756958 |    6542   152979   941622 |   233594   203849     21 |  5.898 % |
533.99/534.07	c |    757471 |    6542   152979   941622 |   233594   204362     21 |  5.898 % |
534.49/534.58	c |    758496 |    6542   152979   941622 |   233594   205387     21 |  5.898 % |
535.89/535.95	c |    760544 |    6542   152979   941622 | 2147483647   207435     21 |  5.898 % |
536.39/536.43	c |    761056 |    6542   152979   941622 | 2147483647   207947     21 |  5.898 % |
537.09/537.19	c |    761568 |    6542   152979   941622 | 2147483647   208459     21 |  5.898 % |
537.59/537.66	c |    762592 |    6542   152979   941622 | 2147483647   209483     21 |  5.898 % |
537.79/537.89	c |    763104 |    6542   152979   941622 | 2147483647   209995     21 |  5.898 % |
538.19/538.25	c |    763616 |    6542   152979   941622 | 2147483647   210507     21 |  5.898 % |
538.99/539.04	c |    764641 |    6542   152979   941622 | 2147483647   211532     21 |  5.898 % |
539.69/539.76	c |    766689 |    6542   152979   941622 | 2147483647   213580     21 |  5.898 % |
542.09/542.15	c |    770785 |    6542   152979   941622 | 2147483647   217676     21 |  5.898 % |
542.49/542.58	c |    771298 |    6542   152979   941622 | 2147483647   218189     21 |  5.898 % |
542.79/542.82	c |    771810 |    6542   152979   941622 | 2147483647   218701     21 |  5.898 % |
543.99/544.04	c |    772835 |    6542   152979   941622 | 2147483647   219726     21 |  5.898 % |
544.29/544.32	c |    773347 |    6542   152979   941622 | 2147483647   220238     21 |  5.898 % |
544.59/544.66	c |    773861 |    6542   152979   941622 | 2147483647   220752     21 |  5.898 % |
545.19/545.24	c |    774885 |    6542   152979   941622 | 2147483647   221776     21 |  5.898 % |
546.09/546.17	c |    776933 |    6542   152979   941622 | 2147483647   223824     21 |  5.898 % |
546.29/546.34	c |    777445 |    6542   152979   941622 | 2147483647   224336     21 |  5.898 % |
546.59/546.63	c |    777957 |    6542   152979   941622 | 2147483647   224848     21 |  5.898 % |
546.99/547.05	c |    778981 |    6542   152979   941622 | 2147483647   225872     21 |  5.898 % |
547.59/547.63	c |    779494 |    6542   152979   941622 | 2147483647   226385     21 |  5.898 % |
547.79/547.87	c |    780007 |    6542   152979   941622 | 2147483647   226898     21 |  5.898 % |
548.39/548.48	c |    781031 |    6542   152979   941622 | 2147483647   227922     21 |  5.898 % |
551.09/551.18	c |    783080 |    6542   152979   941622 | 2147483647   229971     21 |  5.898 % |
554.28/554.37	c |    787178 |    6542   152979   941622 | 2147483647   234069     21 |  5.898 % |
558.48/558.59	c |    795370 |    6542   152979   941622 | 2147483647   242261     21 |  5.898 % |
558.98/559.02	c |    795882 |    6542   152979   941622 | 2147483647   242773     21 |  5.898 % |
559.18/559.26	c |    796394 |    6542   152979   941622 | 2147483647   243285     21 |  5.898 % |
560.38/560.41	c |    797419 |    6542   152979   941622 | 2147483647   244310     21 |  5.898 % |
560.48/560.60	c |    797931 |    6542   152979   941622 | 2147483647   244822     21 |  5.898 % |
561.08/561.19	c |    798444 |    6542   152979   941622 | 2147483647   245335     21 |  5.898 % |
561.58/561.67	c |    799469 |    6542   152979   941622 | 2147483647   246360     21 |  5.898 % |
562.38/562.48	c |    801517 |    6542   152979   941622 | 2147483647   248408     21 |  5.898 % |
562.88/562.91	c |    802029 |    6542   152979   941622 | 2147483647   248920     21 |  5.898 % |
563.38/563.41	c |    802542 |    6542   152979   941622 | 2147483647   249433     21 |  5.898 % |
564.38/564.47	c |    803569 |    6542   152979   941622 | 2147483647   250460     21 |  5.898 % |
564.98/565.01	c |    804081 |    6542   152979   941622 | 2147483647   250972     21 |  5.898 % |
565.18/565.28	c |    804593 |    6542   152979   941622 | 2147483647   251484     21 |  5.898 % |
566.18/566.24	c |    805618 |    6542   152979   941622 | 2147483647   252509     21 |  5.898 % |
567.18/567.30	c |    807667 |    6542   152979   941622 | 2147483647   254558     21 |  5.898 % |
569.08/569.11	c |    811764 |    6542   152979   941622 | 2147483647   258655     21 |  5.898 % |
569.28/569.37	c |    812276 |    6542   152979   941622 | 2147483647   259167     21 |  5.898 % |
569.58/569.67	c |    812788 |    6542   152979   941622 | 2147483647   259679     21 |  5.898 % |
570.08/570.13	c |    813812 |    6542   152979   941622 | 2147483647   260703     21 |  5.898 % |
570.48/570.51	c |    814324 |    6542   152979   941622 | 2147483647   261215     21 |  5.898 % |
570.68/570.76	c |    814838 |    6542   152979   941622 | 2147483647   261729     21 |  5.898 % |
571.18/571.22	c |    815862 |    6542   152979   941622 | 2147483647   262753     21 |  5.898 % |
571.99/572.02	c |    817911 |    6542   152979   941622 | 2147483647   264802     21 |  5.898 % |
572.28/572.39	c |    818423 |    6542   152979   941622 | 2147483647   265314     21 |  5.898 % |
572.48/572.56	c |    818935 |    6542   152979   941622 | 2147483647   265826     21 |  5.898 % |
573.78/573.82	c |    819960 |    6542   152979   941622 | 2147483647   266851     21 |  5.898 % |
573.98/574.08	c |    820472 |    6542   152979   941622 | 2147483647   267363     21 |  5.898 % |
574.38/574.47	c |    820984 |    6542   152979   941622 | 2147483647   267875     21 |  5.898 % |
574.78/574.90	c |    822008 |    6542   152979   941622 | 2147483647   268899     21 |  5.898 % |
575.78/575.85	c |    824056 |    6542   152979   941622 | 2147483647   270947     21 |  5.898 % |
581.98/582.02	c |    828156 |    6541   152957   941371 | 2147483647   275039     21 |  5.912 % |
585.28/585.39	c |    836348 |    6541   152957   941371 |   276885   255170     21 |  5.912 % |
593.48/593.58	c |    852732 |    6541   152957   941371 |   268822   271554     21 |  5.912 % |
594.28/594.36	c |    853246 |    6541   152957   941371 |   268822   233332     20 |  5.912 % |
594.58/594.69	c |    853758 |    6541   152957   941371 |   268822   233844     20 |  5.912 % |
595.28/595.40	c |    854783 |    6541   152957   941371 |   268822   234869     20 |  5.912 % |
595.68/595.71	c |    855297 |    6541   152957   941371 |   268822   235383     20 |  5.912 % |
595.88/595.96	c |    855809 |    6541   152957   941371 |   268822   235895     20 |  5.912 % |
596.88/596.98	c |    856835 |    6541   152957   941371 |   268822   236921     20 |  5.912 % |
599.49/599.57	c |    858883 |    6541   152957   941371 |   268822   238969     20 |  5.912 % |
600.08/600.17	c |    859397 |    6541   152957   941371 |   268822   239483     20 |  5.912 % |
600.48/600.54	c |    859911 |    6541   152957   941371 |   268822   239997     20 |  5.912 % |
601.08/601.11	c |    860936 |    6541   152957   941371 | 2147483647   241022     20 |  5.912 % |
601.58/601.67	c |    861448 |    6541   152957   941371 | 2147483647   241534     20 |  5.912 % |
602.09/602.16	c |    861961 |    6541   152957   941371 | 2147483647   242047     20 |  5.912 % |
602.99/603.06	c |    862987 |    6541   152957   941371 | 2147483647   243073     20 |  5.912 % |
603.79/603.88	c |    865035 |    6541   152957   941371 | 2147483647   245121     20 |  5.912 % |
607.39/607.46	c |    869132 |    6541   152957   941371 | 2147483647   249218     20 |  5.912 % |
607.89/607.99	c |    869645 |    6541   152957   941371 | 2147483647   249731     20 |  5.912 % |
608.29/608.36	c |    870157 |    6541   152957   941371 |   250086   250243     20 |  5.912 % |
608.79/608.83	c |    871181 |    6541   152957   941371 |   250086   251267     20 |  5.912 % |
609.79/609.88	c |    871693 |    6541   152957   941371 |   250086   221257     19 |  5.912 % |
610.39/610.46	c |    872205 |    6541   152957   941371 |   250086   221769     19 |  5.912 % |
612.29/612.38	c |    873230 |    6541   152957   941371 |   250086   222794     20 |  5.912 % |
613.39/613.49	c |    875281 |    6541   152957   941371 |   250086   224845     20 |  5.912 % |
613.69/613.81	c |    875793 |    6541   152957   941371 |   250086   225357     20 |  5.912 % |
613.99/614.04	c |    876305 |    6541   152957   941371 |   250086   225869     20 |  5.912 % |
614.69/614.81	c |    877329 |    6541   152957   941371 |   250086   226893     20 |  5.912 % |
614.89/615.00	c |    877842 |    6541   152957   941371 |   250086   227406     20 |  5.912 % |
615.39/615.45	c |    878355 |    6541   152957   941371 |   250086   227919     20 |  5.912 % |
616.29/616.37	c |    879380 |    6541   152957   941371 |   250086   228944     20 |  5.912 % |
616.99/617.03	c |    881429 |    6541   152957   941371 | 2147483647   230993     20 |  5.912 % |
618.19/618.29	c |    885526 |    6540   152923   940838 | 2147483647   235086     20 |  5.927 % |
629.99/630.10	c |    893718 |    6540   152923   940838 |   239563   243278     20 |  5.926 % |
630.99/631.11	c |    894230 |    6540   152923   940838 |   239563   175689     20 |  5.926 % |
631.69/631.81	c |    894743 |    6540   152923   940838 |   239563   176202     20 |  5.926 % |
632.69/632.76	c |    895769 |    6540   152923   940838 |   239563   177228     20 |  5.926 % |
632.99/633.08	c |    896281 |    6540   152923   940838 |   239563   177740     20 |  5.926 % |
633.69/633.79	c |    896793 |    6540   152923   940838 |   239563   178252     20 |  5.926 % |
634.29/634.39	c |    897818 |    6540   152923   940838 |   239563   179277     20 |  5.926 % |
635.19/635.25	c |    899867 |    6540   152923   940838 |   239563   181326     20 |  5.927 % |
635.99/636.04	c |    900379 |    6540   152923   940838 |   181460   181838     20 |  5.926 % |
636.59/636.68	c |    900891 |    6540   152923   940838 |   181460   182350     20 |  5.926 % |
637.99/638.08	c |    901919 |    6540   152923   940838 |   181460   159830     20 |  5.926 % |
638.29/638.36	c |    902432 |    6540   152923   940838 |   181460   160343     20 |  5.926 % |
638.69/638.79	c |    902944 |    6540   152923   940838 |   181460   160855     20 |  5.926 % |
639.09/639.12	c |    903969 |    6540   152923   940838 |   181460   161880     20 |  5.926 % |
639.59/639.71	c |    906017 |    6540   152923   940838 |   181460   163928     20 |  5.926 % |
644.89/644.97	c |    910114 |    6540   152923   940838 |   167911   168025     20 |  5.926 % |
645.59/645.62	c |    910626 |    6540   152923   940838 |   167911   168537     20 |  5.926 % |
646.09/646.14	c |    911138 |    6540   152923   940838 |   167911   147676     20 |  5.926 % |
646.99/647.04	c |    912162 |    6540   152923   940838 |   167911   148700     20 |  5.926 % |
647.29/647.34	c |    912675 |    6540   152923   940838 |   167911   149213     20 |  5.927 % |
647.59/647.65	c |    913187 |    6540   152923   940838 |   167911   149725     20 |  5.926 % |
648.29/648.37	c |    914211 |    6540   152923   940838 |   167911   150749     20 |  5.926 % |
649.19/649.25	c |    916260 |    6540   152923   940838 |   167911   152798     20 |  5.926 % |
649.39/649.51	c |    916773 |    6540   152923   940838 |   167911   153311     20 |  5.926 % |
650.09/650.12	c |    917285 |    6540   152923   940838 |   167911   153823     20 |  5.926 % |
651.49/651.59	c |    918310 |    6540   152923   940838 |   167911   154848     20 |  5.926 % |
651.89/651.97	c |    918822 |    6540   152923   940838 |   167911   155360     20 |  5.926 % |
652.09/652.18	c |    919334 |    6540   152923   940838 |   167911   155872     20 |  5.926 % |
652.39/652.47	c |    920358 |    6540   152923   940838 | 2147483647   156896     20 |  5.926 % |
652.89/652.98	c |    922407 |    6540   152923   940838 | 2147483647   158945     20 |  5.926 % |
654.29/654.34	c |    926504 |    6540   152923   940838 | 2147483647   163042     20 |  5.926 % |
657.89/657.96	c |    934696 |    6540   152923   940838 | 2147483647   171234     20 |  5.926 % |
661.59/661.66	c |    951080 |    6540   152923   940838 | 2147483647   187618     20 |  5.926 % |
675.28/675.36	c |    983848 |    6540   152923   940838 | 2147483647   220386     23 |  5.926 % |
709.49/709.51	c |   1049384 |    6540   152923   940838 |    50808    34754     46 |  5.926 % |
768.59/768.62	c |   1180457 |    6536   152795   938730 | 2147483647    71774     24 |  5.984 % |
768.79/768.83	c |   1180969 |    6536   152795   938730 | 2147483647    72286     24 |  5.984 % |
769.29/769.33	c |   1181482 |    6536   152795   938730 | 2147483647    72799     24 |  5.984 % |
770.09/770.18	c |   1182506 |    6536   152795   938730 | 2147483647    73823     24 |  5.984 % |
770.39/770.41	c |   1183019 |    6536   152795   938730 | 2147483647    74336     24 |  5.984 % |
770.69/770.75	c |   1183532 |    6536   152795   938730 | 2147483647    74849     24 |  5.984 % |
771.19/771.22	c |   1184556 |    6530   152731   937676 | 2147483647    75859     24 |  6.085 % |
773.69/773.77	c |   1186604 |    6530   152731   937676 | 2147483647    77907     25 |  6.085 % |
774.09/774.12	c |   1187116 |    6530   152731   937676 | 2147483647    78419     25 |  6.085 % |
774.29/774.37	c |   1187629 |    6530   152731   937676 | 2147483647    78932     25 |  6.085 % |
774.79/774.82	c |   1188654 |    6530   152731   937676 | 2147483647    79957     24 |  6.085 % |
774.99/775.10	c |   1189167 |    6530   152731   937676 | 2147483647    80470     24 |  6.085 % |
775.29/775.39	c |   1189680 |    6530   152731   937676 | 2147483647    80983     24 |  6.085 % |
775.69/775.78	c |   1190704 |    6529   152572   935072 | 2147483647    81991     24 |  6.085 % |
776.59/776.69	c |   1192752 |    6529   152572   935072 | 2147483647    84039     24 |  6.085 % |
777.59/777.63	c |   1196848 |    6529   152572   935072 | 2147483647    88135     24 |  6.085 % |
777.89/777.98	c |   1197361 |    6529   152572   935072 | 2147483647    88648     24 |  6.085 % |
778.19/778.30	c |   1197873 |    6529   152572   935072 | 2147483647    89160     24 |  6.085 % |
778.49/778.56	c |   1198897 |    6529   152572   935072 | 2147483647    90184     24 |  6.085 % |
778.69/778.77	c |   1199410 |    6529   152572   935072 | 2147483647    90697     23 |  6.085 % |
778.89/778.95	c |   1199923 |    6529   152572   935072 | 2147483647    91210     23 |  6.085 % |
779.29/779.35	c |   1200947 |    6529   152572   935072 | 2147483647    92234     23 |  6.085 % |
780.09/780.14	c |   1202996 |    6529   152572   935072 | 2147483647    94283     23 |  6.085 % |
780.29/780.36	c |   1203510 |    6529   152572   935072 | 2147483647    94797     23 |  6.085 % |
780.59/780.62	c |   1204026 |    6529   152572   935072 | 2147483647    95313     23 |  6.085 % |
780.89/780.94	c |   1205050 |    6529   152572   935072 | 2147483647    96337     23 |  6.085 % |
781.39/781.50	c |   1205562 |    6528   152540   934545 | 2147483647    96841     23 |  6.100 % |
781.59/781.70	c |   1206074 |    6528   152540   934545 | 2147483647    97353     23 |  6.099 % |
782.09/782.16	c |   1207101 |    6528   152540   934545 | 2147483647    98380     23 |  6.099 % |
782.99/783.01	c |   1209150 |    6528   152540   934545 | 2147483647   100429     23 |  6.099 % |
784.99/785.06	c |   1213246 |    6528   152540   934545 | 2147483647   104525     23 |  6.099 % |
787.39/787.44	c |   1221439 |    6528   152540   934545 | 2147483647   112718     23 |  6.099 % |
787.60/787.67	c |   1221951 |    6528   152540   934545 | 2147483647   113230     23 |  6.099 % |
787.89/787.98	c |   1222466 |    6528   152540   934545 | 2147483647   113745     23 |  6.099 % |
788.19/788.23	c |   1223491 |    6528   152540   934545 | 2147483647   114770     23 |  6.099 % |
788.39/788.44	c |   1224003 |    6528   152540   934545 | 2147483647   115282     23 |  6.099 % |
788.59/788.69	c |   1224515 |    6528   152540   934545 | 2147483647   115794     23 |  6.099 % |
789.19/789.24	c |   1225539 |    6515   152327   931173 | 2147483647   116736     23 |  6.344 % |
790.79/790.90	c |   1227588 |    6515   152327   931173 | 2147483647   118785     23 |  6.344 % |
791.09/791.16	c |   1228100 |    6515   152327   931173 | 2147483647   119297     23 |  6.344 % |
791.39/791.44	c |   1228613 |    6515   152327   931173 | 2147483647   119810     23 |  6.344 % |
791.79/791.90	c |   1229637 |    6515   152327   931173 | 2147483647   120834     22 |  6.344 % |
792.09/792.11	c |   1230150 |    6515   152327   931173 | 2147483647   121347     22 |  6.344 % |
792.49/792.51	c |   1230662 |    6515   152327   931173 | 2147483647   121859     22 |  6.344 % |
792.79/792.89	c |   1231686 |    6515   152327   931173 | 2147483647   122883     22 |  6.344 % |
793.69/793.71	c |   1233735 |    6515   152327   931173 | 2147483647   124932     22 |  6.344 % |
795.19/795.30	c |   1237832 |    6515   152327   931173 | 2147483647   129029     23 |  6.344 % |
795.69/795.71	c |   1238347 |    6511   152036   926813 | 2147483647   129501     23 |  6.344 % |
796.09/796.13	c |   1238860 |    6511   152036   926813 | 2147483647   130014     23 |  6.344 % |
796.89/796.95	c |   1239885 |    6511   152036   926813 | 2147483647   131039     23 |  6.344 % |
797.09/797.20	c |   1240397 |    6511   152036   926813 | 2147483647   131551     23 |  6.344 % |
797.39/797.50	c |   1240909 |    6511   152036   926813 | 2147483647   132063     23 |  6.344 % |
798.09/798.14	c |   1241933 |    6511   152036   926813 | 2147483647   133087     23 |  6.344 % |
799.59/799.66	c |   1243983 |    6511   152036   926813 | 2147483647   135137     23 |  6.344 % |
799.99/800.06	c |   1244496 |    6511   152036   926813 | 2147483647   135650     23 |  6.344 % |
800.39/800.43	c |   1245008 |    6511   152036   926813 | 2147483647   136162     23 |  6.344 % |
800.99/801.03	c |   1246033 |    6511   152036   926813 | 2147483647   137187     23 |  6.344 % |
801.49/801.59	c |   1246546 |    6511   152036   926813 | 2147483647   137700     23 |  6.344 % |
801.69/801.78	c |   1247059 |    6511   152036   926813 | 2147483647   138213     23 |  6.344 % |
802.39/802.45	c |   1248087 |    6511   152036   926813 | 2147483647   139241     23 |  6.344 % |
804.19/804.26	c |   1250135 |    6511   152036   926813 | 2147483647   141289     23 |  6.344 % |
806.30/806.37	c |   1254231 |    6511   152036   926813 | 2147483647   145385     24 |  6.344 % |
811.59/811.66	c |   1262423 |    6511   152036   926813 | 2147483647   153577     24 |  6.344 % |
815.79/815.82	c |   1278808 |    6511   152036   926813 | 2147483647   169962     24 |  6.344 % |
816.09/816.21	c |   1279321 |    6511   152036   926813 | 2147483647   170475     24 |  6.344 % |
816.29/816.37	c |   1279833 |    6511   152036   926813 | 2147483647   170987     24 |  6.344 % |
816.69/816.71	c |   1280857 |    6511   152036   926813 | 2147483647   172011     24 |  6.344 % |
817.19/817.24	c |   1281370 |    6509   151971   925757 | 2147483647   172514     24 |  6.372 % |
817.49/817.57	c |   1281883 |    6509   151971   925757 | 2147483647   173027     24 |  6.372 % |
818.09/818.17	c |   1282908 |    6509   151971   925757 | 2147483647   174052     24 |  6.372 % |
819.29/819.33	c |   1284956 |    6509   151971   925757 | 2147483647   176100     24 |  6.372 % |
819.79/819.81	c |   1285468 |    6509   151971   925757 | 2147483647   176612     24 |  6.372 % |
820.09/820.14	c |   1285980 |    6509   151971   925757 | 2147483647   177124     24 |  6.372 % |
820.79/820.81	c |   1287004 |    6509   151971   925757 | 2147483647   178148     24 |  6.372 % |
820.99/821.04	c |   1287517 |    6509   151971   925757 | 2147483647   178661     24 |  6.373 % |
821.29/821.32	c |   1288029 |    6509   151971   925757 | 2147483647   179173     24 |  6.372 % |
821.49/821.58	c |   1289054 |    6509   151971   925757 | 2147483647   180198     23 |  6.372 % |
822.39/822.46	c |   1291102 |    6509   151971   925757 | 2147483647   182246     23 |  6.372 % |
824.39/824.50	c |   1295198 |    6509   151971   925757 | 2147483647   186342     23 |  6.372 % |
824.59/824.68	c |   1295711 |    6509   151971   925757 | 2147483647   186855     23 |  6.373 % |
824.79/824.89	c |   1296223 |    6509   151971   925757 | 2147483647   187367     23 |  6.372 % |
825.39/825.47	c |   1297248 |    6509   151971   925757 | 2147483647   188392     23 |  6.372 % |
825.59/825.65	c |   1297761 |    6509   151971   925757 | 2147483647   188905     23 |  6.373 % |
826.10/826.20	c |   1298273 |    6509   151971   925757 | 2147483647   189417     23 |  6.372 % |
826.59/826.69	c |   1299298 |    6509   151971   925757 | 2147483647   190442     23 |  6.372 % |
828.39/828.49	c |   1301347 |    6509   151971   925757 | 2147483647   192491     23 |  6.372 % |
828.59/828.66	c |   1301859 |    6509   151971   925757 | 2147483647   193003     23 |  6.372 % |
828.89/828.95	c |   1302371 |    6509   151971   925757 | 2147483647   193515     23 |  6.372 % |
829.49/829.59	c |   1303398 |    6509   151971   925757 | 2147483647   194542     23 |  6.372 % |
829.69/829.75	c |   1303910 |    6509   151971   925757 | 2147483647   195054     23 |  6.372 % |
830.09/830.17	c |   1304422 |    6509   151971   925757 | 2147483647   195566     23 |  6.372 % |
831.60/831.65	c |   1305446 |    6509   151971   925757 | 2147483647   196590     23 |  6.372 % |
832.70/832.76	c |   1307495 |    6509   151971   925757 | 2147483647   198639     23 |  6.372 % |
834.40/834.43	c |   1311591 |    6509   151971   925757 | 2147483647   202735     23 |  6.372 % |
840.50/840.55	c |   1319783 |    6507   151930   925194 | 2147483647   210913     23 |  6.401 % |
841.20/841.22	c |   1320295 |    6507   151930   925194 | 2147483647   211425     23 |  6.401 % |
841.80/841.88	c |   1320808 |    6507   151930   925194 | 2147483647   211938     23 |  6.401 % |
842.70/842.72	c |   1321834 |    6507   151930   925194 | 2147483647   212964     23 |  6.401 % |
842.90/842.99	c |   1322347 |    6507   151930   925194 | 2147483647   213477     23 |  6.401 % |
843.50/843.54	c |   1322861 |    6507   151930   925194 | 2147483647   213991     23 |  6.401 % |
844.50/844.51	c |   1323885 |    6507   151930   925194 | 2147483647   215015     23 |  6.401 % |
846.30/846.33	c |   1325934 |    6507   151930   925194 | 2147483647   217064     23 |  6.401 % |
846.80/846.88	c |   1326446 |    6507   151930   925194 | 2147483647   217576     23 |  6.401 % |
847.30/847.39	c |   1326958 |    6507   151930   925194 | 2147483647   218088     23 |  6.401 % |
848.40/848.44	c |   1327983 |    6507   151930   925194 | 2147483647   219113     23 |  6.401 % |
848.80/848.88	c |   1328496 |    6507   151930   925194 | 2147483647   219626     23 |  6.401 % |
849.20/849.25	c |   1329008 |    6507   151930   925194 | 2147483647   220138     23 |  6.401 % |
849.90/849.94	c |   1330032 |    6507   151930   925194 | 2147483647   221162     23 |  6.401 % |
852.40/852.48	c |   1332083 |    6507   151930   925194 | 2147483647   223213     23 |  6.401 % |
854.90/854.99	c |   1336180 |    6507   151930   925194 | 2147483647   227310     23 |  6.401 % |
855.70/855.75	c |   1336692 |    6507   151930   925194 | 2147483647   227822     23 |  6.401 % |
855.90/856.00	c |   1337204 |    6507   151930   925194 | 2147483647   228334     23 |  6.401 % |
856.70/856.79	c |   1338228 |    6507   151930   925194 | 2147483647   229358     23 |  6.401 % |
857.00/857.11	c |   1338740 |    6507   151930   925194 | 2147483647   229870     23 |  6.401 % |
857.60/857.67	c |   1339252 |    6507   151930   925194 | 2147483647   230382     23 |  6.401 % |
858.00/858.04	c |   1340276 |    6507   151930   925194 | 2147483647   231406     23 |  6.401 % |
859.40/859.44	c |   1342324 |    6507   151930   925194 | 2147483647   233454     23 |  6.401 % |
859.60/859.65	c |   1342836 |    6507   151930   925194 | 2147483647   233966     23 |  6.401 % |
859.90/860.01	c |   1343348 |    6507   151930   925194 | 2147483647   234478     23 |  6.401 % |
860.50/860.53	c |   1344373 |    6507   151930   925194 | 2147483647   235503     23 |  6.401 % |
860.90/860.91	c |   1344886 |    6507   151930   925194 | 2147483647   236016     23 |  6.401 % |
861.00/861.09	c |   1345398 |    6507   151930   925194 | 2147483647   236528     23 |  6.401 % |
861.80/861.86	c |   1346422 |    6507   151930   925194 | 2147483647   237552     23 |  6.401 % |
864.00/864.03	c |   1348471 |    6507   151930   925194 | 2147483647   239601     24 |  6.401 % |
867.20/867.25	c |   1352567 |    6507   151930   925194 | 2147483647   243697     24 |  6.401 % |
871.60/871.66	c |   1360759 |    6507   151930   925194 | 2147483647   251889     24 |  6.401 % |
877.20/877.29	c |   1377143 |    6507   151930   925194 | 2147483647   268273     23 |  6.401 % |
900.91/901.00	c |   1409913 |    6507   151930   925194 |   203618   178521     23 |  6.401 % |
901.50/901.51	c |   1410425 |    6507   151930   925194 | 2147483647   179033     23 |  6.401 % |
902.10/902.13	c |   1410937 |    6507   151930   925194 | 2147483647   179545     23 |  6.401 % |
903.20/903.31	c |   1411962 |    6507   151930   925194 | 2147483647   180570     23 |  6.402 % |
903.60/903.62	c |   1412474 |    6507   151930   925194 | 2147483647   181082     23 |  6.401 % |
903.90/903.99	c |   1412986 |    6507   151930   925194 | 2147483647   181594     23 |  6.401 % |
904.60/904.66	c |   1414011 |    6507   151930   925194 | 2147483647   182619     23 |  6.401 % |
907.10/907.17	c |   1416059 |    6507   151930   925194 | 2147483647   184667     23 |  6.401 % |
907.40/907.45	c |   1416571 |    6507   151930   925194 | 2147483647   185179     23 |  6.401 % |
907.60/907.70	c |   1417084 |    6507   151930   925194 | 2147483647   185692     23 |  6.401 % |
908.40/908.43	c |   1418108 |    6507   151930   925194 | 2147483647   186716     23 |  6.401 % |
908.90/908.95	c |   1418620 |    6507   151930   925194 | 2147483647   187228     23 |  6.401 % |
909.30/909.39	c |   1419133 |    6507   151930   925194 | 2147483647   187741     24 |  6.401 % |
910.40/910.50	c |   1420157 |    6507   151930   925194 | 2147483647   188765     24 |  6.401 % |
911.50/911.59	c |   1422205 |    6507   151930   925194 | 2147483647   190813     24 |  6.401 % |
914.80/914.88	c |   1426301 |    6507   151930   925194 | 2147483647   194909     24 |  6.401 % |
915.10/915.11	c |   1426814 |    6507   151930   925194 | 2147483647   195422     24 |  6.401 % |
915.70/915.76	c |   1427326 |    6507   151930   925194 | 2147483647   195934     24 |  6.401 % |
916.20/916.28	c |   1428351 |    6507   151930   925194 | 2147483647   196959     24 |  6.401 % |
916.50/916.58	c |   1428865 |    6507   151930   925194 | 2147483647   197473     23 |  6.401 % |
917.00/917.09	c |   1429378 |    6507   151930   925194 | 2147483647   197986     23 |  6.401 % |
917.70/917.72	c |   1430404 |    6507   151930   925194 | 2147483647   199012     23 |  6.401 % |
919.00/919.02	c |   1432453 |    6507   151930   925194 | 2147483647   201061     23 |  6.401 % |
919.20/919.24	c |   1432966 |    6507   151930   925194 | 2147483647   201574     23 |  6.401 % |
919.50/919.58	c |   1433479 |    6507   151930   925194 | 2147483647   202087     23 |  6.401 % |
920.00/920.01	c |   1434504 |    6507   151930   925194 | 2147483647   203112     23 |  6.401 % |
920.30/920.34	c |   1435017 |    6507   151930   925194 | 2147483647   203625     23 |  6.401 % |
920.80/920.82	c |   1435529 |    6507   151930   925194 | 2147483647   204137     23 |  6.401 % |
921.81/921.85	c |   1436553 |    6507   151930   925194 | 2147483647   205161     23 |  6.401 % |
924.30/924.32	c |   1438605 |    6507   151930   925194 | 2147483647   207213     23 |  6.401 % |
925.90/925.95	c |   1442702 |    6507   151930   925194 | 2147483647   211310     23 |  6.401 % |
936.50/936.59	c |   1450896 |    6507   151930   925194 |   218609   219504     24 |  6.401 % |
937.00/937.09	c |   1451409 |    6507   151930   925194 |   218609   188895     24 |  6.401 % |
937.50/937.52	c |   1451923 |    6507   151930   925194 |   218609   189409     24 |  6.401 % |
938.00/938.06	c |   1452948 |    6507   151930   925194 |   218609   190434     24 |  6.401 % |
938.70/938.72	c |   1453461 |    6507   151930   925194 |   218609   190947     24 |  6.401 % |
938.90/938.95	c |   1453974 |    6507   151930   925194 |   218609   191460     24 |  6.401 % |
939.90/939.91	c |   1454998 |    6507   151930   925194 |   218609   192484     24 |  6.401 % |
940.70/940.81	c |   1457046 |    6507   151930   925194 |   218609   194532     24 |  6.401 % |
941.10/941.19	c |   1457559 |    6506   151895   924684 |   218609   195040     24 |  6.417 % |
941.50/941.52	c |   1458072 |    6506   151895   924684 |   218609   195553     24 |  6.415 % |
942.00/942.08	c |   1459097 |    6506   151895   924684 |   218609   196578     24 |  6.415 % |
942.30/942.40	c |   1459610 |    6506   151895   924684 |   218609   197091     24 |  6.415 % |
942.60/942.67	c |   1460122 |    6506   151895   924684 | 2147483647   197603     24 |  6.415 % |
943.20/943.30	c |   1461147 |    6506   151895   924684 | 2147483647   198628     24 |  6.415 % |
944.00/944.02	c |   1463195 |    6506   151895   924684 | 2147483647   200676     24 |  6.415 % |
947.31/947.36	c |   1467291 |    6506   151895   924684 | 2147483647   204772     24 |  6.415 % |
948.21/948.23	c |   1467803 |    6506   151895   924684 | 2147483647   205284     24 |  6.415 % |
948.61/948.67	c |   1468316 |    6506   151895   924684 | 2147483647   205797     24 |  6.415 % |
949.41/949.49	c |   1469340 |    6506   151895   924684 | 2147483647   206821     24 |  6.415 % |
949.71/949.77	c |   1469854 |    6506   151895   924684 | 2147483647   207335     24 |  6.415 % |
950.01/950.08	c |   1470367 |    6506   151895   924684 | 2147483647   207848     24 |  6.416 % |
950.61/950.70	c |   1471391 |    6506   151895   924684 | 2147483647   208872     24 |  6.415 % |
951.41/951.42	c |   1473440 |    6506   151895   924684 | 2147483647   210921     24 |  6.416 % |
951.81/951.89	c |   1473953 |    6506   151895   924684 | 2147483647   211434     24 |  6.415 % |
952.11/952.12	c |   1474465 |    6506   151895   924684 | 2147483647   211946     24 |  6.415 % |
953.11/953.17	c |   1475489 |    6506   151895   924684 | 2147483647   212970     24 |  6.415 % |
953.41/953.44	c |   1476001 |    6506   151895   924684 | 2147483647   213482     24 |  6.415 % |
954.01/954.06	c |   1476513 |    6506   151895   924684 | 2147483647   213994     24 |  6.415 % |
954.71/954.73	c |   1477538 |    6506   151895   924684 | 2147483647   215019     24 |  6.415 % |
956.51/956.61	c |   1479587 |    6506   151895   924684 | 2147483647   217068     24 |  6.415 % |
961.51/961.56	c |   1483683 |    6506   151895   924684 | 2147483647   221164     25 |  6.415 % |
964.81/964.90	c |   1491875 |    6506   151895   924684 | 2147483647   229356     24 |  6.415 % |
972.91/972.96	c |   1508260 |    6506   151895   924684 | 2147483647   245741     24 |  6.415 % |
973.41/973.50	c |   1508773 |    6506   151895   924684 | 2147483647   246254     24 |  6.415 % |
974.21/974.25	c |   1509286 |    6506   151895   924684 | 2147483647   246767     24 |  6.415 % |
975.61/975.64	c |   1510312 |    6506   151895   924684 |   247482   247793     24 |  6.415 % |
976.31/976.34	c |   1510824 |    6506   151895   924684 |   247482   248305     24 |  6.416 % |
977.31/977.34	c |   1511337 |    6506   151895   924684 |   247482   208578     24 |  6.416 % |
978.81/978.84	c |   1512361 |    6506   151895   924684 |   247482   209602     24 |  6.415 % |
980.41/980.44	c |   1514409 |    6506   151895   924684 |   247482   211650     24 |  6.415 % |
980.61/980.69	c |   1514922 |    6506   151895   924684 |   247482   212163     24 |  6.415 % |
981.11/981.12	c |   1515435 |    6506   151895   924684 |   247482   212676     24 |  6.416 % |
981.51/981.56	c |   1516460 |    6506   151895   924684 |   247482   213701     24 |  6.415 % |
981.81/981.84	c |   1516973 |    6506   151895   924684 |   247482   214214     24 |  6.415 % |
982.51/982.53	c |   1517486 |    6506   151895   924684 |   247482   214727     24 |  6.415 % |
982.81/982.82	c |   1518511 |    6506   151895   924684 |   247482   215752     24 |  6.415 % |
984.61/984.63	c |   1520560 |    6506   151895   924684 | 2147483647   217801     24 |  6.415 % |
987.01/987.05	c |   1524657 |    6504   151851   924081 | 2147483647   221893     24 |  6.444 % |
987.41/987.51	c |   1525169 |    6504   151851   924081 | 2147483647   222405     24 |  6.444 % |
987.71/987.80	c |   1525681 |    6504   151851   924081 | 2147483647   222917     24 |  6.444 % |
988.61/988.62	c |   1526705 |    6504   151851   924081 | 2147483647   223941     24 |  6.444 % |
988.91/988.98	c |   1527219 |    6504   151851   924081 | 2147483647   224455     24 |  6.444 % |
989.21/989.22	c |   1527731 |    6504   151851   924081 | 2147483647   224967     24 |  6.444 % |
989.71/989.81	c |   1528756 |    6504   151851   924081 | 2147483647   225992     24 |  6.444 % |
990.81/990.86	c |   1530804 |    6504   151851   924081 | 2147483647   228040     24 |  6.444 % |
991.01/991.09	c |   1531316 |    6504   151851   924081 | 2147483647   228552     24 |  6.444 % |
991.31/991.36	c |   1531829 |    6504   151851   924081 | 2147483647   229065     24 |  6.444 % |
992.21/992.22	c |   1532853 |    6504   151851   924081 | 2147483647   230089     24 |  6.444 % |
992.71/992.76	c |   1533365 |    6504   151851   924081 | 2147483647   230601     24 |  6.444 % |
993.01/993.05	c |   1533880 |    6504   151851   924081 | 2147483647   231116     24 |  6.444 % |
994.41/994.42	c |   1534904 |    6504   151851   924081 | 2147483647   232140     24 |  6.444 % |
995.21/995.26	c |   1536954 |    6504   151851   924081 | 2147483647   234190     24 |  6.445 % |
997.81/997.82	c |   1541050 |    6504   151851   924081 | 2147483647   238286     24 |  6.444 % |
1004.21/1004.25	c |   1549242 |    6504   151851   924081 | 2147483647   246478     24 |  6.444 % |
1004.81/1004.84	c |   1549754 |    6504   151851   924081 | 2147483647   246990     24 |  6.444 % |
1005.01/1005.10	c |   1550266 |    6504   151851   924081 |   247238   247502     24 |  6.444 % |
1006.11/1006.11	c |   1551290 |    6504   151851   924081 |   247238   248526     24 |  6.444 % |
1006.81/1006.88	c |   1551802 |    6504   151851   924081 |   247238   208295     23 |  6.444 % |
1007.11/1007.16	c |   1552314 |    6504   151851   924081 |   247238   208807     23 |  6.444 % |
1008.61/1008.68	c |   1553338 |    6504   151851   924081 |   247238   209831     24 |  6.444 % |
1012.01/1012.02	c |   1555387 |    6504   151851   924081 |   247238   211880     24 |  6.444 % |
1012.31/1012.33	c |   1555899 |    6504   151851   924081 |   247238   212392     24 |  6.444 % |
1012.51/1012.61	c |   1556412 |    6504   151851   924081 |   247238   212905     24 |  6.444 % |
1013.41/1013.42	c |   1557436 |    6504   151851   924081 |   247238   213929     24 |  6.444 % |
1014.41/1014.49	c |   1557948 |    6504   151851   924081 |   247238   214441     24 |  6.444 % |
1014.81/1014.82	c |   1558460 |    6504   151851   924081 |   247238   214953     24 |  6.444 % |
1015.41/1015.44	c |   1559484 |    6504   151851   924081 |   247238   215977     24 |  6.444 % |
1016.01/1016.06	c |   1561532 |    6504   151851   924081 |   216493   218025     24 |  6.444 % |
1017.81/1017.90	c |   1565628 |    6504   151851   924081 |   216493   199815     23 |  6.444 % |
1018.21/1018.21	c |   1566140 |    6504   151851   924081 |   216493   200327     23 |  6.444 % |
1018.41/1018.46	c |   1566652 |    6504   151851   924081 |   216493   200839     23 |  6.444 % |
1019.01/1019.09	c |   1567676 |    6504   151851   924081 |   216493   201863     23 |  6.444 % |
1019.21/1019.28	c |   1568190 |    6504   151851   924081 |   216493   202377     23 |  6.444 % |
1019.72/1019.76	c |   1568703 |    6504   151851   924081 |   216493   202890     23 |  6.444 % |
1020.21/1020.31	c |   1569727 |    6504   151851   924081 |   216493   203914     23 |  6.445 % |
1022.71/1022.75	c |   1571776 |    6504   151851   924081 | 2147483647   205963     23 |  6.444 % |
1023.02/1023.07	c |   1572289 |    6504   151851   924081 | 2147483647   206476     23 |  6.444 % |
1023.41/1023.50	c |   1572801 |    6504   151851   924081 | 2147483647   206988     23 |  6.444 % |
1024.12/1024.17	c |   1573827 |    6504   151851   924081 | 2147483647   208014     23 |  6.444 % |
1024.61/1024.63	c |   1574339 |    6504   151851   924081 | 2147483647   208526     23 |  6.444 % |
1024.71/1024.81	c |   1574852 |    6504   151851   924081 | 2147483647   209039     23 |  6.444 % |
1025.70/1025.71	c |   1575877 |    6504   151851   924081 | 2147483647   210064     23 |  6.444 % |
1026.70/1026.73	c |   1577925 |    6504   151851   924081 | 2147483647   212112     23 |  6.444 % |
1028.60/1028.68	c |   1582021 |    6504   151851   924081 | 2147483647   216208     23 |  6.444 % |
1031.40/1031.42	c |   1590213 |    6504   151851   924081 | 2147483647   224400     23 |  6.444 % |
1049.20/1049.25	c |   1606598 |    6504   151851   924081 |   234187   171977     22 |  6.444 % |
1064.71/1064.78	c |   1639367 |    6504   151851   924081 | 2147483647   186767     22 |  6.444 % |
1098.11/1098.14	c |   1704903 |    6504   151851   924081 |    63401    42046     22 |  6.444 % |
1098.31/1098.35	c |   1705415 |    6504   151851   924081 |    63401    42558     22 |  6.444 % |
1098.71/1098.73	c |   1705927 |    6504   151851   924081 |    63401    43070     22 |  6.444 % |
1098.91/1099.00	c |   1706951 |    6504   151851   924081 |    63401    44094     22 |  6.444 % |
1099.31/1099.33	c |   1707463 |    6504   151851   924081 |    63401    44606     23 |  6.444 % |
1099.61/1099.67	c |   1707976 |    6504   151851   924081 |    63401    45119     23 |  6.444 % |
1100.31/1100.36	c |   1709000 |    6504   151851   924081 |    63401    46143     23 |  6.444 % |
1101.41/1101.44	c |   1711048 |    6504   151851   924081 |    47146    48191     23 |  6.444 % |
1101.71/1101.76	c |   1711562 |    6504   151851   924081 |    47146    43886     23 |  6.445 % |
1102.01/1102.05	c |   1712075 |    6504   151851   924081 |    47146    44399     23 |  6.444 % |
1102.51/1102.55	c |   1713099 |    6504   151851   924081 |    47146    45423     23 |  6.445 % |
1102.71/1102.78	c |   1713611 |    6504   151851   924081 |    47146    45935     23 |  6.444 % |
1103.01/1103.04	c |   1714125 |    6504   151851   924081 |    47146    46449     23 |  6.444 % |
1103.31/1103.35	c |   1715149 |    6504   151851   924081 |    47146    47473     23 |  6.444 % |
1104.81/1104.90	c |   1717198 |    6504   151851   924081 |    47146    49522     26 |  6.444 % |
1105.81/1105.82	c |   1721294 |    6504   151851   924081 | 2147483647    48666     25 |  6.445 % |
1106.21/1106.29	c |   1721807 |    6504   151851   924081 | 2147483647    49179     25 |  6.444 % |
1106.41/1106.44	c |   1722321 |    6504   151851   924081 | 2147483647    49693     25 |  6.445 % |
1106.71/1106.76	c |   1723346 |    6504   151851   924081 | 2147483647    50718     25 |  6.444 % |
1106.91/1106.98	c |   1723858 |    6504   151851   924081 | 2147483647    51230     25 |  6.444 % |
1107.41/1107.42	c |   1724372 |    6504   151851   924081 | 2147483647    51744     25 |  6.444 % |
1107.71/1107.77	c |   1725398 |    6504   151851   924081 | 2147483647    52770     25 |  6.444 % |
1108.41/1108.47	c |   1727448 |    6504   151851   924081 | 2147483647    54820     25 |  6.444 % |
1108.61/1108.65	c |   1727960 |    6504   151851   924081 | 2147483647    55332     24 |  6.444 % |
1109.01/1109.07	c |   1728475 |    6504   151851   924081 | 2147483647    55847     24 |  6.444 % |
1109.31/1109.41	c |   1729503 |    6504   151851   924081 | 2147483647    56875     24 |  6.444 % |
1109.61/1109.69	c |   1730015 |    6504   151851   924081 | 2147483647    57387     24 |  6.444 % |
1109.91/1109.99	c |   1730529 |    6504   151851   924081 | 2147483647    57901     24 |  6.444 % |
1110.41/1110.46	c |   1731553 |    6504   151851   924081 | 2147483647    58925     24 |  6.444 % |
1111.01/1111.10	c |   1733601 |    6504   151851   924081 | 2147483647    60973     24 |  6.444 % |
1112.71/1112.72	c |   1737697 |    6504   151851   924081 | 2147483647    65069     24 |  6.444 % |
1117.11/1117.19	c |   1745890 |    6504   151851   924081 | 2147483647    73262     24 |  6.444 % |
1117.31/1117.41	c |   1746405 |    6504   151851   924081 | 2147483647    73777     24 |  6.444 % |
1117.71/1117.81	c |   1746917 |    6504   151851   924081 | 2147483647    74289     24 |  6.445 % |
1118.01/1118.08	c |   1747943 |    6504   151851   924081 | 2147483647    75315     24 |  6.444 % |
1118.31/1118.40	c |   1748455 |    6504   151851   924081 | 2147483647    75827     24 |  6.445 % |
1118.71/1118.79	c |   1748967 |    6504   151851   924081 | 2147483647    76339     24 |  6.444 % |
1119.51/1119.51	c |   1749993 |    6504   151851   924081 | 2147483647    77365     24 |  6.444 % |
1121.01/1121.01	c |   1752043 |    6504   151851   924081 | 2147483647    79415     24 |  6.444 % |
1121.31/1121.37	c |   1752557 |    6504   151851   924081 | 2147483647    79929     24 |  6.444 % |
1121.61/1121.69	c |   1753069 |    6504   151851   924081 | 2147483647    80441     24 |  6.444 % |
1122.01/1122.08	c |   1754095 |    6504   151851   924081 | 2147483647    81467     24 |  6.444 % |
1122.61/1122.63	c |   1754607 |    6504   151851   924081 | 2147483647    81979     24 |  6.444 % |
1122.71/1122.80	c |   1755119 |    6504   151851   924081 | 2147483647    82491     24 |  6.444 % |
1123.21/1123.22	c |   1756143 |    6504   151851   924081 | 2147483647    83515     24 |  6.444 % |
1124.11/1124.13	c |   1758192 |    6504   151851   924081 | 2147483647    85564     24 |  6.444 % |
1126.91/1126.94	c |   1762288 |    6504   151851   924081 | 2147483647    89660     25 |  6.444 % |
1127.11/1127.14	c |   1762800 |    6504   151851   924081 | 2147483647    90172     25 |  6.444 % |
1127.41/1127.50	c |   1763312 |    6504   151851   924081 | 2147483647    90684     25 |  6.444 % |
1127.71/1127.71	c |   1764336 |    6504   151851   924081 | 2147483647    91708     25 |  6.444 % |
1128.01/1128.10	c |   1764850 |    6504   151851   924081 | 2147483647    92222     25 |  6.444 % |
1128.31/1128.36	c |   1765362 |    6504   151851   924081 | 2147483647    92734     25 |  6.444 % |
1128.91/1128.99	c |   1766388 |    6504   151851   924081 | 2147483647    93760     25 |  6.445 % |
1129.61/1129.67	c |   1768437 |    6504   151851   924081 | 2147483647    95809     25 |  6.444 % |
1129.91/1129.94	c |   1768949 |    6504   151851   924081 | 2147483647    96321     25 |  6.444 % |
1130.11/1130.16	c |   1769461 |    6504   151851   924081 | 2147483647    96833     25 |  6.444 % |
1130.41/1130.47	c |   1770487 |    6504   151851   924081 | 2147483647    97859     24 |  6.444 % |
1130.61/1130.63	c |   1771001 |    6504   151851   924081 | 2147483647    98373     24 |  6.444 % |
1130.82/1130.89	c |   1771513 |    6504   151851   924081 | 2147483647    98885     24 |  6.444 % |
1131.31/1131.38	c |   1772537 |    6504   151851   924081 | 2147483647    99909     24 |  6.444 % |
1133.51/1133.59	c |   1774585 |    6504   151851   924081 | 2147483647   101957     24 |  6.444 % |
1136.01/1136.07	c |   1778681 |    6504   151851   924081 | 2147483647   106053     25 |  6.444 % |
1138.31/1138.32	c |   1786876 |    6504   151851   924081 | 2147483647   114248     24 |  6.444 % |
1142.71/1142.73	c |   1803260 |    6504   151851   924081 | 2147483647   130632     24 |  6.444 % |
1142.92/1143.00	c |   1803772 |    6504   151851   924081 | 2147483647   131144     24 |  6.444 % |
1143.11/1143.18	c |   1804284 |    6504   151851   924081 | 2147483647   131656     24 |  6.444 % |
1143.51/1143.56	c |   1805308 |    6504   151851   924081 | 2147483647   132680     24 |  6.444 % |
1143.91/1143.95	c |   1805820 |    6504   151851   924081 | 2147483647   133192     24 |  6.444 % |
1144.21/1144.23	c |   1806332 |    6504   151851   924081 | 2147483647   133704     24 |  6.444 % |
1144.81/1144.81	c |   1807356 |    6504   151851   924081 | 2147483647   134728     24 |  6.444 % |
1145.41/1145.44	c |   1809404 |    6504   151851   924081 | 2147483647   136776     24 |  6.444 % |
1145.61/1145.70	c |   1809916 |    6504   151851   924081 | 2147483647   137288     24 |  6.444 % |
1145.91/1145.91	c |   1810428 |    6504   151851   924081 | 2147483647   137800     24 |  6.444 % |
1146.31/1146.39	c |   1811453 |    6504   151851   924081 | 2147483647   138825     24 |  6.444 % |
1146.91/1147.00	c |   1811966 |    6504   151851   924081 | 2147483647   139338     24 |  6.444 % |
1147.41/1147.48	c |   1812478 |    6504   151851   924081 | 2147483647   139850     24 |  6.444 % |
1147.91/1147.95	c |   1813502 |    6504   151851   924081 | 2147483647   140874     24 |  6.444 % |
1149.01/1149.11	c |   1815550 |    6504   151851   924081 | 2147483647   142922     24 |  6.444 % |
1151.91/1151.97	c |   1819646 |    6504   151851   924081 | 2147483647   147018     24 |  6.444 % |
1152.11/1152.21	c |   1820159 |    6504   151851   924081 | 2147483647   147531     24 |  6.444 % |
1152.41/1152.48	c |   1820671 |    6504   151851   924081 | 2147483647   148043     24 |  6.444 % |
1152.82/1152.88	c |   1821696 |    6504   151851   924081 | 2147483647   149068     24 |  6.444 % |
1153.01/1153.04	c |   1822210 |    6504   151851   924081 | 2147483647   149582     24 |  6.444 % |
1153.41/1153.47	c |   1822723 |    6504   151851   924081 | 2147483647   150095     24 |  6.444 % |
1154.01/1154.10	c |   1823747 |    6504   151851   924081 | 2147483647   151119     24 |  6.444 % |
1156.01/1156.09	c |   1825795 |    6504   151851   924081 | 2147483647   153167     24 |  6.444 % |
1156.41/1156.50	c |   1826307 |    6504   151851   924081 | 2147483647   153679     24 |  6.445 % |
1156.71/1156.76	c |   1826819 |    6504   151851   924081 | 2147483647   154191     24 |  6.444 % |
1157.81/1157.87	c |   1827844 |    6504   151851   924081 | 2147483647   155216     25 |  6.444 % |
1158.01/1158.09	c |   1828359 |    6504   151851   924081 | 2147483647   155731     25 |  6.445 % |
1158.61/1158.62	c |   1828872 |    6504   151851   924081 | 2147483647   156244     25 |  6.444 % |
1159.01/1159.09	c |   1829897 |    6504   151851   924081 | 2147483647   157269     25 |  6.444 % |
1161.71/1161.80	c |   1831946 |    6504   151851   924081 | 2147483647   159318     25 |  6.444 % |
1166.02/1166.05	c |   1836042 |    6504   151851   924081 | 2147483647   163414     25 |  6.444 % |
1167.91/1167.96	c |   1844234 |    6504   151851   924081 | 2147483647   171606     25 |  6.444 % |
1168.22/1168.29	c |   1844746 |    6504   151851   924081 | 2147483647   172118     25 |  6.444 % |
1168.81/1168.81	c |   1845261 |    6504   151851   924081 | 2147483647   172633     25 |  6.444 % |
1169.81/1169.90	c |   1846285 |    6504   151851   924081 | 2147483647   173657     25 |  6.444 % |
1170.31/1170.40	c |   1846798 |    6504   151851   924081 | 2147483647   174170     25 |  6.444 % |
1170.71/1170.76	c |   1847311 |    6504   151851   924081 | 2147483647   174683     25 |  6.444 % |
1171.21/1171.26	c |   1848335 |    6504   151851   924081 | 2147483647   175707     25 |  6.444 % |
1172.91/1172.93	c |   1850383 |    6504   151851   924081 | 2147483647   177755     25 |  6.444 % |
1173.41/1173.49	c |   1850897 |    6504   151851   924081 | 2147483647   178269     25 |  6.444 % |
1173.91/1173.98	c |   1851409 |    6504   151851   924081 | 2147483647   178781     25 |  6.444 % |
1174.51/1174.55	c |   1852433 |    6504   151851   924081 | 2147483647   179805     25 |  6.444 % |
1174.82/1174.90	c |   1852946 |    6504   151851   924081 | 2147483647   180318     25 |  6.444 % |
1175.22/1175.25	c |   1853458 |    6504   151851   924081 | 2147483647   180830     25 |  6.445 % |
1175.82/1175.86	c |   1854482 |    6504   151851   924081 | 2147483647   181854     25 |  6.444 % |
1177.62/1177.63	c |   1856530 |    6504   151851   924081 | 2147483647   183902     25 |  6.444 % |
1180.62/1180.66	c |   1860626 |    6504   151851   924081 | 2147483647   187998     25 |  6.444 % |
1181.02/1181.03	c |   1861138 |    6504   151851   924081 | 2147483647   188510     25 |  6.444 % |
1181.42/1181.43	c |   1861651 |    6504   151851   924081 | 2147483647   189023     25 |  6.444 % |
1182.12/1182.21	c |   1862675 |    6504   151851   924081 | 2147483647   190047     25 |  6.444 % |
1182.42/1182.48	c |   1863187 |    6504   151851   924081 | 2147483647   190559     25 |  6.444 % |
1182.82/1182.89	c |   1863703 |    6504   151851   924081 | 2147483647   191075     25 |  6.444 % |
1183.32/1183.33	c |   1864727 |    6504   151851   924081 | 2147483647   192099     25 |  6.444 % |
1184.92/1184.93	c |   1866776 |    6504   151851   924081 | 2147483647   194148     25 |  6.444 % |
1185.22/1185.29	c |   1867288 |    6504   151851   924081 | 2147483647   194660     25 |  6.444 % |
1185.42/1185.51	c |   1867800 |    6504   151851   924081 | 2147483647   195172     25 |  6.444 % |
1185.92/1185.94	c |   1868826 |    6504   151851   924081 | 2147483647   196198     25 |  6.444 % |
1186.12/1186.17	c |   1869339 |    6504   151851   924081 | 2147483647   196711     25 |  6.444 % |
1186.62/1186.70	c |   1869853 |    6504   151851   924081 | 2147483647   197225     25 |  6.444 % |
1187.12/1187.19	c |   1870877 |    6504   151851   924081 | 2147483647   198249     25 |  6.444 % |
1188.52/1188.53	c |   1872925 |    6504   151851   924081 | 2147483647   200297     25 |  6.444 % |
1194.42/1194.42	c |   1877022 |    6504   151851   924081 | 2147483647   204394     25 |  6.445 % |
1200.02/1200.03	HOME/SatELiteGTI: line 36: 29480 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-1820459-1242447573/watcher-1820459-1242447573 -o /tmp/evaluation-result-1820459-1242447573/solver-1820459-1242447573 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820459-1242447573.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: 0.91 0.98 0.99 3/91 29474
/proc/meminfo: memFree=770676/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) R 29472 29474 9090 0 -1 4194304 354 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403676 3085592436 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=2416 CPUtime=0
/proc/29478/stat : 29478 (SatELiteGTI) R 29474 29474 9090 0 -1 4194368 63 0 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 95 4294967295 134512640 135169312 3219405200 3219403476 3086628875 0 0 0 0 0 0 0 17 2 0 0 0
/proc/29478/statm: 604 95 52 161 0 43 0

[startup+0.097575 s]
/proc/loadavg: 0.91 0.98 0.99 3/91 29474
/proc/meminfo: memFree=770676/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=15208 CPUtime=0.1
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 3034 0 0 0 9 1 0 0 25 0 1 0 1009257741 15572992 2970 4294967295 134512640 135223648 3219450256 3219448840 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 3802 2970 47 174 0 3627 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17624

[startup+0.107575 s]
/proc/loadavg: 0.91 0.98 0.99 3/91 29474
/proc/meminfo: memFree=770676/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=16000 CPUtime=0.11
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 3333 0 0 0 10 1 0 0 25 0 1 0 1009257741 16384000 3269 4294967295 134512640 135223648 3219450256 3219449208 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 4000 3271 47 174 0 3825 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 18416

[startup+0.307565 s]
/proc/loadavg: 0.91 0.98 0.99 3/91 29474
/proc/meminfo: memFree=770676/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=40568 CPUtime=0.31
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 9418 0 0 0 28 3 0 0 25 0 1 0 1009257741 41541632 9354 4294967295 134512640 135223648 3219450256 3219448840 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 10142 9354 47 174 0 9967 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 42984

[startup+0.707546 s]
/proc/loadavg: 0.91 0.98 0.99 3/91 29474
/proc/meminfo: memFree=770676/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=58144 CPUtime=0.71
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 14330 0 0 0 66 5 0 0 25 0 1 0 1009257741 59539456 13850 4294967295 134512640 135223648 3219450256 3219448256 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 14536 13850 73 174 0 14361 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 60560

[startup+1.50751 s]
/proc/loadavg: 0.91 0.98 0.99 3/93 29479
/proc/meminfo: memFree=712620/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=60144 CPUtime=1.51
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 14866 0 0 0 146 5 0 0 25 0 1 0 1009257741 61587456 14386 4294967295 134512640 135223648 3219450256 3219448256 134548979 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 15036 14386 73 174 0 14861 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 62560

[startup+3.10743 s]
/proc/loadavg: 0.91 0.98 0.99 3/93 29479
/proc/meminfo: memFree=706296/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=63188 CPUtime=3.11
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 15609 0 0 0 304 7 0 0 25 0 1 0 1009257741 64704512 15129 4294967295 134512640 135223648 3219450256 3219448256 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 15797 15129 73 174 0 15622 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 65604

[startup+6.30728 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 29479
/proc/meminfo: memFree=692656/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=67804 CPUtime=6.31
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 16701 0 0 0 621 10 0 0 25 0 1 0 1009257741 69431296 16221 4294967295 134512640 135223648 3219450256 3219448256 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 16951 16221 73 174 0 16776 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 70220

[startup+12.707 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 29479
/proc/meminfo: memFree=680360/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2416 CPUtime=0
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1009257741 2473984 277 4294967295 134512640 135169312 3219405200 3219403736 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/29474/statm: 604 277 235 161 0 43 0
[pid=29478] ppid=29474 vsize=73732 CPUtime=12.71
/proc/29478/stat : 29478 (SatELite_releas) R 29474 29474 9090 0 -1 4202496 18027 0 0 0 1259 12 0 0 25 0 1 0 1009257741 75501568 17420 4294967295 134512640 135223648 3219450256 3219448128 134578184 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29478/statm: 18433 17420 73 174 0 18258 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 76148

[startup+25.5064 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 29663
/proc/meminfo: memFree=727296/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=16356 CPUtime=5.71
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 3980 0 0 0 569 2 0 0 25 0 1 0 1009259718 16748544 3915 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29480/statm: 4089 3915 75 172 0 3916 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18776

[startup+51.1151 s]
/proc/loadavg: 0.96 0.98 0.99 2/93 29665
/proc/meminfo: memFree=718624/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=25308 CPUtime=31.32
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 6190 0 0 0 3128 4 0 0 25 0 1 0 1009259718 25915392 6125 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29480/statm: 6327 6125 75 172 0 6154 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27728

[startup+102.323 s]
/proc/loadavg: 0.98 0.98 0.99 2/93 29852
/proc/meminfo: memFree=706092/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=37240 CPUtime=82.53
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 9192 0 0 0 8244 9 0 0 25 0 1 0 1009259718 38133760 9127 4294967295 134512640 135216591 3217172416 3217170608 134528790 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29480/statm: 9310 9127 75 172 0 9137 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39660

[startup+162.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30045
/proc/meminfo: memFree=696380/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=46916 CPUtime=142.53
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 11508 0 0 0 14239 14 0 0 25 0 1 0 1009259718 48041984 11443 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29480/statm: 11729 11443 75 172 0 11556 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 49336

[startup+222.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30233
/proc/meminfo: memFree=689280/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=53948 CPUtime=202.53
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 13312 0 0 0 20238 15 0 0 25 0 1 0 1009259718 55242752 13247 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29480/statm: 13487 13247 75 172 0 13314 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 56368

[startup+282.324 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30419
/proc/meminfo: memFree=680144/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=63388 CPUtime=262.54
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15594 0 0 0 26233 21 0 0 25 0 1 0 1009259718 64909312 15529 4294967295 134512640 135216591 3217172416 3217170608 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29480/statm: 15847 15529 75 172 0 15674 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 65808

[startup+342.311 s]
/proc/loadavg: 1.06 1.00 1.00 3/93 30723
/proc/meminfo: memFree=675356/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=322.52
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15939 0 0 0 32231 21 0 0 25 0 1 0 1009259718 66265088 15874 4294967295 134512640 135216591 3217172416 3217170608 134529012 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29480/statm: 16178 15874 75 172 0 16005 0
Current children cumulated CPU time (s) 342.29

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

/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=442.51
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15939 0 0 0 44227 24 0 0 25 0 1 0 1009259718 66265088 15874 4294967295 134512640 135216591 3217172416 3217170608 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15874 75 172 0 16005 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 67132

[startup+522.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 31293
/proc/meminfo: memFree=675548/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=502.52
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15940 0 0 0 50227 25 0 0 25 0 1 0 1009259718 66265088 15875 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15875 75 172 0 16005 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 67132

[startup+582.31 s]
/proc/loadavg: 1.25 1.08 1.02 2/93 31479
/proc/meminfo: memFree=675752/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=562.51
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 56226 25 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 67132

[startup+642.317 s]
/proc/loadavg: 1.09 1.07 1.02 3/93 31668
/proc/meminfo: memFree=675636/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=622.52
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 62218 34 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 67132

[startup+702.304 s]
/proc/loadavg: 1.03 1.05 1.01 2/93 31855
/proc/meminfo: memFree=675636/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=682.51
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 68217 34 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 67132

[startup+762.311 s]
/proc/loadavg: 1.01 1.04 1.01 3/93 32044
/proc/meminfo: memFree=675752/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=742.52
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 74218 34 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 67132

[startup+822.308 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32232
/proc/meminfo: memFree=675672/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=802.52
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 80218 34 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528894 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 67132

[startup+882.315 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32418
/proc/meminfo: memFree=675752/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=862.53
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 86219 34 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134529086 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 67132

[startup+942.313 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32611
/proc/meminfo: memFree=675820/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=922.53
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 92219 34 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 67132

[startup+1002.32 s]
/proc/loadavg: 1.11 1.04 1.01 3/93 330
/proc/meminfo: memFree=675876/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=982.54
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 98217 37 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 67132

[startup+1062.32 s]
/proc/loadavg: 1.04 1.03 1.00 2/93 519
/proc/meminfo: memFree=675852/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=1042.54
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 104213 41 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 67132

[startup+1122.31 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 707
/proc/meminfo: memFree=675812/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=1102.54
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 110213 41 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 67132

[startup+1182.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 901
/proc/meminfo: memFree=675728/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=1162.55
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 116214 41 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 67132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 907
/proc/meminfo: memFree=676032/2074464 swapFree=1953004/1959888
[pid=29474] ppid=29472 vsize=2420 CPUtime=19.77
/proc/29474/stat : 29474 (SatELiteGTI) S 29472 29474 9090 0 -1 4194304 386 20773 0 0 0 0 1964 13 18 0 1 0 1009257741 2478080 278 4294967295 134512640 135169312 3219405200 3219401416 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/29474/statm: 605 278 235 161 0 44 0
[pid=29480] ppid=29474 vsize=64712 CPUtime=1180.25
/proc/29480/stat : 29480 (minisat_static) R 29474 29474 9090 0 -1 4202496 15941 0 0 0 117984 41 0 0 25 0 1 0 1009259718 66265088 15876 4294967295 134512640 135216591 3217172416 3217170608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29480/statm: 16178 15876 75 172 0 16005 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 67132

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1200.05
CPU time (s): 1200.04
CPU user time (s): 1199.48
CPU system time (s): 0.56
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 85600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.48
system time used= 0.56
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37376
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= 21
involuntary context switches= 2460

runsolver used 0 second user time and 0.04 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-16 06:19:33
IDJOB=1820459
IDBENCH=20409
IDSOLVER=658
FILE ID=tipi19/1820459-1242447573
PBS_JOBID=
Free space on /tmp= 10150 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820459-1242447573/watcher-1820459-1242447573 -o /tmp/evaluation-result-1820459-1242447573/solver-1820459-1242447573 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820459-1242447573.cnf

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

MD5SUM BENCH= 7cb48ce6f0320bc88623afd3c5af4aae
RANDOM SEED= 826965264

Linux tipi19 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.426
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.39

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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.426
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.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        770708 kB
Buffers:         29112 kB
Cached:        1179864 kB
SwapCached:       3036 kB
Active:         461272 kB
Inactive:       757200 kB
HighTotal:     1178688 kB
HighFree:       249648 kB
LowTotal:       895776 kB
LowFree:        521060 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            9316 kB
Writeback:           0 kB
AnonPages:        8844 kB
Mapped:           3472 kB
Slab:            76592 kB
PageTables:        644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87780 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10150 MiB
End job on tipi19 at 2009-05-16 06:39:34