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

iso times: 0.011095 0.008848 0.008254 0.008813 0.008011 0.007459 0.012919 0.011942 0.011079 0.011379 0.010526 0.010838 0.012386 0.011957 0.011108 0.011407 0.010992 0.010777 0.012721 0.012113 0.010889 0.011634 0.010464 0.010404 0.012382 0.011752 0.010724 0.011032 0.010231 0.010485 0.012477 0.011142 0.010616 0.011064 0.009775 0.009892 0.012158 0.010415 0.010123 0.010049 0.010161 0.009846 0.013115 0.010548 0.009979 0.009861 0.009602 0.009987 0.013119 0.009677 0.009576 0.009323 0.008866 0.008966 0.009063 0.008874 0.009474 0.008914 0.009718 0.009029 0.011480 0.008627 0.009495 0.009478 0.010711 0.010173 0.011001 0.011611 0.008418 0.009742 0.009546 0.009929 0.009780 0.010088 0.010745 0.008150 0.009162 0.008030 0.009605 0.007258 0.007127 0.007583 0.007468 0.007524 0.007554 0.008032 0.008352 0.009483 0.009341 0.009422 0.009695 0.009900 0.010556 0.007893 0.008701 0.007610 0.008033 0.007647 0.005425 0.004566 0.004709 0.008529 0.008335 0.008341 0.008697 0.009119 0.009244 0.012774 0.008494 0.008514 0.008125 0.008477 0.008698 0.008701 0.010398 0.019411 0.021512 0.007870 0.007925 0.008221 0.007951 0.008249 0.008437 0.008364 0.008850 0.008714 0.009552 0.008419 0.008062 0.007744 0.007813 0.007937 0.008737 0.008301 0.009353 0.007117 0.005786 0.005873 0.006065 0.005400 0.004698 0.004509 0.004641 0.014567 0.012217 0.011142 0.010590 0.011326 0.012275 0.010157 0.010304 0.010293 0.010956 0.014617 0.010873 0.011464 0.011126 0.010775 0.013326 0.014020 0.014188 0.014173 0.013738 0.010309 0.010292 0.010494 0.010113 0.009714 0.009759 0.009796 0.014551 0.009973 0.010478 0.009854 0.010732 0.012786 0.013938 0.013403 0.012713 0.012004 0.009974 0.009922 0.012326 0.013929 0.014123 0.013589 0.010465 0.010027 0.010292 0.009537 0.009829 0.009601 0.009740 0.013797 0.010246 0.010123 0.009635 0.010038 0.012206 0.013869 0.012783 0.012639 0.012196 0.009966 0.009462 0.012114 0.012515 0.012540 0.012115 0.009835 0.009351 0.011839 0.012021 0.011283 0.010796 0.009004 0.008855 0.011113 0.005109 0.009082 0.007638 0.007653 0.007472 0.004785 0.011397 0.010703 0.010344 0.008999 0.008558 0.011648 0.004777 0.008933 0.007438 0.007774 0.007392 0.005162 0.007439 0.004932 0.005047 0.027808 0.014853 0.012717 0.011896 0.011055 0.011847 0.012256 0.010564 0.026110 0.010811 0.010598 0.011956 0.014296 0.011150 0.012324 0.011522 0.011062 0.014349 0.013881 0.014619 0.013719 0.012249 0.015083 0.014557 0.014826 0.014099 0.021209 0.014818 0.013713 0.015277 0.013738 0.013252 0.014346 0.012486 0.010537 0.011590 0.014505 0.012163 0.014401 0.009882 0.009875 0.014577 0.010078 0.010473 0.012400 0.010399 0.012913 0.014619 0.014055 0.014633 0.013155 0.012539 0.012086 0.014200 0.010208 0.013961 0.014115 0.009924 0.013092 0.014135 0.013530 0.014558 0.012002 0.011274 0.013566 0.012629 0.013382 0.014969 0.005085 0.004805 0.008719 0.005217 0.006014 0.005421 0.004970 0.009106 0.005207 0.004862 0.013856 0.014682 0.026252 0.014058 0.011944 0.013254 0.011130 0.014185 0.010068 0.010988 0.011711 0.009904 0.026985 0.009355 0.014175 0.009775 0.011091 0.013585 0.010321 0.011068 0.010602 0.010834 0.012436 0.013199 0.018313 0.014386 0.012872 0.012972 0.013265 0.012901 0.013154 0.013972 0.013362 0.010104 0.011024 0.011816 0.013406 0.011887 0.013478 0.010061 0.009598 0.012585 0.009686 0.010394 0.012195 0.010054 0.011752 0.012981 0.013284 0.012204 0.015221 0.012963 0.012730 0.012768 0.011887 0.013088 0.015009 0.012476 0.014944 0.005166 0.005359 0.009435 0.005149 0.005087 0.005135 0.004900 0.007982 0.005363 0.005290 0.004886 0.008150 0.004838 0.005165 0.004806 0.004524 0.004794 0.006840 0.006841 0.006680 0.004830 0.004770 0.004536 0.004667 0.005040 0.004728 0.014182 0.011916 0.012066 0.012747 0.012278 0.014123 0.012097 0.010560 0.014081 0.012138 0.013988 0.005187 0.004798 0.009077 0.005035 0.004891 0.005216 0.004863 0.007850 0.005072 0.012222 0.006983 0.015179 0.013786 0.019510 0.015013 0.013258 0.015829 0.012786 0.013634 0.012192 0.013852 0.011637 0.010169 0.011076 0.013831 0.011850 0.014094 0.009583 0.009566 0.012949 0.010075 0.010104 0.011493 0.010491 0.012356 0.015264 0.014217 0.017639 0.014124 0.012763 0.012348 0.011415 0.013111 0.009760 0.013206 0.013681 0.009362 0.013268 0.015026 0.013782 0.013053 0.014442 0.013277 0.014351 0.012147 0.013021 0.011685 0.014051 0.011755 0.009858 0.011466 0.010622 0.013645 0.011369 0.014101 0.009450 0.009661 0.014054 0.009573 0.010306 0.011367 0.010350 0.012145 0.013863 0.013839 0.017233 0.013909 0.012796 0.012596 0.011844 0.011510 0.013342 0.010775 0.009704 0.010286 0.013125 0.010308 0.013834 0.009597 0.009950 0.009471 0.009872 0.010449 0.011622 0.012008 0.014487 0.015548 0.012838 0.010861 0.013172 0.013676 0.005121 0.005287 0.005203 0.009486 0.005752 0.004949 0.013623 0.014028 0.012913 0.018136 0.013458 0.012192 0.012339 0.012425 0.012186 0.011687 0.014966 0.011485 0.009369 0.010689 0.013138 0.010579 0.012773 0.009085 0.008903 0.011933 0.009207 0.014980 0.009451 0.011383 0.009599 0.011312 0.011727 0.013165 0.013800 0.012531 0.018035 0.013484 0.012897 0.011937 0.012670 0.012685 0.012191 0.013626 0.011862 0.009997 0.010400 0.011470 0.013504 0.011790 0.013036 0.009767 0.009557 0.011605 0.009403 0.013402 0.010336 0.011763 0.009723 0.011173 0.011642 0.005343 0.005178 0.005093 0.009659 0.005636 0.005054 0.004862 0.005000 0.004808 0.004925 0.005116 0.005650 0.014569 0.014358 0.013421 0.013506 0.014123 0.117121 0.013030 0.012676 0.012968 0.012563 0.011632 0.013197 0.011461 0.010146 0.010678 0.010652 0.013173 0.010792 0.013471 0.009602 0.009467 0.012252 0.009940 0.013686 0.009893 0.011091 0.010150 0.012082 0.013495 0.013386 0.013970 0.012928 0.012787 0.013306 0.203566 0.012747 0.012240 0.013898 0.012817 0.012703 0.013724 0.012262 0.009655 0.010711 0.011653 0.013193 0.012026 0.013191 0.009125 0.009381 0.012088 0.009278 0.013426 0.009738 0.012328 0.009755 0.011339 0.011730 0.013043 0.013340 0.012910 0.016655 0.013011 0.228856 0.012299 0.012044 0.011919 0.011866 0.011342 0.013661 0.011043 0.009426 0.010479 0.013317 0.010522 0.013005 0.008526 0.008976 0.012297 0.008821 0.015206 0.009539 0.010898 0.009614 0.011021 0.011803 0.005479 0.004852 0.129897 0.005261 0.008445 0.005296 0.005014 0.439817 0.007725 0.007276 0.007357 0.008245 0.007943 0.007750 0.006904 0.007344 0.007418 0.007522 0.007891 0.007742 0.004919 0.424563 0.004734 0.004467 0.004481 0.005224 0.013527 0.014052 0.012897 0.013181 0.013621 0.059207 0.012406 0.012730 0.012471 0.012482 0.011362 0.013103 0.010870 0.009801 0.010457 0.010501 0.012865 0.010597 0.013684 0.009496 0.009403 0.012471 0.009286 0.013286 0.010077 0.011686 0.009984 0.011405 0.012088 0.012811 0.013689 0.012697 0.012886 0.013302 0.086039 0.012317 0.012066 0.012912 0.011947 0.012387 0.014479 0.012093 0.009249 0.010475 0.012256 0.013134 0.011901 0.012525 0.008923 0.008744 0.011886 0.008795 0.012703 0.009851 0.012071 0.009616 0.011530 0.011458 0.014147 0.013360 0.012497 0.015938 0.012673 0.102340 0.011823 0.011567 0.012052 0.011437 0.011673 0.014333 0.010888 0.009338 0.010107 0.012841 0.010458 0.012482 0.009034 0.008930 0.011778 0.008879 0.014392 0.009452 0.010482 0.009559 0.010985 0.011560 0.005658 0.007467 0.004967 0.008538 0.005001 0.005721 0.012490 0.012038 0.012236 0.012796 0.051506 0.011674 0.011668 0.011661 0.011877 0.011226 0.011505 0.011007 0.008855 0.010014 0.010477 0.012193 0.010845 0.012107 0.008576 0.009007 0.011008 0.008686 0.009481 0.010839 0.009694 0.010670 0.011616 0.005462 0.004891 0.058025 0.004973 0.005411 0.009876 0.004981 0.008380 0.008450 0.008596 0.008957 0.007895 0.004787 0.007948 0.005215 0.007824 0.008764 0.004874 0.008211 0.008533 0.007810 0.008387 0.005125 0.004932 0.005791

total iso time: 10.837886
===============================================================================

print the content of the cache: 
c id: 29, level: 9, literals: 22, clauses: 15, size: 36, afterHit: 0, saved: 8, hits: 0, levelHits: [], isos: 4, levelIsos: [4,6,4,2]

restarts              : 1
conflicts             : 94             (867 /sec)
decisions             : 450            (0.00 % random) (4152 /sec)
propagations          : 1276           (11773 /sec)
conflict literals     : 266            (14.74 % deleted)
components created    : 168
components cached     : 29
components hit        : 0
isomorphisms          : 4
conflicts saved       : 8
conflicts remaining   : 90
glasgow calls         : 843
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.108385 s

UNSATISFIABLE
