Trace number 3291656

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 1145.76 1145.8

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
MD5SUMf16626953757fdd1326f2a14f01adca9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1015.28
Satisfiable
(Un)Satisfiability was proved
Number of variables435701
Number of clauses1379987
Sum of the clauses size3544455
Maximum clause length304
Minimum clause length1
Number of clauses of size 1142
Number of clauses of size 2654099
Number of clauses of size 3705129
Number of clauses of size 412732
Number of clauses of size 54852
Number of clauses of size over 53033

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...
1.39/1.49	c ==============================================================================
1.39/1.49	c |           |     ORIGINAL     |              LEARNT              |          |
1.39/1.49	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.39/1.49	c ==============================================================================
1.39/1.49	c |         0 | 1379117  3541891 |  413735       0        0     nan |  0.000 % |
8.80/8.80	c |         0 |  616639  2018525 |      --       0       --      -- |     --   | -735035/-1451089
8.80/8.80	c ==============================================================================
8.80/8.80	c Result  :   #vars: 113534   #clauses: 616639   #literals: 2018525
8.80/8.80	c CPU time:   8.5677 s
8.80/8.80	c ==============================================================================
9.29/9.32	c
9.29/9.32	c Starting glucose
9.29/9.32	c
25.73/25.85	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
25.73/25.85	c WARNING: for repeatability, setting FPU to use double precision
25.73/25.85	c ============================[ Problem Statistics ]=============================
25.73/25.85	c |                                                                             |
25.73/25.85	c |  Number of variables:        113534                                         |
25.73/25.85	c |  Number of clauses:          616639                                         |
25.73/25.85	c |  Parse time:                   0.28 s                                       |
25.73/25.85	c |                                                                             |
25.73/25.85	c ============================[ Search Statistics ]==============================
25.73/25.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.73/25.85	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
25.73/25.85	c ===============================================================================
25.73/25.85	c |       235 |  113533   616639  2018525 |        1      234     20 |  0.001 % |
25.73/25.85	c |      1397 |  113533   616639  2018525 |        1     1396     12 |  0.001 % |
25.73/25.85	c |      1498 |  113532   616637  2018513 |        1     1496     15 |  0.002 % |
25.73/25.85	c |      2400 |  113485   616637  2018513 |        1     2395     19 |  0.043 % |
25.73/25.85	c |      3067 |  113484   616392  2017560 |        1     3060     18 |  0.044 % |
25.73/25.85	c |      3212 |  113484   616392  2017560 |        1     3205     18 |  0.044 % |
25.73/25.85	c |      4967 |  113484   616392  2017560 |        1     3041     16 |  0.044 % |
25.73/25.85	c |      5093 |  113484   616386  2017542 |        1     3167     17 |  0.044 % |
25.73/25.85	c |      5607 |  113484   616386  2017542 |        1     3681     18 |  0.044 % |
25.73/25.85	c |      5916 |  113484   616386  2017542 |        1     3990     23 |  0.044 % |
25.73/25.85	c |      6016 |  113484   616386  2017542 |        1     4090     23 |  0.044 % |
25.73/25.85	c |      6183 |  113484   616386  2017542 |        1     4257     24 |  0.044 % |
25.73/25.85	c |      6283 |  113484   616386  2017542 |        1     4357     25 |  0.044 % |
25.73/25.85	c |      6889 |  113484   616386  2017542 |        1     4963     26 |  0.044 % |
25.73/25.85	c |      8277 |  113482   616373  2017502 |        1     6349     23 |  0.046 % |
25.73/25.85	c |      9416 |  113477   616335  2017209 |        1     7485     24 |  0.050 % |
25.73/25.85	c |      9516 |  113477   616335  2017209 |        1     7585     25 |  0.050 % |
25.73/25.85	c |      9693 |  113476   616335  2017209 |        1     7761     25 |  0.051 % |
25.73/25.85	c |      9800 |  113476   616335  2017209 |        1     7868     26 |  0.051 % |
25.73/25.85	c |      9901 |  113476   616335  2017209 |        1     7969     27 |  0.051 % |
25.73/25.85	c |     10222 |  113476   616331  2017197 |        1     8290     28 |  0.051 % |
25.73/25.85	c |     10322 |  113476   616331  2017197 |        1     8390     28 |  0.051 % |
25.73/25.85	c |     10595 |  113476   616331  2017197 |        1     8663     28 |  0.051 % |
25.73/25.85	c |     10740 |  113476   616331  2017197 |        1     8808     29 |  0.051 % |
25.73/25.85	c |     10840 |  113476   616331  2017197 |        1     8908     29 |  0.051 % |
25.73/25.85	c |     10941 |  113476   616331  2017197 |        1     9009     30 |  0.051 % |
25.73/25.85	c |     11074 |  113476   616331  2017197 |        1     9142     31 |  0.051 % |
25.73/25.85	c |     13136 |  113473   616325  2017179 |        1     6643     19 |  0.054 % |
25.73/25.85	c |     13238 |  113473   616304  2017109 |        1     6745     19 |  0.054 % |
25.73/25.85	c |     13970 |  113473   616304  2017109 |        1     7477     21 |  0.054 % |
25.73/25.85	c |     14070 |  113473   616304  2017109 |        1     7577     22 |  0.054 % |
25.73/25.85	c |     14455 |  113473   616304  2017109 |        1     7962     23 |  0.054 % |
25.73/25.85	c |     14555 |  113473   616304  2017109 |        1     8062     23 |  0.054 % |
25.73/25.85	c |     15526 |  113472   616292  2017067 |        1     9032     29 |  0.055 % |
25.73/25.85	c |     17190 |  113471   616280  2017030 |        1    10695     31 |  0.055 % |
25.73/25.85	c |     17292 |  113471   616280  2017030 |        1    10797     31 |  0.055 % |
25.73/25.85	c |     17392 |  113471   616280  2017030 |        1    10897     31 |  0.055 % |
25.73/25.85	c |     17492 |  113471   616280  2017030 |        1    10997     31 |  0.055 % |
25.73/25.85	c |     18370 |  113470   616268  2016990 |        1    11874     33 |  0.056 % |
52.64/52.76	c |     19054 |  113470   616268  2016990 |        1    12558     33 |  0.056 % |
52.64/52.76	c |     19164 |  113470   616268  2016990 |        1    12668     34 |  0.056 % |
52.64/52.76	c |     19264 |  113470   616268  2016990 |        1    12768     34 |  0.056 % |
52.64/52.76	c |     20951 |  113469   616262  2016972 |        1    14454     35 |  0.057 % |
52.64/52.76	c |     21051 |  113469   616262  2016972 |        1    14554     35 |  0.057 % |
52.64/52.76	c |     21846 |  113469   616262  2016972 |        1    15349     35 |  0.057 % |
52.64/52.76	c |     22808 |  113469   616262  2016972 |        1    16311     34 |  0.057 % |
52.64/52.76	c |     22910 |  113469   616262  2016972 |        1    16413     34 |  0.057 % |
52.64/52.76	c |     24713 |  113467   616249  2016927 |        1    18214     36 |  0.059 % |
52.64/52.76	c |     24814 |  113467   616237  2016885 |        1    18315     36 |  0.059 % |
52.64/52.76	c |     24914 |  113467   616237  2016885 |        1    18415     37 |  0.059 % |
52.64/52.76	c |     25162 |  113467   616237  2016885 |        1    18663     37 |  0.059 % |
52.64/52.76	c |     25940 |  113467   616237  2016885 |        1    11698     19 |  0.059 % |
52.64/52.76	c |     26108 |  113467   616237  2016885 |        1    11866     20 |  0.059 % |
52.64/52.76	c |     26208 |  113467   616237  2016885 |        1    11966     20 |  0.059 % |
52.64/52.76	c |     26639 |  113467   616237  2016885 |        1    12397     21 |  0.059 % |
52.64/52.76	c |     26797 |  113467   616237  2016885 |        1    12555     22 |  0.059 % |
52.64/52.76	c |     26897 |  113467   616237  2016885 |        1    12655     22 |  0.059 % |
52.64/52.76	c |     27317 |  113467   616237  2016885 |        1    13075     23 |  0.059 % |
52.64/52.76	c |     27504 |  113467   616237  2016885 |        1    13262     23 |  0.059 % |
52.64/52.76	c |     27606 |  113467   616237  2016885 |        1    13364     23 |  0.059 % |
52.64/52.76	c |     27848 |  113467   616237  2016885 |        1    13606     24 |  0.059 % |
52.64/52.76	c |     27948 |  113467   616237  2016885 |        1    13706     25 |  0.059 % |
52.64/52.76	c |     28653 |  113467   616237  2016885 |        1    14411     27 |  0.059 % |
52.64/52.76	c |     30381 |  113465   616224  2016845 |        1    16137     29 |  0.061 % |
52.64/52.76	c |     30526 |  113465   616224  2016845 |        1    16282     29 |  0.061 % |
52.64/52.76	c |     30785 |  113465   616224  2016845 |        1    16541     29 |  0.061 % |
52.64/52.76	c |     33553 |  113464   616205  2016773 |        1    19308     30 |  0.062 % |
52.64/52.76	c |     34000 |  113464   616205  2016773 |        1    19755     31 |  0.062 % |
52.64/52.76	c |     34196 |  113464   616205  2016773 |        1    19951     31 |  0.062 % |
52.64/52.76	c |     34296 |  113464   616205  2016773 |        1    20051     32 |  0.062 % |
52.64/52.76	c |     34396 |  113464   616205  2016773 |        1    20151     32 |  0.062 % |
52.64/52.76	c |     34754 |  113464   616205  2016773 |        1    20509     32 |  0.062 % |
52.64/52.76	c |     36310 |  113464   616205  2016773 |        1    22065     33 |  0.062 % |
52.64/52.76	c |     36416 |  113464   616205  2016773 |        1    22171     33 |  0.062 % |
52.64/52.76	c |     37469 |  113464   616205  2016773 |        1    23224     34 |  0.062 % |
52.64/52.76	c |     37627 |  113464   616205  2016773 |        1    23382     35 |  0.062 % |
52.64/52.76	c |     37910 |  113463   616199  2016755 |        1    23664     35 |  0.063 % |
52.64/52.76	c |     38010 |  113463   616199  2016755 |        1    23764     35 |  0.063 % |
52.64/52.76	c |     38246 |  113463   616199  2016755 |        1    24000     35 |  0.063 % |
52.64/52.76	c |     39498 |  113463   616199  2016755 |        1    25252     37 |  0.063 % |
52.64/52.76	c |     39598 |  113463   616199  2016755 |        1    25352     37 |  0.063 % |
52.64/52.76	c |     39723 |  113463   616199  2016755 |        1    25477     38 |  0.063 % |
52.64/52.76	c |     39823 |  113463   616199  2016755 |        1    25577     38 |  0.063 % |
52.64/52.76	c |     40574 |  113463   616199  2016755 |        1    26328     39 |  0.063 % |
52.64/52.76	c |     41151 |  113463   616199  2016755 |        1    26905     39 |  0.063 % |
52.64/52.76	c |     41272 |  113463   616199  2016755 |        1    27026     39 |  0.063 % |
52.64/52.76	c |     41633 |  113463   616199  2016755 |        1    27387     39 |  0.063 % |
52.64/52.76	c |     41769 |  113463   616199  2016755 |        1    27523     39 |  0.063 % |
52.64/52.76	c |     41869 |  113463   616199  2016755 |        1    27623     39 |  0.063 % |
98.24/98.38	c |     41969 |  113463   616199  2016755 |        1    27723     39 |  0.063 % |
98.24/98.38	c |     45422 |  113462   616193  2016737 |        1    19616     21 |  0.063 % |
98.24/98.38	c |     46049 |  113462   616193  2016737 |        1    20243     22 |  0.063 % |
98.24/98.38	c |     46734 |  113462   616193  2016737 |        1    20928     23 |  0.063 % |
98.24/98.38	c |     47041 |  113462   616193  2016737 |        1    21235     23 |  0.063 % |
98.24/98.38	c |     47468 |  113462   616193  2016737 |        1    21662     25 |  0.063 % |
98.24/98.38	c |     47720 |  113462   616193  2016737 |        1    21914     26 |  0.063 % |
98.24/98.38	c |     47820 |  113462   616193  2016737 |        1    22014     26 |  0.063 % |
98.24/98.38	c |     48078 |  113462   616193  2016737 |        1    22272     26 |  0.063 % |
98.24/98.38	c |     48436 |  113461   616187  2016719 |        1    22629     26 |  0.064 % |
98.24/98.38	c |     48857 |  113461   616187  2016719 |        1    23050     27 |  0.064 % |
98.24/98.38	c |     48972 |  113460   616187  2016719 |        1    23164     27 |  0.065 % |
98.24/98.38	c |     50368 |  113460   616174  2016674 |        1    24560     28 |  0.065 % |
98.24/98.38	c |     50966 |  113460   616174  2016674 |        1    25158     29 |  0.065 % |
98.24/98.38	c |     51887 |  113458   616168  2016656 |        1    26077     30 |  0.067 % |
98.24/98.38	c |     52170 |  113458   616168  2016656 |        1    26360     30 |  0.067 % |
98.24/98.38	c |     52355 |  113458   616156  2016616 |        1    26544     31 |  0.067 % |
98.24/98.38	c |     52456 |  113458   616156  2016616 |        1    26645     31 |  0.067 % |
98.24/98.38	c |     52868 |  113458   616156  2016616 |        1    27057     31 |  0.067 % |
98.24/98.38	c |     52968 |  113458   616156  2016616 |        1    27157     31 |  0.067 % |
98.24/98.38	c |     53974 |  113458   616156  2016616 |        1    28163     31 |  0.067 % |
98.24/98.38	c |     54074 |  113458   616156  2016616 |        1    28263     33 |  0.067 % |
98.24/98.38	c |     54175 |  113458   616156  2016616 |        1    28364     33 |  0.067 % |
98.24/98.38	c |     54670 |  113458   616156  2016616 |        1    28859     33 |  0.067 % |
98.24/98.38	c |     56138 |  113457   616144  2016576 |        1    30326     34 |  0.068 % |
98.24/98.38	c |     56316 |  113457   616144  2016576 |        1    30504     34 |  0.068 % |
98.24/98.38	c |     56777 |  113457   616144  2016576 |        1    30965     35 |  0.068 % |
98.24/98.38	c |     57103 |  113457   616144  2016576 |        1    31291     36 |  0.068 % |
98.24/98.38	c |     57513 |  113456   616131  2016524 |        1    31700     36 |  0.069 % |
98.24/98.38	c |     57613 |  113456   616131  2016524 |        1    31800     36 |  0.069 % |
98.24/98.38	c |     58049 |  113456   616131  2016524 |        1    32236     37 |  0.069 % |
98.24/98.38	c |     58149 |  113456   616131  2016524 |        1    32336     37 |  0.069 % |
98.24/98.38	c |     61500 |  113455   616125  2016506 |        1    35686     38 |  0.070 % |
98.24/98.38	c |     61601 |  113455   616125  2016506 |        1    35787     38 |  0.070 % |
98.24/98.38	c |     61774 |  113455   616125  2016506 |        1    35960     39 |  0.070 % |
98.24/98.38	c |     62350 |  113455   616125  2016506 |        1    36536     40 |  0.070 % |
98.24/98.38	c |     63558 |  113454   616115  2016472 |        1    37742     41 |  0.070 % |
98.24/98.38	c |     64308 |  113454   616115  2016472 |        1    38492     41 |  0.070 % |
98.24/98.38	c |     64445 |  113454   616115  2016472 |        1    38629     41 |  0.070 % |
98.24/98.38	c |     64742 |  113454   616115  2016472 |        1    38926     41 |  0.070 % |
98.24/98.38	c |     65208 |  113454   616115  2016472 |        1    39392     41 |  0.070 % |
98.24/98.38	c |     71476 |  113454   616115  2016472 |        1    30110     27 |  0.070 % |
98.24/98.38	c |     72950 |  113454   616115  2016472 |        1    31584     30 |  0.070 % |
98.24/98.38	c |     74237 |  113454   616115  2016472 |        1    32871     33 |  0.070 % |
98.24/98.38	c |     74366 |  113454   616115  2016472 |        1    33000     33 |  0.070 % |
98.24/98.38	c |     74466 |  113454   616115  2016472 |        1    33100     33 |  0.070 % |
98.24/98.38	c |     74566 |  113454   616115  2016472 |        1    33200     33 |  0.070 % |
98.24/98.38	c |     74675 |  113454   616115  2016472 |        1    33309     33 |  0.070 % |
98.24/98.38	c |     74775 |  113454   616115  2016472 |        1    33409     33 |  0.070 % |
98.24/98.38	c |     74914 |  113454   616115  2016472 |        1    33548     34 |  0.070 % |
119.53/119.64	c |     75014 |  113454   616115  2016472 |        1    33648     34 |  0.070 % |
119.53/119.64	c |     75115 |  113454   616115  2016472 |        1    33749     34 |  0.070 % |
119.53/119.64	c |     75659 |  113454   616115  2016472 |        1    34293     34 |  0.070 % |
119.53/119.64	c |     76161 |  113454   616115  2016472 |        1    34795     35 |  0.070 % |
119.53/119.64	c |     76409 |  113329   615229  2013358 |        1    35021     36 |  0.181 % |
119.53/119.64	c |     76512 |  113329   615229  2013358 |        1    35124     36 |  0.181 % |
119.53/119.64	c |     77121 |  113329   615229  2013358 |        1    35733     37 |  0.181 % |
119.53/119.64	c |     77221 |  113329   615229  2013358 |        1    35833     37 |  0.181 % |
119.53/119.64	c |     77323 |  113329   615229  2013358 |        1    35935     37 |  0.181 % |
119.53/119.64	c |     78047 |  113329   615229  2013358 |        1    36659     37 |  0.181 % |
119.53/119.64	c |     78147 |  113329   615229  2013358 |        1    36759     38 |  0.181 % |
119.53/119.64	c |     78247 |  113329   615229  2013358 |        1    36859     38 |  0.181 % |
119.53/119.64	c |     78348 |  113329   615229  2013358 |        1    36960     38 |  0.181 % |
119.53/119.64	c |     78475 |  113329   615229  2013358 |        1    37087     38 |  0.181 % |
119.53/119.64	c |     79014 |  113329   615229  2013358 |        1    37626     39 |  0.181 % |
119.53/119.64	c |     79114 |  113329   615229  2013358 |        1    37726     39 |  0.181 % |
119.53/119.64	c |     79219 |  113329   615229  2013358 |        1    37831     40 |  0.181 % |
119.53/119.64	c |     79681 |  113329   615229  2013358 |        1    38293     40 |  0.181 % |
119.53/119.64	c |     79881 |  113329   615229  2013358 |        1    38493     40 |  0.181 % |
119.53/119.64	c |     79991 |  113329   615229  2013358 |        1    38603     41 |  0.181 % |
119.53/119.64	c |     80237 |  113329   615229  2013358 |        1    38849     41 |  0.181 % |
119.53/119.64	c |     81261 |  113328   615223  2013340 |        1    39872     41 |  0.181 % |
119.53/119.64	c |     81363 |  113328   615223  2013340 |        1    39974     41 |  0.181 % |
119.53/119.64	c |     81465 |  113328   615223  2013340 |        1    40076     41 |  0.181 % |
119.53/119.64	c |     82045 |  113327   615217  2013322 |        1    40654     42 |  0.182 % |
119.53/119.64	c |     82489 |  113327   615217  2013322 |        1    41098     42 |  0.182 % |
119.53/119.64	c |     82621 |  113327   615217  2013322 |        1    41230     42 |  0.182 % |
119.53/119.64	c |     82788 |  113327   615217  2013322 |        1    41397     42 |  0.182 % |
119.53/119.64	c |     82888 |  113327   615217  2013322 |        1    41497     42 |  0.182 % |
119.53/119.64	c |     84846 |  113327   615217  2013322 |        1    43455     43 |  0.182 % |
119.53/119.64	c |     84951 |  113327   615217  2013322 |        1    43560     43 |  0.182 % |
119.53/119.64	c |     85051 |  113327   615217  2013322 |        1    43660     43 |  0.182 % |
119.53/119.64	c |     85202 |  113327   615217  2013322 |        1    43811     43 |  0.182 % |
119.53/119.64	c |     85361 |  113327   615217  2013322 |        1    43970     43 |  0.182 % |
119.53/119.64	c |     85462 |  113327   615217  2013322 |        1    44071     43 |  0.182 % |
119.53/119.64	c |     86993 |  113327   615217  2013322 |        1    45602     44 |  0.182 % |
119.53/119.64	c |     87093 |  113327   615217  2013322 |        1    45702     44 |  0.182 % |
119.53/119.64	c |     88153 |  113327   615217  2013322 |        1    46762     43 |  0.182 % |
119.53/119.64	c |     88500 |  113327   615217  2013322 |        1    47109     44 |  0.182 % |
119.53/119.64	c |     89688 |  113327   615217  2013322 |        1    48297     43 |  0.182 % |
119.53/119.64	c |     92466 |  113327   615217  2013322 |        1    51075     44 |  0.182 % |
119.53/119.64	c |     92699 |  113327   615217  2013322 |        1    51308     44 |  0.182 % |
119.53/119.64	c |     92892 |  113327   615217  2013322 |        1    51501     44 |  0.182 % |
119.53/119.64	c |     93125 |  113327   615217  2013322 |        1    32502     22 |  0.182 % |
119.53/119.64	c |     93225 |  113327   615217  2013322 |        1    32602     22 |  0.182 % |
119.53/119.64	c |     93401 |  113327   615217  2013322 |        1    32778     22 |  0.182 % |
119.53/119.64	c |     93501 |  113327   615217  2013322 |        1    32878     22 |  0.182 % |
119.53/119.64	c |     94151 |  113327   615217  2013322 |        1    33528     23 |  0.182 % |
119.53/119.64	c |     94308 |  113327   615217  2013322 |        1    33685     24 |  0.182 % |
119.53/119.64	c |     94410 |  113327   615217  2013322 |        1    33787     24 |  0.182 % |
157.63/157.75	c |     98271 |  113326   615205  2013282 |        1    37647     30 |  0.183 % |
157.63/157.75	c |     98479 |  113326   615205  2013282 |        1    37855     30 |  0.183 % |
157.63/157.75	c |     98579 |  113326   615205  2013282 |        1    37955     30 |  0.183 % |
157.63/157.75	c |     98713 |  113326   615205  2013282 |        1    38089     31 |  0.183 % |
157.63/157.75	c |     98813 |  113326   615205  2013282 |        1    38189     31 |  0.183 % |
157.63/157.75	c |    100333 |  113326   615205  2013282 |        1    39709     32 |  0.183 % |
157.63/157.75	c |    100433 |  113326   615205  2013282 |        1    39809     32 |  0.183 % |
157.63/157.75	c |    100819 |  113326   615205  2013282 |        1    40195     32 |  0.183 % |
157.63/157.75	c |    101337 |  113326   615205  2013282 |        1    40713     33 |  0.183 % |
157.63/157.75	c |    101438 |  113326   615205  2013282 |        1    40814     33 |  0.183 % |
157.63/157.75	c |    101547 |  113326   615205  2013282 |        1    40923     33 |  0.183 % |
157.63/157.75	c |    101812 |  113324   615199  2013264 |        1    41186     34 |  0.185 % |
157.63/157.75	c |    101912 |  113324   615199  2013264 |        1    41286     34 |  0.185 % |
157.63/157.75	c |    102086 |  113324   615199  2013264 |        1    41460     35 |  0.185 % |
157.63/157.75	c |    102217 |  113324   615199  2013264 |        1    41591     35 |  0.185 % |
157.63/157.75	c |    102318 |  113324   615199  2013264 |        1    41692     36 |  0.185 % |
157.63/157.75	c |    102642 |  113324   615196  2013254 |        1    42016     37 |  0.185 % |
157.63/157.75	c |    102742 |  113324   615196  2013254 |        1    42116     37 |  0.185 % |
157.63/157.75	c |    104271 |  113324   615196  2013254 |        1    43645     37 |  0.185 % |
157.63/157.75	c |    104371 |  113324   615196  2013254 |        1    43745     37 |  0.185 % |
157.63/157.75	c |    104472 |  113324   615196  2013254 |        1    43846     37 |  0.185 % |
157.63/157.75	c |    104674 |  113324   615196  2013254 |        1    44048     37 |  0.185 % |
157.63/157.75	c |    105126 |  113324   615196  2013254 |        1    44500     39 |  0.185 % |
157.63/157.75	c |    105606 |  113324   615196  2013254 |        1    44980     40 |  0.185 % |
157.63/157.75	c |    106272 |  113324   615196  2013254 |        1    45646     40 |  0.185 % |
157.63/157.75	c |    107155 |  113324   615196  2013254 |        1    46529     42 |  0.185 % |
157.63/157.75	c |    107570 |  113324   615196  2013254 |        1    46944     42 |  0.185 % |
157.63/157.75	c |    107731 |  113324   615196  2013254 |        1    47105     43 |  0.185 % |
157.63/157.75	c |    107831 |  113324   615196  2013254 |        1    47205     43 |  0.185 % |
157.63/157.75	c |    107932 |  113324   615196  2013254 |        1    47306     43 |  0.185 % |
157.63/157.75	c |    108032 |  113324   615196  2013254 |        1    47406     43 |  0.185 % |
157.63/157.75	c |    108154 |  113324   615196  2013254 |        1    47528     43 |  0.185 % |
157.63/157.75	c |    109495 |  113324   615196  2013254 |        1    48869     43 |  0.185 % |
157.63/157.75	c |    109754 |  113324   615196  2013254 |        1    49128     44 |  0.185 % |
157.63/157.75	c |    109859 |  113324   615196  2013254 |        1    49233     44 |  0.185 % |
157.63/157.75	c |    109959 |  113324   615196  2013254 |        1    49333     44 |  0.185 % |
157.63/157.75	c |    110246 |  113324   615196  2013254 |        1    49620     44 |  0.185 % |
157.63/157.75	c |    110346 |  113324   615196  2013254 |        1    49720     44 |  0.185 % |
157.63/157.75	c |    110446 |  113324   615196  2013254 |        1    49820     44 |  0.185 % |
157.63/157.75	c |    110547 |  113324   615196  2013254 |        1    49921     44 |  0.185 % |
157.63/157.75	c |    111906 |  113324   615196  2013254 |        1    51280     45 |  0.185 % |
157.63/157.75	c |    112006 |  113324   615196  2013254 |        1    51380     45 |  0.185 % |
157.63/157.75	c |    112238 |  113324   615196  2013254 |        1    51612     45 |  0.185 % |
157.63/157.75	c |    112339 |  113324   615196  2013254 |        1    51713     45 |  0.185 % |
157.63/157.75	c |    112641 |  113324   615196  2013254 |        1    52015     46 |  0.185 % |
157.63/157.75	c |    113688 |  113324   615196  2013254 |        1    53062     46 |  0.185 % |
157.63/157.75	c |    113844 |  113324   615196  2013254 |        1    53218     47 |  0.185 % |
157.63/157.75	c |    113945 |  113324   615196  2013254 |        1    53319     47 |  0.185 % |
157.63/157.75	c |    114205 |  113324   615196  2013254 |        1    53579     47 |  0.185 % |
157.63/157.75	c |    114306 |  113324   615196  2013254 |        1    53680     47 |  0.185 % |
198.44/198.53	c |    114494 |  113324   615196  2013254 |        1    53868     48 |  0.185 % |
198.44/198.53	c |    114598 |  113324   615196  2013254 |        1    53972     48 |  0.185 % |
198.44/198.53	c |    114764 |  113324   615196  2013254 |        1    54138     48 |  0.185 % |
198.44/198.53	c |    115403 |  113324   615196  2013254 |        1    54777     49 |  0.185 % |
198.44/198.53	c |    115503 |  113324   615196  2013254 |        1    54877     49 |  0.185 % |
198.44/198.53	c |    116561 |  113324   615196  2013254 |        1    55935     49 |  0.185 % |
198.44/198.53	c |    118527 |  113324   615196  2013254 |        1    57901     50 |  0.185 % |
198.44/198.53	c |    118690 |  113324   615196  2013254 |        1    58064     50 |  0.185 % |
198.44/198.53	c |    118791 |  113324   615196  2013254 |        1    58165     50 |  0.185 % |
198.44/198.53	c |    118921 |  113324   615196  2013254 |        1    58295     50 |  0.185 % |
198.44/198.53	c |    119111 |  113324   615196  2013254 |        1    58485     51 |  0.185 % |
198.44/198.53	c |    121721 |  113324   615196  2013254 |        1    61095     51 |  0.185 % |
198.44/198.53	c |    121901 |  113324   615196  2013254 |        1    61275     51 |  0.185 % |
198.44/198.53	c |    122276 |  113324   615196  2013254 |        1    61650     52 |  0.185 % |
198.44/198.53	c |    123979 |  113324   615196  2013254 |        1    63353     52 |  0.185 % |
198.44/198.53	c |    124152 |  113324   615196  2013254 |        1    63526     53 |  0.185 % |
198.44/198.53	c |    124253 |  113324   615196  2013254 |        1    63627     53 |  0.185 % |
198.44/198.53	c |    124646 |  113324   615196  2013254 |        1    40153     26 |  0.185 % |
198.44/198.53	c |    124843 |  113324   615196  2013254 |        1    40350     27 |  0.185 % |
198.44/198.53	c |    124962 |  113324   615196  2013254 |        1    40469     27 |  0.185 % |
198.44/198.53	c |    125640 |  113324   615196  2013254 |        1    41147     28 |  0.185 % |
198.44/198.53	c |    125740 |  113324   615196  2013254 |        1    41247     28 |  0.185 % |
198.44/198.53	c |    125855 |  113324   615196  2013254 |        1    41362     29 |  0.185 % |
198.44/198.53	c |    126016 |  113324   615196  2013254 |        1    41523     29 |  0.185 % |
198.44/198.53	c |    126116 |  113324   615196  2013254 |        1    41623     30 |  0.185 % |
198.44/198.53	c |    126216 |  113324   615196  2013254 |        1    41723     30 |  0.185 % |
198.44/198.53	c |    126317 |  113324   615196  2013254 |        1    41824     30 |  0.185 % |
198.44/198.53	c |    126435 |  113324   615196  2013254 |        1    41942     31 |  0.185 % |
198.44/198.53	c |    126536 |  113324   615196  2013254 |        1    42043     31 |  0.185 % |
198.44/198.53	c |    126770 |  113324   615196  2013254 |        1    42277     31 |  0.185 % |
198.44/198.53	c |    127051 |  113324   615196  2013254 |        1    42558     31 |  0.185 % |
198.44/198.53	c |    127152 |  113324   615196  2013254 |        1    42659     31 |  0.185 % |
198.44/198.53	c |    129057 |  113324   615196  2013254 |        1    44564     38 |  0.185 % |
198.44/198.53	c |    129666 |  113324   615196  2013254 |        1    45173     39 |  0.185 % |
198.44/198.53	c |    129767 |  113324   615196  2013254 |        1    45274     39 |  0.185 % |
198.44/198.53	c |    130265 |  113324   615196  2013254 |        1    45772     39 |  0.185 % |
198.44/198.53	c |    130456 |  113323   615184  2013214 |        1    45962     40 |  0.186 % |
198.44/198.53	c |    130665 |  113323   615184  2013214 |        1    46171     40 |  0.186 % |
198.44/198.53	c |    133945 |  113322   615184  2013214 |        1    49450     41 |  0.187 % |
198.44/198.53	c |    138703 |  113322   615173  2013175 |        1    54208     45 |  0.187 % |
198.44/198.53	c |    138817 |  113322   615173  2013175 |        1    54322     45 |  0.187 % |
198.44/198.53	c |    143665 |  113322   615173  2013175 |        1    59170     47 |  0.187 % |
198.44/198.53	c |    143765 |  113322   615173  2013175 |        1    59270     47 |  0.187 % |
198.44/198.53	c |    143865 |  113322   615173  2013175 |        1    59370     47 |  0.187 % |
198.44/198.53	c |    144308 |  113322   615173  2013175 |        1    59813     47 |  0.187 % |
198.44/198.53	c |    144498 |  113322   615173  2013175 |        1    60003     47 |  0.187 % |
198.44/198.53	c |    145546 |  113322   615173  2013175 |        1    61051     48 |  0.187 % |
198.44/198.53	c |    145727 |  113322   615173  2013175 |        1    61232     48 |  0.187 % |
198.44/198.53	c |    146001 |  113322   615173  2013175 |        1    61506     49 |  0.187 % |
198.44/198.53	c |    146154 |  113322   615173  2013175 |        1    61659     49 |  0.187 % |
233.73/233.88	c |    146292 |  113322   615173  2013175 |        1    61797     49 |  0.187 % |
233.73/233.88	c |    146392 |  113322   615173  2013175 |        1    61897     49 |  0.187 % |
233.73/233.88	c |    146621 |  113321   615167  2013157 |        1    62125     49 |  0.188 % |
233.73/233.88	c |    146723 |  113321   615167  2013157 |        1    62227     49 |  0.188 % |
233.73/233.88	c |    147034 |  113321   615167  2013157 |        1    62538     49 |  0.188 % |
233.73/233.88	c |    147536 |  113321   615167  2013157 |        1    63040     49 |  0.188 % |
233.73/233.88	c |    148179 |  113321   615167  2013157 |        1    63683     49 |  0.188 % |
233.73/233.88	c |    148379 |  113321   615167  2013157 |        1    63883     49 |  0.188 % |
233.73/233.88	c |    148712 |  113321   615167  2013157 |        1    64216     50 |  0.188 % |
233.73/233.88	c |    149350 |  113321   615167  2013157 |        1    64854     50 |  0.188 % |
233.73/233.88	c |    149610 |  113321   615167  2013157 |        1    65114     50 |  0.188 % |
233.73/233.88	c |    149710 |  113321   615167  2013157 |        1    65214     50 |  0.188 % |
233.73/233.88	c |    149812 |  113321   615167  2013157 |        1    65316     50 |  0.188 % |
233.73/233.88	c |    149938 |  113321   615167  2013157 |        1    65442     51 |  0.188 % |
233.73/233.88	c |    150038 |  113321   615167  2013157 |        1    65542     51 |  0.188 % |
233.73/233.88	c |    150138 |  113321   615167  2013157 |        1    65642     51 |  0.188 % |
233.73/233.88	c |    150238 |  113321   615167  2013157 |        1    65742     51 |  0.188 % |
233.73/233.88	c |    150339 |  113321   615167  2013157 |        1    65843     51 |  0.188 % |
233.73/233.88	c |    150439 |  113321   615167  2013157 |        1    65943     51 |  0.188 % |
233.73/233.88	c |    150540 |  113321   615167  2013157 |        1    66044     51 |  0.188 % |
233.73/233.88	c |    150640 |  113321   615167  2013157 |        1    66144     51 |  0.188 % |
233.73/233.88	c |    150760 |  113321   615167  2013157 |        1    66264     51 |  0.188 % |
233.73/233.88	c |    150860 |  113321   615167  2013157 |        1    66364     51 |  0.188 % |
233.73/233.88	c |    151023 |  113321   615167  2013157 |        1    66527     51 |  0.188 % |
233.73/233.88	c |    153139 |  113321   615167  2013157 |        1    68643     52 |  0.188 % |
233.73/233.88	c |    153247 |  113321   615167  2013157 |        1    68751     53 |  0.188 % |
233.73/233.88	c |    153389 |  113321   615167  2013157 |        1    68893     53 |  0.188 % |
233.73/233.88	c |    153489 |  113321   615167  2013157 |        1    68993     53 |  0.188 % |
233.73/233.88	c |    153774 |  113321   615167  2013157 |        1    69278     54 |  0.188 % |
233.73/233.88	c |    153875 |  113321   615167  2013157 |        1    69379     54 |  0.188 % |
233.73/233.88	c |    154541 |  113321   615167  2013157 |        1    70045     54 |  0.188 % |
233.73/233.88	c |    155507 |  113321   615167  2013157 |        1    71011     54 |  0.188 % |
233.73/233.88	c |    155732 |  113321   615167  2013157 |        1    71236     55 |  0.188 % |
233.73/233.88	c |    156250 |  113321   615167  2013157 |        1    71754     56 |  0.188 % |
233.73/233.88	c |    156351 |  113321   615167  2013157 |        1    71855     56 |  0.188 % |
233.73/233.88	c |    157990 |  113321   615167  2013157 |        1    73494     56 |  0.188 % |
233.73/233.88	c |    158093 |  113321   615167  2013157 |        1    73597     56 |  0.188 % |
233.73/233.88	c |    158364 |  113321   615167  2013157 |        1    73868     57 |  0.188 % |
233.73/233.88	c |    158467 |  113321   615167  2013157 |        1    73971     57 |  0.188 % |
233.73/233.88	c |    158632 |  113316   615010  2012686 |        1    73889     57 |  0.192 % |
233.73/233.88	c |    160491 |  113316   615010  2012686 |        1    75748     57 |  0.192 % |
233.73/233.88	c |    162796 |  113315   615006  2012674 |        1    51064     32 |  0.193 % |
233.73/233.88	c |    165345 |  113315   615006  2012674 |        1    53613     33 |  0.193 % |
233.73/233.88	c |    166280 |  113315   615006  2012674 |        1    54548     34 |  0.193 % |
233.73/233.88	c |    166380 |  113315   615006  2012674 |        1    54648     34 |  0.193 % |
233.73/233.88	c |    166686 |  113315   615006  2012674 |        1    54954     34 |  0.193 % |
233.73/233.88	c |    167278 |  113315   615006  2012674 |        1    55546     34 |  0.193 % |
233.73/233.88	c |    173104 |  113315   615006  2012674 |        1    61372     36 |  0.193 % |
233.73/233.88	c |    173204 |  113315   615006  2012674 |        1    61472     36 |  0.193 % |
278.84/278.99	c |    173305 |  113315   615006  2012674 |        1    61573     36 |  0.193 % |
278.84/278.99	c |    173405 |  113315   615006  2012674 |        1    61673     36 |  0.193 % |
278.84/278.99	c |    174284 |  113315   615006  2012674 |        1    62552     36 |  0.193 % |
278.84/278.99	c |    175643 |  113315   615006  2012674 |        1    63911     38 |  0.193 % |
278.84/278.99	c |    175823 |  113315   615006  2012674 |        1    64091     38 |  0.193 % |
278.84/278.99	c |    176101 |  113315   615006  2012674 |        1    64369     38 |  0.193 % |
278.84/278.99	c |    176644 |  113315   615006  2012674 |        1    64912     38 |  0.193 % |
278.84/278.99	c |    177598 |  113315   615006  2012674 |        1    65866     39 |  0.193 % |
278.84/278.99	c |    178210 |  113315   615006  2012674 |        1    66478     39 |  0.193 % |
278.84/278.99	c |    178311 |  113315   615006  2012674 |        1    66579     39 |  0.193 % |
278.84/278.99	c |    178968 |  113315   615006  2012674 |        1    67236     40 |  0.193 % |
278.84/278.99	c |    179335 |  113315   615006  2012674 |        1    67603     40 |  0.193 % |
278.84/278.99	c |    179435 |  113315   615006  2012674 |        1    67703     40 |  0.193 % |
278.84/278.99	c |    180129 |  113315   615006  2012674 |        1    68397     41 |  0.193 % |
278.84/278.99	c |    183658 |  113315   615006  2012674 |        1    71926     41 |  0.193 % |
278.84/278.99	c |    183759 |  113315   615006  2012674 |        1    72027     41 |  0.193 % |
278.84/278.99	c |    184408 |  113315   615006  2012674 |        1    72676     42 |  0.193 % |
278.84/278.99	c |    186288 |  113315   615006  2012674 |        1    74556     42 |  0.193 % |
278.84/278.99	c |    186388 |  113315   615006  2012674 |        1    74656     42 |  0.193 % |
278.84/278.99	c |    188030 |  113315   615006  2012674 |        1    76298     43 |  0.193 % |
278.84/278.99	c |    188327 |  113314   615002  2012661 |        1    76470     43 |  0.194 % |
278.84/278.99	c |    189035 |  113314   615002  2012661 |        1    77178     43 |  0.194 % |
278.84/278.99	c |    189628 |  113314   615002  2012661 |        1    77771     44 |  0.194 % |
278.84/278.99	c |    189728 |  113314   615002  2012661 |        1    77871     44 |  0.194 % |
278.84/278.99	c |    191788 |  113314   615002  2012661 |        1    79931     45 |  0.194 % |
278.84/278.99	c |    191920 |  113314   615002  2012661 |        1    80063     45 |  0.194 % |
278.84/278.99	c |    192490 |  113314   615002  2012661 |        1    80633     46 |  0.194 % |
278.84/278.99	c |    193067 |  113314   615002  2012661 |        1    81210     47 |  0.194 % |
278.84/278.99	c |    193167 |  113314   615002  2012661 |        1    81310     47 |  0.194 % |
278.84/278.99	c |    193321 |  113314   615002  2012661 |        1    81464     47 |  0.194 % |
278.84/278.99	c |    193422 |  113314   615002  2012661 |        1    81565     47 |  0.194 % |
278.84/278.99	c |    193847 |  113314   615002  2012661 |        1    81990     47 |  0.194 % |
278.84/278.99	c |    196940 |  113314   615002  2012661 |        1    85083     48 |  0.194 % |
278.84/278.99	c |    197042 |  113314   615002  2012661 |        1    85185     48 |  0.194 % |
278.84/278.99	c |    197230 |  113314   615002  2012661 |        1    85373     48 |  0.194 % |
278.84/278.99	c |    197388 |  113314   615002  2012661 |        1    85531     48 |  0.194 % |
278.84/278.99	c |    204680 |  113314   615002  2012661 |        1    60853     26 |  0.194 % |
278.84/278.99	c |    205056 |  113313   614996  2012643 |        1    61228     26 |  0.195 % |
278.84/278.99	c |    205163 |  113313   614996  2012643 |        1    61335     27 |  0.195 % |
278.84/278.99	c |    206524 |  113313   614996  2012643 |        1    62696     27 |  0.195 % |
278.84/278.99	c |    208102 |  113313   614996  2012643 |        1    64274     28 |  0.195 % |
278.84/278.99	c |    208339 |  113313   614996  2012643 |        1    64511     28 |  0.195 % |
278.84/278.99	c |    208495 |  113313   614996  2012643 |        1    64667     28 |  0.195 % |
278.84/278.99	c |    208595 |  113313   614996  2012643 |        1    64767     28 |  0.195 % |
278.84/278.99	c |    209241 |  113313   614996  2012643 |        1    65413     29 |  0.195 % |
278.84/278.99	c |    209352 |  113313   614996  2012643 |        1    65524     29 |  0.195 % |
278.84/278.99	c |    219884 |  113313   614996  2012643 |        1    76056     34 |  0.195 % |
278.84/278.99	c |    220145 |  113313   614996  2012643 |        1    76317     34 |  0.195 % |
278.84/278.99	c |    220245 |  113313   614996  2012643 |        1    76417     34 |  0.195 % |
278.84/278.99	c |    220560 |  113313   614996  2012643 |        1    76732     34 |  0.195 % |
335.64/335.71	c |    221547 |  113313   614996  2012643 |        1    77719     34 |  0.195 % |
335.64/335.71	c |    221647 |  113313   614996  2012643 |        1    77819     34 |  0.195 % |
335.64/335.71	c |    224248 |  113313   614996  2012643 |        1    80420     36 |  0.195 % |
335.64/335.71	c |    224746 |  113313   614996  2012643 |        1    80918     36 |  0.195 % |
335.64/335.71	c |    225169 |  113312   614983  2012596 |        1    81340     36 |  0.196 % |
335.64/335.71	c |    225879 |  113312   614983  2012596 |        1    82050     37 |  0.196 % |
335.64/335.71	c |    226595 |  113312   614983  2012596 |        1    82766     38 |  0.196 % |
335.64/335.71	c |    226695 |  113312   614983  2012596 |        1    82866     38 |  0.196 % |
335.64/335.71	c |    226906 |  113312   614983  2012596 |        1    83077     38 |  0.196 % |
335.64/335.71	c |    227344 |  113312   614983  2012596 |        1    83515     39 |  0.196 % |
335.64/335.71	c |    227910 |  113312   614983  2012596 |        1    84081     39 |  0.196 % |
335.64/335.71	c |    228010 |  113312   614983  2012596 |        1    84181     39 |  0.196 % |
335.64/335.71	c |    229264 |  113312   614983  2012596 |        1    85435     41 |  0.196 % |
335.64/335.71	c |    231020 |  113312   614983  2012596 |        1    87191     41 |  0.196 % |
335.64/335.71	c |    233340 |  113312   614983  2012596 |        1    89511     41 |  0.196 % |
335.64/335.71	c |    233573 |  113312   614983  2012596 |        1    89744     42 |  0.196 % |
335.64/335.71	c |    238402 |  113312   614983  2012596 |        1    94573     42 |  0.196 % |
335.64/335.71	c |    238706 |  113312   614983  2012596 |        1    94877     43 |  0.196 % |
335.64/335.71	c |    239225 |  113312   614983  2012596 |        1    95396     43 |  0.196 % |
335.64/335.71	c |    239682 |  113312   614983  2012596 |        1    95853     43 |  0.196 % |
335.64/335.71	c |    240010 |  113312   614983  2012596 |        1    96181     43 |  0.196 % |
335.64/335.71	c |    240536 |  113312   614983  2012596 |        1    96707     44 |  0.196 % |
335.64/335.71	c |    240637 |  113312   614983  2012596 |        1    96808     44 |  0.196 % |
335.64/335.71	c |    241071 |  113312   614983  2012596 |        1    97242     44 |  0.196 % |
335.64/335.71	c |    242138 |  113307   614826  2012125 |        1    97856     44 |  0.200 % |
335.64/335.71	c |    242405 |  113303   614826  2012125 |        1    98122     44 |  0.203 % |
335.64/335.71	c |    242506 |  113303   614826  2012125 |        1    98223     44 |  0.203 % |
335.64/335.71	c |    242610 |  113303   614826  2012125 |        1    98327     44 |  0.203 % |
335.64/335.71	c |    242712 |  113303   614826  2012125 |        1    98429     44 |  0.203 % |
335.64/335.71	c |    242983 |  113303   614826  2012125 |        1    98700     44 |  0.203 % |
335.64/335.71	c |    243330 |  113303   614826  2012125 |        1    99047     44 |  0.203 % |
335.64/335.71	c |    243545 |  113303   614811  2012062 |        1    99147     44 |  0.203 % |
335.64/335.71	c |    255440 |  113303   614811  2012062 |        1    73189     29 |  0.203 % |
335.64/335.71	c |    255640 |  113303   614811  2012062 |        1    73389     29 |  0.203 % |
335.64/335.71	c |    255981 |  113303   614811  2012062 |        1    73730     30 |  0.203 % |
335.64/335.71	c |    256143 |  113303   614811  2012062 |        1    73892     30 |  0.203 % |
335.64/335.71	c |    257031 |  113303   614811  2012062 |        1    74780     30 |  0.203 % |
335.64/335.71	c |    258595 |  113303   614811  2012062 |        1    76344     30 |  0.203 % |
335.64/335.71	c |    258757 |  113303   614811  2012062 |        1    76506     30 |  0.203 % |
335.64/335.71	c |    259310 |  113303   614811  2012062 |        1    77059     30 |  0.203 % |
335.64/335.71	c |    264301 |  113303   614811  2012062 |        1    82050     32 |  0.203 % |
335.64/335.71	c |    264567 |  113303   614811  2012062 |        1    82316     32 |  0.203 % |
335.64/335.71	c |    264667 |  113303   614811  2012062 |        1    82416     32 |  0.203 % |
335.64/335.71	c |    264769 |  113303   614811  2012062 |        1    82518     33 |  0.203 % |
335.64/335.71	c |    264921 |  113303   614811  2012062 |        1    82670     33 |  0.203 % |
335.64/335.71	c |    266063 |  113303   614811  2012062 |        1    83812     33 |  0.203 % |
335.64/335.71	c |    266187 |  113303   614811  2012062 |        1    83936     33 |  0.203 % |
335.64/335.71	c |    266504 |  113303   614811  2012062 |        1    84253     34 |  0.203 % |
335.64/335.71	c |    266604 |  113303   614811  2012062 |        1    84353     34 |  0.203 % |
335.64/335.71	c |    267623 |  113303   614811  2012062 |        1    85372     34 |  0.203 % |
391.23/391.38	c |    268552 |  113303   614811  2012062 |        1    86301     34 |  0.203 % |
391.23/391.38	c |    269274 |  113301   614811  2012062 |        1    86987     35 |  0.205 % |
391.23/391.38	c |    269888 |  113301   614811  2012062 |        1    87601     35 |  0.205 % |
391.23/391.38	c |    270792 |  113301   614811  2012062 |        1    88505     35 |  0.205 % |
391.23/391.38	c |    272476 |  113301   614811  2012062 |        1    90189     36 |  0.205 % |
391.23/391.38	c |    272576 |  113301   614811  2012062 |        1    90289     36 |  0.205 % |
391.23/391.38	c |    273331 |  113301   614811  2012062 |        1    91044     36 |  0.205 % |
391.23/391.38	c |    273711 |  113301   614811  2012062 |        1    91424     36 |  0.205 % |
391.23/391.38	c |    274014 |  113301   614811  2012062 |        1    91727     36 |  0.205 % |
391.23/391.38	c |    274115 |  113301   614811  2012062 |        1    91828     36 |  0.205 % |
391.23/391.38	c |    274440 |  113301   614811  2012062 |        1    92153     36 |  0.205 % |
391.23/391.38	c |    280695 |  113301   614811  2012062 |        1    98408     38 |  0.205 % |
391.23/391.38	c |    281079 |  113301   614811  2012062 |        1    98792     38 |  0.205 % |
391.23/391.38	c |    281433 |  113301   614811  2012062 |        1    99146     39 |  0.205 % |
391.23/391.38	c |    281533 |  113301   614811  2012062 |        1    99246     39 |  0.205 % |
391.23/391.38	c |    281888 |  113301   614811  2012062 |        1    99601     39 |  0.205 % |
391.23/391.38	c |    284369 |  113301   614811  2012062 |        1   102082     39 |  0.205 % |
391.23/391.38	c |    284942 |  113301   614811  2012062 |        1   102655     40 |  0.205 % |
391.23/391.38	c |    286370 |  113301   614811  2012062 |        1   104083     40 |  0.205 % |
391.23/391.38	c |    289602 |  113301   614811  2012062 |        1   107315     41 |  0.205 % |
391.23/391.38	c |    289785 |  113301   614811  2012062 |        1   107498     42 |  0.205 % |
391.23/391.38	c |    289885 |  113301   614811  2012062 |        1   107598     42 |  0.205 % |
391.23/391.38	c |    290489 |  113301   614811  2012062 |        1   108202     42 |  0.205 % |
391.23/391.38	c |    290775 |  113301   614811  2012062 |        1   108488     42 |  0.205 % |
391.23/391.38	c |    291175 |  113301   614811  2012062 |        1   108888     42 |  0.205 % |
391.23/391.38	c |    291299 |  113301   614811  2012062 |        1   109012     42 |  0.205 % |
391.23/391.38	c |    295980 |  113301   614811  2012062 |        1   113693     43 |  0.205 % |
391.23/391.38	c |    296315 |  113301   614811  2012062 |        1   114028     44 |  0.205 % |
391.23/391.38	c |    296649 |  113301   614811  2012062 |        1   114362     44 |  0.205 % |
391.23/391.38	c |    296749 |  113301   614811  2012062 |        1   114462     44 |  0.205 % |
391.23/391.38	c |    297039 |  113301   614811  2012062 |        1    74080     24 |  0.205 % |
391.23/391.38	c |    297453 |  113301   614811  2012062 |        1    74494     24 |  0.205 % |
391.23/391.38	c |    298264 |  113301   614811  2012062 |        1    75305     25 |  0.205 % |
391.23/391.38	c |    298425 |  113301   614811  2012062 |        1    75466     25 |  0.205 % |
391.23/391.38	c |    298525 |  113301   614811  2012062 |        1    75566     25 |  0.205 % |
391.23/391.38	c |    298718 |  113301   614811  2012062 |        1    75759     25 |  0.205 % |
391.23/391.38	c |    298818 |  113301   614811  2012062 |        1    75859     25 |  0.205 % |
391.23/391.38	c |    300727 |  113301   614811  2012062 |        1    77768     27 |  0.205 % |
391.23/391.38	c |    301167 |  113301   614811  2012062 |        1    78208     27 |  0.205 % |
391.23/391.38	c |    301267 |  113301   614811  2012062 |        1    78308     27 |  0.205 % |
391.23/391.38	c |    304571 |  113301   614811  2012062 |        1    81612     29 |  0.205 % |
391.23/391.38	c |    304713 |  113301   614811  2012062 |        1    81754     29 |  0.205 % |
391.23/391.38	c |    304813 |  113301   614811  2012062 |        1    81854     29 |  0.205 % |
391.23/391.38	c |    305931 |  113301   614811  2012062 |        1    82972     30 |  0.205 % |
391.23/391.38	c |    307113 |  113301   614811  2012062 |        1    84154     30 |  0.205 % |
391.23/391.38	c |    307490 |  113301   614811  2012062 |        1    84531     30 |  0.205 % |
391.23/391.38	c |    307938 |  113301   614811  2012062 |        1    84979     31 |  0.205 % |
391.23/391.38	c |    308045 |  113301   614811  2012062 |        1    85086     31 |  0.205 % |
391.23/391.38	c |    310271 |  113301   614811  2012062 |        1    87312     32 |  0.205 % |
391.23/391.38	c |    311293 |  113301   614811  2012062 |        1    88334     32 |  0.205 % |
448.13/448.27	c |    311393 |  113301   614811  2012062 |        1    88434     32 |  0.205 % |
448.13/448.27	c |    311493 |  113301   614811  2012062 |        1    88534     32 |  0.205 % |
448.13/448.27	c |    311887 |  113301   614811  2012062 |        1    88928     32 |  0.205 % |
448.13/448.27	c |    312849 |  113301   614811  2012062 |        1    89890     33 |  0.205 % |
448.13/448.27	c |    312949 |  113301   614811  2012062 |        1    89990     33 |  0.205 % |
448.13/448.27	c |    313733 |  113301   614811  2012062 |        1    90774     33 |  0.205 % |
448.13/448.27	c |    313890 |  113301   614811  2012062 |        1    90931     33 |  0.205 % |
448.13/448.27	c |    313990 |  113301   614811  2012062 |        1    91031     33 |  0.205 % |
448.13/448.27	c |    314121 |  113301   614811  2012062 |        1    91162     34 |  0.205 % |
448.13/448.27	c |    314221 |  113301   614811  2012062 |        1    91262     34 |  0.205 % |
448.13/448.27	c |    314352 |  113301   614811  2012062 |        1    91393     34 |  0.205 % |
448.13/448.27	c |    314990 |  113301   614811  2012062 |        1    92031     34 |  0.205 % |
448.13/448.27	c |    315090 |  113301   614811  2012062 |        1    92131     34 |  0.205 % |
448.13/448.27	c |    316040 |  113300   614805  2012044 |        1    93079     34 |  0.206 % |
448.13/448.27	c |    316180 |  113300   614805  2012044 |        1    93219     34 |  0.206 % |
448.13/448.27	c |    316282 |  113300   614805  2012044 |        1    93321     34 |  0.206 % |
448.13/448.27	c |    320074 |  113300   614805  2012044 |        1    97113     35 |  0.206 % |
448.13/448.27	c |    322071 |  113300   614805  2012044 |        1    99110     36 |  0.206 % |
448.13/448.27	c |    324130 |  113300   614805  2012044 |        1   101169     36 |  0.206 % |
448.13/448.27	c |    324230 |  113300   614805  2012044 |        1   101269     36 |  0.206 % |
448.13/448.27	c |    324737 |  113300   614805  2012044 |        1   101776     36 |  0.206 % |
448.13/448.27	c |    325089 |  113300   614805  2012044 |        1   102128     37 |  0.206 % |
448.13/448.27	c |    325958 |  113300   614805  2012044 |        1   102997     38 |  0.206 % |
448.13/448.27	c |    327025 |  113300   614805  2012044 |        1   104064     38 |  0.206 % |
448.13/448.27	c |    327539 |  113300   614805  2012044 |        1   104578     39 |  0.206 % |
448.13/448.27	c |    327982 |  113300   614805  2012044 |        1   105021     39 |  0.206 % |
448.13/448.27	c |    328382 |  113300   614805  2012044 |        1   105421     39 |  0.206 % |
448.13/448.27	c |    328482 |  113300   614805  2012044 |        1   105521     39 |  0.206 % |
448.13/448.27	c |    329056 |  113300   614805  2012044 |        1   106095     39 |  0.206 % |
448.13/448.27	c |    329156 |  113300   614805  2012044 |        1   106195     39 |  0.206 % |
448.13/448.27	c |    332027 |  113300   614805  2012044 |        1   109066     40 |  0.206 % |
448.13/448.27	c |    333285 |  113300   614805  2012044 |        1   110324     41 |  0.206 % |
448.13/448.27	c |    333809 |  113300   614805  2012044 |        1   110848     41 |  0.206 % |
448.13/448.27	c |    337360 |  113300   614805  2012044 |        1   114399     42 |  0.206 % |
448.13/448.27	c |    337589 |  113300   614805  2012044 |        1   114628     43 |  0.206 % |
448.13/448.27	c |    337793 |  113300   614805  2012044 |        1   114832     43 |  0.206 % |
448.13/448.27	c |    337921 |  113300   614805  2012044 |        1   114960     43 |  0.206 % |
448.13/448.27	c |    338021 |  113300   614805  2012044 |        1   115060     43 |  0.206 % |
448.13/448.27	c |    338770 |  113300   614805  2012044 |        1   115809     43 |  0.206 % |
448.13/448.27	c |    338872 |  113300   614805  2012044 |        1   115911     43 |  0.206 % |
448.13/448.27	c |    339127 |  113300   614805  2012044 |        1   116166     43 |  0.206 % |
448.13/448.27	c |    340526 |  113300   614805  2012044 |        1   117565     43 |  0.206 % |
448.13/448.27	c |    340627 |  113300   614805  2012044 |        1   117666     43 |  0.206 % |
448.13/448.27	c |    341015 |  113300   614805  2012044 |        1   118054     44 |  0.206 % |
448.13/448.27	c |    341436 |  113300   614805  2012044 |        1   118475     44 |  0.206 % |
448.13/448.27	c |    341544 |  113300   614805  2012044 |        1   118583     44 |  0.206 % |
448.13/448.27	c |    341644 |  113300   614805  2012044 |        1   118683     44 |  0.206 % |
448.13/448.27	c |    346201 |  113300   614805  2012044 |        1   123240     45 |  0.206 % |
448.13/448.27	c |    346372 |  113300   614805  2012044 |        1   123411     45 |  0.206 % |
448.13/448.27	c |    346619 |  113300   614805  2012044 |        1   123658     45 |  0.206 % |
524.94/525.04	c |    350057 |  113297   614761  2011870 |        1   126954     46 |  0.209 % |
524.94/525.04	c |    350565 |  113297   614761  2011870 |        1   127462     47 |  0.209 % |
524.94/525.04	c |    350665 |  113297   614761  2011870 |        1   127562     47 |  0.209 % |
524.94/525.04	c |    350917 |  113297   614761  2011870 |        1   127814     47 |  0.209 % |
524.94/525.04	c |    351384 |  113297   614761  2011870 |        1   128281     47 |  0.209 % |
524.94/525.04	c |    351486 |  113297   614761  2011870 |        1   128383     47 |  0.209 % |
524.94/525.04	c |    351588 |  113297   614761  2011870 |        1   128485     47 |  0.209 % |
524.94/525.04	c |    353247 |  113297   614761  2011870 |        1    83790     27 |  0.209 % |
524.94/525.04	c |    353473 |  113297   614761  2011870 |        1    84016     27 |  0.209 % |
524.94/525.04	c |    354269 |  113297   614761  2011870 |        1    84812     27 |  0.209 % |
524.94/525.04	c |    355910 |  113297   614761  2011870 |        1    86453     28 |  0.209 % |
524.94/525.04	c |    356014 |  113297   614761  2011870 |        1    86557     28 |  0.209 % |
524.94/525.04	c |    356882 |  113297   614761  2011870 |        1    87425     28 |  0.209 % |
524.94/525.04	c |    357533 |  113297   614761  2011870 |        1    88076     28 |  0.209 % |
524.94/525.04	c |    358688 |  113297   614761  2011870 |        1    89231     29 |  0.209 % |
524.94/525.04	c |    358788 |  113297   614761  2011870 |        1    89331     29 |  0.209 % |
524.94/525.04	c |    359204 |  113297   614761  2011870 |        1    89747     29 |  0.209 % |
524.94/525.04	c |    359805 |  113297   614761  2011870 |        1    90348     30 |  0.209 % |
524.94/525.04	c |    359906 |  113297   614761  2011870 |        1    90449     30 |  0.209 % |
524.94/525.04	c |    360857 |  113297   614761  2011870 |        1    91400     31 |  0.209 % |
524.94/525.04	c |    360959 |  113297   614761  2011870 |        1    91502     31 |  0.209 % |
524.94/525.04	c |    361359 |  113261   614684  2011557 |        1    91721     31 |  0.240 % |
524.94/525.04	c |    361617 |  113261   614684  2011557 |        1    91979     31 |  0.240 % |
524.94/525.04	c |    361858 |  113261   614684  2011557 |        1    92220     31 |  0.240 % |
524.94/525.04	c |    361958 |  113261   614684  2011557 |        1    92320     31 |  0.240 % |
524.94/525.04	c |    362742 |  113261   614684  2011557 |        1    93104     32 |  0.240 % |
524.94/525.04	c |    362847 |  113261   614684  2011557 |        1    93209     32 |  0.240 % |
524.94/525.04	c |    363013 |  113250   614616  2011297 |        1    92591     32 |  0.250 % |
524.94/525.04	c |    370524 |  113250   614616  2011297 |        1   100102     36 |  0.250 % |
524.94/525.04	c |    370624 |  113250   614616  2011297 |        1   100202     36 |  0.250 % |
524.94/525.04	c |    371186 |  113250   614616  2011297 |        1   100764     36 |  0.250 % |
524.94/525.04	c |    376673 |  113250   614616  2011297 |        1   106251     39 |  0.250 % |
524.94/525.04	c |    378582 |  113250   614616  2011297 |        1   108160     40 |  0.250 % |
524.94/525.04	c |    378865 |  113246   614598  2011184 |        1   108275     40 |  0.254 % |
524.94/525.04	c |    378968 |  113246   614598  2011184 |        1   108378     40 |  0.254 % |
524.94/525.04	c |    379135 |  113246   614598  2011184 |        1   108545     40 |  0.254 % |
524.94/525.04	c |    379237 |  113246   614598  2011184 |        1   108647     40 |  0.254 % |
524.94/525.04	c |    379337 |  113246   614598  2011184 |        1   108747     40 |  0.254 % |
524.94/525.04	c |    379437 |  113246   614598  2011184 |        1   108847     40 |  0.254 % |
524.94/525.04	c |    379538 |  113246   614598  2011184 |        1   108948     40 |  0.254 % |
524.94/525.04	c |    379640 |  113246   614598  2011184 |        1   109050     40 |  0.254 % |
524.94/525.04	c |    380496 |  113246   614598  2011184 |        1   109906     41 |  0.254 % |
524.94/525.04	c |    380626 |  113246   614598  2011184 |        1   110036     41 |  0.254 % |
524.94/525.04	c |    382985 |  113246   614598  2011184 |        1   112395     43 |  0.254 % |
524.94/525.04	c |    386435 |  113246   614598  2011184 |        1   115845     44 |  0.254 % |
524.94/525.04	c |    387113 |  113246   614598  2011184 |        1   116523     44 |  0.254 % |
524.94/525.04	c |    387336 |  113246   614598  2011184 |        1   116746     44 |  0.254 % |
524.94/525.04	c |    387436 |  113246   614598  2011184 |        1   116846     44 |  0.254 % |
524.94/525.04	c |    387863 |  113246   614598  2011184 |        1   117273     44 |  0.254 % |
524.94/525.04	c |    392551 |  113246   614598  2011184 |        1   121961     45 |  0.254 % |
578.74/578.85	c |    392694 |  113246   614598  2011184 |        1   122104     45 |  0.254 % |
578.74/578.85	c |    392794 |  113246   614598  2011184 |        1   122204     45 |  0.254 % |
578.74/578.85	c |    394801 |  113246   614598  2011184 |        1   124211     46 |  0.254 % |
578.74/578.85	c |    394902 |  113246   614598  2011184 |        1   124312     46 |  0.254 % |
578.74/578.85	c |    395250 |  113246   614598  2011184 |        1   124660     46 |  0.254 % |
578.74/578.85	c |    395706 |  113246   614598  2011184 |        1   125116     47 |  0.254 % |
578.74/578.85	c |    397531 |  113246   614598  2011184 |        1   126941     47 |  0.254 % |
578.74/578.85	c |    397823 |  113246   614598  2011184 |        1   127233     47 |  0.254 % |
578.74/578.85	c |    397924 |  113246   614598  2011184 |        1   127334     48 |  0.254 % |
578.74/578.85	c |    398024 |  113246   614598  2011184 |        1   127434     48 |  0.254 % |
578.74/578.85	c |    398124 |  113246   614598  2011184 |        1   127534     48 |  0.254 % |
578.74/578.85	c |    398635 |  113246   614598  2011184 |        1   128045     48 |  0.254 % |
578.74/578.85	c |    399770 |  113246   614598  2011184 |        1   129180     49 |  0.254 % |
578.74/578.85	c |    401789 |  113246   614598  2011184 |        1   131199     49 |  0.254 % |
578.74/578.85	c |    401890 |  113246   614598  2011184 |        1   131300     49 |  0.254 % |
578.74/578.85	c |    402494 |  113246   614598  2011184 |        1   131904     50 |  0.254 % |
578.74/578.85	c |    402594 |  113246   614598  2011184 |        1   132004     50 |  0.254 % |
578.74/578.85	c |    403253 |  113246   614598  2011184 |        1   132663     50 |  0.254 % |
578.74/578.85	c |    403353 |  113246   614598  2011184 |        1   132763     50 |  0.254 % |
578.74/578.85	c |    403455 |  113246   614598  2011184 |        1   132865     50 |  0.254 % |
578.74/578.85	c |    403555 |  113246   614598  2011184 |        1   132965     50 |  0.254 % |
578.74/578.85	c |    404389 |  113246   614598  2011184 |        1   133799     50 |  0.254 % |
578.74/578.85	c |    404601 |  113246   614598  2011184 |        1   134011     51 |  0.254 % |
578.74/578.85	c |    406313 |  113246   614598  2011184 |        1   135723     52 |  0.254 % |
578.74/578.85	c |    407598 |  113246   614598  2011184 |        1   137008     53 |  0.254 % |
578.74/578.85	c |    409857 |  113246   614598  2011184 |        1   139267     53 |  0.254 % |
578.74/578.85	c |    409987 |  113246   614598  2011184 |        1   139397     53 |  0.254 % |
578.74/578.85	c |    410087 |  113246   614598  2011184 |        1   139497     53 |  0.254 % |
578.74/578.85	c |    410189 |  113246   614598  2011184 |        1   139599     53 |  0.254 % |
578.74/578.85	c |    410307 |  113246   614598  2011184 |        1   139717     53 |  0.254 % |
578.74/578.85	c |    410408 |  113246   614598  2011184 |        1   139818     53 |  0.254 % |
578.74/578.85	c |    410509 |  113246   614598  2011184 |        1   139919     53 |  0.254 % |
578.74/578.85	c |    410710 |  113246   614598  2011184 |        1   140120     53 |  0.254 % |
578.74/578.85	c |    410810 |  113246   614598  2011184 |        1    91873     29 |  0.254 % |
578.74/578.85	c |    410945 |  113246   614598  2011184 |        1    92008     29 |  0.254 % |
578.74/578.85	c |    411046 |  113246   614598  2011184 |        1    92109     29 |  0.254 % |
578.74/578.85	c |    411146 |  113246   614598  2011184 |        1    92209     30 |  0.254 % |
578.74/578.85	c |    412771 |  113246   614598  2011184 |        1    93834     30 |  0.254 % |
578.74/578.85	c |    413033 |  113246   614598  2011184 |        1    94096     30 |  0.254 % |
578.74/578.85	c |    414987 |  113245   614592  2011166 |        1    96049     32 |  0.255 % |
578.74/578.85	c |    415087 |  113245   614592  2011166 |        1    96149     32 |  0.255 % |
578.74/578.85	c |    417756 |  113245   614592  2011166 |        1    98818     33 |  0.255 % |
578.74/578.85	c |    417873 |  113245   614592  2011166 |        1    98935     33 |  0.255 % |
578.74/578.85	c |    417973 |  113245   614592  2011166 |        1    99035     33 |  0.255 % |
578.74/578.85	c |    422319 |  113245   614592  2011166 |        1   103381     35 |  0.255 % |
578.74/578.85	c |    422420 |  113245   614592  2011166 |        1   103482     35 |  0.255 % |
578.74/578.85	c |    422693 |  113245   614592  2011166 |        1   103755     35 |  0.255 % |
578.74/578.85	c |    424557 |  113245   614592  2011166 |        1   105619     36 |  0.255 % |
578.74/578.85	c |    424853 |  113245   614592  2011166 |        1   105915     36 |  0.255 % |
578.74/578.85	c |    424953 |  113245   614592  2011166 |        1   106015     36 |  0.255 % |
632.34/632.41	c |    425340 |  113245   614592  2011166 |        1   106402     36 |  0.255 % |
632.34/632.41	c |    425441 |  113245   614592  2011166 |        1   106503     36 |  0.255 % |
632.34/632.41	c |    425983 |  113245   614592  2011166 |        1   107045     36 |  0.255 % |
632.34/632.41	c |    426910 |  113245   614592  2011166 |        1   107972     37 |  0.255 % |
632.34/632.41	c |    427012 |  113245   614592  2011166 |        1   108074     37 |  0.255 % |
632.34/632.41	c |    427389 |  113245   614592  2011166 |        1   108451     37 |  0.255 % |
632.34/632.41	c |    427489 |  113245   614592  2011166 |        1   108551     37 |  0.255 % |
632.34/632.41	c |    427956 |  113245   614592  2011166 |        1   109018     37 |  0.255 % |
632.34/632.41	c |    429139 |  113245   614592  2011166 |        1   110201     39 |  0.255 % |
632.34/632.41	c |    429242 |  113245   614592  2011166 |        1   110304     39 |  0.255 % |
632.34/632.41	c |    429439 |  113245   614592  2011166 |        1   110501     40 |  0.255 % |
632.34/632.41	c |    429539 |  113245   614592  2011166 |        1   110601     40 |  0.255 % |
632.34/632.41	c |    429641 |  113245   614592  2011166 |        1   110703     40 |  0.255 % |
632.34/632.41	c |    429742 |  113245   614592  2011166 |        1   110804     40 |  0.255 % |
632.34/632.41	c |    432429 |  113245   614592  2011166 |        1   113491     40 |  0.255 % |
632.34/632.41	c |    432550 |  113245   614592  2011166 |        1   113612     40 |  0.255 % |
632.34/632.41	c |    435545 |  113245   614592  2011166 |        1   116607     41 |  0.255 % |
632.34/632.41	c |    436606 |  113245   614592  2011166 |        1   117668     42 |  0.255 % |
632.34/632.41	c |    436706 |  113245   614592  2011166 |        1   117768     42 |  0.255 % |
632.34/632.41	c |    437612 |  113245   614592  2011166 |        1   118674     42 |  0.255 % |
632.34/632.41	c |    437712 |  113245   614592  2011166 |        1   118774     43 |  0.255 % |
632.34/632.41	c |    437813 |  113245   614592  2011166 |        1   118875     43 |  0.255 % |
632.34/632.41	c |    441050 |  113245   614592  2011166 |        1   122112     43 |  0.255 % |
632.34/632.41	c |    441152 |  113245   614592  2011166 |        1   122214     43 |  0.255 % |
632.34/632.41	c |    441826 |  113245   614592  2011166 |        1   122888     44 |  0.255 % |
632.34/632.41	c |    441928 |  113245   614592  2011166 |        1   122990     44 |  0.255 % |
632.34/632.41	c |    442028 |  113245   614592  2011166 |        1   123090     44 |  0.255 % |
632.34/632.41	c |    442797 |  113245   614592  2011166 |        1   123859     45 |  0.255 % |
632.34/632.41	c |    444180 |  113245   614592  2011166 |        1   125242     46 |  0.255 % |
632.34/632.41	c |    444280 |  113245   614592  2011166 |        1   125342     46 |  0.255 % |
632.34/632.41	c |    444384 |  113245   614592  2011166 |        1   125446     46 |  0.255 % |
632.34/632.41	c |    444484 |  113245   614592  2011166 |        1   125546     47 |  0.255 % |
632.34/632.41	c |    444584 |  113245   614592  2011166 |        1   125646     47 |  0.255 % |
632.34/632.41	c |    444892 |  113245   614592  2011166 |        1   125954     47 |  0.255 % |
632.34/632.41	c |    447196 |  113245   614592  2011166 |        1   128258     47 |  0.255 % |
632.34/632.41	c |    447573 |  113245   614592  2011166 |        1   128635     48 |  0.255 % |
632.34/632.41	c |    447704 |  113245   614592  2011166 |        1   128766     48 |  0.255 % |
632.34/632.41	c |    447924 |  113245   614592  2011166 |        1   128986     48 |  0.255 % |
632.34/632.41	c |    448562 |  113245   614592  2011166 |        1   129624     48 |  0.255 % |
632.34/632.41	c |    448662 |  113245   614592  2011166 |        1   129724     48 |  0.255 % |
632.34/632.41	c |    450334 |  113245   614592  2011166 |        1   131396     49 |  0.255 % |
632.34/632.41	c |    450448 |  113245   614592  2011166 |        1   131510     49 |  0.255 % |
632.34/632.41	c |    451977 |  113245   614592  2011166 |        1   133039     49 |  0.255 % |
632.34/632.41	c |    452138 |  113245   614592  2011166 |        1   133200     49 |  0.255 % |
632.34/632.41	c |    452238 |  113245   614592  2011166 |        1   133300     49 |  0.255 % |
632.34/632.41	c |    452392 |  113245   614592  2011166 |        1   133454     49 |  0.255 % |
632.34/632.41	c |    452492 |  113245   614592  2011166 |        1   133554     49 |  0.255 % |
632.34/632.41	c |    452593 |  113245   614592  2011166 |        1   133655     49 |  0.255 % |
632.34/632.41	c |    454308 |  113245   614592  2011166 |        1   135370     50 |  0.255 % |
632.34/632.41	c |    454410 |  113245   614592  2011166 |        1   135472     50 |  0.255 % |
689.74/689.83	c |    454510 |  113245   614592  2011166 |        1   135572     50 |  0.255 % |
689.74/689.83	c |    454611 |  113245   614592  2011166 |        1   135673     50 |  0.255 % |
689.74/689.83	c |    454737 |  113245   614592  2011166 |        1   135799     50 |  0.255 % |
689.74/689.83	c |    455091 |  113245   614592  2011166 |        1   136153     50 |  0.255 % |
689.74/689.83	c |    455192 |  113245   614592  2011166 |        1   136254     50 |  0.255 % |
689.74/689.83	c |    455861 |  113245   614592  2011166 |        1   136923     51 |  0.255 % |
689.74/689.83	c |    456790 |  113245   614592  2011166 |        1   137852     51 |  0.255 % |
689.74/689.83	c |    457651 |  113245   614592  2011166 |        1   138713     51 |  0.255 % |
689.74/689.83	c |    457946 |  113245   614592  2011166 |        1   139008     51 |  0.255 % |
689.74/689.83	c |    458303 |  113245   614592  2011166 |        1   139365     51 |  0.255 % |
689.74/689.83	c |    458403 |  113245   614592  2011166 |        1   139465     51 |  0.255 % |
689.74/689.83	c |    458550 |  113245   614592  2011166 |        1   139612     51 |  0.255 % |
689.74/689.83	c |    458961 |  113245   614592  2011166 |        1   140023     51 |  0.255 % |
689.74/689.83	c |    459507 |  113245   614592  2011166 |        1   140569     51 |  0.255 % |
689.74/689.83	c |    460498 |  113245   614592  2011166 |        1   141560     52 |  0.255 % |
689.74/689.83	c |    460657 |  113245   614592  2011166 |        1   141719     52 |  0.255 % |
689.74/689.83	c |    460959 |  113245   614592  2011166 |        1   142021     52 |  0.255 % |
689.74/689.83	c |    463105 |  113245   614592  2011166 |        1   144167     53 |  0.255 % |
689.74/689.83	c |    463264 |  113245   614592  2011166 |        1   144326     53 |  0.255 % |
689.74/689.83	c |    464593 |  113245   614592  2011166 |        1   145655     54 |  0.255 % |
689.74/689.83	c |    464695 |  113245   614592  2011166 |        1   145757     54 |  0.255 % |
689.74/689.83	c |    465222 |  113245   614592  2011166 |        1   146284     54 |  0.255 % |
689.74/689.83	c |    466996 |  113245   614592  2011166 |        1   148058     54 |  0.255 % |
689.74/689.83	c |    467150 |  113245   614592  2011166 |        1   148212     54 |  0.255 % |
689.74/689.83	c |    467251 |  113245   614592  2011166 |        1   148313     54 |  0.255 % |
689.74/689.83	c |    467355 |  113245   614592  2011166 |        1   148417     54 |  0.255 % |
689.74/689.83	c |    467512 |  113245   614592  2011166 |        1   148574     55 |  0.255 % |
689.74/689.83	c |    468437 |  113245   614592  2011166 |        1   149499     55 |  0.255 % |
689.74/689.83	c |    468770 |  113245   614592  2011166 |        1   149832     55 |  0.255 % |
689.74/689.83	c |    468923 |  113245   614592  2011166 |        1   149985     55 |  0.255 % |
689.74/689.83	c |    469075 |  113245   614592  2011166 |        1   150137     55 |  0.255 % |
689.74/689.83	c |    469224 |  113245   614592  2011166 |        1   150286     55 |  0.255 % |
689.74/689.83	c |    469852 |  113245   614592  2011166 |        1   150914     55 |  0.255 % |
689.74/689.83	c |    474573 |  113244   614588  2011154 |        1   154861     55 |  0.255 % |
689.74/689.83	c |    474673 |  113244   614588  2011154 |        1   101110     29 |  0.255 % |
689.74/689.83	c |    475245 |  113220   614588  2011154 |        1   101681     29 |  0.277 % |
689.74/689.83	c |    479149 |  113220   614588  2011154 |        1   105585     31 |  0.277 % |
689.74/689.83	c |    479249 |  113220   614510  2010815 |        1   105451     31 |  0.277 % |
689.74/689.83	c |    479526 |  113220   614510  2010815 |        1   105728     31 |  0.277 % |
689.74/689.83	c |    479646 |  113220   614510  2010815 |        1   105848     31 |  0.277 % |
689.74/689.83	c |    482096 |  113220   614510  2010815 |        1   108298     35 |  0.277 % |
689.74/689.83	c |    482250 |  113220   614510  2010815 |        1   108452     35 |  0.277 % |
689.74/689.83	c |    482651 |  113220   614510  2010815 |        1   108853     35 |  0.277 % |
689.74/689.83	c |    484240 |  113220   614510  2010815 |        1   110442     36 |  0.277 % |
689.74/689.83	c |    484439 |  113220   614510  2010815 |        1   110641     36 |  0.277 % |
689.74/689.83	c |    484609 |  113220   614510  2010815 |        1   110811     36 |  0.277 % |
689.74/689.83	c |    484709 |  113220   614510  2010815 |        1   110911     36 |  0.277 % |
689.74/689.83	c |    485221 |  113220   614510  2010815 |        1   111423     37 |  0.277 % |
689.74/689.83	c |    485321 |  113220   614510  2010815 |        1   111523     37 |  0.277 % |
689.74/689.83	c |    485455 |  113220   614510  2010815 |        1   111657     37 |  0.277 % |
746.74/746.86	c |    485555 |  113220   614510  2010815 |        1   111757     37 |  0.277 % |
746.74/746.86	c |    485709 |  113220   614510  2010815 |        1   111911     37 |  0.277 % |
746.74/746.86	c |    485809 |  113220   614510  2010815 |        1   112011     37 |  0.277 % |
746.74/746.86	c |    486764 |  113220   614510  2010815 |        1   112966     37 |  0.277 % |
746.74/746.86	c |    486865 |  113220   614510  2010815 |        1   113067     37 |  0.277 % |
746.74/746.86	c |    489497 |  113220   614510  2010815 |        1   115699     38 |  0.277 % |
746.74/746.86	c |    491682 |  113220   614510  2010815 |        1   117884     39 |  0.277 % |
746.74/746.86	c |    491784 |  113220   614510  2010815 |        1   117986     39 |  0.277 % |
746.74/746.86	c |    491884 |  113220   614510  2010815 |        1   118086     39 |  0.277 % |
746.74/746.86	c |    491987 |  113220   614510  2010815 |        1   118189     39 |  0.277 % |
746.74/746.86	c |    493032 |  113220   614510  2010815 |        1   119234     40 |  0.277 % |
746.74/746.86	c |    493741 |  113220   614510  2010815 |        1   119943     41 |  0.277 % |
746.74/746.86	c |    493905 |  113220   614510  2010815 |        1   120107     41 |  0.277 % |
746.74/746.86	c |    494005 |  113220   614510  2010815 |        1   120207     41 |  0.277 % |
746.74/746.86	c |    497110 |  113220   614510  2010815 |        1   123312     42 |  0.277 % |
746.74/746.86	c |    497211 |  113215   614464  2010625 |        1   121180     41 |  0.281 % |
746.74/746.86	c |    497693 |  113215   614464  2010625 |        1   121662     41 |  0.281 % |
746.74/746.86	c |    501536 |  113215   614464  2010625 |        1   125505     42 |  0.281 % |
746.74/746.86	c |    504349 |  113215   614464  2010625 |        1   128318     42 |  0.281 % |
746.74/746.86	c |    504449 |  113215   614464  2010625 |        1   128418     43 |  0.281 % |
746.74/746.86	c |    504686 |  113215   614464  2010625 |        1   128655     43 |  0.281 % |
746.74/746.86	c |    504787 |  113215   614464  2010625 |        1   128756     43 |  0.281 % |
746.74/746.86	c |    505898 |  113215   614464  2010625 |        1   129867     43 |  0.281 % |
746.74/746.86	c |    506248 |  113215   614464  2010625 |        1   130217     43 |  0.281 % |
746.74/746.86	c |    506348 |  113215   614464  2010625 |        1   130317     43 |  0.281 % |
746.74/746.86	c |    506628 |  113215   614464  2010625 |        1   130597     43 |  0.281 % |
746.74/746.86	c |    507243 |  113215   614464  2010625 |        1   131212     43 |  0.281 % |
746.74/746.86	c |    507343 |  113215   614464  2010625 |        1   131312     44 |  0.281 % |
746.74/746.86	c |    509509 |  113215   614464  2010625 |        1   133478     44 |  0.281 % |
746.74/746.86	c |    510006 |  113215   614464  2010625 |        1   133975     44 |  0.281 % |
746.74/746.86	c |    510107 |  113215   614464  2010625 |        1   134076     44 |  0.281 % |
746.74/746.86	c |    510482 |  113215   614464  2010625 |        1   134451     44 |  0.281 % |
746.74/746.86	c |    510907 |  113215   614464  2010625 |        1   134876     44 |  0.281 % |
746.74/746.86	c |    511420 |  113215   614464  2010625 |        1   135389     44 |  0.281 % |
746.74/746.86	c |    511521 |  113215   614464  2010625 |        1   135490     44 |  0.281 % |
746.74/746.86	c |    513582 |  113215   614464  2010625 |        1   137551     46 |  0.281 % |
746.74/746.86	c |    513902 |  113215   614464  2010625 |        1   137871     46 |  0.281 % |
746.74/746.86	c |    516791 |  113215   614464  2010625 |        1   140760     46 |  0.281 % |
746.74/746.86	c |    517128 |  113215   614464  2010625 |        1   141097     46 |  0.281 % |
746.74/746.86	c |    517230 |  113215   614464  2010625 |        1   141199     46 |  0.281 % |
746.74/746.86	c |    517685 |  113215   614464  2010625 |        1   141654     46 |  0.281 % |
746.74/746.86	c |    518153 |  113215   614464  2010625 |        1   142122     47 |  0.281 % |
746.74/746.86	c |    519553 |  113215   614464  2010625 |        1   143522     47 |  0.281 % |
746.74/746.86	c |    520099 |  113215   614464  2010625 |        1   144068     47 |  0.281 % |
746.74/746.86	c |    520497 |  113215   614464  2010625 |        1   144466     48 |  0.281 % |
746.74/746.86	c |    520597 |  113215   614464  2010625 |        1   144566     48 |  0.281 % |
746.74/746.86	c |    520698 |  113215   614464  2010625 |        1   144667     48 |  0.281 % |
746.74/746.86	c |    521158 |  113215   614464  2010625 |        1   145127     48 |  0.281 % |
746.74/746.86	c |    521260 |  113215   614464  2010625 |        1   145229     48 |  0.281 % |
746.74/746.86	c |    523931 |  113215   614464  2010625 |        1   147900     48 |  0.281 % |
818.45/818.57	c |    525322 |  113215   614464  2010625 |        1   149291     49 |  0.281 % |
818.45/818.57	c |    525422 |  113215   614464  2010625 |        1   149391     49 |  0.281 % |
818.45/818.57	c |    525716 |  113215   614464  2010625 |        1   149685     49 |  0.281 % |
818.45/818.57	c |    525892 |  113215   614464  2010625 |        1   149861     49 |  0.281 % |
818.45/818.57	c |    525992 |  113215   614464  2010625 |        1   149961     49 |  0.281 % |
818.45/818.57	c |    526492 |  113215   614464  2010625 |        1   150461     49 |  0.281 % |
818.45/818.57	c |    528713 |  113215   614464  2010625 |        1   152682     49 |  0.281 % |
818.45/818.57	c |    529257 |  113215   614464  2010625 |        1   153226     49 |  0.281 % |
818.45/818.57	c |    529532 |  113215   614464  2010625 |        1   153501     50 |  0.281 % |
818.45/818.57	c |    529739 |  113215   614464  2010625 |        1   153708     50 |  0.281 % |
818.45/818.57	c |    530065 |  113215   614464  2010625 |        1   154034     50 |  0.281 % |
818.45/818.57	c |    530609 |  113215   614464  2010625 |        1   154578     50 |  0.281 % |
818.45/818.57	c |    530711 |  113215   614464  2010625 |        1   154680     50 |  0.281 % |
818.45/818.57	c |    531564 |  113215   614464  2010625 |        1   155533     50 |  0.281 % |
818.45/818.57	c |    531664 |  113215   614464  2010625 |        1   155633     50 |  0.281 % |
818.45/818.57	c |    531766 |  113215   614464  2010625 |        1   155735     50 |  0.281 % |
818.45/818.57	c |    531866 |  113215   614464  2010625 |        1   155835     50 |  0.281 % |
818.45/818.57	c |    531967 |  113215   614464  2010625 |        1   155936     50 |  0.281 % |
818.45/818.57	c |    533423 |  113191   614317  2010016 |        1   154816     49 |  0.302 % |
818.45/818.57	c |    533782 |  113191   614317  2010016 |        1   155175     50 |  0.302 % |
818.45/818.57	c |    533883 |  113191   614317  2010016 |        1   155276     50 |  0.302 % |
818.45/818.57	c |    534428 |  113191   614317  2010016 |        1   155821     50 |  0.302 % |
818.45/818.57	c |    535918 |  113191   614317  2010016 |        1   157311     50 |  0.302 % |
818.45/818.57	c |    536019 |  113191   614317  2010016 |        1   157412     50 |  0.302 % |
818.45/818.57	c |    537279 |  113191   614317  2010016 |        1   158672     50 |  0.302 % |
818.45/818.57	c |    537635 |  113191   614317  2010016 |        1   159028     51 |  0.302 % |
818.45/818.57	c |    537778 |  113191   614317  2010016 |        1   159171     51 |  0.302 % |
818.45/818.57	c |    537878 |  113191   614317  2010016 |        1   159271     51 |  0.302 % |
818.45/818.57	c |    541953 |  113191   614317  2010016 |        1   163346     52 |  0.302 % |
818.45/818.57	c |    542055 |  113191   614317  2010016 |        1   163448     52 |  0.302 % |
818.45/818.57	c |    542155 |  113191   614317  2010016 |        1   163548     52 |  0.302 % |
818.45/818.57	c |    542257 |  113191   614317  2010016 |        1   163650     52 |  0.302 % |
818.45/818.57	c |    542357 |  113191   614317  2010016 |        1   163750     52 |  0.302 % |
818.45/818.57	c |    545888 |  113191   614317  2010016 |        1   113148     30 |  0.302 % |
818.45/818.57	c |    546059 |  113191   614317  2010016 |        1   113319     30 |  0.302 % |
818.45/818.57	c |    546477 |  113191   614317  2010016 |        1   113737     30 |  0.302 % |
818.45/818.57	c |    548123 |  113191   614317  2010016 |        1   115383     31 |  0.302 % |
818.45/818.57	c |    548240 |  113191   614317  2010016 |        1   115500     31 |  0.302 % |
818.45/818.57	c |    552839 |  109703   585496  1883810 |        1    98459     32 |  3.374 % |
818.45/818.57	c |    555155 |  109703   585496  1883810 |        1   100775     34 |  3.374 % |
818.45/818.57	c |    555255 |  109703   581275  1865989 |        1    91570     32 |  3.374 % |
818.45/818.57	c |    555355 |  109703   581275  1865989 |        1    91670     32 |  3.374 % |
818.45/818.57	c |    557093 |  109703   581275  1865989 |        1    93408     33 |  3.374 % |
818.45/818.57	c |    557260 |  109703   581275  1865989 |        1    93575     33 |  3.374 % |
818.45/818.57	c |    559464 |  109703   581275  1865989 |        1    95779     35 |  3.374 % |
818.45/818.57	c |    559564 |  109703   581275  1865989 |        1    95879     35 |  3.374 % |
818.45/818.57	c |    563131 |  109703   581275  1865989 |        1    99446     37 |  3.374 % |
818.45/818.57	c |    563619 |  109703   581275  1865989 |        1    99934     38 |  3.374 % |
818.45/818.57	c |    563719 |  109703   581275  1865989 |        1   100034     38 |  3.374 % |
818.45/818.57	c |    564010 |  109703   581275  1865989 |        1   100325     38 |  3.374 % |
890.15/890.28	c |    564677 |  109703   581275  1865989 |        1   100992     38 |  3.374 % |
890.15/890.28	c |    566031 |  109702   581269  1865971 |        1   102345     39 |  3.375 % |
890.15/890.28	c |    566477 |  109702   581269  1865971 |        1   102791     39 |  3.375 % |
890.15/890.28	c |    566882 |  109702   581269  1865971 |        1   103196     40 |  3.375 % |
890.15/890.28	c |    566983 |  109702   581269  1865971 |        1   103297     40 |  3.375 % |
890.15/890.28	c |    569712 |  109688   581192  1865679 |        1   105706     40 |  3.388 % |
890.15/890.28	c |    570418 |  109688   581192  1865679 |        1   106412     40 |  3.388 % |
890.15/890.28	c |    572370 |  109688   581192  1865679 |        1   108364     42 |  3.388 % |
890.15/890.28	c |    573765 |  109688   581192  1865679 |        1   109759     43 |  3.388 % |
890.15/890.28	c |    575050 |  109687   581179  1865625 |        1   111043     44 |  3.388 % |
890.15/890.28	c |    577769 |  109687   581179  1865625 |        1   113762     45 |  3.388 % |
890.15/890.28	c |    578700 |  109687   581179  1865625 |        1   114693     47 |  3.388 % |
890.15/890.28	c |    578800 |  109687   581179  1865625 |        1   114793     47 |  3.388 % |
890.15/890.28	c |    579467 |  109687   581179  1865625 |        1   115460     47 |  3.388 % |
890.15/890.28	c |    579567 |  109687   581179  1865625 |        1   115560     47 |  3.388 % |
890.15/890.28	c |    579670 |  109687   581179  1865625 |        1   115663     47 |  3.388 % |
890.15/890.28	c |    579771 |  109687   581179  1865625 |        1   115764     47 |  3.388 % |
890.15/890.28	c |    579871 |  109687   581179  1865625 |        1   115864     47 |  3.388 % |
890.15/890.28	c |    581663 |  109687   581179  1865625 |        1   117656     48 |  3.388 % |
890.15/890.28	c |    582626 |  109687   581179  1865625 |        1   118619     49 |  3.388 % |
890.15/890.28	c |    582728 |  109687   581179  1865625 |        1   118721     49 |  3.388 % |
890.15/890.28	c |    584099 |  109687   581179  1865625 |        1   120092     49 |  3.388 % |
890.15/890.28	c |    585573 |  109686   581168  1865588 |        1   121565     50 |  3.389 % |
890.15/890.28	c |    585673 |  109686   581168  1865588 |        1   121665     50 |  3.389 % |
890.15/890.28	c |    586083 |  109686   581168  1865588 |        1   122075     50 |  3.389 % |
890.15/890.28	c |    587476 |  109686   581168  1865588 |        1   123468     50 |  3.389 % |
890.15/890.28	c |    587576 |  109686   581168  1865588 |        1   123568     51 |  3.389 % |
890.15/890.28	c |    588186 |  109686   581168  1865588 |        1   124178     51 |  3.389 % |
890.15/890.28	c |    588985 |  109686   581168  1865588 |        1   124977     52 |  3.389 % |
890.15/890.28	c |    589564 |  109686   581168  1865588 |        1   125556     52 |  3.389 % |
890.15/890.28	c |    590014 |  109686   581168  1865588 |        1   126006     53 |  3.389 % |
890.15/890.28	c |    590704 |  109686   581168  1865588 |        1   126696     53 |  3.389 % |
890.15/890.28	c |    591000 |  109686   581168  1865588 |        1   126992     54 |  3.389 % |
890.15/890.28	c |    591100 |  109686   581168  1865588 |        1   127092     54 |  3.389 % |
890.15/890.28	c |    591200 |  109686   581168  1865588 |        1   127192     54 |  3.389 % |
890.15/890.28	c |    591804 |  109686   581168  1865588 |        1   127796     54 |  3.389 % |
890.15/890.28	c |    592547 |  109231   570700  1831793 |        1   127762     56 |  3.790 % |
890.15/890.28	c |    592647 |  109231   570700  1831793 |        1   127862     56 |  3.790 % |
890.15/890.28	c |    592978 |  109231   570700  1831793 |        1   128193     56 |  3.790 % |
890.15/890.28	c |    593257 |  109231   570700  1831793 |        1   128472     56 |  3.790 % |
890.15/890.28	c |    593472 |  109231   570700  1831793 |        1   128687     57 |  3.790 % |
890.15/890.28	c |    593572 |  109231   570700  1831793 |        1   128787     57 |  3.790 % |
890.15/890.28	c |    593705 |  109231   570700  1831793 |        1   128920     57 |  3.790 % |
890.15/890.28	c |    593805 |  109231   570700  1831793 |        1   129020     57 |  3.790 % |
890.15/890.28	c |    594622 |  109231   570700  1831793 |        1   129837     61 |  3.790 % |
890.15/890.28	c |    594725 |  109231   570700  1831793 |        1   129940     61 |  3.790 % |
890.15/890.28	c |    596282 |  109231   570700  1831793 |        1   131497     61 |  3.790 % |
890.15/890.28	c |    596382 |  109231   570700  1831793 |        1   131597     61 |  3.790 % |
890.15/890.28	c |    596482 |  109231   570700  1831793 |        1   131697     61 |  3.790 % |
890.15/890.28	c |    596654 |  109231   570700  1831793 |        1   131869     62 |  3.790 % |
961.24/961.40	c |    597113 |  109231   570700  1831793 |        1   132328     62 |  3.790 % |
961.24/961.40	c |    597306 |  109231   570700  1831793 |        1   132521     63 |  3.790 % |
961.24/961.40	c |    597407 |  109231   570700  1831793 |        1   132622     63 |  3.790 % |
961.24/961.40	c |    598060 |  109231   570700  1831793 |        1   133275     65 |  3.790 % |
961.24/961.40	c |    598161 |  109231   570700  1831793 |        1   133376     65 |  3.790 % |
961.24/961.40	c |    599098 |  109231   570700  1831793 |        1   134313     66 |  3.790 % |
961.24/961.40	c |    600323 |  109231   570700  1831793 |        1   135538     66 |  3.790 % |
961.24/961.40	c |    601408 |  109231   570700  1831793 |        1   136623     68 |  3.790 % |
961.24/961.40	c |    601509 |  109231   570700  1831793 |        1   136724     68 |  3.790 % |
961.24/961.40	c |    603717 |  109231   570700  1831793 |        1   138932     68 |  3.790 % |
961.24/961.40	c |    603819 |  109231   570700  1831793 |        1   139034     68 |  3.790 % |
961.24/961.40	c |    604252 |  109231   570700  1831793 |        1   139467     68 |  3.790 % |
961.24/961.40	c |    605696 |  109231   570700  1831793 |        1   140911     68 |  3.790 % |
961.24/961.40	c |    606323 |  109201   570624  1831486 |        1   141119     69 |  3.816 % |
961.24/961.40	c |    606424 |  109201   570624  1831486 |        1   141220     69 |  3.816 % |
961.24/961.40	c |    606981 |  109201   570624  1831486 |        1   141777     70 |  3.816 % |
961.24/961.40	c |    607302 |  109201   570624  1831486 |        1   142098     70 |  3.816 % |
961.24/961.40	c |    607402 |  109201   570624  1831486 |        1   142198     70 |  3.816 % |
961.24/961.40	c |    607502 |  109201   570624  1831486 |        1   142298     70 |  3.816 % |
961.24/961.40	c |    610888 |  109201   570624  1831486 |        1   145684     71 |  3.816 % |
961.24/961.40	c |    610989 |  109201   570624  1831486 |        1   145785     71 |  3.816 % |
961.24/961.40	c |    611112 |  109201   570624  1831486 |        1   145908     72 |  3.816 % |
961.24/961.40	c |    611214 |  109201   570624  1831486 |        1   146010     72 |  3.816 % |
961.24/961.40	c |    611315 |  109201   570624  1831486 |        1   146111     72 |  3.816 % |
961.24/961.40	c |    611518 |  109201   570624  1831486 |        1   146314     72 |  3.816 % |
961.24/961.40	c |    611940 |  109201   570624  1831486 |        1   146736     72 |  3.816 % |
961.24/961.40	c |    612056 |  109201   570624  1831486 |        1   146852     72 |  3.816 % |
961.24/961.40	c |    612662 |  109201   570624  1831486 |        1   147458     73 |  3.816 % |
961.24/961.40	c |    612764 |  109201   570624  1831486 |        1   147560     73 |  3.816 % |
961.24/961.40	c |    612864 |  109201   570624  1831486 |        1   147660     73 |  3.816 % |
961.24/961.40	c |    614123 |  109201   570624  1831486 |        1   148919     73 |  3.816 % |
961.24/961.40	c |    614223 |  109201   570624  1831486 |        1   149019     73 |  3.816 % |
961.24/961.40	c |    615514 |  109201   570624  1831486 |        1   150310     74 |  3.816 % |
961.24/961.40	c |    615614 |  109201   570624  1831486 |        1   150410     74 |  3.816 % |
961.24/961.40	c |    617016 |  109201   570624  1831486 |        1    98494     41 |  3.816 % |
961.24/961.40	c |    617450 |  109201   570624  1831486 |        1    98928     43 |  3.816 % |
961.24/961.40	c |    617550 |  109201   570624  1831486 |        1    99028     43 |  3.816 % |
961.24/961.40	c |    617650 |  109201   570624  1831486 |        1    99128     43 |  3.816 % |
961.24/961.40	c |    618023 |  109201   570624  1831486 |        1    99501     44 |  3.816 % |
961.24/961.40	c |    618124 |  109201   570624  1831486 |        1    99602     44 |  3.816 % |
961.24/961.40	c |    620332 |  109201   570624  1831486 |        1   101810     47 |  3.816 % |
961.24/961.40	c |    620432 |  109201   570624  1831486 |        1   101910     47 |  3.816 % |
961.24/961.40	c |    620533 |  109201   570624  1831486 |        1   102011     47 |  3.816 % |
961.24/961.40	c |    620815 |  109201   570624  1831486 |        1   102293     47 |  3.816 % |
961.24/961.40	c |    621075 |  109201   570624  1831486 |        1   102553     48 |  3.816 % |
961.24/961.40	c |    621178 |  109201   570624  1831486 |        1   102656     48 |  3.816 % |
961.24/961.40	c |    621281 |  109201   570624  1831486 |        1   102759     48 |  3.816 % |
961.24/961.40	c |    623431 |  109201   570624  1831486 |        1   104909     51 |  3.816 % |
961.24/961.40	c |    623560 |  109201   570624  1831486 |        1   105038     51 |  3.816 % |
961.24/961.40	c |    623661 |  109201   570624  1831486 |        1   105139     52 |  3.816 % |
1033.74/1033.87	c |    623836 |  109201   570624  1831486 |        1   105314     52 |  3.816 % |
1033.74/1033.87	c |    624301 |  109201   570624  1831486 |        1   105779     52 |  3.816 % |
1033.74/1033.87	c |    624698 |  109201   570624  1831486 |        1   106176     52 |  3.816 % |
1033.74/1033.87	c |    625006 |  109201   570624  1831486 |        1   106484     53 |  3.816 % |
1033.74/1033.87	c |    625235 |  109201   570624  1831486 |        1   106713     53 |  3.816 % |
1033.74/1033.87	c |    625337 |  109201   570624  1831486 |        1   106815     53 |  3.816 % |
1033.74/1033.87	c |    626693 |  109201   570624  1831486 |        1   108171     55 |  3.816 % |
1033.74/1033.87	c |    626794 |  109201   570624  1831486 |        1   108272     55 |  3.816 % |
1033.74/1033.87	c |    627136 |  109201   570624  1831486 |        1   108614     56 |  3.816 % |
1033.74/1033.87	c |    628656 |  109201   570624  1831486 |        1   110134     58 |  3.816 % |
1033.74/1033.87	c |    628769 |  109201   570624  1831486 |        1   110247     58 |  3.816 % |
1033.74/1033.87	c |    629312 |  109201   570624  1831486 |        1   110790     61 |  3.816 % |
1033.74/1033.87	c |    629412 |  109201   570624  1831486 |        1   110890     61 |  3.816 % |
1033.74/1033.87	c |    629512 |  109201   570624  1831486 |        1   110990     61 |  3.816 % |
1033.74/1033.87	c |    630055 |  109201   570624  1831486 |        1   111533     63 |  3.816 % |
1033.74/1033.87	c |    630157 |  109201   570624  1831486 |        1   111635     63 |  3.816 % |
1033.74/1033.87	c |    630313 |  109201   570624  1831486 |        1   111791     63 |  3.816 % |
1033.74/1033.87	c |    630584 |  109201   570624  1831486 |        1   112062     63 |  3.816 % |
1033.74/1033.87	c |    630706 |  109201   570624  1831486 |        1   112184     63 |  3.816 % |
1033.74/1033.87	c |    630806 |  109201   570624  1831486 |        1   112284     63 |  3.816 % |
1033.74/1033.87	c |    631001 |  109201   570624  1831486 |        1   112479     63 |  3.816 % |
1033.74/1033.87	c |    631102 |  109201   570624  1831486 |        1   112580     64 |  3.816 % |
1033.74/1033.87	c |    631202 |  109201   570624  1831486 |        1   112680     64 |  3.816 % |
1033.74/1033.87	c |    633989 |  109201   570624  1831486 |        1   115467     68 |  3.816 % |
1033.74/1033.87	c |    634119 |  109201   570624  1831486 |        1   115597     68 |  3.816 % |
1033.74/1033.87	c |    634375 |  109201   570624  1831486 |        1   115853     68 |  3.816 % |
1033.74/1033.87	c |    634734 |  109201   570624  1831486 |        1   116212     69 |  3.816 % |
1033.74/1033.87	c |    634834 |  109201   570624  1831486 |        1   116312     69 |  3.816 % |
1033.74/1033.87	c |    634956 |  109201   570624  1831486 |        1   116434     70 |  3.816 % |
1033.74/1033.87	c |    635056 |  109201   570624  1831486 |        1   116534     70 |  3.816 % |
1033.74/1033.87	c |    635600 |  109201   570624  1831486 |        1   117078     70 |  3.816 % |
1033.74/1033.87	c |    635700 |  109201   570624  1831486 |        1   117178     70 |  3.816 % |
1033.74/1033.87	c |    635801 |  109201   570624  1831486 |        1   117279     70 |  3.816 % |
1033.74/1033.87	c |    636636 |  109201   570624  1831486 |        1   118114     70 |  3.816 % |
1033.74/1033.87	c |    636736 |  109201   570624  1831486 |        1   118214     70 |  3.816 % |
1033.74/1033.87	c |    636840 |  109201   570624  1831486 |        1   118318     71 |  3.816 % |
1033.74/1033.87	c |    636943 |  109201   570624  1831486 |        1   118421     71 |  3.816 % |
1033.74/1033.87	c |    637044 |  109201   570624  1831486 |        1   118522     71 |  3.816 % |
1033.74/1033.87	c |    637715 |  109201   570624  1831486 |        1   119193     73 |  3.816 % |
1033.74/1033.87	c |    637816 |  109201   570624  1831486 |        1   119294     73 |  3.816 % |
1033.74/1033.87	c |    637916 |  109201   570624  1831486 |        1   119394     73 |  3.816 % |
1033.74/1033.87	c |    639706 |  109201   570624  1831486 |        1   121184     80 |  3.816 % |
1033.74/1033.87	c |    640259 |  109201   570624  1831486 |        1   121737     81 |  3.816 % |
1033.74/1033.87	c |    640361 |  109201   570624  1831486 |        1   121839     81 |  3.816 % |
1033.74/1033.87	c |    641113 |  109201   570624  1831486 |        1   122591     81 |  3.816 % |
1033.74/1033.87	c |    641604 |  109201   570624  1831486 |        1   123082     81 |  3.816 % |
1033.74/1033.87	c |    641775 |  109201   570624  1831486 |        1   123253     81 |  3.816 % |
1033.74/1033.87	c |    642260 |  109201   570624  1831486 |        1   123738     82 |  3.816 % |
1033.74/1033.87	c |    642362 |  109201   570624  1831486 |        1   123840     82 |  3.816 % |
1033.74/1033.87	c |    648456 |  109201   570624  1831486 |        1   129934     83 |  3.816 % |
1118.05/1118.10	c |    649684 |  109196   570467  1831015 |        1   130856     84 |  3.821 % |
1118.05/1118.10	c |    649786 |  109196   570467  1831015 |        1   130958     84 |  3.821 % |
1118.05/1118.10	c |    649886 |  109196   570467  1831015 |        1   131058     84 |  3.821 % |
1118.05/1118.10	c |    650806 |  109196   570467  1831015 |        1   131978     84 |  3.821 % |
1118.05/1118.10	c |    650914 |  109196   570467  1831015 |        1   132086     84 |  3.821 % |
1118.05/1118.10	c |    651765 |  109196   570467  1831015 |        1   132937     85 |  3.821 % |
1118.05/1118.10	c |    651866 |  109196   570467  1831015 |        1   133038     85 |  3.821 % |
1118.05/1118.10	c |    653115 |  109196   570467  1831015 |        1   134287     86 |  3.821 % |
1118.05/1118.10	c |    653218 |  109196   570467  1831015 |        1   134390     86 |  3.821 % |
1118.05/1118.10	c |    653318 |  109196   570467  1831015 |        1   134490     86 |  3.821 % |
1118.05/1118.10	c |    653422 |  109196   570467  1831015 |        1   134594     86 |  3.821 % |
1118.05/1118.10	c |    653784 |  109196   570467  1831015 |        1   134956     88 |  3.821 % |
1118.05/1118.11	c |    653885 |  109196   570467  1831015 |        1   135057     88 |  3.821 % |
1118.05/1118.11	c |    654843 |  109196   570467  1831015 |        1   136015     92 |  3.821 % |
1118.05/1118.11	c |    654944 |  109196   570467  1831015 |        1   136116     92 |  3.821 % |
1118.05/1118.11	c |    655288 |  109196   570467  1831015 |        1   136460     93 |  3.821 % |
1118.05/1118.11	c |    656746 |  109196   570467  1831015 |        1   137918     94 |  3.821 % |
1118.05/1118.11	c |    657431 |  109196   570467  1831015 |        1   138603     95 |  3.821 % |
1118.05/1118.11	c |    657531 |  109196   570467  1831015 |        1   138703     95 |  3.821 % |
1118.05/1118.11	c |    657762 |  109196   570467  1831015 |        1   138934     96 |  3.821 % |
1118.05/1118.11	c |    658625 |  109196   570467  1831015 |        1   139797     96 |  3.821 % |
1118.05/1118.11	c |    659724 |  109196   570467  1831015 |        1   140896     97 |  3.821 % |
1118.05/1118.11	c |    660100 |  109196   570467  1831015 |        1   141272     97 |  3.821 % |
1118.05/1118.11	c |    660347 |  109196   570467  1831015 |        1   141519     97 |  3.821 % |
1118.05/1118.11	c |    660450 |  109196   570467  1831015 |        1   141622     98 |  3.821 % |
1118.05/1118.11	c |    660572 |  109196   570467  1831015 |        1   141744     98 |  3.821 % |
1118.05/1118.11	c |    660675 |  109196   570467  1831015 |        1   141847     98 |  3.821 % |
1118.05/1118.11	c |    660777 |  109196   570467  1831015 |        1   141949     98 |  3.821 % |
1118.05/1118.11	c |    660877 |  109196   570467  1831015 |        1   142049     98 |  3.821 % |
1118.05/1118.11	c |    660978 |  109196   570467  1831015 |        1   142150     99 |  3.821 % |
1118.05/1118.11	c |    661079 |  109196   570467  1831015 |        1   142251     99 |  3.821 % |
1118.05/1118.11	c |    661375 |  109196   570467  1831015 |        1   142547    100 |  3.821 % |
1118.05/1118.11	c |    661475 |  109196   570467  1831015 |        1   142647    100 |  3.821 % |
1118.05/1118.11	c |    661686 |  109196   570467  1831015 |        1   142858    100 |  3.821 % |
1118.05/1118.11	c |    661787 |  109196   570467  1831015 |        1   142959    100 |  3.821 % |
1118.05/1118.11	c |    661952 |  109196   570467  1831015 |        1   143124    100 |  3.821 % |
1118.05/1118.11	c |    662053 |  109196   570467  1831015 |        1   143225    100 |  3.821 % |
1118.05/1118.11	c |    662153 |  109196   570467  1831015 |        1   143325    100 |  3.821 % |
1118.05/1118.11	c |    663487 |  109196   570467  1831015 |        1   144659    100 |  3.821 % |
1118.05/1118.11	c |    664495 |  109196   570467  1831015 |        1   145667    100 |  3.821 % |
1118.05/1118.11	c |    665068 |  109196   570467  1831015 |        1   146240    101 |  3.821 % |
1118.05/1118.11	c |    665757 |  109196   570467  1831015 |        1   146929    102 |  3.821 % |
1118.05/1118.11	c |    665859 |  109196   570467  1831015 |        1   147031    102 |  3.821 % |
1118.05/1118.11	c |    665986 |  109196   570467  1831015 |        1   147158    103 |  3.821 % |
1118.05/1118.11	c |    666086 |  109196   570467  1831015 |        1   147258    103 |  3.821 % |
1118.05/1118.11	c |    668455 |  109196   570467  1831015 |        1   149627    107 |  3.821 % |
1118.05/1118.11	c |    668556 |  109196   570467  1831015 |        1   149728    107 |  3.821 % |
1118.05/1118.11	c |    669174 |  109196   570467  1831015 |        1   150346    108 |  3.821 % |
1118.05/1118.11	c |    669824 |  109196   570467  1831015 |        1   150996    109 |  3.821 % |
1118.05/1118.11	c |    669927 |  109196   570467  1831015 |        1   151099    109 |  3.821 % |
1145.65/1145.77	c |    670029 |  109196   570467  1831015 |        1   151201    109 |  3.821 % |
1145.65/1145.77	c |    670131 |  109196   570467  1831015 |        1   151303    110 |  3.821 % |
1145.65/1145.77	c |    670231 |  109196   570467  1831015 |        1   151403    110 |  3.821 % |
1145.65/1145.77	c |    670337 |  109196   570467  1831015 |        1   151509    110 |  3.821 % |
1145.65/1145.77	c |    670439 |  109196   570467  1831015 |        1   151611    110 |  3.821 % |
1145.65/1145.77	c |    670540 |  109196   570467  1831015 |        1   151712    110 |  3.821 % |
1145.65/1145.77	c |    670640 |  109196   570467  1831015 |        1   151812    110 |  3.821 % |
1145.65/1145.77	c |    670742 |  109196   570467  1831015 |        1   151914    110 |  3.821 % |
1145.65/1145.77	c |    670842 |  109196   570467  1831015 |        1   152014    110 |  3.821 % |
1145.65/1145.77	c |    670943 |  109196   570467  1831015 |        1   152115    110 |  3.821 % |
1145.65/1145.77	c |    671045 |  109196   570467  1831015 |        1   152217    110 |  3.821 % |
1145.65/1145.77	c |    671148 |  109196   570467  1831015 |        1   152320    111 |  3.821 % |
1145.65/1145.77	c |    671248 |  109196   570467  1831015 |        1   152420    111 |  3.821 % |
1145.65/1145.77	c |    671560 |  109196   570467  1831015 |        1   152732    111 |  3.821 % |
1145.65/1145.77	c |    671660 |  109196   570467  1831015 |        1   152832    111 |  3.821 % |
1145.65/1145.77	c |    671760 |  109196   570467  1831015 |        1   152932    111 |  3.821 % |
1145.65/1145.77	c |    672387 |  109196   570467  1831015 |        1   153559    113 |  3.821 % |
1145.65/1145.77	c |    672487 |  109196   570467  1831015 |        1   153659    113 |  3.821 % |
1145.65/1145.77	c |    673621 |  109089   569470  1826883 |        1   143187     99 |  3.915 % |
1145.65/1145.77	c |    673723 |  109089   569470  1826883 |        1   143289     99 |  3.915 % |
1145.65/1145.77	c |    673823 |  109089   569470  1826883 |        1   143389     99 |  3.915 % |
1145.65/1145.77	c |    673987 |  109089   569470  1826883 |        1   143553    100 |  3.915 % |
1145.65/1145.77	c |    674089 |  109089   569470  1826883 |        1   143655    100 |  3.915 % |
1145.65/1145.77	c |    674190 |  109089   569470  1826883 |        1   143756    100 |  3.915 % |
1145.65/1145.77	c |    674889 |  109089   569470  1826883 |        1   144455    101 |  3.915 % |
1145.65/1145.77	c |    674989 |  109089   569470  1826883 |        1   144555    101 |  3.915 % |
1145.65/1145.77	c |    675193 |  109089   569470  1826883 |        1   144759    102 |  3.915 % |
1145.65/1145.77	c |    675659 |  109089   569470  1826883 |        1   145225    103 |  3.915 % |
1145.65/1145.77	c |    675760 |  109089   569470  1826883 |        1   145326    103 |  3.915 % |
1145.65/1145.77	c |    676118 |   74343   569176  1825818 |        1   137954     93 | 34.519 % |
1145.65/1145.77	c ===============================================================================
1145.65/1145.77	c restarts              : 1068
1145.65/1145.77	c nb ReduceDB           : 16
1145.65/1145.77	c nb removed Clauses    : 477912
1145.65/1145.77	c nb learnts DL2        : 16369
1145.65/1145.77	c nb learnts size 2     : 7100
1145.65/1145.77	c nb learnts size 1     : 79
1145.65/1145.77	c conflicts             : 676118         (595 /sec)
1145.65/1145.77	c decisions             : 2160220        (0.00 % random) (1902 /sec)
1145.65/1145.77	c propagations          : 2581215093     (2272882 /sec)
1145.65/1145.77	c conflict literals     : 66817657       (52.10 % deleted)
1145.65/1145.77	c nb reduced Clauses    : 10282
1145.65/1145.77	c CPU time              : 1135.66 s
1145.65/1145.77	
1145.65/1145.78	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-3291656-1303778616/watcher-3291656-1303778616 -o /tmp/evaluation-result-3291656-1303778616/solver-3291656-1303778616 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3291656-1303778616.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: 3.26 3.52 3.79 5/179 16908
/proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) R 16906 16908 15815 0 -1 4202496 317 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646966677 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0

