c wbo 1.4 beta - 20100610 c | Number of variables: 424 | c | Number of clauses: 344 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 424 | c | Number Clauses: 135 | 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 | 423 135 838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 423 136 1047 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 26 | 423 137 1256 | 5000 26 58 | 0.000 % | c | 126 | 423 137 1256 | 5500 126 54 | 0.236 % | c | 276 | 423 137 1256 | 6050 276 56 | 0.237 % | c | 502 | 423 137 1256 | 6655 502 55 | 0.236 % | c | 839 | 423 137 1256 | 7320 839 55 | 0.237 % | c | 1347 | 423 137 1256 | 8052 1347 54 | 0.236 % | c | 2106 | 423 137 1256 | 8857 2106 54 | 0.237 % | c | 3246 | 423 137 1256 | 9743 3246 54 | 0.236 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 3538 | 423 138 1465 | 5000 3538 54 | 0.236 % | c | 3638 | 423 138 1465 | 5500 3638 54 | 0.236 % | c | 3789 | 423 138 1465 | 6050 3789 54 | 0.236 % | c | 4015 | 423 138 1465 | 6655 4015 54 | 0.236 % | c | 4353 | 423 138 1465 | 7320 4353 54 | 0.237 % | c | 4859 | 423 138 1465 | 8052 4859 54 | 0.236 % | c | 5619 | 423 138 1465 | 8857 5619 54 | 0.236 % | c | 6759 | 423 138 1465 | 9743 6759 54 | 0.236 % | c | 8468 | 423 138 1465 | 10717 8468 54 | 0.236 % | c | 11031 | 423 138 1465 | 11789 5594 54 | 0.236 % | c | 14876 | 423 138 1465 | 12968 9439 54 | 0.236 % | c | 20643 | 423 138 1465 | 14265 8650 52 | 0.236 % | c | 29292 | 423 138 1465 | 15692 10089 52 | 0.236 % | c | 42268 | 423 138 1465 | 17261 15145 55 | 0.236 % | c | 61729 | 423 138 1465 | 18987 17191 56 | 0.236 % | c | 90921 | 423 138 1465 | 20886 17687 54 | 0.236 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 10.8314 s Remaining CPU time: 169.169 s c =============================================================================== c | 92246 | 423 139 1674 | 5000 19012 54 | 0.236 % | c | 92346 | 423 139 1674 | 5500 4853 55 | 0.236 % | c | 92496 | 423 139 1674 | 6050 5003 55 | 0.237 % | c | 92722 | 423 139 1674 | 6655 5229 55 | 0.236 % | c | 93059 | 423 139 1674 | 7320 5566 55 | 0.237 % | c | 93565 | 423 139 1674 | 8052 6072 54 | 0.237 % | c | 94325 | 423 139 1674 | 8857 6832 54 | 0.237 % | c | 95465 | 423 139 1674 | 9743 7972 54 | 0.236 % | c | 97173 | 423 139 1674 | 10717 9680 54 | 0.236 % | c | 99735 | 423 139 1674 | 11789 6814 53 | 0.237 % | c | 103580 | 423 139 1674 | 12968 10659 53 | 0.236 % | c | 109346 | 423 139 1674 | 14265 9871 51 | 0.236 % | c | 117995 | 423 139 1674 | 15692 11311 51 | 0.236 % | c | 130969 | 423 139 1674 | 17261 8445 51 | 0.236 % | c | 150432 | 423 139 1674 | 18987 10501 50 | 0.236 % | c | 179625 | 423 139 1674 | 20886 11008 51 | 0.236 % | c | 223414 | 423 139 1674 | 22974 12726 54 | 0.236 % | c | 289099 | 423 139 1674 | 25272 17193 50 | 0.236 % | c | 387625 | 423 139 1674 | 27799 13911 52 | 0.236 % | c | 535415 | 423 139 1674 | 30579 26814 53 | 0.236 % | c | 757099 | 423 139 1674 | 33637 14605 51 | 0.238 % | c There are 1 assigned variables. 1 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 504 382 2322 | 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 | 567 383 2400 | 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 | 627 384 2517 | 5000 0 nan | 0.000 % | c | 101 | 627 384 2517 | 5500 101 13 | 6.856 % | c | 252 | 625 384 2517 | 6050 251 17 | 7.154 % | c | 479 | 622 384 2517 | 6655 477 23 | 7.452 % | c | 819 | 621 384 2517 | 7320 816 22 | 7.452 % | c | 1326 | 621 384 2517 | 8052 1323 26 | 7.452 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 846 385 2936 | 5000 0 nan | 0.000 % | c | 101 | 846 385 2936 | 5500 101 23 | 0.588 % | c | 253 | 846 385 2936 | 6050 253 31 | 0.588 % | c | 478 | 846 385 2936 | 6655 478 29 | 0.588 % | c =============================================================================== c Total CPU time: 181.548 s