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

iso times: 0.010145 0.009467 0.007554 0.007776 0.007431 0.007168 0.007344 0.007388 0.006782 0.007075 0.006830 0.007580 0.006833 0.006481 0.006465 0.006265 0.004677 0.007469 0.004146 0.007444 0.006796 0.006757 0.006911 0.006768 0.007027 0.006837 0.006208 0.006227 0.004558 0.008130 0.007705 0.007668 0.007096 0.007493 0.007004 0.007286 0.006876 0.007256 0.007019 0.007068 0.006666 0.006741 0.006645 0.006927 0.006015 0.008478 0.007791 0.008607 0.007655 0.007923 0.007710 0.007604 0.007233 0.007611 0.006959 0.007561 0.007144 0.007277 0.006682 0.007365 0.006831 0.007321 0.006522 0.007218 0.006979 0.007636 0.006372 0.007034 0.006986 0.006688 0.006445 0.006977 0.006752 0.006607 0.006632 0.006346 0.006299 0.004147 0.008422 0.007538 0.008080 0.007933 0.007868 0.007193 0.007327 0.007513 0.007254 0.007120 0.007080 0.006760 0.006960 0.006470 0.006761 0.006497 0.007212 0.006255 0.007122 0.006230 0.006819 0.005969 0.004968 0.007146 0.004288 0.007339 0.008994 0.007375 0.008128 0.006665 0.007407 0.006474 0.006752 0.006118 0.006757 0.005894 0.006209 0.004577 0.009412 0.006367 0.007115 0.006426 0.006968 0.009580 0.006212 0.007254 0.006228 0.007017 0.007681 0.005957 0.004656 0.007752 0.008423 0.006768 0.004457 0.007939 0.006469 0.006632 0.006441 0.007049 0.007822 0.010031 0.008214 0.006912 0.004943 0.008207 0.009234 0.008400 0.007486 0.007849 0.008134 0.009192 0.010398 0.007917 0.009387 0.008214 0.007352 0.007174 0.008273 0.009147 0.010035 0.007506 0.008601 0.007512 0.007111 0.006792 0.007519 0.008668 0.009067 0.007336 0.008433 0.007458 0.006813 0.007551 0.007475 0.008598 0.009796 0.007520 0.008056 0.007475 0.006699 0.006574 0.007346 0.008052 0.009110 0.007006 0.008218 0.006924 0.006961 0.006292 0.006931 0.007967 0.008903 0.006935 0.007855 0.006478 0.006089 0.006417 0.006917 0.007870 0.008692 0.006579 0.007956 0.006627 0.006524 0.006343 0.006771 0.007581 0.008880 0.006665 0.007651 0.006266 0.005912 0.006422 0.006865 0.007746 0.008128 0.006278 0.004693 0.009895 0.007417 0.008366 0.007587 0.006798 0.007229 0.007626 0.008603 0.009879 0.010252 0.007509 0.008520 0.007100 0.006711 0.006967 0.007884 0.008461 0.008966 0.010312 0.007513 0.008266 0.006961 0.006583 0.007033 0.007360 0.008548 0.009264 0.009550 0.007494 0.008203 0.007279 0.006731 0.007254 0.007162 0.008333 0.009253 0.010838 0.007307 0.008538 0.007121 0.007216 0.006538 0.007963 0.008606 0.009012 0.010503 0.007066 0.010111 0.007966 0.008237 0.007227 0.007089 0.006602 0.007742 0.008554 0.009022 0.010231 0.007448 0.010516 0.007081 0.007631 0.007017 0.006271 0.006478 0.007095 0.008110 0.008483 0.010212 0.006839 0.009643 0.007518 0.007608 0.006777 0.006340 0.006203 0.006845 0.008104 0.007949 0.008928 0.006588 0.007554 0.006152 0.005502 0.011631 0.009438 0.007808 0.008697 0.007980 0.007662 0.007124 0.008257 0.008830 0.010190 0.011101 0.009213 0.007990 0.008857 0.008263 0.007180 0.007856 0.008583 0.008810 0.008904 0.010768 0.010001 0.007643 0.009115 0.007398 0.007172 0.006989 0.007798 0.008655 0.010265 0.010625 0.008965 0.007442 0.008510 0.007606 0.006907 0.007066 0.007994 0.008305 0.010617 0.009728 0.008888 0.007285 0.008196 0.006631 0.006679 0.006847 0.006962 0.008493 0.008404 0.009263 0.008276 0.006443 0.007198 0.006281 0.005507 0.011102 0.009312 0.008762 0.006653 0.008547 0.006417 0.006277 0.006495 0.007244 0.008575 0.008538 0.010957 0.009687 0.008602 0.006535 0.007739 0.006546 0.006102 0.006058 0.006569 0.007497 0.008652 0.012483 0.012197 0.010533 0.009157 0.007096 0.008628 0.006884 0.006592 0.006705 0.007431 0.008291 0.010264 0.013022 0.011986 0.010897 0.009202 0.007769 0.008342 0.007318 0.006632 0.006840 0.007731 0.008200 0.008050 0.012583 0.011176 0.010153 0.010329 0.006857 0.007689 0.006465 0.006325 0.006717 0.006559 0.009003 0.008645 0.011857 0.011441 0.010593 0.009519 0.006706 0.007424 0.006255 0.005890 0.006146 0.006621 0.008898 0.008287 0.011289 0.010490 0.010330 0.009219 0.006568 0.007321 0.006471 0.006462 0.006069 0.007189 0.008904 0.008850 0.012245 0.011541 0.010161 0.009735 0.006142 0.007322 0.006045 0.005968 0.005627 0.006405 0.007411 0.007730 0.010810 0.010268 0.009380 0.009329 0.006369 0.007309 0.006322 0.006295 0.005769 0.006281 0.007188 0.007261 0.012270 0.011577 0.010172 0.008871 0.006460 0.007493 0.006690 0.006124 0.006097 0.006613 0.008551 0.008571 0.011522 0.010782 0.010484 0.008988 0.006644 0.006979 0.006265 0.005960 0.006116 0.007175 0.008430 0.008192 0.011538 0.010048 0.009832 0.008859 0.006204 0.007179 0.006614 0.005758 0.005806 0.006027 0.008320 0.007850 0.010636 0.010156 0.009061 0.008870 0.006265 0.006734 0.006232 0.005676 0.005783 0.005993 0.007359 0.007401 0.010831 0.010717 0.010338 0.009116 0.006228 0.007506 0.006157 0.006186 0.006111 0.006357 0.008567 0.008188 0.011220 0.010716 0.010052 0.009007 0.006596 0.007011 0.006426 0.005704 0.005960 0.006138 0.008561 0.007770 0.010648 0.010146 0.009680 0.008636 0.006117 0.007485 0.006177 0.006387 0.005823 0.006041 0.008176 0.007867 0.011415 0.010198 0.009264 0.009214 0.006541 0.006591 0.005840 0.005515 0.005964 0.006015 0.007088 0.007708 0.009036 0.009747 0.009445 0.008922 0.005999 0.006502 0.005518 0.006309 0.005930 0.006112 0.007184 0.006968 0.005440 0.004604 0.008038 0.008444 0.005981 0.006761 0.005618 0.005557 0.011121 0.010603 0.009802 0.008385 0.007158 0.007083 0.007071 0.006002 0.006133 0.006380 0.008375 0.008647 0.011864 0.010505 0.009802 0.008872 0.006585 0.007690 0.006166 0.006498 0.006140 0.006360 0.009012 0.008054 0.011723 0.010360 0.009089 0.009320 0.006502 0.007067 0.005844 0.011093 0.009523 0.007834 0.008950 0.007584 0.007505 0.006976 0.007577 0.009018 0.009197 0.013746 0.012746 0.011542 0.010360 0.007377 0.009036 0.007353 0.007518 0.006844 0.007614 0.008431 0.010056 0.013160 0.012721 0.010950 0.009475 0.007351 0.008549 0.007576 0.006731 0.006946 0.007389 0.008455 0.008888 0.012639 0.011981 0.010712 0.009181 0.007321 0.007960 0.006834 0.006591 0.007121 0.006966 0.008528 0.008200 0.012574 0.011059 0.009914 0.008879 0.006756 0.008513 0.007248 0.006290 0.006358 0.006958 0.008317 0.007963 0.011066 0.010397 0.009594 0.008520 0.006413 0.007752 0.006384 0.005663 0.006248 0.006096 0.007364 0.007286 0.010407 0.010086 0.009158 0.008034 0.006153 0.007180 0.006229 0.005867 0.005772 0.006334 0.007233 0.007026 0.009211 0.009328 0.008879 0.008411 0.006087 0.006577 0.005568 0.005377 0.005234 0.005713 0.007671 0.006331 0.005284 0.008072 0.007707 0.005669 0.006142 0.005456 0.005381 0.005329 0.012258 0.012805 0.011599 0.010451 0.009106 0.006983 0.008397 0.007052 0.006885 0.007031 0.007561 0.008673 0.008828 0.011381 0.012290 0.015558 0.011077 0.009396 0.009274 0.007395 0.008211 0.006511 0.006120 0.006957 0.007312 0.008012 0.007984 0.012137 0.010593 0.009555 0.008427 0.006443 0.007413 0.006075 0.005791 0.005721 0.006501 0.007473 0.007011 0.009793 0.009907 0.008620 0.008251 0.005703 0.006363 0.005577 0.006245 0.005553 0.006243 0.006750 0.006572 0.004797 0.005769 0.005266 0.005572 0.005250 0.005251 0.005524 0.005212 0.005578 0.005391 0.004644 0.005707 0.005048 0.006054 0.004826 0.004795 0.005511 0.005174 0.006033 0.005291 0.005379 0.005323 0.005367 0.005458 0.005237 0.004885 0.005529 0.005602 0.006322 0.005128 0.004795 0.005011 0.004938 0.012587 0.011015 0.009407 0.008615 0.006565 0.007432 0.006321 0.006420 0.005863 0.006653 0.007311 0.008748 0.005482 0.004927 0.008183 0.008495 0.006010 0.006894 0.005938 0.005414 0.005225 0.005940 0.006823 0.006139 0.004734 0.006508 0.005642 0.005524 0.005021 0.004967 0.004924 0.005221 0.006094 0.005995 0.005376 0.005185 0.005225 0.004817 0.004641 0.005368 0.004960 0.005492 0.005848 0.005400 0.004952 0.005761 0.005114 0.004891 0.004561 0.004922 0.005744 0.006010 0.005192 0.004609 0.004920 0.004697 0.004783 0.004646 0.004532 0.005456 0.005237 0.004615 0.012147 0.010518 0.008903 0.008365 0.006206 0.007588 0.006594 0.006442 0.005845 0.006598 0.007773 0.007937 0.004704 0.005295 0.007915 0.008057 0.005881 0.006639 0.005399 0.005655 0.005576 0.005910 0.007245 0.006369 0.005483 0.005193 0.006121 0.004948 0.004658 0.005223 0.004963 0.005580 0.005818 0.005229 0.005487 0.005386 0.004911 0.004913 0.004596 0.004964 0.005593 0.005100 0.005112 0.005313 0.005036 0.004771 0.004677 0.004838 0.005129 0.005725 0.004991 0.004607 0.004702 0.004822 0.004420 0.005310 0.005266 0.005363 0.004869 0.004981 0.005635 0.005143 0.005376 0.004841 0.005777 0.011378 0.010927 0.008941 0.008460 0.006690 0.006935 0.005863 0.006528 0.016689 0.014957 0.008558 0.007184 0.006590 0.007624 0.007504 0.007448 0.009921 0.011535 0.012393 0.008490 0.013118 0.015753 0.012477 0.010334 0.007853 0.006989 0.006364 0.006466 0.006648 0.006988 0.009829 0.010567 0.011651 0.008814 0.012474 0.014341 0.011812 0.009641 0.013694 0.013073 0.007701 0.006652 0.006691 0.006303 0.006615 0.006811 0.010321 0.010163 0.011322 0.008103 0.012007 0.012790 0.011217 0.009030 0.013382 0.013462 0.008185 0.007358 0.006081 0.006300 0.007510 0.006749 0.009317 0.010245 0.011459 0.008158 0.012301 0.012973 0.011108 0.009461 0.014003 0.005652 0.007912 0.006475 0.005699 0.006093 0.005762 0.006048 0.015499 0.008412 0.007335 0.006522 0.006575 0.007006 0.008065 0.010112 0.011235 0.012497 0.009074 0.013269 0.014894 0.012790 0.010206 0.014884 0.008014 0.007210 0.006618 0.007031 0.007025 0.006943 0.008697 0.010901 0.012364 0.008607 0.013118 0.014387 0.012414 0.009710 0.014181 0.013745 0.013645 0.007758 0.006805 0.007148 0.006479 0.007148 0.006717 0.009627 0.010983 0.011782 0.008345 0.012526 0.013488 0.011457 0.010124 0.014202 0.007606 0.006541 0.005704 0.005620 0.005957 0.006056 0.006891 0.006632 0.005268 0.005506 0.005897 0.006440 0.015382 0.014662 0.014941 0.013489 0.008555 0.007767 0.006411 0.006364 0.006720 0.006987 0.008902 0.010274 0.012040 0.009665 0.013062 0.014363 0.014994 0.011795 0.011164 0.014058 0.014551 0.013650 0.013883 0.013741 0.008132 0.006786 0.006517 0.006421 0.006726 0.007393 0.009599 0.010612 0.011385 0.009541 0.012721 0.013615 0.013350 0.011554 0.010435 0.013888 0.013978 0.012274 0.013611 0.011756 0.008393 0.006683 0.006407 0.006505 0.006487 0.007032 0.007415 0.010585 0.010972 0.008636 0.012492 0.013186 0.012358 0.011796 0.010242 0.013344 0.014971 0.013964 0.014311 0.013209 0.008175 0.007009 0.006624 0.006238 0.006863 0.006918 0.008740 0.007891 0.007297 0.007452 0.007702 0.007724 0.009031 0.011400 0.009291 0.008877 0.008821 0.007172 0.006878 0.006954 0.007827 0.007570 0.008362 0.010601 0.013349 0.008291 0.013003 0.008675 0.005271 0.005130 0.005420 0.012415 0.007321 0.006563 0.005774 0.005902 0.006654 0.006946 0.007475 0.006588 0.005759 0.006052 0.009030 0.007865 0.007072 0.007067 0.007437 0.007754 0.008773 0.011002 0.012518 0.009648 0.013295 0.009488 0.008126 0.007194 0.006715 0.006593 0.007641 0.007232 0.008354 0.010248 0.016242 0.012490 0.008596 0.012799 0.009027 0.008508 0.007285 0.006794 0.006952 0.007586 0.007273 0.008352 0.010356 0.012555 0.008482 0.013295 0.008896 0.017366 0.008049 0.007552 0.006999 0.007083 0.007022 0.006948 0.008167 0.010320 0.015916 0.012140 0.008673 0.012855 0.008694 0.016688 0.014607 0.008317 0.007451 0.006437 0.006362 0.006967 0.006856 0.007797 0.009966 0.015502 0.011996 0.008918 0.012803 0.015287 0.008587 0.007630 0.007119 0.006289 0.006285 0.006785 0.007008 0.007794 0.010549 0.011786 0.008717 0.012049 0.007722 0.007098 0.006246 0.006048 0.005886 0.006460 0.006224 0.008539 0.009412 0.010329 0.007749 0.007949 0.016539 0.015589 0.015163 0.014507 0.008070 0.015710 0.006872 0.006824 0.006563 0.006825 0.007174 0.007724 0.009969 0.011412 0.008065 0.012056 0.014081 0.011745 0.008834 0.006917 0.006142 0.005754 0.005760 0.006510 0.006261 0.007127 0.008965 0.010299 0.007559 0.010898 0.007691 0.006505 0.006113 0.005788 0.005769 0.006226 0.006155 0.006578 0.008661 0.004904 0.006525 0.005273 0.007407 0.006884 0.005865 0.005837 0.005026 0.005548 0.005696 0.006213 0.008057 0.006192 0.007662 0.011706 0.014675 0.013954 0.007621 0.015201 0.006903 0.006368 0.006275 0.006717 0.007154 0.007885 0.009742 0.011357 0.008013 0.011706 0.013180 0.011264 0.007684 0.014720 0.007708 0.006608 0.006622 0.006118 0.006412 0.006532 0.007950 0.010086 0.011059 0.008178 0.011224 0.013336 0.008323 0.006256 0.005687 0.005573 0.005229 0.005741 0.005457 0.005925 0.008289 0.006231 0.007862 0.006347 0.005606 0.005532 0.005029 0.005399 0.005512 0.006187 0.007840 0.006106 0.007161 0.006102 0.005705 0.005114 0.005538 0.005130 0.006235 0.006607 0.005407 0.005385 0.004996 0.005546 0.006024 0.006360 0.008560 0.006529 0.007558 0.006728 0.005890 0.005330 0.005181 0.005605 0.005293 0.006642 0.007764 0.006296 0.007043 0.006202 0.005291 0.005049 0.005187 0.005822 0.006208 0.005213 0.004956 0.006161 0.007055 0.005609 0.006573 0.006799 0.005645 0.005493 0.005453 0.005518 0.005718 0.006413 0.005138 0.006018 0.004767 0.008236 0.012769 0.016877 0.008299 0.006826 0.015326 0.007243 0.006830 0.007104 0.007242 0.008160 0.010763 0.015902 0.012280 0.008058 0.012389 0.009914 0.008003 0.006841 0.006626 0.006728 0.006637 0.007523 0.007687 0.010442 0.011620 0.007933 0.012785 0.008380 0.006788 0.005669 0.005420 0.006108 0.005496 0.005928 0.006401 0.006708 0.007264 0.006590 0.005961 0.005344 0.005737 0.005769 0.005953 0.008034 0.008384 0.006899 0.007437 0.012872 0.016381 0.008381 0.006892 0.006353 0.006379 0.006593 0.006814 0.007713 0.010283 0.015617 0.011668 0.008080 0.012078 0.008769 0.006609 0.005980 0.005616 0.006116 0.005804 0.005829 0.006951 0.007992 0.006476 0.007628 0.006608 0.006000 0.005607 0.005144 0.005653 0.006631

