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

iso times: 0.009676 0.007485 0.006889 0.006497 0.007104 0.006836 0.006550 0.006212 0.006323 0.005161 0.007606 0.006883 0.007247 0.006685 0.006636 0.004398 0.007356 0.006492 0.006769 0.007686 0.007034 0.007156 0.007108 0.008863 0.007864 0.008584 0.008746 0.007727 0.008724 0.008984 0.007837 0.008475 0.008388 0.008483 0.008706 0.008395 0.007826 0.008556 0.008169 0.007422 0.008289 0.008059 0.007498 0.007762 0.007935 0.007351 0.007869 0.007887 0.007531 0.007384 0.007821 0.006637 0.007231 0.007735 0.006944 0.007151 0.007367 0.006417 0.006774 0.007358 0.006711 0.006876 0.006979 0.006813 0.006947 0.006982 0.005988 0.007194 0.006033 0.006539 0.007078 0.006398 0.007476 0.007150 0.007360 0.007271 0.007145 0.007124 0.007298 0.006425 0.007174 0.006489 0.007220 0.006687 0.006917 0.007057 0.006373 0.004658 0.008056 0.007104 0.007656 0.007986 0.007307 0.008179 0.007585 0.006926 0.007531 0.007388 0.006602 0.007176 0.007621 0.006840 0.004599 0.008066 0.007789 0.007194 0.007508 0.008149 0.007811 0.007042 0.007262 0.008021 0.007213 0.006412 0.006917 0.007519 0.007766 0.006608 0.007111 0.007173 0.007335 0.006376 0.007115 0.008447 0.007655 0.006946 0.007066 0.008142 0.007364 0.006911 0.007572 0.007756 0.007158 0.006672 0.006920 0.007096 0.007099 0.006845 0.006822 0.007785 0.006992 0.006305 0.007747 0.007277 0.006733 0.007714 0.008194 0.007178 0.006619 0.007264 0.005787 0.005283 0.014228 0.006774 0.006916 0.005918 0.006329 0.014179 0.006377 0.007097 0.006299 0.006277 0.013151 0.007107 0.007115 0.005859 0.006452 0.013065 0.006431 0.006215 0.006113 0.014613 0.007711 0.007186 0.006438 0.010171 0.006972 0.012822 0.007304 0.006520 0.005713 0.009115 0.006380 0.012247 0.006663 0.006737 0.005971 0.005508 0.016132 0.007826 0.008032 0.016482 0.008775 0.008507 0.024173 0.015462 0.007475 0.008256 0.016368 0.007886 0.009198 0.020203 0.014743 0.007078 0.007643 0.015338 0.007803 0.008703 0.017335 0.014370 0.007009 0.007578 0.013330 0.007664 0.008605 0.015640 0.018369 0.006914 0.007631 0.012488 0.007728 0.008178 0.022424 0.015586 0.007319 0.007862 0.016379 0.007999 0.008559 0.023750 0.014377 0.007327 0.008048 0.011627 0.007556 0.008115 0.017244 0.016432 0.007236 0.007548 0.013426 0.007763 0.008196 0.024649 0.015721 0.006838 0.007230 0.013047 0.008011 0.008187 0.019994 0.046267 0.006802 0.007290 0.012008 0.007969 0.007978 0.023232 0.006299 0.005663 0.005844 0.008985 0.005951 0.034639 0.006520 0.007041 0.007269 0.024377 0.024175 0.006150 0.013432 0.006292 0.013767 0.005705 0.006427 0.009715 0.006641 0.006313 0.014090 0.009351 0.005742 0.006819 0.005252 0.008616 0.012671 0.005497 0.006981 0.009223 0.006266 0.007204 0.012081 0.006638 0.005732 0.006092 0.005899 0.009348 0.008447 0.012068 0.006067 0.005844 0.009127 0.005937 0.006374 0.010967 0.005071 0.005824 0.005759 0.008061 0.007762 0.005284 0.005449 0.005911 0.013382 0.011520 0.011324 0.013580 0.011159 0.014021 0.007079 0.007277 0.012879 0.007719 0.008777 0.015988 0.012018 0.011281 0.010461 0.012661 0.009955 0.019515 0.006671 0.006936 0.010127 0.007615 0.007297 0.013747 0.013335 0.013484 0.011673 0.011105 0.013319 0.010670 0.013119 0.006620 0.007256 0.011194 0.007562 0.007654 0.015108 0.012000 0.011689 0.010815 0.010139 0.012157 0.010549 0.017786 0.006748 0.006508 0.010304 0.007023 0.007218 0.013649 0.009174 0.010793 0.010547 0.010052 0.009650 0.010963 0.009133 0.011968 0.005841 0.006574 0.006103 0.016548 0.014430 0.014245 0.014625 0.013093 0.012857 0.014885 0.012295 0.015576 0.007843 0.008228 0.012140 0.007791 0.008793 0.019881 0.012958 0.012888 0.012954 0.011423 0.010704 0.013054 0.010752 0.012343 0.007066 0.007321 0.011041 0.007179 0.007509 0.017359 0.012794 0.011929 0.012261 0.012427 0.010919 0.010619 0.012471 0.010029 0.020820 0.006778 0.012933 0.012019 0.012254 0.010737 0.011057 0.012657 0.010125 0.021632 0.007011 0.007141 0.010737 0.007532 0.007782 0.020855 0.012353 0.011385 0.011543 0.011978 0.010294 0.010550 0.011849 0.009826 0.018464 0.006368 0.006624 0.009977 0.006856 0.007536 0.017815 0.009668 0.005977 0.006142 0.008547 0.006532 0.006264 0.018375 0.005213 0.005153 0.005101 0.005313 0.005915 0.008051 0.006027 0.006122 0.015037 0.005024 0.005512 0.005927 0.004726 0.005265 0.005269 0.005738 0.005019 0.004783 0.015823 0.013867 0.014323 0.014307 0.012484 0.012288 0.014454 0.011659 0.016935 0.007271 0.007634 0.014618 0.007986 0.008397 0.026398 0.013914 0.012321 0.012313 0.012339 0.010816 0.010422 0.012604 0.010594 0.030146 0.007153 0.007032 0.012589 0.007081 0.007705 0.023189 0.012864 0.011820 0.012287 0.012227 0.010987 0.010314 0.012475 0.009949 0.026322 0.006296 0.006526 0.011969 0.006621 0.008004 0.021255 0.013082 0.011790 0.011747 0.011872 0.010613 0.012108 0.009750 0.025065 0.006990 0.007194 0.011405 0.006867 0.007901 0.024817 0.010712 0.010595 0.010817 0.009459 0.011223 0.008907 0.010169 0.006154 0.006197 0.009982 0.006298 0.007017 0.017386 0.005543 0.008904 0.005239 0.010209 0.005754 0.006347 0.009109 0.006364 0.006376 0.014681 0.005941 0.005805 0.010790 0.008896 0.011153 0.009171 0.012572 0.005825 0.006403 0.007855 0.006324 0.006873 0.014813 0.005184 0.009925 0.011348 0.005507 0.006967 0.010780 0.012353 0.006022 0.006090 0.007851 0.006279 0.006318 0.014611 0.005404 0.009408 0.011505 0.005979 0.006264 0.007695 0.006466 0.005356 0.005156 0.006644 0.005713 0.005711 0.006367 0.022732 0.021635 0.008921 0.007814 0.008114 0.006448 0.021050 0.020266 0.012888 0.008903 0.019456 0.008320 0.008495 0.017200 0.012417 0.016448 0.013577 0.016122 0.012983 0.013245 0.008537 0.018515 0.019426 0.019566 0.013170 0.008749 0.019115 0.008130 0.008593 0.015713 0.012745 0.016081 0.013557 0.013356 0.015622 0.013223 0.012048 0.008525 0.018386 0.017918 0.017274 0.011292 0.008152 0.017336 0.007169 0.008289 0.014370 0.011852 0.014715 0.015987 0.012835 0.012583 0.014086 0.012201 0.011284 0.008039 0.016380 0.015970 0.016309 0.010988 0.008193 0.016757 0.007190 0.008415 0.012893 0.011490 0.014185 0.015496 0.011975 0.011849 0.013493 0.011622 0.014151 0.013412 0.007572 0.015203 0.014285 0.014165 0.011683 0.007193 0.014775 0.006540 0.006665 0.012727 0.009938 0.012355 0.013839 0.010645 0.010525 0.011967 0.011047 0.009972 0.007682 0.013049 0.014212 0.014178 0.010034 0.007241 0.013556 0.006186 0.006884 0.018028 0.009923 0.012107 0.013558 0.010415 0.010171 0.011481 0.010249 0.010080 0.006631 0.012154 0.009052 0.007580 0.005595 0.005550 0.013786 0.014743 0.011733 0.007384 0.012279 0.013645 0.006281 0.006796 0.012320 0.010188 0.012396 0.013337 0.011642 0.011951 0.011878 0.010984 0.010207 0.007361 0.012495 0.013626 0.013190 0.009921 0.007221 0.012312 0.006687 0.006771 0.015518 0.009770 0.012323 0.012778 0.010663 0.010432 0.011838 0.010258 0.010204 0.006794 0.011900 0.011134 0.006787 0.005928 0.005863 0.008572 0.006136 0.005568 0.005505 0.005753 0.013216 0.012177 0.013319 0.012766 0.010237 0.007006 0.012486 0.006759 0.006893 0.014260 0.010127 0.011833 0.013117 0.010873 0.010672 0.011813 0.010396 0.011875 0.011450 0.007002 0.011980 0.012908 0.006167 0.005547 0.006224 0.014408 0.014274 0.013685 0.015063 0.014499 0.016327 0.007224 0.011730 0.013341 0.014926 0.006993 0.006872 0.026023 0.010494 0.012814 0.014259 0.010875 0.010624 0.011941 0.010391 0.012938 0.010512 0.007510 0.013045 0.012726 0.013319 0.012593 0.013528 0.012541 0.012494 0.007337 0.011163 0.012306 0.013889 0.006434 0.006477 0.016191 0.009474 0.011608 0.012844 0.010805 0.009807 0.011215 0.009991 0.011807 0.009940 0.006820 0.012221 0.005078 0.010837 0.010505 0.007041 0.005731 0.011784 0.005736 0.006321 0.010532 0.006208 0.004919 0.005949 0.006594 0.013043 0.013358 0.012783 0.013206 0.012569 0.014047 0.012902 0.013450 0.007063 0.011113 0.011996 0.008012 0.006409 0.006775 0.016819 0.009804 0.011995 0.012828 0.010360 0.010214 0.011475 0.010040 0.011935 0.009588 0.006672 0.012014 0.005407 0.007084 0.010719 0.012164 0.006966 0.005250 0.011036 0.006111 0.006255 0.012316 0.012961 0.012598 0.012084 0.011788 0.005253 0.007572 0.011605 0.006900 0.011393 0.011681 0.006006 0.006605 0.016258 0.009312 0.011302 0.012616 0.011711 0.009907 0.009549 0.011027 0.009986 0.011437 0.009569 0.007211 0.012020 0.005689 0.008388 0.006807 0.004962 0.005929 0.006120 0.016102 0.015582 0.016331 0.016157 0.021494 0.013448 0.016890 0.016206 0.010857 0.017980 0.008150 0.012992 0.013006 0.016565 0.007535 0.006160 0.017175 0.024884 0.018863 0.018696 0.012652 0.026661 0.008912 0.018385 0.007751 0.008357 0.015965 0.012340 0.015102 0.022456 0.013607 0.013246 0.015237 0.012498 0.008180 0.016014 0.011983 0.008322 0.016746 0.007106 0.007593 0.012948 0.011227 0.011964 0.011966 0.013652 0.011385 0.007650 0.018951 0.016115 0.016772 0.015684 0.018660 0.017412 0.015808 0.015918 0.011682 0.019121 0.008237 0.015162 0.013672 0.016113 0.007024 0.007279 0.013253 0.011019 0.013879 0.018546 0.015909 0.011954 0.011486 0.013651 0.011295 0.014321 0.007752 0.014419 0.016445 0.015250 0.015960 0.015301 0.016048 0.016755 0.013940 0.017673 0.017446 0.011185 0.017120 0.007895 0.015088 0.013577 0.017767 0.006848 0.008047 0.012659 0.010637 0.013958 0.016230 0.015262 0.011920 0.011560 0.012803 0.011471 0.013468 0.007764 0.013955 0.014579 0.016211 0.014602 0.015309 0.014728 0.015072 0.012462 0.014038 0.016771 0.016027 0.010988 0.016169 0.007993 0.014452 0.013664 0.017270 0.007172 0.006993 0.012396 0.010562 0.013116 0.015183 0.014933 0.011749 0.011209 0.013050 0.010789 0.012784 0.007157 0.013335 0.005282 0.005423 0.011358 0.010980 0.011565 0.007244 0.005488 0.011502 0.006270 0.006043 0.006363 0.017640 0.016639 0.017152 0.019543 0.018248 0.018006 0.011430 0.019871 0.008843 0.017811 0.007842 0.008129 0.014628 0.011721 0.015243 0.017396 0.013194 0.012645 0.014943 0.012527 0.008227 0.015657 0.016175 0.010734 0.007935 0.016193 0.006956 0.007723 0.013015 0.010907 0.011576 0.011453 0.013057 0.011166 0.008316 0.015804 0.014495 0.015556 0.015989 0.016570 0.016255 0.015450 0.015749 0.007474 0.016461 0.006888 0.007213 0.011995 0.010609 0.013340 0.014529 0.011351 0.010698 0.012715 0.010685 0.012338 0.007023 0.013446 0.010545 0.010072 0.015206 0.010295 0.007289 0.014389 0.006423 0.006586 0.011592 0.010232 0.010854 0.010493 0.012115 0.009979 0.007326 0.010034 0.010238 0.014785 0.010776 0.007250 0.013901 0.007263 0.006789 0.011121 0.009800 0.010503 0.010215 0.012156 0.010340 0.006941 0.009784 0.012338 0.006910 0.006184 0.007022 0.013780 0.009423 0.010025 0.009559 0.011521 0.009465 0.006473 0.005770 0.009802 0.011945 0.012118 0.006741 0.006008 0.005557 0.005361 0.009661 0.011269 0.010867 0.011388 0.012417 0.012075 0.013661 0.012370 0.010228 0.005365 0.007756 0.010983 0.011369 0.005699 0.006030 0.006360 0.018722 0.009305 0.011594 0.013249 0.012137 0.009939 0.009817 0.011202 0.009479 0.010090 0.006417 0.011976 0.006096 0.005535 0.005210 0.005160 0.005278 0.005694 0.006077 0.005441 0.011295 0.011844 0.005302 0.005211 0.012283 0.007308 0.005525 0.011492 0.005854 0.006363 0.010572 0.009147 0.011225 0.005267 0.005077 0.009371 0.011063 0.008875 0.009214 0.006450 0.011470 0.005108 0.004990 0.015033 0.006246 0.005386 0.005529 0.005914 0.006183 0.006151 0.005162 0.005297 0.005508 0.013114 0.006404 0.010960 0.005865 0.005651 0.010474 0.010270 0.015238 0.010216 0.007027 0.011900 0.013414 0.006892 0.006419 0.011254 0.009708 0.010394 0.010186 0.011595 0.010088 0.006724 0.012373 0.005906 0.004819 0.006042 0.006198 0.008965 0.009127 0.009006 0.006384 0.008285 0.005069 0.009211 0.006089 0.005911 0.005059 0.008228 0.005931 0.009873 0.008027 0.005652 0.006079 0.004972 0.004811 0.005790 0.006470 0.005094 0.008343 0.005610 0.008206 0.005491 0.009294 0.006624 0.005497 0.004984 0.006697 0.009588 0.007909 0.006712 0.005355 0.006041 0.006375 0.005562 0.005033 0.006338 0.017269 0.017960 0.011866 0.014090 0.012643 0.013329 0.008133 0.007175 0.017510 0.016209 0.012390 0.008767 0.019894 0.011533 0.017334 0.017513 0.011811 0.017192 0.008303 0.017467 0.017729 0.014782 0.009224 0.009007 0.010490 0.009179 0.005372 0.010739 0.010464 0.005952 0.005929 0.005188 0.006790 0.020018 0.008489 0.009822 0.005433 0.005416 0.005356 0.005442 0.006355 0.005198 0.008857 0.008968 0.008545 0.005547 0.008878 0.005227 0.009563 0.006439 0.005981 0.005255 0.008839 0.006664 0.013896 0.009065 0.005304 0.006214 0.005081 0.005460 0.008912 0.005648 0.005197 0.005727 0.009354 0.005846 0.005590 0.005148 0.005841 0.016965 0.005254 0.005959 0.005641 0.006511 0.011470 0.011995 0.012964 0.007692 0.007396 0.016142 0.012389 0.008602 0.011084 0.016467 0.019132 0.011661 0.007734 0.017012 0.017452 0.005099 0.008224 0.005144 0.005454 0.005785 0.005384 0.006462 0.014617 0.006120 0.005268 0.011702 0.011912 0.013027 0.007976 0.007165 0.016003 0.012081 0.008096 0.010858 0.016603 0.017881 0.011258 0.008255 0.016915 0.016590 0.012301 0.015065 0.010263 0.012600 0.010813 0.012415 0.013782 0.007164 0.006406 0.006161

total iso time: 14.578113
===============================================================================

print the content of the cache: 
c id: 2, level: 16, literals: 8, clauses: 7, size: 16, afterHit: 0, saved: 33, hits: 0, levelHits: [], isos: 15, levelIsos: [9,9,6,8,8,7,5,10,7,3,4,4,3,3,2]
c id: 1, level: 18, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 79, hits: 0, levelHits: [], isos: 27, levelIsos: [15,14,14,9,9,5,9,8,8,6,10,8,5,5,4,4,4,3,3,2,1,5,3,3,2,3,1]
c id: 3, level: 12, literals: 12, clauses: 10, size: 24, afterHit: 0, saved: 30, hits: 0, levelHits: [], isos: 8, levelIsos: [10,10,9,6,7,6,9,8]

restarts              : 1
conflicts             : 174            (1135 /sec)
decisions             : 480            (0.00 % random) (3130 /sec)
propagations          : 2085           (13597 /sec)
conflict literals     : 578            (15.25 % deleted)
components created    : 169
components cached     : 44
components hit        : 0
isomorphisms          : 50
conflicts saved       : 142
conflicts remaining   : 82
glasgow calls         : 1414
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.153343 s

UNSATISFIABLE
