Trace number 1834037

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.07 1200.81

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
MD5SUM68299073e5e5e9c13c18eb7bcc640f07
Bench CategoryCRAFTED (crafted 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 variables383
Number of clauses75352
Sum of the clauses size441112
Maximum clause length11
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21220
Number of clauses of size 30
Number of clauses of size 4516
Number of clauses of size 54802
Number of clauses of size over 568750

Solver Data

0.00/0.00	c Parsing...
0.00/0.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |   75288   441048 |   22586       0        0     nan |  0.000 % |
1.49/1.55	c |         0 |   46730   290013 |      --       0       --      -- |     --   | -3982/16901
1.49/1.55	c ==============================================================================
1.49/1.55	c Result  :   #vars: 292   #clauses: 46730   #literals: 290013
1.49/1.55	c CPU time:   1.53277 s
1.49/1.55	c ==============================================================================
1.59/1.63	c This is MiniSat 2.0 beta
1.59/1.63	c WARNING: for repeatability, setting FPU to use double precision
1.59/1.63	c ============================[ Problem Statistics ]=============================
1.59/1.63	c |                                                                             |
1.59/1.63	c |  Number of variables:  292                                                  |
1.59/1.63	c |  Number of clauses:    46730                                                |
1.59/1.67	c |  Parsing time:         0.03         s                                       |
1.59/1.67	c ============================[ Search Statistics ]==============================
1.59/1.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.67	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.59/1.67	c ===============================================================================
1.59/1.67	c |         0 |     292    46730   290013 |    15576        0    nan |  0.000 % |
1.59/1.67	c |       103 |     292    46730   290013 |    15576      103      9 |  0.001 % |
1.59/1.68	c |       204 |     292    46730   290013 |    15576      204      8 |  0.001 % |
1.59/1.68	c |       304 |     292    46730   290013 |    15576      304      8 |  0.008 % |
1.59/1.68	c |       415 |     292    46730   290013 |    15576      415      9 |  0.006 % |
1.59/1.68	c |       515 |     292    46730   290013 |    15576      515      9 |  0.008 % |
1.59/1.69	c |       625 |     292    46730   290013 |    15576      625      9 |  0.001 % |
1.59/1.69	c |       748 |     291    46730   290013 |    15576      747     10 |  0.348 % |
1.59/1.70	c |       849 |     290    46730   290013 |    15576      847     10 |  0.686 % |
1.61/1.70	c |       961 |     290    46730   290013 |    15576      959     11 |  0.686 % |
1.61/1.71	c |      1082 |     290    46730   290013 |    15576     1080     11 |  0.686 % |
1.61/1.71	c |      1215 |     290    46730   290013 |    15576     1213     11 |  0.686 % |
1.61/1.71	c |      1315 |     290    46730   290013 |    15576     1313     11 |  0.686 % |
1.61/1.72	c |      1425 |     290    46730   290013 |    15576     1423     11 |  0.686 % |
1.61/1.72	c |      1547 |     290    46730   290013 |    15576     1545     12 |  0.686 % |
1.61/1.73	c |      1680 |     290    46730   290013 |    15576     1678     12 |  0.687 % |
1.61/1.74	c |      1827 |     290    46730   290013 |    15576     1825     13 |  0.698 % |
1.61/1.74	c |      1927 |     290    46730   290013 |    15576     1925     13 |  0.686 % |
1.61/1.74	c |      2037 |     290    46730   290013 |    15576     2035     13 |  0.686 % |
1.61/1.75	c |      2160 |     290    46730   290013 |    15576     2158     14 |  0.686 % |
1.61/1.75	c |      2294 |     290    46730   290013 |    15576     2292     14 |  0.686 % |
1.61/1.76	c |      2441 |     290    46730   290013 |    15576     2439     14 |  0.686 % |
1.61/1.77	c |      2602 |     290    46730   290013 |    15576     2600     14 |  0.693 % |
1.61/1.77	c |      2703 |     290    46730   290013 |    15576     2701     14 |  0.693 % |
1.61/1.78	c |      2817 |     290    46730   290013 |    15576     2815     14 |  0.691 % |
1.61/1.78	c |      2939 |     290    46730   290013 |    15576     2937     13 |  0.693 % |
1.61/1.79	c |      3075 |     290    46730   290013 |    15576     3073     13 |  0.691 % |
1.61/1.79	c |      3221 |     290    46730   290013 |    15576     3219     14 |  0.686 % |
1.61/1.80	c |      3381 |     290    46730   290013 |    15576     3379     14 |  0.686 % |
1.61/1.81	c |      3558 |     290    46730   290013 |    15576     3556     14 |  0.698 % |
1.61/1.81	c |      3658 |     290    46730   290013 |    15576     3656     14 |  0.686 % |
1.61/1.82	c |      3768 |     290    46730   290013 |    15576     3766     14 |  0.693 % |
1.61/1.82	c |      3889 |     290    46730   290013 |    15576     3887     14 |  0.686 % |
1.61/1.83	c |      4022 |     290    46730   290013 |    15576     4020     14 |  0.686 % |
1.61/1.84	c |      4168 |     290    46730   290013 |    15576     4166     15 |  0.688 % |
1.61/1.84	c |      4329 |     290    46730   290013 |    15576     4327     15 |  0.686 % |
1.61/1.85	c |      4505 |     288    46730   290013 |    15576     4502     15 |  1.371 % |
1.61/1.86	c |      4699 |     288    46730   290013 |    15576     4696     16 |  1.371 % |
1.61/1.87	c |      4801 |     288    46730   290013 |    15576     4798     16 |  1.371 % |
1.61/1.87	c |      4911 |     288    46730   290013 |    15576     4908     16 |  1.372 % |
1.61/1.88	c |      5034 |     288    46730   290013 |    15576     5031     16 |  1.371 % |
1.61/1.89	c |      5167 |     288    46730   290013 |    15576     5164     16 |  1.371 % |
1.61/1.90	c |      5313 |     288    46730   290013 |    15576     5310     16 |  1.371 % |
1.61/1.91	c |      5473 |     288    46730   290013 |    15576     5470     16 |  1.371 % |
1.61/1.92	c |      5650 |     288    46730   290013 |    15576     5647     16 |  1.371 % |
1.61/1.93	c |      5843 |     288    46730   290013 |    15576     5840     16 |  1.371 % |
1.61/1.94	c |      6057 |     288    46730   290013 |    15576     6054     16 |  1.378 % |
1.61/1.95	c |      6159 |     288    46730   290013 |    15576     6156     17 |  1.371 % |
1.61/1.96	c |      6269 |     288    46730   290013 |    15576     6266     17 |  1.371 % |
1.61/1.96	c |      6390 |     288    46730   290013 |    15576     6387     17 |  1.377 % |
1.61/1.97	c |      6523 |     288    46730   290013 |    15576     6520     17 |  1.384 % |
1.61/1.98	c |      6669 |     288    46730   290013 |    15576     6666     17 |  1.371 % |
1.61/1.99	c |      6829 |     288    46730   290013 |    15576     6826     17 |  1.376 % |
1.61/2.00	c |      7005 |     288    46730   290013 |    15576     7002     17 |  1.371 % |
1.61/2.01	c |      7200 |     288    46730   290013 |    15576     7197     17 |  1.371 % |
1.61/2.02	c |      7413 |     288    46730   290013 |    15576     7410     17 |  1.378 % |
1.61/2.03	c |      7646 |     288    46730   290013 |    15576     7643     17 |  1.378 % |
1.61/2.04	c |      7749 |     288    46730   290013 |    15576     7746     17 |  1.376 % |
1.61/2.05	c |      7863 |     288    46730   290013 |    15576     7860     17 |  1.371 % |
1.61/2.05	c |      7985 |     288    46730   290013 |    15576     7982     17 |  1.371 % |
1.61/2.06	c |      8119 |     288    46730   290013 |    15576     8116     17 |  1.375 % |
1.61/2.07	c |      8265 |     288    46730   290013 |    15576     8262     17 |  1.375 % |
1.61/2.08	c |      8425 |     288    46730   290013 |    15576     8422     17 |  1.371 % |
1.61/2.09	c |      8601 |     288    46730   290013 |    15576     8598     17 |  1.371 % |
2.06/2.11	c |      8794 |     288    46730   290013 |    15576     8791     17 |  1.371 % |
2.06/2.12	c |      9006 |     287    46730   290013 |    15576     9002     17 |  1.714 % |
2.06/2.14	c |      9241 |     287    46730   290013 |    15576     9237     17 |  1.714 % |
2.06/2.15	c |      9497 |     287    46730   290013 |    15576     9493     17 |  1.714 % |
2.06/2.16	c |      9598 |     287    46730   290013 |    15576     9594     17 |  1.714 % |
2.06/2.16	c |      9708 |     287    46730   290013 |    15576     9704     17 |  1.714 % |
2.06/2.17	c |      9829 |     287    46730   290013 |    15576     9825     17 |  1.714 % |
2.06/2.18	c |      9962 |     287    46730   290013 |    15576     9958     17 |  1.721 % |
2.06/2.19	c |     10112 |     287    46730   290013 | 2147483647    10108     17 |  1.714 % |
2.06/2.20	c |     10272 |     287    46730   290013 | 2147483647    10268     17 |  1.714 % |
2.16/2.21	c |     10448 |     287    46730   290013 | 2147483647    10444     17 |  1.721 % |
2.16/2.22	c |     10643 |     286    46730   290013 | 2147483647    10638     17 |  2.056 % |
2.16/2.23	c |     10855 |     286    46730   290013 | 2147483647    10850     17 |  2.063 % |
2.16/2.25	c |     11089 |     286    46730   290013 | 2147483647    11084     17 |  2.056 % |
2.16/2.27	c |     11348 |     286    46730   290013 | 2147483647    11343     17 |  2.056 % |
2.16/2.28	c |     11630 |     286    46730   290013 | 2147483647    11625     17 |  2.056 % |
2.16/2.29	c |     11733 |     286    46730   290013 | 2147483647    11728     17 |  2.056 % |
2.26/2.30	c |     11843 |     286    46730   290013 | 2147483647    11838     17 |  2.064 % |
2.26/2.31	c |     11964 |     286    46730   290013 | 2147483647    11959     17 |  2.056 % |
2.26/2.32	c |     12097 |     286    46730   290013 | 2147483647    12092     17 |  2.056 % |
2.26/2.33	c |     12245 |     286    46730   290013 | 2147483647    12240     17 |  2.056 % |
2.26/2.34	c |     12405 |     286    46730   290013 | 2147483647    12400     17 |  2.056 % |
2.26/2.35	c |     12581 |     286    46730   290013 | 2147483647    12576     17 |  2.056 % |
2.26/2.37	c |     12776 |     286    46730   290013 | 2147483647    12771     17 |  2.056 % |
2.26/2.38	c |     12988 |     286    46730   290013 | 2147483647    12983     17 |  2.056 % |
2.36/2.40	c |     13221 |     286    46730   290013 | 2147483647    13216     17 |  2.063 % |
2.36/2.42	c |     13479 |     286    46730   290013 | 2147483647    13474     17 |  2.056 % |
2.36/2.44	c |     13760 |     285    46730   290013 | 2147483647    13754     17 |  2.400 % |
2.36/2.45	c |     14070 |     285    46730   290013 | 2147483647    14064     17 |  2.404 % |
2.36/2.46	c |     14170 |     285    46730   290013 | 2147483647    14164     17 |  2.398 % |
2.36/2.47	c |     14285 |     285    46730   290013 | 2147483647    14279     17 |  2.398 % |
2.36/2.48	c |     14406 |     285    46730   290013 | 2147483647    14400     17 |  2.398 % |
2.36/2.49	c |     14539 |     285    46730   290013 | 2147483647    14533     17 |  2.398 % |
2.46/2.50	c |     14686 |     285    46730   290013 | 2147483647    14680     17 |  2.398 % |
2.46/2.51	c |     14846 |     285    46730   290013 | 2147483647    14840     17 |  2.398 % |
2.46/2.52	c |     15023 |     285    46730   290013 | 2147483647    15017     17 |  2.398 % |
2.46/2.54	c |     15216 |     285    46730   290013 | 2147483647    15210     17 |  2.398 % |
2.46/2.55	c |     15430 |     285    46730   290013 | 2147483647    15424     17 |  2.405 % |
2.46/2.57	c |     15664 |     285    46730   290013 | 2147483647    15658     17 |  2.405 % |
2.46/2.59	c |     15921 |     285    46730   290013 | 2147483647    15915     17 |  2.405 % |
2.56/2.60	c |     16204 |     285    46730   290013 | 2147483647    16198     17 |  2.398 % |
2.56/2.63	c |     16514 |     285    46730   290013 | 2147483647    16508     17 |  2.398 % |
2.56/2.65	c |     16853 |     285    46730   290013 | 2147483647    16847     17 |  2.398 % |
2.56/2.66	c |     16956 |     285    46730   290013 | 2147483647    16950     17 |  2.398 % |
2.56/2.66	c |     17068 |     285    46730   290013 | 2147483647    17062     17 |  2.398 % |
2.56/2.68	c |     17189 |     285    46730   290013 | 2147483647    17183     17 |  2.398 % |
2.56/2.68	c |     17322 |     285    46730   290013 | 2147483647    17316     17 |  2.398 % |
2.66/2.70	c |     17471 |     285    46730   290013 | 2147483647    17465     17 |  2.410 % |
2.66/2.71	c |     17632 |     285    46730   290013 | 2147483647    17626     17 |  2.405 % |
2.66/2.72	c |     17809 |     285    46730   290013 | 2147483647    17803     17 |  2.398 % |
2.66/2.74	c |     18005 |     285    46730   290013 | 2147483647    17999     17 |  2.398 % |
2.66/2.76	c |     18217 |     285    46730   290013 | 2147483647    18211     17 |  2.398 % |
2.66/2.78	c |     18451 |     285    46730   290013 | 2147483647    18445     17 |  2.398 % |
2.77/2.80	c |     18707 |     285    46730   290013 | 2147483647    18701     17 |  2.400 % |
2.77/2.82	c |     18988 |     285    46730   290013 | 2147483647    18982     17 |  2.398 % |
2.77/2.84	c |     19299 |     285    46730   290013 | 2147483647    19293     18 |  2.404 % |
2.77/2.86	c |     19639 |     285    46730   290013 | 2147483647    19633     17 |  2.398 % |
2.77/2.89	c |     20012 |     285    46730   290013 | 2147483647    20006     18 |  2.405 % |
2.86/2.90	c |     20112 |     285    46730   290013 | 2147483647    20106     18 |  2.398 % |
2.86/2.91	c |     20223 |     285    46730   290013 | 2147483647    20217     18 |  2.398 % |
2.86/2.92	c |     20344 |     285    46730   290013 | 2147483647    20338     18 |  2.398 % |
2.86/2.94	c |     20479 |     285    46730   290013 | 2147483647    20473     18 |  2.398 % |
2.86/2.95	c |     20625 |     285    46730   290013 | 2147483647    20619     18 |  2.398 % |
2.86/2.97	c |     20786 |     285    46730   290013 | 2147483647    20780     18 |  2.404 % |
2.86/2.98	c |     20964 |     285    46730   290013 | 2147483647    20958     18 |  2.398 % |
2.96/3.00	c |     21161 |     285    46730   290013 | 2147483647    21155     18 |  2.398 % |
2.96/3.02	c |     21377 |     285    46730   290013 | 2147483647    21371     18 |  2.400 % |
2.96/3.04	c |     21610 |     285    46730   290013 | 2147483647    21604     18 |  2.405 % |
2.96/3.06	c |     21866 |     285    46730   290013 | 2147483647    21860     18 |  2.398 % |
2.96/3.09	c |     22147 |     285    46730   290013 | 2147483647    22141     18 |  2.404 % |
3.06/3.11	c |     22457 |     285    46730   290013 | 2147483647    22451     18 |  2.398 % |
3.06/3.14	c |     22796 |     285    46730   290013 | 2147483647    22790     18 |  2.398 % |
3.06/3.17	c |     23168 |     285    46730   290013 | 2147483647    23162     18 |  2.398 % |
3.06/3.19	c |     23578 |     285    46730   290013 | 2147483647    23572     18 |  2.398 % |
3.16/3.22	c |     23679 |     285    46730   290013 | 2147483647    23673     18 |  2.398 % |
3.16/3.23	c |     23789 |     285    46730   290013 | 2147483647    23783     18 |  2.398 % |
3.16/3.24	c |     23910 |     285    46730   290013 | 2147483647    23904     18 |  2.398 % |
3.16/3.26	c |     24046 |     285    46730   290013 | 2147483647    24040     18 |  2.398 % |
3.16/3.27	c |     24193 |     285    46730   290013 | 2147483647    24187     18 |  2.398 % |
3.16/3.29	c |     24353 |     285    46730   290013 | 2147483647    24347     18 |  2.398 % |
3.26/3.31	c |     24531 |     285    46730   290013 | 2147483647    24525     18 |  2.398 % |
3.26/3.34	c |     24724 |     285    46730   290013 | 2147483647    24718     18 |  2.398 % |
3.26/3.35	c |     24937 |     285    46730   290013 | 2147483647    24931     18 |  2.398 % |
3.26/3.37	c |     25171 |     285    46730   290013 | 2147483647    25165     18 |  2.405 % |
3.35/3.40	c |     25427 |     285    43970   275683 | 2147483647    25408     18 |  2.405 % |
3.35/3.43	c |     25709 |     285    43970   275683 | 2147483647    25690     18 |  2.398 % |
3.35/3.46	c |     26020 |     285    43970   275683 | 2147483647    26001     18 |  2.414 % |
3.45/3.50	c |     26359 |     285    43970   275683 | 2147483647    26340     18 |  2.398 % |
3.45/3.52	c |     26731 |     285    43970   275683 | 2147483647    26712     18 |  2.398 % |
3.45/3.56	c |     27141 |     285    43970   275683 | 2147483647    27122     18 |  2.398 % |
3.55/3.60	c |     27590 |     285    43970   275683 | 2147483647    27571     18 |  2.411 % |
3.55/3.62	c |     27691 |     285    43970   275683 | 2147483647    27672     18 |  2.398 % |
3.55/3.63	c |     27802 |     285    43970   275683 | 2147483647    27783     18 |  2.398 % |
3.55/3.64	c |     27923 |     285    43970   275683 | 2147483647    27904     18 |  2.400 % |
3.55/3.65	c |     28057 |     285    43970   275683 | 2147483647    28038     18 |  2.410 % |
3.55/3.67	c |     28204 |     285    43970   275683 | 2147483647    28185     18 |  2.398 % |
3.55/3.68	c |     28365 |     285    43970   275683 | 2147483647    28346     18 |  2.398 % |
3.55/3.70	c |     28543 |     285    43970   275683 | 2147483647    28524     18 |  2.398 % |
3.65/3.72	c |     28736 |     285    43970   275683 | 2147483647    28717     18 |  2.398 % |
3.65/3.74	c |     28948 |     285    43970   275683 | 2147483647    28929     18 |  2.398 % |
3.65/3.76	c |     29181 |     285    43970   275683 | 2147483647    29162     18 |  2.398 % |
3.65/3.78	c |     29438 |     285    43970   275683 | 2147483647    29419     18 |  2.405 % |
3.75/3.81	c |     29724 |     285    43970   275683 | 2147483647    29705     18 |  2.398 % |
3.75/3.84	c |     30034 |     285    43970   275683 | 2147483647    30015     18 |  2.400 % |
3.75/3.88	c |     30374 |     285    43970   275683 | 2147483647    30355     18 |  2.398 % |
3.86/3.93	c |     30746 |     285    43970   275683 | 2147483647    30727     19 |  2.398 % |
3.86/3.97	c |     31155 |     285    43970   275683 | 2147483647    31136     19 |  2.398 % |
3.96/4.02	c |     31604 |     285    43970   275683 | 2147483647    31585     19 |  2.398 % |
3.96/4.06	c |     32098 |     285    43970   275683 | 2147483647    32079     19 |  2.411 % |
3.96/4.07	c |     32198 |     285    43970   275683 | 2147483647    32179     19 |  2.398 % |
3.96/4.09	c |     32308 |     285    43970   275683 | 2147483647    32289     19 |  2.398 % |
4.06/4.10	c |     32429 |     285    43970   275683 | 2147483647    32410     19 |  2.398 % |
4.06/4.13	c |     32563 |     285    43970   275683 | 2147483647    32544     19 |  2.398 % |
4.06/4.15	c |     32709 |     285    43970   275683 | 2147483647    32690     19 |  2.398 % |
4.06/4.17	c |     32871 |     285    43970   275683 | 2147483647    32852     19 |  2.398 % |
4.06/4.19	c |     33050 |     285    43970   275683 | 2147483647    33031     19 |  2.398 % |
4.16/4.22	c |     33245 |     285    43970   275683 | 2147483647    33226     19 |  2.398 % |
4.16/4.24	c |     33457 |     285    43970   275683 | 2147483647    33438     19 |  2.398 % |
4.16/4.28	c |     33690 |     285    43970   275683 | 2147483647    33671     19 |  2.405 % |
4.26/4.31	c |     33947 |     285    43970   275683 | 2147483647    33928     19 |  2.398 % |
4.26/4.35	c |     34228 |     285    43970   275683 | 2147483647    34209     19 |  2.405 % |
4.26/4.40	c |     34537 |     285    43970   275683 | 2147483647    34518     19 |  2.398 % |
4.36/4.46	c |     34876 |     285    43970   275683 | 2147483647    34857     19 |  2.398 % |
4.46/4.52	c |     35249 |     284    43970   275683 | 2147483647    35229     19 |  2.741 % |
4.46/4.57	c |     35658 |     284    43970   275683 | 2147483647    35638     19 |  2.741 % |
4.56/4.63	c |     36109 |     284    43970   275683 | 2147483647    36089     19 |  2.741 % |
4.56/4.69	c |     36603 |     284    43970   275683 | 2147483647    36583     19 |  2.748 % |
4.66/4.77	c |     37145 |     284    43970   275683 | 2147483647    37125     19 |  2.741 % |
4.66/4.78	c |     37249 |     284    43970   275683 | 2147483647    37229     19 |  2.741 % |
4.66/4.79	c |     37359 |     284    43970   275683 | 2147483647    37339     19 |  2.741 % |
4.76/4.80	c |     37482 |     284    43970   275683 | 2147483647    37462     19 |  2.741 % |
4.76/4.83	c |     37615 |     284    43970   275683 | 2147483647    37595     19 |  2.747 % |
4.76/4.85	c |     37762 |     284    43970   275683 | 2147483647    37742     19 |  2.748 % |
4.76/4.87	c |     37923 |     284    43970   275683 | 2147483647    37903     19 |  2.741 % |
4.86/4.90	c |     38099 |     284    43970   275683 | 2147483647    38079     19 |  2.741 % |
4.86/4.93	c |     38293 |     284    43970   275683 | 2147483647    38273     19 |  2.741 % |
4.86/4.96	c |     38506 |     284    43970   275683 | 2147483647    38486     19 |  2.741 % |
4.95/5.00	c |     38742 |     284    43970   275683 | 2147483647    38722     19 |  2.741 % |
4.95/5.04	c |     38998 |     284    43970   275683 | 2147483647    38978     19 |  2.741 % |
4.95/5.08	c |     39283 |     284    43970   275683 | 2147483647    39263     19 |  2.748 % |
5.05/5.12	c |     39592 |     284    43970   275683 | 2147483647    39572     19 |  2.741 % |
5.05/5.17	c |     39933 |     284    43970   275683 | 2147483647    39913     19 |  2.741 % |
5.15/5.23	c |     40306 |     284    43970   275683 | 2147483647    40286     19 |  2.741 % |
5.15/5.29	c |     40716 |     284    43970   275683 | 2147483647    40696     19 |  2.741 % |
5.25/5.37	c |     41165 |     284    43970   275683 | 2147483647    41145     19 |  2.741 % |
5.36/5.46	c |     41658 |     284    43970   275683 | 2147483647    41638     19 |  2.741 % |
5.46/5.59	c |     42201 |     284    43970   275683 | 2147483647    42181     19 |  2.741 % |
5.65/5.71	c |     42798 |     284    43970   275683 | 2147483647    42778     19 |  2.748 % |
5.65/5.73	c |     42899 |     284    43970   275683 | 2147483647    42879     19 |  2.751 % |
5.65/5.74	c |     43010 |     284    43970   275683 | 2147483647    42990     19 |  2.748 % |
5.65/5.77	c |     43132 |     284    43970   275683 | 2147483647    43112     19 |  2.741 % |
5.65/5.79	c |     43266 |     284    43970   275683 | 2147483647    43246     19 |  2.741 % |
5.75/5.82	c |     43414 |     284    43970   275683 | 2147483647    43394     19 |  2.741 % |
5.75/5.85	c |     43578 |     284    43970   275683 | 2147483647    43558     19 |  2.749 % |
5.75/5.89	c |     43757 |     284    43970   275683 | 2147483647    43737     19 |  2.741 % |
5.85/5.92	c |     43951 |     284    43970   275683 | 2147483647    43931     19 |  2.741 % |
5.85/5.95	c |     44164 |     284    43970   275683 | 2147483647    44144     19 |  2.747 % |
5.85/5.98	c |     44397 |     284    43970   275683 | 2147483647    44377     19 |  2.742 % |
5.95/6.02	c |     44653 |     284    43970   275683 | 2147483647    44633     19 |  2.741 % |
5.95/6.06	c |     44934 |     284    43970   275683 | 2147483647    44914     19 |  2.741 % |
6.05/6.11	c |     45243 |     284    43970   275683 | 2147483647    45223     19 |  2.741 % |
6.05/6.16	c |     45584 |     284    43970   275683 | 2147483647    45564     19 |  2.748 % |
6.16/6.25	c |     45956 |     284    43970   275683 | 2147483647    45936     20 |  2.741 % |
6.26/6.31	c |     46365 |     284    43970   275683 | 2147483647    46345     20 |  2.749 % |
6.36/6.41	c |     46815 |     284    43970   275683 | 2147483647    46795     20 |  2.741 % |
6.36/6.47	c |     47311 |     284    43970   275683 | 2147483647    47291     20 |  2.741 % |
6.46/6.53	c |     47854 |     284    43970   275683 | 2147483647    47834     20 |  2.741 % |
6.57/6.62	c |     48450 |     284    43970   275683 | 2147483647    48430     20 |  2.741 % |
6.66/6.71	c |     49105 |     284    43970   275683 | 2147483647    49085     20 |  2.741 % |
6.66/6.73	c |     49205 |     284    43970   275683 | 2147483647    49185     20 |  2.741 % |
6.66/6.74	c |     49316 |     284    43970   275683 | 2147483647    49296     20 |  2.741 % |
6.66/6.76	c |     49437 |     284    43970   275683 | 2147483647    49417     20 |  2.741 % |
6.66/6.78	c |     49570 |     284    43970   275683 | 2147483647    49550     20 |  2.741 % |
6.76/6.81	c |     49716 |     284    43970   275683 | 2147483647    49696     20 |  2.741 % |
6.76/6.84	c |     49876 |     284    43970   275683 | 2147483647    49856     20 |  2.741 % |
6.76/6.86	c |     50056 |     284    43970   275683 | 2147483647    50036     20 |  2.741 % |
6.86/6.91	c |     50250 |     284    43970   275683 | 2147483647    50230     20 |  2.741 % |
6.86/6.95	c |     50462 |     284    43970   275683 | 2147483647    50442     20 |  2.741 % |
6.96/7.00	c |     50695 |     284    43970   275683 | 2147483647    50675     20 |  2.741 % |
6.96/7.05	c |     50953 |     284    43970   275683 | 2147483647    50933     20 |  2.741 % |
6.96/7.09	c |     51235 |     284    43970   275683 | 2147483647    51215     20 |  2.741 % |
7.06/7.18	c |     51544 |     284    43970   275683 | 2147483647    51524     20 |  2.741 % |
7.16/7.25	c |     51884 |     284    43970   275683 | 2147483647    51864     20 |  2.741 % |
7.26/7.30	c |     52256 |     284    43970   275683 | 2147483647    52236     20 |  2.741 % |
7.26/7.38	c |     52668 |     284    43970   275683 | 2147483647    52648     20 |  2.741 % |
7.36/7.44	c |     53118 |     284    43970   275683 | 2147483647    53098     20 |  2.741 % |
7.46/7.53	c |     53611 |     284    43970   275683 | 2147483647    53591     20 |  2.741 % |
7.56/7.60	c |     54156 |     284    43970   275683 | 2147483647    54136     20 |  2.741 % |
7.56/7.70	c |     54752 |     284    43970   275683 | 2147483647    54732     20 |  2.741 % |
7.76/7.81	c |     55407 |     284    43970   275683 | 2147483647    55387     20 |  2.741 % |
7.86/7.94	c |     56128 |     284    43970   275683 | 2147483647    56108     20 |  2.742 % |
7.86/7.95	c |     56228 |     284    43970   275683 | 2147483647    56208     20 |  2.741 % |
7.86/7.98	c |     56339 |     284    43970   275683 | 2147483647    56319     20 |  2.742 % |
7.86/7.99	c |     56460 |     284    43970   275683 | 2147483647    56440     20 |  2.748 % |
7.96/8.02	c |     56593 |     284    43970   275683 | 2147483647    56573     20 |  2.741 % |
7.96/8.06	c |     56740 |     284    43970   275683 | 2147483647    56720     20 |  2.741 % |
7.96/8.09	c |     56900 |     284    43970   275683 | 2147483647    56880     20 |  2.741 % |
8.06/8.13	c |     57076 |     284    43970   275683 | 2147483647    57056     20 |  2.741 % |
8.16/8.20	c |     57270 |     284    43970   275683 | 2147483647    57250     20 |  2.742 % |
8.16/8.25	c |     57484 |     284    43970   275683 | 2147483647    57464     20 |  2.741 % |
8.26/8.30	c |     57719 |     284    43970   275683 | 2147483647    57699     20 |  2.741 % |
8.26/8.35	c |     57975 |     284    43970   275683 | 2147483647    57955     20 |  2.749 % |
8.36/8.40	c |     58258 |     284    43970   275683 | 2147483647    58238     20 |  2.741 % |
8.36/8.46	c |     58568 |     284    43970   275683 | 2147483647    58548     20 |  2.748 % |
8.46/8.57	c |     58907 |     284    43970   275683 | 2147483647    58887     20 |  2.741 % |
8.56/8.64	c |     59282 |     284    43970   275683 | 2147483647    59262     20 |  2.747 % |
8.66/8.72	c |     59691 |     284    43970   275683 | 2147483647    59671     20 |  2.741 % |
8.76/8.84	c |     60140 |     284    43970   275683 | 2147483647    60120     20 |  2.741 % |
8.86/8.94	c |     60633 |     283    43970   275683 | 2147483647    60612     20 |  3.083 % |
8.86/8.99	c |     61175 |     283    43970   275683 | 2147483647    61154     20 |  3.083 % |
9.06/9.10	c |     61771 |     283    43970   275683 | 2147483647    61750     20 |  3.083 % |
9.16/9.28	c |     62428 |     283    43970   275683 | 2147483647    62407     20 |  3.083 % |
9.26/9.39	c |     63149 |     283    43970   275683 | 2147483647    63128     20 |  3.092 % |
9.46/9.57	c |     63942 |     283    43970   275683 | 2147483647    63921     21 |  3.083 % |
9.56/9.60	c |     64044 |     283    43970   275683 | 2147483647    64023     21 |  3.083 % |
9.56/9.63	c |     64154 |     283    43970   275683 | 2147483647    64133     21 |  3.083 % |
9.56/9.66	c |     64277 |     283    43970   275683 | 2147483647    64256     21 |  3.083 % |
9.56/9.69	c |     64411 |     283    43970   275683 | 2147483647    64390     21 |  3.083 % |
9.65/9.72	c |     64560 |     283    43970   275683 | 2147483647    64539     21 |  3.083 % |
9.65/9.76	c |     64724 |     283    43970   275683 | 2147483647    64703     21 |  3.085 % |
9.76/9.80	c |     64900 |     283    43970   275683 | 2147483647    64879     21 |  3.083 % |
9.76/9.84	c |     65093 |     283    43970   275683 | 2147483647    65072     21 |  3.083 % |
9.86/9.92	c |     65307 |     283    43970   275683 | 2147483647    65286     21 |  3.085 % |
9.86/9.99	c |     65540 |     283    43970   275683 | 2147483647    65519     21 |  3.083 % |
9.95/10.06	c |     65797 |     283    43970   275683 | 2147483647    65776     21 |  3.083 % |
10.05/10.13	c |     66078 |     283    43970   275683 | 2147483647    66057     21 |  3.083 % |
10.15/10.24	c |     66389 |     283    43970   275683 | 2147483647    66368     21 |  3.083 % |
10.25/10.33	c |     66735 |     283    43970   275683 | 2147483647    66714     21 |  3.083 % |
10.35/10.46	c |     67107 |     283    43970   275683 | 2147483647    67086     21 |  3.083 % |
10.45/10.56	c |     67517 |     283    43970   275683 | 2147483647    67496     21 |  3.083 % |
10.55/10.69	c |     67966 |     283    43970   275683 | 2147483647    67945     21 |  3.083 % |
10.75/10.82	c |     68460 |     283    43970   275683 | 2147483647    68439     21 |  3.092 % |
10.86/10.97	c |     69002 |     283    43970   275683 | 2147483647    68981     21 |  3.083 % |
11.05/11.14	c |     69598 |     283    43970   275683 | 2147483647    69577     21 |  3.083 % |
11.25/11.35	c |     70253 |     283    43970   275683 | 2147483647    70232     21 |  3.083 % |
11.45/11.51	c |     70973 |     283    43970   275683 | 2147483647    70952     21 |  3.083 % |
11.65/11.76	c |     71765 |     283    43970   275683 | 2147483647    71744     21 |  3.083 % |
11.85/11.96	c |     72637 |     283    43970   275683 | 2147483647    72616     21 |  3.083 % |
11.85/11.99	c |     72738 |     283    43970   275683 | 2147483647    72717     21 |  3.083 % |
11.96/12.02	c |     72848 |     283    43970   275683 | 2147483647    72827     21 |  3.083 % |
11.96/12.07	c |     72971 |     283    43970   275683 | 2147483647    72950     21 |  3.090 % |
12.06/12.10	c |     73106 |     283    43970   275683 | 2147483647    73085     21 |  3.083 % |
12.06/12.15	c |     73253 |     283    43970   275683 | 2147483647    73232     21 |  3.083 % |
12.15/12.20	c |     73413 |     283    43970   275683 | 2147483647    73392     21 |  3.096 % |
12.15/12.25	c |     73590 |     283    43970   275683 | 2147483647    73569     21 |  3.083 % |
12.25/12.32	c |     73784 |     283    43970   275683 | 2147483647    73763     21 |  3.083 % |
12.25/12.38	c |     73997 |     283    43970   275683 | 2147483647    73976     21 |  3.083 % |
12.35/12.47	c |     74230 |     283    43970   275683 | 2147483647    74209     21 |  3.083 % |
12.45/12.53	c |     74487 |     283    43970   275683 | 2147483647    74466     21 |  3.083 % |
12.55/12.64	c |     74770 |     283    43970   275683 | 2147483647    74749     21 |  3.083 % |
12.65/12.73	c |     75081 |     283    43970   275683 | 2147483647    75060     21 |  3.089 % |
12.75/12.81	c |     75420 |     283    43970   275683 | 2147483647    75399     21 |  3.083 % |
12.85/12.90	c |     75793 |     283    43970   275683 | 2147483647    75772     21 |  3.083 % |
12.85/12.99	c |     76203 |     283    43970   275683 | 2147483647    76182     21 |  3.083 % |
12.95/13.09	c |     76652 |     283    43970   275683 | 2147483647    76631     21 |  3.083 % |
13.15/13.27	c |     77145 |     283    43970   275683 | 2147483647    77124     21 |  3.083 % |
13.35/13.49	c |     77688 |     283    43226   272264 | 2147483647    77663     21 |  3.083 % |
13.55/13.65	c |     78284 |     283    43226   272264 | 2147483647    78259     21 |  3.083 % |
13.76/13.83	c |     78939 |     283    43226   272264 | 2147483647    78914     21 |  3.083 % |
14.06/14.10	c |     79659 |     283    43226   272264 | 2147483647    79634     21 |  3.083 % |
14.26/14.33	c |     80455 |     283    43226   272264 | 2147483647    80430     21 |  3.083 % |
14.46/14.56	c |     81326 |     283    43226   272264 | 2147483647    81301     21 |  3.090 % |
14.76/14.81	c |     82285 |     283    43226   272264 | 2147483647    82260     21 |  3.083 % |
14.76/14.86	c |     82388 |     283    43226   272264 | 2147483647    82363     21 |  3.083 % |
14.76/14.88	c |     82498 |     283    43226   272264 | 2147483647    82473     21 |  3.083 % |
14.86/14.91	c |     82619 |     283    43226   272264 | 2147483647    82594     21 |  3.083 % |
14.86/14.95	c |     82752 |     283    43226   272264 | 2147483647    82727     21 |  3.083 % |
14.86/14.99	c |     82899 |     283    43226   272264 | 2147483647    82874     21 |  3.083 % |
14.96/15.03	c |     83061 |     283    43226   272264 | 2147483647    83036     21 |  3.083 % |
15.06/15.11	c |     83240 |     283    43226   272264 | 2147483647    83215     21 |  3.083 % |
15.06/15.16	c |     83436 |     283    43226   272264 | 2147483647    83411     21 |  3.083 % |
15.15/15.20	c |     83649 |     283    43226   272264 | 2147483647    83624     21 |  3.083 % |
15.15/15.26	c |     83882 |     283    43226   272264 | 2147483647    83857     21 |  3.083 % |
15.26/15.38	c |     84139 |     283    43226   272264 | 2147483647    84114     21 |  3.083 % |
15.36/15.48	c |     84420 |     283    43226   272264 | 2147483647    84395     21 |  3.083 % |
15.45/15.54	c |     84729 |     283    43226   272264 | 2147483647    84704     21 |  3.090 % |
15.55/15.63	c |     85068 |     283    43226   272264 | 2147483647    85043     21 |  3.083 % |
15.65/15.75	c |     85441 |     283    43226   272264 | 2147483647    85416     21 |  3.083 % |
15.75/15.86	c |     85851 |     283    43226   272264 | 2147483647    85826     21 |  3.083 % |
15.85/15.99	c |     86300 |     283    43226   272264 | 2147483647    86275     21 |  3.083 % |
16.05/16.14	c |     86793 |     283    43226   272264 | 2147483647    86768     21 |  3.083 % |
16.15/16.26	c |     87335 |     283    43226   272264 | 2147483647    87310     21 |  3.083 % |
16.36/16.47	c |     87931 |     283    43226   272264 | 2147483647    87906     22 |  3.083 % |
16.55/16.66	c |     88591 |     283    43226   272264 | 2147483647    88566     22 |  3.083 % |
16.85/16.94	c |     89311 |     283    43226   272264 | 2147483647    89286     22 |  3.083 % |
17.15/17.22	c |     90103 |     283    43226   272264 | 2147483647    90078     22 |  3.083 % |
17.46/17.58	c |     90975 |     283    43226   272264 | 2147483647    90950     22 |  3.083 % |
17.75/17.87	c |     91935 |     283    43226   272264 | 2147483647    91910     22 |  3.083 % |
18.25/18.35	c |     92991 |     283    43226   272264 | 2147483647    92966     22 |  3.085 % |
18.25/18.39	c |     93093 |     283    43226   272264 | 2147483647    93068     22 |  3.083 % |
18.35/18.44	c |     93203 |     283    43226   272264 | 2147483647    93178     22 |  3.083 % |
18.35/18.49	c |     93324 |     283    43226   272264 | 2147483647    93299     22 |  3.083 % |
18.45/18.53	c |     93458 |     283    43226   272264 | 2147483647    93433     22 |  3.083 % |
18.55/18.60	c |     93604 |     283    43226   272264 | 2147483647    93579     22 |  3.083 % |
18.55/18.68	c |     93764 |     283    43226   272264 | 2147483647    93739     22 |  3.083 % |
18.65/18.74	c |     93940 |     283    43226   272264 | 2147483647    93915     22 |  3.096 % |
18.75/18.81	c |     94133 |     283    43226   272264 | 2147483647    94108     22 |  3.083 % |
18.75/18.89	c |     94345 |     283    43226   272264 | 2147483647    94320     22 |  3.083 % |
18.85/18.97	c |     94578 |     283    43226   272264 | 2147483647    94553     22 |  3.083 % |
18.95/19.09	c |     94835 |     283    43226   272264 | 2147483647    94810     22 |  3.085 % |
19.05/19.18	c |     95116 |     283    43226   272264 | 2147483647    95091     22 |  3.083 % |
19.15/19.28	c |     95426 |     283    43226   272264 | 2147483647    95401     22 |  3.083 % |
19.25/19.38	c |     95765 |     283    43226   272264 | 2147483647    95740     22 |  3.083 % |
19.45/19.50	c |     96139 |     283    43226   272264 | 2147483647    96114     22 |  3.083 % |
19.55/19.63	c |     96548 |     283    43226   272264 | 2147483647    96523     22 |  3.083 % |
19.75/19.87	c |     96998 |     283    43226   272264 | 2147483647    96973     22 |  3.083 % |
19.95/20.04	c |     97492 |     283    43226   272264 | 2147483647    97467     22 |  3.083 % |
20.15/20.23	c |     98034 |     283    43226   272264 | 2147483647    98009     22 |  3.083 % |
20.45/20.51	c |     98630 |     283    43226   272264 | 2147483647    98605     22 |  3.083 % |
20.65/20.76	c |     99285 |     283    43226   272264 | 2147483647    99260     22 |  3.083 % |
20.85/20.99	c |    100005 |     283    43226   272264 | 2147483647    99980     22 |  3.083 % |
21.25/21.33	c |    100799 |     283    43226   272264 | 2147483647   100774     22 |  3.083 % |
21.65/21.79	c |    101672 |     283    43226   272264 | 2147483647   101647     22 |  3.097 % |
22.15/22.23	c |    102632 |     283    43226   272264 | 2147483647   102607     22 |  3.092 % |
22.45/22.59	c |    103685 |     283    43226   272264 | 2147483647   103660     22 |  3.083 % |
22.85/22.98	c |    104844 |     283    43226   272264 | 2147483647   104819     22 |  3.083 % |
22.95/23.04	c |    104948 |     283    43226   272264 | 2147483647   104923     22 |  3.083 % |
22.95/23.10	c |    105058 |     283    43226   272264 | 2147483647   105033     22 |  3.083 % |
23.06/23.18	c |    105181 |     283    43226   272264 | 2147483647   105156     22 |  3.083 % |
23.15/23.24	c |    105315 |     283    43226   272264 | 2147483647   105290     22 |  3.083 % |
23.25/23.32	c |    105462 |     283    43226   272264 | 2147483647   105437     22 |  3.083 % |
23.25/23.39	c |    105623 |     283    43226   272264 | 2147483647   105598     22 |  3.083 % |
23.35/23.45	c |    105799 |     283    43226   272264 | 2147483647   105774     22 |  3.083 % |
23.45/23.53	c |    105992 |     283    43226   272264 | 2147483647   105967     22 |  3.083 % |
23.55/23.64	c |    106204 |     283    43226   272264 | 2147483647   106179     22 |  3.083 % |
23.65/23.73	c |    106437 |     283    43226   272264 | 2147483647   106412     22 |  3.083 % |
23.75/23.86	c |    106693 |     283    43226   272264 | 2147483647   106668     22 |  3.083 % |
23.85/23.96	c |    106974 |     283    43226   272264 | 2147483647   106949     22 |  3.092 % |
23.95/24.06	c |    107283 |     283    43226   272264 | 2147483647   107258     22 |  3.083 % |
24.06/24.19	c |    107623 |     283    43226   272264 | 2147483647   107598     22 |  3.083 % |
24.25/24.31	c |    107996 |     283    43226   272264 | 2147483647   107971     22 |  3.083 % |
24.45/24.52	c |    108406 |     283    43226   272264 | 2147483647   108381     22 |  3.083 % |
24.55/24.67	c |    108855 |     283    43226   272264 | 2147483647   108830     22 |  3.083 % |
24.75/24.84	c |    109349 |     283    43226   272264 | 2147483647   109324     22 |  3.083 % |
24.95/25.02	c |    109891 |     283    43226   272264 | 2147483647   109866     22 |  3.083 % |
25.15/25.23	c |    110487 |     283    43226   272264 | 2147483647   110462     22 |  3.096 % |
25.35/25.42	c |    111142 |     283    43226   272264 | 2147483647   111117     22 |  3.083 % |
25.55/25.68	c |    111862 |     283    43226   272264 | 2147483647   111837     22 |  3.083 % |
25.85/25.94	c |    112654 |     283    43226   272264 | 2147483647   112629     22 |  3.083 % |
26.15/26.23	c |    113525 |     283    43226   272264 | 2147483647   113500     22 |  3.083 % |
26.65/26.77	c |    114483 |     283    43226   272264 | 2147483647   114458     22 |  3.083 % |
27.25/27.31	c |    115536 |     283    43226   272264 | 2147483647   115511     22 |  3.083 % |
27.95/28.08	c |    116694 |     283    43226   272264 | 2147483647   116669     22 |  3.083 % |
28.64/28.72	c |    117969 |     283    43226   272264 | 2147483647   117944     22 |  3.083 % |
28.64/28.78	c |    118072 |     283    43226   272264 | 2147483647   118047     22 |  3.083 % |
28.74/28.87	c |    118184 |     283    43226   272264 | 2147483647   118159     22 |  3.083 % |
28.84/28.92	c |    118306 |     283    43226   272264 | 2147483647   118281     22 |  3.083 % |
28.84/28.98	c |    118439 |     283    43226   272264 | 2147483647   118414     22 |  3.083 % |
28.94/29.07	c |    118586 |     283    43226   272264 | 2147483647   118561     22 |  3.083 % |
29.14/29.22	c |    118747 |     283    43226   272264 | 2147483647   118722     22 |  3.087 % |
29.14/29.29	c |    118923 |     283    43226   272264 | 2147483647   118898     22 |  3.090 % |
29.24/29.39	c |    119116 |     283    43226   272264 | 2147483647   119091     22 |  3.083 % |
29.34/29.49	c |    119328 |     283    43226   272264 | 2147483647   119303     23 |  3.083 % |
29.55/29.62	c |    119561 |     283    43226   272264 | 2147483647   119536     23 |  3.083 % |
29.74/29.82	c |    119817 |     283    43226   272264 | 2147483647   119792     23 |  3.083 % |
29.94/30.01	c |    120100 |     283    43226   272264 | 2147483647   120075     23 |  3.083 % |
30.14/30.25	c |    120409 |     283    43226   272264 | 2147483647   120384     23 |  3.083 % |
30.34/30.43	c |    120751 |     283    43226   272264 | 2147483647   120726     23 |  3.083 % |
30.54/30.62	c |    121124 |     283    43226   272264 | 2147483647   121099     23 |  3.083 % |
30.75/30.85	c |    121533 |     283    43226   272264 | 2147483647   121508     23 |  3.083 % |
31.04/31.11	c |    121982 |     283    43226   272264 | 2147483647   121957     23 |  3.083 % |
31.24/31.35	c |    122476 |     283    43226   272264 | 2147483647   122451     23 |  3.083 % |
31.64/31.79	c |    123020 |     283    43226   272264 | 2147483647   122995     23 |  3.083 % |
32.04/32.18	c |    123616 |     283    43226   272264 | 2147483647   123591     23 |  3.083 % |
32.44/32.50	c |    124272 |     283    43226   272264 | 2147483647   124247     23 |  3.083 % |
32.95/33.01	c |    124992 |     283    43226   272264 | 2147483647   124967     23 |  3.083 % |
33.25/33.36	c |    125785 |     283    43226   272264 | 2147483647   125760     23 |  3.083 % |
33.85/33.97	c |    126657 |     283    43226   272264 | 2147483647   126632     23 |  3.083 % |
34.35/34.46	c |    127616 |     283    43226   272264 | 2147483647   127591     23 |  3.083 % |
34.95/35.01	c |    128669 |     283    43226   272264 | 2147483647   128644     23 |  3.083 % |
35.45/35.57	c |    129828 |     283    43226   272264 | 2147483647   129803     23 |  3.083 % |
36.05/36.15	c |    131102 |     283    43226   272264 | 2147483647   131077     23 |  3.083 % |
36.65/36.70	c |    132502 |     283    43226   272264 | 2147483647   132477     23 |  3.083 % |
36.75/36.80	c |    132602 |     283    43226   272264 | 2147483647   132577     23 |  3.083 % |
36.75/36.87	c |    132714 |     283    43226   272264 | 2147483647   132689     23 |  3.083 % |
36.85/36.97	c |    132835 |     283    43226   272264 | 2147483647   132810     23 |  3.083 % |
36.95/37.07	c |    132968 |     283    43226   272264 | 2147483647   132943     23 |  3.083 % |
37.05/37.12	c |    133115 |     283    43226   272264 | 2147483647   133090     23 |  3.083 % |
37.15/37.25	c |    133280 |     283    43226   272264 | 2147483647   133255     23 |  3.083 % |
37.25/37.38	c |    133456 |     283    43226   272264 | 2147483647   133431     23 |  3.092 % |
37.35/37.48	c |    133652 |     283    43226   272264 | 2147483647   133627     23 |  3.083 % |
37.45/37.58	c |    133866 |     283    43226   272264 | 2147483647   133841     23 |  3.083 % |
37.65/37.71	c |    134099 |     283    43226   272264 | 2147483647   134074     23 |  3.083 % |
37.75/37.87	c |    134358 |     283    43226   272264 | 2147483647   134333     23 |  3.083 % |
37.94/38.06	c |    134639 |     283    43226   272264 | 2147483647   134614     23 |  3.083 % |
38.14/38.22	c |    134950 |     283    43226   272264 | 2147483647   134925     23 |  3.083 % |
38.24/38.36	c |    135290 |     283    43226   272264 | 2147483647   135265     23 |  3.083 % |
38.45/38.57	c |    135663 |     283    43226   272264 | 2147483647   135638     23 |  3.085 % |
38.64/38.77	c |    136074 |     283    43226   272264 | 2147483647   136049     23 |  3.083 % |
38.94/39.05	c |    136523 |     283    43226   272264 | 2147483647   136498     23 |  3.083 % |
39.24/39.34	c |    137017 |     283    43226   272264 | 2147483647   136992     23 |  3.083 % |
39.64/39.74	c |    137561 |     283    43226   272264 | 2147483647   137536     23 |  3.085 % |
40.04/40.16	c |    138158 |     283    43226   272264 | 2147483647   138133     23 |  3.083 % |
40.44/40.57	c |    138813 |     283    43226   272264 | 2147483647   138788     23 |  3.083 % |
40.94/41.02	c |    139536 |     283    43226   272264 | 2147483647   139511     23 |  3.083 % |
41.64/41.76	c |    140329 |     283    43226   272264 |   139976   124749     23 |  3.083 % |
42.24/42.31	c |    141200 |     283    43226   272264 |   139976   125620     23 |  3.083 % |
42.84/42.92	c |    142160 |     283    43226   272264 |   139976   126580     23 |  3.083 % |
43.34/43.40	c |    143213 |     283    43226   272264 |   139976   127633     23 |  3.090 % |
43.84/43.98	c |    144372 |     283    43226   272264 |   139976   128792     23 |  3.083 % |
44.64/44.71	c |    145646 |     283    43226   272264 |   139976   130066     23 |  3.083 % |
45.74/45.83	c |    147048 |     283    43226   272264 |   139976   131468     23 |  3.083 % |
46.94/47.04	c |    148590 |     283    43226   272264 |   139976   133010     23 |  3.083 % |
47.04/47.13	c |    148691 |     283    43226   272264 |   139976   133111     23 |  3.083 % |
47.14/47.24	c |    148802 |     283    43226   272264 |   139976   133222     23 |  3.083 % |
47.24/47.33	c |    148923 |     283    43226   272264 |   139976   133343     23 |  3.083 % |
47.34/47.41	c |    149058 |     283    43226   272264 |   139976   133478     23 |  3.090 % |
47.44/47.51	c |    149205 |     283    43226   272264 |   139976   133625     23 |  3.083 % |
47.54/47.61	c |    149365 |     283    43226   272264 |   139976   133785     23 |  3.083 % |
47.64/47.71	c |    149541 |     283    43226   272264 |   139976   133961     23 |  3.090 % |
47.74/47.86	c |    149734 |     283    43226   272264 |   139976   134154     23 |  3.083 % |
47.94/48.02	c |    149946 |     283    43226   272264 |   139976   134366     23 |  3.083 % |
48.33/48.42	c |    150180 |     283    43226   272264 |   134421   117268     23 |  3.083 % |
48.43/48.52	c |    150437 |     283    43226   272264 |   134421   117525     23 |  3.083 % |
48.53/48.64	c |    150718 |     283    43226   272264 |   134421   117806     23 |  3.083 % |
48.73/48.81	c |    151027 |     283    43226   272264 |   134421   118115     23 |  3.083 % |
48.93/49.08	c |    151367 |     283    43226   272264 |   134421   118455     23 |  3.083 % |
49.23/49.30	c |    151741 |     283    43226   272264 |   134421   118829     23 |  3.083 % |
49.43/49.52	c |    152150 |     283    43226   272264 |   134421   119238     23 |  3.083 % |
49.63/49.78	c |    152602 |     283    43226   272264 |   134421   119690     23 |  3.083 % |
49.93/50.04	c |    153095 |     283    43226   272264 |   134421   120183     23 |  3.083 % |
50.33/50.43	c |    153637 |     283    43226   272264 |   134421   120725     23 |  3.083 % |
50.73/50.81	c |    154234 |     283    43226   272264 |   134421   121322     23 |  3.083 % |
51.03/51.17	c |    154889 |     283    43226   272264 |   134421   121977     23 |  3.096 % |
51.43/51.58	c |    155612 |     283    43226   272264 |   134421   122700     23 |  3.083 % |
51.93/52.05	c |    156404 |     283    43226   272264 |   134421   123492     23 |  3.083 % |
52.44/52.50	c |    157276 |     283    43226   272264 |   134421   124364     23 |  3.083 % |
52.94/53.07	c |    158235 |     283    43226   272264 |   134421   125323     23 |  3.083 % |
53.74/53.80	c |    159289 |     283    43226   272264 |   134421   126377     23 |  3.090 % |
54.63/54.79	c |    160447 |     283    43226   272264 |   127089   113608     23 |  3.083 % |
55.23/55.32	c |    161720 |     283    43226   272264 |   127089   114881     23 |  3.083 % |
55.83/55.96	c |    163120 |     283    43226   272264 |   127089   116281     23 |  3.083 % |
56.73/56.85	c |    164660 |     283    43226   272264 |   127089   117821     23 |  3.083 % |
57.63/57.70	c |    166354 |     283    43226   272264 |   127089   119515     23 |  3.083 % |
57.63/57.75	c |    166455 |     283    43226   272264 |   127089   119616     23 |  3.083 % |
57.73/57.82	c |    166565 |     283    43226   272264 |   127089   119726     23 |  3.083 % |
57.83/57.91	c |    166686 |     283    43226   272264 |   127089   119847     23 |  3.083 % |
57.93/58.04	c |    166819 |     283    43226   272264 |   127089   119980     23 |  3.083 % |
58.03/58.11	c |    166967 |     283    43226   272264 |   127089   120128     23 |  3.083 % |
58.03/58.18	c |    167127 |     283    43226   272264 |   127089   120288     23 |  3.083 % |
58.14/58.29	c |    167304 |     283    43226   272264 |   127089   120465     23 |  3.083 % |
58.33/58.41	c |    167500 |     283    43226   272264 |   127089   120661     23 |  3.083 % |
58.53/58.62	c |    167714 |     283    43226   272264 |   127089   120875     23 |  3.083 % |
58.63/58.74	c |    167948 |     283    43226   272264 |   127089   121109     23 |  3.083 % |
58.83/58.92	c |    168207 |     283    43226   272264 |   127089   121368     23 |  3.083 % |
59.03/59.13	c |    168490 |     283    43226   272264 |   127089   121651     23 |  3.083 % |
59.24/59.32	c |    168800 |     283    43226   272264 |   127089   121961     23 |  3.092 % |
59.43/59.53	c |    169139 |     283    43226   272264 |   127089   122300     23 |  3.083 % |
59.63/59.80	c |    169511 |     283    43226   272264 |   127089   122672     23 |  3.083 % |
60.03/60.14	c |    169921 |     283    43226   272264 |   127089   123082     23 |  3.083 % |
60.33/60.44	c |    170371 |     283    43226   272264 | 2147483647   123532     23 |  3.083 % |
60.63/60.77	c |    170865 |     283    43226   272264 | 2147483647   124026     23 |  3.083 % |
61.03/61.10	c |    171407 |     283    43226   272264 | 2147483647   124568     23 |  3.083 % |
61.33/61.47	c |    172003 |     283    43226   272264 | 2147483647   125164     23 |  3.083 % |
61.83/61.98	c |    172658 |     283    43226   272264 | 2147483647   125819     23 |  3.083 % |
62.43/62.60	c |    173378 |     283    43226   272264 | 2147483647   126539     23 |  3.083 % |
62.93/63.06	c |    174171 |     283    43226   272264 | 2147483647   127332     23 |  3.083 % |
63.83/63.91	c |    175043 |     283    43226   272264 | 2147483647   128204     23 |  3.083 % |
64.73/64.82	c |    176001 |     283    43226   272264 | 2147483647   129162     23 |  3.083 % |
65.23/65.36	c |    177054 |     283    43226   272264 | 2147483647   130215     23 |  3.083 % |
66.23/66.35	c |    178212 |     283    43226   272264 | 2147483647   131373     23 |  3.083 % |
67.33/67.40	c |    179487 |     283    43226   272264 | 2147483647   132648     23 |  3.083 % |
68.63/68.70	c |    180887 |     283    43226   272264 |   133162   117023     23 |  3.083 % |
69.83/69.99	c |    182427 |     283    43226   272264 |   133162   118563     23 |  3.083 % |
71.23/71.33	c |    184121 |     283    43226   272264 |   133162   120257     23 |  3.083 % |
72.73/72.83	c |    185984 |     283    43226   272264 |   133162   122120     23 |  3.090 % |
72.83/72.92	c |    186084 |     283    43226   272264 |   133162   122220     23 |  3.083 % |
72.93/73.02	c |    186194 |     283    43226   272264 |   133162   122330     23 |  3.083 % |
72.93/73.09	c |    186316 |     283    43226   272264 |   133162   122452     23 |  3.083 % |
73.03/73.20	c |    186451 |     283    43226   272264 |   133162   122587     23 |  3.083 % |
73.13/73.28	c |    186597 |     283    43226   272264 |   133162   122733     23 |  3.083 % |
73.33/73.42	c |    186757 |     283    43226   272264 |   133162   122893     23 |  3.083 % |
73.43/73.55	c |    186935 |     283    43226   272264 |   133162   123071     23 |  3.083 % |
73.63/73.76	c |    187128 |     283    43226   272264 |   133162   123264     23 |  3.083 % |
73.82/73.92	c |    187340 |     283    43226   272264 |   133162   123476     23 |  3.083 % |
74.02/74.13	c |    187574 |     283    43226   272264 |   133162   123710     23 |  3.083 % |
74.12/74.27	c |    187831 |     283    43226   272264 |   133162   123967     23 |  3.083 % |
74.32/74.43	c |    188112 |     283    43226   272264 |   133162   124248     23 |  3.083 % |
74.52/74.63	c |    188421 |     283    43226   272264 |   133162   124557     23 |  3.083 % |
74.82/74.93	c |    188760 |     283    43226   272264 |   133162   124896     23 |  3.083 % |
75.02/75.17	c |    189132 |     283    43226   272264 |   133162   125268     23 |  3.083 % |
75.32/75.42	c |    189542 |     283    43226   272264 |   133162   125678     23 |  3.083 % |
75.73/75.89	c |    189991 |     283    43226   272264 |   133162   126127     23 |  3.083 % |
76.32/76.47	c |    190484 |     283    43226   272264 |   126136   109506     23 |  3.083 % |
76.83/76.92	c |    191027 |     283    43226   272264 |   126136   110049     23 |  3.090 % |
77.22/77.36	c |    191623 |     283    43226   272264 |   126136   110645     23 |  3.083 % |
77.72/77.87	c |    192279 |     283    43226   272264 |   126136   111301     23 |  3.083 % |
78.12/78.30	c |    192999 |     283    43226   272264 |   126136   112021     23 |  3.083 % |
78.72/78.82	c |    193793 |     283    43226   272264 |   126136   112815     23 |  3.083 % |
79.32/79.46	c |    194664 |     283    43226   272264 |   126136   113686     23 |  3.083 % |
79.92/80.08	c |    195623 |     283    43226   272264 |   126136   114645     23 |  3.083 % |
80.62/80.72	c |    196676 |     283    43226   272264 |   126136   115698     23 |  3.083 % |
81.32/81.41	c |    197835 |     283    43226   272264 |   126136   116857     23 |  3.083 % |
82.22/82.32	c |    199108 |     283    43226   272264 |   126136   118130     23 |  3.083 % |
82.92/83.00	c |    200510 |     283    43226   272264 |   119022   107600     23 |  3.083 % |
84.12/84.20	c |    202050 |     283    43226   272264 |   119022   109140     23 |  3.083 % |
85.22/85.33	c |    203744 |     283    43226   272264 |   119022   110834     23 |  3.083 % |
86.52/86.67	c |    205607 |     283    43226   272264 |   119022   112697     23 |  3.083 % |
87.62/87.70	c |    207659 |     283    43226   272264 |   119022   114749     23 |  3.083 % |
87.62/87.76	c |    207759 |     283    43226   272264 |   119022   114849     23 |  3.083 % |
87.71/87.81	c |    207869 |     283    43226   272264 |   119022   114959     23 |  3.083 % |
87.71/87.89	c |    207993 |     283    43226   272264 |   119022   115083     23 |  3.083 % |
87.82/87.96	c |    208127 |     283    43226   272264 |   119022   115217     23 |  3.083 % |
87.92/88.06	c |    208273 |     283    43226   272264 |   119022   115363     23 |  3.083 % |
88.02/88.16	c |    208433 |     283    43226   272264 |   119022   115523     23 |  3.083 % |
88.12/88.29	c |    208609 |     283    43226   272264 |   119022   115699     23 |  3.083 % |
88.32/88.42	c |    208805 |     283    43226   272264 |   119022   115895     23 |  3.083 % |
88.42/88.53	c |    209017 |     283    43226   272264 |   119022   116107     23 |  3.083 % |
88.61/88.73	c |    209250 |     283    43226   272264 |   119022   116340     23 |  3.083 % |
88.81/88.95	c |    209508 |     283    43226   272264 |   119022   116598     23 |  3.083 % |
89.11/89.20	c |    209790 |     283    43226   272264 |   119022   116880     23 |  3.083 % |
89.31/89.43	c |    210099 |     283    43226   272264 | 2147483647   117189     23 |  3.083 % |
89.51/89.64	c |    210438 |     283    43226   272264 | 2147483647   117528     23 |  3.083 % |
89.81/89.96	c |    210810 |     283    43226   272264 | 2147483647   117900     23 |  3.092 % |
90.02/90.16	c |    211222 |     283    43226   272264 | 2147483647   118312     23 |  3.083 % |
90.41/90.53	c |    211671 |     282    42828   270185 | 2147483647   118758     23 |  3.426 % |
90.61/90.79	c |    212164 |     282    42828   270185 | 2147483647   119251     23 |  3.426 % |
91.01/91.14	c |    212706 |     282    42828   270185 | 2147483647   119793     23 |  3.426 % |
91.41/91.53	c |    213303 |     282    42828   270185 | 2147483647   120390     23 |  3.426 % |
91.71/91.86	c |    213959 |     282    42828   270185 | 2147483647   121046     23 |  3.426 % |
92.11/92.22	c |    214680 |     282    42828   270185 | 2147483647   121767     23 |  3.426 % |
92.41/92.56	c |    215472 |     282    42828   270185 | 2147483647   122559     23 |  3.426 % |
92.81/92.92	c |    216343 |     282    42828   270185 | 2147483647   123430     23 |  3.426 % |
93.21/93.38	c |    217302 |     282    42828   270185 | 2147483647   124389     23 |  3.426 % |
93.51/93.64	c |    218356 |     282    42828   270185 | 2147483647   125443     23 |  3.426 % |
94.30/94.40	c |    219516 |     282    42828   270185 | 2147483647   126603     23 |  3.426 % |
95.40/95.53	c |    220790 |     282    42828   270185 |   127087   115027     23 |  3.426 % |
95.90/96.06	c |    222190 |     282    42828   270185 |   127087   116427     23 |  3.433 % |
96.80/96.91	c |    223731 |     282    42828   270185 |   127087   117968     23 |  3.426 % |
97.50/97.65	c |    225426 |     282    42828   270185 |   127087   119663     23 |  3.426 % |
98.40/98.52	c |    227289 |     282    42828   270185 |   127087   121526     23 |  3.426 % |
99.80/99.99	c |    229338 |     282    42828   270185 |   127087   123575     23 |  3.435 % |
100.70/100.85	c |    231592 |     282    42828   270185 | 2147483647   125829     23 |  3.426 % |
100.80/100.96	c |    231692 |     282    42828   270185 | 2147483647   125929     23 |  3.426 % |
100.90/101.04	c |    231803 |     282    42828   270185 | 2147483647   126040     23 |  3.426 % |
101.00/101.11	c |    231925 |     282    42828   270185 | 2147483647   126162     23 |  3.426 % |
101.00/101.14	c |    232060 |     282    42828   270185 | 2147483647   126297     23 |  3.426 % |
101.10/101.25	c |    232206 |     282    42828   270185 | 2147483647   126443     23 |  3.426 % |
101.20/101.39	c |    232367 |     282    42828   270185 | 2147483647   126604     23 |  3.426 % |
101.40/101.57	c |    232544 |     282    42828   270185 | 2147483647   126781     23 |  3.426 % |
101.60/101.78	c |    232738 |     282    42828   270185 | 2147483647   126975     23 |  3.426 % |
101.80/101.95	c |    232950 |     282    42828   270185 | 2147483647   127187     23 |  3.426 % |
102.00/102.12	c |    233185 |     282    42828   270185 | 2147483647   127422     23 |  3.426 % |
102.20/102.31	c |    233444 |     282    42828   270185 | 2147483647   127681     23 |  3.426 % |
102.40/102.51	c |    233726 |     282    42828   270185 | 2147483647   127963     23 |  3.426 % |
102.60/102.75	c |    234035 |     282    42828   270185 | 2147483647   128272     23 |  3.426 % |
102.90/103.04	c |    234374 |     282    42828   270185 | 2147483647   128611     23 |  3.426 % |
103.20/103.34	c |    234746 |     282    42828   270185 | 2147483647   128983     23 |  3.426 % |
103.40/103.57	c |    235157 |     282    42828   270185 | 2147483647   129394     23 |  3.426 % |
103.80/103.94	c |    235608 |     282    42828   270185 | 2147483647   129845     23 |  3.426 % |
104.10/104.23	c |    236101 |     282    42828   270185 | 2147483647   130338     23 |  3.426 % |
104.60/104.70	c |    236645 |     282    42828   270185 | 2147483647   130882     23 |  3.426 % |
105.00/105.12	c |    237241 |     282    42828   270185 | 2147483647   131478     23 |  3.426 % |
105.40/105.54	c |    237897 |     282    42828   270185 | 2147483647   132134     23 |  3.426 % |
106.00/106.17	c |    238617 |     282    42828   270185 | 2147483647   132854     23 |  3.433 % |
106.80/106.91	c |    239409 |     282    42828   270185 | 2147483647   133646     23 |  3.426 % |
107.79/107.94	c |    240280 |     282    42828   270185 |   134237   119180     23 |  3.426 % |
108.40/108.53	c |    241238 |     282    42828   270185 |   134237   120138     23 |  3.426 % |
108.99/109.14	c |    242291 |     282    42828   270185 |   134237   121191     23 |  3.426 % |
109.80/109.92	c |    243449 |     282    42828   270185 |   134237   122349     23 |  3.426 % |
110.49/110.63	c |    244722 |     282    42828   270185 |   134237   123622     23 |  3.426 % |
111.29/111.49	c |    246122 |     282    42828   270185 |   134237   125022     23 |  3.426 % |
112.29/112.44	c |    247663 |     282    42828   270185 |   134237   126563     23 |  3.426 % |
113.39/113.55	c |    249357 |     282    42828   270185 |   134237   128257     23 |  3.426 % |
114.79/114.91	c |    251221 |     282    42828   270185 |   128901   117220     23 |  3.426 % |
115.99/116.12	c |    253271 |     282    42828   270185 |   128901   119270     23 |  3.435 % |
117.19/117.31	c |    255527 |     282    42828   270185 |   128901   121526     23 |  3.426 % |
118.99/119.15	c |    258006 |     282    42828   270185 |   128901   124005     23 |  3.427 % |
119.09/119.24	c |    258106 |     282    42828   270185 |   128901   124105     23 |  3.426 % |
119.19/119.34	c |    258217 |     282    42828   270185 |   128901   124216     23 |  3.426 % |
119.29/119.44	c |    258339 |     282    42828   270185 |   128901   124338     23 |  3.426 % |
119.39/119.53	c |    258472 |     282    42828   270185 |   128901   124471     23 |  3.426 % |
119.49/119.68	c |    258619 |     282    42828   270185 |   128901   124618     23 |  3.426 % |
119.69/119.80	c |    258780 |     282    42828   270185 |   128901   124779     23 |  3.426 % |
119.79/119.92	c |    258956 |     282    42828   270185 |   128901   124955     23 |  3.439 % |
119.89/120.05	c |    259149 |     282    42828   270185 |   128901   125148     23 |  3.439 % |
119.99/120.17	c |    259361 |     282    42828   270185 |   128901   125360     23 |  3.426 % |
120.08/120.29	c |    259594 |     282    42828   270185 |   128901   125593     23 |  3.426 % |
120.38/120.55	c |    259850 |     282    42828   270185 |   128901   125849     23 |  3.426 % |
120.58/120.79	c |    260131 |     282    42828   270185 | 2147483647   126130     23 |  3.426 % |
120.79/120.97	c |    260445 |     282    42828   270185 | 2147483647   126444     23 |  3.426 % |
121.08/121.25	c |    260787 |     282    42828   270185 | 2147483647   126786     23 |  3.426 % |
121.38/121.53	c |    261159 |     282    42828   270185 | 2147483647   127158     23 |  3.426 % |
121.68/121.87	c |    261570 |     282    42828   270185 | 2147483647   127569     23 |  3.445 % |
122.08/122.24	c |    262021 |     282    42828   270185 | 2147483647   128020     23 |  3.426 % |
122.38/122.57	c |    262515 |     282    42828   270185 | 2147483647   128514     23 |  3.426 % |
122.99/123.14	c |    263058 |     282    42828   270185 | 2147483647   129057     23 |  3.426 % |
123.48/123.64	c |    263654 |     282    42828   270185 | 2147483647   129653     23 |  3.426 % |
123.98/124.18	c |    264309 |     282    42828   270185 | 2147483647   130308     23 |  3.426 % |
124.48/124.63	c |    265031 |     282    42828   270185 | 2147483647   131030     23 |  3.426 % |
125.18/125.39	c |    265824 |     282    42828   270185 | 2147483647   131823     23 |  3.426 % |
125.88/126.01	c |    266695 |     282    42828   270185 | 2147483647   132694     23 |  3.426 % |
126.48/126.64	c |    267653 |     282    42828   270185 | 2147483647   133652     23 |  3.426 % |
127.18/127.37	c |    268707 |     282    42828   270185 | 2147483647   134706     23 |  3.426 % |
127.98/128.14	c |    269868 |     282    42828   270185 | 2147483647   135867     23 |  3.426 % |
128.98/129.20	c |    271141 |     282    42828   270185 |   136000   119859     23 |  3.434 % |
129.88/130.01	c |    272543 |     282    42828   270185 |   136000   121261     23 |  3.426 % |
130.78/130.95	c |    274083 |     282    42828   270185 |   136000   122800     23 |  3.768 % |
131.68/131.85	c |    275778 |     282    42828   270185 |   136000   124495     23 |  3.768 % |
132.88/133.08	c |    277642 |     282    42828   270185 |   136000   126359     23 |  3.768 % |
134.18/134.32	c |    279692 |     282    42828   270185 |   136000   128409     23 |  3.768 % |
135.38/135.54	c |    281945 |     282    42828   270185 | 2147483647   130662     23 |  3.768 % |
137.08/137.29	c |    284424 |     282    42828   270185 | 2147483647   133141     23 |  3.768 % |
138.47/138.65	c |    287149 |     282    42828   270185 | 2147483647   135866     23 |  3.768 % |
138.57/138.71	c |    287250 |     282    42828   270185 | 2147483647   135967     23 |  3.768 % |
138.57/138.78	c |    287360 |     282    42828   270185 | 2147483647   136077     23 |  3.768 % |
138.67/138.87	c |    287481 |     282    42828   270185 | 2147483647   136198     23 |  3.768 % |
138.77/138.95	c |    287617 |     282    42828   270185 | 2147483647   136334     23 |  3.768 % |
138.87/139.06	c |    287763 |     282    42828   270185 | 2147483647   136480     23 |  3.768 % |
139.07/139.23	c |    287924 |     282    42828   270185 | 2147483647   136641     23 |  3.775 % |
139.27/139.40	c |    288100 |     282    42828   270185 | 2147483647   136817     23 |  3.768 % |
139.37/139.52	c |    288294 |     282    42828   270185 | 2147483647   137011     23 |  3.775 % |
139.47/139.64	c |    288508 |     282    42828   270185 | 2147483647   137225     23 |  3.768 % |
139.67/139.89	c |    288741 |     282    42828   270185 | 2147483647   137458     23 |  3.768 % |
139.87/140.03	c |    288999 |     282    42828   270185 | 2147483647   137716     23 |  3.768 % |
140.07/140.28	c |    289282 |     282    42828   270185 | 2147483647   137999     23 |  3.768 % |
140.37/140.50	c |    289591 |     282    42828   270185 | 2147483647   138308     23 |  3.768 % |
140.67/140.81	c |    289931 |     282    42828   270185 | 2147483647   138648     23 |  3.768 % |
141.37/141.54	c |    290303 |     282    42828   270185 |   138717   122777     23 |  3.768 % |
141.67/141.86	c |    290717 |     282    42828   270185 |   138717   123191     23 |  3.768 % |
141.96/142.15	c |    291166 |     282    42828   270185 |   138717   123640     23 |  3.768 % |
142.26/142.40	c |    291659 |     282    42828   270185 |   138717   124133     23 |  3.768 % |
142.66/142.83	c |    292201 |     282    42828   270185 |   138717   124675     23 |  3.777 % |
143.06/143.29	c |    292797 |     282    42828   270185 |   138717   125271     23 |  3.768 % |
143.56/143.72	c |    293453 |     282    42828   270185 |   138717   125927     23 |  3.768 % |
143.97/144.16	c |    294173 |     282    42828   270185 |   138717   126647     23 |  3.768 % |
144.66/144.80	c |    294965 |     282    42828   270185 |   138717   127439     23 |  3.768 % |
145.16/145.38	c |    295837 |     282    42828   270185 |   138717   128311     23 |  3.768 % |
145.96/146.15	c |    296797 |     282    42828   270185 |   138717   129271     23 |  3.768 % |
146.46/146.62	c |    297851 |     281    42828   270185 |   138717   130325     23 |  3.768 % |
147.36/147.57	c |    299009 |     281    42828   270185 |   138717   131483     23 |  3.768 % |
148.46/148.69	c |    300284 |     281    42828   270185 |   132476   116525     23 |  3.768 % |
149.26/149.44	c |    301684 |     281    42828   270185 |   132476   117925     23 |  3.768 % |
150.16/150.36	c |    303225 |     281    42828   270185 |   132476   119466     23 |  3.768 % |
151.46/151.60	c |    304919 |     281    42828   270185 |   132476   121160     23 |  3.768 % |
152.66/152.81	c |    306782 |     281    42828   270185 |   132476   123023     23 |  3.768 % |
154.06/154.21	c |    308832 |     281    42828   270185 |   132476   125073     23 |  3.768 % |
155.76/155.96	c |    311087 |     281    42828   270185 | 2147483647   127328     23 |  3.768 % |
157.36/157.53	c |    313566 |     281    42828   270185 | 2147483647   129807     23 |  3.768 % |
159.56/159.71	c |    316291 |     281    42828   270185 | 2147483647   132532     23 |  3.768 % |
162.05/162.29	c |    319289 |     281    42828   270185 | 2147483647   135530     23 |  3.780 % |
162.15/162.33	c |    319389 |     281    42828   270185 | 2147483647   135630     23 |  3.768 % |
162.15/162.38	c |    319500 |     281    42828   270185 | 2147483647   135741     23 |  3.768 % |
162.25/162.48	c |    319626 |     281    42828   270185 | 2147483647   135867     23 |  3.768 % |
162.35/162.56	c |    319759 |     281    42828   270185 | 2147483647   136000     23 |  3.768 % |
162.45/162.64	c |    319905 |     281    42828   270185 | 2147483647   136146     23 |  3.768 % |
162.75/162.97	c |    320065 |     281    42828   270185 |   136241   122411     23 |  3.775 % |
163.05/163.21	c |    320241 |     281    42828   270185 |   136241   122587     23 |  3.771 % |
163.15/163.38	c |    320434 |     281    42828   270185 |   136241   122780     23 |  3.768 % |
163.35/163.50	c |    320646 |     281    42828   270185 |   136241   122992     23 |  3.768 % |
163.45/163.65	c |    320879 |     281    42828   270185 |   136241   123225     23 |  3.768 % |
163.55/163.78	c |    321135 |     281    42828   270185 |   136241   123481     23 |  3.768 % |
163.76/163.91	c |    321417 |     281    42828   270185 |   136241   123763     23 |  3.768 % |
163.95/164.13	c |    321726 |     281    42828   270185 |   136241   124072     23 |  3.768 % |
164.15/164.38	c |    322065 |     281    42828   270185 |   136241   124411     23 |  3.768 % |
164.55/164.71	c |    322437 |     281    42828   270185 |   136241   124783     23 |  3.768 % |
164.85/165.06	c |    322846 |     281    42828   270185 |   136241   125192     23 |  3.768 % |
165.15/165.35	c |    323296 |     281    42828   270185 |   136241   125642     23 |  3.768 % |
165.55/165.71	c |    323789 |     281    42828   270185 |   136241   126135     23 |  3.768 % |
165.95/166.11	c |    324332 |     281    42828   270185 |   136241   126678     23 |  3.768 % |
166.25/166.46	c |    324928 |     281    42828   270185 |   136241   127274     23 |  3.768 % |
166.75/166.94	c |    325584 |     281    42828   270185 |   136241   127930     23 |  3.768 % |
167.35/167.55	c |    326304 |     281    42828   270185 |   136241   128650     23 |  3.768 % |
167.95/168.16	c |    327096 |     281    42828   270185 |   136241   129442     23 |  3.768 % |
168.75/168.93	c |    327968 |     281    42828   270185 |   136241   130314     23 |  3.768 % |
169.65/169.86	c |    328926 |     281    42828   270185 |   136241   131272     23 |  3.768 % |
170.65/170.83	c |    329980 |     281    42828   270185 |   136241   132326     23 |  3.768 % |
171.95/172.12	c |    331139 |     281    42828   270185 |   132347   115216     23 |  3.768 % |
172.74/172.94	c |    332412 |     281    42828   270185 |   132347   116489     23 |  3.768 % |
173.24/173.45	c |    333815 |     281    42828   270185 |   132347   117892     23 |  3.768 % |
174.35/174.56	c |    335357 |     281    42828   270185 |   132347   119434     23 |  3.779 % |
175.24/175.42	c |    337055 |     281    42828   270185 |   132347   121132     23 |  3.768 % |
176.54/176.75	c |    338918 |     281    42828   270185 |   132347   122995     23 |  3.768 % |
178.14/178.38	c |    340967 |     281    42828   270185 |   124079   111956     23 |  3.768 % |
179.54/179.79	c |    343221 |     281    42828   270185 |   124079   114210     23 |  3.768 % |
181.35/181.56	c |    345699 |     281    42828   270185 |   124079   116688     23 |  3.768 % |
183.14/183.34	c |    348425 |     281    42828   270185 |   124079   119414     23 |  3.768 % |
185.03/185.20	c |    351423 |     281    42828   270185 |   120991   109302     23 |  3.768 % |
186.73/186.92	c |    354719 |     281    42828   270185 |   120991   112598     23 |  3.768 % |
186.83/187.02	c |    354819 |     281    42256   267497 |   120991   112693     23 |  3.768 % |
186.83/187.09	c |    354929 |     281    42256   267497 |   120991   112803     23 |  3.769 % |
186.93/187.15	c |    355052 |     281    42256   267497 |   120991   112926     23 |  3.768 % |
187.04/187.26	c |    355186 |     281    42256   267497 |   120991   113060     23 |  3.768 % |
187.14/187.34	c |    355332 |     281    42256   267497 |   120991   113206     23 |  3.768 % |
187.24/187.49	c |    355492 |     281    42256   267497 |   120991   113366     23 |  3.768 % |
187.34/187.58	c |    355671 |     281    42256   267497 |   120991   113545     23 |  3.768 % |
187.44/187.69	c |    355865 |     281    42256   267497 |   120991   113739     23 |  3.768 % |
187.64/187.80	c |    356077 |     281    42256   267497 |   120991   113951     23 |  3.768 % |
187.84/188.03	c |    356311 |     281    42256   267497 |   120991   114185     23 |  3.768 % |
188.04/188.27	c |    356568 |     281    42256   267497 |   120991   114442     23 |  3.768 % |
188.24/188.48	c |    356849 |     281    42256   267497 |   120991   114723     23 |  3.768 % |
188.44/188.66	c |    357159 |     281    42256   267497 |   120991   115033     23 |  3.768 % |
188.74/188.94	c |    357500 |     281    42256   267497 |   120991   115374     23 |  3.768 % |
189.04/189.28	c |    357873 |     281    42256   267497 |   120991   115747     23 |  3.768 % |
189.44/189.61	c |    358283 |     281    42256   267497 |   120991   116157     23 |  3.768 % |
189.64/189.89	c |    358732 |     281    42256   267497 |   120991   116606     23 |  3.768 % |
190.04/190.27	c |    359225 |     281    42256   267497 |   120991   117099     23 |  3.780 % |
190.44/190.69	c |    359767 |     281    42256   267497 |   120991   117641     23 |  3.768 % |
191.24/191.43	c |    360364 |     281    42256   267497 |   117877   105783     23 |  3.768 % |
191.64/191.81	c |    361020 |     281    42256   267497 |   117877   106439     23 |  3.768 % |
192.24/192.48	c |    361740 |     281    42256   267497 |   117877   107159     23 |  3.768 % |
192.84/193.01	c |    362532 |     281    42256   267497 |   117877   107951     23 |  3.768 % |
193.54/193.73	c |    363404 |     281    42256   267497 |   117877   108823     23 |  3.768 % |
194.14/194.36	c |    364362 |     281    42256   267497 |   117877   109781     23 |  3.768 % |
195.14/195.36	c |    365415 |     281    42256   267497 |   117877   110834     23 |  3.768 % |
195.93/196.12	c |    366573 |     281    42256   267497 |   117877   111992     23 |  3.768 % |
196.93/197.16	c |    367847 |     281    42256   267497 |   117877   113266     23 |  3.768 % |
198.03/198.26	c |    369248 |     281    42256   267497 |   117877   114667     23 |  3.768 % |
199.13/199.38	c |    370788 |     281    42256   267497 |   115419   104267     23 |  3.768 % |
200.04/200.21	c |    372482 |     281    42256   267497 |   115419   105961     23 |  3.768 % |
201.04/201.22	c |    374345 |     281    42256   267497 |   115419   107824     23 |  3.768 % |
202.14/202.38	c |    376394 |     281    42256   267497 |   115419   109873     23 |  3.768 % |
203.63/203.81	c |    378648 |     281    42256   267497 |   115419   112127     23 |  3.768 % |
204.83/205.09	c |    381127 |     281    42256   267497 | 2147483647   114606     23 |  3.768 % |
206.73/206.92	c |    383853 |     281    42256   267497 | 2147483647   117332     23 |  3.768 % |
208.33/208.56	c |    386851 |     281    42256   267497 | 2147483647   120330     23 |  3.768 % |
210.63/210.89	c |    390149 |     281    42256   267497 | 2147483647   123628     23 |  3.768 % |
213.53/213.72	c |    393774 |     281    42256   267497 | 2147483647   127253     23 |  3.768 % |
213.53/213.79	c |    393875 |     281    42256   267497 | 2147483647   127354     23 |  3.768 % |
213.63/213.87	c |    393987 |     281    42256   267497 | 2147483647   127466     23 |  3.768 % |
213.73/213.97	c |    394111 |     281    42256   267497 | 2147483647   127590     23 |  3.768 % |
213.83/214.06	c |    394246 |     281    42256   267497 | 2147483647   127725     23 |  3.768 % |
214.03/214.23	c |    394394 |     281    42256   267497 | 2147483647   127873     23 |  3.768 % |
214.13/214.36	c |    394555 |     281    42256   267497 | 2147483647   128034     23 |  3.768 % |
214.33/214.55	c |    394732 |     281    42256   267497 | 2147483647   128211     23 |  3.768 % |
214.53/214.74	c |    394925 |     281    42256   267497 | 2147483647   128404     23 |  3.768 % |
214.73/214.90	c |    395139 |     281    42256   267497 | 2147483647   128618     23 |  3.768 % |
214.83/215.09	c |    395372 |     281    42256   267497 | 2147483647   128851     23 |  3.768 % |
215.13/215.32	c |    395630 |     281    42256   267497 | 2147483647   129109     23 |  3.768 % |
215.33/215.56	c |    395911 |     281    42256   267497 | 2147483647   129390     23 |  3.768 % |
215.73/215.97	c |    396220 |     281    42256   267497 | 2147483647   129699     23 |  3.768 % |
216.03/216.26	c |    396559 |     281    42256   267497 | 2147483647   130038     23 |  3.768 % |
216.43/216.60	c |    396932 |     281    42256   267497 | 2147483647   130411     23 |  3.768 % |
216.63/216.84	c |    397342 |     281    42256   267497 | 2147483647   130821     23 |  3.768 % |
217.03/217.20	c |    397791 |     281    42256   267497 | 2147483647   131270     23 |  3.768 % |
217.33/217.54	c |    398284 |     281    42256   267497 | 2147483647   131763     23 |  3.768 % |
217.63/217.87	c |    398829 |     281    42256   267497 | 2147483647   132308     23 |  3.768 % |
218.02/218.24	c |    399425 |     281    42256   267497 | 2147483647   132904     23 |  3.768 % |
218.42/218.68	c |    400080 |     281    42256   267497 |   133479   133559     23 |  3.768 % |
219.62/219.83	c |    400800 |     281    42256   267497 |   133479   117057     23 |  3.768 % |
220.32/220.52	c |    401592 |     281    42256   267497 |   133479   117849     23 |  3.768 % |
221.12/221.36	c |    402463 |     281    42256   267497 |   133479   118720     23 |  3.768 % |
221.82/222.09	c |    403422 |     281    42256   267497 |   133479   119679     23 |  3.768 % |
222.82/223.05	c |    404475 |     281    42256   267497 |   133479   120732     23 |  3.768 % |
223.62/223.87	c |    405633 |     281    42256   267497 |   133479   121890     23 |  3.768 % |
224.62/224.84	c |    406906 |     281    42256   267497 |   133479   123163     23 |  3.768 % |
225.82/226.04	c |    408306 |     281    42256   267497 |   133479   124563     23 |  3.768 % |
226.92/227.13	c |    409847 |     281    42256   267497 |   133479   126104     23 |  3.768 % |
228.42/228.62	c |    411541 |     281    42256   267497 |   126258   112470     23 |  3.768 % |
229.71/229.96	c |    413404 |     281    42256   267497 |   126258   114333     23 |  3.768 % |
231.41/231.63	c |    415453 |     281    42256   267497 |   126258   116382     23 |  3.768 % |
233.11/233.37	c |    417709 |     281    42256   267497 |   126258   118638     23 |  3.768 % |
235.11/235.32	c |    420187 |     281    42256   267497 | 2147483647   121116     23 |  3.768 % |
236.71/236.93	c |    422917 |     281    42256   267497 | 2147483647   123846     23 |  3.768 % |
239.00/239.20	c |    425916 |     281    42256   267497 | 2147483647   126845     23 |  3.768 % |
241.71/241.91	c |    429213 |     281    42256   267497 | 2147483647   130141     23 |  4.111 % |
245.11/245.32	c |    432838 |     281    42256   267497 |   130928   118729     23 |  4.111 % |
248.00/248.20	c |    436825 |     281    42256   267497 |   130928   122716     23 |  4.111 % |
248.00/248.29	c |    436927 |     281    42256   267497 |   130928   122818     23 |  4.111 % |
248.10/248.37	c |    437040 |     281    42256   267497 |   130928   122931     23 |  4.111 % |
248.30/248.52	c |    437161 |     281    42256   267497 |   130928   123052     23 |  4.111 % |
248.40/248.65	c |    437294 |     281    42256   267497 |   130928   123185     23 |  4.111 % |
248.50/248.78	c |    437442 |     281    42256   267497 |   130928   123333     23 |  4.111 % |
248.70/248.93	c |    437604 |     281    42256   267497 |   130928   123495     23 |  4.111 % |
248.80/249.06	c |    437781 |     281    42256   267497 |   130928   123672     23 |  4.111 % |
249.00/249.23	c |    437976 |     281    42256   267497 |   130928   123867     23 |  4.111 % |
249.20/249.44	c |    438189 |     281    42256   267497 |   130928   124080     23 |  4.111 % |
249.40/249.67	c |    438422 |     281    42256   267497 |   130928   124313     23 |  4.111 % |
249.70/249.95	c |    438678 |     281    42256   267497 |   130928   124569     23 |  4.111 % |
250.00/250.23	c |    438960 |     281    42256   267497 |   130928   124851     23 |  4.111 % |
250.20/250.44	c |    439273 |     281    42256   267497 |   130928   125164     23 |  4.111 % |
250.40/250.70	c |    439612 |     281    42256   267497 |   130928   125503     23 |  4.111 % |
250.80/251.09	c |    439984 |     281    42256   267497 |   130928   125875     23 |  4.111 % |
251.40/251.65	c |    440393 |     281    42256   267497 |   125891   112866     23 |  4.111 % |
251.79/252.03	c |    440842 |     281    42256   267497 |   125891   113315     23 |  4.111 % |
252.29/252.54	c |    441335 |     281    42256   267497 |   125891   113808     23 |  4.111 % |
252.70/252.96	c |    441877 |     281    42256   267497 |   125891   114350     23 |  4.111 % |
253.19/253.41	c |    442473 |     281    42256   267497 |   125891   114946     23 |  4.111 % |
253.59/253.82	c |    443130 |     281    42256   267497 |   125891   115603     23 |  4.112 % |
254.09/254.31	c |    443852 |     281    42256   267497 |   125891   116325     23 |  4.111 % |
254.49/254.78	c |    444647 |     281    42256   267497 |   125891   117120     23 |  4.111 % |
255.19/255.41	c |    445522 |     281    42256   267497 |   125891   117995     23 |  4.111 % |
256.10/256.39	c |    446480 |     281    42256   267497 |   125891   118953     23 |  4.111 % |
256.89/257.15	c |    447533 |     281    42256   267497 |   125891   120006     23 |  4.111 % |
257.89/258.18	c |    448691 |     281    42256   267497 |   125891   121164     23 |  4.111 % |
259.09/259.30	c |    449966 |     281    42256   267497 |   125891   122439     23 |  4.111 % |
260.69/260.99	c |    451367 |     281    42256   267497 |   122475   105399     23 |  4.111 % |
261.79/262.01	c |    452908 |     281    42256   267497 |   122475   106940     23 |  4.111 % |
262.99/263.24	c |    454603 |     281    42256   267497 |   122475   108635     23 |  4.111 % |
264.09/264.31	c |    456467 |     281    42256   267497 |   122475   110499     23 |  4.111 % |
265.69/265.98	c |    458517 |     281    42256   267497 |   122475   112549     23 |  4.111 % |
267.79/268.02	c |    460771 |     281    42256   267497 |   114033   101911     23 |  4.111 % |
269.79/270.07	c |    463250 |     281    42256   267497 |   114033   104390     23 |  4.111 % |
271.69/271.99	c |    465975 |     281    42256   267497 |   114033   107115     23 |  4.111 % |
273.58/273.89	c |    468972 |     281    42256   267497 |   114033   110112     23 |  4.111 % |
275.57/275.85	c |    472269 |     281    42256   267497 | 2147483647   113409     23 |  4.111 % |
278.57/278.86	c |    475894 |     281    42256   267497 | 2147483647   117034     23 |  4.111 % |
281.77/282.04	c |    479881 |     281    42256   267497 | 2147483647   121021     23 |  4.111 % |
285.56/285.89	c |    484266 |     280    42083   266764 | 2147483647   125405     23 |  4.111 % |
285.77/286.02	c |    484367 |     280    42083   266764 | 2147483647   125506     23 |  4.111 % |
285.86/286.14	c |    484477 |     280    42083   266764 | 2147483647   125616     23 |  4.111 % |
285.96/286.29	c |    484599 |     280    42083   266764 | 2147483647   125738     23 |  4.111 % |
286.16/286.45	c |    484733 |     280    42083   266764 | 2147483647   125872     23 |  4.111 % |
286.26/286.59	c |    484879 |     280    42083   266764 | 2147483647   126018     23 |  4.111 % |
286.46/286.79	c |    485040 |     280    42083   266764 | 2147483647   126179     23 |  4.111 % |
286.77/287.00	c |    485216 |     280    42083   266764 | 2147483647   126355     23 |  4.111 % |
286.87/287.19	c |    485410 |     280    42083   266764 | 2147483647   126549     23 |  4.111 % |
287.16/287.42	c |    485622 |     280    42083   266764 | 2147483647   126761     23 |  4.111 % |
287.36/287.66	c |    485856 |     280    42083   266764 | 2147483647   126995     23 |  4.111 % |
287.66/287.93	c |    486113 |     280    42083   266764 | 2147483647   127252     23 |  4.111 % |
287.97/288.20	c |    486394 |     280    42083   266764 | 2147483647   127533     23 |  4.111 % |
288.16/288.45	c |    486704 |     280    42083   266764 | 2147483647   127843     23 |  4.111 % |
288.46/288.75	c |    487043 |     280    42083   266764 | 2147483647   128182     23 |  4.111 % |
288.76/289.04	c |    487416 |     280    42083   266764 | 2147483647   128555     23 |  4.111 % |
289.26/289.50	c |    487825 |     280    42083   266764 | 2147483647   128964     23 |  4.111 % |
289.76/290.02	c |    488276 |     280    42083   266764 | 2147483647   129415     23 |  4.117 % |
290.26/290.50	c |    488771 |     280    42083   266764 | 2147483647   129910     23 |  4.111 % |
290.76/291.04	c |    489314 |     280    42083   266764 | 2147483647   130453     23 |  4.111 % |
291.27/291.55	c |    489911 |     280    42083   266764 | 2147483647   131050     23 |  4.111 % |
292.26/292.52	c |    490566 |     280    42083   266764 |   131140   113997     23 |  4.111 % |
292.76/293.05	c |    491287 |     280    42083   266764 |   131140   114718     23 |  4.111 % |
293.46/293.71	c |    492079 |     280    42083   266764 |   131140   115510     23 |  4.111 % |
294.06/294.33	c |    492950 |     280    42083   266764 |   131140   116381     23 |  4.111 % |
294.76/295.08	c |    493908 |     280    42083   266764 |   131140   117339     23 |  4.111 % |
295.56/295.89	c |    494961 |     280    42083   266764 |   131140   118392     23 |  4.111 % |
296.46/296.74	c |    496119 |     280    42083   266764 |   131140   119550     23 |  4.111 % |
297.46/297.73	c |    497393 |     280    42083   266764 |   131140   120824     23 |  4.111 % |
298.56/298.83	c |    498797 |     280    42083   266764 |   131140   122228     23 |  4.111 % |
299.86/300.13	c |    500337 |     280    42083   266764 |   123434   108674     22 |  4.111 % |
300.56/300.83	c |    502033 |     280    42083   266764 |   123434   110370     22 |  4.111 % |
301.56/301.86	c |    503896 |     280    42083   266764 |   123434   112233     22 |  4.111 % |
302.65/302.95	c |    505945 |     280    42083   266764 |   123434   114282     23 |  4.111 % |
304.46/304.73	c |    508198 |     280    42083   266764 |   123434   116535     23 |  4.111 % |
306.05/306.33	c |    510676 |     280    42083   266764 | 2147483647   119013     23 |  4.111 % |
307.66/307.92	c |    513403 |     280    42083   266764 | 2147483647   121740     23 |  4.111 % |
309.25/309.58	c |    516400 |     280    42083   266764 | 2147483647   124737     23 |  4.111 % |
311.75/312.01	c |    519696 |     280    42083   266764 | 2147483647   128033     23 |  4.111 % |
313.65/313.96	c |    523321 |     280    42083   266764 | 2147483647   131658     23 |  4.111 % |
315.65/315.95	c |    527308 |     280    42083   266764 | 2147483647   135645     23 |  4.111 % |
318.25/318.54	c |    531693 |     280    42083   266764 | 2147483647   140030     23 |  4.111 % |
321.04/321.36	c |    536516 |     280    42083   266764 | 2147483647   144853     23 |  4.111 % |
321.14/321.42	c |    536616 |     280    42083   266764 | 2147483647   144953     23 |  4.111 % |
321.24/321.52	c |    536727 |     280    42083   266764 | 2147483647   145064     23 |  4.111 % |
321.34/321.68	c |    536852 |     280    42083   266764 | 2147483647   145189     23 |  4.111 % |
321.44/321.77	c |    536986 |     280    42083   266764 | 2147483647   145323     23 |  4.111 % |
321.64/321.93	c |    537132 |     280    42083   266764 | 2147483647   145469     23 |  4.111 % |
321.74/322.01	c |    537294 |     280    42083   266764 | 2147483647   145631     23 |  4.111 % |
321.84/322.12	c |    537470 |     280    42083   266764 | 2147483647   145807     23 |  4.119 % |
321.93/322.25	c |    537671 |     280    42083   266764 | 2147483647   146008     23 |  4.111 % |
322.13/322.46	c |    537883 |     280    42083   266764 | 2147483647   146220     23 |  4.111 % |
322.33/322.63	c |    538117 |     280    42083   266764 | 2147483647   146454     23 |  4.111 % |
322.43/322.76	c |    538373 |     280    42083   266764 | 2147483647   146710     23 |  4.112 % |
322.73/323.04	c |    538656 |     280    42083   266764 | 2147483647   146993     23 |  4.120 % |
322.93/323.25	c |    538965 |     280    42083   266764 | 2147483647   147302     23 |  4.111 % |
323.23/323.51	c |    539305 |     280    42083   266764 | 2147483647   147642     23 |  4.111 % |
323.43/323.74	c |    539678 |     280    42083   266764 | 2147483647   148015     23 |  4.111 % |
323.73/324.03	c |    540087 |     280    42083   266764 | 2147483647   148424     23 |  4.111 % |
324.13/324.45	c |    540536 |     280    42083   266764 | 2147483647   148873     23 |  4.111 % |
324.52/324.89	c |    541029 |     280    42083   266764 | 2147483647   149366     23 |  4.111 % |
324.92/325.26	c |    541573 |     280    42083   266764 | 2147483647   149910     23 |  4.111 % |
325.62/325.97	c |    542169 |     280    42083   266764 | 2147483647   150506     23 |  4.111 % |
326.22/326.51	c |    542825 |     280    42083   266764 | 2147483647   151162     23 |  4.111 % |
326.92/327.26	c |    543547 |     280    42083   266764 | 2147483647   151884     23 |  4.111 % |
328.12/328.40	c |    544339 |     280    42083   266764 | 2147483647   152676     23 |  4.111 % |
329.02/329.40	c |    545211 |     280    42083   266764 | 2147483647   153548     23 |  4.111 % |
330.02/330.32	c |    546170 |     280    42083   266764 | 2147483647   154507     23 |  4.111 % |
331.32/331.63	c |    547223 |     280    42083   266764 | 2147483647   155560     23 |  4.111 % |
332.52/332.80	c |    548382 |     280    42083   266764 | 2147483647   156719     24 |  4.111 % |
333.52/333.84	c |    549655 |     280    42083   266764 | 2147483647   157992     24 |  4.111 % |
335.52/335.90	c |    551058 |     280    42083   266764 |   158339   129585     23 |  4.111 % |
336.82/337.16	c |    552599 |     280    42083   266764 |   158339   131126     23 |  4.111 % |
338.32/338.61	c |    554293 |     280    42083   266764 |   158339   132820     23 |  4.111 % |
339.72/340.09	c |    556156 |     280    42083   266764 |   158339   134683     23 |  4.111 % |
341.12/341.47	c |    558206 |     280    42083   266764 |   158339   136733     23 |  4.111 % |
343.31/343.67	c |    560459 |     280    42083   266764 |   138527   116433     23 |  4.118 % |
344.91/345.30	c |    562938 |     280    42083   266764 |   138527   118912     23 |  4.111 % |
346.31/346.63	c |    565663 |     280    42083   266764 |   138527   121637     23 |  4.111 % |
348.32/348.66	c |    568660 |     280    42083   266764 |   138527   124634     23 |  4.111 % |
350.81/351.10	c |    571956 |     280    42083   266764 |   125974   114720     23 |  4.111 % |
352.91/353.28	c |    575581 |     280    42083   266764 |   125974   118345     23 |  4.111 % |
355.51/355.82	c |    579570 |     280    42083   266764 |   125974   122334     23 |  4.111 % |
359.21/359.56	c |    583955 |     280    42083   266764 | 2147483647   126719     23 |  4.111 % |
363.40/363.75	c |    588778 |     280    42083   266764 | 2147483647   131542     23 |  4.111 % |
367.60/367.94	c |    594083 |     280    42083   266764 |   132767   121109     23 |  4.111 % |
367.70/368.07	c |    594185 |     280    42083   266764 |   132767   121211     23 |  4.111 % |
367.80/368.17	c |    594295 |     280    42083   266764 |   132767   121321     23 |  4.111 % |
367.90/368.26	c |    594417 |     280    42083   266764 |   132767   121443     23 |  4.111 % |
368.00/368.38	c |    594550 |     280    42083   266764 |   132767   121576     23 |  4.111 % |
368.20/368.54	c |    594697 |     280    42083   266764 |   132767   121723     23 |  4.111 % |
368.30/368.69	c |    594858 |     280    42083   266764 |   132767   121884     23 |  4.111 % |
368.50/368.81	c |    595038 |     280    42083   266764 |   132767   122064     23 |  4.111 % |
368.60/368.97	c |    595232 |     280    42083   266764 |   132767   122258     23 |  4.111 % |
368.80/369.10	c |    595445 |     280    42083   266764 |   132767   122471     23 |  4.111 % |
368.90/369.24	c |    595678 |     280    42083   266764 |   132767   122704     23 |  4.111 % |
369.10/369.42	c |    595934 |     280    42083   266764 |   132767   122960     23 |  4.111 % |
369.30/369.67	c |    596215 |     280    42083   266764 |   132767   123241     23 |  4.111 % |
369.70/370.00	c |    596524 |     280    42083   266764 |   132767   123550     23 |  4.111 % |
370.10/370.41	c |    596863 |     280    42083   266764 |   132767   123889     23 |  4.111 % |
370.40/370.76	c |    597235 |     280    42083   266764 |   132767   124261     23 |  4.111 % |
370.80/371.18	c |    597644 |     280    42083   266764 |   132767   124670     23 |  4.111 % |
371.20/371.53	c |    598095 |     280    42083   266764 |   132767   125121     23 |  4.111 % |
371.70/372.05	c |    598589 |     280    42083   266764 |   132767   125615     23 |  4.111 % |
372.20/372.60	c |    599132 |     280    42083   266764 |   132767   126158     23 |  4.111 % |
372.70/373.06	c |    599729 |     280    42083   266764 |   132767   126755     23 |  4.111 % |
373.50/373.86	c |    600386 |     280    42083   266764 |   127026   111998     23 |  4.111 % |
374.10/374.46	c |    601106 |     280    42083   266764 |   127026   112718     23 |  4.111 % |
374.70/375.05	c |    601898 |     280    42083   266764 |   127026   113510     23 |  4.111 % |
375.19/375.56	c |    602769 |     280    42083   266764 |   127026   114381     23 |  4.111 % |
375.90/376.22	c |    603727 |     280    42083   266764 |   127026   115339     23 |  4.111 % |
376.49/376.83	c |    604780 |     280    42083   266764 |   127026   116392     23 |  4.111 % |
377.19/377.55	c |    605938 |     280    42083   266764 |   127026   117550     23 |  4.111 % |
377.89/378.26	c |    607211 |     280    42083   266764 |   127026   118823     23 |  4.111 % |
378.69/379.04	c |    608611 |     280    42083   266764 |   127026   120223     23 |  4.111 % |
379.69/380.09	c |    610152 |     280    42083   266764 | 2147483647   121764     23 |  4.111 % |
380.69/381.07	c |    611846 |     280    42083   266764 | 2147483647   123458     23 |  4.111 % |
381.69/382.01	c |    613709 |     280    42083   266764 | 2147483647   125321     23 |  4.111 % |
382.69/383.03	c |    615759 |     280    42083   266764 | 2147483647   127371     23 |  4.111 % |
383.89/384.27	c |    618013 |     280    42083   266764 | 2147483647   129625     23 |  4.111 % |
386.39/386.72	c |    620494 |     280    42083   266764 | 2147483647   132106     23 |  4.111 % |
388.99/389.31	c |    623220 |     280    42083   266764 | 2147483647   134832     23 |  4.111 % |
390.99/391.34	c |    626219 |     280    42083   266764 | 2147483647   137831     23 |  4.111 % |
393.69/394.00	c |    629515 |     280    42083   266764 | 2147483647   141127     23 |  4.111 % |
397.09/397.44	c |    633142 |     280    42083   266764 |   141614   125885     23 |  4.111 % |
400.19/400.53	c |    637129 |     280    42083   266764 |   141614   129872     23 |  4.111 % |
403.98/404.32	c |    641515 |     280    42083   266764 |   132744   117243     23 |  4.111 % |
407.48/407.89	c |    646340 |     280    42083   266764 |   132744   122068     23 |  4.111 % |
412.87/413.21	c |    651646 |     280    42083   266764 |   125728   110611     22 |  4.111 % |
417.68/418.10	c |    657483 |     280    42083   266764 |   125728   116448     22 |  4.111 % |
417.87/418.22	c |    657585 |     280    42083   266764 |   125728   116550     22 |  4.111 % |
417.97/418.35	c |    657695 |     280    42083   266764 |   125728   116660     22 |  4.111 % |
418.07/418.45	c |    657818 |     280    42083   266764 |   125728   116783     22 |  4.111 % |
418.17/418.57	c |    657952 |     280    42083   266764 |   125728   116917     22 |  4.111 % |
418.37/418.70	c |    658098 |     280    42083   266764 |   125728   117063     22 |  4.111 % |
418.47/418.85	c |    658258 |     280    42083   266764 |   125728   117223     22 |  4.111 % |
418.67/419.00	c |    658436 |     280    42083   266764 |   125728   117401     22 |  4.111 % |
418.77/419.18	c |    658629 |     280    42083   266764 |   125728   117594     22 |  4.111 % |
418.97/419.34	c |    658844 |     280    42083   266764 |   125728   117809     22 |  4.111 % |
419.07/419.48	c |    659078 |     280    42083   266764 |   125728   118043     22 |  4.111 % |
419.37/419.74	c |    659334 |     280    42083   266764 |   125728   118299     22 |  4.111 % |
419.67/420.05	c |    659615 |     280    42083   266764 |   125728   118580     22 |  4.111 % |
419.87/420.26	c |    659924 |     280    42083   266764 |   125728   118889     22 |  4.111 % |
420.37/420.78	c |    660264 |     280    42083   266764 |   118968   102825     22 |  4.111 % |
420.67/421.03	c |    660636 |     280    42083   266764 |   118968   103197     22 |  4.111 % |
420.87/421.24	c |    661045 |     280    42083   266764 |   118968   103606     22 |  4.111 % |
421.27/421.62	c |    661495 |     280    42083   266764 |   118968   104056     22 |  4.111 % |
421.57/421.91	c |    661989 |     280    42083   266764 |   118968   104550     22 |  4.111 % |
421.67/422.08	c |    662531 |     280    42083   266764 |   118968   105092     22 |  4.111 % |
422.07/422.47	c |    663129 |     280    42083   266764 |   118968   105690     22 |  4.111 % |
422.37/422.77	c |    663784 |     280    42083   266764 |   118968   106345     22 |  4.119 % |
422.67/423.04	c |    664505 |     280    42083   266764 |   118968   107066     22 |  4.111 % |
423.07/423.50	c |    665297 |     280    42083   266764 |   118968   107858     22 |  4.111 % |
423.47/423.90	c |    666168 |     280    42083   266764 |   118968   108729     22 |  4.111 % |
423.97/424.38	c |    667127 |     280    42083   266764 |   118968   109688     22 |  4.111 % |
424.67/425.02	c |    668185 |     280    42083   266764 |   118968   110746     22 |  4.111 % |
425.56/425.91	c |    669344 |     280    42083   266764 |   118968   111905     22 |  4.111 % |
426.06/426.48	c |    670619 |     280    42083   266764 | 2147483647   113180     22 |  4.111 % |
426.96/427.33	c |    672019 |     280    42083   266764 | 2147483647   114580     22 |  4.111 % |
427.66/428.10	c |    673559 |     280    42083   266764 | 2147483647   116120     22 |  4.111 % |
429.16/429.57	c |    675253 |     280    42083   266764 | 2147483647   117814     22 |  4.111 % |
431.36/431.72	c |    677116 |     280    42083   266764 | 2147483647   119677     22 |  4.111 % |
433.16/433.58	c |    679165 |     280    42083   266764 | 2147483647   121726     22 |  4.111 % |
435.17/435.51	c |    681418 |     280    42083   266764 |   122562   110633     22 |  4.111 % |
436.76/437.16	c |    683897 |     280    42083   266764 |   122562   113112     22 |  4.111 % |
438.56/438.91	c |    686625 |     280    42083   266764 |   122562   115840     22 |  4.111 % |
440.56/441.00	c |    689622 |     280    42083   266764 |   122562   118837     22 |  4.111 % |
443.26/443.61	c |    692919 |     280    42083   266764 | 2147483647   122134     22 |  4.111 % |
445.46/445.82	c |    696547 |     280    42083   266764 | 2147483647   125762     23 |  4.111 % |
449.35/449.71	c |    700535 |     280    42083   266764 |   129215   116061     22 |  4.111 % |
453.25/453.64	c |    704921 |     280    42083   266764 |   129215   120447     22 |  4.111 % |
457.44/457.88	c |    709745 |     280    42083   266764 |   129215   125271     23 |  4.111 % |
462.04/462.48	c |    715050 |     280    42083   266764 |   125528   117237     22 |  4.111 % |
467.94/468.38	c |    720892 |     280    42083   266764 |   122188   109759     22 |  4.111 % |
472.34/472.72	c |    727311 |     280    42083   266764 |   122188   116178     22 |  4.111 % |
472.44/472.81	c |    727412 |     280    42083   266764 |   122188   116279     22 |  4.111 % |
472.54/472.91	c |    727523 |     280    42083   266764 |   122188   116390     22 |  4.111 % |
472.64/473.05	c |    727644 |     280    42083   266764 |   122188   116511     22 |  4.111 % |
472.74/473.17	c |    727777 |     280    42083   266764 |   122188   116644     22 |  4.111 % |
472.84/473.28	c |    727923 |     280    42083   266764 |   122188   116790     22 |  4.111 % |
472.94/473.36	c |    728083 |     280    42083   266764 |   122188   116950     22 |  4.111 % |
473.14/473.56	c |    728260 |     280    42083   266764 |   122188   117127     22 |  4.111 % |
473.34/473.74	c |    728454 |     280    42083   266764 |   122188   117321     22 |  4.111 % |
473.54/473.96	c |    728666 |     280    42083   266764 |   122188   117533     22 |  4.111 % |
473.74/474.13	c |    728899 |     280    42083   266764 |   122188   117766     22 |  4.111 % |
473.84/474.28	c |    729155 |     280    42083   266764 |   122188   118022     22 |  4.111 % |
474.04/474.44	c |    729436 |     280    42083   266764 |   122188   118303     22 |  4.111 % |
474.24/474.68	c |    729746 |     280    42083   266764 |   122188   118613     22 |  4.111 % |
474.54/474.92	c |    730087 |     280    42083   266764 |   118867   118954     22 |  4.111 % |
475.14/475.57	c |    730459 |     280    42083   266764 |   118867   106386     22 |  4.111 % |
475.34/475.75	c |    730869 |     280    42083   266764 |   118867   106796     22 |  4.111 % |
475.54/475.91	c |    731318 |     280    42083   266764 |   118867   107245     22 |  4.111 % |
475.74/476.10	c |    731813 |     280    42083   266764 |   118867   107740     22 |  4.111 % |
475.84/476.27	c |    732356 |     280    42083   266764 |   118867   108283     22 |  4.111 % |
476.04/476.49	c |    732952 |     280    42083   266764 |   118867   108879     22 |  4.111 % |
476.54/476.91	c |    733610 |     280    42083   266764 |   118867   109537     22 |  4.111 % |
476.74/477.13	c |    734330 |     280    42083   266764 |   118867   110257     22 |  4.111 % |
477.04/477.41	c |    735124 |     280    42083   266764 |   118867   111051     22 |  4.111 % |
477.34/477.77	c |    735998 |     280    42083   266764 |   118867   111925     22 |  4.121 % |
477.74/478.15	c |    736956 |     280    42083   266764 |   118867   112883     22 |  4.111 % |
478.14/478.59	c |    738011 |     280    42083   266764 |   118867   113938     22 |  4.111 % |
479.14/479.51	c |    739169 |     280    42083   266764 |   118867   115096     22 |  4.111 % |
479.83/480.24	c |    740443 |     280    42083   266764 | 2147483647   116370     22 |  4.111 % |
480.73/481.16	c |    741843 |     280    42083   266764 | 2147483647   117770     22 |  4.111 % |
481.63/482.01	c |    743385 |     280    42083   266764 | 2147483647   119312     23 |  4.111 % |
482.54/482.96	c |    745079 |     280    42083   266764 | 2147483647   121006     23 |  4.111 % |
484.13/484.59	c |    746942 |     280    42083   266764 | 2147483647   122869     23 |  4.111 % |
486.13/486.53	c |    748992 |     280    42083   266764 | 2147483647   124919     23 |  4.111 % |
487.73/488.11	c |    751245 |     280    42083   266764 | 2147483647   127172     23 |  4.111 % |
489.33/489.73	c |    753723 |     280    42083   266764 | 2147483647   129650     23 |  4.111 % |
491.33/491.72	c |    756449 |     280    42083   266764 | 2147483647   132376     23 |  4.111 % |
493.73/494.16	c |    759446 |     280    42083   266764 | 2147483647   135373     23 |  4.111 % |
496.93/497.35	c |    762745 |     280    42083   266764 |   135927   123632     23 |  4.111 % |
499.32/499.76	c |    766373 |     280    42083   266764 |   135927   127260     23 |  4.111 % |
502.62/503.00	c |    770362 |     280    42083   266764 | 2147483647   131249     23 |  4.111 % |
505.82/506.21	c |    774747 |     280    42083   266764 | 2147483647   135634     23 |  4.111 % |
509.01/509.48	c |    779575 |     280    42083   266764 | 2147483647   140462     23 |  4.111 % |
513.91/514.33	c |    784882 |     280    42083   266764 |   140887   127771     23 |  4.111 % |
518.72/519.15	c |    790718 |     280    42083   266764 |   132891   117055     23 |  4.111 % |
523.91/524.33	c |    797136 |     280    42083   266764 |   132891   123473     23 |  4.111 % |
529.41/529.88	c |    804196 |     280    42083   266764 |   126338   116379     23 |  4.111 % |
529.51/529.99	c |    804296 |     280    42083   266764 |   126338   116479     23 |  4.111 % |
529.71/530.13	c |    804407 |     280    42083   266764 |   126338   116590     23 |  4.111 % |
529.81/530.25	c |    804530 |     280    42083   266764 |   126338   116713     23 |  4.111 % |
529.91/530.35	c |    804663 |     280    42083   266764 |   126338   116846     23 |  4.111 % |
530.10/530.50	c |    804809 |     280    42083   266764 |   126338   116992     23 |  4.111 % |
530.20/530.63	c |    804969 |     280    42083   266764 |   126338   117152     23 |  4.111 % |
530.30/530.79	c |    805146 |     280    42083   266764 |   126338   117329     23 |  4.111 % |
530.50/530.97	c |    805341 |     280    42083   266764 |   126338   117524     23 |  4.111 % |
530.81/531.20	c |    805554 |     280    42083   266764 |   126338   117737     23 |  4.111 % |
531.00/531.48	c |    805788 |     280    42083   266764 |   126338   117971     23 |  4.111 % |
531.30/531.74	c |    806044 |     280    42083   266764 |   126338   118227     23 |  4.111 % |
531.60/532.08	c |    806325 |     280    42083   266764 |   126338   118508     23 |  4.111 % |
532.01/532.42	c |    806634 |     280    42083   266764 |   126338   118817     23 |  4.111 % |
532.20/532.69	c |    806974 |     280    42083   266764 |   126338   119157     23 |  4.111 % |
532.60/533.02	c |    807347 |     280    42083   266764 |   126338   119530     23 |  4.111 % |
533.01/533.49	c |    807756 |     280    42083   266764 |   126338   119939     23 |  4.111 % |
533.60/534.02	c |    808205 |     280    42083   266764 |   126338   120388     23 |  4.111 % |
534.00/534.42	c |    808700 |     280    42083   266764 |   126338   120883     23 |  4.111 % |
534.50/534.91	c |    809247 |     280    42083   266764 |   126338   121430     23 |  4.111 % |
535.10/535.53	c |    809843 |     280    42083   266764 |   126338   122026     23 |  4.111 % |
535.80/536.28	c |    810499 |     280    42083   266764 |   122185   108167     23 |  4.111 % |
536.30/536.71	c |    811219 |     280    42083   266764 |   122185   108887     23 |  4.111 % |
536.90/537.38	c |    812013 |     280    42083   266764 |   122185   109681     23 |  4.111 % |
537.60/538.09	c |    812886 |     280    42083   266764 |   122185   110554     23 |  4.111 % |
538.30/538.70	c |    813844 |     280    42083   266764 |   122185   111512     23 |  4.111 % |
538.90/539.36	c |    814897 |     280    42083   266764 |   122185   112565     23 |  4.121 % |
539.90/540.32	c |    816057 |     280    42083   266764 |   122185   113725     23 |  4.111 % |
540.90/541.37	c |    817331 |     280    42083   266764 |   122185   114999     23 |  4.111 % |
542.00/542.49	c |    818731 |     280    42083   266764 |   122185   116399     23 |  4.111 % |
543.19/543.63	c |    820271 |     280    42083   266764 | 2147483647   117939     23 |  4.111 % |
544.39/544.82	c |    821967 |     280    42083   266764 | 2147483647   119635     23 |  4.111 % |
545.79/546.23	c |    823830 |     280    42083   266764 | 2147483647   121498     23 |  4.111 % |
547.69/548.10	c |    825880 |     280    42083   266764 | 2147483647   123548     23 |  4.111 % |
549.59/550.03	c |    828133 |     280    42083   266764 | 2147483647   125801     23 |  4.111 % |
551.99/552.47	c |    830611 |     280    42083   266764 |   127670   115224     23 |  4.111 % |
554.39/554.83	c |    833336 |     280    42083   266764 |   127670   117949     23 |  4.111 % |
555.59/556.07	c |    836333 |     280    42083   266764 |   127670   120946     23 |  4.111 % |
557.69/558.19	c |    839629 |     280    42083   266764 |   127670   124242     23 |  4.111 % |
559.39/559.88	c |    843255 |     280    42083   266764 | 2147483647   127868     23 |  4.111 % |
562.59/563.04	c |    847245 |     280    42083   266764 | 2147483647   131858     23 |  4.111 % |
567.19/567.60	c |    851630 |     280    42083   266764 |   134613   119679     23 |  4.111 % |
571.59/572.04	c |    856453 |     280    42083   266764 |   134613   124502     23 |  4.111 % |
577.59/578.01	c |    861758 |     280    42083   266764 |   128049   110941     22 |  4.111 % |
583.18/583.68	c |    867594 |     280    42083   266764 |   128049   116777     23 |  4.111 % |
589.28/589.77	c |    874013 |     280    42083   266764 |   119184   105940     22 |  4.111 % |
595.28/595.70	c |    881072 |     280    42083   266764 |   111928   101044     22 |  4.111 % |
602.37/602.83	c |    888836 |     280    42083   266764 |   111928   108808     22 |  4.111 % |
602.47/602.94	c |    888936 |     280    42083   266764 |   111928   108908     22 |  4.111 % |
602.57/603.04	c |    889047 |     280    42083   266764 |   111928   109019     22 |  4.111 % |
602.67/603.17	c |    889168 |     280    42083   266764 |   111928   109140     22 |  4.111 % |
602.77/603.21	c |    889301 |     280    42083   266764 |   111928   109273     22 |  4.118 % |
602.77/603.24	c |    889447 |     280    42083   266764 |   111928   109419     22 |  4.118 % |
602.77/603.28	c |    889608 |     280    42083   266764 |   111928   109580     22 |  4.118 % |
602.87/603.34	c |    889786 |     280    42083   266764 |   111928   109758     22 |  4.111 % |
602.87/603.39	c |    889979 |     280    42083   266764 |   111928   109951     22 |  4.119 % |
602.97/603.47	c |    890191 |     280    42083   266764 | 2147483647   110163     22 |  4.111 % |
603.07/603.57	c |    890425 |     280    42083   266764 | 2147483647   110397     22 |  4.113 % |
603.17/603.62	c |    890681 |     280    42083   266764 | 2147483647   110653     22 |  4.111 % |
603.27/603.75	c |    890962 |     280    42083   266764 | 2147483647   110934     22 |  4.111 % |
603.37/603.81	c |    891271 |     280    42083   266764 | 2147483647   111243     22 |  4.119 % |
603.37/603.89	c |    891610 |     280    42083   266764 | 2147483647   111582     22 |  4.111 % |
603.47/604.00	c |    891982 |     280    42083   266764 | 2147483647   111954     22 |  4.121 % |
603.67/604.19	c |    892391 |     280    42083   266764 | 2147483647   112363     22 |  4.111 % |
603.87/604.35	c |    892840 |     280    42083   266764 | 2147483647   112812     22 |  4.111 % |
604.07/604.59	c |    893333 |     280    42083   266764 | 2147483647   113305     22 |  4.111 % |
604.37/604.85	c |    893875 |     280    42083   266764 | 2147483647   113847     22 |  4.111 % |
604.57/605.02	c |    894471 |     280    42083   266764 | 2147483647   114443     22 |  4.111 % |
604.77/605.27	c |    895129 |     280    42083   266764 | 2147483647   115101     22 |  4.111 % |
604.97/605.45	c |    895849 |     280    42083   266764 | 2147483647   115821     22 |  4.111 % |
605.17/605.61	c |    896644 |     280    42083   266764 | 2147483647   116616     22 |  4.111 % |
605.47/605.93	c |    897516 |     280    42083   266764 | 2147483647   117488     22 |  4.111 % |
605.97/606.43	c |    898477 |     280    42083   266764 | 2147483647   118449     22 |  4.111 % |
606.17/606.70	c |    899531 |     280    42083   266764 | 2147483647   119503     22 |  4.111 % |
607.06/607.53	c |    900690 |     280    42083   266764 | 2147483647   120662     22 |  4.111 % |
607.77/608.22	c |    901964 |     280    42083   266764 | 2147483647   121936     22 |  4.111 % |
608.46/608.94	c |    903364 |     280    42083   266764 | 2147483647   123336     22 |  4.111 % |
609.56/610.06	c |    904905 |     280    42083   266764 | 2147483647   124877     22 |  4.121 % |
610.76/611.22	c |    906601 |     280    42083   266764 | 2147483647   126573     22 |  4.111 % |
612.06/612.60	c |    908464 |     280    42083   266764 | 2147483647   128436     22 |  4.111 % |
613.16/613.67	c |    910514 |     280    42083   266764 | 2147483647   130486     22 |  4.111 % |
615.66/616.13	c |    912767 |     280    42083   266764 | 2147483647   132739     22 |  4.111 % |
617.96/618.49	c |    915245 |     280    42083   266764 | 2147483647   135217     22 |  4.111 % |
620.36/620.83	c |    917971 |     280    42083   266764 | 2147483647   137943     23 |  4.111 % |
624.26/624.72	c |    920968 |     280    42083   266764 |   139973   119223     22 |  4.111 % |
626.66/627.11	c |    924264 |     280    42083   266764 |   139973   122519     22 |  4.111 % |
628.85/629.37	c |    927889 |     280    42083   266764 |   139973   126144     22 |  4.111 % |
632.55/633.07	c |    931879 |     280    42083   266764 |   128255   112637     22 |  4.111 % |
635.85/636.36	c |    936265 |     280    42083   266764 |   128255   117023     22 |  4.111 % |
639.25/639.76	c |    941088 |     280    42083   266764 | 2147483647   121846     23 |  4.111 % |
644.45/644.95	c |    946394 |     280    42083   266764 | 2147483647   127152     23 |  4.111 % |
649.34/649.83	c |    952229 |     280    42083   266764 |   130758   116554     22 |  4.111 % |
652.84/653.32	c |    958647 |     280    42083   266764 |   130758   122972     23 |  4.111 % |
656.73/657.27	c |    965706 |     280    42083   266764 | 2147483647   130031     23 |  4.111 % |
662.23/662.72	c |    973470 |     280    42083   266764 | 2147483647   137795     23 |  4.111 % |
669.63/670.14	c |    982010 |     280    42083   266764 |   144326   127904     23 |  4.111 % |
669.73/670.27	c |    982112 |     280    42083   266764 |   144326   128006     23 |  4.111 % |
669.83/670.35	c |    982222 |     280    42083   266764 |   144326   128116     23 |  4.111 % |
669.93/670.46	c |    982344 |     280    42083   266764 |   144326   128238     23 |  4.111 % |
670.03/670.58	c |    982478 |     280    42083   266764 |   144326   128372     23 |  4.111 % |
670.23/670.74	c |    982626 |     280    42083   266764 |   144326   128520     23 |  4.111 % |
670.33/670.89	c |    982786 |     280    42083   266764 |   144326   128680     23 |  4.111 % |
670.53/671.05	c |    982963 |     280    42083   266764 |   144326   128857     23 |  4.111 % |
670.63/671.19	c |    983157 |     280    42083   266764 |   144326   129051     23 |  4.111 % |
670.73/671.29	c |    983372 |     280    42083   266764 |   144326   129266     23 |  4.111 % |
670.93/671.48	c |    983606 |     280    42083   266764 |   144326   129500     23 |  4.111 % |
671.13/671.60	c |    983862 |     280    42083   266764 |   144326   129756     23 |  4.111 % |
671.23/671.77	c |    984143 |     280    42083   266764 |   144326   130037     23 |  4.111 % |
671.43/671.95	c |    984452 |     280    42083   266764 |   144326   130346     23 |  4.119 % |
671.63/672.11	c |    984791 |     280    42083   266764 |   144326   130685     23 |  4.111 % |
671.63/672.19	c |    985163 |     280    42083   266764 |   144326   131057     23 |  4.119 % |
671.83/672.37	c |    985573 |     280    42083   266764 |   144326   131467     23 |  4.111 % |
672.22/672.74	c |    986023 |     280    42083   266764 |   144326   131917     23 |  4.111 % |
672.73/673.22	c |    986517 |     280    42083   266764 |   144326   132411     23 |  4.111 % |
673.12/673.67	c |    987061 |     280    42083   266764 |   144326   132955     23 |  4.111 % |
673.62/674.15	c |    987657 |     280    42083   266764 |   144326   133551     23 |  4.111 % |
674.12/674.69	c |    988313 |     280    42083   266764 |   144326   134207     23 |  4.111 % |
674.72/675.20	c |    989036 |     280    42083   266764 |   144326   134930     23 |  4.111 % |
675.32/675.87	c |    989830 |     280    42083   266764 |   144326   135724     23 |  4.111 % |
676.22/676.72	c |    990702 |     280    42083   266764 |   135896   117620     23 |  4.111 % |
676.82/677.39	c |    991661 |     280    42083   266764 |   135896   118579     23 |  4.111 % |
677.32/677.84	c |    992714 |     280    42083   266764 |   135896   119632     23 |  4.111 % |
677.82/678.35	c |    993872 |     280    42083   266764 |   135896   120790     23 |  4.111 % |
678.32/678.81	c |    995147 |     280    42083   266764 |   135896   122065     23 |  4.111 % |
679.01/679.58	c |    996547 |     280    42083   266764 |   135896   123465     23 |  4.111 % |
680.11/680.63	c |    998087 |     280    42083   266764 |   135896   125005     23 |  4.111 % |
681.11/681.69	c |    999782 |     280    42083   266764 |   135896   126700     23 |  4.111 % |
682.71/683.24	c |   1001646 |     280    42083   266764 |   126919   113552     23 |  4.111 % |
684.51/685.05	c |   1003695 |     280    42083   266764 |   126919   115601     23 |  4.111 % |
686.41/686.90	c |   1005948 |     280    42083   266764 |   126919   117854     23 |  4.111 % |
688.31/688.88	c |   1008426 |     280    42083   266764 |   126919   120332     23 |  4.111 % |
690.81/691.34	c |   1011151 |     280    42083   266764 |   121907   108910     22 |  4.111 % |
693.11/693.65	c |   1014148 |     280    42083   266764 |   121907   111907     22 |  4.111 % |
695.01/695.52	c |   1017444 |     280    42083   266764 |   121907   115203     23 |  4.111 % |
698.10/698.68	c |   1021069 |     280    42083   266764 |   117760   106656     22 |  4.111 % |
700.80/701.33	c |   1025057 |     280    42083   266764 |   117760   110644     22 |  4.111 % |
703.90/704.42	c |   1029444 |     280    42083   266764 |   117760   115031     22 |  4.111 % |
707.10/707.67	c |   1034268 |     280    42083   266764 | 2147483647   119855     23 |  4.111 % |
710.30/710.84	c |   1039573 |     280    42083   266764 | 2147483647   125160     23 |  4.117 % |
715.40/715.92	c |   1045409 |     280    42083   266764 |   125587   117980     23 |  4.111 % |
720.80/721.37	c |   1051828 |     280    42083   266764 |   122571   109951     23 |  4.111 % |
726.88/727.41	c |   1058888 |     280    42083   266764 |   122571   117011     23 |  4.111 % |
734.18/734.75	c |   1066652 |     280    42083   266764 |   118124   110019     23 |  4.111 % |
741.27/741.89	c |   1075192 |     280    42083   266764 |   113367   103419     24 |  4.111 % |
749.37/749.98	c |   1084588 |     280    42083   266764 |   108229    98208     23 |  4.111 % |
749.47/750.08	c |   1084689 |     280    42083   266764 |   108229    98309     23 |  4.111 % |
749.58/750.14	c |   1084799 |     280    42083   266764 |   108229    98419     23 |  4.111 % |
749.68/750.24	c |   1084921 |     280    42083   266764 |   108229    98541     23 |  4.111 % |
749.68/750.29	c |   1085055 |     280    42083   266764 |   108229    98675     23 |  4.111 % |
749.87/750.40	c |   1085201 |     280    42083   266764 |   108229    98821     23 |  4.112 % |
749.87/750.48	c |   1085364 |     280    42083   266764 |   108229    98984     23 |  4.111 % |
750.07/750.62	c |   1085540 |     280    42083   266764 |   108229    99160     23 |  4.119 % |
750.17/750.72	c |   1085733 |     280    42083   266764 |   108229    99353     23 |  4.111 % |
750.17/750.79	c |   1085945 |     280    42083   266764 |   108229    99565     23 |  4.111 % |
750.37/750.93	c |   1086181 |     280    42083   266764 |   108229    99801     23 |  4.111 % |
750.47/751.09	c |   1086437 |     280    42083   266764 |   108229   100057     23 |  4.111 % |
750.57/751.15	c |   1086719 |     280    42083   266764 |   108229   100339     23 |  4.111 % |
750.77/751.33	c |   1087029 |     280    42083   266764 |   108229   100649     23 |  4.111 % |
750.97/751.52	c |   1087368 |     280    42083   266764 |   108229   100988     23 |  4.111 % |
751.17/751.71	c |   1087740 |     280    42083   266764 |   108229   101360     23 |  4.111 % |
751.27/751.90	c |   1088151 |     280    42083   266764 |   108229   101771     23 |  4.111 % |
751.57/752.17	c |   1088601 |     280    42083   266764 |   108229   102221     23 |  4.112 % |
751.87/752.43	c |   1089094 |     280    42083   266764 |   108229   102714     23 |  4.111 % |
752.27/752.87	c |   1089637 |     280    42083   266764 |   108229   103257     23 |  4.112 % |
752.97/753.51	c |   1090233 |     280    42083   266764 |   103620    92806     23 |  4.111 % |
753.37/753.99	c |   1090888 |     280    42083   266764 |   103620    93461     23 |  4.111 % |
753.77/754.36	c |   1091610 |     280    42083   266764 |   103620    94183     23 |  4.111 % |
753.97/754.52	c |   1092402 |     280    42083   266764 |   103620    94975     23 |  4.118 % |
754.27/754.87	c |   1093273 |     280    42083   266764 |   103620    95846     23 |  4.111 % |
754.57/755.18	c |   1094231 |     280    42083   266764 |   103620    96804     23 |  4.111 % |
755.07/755.63	c |   1095285 |     280    42083   266764 |   103620    97858     23 |  4.119 % |
755.57/756.12	c |   1096444 |     280    42083   266764 |   103620    99017     23 |  4.111 % |
756.57/757.14	c |   1097717 |     280    42083   266764 |   103620   100290     23 |  4.111 % |
757.37/757.99	c |   1099119 |     280    42083   266764 |   103620   101692     23 |  4.111 % |
758.37/758.94	c |   1100659 |     280    42083   266764 | 2147483647   103232     23 |  4.111 % |
759.36/759.99	c |   1102353 |     280    42083   266764 | 2147483647   104926     23 |  4.111 % |
760.76/761.31	c |   1104219 |     280    42083   266764 | 2147483647   106792     23 |  4.111 % |
762.16/762.79	c |   1106268 |     280    42083   266764 | 2147483647   108841     23 |  4.111 % |
764.16/764.75	c |   1108523 |     280    42083   266764 | 2147483647   111096     24 |  4.111 % |
766.66/767.24	c |   1111001 |     280    42083   266764 |   112574   101272     23 |  4.111 % |
769.15/769.74	c |   1113726 |     280    42083   266764 |   112574   103997     23 |  4.111 % |
771.75/772.38	c |   1116723 |     280    42083   266764 |   112574   106994     24 |  4.111 % |
774.55/775.15	c |   1120019 |     280    42083   266764 |   110273   110290     24 |  4.111 % |
777.35/777.97	c |   1123645 |     280    42083   266764 |   110273   102014     23 |  4.111 % |
780.15/780.75	c |   1127632 |     280    42083   266764 |   110273   106001     24 |  4.111 % |
783.75/784.31	c |   1132017 |     280    42083   266764 | 2147483647   110386     24 |  4.111 % |
787.35/787.95	c |   1136841 |     280    42083   266764 | 2147483647   115210     24 |  4.111 % |
790.35/790.98	c |   1142146 |     280    42083   266764 | 2147483647   120515     24 |  4.111 % |
795.14/795.72	c |   1147984 |     280    42083   266764 | 2147483647   126353     24 |  4.111 % |
800.74/801.36	c |   1154403 |     280    42083   266764 |   128370   117031     23 |  4.111 % |
806.74/807.39	c |   1161465 |     280    42083   266764 |   122629   110347     23 |  4.111 % |
813.63/814.22	c |   1169230 |     280    42083   266764 |   122629   118112     23 |  4.111 % |
822.13/822.74	c |   1177772 |     280    42083   266764 |   118886   112956     23 |  4.111 % |
831.52/832.10	c |   1187167 |     280    42083   266764 |   115184   107622     24 |  4.111 % |
839.62/840.29	c |   1197501 |     280    42083   266764 |   110455   102835     23 |  4.112 % |
839.82/840.40	c |   1197601 |     280    42083   266764 |   110455   102935     23 |  4.111 % |
839.82/840.49	c |   1197714 |     280    42083   266764 |   110455   103048     23 |  4.111 % |
839.92/840.58	c |   1197835 |     280    42083   266764 |   110455   103169     23 |  4.118 % |
840.12/840.70	c |   1197969 |     280    42083   266764 |   110455   103303     23 |  4.111 % |
840.22/840.80	c |   1198116 |     280    42083   266764 |   110455   103450     23 |  4.111 % |
840.32/840.92	c |   1198276 |     280    42083   266764 |   110455   103610     23 |  4.111 % |
840.42/841.01	c |   1198453 |     280    42083   266764 |   110455   103787     23 |  4.111 % |
840.52/841.14	c |   1198648 |     280    42083   266764 |   110455   103982     23 |  4.111 % |
840.62/841.28	c |   1198860 |     280    42083   266764 |   110455   104194     23 |  4.111 % |
840.82/841.45	c |   1199093 |     280    42083   266764 |   110455   104427     23 |  4.111 % |
841.02/841.67	c |   1199349 |     280    42083   266764 |   110455   104683     23 |  4.111 % |
841.22/841.89	c |   1199632 |     280    42083   266764 |   110455   104966     23 |  4.111 % |
841.52/842.12	c |   1199941 |     280    42083   266764 |   110455   105275     23 |  4.111 % |
842.02/842.61	c |   1200281 |     280    42083   266764 |   105336    92830     23 |  4.111 % |
842.32/842.90	c |   1200654 |     280    42083   266764 |   105336    93203     23 |  4.111 % |
842.62/843.23	c |   1201063 |     280    42083   266764 |   105336    93612     23 |  4.111 % |
842.82/843.47	c |   1201514 |     280    42083   266764 |   105336    94063     23 |  4.111 % |
843.31/843.93	c |   1202009 |     280    42083   266764 |   105336    94558     23 |  4.111 % |
843.61/844.28	c |   1202551 |     280    42083   266764 |   105336    95100     23 |  4.111 % |
844.01/844.69	c |   1203149 |     280    42083   266764 |   105336    95698     23 |  4.111 % |
844.51/845.11	c |   1203807 |     280    42083   266764 |   105336    96356     23 |  4.111 % |
845.11/845.71	c |   1204528 |     280    42083   266764 |   105336    97077     23 |  4.111 % |
845.61/846.23	c |   1205321 |     280    42083   266764 |   105336    97870     23 |  4.111 % |
846.21/846.83	c |   1206192 |     280    42083   266764 |   105336    98741     23 |  4.111 % |
846.71/847.36	c |   1207154 |     280    42083   266764 |   105336    99703     23 |  4.111 % |
847.61/848.20	c |   1208210 |     280    42083   266764 |   105336   100759     23 |  4.111 % |
848.31/848.90	c |   1209369 |     280    42083   266764 |   105336   101918     23 |  4.111 % |
849.11/849.74	c |   1210642 |     280    42083   266764 | 2147483647   103191     23 |  4.111 % |
850.01/850.64	c |   1212044 |     280    42083   266764 | 2147483647   104593     23 |  4.111 % |
851.21/851.84	c |   1213584 |     280    42083   266764 | 2147483647   106133     23 |  4.111 % |
852.11/852.74	c |   1215279 |     280    42083   266764 | 2147483647   107828     23 |  4.111 % |
853.01/853.67	c |   1217144 |     280    42083   266764 | 2147483647   109693     23 |  4.111 % |
854.11/854.79	c |   1219193 |     280    42083   266764 | 2147483647   111742     24 |  4.111 % |
855.41/856.09	c |   1221447 |     280    42083   266764 | 2147483647   113996     24 |  4.111 % |
857.21/857.87	c |   1223925 |     280    42083   266764 | 2147483647   116474     24 |  4.115 % |
859.30/859.96	c |   1226651 |     280    42083   266764 | 2147483647   119200     24 |  4.111 % |
861.10/861.72	c |   1229648 |     280    42083   266764 | 2147483647   122197     24 |  4.111 % |
863.50/864.16	c |   1232944 |     280    42083   266764 |   122552   111812     24 |  4.122 % |
865.01/865.63	c |   1236569 |     280    42083   266764 |   122552   115437     24 |  4.111 % |
868.50/869.13	c |   1240556 |     280    42083   266764 | 2147483647   119424     24 |  4.111 % |
871.80/872.42	c |   1244942 |     280    42083   266764 | 2147483647   123810     24 |  4.111 % |
875.40/876.03	c |   1249766 |     280    42083   266764 | 2147483647   128634     24 |  4.111 % |
879.70/880.37	c |   1255072 |     280    42083   266764 |   128869   118843     24 |  4.111 % |
885.29/885.93	c |   1260909 |     280    42083   266764 |   123773   109651     24 |  4.111 % |
891.09/891.72	c |   1267327 |     280    42083   266764 |   123773   116069     24 |  4.111 % |
897.59/898.26	c |   1274388 |     280    42083   266764 |   118744   109299     24 |  4.111 % |
901.79/902.49	c |   1282152 |     280    42083   266764 | 2147483647   117063     24 |  4.111 % |
908.18/908.80	c |   1290692 |     280    42083   266764 |   124916   112675     24 |  4.111 % |
914.78/915.41	c |   1300086 |     280    42083   266764 | 2147483647   122069     24 |  4.111 % |
923.48/924.13	c |   1310420 |     280    42083   266764 |   131983   114124     24 |  4.111 % |
930.98/931.65	c |   1321787 |     280    42083   266764 |   123705   110928     24 |  4.111 % |
931.08/931.71	c |   1321887 |     280    42083   266764 |   123705   111028     24 |  4.111 % |
931.08/931.79	c |   1321998 |     280    42083   266764 |   123705   111139     24 |  4.111 % |
931.18/931.88	c |   1322119 |     280    42083   266764 |   123705   111260     24 |  4.111 % |
931.38/932.00	c |   1322252 |     280    42083   266764 |   123705   111393     24 |  4.111 % |
931.48/932.13	c |   1322399 |     280    42083   266764 |   123705   111540     24 |  4.111 % |
931.58/932.24	c |   1322561 |     280    42083   266764 |   123705   111702     24 |  4.111 % |
931.78/932.43	c |   1322737 |     280    42083   266764 |   123705   111878     24 |  4.111 % |
931.88/932.58	c |   1322931 |     280    42083   266764 |   123705   112072     24 |  4.111 % |
932.08/932.76	c |   1323145 |     280    42083   266764 |   123705   112286     24 |  4.111 % |
932.18/932.85	c |   1323378 |     280    42083   266764 |   123705   112519     24 |  4.111 % |
932.38/933.02	c |   1323634 |     280    42083   266764 |   123705   112775     24 |  4.115 % |
932.58/933.26	c |   1323915 |     280    42083   266764 |   123705   113056     24 |  4.111 % |
932.88/933.54	c |   1324228 |     280    42083   266764 |   123705   113369     24 |  4.118 % |
933.18/933.84	c |   1324567 |     280    42083   266764 |   123705   113708     24 |  4.111 % |
933.58/934.24	c |   1324940 |     280    42083   266764 |   123705   114081     24 |  4.111 % |
933.98/934.69	c |   1325349 |     280    42083   266764 |   123705   114490     24 |  4.111 % |
934.58/935.26	c |   1325798 |     280    42083   266764 |   123705   114939     24 |  4.111 % |
934.98/935.68	c |   1326292 |     280    42083   266764 |   123705   115433     24 |  4.111 % |
935.48/936.11	c |   1326835 |     280    42083   266764 |   123705   115976     24 |  4.111 % |
935.87/936.56	c |   1327433 |     280    42083   266764 |   123705   116574     24 |  4.111 % |
936.37/937.05	c |   1328090 |     280    42083   266764 |   123705   117231     24 |  4.111 % |
936.87/937.59	c |   1328811 |     280    42083   266764 |   123705   117952     24 |  4.111 % |
937.47/938.19	c |   1329603 |     280    42083   266764 |   123705   118744     24 |  4.111 % |
938.57/939.22	c |   1330474 |     280    42083   266764 |   119142   105581     23 |  4.111 % |
939.27/939.98	c |   1331434 |     280    42083   266764 |   119142   106541     23 |  4.111 % |
940.07/940.73	c |   1332488 |     280    42083   266764 |   119142   107595     23 |  4.111 % |
940.88/941.50	c |   1333648 |     280    42083   266764 |   119142   108755     23 |  4.111 % |
941.67/942.37	c |   1334921 |     280    42083   266764 |   119142   110028     24 |  4.111 % |
942.77/943.45	c |   1336323 |     280    42083   266764 |   119142   111430     24 |  4.111 % |
944.07/944.74	c |   1337863 |     280    42083   266764 |   119142   112970     24 |  4.111 % |
945.38/946.09	c |   1339557 |     280    42083   266764 |   119142   114664     24 |  4.111 % |
946.97/947.61	c |   1341420 |     280    42083   266764 | 2147483647   116527     24 |  4.111 % |
948.26/948.98	c |   1343469 |     280    42083   266764 | 2147483647   118576     24 |  4.111 % |
950.66/951.39	c |   1345722 |     280    42083   266764 | 2147483647   120829     24 |  4.111 % |
952.86/953.58	c |   1348202 |     280    42083   266764 | 2147483647   123309     24 |  4.111 % |
954.96/955.61	c |   1350927 |     280    42083   266764 | 2147483647   126034     24 |  4.111 % |
957.66/958.39	c |   1353924 |     280    42083   266764 | 2147483647   129031     24 |  4.111 % |
959.66/960.39	c |   1357220 |     280    42083   266764 | 2147483647   132327     24 |  4.111 % |
963.25/963.93	c |   1360845 |     280    42083   266764 |   135107   114355     24 |  4.111 % |
965.65/966.35	c |   1364834 |     280    42083   266764 |   135107   118344     24 |  4.111 % |
968.55/969.23	c |   1369219 |     280    42083   266764 |   135107   122729     24 |  4.111 % |
972.65/973.32	c |   1374042 |     280    42083   266764 |   123510   110278     23 |  4.111 % |
977.65/978.33	c |   1379349 |     280    42083   266764 |   123510   115585     24 |  4.111 % |
983.04/983.77	c |   1385186 |     280    42083   266764 |   116238   106373     23 |  4.111 % |
988.44/989.19	c |   1391604 |     280    42083   266764 |   111187    98533     23 |  4.111 % |
992.73/993.44	c |   1398663 |     280    42083   266764 |   111187   105592     23 |  4.111 % |
996.93/997.67	c |   1406428 |     280    42083   266764 | 2147483647   113357     23 |  4.111 % |
1003.53/1004.20	c |   1414970 |     280    42083   266764 | 2147483647   121899     24 |  4.111 % |
1012.52/1013.29	c |   1424364 |     280    42083   266764 |   126929   115090     24 |  4.111 % |
1022.22/1022.94	c |   1434697 |     280    42083   266764 |   120729   106014     24 |  4.111 % |
1031.21/1031.91	c |   1446063 |     280    42083   266764 | 2147483647   117380     24 |  4.111 % |
1039.91/1040.61	c |   1458566 |     280    42083   266764 | 2147483647   129883     24 |  4.111 % |
1039.91/1040.68	c |   1458666 |     280    42083   266764 | 2147483647   129983     24 |  4.111 % |
1040.00/1040.79	c |   1458777 |     280    42083   266764 | 2147483647   130094     24 |  4.111 % |
1040.10/1040.85	c |   1458898 |     280    42083   266764 | 2147483647   130215     24 |  4.111 % |
1040.20/1040.94	c |   1459031 |     280    42083   266764 | 2147483647   130348     24 |  4.111 % |
1040.30/1041.04	c |   1459177 |     280    42083   266764 | 2147483647   130494     24 |  4.111 % |
1040.40/1041.16	c |   1459337 |     280    42083   266764 | 2147483647   130654     24 |  4.111 % |
1040.50/1041.27	c |   1459514 |     280    42083   266764 | 2147483647   130831     24 |  4.111 % |
1040.70/1041.45	c |   1459708 |     280    42083   266764 | 2147483647   131025     24 |  4.111 % |
1040.90/1041.66	c |   1459920 |     280    42083   266764 | 2147483647   131237     24 |  4.111 % |
1041.10/1041.90	c |   1460155 |     280    42083   266764 | 2147483647   131472     24 |  4.111 % |
1041.40/1042.16	c |   1460414 |     280    42083   266764 | 2147483647   131731     24 |  4.112 % |
1041.60/1042.34	c |   1460695 |     280    42083   266764 | 2147483647   132012     24 |  4.111 % |
1041.90/1042.68	c |   1461004 |     280    42083   266764 | 2147483647   132321     24 |  4.111 % |
1042.20/1042.99	c |   1461343 |     280    42083   266764 | 2147483647   132660     24 |  4.111 % |
1042.60/1043.37	c |   1461717 |     280    42083   266764 | 2147483647   133034     24 |  4.124 % |
1042.90/1043.60	c |   1462126 |     280    42083   266764 | 2147483647   133443     24 |  4.111 % |
1043.20/1043.93	c |   1462575 |     280    42083   266764 | 2147483647   133892     24 |  4.111 % |
1043.70/1044.47	c |   1463069 |     280    42083   266764 | 2147483647   134386     24 |  4.111 % |
1044.30/1045.06	c |   1463612 |     280    42083   266764 | 2147483647   134929     24 |  4.111 % |
1044.80/1045.54	c |   1464211 |     280    42083   266764 | 2147483647   135528     24 |  4.111 % |
1045.40/1046.12	c |   1464867 |     280    42083   266764 | 2147483647   136184     24 |  4.111 % |
1046.10/1046.84	c |   1465587 |     280    42083   266764 | 2147483647   136904     24 |  4.111 % |
1047.20/1047.90	c |   1466379 |     280    42083   266764 | 2147483647   137696     24 |  4.111 % |
1047.80/1048.56	c |   1467250 |     280    42083   266764 | 2147483647   138567     24 |  4.111 % |
1048.70/1049.46	c |   1468209 |     280    42083   266764 | 2147483647   139526     24 |  4.111 % |
1049.70/1050.47	c |   1469262 |     280    42083   266764 | 2147483647   140579     24 |  4.111 % |
1051.00/1051.72	c |   1470421 |     280    42083   266764 |   141317   121430     24 |  4.111 % |
1052.19/1052.90	c |   1471694 |     280    42083   266764 |   141317   122703     24 |  4.111 % |
1053.39/1054.17	c |   1473095 |     280    42083   266764 |   141317   124104     24 |  4.111 % |
1055.09/1055.82	c |   1474636 |     280    42083   266764 |   141317   125645     24 |  4.111 % |
1056.59/1057.37	c |   1476331 |     280    42083   266764 |   141317   127340     24 |  4.111 % |
1058.29/1059.05	c |   1478197 |     280    42083   266764 |   141317   129206     24 |  4.111 % |
1061.09/1061.86	c |   1480246 |     280    42083   266764 |   131009   111932     24 |  4.111 % |
1062.29/1063.02	c |   1482499 |     280    42083   266764 |   131009   114185     24 |  4.111 % |
1063.59/1064.39	c |   1484978 |     280    42083   266764 |   131009   116664     24 |  4.111 % |
1065.19/1065.90	c |   1487703 |     280    42083   266764 |   131009   119389     24 |  4.111 % |
1066.89/1067.65	c |   1490700 |     280    42083   266764 | 2147483647   122386     24 |  4.111 % |
1068.88/1069.61	c |   1493996 |     280    42083   266764 | 2147483647   125682     25 |  4.111 % |
1071.98/1072.73	c |   1497621 |     280    42083   266764 | 2147483647   129307     25 |  4.111 % |
1075.68/1076.41	c |   1501608 |     280    42083   266764 |   131689   120045     24 |  4.111 % |
1079.18/1079.91	c |   1505993 |     280    42083   266764 |   131689   124430     25 |  4.111 % |
1083.58/1084.38	c |   1510816 |     280    42083   266764 |   128437   114380     24 |  4.111 % |
1087.28/1088.02	c |   1516121 |     280    42083   266764 |   128437   119685     25 |  4.111 % |
1092.97/1093.72	c |   1521957 |     280    42083   266764 |   123565   110538     24 |  4.111 % |
1098.37/1099.17	c |   1528375 |     280    42083   266764 |   123565   116956     24 |  4.111 % |
1103.17/1103.91	c |   1535434 |     280    42083   266764 |   118582   109757     24 |  4.111 % |
1107.67/1108.46	c |   1543199 |     280    42083   266764 | 2147483647   117522     24 |  4.111 % |
1115.16/1115.97	c |   1551741 |     279    41226   261907 | 2147483647   126060     24 |  4.453 % |
1123.86/1124.66	c |   1561136 |     279    41226   261907 |   134319   118921     24 |  4.453 % |
1132.16/1132.99	c |   1571469 |     279    41226   261907 |   127785   114002     24 |  4.453 % |
1141.15/1141.97	c |   1582835 |     279    41226   261907 |   122536   112033     24 |  4.453 % |
1151.65/1152.41	c |   1595337 |     279    41226   261907 |   119198   110844     24 |  4.453 % |
1164.15/1164.97	c |   1609089 |     279    41226   261907 |   115510   111396     24 |  4.453 % |
1164.34/1165.12	c |   1609189 |     279    41226   261907 |   115510   111496     24 |  4.453 % |
1164.44/1165.25	c |   1609299 |     279    41226   261907 |   115510   111606     24 |  4.465 % |
1164.54/1165.38	c |   1609420 |     279    41226   261907 |   115510   111727     24 |  4.453 % |
1164.74/1165.53	c |   1609555 |     279    41226   261907 |   115510   111862     24 |  4.453 % |
1164.84/1165.66	c |   1609701 |     279    41226   261907 |   115510   112008     24 |  4.453 % |
1165.04/1165.81	c |   1609861 |     279    41226   261907 |   115510   112168     24 |  4.453 % |
1165.25/1166.04	c |   1610037 |     279    41226   261907 |   112308   112344     24 |  4.453 % |
1165.74/1166.50	c |   1610231 |     279    41226   261907 |   112308    95302     24 |  4.453 % |
1165.84/1166.62	c |   1610446 |     279    41226   261907 |   112308    95517     24 |  4.453 % |
1165.84/1166.67	c |   1610682 |     279    41226   261907 |   112308    95753     24 |  4.453 % |
1165.94/1166.73	c |   1610938 |     279    41226   261907 |   112308    96009     24 |  4.453 % |
1166.04/1166.81	c |   1611219 |     279    41226   261907 |   112308    96290     24 |  4.453 % |
1166.14/1166.95	c |   1611528 |     279    41226   261907 |   112308    96599     24 |  4.453 % |
1166.24/1167.08	c |   1611868 |     279    41226   261907 |   112308    96939     24 |  4.453 % |
1166.44/1167.28	c |   1612242 |     279    41226   261907 |   112308    97313     24 |  4.453 % |
1166.64/1167.42	c |   1612651 |     279    41226   261907 |   112308    97722     24 |  4.453 % |
1166.84/1167.61	c |   1613100 |     279    41226   261907 |   112308    98171     24 |  4.453 % |
1166.94/1167.75	c |   1613593 |     279    41226   261907 |   112308    98664     24 |  4.453 % |
1167.24/1168.05	c |   1614138 |     279    41226   261907 |   112308    99209     24 |  4.453 % |
1167.34/1168.15	c |   1614734 |     279    41226   261907 |   112308    99805     24 |  4.453 % |
1167.54/1168.39	c |   1615389 |     279    41226   261907 |   112308   100460     24 |  4.453 % |
1167.74/1168.58	c |   1616113 |     279    41226   261907 |   112308   101184     24 |  4.453 % |
1168.14/1168.91	c |   1616905 |     279    41226   261907 |   112308   101976     24 |  4.453 % |
1168.34/1169.19	c |   1617776 |     279    41226   261907 |   112308   102847     24 |  4.453 % |
1168.94/1169.78	c |   1618738 |     279    41226   261907 |   112308   103809     24 |  4.453 % |
1169.34/1170.12	c |   1619792 |     279    41226   261907 |   112308   104863     24 |  4.463 % |
1169.74/1170.51	c |   1620951 |     279    41226   261907 | 2147483647   106022     24 |  4.453 % |
1170.34/1171.13	c |   1622224 |     279    41226   261907 | 2147483647   107295     24 |  4.453 % |
1170.74/1171.52	c |   1623624 |     279    41226   261907 | 2147483647   108695     24 |  4.453 % |
1171.44/1172.30	c |   1625165 |     279    41226   261907 | 2147483647   110236     24 |  4.453 % |
1172.14/1172.95	c |   1626859 |     279    41226   261907 | 2147483647   111930     24 |  4.453 % |
1173.04/1173.83	c |   1628722 |     279    41226   261907 | 2147483647   113793     24 |  4.453 % |
1174.14/1174.96	c |   1630771 |     279    41226   261907 | 2147483647   115842     24 |  4.453 % |
1175.34/1176.11	c |   1633025 |     279    41226   261907 | 2147483647   118096     24 |  4.453 % |
1177.14/1177.93	c |   1635503 |     278    41226   261907 | 2147483647   120573     24 |  4.796 % |
1179.13/1179.98	c |   1638228 |     278    41226   261907 | 2147483647   123298     24 |  4.796 % |
1181.13/1181.99	c |   1641225 |     278    41226   261907 | 2147483647   126295     24 |  4.796 % |
1183.03/1183.87	c |   1644525 |     278    41226   261907 | 2147483647   129595     24 |  4.796 % |
1186.03/1186.82	c |   1648151 |     278    41226   261907 | 2147483647   133221     24 |  4.796 % |
1190.33/1191.17	c |   1652141 |     278    41226   261907 |   135070   119997     24 |  4.796 % |
1193.73/1194.53	c |   1656526 |     278    41226   261907 |   135070   124382     24 |  4.796 % |
1198.33/1199.13	c |   1661349 |     278    41226   261907 |   127857   111881     23 |  4.796 % |
1200.03/1200.81	HOME/SatELiteGTI: line 36: 14748 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834037-1242827415/watcher-1834037-1242827415 -o /tmp/evaluation-result-1834037-1242827415/solver-1834037-1242827415 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834037-1242827415.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.95 0.99 3/64 14742
/proc/meminfo: memFree=1950312/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=0
/proc/14742/stat : 14742 (SatELiteGTI) R 14740 14742 14429 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310767930 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607243251 0 0 4100 65536 0 0 0 17 0 0 0
/proc/14742/statm: 1339 237 197 169 0 50 0

[startup+0.0214809 s]
/proc/loadavg: 0.92 0.95 0.99 3/64 14742
/proc/meminfo: memFree=1950312/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=0
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310767930 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101496 s]
/proc/loadavg: 0.92 0.95 0.99 3/64 14742
/proc/meminfo: memFree=1950312/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=0
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310767930 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301535 s]
/proc/loadavg: 0.92 0.95 0.99 3/64 14742
/proc/meminfo: memFree=1950312/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=0
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310767930 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701613 s]
/proc/loadavg: 0.92 0.95 0.99 3/64 14742
/proc/meminfo: memFree=1950312/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=0
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310767930 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50177 s]
/proc/loadavg: 0.92 0.95 0.99 2/66 14747
/proc/meminfo: memFree=1942360/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=0
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310767930 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 237 197 169 0 50 0
[pid=14746] ppid=14742 vsize=10020 CPUtime=1.49
/proc/14746/stat : 14746 (SatELite_releas) R 14742 14742 14429 0 -1 4194304 2315 0 0 0 148 1 0 0 25 0 1 0 310767931 10260480 2178 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/14746/statm: 2505 2178 76 173 0 2330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15376