[startup+0.105509 s]
/proc/loadavg: 3.26 3.52 3.79 5/179 16908
/proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.200499 s]
/proc/loadavg: 3.26 3.52 3.79 5/179 16908
/proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300455 s]
/proc/loadavg: 3.26 3.52 3.79 5/179 16908
/proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700413 s]
/proc/loadavg: 3.26 3.52 3.79 5/179 16908
/proc/meminfo: memFree=18191384/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50024 s]
/proc/loadavg: 3.26 3.52 3.79 6/181 16910
/proc/meminfo: memFree=18020612/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0
[pid=16909] ppid=16908 vsize=181460 CPUtime=1.49 cores=0,2
/proc/16909/stat : 16909 (SatELite_releas) R 16908 16908 15815 0 -1 4202496 41567 0 0 0 139 10 0 0 25 0 1 0 489461430 185815040 41293 33554432000 134512640 135144242 4289553520 18446744073709551615 134550815 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16909/statm: 45365 41293 71 155 0 45208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190164

[startup+3.101 s]
/proc/loadavg: 3.26 3.52 3.79 7/185 16917
/proc/meminfo: memFree=17798436/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0
[pid=16909] ppid=16908 vsize=214308 CPUtime=3.09 cores=0,2
/proc/16909/stat : 16909 (SatELite_releas) R 16908 16908 15815 0 -1 4202496 51838 0 0 0 294 15 0 0 25 0 1 0 489461430 219451392 47774 33554432000 134512640 135144242 4289553520 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16909/statm: 53577 47774 77 155 0 53420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 223012

