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

iso times: 0.008117 0.005906 0.007154 0.007964 0.007424 0.007932 0.007467 0.007726 0.007611 0.008044 0.006967 0.007388 0.006498 0.008752 0.008003 0.008413 0.007944 0.008552 0.007874 0.008216 0.007535 0.007594 0.007272 0.007399 0.007018 0.006981 0.004403 0.007540 0.007778 0.008346 0.007531 0.007478 0.008136 0.007539 0.007563 0.007914 0.007314 0.007146 0.007689 0.007124 0.007247 0.007742 0.006994 0.007164 0.007511 0.006794 0.006594 0.006984 0.006341 0.006555 0.006948 0.006300 0.006214 0.006492 0.004484 0.007174 0.007048 0.008541 0.007750 0.007008 0.007267 0.008602 0.007389 0.007011 0.006812 0.008810 0.007479 0.006569 0.006695 0.008871 0.007230 0.006429 0.007020 0.009546 0.006954 0.006693 0.006904 0.011243 0.006850 0.006921 0.006789 0.008640 0.007579 0.006477 0.006314 0.009157 0.007054 0.006201 0.006709 0.006573 0.009297 0.006575 0.007458 0.007960 0.009119 0.008363 0.007144 0.007209 0.008610 0.007930 0.007078 0.007047 0.007616 0.008390 0.007458 0.006993 0.006869 0.008481 0.007827 0.006914 0.004876 0.007768 0.009956 0.007016 0.008404 0.007624 0.007199 0.007486 0.010582 0.007568 0.008713 0.008002 0.004971 0.007357 0.010481 0.007249 0.009010 0.008386 0.007349 0.010461 0.007225 0.008788 0.007650 0.006965 0.010326 0.007274 0.009112 0.007576 0.006691 0.009676 0.006686 0.008255 0.007133 0.006591 0.005244 0.009368 0.007131 0.010120 0.007412 0.008809 0.008128 0.008924 0.007018 0.009983 0.007023 0.008122 0.006999 0.009466 0.006658 0.010260 0.007020 0.008060 0.006999 0.007472 0.006185 0.005233 0.011042 0.007050 0.008536 0.006617 0.009557 0.006735 0.008641 0.008999 0.006196 0.009905 0.007557 0.008340 0.006645 0.009387 0.006498 0.008469 0.008788 0.005994 0.007733 0.005771 0.009821 0.006856 0.008114 0.006612 0.008962 0.006199 0.008195 0.008943 0.005611 0.007046 0.005771 0.006630 0.008725 0.005940 0.008347 0.006203 0.007832 0.006162 0.008075 0.005880 0.005288 0.012877 0.011308 0.007315 0.008721 0.006775 0.009741 0.006854 0.009139 0.010284 0.010595 0.006612 0.007623 0.005995 0.014076 0.006111 0.008505 0.010133 0.011193 0.006681 0.007406 0.005984 0.008342 0.006095 0.008747 0.009550 0.010835 0.006201 0.007617 0.005801 0.005210 0.009532 0.009412 0.009400 0.006298 0.007653 0.006306 0.008519 0.005684 0.007401 0.009182 0.009578 0.008087 0.006201 0.006979 0.005747 0.008828 0.005937 0.007200 0.011604 0.009145 0.008078 0.005885 0.006911 0.006022 0.008485 0.005984 0.007025 0.006044 0.008119 0.005660 0.005735 0.008786 0.007837 0.006115 0.008545 0.005593 0.007515 0.005757 0.007252 0.009286 0.007519 0.005890 0.007795 0.005376 0.007699 0.005385 0.006751 0.006878 0.005602 0.008120 0.005329 0.007303 0.005249 0.006477 0.004937 0.005706 0.008267 0.005519 0.011990 0.016970 0.050253 0.007870 0.008550 0.007320 0.010347 0.007181 0.015779 0.011741 0.016070 0.042869 0.007514 0.008328 0.007324 0.010367 0.007485 0.014864 0.011768 0.011818 0.029807 0.007720 0.008081 0.006551 0.009674 0.006546 0.012993 0.011207 0.013391 0.024869 0.006890 0.008129 0.006512 0.009109 0.006672 0.013357 0.010949 0.011084 0.025267 0.006750 0.008132 0.006271 0.008621 0.006622 0.012291 0.009311 0.008665 0.005952 0.007590 0.005586 0.008205 0.005690 0.007334 0.005603 0.005763 0.011019 0.014716 0.026186 0.006829 0.007803 0.006349 0.008983 0.006507 0.013198 0.010841 0.013025 0.020298 0.006734 0.007871 0.006300 0.008675 0.006222 0.014162 0.010765 0.011229 0.021316 0.007021 0.007768 0.006406 0.008722 0.006528 0.012545 0.009002 0.007980 0.005580 0.006960 0.005480 0.007778 0.005832 0.006935 0.005554 0.005565 0.009007 0.007942 0.005654 0.007246 0.005419 0.007321 0.005793 0.006626 0.005279 0.008633 0.007913 0.005688 0.006220 0.011804 0.010895 0.024731 0.006686 0.006625 0.011988 0.014262 0.033070 0.006965 0.007800 0.006573 0.009477 0.006850 0.015689 0.010675 0.014305 0.023125 0.006982 0.007925 0.006452 0.008870 0.006623 0.012120 0.010790 0.013920 0.029425 0.006788 0.007852 0.006627 0.009095 0.006342 0.014430 0.005185 0.005206 0.007639 0.005689 0.006549 0.005177 0.006916 0.005084 0.006563 0.004911 0.005321 0.006030 0.012091 0.015594 0.043194 0.007506 0.008710 0.007233 0.009884 0.006885 0.015449 0.005677 0.010063 0.005658 0.010268 0.009782 0.006217 0.006436 0.016290 0.011144 0.012011 0.011493 0.007197 0.008260 0.006553 0.009824 0.006682 0.008387 0.006149 0.014247 0.010433 0.014284 0.010561 0.010193 0.006451 0.007867 0.006242 0.006193

total iso time: 4.129596
===============================================================================

print the content of the cache: 
c id: 3, level: 12, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 32, hits: 0, levelHits: [], isos: 6, levelIsos: [7,2,3,2,4,4]
c id: 1, level: 16, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 13, hits: 0, levelHits: [], isos: 7, levelIsos: [15,9,3,3,2,4,1]
c id: 2, level: 15, literals: 8, clauses: 7, size: 16, afterHit: 0, saved: 39, hits: 0, levelHits: [], isos: 13, levelIsos: [9,6,8,6,3,5,6,6,6,5,2,2,1]
c id: 4, level: 14, literals: 28, clauses: 22, size: 56, afterHit: 0, saved: 3, hits: 0, levelHits: [], isos: 1, levelIsos: [6]

restarts              : 1
conflicts             : 107            (1403 /sec)
decisions             : 407            (0.00 % random) (5336 /sec)
propagations          : 1300           (17045 /sec)
conflict literals     : 322            (12.02 % deleted)
components created    : 97
components cached     : 17
components hit        : 0
isomorphisms          : 27
conflicts saved       : 87
conflicts remaining   : 47
glasgow calls         : 480
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.076268 s

UNSATISFIABLE
