c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 200 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 100 | c | Number Clauses: 100 | 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 | 100 100 1968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 100 101 2068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 9 | 100 102 2168 | 5000 9 43 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 33 | 100 103 2268 | 5000 33 41 | 0.000 % | c | 133 | 100 103 2268 | 5500 133 42 | 0.010 % | c | 283 | 100 103 2268 | 6050 283 44 | 0.010 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 413 | 100 104 2368 | 5000 413 42 | 0.010 % | c | 514 | 100 104 2368 | 5500 514 41 | 0.010 % | c | 664 | 100 104 2368 | 6050 664 39 | 0.010 % | c | 892 | 100 104 2368 | 6655 892 40 | 0.010 % | c | 1230 | 100 104 2368 | 7320 1230 40 | 0.010 % | c | 1736 | 100 104 2368 | 8052 1736 41 | 0.010 % | c | 2495 | 100 104 2368 | 8857 2495 40 | 0.010 % | c | 3636 | 100 104 2368 | 9743 3636 40 | 0.010 % | c | 5348 | 100 104 2368 | 10717 5348 40 | 0.010 % | c | 7911 | 100 104 2368 | 11789 7911 40 | 0.010 % | c | 11755 | 100 104 2368 | 12968 11755 38 | 0.010 % | c | 17521 | 100 104 2368 | 14265 11001 37 | 0.010 % | c | 26173 | 100 104 2368 | 15692 12486 39 | 0.010 % | c | 39147 | 100 104 2368 | 17261 9699 39 | 0.010 % | c | 58609 | 100 104 2368 | 18987 11831 36 | 0.010 % | c | 87801 | 100 104 2368 | 20886 12448 38 | 0.010 % | c | 131590 | 100 104 2368 | 22974 14338 39 | 0.010 % | c | 197275 | 100 104 2368 | 25272 21120 38 | 0.010 % | c | 295802 | 100 104 2368 | 27799 22664 38 | 0.010 % | c | 443592 | 100 104 2368 | 30579 25776 37 | 0.010 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 91.1012 s Remaining CPU time: 88.8988 s c =============================================================================== c | 450799 | 100 105 2468 | 5000 13761 36 | 0.010 % | c | 450899 | 100 105 2468 | 5500 3541 38 | 0.010 % | c | 451051 | 100 105 2468 | 6050 3693 38 | 0.010 % | c | 451276 | 100 105 2468 | 6655 3918 37 | 0.010 % | c | 451613 | 100 105 2468 | 7320 4255 37 | 0.010 % | c | 452119 | 100 105 2468 | 8052 4761 37 | 0.010 % | c | 452878 | 100 105 2468 | 8857 5520 35 | 0.010 % | c | 454020 | 100 105 2468 | 9743 6662 34 | 0.010 % | c | 455731 | 100 105 2468 | 10717 8373 34 | 0.010 % | c | 458294 | 100 105 2468 | 11789 5547 31 | 0.010 % | c | 462142 | 100 105 2468 | 12968 9395 32 | 0.010 % | c | 467908 | 100 105 2468 | 14265 8647 33 | 0.010 % | c | 476558 | 100 105 2468 | 15692 10132 36 | 0.010 % | c | 489533 | 100 105 2468 | 17261 15233 33 | 0.010 % | c | 508995 | 100 105 2468 | 18987 8711 35 | 0.010 % | c | 538187 | 100 105 2468 | 20886 18848 35 | 0.010 % | c | 581978 | 100 105 2468 | 22974 20762 33 | 0.010 % | c | 647663 | 100 105 2468 | 25272 16228 32 | 0.010 % | c | 746189 | 100 105 2468 | 27799 16863 32 | 0.010 % | c | 893978 | 100 105 2468 | 30579 17559 31 | 0.010 % | 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 | 94 210 2709 | 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 | 173 211 2835 | 5000 0 nan | 0.000 % | c | 107 | 151 211 2835 | 5500 62 37 | 23.196 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 291 212 3051 | 5000 0 nan | 0.000 % | c | 100 | 291 212 3051 | 5500 100 74 | 0.344 % | c | 251 | 291 212 3051 | 6050 251 67 | 0.344 % | c | 477 | 291 212 3051 | 6655 477 60 | 0.344 % | c | 820 | 291 212 3051 | 7320 820 57 | 0.344 % | c | 1326 | 291 212 3051 | 8052 1326 53 | 0.344 % | c | 2086 | 291 212 3051 | 8857 2086 50 | 0.344 % | c | 3228 | 291 212 3051 | 9743 3228 48 | 0.344 % | c | 4939 | 291 212 3051 | 10717 4939 48 | 0.344 % | c | 7502 | 291 212 3051 | 11789 7502 47 | 0.344 % | c | 11346 | 291 212 3051 | 12968 11346 47 | 0.344 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 392 213 3252 | 5000 0 nan | 0.000 % | c | 101 | 392 213 3252 | 5500 101 107 | 0.001 % | c | 252 | 392 213 3252 | 6050 252 66 | 0.001 % | c | 477 | 392 213 3252 | 6655 477 50 | 0.001 % | c | 814 | 392 213 3252 | 7320 814 43 | 0.001 % | c | 1320 | 392 213 3252 | 8052 1320 40 | 0.001 % | c | 2079 | 392 213 3252 | 8857 2079 40 | 0.001 % | c | 3218 | 392 213 3252 | 9743 3218 40 | 0.001 % | c | 4927 | 392 213 3252 | 10717 4927 39 | 0.001 % | c | 7490 | 392 213 3252 | 11789 7490 37 | 0.001 % | c | 11338 | 392 213 3252 | 12968 11338 35 | 0.001 % | c | 17104 | 392 213 3252 | 14265 10589 32 | 0.001 % | c | 25755 | 392 213 3252 | 15692 12073 33 | 0.001 % | c | 38730 | 392 213 3252 | 17261 9294 34 | 0.001 % | c | 58193 | 392 213 3252 | 18987 11434 31 | 0.001 % | c | 87386 | 392 213 3252 | 20886 12055 34 | 0.001 % | c | 131176 | 392 213 3252 | 22974 13947 32 | 0.001 % | c | 196861 | 392 213 3252 | 25272 20460 59 | 0.001 % | c | 295393 | 392 213 3252 | 27799 16078 99 | 0.001 % | c | 443183 | 392 213 3252 | 30579 27501 95 | 0.001 % |