[startup+6.30044 s]
/proc/loadavg: 3.32 3.53 3.79 5/185 16918
/proc/meminfo: memFree=17526052/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=0 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 489461430 8912896 253 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 253 211 178 0 69 0
[pid=16909] ppid=16908 vsize=217664 CPUtime=6.29 cores=0,2
/proc/16909/stat : 16909 (SatELite_releas) R 16908 16908 15815 0 -1 4202496 53677 0 0 0 611 18 0 0 25 0 1 0 489461430 222887936 48623 33554432000 134512640 135144242 4289553520 18446744073709551615 134588216 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16909/statm: 54416 48623 77 155 0 54259 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 226368

[startup+12.7003 s]
/proc/loadavg: 3.45 3.55 3.80 4/185 16919
/proc/meminfo: memFree=17649624/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=72376 CPUtime=3.34 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 13830 0 0 0 332 2 0 0 25 0 1 0 489462362 74113024 13007 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16919/statm: 18094 13007 250 17 0 14735 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 81080

[startup+25.5012 s]
/proc/loadavg: 4.02 3.67 3.83 3/185 16920
/proc/meminfo: memFree=17993008/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=73848 CPUtime=16.12 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 14804 0 0 0 1607 5 0 0 25 0 1 0 489462362 75620352 13965 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 18462 13965 251 17 0 15103 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 82552