[startup+3.1011 s]
/proc/loadavg: 0.92 0.95 0.99 2/66 14748
/proc/meminfo: memFree=1943384/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=7180 CPUtime=1.45
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 1663 0 0 0 144 1 0 0 25 0 1 0 310768094 7352320 1649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14748/statm: 1795 1649 77 171 0 1622 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12536

[startup+6.30172 s]
/proc/loadavg: 0.93 0.95 0.99 2/66 14748
/proc/meminfo: memFree=1939608/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=9932 CPUtime=4.65
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 2361 0 0 0 462 3 0 0 25 0 1 0 310768094 10170368 2347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 2483 2347 77 171 0 2310 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15288

[startup+12.702 s]
/proc/loadavg: 0.93 0.96 0.99 2/66 14748
/proc/meminfo: memFree=1935320/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=13768 CPUtime=11.04
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 3321 0 0 0 1101 3 0 0 25 0 1 0 310768094 14098432 3307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528840 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 3442 3307 77 171 0 3269 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 19124

[startup+25.5015 s]
/proc/loadavg: 0.95 0.96 0.99 2/66 14748
/proc/meminfo: memFree=1930328/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=18856 CPUtime=23.84
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 4552 0 0 0 2379 5 0 0 25 0 1 0 310768094 19308544 4538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 4714 4538 77 171 0 4541 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24212

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.99 2/66 14748
/proc/meminfo: memFree=1925912/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=23420 CPUtime=49.42
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 5628 0 0 0 4936 6 0 0 25 0 1 0 310768094 23982080 5614 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 5855 5614 77 171 0 5682 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 28776

