/data/SAT/sat-2002-beta/submitted/pehoushek/graphcolors3/3col40_5_10.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 |          |
===============================================================================
|       100 |      65      327     1202 |      119      100      3 | 19.048 % |

iso times: 0.009678 0.005571 0.008530 0.007821 0.007456 0.007777 0.007384 0.007470 0.007494 0.006875 0.007314 0.007094 0.008901 0.008754 0.008385 0.008258 0.008338 0.008054 0.008696 0.008282 0.010144 0.008840 0.007990 0.008385 0.007756 0.007762 0.007020 0.007376 0.007548 0.007293 0.006950 0.006879 0.006593 0.007080 0.006467 0.008715 0.008712 0.008384 0.008317 0.008213 0.008360 0.007720 0.008479 0.008310 0.007793 0.007443 0.007457 0.007465 0.008162 0.007414 0.007160 0.007392 0.007197 0.007006 0.006710 0.006842 0.006556 0.006766 0.006470 0.006698 0.006748 0.006537 0.006443 0.006440 0.004408 0.006230 0.007056 0.007975 0.007531 0.006595 0.007463 0.007543 0.006683 0.007102 0.007363 0.006415 0.007112 0.006829 0.007347 0.006684 0.006678 0.004590 0.006983 0.004575 0.015197 0.010040 0.009110 0.008047 0.008380 0.008720 0.022498 0.010896 0.009733 0.007814 0.008026 0.022016 0.010818 0.009850 0.007589 0.007902 0.008462 0.033837 0.015366 0.011889 0.007432 0.007769 0.031525 0.013377 0.007970 0.034097 0.014103 0.011879 0.007788 0.008224 0.032198 0.013977 0.011305 0.006984 0.007829 0.027871 0.012473 0.009717 0.006841 0.007274 0.031805 0.015662 0.012100 0.007541 0.007775 0.027980 0.014470 0.011233 0.007284 0.007725 0.008126 0.010182 0.017121 0.011205 0.006723 0.007356 0.022369 0.013261 0.009219 0.006791 0.007736 0.034890 0.029383 0.007098 0.010411 0.016684 0.010962 0.006778 0.007425 0.021462 0.012370 0.008764 0.006582 0.007105 0.030915 0.018028 0.010147 0.006288 0.006855 0.039543 0.020205 0.011699 0.006609 0.006378 0.006763 0.042950 0.040387 0.006121 0.010028 0.015906 0.010497 0.006877 0.007758 0.008204 0.018678 0.011524 0.008771 0.006362 0.007097 0.007148 0.028575 0.017735 0.010260 0.007020 0.006528 0.006962 0.039973 0.021783 0.011845 0.006121 0.006592 0.050637 0.026224 0.013814 0.005869 0.006433 0.007039 0.042267 0.022333 0.012326 0.006012 0.006306 0.006319 0.008285 0.056225 0.006283 0.028985 0.016151 0.012014 0.007892 0.008105 0.008260 0.025298 0.014241 0.010762 0.006940 0.007487 0.008655 0.024871 0.013975 0.010947 0.007171 0.007080 0.007405 0.009443 0.014855 0.010077 0.006681 0.007313 0.007763 0.016427 0.011298 0.008526 0.006537 0.007294 0.006856 0.024951 0.016400 0.010733 0.006903 0.006885 0.006758 0.026980 0.025902 0.010940 0.006052 0.006867 0.007580 0.039909 0.034592 0.012499 0.006254 0.006394 0.045821 0.039047 0.014098 0.005956 0.006398 0.006259 0.007866 0.073514 0.006368 0.022055 0.015705 0.009717 0.005950 0.006266 0.006785 0.023685 0.024747 0.010404 0.006072 0.006516 0.006456 0.035606 0.032969 0.012647 0.006695 0.006720 0.006838 0.042636 0.055348 0.016271 0.006359 0.006372 0.047421 0.054350 0.016667 0.005991 0.006301 0.006386 0.007462 0.008778 0.005760 0.026095 0.016195 0.010226 0.006351 0.006638 0.006450 0.033165 0.023648 0.012395 0.005627 0.006627 0.006323 0.039346 0.036550 0.014795 0.005663 0.005910 0.006185 0.055040 0.046893 0.006242 0.030244 0.026228 0.011681 0.005456 0.014418 0.010653 0.009622 0.007985 0.008012 0.008501 0.013389 0.009979 0.008903 0.007593 0.008356 0.008530 0.012396 0.009291 0.008738 0.007633 0.007807 0.008147 0.015814 0.009867 0.008923 0.007100 0.007866 0.008380 0.019429 0.010702 0.009017 0.006955 0.007788 0.007781 0.023291 0.011811 0.009502 0.007001 0.007146 0.007385 0.019070 0.010776 0.008846 0.007103 0.007080 0.007236 0.018165 0.010483 0.008554 0.006908 0.007125 0.007429 0.030534 0.021015 0.011432 0.006208 0.006869 0.006835 0.040868 0.037343 0.015162 0.006273 0.007587 0.006640 0.044529 0.044592 0.006752 0.052787 0.032968 0.018223 0.006035 0.006583 0.006529 0.051622 0.036070 0.006321 0.046352 0.027357 0.015192 0.006068 0.006490 0.006454 0.050927 0.033858 0.006398 0.044283 0.035744 0.006058 0.005416 0.010369 0.007235 0.006789 0.006222 0.013294 0.039166 0.036485 0.012531 0.007243 0.007012 0.006213 0.012271 0.028797 0.032311 0.010872 0.010074 0.007201 0.006534 0.006462 0.010192 0.010795 0.019713 0.029863 0.010592 0.010181 0.006638 0.006404 0.006147 0.011231 0.010086 0.027538 0.010204 0.024507 0.009872 0.009234 0.006106 0.006741 0.005684 0.011732 0.009519 0.027333 0.009855 0.031920 0.009037 0.008649 0.006304 0.005908 0.005980 0.006096 0.006024 0.015342 0.049700 0.037392 0.005902 0.005973 0.017607 0.049931 0.048042 0.005801 0.005394 0.005220 0.005859 0.005292 0.016902 0.038654 0.045037 0.006193 0.005268 0.005521 0.005399 0.005384 0.006009 0.005560 0.014739 0.055129 0.032015 0.012765 0.018902 0.011497 0.011611 0.015554 0.014671 0.013211 0.007953 0.008067 0.007103 0.009354 0.014701 0.010592 0.015796 0.019322 0.011797 0.015360 0.011483 0.010930 0.013385 0.013027 0.012329 0.007260 0.006893 0.006815 0.007965 0.012905 0.009451 0.014144 0.013736 0.010190 0.010700 0.010743 0.010329 0.009433 0.010245 0.006992 0.006519 0.005627 0.011738 0.010883 0.011670 0.011263 0.010041 0.011145 0.010629 0.011256 0.007063 0.006713 0.006506 0.009668 0.010512 0.016460 0.011247 0.023987 0.010610 0.010353 0.010809 0.010556 0.009826 0.009534 0.010503 0.006885 0.006501 0.005890 0.011187 0.009583 0.015617 0.010430 0.026288 0.010710 0.022863 0.010259 0.006080 0.006538 0.006758 0.010670 0.020363 0.009901 0.010279 0.011334 0.010193 0.011118 0.011410 0.011784 0.010777 0.011333 0.009691 0.027396 0.009365 0.006389 0.006128 0.006091 0.009473 0.009678 0.035019 0.009630 0.005858 0.006726 0.006274 0.010117 0.028576 0.012045 0.009466 0.009572 0.008906 0.009732 0.010457 0.010398 0.009621 0.010016 0.045364 0.005700 0.005558 0.005581 0.009191 0.009561 0.035673 0.009381 0.006120 0.006424 0.006281 0.009357 0.034823 0.013203 0.008786 0.010336 0.009205 0.009122 0.009273 0.010250 0.010313 0.009594 0.009513 0.044015 0.006477 0.007011 0.005967 0.020063 0.016311 0.013908 0.020079 0.013578 0.013392 0.009637 0.014139 0.007615 0.008100 0.008322 0.013394 0.012486 0.008775 0.013973 0.015027 0.014904 0.011777 0.015118 0.012602 0.017667 0.013459 0.014117 0.013842 0.016746 0.014118 0.013316 0.016837 0.011681 0.012038 0.016436 0.011764 0.007389 0.007423 0.008167 0.012729 0.016287 0.009796 0.011299 0.013052 0.012637 0.010955 0.012544 0.011454 0.012559 0.011835 0.012559 0.053020 0.005659 0.005511 0.016287 0.015715 0.031021 0.021598 0.015140 0.014364 0.021808 0.012574 0.012533 0.010367 0.015824 0.007484 0.007883 0.008670 0.013300 0.021767 0.016821 0.009119 0.014809 0.014172 0.016741 0.011744 0.016706 0.012881 0.019851 0.013248 0.013160 0.015313 0.014808 0.024711 0.017820 0.014716 0.013050 0.017483 0.012764 0.012407 0.009181 0.013417 0.006784 0.007543 0.007615 0.012840 0.016730 0.012880 0.008059 0.013283 0.014125 0.014309 0.010980 0.014503 0.011878 0.015926 0.012347 0.013072 0.012074 0.013225 0.012223 0.014653 0.013368 0.012126 0.011541 0.013000 0.010141 0.010619 0.011534 0.013614 0.006006 0.006318 0.007173 0.011446 0.014165 0.023771 0.009993 0.013127 0.014526 0.009828 0.015102 0.010199 0.016841 0.011267 0.010782 0.011431 0.012158 0.011795 0.005538 0.011979 0.011844 0.010923 0.011502 0.009821 0.009889 0.018617 0.009490 0.005887 0.005974 0.006467 0.009972 0.005012 0.027267 0.010063 0.009299 0.009593 0.009614 0.009970 0.013954 0.011079 0.010346 0.010327 0.010500 0.010893 0.005324 0.010971 0.004958 0.011496 0.010969 0.010936 0.011806 0.009829 0.009866 0.015207 0.009421 0.005479 0.006034 0.006708 0.009885 0.005867 0.007406 0.010318 0.009756 0.010216 0.008934 0.009734 0.013154 0.010459 0.010002 0.009997 0.004935 0.005211 0.008436 0.016175 0.009015 0.005294 0.005933 0.006004 0.004809 0.006315 0.011411 0.008364 0.008860 0.008754 0.009999 0.008389 0.004802 0.008973 0.005107 0.004726 0.006493 0.007882 0.005541 0.005700 0.005392 0.006388 0.010387 0.007832 0.004667 0.007975 0.004917 0.004755 0.005145 0.020935 0.005019 0.005505 0.005741 0.006305 0.009224 0.004693 0.043056 0.004815 0.005268 0.005192 0.005866 0.006282 0.011433 0.004992 0.004651 0.004909 0.004912 0.005231 0.004748 0.005295 0.007748 0.005269 0.005741 0.004612 0.004951 0.005857 0.005261 0.005949 0.005748 0.004783 0.004856 0.004872 0.004942 0.018121 0.005221 0.005262 0.005150 0.005919 0.011806 0.005144 0.005095 0.006190 0.004818 0.005339 0.005168 0.005410 0.005840 0.005639 0.005238 0.005174 0.004785 0.006668 0.005066 0.005855 0.005730 0.005152 0.005585 0.004601 0.005275 0.005270 0.005616 0.005768 0.005453 0.004582 0.005644 0.004963 0.004957 0.005012 0.005791 0.005668 0.005521 0.004881 0.005042 0.005585 0.005060 0.006101 0.005111 0.005927 0.005248 0.005083 0.005621 0.005341 0.005154 0.004931 0.005302 0.005104 0.005268 0.005862 0.004823 0.005171 0.005241 0.005521 0.005064 0.005140 0.004990 0.004884 0.005500 0.005272 0.005061 0.005024 0.005018 0.005116 0.005128 0.005562 0.004500 0.004965 0.004393 0.004547 0.005228 0.004561 0.004693 0.004873 0.005814 0.004841 0.004272 0.004474 0.004437 0.004726 0.004860 0.004299 0.004265 0.004466 0.004500 0.004660 0.004340 0.004544 0.004582 0.005189 0.004791 0.005188 0.005219 0.005548 0.004775 0.004935 0.004846 0.004875 0.005318 0.005206 0.004700 0.004240 0.005723 0.004311 0.009114 0.012292 0.012303 0.012922 0.011966 0.014896 0.013232 0.011808 0.010956 0.013130 0.010018 0.010156 0.010652 0.009242 0.012358 0.005908 0.006210 0.006655 0.010974 0.014174 0.018508 0.008346 0.011963 0.012876 0.009324 0.013054 0.009986 0.014268 0.011317 0.010955 0.007824 0.005027 0.004942 0.008200 0.005328 0.026543 0.008171 0.005682 0.005708 0.005502 0.005062 0.006947 0.013893 0.008046 0.008816 0.008424 0.004699 0.008640 0.005016 0.004975 0.005145 0.007696 0.005048 0.004958 0.021608 0.008222 0.005428 0.005795 0.005486 0.006330 0.012368 0.008244 0.004816 0.008447 0.005172 0.005331 0.004860 0.004716 0.004694 0.005667 0.007403 0.004735 0.004751 0.005191 0.004974 0.006312 0.004757 0.005572 0.005536 0.005380 0.004826 0.006305 0.005740 0.005157 0.004846 0.004695 0.005155 0.004803 0.004799 0.004690 0.004817 0.005398 0.005223 0.006032 0.016691 0.010803 0.015775 0.013291 0.013401 0.016169 0.014281 0.013525 0.016863 0.017048 0.013321 0.012308 0.016666 0.011634 0.011277 0.016771 0.020638 0.011262 0.006517 0.007497 0.007122 0.011720 0.016455 0.009488 0.011859 0.010943 0.012880 0.011237 0.010609 0.011885 0.011402 0.016761 0.012335 0.011743 0.012412 0.016040 0.010157 0.014898 0.012866 0.013121 0.015736 0.013597 0.013293 0.016775 0.015492 0.012781 0.012397 0.015391 0.011186 0.011234 0.012376 0.020644 0.011003 0.006333 0.006698 0.007126 0.012117 0.015842 0.008873 0.011669 0.010776 0.012411 0.011279 0.010393 0.011390 0.010798 0.015817 0.012572 0.011393 0.011836 0.015401 0.009904 0.014750 0.013052 0.012683 0.015164 0.013908 0.012747 0.015981 0.014660 0.012255 0.012304 0.014455 0.011042 0.011245 0.011349 0.007972 0.010555 0.006951 0.007072 0.006828 0.011489 0.015742 0.008883 0.016037 0.010755 0.011763 0.011021 0.010347 0.011250 0.010769 0.015788 0.011837 0.011714 0.011016

total iso time: 13.653540
===============================================================================

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

restarts              : 1
conflicts             : 116            (816 /sec)
decisions             : 390            (0.00 % random) (2743 /sec)
propagations          : 1293           (9094 /sec)
conflict literals     : 350            (14.00 % deleted)
components created    : 171
components cached     : 37
components hit        : 0
isomorphisms          : 34
conflicts saved       : 80
conflicts remaining   : 70
glasgow calls         : 1183
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.14218 s

UNSATISFIABLE