[startup+51.1009 s]
/proc/loadavg: 4.89 3.91 3.91 4/185 16921
/proc/meminfo: memFree=17836580/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=86560 CPUtime=41.72 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 16264 0 0 0 4158 14 0 0 25 0 1 0 489462362 88637440 15409 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 21640 15409 251 17 0 18281 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 95264

[startup+102.301 s]
/proc/loadavg: 4.21 3.90 3.90 4/185 16982
/proc/meminfo: memFree=18023220/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=76756 CPUtime=92.93 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 27718 0 0 0 9268 25 0 0 25 0 1 0 489462362 78598144 15517 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 19189 15517 252 17 0 15830 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 85460

[startup+162.301 s]
/proc/loadavg: 5.09 4.17 3.99 4/185 17015
/proc/meminfo: memFree=17404404/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=125328 CPUtime=152.93 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 39124 0 0 0 15251 42 0 0 25 0 1 0 489462362 128335872 26225 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 31332 26225 252 17 0 27973 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 134032

[startup+222.307 s]
/proc/loadavg: 3.77 3.95 3.93 4/185 17016
/proc/meminfo: memFree=17376276/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=125328 CPUtime=212.93 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 48307 0 0 0 21250 43 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226480 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 31332 27685 252 17 0 27973 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 134032

