Trace number 1833747

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.03 1200.71

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
MD5SUMd839e5ec929f609c698ac596e6e9f69b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.026995
Satisfiable
(Un)Satisfiability was proved
Number of variables1617
Number of clauses14513
Sum of the clauses size47145
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23056
Number of clauses of size 38550
Number of clauses of size 4932
Number of clauses of size 51825
Number of clauses of size over 5150

Solver Data

0.00/0.01	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   14513    47145 |    4353       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |   14513    47161 |      --       0       --      -- |     --   | 0/16
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 1613   #clauses: 14513   #literals: 47161
0.00/0.04	c CPU time:   0.028995 s
0.00/0.04	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  1613                                                 |
0.00/0.05	c |  Number of clauses:    14513                                                |
0.04/0.06	c |  Parsing time:         0.01         s                                       |
0.04/0.06	c ============================[ Search Statistics ]==============================
0.04/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.06	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.04/0.06	c ===============================================================================
0.04/0.06	c |         0 |    1613    14513    47161 |     4837        0    nan |  0.000 % |
0.04/0.06	c |       100 |    1613    14513    47161 |     4837      100     13 |  0.000 % |
0.04/0.07	c |       203 |    1613    14513    47161 |     4837      203     20 |  0.000 % |
0.04/0.07	c |       304 |    1613    14513    47161 |     4837      304     19 |  0.000 % |
0.04/0.07	c |       414 |    1605    14513    47161 |     4837      412     25 |  0.744 % |
0.04/0.08	c |       516 |    1604    14513    47161 |     4837      514     24 |  0.744 % |
0.04/0.08	c |       627 |    1604    14513    47161 |     4837      625     23 |  0.744 % |
0.04/0.09	c |       749 |    1604    14513    47161 |     4837      747     30 |  0.744 % |
0.04/0.09	c |       849 |    1604    14513    47161 |     4837      847     29 |  0.744 % |
0.04/0.10	c |       960 |    1601    14477    47089 |     4837      958     33 |  0.744 % |
0.04/0.10	c |      1083 |    1601    14477    47089 |     4837     1081     33 |  0.744 % |
0.04/0.11	c |      1217 |    1595    14477    47089 |     4837     1214     36 |  1.116 % |
0.04/0.11	c |      1318 |    1595    14477    47089 |     4837     1315     35 |  1.116 % |
0.04/0.12	c |      1428 |    1595    14477    47089 |     4837     1425     35 |  1.116 % |
0.04/0.13	c |      1550 |    1595    14477    47089 |     4837     1547     36 |  1.116 % |
0.04/0.13	c |      1684 |    1595    14477    47089 |     4837     1681     35 |  1.116 % |
0.04/0.14	c |      1830 |    1589    14477    47089 |     4837     1826     34 |  1.488 % |
0.04/0.14	c |      1931 |    1589    14477    47089 |     4837     1927     35 |  1.488 % |
0.04/0.15	c |      2042 |    1589    14441    47017 |     4837     2036     34 |  1.488 % |
0.04/0.15	c |      2163 |    1589    14441    47017 |     4837     2157     33 |  1.488 % |
0.04/0.16	c |      2296 |    1589    14441    47017 |     4837     2290     33 |  1.488 % |
0.04/0.16	c |      2442 |    1589    14441    47017 |     4837     2436     32 |  1.488 % |
0.04/0.18	c |      2602 |    1589    14441    47017 |     4837     2596     34 |  1.488 % |
0.04/0.18	c |      2702 |    1589    14441    47017 |     4837     2696     34 |  1.488 % |
0.04/0.19	c |      2812 |    1589    14441    47017 |     4837     2806     33 |  1.488 % |
0.04/0.19	c |      2933 |    1589    14441    47017 |     4837     2927     33 |  1.488 % |
0.04/0.20	c |      3070 |    1589    14441    47017 |     4837     3064     34 |  1.488 % |
0.04/0.20	c |      3216 |    1589    14441    47017 |     4837     3210     33 |  1.488 % |
0.04/0.21	c |      3376 |    1589    14441    47017 |     4837     3370     34 |  1.488 % |
0.04/0.23	c |      3552 |    1589    14441    47017 |     4837     3546     34 |  1.488 % |
0.04/0.23	c |      3653 |    1589    14441    47017 |     4837     3647     35 |  1.488 % |
0.04/0.24	c |      3764 |    1589    14441    47017 |     4837     3758     35 |  1.488 % |
0.04/0.25	c |      3887 |    1589    14441    47017 |     4837     3881     35 |  1.488 % |
0.04/0.25	c |      4022 |    1589    14441    47017 |     4837     4016     36 |  1.488 % |
0.04/0.26	c |      4168 |    1589    14441    47017 |     4837     4162     35 |  1.488 % |
0.04/0.27	c |      4328 |    1589    14441    47017 |     4837     4322     36 |  1.488 % |
0.04/0.29	c |      4504 |    1589    14441    47017 |     4837     4498     37 |  1.488 % |
0.04/0.30	c |      4697 |    1589    14441    47017 |     4837     4691     36 |  1.488 % |
0.04/0.30	c |      4797 |    1589    14441    47017 |     4837     4791     36 |  1.488 % |
0.04/0.31	c |      4907 |    1589    14441    47017 |     4837     4901     36 |  1.488 % |
0.04/0.32	c |      5028 |    1589    14441    47017 |     4837     4532     35 |  1.488 % |
0.04/0.33	c |      5163 |    1589    14441    47017 |     4837     4667     35 |  1.488 % |
0.04/0.34	c |      5309 |    1589    14441    47017 |     4837     4813     35 |  1.488 % |
0.04/0.35	c |      5469 |    1589    14441    47017 |     4837     4973     35 |  1.488 % |
0.04/0.36	c |      5646 |    1589    14441    47017 |     4837     4653     34 |  1.488 % |
0.04/0.37	c |      5840 |    1589    14441    47017 |     4837     4847     33 |  1.488 % |
0.04/0.39	c |      6054 |    1589    14441    47017 |     4837     4569     33 |  1.488 % |
0.04/0.39	c |      6155 |    1589    14441    47017 |     4837     4670     33 |  1.488 % |
0.04/0.40	c |      6265 |    1589    14441    47017 |     4837     4780     33 |  1.488 % |
0.04/0.41	c |      6386 |    1589    14441    47017 |     4837     4901     32 |  1.488 % |
0.04/0.42	c |      6519 |    1589    14441    47017 |     4837     4544     33 |  1.488 % |
0.04/0.43	c |      6665 |    1589    14441    47017 |     4837     4690     33 |  1.488 % |
0.04/0.43	c |      6825 |    1589    14441    47017 |     4837     4850     33 |  1.488 % |
0.04/0.44	c |      7002 |    1589    14441    47017 |     4837     5027     32 |  1.488 % |
0.04/0.46	c |      7197 |    1589    14441    47017 |     4837     4720     32 |  1.488 % |
0.04/0.47	c |      7410 |    1589    14441    47017 |     4837     4933     31 |  1.488 % |
0.04/0.48	c |      7647 |    1589    14441    47017 |     4837     4677     30 |  1.488 % |
0.04/0.48	c |      7747 |    1589    14441    47017 |     4837     4777     30 |  1.488 % |
0.04/0.49	c |      7857 |    1589    14441    47017 |     4837     4887     30 |  1.488 % |
0.04/0.50	c |      7979 |    1589    14441    47017 |     4837     4521     29 |  1.488 % |
0.04/0.51	c |      8112 |    1589    14441    47017 |     4837     4654     29 |  1.488 % |
0.04/0.52	c |      8258 |    1589    14441    47017 |     4837     4800     29 |  1.488 % |
0.04/0.53	c |      8418 |    1589    14441    47017 |     4837     4960     29 |  1.488 % |
0.04/0.54	c |      8594 |    1589    14441    47017 |     4837     4640     30 |  1.488 % |
0.04/0.55	c |      8787 |    1589    14441    47017 |     4837     4833     29 |  1.488 % |
0.04/0.56	c |      9000 |    1589    14441    47017 |     4837     5046     29 |  1.488 % |
0.04/0.58	c |      9233 |    1589    14441    47017 |     4837     4775     29 |  1.488 % |
0.04/0.60	c |      9489 |    1589    14441    47017 |     4837     5031     29 |  1.488 % |
0.04/0.60	c |      9589 |    1589    14441    47017 |     4837     4628     29 |  1.488 % |
0.04/0.61	c |      9699 |    1589    14441    47017 |     4837     4738     29 |  1.488 % |
0.04/0.62	c |      9822 |    1589    14441    47017 |     4837     4861     29 |  1.488 % |
0.04/0.63	c |      9955 |    1589    14441    47017 |     4837     4508     29 |  1.488 % |
0.04/0.64	c |     10101 |    1589    14441    47017 | 2147483647     4654     29 |  1.488 % |
0.04/0.65	c |     10261 |    1589    14441    47017 | 2147483647     4814     29 |  1.488 % |
0.04/0.66	c |     10440 |    1589    14441    47017 | 2147483647     4993     30 |  1.488 % |
0.04/0.67	c |     10633 |    1589    14441    47017 | 2147483647     5186     31 |  1.488 % |
0.04/0.68	c |     10847 |    1589    14441    47017 | 2147483647     5400     30 |  1.488 % |
0.04/0.70	c |     11080 |    1589    14441    47017 | 2147483647     5633     31 |  1.489 % |
0.04/0.72	c |     11337 |    1589    14441    47017 | 2147483647     5890     31 |  1.488 % |
0.04/0.74	c |     11618 |    1589    14441    47017 | 2147483647     6171     32 |  1.488 % |
0.04/0.75	c |     11719 |    1589    14441    47017 | 2147483647     6272     32 |  1.488 % |
0.04/0.75	c |     11829 |    1589    14441    47017 | 2147483647     6382     32 |  1.488 % |
0.04/0.76	c |     11951 |    1589    14441    47017 | 2147483647     6504     31 |  1.488 % |
0.04/0.76	c |     12085 |    1589    14441    47017 | 2147483647     6638     31 |  1.488 % |
0.04/0.77	c |     12231 |    1589    14441    47017 | 2147483647     6784     31 |  1.488 % |
0.04/0.78	c |     12391 |    1589    14441    47017 | 2147483647     6944     31 |  1.488 % |
0.04/0.79	c |     12568 |    1589    14441    47017 | 2147483647     7121     31 |  1.488 % |
0.04/0.80	c |     12761 |    1589    14441    47017 | 2147483647     7314     31 |  1.488 % |
0.04/0.83	c |     12973 |    1589    14441    47017 | 2147483647     7526     32 |  1.488 % |
0.04/0.84	c |     13206 |    1589    14441    47017 | 2147483647     7759     31 |  1.488 % |
0.04/0.85	c |     13462 |    1589    14441    47017 | 2147483647     8015     31 |  1.488 % |
0.04/0.88	c |     13743 |    1589    14441    47017 | 2147483647     8296     32 |  1.488 % |
0.04/0.90	c |     14054 |    1589    14441    47017 | 2147483647     8607     32 |  1.488 % |
0.04/0.91	c |     14155 |    1589    14441    47017 | 2147483647     8708     32 |  1.488 % |
0.04/0.92	c |     14265 |    1589    14441    47017 | 2147483647     8818     32 |  1.488 % |
0.04/0.93	c |     14386 |    1589    14441    47017 | 2147483647     8939     33 |  1.488 % |
0.04/0.94	c |     14521 |    1589    14441    47017 | 2147483647     9074     33 |  1.488 % |
0.04/0.96	c |     14667 |    1589    14441    47017 | 2147483647     9220     33 |  1.488 % |
0.04/0.97	c |     14830 |    1589    14441    47017 | 2147483647     9383     33 |  1.488 % |
0.04/0.99	c |     15007 |    1589    14441    47017 | 2147483647     9560     34 |  1.488 % |
0.97/1.00	c |     15200 |    1589    14441    47017 | 2147483647     9753     34 |  1.488 % |
0.97/1.03	c |     15412 |    1589    14441    47017 | 2147483647     9965     34 |  1.488 % |
0.97/1.04	c |     15645 |    1589    14441    47017 | 2147483647    10198     34 |  1.489 % |
0.97/1.06	c |     15903 |    1589    14441    47017 | 2147483647    10456     34 |  1.488 % |
0.97/1.08	c |     16185 |    1589    14441    47017 | 2147483647    10738     33 |  1.488 % |
0.97/1.10	c |     16494 |    1589    14441    47017 | 2147483647    11047     33 |  1.488 % |
1.07/1.14	c |     16835 |    1589    14441    47017 | 2147483647    11388     34 |  1.488 % |
1.07/1.15	c |     16935 |    1589    14441    47017 | 2147483647    11488     35 |  1.488 % |
1.07/1.16	c |     17045 |    1589    14441    47017 | 2147483647    11598     35 |  1.488 % |
1.07/1.18	c |     17168 |    1589    14441    47017 | 2147483647    11721     35 |  1.488 % |
1.07/1.19	c |     17302 |    1589    14441    47017 | 2147483647    11855     35 |  1.488 % |
1.17/1.20	c |     17453 |    1589    14441    47017 | 2147483647    12006     35 |  1.488 % |
1.17/1.22	c |     17614 |    1589    14441    47017 | 2147483647    12167     35 |  1.488 % |
1.17/1.24	c |     17792 |    1589    14441    47017 | 2147483647    12345     35 |  1.488 % |
1.17/1.26	c |     17988 |    1589    14441    47017 | 2147483647    12541     35 |  1.488 % |
1.17/1.28	c |     18202 |    1589    14441    47017 | 2147483647    12755     36 |  1.488 % |
1.27/1.32	c |     18437 |    1589    14441    47017 | 2147483647    12990     36 |  1.488 % |
1.27/1.34	c |     18694 |    1589    14441    47017 | 2147483647    13247     36 |  1.488 % |
1.27/1.38	c |     18975 |    1589    14441    47017 | 2147483647    13528     37 |  1.488 % |
1.37/1.40	c |     19284 |    1589    14441    47017 | 2147483647    13837     37 |  1.488 % |
1.37/1.45	c |     19623 |    1589    14441    47017 | 2147483647    14176     37 |  1.488 % |
1.47/1.51	c |     19995 |    1589    14441    47017 | 2147483647    14548     38 |  1.488 % |
1.47/1.52	c |     20097 |    1589    14441    47017 | 2147483647    14650     38 |  1.488 % |
1.47/1.54	c |     20208 |    1589    14441    47017 | 2147483647    14761     38 |  1.488 % |
1.47/1.56	c |     20331 |    1589    14441    47017 | 2147483647    14884     38 |  1.488 % |
1.47/1.58	c |     20467 |    1589    14441    47017 | 2147483647    15020     38 |  1.488 % |
1.57/1.60	c |     20616 |    1589    14441    47017 | 2147483647    15169     38 |  1.488 % |
1.57/1.63	c |     20776 |    1589    14441    47017 | 2147483647    15329     38 |  1.488 % |
1.57/1.66	c |     20953 |    1589    14441    47017 | 2147483647    15506     39 |  1.488 % |
1.57/1.68	c |     21146 |    1589    14441    47017 | 2147483647    15699     39 |  1.488 % |
1.67/1.73	c |     21361 |    1589    14441    47017 | 2147483647    15914     39 |  1.488 % |
1.67/1.75	c |     21594 |    1589    14441    47017 | 2147483647    16147     39 |  1.488 % |
1.76/1.81	c |     21851 |    1589    14441    47017 | 2147483647    16404     40 |  1.488 % |
1.76/1.83	c |     22132 |    1589    14441    47017 | 2147483647    16685     40 |  1.488 % |
1.86/1.90	c |     22442 |    1589    14441    47017 | 2147483647    16995     40 |  1.488 % |
1.86/1.97	c |     22784 |    1589    14441    47017 | 2147483647    17337     40 |  1.488 % |
1.96/2.04	c |     23157 |    1589    14441    47017 | 2147483647    17710     41 |  1.488 % |
2.08/2.14	c |     23566 |    1589    14441    47017 | 2147483647    18119     41 |  1.488 % |
2.08/2.15	c |     23667 |    1589    14441    47017 | 2147483647    18220     41 |  1.488 % |
2.08/2.16	c |     23777 |    1589    14441    47017 | 2147483647    18330     41 |  1.488 % |
2.08/2.19	c |     23898 |    1589    14441    47017 | 2147483647    18451     41 |  1.488 % |
2.17/2.21	c |     24034 |    1589    14441    47017 | 2147483647    18587     41 |  1.488 % |
2.17/2.23	c |     24181 |    1589    14441    47017 | 2147483647    18734     41 |  1.488 % |
2.17/2.27	c |     24342 |    1589    14441    47017 | 2147483647    18895     41 |  1.488 % |
2.27/2.30	c |     24519 |    1589    14441    47017 | 2147483647    19072     41 |  1.488 % |
2.27/2.34	c |     24715 |    1589    14441    47017 | 2147483647    19268     41 |  1.488 % |
2.27/2.39	c |     24927 |    1589    14441    47017 | 2147483647    19480     42 |  1.488 % |
2.37/2.45	c |     25161 |    1589    14441    47017 | 2147483647    19714     42 |  1.488 % |
2.47/2.50	c |     25421 |    1589    14441    47017 | 2147483647    19974     42 |  1.488 % |
2.47/2.58	c |     25703 |    1589    14441    47017 | 2147483647    20256     42 |  1.488 % |
2.57/2.65	c |     26013 |    1588    14424    46973 | 2147483647    20560     42 |  1.550 % |
2.67/2.72	c |     26354 |    1588    14424    46973 | 2147483647    20901     42 |  1.550 % |
2.77/2.81	c |     26726 |    1587    14424    46973 | 2147483647    21272     43 |  1.612 % |
2.77/2.87	c |     27135 |    1587    14424    46973 | 2147483647    21681     43 |  1.612 % |
2.87/2.98	c |     27585 |    1587    14424    46973 | 2147483647    22131     43 |  1.612 % |
2.97/3.02	c |     27686 |    1587    14424    46973 | 2147483647    22232     43 |  1.612 % |
2.97/3.04	c |     27796 |    1587    14424    46973 | 2147483647    22342     43 |  1.612 % |
2.97/3.08	c |     27917 |    1587    14424    46973 | 2147483647    22463     43 |  1.612 % |
3.07/3.12	c |     28052 |    1587    14424    46973 | 2147483647    22598     43 |  1.612 % |
3.07/3.16	c |     28199 |    1587    14424    46973 | 2147483647    22745     44 |  1.612 % |
3.17/3.22	c |     28360 |    1587    14424    46973 | 2147483647    22906     44 |  1.612 % |
3.17/3.26	c |     28536 |    1587    14424    46973 | 2147483647    23082     44 |  1.612 % |
3.27/3.31	c |     28731 |    1586    14424    46973 | 2147483647    23276     44 |  1.674 % |
3.27/3.36	c |     28944 |    1586    14424    46973 | 2147483647    23489     44 |  1.674 % |
3.37/3.41	c |     29179 |    1586    14424    46973 | 2147483647    23724     44 |  1.674 % |
3.37/3.48	c |     29439 |    1586    14424    46973 | 2147483647    23984     44 |  1.674 % |
3.47/3.56	c |     29722 |    1586    14424    46973 | 2147483647    24267     44 |  1.674 % |
3.57/3.65	c |     30031 |    1586    14424    46973 | 2147483647    24576     45 |  1.674 % |
3.66/3.79	c |     30370 |    1586    14424    46973 | 2147483647    24915     45 |  1.674 % |
3.76/3.89	c |     30743 |    1586    14424    46973 | 2147483647    25288     45 |  1.674 % |
3.96/4.05	c |     31154 |    1586    14424    46973 | 2147483647    25699     46 |  1.674 % |
4.06/4.15	c |     31606 |    1586    14424    46973 | 2147483647    26151     46 |  1.674 % |
4.16/4.27	c |     32099 |    1586    14424    46973 | 2147483647    26644     46 |  1.674 % |
4.27/4.30	c |     32201 |    1586    14424    46973 | 2147483647    26746     46 |  1.674 % |
4.27/4.34	c |     32311 |    1586    14424    46973 | 2147483647    26856     46 |  1.674 % |
4.27/4.37	c |     32435 |    1586    14424    46973 | 2147483647    26980     46 |  1.674 % |
4.37/4.41	c |     32568 |    1586    14424    46973 | 2147483647    27113     46 |  1.674 % |
4.37/4.44	c |     32714 |    1586    14424    46973 | 2147483647    27259     46 |  1.674 % |
4.37/4.49	c |     32874 |    1586    14424    46973 | 2147483647    27419     46 |  1.674 % |
4.46/4.52	c |     33050 |    1586    14424    46973 | 2147483647    27595     46 |  1.674 % |
4.46/4.58	c |     33244 |    1586    14424    46973 | 2147483647    27789     46 |  1.674 % |
4.56/4.67	c |     33457 |    1586    14424    46973 | 2147483647    28002     46 |  1.678 % |
4.66/4.74	c |     33691 |    1586    14424    46973 | 2147483647    28236     47 |  1.674 % |
4.76/4.85	c |     33953 |    1586    14424    46973 | 2147483647    28498     47 |  1.674 % |
4.86/4.95	c |     34234 |    1586    14424    46973 | 2147483647    28779     47 |  1.674 % |
4.96/5.04	c |     34543 |    1586    14424    46973 | 2147483647    29088     47 |  1.674 % |
5.06/5.19	c |     34884 |    1586    14424    46973 | 2147483647    29429     47 |  1.674 % |
5.16/5.25	c |     35256 |    1586    14390    46885 | 2147483647    29796     47 |  1.674 % |
5.37/5.50	c |     35667 |    1586    14390    46885 | 2147483647    30207     47 |  1.674 % |
5.56/5.65	c |     36116 |    1586    14390    46885 | 2147483647    30656     47 |  1.674 % |
5.76/5.86	c |     36611 |    1586    14390    46885 | 2147483647    31151     48 |  1.674 % |
5.96/6.04	c |     37154 |    1586    14390    46885 | 2147483647    31694     48 |  1.674 % |
5.96/6.09	c |     37255 |    1586    14390    46885 | 2147483647    31795     48 |  1.674 % |
6.06/6.15	c |     37365 |    1586    14390    46885 | 2147483647    31905     48 |  1.674 % |
6.06/6.18	c |     37487 |    1586    14390    46885 | 2147483647    32027     48 |  1.674 % |
6.16/6.20	c |     37620 |    1586    14390    46885 | 2147483647    32160     48 |  1.674 % |
6.16/6.21	c |     37769 |    1586    14390    46885 | 2147483647    32309     48 |  1.674 % |
6.26/6.30	c |     37932 |    1586    14390    46885 | 2147483647    32472     48 |  1.674 % |
6.26/6.38	c |     38108 |    1586    14390    46885 | 2147483647    32648     48 |  1.674 % |
6.36/6.48	c |     38303 |    1586    14390    46885 | 2147483647    32843     48 |  1.674 % |
6.56/6.60	c |     38515 |    1586    14390    46885 | 2147483647    33055     48 |  1.674 % |
6.56/6.67	c |     38748 |    1586    14390    46885 | 2147483647    33288     48 |  1.674 % |
6.66/6.76	c |     39005 |    1586    14390    46885 | 2147483647    33545     48 |  1.674 % |
6.76/6.83	c |     39291 |    1586    14390    46885 | 2147483647    33831     48 |  1.674 % |
6.86/6.97	c |     39600 |    1586    14390    46885 | 2147483647    34140     48 |  1.674 % |
7.06/7.12	c |     39943 |    1585    14390    46885 | 2147483647    34482     48 |  1.736 % |
7.26/7.38	c |     40319 |    1585    14390    46885 |    34540    30538     48 |  1.736 % |
7.46/7.50	c |     40729 |    1585    14390    46885 |    34540    30948     48 |  1.736 % |
7.66/7.72	c |     41179 |    1585    14390    46885 |    34540    31398     48 |  1.736 % |
7.85/7.92	c |     41672 |    1585    14390    46885 |    34540    31891     49 |  1.736 % |
8.05/8.12	c |     42216 |    1585    14390    46885 |    34540    32435     49 |  1.736 % |
8.25/8.36	c |     42812 |    1585    14390    46885 |    34540    33031     49 |  1.736 % |
8.36/8.40	c |     42914 |    1585    14390    46885 |    34540    33133     49 |  1.736 % |
8.36/8.46	c |     43024 |    1585    14390    46885 |    34540    33243     49 |  1.736 % |
8.46/8.54	c |     43146 |    1585    14390    46885 |    34540    33365     49 |  1.736 % |
8.46/8.56	c |     43279 |    1585    14390    46885 |    34540    33498     49 |  1.736 % |
8.56/8.66	c |     43425 |    1585    14390    46885 |    34540    33644     49 |  1.736 % |
8.67/8.75	c |     43585 |    1585    14390    46885 |    34540    33804     50 |  1.736 % |
8.77/8.84	c |     43761 |    1585    14390    46885 |    34540    33980     50 |  1.736 % |
8.86/8.93	c |     43954 |    1585    14390    46885 |    34540    34173     50 |  1.736 % |
8.86/8.96	c |     44167 |    1585    14390    46885 |    34540    34386     50 |  1.736 % |
8.86/8.98	c |     44403 |    1585    14390    46885 |    34540    34622     49 |  1.736 % |
8.96/9.02	c |     44662 |    1585    14390    46885 |    34540    30167     47 |  1.736 % |
9.06/9.10	c |     44947 |    1585    14390    46885 |    34540    30452     47 |  1.736 % |
9.06/9.18	c |     45256 |    1585    14390    46885 |    34540    30761     47 |  1.736 % |
9.26/9.34	c |     45598 |    1585    14390    46885 |    34540    31103     47 |  1.736 % |
9.36/9.46	c |     45970 |    1585    14390    46885 |    34540    31475     47 |  1.736 % |
9.56/9.65	c |     46379 |    1584    14390    46885 |    34540    31883     48 |  1.798 % |
9.86/9.92	c |     46828 |    1584    14390    46885 |    34540    32332     48 |  1.798 % |
10.16/10.20	c |     47321 |    1584    14390    46885 |    34540    32825     48 |  1.798 % |
10.36/10.45	c |     47866 |    1584    14390    46885 |    34540    33370     49 |  1.798 % |
10.76/10.83	c |     48462 |    1584    14356    46797 |    34540    33958     49 |  1.798 % |
11.06/11.15	c |     49117 |    1584    14356    46797 |    34540    34613     49 |  1.798 % |
11.06/11.19	c |     49217 |    1584    14356    46797 |    34540    29514     46 |  1.798 % |
11.16/11.22	c |     49331 |    1584    14356    46797 |    34540    29628     47 |  1.798 % |
11.16/11.26	c |     49453 |    1584    14356    46797 |    34540    29750     47 |  1.798 % |
11.26/11.33	c |     49588 |    1584    14356    46797 |    34540    29885     47 |  1.798 % |
11.36/11.42	c |     49735 |    1584    14356    46797 |    34540    30032     47 |  1.798 % |
11.36/11.44	c |     49895 |    1584    14356    46797 |    34540    30192     47 |  1.798 % |
11.46/11.53	c |     50072 |    1584    14356    46797 |    30298    30369     47 |  1.798 % |
11.46/11.58	c |     50266 |    1584    14356    46797 |    30298    25967     43 |  1.798 % |
11.56/11.62	c |     50480 |    1584    14356    46797 |    30298    26181     43 |  1.798 % |
11.56/11.67	c |     50714 |    1584    14356    46797 |    30298    26415     44 |  1.798 % |
11.66/11.73	c |     50970 |    1584    14356    46797 |    30298    26671     43 |  1.798 % |
11.66/11.79	c |     51251 |    1584    14356    46797 |    30298    26952     44 |  1.798 % |
11.86/11.93	c |     51560 |    1584    14356    46797 |    30298    27261     44 |  1.798 % |
11.96/12.04	c |     51899 |    1584    14356    46797 |    30298    27600     44 |  1.798 % |
12.06/12.16	c |     52272 |    1584    14356    46797 |    30298    27973     45 |  1.798 % |
12.26/12.33	c |     52682 |    1584    14356    46797 |    30298    28383     45 |  1.798 % |
12.46/12.51	c |     53131 |    1584    14356    46797 |    30298    28832     46 |  1.798 % |
12.66/12.74	c |     53626 |    1584    14356    46797 |    30298    29327     46 |  1.798 % |
12.86/13.00	c |     54170 |    1584    14356    46797 |    30298    29871     47 |  1.798 % |
13.06/13.15	c |     54766 |    1584    14356    46797 |    30298    30467     47 |  1.798 % |
13.36/13.43	c |     55422 |    1584    14356    46797 |    30298    27470     46 |  1.798 % |
13.56/13.67	c |     56142 |    1584    14356    46797 |    30298    28190     47 |  1.798 % |
13.66/13.71	c |     56242 |    1584    14356    46797 |    30298    28290     47 |  1.798 % |
13.66/13.75	c |     56353 |    1584    14356    46797 |    30298    28401     47 |  1.798 % |
13.66/13.77	c |     56474 |    1584    14356    46797 |    30298    28522     47 |  1.798 % |
13.76/13.83	c |     56607 |    1584    14356    46797 |    30298    28655     47 |  1.798 % |
13.86/13.91	c |     56754 |    1584    14356    46797 |    30298    28802     47 |  1.798 % |
13.86/13.96	c |     56916 |    1584    14356    46797 |    30298    28964     47 |  1.798 % |
13.96/14.04	c |     57093 |    1584    14356    46797 |    30298    29141     47 |  1.798 % |
13.96/14.07	c |     57287 |    1584    14356    46797 |    30298    29335     47 |  1.798 % |
14.06/14.15	c |     57499 |    1584    14356    46797 |    30298    29547     47 |  1.798 % |
14.16/14.28	c |     57732 |    1584    14356    46797 |    30298    29780     47 |  1.798 % |
14.26/14.35	c |     57990 |    1584    14356    46797 |    30298    30038     47 |  1.798 % |
14.46/14.51	c |     58272 |    1584    14356    46797 |    30298    30320     47 |  1.798 % |
14.56/14.63	c |     58584 |    1584    14356    46797 |    30298    30632     48 |  1.798 % |
14.66/14.79	c |     58923 |    1584    14356    46797 |    30298    27373     45 |  1.798 % |
14.75/14.89	c |     59295 |    1584    14356    46797 |    30298    27745     45 |  1.798 % |
15.05/15.11	c |     59704 |    1584    14356    46797 |    30298    28154     45 |  1.798 % |
15.15/15.30	c |     60154 |    1584    14356    46797 |    28450    28604     46 |  1.798 % |
15.36/15.48	c |     60647 |    1584    14356    46797 |    28450    25761     45 |  1.798 % |
15.55/15.64	c |     61190 |    1584    14356    46797 |    28450    26304     45 |  1.798 % |
15.85/15.90	c |     61787 |    1584    14356    46797 |    28450    26901     46 |  1.798 % |
16.05/16.17	c |     62444 |    1584    14356    46797 |    28450    27558     47 |  1.798 % |
16.46/16.50	c |     63167 |    1584    14356    46797 |    28450    28281     47 |  1.798 % |
16.65/16.72	c |     63959 |    1584    14356    46797 |    28450    26182     45 |  1.798 % |
16.65/16.76	c |     64059 |    1584    14356    46797 |    28450    26282     45 |  1.798 % |
16.65/16.79	c |     64170 |    1584    14356    46797 |    28450    26393     45 |  1.798 % |
16.75/16.82	c |     64293 |    1583    14339    46753 |    28450    26508     45 |  1.860 % |
16.75/16.88	c |     64427 |    1583    14339    46753 |    28450    26642     45 |  1.860 % |
16.85/16.93	c |     64574 |    1583    14339    46753 |    28450    26789     46 |  1.860 % |
16.85/16.99	c |     64734 |    1583    14339    46753 |    28450    26949     46 |  1.860 % |
16.95/17.06	c |     64910 |    1583    14339    46753 |    28450    27125     46 |  1.860 % |
17.05/17.15	c |     65107 |    1583    14339    46753 |    28450    27322     46 |  1.860 % |
17.15/17.21	c |     65321 |    1583    14339    46753 |    28450    27536     46 |  1.860 % |
17.25/17.31	c |     65556 |    1583    14339    46753 |    28450    27771     46 |  1.861 % |
17.35/17.43	c |     65812 |    1583    14339    46753 |    28450    28027     46 |  1.860 % |
17.45/17.51	c |     66093 |    1583    14339    46753 |    28450    28308     47 |  1.860 % |
17.55/17.65	c |     66410 |    1583    14339    46753 |    28450    28625     47 |  1.860 % |
17.65/17.73	c |     66750 |    1582    14339    46753 |    28450    26102     45 |  1.922 % |
17.75/17.86	c |     67124 |    1582    14339    46753 |    28450    26476     46 |  1.922 % |
17.85/17.96	c |     67534 |    1582    14339    46753 |    28450    26886     46 |  1.922 % |
17.95/18.09	c |     67984 |    1582    14339    46753 |    28450    27336     46 |  1.922 % |
18.15/18.20	c |     68477 |    1582    14339    46753 |    28450    27829     47 |  1.922 % |
18.35/18.43	c |     69019 |    1582    14339    46753 |    28450    28371     47 |  1.922 % |
18.55/18.62	c |     69615 |    1582    14339    46753 |    28450    26084     44 |  1.922 % |
18.65/18.76	c |     70270 |    1582    14339    46753 | 2147483647    26739     45 |  1.922 % |
18.85/18.97	c |     70990 |    1582    14339    46753 | 2147483647    27459     46 |  1.922 % |
19.15/19.21	c |     71784 |    1582    14339    46753 | 2147483647    28253     46 |  1.922 % |
19.45/19.55	c |     72656 |    1582    14339    46753 | 2147483647    29125     48 |  1.922 % |
19.55/19.61	c |     72757 |    1582    14339    46753 | 2147483647    29226     48 |  1.922 % |
19.55/19.65	c |     72868 |    1582    14339    46753 | 2147483647    29337     48 |  1.922 % |
19.65/19.72	c |     72989 |    1582    14339    46753 | 2147483647    29458     48 |  1.922 % |
19.65/19.75	c |     73122 |    1582    14339    46753 | 2147483647    29591     48 |  1.922 % |
19.75/19.82	c |     73271 |    1582    14339    46753 | 2147483647    29740     48 |  1.922 % |
19.75/19.85	c |     73431 |    1582    14339    46753 | 2147483647    29900     48 |  1.922 % |
19.85/19.90	c |     73610 |    1582    14339    46753 | 2147483647    30079     48 |  1.922 % |
19.85/19.97	c |     73803 |    1582    14339    46753 | 2147483647    30272     48 |  1.922 % |
19.95/20.03	c |     74015 |    1582    14339    46753 | 2147483647    30484     48 |  1.922 % |
19.95/20.05	c |     74250 |    1582    14339    46753 | 2147483647    30719     48 |  1.922 % |
20.05/20.18	c |     74507 |    1582    14339    46753 | 2147483647    30976     48 |  1.922 % |
20.25/20.31	c |     74790 |    1582    14339    46753 | 2147483647    31259     48 |  1.922 % |
20.35/20.41	c |     75099 |    1582    14339    46753 | 2147483647    31568     48 |  1.922 % |
20.55/20.60	c |     75439 |    1582    14339    46753 | 2147483647    31908     49 |  1.922 % |
20.75/20.84	c |     75813 |    1582    14322    46709 | 2147483647    32281     49 |  1.922 % |
20.95/21.05	c |     76222 |    1582    14322    46709 | 2147483647    32690     49 |  1.922 % |
21.15/21.28	c |     76671 |    1582    14322    46709 | 2147483647    33139     50 |  1.922 % |
21.45/21.57	c |     77164 |    1582    14322    46709 | 2147483647    33632     50 |  1.922 % |
21.75/21.86	c |     77706 |    1582    14322    46709 | 2147483647    34174     51 |  1.922 % |
22.05/22.16	c |     78305 |    1582    14322    46709 | 2147483647    34773     51 |  1.922 % |
22.45/22.51	c |     78963 |    1582    14322    46709 | 2147483647    35431     52 |  1.922 % |
22.64/22.78	c |     79688 |    1582    14322    46709 | 2147483647    36156     52 |  1.922 % |
23.14/23.25	c |     80480 |    1582    14322    46709 |    36469    31985     50 |  1.922 % |
23.44/23.54	c |     81351 |    1582    14322    46709 |    36469    32856     51 |  1.922 % |
24.05/24.16	c |     82309 |    1582    14322    46709 |    36469    33814     52 |  1.922 % |
24.15/24.21	c |     82410 |    1582    14322    46709 |    36469    33915     52 |  1.922 % |
24.15/24.27	c |     82520 |    1582    14322    46709 |    36469    34025     52 |  1.924 % |
24.24/24.32	c |     82642 |    1582    14322    46709 |    36469    34147     52 |  1.922 % |
24.24/24.39	c |     82777 |    1582    14322    46709 |    36469    34282     52 |  1.922 % |
24.34/24.48	c |     82923 |    1582    14322    46709 |    36469    34428     52 |  1.922 % |
24.44/24.58	c |     83083 |    1582    14322    46709 |    36469    34588     52 |  1.922 % |
24.54/24.67	c |     83259 |    1582    14322    46709 |    36469    34764     52 |  1.922 % |
24.64/24.77	c |     83452 |    1582    14322    46709 |    36469    34957     53 |  1.922 % |
24.84/24.90	c |     83667 |    1582    14322    46709 |    36469    35172     53 |  1.922 % |
24.94/25.06	c |     83900 |    1582    14322    46709 |    36469    35405     53 |  1.922 % |
25.04/25.18	c |     84156 |    1582    14322    46709 |    36469    35661     53 |  1.922 % |
25.24/25.37	c |     84437 |    1582    14322    46709 |    36469    35942     53 |  1.922 % |
25.54/25.60	c |     84748 |    1582    14322    46709 |    36469    36253     53 |  1.922 % |
25.64/25.78	c |     85090 |    1582    14322    46709 |    36469    36595     54 |  1.922 % |
25.94/26.04	c |     85462 |    1582    14322    46709 |    36469    31290     51 |  1.922 % |
26.14/26.21	c |     85872 |    1582    14322    46709 |    36469    31700     51 |  1.922 % |
26.44/26.52	c |     86323 |    1582    14322    46709 |    36469    32151     52 |  1.922 % |
26.64/26.73	c |     86816 |    1582    14322    46709 |    36469    32644     52 |  1.922 % |
26.74/26.87	c |     87360 |    1582    14322    46709 |    36469    33188     52 |  1.922 % |
27.14/27.20	c |     87960 |    1582    14322    46709 |    36469    33788     52 |  1.922 % |
27.44/27.51	c |     88615 |    1582    14322    46709 |    36469    34443     53 |  1.922 % |
27.84/27.95	c |     89335 |    1582    14322    46709 |    36469    35163     54 |  1.922 % |
28.44/28.60	c |     90127 |    1582    14322    46709 |    35829    35955     54 |  1.922 % |
29.04/29.11	c |     90998 |    1582    14322    46709 |    35829    31024     51 |  1.922 % |
29.44/29.59	c |     91956 |    1582    14322    46709 |    35829    31982     52 |  1.922 % |
30.14/30.30	c |     93009 |    1582    14322    46709 |    35829    33035     53 |  1.922 % |
30.24/30.36	c |     93111 |    1582    14322    46709 |    35829    33137     53 |  1.922 % |
30.34/30.41	c |     93222 |    1582    14322    46709 |    35829    33248     53 |  1.922 % |
30.44/30.51	c |     93343 |    1582    14322    46709 |    35829    33369     53 |  1.922 % |
30.44/30.58	c |     93476 |    1582    14322    46709 |    35829    33502     53 |  1.922 % |
30.54/30.69	c |     93625 |    1582    14322    46709 |    35829    33651     53 |  1.922 % |
30.64/30.78	c |     93786 |    1582    14322    46709 |    35829    33812     53 |  1.922 % |
30.84/30.90	c |     93962 |    1582    14322    46709 |    35829    33988     54 |  1.922 % |
30.94/31.04	c |     94155 |    1582    14322    46709 |    35829    34181     54 |  1.922 % |
31.14/31.20	c |     94368 |    1582    14322    46709 |    35829    34394     54 |  1.922 % |
31.24/31.34	c |     94602 |    1582    14322    46709 |    35829    34628     54 |  1.922 % |
31.34/31.43	c |     94858 |    1582    14322    46709 |    35829    34884     54 |  1.922 % |
31.44/31.55	c |     95139 |    1582    14322    46709 |    35829    35165     54 |  1.922 % |
31.64/31.76	c |     95448 |    1582    14322    46709 |    35829    35474     55 |  1.922 % |
31.74/31.85	c |     95787 |    1582    14322    46709 |    35829    35813     54 |  1.922 % |
31.94/32.07	c |     96159 |    1582    14322    46709 |    35829    36185     55 |  1.922 % |
32.14/32.29	c |     96570 |    1582    14322    46709 |    35829    30666     51 |  1.922 % |
32.44/32.56	c |     97019 |    1582    14322    46709 |    35829    31115     52 |  1.922 % |
32.84/32.94	c |     97512 |    1582    14322    46709 |    35829    31608     52 |  1.922 % |
33.04/33.15	c |     98055 |    1582    14322    46709 |    35829    32151     53 |  1.922 % |
33.34/33.46	c |     98652 |    1582    14322    46709 |    35829    32748     53 |  1.922 % |
33.54/33.65	c |     99307 |    1582    14322    46709 |    35829    33403     54 |  1.922 % |
33.94/34.03	c |    100032 |    1582    14322    46709 |    34098    34128     54 |  1.922 % |
34.34/34.40	c |    100826 |    1582    14322    46709 |    34098    29260     50 |  1.922 % |
34.74/34.84	c |    101702 |    1582    14322    46709 |    34098    30136     51 |  1.922 % |
35.34/35.45	c |    102660 |    1582    14322    46709 |    34098    31094     52 |  1.922 % |
35.93/36.00	c |    103714 |    1582    14322    46709 |    34098    32148     53 |  1.922 % |
36.53/36.67	c |    104872 |    1582    14322    46709 |    34098    33306     54 |  1.922 % |
36.63/36.74	c |    104972 |    1582    14322    46709 |    34098    33406     54 |  1.922 % |
36.73/36.82	c |    105083 |    1582    14322    46709 |    34098    33517     54 |  1.922 % |
36.73/36.87	c |    105205 |    1582    14322    46709 |    34098    33639     54 |  1.922 % |
36.83/36.93	c |    105338 |    1582    14322    46709 |    34098    33772     54 |  1.922 % |
36.93/37.04	c |    105487 |    1582    14322    46709 |    34098    33921     54 |  1.922 % |
37.03/37.10	c |    105647 |    1582    14322    46709 |    34098    34081     54 |  1.922 % |
37.13/37.23	c |    105825 |    1582    14322    46709 |    34098    34259     54 |  1.922 % |
37.24/37.34	c |    106019 |    1582    14322    46709 |    34098    28817     49 |  1.922 % |
37.24/37.39	c |    106231 |    1582    14322    46709 |    34098    29029     49 |  1.922 % |
37.34/37.47	c |    106466 |    1582    14322    46709 |    34098    29264     49 |  1.922 % |
37.53/37.63	c |    106722 |    1582    14322    46709 |    34098    29520     50 |  1.922 % |
37.63/37.79	c |    107004 |    1582    14322    46709 |    34098    29802     50 |  1.922 % |
37.83/37.92	c |    107316 |    1582    14322    46709 |    34098    30114     50 |  1.922 % |
37.93/38.05	c |    107657 |    1582    14322    46709 |    34098    30455     50 |  1.922 % |
38.13/38.20	c |    108029 |    1582    14322    46709 |    34098    30827     51 |  1.922 % |
38.34/38.49	c |    108438 |    1582    14322    46709 |    34098    31236     51 |  1.922 % |
38.44/38.59	c |    108887 |    1582    14322    46709 |    34098    31685     51 |  1.922 % |
38.83/38.94	c |    109380 |    1582    14322    46709 |    34098    32178     52 |  1.922 % |
39.03/39.18	c |    109922 |    1582    14322    46709 |    34098    32720     52 |  1.922 % |
39.44/39.54	c |    110518 |    1582    14322    46709 |    32799    27985     48 |  1.922 % |
39.63/39.77	c |    111173 |    1582    14322    46709 |    32799    28640     49 |  1.922 % |
40.03/40.15	c |    111894 |    1582    14322    46709 |    32799    29361     50 |  1.922 % |
40.23/40.38	c |    112690 |    1582    14322    46709 |    32799    30157     50 |  1.922 % |
40.63/40.78	c |    113565 |    1582    14322    46709 |    32799    31032     51 |  1.922 % |
41.23/41.32	c |    114524 |    1582    14322    46709 |    32799    31991     52 |  1.922 % |
41.82/41.96	c |    115578 |    1582    14322    46709 |    32799    33045     53 |  1.922 % |
42.52/42.60	c |    116739 |    1582    14322    46709 |    32799    29623     50 |  1.922 % |
43.12/43.21	c |    118012 |    1582    14322    46709 |    32799    30896     52 |  1.922 % |
43.12/43.29	c |    118114 |    1582    14322    46709 |    32799    30998     52 |  1.922 % |
43.22/43.34	c |    118226 |    1582    14322    46709 |    32799    31110     52 |  1.922 % |
43.32/43.45	c |    118347 |    1582    14322    46709 |    32799    31231     52 |  1.922 % |
43.42/43.52	c |    118480 |    1582    14322    46709 |    32799    31364     52 |  1.922 % |
43.52/43.62	c |    118629 |    1582    14322    46709 |    32799    31513     52 |  1.924 % |
43.62/43.74	c |    118790 |    1582    14322    46709 |    32799    31674     52 |  1.922 % |
43.72/43.87	c |    118968 |    1582    14322    46709 |    32799    31852     53 |  1.922 % |
43.82/43.93	c |    119163 |    1582    14322    46709 |    32799    32047     53 |  1.922 % |
43.92/44.02	c |    119375 |    1582    14322    46709 |    32799    32259     53 |  1.922 % |
43.92/44.07	c |    119608 |    1582    14322    46709 |    32799    32492     53 |  1.922 % |
44.12/44.23	c |    119866 |    1582    14322    46709 |    32799    32750     53 |  1.922 % |
44.22/44.35	c |    120147 |    1582    14322    46709 |    32884    33031     53 |  1.922 % |
44.42/44.57	c |    120456 |    1582    14322    46709 |    32884    28892     49 |  1.924 % |
44.52/44.69	c |    120795 |    1582    14322    46709 |    32884    29231     50 |  1.922 % |
44.72/44.85	c |    121167 |    1582    14322    46709 |    32884    29603     50 |  1.922 % |
44.92/45.02	c |    121579 |    1582    14322    46709 |    32884    30015     50 |  1.922 % |
45.12/45.23	c |    122028 |    1582    14322    46709 |    32884    30464     51 |  1.922 % |
45.42/45.52	c |    122521 |    1582    14322    46709 |    32884    30957     51 |  1.922 % |
45.72/45.82	c |    123064 |    1582    14322    46709 |    32884    31500     52 |  1.922 % |
45.92/46.06	c |    123660 |    1582    14322    46709 |    32884    32096     53 |  1.922 % |
46.22/46.35	c |    124318 |    1582    14322    46709 |    32884    32754     53 |  1.922 % |
46.62/46.70	c |    125039 |    1582    14322    46709 |    32884    29384     51 |  1.922 % |
47.02/47.11	c |    125831 |    1582    14322    46709 |    32884    30176     52 |  1.922 % |
47.42/47.55	c |    126702 |    1582    14322    46709 |    32884    31047     53 |  1.922 % |
48.02/48.11	c |    127663 |    1582    14322    46709 |    32884    32008     54 |  1.922 % |
48.62/48.71	c |    128717 |    1582    14322    46709 |    32884    33062     55 |  1.922 % |
49.32/49.48	c |    129875 |    1582    14322    46709 |    32884    29873     52 |  1.922 % |
50.22/50.31	c |    131150 |    1582    14322    46709 |    29998    26956     49 |  1.922 % |
51.02/51.10	c |    132551 |    1582    14322    46709 |    29998    28357     51 |  1.922 % |
51.02/51.18	c |    132655 |    1582    14322    46709 |    29998    28461     51 |  1.922 % |
51.11/51.23	c |    132767 |    1582    14322    46709 |    29998    28573     51 |  1.922 % |
51.21/51.30	c |    132888 |    1582    14322    46709 |    29998    28694     51 |  1.922 % |
51.21/51.38	c |    133022 |    1582    14322    46709 |    29998    28828     51 |  1.922 % |
51.31/51.49	c |    133171 |    1582    14322    46709 |    29998    28977     52 |  1.922 % |
51.41/51.59	c |    133336 |    1582    14322    46709 |    29998    29142     52 |  1.922 % |
51.62/51.72	c |    133512 |    1582    14322    46709 |    29998    29318     52 |  1.922 % |
51.62/51.78	c |    133705 |    1582    14322    46709 |    29998    29511     52 |  1.922 % |
51.71/51.87	c |    133917 |    1582    14322    46709 |    29998    29723     52 |  1.922 % |
51.81/51.94	c |    134150 |    1582    14322    46709 |    29998    29956     52 |  1.922 % |
51.91/52.05	c |    134410 |    1582    14322    46709 |    29998    30216     53 |  1.922 % |
52.11/52.20	c |    134692 |    1582    14322    46709 |    29998    26947     50 |  1.922 % |
52.21/52.32	c |    135004 |    1582    14322    46709 |    29998    27259     50 |  1.922 % |
52.31/52.46	c |    135345 |    1582    14322    46709 |    29998    27600     51 |  1.922 % |
52.51/52.65	c |    135718 |    1582    14322    46709 |    29998    27973     51 |  1.922 % |
52.71/52.88	c |    136129 |    1582    14322    46709 |    29998    28384     52 |  1.922 % |
52.91/53.08	c |    136579 |    1582    14322    46709 |    29998    28834     52 |  1.922 % |
53.21/53.32	c |    137072 |    1582    14322    46709 |    29998    29327     53 |  1.922 % |
53.51/53.62	c |    137614 |    1582    14322    46709 |    29998    29869     53 |  1.922 % |
53.81/53.98	c |    138210 |    1582    14322    46709 |    29998    27085     50 |  1.922 % |
54.11/54.27	c |    138866 |    1582    14322    46709 |    29998    27741     51 |  1.922 % |
54.41/54.55	c |    139588 |    1582    14322    46709 |    29998    28463     51 |  1.922 % |
54.61/54.74	c |    140380 |    1582    14322    46709 |    28875    29255     52 |  1.922 % |
55.01/55.13	c |    141251 |    1582    14322    46709 |    28875    27201     50 |  1.922 % |
55.21/55.37	c |    142212 |    1582    14322    46709 |    28875    28162     51 |  1.922 % |
55.71/55.83	c |    143265 |    1582    14322    46709 |    28875    26298     49 |  1.923 % |
56.01/56.15	c |    144424 |    1582    14322    46709 |    28875    27457     50 |  1.922 % |
56.51/56.70	c |    145697 |    1582    14322    46709 |    28875    28730     52 |  1.922 % |
57.21/57.31	c |    147098 |    1582    14322    46709 |    28875    27163     49 |  1.922 % |
57.91/58.01	c |    148638 |    1582    14322    46709 |    28875    28703     51 |  1.922 % |
57.91/58.09	c |    148738 |    1582    14322    46709 |    28875    28803     51 |  1.922 % |
58.01/58.15	c |    148849 |    1582    14322    46709 |    28875    28914     51 |  1.922 % |
58.11/58.23	c |    148971 |    1582    14322    46709 |    28875    26145     49 |  1.922 % |
58.11/58.28	c |    149105 |    1582    14322    46709 |    28875    26279     49 |  1.922 % |
58.21/58.31	c |    149252 |    1582    14322    46709 |    28875    26426     49 |  1.922 % |
58.21/58.36	c |    149412 |    1582    14322    46709 |    28875    26586     49 |  1.922 % |
58.31/58.40	c |    149588 |    1582    14322    46709 |    28875    26762     49 |  1.922 % |
58.31/58.49	c |    149781 |    1582    14322    46709 |    28875    26955     49 |  1.922 % |
58.41/58.54	c |    149993 |    1582    14322    46709 |    28875    27167     49 |  1.922 % |
58.51/58.64	c |    150228 |    1582    14322    46709 | 2147483647    27402     49 |  1.922 % |
58.61/58.78	c |    150484 |    1582    14322    46709 | 2147483647    27658     50 |  1.922 % |
58.71/58.87	c |    150765 |    1582    14322    46709 | 2147483647    27939     50 |  1.922 % |
58.81/58.94	c |    151078 |    1582    14322    46709 | 2147483647    28252     50 |  1.922 % |
58.91/59.07	c |    151417 |    1582    14322    46709 | 2147483647    28591     51 |  1.922 % |
59.11/59.22	c |    151789 |    1582    14322    46709 | 2147483647    28963     51 |  1.922 % |
59.21/59.40	c |    152198 |    1582    14322    46709 | 2147483647    29372     52 |  1.922 % |
59.50/59.67	c |    152648 |    1582    14322    46709 | 2147483647    29822     52 |  1.922 % |
59.70/59.86	c |    153142 |    1582    14322    46709 | 2147483647    30316     53 |  1.922 % |
60.00/60.13	c |    153684 |    1582    14322    46709 | 2147483647    30858     53 |  1.922 % |
60.20/60.35	c |    154280 |    1582    14322    46709 | 2147483647    31454     53 |  1.922 % |
60.50/60.67	c |    154935 |    1582    14322    46709 | 2147483647    32109     54 |  1.922 % |
61.00/61.10	c |    155656 |    1582    14322    46709 | 2147483647    32830     54 |  1.922 % |
61.30/61.45	c |    156448 |    1582    14322    46709 | 2147483647    33622     55 |  1.922 % |
62.00/62.10	c |    157319 |    1582    14322    46709 | 2147483647    34493     56 |  1.922 % |
62.70/62.87	c |    158278 |    1582    14322    46709 | 2147483647    35452     56 |  1.922 % |
63.51/63.61	c |    159332 |    1582    14322    46709 | 2147483647    36506     57 |  1.922 % |
64.31/64.44	c |    160490 |    1582    14322    46709 |    37174    32599     54 |  1.922 % |
65.21/65.38	c |    161763 |    1582    14322    46709 |    37174    33872     55 |  1.922 % |
66.31/66.44	c |    163163 |    1582    14322    46709 |    37174    35272     56 |  1.922 % |
67.51/67.68	c |    164703 |    1582    14322    46709 |    37174    36812     57 |  1.922 % |
68.51/68.67	c |    166397 |    1582    14322    46709 |    37174    32248     53 |  1.922 % |
68.61/68.73	c |    166498 |    1582    14322    46709 |    37174    32349     53 |  1.922 % |
68.71/68.81	c |    166608 |    1582    14322    46709 |    37174    32459     54 |  1.922 % |
68.71/68.87	c |    166729 |    1582    14322    46709 |    37174    32580     54 |  1.922 % |
68.81/68.94	c |    166863 |    1582    14322    46709 |    37174    32714     54 |  1.922 % |
68.91/69.05	c |    167010 |    1582    14322    46709 |    37174    32861     54 |  1.922 % |
69.01/69.12	c |    167170 |    1582    14322    46709 |    37174    33021     54 |  1.922 % |
69.11/69.22	c |    167346 |    1582    14322    46709 |    37174    33197     54 |  1.923 % |
69.21/69.31	c |    167541 |    1582    14322    46709 |    37174    33392     54 |  1.922 % |
69.31/69.44	c |    167753 |    1582    14322    46709 |    37174    33604     54 |  1.922 % |
69.41/69.57	c |    167988 |    1582    14322    46709 |    37174    33839     55 |  1.922 % |
69.51/69.66	c |    168245 |    1582    14322    46709 |    37174    34096     55 |  1.922 % |
69.71/69.80	c |    168528 |    1582    14322    46709 |    37174    34379     55 |  1.922 % |
69.91/70.09	c |    168839 |    1582    14322    46709 |    37174    34690     55 |  1.922 % |
70.11/70.22	c |    169178 |    1582    14322    46709 |    37174    35029     56 |  1.922 % |
70.41/70.52	c |    169550 |    1582    14322    46709 |    37174    35401     56 |  1.922 % |
70.61/70.77	c |    169959 |    1582    14322    46709 |    37174    35810     56 |  1.922 % |
70.91/71.01	c |    170409 |    1582    14322    46709 |    35851    36260     56 |  1.922 % |
71.11/71.28	c |    170903 |    1582    14322    46709 |    35851    30584     51 |  1.922 % |
71.41/71.56	c |    171447 |    1582    14322    46709 |    35851    31128     52 |  1.922 % |
71.71/71.82	c |    172046 |    1582    14322    46709 |    35851    31727     52 |  1.926 % |
72.01/72.19	c |    172701 |    1582    14322    46709 |    35851    32382     53 |  1.922 % |
72.41/72.55	c |    173422 |    1582    14322    46709 |    35851    33103     54 |  1.922 % |
73.00/73.15	c |    174214 |    1582    14322    46709 |    35851    33895     54 |  1.922 % |
73.51/73.69	c |    175085 |    1582    14322    46709 |    35851    34766     55 |  1.922 % |
74.10/74.24	c |    176044 |    1582    14322    46709 |    35851    35725     56 |  1.922 % |
74.71/74.87	c |    177097 |    1581    14305    46665 |    35851    31050     53 |  1.984 % |
75.40/75.52	c |    178255 |    1581    14305    46665 |    35851    32208     54 |  1.984 % |
76.30/76.41	c |    179528 |    1581    14305    46665 |    35851    33481     56 |  1.984 % |
77.00/77.13	c |    180929 |    1581    14305    46665 |    33953    29768     52 |  1.984 % |
78.01/78.16	c |    182469 |    1581    14305    46665 |    33953    31308     54 |  1.984 % |
79.01/79.12	c |    184164 |    1581    14305    46665 |    33953    33003     56 |  1.984 % |
80.00/80.11	c |    186027 |    1581    14305    46665 |    33953    30307     55 |  1.984 % |
80.10/80.20	c |    186130 |    1581    14305    46665 |    33953    30410     55 |  1.984 % |
80.10/80.29	c |    186241 |    1581    14305    46665 |    33953    30521     55 |  1.984 % |
80.20/80.38	c |    186363 |    1581    14305    46665 |    33953    30643     55 |  1.984 % |
80.30/80.44	c |    186496 |    1581    14305    46665 |    33953    30776     56 |  1.984 % |
80.40/80.51	c |    186643 |    1581    14305    46665 |    33953    30923     56 |  1.984 % |
80.40/80.59	c |    186803 |    1581    14305    46665 |    33953    31083     56 |  1.984 % |
80.50/80.68	c |    186979 |    1581    14305    46665 |    33953    31259     56 |  1.984 % |
80.70/80.84	c |    187173 |    1581    14305    46665 |    33953    31453     56 |  1.984 % |
80.80/80.98	c |    187386 |    1581    14305    46665 |    33953    31666     56 |  1.984 % |
81.00/81.14	c |    187619 |    1581    14305    46665 |    33953    31899     56 |  1.984 % |
81.20/81.34	c |    187875 |    1581    14305    46665 |    33953    32155     57 |  1.984 % |
81.30/81.45	c |    188157 |    1581    14305    46665 |    33953    32437     57 |  1.984 % |
81.40/81.58	c |    188468 |    1581    14305    46665 |    33953    32748     57 |  1.984 % |
81.60/81.78	c |    188808 |    1581    14305    46665 |    33953    33088     57 |  1.984 % |
81.80/81.99	c |    189180 |    1581    14305    46665 |    33953    33460     57 |  1.984 % |
82.10/82.21	c |    189590 |    1581    14305    46665 |    33953    33870     57 |  1.984 % |
82.40/82.56	c |    190041 |    1581    14305    46665 |    34283    34321     58 |  1.984 % |
82.80/82.94	c |    190536 |    1581    14305    46665 |    34283    30182     55 |  1.984 % |
83.20/83.31	c |    191081 |    1581    14305    46665 |    34283    30727     56 |  1.984 % |
83.50/83.63	c |    191677 |    1581    14305    46665 |    34283    31323     56 |  1.984 % |
83.70/83.88	c |    192333 |    1581    14305    46665 |    34283    31979     57 |  1.984 % |
84.30/84.40	c |    193054 |    1581    14305    46665 |    34283    32700     58 |  1.984 % |
84.70/84.81	c |    193846 |    1581    14305    46665 |    34283    33492     58 |  1.984 % |
85.20/85.32	c |    194719 |    1581    14305    46665 |    34283    34365     59 |  1.984 % |
85.90/86.05	c |    195679 |    1581    14305    46665 |    34283    30398     55 |  1.984 % |
86.40/86.59	c |    196734 |    1581    14305    46665 |    34283    31453     56 |  1.984 % |
86.99/87.15	c |    197892 |    1581    14305    46665 |    34283    32611     56 |  1.984 % |
87.69/87.83	c |    199168 |    1581    14305    46665 |    34283    33887     57 |  1.984 % |
88.79/88.91	c |    200568 |    1581    14305    46665 |    29591    25714     48 |  1.984 % |
89.19/89.38	c |    202109 |    1581    14305    46665 |    29591    27255     51 |  1.984 % |
90.09/90.25	c |    203803 |    1581    14305    46665 |    29591    28949     53 |  1.984 % |
90.99/91.14	c |    205666 |    1581    14305    46665 |    29591    27782     53 |  1.984 % |
91.89/92.02	c |    207715 |    1581    14305    46665 |    29591    29831     55 |  1.984 % |
91.89/92.09	c |    207815 |    1581    14305    46665 |    29591    26948     52 |  1.984 % |
91.99/92.12	c |    207925 |    1581    14305    46665 |    29591    27058     52 |  1.984 % |
91.99/92.18	c |    208047 |    1581    14305    46665 |    29591    27180     53 |  1.984 % |
92.09/92.25	c |    208184 |    1581    14305    46665 |    29591    27317     53 |  1.984 % |
92.19/92.32	c |    208330 |    1581    14305    46665 |    29591    27463     53 |  1.984 % |
92.29/92.43	c |    208490 |    1581    14305    46665 |    29591    27623     53 |  1.984 % |
92.39/92.50	c |    208666 |    1581    14305    46665 |    29591    27799     53 |  1.984 % |
92.39/92.59	c |    208860 |    1581    14305    46665 |    29591    27993     53 |  1.984 % |
92.59/92.75	c |    209073 |    1581    14305    46665 |    29591    28206     53 |  1.984 % |
92.69/92.89	c |    209312 |    1581    14305    46665 |    29591    28445     54 |  1.984 % |
92.89/93.00	c |    209568 |    1581    14305    46665 |    29591    28701     54 |  1.984 % |
92.99/93.13	c |    209849 |    1581    14305    46665 |    29591    28982     54 |  1.984 % |
93.19/93.31	c |    210158 |    1581    14305    46665 | 2147483647    29291     55 |  1.984 % |
93.39/93.53	c |    210502 |    1581    14305    46665 | 2147483647    29635     55 |  1.984 % |
93.59/93.76	c |    210876 |    1581    14305    46665 | 2147483647    30009     55 |  1.984 % |
93.89/94.05	c |    211289 |    1581    14305    46665 | 2147483647    30422     56 |  1.984 % |
94.19/94.33	c |    211739 |    1581    14305    46665 | 2147483647    30872     57 |  1.984 % |
94.49/94.64	c |    212233 |    1581    14305    46665 | 2147483647    31366     57 |  1.984 % |
94.79/94.92	c |    212776 |    1581    14305    46665 | 2147483647    31909     58 |  1.984 % |
95.08/95.23	c |    213374 |    1581    14305    46665 | 2147483647    32507     58 |  1.984 % |
95.49/95.68	c |    214032 |    1581    14305    46665 | 2147483647    33165     59 |  1.984 % |
96.08/96.28	c |    214752 |    1581    14305    46665 | 2147483647    33885     60 |  1.984 % |
96.59/96.79	c |    215547 |    1581    14305    46665 | 2147483647    34680     61 |  1.984 % |
97.38/97.55	c |    216418 |    1581    14305    46665 | 2147483647    35551     61 |  1.984 % |
97.98/98.18	c |    217378 |    1581    14305    46665 | 2147483647    36511     62 |  1.984 % |
98.88/99.02	c |    218435 |    1581    14305    46665 | 2147483647    37568     63 |  1.984 % |
99.58/99.70	c |    219593 |    1581    14305    46665 | 2147483647    38726     64 |  1.984 % |
100.78/100.90	c |    220866 |    1581    14305    46665 |    39133    33522     60 |  1.984 % |
101.28/101.49	c |    222266 |    1581    14305    46665 |    39133    34922     61 |  1.984 % |
102.19/102.35	c |    223807 |    1581    14305    46665 |    39133    36463     62 |  1.984 % |
103.58/103.74	c |    225502 |    1581    14305    46665 |    39133    38158     63 |  1.984 % |
105.18/105.38	c |    227367 |    1581    14305    46665 |    39133    32838     57 |  1.984 % |
106.88/107.00	c |    229416 |    1581    14305    46665 |    39133    34887     59 |  1.984 % |
108.48/108.63	c |    231669 |    1581    14305    46665 |    35471    30746     56 |  1.984 % |
108.58/108.70	c |    231770 |    1581    14305    46665 |    35471    30847     56 |  1.984 % |
108.58/108.77	c |    231883 |    1581    14305    46665 |    35471    30960     56 |  1.984 % |
108.68/108.85	c |    232007 |    1581    14305    46665 |    35471    31084     56 |  1.984 % |
108.78/108.93	c |    232140 |    1581    14305    46665 |    35471    31217     56 |  1.984 % |
108.78/108.99	c |    232289 |    1581    14305    46665 |    35471    31366     56 |  1.984 % |
108.88/109.07	c |    232449 |    1581    14305    46665 |    35471    31526     56 |  1.985 % |
108.98/109.16	c |    232627 |    1581    14305    46665 |    35471    31704     56 |  1.984 % |
109.08/109.25	c |    232820 |    1581    14305    46665 |    35471    31897     56 |  1.984 % |
109.28/109.42	c |    233033 |    1581    14305    46665 |    35471    32110     57 |  1.984 % |
109.38/109.51	c |    233267 |    1581    14305    46665 |    35471    32344     57 |  1.984 % |
109.48/109.65	c |    233523 |    1581    14305    46665 |    35471    32600     57 |  1.984 % |
109.68/109.81	c |    233804 |    1581    14305    46665 |    35471    32881     57 |  1.984 % |
109.78/109.98	c |    234113 |    1581    14305    46665 |    35471    33190     57 |  1.984 % |
109.98/110.18	c |    234453 |    1581    14305    46665 |    35471    33530     58 |  1.984 % |
110.28/110.43	c |    234825 |    1581    14305    46665 |    35471    33902     58 |  1.984 % |
110.58/110.71	c |    235236 |    1581    14305    46665 |    35471    34313     58 |  1.984 % |
110.88/111.02	c |    235685 |    1581    14305    46665 |    35471    34762     59 |  1.984 % |
111.18/111.35	c |    236178 |    1581    14305    46665 |    35471    35255     59 |  1.984 % |
111.48/111.65	c |    236721 |    1581    14305    46665 |    35471    35798     59 |  1.984 % |
111.78/111.98	c |    237317 |    1581    14305    46665 |    35471    30693     54 |  1.984 % |
112.08/112.29	c |    237973 |    1581    14305    46665 |    35471    31349     55 |  1.984 % |
112.57/112.73	c |    238693 |    1581    14305    46665 |    35471    32069     55 |  1.984 % |
112.97/113.14	c |    239486 |    1580    14288    46621 |    35471    32858     56 |  2.046 % |
113.57/113.72	c |    240359 |    1579    14288    46621 |    33371    28579     51 |  2.108 % |
114.07/114.24	c |    241319 |    1579    14288    46621 |    33371    29539     52 |  2.108 % |
114.67/114.85	c |    242375 |    1579    14288    46621 |    33371    30595     54 |  2.108 % |
115.17/115.39	c |    243534 |    1579    14288    46621 |    33371    31754     55 |  2.108 % |
116.38/116.57	c |    244807 |    1579    14288    46621 |    33371    33027     56 |  2.108 % |
117.27/117.49	c |    246208 |    1579    14288    46621 |    33371    29659     51 |  2.108 % |
118.17/118.34	c |    247749 |    1579    14288    46621 |    33371    31200     53 |  2.108 % |
119.27/119.41	c |    249449 |    1579    14288    46621 |    33371    32900     55 |  2.108 % |
120.17/120.32	c |    251312 |    1579    14271    46577 |    33450    30461     53 |  2.108 % |
121.57/121.73	c |    253363 |    1579    14271    46577 |    33450    32512     54 |  2.108 % |
122.87/123.01	c |    255618 |    1579    14271    46577 |    33450    30373     52 |  2.108 % |
123.97/124.17	c |    258098 |    1579    14271    46577 |    33450    32853     55 |  2.108 % |
124.07/124.24	c |    258198 |    1579    14271    46577 |    33450    32953     55 |  2.108 % |
124.17/124.31	c |    258308 |    1579    14271    46577 |    33450    33063     55 |  2.108 % |
124.17/124.33	c |    258432 |    1579    14271    46577 |    33450    33187     55 |  2.108 % |
124.27/124.43	c |    258567 |    1579    14271    46577 |    33450    33322     55 |  2.108 % |
124.37/124.50	c |    258713 |    1579    14271    46577 |    33450    33468     55 |  2.108 % |
124.47/124.62	c |    258874 |    1579    14271    46577 |    33450    33629     55 |  2.108 % |
124.57/124.76	c |    259052 |    1579    14271    46577 |    33450    29510     51 |  2.108 % |
124.77/124.92	c |    259245 |    1579    14271    46577 |    33450    29703     52 |  2.108 % |
124.87/125.00	c |    259457 |    1579    14271    46577 |    33450    29915     52 |  2.108 % |
124.97/125.12	c |    259691 |    1579    14271    46577 |    33450    30149     52 |  2.108 % |
125.17/125.32	c |    259948 |    1579    14271    46577 |    33450    30406     52 |  2.108 % |
125.27/125.45	c |    260230 |    1579    14271    46577 |    30461    30688     53 |  2.108 % |
125.37/125.59	c |    260539 |    1579    14271    46577 |    30461    27107     49 |  2.108 % |
125.67/125.82	c |    260881 |    1579    14271    46577 |    30461    27449     49 |  2.108 % |
125.77/125.97	c |    261255 |    1579    14271    46577 |    30461    27823     50 |  2.108 % |
125.87/126.06	c |    261664 |    1579    14271    46577 |    30461    28232     49 |  2.109 % |
126.17/126.30	c |    262114 |    1579    14271    46577 |    30461    28682     50 |  2.108 % |
126.37/126.50	c |    262607 |    1579    14271    46577 |    30461    29175     51 |  2.108 % |
126.57/126.75	c |    263149 |    1579    14271    46577 |    30461    29717     52 |  2.108 % |
126.97/127.14	c |    263745 |    1579    14271    46577 |    30461    30313     53 |  2.108 % |
127.27/127.48	c |    264400 |    1579    14271    46577 |    30461    27571     50 |  2.108 % |
127.67/127.89	c |    265122 |    1579    14271    46577 |    30461    28293     51 |  2.108 % |
128.17/128.35	c |    265915 |    1579    14271    46577 |    30461    29086     52 |  2.108 % |
128.67/128.86	c |    266788 |    1579    14271    46577 |    30461    29959     54 |  2.108 % |
129.27/129.43	c |    267749 |    1579    14271    46577 |    30461    30920     55 |  2.108 % |
129.77/129.92	c |    268803 |    1578    14254    46533 |    30461    28876     53 |  2.170 % |
130.47/130.60	c |    269961 |    1578    14254    46533 |    30461    30034     54 |  2.170 % |
130.96/131.17	c |    271234 |    1578    14254    46533 |    30073    27982     52 |  2.170 % |
131.86/132.05	c |    272635 |    1578    14254    46533 |    30073    29383     54 |  2.170 % |
132.76/132.90	c |    274175 |    1578    14254    46533 |    30073    27592     52 |  2.170 % |
133.55/133.78	c |    275871 |    1578    14254    46533 |    30073    29288     54 |  2.170 % |
134.65/134.82	c |    277734 |    1578    14254    46533 |    30073    28086     53 |  2.170 % |
135.75/136.00	c |    279783 |    1578    14254    46533 |    30073    30135     55 |  2.170 % |
137.15/137.36	c |    282038 |    1578    14254    46533 | 2147483647    29377     54 |  2.170 % |
138.75/138.92	c |    284516 |    1578    14254    46533 | 2147483647    31855     58 |  2.170 % |
140.15/140.34	c |    287241 |    1578    14254    46533 | 2147483647    34580     61 |  2.170 % |
140.25/140.42	c |    287345 |    1578    14254    46533 | 2147483647    34684     61 |  2.170 % |
140.35/140.50	c |    287456 |    1578    14254    46533 | 2147483647    34795     61 |  2.170 % |
140.35/140.59	c |    287578 |    1578    14254    46533 | 2147483647    34917     61 |  2.170 % |
140.56/140.71	c |    287712 |    1578    14254    46533 | 2147483647    35051     61 |  2.170 % |
140.66/140.81	c |    287858 |    1578    14254    46533 | 2147483647    35197     61 |  2.170 % |
140.75/140.92	c |    288019 |    1578    14254    46533 | 2147483647    35358     61 |  2.170 % |
140.85/141.09	c |    288199 |    1578    14254    46533 | 2147483647    35538     62 |  2.170 % |
141.05/141.26	c |    288392 |    1578    14254    46533 | 2147483647    35731     62 |  2.170 % |
141.25/141.43	c |    288604 |    1578    14254    46533 | 2147483647    35943     62 |  2.170 % |
141.35/141.60	c |    288838 |    1578    14254    46533 | 2147483647    36177     62 |  2.170 % |
141.55/141.73	c |    289096 |    1578    14254    46533 | 2147483647    36435     62 |  2.171 % |
141.75/141.94	c |    289377 |    1578    14254    46533 | 2147483647    36716     62 |  2.170 % |
141.95/142.18	c |    289686 |    1578    14254    46533 | 2147483647    37025     62 |  2.171 % |
142.25/142.47	c |    290027 |    1578    14254    46533 |    37339    37366     63 |  2.170 % |
142.55/142.74	c |    290400 |    1578    14254    46533 |    37339    32747     58 |  2.170 % |
142.85/143.03	c |    290809 |    1577    14237    46489 |    37339    33153     59 |  2.232 % |
143.15/143.35	c |    291258 |    1577    14237    46489 |    37339    33602     59 |  2.232 % |
143.55/143.71	c |    291752 |    1577    14237    46489 |    37339    34096     59 |  2.232 % |
143.85/144.02	c |    292295 |    1577    14237    46489 |    37339    34639     60 |  2.232 % |
144.25/144.41	c |    292892 |    1577    14237    46489 |    37339    35236     60 |  2.232 % |
144.55/144.72	c |    293547 |    1577    14237    46489 |    37339    35891     60 |  2.232 % |
144.95/145.18	c |    294267 |    1577    14237    46489 |    37339    36611     61 |  2.232 % |
145.55/145.78	c |    295059 |    1577    14237    46489 |    37339    37403     62 |  2.232 % |
146.25/146.40	c |    295930 |    1577    14237    46489 |    37339    32191     56 |  2.232 % |
146.85/147.06	c |    296888 |    1577    14237    46489 |    37339    33149     58 |  2.232 % |
147.35/147.60	c |    297941 |    1577    14237    46489 |    37339    34202     59 |  2.232 % |
148.15/148.31	c |    299099 |    1577    14237    46489 |    37339    35360     60 |  2.232 % |
149.25/149.44	c |    300373 |    1577    14237    46489 |    36262    36634     62 |  2.232 % |
149.95/150.18	c |    301777 |    1577    14237    46489 |    36262    32055     56 |  2.232 % |
150.94/151.13	c |    303317 |    1577    14237    46489 |    36262    33595     57 |  2.232 % |
152.24/152.46	c |    305013 |    1577    14237    46489 |    36262    35291     58 |  2.232 % |
153.85/154.04	c |    306877 |    1577    14237    46489 |    36262    31110     54 |  2.232 % |
155.24/155.42	c |    308928 |    1577    14237    46489 |    36262    33161     57 |  2.232 % |
156.54/156.79	c |    311181 |    1577    14237    46489 |    34233    30006     54 |  2.232 % |
157.94/158.14	c |    313662 |    1577    14237    46489 |    34233    32487     57 |  2.232 % |
159.64/159.80	c |    316387 |    1577    14237    46489 |    34233    30431     54 |  2.232 % |
161.34/161.52	c |    319384 |    1577    14237    46489 |    34233    33428     57 |  2.232 % |
161.45/161.61	c |    319485 |    1577    14237    46489 |    34233    33529     58 |  2.232 % |
161.55/161.72	c |    319595 |    1577    14237    46489 |    34233    33639     58 |  2.232 % |
161.64/161.86	c |    319719 |    1577    14237    46489 |    34233    33763     58 |  2.232 % |
161.74/161.98	c |    319855 |    1577    14237    46489 |    34233    33899     58 |  2.232 % |
161.84/162.09	c |    320001 |    1577    14237    46489 |    34044    34045     58 |  2.232 % |
162.04/162.21	c |    320161 |    1577    14237    46489 |    34044    34205     58 |  2.232 % |
162.14/162.34	c |    320339 |    1577    14237    46489 |    34044    29361     54 |  2.232 % |
162.24/162.43	c |    320532 |    1577    14237    46489 |    34044    29554     54 |  2.232 % |
162.34/162.58	c |    320744 |    1577    14237    46489 |    34044    29766     54 |  2.232 % |
162.54/162.75	c |    320977 |    1577    14237    46489 |    34044    29999     54 |  2.232 % |
162.64/162.89	c |    321233 |    1577    14237    46489 |    34044    30255     55 |  2.232 % |
162.84/163.03	c |    321514 |    1577    14237    46489 |    34044    30536     55 |  2.232 % |
163.04/163.26	c |    321824 |    1577    14237    46489 |    34044    30846     56 |  2.232 % |
163.14/163.38	c |    322165 |    1577    14237    46489 |    34044    31187     56 |  2.232 % |
163.34/163.54	c |    322537 |    1577    14237    46489 |    34044    31559     56 |  2.232 % |
163.54/163.79	c |    322947 |    1577    14237    46489 |    34044    31969     56 |  2.232 % |
163.74/163.90	c |    323396 |    1577    14237    46489 |    34044    32418     56 |  2.232 % |
164.04/164.21	c |    323889 |    1577    14237    46489 |    34044    32911     57 |  2.232 % |
164.34/164.53	c |    324431 |    1577    14237    46489 |    34044    33453     57 |  2.232 % |
164.64/164.81	c |    325027 |    1577    14237    46489 |    34044    34049     58 |  2.232 % |
165.04/165.23	c |    325682 |    1577    14237    46489 |    34044    29794     53 |  2.232 % |
165.44/165.65	c |    326403 |    1577    14237    46489 |    34044    30515     53 |  2.233 % |
165.94/166.14	c |    327196 |    1577    14237    46489 |    34044    31308     54 |  2.232 % |
166.44/166.67	c |    328069 |    1577    14237    46489 |    34044    32181     55 |  2.232 % |
167.14/167.35	c |    329028 |    1577    14237    46489 |    34044    33140     56 |  2.232 % |
167.84/168.09	c |    330083 |    1577    14237    46489 |    34112    34195     58 |  2.232 % |
168.73/168.93	c |    331241 |    1577    14237    46489 |    34112    30455     54 |  2.232 % |
169.54/169.76	c |    332516 |    1577    14237    46489 |    34112    31730     56 |  2.232 % |
170.43/170.69	c |    333920 |    1577    14237    46489 |    34112    33134     58 |  2.232 % |
171.44/171.66	c |    335462 |    1577    14237    46489 |    34112    30143     54 |  2.232 % |
172.53/172.71	c |    337157 |    1577    14237    46489 |    34112    31838     56 |  2.233 % |
173.83/174.02	c |    339020 |    1577    14237    46489 |    34112    33701     59 |  2.232 % |
175.33/175.59	c |    341069 |    1577    14237    46489 |    29928    26813     54 |  2.232 % |
176.73/176.91	c |    343322 |    1577    14237    46489 |    29928    29066     56 |  2.232 % |
178.03/178.28	c |    345801 |    1577    14237    46489 |    29928    27834     53 |  2.232 % |
179.52/179.79	c |    348528 |    1577    14237    46489 |    29928    27370     53 |  2.232 % |
181.23/181.46	c |    351525 |    1577    14237    46489 |    28842    27450     53 |  2.232 % |
183.43/183.67	c |    354821 |    1577    14237    46489 |    28842    27562     54 |  2.232 % |
183.53/183.73	c |    354923 |    1577    14237    46489 |    28842    27664     54 |  2.232 % |
183.53/183.80	c |    355034 |    1577    14237    46489 |    28842    27775     54 |  2.232 % |
183.62/183.85	c |    355155 |    1577    14237    46489 |    28842    27896     54 |  2.232 % |
183.62/183.86	c |    355289 |    1577    14237    46489 |    28842    28030     54 |  2.232 % |
183.72/183.94	c |    355437 |    1577    14237    46489 |    28842    28178     54 |  2.232 % |
183.82/184.01	c |    355600 |    1577    14237    46489 |    28842    28341     54 |  2.232 % |
183.92/184.12	c |    355776 |    1577    14237    46489 |    28842    28517     54 |  2.232 % |
184.02/184.26	c |    355971 |    1577    14237    46489 |    28842    28712     54 |  2.232 % |
184.22/184.43	c |    356184 |    1577    14237    46489 |    28842    28925     55 |  2.232 % |
184.32/184.60	c |    356421 |    1577    14237    46489 |    28842    25716     51 |  2.232 % |
184.52/184.73	c |    356677 |    1577    14237    46489 |    28842    25972     51 |  2.232 % |
184.72/184.90	c |    356960 |    1577    14237    46489 |    28842    26255     52 |  2.232 % |
184.82/185.04	c |    357269 |    1577    14237    46489 |    28842    26564     52 |  2.232 % |
185.02/185.21	c |    357608 |    1577    14237    46489 |    28842    26903     53 |  2.232 % |
185.22/185.46	c |    357982 |    1577    14237    46489 |    28842    27277     53 |  2.232 % |
185.52/185.72	c |    358392 |    1577    14237    46489 |    28842    27687     53 |  2.232 % |
185.72/185.96	c |    358843 |    1577    14237    46489 |    28842    28138     54 |  2.232 % |
186.02/186.21	c |    359337 |    1577    14237    46489 |    28842    28632     54 |  2.232 % |
186.22/186.42	c |    359880 |    1577    14237    46489 |    28842    25845     51 |  2.232 % |
186.42/186.67	c |    360476 |    1577    14237    46489 |    25965    23618     49 |  2.232 % |
186.72/186.98	c |    361131 |    1577    14237    46489 |    25965    24273     50 |  2.232 % |
187.22/187.43	c |    361851 |    1577    14237    46489 |    25965    24993     51 |  2.232 % |
187.62/187.81	c |    362644 |    1577    14237    46489 |    25965    25786     52 |  2.232 % |
188.02/188.20	c |    363516 |    1577    14237    46489 |    25965    24027     49 |  2.232 % |
188.22/188.49	c |    364475 |    1577    14237    46489 |    25965    24986     51 |  2.232 % |
188.72/188.92	c |    365528 |    1577    14237    46489 |    25965    26039     52 |  2.232 % |
189.22/189.41	c |    366686 |    1577    14237    46489 |    25965    24594     51 |  2.232 % |
189.62/189.89	c |    367960 |    1577    14237    46489 |    25965    25868     53 |  2.232 % |
190.32/190.50	c |    369361 |    1577    14237    46489 |    25965    24639     52 |  2.232 % |
190.92/191.13	c |    370903 |    1577    14237    46489 | 2147483647    26181     54 |  2.232 % |
191.71/191.99	c |    372599 |    1577    14237    46489 | 2147483647    27877     57 |  2.232 % |
193.01/193.27	c |    374465 |    1577    14237    46489 | 2147483647    29743     60 |  2.232 % |
193.91/194.14	c |    376515 |    1577    14237    46489 | 2147483647    31793     62 |  2.232 % |
194.92/195.16	c |    378769 |    1577    14237    46489 | 2147483647    34047     65 |  2.232 % |
196.51/196.72	c |    381250 |    1577    14237    46489 | 2147483647    36528     67 |  2.232 % |
198.52/198.75	c |    383975 |    1577    14237    46489 | 2147483647    39253     70 |  2.232 % |
201.12/201.35	c |    386973 |    1577    14237    46489 | 2147483647    42251     71 |  2.232 % |
203.51/203.70	c |    390269 |    1577    14237    46489 |    45280    45547     73 |  2.232 % |
206.51/206.77	c |    393894 |    1577    14237    46489 |    45280    41093     69 |  2.232 % |
206.61/206.87	c |    393994 |    1577    14237    46489 |    45280    41193     69 |  2.232 % |
206.71/206.98	c |    394104 |    1577    14237    46489 |    45280    41303     69 |  2.232 % |
206.91/207.13	c |    394225 |    1577    14237    46489 |    45280    41424     69 |  2.232 % |
207.01/207.26	c |    394358 |    1577    14237    46489 |    45280    41557     69 |  2.232 % |
207.21/207.42	c |    394504 |    1577    14237    46489 |    45280    41703     70 |  2.232 % |
207.31/207.54	c |    394665 |    1577    14237    46489 |    45280    41864     70 |  2.232 % |
207.51/207.72	c |    394842 |    1577    14237    46489 |    45280    42041     70 |  2.232 % |
207.61/207.88	c |    395036 |    1577    14237    46489 |    45280    42235     70 |  2.232 % |
207.81/208.03	c |    395249 |    1577    14237    46489 |    45280    42448     70 |  2.232 % |
208.01/208.26	c |    395483 |    1577    14237    46489 |    45280    42682     70 |  2.232 % |
208.21/208.46	c |    395739 |    1577    14237    46489 |    45280    42938     70 |  2.232 % |
208.41/208.62	c |    396020 |    1576    14220    46445 |    45280    43217     70 |  2.294 % |
208.71/208.94	c |    396329 |    1576    14220    46445 |    45280    43526     70 |  2.294 % |
209.01/209.30	c |    396670 |    1576    14220    46445 |    45280    43867     70 |  2.294 % |
209.41/209.64	c |    397042 |    1576    14220    46445 |    45280    44239     70 |  2.294 % |
209.81/210.05	c |    397452 |    1576    14220    46445 |    45280    44649     70 |  2.294 % |
210.21/210.45	c |    397901 |    1576    14220    46445 |    45280    45098     70 |  2.294 % |
210.81/211.02	c |    398394 |    1576    14220    46445 |    45280    35504     61 |  2.294 % |
211.30/211.53	c |    398938 |    1576    14220    46445 |    45280    36048     61 |  2.294 % |
211.60/211.81	c |    399537 |    1576    14220    46445 |    45280    36647     62 |  2.294 % |
212.31/212.50	c |    400194 |    1576    14220    46445 |    37110    37304     62 |  2.294 % |
212.91/213.13	c |    400916 |    1576    14220    46445 |    37110    29940     53 |  2.294 % |
213.30/213.55	c |    401708 |    1576    14220    46445 |    37110    30732     54 |  2.294 % |
213.80/214.00	c |    402579 |    1576    14220    46445 |    37110    31603     56 |  2.294 % |
214.31/214.57	c |    403537 |    1576    14220    46445 |    37110    32561     57 |  2.294 % |
214.80/215.01	c |    404590 |    1576    14220    46445 |    37110    33614     59 |  2.294 % |
215.70/215.99	c |    405750 |    1576    14220    46445 |    37110    34774     60 |  2.294 % |
216.51/216.78	c |    407025 |    1576    14220    46445 |    37110    36049     61 |  2.294 % |
217.51/217.73	c |    408425 |    1576    14220    46445 |    37110    37449     63 |  2.294 % |
218.61/218.86	c |    409965 |    1576    14220    46445 |    37110    32491     57 |  2.294 % |
219.60/219.86	c |    411664 |    1576    14220    46445 |    32526    28725     55 |  2.294 % |
220.90/221.10	c |    413527 |    1576    14220    46445 |    32526    30588     57 |  2.294 % |
222.10/222.38	c |    415576 |    1576    14220    46445 |    32526    32637     59 |  2.294 % |
223.39/223.67	c |    417830 |    1576    14220    46445 |    32526    30850     57 |  2.294 % |
224.79/225.06	c |    420308 |    1576    14220    46445 |    29392    29700     54 |  2.294 % |
226.28/226.58	c |    423033 |    1576    14220    46445 |    29392    29287     52 |  2.294 % |
227.77/228.03	c |    426036 |    1576    14220    46445 |    29392    29309     53 |  2.294 % |
229.87/230.12	c |    429332 |    1576    14220    46445 |    29392    29618     56 |  2.294 % |
231.77/232.06	c |    432957 |    1576    14220    46445 | 2147483647    30282     56 |  2.294 % |
234.67/234.99	c |    436946 |    1576    14220    46445 | 2147483647    34271     60 |  2.294 % |
234.77/235.06	c |    437046 |    1576    14220    46445 | 2147483647    34371     60 |  2.294 % |
234.87/235.16	c |    437157 |    1576    14220    46445 | 2147483647    34482     60 |  2.294 % |
234.97/235.25	c |    437279 |    1576    14220    46445 | 2147483647    34604     60 |  2.294 % |
235.07/235.35	c |    437414 |    1576    14220    46445 | 2147483647    34739     60 |  2.294 % |
235.17/235.41	c |    437566 |    1576    14220    46445 | 2147483647    34891     60 |  2.294 % |
235.27/235.54	c |    437727 |    1576    14220    46445 | 2147483647    35052     60 |  2.294 % |
235.47/235.70	c |    437905 |    1576    14220    46445 | 2147483647    35230     61 |  2.294 % |
235.57/235.81	c |    438098 |    1576    14220    46445 | 2147483647    35423     61 |  2.294 % |
235.77/236.05	c |    438310 |    1576    14220    46445 | 2147483647    35635     61 |  2.294 % |
235.97/236.26	c |    438543 |    1576    14220    46445 | 2147483647    35868     61 |  2.294 % |
236.17/236.46	c |    438799 |    1576    14220    46445 | 2147483647    36124     62 |  2.294 % |
236.37/236.65	c |    439080 |    1576    14220    46445 | 2147483647    36405     62 |  2.294 % |
236.67/236.95	c |    439390 |    1576    14220    46445 | 2147483647    36715     62 |  2.294 % |
236.97/237.26	c |    439732 |    1576    14220    46445 | 2147483647    37057     62 |  2.294 % |
237.28/237.51	c |    440104 |    1576    14220    46445 |    37325    37429     62 |  2.294 % |
237.67/237.91	c |    440515 |    1576    14220    46445 |    37325    32772     59 |  2.294 % |
238.07/238.30	c |    440964 |    1576    14220    46445 |    37325    33221     59 |  2.294 % |
238.38/238.65	c |    441457 |    1576    14220    46445 |    37325    33714     59 |  2.294 % |
238.77/239.05	c |    442001 |    1576    14220    46445 |    37325    34258     60 |  2.294 % |
239.27/239.59	c |    442598 |    1576    14220    46445 |    37325    34855     61 |  2.294 % |
239.87/240.16	c |    443253 |    1576    14220    46445 |    37325    35510     61 |  2.294 % |
240.47/240.79	c |    443974 |    1576    14220    46445 |    37325    36231     62 |  2.294 % |
241.17/241.43	c |    444768 |    1576    14220    46445 |    37325    37025     62 |  2.294 % |
241.97/242.24	c |    445640 |    1576    14220    46445 |    37325    31544     56 |  2.294 % |
242.78/243.04	c |    446601 |    1576    14220    46445 |    37325    32505     57 |  2.294 % |
243.37/243.60	c |    447657 |    1576    14220    46445 |    37325    33561     59 |  2.294 % |
244.17/244.42	c |    448815 |    1576    14220    46445 |    37325    34719     60 |  2.294 % |
245.27/245.54	c |    450088 |    1576    14220    46445 |    35904    35992     62 |  2.294 % |
246.47/246.73	c |    451491 |    1576    14220    46445 |    35904    31379     58 |  2.294 % |
247.47/247.70	c |    453032 |    1576    14220    46445 |    35904    32920     59 |  2.294 % |
248.97/249.26	c |    454728 |    1576    14220    46445 |    35904    34616     60 |  2.294 % |
250.86/251.14	c |    456592 |    1576    14220    46445 |    35904    29775     56 |  2.294 % |
252.06/252.38	c |    458642 |    1576    14220    46445 |    35904    31825     58 |  2.294 % |
253.77/254.03	c |    460896 |    1576    14220    46445 |    33184    28512     55 |  2.294 % |
255.26/255.59	c |    463375 |    1576    14220    46445 |    33184    30991     58 |  2.294 % |
257.17/257.43	c |    466101 |    1576    14220    46445 |    33184    28846     54 |  2.294 % |
258.86/259.11	c |    469099 |    1576    14220    46445 |    33184    31844     58 |  2.294 % |
261.16/261.48	c |    472395 |    1576    14220    46445 |    32745    30685     59 |  2.294 % |
263.67/263.95	c |    476020 |    1576    14220    46445 |    32745    29935     58 |  2.294 % |
265.76/266.05	c |    480008 |    1576    14220    46445 |    29922    29930     61 |  2.294 % |
268.35/268.63	c |    484394 |    1576    14220    46445 |    29922    27500     59 |  2.294 % |
268.45/268.70	c |    484494 |    1576    14220    46445 |    29922    27600     60 |  2.294 % |
268.45/268.77	c |    484604 |    1576    14220    46445 |    29922    27710     60 |  2.294 % |
268.55/268.85	c |    484725 |    1576    14220    46445 |    29922    27831     60 |  2.294 % |
268.65/268.93	c |    484859 |    1576    14220    46445 |    29922    27965     60 |  2.294 % |
268.75/269.02	c |    485007 |    1576    14220    46445 |    29922    28113     60 |  2.294 % |
268.85/269.15	c |    485168 |    1576    14220    46445 |    29922    28274     60 |  2.294 % |
268.95/269.26	c |    485344 |    1576    14220    46445 |    29922    28450     60 |  2.294 % |
269.05/269.33	c |    485538 |    1576    14220    46445 |    29922    28644     61 |  2.294 % |
269.16/269.44	c |    485752 |    1576    14220    46445 |    29922    28858     61 |  2.294 % |
269.26/269.57	c |    485985 |    1576    14220    46445 |    29922    29091     61 |  2.294 % |
269.45/269.77	c |    486241 |    1576    14220    46445 |    29922    29347     62 |  2.294 % |
269.65/269.97	c |    486529 |    1576    14220    46445 |    29922    29635     62 |  2.294 % |
269.85/270.18	c |    486841 |    1576    14220    46445 |    29922    29947     62 |  2.294 % |
270.15/270.42	c |    487182 |    1576    14220    46445 |    29922    27213     58 |  2.294 % |
270.26/270.52	c |    487554 |    1576    14220    46445 |    29922    27585     59 |  2.294 % |
270.45/270.73	c |    487964 |    1576    14220    46445 |    29922    27995     60 |  2.294 % |
270.65/270.92	c |    488415 |    1576    14220    46445 |    29922    28446     60 |  2.294 % |
270.95/271.27	c |    488908 |    1576    14220    46445 |    29922    28939     61 |  2.294 % |
271.15/271.40	c |    489451 |    1576    14220    46445 |    29922    29482     62 |  2.294 % |
271.46/271.76	c |    490047 |    1576    14220    46445 | 2147483647    30078     62 |  2.294 % |
271.75/272.09	c |    490702 |    1576    14220    46445 | 2147483647    30733     62 |  2.294 % |
272.25/272.52	c |    491422 |    1576    14220    46445 | 2147483647    31453     63 |  2.294 % |
272.65/272.96	c |    492214 |    1576    14220    46445 | 2147483647    32245     64 |  2.294 % |
273.25/273.52	c |    493085 |    1576    14220    46445 | 2147483647    33116     65 |  2.294 % |
273.95/274.26	c |    494047 |    1576    14220    46445 | 2147483647    34078     66 |  2.294 % |
274.85/275.11	c |    495104 |    1576    14220    46445 | 2147483647    35135     66 |  2.294 % |
275.65/275.95	c |    496262 |    1576    14220    46445 | 2147483647    36293     67 |  2.294 % |
276.85/277.15	c |    497536 |    1576    14220    46445 | 2147483647    37567     68 |  2.294 % |
278.15/278.42	c |    498937 |    1576    14220    46445 | 2147483647    38968     69 |  2.294 % |
279.55/279.89	c |    500477 |    1576    14220    46445 |    40033    33700     62 |  2.294 % |
280.85/281.11	c |    502172 |    1576    14220    46445 |    40033    35395     64 |  2.294 % |
282.35/282.66	c |    504038 |    1576    14220    46445 |    40033    37261     65 |  2.295 % |
284.25/284.55	c |    506089 |    1576    14220    46445 |    40033    39312     66 |  2.294 % |
286.55/286.84	c |    508343 |    1576    14220    46445 |    40033    33324     58 |  2.294 % |
288.35/288.62	c |    510821 |    1576    14220    46445 |    34982    29084     54 |  2.294 % |
290.35/290.65	c |    513548 |    1576    14220    46445 |    34982    31811     58 |  2.294 % |
292.54/292.81	c |    516545 |    1576    14220    46445 |    34982    34808     62 |  2.294 % |
294.84/295.15	c |    519845 |    1576    14220    46445 |    34982    32385     61 |  2.294 % |
296.94/297.20	c |    523471 |    1576    14220    46445 |    32540    30932     61 |  2.294 % |
299.04/299.36	c |    527458 |    1576    14220    46445 |    32540    30495     61 |  2.294 % |
301.64/301.93	c |    531844 |    1576    14220    46445 |    28772    27023     55 |  2.294 % |
303.64/303.95	c |    536667 |    1576    14220    46445 |    28772    28923     58 |  2.294 % |
303.74/304.02	c |    536767 |    1576    14220    46445 |    28772    26131     55 |  2.294 % |
303.74/304.08	c |    536877 |    1576    14220    46445 |    28772    26241     55 |  2.294 % |
303.84/304.11	c |    536998 |    1576    14220    46445 |    28772    26362     55 |  2.294 % |
303.84/304.14	c |    537134 |    1576    14220    46445 |    28772    26498     55 |  2.294 % |
303.84/304.19	c |    537281 |    1576    14220    46445 |    28772    26645     55 |  2.294 % |
303.94/304.28	c |    537442 |    1576    14220    46445 |    28772    26806     55 |  2.294 % |
304.04/304.39	c |    537619 |    1576    14220    46445 |    28772    26983     55 |  2.294 % |
304.24/304.50	c |    537814 |    1576    14220    46445 |    28772    27178     56 |  2.294 % |
304.34/304.63	c |    538028 |    1576    14220    46445 |    28772    27392     56 |  2.294 % |
304.44/304.74	c |    538261 |    1576    14220    46445 |    28772    27625     56 |  2.294 % |
304.54/304.87	c |    538520 |    1576    14220    46445 |    28772    27884     57 |  2.294 % |
304.84/305.10	c |    538801 |    1576    14220    46445 |    28772    28165     57 |  2.294 % |
304.94/305.22	c |    539113 |    1576    14220    46445 |    28772    28477     57 |  2.294 % |
305.14/305.43	c |    539452 |    1576    14220    46445 |    28772    28816     58 |  2.294 % |
305.34/305.66	c |    539824 |    1576    14220    46445 |    28772    26307     54 |  2.294 % |
305.54/305.83	c |    540234 |    1576    14220    46445 | 2147483647    26717     55 |  2.294 % |
305.74/306.01	c |    540683 |    1576    14220    46445 | 2147483647    27166     55 |  2.294 % |
305.94/306.27	c |    541178 |    1576    14220    46445 | 2147483647    27661     55 |  2.294 % |
306.24/306.52	c |    541720 |    1576    14220    46445 | 2147483647    28203     56 |  2.294 % |
306.54/306.83	c |    542317 |    1576    14220    46445 | 2147483647    28800     56 |  2.294 % |
306.84/307.18	c |    542972 |    1576    14220    46445 | 2147483647    29455     57 |  2.294 % |
307.24/307.57	c |    543694 |    1576    14220    46445 | 2147483647    30177     58 |  2.294 % |
307.64/307.95	c |    544486 |    1576    14220    46445 | 2147483647    30969     59 |  2.294 % |
308.14/308.47	c |    545357 |    1576    14220    46445 | 2147483647    31840     60 |  2.294 % |
308.84/309.16	c |    546316 |    1576    14220    46445 | 2147483647    32799     61 |  2.294 % |
309.44/309.75	c |    547369 |    1576    14220    46445 | 2147483647    33852     61 |  2.294 % |
310.44/310.74	c |    548528 |    1576    14220    46445 | 2147483647    35011     62 |  2.294 % |
311.43/311.74	c |    549807 |    1576    14220    46445 | 2147483647    36290     63 |  2.294 % |
312.63/312.94	c |    551213 |    1576    14220    46445 |    36484    33110     59 |  2.294 % |
313.93/314.28	c |    552755 |    1576    14220    46445 |    36484    34652     60 |  2.294 % |
315.13/315.46	c |    554452 |    1576    14220    46445 |    36484    36349     62 |  2.294 % |
316.43/316.80	c |    556320 |    1576    14220    46445 |    36484    32688     58 |  2.294 % |
317.83/318.11	c |    558371 |    1576    14220    46445 |    36484    34739     59 |  2.294 % |
319.63/319.90	c |    560624 |    1576    14220    46445 |    36368    31395     56 |  2.294 % |
321.13/321.41	c |    563104 |    1576    14220    46445 |    36368    33875     59 |  2.294 % |
322.93/323.22	c |    565831 |    1576    14220    46445 |    36368    36602     61 |  2.294 % |
324.93/325.21	c |    568832 |    1576    14220    46445 |    36368    34302     60 |  2.294 % |
327.03/327.37	c |    572130 |    1576    14220    46445 |    35470    31827     58 |  2.294 % |
329.53/329.89	c |    575756 |    1576    14220    46445 |    35470    35453     60 |  2.294 % |
332.12/332.46	c |    579746 |    1576    14220    46445 |    35470    33852     59 |  2.294 % |
334.52/334.84	c |    584131 |    1576    14220    46445 |    34106    33180     60 |  2.294 % |
337.52/337.87	c |    588956 |    1576    14220    46445 |    34106    33955     61 |  2.294 % |
340.42/340.74	c |    594262 |    1576    14220    46445 |    31177    29001     58 |  2.294 % |
340.52/340.81	c |    594364 |    1576    14220    46445 |    31177    29103     58 |  2.294 % |
340.52/340.88	c |    594477 |    1576    14220    46445 |    31177    29216     58 |  2.294 % |
340.63/340.95	c |    594600 |    1576    14220    46445 |    31177    29339     58 |  2.294 % |
340.73/341.03	c |    594734 |    1576    14220    46445 |    31177    29473     58 |  2.294 % |
340.82/341.13	c |    594881 |    1576    14220    46445 |    31177    29620     59 |  2.294 % |
340.92/341.24	c |    595043 |    1576    14220    46445 |    31177    29782     59 |  2.294 % |
341.02/341.37	c |    595219 |    1576    14220    46445 |    31177    29958     59 |  2.294 % |
341.12/341.48	c |    595417 |    1576    14220    46445 |    31177    30156     59 |  2.294 % |
341.32/341.65	c |    595631 |    1576    14220    46445 |    31177    30370     59 |  2.294 % |
341.52/341.81	c |    595864 |    1576    14220    46445 |    31177    30603     60 |  2.294 % |
341.62/341.95	c |    596120 |    1576    14220    46445 |    31177    30859     60 |  2.294 % |
341.83/342.15	c |    596401 |    1576    14220    46445 |    31177    31140     60 |  2.294 % |
342.12/342.41	c |    596712 |    1576    14220    46445 |    31177    31451     60 |  2.294 % |
342.32/342.62	c |    597052 |    1576    14220    46445 |    31177    28646     57 |  2.294 % |
342.52/342.84	c |    597426 |    1576    14220    46445 |    31177    29020     57 |  2.294 % |
342.62/342.99	c |    597835 |    1576    14220    46445 |    31177    29429     58 |  2.294 % |
342.82/343.18	c |    598285 |    1576    14220    46445 |    31177    29879     58 |  2.294 % |
343.02/343.31	c |    598780 |    1576    14220    46445 |    31177    30374     58 |  2.294 % |
343.22/343.59	c |    599322 |    1576    14220    46445 |    31177    30916     58 |  2.294 % |
343.72/344.00	c |    599918 |    1576    14220    46445 |    31177    31512     58 |  2.294 % |
344.02/344.34	c |    600576 |    1576    14220    46445 | 2147483647    29019     54 |  2.294 % |
344.42/344.76	c |    601296 |    1576    14220    46445 | 2147483647    29739     55 |  2.294 % |
344.92/345.29	c |    602088 |    1576    14220    46445 | 2147483647    30531     57 |  2.294 % |
345.52/345.86	c |    602960 |    1576    14220    46445 | 2147483647    31403     58 |  2.294 % |
346.12/346.46	c |    603918 |    1576    14220    46445 | 2147483647    32361     59 |  2.294 % |
346.62/346.97	c |    604971 |    1576    14220    46445 | 2147483647    33414     60 |  2.294 % |
347.42/347.76	c |    606129 |    1576    14220    46445 | 2147483647    34572     61 |  2.294 % |
348.12/348.48	c |    607402 |    1576    14220    46445 | 2147483647    35845     62 |  2.294 % |
348.82/349.16	c |    608802 |    1576    14220    46445 | 2147483647    37245     63 |  2.294 % |
349.91/350.26	c |    610342 |    1576    14220    46445 |    38446    38785     65 |  2.294 % |
351.21/351.54	c |    612038 |    1576    14220    46445 |    38446    35500     62 |  2.294 % |
352.71/353.06	c |    613902 |    1576    14220    46445 |    38446    37364     63 |  2.294 % |
354.31/354.61	c |    615953 |    1576    14220    46445 |    38446    33117     58 |  2.294 % |
356.20/356.57	c |    618206 |    1576    14220    46445 |    38446    35370     60 |  2.294 % |
357.80/358.12	c |    620686 |    1576    14220    46445 |    37164    31600     56 |  2.294 % |
359.80/360.19	c |    623411 |    1576    14220    46445 |    37164    34325     59 |  2.294 % |
362.40/362.79	c |    626409 |    1576    14220    46445 |    37164    37323     61 |  2.294 % |
364.40/364.71	c |    629705 |    1576    14220    46445 |    37164    34574     58 |  2.294 % |
367.60/367.93	c |    633331 |    1576    14220    46445 |    34870    32642     57 |  2.294 % |
370.40/370.73	c |    637321 |    1576    14220    46445 |    34870    31351     56 |  2.294 % |
374.00/374.37	c |    641706 |    1576    14220    46445 |    34034    30166     56 |  2.294 % |
376.30/376.61	c |    646532 |    1576    14220    46445 |    34034    30646     56 |  2.294 % |
379.50/379.86	c |    651839 |    1576    14220    46445 |    34115    32097     58 |  2.294 % |
383.29/383.66	c |    657678 |    1576    14220    46445 |    34115    34192     62 |  2.294 % |
383.39/383.76	c |    657780 |    1576    14220    46445 |    34115    30636     60 |  2.294 % |
383.50/383.83	c |    657890 |    1576    14220    46445 |    34115    30746     60 |  2.294 % |
383.60/383.91	c |    658011 |    1576    14220    46445 |    34115    30867     60 |  2.294 % |
383.69/384.01	c |    658144 |    1576    14220    46445 |    34115    31000     60 |  2.294 % |
383.69/384.07	c |    658290 |    1576    14220    46445 |    34115    31146     60 |  2.294 % |
383.79/384.18	c |    658451 |    1576    14220    46445 |    34115    31307     60 |  2.294 % |
383.99/384.30	c |    658627 |    1576    14220    46445 |    34115    31483     61 |  2.294 % |
384.09/384.43	c |    658821 |    1576    14220    46445 |    34115    31677     61 |  2.294 % |
384.19/384.58	c |    659035 |    1576    14220    46445 |    34115    31891     61 |  2.294 % |
384.39/384.71	c |    659268 |    1576    14220    46445 |    34115    32124     61 |  2.294 % |
384.49/384.88	c |    659525 |    1576    14220    46445 |    34115    32381     62 |  2.294 % |
384.69/385.06	c |    659807 |    1576    14220    46445 |    34115    32663     62 |  2.294 % |
384.89/385.28	c |    660116 |    1576    14220    46445 |    32856    32972     62 |  2.294 % |
385.09/385.49	c |    660456 |    1576    14220    46445 |    32856    29691     60 |  2.294 % |
385.39/385.75	c |    660829 |    1576    14220    46445 |    32856    30064     60 |  2.294 % |
385.59/385.92	c |    661239 |    1576    14220    46445 |    32856    30474     60 |  2.294 % |
385.79/386.10	c |    661688 |    1576    14220    46445 |    32856    30923     61 |  2.294 % |
386.09/386.44	c |    662181 |    1576    14220    46445 |    32856    31416     62 |  2.294 % |
386.39/386.78	c |    662723 |    1576    14220    46445 |    32856    31958     62 |  2.294 % |
386.79/387.14	c |    663320 |    1576    14220    46445 |    32856    32555     63 |  2.294 % |
387.09/387.43	c |    663975 |    1576    14220    46445 |    32856    33210     63 |  2.294 % |
387.59/387.98	c |    664695 |    1576    14220    46445 |    32856    30536     60 |  2.294 % |
388.09/388.48	c |    665487 |    1576    14220    46445 |    32856    31328     61 |  2.294 % |
388.79/389.11	c |    666358 |    1576    14220    46445 |    32856    32199     62 |  2.294 % |
389.29/389.63	c |    667316 |    1576    14220    46445 |    32856    33157     63 |  2.294 % |
389.99/390.33	c |    668369 |    1576    14220    46445 |    32856    30773     59 |  2.294 % |
390.59/390.96	c |    669527 |    1576    14220    46445 |    32856    31931     61 |  2.294 % |
391.39/391.70	c |    670800 |    1576    14220    46445 |    32404    29550     58 |  2.294 % |
392.09/392.43	c |    672201 |    1576    14220    46445 |    32404    30951     59 |  2.294 % |
392.99/393.38	c |    673742 |    1576    14220    46445 |    32404    32492     60 |  2.294 % |
394.19/394.50	c |    675441 |    1576    14220    46445 |    32404    30423     57 |  2.294 % |
395.38/395.73	c |    677304 |    1576    14220    46445 |    32404    32286     60 |  2.294 % |
397.08/397.42	c |    679354 |    1576    14220    46445 |    32404    30684     58 |  2.294 % |
398.68/399.00	c |    681607 |    1576    14220    46445 |    31330    29207     57 |  2.294 % |
399.88/400.27	c |    684085 |    1576    14220    46445 |    31330    31685     60 |  2.294 % |
401.87/402.24	c |    686811 |    1576    14220    46445 |    31330    31183     59 |  2.294 % |
403.67/404.06	c |    689808 |    1576    14220    46445 |    31330    30461     59 |  2.294 % |
405.77/406.10	c |    693104 |    1576    14220    46445 |    30654    30134     57 |  2.294 % |
407.78/408.14	c |    696730 |    1575    14203    46401 |    30654    30044     57 |  2.356 % |
410.37/410.78	c |    700718 |    1575    14203    46401 |    29709    26860     53 |  2.356 % |
412.77/413.12	c |    705103 |    1575    14203    46401 |    29709    28243     54 |  2.356 % |
414.87/415.28	c |    709926 |    1575    14203    46401 |    29709    30024     59 |  2.356 % |
417.37/417.73	c |    715232 |    1575    14203    46401 | 2147483647    32328     60 |  2.356 % |
422.27/422.64	c |    721068 |    1575    14203    46401 |    37096    33256     62 |  2.356 % |
426.87/427.24	c |    727486 |    1575    14203    46401 |    37096    34100     63 |  2.356 % |
426.97/427.33	c |    727586 |    1575    14203    46401 |    37096    34200     63 |  2.356 % |
427.07/427.40	c |    727698 |    1575    14203    46401 |    37096    34312     63 |  2.356 % |
427.07/427.45	c |    727826 |    1575    14203    46401 |    37096    34440     63 |  2.356 % |
427.07/427.48	c |    727960 |    1575    14203    46401 |    37096    34574     63 |  2.356 % |
427.16/427.56	c |    728108 |    1575    14203    46401 |    37096    34722     63 |  2.356 % |
427.26/427.65	c |    728270 |    1575    14203    46401 |    37096    34884     63 |  2.356 % |
427.36/427.78	c |    728448 |    1575    14203    46401 |    37096    35062     63 |  2.356 % |
427.57/427.94	c |    728641 |    1575    14203    46401 |    37096    35255     64 |  2.356 % |
427.76/428.10	c |    728855 |    1575    14203    46401 |    37096    35469     64 |  2.356 % |
427.86/428.27	c |    729089 |    1575    14203    46401 |    37096    35703     64 |  2.356 % |
428.16/428.55	c |    729345 |    1575    14203    46401 |    37096    35959     64 |  2.356 % |
428.36/428.79	c |    729628 |    1575    14203    46401 |    37096    36242     64 |  2.356 % |
428.67/429.02	c |    729938 |    1575    14203    46401 |    37096    36552     64 |  2.356 % |
428.86/429.29	c |    730277 |    1575    14203    46401 |    36614    36891     65 |  2.356 % |
429.06/429.48	c |    730649 |    1575    14203    46401 |    36614    31747     58 |  2.356 % |
429.36/429.71	c |    731058 |    1575    14203    46401 |    36614    32156     58 |  2.356 % |
429.67/430.06	c |    731508 |    1575    14203    46401 |    36614    32606     58 |  2.356 % |
430.16/430.51	c |    732003 |    1575    14203    46401 |    36614    33101     59 |  2.356 % |
430.46/430.83	c |    732547 |    1575    14203    46401 |    36614    33645     59 |  2.356 % |
430.87/431.27	c |    733144 |    1575    14203    46401 |    36614    34242     60 |  2.356 % |
431.26/431.65	c |    733799 |    1575    14203    46401 |    36614    34897     60 |  2.356 % |
431.76/432.15	c |    734522 |    1575    14203    46401 |    36614    35620     61 |  2.356 % |
432.46/432.87	c |    735314 |    1575    14203    46401 |    36614    36412     62 |  2.356 % |
433.16/433.53	c |    736187 |    1575    14203    46401 |    36614    31298     56 |  2.356 % |
433.76/434.16	c |    737145 |    1575    14203    46401 |    36614    32256     57 |  2.356 % |
434.46/434.81	c |    738198 |    1575    14203    46401 |    36614    33309     58 |  2.356 % |
434.96/435.39	c |    739360 |    1575    14203    46401 |    36614    34471     58 |  2.356 % |
435.56/435.98	c |    740633 |    1575    14203    46401 |    35111    30354     53 |  2.356 % |
436.26/436.65	c |    742033 |    1575    14203    46401 |    35111    31754     55 |  2.356 % |
437.46/437.81	c |    743575 |    1575    14203    46401 |    35111    33296     57 |  2.356 % |
438.56/438.99	c |    745269 |    1575    14203    46401 |    35111    34990     59 |  2.356 % |
439.66/440.08	c |    747135 |    1575    14203    46401 |    35111    31856     57 |  2.356 % |
440.95/441.34	c |    749184 |    1574    14186    46357 |    35111    33901     60 |  2.418 % |
442.45/442.89	c |    751437 |    1574    14186    46357 |    34717    31162     57 |  2.418 % |
444.06/444.46	c |    753915 |    1574    14186    46357 |    34717    33640     59 |  2.418 % |
445.85/446.25	c |    756642 |    1573    14186    46357 |    34717    31405     57 |  2.480 % |
447.64/448.06	c |    759640 |    1573    14186    46357 |    34717    34403     60 |  2.480 % |
449.24/449.60	c |    762936 |    1573    14169    46313 |    34764    33324     59 |  2.480 % |
451.34/451.71	c |    766562 |    1573    14169    46313 |    34764    32820     58 |  2.480 % |
453.84/454.25	c |    770550 |    1573    14169    46313 |    32194    29123     56 |  2.480 % |
456.23/456.66	c |    774942 |    1573    14169    46313 |    32194    30260     59 |  2.480 % |
459.23/459.61	c |    779765 |    1573    14169    46313 |    32194    31826     59 |  2.480 % |
463.03/463.40	c |    785071 |    1573    14169    46313 | 2147483647    37132     64 |  2.480 % |
468.43/468.82	c |    790906 |    1573    14169    46313 |    42063    36443     65 |  2.480 % |
472.63/473.01	c |    797326 |    1573    14169    46313 |    42063    35746     63 |  2.480 % |
477.23/477.65	c |    804386 |    1573    14169    46313 |    38420    36232     65 |  2.480 % |
477.33/477.72	c |    804487 |    1573    14169    46313 |    38420    36333     65 |  2.480 % |
477.43/477.81	c |    804598 |    1573    14169    46313 |    38420    36444     65 |  2.480 % |
477.43/477.90	c |    804720 |    1573    14169    46313 |    38420    36566     65 |  2.480 % |
477.63/478.02	c |    804853 |    1573    14169    46313 |    38420    36699     66 |  2.480 % |
477.73/478.15	c |    805001 |    1573    14169    46313 |    38420    36847     66 |  2.480 % |
477.83/478.28	c |    805161 |    1573    14169    46313 |    38420    37007     66 |  2.480 % |
478.03/478.46	c |    805338 |    1573    14169    46313 |    38420    37184     66 |  2.480 % |
478.13/478.57	c |    805532 |    1573    14169    46313 |    38420    37378     66 |  2.480 % |
478.33/478.70	c |    805745 |    1573    14169    46313 |    38420    37591     66 |  2.480 % |
478.43/478.90	c |    805978 |    1573    14169    46313 |    38420    37824     66 |  2.480 % |
478.72/479.12	c |    806234 |    1573    14169    46313 |    38420    38080     67 |  2.480 % |
479.02/479.43	c |    806515 |    1573    14169    46313 |    38420    38361     67 |  2.480 % |
479.32/479.77	c |    806824 |    1573    14169    46313 |    38420    38670     67 |  2.480 % |
479.62/480.03	c |    807164 |    1573    14169    46313 |    38420    32681     61 |  2.480 % |
479.92/480.34	c |    807537 |    1573    14169    46313 |    38420    33054     61 |  2.480 % |
480.23/480.65	c |    807947 |    1573    14169    46313 |    38420    33464     61 |  2.480 % |
480.52/480.92	c |    808396 |    1573    14169    46313 |    38420    33913     61 |  2.480 % |
480.82/481.25	c |    808889 |    1573    14169    46313 |    38420    34406     62 |  2.480 % |
481.12/481.59	c |    809431 |    1573    14169    46313 |    38420    34948     62 |  2.480 % |
481.62/482.03	c |    810029 |    1573    14169    46313 |    35518    35546     63 |  2.480 % |
482.12/482.52	c |    810688 |    1573    14169    46313 |    35518    30261     56 |  2.480 % |
482.52/482.90	c |    811408 |    1573    14169    46313 |    35518    30981     56 |  2.480 % |
483.02/483.44	c |    812200 |    1573    14169    46313 |    35518    31773     57 |  2.480 % |
483.42/483.80	c |    813073 |    1573    14169    46313 |    35518    32646     57 |  2.480 % |
484.02/484.49	c |    814031 |    1573    14169    46313 |    35518    33604     58 |  2.480 % |
484.82/485.29	c |    815084 |    1573    14169    46313 |    35518    34657     59 |  2.480 % |
486.02/486.40	c |    816244 |    1573    14169    46313 |    35518    35817     61 |  2.480 % |
486.82/487.20	c |    817518 |    1573    14169    46313 |    35518    31877     55 |  2.480 % |
487.72/488.15	c |    818919 |    1573    14169    46313 |    35518    33278     57 |  2.480 % |
489.02/489.44	c |    820459 |    1573    14169    46313 |    34359    29914     52 |  2.480 % |
489.72/490.14	c |    822153 |    1573    14169    46313 |    34359    31608     55 |  2.480 % |
490.91/491.35	c |    824016 |    1573    14169    46313 |    34359    33471     57 |  2.480 % |
492.11/492.57	c |    826065 |    1573    14169    46313 |    34359    30990     55 |  2.480 % |
493.61/494.07	c |    828318 |    1573    14169    46313 |    34359    33243     58 |  2.480 % |
495.41/495.80	c |    830798 |    1573    14169    46313 |    30379    27205     54 |  2.480 % |
497.01/497.41	c |    833524 |    1573    14169    46313 |    30379    29931     58 |  2.480 % |
498.81/499.27	c |    836521 |    1573    14169    46313 |    30379    29695     59 |  2.480 % |
501.01/501.44	c |    839818 |    1573    14169    46313 |    30379    29921     60 |  2.480 % |
502.71/503.14	c |    843443 |    1573    14169    46313 | 2147483647    33546     64 |  2.480 % |
505.91/506.36	c |    847433 |    1573    14169    46313 | 2147483647    37536     67 |  2.480 % |
509.11/509.50	c |    851818 |    1573    14169    46313 |    40104    36276     62 |  2.480 % |
513.21/513.66	c |    856643 |    1573    14169    46313 |    40104    34177     58 |  2.480 % |
518.20/518.64	c |    861949 |    1573    14169    46313 |    37534    32947     55 |  2.480 % |
522.70/523.11	c |    867785 |    1573    14169    46313 |    37534    32742     57 |  2.480 % |
526.90/527.35	c |    874203 |    1573    14169    46313 |    34958    33592     57 |  2.480 % |
530.80/531.29	c |    881264 |    1572    14152    46269 |    34714    31655     58 |  2.542 % |
536.49/536.97	c |    889030 |    1572    14152    46269 |    34714    34886     60 |  2.542 % |
536.59/537.08	c |    889131 |    1572    14152    46269 |    34714    30509     57 |  2.542 % |
536.69/537.15	c |    889242 |    1572    14152    46269 |    34714    30620     57 |  2.542 % |
536.79/537.21	c |    889364 |    1572    14152    46269 |    34714    30742     57 |  2.542 % |
536.79/537.28	c |    889497 |    1572    14152    46269 |    34714    30875     57 |  2.542 % |
536.89/537.34	c |    889643 |    1572    14152    46269 |    34714    31021     57 |  2.542 % |
536.99/537.41	c |    889803 |    1572    14152    46269 |    34714    31181     57 |  2.542 % |
537.09/537.52	c |    889979 |    1572    14152    46269 |    34714    31357     57 |  2.542 % |
537.19/537.64	c |    890172 |    1572    14152    46269 |    31378    31550     57 |  2.542 % |
537.29/537.76	c |    890385 |    1572    14152    46269 |    31378    27751     53 |  2.542 % |
537.40/537.88	c |    890620 |    1572    14152    46269 |    31378    27986     53 |  2.542 % |
537.50/537.98	c |    890880 |    1572    14152    46269 |    31378    28246     53 |  2.542 % |
537.69/538.16	c |    891162 |    1572    14152    46269 |    31378    28528     54 |  2.542 % |
537.89/538.39	c |    891472 |    1572    14152    46269 |    31378    28838     54 |  2.542 % |
538.09/538.57	c |    891811 |    1572    14152    46269 |    31378    29177     54 |  2.542 % |
538.19/538.68	c |    892183 |    1572    14152    46269 |    31378    29549     54 |  2.542 % |
538.39/538.88	c |    892592 |    1572    14152    46269 |    31378    29958     55 |  2.542 % |
538.69/539.13	c |    893042 |    1571    14135    46225 |    31378    30406     55 |  2.604 % |
538.89/539.39	c |    893537 |    1571    14135    46225 |    31378    30901     56 |  2.604 % |
539.39/539.81	c |    894082 |    1571    14135    46225 |    31378    31446     56 |  2.604 % |
539.69/540.16	c |    894678 |    1571    14135    46225 |    31378    28873     54 |  2.604 % |
540.09/540.57	c |    895334 |    1571    14135    46225 |    31378    29529     55 |  2.604 % |
540.59/541.02	c |    896055 |    1571    14135    46225 |    31378    30250     56 |  2.604 % |
540.99/541.49	c |    896848 |    1571    14135    46225 |    31378    31043     57 |  2.604 % |
541.49/541.97	c |    897719 |    1571    14135    46225 |    31378    28726     53 |  2.604 % |
542.19/542.62	c |    898678 |    1571    14135    46225 |    31378    29685     55 |  2.604 % |
542.79/543.22	c |    899733 |    1571    14135    46225 |    31378    30740     56 |  2.604 % |
543.38/543.89	c |    900892 |    1571    14135    46225 | 2147483647    31899     57 |  2.604 % |
544.18/544.63	c |    902165 |    1571    14135    46225 | 2147483647    33172     59 |  2.604 % |
545.09/545.59	c |    903565 |    1571    14135    46225 | 2147483647    34572     60 |  2.604 % |
546.08/546.53	c |    905107 |    1571    14135    46225 | 2147483647    36114     62 |  2.604 % |
547.29/547.79	c |    906801 |    1571    14135    46225 | 2147483647    37808     62 |  2.604 % |
548.49/548.99	c |    908664 |    1571    14135    46225 | 2147483647    39671     64 |  2.604 % |
550.78/551.23	c |    910713 |    1571    14135    46225 |    41011    34952     61 |  2.604 % |
552.58/553.10	c |    912966 |    1571    14135    46225 |    41011    37205     62 |  2.604 % |
554.38/554.84	c |    915447 |    1571    14135    46225 |    41011    39686     65 |  2.604 % |
556.08/556.60	c |    918172 |    1571    14135    46225 |    41011    34930     61 |  2.604 % |
558.18/558.61	c |    921169 |    1571    14135    46225 |    36759    31545     56 |  2.604 % |
560.28/560.73	c |    924465 |    1571    14135    46225 |    36759    34841     59 |  2.604 % |
562.58/563.04	c |    928094 |    1571    14135    46225 |    36759    33122     58 |  2.604 % |
565.38/565.84	c |    932082 |    1571    14135    46225 |    35033    32094     57 |  2.604 % |
568.68/569.17	c |    936468 |    1570    14118    46181 |    35033    32009     56 |  2.666 % |
571.88/572.31	c |    941292 |    1570    14118    46181 |    31029    28464     53 |  2.666 % |
574.97/575.48	c |    946599 |    1570    14118    46181 |    31029    30373     57 |  2.666 % |
579.07/579.54	c |    952436 |    1570    14118    46181 |    30380    29675     58 |  2.666 % |
582.57/583.09	c |    958854 |    1570    14118    46181 |    30380    29907     56 |  2.666 % |
587.07/587.58	c |    965914 |    1570    14118    46181 | 2147483647    33880     58 |  2.666 % |
592.77/593.28	c |    973680 |    1570    14118    46181 |    37966    36332     60 |  2.666 % |
598.87/599.35	c |    982220 |    1570    14118    46181 |    36997    33675     58 |  2.666 % |
598.97/599.45	c |    982320 |    1570    14118    46181 |    36997    33775     58 |  2.666 % |
599.07/599.53	c |    982431 |    1570    14118    46181 |    36997    33886     58 |  2.666 % |
599.07/599.57	c |    982554 |    1570    14118    46181 |    36997    34009     58 |  2.666 % |
599.17/599.66	c |    982689 |    1570    14118    46181 |    36997    34144     58 |  2.666 % |
599.27/599.76	c |    982836 |    1570    14118    46181 |    36997    34291     58 |  2.666 % |
599.37/599.86	c |    982998 |    1570    14118    46181 |    36997    34453     58 |  2.666 % |
599.57/600.01	c |    983179 |    1570    14118    46181 |    36997    34634     59 |  2.666 % |
599.67/600.15	c |    983373 |    1570    14118    46181 |    36997    34828     59 |  2.666 % |
599.77/600.30	c |    983587 |    1570    14118    46181 |    36997    35042     59 |  2.666 % |
599.97/600.47	c |    983823 |    1570    14118    46181 |    36997    35278     59 |  2.666 % |
600.17/600.69	c |    984080 |    1570    14118    46181 |    36997    35535     59 |  2.666 % |
600.47/600.94	c |    984362 |    1570    14118    46181 |    36997    35817     59 |  2.666 % |
600.67/601.13	c |    984677 |    1570    14118    46181 |    36997    36132     60 |  2.666 % |
600.87/601.33	c |    985017 |    1570    14118    46181 |    36997    36472     60 |  2.666 % |
601.07/601.59	c |    985391 |    1570    14118    46181 |    36997    36846     60 |  2.666 % |
601.37/601.90	c |    985801 |    1570    14118    46181 |    36997    37256     61 |  2.666 % |
601.77/602.25	c |    986250 |    1570    14118    46181 |    36997    32086     56 |  2.666 % |
602.07/602.50	c |    986743 |    1570    14118    46181 |    36997    32579     56 |  2.666 % |
602.47/602.91	c |    987286 |    1570    14118    46181 |    36997    33122     57 |  2.666 % |
602.87/603.33	c |    987882 |    1570    14118    46181 |    36997    33718     57 |  2.666 % |
603.27/603.72	c |    988542 |    1570    14118    46181 |    36997    34378     58 |  2.666 % |
603.87/604.31	c |    989262 |    1570    14118    46181 |    36997    35098     59 |  2.666 % |
604.57/605.00	c |    990054 |    1570    14118    46181 |    35839    35890     60 |  2.666 % |
605.27/605.71	c |    990928 |    1570    14118    46181 |    35839    31305     54 |  2.666 % |
605.87/606.33	c |    991886 |    1570    14118    46181 |    35839    32263     56 |  2.666 % |
606.67/607.17	c |    992943 |    1570    14118    46181 |    35839    33320     57 |  2.666 % |
607.77/608.23	c |    994101 |    1570    14118    46181 |    35839    34478     58 |  2.666 % |
608.77/609.26	c |    995375 |    1570    14118    46181 |    35839    35752     59 |  2.666 % |
609.57/610.01	c |    996776 |    1570    14118    46181 |    35839    31500     53 |  2.666 % |
610.57/611.08	c |    998317 |    1570    14118    46181 |    35839    33041     55 |  2.666 % |
612.06/612.56	c |   1000013 |    1570    14118    46181 |    34724    34737     57 |  2.666 % |
613.66/614.15	c |   1001876 |    1570    14118    46181 |    34724    31246     54 |  2.666 % |
614.67/615.19	c |   1003925 |    1570    14118    46181 |    34724    33295     57 |  2.666 % |
616.26/616.79	c |   1006179 |    1570    14118    46181 |    34724    30430     53 |  2.666 % |
617.96/618.49	c |   1008658 |    1570    14118    46181 |    34724    32909     55 |  2.666 % |
620.16/620.67	c |   1011384 |    1570    14118    46181 |    34252    30444     53 |  2.666 % |
621.96/622.50	c |   1014386 |    1570    14118    46181 |    34252    33446     57 |  2.666 % |
623.76/624.22	c |   1017685 |    1570    14118    46181 |    34252    32287     57 |  2.666 % |
626.46/626.95	c |   1021310 |    1570    14118    46181 |    34603    31227     57 |  2.666 % |
629.55/630.09	c |   1025301 |    1570    14118    46181 |    34603    30302     57 |  2.666 % |
633.06/633.59	c |   1029686 |    1570    14118    46181 |    34603    34687     61 |  2.666 % |
636.05/636.52	c |   1034510 |    1570    14118    46181 |    30053    30186     54 |  2.666 % |
638.85/639.33	c |   1039815 |    1570    14118    46181 |    30053    28426     53 |  2.666 % |
641.96/642.48	c |   1045651 |    1570    14118    46181 |    28611    28457     55 |  2.666 % |
645.35/645.81	c |   1052070 |    1570    14118    46181 | 2147483647    29076     60 |  2.666 % |
649.85/650.37	c |   1059129 |    1570    14118    46181 | 2147483647    36135     68 |  2.666 % |
655.35/655.86	c |   1066895 |    1570    14118    46181 |    37007    33910     67 |  2.666 % |
661.55/662.05	c |   1075436 |    1570    14118    46181 |    37017    36389     69 |  2.666 % |
668.14/668.60	c |   1084830 |    1570    14118    46181 |    34569    33435     65 |  2.666 % |
668.14/668.68	c |   1084930 |    1570    14118    46181 |    34569    33535     65 |  2.666 % |
668.25/668.76	c |   1085043 |    1570    14118    46181 |    34569    33648     65 |  2.666 % |
668.25/668.80	c |   1085166 |    1570    14118    46181 |    34569    33771     65 |  2.666 % |
668.35/668.87	c |   1085299 |    1570    14118    46181 |    34569    33904     65 |  2.666 % |
668.44/668.98	c |   1085445 |    1570    14118    46181 |    34569    34050     65 |  2.666 % |
668.64/669.13	c |   1085610 |    1570    14118    46181 |    34569    34215     65 |  2.666 % |
668.74/669.26	c |   1085786 |    1570    14118    46181 |    34569    34391     65 |  2.666 % |
668.84/669.33	c |   1085979 |    1570    14118    46181 |    34569    34584     65 |  2.666 % |
668.94/669.47	c |   1086192 |    1570    14118    46181 |    34569    34797     65 |  2.666 % |
669.14/669.63	c |   1086425 |    1570    14118    46181 |    34569    29308     58 |  2.666 % |
669.24/669.78	c |   1086684 |    1570    14118    46181 |    34569    29567     58 |  2.666 % |
669.35/669.87	c |   1086965 |    1570    14118    46181 |    34569    29848     58 |  2.666 % |
669.45/670.00	c |   1087274 |    1570    14118    46181 |    34569    30157     58 |  2.666 % |
669.64/670.17	c |   1087613 |    1570    14118    46181 |    34569    30496     59 |  2.666 % |
669.74/670.25	c |   1087987 |    1570    14118    46181 |    34569    30870     59 |  2.666 % |
669.94/670.44	c |   1088397 |    1570    14118    46181 |    34569    31280     59 |  2.666 % |
670.14/670.64	c |   1088847 |    1570    14118    46181 |    34569    31730     59 |  2.666 % |
670.45/670.95	c |   1089341 |    1570    14118    46181 |    34569    32224     59 |  2.666 % |
670.74/671.22	c |   1089885 |    1570    14118    46181 |    34569    32768     60 |  2.666 % |
670.94/671.48	c |   1090481 |    1570    14118    46181 |    32883    33364     60 |  2.666 % |
671.34/671.81	c |   1091137 |    1570    14118    46181 |    32883    29409     55 |  2.666 % |
671.64/672.17	c |   1091859 |    1570    14118    46181 |    32883    30131     56 |  2.666 % |
672.04/672.58	c |   1092652 |    1570    14118    46181 |    32883    30924     57 |  2.666 % |
672.54/673.02	c |   1093523 |    1570    14118    46181 |    32883    31795     58 |  2.666 % |
673.14/673.61	c |   1094482 |    1570    14118    46181 |    32883    32754     59 |  2.666 % |
673.74/674.27	c |   1095536 |    1570    14118    46181 |    32883    30297     56 |  2.666 % |
674.34/674.85	c |   1096694 |    1570    14118    46181 |    32883    31455     56 |  2.666 % |
675.03/675.54	c |   1097968 |    1570    14118    46181 |    32883    32729     58 |  2.666 % |
676.04/676.50	c |   1099370 |    1570    14118    46181 |    32883    30803     55 |  2.666 % |
676.83/677.39	c |   1100911 |    1570    14118    46181 | 2147483647    32344     57 |  2.666 % |
677.73/678.30	c |   1102605 |    1570    14118    46181 | 2147483647    34038     58 |  2.666 % |
679.03/679.57	c |   1104470 |    1570    14118    46181 | 2147483647    35903     59 |  2.666 % |
680.34/680.85	c |   1106519 |    1570    14118    46181 | 2147483647    37952     61 |  2.666 % |
682.43/682.95	c |   1108772 |    1570    14118    46181 | 2147483647    40205     63 |  2.666 % |
684.33/684.80	c |   1111251 |    1570    14118    46181 |    41433    36396     61 |  2.666 % |
687.13/687.67	c |   1113979 |    1570    14118    46181 |    41433    39124     63 |  2.666 % |
689.63/690.14	c |   1116976 |    1570    14118    46181 |    41433    34155     59 |  2.666 % |
691.93/692.48	c |   1120273 |    1570    14118    46181 |    37179    37452     62 |  2.666 % |
694.13/694.66	c |   1123899 |    1570    14118    46181 |    37179    34326     61 |  2.666 % |
696.83/697.35	c |   1127888 |    1570    14118    46181 |    37179    32624     60 |  2.666 % |
700.03/700.57	c |   1132275 |    1570    14118    46181 |    34737    31536     59 |  2.666 % |
703.33/703.86	c |   1137098 |    1570    14118    46181 |    34737    31329     60 |  2.666 % |
707.12/707.65	c |   1142403 |    1570    14118    46181 |    34232    31866     58 |  2.666 % |
711.32/711.81	c |   1148239 |    1570    14118    46181 |    34232    32873     56 |  2.666 % |
715.12/715.62	c |   1154658 |    1570    14118    46181 |    34634    34685     59 |  2.666 % |
719.61/720.12	c |   1161718 |    1570    14118    46181 |    32004    29813     57 |  2.666 % |
723.51/724.08	c |   1169482 |    1570    14118    46181 |    32004    30836     61 |  2.666 % |
728.61/729.17	c |   1178022 |    1570    14118    46181 | 2147483647    39376     69 |  2.666 % |
736.21/736.74	c |   1187417 |    1570    14118    46181 |    41354    35995     68 |  2.666 % |
743.91/744.50	c |   1197751 |    1570    14118    46181 |    38578    33138     61 |  2.666 % |
744.01/744.57	c |   1197852 |    1570    14118    46181 |    38578    33239     62 |  2.666 % |
744.11/744.65	c |   1197962 |    1570    14118    46181 |    38578    33349     62 |  2.666 % |
744.21/744.77	c |   1198083 |    1570    14118    46181 |    38578    33470     62 |  2.666 % |
744.41/744.90	c |   1198216 |    1570    14118    46181 |    38578    33603     62 |  2.666 % |
744.51/745.01	c |   1198362 |    1570    14118    46181 |    38578    33749     62 |  2.666 % |
744.61/745.14	c |   1198522 |    1570    14118    46181 |    38578    33909     62 |  2.666 % |
744.71/745.28	c |   1198701 |    1570    14118    46181 |    38578    34088     62 |  2.666 % |
744.91/745.43	c |   1198894 |    1570    14118    46181 |    38578    34281     62 |  2.666 % |
745.01/745.57	c |   1199107 |    1570    14118    46181 |    38578    34494     62 |  2.666 % |
745.21/745.71	c |   1199343 |    1570    14118    46181 |    38578    34730     63 |  2.666 % |
745.31/745.86	c |   1199599 |    1570    14118    46181 |    38578    34986     63 |  2.666 % |
745.61/746.12	c |   1199880 |    1570    14118    46181 |    38578    35267     63 |  2.666 % |
745.81/746.34	c |   1200191 |    1570    14118    46181 |    35387    35578     64 |  2.666 % |
746.01/746.53	c |   1200530 |    1570    14118    46181 |    35387    29974     57 |  2.666 % |
746.20/746.73	c |   1200903 |    1570    14118    46181 |    35387    30347     57 |  2.666 % |
746.41/746.92	c |   1201314 |    1570    14118    46181 |    35387    30758     58 |  2.666 % |
746.60/747.18	c |   1201763 |    1570    14118    46181 |    35387    31207     58 |  2.666 % |
747.00/747.51	c |   1202258 |    1570    14118    46181 |    35387    31702     59 |  2.666 % |
747.41/747.90	c |   1202801 |    1570    14118    46181 |    35387    32245     59 |  2.666 % |
747.70/748.24	c |   1203397 |    1570    14118    46181 |    35387    32841     60 |  2.666 % |
748.20/748.70	c |   1204052 |    1570    14118    46181 |    35387    33496     60 |  2.666 % |
748.80/749.38	c |   1204775 |    1570    14118    46181 |    35387    34219     61 |  2.666 % |
749.30/749.88	c |   1205568 |    1570    14118    46181 |    35387    35012     62 |  2.666 % |
749.71/750.29	c |   1206439 |    1570    14118    46181 |    35387    30436     55 |  2.666 % |
750.40/750.95	c |   1207397 |    1570    14118    46181 |    35387    31394     56 |  2.666 % |
750.90/751.49	c |   1208451 |    1570    14118    46181 |    35387    32448     58 |  2.666 % |
751.50/752.05	c |   1209610 |    1570    14118    46181 |    35387    33607     59 |  2.666 % |
752.50/753.06	c |   1210884 |    1570    14118    46181 |    34000    29599     54 |  2.666 % |
753.20/753.76	c |   1212285 |    1570    14118    46181 |    34000    31000     55 |  2.666 % |
754.30/754.83	c |   1213825 |    1570    14118    46181 |    34000    32540     58 |  2.666 % |
755.40/755.99	c |   1215519 |    1570    14118    46181 |    34000    34234     59 |  2.666 % |
756.70/757.25	c |   1217382 |    1570    14118    46181 |    34000    31238     57 |  2.666 % |
758.20/758.78	c |   1219432 |    1570    14118    46181 |    34000    33288     59 |  2.666 % |
759.70/760.28	c |   1221686 |    1570    14118    46181 |    33857    30612     56 |  2.666 % |
761.20/761.75	c |   1224164 |    1570    14118    46181 |    33857    33090     60 |  2.666 % |
762.70/763.23	c |   1226892 |    1570    14118    46181 |    33857    31425     58 |  2.666 % |
764.49/765.04	c |   1229890 |    1570    14118    46181 |    33857    30322     57 |  2.666 % |
766.20/766.79	c |   1233186 |    1570    14118    46181 |    30434    29771     56 |  2.666 % |
767.79/768.38	c |   1236812 |    1570    14118    46181 |    30434    30292     57 |  2.666 % |
769.79/770.38	c |   1240799 |    1570    14118    46181 | 2147483647    31194     57 |  2.666 % |
772.39/772.96	c |   1245184 |    1570    14118    46181 | 2147483647    35579     62 |  2.666 % |
775.89/776.45	c |   1250008 |    1570    14118    46181 |    40395    40403     65 |  2.666 % |
780.19/780.78	c |   1255316 |    1570    14118    46181 |    40395    39339     66 |  2.666 % |
784.29/784.81	c |   1261152 |    1570    14118    46181 |    36308    31361     58 |  2.666 % |
788.99/789.53	c |   1267574 |    1570    14118    46181 |    36308    32234     59 |  2.666 % |
793.28/793.86	c |   1274635 |    1570    14118    46181 |    34660    34254     62 |  2.666 % |
797.38/797.98	c |   1282399 |    1570    14118    46181 |    31077    29750     57 |  2.666 % |
802.08/802.68	c |   1290939 |    1570    14118    46181 | 2147483647    31976     59 |  2.666 % |
808.67/809.23	c |   1300334 |    1570    14118    46181 |    41040    41371     68 |  2.666 % |
816.77/817.39	c |   1310669 |    1570    14118    46181 |    38653    32213     59 |  2.666 % |
823.77/824.39	c |   1322038 |    1570    14118    46181 |    35854    32822     62 |  2.666 % |
823.87/824.44	c |   1322138 |    1570    14118    46181 |    35854    32922     62 |  2.666 % |
823.87/824.46	c |   1322249 |    1570    14118    46181 |    35854    33033     62 |  2.666 % |
823.97/824.54	c |   1322370 |    1570    14118    46181 |    35854    33154     62 |  2.666 % |
824.07/824.63	c |   1322503 |    1570    14118    46181 |    35854    33287     62 |  2.666 % |
824.17/824.71	c |   1322649 |    1570    14118    46181 |    35854    33433     62 |  2.666 % |
824.27/824.81	c |   1322810 |    1570    14118    46181 |    35854    33594     62 |  2.666 % |
824.37/824.91	c |   1322990 |    1570    14118    46181 |    35854    33774     63 |  2.666 % |
824.47/825.08	c |   1323183 |    1570    14118    46181 |    35854    33967     63 |  2.666 % |
824.67/825.20	c |   1323396 |    1570    14118    46181 |    35854    34180     63 |  2.666 % |
824.77/825.36	c |   1323632 |    1570    14118    46181 |    35854    34416     63 |  2.666 % |
824.97/825.56	c |   1323888 |    1570    14118    46181 |    35854    34672     63 |  2.666 % |
825.27/825.82	c |   1324171 |    1570    14118    46181 |    35854    34955     64 |  2.666 % |
825.47/826.02	c |   1324482 |    1570    14118    46181 |    35854    35266     64 |  2.666 % |
825.77/826.33	c |   1324821 |    1570    14118    46181 |    35854    35605     64 |  2.666 % |
826.07/826.65	c |   1325193 |    1570    14118    46181 |    35854    35977     64 |  2.666 % |
826.27/826.89	c |   1325606 |    1570    14118    46181 |    35854    31446     62 |  2.666 % |
826.67/827.25	c |   1326057 |    1570    14118    46181 |    35854    31897     62 |  2.666 % |
826.97/827.59	c |   1326550 |    1570    14118    46181 |    35854    32390     62 |  2.666 % |
827.37/827.98	c |   1327092 |    1570    14118    46181 |    35854    32932     63 |  2.666 % |
827.87/828.43	c |   1327688 |    1570    14118    46181 |    35854    33528     63 |  2.666 % |
828.17/828.78	c |   1328346 |    1570    14118    46181 |    35854    34186     64 |  2.666 % |
828.77/829.34	c |   1329067 |    1570    14118    46181 |    35854    34907     64 |  2.666 % |
829.47/830.00	c |   1329859 |    1570    14118    46181 |    35854    35699     64 |  2.666 % |
829.97/830.53	c |   1330731 |    1570    14118    46181 |    35842    31459     60 |  2.666 % |
830.47/831.09	c |   1331690 |    1570    14118    46181 |    35842    32418     60 |  2.667 % |
831.17/831.79	c |   1332743 |    1570    14118    46181 |    35842    33471     61 |  2.666 % |
831.97/832.59	c |   1333901 |    1570    14118    46181 |    35842    34629     62 |  2.666 % |
833.07/833.62	c |   1335175 |    1570    14118    46181 |    35842    35903     63 |  2.666 % |
833.97/834.58	c |   1336575 |    1570    14118    46181 |    35842    32225     57 |  2.666 % |
835.17/835.70	c |   1338115 |    1570    14118    46181 |    35842    33765     58 |  2.666 % |
836.27/836.86	c |   1339814 |    1570    14118    46181 |    35842    35464     60 |  2.666 % |
837.36/837.97	c |   1341677 |    1570    14118    46181 |    35650    32121     54 |  2.666 % |
838.56/839.10	c |   1343726 |    1570    14118    46181 |    35650    34170     56 |  2.666 % |
839.87/840.44	c |   1345981 |    1570    14118    46181 |    35650    31797     52 |  2.666 % |
841.06/841.67	c |   1348460 |    1570    14118    46181 |    35650    34276     57 |  2.666 % |
842.96/843.54	c |   1351185 |    1570    14118    46181 |    35816    32198     57 |  2.666 % |
844.76/845.37	c |   1354184 |    1570    14118    46181 |    35816    35197     60 |  2.666 % |
847.26/847.89	c |   1357480 |    1570    14118    46181 |    35816    33760     59 |  2.666 % |
850.26/850.88	c |   1361105 |    1570    14118    46181 |    31444    28397     55 |  2.666 % |
852.36/852.97	c |   1365094 |    1570    14118    46181 |    31444    29202     55 |  2.666 % |
855.16/855.70	c |   1369479 |    1570    14118    46181 |    31444    30397     56 |  2.666 % |
858.56/859.18	c |   1374304 |    1570    14118    46181 |    30919    28609     55 |  2.666 % |
861.65/862.27	c |   1379609 |    1570    14118    46181 |    30919    30774     58 |  2.666 % |
865.65/866.23	c |   1385444 |    1570    14118    46181 | 2147483647    36609     67 |  2.666 % |
870.66/871.23	c |   1391863 |    1570    14118    46181 |    41165    35985     68 |  2.666 % |
875.25/875.84	c |   1398922 |    1570    14118    46181 |    41165    36603     69 |  2.666 % |
880.95/881.54	c |   1406686 |    1570    14118    46181 |    37681    32708     62 |  2.666 % |
886.45/887.00	c |   1415227 |    1570    14118    46181 |    36022    35864     67 |  2.666 % |
893.34/893.94	c |   1424621 |    1570    14118    46181 |    35688    35537     66 |  2.666 % |
899.53/900.14	c |   1434954 |    1570    14118    46181 |    31813    29810     53 |  2.666 % |
906.64/907.26	c |   1446321 |    1570    14118    46181 | 2147483647    37948     65 |  2.666 % |
914.44/915.08	c |   1458826 |    1570    14118    46181 |    41629    39244     69 |  2.666 % |
914.54/915.19	c |   1458927 |    1570    14118    46181 |    41629    39345     69 |  2.666 % |
914.64/915.26	c |   1459040 |    1570    14118    46181 |    41629    39458     69 |  2.666 % |
914.74/915.37	c |   1459161 |    1570    14118    46181 |    41629    39579     70 |  2.666 % |
914.84/915.46	c |   1459295 |    1570    14118    46181 |    41629    39713     70 |  2.666 % |
914.84/915.50	c |   1459441 |    1570    14118    46181 |    41629    39859     69 |  2.666 % |
915.04/915.66	c |   1459601 |    1570    14118    46181 |    41629    40019     69 |  2.666 % |
915.24/915.81	c |   1459778 |    1570    14118    46181 |    41629    40196     69 |  2.666 % |
915.34/915.99	c |   1459971 |    1570    14118    46181 |    41629    40389     70 |  2.666 % |
915.54/916.16	c |   1460183 |    1570    14118    46181 |    40421    40601     70 |  2.666 % |
915.64/916.28	c |   1460417 |    1570    14118    46181 |    40421    34699     62 |  2.666 % |
915.74/916.34	c |   1460673 |    1570    14118    46181 |    40421    34955     62 |  2.666 % |
915.84/916.48	c |   1460954 |    1570    14118    46181 |    40421    35236     62 |  2.666 % |
916.14/916.70	c |   1461265 |    1570    14118    46181 |    40421    35547     62 |  2.666 % |
916.34/916.97	c |   1461606 |    1570    14118    46181 |    40421    35888     62 |  2.666 % |
916.64/917.30	c |   1461979 |    1570    14118    46181 |    40421    36261     63 |  2.666 % |
917.04/917.61	c |   1462388 |    1570    14118    46181 |    40421    36670     63 |  2.666 % |
917.44/918.01	c |   1462839 |    1570    14118    46181 |    40421    37121     63 |  2.666 % |
917.74/918.37	c |   1463332 |    1570    14118    46181 |    40421    37614     63 |  2.666 % |
918.14/918.79	c |   1463874 |    1570    14118    46181 |    40421    38156     64 |  2.666 % |
918.64/919.28	c |   1464474 |    1570    14118    46181 |    40421    38756     64 |  2.666 % |
919.24/919.84	c |   1465132 |    1570    14118    46181 |    40421    39414     65 |  2.666 % |
919.84/920.48	c |   1465853 |    1570    14118    46181 |    40421    40135     66 |  2.666 % |
920.44/921.06	c |   1466645 |    1570    14118    46181 |    40421    40927     66 |  2.666 % |
921.04/921.64	c |   1467518 |    1570    14118    46181 |    40421    34932     59 |  2.666 % |
921.74/922.31	c |   1468476 |    1570    14118    46181 |    40421    35890     60 |  2.666 % |
922.44/923.07	c |   1469530 |    1570    14118    46181 |    40421    36944     61 |  2.666 % |
922.94/923.59	c |   1470688 |    1570    14118    46181 |    37414    32095     55 |  2.666 % |
923.73/924.37	c |   1471961 |    1570    14118    46181 |    37414    33368     57 |  2.666 % |
924.63/925.23	c |   1473361 |    1570    14118    46181 |    37414    34768     59 |  2.666 % |
925.73/926.32	c |   1474901 |    1570    14118    46181 |    37414    36308     60 |  2.666 % |
927.03/927.69	c |   1476597 |    1570    14118    46181 |    37414    32390     57 |  2.666 % |
928.33/928.96	c |   1478460 |    1570    14118    46181 |    37414    34253     59 |  2.666 % |
929.93/930.52	c |   1480511 |    1570    14118    46181 |    35793    30858     56 |  2.666 % |
931.33/931.93	c |   1482766 |    1570    14118    46181 |    35793    33113     59 |  2.666 % |
933.03/933.60	c |   1485246 |    1570    14118    46181 |    35793    35593     61 |  2.666 % |
934.83/935.47	c |   1487971 |    1570    14118    46181 |    35793    33375     58 |  2.666 % |
936.53/937.18	c |   1490970 |    1570    14118    46181 |    35404    31500     56 |  2.666 % |
939.13/939.71	c |   1494269 |    1570    14118    46181 |    35404    34799     59 |  2.666 % |
941.82/942.40	c |   1497894 |    1570    14118    46181 |    35404    33108     58 |  2.666 % |
944.23/944.83	c |   1501884 |    1570    14118    46181 |    35217    32305     59 |  2.666 % |
947.32/947.94	c |   1506269 |    1570    14118    46181 |    35217    31661     58 |  2.666 % |
950.52/951.13	c |   1511095 |    1570    14118    46181 |    35394    31898     60 |  2.666 % |
954.82/955.46	c |   1516403 |    1570    14118    46181 |    35394    32436     60 |  2.666 % |
959.62/960.28	c |   1522238 |    1570    14118    46181 |    31115    29021     57 |  2.666 % |
963.91/964.54	c |   1528656 |    1570    14118    46181 |    31115    28163     55 |  2.666 % |
968.11/968.77	c |   1535715 |    1570    14118    46181 |    29507    28597     54 |  2.666 % |
972.92/973.52	c |   1543480 |    1570    14118    46181 | 2147483647    33236     60 |  2.666 % |
978.31/978.94	c |   1552020 |    1570    14118    46181 |    39756    36687     64 |  2.666 % |
986.30/986.98	c |   1561414 |    1570    14118    46181 |    38732    33944     62 |  2.666 % |
993.70/994.35	c |   1571747 |    1570    14118    46181 |    36177    32231     59 |  2.666 % |
1002.00/1002.63	c |   1583114 |    1570    14118    46181 |    35310    33220     63 |  2.666 % |
1010.10/1010.79	c |   1595616 |    1570    14118    46181 |    31403    29928     59 |  2.666 % |
1021.39/1022.08	c |   1609368 |    1570    14118    46181 | 2147483647    40490     68 |  2.666 % |
1021.49/1022.13	c |   1609470 |    1570    14118    46181 | 2147483647    40592     68 |  2.666 % |
1021.59/1022.28	c |   1609581 |    1570    14118    46181 | 2147483647    40703     68 |  2.666 % |
1021.69/1022.39	c |   1609703 |    1570    14118    46181 | 2147483647    40825     68 |  2.666 % |
1021.79/1022.48	c |   1609836 |    1570    14118    46181 | 2147483647    40958     69 |  2.666 % |
1021.99/1022.63	c |   1609982 |    1570    14118    46181 | 2147483647    41104     69 |  2.666 % |
1022.09/1022.74	c |   1610142 |    1570    14118    46181 |    41123    41264     69 |  2.666 % |
1022.19/1022.87	c |   1610319 |    1570    14118    46181 |    41123    34370     63 |  2.666 % |
1022.29/1022.97	c |   1610514 |    1570    14118    46181 |    41123    34565     63 |  2.666 % |
1022.49/1023.13	c |   1610726 |    1570    14118    46181 |    41123    34777     63 |  2.666 % |
1022.59/1023.26	c |   1610959 |    1570    14118    46181 |    41123    35010     63 |  2.666 % |
1022.69/1023.31	c |   1611215 |    1570    14118    46181 |    41123    35266     63 |  2.666 % |
1022.79/1023.44	c |   1611497 |    1570    14118    46181 |    41123    35548     63 |  2.666 % |
1022.99/1023.60	c |   1611810 |    1570    14118    46181 |    41123    35861     63 |  2.666 % |
1022.99/1023.65	c |   1612150 |    1570    14118    46181 |    41123    36201     63 |  2.666 % |
1023.19/1023.86	c |   1612522 |    1570    14118    46181 |    41123    36573     63 |  2.667 % |
1023.49/1024.16	c |   1612933 |    1570    14118    46181 |    41123    36984     63 |  2.666 % |
1023.79/1024.44	c |   1613384 |    1570    14118    46181 |    41123    37435     63 |  2.666 % |
1024.09/1024.72	c |   1613877 |    1570    14118    46181 |    41123    37928     64 |  2.666 % |
1024.50/1025.13	c |   1614421 |    1570    14118    46181 |    41123    38472     64 |  2.666 % |
1024.79/1025.49	c |   1615020 |    1570    14118    46181 |    41123    39071     64 |  2.666 % |
1025.29/1026.00	c |   1615675 |    1570    14118    46181 |    41123    39726     65 |  2.666 % |
1025.79/1026.42	c |   1616398 |    1570    14118    46181 |    41123    40449     65 |  2.666 % |
1026.29/1026.92	c |   1617192 |    1570    14118    46181 |    41123    41243     66 |  2.666 % |
1026.99/1027.60	c |   1618063 |    1570    14118    46181 |    41123    35901     60 |  2.666 % |
1027.59/1028.23	c |   1619022 |    1570    14118    46181 |    41123    36860     61 |  2.666 % |
1028.39/1029.03	c |   1620077 |    1570    14118    46181 |    37840    37915     62 |  2.666 % |
1028.99/1029.70	c |   1621235 |    1570    14118    46181 |    37840    33440     57 |  2.666 % |
1029.89/1030.55	c |   1622508 |    1570    14118    46181 |    37840    34713     58 |  2.666 % |
1030.69/1031.39	c |   1623912 |    1570    14118    46181 |    37840    36117     59 |  2.666 % |
1031.48/1032.17	c |   1625452 |    1570    14118    46181 |    37840    37657     60 |  2.666 % |
1032.78/1033.42	c |   1627147 |    1570    14118    46181 |    37840    34145     57 |  2.666 % |
1033.88/1034.56	c |   1629010 |    1570    14118    46181 |    37840    36008     59 |  2.666 % |
1035.48/1036.13	c |   1631060 |    1570    14118    46181 |    36998    32828     57 |  2.666 % |
1037.48/1038.14	c |   1633315 |    1570    14118    46181 |    36998    35083     61 |  2.666 % |
1039.58/1040.27	c |   1635797 |    1570    14118    46181 |    36998    31382     57 |  2.666 % |
1041.58/1042.24	c |   1638523 |    1570    14118    46181 |    36998    34108     61 |  2.666 % |
1043.98/1044.60	c |   1641521 |    1570    14118    46181 |    35585    31293     59 |  2.666 % |
1045.98/1046.60	c |   1644817 |    1570    14118    46181 |    35585    34589     64 |  2.666 % |
1047.88/1048.51	c |   1648442 |    1570    14118    46181 |    35585    32999     63 |  2.666 % |
1050.48/1051.18	c |   1652431 |    1570    14118    46181 |    34560    31651     61 |  2.666 % |
1052.68/1053.34	c |   1656817 |    1570    14118    46181 |    34560    31610     60 |  2.666 % |
1055.28/1055.96	c |   1661640 |    1570    14118    46181 |    34797    32287     60 |  2.666 % |
1058.68/1059.38	c |   1666945 |    1570    14118    46181 |    34797    33613     61 |  2.666 % |
1062.37/1063.02	c |   1672785 |    1570    14118    46181 |    32522    31667     56 |  2.666 % |
1066.57/1067.29	c |   1679205 |    1570    14118    46181 |    32522    31116     56 |  2.666 % |
1070.67/1071.36	c |   1686264 |    1570    14118    46181 |    31911    31597     58 |  2.666 % |
1075.87/1076.59	c |   1694031 |    1570    14118    46181 | 2147483647    36135     62 |  2.666 % |
1082.36/1083.06	c |   1702574 |    1570    14118    46181 |    42104    38105     62 |  2.666 % |
1090.06/1090.79	c |   1711968 |    1570    14118    46181 |    37417    32341     57 |  2.666 % |
1097.26/1097.99	c |   1722301 |    1570    14118    46181 |    34103    30555     55 |  2.666 % |
1105.65/1106.31	c |   1733673 |    1570    14118    46181 |    33379    32455     58 |  2.666 % |
1113.25/1113.91	c |   1746177 |    1570    14118    46181 | 2147483647    37704     65 |  2.666 % |
1125.64/1126.37	c |   1759929 |    1570    14118    46181 |    41532    38550     61 |  2.667 % |
1137.23/1137.94	c |   1775056 |    1570    14118    46181 |    34943    34174     57 |  2.666 % |
1137.23/1137.97	c |   1775158 |    1570    14118    46181 |    34943    34276     57 |  2.666 % |
1137.33/1138.05	c |   1775269 |    1570    14118    46181 |    34943    34387     57 |  2.666 % |
1137.43/1138.14	c |   1775392 |    1570    14118    46181 |    34943    34510     57 |  2.666 % |
1137.53/1138.26	c |   1775526 |    1570    14118    46181 |    34943    34644     57 |  2.666 % |
1137.63/1138.38	c |   1775673 |    1570    14118    46181 |    34943    34791     57 |  2.666 % |
1137.74/1138.48	c |   1775833 |    1570    14118    46181 |    34943    34951     58 |  2.666 % |
1137.84/1138.60	c |   1776010 |    1570    14118    46181 |    34943    35128     58 |  2.666 % |
1138.03/1138.78	c |   1776205 |    1570    14118    46181 |    34943    30124     53 |  2.666 % |
1138.13/1138.89	c |   1776417 |    1570    14118    46181 |    34943    30336     53 |  2.666 % |
1138.33/1139.06	c |   1776653 |    1570    14118    46181 |    34943    30572     54 |  2.666 % |
1138.43/1139.18	c |   1776909 |    1570    14118    46181 |    34943    30828     54 |  2.666 % |
1138.53/1139.27	c |   1777191 |    1570    14118    46181 |    34943    31110     54 |  2.666 % |
1138.73/1139.41	c |   1777500 |    1570    14118    46181 |    34943    31419     55 |  2.666 % |
1138.84/1139.59	c |   1777841 |    1570    14118    46181 |    34943    31760     55 |  2.666 % |
1139.13/1139.86	c |   1778213 |    1570    14118    46181 |    34943    32132     55 |  2.666 % |
1139.43/1140.13	c |   1778622 |    1570    14118    46181 |    34943    32541     56 |  2.666 % |
1139.73/1140.41	c |   1779074 |    1570    14118    46181 |    34943    32993     56 |  2.666 % |
1139.83/1140.54	c |   1779568 |    1570    14118    46181 |    34943    33487     56 |  2.666 % |
1140.04/1140.72	c |   1780110 |    1570    14118    46181 |    33919    34029     57 |  2.666 % |
1140.33/1141.04	c |   1780706 |    1570    14118    46181 |    33919    30256     54 |  2.666 % |
1140.73/1141.40	c |   1781362 |    1570    14118    46181 |    33919    30912     54 |  2.666 % |
1141.04/1141.74	c |   1782084 |    1570    14118    46181 |    33919    31634     55 |  2.666 % |
1141.53/1142.24	c |   1782878 |    1570    14118    46181 |    33919    32428     56 |  2.666 % |
1141.83/1142.53	c |   1783749 |    1570    14118    46181 |    33919    33299     56 |  2.666 % |
1142.24/1142.95	c |   1784707 |    1570    14118    46181 |    33919    34257     57 |  2.666 % |
1142.83/1143.51	c |   1785760 |    1570    14118    46181 |    33919    31885     55 |  2.666 % |
1143.33/1144.01	c |   1786919 |    1570    14118    46181 |    33919    33044     57 |  2.666 % |
1143.93/1144.63	c |   1788192 |    1570    14118    46181 |    33919    30895     55 |  2.666 % |
1144.73/1145.49	c |   1789593 |    1570    14118    46181 |    33919    32296     57 |  2.666 % |
1145.33/1146.10	c |   1791135 |    1570    14118    46181 | 2147483647    33838     59 |  2.666 % |
1146.43/1147.16	c |   1792829 |    1570    14118    46181 | 2147483647    35532     61 |  2.666 % |
1147.63/1148.37	c |   1794693 |    1570    14118    46181 | 2147483647    37396     62 |  2.666 % |
1149.03/1149.73	c |   1796743 |    1570    14118    46181 | 2147483647    39446     63 |  2.666 % |
1150.33/1151.08	c |   1798999 |    1570    14118    46181 | 2147483647    41702     65 |  2.666 % |
1152.13/1152.86	c |   1801478 |    1570    14118    46181 |    42703    38395     65 |  2.666 % |
1154.23/1154.99	c |   1804206 |    1570    14118    46181 |    42703    41123     67 |  2.666 % |
1156.33/1157.01	c |   1807206 |    1570    14118    46181 |    42703    36720     63 |  2.666 % |
1159.22/1159.91	c |   1810504 |    1570    14118    46181 |    39515    33073     59 |  2.666 % |
1161.52/1162.26	c |   1814129 |    1570    14118    46181 |    39515    36698     64 |  2.666 % |
1164.72/1165.41	c |   1818116 |    1570    14118    46181 |    39515    34363     63 |  2.666 % |
1167.52/1168.22	c |   1822501 |    1570    14118    46181 |    36247    33109     60 |  2.666 % |
1171.41/1172.20	c |   1827325 |    1570    14118    46181 |    36247    32213     60 |  2.666 % |
1175.01/1175.75	c |   1832631 |    1570    14118    46181 |    34888    32210     58 |  2.666 % |
1179.31/1180.03	c |   1838466 |    1570    14118    46181 |    34888    33213     59 |  2.666 % |
1183.71/1184.43	c |   1844884 |    1570    14118    46181 |    34747    34876     62 |  2.666 % |
1187.91/1188.63	c |   1851944 |    1570    14118    46181 |    35159    32366     60 |  2.666 % |
1193.41/1194.16	c |   1859710 |    1570    14118    46181 |    35159    35097     61 |  2.666 % |
1197.90/1198.67	c |   1868250 |    1570    14118    46181 |    35388    35143     61 |  2.666 % |
1200.01/1200.70	HOME/SatELiteGTI: line 36: 32110 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833747-1242824967/watcher-1833747-1242824967 -o /tmp/evaluation-result-1833747-1242824967/solver-1833747-1242824967 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833747-1242824967.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: 1.00 1.00 1.00 3/65 32104
/proc/meminfo: memFree=1966912/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310525935 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 254613880914 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/32104/statm: 1339 235 195 169 0 50 0
[pid=32105] ppid=32104 vsize=5356 CPUtime=0
/proc/32105/stat : 32105 (SatELiteGTI) S 32104 32104 31753 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310525935 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/32105/statm: 1339 238 198 169 0 50 0
[pid=32107] ppid=32105 vsize=5356 CPUtime=0
/proc/32107/stat : 32107 (SatELiteGTI) R 32105 32104 31753 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613712167 0 0 4096 0 0 0 0 17 1 0 0
/proc/32107/statm: 1339 239 199 169 0 50 0

