Trace number 3286642

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
glucose 2UNSAT 1116.75 1116.74

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
MD5SUM00d93f117a3253605ad3ac6a153ec61f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark234.365
Satisfiable
(Un)Satisfiability was proved
Number of variables99736
Number of clauses783991
Sum of the clauses size1708562
Maximum clause length91
Minimum clause length1
Number of clauses of size 1139
Number of clauses of size 2756759
Number of clauses of size 37636
Number of clauses of size 411357
Number of clauses of size 5745
Number of clauses of size over 57355

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.28	c ==============================================================================
0.00/0.28	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.28	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.28	c ==============================================================================
0.00/0.28	c |         0 |  783852  1708423 |  235155       0        0     nan |  0.000 % |
1.09/1.14	c |         0 |  779390  1794017 |      --       0       --      -- |     --   | -3820/87017
1.09/1.14	c ==============================================================================
1.09/1.14	c Result  :   #vars: 97280   #clauses: 779390   #literals: 1794017
1.09/1.14	c CPU time:   1.11583 s
1.09/1.14	c ==============================================================================
1.38/1.50	c
1.38/1.50	c Starting glucose
1.38/1.50	c
6.27/6.36	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
6.27/6.36	c WARNING: for repeatability, setting FPU to use double precision
6.27/6.36	c ============================[ Problem Statistics ]=============================
6.27/6.36	c |                                                                             |
6.27/6.36	c |  Number of variables:         97280                                         |
6.27/6.36	c |  Number of clauses:          779390                                         |
6.27/6.36	c |  Parse time:                   0.16 s                                       |
6.27/6.36	c |                                                                             |
6.27/6.36	c ============================[ Search Statistics ]==============================
6.27/6.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.27/6.36	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.27/6.36	c ===============================================================================
6.27/6.36	c |       507 |   97074   779390  1794017 |        1      503     83 |  0.212 % |
6.27/6.36	c |       637 |   97074   779377  1793794 |        1      633    101 |  0.212 % |
6.27/6.36	c |       737 |   96969   779377  1793794 |        1      732    106 |  0.320 % |
6.27/6.36	c |       837 |   96956   779377  1793794 |        1      823    105 |  0.333 % |
6.27/6.36	c |      1451 |   96680   779377  1793794 |        1     1430    115 |  0.617 % |
6.27/6.36	c |      1808 |   96559   779325  1793285 |        1     1761    115 |  0.741 % |
6.27/6.36	c |      1921 |   96471   779325  1793285 |        1     1872    113 |  0.832 % |
6.27/6.36	c |      2021 |   96446   779325  1793285 |        1     1971    112 |  0.857 % |
6.27/6.36	c |      2124 |   96446   779325  1793285 |        1     2074    125 |  0.857 % |
6.27/6.36	c |      2577 |   96318   779261  1792603 |        1     2467    153 |  0.989 % |
6.27/6.36	c |      3031 |   96227   779261  1792603 |        1     2919    154 |  1.082 % |
6.27/6.36	c |      3131 |   96227   779192  1791931 |        1     3013    152 |  1.082 % |
6.27/6.36	c |      3360 |   95989   779192  1791931 |        1     3238    154 |  1.327 % |
6.27/6.36	c |      4768 |   95988   779192  1791931 |        1     2716     97 |  1.328 % |
6.27/6.36	c |      4918 |   95988   779164  1791847 |        1     2866     99 |  1.328 % |
6.27/6.36	c |      5018 |   95988   779164  1791847 |        1     2966     99 |  1.328 % |
6.27/6.36	c |      5283 |   95981   779164  1791847 |        1     3230    148 |  1.335 % |
6.27/6.36	c |      5384 |   95958   779143  1791597 |        1     3290    148 |  1.359 % |
6.27/6.36	c |      5913 |   95958   779143  1791597 |        1     3819    161 |  1.359 % |
6.27/6.36	c |      6492 |   95729   779085  1791204 |        1     4386    178 |  1.594 % |
6.27/6.36	c |      6592 |   95729   779085  1791204 |        1     4486    176 |  1.594 % |
6.27/6.36	c |      6697 |   95729   779085  1791204 |        1     4591    174 |  1.594 % |
6.27/6.36	c |      7022 |   95629   779085  1791204 |        1     4909    174 |  1.697 % |
6.27/6.36	c |      7122 |   95629   779085  1791204 |        1     5009    175 |  1.697 % |
6.27/6.36	c |      7240 |   95629   779085  1791204 |        1     5127    173 |  1.697 % |
6.27/6.36	c |      7579 |   95565   779085  1791204 |        1     5464    176 |  1.763 % |
6.27/6.36	c |      7921 |   95565   778999  1790263 |        1     5785    177 |  1.763 % |
6.27/6.36	c |      8397 |   95561   778999  1790263 |        1     6257    178 |  1.767 % |
6.27/6.36	c |      8641 |   95558   778999  1790263 |        1     6491    179 |  1.770 % |
6.27/6.36	c |      8742 |   95557   778999  1790263 |        1     6591    180 |  1.771 % |
6.27/6.36	c |      8943 |   95548   778999  1790263 |        1     6787    181 |  1.780 % |
6.27/6.36	c |      9047 |   95548   778999  1790263 |        1     6891    181 |  1.780 % |
6.27/6.36	c |      9634 |   95521   778994  1790239 |        1     7464    185 |  1.808 % |
6.27/6.36	c |      9928 |   95513   778994  1790239 |        1     7755    188 |  1.816 % |
6.27/6.36	c |     10030 |   95513   778987  1790184 |        1     7841    188 |  1.816 % |
6.27/6.36	c |     10269 |   95511   778987  1790184 |        1     8078    198 |  1.818 % |
6.27/6.36	c |     10705 |   95497   778987  1790184 |        1     4310     83 |  1.833 % |
6.27/6.36	c |     10806 |   95362   778982  1790158 |        1     4391     84 |  1.972 % |
6.27/6.36	c |     10907 |   95362   778982  1790158 |        1     4492     85 |  1.972 % |
14.18/14.24	c |     11344 |   95362   778982  1790158 |        1     4929     94 |  1.972 % |
14.18/14.24	c |     11518 |   95350   778950  1789942 |        1     5090     97 |  1.984 % |
14.18/14.24	c |     11698 |   95350   778950  1789942 |        1     5270    108 |  1.984 % |
14.18/14.24	c |     11989 |   95230   778950  1789942 |        1     5557    118 |  2.107 % |
14.18/14.24	c |     12090 |   95082   778927  1789757 |        1     5623    118 |  2.259 % |
14.18/14.24	c |     12299 |   95082   778927  1789757 |        1     5832    123 |  2.259 % |
14.18/14.24	c |     12545 |   94966   778927  1789757 |        1     6077    129 |  2.379 % |
14.18/14.24	c |     12667 |   94965   778880  1789371 |        1     6179    133 |  2.380 % |
14.18/14.24	c |     13606 |   94965   778880  1789371 |        1     7118    158 |  2.380 % |
14.18/14.24	c |     13987 |   94839   778860  1789210 |        1     7493    162 |  2.509 % |
14.18/14.24	c |     14177 |   94838   778860  1789210 |        1     7682    170 |  2.510 % |
14.18/14.24	c |     14278 |   94838   778860  1789210 |        1     7783    170 |  2.510 % |
14.18/14.24	c |     14378 |   94836   778860  1789210 |        1     7881    171 |  2.512 % |
14.18/14.24	c |     15212 |   94836   778857  1789195 |        1     8702    196 |  2.512 % |
14.18/14.24	c |     15563 |   94700   778813  1788704 |        1     9032    199 |  2.652 % |
14.18/14.24	c |     15933 |   94699   778813  1788704 |        1     9401    199 |  2.653 % |
14.18/14.24	c |     16033 |   94699   778813  1788704 |        1     9501    201 |  2.653 % |
14.18/14.24	c |     16289 |   94689   778810  1788695 |        1     9746    200 |  2.663 % |
14.18/14.24	c |     16439 |   94689   778810  1788695 |        1     9896    202 |  2.663 % |
14.18/14.24	c |     16708 |   94686   778810  1788695 |        1    10162    201 |  2.667 % |
14.18/14.24	c |     16809 |   94686   778810  1788695 |        1    10263    201 |  2.667 % |
14.18/14.24	c |     17238 |   94654   778810  1788695 |        1    10691    214 |  2.699 % |
14.18/14.24	c |     17341 |   94618   778792  1788481 |        1    10759    214 |  2.736 % |
14.18/14.24	c |     17479 |   94618   778792  1788481 |        1    10897    215 |  2.736 % |
14.18/14.24	c |     17581 |   94617   778792  1788481 |        1    10998    215 |  2.737 % |
14.18/14.24	c |     17689 |   94616   778792  1788481 |        1    11105    217 |  2.738 % |
14.18/14.24	c |     17905 |   94616   778792  1788481 |        1    11321    214 |  2.738 % |
14.18/14.24	c |     18019 |   94615   778792  1788481 |        1    11434    217 |  2.740 % |
14.18/14.24	c |     18120 |   94613   778792  1788481 |        1    11533    216 |  2.742 % |
14.18/14.24	c |     18331 |   94599   778789  1788443 |        1    11707    218 |  2.756 % |
14.18/14.24	c |     18924 |   94564   778789  1788443 |        1    12297    222 |  2.792 % |
14.18/14.24	c |     19318 |   94561   778772  1788206 |        1    12661    227 |  2.795 % |
14.18/14.24	c |     19418 |   94561   778772  1788206 |        1    12761    230 |  2.795 % |
14.18/14.24	c |     19518 |   94561   778772  1788206 |        1    12861    229 |  2.795 % |
14.18/14.24	c |     20062 |   94560   778772  1788206 |        1     6834    102 |  2.796 % |
14.18/14.24	c |     20167 |   94560   778772  1788206 |        1     6939    106 |  2.796 % |
14.18/14.24	c |     20267 |   94560   778772  1788206 |        1     7034    107 |  2.796 % |
14.18/14.24	c |     20775 |   94554   778772  1788206 |        1     7536    128 |  2.802 % |
14.18/14.24	c |     20876 |   94552   778772  1788206 |        1     7617    129 |  2.804 % |
14.18/14.24	c |     21094 |   94552   778772  1788206 |        1     7835    133 |  2.804 % |
14.18/14.24	c |     21218 |   94552   778772  1788206 |        1     7959    136 |  2.804 % |
14.18/14.24	c |     21360 |   94552   778772  1788206 |        1     8101    137 |  2.804 % |
14.18/14.24	c |     21932 |   94551   778772  1788206 |        1     8669    145 |  2.805 % |
14.18/14.24	c |     22130 |   94547   778772  1788206 |        1     8863    148 |  2.809 % |
14.18/14.24	c |     22234 |   94545   778772  1788206 |        1     8965    148 |  2.811 % |
14.18/14.24	c |     22394 |   94543   778772  1788206 |        1     9123    150 |  2.814 % |
14.18/14.24	c |     22494 |   94543   778772  1788206 |        1     9223    152 |  2.814 % |
14.18/14.24	c |     22993 |   94527   778772  1788206 |        1     9701    156 |  2.830 % |
14.18/14.24	c |     23332 |   94527   778772  1788206 |        1    10040    156 |  2.830 % |
14.18/14.24	c |     23859 |   94513   778769  1788178 |        1    10537    162 |  2.844 % |
23.57/23.65	c |     24668 |   94482   778763  1788119 |        1    11304    168 |  2.876 % |
23.57/23.65	c |     24771 |   94482   778763  1788119 |        1    11407    168 |  2.876 % |
23.57/23.65	c |     24875 |   94482   778763  1788119 |        1    11511    171 |  2.876 % |
23.57/23.65	c |     24981 |   94482   778763  1788119 |        1    11617    171 |  2.876 % |
23.57/23.65	c |     25303 |   94480   778763  1788119 |        1    11937    177 |  2.878 % |
23.57/23.65	c |     25403 |   94479   778763  1788119 |        1    12030    176 |  2.879 % |
23.57/23.65	c |     25618 |   94478   778763  1788119 |        1    12244    182 |  2.880 % |
23.57/23.65	c |     26124 |   93827   778763  1788119 |        1    12746    185 |  3.550 % |
23.57/23.65	c |     26674 |   93827   778763  1788119 |        1    13296    189 |  3.550 % |
23.57/23.65	c |     26775 |   93827   778599  1786715 |        1    13284    191 |  3.550 % |
23.57/23.65	c |     26961 |   93515   778599  1786715 |        1    13466    191 |  3.870 % |
23.57/23.65	c |     27075 |   93515   778599  1786715 |        1    13580    191 |  3.870 % |
23.57/23.65	c |     27175 |   93513   778599  1786715 |        1    13679    192 |  3.872 % |
23.57/23.65	c |     27781 |   93513   778599  1786715 |        1    14285    193 |  3.872 % |
23.57/23.65	c |     28958 |   93353   778543  1786020 |        1    15417    199 |  4.037 % |
23.57/23.65	c |     30470 |   93349   778543  1786020 |        1    16926    204 |  4.041 % |
23.57/23.65	c |     30823 |   93315   778501  1785542 |        1    17247    205 |  4.076 % |
23.57/23.65	c |     30923 |   93315   778501  1785542 |        1    17347    205 |  4.076 % |
23.57/23.65	c |     31036 |   93315   778501  1785542 |        1    17460    205 |  4.076 % |
23.57/23.65	c |     31164 |   93314   778501  1785542 |        1    17587    205 |  4.077 % |
23.57/23.65	c |     31265 |   93313   778501  1785542 |        1    17687    205 |  4.078 % |
23.57/23.65	c |     31365 |   93313   778501  1785542 |        1    17787    205 |  4.078 % |
23.57/23.65	c |     31497 |   93312   778501  1785542 |        1    17918    207 |  4.079 % |
23.57/23.65	c |     31756 |   93307   778484  1785337 |        1     9157     80 |  4.084 % |
23.57/23.65	c |     31878 |   93307   778484  1785337 |        1     9279     81 |  4.084 % |
23.57/23.65	c |     31978 |   93307   778484  1785337 |        1     9379     81 |  4.084 % |
23.57/23.65	c |     32647 |   93305   778484  1785337 |        1    10046     92 |  4.086 % |
23.57/23.65	c |     33215 |   93290   778484  1785337 |        1    10612    106 |  4.102 % |
23.57/23.65	c |     33321 |   93290   778478  1785303 |        1    10664    108 |  4.102 % |
23.57/23.65	c |     34636 |   93241   778478  1785303 |        1    11978    110 |  4.152 % |
23.57/23.65	c |     34738 |   93241   778423  1784710 |        1    12069    110 |  4.152 % |
23.57/23.65	c |     34839 |   93240   778423  1784710 |        1    12169    111 |  4.153 % |
23.57/23.65	c |     34942 |   93240   778423  1784710 |        1    12272    112 |  4.153 % |
23.57/23.65	c |     35042 |   93240   778423  1784710 |        1    12372    114 |  4.153 % |
23.57/23.65	c |     35151 |   93240   778423  1784710 |        1    12481    116 |  4.153 % |
23.57/23.65	c |     35495 |   93238   778423  1784710 |        1    12823    119 |  4.155 % |
23.57/23.65	c |     35750 |   93234   778423  1784710 |        1    13071    120 |  4.159 % |
23.57/23.65	c |     35939 |   93234   778423  1784710 |        1    13260    122 |  4.159 % |
23.57/23.65	c |     36786 |   93229   778421  1784699 |        1    14089    131 |  4.164 % |
23.57/23.65	c |     36888 |   93229   778421  1784699 |        1    14191    131 |  4.164 % |
23.57/23.65	c |     36991 |   93227   778421  1784699 |        1    14293    132 |  4.166 % |
23.57/23.65	c |     37526 |   93226   778406  1784525 |        1    14810    136 |  4.167 % |
23.57/23.65	c |     37636 |   93226   778406  1784525 |        1    14920    137 |  4.167 % |
23.57/23.65	c |     37798 |   93223   778406  1784525 |        1    15076    137 |  4.170 % |
23.57/23.65	c |     37899 |   93222   778406  1784525 |        1    15176    137 |  4.171 % |
23.57/23.65	c |     38428 |   93222   778406  1784525 |        1    15705    141 |  4.171 % |
23.57/23.65	c |     38532 |   93222   778406  1784525 |        1    15809    141 |  4.171 % |
23.57/23.65	c |     38638 |   93222   778406  1784525 |        1    15914    142 |  4.171 % |
23.57/23.65	c |     38890 |   93222   778406  1784525 |        1    16166    144 |  4.171 % |
23.57/23.65	c |     38990 |   93222   778406  1784525 |        1    16266    144 |  4.171 % |
37.97/38.08	c |     39209 |   93222   778406  1784525 |        1    16485    146 |  4.171 % |
37.97/38.08	c |     39309 |   93222   778406  1784525 |        1    16585    146 |  4.171 % |
37.97/38.08	c |     39564 |   93211   778384  1784313 |        1    16805    148 |  4.183 % |
37.97/38.08	c |     40143 |   93206   778384  1784313 |        1    17382    152 |  4.188 % |
37.97/38.08	c |     40972 |   93206   778384  1784313 |        1    18211    161 |  4.188 % |
37.97/38.08	c |     41073 |   93204   778370  1784142 |        1    18305    161 |  4.190 % |
37.97/38.08	c |     41305 |   93204   778370  1784142 |        1    18537    166 |  4.190 % |
37.97/38.08	c |     42334 |   93203   778370  1784142 |        1    19565    171 |  4.191 % |
37.97/38.08	c |     42447 |   93203   778370  1784142 |        1    19674    171 |  4.191 % |
37.97/38.08	c |     42579 |   93203   778370  1784142 |        1    19806    172 |  4.191 % |
37.97/38.08	c |     42679 |   93203   778370  1784142 |        1    19906    172 |  4.191 % |
37.97/38.08	c |     42779 |   93203   778370  1784142 |        1    20006    173 |  4.191 % |
37.97/38.08	c |     42879 |   93203   778370  1784142 |        1    20106    173 |  4.191 % |
37.97/38.08	c |     42982 |   93203   778370  1784142 |        1    20209    174 |  4.191 % |
37.97/38.08	c |     43082 |   93172   778370  1784142 |        1    20308    173 |  4.223 % |
37.97/38.08	c |     43182 |   93172   778370  1784142 |        1    20408    174 |  4.223 % |
37.97/38.08	c |     43418 |   93113   778365  1784063 |        1    20588    175 |  4.284 % |
37.97/38.08	c |     44069 |   93113   778365  1784063 |        1    21239    180 |  4.284 % |
37.97/38.08	c |     44177 |   93113   778365  1784063 |        1    21347    180 |  4.284 % |
37.97/38.08	c |     44637 |   93113   778365  1784063 |        1    21807    184 |  4.284 % |
37.97/38.08	c |     44907 |   93113   778362  1784024 |        1    22071    185 |  4.284 % |
37.97/38.08	c |     45111 |   93113   778362  1784024 |        1    22275    187 |  4.284 % |
37.97/38.08	c |     45556 |   92837   778362  1784024 |        1    22719    189 |  4.567 % |
37.97/38.08	c |     46294 |   92834   778301  1783585 |        1    11853     71 |  4.570 % |
37.97/38.08	c |     46395 |   92834   778301  1783585 |        1    11954     73 |  4.570 % |
37.97/38.08	c |     46497 |   92834   778301  1783585 |        1    12056     74 |  4.570 % |
37.97/38.08	c |     46597 |   92834   778301  1783585 |        1    12156     75 |  4.570 % |
37.97/38.08	c |     46805 |   92834   778301  1783585 |        1    12364     76 |  4.570 % |
37.97/38.08	c |     47155 |   92833   778301  1783585 |        1    12708     79 |  4.571 % |
37.97/38.08	c |     47858 |   92826   778301  1783585 |        1    13410     88 |  4.579 % |
37.97/38.08	c |     47958 |   92826   778284  1783397 |        1    13489     89 |  4.579 % |
37.97/38.08	c |     48642 |   92825   778284  1783397 |        1    14170     93 |  4.580 % |
37.97/38.08	c |     48751 |   92824   778284  1783397 |        1    14278     93 |  4.581 % |
37.97/38.08	c |     52068 |   92821   778284  1783397 |        1    17590    145 |  4.584 % |
37.97/38.08	c |     52170 |   92821   778269  1783222 |        1    17683    146 |  4.584 % |
37.97/38.08	c |     52414 |   92819   778269  1783222 |        1    17925    147 |  4.586 % |
37.97/38.08	c |     53001 |   92819   778269  1783222 |        1    18512    152 |  4.586 % |
37.97/38.08	c |     53101 |   92818   778269  1783222 |        1    18603    153 |  4.587 % |
37.97/38.08	c |     53442 |   92818   778269  1783222 |        1    18944    154 |  4.587 % |
37.97/38.08	c |     54089 |   92818   778269  1783222 |        1    19591    157 |  4.587 % |
37.97/38.08	c |     54806 |   92816   778269  1783222 |        1    20304    162 |  4.589 % |
37.97/38.08	c |     55448 |   92807   778269  1783222 |        1    20922    164 |  4.598 % |
37.97/38.08	c |     55549 |   92807   778269  1783222 |        1    21023    165 |  4.598 % |
37.97/38.08	c |     55649 |   92807   778269  1783222 |        1    21123    165 |  4.598 % |
37.97/38.08	c |     55751 |   92807   778269  1783222 |        1    21225    165 |  4.598 % |
37.97/38.08	c |     56979 |   92807   778269  1783222 |        1    22453    175 |  4.598 % |
37.97/38.08	c |     57079 |   92807   778267  1783208 |        1    22532    176 |  4.598 % |
37.97/38.08	c |     57181 |   92807   778267  1783208 |        1    22634    176 |  4.598 % |
37.97/38.08	c |     57281 |   92807   778267  1783208 |        1    22734    176 |  4.598 % |
37.97/38.08	c |     58704 |   92802   778267  1783208 |        1    24155    182 |  4.603 % |
57.18/57.29	c |     60222 |   92800   778252  1783033 |        1    25646    188 |  4.605 % |
57.18/57.29	c |     60324 |   92800   778237  1782859 |        1    25747    188 |  4.605 % |
57.18/57.29	c |     60893 |   92677   778237  1782859 |        1    26313    189 |  4.732 % |
57.18/57.29	c |     61225 |   92677   778237  1782859 |        1    26645    191 |  4.732 % |
57.18/57.29	c |     61619 |   92676   778237  1782859 |        1    27038    191 |  4.733 % |
57.18/57.29	c |     63836 |   92643   778199  1782484 |        1    15037     88 |  4.767 % |
57.18/57.29	c |     63936 |   92643   778199  1782484 |        1    15137     88 |  4.767 % |
57.18/57.29	c |     65286 |   92639   778198  1782480 |        1    16476     98 |  4.771 % |
57.18/57.29	c |     67269 |   92638   778198  1782480 |        1    18458    127 |  4.772 % |
57.18/57.29	c |     67536 |   92638   778198  1782480 |        1    18718    129 |  4.772 % |
57.18/57.29	c |     67637 |   92638   778198  1782480 |        1    18819    130 |  4.772 % |
57.18/57.29	c |     67738 |   92638   778198  1782480 |        1    18920    131 |  4.772 % |
57.18/57.29	c |     67838 |   92638   778198  1782480 |        1    19020    131 |  4.772 % |
57.18/57.29	c |     68173 |   92638   778198  1782480 |        1    19355    136 |  4.772 % |
57.18/57.29	c |     68274 |   92638   778198  1782480 |        1    19456    136 |  4.772 % |
57.18/57.29	c |     69042 |   92636   778183  1782305 |        1    20215    145 |  4.774 % |
57.18/57.29	c |     69142 |   92636   778183  1782305 |        1    20315    145 |  4.774 % |
57.18/57.29	c |     69243 |   92635   778183  1782305 |        1    20415    146 |  4.775 % |
57.18/57.29	c |     69344 |   92635   778183  1782305 |        1    20516    146 |  4.775 % |
57.18/57.29	c |     69444 |   92635   778183  1782305 |        1    20616    148 |  4.775 % |
57.18/57.29	c |     69961 |   92632   778166  1782125 |        1    21123    152 |  4.778 % |
57.18/57.29	c |     70061 |   92632   778166  1782125 |        1    21223    153 |  4.778 % |
57.18/57.29	c |     70161 |   92632   778166  1782125 |        1    21323    153 |  4.778 % |
57.18/57.29	c |     70261 |   92632   778166  1782125 |        1    21423    154 |  4.778 % |
57.18/57.29	c |     70361 |   92632   778166  1782125 |        1    21523    154 |  4.778 % |
57.18/57.29	c |     71988 |   92629   778166  1782125 |        1    23142    165 |  4.781 % |
57.18/57.29	c |     72090 |   92629   778166  1782125 |        1    23244    166 |  4.781 % |
57.18/57.29	c |     72190 |   92629   778166  1782125 |        1    23344    167 |  4.781 % |
57.18/57.29	c |     72567 |   92628   778166  1782125 |        1    23720    168 |  4.782 % |
57.18/57.29	c |     72667 |   92628   778166  1782125 |        1    23820    168 |  4.782 % |
57.18/57.29	c |     75039 |   92628   778166  1782125 |        1    26192    182 |  4.782 % |
57.18/57.29	c |     75385 |   92627   778166  1782125 |        1    26536    183 |  4.783 % |
57.18/57.29	c |     77109 |   92627   778166  1782125 |        1    28260    192 |  4.783 % |
57.18/57.29	c |     77220 |   92627   778166  1782125 |        1    28370    193 |  4.783 % |
57.18/57.29	c |     78714 |   92596   778166  1782125 |        1    29861    196 |  4.815 % |
57.18/57.29	c |     78814 |   92596   778163  1782086 |        1    29951    196 |  4.815 % |
57.18/57.29	c |     79681 |   92596   778163  1782086 |        1    30818    199 |  4.815 % |
57.18/57.29	c |     79843 |   92569   778163  1782086 |        1    30979    199 |  4.843 % |
57.18/57.29	c |     80506 |   92569   778163  1782086 |        1    31642    200 |  4.843 % |
57.18/57.29	c |     80656 |   92569   778160  1782048 |        1    31766    200 |  4.843 % |
57.18/57.29	c |     81774 |   92566   778160  1782048 |        1    32882    203 |  4.846 % |
57.18/57.29	c |     81966 |   92565   778160  1782048 |        1    33073    204 |  4.847 % |
57.18/57.29	c |     82068 |   92565   778160  1782048 |        1    33175    204 |  4.847 % |
57.18/57.29	c |     82798 |   92565   778160  1782048 |        1    17062     83 |  4.847 % |
57.18/57.29	c |     82899 |   92565   778146  1781877 |        1    17158     84 |  4.847 % |
57.18/57.29	c |     83781 |   92565   778146  1781877 |        1    18040     98 |  4.847 % |
57.18/57.29	c |     84083 |   92381   778122  1781708 |        1    18337    102 |  5.036 % |
57.18/57.29	c |     84192 |   92363   778122  1781708 |        1    18445    103 |  5.054 % |
57.18/57.29	c |     84292 |   92356   778122  1781708 |        1    18544    105 |  5.062 % |
57.18/57.29	c |     84392 |   92356   778122  1781708 |        1    18644    105 |  5.062 % |
72.67/72.76	c |     84912 |   92354   778097  1781544 |        1    19154    111 |  5.064 % |
72.67/72.76	c |     85085 |   92353   778097  1781544 |        1    19326    112 |  5.065 % |
72.67/72.76	c |     85186 |   92353   778097  1781544 |        1    19427    112 |  5.065 % |
72.67/72.76	c |     86361 |   92352   778097  1781544 |        1    20597    120 |  5.066 % |
72.67/72.76	c |     86461 |   92352   778097  1781544 |        1    20697    120 |  5.066 % |
72.67/72.76	c |     86647 |   92352   778097  1781544 |        1    20883    120 |  5.066 % |
72.67/72.76	c |     86804 |   92352   778097  1781544 |        1    21040    121 |  5.066 % |
72.67/72.76	c |     87831 |   92352   778097  1781544 |        1    22067    128 |  5.066 % |
72.67/72.76	c |     87932 |   92352   778097  1781544 |        1    22168    129 |  5.066 % |
72.67/72.76	c |     88034 |   92352   778097  1781544 |        1    22270    129 |  5.066 % |
72.67/72.76	c |     88253 |   92352   778097  1781544 |        1    22489    131 |  5.066 % |
72.67/72.76	c |     88675 |   92351   778097  1781544 |        1    22908    134 |  5.067 % |
72.67/72.76	c |     90341 |   92349   778097  1781544 |        1    24568    143 |  5.069 % |
72.67/72.76	c |     91408 |   92341   778097  1781544 |        1    25634    160 |  5.077 % |
72.67/72.76	c |     91510 |   92269   778097  1781544 |        1    25735    160 |  5.151 % |
72.67/72.76	c |     91617 |   92269   778097  1781544 |        1    25842    160 |  5.151 % |
72.67/72.76	c |     91958 |   92269   778072  1781399 |        1    26172    160 |  5.151 % |
72.67/72.76	c |     92393 |   92268   778072  1781399 |        1    26606    160 |  5.152 % |
72.67/72.76	c |     93641 |   92267   778072  1781399 |        1    27851    161 |  5.153 % |
72.67/72.76	c |     93841 |   92267   778072  1781399 |        1    28051    163 |  5.153 % |
72.67/72.76	c |     93943 |   92267   778072  1781399 |        1    28153    163 |  5.153 % |
72.67/72.76	c |     94044 |   92267   778072  1781399 |        1    28254    163 |  5.153 % |
72.67/72.76	c |     94186 |   92266   778072  1781399 |        1    28395    164 |  5.154 % |
72.67/72.76	c |     94609 |   92264   778072  1781399 |        1    28816    166 |  5.156 % |
72.67/72.76	c |     94709 |   92264   778072  1781399 |        1    28916    166 |  5.156 % |
72.67/72.76	c |     94809 |   92264   778072  1781399 |        1    29016    166 |  5.156 % |
72.67/72.76	c |     95174 |   92264   778072  1781399 |        1    29374    166 |  5.156 % |
72.67/72.76	c |     95480 |   92263   778072  1781399 |        1    29679    168 |  5.157 % |
72.67/72.76	c |     95716 |   92263   778072  1781399 |        1    29915    170 |  5.157 % |
72.67/72.76	c |     95816 |   92263   778072  1781399 |        1    30015    170 |  5.157 % |
72.67/72.76	c |     96688 |   92263   778072  1781399 |        1    30887    174 |  5.157 % |
72.67/72.76	c |     96806 |   92263   778072  1781399 |        1    31005    174 |  5.157 % |
72.67/72.76	c |     97022 |   92263   778072  1781399 |        1    31221    174 |  5.157 % |
72.67/72.76	c |     97142 |   92263   778072  1781399 |        1    31341    175 |  5.157 % |
72.67/72.76	c |     98175 |   92263   778072  1781399 |        1    32374    178 |  5.157 % |
72.67/72.76	c |     98424 |   92263   778072  1781399 |        1    32623    182 |  5.157 % |
72.67/72.76	c |     98525 |   92263   778072  1781399 |        1    32724    183 |  5.157 % |
72.67/72.76	c |     99826 |   92263   778072  1781399 |        1    34025    185 |  5.157 % |
72.67/72.76	c |    100051 |   92263   778072  1781399 |        1    34250    186 |  5.157 % |
72.67/72.76	c |    100152 |   92263   778072  1781399 |        1    34351    186 |  5.157 % |
72.67/72.76	c |    100255 |   92263   778072  1781399 |        1    34454    186 |  5.157 % |
72.67/72.76	c |    100650 |   92262   778072  1781399 |        1    34846    188 |  5.158 % |
72.67/72.76	c |    100792 |   92262   778072  1781399 |        1    34988    189 |  5.158 % |
72.67/72.76	c |    100892 |   92262   778072  1781399 |        1    35088    189 |  5.158 % |
72.67/72.76	c |    101081 |   92262   778072  1781399 |        1    35277    189 |  5.158 % |
72.67/72.76	c |    102291 |   92235   778072  1781399 |        1    36486    206 |  5.186 % |
72.67/72.76	c |    103406 |   92226   778041  1781019 |        1    37577    205 |  5.195 % |
72.67/72.76	c |    103506 |   92226   778041  1781019 |        1    37677    205 |  5.195 % |
72.67/72.76	c |    103606 |   92226   778041  1781019 |        1    37777    205 |  5.195 % |
72.67/72.76	c |    103934 |   92225   778041  1781019 |        1    38104    206 |  5.196 % |
97.57/97.65	c |    104035 |   92225   778041  1781019 |        1    38205    206 |  5.196 % |
97.57/97.65	c |    105674 |   92225   778041  1781019 |        1    20381     88 |  5.196 % |
97.57/97.65	c |    105774 |   92224   778041  1781019 |        1    20472     89 |  5.197 % |
97.57/97.65	c |    106702 |   92224   778041  1781019 |        1    21400     95 |  5.197 % |
97.57/97.65	c |    106803 |   92224   778041  1781019 |        1    21500     96 |  5.197 % |
97.57/97.65	c |    106903 |   92224   778041  1781019 |        1    21600     96 |  5.197 % |
97.57/97.65	c |    107423 |   92224   778041  1781019 |        1    22120     99 |  5.197 % |
97.57/97.65	c |    107850 |   92224   778041  1781019 |        1    22547    105 |  5.197 % |
97.57/97.65	c |    108564 |   92222   778041  1781019 |        1    23259    111 |  5.199 % |
97.57/97.65	c |    108886 |   92222   778041  1781019 |        1    23581    115 |  5.199 % |
97.57/97.65	c |    108986 |   92222   778041  1781019 |        1    23681    115 |  5.199 % |
97.57/97.65	c |    109644 |   92222   778041  1781019 |        1    24339    117 |  5.199 % |
97.57/97.65	c |    109860 |   92157   778041  1781019 |        1    24554    117 |  5.266 % |
97.57/97.65	c |    110306 |   92156   778021  1780816 |        1    24984    119 |  5.267 % |
97.57/97.65	c |    110419 |   92156   778021  1780816 |        1    25097    119 |  5.267 % |
97.57/97.65	c |    110653 |   92154   778021  1780816 |        1    25330    119 |  5.269 % |
97.57/97.65	c |    112101 |   92151   778006  1780642 |        1    26754    124 |  5.272 % |
97.57/97.65	c |    112393 |   92151   778006  1780642 |        1    27046    126 |  5.272 % |
97.57/97.65	c |    112495 |   92150   778006  1780642 |        1    27147    127 |  5.273 % |
97.57/97.65	c |    112777 |   92150   778006  1780642 |        1    27429    130 |  5.273 % |
97.57/97.65	c |    115483 |   92149   778006  1780642 |        1    30128    151 |  5.274 % |
97.57/97.65	c |    115584 |   92149   778006  1780642 |        1    30229    152 |  5.274 % |
97.57/97.65	c |    115685 |   92149   778006  1780642 |        1    30330    152 |  5.274 % |
97.57/97.65	c |    117329 |   92148   778006  1780642 |        1    31973    158 |  5.275 % |
97.57/97.65	c |    117571 |   92148   778006  1780642 |        1    32213    159 |  5.275 % |
97.57/97.65	c |    117745 |   92148   778006  1780642 |        1    32387    159 |  5.275 % |
97.57/97.65	c |    117985 |   92148   778006  1780642 |        1    32627    160 |  5.275 % |
97.57/97.65	c |    118235 |   92147   778006  1780642 |        1    32876    159 |  5.277 % |
97.57/97.65	c |    120560 |   91888   777974  1780404 |        1    35185    164 |  5.543 % |
97.57/97.65	c |    120661 |   91888   777974  1780404 |        1    35286    164 |  5.543 % |
97.57/97.65	c |    120761 |   91888   777974  1780404 |        1    35386    164 |  5.543 % |
97.57/97.65	c |    120861 |   91886   777974  1780404 |        1    35485    165 |  5.545 % |
97.57/97.65	c |    123447 |   91877   777928  1779982 |        1    38052    168 |  5.554 % |
97.57/97.65	c |    123551 |   91810   777928  1779982 |        1    38155    169 |  5.623 % |
97.57/97.65	c |    123877 |   91742   777928  1779982 |        1    38478    170 |  5.693 % |
97.57/97.65	c |    123988 |   91742   777928  1779982 |        1    38589    170 |  5.693 % |
97.57/97.65	c |    125214 |   91706   777928  1779982 |        1    39810    175 |  5.730 % |
97.57/97.65	c |    129989 |   91692   777840  1779218 |        1    22474     82 |  5.744 % |
97.57/97.65	c |    130089 |   91691   777840  1779218 |        1    22568     83 |  5.745 % |
97.57/97.65	c |    130242 |   91691   777840  1779218 |        1    22721     85 |  5.745 % |
97.57/97.65	c |    132811 |   91688   777840  1779218 |        1    25275     98 |  5.748 % |
97.57/97.65	c |    132991 |   91688   777840  1779218 |        1    25455    101 |  5.748 % |
97.57/97.65	c |    133091 |   91688   777840  1779218 |        1    25555    102 |  5.748 % |
97.57/97.65	c |    133191 |   91688   777840  1779218 |        1    25655    102 |  5.748 % |
97.57/97.65	c |    133291 |   91688   777840  1779218 |        1    25755    103 |  5.748 % |
97.57/97.65	c |    133435 |   91688   777840  1779218 |        1    25899    104 |  5.748 % |
97.57/97.65	c |    133818 |   91687   777840  1779218 |        1    26270    108 |  5.749 % |
97.57/97.65	c |    133918 |   91687   777840  1779218 |        1    26370    109 |  5.749 % |
97.57/97.65	c |    134021 |   91687   777840  1779218 |        1    26473    109 |  5.749 % |
127.87/127.94	c |    134282 |   91687   777840  1779218 |        1    26734    111 |  5.749 % |
127.87/127.94	c |    134382 |   91686   777840  1779218 |        1    26833    111 |  5.750 % |
127.87/127.94	c |    134775 |   91686   777840  1779218 |        1    27226    113 |  5.750 % |
127.87/127.94	c |    134883 |   91686   777840  1779218 |        1    27328    114 |  5.750 % |
127.87/127.94	c |    134983 |   91686   777840  1779218 |        1    27428    115 |  5.750 % |
127.87/127.94	c |    135192 |   91685   777840  1779218 |        1    27636    115 |  5.751 % |
127.87/127.94	c |    136150 |   91684   777840  1779218 |        1    28593    124 |  5.752 % |
127.87/127.94	c |    136436 |   91684   777840  1779218 |        1    28866    124 |  5.752 % |
127.87/127.94	c |    136806 |   91684   777840  1779218 |        1    29236    125 |  5.752 % |
127.87/127.94	c |    137252 |   91684   777840  1779218 |        1    29682    129 |  5.752 % |
127.87/127.94	c |    138282 |   91683   777840  1779218 |        1    30701    138 |  5.753 % |
127.87/127.94	c |    138386 |   91682   777840  1779218 |        1    30804    139 |  5.755 % |
127.87/127.94	c |    138486 |   91682   777840  1779218 |        1    30904    139 |  5.755 % |
127.87/127.94	c |    138631 |   91682   777840  1779218 |        1    31049    141 |  5.755 % |
127.87/127.94	c |    138731 |   91682   777840  1779218 |        1    31146    141 |  5.755 % |
127.87/127.94	c |    138833 |   91682   777840  1779218 |        1    31248    141 |  5.755 % |
127.87/127.94	c |    138933 |   91682   777840  1779218 |        1    31348    142 |  5.755 % |
127.87/127.94	c |    139035 |   91682   777840  1779218 |        1    31450    143 |  5.755 % |
127.87/127.94	c |    141982 |   91677   777840  1779218 |        1    34372    149 |  5.760 % |
127.87/127.94	c |    143080 |   91677   777840  1779218 |        1    35470    152 |  5.760 % |
127.87/127.94	c |    143613 |   91675   777825  1779044 |        1    35998    152 |  5.762 % |
127.87/127.94	c |    143757 |   91675   777825  1779044 |        1    36142    153 |  5.762 % |
127.87/127.94	c |    143862 |   91675   777825  1779044 |        1    36247    153 |  5.762 % |
127.87/127.94	c |    147340 |   91669   777825  1779044 |        1    39713    158 |  5.768 % |
127.87/127.94	c |    148402 |   91669   777825  1779044 |        1    40775    165 |  5.768 % |
127.87/127.94	c |    148504 |   91669   777825  1779044 |        1    40877    165 |  5.768 % |
127.87/127.94	c |    149245 |   91665   777796  1778699 |        1    41601    165 |  5.772 % |
127.87/127.94	c |    149600 |   91664   777796  1778699 |        1    41955    165 |  5.773 % |
127.87/127.94	c |    154035 |   91664   777796  1778699 |        1    46390    179 |  5.773 % |
127.87/127.94	c |    154708 |   91664   777796  1778699 |        1    47061    179 |  5.773 % |
127.87/127.94	c |    154809 |   91664   777796  1778699 |        1    47162    179 |  5.773 % |
127.87/127.94	c |    158041 |   91662   777796  1778699 |        1    25727     85 |  5.775 % |
127.87/127.94	c |    160436 |   91659   777781  1778524 |        1    28116     98 |  5.778 % |
127.87/127.94	c |    160536 |   91659   777781  1778524 |        1    28216     98 |  5.778 % |
127.87/127.94	c |    161555 |   91659   777781  1778524 |        1    29235    111 |  5.778 % |
127.87/127.94	c |    161655 |   91659   777781  1778524 |        1    29335    111 |  5.778 % |
127.87/127.94	c |    161858 |   91658   777781  1778524 |        1    29533    112 |  5.779 % |
127.87/127.94	c |    163050 |   91658   777781  1778524 |        1    30725    125 |  5.779 % |
127.87/127.94	c |    163153 |   91658   777781  1778524 |        1    30828    125 |  5.779 % |
127.87/127.94	c |    163808 |   91658   777781  1778524 |        1    31483    127 |  5.779 % |
127.87/127.94	c |    164265 |   91656   777781  1778524 |        1    31937    128 |  5.781 % |
127.87/127.94	c |    164549 |   91656   777781  1778524 |        1    32221    129 |  5.781 % |
127.87/127.94	c |    165638 |   91656   777781  1778524 |        1    33310    134 |  5.781 % |
127.87/127.94	c |    166068 |   91595   777781  1778524 |        1    33738    135 |  5.844 % |
127.87/127.94	c |    166168 |   91595   777781  1778524 |        1    33838    135 |  5.844 % |
127.87/127.94	c |    167277 |   91590   777781  1778524 |        1    34942    139 |  5.849 % |
127.87/127.94	c |    168934 |   91588   777780  1778521 |        1    36595    143 |  5.851 % |
127.87/127.94	c |    169313 |   91587   777780  1778521 |        1    36972    144 |  5.852 % |
127.87/127.94	c |    169919 |   91587   777780  1778521 |        1    37578    149 |  5.852 % |
127.87/127.94	c |    170087 |   91587   777780  1778521 |        1    37746    149 |  5.852 % |
156.47/156.60	c |    170189 |   91586   777780  1778521 |        1    37847    149 |  5.853 % |
156.47/156.60	c |    170291 |   91586   777780  1778521 |        1    37949    150 |  5.853 % |
156.47/156.60	c |    171004 |   91583   777778  1778510 |        1    38657    151 |  5.856 % |
156.47/156.60	c |    171312 |   91583   777778  1778510 |        1    38965    151 |  5.856 % |
156.47/156.60	c |    173908 |   91581   777778  1778510 |        1    41550    156 |  5.858 % |
156.47/156.60	c |    174008 |   91581   777778  1778510 |        1    41650    156 |  5.858 % |
156.47/156.60	c |    174542 |   91581   777778  1778510 |        1    42184    160 |  5.858 % |
156.47/156.60	c |    174642 |   91581   777778  1778510 |        1    42284    160 |  5.858 % |
156.47/156.60	c |    175105 |   91580   777778  1778510 |        1    42745    163 |  5.859 % |
156.47/156.60	c |    175315 |   91579   777778  1778510 |        1    42954    164 |  5.860 % |
156.47/156.60	c |    175415 |   91578   777778  1778510 |        1    43053    164 |  5.861 % |
156.47/156.60	c |    175858 |   91578   777778  1778510 |        1    43496    165 |  5.861 % |
156.47/156.60	c |    175958 |   91578   777778  1778510 |        1    43596    166 |  5.861 % |
156.47/156.60	c |    176449 |   91577   777778  1778510 |        1    44086    169 |  5.862 % |
156.47/156.60	c |    176575 |   91577   777778  1778510 |        1    44212    169 |  5.862 % |
156.47/156.60	c |    178819 |   91577   777778  1778510 |        1    46456    176 |  5.862 % |
156.47/156.60	c |    182366 |   91574   777776  1778504 |        1    49998    181 |  5.866 % |
156.47/156.60	c |    182731 |   91574   777776  1778504 |        1    50363    183 |  5.866 % |
156.47/156.60	c |    182832 |   91574   777776  1778504 |        1    50464    183 |  5.866 % |
156.47/156.60	c |    183135 |   91574   777776  1778504 |        1    50767    183 |  5.866 % |
156.47/156.60	c |    183717 |   91574   777776  1778504 |        1    51349    184 |  5.866 % |
156.47/156.60	c |    185184 |   91573   777775  1778500 |        1    52813    184 |  5.867 % |
156.47/156.60	c |    185601 |   91573   777775  1778500 |        1    53230    185 |  5.867 % |
156.47/156.60	c |    186391 |   91573   777775  1778500 |        1    54020    189 |  5.867 % |
156.47/156.60	c |    186491 |   91573   777775  1778500 |        1    54115    189 |  5.867 % |
156.47/156.60	c |    186669 |   91570   777775  1778500 |        1    54290    190 |  5.870 % |
156.47/156.60	c |    186769 |   91570   777775  1778500 |        1    54390    190 |  5.870 % |
156.47/156.60	c |    187343 |   91568   777775  1778500 |        1    27663     76 |  5.872 % |
156.47/156.60	c |    187444 |   91568   777775  1778500 |        1    27764     76 |  5.872 % |
156.47/156.60	c |    187953 |   91568   777775  1778500 |        1    28273     79 |  5.872 % |
156.47/156.60	c |    188181 |   91568   777775  1778500 |        1    28501     80 |  5.872 % |
156.47/156.60	c |    188281 |   91568   777775  1778500 |        1    28601     80 |  5.872 % |
156.47/156.60	c |    188543 |   91568   777761  1778375 |        1    28853     81 |  5.872 % |
156.47/156.60	c |    191081 |   91568   777761  1778375 |        1    31391     97 |  5.872 % |
156.47/156.60	c |    192358 |   91568   777761  1778375 |        1    32668    108 |  5.872 % |
156.47/156.60	c |    192463 |   91568   777761  1778375 |        1    32773    109 |  5.872 % |
156.47/156.60	c |    193698 |   91568   777761  1778375 |        1    34008    114 |  5.872 % |
156.47/156.60	c |    193929 |   91568   777761  1778375 |        1    34239    115 |  5.872 % |
156.47/156.60	c |    194727 |   91566   777761  1778375 |        1    35035    116 |  5.874 % |
156.47/156.60	c |    194855 |   91566   777761  1778375 |        1    35163    116 |  5.874 % |
156.47/156.60	c |    194955 |   91566   777761  1778375 |        1    35263    116 |  5.874 % |
156.47/156.60	c |    197022 |   91565   777761  1778375 |        1    37329    120 |  5.875 % |
156.47/156.60	c |    197540 |   91564   777761  1778375 |        1    37840    122 |  5.876 % |
156.47/156.60	c |    197641 |   91564   777761  1778375 |        1    37941    122 |  5.876 % |
156.47/156.60	c |    197741 |   91564   777761  1778375 |        1    38041    123 |  5.876 % |
156.47/156.60	c |    198443 |   91562   777761  1778375 |        1    38719    127 |  5.878 % |
156.47/156.60	c |    199612 |   91562   777761  1778375 |        1    39888    133 |  5.878 % |
156.47/156.60	c |    201752 |   91561   777761  1778375 |        1    42024    149 |  5.879 % |
156.47/156.60	c |    201854 |   91561   777761  1778375 |        1    42126    149 |  5.879 % |
156.47/156.60	c |    202314 |   91560   777761  1778375 |        1    42580    151 |  5.880 % |
211.08/211.11	c |    202415 |   91560   777761  1778375 |        1    42681    152 |  5.880 % |
211.08/211.11	c |    202515 |   91560   777761  1778375 |        1    42781    152 |  5.880 % |
211.08/211.11	c |    202698 |   91560   777761  1778375 |        1    42964    152 |  5.880 % |
211.08/211.11	c |    203193 |   91531   777761  1778375 |        1    43456    153 |  5.910 % |
211.08/211.11	c |    203728 |   91530   777758  1778336 |        1    43976    153 |  5.911 % |
211.08/211.11	c |    207898 |   91530   777758  1778336 |        1    48146    161 |  5.911 % |
211.08/211.11	c |    209648 |   91463   777758  1778336 |        1    49887    161 |  5.980 % |
211.08/211.11	c |    215964 |   91461   777742  1778194 |        1    56171    178 |  5.982 % |
211.08/211.11	c |    220384 |   91425   777739  1778155 |        1    30675     81 |  6.019 % |
211.08/211.11	c |    220826 |   91425   777739  1778155 |        1    31117     85 |  6.019 % |
211.08/211.11	c |    220928 |   91425   777739  1778155 |        1    31219     86 |  6.019 % |
211.08/211.11	c |    222040 |   91425   777739  1778155 |        1    32331    100 |  6.019 % |
211.08/211.11	c |    225140 |   91425   777739  1778155 |        1    35431    110 |  6.019 % |
211.08/211.12	c |    225323 |   91425   777739  1778155 |        1    35614    112 |  6.019 % |
211.08/211.12	c |    225423 |   91425   777739  1778155 |        1    35714    112 |  6.019 % |
211.08/211.12	c |    226103 |   91424   777739  1778155 |        1    36389    118 |  6.020 % |
211.08/211.12	c |    226209 |   91423   777739  1778155 |        1    36494    118 |  6.021 % |
211.08/211.12	c |    227931 |   91422   777739  1778155 |        1    38215    127 |  6.022 % |
211.08/211.12	c |    231861 |   91421   777737  1778149 |        1    42131    135 |  6.023 % |
211.08/211.12	c |    235000 |   91420   777737  1778149 |        1    45266    138 |  6.024 % |
211.08/211.12	c |    236042 |   91420   777737  1778149 |        1    46308    140 |  6.024 % |
211.08/211.12	c |    236206 |   91420   777737  1778149 |        1    46472    141 |  6.024 % |
211.08/211.12	c |    236323 |   91420   777737  1778149 |        1    46589    141 |  6.024 % |
211.08/211.12	c |    236424 |   91420   777737  1778149 |        1    46690    141 |  6.024 % |
211.08/211.12	c |    237237 |   91420   777737  1778149 |        1    47503    144 |  6.024 % |
211.08/211.12	c |    237337 |   91420   777737  1778149 |        1    47603    144 |  6.024 % |
211.08/211.12	c |    237496 |   91419   777737  1778149 |        1    47760    145 |  6.025 % |
211.08/211.12	c |    237600 |   91419   777737  1778149 |        1    47864    145 |  6.025 % |
211.08/211.12	c |    238452 |   91417   777737  1778149 |        1    48714    146 |  6.027 % |
211.08/211.12	c |    238619 |   91416   777737  1778149 |        1    48880    147 |  6.028 % |
211.08/211.12	c |    246988 |   91414   777723  1778024 |        1    57230    157 |  6.030 % |
211.08/211.12	c |    247088 |   91414   777723  1778024 |        1    57330    157 |  6.030 % |
211.08/211.12	c |    248315 |   91414   777723  1778024 |        1    58557    157 |  6.030 % |
211.08/211.12	c |    249169 |   91412   777723  1778024 |        1    59409    159 |  6.032 % |
211.08/211.12	c |    249518 |   91412   777723  1778024 |        1    59758    160 |  6.032 % |
211.08/211.12	c |    249724 |   91411   777723  1778024 |        1    59963    160 |  6.033 % |
211.08/211.12	c |    249988 |   91407   777723  1778024 |        1    60223    160 |  6.037 % |
211.08/211.12	c |    250088 |   91407   777723  1778024 |        1    60323    160 |  6.037 % |
211.08/211.12	c |    250188 |   91407   777723  1778024 |        1    60423    161 |  6.037 % |
211.08/211.12	c |    250597 |   91407   777723  1778024 |        1    60832    161 |  6.037 % |
211.08/211.12	c |    252188 |   91403   777723  1778024 |        1    62416    163 |  6.041 % |
211.08/211.12	c |    254656 |   91402   777713  1777960 |        1    64876    166 |  6.042 % |
211.08/211.12	c |    254759 |   91402   777713  1777960 |        1    64979    166 |  6.042 % |
211.08/211.12	c |    255383 |   91401   777713  1777960 |        1    33098     72 |  6.043 % |
211.08/211.12	c |    255484 |   91401   777713  1777960 |        1    33199     72 |  6.043 % |
211.08/211.12	c |    258379 |   91398   777713  1777960 |        1    36023     81 |  6.046 % |
211.08/211.12	c |    258480 |   91398   777713  1777960 |        1    36124     82 |  6.046 % |
211.08/211.12	c |    258580 |   91398   777713  1777960 |        1    36224     82 |  6.046 % |
211.08/211.12	c |    258726 |   91398   777713  1777960 |        1    36370     83 |  6.046 % |
211.08/211.12	c |    258827 |   91398   777713  1777960 |        1    36471     83 |  6.046 % |
250.48/250.56	c |    259669 |   91397   777713  1777960 |        1    37312     90 |  6.047 % |
250.48/250.56	c |    259964 |   91397   777713  1777960 |        1    37607     92 |  6.047 % |
250.48/250.56	c |    260584 |   91397   777713  1777960 |        1    38227     93 |  6.047 % |
250.48/250.56	c |    261296 |   91397   777713  1777960 |        1    38939     96 |  6.047 % |
250.48/250.56	c |    264537 |   91393   777698  1777786 |        1    42174    105 |  6.052 % |
250.48/250.56	c |    265119 |   91393   777696  1777775 |        1    42752    108 |  6.052 % |
250.48/250.56	c |    265222 |   91393   777696  1777775 |        1    42855    108 |  6.052 % |
250.48/250.56	c |    265323 |   91393   777696  1777775 |        1    42956    109 |  6.052 % |
250.48/250.56	c |    265436 |   91393   777696  1777775 |        1    43069    109 |  6.052 % |
250.48/250.56	c |    265536 |   91393   777696  1777775 |        1    43169    110 |  6.052 % |
250.48/250.56	c |    265637 |   91393   777696  1777775 |        1    43270    110 |  6.052 % |
250.48/250.56	c |    265737 |   91393   777696  1777775 |        1    43370    110 |  6.052 % |
250.48/250.56	c |    265907 |   91393   777696  1777775 |        1    43540    110 |  6.052 % |
250.48/250.56	c |    266484 |   91392   777696  1777775 |        1    44115    111 |  6.053 % |
250.48/250.56	c |    266585 |   91392   777696  1777775 |        1    44216    112 |  6.053 % |
250.48/250.56	c |    272328 |   91333   777675  1777655 |        1    49955    119 |  6.113 % |
250.48/250.56	c |    273045 |   91333   777675  1777655 |        1    50672    121 |  6.113 % |
250.48/250.56	c |    273153 |   91333   777675  1777655 |        1    50780    121 |  6.113 % |
250.48/250.56	c |    273323 |   91333   777675  1777655 |        1    50950    121 |  6.113 % |
250.48/250.56	c |    273457 |   91333   777675  1777655 |        1    51084    122 |  6.113 % |
250.48/250.56	c |    274493 |   91333   777675  1777655 |        1    52120    123 |  6.113 % |
250.48/250.56	c |    274623 |   91332   777675  1777655 |        1    52249    124 |  6.114 % |
250.48/250.56	c |    274786 |   91332   777675  1777655 |        1    52412    124 |  6.114 % |
250.48/250.56	c |    275042 |   91332   777675  1777655 |        1    52668    126 |  6.114 % |
250.48/250.56	c |    275434 |   91331   777675  1777655 |        1    53059    127 |  6.115 % |
250.48/250.56	c |    275539 |   91329   777675  1777655 |        1    53162    127 |  6.117 % |
250.48/250.56	c |    276011 |   91328   777675  1777655 |        1    53633    128 |  6.118 % |
250.48/250.56	c |    276496 |   91328   777675  1777655 |        1    54109    130 |  6.118 % |
250.48/250.56	c |    276787 |   91328   777675  1777655 |        1    54400    131 |  6.118 % |
250.48/250.56	c |    276953 |   91328   777675  1777655 |        1    54566    131 |  6.118 % |
250.48/250.56	c |    277396 |   91328   777675  1777655 |        1    55009    132 |  6.118 % |
250.48/250.56	c |    278054 |   91328   777675  1777655 |        1    55667    133 |  6.118 % |
250.48/250.56	c |    278157 |   91327   777675  1777655 |        1    55769    133 |  6.119 % |
250.48/250.56	c |    278353 |   91327   777675  1777655 |        1    55965    134 |  6.119 % |
250.48/250.56	c |    278454 |   91327   777675  1777655 |        1    56066    135 |  6.119 % |
250.48/250.56	c |    279601 |   91326   777675  1777655 |        1    57212    137 |  6.120 % |
250.48/250.56	c |    280446 |   91326   777675  1777655 |        1    58057    139 |  6.120 % |
250.48/250.56	c |    280546 |   91326   777675  1777655 |        1    58155    139 |  6.120 % |
250.48/250.56	c |    284163 |   91324   777675  1777655 |        1    61761    142 |  6.123 % |
250.48/250.56	c |    284282 |   91323   777675  1777655 |        1    61879    142 |  6.124 % |
250.48/250.56	c |    285377 |   91322   777675  1777655 |        1    62973    143 |  6.125 % |
250.48/250.56	c |    285477 |   91322   777675  1777655 |        1    63073    143 |  6.125 % |
250.48/250.56	c |    285582 |   91322   777675  1777655 |        1    63178    144 |  6.125 % |
250.48/250.56	c |    285682 |   91322   777675  1777655 |        1    63278    144 |  6.125 % |
250.48/250.56	c |    287126 |   91322   777675  1777655 |        1    64722    146 |  6.125 % |
250.48/250.56	c |    287229 |   91322   777675  1777655 |        1    64817    146 |  6.125 % |
250.48/250.56	c |    287358 |   91322   777675  1777655 |        1    64946    146 |  6.125 % |
250.48/250.56	c |    298578 |   91320   777675  1777655 |        1    41078     85 |  6.127 % |
250.48/250.56	c |    298678 |   91319   777675  1777655 |        1    41177     86 |  6.128 % |
250.48/250.56	c |    299627 |   91319   777675  1777655 |        1    42126     90 |  6.128 % |
292.07/292.14	c |    300477 |   91319   777675  1777655 |        1    42972     92 |  6.128 % |
292.07/292.14	c |    304302 |   91319   777675  1777655 |        1    46797    110 |  6.128 % |
292.07/292.14	c |    304721 |   91319   777675  1777655 |        1    47216    110 |  6.128 % |
292.07/292.14	c |    304821 |   91318   777675  1777655 |        1    47308    111 |  6.129 % |
292.07/292.14	c |    305339 |   91318   777675  1777655 |        1    47826    111 |  6.129 % |
292.07/292.14	c |    308465 |   91318   777675  1777655 |        1    50952    123 |  6.129 % |
292.07/292.14	c |    308581 |   91318   777675  1777655 |        1    51068    123 |  6.129 % |
292.07/292.14	c |    308804 |   91318   777675  1777655 |        1    51291    123 |  6.129 % |
292.07/292.14	c |    309649 |   91317   777675  1777655 |        1    52128    125 |  6.130 % |
292.07/292.14	c |    314829 |   91317   777675  1777655 |        1    57308    131 |  6.130 % |
292.07/292.14	c |    315027 |   91317   777675  1777655 |        1    57506    131 |  6.130 % |
292.07/292.14	c |    315833 |   91317   777675  1777655 |        1    58312    134 |  6.130 % |
292.07/292.14	c |    315935 |   91317   777675  1777655 |        1    58414    135 |  6.130 % |
292.07/292.14	c |    316142 |   91317   777675  1777655 |        1    58621    135 |  6.130 % |
292.07/292.14	c |    316368 |   91317   777675  1777655 |        1    58847    136 |  6.130 % |
292.07/292.14	c |    316513 |   91317   777675  1777655 |        1    58992    137 |  6.130 % |
292.07/292.14	c |    316614 |   91316   777675  1777655 |        1    59088    137 |  6.131 % |
292.07/292.14	c |    317023 |   91316   777675  1777655 |        1    59497    138 |  6.131 % |
292.07/292.14	c |    317123 |   91316   777675  1777655 |        1    59597    138 |  6.131 % |
292.07/292.14	c |    317225 |   91316   777675  1777655 |        1    59699    138 |  6.131 % |
292.07/292.14	c |    317429 |   91315   777675  1777655 |        1    59902    138 |  6.132 % |
292.07/292.14	c |    317581 |   91313   777675  1777655 |        1    60052    139 |  6.134 % |
292.07/292.14	c |    317685 |   91313   777675  1777655 |        1    60156    139 |  6.134 % |
292.07/292.14	c |    318751 |   91313   777675  1777655 |        1    61222    146 |  6.134 % |
292.07/292.14	c |    318852 |   91313   777675  1777655 |        1    61318    146 |  6.134 % |
292.07/292.14	c |    318952 |   91313   777675  1777655 |        1    61418    146 |  6.134 % |
292.07/292.14	c |    319092 |   91313   777675  1777655 |        1    61558    147 |  6.134 % |
292.07/292.14	c |    327084 |   91312   777675  1777655 |        1    69549    159 |  6.135 % |
292.07/292.14	c |    327469 |   91312   777675  1777655 |        1    69931    160 |  6.135 % |
292.07/292.14	c |    328398 |   91310   777675  1777655 |        1    70858    163 |  6.137 % |
292.07/292.14	c |    328500 |   91310   777675  1777655 |        1    70960    163 |  6.137 % |
292.07/292.14	c |    329946 |   91310   777675  1777655 |        1    72406    163 |  6.137 % |
292.07/292.14	c |    330576 |   91310   777675  1777655 |        1    73034    163 |  6.137 % |
292.07/292.14	c |    330683 |   91310   777675  1777655 |        1    73141    163 |  6.137 % |
292.07/292.14	c |    330968 |   91310   777675  1777655 |        1    73426    164 |  6.137 % |
292.07/292.14	c |    331252 |   91310   777675  1777655 |        1    73710    164 |  6.137 % |
292.07/292.14	c |    331607 |   91310   777675  1777655 |        1    74065    164 |  6.137 % |
292.07/292.14	c |    331906 |   91309   777675  1777655 |        1    74363    164 |  6.138 % |
292.07/292.14	c |    334319 |   91309   777675  1777655 |        1    39056     84 |  6.138 % |
292.07/292.14	c |    334561 |   91192   777675  1777655 |        1    39296     85 |  6.258 % |
292.07/292.14	c |    334939 |   91191   777675  1777655 |        1    39673     87 |  6.259 % |
292.07/292.14	c |    336017 |   91191   777675  1777655 |        1    40751     90 |  6.259 % |
292.07/292.14	c |    336121 |   91191   777651  1777473 |        1    40849     90 |  6.259 % |
292.07/292.14	c |    336222 |   91191   777651  1777473 |        1    40950     91 |  6.259 % |
292.07/292.14	c |    337116 |   91191   777651  1777473 |        1    41844     93 |  6.259 % |
292.07/292.14	c |    337246 |   91191   777651  1777473 |        1    41974     93 |  6.259 % |
292.07/292.14	c |    338118 |   91191   777651  1777473 |        1    42846     98 |  6.259 % |
292.07/292.14	c |    338955 |   91191   777651  1777473 |        1    43683    100 |  6.259 % |
292.07/292.14	c |    339059 |   91191   777651  1777473 |        1    43787    100 |  6.259 % |
292.07/292.14	c |    342211 |   91191   777651  1777473 |        1    46939    114 |  6.259 % |
341.47/341.56	c |    342394 |   91191   777651  1777473 |        1    47122    115 |  6.259 % |
341.47/341.56	c |    347346 |   91190   777651  1777473 |        1    52071    125 |  6.260 % |
341.47/341.56	c |    347446 |   91190   777651  1777473 |        1    52171    126 |  6.260 % |
341.47/341.56	c |    347547 |   91190   777651  1777473 |        1    52272    126 |  6.260 % |
341.47/341.56	c |    347720 |   91189   777651  1777473 |        1    52444    126 |  6.261 % |
341.47/341.56	c |    347822 |   91189   777651  1777473 |        1    52546    126 |  6.261 % |
341.47/341.56	c |    349528 |   91189   777651  1777473 |        1    54252    130 |  6.261 % |
341.47/341.56	c |    349629 |   91188   777651  1777473 |        1    54347    130 |  6.262 % |
341.47/341.56	c |    352100 |   91188   777651  1777473 |        1    56818    131 |  6.262 % |
341.47/341.56	c |    353042 |   91188   777651  1777473 |        1    57759    133 |  6.262 % |
341.47/341.56	c |    354642 |   91188   777651  1777473 |        1    59359    135 |  6.262 % |
341.47/341.56	c |    356474 |   91186   777651  1777473 |        1    61189    137 |  6.264 % |
341.47/341.56	c |    356966 |   91186   777651  1777473 |        1    61678    138 |  6.264 % |
341.47/341.56	c |    365615 |   91185   777651  1777473 |        1    70319    145 |  6.265 % |
341.47/341.56	c |    366045 |   91185   777651  1777473 |        1    70749    146 |  6.265 % |
341.47/341.56	c |    367798 |   91185   777651  1777473 |        1    72502    152 |  6.265 % |
341.47/341.56	c |    368083 |   91185   777651  1777473 |        1    72787    152 |  6.265 % |
341.47/341.56	c |    368183 |   91185   777651  1777473 |        1    72887    152 |  6.265 % |
341.47/341.56	c |    368284 |   91185   777651  1777473 |        1    72988    153 |  6.265 % |
341.47/341.56	c |    368680 |   91185   777651  1777473 |        1    73384    154 |  6.265 % |
341.47/341.56	c |    368782 |   91185   777651  1777473 |        1    73486    154 |  6.265 % |
341.47/341.56	c |    369088 |   91185   777651  1777473 |        1    73792    155 |  6.265 % |
341.47/341.56	c |    369193 |   91185   777651  1777473 |        1    73897    155 |  6.265 % |
341.47/341.56	c |    371508 |   91185   777651  1777473 |        1    76212    158 |  6.265 % |
341.47/341.56	c |    372597 |   91174   777593  1776827 |        1    77260    158 |  6.277 % |
341.47/341.56	c |    372708 |   91174   777593  1776827 |        1    77371    158 |  6.277 % |
341.47/341.56	c |    372810 |   91173   777593  1776827 |        1    77472    158 |  6.278 % |
341.47/341.56	c |    372912 |   91173   777593  1776827 |        1    77574    159 |  6.278 % |
341.47/341.56	c |    375888 |   91173   777593  1776827 |        1    80550    164 |  6.278 % |
341.47/341.56	c |    376177 |   91173   777593  1776827 |        1    40517     69 |  6.278 % |
341.47/341.56	c |    376277 |   91173   777593  1776827 |        1    40617     69 |  6.278 % |
341.47/341.56	c |    376377 |   91173   777593  1776827 |        1    40717     70 |  6.278 % |
341.47/341.56	c |    376728 |   91173   777593  1776827 |        1    41068     72 |  6.278 % |
341.47/341.56	c |    376995 |   91172   777593  1776827 |        1    41334     73 |  6.279 % |
341.47/341.56	c |    377095 |   91172   777593  1776827 |        1    41434     74 |  6.279 % |
341.47/341.56	c |    377197 |   91172   777593  1776827 |        1    41536     75 |  6.279 % |
341.47/341.56	c |    377376 |   91172   777593  1776827 |        1    41715     77 |  6.279 % |
341.47/341.56	c |    378697 |   91172   777593  1776827 |        1    43036     84 |  6.279 % |
341.47/341.56	c |    378929 |   91171   777593  1776827 |        1    43261     85 |  6.280 % |
341.47/341.56	c |    379516 |   91171   777593  1776827 |        1    43848     86 |  6.280 % |
341.47/341.56	c |    379766 |   91171   777593  1776827 |        1    44098     87 |  6.280 % |
341.47/341.56	c |    381000 |   91171   777593  1776827 |        1    45332     96 |  6.280 % |
341.47/341.56	c |    381273 |   91171   777593  1776827 |        1    45605     97 |  6.280 % |
341.47/341.56	c |    381519 |   91171   777593  1776827 |        1    45851     98 |  6.280 % |
341.47/341.56	c |    381621 |   91171   777593  1776827 |        1    45953     98 |  6.280 % |
341.47/341.56	c |    383926 |   91171   777593  1776827 |        1    48258    107 |  6.280 % |
341.47/341.56	c |    384114 |   91170   777593  1776827 |        1    48444    108 |  6.281 % |
341.47/341.56	c |    386801 |   91170   777593  1776827 |        1    51131    116 |  6.281 % |
341.47/341.56	c |    388309 |   91109   777589  1776815 |        1    52638    123 |  6.344 % |
341.47/341.56	c |    388410 |   91109   777589  1776815 |        1    52739    123 |  6.344 % |
388.88/388.99	c |    388997 |   91109   777589  1776815 |        1    53326    126 |  6.344 % |
388.88/388.99	c |    389098 |   91109   777589  1776815 |        1    53427    126 |  6.344 % |
388.88/388.99	c |    389785 |   91108   777589  1776815 |        1    54113    129 |  6.345 % |
388.88/388.99	c |    394967 |   91106   777589  1776815 |        1    59286    137 |  6.347 % |
388.88/388.99	c |    395773 |   91106   777589  1776815 |        1    60092    139 |  6.347 % |
388.88/388.99	c |    395875 |   91106   777589  1776815 |        1    60194    139 |  6.347 % |
388.88/388.99	c |    397597 |   91106   777589  1776815 |        1    61916    142 |  6.347 % |
388.88/388.99	c |    397699 |   91106   777589  1776815 |        1    62018    142 |  6.347 % |
388.88/388.99	c |    398840 |   91106   777589  1776815 |        1    63159    147 |  6.347 % |
388.88/388.99	c |    398940 |   91106   777589  1776815 |        1    63259    147 |  6.347 % |
388.88/388.99	c |    399293 |   91106   777589  1776815 |        1    63612    148 |  6.347 % |
388.88/388.99	c |    399394 |   91106   777589  1776815 |        1    63713    148 |  6.347 % |
388.88/388.99	c |    401185 |   91103   777588  1776811 |        1    65498    150 |  6.350 % |
388.88/388.99	c |    402039 |   91100   777588  1776811 |        1    66351    152 |  6.353 % |
388.88/388.99	c |    402139 |   91100   777588  1776811 |        1    66451    152 |  6.353 % |
388.88/388.99	c |    403759 |   91100   777588  1776811 |        1    68071    155 |  6.353 % |
388.88/388.99	c |    403861 |   91100   777574  1776686 |        1    68162    155 |  6.353 % |
388.88/388.99	c |    405214 |   91100   777574  1776686 |        1    69515    156 |  6.353 % |
388.88/388.99	c |    409728 |   91099   777574  1776686 |        1    74028    157 |  6.354 % |
388.88/388.99	c |    410650 |   91099   777574  1776686 |        1    74950    158 |  6.354 % |
388.88/388.99	c |    410751 |   91099   777574  1776686 |        1    75051    158 |  6.354 % |
388.88/388.99	c |    410851 |   91099   777574  1776686 |        1    75151    158 |  6.354 % |
388.88/388.99	c |    410954 |   91099   777574  1776686 |        1    75254    159 |  6.354 % |
388.88/388.99	c |    411054 |   91098   777574  1776686 |        1    75353    159 |  6.355 % |
388.88/388.99	c |    413502 |   91098   777574  1776686 |        1    77801    158 |  6.355 % |
388.88/388.99	c |    413603 |   91098   777574  1776686 |        1    77900    158 |  6.355 % |
388.88/388.99	c |    414318 |   91098   777574  1776686 |        1    78615    160 |  6.355 % |
388.88/388.99	c |    414418 |   91098   777574  1776686 |        1    78715    160 |  6.355 % |
388.88/388.99	c |    416056 |   91098   777574  1776686 |        1    80353    162 |  6.355 % |
388.88/388.99	c |    417647 |   91098   777574  1776686 |        1    81944    163 |  6.355 % |
388.88/388.99	c |    417749 |   91098   777574  1776686 |        1    82046    163 |  6.355 % |
388.88/388.99	c |    419723 |   91098   777574  1776686 |        1    84020    165 |  6.355 % |
388.88/388.99	c |    419824 |   91098   777574  1776686 |        1    84121    165 |  6.355 % |
388.88/388.99	c |    419924 |   91098   777574  1776686 |        1    84221    165 |  6.355 % |
388.88/388.99	c |    421068 |   91098   777574  1776686 |        1    85365    165 |  6.355 % |
388.88/388.99	c |    421443 |   91098   777574  1776686 |        1    85740    165 |  6.355 % |
388.88/388.99	c |    423149 |   91098   777574  1776686 |        1    44507     82 |  6.355 % |
388.88/388.99	c |    423322 |   91098   777574  1776686 |        1    44680     82 |  6.355 % |
388.88/388.99	c |    424179 |   91098   777574  1776686 |        1    45537     85 |  6.355 % |
388.88/388.99	c |    424380 |   91096   777574  1776686 |        1    45735     85 |  6.357 % |
388.88/388.99	c |    424609 |   91096   777574  1776686 |        1    45964     86 |  6.357 % |
388.88/388.99	c |    424709 |   91096   777574  1776686 |        1    46064     86 |  6.357 % |
388.88/388.99	c |    424810 |   91096   777574  1776686 |        1    46165     87 |  6.357 % |
388.88/388.99	c |    425929 |   90572   777574  1776686 |        1    47277     89 |  6.896 % |
388.88/388.99	c |    426189 |   90572   777574  1776686 |        1    47537     91 |  6.896 % |
388.88/388.99	c |    429367 |   90571   777502  1775853 |        1    50685    104 |  6.897 % |
388.88/388.99	c |    429662 |   90571   777502  1775853 |        1    50980    104 |  6.897 % |
388.88/388.99	c |    430272 |   90561   777502  1775853 |        1    51589    107 |  6.907 % |
388.88/388.99	c |    430373 |   90561   777502  1775853 |        1    51690    107 |  6.907 % |
388.88/388.99	c |    431462 |   90561   777502  1775853 |        1    52779    114 |  6.907 % |
463.68/463.71	c |    431623 |   90561   777500  1775836 |        1    52937    115 |  6.907 % |
463.68/463.71	c |    433700 |   90559   777500  1775836 |        1    55008    119 |  6.909 % |
463.68/463.71	c |    433800 |   90559   777500  1775836 |        1    55108    120 |  6.909 % |
463.68/463.71	c |    434205 |   90543   777500  1775836 |        1    55512    121 |  6.925 % |
463.68/463.71	c |    435054 |   90542   777500  1775836 |        1    56360    123 |  6.926 % |
463.68/463.71	c |    435287 |   90542   777500  1775836 |        1    56593    124 |  6.926 % |
463.68/463.71	c |    435387 |   90542   777473  1775626 |        1    56672    124 |  6.926 % |
463.68/463.71	c |    435487 |   90542   777473  1775626 |        1    56772    124 |  6.926 % |
463.68/463.71	c |    435688 |   90542   777473  1775626 |        1    56973    125 |  6.926 % |
463.68/463.71	c |    437408 |   90542   777473  1775626 |        1    58693    128 |  6.926 % |
463.68/463.71	c |    439680 |   90541   777473  1775626 |        1    60963    132 |  6.927 % |
463.68/463.71	c |    439780 |   90541   777473  1775626 |        1    61063    132 |  6.927 % |
463.68/463.71	c |    440540 |   90541   777473  1775626 |        1    61823    133 |  6.927 % |
463.68/463.71	c |    440640 |   90541   777473  1775626 |        1    61923    133 |  6.927 % |
463.68/463.71	c |    441189 |   90540   777473  1775626 |        1    62469    134 |  6.928 % |
463.68/463.71	c |    444695 |   90539   777473  1775626 |        1    65974    140 |  6.929 % |
463.68/463.71	c |    447548 |   90538   777473  1775626 |        1    68822    146 |  6.931 % |
463.68/463.71	c |    447648 |   90538   777473  1775626 |        1    68922    146 |  6.931 % |
463.68/463.71	c |    448064 |   90538   777473  1775626 |        1    69338    147 |  6.931 % |
463.68/463.71	c |    454316 |   90538   777473  1775626 |        1    75590    157 |  6.931 % |
463.68/463.71	c |    454416 |   90537   777473  1775626 |        1    75689    157 |  6.932 % |
463.68/463.71	c |    454800 |   90536   777473  1775626 |        1    76072    157 |  6.933 % |
463.68/463.71	c |    454904 |   90536   777473  1775626 |        1    76176    158 |  6.933 % |
463.68/463.71	c |    455886 |   90536   777473  1775626 |        1    77158    158 |  6.933 % |
463.68/463.71	c |    457503 |   90536   777473  1775626 |        1    78775    159 |  6.933 % |
463.68/463.71	c |    457688 |   90536   777473  1775626 |        1    78960    159 |  6.933 % |
463.68/463.71	c |    457791 |   90536   777473  1775626 |        1    79063    160 |  6.933 % |
463.68/463.71	c |    457891 |   90536   777473  1775626 |        1    79163    160 |  6.933 % |
463.68/463.71	c |    459902 |   90536   777473  1775626 |        1    81174    164 |  6.933 % |
463.68/463.71	c |    460423 |   90536   777473  1775626 |        1    81695    164 |  6.933 % |
463.68/463.71	c |    474381 |   90510   777471  1775597 |        1    50110     92 |  6.959 % |
463.68/463.71	c |    476146 |   90509   777471  1775597 |        1    51869     99 |  6.960 % |
463.68/463.71	c |    476247 |   90509   777471  1775597 |        1    51970    100 |  6.960 % |
463.68/463.71	c |    476347 |   90509   777471  1775597 |        1    52070    100 |  6.960 % |
463.68/463.71	c |    476447 |   90391   777449  1775422 |        1    52162    101 |  7.082 % |
463.68/463.71	c |    476547 |   90391   777449  1775422 |        1    52262    101 |  7.082 % |
463.68/463.71	c |    476969 |   90391   777449  1775422 |        1    52684    102 |  7.082 % |
463.68/463.71	c |    479912 |   90391   777449  1775422 |        1    55627    106 |  7.082 % |
463.68/463.71	c |    480583 |   90391   777449  1775422 |        1    56298    108 |  7.082 % |
463.68/463.71	c |    481244 |   90391   777449  1775422 |        1    56959    110 |  7.082 % |
463.68/463.71	c |    481344 |   90391   777449  1775422 |        1    57059    110 |  7.082 % |
463.68/463.71	c |    484206 |   90390   777449  1775422 |        1    59917    116 |  7.083 % |
463.68/463.71	c |    484920 |   90389   777449  1775422 |        1    60630    117 |  7.084 % |
463.68/463.71	c |    485020 |   90389   777449  1775422 |        1    60730    117 |  7.084 % |
463.68/463.71	c |    487811 |   90388   777449  1775422 |        1    63518    123 |  7.085 % |
463.68/463.71	c |    488197 |   90388   777449  1775422 |        1    63904    124 |  7.085 % |
463.68/463.71	c |    491792 |   89803   777449  1775422 |        1    67498    129 |  7.686 % |
463.68/463.71	c |    492499 |   89801   777066  1771151 |        1    67563    131 |  7.688 % |
463.68/463.71	c |    499499 |   89800   777063  1771134 |        1    74559    133 |  7.689 % |
463.68/463.71	c |    499599 |   89800   777063  1771134 |        1    74659    133 |  7.689 % |
574.88/574.98	c |    499702 |   89800   777063  1771134 |        1    74762    133 |  7.689 % |
574.88/574.98	c |    501243 |   89798   777063  1771134 |        1    76301    133 |  7.691 % |
574.88/574.98	c |    501343 |   89798   777063  1771134 |        1    76401    133 |  7.691 % |
574.88/574.98	c |    506102 |   89798   777063  1771134 |        1    81160    140 |  7.691 % |
574.88/574.98	c |    508492 |   89797   777063  1771134 |        1    83549    141 |  7.692 % |
574.88/574.98	c |    509079 |   89792   777048  1770959 |        1    84104    142 |  7.697 % |
574.88/574.98	c |    509179 |   89792   777048  1770959 |        1    84204    142 |  7.697 % |
574.88/574.98	c |    510345 |   89791   777048  1770959 |        1    85369    143 |  7.698 % |
574.88/574.98	c |    511663 |   89790   777048  1770959 |        1    86686    145 |  7.699 % |
574.88/574.98	c |    511763 |   89790   777048  1770959 |        1    86773    145 |  7.699 % |
574.88/574.98	c |    521764 |   89788   777048  1770959 |        1    48983     71 |  7.701 % |
574.88/574.98	c |    522309 |   89788   777048  1770959 |        1    49528     72 |  7.701 % |
574.88/574.98	c |    525393 |   89787   777048  1770959 |        1    52606     81 |  7.703 % |
574.88/574.98	c |    525497 |   89787   777048  1770959 |        1    52710     81 |  7.703 % |
574.88/574.98	c |    526142 |   89753   777048  1770959 |        1    53353     82 |  7.737 % |
574.88/574.98	c |    532303 |   89747   777035  1770876 |        1    59484     85 |  7.744 % |
574.88/574.98	c |    534695 |   89747   777035  1770876 |        1    61876     91 |  7.744 % |
574.88/574.98	c |    534796 |   89747   777033  1770862 |        1    61972     91 |  7.744 % |
574.88/574.98	c |    536628 |   89747   777033  1770862 |        1    63804     94 |  7.744 % |
574.88/574.98	c |    544235 |   89746   777033  1770862 |        1    71401    110 |  7.745 % |
574.88/574.98	c |    547081 |   89746   777033  1770862 |        1    74247    114 |  7.745 % |
574.88/574.98	c |    550828 |   89740   777009  1770673 |        1    77954    119 |  7.751 % |
574.88/574.98	c |    552297 |   89739   777009  1770673 |        1    79422    122 |  7.752 % |
574.88/574.98	c |    556365 |   89739   777009  1770673 |        1    83490    127 |  7.752 % |
574.88/574.98	c |    556467 |   89739   777009  1770673 |        1    83589    127 |  7.752 % |
574.88/574.98	c |    557081 |   89739   777009  1770673 |        1    84203    129 |  7.752 % |
574.88/574.98	c |    557181 |   89739   777009  1770673 |        1    84303    129 |  7.752 % |
574.88/574.98	c |    559214 |   89739   777009  1770673 |        1    86336    131 |  7.752 % |
574.88/574.98	c |    561082 |   89739   777009  1770673 |        1    88204    133 |  7.752 % |
574.88/574.98	c |    565804 |   89706   776990  1770545 |        1    92903    134 |  7.786 % |
574.88/574.98	c |    568858 |   89704   776990  1770545 |        1    95955    137 |  7.788 % |
574.88/574.98	c |    570740 |   89704   776990  1770545 |        1    97837    139 |  7.788 % |
574.88/574.98	c |    573504 |   89702   776990  1770545 |        1   100590    141 |  7.790 % |
574.88/574.98	c |    576037 |   89701   776976  1770419 |        1    52578     78 |  7.791 % |
574.88/574.98	c |    576262 |   89701   776976  1770419 |        1    52803     79 |  7.791 % |
574.88/574.98	c |    576363 |   89701   776976  1770419 |        1    52904     79 |  7.791 % |
574.88/574.98	c |    579171 |   89701   776976  1770419 |        1    55712     86 |  7.791 % |
574.88/574.98	c |    579277 |   89701   776976  1770419 |        1    55817     86 |  7.791 % |
574.88/574.98	c |    579377 |   89701   776976  1770419 |        1    55917     86 |  7.791 % |
574.88/574.98	c |    579477 |   89700   776976  1770419 |        1    56016     86 |  7.792 % |
574.88/574.98	c |    579668 |   89700   776976  1770419 |        1    56207     87 |  7.792 % |
574.88/574.98	c |    579769 |   89700   776976  1770419 |        1    56308     87 |  7.792 % |
574.88/574.98	c |    582384 |   89699   776976  1770419 |        1    58922     93 |  7.793 % |
574.88/574.98	c |    584596 |   89699   776976  1770419 |        1    61134     97 |  7.793 % |
574.88/574.98	c |    584905 |   89698   776976  1770419 |        1    61436     98 |  7.794 % |
574.88/574.98	c |    588790 |   89696   776976  1770419 |        1    65318    108 |  7.796 % |
574.88/574.98	c |    588890 |   89696   776976  1770419 |        1    65418    108 |  7.796 % |
574.88/574.98	c |    589410 |   89696   776976  1770419 |        1    65938    109 |  7.796 % |
574.88/574.98	c |    590851 |   89695   776976  1770419 |        1    67375    113 |  7.797 % |
574.88/574.98	c |    602137 |   89692   776976  1770419 |        1    78650    125 |  7.800 % |
752.09/752.14	c |    602237 |   89692   776976  1770419 |        1    78750    125 |  7.800 % |
752.09/752.14	c |    605024 |   89692   776976  1770419 |        1    81537    130 |  7.800 % |
752.09/752.14	c |    605834 |   89692   776976  1770419 |        1    82347    131 |  7.800 % |
752.09/752.14	c |    620100 |   89691   776976  1770419 |        1    96612    139 |  7.801 % |
752.09/752.14	c |    621272 |   89691   776976  1770419 |        1    97776    141 |  7.801 % |
752.09/752.14	c |    621715 |   89691   776976  1770419 |        1    98219    141 |  7.801 % |
752.09/752.14	c |    622178 |   89690   776976  1770419 |        1    98681    142 |  7.802 % |
752.09/752.14	c |    624244 |   89690   776976  1770419 |        1   100747    143 |  7.802 % |
752.09/752.14	c |    624344 |   89690   776976  1770419 |        1   100846    143 |  7.802 % |
752.09/752.14	c |    629750 |   89689   776976  1770419 |        1   106251    145 |  7.803 % |
752.09/752.14	c |    630476 |   89689   776976  1770419 |        1    53738     71 |  7.803 % |
752.09/752.14	c |    642007 |   89688   776976  1770419 |        1    65265     88 |  7.804 % |
752.09/752.14	c |    642109 |   89688   776976  1770419 |        1    65367     89 |  7.804 % |
752.09/752.14	c |    646984 |   89688   776976  1770419 |        1    70242     97 |  7.804 % |
752.09/752.14	c |    649307 |   89688   776976  1770419 |        1    72565     98 |  7.804 % |
752.09/752.14	c |    651751 |   89687   776976  1770419 |        1    75008    100 |  7.805 % |
752.09/752.14	c |    652274 |   89686   776976  1770419 |        1    75530    101 |  7.806 % |
752.09/752.14	c |    655354 |   89686   776976  1770419 |        1    78610    105 |  7.806 % |
752.09/752.14	c |    655454 |   89686   776976  1770419 |        1    78710    105 |  7.806 % |
752.09/752.14	c |    657861 |   89686   776976  1770419 |        1    81117    109 |  7.806 % |
752.09/752.14	c |    661062 |   89685   776976  1770419 |        1    84314    112 |  7.807 % |
752.09/752.14	c |    664806 |   89685   776976  1770419 |        1    88058    118 |  7.807 % |
752.09/752.14	c |    664950 |   89685   776976  1770419 |        1    88202    118 |  7.807 % |
752.09/752.14	c |    665327 |   89685   776976  1770419 |        1    88579    118 |  7.807 % |
752.09/752.14	c |    666039 |   89685   776976  1770419 |        1    89291    119 |  7.807 % |
752.09/752.14	c |    675441 |   89685   776976  1770419 |        1    98693    134 |  7.807 % |
752.09/752.14	c |    677791 |   89684   776976  1770419 |        1   101040    135 |  7.808 % |
752.09/752.14	c |    677892 |   89684   776976  1770419 |        1   101141    135 |  7.808 % |
752.09/752.14	c |    685146 |   89684   776976  1770419 |        1   108395    138 |  7.808 % |
752.09/752.14	c |    685247 |   89684   776976  1770419 |        1   108496    138 |  7.808 % |
752.09/752.14	c |    688038 |   89684   776976  1770419 |        1   111287    141 |  7.808 % |
752.09/752.14	c |    688138 |   89684   776976  1770419 |        1   111387    141 |  7.808 % |
752.09/752.14	c |    691074 |   89681   776976  1770419 |        1    58402     73 |  7.811 % |
752.09/752.14	c |    691174 |   89681   776976  1770419 |        1    58502     73 |  7.811 % |
752.09/752.14	c |    692706 |   89681   776973  1770402 |        1    60034     79 |  7.811 % |
752.09/752.14	c |    692841 |   89681   776973  1770402 |        1    60169     79 |  7.811 % |
752.09/752.14	c |    693903 |   89681   776973  1770402 |        1    61231     81 |  7.811 % |
752.09/752.14	c |    694005 |   89681   776973  1770402 |        1    61333     81 |  7.811 % |
752.09/752.14	c |    694108 |   89681   776973  1770402 |        1    61436     81 |  7.811 % |
752.09/752.14	c |    694975 |   89681   776973  1770402 |        1    62303     83 |  7.811 % |
752.09/752.14	c |    698859 |   89680   776973  1770402 |        1    66182     86 |  7.812 % |
752.09/752.14	c |    700980 |   89679   776973  1770402 |        1    68302     90 |  7.814 % |
752.09/752.14	c |    701082 |   89678   776973  1770402 |        1    68403     90 |  7.815 % |
752.09/752.14	c |    705655 |   89678   776973  1770402 |        1    72976     96 |  7.815 % |
752.09/752.14	c |    716941 |   89616   776971  1770396 |        1    84247    103 |  7.878 % |
752.09/752.14	c |    721090 |   89616   776971  1770396 |        1    88396    110 |  7.878 % |
752.09/752.14	c |    721192 |   89616   776971  1770396 |        1    88498    110 |  7.878 % |
752.09/752.14	c |    721526 |   89616   776971  1770396 |        1    88832    111 |  7.878 % |
752.09/752.14	c |    731680 |   89613   776971  1770396 |        1    98979    115 |  7.881 % |
752.09/752.14	c |    753129 |   89602   776971  1770396 |        1    60192     73 |  7.893 % |
929.88/929.99	c |    753314 |   89602   776953  1770201 |        1    59655     74 |  7.893 % |
929.88/929.99	c |    753473 |   89601   776953  1770201 |        1    59813     74 |  7.894 % |
929.88/929.99	c |    757570 |   89601   776953  1770201 |        1    63910     83 |  7.894 % |
929.88/929.99	c |    765040 |   89601   776953  1770201 |        1    71380     98 |  7.894 % |
929.88/929.99	c |    765140 |   89601   776953  1770201 |        1    71480     98 |  7.894 % |
929.88/929.99	c |    767981 |   89600   776953  1770201 |        1    74320    104 |  7.895 % |
929.88/929.99	c |    768082 |   89600   776953  1770201 |        1    74421    104 |  7.895 % |
929.88/929.99	c |    768630 |   89599   776953  1770201 |        1    74968    105 |  7.896 % |
929.88/929.99	c |    772724 |   89598   776953  1770201 |        1    79061    108 |  7.897 % |
929.88/929.99	c |    776686 |   89598   776953  1770201 |        1    83023    109 |  7.897 % |
929.88/929.99	c |    777940 |   89598   776953  1770201 |        1    84277    111 |  7.897 % |
929.88/929.99	c |    782127 |   89598   776953  1770201 |        1    88464    120 |  7.897 % |
929.88/929.99	c |    786979 |   89597   776953  1770201 |        1    93053    125 |  7.898 % |
929.88/929.99	c |    787079 |   89596   776953  1770201 |        1    93152    125 |  7.899 % |
929.88/929.99	c |    787179 |   89596   776953  1770201 |        1    93252    125 |  7.899 % |
929.88/929.99	c |    787279 |   89596   776953  1770201 |        1    93352    126 |  7.899 % |
929.88/929.99	c |    787496 |   89595   776953  1770201 |        1    93568    126 |  7.900 % |
929.88/929.99	c |    787768 |   89594   776953  1770201 |        1    93839    126 |  7.901 % |
929.88/929.99	c |    788511 |   89593   776953  1770201 |        1    94581    126 |  7.902 % |
929.88/929.99	c |    788747 |   89593   776953  1770201 |        1    94817    127 |  7.902 % |
929.88/929.99	c |    789192 |   89593   776953  1770201 |        1    95262    128 |  7.902 % |
929.88/929.99	c |    789292 |   89593   776953  1770201 |        1    95362    128 |  7.902 % |
929.88/929.99	c |    790574 |   89592   776953  1770201 |        1    96639    129 |  7.903 % |
929.88/929.99	c |    791558 |   89592   776953  1770201 |        1    97623    130 |  7.903 % |
929.88/929.99	c |    795997 |   89591   776953  1770201 |        1   102058    132 |  7.904 % |
929.88/929.99	c |    797106 |   89550   776953  1770201 |        1   103165    134 |  7.946 % |
929.88/929.99	c |    797222 |   89550   776953  1770201 |        1   103281    134 |  7.946 % |
929.88/929.99	c |    797397 |   89548   776953  1770201 |        1   103454    134 |  7.948 % |
929.88/929.99	c |    836027 |   89547   776937  1770102 |        1    82245     83 |  7.949 % |
929.88/929.99	c |    841953 |   89547   776937  1770102 |        1    88171     91 |  7.949 % |
929.88/929.99	c |    842054 |   89547   776937  1770102 |        1    88272     91 |  7.949 % |
929.88/929.99	c |    845749 |   89546   776937  1770102 |        1    91966     98 |  7.950 % |
929.88/929.99	c |    845853 |   89546   776937  1770102 |        1    92070     98 |  7.950 % |
929.88/929.99	c |    846220 |   89546   776937  1770102 |        1    92437     99 |  7.950 % |
929.88/929.99	c |    855083 |   89543   776922  1769927 |        1   101272    106 |  7.953 % |
929.88/929.99	c |    855732 |   89541   776919  1769910 |        1   101919    106 |  7.955 % |
929.88/929.99	c |    856877 |   89541   776919  1769910 |        1   103064    107 |  7.955 % |
929.88/929.99	c |    868928 |   89541   776919  1769910 |        1   115115    118 |  7.955 % |
929.88/929.99	c |    884155 |   89539   776919  1769910 |        1    67253     72 |  7.957 % |
929.88/929.99	c |    885414 |   89539   776919  1769910 |        1    68512     75 |  7.957 % |
929.88/929.99	c |    888221 |   89536   776919  1769910 |        1    71308     79 |  7.961 % |
929.88/929.99	c |    888418 |   89536   776919  1769910 |        1    71505     80 |  7.961 % |
929.88/929.99	c |    888519 |   89535   776919  1769910 |        1    71605     80 |  7.962 % |
929.88/929.99	c |    888641 |   89534   776919  1769910 |        1    71726     81 |  7.963 % |
929.88/929.99	c |    890353 |   89532   776919  1769910 |        1    73427     82 |  7.965 % |
929.88/929.99	c |    909250 |   89532   776919  1769910 |        1    92324    105 |  7.965 % |
929.88/929.99	c |    909350 |   89532   776919  1769910 |        1    92422    105 |  7.965 % |
929.88/929.99	c |    909455 |   89532   776919  1769910 |        1    92527    105 |  7.965 % |
929.88/929.99	c |    910052 |   89532   776919  1769910 |        1    93124    106 |  7.965 % |
929.88/929.99	c |    910152 |   89532   776919  1769910 |        1    93224    106 |  7.965 % |
1116.70/1116.71	c |    910252 |   89532   776919  1769910 |        1    93324    107 |  7.965 % |
1116.70/1116.71	c |    926923 |   89528   776919  1769910 |        1   109992    121 |  7.969 % |
1116.70/1116.71	c |    932029 |   89527   776904  1769696 |        1   115080    123 |  7.970 % |
1116.70/1116.71	c |    937405 |   89435   776902  1769602 |        1   120454    126 |  8.064 % |
1116.70/1116.71	c |    938350 |   89435   776902  1769602 |        1   121399    127 |  8.064 % |
1116.70/1116.71	c |    940868 |   89435   776902  1769602 |        1   123917    129 |  8.064 % |
1116.70/1116.71	c |    941121 |   89434   776902  1769602 |        1   124167    130 |  8.065 % |
1116.70/1116.71	c |    941221 |   89434   776902  1769602 |        1   124267    130 |  8.065 % |
1116.70/1116.71	c |    945787 |   89434   776902  1769602 |        1   128833    132 |  8.065 % |
1116.70/1116.71	c |    948427 |   89434   776902  1769602 |        1   131467    134 |  8.065 % |
1116.70/1116.71	c |    948528 |   89434   776902  1769602 |        1   131568    135 |  8.065 % |
1116.70/1116.71	c |    951999 |   89431   776902  1769602 |        1    69025     77 |  8.068 % |
1116.70/1116.71	c |    958750 |   89431   776902  1769602 |        1    75773     87 |  8.068 % |
1116.70/1116.71	c |    968373 |   89431   776902  1769602 |        1    85396    100 |  8.068 % |
1116.70/1116.71	c |    968608 |   89431   776902  1769602 |        1    85631    100 |  8.068 % |
1116.70/1116.71	c |    969183 |   89430   776902  1769602 |        1    86203    101 |  8.069 % |
1116.70/1116.71	c |    983211 |   89427   776902  1769602 |        1   100216    118 |  8.073 % |
1116.70/1116.71	c |    983311 |   89427   776902  1769602 |        1   100316    118 |  8.073 % |
1116.70/1116.71	c |    989310 |   89426   776902  1769602 |        1   106293    121 |  8.074 % |
1116.70/1116.71	c |    989616 |   89426   776902  1769602 |        1   106599    121 |  8.074 % |
1116.70/1116.71	c |    989716 |   89426   776902  1769602 |        1   106699    121 |  8.074 % |
1116.70/1116.71	c |    994739 |   89425   776902  1769602 |        1   111712    129 |  8.075 % |
1116.70/1116.71	c |    994840 |   89425   776902  1769602 |        1   111813    129 |  8.075 % |
1116.70/1116.71	c |   1010329 |   89423   776902  1769602 |        1   127300    136 |  8.077 % |
1116.70/1116.71	c |   1038070 |   89413   776898  1769582 |        1    86238     95 |  8.087 % |
1116.70/1116.71	c |   1039744 |   89412   776898  1769582 |        1    87911     98 |  8.088 % |
1116.70/1116.71	c |   1039910 |   89412   776898  1769582 |        1    88077     98 |  8.088 % |
1116.70/1116.71	c |   1042061 |   89411   776898  1769582 |        1    90227    100 |  8.089 % |
1116.70/1116.71	c |   1048969 |   89403   776896  1769568 |        1    97126    103 |  8.097 % |
1116.70/1116.71	c |   1049655 |   89403   776896  1769568 |        1    97812    104 |  8.097 % |
1116.70/1116.71	c |   1049757 |   89403   776896  1769568 |        1    97914    104 |  8.097 % |
1116.70/1116.71	c |   1051523 |   89403   776896  1769568 |        1    99680    105 |  8.097 % |
1116.70/1116.71	c |   1063262 |   89401   776896  1769568 |        1   109988    111 |  8.099 % |
1116.70/1116.71	c |   1063780 |   89400   776896  1769568 |        1   110505    112 |  8.100 % |
1116.70/1116.71	c |   1064887 |   89400   776896  1769568 |        1   111612    112 |  8.100 % |
1116.70/1116.71	c |   1065210 |   56806   776896  1769568 |        1   111928    112 | 41.606 % |
1116.70/1116.71	c ===============================================================================
1116.70/1116.71	c restarts              : 924
1116.70/1116.71	c nb ReduceDB           : 27
1116.70/1116.71	c nb removed Clauses    : 943722
1116.70/1116.71	c nb learnts DL2        : 4132
1116.70/1116.71	c nb learnts size 2     : 1914
1116.70/1116.71	c nb learnts size 1     : 659
1116.70/1116.71	c conflicts             : 1065210        (956 /sec)
1116.70/1116.71	c decisions             : 2449285        (0.00 % random) (2198 /sec)
1116.70/1116.71	c propagations          : 5882482570     (5279658 /sec)
1116.70/1116.71	c conflict literals     : 240269457      (46.36 % deleted)
1116.70/1116.71	c nb reduced Clauses    : 2101
1116.70/1116.71	c CPU time              : 1114.18 s
1116.70/1116.71	
1116.70/1116.72	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3286642-1303763537/watcher-3286642-1303763537 -o /tmp/evaluation-result-3286642-1303763537/solver-3286642-1303763537 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3286642-1303763537.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.02 4.02 3.82 5/192 5089
/proc/meminfo: memFree=9947728/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=0 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) R 5087 5089 3965 0 -1 4202496 317 0 0 0 0 0 0 0 25 0 1 0 566584421 8912896 253 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880385429 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/5089/statm: 2176 253 211 178 0 69 0

