c wbo 1.4 beta - 20100610 c | Number of variables: 2675 | c | Number of clauses: 38256 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 2675 | c | Number Clauses: 38160 | 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 | 2626 38160 95886 | 12720 0 nan | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 2626 38161 95982 | 12720 0 nan | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 18 | 2626 38162 96078 | 12720 18 68 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 39 | 2626 38163 96174 | 12721 39 40 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 46 | 2626 38164 96270 | 12721 46 35 | 0.000 % | c | 147 | 2626 38164 96270 | 13993 147 38 | 1.833 % | c | 297 | 2626 38164 96270 | 15392 297 34 | 1.832 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 308 | 2626 38165 96366 | 12721 308 33 | 1.832 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 320 | 2626 38166 96462 | 12722 320 33 | 1.832 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 396 | 2626 38167 96558 | 12722 396 34 | 1.832 % | c | 496 | 2626 38167 96558 | 13994 496 35 | 1.832 % | c | 647 | 2626 38167 96558 | 15394 647 37 | 1.832 % | c | 872 | 2626 38167 96558 | 16933 872 43 | 1.832 % | c | 1211 | 2626 38167 96558 | 18626 1211 43 | 1.832 % | c | 1717 | 2626 38167 96558 | 20489 1717 51 | 1.832 % | c | 2477 | 2626 38167 96558 | 22538 2477 53 | 1.832 % | c | 3617 | 2626 38167 96558 | 24792 3617 59 | 1.832 % | c | 5325 | 2626 38167 96558 | 27271 5325 69 | 1.832 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.43178 s Remaining CPU time: 178.568 s c =============================================================================== c | 7627 | 2626 38168 96654 | 12722 7627 70 | 1.832 % | c | 7727 | 2626 38168 96654 | 13994 7727 70 | 1.833 % | c | 7878 | 2626 38168 96654 | 15394 7878 70 | 1.832 % | c | 8103 | 2626 38168 96654 | 16933 8103 70 | 1.832 % | c | 8440 | 2626 38168 96654 | 18627 8440 69 | 1.832 % | c | 8947 | 2626 38168 96654 | 20489 8947 69 | 1.832 % | c | 9706 | 2626 38168 96654 | 22538 9706 68 | 1.832 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 9972 | 2626 38169 96750 | 12723 9972 68 | 1.832 % | c | 10072 | 2626 38169 96750 | 13995 10072 68 | 1.832 % | c | 10223 | 2626 38169 96750 | 15394 10223 68 | 1.832 % | c | 10449 | 2626 38169 96750 | 16934 10449 68 | 1.832 % | c | 10786 | 2626 38169 96750 | 18627 10786 68 | 1.832 % | c | 11293 | 2626 38169 96750 | 20490 11293 67 | 1.832 % | c | 12052 | 2626 38169 96750 | 22539 12052 68 | 1.832 % | c | 13192 | 2626 38169 96750 | 24793 13192 68 | 1.832 % | c | 14901 | 2626 38169 96750 | 27272 14901 68 | 1.832 % | c | 17463 | 2626 38169 96750 | 30000 17463 67 | 1.832 % | c | 21308 | 2626 38169 96750 | 33000 21308 68 | 1.832 % | c | 27074 | 2626 38169 96750 | 36300 27074 68 | 1.832 % | c | 35723 | 2626 38169 96750 | 39930 35723 69 | 1.832 % | c | 48698 | 2626 38169 96750 | 43923 21080 72 | 1.832 % | c | 68159 | 2626 38169 96750 | 48315 40541 69 | 1.832 % | c | 97352 | 2626 38169 96750 | 53147 33416 68 | 1.832 % | c | 141141 | 2626 38169 96750 | 58461 36251 85 | 1.832 % | c | 206826 | 2626 38169 96750 | 64308 56114 69 | 1.832 % | c There are 49 assigned variables. 46 in cost function. c Memory used : 110.26 MB c CPU time : 181.811 s c c Total CPU time: 181.813 s