c wbo 1.4 beta - 20100610 c | Number of variables: 120 | c | Number of clauses: 255 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 120 | c | Number Clauses: 200 | 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 | 90 230 360 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 90 231 415 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 1 | 90 232 470 | 5000 1 30 | 0.000 % | c | 101 | 90 232 470 | 5500 101 13 | 25.007 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 116 | 90 233 525 | 5000 116 13 | 25.007 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 120 | 90 234 580 | 5000 120 13 | 25.007 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 123 | 90 235 635 | 5000 123 13 | 25.007 % | c | 223 | 90 235 635 | 5500 223 13 | 25.007 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 244 | 90 236 690 | 5000 244 14 | 25.007 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 329 | 90 237 745 | 5000 329 14 | 25.007 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 348 | 90 238 800 | 5000 348 14 | 25.007 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 385 | 90 239 855 | 5000 385 14 | 25.007 % | c | 486 | 90 239 855 | 5500 486 14 | 25.161 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 493 | 90 240 910 | 5000 493 14 | 25.161 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 498 | 90 241 965 | 5000 498 14 | 25.161 % | c | 599 | 90 241 965 | 5500 599 15 | 25.014 % | c | 750 | 90 241 965 | 6050 750 15 | 25.008 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 818 | 90 242 1020 | 5000 818 15 | 25.008 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 877 | 90 243 1075 | 5000 877 15 | 25.008 % | c | 978 | 90 243 1075 | 5500 978 14 | 25.119 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1094 | 88 244 1130 | 5000 1002 14 | 25.119 % | c | 1195 | 87 244 1130 | 5500 1103 14 | 28.411 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1246 | 86 245 1185 | 5000 1154 14 | 28.411 % | c | 1348 | 86 245 1185 | 5500 1256 14 | 28.340 % | c | 1500 | 85 245 1185 | 6050 1408 14 | 30.104 % | c =============================================================================== c Total CPU time: 0.065989 s