c wbo 1.4 beta - 20100610 c | Number of variables: 378 | c | Number of clauses: 704 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 378 | c | Number Clauses: 422 | 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 | 372 422 7565 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 372 423 7847 | 5000 1 25 | 0.000 % | c | 102 | 372 423 7847 | 5500 102 58 | 1.588 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 105 | 372 424 8129 | 5000 105 57 | 1.588 % | c | 206 | 372 424 8129 | 5500 206 64 | 1.588 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 206 | 372 425 8411 | 5000 206 64 | 1.588 % | c | 306 | 372 425 8411 | 5500 306 68 | 1.588 % | c | 458 | 372 425 8411 | 6050 458 62 | 1.588 % | c | 683 | 372 425 8411 | 6655 683 60 | 1.589 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 683 | 372 426 8693 | 5000 683 60 | 1.589 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 695 | 372 427 8975 | 5000 695 60 | 1.589 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 695 | 372 428 9257 | 5000 695 60 | 1.589 % | c | 796 | 372 428 9257 | 5500 796 60 | 1.588 % | c | 948 | 372 428 9257 | 6050 948 59 | 1.589 % | c | 1173 | 372 428 9257 | 6655 1173 60 | 1.588 % | c | 1512 | 372 428 9257 | 7320 1512 59 | 1.588 % | c | 2019 | 372 428 9257 | 8052 2019 57 | 1.588 % | c | 2779 | 372 428 9257 | 8857 2779 55 | 1.588 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 2817 | 372 429 9539 | 5000 2817 55 | 1.588 % | c | 2918 | 372 429 9539 | 5500 2918 55 | 1.588 % | c | 3068 | 372 429 9539 | 6050 3068 54 | 1.588 % | c | 3293 | 372 429 9539 | 6655 3293 54 | 1.588 % | c | 3631 | 372 429 9539 | 7320 3631 53 | 1.588 % | c | 4140 | 372 429 9539 | 8052 4140 52 | 1.588 % | c | 4900 | 372 429 9539 | 8857 4900 52 | 1.588 % | c | 6040 | 372 429 9539 | 9743 6040 51 | 1.588 % | c | 7749 | 372 429 9539 | 10717 7749 51 | 1.588 % | c | 10311 | 372 429 9539 | 11789 10311 52 | 1.588 % | c | 14155 | 372 429 9539 | 12968 8142 53 | 1.588 % | c | 19924 | 372 429 9539 | 14265 7321 56 | 1.588 % | c | 28575 | 372 429 9539 | 15692 8728 52 | 1.588 % | c | 41555 | 372 429 9539 | 17261 13761 52 | 1.588 % | c | 61017 | 372 429 9539 | 18987 15760 50 | 1.588 % | c | 90210 | 372 429 9539 | 20886 16148 48 | 1.588 % | c | 134000 | 372 429 9539 | 22974 17715 55 | 1.588 % | c | 199686 | 372 429 9539 | 25272 22165 66 | 1.588 % | c | 298212 | 372 429 9539 | 27799 20267 51 | 1.588 % | c | 446001 | 372 429 9539 | 30579 16467 61 | 1.588 % | c | 667684 | 372 429 9539 | 33637 25570 52 | 1.588 % | 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 | 451 724 7647 | 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 | 573 725 10302 | 5000 0 nan | 0.000 % | c | 100 | 564 725 10302 | 5500 100 29 | 12.160 % | c | 250 | 548 725 10302 | 6050 248 26 | 12.320 % | c | 477 | 548 725 10302 | 6655 475 41 | 12.320 % | c =============================================================================== c Total CPU time: 181.083 s