Trace number 1820746

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.1 1200.04

General information on the benchmark

Namemizh-sha0-36-3.cnf
MD5SUM7e900a3d5c709e5167c14f906d6ebd88
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark676.91
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210235
Sum of the clauses size628383
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286992
Number of clauses of size 338042
Number of clauses of size 485024
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.12/0.18	c ==============================================================================
0.12/0.18	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.18	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.18	c ==============================================================================
0.12/0.18	c |         0 |  180421   522537 |   54126       0        0     nan |  0.000 % |
0.72/0.78	c |         0 |  120276   407848 |      --       0       --      -- |     --   | -57310/-106300
0.72/0.78	c ==============================================================================
0.72/0.78	c Result  :   #vars: 20562   #clauses: 120276   #literals: 407848
0.72/0.78	c CPU time:   0.71 s
0.72/0.78	c ==============================================================================
0.92/0.93	c This is MiniSat 2.0 beta
0.92/0.93	c WARNING: for repeatability, setting FPU to use double precision
0.92/0.93	c ============================[ Problem Statistics ]=============================
0.92/0.93	c |                                                                             |
0.92/0.93	c |  Number of variables:  20562                                                |
0.92/0.93	c |  Number of clauses:    120276                                               |
1.01/1.01	c |  Parsing time:         0.07         s                                       |
1.01/1.02	c ============================[ Search Statistics ]==============================
1.01/1.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.01/1.02	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.01/1.02	c ===============================================================================
1.01/1.02	c |         0 |   20562   120276   407848 |    40092        0    nan |  0.000 % |
1.01/1.03	c |       100 |   20562   120276   407848 |    40092      100      5 |  0.000 % |
1.01/1.04	c |       200 |   20560   120276   407848 |    40092      198      5 |  0.039 % |
1.01/1.05	c |       300 |   20560   120276   407848 |    40092      298      6 |  0.039 % |
1.01/1.07	c |       410 |   20560   120276   407848 |    40092      408      5 |  0.039 % |
1.01/1.09	c |       512 |   20556   120276   407848 |    40092      507      6 |  0.092 % |
1.01/1.10	c |       622 |   20549   120276   407848 |    40092      617      6 |  0.092 % |
1.11/1.12	c |       744 |   20549   120276   407848 |    40092      739      6 |  0.092 % |
1.11/1.15	c |       844 |   20545   120276   407848 |    40092      835      6 |  0.117 % |
1.11/1.17	c |       954 |   20544   120276   407848 |    40092      945      6 |  0.117 % |
1.11/1.18	c |      1076 |   20544   120276   407848 |    40092     1067      6 |  0.117 % |
1.11/1.19	c |      1210 |   20544   120276   407848 |    40092     1201      6 |  0.117 % |
1.11/1.20	c |      1311 |   20544   120276   407848 |    40092     1302      6 |  0.117 % |
1.11/1.20	c |      1421 |   20544   120276   407848 |    40092     1412      7 |  0.117 % |
1.11/1.20	c |      1542 |   20544   120276   407848 |    40092     1533      7 |  0.117 % |
1.11/1.21	c |      1675 |   20544   120276   407848 |    40092     1666      7 |  0.117 % |
1.20/1.21	c |      1823 |   20544   120276   407848 |    40092     1814      7 |  0.117 % |
1.20/1.23	c |      1923 |   20544   120276   407848 |    40092     1914      7 |  0.117 % |
1.20/1.23	c |      2033 |   20544   120276   407848 |    40092     2024      7 |  0.117 % |
1.20/1.23	c |      2155 |   20544   120276   407848 |    40092     2146      7 |  0.117 % |
1.20/1.23	c |      2289 |   20544   120276   407848 |    40092     2280      7 |  0.117 % |
1.20/1.24	c |      2436 |   20544   120276   407848 |    40092     2427      7 |  0.117 % |
1.20/1.25	c |      2596 |   20538   120141   407479 |    40092     2575      7 |  0.117 % |
1.20/1.25	c |      2696 |   20538   120141   407479 |    40092     2675      7 |  0.117 % |
1.20/1.26	c |      2806 |   20538   120141   407479 |    40092     2785      7 |  0.117 % |
1.20/1.26	c |      2927 |   20538   120141   407479 |    40092     2906      7 |  0.117 % |
1.20/1.27	c |      3061 |   20538   120141   407479 |    40092     3040      7 |  0.117 % |
1.20/1.31	c |      3207 |   20538   120141   407479 |    40092     3186      7 |  0.117 % |
1.30/1.31	c |      3369 |   20538   120141   407479 |    40092     3348      7 |  0.117 % |
1.30/1.32	c |      3545 |   20538   120141   407479 |    40092     3524      7 |  0.117 % |
1.30/1.32	c |      3645 |   20538   120141   407479 |    40092     3624      7 |  0.117 % |
1.30/1.32	c |      3757 |   20538   120141   407479 |    40092     3736      7 |  0.117 % |
1.30/1.33	c |      3878 |   20538   120141   407479 |    40092     3857      7 |  0.117 % |
1.30/1.33	c |      4011 |   20538   120141   407479 |    40092     3990      7 |  0.117 % |
1.30/1.33	c |      4158 |   20538   120141   407479 |    40092     4137      7 |  0.117 % |
1.30/1.34	c |      4318 |   20538   120141   407479 |    40092     4297      7 |  0.117 % |
1.30/1.34	c |      4497 |   20538   120141   407479 |    40092     4476      7 |  0.117 % |
1.30/1.35	c |      4690 |   20538   120141   407479 |    40092     4669      8 |  0.117 % |
1.30/1.35	c |      4791 |   20538   120141   407479 |    40092     4770      7 |  0.117 % |
1.30/1.35	c |      4901 |   20538   120141   407479 |    40092     4880      8 |  0.117 % |
1.30/1.35	c |      5024 |   20538   120141   407479 |    40092     5003      8 |  0.117 % |
1.30/1.35	c |      5158 |   20538   120141   407479 |    40092     5137      8 |  0.117 % |
1.30/1.36	c |      5304 |   20538   120141   407479 |    40092     5283      8 |  0.117 % |
1.30/1.36	c |      5465 |   20538   120141   407479 |    40092     5444      8 |  0.117 % |
1.30/1.37	c |      5642 |   20538   120141   407479 |    40092     5621      8 |  0.117 % |
1.30/1.38	c |      5835 |   20538   120141   407479 |    40092     5814      8 |  0.117 % |
1.30/1.38	c |      6048 |   20537   120141   407479 |    40092     6026      8 |  0.122 % |
1.30/1.39	c |      6149 |   20537   120141   407479 |    40092     6127      8 |  0.122 % |
1.30/1.39	c |      6259 |   20537   120141   407479 |    40092     6237      8 |  0.122 % |
1.30/1.41	c |      6380 |   20536   120141   407479 |    40092     6357      8 |  0.126 % |
1.40/1.41	c |      6513 |   20536   120141   407479 |    40092     6490      8 |  0.126 % |
1.40/1.41	c |      6659 |   20531   120141   407479 |    40092     6635      8 |  0.156 % |
1.40/1.42	c |      6821 |   20531   120141   407479 |    40092     6797      8 |  0.156 % |
1.40/1.42	c |      6999 |   20513   120141   407479 |    40092     6972      8 |  0.345 % |
1.40/1.42	c |      7193 |   20513   120141   407479 |    40092     7166      8 |  0.345 % |
1.40/1.43	c |      7406 |   20513   120141   407479 |    40092     7379      8 |  0.345 % |
1.40/1.44	c |      7639 |   20513   120141   407479 |    40092     7612      8 |  0.345 % |
1.40/1.44	c |      7739 |   20513   120141   407479 |    40092     7712      8 |  0.345 % |
1.40/1.44	c |      7850 |   20513   120141   407479 |    40092     7823      8 |  0.345 % |
1.40/1.45	c |      7972 |   20508   120141   407479 |    40092     7944      8 |  0.389 % |
1.40/1.45	c |      8105 |   20505   120141   407479 |    40092     8076      8 |  0.404 % |
1.40/1.45	c |      8251 |   20505   120141   407479 |    40092     8222      8 |  0.404 % |
1.40/1.46	c |      8412 |   20505   120141   407479 |    40092     8383      8 |  0.404 % |
1.40/1.46	c |      8588 |   20505   120141   407479 |    40092     8559      8 |  0.404 % |
1.40/1.47	c |      8781 |   20497   120141   407479 |    40092     8752      8 |  0.404 % |
1.40/1.48	c |      8994 |   20497   120141   407479 |    40092     8965      8 |  0.404 % |
1.40/1.49	c |      9227 |   20497   120141   407479 |    40092     9198      8 |  0.404 % |
1.40/1.50	c |      9483 |   20493   120141   407479 |    40092     9453      8 |  0.467 % |
1.40/1.50	c |      9584 |   20492   120141   407479 |    40092     9554      8 |  0.467 % |
1.50/1.51	c |      9694 |   20492   120141   407479 |    40092     9664      8 |  0.467 % |
1.50/1.51	c |      9815 |   20492   120141   407479 |    40092     9785      8 |  0.467 % |
1.50/1.51	c |      9948 |   20492   120141   407479 |    40092     9918      8 |  0.467 % |
1.50/1.52	c |     10095 |   20492   120141   407479 | 2147483647    10065      8 |  0.467 % |
1.50/1.54	c |     10256 |   20466   119579   405724 | 2147483647     9731      8 |  0.467 % |
1.50/1.54	c |     10432 |   20466   119579   405724 | 2147483647     9907      8 |  0.467 % |
1.50/1.55	c |     10625 |   20464   119579   405724 | 2147483647    10098      8 |  0.545 % |
1.50/1.56	c |     10840 |   20459   119579   405724 | 2147483647    10313      8 |  0.545 % |
1.50/1.56	c |     11073 |   20452   119579   405724 | 2147483647    10544      8 |  0.579 % |
1.50/1.58	c |     11329 |   20441   119579   405724 | 2147483647    10799      8 |  0.613 % |
1.50/1.58	c |     11610 |   20441   119579   405724 | 2147483647    11080      8 |  0.613 % |
1.50/1.59	c |     11710 |   20441   119579   405724 | 2147483647    11180      8 |  0.613 % |
1.50/1.59	c |     11822 |   20437   119579   405724 | 2147483647    11291      8 |  0.647 % |
1.50/1.60	c |     11943 |   20437   119579   405724 | 2147483647    11412      8 |  0.647 % |
1.50/1.60	c |     12076 |   20437   119579   405724 | 2147483647    11545      8 |  0.647 % |
1.50/1.61	c |     12222 |   20437   119579   405724 | 2147483647    11691      8 |  0.647 % |
1.60/1.61	c |     12383 |   20420   119579   405724 | 2147483647    11850      8 |  0.768 % |
1.60/1.62	c |     12559 |   20420   119579   405724 | 2147483647    12026      8 |  0.768 % |
1.60/1.63	c |     12752 |   20417   119579   405724 | 2147483647    12219      8 |  0.768 % |
1.60/1.64	c |     12965 |   20417   119579   405724 | 2147483647    12432      8 |  0.768 % |
1.60/1.65	c |     13198 |   20417   119579   405724 | 2147483647    12665      8 |  0.768 % |
1.60/1.67	c |     13454 |   20417   119579   405724 | 2147483647    12921      8 |  0.768 % |
1.60/1.68	c |     13737 |   20417   119579   405724 | 2147483647    13204      8 |  0.768 % |
1.60/1.69	c |     14046 |   20417   119579   405724 | 2147483647    13512      8 |  0.783 % |
1.60/1.69	c |     14146 |   20415   119579   405724 | 2147483647    13612      8 |  0.783 % |
1.60/1.70	c |     14258 |   20403   119579   405724 | 2147483647    13723      8 |  0.851 % |
1.60/1.71	c |     14380 |   20403   119579   405724 | 2147483647    13845      8 |  0.851 % |
1.70/1.71	c |     14513 |   20400   119579   405724 | 2147483647    13977      8 |  0.875 % |
1.70/1.72	c |     14659 |   20400   119579   405724 | 2147483647    14123      8 |  0.875 % |
1.70/1.74	c |     14820 |   20395   119579   405724 | 2147483647    14284      8 |  0.875 % |
1.70/1.80	c |     14997 |   20395   119579   405724 | 2147483647    14461      8 |  0.875 % |
1.70/1.81	c |     15191 |   20395   119579   405724 | 2147483647    14655      8 |  0.875 % |
1.80/1.82	c |     15405 |   20394   119579   405724 | 2147483647    14867      8 |  0.934 % |
1.80/1.86	c |     15639 |   20388   119579   405724 | 2147483647    15100      8 |  0.953 % |
1.80/1.87	c |     15895 |   20388   119579   405724 | 2147483647    15356      8 |  0.953 % |
1.80/1.88	c |     16176 |   20383   119579   405724 | 2147483647    15636      8 |  0.987 % |
1.80/1.89	c |     16485 |   20381   119579   405724 | 2147483647    15945      8 |  0.987 % |
1.90/1.95	c |     16824 |   20354   118625   402624 | 2147483647    13448      8 |  1.012 % |
1.90/1.95	c |     16925 |   20350   118625   402624 | 2147483647    13548      8 |  1.075 % |
1.90/1.95	c |     17035 |   20350   118625   402624 | 2147483647    13658      8 |  1.075 % |
1.90/1.96	c |     17156 |   20350   118625   402624 | 2147483647    13779      8 |  1.075 % |
1.90/1.97	c |     17289 |   20350   118625   402624 | 2147483647    13912      8 |  1.075 % |
1.90/1.97	c |     17436 |   20350   118625   402624 | 2147483647    14059      8 |  1.075 % |
1.90/1.98	c |     17597 |   20350   118625   402624 | 2147483647    14220      8 |  1.075 % |
1.90/1.99	c |     17773 |   20350   118625   402624 | 2147483647    14395      8 |  1.138 % |
1.90/2.00	c |     17966 |   20343   118625   402624 | 2147483647    14588      8 |  1.138 % |
1.90/2.00	c |     18178 |   20343   118625   402624 | 2147483647    14800      8 |  1.138 % |
2.00/2.02	c |     18412 |   20343   118625   402624 | 2147483647    15034      8 |  1.138 % |
2.00/2.03	c |     18672 |   20343   118625   402624 | 2147483647    15294      8 |  1.138 % |
2.00/2.05	c |     18953 |   20343   118625   402624 | 2147483647    15575      8 |  1.138 % |
2.00/2.06	c |     19264 |   20339   118625   402624 | 2147483647    15885      8 |  1.157 % |
2.00/2.10	c |     19603 |   20336   118625   402624 | 2147483647    16224      8 |  1.157 % |
2.10/2.14	c |     19975 |   20336   118625   402624 | 2147483647    16596      8 |  1.157 % |
2.10/2.14	c |     20076 |   20329   118625   402624 | 2147483647    16695      8 |  1.226 % |
2.10/2.15	c |     20186 |   20328   118625   402624 | 2147483647    16804      8 |  1.230 % |
2.10/2.16	c |     20307 |   20328   118625   402624 | 2147483647    16925      8 |  1.230 % |
2.10/2.17	c |     20440 |   20328   118625   402624 | 2147483647    17058      8 |  1.230 % |
2.10/2.17	c |     20587 |   20328   118625   402624 | 2147483647    17205      8 |  1.230 % |
2.10/2.18	c |     20747 |   20328   118625   402624 | 2147483647    17365      8 |  1.230 % |
2.10/2.19	c |     20923 |   20328   118625   402624 | 2147483647    17541      8 |  1.230 % |
2.10/2.20	c |     21116 |   20328   118625   402624 | 2147483647    17734      8 |  1.230 % |
2.10/2.21	c |     21329 |   20328   118625   402624 | 2147483647    17947      8 |  1.230 % |
2.21/2.22	c |     21564 |   20328   118625   402624 | 2147483647    18182      9 |  1.230 % |
2.21/2.22	c |     21820 |   20328   118625   402624 | 2147483647    18438      9 |  1.230 % |
2.21/2.24	c |     22101 |   20319   118625   402624 | 2147483647    18718      9 |  1.313 % |
2.21/2.26	c |     22410 |   20310   118625   402624 | 2147483647    19022      9 |  1.566 % |
2.21/2.27	c |     22749 |   20270   118625   402624 | 2147483647    19360      9 |  1.595 % |
2.30/2.37	c |     23121 |   20231   117621   399395 | 2147483647    16124      8 |  1.610 % |
2.40/2.44	c |     23530 |   20218   117621   399395 | 2147483647    16531      8 |  1.819 % |
2.40/2.44	c |     23631 |   20218   117621   399395 | 2147483647    16632      8 |  1.819 % |
2.40/2.46	c |     23744 |   20218   117621   399395 | 2147483647    16745      8 |  1.819 % |
2.40/2.46	c |     23865 |   20218   117621   399395 | 2147483647    16866      8 |  1.819 % |
2.40/2.47	c |     24000 |   20215   117621   399395 | 2147483647    17000      8 |  1.877 % |
2.40/2.48	c |     24146 |   20202   117621   399395 | 2147483647    17144      8 |  1.965 % |
2.40/2.50	c |     24306 |   20186   117621   399395 | 2147483647    17303      8 |  1.975 % |
2.40/2.51	c |     24483 |   20186   117621   399395 | 2147483647    17480      8 |  1.975 % |
2.50/2.54	c |     24676 |   20186   117621   399395 | 2147483647    17673      8 |  1.975 % |
2.60/2.64	c |     24888 |   20185   117621   399395 | 2147483647    17885      8 |  1.975 % |
2.70/2.73	c |     25121 |   20185   117621   399395 | 2147483647    18118      8 |  1.975 % |
2.70/2.76	c |     25377 |   20177   117621   399395 | 2147483647    18373      8 |  2.018 % |
2.70/2.79	c |     25660 |   20177   117621   399395 | 2147483647    18656      8 |  2.018 % |
2.80/2.85	c |     25969 |   20142   117056   397653 | 2147483647    17021      8 |  2.043 % |
2.80/2.90	c |     26309 |   20117   117056   397653 | 2147483647    17355      8 |  2.213 % |
2.90/2.94	c |     26681 |   20098   117056   397653 | 2147483647    17721      8 |  2.295 % |
2.90/2.97	c |     27091 |   20097   117056   397653 | 2147483647    18131      8 |  2.296 % |
3.00/3.10	c |     27540 |   20095   117056   397653 | 2147483647    18580      8 |  2.295 % |
3.10/3.11	c |     27643 |   20095   117056   397653 | 2147483647    18683      8 |  2.295 % |
3.10/3.14	c |     27754 |   20095   117056   397653 | 2147483647    18794      8 |  2.295 % |
3.10/3.14	c |     27875 |   20095   117056   397653 | 2147483647    18915      8 |  2.295 % |
3.10/3.15	c |     28008 |   20095   117056   397653 | 2147483647    19048      8 |  2.295 % |
3.10/3.16	c |     28156 |   20091   117056   397653 | 2147483647    19195      8 |  2.339 % |
3.10/3.16	c |     28317 |   20087   117056   397653 | 2147483647    19356      8 |  2.339 % |
3.20/3.22	c |     28493 |   20086   117056   397653 | 2147483647    19532      8 |  2.339 % |
3.20/3.28	c |     28688 |   20084   117056   397653 | 2147483647    19725      8 |  2.349 % |
3.31/3.33	c |     28901 |   20079   116641   396344 | 2147483647    18620      7 |  2.349 % |
3.31/3.35	c |     29134 |   20079   116641   396344 | 2147483647    18853      7 |  2.349 % |
3.31/3.36	c |     29390 |   20079   116641   396344 | 2147483647    19109      7 |  2.349 % |
3.31/3.37	c |     29671 |   20076   116641   396344 | 2147483647    19389      7 |  2.364 % |
3.40/3.46	c |     29980 |   20051   116641   396344 | 2147483647    19696      7 |  2.544 % |
3.50/3.52	c |     30319 |   20051   116641   396344 | 2147483647    20035      7 |  2.544 % |
3.50/3.58	c |     30692 |   20024   116641   396344 | 2147483647    20406      8 |  2.738 % |
3.70/3.73	c |     31102 |   20021   116641   396344 | 2147483647    20816      8 |  2.738 % |
3.70/3.76	c |     31552 |   20019   116641   396344 | 2147483647    21264      8 |  2.748 % |
3.70/3.80	c |     32046 |   19996   116118   394682 | 2147483647    20578      8 |  2.753 % |
3.80/3.81	c |     32146 |   19996   116118   394682 | 2147483647    20678      8 |  2.753 % |
3.80/3.81	c |     32257 |   19996   116118   394682 | 2147483647    20789      8 |  2.753 % |
3.80/3.81	c |     32378 |   19996   116118   394682 | 2147483647    20910      8 |  2.753 % |
3.80/3.83	c |     32511 |   19996   116118   394682 | 2147483647    21043      8 |  2.753 % |
3.80/3.84	c |     32658 |   19985   116118   394682 | 2147483647    21187      8 |  2.845 % |
3.80/3.85	c |     32819 |   19985   116118   394682 | 2147483647    21348      8 |  2.845 % |
3.80/3.86	c |     32996 |   19981   116118   394682 | 2147483647    21525      8 |  2.845 % |
3.80/3.87	c |     33189 |   19976   116118   394682 | 2147483647    21715      8 |  2.869 % |
3.80/3.89	c |     33401 |   19973   116118   394682 | 2147483647    21926      8 |  2.884 % |
3.90/3.93	c |     33635 |   19970   116118   394682 | 2147483647    22158      8 |  2.942 % |
3.90/3.96	c |     33892 |   19965   116118   394682 | 2147483647    22411      8 |  3.025 % |
3.90/3.98	c |     34173 |   19965   116118   394682 | 2147483647    22692      8 |  3.025 % |
3.90/4.00	c |     34482 |   19963   116118   394682 | 2147483647    23001      8 |  3.025 % |
4.00/4.01	c |     34823 |   19963   116118   394682 | 2147483647    23342      8 |  3.025 % |
4.00/4.04	c |     35197 |   19963   116118   394682 | 2147483647    23716      8 |  3.025 % |
4.00/4.06	c |     35607 |   19963   116118   394682 | 2147483647    24126      8 |  3.025 % |
4.00/4.08	c |     36056 |   19962   116118   394682 | 2147483647    24574      8 |  3.030 % |
4.10/4.14	c |     36550 |   19961   116118   394682 | 2147483647    25067      8 |  3.035 % |
4.10/4.18	c |     37093 |   19961   116118   394682 | 2147483647    25610      8 |  3.035 % |
4.10/4.19	c |     37193 |   19960   116118   394682 | 2147483647    25709      8 |  3.040 % |
4.10/4.20	c |     37303 |   19959   116118   394682 | 2147483647    25818      8 |  3.044 % |
4.20/4.23	c |     37424 |   19935   115646   393223 | 2147483647    24624      8 |  3.049 % |
4.20/4.24	c |     37558 |   19935   115646   393223 | 2147483647    24758      8 |  3.049 % |
4.20/4.26	c |     37705 |   19935   115646   393223 | 2147483647    24905      8 |  3.049 % |
4.20/4.28	c |     37865 |   19934   115646   393223 | 2147483647    25064      8 |  3.054 % |
4.30/4.31	c |     38044 |   19934   115646   393223 | 2147483647    25243      8 |  3.054 % |
4.30/4.33	c |     38237 |   19934   115646   393223 | 2147483647    25436      8 |  3.054 % |
4.30/4.35	c |     38449 |   19934   115646   393223 | 2147483647    25648      8 |  3.054 % |
4.30/4.36	c |     38683 |   19933   115646   393223 | 2147483647    25881      8 |  3.059 % |
4.30/4.39	c |     38940 |   19933   115646   393223 | 2147483647    26138      8 |  3.059 % |
4.30/4.41	c |     39221 |   19933   115646   393223 | 2147483647    26419      8 |  3.059 % |
4.41/4.45	c |     39530 |   19933   115646   393223 | 2147483647    26728      8 |  3.059 % |
4.41/4.48	c |     39870 |   19930   115646   393223 | 2147483647    27066      8 |  3.210 % |
4.41/4.50	c |     40242 |   19929   115646   393223 | 2147483647    27437      8 |  3.215 % |
4.50/4.52	c |     40651 |   19929   115646   393223 | 2147483647    27846      8 |  3.215 % |
4.50/4.55	c |     41100 |   19908   115646   393223 | 2147483647    28295      8 |  3.215 % |
4.60/4.63	c |     41593 |   19908   115646   393223 | 2147483647    28788      8 |  3.215 % |
4.60/4.71	c |     42135 |   19894   115646   393223 | 2147483647    29329      8 |  3.570 % |
4.70/4.79	c |     42734 |   19870   115646   393223 | 2147483647    29928      8 |  3.570 % |
4.80/4.82	c |     42834 |   19828   114925   390872 | 2147483647    28473      8 |  3.570 % |
4.80/4.83	c |     42944 |   19827   114925   390872 | 2147483647    28582      8 |  3.575 % |
4.80/4.85	c |     43065 |   19827   114925   390872 | 2147483647    28703      8 |  3.575 % |
4.80/4.87	c |     43198 |   19827   114925   390872 | 2147483647    28836      8 |  3.575 % |
4.80/4.89	c |     43344 |   19827   114925   390872 | 2147483647    28982      8 |  3.575 % |
4.90/4.91	c |     43505 |   19826   114925   390872 | 2147483647    29142      8 |  3.579 % |
4.90/4.92	c |     43683 |   19826   114925   390872 | 2147483647    29320      8 |  3.579 % |
4.90/4.94	c |     43877 |   19826   114925   390872 | 2147483647    29514      8 |  3.579 % |
4.90/4.96	c |     44090 |   19826   114925   390872 | 2147483647    29727      8 |  3.579 % |
4.90/4.98	c |     44323 |   19826   114925   390872 | 2147483647    29960      8 |  3.579 % |
5.00/5.04	c |     44579 |   19826   114925   390872 | 2147483647    30216      8 |  3.579 % |
5.00/5.08	c |     44860 |   19825   114925   390872 | 2147483647    30496      8 |  3.584 % |
5.10/5.15	c |     45169 |   19788   114925   390872 | 2147483647    30803      8 |  3.827 % |
5.10/5.16	c |     45509 |   19788   114925   390872 | 2147483647    31143      8 |  3.827 % |
5.10/5.18	c |     45882 |   19788   114925   390872 | 2147483647    31516      8 |  3.827 % |
5.20/5.28	c |     46291 |   19788   114925   390872 | 2147483647    31925      8 |  3.827 % |
5.30/5.37	c |     46740 |   19784   114925   390872 | 2147483647    32370      8 |  3.847 % |
5.40/5.43	c |     47234 |   19783   114925   390872 | 2147483647    32864      8 |  3.847 % |
5.40/5.45	c |     47776 |   19783   114925   390872 | 2147483647    33406      8 |  3.847 % |
5.40/5.49	c |     48374 |   19768   114533   389623 | 2147483647    32679      8 |  3.910 % |
5.51/5.53	c |     49029 |   19768   114533   389623 | 2147483647    33334      8 |  3.910 % |
5.51/5.54	c |     49131 |   19768   114533   389623 | 2147483647    33436      8 |  3.910 % |
5.51/5.55	c |     49241 |   19768   114533   389623 | 2147483647    33546      8 |  3.910 % |
5.51/5.57	c |     49362 |   19768   114533   389623 | 2147483647    33667      8 |  3.910 % |
5.51/5.57	c |     49495 |   19768   114533   389623 | 2147483647    33800      8 |  3.910 % |
5.51/5.58	c |     49643 |   19768   114533   389623 | 2147483647    33948      8 |  3.910 % |
5.51/5.59	c |     49805 |   19768   114533   389623 | 2147483647    34110      9 |  3.910 % |
5.51/5.60	c |     49981 |   19766   114533   389623 | 2147483647    34285      9 |  3.930 % |
5.51/5.60	c |     50174 |   19766   114533   389623 | 2147483647    34478      9 |  3.930 % |
5.60/5.61	c |     50386 |   19766   114533   389623 | 2147483647    34690      9 |  3.930 % |
5.60/5.62	c |     50619 |   19765   114533   389623 | 2147483647    34923      9 |  3.930 % |
5.60/5.63	c |     50877 |   19765   114533   389623 | 2147483647    35181      9 |  3.930 % |
5.60/5.66	c |     51158 |   19765   114533   389623 | 2147483647    35462      9 |  3.930 % |
5.60/5.67	c |     51467 |   19765   114533   389623 | 2147483647    35771      9 |  3.930 % |
5.60/5.69	c |     51809 |   19765   114533   389623 | 2147483647    36113      9 |  3.930 % |
5.70/5.75	c |     52181 |   19762   114533   389623 | 2147483647    36485      9 |  3.930 % |
5.70/5.81	c |     52590 |   19762   114533   389623 | 2147483647    36894      9 |  3.930 % |
5.80/5.85	c |     53041 |   19762   114533   389623 | 2147483647    37345      9 |  3.930 % |
5.80/5.88	c |     53534 |   19762   114533   389623 | 2147483647    37838      9 |  3.930 % |
5.90/5.91	c |     54076 |   19756   114533   389623 | 2147483647    38378      9 |  3.983 % |
5.90/5.98	c |     54673 |   19756   114533   389623 | 2147483647    38975      9 |  3.983 % |
6.00/6.03	c |     55328 |   19756   114533   389623 | 2147483647    39630      9 |  3.983 % |
6.00/6.06	c |     56048 |   19755   114533   389623 | 2147483647    40350      9 |  3.983 % |
6.00/6.07	c |     56148 |   19755   114533   389623 | 2147483647    40450      9 |  3.983 % |
6.00/6.07	c |     56258 |   19755   114533   389623 | 2147483647    40560      9 |  3.983 % |
6.00/6.08	c |     56380 |   19755   114533   389623 | 2147483647    40682      9 |  3.983 % |
6.00/6.10	c |     56515 |   19743   114285   388848 | 2147483647    39333      9 |  3.983 % |
6.10/6.13	c |     56661 |   19743   114285   388848 | 2147483647    39479      9 |  3.983 % |
6.10/6.19	c |     56822 |   19743   114285   388848 | 2147483647    39640      9 |  3.983 % |
6.20/6.23	c |     56998 |   19743   114285   388848 | 2147483647    39816      9 |  3.983 % |
6.20/6.24	c |     57193 |   19743   114285   388848 | 2147483647    40011      9 |  3.983 % |
6.20/6.26	c |     57405 |   19743   114285   388848 | 2147483647    40223      9 |  3.983 % |
6.20/6.27	c |     57639 |   19743   114285   388848 | 2147483647    40457      9 |  3.983 % |
6.30/6.32	c |     57895 |   19743   114285   388848 | 2147483647    40713      9 |  3.983 % |
6.30/6.37	c |     58177 |   19743   114285   388848 | 2147483647    40995      9 |  3.983 % |
6.30/6.39	c |     58486 |   19743   114285   388848 | 2147483647    41304      9 |  3.983 % |
6.40/6.42	c |     58825 |   19738   114285   388848 | 2147483647    41642      9 |  4.007 % |
6.40/6.45	c |     59198 |   19735   114285   388848 | 2147483647    42014      9 |  4.022 % |
6.50/6.51	c |     59607 |   19735   114285   388848 | 2147483647    42423      9 |  4.022 % |
6.50/6.55	c |     60057 |   19735   114285   388848 | 2147483647    42873      9 |  4.022 % |
6.50/6.57	c |     60550 |   19730   114285   388848 | 2147483647    43364      9 |  4.100 % |
6.50/6.58	c |     61093 |   19726   114285   388848 | 2147483647    43906      9 |  4.124 % |
6.61/6.69	c |     61691 |   19725   114285   388848 | 2147483647    44504      9 |  4.124 % |
6.70/6.78	c |     62346 |   19724   114285   388848 | 2147483647    45159      9 |  4.124 % |
6.80/6.82	c |     63066 |   19724   114285   388848 | 2147483647    45879      9 |  4.124 % |
6.80/6.86	c |     63860 |   19707   114285   388848 | 2147483647    46671      9 |  4.236 % |
6.80/6.86	c |     63961 |   19706   114285   388848 | 2147483647    46771      9 |  4.241 % |
6.80/6.87	c |     64071 |   19706   114285   388848 | 2147483647    46881      9 |  4.241 % |
6.80/6.87	c |     64192 |   19706   114285   388848 | 2147483647    47002      9 |  4.241 % |
6.80/6.90	c |     64326 |   19690   113824   387350 | 2147483647    45616      9 |  4.241 % |
6.90/6.91	c |     64474 |   19690   113824   387350 | 2147483647    45764      9 |  4.241 % |
6.90/6.92	c |     64637 |   19690   113824   387350 | 2147483647    45927      9 |  4.241 % |
6.90/6.94	c |     64815 |   19690   113824   387350 | 2147483647    46105      9 |  4.241 % |
6.90/6.97	c |     65009 |   19690   113824   387350 | 2147483647    46299      9 |  4.241 % |
6.90/7.00	c |     65222 |   19688   113824   387350 | 2147483647    46511      9 |  4.270 % |
7.00/7.04	c |     65457 |   19688   113824   387350 | 2147483647    46746      9 |  4.270 % |
7.00/7.04	c |     65713 |   19688   113824   387350 | 2147483647    47002      9 |  4.270 % |
7.00/7.06	c |     65994 |   19688   113824   387350 | 2147483647    47283      9 |  4.270 % |
7.00/7.07	c |     66303 |   19688   113824   387350 | 2147483647    47592      9 |  4.270 % |
7.00/7.08	c |     66642 |   19688   113824   387350 | 2147483647    47931      9 |  4.270 % |
7.10/7.20	c |     67014 |   19686   113824   387350 | 2147483647    48303      9 |  4.270 % |
7.20/7.22	c |     67423 |   19673   113824   387350 | 2147483647    48710      9 |  4.435 % |
7.20/7.24	c |     67873 |   19668   113824   387350 | 2147483647    49160      9 |  4.435 % |
7.30/7.35	c |     68367 |   19668   113824   387350 | 2147483647    49654      9 |  4.435 % |
7.40/7.45	c |     68909 |   19665   113824   387350 | 2147483647    50195      9 |  4.469 % |
7.50/7.58	c |     69506 |   19643   113824   387350 | 2147483647    50789      9 |  4.513 % |
7.71/7.73	c |     70161 |   19637   113824   387350 | 2147483647    51442      9 |  4.542 % |
7.80/7.81	c |     70881 |   19625   113290   385582 | 2147483647    46731      9 |  4.572 % |
7.90/7.98	c |     71675 |   19622   113290   385582 | 2147483647    47524      9 |  4.576 % |
8.00/8.03	c |     72546 |   19615   113290   385582 | 2147483647    48392      9 |  4.630 % |
8.00/8.03	c |     72647 |   19615   113290   385582 | 2147483647    48493      9 |  4.630 % |
8.00/8.07	c |     72757 |   19609   113290   385582 | 2147483647    48602      9 |  4.659 % |
8.10/8.12	c |     72881 |   19608   113290   385582 | 2147483647    48725      9 |  4.664 % |
8.10/8.13	c |     73014 |   19608   113290   385582 | 2147483647    48858      9 |  4.664 % |
8.10/8.16	c |     73161 |   19608   113290   385582 | 2147483647    49005      9 |  4.664 % |
8.10/8.18	c |     73321 |   19608   113290   385582 | 2147483647    49165      9 |  4.664 % |
8.20/8.22	c |     73499 |   19608   113290   385582 | 2147483647    49343      9 |  4.664 % |
8.20/8.27	c |     73693 |   19605   113290   385582 | 2147483647    49536      9 |  4.679 % |
8.20/8.28	c |     73905 |   19603   113290   385582 | 2147483647    49747      9 |  4.756 % |
8.30/8.31	c |     74138 |   19599   113290   385582 | 2147483647    49979      9 |  4.834 % |
8.30/8.37	c |     74394 |   19592   113290   385582 | 2147483647    50235      9 |  4.834 % |
8.40/8.48	c |     74675 |   19591   113290   385582 | 2147483647    50515      9 |  4.839 % |
8.50/8.52	c |     74985 |   19590   113290   385582 | 2147483647    50824      9 |  4.844 % |
8.50/8.56	c |     75326 |   19590   113290   385582 | 2147483647    51165      9 |  4.844 % |
8.60/8.63	c |     75698 |   19590   113290   385582 | 2147483647    51537      9 |  4.844 % |
8.60/8.68	c |     76107 |   19566   112915   384418 | 2147483647    50950      9 |  4.844 % |
8.70/8.78	c |     76556 |   19566   112915   384418 | 2147483647    51399      9 |  4.844 % |
8.81/8.87	c |     77049 |   19550   112915   384418 | 2147483647    51889      9 |  5.038 % |
8.90/8.97	c |     77593 |   19549   112915   384418 | 2147483647    52432      9 |  5.053 % |
9.00/9.06	c |     78190 |   19542   112915   384418 | 2147483647    53027      9 |  5.092 % |
9.20/9.24	c |     78845 |   19511   112915   384418 | 2147483647    53681      9 |  5.136 % |
9.30/9.35	c |     79567 |   19490   112915   384418 | 2147483647    54400      9 |  5.277 % |
9.50/9.55	c |     80361 |   19490   112915   384418 | 2147483647    55194      9 |  5.277 % |
9.70/9.75	c |     81232 |   19459   112238   382216 | 2147483647    51551      9 |  5.476 % |
9.91/9.99	c |     82190 |   19453   112238   382216 | 2147483647    52507      9 |  5.500 % |
10.00/10.01	c |     82290 |   19453   112238   382216 | 2147483647    52607      9 |  5.500 % |
10.00/10.04	c |     82400 |   19453   112238   382216 | 2147483647    52717      9 |  5.500 % |
10.00/10.07	c |     82521 |   19453   112238   382216 | 2147483647    52838      9 |  5.500 % |
10.00/10.08	c |     82654 |   19447   112238   382216 | 2147483647    52970      9 |  5.539 % |
10.10/10.14	c |     82800 |   19447   112238   382216 | 2147483647    53116      9 |  5.539 % |
10.10/10.15	c |     82960 |   19447   112238   382216 | 2147483647    53276      9 |  5.539 % |
10.20/10.22	c |     83136 |   19447   112238   382216 | 2147483647    53452      9 |  5.539 % |
10.20/10.29	c |     83329 |   19442   112238   382216 | 2147483647    53643      9 |  5.700 % |
10.30/10.38	c |     83541 |   19433   112238   382216 | 2147483647    53855      9 |  5.700 % |
10.40/10.49	c |     83774 |   19433   112238   382216 | 2147483647    54088      9 |  5.700 % |
10.50/10.58	c |     84030 |   19389   111653   380365 | 2147483647    51775      9 |  5.710 % |
10.60/10.66	c |     84312 |   19389   111653   380365 | 2147483647    52057      9 |  5.710 % |
10.70/10.76	c |     84622 |   19389   111653   380365 | 2147483647    52367      9 |  5.710 % |
10.80/10.87	c |     84962 |   19389   111653   380365 | 2147483647    52707      9 |  5.710 % |
10.80/10.89	c |     85336 |   19389   111653   380365 | 2147483647    53081      9 |  5.710 % |
10.90/10.98	c |     85745 |   19385   111653   380365 | 2147483647    53487      9 |  5.729 % |
11.01/11.05	c |     86194 |   19382   111653   380365 | 2147483647    53935      9 |  5.773 % |
11.10/11.19	c |     86687 |   19382   111653   380365 | 2147483647    54428      9 |  5.773 % |
11.20/11.21	c |     87231 |   19382   111653   380365 | 2147483647    54972      9 |  5.773 % |
11.30/11.36	c |     87828 |   19372   111653   380365 | 2147483647    55567      9 |  5.851 % |
11.50/11.52	c |     88483 |   19372   111653   380365 | 2147483647    56222      9 |  5.851 % |
11.60/11.69	c |     89203 |   19359   111442   379681 | 2147483647    56676      9 |  5.851 % |
11.70/11.79	c |     89996 |   19347   111442   379681 | 2147483647    57466      9 |  5.928 % |
11.90/11.91	c |     90868 |   19338   111442   379681 | 2147483647    58337      9 |  5.972 % |
12.11/12.13	c |     91826 |   19327   111442   379681 | 2147483647    59294      9 |  6.084 % |
12.20/12.24	c |     92879 |   19324   111442   379681 | 2147483647    60346     10 |  6.099 % |
12.20/12.25	c |     92979 |   19324   111442   379681 | 2147483647    60446     10 |  6.099 % |
12.20/12.28	c |     93090 |   19324   111442   379681 | 2147483647    60557     10 |  6.099 % |
12.30/12.33	c |     93211 |   19324   111442   379681 | 2147483647    60678     10 |  6.099 % |
12.30/12.33	c |     93344 |   19324   111442   379681 | 2147483647    60811     10 |  6.099 % |
12.30/12.34	c |     93490 |   19324   111442   379681 | 2147483647    60957     10 |  6.099 % |
12.30/12.36	c |     93650 |   19324   111442   379681 | 2147483647    61117     10 |  6.099 % |
12.40/12.42	c |     93828 |   19324   111442   379681 | 2147483647    61295     10 |  6.099 % |
12.40/12.45	c |     94023 |   19324   111442   379681 | 2147483647    61490     10 |  6.099 % |
12.40/12.46	c |     94236 |   19324   111442   379681 | 2147483647    61703     10 |  6.099 % |
12.40/12.48	c |     94469 |   19324   111442   379681 | 2147483647    61936     10 |  6.099 % |
12.40/12.49	c |     94726 |   19324   111442   379681 | 2147483647    62193     10 |  6.099 % |
12.50/12.53	c |     95007 |   19324   111442   379681 | 2147483647    62474     10 |  6.099 % |
12.50/12.57	c |     95316 |   19324   111442   379681 | 2147483647    62783     10 |  6.099 % |
12.60/12.65	c |     95655 |   19308   111081   378476 | 2147483647    61945     10 |  6.099 % |
12.60/12.69	c |     96027 |   19308   111081   378476 | 2147483647    62317     10 |  6.099 % |
12.70/12.74	c |     96438 |   19307   111081   378476 | 2147483647    62727     10 |  6.103 % |
12.70/12.76	c |     96887 |   19307   111081   378476 | 2147483647    63176     10 |  6.103 % |
12.80/12.88	c |     97380 |   19307   111081   378476 | 2147483647    63669     10 |  6.103 % |
12.90/12.98	c |     97923 |   19306   111081   378476 | 2147483647    64211     10 |  6.108 % |
13.00/13.06	c |     98519 |   19303   111081   378476 | 2147483647    64806     10 |  6.181 % |
13.00/13.09	c |     99174 |   19298   111081   378476 | 2147483647    65460     10 |  6.210 % |
13.10/13.12	c |     99894 |   19298   111081   378476 | 2147483647    66180     10 |  6.210 % |
13.21/13.25	c |    100686 |   19298   111081   378476 | 2147483647    66972     10 |  6.210 % |
13.50/13.56	c |    101558 |   19293   111081   378476 | 2147483647    67843     10 |  6.235 % |
13.60/13.68	c |    102518 |   19291   111081   378476 | 2147483647    68802     10 |  6.376 % |
13.70/13.78	c |    103571 |   19248   110682   377179 | 2147483647    67349     10 |  6.390 % |
14.00/14.04	c |    104731 |   19247   110682   377179 | 2147483647    68508     10 |  6.395 % |
14.00/14.05	c |    104832 |   19247   110682   377179 | 2147483647    68609     10 |  6.395 % |
14.00/14.10	c |    104944 |   19246   110682   377179 | 2147483647    68720     10 |  6.410 % |
14.10/14.13	c |    105065 |   19246   110682   377179 | 2147483647    68841     10 |  6.410 % |
14.10/14.15	c |    105198 |   19243   110682   377179 | 2147483647    68973     10 |  6.439 % |
14.10/14.19	c |    105345 |   19243   110682   377179 | 2147483647    69120     10 |  6.439 % |
14.20/14.26	c |    105505 |   19243   110682   377179 | 2147483647    69280     10 |  6.439 % |
14.31/14.33	c |    105682 |   19243   110682   377179 | 2147483647    69457     10 |  6.439 % |
14.31/14.39	c |    105875 |   19243   110682   377179 | 2147483647    69650     10 |  6.439 % |
14.40/14.41	c |    106088 |   19243   110682   377179 | 2147483647    69863     10 |  6.439 % |
14.50/14.55	c |    106321 |   19243   110682   377179 | 2147483647    70096     10 |  6.439 % |
14.60/14.63	c |    106580 |   19243   110682   377179 | 2147483647    70355     10 |  6.439 % |
14.60/14.66	c |    106862 |   19239   110682   377179 | 2147483647    70636     10 |  6.541 % |
14.60/14.69	c |    107172 |   19239   110682   377179 | 2147483647    70946     10 |  6.541 % |
14.70/14.74	c |    107511 |   19237   110682   377179 | 2147483647    71284     10 |  6.551 % |
14.90/14.91	c |    107883 |   19235   110682   377179 | 2147483647    71655     10 |  6.561 % |
15.00/15.06	c |    108292 |   19212   110410   376282 | 2147483647    71274     10 |  6.566 % |
15.00/15.09	c |    108741 |   19212   110410   376282 | 2147483647    71723     10 |  6.566 % |
15.20/15.21	c |    109235 |   19212   110410   376282 | 2147483647    72217     10 |  6.566 % |
15.30/15.33	c |    109777 |   19212   110410   376282 | 2147483647    72759     10 |  6.566 % |
15.41/15.44	c |    110374 |   19212   110410   376282 | 2147483647    73356     10 |  6.566 % |
15.60/15.68	c |    111029 |   19212   110410   376282 | 2147483647    74011     10 |  6.566 % |
15.70/15.77	c |    111751 |   19212   110410   376282 | 2147483647    74733     10 |  6.566 % |
15.70/15.80	c |    112544 |   19211   110410   376282 | 2147483647    75525     10 |  6.570 % |
15.90/15.92	c |    113415 |   19211   110410   376282 | 2147483647    76396     10 |  6.570 % |
16.30/16.31	c |    114373 |   19211   110410   376282 | 2147483647    77354     10 |  6.570 % |
16.30/16.36	c |    115426 |   19211   110404   376262 | 2147483647    77547     10 |  6.570 % |
16.60/16.66	c |    116585 |   19211   110404   376262 | 2147483647    78706     10 |  6.570 % |
16.90/16.97	c |    117858 |   19211   110404   376262 | 2147483647    79979     10 |  6.570 % |
16.90/17.00	c |    117958 |   19211   110404   376262 | 2147483647    80079     10 |  6.570 % |
17.00/17.05	c |    118068 |   19211   110404   376262 | 2147483647    80189     10 |  6.570 % |
17.10/17.14	c |    118189 |   19211   110404   376262 | 2147483647    80310     10 |  6.570 % |
17.20/17.24	c |    118323 |   19211   110404   376262 | 2147483647    80444     10 |  6.570 % |
17.20/17.30	c |    118469 |   19197   110404   376262 | 2147483647    80588     10 |  6.677 % |
17.30/17.35	c |    118629 |   19197   110404   376262 | 2147483647    80748     10 |  6.677 % |
17.30/17.37	c |    118805 |   19197   110404   376262 | 2147483647    80924     10 |  6.677 % |
17.40/17.47	c |    118998 |   19197   110404   376262 | 2147483647    81117     10 |  6.677 % |
17.50/17.55	c |    119210 |   19196   110404   376262 | 2147483647    81328     10 |  6.682 % |
17.61/17.66	c |    119443 |   19196   110404   376262 | 2147483647    81561     10 |  6.682 % |
17.70/17.77	c |    119699 |   19196   110404   376262 | 2147483647    81817     10 |  6.682 % |
17.80/17.81	c |    119980 |   19196   110404   376262 | 2147483647    82098     10 |  6.682 % |
17.90/17.91	c |    120289 |   19174   110196   375576 | 2147483647    82010     10 |  6.750 % |
17.90/18.00	c |    120629 |   19169   110196   375576 | 2147483647    82349     10 |  6.779 % |
18.10/18.13	c |    121001 |   19169   110196   375576 | 2147483647    82721     10 |  6.779 % |
18.20/18.25	c |    121410 |   19169   110196   375576 | 2147483647    83130     10 |  6.779 % |
18.40/18.45	c |    121860 |   19169   110196   375576 | 2147483647    83580     10 |  6.779 % |
18.50/18.58	c |    122353 |   19169   110196   375576 | 2147483647    84073     10 |  6.779 % |
18.50/18.60	c |    122896 |   19169   110196   375576 | 2147483647    84616     10 |  6.779 % |
18.60/18.68	c |    123493 |   19169   110196   375576 | 2147483647    85213     10 |  6.779 % |
18.91/18.93	c |    124149 |   19169   110196   375576 | 2147483647    85869     11 |  6.779 % |
19.01/19.04	c |    124870 |   19162   110196   375576 | 2147483647    86587     11 |  6.823 % |
19.11/19.16	c |    125663 |   19162   110196   375576 | 2147483647    87380     11 |  6.823 % |
19.21/19.27	c |    126534 |   19161   110196   375576 | 2147483647    88250     11 |  6.828 % |
19.41/19.42	c |    127492 |   19157   110196   375576 | 2147483647    89206     11 |  6.862 % |
19.91/19.97	c |    128547 |   19157   110196   375576 | 2147483647    90261     11 |  6.862 % |
20.61/20.67	c |    129706 |   19151   109971   374848 | 2147483647    88178     12 |  6.862 % |
21.21/21.27	c |    130979 |   19151   109971   374848 | 2147483647    89451     12 |  6.862 % |
22.21/22.30	c |    132380 |   19151   109971   374848 | 2147483647    90852     14 |  6.862 % |
22.31/22.37	c |    132481 |   19151   109971   374848 | 2147483647    90953     14 |  6.862 % |
22.31/22.41	c |    132592 |   19151   109971   374848 | 2147483647    91064     13 |  6.862 % |
22.41/22.44	c |    132713 |   19151   109971   374848 | 2147483647    91185     13 |  6.862 % |
22.41/22.49	c |    132846 |   19151   109971   374848 | 2147483647    91318     13 |  6.862 % |
22.51/22.57	c |    132992 |   19151   109971   374848 | 2147483647    91464     14 |  6.862 % |
22.61/22.65	c |    133152 |   19151   109971   374848 | 2147483647    91624     14 |  6.862 % |
22.71/22.78	c |    133328 |   19151   109971   374848 | 2147483647    91800     14 |  6.862 % |
22.81/22.83	c |    133521 |   19151   109971   374848 | 2147483647    91993     14 |  6.862 % |
22.91/22.96	c |    133735 |   19151   109971   374848 | 2147483647    92207     14 |  6.862 % |
23.01/23.06	c |    133968 |   19151   109971   374848 | 2147483647    92440     14 |  6.862 % |
23.11/23.17	c |    134224 |   19151   109971   374848 | 2147483647    92696     14 |  6.862 % |
23.31/23.40	c |    134506 |   19151   109971   374848 | 2147483647    92978     14 |  6.862 % |
23.51/23.55	c |    134816 |   19151   109971   374848 | 2147483647    93288     14 |  6.862 % |
23.61/23.70	c |    135156 |   19143   109907   374634 | 2147483647    93102     14 |  6.901 % |
24.01/24.04	c |    135528 |   19143   109907   374634 | 2147483647    93474     14 |  6.901 % |
24.21/24.27	c |    135937 |   19143   109907   374634 | 2147483647    93882     14 |  6.911 % |
24.21/24.31	c |    136386 |   19143   109907   374634 | 2147483647    94331     14 |  6.911 % |
24.31/24.41	c |    136879 |   19143   109907   374634 | 2147483647    94824     14 |  6.911 % |
24.41/24.46	c |    137422 |   19143   109907   374634 | 2147483647    95367     14 |  6.911 % |
24.71/24.78	c |    138018 |   19143   109907   374634 | 2147483647    95963     14 |  6.911 % |
25.41/25.45	c |    138675 |   19139   109907   374634 | 2147483647    96619     15 |  6.955 % |
25.61/25.70	c |    139395 |   19139   109907   374634 | 2147483647    97339     15 |  6.955 % |
26.21/26.30	c |    140187 |   19131   109821   374349 | 2147483647    97933     16 |  6.959 % |
27.21/27.22	c |    141058 |   19130   109821   374349 | 2147483647    98803     17 |  6.964 % |
27.71/27.81	c |    142016 |   19130   109821   374349 | 2147483647    99761     17 |  6.964 % |
28.21/28.31	c |    143070 |   19130   109821   374349 | 2147483647   100815     17 |  6.964 % |
29.11/29.20	c |    144228 |   19130   109821   374349 | 2147483647   101973     18 |  6.964 % |
29.91/29.95	c |    145502 |   19130   109813   374321 | 2147483647   103242     18 |  6.964 % |
31.11/31.21	c |    146903 |   19129   109813   374321 | 2147483647   104642     20 |  6.993 % |
32.61/32.63	c |    148443 |   19125   109813   374321 | 2147483647   106180     21 |  7.023 % |
32.61/32.69	c |    148543 |   19125   109813   374321 | 2147483647   106280     21 |  7.023 % |
32.71/32.76	c |    148655 |   19125   109813   374321 | 2147483647   106392     21 |  7.023 % |
32.81/32.82	c |    148776 |   19125   109813   374321 | 2147483647   106513     21 |  7.023 % |
32.81/32.88	c |    148909 |   19125   109813   374321 | 2147483647   106646     21 |  7.023 % |
33.01/33.03	c |    149055 |   19118   109715   374012 | 2147483647   105270     21 |  7.023 % |
33.11/33.12	c |    149215 |   19118   109715   374012 | 2147483647   105430     21 |  7.023 % |
33.21/33.24	c |    149391 |   19118   109715   374012 | 2147483647   105606     21 |  7.023 % |
33.31/33.40	c |    149584 |   19118   109715   374012 | 2147483647   105799     21 |  7.023 % |
33.41/33.50	c |    149796 |   19117   109715   374012 | 2147483647   106010     21 |  7.028 % |
33.61/33.63	c |    150029 |   19117   109715   374012 | 2147483647   106243     21 |  7.028 % |
33.71/33.81	c |    150285 |   19117   109715   374012 | 2147483647   106499     21 |  7.028 % |
33.81/33.88	c |    150566 |   19117   109715   374012 | 2147483647   106780     21 |  7.028 % |
34.11/34.18	c |    150876 |   19116   109715   374012 | 2147483647   107089     21 |  7.037 % |
34.31/34.36	c |    151215 |   19116   109715   374012 | 2147483647   107427     21 |  7.081 % |
34.71/34.72	c |    151590 |   19116   109715   374012 | 2147483647   107802     21 |  7.081 % |
35.11/35.18	c |    151999 |   19116   109715   374012 | 2147483647   108211     22 |  7.081 % |
35.41/35.42	c |    152448 |   19116   109715   374012 | 2147483647   108660     22 |  7.081 % |
35.71/35.79	c |    152942 |   19116   109715   374012 | 2147483647   109154     22 |  7.081 % |
36.01/36.06	c |    153484 |   19116   109715   374012 | 2147483647   109696     22 |  7.081 % |
36.41/36.42	c |    154080 |   19116   109715   374012 | 2147483647   110292     22 |  7.081 % |
36.91/36.98	c |    154736 |   19116   109715   374012 | 2147483647   110948     22 |  7.081 % |
37.51/37.59	c |    155456 |   19116   109715   374012 | 2147483647   111668     23 |  7.081 % |
37.91/37.97	c |    156248 |   19102   109635   373741 | 2147483647   112287     23 |  7.125 % |
38.61/38.66	c |    157119 |   19102   109635   373741 | 2147483647   113158     23 |  7.125 % |
39.41/39.50	c |    158078 |   19102   109635   373741 | 2147483647   114117     23 |  7.125 % |
40.01/40.07	c |    159131 |   19102   109635   373741 | 2147483647   115170     24 |  7.125 % |
40.71/40.77	c |    160289 |   19102   109635   373741 | 2147483647   116328     24 |  7.125 % |
41.91/41.92	c |    161562 |   19102   109635   373741 | 2147483647   117601     25 |  7.125 % |
43.31/43.35	c |    162962 |   19101   109635   373741 | 2147483647   119000     26 |  7.130 % |
45.01/45.06	c |    164503 |   19096   109555   373477 | 2147483647   120383     27 |  7.130 % |
46.81/46.84	c |    166197 |   19096   109555   373477 | 2147483647   122077     28 |  7.130 % |
46.91/46.91	c |    166299 |   19096   109555   373477 | 2147483647   122179     28 |  7.130 % |
47.01/47.04	c |    166410 |   19096   109555   373477 | 2147483647   122290     28 |  7.130 % |
47.11/47.12	c |    166532 |   19096   109555   373477 | 2147483647   122412     28 |  7.130 % |
47.11/47.21	c |    166665 |   19096   109555   373477 | 2147483647   122545     28 |  7.130 % |
47.21/47.25	c |    166811 |   19096   109555   373477 | 2147483647   122691     28 |  7.130 % |
47.31/47.33	c |    166972 |   19094   109555   373477 | 2147483647   122851     28 |  7.169 % |
47.31/47.36	c |    167148 |   19094   109555   373477 | 2147483647   123027     28 |  7.169 % |
47.31/47.36	c |    167341 |   19094   109555   373477 | 2147483647   123220     28 |  7.169 % |
47.31/47.38	c |    167553 |   19094   109555   373477 | 2147483647   123432     28 |  7.169 % |
47.41/47.47	c |    167787 |   19094   109555   373477 | 2147483647   123666     28 |  7.169 % |
47.41/47.49	c |    168043 |   19094   109555   373477 | 2147483647   123922     28 |  7.169 % |
47.71/47.75	c |    168324 |   19094   109555   373477 | 2147483647   124203     28 |  7.169 % |
47.91/47.98	c |    168634 |   19094   109555   373477 | 2147483647   124513     28 |  7.169 % |
48.11/48.13	c |    168974 |   19094   109555   373477 | 2147483647   124853     28 |  7.169 % |
48.31/48.32	c |    169348 |   19094   109555   373477 | 2147483647   125227     28 |  7.169 % |
48.51/48.58	c |    169759 |   19094   109555   373477 | 2147483647   125638     28 |  7.169 % |
48.91/48.93	c |    170208 |   19094   109555   373477 | 2147483647   126087     28 |  7.169 % |
49.21/49.29	c |    170701 |   19094   109555   373477 | 2147483647   126580     28 |  7.169 % |
49.81/49.83	c |    171246 |   19094   109555   373477 | 2147483647   127125     28 |  7.169 % |
50.01/50.11	c |    171842 |   19088   109467   373155 | 2147483647   126980     28 |  7.169 % |
50.41/50.49	c |    172497 |   19088   109467   373155 | 2147483647   127635     29 |  7.169 % |
50.91/50.96	c |    173217 |   19088   109467   373155 | 2147483647   128355     29 |  7.169 % |
51.81/51.84	c |    174009 |   19087   109467   373155 | 2147483647   129146     29 |  7.173 % |
52.31/52.38	c |    174882 |   19087   109467   373155 | 2147483647   130019     29 |  7.173 % |
53.81/53.85	c |    175841 |   19087   109467   373155 | 2147483647   130978     30 |  7.173 % |
54.61/54.67	c |    176894 |   19087   109467   373155 | 2147483647   132031     30 |  7.173 % |
55.61/55.63	c |    178052 |   19087   109467   373155 | 2147483647   133189     31 |  7.173 % |
56.41/56.49	c |    179325 |   19087   109467   373155 | 2147483647   134462     31 |  7.173 % |
57.71/57.79	c |    180726 |   19087   109467   373155 | 2147483647   135863     31 |  7.173 % |
59.31/59.35	c |    182266 |   19087   109462   373140 | 2147483647   137402     32 |  7.173 % |
61.01/61.10	c |    183960 |   19087   109462   373140 | 2147483647   139096     33 |  7.173 % |
62.91/62.96	c |    185824 |   19087   109462   373140 | 2147483647   140960     34 |  7.173 % |
62.91/63.00	c |    185924 |   19087   109462   373140 | 2147483647   141060     34 |  7.173 % |
63.01/63.02	c |    186035 |   19087   109462   373140 | 2147483647   141171     34 |  7.173 % |
63.11/63.14	c |    186156 |   19087   109462   373140 | 2147483647   141292     34 |  7.173 % |
63.11/63.20	c |    186290 |   19087   109462   373140 | 2147483647   141426     34 |  7.173 % |
63.21/63.29	c |    186436 |   19087   109462   373140 | 2147483647   141572     34 |  7.173 % |
63.31/63.35	c |    186596 |   19087   109462   373140 | 2147483647   141732     34 |  7.173 % |
63.41/63.42	c |    186772 |   19087   109462   373140 | 2147483647   141908     34 |  7.173 % |
63.51/63.58	c |    186965 |   19087   109462   373140 | 2147483647   142101     34 |  7.173 % |
63.71/63.75	c |    187177 |   19087   109462   373140 | 2147483647   142313     34 |  7.173 % |
63.91/63.97	c |    187411 |   19087   109462   373140 | 2147483647   142547     34 |  7.173 % |
64.21/64.21	c |    187667 |   19087   109462   373140 | 2147483647   142803     34 |  7.173 % |
64.41/64.49	c |    187950 |   19087   109462   373140 | 2147483647   143086     34 |  7.173 % |
64.81/64.83	c |    188259 |   19087   109462   373140 | 2147483647   143395     34 |  7.173 % |
65.11/65.18	c |    188598 |   19087   109462   373140 | 2147483647   143734     34 |  7.173 % |
65.31/65.35	c |    188971 |   19087   109462   373140 | 2147483647   144107     34 |  7.173 % |
65.61/65.65	c |    189380 |   19087   109462   373140 | 2147483647   144516     34 |  7.173 % |
65.91/66.00	c |    189829 |   19087   109462   373140 | 2147483647   144965     34 |  7.173 % |
66.51/66.60	c |    190322 |   19087   109462   373140 | 2147483647   145458     34 |  7.173 % |
66.91/67.00	c |    190865 |   19087   109462   373140 | 2147483647   146001     35 |  7.173 % |
67.71/67.72	c |    191462 |   19087   109462   373140 | 2147483647   146598     35 |  7.173 % |
68.11/68.21	c |    192117 |   19087   109462   373140 | 2147483647   147253     35 |  7.173 % |
69.01/69.09	c |    192837 |   19087   109462   373140 | 2147483647   147973     35 |  7.173 % |
70.01/70.03	c |    193629 |   19087   109462   373140 | 2147483647   148765     36 |  7.173 % |
70.81/70.82	c |    194500 |   19087   109462   373140 | 2147483647   149636     36 |  7.173 % |
71.71/71.73	c |    195458 |   19087   109462   373140 | 2147483647   150594     36 |  7.173 % |
73.21/73.27	c |    196513 |   19087   109462   373140 | 2147483647   151649     37 |  7.173 % |
74.01/74.04	c |    197671 |   19087   109462   373140 | 2147483647   152807     37 |  7.173 % |
75.41/75.48	c |    198944 |   19087   109462   373140 | 2147483647   154080     38 |  7.173 % |
77.21/77.29	c |    200344 |   19087   109462   373140 | 2147483647   155480     39 |  7.173 % |
78.61/78.67	c |    201884 |   19087   109462   373140 | 2147483647   157020     39 |  7.173 % |
80.71/80.78	c |    203578 |   19087   109462   373140 | 2147483647   158714     40 |  7.173 % |
82.52/82.60	c |    205443 |   19087   109462   373140 | 2147483647   160579     41 |  7.173 % |
86.61/86.69	c |    207492 |   19087   109462   373140 | 2147483647   162628     43 |  7.173 % |
86.71/86.78	c |    207592 |   19087   109462   373140 | 2147483647   162728     43 |  7.173 % |
86.81/86.87	c |    207702 |   19087   109462   373140 | 2147483647   162838     43 |  7.173 % |
86.92/86.97	c |    207823 |   19087   109462   373140 | 2147483647   162959     43 |  7.173 % |
87.01/87.08	c |    207958 |   19087   109462   373140 | 2147483647   163094     43 |  7.173 % |
87.21/87.26	c |    208104 |   19087   109462   373140 | 2147483647   163240     43 |  7.173 % |
87.31/87.34	c |    208265 |   19087   109462   373140 | 2147483647   163401     43 |  7.173 % |
87.41/87.49	c |    208442 |   19087   109462   373140 | 2147483647   163578     43 |  7.173 % |
87.61/87.67	c |    208635 |   19087   109462   373140 | 2147483647   163771     43 |  7.173 % |
87.81/87.90	c |    208848 |   19087   109462   373140 | 2147483647   163984     43 |  7.173 % |
88.11/88.13	c |    209082 |   19087   109462   373140 | 2147483647   164218     43 |  7.173 % |
88.41/88.48	c |    209339 |   19087   109462   373140 | 2147483647   164475     43 |  7.173 % |
88.61/88.64	c |    209621 |   19087   109462   373140 | 2147483647   164757     43 |  7.173 % |
88.91/88.91	c |    209930 |   19087   109462   373140 | 2147483647   165066     43 |  7.173 % |
89.21/89.25	c |    210269 |   19087   109462   373140 | 2147483647   165405     43 |  7.173 % |
89.61/89.69	c |    210642 |   19087   109462   373140 | 2147483647   165778     43 |  7.173 % |
90.11/90.15	c |    211052 |   19086   109456   373120 | 2147483647   166178     43 |  7.178 % |
90.81/90.85	c |    211501 |   19086   109456   373120 | 2147483647   166627     43 |  7.178 % |
91.32/91.40	c |    211994 |   19086   109456   373120 | 2147483647   167120     43 |  7.178 % |
91.81/91.83	c |    212537 |   19086   109456   373120 | 2147483647   167663     43 |  7.178 % |
92.51/92.61	c |    213133 |   19086   109456   373120 | 2147483647   168259     43 |  7.178 % |
93.21/93.28	c |    213789 |   19086   109456   373120 | 2147483647   168915     43 |  7.178 % |
94.01/94.08	c |    214510 |   19086   109456   373120 | 2147483647   169636     44 |  7.178 % |
94.71/94.80	c |    215302 |   19086   109456   373120 | 2147483647   170428     44 |  7.178 % |
95.72/95.76	c |    216174 |   19086   109456   373120 | 2147483647   171300     44 |  7.178 % |
97.41/97.49	c |    217132 |   19086   109456   373120 | 2147483647   172258     45 |  7.178 % |
99.02/99.11	c |    218186 |   19086   109456   373120 | 2147483647   173312     45 |  7.178 % |
100.31/100.33	c |    219345 |   19086   109456   373120 | 2147483647   174471     46 |  7.178 % |
102.41/102.49	c |    220619 |   19086   109456   373120 | 2147483647   175745     46 |  7.178 % |
104.01/104.01	c |    222019 |   19086   109456   373120 | 2147483647   177145     47 |  7.178 % |
107.71/107.77	c |    223559 |   19086   109456   373120 | 2147483647   178685     49 |  7.178 % |
109.41/109.45	c |    225254 |   19086   109456   373120 | 2147483647   180380     49 |  7.178 % |
111.81/111.86	c |    227118 |   19086   109456   373120 | 2147483647   182244     50 |  7.178 % |
113.81/113.81	c |    229167 |   19086   109456   373120 | 2147483647   184293     50 |  7.178 % |
116.21/116.24	c |    231420 |   19086   109456   373120 | 2147483647   186546     51 |  7.178 % |
116.31/116.32	c |    231520 |   19086   109456   373120 | 2147483647   186646     51 |  7.178 % |
116.51/116.53	c |    231630 |   19083   109433   373043 | 2147483647   186632     51 |  7.193 % |
116.62/116.63	c |    231753 |   19083   109433   373043 | 2147483647   186755     51 |  7.193 % |
116.62/116.66	c |    231886 |   19083   109433   373043 | 2147483647   186888     51 |  7.193 % |
116.71/116.76	c |    232032 |   19083   109433   373043 | 2147483647   187034     51 |  7.193 % |
116.91/116.96	c |    232194 |   19083   109433   373043 | 2147483647   187196     51 |  7.193 % |
117.11/117.16	c |    232372 |   19083   109433   373043 | 2147483647   187374     51 |  7.193 % |
117.31/117.38	c |    232565 |   19083   109433   373043 | 2147483647   187567     51 |  7.193 % |
117.61/117.68	c |    232778 |   19083   109433   373043 | 2147483647   187780     51 |  7.193 % |
117.91/117.96	c |    233011 |   19083   109433   373043 | 2147483647   188013     51 |  7.193 % |
118.21/118.22	c |    233267 |   19082   109433   373043 | 2147483647   188268     51 |  7.203 % |
118.61/118.62	c |    233552 |   19082   109433   373043 | 2147483647   188553     51 |  7.203 % |
118.82/118.86	c |    233861 |   19082   109433   373043 | 2147483647   188862     51 |  7.203 % |
119.01/119.09	c |    234203 |   19082   109433   373043 | 2147483647   189204     51 |  7.203 % |
119.51/119.55	c |    234575 |   19082   109433   373043 | 2147483647   189576     51 |  7.203 % |
120.11/120.11	c |    234985 |   19082   109433   373043 | 2147483647   189986     51 |  7.203 % |
120.71/120.72	c |    235434 |   19082   109433   373043 | 2147483647   190435     51 |  7.203 % |
121.11/121.13	c |    235928 |   19082   109433   373043 | 2147483647   190929     51 |  7.203 % |
121.61/121.70	c |    236471 |   19082   109433   373043 | 2147483647   191472     51 |  7.203 % |
122.31/122.38	c |    237068 |   19082   109433   373043 | 2147483647   192069     51 |  7.203 % |
123.11/123.13	c |    237725 |   19082   109433   373043 | 2147483647   192726     51 |  7.203 % |
123.91/123.94	c |    238445 |   19082   109433   373043 | 2147483647   193446     51 |  7.203 % |
125.42/125.50	c |    239237 |   19082   109433   373043 | 2147483647   194238     52 |  7.203 % |
126.81/126.82	c |    240108 |   19082   109433   373043 | 2147483647   195109     52 |  7.203 % |
128.11/128.20	c |    241068 |   19082   109433   373043 | 2147483647   196069     53 |  7.203 % |
129.51/129.60	c |    242121 |   19082   109433   373043 | 2147483647   197122     53 |  7.203 % |
130.11/130.18	c |    243282 |   19082   109433   373043 | 2147483647   198283     52 |  7.203 % |
131.42/131.45	c |    244556 |   19082   109433   373043 | 2147483647   199557     53 |  7.203 % |
133.52/133.57	c |    245957 |   19082   109433   373043 | 2147483647   200958     53 |  7.203 % |
135.92/135.96	c |    247498 |   19082   109433   373043 | 2147483647   202499     54 |  7.203 % |
137.62/137.67	c |    249194 |   19082   109433   373043 | 2147483647   204195     54 |  7.203 % |
139.22/139.28	c |    251058 |   19082   109433   373043 | 2147483647   206059     54 |  7.203 % |
142.82/142.84	c |    253107 |   19082   109433   373043 | 2147483647   208108     55 |  7.203 % |
145.82/145.82	c |    255361 |   19082   109433   373043 | 2147483647   210362     55 |  7.203 % |
148.32/148.40	c |    257839 |   19081   109417   372987 | 2147483647   212825     56 |  7.203 % |
148.42/148.50	c |    257941 |   19081   109417   372987 | 2147483647   212927     56 |  7.203 % |
148.62/148.68	c |    258051 |   19081   109417   372987 | 2147483647   213037     56 |  7.203 % |
148.82/148.83	c |    258172 |   19081   109417   372987 | 2147483647   213158     56 |  7.203 % |
149.02/149.05	c |    258305 |   19081   109417   372987 | 2147483647   213291     56 |  7.203 % |
149.12/149.20	c |    258452 |   19081   109417   372987 | 2147483647   213438     56 |  7.203 % |
149.42/149.48	c |    258612 |   19081   109417   372987 | 2147483647   213598     56 |  7.203 % |
149.52/149.61	c |    258790 |   19081   109417   372987 | 2147483647   213776     56 |  7.203 % |
149.82/149.89	c |    258984 |   19081   109417   372987 | 2147483647   213970     56 |  7.203 % |
150.12/150.16	c |    259196 |   19081   109417   372987 | 2147483647   214182     56 |  7.203 % |
150.32/150.34	c |    259429 |   19081   109417   372987 | 2147483647   214415     56 |  7.203 % |
150.82/150.88	c |    259686 |   19081   109417   372987 | 2147483647   214672     56 |  7.203 % |
151.02/151.08	c |    259967 |   19081   109417   372987 | 2147483647   214953     56 |  7.203 % |
151.52/151.52	c |    260276 |   19081   109417   372987 | 2147483647   215262     56 |  7.203 % |
151.72/151.77	c |    260615 |   19081   109417   372987 | 2147483647   215601     56 |  7.203 % |
152.22/152.30	c |    260988 |   19081   109417   372987 | 2147483647   215974     56 |  7.203 % |
152.92/152.98	c |    261398 |   19081   109417   372987 | 2147483647   216384     56 |  7.203 % |
153.42/153.50	c |    261847 |   19081   109417   372987 | 2147483647   216833     56 |  7.203 % |
153.92/153.98	c |    262340 |   19081   109417   372987 | 2147483647   217326     56 |  7.203 % |
154.92/154.98	c |    262883 |   19081   109417   372987 | 2147483647   217869     56 |  7.203 % |
155.82/155.83	c |    263480 |   19081   109417   372987 | 2147483647   218466     56 |  7.203 % |
156.52/156.53	c |    264135 |   19081   109417   372987 | 2147483647   219121     56 |  7.203 % |
157.82/157.83	c |    264856 |   19081   109417   372987 | 2147483647   219842     56 |  7.203 % |
158.92/158.96	c |    265649 |   19081   109417   372987 | 2147483647   220635     57 |  7.203 % |
159.82/159.87	c |    266521 |   19081   109417   372987 | 2147483647   221507     57 |  7.203 % |
161.72/161.77	c |    267480 |   19081   109417   372987 | 2147483647   222466     57 |  7.203 % |
163.02/163.03	c |    268533 |   19081   109417   372987 | 2147483647   223519     57 |  7.203 % |
165.12/165.13	c |    269691 |   19081   109417   372987 | 2147483647   224677     58 |  7.203 % |
166.62/166.68	c |    270965 |   19081   109417   372987 | 2147483647   225951     58 |  7.203 % |
168.82/168.86	c |    272365 |   19081   109417   372987 | 2147483647   227351     59 |  7.203 % |
171.32/171.36	c |    273905 |   19081   109417   372987 | 2147483647   228891     59 |  7.203 % |
173.82/173.89	c |    275599 |   19081   109417   372987 | 2147483647   230585     59 |  7.203 % |
176.72/176.79	c |    277462 |   19081   109417   372987 | 2147483647   232448     59 |  7.203 % |
180.02/180.10	c |    279511 |   19081   109417   372987 | 2147483647   234497     60 |  7.203 % |
182.62/182.65	c |    281764 |   19081   109417   372987 | 2147483647   236750     60 |  7.203 % |
185.22/185.21	c |    284243 |   19081   109417   372987 | 2147483647   239229     60 |  7.203 % |
192.12/192.12	c |    286969 |   19081   109417   372987 | 2147483647   241955     62 |  7.203 % |
192.22/192.28	c |    287069 |   19081   109417   372987 | 2147483647   242055     62 |  7.203 % |
192.42/192.43	c |    287179 |   19081   109417   372987 | 2147483647   242165     62 |  7.203 % |
192.62/192.62	c |    287301 |   19081   109417   372987 | 2147483647   242287     62 |  7.203 % |
192.72/192.75	c |    287434 |   19081   109417   372987 | 2147483647   242420     62 |  7.203 % |
192.82/192.90	c |    287581 |   19081   109417   372987 | 2147483647   242567     62 |  7.203 % |
193.02/193.08	c |    287744 |   19081   109417   372987 | 2147483647   242730     62 |  7.203 % |
193.52/193.53	c |    287922 |   19080   109409   372959 | 2147483647   242907     62 |  7.207 % |
193.92/193.95	c |    288116 |   19080   109409   372959 | 2147483647   243101     62 |  7.207 % |
194.12/194.12	c |    288331 |   19080   109409   372959 | 2147483647   243316     62 |  7.207 % |
194.42/194.43	c |    288564 |   19080   109409   372959 | 2147483647   243549     62 |  7.207 % |
194.82/194.85	c |    288820 |   19080   109409   372959 | 2147483647   243805     62 |  7.207 % |
195.12/195.12	c |    289101 |   19080   109409   372959 | 2147483647   244086     62 |  7.207 % |
195.42/195.43	c |    289412 |   19080   109409   372959 | 2147483647   244397     62 |  7.207 % |
195.82/195.82	c |    289751 |   19080   109409   372959 | 2147483647   244736     62 |  7.207 % |
196.22/196.25	c |    290124 |   19080   109409   372959 | 2147483647   245109     62 |  7.207 % |
196.82/196.87	c |    290533 |   19080   109409   372959 | 2147483647   245518     62 |  7.207 % |
197.52/197.51	c |    290983 |   19080   109409   372959 | 2147483647   245968     62 |  7.207 % |
198.72/198.74	c |    291478 |   19080   109409   372959 | 2147483647   246463     62 |  7.207 % |
199.52/199.55	c |    292022 |   19080   109409   372959 | 2147483647   247007     62 |  7.207 % |
200.42/200.51	c |    292620 |   19080   109409   372959 | 2147483647   247605     62 |  7.207 % |
201.52/201.57	c |    293275 |   19080   109409   372959 | 2147483647   248260     62 |  7.207 % |
202.43/202.46	c |    293995 |   19080   109409   372959 | 2147483647   248980     62 |  7.207 % |
204.02/204.10	c |    294788 |   19080   109409   372959 | 2147483647   249773     63 |  7.207 % |
205.62/205.71	c |    295660 |   19080   109409   372959 | 2147483647   250645     63 |  7.207 % |
207.32/207.31	c |    296619 |   19080   109409   372959 | 2147483647   251604     63 |  7.207 % |
208.62/208.65	c |    297674 |   19080   109409   372959 | 2147483647   252659     63 |  7.207 % |
210.72/210.71	c |    298832 |   19078   109409   372959 | 2147483647   253816     64 |  7.232 % |
212.62/212.69	c |    300105 |   19078   109409   372959 | 2147483647   255089     64 |  7.232 % |
215.02/215.09	c |    301505 |   19078   109409   372959 | 2147483647   256489     64 |  7.232 % |
217.22/217.21	c |    303045 |   19078   109409   372959 | 2147483647   258029     64 |  7.232 % |
220.72/220.75	c |    304740 |   19078   109409   372959 | 2147483647   259724     65 |  7.232 % |
224.43/224.49	c |    306603 |   19078   109409   372959 | 2147483647   261587     65 |  7.232 % |
229.42/229.47	c |    308653 |   19078   109409   372959 | 2147483647   263637     67 |  7.232 % |
232.82/232.83	c |    310907 |   19078   109409   372959 |   264987   265891     67 |  7.232 % |
236.22/236.22	c |    313386 |   19078   109409   372959 |   264987   268370     67 |  7.232 % |
241.93/241.93	c |    316112 |   19078   109409   372959 |   264987   240364     71 |  7.232 % |
246.83/246.91	c |    319109 |   19078   109409   372959 |   264987   243361     72 |  7.232 % |
247.03/247.07	c |    319210 |   19078   109409   372959 |   264987   243462     72 |  7.232 % |
247.23/247.24	c |    319320 |   19078   109409   372959 |   264987   243572     72 |  7.232 % |
247.63/247.69	c |    319443 |   19075   109384   372882 |   264987   243688     72 |  7.232 % |
247.73/247.82	c |    319577 |   19075   109384   372882 |   264987   243822     72 |  7.232 % |
247.93/248.00	c |    319725 |   19075   109384   372882 |   264987   243970     72 |  7.232 % |
248.13/248.15	c |    319886 |   19075   109384   372882 |   264987   244131     72 |  7.232 % |
248.23/248.31	c |    320064 |   19075   109384   372882 | 2147483647   244309     72 |  7.232 % |
248.73/248.76	c |    320258 |   19075   109384   372882 | 2147483647   244503     72 |  7.232 % |
249.03/249.02	c |    320471 |   19075   109384   372882 | 2147483647   244716     72 |  7.232 % |
249.43/249.44	c |    320704 |   19075   109384   372882 | 2147483647   244949     72 |  7.232 % |
249.93/249.99	c |    320963 |   19075   109384   372882 | 2147483647   245208     72 |  7.232 % |
250.43/250.45	c |    321244 |   19075   109384   372882 | 2147483647   245489     72 |  7.232 % |
251.13/251.12	c |    321556 |   19075   109384   372882 | 2147483647   245801     72 |  7.232 % |
251.43/251.51	c |    321899 |   19075   109384   372882 | 2147483647   246144     72 |  7.232 % |
252.13/252.12	c |    322271 |   19075   109384   372882 | 2147483647   246516     72 |  7.232 % |
252.43/252.51	c |    322681 |   19075   109384   372882 | 2147483647   246926     72 |  7.232 % |
253.23/253.26	c |    323131 |   19075   109384   372882 | 2147483647   247376     72 |  7.232 % |
254.13/254.13	c |    323626 |   19075   109384   372882 | 2147483647   247871     72 |  7.232 % |
254.93/254.93	c |    324168 |   19075   109384   372882 | 2147483647   248413     72 |  7.232 % |
255.93/255.95	c |    324765 |   19075   109384   372882 | 2147483647   249010     72 |  7.232 % |
257.03/257.02	c |    325420 |   19075   109384   372882 | 2147483647   249665     72 |  7.232 % |
258.73/258.73	c |    326143 |   19075   109384   372882 | 2147483647   250388     72 |  7.232 % |
260.03/260.05	c |    326935 |   19075   109384   372882 | 2147483647   251180     73 |  7.232 % |
261.23/261.29	c |    327806 |   19075   109384   372882 | 2147483647   252051     73 |  7.232 % |
262.93/262.99	c |    328765 |   19075   109384   372882 | 2147483647   253010     73 |  7.232 % |
264.53/264.59	c |    329818 |   19075   109384   372882 | 2147483647   254063     73 |  7.232 % |
266.13/266.15	c |    330977 |   19075   109384   372882 |   254246   255222     73 |  7.232 % |
267.63/267.70	c |    332250 |   19075   109384   372882 |   254246   256495     73 |  7.232 % |
269.93/269.93	c |    333651 |   19075   109384   372882 |   254246   227609     72 |  7.232 % |
272.13/272.14	c |    335191 |   19075   109384   372882 |   254246   229149     72 |  7.232 % |
274.63/274.68	c |    336887 |   19075   109384   372882 |   254246   230845     72 |  7.232 % |
278.83/278.87	c |    338752 |   19075   109384   372882 |   254246   232710     73 |  7.232 % |
282.53/282.58	c |    340801 |   19075   109384   372882 | 2147483647   234759     74 |  7.232 % |
286.83/286.90	c |    343055 |   19075   109384   372882 | 2147483647   237013     75 |  7.232 % |
291.33/291.38	c |    345534 |   19075   109384   372882 | 2147483647   239492     75 |  7.232 % |
297.03/297.03	c |    348261 |   19075   109384   372882 | 2147483647   242219     76 |  7.232 % |
301.73/301.78	c |    351258 |   19075   109384   372882 | 2147483647   245216     76 |  7.232 % |
305.52/305.59	c |    354556 |   19075   109384   372882 | 2147483647   248514     76 |  7.232 % |
305.72/305.75	c |    354656 |   19075   109384   372882 | 2147483647   248614     76 |  7.232 % |
305.92/305.95	c |    354766 |   19075   109384   372882 | 2147483647   248724     76 |  7.232 % |
306.12/306.15	c |    354888 |   19075   109384   372882 | 2147483647   248846     76 |  7.232 % |
306.32/306.35	c |    355021 |   19075   109384   372882 | 2147483647   248979     76 |  7.232 % |
306.62/306.62	c |    355167 |   19075   109384   372882 | 2147483647   249125     76 |  7.232 % |
306.72/306.80	c |    355327 |   19075   109384   372882 | 2147483647   249285     76 |  7.232 % |
306.92/306.95	c |    355504 |   19075   109384   372882 | 2147483647   249462     76 |  7.232 % |
307.32/307.31	c |    355697 |   19075   109384   372882 | 2147483647   249655     76 |  7.232 % |
307.52/307.50	c |    355910 |   19075   109384   372882 | 2147483647   249868     76 |  7.232 % |
307.82/307.85	c |    356143 |   19075   109384   372882 | 2147483647   250101     76 |  7.232 % |
308.62/308.61	c |    356400 |   19075   109384   372882 | 2147483647   250358     76 |  7.232 % |
308.92/308.90	c |    356683 |   19075   109384   372882 | 2147483647   250641     76 |  7.232 % |
309.42/309.48	c |    356993 |   19075   109384   372882 | 2147483647   250951     76 |  7.232 % |
309.92/309.98	c |    357333 |   19075   109384   372882 | 2147483647   251291     76 |  7.232 % |
310.52/310.58	c |    357705 |   19075   109384   372882 | 2147483647   251663     76 |  7.232 % |
311.22/311.31	c |    358115 |   19075   109384   372882 | 2147483647   252073     76 |  7.232 % |
311.92/311.90	c |    358565 |   19075   109384   372882 | 2147483647   252523     76 |  7.232 % |
313.02/313.05	c |    359059 |   19075   109384   372882 | 2147483647   253017     76 |  7.232 % |
314.12/314.19	c |    359602 |   19075   109384   372882 | 2147483647   253560     76 |  7.232 % |
315.22/315.20	c |    360198 |   19075   109384   372882 | 2147483647   254156     76 |  7.232 % |
315.82/315.90	c |    360853 |   19075   109384   372882 | 2147483647   254811     76 |  7.232 % |
316.92/316.96	c |    361574 |   19075   109384   372882 | 2147483647   255532     76 |  7.232 % |
318.32/318.36	c |    362366 |   19075   109384   372882 | 2147483647   256324     77 |  7.232 % |
319.22/319.27	c |    363237 |   19075   109384   372882 | 2147483647   257195     76 |  7.232 % |
320.92/320.93	c |    364195 |   19075   109384   372882 | 2147483647   258153     77 |  7.232 % |
323.02/323.06	c |    365248 |   19075   109384   372882 | 2147483647   259206     77 |  7.232 % |
324.42/324.50	c |    366407 |   19075   109384   372882 | 2147483647   260365     77 |  7.232 % |
325.72/325.78	c |    367681 |   19075   109384   372882 | 2147483647   261639     77 |  7.232 % |
328.52/328.57	c |    369082 |   19075   109384   372882 | 2147483647   263040     77 |  7.232 % |
332.52/332.56	c |    370625 |   19075   109384   372882 |   263958   264583     78 |  7.232 % |
335.42/335.47	c |    372320 |   19075   109384   372882 |   263958   266278     78 |  7.232 % |
338.83/338.89	c |    374184 |   19075   109384   372882 |   263958   237216     78 |  7.232 % |
343.42/343.42	c |    376233 |   19075   109384   372882 |   263958   239265     78 |  7.232 % |
347.42/347.40	c |    378487 |   19075   109384   372882 |   263958   241519     79 |  7.232 % |
351.82/351.81	c |    380965 |   19075   109384   372882 |   243033   243997     80 |  7.232 % |
356.73/356.71	c |    383696 |   19075   109384   372882 |   243033   246728     80 |  7.232 % |
361.63/361.61	c |    386693 |   19075   109384   372882 |   243033   224132     81 |  7.232 % |
367.83/367.82	c |    389989 |   19075   109384   372882 |   243033   227428     82 |  7.232 % |
374.13/374.19	c |    393616 |   19075   109384   372882 | 2147483647   231055     83 |  7.232 % |
374.33/374.34	c |    393716 |   19075   109384   372882 | 2147483647   231155     83 |  7.232 % |
374.53/374.57	c |    393826 |   19075   109384   372882 | 2147483647   231265     83 |  7.232 % |
374.73/374.75	c |    393948 |   19075   109384   372882 | 2147483647   231387     83 |  7.232 % |
374.83/374.90	c |    394081 |   19075   109384   372882 | 2147483647   231520     83 |  7.232 % |
375.23/375.21	c |    394227 |   19075   109384   372882 | 2147483647   231666     83 |  7.232 % |
375.43/375.47	c |    394388 |   19075   109384   372882 | 2147483647   231827     83 |  7.232 % |
375.83/375.87	c |    394564 |   19075   109384   372882 | 2147483647   232003     83 |  7.232 % |
376.03/376.06	c |    394757 |   19075   109384   372882 | 2147483647   232196     82 |  7.232 % |
376.33/376.39	c |    394969 |   19075   109384   372882 | 2147483647   232408     82 |  7.232 % |
376.73/376.80	c |    395202 |   19075   109384   372882 | 2147483647   232641     82 |  7.232 % |
377.23/377.21	c |    395458 |   19075   109384   372882 | 2147483647   232897     82 |  7.232 % |
377.53/377.60	c |    395740 |   19075   109384   372882 | 2147483647   233179     82 |  7.232 % |
378.03/378.09	c |    396050 |   19075   109384   372882 | 2147483647   233489     82 |  7.232 % |
378.23/378.30	c |    396391 |   19075   109384   372882 | 2147483647   233830     82 |  7.232 % |
378.83/378.81	c |    396764 |   19075   109384   372882 | 2147483647   234203     82 |  7.232 % |
378.93/379.00	c |    397173 |   19075   109384   372882 | 2147483647   234612     82 |  7.232 % |
379.53/379.58	c |    397622 |   19075   109384   372882 | 2147483647   235061     82 |  7.232 % |
380.13/380.14	c |    398116 |   19075   109384   372882 | 2147483647   235555     82 |  7.232 % |
381.13/381.14	c |    398659 |   19075   109384   372882 | 2147483647   236098     82 |  7.232 % |
382.03/382.04	c |    399256 |   19075   109384   372882 | 2147483647   236695     82 |  7.232 % |
383.03/383.06	c |    399911 |   19075   109384   372882 | 2147483647   237350     82 |  7.232 % |
383.93/383.97	c |    400631 |   19075   109384   372882 | 2147483647   238070     82 |  7.232 % |
385.23/385.27	c |    401425 |   19075   109384   372882 | 2147483647   238864     82 |  7.232 % |
386.73/386.75	c |    402296 |   19075   109384   372882 | 2147483647   239735     82 |  7.232 % |
388.33/388.34	c |    403256 |   19075   109384   372882 | 2147483647   240695     82 |  7.232 % |
390.33/390.38	c |    404309 |   19075   109384   372882 | 2147483647   241748     83 |  7.232 % |
391.73/391.71	c |    405468 |   19075   109384   372882 | 2147483647   242907     82 |  7.232 % |
393.93/393.98	c |    406741 |   19075   109384   372882 | 2147483647   244180     82 |  7.232 % |
396.03/396.09	c |    408141 |   19075   109384   372882 | 2147483647   245580     83 |  7.232 % |
398.33/398.32	c |    409681 |   19075   109384   372882 | 2147483647   247120     83 |  7.232 % |
401.53/401.59	c |    411376 |   19075   109384   372882 |   247441   248815     83 |  7.232 % |
404.74/404.81	c |    413240 |   19075   109384   372882 |   247441   250679     84 |  7.232 % |
408.04/408.08	c |    415290 |   19075   109384   372882 |   247441   225234     80 |  7.232 % |
410.94/410.99	c |    417544 |   19075   109384   372882 |   247441   227488     80 |  7.232 % |
416.44/416.45	c |    420022 |   19075   109384   372882 | 2147483647   229966     81 |  7.232 % |
422.34/422.38	c |    422747 |   19072   109369   372839 | 2147483647   232679     82 |  7.246 % |
426.54/426.56	c |    425745 |   19072   109369   372839 | 2147483647   235677     82 |  7.246 % |
432.74/432.71	c |    429041 |   19072   109369   372839 | 2147483647   238973     83 |  7.246 % |
437.33/437.35	c |    432667 |   19072   109369   372839 | 2147483647   242599     83 |  7.246 % |
442.62/442.61	c |    436655 |   19072   109369   372839 | 2147483647   246587     84 |  7.246 % |
442.72/442.74	c |    436755 |   19072   109369   372839 | 2147483647   246687     84 |  7.246 % |
442.82/442.85	c |    436866 |   19072   109369   372839 | 2147483647   246798     84 |  7.246 % |
442.92/442.96	c |    436987 |   19072   109369   372839 | 2147483647   246919     84 |  7.246 % |
443.12/443.21	c |    437120 |   19072   109369   372839 | 2147483647   247052     84 |  7.246 % |
443.33/443.38	c |    437266 |   19072   109369   372839 | 2147483647   247198     84 |  7.246 % |
443.62/443.66	c |    437427 |   19072   109369   372839 | 2147483647   247359     84 |  7.246 % |
443.82/443.88	c |    437604 |   19072   109369   372839 | 2147483647   247536     84 |  7.246 % |
444.22/444.21	c |    437797 |   19072   109369   372839 | 2147483647   247729     84 |  7.246 % |
444.32/444.42	c |    438009 |   19072   109369   372839 | 2147483647   247941     84 |  7.246 % |
444.82/444.83	c |    438242 |   19072   109369   372839 | 2147483647   248174     84 |  7.246 % |
445.02/445.05	c |    438498 |   19072   109369   372839 | 2147483647   248430     84 |  7.246 % |
445.42/445.45	c |    438779 |   19072   109369   372839 | 2147483647   248711     84 |  7.246 % |
445.92/445.95	c |    439089 |   19072   109369   372839 | 2147483647   249021     84 |  7.246 % |
446.32/446.38	c |    439429 |   19072   109369   372839 | 2147483647   249361     84 |  7.246 % |
446.72/446.80	c |    439802 |   19072   109369   372839 | 2147483647   249734     84 |  7.246 % |
447.32/447.38	c |    440211 |   19072   109369   372839 |   249933   250143     84 |  7.246 % |
447.92/447.99	c |    440660 |   19072   109369   372839 |   249933   250592     84 |  7.246 % |
448.32/448.35	c |    441153 |   19072   109369   372839 |   249933   251085     84 |  7.246 % |
449.32/449.38	c |    441695 |   19072   109369   372839 |   249933   251627     84 |  7.246 % |
449.72/449.78	c |    442291 |   19072   109369   372839 |   249933   225776     86 |  7.246 % |
450.62/450.68	c |    442946 |   19072   109369   372839 |   249933   226431     86 |  7.246 % |
451.32/451.32	c |    443668 |   19072   109369   372839 |   249933   227153     86 |  7.246 % |
452.52/452.55	c |    444460 |   19072   109369   372839 |   249933   227945     86 |  7.246 % |
453.82/453.85	c |    445331 |   19071   109369   372839 |   249933   228815     86 |  7.256 % |
455.22/455.31	c |    446289 |   19071   109369   372839 |   249933   229773     86 |  7.256 % |
456.53/456.57	c |    447343 |   19071   109369   372839 |   249933   230827     86 |  7.256 % |
457.82/457.84	c |    448504 |   19071   109369   372839 |   249933   231988     86 |  7.256 % |
460.02/460.10	c |    449778 |   19071   109369   372839 |   249933   233262     87 |  7.256 % |
461.42/461.43	c |    451179 |   19071   109369   372839 | 2147483647   234663     87 |  7.256 % |
464.43/464.44	c |    452719 |   19071   109369   372839 | 2147483647   236203     87 |  7.256 % |
466.53/466.59	c |    454415 |   19071   109369   372839 | 2147483647   237899     88 |  7.256 % |
469.33/469.34	c |    456278 |   19071   109369   372839 | 2147483647   239762     88 |  7.256 % |
471.73/471.82	c |    458328 |   19071   109369   372839 | 2147483647   241812     88 |  7.256 % |
474.53/474.61	c |    460581 |   19071   109369   372839 | 2147483647   244065     88 |  7.256 % |
479.43/479.52	c |    463059 |   19070   109362   372817 | 2147483647   246543     89 |  7.256 % |
483.53/483.58	c |    465784 |   19070   109362   372817 | 2147483647   249268     90 |  7.256 % |
487.93/487.97	c |    468782 |   19070   109362   372817 | 2147483647   252266     91 |  7.256 % |
492.63/492.62	c |    472078 |   19070   109362   372817 | 2147483647   255562     91 |  7.256 % |
497.93/498.01	c |    475703 |   19070   109362   372817 | 2147483647   259187     92 |  7.256 % |
508.23/508.26	c |    479692 |   19070   109362   372817 | 2147483647   263176     95 |  7.256 % |
514.73/514.79	c |    484079 |   19070   109362   372817 |   263484   234975     95 |  7.256 % |
514.93/514.93	c |    484180 |   19070   109362   372817 |   263484   235076     94 |  7.256 % |
515.03/515.04	c |    484291 |   19070   109362   372817 |   263484   235187     94 |  7.256 % |
515.23/515.28	c |    484412 |   19070   109362   372817 |   263484   235308     94 |  7.256 % |
515.33/515.41	c |    484545 |   19070   109362   372817 |   263484   235441     94 |  7.256 % |
515.63/515.70	c |    484691 |   19070   109362   372817 |   263484   235587     94 |  7.256 % |
515.83/515.84	c |    484852 |   19070   109362   372817 |   263484   235748     94 |  7.256 % |
515.93/515.96	c |    485028 |   19070   109362   372817 |   263484   235924     94 |  7.256 % |
516.23/516.26	c |    485223 |   19070   109362   372817 |   263484   236119     94 |  7.256 % |
516.43/516.49	c |    485435 |   19070   109362   372817 |   263484   236331     94 |  7.256 % |
516.73/516.77	c |    485670 |   19070   109362   372817 |   263484   236566     94 |  7.256 % |
517.13/517.19	c |    485926 |   19070   109362   372817 |   263484   236822     94 |  7.256 % |
517.53/517.54	c |    486207 |   19070   109362   372817 |   263484   237103     94 |  7.256 % |
518.03/518.03	c |    486518 |   19070   109362   372817 |   263484   237414     94 |  7.256 % |
518.63/518.64	c |    486858 |   19070   109362   372817 |   263484   237754     94 |  7.256 % |
519.13/519.14	c |    487230 |   19070   109362   372817 |   263484   238126     94 |  7.256 % |
519.83/519.88	c |    487639 |   19070   109362   372817 |   263484   238535     94 |  7.256 % |
520.23/520.29	c |    488089 |   19070   109362   372817 |   263484   238985     94 |  7.256 % |
520.93/520.93	c |    488582 |   19070   109362   372817 |   263484   239478     94 |  7.256 % |
521.63/521.69	c |    489124 |   19069   109362   372817 |   263484   240019     94 |  7.261 % |
522.53/522.52	c |    489721 |   19069   109362   372817 |   263484   240616     94 |  7.261 % |
523.33/523.39	c |    490377 |   19069   109362   372817 |   240895   241272     94 |  7.261 % |
524.13/524.19	c |    491097 |   19069   109362   372817 |   240895   241992     94 |  7.261 % |
525.13/525.16	c |    491890 |   19069   109362   372817 |   240895   242785     94 |  7.261 % |
526.33/526.38	c |    492761 |   19069   109362   372817 |   240895   214836     91 |  7.261 % |
527.83/527.88	c |    493721 |   19069   109362   372817 |   240895   215796     91 |  7.261 % |
529.73/529.74	c |    494774 |   19069   109362   372817 |   240895   216849     91 |  7.261 % |
530.73/530.78	c |    495932 |   19069   109362   372817 |   240895   218007     91 |  7.261 % |
532.83/532.82	c |    497205 |   19069   109362   372817 |   240895   219280     92 |  7.261 % |
534.73/534.81	c |    498605 |   19069   109362   372817 |   240895   220680     92 |  7.261 % |
536.13/536.21	c |    500146 |   19069   109362   372817 | 2147483647   222221     92 |  7.261 % |
538.63/538.69	c |    501840 |   19069   109362   372817 | 2147483647   223915     92 |  7.261 % |
542.53/542.54	c |    503704 |   19069   109354   372789 | 2147483647   225776     93 |  7.261 % |
545.83/545.83	c |    505754 |   19069   109354   372789 | 2147483647   227826     93 |  7.261 % |
550.23/550.26	c |    508008 |   19069   109354   372789 | 2147483647   230080     95 |  7.261 % |
553.53/553.52	c |    510486 |   19069   109354   372789 | 2147483647   232558     95 |  7.261 % |
558.93/558.93	c |    513211 |   19069   109354   372789 | 2147483647   235283     96 |  7.261 % |
563.63/563.68	c |    516208 |   19069   109354   372789 | 2147483647   238280     97 |  7.261 % |
570.33/570.33	c |    519504 |   19069   109354   372789 | 2147483647   241576     98 |  7.261 % |
576.54/576.60	c |    523130 |   19069   109354   372789 | 2147483647   245202     99 |  7.261 % |
583.84/583.87	c |    527117 |   19069   109354   372789 | 2147483647   249189    101 |  7.261 % |
590.34/590.36	c |    531502 |   19069   109354   372789 | 2147483647   253574    102 |  7.261 % |
598.74/598.76	c |    536325 |   19069   109354   372789 | 2147483647   258397    103 |  7.261 % |
598.84/598.90	c |    536426 |   19069   109354   372789 | 2147483647   258498    103 |  7.261 % |
599.04/599.03	c |    536538 |   19069   109354   372789 | 2147483647   258610    103 |  7.261 % |
599.14/599.20	c |    536659 |   19069   109354   372789 | 2147483647   258731    103 |  7.261 % |
599.34/599.34	c |    536792 |   19069   109354   372789 | 2147483647   258864    103 |  7.261 % |
599.54/599.58	c |    536938 |   19069   109354   372789 | 2147483647   259010    103 |  7.261 % |
599.74/599.76	c |    537098 |   19069   109354   372789 | 2147483647   259170    103 |  7.261 % |
599.94/599.99	c |    537274 |   19069   109354   372789 | 2147483647   259346    103 |  7.261 % |
600.24/600.30	c |    537468 |   19069   109354   372789 | 2147483647   259540    103 |  7.261 % |
600.54/600.52	c |    537681 |   19069   109354   372789 | 2147483647   259753    103 |  7.261 % |
600.84/600.90	c |    537914 |   19069   109354   372789 | 2147483647   259986    103 |  7.261 % |
601.24/601.28	c |    538170 |   19069   109354   372789 | 2147483647   260242    103 |  7.261 % |
601.54/601.54	c |    538451 |   19069   109354   372789 | 2147483647   260523    103 |  7.261 % |
601.84/601.86	c |    538761 |   19069   109354   372789 | 2147483647   260833    103 |  7.261 % |
602.14/602.19	c |    539102 |   19069   109354   372789 | 2147483647   261174    103 |  7.261 % |
602.84/602.83	c |    539474 |   19069   109354   372789 | 2147483647   261546    103 |  7.261 % |
603.34/603.33	c |    539883 |   19069   109354   372789 | 2147483647   261955    103 |  7.261 % |
604.24/604.27	c |    540333 |   19069   109354   372789 | 2147483647   262405    103 |  7.261 % |
605.14/605.13	c |    540827 |   19069   109354   372789 | 2147483647   262899    103 |  7.261 % |
605.84/605.91	c |    541371 |   19069   109354   372789 | 2147483647   263443    103 |  7.261 % |
606.64/606.66	c |    541967 |   19069   109354   372789 | 2147483647   264039    103 |  7.261 % |
607.54/607.53	c |    542622 |   19069   109354   372789 | 2147483647   264694    103 |  7.261 % |
608.24/608.28	c |    543343 |   19069   109354   372789 | 2147483647   265415    103 |  7.261 % |
609.64/609.66	c |    544135 |   19069   109354   372789 | 2147483647   266207    103 |  7.261 % |
611.04/611.02	c |    545009 |   19069   109354   372789 | 2147483647   267081    103 |  7.261 % |
613.54/613.55	c |    545968 |   19069   109354   372789 | 2147483647   268040    103 |  7.261 % |
614.44/614.51	c |    547023 |   19069   109354   372789 | 2147483647   269095    103 |  7.261 % |
616.94/616.94	c |    548181 |   19069   109354   372789 | 2147483647   270253    103 |  7.261 % |
618.74/618.81	c |    549454 |   19069   109354   372789 | 2147483647   271526    103 |  7.261 % |
621.24/621.24	c |    550855 |   19069   109354   372789 |   272073   272927    104 |  7.261 % |
625.04/625.04	c |    552396 |   19069   109354   372789 |   272073   274468    105 |  7.261 % |
626.84/626.90	c |    554090 |   19069   109354   372789 |   272073   248716    104 |  7.261 % |
629.94/629.93	c |    555955 |   19069   109354   372789 |   272073   250581    104 |  7.261 % |
633.84/633.83	c |    558005 |   19069   109354   372789 |   272073   252631    105 |  7.261 % |
638.34/638.39	c |    560260 |   19069   109354   372789 |   254626   254886    105 |  7.261 % |
642.04/642.09	c |    562738 |   19069   109354   372789 |   254626   230547    102 |  7.261 % |
645.44/645.42	c |    565463 |   19069   109354   372789 |   254626   233272    102 |  7.261 % |
652.24/652.32	c |    568460 |   19069   109354   372789 |   254626   236269    103 |  7.261 % |
656.84/656.88	c |    571756 |   19069   109354   372789 | 2147483647   239565    103 |  7.261 % |
663.23/663.28	c |    575383 |   19069   109354   372789 | 2147483647   243192    104 |  7.261 % |
671.23/671.21	c |    579370 |   19069   109354   372789 | 2147483647   247179    106 |  7.261 % |
678.93/678.93	c |    583757 |   19069   109354   372789 | 2147483647   251566    107 |  7.261 % |
689.74/689.78	c |    588582 |   19069   109354   372789 | 2147483647   256391    109 |  7.261 % |
701.64/701.66	c |    593887 |   19069   109354   372789 |   257810   261696    111 |  7.261 % |
702.04/702.03	c |    593987 |   19069   109354   372789 |   257810   234632    108 |  7.261 % |
702.14/702.17	c |    594097 |   19069   109354   372789 |   257810   234742    108 |  7.261 % |
702.34/702.37	c |    594219 |   19069   109354   372789 |   257810   234864    108 |  7.261 % |
702.54/702.52	c |    594352 |   19069   109354   372789 |   257810   234997    108 |  7.261 % |
702.74/702.71	c |    594498 |   19069   109354   372789 |   257810   235143    108 |  7.261 % |
702.94/702.96	c |    594658 |   19069   109354   372789 |   257810   235303    108 |  7.261 % |
703.14/703.14	c |    594836 |   19069   109354   372789 |   257810   235481    108 |  7.261 % |
703.24/703.21	c |    595030 |   19069   109354   372789 |   257810   235675    108 |  7.261 % |
703.34/703.40	c |    595243 |   19069   109354   372789 |   257810   235888    108 |  7.261 % |
703.74/703.76	c |    595476 |   19069   109354   372789 |   257810   236121    108 |  7.261 % |
704.14/704.15	c |    595732 |   19069   109354   372789 |   257810   236377    108 |  7.261 % |
704.34/704.33	c |    596013 |   19069   109354   372789 |   257810   236658    108 |  7.261 % |
704.54/704.51	c |    596323 |   19069   109354   372789 |   257810   236968    108 |  7.261 % |
704.74/704.75	c |    596663 |   19069   109354   372789 |   257810   237308    108 |  7.261 % |
705.34/705.34	c |    597036 |   19069   109354   372789 |   257810   237681    108 |  7.261 % |
705.84/705.90	c |    597445 |   19069   109354   372789 |   257810   238090    108 |  7.261 % |
706.54/706.54	c |    597894 |   19069   109354   372789 |   257810   238539    108 |  7.261 % |
707.14/707.19	c |    598388 |   19069   109354   372789 |   257810   239033    107 |  7.261 % |
707.84/707.87	c |    598930 |   19069   109354   372789 |   257810   239575    107 |  7.261 % |
708.54/708.60	c |    599528 |   19069   109354   372789 |   257810   240173    107 |  7.261 % |
709.84/709.82	c |    600184 |   19069   109354   372789 |   240646   240829    107 |  7.261 % |
710.54/710.60	c |    600906 |   19069   109354   372789 |   240646   241551    107 |  7.261 % |
712.04/712.07	c |    601700 |   19069   109354   372789 |   240646   242345    107 |  7.261 % |
713.44/713.48	c |    602574 |   19069   109354   372789 |   240646   216728    105 |  7.261 % |
714.84/714.85	c |    603533 |   19069   109354   372789 |   240646   217687    105 |  7.261 % |
716.34/716.41	c |    604586 |   19069   109354   372789 |   240646   218740    105 |  7.261 % |
719.24/719.21	c |    605745 |   19069   109354   372789 |   240646   219899    106 |  7.261 % |
720.84/720.88	c |    607020 |   19069   109354   372789 |   240646   221174    106 |  7.261 % |
723.14/723.17	c |    608423 |   19069   109354   372789 |   240646   222577    106 |  7.261 % |
725.54/725.55	c |    609963 |   19069   109354   372789 |   240646   224117    106 |  7.261 % |
727.74/727.72	c |    611658 |   19069   109354   372789 | 2147483647   225812    106 |  7.261 % |
731.34/731.41	c |    613521 |   19069   109354   372789 | 2147483647   227675    107 |  7.261 % |
734.64/734.69	c |    615570 |   19069   109354   372789 | 2147483647   229724    108 |  7.261 % |
737.44/737.46	c |    617823 |   19069   109354   372789 | 2147483647   231977    107 |  7.261 % |
743.54/743.55	c |    620301 |   19069   109354   372789 | 2147483647   234455    109 |  7.261 % |
747.84/747.84	c |    623026 |   19069   109354   372789 | 2147483647   237180    109 |  7.261 % |
752.64/752.69	c |    626025 |   19069   109354   372789 | 2147483647   240179    110 |  7.261 % |
758.64/758.66	c |    629321 |   19069   109354   372789 | 2147483647   243475    111 |  7.261 % |
764.64/764.63	c |    632946 |   19069   109354   372789 | 2147483647   247100    111 |  7.261 % |
773.54/773.51	c |    636935 |   19069   109354   372789 | 2147483647   251089    113 |  7.261 % |
780.94/780.98	c |    641322 |   19069   109354   372789 | 2147483647   255476    114 |  7.261 % |
788.44/788.40	c |    646145 |   19069   109354   372789 | 2147483647   260299    115 |  7.261 % |
797.44/797.43	c |    651450 |   19069   109354   372789 |   264157   265604    116 |  7.261 % |
806.45/806.45	c |    657286 |   19069   109354   372789 |   264157   271440    117 |  7.261 % |
806.95/806.92	c |    657386 |   19069   109354   372789 |   264157   227024    109 |  7.261 % |
807.05/807.02	c |    657497 |   19069   109354   372789 |   264157   227135    109 |  7.261 % |
807.15/807.19	c |    657619 |   19069   109354   372789 |   264157   227257    109 |  7.261 % |
807.35/807.36	c |    657752 |   19069   109354   372789 |   264157   227390    109 |  7.261 % |
807.55/807.59	c |    657899 |   19069   109354   372789 |   264157   227537    109 |  7.261 % |
807.75/807.78	c |    658060 |   19069   109354   372789 |   264157   227698    109 |  7.261 % |
808.05/808.06	c |    658237 |   19069   109354   372789 |   264157   227875    109 |  7.261 % |
808.25/808.25	c |    658430 |   19069   109354   372789 |   264157   228068    109 |  7.261 % |
808.45/808.42	c |    658644 |   19069   109354   372789 |   264157   228282    109 |  7.261 % |
808.65/808.65	c |    658878 |   19069   109354   372789 |   264157   228516    109 |  7.261 % |
808.85/808.87	c |    659134 |   19069   109354   372789 |   264157   228772    109 |  7.261 % |
809.35/809.32	c |    659415 |   19069   109354   372789 |   264157   229053    109 |  7.261 % |
809.55/809.61	c |    659724 |   19069   109354   372789 |   264157   229362    109 |  7.261 % |
810.05/810.02	c |    660063 |   19069   109354   372789 |   229639   229701    109 |  7.261 % |
810.65/810.64	c |    660436 |   19069   109354   372789 |   229639   230074    109 |  7.261 % |
811.25/811.26	c |    660845 |   19069   109354   372789 |   229639   230483    109 |  7.261 % |
811.85/811.90	c |    661295 |   19069   109354   372789 |   229639   230933    109 |  7.261 % |
812.45/812.51	c |    661788 |   19069   109354   372789 |   229639   231426    109 |  7.261 % |
813.75/813.72	c |    662333 |   19069   109354   372789 |   229639   200479    103 |  7.261 % |
814.45/814.44	c |    662929 |   19069   109354   372789 |   229639   201075    103 |  7.261 % |
815.25/815.28	c |    663585 |   19069   109354   372789 |   229639   201731    103 |  7.261 % |
816.55/816.60	c |    664306 |   19069   109354   372789 |   229639   202452    103 |  7.261 % |
817.55/817.51	c |    665098 |   19069   109354   372789 |   229639   203244    103 |  7.261 % |
818.85/818.88	c |    665969 |   19069   109354   372789 |   229639   204115    103 |  7.261 % |
819.85/819.81	c |    666928 |   19069   109354   372789 |   229639   205074    103 |  7.261 % |
821.25/821.30	c |    667981 |   19069   109354   372789 |   229639   206127    103 |  7.261 % |
822.65/822.63	c |    669139 |   19069   109354   372789 |   229639   207285    103 |  7.261 % |
824.55/824.55	c |    670413 |   19069   109354   372789 | 2147483647   208559    103 |  7.261 % |
827.15/827.13	c |    671813 |   19069   109354   372789 | 2147483647   209959    104 |  7.261 % |
828.75/828.77	c |    673354 |   19069   109354   372789 | 2147483647   211500    104 |  7.261 % |
831.25/831.25	c |    675049 |   19069   109354   372789 | 2147483647   213195    104 |  7.261 % |
834.35/834.39	c |    676913 |   19069   109354   372789 | 2147483647   215059    105 |  7.261 % |
836.55/836.54	c |    678962 |   19069   109354   372789 | 2147483647   217108    105 |  7.261 % |
840.35/840.38	c |    681216 |   19069   109354   372789 | 2147483647   219362    106 |  7.261 % |
843.35/843.34	c |    683694 |   19069   109354   372789 | 2147483647   221840    106 |  7.261 % |
847.45/847.48	c |    686420 |   19069   109354   372789 | 2147483647   224566    107 |  7.261 % |
850.15/850.17	c |    689417 |   19069   109354   372789 | 2147483647   227563    106 |  7.261 % |
854.65/854.64	c |    692713 |   19069   109354   372789 | 2147483647   230859    107 |  7.261 % |
861.35/861.35	c |    696339 |   19069   109354   372789 | 2147483647   234485    108 |  7.261 % |
869.95/869.94	c |    700327 |   19069   109354   372789 | 2147483647   238473    110 |  7.261 % |
877.25/877.27	c |    704712 |   19069   109354   372789 | 2147483647   242858    112 |  7.261 % |
885.56/885.58	c |    709536 |   19069   109354   372789 | 2147483647   247682    114 |  7.261 % |
895.35/895.36	c |    714841 |   19069   109354   372789 | 2147483647   252987    116 |  7.261 % |
908.06/908.09	c |    720677 |   19069   109354   372789 | 2147483647   258823    118 |  7.261 % |
918.57/918.61	c |    727095 |   19069   109354   372789 | 2147483647   265241    119 |  7.261 % |
918.77/918.77	c |    727195 |   19069   109354   372789 | 2147483647   265341    119 |  7.261 % |
918.97/918.96	c |    727305 |   19069   109354   372789 | 2147483647   265451    119 |  7.261 % |
919.17/919.18	c |    727427 |   19069   109354   372789 | 2147483647   265573    119 |  7.261 % |
919.27/919.31	c |    727560 |   19069   109354   372789 | 2147483647   265706    119 |  7.261 % |
919.67/919.64	c |    727707 |   19069   109354   372789 | 2147483647   265853    119 |  7.261 % |
919.87/919.88	c |    727868 |   19069   109354   372789 | 2147483647   266014    119 |  7.261 % |
920.27/920.22	c |    728044 |   19069   109354   372789 | 2147483647   266190    118 |  7.261 % |
920.47/920.51	c |    728237 |   19069   109354   372789 | 2147483647   266383    118 |  7.261 % |
920.87/920.85	c |    728451 |   19069   109354   372789 | 2147483647   266597    118 |  7.261 % |
921.07/921.08	c |    728687 |   19069   109354   372789 | 2147483647   266833    118 |  7.261 % |
921.57/921.54	c |    728943 |   19069   109354   372789 | 2147483647   267089    118 |  7.261 % |
921.87/921.89	c |    729224 |   19069   109354   372789 | 2147483647   267370    118 |  7.261 % |
922.47/922.46	c |    729534 |   19069   109354   372789 | 2147483647   267680    118 |  7.261 % |
923.17/923.17	c |    729876 |   19069   109354   372789 | 2147483647   268022    118 |  7.261 % |
923.77/923.81	c |    730248 |   19069   109354   372789 |   268146   268394    118 |  7.261 % |
924.57/924.58	c |    730657 |   19069   109354   372789 |   268146   268803    118 |  7.261 % |
925.27/925.29	c |    731107 |   19069   109354   372789 |   268146   269253    118 |  7.261 % |
926.07/926.12	c |    731600 |   19069   109354   372789 |   268146   269746    118 |  7.261 % |
926.97/926.98	c |    732142 |   19069   109354   372789 |   268146   232725    113 |  7.261 % |
927.87/927.90	c |    732739 |   19069   109354   372789 |   268146   233322    113 |  7.261 % |
928.37/928.36	c |    733394 |   19069   109354   372789 |   268146   233977    113 |  7.261 % |
929.37/929.32	c |    734115 |   19069   109354   372789 |   268146   234698    113 |  7.261 % |
930.37/930.37	c |    734908 |   19069   109354   372789 |   268146   235491    113 |  7.261 % |
931.67/931.62	c |    735781 |   19069   109354   372789 |   268146   236364    113 |  7.261 % |
933.17/933.22	c |    736740 |   19066   109325   372686 |   268146   237311    112 |  7.276 % |
934.57/934.61	c |    737795 |   19066   109325   372686 |   268146   238366    112 |  7.276 % |
936.17/936.20	c |    738953 |   19066   109325   372686 |   268146   239524    112 |  7.276 % |
937.87/937.86	c |    740226 |   19066   109325   372686 |   240572   240797    112 |  7.276 % |
939.87/939.89	c |    741626 |   19066   109325   372686 |   240572   242197    112 |  7.276 % |
942.87/942.89	c |    743166 |   19066   109325   372686 |   240572   217944    109 |  7.276 % |
944.47/944.46	c |    744860 |   19066   109325   372686 |   240572   219638    108 |  7.276 % |
947.77/947.79	c |    746724 |   19066   109325   372686 |   240572   221502    109 |  7.276 % |
952.07/952.06	c |    748773 |   19066   109325   372686 |   240572   223551    110 |  7.276 % |
956.07/956.10	c |    751026 |   19066   109325   372686 | 2147483647   225804    111 |  7.276 % |
960.77/960.76	c |    753506 |   19066   109325   372686 | 2147483647   228284    112 |  7.276 % |
964.47/964.42	c |    756231 |   19066   109325   372686 | 2147483647   231009    111 |  7.276 % |
969.67/969.66	c |    759228 |   19066   109325   372686 | 2147483647   234006    112 |  7.276 % |
975.97/976.01	c |    762525 |   19066   109325   372686 | 2147483647   237303    113 |  7.276 % |
982.17/982.19	c |    766150 |   19066   109325   372686 | 2147483647   240928    113 |  7.276 % |
989.37/989.41	c |    770137 |   19066   109325   372686 | 2147483647   244915    114 |  7.276 % |
994.97/994.99	c |    774522 |   19066   109325   372686 | 2147483647   249300    114 |  7.276 % |
1004.47/1004.42	c |    779345 |   19066   109325   372686 | 2147483647   254123    115 |  7.276 % |
1015.67/1015.64	c |    784650 |   19066   109325   372686 | 2147483647   259428    118 |  7.276 % |
1025.37/1025.32	c |    790485 |   19066   109325   372686 |   264779   265263    118 |  7.276 % |
1036.57/1036.52	c |    796903 |   19066   109325   372686 |   264779   228335    114 |  7.276 % |
1051.47/1051.47	c |    803962 |   19066   109325   372686 |   231433   235394    117 |  7.276 % |
1051.87/1051.86	c |    804062 |   19066   109325   372686 |   231433   211955    112 |  7.276 % |
1051.97/1051.97	c |    804175 |   19066   109325   372686 |   231433   212068    112 |  7.276 % |
1052.07/1052.08	c |    804299 |   19066   109325   372686 |   231433   212192    112 |  7.276 % |
1052.17/1052.18	c |    804433 |   19066   109325   372686 |   231433   212326    112 |  7.276 % |
1052.37/1052.32	c |    804580 |   19066   109325   372686 |   231433   212473    111 |  7.276 % |
1052.57/1052.56	c |    804740 |   19066   109325   372686 |   231433   212633    111 |  7.276 % |
1052.77/1052.79	c |    804918 |   19066   109325   372686 |   231433   212811    111 |  7.276 % |
1053.07/1053.06	c |    805111 |   19066   109325   372686 |   231433   213004    111 |  7.276 % |
1053.27/1053.25	c |    805323 |   19066   109325   372686 |   231433   213216    111 |  7.276 % |
1053.47/1053.47	c |    805558 |   19066   109325   372686 |   231433   213451    111 |  7.276 % |
1053.67/1053.63	c |    805814 |   19066   109325   372686 |   231433   213707    111 |  7.276 % |
1054.07/1054.05	c |    806095 |   19066   109325   372686 |   231433   213988    111 |  7.276 % |
1054.47/1054.43	c |    806404 |   19066   109325   372686 |   231433   214297    111 |  7.276 % |
1054.87/1054.85	c |    806746 |   19066   109325   372686 |   231433   214639    111 |  7.276 % |
1055.17/1055.14	c |    807118 |   19066   109325   372686 |   231433   215011    111 |  7.276 % |
1055.57/1055.58	c |    807528 |   19066   109325   372686 |   231433   215421    111 |  7.276 % |
1055.97/1055.99	c |    807979 |   19066   109325   372686 |   231433   215872    111 |  7.276 % |
1056.77/1056.72	c |    808472 |   19066   109325   372686 |   231433   216365    111 |  7.276 % |
1057.37/1057.40	c |    809014 |   19066   109325   372686 |   231433   216907    111 |  7.276 % |
1058.27/1058.22	c |    809613 |   19066   109325   372686 |   231433   217506    111 |  7.276 % |
1059.17/1059.15	c |    810270 |   19066   109325   372686 | 2147483647   218163    111 |  7.276 % |
1060.27/1060.28	c |    810991 |   19066   109325   372686 | 2147483647   218884    111 |  7.276 % |
1061.87/1061.82	c |    811785 |   19066   109325   372686 | 2147483647   219678    111 |  7.276 % |
1062.87/1062.88	c |    812657 |   19066   109325   372686 | 2147483647   220550    111 |  7.276 % |
1064.27/1064.25	c |    813616 |   19066   109325   372686 | 2147483647   221509    111 |  7.276 % |
1066.07/1066.01	c |    814669 |   19066   109325   372686 | 2147483647   222562    111 |  7.276 % |
1067.37/1067.32	c |    815827 |   19066   109325   372686 | 2147483647   223720    111 |  7.276 % |
1068.67/1068.63	c |    817100 |   19066   109325   372686 | 2147483647   224993    110 |  7.276 % |
1071.77/1071.74	c |    818501 |   19066   109325   372686 | 2147483647   226394    111 |  7.276 % |
1074.17/1074.13	c |    820043 |   19066   109325   372686 | 2147483647   227936    111 |  7.276 % |
1076.77/1076.80	c |    821738 |   19066   109325   372686 | 2147483647   229631    111 |  7.276 % |
1079.07/1079.07	c |    823601 |   19066   109325   372686 | 2147483647   231494    111 |  7.276 % |
1082.07/1082.06	c |    825650 |   19066   109325   372686 | 2147483647   233543    112 |  7.276 % |
1084.87/1084.90	c |    827903 |   19066   109325   372686 | 2147483647   235796    112 |  7.276 % |
1087.87/1087.87	c |    830384 |   19066   109325   372686 | 2147483647   238277    112 |  7.276 % |
1091.87/1091.83	c |    833110 |   19066   109325   372686 | 2147483647   241003    112 |  7.276 % |
1096.87/1096.86	c |    836108 |   19066   109325   372686 | 2147483647   244001    113 |  7.276 % |
1101.07/1101.06	c |    839404 |   19066   109325   372686 | 2147483647   247297    113 |  7.276 % |
1106.68/1106.69	c |    843029 |   19066   109325   372686 | 2147483647   250922    113 |  7.276 % |
1113.17/1113.14	c |    847016 |   19066   109325   372686 | 2147483647   254909    114 |  7.276 % |
1120.87/1120.81	c |    851401 |   19066   109325   372686 |   257893   259294    115 |  7.276 % |
1129.67/1129.64	c |    856226 |   19066   109325   372686 |   257893   231309    105 |  7.276 % |
1133.98/1133.92	c |    861532 |   19066   109325   372686 | 2147483647   236615    104 |  7.276 % |
1142.98/1142.95	c |    867368 |   19066   109325   372686 | 2147483647   242451    106 |  7.276 % |
1158.98/1158.97	c |    873786 |   19066   109325   372686 |   245084   248869    110 |  7.276 % |
1171.48/1171.45	c |    880845 |   19066   109325   372686 | 2147483647   231042    109 |  7.276 % |
1185.18/1185.20	c |    888610 |   19066   109325   372686 | 2147483647   238807    111 |  7.276 % |
1185.38/1185.36	c |    888711 |   19066   109325   372686 | 2147483647   238908    111 |  7.276 % |
1185.48/1185.48	c |    888821 |   19066   109325   372686 | 2147483647   239018    111 |  7.276 % |
1185.68/1185.61	c |    888943 |   19066   109325   372686 | 2147483647   239140    111 |  7.276 % |
1185.88/1185.83	c |    889076 |   19066   109325   372686 | 2147483647   239273    111 |  7.276 % |
1186.08/1186.04	c |    889223 |   19066   109325   372686 | 2147483647   239420    111 |  7.276 % |
1186.28/1186.22	c |    889383 |   19066   109325   372686 | 2147483647   239580    111 |  7.276 % |
1186.38/1186.34	c |    889559 |   19066   109325   372686 | 2147483647   239756    110 |  7.276 % |
1186.48/1186.49	c |    889752 |   19066   109325   372686 | 2147483647   239949    110 |  7.276 % |
1186.88/1186.84	c |    889964 |   19066   109325   372686 | 2147483647   240161    110 |  7.276 % |
1187.08/1187.08	c |    890197 |   19066   109325   372686 | 2147483647   240394    110 |  7.276 % |
1187.48/1187.42	c |    890454 |   19066   109325   372686 | 2147483647   240651    110 |  7.276 % |
1187.78/1187.77	c |    890739 |   19066   109325   372686 | 2147483647   240936    110 |  7.276 % |
1188.28/1188.30	c |    891049 |   19066   109325   372686 | 2147483647   241246    110 |  7.276 % |
1188.88/1188.87	c |    891388 |   19066   109325   372686 | 2147483647   241585    110 |  7.276 % |
1189.38/1189.39	c |    891761 |   19066   109325   372686 | 2147483647   241958    110 |  7.276 % |
1189.98/1189.99	c |    892174 |   19066   109325   372686 | 2147483647   242371    110 |  7.276 % |
1190.78/1190.80	c |    892623 |   19066   109325   372686 | 2147483647   242820    110 |  7.276 % |
1191.68/1191.63	c |    893116 |   19066   109325   372686 | 2147483647   243313    110 |  7.276 % |
1192.48/1192.48	c |    893658 |   19066   109325   372686 | 2147483647   243855    110 |  7.276 % |
1193.58/1193.57	c |    894254 |   19066   109325   372686 | 2147483647   244451    110 |  7.276 % |
1194.58/1194.57	c |    894909 |   19066   109325   372686 | 2147483647   245106    110 |  7.276 % |
1195.68/1195.66	c |    895630 |   19066   109325   372686 | 2147483647   245827    110 |  7.276 % |
1197.28/1197.26	c |    896422 |   19066   109325   372686 | 2147483647   246619    111 |  7.276 % |
1198.38/1198.32	c |    897295 |   19066   109325   372686 | 2147483647   247492    110 |  7.276 % |
1199.98/1199.91	c |    898254 |   19066   109325   372686 | 2147483647   248451    111 |  7.276 % |
1200.08/1200.03	HOME/SatELiteGTI: line 36: 16641 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=948 CPUtime=0
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 1011832954 970752 32 4294967295 134512640 135223648 3217588160 3217587936 134651181 0 0 0 0 0 0 0 17 2 0 0 0
/proc/16639/statm: 237 44 35 174 0 62 0

