c wbo 1.4 beta - 20100610 c | Number of variables: 96 | c | Number of clauses: 139 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 96 | 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 | 96 50 484 | 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 | 0 | 96 51 573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 96 52 662 | 5000 0 nan | 0.000 % | c | 101 | 96 52 662 | 5500 101 31 | 0.011 % | c | 255 | 96 52 662 | 6050 255 25 | 0.011 % | c | 481 | 96 52 662 | 6655 481 24 | 0.011 % | c | 818 | 96 52 662 | 7320 818 23 | 0.011 % | c | 1325 | 96 52 662 | 8052 1325 22 | 0.011 % | c | 2084 | 96 52 662 | 8857 2084 22 | 0.011 % | c | 3224 | 96 52 662 | 9743 3224 23 | 0.011 % | c | 4933 | 96 52 662 | 10717 4933 23 | 0.011 % | c | 7496 | 96 52 662 | 11789 7496 23 | 0.011 % | c | 11340 | 96 52 662 | 12968 11340 23 | 0.011 % | c | 17107 | 96 52 662 | 14265 10598 23 | 0.011 % | c | 25757 | 96 52 662 | 15692 12092 23 | 0.011 % | c | 38732 | 96 52 662 | 17261 9335 24 | 0.011 % | c | 58193 | 96 52 662 | 18987 11494 24 | 0.011 % | c | 87387 | 96 52 662 | 20886 12151 22 | 0.011 % | c | 131176 | 96 52 662 | 22974 14079 24 | 0.011 % | c | 196860 | 96 52 662 | 25272 21042 23 | 0.011 % | c | 295386 | 96 52 662 | 27799 22143 24 | 0.011 % | c | 443175 | 96 52 662 | 30579 23420 24 | 0.011 % | c | 664859 | 96 52 662 | 33637 18193 22 | 0.011 % | 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 | 149 145 964 | 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 | 200 146 1057 | 5000 0 nan | 0.000 % | c | 112 | 200 146 1057 | 5500 112 34 | 4.309 % | c | 265 | 200 146 1057 | 6050 265 27 | 4.315 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 290 147 1229 | 5000 0 nan | 0.000 % | c | 102 | 290 147 1229 | 5500 102 54 | 0.345 % | c | 252 | 290 147 1229 | 6050 252 56 | 0.345 % | c | 478 | 290 147 1229 | 6655 478 52 | 0.345 % | c | 820 | 290 147 1229 | 7320 820 46 | 0.345 % | c | 1326 | 290 147 1229 | 8052 1326 43 | 0.345 % | c | 2085 | 290 147 1229 | 8857 2085 41 | 0.345 % | c | 3227 | 290 147 1229 | 9743 3227 40 | 0.345 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 378 148 1404 | 5000 0 nan | 0.000 % | c | 107 | 378 148 1404 | 5500 107 95 | 0.001 % | c | 260 | 378 148 1404 | 6050 260 69 | 0.001 % | c | 486 | 378 148 1404 | 6655 486 47 | 0.001 % | c | 825 | 378 148 1404 | 7320 825 36 | 0.001 % | c | 1333 | 378 148 1404 | 8052 1333 31 | 0.001 % | c | 2094 | 378 148 1404 | 8857 2094 28 | 0.001 % | c | 3235 | 378 148 1404 | 9743 3235 26 | 0.001 % | c | 4945 | 378 148 1404 | 10717 4945 25 | 0.001 % | c | 7507 | 378 148 1404 | 11789 7507 24 | 0.001 % | c | 11351 | 378 148 1404 | 12968 11351 24 | 0.001 % | c | 17118 | 378 148 1404 | 14265 10608 22 | 0.001 % | c | 25768 | 378 148 1404 | 15692 12104 21 | 0.001 % | c | 38742 | 378 148 1404 | 17261 9348 22 | 0.001 % | c | 58204 | 378 148 1404 | 18987 11496 24 | 0.001 % | c | 87399 | 378 148 1404 | 20886 12153 23 | 0.001 % | c | 131188 | 378 148 1404 | 22974 14081 21 | 0.001 % | c | 196873 | 378 148 1404 | 25272 20935 23 | 0.001 % | c | 295400 | 378 148 1404 | 27799 22136 23 | 0.001 % | c | 443190 | 378 148 1404 | 30579 23349 23 | 0.001 % | c | 664873 | 378 148 1404 | 33637 27429 100 | 0.001 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 467 149 1582 | 5000 0 nan | 0.000 % | c | 101 | 467 149 1582 | 5500 101 100 | 0.000 % | c | 251 | 467 149 1582 | 6050 251 85 | 0.000 % | c | 476 | 467 149 1582 | 6655 476 88 | 0.000 % | c | 813 | 467 149 1582 | 7320 813 86 | 0.000 % | c | 1319 | 467 149 1582 | 8052 1319 87 | 0.000 % | c | 2078 | 467 149 1582 | 8857 2078 86 | 0.000 % | c | 3217 | 467 149 1582 | 9743 3217 90 | 0.000 % | c | 4926 | 467 149 1582 | 10717 4926 86 | 0.000 % | c | 7488 | 467 149 1582 | 11789 7488 85 | 0.000 % | c | 11336 | 467 149 1582 | 12968 11336 88 | 0.000 % | c | 17103 | 467 149 1582 | 14265 10576 84 | 0.000 % | c | 25754 | 467 149 1582 | 15692 12019 83 | 0.000 % | c | 38729 | 467 149 1582 | 17261 9164 81 | 0.000 % | c | 58190 | 467 149 1582 | 18987 11263 87 | 0.000 % | c | 87389 | 467 149 1582 | 20886 11808 94 | 0.000 % | c | 131178 | 467 149 1582 | 22974 13516 107 | 0.000 % |