[startup+102.307 s]
/proc/loadavg: 0.98 0.96 0.99 2/66 14748
/proc/meminfo: memFree=1924632/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=24600 CPUtime=100.59
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 5904 0 0 0 10052 7 0 0 25 0 1 0 310768094 25190400 5890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 6150 5890 77 171 0 5977 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 29956

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1924184/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=24980 CPUtime=160.54
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 5990 0 0 0 16047 7 0 0 25 0 1 0 310768094 25579520 5976 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 6245 5976 77 171 0 6072 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 30336

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1923544/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=25476 CPUtime=220.51
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 6115 0 0 0 22043 8 0 0 25 0 1 0 310768094 26087424 6101 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 6369 6101 77 171 0 6196 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 30832

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1923160/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=25820 CPUtime=280.45
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 6189 0 0 0 28037 8 0 0 25 0 1 0 310768094 26439680 6175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 6455 6175 77 171 0 6282 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 31176

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1920792/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=28232 CPUtime=340.41
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 6783 0 0 0 34033 8 0 0 25 0 1 0 310768094 28909568 6769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7058 6769 77 171 0 6885 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 33588

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1920472/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=28388 CPUtime=400.37
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 6836 0 0 0 40029 8 0 0 25 0 1 0 310768094 29069312 6822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7097 6822 77 171 0 6924 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 33744