[startup+0.0515 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=7632 CPUtime=0.05
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 1488 0 0 0 5 0 0 0 20 0 1 0 1011832954 7815168 1424 4294967295 134512640 135223648 3217588160 3217587112 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 1908 1424 47 174 0 1733 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10048

[startup+0.111494 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=15364 CPUtime=0.11
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 3123 0 0 0 10 1 0 0 20 0 1 0 1011832954 15732736 3059 4294967295 134512640 135223648 3217588160 3217586744 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 3841 3060 47 174 0 3666 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 17780

[startup+0.311477 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=27676 CPUtime=0.31
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 6562 0 0 0 28 3 0 0 21 0 1 0 1011832954 28340224 6047 4294967295 134512640 135223648 3217588160 3217585828 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 6919 6047 73 174 0 6744 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30092

[startup+0.711444 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=30064 CPUtime=0.71
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 7669 0 0 0 65 6 0 0 22 0 1 0 1011832954 30785536 6610 4294967295 134512640 135223648 3217588160 3217586256 134598308 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 7516 6610 73 174 0 7341 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 32480

[startup+1.51138 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16641
/proc/meminfo: memFree=1610088/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=9684 CPUtime=0.57
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 2276 0 0 0 56 1 0 0 22 0 1 0 1011833047 9916416 2211 4294967295 134512640 135215339 3216525088 3216523376 134528711 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 2421 2211 73 172 0 2248 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 12104

[startup+3.11125 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16641
/proc/meminfo: memFree=1608476/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=10608 CPUtime=2.17
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 2496 0 0 0 215 2 0 0 25 0 1 0 1011833047 10862592 2431 4294967295 134512640 135215339 3216525088 3216523184 134527239 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 2652 2431 73 172 0 2479 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 13028

[startup+6.31098 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16824
/proc/meminfo: memFree=1606256/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=12488 CPUtime=5.37
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 2947 0 0 0 535 2 0 0 25 0 1 0 1011833047 12787712 2882 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 3122 2882 73 172 0 2949 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14908

[startup+12.7105 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16824
/proc/meminfo: memFree=1604248/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=14536 CPUtime=11.77
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 3439 0 0 0 1173 4 0 0 25 0 1 0 1011833047 14884864 3374 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 3634 3374 73 172 0 3461 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16956

[startup+25.5194 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16824
/proc/meminfo: memFree=1599384/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=19360 CPUtime=24.58
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 4648 0 0 0 2452 6 0 0 25 0 1 0 1011833047 19824640 4583 4294967295 134512640 135215339 3216525088 3216523376 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 4840 4583 73 172 0 4667 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 21780

[startup+51.1173 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16831
/proc/meminfo: memFree=1589472/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=29128 CPUtime=50.18
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 7112 0 0 0 5010 8 0 0 25 0 1 0 1011833047 29827072 7047 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 7282 7047 73 172 0 7109 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 31548

[startup+102.323 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17021
/proc/meminfo: memFree=1570128/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=48536 CPUtime=101.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 11925 0 0 0 10124 15 0 0 25 0 1 0 1011833047 49700864 11860 4294967295 134512640 135215339 3216525088 3216523088 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 12134 11860 73 172 0 11961 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 50956

[startup+162.318 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 17208
/proc/meminfo: memFree=1550180/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=68744 CPUtime=161.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 16934 0 0 0 16118 21 0 0 25 0 1 0 1011833047 70393856 16869 4294967295 134512640 135215339 3216525088 3216523184 134527359 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 17186 16869 73 172 0 17013 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 71164

[startup+222.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17397
/proc/meminfo: memFree=1531944/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=86568 CPUtime=221.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 21432 0 0 0 22117 22 0 0 25 0 1 0 1011833047 88645632 21367 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 21642 21367 73 172 0 21469 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 88988

[startup+282.318 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17583
/proc/meminfo: memFree=1524760/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=93696 CPUtime=281.4
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 23214 0 0 0 28116 24 0 0 25 0 1 0 1011833047 95944704 23149 4294967295 134512640 135215339 3216525088 3216523088 134532687 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 23424 23149 73 172 0 23251 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 96116

[startup+342.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17771
/proc/meminfo: memFree=1515956/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=102144 CPUtime=341.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 25341 0 0 0 34113 26 0 0 25 0 1 0 1011833047 104595456 25276 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 25536 25276 73 172 0 25363 0
Current children cumulated CPU time (s) 342.32

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

[pid=16641] ppid=16635 vsize=104520 CPUtime=461.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 25916 0 0 0 46108 31 0 0 25 0 1 0 1011833047 107028480 25851 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 26130 25851 73 172 0 25957 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 106940

[startup+522.319 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 18339
/proc/meminfo: memFree=1497232/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=121284 CPUtime=521.4
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 30120 0 0 0 52107 33 0 0 25 0 1 0 1011833047 124194816 30055 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 30321 30055 73 172 0 30148 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 123704

[startup+582.324 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 18526
/proc/meminfo: memFree=1497356/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=121284 CPUtime=581.41
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 30120 0 0 0 58107 34 0 0 25 0 1 0 1011833047 124194816 30055 4294967295 134512640 135215339 3216525088 3216523360 134525106 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 30321 30055 73 172 0 30148 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 123704

[startup+642.319 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 18714
/proc/meminfo: memFree=1483592/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=134764 CPUtime=641.41
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 33506 0 0 0 64103 38 0 0 25 0 1 0 1011833047 137998336 33441 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 33691 33441 73 172 0 33518 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 137184

[startup+702.314 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 18903
/proc/meminfo: memFree=1481964/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=136480 CPUtime=701.41
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 33907 0 0 0 70101 40 0 0 25 0 1 0 1011833047 139755520 33842 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 34120 33842 73 172 0 33947 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 138900

[startup+762.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 19090
/proc/meminfo: memFree=1482104/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=136480 CPUtime=761.42
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 33907 0 0 0 76102 40 0 0 25 0 1 0 1011833047 139755520 33842 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 34120 33842 73 172 0 33947 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 138900

[startup+822.314 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 19283
/proc/meminfo: memFree=1471556/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147040 CPUtime=821.42
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36554 0 0 0 82100 42 0 0 25 0 1 0 1011833047 150568960 36489 4294967295 134512640 135215339 3216525088 3216523088 134532956 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36760 36489 73 172 0 36587 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 149460

[startup+882.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 19469
/proc/meminfo: memFree=1471564/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147040 CPUtime=881.42
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36554 0 0 0 88100 42 0 0 25 0 1 0 1011833047 150568960 36489 4294967295 134512640 135215339 3216525088 3216523376 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36760 36489 73 172 0 36587 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 149460

[startup+942.324 s]
/proc/loadavg: 1.07 1.03 1.00 3/95 19657
/proc/meminfo: memFree=1470572/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147964 CPUtime=941.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36780 0 0 0 94101 43 0 0 25 0 1 0 1011833047 151515136 36715 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36991 36715 73 172 0 36818 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 150384

[startup+1002.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 19846
/proc/meminfo: memFree=1470556/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147964 CPUtime=1001.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36780 0 0 0 100101 43 0 0 25 0 1 0 1011833047 151515136 36715 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36991 36715 73 172 0 36818 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 150384

[startup+1062.31 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 20033
/proc/meminfo: memFree=1469084/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1061.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 106101 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523376 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 151836

[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 20222
/proc/meminfo: memFree=1469200/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1121.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 112101 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523072 134545752 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 151836

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20412
/proc/meminfo: memFree=1469332/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1181.45
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 118102 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523376 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 151836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.13 1.03 1.01 3/95 20415
/proc/meminfo: memFree=1469324/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1199.15
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 119872 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 151836

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

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

Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1199.54
CPU system time (s): 0.56
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 151836

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

runsolver used 0 second user time and 0.04 second system time

The end

Launcher Data

Begin job on tipi16 at 2009-05-16 13:28:44
IDJOB=1820746
IDBENCH=69574
IDSOLVER=657
FILE ID=tipi16/1820746-1242473324
PBS_JOBID=
Free space on /tmp= 5172 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-3.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820746-1242473324/watcher-1820746-1242473324 -o /tmp/evaluation-result-1820746-1242473324/solver-1820746-1242473324 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820746-1242473324.cnf

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

MD5SUM BENCH= 7e900a3d5c709e5167c14f906d6ebd88
RANDOM SEED= 460070344

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1622660 kB
Buffers:         29412 kB
Cached:         343020 kB
SwapCached:       5908 kB
Active:          37356 kB
Inactive:       345124 kB
HighTotal:     1178688 kB
HighFree:       872524 kB
LowTotal:       895776 kB
LowFree:        750136 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:            5960 kB
Writeback:           0 kB
AnonPages:        9288 kB
Mapped:           3156 kB
Slab:            61184 kB
PageTables:        480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90760 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5172 MiB
End job on tipi16 at 2009-05-16 13:48:44