Trace number 1821887

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 r-2009-03-18? (TO) 1200 1199.93

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.63	c |         0 |   76060   260188 |      --       0       --      -- |     --   | -1881/-2084
0.62/0.63	c ==============================================================================
0.62/0.63	c Result  :   #vars: 12369   #clauses: 76060   #literals: 260188
0.62/0.63	c CPU time:   0.62 s
0.62/0.63	c ==============================================================================
0.72/0.72	c This is MiniSat 2.0 beta
0.72/0.72	c WARNING: for repeatability, setting FPU to use double precision
0.72/0.72	c ============================[ Problem Statistics ]=============================
0.72/0.72	c |                                                                             |
0.72/0.72	c |  Number of variables:  12369                                                |
0.72/0.72	c |  Number of clauses:    76060                                                |
0.72/0.77	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/1.00	c |       512 |   12338    75675   258893 |    25353      472      8 |  0.251 % |
1.13/1.17	c |      1024 |   12337    75675   258893 |    25353      983      8 |  0.259 % |
1.22/1.30	c |      1536 |   12333    75667   258869 |    25353     1490     10 |  0.299 % |
1.82/1.82	c |      2562 |   12314    75264   257464 |    25353     2426     10 |  0.445 % |
2.12/2.18	c |      3074 |   12301    75094   256881 |    25353     2908      9 |  0.550 % |
2.23/2.29	c |      3587 |   12299    75094   256881 |    25353     3419      9 |  0.566 % |
2.42/2.47	c |      4612 |   12293    74971   256470 |    25353     4420      9 |  0.614 % |
2.61/2.70	c |      6667 |   12282    74908   256259 |    25353     6461     10 |  0.703 % |
2.81/2.89	c |      7179 |   12250    74492   254821 |    25353     6911     10 |  1.027 % |
3.11/3.11	c |      7691 |   12232    74191   253795 |    25353     7381     10 |  1.108 % |
3.41/3.44	c |      8718 |   12210    74012   253195 |    25353     8362     10 |  1.552 % |
3.61/3.61	c |      9230 |   12167    73467   251342 |    25353     8831     10 |  1.633 % |
3.91/3.93	c |      9742 |   12163    73393   251102 |    25353     9326     11 |  1.665 % |
4.21/4.21	c |     10767 |   12147    73369   251027 | 2147483647    10329     10 |  1.795 % |
4.90/4.96	c |     12815 |   12129    73037   248198 | 2147483647    12247     10 |  1.940 % |
6.30/6.37	c |     16912 |   12079    72671   247003 | 2147483647    16160     12 |  2.345 % |
6.50/6.53	c |     17424 |   12077    72627   246870 | 2147483647    16551     12 |  2.361 % |
6.70/6.73	c |     17937 |   12068    72579   246717 | 2147483647    16682     11 |  2.434 % |
7.10/7.15	c |     18962 |   12063    72579   246717 | 2147483647    17702     11 |  2.474 % |
7.40/7.43	c |     19474 |   12055    72554   246641 | 2147483647    17995     11 |  2.539 % |
7.60/7.61	c |     19986 |   12051    72460   246319 | 2147483647    18468     12 |  2.571 % |
7.91/7.95	c |     21010 |   12042    72424   246206 | 2147483647    19462     12 |  2.644 % |
8.71/8.74	c |     23059 |   12023    72333   245911 | 2147483647    21397     13 |  2.797 % |
8.91/8.99	c |     23571 |   12016    72252   245659 | 2147483647    21738     13 |  2.862 % |
9.11/9.19	c |     24084 |   12010    72252   245659 | 2147483647    22246     13 |  2.903 % |
9.61/9.66	c |     25108 |   11999    72131   245268 | 2147483647    23159     13 |  2.991 % |
9.81/9.87	c |     25620 |   11994    72131   245268 | 2147483647    23666     13 |  3.032 % |
9.91/10.00	c |     26134 |   11994    72131   245268 | 2147483647    24180     13 |  3.032 % |
10.21/10.28	c |     27158 |   11993    72092   245144 | 2147483647    25189     13 |  3.040 % |
11.01/11.09	c |     29206 |   11985    72041   244969 | 2147483647    27190     14 |  3.105 % |
12.41/12.43	c |     33302 |   11964    71878   244426 | 2147483647    31215     15 |  3.274 % |
15.71/15.73	c |     41494 |   11938    71613   243565 | 2147483647    39081     16 |  3.485 % |
15.91/15.93	c |     42006 |   11938    71613   243565 | 2147483647    39593     17 |  3.485 % |
16.11/16.16	c |     42518 |   11935    71613   243565 | 2147483647    40102     17 |  3.509 % |
16.61/16.65	c |     43544 |   11925    71569   243422 | 2147483647    41071     17 |  3.646 % |
16.81/16.85	c |     44057 |   11922    71569   243422 | 2147483647    41583     17 |  3.654 % |
17.01/17.11	c |     44569 |   11902    71395   242874 | 2147483647    42055     17 |  3.816 % |
17.61/17.62	c |     45593 |   11900    71395   242874 | 2147483647    43079     17 |  3.816 % |
18.51/18.56	c |     47641 |   11889    71293   242552 | 2147483647    45101     18 |  3.881 % |
18.71/18.76	c |     48153 |   11888    71293   242552 | 2147483647    45612     18 |  3.889 % |
18.91/18.92	c |     48665 |   11888    71293   242552 | 2147483647    46124     19 |  3.889 % |
19.21/19.23	c |     49693 |   11885    71260   242447 | 2147483647    47143     19 |  3.913 % |
19.41/19.47	c |     50205 |   11883    71260   242447 | 2147483647    47653     19 |  3.929 % |
19.61/19.62	c |     50717 |   11883    71260   242447 | 2147483647    48165     19 |  3.929 % |
20.01/20.05	c |     51742 |   11876    71204   242273 | 2147483647    49174     20 |  3.986 % |
20.91/20.93	c |     53790 |   11864    71204   242273 | 2147483647    51213     21 |  4.083 % |
22.51/22.58	c |     57886 |   11858    71044   241765 | 2147483647    55185     21 |  4.131 % |
22.71/22.81	c |     58399 |   11856    71044   241765 | 2147483647    55696     21 |  4.148 % |
23.01/23.05	c |     58911 |   11854    71044   241765 | 2147483647    56206     21 |  4.164 % |
23.51/23.58	c |     59935 |   11850    70873   241194 | 2147483647    57202     22 |  4.196 % |
23.71/23.78	c |     60447 |   11849    70873   241194 | 2147483647    57713     22 |  4.204 % |
24.11/24.17	c |     60959 |   11846    70873   241194 | 2147483647    58222     22 |  4.228 % |
24.61/24.64	c |     61983 |   11839    70873   241194 | 2147483647    59243     22 |  4.285 % |
25.51/25.58	c |     64031 |   11833    70730   240726 | 2147483647    61265     22 |  4.333 % |
25.81/25.86	c |     64543 |   11831    70730   240726 | 2147483647    61775     22 |  4.350 % |
26.01/26.07	c |     65056 |   11831    70730   240726 | 2147483647    62288     23 |  4.350 % |
26.41/26.49	c |     66083 |   11823    70730   240726 | 2147483647    63310     23 |  4.414 % |
26.71/26.71	c |     66595 |   11820    70730   240726 | 2147483647    63820     24 |  4.439 % |
26.81/26.87	c |     67108 |   11820    70730   240726 | 2147483647    64333     24 |  4.439 % |
27.31/27.37	c |     68132 |   11817    70473   239837 | 2147483647    65324     24 |  4.463 % |
28.41/28.50	c |     70180 |   11807    70473   239837 | 2147483647    67363     24 |  4.560 % |
30.31/30.41	c |     74277 |   11786    70310   239313 | 2147483647    71413     26 |  4.713 % |
33.81/33.86	c |     82469 |   11782    70167   238841 | 2147483647    79543     27 |  4.746 % |
42.61/42.70	c |     98854 |   11742    69866   237867 | 2147483647    95827     33 |  5.110 % |
42.91/42.99	c |     99366 |   11736    69749   237486 | 2147483647    96331     33 |  5.118 % |
43.31/43.37	c |     99880 |   11735    69749   237486 | 2147483647    96844     33 |  5.126 % |
44.01/44.05	c |    100904 |   11732    69749   237486 |    96964    97865     33 |  5.150 % |
44.51/44.54	c |    101417 |   11731    69749   237486 |    96964    88591     35 |  5.158 % |
44.81/44.88	c |    101929 |   11731    69749   237486 |    96964    89103     35 |  5.158 % |
45.41/45.43	c |    102954 |   11730    69749   237486 |    96964    90127     35 |  5.182 % |
46.51/46.57	c |    105003 |   11730    69749   237486 |    96964    92175     35 |  5.215 % |
46.81/46.82	c |    105515 |   11729    69749   237486 |    96964    92687     35 |  5.215 % |
47.01/47.11	c |    106027 |   11729    69749   237486 |    96964    93199     35 |  5.215 % |
47.41/47.49	c |    107053 |   11724    69635   237110 |    96964    94190     36 |  5.215 % |
47.81/47.82	c |    107565 |   11724    69635   237110 |    96964    94702     36 |  5.215 % |
48.21/48.22	c |    108078 |   11724    69635   237110 |    96964    95215     36 |  5.215 % |
48.71/48.75	c |    109103 |   11724    69635   237110 |    96964    96240     37 |  5.215 % |
50.11/50.16	c |    111154 |   11721    69635   237110 |    97137    88481     38 |  5.239 % |
52.61/52.66	c |    115250 |   11721    69635   237110 |    97137    92577     38 |  5.239 % |
52.91/52.97	c |    115764 |   11720    69605   237010 |    97137    93085     38 |  5.271 % |
53.31/53.36	c |    116279 |   11717    69605   237010 |    97137    93600     38 |  5.271 % |
54.01/54.04	c |    117304 |   11716    69605   237010 |    97137    94624     39 |  5.280 % |
54.31/54.40	c |    117816 |   11716    69605   237010 |    97137    95136     38 |  5.279 % |
54.61/54.70	c |    118328 |   11715    69605   237010 |    97137    95647     39 |  5.287 % |
55.31/55.35	c |    119352 |   11714    69605   237010 |    97137    96670     39 |  5.296 % |
56.61/56.71	c |    121400 |   11709    69605   237010 | 2147483647    98715     40 |  5.336 % |
56.91/56.94	c |    121913 |   11709    69605   237010 | 2147483647    99228     40 |  5.336 % |
57.11/57.21	c |    122425 |   11709    69605   237010 | 2147483647    99740     40 |  5.336 % |
57.71/57.80	c |    123450 |   11709    69605   237010 | 2147483647   100764     40 |  5.344 % |
58.11/58.18	c |    123962 |   11707    69485   236626 | 2147483647   101244     40 |  5.352 % |
58.51/58.57	c |    124475 |   11706    69485   236626 | 2147483647   101756     40 |  5.360 % |
59.31/59.32	c |    125500 |   11706    69485   236626 | 2147483647   102781     40 |  5.360 % |
60.21/60.29	c |    127548 |   11706    69485   236626 | 2147483647   104829     41 |  5.360 % |
62.91/62.92	c |    131645 |   11704    69485   236626 |   107281   108924     43 |  5.376 % |
67.91/67.95	c |    139839 |   11702    69485   236626 |   107281   101282     47 |  5.393 % |
68.21/68.26	c |    140351 |   11701    69441   236486 |   101436   101786     47 |  5.401 % |
68.51/68.60	c |    140863 |   11701    69441   236486 |   101436   102298     47 |  5.401 % |
69.21/69.28	c |    141887 |   11701    69441   236486 |   101436    87154     47 |  5.401 % |
69.61/69.63	c |    142399 |   11701    69441   236486 |   101436    87666     47 |  5.401 % |
69.91/70.01	c |    142912 |   11698    69441   236486 |   101436    88176     47 |  5.425 % |
70.61/70.63	c |    143936 |   11698    69441   236486 |   101436    89200     47 |  5.425 % |
72.01/72.10	c |    145985 |   11695    69441   236486 |   101436    91246     48 |  5.449 % |
72.41/72.48	c |    146497 |   11695    69441   236486 |   101436    91758     48 |  5.449 % |
72.71/72.77	c |    147010 |   11695    69441   236486 |   101436    92271     48 |  5.449 % |
73.21/73.27	c |    148034 |   11695    69441   236486 |   101436    93295     49 |  5.449 % |
73.51/73.60	c |    148549 |   11695    69441   236486 |   101436    93810     49 |  5.449 % |
73.91/73.92	c |    149061 |   11693    69441   236486 |   101436    94320     49 |  5.465 % |
74.51/74.51	c |    150085 |   11693    69441   236486 |    95259    95342     50 |  5.481 % |
75.51/75.56	c |    152133 |   11690    69441   236486 |    95259    97389     51 |  5.490 % |
77.81/77.87	c |    156230 |   11689    69338   236154 |    95259    83342     48 |  5.506 % |
78.21/78.25	c |    156742 |   11688    69338   236154 |    95259    83854     48 |  5.506 % |
78.51/78.60	c |    157255 |   11685    69338   236154 |    95259    84364     48 |  5.538 % |
79.11/79.15	c |    158279 |   11684    69338   236154 |    95259    85388     48 |  5.538 % |
79.51/79.56	c |    158791 |   11684    69338   236154 |    95259    85900     48 |  5.538 % |
79.71/79.75	c |    159303 |   11684    69338   236154 |    95259    86412     48 |  5.538 % |
80.41/80.42	c |    160327 |   11684    69338   236154 |    87111    87436     48 |  5.538 % |
81.71/81.71	c |    162375 |   11684    69338   236154 |    87111    89484     49 |  5.538 % |
82.21/82.22	c |    162888 |   11684    69338   236154 |    87111    78107     49 |  5.538 % |
82.51/82.57	c |    163401 |   11684    69338   236154 |    87111    78620     50 |  5.538 % |
83.11/83.19	c |    164425 |   11683    69304   236048 |    87111    79633     50 |  5.546 % |
83.51/83.59	c |    164937 |   11682    69304   236048 |    87111    80144     50 |  5.554 % |
83.91/83.96	c |    165450 |   11681    69304   236048 |    87111    80656     50 |  5.562 % |
84.41/84.42	c |    166476 |   11681    69304   236048 |    87111    81682     51 |  5.562 % |
85.71/85.73	c |    168525 |   11681    69304   236048 |    87111    83731     51 |  5.562 % |
88.41/88.46	c |    172623 |   11675    69304   236048 |    85205    77441     53 |  5.619 % |
93.41/93.47	c |    180815 |   11671    69205   235736 |    84794    85607     56 |  5.643 % |
102.11/102.15	c |    197200 |   11667    69188   235682 | 2147483647    87348     58 |  5.676 % |
123.11/123.19	c |    229968 |   11640    69032   235187 |    91812    83981     56 |  5.894 % |
123.31/123.40	c |    230480 |   11640    69032   235187 |    84015    84493     56 |  5.894 % |
123.71/123.76	c |    230992 |   11640    69032   235187 |    84015    85005     56 |  5.894 % |
124.41/124.43	c |    232016 |   11638    69032   235187 |    84015    77527     54 |  5.910 % |
124.81/124.85	c |    232529 |   11638    69032   235187 |    84015    78040     54 |  5.910 % |
125.11/125.16	c |    233043 |   11638    69032   235187 |    84015    78553     54 |  5.918 % |
125.71/125.77	c |    234067 |   11637    69032   235187 |    84015    79577     54 |  5.918 % |
127.11/127.13	c |    236118 |   11637    68952   234933 |    84015    81609     54 |  5.926 % |
127.51/127.57	c |    236631 |   11635    68952   234933 |    84015    82121     54 |  5.934 % |
127.91/127.94	c |    237143 |   11635    68952   234933 |    84015    82633     54 |  5.934 % |
128.72/128.78	c |    238168 |   11635    68952   234933 |    84015    83658     55 |  5.934 % |
129.01/129.05	c |    238681 |   11635    68952   234933 |    84015    84171     55 |  5.934 % |
129.41/129.42	c |    239194 |   11635    68952   234933 |    84015    84684     55 |  5.934 % |
130.11/130.16	c |    240218 |   11635    68952   234933 |    76528    76744     52 |  5.934 % |
131.41/131.42	c |    242266 |   11635    68952   234933 |    76528    70946     50 |  5.934 % |
133.91/134.00	c |    246365 |   11631    68900   234770 |    76528    75037     52 |  5.967 % |
134.22/134.29	c |    246877 |   11631    68900   234770 |    76528    75549     52 |  5.967 % |
134.51/134.58	c |    247390 |   11629    68900   234770 |    76528    76061     52 |  5.983 % |
135.01/135.03	c |    248414 |   11629    68900   234770 |    76528    77085     52 |  5.983 % |
135.21/135.30	c |    248928 |   11629    68900   234770 |    76528    77599     52 |  5.983 % |
135.61/135.67	c |    249442 |   11629    68900   234770 |    76528    70354     50 |  5.983 % |
136.11/136.20	c |    250466 |   11623    68900   234770 | 2147483647    71372     50 |  6.055 % |
137.01/137.08	c |    252515 |   11620    68900   234770 | 2147483647    73419     51 |  6.072 % |
137.41/137.42	c |    253027 |   11619    68900   234770 | 2147483647    73930     51 |  6.080 % |
137.71/137.75	c |    253540 |   11619    68900   234770 | 2147483647    74443     51 |  6.080 % |
138.31/138.33	c |    254565 |   11618    68900   234770 | 2147483647    75467     51 |  6.088 % |
138.62/138.65	c |    255077 |   11618    68900   234770 | 2147483647    75979     51 |  6.088 % |
138.91/138.96	c |    255590 |   11616    68900   234770 | 2147483647    76491     51 |  6.104 % |
139.62/139.70	c |    256614 |   11614    68900   234770 | 2147483647    77513     52 |  6.120 % |
140.82/140.85	c |    258664 |   11614    68900   234770 | 2147483647    79563     53 |  6.120 % |
143.22/143.30	c |    262760 |   11611    68738   234249 |    80887    83647     53 |  6.128 % |
148.22/148.28	c |    270952 |   11602    68672   234042 |    78178    79117     50 |  6.201 % |
148.72/148.75	c |    271467 |   11602    68672   234042 |    78178    71258     48 |  6.201 % |
149.12/149.21	c |    271981 |   11602    68672   234042 |    78178    71772     48 |  6.201 % |
149.72/149.78	c |    273005 |   11602    68672   234042 |    78178    72796     48 |  6.201 % |
150.02/150.08	c |    273518 |   11601    68672   234042 |    78178    73308     48 |  6.209 % |
150.42/150.45	c |    274031 |   11601    68672   234042 |    78178    73821     49 |  6.209 % |
150.92/150.96	c |    275055 |   11601    68672   234042 |    78178    74845     49 |  6.209 % |
152.12/152.12	c |    277104 |   11601    68672   234042 |    78178    76894     50 |  6.209 % |
152.42/152.43	c |    277617 |   11601    68672   234042 |    78178    77407     50 |  6.209 % |
152.62/152.69	c |    278130 |   11601    68672   234042 |    78178    77920     50 |  6.209 % |
153.42/153.42	c |    279154 |   11600    68672   234042 |    78178    78940     50 |  6.258 % |
153.72/153.78	c |    279667 |   11600    68672   234042 |    78178    79453     50 |  6.258 % |
154.02/154.11	c |    280179 |   11600    68672   234042 | 2147483647    72020     50 |  6.258 % |
154.42/154.45	c |    281204 |   11600    68672   234042 | 2147483647    73045     50 |  6.258 % |
155.92/155.92	c |    283254 |   11595    68629   233907 | 2147483647    75088     51 |  6.258 % |
158.22/158.27	c |    287350 |   11595    68629   233907 | 2147483647    79184     51 |  6.258 % |
158.52/158.58	c |    287867 |   11595    68629   233907 | 2147483647    79701     51 |  6.258 % |
158.92/158.92	c |    288381 |   11593    68629   233907 | 2147483647    80213     51 |  6.274 % |
159.42/159.51	c |    289405 |   11593    68629   233907 | 2147483647    81237     51 |  6.274 % |
159.82/159.85	c |    289919 |   11593    68629   233907 | 2147483647    81751     51 |  6.274 % |
160.12/160.18	c |    290432 |   11593    68629   233907 | 2147483647    82264     52 |  6.274 % |
160.82/160.88	c |    291456 |   11591    68617   233872 | 2147483647    83285     51 |  6.298 % |
162.22/162.26	c |    293507 |   11590    68617   233872 | 2147483647    85336     53 |  6.298 % |
162.62/162.63	c |    294019 |   11590    68617   233872 | 2147483647    85848     52 |  6.298 % |
162.92/162.97	c |    294532 |   11590    68617   233872 | 2147483647    86361     53 |  6.298 % |
163.52/163.52	c |    295556 |   11590    68617   233872 | 2147483647    87385     53 |  6.298 % |
163.82/163.85	c |    296068 |   11590    68617   233872 | 2147483647    87897     53 |  6.298 % |
164.12/164.18	c |    296580 |   11590    68617   233872 | 2147483647    88409     54 |  6.298 % |
165.02/165.06	c |    297606 |   11590    68617   233872 | 2147483647    89435     54 |  6.298 % |
165.92/165.92	c |    299655 |   11589    68617   233872 | 2147483647    91483     53 |  6.306 % |
168.42/168.43	c |    303752 |   11583    68547   233648 | 2147483647    94470     54 |  6.355 % |
173.72/173.78	c |    311944 |   11577    68547   233648 | 2147483647   102657     55 |  6.419 % |
186.12/186.17	c |    328329 |   11570    68466   233397 |   110702    96934     56 |  6.460 % |
186.52/186.60	c |    328841 |   11570    68466   233397 |   110702    97446     56 |  6.460 % |
186.92/186.94	c |    329353 |   11570    68466   233397 |   110702    97958     56 |  6.460 % |
187.72/187.81	c |    330377 |   11569    68433   233293 |    98606    98980     56 |  6.468 % |
188.02/188.11	c |    330890 |   11569    68433   233293 |    98606    99493     56 |  6.468 % |
188.62/188.69	c |    331404 |   11569    68433   233293 |    98606    80380     54 |  6.468 % |
189.32/189.32	c |    332429 |   11569    68433   233293 |    98606    81405     54 |  6.468 % |
190.72/190.74	c |    334478 |   11568    68433   233293 |    98606    83453     54 |  6.476 % |
191.12/191.14	c |    334990 |   11567    68433   233293 |    98606    83964     54 |  6.484 % |
191.42/191.46	c |    335503 |   11567    68433   233293 |    98606    84477     54 |  6.484 % |
192.12/192.14	c |    336527 |   11567    68433   233293 |    98606    85501     54 |  6.484 % |
192.52/192.56	c |    337039 |   11567    68433   233293 |    98606    86013     55 |  6.484 % |
192.82/192.83	c |    337551 |   11566    68433   233293 |    98606    86524     55 |  6.492 % |
193.42/193.48	c |    338576 |   11565    68433   233293 |    98606    87548     55 |  6.500 % |
194.82/194.82	c |    340625 |   11565    68433   233293 |    88972    89597     55 |  6.500 % |
197.72/197.79	c |    344722 |   11565    68433   233293 |    88972    78337     55 |  6.500 % |
198.12/198.14	c |    345236 |   11565    68433   233293 |    88972    78851     55 |  6.500 % |
198.52/198.55	c |    345749 |   11565    68402   233194 |    88972    79359     55 |  6.500 % |
199.12/199.12	c |    346773 |   11565    68402   233194 |    88972    80383     55 |  6.500 % |
199.42/199.48	c |    347286 |   11565    68402   233194 |    88972    80896     55 |  6.500 % |
199.72/199.79	c |    347799 |   11565    68402   233194 |    88972    81409     55 |  6.500 % |
200.52/200.55	c |    348824 |   11565    68402   233194 |    88972    82433     55 |  6.508 % |
201.92/201.96	c |    350872 |   11564    68402   233194 |    83609    84481     55 |  6.508 % |
202.32/202.36	c |    351388 |   11564    68402   233194 |    83609    73984     55 |  6.508 % |
202.72/202.72	c |    351900 |   11564    68402   233194 |    83609    74496     56 |  6.508 % |
203.42/203.49	c |    352924 |   11564    68402   233194 |    83609    75520     56 |  6.508 % |
203.82/203.84	c |    353436 |   11564    68402   233194 |    83609    76032     56 |  6.508 % |
204.22/204.29	c |    353949 |   11564    68402   233194 |    83609    76545     56 |  6.508 % |
204.72/204.81	c |    354973 |   11564    68402   233194 |    83609    77569     56 |  6.508 % |
206.02/206.06	c |    357021 |   11564    68402   233194 |    83609    79617     56 |  6.508 % |
208.42/208.47	c |    361117 |   11564    68399   233186 |    82596    83713     56 |  6.508 % |
213.51/213.50	c |    369309 |   11564    68399   233186 |    82596    79872     54 |  6.508 % |
213.81/213.87	c |    369821 |   11564    68399   233186 |    82596    80384     54 |  6.508 % |
214.21/214.22	c |    370333 |   11564    68399   233186 |    80563    80896     54 |  6.508 % |
214.91/214.91	c |    371357 |   11564    68399   233186 |    80563    81920     54 |  6.508 % |
215.31/215.33	c |    371870 |   11564    68399   233186 |    80563    71303     50 |  6.508 % |
215.71/215.74	c |    372382 |   11564    68399   233186 |    80563    71815     50 |  6.508 % |
216.51/216.54	c |    373407 |   11563    68391   233162 |    80563    72837     50 |  6.516 % |
217.72/217.78	c |    375458 |   11562    68391   233162 |    80563    74887     51 |  6.524 % |
218.12/218.18	c |    375972 |   11562    68391   233162 |    80563    75401     50 |  6.524 % |
218.42/218.47	c |    376484 |   11562    68391   233162 |    80563    75913     50 |  6.524 % |
219.02/219.05	c |    377508 |   11562    68391   233162 |    80563    76937     50 |  6.525 % |
219.32/219.35	c |    378021 |   11562    68391   233162 |    80563    77450     50 |  6.524 % |
219.62/219.67	c |    378533 |   11562    68391   233162 |    80563    77962     50 |  6.524 % |
220.42/220.42	c |    379558 |   11562    68391   233162 |    80563    78987     50 |  6.524 % |
221.92/221.92	c |    381606 |   11562    68391   233162 |    79431    81035     51 |  6.525 % |
224.62/224.61	c |    385703 |   11562    68385   233144 |    79431    75342     50 |  6.524 % |
225.02/225.04	c |    386217 |   11562    68385   233144 |    79431    75856     50 |  6.524 % |
225.42/225.47	c |    386730 |   11562    68385   233144 |    79431    76369     50 |  6.525 % |
226.12/226.18	c |    387754 |   11562    68385   233144 |    79431    77393     50 |  6.525 % |
226.52/226.56	c |    388267 |   11562    68385   233144 |    79431    77906     51 |  6.524 % |
226.92/226.91	c |    388780 |   11562    68385   233144 |    79431    78418     51 |  6.533 % |
227.62/227.66	c |    389804 |   11562    68385   233144 |    79431    79442     51 |  6.532 % |
229.02/229.04	c |    391853 |   11562    68385   233144 |    79639    70547     48 |  6.549 % |
229.32/229.34	c |    392365 |   11560    68385   233144 |    79639    71059     48 |  6.549 % |
229.62/229.62	c |    392877 |   11559    68365   233084 |    79639    71569     48 |  6.549 % |
230.12/230.21	c |    393901 |   11559    68365   233084 |    79639    72593     49 |  6.549 % |
230.52/230.52	c |    394414 |   11559    68365   233084 |    79639    73106     49 |  6.549 % |
230.82/230.82	c |    394926 |   11559    68365   233084 |    79639    73618     49 |  6.549 % |
231.32/231.38	c |    395950 |   11559    68365   233084 |    79639    74642     49 |  6.549 % |
232.62/232.63	c |    397998 |   11559    68365   233084 |    79639    76690     50 |  6.549 % |
235.02/235.07	c |    402094 |   11557    68365   233084 |    78691    80784     51 |  6.565 % |
240.42/240.42	c |    410287 |   11556    68344   233018 |    76480    76767     51 |  6.573 % |
250.83/250.90	c |    426671 |   11548    68268   232758 |    74690    70972     51 |  6.646 % |
271.23/271.27	c |    459441 |   11528    68144   232365 |    94290    88790     47 |  6.799 % |
312.63/312.65	c |    524977 |   11507    67986   231864 |    81382    76983     45 |  6.969 % |
312.93/312.99	c |    525491 |   11507    67969   231807 |    81382    77497     45 |  6.969 % |
313.33/313.35	c |    526003 |   11507    67969   231807 |    81382    78009     45 |  6.969 % |
314.13/314.12	c |    527028 |   11506    67969   231807 |    81382    79033     45 |  6.977 % |
314.53/314.52	c |    527541 |   11504    67969   231807 |    81382    79544     45 |  6.993 % |
314.83/314.85	c |    528053 |   11504    67969   231807 |    81382    80056     46 |  6.993 % |
315.53/315.52	c |    529077 |   11501    67969   231807 |    81382    81078     46 |  7.026 % |
316.93/317.01	c |    531126 |   11501    67969   231807 |    82002    83127     47 |  7.026 % |
317.43/317.45	c |    531638 |   11501    67969   231807 |    82002    72711     42 |  7.026 % |
317.83/317.85	c |    532151 |   11501    67969   231807 |    82002    73224     42 |  7.026 % |
318.53/318.60	c |    533176 |   11499    67895   231570 |    82002    74236     43 |  7.034 % |
318.83/318.83	c |    533689 |   11499    67895   231570 |    82002    74749     42 |  7.034 % |
319.13/319.14	c |    534203 |   11499    67895   231570 |    82002    75263     42 |  7.034 % |
319.73/319.73	c |    535227 |   11499    67895   231570 |    82002    76287     43 |  7.034 % |
320.93/320.99	c |    537275 |   11496    67895   231570 |    82002    78333     44 |  7.058 % |
323.63/323.64	c |    541372 |   11496    67895   231570 | 2147483647    82430     47 |  7.058 % |
323.93/324.01	c |    541885 |   11496    67895   231570 | 2147483647    82943     47 |  7.058 % |
324.33/324.39	c |    542397 |   11493    67875   231512 | 2147483647    83450     47 |  7.082 % |
324.93/324.95	c |    543421 |   11492    67875   231512 | 2147483647    84473     47 |  7.090 % |
325.23/325.29	c |    543933 |   11492    67875   231512 | 2147483647    84985     47 |  7.090 % |
325.53/325.60	c |    544447 |   11492    67875   231512 | 2147483647    85499     48 |  7.090 % |
326.33/326.33	c |    545471 |   11492    67875   231512 | 2147483647    86523     48 |  7.090 % |
327.73/327.72	c |    547520 |   11492    67875   231512 | 2147483647    88571     50 |  7.099 % |
328.03/328.08	c |    548033 |   11491    67875   231512 | 2147483647    89084     50 |  7.098 % |
328.33/328.35	c |    548545 |   11491    67875   231512 | 2147483647    89596     50 |  7.098 % |
329.03/329.08	c |    549572 |   11491    67875   231512 | 2147483647    90623     50 |  7.099 % |
329.43/329.43	c |    550084 |   11491    67875   231512 |    91051    91135     50 |  7.098 % |
329.73/329.79	c |    550596 |   11491    67875   231512 |    91051    91647     50 |  7.099 % |
330.53/330.53	c |    551620 |   11491    67875   231512 |    91051    92671     50 |  7.099 % |
332.03/332.10	c |    553668 |   11490    67830   231374 |    91051    81631     48 |  7.106 % |
334.63/334.68	c |    557764 |   11486    67830   231374 |    91051    85724     50 |  7.163 % |
339.83/339.89	c |    565956 |   11486    67830   231374 |    87961    81346     55 |  7.163 % |
340.13/340.20	c |    566470 |   11483    67765   231162 |    87961    81855     55 |  7.163 % |
340.43/340.47	c |    566983 |   11483    67765   231162 |    87961    82368     55 |  7.163 % |
341.13/341.18	c |    568007 |   11483    67765   231162 |    87961    83392     55 |  7.163 % |
341.43/341.51	c |    568521 |   11483    67765   231162 |    87961    83906     55 |  7.163 % |
341.73/341.75	c |    569033 |   11483    67765   231162 |    87961    84418     55 |  7.163 % |
342.43/342.44	c |    570057 |   11483    67765   231162 |    85385    85442     56 |  7.163 % |
343.83/343.86	c |    572106 |   11483    67765   231162 |    85385    87490     56 |  7.171 % |
344.23/344.29	c |    572619 |   11483    67765   231162 |    85385    75229     58 |  7.171 % |
344.53/344.59	c |    573131 |   11482    67765   231162 |    85385    75741     57 |  7.171 % |
345.23/345.29	c |    574155 |   11480    67765   231162 |    85385    76763     58 |  7.187 % |
345.73/345.72	c |    574668 |   11480    67765   231162 |    85385    77276     58 |  7.187 % |
346.13/346.14	c |    575180 |   11480    67765   231162 |    85385    77788     58 |  7.187 % |
346.83/346.86	c |    576205 |   11480    67765   231162 |    85385    78813     58 |  7.187 % |
347.93/347.96	c |    578253 |   11480    67765   231162 |    85385    80861     58 |  7.187 % |
351.13/351.11	c |    582349 |   11479    67742   231090 |    82607    72448     56 |  7.196 % |
351.43/351.45	c |    582863 |   11479    67742   231090 |    82607    72962     56 |  7.196 % |
351.83/351.85	c |    583377 |   11479    67742   231090 |    82607    73476     56 |  7.196 % |
352.43/352.44	c |    584404 |   11478    67742   231090 |    82607    74502     56 |  7.204 % |
352.63/352.65	c |    584916 |   11478    67742   231090 |    82607    75014     56 |  7.203 % |
353.03/353.07	c |    585429 |   11478    67742   231090 |    82607    75527     56 |  7.203 % |
353.83/353.83	c |    586453 |   11478    67742   231090 |    82607    76551     56 |  7.204 % |
355.23/355.24	c |    588502 |   11475    67742   231090 |    82607    78598     56 |  7.228 % |
355.53/355.52	c |    589015 |   11474    67742   231090 |    82607    79110     56 |  7.268 % |
355.93/356.00	c |    589527 |   11470    67652   230789 |    82607    79615     56 |  7.268 % |
356.73/356.80	c |    590551 |   11470    67652   230789 |    80088    80639     57 |  7.268 % |
357.13/357.16	c |    591064 |   11470    67652   230789 |    80088    81152     57 |  7.268 % |
357.63/357.61	c |    591576 |   11470    67652   230789 |    80088    71508     53 |  7.268 % |
358.23/358.23	c |    592600 |   11470    67652   230789 |    80088    72532     53 |  7.268 % |
359.63/359.70	c |    594649 |   11469    67652   230789 |    80088    74580     53 |  7.276 % |
361.83/361.87	c |    598745 |   11468    67652   230789 |    80088    78675     54 |  7.284 % |
367.33/367.34	c |    606937 |   11468    67652   230789 |    79931    75140     53 |  7.284 % |
378.73/378.80	c |    623321 |   11462    67601   230629 |    75785    79103     51 |  7.333 % |
379.23/379.25	c |    623833 |   11462    67601   230629 |    75785    66470     50 |  7.333 % |
379.54/379.54	c |    624345 |   11462    67601   230629 |    75785    66982     50 |  7.333 % |
380.33/380.32	c |    625370 |   11462    67601   230629 |    75785    68006     50 |  7.341 % |
380.64/380.63	c |    625882 |   11461    67601   230629 |    75785    68518     50 |  7.341 % |
380.93/380.93	c |    626395 |   11460    67601   230629 |    75785    69030     50 |  7.349 % |
381.33/381.38	c |    627419 |   11460    67601   230629 |    75785    70054     50 |  7.349 % |
382.23/382.28	c |    629468 |   11460    67601   230629 |    75785    72103     49 |  7.349 % |
382.63/382.61	c |    629981 |   11460    67583   230569 |    75785    72615     49 |  7.349 % |
382.84/382.85	c |    630495 |   11459    67583   230569 | 2147483647    73128     49 |  7.357 % |
383.53/383.56	c |    631521 |   11458    67583   230569 | 2147483647    74153     49 |  7.365 % |
384.03/384.07	c |    632033 |   11456    67583   230569 | 2147483647    74663     50 |  7.382 % |
384.43/384.51	c |    632545 |   11456    67583   230569 | 2147483647    75175     50 |  7.382 % |
385.23/385.28	c |    633570 |   11456    67583   230569 | 2147483647    76200     50 |  7.382 % |
386.63/386.62	c |    635619 |   11456    67583   230569 | 2147483647    78249     50 |  7.382 % |
389.73/389.81	c |    639716 |   11456    67583   230569 | 2147483647    82346     50 |  7.382 % |
390.33/390.32	c |    640228 |   11455    67551   230466 |    82632    82856     50 |  7.390 % |
390.63/390.65	c |    640740 |   11455    67551   230466 |    82632    83368     50 |  7.389 % |
391.43/391.41	c |    641765 |   11455    67551   230466 |    82632    84393     50 |  7.389 % |
391.83/391.88	c |    642277 |   11455    67551   230466 |    82632    73006     47 |  7.390 % |
392.23/392.30	c |    642790 |   11455    67551   230466 |    82632    73519     47 |  7.389 % |
392.93/392.94	c |    643814 |   11455    67551   230466 |    82632    74543     48 |  7.389 % |
394.33/394.38	c |    645862 |   11455    67551   230466 |    82632    76590     49 |  7.398 % |
394.73/394.71	c |    646374 |   11455    67551   230466 |    82632    77102     49 |  7.398 % |
395.03/395.09	c |    646886 |   11454    67551   230466 |    82632    77614     49 |  7.398 % |
395.83/395.90	c |    647910 |   11454    67551   230466 |    82632    78638     49 |  7.398 % |
396.33/396.33	c |    648425 |   11454    67551   230466 |    82632    79153     49 |  7.398 % |
396.43/396.44	c |    648937 |   11454    67551   230466 |    82632    79665     49 |  7.398 % |
397.14/397.20	c |    649962 |   11449    67551   230466 |    82632    80687     49 |  7.438 % |
398.13/398.14	c |    652010 |   11449    67492   230272 |    79902    81912     50 |  7.438 % |
400.63/400.66	c |    656107 |   11447    67492   230272 |    79902    75967     46 |  7.454 % |
406.34/406.33	c |    664300 |   11447    67492   230272 | 2147483647    84160     45 |  7.454 % |
406.84/406.85	c |    664813 |   11447    67475   230218 | 2147483647    84671     45 |  7.454 % |
407.24/407.22	c |    665325 |   11447    67475   230218 | 2147483647    85183     45 |  7.454 % |
408.04/408.05	c |    666353 |   11447    67475   230218 | 2147483647    86211     45 |  7.454 % |
408.34/408.41	c |    666865 |   11447    67475   230218 | 2147483647    86723     45 |  7.454 % |
408.74/408.81	c |    667377 |   11447    67475   230218 | 2147483647    87235     45 |  7.454 % |
409.44/409.50	c |    668401 |   11447    67475   230218 | 2147483647    88259     45 |  7.454 % |
410.54/410.60	c |    670449 |   11447    67475   230218 |    89859    90307     46 |  7.454 % |
410.94/411.01	c |    670962 |   11446    67475   230218 |    89859    90819     46 |  7.462 % |
411.54/411.60	c |    671474 |   11446    67475   230218 |    89859    80962     43 |  7.462 % |
412.24/412.23	c |    672499 |   11446    67475   230218 |    89859    81987     44 |  7.462 % |
412.44/412.47	c |    673012 |   11446    67475   230218 |    89859    82500     43 |  7.462 % |
412.84/412.84	c |    673525 |   11446    67475   230218 |    89859    83013     44 |  7.462 % |
413.44/413.52	c |    674549 |   11446    67467   230194 |    89859    84035     44 |  7.462 % |
414.94/414.95	c |    676598 |   11445    67467   230194 |    89859    86082     45 |  7.479 % |
418.74/418.73	c |    680695 |   11445    67467   230194 |    89484    90178     44 |  7.487 % |
419.04/419.06	c |    681207 |   11445    67467   230194 |    89484    90690     44 |  7.487 % |
419.54/419.52	c |    681719 |   11443    67467   230194 |    89484    77284     43 |  7.486 % |
420.04/420.11	c |    682743 |   11443    67467   230194 |    89484    78308     44 |  7.486 % |
420.44/420.42	c |    683256 |   11443    67446   230127 |    89484    78820     44 |  7.486 % |
420.74/420.78	c |    683768 |   11443    67446   230127 |    89484    79332     44 |  7.487 % |
421.44/421.43	c |    684793 |   11443    67446   230127 |    89484    80357     44 |  7.487 % |
422.84/422.85	c |    686841 |   11441    67446   230127 |    89484    82403     44 |  7.503 % |
423.14/423.19	c |    687353 |   11441    67446   230127 |    89484    82915     44 |  7.503 % |
423.44/423.51	c |    687867 |   11441    67446   230127 |    89484    83429     44 |  7.503 % |
424.24/424.26	c |    688891 |   11441    67446   230127 |    89484    84453     44 |  7.503 % |
424.64/424.71	c |    689405 |   11440    67446   230127 |    89484    84966     45 |  7.511 % |
425.04/425.04	c |    689918 |   11440    67446   230127 |    89484    85479     45 |  7.511 % |
425.74/425.79	c |    690943 |   11440    67446   230127 |    85561    86504     45 |  7.511 % |
427.34/427.33	c |    692991 |   11439    67426   230057 |    85561    76076     42 |  7.519 % |
430.34/430.32	c |    697088 |   11438    67426   230057 |    85561    80172     42 |  7.527 % |
435.64/435.71	c |    705280 |   11437    67391   229940 |    83085    76049     42 |  7.535 % |
447.04/447.03	c |    721665 |   11433    67369   229868 |    78243    79907     44 |  7.567 % |
469.64/469.69	c |    754437 |   11423    67277   229573 |    88906    80918     45 |  7.648 % |
469.94/469.96	c |    754951 |   11423    67277   229573 |    88906    81432     45 |  7.648 % |
470.34/470.37	c |    755464 |   11422    67277   229573 |    88906    81944     45 |  7.656 % |
470.64/470.67	c |    756490 |   11421    67277   229573 |    88906    82969     45 |  7.664 % |
471.04/471.08	c |    757002 |   11421    67277   229573 |    88906    83481     44 |  7.664 % |
471.54/471.53	c |    757515 |   11418    67277   229573 |    88906    83993     45 |  7.689 % |
472.34/472.36	c |    758539 |   11418    67277   229573 |    88906    85017     45 |  7.689 % |
473.94/473.91	c |    760587 |   11418    67277   229573 |    86481    87065     45 |  7.689 % |
474.34/474.35	c |    761100 |   11418    67277   229573 |    86481    87578     45 |  7.689 % |
474.84/474.85	c |    761612 |   11418    67277   229573 |    86481    76468     43 |  7.689 % |
475.54/475.57	c |    762640 |   11418    67277   229573 |    86481    77496     43 |  7.689 % |
475.94/475.93	c |    763152 |   11418    67244   229464 |    86481    77996     44 |  7.689 % |
476.14/476.20	c |    763664 |   11418    67244   229464 |    86481    78508     44 |  7.689 % |
476.34/476.38	c |    764689 |   11418    67244   229464 |    86481    79533     44 |  7.689 % |
477.24/477.23	c |    766738 |   11418    67244   229464 |    86481    81582     44 |  7.689 % |
479.64/479.70	c |    770836 |   11417    67244   229464 | 2147483647    85679     45 |  7.697 % |
480.04/480.06	c |    771348 |   11417    67244   229464 | 2147483647    86191     45 |  7.697 % |
480.44/480.41	c |    771863 |   11416    67244   229464 | 2147483647    86705     45 |  7.705 % |
481.04/481.09	c |    772888 |   11416    67244   229464 | 2147483647    87730     45 |  7.705 % |
481.54/481.58	c |    773402 |   11416    67228   229410 | 2147483647    88243     45 |  7.705 % |
481.94/481.95	c |    773915 |   11415    67228   229410 | 2147483647    88755     46 |  7.713 % |
482.74/482.74	c |    774939 |   11415    67228   229410 | 2147483647    89779     46 |  7.713 % |
484.14/484.12	c |    776988 |   11414    67228   229410 | 2147483647    91827     47 |  7.721 % |
484.44/484.47	c |    777503 |   11414    67228   229410 | 2147483647    92342     47 |  7.721 % |
484.74/484.81	c |    778016 |   11414    67228   229410 | 2147483647    92855     47 |  7.721 % |
485.44/485.47	c |    779040 |   11414    67228   229410 | 2147483647    93879     47 |  7.721 % |
485.84/485.90	c |    779554 |   11414    67228   229410 | 2147483647    94393     47 |  7.721 % |
486.34/486.33	c |    780066 |   11414    67228   229410 |    94840    94905     47 |  7.721 % |
487.14/487.13	c |    781090 |   11414    67228   229410 |    94840    95929     47 |  7.721 % |
488.64/488.66	c |    783138 |   11414    67228   229410 |    94840    80847     44 |  7.721 % |
491.14/491.19	c |    787234 |   11414    67228   229410 |    94840    84943     45 |  7.721 % |
496.94/496.99	c |    795426 |   11413    67210   229353 |    87709    78365     47 |  7.729 % |
497.44/497.42	c |    795938 |   11413    67210   229353 |    87709    78877     47 |  7.729 % |
497.84/497.85	c |    796450 |   11413    67210   229353 |    87709    79389     47 |  7.729 % |
498.64/498.66	c |    797474 |   11413    67210   229353 |    87709    80413     47 |  7.729 % |
499.24/499.23	c |    797987 |   11413    67202   229329 |    87709    80925     47 |  7.729 % |
499.54/499.58	c |    798501 |   11413    67202   229329 |    87709    81439     47 |  7.729 % |
500.34/500.33	c |    799525 |   11412    67202   229329 |    87709    82462     47 |  7.737 % |
501.94/501.97	c |    801576 |   11412    67202   229329 |    82939    84513     47 |  7.737 % |
502.44/502.44	c |    802089 |   11412    67202   229329 |    82939    71053     45 |  7.737 % |
502.64/502.66	c |    802602 |   11412    67202   229329 |    82939    71566     45 |  7.737 % |
503.34/503.38	c |    803628 |   11412    67202   229329 |    82939    72592     46 |  7.737 % |
503.64/503.69	c |    804142 |   11412    67202   229329 |    82939    73106     46 |  7.737 % |
504.04/504.08	c |    804654 |   11412    67202   229329 |    82939    73618     46 |  7.737 % |
504.64/504.71	c |    805679 |   11412    67202   229329 |    82939    74643     46 |  7.737 % |
506.24/506.30	c |    807727 |   11410    67178   229254 |    82939    76688     45 |  7.753 % |
508.94/509.00	c |    811824 |   11410    67178   229254 |    78961    80785     45 |  7.753 % |
509.44/509.44	c |    812337 |   11410    67178   229254 |    78961    70119     44 |  7.753 % |
509.74/509.80	c |    812849 |   11410    67178   229254 |    78961    70630     44 |  7.762 % |
510.54/510.52	c |    813875 |   11410    67178   229254 |    78961    71656     45 |  7.762 % |
510.84/510.90	c |    814388 |   11410    67178   229254 |    78961    72169     45 |  7.762 % |
511.24/511.25	c |    814900 |   11410    67178   229254 |    78961    72681     45 |  7.762 % |
511.84/511.89	c |    815925 |   11409    67178   229254 |    78961    73706     45 |  7.762 % |
513.34/513.31	c |    817973 |   11408    67165   229216 |    78961    75751     45 |  7.769 % |
513.64/513.66	c |    818485 |   11408    67165   229216 |    78961    76263     45 |  7.769 % |
514.04/514.07	c |    818998 |   11408    67165   229216 |    78961    76774     45 |  7.786 % |
514.85/514.87	c |    820025 |   11408    67165   229216 |    77779    77801     45 |  7.786 % |
515.24/515.30	c |    820538 |   11408    67165   229216 |    77779    78314     45 |  7.786 % |
515.74/515.75	c |    821050 |   11408    67165   229216 |    77779    78826     45 |  7.786 % |
516.54/516.59	c |    822075 |   11408    67165   229216 |    77779    68498     42 |  7.786 % |
517.84/517.89	c |    824123 |   11408    67165   229216 |    77779    70545     43 |  7.794 % |
520.74/520.71	c |    828221 |   11404    67140   229132 |    77779    74641     44 |  7.802 % |
526.14/526.20	c |    836414 |   11402    67140   229132 |    76421    71386     43 |  7.826 % |
537.45/537.45	c |    852800 |   11397    67096   228989 | 2147483647    77571     44 |  7.858 % |
537.75/537.76	c |    853313 |   11397    67096   228989 | 2147483647    78084     44 |  7.859 % |
538.05/538.06	c |    853826 |   11397    67096   228989 | 2147483647    78597     44 |  7.858 % |
538.75/538.75	c |    854850 |   11397    67096   228989 | 2147483647    79621     45 |  7.859 % |
539.05/539.09	c |    855363 |   11397    67096   228989 | 2147483647    80134     45 |  7.859 % |
539.35/539.37	c |    855876 |   11397    67096   228989 | 2147483647    80647     45 |  7.859 % |
540.15/540.15	c |    856903 |   11396    67089   228968 | 2147483647    81673     45 |  7.867 % |
541.75/541.77	c |    858952 |   11396    67089   228968 | 2147483647    83721     45 |  7.875 % |
542.15/542.18	c |    859464 |   11396    67089   228968 | 2147483647    84233     45 |  7.875 % |
542.55/542.55	c |    859977 |   11396    67089   228968 | 2147483647    84746     45 |  7.875 % |
543.35/543.41	c |    861001 |   11396    67089   228968 |    84770    85770     45 |  7.875 % |
543.85/543.89	c |    861513 |   11396    67089   228968 |    84770    72725     44 |  7.875 % |
544.35/544.33	c |    862025 |   11396    67089   228968 |    84770    73237     45 |  7.875 % |
545.15/545.17	c |    863049 |   11396    67089   228968 |    84770    74261     45 |  7.875 % |
546.45/546.47	c |    865097 |   11393    67089   228968 |    84770    76307     44 |  7.891 % |
549.35/549.38	c |    869194 |   11391    67070   228908 |    84770    80401     44 |  7.907 % |
549.75/549.79	c |    869708 |   11391    67070   228908 |    84770    80915     44 |  7.907 % |
550.25/550.23	c |    870222 |   11391    67070   228908 |    81208    81429     44 |  7.907 % |
550.95/551.01	c |    871246 |   11391    67070   228908 |    81208    82453     44 |  7.907 % |
551.45/551.51	c |    871760 |   11391    67070   228908 |    81208    72985     44 |  7.907 % |
551.95/551.99	c |    872272 |   11391    67070   228908 |    81208    73497     44 |  7.907 % |
552.95/552.94	c |    873296 |   11391    67070   228908 |    81208    74521     44 |  7.907 % |
554.55/554.55	c |    875344 |   11391    67051   228849 |    81208    76567     44 |  7.907 % |
554.95/554.94	c |    875856 |   11391    67051   228849 |    81208    77079     44 |  7.907 % |
555.35/555.32	c |    876368 |   11391    67051   228849 |    81208    77591     44 |  7.907 % |
556.15/556.18	c |    877394 |   11391    67051   228849 |    81208    78616     44 |  7.915 % |
556.55/556.53	c |    877907 |   11391    67051   228849 |    81208    79129     44 |  7.915 % |
556.85/556.88	c |    878419 |   11391    67051   228849 |    81208    79641     44 |  7.915 % |
557.55/557.56	c |    879443 |   11391    67051   228849 |    81208    80665     44 |  7.915 % |
559.05/559.02	c |    881491 |   11391    67051   228849 |    81225    82713     44 |  7.915 % |
562.15/562.16	c |    885587 |   11390    67043   228822 |    81225    76542     42 |  7.915 % |
569.05/569.10	c |    893781 |   11389    67028   228774 |    80955    71915     39 |  7.923 % |
569.45/569.51	c |    894293 |   11389    67028   228774 |    80955    72427     39 |  7.923 % |
570.04/570.01	c |    894805 |   11389    67028   228774 |    80955    72939     39 |  7.923 % |
570.75/570.79	c |    895829 |   11389    67028   228774 |    80955    73963     39 |  7.923 % |
571.15/571.12	c |    896341 |   11389    67028   228774 |    80955    74475     40 |  7.923 % |
571.45/571.42	c |    896855 |   11389    67028   228774 |    80955    74989     40 |  7.923 % |
572.15/572.15	c |    897881 |   11389    67028   228774 |    80955    76015     40 |  7.923 % |
573.65/573.67	c |    899929 |   11389    67028   228774 |    80955    78063     40 |  7.923 % |
573.95/573.99	c |    900442 |   11389    67028   228774 |    78134    78576     40 |  7.923 % |
574.45/574.43	c |    900954 |   11388    67021   228753 |    78134    79086     40 |  7.931 % |
575.15/575.15	c |    901978 |   11388    67021   228753 |    78134    80110     40 |  7.931 % |
575.65/575.62	c |    902490 |   11388    67021   228753 |    78134    70510     37 |  7.931 % |
575.95/576.01	c |    903002 |   11388    67021   228753 |    78134    71022     37 |  7.931 % |
576.65/576.65	c |    904027 |   11388    67021   228753 |    78134    72047     38 |  7.931 % |
578.35/578.35	c |    906076 |   11388    67021   228753 |    78134    74096     38 |  7.932 % |
580.55/580.56	c |    910173 |   11388    67021   228753 |    78020    78193     39 |  7.931 % |
580.75/580.79	c |    910685 |   11388    67021   228753 |    78020    78705     39 |  7.931 % |
581.15/581.12	c |    911198 |   11388    67021   228753 |    78020    79218     39 |  7.931 % |
581.95/581.93	c |    912226 |   11386    67015   228735 |    78020    72322     40 |  7.947 % |
582.35/582.35	c |    912738 |   11386    67015   228735 |    78020    72834     39 |  7.947 % |
582.75/582.72	c |    913252 |   11386    67015   228735 |    78020    73348     39 |  7.948 % |
583.45/583.41	c |    914276 |   11386    67015   228735 |    78020    74372     40 |  7.947 % |
584.95/584.95	c |    916325 |   11386    67015   228735 |    78020    76421     40 |  7.947 % |
585.25/585.26	c |    916838 |   11386    67015   228735 |    78020    76934     40 |  7.948 % |
585.55/585.57	c |    917351 |   11386    67015   228735 |    78020    77447     40 |  7.948 % |
586.35/586.32	c |    918375 |   11386    67015   228735 |    78020    78471     40 |  7.948 % |
586.65/586.63	c |    918888 |   11386    67006   228705 |    78020    78982     40 |  7.948 % |
586.85/586.91	c |    919400 |   11386    67006   228705 |    78020    71549     39 |  7.947 % |
587.35/587.34	c |    920428 |   11385    67006   228705 | 2147483647    72576     39 |  7.955 % |
588.65/588.69	c |    922476 |   11385    67006   228705 | 2147483647    74624     38 |  7.955 % |
590.75/590.81	c |    926573 |   11374    66977   228614 | 2147483647    77990     39 |  8.060 % |
595.25/595.29	c |    934766 |   11373    66977   228614 | 2147483647    86182     41 |  8.069 % |
604.75/604.77	c |    951150 |   11361    66870   228269 | 2147483647   102534     42 |  8.150 % |
628.95/628.95	c |    983918 |   11353    66797   228050 |    97166    81988     44 |  8.214 % |
671.66/671.71	c |   1049455 |   11346    66746   227888 |    79409    76455     42 |  8.271 % |
753.76/753.77	c |   1180527 |   11327    66628   227504 |    69669    70196     49 |  8.424 % |
754.26/754.26	c |   1181039 |   11327    66589   227377 |    69669    70702     49 |  8.425 % |
754.56/754.59	c |   1181551 |   11327    66589   227377 |    69669    71214     49 |  8.425 % |
755.06/755.10	c |   1182575 |   11324    66589   227377 |    69669    62347     46 |  8.449 % |
755.46/755.45	c |   1183089 |   11324    66589   227377 |    69669    62861     46 |  8.449 % |
755.77/755.78	c |   1183603 |   11324    66589   227377 |    69669    63375     46 |  8.449 % |
756.36/756.33	c |   1184627 |   11324    66589   227377 |    69669    64399     46 |  8.449 % |
757.26/757.23	c |   1186675 |   11324    66589   227377 |    69669    66447     45 |  8.449 % |
757.56/757.51	c |   1187187 |   11324    66589   227377 |    69669    66959     45 |  8.449 % |
757.86/757.88	c |   1187700 |   11319    66589   227377 |    69669    67468     45 |  8.562 % |
758.36/758.39	c |   1188724 |   11318    66589   227377 |    69669    68492     45 |  8.562 % |
758.66/758.63	c |   1189236 |   11310    66440   226898 |    69669    68967     45 |  8.562 % |
758.76/758.78	c |   1189748 |   11310    66440   226898 |    69669    69479     45 |  8.562 % |
759.36/759.31	c |   1190772 |   11310    66440   226898 | 2147483647    70503     45 |  8.562 % |
760.26/760.24	c |   1192821 |   11310    66440   226898 | 2147483647    72552     45 |  8.562 % |
762.86/762.83	c |   1196917 |   11310    66440   226898 | 2147483647    76648     45 |  8.562 % |
763.26/763.26	c |   1197430 |   11309    66434   226877 | 2147483647    77160     45 |  8.570 % |
763.56/763.55	c |   1197942 |   11309    66434   226877 | 2147483647    77672     45 |  8.570 % |
764.26/764.30	c |   1198966 |   11309    66434   226877 | 2147483647    78696     45 |  8.570 % |
764.57/764.58	c |   1199479 |   11309    66434   226877 | 2147483647    79209     46 |  8.570 % |
764.86/764.86	c |   1199992 |   11309    66434   226877 | 2147483647    79722     46 |  8.570 % |
765.56/765.51	c |   1201016 |   11308    66434   226877 | 2147483647    80745     46 |  8.578 % |
766.66/766.69	c |   1203065 |   11308    66434   226877 | 2147483647    82794     47 |  8.578 % |
767.06/767.04	c |   1203577 |   11308    66434   226877 | 2147483647    83306     47 |  8.578 % |
767.36/767.35	c |   1204089 |   11308    66434   226877 | 2147483647    83818     47 |  8.578 % |
767.87/767.82	c |   1205115 |   11308    66434   226877 | 2147483647    84844     47 |  8.578 % |
768.06/768.02	c |   1205628 |   11308    66434   226877 | 2147483647    85357     46 |  8.578 % |
768.26/768.27	c |   1206140 |   11308    66434   226877 | 2147483647    85869     46 |  8.578 % |
769.06/769.08	c |   1207164 |   11308    66423   226843 | 2147483647    86892     47 |  8.578 % |
770.66/770.65	c |   1209212 |   11308    66423   226843 | 2147483647    88940     46 |  8.578 % |
773.16/773.12	c |   1213308 |   11308    66423   226843 | 2147483647    93036     47 |  8.578 % |
778.26/778.27	c |   1221501 |   11302    66415   226819 |    99722   101222     48 |  8.626 % |
778.96/778.95	c |   1222014 |   11302    66415   226819 |    99722    86563     46 |  8.626 % |
779.26/779.29	c |   1222526 |   11302    66415   226819 |    99722    87075     46 |  8.627 % |
779.97/779.98	c |   1223550 |   11302    66415   226819 |    99722    88099     46 |  8.626 % |
780.26/780.30	c |   1224062 |   11296    66415   226819 |    99722    88607     46 |  8.691 % |
780.66/780.67	c |   1224574 |   11296    66415   226819 |    99722    89119     46 |  8.691 % |
781.26/781.30	c |   1225598 |   11296    66415   226819 |    99722    90143     47 |  8.691 % |
782.86/782.83	c |   1227646 |   11296    66415   226819 |    99722    92191     48 |  8.691 % |
783.16/783.11	c |   1228158 |   11296    66415   226819 |    99722    92703     48 |  8.691 % |
783.66/783.65	c |   1228671 |   11294    66329   226543 |    99722    93171     47 |  8.691 % |
784.37/784.40	c |   1229695 |   11294    66329   226543 |    99722    94195     48 |  8.691 % |
784.76/784.78	c |   1230208 |   11294    66329   226543 |    94501    94708     48 |  8.691 % |
785.26/785.24	c |   1230721 |   11294    66329   226543 |    94501    95221     48 |  8.691 % |
786.26/786.25	c |   1231746 |   11293    66329   226543 |    94501    81016     45 |  8.699 % |
787.56/787.55	c |   1233795 |   11293    66329   226543 |    94501    83065     45 |  8.699 % |
790.36/790.39	c |   1237892 |   11292    66329   226543 |    94501    87161     45 |  8.716 % |
790.76/790.81	c |   1238404 |   11292    66329   226543 |    94501    87673     45 |  8.716 % |
791.16/791.19	c |   1238916 |   11292    66329   226543 |    94501    88185     46 |  8.715 % |
791.96/791.95	c |   1239940 |   11292    66329   226543 |    94501    89209     46 |  8.716 % |
792.36/792.39	c |   1240453 |   11291    66314   226496 |    89266    89719     46 |  8.715 % |
792.66/792.69	c |   1240966 |   11291    66314   226496 |    89266    90232     46 |  8.716 % |
793.26/793.28	c |   1241990 |   11291    66314   226496 |    89266    91256     46 |  8.716 % |
794.57/794.52	c |   1244038 |   11291    66314   226496 |    89266    78019     44 |  8.716 % |
794.87/794.87	c |   1244550 |   11291    66314   226496 |    89266    78530     44 |  8.724 % |
795.27/795.25	c |   1245062 |   11290    66314   226496 |    89266    79042     45 |  8.724 % |
795.97/796.00	c |   1246087 |   11290    66314   226496 |    89266    80067     45 |  8.723 % |
796.27/796.27	c |   1246599 |   11290    66314   226496 |    89266    80579     45 |  8.724 % |
796.67/796.65	c |   1247111 |   11290    66314   226496 |    89266    81091     46 |  8.724 % |
797.27/797.26	c |   1248135 |   11290    66314   226496 |    89266    82115     46 |  8.723 % |
798.67/798.66	c |   1250183 |   11290    66314   226496 |    83980    84163     46 |  8.724 % |
801.97/801.96	c |   1254279 |   11290    66314   226496 |    83980    74991     44 |  8.724 % |
807.97/807.96	c |   1262471 |   11290    66304   226463 |    80711    83182     46 |  8.724 % |
819.07/819.09	c |   1278855 |   11289    66294   226430 |    78489    76636     44 |  8.732 % |
819.47/819.48	c |   1279368 |   11289    66294   226430 |    78489    77149     44 |  8.732 % |
819.87/819.84	c |   1279880 |   11289    66294   226430 |    78489    77661     44 |  8.732 % |
820.77/820.72	c |   1280904 |   11289    66294   226430 |    77782    78685     44 |  8.732 % |
821.17/821.18	c |   1281416 |   11289    66294   226430 |    77782    79197     44 |  8.732 % |
821.67/821.69	c |   1281929 |   11289    66294   226430 |    77782    69228     43 |  8.732 % |
822.47/822.41	c |   1282953 |   11289    66294   226430 |    77782    70252     42 |  8.732 % |
823.87/823.83	c |   1285001 |   11289    66294   226430 |    77782    72300     43 |  8.732 % |
824.27/824.22	c |   1285514 |   11289    66294   226430 |    77782    72813     43 |  8.732 % |
824.67/824.63	c |   1286026 |   11289    66294   226430 |    77782    73325     43 |  8.732 % |
825.47/825.45	c |   1287050 |   11289    66294   226430 |    77782    74349     43 |  8.732 % |
825.87/825.84	c |   1287562 |   11289    66294   226430 |    77782    74861     43 |  8.732 % |
826.17/826.21	c |   1288075 |   11289    66294   226430 |    77782    75374     43 |  8.732 % |
827.07/827.02	c |   1289100 |   11289    66294   226430 |    77782    76399     43 |  8.732 % |
828.67/828.69	c |   1291151 |   11289    66294   226430 |    77302    78450     43 |  8.732 % |
831.77/831.78	c |   1295248 |   11289    66294   226430 |    77302    74346     41 |  8.732 % |
832.27/832.22	c |   1295760 |   11289    66294   226430 |    77302    74858     41 |  8.732 % |
832.57/832.59	c |   1296272 |   11289    66294   226430 |    77302    75370     41 |  8.732 % |
833.37/833.37	c |   1297296 |   11289    66294   226430 |    77302    76394     42 |  8.732 % |
833.77/833.72	c |   1297809 |   11289    66294   226430 |    77302    76907     41 |  8.732 % |
834.07/834.10	c |   1298321 |   11289    66294   226430 |    77302    77419     41 |  8.732 % |
834.97/834.95	c |   1299347 |   11289    66294   226430 |    77302    78445     41 |  8.732 % |
836.77/836.79	c |   1301396 |   11289    66294   226430 |    69110    70506     41 |  8.732 % |
837.17/837.19	c |   1301908 |   11289    66294   226430 |    69110    62584     38 |  8.732 % |
837.67/837.62	c |   1302420 |   11289    66294   226430 |    69110    63096     38 |  8.732 % |
838.27/838.28	c |   1303444 |   11289    66294   226430 |    69110    64120     38 |  8.732 % |
838.57/838.60	c |   1303956 |   11289    66294   226430 |    69110    64632     38 |  8.732 % |
838.97/838.94	c |   1304468 |   11289    66294   226430 |    69110    65144     38 |  8.732 % |
839.47/839.49	c |   1305493 |   11289    66294   226430 |    69110    66169     38 |  8.732 % |
841.27/841.21	c |   1307542 |   11288    66289   226415 |    69110    68216     39 |  8.748 % |
844.07/844.05	c |   1311640 |   11288    66289   226415 |    70675    72314     39 |  8.748 % |
850.57/850.59	c |   1319832 |   11287    66289   226415 |    70675    64222     38 |  8.748 % |
851.07/851.01	c |   1320344 |   11287    66281   226391 |    64389    64732     38 |  8.748 % |
851.57/851.52	c |   1320858 |   11287    66281   226391 |    64389    65246     38 |  8.748 % |
852.27/852.29	c |   1321882 |   11287    66281   226391 |    64389    66270     38 |  8.748 % |
852.77/852.81	c |   1322394 |   11287    66281   226391 |    64389    58914     37 |  8.748 % |
853.07/853.11	c |   1322907 |   11287    66281   226391 |    64389    59427     37 |  8.748 % |
853.57/853.59	c |   1323931 |   11287    66281   226391 |    64389    60451     37 |  8.748 % |
853.97/853.97	c |   1325979 |   11287    66281   226391 |    64389    62499     36 |  8.748 % |
854.27/854.26	c |   1326491 |   11287    66281   226391 |    64389    63011     37 |  8.748 % |
854.47/854.51	c |   1327004 |   11287    66281   226391 |    64389    63524     37 |  8.748 % |
855.27/855.24	c |   1328029 |   11287    66281   226391 |    64389    64549     37 |  8.748 % |
855.57/855.53	c |   1328541 |   11287    66281   226391 |    64389    65061     37 |  8.748 % |
855.77/855.80	c |   1329054 |   11287    66281   226391 |    64389    65574     37 |  8.748 % |
856.27/856.26	c |   1330078 |   11287    66281   226391 | 2147483647    60041     37 |  8.748 % |
857.37/857.32	c |   1332127 |   11284    66233   226220 | 2147483647    62077     38 |  8.772 % |
859.17/859.11	c |   1336223 |   11284    66233   226220 | 2147483647    66173     39 |  8.772 % |
859.37/859.38	c |   1336735 |   11284    66233   226220 | 2147483647    66685     39 |  8.772 % |
859.67/859.64	c |   1337247 |   11284    66233   226220 | 2147483647    67197     39 |  8.772 % |
860.17/860.19	c |   1338271 |   11284    66233   226220 | 2147483647    68221     40 |  8.772 % |
860.47/860.46	c |   1338784 |   11284    66233   226220 | 2147483647    68734     40 |  8.772 % |
860.77/860.80	c |   1339296 |   11284    66233   226220 | 2147483647    69246     40 |  8.772 % |
861.37/861.35	c |   1340322 |   11284    66233   226220 | 2147483647    70272     40 |  8.772 % |
862.87/862.86	c |   1342370 |   11284    66233   226220 | 2147483647    72320     40 |  8.772 % |
863.27/863.26	c |   1342883 |   11284    66233   226220 | 2147483647    72833     40 |  8.772 % |
863.67/863.68	c |   1343395 |   11284    66233   226220 | 2147483647    73345     40 |  8.772 % |
864.47/864.49	c |   1344419 |   11284    66233   226220 | 2147483647    74369     40 |  8.772 % |
864.77/864.80	c |   1344932 |   11282    66218   226172 | 2147483647    74879     39 |  8.788 % |
865.17/865.12	c |   1345444 |   11282    66218   226172 | 2147483647    75391     40 |  8.788 % |
865.77/865.75	c |   1346468 |   11282    66218   226172 | 2147483647    76415     40 |  8.789 % |
866.97/866.92	c |   1348516 |   11282    66218   226172 | 2147483647    78463     40 |  8.789 % |
869.77/869.74	c |   1352612 |   11282    66218   226172 | 2147483647    82559     40 |  8.789 % |
875.77/875.81	c |   1360805 |   11281    66210   226145 |    89948    90751     40 |  8.797 % |
887.47/887.50	c |   1377190 |   11247    65607   224030 |    85258    27941     22 |  9.071 % |
901.27/901.26	c |   1409958 |   11239    65549   223843 | 2147483647    60693     46 |  9.136 % |
901.57/901.59	c |   1410470 |   11239    65543   223822 | 2147483647    61205     46 |  9.136 % |
901.87/901.81	c |   1410984 |   11239    65543   223822 | 2147483647    61719     46 |  9.136 % |
902.17/902.18	c |   1412008 |   11239    65543   223822 | 2147483647    62743     45 |  9.136 % |
902.47/902.45	c |   1412521 |   11239    65543   223822 | 2147483647    63256     45 |  9.136 % |
902.67/902.70	c |   1413033 |   11239    65543   223822 | 2147483647    63768     45 |  9.136 % |
903.27/903.27	c |   1414058 |   11239    65543   223822 | 2147483647    64793     46 |  9.136 % |
904.17/904.21	c |   1416106 |   11238    65543   223822 | 2147483647    66840     46 |  9.144 % |
904.67/904.62	c |   1416619 |   11238    65543   223822 | 2147483647    67353     46 |  9.144 % |
904.97/904.96	c |   1417132 |   11238    65535   223798 | 2147483647    67865     47 |  9.144 % |
905.47/905.48	c |   1418156 |   11238    65535   223798 | 2147483647    68888     47 |  9.152 % |
905.77/905.71	c |   1418668 |   11237    65535   223798 | 2147483647    69400     47 |  9.152 % |
905.97/906.01	c |   1419180 |   11237    65535   223798 | 2147483647    69912     47 |  9.152 % |
906.27/906.23	c |   1420205 |   11237    65535   223798 | 2147483647    70937     47 |  9.152 % |
907.17/907.14	c |   1422253 |   11237    65535   223798 | 2147483647    72985     48 |  9.152 % |
909.07/909.03	c |   1426350 |   11237    65535   223798 | 2147483647    77082     48 |  9.152 % |
909.27/909.25	c |   1426862 |   11236    65527   223771 | 2147483647    77593     48 |  9.217 % |
909.57/909.56	c |   1427374 |   11235    65527   223771 | 2147483647    78105     48 |  9.217 % |
910.07/910.05	c |   1428398 |   11235    65527   223771 | 2147483647    79129     48 |  9.217 % |
910.37/910.39	c |   1428910 |   11235    65527   223771 | 2147483647    79641     48 |  9.217 % |
910.67/910.70	c |   1429423 |   11235    65527   223771 | 2147483647    80154     48 |  9.217 % |
911.37/911.35	c |   1430448 |   11233    65527   223771 | 2147483647    81178     48 |  9.281 % |
912.57/912.54	c |   1432496 |   11233    65527   223771 | 2147483647    83226     49 |  9.281 % |
912.87/912.89	c |   1433008 |   11233    65527   223771 | 2147483647    83738     49 |  9.281 % |
913.27/913.22	c |   1433520 |   11232    65527   223771 | 2147483647    84249     49 |  9.289 % |
913.87/913.88	c |   1434546 |   11228    65527   223771 | 2147483647    85275     49 |  9.289 % |
914.27/914.28	c |   1435060 |   11228    65527   223771 | 2147483647    85789     49 |  9.290 % |
914.67/914.67	c |   1435572 |   11228    65527   223771 | 2147483647    86301     49 |  9.289 % |
915.47/915.46	c |   1436597 |   11219    65402   223363 | 2147483647    87179     49 |  9.297 % |
916.77/916.75	c |   1438645 |   11219    65402   223363 | 2147483647    89227     51 |  9.298 % |
918.97/919.01	c |   1442741 |   11219    65402   223363 | 2147483647    93323     51 |  9.297 % |
924.48/924.50	c |   1450933 |   11215    65380   223297 |   100577   101509     54 |  9.330 % |
924.88/924.84	c |   1451446 |   11215    65380   223297 |   100577   102022     54 |  9.330 % |
925.29/925.31	c |   1451958 |   11215    65380   223297 |   100577    85101     55 |  9.330 % |
926.09/926.03	c |   1452982 |   11215    65380   223297 |   100577    86125     56 |  9.330 % |
926.39/926.38	c |   1453494 |   11215    65380   223297 |   100577    86637     56 |  9.330 % |
926.69/926.71	c |   1454007 |   11215    65380   223297 |   100577    87150     56 |  9.330 % |
927.29/927.27	c |   1455032 |   11215    65380   223297 |   100577    88175     56 |  9.330 % |
928.48/928.50	c |   1457082 |   11215    65380   223297 |   100577    90225     57 |  9.330 % |
928.78/928.80	c |   1457594 |   11215    65380   223297 |   100577    90737     57 |  9.330 % |
929.18/929.19	c |   1458106 |   11215    65380   223297 |   100577    91249     57 |  9.330 % |
929.88/929.87	c |   1459130 |   11215    65380   223297 |   100577    92273     57 |  9.330 % |
930.18/930.18	c |   1459644 |   11215    65380   223297 |   100577    92787     57 |  9.330 % |
930.68/930.66	c |   1460156 |   11214    65380   223297 |    93144    93298     57 |  9.338 % |
931.48/931.42	c |   1461181 |   11214    65380   223297 |    93144    94323     57 |  9.338 % |
932.88/932.84	c |   1463231 |   11213    65346   223188 |    93144    80216     54 |  9.346 % |
935.28/935.25	c |   1467328 |   11212    65346   223188 |    93144    84312     56 |  9.354 % |
935.58/935.58	c |   1467840 |   11212    65346   223188 |    93144    84824     56 |  9.354 % |
935.88/935.89	c |   1468354 |   11212    65346   223188 |    93144    85338     56 |  9.354 % |
936.68/936.62	c |   1469379 |   11212    65346   223188 |    93144    86363     57 |  9.354 % |
936.88/936.86	c |   1469891 |   11212    65346   223188 |    93144    86875     56 |  9.354 % |
937.18/937.14	c |   1470403 |   11212    65346   223188 |    86984    87387     57 |  9.354 % |
937.78/937.77	c |   1471428 |   11212    65346   223188 |    86984    88412     57 |  9.354 % |
939.78/939.73	c |   1473476 |   11212    65346   223188 |    86984    76973     57 |  9.354 % |
940.18/940.15	c |   1473991 |   11212    65344   223182 |    86984    76490     57 |  9.354 % |
940.58/940.52	c |   1474504 |   11212    65344   223182 |    86984    77003     57 |  9.354 % |
941.28/941.22	c |   1475528 |   11212    65344   223182 |    86984    78027     58 |  9.354 % |
941.58/941.56	c |   1476040 |   11212    65344   223182 |    86984    78539     58 |  9.354 % |
941.88/941.86	c |   1476556 |   11212    65344   223182 |    86984    79055     58 |  9.354 % |
942.58/942.57	c |   1477580 |   11212    65344   223182 |    86984    80079     58 |  9.354 % |
943.88/943.90	c |   1479632 |   11212    65344   223182 |    86984    82131     59 |  9.354 % |
946.28/946.27	c |   1483728 |   11212    65344   223182 |    82499    75653     59 |  9.354 % |
950.68/950.67	c |   1491920 |   11212    65344   223182 |    81926    83845     60 |  9.354 % |
960.78/960.75	c |   1508305 |   11210    65337   223161 |    80850    75532     59 |  9.370 % |
961.08/961.10	c |   1508817 |   11208    65335   223155 |    80850    76029     59 |  9.386 % |
961.38/961.40	c |   1509330 |   11208    65335   223155 |    80850    76542     59 |  9.386 % |
961.88/961.88	c |   1510354 |   11208    65335   223155 |    77214    77566     59 |  9.386 % |
962.18/962.15	c |   1510867 |   11208    65335   223155 |    77214    78079     59 |  9.386 % |
962.58/962.54	c |   1511381 |   11208    65335   223155 |    77214    78593     59 |  9.386 % |
963.08/963.02	c |   1512406 |   11208    65335   223155 |    77214    67319     55 |  9.386 % |
964.08/964.03	c |   1514454 |   11208    65335   223155 |    77214    69367     56 |  9.386 % |
964.28/964.27	c |   1514966 |   11208    65335   223155 |    77214    69879     56 |  9.386 % |
964.58/964.57	c |   1515480 |   11208    65335   223155 |    77214    70393     56 |  9.386 % |
965.28/965.24	c |   1516504 |   11208    65335   223155 |    77214    71417     56 |  9.386 % |
965.68/965.62	c |   1517016 |   11208    65335   223155 |    77214    71929     57 |  9.387 % |
965.88/965.84	c |   1517529 |   11208    65335   223155 |    77214    72442     57 |  9.386 % |
966.68/966.62	c |   1518556 |   11208    65335   223155 |    77214    73469     57 |  9.386 % |
967.78/967.78	c |   1520604 |   11208    65335   223155 |    74915    75517     58 |  9.386 % |
970.18/970.14	c |   1524703 |   11203    65318   223097 |    74915    70913     57 |  9.427 % |
970.48/970.50	c |   1525215 |   11203    65318   223097 |    74915    71425     57 |  9.427 % |
970.88/970.88	c |   1525727 |   11202    65318   223097 |    74915    71936     57 |  9.435 % |
971.58/971.56	c |   1526753 |   11202    65318   223097 |    74915    72962     57 |  9.435 % |
971.98/971.92	c |   1527265 |   11202    65318   223097 |    74915    73474     57 |  9.435 % |
972.18/972.20	c |   1527777 |   11202    65318   223097 |    74915    73986     57 |  9.435 % |
972.88/972.84	c |   1528802 |   11202    65318   223097 |    74915    75011     58 |  9.435 % |
974.08/974.06	c |   1530851 |   11201    65318   223097 | 2147483647    77059     59 |  9.443 % |
974.38/974.32	c |   1531363 |   11201    65318   223097 | 2147483647    77571     59 |  9.443 % |
974.68/974.68	c |   1531875 |   11200    65284   222989 | 2147483647    78030     59 |  9.451 % |
975.38/975.36	c |   1532899 |   11200    65284   222989 | 2147483647    79053     58 |  9.459 % |
975.68/975.70	c |   1533411 |   11199    65284   222989 | 2147483647    79565     59 |  9.459 % |
976.08/976.07	c |   1533926 |   11199    65284   222989 | 2147483647    80080     58 |  9.459 % |
976.88/976.82	c |   1534950 |   11199    65284   222989 | 2147483647    81104     58 |  9.459 % |
978.28/978.29	c |   1536999 |   11199    65284   222989 | 2147483647    83153     58 |  9.459 % |
980.78/980.78	c |   1541096 |   11199    65284   222989 | 2147483647    87250     58 |  9.459 % |
986.08/986.03	c |   1549289 |   11199    65284   222989 | 2147483647    95443     59 |  9.460 % |
986.58/986.56	c |   1549802 |   11199    65277   222968 | 2147483647    95955     59 |  9.459 % |
986.88/986.82	c |   1550314 |   11199    65277   222968 |    96154    96467     59 |  9.459 % |
987.68/987.61	c |   1551340 |   11199    65277   222968 |    96154    97493     59 |  9.459 % |
988.08/988.06	c |   1551854 |   11199    65277   222968 |    96154    80968     57 |  9.459 % |
988.38/988.41	c |   1552366 |   11199    65277   222968 |    96154    81480     57 |  9.459 % |
989.08/989.09	c |   1553390 |   11199    65277   222968 |    96154    82504     57 |  9.459 % |
990.38/990.38	c |   1555438 |   11199    65277   222968 |    96154    84552     57 |  9.459 % |
990.78/990.77	c |   1555950 |   11199    65277   222968 |    96154    85064     57 |  9.459 % |
991.18/991.13	c |   1556462 |   11199    65277   222968 |    96154    85576     57 |  9.459 % |
991.78/991.81	c |   1557486 |   11199    65277   222968 |    96154    86600     57 |  9.459 % |
992.08/992.11	c |   1557998 |   11199    65277   222968 |    96154    87112     58 |  9.459 % |
992.48/992.51	c |   1558510 |   11199    65277   222968 |    96154    87624     58 |  9.459 % |
993.28/993.23	c |   1559534 |   11199    65277   222968 |    96154    88648     58 |  9.459 % |
994.48/994.43	c |   1561582 |   11199    65277   222968 |    89114    90696     58 |  9.459 % |
996.78/996.80	c |   1565679 |   11199    65277   222968 |    89114    79599     54 |  9.459 % |
997.18/997.19	c |   1566192 |   11199    65277   222968 |    89114    80112     55 |  9.459 % |
997.58/997.53	c |   1566706 |   11199    65277   222968 |    89114    80626     55 |  9.459 % |
998.18/998.11	c |   1567731 |   11199    65277   222968 |    89114    81651     55 |  9.459 % |
998.58/998.53	c |   1568243 |   11199    65277   222968 |    89114    82163     55 |  9.459 % |
998.88/998.83	c |   1568755 |   11199    65277   222968 |    89114    82675     55 |  9.459 % |
999.58/999.55	c |   1569782 |   11198    65268   222938 |    89114    83700     55 |  9.467 % |
1000.78/1000.74	c |   1571832 |   11198    65268   222938 |    83919    85750     56 |  9.467 % |
1001.18/1001.18	c |   1572345 |   11198    65268   222938 |    83919    73302     51 |  9.467 % |
1001.58/1001.51	c |   1572857 |   11197    65268   222938 |    83919    73813     51 |  9.475 % |
1002.18/1002.15	c |   1573881 |   11197    65268   222938 |    83919    74837     52 |  9.475 % |
1002.58/1002.53	c |   1574393 |   11197    65268   222938 |    83919    75349     52 |  9.475 % |
1002.88/1002.89	c |   1574905 |   11197    65268   222938 |    83919    75861     52 |  9.475 % |
1003.68/1003.64	c |   1575931 |   11197    65268   222938 |    83919    76887     52 |  9.475 % |
1005.08/1005.05	c |   1577979 |   11197    65268   222938 |    83919    78935     52 |  9.475 % |
1007.58/1007.57	c |   1582075 |   11196    65268   222938 |    80957    83030     53 |  9.484 % |
1012.28/1012.26	c |   1590267 |   11196    65257   222905 |    79439    79706     51 |  9.483 % |
1022.38/1022.32	c |   1606651 |   11194    65238   222842 |    78143    71528     49 |  9.500 % |
1044.98/1044.98	c |   1639419 |   11194    65238   222842 |    75536    74432     48 |  9.500 % |
1090.39/1090.41	c |   1704956 |   11182    65142   222529 | 2147483647    78664     54 |  9.613 % |
1090.69/1090.64	c |   1705468 |   11182    65142   222529 | 2147483647    79176     54 |  9.613 % |
1090.99/1090.94	c |   1705980 |   11182    65142   222529 | 2147483647    79688     54 |  9.613 % |
1091.49/1091.45	c |   1707005 |   11182    65142   222529 | 2147483647    80713     54 |  9.613 % |
1091.89/1091.84	c |   1707517 |   11180    65133   222503 | 2147483647    80406     55 |  9.613 % |
1092.29/1092.26	c |   1708029 |   11171    65133   222503 | 2147483647    80917     55 |  9.694 % |
1092.89/1092.88	c |   1709053 |   11166    65133   222503 | 2147483647    81937     54 |  9.734 % |
1093.99/1093.93	c |   1711101 |   11166    65133   222503 |    82884    83985     55 |  9.734 % |
1094.29/1094.22	c |   1711613 |   11166    65133   222503 |    82884    84497     55 |  9.734 % |
1094.69/1094.62	c |   1712125 |   11166    65133   222503 |    82884    76560     53 |  9.734 % |
1095.29/1095.22	c |   1713149 |   11166    65133   222503 |    82884    77584     53 |  9.734 % |
1095.49/1095.44	c |   1713661 |   11166    65133   222503 |    82884    78096     53 |  9.734 % |
1095.69/1095.71	c |   1714173 |   11166    65133   222503 |    82884    78608     53 |  9.734 % |
1096.39/1096.35	c |   1715198 |   11166    65133   222503 |    82884    79633     53 |  9.734 % |
1097.49/1097.44	c |   1717246 |   11166    65133   222503 |    82884    81681     53 |  9.734 % |
1099.59/1099.52	c |   1721343 |   11165    64987   222022 | 2147483647    85743     54 |  9.734 % |
1099.89/1099.87	c |   1721857 |   11165    64987   222022 | 2147483647    86257     54 |  9.734 % |
1100.39/1100.33	c |   1722369 |   11165    64987   222022 | 2147483647    86769     54 |  9.734 % |
1101.29/1101.22	c |   1723393 |   11165    64987   222022 | 2147483647    87793     55 |  9.734 % |
1101.59/1101.57	c |   1723905 |   11165    64987   222022 | 2147483647    88305     55 |  9.734 % |
1101.99/1101.98	c |   1724418 |   11165    64987   222022 | 2147483647    88818     55 |  9.734 % |
1102.99/1102.97	c |   1725442 |   11165    64987   222022 | 2147483647    89842     55 |  9.734 % |
1104.59/1104.54	c |   1727490 |   11165    64987   222022 | 2147483647    91890     55 |  9.734 % |
1104.89/1104.89	c |   1728003 |   11165    64987   222022 | 2147483647    92403     55 |  9.734 % |
1105.19/1105.19	c |   1728515 |   11165    64987   222022 | 2147483647    92915     55 |  9.734 % |
1105.99/1105.92	c |   1729541 |   11165    64987   222022 | 2147483647    93941     56 |  9.734 % |
1106.39/1106.35	c |   1730053 |   11165    64987   222022 |    94400    94453     56 |  9.734 % |
1106.79/1106.71	c |   1730565 |   11164    64978   221992 |    94400    94961     56 |  9.742 % |
1107.19/1107.19	c |   1731589 |   11164    64978   221992 |    94400    95985     56 |  9.742 % |
1108.69/1108.63	c |   1733637 |   11164    64978   221992 |    94400    83206     56 |  9.742 % |
1111.09/1111.06	c |   1737733 |   11164    64978   221992 |    94400    87302     57 |  9.742 % |
1116.79/1116.77	c |   1745925 |   11155    64978   221992 |    89566    81216     58 |  9.831 % |
1117.29/1117.23	c |   1746437 |   11153    64900   221748 |    89566    81708     59 |  9.831 % |
1117.49/1117.51	c |   1746949 |   11153    64900   221748 |    89566    82220     58 |  9.831 % |
1118.09/1118.10	c |   1747974 |   11153    64900   221748 |    89566    83245     59 |  9.831 % |
1118.49/1118.47	c |   1748486 |   11153    64900   221748 |    89566    83757     58 |  9.831 % |
1118.69/1118.69	c |   1749001 |   11153    64900   221748 |    89566    84272     58 |  9.831 % |
1119.29/1119.27	c |   1750026 |   11153    64900   221748 |    85272    85297     58 |  9.831 % |
1120.59/1120.60	c |   1752074 |   11153    64900   221748 |    85272    87345     59 |  9.831 % |
1121.19/1121.16	c |   1752586 |   11153    64900   221748 |    85272    73005     53 |  9.831 % |
1121.49/1121.44	c |   1753098 |   11153    64900   221748 |    85272    73517     53 |  9.831 % |
1121.99/1121.95	c |   1754124 |   11153    64900   221748 |    85272    74543     53 |  9.831 % |
1122.29/1122.26	c |   1754636 |   11153    64900   221748 |    85272    75055     53 |  9.831 % |
1122.69/1122.65	c |   1755148 |   11150    64900   221748 |    85272    75565     53 |  9.855 % |
1123.29/1123.22	c |   1756172 |   11150    64900   221748 |    85272    76589     53 |  9.855 % |
1124.89/1124.82	c |   1758220 |   11150    64900   221748 |    85272    78637     53 |  9.855 % |
1127.59/1127.51	c |   1762318 |   11149    64876   221673 |    80409    82725     53 |  9.863 % |
1127.89/1127.90	c |   1762831 |   11149    64876   221673 |    80409    70258     52 |  9.863 % |
1128.29/1128.29	c |   1763343 |   11149    64876   221673 |    80409    70770     52 |  9.863 % |
1128.99/1128.92	c |   1764369 |   11149    64876   221673 |    80409    71796     52 |  9.863 % |
1129.29/1129.30	c |   1764882 |   11149    64876   221673 |    80409    72309     52 |  9.863 % |
1129.69/1129.66	c |   1765396 |   11149    64876   221673 |    80409    72823     52 |  9.863 % |
1130.49/1130.41	c |   1766420 |   11149    64876   221673 |    80409    73847     52 |  9.863 % |
1131.49/1131.49	c |   1768468 |   11149    64876   221673 |    80409    75895     53 |  9.863 % |
1131.89/1131.89	c |   1768981 |   11149    64876   221673 |    80409    76408     53 |  9.863 % |
1132.29/1132.28	c |   1769494 |   11149    64867   221643 |    80409    76920     53 |  9.863 % |
1132.99/1132.99	c |   1770519 |   11149    64867   221643 |    77426    77945     52 |  9.863 % |
1133.29/1133.24	c |   1771032 |   11149    64867   221643 |    77426    78458     52 |  9.863 % |
1133.69/1133.61	c |   1771544 |   11149    64867   221643 |    77426    78970     53 |  9.863 % |
1134.29/1134.27	c |   1772568 |   11149    64867   221643 |    77426    70578     51 |  9.863 % |
1135.19/1135.12	c |   1774620 |   11149    64867   221643 |    77426    72630     51 |  9.865 % |
1137.19/1137.17	c |   1778718 |   11149    64867   221643 |    77426    76728     53 |  9.863 % |
1142.39/1142.36	c |   1786911 |   11149    64867   221643 |    78012    71906     48 |  9.863 % |
1152.99/1152.94	c |   1803295 |   11146    64855   221608 |    71884    75178     45 |  9.888 % |
1153.49/1153.41	c |   1803807 |   11146    64855   221608 |    71884    63767     44 |  9.888 % |
1153.79/1153.72	c |   1804321 |   11146    64855   221608 |    71884    64281     44 |  9.888 % |
1154.29/1154.30	c |   1805345 |   11146    64855   221608 |    71884    65305     45 |  9.888 % |
1154.39/1154.41	c |   1805857 |   11146    64855   221608 |    71884    65817     44 |  9.888 % |
1154.59/1154.55	c |   1806369 |   11146    64855   221608 |    71884    66329     44 |  9.888 % |
1155.29/1155.21	c |   1807393 |   11146    64855   221608 |    71884    67353     45 |  9.888 % |
1156.69/1156.65	c |   1809441 |   11146    64855   221608 |    71884    69401     45 |  9.888 % |
1157.09/1157.10	c |   1809954 |   11144    64852   221600 |    71884    69912     45 |  9.904 % |
1157.49/1157.42	c |   1810467 |   11144    64852   221600 |    69958    70425     45 |  9.904 % |
1157.99/1157.95	c |   1811491 |   11144    64852   221600 |    69958    71449     45 |  9.904 % |
1158.29/1158.27	c |   1812003 |   11144    64852   221600 |    69958    64817     44 |  9.904 % |
1158.59/1158.56	c |   1812515 |   11144    64852   221600 |    69958    65329     44 |  9.904 % |
1159.09/1159.08	c |   1813539 |   11144    64852   221600 |    69958    66353     44 |  9.904 % |
1160.60/1160.61	c |   1815587 |   11144    64852   221600 |    69958    68401     44 |  9.904 % |
1162.69/1162.64	c |   1819683 |   11144    64852   221600 |    69958    72497     44 |  9.904 % |
1163.09/1163.06	c |   1820195 |   11144    64843   221570 | 2147483647    65759     43 |  9.904 % |
1163.29/1163.29	c |   1820707 |   11144    64843   221570 | 2147483647    66271     43 |  9.904 % |
1163.69/1163.67	c |   1821731 |   11144    64843   221570 | 2147483647    67295     43 |  9.904 % |
1163.99/1163.96	c |   1822246 |   11144    64843   221570 | 2147483647    67810     43 |  9.904 % |
1164.29/1164.30	c |   1822758 |   11144    64843   221570 | 2147483647    68322     43 |  9.904 % |
1165.00/1164.96	c |   1823782 |   11144    64843   221570 | 2147483647    69346     43 |  9.904 % |
1165.99/1165.99	c |   1825830 |   11144    64843   221570 | 2147483647    71394     44 |  9.904 % |
1166.39/1166.36	c |   1826342 |   11144    64843   221570 | 2147483647    71906     44 |  9.904 % |
1166.69/1166.69	c |   1826854 |   11144    64843   221570 | 2147483647    72418     44 |  9.904 % |
1167.20/1167.18	c |   1827879 |   11144    64843   221570 | 2147483647    73443     44 |  9.904 % |
1167.49/1167.44	c |   1828391 |   11144    64843   221570 | 2147483647    73955     44 |  9.904 % |
1167.89/1167.86	c |   1828903 |   11144    64843   221570 | 2147483647    74467     44 |  9.904 % |
1168.39/1168.37	c |   1829927 |   11144    64843   221570 | 2147483647    75491     44 |  9.904 % |
1169.40/1169.40	c |   1831975 |   11144    64843   221570 | 2147483647    77539     45 |  9.904 % |
1171.89/1171.82	c |   1836072 |   11144    64843   221570 | 2147483647    81636     44 |  9.904 % |
1176.99/1176.96	c |   1844265 |   11135    64836   221550 | 2147483647    89821     46 |  9.985 % |
1177.29/1177.28	c |   1844777 |   11135    64836   221550 | 2147483647    90333     46 |  9.985 % |
1177.69/1177.62	c |   1845289 |   11135    64836   221550 | 2147483647    90845     46 |  9.985 % |
1178.20/1178.20	c |   1846313 |   11134    64836   221550 | 2147483647    91869     46 |  9.985 % |
1178.59/1178.58	c |   1846825 |   11134    64785   221393 | 2147483647    91948     46 |  9.985 % |
1178.89/1178.89	c |   1847337 |   11134    64785   221393 | 2147483647    92460     46 |  9.985 % |
1179.49/1179.48	c |   1848361 |   11134    64785   221393 | 2147483647    93484     47 |  9.985 % |
1180.79/1180.77	c |   1850411 |   11134    64785   221393 |    95123    95534     47 |  9.985 % |
1181.09/1181.08	c |   1850924 |   11133    64785   221393 |    95123    96046     47 |  9.993 % |
1181.59/1181.57	c |   1851437 |   11132    64785   221393 |    95123    96558     47 | 10.001 % |
1182.29/1182.22	c |   1852464 |   11132    64785   221393 |    95123    83450     43 | 10.001 % |
1182.60/1182.52	c |   1852976 |   11132    64785   221393 |    95123    83962     43 | 10.001 % |
1182.89/1182.85	c |   1853490 |   11132    64785   221393 |    95123    84476     44 | 10.001 % |
1183.49/1183.49	c |   1854515 |   11132    64785   221393 |    95123    85501     44 | 10.001 % |
1184.59/1184.51	c |   1856563 |   11131    64785   221393 |    95123    87548     45 | 10.009 % |
1187.19/1187.17	c |   1860660 |   11131    64785   221393 |    90986    91645     46 | 10.009 % |
1187.60/1187.58	c |   1861173 |   11131    64761   221318 |    90986    92156     46 | 10.009 % |
1188.00/1187.95	c |   1861687 |   11131    64761   221318 |    90986    92670     46 | 10.009 % |
1188.70/1188.69	c |   1862712 |   11131    64761   221318 |    90986    77232     47 | 10.009 % |
1189.10/1189.09	c |   1863228 |   11131    64761   221318 |    90986    77748     47 | 10.009 % |
1189.50/1189.46	c |   1863740 |   11131    64761   221318 |    90986    78260     47 | 10.009 % |
1190.10/1190.03	c |   1864766 |   11131    64761   221318 |    90986    79286     47 | 10.009 % |
1191.40/1191.34	c |   1866814 |   11131    64761   221318 |    90986    81334     48 | 10.009 % |
1191.70/1191.65	c |   1867326 |   11131    64761   221318 |    90986    81846     48 | 10.009 % |
1192.10/1192.03	c |   1867838 |   11131    64761   221318 |    90986    82358     49 | 10.009 % |
1192.60/1192.59	c |   1868862 |   11131    64761   221318 |    90986    83382     49 | 10.009 % |
1192.90/1192.82	c |   1869375 |   11131    64761   221318 |    90986    83895     49 | 10.009 % |
1193.20/1193.13	c |   1869887 |   11131    64761   221318 |    90986    84407     49 | 10.009 % |
1193.80/1193.72	c |   1870913 |   11128    64761   221318 |    84521    85431     49 | 10.065 % |
1195.00/1195.00	c |   1872961 |   11128    64761   221318 |    84521    74723     49 | 10.065 % |
1197.40/1197.38	c |   1877058 |   11124    64709   221151 |    84521    78802     49 | 10.066 % |
1200.00/1199.92	HOME/SatELiteGTI: line 36: 30176 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-1821887-1242576664/watcher-1821887-1242576664 -o /tmp/evaluation-result-1821887-1242576664/solver-1821887-1242576664 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821887-1242576664.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: 1.00 1.01 1.00 2/91 30170
/proc/meminfo: memFree=813444/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2416 CPUtime=0.01
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1022164488 2473984 277 4294967295 134512640 135169312 3215199632 3215198168 3085557486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30170/statm: 604 277 235 161 0 43 0
[pid=30174] ppid=30170 vsize=948 CPUtime=0
/proc/30174/stat : 30174 (SatELite_releas) R 30170 30170 15108 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 1022164488 970752 30 4294967295 134512640 135223648 3220525712 3220525488 134651181 0 0 0 0 0 0 0 17 1 0 0 0
/proc/30174/statm: 237 41 32 174 0 62 0