[startup+282.301 s]
/proc/loadavg: 3.28 3.78 3.87 4/185 17018
/proc/meminfo: memFree=17416244/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=125328 CPUtime=272.93 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 55980 0 0 0 27249 44 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 31332 27685 252 17 0 27973 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 134032

[startup+342.301 s]
/proc/loadavg: 3.10 3.63 3.81 4/185 17020
/proc/meminfo: memFree=17398880/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=125328 CPUtime=332.93 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 63974 0 0 0 33248 45 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 31332 27685 252 17 0 27973 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 134032

[startup+402.3 s]
/proc/loadavg: 3.04 3.51 3.76 4/185 17021
/proc/meminfo: memFree=17361344/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2

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


[startup+822.3 s]
/proc/loadavg: 3.01 3.14 3.48 4/185 17032
/proc/meminfo: memFree=17299824/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=174648 CPUtime=812.93 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 126094 0 0 0 81232 61 0 0 25 0 1 0 489462362 178839552 36194 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 43662 36194 252 17 0 40303 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 183352

[startup+882.306 s]
/proc/loadavg: 3.00 3.11 3.44 4/185 17034
/proc/meminfo: memFree=17285052/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=174648 CPUtime=872.94 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 129557 0 0 0 87232 62 0 0 25 0 1 0 489462362 178839552 39633 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 43662 39633 252 17 0 40303 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 183352

