Trace number 1821886

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.09 1200.03

General information on the benchmark

Namegoldb-heqc-i10mul.cnf
MD5SUM80e15f28c8e2d72627ec75fe75757317
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark374.66
Satisfiable
(Un)Satisfiability was proved
Number of variables12998
Number of clauses77941
Sum of the clauses size262272
Maximum clause length448
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217756
Number of clauses of size 337304
Number of clauses of size 40
Number of clauses of size 522880
Number of clauses of size over 51

Solver Data

0.00/0.00	c Parsing...
0.04/0.07	c ==============================================================================
0.04/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.04/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.04/0.07	c ==============================================================================
0.04/0.07	c |         0 |   77941   262272 |   23382       0        0     nan |  0.000 % |
0.62/0.62	c |         0 |   76060   260188 |      --       0       --      -- |     --   | -1881/-2084
0.62/0.62	c ==============================================================================
0.62/0.62	c Result  :   #vars: 12369   #clauses: 76060   #literals: 260188
0.62/0.62	c CPU time:   0.62 s
0.62/0.62	c ==============================================================================
0.72/0.71	c This is MiniSat 2.0 beta
0.72/0.71	c WARNING: for repeatability, setting FPU to use double precision
0.72/0.71	c ============================[ Problem Statistics ]=============================
0.72/0.71	c |                                                                             |
0.72/0.71	c |  Number of variables:  12369                                                |
0.72/0.71	c |  Number of clauses:    76060                                                |
0.72/0.76	c |  Parsing time:         0.05         s                                       |
0.72/0.77	c ============================[ Search Statistics ]==============================
0.72/0.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.72/0.77	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.72/0.77	c ===============================================================================
0.72/0.77	c |         0 |   12369    76060   260188 |    25353        0    nan |  0.000 % |
0.72/0.78	c |       100 |   12354    76060   260188 |    25353       88      3 |  0.146 % |
0.72/0.85	c |       200 |   12350    76060   260188 |    25353      184      3 |  0.202 % |
0.72/0.89	c |       302 |   12349    76060   260188 |    25353      286      4 |  0.202 % |
0.72/0.92	c |       412 |   12343    75668   258857 |    25353      378      5 |  0.210 % |
0.72/0.95	c |       513 |   12342    75668   258857 |    25353      478      6 |  0.218 % |
0.72/0.98	c |       625 |   12334    75668   258857 |    25353      582      5 |  0.283 % |
1.02/1.04	c |       746 |   12331    75335   257686 |    25353      685      5 |  0.307 % |
1.02/1.06	c |       847 |   12331    75335   257686 |    25353      786      6 |  0.307 % |
1.13/1.13	c |       957 |   12328    75335   257686 |    25353      893      9 |  0.331 % |
1.13/1.17	c |      1079 |   12320    75244   257352 |    25353      996      8 |  0.396 % |
1.13/1.20	c |      1213 |   12318    75244   257352 |    25353     1128      8 |  0.412 % |
1.22/1.27	c |      1313 |   12318    75244   257352 |    25353     1228      8 |  0.412 % |
1.32/1.35	c |      1423 |   12316    75115   256910 |    25353     1325      8 |  0.428 % |
1.32/1.38	c |      1544 |   12315    75115   256910 |    25353     1445      8 |  0.437 % |
1.42/1.44	c |      1678 |   12312    75115   256910 |    25353     1576      8 |  0.461 % |
1.42/1.48	c |      1824 |   12311    75047   256681 |    25353     1712      7 |  0.469 % |
1.42/1.49	c |      1927 |   12311    75047   256681 |    25353     1815      7 |  0.469 % |
1.52/1.53	c |      2037 |   12307    75047   256681 |    25353     1923      7 |  0.501 % |
1.52/1.58	c |      2159 |   12303    75047   256681 |    25353     2041      7 |  0.534 % |
1.62/1.66	c |      2292 |   12303    75047   256681 |    25353     2174      7 |  0.534 % |
1.72/1.79	c |      2438 |   12301    74956   256377 |    25353     2314      7 |  0.550 % |
1.82/1.84	c |      2598 |   12297    74935   256308 |    25353     2468      7 |  0.615 % |
1.82/1.87	c |      2698 |   12295    74935   256308 |    25353     2568      7 |  0.614 % |
1.82/1.90	c |      2810 |   12295    74935   256308 |    25353     2680      7 |  0.614 % |
1.92/1.92	c |      2932 |   12292    74935   256308 |    25353     2799      7 |  0.647 % |
1.92/1.94	c |      3066 |   12292    74935   256308 |    25353     2933      8 |  0.647 % |
2.02/2.02	c |      3214 |   12280    74935   256308 |    25353     3078      8 |  0.720 % |
2.12/2.19	c |      3374 |   12278    74625   255236 |    25353     3211      8 |  0.736 % |
2.23/2.23	c |      3551 |   12278    74625   255236 |    25353     3388      8 |  0.736 % |
2.23/2.25	c |      3651 |   12277    74603   255160 |    25353     3481      8 |  0.744 % |
2.23/2.28	c |      3761 |   12276    74603   255160 |    25353     3590      8 |  0.752 % |
2.32/2.39	c |      3883 |   12273    74603   255160 |    25353     3709      8 |  0.776 % |
2.32/2.41	c |      4016 |   12272    74575   255070 |    25353     3807      8 |  0.784 % |
2.42/2.45	c |      4162 |   12268    74575   255070 |    25353     3949      8 |  0.817 % |
2.42/2.48	c |      4322 |   12268    74575   255070 |    25353     4109      8 |  0.817 % |
2.62/2.64	c |      4498 |   12265    74474   254726 |    25353     4272      8 |  0.841 % |
2.62/2.69	c |      4693 |   12259    74474   254726 |    25353     4461      8 |  0.889 % |
2.72/2.71	c |      4793 |   12257    74474   254726 |    25353     4559      8 |  1.083 % |
2.72/2.74	c |      4904 |   12244    74474   254726 |    25353     4670      8 |  1.083 % |
2.72/2.80	c |      5025 |   12234    74092   253436 |    25353     4775      8 |  1.091 % |
2.82/2.86	c |      5158 |   12229    74092   253436 |    25353     4903      8 |  1.132 % |
2.82/2.90	c |      5306 |   12229    74092   253436 |    25353     5051      8 |  1.132 % |
2.92/2.96	c |      5466 |   12228    74051   253304 |    25353     5188      8 |  1.140 % |
3.02/3.04	c |      5642 |   12216    74051   253304 |    25353     5360      8 |  1.383 % |
3.12/3.19	c |      5836 |   12207    74051   253304 |    25353     5552      8 |  1.399 % |
3.22/3.27	c |      6048 |   12196    73715   252168 |    25353     5756      8 |  1.399 % |
3.33/3.32	c |      6148 |   12193    73715   252168 |    25353     5854      8 |  1.423 % |
3.33/3.33	c |      6260 |   12193    73715   252168 |    25353     5966      8 |  1.423 % |
3.33/3.34	c |      6383 |   12193    73715   252168 |    25353     6089      8 |  1.423 % |
3.33/3.40	c |      6516 |   12192    73676   252041 |    25353     6220      8 |  1.431 % |
3.42/3.49	c |      6663 |   12189    73676   252041 |    25353     6364      8 |  1.455 % |
3.52/3.59	c |      6825 |   12185    73676   252041 |    25353     6522      8 |  1.488 % |
3.62/3.61	c |      7001 |   12185    73639   251928 |    25353     6656      8 |  1.488 % |
3.62/3.66	c |      7194 |   12182    73639   251928 |    25353     6846      8 |  1.512 % |
3.62/3.68	c |      7406 |   12182    73639   251928 |    25353     7058      8 |  1.512 % |
3.82/3.81	c |      7640 |   12176    73479   251359 |    25353     7275      8 |  1.560 % |
3.82/3.85	c |      7740 |   12175    73479   251359 |    25353     7374      8 |  1.568 % |
3.82/3.90	c |      7850 |   12172    73479   251359 |    25353     7481      8 |  1.593 % |
4.02/4.01	c |      7973 |   12169    73406   251106 |    25353     7508      8 |  1.617 % |
4.02/4.06	c |      8107 |   12167    73406   251106 |    25353     7640      8 |  1.633 % |
4.12/4.15	c |      8253 |   12164    73406   251106 |    25353     7783      8 |  1.657 % |
4.12/4.17	c |      8413 |   12164    73406   251106 |    25353     7943      8 |  1.657 % |
4.22/4.23	c |      8589 |   12156    73334   250868 |    25353     8085      9 |  1.746 % |
4.22/4.30	c |      8782 |   12153    73334   250868 |    25353     8276      9 |  1.762 % |
4.32/4.34	c |      8994 |   12153    73334   250868 |    25353     8488      9 |  1.762 % |
4.43/4.42	c |      9227 |   12145    73089   250019 |    25353     8675      9 |  1.811 % |
4.52/4.52	c |      9483 |   12145    73089   250019 |    25353     8931      9 |  1.811 % |
4.52/4.55	c |      9583 |   12140    73089   250019 |    25353     9026      9 |  1.859 % |
4.52/4.61	c |      9694 |   12138    73044   249880 |    25353     9116      9 |  1.868 % |
4.62/4.66	c |      9816 |   12138    73044   249880 |    25353     9238      9 |  1.868 % |
4.62/4.70	c |      9949 |   12138    73044   249880 |    25353     9371      9 |  1.868 % |
4.72/4.77	c |     10095 |   12136    73044   249880 | 2147483647     9515      9 |  1.884 % |
4.82/4.82	c |     10255 |   12135    73032   249844 | 2147483647     9658      9 |  1.892 % |
4.92/4.94	c |     10431 |   12133    73032   249844 | 2147483647     9832      9 |  1.908 % |
4.92/4.99	c |     10624 |   12132    73032   249844 | 2147483647    10024      9 |  1.916 % |
5.22/5.24	c |     10836 |   12128    73011   249782 | 2147483647    10222      9 |  1.948 % |
5.22/5.30	c |     11069 |   12128    73011   249782 | 2147483647    10455      9 |  1.948 % |
5.32/5.39	c |     11325 |   12127    73009   249776 | 2147483647    10701      9 |  1.957 % |
5.43/5.48	c |     11606 |   12127    73009   249776 | 2147483647    10982      9 |  1.957 % |
5.43/5.50	c |     11706 |   12127    73009   249776 | 2147483647    11082      9 |  1.957 % |
5.43/5.51	c |     11816 |   12127    73009   249776 | 2147483647    11192      9 |  1.957 % |
5.53/5.56	c |     11938 |   12127    73009   249776 | 2147483647    11314      9 |  1.957 % |
5.63/5.65	c |     12071 |   12116    73001   249752 | 2147483647    11438      9 |  2.046 % |
5.63/5.71	c |     12217 |   12113    73001   249752 | 2147483647    11581      9 |  2.070 % |
5.73/5.77	c |     12377 |   12105    73001   249752 | 2147483647    11735      9 |  2.142 % |
5.73/5.81	c |     12553 |   12102    73001   249752 | 2147483647    11910      9 |  2.167 % |
5.83/5.87	c |     12746 |   12100    72777   249010 | 2147483647    12030      9 |  2.175 % |
5.93/5.99	c |     12958 |   12097    72777   249010 | 2147483647    12240      9 |  2.199 % |
6.03/6.07	c |     13192 |   12095    72756   248945 | 2147483647    12453     10 |  2.215 % |
6.13/6.15	c |     13448 |   12088    72756   248945 | 2147483647    12704     10 |  2.272 % |
6.33/6.33	c |     13731 |   12084    72756   248945 | 2147483647    12983     10 |  2.304 % |
6.43/6.42	c |     14040 |   12080    72655   248607 | 2147483647    13229     10 |  2.336 % |
6.43/6.48	c |     14140 |   12076    72655   248607 | 2147483647    13326     10 |  2.369 % |
6.43/6.51	c |     14250 |   12076    72655   248607 | 2147483647    13436     10 |  2.369 % |
6.53/6.53	c |     14371 |   12076    72655   248607 | 2147483647    13557     10 |  2.369 % |
6.53/6.61	c |     14504 |   12075    72655   248607 | 2147483647    13689     10 |  2.377 % |
6.63/6.68	c |     14651 |   12073    72608   248457 | 2147483647    13717     10 |  2.393 % |
6.63/6.70	c |     14812 |   12073    72608   248457 | 2147483647    13878     10 |  2.393 % |
6.73/6.73	c |     14993 |   12073    72608   248457 | 2147483647    14059     10 |  2.393 % |
6.73/6.75	c |     15186 |   12073    72608   248457 | 2147483647    14252     10 |  2.393 % |
6.83/6.83	c |     15399 |   12070    72608   248457 | 2147483647    14462     10 |  2.417 % |
6.93/6.93	c |     15632 |   12060    72584   248385 | 2147483647    14646     10 |  2.563 % |
7.03/7.06	c |     15889 |   12057    72584   248385 | 2147483647    14903     10 |  2.563 % |
7.13/7.21	c |     16172 |   12045    72429   247878 | 2147483647    15149     10 |  2.619 % |
7.23/7.26	c |     16481 |   12045    72429   247878 | 2147483647    15458     10 |  2.619 % |
7.33/7.41	c |     16822 |   12040    72429   247878 | 2147483647    15794     10 |  2.660 % |
7.43/7.47	c |     16922 |   12040    72367   247684 | 2147483647    15843     10 |  2.660 % |
7.53/7.52	c |     17033 |   12039    72367   247684 | 2147483647    15953     10 |  2.668 % |
7.63/7.62	c |     17154 |   12036    72367   247684 | 2147483647    16071     10 |  2.692 % |
7.63/7.69	c |     17287 |   12035    72367   247684 | 2147483647    16203     10 |  2.700 % |
7.63/7.72	c |     17435 |   12033    72340   247593 | 2147483647    16319     10 |  2.716 % |
7.73/7.76	c |     17595 |   12030    72340   247593 | 2147483647    16475     10 |  2.749 % |
7.93/7.94	c |     17772 |   12023    72340   247593 | 2147483647    16648     10 |  2.797 % |
8.03/8.05	c |     17965 |   12023    72340   247593 | 2147483647    16841     10 |  2.797 % |
8.13/8.18	c |     18177 |   12019    72282   247416 | 2147483647    16984     10 |  2.830 % |
8.23/8.22	c |     18410 |   12019    72282   247416 | 2147483647    17217     10 |  2.830 % |
8.23/8.26	c |     18666 |   12019    72282   247416 | 2147483647    17473     10 |  2.830 % |
8.33/8.38	c |     18947 |   12018    72282   247416 | 2147483647    17752     11 |  2.854 % |
8.53/8.52	c |     19256 |   12014    72212   247182 | 2147483647    18037     11 |  2.870 % |
8.53/8.62	c |     19595 |   12011    72212   247182 | 2147483647    18373     10 |  2.894 % |
8.73/8.77	c |     19968 |   12009    72161   247006 | 2147483647    18720     11 |  2.911 % |
8.83/8.85	c |     20068 |   11998    72161   247006 | 2147483647    18812     11 |  3.072 % |
8.83/8.90	c |     20179 |   11998    72161   247006 | 2147483647    18923     11 |  3.072 % |
8.93/8.94	c |     20301 |   11993    72161   247006 | 2147483647    19043     11 |  3.105 % |
8.93/9.02	c |     20434 |   11982    71914   246170 | 2147483647    19086     11 |  3.129 % |
9.13/9.12	c |     20581 |   11981    71914   246170 | 2147483647    19232     11 |  3.137 % |
9.13/9.17	c |     20741 |   11979    71914   246170 | 2147483647    19390     11 |  3.153 % |
9.23/9.25	c |     20918 |   11977    71914   246170 | 2147483647    19565     11 |  3.169 % |
9.23/9.28	c |     21111 |   11977    71914   246170 | 2147483647    19758     11 |  3.169 % |
9.33/9.35	c |     21323 |   11973    71882   246072 | 2147483647    19922     11 |  3.202 % |
9.43/9.43	c |     21556 |   11973    71882   246072 | 2147483647    20155     11 |  3.202 % |
9.53/9.57	c |     21813 |   11970    71882   246072 | 2147483647    20410     11 |  3.226 % |
9.63/9.63	c |     22095 |   11970    71882   246072 | 2147483647    20692     11 |  3.226 % |
9.73/9.72	c |     22404 |   11970    71882   246072 | 2147483647    21001     11 |  3.226 % |
9.73/9.81	c |     22743 |   11970    71838   245932 | 2147483647    21323     11 |  3.226 % |
9.93/9.99	c |     23115 |   11967    71838   245932 | 2147483647    21692     11 |  3.250 % |
10.13/10.16	c |     23527 |   11967    71838   245932 | 2147483647    22104     11 |  3.250 % |
10.23/10.23	c |     23627 |   11966    71817   245863 | 2147483647    22179     11 |  3.259 % |
10.23/10.28	c |     23737 |   11966    71817   245863 | 2147483647    22289     11 |  3.258 % |
10.33/10.34	c |     23858 |   11966    71817   245863 | 2147483647    22410     11 |  3.258 % |
10.43/10.44	c |     23991 |   11964    71817   245863 | 2147483647    22541     11 |  3.274 % |
10.43/10.52	c |     24137 |   11963    71817   245863 | 2147483647    22686     11 |  3.283 % |
10.53/10.59	c |     24297 |   11963    71817   245863 | 2147483647    22846     11 |  3.282 % |
10.63/10.69	c |     24473 |   11963    71794   245793 | 2147483647    23009     12 |  3.282 % |
10.73/10.74	c |     24666 |   11962    71794   245793 | 2147483647    23201     12 |  3.290 % |
10.73/10.79	c |     24879 |   11962    71794   245793 | 2147483647    23414     12 |  3.290 % |
10.83/10.85	c |     25113 |   11958    71794   245793 | 2147483647    23646     12 |  3.339 % |
10.83/10.91	c |     25370 |   11958    71794   245793 | 2147483647    23903     12 |  3.339 % |
10.93/11.01	c |     25653 |   11953    71730   245584 | 2147483647    24180     12 |  3.363 % |
11.13/11.14	c |     25964 |   11953    71730   245584 | 2147483647    24491     12 |  3.363 % |
11.23/11.26	c |     26304 |   11952    71730   245584 | 2147483647    24830     12 |  3.371 % |
11.33/11.38	c |     26677 |   11951    71699   245488 | 2147483647    25202     13 |  3.379 % |
11.43/11.46	c |     27086 |   11951    71699   245488 | 2147483647    25611     13 |  3.379 % |
11.63/11.71	c |     27535 |   11951    71699   245488 | 2147483647    26060     13 |  3.379 % |
11.73/11.77	c |     27635 |   11945    71691   245464 | 2147483647    26155     13 |  3.428 % |
11.73/11.81	c |     27745 |   11940    71691   245464 | 2147483647    26263     13 |  3.476 % |
11.83/11.86	c |     27866 |   11939    71691   245464 | 2147483647    26384     13 |  3.476 % |
11.83/11.89	c |     28000 |   11939    71691   245464 | 2147483647    26518     13 |  3.476 % |
11.93/11.98	c |     28147 |   11937    71691   245464 | 2147483647    26663     13 |  3.493 % |
12.03/12.02	c |     28309 |   11937    71691   245464 | 2147483647    26825     13 |  3.493 % |
12.03/12.06	c |     28485 |   11937    71691   245464 | 2147483647    27001     13 |  3.493 % |
12.13/12.14	c |     28678 |   11933    71691   245464 | 2147483647    27190     13 |  3.525 % |
12.23/12.29	c |     28892 |   11930    71517   244882 | 2147483647    27083     13 |  3.549 % |
12.33/12.38	c |     29127 |   11928    71517   244882 | 2147483647    27316     14 |  3.565 % |
12.43/12.51	c |     29383 |   11926    71517   244882 | 2147483647    27571     14 |  3.590 % |
12.63/12.65	c |     29664 |   11923    71517   244882 | 2147483647    27851     14 |  3.614 % |
12.73/12.76	c |     29975 |   11921    71455   244686 | 2147483647    28109     14 |  3.622 % |
12.93/12.95	c |     30314 |   11917    71455   244686 | 2147483647    28445     14 |  3.654 % |
13.03/13.08	c |     30686 |   11916    71455   244686 | 2147483647    28816     14 |  3.662 % |
13.33/13.32	c |     31095 |   11915    71401   244512 | 2147483647    29215     14 |  3.670 % |
13.43/13.50	c |     31544 |   11915    71401   244512 | 2147483647    29664     14 |  3.670 % |
13.73/13.77	c |     32037 |   11910    71391   244482 | 2147483647    30141     14 |  3.711 % |
13.73/13.81	c |     32138 |   11910    71391   244482 | 2147483647    30242     14 |  3.711 % |
13.83/13.87	c |     32248 |   11910    71391   244482 | 2147483647    30351     14 |  3.727 % |
13.93/13.93	c |     32369 |   11908    71391   244482 | 2147483647    30472     14 |  3.727 % |
13.93/13.99	c |     32503 |   11908    71391   244482 | 2147483647    30606     14 |  3.727 % |
14.03/14.09	c |     32649 |   11907    71391   244482 | 2147483647    30751     14 |  3.735 % |
14.13/14.16	c |     32809 |   11907    71391   244482 | 2147483647    30911     14 |  3.735 % |
14.13/14.21	c |     32985 |   11907    71391   244482 | 2147483647    31087     14 |  3.735 % |
14.23/14.31	c |     33178 |   11906    71343   244333 | 2147483647    31263     14 |  3.743 % |
14.33/14.38	c |     33390 |   11906    71343   244333 | 2147483647    31475     14 |  3.743 % |
14.43/14.43	c |     33623 |   11906    71343   244333 | 2147483647    31708     14 |  3.743 % |
14.53/14.57	c |     33881 |   11906    71343   244333 | 2147483647    31966     14 |  3.743 % |
14.63/14.62	c |     34166 |   11906    71343   244333 | 2147483647    32251     14 |  3.743 % |
14.63/14.70	c |     34475 |   11906    71343   244333 | 2147483647    32560     15 |  3.743 % |
14.73/14.78	c |     34816 |   11906    71343   244333 | 2147483647    32901     15 |  3.743 % |
14.93/14.95	c |     35189 |   11906    71334   244303 | 2147483647    33273     15 |  3.743 % |
15.13/15.12	c |     35600 |   11905    71334   244303 | 2147483647    33683     15 |  3.751 % |
15.23/15.28	c |     36049 |   11904    71334   244303 | 2147483647    34131     15 |  3.759 % |
15.43/15.42	c |     36542 |   11901    71308   244222 | 2147483647    34598     15 |  3.784 % |
15.63/15.65	c |     37084 |   11899    71308   244222 | 2147483647    35138     15 |  3.800 % |
15.63/15.69	c |     37184 |   11896    71308   244222 | 2147483647    35235     15 |  3.824 % |
15.63/15.71	c |     37294 |   11896    71308   244222 | 2147483647    35345     15 |  3.824 % |
15.73/15.73	c |     37416 |   11896    71308   244222 | 2147483647    35467     15 |  3.824 % |
15.73/15.78	c |     37551 |   11896    71308   244222 | 2147483647    35602     15 |  3.824 % |
15.83/15.84	c |     37697 |   11895    71308   244222 | 2147483647    35747     15 |  3.832 % |
15.83/15.87	c |     37857 |   11893    71308   244222 | 2147483647    35906     15 |  3.848 % |
15.93/16.01	c |     38034 |   11892    71189   242127 | 2147483647    36066     15 |  3.856 % |
16.13/16.13	c |     38229 |   11891    71189   242127 | 2147483647    36260     16 |  3.865 % |
16.23/16.27	c |     38444 |   11891    71189   242127 | 2147483647    36475     16 |  3.865 % |
16.43/16.42	c |     38677 |   11890    71189   242127 | 2147483647    36707     16 |  3.873 % |
16.53/16.56	c |     38933 |   11890    71189   242127 | 2147483647    36963     16 |  3.873 % |
16.73/16.74	c |     39214 |   11888    71189   242127 | 2147483647    37242     16 |  3.889 % |
16.83/16.84	c |     39524 |   11887    71151   242000 | 2147483647    37546     16 |  3.897 % |
17.03/17.05	c |     39863 |   11886    71151   242000 | 2147483647    37884     16 |  3.905 % |
17.13/17.17	c |     40237 |   11886    71151   242000 | 2147483647    38258     16 |  3.905 % |
17.33/17.34	c |     40646 |   11886    71151   242000 | 2147483647    38667     16 |  3.905 % |
17.43/17.51	c |     41095 |   11884    71151   242000 | 2147483647    39114     16 |  3.929 % |
17.73/17.76	c |     41588 |   11882    71103   241849 | 2147483647    39601     17 |  3.937 % |
18.03/18.04	c |     42130 |   11879    71103   241849 | 2147483647    40138     17 |  3.978 % |
18.23/18.30	c |     42726 |   11862    71103   241849 | 2147483647    40731     17 |  4.115 % |
18.33/18.33	c |     42827 |   11860    70840   240952 | 2147483647    40796     17 |  4.115 % |
18.33/18.38	c |     42939 |   11860    70840   240952 | 2147483647    40908     17 |  4.115 % |
18.33/18.40	c |     43060 |   11860    70840   240952 | 2147483647    41029     17 |  4.115 % |
18.43/18.48	c |     43194 |   11857    70840   240952 | 2147483647    41161     17 |  4.139 % |
18.53/18.54	c |     43341 |   11857    70840   240952 | 2147483647    41308     17 |  4.139 % |
18.53/18.60	c |     43501 |   11854    70840   240952 | 2147483647    41465     17 |  4.164 % |
18.73/18.72	c |     43679 |   11853    70840   240952 | 2147483647    41642     17 |  4.172 % |
18.73/18.76	c |     43873 |   11853    70840   240952 | 2147483647    41836     17 |  4.172 % |
18.83/18.87	c |     44085 |   11852    70840   240952 | 2147483647    42047     17 |  4.180 % |
18.93/18.99	c |     44318 |   11852    70840   240952 | 2147483647    42280     17 |  4.180 % |
19.03/19.10	c |     44575 |   11852    70840   240952 | 2147483647    42537     17 |  4.180 % |
19.13/19.21	c |     44856 |   11852    70782   240770 | 2147483647    42807     17 |  4.180 % |
19.33/19.36	c |     45165 |   11850    70782   240770 | 2147483647    43114     18 |  4.196 % |
19.43/19.46	c |     45506 |   11850    70782   240770 | 2147483647    43455     18 |  4.196 % |
19.63/19.64	c |     45880 |   11845    70782   240770 | 2147483647    43827     18 |  4.236 % |
19.73/19.79	c |     46291 |   11845    70782   240770 | 2147483647    44238     18 |  4.236 % |
19.83/19.90	c |     46741 |   11845    70782   240770 | 2147483647    44688     18 |  4.236 % |
20.13/20.15	c |     47234 |   11843    70782   240770 | 2147483647    45179     18 |  4.253 % |
20.23/20.31	c |     47778 |   11843    70710   240524 | 2147483647    45702     18 |  4.253 % |
20.53/20.54	c |     48375 |   11842    70710   240524 | 2147483647    46297     18 |  4.325 % |
20.73/20.80	c |     49032 |   11841    70710   240524 | 2147483647    46954     18 |  4.325 % |
20.83/20.87	c |     49133 |   11840    70710   240524 | 2147483647    47054     18 |  4.333 % |
20.83/20.91	c |     49243 |   11835    70710   240524 | 2147483647    47161     18 |  4.374 % |
20.93/20.98	c |     49364 |   11832    70710   240524 | 2147483647    47282     18 |  4.374 % |
21.03/21.03	c |     49497 |   11832    70710   240524 | 2147483647    47415     18 |  4.374 % |
21.13/21.12	c |     49644 |   11828    70572   240066 | 2147483647    47541     18 |  4.374 % |
21.13/21.19	c |     49804 |   11828    70572   240066 | 2147483647    47701     18 |  4.374 % |
21.23/21.29	c |     49983 |   11828    70572   240066 | 2147483647    47880     18 |  4.374 % |
21.33/21.38	c |     50176 |   11825    70572   240066 | 2147483647    48071     18 |  4.398 % |
21.43/21.47	c |     50388 |   11825    70572   240066 | 2147483647    48283     18 |  4.398 % |
21.53/21.59	c |     50623 |   11825    70572   240066 | 2147483647    48518     18 |  4.398 % |
21.63/21.70	c |     50882 |   11825    70572   240066 | 2147483647    48777     19 |  4.398 % |
21.83/21.87	c |     51163 |   11823    70572   240066 | 2147483647    49056     19 |  4.414 % |
22.03/22.08	c |     51472 |   11823    70572   240066 | 2147483647    49365     19 |  4.414 % |
22.23/22.26	c |     51812 |   11823    70514   239869 | 2147483647    49693     19 |  4.414 % |
22.43/22.43	c |     52184 |   11823    70514   239869 | 2147483647    50065     19 |  4.414 % |
22.63/22.65	c |     52594 |   11823    70514   239869 | 2147483647    50475     19 |  4.414 % |
22.83/22.88	c |     53044 |   11823    70514   239869 | 2147483647    50925     19 |  4.414 % |
23.13/23.14	c |     53538 |   11822    70514   239869 | 2147483647    51418     20 |  4.422 % |
23.43/23.43	c |     54081 |   11821    70497   239815 | 2147483647    51957     20 |  4.447 % |
23.63/23.70	c |     54677 |   11816    70497   239815 | 2147483647    52550     20 |  4.471 % |
23.93/23.99	c |     55332 |   11815    70497   239815 | 2147483647    53204     20 |  4.487 % |
24.23/24.25	c |     56052 |   11814    70497   239815 | 2147483647    53923     20 |  4.495 % |
24.23/24.30	c |     56153 |   11814    70497   239815 | 2147483647    54024     20 |  4.495 % |
24.33/24.34	c |     56263 |   11814    70497   239815 | 2147483647    54134     20 |  4.495 % |
24.33/24.37	c |     56384 |   11814    70497   239815 | 2147483647    54255     20 |  4.495 % |
24.43/24.43	c |     56519 |   11814    70497   239815 | 2147483647    54390     20 |  4.495 % |
24.53/24.58	c |     56666 |   11812    70426   239584 | 2147483647    54523     20 |  4.503 % |
24.63/24.65	c |     56826 |   11812    70426   239584 | 2147483647    54683     20 |  4.503 % |
24.73/24.73	c |     57002 |   11812    70426   239584 | 2147483647    54859     21 |  4.503 % |
24.73/24.81	c |     57196 |   11811    70426   239584 | 2147483647    55052     21 |  4.511 % |
24.83/24.89	c |     57408 |   11808    70426   239584 | 2147483647    55263     21 |  4.560 % |
25.03/25.05	c |     57641 |   11808    70426   239584 | 2147483647    55496     21 |  4.560 % |
25.13/25.15	c |     57897 |   11807    70426   239584 | 2147483647    55751     21 |  4.568 % |
25.23/25.24	c |     58180 |   11807    70426   239584 | 2147483647    56034     21 |  4.568 % |
25.33/25.41	c |     58489 |   11807    70426   239584 | 2147483647    56343     21 |  4.568 % |
25.53/25.57	c |     58830 |   11806    70426   239584 | 2147483647    56683     21 |  4.576 % |
25.63/25.70	c |     59202 |   11806    70426   239584 | 2147483647    57055     21 |  4.576 % |
25.83/25.88	c |     59612 |   11806    70426   239584 | 2147483647    57465     21 |  4.576 % |
26.13/26.12	c |     60061 |   11803    70364   239374 | 2147483647    57734     21 |  4.576 % |
26.43/26.46	c |     60554 |   11801    70364   239374 | 2147483647    58225     22 |  4.600 % |
26.63/26.71	c |     61096 |   11801    70364   239374 | 2147483647    58767     22 |  4.600 % |
26.93/27.01	c |     61694 |   11799    70364   239374 | 2147483647    59364     22 |  4.608 % |
27.23/27.24	c |     62349 |   11799    70364   239374 | 2147483647    60019     22 |  4.608 % |
27.43/27.49	c |     63070 |   11799    70364   239374 | 2147483647    60740     23 |  4.608 % |
27.93/27.96	c |     63863 |   11796    70329   239267 | 2147483647    61520     23 |  4.641 % |
28.03/28.03	c |     63963 |   11792    70329   239267 | 2147483647    61617     23 |  4.673 % |
28.03/28.10	c |     64074 |   11792    70329   239267 | 2147483647    61728     23 |  4.673 % |
28.13/28.16	c |     64195 |   11792    70329   239267 | 2147483647    61849     23 |  4.673 % |
28.13/28.22	c |     64328 |   11792    70329   239267 | 2147483647    61982     23 |  4.673 % |
28.23/28.26	c |     64474 |   11792    70329   239267 | 2147483647    62128     23 |  4.673 % |
28.33/28.41	c |     64636 |   11791    70329   239267 | 2147483647    62290     23 |  4.673 % |
28.43/28.49	c |     64814 |   11791    70329   239267 | 2147483647    62468     23 |  4.673 % |
28.53/28.62	c |     65007 |   11790    70329   239267 | 2147483647    62660     23 |  4.681 % |
28.73/28.77	c |     65219 |   11790    70329   239267 | 2147483647    62872     24 |  4.681 % |
28.83/28.90	c |     65455 |   11790    70329   239267 | 2147483647    63108     24 |  4.681 % |
28.93/28.98	c |     65711 |   11790    70329   239267 | 2147483647    63364     24 |  4.681 % |
29.13/29.13	c |     65992 |   11790    70329   239267 | 2147483647    63645     24 |  4.681 % |
29.23/29.29	c |     66301 |   11789    70092   238457 | 2147483647    63929     24 |  4.689 % |
29.43/29.45	c |     66643 |   11789    70092   238457 | 2147483647    64270     24 |  4.697 % |
29.63/29.64	c |     67015 |   11789    70092   238457 | 2147483647    64642     25 |  4.697 % |
29.93/29.92	c |     67424 |   11785    70092   238457 | 2147483647    65049     25 |  4.722 % |
30.13/30.16	c |     67873 |   11785    70092   238457 | 2147483647    65498     25 |  4.722 % |
30.33/30.33	c |     68366 |   11785    70092   238457 | 2147483647    65991     25 |  4.721 % |
30.53/30.57	c |     68909 |   11785    70092   238457 | 2147483647    66534     25 |  4.721 % |
30.83/30.89	c |     69505 |   11783    70092   238457 | 2147483647    67128     25 |  4.738 % |
31.23/31.27	c |     70161 |   11780    70040   238296 | 2147483647    67762     26 |  4.762 % |
31.63/31.71	c |     70881 |   11775    70040   238296 | 2147483647    68479     26 |  4.851 % |
32.03/32.07	c |     71674 |   11773    70040   238296 | 2147483647    69272     26 |  4.851 % |
32.63/32.65	c |     72545 |   11772    70040   238296 | 2147483647    70142     26 |  4.859 % |
32.63/32.69	c |     72646 |   11772    70040   238296 | 2147483647    70243     26 |  4.859 % |
32.73/32.75	c |     72757 |   11772    70040   238296 | 2147483647    70354     26 |  4.859 % |
32.73/32.80	c |     72879 |   11772    70040   238296 | 2147483647    70476     26 |  4.859 % |
32.83/32.88	c |     73012 |   11772    70040   238296 | 2147483647    70609     26 |  4.859 % |
32.93/32.94	c |     73158 |   11772    70040   238296 | 2147483647    70755     26 |  4.859 % |
33.03/33.02	c |     73318 |   11772    70040   238296 | 2147483647    70915     26 |  4.859 % |
33.13/33.14	c |     73495 |   11772    70040   238296 | 2147483647    71092     26 |  4.859 % |
33.23/33.23	c |     73688 |   11771    70040   238296 | 2147483647    71284     26 |  4.867 % |
33.33/33.36	c |     73902 |   11771    70040   238296 | 2147483647    71498     26 |  4.867 % |
33.43/33.46	c |     74135 |   11771    70040   238296 | 2147483647    71731     26 |  4.867 % |
33.63/33.63	c |     74391 |   11765    69922   237919 | 2147483647    71976     26 |  4.883 % |
33.73/33.75	c |     74672 |   11765    69922   237919 | 2147483647    72257     27 |  4.883 % |
33.83/33.84	c |     74981 |   11765    69922   237919 | 2147483647    72566     27 |  4.883 % |
33.93/33.97	c |     75320 |   11765    69922   237919 | 2147483647    72905     26 |  4.883 % |
34.13/34.14	c |     75692 |   11765    69922   237919 | 2147483647    73277     27 |  4.883 % |
34.43/34.47	c |     76101 |   11764    69922   237919 | 2147483647    73685     27 |  4.916 % |
34.63/34.66	c |     76550 |   11764    69922   237919 | 2147483647    74134     27 |  4.916 % |
34.93/34.93	c |     77043 |   11761    69922   237919 | 2147483647    74625     27 |  4.940 % |
35.13/35.22	c |     77586 |   11760    69922   237919 | 2147483647    75167     27 |  4.948 % |
35.53/35.60	c |     78185 |   11760    69922   237919 | 2147483647    75766     27 |  4.948 % |
35.93/35.96	c |     78842 |   11760    69922   237919 | 2147483647    76423     28 |  4.948 % |
36.23/36.26	c |     79562 |   11757    69824   237594 | 2147483647    77131     28 |  4.948 % |
36.53/36.60	c |     80354 |   11756    69824   237594 | 2147483647    77922     28 |  4.956 % |
37.03/37.03	c |     81225 |   11755    69824   237594 | 2147483647    78792     29 |  4.964 % |
37.63/37.64	c |     82183 |   11755    69824   237594 | 2147483647    79750     29 |  4.964 % |
37.63/37.69	c |     82285 |   11755    69824   237594 | 2147483647    79852     29 |  4.964 % |
37.73/37.77	c |     82395 |   11755    69824   237594 | 2147483647    79962     29 |  4.964 % |
37.83/37.84	c |     82516 |   11755    69824   237594 | 2147483647    80083     29 |  4.964 % |
37.93/37.95	c |     82650 |   11755    69824   237594 | 2147483647    80217     29 |  4.964 % |
38.03/38.03	c |     82796 |   11755    69824   237594 | 2147483647    80363     29 |  4.964 % |
38.03/38.12	c |     82956 |   11755    69824   237594 | 2147483647    80523     29 |  4.964 % |
38.13/38.21	c |     83132 |   11754    69824   237594 | 2147483647    80698     29 |  4.972 % |
38.23/38.31	c |     83326 |   11754    69824   237594 | 2147483647    80892     29 |  4.972 % |
38.43/38.43	c |     83539 |   11753    69824   237594 | 2147483647    81104     29 |  4.980 % |
38.53/38.59	c |     83773 |   11753    69824   237594 | 2147483647    81338     29 |  4.980 % |
38.73/38.75	c |     84030 |   11753    69824   237594 | 2147483647    81595     29 |  4.980 % |
38.93/38.92	c |     84311 |   11752    69786   237467 | 2147483647    81867     29 |  4.988 % |
39.03/39.03	c |     84623 |   11752    69786   237467 | 2147483647    82179     29 |  4.988 % |
39.23/39.26	c |     84963 |   11752    69786   237467 | 2147483647    82519     29 |  4.988 % |
39.43/39.45	c |     85335 |   11752    69786   237467 | 2147483647    82891     29 |  4.988 % |
39.73/39.74	c |     85745 |   11752    69786   237467 | 2147483647    83301     30 |  4.988 % |
40.03/40.04	c |     86196 |   11752    69786   237467 | 2147483647    83752     30 |  4.988 % |
40.23/40.29	c |     86690 |   11752    69786   237467 | 2147483647    84246     30 |  4.988 % |
40.43/40.52	c |     87232 |   11752    69786   237467 | 2147483647    84788     30 |  4.988 % |
40.83/40.86	c |     87830 |   11750    69786   237467 | 2147483647    85384     30 |  5.005 % |
41.23/41.26	c |     88489 |   11749    69786   237467 | 2147483647    86042     30 |  5.013 % |
41.53/41.59	c |     89209 |   11749    69786   237467 | 2147483647    86762     30 |  5.013 % |
41.93/41.92	c |     90001 |   11749    69786   237467 | 2147483647    87554     30 |  5.013 % |
42.33/42.38	c |     90872 |   11749    69746   237348 | 2147483647    88419     30 |  5.013 % |
42.93/42.94	c |     91831 |   11747    69746   237348 | 2147483647    89376     30 |  5.029 % |
43.53/43.56	c |     92884 |   11745    69746   237348 | 2147483647    90427     31 |  5.045 % |
43.63/43.63	c |     92984 |   11745    69746   237348 | 2147483647    90527     31 |  5.045 % |
43.63/43.70	c |     93095 |   11744    69746   237348 | 2147483647    90637     31 |  5.053 % |
43.73/43.81	c |     93218 |   11744    69746   237348 | 2147483647    90760     31 |  5.053 % |
43.83/43.88	c |     93352 |   11744    69746   237348 | 2147483647    90894     31 |  5.053 % |
43.93/43.95	c |     93498 |   11744    69746   237348 | 2147483647    91040     31 |  5.053 % |
44.03/44.09	c |     93658 |   11743    69746   237348 | 2147483647    91199     31 |  5.061 % |
44.13/44.20	c |     93835 |   11743    69746   237348 | 2147483647    91376     31 |  5.061 % |
44.33/44.33	c |     94029 |   11743    69746   237348 | 2147483647    91570     31 |  5.061 % |
44.43/44.47	c |     94241 |   11743    69746   237348 | 2147483647    91782     31 |  5.061 % |
44.63/44.63	c |     94474 |   11743    69746   237348 | 2147483647    92015     31 |  5.061 % |
44.73/44.80	c |     94733 |   11742    69746   237348 | 2147483647    92273     31 |  5.069 % |
44.93/44.96	c |     95014 |   11742    69746   237348 | 2147483647    92554     31 |  5.069 % |
45.13/45.19	c |     95324 |   11742    69746   237348 | 2147483647    92864     31 |  5.069 % |
45.33/45.32	c |     95663 |   11742    69746   237348 | 2147483647    93203     31 |  5.069 % |
45.53/45.61	c |     96035 |   11742    69746   237348 | 2147483647    93575     31 |  5.069 % |
45.83/45.88	c |     96446 |   11742    69746   237348 | 2147483647    93986     31 |  5.069 % |
46.23/46.29	c |     96895 |   11740    69671   237097 | 2147483647    94425     31 |  5.085 % |
46.63/46.67	c |     97390 |   11740    69671   237097 | 2147483647    94920     32 |  5.085 % |
46.83/46.91	c |     97933 |   11740    69671   237097 | 2147483647    95463     31 |  5.085 % |
47.43/47.42	c |     98531 |   11740    69671   237097 | 2147483647    96061     32 |  5.085 % |
47.73/47.72	c |     99186 |   11740    69671   237097 | 2147483647    96716     32 |  5.085 % |
48.23/48.29	c |     99906 |   11737    69671   237097 | 2147483647    97434     32 |  5.110 % |
48.73/48.73	c |    100699 |   11736    69671   237097 | 2147483647    98226     32 |  5.118 % |
49.33/49.41	c |    101570 |   11736    69671   237097 | 2147483647    99097     33 |  5.118 % |
49.93/49.99	c |    102528 |   11735    69671   237097 | 2147483647   100054     33 |  5.126 % |
50.63/50.70	c |    103581 |   11735    69671   237097 | 2147483647   101107     33 |  5.126 % |
51.43/51.43	c |    104739 |   11731    69614   236919 | 2147483647   102238     34 |  5.158 % |
51.43/51.48	c |    104839 |   11731    69614   236919 | 2147483647   102338     34 |  5.158 % |
51.53/51.57	c |    104949 |   11731    69614   236919 | 2147483647   102448     34 |  5.158 % |
51.63/51.64	c |    105070 |   11731    69614   236919 | 2147483647   102569     34 |  5.158 % |
51.73/51.75	c |    105205 |   11731    69614   236919 | 2147483647   102704     34 |  5.158 % |
51.73/51.80	c |    105351 |   11731    69614   236919 | 2147483647   102850     34 |  5.158 % |
51.83/51.84	c |    105511 |   11731    69614   236919 | 2147483647   103010     34 |  5.158 % |
51.93/51.94	c |    105687 |   11731    69614   236919 | 2147483647   103186     34 |  5.158 % |
52.03/52.09	c |    105883 |   11731    69614   236919 | 2147483647   103382     34 |  5.158 % |
52.23/52.29	c |    106096 |   11730    69614   236919 | 2147483647   103594     34 |  5.166 % |
52.43/52.44	c |    106330 |   11730    69614   236919 | 2147483647   103828     34 |  5.166 % |
52.53/52.61	c |    106586 |   11730    69614   236919 | 2147483647   104084     34 |  5.166 % |
52.83/52.84	c |    106868 |   11730    69614   236919 | 2147483647   104366     34 |  5.166 % |
52.93/52.98	c |    107177 |   11730    69614   236919 | 2147483647   104675     34 |  5.166 % |
53.13/53.15	c |    107516 |   11730    69614   236919 | 2147483647   105014     34 |  5.166 % |
53.43/53.44	c |    107888 |   11729    69614   236919 | 2147483647   105385     34 |  5.174 % |
53.73/53.74	c |    108297 |   11727    69614   236919 | 2147483647   105792     35 |  5.190 % |
54.03/54.03	c |    108749 |   11727    69614   236919 | 2147483647   106244     35 |  5.190 % |
54.33/54.32	c |    109243 |   11727    69614   236919 | 2147483647   106738     35 |  5.190 % |
54.63/54.65	c |    109786 |   11727    69614   236919 | 2147483647   107281     35 |  5.190 % |
54.93/55.00	c |    110382 |   11727    69614   236919 | 2147483647   107877     35 |  5.190 % |
55.43/55.44	c |    111037 |   11726    69614   236919 | 2147483647   108531     35 |  5.198 % |
55.83/55.90	c |    111757 |   11726    69614   236919 | 2147483647   109251     35 |  5.198 % |
56.43/56.49	c |    112549 |   11726    69614   236919 | 2147483647   110043     35 |  5.198 % |
57.03/57.05	c |    113420 |   11726    69524   236628 | 2147483647   110895     36 |  5.199 % |
57.83/57.88	c |    114378 |   11726    69524   236628 | 2147483647   111853     36 |  5.198 % |
58.63/58.63	c |    115433 |   11726    69524   236628 | 2147483647   112908     37 |  5.199 % |
59.33/59.38	c |    116591 |   11721    69524   236628 | 2147483647   114062     37 |  5.255 % |
60.33/60.36	c |    117865 |   11717    69524   236628 | 2147483647   115335     38 |  5.271 % |
60.43/60.45	c |    117965 |   11717    69524   236628 | 2147483647   115435     38 |  5.271 % |
60.43/60.52	c |    118075 |   11717    69524   236628 | 2147483647   115545     38 |  5.271 % |
60.53/60.59	c |    118196 |   11717    69524   236628 | 2147483647   115666     38 |  5.271 % |
60.63/60.69	c |    118331 |   11717    69524   236628 | 2147483647   115801     38 |  5.271 % |
60.73/60.79	c |    118477 |   11717    69524   236628 | 2147483647   115947     38 |  5.271 % |
60.83/60.89	c |    118640 |   11717    69524   236628 | 2147483647   116110     38 |  5.271 % |
60.93/61.00	c |    118819 |   11717    69524   236628 | 2147483647   116289     38 |  5.271 % |
61.13/61.20	c |    119012 |   11717    69524   236628 | 2147483647   116482     38 |  5.271 % |
61.33/61.35	c |    119226 |   11715    69524   236628 | 2147483647   116695     38 |  5.287 % |
61.43/61.51	c |    119459 |   11715    69524   236628 | 2147483647   116928     38 |  5.287 % |
61.63/61.67	c |    119716 |   11715    69524   236628 | 2147483647   117185     38 |  5.287 % |
61.73/61.79	c |    119998 |   11715    69524   236628 | 2147483647   117467     38 |  5.287 % |
61.93/61.93	c |    120307 |   11715    69524   236628 | 2147483647   117776     38 |  5.287 % |
62.13/62.12	c |    120647 |   11715    69524   236628 | 2147483647   118116     38 |  5.287 % |
62.23/62.31	c |    121021 |   11715    69524   236628 | 2147483647   118490     38 |  5.287 % |
62.63/62.66	c |    121431 |   11712    69524   236628 | 2147483647   118899     38 |  5.312 % |
62.93/63.00	c |    121880 |   11710    69524   236628 | 2147483647   119346     38 |  5.328 % |
63.23/63.31	c |    122373 |   11710    69424   236314 | 2147483647   119777     38 |  5.328 % |
63.73/63.77	c |    122915 |   11709    69424   236314 | 2147483647   120318     39 |  5.336 % |
64.23/64.24	c |    123512 |   11708    69424   236314 | 2147483647   120914     39 |  5.344 % |
64.63/64.70	c |    124167 |   11708    69424   236314 | 2147483647   121569     39 |  5.344 % |
65.13/65.20	c |    124887 |   11708    69424   236314 | 2147483647   122289     39 |  5.344 % |
65.63/65.69	c |    125680 |   11708    69424   236314 | 2147483647   123082     39 |  5.344 % |
66.23/66.24	c |    126551 |   11708    69424   236314 | 2147483647   123953     39 |  5.344 % |
66.93/66.93	c |    127509 |   11708    69424   236314 | 2147483647   124911     39 |  5.344 % |
67.73/67.80	c |    128563 |   11703    69424   236314 | 2147483647   125961     40 |  5.385 % |
68.63/68.65	c |    129723 |   11703    69424   236314 | 2147483647   127121     40 |  5.384 % |
69.53/69.56	c |    130997 |   11703    69424   236314 | 2147483647   128395     40 |  5.385 % |
70.53/70.59	c |    132397 |   11701    69424   236314 | 2147483647   129794     40 |  5.401 % |
70.63/70.71	c |    132497 |   11701    69424   236314 | 2147483647   129894     40 |  5.401 % |
70.83/70.82	c |    132607 |   11701    69424   236314 | 2147483647   130004     40 |  5.401 % |
70.93/70.94	c |    132728 |   11701    69424   236314 | 2147483647   130125     41 |  5.401 % |
71.03/71.02	c |    132861 |   11701    69424   236314 | 2147483647   130258     40 |  5.401 % |
71.03/71.08	c |    133007 |   11700    69424   236314 | 2147483647   130402     40 |  5.417 % |
71.13/71.20	c |    133167 |   11698    69424   236314 | 2147483647   130561     41 |  5.425 % |
71.23/71.27	c |    133345 |   11698    69424   236314 | 2147483647   130739     41 |  5.425 % |
71.43/71.45	c |    133538 |   11698    69345   236074 | 2147483647   130896     40 |  5.425 % |
71.63/71.64	c |    133751 |   11697    69345   236074 | 2147483647   131107     41 |  5.441 % |
71.73/71.77	c |    133985 |   11697    69345   236074 | 2147483647   131341     41 |  5.441 % |
72.03/72.02	c |    134241 |   11694    69345   236074 | 2147483647   131596     41 |  5.457 % |
72.23/72.22	c |    134523 |   11694    69345   236074 | 2147483647   131878     41 |  5.457 % |
72.53/72.53	c |    134832 |   11693    69345   236074 | 2147483647   132186     41 |  5.473 % |
72.83/72.83	c |    135173 |   11693    69345   236074 | 2147483647   132527     41 |  5.473 % |
73.13/73.15	c |    135545 |   11693    69345   236074 | 2147483647   132899     41 |  5.473 % |
73.43/73.47	c |    135954 |   11692    69345   236074 | 2147483647   133308     41 |  5.473 % |
73.74/73.74	c |    136403 |   11692    69345   236074 | 2147483647   133757     41 |  5.473 % |
74.13/74.15	c |    136896 |   11685    69345   236074 | 2147483647   134248     41 |  5.562 % |
74.53/74.59	c |    137440 |   11682    69345   236074 | 2147483647   134790     41 |  5.587 % |
75.23/75.27	c |    138036 |   11682    69345   236074 | 2147483647   135386     41 |  5.587 % |
75.94/75.94	c |    138691 |   11678    69345   236074 | 2147483647   136039     41 |  5.619 % |
76.43/76.44	c |    139411 |   11677    69345   236074 | 2147483647   136758     41 |  5.627 % |
76.93/76.99	c |    140203 |   11677    69345   236074 | 2147483647   137550     41 |  5.627 % |
77.53/77.57	c |    141075 |   11676    69345   236074 | 2147483647   138421     41 |  5.635 % |
78.23/78.26	c |    142033 |   11676    69345   236074 | 2147483647   139379     42 |  5.635 % |
79.03/79.11	c |    143086 |   11676    69345   236074 | 2147483647   140432     42 |  5.635 % |
79.83/79.85	c |    144244 |   11676    69345   236074 | 2147483647   141590     42 |  5.635 % |
80.73/80.80	c |    145518 |   11676    69345   236074 | 2147483647   142864     42 |  5.635 % |
81.63/81.70	c |    146919 |   11676    69345   236074 | 2147483647   144265     42 |  5.635 % |
82.83/82.90	c |    148462 |   11672    69162   235492 | 2147483647   145744     43 |  5.643 % |
82.93/83.01	c |    148562 |   11671    69162   235492 | 2147483647   145844     43 |  5.643 % |
83.13/83.14	c |    148673 |   11671    69162   235492 | 2147483647   145955     43 |  5.643 % |
83.23/83.28	c |    148795 |   11671    69162   235492 | 2147483647   146077     43 |  5.643 % |
83.33/83.36	c |    148928 |   11671    69162   235492 | 2147483647   146210     43 |  5.643 % |
83.43/83.46	c |    149074 |   11671    69162   235492 | 2147483647   146356     43 |  5.643 % |
83.64/83.62	c |    149236 |   11671    69162   235492 | 2147483647   146518     43 |  5.643 % |
83.73/83.80	c |    149413 |   11671    69162   235492 | 2147483647   146695     43 |  5.643 % |
83.93/84.01	c |    149606 |   11671    69162   235492 | 2147483647   146888     43 |  5.643 % |
84.13/84.20	c |    149819 |   11671    69162   235492 | 2147483647   147101     43 |  5.643 % |
84.43/84.42	c |    150052 |   11671    69162   235492 | 2147483647   147334     43 |  5.643 % |
84.53/84.58	c |    150310 |   11671    69162   235492 | 2147483647   147592     43 |  5.643 % |
84.83/84.89	c |    150591 |   11671    69162   235492 | 2147483647   147873     43 |  5.643 % |
85.03/85.10	c |    150900 |   11671    69162   235492 | 2147483647   148182     43 |  5.643 % |
85.33/85.35	c |    151241 |   11671    69162   235492 | 2147483647   148523     43 |  5.643 % |
85.53/85.55	c |    151616 |   11671    69162   235492 | 2147483647   148898     43 |  5.643 % |
85.93/85.97	c |    152025 |   11671    69162   235492 | 2147483647   149307     43 |  5.643 % |
86.33/86.33	c |    152474 |   11671    69162   235492 | 2147483647   149756     43 |  5.643 % |
86.73/86.78	c |    152967 |   11670    69162   235492 | 2147483647   150248     43 |  5.651 % |
87.33/87.33	c |    153510 |   11669    69162   235492 | 2147483647   150790     43 |  5.659 % |
87.73/87.80	c |    154107 |   11663    69162   235492 | 2147483647   151379     43 |  5.732 % |
88.33/88.35	c |    154762 |   11659    69162   235492 | 2147483647   152033     44 |  5.740 % |
88.93/88.96	c |    155482 |   11659    69162   235492 | 2147483647   152753     43 |  5.740 % |
89.53/89.53	c |    156275 |   11659    69162   235492 | 2147483647   153545     44 |  5.748 % |
90.13/90.22	c |    157147 |   11659    69162   235492 | 2147483647   154416     44 |  5.756 % |
91.03/91.04	c |    158105 |   11655    69162   235492 | 2147483647   155370     44 |  5.797 % |
91.93/91.97	c |    159159 |   11655    69162   235492 | 2147483647   156424     44 |  5.797 % |
92.93/92.95	c |    160317 |   11655    69162   235492 | 2147483647   157582     44 |  5.797 % |
93.83/93.82	c |    161591 |   11655    69162   235492 | 2147483647   158856     45 |  5.797 % |
95.03/95.04	c |    162992 |   11655    69162   235492 | 2147483647   160257     45 |  5.797 % |
96.53/96.61	c |    164532 |   11652    68998   234970 | 2147483647   161701     45 |  5.797 % |
97.73/97.80	c |    166226 |   11651    68998   234970 | 2147483647   163393     46 |  5.821 % |
97.83/97.89	c |    166326 |   11651    68998   234970 | 2147483647   163493     46 |  5.821 % |
98.03/98.06	c |    166436 |   11651    68998   234970 | 2147483647   163603     46 |  5.821 % |
98.13/98.15	c |    166557 |   11651    68998   234970 | 2147483647   163724     46 |  5.821 % |
98.23/98.26	c |    166690 |   11651    68998   234970 | 2147483647   163857     46 |  5.821 % |
98.33/98.38	c |    166837 |   11651    68998   234970 | 2147483647   164004     46 |  5.821 % |
98.53/98.55	c |    166997 |   11651    68998   234970 | 2147483647   164164     46 |  5.821 % |
98.73/98.73	c |    167174 |   11651    68998   234970 | 2147483647   164341     46 |  5.821 % |
98.93/98.94	c |    167369 |   11650    68998   234970 | 2147483647   164535     46 |  5.829 % |
99.13/99.20	c |    167581 |   11650    68998   234970 | 2147483647   164747     46 |  5.829 % |
99.43/99.43	c |    167815 |   11650    68998   234970 | 2147483647   164981     46 |  5.829 % |
99.73/99.73	c |    168072 |   11650    68998   234970 | 2147483647   165238     46 |  5.829 % |
99.93/99.92	c |    168354 |   11650    68998   234970 | 2147483647   165520     46 |  5.829 % |
100.33/100.34	c |    168663 |   11650    68998   234970 | 2147483647   165829     46 |  5.829 % |
100.63/100.67	c |    169004 |   11650    68998   234970 | 2147483647   166170     46 |  5.829 % |
100.93/100.97	c |    169376 |   11650    68998   234970 | 2147483647   166542     46 |  5.829 % |
101.24/101.26	c |    169785 |   11650    68998   234970 | 2147483647   166951     46 |  5.829 % |
101.63/101.62	c |    170234 |   11650    68998   234970 | 2147483647   167400     46 |  5.829 % |
102.03/102.05	c |    170728 |   11650    68998   234970 | 2147483647   167894     46 |  5.829 % |
102.53/102.52	c |    171271 |   11650    68998   234970 | 2147483647   168437     46 |  5.829 % |
103.03/103.03	c |    171869 |   11650    68998   234970 | 2147483647   169035     46 |  5.829 % |
103.73/103.77	c |    172524 |   11650    68998   234970 | 2147483647   169690     46 |  5.829 % |
104.23/104.30	c |    173245 |   11650    68998   234970 | 2147483647   170411     47 |  5.829 % |
104.93/104.96	c |    174037 |   11647    68998   234970 | 2147483647   171202     47 |  5.853 % |
105.64/105.63	c |    174910 |   11646    68998   234970 | 2147483647   172074     47 |  5.861 % |
106.53/106.58	c |    175868 |   11646    68998   234970 | 2147483647   173032     47 |  5.861 % |
107.53/107.55	c |    176921 |   11645    68998   234970 | 2147483647   174084     47 |  5.878 % |
108.73/108.73	c |    178079 |   11644    68998   234970 | 2147483647   175241     47 |  5.886 % |
109.63/109.69	c |    179354 |   11643    68998   234970 | 2147483647   176515     48 |  5.894 % |
110.73/110.74	c |    180755 |   11643    68998   234970 | 2147483647   177916     48 |  5.894 % |
112.33/112.39	c |    182295 |   11643    68998   234970 | 2147483647   179456     48 |  5.894 % |
113.83/113.89	c |    183990 |   11641    68998   234970 | 2147483647   181149     49 |  5.910 % |
115.83/115.91	c |    185853 |   11637    68889   234613 | 2147483647   182996     49 |  5.918 % |
116.03/116.06	c |    185953 |   11637    68889   234613 | 2147483647   183096     49 |  5.918 % |
116.13/116.15	c |    186064 |   11637    68889   234613 | 2147483647   183207     49 |  5.918 % |
116.33/116.32	c |    186187 |   11637    68889   234613 | 2147483647   183330     49 |  5.918 % |
116.33/116.38	c |    186320 |   11637    68889   234613 | 2147483647   183463     49 |  5.918 % |
116.53/116.57	c |    186466 |   11636    68889   234613 | 2147483647   183608     49 |  5.926 % |
116.73/116.78	c |    186628 |   11636    68889   234613 | 2147483647   183770     49 |  5.926 % |
116.93/116.94	c |    186805 |   11636    68889   234613 | 2147483647   183947     49 |  5.926 % |
117.13/117.19	c |    186998 |   11636    68889   234613 | 2147483647   184140     49 |  5.926 % |
117.43/117.48	c |    187210 |   11634    68889   234613 | 2147483647   184351     49 |  5.942 % |
117.63/117.68	c |    187443 |   11634    68889   234613 | 2147483647   184584     49 |  5.942 % |
117.93/117.91	c |    187699 |   11634    68889   234613 | 2147483647   184840     49 |  5.942 % |
118.23/118.21	c |    187981 |   11634    68889   234613 | 2147483647   185122     50 |  5.942 % |
118.53/118.60	c |    188292 |   11633    68889   234613 | 2147483647   185432     50 |  5.950 % |
118.93/118.97	c |    188631 |   11633    68889   234613 | 2147483647   185771     50 |  5.950 % |
119.33/119.36	c |    189003 |   11633    68889   234613 | 2147483647   186143     50 |  5.950 % |
119.73/119.72	c |    189412 |   11633    68889   234613 | 2147483647   186552     50 |  5.950 % |
120.14/120.15	c |    189861 |   11633    68889   234613 | 2147483647   187001     50 |  5.950 % |
120.74/120.73	c |    190354 |   11633    68889   234613 | 2147483647   187493     50 |  5.959 % |
121.34/121.33	c |    190897 |   11633    68889   234613 | 2147483647   188036     50 |  5.958 % |
121.94/121.96	c |    191493 |   11633    68889   234613 | 2147483647   188632     50 |  5.959 % |
122.64/122.65	c |    192149 |   11633    68889   234613 | 2147483647   189288     50 |  5.958 % |
123.24/123.23	c |    192869 |   11633    68889   234613 | 2147483647   190008     50 |  5.958 % |
124.04/124.09	c |    193661 |   11631    68889   234613 | 2147483647   190799     50 |  5.975 % |
124.74/124.80	c |    194533 |   11631    68889   234613 | 2147483647   191671     50 |  5.975 % |
125.64/125.65	c |    195491 |   11631    68889   234613 | 2147483647   192629     51 |  5.975 % |
126.44/126.52	c |    196544 |   11631    68889   234613 | 2147483647   193682     50 |  5.975 % |
127.64/127.70	c |    197702 |   11631    68889   234613 | 2147483647   194840     51 |  5.975 % |
128.74/128.79	c |    198979 |   11630    68889   234613 | 2147483647   196116     51 |  5.983 % |
130.04/130.04	c |    200379 |   11630    68889   234613 | 2147483647   197516     51 |  5.983 % |
131.84/131.88	c |    201919 |   11629    68889   234613 | 2147483647   199055     51 |  5.991 % |
133.34/133.37	c |    203613 |   11629    68889   234613 | 2147483647   200749     52 |  5.991 % |
135.34/135.41	c |    205478 |   11628    68889   234613 | 2147483647   202613     52 |  5.999 % |
137.14/137.14	c |    207527 |   11628    68889   234613 | 2147483647   204662     52 |  5.999 % |
137.24/137.31	c |    207627 |   11628    68889   234613 | 2147483647   204762     52 |  5.999 % |
137.54/137.56	c |    207738 |   11627    68810   234356 | 2147483647   204818     52 |  5.999 % |
137.64/137.71	c |    207862 |   11627    68810   234356 | 2147483647   204942     52 |  5.999 % |
137.84/137.88	c |    207996 |   11627    68810   234356 | 2147483647   205076     52 |  5.999 % |
138.04/138.03	c |    208142 |   11627    68810   234356 | 2147483647   205222     52 |  5.999 % |
138.14/138.20	c |    208302 |   11627    68810   234356 | 2147483647   205382     52 |  5.999 % |
138.34/138.39	c |    208478 |   11627    68810   234356 | 2147483647   205558     52 |  5.999 % |
138.54/138.61	c |    208672 |   11627    68810   234356 | 2147483647   205752     52 |  5.999 % |
138.74/138.82	c |    208886 |   11627    68810   234356 | 2147483647   205966     52 |  5.999 % |
139.04/139.07	c |    209119 |   11627    68810   234356 | 2147483647   206199     52 |  5.999 % |
139.34/139.36	c |    209376 |   11627    68810   234356 | 2147483647   206456     52 |  5.999 % |
139.64/139.69	c |    209658 |   11626    68810   234356 | 2147483647   206737     52 |  6.007 % |
139.94/139.93	c |    209967 |   11626    68810   234356 | 2147483647   207046     52 |  6.007 % |
140.34/140.37	c |    210306 |   11626    68810   234356 | 2147483647   207385     52 |  6.007 % |
140.74/140.80	c |    210678 |   11626    68810   234356 | 2147483647   207757     52 |  6.007 % |
141.24/141.29	c |    211087 |   11626    68810   234356 | 2147483647   208166     52 |  6.007 % |
141.84/141.83	c |    211536 |   11625    68810   234356 | 2147483647   208614     52 |  6.015 % |
142.34/142.40	c |    212030 |   11625    68810   234356 | 2147483647   209108     52 |  6.015 % |
143.04/143.05	c |    212573 |   11625    68810   234356 | 2147483647   209651     52 |  6.015 % |
143.64/143.66	c |    213169 |   11625    68810   234356 | 2147483647   210247     52 |  6.015 % |
144.34/144.34	c |    213825 |   11625    68810   234356 | 2147483647   210903     52 |  6.015 % |
145.24/145.25	c |    214545 |   11625    68810   234356 | 2147483647   211622     53 |  6.023 % |
145.94/146.02	c |    215337 |   11625    68810   234356 | 2147483647   212413     53 |  6.031 % |
147.04/147.07	c |    216208 |   11625    68810   234356 | 2147483647   213284     53 |  6.031 % |
147.84/147.89	c |    217169 |   11625    68810   234356 | 2147483647   214245     53 |  6.031 % |
149.04/149.05	c |    218222 |   11625    68810   234356 | 2147483647   215298     53 |  6.031 % |
150.14/150.21	c |    219381 |   11625    68810   234356 | 2147483647   216457     53 |  6.031 % |
151.44/151.45	c |    220656 |   11624    68810   234356 | 2147483647   217731     53 |  6.039 % |
153.04/153.06	c |    222056 |   11624    68810   234356 | 2147483647   219131     54 |  6.039 % |
154.74/154.73	c |    223597 |   11624    68810   234356 | 2147483647   220672     54 |  6.039 % |
156.44/156.44	c |    225291 |   11624    68810   234356 | 2147483647   222366     54 |  6.039 % |
158.44/158.44	c |    227154 |   11623    68810   234356 | 2147483647   224227     54 |  6.056 % |
160.74/160.80	c |    229204 |   11621    68810   234356 | 2147483647   226275     55 |  6.072 % |
163.14/163.20	c |    231457 |   11620    68810   234356 |   227070   228527     55 |  6.080 % |
163.84/163.83	c |    231557 |   11620    68810   234356 |   227070   194756     54 |  6.080 % |
164.04/164.02	c |    231667 |   11620    68810   234356 |   227070   194866     54 |  6.080 % |
164.14/164.19	c |    231791 |   11620    68810   234356 |   227070   194990     54 |  6.080 % |
164.34/164.34	c |    231925 |   11620    68810   234356 |   227070   195124     54 |  6.080 % |
164.54/164.55	c |    232071 |   11620    68810   234356 |   227070   195270     54 |  6.080 % |
164.74/164.75	c |    232231 |   11620    68810   234356 |   227070   195430     54 |  6.080 % |
164.94/164.93	c |    232408 |   11620    68810   234356 |   227070   195607     54 |  6.080 % |
165.24/165.24	c |    232602 |   11619    68810   234356 |   227070   195800     54 |  6.088 % |
165.44/165.43	c |    232814 |   11619    68810   234356 |   227070   196012     54 |  6.088 % |
165.64/165.65	c |    233048 |   11619    68810   234356 |   227070   196246     54 |  6.088 % |
165.84/165.89	c |    233306 |   11619    68810   234356 |   227070   196504     54 |  6.088 % |
166.24/166.28	c |    233587 |   11619    68810   234356 |   227070   196785     54 |  6.088 % |
166.64/166.63	c |    233899 |   11619    68810   234356 |   227070   197097     54 |  6.088 % |
167.04/167.09	c |    234238 |   11619    68810   234356 |   227070   197436     54 |  6.088 % |
167.34/167.41	c |    234610 |   11619    68810   234356 |   227070   197808     54 |  6.088 % |
167.84/167.86	c |    235020 |   11619    68810   234356 |   227070   198218     54 |  6.088 % |
168.44/168.48	c |    235469 |   11619    68810   234356 |   227070   198666     54 |  6.096 % |
168.93/168.97	c |    235962 |   11619    68810   234356 |   227070   199159     54 |  6.096 % |
169.53/169.61	c |    236504 |   11619    68810   234356 |   227070   199701     54 |  6.096 % |
170.23/170.27	c |    237100 |   11619    68810   234356 |   227070   200296     54 |  6.112 % |
171.13/171.16	c |    237756 |   11612    68680   233942 |   227070   200910     54 |  6.120 % |
171.83/171.90	c |    238476 |   11612    68680   233942 |   227070   201630     54 |  6.120 % |
173.03/173.02	c |    239269 |   11612    68680   233942 |   227070   202421     54 |  6.152 % |
173.83/173.84	c |    240140 |   11609    68680   233942 | 2147483647   203292     55 |  6.152 % |
174.93/174.92	c |    241098 |   11609    68680   233942 | 2147483647   204250     55 |  6.153 % |
176.13/176.20	c |    242151 |   11609    68680   233942 | 2147483647   205303     55 |  6.153 % |
177.03/177.09	c |    243310 |   11609    68680   233942 | 2147483647   206462     55 |  6.153 % |
178.23/178.25	c |    244584 |   11609    68680   233942 | 2147483647   207736     55 |  6.153 % |
179.73/179.81	c |    245985 |   11609    68680   233942 | 2147483647   209136     55 |  6.161 % |
180.83/180.85	c |    247525 |   11609    68680   233942 | 2147483647   210676     55 |  6.161 % |
182.63/182.65	c |    249219 |   11609    68680   233942 | 2147483647   212369     55 |  6.177 % |
184.62/184.66	c |    251082 |   11609    68680   233942 | 2147483647   214231     56 |  6.185 % |
186.82/186.83	c |    253131 |   11609    68680   233942 | 2147483647   216280     56 |  6.185 % |
189.32/189.39	c |    255384 |   11609    68680   233942 | 2147483647   218533     56 |  6.185 % |
192.32/192.32	c |    257863 |   11602    68680   233942 | 2147483647   221009     57 |  6.209 % |
192.42/192.44	c |    257963 |   11602    68680   233942 | 2147483647   221109     57 |  6.209 % |
192.62/192.61	c |    258073 |   11602    68680   233942 | 2147483647   221219     57 |  6.209 % |
192.72/192.74	c |    258195 |   11602    68680   233942 | 2147483647   221341     57 |  6.209 % |
192.92/192.94	c |    258329 |   11602    68680   233942 | 2147483647   221475     57 |  6.209 % |
193.12/193.12	c |    258475 |   11602    68680   233942 | 2147483647   221621     57 |  6.209 % |
193.32/193.33	c |    258635 |   11602    68680   233942 | 2147483647   221781     57 |  6.209 % |
193.52/193.51	c |    258811 |   11601    68680   233942 | 2147483647   221956     57 |  6.217 % |
193.72/193.79	c |    259004 |   11601    68680   233942 | 2147483647   222149     57 |  6.217 % |
194.02/194.06	c |    259217 |   11600    68680   233942 | 2147483647   222361     57 |  6.225 % |
194.32/194.31	c |    259450 |   11599    68680   233942 | 2147483647   222593     57 |  6.233 % |
194.62/194.67	c |    259706 |   11599    68680   233942 | 2147483647   222849     57 |  6.233 % |
194.92/194.94	c |    259988 |   11599    68680   233942 | 2147483647   223131     57 |  6.233 % |
195.22/195.23	c |    260297 |   11599    68680   233942 |   223144   223440     57 |  6.233 % |
195.62/195.69	c |    260636 |   11598    68680   233942 |   223144   223778     57 |  6.241 % |
196.12/196.17	c |    261010 |   11598    68680   233942 |   223144   224152     57 |  6.242 % |
196.93/196.98	c |    261420 |   11598    68680   233942 |   223144   201904     61 |  6.242 % |
197.22/197.22	c |    261869 |   11598    68680   233942 |   223144   202353     60 |  6.241 % |
197.52/197.51	c |    262362 |   11598    68680   233942 |   223144   202846     60 |  6.241 % |
198.12/198.15	c |    262906 |   11598    68680   233942 |   223144   203390     60 |  6.242 % |
198.82/198.82	c |    263503 |   11598    68680   233942 |   223144   203987     60 |  6.242 % |
199.52/199.52	c |    264158 |   11598    68680   233942 |   223144   204642     60 |  6.242 % |
200.32/200.32	c |    264878 |   11595    68680   233942 |   223144   205360     61 |  6.266 % |
201.12/201.15	c |    265670 |   11595    68680   233942 |   223144   206152     61 |  6.266 % |
202.12/202.14	c |    266541 |   11593    68680   233942 |   223144   207021     61 |  6.282 % |
203.32/203.36	c |    267501 |   11593    68680   233942 |   223144   207981     61 |  6.282 % |
204.63/204.65	c |    268554 |   11592    68680   233942 |   223144   209033     61 |  6.290 % |
206.12/206.14	c |    269712 |   11591    68532   233482 |   223144   210124     61 |  6.290 % |
207.62/207.64	c |    270985 |   11591    68532   233482 | 2147483647   211397     61 |  6.290 % |
208.92/208.94	c |    272385 |   11591    68532   233482 | 2147483647   212797     61 |  6.290 % |
210.22/210.26	c |    273925 |   11591    68532   233482 | 2147483647   214337     61 |  6.290 % |
212.22/212.29	c |    275621 |   11591    68532   233482 | 2147483647   216032     61 |  6.298 % |
214.22/214.28	c |    277484 |   11590    68532   233482 | 2147483647   217895     61 |  6.298 % |
216.52/216.55	c |    279535 |   11590    68532   233482 | 2147483647   219946     62 |  6.298 % |
219.52/219.53	c |    281789 |   11590    68532   233482 |   220411   222200     62 |  6.298 % |
222.72/222.78	c |    284268 |   11590    68532   233482 |   220411   202459     61 |  6.298 % |
225.82/225.89	c |    286994 |   11590    68532   233482 |   220411   205185     62 |  6.298 % |
226.02/226.01	c |    287094 |   11590    68532   233482 |   220411   205285     62 |  6.298 % |
226.12/226.15	c |    287205 |   11590    68532   233482 |   220411   205396     62 |  6.298 % |
226.22/226.29	c |    287326 |   11590    68532   233482 |   220411   205517     62 |  6.298 % |
226.42/226.46	c |    287459 |   11590    68532   233482 |   220411   205650     62 |  6.298 % |
226.72/226.71	c |    287605 |   11585    68532   233482 |   220411   205793     62 |  6.339 % |
226.92/226.91	c |    287766 |   11585    68532   233482 |   220411   205954     62 |  6.338 % |
227.02/227.05	c |    287944 |   11585    68532   233482 |   220411   206132     62 |  6.339 % |
227.32/227.35	c |    288138 |   11585    68532   233482 |   220411   206326     62 |  6.338 % |
227.62/227.65	c |    288351 |   11585    68532   233482 |   220411   206539     62 |  6.339 % |
227.92/227.93	c |    288585 |   11585    68532   233482 |   220411   206773     62 |  6.339 % |
228.22/228.23	c |    288842 |   11585    68532   233482 |   220411   207030     62 |  6.338 % |
228.42/228.49	c |    289123 |   11585    68532   233482 |   220411   207311     62 |  6.339 % |
228.83/228.83	c |    289433 |   11585    68532   233482 |   220411   207621     62 |  6.338 % |
229.22/229.28	c |    289773 |   11585    68532   233482 |   220411   207961     62 |  6.339 % |
229.72/229.78	c |    290145 |   11584    68532   233482 | 2147483647   208332     62 |  6.347 % |
230.32/230.30	c |    290554 |   11584    68532   233482 | 2147483647   208741     62 |  6.347 % |
230.92/230.90	c |    291003 |   11584    68532   233482 | 2147483647   209190     62 |  6.347 % |
231.32/231.38	c |    291497 |   11584    68532   233482 | 2147483647   209684     62 |  6.347 % |
232.13/232.15	c |    292042 |   11584    68532   233482 | 2147483647   210229     62 |  6.347 % |
232.92/232.91	c |    292638 |   11584    68532   233482 | 2147483647   210825     62 |  6.347 % |
233.82/233.81	c |    293293 |   11584    68532   233482 | 2147483647   211479     62 |  6.355 % |
234.73/234.77	c |    294013 |   11584    68532   233482 | 2147483647   212199     62 |  6.355 % |
235.83/235.82	c |    294807 |   11584    68532   233482 | 2147483647   212993     62 |  6.355 % |
236.93/236.96	c |    295679 |   11584    68532   233482 | 2147483647   213865     62 |  6.355 % |
238.13/238.17	c |    296638 |   11581    68532   233482 | 2147483647   214821     62 |  6.395 % |
239.83/239.91	c |    297691 |   11581    68532   233482 | 2147483647   215874     62 |  6.395 % |
241.23/241.31	c |    298849 |   11581    68532   233482 | 2147483647   217032     62 |  6.395 % |
242.93/242.94	c |    300122 |   11581    68532   233482 | 2147483647   218305     63 |  6.395 % |
244.53/244.60	c |    301522 |   11581    68532   233482 | 2147483647   219705     63 |  6.395 % |
246.33/246.31	c |    303062 |   11581    68532   233482 | 2147483647   221245     63 |  6.395 % |
248.83/248.89	c |    304757 |   11578    68441   233191 | 2147483647   222914     63 |  6.395 % |
251.13/251.12	c |    306621 |   11578    68441   233191 | 2147483647   224778     63 |  6.395 % |
253.83/253.89	c |    308670 |   11578    68441   233191 | 2147483647   226827     64 |  6.395 % |
257.13/257.15	c |    310923 |   11578    68441   233191 |   228157   229080     64 |  6.395 % |
260.53/260.52	c |    313401 |   11578    68441   233191 |   228157   199719     64 |  6.403 % |
263.73/263.73	c |    316131 |   11577    68441   233191 |   228157   202447     64 |  6.419 % |
267.33/267.31	c |    319130 |   11576    68441   233191 |   228157   205445     64 |  6.427 % |
267.43/267.42	c |    319230 |   11576    68441   233191 |   228157   205545     64 |  6.427 % |
267.53/267.56	c |    319341 |   11576    68441   233191 |   228157   205656     64 |  6.427 % |
267.63/267.70	c |    319462 |   11576    68441   233191 |   228157   205777     64 |  6.427 % |
267.83/267.90	c |    319595 |   11576    68441   233191 |   228157   205910     64 |  6.427 % |
268.13/268.14	c |    319741 |   11574    68441   233191 |   228157   206056     64 |  6.427 % |
268.33/268.37	c |    319902 |   11574    68441   233191 |   228157   206217     64 |  6.427 % |
268.53/268.56	c |    320078 |   11573    68441   233191 |   206316   206392     64 |  6.435 % |
268.83/268.90	c |    320271 |   11573    68441   233191 |   206316   206585     64 |  6.436 % |
269.13/269.19	c |    320486 |   11573    68441   233191 |   206316   206800     64 |  6.435 % |
269.43/269.49	c |    320719 |   11573    68441   233191 |   206316   207033     64 |  6.436 % |
269.83/269.81	c |    320976 |   11573    68441   233191 |   206316   207290     64 |  6.436 % |
270.63/270.63	c |    321257 |   11573    68441   233191 |   206316   175716     63 |  6.436 % |
270.93/270.94	c |    321566 |   11573    68441   233191 |   206316   176025     63 |  6.435 % |
271.33/271.32	c |    321907 |   11573    68441   233191 |   206316   176366     63 |  6.436 % |
271.73/271.74	c |    322280 |   11573    68441   233191 |   206316   176739     63 |  6.436 % |
272.03/272.06	c |    322690 |   11573    68441   233191 |   206316   177149     63 |  6.436 % |
272.53/272.58	c |    323139 |   11573    68441   233191 |   206316   177598     63 |  6.436 % |
273.23/273.22	c |    323634 |   11573    68441   233191 |   206316   178093     63 |  6.435 % |
273.93/273.99	c |    324177 |   11573    68441   233191 |   206316   178636     63 |  6.435 % |
274.83/274.85	c |    324773 |   11573    68441   233191 |   206316   179231     63 |  6.444 % |
275.63/275.66	c |    325428 |   11573    68441   233191 |   206316   179886     63 |  6.444 % |
276.43/276.46	c |    326150 |   11573    68441   233191 |   206316   180608     63 |  6.444 % |
277.43/277.44	c |    326942 |   11573    68441   233191 |   206316   181399     63 |  6.452 % |
278.63/278.62	c |    327813 |   11573    68441   233191 |   206316   182270     63 |  6.452 % |
279.63/279.69	c |    328772 |   11573    68441   233191 |   206316   183228     63 |  6.460 % |
280.63/280.66	c |    329826 |   11573    68441   233191 |   206316   184282     63 |  6.460 % |
281.73/281.80	c |    330985 |   11573    68441   233191 | 2147483647   185441     64 |  6.460 % |
283.33/283.40	c |    332259 |   11573    68441   233191 | 2147483647   186714     64 |  6.468 % |
285.03/285.01	c |    333659 |   11573    68441   233191 | 2147483647   188114     63 |  6.468 % |
286.63/286.61	c |    335200 |   11573    68441   233191 | 2147483647   189655     64 |  6.468 % |
288.43/288.47	c |    336894 |   11573    68441   233191 | 2147483647   191349     64 |  6.468 % |
289.73/289.78	c |    338757 |   11573    68441   233191 | 2147483647   193212     63 |  6.468 % |
291.83/291.84	c |    340813 |   11572    68441   233191 | 2147483647   195268     63 |  6.468 % |
294.43/294.45	c |    343066 |   11569    68377   232981 | 2147483647   197512     64 |  6.468 % |
297.33/297.33	c |    345545 |   11566    68377   232981 | 2147483647   199987     64 |  6.500 % |
301.03/301.04	c |    348271 |   11566    68377   232981 | 2147483647   202713     64 |  6.500 % |
304.63/304.63	c |    351268 |   11566    68377   232981 |   204443   205709     64 |  6.508 % |
308.04/308.03	c |    354565 |   11566    68377   232981 |   204443   183144     63 |  6.508 % |
308.13/308.17	c |    354667 |   11566    68377   232981 |   204443   183246     63 |  6.508 % |
308.33/308.33	c |    354777 |   11564    68377   232981 |   204443   183356     63 |  6.508 % |
308.53/308.53	c |    354899 |   11564    68377   232981 |   204443   183478     63 |  6.508 % |
308.63/308.69	c |    355033 |   11564    68377   232981 |   204443   183612     63 |  6.508 % |
308.83/308.88	c |    355179 |   11564    68377   232981 |   204443   183758     63 |  6.508 % |
309.03/309.08	c |    355340 |   11564    68377   232981 |   204443   183919     63 |  6.508 % |
309.14/309.18	c |    355516 |   11564    68377   232981 |   204443   184095     63 |  6.508 % |
309.43/309.49	c |    355711 |   11564    68377   232981 |   204443   184290     63 |  6.508 % |
309.73/309.71	c |    355923 |   11564    68377   232981 |   204443   184502     63 |  6.508 % |
309.93/309.97	c |    356157 |   11564    68377   232981 |   204443   184736     63 |  6.508 % |
310.24/310.29	c |    356414 |   11564    68377   232981 |   204443   184993     63 |  6.508 % |
310.63/310.62	c |    356695 |   11564    68377   232981 |   204443   185274     63 |  6.508 % |
310.93/310.96	c |    357004 |   11564    68377   232981 |   204443   185583     63 |  6.508 % |
311.43/311.45	c |    357343 |   11563    68377   232981 |   204443   185921     63 |  6.516 % |
311.73/311.76	c |    357716 |   11563    68377   232981 |   204443   186294     63 |  6.516 % |
312.33/312.33	c |    358131 |   11563    68377   232981 |   204443   186709     63 |  6.516 % |
312.83/312.87	c |    358581 |   11563    68377   232981 |   204443   187159     63 |  6.516 % |
313.43/313.41	c |    359076 |   11563    68377   232981 |   204443   187654     63 |  6.516 % |
314.13/314.12	c |    359618 |   11563    68377   232981 |   204443   188195     63 |  6.549 % |
314.73/314.80	c |    360216 |   11563    68377   232981 |   188577   188793     63 |  6.549 % |
315.63/315.69	c |    360871 |   11562    68377   232981 |   188577   189447     63 |  6.557 % |
316.84/316.85	c |    361591 |   11562    68377   232981 |   188577   164776     61 |  6.557 % |
317.73/317.77	c |    362383 |   11562    68377   232981 |   188577   165567     61 |  6.597 % |
318.63/318.65	c |    363254 |   11562    68377   232981 |   188577   166438     61 |  6.597 % |
319.73/319.75	c |    364212 |   11562    68377   232981 |   188577   167396     61 |  6.597 % |
320.83/320.81	c |    365266 |   11562    68377   232981 |   188577   168450     61 |  6.597 % |
321.93/321.98	c |    366426 |   11562    68377   232981 |   188577   169610     61 |  6.597 % |
323.53/323.56	c |    367699 |   11562    68377   232981 |   188577   170883     61 |  6.597 % |
325.03/325.03	c |    369100 |   11553    68377   232981 |   188577   172284     61 |  6.597 % |
326.63/326.63	c |    370642 |   11553    68377   232981 | 2147483647   173826     61 |  6.597 % |
328.83/328.82	c |    372338 |   11553    68377   232981 | 2147483647   175522     61 |  6.597 % |
331.03/331.07	c |    374203 |   11553    68377   232981 | 2147483647   177386     61 |  6.605 % |
333.34/333.40	c |    376253 |   11553    68377   232981 | 2147483647   179436     61 |  6.605 % |
336.13/336.11	c |    378507 |   11553    68377   232981 | 2147483647   181690     62 |  6.605 % |
339.03/339.04	c |    380987 |   11552    68224   232485 |   183167   184152     62 |  6.638 % |
342.43/342.43	c |    383712 |   11548    68224   232485 |   183167   165324     61 |  6.638 % |
345.73/345.75	c |    386709 |   11548    68224   232485 |   183167   168321     61 |  6.638 % |
349.23/349.24	c |    390005 |   11548    68224   232485 | 2147483647   171617     61 |  6.638 % |
353.34/353.38	c |    393630 |   11548    68224   232485 | 2147483647   175242     61 |  6.638 % |
353.44/353.49	c |    393730 |   11548    68224   232485 | 2147483647   175342     61 |  6.638 % |
353.64/353.66	c |    393840 |   11548    68224   232485 | 2147483647   175452     61 |  6.638 % |
353.84/353.84	c |    393962 |   11548    68224   232485 | 2147483647   175574     61 |  6.638 % |
354.04/354.06	c |    394097 |   11548    68224   232485 | 2147483647   175709     61 |  6.638 % |
354.34/354.32	c |    394244 |   11548    68224   232485 | 2147483647   175856     61 |  6.638 % |
354.54/354.52	c |    394404 |   11548    68224   232485 | 2147483647   176016     61 |  6.638 % |
354.74/354.73	c |    394583 |   11548    68224   232485 | 2147483647   176195     61 |  6.638 % |
354.94/354.96	c |    394776 |   11548    68224   232485 | 2147483647   176388     61 |  6.638 % |
355.14/355.14	c |    394988 |   11548    68224   232485 | 2147483647   176600     61 |  6.638 % |
355.34/355.33	c |    395222 |   11548    68224   232485 | 2147483647   176834     61 |  6.638 % |
355.54/355.59	c |    395479 |   11548    68224   232485 | 2147483647   177091     61 |  6.638 % |
355.94/355.94	c |    395760 |   11548    68224   232485 | 2147483647   177372     61 |  6.638 % |
356.24/356.30	c |    396069 |   11548    68224   232485 | 2147483647   177681     61 |  6.638 % |
356.94/356.93	c |    396408 |   11548    68224   232485 | 2147483647   178020     61 |  6.638 % |
357.34/357.35	c |    396781 |   11548    68224   232485 | 2147483647   178393     61 |  6.638 % |
357.84/357.86	c |    397190 |   11548    68224   232485 | 2147483647   178802     61 |  6.638 % |
358.44/358.41	c |    397640 |   11548    68224   232485 | 2147483647   179252     61 |  6.638 % |
359.04/359.02	c |    398134 |   11548    68224   232485 | 2147483647   179746     61 |  6.638 % |
359.54/359.60	c |    398678 |   11548    68224   232485 | 2147483647   180290     61 |  6.638 % |
360.24/360.23	c |    399274 |   11548    68224   232485 | 2147483647   180886     62 |  6.638 % |
361.14/361.12	c |    399929 |   11548    68224   232485 | 2147483647   181540     62 |  6.646 % |
361.84/361.86	c |    400649 |   11548    68224   232485 | 2147483647   182260     62 |  6.646 % |
362.74/362.76	c |    401441 |   11548    68224   232485 | 2147483647   183052     62 |  6.646 % |
364.14/364.15	c |    402313 |   11547    68224   232485 | 2147483647   183923     62 |  6.654 % |
365.34/365.39	c |    403271 |   11546    68224   232485 | 2147483647   184879     62 |  6.670 % |
366.64/366.64	c |    404324 |   11544    68224   232485 | 2147483647   185932     62 |  6.670 % |
368.14/368.21	c |    405482 |   11544    68224   232485 | 2147483647   187088     62 |  6.702 % |
369.84/369.90	c |    406755 |   11538    68224   232485 | 2147483647   188359     62 |  6.727 % |
371.64/371.70	c |    408156 |   11538    68224   232485 | 2147483647   189760     62 |  6.727 % |
373.94/373.97	c |    409696 |   11537    68117   232152 | 2147483647   191276     62 |  6.727 % |
375.74/375.73	c |    411391 |   11533    68117   232152 |   191580   192968     62 |  6.759 % |
378.94/378.93	c |    413254 |   11533    68117   232152 |   191580   175107     61 |  6.767 % |
381.24/381.29	c |    415303 |   11533    68117   232152 |   191580   177156     61 |  6.767 % |
384.04/384.11	c |    417557 |   11532    68117   232152 |   191580   179410     61 |  6.767 % |
386.14/386.18	c |    420036 |   11532    68117   232152 |   181854   181889     61 |  6.767 % |
389.94/389.92	c |    422761 |   11532    68117   232152 |   181854   184614     61 |  6.767 % |
393.84/393.85	c |    425761 |   11532    68117   232152 |   181854   167393     59 |  6.767 % |
397.94/397.97	c |    429057 |   11532    68117   232152 |   181854   170688     59 |  6.775 % |
402.64/402.61	c |    432682 |   11531    68117   232152 |   171632   156976     58 |  6.783 % |
407.04/407.02	c |    436670 |   11530    68117   232152 |   171632   160964     59 |  6.783 % |
407.04/407.10	c |    436770 |   11530    68117   232152 |   171632   161064     59 |  6.783 % |
407.24/407.24	c |    436880 |   11530    68117   232152 |   171632   161174     59 |  6.783 % |
407.44/407.45	c |    437001 |   11530    68117   232152 |   171632   161295     59 |  6.783 % |
407.64/407.68	c |    437134 |   11530    68117   232152 |   171632   161428     59 |  6.783 % |
407.84/407.86	c |    437280 |   11530    68117   232152 |   171632   161574     59 |  6.783 % |
408.04/408.03	c |    437441 |   11530    68117   232152 |   171632   161735     59 |  6.783 % |
408.24/408.29	c |    437619 |   11530    68117   232152 |   171632   161913     59 |  6.783 % |
408.54/408.52	c |    437814 |   11530    68117   232152 |   171632   162108     59 |  6.783 % |
408.74/408.75	c |    438026 |   11530    68117   232152 |   171632   162320     59 |  6.783 % |
409.14/409.14	c |    438260 |   11530    68117   232152 |   171632   162554     59 |  6.783 % |
409.44/409.47	c |    438516 |   11530    68117   232152 |   171632   162810     59 |  6.783 % |
409.84/409.85	c |    438798 |   11530    68117   232152 |   171632   163092     59 |  6.783 % |
410.24/410.23	c |    439108 |   11530    68117   232152 |   171632   163402     59 |  6.783 % |
410.64/410.66	c |    439448 |   11530    68069   231998 |   171632   163741     59 |  6.783 % |
410.94/411.01	c |    439820 |   11530    68069   231998 |   171632   164113     59 |  6.783 % |
411.54/411.58	c |    440231 |   11529    68069   231998 | 2147483647   164523     59 |  6.791 % |
412.04/412.02	c |    440680 |   11529    68069   231998 | 2147483647   164972     59 |  6.791 % |
412.54/412.52	c |    441173 |   11529    68069   231998 | 2147483647   165465     59 |  6.791 % |
413.34/413.32	c |    441715 |   11529    68069   231998 | 2147483647   166007     59 |  6.791 % |
413.94/413.98	c |    442312 |   11529    68069   231998 | 2147483647   166604     59 |  6.791 % |
414.64/414.64	c |    442969 |   11529    68069   231998 | 2147483647   167261     59 |  6.791 % |
415.54/415.56	c |    443689 |   11529    68069   231998 | 2147483647   167981     59 |  6.791 % |
416.54/416.53	c |    444482 |   11528    68069   231998 | 2147483647   168773     59 |  6.799 % |
417.34/417.31	c |    445353 |   11528    68069   231998 | 2147483647   169644     59 |  6.799 % |
418.44/418.44	c |    446311 |   11528    68069   231998 | 2147483647   170602     59 |  6.799 % |
419.64/419.65	c |    447364 |   11528    68069   231998 | 2147483647   171655     59 |  6.799 % |
421.14/421.13	c |    448522 |   11528    68069   231998 | 2147483647   172812     59 |  6.807 % |
422.64/422.70	c |    449795 |   11528    68069   231998 | 2147483647   174085     59 |  6.807 % |
424.44/424.41	c |    451196 |   11528    68069   231998 | 2147483647   175486     59 |  6.807 % |
426.34/426.39	c |    452736 |   11526    68069   231998 | 2147483647   177025     59 |  6.816 % |
428.64/428.65	c |    454430 |   11526    68069   231998 | 2147483647   178719     60 |  6.815 % |
431.04/431.11	c |    456293 |   11526    68069   231998 | 2147483647   180581     60 |  6.824 % |
433.74/433.74	c |    458345 |   11524    68069   231998 | 2147483647   182632     60 |  6.832 % |
436.04/436.09	c |    460598 |   11524    68069   231998 | 2147483647   184885     60 |  6.832 % |
439.24/439.23	c |    463077 |   11524    68069   231998 | 2147483647   187364     60 |  6.832 % |
443.24/443.32	c |    465803 |   11523    68012   231815 | 2147483647   190083     61 |  6.840 % |
447.54/447.51	c |    468801 |   11523    68012   231815 | 2147483647   193080     61 |  6.848 % |
451.74/451.80	c |    472097 |   11523    68012   231815 |   194282   196376     61 |  6.848 % |
457.14/457.20	c |    475722 |   11523    68012   231815 |   194282   176998     59 |  6.856 % |
462.34/462.36	c |    479712 |   11523    68012   231815 |   194282   180988     58 |  6.856 % |
467.85/467.88	c |    484099 |   11523    68012   231815 |   181277   166945     57 |  6.864 % |
468.05/468.08	c |    484201 |   11523    68012   231815 |   181277   167047     57 |  6.864 % |
468.25/468.26	c |    484312 |   11523    68012   231815 |   181277   167158     57 |  6.864 % |
468.45/468.42	c |    484433 |   11523    68012   231815 |   181277   167279     57 |  6.864 % |
468.55/468.59	c |    484566 |   11522    68012   231815 |   181277   167412     57 |  6.864 % |
468.75/468.80	c |    484712 |   11522    68012   231815 |   181277   167558     57 |  6.864 % |
468.95/469.00	c |    484872 |   11522    68012   231815 |   181277   167718     57 |  6.864 % |
469.15/469.18	c |    485048 |   11522    68012   231815 |   181277   167894     57 |  6.864 % |
469.45/469.44	c |    485242 |   11522    68012   231815 |   181277   168088     57 |  6.864 % |
469.65/469.69	c |    485455 |   11522    68012   231815 |   181277   168301     57 |  6.864 % |
469.85/469.85	c |    485690 |   11522    68012   231815 |   181277   168536     57 |  6.864 % |
470.15/470.12	c |    485946 |   11522    68012   231815 |   181277   168792     57 |  6.864 % |
470.45/470.46	c |    486227 |   11522    68012   231815 |   181277   169073     57 |  6.864 % |
470.75/470.81	c |    486537 |   11522    68012   231815 |   181277   169383     57 |  6.864 % |
471.35/471.37	c |    486877 |   11522    68012   231815 |   181277   169723     57 |  6.864 % |
471.75/471.81	c |    487250 |   11522    68012   231815 |   181277   170096     57 |  6.864 % |
472.15/472.21	c |    487660 |   11522    68012   231815 |   181277   170505     57 |  6.872 % |
472.95/472.96	c |    488109 |   11521    68012   231815 |   181277   170954     57 |  6.872 % |
473.65/473.64	c |    488604 |   11521    68012   231815 |   181277   171449     57 |  6.872 % |
474.45/474.43	c |    489146 |   11521    68012   231815 |   181277   171991     58 |  6.872 % |
475.15/475.18	c |    489742 |   11521    68012   231815 |   181277   172587     58 |  6.872 % |
475.85/475.88	c |    490398 |   11520    68012   231815 | 2147483647   173243     58 |  6.872 % |
476.75/476.74	c |    491120 |   11520    68012   231815 | 2147483647   173965     58 |  6.872 % |
477.55/477.60	c |    491913 |   11520    68012   231815 | 2147483647   174758     58 |  6.872 % |
478.75/478.80	c |    492785 |   11520    68012   231815 | 2147483647   175630     58 |  6.872 % |
479.65/479.70	c |    493744 |   11520    68012   231815 | 2147483647   176589     58 |  6.872 % |
480.95/480.95	c |    494799 |   11519    67978   231704 | 2147483647   177641     58 |  6.872 % |
482.15/482.18	c |    495957 |   11519    67978   231704 | 2147483647   178799     58 |  6.872 % |
483.65/483.68	c |    497231 |   11518    67978   231704 | 2147483647   180072     58 |  6.880 % |
485.45/485.46	c |    498631 |   11518    67978   231704 | 2147483647   181471     58 |  6.888 % |
487.55/487.55	c |    500173 |   11518    67978   231704 | 2147483647   183012     59 |  6.896 % |
489.55/489.56	c |    501867 |   11518    67978   231704 | 2147483647   184706     59 |  6.896 % |
491.85/491.88	c |    503733 |   11518    67978   231704 | 2147483647   186572     59 |  6.896 % |
494.55/494.54	c |    505783 |   11518    67978   231704 | 2147483647   188622     59 |  6.896 % |
497.45/497.42	c |    508036 |   11518    67978   231704 | 2147483647   190874     59 |  6.904 % |
500.55/500.59	c |    510516 |   11515    67978   231704 |   192841   193354     60 |  6.904 % |
504.95/504.95	c |    513242 |   11514    67978   231704 |   192841   167719     58 |  6.913 % |
508.85/508.89	c |    516240 |   11514    67978   231704 |   192841   170717     58 |  6.913 % |
512.95/512.94	c |    519536 |   11514    67978   231704 |   192841   174013     59 |  6.912 % |
517.65/517.71	c |    523162 |   11513    67933   231567 |   174477   157550     57 |  6.921 % |
522.95/523.00	c |    527150 |   11513    67933   231567 |   174477   161538     58 |  6.921 % |
529.45/529.47	c |    531538 |   11513    67933   231567 | 2147483647   165926     58 |  6.921 % |
536.05/536.03	c |    536361 |   11513    67933   231567 | 2147483647   170749     58 |  6.921 % |
536.15/536.16	c |    536461 |   11513    67933   231567 | 2147483647   170849     58 |  6.921 % |
536.25/536.25	c |    536572 |   11513    67933   231567 | 2147483647   170960     58 |  6.921 % |
536.45/536.43	c |    536693 |   11513    67933   231567 | 2147483647   171081     58 |  6.921 % |
536.55/536.58	c |    536827 |   11513    67933   231567 | 2147483647   171215     58 |  6.921 % |
536.75/536.74	c |    536973 |   11513    67933   231567 | 2147483647   171361     58 |  6.921 % |
536.95/536.94	c |    537133 |   11513    67933   231567 | 2147483647   171521     58 |  6.921 % |
537.05/537.08	c |    537309 |   11513    67933   231567 | 2147483647   171697     58 |  6.921 % |
537.35/537.38	c |    537504 |   11513    67933   231567 | 2147483647   171892     58 |  6.921 % |
537.65/537.71	c |    537716 |   11513    67933   231567 | 2147483647   172103     58 |  6.929 % |
538.05/538.08	c |    537950 |   11513    67933   231567 | 2147483647   172337     58 |  6.929 % |
538.45/538.43	c |    538206 |   11513    67933   231567 | 2147483647   172593     58 |  6.929 % |
538.85/538.83	c |    538488 |   11513    67933   231567 | 2147483647   172875     58 |  6.929 % |
539.45/539.42	c |    538798 |   11513    67933   231567 | 2147483647   173185     58 |  6.929 % |
539.85/539.82	c |    539138 |   11513    67933   231567 | 2147483647   173525     58 |  6.929 % |
540.35/540.38	c |    539511 |   11513    67933   231567 | 2147483647   173898     58 |  6.929 % |
541.14/541.16	c |    539922 |   11513    67933   231567 | 2147483647   174309     58 |  6.929 % |
541.74/541.77	c |    540372 |   11513    67933   231567 | 2147483647   174759     58 |  6.929 % |
542.35/542.33	c |    540866 |   11513    67933   231567 | 2147483647   175253     58 |  6.929 % |
542.94/542.93	c |    541408 |   11513    67933   231567 | 2147483647   175795     58 |  6.929 % |
543.84/543.85	c |    542005 |   11513    67933   231567 | 2147483647   176392     58 |  6.929 % |
544.55/544.55	c |    542660 |   11512    67933   231567 | 2147483647   177047     58 |  6.929 % |
545.54/545.52	c |    543380 |   11512    67933   231567 | 2147483647   177767     58 |  6.929 % |
547.04/547.02	c |    544172 |   11512    67924   231537 | 2147483647   178558     58 |  6.929 % |
548.14/548.16	c |    545044 |   11512    67924   231537 | 2147483647   179430     58 |  6.929 % |
549.54/549.59	c |    546002 |   11511    67924   231537 | 2147483647   180387     59 |  6.937 % |
551.04/551.02	c |    547055 |   11511    67924   231537 | 2147483647   181439     59 |  6.945 % |
552.64/552.67	c |    548214 |   11511    67924   231537 | 2147483647   182598     59 |  6.945 % |
554.54/554.53	c |    549487 |   11511    67924   231537 | 2147483647   183871     59 |  6.945 % |
556.44/556.47	c |    550887 |   11511    67924   231537 | 2147483647   185271     59 |  6.945 % |
558.04/558.10	c |    552427 |   11511    67924   231537 | 2147483647   186811     59 |  6.945 % |
560.34/560.32	c |    554121 |   11511    67924   231537 | 2147483647   188505     59 |  6.945 % |
562.94/563.00	c |    555986 |   11511    67924   231537 | 2147483647   190370     59 |  6.945 % |
565.74/565.72	c |    558035 |   11511    67924   231537 | 2147483647   192419     59 |  6.945 % |
568.94/568.99	c |    560289 |   11511    67924   231537 |   194385   194673     59 |  6.945 % |
573.34/573.31	c |    562767 |   11511    67924   231537 |   194385   173426     57 |  6.953 % |
577.04/577.04	c |    565494 |   11511    67924   231537 |   194385   176153     57 |  6.953 % |
581.25/581.27	c |    568491 |   11511    67924   231537 |   194385   179150     57 |  6.953 % |
586.55/586.52	c |    571789 |   11507    67886   231407 | 2147483647   182440     57 |  6.977 % |
590.55/590.59	c |    575414 |   11506    67886   231407 | 2147483647   186065     57 |  6.977 % |
595.95/595.99	c |    579402 |   11506    67886   231407 | 2147483647   190053     58 |  6.977 % |
603.55/603.58	c |    583789 |   11505    67886   231407 |   190651   171941     56 |  6.993 % |
610.85/610.82	c |    588612 |   11505    67886   231407 |   190651   176763     56 |  7.001 % |
617.65/617.69	c |    593919 |   11505    67886   231407 |   178151   182070     56 |  7.001 % |
619.05/619.05	c |    594019 |   11503    67842   231272 |   178151   157885     55 |  7.001 % |
619.25/619.27	c |    594129 |   11503    67842   231272 |   178151   157995     55 |  7.001 % |
619.35/619.37	c |    594250 |   11503    67842   231272 |   178151   158116     55 |  7.001 % |
619.45/619.50	c |    594383 |   11502    67842   231272 |   178151   158248     55 |  7.009 % |
619.75/619.76	c |    594530 |   11502    67842   231272 |   178151   158394     55 |  7.018 % |
620.05/620.05	c |    594692 |   11502    67842   231272 |   178151   158556     55 |  7.018 % |
620.35/620.32	c |    594869 |   11502    67842   231272 |   178151   158733     55 |  7.018 % |
620.55/620.53	c |    595062 |   11502    67842   231272 |   178151   158926     55 |  7.018 % |
620.85/620.83	c |    595274 |   11501    67842   231272 |   178151   159138     55 |  7.018 % |
621.15/621.11	c |    595507 |   11501    67842   231272 |   178151   159371     55 |  7.018 % |
621.55/621.58	c |    595763 |   11501    67842   231272 |   178151   159627     55 |  7.018 % |
621.95/621.92	c |    596044 |   11501    67842   231272 |   178151   159908     55 |  7.018 % |
622.45/622.46	c |    596353 |   11501    67842   231272 |   178151   160217     55 |  7.018 % |
623.15/623.17	c |    596692 |   11501    67842   231272 |   178151   160556     55 |  7.018 % |
623.75/623.73	c |    597064 |   11501    67842   231272 |   178151   160928     55 |  7.018 % |
623.95/623.98	c |    597473 |   11501    67842   231272 |   178151   161337     55 |  7.018 % |
624.65/624.66	c |    597924 |   11500    67842   231272 |   178151   161787     55 |  7.026 % |
625.05/625.10	c |    598417 |   11500    67842   231272 |   178151   162280     55 |  7.026 % |
625.75/625.80	c |    598959 |   11500    67842   231272 |   178151   162821     55 |  7.034 % |
626.75/626.77	c |    599555 |   11500    67842   231272 |   178151   163417     55 |  7.034 % |
627.65/627.69	c |    600210 |   11499    67842   231272 | 2147483647   164072     55 |  7.034 % |
628.65/628.70	c |    600932 |   11499    67842   231272 | 2147483647   164794     55 |  7.034 % |
629.85/629.89	c |    601725 |   11499    67842   231272 | 2147483647   165587     55 |  7.034 % |
631.15/631.12	c |    602596 |   11499    67842   231272 | 2147483647   166458     55 |  7.034 % |
632.15/632.19	c |    603555 |   11499    67842   231272 | 2147483647   167417     55 |  7.034 % |
633.65/633.66	c |    604608 |   11499    67842   231272 | 2147483647   168470     55 |  7.034 % |
635.25/635.23	c |    605766 |   11499    67842   231272 | 2147483647   169628     55 |  7.034 % |
637.05/637.11	c |    607039 |   11499    67842   231272 | 2147483647   170901     55 |  7.034 % |
639.05/639.05	c |    608440 |   11499    67842   231272 | 2147483647   172302     55 |  7.034 % |
641.15/641.20	c |    609984 |   11499    67842   231272 | 2147483647   173846     55 |  7.034 % |
643.55/643.59	c |    611678 |   11499    67842   231272 | 2147483647   175539     55 |  7.042 % |
645.75/645.80	c |    613542 |   11498    67842   231272 | 2147483647   177403     56 |  7.042 % |
648.55/648.55	c |    615591 |   11498    67842   231272 | 2147483647   179452     56 |  7.042 % |
651.95/651.93	c |    617844 |   11498    67842   231272 | 2147483647   181705     56 |  7.042 % |
655.66/655.69	c |    620322 |   11498    67810   231176 |   183849   184169     56 |  7.042 % |
660.35/660.39	c |    623047 |   11498    67810   231176 |   183849   163734     54 |  7.042 % |
664.25/664.30	c |    626045 |   11498    67810   231176 |   183849   166731     54 |  7.050 % |
669.55/669.53	c |    629341 |   11498    67810   231176 |   183849   170027     54 |  7.050 % |
674.85/674.88	c |    632966 |   11497    67810   231176 | 2147483647   173651     54 |  7.058 % |
680.45/680.42	c |    636954 |   11495    67810   231176 | 2147483647   177637     54 |  7.074 % |
686.15/686.20	c |    641340 |   11495    67810   231176 | 2147483647   182022     55 |  7.082 % |
692.15/692.14	c |    646163 |   11493    67773   231059 | 2147483647   186845     55 |  7.082 % |
698.26/698.23	c |    651468 |   11493    67773   231059 | 2147483647   192150     55 |  7.082 % |
703.96/703.99	c |    657304 |   11488    67773   231059 | 2147483647   197982     55 |  7.123 % |
704.06/704.07	c |    657405 |   11488    67773   231059 | 2147483647   198083     55 |  7.123 % |
704.16/704.18	c |    657515 |   11488    67773   231059 | 2147483647   198193     55 |  7.123 % |
704.36/704.41	c |    657637 |   11486    67773   231059 | 2147483647   198313     55 |  7.139 % |
704.46/704.47	c |    657772 |   11486    67773   231059 | 2147483647   198448     55 |  7.139 % |
704.56/704.56	c |    657922 |   11486    67773   231059 | 2147483647   198598     55 |  7.139 % |
704.76/704.79	c |    658083 |   11486    67773   231059 | 2147483647   198759     55 |  7.139 % |
705.06/705.08	c |    658260 |   11486    67773   231059 | 2147483647   198936     55 |  7.139 % |
705.36/705.33	c |    658454 |   11486    67773   231059 | 2147483647   199130     55 |  7.139 % |
705.46/705.45	c |    658666 |   11486    67773   231059 | 2147483647   199342     55 |  7.139 % |
705.66/705.69	c |    658899 |   11486    67773   231059 | 2147483647   199575     54 |  7.139 % |
705.86/705.91	c |    659156 |   11486    67773   231059 | 2147483647   199832     54 |  7.139 % |
706.26/706.22	c |    659438 |   11486    67773   231059 | 2147483647   200114     54 |  7.139 % |
706.46/706.43	c |    659748 |   11486    67773   231059 | 2147483647   200424     54 |  7.139 % |
706.56/706.61	c |    660089 |   11486    67773   231059 | 2147483647   200765     54 |  7.139 % |
707.16/707.16	c |    660465 |   11486    67773   231059 | 2147483647   201141     55 |  7.139 % |
707.86/707.90	c |    660874 |   11486    67773   231059 | 2147483647   201550     55 |  7.139 % |
708.46/708.50	c |    661323 |   11486    67773   231059 | 2147483647   201999     55 |  7.139 % |
709.16/709.13	c |    661817 |   11486    67773   231059 | 2147483647   202493     55 |  7.139 % |
709.66/709.65	c |    662359 |   11486    67773   231059 | 2147483647   203035     55 |  7.139 % |
710.56/710.61	c |    662956 |   11486    67773   231059 | 2147483647   203632     55 |  7.139 % |
711.56/711.54	c |    663612 |   11486    67773   231059 | 2147483647   204288     55 |  7.139 % |
712.46/712.43	c |    664332 |   11486    67773   231059 | 2147483647   205008     55 |  7.139 % |
713.56/713.56	c |    665124 |   11486    67694   230806 | 2147483647   205791     55 |  7.139 % |
714.76/714.78	c |    665995 |   11486    67694   230806 | 2147483647   206662     55 |  7.139 % |
716.16/716.17	c |    666953 |   11485    67694   230806 | 2147483647   207619     55 |  7.147 % |
717.56/717.56	c |    668007 |   11485    67694   230806 | 2147483647   208673     55 |  7.147 % |
719.26/719.26	c |    669165 |   11485    67694   230806 | 2147483647   209830     55 |  7.163 % |
721.16/721.14	c |    670440 |   11485    67694   230806 | 2147483647   211105     55 |  7.163 % |
723.16/723.19	c |    671840 |   11485    67694   230806 | 2147483647   212505     55 |  7.163 % |
725.56/725.52	c |    673380 |   11485    67694   230806 | 2147483647   214044     55 |  7.171 % |
727.86/727.87	c |    675074 |   11485    67694   230806 | 2147483647   215738     55 |  7.171 % |
730.36/730.41	c |    676937 |   11485    67694   230806 | 2147483647   217601     55 |  7.171 % |
733.26/733.31	c |    678986 |   11484    67694   230806 | 2147483647   219649     55 |  7.179 % |
736.66/736.62	c |    681239 |   11484    67694   230806 |   220664   221902     55 |  7.179 % |
741.66/741.66	c |    683718 |   11484    67694   230806 |   220664   199326     53 |  7.179 % |
746.26/746.24	c |    686443 |   11484    67694   230806 |   220664   202051     52 |  7.179 % |
750.86/750.85	c |    689442 |   11484    67694   230806 |   220664   205050     52 |  7.179 % |
756.06/756.05	c |    692738 |   11481    67650   230669 | 2147483647   208340     53 |  7.187 % |
762.06/762.06	c |    696363 |   11481    67650   230669 | 2147483647   211965     53 |  7.187 % |
769.76/769.77	c |    700350 |   11481    67650   230669 |   215602   215952     52 |  7.187 % |
777.16/777.21	c |    704736 |   11481    67650   230669 |   215602   192676     51 |  7.196 % |
784.56/784.55	c |    709559 |   11481    67650   230669 |   215602   197499     51 |  7.196 % |
794.16/794.12	c |    714867 |   11478    67621   230573 |   197942   177162     49 |  7.204 % |
801.26/801.24	c |    720704 |   11478    67621   230573 | 2147483647   182998     50 |  7.212 % |
812.47/812.44	c |    727122 |   11478    67621   230573 | 2147483647   189415     49 |  7.220 % |
812.67/812.63	c |    727222 |   11478    67621   230573 | 2147483647   189515     49 |  7.220 % |
812.87/812.87	c |    727332 |   11478    67621   230573 | 2147483647   189625     49 |  7.220 % |
813.17/813.17	c |    727453 |   11478    67621   230573 | 2147483647   189746     49 |  7.220 % |
813.47/813.50	c |    727586 |   11478    67621   230573 | 2147483647   189879     49 |  7.220 % |
813.67/813.70	c |    727733 |   11478    67621   230573 | 2147483647   190026     49 |  7.220 % |
813.97/814.00	c |    727895 |   11478    67621   230573 | 2147483647   190188     49 |  7.220 % |
814.27/814.28	c |    728071 |   11478    67621   230573 | 2147483647   190364     49 |  7.220 % |
814.57/814.55	c |    728267 |   11478    67621   230573 | 2147483647   190560     49 |  7.220 % |
814.87/814.83	c |    728479 |   11478    67621   230573 | 2147483647   190772     49 |  7.220 % |
815.17/815.20	c |    728713 |   11478    67621   230573 | 2147483647   191006     50 |  7.220 % |
815.57/815.58	c |    728970 |   11478    67621   230573 | 2147483647   191263     50 |  7.220 % |
816.07/816.11	c |    729252 |   11478    67621   230573 | 2147483647   191545     49 |  7.220 % |
816.67/816.68	c |    729561 |   11478    67621   230573 | 2147483647   191854     49 |  7.220 % |
817.17/817.21	c |    729900 |   11478    67621   230573 | 2147483647   192193     49 |  7.220 % |
817.67/817.69	c |    730272 |   11478    67621   230573 | 2147483647   192565     49 |  7.220 % |
818.27/818.24	c |    730682 |   11478    67621   230573 | 2147483647   192975     49 |  7.220 % |
818.87/818.82	c |    731132 |   11478    67621   230573 | 2147483647   193425     49 |  7.220 % |
819.47/819.42	c |    731626 |   11478    67621   230573 | 2147483647   193919     50 |  7.220 % |
820.07/820.08	c |    732169 |   11478    67621   230573 | 2147483647   194462     50 |  7.220 % |
820.77/820.79	c |    732765 |   11478    67621   230573 | 2147483647   195058     50 |  7.220 % |
821.87/821.89	c |    733420 |   11476    67604   230516 | 2147483647   195710     49 |  7.220 % |
822.97/823.00	c |    734140 |   11476    67604   230516 | 2147483647   196430     50 |  7.220 % |
823.87/823.85	c |    734933 |   11476    67604   230516 | 2147483647   197223     49 |  7.220 % |
824.97/824.94	c |    735805 |   11476    67604   230516 | 2147483647   198094     50 |  7.228 % |
826.17/826.16	c |    736764 |   11476    67604   230516 | 2147483647   199053     50 |  7.228 % |
827.57/827.58	c |    737817 |   11476    67604   230516 | 2147483647   200106     50 |  7.228 % |
828.97/829.00	c |    738976 |   11476    67604   230516 | 2147483647   201265     50 |  7.228 % |
830.67/830.71	c |    740249 |   11476    67604   230516 | 2147483647   202538     50 |  7.228 % |
832.77/832.77	c |    741650 |   11475    67604   230516 | 2147483647   203937     50 |  7.244 % |
835.27/835.30	c |    743190 |   11475    67604   230516 | 2147483647   205477     50 |  7.244 % |
837.57/837.54	c |    744885 |   11475    67604   230516 | 2147483647   207172     50 |  7.244 % |
840.07/840.09	c |    746748 |   11475    67604   230516 | 2147483647   209035     50 |  7.244 % |
842.77/842.78	c |    748797 |   11475    67604   230516 | 2147483647   211083     50 |  7.252 % |
845.67/845.65	c |    751051 |   11475    67604   230516 |   212287   213337     50 |  7.252 % |
850.67/850.69	c |    753531 |   11475    67604   230516 |   212287   192415     49 |  7.252 % |
854.87/854.89	c |    756256 |   11475    67604   230516 |   212287   195140     49 |  7.253 % |
859.27/859.25	c |    759255 |   11472    67574   230422 |   212287   198139     49 |  7.253 % |
863.67/863.65	c |    762551 |   11472    67574   230422 | 2147483647   201435     49 |  7.253 % |
868.37/868.34	c |    766178 |   11411    67574   230422 | 2147483647   205061     49 |  7.842 % |
872.07/872.08	c |    770165 |   11400    67574   230422 | 2147483647   209045     49 |  7.866 % |
875.37/875.40	c |    774551 |   11400    67574   230422 | 2147483647   213431     49 |  7.866 % |
880.37/880.34	c |    779375 |   11400    67574   230422 | 2147483647   218255     50 |  7.867 % |
898.47/898.47	c |    784682 |   11395    66182   225540 | 2147483647    64990     44 |  7.875 % |
901.86/901.87	c |    790517 |   11376    66182   225540 | 2147483647    70813     46 |  8.028 % |
905.86/905.90	c |    796936 |   11376    66182   225540 | 2147483647    77232     51 |  8.028 % |
909.96/909.93	c |    803996 |   11368    66058   225143 | 2147483647    84184     53 |  8.101 % |
910.06/910.04	c |    804096 |   11368    66058   225143 | 2147483647    84284     53 |  8.101 % |
910.06/910.10	c |    804206 |   11368    66058   225143 | 2147483647    84394     53 |  8.101 % |
910.26/910.22	c |    804327 |   11368    66058   225143 | 2147483647    84515     53 |  8.101 % |
910.26/910.29	c |    804460 |   11368    66058   225143 | 2147483647    84648     53 |  8.101 % |
910.46/910.41	c |    804606 |   11368    66058   225143 | 2147483647    84794     53 |  8.101 % |
910.56/910.53	c |    804766 |   11368    66058   225143 | 2147483647    84954     53 |  8.101 % |
910.66/910.65	c |    804943 |   11368    66058   225143 | 2147483647    85131     53 |  8.101 % |
910.76/910.79	c |    805136 |   11368    66058   225143 | 2147483647    85324     53 |  8.101 % |
910.87/910.90	c |    805348 |   11368    66058   225143 | 2147483647    85536     53 |  8.101 % |
911.06/911.06	c |    805583 |   11366    66058   225143 | 2147483647    85769     53 |  8.118 % |
911.26/911.25	c |    805841 |   11366    66058   225143 | 2147483647    86027     53 |  8.117 % |
911.46/911.48	c |    806123 |   11366    66058   225143 | 2147483647    86309     53 |  8.117 % |
911.66/911.63	c |    806435 |   11364    66058   225143 | 2147483647    86620     53 |  8.174 % |
911.86/911.91	c |    806775 |   11364    66058   225143 | 2147483647    86960     54 |  8.174 % |
912.26/912.24	c |    807148 |   11364    66058   225143 | 2147483647    87333     54 |  8.174 % |
912.56/912.54	c |    807558 |   11358    65908   224650 | 2147483647    87690     54 |  8.174 % |
912.86/912.82	c |    808008 |   11353    65908   224650 | 2147483647    88137     54 |  8.214 % |
913.16/913.19	c |    808505 |   11353    65908   224650 | 2147483647    88634     54 |  8.214 % |
913.46/913.50	c |    809048 |   11353    65908   224650 | 2147483647    89177     54 |  8.214 % |
914.06/914.01	c |    809646 |   11352    65908   224650 | 2147483647    89774     55 |  8.222 % |
914.36/914.32	c |    810304 |   11351    65908   224650 | 2147483647    90431     54 |  8.231 % |
914.76/914.72	c |    811025 |   11350    65908   224650 | 2147483647    91151     55 |  8.239 % |
915.46/915.41	c |    811818 |   11347    65908   224650 | 2147483647    91940     55 |  8.271 % |
916.06/916.02	c |    812689 |   11346    65908   224650 | 2147483647    92810     55 |  8.279 % |
916.46/916.42	c |    813647 |   11345    65908   224650 | 2147483647    93768     56 |  8.279 % |
917.26/917.26	c |    814700 |   11345    65908   224650 | 2147483647    94821     56 |  8.279 % |
918.16/918.18	c |    815858 |   11341    65908   224650 | 2147483647    95975     56 |  8.312 % |
919.16/919.18	c |    817133 |   11341    65908   224650 | 2147483647    97249     56 |  8.320 % |
920.06/920.10	c |    818533 |   11335    65908   224650 | 2147483647    98645     56 |  8.416 % |
921.26/921.27	c |    820073 |   11328    65701   223982 | 2147483647    99850     56 |  8.416 % |
922.47/922.42	c |    821768 |   11325    65701   223982 | 2147483647   101542     55 |  8.441 % |
923.77/923.76	c |    823631 |   11325    65701   223982 | 2147483647   103405     56 |  8.440 % |
925.27/925.25	c |    825682 |   11325    65701   223982 | 2147483647   105456     56 |  8.441 % |
926.97/926.95	c |    827936 |   11318    65701   223982 | 2147483647   107707     56 |  8.505 % |
928.87/928.88	c |    830414 |   11317    65701   223982 | 2147483647   110184     56 |  8.513 % |
931.07/931.07	c |    833139 |   11316    65701   223982 | 2147483647   112908     57 |  8.521 % |
933.57/933.56	c |    836136 |   11301    65545   223473 | 2147483647   115841     58 |  8.659 % |
935.97/935.97	c |    839433 |   11295    65545   223473 | 2147483647   119134     58 |  8.691 % |
938.57/938.53	c |    843059 |   11293    65545   223473 | 2147483647   122758     59 |  8.707 % |
941.77/941.75	c |    847048 |   11292    65545   223473 | 2147483647   126746     60 |  8.715 % |
945.17/945.12	c |    851435 |   11289    65545   223473 | 2147483647   131129     62 |  8.748 % |
949.57/949.60	c |    856259 |   11284    65362   222898 | 2147483647   135742     62 |  8.773 % |
954.37/954.32	c |    861564 |   11284    65362   222898 | 2147483647   141046     64 |  8.780 % |
959.37/959.40	c |    867400 |   11283    65362   222898 | 2147483647   146881     65 |  8.788 % |
965.07/965.06	c |    873818 |   11271    65362   222898 | 2147483647   153292     65 |  8.942 % |
972.87/972.91	c |    880879 |   11271    65362   222898 | 2147483647   160352     65 |  8.958 % |
981.37/981.39	c |    888643 |   11261    65188   222335 | 2147483647   167973     64 |  8.958 % |
981.57/981.52	c |    888743 |   11261    65188   222335 | 2147483647   168073     64 |  8.958 % |
981.67/981.70	c |    888853 |   11261    65188   222335 | 2147483647   168183     64 |  8.958 % |
981.87/981.86	c |    888974 |   11261    65188   222335 | 2147483647   168304     64 |  8.958 % |
982.07/982.03	c |    889108 |   11261    65188   222335 | 2147483647   168438     64 |  8.958 % |
982.27/982.24	c |    889257 |   11261    65188   222335 | 2147483647   168587     64 |  8.958 % |
982.47/982.45	c |    889419 |   11259    65188   222335 | 2147483647   168748     64 |  8.974 % |
982.67/982.69	c |    889596 |   11259    65188   222335 | 2147483647   168925     64 |  8.974 % |
982.97/982.95	c |    889790 |   11259    65188   222335 | 2147483647   169119     64 |  8.974 % |
983.17/983.19	c |    890002 |   11259    65188   222335 | 2147483647   169331     64 |  8.974 % |
983.47/983.46	c |    890236 |   11259    65188   222335 | 2147483647   169565     64 |  8.974 % |
983.87/983.87	c |    890492 |   11259    65188   222335 | 2147483647   169821     64 |  8.974 % |
984.17/984.19	c |    890774 |   11259    65188   222335 | 2147483647   170103     64 |  8.974 % |
984.67/984.63	c |    891083 |   11259    65188   222335 | 2147483647   170412     64 |  8.974 % |
984.97/984.97	c |    891423 |   11259    65188   222335 | 2147483647   170752     64 |  8.974 % |
985.47/985.44	c |    891796 |   11258    65188   222335 | 2147483647   171124     64 |  8.982 % |
985.97/985.95	c |    892205 |   11254    65188   222335 | 2147483647   171529     64 |  9.015 % |
986.67/986.64	c |    892655 |   11254    65188   222335 | 2147483647   171979     64 |  9.015 % |
987.17/987.18	c |    893150 |   11254    65188   222335 | 2147483647   172474     64 |  9.015 % |
987.77/987.77	c |    893692 |   11254    65188   222335 | 2147483647   173016     64 |  9.015 % |
988.27/988.24	c |    894288 |   11254    65188   222335 | 2147483647   173612     64 |  9.015 % |
988.87/988.87	c |    894945 |   11254    65188   222335 | 2147483647   174269     64 |  9.015 % |
989.57/989.59	c |    895665 |   11254    65188   222335 | 2147483647   174989     64 |  9.014 % |
990.57/990.54	c |    896459 |   11254    65188   222335 | 2147483647   175783     64 |  9.014 % |
991.57/991.59	c |    897332 |   11254    65188   222335 | 2147483647   176655     64 |  9.031 % |
992.67/992.67	c |    898290 |   11254    65188   222335 | 2147483647   177613     64 |  9.031 % |
993.57/993.55	c |    899344 |   11254    65188   222335 | 2147483647   178667     64 |  9.031 % |
994.77/994.77	c |    900502 |   11254    65188   222335 | 2147483647   179825     64 |  9.031 % |
995.67/995.68	c |    901776 |   11254    65188   222335 | 2147483647   181099     64 |  9.031 % |
996.97/996.99	c |    903177 |   11254    65188   222335 | 2147483647   182500     65 |  9.031 % |
997.87/997.84	c |    904720 |   11254    65188   222335 | 2147483647   184043     64 |  9.031 % |
999.47/999.46	c |    906416 |   11254    65188   222335 | 2147483647   185738     65 |  9.039 % |
1001.17/1001.19	c |    908279 |   11254    65188   222335 | 2147483647   187601     65 |  9.039 % |
1003.07/1003.10	c |    910329 |   11254    65188   222335 | 2147483647   189651     65 |  9.039 % |
1005.48/1005.49	c |    912583 |   11250    65134   222169 | 2147483647   191506     65 |  9.047 % |
1008.67/1008.63	c |    915061 |   11250    65134   222169 | 2147483647   193983     65 |  9.055 % |
1012.17/1012.18	c |    917786 |   11250    65134   222169 | 2147483647   196708     66 |  9.055 % |
1016.07/1016.03	c |    920784 |   11249    65134   222169 |   198919   199703     66 |  9.079 % |
1020.07/1020.08	c |    924080 |   11246    65134   222169 |   198919   178897     64 |  9.088 % |
1023.77/1023.72	c |    927705 |   11245    65134   222169 |   198919   182522     64 |  9.087 % |
1027.57/1027.56	c |    931692 |   11245    65134   222169 |   184817   186509     64 |  9.087 % |
1032.37/1032.35	c |    936078 |   11245    65134   222169 |   184817   172245     63 |  9.087 % |
1037.38/1037.38	c |    940901 |   11245    65134   222169 | 2147483647   177068     63 |  9.087 % |
1043.47/1043.48	c |    946207 |   11245    65134   222169 | 2147483647   182374     63 |  9.087 % |
1050.87/1050.90	c |    952042 |   11245    65086   222020 | 2147483647   188206     64 |  9.087 % |
1058.77/1058.72	c |    958461 |   11245    65086   222020 | 2147483647   194624     65 |  9.095 % |
1066.57/1066.57	c |    965521 |   11243    65086   222020 |   196162   175164     60 |  9.104 % |
1074.67/1074.64	c |    973286 |   11242    65086   222020 |   179643   164666     60 |  9.112 % |
1083.87/1083.84	c |    981827 |   11242    65086   222020 | 2147483647   173206     61 |  9.120 % |
1084.07/1084.06	c |    981927 |   11241    65056   221924 | 2147483647   173306     61 |  9.120 % |
1084.27/1084.22	c |    982038 |   11241    65056   221924 | 2147483647   173417     61 |  9.120 % |
1084.37/1084.36	c |    982162 |   11240    65056   221924 | 2147483647   173540     61 |  9.128 % |
1084.57/1084.54	c |    982295 |   11240    65056   221924 | 2147483647   173673     61 |  9.128 % |
1084.77/1084.72	c |    982442 |   11240    65056   221924 | 2147483647   173820     61 |  9.128 % |
1084.97/1084.95	c |    982602 |   11240    65056   221924 | 2147483647   173980     61 |  9.128 % |
1085.17/1085.12	c |    982778 |   11240    65056   221924 | 2147483647   174156     61 |  9.128 % |
1085.27/1085.31	c |    982971 |   11240    65056   221924 | 2147483647   174349     61 |  9.128 % |
1085.47/1085.46	c |    983183 |   11240    65056   221924 | 2147483647   174561     61 |  9.128 % |
1085.67/1085.70	c |    983416 |   11240    65056   221924 | 2147483647   174794     61 |  9.128 % |
1086.07/1086.05	c |    983673 |   11240    65056   221924 | 2147483647   175051     61 |  9.128 % |
1086.47/1086.42	c |    983954 |   11240    65056   221924 | 2147483647   175332     61 |  9.128 % |
1086.87/1086.81	c |    984263 |   11238    65056   221924 | 2147483647   175640     61 |  9.144 % |
1087.27/1087.23	c |    984603 |   11238    65056   221924 | 2147483647   175980     61 |  9.144 % |
1087.67/1087.62	c |    984975 |   11238    65056   221924 | 2147483647   176352     61 |  9.144 % |
1088.17/1088.19	c |    985385 |   11238    65056   221924 | 2147483647   176762     61 |  9.144 % |
1088.67/1088.70	c |    985834 |   11238    65056   221924 | 2147483647   177211     61 |  9.144 % |
1089.27/1089.29	c |    986328 |   11238    65056   221924 | 2147483647   177704     61 |  9.152 % |
1089.87/1089.86	c |    986870 |   11238    65056   221924 | 2147483647   178246     61 |  9.152 % |
1090.57/1090.56	c |    987466 |   11237    65056   221924 | 2147483647   178842     61 |  9.152 % |
1091.17/1091.11	c |    988121 |   11237    65056   221924 | 2147483647   179497     61 |  9.152 % |
1091.97/1091.96	c |    988842 |   11237    65056   221924 | 2147483647   180218     62 |  9.152 % |
1092.77/1092.74	c |    989634 |   11237    65056   221924 | 2147483647   181010     62 |  9.152 % |
1093.77/1093.74	c |    990507 |   11236    65056   221924 | 2147483647   181882     62 |  9.160 % |
1094.87/1094.85	c |    991465 |   11236    65056   221924 | 2147483647   182840     62 |  9.160 % |
1096.27/1096.25	c |    992519 |   11236    65056   221924 | 2147483647   183893     62 |  9.168 % |
1097.47/1097.50	c |    993679 |   11236    65056   221924 | 2147483647   185053     62 |  9.168 % |
1098.67/1098.62	c |    994952 |   11236    65056   221924 | 2147483647   186326     62 |  9.168 % |
1100.17/1100.17	c |    996352 |   11236    65056   221924 | 2147483647   187726     62 |  9.168 % |
1101.67/1101.64	c |    997894 |   11236    65056   221924 | 2147483647   189268     62 |  9.168 % |
1103.57/1103.61	c |    999588 |   11235    65056   221924 | 2147483647   190961     62 |  9.176 % |
1106.07/1106.08	c |   1001451 |   11233    65056   221924 |   191374   192823     63 |  9.185 % |
1109.07/1109.09	c |   1003500 |   11233    65056   221924 |   191374   167351     62 |  9.184 % |
1111.27/1111.24	c |   1005753 |   11233    65056   221924 |   191374   169604     62 |  9.184 % |
1113.87/1113.84	c |   1008231 |   11233    65056   221924 |   191374   172082     63 |  9.184 % |
1116.58/1116.59	c |   1010957 |   11233    65056   221924 | 2147483647   174808     63 |  9.184 % |
1120.87/1120.82	c |   1013954 |   11233    65018   221809 | 2147483647   177700     63 |  9.192 % |
1123.87/1123.88	c |   1017251 |   11232    65018   221809 | 2147483647   180997     63 |  9.192 % |
1127.87/1127.84	c |   1020876 |   11232    65018   221809 | 2147483647   184622     64 |  9.192 % |
1131.57/1131.56	c |   1024863 |   11232    65018   221809 | 2147483647   188609     64 |  9.192 % |
1136.77/1136.79	c |   1029249 |   11231    65018   221809 | 2147483647   192994     63 |  9.200 % |
1142.27/1142.27	c |   1034072 |   11231    65018   221809 | 2147483647   197817     63 |  9.200 % |
1149.87/1149.86	c |   1039379 |   11231    65018   221809 | 2147483647   203124     63 |  9.201 % |
1157.88/1157.90	c |   1045216 |   11229    64997   221746 |   203747   180307     61 |  9.217 % |
1165.48/1165.43	c |   1051634 |   11229    64997   221746 | 2147483647   186724     61 |  9.225 % |
1174.58/1174.53	c |   1058693 |   11228    64997   221746 | 2147483647   193783     62 |  9.225 % |
1184.78/1184.80	c |   1066457 |   11226    64997   221746 |   195091   177561     60 |  9.249 % |
1195.28/1195.29	c |   1075000 |   11225    64997   221746 |   181105   163035     58 |  9.249 % |
1200.08/1200.03	HOME/SatELiteGTI: line 36: 23949 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-1821886-1242576554/watcher-1821886-1242576554 -o /tmp/evaluation-result-1821886-1242576554/solver-1821886-1242576554 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821886-1242576554.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.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=812 CPUtime=0
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 1022155795 831488 2 4294967295 0 0 3216727138 3214952436 3085187562 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23947/statm: 204 13 8 174 0 29 0

