Trace number 1837042

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (MO) 4679.27 4681.41

General information on the benchmark

Nameindustrial/anbulagan/
hard-sat/partial-10-13-s.cnf
MD5SUMd90571b4b69632567da9d3ebfd25979e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1429.16
Satisfiable
(Un)Satisfiability was proved
Number of variables234673
Number of clauses1071339
Sum of the clauses size2453820
Maximum clause length10
Minimum clause length1
Number of clauses of size 117679
Number of clauses of size 2856659
Number of clauses of size 3153061
Number of clauses of size 44880
Number of clauses of size 519520
Number of clauses of size over 519540

Solver Data 

0.00/0.00	c Parsing...
0.00/0.82	c ==============================================================================
0.00/0.82	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.82	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.82	c ==============================================================================
0.00/0.82	c |         0 | 1052492  2433683 |  315747       0        0     nan |  0.000 % |
7.28/7.39	c |         0 |  628528  1721300 |      --       0       --      -- |     --   | -196875/-198394
7.28/7.39	c ==============================================================================
7.28/7.39	c Result  :   #vars: 113985   #clauses: 628528   #literals: 1721300
7.28/7.39	c CPU time:   7.14591 s
7.28/7.39	c ==============================================================================
7.98/8.01	c This is MiniSat 2.0 beta
7.98/8.01	c WARNING: for repeatability, setting FPU to use double precision
7.98/8.01	c ============================[ Problem Statistics ]=============================
7.98/8.01	c |                                                                             |
7.98/8.01	c |  Number of variables:  113985                                               |
7.98/8.01	c |  Number of clauses:    628528                                               |
7.98/8.38	c |  Parsing time:         0.33         s                                       |
7.98/8.40	c ============================[ Search Statistics ]==============================
7.98/8.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.98/8.40	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.98/8.40	c ===============================================================================
7.98/8.40	c |         0 |  113985   628528  1721300 |   209509        0    nan |  0.000 % |
8.66/8.72	c |       100 |  113742   628528  1721300 |   209509       98     86 |  0.930 % |
8.76/8.85	c |       203 |  113742   628528  1721300 |   209509      201     99 |  0.930 % |
8.86/8.98	c |       303 |  113742   628528  1721300 |   209509      301     91 |  0.930 % |
8.96/9.03	c |       414 |  113731   628528  1721300 |   209509      410     81 |  1.046 % |
9.06/9.12	c |       515 |  113731   628528  1721300 |   209509      511     77 |  1.046 % |
9.26/9.33	c |       625 |  113716   628528  1721300 |   209509      621     75 |  1.046 % |
9.46/9.56	c |       746 |  113716   628528  1721300 |   209509      742     71 |  1.046 % |
9.86/9.98	c |       846 |  112793   621613  1703966 |   209509      842     75 |  1.046 % |
10.16/10.29	c |       956 |  112793   621613  1703966 |   209509      952     98 |  1.046 % |
10.56/10.63	c |      1078 |  112793   621613  1703966 |   209509     1074    107 |  1.046 % |
10.96/11.05	c |      1211 |  112705   621089  1702626 |   209509     1206    110 |  1.123 % |
11.46/11.53	c |      1311 |  112699   621089  1702626 |   209509     1304    119 |  1.414 % |
11.76/11.82	c |      1422 |  112576   621089  1702626 |   209509     1413    117 |  1.958 % |
12.26/12.38	c |      1543 |  112576   621089  1702626 |   209509     1534    124 |  1.958 % |
12.56/12.67	c |      1676 |  111753   615619  1689202 |   209509     1666    126 |  1.958 % |
13.16/13.21	c |      1822 |  111753   615619  1689202 |   209509     1812    140 |  1.958 % |
13.46/13.60	c |      1922 |  111752   615619  1689202 |   209509     1911    141 |  2.228 % |
13.76/13.81	c |      2032 |  111752   615619  1689202 |   209509     2021    146 |  2.228 % |
14.16/14.23	c |      2153 |  111440   613803  1684547 |   209509     2140    148 |  3.205 % |
14.56/14.67	c |      2286 |  111440   613803  1684547 |   209509     2273    148 |  3.205 % |
14.86/14.99	c |      2432 |  111427   613803  1684547 |   209509     2418    150 |  3.371 % |
15.36/15.46	c |      2592 |  111427   613803  1684547 |   209509     2578    150 |  3.371 % |
15.55/15.65	c |      2693 |  110142   605965  1664683 |   209509     2675    151 |  3.371 % |
15.85/15.94	c |      2806 |  110130   605965  1664683 |   209509     2787    148 |  3.414 % |
16.25/16.30	c |      2927 |  110130   605965  1664683 |   209509     2908    158 |  3.414 % |
16.75/16.83	c |      3060 |  110130   605965  1664683 |   209509     3041    160 |  3.414 % |
17.15/17.21	c |      3206 |  110080   605659  1664011 |   209509     3186    161 |  3.426 % |
18.05/18.12	c |      3366 |  110078   605659  1664011 |   209509     3345    193 |  3.441 % |
18.56/18.65	c |      3542 |  110076   605659  1664011 |   209509     3520    194 |  3.833 % |
18.75/18.88	c |      3642 |  110076   605659  1664011 |   209509     3620    191 |  3.833 % |
19.06/19.10	c |      3753 |  109616   603647  1659914 |   209509     3731    192 |  3.833 % |
19.16/19.26	c |      3874 |  109616   603647  1659914 |   209509     3852    192 |  3.833 % |
20.06/20.15	c |      4012 |  109616   603647  1659914 |   209509     3990    196 |  3.833 % |
20.46/20.52	c |      4158 |  109553   603647  1659914 |   209509     4134    195 |  4.115 % |
20.87/20.95	c |      4318 |  108503   597615  1645584 |   209509     4283    194 |  4.809 % |
21.76/21.89	c |      4495 |  108503   597615  1645584 |   209509     4460    201 |  4.809 % |
22.26/22.36	c |      4690 |  108493   597615  1645584 |   209509     4653    198 |  4.978 % |
22.46/22.51	c |      4791 |  108493   597615  1645584 |   209509     4754    196 |  4.978 % |
22.56/22.68	c |      4902 |  108493   597615  1645584 |   209509     4865    195 |  4.978 % |
22.76/22.83	c |      5024 |  108311   596623  1643307 |   209509     4987    192 |  4.978 % |
22.86/22.97	c |      5158 |  108311   596623  1643307 |   209509     5121    190 |  4.978 % |
23.76/23.81	c |      5305 |  108311   596623  1643307 |   209509     5268    192 |  4.978 % |
24.86/24.96	c |      5465 |  108222   596623  1643307 |   209509     5425    203 |  6.138 % |
25.96/26.03	c |      5644 |  106989   588662  1622821 |   209509     5600    211 |  6.138 % |
26.26/26.37	c |      5838 |  106989   588662  1622821 |   209509     5794    209 |  6.138 % |
27.06/27.13	c |      6050 |  106989   588662  1622821 |   209509     6006    215 |  6.138 % |
27.36/27.47	c |      6153 |  106989   588662  1622821 |   209509     6109    221 |  6.138 % |
27.96/28.03	c |      6263 |  106989   588662  1622821 |   209509     6219    224 |  6.138 % |
28.36/28.43	c |      6384 |  106858   588084  1621297 |   209509     6336    221 |  8.092 % |
28.66/28.73	c |      6520 |  106852   588084  1621297 |   209509     6471    219 |  8.112 % |
28.76/28.84	c |      6669 |  106852   588084  1621297 |   209509     6620    216 |  8.112 % |
29.66/29.73	c |      6832 |  106795   588084  1621297 |   209509     6781    223 |  8.368 % |
30.45/30.58	c |      7011 |  106795   588084  1621297 |   209509     6959    225 |  8.371 % |
31.35/31.44	c |      7204 |  104443   574173  1586894 |   209509     7143    231 |  8.371 % |
32.14/32.21	c |      7416 |  104378   574173  1586894 |   209509     7352    230 |  8.686 % |
33.05/33.12	c |      7651 |  104378   574173  1586894 |   209509     7587    236 |  8.686 % |
33.45/33.55	c |      7752 |  104309   574173  1586894 |   209509     7687    235 |  8.797 % |
33.96/34.02	c |      7864 |  103958   571667  1581360 |   209509     7793    238 |  8.797 % |
34.35/34.42	c |      7987 |  103958   571667  1581360 |   209509     7916    238 |  8.797 % |
34.85/34.90	c |      8120 |  103938   571667  1581360 |   209509     8048    238 |  8.951 % |
35.45/35.52	c |      8266 |  103938   571667  1581360 |   209509     8194    243 |  8.951 % |
35.85/35.99	c |      8426 |  103938   571667  1581360 |   209509     8354    246 |  8.951 % |
36.65/36.78	c |      8602 |  103938   571667  1581360 |   209509     8530    253 |  8.951 % |
37.55/37.61	c |      8796 |  103782   570639  1578717 |   209509     8724    256 |  8.951 % |
38.35/38.50	c |      9009 |  103782   570639  1578717 |   209509     8937    259 |  8.951 % |
39.05/39.17	c |      9245 |  103781   570639  1578717 |   209509     9172    259 |  8.967 % |
39.85/40.00	c |      9501 |  103781   570639  1578717 |   209509     9428    262 |  8.967 % |
40.05/40.10	c |      9601 |  103781   570639  1578717 |   209509     9528    261 |  8.967 % |
40.35/40.46	c |      9712 |  103764   570521  1578405 |   209509     9639    260 |  8.967 % |
40.84/40.91	c |      9833 |  103764   570521  1578405 |   209509     9760    260 |  8.967 % |
41.24/41.31	c |      9968 |  103764   570521  1578405 |   209509     9895    260 |  8.967 % |
41.64/41.79	c |     10114 |  103758   570521  1578405 | 2147483647    10040    261 |  8.986 % |
42.53/42.66	c |     10274 |  103758   570521  1578405 | 2147483647    10200    263 |  8.986 % |
43.33/43.43	c |     10452 |  103758   570521  1578405 | 2147483647    10377    267 |  9.003 % |
43.94/44.07	c |     10645 |  103712   570270  1577763 | 2147483647    10567    267 |  9.038 % |
44.84/44.92	c |     10860 |  103712   570270  1577763 | 2147483647    10782    273 |  9.038 % |
45.84/45.94	c |     11095 |  103712   570270  1577763 | 2147483647    11017    274 |  9.038 % |
46.63/46.72	c |     11351 |  103712   570270  1577763 | 2147483647    11273    273 |  9.038 % |
48.13/48.23	c |     11632 |  103501   569020  1574387 | 2147483647    11551    275 |  9.198 % |
48.62/48.74	c |     11732 |  103501   569020  1574387 | 2147483647    11651    277 |  9.198 % |
49.32/49.50	c |     11844 |  103501   569020  1574387 | 2147483647    11763    283 |  9.198 % |
50.02/50.14	c |     11966 |  103501   569020  1574387 | 2147483647    11885    287 |  9.198 % |
50.52/50.62	c |     12099 |  103501   569020  1574387 | 2147483647    12018    289 |  9.198 % |
51.22/51.33	c |     12248 |  103501   569020  1574387 | 2147483647    12167    290 |  9.198 % |
52.01/52.12	c |     12408 |  103479   569020  1574387 | 2147483647    12325    291 |  9.707 % |
52.71/52.83	c |     12585 |  103479   569020  1574387 | 2147483647    12502    295 |  9.707 % |
53.70/53.82	c |     12778 |  102920   566404  1569155 | 2147483647    12693    302 |  9.707 % |
54.80/54.90	c |     12992 |  102920   566404  1569155 | 2147483647    12907    310 |  9.707 % |
56.00/56.11	c |     13225 |  102920   566404  1569155 | 2147483647    13140    318 |  9.707 % |
56.91/57.09	c |     13481 |  102920   566404  1569155 | 2147483647    13396    321 |  9.707 % |
58.00/58.12	c |     13768 |  102920   566404  1569155 | 2147483647    13683    325 |  9.707 % |
59.30/59.44	c |     14077 |  102906   566310  1568902 | 2147483647    13991    325 |  9.720 % |
59.50/59.69	c |     14177 |  102906   566310  1568902 | 2147483647    14091    325 |  9.720 % |
59.80/59.97	c |     14288 |  102764   566310  1568902 | 2147483647    14201    323 |  9.969 % |
60.30/60.40	c |     14415 |  102764   566310  1568902 | 2147483647    14328    322 |  9.969 % |
60.40/60.57	c |     14551 |  102764   566310  1568902 | 2147483647    14464    320 |  9.969 % |
61.00/61.19	c |     14699 |  102764   566310  1568902 | 2147483647    14612    319 |  9.969 % |
61.29/61.46	c |     14860 |  102764   566310  1568902 | 2147483647    14773    317 |  9.969 % |
62.19/62.30	c |     15036 |  102764   566310  1568902 | 2147483647    14949    321 |  9.969 % |
62.69/62.86	c |     15229 |  102759   566310  1568902 | 2147483647    15139    318 | 10.077 % |
63.39/63.55	c |     15441 |  102759   566310  1568902 | 2147483647    15351    320 | 10.077 % |
64.69/64.83	c |     15674 |  102759   566310  1568902 | 2147483647    15584    322 | 10.077 % |
65.90/66.05	c |     15932 |  102499   564248  1563146 | 2147483647    15841    334 | 10.077 % |
66.89/67.05	c |     16214 |  102499   564248  1563146 | 2147483647    16123    332 | 10.077 % |
68.19/68.39	c |     16523 |  102499   564248  1563146 | 2147483647    16432    332 | 10.077 % |
69.48/69.60	c |     16862 |  102499   564248  1563146 | 2147483647    16771    337 | 10.077 % |
69.78/69.96	c |     16962 |  102499   564248  1563146 | 2147483647    16871    337 | 10.077 % |
69.98/70.19	c |     17073 |  102499   564248  1563146 | 2147483647    16982    336 | 10.077 % |
70.38/70.54	c |     17196 |  102499   564248  1563146 | 2147483647    17105    335 | 10.077 % |
70.89/71.06	c |     17329 |  102499   564248  1563146 | 2147483647    17238    335 | 10.077 % |
71.59/71.74	c |     17475 |  102499   564248  1563146 | 2147483647    17384    336 | 10.077 % |
71.79/71.97	c |     17636 |  102499   564248  1563146 | 2147483647    17545    334 | 10.077 % |
72.49/72.62	c |     17812 |  102499   564248  1563146 | 2147483647    17721    332 | 10.077 % |
73.39/73.59	c |     18005 |  102163   562736  1560122 | 2147483647    17910    336 | 10.372 % |
73.99/74.11	c |     18220 |  102163   562736  1560122 | 2147483647    18125    336 | 10.372 % |
75.28/75.43	c |     18455 |  102161   562736  1560122 | 2147483647    18359    337 | 10.570 % |
76.68/76.84	c |     18711 |  102161   562736  1560122 | 2147483647    18615    337 | 10.570 % |
77.58/77.71	c |     18992 |  102080   562736  1560122 | 2147483647    18893    336 | 10.914 % |
78.08/78.26	c |     19301 |  102077   562736  1560122 | 2147483647    19200    333 | 10.937 % |
78.99/79.17	c |     19640 |  102071   562736  1560122 | 2147483647    19538    331 | 10.948 % |
80.99/81.17	c |     20013 |  102071   562736  1560122 | 2147483647    19911    331 | 10.948 % |
81.29/81.47	c |     20115 |  101506   559647  1552738 | 2147483647    20012    331 | 10.948 % |
81.69/81.90	c |     20225 |  101506   559647  1552738 | 2147483647    20122    331 | 10.948 % |
82.29/82.46	c |     20347 |  101506   559647  1552738 | 2147483647    20244    331 | 10.948 % |
82.79/82.94	c |     20480 |  101506   559647  1552738 | 2147483647    20377    330 | 10.948 % |
83.39/83.57	c |     20628 |  101506   559647  1552738 | 2147483647    20525    333 | 10.948 % |
83.78/83.91	c |     20789 |  101506   559647  1552738 | 2147483647    20686    332 | 10.948 % |
84.78/84.99	c |     20965 |  101506   559647  1552738 | 2147483647    20862    334 | 10.948 % |
85.78/85.91	c |     21158 |  101506   559647  1552738 | 2147483647    21055    334 | 10.948 % |
86.99/87.19	c |     21370 |  101506   559647  1552738 | 2147483647    21267    336 | 10.948 % |
88.19/88.38	c |     21606 |  101506   559647  1552738 | 2147483647    21502    339 | 11.096 % |
89.09/89.27	c |     21864 |  101128   557757  1547438 | 2147483647    21756    339 | 11.280 % |
90.48/90.61	c |     22145 |  101128   557757  1547438 | 2147483647    22037    345 | 11.280 % |
91.78/91.93	c |     22454 |  101128   557757  1547438 | 2147483647    22346    348 | 11.280 % |
93.78/93.92	c |     22793 |  101128   557757  1547438 | 2147483647    22685    349 | 11.280 % |
95.68/95.87	c |     23166 |  101128   557757  1547438 | 2147483647    23058    357 | 11.280 % |
98.27/98.46	c |     23576 |  101128   557757  1547438 | 2147483647    23468    362 | 11.280 % |
98.58/98.74	c |     23676 |  101128   557757  1547438 | 2147483647    23568    362 | 11.280 % |
98.78/98.97	c |     23786 |  101128   557757  1547438 | 2147483647    23678    361 | 11.280 % |
99.08/99.28	c |     23908 |  101128   557757  1547438 | 2147483647    23800    360 | 11.280 % |
99.68/99.80	c |     24042 |  101128   557757  1547438 | 2147483647    23934    360 | 11.280 % |
100.08/100.22	c |     24188 |  101128   557757  1547438 | 2147483647    24080    360 | 11.280 % |
100.78/100.93	c |     24348 |  101128   557757  1547438 | 2147483647    24240    360 | 11.280 % |
101.67/101.86	c |     24525 |  101128   557757  1547438 | 2147483647    24417    361 | 11.280 % |
102.27/102.42	c |     24720 |  101128   557757  1547438 | 2147483647    24612    360 | 11.280 % |
102.97/103.14	c |     24932 |  101128   557757  1547438 | 2147483647    24824    362 | 11.280 % |
103.77/103.98	c |     25165 |  101128   557757  1547438 | 2147483647    25057    362 | 11.280 % |
105.17/105.31	c |     25421 |  101128   557757  1547438 | 2147483647    25313    362 | 11.280 % |
106.27/106.42	c |     25702 |  101015   556743  1544734 | 2147483647    25583    362 | 11.379 % |
107.87/108.02	c |     26011 |  101014   556743  1544734 | 2147483647    25891    367 | 11.380 % |
108.97/109.14	c |     26351 |  101014   556743  1544734 | 2147483647    26231    370 | 11.380 % |
110.97/111.19	c |     26723 |  101014   556743  1544734 | 2147483647    26603    383 | 11.380 % |
112.97/113.19	c |     27132 |  101012   556743  1544734 | 2147483647    27010    384 | 11.381 % |
114.97/115.14	c |     27583 |  101012   556743  1544734 | 2147483647    27461    389 | 11.381 % |
115.07/115.28	c |     27684 |  101012   556743  1544734 | 2147483647    27562    389 | 11.381 % |
115.38/115.52	c |     27795 |  101012   556743  1544734 | 2147483647    27673    388 | 11.381 % |
115.77/116.00	c |     27916 |  101012   556743  1544734 | 2147483647    27794    389 | 11.381 % |
116.17/116.39	c |     28049 |  101012   556743  1544734 | 2147483647    27927    388 | 11.381 % |
116.77/116.92	c |     28202 |  101007   556743  1544734 | 2147483647    28079    387 | 11.401 % |
117.67/117.84	c |     28364 |  101007   556743  1544734 | 2147483647    28241    389 | 11.401 % |
119.27/119.44	c |     28540 |  100990   556596  1544367 | 2147483647    28409    393 | 11.401 % |
119.97/120.18	c |     28733 |  100990   556596  1544367 | 2147483647    28602    395 | 11.401 % |
120.96/121.17	c |     28947 |  100990   556596  1544367 | 2147483647    28816    397 | 11.401 % |
122.06/122.24	c |     29185 |  100990   556596  1544367 | 2147483647    29054    399 | 11.401 % |
123.37/123.58	c |     29441 |  100990   556596  1544367 | 2147483647    29310    401 | 11.401 % |
124.57/124.71	c |     29723 |  100990   556596  1544367 | 2147483647    29591    402 | 11.414 % |
126.27/126.43	c |     30032 |  100990   556596  1544367 | 2147483647    29900    407 | 11.414 % |
127.66/127.81	c |     30373 |  100990   556596  1544367 | 2147483647    30241    410 | 11.414 % |
129.06/129.29	c |     30745 |  100990   556596  1544367 | 2147483647    30613    415 | 11.414 % |
130.56/130.72	c |     31154 |  100990   556596  1544367 | 2147483647    31022    416 | 11.414 % |
133.37/133.57	c |     31603 |  100990   556596  1544367 | 2147483647    31471    423 | 11.414 % |
135.17/135.33	c |     32097 |  100975   556497  1544104 | 2147483647    31965    421 | 11.414 % |
135.46/135.64	c |     32197 |  100975   556497  1544104 | 2147483647    32065    420 | 11.414 % |
136.06/136.23	c |     32307 |  100975   556497  1544104 | 2147483647    32175    420 | 11.414 % |
136.46/136.61	c |     32428 |  100975   556497  1544104 | 2147483647    32296    419 | 11.414 % |
136.86/137.06	c |     32563 |  100975   556497  1544104 | 2147483647    32431    418 | 11.414 % |
137.27/137.50	c |     32709 |  100975   556497  1544104 | 2147483647    32577    417 | 11.414 % |
138.37/138.50	c |     32869 |  100975   556497  1544104 | 2147483647    32737    416 | 11.414 % |
139.47/139.65	c |     33045 |  100965   556497  1544104 | 2147483647    32912    416 | 11.514 % |
140.26/140.45	c |     33238 |  100964   556497  1544104 | 2147483647    33104    416 | 11.515 % |
141.27/141.49	c |     33452 |  100964   556497  1544104 | 2147483647    33318    417 | 11.515 % |
142.27/142.43	c |     33685 |  100964   556497  1544104 | 2147483647    33551    420 | 11.515 % |
143.96/144.16	c |     33945 |  100964   556497  1544104 | 2147483647    33811    421 | 11.515 % |
144.75/144.90	c |     34232 |  100964   556497  1544104 | 2147483647    34098    421 | 11.515 % |
146.25/146.40	c |     34541 |  100964   556497  1544104 | 2147483647    34407    424 | 11.515 % |
147.36/147.54	c |     34880 |  100964   556497  1544104 | 2147483647    34746    425 | 11.515 % |
149.55/149.70	c |     35252 |  100964   556497  1544104 | 2147483647    35118    429 | 11.515 % |
151.66/151.83	c |     35664 |  100859   555924  1542502 | 2147483647    35529    432 | 11.516 % |
153.65/153.85	c |     36114 |  100859   555924  1542502 | 2147483647    35979    436 | 11.516 % |
156.45/156.62	c |     36612 |  100858   555924  1542502 | 2147483647    36476    436 | 11.518 % |
159.15/159.37	c |     37154 |  100858   555924  1542502 | 2147483647    37018    439 | 11.518 % |
159.75/159.94	c |     37255 |  100858   555924  1542502 | 2147483647    37119    440 | 11.518 % |
160.35/160.57	c |     37365 |  100858   555924  1542502 | 2147483647    37229    440 | 11.518 % |
160.95/161.16	c |     37488 |  100858   555924  1542502 | 2147483647    37352    442 | 11.518 % |
161.35/161.55	c |     37622 |  100858   555924  1542502 | 2147483647    37486    441 | 11.518 % |
162.25/162.40	c |     37768 |  100858   555924  1542502 | 2147483647    37632    441 | 11.518 % |
163.15/163.38	c |     37928 |  100858   555924  1542502 | 2147483647    37792    445 | 11.518 % |
163.85/164.05	c |     38104 |  100858   555924  1542502 | 2147483647    37968    445 | 11.518 % |
165.05/165.27	c |     38297 |  100857   555924  1542502 | 2147483647    38160    446 | 11.519 % |
166.15/166.34	c |     38514 |  100857   555924  1542502 | 2147483647    38377    447 | 11.519 % |
167.35/167.55	c |     38748 |  100857   555924  1542502 | 2147483647    38611    448 | 11.519 % |
168.45/168.70	c |     39004 |  100857   555924  1542502 | 2147483647    38867    450 | 11.519 % |
169.64/169.85	c |     39287 |  100854   555892  1542427 | 2147483647    39149    449 | 11.522 % |
171.75/171.98	c |     39602 |  100854   555892  1542427 | 2147483647    39464    450 | 11.522 % |
173.45/173.60	c |     39942 |  100854   555892  1542427 | 2147483647    39804    450 | 11.522 % |
175.35/175.53	c |     40315 |  100854   555892  1542427 | 2147483647    40177    452 | 11.522 % |
177.75/177.93	c |     40725 |  100853   555892  1542427 | 2147483647    40586    455 | 11.523 % |
179.94/180.18	c |     41174 |  100853   555892  1542427 | 2147483647    41035    457 | 11.523 % |
182.84/183.07	c |     41667 |  100850   555892  1542427 | 2147483647    41527    460 | 11.525 % |
185.94/186.11	c |     42210 |  100850   555892  1542427 | 2147483647    42070    462 | 11.525 % |
188.43/188.68	c |     42806 |  100850   555892  1542427 | 2147483647    42666    467 | 11.525 % |
189.04/189.21	c |     42908 |  100850   555892  1542427 | 2147483647    42768    468 | 11.525 % |
189.44/189.63	c |     43019 |  100850   555892  1542427 | 2147483647    42879    468 | 11.525 % |
189.64/189.80	c |     43140 |  100850   555892  1542427 | 2147483647    43000    467 | 11.525 % |
190.44/190.60	c |     43274 |  100850   555892  1542427 | 2147483647    43134    467 | 11.525 % |
191.24/191.45	c |     43421 |  100848   555850  1542332 | 2147483647    43280    468 | 11.525 % |
192.04/192.24	c |     43582 |  100848   555850  1542332 | 2147483647    43441    467 | 11.525 % |
192.54/192.70	c |     43758 |  100848   555850  1542332 | 2147483647    43617    466 | 11.525 % |
193.74/193.99	c |     43951 |  100848   555850  1542332 | 2147483647    43810    468 | 11.525 % |
194.54/194.71	c |     44163 |  100848   555850  1542332 | 2147483647    44022    467 | 11.525 % |
195.34/195.58	c |     44398 |  100845   555850  1542332 | 2147483647    44256    465 | 11.539 % |
196.54/196.73	c |     44654 |  100844   555850  1542332 | 2147483647    44511    465 | 11.540 % |
198.13/198.31	c |     44936 |  100844   555850  1542332 | 2147483647    44793    466 | 11.540 % |
199.43/199.60	c |     45245 |  100844   555850  1542332 | 2147483647    45102    466 | 11.540 % |
200.03/200.24	c |     45584 |  100843   555850  1542332 | 2147483647    45440    464 | 11.541 % |
202.63/202.84	c |     45958 |  100843   555850  1542332 | 2147483647    45814    467 | 11.541 % |
204.53/204.74	c |     46369 |  100843   555850  1542332 | 2147483647    46225    468 | 11.541 % |
206.93/207.15	c |     46818 |  100842   555850  1542332 | 2147483647    46673    471 | 11.542 % |
209.12/209.38	c |     47311 |  100842   555850  1542332 | 2147483647    47166    474 | 11.542 % |
212.03/212.25	c |     47853 |  100841   555850  1542332 | 2147483647    47707    478 | 11.543 % |
214.83/215.03	c |     48452 |  100840   555850  1542332 | 2147483647    48305    480 | 11.545 % |
220.53/220.76	c |     49108 |  100840   555850  1542332 | 2147483647    48961    489 | 11.545 % |
221.33/221.60	c |     49208 |  100825   555702  1541948 | 2147483647    49055    489 | 11.545 % |
221.83/222.07	c |     49318 |  100825   555702  1541948 | 2147483647    49165    489 | 11.545 % |
222.63/222.80	c |     49440 |  100825   555702  1541948 | 2147483647    49287    489 | 11.545 % |
222.93/223.10	c |     49574 |  100825   555702  1541948 | 2147483647    49421    489 | 11.545 % |
223.33/223.52	c |     49720 |  100825   555702  1541948 | 2147483647    49567    488 | 11.545 % |
224.33/224.51	c |     49885 |  100825   555702  1541948 | 2147483647    49732    488 | 11.545 % |
225.23/225.46	c |     50061 |  100825   555702  1541948 | 2147483647    49908    488 | 11.545 % |
225.92/226.14	c |     50254 |  100825   555702  1541948 | 2147483647    50101    488 | 11.545 % |
227.12/227.35	c |     50466 |  100825   555702  1541948 | 2147483647    50313    488 | 11.545 % |
228.33/228.52	c |     50699 |  100825   555702  1541948 | 2147483647    50546    489 | 11.545 % |
229.92/230.12	c |     50955 |  100825   555702  1541948 | 2147483647    50802    491 | 11.545 % |
230.82/231.08	c |     51237 |  100824   555702  1541948 | 2147483647    51083    490 | 11.546 % |
232.32/232.52	c |     51546 |  100823   555702  1541948 | 2147483647    51391    490 | 11.547 % |
234.41/234.61	c |     51889 |  100822   555702  1541948 | 2147483647    51733    490 | 11.548 % |
236.32/236.50	c |     52261 |  100822   555702  1541948 | 2147483647    52105    493 | 11.548 % |
238.91/239.11	c |     52671 |  100822   555702  1541948 | 2147483647    52515    497 | 11.548 % |
241.91/242.10	c |     53121 |  100822   555702  1541948 | 2147483647    52965    499 | 11.548 % |
244.21/244.49	c |     53615 |  100822   555702  1541948 | 2147483647    53459    502 | 11.548 % |
247.11/247.40	c |     54159 |  100820   555702  1541948 | 2147483647    54002    504 | 11.568 % |
249.41/249.69	c |     54756 |  100817   555702  1541948 | 2147483647    54598    504 | 11.571 % |
252.61/252.83	c |     55413 |  100710   555702  1541948 | 2147483647    55253    506 | 11.673 % |
256.31/256.57	c |     56139 |  100678   555043  1540534 | 2147483647    55972    509 | 11.684 % |
256.90/257.18	c |     56239 |  100678   555043  1540534 | 2147483647    56072    509 | 11.684 % |
257.71/257.93	c |     56350 |  100677   555043  1540534 | 2147483647    56182    509 | 11.685 % |
258.32/258.58	c |     56473 |  100677   555043  1540534 | 2147483647    56305    509 | 11.685 % |
258.81/259.03	c |     56606 |  100677   555043  1540534 | 2147483647    56438    508 | 11.685 % |
259.41/259.65	c |     56754 |  100677   555043  1540534 | 2147483647    56586    509 | 11.685 % |
260.31/260.57	c |     56916 |  100677   555043  1540534 | 2147483647    56748    509 | 11.685 % |
261.21/261.43	c |     57093 |  100677   555043  1540534 | 2147483647    56925    510 | 11.685 % |
262.51/262.70	c |     57290 |  100677   555043  1540534 | 2147483647    57122    512 | 11.685 % |
263.61/263.88	c |     57504 |  100677   555043  1540534 | 2147483647    57336    513 | 11.685 % |
264.50/264.72	c |     57737 |  100677   555043  1540534 | 2147483647    57569    513 | 11.685 % |
264.91/265.18	c |     57996 |  100677   555043  1540534 | 2147483647    57828    512 | 11.685 % |
266.10/266.30	c |     58277 |  100677   555043  1540534 | 2147483647    58109    511 | 11.685 % |
267.30/267.59	c |     58589 |  100677   555043  1540534 | 2147483647    58421    512 | 11.685 % |
269.31/269.50	c |     58930 |  100677   555043  1540534 | 2147483647    58762    513 | 11.685 % |
270.61/270.88	c |     59302 |  100677   555043  1540534 | 2147483647    59134    512 | 11.685 % |
273.00/273.29	c |     59714 |  100677   555043  1540534 | 2147483647    59546    515 | 11.685 % |
276.20/276.44	c |     60163 |  100677   555043  1540534 | 2147483647    59995    517 | 11.685 % |
279.20/279.46	c |     60656 |  100677   555043  1540534 | 2147483647    60488    521 | 11.685 % |
282.89/283.18	c |     61199 |  100677   555043  1540534 | 2147483647    61031    525 | 11.685 % |
286.10/286.30	c |     61795 |  100677   555043  1540534 | 2147483647    61627    526 | 11.685 % |
289.59/289.85	c |     62454 |  100674   555043  1540534 | 2147483647    62284    527 | 11.702 % |
294.09/294.34	c |     63175 |  100646   554832  1539980 | 2147483647    63004    531 | 11.702 % |
299.69/299.94	c |     63967 |  100646   554832  1539980 | 2147483647    63796    534 | 11.702 % |
300.38/300.61	c |     64068 |  100646   554832  1539980 | 2147483647    63897    534 | 11.702 % |
300.88/301.11	c |     64178 |  100646   554832  1539980 | 2147483647    64007    534 | 11.702 % |
301.58/301.86	c |     64301 |  100644   554832  1539980 | 2147483647    64129    534 | 11.717 % |
302.19/302.45	c |     64434 |  100644   554832  1539980 | 2147483647    64262    534 | 11.717 % |
302.38/302.68	c |     64580 |  100644   554832  1539980 | 2147483647    64408    533 | 11.717 % |
303.49/303.70	c |     64740 |  100644   554832  1539980 | 2147483647    64568    533 | 11.717 % |
304.29/304.50	c |     64916 |  100644   554832  1539980 | 2147483647    64744    533 | 11.717 % |
305.49/305.78	c |     65110 |  100644   554832  1539980 | 2147483647    64938    534 | 11.717 % |
306.89/307.17	c |     65324 |  100644   554832  1539980 | 2147483647    65152    535 | 11.717 % |
308.18/308.42	c |     65558 |  100644   554832  1539980 | 2147483647    65386    536 | 11.717 % |
309.89/310.11	c |     65816 |  100644   554832  1539980 | 2147483647    65644    536 | 11.717 % |
311.58/311.80	c |     66097 |  100606   554832  1539980 | 2147483647    65924    537 | 11.763 % |
313.48/313.72	c |     66407 |  100606   554832  1539980 | 2147483647    66234    538 | 11.763 % |
315.29/315.51	c |     66748 |  100606   554832  1539980 | 2147483647    66575    539 | 11.763 % |
317.98/318.30	c |     67122 |  100602   554832  1539980 | 2147483647    66948    540 | 11.777 % |
320.38/320.66	c |     67531 |  100602   554832  1539980 | 2147483647    67357    541 | 11.777 % |
322.58/322.81	c |     67981 |  100601   554832  1539980 | 2147483647    67806    542 | 11.778 % |
325.38/325.69	c |     68474 |  100597   554832  1539980 | 2147483647    68297    543 | 11.784 % |
328.37/328.60	c |     69018 |  100597   554832  1539980 | 2147483647    68841    543 | 11.784 % |
332.07/332.30	c |     69616 |  100597   554832  1539980 | 2147483647    69439    546 | 11.784 % |
336.18/336.44	c |     70271 |  100597   554832  1539980 | 2147483647    70094    548 | 11.784 % |
340.47/340.79	c |     70993 |  100553   554331  1538818 | 2147483647    70812    548 | 11.784 % |
344.17/344.49	c |     71788 |  100552   554331  1538818 | 2147483647    71606    547 | 11.785 % |
350.07/350.37	c |     72659 |  100550   554331  1538818 | 2147483647    72476    550 | 11.823 % |
350.37/350.69	c |     72759 |  100550   554331  1538818 | 2147483647    72576    549 | 11.823 % |
350.67/350.95	c |     72870 |  100550   554331  1538818 | 2147483647    72687    549 | 11.823 % |
350.87/351.17	c |     72991 |  100550   554331  1538818 | 2147483647    72808    548 | 11.823 % |
351.17/351.43	c |     73124 |  100550   554331  1538818 | 2147483647    72941    547 | 11.823 % |
351.27/351.59	c |     73270 |  100550   554331  1538818 | 2147483647    73087    547 | 11.823 % |
352.07/352.35	c |     73433 |  100550   554331  1538818 | 2147483647    73250    546 | 11.823 % |
353.07/353.32	c |     73610 |  100550   554331  1538818 | 2147483647    73427    546 | 11.823 % |
354.26/354.50	c |     73808 |  100550   554331  1538818 | 2147483647    73625    547 | 11.823 % |
354.86/355.15	c |     74020 |  100550   554331  1538818 | 2147483647    73837    546 | 11.823 % |
355.26/355.51	c |     74256 |  100550   554331  1538818 | 2147483647    74073    545 | 11.823 % |
355.66/355.96	c |     74512 |  100550   554331  1538818 | 2147483647    74329    545 | 11.823 % |
357.27/357.53	c |     74793 |  100544   554331  1538818 | 2147483647    74609    544 | 11.864 % |
358.76/359.06	c |     75102 |  100544   554331  1538818 | 2147483647    74918    544 | 11.864 % |
361.76/362.05	c |     75443 |  100544   554331  1538818 | 2147483647    75259    545 | 11.864 % |
364.56/364.80	c |     75816 |  100543   554331  1538818 | 2147483647    75631    546 | 11.865 % |
366.56/366.84	c |     76225 |  100543   554331  1538818 | 2147483647    76040    548 | 11.865 % |
368.75/369.04	c |     76675 |  100543   554331  1538818 | 2147483647    76490    548 | 11.865 % |
371.85/372.15	c |     77172 |  100543   554331  1538818 | 2147483647    76987    549 | 11.865 % |
375.45/375.78	c |     77717 |  100542   554331  1538818 | 2147483647    77531    550 | 11.866 % |
378.74/379.05	c |     78315 |  100542   554331  1538818 | 2147483647    78129    552 | 11.866 % |
382.45/382.74	c |     78972 |  100542   554331  1538818 | 2147483647    78786    553 | 11.866 % |
386.95/387.22	c |     79692 |  100542   554331  1538818 | 2147483647    79506    556 | 11.866 % |
391.64/391.96	c |     80485 |  100541   554331  1538818 | 2147483647    80298    559 | 11.866 % |
397.34/397.67	c |     81356 |  100459   553911  1537818 | 2147483647    81133    563 | 11.866 % |
403.64/403.94	c |     82314 |  100459   553911  1537818 | 2147483647    82091    564 | 11.866 % |
404.14/404.49	c |     82414 |  100459   553911  1537818 | 2147483647    82191    565 | 11.866 % |
404.84/405.15	c |     82526 |  100459   553911  1537818 | 2147483647    82303    565 | 11.866 % |
405.44/405.72	c |     82651 |  100459   553911  1537818 | 2147483647    82428    565 | 11.866 % |
406.14/406.45	c |     82784 |  100459   553911  1537818 | 2147483647    82561    565 | 11.866 % |
407.04/407.31	c |     82930 |  100459   553911  1537818 | 2147483647    82707    565 | 11.866 % |
408.24/408.55	c |     83093 |  100459   553911  1537818 | 2147483647    82870    565 | 11.866 % |
409.04/409.37	c |     83270 |  100459   553911  1537818 | 2147483647    83047    565 | 11.866 % |
409.83/410.20	c |     83463 |  100459   553911  1537818 | 2147483647    83240    565 | 11.866 % |
410.34/410.67	c |     83682 |  100459   553911  1537818 | 2147483647    83459    564 | 11.866 % |
410.84/411.10	c |     83917 |  100459   553911  1537818 | 2147483647    83694    563 | 11.866 % |
412.84/413.14	c |     84173 |  100459   553911  1537818 | 2147483647    83950    564 | 11.866 % |
414.63/414.91	c |     84454 |  100458   553911  1537818 | 2147483647    84230    565 | 11.867 % |
416.33/416.67	c |     84766 |  100458   553911  1537818 | 2147483647    84542    566 | 11.867 % |
418.23/418.55	c |     85105 |  100458   553911  1537818 | 2147483647    84881    566 | 11.867 % |
421.42/421.79	c |     85479 |  100458   553911  1537818 | 2147483647    85255    568 | 11.867 % |
424.23/424.53	c |     85888 |  100458   553911  1537818 | 2147483647    85664    570 | 11.867 % |
428.03/428.32	c |     86337 |  100457   553911  1537818 | 2147483647    86112    573 | 11.868 % |
430.92/431.27	c |     86830 |  100457   553911  1537818 | 2147483647    86605    574 | 11.868 % |
434.23/434.51	c |     87373 |  100456   553911  1537818 | 2147483647    87147    576 | 11.869 % |
439.52/439.83	c |     87971 |  100456   553911  1537818 | 2147483647    87745    575 | 11.869 % |
443.12/443.42	c |     88630 |  100361   553911  1537818 | 2147483647    88402    576 | 11.995 % |
448.02/448.36	c |     89352 |  100361   553911  1537818 | 2147483647    89124    576 | 11.995 % |
453.21/453.53	c |     90147 |  100361   553911  1537818 | 2147483647    89919    581 | 11.995 % |
457.61/457.97	c |     91021 |  100311   552679  1534569 | 2147483647    90711    581 | 11.996 % |
463.51/463.84	c |     91979 |  100311   552679  1534569 | 2147483647    91669    582 | 11.996 % |
470.51/470.89	c |     93034 |  100307   552679  1534569 | 2147483647    92722    585 | 12.038 % |
470.90/471.27	c |     93135 |  100307   552679  1534569 | 2147483647    92823    585 | 12.038 % |
471.61/471.92	c |     93245 |  100307   552679  1534569 | 2147483647    92933    585 | 12.038 % |
472.30/472.62	c |     93366 |  100307   552679  1534569 | 2147483647    93054    585 | 12.038 % |
472.90/473.24	c |     93500 |  100307   552679  1534569 | 2147483647    93188    585 | 12.038 % |
473.81/474.15	c |     93646 |  100307   552679  1534569 | 2147483647    93334    585 | 12.038 % |
474.81/475.15	c |     93806 |  100307   552679  1534569 | 2147483647    93494    584 | 12.038 % |
476.01/476.32	c |     93984 |  100306   552679  1534569 | 2147483647    93671    584 | 12.038 % |
476.80/477.18	c |     94178 |  100306   552679  1534569 | 2147483647    93865    584 | 12.038 % |
478.20/478.51	c |     94394 |  100306   552679  1534569 | 2147483647    94081    586 | 12.038 % |
479.20/479.57	c |     94628 |  100306   552679  1534569 | 2147483647    94315    586 | 12.038 % |
480.80/481.17	c |     94885 |  100306   552679  1534569 | 2147483647    94572    586 | 12.038 % |
483.10/483.48	c |     95167 |  100306   552679  1534569 | 2147483647    94854    587 | 12.038 % |
485.20/485.55	c |     95477 |  100306   552679  1534569 | 2147483647    95164    588 | 12.038 % |
487.40/487.71	c |     95817 |  100306   552679  1534569 | 2147483647    95504    589 | 12.038 % |
489.60/489.99	c |     96189 |  100305   552679  1534569 | 2147483647    95875    590 | 12.039 % |
491.60/491.98	c |     96600 |  100305   552679  1534569 | 2147483647    96286    591 | 12.039 % |
495.30/495.63	c |     97055 |  100304   552679  1534569 | 2147483647    96740    592 | 12.040 % |
498.79/499.19	c |     97550 |  100304   552679  1534569 | 2147483647    97235    594 | 12.040 % |
501.19/501.54	c |     98092 |  100304   552679  1534569 | 2147483647    97777    593 | 12.040 % |
504.59/504.95	c |     98688 |  100304   552679  1534569 | 2147483647    98373    595 | 12.040 % |
508.99/509.33	c |     99343 |  100303   552679  1534569 | 2147483647    99027    596 | 12.041 % |
513.19/513.59	c |    100063 |  100303   552679  1534569 | 2147483647    99747    596 | 12.041 % |
518.08/518.46	c |    100855 |  100303   552679  1534569 | 2147483647   100539    597 | 12.041 % |
523.78/524.15	c |    101732 |  100303   552679  1534569 | 2147483647   101416    601 | 12.041 % |
529.58/529.90	c |    102692 |  100302   552679  1534569 | 2147483647   102375    604 | 12.042 % |
534.08/534.43	c |    103747 |  100296   552679  1534569 | 2147483647   103428    601 | 12.098 % |
541.88/542.30	c |    104907 |  100195   551972  1532815 | 2147483647   104578    605 | 12.098 % |
542.37/542.79	c |    105008 |  100195   551972  1532815 | 2147483647   104679    604 | 12.098 % |
542.98/543.38	c |    105121 |  100195   551972  1532815 | 2147483647   104792    604 | 12.098 % |
543.77/544.16	c |    105242 |  100195   551972  1532815 | 2147483647   104913    604 | 12.098 % |
544.57/544.99	c |    105375 |  100195   551972  1532815 | 2147483647   105046    604 | 12.098 % |
545.98/546.33	c |    105523 |  100195   551972  1532815 | 2147483647   105194    604 | 12.098 % |
546.68/547.07	c |    105684 |  100195   551972  1532815 | 2147483647   105355    604 | 12.098 % |
547.87/548.26	c |    105860 |  100195   551972  1532815 | 2147483647   105531    605 | 12.098 % |
549.17/549.55	c |    106055 |  100195   551972  1532815 | 2147483647   105726    605 | 12.098 % |
550.37/550.74	c |    106268 |  100195   551972  1532815 | 2147483647   105939    604 | 12.098 % |
551.47/551.87	c |    106501 |  100195   551972  1532815 | 2147483647   106172    604 | 12.098 % |
552.67/553.06	c |    106758 |  100195   551972  1532815 | 2147483647   106429    603 | 12.098 % |
554.96/555.40	c |    107039 |  100195   551972  1532815 | 2147483647   106710    603 | 12.098 % |
555.96/556.34	c |    107350 |  100195   551972  1532815 | 2147483647   107021    602 | 12.098 % |
558.36/558.79	c |    107690 |  100195   551972  1532815 | 2147483647   107361    604 | 12.098 % |
560.67/561.03	c |    108063 |  100195   551972  1532815 | 2147483647   107734    604 | 12.098 % |
563.36/563.76	c |    108473 |  100193   551972  1532815 | 2147483647   108142    603 | 12.100 % |
566.76/567.18	c |    108922 |  100193   551972  1532815 | 2147483647   108591    605 | 12.100 % |
569.66/570.00	c |    109415 |  100193   551972  1532815 | 2147483647   109084    606 | 12.100 % |
573.46/573.82	c |    109957 |  100192   551972  1532815 | 2147483647   109625    606 | 12.101 % |
577.95/578.36	c |    110553 |  100192   551972  1532815 | 2147483647   110221    608 | 12.101 % |
583.36/583.78	c |    111209 |  100191   551972  1532815 | 2147483647   110876    609 | 12.102 % |
587.86/588.26	c |    111929 |  100185   551972  1532815 | 2147483647   111595    610 | 12.608 % |
592.85/593.24	c |    112721 |  100157   551972  1532815 | 2147483647   112386    611 | 12.653 % |
598.04/598.47	c |    113593 |  100157   551972  1532815 | 2147483647   113258    614 | 12.653 % |
605.34/605.76	c |    114551 |  100157   551972  1532815 | 2147483647   114216    616 | 12.653 % |
610.44/610.89	c |    115604 |  100157   551972  1532815 | 2147483647   115269    618 | 12.653 % |
618.23/618.69	c |    116762 |  100157   551972  1532815 | 2147483647   116427    621 | 12.653 % |
627.34/627.71	c |    118035 |  100151   551972  1532815 | 2147483647   117695    622 | 12.672 % |
627.54/627.96	c |    118135 |  100150   551972  1532815 | 2147483647   117794    622 | 12.673 % |
628.03/628.45	c |    118246 |  100150   551972  1532815 | 2147483647   117905    621 | 12.673 % |
628.43/628.86	c |    118371 |  100150   551972  1532815 | 2147483647   118030    621 | 12.673 % |
628.74/629.13	c |    118504 |  100150   551972  1532815 | 2147483647   118163    620 | 12.673 % |
630.03/630.43	c |    118652 |  100150   551972  1532815 | 2147483647   118311    620 | 12.673 % |
631.03/631.43	c |    118821 |  100150   551972  1532815 | 2147483647   118480    620 | 12.673 % |
632.03/632.41	c |    118999 |  100150   551972  1532815 | 2147483647   118658    620 | 12.673 % |
632.63/633.06	c |    119192 |  100150   551972  1532815 | 2147483647   118851    619 | 12.673 % |
634.02/634.49	c |    119406 |  100150   551972  1532815 | 2147483647   119065    620 | 12.673 % |
634.52/634.97	c |    119639 |  100150   551972  1532815 | 2147483647   119298    619 | 12.673 % |
635.33/635.79	c |    119899 |  100150   551972  1532815 | 2147483647   119558    618 | 12.673 % |
636.03/636.41	c |    120180 |  100150   551972  1532815 | 2147483647   119839    617 | 12.673 % |
637.33/637.70	c |    120490 |  100150   551972  1532815 | 2147483647   120149    617 | 12.673 % |
639.83/640.28	c |    120829 |   99540   548011  1522497 | 2147483647   120449    618 | 12.673 % |
642.22/642.65	c |    121202 |   99539   548011  1522497 | 2147483647   120821    619 | 12.674 % |
645.03/645.47	c |    121611 |   99539   548011  1522497 | 2147483647   121230    619 | 12.674 % |
648.53/649.00	c |    122062 |   99539   548011  1522497 | 2147483647   121681    619 | 12.674 % |
651.63/652.07	c |    122555 |   99539   548011  1522497 | 2147483647   122174    620 | 12.674 % |
654.42/654.81	c |    123098 |   99539   548011  1522497 | 2147483647   122717    619 | 12.674 % |
658.22/658.61	c |    123695 |   99539   548011  1522497 | 2147483647   123314    620 | 12.674 % |
662.62/663.00	c |    124351 |   99539   548011  1522497 | 2147483647   123970    620 | 12.674 % |
667.62/668.05	c |    125071 |   99539   548011  1522497 | 2147483647   124690    622 | 12.674 % |
672.72/673.11	c |    125863 |   99539   548011  1522497 | 2147483647   125482    623 | 12.674 % |
679.52/679.91	c |    126734 |   99538   548011  1522497 | 2147483647   126352    625 | 12.674 % |
686.01/686.48	c |    127693 |   99536   548011  1522497 | 2147483647   127310    627 | 12.678 % |
693.60/694.05	c |    128747 |   99493   548011  1522497 | 2147483647   128363    629 | 12.720 % |
702.80/703.25	c |    129905 |   99493   548011  1522497 | 2147483647   129521    634 | 12.720 % |
712.19/712.65	c |    131184 |   99493   548011  1522497 | 2147483647   130800    637 | 12.720 % |
720.19/720.61	c |    132584 |   99492   548011  1522497 | 2147483647   132197    637 | 12.904 % |
720.99/721.42	c |    132687 |   99492   548011  1522497 | 2147483647   132300    637 | 12.904 % |
721.99/722.42	c |    132797 |   99491   548011  1522497 | 2147483647   132409    637 | 12.905 % |
722.89/723.31	c |    132919 |   99491   548011  1522497 | 2147483647   132531    637 | 12.905 % |
723.79/724.26	c |    133056 |   99491   548011  1522497 | 2147483647   132668    638 | 12.905 % |
724.60/725.10	c |    133203 |   99491   548011  1522497 | 2147483647   132815    638 | 12.905 % |
725.30/725.70	c |    133363 |   99491   548011  1522497 | 2147483647   132975    637 | 12.905 % |
726.49/726.96	c |    133541 |   99491   548011  1522497 | 2147483647   133153    637 | 12.905 % |
727.29/727.75	c |    133736 |   99490   548011  1522497 | 2147483647   133347    637 | 12.906 % |
728.59/729.05	c |    133950 |   99490   548011  1522497 | 2147483647   133561    637 | 12.906 % |
730.59/731.05	c |    134183 |   99490   548011  1522497 | 2147483647   133794    637 | 12.906 % |
732.38/732.87	c |    134439 |   99490   548011  1522497 | 2147483647   134050    638 | 12.906 % |
734.39/734.81	c |    134720 |   99489   548011  1522497 | 2147483647   134330    638 | 12.907 % |
736.89/737.30	c |    135031 |   99489   548011  1522497 | 2147483647   134641    638 | 12.907 % |
738.79/739.22	c |    135374 |   99489   548011  1522497 | 2147483647   134984    637 | 12.907 % |
740.39/740.80	c |    135746 |   99489   548011  1522497 | 2147483647   135356    637 | 12.907 % |
743.28/743.78	c |    136155 |   99489   548011  1522497 | 2147483647   135765    638 | 12.907 % |
746.19/746.67	c |    136604 |   99489   548011  1522497 | 2147483647   136214    639 | 12.907 % |
749.69/750.12	c |    137098 |   99489   548011  1522497 | 2147483647   136708    639 | 12.907 % |
753.28/753.73	c |    137640 |   99489   548011  1522497 | 2147483647   137250    640 | 12.907 % |
758.19/758.60	c |    138236 |   99489   548011  1522497 | 2147483647   137846    640 | 12.907 % |
761.68/762.20	c |    138892 |   99489   548011  1522497 | 2147483647   138502    640 | 12.907 % |
767.08/767.53	c |    139613 |   99489   548011  1522497 | 2147483647   139222    640 | 12.925 % |
773.46/773.92	c |    140405 |   99251   546496  1518537 | 2147483647   139973    641 | 12.928 % |
779.17/779.66	c |    141276 |   99250   546496  1518537 | 2147483647   140843    643 | 12.929 % |
785.26/785.76	c |    142236 |   99248   546496  1518537 | 2147483647   141801    644 | 12.931 % |
792.86/793.35	c |    143289 |   99246   546496  1518537 | 2147483647   142852    644 | 12.932 % |
801.06/801.50	c |    144450 |   99246   546496  1518537 | 2147483647   144013    645 | 12.932 % |
809.56/810.07	c |    145724 |   99231   546496  1518537 | 2147483647   145286    647 | 13.258 % |
819.86/820.30	c |    147125 |   99230   546496  1518537 | 2147483647   146685    649 | 13.260 % |
828.85/829.32	c |    148665 |   99228   546496  1518537 | 2147483647   148223    653 | 13.261 % |
829.45/829.99	c |    148765 |   99228   546496  1518537 | 2147483647   148323    652 | 13.261 % |
830.35/830.87	c |    148876 |   99228   546496  1518537 | 2147483647   148434    653 | 13.261 % |
831.44/831.94	c |    148997 |   99228   546496  1518537 | 2147483647   148555    653 | 13.261 % |
832.45/832.93	c |    149134 |   99228   546496  1518537 | 2147483647   148692    653 | 13.261 % |
833.35/833.85	c |    149280 |   99228   546496  1518537 | 2147483647   148838    653 | 13.261 % |
834.95/835.42	c |    149444 |   99228   546496  1518537 | 2147483647   149002    653 | 13.261 % |
836.35/836.83	c |    149623 |   99228   546496  1518537 | 2147483647   149181    653 | 13.261 % |
838.04/838.55	c |    149816 |   99228   546496  1518537 | 2147483647   149374    653 | 13.261 % |
840.04/840.54	c |    150031 |   99228   546496  1518537 | 2147483647   149589    654 | 13.261 % |
842.05/842.53	c |    150267 |   99228   546496  1518537 | 2147483647   149825    654 | 13.261 % |
843.65/844.16	c |    150523 |   99228   546496  1518537 | 2147483647   150081    654 | 13.261 % |
844.84/845.32	c |    150804 |   99228   546496  1518537 | 2147483647   150362    654 | 13.261 % |
846.34/846.85	c |    151117 |   99228   546496  1518537 | 2147483647   150675    653 | 13.261 % |
847.94/848.43	c |    151458 |   99228   546496  1518537 | 2147483647   151016    653 | 13.261 % |
850.85/851.31	c |    151832 |   99228   546496  1518537 | 2147483647   151390    653 | 13.261 % |
854.04/854.54	c |    152241 |   99228   546496  1518537 | 2147483647   151799    653 | 13.261 % |
857.45/857.99	c |    152692 |   99228   546496  1518537 | 2147483647   152250    654 | 13.261 % |
862.04/862.51	c |    153185 |   99228   546496  1518537 | 2147483647   152743    655 | 13.261 % |
866.23/866.76	c |    153727 |   99227   546496  1518537 | 2147483647   153284    655 | 13.262 % |
870.23/870.78	c |    154326 |   99227   546496  1518537 | 2147483647   153883    655 | 13.262 % |
875.63/876.12	c |    154982 |   99227   546496  1518537 | 2147483647   154539    656 | 13.262 % |
881.33/881.86	c |    155707 |   99227   546496  1518537 | 2147483647   155264    656 | 13.262 % |
887.32/887.83	c |    156500 |   99227   546496  1518537 | 2147483647   156057    658 | 13.262 % |
894.32/894.87	c |    157372 |   99226   546496  1518537 | 2147483647   156928    659 | 13.263 % |
902.92/903.41	c |    158330 |   99226   546496  1518537 | 2147483647   157886    660 | 13.263 % |
911.51/912.01	c |    159383 |   99222   546496  1518537 | 2147483647   158938    661 | 13.277 % |
920.61/921.12	c |    160545 |   99222   546496  1518537 | 2147483647   160100    663 | 13.277 % |
929.41/929.96	c |    161818 |   99222   546496  1518537 | 2147483647   161373    665 | 13.277 % |
940.81/941.31	c |    163218 |   98850   544072  1512353 | 2147483647   162713    665 | 13.278 % |
948.70/949.22	c |    164758 |   98849   544072  1512353 | 2147483647   164252    663 | 13.279 % |
962.29/962.90	c |    166453 |   98849   544072  1512353 | 2147483647   165946    667 | 13.280 % |
963.19/963.79	c |    166554 |   98849   544072  1512353 | 2147483647   166047    667 | 13.280 % |
964.49/965.01	c |    166664 |   98849   544072  1512353 | 2147483647   166157    667 | 13.280 % |
965.69/966.25	c |    166785 |   98849   544072  1512353 | 2147483647   166278    667 | 13.280 % |
966.90/967.45	c |    166919 |   98848   544072  1512353 | 2147483647   166411    667 | 13.281 % |
967.90/968.47	c |    167065 |   98848   544072  1512353 | 2147483647   166557    667 | 13.281 % |
969.40/969.93	c |    167225 |   98848   544072  1512353 | 2147483647   166717    667 | 13.281 % |
971.39/971.91	c |    167402 |   98848   544072  1512353 | 2147483647   166894    667 | 13.281 % |
973.09/973.62	c |    167596 |   98848   544072  1512353 | 2147483647   167088    667 | 13.281 % |
974.89/975.40	c |    167809 |   98848   544072  1512353 | 2147483647   167301    667 | 13.281 % |
976.89/977.49	c |    168043 |   98848   544072  1512353 | 2147483647   167535    667 | 13.281 % |
979.49/980.07	c |    168301 |   98848   544072  1512353 | 2147483647   167793    668 | 13.281 % |
981.79/982.39	c |    168582 |   98848   544072  1512353 | 2147483647   168074    668 | 13.281 % |
984.19/984.72	c |    168892 |   98848   544072  1512353 | 2147483647   168384    669 | 13.281 % |
986.49/987.04	c |    169231 |   98848   544072  1512353 | 2147483647   168723    669 | 13.281 % |
988.98/989.56	c |    169604 |   98848   544072  1512353 | 2147483647   169096    669 | 13.281 % |
992.38/992.96	c |    170014 |   98848   544072  1512353 | 2147483647   169506    669 | 13.281 % |
995.69/996.23	c |    170464 |   98848   544072  1512353 | 2147483647   169956    669 | 13.281 % |
999.38/999.99	c |    170958 |   98846   544072  1512353 | 2147483647   170448    669 | 13.284 % |
1003.57/1004.13	c |    171504 |   98846   544072  1512353 | 2147483647   170994    670 | 13.284 % |
1007.47/1008.04	c |    172102 |   98846   544072  1512353 | 2147483647   171592    670 | 13.284 % |
1011.98/1012.54	c |    172760 |   98846   544072  1512353 | 2147483647   172250    669 | 13.284 % |
1018.37/1018.96	c |    173480 |   98846   544072  1512353 | 2147483647   172970    670 | 13.284 % |
1024.27/1024.89	c |    174273 |   98846   544072  1512353 | 2147483647   173763    670 | 13.284 % |
1030.96/1031.54	c |    175149 |   98845   544072  1512353 | 2147483647   174638    671 | 13.296 % |
1039.37/1039.96	c |    176108 |   98842   544072  1512353 | 2147483647   175596    672 | 13.307 % |
1047.36/1047.92	c |    177162 |   98842   544072  1512353 | 2147483647   176650    674 | 13.307 % |
1057.15/1057.77	c |    178320 |   98842   544072  1512353 | 2147483647   177808    674 | 13.307 % |
1067.65/1068.23	c |    179593 |   98841   544072  1512353 | 2147483647   179080    675 | 13.308 % |
1076.45/1077.07	c |    180993 |   98839   544072  1512353 | 2147483647   180478    677 | 13.323 % |
1090.34/1090.95	c |    182537 |   98810   544072  1512353 | 2147483647   182020    681 | 13.380 % |
1103.04/1103.67	c |    184231 |   98809   544072  1512353 | 2147483647   183713    683 | 13.381 % |
1116.14/1116.78	c |    186094 |   98809   544072  1512353 | 2147483647   185576    684 | 13.381 % |
1117.04/1117.60	c |    186195 |   98809   544072  1512353 | 2147483647   185677    684 | 13.381 % |
1117.93/1118.55	c |    186306 |   98809   544072  1512353 | 2147483647   185788    684 | 13.381 % |
1119.03/1119.67	c |    186428 |   98809   544072  1512353 | 2147483647   185910    684 | 13.381 % |
1119.83/1120.49	c |    186561 |   98809   544072  1512353 | 2147483647   186043    684 | 13.381 % |
1120.33/1120.92	c |    186709 |   98809   544072  1512353 | 2147483647   186191    683 | 13.381 % |
1121.23/1121.90	c |    186875 |   98809   544072  1512353 | 2147483647   186357    683 | 13.381 % |
1122.64/1123.24	c |    187051 |   98809   544072  1512353 | 2147483647   186533    683 | 13.381 % |
1123.54/1124.12	c |    187246 |   98808   544072  1512353 | 2147483647   186727    683 | 13.382 % |
1124.53/1125.12	c |    187460 |   98732   543465  1510952 | 2147483647   186913    682 | 13.382 % |
1125.93/1126.56	c |    187694 |   98732   543465  1510952 | 2147483647   187147    682 | 13.382 % |
1127.93/1128.57	c |    187951 |   98731   543465  1510952 | 2147483647   187403    682 | 13.382 % |
1130.13/1130.77	c |    188232 |   98731   543465  1510952 | 2147483647   187684    682 | 13.382 % |
1132.32/1132.99	c |    188543 |   98731   543465  1510952 | 2147483647   187995    683 | 13.382 % |
1134.62/1135.28	c |    188888 |   98728   543465  1510952 | 2147483647   188339    682 | 13.396 % |
1137.52/1138.14	c |    189261 |   98728   543465  1510952 | 2147483647   188712    683 | 13.396 % |
1140.31/1140.91	c |    189670 |   98728   543465  1510952 | 2147483647   189121    683 | 13.396 % |
1144.02/1144.69	c |    190119 |   98728   543465  1510952 | 2147483647   189569    684 | 13.397 % |
1148.62/1149.23	c |    190614 |   98728   543465  1510952 | 2147483647   190064    685 | 13.397 % |
1150.31/1150.92	c |    191159 |   98708   543465  1510952 | 2147483647   190607    684 | 13.614 % |
1156.42/1157.05	c |    191757 |   98700   543465  1510952 | 2147483647   191205    685 | 13.614 % |
1161.71/1162.32	c |    192412 |   98698   543465  1510952 | 2147483647   191858    685 | 13.616 % |
1166.81/1167.43	c |    193132 |   98698   543465  1510952 | 2147483647   192578    686 | 13.616 % |
1172.91/1173.60	c |    193924 |   98698   543465  1510952 | 2147483647   193370    688 | 13.616 % |
1179.80/1180.40	c |    194795 |   98698   543465  1510952 | 2147483647   194241    690 | 13.616 % |
1187.20/1187.87	c |    195753 |   98698   543465  1510952 | 2147483647   195199    690 | 13.616 % |
1196.50/1197.16	c |    196807 |   98697   543465  1510952 | 2147483647   196252    691 | 13.617 % |
1207.59/1208.26	c |    197968 |   98697   543465  1510952 | 2147483647   197413    692 | 13.617 % |
1218.29/1218.98	c |    199242 |   98696   543465  1510952 | 2147483647   198686    695 | 13.618 % |
1229.48/1230.15	c |    200644 |   98696   543465  1510952 | 2147483647   200088    696 | 13.618 % |
1240.08/1240.76	c |    202185 |   98695   543465  1510952 | 2147483647   201628    698 | 13.618 % |
1251.07/1251.76	c |    203880 |   98694   543465  1510952 | 2147483647   203322    698 | 13.633 % |
1265.67/1266.36	c |    205751 |   98694   543465  1510952 | 2147483647   205193    702 | 13.632 % |
1279.76/1280.47	c |    207803 |   98692   543465  1510952 | 2147483647   207243    704 | 13.634 % |
1280.76/1281.45	c |    207907 |   98692   543465  1510952 | 2147483647   207347    703 | 13.634 % |
1281.75/1282.46	c |    208019 |   98690   543465  1510952 | 2147483647   207458    703 | 13.647 % |
1282.55/1283.28	c |    208140 |   98690   543465  1510952 | 2147483647   207579    703 | 13.647 % |
1283.65/1284.33	c |    208274 |   98690   543465  1510952 | 2147483647   207713    703 | 13.647 % |
1284.85/1285.50	c |    208420 |   98690   543465  1510952 | 2147483647   207859    703 | 13.647 % |
1286.15/1286.89	c |    208582 |   98690   543465  1510952 | 2147483647   208021    703 | 13.647 % |
1286.76/1287.47	c |    208761 |   98690   543465  1510952 | 2147483647   208200    702 | 13.647 % |
1288.66/1289.35	c |    208955 |   98690   543465  1510952 | 2147483647   208394    703 | 13.647 % |
1290.55/1291.20	c |    209167 |   98690   543465  1510952 | 2147483647   208606    703 | 13.647 % |
1291.45/1292.10	c |    209401 |   98689   543465  1510952 | 2147483647   208839    702 | 13.648 % |
1294.65/1295.31	c |    209658 |   98689   543465  1510952 | 2147483647   209096    703 | 13.648 % |
1297.75/1298.48	c |    209940 |   98689   543465  1510952 | 2147483647   209378    702 | 13.648 % |
1300.45/1301.16	c |    210252 |   98689   543465  1510952 | 2147483647   209690    702 | 13.648 % |
1303.75/1304.43	c |    210591 |   98689   543465  1510952 | 2147483647   210029    703 | 13.648 % |
1307.45/1308.16	c |    210964 |   98689   543465  1510952 | 2147483647   210402    703 | 13.648 % |
1310.64/1311.30	c |    211375 |   98689   543465  1510952 | 2147483647   210813    703 | 13.648 % |
1314.13/1314.85	c |    211824 |   98689   543465  1510952 | 2147483647   211262    703 | 13.648 % |
1318.73/1319.48	c |    212321 |   98671   543465  1510952 | 2147483647   211758    704 | 13.819 % |
1323.23/1323.91	c |    212864 |   98671   543465  1510952 | 2147483647   212301    705 | 13.819 % |
1326.53/1327.21	c |    213460 |   98671   543465  1510952 | 2147483647   212897    704 | 13.819 % |
1331.93/1332.64	c |    214118 |   98671   543465  1510952 | 2147483647   213555    705 | 13.819 % |
1337.52/1338.21	c |    214841 |   98671   543465  1510952 | 2147483647   214278    706 | 13.819 % |
1344.62/1345.31	c |    215633 |   98671   543465  1510952 | 2147483647   215070    707 | 13.819 % |
1351.12/1351.85	c |    216504 |   98670   543465  1510952 | 2147483647   215940    707 | 13.820 % |
1358.91/1359.66	c |    217464 |   98566   543465  1510952 | 2147483647   216896    707 | 13.914 % |
1367.80/1368.58	c |    218517 |   98565   543465  1510952 | 2147483647   217948    708 | 13.915 % |
1378.39/1379.16	c |    219675 |   98565   543465  1510952 | 2147483647   219106    710 | 13.915 % |
1389.79/1390.51	c |    220951 |   98565   543465  1510952 | 2147483647   220382    712 | 13.915 % |
1402.98/1403.79	c |    222351 |   98124   539475  1500646 | 2147483647   221613    713 | 13.915 % |
1415.18/1415.91	c |    223891 |   98124   539475  1500646 | 2147483647   223153    712 | 13.915 % |
1430.87/1431.65	c |    225585 |   98124   539475  1500646 | 2147483647   224847    713 | 13.915 % |
1445.96/1446.70	c |    227450 |   98124   539475  1500646 | 2147483647   226712    715 | 13.915 % |
1463.26/1464.04	c |    229499 |   98124   539475  1500646 | 2147483647   228761    716 | 13.915 % |
1487.05/1487.80	c |    231752 |   98124   539475  1500646 | 2147483647   231014    718 | 13.915 % |
1488.45/1489.30	c |    231856 |   98124   539475  1500646 | 2147483647   231118    718 | 13.915 % |
1489.45/1490.29	c |    231966 |   98124   539475  1500646 | 2147483647   231228    718 | 13.915 % |
1490.75/1491.52	c |    232087 |   98124   539475  1500646 | 2147483647   231349    718 | 13.915 % |
1491.95/1492.74	c |    232221 |   98124   539475  1500646 | 2147483647   231483    718 | 13.915 % |
1493.44/1494.20	c |    232369 |   98124   539475  1500646 | 2147483647   231631    718 | 13.915 % |
1494.74/1495.54	c |    232531 |   98124   539475  1500646 | 2147483647   231793    718 | 13.915 % |
1496.15/1496.92	c |    232708 |   98124   539475  1500646 | 2147483647   231970    718 | 13.915 % |
1497.45/1498.26	c |    232904 |   98124   539475  1500646 | 2147483647   232166    718 | 13.915 % |
1499.55/1500.34	c |    233116 |   98124   539475  1500646 | 2147483647   232378    718 | 13.915 % |
1501.44/1502.29	c |    233349 |   98124   539475  1500646 | 2147483647   232611    718 | 13.915 % |
1503.14/1503.92	c |    233605 |   98124   539475  1500646 | 2147483647   232867    718 | 13.915 % |
1505.64/1506.48	c |    233886 |   98124   539475  1500646 | 2147483647   233148    718 | 13.915 % |
1507.75/1508.59	c |    234197 |   98124   539475  1500646 | 2147483647   233459    718 | 13.915 % |
1510.44/1511.29	c |    234538 |   98120   539475  1500646 | 2147483647   233799    718 | 13.918 % |
1512.54/1513.34	c |    234910 |   98120   539475  1500646 | 2147483647   234171    718 | 13.918 % |
1516.94/1517.73	c |    235319 |   98118   539475  1500646 | 2147483647   234578    718 | 13.920 % |
1521.44/1522.22	c |    235768 |   98118   539475  1500646 | 2147483647   235027    718 | 13.920 % |
1525.13/1525.90	c |    236262 |   98118   539475  1500646 | 2147483647   235521    718 | 13.920 % |
1531.34/1532.18	c |    236806 |   98118   539475  1500646 | 2147483647   236065    718 | 13.920 % |
1536.54/1537.36	c |    237402 |   98118   539475  1500646 | 2147483647   236661    717 | 13.920 % |
1544.02/1544.88	c |    238057 |   98118   539475  1500646 | 2147483647   237316    718 | 13.920 % |
1550.23/1551.09	c |    238779 |   98118   539475  1500646 | 2147483647   238038    719 | 13.920 % |
1556.52/1557.36	c |    239573 |   98117   539475  1500646 | 2147483647   238831    719 | 13.921 % |
1562.91/1563.73	c |    240444 |   98117   539475  1500646 | 2147483647   239702    719 | 13.921 % |
1569.62/1570.48	c |    241402 |   98053   539475  1500646 | 2147483647   240658    720 | 14.119 % |
1578.41/1579.29	c |    242457 |   98053   539475  1500646 | 2147483647   241713    720 | 14.119 % |
1588.11/1588.93	c |    243616 |   98053   539475  1500646 | 2147483647   242872    721 | 14.119 % |
1599.51/1600.30	c |    244889 |   98053   539475  1500646 | 2147483647   244145    724 | 14.119 % |
1608.10/1608.95	c |    246290 |   98053   539475  1500646 | 2147483647   245546    726 | 14.119 % |
1622.70/1623.57	c |    247830 |   98053   539475  1500646 | 2147483647   247086    728 | 14.119 % |
1637.48/1638.36	c |    249524 |   98052   539475  1500646 | 2147483647   248779    729 | 14.119 % |
1653.08/1653.95	c |    251389 |   98052   539475  1500646 | 2147483647   250644    730 | 14.119 % |
1673.06/1673.91	c |    253440 |   98052   539475  1500646 | 2147483647   252694    731 | 14.120 % |
1693.96/1694.80	c |    255693 |   98049   539475  1500646 | 2147483647   254944    734 | 14.134 % |
1714.86/1715.79	c |    258172 |   98047   539475  1500646 | 2147483647   257421    737 | 14.136 % |
1716.16/1717.03	c |    258272 |   98047   539475  1500646 | 2147483647   257521    737 | 14.136 % |
1717.36/1718.22	c |    258383 |   98047   539475  1500646 | 2147483647   257632    737 | 14.136 % |
1718.25/1719.16	c |    258504 |   98047   539475  1500646 | 2147483647   257753    737 | 14.136 % |
1718.65/1719.50	c |    258638 |   98047   539475  1500646 | 2147483647   257887    737 | 14.136 % |
1719.45/1720.36	c |    258784 |   98047   539475  1500646 | 2147483647   258033    737 | 14.136 % |
1720.95/1721.84	c |    258947 |   98047   539475  1500646 | 2147483647   258196    737 | 14.136 % |
1722.95/1723.88	c |    259126 |   98047   539475  1500646 | 2147483647   258375    737 | 14.136 % |
1724.05/1724.95	c |    259319 |   98047   539475  1500646 | 2147483647   258568    736 | 14.136 % |
1726.15/1727.08	c |    259533 |   98047   539475  1500646 | 2147483647   258782    736 | 14.136 % |
1728.04/1728.96	c |    259767 |   98047   539475  1500646 | 2147483647   259016    736 | 14.136 % |
1730.35/1731.27	c |    260030 |   98047   539475  1500646 | 2147483647   259279    736 | 14.136 % |
1732.65/1733.59	c |    260311 |   98047   539475  1500646 | 2147483647   259560    736 | 14.136 % |
1736.44/1737.33	c |    260624 |   97872   538368  1498358 | 2147483647   259854    737 | 14.136 % |
1739.34/1740.28	c |    260965 |   97872   538368  1498358 | 2147483647   260195    737 | 14.136 % |
1743.44/1744.38	c |    261338 |   97872   538368  1498358 | 2147483647   260568    737 | 14.136 % |
1746.74/1747.67	c |    261749 |   97872   538368  1498358 | 2147483647   260979    737 | 14.136 % |
1750.24/1751.19	c |    262198 |   97872   538368  1498358 | 2147483647   261428    738 | 14.136 % |
1754.83/1755.70	c |    262691 |   97872   538368  1498358 | 2147483647   261921    738 | 14.136 % |
1760.24/1761.15	c |    263234 |   97872   538368  1498358 | 2147483647   262464    738 | 14.136 % |
1765.22/1766.12	c |    263830 |   97872   538368  1498358 | 2147483647   263060    739 | 14.136 % |
1770.92/1771.87	c |    264486 |   97872   538368  1498358 | 2147483647   263716    739 | 14.136 % |
1778.12/1779.08	c |    265208 |   97872   538368  1498358 | 2147483647   264438    739 | 14.136 % |
1786.32/1787.22	c |    266000 |   97872   538368  1498358 | 2147483647   265230    740 | 14.136 % |
1795.81/1796.79	c |    266873 |   97872   538368  1498358 | 2147483647   266103    742 | 14.136 % |
1806.02/1806.93	c |    267831 |   97872   538368  1498358 | 2147483647   267061    742 | 14.136 % |
1815.21/1816.17	c |    268884 |   97872   538368  1498358 | 2147483647   268114    744 | 14.136 % |
1826.40/1827.31	c |    270044 |   97872   538368  1498358 | 2147483647   269274    745 | 14.136 % |
1837.40/1838.39	c |    271318 |   97872   538368  1498358 | 2147483647   270548    746 | 14.136 % |
1851.50/1852.46	c |    272719 |   97872   538368  1498358 | 2147483647   271949    747 | 14.136 % |
1866.28/1867.20	c |    274263 |   97871   538368  1498358 | 2147483647   273492    748 | 14.137 % |
1882.28/1883.22	c |    275958 |   97871   538368  1498358 | 2147483647   275187    749 | 14.137 % |
1895.38/1896.35	c |    277821 |   97870   538368  1498358 | 2147483647   277049    749 | 14.138 % |
1913.96/1914.93	c |    279870 |   97866   538368  1498358 | 2147483647   279097    750 | 14.149 % |
1934.86/1935.84	c |    282123 |   97865   538368  1498358 | 2147483647   281349    751 | 14.178 % |
1966.74/1967.73	c |    284602 |   97865   538368  1498358 | 2147483647   283828    757 | 14.178 % |
1993.64/1994.65	c |    287327 |   97863   538368  1498358 | 2147483647   286551    760 | 14.194 % |
1995.03/1996.01	c |    287429 |   97863   538368  1498358 | 2147483647   286653    760 | 14.194 % |
1995.83/1996.87	c |    287545 |   97863   538368  1498358 | 2147483647   286769    759 | 14.194 % |
1996.43/1997.42	c |    287667 |   97863   538368  1498358 | 2147483647   286891    759 | 14.194 % |
1997.43/1998.45	c |    287800 |   97863   538368  1498358 | 2147483647   287024    759 | 14.194 % |
1998.73/1999.77	c |    287946 |   97863   538368  1498358 | 2147483647   287170    759 | 14.194 % |
2000.13/2001.18	c |    288106 |   97863   538368  1498358 | 2147483647   287330    759 | 14.194 % |
2001.73/2002.78	c |    288284 |   97863   538368  1498358 | 2147483647   287508    759 | 14.194 % |
2003.82/2004.80	c |    288477 |   97863   538368  1498358 | 2147483647   287701    759 | 14.194 % |
2005.83/2006.88	c |    288689 |   97863   538368  1498358 | 2147483647   287913    759 | 14.194 % |
2008.33/2009.35	c |    288924 |   97863   538368  1498358 | 2147483647   288148    759 | 14.194 % |
2010.83/2011.80	c |    289181 |   97861   538368  1498358 | 2147483647   288403    759 | 14.196 % |
2013.42/2014.43	c |    289462 |   97859   538368  1498358 | 2147483647   288683    759 | 14.211 % |
2016.52/2017.59	c |    289772 |   97859   538368  1498358 | 2147483647   288993    759 | 14.211 % |
2019.43/2020.49	c |    290111 |   97859   538368  1498358 | 2147483647   289332    759 | 14.211 % |
2022.73/2023.79	c |    290484 |   97859   538368  1498358 | 2147483647   289705    759 | 14.211 % |
2027.52/2028.52	c |    290895 |   97858   538368  1498358 | 2147483647   290115    759 | 14.212 % |
2031.42/2032.48	c |    291344 |   97858   538368  1498358 | 2147483647   290564    759 | 14.212 % |
2036.71/2037.79	c |    291837 |   97858   538368  1498358 | 2147483647   291057    759 | 14.212 % |
2042.51/2043.58	c |    292381 |   97857   538368  1498358 | 2147483647   291600    759 | 14.212 % |
2048.71/2049.71	c |    292977 |   97856   538368  1498358 | 2147483647   292195    759 | 14.213 % |
2053.00/2054.04	c |    293632 |   97856   538368  1498358 | 2147483647   292850    759 | 14.213 % |
2060.31/2061.38	c |    294354 |   97854   538368  1498358 | 2147483647   293571    758 | 14.227 % |
2067.70/2068.77	c |    295146 |   97854   538368  1498358 | 2147483647   294363    759 | 14.227 % |
2076.90/2078.00	c |    296018 |   97854   538368  1498358 | 2147483647   295235    760 | 14.227 % |
2086.69/2087.77	c |    296977 |   97854   538368  1498358 | 2147483647   296194    761 | 14.227 % |
2096.49/2097.54	c |    298032 |   97854   538368  1498358 | 2147483647   297249    761 | 14.227 % |
2108.49/2109.55	c |    299190 |   97854   538368  1498358 | 2147483647   298407    762 | 14.227 % |
2120.88/2121.98	c |    300463 |   97854   538368  1498358 | 2147483647   299680    763 | 14.227 % |
2137.37/2138.44	c |    301864 |   97854   538368  1498358 | 2147483647   301081    765 | 14.227 % |
2151.76/2152.82	c |    303405 |   97854   538368  1498358 | 2147483647   302621    765 | 14.228 % |
2168.16/2169.20	c |    305102 |   97854   538368  1498358 | 2147483647   304318    766 | 14.228 % |
2184.66/2185.73	c |    306966 |   97853   538368  1498358 | 2147483647   306181    768 | 14.229 % |
2201.05/2202.20	c |    309015 |   97766   537731  1496658 | 2147483647   308189    769 | 14.233 % |
2225.63/2226.76	c |    311268 |   97765   537731  1496658 | 2147483647   310441    770 | 14.245 % |
2257.72/2258.88	c |    313746 |   97765   537731  1496658 | 2147483647   312919    774 | 14.245 % |
2285.11/2286.25	c |    316473 |   97765   537731  1496658 | 2147483647   315646    777 | 14.245 % |
2314.40/2315.57	c |    319472 |   97765   537731  1496658 | 2147483647   318644    782 | 14.247 % |
2315.40/2316.56	c |    319573 |   97765   537731  1496658 | 2147483647   318745    782 | 14.247 % |
2315.90/2317.00	c |    319684 |   97765   537731  1496658 | 2147483647   318856    782 | 14.247 % |
2317.20/2318.37	c |    319805 |   97765   537731  1496658 | 2147483647   318977    782 | 14.247 % |
2318.80/2319.97	c |    319939 |   97764   537731  1496658 | 2147483647   319110    781 | 14.249 % |
2320.69/2321.88	c |    320087 |   97764   537731  1496658 | 2147483647   319258    781 | 14.249 % |
2322.69/2323.86	c |    320247 |   97763   537731  1496658 | 2147483647   319417    781 | 14.250 % |
2324.29/2325.42	c |    320424 |   97763   537731  1496658 | 2147483647   319594    782 | 14.250 % |
2326.20/2327.32	c |    320617 |   97763   537731  1496658 | 2147483647   319787    782 | 14.250 % |
2328.89/2330.02	c |    320829 |   97763   537731  1496658 | 2147483647   319999    782 | 14.250 % |
2331.50/2332.67	c |    321064 |   97763   537731  1496658 | 2147483647   320234    782 | 14.250 % |
2333.89/2335.03	c |    321320 |   97763   537731  1496658 | 2147483647   320490    782 | 14.250 % |
2336.79/2337.97	c |    321601 |   97763   537731  1496658 | 2147483647   320771    783 | 14.250 % |
2339.79/2340.96	c |    321910 |   97763   537731  1496658 | 2147483647   321080    783 | 14.250 % |
2343.89/2345.09	c |    322252 |   97763   537731  1496658 | 2147483647   321422    783 | 14.250 % |
2347.98/2349.19	c |    322625 |   97763   537731  1496658 | 2147483647   321795    783 | 14.250 % |
2352.38/2353.55	c |    323034 |   97763   537731  1496658 | 2147483647   322204    783 | 14.250 % |
2356.08/2357.25	c |    323483 |   97763   537731  1496658 | 2147483647   322653    783 | 14.250 % |
2361.08/2362.23	c |    323980 |   97762   537731  1496658 | 2147483647   323148    783 | 14.252 % |
2366.08/2367.21	c |    324522 |   97762   537731  1496658 | 2147483647   323690    783 | 14.252 % |
2371.97/2373.16	c |    325118 |   97762   537731  1496658 | 2147483647   324286    783 | 14.252 % |
2380.28/2381.49	c |    325778 |   97761   537731  1496658 | 2147483647   324945    784 | 14.253 % |
2387.37/2388.52	c |    326500 |   97761   537731  1496658 | 2147483647   325667    785 | 14.253 % |
2395.46/2396.65	c |    327292 |   97761   537731  1496658 | 2147483647   326459    785 | 14.253 % |
2403.56/2404.71	c |    328163 |   97760   537731  1496658 | 2147483647   327329    786 | 14.254 % |
2412.95/2414.18	c |    329122 |   97760   537731  1496658 | 2147483647   328288    787 | 14.254 % |
2423.35/2424.55	c |    330175 |   97759   537731  1496658 | 2147483647   329340    788 | 14.267 % |
2435.85/2437.01	c |    331335 |   97759   537731  1496658 | 2147483647   330500    789 | 14.267 % |
2448.94/2450.11	c |    332608 |   97719   537731  1496658 | 2147483647   331772    789 | 14.317 % |
2466.23/2467.43	c |    334010 |   97719   537731  1496658 | 2147483647   333174    790 | 14.317 % |
2483.63/2484.87	c |    335550 |   97719   537731  1496658 | 2147483647   334714    790 | 14.317 % |
2499.41/2500.67	c |    337245 |   97719   537731  1496658 | 2147483647   336409    790 | 14.317 % |
2519.72/2520.90	c |    339108 |   97717   537731  1496658 | 2147483647   338270    790 | 14.319 % |
2539.90/2541.10	c |    341158 |   97715   537731  1496658 | 2147483647   340318    793 | 14.320 % |
2564.89/2566.16	c |    343411 |   97715   537731  1496658 | 2147483647   342571    795 | 14.320 % |
2591.98/2593.30	c |    345889 |   97713   537731  1496658 | 2147483647   345047    795 | 14.322 % |
2619.27/2620.52	c |    348614 |   97711   537731  1496658 | 2147483647   347770    796 | 14.324 % |
2650.86/2652.15	c |    351611 |   97711   537731  1496658 | 2147483647   350767    798 | 14.324 % |
2687.25/2688.58	c |    354908 |   97708   537731  1496658 | 2147483647   354061    799 | 14.326 % |
2688.64/2689.97	c |    355008 |   97708   537731  1496658 | 2147483647   354161    799 | 14.326 % |
2689.94/2691.28	c |    355118 |   97708   537731  1496658 | 2147483647   354271    799 | 14.326 % |
2691.35/2692.69	c |    355242 |   97708   537731  1496658 | 2147483647   354395    799 | 14.326 % |
2693.25/2694.52	c |    355375 |   97708   537731  1496658 | 2147483647   354528    799 | 14.326 % |
2694.95/2696.22	c |    355522 |   97708   537731  1496658 | 2147483647   354675    799 | 14.326 % |
2696.64/2697.98	c |    355684 |   97708   537731  1496658 | 2147483647   354837    799 | 14.326 % |
2698.64/2699.92	c |    355867 |   97708   537731  1496658 | 2147483647   355020    799 | 14.326 % |
2699.94/2701.24	c |    356061 |   97708   537731  1496658 | 2147483647   355214    799 | 14.326 % |
2702.74/2704.08	c |    356273 |   97708   537731  1496658 | 2147483647   355426    799 | 14.326 % |
2705.14/2706.48	c |    356506 |   97708   537731  1496658 | 2147483647   355659    799 | 14.326 % |
2706.44/2707.76	c |    356762 |   97708   537731  1496658 | 2147483647   355915    798 | 14.326 % |
2709.43/2710.75	c |    357046 |   97708   537731  1496658 | 2147483647   356199    799 | 14.326 % |
2712.63/2713.96	c |    357356 |   97706   537731  1496658 | 2147483647   356508    798 | 14.455 % |
2716.83/2718.15	c |    357701 |   97706   537731  1496658 | 2147483647   356853    798 | 14.455 % |
2720.53/2721.88	c |    358074 |   97705   537731  1496658 | 2147483647   357225    798 | 14.456 % |
2724.22/2725.55	c |    358485 |   97705   537731  1496658 | 2147483647   357636    799 | 14.456 % |
2728.83/2730.17	c |    358934 |   97705   537731  1496658 | 2147483647   358085    798 | 14.456 % |
2734.12/2735.48	c |    359427 |   97705   537731  1496658 | 2147483647   358578    798 | 14.456 % |
2740.22/2741.54	c |    359972 |   97705   537731  1496658 | 2147483647   359123    798 | 14.456 % |
2747.32/2748.64	c |    360570 |   97704   537731  1496658 | 2147483647   359720    798 | 14.457 % |
2756.41/2757.74	c |    361226 |   97704   537731  1496658 | 2147483647   360376    798 | 14.457 % |
2765.91/2767.28	c |    361948 |   97704   537731  1496658 | 2147483647   361098    799 | 14.457 % |
2774.81/2776.19	c |    362740 |   97704   537731  1496658 | 2147483647   361890    799 | 14.457 % |
2784.01/2785.38	c |    363611 |   97704   537731  1496658 | 2147483647   362761    799 | 14.457 % |
2793.60/2794.95	c |    364570 |   97704   537731  1496658 | 2147483647   363720    799 | 14.457 % |
2804.40/2805.74	c |    365623 |   97703   537731  1496658 | 2147483647   364772    799 | 14.458 % |
2817.19/2818.57	c |    366781 |   97703   537731  1496658 | 2147483647   365930    800 | 14.458 % |
2833.39/2834.77	c |    368055 |   97505   536073  1492260 | 2147483647   367182    801 | 14.458 % |
2843.78/2845.11	c |    369456 |   97505   536073  1492260 | 2147483647   368583    801 | 14.458 % |
2862.48/2863.84	c |    370999 |   97505   536073  1492260 | 2147483647   370126    801 | 14.458 % |
2878.87/2880.29	c |    372694 |   97504   536073  1492260 | 2147483647   371820    802 | 14.459 % |
2898.86/2900.27	c |    374558 |   97504   536073  1492260 | 2147483647   373684    802 | 14.459 % |
2915.56/2916.97	c |    376607 |   97503   536073  1492260 | 2147483647   375732    803 | 14.462 % |
2942.74/2944.17	c |    378862 |   97499   536073  1492260 | 2147483647   377984    804 | 14.478 % |
2970.63/2972.04	c |    381341 |   97497   536073  1492260 | 2147483647   380461    806 | 14.480 % |
3002.51/3003.94	c |    384066 |   97496   536073  1492260 | 2147483647   383185    806 | 14.481 % |
3034.01/3035.42	c |    387064 |   97495   536073  1492260 | 2147483647   386181    809 | 14.483 % |
3063.30/3064.74	c |    390361 |   97495   536073  1492260 | 2147483647   389478    810 | 14.483 % |
3102.18/3103.64	c |    393986 |   97493   536073  1492260 | 2147483647   393101    813 | 14.488 % |
3103.17/3104.65	c |    394086 |   97493   536073  1492260 | 2147483647   393201    813 | 14.488 % |
3104.37/3105.82	c |    394197 |   97493   536073  1492260 | 2147483647   393312    813 | 14.488 % |
3106.38/3107.85	c |    394318 |   97493   536073  1492260 | 2147483647   393433    813 | 14.488 % |
3107.58/3109.02	c |    394456 |   97493   536073  1492260 | 2147483647   393571    813 | 14.488 % |
3109.38/3110.85	c |    394605 |   97493   536073  1492260 | 2147483647   393720    813 | 14.488 % |
3111.77/3113.21	c |    394766 |   97493   536073  1492260 | 2147483647   393881    813 | 14.488 % |
3114.67/3116.20	c |    394945 |   97493   536073  1492260 | 2147483647   394060    813 | 14.488 % |
3116.77/3118.25	c |    395138 |   97493   536073  1492260 | 2147483647   394253    813 | 14.488 % |
3119.66/3121.11	c |    395350 |   97493   536073  1492260 | 2147483647   394465    813 | 14.488 % |
3122.56/3124.05	c |    395585 |   97493   536073  1492260 | 2147483647   394700    813 | 14.488 % |
3123.66/3125.14	c |    395841 |   97493   536073  1492260 | 2147483647   394956    812 | 14.488 % |
3127.07/3128.52	c |    396122 |   97493   536073  1492260 | 2147483647   395237    812 | 14.488 % |
3130.17/3131.66	c |    396431 |   97490   536073  1492260 | 2147483647   395545    812 | 14.498 % |
3133.66/3135.14	c |    396772 |   97490   536073  1492260 | 2147483647   395886    812 | 14.498 % |
3138.15/3139.68	c |    397151 |   97490   536073  1492260 | 2147483647   396265    812 | 14.498 % |
3140.85/3142.35	c |    397560 |   97490   536073  1492260 | 2147483647   396674    811 | 14.498 % |
3145.26/3146.72	c |    398009 |   97490   536073  1492260 | 2147483647   397123    811 | 14.498 % |
3150.85/3152.36	c |    398502 |   97490   536073  1492260 | 2147483647   397616    811 | 14.498 % |
3156.05/3157.58	c |    399044 |   97488   536073  1492260 | 2147483647   398157    811 | 14.502 % |
3163.45/3164.97	c |    399641 |   97486   536073  1492260 | 2147483647   398754    811 | 14.502 % |
3172.34/3173.81	c |    400296 |   97486   536073  1492260 | 2147483647   399409    812 | 14.502 % |
3181.14/3182.64	c |    401016 |   97486   536073  1492260 | 2147483647   400129    812 | 14.502 % |
3189.64/3191.13	c |    401809 |   97486   536073  1492260 | 2147483647   400922    812 | 14.502 % |
3199.63/3201.11	c |    402680 |   97486   536073  1492260 | 2147483647   401793    812 | 14.502 % |
3207.83/3209.36	c |    403638 |   97486   536073  1492260 | 2147483647   402751    812 | 14.502 % |
3220.33/3221.89	c |    404692 |   97486   536073  1492260 | 2147483647   403805    813 | 14.502 % |
3233.32/3234.89	c |    405851 |   97484   536073  1492260 | 2147483647   404962    813 | 14.504 % |
3247.61/3249.19	c |    407128 |   97483   536073  1492260 | 2147483647   406238    814 | 14.505 % |
3264.92/3266.40	c |    408528 |   97483   536073  1492260 | 2147483647   407637    814 | 14.507 % |
3283.61/3285.14	c |    410069 |   97483   536073  1492260 | 2147483647   409177    815 | 14.511 % |
3300.88/3302.48	c |    411763 |   97483   536073  1492260 | 2147483647   410871    815 | 14.511 % |
3323.78/3325.33	c |    413628 |   97482   536073  1492260 | 2147483647   412735    816 | 14.512 % |
3345.56/3347.12	c |    415683 |   97482   536073  1492260 | 2147483647   414790    818 | 14.512 % |
3373.16/3374.76	c |    417938 |   97480   536073  1492260 | 2147483647   417043    819 | 14.513 % |
3406.84/3408.44	c |    420417 |   97480   536073  1492260 | 2147483647   419522    820 | 14.513 % |
3437.13/3438.73	c |    423142 |   97478   536073  1492260 | 2147483647   422245    822 | 14.515 % |
3476.10/3477.76	c |    426141 |   97478   536073  1492260 | 2147483647   425244    824 | 14.515 % |
3511.09/3512.73	c |    429438 |   97478   536073  1492260 | 2147483647   428541    825 | 14.515 % |
3550.58/3552.24	c |    433066 |   97477   536073  1492260 | 2147483647   432168    827 | 14.516 % |
3597.46/3599.17	c |    437053 |   97473   536073  1492260 | 2147483647   436153    829 | 14.529 % |
3598.67/3600.36	c |    437153 |   97473   536073  1492260 | 2147483647   436253    829 | 14.529 % |
3600.16/3601.83	c |    437263 |   97473   536073  1492260 | 2147483647   436363    829 | 14.529 % |
3602.26/3603.96	c |    437385 |   97473   536073  1492260 | 2147483647   436485    829 | 14.529 % |
3604.07/3605.71	c |    437518 |   97473   536073  1492260 | 2147483647   436618    829 | 14.529 % |
3604.96/3606.65	c |    437667 |   97473   536073  1492260 | 2147483647   436767    829 | 14.529 % |
3605.86/3607.58	c |    437828 |   97473   536073  1492260 | 2147483647   436928    828 | 14.529 % |
3606.46/3608.14	c |    438008 |   97473   536073  1492260 | 2147483647   437108    828 | 14.529 % |
3608.96/3610.70	c |    438201 |   97473   536073  1492260 | 2147483647   437301    828 | 14.529 % |
3612.15/3613.81	c |    438415 |   97472   536073  1492260 | 2147483647   437514    828 | 14.530 % |
3615.35/3617.00	c |    438648 |   97472   536073  1492260 | 2147483647   437747    828 | 14.530 % |
3618.75/3620.43	c |    438905 |   97472   536073  1492260 | 2147483647   438004    828 | 14.530 % |
3622.54/3624.22	c |    439186 |   97472   536073  1492260 | 2147483647   438285    828 | 14.530 % |
3626.54/3628.29	c |    439497 |   97472   536073  1492260 | 2147483647   438596    828 | 14.530 % |
3631.25/3632.95	c |    439837 |   97471   536073  1492260 | 2147483647   438935    829 | 14.531 % |
3635.14/3636.88	c |    440210 |   97471   536073  1492260 | 2147483647   439308    829 | 14.531 % |
3640.75/3642.45	c |    440620 |   97471   536073  1492260 | 2147483647   439718    829 | 14.531 % |
3646.14/3647.80	c |    441069 |   97471   536073  1492260 | 2147483647   440167    829 | 14.531 % |
3650.34/3652.07	c |    441562 |   97470   536073  1492260 | 2147483647   440659    829 | 14.533 % |
3656.23/3657.91	c |    442104 |   97470   536073  1492260 | 2147483647   441201    828 | 14.533 % |
3663.33/3665.08	c |    442703 |   97470   536073  1492260 | 2147483647   441800    829 | 14.533 % |
3671.02/3672.78	c |    443359 |   97470   536073  1492260 | 2147483647   442456    830 | 14.533 % |
3681.22/3682.98	c |    444082 |   97470   536073  1492260 | 2147483647   443179    830 | 14.533 % |
3691.32/3693.04	c |    444878 |   97470   536073  1492260 | 2147483647   443975    830 | 14.533 % |
3704.51/3706.21	c |    445749 |   97419   535559  1490996 | 2147483647   444814    831 | 14.545 % |
3717.21/3718.95	c |    446707 |   97419   535559  1490996 | 2147483647   445772    831 | 14.545 % |
3730.00/3731.79	c |    447760 |   97419   535559  1490996 | 2147483647   446825    831 | 14.545 % |
3743.99/3745.74	c |    448918 |   97419   535559  1490996 | 2147483647   447983    832 | 14.545 % |
3760.99/3762.75	c |    450191 |   97418   535559  1490996 | 2147483647   449255    832 | 14.546 % |
3776.28/3778.08	c |    451591 |   97418   535559  1490996 | 2147483647   450655    833 | 14.546 % |
3796.77/3798.53	c |    453132 |   97418   535559  1490996 | 2147483647   452196    834 | 14.546 % |
3817.76/3819.56	c |    454830 |   97418   535559  1490996 | 2147483647   453894    835 | 14.546 % |
3839.45/3841.28	c |    456693 |   97418   535559  1490996 | 2147483647   455757    836 | 14.546 % |
3862.84/3864.64	c |    458746 |   97418   535559  1490996 | 2147483647   457810    836 | 14.546 % |
3886.83/3888.62	c |    461001 |   97418   535559  1490996 | 2147483647   460065    836 | 14.546 % |
3908.73/3910.56	c |    463479 |   97418   535559  1490996 | 2147483647   462543    836 | 14.546 % |
3943.61/3945.48	c |    466206 |   97417   535559  1490996 | 2147483647   465269    836 | 14.547 % |
3976.19/3978.00	c |    469204 |   97414   535559  1490996 | 2147483647   468264    836 | 14.574 % |
4020.78/4022.70	c |    472501 |   97412   535559  1490996 | 2147483647   471558    837 | 14.578 % |
4063.85/4065.76	c |    476126 |   97411   535559  1490996 | 2147483647   475182    839 | 14.579 % |
4124.32/4126.29	c |    480114 |   97411   535559  1490996 | 2147483647   479170    843 | 14.579 % |
4177.51/4179.43	c |    484500 |   97410   535559  1490996 | 2147483647   483555    842 | 14.580 % |
4178.91/4180.89	c |    484600 |   97410   535559  1490996 | 2147483647   483655    842 | 14.580 % |
4180.81/4182.78	c |    484710 |   97410   535559  1490996 | 2147483647   483765    842 | 14.580 % |
4182.71/4184.64	c |    484834 |   97410   535559  1490996 | 2147483647   483889    842 | 14.580 % |
4184.71/4186.65	c |    484967 |   97410   535559  1490996 | 2147483647   484022    842 | 14.580 % |
4186.20/4188.13	c |    485113 |   97407   535559  1490996 | 2147483647   484167    842 | 14.583 % |
4189.50/4191.46	c |    485273 |   97407   535559  1490996 | 2147483647   484327    842 | 14.583 % |
4192.40/4194.34	c |    485449 |   97407   535559  1490996 | 2147483647   484503    842 | 14.584 % |
4195.09/4197.03	c |    485644 |   97407   535559  1490996 | 2147483647   484698    842 | 14.583 % |
4198.19/4200.15	c |    485858 |   97407   535559  1490996 | 2147483647   484912    842 | 14.583 % |
4201.49/4203.47	c |    486091 |   97407   535559  1490996 | 2147483647   485145    842 | 14.583 % |
4204.99/4206.99	c |    486347 |   97407   535559  1490996 | 2147483647   485401    842 | 14.583 % |
4208.48/4210.49	c |    486628 |   97407   535559  1490996 | 2147483647   485682    842 | 14.583 % |
4212.48/4214.49	c |    486939 |   97407   535559  1490996 | 2147483647   485993    842 | 14.584 % |
4216.79/4218.79	c |    487279 |   97407   535559  1490996 | 2147483647   486333    842 | 14.583 % |
4221.19/4223.14	c |    487652 |   97406   535559  1490996 | 2147483647   486705    842 | 14.584 % |
4225.99/4227.94	c |    488064 |   97406   535559  1490996 | 2147483647   487117    843 | 14.584 % |
4231.58/4233.56	c |    488516 |   97406   535559  1490996 | 2147483647   487569    842 | 14.584 % |
4236.38/4238.36	c |    489009 |   97406   535559  1490996 | 2147483647   488062    842 | 14.584 % |
4242.47/4244.49	c |    489551 |   97406   535559  1490996 | 2147483647   488604    842 | 14.584 % |
4249.57/4251.50	c |    490150 |   97406   535559  1490996 | 2147483647   489203    842 | 14.584 % |
4260.47/4262.46	c |    490805 |   97406   535559  1490996 | 2147483647   489858    842 | 14.584 % |
4270.86/4272.82	c |    491525 |   97406   535559  1490996 | 2147483647   490578    842 | 14.584 % |
4281.76/4283.76	c |    492318 |   97406   535559  1490996 | 2147483647   491371    842 | 14.584 % |
4291.95/4293.93	c |    493191 |   97406   535559  1490996 | 2147483647   492244    842 | 14.584 % |
4304.95/4306.92	c |    494149 |   97406   535559  1490996 | 2147483647   493202    842 | 14.584 % |
4319.44/4321.48	c |    495202 |   97406   535559  1490996 | 2147483647   494254    843 | 14.585 % |
4332.93/4334.95	c |    496362 |   97406   535559  1490996 | 2147483647   495414    844 | 14.585 % |
4351.63/4353.64	c |    497637 |   97406   535559  1490996 | 2147483647   496689    844 | 14.585 % |
4369.82/4371.83	c |    499038 |   97406   535559  1490996 | 2147483647   498090    845 | 14.585 % |
4386.21/4388.24	c |    500579 |   97406   535559  1490996 | 2147483647   499631    845 | 14.585 % |
4409.70/4411.76	c |    502273 |   97406   535559  1490996 | 2147483647   501324    846 | 14.586 % |
4440.29/4442.35	c |    504136 |   97406   535559  1490996 | 2147483647   503187    847 | 14.586 % |
4465.28/4467.37	c |    506187 |   97406   535559  1490996 | 2147483647   505238    848 | 14.586 % |
4498.77/4500.89	c |    508441 |   97405   535559  1490996 | 2147483647   507491    849 | 14.587 % |
4530.06/4532.10	c |    510919 |   97405   535559  1490996 | 2147483647   509969    850 | 14.587 % |
4565.63/4567.75	c |    513645 |   97405   535559  1490996 | 2147483647   512695    851 | 14.587 % |
4606.72/4608.90	c |    516643 |   97405   535559  1490996 | 2147483647   515692    853 | 14.600 % |
4652.80/4654.96	c |    519943 |   97405   535559  1490996 | 2147483647   518992    855 | 14.600 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837042-1242857004/watcher-1837042-1242857004 -o /tmp/evaluation-result-1837042-1242857004/solver-1837042-1242857004 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837042-1242857004.cnf 

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


