# TIMEOUT 7200
MAIN  BEGIN :  [Sun Jul  9 05:43:58 2006]
READ  BEGIN : csp/mug88_1.csp [Sun Jul  9 05:43:58 2006]
READ  END : csp/mug88_1.csp (0 seconds) [Sun Jul  9 05:43:58 2006]
READ  CPU : 0.33 = 0.33 + 0 + 0 + 0

# BOUND : color 2 4

GENERATE_CNF 4 BEGIN :  [Sun Jul  9 05:43:58 2006]
GENERATE_CNF 4 END : 824 variables 2111 clauses 27669 bytes (0 seconds) [Sun Jul  9 05:43:58 2006]
GENERATE_CNF 4 CPU : 0.12 = 0.12 + 0 + 0 + 0

MODIFY_CNF 3 BEGIN :  [Sun Jul  9 05:43:58 2006]
MODIFY_CNF 3 END : 27673 bytes (0 seconds) [Sun Jul  9 05:43:58 2006]
MODIFY_CNF 3 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 3 BEGIN :  [Sun Jul  9 05:43:58 2006]
CMD : minisat /tmp/csp2sat20073.cnf /tmp/csp2sat20073.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |    1286     4272 |     428       0        0     nan |  0.000 % |
|       100 |    1295     4272 |     470      91      398     4.4 | 43.083 % |
|       250 |    1308     4242 |     517     201      890     4.4 | 43.325 % |
==============================================================================
restarts              : 3
conflicts             : 279            (27900 /sec)
decisions             : 910            (91000 /sec)
propagations          : 19979          (1997900 /sec)
conflict literals     : 1032           (6.94 % deleted)
Memory used           : 0.89 MB
CPU time              : 0.01 s

UNSATISFIABLE
VERIFY_CNF 3 END :  (0 seconds) [Sun Jul  9 05:43:58 2006]
VERIFY_CNF 3 CPU : 0.01 = 0 + 0 + 0.01 + 0

# RESULT : color 3 UNSATISFIABLE
# BOUND : color 4 4

MAIN  END :  (0 seconds) [Sun Jul  9 05:43:58 2006]
MAIN  CPU : 0.46 = 0.45 + 0 + 0.01 + 0