# TIMEOUT 7200
MAIN  BEGIN :  [Sun Jul  9 15:44:06 2006]
READ  BEGIN : csp/myciel5.csp [Sun Jul  9 15:44:06 2006]
READ  END : csp/myciel5.csp (0 seconds) [Sun Jul  9 15:44:06 2006]
READ  CPU : 0.45 = 0.44 + 0.01 + 0 + 0

# BOUND : color 2 6

GENERATE_CNF 6 BEGIN :  [Sun Jul  9 15:44:06 2006]
GENERATE_CNF 6 END : 854 variables 3686 clauses 52015 bytes (0 seconds) [Sun Jul  9 15:44:06 2006]
GENERATE_CNF 6 CPU : 0.2 = 0.2 + 0 + 0 + 0

MODIFY_CNF 4 BEGIN :  [Sun Jul  9 15:44:06 2006]
MODIFY_CNF 4 END : 52019 bytes (0 seconds) [Sun Jul  9 15:44:06 2006]
MODIFY_CNF 4 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 4 BEGIN :  [Sun Jul  9 15:44:06 2006]
CMD : minisat /tmp/csp2sat28654.cnf /tmp/csp2sat28654.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |    2455     7650 |     818       0        0     nan |  0.000 % |
|       100 |    2455     7650 |     899     100     1462    14.6 | 27.986 % |
|       251 |    2455     7650 |     989     251     3145    12.5 | 27.993 % |
|       478 |    2455     7650 |    1088     478     4882    10.2 | 27.986 % |
|       817 |    2456     7650 |    1197     816     8054     9.9 | 27.987 % |
|      1323 |    2421     7548 |    1317     940     9086     9.7 | 28.221 % |
==============================================================================
restarts              : 6
conflicts             : 1796           (19956 /sec)
decisions             : 2086           (23178 /sec)
propagations          : 331030         (3678111 /sec)
conflict literals     : 15778          (14.93 % deleted)
Memory used           : 1.00 MB
CPU time              : 0.09 s

UNSATISFIABLE
VERIFY_CNF 4 END :  (1 seconds) [Sun Jul  9 15:44:07 2006]
VERIFY_CNF 4 CPU : 0.09 = 0 + 0 + 0.09 + 0

# RESULT : color 4 UNSATISFIABLE
# BOUND : color 5 6

MODIFY_CNF 5 BEGIN :  [Sun Jul  9 15:44:07 2006]
MODIFY_CNF 5 END : 52019 bytes (0 seconds) [Sun Jul  9 15:44:07 2006]
MODIFY_CNF 5 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 5 BEGIN :  [Sun Jul  9 15:44:07 2006]
CMD : minisat /tmp/csp2sat28654.cnf /tmp/csp2sat28654.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |    2927     9066 |     975       0        0     nan |  0.000 % |
|       101 |    2927     9066 |    1072     101     1636    16.2 | 22.366 % |
|       251 |    2927     9066 |    1179     251     3851    15.3 | 22.366 % |
|       477 |    2927     9066 |    1297     477     7608    15.9 | 22.366 % |
|       814 |    2927     9066 |    1427     814    13182    16.2 | 22.366 % |
|      1320 |    2927     9066 |    1570    1320    20564    15.6 | 22.366 % |
|      2079 |    2927     9066 |    1727    1162    17099    14.7 | 22.366 % |
|      3218 |    2927     9066 |    1899    1278    19659    15.4 | 22.366 % |
|      4926 |    2927     9066 |    2089    1837    28372    15.4 | 22.366 % |
|      7490 |    2927     9066 |    2298    1897    38755    20.4 | 22.366 % |
|     11335 |    2927     9066 |    2528    1734    28562    16.5 | 22.366 % |
|     17103 |    2927     9066 |    2781    1812    28890    15.9 | 22.366 % |
|     25752 |    2927     9066 |    3059    2553    44114    17.3 | 22.366 % |
|     38727 |    2927     9066 |    3365    1832    25056    13.7 | 22.366 % |
|     58188 |    2927     9066 |    3702    3032    51551    17.0 | 22.366 % |
|     87380 |    2927     9066 |    4072    3907    67166    17.2 | 22.366 % |
|    131170 |    2927     9066 |    4480    3175    59344    18.7 | 22.366 % |
|    196854 |    2927     9066 |    4928    3628    69824    19.2 | 22.366 % |
|    295381 |    2935     9066 |    5420    4930    57734    11.7 | 22.383 % |
|    443171 |    2844     8820 |    5963    5206    67993    13.1 | 22.835 % |
==============================================================================
restarts              : 20
conflicts             : 607848         (10460 /sec)
decisions             : 749607         (12900 /sec)
propagations          : 84313374       (1450927 /sec)
conflict literals     : 10722001       (11.87 % deleted)
Memory used           : 2.48 MB
CPU time              : 58.11 s

UNSATISFIABLE
VERIFY_CNF 5 END :  (58 seconds) [Sun Jul  9 15:45:05 2006]
VERIFY_CNF 5 CPU : 58.17 = 0 + 0 + 58.11 + 0.06

# RESULT : color 5 UNSATISFIABLE
# BOUND : color 6 6

MAIN  END :  (59 seconds) [Sun Jul  9 15:45:05 2006]
MAIN  CPU : 58.91 = 0.64 + 0.01 + 58.2 + 0.06