c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1476 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 280 | c | Number Clauses: 1196 | 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 | 259 1207 4106 | 5000 0 nan | 0.000 % | c | 100 | 259 1207 4106 | 5500 100 3 | 7.501 % | c | 250 | 259 1207 4106 | 6050 250 3 | 7.508 % | c | 475 | 259 1207 4106 | 6655 475 4 | 7.506 % | c | 812 | 259 1207 4106 | 7320 812 6 | 7.509 % | c | 1318 | 259 1207 4106 | 8052 1318 9 | 7.510 % | c | 2077 | 259 1207 4106 | 8857 2077 12 | 7.508 % | c | 3217 | 259 1207 4106 | 9743 3217 16 | 7.508 % | c | 4928 | 259 1207 4106 | 10717 4928 19 | 7.508 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 5167 | 259 1208 4368 | 5000 5167 19 | 7.508 % | c | 5268 | 259 1208 4368 | 5500 2685 13 | 7.501 % | c | 5418 | 259 1208 4368 | 6050 2835 13 | 7.512 % | c | 5644 | 259 1208 4368 | 6655 3061 14 | 7.501 % | c | 5983 | 259 1208 4368 | 7320 3400 15 | 7.501 % | c | 6492 | 259 1208 4368 | 8052 3909 16 | 7.501 % | c | 7251 | 259 1208 4368 | 8857 4668 18 | 7.501 % | c | 8391 | 259 1208 4368 | 9743 5808 19 | 7.504 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 9241 | 259 1209 4630 | 5000 6658 20 | 7.504 % | c | 9342 | 259 1209 4630 | 5500 3430 14 | 7.501 % | c | 9493 | 259 1209 4630 | 6050 3581 14 | 7.509 % | c | 9718 | 259 1209 4630 | 6655 3806 15 | 7.501 % | c | 10056 | 259 1209 4630 | 7320 4144 16 | 7.506 % | c | 10563 | 259 1209 4630 | 8052 4651 17 | 7.505 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 1.52677 s Remaining CPU time: 178.473 s c =============================================================================== c | 11277 | 259 1210 4892 | 5000 5365 18 | 7.505 % | c | 11379 | 259 1210 4892 | 5500 2785 12 | 7.508 % | c | 11530 | 259 1210 4892 | 6050 2936 12 | 7.501 % | c | 11755 | 259 1210 4892 | 6655 3161 13 | 7.504 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 11809 | 259 1211 5154 | 5000 3215 13 | 7.504 % | c | 11910 | 259 1211 5154 | 5500 3316 14 | 7.509 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 12032 | 259 1212 5416 | 5000 3438 14 | 7.509 % | c | 12132 | 259 1212 5416 | 5500 3538 14 | 7.501 % | c | 12283 | 259 1212 5416 | 6050 3689 15 | 7.501 % | c | 12510 | 259 1212 5416 | 6655 3916 16 | 7.505 % | c | 12849 | 259 1212 5416 | 7320 4255 16 | 7.501 % | c | 13355 | 259 1212 5416 | 8052 4761 17 | 7.510 % | c | 14114 | 259 1212 5416 | 8857 5520 19 | 7.508 % | c | 15253 | 259 1212 5416 | 9743 6659 20 | 7.501 % | c | 16961 | 259 1212 5416 | 10717 8367 22 | 7.501 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 2.83257 s Remaining CPU time: 177.167 s c =============================================================================== c | 17106 | 259 1213 5678 | 5000 8512 22 | 7.501 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 2.84857 s Remaining CPU time: 177.151 s c =============================================================================== c | 17107 | 259 1214 5940 | 5000 4257 17 | 7.501 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 2.84957 s Remaining CPU time: 177.15 s c =============================================================================== c | 17110 | 259 1215 6202 | 5000 4260 17 | 7.501 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 2.85057 s Remaining CPU time: 177.149 s c =============================================================================== c | 17115 | 259 1216 6464 | 5000 4265 17 | 7.501 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 2.85257 s Remaining CPU time: 177.147 s c =============================================================================== c | 17122 | 259 1217 6726 | 5000 4272 17 | 7.501 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 2.85457 s Remaining CPU time: 177.145 s c =============================================================================== c | 17129 | 259 1218 6988 | 5000 4279 17 | 7.501 % | c | 17229 | 259 1218 6988 | 5500 4379 17 | 7.501 % | c | 17380 | 259 1218 6988 | 6050 4530 18 | 7.508 % | c | 17606 | 259 1218 6988 | 6655 4756 18 | 7.501 % | c | 17944 | 259 1218 6988 | 7320 5094 19 | 7.501 % | c | 18451 | 259 1218 6988 | 8052 5601 20 | 7.501 % | c | 19211 | 259 1218 6988 | 8857 6361 21 | 7.510 % | c | 20351 | 259 1218 6988 | 9743 7501 22 | 7.508 % | c | 22059 | 259 1218 6988 | 10717 9209 24 | 7.501 % | c | 24622 | 259 1218 6988 | 11789 6397 20 | 7.501 % | c | 28466 | 259 1218 6988 | 12968 10241 24 | 7.614 % | c =============================================================================== c Total CPU time: 7.75682 s