[startup+942.301 s]
/proc/loadavg: 3.00 3.09 3.41 4/185 17036
/proc/meminfo: memFree=17350252/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=125328 CPUtime=932.94 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 133429 0 0 0 93229 65 0 0 25 0 1 0 489462362 128335872 27685 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224391 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 31332 27685 252 17 0 27973 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 134032

[startup+1002.3 s]
/proc/loadavg: 3.00 3.07 3.39 4/185 17037
/proc/meminfo: memFree=17272860/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=174648 CPUtime=992.94 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 145084 0 0 0 99225 69 0 0 25 0 1 0 489462362 178839552 39321 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 43662 39321 252 17 0 40303 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 183352

[startup+1062.3 s]
/proc/loadavg: 3.00 3.05 3.36 4/185 17048
/proc/meminfo: memFree=17258284/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=205468 CPUtime=1052.94 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 149188 0 0 0 105224 70 0 0 25 0 1 0 489462362 210399232 43401 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 51367 43401 252 17 0 48008 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 214172

[startup+1122.3 s]
/proc/loadavg: 3.04 3.06 3.34 4/185 17049
/proc/meminfo: memFree=17247720/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=205468 CPUtime=1112.94 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 153209 0 0 0 111221 73 0 0 25 0 1 0 489462362 210399232 47409 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 51367 47409 252 17 0 48008 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 214172

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