[startup+0.03668 s]
/proc/loadavg: 4.02 4.02 3.82 5/192 5089
/proc/meminfo: memFree=9947728/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=0 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 566584421 8912896 253 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5089/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100666 s]
/proc/loadavg: 4.02 4.02 3.82 5/192 5089
/proc/meminfo: memFree=9947728/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=0 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 566584421 8912896 253 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5089/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300631 s]
/proc/loadavg: 4.02 4.02 3.82 5/192 5089
/proc/meminfo: memFree=9947728/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=0 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 566584421 8912896 253 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5089/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700558 s]
/proc/loadavg: 4.02 4.02 3.82 5/192 5089
/proc/meminfo: memFree=9947728/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=0 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 566584421 8912896 253 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/5089/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50042 s]
/proc/loadavg: 4.02 4.02 3.82 5/194 5091
/proc/meminfo: memFree=9883612/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) R 5087 5089 3965 0 -1 4202496 343 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880385429 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8704

[startup+3.10114 s]
/proc/loadavg: 4.02 4.02 3.82 5/194 5092
/proc/meminfo: memFree=9872480/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=70708 CPUtime=1.59 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 13288 0 0 0 157 2 0 0 24 0 1 0 566584571 72404992 12600 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 17677 12600 250 17 0 14318 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 79412

