c wbo 1.4 beta - 20100610 c | Number of variables: 400 | c | Number of clauses: 407 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 400 | c | Number Clauses: 197 | 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 | 394 197 2810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 394 198 3020 | 5000 1 12 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 25 | 394 199 3230 | 5000 25 48 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 25 | 394 200 3440 | 5000 25 48 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 32 | 394 201 3650 | 5000 32 47 | 0.000 % | c | 134 | 394 201 3650 | 5500 134 45 | 1.501 % | c | 284 | 394 201 3650 | 6050 284 43 | 1.501 % | c | 509 | 394 201 3650 | 6655 509 42 | 1.501 % | c | 847 | 394 201 3650 | 7320 847 40 | 1.501 % | c | 1354 | 394 201 3650 | 8052 1354 40 | 1.501 % | c | 2113 | 394 201 3650 | 8857 2113 40 | 1.501 % | c | 3252 | 394 201 3650 | 9743 3252 40 | 1.501 % | c | 4962 | 394 201 3650 | 10717 4962 41 | 1.501 % | c | 7524 | 394 201 3650 | 11789 7524 41 | 1.501 % | c | 11370 | 394 201 3650 | 12968 11370 39 | 1.501 % | c | 17137 | 394 201 3650 | 14265 10577 45 | 1.501 % | c | 25787 | 394 201 3650 | 15692 12013 41 | 1.501 % | c | 38761 | 394 201 3650 | 17261 9136 54 | 1.501 % | c | 58223 | 394 201 3650 | 18987 11195 39 | 1.501 % | c | 87422 | 394 201 3650 | 20886 11667 57 | 1.501 % | c | 131214 | 394 201 3650 | 22974 13377 42 | 1.501 % | c | 196898 | 394 201 3650 | 25272 18536 41 | 1.501 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 49.5275 s Remaining CPU time: 130.473 s c =============================================================================== c | 286012 | 394 202 3860 | 5000 22096 44 | 1.501 % | c | 286115 | 394 202 3860 | 5500 2807 40 | 1.501 % | c | 286266 | 394 202 3860 | 6050 2958 39 | 1.501 % | c | 286491 | 394 202 3860 | 6655 3183 40 | 1.501 % | c | 286828 | 394 202 3860 | 7320 3520 40 | 1.501 % | c | 287336 | 394 202 3860 | 8052 4028 40 | 1.501 % | c | 288095 | 394 202 3860 | 8857 4787 40 | 1.501 % | c | 289237 | 394 202 3860 | 9743 5929 41 | 1.501 % | c | 290945 | 394 202 3860 | 10717 7637 41 | 1.501 % | c | 293507 | 394 202 3860 | 11789 10199 41 | 1.501 % | c | 297351 | 394 202 3860 | 12968 8084 39 | 1.501 % | c | 303117 | 394 202 3860 | 14265 7298 43 | 1.501 % | c | 311766 | 394 202 3860 | 15692 8745 34 | 1.501 % | c | 324742 | 394 202 3860 | 17261 13815 47 | 1.501 % | c | 344203 | 394 202 3860 | 18987 15885 44 | 1.501 % | c | 373396 | 394 202 3860 | 20886 16373 43 | 1.501 % | c | 417186 | 394 202 3860 | 22974 18086 41 | 1.501 % | c | 482870 | 394 202 3860 | 25272 11748 52 | 1.501 % | c | 581397 | 394 202 3860 | 27799 23617 46 | 1.501 % | c | 729187 | 394 202 3860 | 30579 19804 47 | 1.501 % | c There are 6 assigned variables. 6 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 392 415 3094 | 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 | 460 416 3894 | 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 | 625 417 4307 | 5000 0 nan | 0.000 % | c | 102 | 625 417 4307 | 5500 102 48 | 6.297 % | c | 252 | 625 417 4307 | 6050 252 55 | 6.297 % | c | 480 | 625 417 4307 | 6655 480 52 | 6.297 % | c | 820 | 625 417 4307 | 7320 820 46 | 6.297 % | c | 1326 | 625 417 4307 | 8052 1326 43 | 6.297 % | c | 2086 | 624 417 4307 | 8857 2084 38 | 6.447 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 788 418 4746 | 5000 0 nan | 0.000 % | c | 106 | 788 418 4746 | 5500 106 98 | 3.075 % | c | 260 | 788 418 4746 | 6050 260 71 | 3.075 % | c | 486 | 788 418 4746 | 6655 486 68 | 3.075 % | c | 825 | 788 418 4746 | 7320 825 71 | 3.075 % | c | 1335 | 788 418 4746 | 8052 1335 72 | 3.075 % | c | 2096 | 788 418 4746 | 8857 2096 70 | 3.075 % | c | 3236 | 788 418 4746 | 9743 3236 67 | 3.075 % | c | 4948 | 788 418 4746 | 10717 4948 68 | 3.075 % | c | 7510 | 788 418 4746 | 11789 7510 69 | 3.075 % | c | 11356 | 788 418 4746 | 12968 11356 69 | 3.075 % | c | 17122 | 788 418 4746 | 14265 10595 62 | 3.075 % | c | 25772 | 788 418 4746 | 15692 12071 63 | 3.075 % | c | 38746 | 788 418 4746 | 17261 9221 75 | 3.075 % | c | 58212 | 788 418 4746 | 18987 11220 80 | 3.075 % | c | 87404 | 787 418 4746 | 20886 5554 63 | 3.198 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 957 419 5320 | 5000 0 nan | 0.000 % | c | 101 | 957 419 5320 | 5500 101 169 | 1.543 % | c | 251 | 957 419 5320 | 6050 251 104 | 1.543 % | c | 478 | 957 419 5320 | 6655 478 86 | 1.543 % | c | 818 | 957 419 5320 | 7320 818 92 | 1.543 % | c | 1324 | 957 419 5320 | 8052 1324 102 | 1.543 % | c | 2087 | 957 419 5320 | 8857 2087 110 | 1.543 % | c | 3226 | 957 419 5320 | 9743 3226 107 | 1.543 % | c | 4934 | 957 419 5320 | 10717 4934 111 | 1.543 % | c =============================================================================== c Total CPU time: 219.997 s