Trace number 1834035

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.02 1200.51

General information on the benchmark

NameCRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
MD5SUMb22738b664eaf1324f561a555f3cf0f3
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 variables475
Number of clauses117796
Sum of the clauses size690176
Maximum clause length13
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21987
Number of clauses of size 34
Number of clauses of size 41021
Number of clauses of size 56342
Number of clauses of size over 5108378

Solver Data

0.00/0.00	c Parsing...
0.00/0.12	c ==============================================================================
0.00/0.12	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.12	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.12	c ==============================================================================
0.00/0.12	c |         0 |  117732   690112 |   35319       0        0     nan |  0.000 % |
3.19/3.25	c |         0 |   76120   471134 |      --       0       --      -- |     --   | -5772/26782
3.19/3.25	c ==============================================================================
3.19/3.25	c Result  :   #vars: 378   #clauses: 76120   #literals: 471134
3.19/3.25	c CPU time:   3.22751 s
3.19/3.25	c ==============================================================================
3.29/3.38	c This is MiniSat 2.0 beta
3.29/3.38	c WARNING: for repeatability, setting FPU to use double precision
3.29/3.38	c ============================[ Problem Statistics ]=============================
3.29/3.38	c |                                                                             |
3.29/3.39	c |  Number of variables:  378                                                  |
3.29/3.39	c |  Number of clauses:    76120                                                |
3.38/3.44	c |  Parsing time:         0.05         s                                       |
3.38/3.45	c ============================[ Search Statistics ]==============================
3.38/3.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.38/3.45	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.38/3.45	c ===============================================================================
3.38/3.45	c |         0 |     378    76120   471134 |    25373        0    nan |  0.000 % |
3.38/3.45	c |       102 |     378    76120   471134 |    25373      102     10 |  0.001 % |
3.38/3.46	c |       203 |     378    76120   471134 |    25373      203      9 |  0.006 % |
3.38/3.46	c |       304 |     378    76120   471134 |    25373      304      8 |  0.006 % |
3.38/3.46	c |       414 |     378    76120   471134 |    25373      414      8 |  0.001 % |
3.38/3.47	c |       514 |     378    76120   471134 |    25373      514      8 |  0.006 % |
3.38/3.47	c |       625 |     378    76120   471134 |    25373      625     10 |  0.001 % |
3.38/3.48	c |       746 |     378    76120   471134 |    25373      746     11 |  0.001 % |
3.38/3.48	c |       848 |     378    76120   471134 |    25373      848     11 |  0.001 % |
3.38/3.49	c |       958 |     377    76120   471134 |    25373      957     13 |  0.271 % |
3.38/3.49	c |      1079 |     377    76120   471134 |    25373     1078     13 |  0.265 % |
3.38/3.49	c |      1212 |     377    76120   471134 |    25373     1211     13 |  0.265 % |
3.38/3.50	c |      1314 |     376    76120   471134 |    25373     1312     12 |  0.536 % |
3.38/3.50	c |      1426 |     376    76120   471134 |    25373     1424     12 |  0.530 % |
3.38/3.50	c |      1549 |     376    76120   471134 |    25373     1547     12 |  0.536 % |
3.38/3.51	c |      1684 |     376    76120   471134 |    25373     1682     13 |  0.530 % |
3.38/3.52	c |      1837 |     376    76120   471134 |    25373     1835     13 |  0.530 % |
3.38/3.52	c |      1937 |     376    76120   471134 |    25373     1935     14 |  0.530 % |
3.38/3.52	c |      2050 |     376    76120   471134 |    25373     2048     14 |  0.530 % |
3.38/3.53	c |      2175 |     376    76120   471134 |    25373     2173     14 |  0.530 % |
3.38/3.54	c |      2308 |     376    76120   471134 |    25373     2306     14 |  0.530 % |
3.38/3.54	c |      2455 |     376    76120   471134 |    25373     2453     14 |  0.532 % |
3.38/3.55	c |      2616 |     375    76120   471134 |    25373     2613     14 |  0.794 % |
3.38/3.55	c |      2716 |     375    76120   471134 |    25373     2713     14 |  0.794 % |
3.38/3.56	c |      2826 |     375    76120   471134 |    25373     2823     14 |  0.794 % |
3.38/3.56	c |      2947 |     375    76120   471134 |    25373     2944     14 |  0.795 % |
3.38/3.57	c |      3080 |     375    76120   471134 |    25373     3077     14 |  0.794 % |
3.38/3.58	c |      3227 |     375    76120   471134 |    25373     3224     15 |  0.794 % |
3.38/3.58	c |      3387 |     373    76120   471134 |    25373     3383     15 |  1.323 % |
3.38/3.59	c |      3565 |     373    76120   471134 |    25373     3561     15 |  1.329 % |
3.38/3.60	c |      3665 |     373    76120   471134 |    25373     3661     16 |  1.324 % |
3.38/3.60	c |      3777 |     373    76120   471134 |    25373     3773     16 |  1.323 % |
3.38/3.61	c |      3898 |     373    76120   471134 |    25373     3894     16 |  1.323 % |
3.38/3.61	c |      4032 |     373    76120   471134 |    25373     4028     16 |  1.324 % |
3.38/3.62	c |      4178 |     373    76120   471134 |    25373     4174     16 |  1.323 % |
3.38/3.63	c |      4339 |     373    76120   471134 |    25373     4335     16 |  1.331 % |
3.38/3.64	c |      4515 |     373    76120   471134 |    25373     4511     16 |  1.323 % |
3.38/3.65	c |      4708 |     373    76120   471134 |    25373     4704     16 |  1.323 % |
3.38/3.65	c |      4809 |     373    76120   471134 |    25373     4805     16 |  1.323 % |
3.38/3.66	c |      4919 |     373    76120   471134 |    25373     4915     16 |  1.323 % |
3.38/3.66	c |      5040 |     373    76120   471134 |    25373     5036     17 |  1.323 % |
3.38/3.67	c |      5174 |     373    76120   471134 |    25373     5170     17 |  1.323 % |
3.38/3.67	c |      5320 |     373    76120   471134 |    25373     5316     17 |  1.325 % |
3.38/3.68	c |      5480 |     373    76120   471134 |    25373     5476     17 |  1.323 % |
3.38/3.69	c |      5661 |     373    76120   471134 |    25373     5657     17 |  1.323 % |
3.38/3.69	c |      5855 |     373    76120   471134 |    25373     5851     17 |  1.329 % |
3.38/3.70	c |      6069 |     373    76120   471134 |    25373     6065     17 |  1.326 % |
3.38/3.71	c |      6169 |     373    76120   471134 |    25373     6165     17 |  1.323 % |
3.38/3.72	c |      6284 |     373    76120   471134 |    25373     6280     17 |  1.325 % |
3.38/3.73	c |      6408 |     373    76120   471134 |    25373     6404     17 |  1.323 % |
3.38/3.73	c |      6546 |     373    76120   471134 |    25373     6542     17 |  1.323 % |
3.38/3.74	c |      6692 |     373    76120   471134 |    25373     6688     17 |  1.323 % |
3.38/3.75	c |      6855 |     373    76120   471134 |    25373     6851     17 |  1.323 % |
3.38/3.76	c |      7031 |     373    76120   471134 |    25373     7027     18 |  1.323 % |
3.38/3.77	c |      7226 |     373    76120   471134 |    25373     7222     18 |  1.323 % |
3.38/3.78	c |      7439 |     373    76120   471134 |    25373     7435     18 |  1.330 % |
3.38/3.79	c |      7674 |     373    76120   471134 |    25373     7670     18 |  1.323 % |
3.38/3.80	c |      7775 |     373    76120   471134 |    25373     7771     18 |  1.323 % |
3.38/3.81	c |      7885 |     373    76120   471134 |    25373     7881     18 |  1.324 % |
3.38/3.81	c |      8006 |     373    76120   471134 |    25373     8002     18 |  1.323 % |
3.38/3.82	c |      8139 |     373    76120   471134 |    25373     8135     18 |  1.323 % |
3.38/3.83	c |      8286 |     373    76120   471134 |    25373     8282     18 |  1.323 % |
3.38/3.84	c |      8446 |     373    76120   471134 |    25373     8442     18 |  1.326 % |
3.38/3.85	c |      8623 |     373    76120   471134 |    25373     8619     18 |  1.323 % |
3.38/3.85	c |      8816 |     373    76120   471134 |    25373     8812     18 |  1.323 % |
3.38/3.86	c |      9029 |     373    76120   471134 |    25373     9025     18 |  1.323 % |
3.38/3.88	c |      9262 |     373    76120   471134 |    25373     9258     18 |  1.323 % |
3.38/3.89	c |      9518 |     373    76120   471134 |    25373     9514     19 |  1.323 % |
3.38/3.90	c |      9619 |     373    76120   471134 |    25373     9615     19 |  1.323 % |
3.38/3.91	c |      9729 |     373    76120   471134 |    25373     9725     19 |  1.323 % |
3.38/3.91	c |      9851 |     373    76120   471134 |    25373     9847     19 |  1.323 % |
3.38/3.92	c |      9984 |     373    76120   471134 |    25373     9980     19 |  1.323 % |
3.38/3.93	c |     10130 |     373    76120   471134 | 2147483647    10126     19 |  1.323 % |
3.38/3.93	c |     10291 |     373    76120   471134 | 2147483647    10287     19 |  1.323 % |
3.38/3.94	c |     10467 |     373    76120   471134 | 2147483647    10463     19 |  1.330 % |
3.38/3.95	c |     10660 |     373    76120   471134 | 2147483647    10656     19 |  1.330 % |
3.38/3.96	c |     10872 |     373    76120   471134 | 2147483647    10868     19 |  1.323 % |
3.38/3.97	c |     11105 |     373    76120   471134 | 2147483647    11101     19 |  1.323 % |
3.38/3.98	c |     11365 |     373    76120   471134 | 2147483647    11361     19 |  1.332 % |
3.38/4.00	c |     11647 |     373    76120   471134 | 2147483647    11643     19 |  1.323 % |
3.38/4.01	c |     11747 |     373    76120   471134 | 2147483647    11743     19 |  1.323 % |
3.38/4.02	c |     11859 |     373    76120   471134 | 2147483647    11855     19 |  1.323 % |
3.38/4.02	c |     11980 |     373    76120   471134 | 2147483647    11976     19 |  1.323 % |
3.38/4.03	c |     12114 |     373    76120   471134 | 2147483647    12110     19 |  1.323 % |
3.38/4.04	c |     12260 |     373    76120   471134 | 2147483647    12256     19 |  1.323 % |
3.38/4.05	c |     12425 |     373    76120   471134 | 2147483647    12421     19 |  1.323 % |
3.38/4.06	c |     12602 |     373    76120   471134 | 2147483647    12598     19 |  1.323 % |
3.38/4.07	c |     12799 |     373    76120   471134 | 2147483647    12795     20 |  1.330 % |
3.38/4.09	c |     13011 |     373    76120   471134 | 2147483647    13007     20 |  1.323 % |
3.38/4.10	c |     13244 |     373    76120   471134 | 2147483647    13240     20 |  1.323 % |
3.38/4.12	c |     13500 |     373    76120   471134 | 2147483647    13496     20 |  1.323 % |
3.38/4.14	c |     13781 |     373    76120   471134 | 2147483647    13777     20 |  1.323 % |
3.38/4.16	c |     14091 |     373    76120   471134 | 2147483647    14087     20 |  1.323 % |
3.38/4.17	c |     14194 |     373    76120   471134 | 2147483647    14190     20 |  1.323 % |
3.38/4.18	c |     14304 |     373    76120   471134 | 2147483647    14300     20 |  1.323 % |
3.38/4.18	c |     14425 |     373    76120   471134 | 2147483647    14421     20 |  1.323 % |
3.38/4.19	c |     14558 |     373    76120   471134 | 2147483647    14554     20 |  1.323 % |
3.38/4.20	c |     14706 |     373    76120   471134 | 2147483647    14702     20 |  1.325 % |
3.38/4.21	c |     14866 |     373    76120   471134 | 2147483647    14862     20 |  1.323 % |
3.38/4.22	c |     15044 |     373    76120   471134 | 2147483647    15040     20 |  1.324 % |
3.38/4.24	c |     15240 |     373    76120   471134 | 2147483647    15236     20 |  1.323 % |
3.38/4.25	c |     15453 |     373    76120   471134 | 2147483647    15449     20 |  1.323 % |
3.38/4.27	c |     15688 |     373    76120   471134 | 2147483647    15684     20 |  1.323 % |
3.38/4.28	c |     15951 |     373    76120   471134 | 2147483647    15947     20 |  1.330 % |
4.27/4.30	c |     16233 |     373    76120   471134 | 2147483647    16229     20 |  1.323 % |
4.27/4.32	c |     16543 |     373    76120   471134 | 2147483647    16539     20 |  1.323 % |
4.27/4.35	c |     16882 |     373    76120   471134 | 2147483647    16878     20 |  1.323 % |
4.27/4.36	c |     16983 |     373    76120   471134 | 2147483647    16979     20 |  1.323 % |
4.27/4.36	c |     17094 |     373    76120   471134 | 2147483647    17090     20 |  1.326 % |
4.27/4.38	c |     17217 |     373    76120   471134 | 2147483647    17213     20 |  1.323 % |
4.27/4.39	c |     17352 |     373    76120   471134 | 2147483647    17348     20 |  1.323 % |
4.27/4.40	c |     17499 |     373    76120   471134 | 2147483647    17495     20 |  1.323 % |
4.38/4.41	c |     17660 |     373    76120   471134 | 2147483647    17656     20 |  1.328 % |
4.38/4.43	c |     17836 |     373    76120   471134 | 2147483647    17832     20 |  1.330 % |
4.38/4.44	c |     18033 |     373    76120   471134 | 2147483647    18029     20 |  1.323 % |
4.38/4.46	c |     18245 |     373    76120   471134 | 2147483647    18241     20 |  1.323 % |
4.38/4.48	c |     18478 |     373    76120   471134 | 2147483647    18474     20 |  1.323 % |
4.38/4.49	c |     18740 |     373    76120   471134 | 2147483647    18736     20 |  1.331 % |
4.47/4.51	c |     19022 |     373    76120   471134 | 2147483647    19018     20 |  1.323 % |
4.47/4.54	c |     19333 |     373    76120   471134 | 2147483647    19329     21 |  1.323 % |
4.47/4.57	c |     19674 |     373    76120   471134 | 2147483647    19670     21 |  1.325 % |
4.47/4.58	c |     20050 |     373    76120   471134 | 2147483647    20046     21 |  1.330 % |
4.47/4.59	c |     20151 |     373    76120   471134 | 2147483647    20147     21 |  1.323 % |
4.57/4.60	c |     20262 |     373    76120   471134 | 2147483647    20258     21 |  1.323 % |
4.57/4.61	c |     20383 |     373    76120   471134 | 2147483647    20379     21 |  1.330 % |
4.57/4.62	c |     20517 |     373    76120   471134 | 2147483647    20513     21 |  1.323 % |
4.57/4.63	c |     20663 |     373    76120   471134 | 2147483647    20659     21 |  1.323 % |
4.57/4.65	c |     20824 |     373    76120   471134 | 2147483647    20820     21 |  1.323 % |
4.57/4.66	c |     21000 |     373    76120   471134 | 2147483647    20996     21 |  1.325 % |
4.57/4.67	c |     21194 |     373    76120   471134 | 2147483647    21190     21 |  1.324 % |
4.57/4.69	c |     21406 |     373    76120   471134 | 2147483647    21402     21 |  1.323 % |
4.67/4.70	c |     21639 |     373    76120   471134 | 2147483647    21635     21 |  1.323 % |
4.67/4.73	c |     21896 |     373    76120   471134 | 2147483647    21892     21 |  1.323 % |
4.67/4.74	c |     22178 |     373    76120   471134 | 2147483647    22174     21 |  1.323 % |
4.67/4.76	c |     22487 |     373    76120   471134 | 2147483647    22483     21 |  1.323 % |
4.67/4.79	c |     22826 |     373    76120   471134 | 2147483647    22822     20 |  1.323 % |
4.77/4.81	c |     23204 |     373    76120   471134 | 2147483647    23200     21 |  1.323 % |
4.77/4.84	c |     23613 |     373    76120   471134 | 2147483647    23609     21 |  1.323 % |
4.77/4.85	c |     23713 |     373    76120   471134 | 2147483647    23709     21 |  1.323 % |
4.77/4.86	c |     23824 |     373    76120   471134 | 2147483647    23820     21 |  1.323 % |
4.77/4.87	c |     23945 |     372    76120   471134 | 2147483647    23940     21 |  1.588 % |
4.77/4.88	c |     24080 |     372    76120   471134 | 2147483647    24075     21 |  1.588 % |
4.87/4.90	c |     24228 |     372    76120   471134 | 2147483647    24223     21 |  1.588 % |
4.87/4.92	c |     24388 |     371    76120   471134 | 2147483647    24382     21 |  1.853 % |
4.87/4.93	c |     24564 |     371    76120   471134 | 2147483647    24558     21 |  1.853 % |
4.87/4.96	c |     24757 |     371    76120   471134 | 2147483647    24751     21 |  1.853 % |
4.87/4.97	c |     24969 |     371    76120   471134 | 2147483647    24963     21 |  1.854 % |
4.87/4.99	c |     25202 |     371    76120   471134 | 2147483647    25196     21 |  1.853 % |
4.97/5.01	c |     25458 |     371    76120   471134 | 2147483647    25452     21 |  1.854 % |
4.97/5.04	c |     25739 |     371    76120   471134 | 2147483647    25733     21 |  1.857 % |
4.97/5.06	c |     26050 |     371    76120   471134 | 2147483647    26044     21 |  1.860 % |
5.07/5.10	c |     26389 |     370    76120   471134 | 2147483647    26382     21 |  2.123 % |
5.07/5.13	c |     26762 |     370    76120   471134 | 2147483647    26755     21 |  2.121 % |
5.07/5.16	c |     27172 |     370    76120   471134 | 2147483647    27165     21 |  2.117 % |
5.17/5.20	c |     27623 |     370    76120   471134 | 2147483647    27616     21 |  2.117 % |
5.17/5.21	c |     27724 |     370    76120   471134 | 2147483647    27717     21 |  2.117 % |
5.17/5.22	c |     27835 |     370    76120   471134 | 2147483647    27828     21 |  2.117 % |
5.17/5.23	c |     27956 |     370    76120   471134 | 2147483647    27949     21 |  2.117 % |
5.17/5.25	c |     28090 |     370    76120   471134 | 2147483647    28083     21 |  2.121 % |
5.17/5.27	c |     28236 |     370    76120   471134 | 2147483647    28229     21 |  2.117 % |
5.17/5.28	c |     28397 |     370    76120   471134 | 2147483647    28390     21 |  2.117 % |
5.27/5.30	c |     28573 |     370    76120   471134 | 2147483647    28566     21 |  2.123 % |
5.27/5.33	c |     28766 |     370    76120   471134 | 2147483647    28759     21 |  2.117 % |
5.27/5.35	c |     28981 |     370    76120   471134 | 2147483647    28974     21 |  2.117 % |
5.27/5.38	c |     29215 |     370    76120   471134 | 2147483647    29208     21 |  2.117 % |
5.37/5.40	c |     29474 |     370    76120   471134 | 2147483647    29467     21 |  2.117 % |
5.37/5.43	c |     29755 |     370    76120   471134 | 2147483647    29748     21 |  2.122 % |
5.37/5.46	c |     30065 |     370    76120   471134 | 2147483647    30058     21 |  2.117 % |
5.37/5.49	c |     30404 |     370    76120   471134 | 2147483647    30397     21 |  2.117 % |
5.47/5.53	c |     30777 |     370    76120   471134 | 2147483647    30770     22 |  2.117 % |
5.47/5.57	c |     31186 |     370    76120   471134 | 2147483647    31179     22 |  2.117 % |
5.56/5.62	c |     31636 |     370    76120   471134 | 2147483647    31629     22 |  2.117 % |
5.56/5.66	c |     32129 |     370    76120   471134 | 2147483647    32122     22 |  2.119 % |
5.56/5.68	c |     32230 |     370    76120   471134 | 2147483647    32223     22 |  2.121 % |
5.56/5.69	c |     32340 |     370    76120   471134 | 2147483647    32333     22 |  2.117 % |
5.66/5.70	c |     32462 |     370    76120   471134 | 2147483647    32455     22 |  2.117 % |
5.66/5.71	c |     32596 |     370    76120   471134 | 2147483647    32589     22 |  2.124 % |
5.66/5.74	c |     32742 |     370    76120   471134 | 2147483647    32735     22 |  2.117 % |
5.66/5.75	c |     32902 |     370    76120   471134 | 2147483647    32895     22 |  2.117 % |
5.66/5.77	c |     33082 |     370    76120   471134 | 2147483647    33075     22 |  2.117 % |
5.76/5.80	c |     33276 |     370    76120   471134 | 2147483647    33269     22 |  2.118 % |
5.76/5.82	c |     33489 |     370    76120   471134 | 2147483647    33482     22 |  2.123 % |
5.76/5.85	c |     33723 |     370    76120   471134 | 2147483647    33716     22 |  2.117 % |
5.76/5.88	c |     33979 |     370    76120   471134 | 2147483647    33972     22 |  2.117 % |
5.86/5.91	c |     34262 |     370    76120   471134 | 2147483647    34255     22 |  2.124 % |
5.86/5.95	c |     34571 |     370    76120   471134 | 2147483647    34564     22 |  2.117 % |
5.86/5.99	c |     34910 |     370    76120   471134 | 2147483647    34903     22 |  2.117 % |
5.96/6.02	c |     35282 |     370    76120   471134 | 2147483647    35275     22 |  2.117 % |
5.96/6.05	c |     35691 |     370    76120   471134 | 2147483647    35684     22 |  2.122 % |
5.96/6.09	c |     36140 |     370    76120   471134 | 2147483647    36133     22 |  2.117 % |
6.06/6.13	c |     36633 |     370    76120   471134 | 2147483647    36626     22 |  2.117 % |
6.06/6.19	c |     37176 |     370    76120   471134 | 2147483647    37169     22 |  2.117 % |
6.16/6.20	c |     37277 |     370    76120   471134 | 2147483647    37270     22 |  2.119 % |
6.16/6.21	c |     37387 |     370    76120   471134 | 2147483647    37380     22 |  2.117 % |
6.16/6.23	c |     37513 |     370    76120   471134 | 2147483647    37506     22 |  2.117 % |
6.16/6.26	c |     37646 |     370    76120   471134 | 2147483647    37639     22 |  2.117 % |
6.16/6.28	c |     37794 |     370    76120   471134 | 2147483647    37787     22 |  2.117 % |
6.26/6.30	c |     37954 |     370    76120   471134 | 2147483647    37947     22 |  2.117 % |
6.26/6.32	c |     38130 |     369    76120   471134 | 2147483647    38122     22 |  2.382 % |
6.26/6.34	c |     38323 |     369    76120   471134 | 2147483647    38315     22 |  2.388 % |
6.26/6.36	c |     38535 |     369    76120   471134 | 2147483647    38527     22 |  2.382 % |
6.26/6.40	c |     38769 |     369    76120   471134 | 2147483647    38761     22 |  2.382 % |
6.36/6.42	c |     39025 |     369    76120   471134 | 2147483647    39017     22 |  2.382 % |
6.36/6.46	c |     39306 |     369    76120   471134 | 2147483647    39298     22 |  2.382 % |
6.36/6.50	c |     39615 |     369    76120   471134 | 2147483647    39607     22 |  2.382 % |
6.47/6.53	c |     39955 |     369    76120   471134 | 2147483647    39947     22 |  2.382 % |
6.47/6.56	c |     40327 |     369    76120   471134 | 2147483647    40319     22 |  2.382 % |
6.57/6.60	c |     40736 |     369    76120   471134 | 2147483647    40728     22 |  2.382 % |
6.57/6.64	c |     41188 |     369    76120   471134 | 2147483647    41180     22 |  2.382 % |
6.57/6.69	c |     41681 |     369    76120   471134 | 2147483647    41673     22 |  2.382 % |
6.66/6.78	c |     42227 |     369    70527   440871 | 2147483647    42190     22 |  2.383 % |
6.76/6.84	c |     42824 |     368    70527   440871 | 2147483647    42786     22 |  2.646 % |
6.76/6.86	c |     42924 |     368    70527   440871 | 2147483647    42886     22 |  2.646 % |
6.76/6.87	c |     43035 |     368    70527   440871 | 2147483647    42997     22 |  2.646 % |
6.86/6.91	c |     43158 |     368    70527   440871 | 2147483647    43120     22 |  2.646 % |
6.86/6.93	c |     43291 |     368    70527   440871 | 2147483647    43253     22 |  2.646 % |
6.86/6.95	c |     43437 |     368    70527   440871 | 2147483647    43399     22 |  2.646 % |
6.86/6.97	c |     43598 |     368    70527   440871 | 2147483647    43560     22 |  2.646 % |
6.86/6.99	c |     43774 |     368    70527   440871 | 2147483647    43736     22 |  2.646 % |
6.96/7.01	c |     43967 |     368    70527   440871 | 2147483647    43929     22 |  2.646 % |
6.96/7.04	c |     44179 |     368    70527   440871 | 2147483647    44141     22 |  2.646 % |
6.96/7.07	c |     44412 |     368    70527   440871 | 2147483647    44374     22 |  2.646 % |
7.06/7.10	c |     44668 |     368    70527   440871 | 2147483647    44630     22 |  2.646 % |
7.06/7.12	c |     44949 |     368    70527   440871 | 2147483647    44911     22 |  2.646 % |
7.06/7.15	c |     45258 |     368    70527   440871 | 2147483647    45220     22 |  2.652 % |
7.06/7.19	c |     45597 |     368    70527   440871 | 2147483647    45559     22 |  2.653 % |
7.16/7.24	c |     45971 |     368    70527   440871 | 2147483647    45933     22 |  2.646 % |
7.26/7.30	c |     46380 |     368    70527   440871 | 2147483647    46342     22 |  2.646 % |
7.26/7.34	c |     46830 |     368    70527   440871 | 2147483647    46792     22 |  2.652 % |
7.36/7.40	c |     47323 |     368    70527   440871 | 2147483647    47285     22 |  2.646 % |
7.36/7.46	c |     47868 |     368    70527   440871 | 2147483647    47830     22 |  2.647 % |
7.46/7.54	c |     48464 |     368    70527   440871 | 2147483647    48426     22 |  2.646 % |
7.56/7.63	c |     49120 |     368    70527   440871 | 2147483647    49082     22 |  2.653 % |
7.56/7.65	c |     49221 |     368    70527   440871 | 2147483647    49183     22 |  2.646 % |
7.56/7.66	c |     49331 |     368    70527   440871 | 2147483647    49293     22 |  2.653 % |
7.56/7.68	c |     49452 |     368    70527   440871 | 2147483647    49414     22 |  2.646 % |
7.56/7.70	c |     49586 |     368    70527   440871 | 2147483647    49548     22 |  2.653 % |
7.66/7.72	c |     49732 |     368    70527   440871 | 2147483647    49694     22 |  2.647 % |
7.66/7.75	c |     49892 |     368    70527   440871 | 2147483647    49854     22 |  2.646 % |
7.66/7.79	c |     50069 |     368    70527   440871 | 2147483647    50031     22 |  2.653 % |
7.76/7.82	c |     50266 |     368    70527   440871 | 2147483647    50228     22 |  2.646 % |
7.76/7.85	c |     50479 |     368    70527   440871 | 2147483647    50441     22 |  2.646 % |
7.76/7.89	c |     50712 |     368    70527   440871 | 2147483647    50674     22 |  2.646 % |
7.86/7.93	c |     50973 |     368    70527   440871 | 2147483647    50935     22 |  2.647 % |
7.86/7.97	c |     51256 |     368    70527   440871 | 2147483647    51218     22 |  2.648 % |
7.96/8.00	c |     51566 |     368    70527   440871 | 2147483647    51528     22 |  2.654 % |
7.96/8.08	c |     51905 |     368    70527   440871 | 2147483647    51867     22 |  2.646 % |
8.07/8.13	c |     52277 |     368    70527   440871 | 2147483647    52239     22 |  2.646 % |
8.07/8.18	c |     52686 |     368    70527   440871 | 2147483647    52648     22 |  2.653 % |
8.16/8.24	c |     53135 |     368    70527   440871 | 2147483647    53097     22 |  2.646 % |
8.26/8.31	c |     53628 |     368    70527   440871 | 2147483647    53590     22 |  2.646 % |
8.26/8.36	c |     54170 |     368    70527   440871 | 2147483647    54132     22 |  2.646 % |
8.36/8.43	c |     54767 |     368    70527   440871 | 2147483647    54729     22 |  2.646 % |
8.46/8.53	c |     55423 |     368    70527   440871 | 2147483647    55385     22 |  2.653 % |
8.56/8.61	c |     56143 |     368    70527   440871 | 2147483647    56105     22 |  2.646 % |
8.56/8.63	c |     56243 |     368    70527   440871 | 2147483647    56205     22 |  2.646 % |
8.56/8.65	c |     56354 |     368    70527   440871 | 2147483647    56316     22 |  2.653 % |
8.56/8.68	c |     56476 |     368    70527   440871 | 2147483647    56438     22 |  2.651 % |
8.56/8.70	c |     56609 |     368    70527   440871 | 2147483647    56571     22 |  2.646 % |
8.66/8.71	c |     56755 |     368    70527   440871 | 2147483647    56717     22 |  2.646 % |
8.66/8.74	c |     56916 |     368    70527   440871 | 2147483647    56878     22 |  2.646 % |
8.66/8.77	c |     57094 |     368    70527   440871 | 2147483647    57056     22 |  2.646 % |
8.76/8.82	c |     57290 |     368    70527   440871 | 2147483647    57252     22 |  2.646 % |
8.76/8.87	c |     57502 |     368    70527   440871 | 2147483647    57464     22 |  2.646 % |
8.86/8.94	c |     57736 |     368    70527   440871 | 2147483647    57698     22 |  2.646 % |
8.86/8.98	c |     57992 |     368    70527   440871 | 2147483647    57954     22 |  2.646 % |
8.96/9.03	c |     58275 |     368    70527   440871 | 2147483647    58237     22 |  2.646 % |
8.96/9.09	c |     58584 |     368    70527   440871 | 2147483647    58546     22 |  2.646 % |
9.06/9.17	c |     58923 |     368    70527   440871 | 2147483647    58885     22 |  2.646 % |
9.16/9.25	c |     59295 |     368    70527   440871 | 2147483647    59257     22 |  2.653 % |
9.26/9.32	c |     59705 |     368    70527   440871 | 2147483647    59667     22 |  2.653 % |
9.26/9.39	c |     60154 |     368    70527   440871 | 2147483647    60116     22 |  2.646 % |
9.35/9.47	c |     60648 |     368    70527   440871 | 2147483647    60610     22 |  2.653 % |
9.45/9.58	c |     61192 |     368    70527   440871 | 2147483647    61154     22 |  2.651 % |
9.55/9.69	c |     61791 |     368    70527   440871 | 2147483647    61753     22 |  2.646 % |
9.65/9.79	c |     62446 |     368    70527   440871 | 2147483647    62408     22 |  2.646 % |
9.76/9.89	c |     63166 |     368    70527   440871 | 2147483647    63128     22 |  2.646 % |
9.95/10.04	c |     63958 |     368    70527   440871 | 2147483647    63920     22 |  2.653 % |
9.95/10.06	c |     64060 |     368    70527   440871 | 2147483647    64022     22 |  2.646 % |
10.05/10.10	c |     64170 |     368    70527   440871 | 2147483647    64132     22 |  2.647 % |
10.05/10.12	c |     64292 |     368    70527   440871 | 2147483647    64254     22 |  2.646 % |
10.05/10.15	c |     64430 |     368    70527   440871 | 2147483647    64392     22 |  2.646 % |
10.05/10.19	c |     64579 |     368    70527   440871 | 2147483647    64541     22 |  2.646 % |
10.15/10.22	c |     64739 |     368    70527   440871 | 2147483647    64701     22 |  2.646 % |
10.15/10.25	c |     64916 |     368    70527   440871 | 2147483647    64878     22 |  2.646 % |
10.15/10.28	c |     65110 |     368    70527   440871 | 2147483647    65072     23 |  2.646 % |
10.25/10.33	c |     65324 |     368    70527   440871 | 2147483647    65286     22 |  2.646 % |
10.25/10.36	c |     65558 |     368    70527   440871 | 2147483647    65520     23 |  2.651 % |
10.35/10.44	c |     65814 |     368    70527   440871 | 2147483647    65776     23 |  2.646 % |
10.46/10.50	c |     66095 |     368    70527   440871 | 2147483647    66057     23 |  2.646 % |
10.46/10.59	c |     66406 |     368    70527   440871 | 2147483647    66368     23 |  2.646 % |
10.56/10.69	c |     66746 |     368    70527   440871 | 2147483647    66708     23 |  2.646 % |
10.66/10.78	c |     67118 |     368    70527   440871 | 2147483647    67080     23 |  2.653 % |
10.76/10.88	c |     67527 |     368    70527   440871 | 2147483647    67489     23 |  2.646 % |
10.86/10.95	c |     67976 |     368    70527   440871 | 2147483647    67938     23 |  2.646 % |
10.96/11.05	c |     68470 |     368    70527   440871 | 2147483647    68432     23 |  2.646 % |
11.06/11.16	c |     69014 |     368    70527   440871 | 2147483647    68976     23 |  2.646 % |
11.26/11.34	c |     69611 |     368    70527   440871 | 2147483647    69573     23 |  2.646 % |
11.36/11.48	c |     70267 |     368    70527   440871 | 2147483647    70229     23 |  2.653 % |
11.46/11.56	c |     70987 |     368    70527   440871 | 2147483647    70949     23 |  2.646 % |
11.66/11.70	c |     71780 |     368    70527   440871 | 2147483647    71742     23 |  2.646 % |
11.76/11.89	c |     72653 |     368    70527   440871 | 2147483647    72615     23 |  2.646 % |
11.85/11.92	c |     72753 |     368    70527   440871 | 2147483647    72715     23 |  2.653 % |
11.85/11.95	c |     72863 |     368    70527   440871 | 2147483647    72825     23 |  2.646 % |
11.85/11.98	c |     72984 |     368    70527   440871 | 2147483647    72946     23 |  2.653 % |
11.85/12.00	c |     73118 |     368    70527   440871 | 2147483647    73080     23 |  2.646 % |
11.96/12.02	c |     73265 |     368    70527   440871 | 2147483647    73227     23 |  2.653 % |
11.96/12.05	c |     73426 |     368    70527   440871 | 2147483647    73388     23 |  2.648 % |
11.96/12.07	c |     73603 |     368    70527   440871 | 2147483647    73565     23 |  2.646 % |
12.06/12.10	c |     73796 |     368    70527   440871 | 2147483647    73758     23 |  2.653 % |
12.06/12.13	c |     74008 |     368    70527   440871 | 2147483647    73970     23 |  2.646 % |
12.15/12.23	c |     74241 |     368    70527   440871 | 2147483647    74203     23 |  2.646 % |
12.15/12.29	c |     74497 |     368    70527   440871 | 2147483647    74459     23 |  2.646 % |
12.25/12.36	c |     74779 |     368    70527   440871 | 2147483647    74741     23 |  2.647 % |
12.35/12.42	c |     75091 |     368    70527   440871 | 2147483647    75053     23 |  2.646 % |
12.45/12.53	c |     75430 |     368    70527   440871 | 2147483647    75392     23 |  2.646 % |
12.55/12.61	c |     75802 |     368    70527   440871 | 2147483647    75764     23 |  2.646 % |
12.65/12.71	c |     76211 |     368    70527   440871 | 2147483647    76173     23 |  2.646 % |
12.75/12.81	c |     76662 |     368    70527   440871 | 2147483647    76624     23 |  2.646 % |
12.85/12.93	c |     77157 |     368    70527   440871 | 2147483647    77119     23 |  2.646 % |
12.95/13.04	c |     77700 |     368    70527   440871 | 2147483647    77662     23 |  2.646 % |
13.06/13.13	c |     78296 |     368    70527   440871 | 2147483647    78258     23 |  2.646 % |
13.16/13.24	c |     78952 |     368    70527   440871 | 2147483647    78914     23 |  2.646 % |
13.35/13.41	c |     79672 |     368    70527   440871 | 2147483647    79634     24 |  2.647 % |
13.45/13.59	c |     80465 |     368    70527   440871 | 2147483647    80427     24 |  2.646 % |
13.65/13.72	c |     81336 |     368    70527   440871 | 2147483647    81298     24 |  2.647 % |
13.75/13.90	c |     82296 |     368    70527   440871 | 2147483647    82258     24 |  2.646 % |
13.85/13.93	c |     82396 |     368    70527   440871 | 2147483647    82358     24 |  2.646 % |
13.85/13.97	c |     82508 |     368    70527   440871 | 2147483647    82470     24 |  2.653 % |
13.95/14.04	c |     82629 |     368    70527   440871 | 2147483647    82591     24 |  2.646 % |
13.95/14.08	c |     82764 |     368    70527   440871 | 2147483647    82726     24 |  2.653 % |
14.05/14.13	c |     82912 |     368    70527   440871 | 2147483647    82874     24 |  2.646 % |
14.05/14.18	c |     83072 |     368    70527   440871 | 2147483647    83034     24 |  2.646 % |
14.15/14.24	c |     83248 |     368    70527   440871 | 2147483647    83210     24 |  2.647 % |
14.15/14.28	c |     83442 |     368    70527   440871 | 2147483647    83404     24 |  2.646 % |
14.15/14.30	c |     83654 |     368    70527   440871 | 2147483647    83616     24 |  2.646 % |
14.25/14.34	c |     83887 |     368    70527   440871 | 2147483647    83849     24 |  2.646 % |
14.35/14.42	c |     84147 |     368    70527   440871 | 2147483647    84109     24 |  2.646 % |
14.35/14.47	c |     84428 |     368    70527   440871 | 2147483647    84390     24 |  2.653 % |
14.45/14.54	c |     84737 |     368    70527   440871 | 2147483647    84699     24 |  2.646 % |
14.55/14.60	c |     85076 |     368    70527   440871 | 2147483647    85038     24 |  2.646 % |
14.65/14.70	c |     85448 |     368    70527   440871 | 2147483647    85410     24 |  2.646 % |
14.65/14.79	c |     85858 |     368    70527   440871 | 2147483647    85820     24 |  2.646 % |
14.85/14.92	c |     86308 |     368    70527   440871 | 2147483647    86270     24 |  2.651 % |
14.95/15.03	c |     86804 |     368    70527   440871 | 2147483647    86766     24 |  2.651 % |
15.05/15.11	c |     87348 |     368    70527   440871 | 2147483647    87310     24 |  2.646 % |
15.15/15.21	c |     87945 |     368    70527   440871 | 2147483647    87907     24 |  2.646 % |
15.25/15.34	c |     88601 |     368    70527   440871 | 2147483647    88563     24 |  2.646 % |
15.45/15.51	c |     89321 |     368    70527   440871 | 2147483647    89283     24 |  2.646 % |
15.66/15.70	c |     90115 |     368    70527   440871 | 2147483647    90077     24 |  2.646 % |
15.76/15.88	c |     90989 |     368    70527   440871 | 2147483647    90951     24 |  2.653 % |
16.05/16.10	c |     91948 |     368    70527   440871 | 2147483647    91910     24 |  2.646 % |
16.15/16.26	c |     93002 |     368    70527   440871 | 2147483647    92964     24 |  2.646 % |
16.25/16.31	c |     93103 |     368    70527   440871 | 2147483647    93065     24 |  2.646 % |
16.25/16.34	c |     93214 |     368    70527   440871 | 2147483647    93176     24 |  2.647 % |
16.25/16.37	c |     93335 |     368    70527   440871 | 2147483647    93297     24 |  2.646 % |
16.25/16.40	c |     93469 |     368    70527   440871 | 2147483647    93431     24 |  2.646 % |
16.36/16.44	c |     93615 |     368    70527   440871 | 2147483647    93577     24 |  2.646 % |
16.36/16.49	c |     93775 |     368    70527   440871 | 2147483647    93737     24 |  2.653 % |
16.46/16.53	c |     93951 |     368    70527   440871 | 2147483647    93913     24 |  2.651 % |
16.46/16.59	c |     94144 |     368    70527   440871 | 2147483647    94106     24 |  2.646 % |
16.55/16.64	c |     94357 |     368    70527   440871 | 2147483647    94319     24 |  2.646 % |
16.65/16.71	c |     94590 |     368    70527   440871 | 2147483647    94552     24 |  2.646 % |
16.75/16.82	c |     94848 |     368    70527   440871 | 2147483647    94810     24 |  2.646 % |
16.85/16.90	c |     95129 |     368    70527   440871 | 2147483647    95091     24 |  2.646 % |
16.85/16.99	c |     95441 |     368    70527   440871 | 2147483647    95403     24 |  2.646 % |
17.05/17.10	c |     95782 |     368    70527   440871 | 2147483647    95744     24 |  2.652 % |
17.15/17.21	c |     96155 |     368    70527   440871 | 2147483647    96117     24 |  2.652 % |
17.25/17.34	c |     96564 |     368    70527   440871 | 2147483647    96526     24 |  2.653 % |
17.46/17.54	c |     97013 |     368    70527   440871 | 2147483647    96975     24 |  2.647 % |
17.56/17.68	c |     97508 |     368    70527   440871 | 2147483647    97470     24 |  2.646 % |
17.85/17.93	c |     98052 |     368    70527   440871 | 2147483647    98014     24 |  2.646 % |
17.95/18.06	c |     98649 |     368    70527   440871 | 2147483647    98611     24 |  2.646 % |
18.05/18.17	c |     99304 |     368    70527   440871 | 2147483647    99266     24 |  2.646 % |
18.25/18.38	c |    100026 |     368    70527   440871 | 2147483647    99988     24 |  2.646 % |
18.65/18.73	c |    100818 |     368    70527   440871 | 2147483647   100780     24 |  2.646 % |
18.85/18.94	c |    101690 |     368    70527   440871 | 2147483647   101652     24 |  2.653 % |
19.05/19.18	c |    102650 |     368    70527   440871 | 2147483647   102612     24 |  2.646 % |
19.35/19.46	c |    103704 |     368    70527   440871 | 2147483647   103666     24 |  2.654 % |
19.95/20.03	c |    104862 |     368    70527   440871 | 2147483647   104824     24 |  2.646 % |
19.95/20.06	c |    104962 |     368    70527   440871 | 2147483647   104924     24 |  2.648 % |
20.05/20.12	c |    105072 |     368    70527   440871 | 2147483647   105034     24 |  2.651 % |
20.05/20.18	c |    105199 |     368    70527   440871 | 2147483647   105161     24 |  2.647 % |
20.15/20.23	c |    105333 |     368    70527   440871 | 2147483647   105295     24 |  2.646 % |
20.15/20.28	c |    105480 |     368    70527   440871 | 2147483647   105442     24 |  2.646 % |
20.25/20.36	c |    105641 |     368    70527   440871 | 2147483647   105603     24 |  2.646 % |
20.35/20.41	c |    105817 |     368    70527   440871 | 2147483647   105779     24 |  2.646 % |
20.35/20.49	c |    106011 |     368    70527   440871 | 2147483647   105973     24 |  2.646 % |
20.45/20.56	c |    106223 |     368    70527   440871 | 2147483647   106185     24 |  2.646 % |
20.55/20.63	c |    106461 |     368    70527   440871 | 2147483647   106423     24 |  2.646 % |
20.55/20.68	c |    106718 |     368    70527   440871 | 2147483647   106680     24 |  2.646 % |
20.65/20.72	c |    106999 |     368    70527   440871 | 2147483647   106961     24 |  2.648 % |
20.75/20.83	c |    107308 |     368    70527   440871 | 2147483647   107270     24 |  2.648 % |
20.86/20.90	c |    107647 |     368    70527   440871 | 2147483647   107609     24 |  2.646 % |
20.86/20.99	c |    108020 |     368    70527   440871 | 2147483647   107982     24 |  2.646 % |
21.05/21.16	c |    108429 |     368    70527   440871 | 2147483647   108391     24 |  2.646 % |
21.15/21.25	c |    108879 |     368    70527   440871 | 2147483647   108841     24 |  2.646 % |
21.25/21.38	c |    109372 |     368    70527   440871 | 2147483647   109334     24 |  2.646 % |
21.45/21.51	c |    109915 |     368    70527   440871 | 2147483647   109877     24 |  2.646 % |
21.55/21.63	c |    110512 |     368    70527   440871 | 2147483647   110474     24 |  2.653 % |
21.75/21.81	c |    111167 |     368    70527   440871 | 2147483647   111129     24 |  2.647 % |
21.86/21.99	c |    111890 |     368    70527   440871 | 2147483647   111852     24 |  2.646 % |
22.05/22.13	c |    112684 |     368    70527   440871 | 2147483647   112646     24 |  2.646 % |
22.25/22.34	c |    113558 |     368    70527   440871 | 2147483647   113520     24 |  2.653 % |
22.65/22.72	c |    114516 |     368    70527   440871 | 2147483647   114478     24 |  2.646 % |
23.05/23.14	c |    115570 |     368    70527   440871 | 2147483647   115532     24 |  2.646 % |
23.45/23.59	c |    116728 |     368    70527   440871 | 2147483647   116690     24 |  2.647 % |
23.95/24.04	c |    118001 |     368    70527   440871 | 2147483647   117963     24 |  2.646 % |
24.05/24.12	c |    118102 |     368    70527   440871 | 2147483647   118064     24 |  2.646 % |
24.05/24.18	c |    118212 |     368    70527   440871 | 2147483647   118174     24 |  2.646 % |
24.15/24.23	c |    118334 |     368    70527   440871 | 2147483647   118296     24 |  2.647 % |
24.15/24.29	c |    118469 |     368    70527   440871 | 2147483647   118431     24 |  2.646 % |
24.25/24.38	c |    118615 |     368    70527   440871 | 2147483647   118577     24 |  2.655 % |
24.35/24.45	c |    118775 |     368    70527   440871 | 2147483647   118737     24 |  2.650 % |
24.45/24.52	c |    118951 |     368    70527   440871 | 2147483647   118913     24 |  2.646 % |
24.45/24.58	c |    119145 |     368    70527   440871 | 2147483647   119107     24 |  2.646 % |
24.55/24.63	c |    119358 |     368    70527   440871 | 2147483647   119320     24 |  2.650 % |
24.55/24.70	c |    119592 |     368    70527   440871 | 2147483647   119554     24 |  2.646 % |
24.75/24.86	c |    119848 |     368    70527   440871 | 2147483647   119810     24 |  2.646 % |
24.85/24.99	c |    120129 |     368    70527   440871 | 2147483647   120091     24 |  2.653 % |
25.05/25.10	c |    120439 |     368    70527   440871 | 2147483647   120401     24 |  2.646 % |
25.15/25.24	c |    120779 |     368    70527   440871 | 2147483647   120741     24 |  2.647 % |
25.25/25.39	c |    121153 |     368    70527   440871 | 2147483647   121115     24 |  2.646 % |
25.45/25.58	c |    121562 |     368    70527   440871 | 2147483647   121524     24 |  2.657 % |
25.75/25.84	c |    122011 |     368    70527   440871 | 2147483647   121973     24 |  2.647 % |
25.85/25.98	c |    122505 |     368    70527   440871 | 2147483647   122467     24 |  2.646 % |
26.15/26.26	c |    123047 |     368    70527   440871 | 2147483647   123009     24 |  2.646 % |
26.35/26.42	c |    123643 |     368    70527   440871 | 2147483647   123605     24 |  2.646 % |
26.55/26.61	c |    124298 |     368    70527   440871 | 2147483647   124260     24 |  2.646 % |
26.75/26.84	c |    125018 |     368    70527   440871 | 2147483647   124980     24 |  2.646 % |
27.15/27.25	c |    125813 |     368    70527   440871 | 2147483647   125775     24 |  2.646 % |
27.45/27.59	c |    126684 |     368    70527   440871 | 2147483647   126646     24 |  2.646 % |
27.85/27.92	c |    127645 |     368    70527   440871 | 2147483647   127607     25 |  2.646 % |
28.25/28.34	c |    128701 |     368    70527   440871 | 2147483647   128663     25 |  2.653 % |
28.64/28.74	c |    129859 |     368    70527   440871 | 2147483647   129821     25 |  2.646 % |
29.24/29.38	c |    131132 |     368    70527   440871 | 2147483647   131094     25 |  2.646 % |
29.84/29.90	c |    132532 |     368    70527   440871 | 2147483647   132494     25 |  2.655 % |
29.84/29.99	c |    132632 |     368    70527   440871 | 2147483647   132594     25 |  2.646 % |
29.94/30.06	c |    132743 |     368    70527   440871 | 2147483647   132705     25 |  2.646 % |
30.04/30.12	c |    132865 |     368    70527   440871 | 2147483647   132827     25 |  2.646 % |
30.04/30.18	c |    132998 |     368    70527   440871 | 2147483647   132960     25 |  2.653 % |
30.14/30.23	c |    133146 |     368    70527   440871 | 2147483647   133108     25 |  2.646 % |
30.24/30.35	c |    133307 |     368    70527   440871 | 2147483647   133269     25 |  2.646 % |
30.34/30.42	c |    133484 |     368    70527   440871 | 2147483647   133446     25 |  2.646 % |
30.44/30.51	c |    133679 |     368    70527   440871 | 2147483647   133641     25 |  2.646 % |
30.54/30.63	c |    133891 |     368    70527   440871 | 2147483647   133853     25 |  2.651 % |
30.65/30.71	c |    134125 |     368    70527   440871 | 2147483647   134087     25 |  2.653 % |
30.75/30.80	c |    134382 |     368    70527   440871 | 2147483647   134344     25 |  2.653 % |
30.75/30.90	c |    134663 |     368    70527   440871 | 2147483647   134625     25 |  2.652 % |
30.85/30.96	c |    134972 |     368    70527   440871 | 2147483647   134934     25 |  2.646 % |
30.95/31.06	c |    135315 |     368    70527   440871 | 2147483647   135277     25 |  2.652 % |
31.25/31.31	c |    135687 |     368    69953   438178 | 2147483647   135644     25 |  2.646 % |
31.55/31.60	c |    136097 |     368    69953   438178 | 2147483647   136054     25 |  2.646 % |
31.75/31.83	c |    136550 |     368    69953   438178 | 2147483647   136507     25 |  2.647 % |
32.05/32.15	c |    137046 |     368    69953   438178 | 2147483647   137003     25 |  2.647 % |
32.35/32.42	c |    137589 |     368    69953   438178 | 2147483647   137546     25 |  2.646 % |
32.55/32.69	c |    138185 |     368    69953   438178 | 2147483647   138142     25 |  2.646 % |
32.85/32.92	c |    138843 |     368    69953   438178 | 2147483647   138800     25 |  2.653 % |
33.15/33.29	c |    139563 |     368    69953   438178 | 2147483647   139520     25 |  2.646 % |
33.65/33.71	c |    140359 |     368    69953   438178 | 2147483647   140316     25 |  2.646 % |
33.85/33.91	c |    141230 |     368    69953   438178 | 2147483647   141187     25 |  2.646 % |
34.15/34.27	c |    142191 |     368    69953   438178 | 2147483647   142148     25 |  2.653 % |
34.45/34.53	c |    143244 |     368    69953   438178 | 2147483647   143201     25 |  2.646 % |
34.75/34.89	c |    144404 |     368    69953   438178 | 2147483647   144361     25 |  2.646 % |
35.24/35.37	c |    145679 |     368    69953   438178 | 2147483647   145636     25 |  2.647 % |
35.94/36.05	c |    147079 |     368    69953   438178 | 2147483647   147036     25 |  2.647 % |
36.74/36.84	c |    148619 |     368    69953   438178 | 2147483647   148576     25 |  2.647 % |
36.84/36.90	c |    148719 |     368    69953   438178 | 2147483647   148676     25 |  2.646 % |
36.84/36.97	c |    148829 |     368    69953   438178 | 2147483647   148786     25 |  2.646 % |
36.94/37.05	c |    148950 |     368    69953   438178 | 2147483647   148907     25 |  2.653 % |
37.04/37.12	c |    149087 |     368    69953   438178 | 2147483647   149044     25 |  2.650 % |
37.14/37.26	c |    149233 |     368    69953   438178 | 2147483647   149190     25 |  2.646 % |
37.34/37.41	c |    149393 |     368    69953   438178 | 2147483647   149350     25 |  2.651 % |
37.34/37.47	c |    149570 |     368    69953   438178 | 2147483647   149527     25 |  2.651 % |
37.54/37.61	c |    149764 |     368    69953   438178 | 2147483647   149721     25 |  2.646 % |
37.54/37.69	c |    149980 |     368    69953   438178 | 2147483647   149937     25 |  2.646 % |
37.64/37.79	c |    150213 |     368    69953   438178 | 2147483647   150170     25 |  2.646 % |
37.74/37.87	c |    150470 |     368    69953   438178 | 2147483647   150427     25 |  2.646 % |
37.94/38.01	c |    150753 |     368    69953   438178 | 2147483647   150710     25 |  2.647 % |
38.04/38.13	c |    151063 |     368    69953   438178 | 2147483647   151020     25 |  2.646 % |
38.24/38.35	c |    151402 |     368    69953   438178 | 2147483647   151359     25 |  2.647 % |
38.44/38.54	c |    151774 |     368    69953   438178 | 2147483647   151731     25 |  2.646 % |
38.64/38.70	c |    152184 |     368    69953   438178 | 2147483647   152141     25 |  2.646 % |
38.84/38.93	c |    152634 |     368    69953   438178 | 2147483647   152591     25 |  2.646 % |
39.04/39.14	c |    153130 |     368    69953   438178 | 2147483647   153087     25 |  2.646 % |
39.14/39.26	c |    153672 |     368    69953   438178 | 2147483647   153629     25 |  2.646 % |
39.34/39.47	c |    154269 |     368    69953   438178 | 2147483647   154226     25 |  2.647 % |
39.54/39.68	c |    154925 |     368    69953   438178 | 2147483647   154882     25 |  2.646 % |
39.84/39.97	c |    155645 |     368    69953   438178 | 2147483647   155602     25 |  2.646 % |
40.04/40.18	c |    156440 |     368    69953   438178 | 2147483647   156397     25 |  2.646 % |
40.34/40.41	c |    157311 |     368    69953   438178 | 2147483647   157268     25 |  2.653 % |
40.84/40.93	c |    158269 |     368    69953   438178 | 2147483647   158226     25 |  2.646 % |
41.24/41.32	c |    159322 |     368    69953   438178 | 2147483647   159279     25 |  2.646 % |
41.65/41.73	c |    160480 |     368    69953   438178 | 2147483647   160437     25 |  2.646 % |
42.14/42.30	c |    161753 |     368    69953   438178 | 2147483647   161710     25 |  2.646 % |
42.75/42.90	c |    163153 |     368    69953   438178 | 2147483647   163110     25 |  2.646 % |
43.44/43.53	c |    164693 |     368    69953   438178 | 2147483647   164650     25 |  2.646 % |
44.24/44.33	c |    166388 |     368    69953   438178 | 2147483647   166345     25 |  2.646 % |
44.24/44.37	c |    166489 |     368    69953   438178 | 2147483647   166446     25 |  2.646 % |
44.34/44.42	c |    166603 |     368    69953   438178 | 2147483647   166560     25 |  2.646 % |
44.34/44.47	c |    166724 |     368    69953   438178 | 2147483647   166681     25 |  2.648 % |
44.44/44.52	c |    166857 |     368    69953   438178 | 2147483647   166814     25 |  2.646 % |
44.44/44.56	c |    167003 |     368    69953   438178 | 2147483647   166960     25 |  2.646 % |
44.54/44.68	c |    167164 |     368    69953   438178 | 2147483647   167121     25 |  2.646 % |
44.64/44.74	c |    167342 |     368    69953   438178 | 2147483647   167299     25 |  2.646 % |
44.74/44.80	c |    167536 |     368    69953   438178 | 2147483647   167493     25 |  2.646 % |
44.84/44.91	c |    167748 |     368    69953   438178 | 2147483647   167705     25 |  2.646 % |
44.84/44.95	c |    167982 |     368    69953   438178 | 2147483647   167939     25 |  2.646 % |
44.94/45.09	c |    168238 |     368    69953   438178 | 2147483647   168195     25 |  2.646 % |
45.14/45.24	c |    168520 |     368    69953   438178 | 2147483647   168477     25 |  2.653 % |
45.34/45.42	c |    168830 |     368    69953   438178 | 2147483647   168787     25 |  2.646 % |
45.54/45.60	c |    169170 |     368    69953   438178 | 2147483647   169127     25 |  2.647 % |
45.74/45.83	c |    169542 |     368    69953   438178 | 2147483647   169499     25 |  2.647 % |
46.24/46.31	c |    169953 |     368    69953   438178 | 2147483647   169910     25 |  2.647 % |
46.44/46.52	c |    170402 |     368    69953   438178 | 2147483647   170359     25 |  2.646 % |
46.64/46.75	c |    170899 |     368    69953   438178 | 2147483647   170856     25 |  2.646 % |
46.84/46.98	c |    171442 |     368    69953   438178 | 2147483647   171399     25 |  2.646 % |
47.24/47.36	c |    172040 |     368    69953   438178 | 2147483647   171997     26 |  2.647 % |
47.64/47.76	c |    172695 |     368    69953   438178 | 2147483647   172652     26 |  2.646 % |
47.94/48.04	c |    173415 |     368    69953   438178 | 2147483647   173372     26 |  2.646 % |
48.54/48.66	c |    174207 |     368    69953   438178 | 2147483647   174164     26 |  2.653 % |
49.14/49.26	c |    175079 |     368    69953   438178 | 2147483647   175036     26 |  2.647 % |
49.74/49.87	c |    176039 |     368    69953   438178 | 2147483647   175996     26 |  2.646 % |
50.34/50.41	c |    177092 |     368    69953   438178 | 2147483647   177049     26 |  2.646 % |
51.14/51.27	c |    178250 |     368    69953   438178 | 2147483647   178207     26 |  2.646 % |
51.54/51.68	c |    179524 |     368    69953   438178 | 2147483647   179481     26 |  2.646 % |
52.34/52.44	c |    180924 |     368    69953   438178 | 2147483647   180881     26 |  2.646 % |
52.74/52.83	c |    182465 |     368    69953   438178 | 2147483647   182422     26 |  2.651 % |
53.34/53.45	c |    184160 |     368    69953   438178 | 2147483647   184117     26 |  2.646 % |
53.93/54.06	c |    186023 |     368    69953   438178 | 2147483647   185980     26 |  2.646 % |
54.03/54.18	c |    186123 |     368    69953   438178 | 2147483647   186080     26 |  2.646 % |
54.13/54.27	c |    186234 |     368    69953   438178 | 2147483647   186191     26 |  2.646 % |
54.23/54.36	c |    186356 |     368    69953   438178 | 2147483647   186313     26 |  2.646 % |
54.33/54.44	c |    186489 |     368    69953   438178 | 2147483647   186446     26 |  2.653 % |
54.43/54.50	c |    186636 |     368    69953   438178 | 2147483647   186593     26 |  2.646 % |
54.53/54.62	c |    186798 |     368    69953   438178 | 2147483647   186755     26 |  2.646 % |
54.53/54.69	c |    186975 |     368    69953   438178 | 2147483647   186932     26 |  2.651 % |
54.73/54.81	c |    187169 |     368    69953   438178 | 2147483647   187126     26 |  2.650 % |
54.73/54.87	c |    187381 |     368    69953   438178 | 2147483647   187338     26 |  2.646 % |
54.84/54.94	c |    187616 |     368    69953   438178 | 2147483647   187573     26 |  2.646 % |
54.84/54.97	c |    187872 |     368    69953   438178 | 2147483647   187829     26 |  2.646 % |
54.94/55.07	c |    188153 |     368    69953   438178 | 2147483647   188110     26 |  2.646 % |
55.03/55.17	c |    188466 |     368    69953   438178 | 2147483647   188423     26 |  2.650 % |
55.33/55.42	c |    188808 |     368    69953   438178 | 2147483647   188765     26 |  2.646 % |
55.63/55.73	c |    189182 |     368    69953   438178 | 2147483647   189139     26 |  2.646 % |
55.83/55.92	c |    189594 |     368    69953   438178 | 2147483647   189551     26 |  2.647 % |
56.13/56.24	c |    190043 |     368    69953   438178 | 2147483647   190000     26 |  2.646 % |
56.53/56.69	c |    190536 |     368    69953   438178 | 2147483647   190493     26 |  2.646 % |
56.93/57.01	c |    191079 |     368    69953   438178 | 2147483647   191036     26 |  2.646 % |
57.33/57.45	c |    191675 |     368    69953   438178 | 2147483647   191632     26 |  2.646 % |
57.73/57.81	c |    192330 |     368    69953   438178 | 2147483647   192287     26 |  2.646 % |
58.03/58.12	c |    193050 |     368    69953   438178 | 2147483647   193007     26 |  2.651 % |
58.54/58.64	c |    193843 |     368    69953   438178 | 2147483647   193800     26 |  2.646 % |
59.04/59.12	c |    194716 |     368    69953   438178 | 2147483647   194673     26 |  2.646 % |
60.04/60.18	c |    195674 |     368    69953   438178 | 2147483647   195631     26 |  2.653 % |
61.14/61.22	c |    196730 |     368    69953   438178 | 2147483647   196687     26 |  2.646 % |
62.54/62.68	c |    197891 |     368    69953   438178 | 2147483647   197848     26 |  2.646 % |
64.03/64.13	c |    199164 |     368    69953   438178 | 2147483647   199121     26 |  2.646 % |
65.94/66.04	c |    200565 |     368    69953   438178 |   199958   167673     26 |  2.651 % |
66.73/66.82	c |    202105 |     368    69953   438178 |   199958   169213     26 |  2.646 % |
67.53/67.64	c |    203800 |     368    69953   438178 |   199958   170908     26 |  2.646 % |
68.53/68.64	c |    205664 |     368    69953   438178 |   199958   172772     26 |  2.646 % |
69.93/70.04	c |    207714 |     368    69953   438178 |   199958   174822     26 |  2.651 % |
70.03/70.10	c |    207814 |     368    69953   438178 |   199958   174922     26 |  2.646 % |
70.03/70.19	c |    207924 |     368    69953   438178 |   199958   175032     26 |  2.646 % |
70.24/70.31	c |    208046 |     368    69953   438178 |   199958   175154     26 |  2.646 % |
70.34/70.44	c |    208179 |     368    69953   438178 |   199958   175287     26 |  2.646 % |
70.43/70.53	c |    208325 |     368    69953   438178 |   199958   175433     26 |  2.646 % |
70.53/70.68	c |    208486 |     368    69953   438178 |   199958   175594     26 |  2.646 % |
70.63/70.76	c |    208662 |     368    69953   438178 |   199958   175770     26 |  2.646 % |
70.73/70.86	c |    208857 |     368    69953   438178 |   199958   175965     26 |  2.646 % |
70.83/70.96	c |    209072 |     368    69953   438178 |   199958   176180     26 |  2.646 % |
71.03/71.17	c |    209307 |     368    69953   438178 |   199958   176415     26 |  2.646 % |
71.13/71.29	c |    209564 |     368    69953   438178 |   199958   176672     26 |  2.646 % |
71.44/71.59	c |    209845 |     368    69953   438178 |   199958   176953     26 |  2.647 % |
71.63/71.75	c |    210155 |     368    69953   438178 | 2147483647   177263     26 |  2.646 % |
71.93/72.00	c |    210495 |     368    69953   438178 | 2147483647   177603     26 |  2.646 % |
72.03/72.15	c |    210867 |     368    69953   438178 | 2147483647   177975     26 |  2.646 % |
72.23/72.39	c |    211276 |     368    69953   438178 | 2147483647   178384     26 |  2.650 % |
72.54/72.67	c |    211725 |     368    69953   438178 | 2147483647   178833     26 |  2.646 % |
72.93/73.02	c |    212218 |     368    69953   438178 | 2147483647   179326     26 |  2.646 % |
73.23/73.33	c |    212760 |     368    69953   438178 | 2147483647   179868     26 |  2.646 % |
73.54/73.66	c |    213356 |     368    69953   438178 | 2147483647   180464     26 |  2.646 % |
74.33/74.49	c |    214013 |     368    69953   438178 | 2147483647   181121     26 |  2.651 % |
74.73/74.87	c |    214733 |     368    69953   438178 | 2147483647   181841     26 |  2.646 % |
75.23/75.31	c |    215528 |     368    69953   438178 | 2147483647   182636     26 |  2.646 % |
75.74/75.88	c |    216399 |     368    69953   438178 | 2147483647   183507     26 |  2.646 % |
76.23/76.35	c |    217357 |     368    69953   438178 | 2147483647   184465     26 |  2.646 % |
76.83/76.93	c |    218411 |     368    69953   438178 | 2147483647   185519     26 |  2.655 % |
77.23/77.32	c |    219570 |     368    69953   438178 | 2147483647   186678     26 |  2.646 % |
78.33/78.42	c |    220843 |     368    69953   438178 |   187108   167483     26 |  2.646 % |
78.83/78.91	c |    222245 |     368    69953   438178 |   187108   168885     26 |  2.646 % |
79.73/79.84	c |    223785 |     368    69953   438178 |   187108   170425     26 |  2.646 % |
80.13/80.26	c |    225480 |     368    69953   438178 |   187108   172120     26 |  2.650 % |
80.83/80.95	c |    227344 |     368    69953   438178 |   187108   173984     26 |  2.646 % |
81.33/81.46	c |    229393 |     368    69953   438178 |   187108   176033     26 |  2.650 % |
82.13/82.28	c |    231646 |     368    69953   438178 | 2147483647   178286     26 |  2.646 % |
82.23/82.32	c |    231746 |     368    69953   438178 | 2147483647   178386     26 |  2.646 % |
82.23/82.37	c |    231857 |     368    69953   438178 | 2147483647   178497     26 |  2.646 % |
82.23/82.40	c |    231980 |     368    69953   438178 | 2147483647   178620     26 |  2.646 % |
82.33/82.49	c |    232113 |     368    69953   438178 | 2147483647   178753     26 |  2.646 % |
82.43/82.57	c |    232261 |     368    69953   438178 | 2147483647   178901     26 |  2.646 % |
82.53/82.65	c |    232423 |     368    69953   438178 | 2147483647   179063     26 |  2.646 % |
82.63/82.74	c |    232603 |     368    69953   438178 | 2147483647   179243     26 |  2.655 % |
82.73/82.83	c |    232796 |     368    69953   438178 | 2147483647   179436     26 |  2.646 % |
82.73/82.89	c |    233009 |     368    69953   438178 | 2147483647   179649     26 |  2.653 % |
83.03/83.15	c |    233244 |     368    69953   438178 | 2147483647   179884     26 |  2.646 % |
83.13/83.29	c |    233501 |     368    69953   438178 | 2147483647   180141     26 |  2.646 % |
83.43/83.58	c |    233791 |     368    69953   438178 | 2147483647   180431     27 |  2.646 % |
83.53/83.69	c |    234101 |     368    69953   438178 | 2147483647   180741     27 |  2.646 % |
83.73/83.90	c |    234440 |     368    69953   438178 | 2147483647   181080     27 |  2.646 % |
83.93/84.06	c |    234815 |     368    69953   438178 | 2147483647   181455     27 |  2.653 % |
84.23/84.34	c |    235224 |     368    69953   438178 | 2147483647   181864     27 |  2.646 % |
84.53/84.63	c |    235673 |     368    69953   438178 | 2147483647   182313     27 |  2.646 % |
84.72/84.89	c |    236166 |     368    69953   438178 | 2147483647   182806     27 |  2.646 % |
85.22/85.30	c |    236711 |     368    69953   438178 | 2147483647   183351     27 |  2.646 % |
85.52/85.65	c |    237307 |     368    69953   438178 | 2147483647   183947     27 |  2.646 % |
85.92/86.01	c |    237963 |     368    69953   438178 | 2147483647   184603     27 |  2.646 % |
86.12/86.29	c |    238685 |     366    69953   438178 | 2147483647   185324     26 |  3.175 % |
86.62/86.74	c |    239478 |     366    69953   438178 | 2147483647   186117     26 |  3.175 % |
87.02/87.18	c |    240349 |     366    69953   438178 | 2147483647   186988     26 |  3.175 % |
87.42/87.50	c |    241307 |     366    69953   438178 | 2147483647   187946     27 |  3.175 % |
87.93/88.02	c |    242360 |     366    69953   438178 | 2147483647   188999     26 |  3.175 % |
88.32/88.41	c |    243519 |     366    69953   438178 | 2147483647   190158     27 |  3.175 % |
89.22/89.33	c |    244792 |     366    69953   438178 | 2147483647   191431     27 |  3.175 % |
89.82/89.95	c |    246192 |     366    69953   438178 | 2147483647   192831     27 |  3.175 % |
90.52/90.61	c |    247734 |     366    69953   438178 | 2147483647   194373     27 |  3.175 % |
91.52/91.66	c |    249430 |     366    69953   438178 | 2147483647   196069     27 |  3.175 % |
92.12/92.23	c |    251293 |     366    69953   438178 | 2147483647   197932     27 |  3.175 % |
93.02/93.19	c |    253343 |     366    69953   438178 | 2147483647   199982     27 |  3.175 % |
94.12/94.22	c |    255598 |     366    69953   438178 | 2147483647   202237     27 |  3.175 % |
95.83/95.97	c |    258078 |     366    69953   438178 | 2147483647   204717     27 |  3.175 % |
95.93/96.03	c |    258178 |     366    69953   438178 | 2147483647   204817     27 |  3.176 % |
96.03/96.12	c |    258288 |     366    69953   438178 | 2147483647   204927     27 |  3.175 % |
96.13/96.20	c |    258409 |     366    69953   438178 | 2147483647   205048     27 |  3.175 % |
96.13/96.28	c |    258542 |     366    69953   438178 | 2147483647   205181     27 |  3.182 % |
96.42/96.51	c |    258688 |     366    69953   438178 | 2147483647   205327     27 |  3.176 % |
96.52/96.64	c |    258849 |     366    69953   438178 | 2147483647   205488     27 |  3.182 % |
96.63/96.78	c |    259026 |     366    69953   438178 | 2147483647   205665     27 |  3.175 % |
96.82/96.92	c |    259219 |     366    69953   438178 | 2147483647   205858     27 |  3.176 % |
96.92/97.04	c |    259431 |     366    69953   438178 | 2147483647   206070     27 |  3.175 % |
97.02/97.16	c |    259664 |     366    69953   438178 | 2147483647   206303     27 |  3.175 % |
97.12/97.30	c |    259922 |     366    69953   438178 | 2147483647   206561     27 |  3.175 % |
97.32/97.45	c |    260203 |     366    69953   438178 |   206640   206842     27 |  3.175 % |
98.02/98.15	c |    260513 |     366    69953   438178 |   206640   179599     27 |  3.175 % |
98.22/98.34	c |    260853 |     366    69953   438178 |   206640   179939     27 |  3.175 % |
98.42/98.53	c |    261225 |     366    69953   438178 |   206640   180311     27 |  3.175 % |
98.52/98.69	c |    261634 |     366    69953   438178 |   206640   180720     27 |  3.175 % |
98.82/98.93	c |    262084 |     366    69953   438178 |   206640   181170     27 |  3.182 % |
99.12/99.27	c |    262579 |     366    69953   438178 |   206640   181665     27 |  3.175 % |
99.42/99.57	c |    263121 |     366    69953   438178 |   206640   182207     27 |  3.175 % |
99.82/99.97	c |    263717 |     366    69953   438178 |   206640   182803     27 |  3.175 % |
100.22/100.33	c |    264374 |     366    69953   438178 |   206640   183460     27 |  3.175 % |
100.72/100.81	c |    265095 |     366    69953   438178 |   206640   184181     27 |  3.175 % |
101.42/101.58	c |    265888 |     366    69953   438178 |   206640   184974     27 |  3.175 % |
101.92/102.09	c |    266759 |     366    69953   438178 |   206640   185845     27 |  3.175 % |
102.72/102.82	c |    267717 |     366    69953   438178 |   206640   186803     27 |  3.175 % |
103.52/103.63	c |    268773 |     366    69953   438178 |   206640   187859     27 |  3.180 % |
104.42/104.57	c |    269932 |     366    69953   438178 |   206640   189018     27 |  3.183 % |
105.72/105.80	c |    271206 |     366    69953   438178 |   189086   164977     27 |  3.180 % |
106.52/106.67	c |    272607 |     366    69953   438178 |   189086   166378     27 |  3.175 % |
108.02/108.11	c |    274147 |     366    69953   438178 |   189086   167918     27 |  3.175 % |
109.52/109.64	c |    275841 |     366    69953   438178 |   189086   169612     27 |  3.175 % |
111.02/111.18	c |    277707 |     366    69953   438178 |   189086   171478     27 |  3.175 % |
112.52/112.68	c |    279758 |     366    69953   438178 |   189086   173529     27 |  3.175 % |
113.92/114.07	c |    282011 |     366    69953   438178 |   173773   154638     27 |  3.175 % |
115.11/115.20	c |    284490 |     365    69953   438178 |   173773   157116     27 |  3.440 % |
116.61/116.78	c |    287217 |     365    69953   438178 |   173773   159843     28 |  3.440 % |
116.71/116.87	c |    287319 |     365    69953   438178 |   173773   159945     28 |  3.440 % |
116.81/116.96	c |    287429 |     365    69953   438178 |   173773   160055     28 |  3.440 % |
116.91/117.05	c |    287550 |     365    69953   438178 |   173773   160176     28 |  3.446 % |
117.11/117.20	c |    287683 |     365    69953   438178 |   173773   160309     28 |  3.440 % |
117.21/117.30	c |    287829 |     365    69953   438178 |   173773   160455     28 |  3.440 % |
117.21/117.38	c |    287989 |     365    69953   438178 |   173773   160615     28 |  3.446 % |
117.31/117.45	c |    288165 |     365    69953   438178 |   173773   160791     28 |  3.446 % |
117.41/117.52	c |    288359 |     365    69953   438178 |   173773   160985     28 |  3.440 % |
117.52/117.64	c |    288572 |     365    69953   438178 |   173773   161198     28 |  3.440 % |
117.71/117.81	c |    288806 |     365    69953   438178 |   173773   161432     28 |  3.440 % |
117.81/117.97	c |    289063 |     365    69953   438178 |   173773   161689     28 |  3.441 % |
118.01/118.11	c |    289345 |     365    69953   438178 |   173773   161971     28 |  3.440 % |
118.01/118.20	c |    289660 |     365    69953   438178 |   173773   162286     28 |  3.440 % |
118.21/118.33	c |    290001 |     365    69953   438178 |   173773   162627     28 |  3.441 % |
118.41/118.55	c |    290373 |     365    69953   438178 | 2147483647   162999     28 |  3.441 % |
118.62/118.73	c |    290782 |     365    69953   438178 | 2147483647   163408     28 |  3.440 % |
118.81/118.92	c |    291233 |     365    69953   438178 | 2147483647   163859     28 |  3.440 % |
119.01/119.11	c |    291726 |     365    69953   438178 | 2147483647   164352     28 |  3.440 % |
119.31/119.48	c |    292268 |     365    69953   438178 | 2147483647   164894     28 |  3.440 % |
119.72/119.81	c |    292865 |     365    69953   438178 | 2147483647   165491     28 |  3.440 % |
120.21/120.34	c |    293521 |     365    69953   438178 | 2147483647   166147     28 |  3.440 % |
120.61/120.75	c |    294244 |     365    69953   438178 | 2147483647   166870     28 |  3.440 % |
121.21/121.30	c |    295040 |     365    69953   438178 | 2147483647   167666     28 |  3.446 % |
121.81/121.98	c |    295912 |     365    69953   438178 | 2147483647   168538     28 |  3.440 % |
122.41/122.52	c |    296870 |     365    69953   438178 | 2147483647   169496     28 |  3.440 % |
122.91/123.08	c |    297924 |     365    69953   438178 | 2147483647   170550     28 |  3.446 % |
123.51/123.60	c |    299083 |     365    69953   438178 | 2147483647   171709     28 |  3.444 % |
124.31/124.44	c |    300356 |     365    69953   438178 | 2147483647   172982     28 |  3.441 % |
125.11/125.20	c |    301757 |     365    69953   438178 | 2147483647   174383     28 |  3.440 % |
125.71/125.87	c |    303297 |     365    69953   438178 | 2147483647   175923     28 |  3.440 % |
126.61/126.73	c |    304994 |     365    69953   438178 | 2147483647   177620     28 |  3.446 % |
127.01/127.14	c |    306857 |     365    69953   438178 | 2147483647   179483     28 |  3.441 % |
127.71/127.81	c |    308906 |     365    69953   438178 | 2147483647   181532     28 |  3.443 % |
128.61/128.72	c |    311159 |     365    69953   438178 | 2147483647   183785     28 |  3.440 % |
129.81/129.93	c |    313637 |     365    69953   438178 | 2147483647   186263     28 |  3.440 % |
130.71/130.88	c |    316362 |     365    69953   438178 | 2147483647   188988     28 |  3.440 % |
132.11/132.23	c |    319359 |     365    69953   438178 | 2147483647   191985     28 |  3.440 % |
132.11/132.27	c |    319462 |     365    69953   438178 | 2147483647   192088     28 |  3.440 % |
132.21/132.32	c |    319573 |     365    69953   438178 | 2147483647   192199     28 |  3.440 % |
132.31/132.45	c |    319696 |     365    69953   438178 | 2147483647   192322     28 |  3.440 % |
132.41/132.52	c |    319829 |     365    69953   438178 | 2147483647   192455     28 |  3.440 % |
132.41/132.58	c |    319979 |     365    69953   438178 | 2147483647   192605     28 |  3.440 % |
132.51/132.68	c |    320139 |     365    69953   438178 | 2147483647   192765     28 |  3.440 % |
132.61/132.77	c |    320316 |     365    69953   438178 | 2147483647   192942     28 |  3.440 % |
132.71/132.84	c |    320509 |     365    69953   438178 | 2147483647   193135     28 |  3.440 % |
132.91/133.02	c |    320721 |     365    69953   438178 | 2147483647   193347     28 |  3.440 % |
132.91/133.07	c |    320954 |     365    69953   438178 | 2147483647   193580     28 |  3.440 % |
133.11/133.25	c |    321210 |     365    69953   438178 | 2147483647   193836     28 |  3.441 % |
133.21/133.34	c |    321491 |     365    69953   438178 | 2147483647   194117     28 |  3.440 % |
133.41/133.59	c |    321805 |     365    69953   438178 | 2147483647   194431     28 |  3.441 % |
133.51/133.69	c |    322147 |     365    69953   438178 | 2147483647   194773     28 |  3.440 % |
133.81/133.91	c |    322519 |     365    69953   438178 | 2147483647   195145     28 |  3.440 % |
134.21/134.34	c |    322928 |     365    69953   438178 | 2147483647   195554     28 |  3.441 % |
134.50/134.63	c |    323378 |     365    69953   438178 | 2147483647   196004     28 |  3.440 % |
134.80/134.94	c |    323873 |     365    69953   438178 | 2147483647   196499     28 |  3.440 % |
135.21/135.36	c |    324417 |     365    69953   438178 | 2147483647   197043     28 |  3.448 % |
135.60/135.75	c |    325014 |     365    69953   438178 | 2147483647   197640     28 |  3.446 % |
136.10/136.23	c |    325670 |     365    69953   438178 | 2147483647   198296     28 |  3.440 % |
136.50/136.68	c |    326393 |     365    69953   438178 | 2147483647   199019     28 |  3.440 % |
136.90/137.06	c |    327185 |     365    69953   438178 | 2147483647   199811     28 |  3.440 % |
137.50/137.65	c |    328056 |     365    69953   438178 | 2147483647   200682     28 |  3.440 % |
138.40/138.58	c |    329015 |     365    69953   438178 | 2147483647   201641     28 |  3.440 % |
139.50/139.63	c |    330069 |     365    69953   438178 |   202627   202695     28 |  3.440 % |
140.50/140.69	c |    331229 |     365    69953   438178 |   202627   177057     28 |  3.440 % |
141.40/141.54	c |    332502 |     365    69953   438178 |   202627   178330     28 |  3.443 % |
142.40/142.54	c |    333903 |     365    69953   438178 |   202627   179731     28 |  3.441 % |
143.20/143.39	c |    335444 |     365    69953   438178 |   202627   181272     28 |  3.440 % |
144.20/144.36	c |    337138 |     365    69953   438178 |   202627   182966     28 |  3.440 % |
145.10/145.21	c |    339001 |     365    69953   438178 |   202627   184829     28 |  3.440 % |
146.90/147.08	c |    341051 |     365    69953   438178 |   185828   164380     28 |  3.440 % |
148.50/148.61	c |    343304 |     365    69953   438178 |   185828   166633     28 |  3.441 % |
150.40/150.52	c |    345782 |     365    69953   438178 |   185828   169111     28 |  3.446 % |
152.40/152.53	c |    348507 |     365    69953   438178 |   185828   171836     28 |  3.440 % |
154.30/154.47	c |    351504 |     365    69953   438178 |   173330   157131     28 |  3.440 % |
156.69/156.84	c |    354800 |     365    69953   438178 |   173330   160427     29 |  3.440 % |
156.79/156.98	c |    354900 |     365    68748   432110 |   173330   160522     29 |  3.440 % |
156.89/157.05	c |    355012 |     365    68748   432110 |   173330   160634     29 |  3.440 % |
156.99/157.16	c |    355134 |     365    68748   432110 |   173330   160756     29 |  3.440 % |
157.10/157.26	c |    355267 |     365    68748   432110 |   173330   160889     29 |  3.440 % |
157.20/157.34	c |    355415 |     365    68748   432110 |   173330   161037     29 |  3.441 % |
157.29/157.42	c |    355577 |     365    68748   432110 |   173330   161199     29 |  3.440 % |
157.39/157.52	c |    355756 |     365    68748   432110 |   173330   161378     29 |  3.440 % |
157.49/157.69	c |    355950 |     365    68748   432110 |   173330   161572     29 |  3.440 % |
157.69/157.86	c |    356163 |     365    68748   432110 |   173330   161785     29 |  3.440 % |
157.79/157.99	c |    356396 |     365    68748   432110 |   173330   162018     29 |  3.440 % |
157.99/158.16	c |    356652 |     365    68748   432110 |   173330   162274     29 |  3.445 % |
158.20/158.37	c |    356934 |     365    68748   432110 |   173330   162556     29 |  3.451 % |
158.39/158.54	c |    357243 |     365    68748   432110 |   173330   162865     29 |  3.440 % |
158.59/158.71	c |    357582 |     365    68748   432110 |   173330   163204     29 |  3.440 % |
158.89/159.03	c |    357954 |     365    68748   432110 |   173330   163576     29 |  3.440 % |
159.09/159.27	c |    358363 |     365    68748   432110 |   173330   163985     29 |  3.446 % |
159.40/159.59	c |    358812 |     365    68748   432110 |   173330   164434     29 |  3.440 % |
159.89/160.03	c |    359305 |     365    68748   432110 |   173330   164927     29 |  3.440 % |
160.19/160.39	c |    359847 |     365    68748   432110 |   173330   165469     29 |  3.440 % |
160.39/160.59	c |    360444 |     365    68748   432110 | 2147483647   166066     29 |  3.441 % |
160.79/160.94	c |    361101 |     365    68748   432110 | 2147483647   166723     29 |  3.440 % |
161.09/161.22	c |    361823 |     365    68748   432110 | 2147483647   167445     29 |  3.440 % |
161.49/161.68	c |    362615 |     365    68748   432110 | 2147483647   168237     29 |  3.440 % |
161.79/161.99	c |    363487 |     365    68748   432110 | 2147483647   169109     29 |  3.450 % |
162.69/162.81	c |    364445 |     365    68748   432110 | 2147483647   170067     29 |  3.446 % |
163.19/163.31	c |    365500 |     365    68748   432110 | 2147483647   171122     29 |  3.440 % |
163.79/163.98	c |    366660 |     365    68748   432110 | 2147483647   172282     29 |  3.440 % |
164.29/164.46	c |    367933 |     365    68748   432110 | 2147483647   173555     29 |  3.440 % |
164.99/165.16	c |    369333 |     365    68748   432110 | 2147483647   174955     29 |  3.440 % |
165.89/166.08	c |    370875 |     365    68748   432110 | 2147483647   176497     29 |  3.440 % |
166.99/167.11	c |    372569 |     365    68748   432110 | 2147483647   178191     29 |  3.440 % |
168.59/168.76	c |    374432 |     365    68748   432110 | 2147483647   180054     29 |  3.440 % |
170.79/170.99	c |    376482 |     365    68748   432110 | 2147483647   182104     29 |  3.440 % |
172.39/172.54	c |    378735 |     365    68748   432110 | 2147483647   184357     29 |  3.440 % |
173.98/174.17	c |    381213 |     365    68748   432110 |   185623   166570     29 |  3.448 % |
176.18/176.39	c |    383939 |     365    68748   432110 |   185623   169296     29 |  3.440 % |
177.88/178.09	c |    386939 |     365    68748   432110 |   185623   172296     29 |  3.440 % |
180.48/180.65	c |    390235 |     365    68748   432110 | 2147483647   175592     29 |  3.445 % |
182.88/183.04	c |    393861 |     364    68748   432110 | 2147483647   179217     29 |  3.704 % |
182.98/183.12	c |    393961 |     364    68748   432110 | 2147483647   179317     29 |  3.712 % |
183.08/183.24	c |    394072 |     364    68748   432110 | 2147483647   179428     29 |  3.704 % |
183.18/183.33	c |    394195 |     364    68748   432110 | 2147483647   179551     29 |  3.704 % |
183.28/183.46	c |    394332 |     364    68748   432110 | 2147483647   179688     29 |  3.704 % |
183.48/183.61	c |    394478 |     364    68748   432110 | 2147483647   179834     29 |  3.704 % |
183.58/183.76	c |    394638 |     364    68748   432110 | 2147483647   179994     29 |  3.704 % |
183.68/183.85	c |    394815 |     364    68748   432110 | 2147483647   180171     29 |  3.704 % |
183.88/184.00	c |    395008 |     364    68748   432110 | 2147483647   180364     29 |  3.704 % |
184.08/184.25	c |    395221 |     364    68748   432110 | 2147483647   180577     29 |  3.704 % |
184.18/184.38	c |    395455 |     364    68748   432110 | 2147483647   180811     29 |  3.704 % |
184.38/184.53	c |    395711 |     364    68748   432110 | 2147483647   181067     29 |  3.704 % |
184.68/184.81	c |    395993 |     364    68748   432110 | 2147483647   181349     29 |  3.705 % |
184.78/184.95	c |    396302 |     364    68748   432110 | 2147483647   181658     29 |  3.709 % |
184.98/185.12	c |    396643 |     364    68748   432110 | 2147483647   181999     29 |  3.704 % |
185.18/185.31	c |    397015 |     364    68748   432110 | 2147483647   182371     29 |  3.705 % |
185.48/185.65	c |    397425 |     364    68748   432110 | 2147483647   182781     29 |  3.704 % |
185.88/186.00	c |    397874 |     364    68748   432110 | 2147483647   183230     29 |  3.704 % |
186.18/186.31	c |    398367 |     364    68748   432110 | 2147483647   183723     29 |  3.704 % |
186.48/186.65	c |    398909 |     364    68748   432110 | 2147483647   184265     29 |  3.704 % |
186.88/187.02	c |    399506 |     364    68748   432110 | 2147483647   184862     29 |  3.712 % |
187.48/187.64	c |    400161 |     364    68748   432110 |   185356   185517     29 |  3.704 % |
188.27/188.41	c |    400885 |     364    68748   432110 |   185356   165391     29 |  3.704 % |
188.57/188.75	c |    401678 |     364    68748   432110 |   185356   166184     29 |  3.705 % |
188.87/189.05	c |    402549 |     364    68748   432110 |   185356   167055     29 |  3.705 % |
189.47/189.62	c |    403507 |     364    68748   432110 |   185356   168013     29 |  3.704 % |
190.47/190.66	c |    404560 |     364    68748   432110 |   185356   169066     29 |  3.704 % |
191.28/191.44	c |    405720 |     364    68748   432110 |   185356   170226     29 |  3.704 % |
192.17/192.36	c |    406993 |     364    68748   432110 |   185356   171499     29 |  3.704 % |
193.38/193.51	c |    408393 |     364    68748   432110 |   185356   172899     29 |  3.704 % |
194.67/194.82	c |    409933 |     364    68748   432110 |   185356   174439     29 |  3.705 % |
196.07/196.28	c |    411627 |     364    68748   432110 | 2147483647   176133     29 |  3.704 % |
197.57/197.70	c |    413491 |     364    68748   432110 | 2147483647   177997     29 |  3.704 % |
199.17/199.34	c |    415540 |     364    68748   432110 | 2147483647   180046     29 |  3.704 % |
200.57/200.71	c |    417793 |     364    68748   432110 | 2147483647   182299     29 |  3.704 % |
202.47/202.62	c |    420271 |     364    68748   432110 |   184509   156461     28 |  3.704 % |
204.07/204.21	c |    422996 |     364    68748   432110 |   184509   159186     28 |  3.704 % |
205.47/205.70	c |    425995 |     364    68748   432110 |   184509   162185     28 |  3.704 % |
206.67/206.87	c |    429291 |     364    68748   432110 |   184509   165481     28 |  3.704 % |
209.37/209.53	c |    432916 |     364    68748   432110 | 2147483647   169106     28 |  3.711 % |
211.36/211.56	c |    436904 |     364    68748   432110 | 2147483647   173094     29 |  3.705 % |
211.46/211.65	c |    437008 |     364    68748   432110 | 2147483647   173198     29 |  3.704 % |
211.56/211.79	c |    437120 |     364    68748   432110 | 2147483647   173310     29 |  3.704 % |
211.76/211.91	c |    437242 |     364    68748   432110 | 2147483647   173432     29 |  3.704 % |
211.76/211.97	c |    437375 |     364    68748   432110 | 2147483647   173565     29 |  3.705 % |
211.86/212.04	c |    437521 |     364    68748   432110 | 2147483647   173711     29 |  3.704 % |
212.17/212.33	c |    437684 |     364    68748   432110 | 2147483647   173874     29 |  3.704 % |
212.36/212.51	c |    437862 |     364    68748   432110 | 2147483647   174052     29 |  3.704 % |
212.46/212.66	c |    438058 |     364    68748   432110 | 2147483647   174248     29 |  3.704 % |
212.66/212.85	c |    438271 |     364    68748   432110 | 2147483647   174461     29 |  3.705 % |
212.86/213.07	c |    438504 |     364    68748   432110 | 2147483647   174694     29 |  3.704 % |
213.06/213.29	c |    438760 |     364    68748   432110 | 2147483647   174950     29 |  3.704 % |
213.36/213.51	c |    439042 |     364    68748   432110 | 2147483647   175232     29 |  3.707 % |
213.56/213.78	c |    439352 |     364    68748   432110 | 2147483647   175542     29 |  3.704 % |
213.96/214.12	c |    439691 |     364    68748   432110 | 2147483647   175881     29 |  3.704 % |
214.26/214.41	c |    440064 |     364    68748   432110 | 2147483647   176254     29 |  3.704 % |
214.56/214.74	c |    440474 |     364    68748   432110 | 2147483647   176664     29 |  3.705 % |
214.86/215.00	c |    440923 |     364    68748   432110 | 2147483647   177113     29 |  3.704 % |
215.06/215.23	c |    441417 |     364    68748   432110 | 2147483647   177607     29 |  3.704 % |
215.26/215.48	c |    441959 |     364    68748   432110 | 2147483647   178149     29 |  3.704 % |
215.46/215.68	c |    442557 |     364    68748   432110 | 2147483647   178747     29 |  3.704 % |
215.96/216.14	c |    443212 |     364    68748   432110 | 2147483647   179402     29 |  3.704 % |
216.46/216.66	c |    443932 |     364    68748   432110 | 2147483647   180122     29 |  3.704 % |
216.96/217.14	c |    444724 |     364    68748   432110 | 2147483647   180914     29 |  3.704 % |
217.46/217.62	c |    445595 |     364    68748   432110 | 2147483647   181785     29 |  3.704 % |
218.16/218.35	c |    446553 |     364    68748   432110 | 2147483647   182743     29 |  3.704 % |
219.06/219.23	c |    447606 |     364    68748   432110 | 2147483647   183796     29 |  3.704 % |
220.16/220.35	c |    448764 |     364    68748   432110 | 2147483647   184954     29 |  3.704 % |
220.96/221.18	c |    450037 |     364    68748   432110 |   186191   186227     29 |  3.704 % |
222.46/222.65	c |    451439 |     364    68748   432110 |   186191   164768     29 |  3.704 % |
223.26/223.40	c |    452980 |     364    68748   432110 |   186191   166309     29 |  3.704 % |
223.86/224.03	c |    454674 |     364    68748   432110 |   186191   168003     29 |  3.704 % |
225.16/225.38	c |    456537 |     364    68748   432110 |   186191   169866     29 |  3.704 % |
226.86/227.06	c |    458586 |     364    68748   432110 |   186191   171915     29 |  3.704 % |
228.45/228.67	c |    460840 |     364    68748   432110 | 2147483647   174169     29 |  3.704 % |
230.15/230.37	c |    463319 |     364    68748   432110 | 2147483647   176648     29 |  3.704 % |
232.05/232.27	c |    466045 |     364    68748   432110 | 2147483647   179374     29 |  3.711 % |
234.45/234.69	c |    469043 |     364    68748   432110 | 2147483647   182372     29 |  3.704 % |
237.55/237.75	c |    472340 |     364    68748   432110 | 2147483647   185669     30 |  3.705 % |
239.85/240.02	c |    475965 |     364    68748   432110 | 2147483647   189294     30 |  3.706 % |
241.65/241.86	c |    479952 |     364    68748   432110 | 2147483647   193281     30 |  3.704 % |
244.65/244.87	c |    484338 |     364    68748   432110 | 2147483647   197667     30 |  3.704 % |
244.75/244.97	c |    484438 |     364    68748   432110 | 2147483647   197767     30 |  3.704 % |
244.95/245.10	c |    484551 |     364    68748   432110 | 2147483647   197880     30 |  3.711 % |
245.05/245.30	c |    484672 |     364    68748   432110 | 2147483647   198001     30 |  3.704 % |
245.25/245.41	c |    484805 |     364    68748   432110 | 2147483647   198134     30 |  3.705 % |
245.35/245.55	c |    484954 |     364    68748   432110 | 2147483647   198283     30 |  3.704 % |
245.55/245.72	c |    485116 |     364    68748   432110 | 2147483647   198445     30 |  3.704 % |
245.75/245.95	c |    485293 |     364    68748   432110 | 2147483647   198622     30 |  3.704 % |
245.96/246.14	c |    485486 |     364    68748   432110 | 2147483647   198815     30 |  3.704 % |
246.06/246.30	c |    485698 |     364    68748   432110 | 2147483647   199027     30 |  3.704 % |
246.36/246.57	c |    485931 |     364    68748   432110 | 2147483647   199260     30 |  3.705 % |
246.66/246.82	c |    486189 |     364    68748   432110 | 2147483647   199518     30 |  3.704 % |
246.86/247.01	c |    486470 |     364    68748   432110 | 2147483647   199799     30 |  3.704 % |
246.95/247.17	c |    486779 |     364    68748   432110 | 2147483647   200108     30 |  3.711 % |
247.15/247.35	c |    487119 |     364    68748   432110 | 2147483647   200448     30 |  3.709 % |
247.45/247.64	c |    487492 |     364    68748   432110 | 2147483647   200821     30 |  3.704 % |
247.75/247.92	c |    487902 |     364    68748   432110 | 2147483647   201231     30 |  3.704 % |
247.95/248.19	c |    488354 |     364    68748   432110 | 2147483647   201683     30 |  3.704 % |
248.36/248.51	c |    488847 |     364    68748   432110 | 2147483647   202176     30 |  3.704 % |
248.55/248.79	c |    489390 |     364    68748   432110 | 2147483647   202719     30 |  3.704 % |
248.75/248.97	c |    489986 |     364    68748   432110 | 2147483647   203315     30 |  3.704 % |
249.65/249.80	c |    490642 |     364    68748   432110 |   203329   177989     28 |  3.705 % |
249.85/250.01	c |    491362 |     364    68748   432110 |   203329   178709     29 |  3.704 % |
250.05/250.26	c |    492154 |     364    68748   432110 |   203329   179501     29 |  3.711 % |
250.35/250.58	c |    493026 |     364    68748   432110 |   203329   180373     29 |  3.704 % |
251.35/251.50	c |    493984 |     364    68748   432110 |   203329   181331     29 |  3.705 % |
251.95/252.12	c |    495037 |     364    68748   432110 |   203329   182384     29 |  3.704 % |
252.75/252.91	c |    496196 |     364    68748   432110 |   203329   183543     29 |  3.704 % |
253.55/253.70	c |    497471 |     364    68748   432110 |   203329   184818     29 |  3.705 % |
254.65/254.83	c |    498871 |     364    68748   432110 |   203329   186218     29 |  3.704 % |
255.85/256.00	c |    500413 |     364    68748   432110 |   187348   165873     28 |  3.704 % |
256.55/256.75	c |    502108 |     364    68748   432110 |   187348   167568     28 |  3.708 % |
257.55/257.72	c |    503972 |     364    68748   432110 |   187348   169432     28 |  3.704 % |
258.85/259.09	c |    506021 |     364    68748   432110 |   187348   171481     28 |  3.711 % |
260.65/260.81	c |    508275 |     364    68748   432110 |   187348   173735     29 |  3.704 % |
263.05/263.21	c |    510754 |     364    68748   432110 |   175461   157928     29 |  3.704 % |
264.34/264.59	c |    513480 |     364    68748   432110 |   175461   160654     29 |  3.704 % |
266.44/266.66	c |    516479 |     364    68748   432110 |   175461   163653     29 |  3.705 % |
268.54/268.76	c |    519776 |     364    68748   432110 |   175461   166950     29 |  3.704 % |
270.84/271.09	c |    523401 |     364    68748   432110 | 2147483647   170575     29 |  3.704 % |
274.24/274.44	c |    527388 |     364    68748   432110 | 2147483647   174562     29 |  3.704 % |
277.44/277.64	c |    531773 |     364    68748   432110 | 2147483647   178947     29 |  3.704 % |
281.84/282.08	c |    536598 |     364    68748   432110 | 2147483647   183772     30 |  3.711 % |
282.04/282.23	c |    536701 |     364    68748   432110 | 2147483647   183875     30 |  3.704 % |
282.14/282.32	c |    536812 |     364    68748   432110 | 2147483647   183986     30 |  3.704 % |
282.24/282.42	c |    536940 |     364    68748   432110 | 2147483647   184114     30 |  3.704 % |
282.34/282.51	c |    537076 |     364    68748   432110 | 2147483647   184250     30 |  3.705 % |
282.44/282.62	c |    537224 |     364    68748   432110 | 2147483647   184398     30 |  3.704 % |
282.54/282.72	c |    537385 |     364    68748   432110 | 2147483647   184559     30 |  3.704 % |
282.63/282.84	c |    537562 |     364    68748   432110 | 2147483647   184736     30 |  3.705 % |
282.83/283.09	c |    537756 |     364    68748   432110 | 2147483647   184930     30 |  3.704 % |
283.03/283.21	c |    537968 |     364    68748   432110 | 2147483647   185142     30 |  3.704 % |
283.23/283.45	c |    538202 |     364    68748   432110 | 2147483647   185376     30 |  3.705 % |
283.43/283.67	c |    538461 |     364    68748   432110 | 2147483647   185635     30 |  3.709 % |
283.64/283.84	c |    538742 |     364    68748   432110 | 2147483647   185916     30 |  3.711 % |
283.93/284.10	c |    539051 |     364    68748   432110 | 2147483647   186225     30 |  3.704 % |
284.23/284.42	c |    539390 |     364    68748   432110 | 2147483647   186564     30 |  3.704 % |
284.43/284.68	c |    539764 |     364    68748   432110 | 2147483647   186938     30 |  3.704 % |
285.13/285.39	c |    540173 |     364    68748   432110 |   187175   167758     29 |  3.704 % |
285.53/285.72	c |    540623 |     364    68748   432110 |   187175   168208     29 |  3.704 % |
285.74/285.96	c |    541117 |     364    68748   432110 |   187175   168702     29 |  3.704 % |
285.93/286.18	c |    541659 |     364    68748   432110 |   187175   169244     29 |  3.704 % |
286.23/286.40	c |    542256 |     364    68748   432110 |   187175   169841     29 |  3.704 % |
286.43/286.64	c |    542915 |     364    68748   432110 |   187175   170500     29 |  3.713 % |
286.63/286.87	c |    543635 |     364    68748   432110 |   187175   171220     29 |  3.704 % |
287.03/287.25	c |    544428 |     364    68748   432110 |   187175   172013     29 |  3.713 % |
287.33/287.58	c |    545299 |     364    68748   432110 |   187175   172884     29 |  3.704 % |
287.73/287.98	c |    546258 |     364    68748   432110 |   187175   173843     29 |  3.704 % |
288.73/288.98	c |    547311 |     364    68748   432110 |   187175   174896     29 |  3.704 % |
289.33/289.54	c |    548470 |     364    68748   432110 |   187175   176055     29 |  3.704 % |
289.93/290.11	c |    549743 |     364    68748   432110 |   187175   177328     29 |  3.704 % |
290.43/290.64	c |    551143 |     364    68748   432110 | 2147483647   178728     29 |  3.704 % |
291.13/291.35	c |    552684 |     364    68748   432110 | 2147483647   180269     29 |  3.704 % |
292.23/292.45	c |    554379 |     364    68748   432110 | 2147483647   181964     29 |  3.704 % |
293.33/293.54	c |    556243 |     364    68748   432110 | 2147483647   183828     29 |  3.704 % |
294.23/294.40	c |    558293 |     364    68748   432110 | 2147483647   185878     29 |  3.704 % |
295.33/295.56	c |    560546 |     364    68748   432110 | 2147483647   188131     29 |  3.704 % |
297.12/297.36	c |    563024 |     364    68748   432110 | 2147483647   190609     29 |  3.705 % |
299.52/299.71	c |    565751 |     364    68748   432110 | 2147483647   193336     29 |  3.704 % |
302.33/302.52	c |    568748 |     364    68748   432110 | 2147483647   196333     29 |  3.704 % |
305.82/306.03	c |    572044 |     364    68748   432110 |   197585   178384     29 |  3.704 % |
308.62/308.82	c |    575671 |     364    68748   432110 |   197585   182011     29 |  3.705 % |
312.13/312.36	c |    579660 |     364    68748   432110 |   197585   186000     30 |  3.704 % |
315.82/316.07	c |    584046 |     364    68748   432110 | 2147483647   190386     30 |  3.704 % |
320.82/321.01	c |    588871 |     364    68748   432110 | 2147483647   195211     30 |  3.704 % |
325.12/325.36	c |    594176 |     364    68748   432110 |   196340   179713     30 |  3.704 % |
325.22/325.46	c |    594276 |     364    68748   432110 |   196340   179813     30 |  3.704 % |
325.32/325.59	c |    594387 |     364    68748   432110 |   196340   179924     30 |  3.704 % |
325.42/325.67	c |    594510 |     364    68748   432110 |   196340   180047     30 |  3.704 % |
325.62/325.82	c |    594643 |     364    68748   432110 |   196340   180180     30 |  3.704 % |
325.72/325.98	c |    594793 |     364    68748   432110 |   196340   180330     30 |  3.704 % |
325.91/326.13	c |    594953 |     364    68748   432110 |   196340   180490     30 |  3.704 % |
326.11/326.32	c |    595129 |     364    68748   432110 |   196340   180666     30 |  3.704 % |
326.31/326.50	c |    595322 |     364    68748   432110 |   196340   180859     30 |  3.704 % |
326.42/326.68	c |    595534 |     364    68748   432110 |   196340   181071     30 |  3.704 % |
326.71/326.95	c |    595767 |     364    68748   432110 |   196340   181304     30 |  3.704 % |
326.91/327.19	c |    596024 |     364    68748   432110 |   196340   181561     30 |  3.704 % |
327.31/327.51	c |    596307 |     364    68748   432110 |   196340   181844     30 |  3.704 % |
327.52/327.78	c |    596616 |     364    68748   432110 |   196340   182153     30 |  3.704 % |
327.81/328.06	c |    596955 |     364    68748   432110 |   196340   182492     30 |  3.704 % |
328.11/328.35	c |    597328 |     364    68748   432110 |   196340   182865     30 |  3.704 % |
328.31/328.54	c |    597740 |     364    68748   432110 |   196340   183277     30 |  3.704 % |
328.51/328.78	c |    598192 |     364    68748   432110 |   196340   183729     30 |  3.704 % |
328.72/328.96	c |    598688 |     364    68748   432110 |   196340   184225     30 |  3.704 % |
329.01/329.21	c |    599230 |     364    68748   432110 |   196340   184767     30 |  3.704 % |
329.21/329.44	c |    599826 |     364    68748   432110 |   196340   185363     30 |  3.704 % |
330.21/330.40	c |    600482 |     364    68042   428768 |   185541   163738     29 |  3.704 % |
330.51/330.72	c |    601203 |     364    68042   428768 |   185541   164459     29 |  3.704 % |
330.71/330.96	c |    601995 |     364    68042   428768 |   185541   165251     29 |  3.704 % |
331.21/331.41	c |    602867 |     364    68042   428768 |   185541   166123     29 |  3.715 % |
331.51/331.76	c |    603826 |     364    68042   428768 |   185541   167082     29 |  3.708 % |
331.92/332.16	c |    604879 |     364    68042   428768 |   185541   168135     29 |  3.704 % |
332.61/332.86	c |    606039 |     364    68042   428768 |   185541   169295     29 |  3.704 % |
333.61/333.83	c |    607314 |     364    68042   428768 |   185541   170570     30 |  3.704 % |
334.91/335.11	c |    608714 |     364    68042   428768 |   185541   171970     30 |  3.704 % |
336.71/336.90	c |    610254 |     364    68042   428768 |   173258   153721     29 |  3.705 % |
338.01/338.28	c |    611949 |     364    68042   428768 |   173258   155416     29 |  3.709 % |
338.91/339.11	c |    613812 |     364    68042   428768 |   173258   157279     29 |  3.704 % |
339.81/340.08	c |    615861 |     364    68042   428768 |   173258   159328     29 |  3.704 % |
341.21/341.42	c |    618117 |     364    68042   428768 |   173258   161584     29 |  3.704 % |
342.31/342.57	c |    620596 |     364    68042   428768 | 2147483647   164063     29 |  3.705 % |
344.81/345.02	c |    623322 |     364    68042   428768 | 2147483647   166789     29 |  3.704 % |
347.01/347.27	c |    626324 |     364    68042   428768 | 2147483647   169791     29 |  3.704 % |
349.90/350.12	c |    629621 |     364    68042   428768 | 2147483647   173088     29 |  3.704 % |
352.10/352.38	c |    633248 |     364    68042   428768 | 2147483647   176715     29 |  3.704 % |
354.40/354.65	c |    637236 |     364    68042   428768 | 2147483647   180703     29 |  3.704 % |
355.90/356.10	c |    641621 |     364    68042   428768 | 2147483647   185088     29 |  3.704 % |
358.20/358.42	c |    646444 |     364    68042   428768 | 2147483647   189911     30 |  3.712 % |
359.90/360.13	c |    651749 |     364    68042   428768 | 2147483647   195216     30 |  3.704 % |
362.50/362.74	c |    657589 |     364    68042   428768 | 2147483647   201056     30 |  3.711 % |
362.70/362.91	c |    657689 |     364    68042   428768 | 2147483647   201156     30 |  3.704 % |
362.70/362.99	c |    657799 |     364    68042   428768 | 2147483647   201266     30 |  3.704 % |
362.80/363.09	c |    657920 |     364    68042   428768 | 2147483647   201387     30 |  3.705 % |
363.00/363.20	c |    658054 |     364    68042   428768 | 2147483647   201521     30 |  3.704 % |
363.10/363.30	c |    658200 |     364    68042   428768 | 2147483647   201667     30 |  3.704 % |
363.20/363.40	c |    658361 |     364    68042   428768 | 2147483647   201828     30 |  3.704 % |
363.30/363.50	c |    658537 |     364    68042   428768 | 2147483647   202004     30 |  3.709 % |
363.50/363.70	c |    658736 |     364    68042   428768 | 2147483647   202203     30 |  3.704 % |
363.70/363.91	c |    658949 |     364    68042   428768 | 2147483647   202416     30 |  3.704 % |
363.90/364.14	c |    659182 |     364    68042   428768 | 2147483647   202649     30 |  3.704 % |
364.10/364.33	c |    659438 |     364    68042   428768 | 2147483647   202905     30 |  3.709 % |
364.30/364.55	c |    659721 |     364    68042   428768 | 2147483647   203188     30 |  3.704 % |
364.50/364.79	c |    660031 |     364    68042   428768 |   203467   203498     30 |  3.704 % |
365.50/365.72	c |    660370 |     364    68042   428768 |   203467   180340     29 |  3.705 % |
365.70/365.95	c |    660742 |     364    68042   428768 |   203467   180712     29 |  3.704 % |
366.00/366.26	c |    661152 |     364    68042   428768 |   203467   181122     29 |  3.704 % |
366.30/366.57	c |    661601 |     364    68042   428768 |   203467   181571     29 |  3.704 % |
366.70/366.97	c |    662096 |     364    68042   428768 |   203467   182066     29 |  3.704 % |
367.20/367.41	c |    662640 |     364    68042   428768 |   203467   182610     29 |  3.704 % |
367.40/367.68	c |    663237 |     364    68042   428768 |   203467   183207     29 |  3.704 % |
367.70/367.91	c |    663892 |     364    68042   428768 |   203467   183862     29 |  3.704 % |
368.00/368.23	c |    664612 |     364    68042   428768 |   203467   184582     29 |  3.704 % |
368.60/368.80	c |    665405 |     364    68042   428768 |   203467   185375     29 |  3.704 % |
369.00/369.24	c |    666279 |     364    68042   428768 |   203467   186249     29 |  3.704 % |
370.10/370.32	c |    667237 |     364    68042   428768 |   203467   187207     29 |  3.704 % |
370.90/371.18	c |    668290 |     364    68042   428768 |   203467   188260     29 |  3.711 % |
372.20/372.40	c |    669450 |     364    68042   428768 |   203467   189420     29 |  3.704 % |
373.30/373.52	c |    670725 |     364    68042   428768 |   189971   167779     29 |  3.704 % |
374.30/374.54	c |    672125 |     364    68042   428768 |   189971   169179     29 |  3.704 % |
375.50/375.72	c |    673665 |     364    68042   428768 |   189971   170719     29 |  3.704 % |
376.60/376.88	c |    675363 |     364    68042   428768 |   189971   172417     29 |  3.704 % |
377.80/378.09	c |    677226 |     364    68042   428768 |   189971   174280     29 |  3.704 % |
378.80/379.07	c |    679275 |     364    68042   428768 |   189971   176329     29 |  3.704 % |
380.60/380.85	c |    681528 |     364    68042   428768 | 2147483647   178582     29 |  3.704 % |
382.40/382.63	c |    684007 |     364    68042   428768 | 2147483647   181061     29 |  3.704 % |
384.60/384.90	c |    686733 |     364    68042   428768 | 2147483647   183787     29 |  3.704 % |
386.80/387.00	c |    689732 |     364    68042   428768 | 2147483647   186786     29 |  3.704 % |
388.80/389.06	c |    693029 |     364    68042   428768 | 2147483647   190083     29 |  3.704 % |
391.50/391.74	c |    696655 |     364    68042   428768 | 2147483647   193709     29 |  3.704 % |
395.89/396.19	c |    700643 |     364    68042   428768 |   197054   170476     28 |  3.704 % |
399.89/400.10	c |    705029 |     364    68042   428768 |   197054   174862     28 |  3.708 % |
403.50/403.79	c |    709854 |     364    68042   428768 |   197054   179687     29 |  3.704 % |
407.99/408.21	c |    715160 |     364    68042   428768 |   179833   161364     28 |  3.705 % |
411.89/412.15	c |    720995 |     364    68042   428768 | 2147483647   167199     28 |  3.705 % |
416.69/417.00	c |    727414 |     364    68042   428768 | 2147483647   173618     29 |  3.704 % |
416.89/417.10	c |    727516 |     364    68042   428768 | 2147483647   173720     29 |  3.709 % |
416.99/417.21	c |    727626 |     364    68042   428768 | 2147483647   173830     29 |  3.704 % |
416.99/417.29	c |    727748 |     364    68042   428768 | 2147483647   173952     29 |  3.705 % |
417.09/417.40	c |    727881 |     364    68042   428768 | 2147483647   174085     29 |  3.704 % |
417.19/417.49	c |    728027 |     364    68042   428768 | 2147483647   174231     29 |  3.705 % |
417.39/417.63	c |    728188 |     364    68042   428768 | 2147483647   174392     29 |  3.704 % |
417.49/417.73	c |    728365 |     364    68042   428768 | 2147483647   174569     29 |  3.704 % |
417.59/417.83	c |    728561 |     364    68042   428768 | 2147483647   174765     29 |  3.705 % |
417.79/418.04	c |    728773 |     364    68042   428768 | 2147483647   174977     29 |  3.704 % |
417.89/418.19	c |    729006 |     364    68042   428768 | 2147483647   175210     29 |  3.711 % |
418.19/418.41	c |    729262 |     364    68042   428768 | 2147483647   175466     29 |  3.704 % |
418.29/418.53	c |    729544 |     364    68042   428768 | 2147483647   175748     29 |  3.704 % |
418.59/418.82	c |    729854 |     364    68042   428768 | 2147483647   176058     29 |  3.704 % |
418.79/419.09	c |    730193 |     364    68042   428768 | 2147483647   176397     29 |  3.704 % |
419.19/419.48	c |    730566 |     364    68042   428768 | 2147483647   176770     29 |  3.705 % |
419.59/419.84	c |    730975 |     364    68042   428768 | 2147483647   177179     29 |  3.705 % |
419.89/420.17	c |    731425 |     364    68042   428768 | 2147483647   177629     29 |  3.704 % |
420.29/420.51	c |    731918 |     364    68042   428768 | 2147483647   178122     29 |  3.716 % |
420.59/420.85	c |    732461 |     364    68042   428768 | 2147483647   178665     29 |  3.704 % |
420.99/421.24	c |    733058 |     364    68042   428768 | 2147483647   179262     29 |  3.704 % |
421.39/421.63	c |    733714 |     364    68042   428768 | 2147483647   179918     29 |  3.704 % |
421.99/422.27	c |    734435 |     364    68042   428768 | 2147483647   180639     29 |  3.704 % |
422.59/422.88	c |    735227 |     364    68042   428768 | 2147483647   181431     29 |  3.704 % |
423.39/423.63	c |    736098 |     364    68042   428768 | 2147483647   182302     29 |  3.704 % |
424.09/424.38	c |    737056 |     364    68042   428768 | 2147483647   183260     29 |  3.704 % |
424.69/424.99	c |    738110 |     364    68042   428768 | 2147483647   184314     29 |  3.704 % |
425.69/425.90	c |    739269 |     364    68042   428768 | 2147483647   185473     29 |  3.704 % |
426.88/427.13	c |    740542 |     364    68042   428768 | 2147483647   186746     29 |  3.711 % |
427.88/428.14	c |    741943 |     364    68042   428768 | 2147483647   188147     29 |  3.704 % |
429.08/429.39	c |    743483 |     364    68042   428768 | 2147483647   189687     29 |  3.704 % |
430.99/431.28	c |    745178 |     364    68042   428768 | 2147483647   191382     30 |  3.711 % |
432.58/432.81	c |    747042 |     364    68042   428768 | 2147483647   193246     30 |  3.704 % |
434.08/434.34	c |    749091 |     364    68042   428768 | 2147483647   195295     30 |  3.704 % |
436.18/436.46	c |    751346 |     364    68042   428768 | 2147483647   197550     30 |  3.704 % |
438.18/438.43	c |    753825 |     364    68042   428768 | 2147483647   200029     30 |  3.704 % |
440.38/440.67	c |    756550 |     364    68042   428768 | 2147483647   202754     30 |  3.704 % |
442.58/442.86	c |    759547 |     364    68042   428768 | 2147483647   205751     30 |  3.704 % |
446.08/446.32	c |    762844 |     364    68042   428768 |   206205   187169     30 |  3.704 % |
449.28/449.52	c |    766469 |     364    68042   428768 |   206205   190794     30 |  3.704 % |
452.48/452.74	c |    770457 |     364    68042   428768 |   194326   171579     30 |  3.709 % |
455.98/456.29	c |    774842 |     364    68042   428768 |   194326   175964     30 |  3.704 % |
459.27/459.50	c |    779665 |     364    68042   428768 |   194326   180787     30 |  3.704 % |
461.57/461.82	c |    784970 |     364    68042   428768 |   181122   166831     30 |  3.704 % |
464.07/464.40	c |    790809 |     364    68042   428768 | 2147483647   172670     30 |  3.704 % |
467.57/467.89	c |    797229 |     364    68042   428768 | 2147483647   179090     30 |  3.704 % |
475.37/475.63	c |    804290 |     364    68042   428768 |   181861   165690     29 |  3.704 % |
475.47/475.72	c |    804390 |     364    68042   428768 |   181861   165790     29 |  3.705 % |
475.57/475.81	c |    804500 |     364    68042   428768 |   181861   165900     29 |  3.704 % |
475.67/475.99	c |    804626 |     364    68042   428768 |   181861   166026     29 |  3.705 % |
475.87/476.14	c |    804760 |     364    68042   428768 |   181861   166160     29 |  3.711 % |
476.07/476.34	c |    804907 |     364    68042   428768 |   181861   166307     29 |  3.704 % |
476.17/476.46	c |    805068 |     364    68042   428768 |   181861   166468     29 |  3.704 % |
476.37/476.65	c |    805245 |     364    68042   428768 |   181861   166645     29 |  3.704 % |
476.57/476.84	c |    805438 |     364    68042   428768 |   181861   166838     29 |  3.704 % |
476.67/476.95	c |    805650 |     364    68042   428768 |   181861   167050     29 |  3.704 % |
476.77/477.04	c |    805883 |     364    68042   428768 |   181861   167283     29 |  3.709 % |
476.97/477.23	c |    806139 |     364    68042   428768 |   181861   167539     29 |  3.704 % |
477.08/477.33	c |    806420 |     364    68042   428768 |   181861   167820     29 |  3.704 % |
477.17/477.47	c |    806729 |     364    68042   428768 |   181861   168129     29 |  3.704 % |
477.27/477.58	c |    807069 |     364    68042   428768 |   181861   168469     29 |  3.711 % |
477.57/477.89	c |    807442 |     364    68042   428768 |   181861   168842     29 |  3.704 % |
477.97/478.25	c |    807854 |     364    68042   428768 |   181861   169254     29 |  3.704 % |
478.27/478.51	c |    808304 |     364    68042   428768 |   181861   169704     29 |  3.704 % |
478.77/479.08	c |    808798 |     364    68042   428768 |   181861   170198     29 |  3.704 % |
479.17/479.49	c |    809345 |     364    68042   428768 |   181861   170745     29 |  3.704 % |
479.67/479.98	c |    809942 |     364    68042   428768 |   181861   171342     29 |  3.704 % |
480.47/480.78	c |    810597 |     364    68042   428768 |   171401   151486     29 |  3.704 % |
480.97/481.28	c |    811320 |     364    68042   428768 |   171401   152209     29 |  3.704 % |
481.47/481.72	c |    812113 |     364    68042   428768 |   171401   153002     29 |  3.704 % |
482.17/482.45	c |    812984 |     364    68042   428768 |   171401   153873     29 |  3.704 % |
483.07/483.32	c |    813942 |     364    68042   428768 |   171401   154831     29 |  3.704 % |
483.86/484.14	c |    814996 |     364    68042   428768 |   171401   155885     29 |  3.704 % |
484.87/485.17	c |    816154 |     364    68042   428768 |   171401   157043     29 |  3.704 % |
485.77/486.04	c |    817428 |     364    68042   428768 |   171401   158317     29 |  3.704 % |
486.56/486.87	c |    818828 |     364    68042   428768 |   171401   159717     29 |  3.704 % |
487.16/487.46	c |    820368 |     364    68042   428768 | 2147483647   161257     29 |  3.704 % |
488.66/488.91	c |    822063 |     364    68042   428768 | 2147483647   162952     29 |  3.713 % |
490.16/490.49	c |    823926 |     364    68042   428768 | 2147483647   164815     29 |  3.705 % |
492.16/492.44	c |    825975 |     364    68042   428768 | 2147483647   166864     30 |  3.707 % |
494.06/494.34	c |    828230 |     364    68042   428768 | 2147483647   169119     30 |  3.704 % |
496.96/497.30	c |    830709 |     364    68042   428768 |   170889   153361     29 |  3.704 % |
499.06/499.35	c |    833435 |     364    68042   428768 |   170889   156087     29 |  3.704 % |
500.46/500.75	c |    836432 |     364    68042   428768 |   170889   159084     29 |  3.704 % |
501.86/502.11	c |    839728 |     364    68042   428768 |   170889   162380     29 |  3.704 % |
504.06/504.37	c |    843353 |     364    68042   428768 | 2147483647   166005     29 |  3.704 % |
507.06/507.33	c |    847340 |     364    68042   428768 | 2147483647   169992     30 |  3.711 % |
509.56/509.81	c |    851727 |     364    68042   428768 | 2147483647   174379     30 |  3.704 % |
512.36/512.64	c |    856550 |     364    68042   428768 | 2147483647   179202     30 |  3.704 % |
517.65/517.91	c |    861857 |     364    68042   428768 |   182654   162716     29 |  3.705 % |
520.65/520.91	c |    867693 |     364    68042   428768 |   182654   168552     30 |  3.705 % |
526.56/526.84	c |    874114 |     364    68042   428768 |   170859   157432     29 |  3.704 % |
530.95/531.25	c |    881173 |     364    68042   428768 | 2147483647   164491     30 |  3.704 % |
535.75/536.09	c |    888937 |     364    68042   428768 | 2147483647   172255     30 |  3.704 % |
535.85/536.16	c |    889038 |     364    68042   428768 | 2147483647   172356     30 |  3.711 % |
535.95/536.28	c |    889149 |     364    68042   428768 | 2147483647   172467     30 |  3.704 % |
536.15/536.42	c |    889271 |     364    68042   428768 | 2147483647   172589     30 |  3.711 % |
536.15/536.50	c |    889405 |     364    68042   428768 | 2147483647   172723     30 |  3.711 % |
536.35/536.61	c |    889551 |     364    68042   428768 | 2147483647   172869     30 |  3.704 % |
536.45/536.74	c |    889711 |     364    68042   428768 | 2147483647   173029     30 |  3.704 % |
536.55/536.87	c |    889887 |     364    68042   428768 | 2147483647   173205     30 |  3.704 % |
536.75/537.01	c |    890080 |     364    68042   428768 | 2147483647   173398     30 |  3.704 % |
536.85/537.13	c |    890295 |     364    68042   428768 | 2147483647   173613     30 |  3.706 % |
537.05/537.32	c |    890529 |     364    68042   428768 | 2147483647   173847     30 |  3.704 % |
537.35/537.60	c |    890788 |     364    68042   428768 | 2147483647   174106     30 |  3.705 % |
537.55/537.88	c |    891072 |     364    68042   428768 | 2147483647   174390     30 |  3.704 % |
537.75/538.07	c |    891382 |     364    68042   428768 | 2147483647   174700     30 |  3.704 % |
537.95/538.29	c |    891722 |     364    68042   428768 | 2147483647   175040     30 |  3.704 % |
538.24/538.53	c |    892097 |     364    68042   428768 | 2147483647   175415     30 |  3.704 % |
538.54/538.89	c |    892506 |     364    68042   428768 | 2147483647   175824     30 |  3.705 % |
538.94/539.29	c |    892958 |     364    68042   428768 | 2147483647   176276     30 |  3.704 % |
539.34/539.60	c |    893452 |     364    68042   428768 | 2147483647   176770     30 |  3.704 % |
539.54/539.85	c |    893995 |     364    68042   428768 | 2147483647   177313     30 |  3.704 % |
539.94/540.20	c |    894592 |     364    68042   428768 | 2147483647   177910     30 |  3.704 % |
540.44/540.73	c |    895247 |     364    68042   428768 | 2147483647   178565     30 |  3.704 % |
540.85/541.14	c |    895967 |     364    68042   428768 | 2147483647   179285     30 |  3.705 % |
541.34/541.65	c |    896760 |     364    68042   428768 | 2147483647   180078     30 |  3.711 % |
541.84/542.12	c |    897636 |     364    68042   428768 | 2147483647   180954     30 |  3.704 % |
542.44/542.75	c |    898594 |     364    68042   428768 | 2147483647   181912     30 |  3.704 % |
543.44/543.70	c |    899650 |     364    68042   428768 | 2147483647   182968     30 |  3.705 % |
544.25/544.59	c |    900809 |     364    68042   428768 | 2147483647   184127     30 |  3.704 % |
545.54/545.80	c |    902082 |     364    68042   428768 | 2147483647   185400     30 |  3.704 % |
546.44/546.74	c |    903486 |     364    68042   428768 | 2147483647   186804     30 |  3.704 % |
547.64/547.99	c |    905026 |     364    68042   428768 | 2147483647   188344     30 |  3.711 % |
549.44/549.76	c |    906723 |     364    68042   428768 | 2147483647   190041     31 |  3.704 % |
550.74/551.06	c |    908587 |     364    68042   428768 | 2147483647   191905     31 |  3.704 % |
552.44/552.75	c |    910636 |     364    68042   428768 | 2147483647   193954     31 |  3.705 % |
554.24/554.53	c |    912889 |     364    68042   428768 | 2147483647   196207     31 |  3.704 % |
555.44/555.77	c |    915371 |     364    68042   428768 | 2147483647   198689     31 |  3.710 % |
558.24/558.54	c |    918099 |     364    68042   428768 | 2147483647   201417     31 |  3.711 % |
560.64/560.91	c |    921096 |     364    68042   428768 |   203318   182674     31 |  3.704 % |
563.04/563.31	c |    924394 |     364    68042   428768 |   203318   185972     31 |  3.704 % |
564.74/565.02	c |    928020 |     364    68042   428768 |   203318   189598     31 |  3.704 % |
566.63/566.99	c |    932007 |     364    68042   428768 | 2147483647   193585     31 |  3.704 % |
570.93/571.28	c |    936393 |     364    68042   428768 | 2147483647   197971     31 |  3.704 % |
575.53/575.83	c |    941218 |     364    68042   428768 |   201581   178807     31 |  3.704 % |
580.23/580.57	c |    946523 |     364    68042   428768 |   201581   184112     31 |  3.704 % |
585.63/585.92	c |    952358 |     364    68042   428768 |   187589   168511     31 |  3.704 % |
589.93/590.22	c |    958777 |     364    68042   428768 |   187589   174930     31 |  3.704 % |
594.23/594.58	c |    965842 |     364    68042   428768 | 2147483647   181995     31 |  3.704 % |
600.12/600.43	c |    973609 |     364    68042   428768 |   186153   170706     31 |  3.704 % |
605.52/605.84	c |    982149 |     364    68042   428768 |   177097   156747     30 |  3.704 % |
605.62/605.94	c |    982249 |     364    68042   428768 |   177097   156847     30 |  3.711 % |
605.73/606.05	c |    982361 |     364    68042   428768 |   177097   156959     30 |  3.704 % |
605.83/606.14	c |    982483 |     364    68042   428768 |   177097   157081     30 |  3.704 % |
605.92/606.26	c |    982616 |     364    68042   428768 |   177097   157214     30 |  3.705 % |
606.02/606.34	c |    982764 |     364    68042   428768 |   177097   157362     30 |  3.705 % |
606.12/606.42	c |    982924 |     364    68042   428768 |   177097   157522     30 |  3.704 % |
606.12/606.48	c |    983100 |     364    68042   428768 |   177097   157698     30 |  3.704 % |
606.22/606.55	c |    983294 |     364    68042   428768 |   177097   157892     30 |  3.711 % |
606.32/606.63	c |    983507 |     364    68042   428768 |   177097   158105     30 |  3.705 % |
606.42/606.78	c |    983742 |     364    68042   428768 |   177097   158340     30 |  3.704 % |
606.62/606.92	c |    983998 |     364    68042   428768 |   177097   158596     30 |  3.704 % |
606.72/607.08	c |    984279 |     364    68042   428768 |   177097   158877     30 |  3.709 % |
606.93/607.23	c |    984588 |     364    68042   428768 |   177097   159186     30 |  3.704 % |
607.32/607.63	c |    984929 |     364    68042   428768 |   177097   159527     30 |  3.704 % |
607.62/607.93	c |    985304 |     364    68042   428768 |   177097   159902     30 |  3.705 % |
607.93/608.20	c |    985715 |     364    68042   428768 |   177097   160313     30 |  3.704 % |
608.42/608.79	c |    986164 |     364    68042   428768 |   177097   160762     30 |  3.704 % |
608.82/609.16	c |    986657 |     364    68042   428768 |   177097   161255     30 |  3.704 % |
609.13/609.41	c |    987202 |     364    68042   428768 |   177097   161800     30 |  3.704 % |
609.52/609.89	c |    987798 |     364    68042   428768 |   177097   162396     30 |  3.704 % |
609.92/610.25	c |    988453 |     364    68042   428768 |   177097   163051     30 |  3.704 % |
610.62/610.95	c |    989174 |     364    68042   428768 |   177097   163772     30 |  3.704 % |
611.22/611.54	c |    989968 |     364    68042   428768 |   177097   164566     30 |  3.704 % |
612.22/612.51	c |    990839 |     364    68042   428768 |   164599   147254     29 |  3.704 % |
612.72/613.07	c |    991799 |     364    68042   428768 |   164599   148214     29 |  3.704 % |
613.22/613.56	c |    992853 |     364    68042   428768 |   164599   149268     29 |  3.704 % |
613.62/613.99	c |    994013 |     364    68042   428768 |   164599   150428     29 |  3.704 % |
614.22/614.54	c |    995288 |     364    68042   428768 |   164599   151703     29 |  3.705 % |
614.63/614.95	c |    996689 |     364    68042   428768 |   164599   153104     29 |  3.704 % |
615.32/615.64	c |    998230 |     364    68042   428768 |   164599   154645     29 |  3.713 % |
616.02/616.31	c |    999926 |     364    68042   428768 |   164599   156341     29 |  3.704 % |
616.62/617.00	c |   1001789 |     364    68042   428768 | 2147483647   158204     29 |  3.704 % |
617.72/618.03	c |   1003838 |     364    68042   428768 | 2147483647   160253     29 |  3.711 % |
618.92/619.25	c |   1006091 |     364    68042   428768 | 2147483647   162506     29 |  3.705 % |
620.82/621.11	c |   1008569 |     364    68042   428768 | 2147483647   164984     29 |  3.704 % |
622.72/623.06	c |   1011294 |     364    68042   428768 | 2147483647   167709     29 |  3.704 % |
624.81/625.10	c |   1014291 |     364    68042   428768 | 2147483647   170706     30 |  3.704 % |
626.72/627.04	c |   1017588 |     364    68042   428768 | 2147483647   174003     30 |  3.709 % |
629.51/629.85	c |   1021213 |     364    68042   428768 | 2147483647   177628     30 |  3.704 % |
632.41/632.75	c |   1025201 |     364    68042   428768 | 2147483647   181616     30 |  3.704 % |
636.01/636.38	c |   1029588 |     364    68042   428768 | 2147483647   186003     30 |  3.704 % |
640.11/640.40	c |   1034411 |     364    68042   428768 |   186415   171699     30 |  3.704 % |
645.11/645.43	c |   1039716 |     364    68042   428768 |   186415   177004     30 |  3.704 % |
649.51/649.82	c |   1045551 |     364    68042   428768 | 2147483647   182839     30 |  3.704 % |
654.90/655.26	c |   1051969 |     364    68042   428768 |   187288   170314     30 |  3.704 % |
660.40/660.71	c |   1059028 |     364    68042   428768 |   187288   177373     30 |  3.705 % |
666.99/667.39	c |   1066792 |     364    68042   428768 | 2147483647   185137     31 |  3.704 % |
675.69/676.07	c |   1075332 |     364    68042   428768 |   188346   169459     31 |  3.705 % |
683.69/684.00	c |   1084726 |     364    68042   428768 | 2147483647   178853     31 |  3.704 % |
683.79/684.11	c |   1084826 |     364    68042   428768 | 2147483647   178953     31 |  3.704 % |
683.89/684.21	c |   1084936 |     364    68042   428768 | 2147483647   179063     31 |  3.712 % |
683.89/684.29	c |   1085057 |     364    68042   428768 | 2147483647   179184     31 |  3.704 % |
684.09/684.41	c |   1085190 |     364    68042   428768 | 2147483647   179317     31 |  3.704 % |
684.09/684.46	c |   1085336 |     364    68042   428768 | 2147483647   179463     31 |  3.704 % |
684.18/684.58	c |   1085499 |     364    68042   428768 | 2147483647   179626     31 |  3.712 % |
684.38/684.72	c |   1085676 |     364    68042   428768 | 2147483647   179803     31 |  3.704 % |
684.48/684.83	c |   1085870 |     364    68042   428768 | 2147483647   179997     31 |  3.704 % |
684.58/684.92	c |   1086083 |     364    68042   428768 | 2147483647   180210     31 |  3.704 % |
684.89/685.24	c |   1086316 |     364    68042   428768 | 2147483647   180443     31 |  3.705 % |
685.08/685.49	c |   1086572 |     364    68042   428768 | 2147483647   180699     31 |  3.704 % |
685.38/685.73	c |   1086853 |     364    68042   428768 | 2147483647   180980     31 |  3.704 % |
685.68/686.07	c |   1087162 |     364    68042   428768 | 2147483647   181289     31 |  3.704 % |
686.09/686.42	c |   1087503 |     364    68042   428768 | 2147483647   181630     31 |  3.704 % |
686.48/686.80	c |   1087876 |     364    68042   428768 | 2147483647   182003     31 |  3.704 % |
686.78/687.13	c |   1088285 |     364    68042   428768 | 2147483647   182412     31 |  3.704 % |
687.28/687.62	c |   1088736 |     364    68042   428768 | 2147483647   182863     31 |  3.704 % |
687.58/687.93	c |   1089229 |     364    68042   428768 | 2147483647   183356     31 |  3.704 % |
688.19/688.55	c |   1089772 |     364    68042   428768 | 2147483647   183899     31 |  3.704 % |
688.98/689.38	c |   1090368 |     364    68042   428768 |   184128   164842     31 |  3.704 % |
689.48/689.83	c |   1091024 |     364    68042   428768 |   184128   165498     31 |  3.704 % |
689.98/690.36	c |   1091744 |     364    68042   428768 |   184128   166218     31 |  3.704 % |
690.48/690.83	c |   1092536 |     364    68042   428768 |   184128   167010     31 |  3.704 % |
691.18/691.55	c |   1093411 |     364    68042   428768 |   184128   167885     31 |  3.705 % |
692.08/692.42	c |   1094370 |     364    68042   428768 |   184128   168844     31 |  3.704 % |
692.48/692.87	c |   1095423 |     364    68042   428768 |   184128   169897     31 |  3.713 % |
692.88/693.28	c |   1096581 |     364    68042   428768 |   184128   171055     31 |  3.709 % |
693.68/694.03	c |   1097858 |     364    68042   428768 |   184128   172332     31 |  3.705 % |
695.08/695.43	c |   1099258 |     364    68042   428768 |   184128   173732     31 |  3.704 % |
696.48/696.83	c |   1100800 |     364    68042   428768 | 2147483647   175274     31 |  3.704 % |
697.98/698.31	c |   1102495 |     364    68042   428768 | 2147483647   176969     31 |  3.704 % |
699.18/699.59	c |   1104360 |     364    68042   428768 | 2147483647   178834     31 |  3.704 % |
699.98/700.31	c |   1106414 |     364    68042   428768 | 2147483647   180888     31 |  3.709 % |
701.38/701.76	c |   1108668 |     364    68042   428768 | 2147483647   183142     31 |  3.709 % |
703.77/704.11	c |   1111152 |     364    68042   428768 |   184475   167166     31 |  3.704 % |
705.37/705.75	c |   1113878 |     364    68042   428768 |   184475   169892     31 |  3.709 % |
707.07/707.41	c |   1116875 |     364    68042   428768 |   184475   172889     31 |  3.704 % |
709.47/709.83	c |   1120171 |     364    68042   428768 | 2147483647   176185     31 |  3.704 % |
712.57/712.99	c |   1123798 |     364    68042   428768 | 2147483647   179812     31 |  3.704 % |
716.17/716.55	c |   1127787 |     364    68042   428768 | 2147483647   183801     31 |  3.705 % |
719.07/719.47	c |   1132172 |     364    68042   428768 |   186014   164352     30 |  3.704 % |
722.57/722.93	c |   1136996 |     364    68042   428768 |   186014   169176     30 |  3.708 % |
725.27/725.61	c |   1142303 |     364    68042   428768 | 2147483647   174483     30 |  3.707 % |
728.97/729.36	c |   1148138 |     364    68042   428768 | 2147483647   180318     29 |  3.704 % |
734.47/734.81	c |   1154557 |     364    68042   428768 | 2147483647   186737     29 |  3.708 % |
740.16/740.57	c |   1161616 |     364    68042   428768 | 2147483647   193796     30 |  3.704 % |
747.06/747.46	c |   1169380 |     364    68042   428768 | 2147483647   201560     30 |  3.711 % |
755.16/755.58	c |   1177920 |     364    68042   428768 |   202183   187853     29 |  3.704 % |
762.96/763.36	c |   1187315 |     364    68042   428768 |   189933   177165     29 |  3.704 % |
772.87/773.22	c |   1197649 |     364    68042   428768 | 2147483647   187499     29 |  3.704 % |
772.87/773.29	c |   1197751 |     364    68042   428768 | 2147483647   187601     29 |  3.704 % |
773.16/773.51	c |   1197862 |     364    68042   428768 | 2147483647   187712     29 |  3.704 % |
773.26/773.65	c |   1197987 |     364    68042   428768 | 2147483647   187837     29 |  3.704 % |
773.46/773.82	c |   1198120 |     364    68042   428768 | 2147483647   187970     29 |  3.704 % |
773.66/774.01	c |   1198267 |     364    68042   428768 | 2147483647   188117     29 |  3.704 % |
773.76/774.12	c |   1198427 |     364    68042   428768 | 2147483647   188277     29 |  3.705 % |
773.86/774.26	c |   1198604 |     364    68042   428768 | 2147483647   188454     29 |  3.704 % |
773.96/774.38	c |   1198797 |     364    68042   428768 | 2147483647   188647     29 |  3.714 % |
774.06/774.44	c |   1199009 |     364    68042   428768 | 2147483647   188859     29 |  3.704 % |
774.26/774.65	c |   1199243 |     364    68042   428768 | 2147483647   189093     29 |  3.705 % |
774.46/774.82	c |   1199499 |     364    68042   428768 | 2147483647   189349     29 |  3.704 % |
774.76/775.11	c |   1199781 |     364    68042   428768 | 2147483647   189631     29 |  3.711 % |
774.86/775.27	c |   1200090 |     364    68042   428768 |   189851   189940     29 |  3.705 % |
775.76/776.15	c |   1200431 |     364    68042   428768 |   189851   168990     29 |  3.704 % |
776.06/776.48	c |   1200804 |     364    68042   428768 |   189851   169363     29 |  3.704 % |
776.46/776.82	c |   1201213 |     364    68042   428768 |   189851   169772     29 |  3.704 % |
776.76/777.13	c |   1201664 |     364    68042   428768 |   189851   170223     29 |  3.704 % |
777.16/777.52	c |   1202157 |     364    68042   428768 |   189851   170716     29 |  3.704 % |
777.46/777.86	c |   1202699 |     364    68042   428768 |   189851   171258     29 |  3.704 % |
777.96/778.30	c |   1203295 |     364    68042   428768 |   189851   171854     29 |  3.705 % |
778.46/778.84	c |   1203953 |     364    68042   428768 |   189851   172512     29 |  3.704 % |
778.76/779.13	c |   1204676 |     364    68042   428768 |   189851   173235     29 |  3.704 % |
779.26/779.63	c |   1205470 |     364    68042   428768 |   189851   174029     29 |  3.704 % |
779.96/780.36	c |   1206341 |     364    68042   428768 |   189851   174900     29 |  3.704 % |
780.96/781.30	c |   1207300 |     364    68042   428768 |   189851   175859     29 |  3.704 % |
781.86/782.28	c |   1208353 |     364    68042   428768 |   189851   176912     29 |  3.704 % |
782.76/783.13	c |   1209511 |     364    68042   428768 |   189851   178070     29 |  3.704 % |
783.86/784.23	c |   1210784 |     364    68042   428768 | 2147483647   179343     29 |  3.705 % |
785.16/785.59	c |   1212185 |     364    68042   428768 | 2147483647   180744     29 |  3.704 % |
786.45/786.82	c |   1213725 |     364    68042   428768 | 2147483647   182284     29 |  3.704 % |
787.95/788.37	c |   1215419 |     364    68042   428768 | 2147483647   183978     29 |  3.704 % |
789.85/790.21	c |   1217282 |     364    68042   428768 | 2147483647   185841     29 |  3.704 % |
791.35/791.74	c |   1219331 |     364    68042   428768 | 2147483647   187890     29 |  3.705 % |
792.95/793.33	c |   1221586 |     364    68042   428768 | 2147483647   190145     29 |  3.704 % |
795.15/795.57	c |   1224066 |     364    68042   428768 | 2147483647   192625     29 |  3.706 % |
797.05/797.47	c |   1226792 |     364    68042   428768 | 2147483647   195351     29 |  3.704 % |
798.25/798.68	c |   1229789 |     364    68042   428768 | 2147483647   198348     29 |  3.704 % |
800.85/801.26	c |   1233087 |     364    68042   428768 |   198560   181010     28 |  3.704 % |
803.85/804.20	c |   1236712 |     364    68042   428768 |   198560   184635     28 |  3.704 % |
807.05/807.42	c |   1240699 |     364    68042   428768 | 2147483647   188622     28 |  3.704 % |
809.44/809.81	c |   1245084 |     364    68042   428768 | 2147483647   193007     29 |  3.704 % |
813.74/814.16	c |   1249907 |     364    68042   428768 | 2147483647   197830     29 |  3.704 % |
817.84/818.28	c |   1255216 |     364    68042   428768 |   197923   182307     29 |  3.704 % |
822.04/822.47	c |   1261052 |     364    68042   428768 | 2147483647   188143     29 |  3.704 % |
825.64/826.09	c |   1267471 |     364    68042   428768 | 2147483647   194562     29 |  3.704 % |
831.44/831.84	c |   1274530 |     364    68042   428768 |   197093   176879     29 |  3.704 % |
837.53/837.98	c |   1282294 |     364    68042   428768 |   182349   165983     30 |  3.704 % |
842.93/843.30	c |   1290835 |     364    68042   428768 | 2147483647   174524     31 |  3.704 % |
852.13/852.53	c |   1300230 |     364    68042   428768 | 2147483647   183919     31 |  3.704 % |
863.62/864.04	c |   1310563 |     364    68042   428768 |   193689   163001     31 |  3.704 % |
873.62/874.08	c |   1321929 |     364    68042   428768 |   172438   155647     31 |  3.704 % |
873.72/874.14	c |   1322030 |     364    68042   428768 |   172438   155748     31 |  3.704 % |
873.82/874.24	c |   1322142 |     364    68042   428768 |   172438   155860     31 |  3.704 % |
873.92/874.33	c |   1322263 |     364    68042   428768 |   172438   155981     31 |  3.704 % |
874.02/874.44	c |   1322396 |     364    68042   428768 |   172438   156114     31 |  3.704 % |
874.12/874.50	c |   1322546 |     364    68042   428768 |   172438   156264     31 |  3.704 % |
874.22/874.65	c |   1322706 |     364    68042   428768 |   172438   156424     31 |  3.704 % |
874.32/874.79	c |   1322882 |     364    68042   428768 |   172438   156600     31 |  3.704 % |
874.52/874.94	c |   1323075 |     364    68042   428768 |   172438   156793     31 |  3.704 % |
874.72/875.10	c |   1323287 |     364    68042   428768 |   172438   157005     31 |  3.704 % |
874.82/875.25	c |   1323520 |     364    68042   428768 |   172438   157238     31 |  3.704 % |
875.12/875.52	c |   1323778 |     364    68042   428768 |   172438   157496     31 |  3.705 % |
875.32/875.75	c |   1324059 |     364    68042   428768 |   172438   157777     31 |  3.711 % |
875.62/876.01	c |   1324369 |     364    68042   428768 |   172438   158087     31 |  3.704 % |
875.82/876.29	c |   1324708 |     364    68042   428768 |   172438   158426     31 |  3.704 % |
876.12/876.58	c |   1325081 |     364    68042   428768 |   172438   158799     31 |  3.704 % |
876.42/876.86	c |   1325490 |     364    68042   428768 |   172438   159208     31 |  3.704 % |
876.72/877.16	c |   1325940 |     364    68042   428768 |   172438   159658     31 |  3.704 % |
877.02/877.44	c |   1326434 |     364    68042   428768 |   172438   160152     31 |  3.705 % |
877.42/877.82	c |   1326976 |     364    68042   428768 |   172438   160694     31 |  3.715 % |
877.72/878.17	c |   1327573 |     364    68042   428768 |   172438   161291     31 |  3.704 % |
878.32/878.75	c |   1328228 |     364    68042   428768 |   172438   161946     31 |  3.705 % |
878.82/879.24	c |   1328949 |     364    68042   428768 |   172438   162667     31 |  3.704 % |
879.52/879.94	c |   1329741 |     364    68042   428768 |   172438   163459     31 |  3.704 % |
880.21/880.67	c |   1330612 |     364    68042   428768 | 2147483647   164330     31 |  3.704 % |
881.11/881.56	c |   1331571 |     364    68042   428768 | 2147483647   165289     31 |  3.704 % |
882.11/882.51	c |   1332627 |     364    68042   428768 | 2147483647   166345     31 |  3.704 % |
882.61/883.01	c |   1333785 |     364    68042   428768 | 2147483647   167503     31 |  3.704 % |
883.51/883.96	c |   1335058 |     364    68042   428768 | 2147483647   168776     31 |  3.704 % |
884.61/885.09	c |   1336460 |     364    68042   428768 | 2147483647   170178     31 |  3.704 % |
885.71/886.19	c |   1338002 |     364    68042   428768 | 2147483647   171720     31 |  3.705 % |
886.81/887.23	c |   1339698 |     364    68042   428768 | 2147483647   173416     31 |  3.704 % |
888.51/888.99	c |   1341561 |     364    68042   428768 | 2147483647   175279     31 |  3.711 % |
890.41/890.80	c |   1343610 |     364    68042   428768 | 2147483647   177328     31 |  3.705 % |
892.51/892.92	c |   1345865 |     364    68042   428768 | 2147483647   179583     31 |  3.704 % |
893.71/894.19	c |   1348343 |     364    68042   428768 | 2147483647   182061     31 |  3.704 % |
895.41/895.82	c |   1351069 |     364    68042   428768 | 2147483647   184787     32 |  3.704 % |
897.81/898.27	c |   1354066 |     364    68042   428768 | 2147483647   187784     32 |  3.704 % |
900.91/901.30	c |   1357362 |     364    68042   428768 | 2147483647   191080     32 |  3.705 % |
903.81/904.23	c |   1360988 |     364    68042   428768 | 2147483647   194706     32 |  3.704 % |
908.01/908.40	c |   1364975 |     364    68042   428768 | 2147483647   198693     32 |  3.704 % |
912.01/912.46	c |   1369365 |     364    68042   428768 | 2147483647   203083     32 |  3.704 % |
917.21/917.65	c |   1374189 |     364    68042   428768 |   203719   185484     32 |  3.704 % |
921.81/922.26	c |   1379495 |     364    68042   428768 |   203719   190790     32 |  3.704 % |
926.11/926.58	c |   1385334 |     364    68042   428768 |   191300   176973     32 |  3.704 % |
930.41/930.83	c |   1391752 |     364    68042   428768 | 2147483647   183391     32 |  3.704 % |
936.60/937.01	c |   1398812 |     364    68042   428768 | 2147483647   190451     32 |  3.704 % |
943.50/944.00	c |   1406577 |     364    68042   428768 |   191640   175542     32 |  3.704 % |
950.20/950.66	c |   1415117 |     364    68042   428768 | 2147483647   184082     32 |  3.704 % |
958.40/958.84	c |   1424512 |     364    68042   428768 | 2147483647   193477     32 |  3.705 % |
965.59/966.01	c |   1434845 |     364    68042   428768 | 2147483647   203810     32 |  3.704 % |
973.49/973.94	c |   1446211 |     364    68042   428768 |   208967   191013     32 |  3.704 % |
984.09/984.58	c |   1458713 |     364    68042   428768 |   194803   176088     31 |  3.704 % |
984.18/984.68	c |   1458813 |     364    68042   428768 |   194803   176188     31 |  3.704 % |
984.28/984.75	c |   1458924 |     364    68042   428768 |   194803   176299     31 |  3.705 % |
984.38/984.87	c |   1459045 |     364    68042   428768 |   194803   176420     31 |  3.704 % |
984.58/985.04	c |   1459178 |     364    68042   428768 |   194803   176553     31 |  3.704 % |
984.78/985.20	c |   1459325 |     364    68042   428768 |   194803   176700     31 |  3.704 % |
984.88/985.32	c |   1459485 |     364    68042   428768 |   194803   176860     31 |  3.704 % |
984.98/985.42	c |   1459663 |     364    68042   428768 |   194803   177038     31 |  3.704 % |
985.19/985.61	c |   1459856 |     364    68042   428768 |   194803   177231     31 |  3.704 % |
985.38/985.82	c |   1460069 |     364    68042   428768 | 2147483647   177444     31 |  3.704 % |
985.68/986.11	c |   1460302 |     364    68042   428768 | 2147483647   177677     31 |  3.704 % |
985.88/986.31	c |   1460558 |     364    68042   428768 | 2147483647   177933     31 |  3.704 % |
986.08/986.51	c |   1460839 |     364    68042   428768 | 2147483647   178214     31 |  3.704 % |
986.38/986.81	c |   1461149 |     364    68042   428768 | 2147483647   178524     31 |  3.704 % |
986.48/986.96	c |   1461488 |     364    68042   428768 | 2147483647   178863     31 |  3.704 % |
986.78/987.29	c |   1461861 |     364    68042   428768 | 2147483647   179236     31 |  3.705 % |
987.08/987.55	c |   1462270 |     364    68042   428768 | 2147483647   179645     31 |  3.704 % |
987.29/987.79	c |   1462719 |     364    68042   428768 | 2147483647   180094     31 |  3.704 % |
987.68/988.18	c |   1463219 |     364    68042   428768 | 2147483647   180594     31 |  3.704 % |
988.08/988.59	c |   1463762 |     364    68042   428768 | 2147483647   181137     31 |  3.704 % |
988.58/989.03	c |   1464359 |     364    68042   428768 | 2147483647   181734     31 |  3.704 % |
989.08/989.55	c |   1465016 |     364    68042   428768 | 2147483647   182391     31 |  3.711 % |
989.78/990.26	c |   1465736 |     364    68042   428768 | 2147483647   183111     31 |  3.704 % |
990.48/990.93	c |   1466531 |     364    68042   428768 | 2147483647   183906     31 |  3.704 % |
991.08/991.56	c |   1467404 |     364    68042   428768 | 2147483647   184779     31 |  3.704 % |
991.88/992.31	c |   1468362 |     364    68042   428768 | 2147483647   185737     31 |  3.712 % |
992.58/993.09	c |   1469415 |     364    68042   428768 | 2147483647   186790     31 |  3.704 % |
994.18/994.67	c |   1470573 |     364    68042   428768 |   187378   166183     31 |  3.704 % |
994.98/995.50	c |   1471849 |     364    68042   428768 |   187378   167459     31 |  3.704 % |
995.88/996.32	c |   1473250 |     364    68042   428768 |   187378   168860     31 |  3.704 % |
996.78/997.24	c |   1474790 |     364    68042   428768 |   187378   170400     31 |  3.704 % |
997.78/998.20	c |   1476484 |     364    68042   428768 |   187378   172094     31 |  3.704 % |
999.08/999.55	c |   1478348 |     364    68042   428768 |   187378   173958     31 |  3.704 % |
1000.97/1001.47	c |   1480399 |     364    68042   428768 | 2147483647   176009     31 |  3.704 % |
1003.37/1003.80	c |   1482653 |     364    68042   428768 | 2147483647   178263     31 |  3.704 % |
1005.67/1006.17	c |   1485133 |     364    68042   428768 | 2147483647   180743     31 |  3.705 % |
1008.28/1008.71	c |   1487863 |     364    68042   428768 | 2147483647   183473     32 |  3.704 % |
1010.38/1010.82	c |   1490862 |     364    68042   428768 | 2147483647   186472     32 |  3.704 % |
1013.17/1013.68	c |   1494158 |     364    68042   428768 | 2147483647   189768     32 |  3.704 % |
1016.77/1017.20	c |   1497784 |     364    68042   428768 | 2147483647   193394     32 |  3.704 % |
1020.27/1020.77	c |   1501772 |     364    68042   428768 |   195612   177379     31 |  3.705 % |
1023.28/1023.75	c |   1506161 |     364    68042   428768 |   195612   181768     31 |  3.705 % |
1026.48/1026.94	c |   1510985 |     364    68042   428768 | 2147483647   186592     32 |  3.704 % |
1031.97/1032.46	c |   1516294 |     364    68042   428768 | 2147483647   191901     32 |  3.704 % |
1038.27/1038.74	c |   1522130 |     364    68042   428768 |   195607   177266     31 |  3.704 % |
1043.87/1044.32	c |   1528548 |     364    68042   428768 |   195607   183684     31 |  3.704 % |
1049.77/1050.21	c |   1535607 |     364    68042   428768 |   185137   172011     31 |  3.704 % |
1057.47/1057.95	c |   1543371 |     364    68042   428768 | 2147483647   179775     31 |  3.704 % |
1066.96/1067.44	c |   1551915 |     364    68042   428768 | 2147483647   188319     32 |  3.704 % |
1074.66/1075.14	c |   1561309 |     364    68042   428768 |   196407   170843     32 |  3.705 % |
1085.56/1086.07	c |   1571645 |     364    68042   428768 |   179536   160620     31 |  3.704 % |
1095.35/1095.82	c |   1583011 |     364    68042   428768 | 2147483647   171986     32 |  3.704 % |
1105.25/1105.77	c |   1595515 |     364    68042   428768 | 2147483647   184490     32 |  3.704 % |
1117.15/1117.62	c |   1609267 |     364    68042   428768 | 2147483647   198242     33 |  3.704 % |
1117.25/1117.79	c |   1609369 |     364    68042   428768 | 2147483647   198344     33 |  3.704 % |
1117.45/1117.92	c |   1609482 |     364    68042   428768 | 2147483647   198457     33 |  3.704 % |
1117.65/1118.12	c |   1609603 |     364    68042   428768 | 2147483647   198578     33 |  3.704 % |
1117.75/1118.27	c |   1609736 |     364    68042   428768 | 2147483647   198711     33 |  3.711 % |
1117.95/1118.46	c |   1609883 |     364    68042   428768 | 2147483647   198858     33 |  3.704 % |
1118.25/1118.72	c |   1610044 |     364    68042   428768 |   198975   199019     33 |  3.704 % |
1118.95/1119.41	c |   1610222 |     364    68042   428768 |   198975   178974     33 |  3.704 % |
1119.05/1119.56	c |   1610415 |     364    68042   428768 |   198975   179167     32 |  3.705 % |
1119.35/1119.80	c |   1610627 |     364    68042   428768 |   198975   179379     32 |  3.704 % |
1119.44/1119.91	c |   1610861 |     364    68042   428768 |   198975   179613     33 |  3.704 % |
1119.64/1120.18	c |   1611117 |     364    68042   428768 |   198975   179869     33 |  3.704 % |
1119.94/1120.42	c |   1611400 |     364    68042   428768 |   198975   180152     33 |  3.704 % |
1120.24/1120.74	c |   1611710 |     364    68042   428768 |   198975   180462     33 |  3.705 % |
1120.64/1121.13	c |   1612049 |     364    68042   428768 |   198975   180801     33 |  3.704 % |
1120.94/1121.47	c |   1612421 |     364    68042   428768 |   198975   181173     33 |  3.704 % |
1121.34/1121.81	c |   1612833 |     364    68042   428768 |   198975   181585     33 |  3.704 % |
1121.74/1122.26	c |   1613282 |     364    68042   428768 |   198975   182034     33 |  3.704 % |
1122.34/1122.90	c |   1613775 |     364    68042   428768 |   198975   182527     33 |  3.704 % |
1122.74/1123.23	c |   1614317 |     364    68042   428768 |   198975   183069     33 |  3.704 % |
1123.44/1123.91	c |   1614913 |     364    68042   428768 |   198975   183665     33 |  3.704 % |
1123.94/1124.44	c |   1615570 |     364    68042   428768 |   198975   184322     33 |  3.704 % |
1124.54/1125.04	c |   1616290 |     364    68042   428768 |   198975   185042     33 |  3.704 % |
1124.94/1125.47	c |   1617082 |     364    68042   428768 |   198975   185834     33 |  3.704 % |
1125.64/1126.18	c |   1617955 |     364    68042   428768 |   198975   186707     33 |  3.704 % |
1126.34/1126.83	c |   1618914 |     364    68042   428768 |   198975   187666     33 |  3.704 % |
1127.04/1127.51	c |   1619970 |     364    68042   428768 |   198975   188722     33 |  3.704 % |
1128.44/1128.93	c |   1621128 |     364    68042   428768 |   188752   163607     32 |  3.704 % |
1129.24/1129.77	c |   1622401 |     364    68042   428768 |   188752   164880     32 |  3.705 % |
1130.54/1131.05	c |   1623801 |     364    68042   428768 |   188752   166280     32 |  3.704 % |
1131.64/1132.13	c |   1625343 |     364    68042   428768 |   188752   167822     32 |  3.705 % |
1132.24/1132.73	c |   1627037 |     364    68042   428768 |   188752   169516     32 |  3.704 % |
1133.74/1134.21	c |   1628901 |     364    68042   428768 |   188752   171380     32 |  3.704 % |
1135.13/1135.69	c |   1630952 |     364    68042   428768 | 2147483647   173431     32 |  3.704 % |
1137.63/1138.20	c |   1633205 |     364    68042   428768 | 2147483647   175684     32 |  3.704 % |
1139.93/1140.49	c |   1635684 |     364    68042   428768 | 2147483647   178163     32 |  3.704 % |
1142.23/1142.75	c |   1638409 |     364    68042   428768 | 2147483647   180888     32 |  3.704 % |
1145.13/1145.62	c |   1641408 |     364    68042   428768 |   182479   163855     31 |  3.704 % |
1147.73/1148.20	c |   1644704 |     364    68042   428768 |   182479   167151     31 |  3.705 % |
1150.03/1150.52	c |   1648329 |     364    68042   428768 |   182479   170776     32 |  3.704 % |
1153.23/1153.75	c |   1652317 |     364    68042   428768 |   172447   155441     31 |  3.704 % |
1156.33/1156.83	c |   1656702 |     364    68042   428768 |   172447   159826     31 |  3.711 % |
1161.23/1161.79	c |   1661525 |     363    67775   427464 | 2147483647   164647     31 |  3.975 % |
1164.63/1165.15	c |   1666831 |     363    67775   427464 | 2147483647   169953     31 |  3.969 % |
1169.63/1170.19	c |   1672667 |     363    67775   427464 | 2147483647   175789     32 |  3.969 % |
1173.42/1173.97	c |   1679085 |     363    67775   427464 | 2147483647   182207     32 |  3.970 % |
1179.52/1180.07	c |   1686148 |     363    67775   427464 | 2147483647   189270     32 |  3.969 % |
1186.22/1186.78	c |   1693914 |     363    67775   427464 | 2147483647   197036     32 |  3.969 % |
1195.32/1195.89	c |   1702456 |     363    67775   427464 |   203123   173177     32 |  3.969 % |

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-1834035-1242827400/watcher-1834035-1242827400 -o /tmp/evaluation-result-1834035-1242827400/solver-1834035-1242827400 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834035-1242827400.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.91 0.97 0.99 3/64 4577
/proc/meminfo: memFree=1944272/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773522 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4577/statm: 1339 237 197 169 0 50 0