[startup+6.30057 s]
/proc/loadavg: 4.02 4.02 3.82 5/194 5092
/proc/meminfo: memFree=9842968/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=71724 CPUtime=4.79 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 19523 0 0 0 475 4 0 0 25 0 1 0 566584571 73445376 12579 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 17931 12579 252 17 0 14572 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 80428

[startup+12.7004 s]
/proc/loadavg: 4.02 4.02 3.82 5/194 5092
/proc/meminfo: memFree=9812528/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=72568 CPUtime=11.19 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 27386 0 0 0 1114 5 0 0 25 0 1 0 566584571 74309632 13481 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 18142 13481 252 17 0 14783 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 81272

[startup+25.5012 s]
/proc/loadavg: 4.02 4.02 3.82 6/194 5093
/proc/meminfo: memFree=9680164/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=120844 CPUtime=23.99 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 40100 0 0 0 2391 8 0 0 25 0 1 0 566584571 123744256 25341 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224467 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 30211 25341 252 17 0 26852 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 129548

[startup+51.1007 s]
/proc/loadavg: 4.01 4.02 3.82 5/194 5093
/proc/meminfo: memFree=9849444/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=170164 CPUtime=49.59 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 65759 0 0 0 4947 12 0 0 25 0 1 0 566584571 174247936 34409 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 42541 34409 252 17 0 39182 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 178868

