c wbo 1.4 beta - 20100610 c | Number of variables: 239 | c | Number of clauses: 276 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 239 | c | Number Clauses: 50 | 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 | 239 50 4709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 239 51 4935 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 1 | 239 52 5161 | 5000 1 141 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 1 | 239 53 5387 | 5000 1 141 | 0.000 % | c | 104 | 239 53 5387 | 5500 104 147 | 0.002 % | c | 255 | 239 53 5387 | 6050 255 134 | 0.002 % | c | 490 | 239 53 5387 | 6655 490 137 | 0.002 % | c | 828 | 239 53 5387 | 7320 828 130 | 0.002 % | c | 1334 | 239 53 5387 | 8052 1334 117 | 0.002 % | c | 2093 | 239 53 5387 | 8857 2093 120 | 0.002 % | c | 3233 | 239 53 5387 | 9743 3233 119 | 0.002 % | c | 4941 | 239 53 5387 | 10717 4941 118 | 0.002 % | c | 7507 | 239 53 5387 | 11789 7507 117 | 0.002 % | c | 11351 | 239 53 5387 | 12968 11351 116 | 0.002 % | c | 17117 | 239 53 5387 | 14265 10548 127 | 0.002 % | c | 25768 | 239 53 5387 | 15692 11967 121 | 0.002 % | c | 38743 | 239 53 5387 | 17261 9067 103 | 0.002 % | c | 58204 | 239 53 5387 | 18987 11083 121 | 0.002 % | c | 87397 | 239 53 5387 | 20886 11532 119 | 0.002 % | c | 131186 | 239 53 5387 | 22974 13215 101 | 0.002 % | c | 196870 | 239 53 5387 | 25272 19447 90 | 0.002 % | c | 295397 | 239 53 5387 | 27799 18301 100 | 0.002 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 93.7637 s Remaining CPU time: 86.2363 s c =============================================================================== c | 298409 | 239 54 5613 | 5000 21313 99 | 0.002 % | c | 298509 | 239 54 5613 | 5500 2765 94 | 0.002 % | c | 298660 | 239 54 5613 | 6050 2916 94 | 0.002 % | c | 298891 | 239 54 5613 | 6655 3147 94 | 0.002 % | c | 299228 | 239 54 5613 | 7320 3484 98 | 0.002 % | c | 299736 | 239 54 5613 | 8052 3992 101 | 0.002 % | c | 300497 | 239 54 5613 | 8857 4753 103 | 0.002 % | c | 301638 | 239 54 5613 | 9743 5894 103 | 0.002 % | c | 303346 | 239 54 5613 | 10717 7602 108 | 0.002 % | c | 305908 | 239 54 5613 | 11789 10164 103 | 0.002 % | c | 309753 | 239 54 5613 | 12968 8042 107 | 0.002 % | c | 315522 | 239 54 5613 | 14265 7245 110 | 0.002 % | c | 324179 | 239 54 5613 | 15692 8714 104 | 0.002 % | c | 337156 | 239 54 5613 | 17261 13768 108 | 0.002 % | c | 356619 | 239 54 5613 | 18987 15810 98 | 0.002 % | c | 385811 | 239 54 5613 | 20886 16293 102 | 0.002 % | c | 429609 | 239 54 5613 | 22974 18040 89 | 0.002 % | c | 495294 | 239 54 5613 | 25272 12869 105 | 0.002 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 321 284 6301 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 527 285 6649 | 5000 0 nan | 0.000 % | c | 102 | 527 285 6649 | 5500 102 91 | 1.496 % | c | 254 | 527 285 6649 | 6050 254 97 | 1.496 % | c | 479 | 527 285 6649 | 6655 479 93 | 1.496 % | c | 816 | 527 285 6649 | 7320 816 87 | 1.496 % | c | 1326 | 527 285 6649 | 8052 1326 81 | 1.496 % | c =============================================================================== c Total CPU time: 180.887 s