[startup+1126.4 s]
/proc/loadavg: 3.04 3.06 3.34 4/185 17049
/proc/meminfo: memFree=17243380/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=205468 CPUtime=1117.04 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 153501 0 0 0 111631 73 0 0 25 0 1 0 489462362 210399232 47699 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209245 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 51367 47699 252 17 0 48008 0
Current children cumulated CPU time (s) 1126.35
Current children cumulated vsize (KiB) 214172

[startup+1139.2 s]
/proc/loadavg: 3.03 3.05 3.33 4/185 17050
/proc/meminfo: memFree=17271028/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=255556 CPUtime=1129.84 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 154779 0 0 0 112910 74 0 0 25 0 1 0 489462362 261689344 48973 33554432000 4194304 4260849 140734703586496 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 63889 48973 252 17 0 60530 0
Current children cumulated CPU time (s) 1139.15
Current children cumulated vsize (KiB) 264260

[startup+1142.4 s]
/proc/loadavg: 3.03 3.05 3.33 4/185 17050
/proc/meminfo: memFree=17266812/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=255556 CPUtime=1133.04 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 155000 0 0 0 113230 74 0 0 25 0 1 0 489462362 261689344 49193 33554432000 4194304 4260849 140734703586496 18446744073709551615 4225277 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 63889 49193 252 17 0 60530 0
Current children cumulated CPU time (s) 1142.35
Current children cumulated vsize (KiB) 264260

