# TIMEOUT 18000
MAIN  BEGIN :  [Sun Jun 18 16:07:20 2006]
READ  BEGIN : csp/gp03-10.csp [Sun Jun 18 16:07:20 2006]
READ  END : csp/gp03-10.csp (0 seconds) [Sun Jun 18 16:07:20 2006]
READ  CPU : 0.05 = 0.05 + 0 + 0 + 0

# BOUND : makespan 1000 1488

GENERATE_CNF 1488 BEGIN :  [Sun Jun 18 16:07:20 2006]
GENERATE_CNF 1488 END : 13945 variables 59978 clauses 1125026 bytes (2 seconds) [Sun Jun 18 16:07:22 2006]
GENERATE_CNF 1488 CPU : 2.09 = 2.09 + 0 + 0 + 0

MODIFY_CNF 1244 BEGIN :  [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1244 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1244 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1244 BEGIN :  [Sun Jun 18 16:07:22 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   51090   139486 |   17030       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 0              (0 /sec)
decisions             : 15             (250 /sec)
propagations          : 13945          (232417 /sec)
conflict literals     : 0              ( nan % deleted)
Memory used           : 4.68 MB
CPU time              : 0.06 s

SATISFIABLE
VERIFY_CNF 1244 END :  (0 seconds) [Sun Jun 18 16:07:22 2006]
VERIFY_CNF 1244 CPU : 0.08 = 0 + 0 + 0.07 + 0.01

# RESULT : makespan 1244 SATISFIABLE
SHOW_RESULT 1244 BEGIN :  [Sun Jun 18 16:07:22 2006]
# ASSIGN : makespan 1244
# ASSIGN : s_0_0 912
# ASSIGN : s_0_1 406
# ASSIGN : s_0_2 79
# ASSIGN : s_1_0 72
# ASSIGN : s_1_1 237
# ASSIGN : s_1_2 571
# ASSIGN : s_2_0 244
# ASSIGN : s_2_1 747
# ASSIGN : s_2_2 1237
SHOW_RESULT 1244 END : 1244 (0 seconds) [Sun Jun 18 16:07:22 2006]
SHOW_RESULT 1244 CPU : 0.02 = 0.02 + 0 + 0 + 0

# BOUND : makespan 1000 1244

MODIFY_CNF 1122 BEGIN :  [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1122 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1122 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1122 BEGIN :  [Sun Jun 18 16:07:22 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   46698   126310 |   15566       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 2              (25 /sec)
decisions             : 3              (38 /sec)
propagations          : 11841          (148012 /sec)
conflict literals     : 1              (0.00 % deleted)
Memory used           : 4.63 MB
CPU time              : 0.08 s

UNSATISFIABLE
VERIFY_CNF 1122 END :  (0 seconds) [Sun Jun 18 16:07:22 2006]
VERIFY_CNF 1122 CPU : 0.08 = 0 + 0 + 0.08 + 0

# RESULT : makespan 1122 UNSATISFIABLE
# BOUND : makespan 1123 1244

MODIFY_CNF 1183 BEGIN :  [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1183 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1183 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1183 BEGIN :  [Sun Jun 18 16:07:22 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   48894   132898 |   16298       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 0              (0 /sec)
decisions             : 15             (250 /sec)
propagations          : 13945          (232417 /sec)
conflict literals     : 0              ( nan % deleted)
Memory used           : 4.68 MB
CPU time              : 0.06 s

SATISFIABLE
VERIFY_CNF 1183 END :  (0 seconds) [Sun Jun 18 16:07:22 2006]
VERIFY_CNF 1183 CPU : 0.1 = 0.0100000000000002 + 0 + 0.07 + 0.02

# RESULT : makespan 1183 SATISFIABLE
SHOW_RESULT 1183 BEGIN :  [Sun Jun 18 16:07:22 2006]
# ASSIGN : makespan 1183
# ASSIGN : s_0_0 851
# ASSIGN : s_0_1 345
# ASSIGN : s_0_2 18
# ASSIGN : s_1_0 11
# ASSIGN : s_1_1 176
# ASSIGN : s_1_2 510
# ASSIGN : s_2_0 183
# ASSIGN : s_2_1 686
# ASSIGN : s_2_2 1176
SHOW_RESULT 1183 END : 1183 (0 seconds) [Sun Jun 18 16:07:22 2006]
SHOW_RESULT 1183 CPU : 0.02 = 0.02 + 0 + 0 + 0

# BOUND : makespan 1123 1183

MODIFY_CNF 1153 BEGIN :  [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1153 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1153 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1153 BEGIN :  [Sun Jun 18 16:07:22 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   47814   129658 |   15938       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 2              (25 /sec)
decisions             : 3              (38 /sec)
propagations          : 11531          (144138 /sec)
conflict literals     : 1              (0.00 % deleted)
Memory used           : 4.62 MB
CPU time              : 0.08 s

UNSATISFIABLE
VERIFY_CNF 1153 END :  (0 seconds) [Sun Jun 18 16:07:22 2006]
VERIFY_CNF 1153 CPU : 0.08 = 0 + 0 + 0.08 + 0

# RESULT : makespan 1153 UNSATISFIABLE
# BOUND : makespan 1154 1183

MODIFY_CNF 1168 BEGIN :  [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1168 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1168 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1168 BEGIN :  [Sun Jun 18 16:07:22 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   48354   131278 |   16118       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 0              (0 /sec)
decisions             : 10             (143 /sec)
propagations          : 13945          (199214 /sec)
conflict literals     : 0              ( nan % deleted)
Memory used           : 4.68 MB
CPU time              : 0.07 s

SATISFIABLE
VERIFY_CNF 1168 END :  (0 seconds) [Sun Jun 18 16:07:22 2006]
VERIFY_CNF 1168 CPU : 0.09 = 0 + 0 + 0.07 + 0.02

# RESULT : makespan 1168 SATISFIABLE
SHOW_RESULT 1168 BEGIN :  [Sun Jun 18 16:07:22 2006]
# ASSIGN : makespan 1168
# ASSIGN : s_0_0 671
# ASSIGN : s_0_1 330
# ASSIGN : s_0_2 3
# ASSIGN : s_1_0 1003
# ASSIGN : s_1_1 161
# ASSIGN : s_1_2 337
# ASSIGN : s_2_0 168
# ASSIGN : s_2_1 671
# ASSIGN : s_2_2 1161
SHOW_RESULT 1168 END : 1168 (0 seconds) [Sun Jun 18 16:07:22 2006]
SHOW_RESULT 1168 CPU : 0.02 = 0.02 + 0 + 0 + 0

# BOUND : makespan 1154 1168

MODIFY_CNF 1161 BEGIN :  [Sun Jun 18 16:07:22 2006]
MODIFY_CNF 1161 END : 1125032 bytes (1 seconds) [Sun Jun 18 16:07:23 2006]
MODIFY_CNF 1161 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1161 BEGIN :  [Sun Jun 18 16:07:23 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   48102   130522 |   16034       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 4              (57 /sec)
decisions             : 4              (57 /sec)
propagations          : 14592          (208457 /sec)
conflict literals     : 4              (0.00 % deleted)
Memory used           : 4.62 MB
CPU time              : 0.07 s

UNSATISFIABLE
VERIFY_CNF 1161 END :  (0 seconds) [Sun Jun 18 16:07:23 2006]
VERIFY_CNF 1161 CPU : 0.08 = 0 + 0 + 0.07 + 0.01

# RESULT : makespan 1161 UNSATISFIABLE
# BOUND : makespan 1162 1168

MODIFY_CNF 1165 BEGIN :  [Sun Jun 18 16:07:23 2006]
MODIFY_CNF 1165 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:23 2006]
MODIFY_CNF 1165 CPU : 0.01 = 0 + 0.01 + 0 + 0

VERIFY_CNF 1165 BEGIN :  [Sun Jun 18 16:07:23 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   48246   130954 |   16082       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 0              (0 /sec)
decisions             : 7              (100 /sec)
propagations          : 13945          (199214 /sec)
conflict literals     : 0              ( nan % deleted)
Memory used           : 4.68 MB
CPU time              : 0.07 s

SATISFIABLE
VERIFY_CNF 1165 END :  (0 seconds) [Sun Jun 18 16:07:23 2006]
VERIFY_CNF 1165 CPU : 0.09 = 0 + 0 + 0.08 + 0.01

# RESULT : makespan 1165 SATISFIABLE
SHOW_RESULT 1165 BEGIN :  [Sun Jun 18 16:07:23 2006]
# ASSIGN : makespan 1165
# ASSIGN : s_0_0 668
# ASSIGN : s_0_1 327
# ASSIGN : s_0_2 0
# ASSIGN : s_1_0 1000
# ASSIGN : s_1_1 158
# ASSIGN : s_1_2 334
# ASSIGN : s_2_0 165
# ASSIGN : s_2_1 668
# ASSIGN : s_2_2 1158
SHOW_RESULT 1165 END : 1165 (0 seconds) [Sun Jun 18 16:07:23 2006]
SHOW_RESULT 1165 CPU : 0.0199999999999996 = 0.0199999999999996 + 0 + 0 + 0

# BOUND : makespan 1162 1165

MODIFY_CNF 1163 BEGIN :  [Sun Jun 18 16:07:23 2006]
MODIFY_CNF 1163 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:23 2006]
MODIFY_CNF 1163 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1163 BEGIN :  [Sun Jun 18 16:07:23 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   48174   130738 |   16058       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 6              (100 /sec)
decisions             : 6              (100 /sec)
propagations          : 22387          (373117 /sec)
conflict literals     : 11             (8.33 % deleted)
Memory used           : 4.62 MB
CPU time              : 0.06 s

UNSATISFIABLE
VERIFY_CNF 1163 END :  (0 seconds) [Sun Jun 18 16:07:23 2006]
VERIFY_CNF 1163 CPU : 0.0799999999999999 = 0 + 0 + 0.0599999999999999 + 0.02

# RESULT : makespan 1163 UNSATISFIABLE
# BOUND : makespan 1164 1165

MODIFY_CNF 1164 BEGIN :  [Sun Jun 18 16:07:23 2006]
MODIFY_CNF 1164 END : 1125032 bytes (0 seconds) [Sun Jun 18 16:07:23 2006]
MODIFY_CNF 1164 CPU : 0 = 0 + 0 + 0 + 0

VERIFY_CNF 1164 BEGIN :  [Sun Jun 18 16:07:23 2006]
CMD : minisat /tmp/csp2sat8641.cnf /tmp/csp2sat8641.out
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |   48210   130846 |   16070       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 6              (86 /sec)
decisions             : 6              (86 /sec)
propagations          : 22375          (319643 /sec)
conflict literals     : 11             (8.33 % deleted)
Memory used           : 4.62 MB
CPU time              : 0.07 s

UNSATISFIABLE
VERIFY_CNF 1164 END :  (0 seconds) [Sun Jun 18 16:07:23 2006]
VERIFY_CNF 1164 CPU : 0.0800000000000001 = 0 + 0 + 0.0700000000000001 + 0.01

# RESULT : makespan 1164 UNSATISFIABLE
# BOUND : makespan 1165 1165

MAIN  END :  (3 seconds) [Sun Jun 18 16:07:23 2006]
MAIN  CPU : 3 = 2.23 + 0.02 + 0.65 + 0.1