/data/SAT/sat-2002-beta/submitted/prestwich/mediator/med11.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           341                                         |
|  Number of clauses:            4446                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================

iso times: 0.068803 0.050842 0.054622 0.049981 0.051041 0.049266 0.033180 0.031950 0.031656 0.031028 0.031004 0.030262 0.029044 0.028028 0.027724 0.026402 0.020652 0.019931 0.020024 0.019271 0.030091 0.030056 0.031489 0.029240 0.028929 0.030687 0.028156 0.030062 0.030286 0.018966 0.018341 0.028944 0.029579 0.030811 0.028056 0.028761 0.030240 0.026674 0.027196 0.028848 0.049924 0.065055 0.077774 0.047232 0.046673 0.049544 0.049471 0.056019 0.064995 0.045550 0.046123 0.048857 0.047479 0.055287 0.064574 0.042924 0.044705 0.047454 0.046569 0.053915 0.063085 0.041901 0.043998 0.045628 0.031348 0.029593 0.029097 0.027441 0.027826 0.034104 0.031058 0.053329 0.031969 0.041296 0.033783 0.020455 0.019777 0.032548 0.019889 0.026996 0.022322 0.020886 0.039415 0.038002 0.035600 0.030381 0.028595 0.036436 0.029920 0.029919 0.029566 0.033160 0.031140 0.039522 0.038207 0.037252 0.034499 0.029952 0.027405 0.035087 0.040652 0.029848 0.034233 0.032160 0.030209 0.036173 0.027514 0.025325 0.037905 0.028070 0.032357 0.029387 0.027972 0.032032 0.031330 0.030376 0.028357 0.024297 0.022668 0.028911 0.023950 0.023784 0.023922 0.026078 0.031026 0.030504 0.029591 0.028829 0.023645 0.022067 0.028458 0.023249 0.023217 0.023029 0.025699 0.027680 0.020899 0.019606 0.015847 0.018199 0.015322 0.043043 0.041224 0.040217 0.037440 0.031819 0.029900 0.038236 0.031543 0.047144 0.046906 0.045090 0.031404 0.031074 0.034690 0.034027 0.015674 0.123009 0.112590 0.093444 0.089835 0.134277 0.122644 0.120615 0.118606 0.089174 0.110538 0.097582 0.096609 0.123986 0.109858 0.109115 0.098276 0.098761 0.084368 0.090565 0.101923 0.155061 0.119355 0.118095 0.115873 0.086444 0.108980 0.095346 0.095798 0.080117 0.070227 0.069036 0.066346 0.061668 0.054679 0.051227 0.063587 0.093434 0.077692 0.076938 0.074445 0.054072 0.069060 0.058589 0.054912 0.074329 0.066711 0.064122 0.061019 0.057408 0.051822 0.048558 0.059934 0.089389 0.072212 0.071456 0.068622 0.047559 0.065960 0.055438 0.050883 0.072532 0.063902 0.049338 0.045509 0.084770 0.071378 0.070438 0.066881 0.046359 0.062805 0.053762 0.049659 0.069607 0.061234 0.047298 0.045295 0.080978 0.068778 0.067585 0.065418 0.044835 0.062406 0.051817 0.047496 0.068863 0.060804 0.047966 0.044642 0.079163 0.066526 0.065664 0.063558 0.045838 0.061184 0.050390 0.047488 0.067242 0.059363 0.045884 0.042554 0.079106 0.063800 0.064756 0.062107 0.044231 0.059915 0.048466 0.044777 0.064158 0.057129 0.044401 0.040904 0.074379 0.061601 0.062510 0.058770 0.042096 0.057027 0.047121 0.043281 0.062526 0.056427 0.043258 0.040443 0.077020 0.061651 0.061002 0.059087 0.040822 0.056127 0.046029 0.043137 0.032714 0.025000 0.025841 0.024628 0.025232 0.025094 0.023165 0.023701 0.022813 0.022167 0.021778 0.018338

total iso time: 14.874364
===============================================================================

print the content of the cache: 
c id: 6, level: 9, literals: 34, clauses: 32, size: 73, afterHit: 0, saved: 7, hits: 0, levelHits: [], isos: 1, levelIsos: [6]
c id: 3, level: 14, literals: 18, clauses: 14, size: 30, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 2, levelIsos: [8,7]

restarts              : 1
conflicts             : 41             (49 /sec)
decisions             : 76             (0.00 % random) (91 /sec)
propagations          : 1785           (2138 /sec)
conflict literals     : 866            (10.17 % deleted)
components created    : 56
components cached     : 19
components hit        : 0
isomorphisms          : 3
conflicts saved       : 11
conflicts remaining   : 33
glasgow calls         : 301
aborted calls         : 0
Memory used           : 24.00 MB
CPU time              : 0.834908 s

SATISFIABLE