[startup+0.030933 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 30170
/proc/meminfo: memFree=813444/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2416 CPUtime=0.01
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1022164488 2473984 277 4294967295 134512640 135169312 3215199632 3215198168 3085557486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30170/statm: 604 277 235 161 0 43 0
[pid=30174] ppid=30170 vsize=3708 CPUtime=0.03
/proc/30174/stat : 30174 (SatELite_releas) R 30170 30170 15108 0 -1 4202496 809 0 0 0 3 0 0 0 20 0 1 0 1022164488 3796992 745 4294967295 134512640 135223648 3220525712 3220524664 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/30174/statm: 927 746 46 174 0 752 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6124

[startup+0.110927 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 30170
/proc/meminfo: memFree=813444/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2416 CPUtime=0.01
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1022164488 2473984 277 4294967295 134512640 135169312 3215199632 3215198168 3085557486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30170/statm: 604 277 235 161 0 43 0
[pid=30174] ppid=30170 vsize=9236 CPUtime=0.11
/proc/30174/stat : 30174 (SatELite_releas) R 30170 30170 15108 0 -1 4202496 2059 0 0 0 10 1 0 0 20 0 1 0 1022164488 9457664 1995 4294967295 134512640 135223648 3220525712 3220523728 134587023 0 0 0 3 0 0 0 17 1 0 0 0
/proc/30174/statm: 2309 1995 73 174 0 2134 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11652

[startup+0.310912 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 30170
/proc/meminfo: memFree=813444/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2416 CPUtime=0.01
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1022164488 2473984 277 4294967295 134512640 135169312 3215199632 3215198168 3085557486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30170/statm: 604 277 235 161 0 43 0
[pid=30174] ppid=30170 vsize=10012 CPUtime=0.31
/proc/30174/stat : 30174 (SatELite_releas) R 30170 30170 15108 0 -1 4202496 2193 0 0 0 30 1 0 0 21 0 1 0 1022164488 10252288 2129 4294967295 134512640 135223648 3220525712 3220523728 134587032 0 0 0 3 0 0 0 17 1 0 0 0
/proc/30174/statm: 2503 2129 73 174 0 2328 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12428

[startup+0.710885 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 30170
/proc/meminfo: memFree=813444/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2416 CPUtime=0.01
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1022164488 2473984 277 4294967295 134512640 135169312 3215199632 3215198168 3085557486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30170/statm: 604 277 235 161 0 43 0
[pid=30174] ppid=30170 vsize=10016 CPUtime=0.71
/proc/30174/stat : 30174 (SatELite_releas) R 30170 30170 15108 0 -1 4202496 2350 0 0 0 70 1 0 0 22 0 1 0 1022164488 10256384 2132 4294967295 134512640 135223648 3220525712 3220522332 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/30174/statm: 2504 2132 74 174 0 2329 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12432

[startup+1.51082 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 30176
/proc/meminfo: memFree=806096/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=6484 CPUtime=0.8
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 1529 0 0 0 79 1 0 0 20 0 1 0 1022164560 6639616 1463 4294967295 134512640 135216591 3215384080 3215382256 134525740 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 1621 1463 75 172 0 1448 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8904

[startup+3.1107 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 30176
/proc/meminfo: memFree=805972/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=7036 CPUtime=2.39
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 1637 0 0 0 236 3 0 0 25 0 1 0 1022164560 7204864 1571 4294967295 134512640 135216591 3215384080 3215382256 134525587 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 1759 1571 75 172 0 1586 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9456

[startup+6.31045 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 30176
/proc/meminfo: memFree=805136/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=7716 CPUtime=5.58
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 1820 0 0 0 553 5 0 0 25 0 1 0 1022164560 7901184 1754 4294967295 134512640 135216591 3215384080 3215382368 134542672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 1929 1754 75 172 0 1756 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10136

[startup+12.72 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 30178
/proc/meminfo: memFree=803316/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=9536 CPUtime=11.99
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 2263 0 0 0 1194 5 0 0 25 0 1 0 1022164560 9764864 2197 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 2384 2197 75 172 0 2211 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 11956

[startup+25.519 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 30180
/proc/meminfo: memFree=798544/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=14104 CPUtime=24.79
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 3412 0 0 0 2473 6 0 0 25 0 1 0 1022164560 14442496 3346 4294967295 134512640 135216591 3215384080 3215382272 134529308 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 3526 3346 75 172 0 3353 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 16524

[startup+51.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30364
/proc/meminfo: memFree=787652/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=24880 CPUtime=50.39
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 6069 0 0 0 5030 9 0 0 25 0 1 0 1022164560 25477120 6003 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 6220 6003 75 172 0 6047 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 27300

[startup+102.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30369
/proc/meminfo: memFree=781372/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=31264 CPUtime=101.6
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 7667 0 0 0 10147 13 0 0 25 0 1 0 1022164560 32014336 7601 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 7816 7601 75 172 0 7643 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 33684

[startup+162.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30556
/proc/meminfo: memFree=776396/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=36288 CPUtime=161.6
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 8945 0 0 0 16146 14 0 0 25 0 1 0 1022164560 37158912 8879 4294967295 134512640 135216591 3215384080 3215382272 134529259 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9072 8879 75 172 0 8899 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 38708

[startup+222.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30743
/proc/meminfo: memFree=774428/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38464 CPUtime=221.6
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9473 0 0 0 22146 14 0 0 25 0 1 0 1022164560 39387136 9407 4294967295 134512640 135216591 3215384080 3215382272 134528969 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9616 9407 75 172 0 9443 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 40884

[startup+282.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30932
/proc/meminfo: memFree=774420/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38464 CPUtime=281.61
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9482 0 0 0 28147 14 0 0 25 0 1 0 1022164560 39387136 9416 4294967295 134512640 135216591 3215384080 3215382272 134528784 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9616 9416 75 172 0 9443 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 40884

[startup+342.315 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 31125
/proc/meminfo: memFree=774304/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38620 CPUtime=341.61
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9513 0 0 0 34147 14 0 0 25 0 1 0 1022164560 39546880 9447 4294967295 134512640 135216591 3215384080 3215381984 134532756 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9655 9447 75 172 0 9482 0
Current children cumulated CPU time (s) 342.33

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

/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38800 CPUtime=521.62
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9563 0 0 0 52148 14 0 0 25 0 1 0 1022164560 39731200 9497 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9700 9497 75 172 0 9527 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 41220

[startup+582.316 s]
/proc/loadavg: 1.05 1.06 1.01 3/93 31880
/proc/meminfo: memFree=773800/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=581.63
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9592 0 0 0 58149 14 0 0 25 0 1 0 1022164560 39899136 9526 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9526 75 172 0 9568 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 41384

[startup+642.312 s]
/proc/loadavg: 1.02 1.04 1.00 3/93 32068
/proc/meminfo: memFree=773800/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=641.63
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9606 0 0 0 64149 14 0 0 25 0 1 0 1022164560 39899136 9540 4294967295 134512640 135216591 3215384080 3215382256 134525185 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9540 75 172 0 9568 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 41384

[startup+702.317 s]
/proc/loadavg: 1.00 1.03 1.00 2/93 32260
/proc/meminfo: memFree=773436/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=701.64
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9607 0 0 0 70150 14 0 0 25 0 1 0 1022164560 39899136 9541 4294967295 134512640 135216591 3215384080 3215381984 134532864 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9541 75 172 0 9568 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 41384

[startup+762.323 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 32447
/proc/meminfo: memFree=773544/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=761.65
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9607 0 0 0 76151 14 0 0 25 0 1 0 1022164560 39899136 9541 4294967295 134512640 135216591 3215384080 3215382272 134529044 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9541 75 172 0 9568 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 41384

[startup+822.318 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 32634
/proc/meminfo: memFree=773560/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=821.65
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9607 0 0 0 82151 14 0 0 25 0 1 0 1022164560 39899136 9541 4294967295 134512640 135216591 3215384080 3215382272 134528939 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9541 75 172 0 9568 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 41384

[startup+882.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 355
/proc/meminfo: memFree=773800/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=881.65
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 88151 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382048 134539153 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 41384

[startup+942.319 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 542
/proc/meminfo: memFree=773684/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=941.66
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 94152 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 41384

[startup+1002.31 s]
/proc/loadavg: 1.07 1.02 1.00 2/93 731
/proc/meminfo: memFree=773808/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=1001.66
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 100152 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382272 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 41384

[startup+1062.32 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 929
/proc/meminfo: memFree=773792/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=1061.67
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 106153 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382272 134529317 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 41384

[startup+1122.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 1123
/proc/meminfo: memFree=773800/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=1121.67
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 112153 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 41384

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1311
/proc/meminfo: memFree=773676/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=1181.67
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 118153 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382272 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 41384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1495
/proc/meminfo: memFree=773720/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=1199.28
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 119914 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382272 134529240 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 41384

Sending SIGTERM to process tree (bottom up)

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1495
/proc/meminfo: memFree=773720/2074464 swapFree=1952056/1959888
[pid=30170] ppid=30168 vsize=2420 CPUtime=0.72
/proc/30170/stat : 30170 (SatELiteGTI) S 30168 30170 15108 0 -1 4194304 387 2999 0 0 1 0 70 1 15 0 1 0 1022164488 2478080 278 4294967295 134512640 135169312 3215199632 3215195848 3085557486 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/30170/statm: 605 278 235 161 0 44 0
[pid=30176] ppid=30170 vsize=38964 CPUtime=1199.28
/proc/30176/stat : 30176 (minisat_static) R 30170 30170 15108 0 -1 4202496 9609 0 0 0 119914 14 0 0 25 0 1 0 1022164560 39899136 9543 4294967295 134512640 135216591 3215384080 3215382272 134529240 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30176/statm: 9741 9543 75 172 0 9568 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 41384

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200
CPU user time (s): 1199.85
CPU system time (s): 0.15
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 41384

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

runsolver used 0.03 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi24 at 2009-05-17 18:11:04
IDJOB=1821887
IDBENCH=71699
IDSOLVER=658
FILE ID=tipi24/1821887-1242576664
PBS_JOBID=
Free space on /tmp= 9614 MiB

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

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

MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED= 1495941417

Linux tipi24 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.461
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.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.461
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:        813320 kB
Buffers:         55136 kB
Cached:        1088056 kB
SwapCached:       3828 kB
Active:         323828 kB
Inactive:       828776 kB
HighTotal:     1178688 kB
HighFree:       171464 kB
LowTotal:       895776 kB
LowFree:        641856 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:            3240 kB
Writeback:           0 kB
AnonPages:        8736 kB
Mapped:           3360 kB
Slab:            99148 kB
PageTables:        620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9614 MiB
End job on tipi24 at 2009-05-17 18:31:04