[startup+0.031587 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 4577
/proc/meminfo: memFree=1944272/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773522 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4577/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101594 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 4577
/proc/meminfo: memFree=1944272/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773522 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4577/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301612 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 4577
/proc/meminfo: memFree=1944272/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773522 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4577/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701648 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 4577
/proc/meminfo: memFree=1944272/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773522 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4577/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50172 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 4582
/proc/meminfo: memFree=1933304/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773522 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4577/statm: 1339 237 197 169 0 50 0
[pid=4581] ppid=4577 vsize=13748 CPUtime=1.49
/proc/4581/stat : 4581 (SatELite_releas) R 4577 4577 4302 0 -1 4194304 3090 0 0 0 148 1 0 0 25 0 1 0 310773523 14077952 3030 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 3437 3030 74 173 0 3262 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19104

[startup+3.10187 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 4582
/proc/meminfo: memFree=1932152/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310773522 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4577/statm: 1339 237 197 169 0 50 0
[pid=4581] ppid=4577 vsize=14672 CPUtime=3.08
/proc/4581/stat : 4581 (SatELite_releas) R 4577 4577 4302 0 -1 4194304 3498 0 0 0 307 1 0 0 25 0 1 0 310773523 15024128 3184 1992294400 134512640 135223648 4294956128 18446744073709551615 134549049 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 3668 3184 76 173 0 3493 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20028

[startup+6.30117 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1932024/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=11112 CPUtime=2.88
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 2661 0 0 0 287 1 0 0 25 0 1 0 310773861 11378688 2647 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 2778 2647 77 171 0 2605 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16468

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1926272/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=16228 CPUtime=9.27
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 3925 0 0 0 924 3 0 0 25 0 1 0 310773861 16617472 3911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 4057 3911 77 171 0 3884 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 21584

[startup+25.5019 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1919360/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=22812 CPUtime=22.07
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 5547 0 0 0 2202 5 0 0 25 0 1 0 310773861 23359488 5533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 5703 5533 77 171 0 5530 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 28168

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1910784/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=31548 CPUtime=47.66
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 7702 0 0 0 4759 7 0 0 25 0 1 0 310773861 32305152 7688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 7887 7688 77 171 0 7714 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 36904

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1905024/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=37144 CPUtime=98.84
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 9102 0 0 0 9875 9 0 0 25 0 1 0 310773861 38035456 9088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 9286 9088 77 171 0 9113 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 42500

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1903616/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=38396 CPUtime=158.81
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 9417 0 0 0 15872 9 0 0 25 0 1 0 310773861 39317504 9403 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 9599 9403 77 171 0 9426 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 43752

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1903104/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=38952 CPUtime=218.78
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 9526 0 0 0 21869 9 0 0 25 0 1 0 310773861 39886848 9512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 9738 9512 77 171 0 9565 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 44308

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1901312/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=40548 CPUtime=278.76
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 9941 0 0 0 27866 10 0 0 25 0 1 0 310773861 41521152 9927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10137 9927 77 171 0 9964 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 45904

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1900864/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=40892 CPUtime=338.73
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10029 0 0 0 33863 10 0 0 25 0 1 0 310773861 41873408 10015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10223 10015 77 171 0 10050 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 46248

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1900544/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=41176 CPUtime=398.71
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10074 0 0 0 39860 11 0 0 25 0 1 0 310773861 42164224 10060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10294 10060 77 171 0 10121 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 46532

[startup+462.301 s]

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

/proc/4583/statm: 10580 10365 77 171 0 10407 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 47676

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4583
/proc/meminfo: memFree=1898816/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=42628 CPUtime=638.63
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10445 0 0 0 63852 11 0 0 25 0 1 0 310773861 43651072 10431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10657 10431 77 171 0 10484 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 47984

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1898368/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=42948 CPUtime=698.59
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10485 0 0 0 69848 11 0 0 25 0 1 0 310773861 43978752 10471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10737 10471 77 171 0 10564 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 48304

[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1898304/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=42948 CPUtime=758.58
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10487 0 0 0 75847 11 0 0 25 0 1 0 310773861 43978752 10473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10737 10473 77 171 0 10564 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 48304

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1897920/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=43268 CPUtime=818.56
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10575 0 0 0 81844 12 0 0 25 0 1 0 310773861 44306432 10561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10817 10561 77 171 0 10644 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 48624

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1897728/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=43444 CPUtime=878.53
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10602 0 0 0 87841 12 0 0 25 0 1 0 310773861 44486656 10588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 10861 10588 77 171 0 10688 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 48800

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1896576/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=44400 CPUtime=938.52
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 10860 0 0 0 93839 13 0 0 25 0 1 0 310773861 45465600 10846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 11100 10846 77 171 0 10927 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 49756

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1895616/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=45784 CPUtime=998.49
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 11098 0 0 0 99836 13 0 0 25 0 1 0 310773861 46882816 11084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 11446 11084 77 171 0 11273 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 51140

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1895360/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=45972 CPUtime=1058.49
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 11146 0 0 0 105835 14 0 0 25 0 1 0 310773861 47075328 11132 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 11493 11132 77 171 0 11320 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 51328

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1895168/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=46112 CPUtime=1118.46
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 11173 0 0 0 111832 14 0 0 25 0 1 0 310773861 47218688 11159 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 11528 11159 77 171 0 11355 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 51468

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1894720/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=46552 CPUtime=1178.44
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 11257 0 0 0 117830 14 0 0 25 0 1 0 310773861 47669248 11243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 11638 11243 77 171 0 11465 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 51908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1894720/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=46552 CPUtime=1196.64
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 11257 0 0 0 119650 14 0 0 25 0 1 0 310773861 47669248 11243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 11638 11243 77 171 0 11465 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 51908

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4589
/proc/meminfo: memFree=1894720/2055920 swapFree=4180004/4192956
[pid=4577] ppid=4575 vsize=5356 CPUtime=3.38
/proc/4577/stat : 4577 (SatELiteGTI) S 4575 4577 4302 0 -1 4194304 336 3751 0 0 0 0 335 3 16 0 1 0 310773522 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 239 197 169 0 50 0
[pid=4583] ppid=4577 vsize=46552 CPUtime=1196.64
/proc/4583/stat : 4583 (minisat_static) R 4577 4577 4302 0 -1 4194304 11257 0 0 0 119650 14 0 0 25 0 1 0 310773861 47669248 11243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/4583/statm: 11638 11243 77 171 0 11465 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 51908

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.85
CPU system time (s): 0.17
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 51908

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

runsolver used 1.40978 second user time and 3.10153 second system time

The end

Launcher Data

Begin job on node14 at 2009-05-20 15:50:00
IDJOB=1834035
IDBENCH=71141
IDSOLVER=671
FILE ID=node14/1834035-1242827400
PBS_JOBID= 9322471
Free space on /tmp= 66276 MiB

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

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

MD5SUM BENCH= b22738b664eaf1324f561a555f3cf0f3
RANDOM SEED=652751223

node14.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.256
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.256
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:       1944752 kB
Buffers:         18036 kB
Cached:          55500 kB
SwapCached:       6908 kB
Active:          38360 kB
Inactive:        43764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1944752 kB
SwapTotal:     4192956 kB
SwapFree:      4180004 kB
Dirty:            4860 kB
Writeback:           0 kB
Mapped:          13924 kB
Slab:            15084 kB
Committed_AS:  1001760 kB
PageTables:       1452 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= 66272 MiB
End job on node14 at 2009-05-20 16:10:03