# TIMEOUT 7200
MAIN  BEGIN :  [Thu Jul  6 12:04:13 2006]
READ  BEGIN : csp/4-Insertions_3.csp [Thu Jul  6 12:04:13 2006]
READ  END : csp/4-Insertions_3.csp (1 seconds) [Thu Jul  6 12:04:14 2006]
READ  CPU : 0.33 = 0.33 + 0 + 0 + 0

# BOUND : color 2 4

GENERATE_CNF 4 BEGIN :  [Thu Jul  6 12:04:14 2006]
GENERATE_CNF 4 END : 790 variables 2120 clauses 28155 bytes (0 seconds) [Thu Jul  6 12:04:14 2006]
GENERATE_CNF 4 CPU : 0.13 = 0.13 + 0 + 0 + 0

MODIFY_CNF 3 BEGIN :  [Thu Jul  6 12:04:14 2006]
MODIFY_CNF 3 END : 28159 bytes (0 seconds) [Thu Jul  6 12:04:14 2006]
MODIFY_CNF 3 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 3 BEGIN :  [Thu Jul  6 12:04:14 2006]
CMD : minisat /tmp/csp2sat16745.cnf /tmp/csp2sat16745.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |    1329     4384 |     443       0        0     nan |  0.000 % |
|       100 |    1329     4384 |     487     100     1348    13.5 | 40.380 % |
|       252 |    1329     4384 |     536     252     3490    13.8 | 40.380 % |
|       478 |    1329     4384 |     589     478     6884    14.4 | 40.380 % |
|       815 |    1329     4384 |     648     815    12625    15.5 | 40.382 % |
|      1322 |    1329     4384 |     713     782    10164    13.0 | 40.382 % |
|      2081 |    1329     4384 |     784     959    13433    14.0 | 40.382 % |
|      3220 |    1329     4384 |     863     881    10852    12.3 | 40.382 % |
|      4929 |    1329     4384 |     949    1303    16026    12.3 | 40.386 % |
|      7491 |    1329     4384 |    1044    1165    14280    12.3 | 40.380 % |
|     11335 |    1329     4384 |    1149    1371    19950    14.6 | 40.382 % |
|     17101 |    1329     4384 |    1263     976    11143    11.4 | 40.382 % |
|     25751 |    1331     4384 |    1390    1346    16529    12.3 | 40.382 % |
|     38725 |    1310     4327 |    1529    1572    20957    13.3 | 40.635 % |
==============================================================================
restarts              : 14
conflicts             : 48943          (23530 /sec)
decisions             : 64737          (31124 /sec)
propagations          : 4714202        (2266443 /sec)
conflict literals     : 708524         (25.99 % deleted)
Memory used           : 1.14 MB
CPU time              : 2.08 s

UNSATISFIABLE
VERIFY_CNF 3 END :  (2 seconds) [Thu Jul  6 12:04:16 2006]
VERIFY_CNF 3 CPU : 2.08 = 0 + 0 + 2.08 + 0

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

MAIN  END :  (3 seconds) [Thu Jul  6 12:04:16 2006]
MAIN  CPU : 2.54 = 0.46 + 0 + 2.08 + 0