c wbo 1.4 beta - 20100610 c | Number of variables: 163 | c | Number of clauses: 6396 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 163 | c | Number Clauses: 6233 | 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 | 163 6233 12466 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 85068 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 163 6234 12629 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 84382 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 163 6235 12792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 83749 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 51 | 163 6236 12955 | 5000 51 136 | 0.000 % | c | 182 | 163 6236 12955 | 5500 182 138 | 0.004 % | c =============================================================================== c New solution: 83530 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 200 | 163 6237 13118 | 5000 200 139 | 0.004 % | c | 317 | 163 6237 13118 | 5500 317 143 | 0.004 % | c | 476 | 163 6237 13118 | 6050 476 145 | 0.004 % | c | 701 | 163 6237 13118 | 6655 701 148 | 0.004 % | c | 1040 | 163 6237 13118 | 7320 1040 149 | 0.004 % | c | 1546 | 163 6237 13118 | 8052 1546 150 | 0.004 % | c | 2306 | 163 6237 13118 | 8857 2306 151 | 0.004 % | c | 3448 | 163 6237 13118 | 9743 3448 151 | 0.004 % | c | 5159 | 163 6237 13118 | 10717 5159 151 | 0.004 % | c =============================================================================== c New solution: 83232 c Elapsed CPU time: 4.82727 s Remaining CPU time: 175.173 s c =============================================================================== c | 6994 | 163 6238 13281 | 5000 6994 151 | 0.004 % | c | 7095 | 163 6238 13281 | 5500 3598 151 | 0.004 % | c | 7257 | 163 6238 13281 | 6050 3760 151 | 0.004 % | c | 7482 | 163 6238 13281 | 6655 3985 151 | 0.004 % | c | 7821 | 163 6238 13281 | 7320 4324 151 | 0.004 % | c | 8342 | 163 6238 13281 | 8052 4845 151 | 0.004 % | c | 9121 | 163 6238 13281 | 8857 5624 150 | 0.004 % | c =============================================================================== c New solution: 83071 c Elapsed CPU time: 7.44587 s Remaining CPU time: 172.554 s c =============================================================================== c | 9611 | 163 6239 13444 | 5000 6114 150 | 0.004 % | c | 9715 | 163 6239 13444 | 5500 3161 148 | 0.004 % | c | 9877 | 163 6239 13444 | 6050 3323 148 | 0.004 % | c | 10106 | 163 6239 13444 | 6655 3552 148 | 0.004 % | c | 10444 | 163 6239 13444 | 7320 3890 148 | 0.004 % | c | 10966 | 163 6239 13444 | 8052 4412 148 | 0.004 % | c | 11745 | 163 6239 13444 | 8857 5191 147 | 0.004 % | c | 12887 | 163 6239 13444 | 9743 6333 147 | 0.004 % | c | 14597 | 163 6239 13444 | 10717 8043 146 | 0.004 % | c =============================================================================== c New solution: 83018 c Elapsed CPU time: 15.3107 s Remaining CPU time: 164.689 s c =============================================================================== c | 16076 | 163 6240 13607 | 5000 9522 145 | 0.004 % | c | 16177 | 163 6240 13607 | 5500 4862 142 | 0.004 % | c | 16339 | 163 6240 13607 | 6050 5024 142 | 0.004 % | c | 16576 | 163 6240 13607 | 6655 5261 142 | 0.004 % | c | 16923 | 163 6240 13607 | 7320 5608 142 | 0.004 % | c | 17433 | 163 6240 13607 | 8052 6118 142 | 0.004 % | c | 18196 | 163 6240 13607 | 8857 6881 143 | 0.004 % | c | 19348 | 163 6240 13607 | 9743 8033 143 | 0.004 % | c | 21057 | 163 6240 13607 | 10717 9742 144 | 0.004 % | c | 23619 | 163 6240 13607 | 11789 6865 144 | 0.004 % | c | 27463 | 163 6240 13607 | 12968 10709 144 | 0.004 % | c | 33241 | 163 6240 13607 | 14265 9938 143 | 0.004 % | c | 41896 | 163 6240 13607 | 15692 11381 143 | 0.004 % | c =============================================================================== c New solution: 82546 c Elapsed CPU time: 83.5843 s Remaining CPU time: 96.4157 s c =============================================================================== c | 49397 | 163 6241 13770 | 5000 10979 140 | 0.004 % | c | 49497 | 163 6241 13770 | 5500 2845 136 | 0.004 % | c | 49676 | 163 6241 13770 | 6050 3024 135 | 0.004 % | c | 49904 | 163 6241 13770 | 6655 3252 135 | 0.004 % | c | 50260 | 163 6241 13770 | 7320 3608 134 | 0.004 % | c | 50767 | 163 6241 13770 | 8052 4115 133 | 0.004 % | c | 51531 | 163 6241 13770 | 8857 4879 132 | 0.004 % | c | 52670 | 163 6241 13770 | 9743 6018 132 | 0.004 % | c | 54401 | 163 6241 13770 | 10717 7749 131 | 0.004 % | c =============================================================================== c New solution: 82385 c Elapsed CPU time: 89.1664 s Remaining CPU time: 90.8336 s c =============================================================================== c | 54977 | 163 6242 13933 | 5000 8325 131 | 0.004 % | c | 55086 | 163 6242 13933 | 5500 4272 125 | 0.004 % | c | 55253 | 163 6242 13933 | 6050 4439 126 | 0.004 % | c | 55480 | 163 6242 13933 | 6655 4666 127 | 0.004 % | c | 55821 | 163 6242 13933 | 7320 5007 128 | 0.004 % | c | 56331 | 163 6242 13933 | 8052 5517 130 | 0.004 % | c | 57100 | 163 6242 13933 | 8857 6286 132 | 0.004 % | c | 58247 | 163 6242 13933 | 9743 7433 133 | 0.004 % | c | 59967 | 163 6242 13933 | 10717 9153 135 | 0.004 % | c | 62534 | 163 6242 13933 | 11789 6292 141 | 0.004 % | c | 66384 | 163 6242 13933 | 12968 10142 143 | 0.004 % | c =============================================================================== c Total CPU time: 108.205 s