/data/SAT/sat-2003-beta/handmade/markstrom/SATISFIABLE/mm-3x1-9-9-sb.1.shuffled-as.sat03-1495.cnf
sh : ligne 1 : 1538527 Erreur de segmentation  (core dumped)./glasgow_subgraph_solver --timeout 2 ./cache/mm-3x1-9-9-sb.1.shuffled-as.sat03-1495.cnf_1.csv ./cache/mm-3x1-9-9-sb.1.shuffled-as.sat03-1495.cnf_toTest.csv > ./mm-3x1-9-9-sb.1.shuffled-as.sat03-1495.cnf_result.txt
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:          1814                                         |
|  Number of clauses:           72068                                         |
|  Parse time:                   0.02 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
Problem with the isomorphism solver