[startup+1144 s]
/proc/loadavg: 3.03 3.05 3.33 4/185 17050
/proc/meminfo: memFree=17264084/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=255556 CPUtime=1134.65 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 155138 0 0 0 113391 74 0 0 25 0 1 0 489462362 261689344 49331 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226832 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 63889 49331 252 17 0 60530 0
Current children cumulated CPU time (s) 1143.96
Current children cumulated vsize (KiB) 264260

[startup+1144.8 s]
/proc/loadavg: 3.03 3.05 3.33 4/185 17050
/proc/meminfo: memFree=17264084/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=255556 CPUtime=1135.44 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 155199 0 0 0 113470 74 0 0 25 0 1 0 489462362 261689344 49391 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224284 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 63889 49391 252 17 0 60530 0
Current children cumulated CPU time (s) 1144.75
Current children cumulated vsize (KiB) 264260

[startup+1145.21 s]
/proc/loadavg: 3.02 3.05 3.33 4/185 17050
/proc/meminfo: memFree=17262596/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=335696 CPUtime=1135.85 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 165059 0 0 0 113510 75 0 0 25 0 1 0 489462362 343752704 58839 33554432000 4194304 4260849 140734703586496 18446744073709551615 4220705 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 83924 58843 252 17 0 80565 0
Current children cumulated CPU time (s) 1145.16
Current children cumulated vsize (KiB) 344400

[startup+1145.6 s]
/proc/loadavg: 3.02 3.05 3.33 4/185 17050
/proc/meminfo: memFree=17262596/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=205468 CPUtime=1136.24 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 171676 0 0 0 113548 76 0 0 25 0 1 0 489462362 210399232 43481 33554432000 4194304 4260849 140734703586496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 51367 43481 252 17 0 48008 0
Current children cumulated CPU time (s) 1145.55
Current children cumulated vsize (KiB) 214172

[startup+1145.7 s]
/proc/loadavg: 3.02 3.05 3.33 4/185 17050
/proc/meminfo: memFree=17262596/32951132 swapFree=67111524/67111528
[pid=16908] ppid=16906 vsize=8704 CPUtime=9.31 cores=0,2
/proc/16908/stat : 16908 (glucose.sh) S 16906 16908 15815 0 -1 4202496 360 79348 0 0 0 0 904 27 18 0 1 0 489461430 8912896 255 33554432000 4194304 4922060 140736042189856 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/16908/statm: 2176 255 211 178 0 69 0
[pid=16919] ppid=16908 vsize=205468 CPUtime=1136.34 cores=0,2
/proc/16919/stat : 16919 (glucose_static) R 16908 16908 15815 0 -1 4202496 171679 0 0 0 113558 76 0 0 25 0 1 0 489462362 210399232 43484 33554432000 4194304 4260849 140734703586496 18446744073709551615 4226849 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16919/statm: 51367 43484 252 17 0 48008 0
Current children cumulated CPU time (s) 1145.65
Current children cumulated vsize (KiB) 214172

Child status: 20
Real time (s): 1145.8
CPU time (s): 1145.76
CPU user time (s): 1144.7
CPU system time (s): 1.05984
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 344400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1144.7
system time used= 1.05984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251603
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= 44
involuntary context switches= 4218

runsolver used 1.91871 second user time and 4.34534 second system time

The end

Launcher Data

Begin job on node129 at 2011-04-26 02:43:38
IDJOB=3291656
IDBENCH=84246
IDSOLVER=1651
FILE ID=node129/3291656-1303778616
RUNJOBID= node129-1303777313-16637
PBS_JOBID= 13157179
Free space on /tmp= 66228 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291656-1303778616/watcher-3291656-1303778616 -o /tmp/evaluation-result-3291656-1303778616/solver-3291656-1303778616 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3291656-1303778616.cnf 

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

MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=1957467949

node129.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.831
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.66
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.831
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.831
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.75
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.831
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.831
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	: 5332.74
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.831
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.83
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.831
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.831
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      18191540 kB
Buffers:       1243256 kB
Cached:       12575332 kB
SwapCached:          4 kB
Active:        2328084 kB
Inactive:     11763844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18191540 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           67892 kB
Writeback:           0 kB
AnonPages:      272956 kB
Mapped:          15512 kB
Slab:           604376 kB
PageTables:       5472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   455064 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65952 MiB
End job on node129 at 2011-04-26 03:02:44