# TIMEOUT 7200
MAIN  BEGIN :  [Sun Jul  9 05:43:57 2006]
READ  BEGIN : csp/mug100_1.csp [Sun Jul  9 05:43:57 2006]
READ  END : csp/mug100_1.csp (0 seconds) [Sun Jul  9 05:43:57 2006]
READ  CPU : 0.39 = 0.38 + 0.01 + 0 + 0

# BOUND : color 2 4

GENERATE_CNF 4 BEGIN :  [Sun Jul  9 05:43:57 2006]
GENERATE_CNF 4 END : 936 variables 2399 clauses 31557 bytes (0 seconds) [Sun Jul  9 05:43:57 2006]
GENERATE_CNF 4 CPU : 0.14 = 0.14 + 0 + 0 + 0

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

VERIFY_CNF 3 BEGIN :  [Sun Jul  9 05:43:57 2006]
CMD : minisat /tmp/csp2sat20069.cnf /tmp/csp2sat20069.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |    1462     4856 |     487       0        0     nan |  0.000 % |
|       100 |    1473     4856 |     535      89      426     4.8 | 43.056 % |
|       251 |    1502     4856 |     589     211      985     4.7 | 43.056 % |
==============================================================================
restarts              : 3
conflicts             : 321            (32100 /sec)
decisions             : 1194           (119400 /sec)
propagations          : 24303          (2430300 /sec)
conflict literals     : 1191           (4.11 % deleted)
Memory used           : 0.89 MB
CPU time              : 0.01 s

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

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

MAIN  END :  (0 seconds) [Sun Jul  9 05:43:57 2006]
MAIN  CPU : 0.55 = 0.52 + 0.01 + 0.01 + 0.01