[startup+102.307 s]
/proc/loadavg: 4.00 4.01 3.83 5/194 5095
/proc/meminfo: memFree=9662280/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=170164 CPUtime=100.8 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 98020 0 0 0 10062 18 0 0 25 0 1 0 566584571 174247936 33930 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 42541 33930 252 17 0 39182 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 178868

[startup+162.301 s]
/proc/loadavg: 4.00 4.01 3.83 5/194 5125
/proc/meminfo: memFree=9562820/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=170164 CPUtime=160.8 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 126914 0 0 0 16055 25 0 0 25 0 1 0 566584571 174247936 37090 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 42541 37090 252 17 0 39182 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 178868

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.84 5/194 5127
/proc/meminfo: memFree=9441376/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=170164 CPUtime=220.79 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 152897 0 0 0 22049 30 0 0 25 0 1 0 566584571 174247936 35102 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 42541 35102 252 17 0 39182 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 178868

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.84 5/194 5128
/proc/meminfo: memFree=9560264/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=280.8 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 172794 0 0 0 28044 36 0 0 25 0 1 0 566584571 205807616 41311 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41311 252 17 0 46887 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 209688

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.85 5/194 5131
/proc/meminfo: memFree=9408436/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=170164 CPUtime=340.8 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 199604 0 0 0 34037 43 0 0 25 0 1 0 566584571 174247936 35965 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 42541 35965 252 17 0 39182 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 178868

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.86 6/194 5166
/proc/meminfo: memFree=9675884/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=400.8 cores=0,2

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


