/data/SAT/sat-2003-beta/industrial/maris/CNF/ferry10u.shuffled-as.sat03-379.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:          2883                                         |
|  Number of clauses:           19940                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |    2734    19940    44361 |     7311      100     42 |  5.169 % |
|       250 |    2734    19940    44361 |     8042      250     38 |  5.169 % |
|       475 |    2734    19940    44361 |     8846      475     29 |  5.169 % |
|       812 |    2734    19940    44361 |     9731      812     37 |  5.169 % |
|      1318 |    2734    19940    44361 |    10704     1318     45 |  5.169 % |
|      2077 |    2734    19940    44361 |    11774     2077     48 |  5.169 % |

iso times:

total iso time: 0.000000
===============================================================================
Could not delete toTest.csv
Could not delete result.txt

print the content of the cache: 

restarts              : 1
conflicts             : 2089           (6 /sec)
decisions             : 6279           (0.00 % random) (18 /sec)
propagations          : 242723         (711 /sec)
conflict literals     : 99899          (16.24 % deleted)
components created    : 0
components cached     : 0
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 2089
glasgow calls         : 0
aborted calls         : 0
Memory used           : 76.00 MB
CPU time              : 341.328 s

SATISFIABLE
