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 4096 | 5000 0 nan | 0.000 % | c | 100 | 259 1207 4096 | 5500 100 3 | 7.508 % | c | 250 | 259 1207 4096 | 6050 250 3 | 7.501 % | c | 475 | 259 1207 4096 | 6655 475 4 | 7.504 % | c | 812 | 259 1207 4096 | 7320 812 6 | 7.506 % | c | 1318 | 259 1207 4096 | 8052 1318 9 | 7.501 % | c | 2078 | 259 1207 4096 | 8857 2078 13 | 7.509 % | c | 3220 | 259 1207 4096 | 9743 3220 16 | 7.506 % | c | 4928 | 259 1207 4096 | 10717 4928 19 | 7.501 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 5512 | 259 1208 4359 | 5000 5512 20 | 7.501 % | c | 5613 | 259 1208 4359 | 5500 2857 14 | 7.506 % | c | 5763 | 259 1208 4359 | 6050 3007 14 | 7.505 % | c | 5988 | 259 1208 4359 | 6655 3232 15 | 7.501 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 6008 | 259 1209 4622 | 5000 3252 15 | 7.501 % | c | 6109 | 259 1209 4622 | 5500 3353 15 | 7.509 % | c | 6260 | 259 1209 4622 | 6050 3504 16 | 7.509 % | c | 6486 | 259 1209 4622 | 6655 3730 17 | 7.506 % | c | 6824 | 259 1209 4622 | 7320 4068 17 | 7.506 % | c | 7330 | 259 1209 4622 | 8052 4574 18 | 7.508 % | c | 8091 | 259 1209 4622 | 8857 5335 20 | 7.509 % | c | 9231 | 259 1209 4622 | 9743 6475 21 | 7.505 % | c | 10941 | 259 1209 4622 | 10717 8185 22 | 7.508 % | c | 13504 | 259 1209 4622 | 11789 10748 23 | 7.506 % | c | 17348 | 258 1209 4622 | 12968 4541 13 | 7.867 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 3.9214 s Remaining CPU time: 176.079 s c =============================================================================== c | 18652 | 258 1210 4885 | 5000 5845 16 | 7.867 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 3.9314 s Remaining CPU time: 176.069 s c =============================================================================== c | 18658 | 258 1211 5148 | 5000 2929 13 | 7.867 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 3.9324 s Remaining CPU time: 176.068 s c =============================================================================== c | 18662 | 258 1212 5411 | 5000 2933 13 | 7.867 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 3.9334 s Remaining CPU time: 176.067 s c =============================================================================== c | 18672 | 258 1213 5674 | 5000 2943 13 | 7.867 % | c | 18772 | 258 1213 5674 | 5500 3043 14 | 7.858 % | c | 18924 | 258 1213 5674 | 6050 3195 14 | 7.867 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 3.9764 s Remaining CPU time: 176.024 s c =============================================================================== c | 18962 | 258 1214 5937 | 5000 3233 14 | 7.867 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 3.98139 s Remaining CPU time: 176.019 s c =============================================================================== c | 18985 | 258 1215 6200 | 5000 3256 14 | 7.867 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 3.98239 s Remaining CPU time: 176.018 s c =============================================================================== c | 18987 | 258 1216 6463 | 5000 3258 14 | 7.867 % | c | 19088 | 258 1216 6463 | 5500 3359 15 | 7.858 % | c | 19239 | 258 1216 6463 | 6050 3510 15 | 7.858 % | c | 19464 | 258 1216 6463 | 6655 3735 16 | 7.858 % | c | 19803 | 258 1216 6463 | 7320 4074 17 | 7.864 % | c | 20309 | 258 1216 6463 | 8052 4580 19 | 7.858 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 4.26535 s Remaining CPU time: 175.735 s c =============================================================================== c | 20489 | 258 1217 6726 | 5000 4760 19 | 7.858 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 4.26635 s Remaining CPU time: 175.734 s c =============================================================================== c | 20491 | 258 1218 6989 | 5000 4762 19 | 7.858 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 4.28835 s Remaining CPU time: 175.712 s c =============================================================================== c | 20586 | 258 1219 7252 | 5000 4857 20 | 7.858 % | c | 20686 | 258 1219 7252 | 5500 4957 20 | 7.869 % | c | 20837 | 258 1219 7252 | 6050 5108 21 | 7.867 % | c | 21062 | 258 1219 7252 | 6655 5333 21 | 7.870 % | c | 21401 | 258 1219 7252 | 7320 5672 21 | 7.866 % | c | 21908 | 258 1219 7252 | 8052 6179 22 | 7.872 % | c | 22667 | 258 1219 7252 | 8857 6938 23 | 7.867 % | c | 23806 | 258 1219 7252 | 9743 8077 24 | 7.858 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 5.58715 s Remaining CPU time: 174.413 s c =============================================================================== c | 25072 | 258 1220 7515 | 5000 9343 24 | 7.858 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 5.60915 s Remaining CPU time: 174.391 s c =============================================================================== c | 25076 | 258 1221 7778 | 5000 4676 18 | 7.858 % | c | 25176 | 258 1221 7778 | 5500 4776 19 | 7.870 % | c | 25328 | 258 1221 7778 | 6050 4928 19 | 7.873 % | c | 25555 | 258 1221 7778 | 6655 5155 20 | 7.858 % | c | 25895 | 257 1221 7778 | 7320 5056 19 | 8.232 % | c | 26402 | 257 1221 7778 | 8052 5563 20 | 8.218 % | c | 27162 | 247 1221 7778 | 8857 6323 20 | 12.160 % | c =============================================================================== c Total CPU time: 6.24305 s