c wbo 1.4 beta - 20100610 c | Number of variables: 240 | c | Number of clauses: 1266 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 240 | c | Number Clauses: 1026 | 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 | 225 1035 3702 | 5000 0 nan | 0.000 % | c | 100 | 225 1035 3702 | 5500 100 3 | 6.253 % | c | 250 | 225 1035 3702 | 6050 250 4 | 6.260 % | c | 475 | 225 1035 3702 | 6655 475 5 | 6.259 % | c | 812 | 225 1035 3702 | 7320 812 7 | 6.259 % | c | 1318 | 225 1035 3702 | 8052 1318 11 | 6.259 % | c | 2079 | 225 1035 3702 | 8857 2079 14 | 6.252 % | c | 3218 | 225 1035 3702 | 9743 3218 17 | 6.252 % | c | 4926 | 225 1035 3702 | 10717 4926 18 | 6.252 % | c | 7491 | 225 1035 3702 | 11789 7491 20 | 6.252 % | c | 11335 | 225 1035 3702 | 12968 11335 22 | 6.260 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 3.42348 s Remaining CPU time: 176.577 s c =============================================================================== c | 16129 | 221 1036 3937 | 5000 6885 17 | 6.260 % | c | 16229 | 221 1036 3937 | 5500 3543 13 | 7.920 % | c | 16379 | 221 1036 3937 | 6050 3693 14 | 7.925 % | c | 16604 | 221 1036 3937 | 6655 3918 14 | 7.927 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 3.52146 s Remaining CPU time: 176.479 s c =============================================================================== c | 16689 | 221 1037 4172 | 5000 3139 12 | 7.927 % | c | 16789 | 221 1037 4172 | 5500 3239 13 | 7.936 % | c | 16940 | 221 1037 4172 | 6050 3390 13 | 7.929 % | c | 17166 | 221 1037 4172 | 6655 3616 14 | 7.924 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 3.60045 s Remaining CPU time: 176.4 s c =============================================================================== c | 17196 | 221 1038 4407 | 5000 3646 14 | 7.924 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 3.60245 s Remaining CPU time: 176.398 s c =============================================================================== c | 17205 | 221 1039 4642 | 5000 3655 14 | 7.924 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 3.60345 s Remaining CPU time: 176.397 s c =============================================================================== c | 17207 | 221 1040 4877 | 5000 3657 14 | 7.924 % | c | 17307 | 220 1040 4877 | 5500 3757 15 | 8.337 % | c | 17457 | 220 1040 4877 | 6050 3907 15 | 8.340 % | c | 17683 | 219 1040 4877 | 6655 3736 14 | 8.759 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 3.72243 s Remaining CPU time: 176.278 s c =============================================================================== c | 17878 | 218 1041 5112 | 5000 3931 15 | 8.759 % | c | 17979 | 218 1041 5112 | 5500 4032 15 | 9.219 % | c | 18130 | 218 1041 5112 | 6050 4183 16 | 9.604 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 3.79542 s Remaining CPU time: 176.205 s c =============================================================================== c | 18305 | 216 1042 5347 | 5000 4358 16 | 9.604 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 3.79742 s Remaining CPU time: 176.203 s c =============================================================================== c | 18312 | 216 1043 5582 | 5000 4365 16 | 9.604 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 3.79842 s Remaining CPU time: 176.202 s c =============================================================================== c | 18312 | 216 1044 5817 | 5000 4365 16 | 9.604 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 3.79842 s Remaining CPU time: 176.202 s c =============================================================================== c | 18313 | 216 1045 6052 | 5000 4366 16 | 9.604 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 3.79842 s Remaining CPU time: 176.202 s c =============================================================================== c | 18314 | 216 1046 6287 | 5000 4367 16 | 9.604 % | c | 18414 | 210 1046 6287 | 5500 4467 16 | 12.962 % | c =============================================================================== c Total CPU time: 3.83742 s