c wbo 1.4 beta - 20100610 c | Number of variables: 4536 | c | Number of clauses: 16502 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 4536 | c | Number Clauses: 16292 | 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 | 4491 16337 41047 | 5430 0 nan | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 1.81572 s Remaining CPU time: 178.184 s c =============================================================================== c | 71 | 4491 16338 41257 | 5446 71 7 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 1.82472 s Remaining CPU time: 178.175 s c =============================================================================== c | 86 | 4491 16339 41467 | 5446 86 6 | 0.000 % | c | 187 | 4491 16339 41467 | 5990 187 23 | 0.992 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 297 | 4491 16340 41677 | 5446 297 26 | 0.992 % | c | 399 | 4491 16340 41677 | 5991 399 27 | 0.992 % | c | 549 | 4491 16340 41677 | 6590 549 29 | 0.992 % | c | 774 | 4491 16340 41677 | 7249 774 31 | 0.992 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 1027 | 4491 16341 41887 | 5447 1027 39 | 0.992 % | c | 1128 | 4491 16341 41887 | 5991 1128 40 | 0.992 % | c | 1279 | 4491 16341 41887 | 6590 1279 40 | 0.992 % | c | 1504 | 4491 16341 41887 | 7249 1504 40 | 0.992 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s c =============================================================================== c | 1726 | 4491 16342 42097 | 5447 1726 37 | 0.992 % | c | 1826 | 4491 16342 42097 | 5992 1826 39 | 0.992 % | c | 1977 | 4491 16342 42097 | 6591 1977 38 | 0.992 % | c | 2202 | 4491 16342 42097 | 7250 2202 39 | 0.992 % | c | 2540 | 4491 16342 42097 | 7975 2540 42 | 0.992 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 2.55761 s Remaining CPU time: 177.442 s c =============================================================================== c | 2707 | 4491 16343 42307 | 5447 2707 41 | 0.992 % | c | 2808 | 4491 16343 42307 | 5992 2808 41 | 0.992 % | c | 2958 | 4491 16343 42307 | 6591 2958 41 | 0.992 % | c | 3183 | 4491 16343 42307 | 7250 3183 42 | 0.992 % | c | 3521 | 4491 16343 42307 | 7975 3521 43 | 0.992 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 3603 | 4491 16344 42517 | 5448 3603 43 | 0.992 % | c | 3704 | 4491 16344 42517 | 5992 3704 43 | 0.992 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 2.96255 s Remaining CPU time: 177.037 s c =============================================================================== c | 3747 | 4491 16345 42727 | 5448 3747 43 | 0.992 % | c | 3850 | 4491 16345 42727 | 5993 3850 43 | 0.992 % | c | 4002 | 4491 16345 42727 | 6592 4002 44 | 0.992 % | c | 4229 | 4491 16345 42727 | 7251 4229 44 | 0.992 % | c | 4568 | 4491 16345 42727 | 7976 4568 46 | 0.992 % | c | 5075 | 4491 16345 42727 | 8774 5075 48 | 0.992 % | c | 5834 | 4491 16345 42727 | 9652 5834 49 | 0.992 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 3.9794 s Remaining CPU time: 176.021 s c =============================================================================== c | 6105 | 4491 16346 42937 | 5448 6105 49 | 0.992 % | c | 6207 | 4491 16346 42937 | 5993 3155 35 | 0.992 % | c | 6358 | 4491 16346 42937 | 6592 3306 37 | 0.992 % | c | 6584 | 4491 16346 42937 | 7252 3532 40 | 0.992 % | c | 6921 | 4491 16346 42937 | 7977 3869 45 | 0.992 % | c | 7428 | 4491 16346 42937 | 8775 4376 49 | 0.992 % | c | 8187 | 4491 16346 42937 | 9652 5135 58 | 0.992 % | c | 9328 | 4491 16346 42937 | 10617 6276 61 | 0.992 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 5.65514 s Remaining CPU time: 174.345 s c =============================================================================== c | 9892 | 4491 16347 43147 | 5449 6840 62 | 0.992 % | c | 9994 | 4491 16347 43147 | 5993 3522 42 | 0.992 % | c | 10145 | 4491 16347 43147 | 6593 3673 43 | 0.992 % | c | 10370 | 4491 16347 43147 | 7252 3898 45 | 0.992 % | c | 10707 | 4491 16347 43147 | 7977 4235 45 | 0.992 % | c | 11213 | 4491 16347 43147 | 8775 4741 47 | 0.992 % | c | 11972 | 4491 16347 43147 | 9653 5500 48 | 0.992 % | c | 13111 | 4491 16347 43147 | 10618 6639 47 | 0.992 % | c | 14819 | 4491 16347 43147 | 11680 8347 49 | 0.993 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 7.70783 s Remaining CPU time: 172.292 s c =============================================================================== c | 14826 | 4491 16348 43357 | 5449 8354 49 | 0.993 % | c | 14926 | 4463 16348 43357 | 5994 2321 17 | 1.609 % | c | 15076 | 4463 16348 43357 | 6593 2471 19 | 1.609 % | c | 15301 | 4463 16348 43357 | 7253 2696 23 | 1.609 % | c | 15638 | 4463 16348 43357 | 7978 3033 25 | 1.609 % | c | 16144 | 4463 16348 43357 | 8776 3539 29 | 1.610 % | c | 16903 | 4460 16348 43357 | 9653 4015 35 | 1.675 % | c | 18043 | 4457 16348 43357 | 10619 4685 34 | 1.742 % | c =============================================================================== c Total CPU time: 9.56255 s