[startup+0.033532 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=4100 CPUtime=0.03
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 876 0 0 0 3 0 0 0 20 0 1 0 1022155795 4198400 812 4294967295 134512640 135223648 3216719600 3216718168 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 1025 813 46 174 0 850 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6512

[startup+0.113529 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=9240 CPUtime=0.11
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 2060 0 0 0 11 0 0 0 21 0 1 0 1022155795 9461760 1996 4294967295 134512640 135223648 3216719600 3216717616 134586669 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 2310 1996 73 174 0 2135 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11652

[startup+0.313518 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=10016 CPUtime=0.31
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 2194 0 0 0 31 0 0 0 21 0 1 0 1022155795 10256384 2130 4294967295 134512640 135223648 3216719600 3216717696 134595756 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 2504 2130 73 174 0 2329 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12428

[startup+0.713498 s]
/proc/loadavg: 0.97 1.00 1.00 2/91 23943
/proc/meminfo: memFree=979892/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2412 CPUtime=0.01
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1022155794 2469888 277 4294967295 134512640 135169312 3214953808 3214952344 3085184750 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23943/statm: 603 277 235 161 0 42 0
[pid=23947] ppid=23943 vsize=10020 CPUtime=0.71
/proc/23947/stat : 23947 (SatELite_releas) R 23943 23943 9090 0 -1 4202496 2352 0 0 0 71 0 0 0 22 0 1 0 1022155795 10260480 2133 4294967295 134512640 135223648 3216719600 3216716404 134818474 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23947/statm: 2505 2133 74 174 0 2330 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12432

[startup+1.51346 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23949
/proc/meminfo: memFree=972312/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=6520 CPUtime=0.8
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 1521 0 0 0 80 0 0 0 20 0 1 0 1022155866 6676480 1456 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 1630 1456 73 172 0 1457 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8936

[startup+3.11338 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23949
/proc/meminfo: memFree=971940/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=6784 CPUtime=2.4
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 1586 0 0 0 239 1 0 0 25 0 1 0 1022155866 6946816 1521 4294967295 134512640 135215339 3220611856 3220610144 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 1696 1521 73 172 0 1523 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9200

[startup+6.32323 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23951
/proc/meminfo: memFree=971328/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=7332 CPUtime=5.61
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 1729 0 0 0 560 1 0 0 25 0 1 0 1022155866 7507968 1664 4294967295 134512640 135215339 3220611856 3220610144 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 1833 1664 73 172 0 1660 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 9748

[startup+12.7229 s]
/proc/loadavg: 0.98 1.00 1.00 2/93 23951
/proc/meminfo: memFree=969744/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=9080 CPUtime=12.01
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 2138 0 0 0 1199 2 0 0 25 0 1 0 1022155866 9297920 2073 4294967295 134512640 135215339 3220611856 3220610144 134529195 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 2270 2073 73 172 0 2097 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 11496

[startup+25.5223 s]
/proc/loadavg: 0.98 1.00 1.00 3/93 24134
/proc/meminfo: memFree=965544/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=13252 CPUtime=24.81
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 3195 0 0 0 2475 6 0 0 25 0 1 0 1022155866 13570048 3130 4294967295 134512640 135215339 3220611856 3220610144 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 3313 3130 73 172 0 3140 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 15668

[startup+51.1211 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24136
/proc/meminfo: memFree=955208/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=23864 CPUtime=50.41
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 5834 0 0 0 5033 8 0 0 25 0 1 0 1022155866 24436736 5769 4294967295 134512640 135215339 3220611856 3220610144 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 5966 5769 73 172 0 5793 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 26280

[startup+102.329 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24325
/proc/meminfo: memFree=934880/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=43852 CPUtime=101.62
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 10820 0 0 0 10151 11 0 0 25 0 1 0 1022155866 44904448 10755 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 10963 10755 73 172 0 10790 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 46268

[startup+162.326 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24514
/proc/meminfo: memFree=914148/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=65296 CPUtime=161.62
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 16103 0 0 0 16147 15 0 0 25 0 1 0 1022155866 66863104 16038 4294967295 134512640 135215339 3220611856 3220610144 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 16324 16038 73 172 0 16151 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 67712

[startup+222.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 24701
/proc/meminfo: memFree=908676/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=70664 CPUtime=221.6
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 17425 0 0 0 22141 19 0 0 25 0 1 0 1022155866 72359936 17360 4294967295 134512640 135215339 3220611856 3220610144 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 17666 17360 73 172 0 17493 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 73080

[startup+282.31 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 24889
/proc/meminfo: memFree=904716/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=74652 CPUtime=281.61
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18439 0 0 0 28138 23 0 0 25 0 1 0 1022155866 76443648 18374 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18663 18374 73 172 0 18490 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 77068

[startup+342.307 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 25080
/proc/meminfo: memFree=904616/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75192 CPUtime=341.61
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18537 0 0 0 34138 23 0 0 25 0 1 0 1022155866 76996608 18472 4294967295 134512640 135215339 3220611856 3220609920 134539252 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18798 18472 73 172 0 18625 0
Current children cumulated CPU time (s) 342.33

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

/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75404 CPUtime=461.62
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18619 0 0 0 46139 23 0 0 25 0 1 0 1022155866 77213696 18554 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18851 18554 73 172 0 18678 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 77820

[startup+522.319 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 25647
/proc/meminfo: memFree=904336/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75620 CPUtime=521.63
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18651 0 0 0 52140 23 0 0 25 0 1 0 1022155866 77434880 18586 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18905 18586 73 172 0 18732 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 78036

[startup+582.316 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25835
/proc/meminfo: memFree=904088/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75948 CPUtime=581.63
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18723 0 0 0 58140 23 0 0 25 0 1 0 1022155866 77770752 18658 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18987 18658 73 172 0 18814 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 78364

[startup+642.313 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 26022
/proc/meminfo: memFree=904128/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=75948 CPUtime=641.63
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18736 0 0 0 64140 23 0 0 25 0 1 0 1022155866 77770752 18671 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 18987 18671 73 172 0 18814 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 78364

[startup+702.32 s]
/proc/loadavg: 0.99 1.00 1.00 2/93 26214
/proc/meminfo: memFree=903880/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76148 CPUtime=701.64
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18777 0 0 0 70141 23 0 0 25 0 1 0 1022155866 77975552 18712 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19037 18712 73 172 0 18864 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 78564

[startup+762.327 s]
/proc/loadavg: 1.09 1.03 1.01 2/93 26403
/proc/meminfo: memFree=903840/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76228 CPUtime=761.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18801 0 0 0 76137 28 0 0 25 0 1 0 1022155866 78057472 18736 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19057 18736 73 172 0 18884 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 78644

[startup+822.324 s]
/proc/loadavg: 1.12 1.05 1.01 2/93 26590
/proc/meminfo: memFree=903468/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76228 CPUtime=821.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18802 0 0 0 82137 28 0 0 25 0 1 0 1022155866 78057472 18737 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19057 18737 73 172 0 18884 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 78644

[startup+882.321 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 26778
/proc/meminfo: memFree=903344/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76404 CPUtime=881.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18847 0 0 0 88136 29 0 0 25 0 1 0 1022155866 78237696 18782 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19101 18782 73 172 0 18928 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 78820

[startup+942.318 s]
/proc/loadavg: 1.01 1.03 1.00 3/93 26965
/proc/meminfo: memFree=903376/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=941.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 94136 29 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 79000

[startup+1002.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 27153
/proc/meminfo: memFree=903384/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=1001.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 100136 29 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 79000

[startup+1062.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 27346
/proc/meminfo: memFree=903344/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=1061.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 106135 30 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 79000

[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 27533
/proc/meminfo: memFree=903360/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76584 CPUtime=1121.65
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18853 0 0 0 112135 30 0 0 25 0 1 0 1022155866 78422016 18788 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19146 18788 73 172 0 18973 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 79000

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27721
/proc/meminfo: memFree=903196/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76728 CPUtime=1181.66
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18882 0 0 0 118136 30 0 0 25 0 1 0 1022155866 78569472 18817 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19182 18817 73 172 0 19009 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 79144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27722
/proc/meminfo: memFree=903136/2074464 swapFree=1953004/1959888
[pid=23943] ppid=23941 vsize=2416 CPUtime=0.72
/proc/23943/stat : 23943 (SatELiteGTI) S 23941 23943 9090 0 -1 4194304 387 3001 0 0 0 0 71 1 15 0 1 0 1022155794 2473984 278 4294967295 134512640 135169312 3214953808 3214950024 3085184750 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23943/statm: 604 278 235 161 0 43 0
[pid=23949] ppid=23943 vsize=76728 CPUtime=1199.36
/proc/23949/stat : 23949 (minisat_static) R 23943 23943 9090 0 -1 4202496 18882 0 0 0 119906 30 0 0 25 0 1 0 1022155866 78569472 18817 4294967295 134512640 135215339 3220611856 3220610144 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23949/statm: 19182 18817 73 172 0 19009 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 79144

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.77
CPU system time (s): 0.32
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 79144

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

runsolver used 0.03 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi19 at 2009-05-17 18:09:14
IDJOB=1821886
IDBENCH=71699
IDSOLVER=657
FILE ID=tipi19/1821886-1242576554
PBS_JOBID=
Free space on /tmp= 8803 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821886-1242576554/watcher-1821886-1242576554 -o /tmp/evaluation-result-1821886-1242576554/solver-1821886-1242576554 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821886-1242576554.cnf

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

MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED= 89410048

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        979892 kB
Buffers:         48844 kB
Cached:         927668 kB
SwapCached:       2904 kB
Active:         193324 kB
Inactive:       792580 kB
HighTotal:     1178688 kB
HighFree:       357508 kB
LowTotal:       895776 kB
LowFree:        622384 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            3644 kB
Writeback:           0 kB
AnonPages:        8752 kB
Mapped:           3192 kB
Slab:            99576 kB
PageTables:        468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87776 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8803 MiB
End job on tipi19 at 2009-05-17 18:29:15