[startup+0 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313729879 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 230266994770 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/12114/statm: 1339 235 195 169 0 50 0
[pid=12115] ppid=12114 vsize=5356 CPUtime=0
/proc/12115/stat : 12115 (SatELiteGTI) S 12114 12114 12077 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313729879 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/12115/statm: 1339 238 198 169 0 50 0
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (SatELiteGTI) R 12115 12114 12077 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 313729880 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266826023 0 0 4096 0 0 0 0 17 1 0 0
/proc/12117/statm: 1339 239 199 169 0 50 0

[startup+0.0315819 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101586 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301605 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701645 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50171 s]
/proc/loadavg: 0.09 0.03 0.01 2/67 12119
/proc/meminfo: memFree=1458136/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
[pid=12119] ppid=12114 vsize=118792 CPUtime=1.48
/proc/12119/stat : 12119 (SatELite_releas) R 12114 12114 12077 0 -1 4194304 29363 0 0 0 133 15 0 0 25 0 1 0 313729880 121643008 26707 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/12119/statm: 29698 26707 76 173 0 29523 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124148

[startup+3.10188 s]
/proc/loadavg: 0.09 0.03 0.01 2/67 12119
/proc/meminfo: memFree=1444504/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
[pid=12119] ppid=12114 vsize=128392 CPUtime=3.08
/proc/12119/stat : 12119 (SatELite_releas) R 12114 12114 12077 0 -1 4194304 31220 0 0 0 292 16 0 0 25 0 1 0 313729880 131473408 28383 1992294400 134512640 135223648 4294956128 18446744073709551615 134587016 0 0 4096 3 0 0 0 17 0 0 0
/proc/12119/statm: 32098 28383 76 173 0 31923 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 133748

[startup+6.30221 s]
/proc/loadavg: 0.09 0.03 0.01 2/67 12119
/proc/meminfo: memFree=1435416/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
[pid=12119] ppid=12114 vsize=130892 CPUtime=6.28
/proc/12119/stat : 12119 (SatELite_releas) R 12114 12114 12077 0 -1 4194304 34315 0 0 0 609 19 0 0 25 0 1 0 313729880 134033408 29078 1992294400 134512640 135223648 4294956128 18446744073709551615 134586759 0 0 4096 3 0 0 0 17 0 0 0
/proc/12119/statm: 32723 29078 76 173 0 32548 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 136248

[startup+12.7019 s]
/proc/loadavg: 0.38 0.10 0.03 2/67 12120
/proc/meminfo: memFree=1501664/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=38700 CPUtime=4.68
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 9072 0 0 0 464 4 0 0 25 0 1 0 313730680 39628800 9021 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 9675 9021 77 171 0 9502 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44056

[startup+25.5012 s]
/proc/loadavg: 0.63 0.16 0.05 2/67 12120
/proc/meminfo: memFree=1498016/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=42404 CPUtime=17.48
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 10009 0 0 0 1743 5 0 0 25 0 1 0 313730680 43421696 9958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 10601 9958 77 171 0 10428 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47760

[startup+51.1018 s]
/proc/loadavg: 1.15 0.32 0.10 2/67 12120
/proc/meminfo: memFree=1488864/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=52064 CPUtime=43.04
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 12409 0 0 0 4297 7 0 0 25 0 1 0 313730680 53313536 12358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 13016 12358 77 171 0 12843 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 57420

[startup+102.305 s]
/proc/loadavg: 1.25 0.51 0.18 2/67 12120
/proc/meminfo: memFree=1467680/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=74096 CPUtime=94.2
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 17908 0 0 0 9407 13 0 0 25 0 1 0 313730680 75874304 17857 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 18524 17857 77 171 0 18351 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 79452

[startup+162.301 s]
/proc/loadavg: 1.09 0.59 0.22 2/67 12120
/proc/meminfo: memFree=1436192/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=105744 CPUtime=154.17
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 25819 0 0 0 15396 21 0 0 25 0 1 0 313730680 108281856 25768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 26436 25768 77 171 0 26263 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 111100

[startup+222.301 s]
/proc/loadavg: 1.03 0.66 0.27 2/67 12120
/proc/meminfo: memFree=1405408/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=136156 CPUtime=214.15
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 33429 0 0 0 21388 27 0 0 25 0 1 0 313730680 139423744 33378 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 34039 33378 77 171 0 33866 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 141512

[startup+282.302 s]
/proc/loadavg: 1.01 0.72 0.31 2/67 12120
/proc/meminfo: memFree=1373664/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=168084 CPUtime=274.11
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 41421 0 0 0 27377 34 0 0 25 0 1 0 313730680 172118016 41370 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 42021 41370 77 171 0 41848 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 173440

[startup+342.302 s]
/proc/loadavg: 1.00 0.77 0.35 2/67 12120
/proc/meminfo: memFree=1344800/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=196864 CPUtime=334.09
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 48574 0 0 0 33367 42 0 0 25 0 1 0 313730680 201588736 48523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 49216 48523 77 171 0 49043 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 202220

[startup+402.301 s]
/proc/loadavg: 1.00 0.81 0.39 2/67 12120
/proc/meminfo: memFree=1316128/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=225632 CPUtime=394.06

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

/proc/12120/statm: 406218 405214 77 171 0 406045 0
Current children cumulated CPU time (s) 4000.48
Current children cumulated vsize (KiB) 1630228

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=16096/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1643784 CPUtime=4052.48
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 409997 0 0 0 404910 338 0 0 25 0 1 0 313730680 1683234816 409946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 410946 409946 77 171 0 410773 0
Current children cumulated CPU time (s) 4060.46
Current children cumulated vsize (KiB) 1649140

[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15776/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1664544 CPUtime=4112.45
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 415178 0 0 0 410904 341 0 0 25 0 1 0 313730680 1704493056 415127 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 416136 415127 77 171 0 415963 0
Current children cumulated CPU time (s) 4120.43
Current children cumulated vsize (KiB) 1669900

[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=16160/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1680728 CPUtime=4172.43
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 419239 0 0 0 416898 345 0 0 25 0 1 0 313730680 1721065472 419188 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 420182 419188 77 171 0 420009 0
Current children cumulated CPU time (s) 4180.41
Current children cumulated vsize (KiB) 1686084

[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=16032/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1696284 CPUtime=4232.39
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 423116 0 0 0 422891 348 0 0 25 0 1 0 313730680 1736994816 423065 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 424071 423065 77 171 0 423898 0
Current children cumulated CPU time (s) 4240.37
Current children cumulated vsize (KiB) 1701640

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15712/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1712012 CPUtime=4292.37
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 427063 0 0 0 428886 351 0 0 25 0 1 0 313730680 1753100288 427012 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 428003 427012 77 171 0 427830 0
Current children cumulated CPU time (s) 4300.35
Current children cumulated vsize (KiB) 1717368

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15456/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1730908 CPUtime=4352.34
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 431782 0 0 0 434879 355 0 0 25 0 1 0 313730680 1772449792 431731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 432727 431731 77 171 0 432554 0
Current children cumulated CPU time (s) 4360.32
Current children cumulated vsize (KiB) 1736264

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=14880/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1749708 CPUtime=4412.31
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 436485 0 0 0 440871 360 0 0 25 0 1 0 313730680 1791700992 436434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 437427 436434 77 171 0 437254 0
Current children cumulated CPU time (s) 4420.29
Current children cumulated vsize (KiB) 1755064

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15328/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1769272 CPUtime=4472.29
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 441358 0 0 0 446866 363 0 0 25 0 1 0 313730680 1811734528 441307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 442318 441307 77 171 0 442145 0
Current children cumulated CPU time (s) 4480.27
Current children cumulated vsize (KiB) 1774628

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15648/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1787284 CPUtime=4532.27
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 445856 0 0 0 452860 367 0 0 25 0 1 0 313730680 1830178816 445805 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 446821 445805 77 171 0 446648 0
Current children cumulated CPU time (s) 4540.25
Current children cumulated vsize (KiB) 1792640

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15584/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1808936 CPUtime=4592.24
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 451272 0 0 0 458853 371 0 0 25 0 1 0 313730680 1852350464 451221 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 452234 451221 77 171 0 452061 0
Current children cumulated CPU time (s) 4600.22
Current children cumulated vsize (KiB) 1814292

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15904/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1829004 CPUtime=4652.22
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 456312 0 0 0 464847 375 0 0 25 0 1 0 313730680 1872900096 456261 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 457251 456261 77 171 0 457078 0
Current children cumulated CPU time (s) 4660.2
Current children cumulated vsize (KiB) 1834360



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+4681.4 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=14944/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1837864 CPUtime=4671.29
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 458496 0 0 0 466752 377 0 0 25 0 1 0 313730680 1881972736 458445 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 459466 458445 77 171 0 459293 0
Current children cumulated CPU time (s) 4679.27
Current children cumulated vsize (KiB) 1843220

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12114 and gives
#  childrusage.ru_utime.tv_sec=7
#  childrusage.ru_utime.tv_usec=689830
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=310952
# CPU time returned by wait4() is 8.00078
# while last known CPU time is 4679.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4681.41
CPU time (s): 4679.27
CPU user time (s): 4675.2
CPU system time (s): 4.07
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 1843220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.68983
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 49

runsolver used 5.01124 second user time and 12.1022 second system time

The end

Launcher Data 

Begin job on node83 at 2009-05-21 00:03:26
IDJOB=1837042
IDBENCH=20353
IDSOLVER=674
FILE ID=node83/1837042-1242857004
PBS_JOBID= 9328436
Free space on /tmp= 66148 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837042-1242857004/watcher-1837042-1242857004 -o /tmp/evaluation-result-1837042-1242857004/solver-1837042-1242857004 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837042-1242857004.cnf

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

MD5SUM BENCH= d90571b4b69632567da9d3ebfd25979e
RANDOM SEED=2016091326

node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1559504 kB
Buffers:         57024 kB
Cached:         364048 kB
SwapCached:      29496 kB
Active:         177740 kB
Inactive:       274752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1559504 kB
SwapTotal:     4192956 kB
SwapFree:      4157864 kB
Dirty:           20952 kB
Writeback:           0 kB
Mapped:          15416 kB
Slab:            29924 kB
Committed_AS:  1074032 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66128 MiB
End job on node83 at 2009-05-21 01:21:29