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

iso times: 0.399459 0.423601 0.400603 0.401999 0.389096 0.377612 0.377918 0.439204 0.406802 0.387772 0.391262 0.431791 0.400547 0.382243 0.386351 0.394073 0.353529 0.355054 0.368410 0.373388 0.331468 0.322082 0.327065 0.378587 0.354216 0.380951 0.358561 0.360635 0.328074 0.318986 0.319408 0.378227 0.352013 0.331575 0.335696 0.357828 0.316922 0.303335 0.303976 0.403069 0.364686 0.356579 0.357218 0.357662 0.307104 0.305252 0.308195 0.375458 0.338403 0.324643 0.324798 0.349823 0.358752 0.307082 0.308185 0.346224 0.311507 0.296304 0.294391 0.395758 0.356195 0.350509 0.353098 0.395226 0.362148 0.348454 0.343774 0.360408 0.324710 0.316107 0.309738 0.354824 0.318814 0.306273 0.305725 0.380273 0.343535 0.333160 0.358256 0.331476 0.298578 0.290093 0.290288 0.527938 0.490641 0.445940 0.519941 0.392570 0.360190 0.344124 0.346139 0.387419 0.362308 0.336237 0.360368 0.385708 0.381158 0.325406 0.349575 0.392145 0.368732 0.334045 0.315026 0.339024 0.293583 0.338029 0.292874 0.333431 0.263089 0.246031 0.309711 0.324054 0.294683 0.274699 0.293430 0.339397 0.298013 0.288970 0.290393 0.357770 0.319198 0.357278 0.315250 0.334455 0.307951 0.321997 0.291591 0.454146 0.394347 0.386428 0.380388 0.359429 0.362171 0.358598 0.304738 0.386534 0.352880 0.414681 0.356901 0.428542 0.377552 0.349920 0.344892 0.342985 0.312527 0.328366 0.304312 0.358185 0.364862 0.383021 0.315833 0.339293 0.359156 0.355468 0.311860 0.314248 0.291904 0.267158 0.323398 0.423600 0.362446 0.462967 0.397531 0.439799 0.385940 0.369768 0.373612 0.435473 0.394596 0.397493 0.431993 0.365346 0.330474 0.318185 0.327003 0.380606 0.385616 0.333122 0.441804 0.377065 0.388935 0.324111 0.327157 0.342046 0.372708 0.321464 0.293642 0.319022 0.281469 0.275478 0.276035 0.369977 0.274157 0.314411 0.259935 0.378647 0.384203 0.418734 0.416853 0.375737 0.292101 0.285700 0.341055 0.345231 0.361274 0.303762 0.304682 0.425792 0.528956 0.406648 0.512692 0.409216 0.459855 0.387437 0.513971 0.504624 0.385066 0.385534 0.382393 0.422452 0.435614 0.440992 0.358530 0.413607 0.357952 0.330730 0.377450 0.430601 0.390101 0.369355 0.369255 0.403824 0.363693 0.510995 0.394462 0.451262 0.384320 0.459834 0.479007 0.478711 0.445548 0.367394 0.369629 0.433405 0.503979 0.362419 0.360485 0.349325 0.309852 0.371715 0.307651 0.447122 0.394327 0.374140 0.395627 0.327035 0.290809 0.276575 0.270812 0.319215 0.282964 0.341385 0.282091 0.387177 0.434287 0.342343 0.437112 0.392108 0.430641 0.305912 0.307719 0.388034 0.315730 0.307250 0.411265 0.446945 0.362145 0.357631 0.401447 0.394434 0.363718 0.272427 0.276786 0.374141 0.314147 0.305121 0.312380 0.399047 0.307871 0.291193 0.293687 0.312768 0.349170 0.399721 0.297880 0.342043 0.272138 0.271706 0.256610 0.286564 0.279126 0.245989 0.246327 0.335699 0.346800 0.281647 0.282896 0.331627 0.270619 0.438096 0.273708 0.324539 0.283527 0.273978 0.275233 0.429456 0.398927 0.331078 0.326874 0.293488 0.286048 0.250836 0.252029 0.385355 0.275655 0.294857 0.266965 0.421594 0.366778 0.309470 0.311641 0.308848 0.368097 0.314373 0.338016 0.417180 0.295195 0.276038 0.282164 0.330723 0.374036 0.318037 0.427512 0.287344 0.375751 0.341209 0.330646 0.331235 0.436872 0.506026 0.333262 0.333137 0.337718 0.357008 0.280497 0.362827 0.343937 0.397739 0.294238 0.347900 0.332844 0.301849 0.291521 0.294067 0.394195 0.338994 0.331621 0.331052 0.335999 0.300427 0.373291 0.322216 0.357598 0.418151 0.313066 0.313406 0.356554 0.317489 0.308768 0.310450 0.294356 0.366901 0.288453 0.256027 0.355636 0.430363 0.352500 0.356723 0.304443 0.317937 0.313055 0.261404 0.338252 0.318800 0.293981 0.293077 0.294895 0.005205 0.388447 0.354357 0.339430 0.336461 0.473995 0.355328 0.421582 0.603949 0.442302 0.481269 0.468782 0.424999 0.431534 0.005393 0.630065 0.464984 0.402804 0.372220 0.483648 0.528186 0.531754 0.487638 0.569904 0.402930 0.411847 0.005365 0.549515 0.474407 0.552389 0.438644 0.498503 0.491815 0.527766 0.562976 0.427839 0.493337 0.435917 0.005421 0.408386 0.469300 0.456961 0.005304

total iso time: 156.912652
===============================================================================

print the content of the cache: 
c id: 8, level: 6, literals: 21, clauses: 23, size: 72, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 1, levelIsos: [1]
c id: 7, level: 21, literals: 19, clauses: 18, size: 48, afterHit: 0, saved: 2, hits: 0, levelHits: [], isos: 1, levelIsos: [6]
c id: 5, level: 36, literals: 8, clauses: 7, size: 16, afterHit: 0, saved: 13, hits: 0, levelHits: [], isos: 4, levelIsos: [14,10,10,7]
c id: 4, level: 10, literals: 19, clauses: 14, size: 30, afterHit: 0, saved: 10, hits: 0, levelHits: [], isos: 2, levelIsos: [34,29]

restarts              : 1
conflicts             : 52             (75 /sec)
decisions             : 481            (0.00 % random) (697 /sec)
propagations          : 2021           (2930 /sec)
conflict literals     : 153            (19.05 % deleted)
components created    : 112
components cached     : 9
components hit        : 0
isomorphisms          : 8
conflicts saved       : 29
conflicts remaining   : 31
glasgow calls         : 440
aborted calls         : 84
Memory used           : 23.00 MB
CPU time              : 0.6898 s

UNSATISFIABLE
