/data/SAT/sat-2003-beta/handmade/markstrom/SATISFIABLE/mm-1x6-6-6-s.1.shuffled-as.sat03-1490.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           264                                         |
|  Number of clauses:            1452                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |     264     1452     4776 |      532      100     25 |  0.001 % |
|       250 |     264     1452     4776 |      585      250     25 |  0.001 % |

iso times: 0.023025 0.019264 0.020588 0.031708 0.031453 0.032307 0.029634 0.028517 0.028678 0.027910 0.026563 0.027040 0.028508 0.026756 0.026871 0.026279 0.024335 0.025295 0.024666 0.022299 0.023714 0.023921 0.022205 0.023307 0.024745 0.023269 0.024473 0.028476 0.026911 0.027055 0.023956 0.023139 0.024294 0.046979 0.043371 0.045438 0.031753 0.029933 0.031206 0.024698 0.021971 0.057182 0.058963 0.062785 0.061828 0.058169 0.060346 0.041515 0.059725 0.058801 0.061106 0.057685 0.042579 0.043230 0.056073 0.046490 0.044731 0.028114 0.047416 0.046183 0.045740 0.024467 0.044987 0.045988 0.046303 0.045405 0.025265 0.025728 0.042394 0.046737 0.045225 0.028254 0.047488 0.046246 0.046155 0.024343 0.044984 0.045914 0.047153 0.045415 0.025641 0.025914 0.042236 0.045998 0.045363 0.027805 0.047074 0.046475 0.045889 0.024641 0.044171 0.045697 0.046791 0.045319 0.025146 0.025428 0.041447 0.025270 0.024562 0.026145 0.023743 0.024863 0.024513 0.025319 0.025415 0.023670 0.022892 0.024570 0.024543 0.026203 0.024215 0.024970 0.024460 0.024529 0.025044 0.023205 0.022262 0.025098 0.024531 0.026122 0.023555 0.024551 0.024645 0.024955 0.025324 0.023614 0.022090 0.021891 0.006724 0.023547 0.024585 0.025729 0.022848 0.025359 0.024400 0.025004 0.025409 0.023072 0.022685 0.023691 0.023884 0.025373 0.023579 0.023820 0.024489 0.025051 0.022537 0.022101 0.023611 0.023736 0.023061 0.023292 0.023889 0.023865 0.024902 0.022793 0.028281 0.054899 0.056189 0.031557 0.059238 0.055893 0.057603 0.038713 0.056980 0.057320 0.058607 0.055835 0.038650 0.039683 0.053522 0.024650 0.024369 0.025550 0.023389 0.025379 0.023242 0.022070 0.023944 0.024156 0.025700 0.023094 0.024888 0.023819 0.025013 0.025314 0.023259 0.022224 0.024008 0.023645 0.025742 0.023552 0.024460 0.024022 0.024075 0.025790 0.023817 0.022428 0.023862 0.024325 0.025713 0.024197 0.024644 0.023920 0.023972 0.024673 0.023204 0.021555 0.024157 0.023456 0.022218 0.024549 0.023401 0.023740 0.025352 0.022489 0.022899 0.023308 0.023681 0.022988 0.024198 0.023606 0.024059 0.022922 0.021718 0.023568 0.022867 0.023821 0.023897 0.022638 0.021474 0.023762 0.022619 0.023708 0.023984 0.022518 0.021258 0.023150 0.023418 0.021342 0.021368 0.023502 0.023911 0.023313 0.023905 0.023731 0.023972 0.022676 0.022157 0.022969 0.023483 0.022627 0.021154 0.023589 0.022471 0.021507 0.006900 0.022405 0.021377 0.006872 0.022311 0.021313 0.021178 0.022833 0.022569 0.020870 0.021191 0.022046 0.021832 0.006775 0.023312 0.023894 0.023216 0.024178 0.023399 0.024426 0.025144 0.022587 0.021938 0.023480 0.023822 0.023021 0.023866 0.024107 0.024079 0.028996 0.027633 0.023809 0.023219 0.023582 0.024459 0.023503 0.021729 0.023440 0.022826 0.021570 0.024010 0.022918 0.021939 0.023735 0.023638 0.025870 0.022592 0.024552 0.023759 0.024186 0.025039 0.022143 0.022379 0.023738 0.023716 0.023570 0.024208 0.023672 0.023973 0.024828 0.022818 0.021940 0.022991 0.023329 0.022580 0.021546 0.021726 0.021627 0.021275 0.023624 0.022868 0.024099 0.024114 0.022797 0.021370 0.023422 0.023698 0.022832 0.021248 0.021178 0.021604 0.021592 0.027016 0.028518 0.029675 0.028266 0.028909 0.028052 0.032643 0.029868 0.026697 0.026921 0.028054 0.028181 0.029927 0.027706 0.028424 0.028193 0.028540 0.029759 0.027361 0.027168 0.027631 0.027675 0.029863 0.027302 0.028421 0.027559 0.028304 0.028357 0.026409 0.025637 0.027344 0.028202 0.029540 0.026978 0.028122 0.027581 0.028049 0.028285 0.026745 0.025272 0.027721 0.027752 0.029310 0.026681 0.028397 0.027546 0.028407 0.028699 0.026544 0.025274 0.027140 0.027663 0.029614 0.026882 0.027741 0.027068 0.028180 0.028886 0.026324 0.025621 0.026695 0.027057 0.028577 0.026257 0.027540 0.026799 0.027348 0.028512 0.026732 0.025444 0.026243 0.026230 0.028004 0.025633 0.027462 0.025415 0.023925 0.025950 0.026505 0.027406 0.025343 0.027225 0.025014 0.023891 0.024851 0.025067 0.026813 0.024574 0.025876 0.025219 0.025383 0.026228 0.024283 0.022908 0.024414 0.024697 0.026611 0.024631 0.025138 0.024672 0.024813 0.025971 0.024149 0.022703 0.024905 0.022791 0.022084

total iso time: 12.465238
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 281            (350 /sec)
decisions             : 407            (0.00 % random) (507 /sec)
propagations          : 10233          (12741 /sec)
conflict literals     : 7060           (6.02 % deleted)
components created    : 365
components cached     : 14
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 281
glasgow calls         : 445
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.803126 s

SATISFIABLE