total iso time: 11.812651
===============================================================================

print the content of the cache: 
c id: 3, level: 15, literals: 12, clauses: 10, size: 24, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 2, levelIsos: [7,2]
c id: 4, level: 23, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 12, hits: 0, levelHits: [], isos: 4, levelIsos: [3,2,1,3]
c id: 1, level: 11, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 10, hits: 0, levelHits: [], isos: 6, levelIsos: [15,12,11,10,9,8]
c id: 2, level: 13, literals: 8, clauses: 7, size: 16, afterHit: 0, saved: 76, hits: 0, levelHits: [], isos: 20, levelIsos: [12,14,2,2,4,5,6,9,9,9,5,3,4,5,4,3,2,5,5,1]
c id: 8, level: 2, literals: 12, clauses: 10, size: 24, afterHit: 0, saved: 10, hits: 0, levelHits: [], isos: 4, levelIsos: [9,4,4,4]

restarts              : 1
conflicts             : 135            (775 /sec)
decisions             : 548            (0.00 % random) (3144 /sec)
propagations          : 1727           (9909 /sec)
conflict literals     : 414            (13.93 % deleted)
components created    : 202
components cached     : 33
components hit        : 0
isomorphisms          : 36
conflicts saved       : 112
conflicts remaining   : 59
glasgow calls         : 1488
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.174291 s

UNSATISFIABLE