[startup+462.302 s]

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

[pid=14748] ppid=14742 vsize=28708 CPUtime=460.33
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 6896 0 0 0 46025 8 0 0 25 0 1 0 310768094 29396992 6882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7177 6882 77 171 0 7004 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 34064

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1919704/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=28872 CPUtime=520.3
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 6969 0 0 0 52022 8 0 0 25 0 1 0 310768094 29564928 6955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7218 6955 77 171 0 7045 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 34228

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1919512/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29024 CPUtime=580.27
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 6998 0 0 0 58018 9 0 0 25 0 1 0 310768094 29720576 6984 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7256 6984 77 171 0 7083 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 34380

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14748
/proc/meminfo: memFree=1919000/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29380 CPUtime=640.24
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7090 0 0 0 64015 9 0 0 25 0 1 0 310768094 30085120 7076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7345 7076 77 171 0 7172 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 34736

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1918552/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29592 CPUtime=700.19
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7112 0 0 0 70010 9 0 0 25 0 1 0 310768094 30302208 7098 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7398 7098 77 171 0 7225 0
Current children cumulated CPU time (s) 701.8
Current children cumulated vsize (KiB) 34948

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1918488/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29592 CPUtime=760.16
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7136 0 0 0 76007 9 0 0 25 0 1 0 310768094 30302208 7122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7398 7122 77 171 0 7225 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 34948

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1918488/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29592 CPUtime=820.12
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7139 0 0 0 82003 9 0 0 25 0 1 0 310768094 30302208 7125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7398 7125 77 171 0 7225 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 34948

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1918104/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29916 CPUtime=880.08
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7221 0 0 0 87999 9 0 0 25 0 1 0 310768094 30633984 7207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7479 7207 77 171 0 7306 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 35272

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1918040/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29916 CPUtime=940.06
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7221 0 0 0 93996 10 0 0 25 0 1 0 310768094 30633984 7207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7479 7207 77 171 0 7306 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 35272

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1917848/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=29916 CPUtime=1000.01
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7229 0 0 0 99991 10 0 0 25 0 1 0 310768094 30633984 7215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7479 7215 77 171 0 7306 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 35272

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1917656/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=30268 CPUtime=1059.98
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7298 0 0 0 105988 10 0 0 25 0 1 0 310768094 30994432 7262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7567 7262 77 171 0 7394 0
Current children cumulated CPU time (s) 1061.59
Current children cumulated vsize (KiB) 35624

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1917464/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=30268 CPUtime=1119.95
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7322 0 0 0 111985 10 0 0 25 0 1 0 310768094 30994432 7286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7567 7286 77 171 0 7394 0
Current children cumulated CPU time (s) 1121.56
Current children cumulated vsize (KiB) 35624

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1917080/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=30644 CPUtime=1179.92
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7378 0 0 0 117982 10 0 0 25 0 1 0 310768094 31379456 7342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7661 7342 77 171 0 7488 0
Current children cumulated CPU time (s) 1181.53
Current children cumulated vsize (KiB) 36000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14754
/proc/meminfo: memFree=1917016/2055920 swapFree=4179852/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=1.61
/proc/14742/stat : 14742 (SatELiteGTI) S 14740 14742 14429 0 -1 4194304 336 2568 0 0 0 0 160 1 19 0 1 0 310767930 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14742/statm: 1339 239 197 169 0 50 0
[pid=14748] ppid=14742 vsize=30644 CPUtime=1198.42
/proc/14748/stat : 14748 (minisat_static) R 14742 14742 14429 0 -1 4194304 7380 0 0 0 119832 10 0 0 25 0 1 0 310768094 31379456 7344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14748/statm: 7661 7344 77 171 0 7488 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 36000

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.07
CPU user time (s): 1199.93
CPU system time (s): 0.134979
CPU usage (%): 99.938
Max. virtual memory (cumulated for all children) (KiB): 36000

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

runsolver used 1.26381 second user time and 3.22551 second system time

The end

Launcher Data

Begin job on node66 at 2009-05-20 15:50:15
IDJOB=1834037
IDBENCH=71142
IDSOLVER=671
FILE ID=node66/1834037-1242827415
PBS_JOBID= 9322517
Free space on /tmp= 66420 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2_autoenc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834037-1242827415/watcher-1834037-1242827415 -o /tmp/evaluation-result-1834037-1242827415/solver-1834037-1242827415 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834037-1242827415.cnf

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

MD5SUM BENCH= 68299073e5e5e9c13c18eb7bcc640f07
RANDOM SEED=111135458

node66.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1950800 kB
Buffers:         16656 kB
Cached:          45664 kB
SwapCached:       7312 kB
Active:          36904 kB
Inactive:        34200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1950800 kB
SwapTotal:     4192956 kB
SwapFree:      4179852 kB
Dirty:            3656 kB
Writeback:           0 kB
Mapped:          13940 kB
Slab:            20160 kB
Committed_AS:  1136260 kB
PageTables:       1364 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66416 MiB
End job on node66 at 2009-05-20 16:10:18