[startup+762.307 s]
/proc/loadavg: 4.07 4.02 3.91 5/194 5175
/proc/meminfo: memFree=9498352/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=170164 CPUtime=760.81 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 327278 0 0 0 76004 77 0 0 25 0 1 0 566584571 174247936 35850 33554432000 4194304 4260849 140734814948048 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 42541 35850 252 17 0 39182 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 178868

[startup+822.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/194 5177
/proc/meminfo: memFree=9199744/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=251072 CPUtime=820.81 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 337546 0 0 0 82000 81 0 0 25 0 1 0 566584571 257097728 46066 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 62768 46066 252 17 0 59409 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 259776

[startup+882.301 s]
/proc/loadavg: 3.52 3.88 3.87 4/187 5196
/proc/meminfo: memFree=10086256/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=880.81 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 354440 0 0 0 87994 87 0 0 25 0 1 0 566584571 205807616 41929 33554432000 4194304 4260849 140734814948048 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41929 252 17 0 46887 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 209688

[startup+942.301 s]
/proc/loadavg: 3.19 3.72 3.81 4/187 5198
/proc/meminfo: memFree=10383568/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=940.81 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 372792 0 0 0 93988 93 0 0 25 0 1 0 566584571 205807616 41110 33554432000 4194304 4260849 140734814948048 18446744073709551615 4209949 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41110 252 17 0 46887 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 209688

[startup+1002.3 s]
/proc/loadavg: 3.02 3.58 3.76 3/180 5218
/proc/meminfo: memFree=10992948/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1000.81 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 392033 0 0 0 99984 97 0 0 25 0 1 0 566584571 205807616 38502 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 38502 252 17 0 46887 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 209688

[startup+1062.3 s]
/proc/loadavg: 2.37 3.29 3.65 3/180 5219
/proc/meminfo: memFree=10959632/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=251072 CPUtime=1060.81 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 401759 0 0 0 105980 101 0 0 25 0 1 0 566584571 257097728 48182 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 62768 48182 252 17 0 59409 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 259776

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

[startup+1075.1 s]
/proc/loadavg: 2.29 3.23 3.62 3/180 5220
/proc/meminfo: memFree=10998440/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=170164 CPUtime=1073.61 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 412968 0 0 0 107258 103 0 0 25 0 1 0 566584571 174247936 36168 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 42541 36168 252 17 0 39182 0
Current children cumulated CPU time (s) 1075.09
Current children cumulated vsize (KiB) 178868

[startup+1100.7 s]
/proc/loadavg: 2.19 3.13 3.57 3/180 5220
/proc/meminfo: memFree=10991368/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1099.21 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 416584 0 0 0 109816 105 0 0 25 0 1 0 566584571 205807616 39769 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 39769 252 17 0 46887 0
Current children cumulated CPU time (s) 1100.69
Current children cumulated vsize (KiB) 209688

[startup+1107.1 s]
/proc/loadavg: 2.17 3.11 3.57 3/180 5220
/proc/meminfo: memFree=10983912/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1105.61 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 417441 0 0 0 110456 105 0 0 25 0 1 0 566584571 205807616 40623 33554432000 4194304 4260849 140734814948048 18446744073709551615 4226480 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 40623 252 17 0 46887 0
Current children cumulated CPU time (s) 1107.09
Current children cumulated vsize (KiB) 209688

[startup+1113.5 s]
/proc/loadavg: 2.15 3.07 3.55 3/180 5221
/proc/meminfo: memFree=10976472/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1112.02 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 418322 0 0 0 111096 106 0 0 25 0 1 0 566584571 205807616 41501 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224434 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41501 252 17 0 46887 0
Current children cumulated CPU time (s) 1113.5
Current children cumulated vsize (KiB) 209688

[startup+1115.1 s]
/proc/loadavg: 2.15 3.07 3.55 3/180 5221
/proc/meminfo: memFree=10975108/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1113.61 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 418566 0 0 0 111255 106 0 0 25 0 1 0 566584571 205807616 41744 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41744 252 17 0 46887 0
Current children cumulated CPU time (s) 1115.09
Current children cumulated vsize (KiB) 209688

[startup+1115.9 s]
/proc/loadavg: 2.15 3.07 3.55 3/180 5221
/proc/meminfo: memFree=10973868/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1114.42 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 418663 0 0 0 111336 106 0 0 25 0 1 0 566584571 205807616 41840 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41840 252 17 0 46887 0
Current children cumulated CPU time (s) 1115.9
Current children cumulated vsize (KiB) 209688

[startup+1116.3 s]
/proc/loadavg: 2.15 3.07 3.55 3/180 5221
/proc/meminfo: memFree=10973868/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1114.82 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 418711 0 0 0 111376 106 0 0 25 0 1 0 566584571 205807616 41888 33554432000 4194304 4260849 140734814948048 18446744073709551615 4209953 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41888 252 17 0 46887 0
Current children cumulated CPU time (s) 1116.3
Current children cumulated vsize (KiB) 209688

[startup+1116.7 s]
/proc/loadavg: 2.15 3.07 3.55 3/180 5221
/proc/meminfo: memFree=10972628/32950928 swapFree=67111528/67111528
[pid=5089] ppid=5087 vsize=8704 CPUtime=1.48 cores=0,2
/proc/5089/stat : 5089 (glucose.sh) S 5087 5089 3965 0 -1 4202496 360 17571 0 0 0 0 144 4 18 0 1 0 566584421 8912896 255 33554432000 4194304 4922060 140737302251488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5089/statm: 2176 255 211 178 0 69 0
[pid=5092] ppid=5089 vsize=200984 CPUtime=1115.22 cores=0,2
/proc/5092/stat : 5092 (glucose_static) R 5089 5089 3965 0 -1 4202496 418756 0 0 0 111416 106 0 0 25 0 1 0 566584571 205807616 41932 33554432000 4194304 4260849 140734814948048 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5092/statm: 50246 41932 252 17 0 46887 0
Current children cumulated CPU time (s) 1116.7
Current children cumulated vsize (KiB) 209688

Child status: 20
Real time (s): 1116.74
CPU time (s): 1116.75
CPU user time (s): 1115.63
CPU system time (s): 1.12583
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 309096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1115.63
system time used= 1.12583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436904
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= 40
involuntary context switches= 1314

runsolver used 2.00069 second user time and 4.03539 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-25 22:32:18
IDJOB=3286642
IDBENCH=82431
IDSOLVER=1651
FILE ID=node112/3286642-1303763537
RUNJOBID= node112-1303761767-4631
PBS_JOBID= 13157140
Free space on /tmp= 72188 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286642-1303763537/watcher-3286642-1303763537 -o /tmp/evaluation-result-3286642-1303763537/solver-3286642-1303763537 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3286642-1303763537.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 00d93f117a3253605ad3ac6a153ec61f
RANDOM SEED=1023489681

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5261.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       9948008 kB
Buffers:       1974068 kB
Cached:       19242056 kB
SwapCached:          0 kB
Active:       11333588 kB
Inactive:     11120516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       9948008 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          202484 kB
Writeback:           0 kB
AnonPages:     1236728 kB
Mapped:          15356 kB
Slab:           482696 kB
PageTables:       7960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1681404 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72448 MiB
End job on node112 at 2011-04-25 22:50:54