[startup+0.057355 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 32104
/proc/meminfo: memFree=1966912/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.101354 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 32104
/proc/meminfo: memFree=1966912/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301375 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 32104
/proc/meminfo: memFree=1966912/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.70142 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 32104
/proc/meminfo: memFree=1966912/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1963376/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=5512 CPUtime=1.43
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 1101 0 0 0 143 0 0 0 25 0 1 0 310525940 5644288 1087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 1378 1087 77 171 0 1205 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10868

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1961136/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=7856 CPUtime=3.03
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 1658 0 0 0 302 1 0 0 25 0 1 0 310525940 8044544 1644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 1964 1644 77 171 0 1791 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13212

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1957552/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=10660 CPUtime=6.22
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 2381 0 0 0 620 2 0 0 25 0 1 0 310525940 10915840 2367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 2665 2367 77 171 0 2492 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16016

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1955824/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=11716 CPUtime=12.62
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 2629 0 0 0 1259 3 0 0 25 0 1 0 310525940 11997184 2615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 2929 2615 77 171 0 2756 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17072

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1954672/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=12908 CPUtime=25.4
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 2931 0 0 0 2537 3 0 0 25 0 1 0 310525940 13217792 2917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 3227 2917 77 171 0 3054 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 18264

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1954352/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=13172 CPUtime=50.98
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 3007 0 0 0 5095 3 0 0 25 0 1 0 310525940 13488128 2993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 3293 2993 77 171 0 3120 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 18528

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1951216/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=16076 CPUtime=102.15
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 3734 0 0 0 10210 5 0 0 25 0 1 0 310525940 16461824 3720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4019 3720 77 171 0 3846 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 21432

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1951024/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=16212 CPUtime=162.1
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 3752 0 0 0 16205 5 0 0 25 0 1 0 310525940 16601088 3738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4053 3738 77 171 0 3880 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 21568

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1947248/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=19860 CPUtime=222.06
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4662 0 0 0 22200 6 0 0 25 0 1 0 310525940 20336640 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/32110/statm: 4965 4648 77 171 0 4792 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 25216

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1947248/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=19860 CPUtime=282.01
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4662 0 0 0 28194 7 0 0 25 0 1 0 310525940 20336640 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4965 4648 77 171 0 4792 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 25216

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1947120/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=19860 CPUtime=341.98
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4662 0 0 0 34191 7 0 0 25 0 1 0 310525940 20336640 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4965 4648 77 171 0 4792 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 25216

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1946992/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=19860 CPUtime=401.93

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

[pid=32110] ppid=32104 vsize=19860 CPUtime=521.86
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4662 0 0 0 52179 7 0 0 25 0 1 0 310525940 20336640 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4965 4648 77 171 0 4792 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 25216

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1946608/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=19860 CPUtime=581.83
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4662 0 0 0 58176 7 0 0 25 0 1 0 310525940 20336640 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4965 4648 77 171 0 4792 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 25216

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1946480/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=19860 CPUtime=641.82
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4662 0 0 0 64174 8 0 0 25 0 1 0 310525940 20336640 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4965 4648 77 171 0 4792 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 25216

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1946352/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=19860 CPUtime=701.79
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4662 0 0 0 70171 8 0 0 25 0 1 0 310525940 20336640 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 4965 4648 77 171 0 4792 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 25216

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1945712/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=20524 CPUtime=761.76
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4823 0 0 0 76168 8 0 0 25 0 1 0 310525940 21016576 4809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5131 4809 77 171 0 4958 0
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (KiB) 25880

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1945648/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=20524 CPUtime=821.73
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4823 0 0 0 82165 8 0 0 25 0 1 0 310525940 21016576 4809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5131 4809 77 171 0 4958 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 25880

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1945200/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=20920 CPUtime=881.71
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4922 0 0 0 88163 8 0 0 25 0 1 0 310525940 21422080 4908 1992294400 134512640 135215339 4294956240 18446744073709551615 134529112 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5230 4908 77 171 0 5057 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 26276

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1945072/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=20920 CPUtime=941.68
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4922 0 0 0 94159 9 0 0 25 0 1 0 310525940 21422080 4908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5230 4908 77 171 0 5057 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 26276

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1944688/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=21228 CPUtime=1001.66
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 4993 0 0 0 100157 9 0 0 25 0 1 0 310525940 21737472 4979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5307 4979 77 171 0 5134 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 26584

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1944624/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=21388 CPUtime=1061.63
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 5006 0 0 0 106154 9 0 0 25 0 1 0 310525940 21901312 4992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5347 4992 77 171 0 5174 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 26744

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1944496/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=21388 CPUtime=1121.6
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 5006 0 0 0 112151 9 0 0 25 0 1 0 310525940 21901312 4992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5347 4992 77 171 0 5174 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 26744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1943856/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=21916 CPUtime=1181.57
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 5143 0 0 0 118148 9 0 0 25 0 1 0 310525940 22441984 5129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5479 5129 77 171 0 5306 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 27272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1943856/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=21916 CPUtime=1199.97
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 5143 0 0 0 119988 9 0 0 25 0 1 0 310525940 22441984 5129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5479 5129 77 171 0 5306 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 27272

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32110
/proc/meminfo: memFree=1943856/2055920 swapFree=4176728/4192956
[pid=32104] ppid=32102 vsize=5356 CPUtime=0.04
/proc/32104/stat : 32104 (SatELiteGTI) S 32102 32104 31753 0 -1 4194304 336 664 0 0 0 0 4 0 17 0 1 0 310525935 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32104/statm: 1339 239 197 169 0 50 0
[pid=32110] ppid=32104 vsize=21916 CPUtime=1199.97
/proc/32110/stat : 32110 (minisat_static) R 32104 32104 31753 0 -1 4194304 5143 0 0 0 119988 9 0 0 25 0 1 0 310525940 22441984 5129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/32110/statm: 5479 5129 77 171 0 5306 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 27272

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.03
CPU user time (s): 1199.93
CPU system time (s): 0.104984
CPU usage (%): 99.9435
Max. virtual memory (cumulated for all children) (KiB): 27272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6152
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 6962

runsolver used 1.05884 second user time and 3.46247 second system time

The end

Launcher Data

Begin job on node87 at 2009-05-20 15:09:28
IDJOB=1833747
IDBENCH=70912
IDSOLVER=671
FILE ID=node87/1833747-1242824967
PBS_JOBID= 9322501
Free space on /tmp= 65908 MiB

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

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

MD5SUM BENCH= d839e5ec929f609c698ac596e6e9f69b
RANDOM SEED=1854470398

node87.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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1967456 kB
Buffers:         19736 kB
Cached:          30040 kB
SwapCached:      10336 kB
Active:          27100 kB
Inactive:        34392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1967456 kB
SwapTotal:     4192956 kB
SwapFree:      4176728 kB
Dirty:            1848 kB
Writeback:           0 kB
Mapped:          16972 kB
Slab:            12936 kB
Committed_AS:   995976 kB
PageTables:       1472 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= 65908 MiB
End job on node87 at 2009-05-20 15:29:30