c wbo 1.4 beta - 20100610 c | Number of variables: 50 | c | Number of clauses: 150 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 50 | 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 | 50 100 1000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 0 | 50 101 1050 | 5000 0 nan | 0.000 % | c | 101 | 50 101 1050 | 5500 101 25 | 0.041 % | c | 251 | 50 101 1050 | 6050 251 24 | 0.041 % | c | 477 | 50 101 1050 | 6655 477 25 | 0.041 % | c | 815 | 50 101 1050 | 7320 815 24 | 0.041 % | c | 1323 | 50 101 1050 | 8052 1323 24 | 0.041 % | c | 2084 | 50 101 1050 | 8857 2084 24 | 0.041 % | c | 3223 | 50 101 1050 | 9743 3223 24 | 0.041 % | c | 4934 | 50 101 1050 | 10717 4934 24 | 0.041 % | c | 7498 | 50 101 1050 | 11789 7498 24 | 0.041 % | c | 11342 | 50 101 1050 | 12968 11342 24 | 0.041 % | c | 17108 | 50 101 1050 | 14265 10608 24 | 0.041 % | c | 25757 | 50 101 1050 | 15692 12109 24 | 0.041 % | c | 38733 | 50 101 1050 | 17261 9362 23 | 0.041 % | c | 58195 | 50 101 1050 | 18987 11534 24 | 0.041 % | c | 87388 | 50 101 1050 | 20886 12200 23 | 0.041 % | c | 131178 | 50 101 1050 | 22974 14158 23 | 0.041 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 21.1238 s Remaining CPU time: 158.876 s c =============================================================================== c | 144993 | 50 102 1100 | 5000 15999 23 | 0.041 % | c | 145093 | 50 102 1100 | 5500 4100 23 | 0.041 % | c | 145245 | 50 102 1100 | 6050 4252 23 | 0.041 % | c | 145470 | 50 102 1100 | 6655 4477 23 | 0.041 % | c | 145807 | 50 102 1100 | 7320 4814 23 | 0.041 % | c | 146313 | 50 102 1100 | 8052 5320 23 | 0.041 % | c | 147073 | 50 102 1100 | 8857 6080 23 | 0.041 % | c | 148213 | 50 102 1100 | 9743 7220 23 | 0.041 % | c | 149921 | 50 102 1100 | 10717 8928 23 | 0.041 % | c | 152483 | 50 102 1100 | 11789 6117 22 | 0.041 % | c | 156328 | 50 102 1100 | 12968 9962 22 | 0.041 % | c | 162095 | 50 102 1100 | 14265 9230 22 | 0.041 % | c | 170744 | 50 102 1100 | 15692 10734 22 | 0.041 % | c | 183719 | 50 102 1100 | 17261 7989 21 | 0.041 % | c | 203182 | 50 102 1100 | 18987 10163 21 | 0.041 % | c | 232374 | 50 102 1100 | 20886 10835 21 | 0.041 % | c | 276164 | 50 102 1100 | 22974 12793 21 | 0.041 % | c | 341849 | 50 102 1100 | 25272 19628 21 | 0.041 % | c | 440375 | 50 102 1100 | 27799 19543 21 | 0.041 % | c | 588165 | 50 102 1100 | 30579 20416 20 | 0.041 % | c | 809848 | 50 102 1100 | 33637 13989 19 | 0.041 % | 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 | 74 156 1262 | 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 | 129 157 1360 | 5000 0 nan | 0.000 % | c | 102 | 129 157 1360 | 5500 102 33 | 1.533 % | c | 254 | 129 157 1360 | 6050 254 29 | 1.533 % | c | 480 | 129 157 1360 | 6655 480 27 | 1.538 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 181 158 1462 | 5000 0 nan | 0.000 % | c | 101 | 181 158 1462 | 5500 101 51 | 0.003 % | c | 251 | 181 158 1462 | 6050 251 47 | 0.003 % | c | 476 | 181 158 1462 | 6655 476 43 | 0.003 % | c | 816 | 181 158 1462 | 7320 816 39 | 0.003 % | c | 1326 | 181 158 1462 | 8052 1326 38 | 0.003 % | c | 2086 | 181 158 1462 | 8857 2086 35 | 0.003 % | c | 3228 | 181 158 1462 | 9743 3228 34 | 0.003 % | c | 4936 | 181 158 1462 | 10717 4936 34 | 0.003 % | c | 7498 | 181 158 1462 | 11789 7498 32 | 0.003 % | c | 11344 | 181 158 1462 | 12968 11344 33 | 0.003 % | c | 17110 | 181 158 1462 | 14265 10598 31 | 0.003 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 231 159 1562 | 5000 0 nan | 0.000 % | c | 102 | 231 159 1562 | 5500 102 73 | 0.002 % | c | 254 | 231 159 1562 | 6050 254 59 | 0.002 % | c | 482 | 231 159 1562 | 6655 482 41 | 0.002 % | c | 820 | 231 159 1562 | 7320 820 34 | 0.002 % | c | 1329 | 231 159 1562 | 8052 1329 29 | 0.002 % | c | 2088 | 231 159 1562 | 8857 2088 27 | 0.002 % | c | 3229 | 231 159 1562 | 9743 3229 25 | 0.002 % | c | 4940 | 231 159 1562 | 10717 4940 24 | 0.002 % | c | 7502 | 231 159 1562 | 11789 7502 23 | 0.002 % | c | 11347 | 231 159 1562 | 12968 11347 23 | 0.002 % | c | 17113 | 231 159 1562 | 14265 10614 22 | 0.002 % | c | 25765 | 231 159 1562 | 15692 12122 22 | 0.002 % | c | 38740 | 231 159 1562 | 17261 9376 20 | 0.002 % | c | 58202 | 231 159 1562 | 18987 11550 21 | 0.002 % | c | 87395 | 231 159 1562 | 20886 12221 21 | 0.002 % | c | 131184 | 231 159 1562 | 22974 14184 21 | 0.002 % | c | 196869 | 231 159 1562 | 25272 20511 21 | 0.002 % | c | 295397 | 231 159 1562 | 27799 21957 20 | 0.002 % | c | 443187 | 231 159 1562 | 30579 21681 20 | 0.002 % | c | 664874 | 231 159 1562 | 33637 14897 19 | 0.002 % | c | 997399 | 231 159 1562 | 37001 18602 18 | 0.002 % | c | 1496188 | 231 159 1562 | 40701 14530 20 | 0.002 % |