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

iso times: 0.006561 0.006767 0.005907 0.006019 0.005977 0.004623 0.007971 0.007857 0.007426 0.007235 0.007068 0.006653 0.006526 0.006128 0.005934 0.004412 0.006447 0.006973 0.006185 0.006046 0.006066 0.006896 0.006457 0.005712 0.005429 0.005346 0.005682 0.006934 0.006155 0.006143 0.005871 0.007005 0.005770 0.005575 0.005772 0.005319 0.005429 0.004350 0.006133 0.007447 0.007563 0.007396 0.006317 0.007206 0.006840 0.007256 0.005948 0.006973 0.006387 0.007129 0.005867 0.006420 0.005755 0.006368 0.005830 0.005572 0.007021 0.006190 0.006729 0.005772 0.006331 0.005857 0.006154 0.005730 0.005570 0.006756 0.006489 0.006616 0.005637 0.006138 0.005973 0.005965 0.005581 0.005596 0.006704 0.006025 0.006897 0.006400 0.006984 0.007157 0.006395 0.006397 0.005843 0.006468 0.007053 0.006663 0.006587 0.006293 0.006097 0.006979 0.006081 0.005863 0.005715 0.005774 0.006570 0.006273 0.008099 0.007067 0.007295 0.006794 0.006604 0.005172 0.011044 0.007524 0.007663 0.010942 0.006407 0.007252 0.011299 0.006563 0.008059 0.010275 0.006424 0.006726 0.007908 0.010705 0.006264 0.008208 0.009927 0.005828 0.291474 0.008170 0.005445 0.008731 0.010866 0.006917 0.007694 0.008168 0.061799 0.006418 0.006949 0.008013 0.010167 0.006138 0.006823 0.008240 0.009726 0.006186 0.006606 0.007931 0.010140 0.005977 0.008721 0.010970 0.006701 0.007651 0.008125 0.058910 0.006228 0.007184 0.007745 0.036108 0.006417 0.006888 0.007773 0.012752 0.005654 0.007557 0.009265 0.005780 0.008044 0.010068 0.005807 0.006763 0.007744 0.009805 0.005999 0.007480 0.007761 0.014090 0.006105 0.006742 0.028865 0.005236 0.005390 0.015326 0.009859 0.007579 0.011383 0.005979 0.006621 0.009008 0.007280 0.008380 0.005653 0.006204 0.005205 0.011444 0.009925 0.005287 0.005751 0.010027 0.009661 0.005436 0.005925 0.256137 0.009610 0.005980 0.004990 0.203203 0.008337 0.005552 0.005859 0.019057 0.008684 0.007554 0.012072 0.010054 0.013440 0.015293 0.019325 0.008604 0.007472 0.011765 0.009573 0.013702 0.015445 0.017542 0.008344 0.007332 0.012278 0.009550 0.013782 0.014719 0.017413 0.008329 0.007546 0.011483 0.009292 0.013536 0.014409 0.016442 0.008168 0.007087 0.011406 0.009227 0.012756 0.013679 0.016043 0.007897 0.006997 0.011139 0.008902 0.012597 0.014003 0.015820 0.008414 0.006877 0.011016 0.009086 0.012331 0.013793 0.015159 0.007919 0.007080 0.010693 0.008810 0.012194 0.013433 0.019619 0.007604 0.006796 0.010449 0.008387 0.011618 0.012245 0.011570 0.018905 0.007616 0.006737 0.010193 0.008317 0.011065 0.019279 0.006120 0.005762 0.005482 0.011765 0.012302 0.014856 0.007877 0.006939 0.010451 0.008548 0.011553 0.013117 0.011343 0.011786 0.020208 0.008105 0.006891 0.010199 0.008607 0.010869 0.012116 0.014726 0.007206 0.006826 0.005517 0.013838 0.012780 0.011910 0.012599 0.015460 0.012819 0.007758 0.007232 0.010965 0.008779 0.012780 0.013850 0.013214 0.014882 0.012125 0.012058 0.012076 0.015190 0.012437 0.007810 0.006765 0.010452 0.008768 0.012343 0.013312 0.016187 0.006817 0.006218 0.009913 0.007907 0.016152 0.007313 0.006607 0.006129 0.013605 0.007636 0.009538 0.014081 0.005339 0.006484 0.006016 0.013216 0.007919 0.013355 0.007222 0.006842 0.006071 0.009299 0.007761 0.013989 0.009097 0.008670 0.008767 0.009957 0.010270 0.006547 0.006050 0.006220 0.014113 0.013969 0.013787 0.013137 0.012535 0.016462 0.012842 0.007994 0.006966 0.011941 0.009149 0.014128 0.013088 0.017833 0.016576 0.011811 0.008862 0.016793 0.006807 0.007609 0.022952 0.015326 0.011326 0.008631 0.010574 0.007009 0.007524 0.023618 0.015392 0.011527 0.008890 0.010544 0.006568 0.005884 0.016664 0.011594 0.008505 0.017113 0.006615 0.007368 0.024113 0.023760 0.011070 0.008070 0.015768 0.006363 0.007184 0.024386 0.013466 0.007748 0.009396 0.005853 0.006383 0.005271 0.012351 1.995225 0.013132 0.005659 0.005459 0.010988 0.007342 0.012775 0.005774 0.006118 0.010416 1.446221 0.011573 0.005450 0.005521 0.011930 0.009961 0.007436 0.008973 0.006416 0.006640 0.005217 0.010939 0.004761 0.005222 0.011496 0.009369 0.007314 0.011818 0.005624 0.005707 0.019562 0.012112 0.009233 0.011730 0.006931 0.006032 0.015414 0.009944 0.012013 0.007535 0.008475 0.029379 0.019707 0.012149 0.009229 0.011361 0.016365 0.007019 0.007900 0.025738 0.011336 0.013126 0.010806 0.008247 0.011792 0.013917 0.014106 0.006257 0.007679 0.018466 0.012253 0.011233 0.012921 0.010588 0.007981 0.012104 0.009534 0.013920 0.006199 0.006930 0.018675 0.012617 0.011585 0.010315 0.012125 0.010242 0.008054 0.013486 0.009847 0.013611 0.006458 0.007180 0.017713 0.010799 0.011350 0.011694 0.011615 0.828547 0.009372 0.005875 0.005850 0.011093 0.011198 0.010951 0.012753 0.010277 0.007729 0.011932 0.009261 0.013507 0.006469 0.006966 0.027017 0.011849 0.019572 0.007341 0.009199 0.005684 0.006416 0.005518 0.015697 0.007177 0.008789 0.005483 0.005855 0.015338 0.007415 0.016201 0.005657 0.006212 0.005592 0.012169 0.011404 0.016571 0.011619 0.009164 0.015904 0.015644 0.006879 0.005918 0.013319 0.013007 0.018163 0.015345 0.013190 0.009303 0.011422 0.017454 0.007320 0.008238 0.028475 0.018399 0.015262 0.009370 0.011772 0.007205 0.008123 0.028549 0.017470 0.015665 0.009135 0.011254 0.007229 0.007908 0.029302 0.011401 0.010877 0.010578 0.013790 0.011274 0.010250 0.010884 0.015208 0.010650 0.009987 0.007842 0.013144 0.009680 0.013996 0.006125 0.007887 0.016432 0.010838 0.009399 0.011932 0.011820 0.014291 0.007305 0.008735 0.005692 0.006127 0.005228 0.018109 0.016332 0.009550 0.011469 0.007190 0.008080 0.033133 0.012031 0.012776 0.012601 0.017341 0.015143 0.011898 0.008874 0.010875 0.016152 0.006885 0.007693 0.027573 0.013749 0.014836 0.014359 0.014008 0.015784 0.013189 0.014489 0.011927 0.008888 0.015043 0.010446 0.015382 0.006700 0.007663 0.024293 0.013851 0.007898 0.011351 0.011037 0.010785 0.013825 0.011514 0.010331 0.010916 0.012153 0.010672 0.010376 0.007762 0.013043 0.009449 0.013996 0.006486 0.006902 0.012311 0.010782 0.009357 0.011551 0.011995 0.011933 0.009381 0.011073 0.014398 0.006945 0.013494 0.005554 0.019102 0.012739 0.014240 0.017671 0.013040 0.018786 0.014296 0.013221 0.009811 0.017531 0.011939 0.018611 0.007588 0.008594 0.018556 0.016839 0.018581 0.018432 0.012646 0.013788 0.017221 0.013011 0.013036 0.018071 0.014683 0.012460 0.014048 0.012790 0.011857 0.009448 0.017037 0.016365 0.011873 0.019393 0.007869 0.008304 0.018038 0.016681 0.012927 0.014383 0.017942 0.015043 0.018233 0.012977 0.013278 0.016676 0.013065 0.017743 0.013765 0.013104 0.009455 0.016576 0.011389 0.017327 0.007314 0.007997 0.017862 0.024567 0.016948 0.015668 0.011507 0.012032 0.014426 0.011732 0.011542 0.015394 0.013132 0.011288 0.011165 0.011643 0.014390 0.011543 0.010535 0.008552 0.014462 0.014062 0.010262 0.016014 0.006550 0.007484 0.014366 0.016016 0.012183 0.011470 0.009630 0.011968 0.013755 0.014627 0.010561 0.012973 0.010235 0.010795 0.015569 0.011263 0.011829 0.014223 0.011159 0.015112 0.016720 0.011387 0.008228 0.015288 0.014825 0.010192 0.014700 0.006584 0.007364 0.013842 0.018933 0.014693 0.014646 0.014012 0.023716 0.010718 0.008157 0.014072 0.010221 0.006167 0.006929 0.023412 0.013546 0.013602 0.005436 0.017040 0.010201 0.007832 0.007666 0.009778 0.006268 0.007081 0.016065 0.005370 0.012180 0.005302 0.020915 0.778458 0.010309 0.006007 0.006116 0.015457 0.015340 0.016507 0.014271 0.013743 0.012579 0.015961 0.017123 0.008888 0.007054 0.011155 0.016923 0.016412 0.009029 0.017514 0.013250 0.016989 0.013718 0.012123 0.014305 0.017452 0.012498 0.013114 0.016416 0.015722 0.013250 0.012206 0.013729 0.011889 0.017303 0.012189 0.011695 0.012119 0.009169 0.010338 0.012387 0.006981 0.006293 0.009425 0.005575 0.012830 0.007804 0.010587 0.012515 0.017940 0.010426 0.010039 0.011019 0.010266 0.011097 0.012953 0.012371 0.010954 0.010988 0.009777 0.011252 0.006730 0.005780 0.008678 0.007556 0.009958 0.012103 0.010327 0.005039 0.005307 0.005445 0.005391 0.005988

total iso time: 15.031685
===============================================================================

print the content of the cache: 
c id: 1, level: 23, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 90, hits: 0, levelHits: [], isos: 35, levelIsos: [16,10,10,8,14,14,6,9,9,5,5,7,4,4,3,7,6,5,5,5,2,10,7,6,6,7,7,5,4,2,4,4,2,3,2]

restarts              : 1
conflicts             : 156            (1253 /sec)
decisions             : 484            (0.00 % random) (3888 /sec)
propagations          : 1776           (14266 /sec)
conflict literals     : 514            (16.01 % deleted)
components created    : 167
components cached     : 42
components hit        : 0
isomorphisms          : 35
conflicts saved       : 90
conflicts remaining   : 101
glasgow calls         : 865
aborted calls         : 1
Memory used           : 21.00 MB
CPU time              : 0.12449 s

UNSATISFIABLE
