Where is the code of the description section at the beginning of the program?

[godjoem]

I mean these description at the beginning.

==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |  130997   267048 |   43665       0        0     0.0 |  0.000 % |
|       100 |  130997   267048 |   48032     100     7577    75.8 |  0.000 % |
==============================================================================
restarts          :            2
conflicts         :          170           (     4576 / sec      )
decisions         :         1628           (    43821 / sec      )
propagations      :        79242           (  2132971 / sec      )
inspects          :       389482           ( 10483755 / sec      )
conflict literals :        10072           (     0.81 % deleted  )
CPU time          :         0.04 sec

SATISFIABLE

`