c wbo 1.4 beta - 20100610 c | Number of variables: 364 | c | Number of clauses: 384 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 364 | c | Number Clauses: 47 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 363 47 7326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 363 48 7663 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 363 49 8000 | 5000 0 nan | 0.000 % | c | 105 | 363 49 8000 | 5500 105 246 | 0.275 % | c | 258 | 363 49 8000 | 6050 258 250 | 0.275 % | c | 484 | 363 49 8000 | 6655 484 232 | 0.275 % | c | 821 | 363 49 8000 | 7320 821 228 | 0.275 % | c | 1331 | 363 49 8000 | 8052 1331 229 | 0.275 % | c | 2090 | 363 49 8000 | 8857 2090 223 | 0.275 % | c | 3231 | 363 49 8000 | 9743 3231 224 | 0.275 % | c | 4944 | 363 49 8000 | 10717 4944 218 | 0.275 % | c | 7507 | 363 49 8000 | 11789 7507 217 | 0.275 % | c | 11359 | 363 49 8000 | 12968 11359 221 | 0.275 % | c | 17131 | 363 49 8000 | 14265 10511 208 | 0.275 % | c | 25781 | 363 49 8000 | 15692 11912 208 | 0.275 % | c | 38755 | 363 49 8000 | 17261 8954 198 | 0.275 % | c | 58216 | 363 49 8000 | 18987 10923 186 | 0.275 % | c | 87419 | 363 49 8000 | 20886 11297 181 | 0.275 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 46.8519 s Remaining CPU time: 133.148 s c =============================================================================== c | 88979 | 363 50 8337 | 5000 12857 184 | 0.275 % | c | 89079 | 363 50 8337 | 5500 3315 193 | 0.275 % | c | 89229 | 363 50 8337 | 6050 3465 193 | 0.275 % | c | 89454 | 363 50 8337 | 6655 3690 194 | 0.275 % | c | 89791 | 363 50 8337 | 7320 4027 194 | 0.275 % | c | 90297 | 363 50 8337 | 8052 4533 197 | 0.275 % | c | 91056 | 363 50 8337 | 8857 5292 199 | 0.275 % | c | 92195 | 363 50 8337 | 9743 6431 204 | 0.275 % | c | 93903 | 363 50 8337 | 10717 8139 208 | 0.275 % | c | 96465 | 363 50 8337 | 11789 10701 212 | 0.275 % | c | 100311 | 363 50 8337 | 12968 8530 226 | 0.275 % | c | 106077 | 363 50 8337 | 14265 7696 216 | 0.275 % | c | 114726 | 363 50 8337 | 15692 9074 215 | 0.275 % | c | 127705 | 363 50 8337 | 17261 14094 206 | 0.275 % | c | 147166 | 363 50 8337 | 18987 16083 200 | 0.275 % | c | 176359 | 363 50 8337 | 20886 16499 163 | 0.275 % | c | 220149 | 363 50 8337 | 22974 18115 155 | 0.275 % | c There are 1 assigned variables. 1 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 383 388 9204 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 867 389 10016 | 5000 0 nan | 0.000 % | c | 108 | 867 389 10016 | 5500 108 227 | 0.345 % | c | 258 | 867 389 10016 | 6050 258 227 | 0.345 % | c | 486 | 867 389 10016 | 6655 486 214 | 0.345 % | c | 824 | 867 389 10016 | 7320 824 218 | 0.345 % | c | 1332 | 867 389 10016 | 8052 1332 221 | 0.345 % | c | 2106 | 867 389 10016 | 8857 2106 180 | 0.345 % | c | 3248 | 865 389 10016 | 9743 3245 160 | 0.575 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1205 399 10717 | 5000 0 nan | 0.000 % | c | 100 | 1205 399 10717 | 5500 100 281 | 0.083 % | c | 251 | 1205 399 10717 | 6050 251 242 | 0.083 % | c | 478 | 1205 399 10717 | 6655 478 227 | 0.083 % | c | 818 | 1205 399 10717 | 7320 818 227 | 0.083 % | c | 1327 | 1205 399 10717 | 8052 1327 222 | 0.083 % | c | 2087 | 1205 399 10717 | 8857 2087 226 | 0.083 % | c | 3230 | 1205 399 10717 | 9743 3230 223 | 0.083 % | c | 4940 | 1205 399 10717 | 10717 4940 220 | 0.083 % | c | 7502 | 1205 399 10717 | 11789 7502 216 | 0.083 % | c | 11347 | 1205 399 10717 | 12968 11347 217 | 0.083 % | c | 17113 | 1205 399 10717 | 14265 10482 221 | 0.083 % | c | 25763 | 1205 399 10717 | 15692 11878 211 | 0.083 % | c | 38742 | 1205 399 10717 | 17261 8953 188 | 0.083 % | c | 58203 | 1205 399 10717 | 18987 10909 194 | 0.083 % | c | 87398 | 1205 399 10717 | 20886 11305 171 | 0.083 % | c | 131187 | 1205 399 10717 | 22974 12969 135 | 0.083 % | c | 196871 | 1205 399 10717 | 25272 18654 150 | 0.083 % |