c wbo 1.4 beta - 20100610 c | Number of variables: 6988 | c | Number of clauses: 129090 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.10 s | c | Number Variables: 6988 | c | Number Clauses: 128910 | 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 | 6915 128910 326084 | 42970 0 nan | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 1 | 6915 128911 326264 | 42970 1 2 | 0.000 % | c | 101 | 6915 128911 326264 | 47267 101 136 | 1.045 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 198 | 6915 128912 326444 | 42970 198 75 | 1.045 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 230 | 6915 128913 326624 | 42971 230 71 | 1.045 % | c | 330 | 6915 128913 326624 | 47268 330 64 | 1.045 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 1.14183 s Remaining CPU time: 178.858 s c =============================================================================== c | 406 | 6915 128914 326804 | 42971 406 54 | 1.045 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.17882 s Remaining CPU time: 178.821 s c =============================================================================== c | 427 | 6915 128915 326984 | 42971 427 55 | 1.045 % | c | 527 | 6915 128915 326984 | 47268 527 49 | 1.045 % | c | 677 | 6915 128915 326984 | 51995 677 50 | 1.045 % | c | 903 | 6915 128915 326984 | 57195 903 46 | 1.045 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 1069 | 6915 128916 327164 | 42972 1069 45 | 1.045 % | c | 1169 | 6915 128916 327164 | 47269 1169 48 | 1.045 % | c | 1320 | 6915 128916 327164 | 51996 1320 45 | 1.045 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.72474 s Remaining CPU time: 178.275 s c =============================================================================== c | 1518 | 6915 128917 327344 | 42972 1518 49 | 1.045 % | c | 1618 | 6915 128917 327344 | 47269 1618 47 | 1.045 % | c | 1768 | 6915 128917 327344 | 51996 1768 48 | 1.045 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.91671 s Remaining CPU time: 178.083 s c =============================================================================== c | 1828 | 6915 128918 327524 | 42972 1828 46 | 1.045 % | c | 1928 | 6915 128918 327524 | 47269 1928 47 | 1.045 % | c | 2079 | 6915 128918 327524 | 51996 2079 46 | 1.045 % | c | 2306 | 6915 128918 327524 | 57196 2306 46 | 1.045 % | c | 2643 | 6915 128918 327524 | 62916 2643 53 | 1.045 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.43163 s Remaining CPU time: 177.568 s c =============================================================================== c | 2869 | 6915 128919 327704 | 42973 2869 52 | 1.045 % | c | 2969 | 6915 128919 327704 | 47270 2969 52 | 1.045 % | c | 3119 | 6915 128919 327704 | 51997 3119 52 | 1.045 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.6016 s Remaining CPU time: 177.398 s c =============================================================================== c | 3142 | 6915 128920 327884 | 42973 3142 52 | 1.045 % | c | 3242 | 6915 128920 327884 | 47270 3242 51 | 1.045 % | c | 3392 | 6915 128920 327884 | 51997 3392 51 | 1.045 % | c | 3617 | 6915 128920 327884 | 57197 3617 52 | 1.045 % | c | 3955 | 6915 128920 327884 | 62917 3955 54 | 1.045 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 3.06253 s Remaining CPU time: 176.937 s c =============================================================================== c | 4065 | 6915 128921 328064 | 42973 4065 53 | 1.045 % | c | 4166 | 6915 128921 328064 | 47271 4166 54 | 1.045 % | c | 4316 | 6915 128921 328064 | 51998 4316 53 | 1.045 % | c | 4541 | 6915 128921 328064 | 57197 4541 57 | 1.045 % | c | 4878 | 6915 128921 328064 | 62917 4878 61 | 1.045 % | c | 5385 | 6915 128921 328064 | 69209 5385 62 | 1.045 % | c | 6144 | 6915 128921 328064 | 76130 6144 63 | 1.045 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 3.9574 s Remaining CPU time: 176.043 s c =============================================================================== c | 6183 | 6915 128922 328244 | 42974 6183 62 | 1.045 % | c | 6283 | 6915 128922 328244 | 47271 6283 63 | 1.045 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 4.06238 s Remaining CPU time: 175.938 s c =============================================================================== c | 6338 | 6915 128923 328424 | 42974 6338 63 | 1.045 % | c | 6438 | 6915 128923 328424 | 47271 6438 63 | 1.045 % | c | 6589 | 6915 128923 328424 | 51998 6589 62 | 1.045 % | c | 6814 | 6915 128923 328424 | 57198 6814 63 | 1.045 % | c | 7151 | 6915 128923 328424 | 62918 7151 64 | 1.045 % | c | 7657 | 6915 128923 328424 | 69210 7657 64 | 1.045 % | c | 8417 | 6915 128923 328424 | 76131 8417 69 | 1.045 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 5.17521 s Remaining CPU time: 174.825 s c =============================================================================== c | 8799 | 6915 128924 328604 | 42974 8799 68 | 1.045 % | c | 8900 | 6915 128924 328604 | 47272 8900 67 | 1.045 % | c | 9052 | 6915 128924 328604 | 51999 9052 67 | 1.045 % | c | 9277 | 6915 128924 328604 | 57199 9277 67 | 1.045 % | c | 9614 | 6915 128924 328604 | 62919 9614 68 | 1.045 % | c | 10121 | 6915 128924 328604 | 69211 10121 70 | 1.045 % | c | 10880 | 6915 128924 328604 | 76132 10880 72 | 1.045 % | c | 12019 | 6915 128924 328604 | 83745 12019 75 | 1.045 % | c | 13727 | 6915 128924 328604 | 92120 13727 81 | 1.045 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 7.31889 s Remaining CPU time: 172.681 s c =============================================================================== c | 14324 | 6915 128925 328784 | 42975 14324 81 | 1.045 % | c | 14424 | 6915 128925 328784 | 47272 14424 81 | 1.045 % | c | 14574 | 6915 128925 328784 | 51999 14574 81 | 1.045 % | c | 14799 | 6915 128925 328784 | 57199 14799 81 | 1.045 % | c | 15136 | 6915 128925 328784 | 62919 15136 81 | 1.045 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 7.99678 s Remaining CPU time: 172.003 s c =============================================================================== c | 15552 | 6915 128926 328964 | 42975 15552 81 | 1.045 % | c | 15652 | 6915 128926 328964 | 47272 15652 81 | 1.045 % | c | 15802 | 6915 128926 328964 | 52000 15802 81 | 1.045 % | c | 16029 | 6915 128926 328964 | 57200 16029 81 | 1.045 % | c | 16367 | 6915 128926 328964 | 62920 16367 81 | 1.045 % | c | 16873 | 6915 128926 328964 | 69212 16873 81 | 1.045 % | c | 17632 | 6915 128926 328964 | 76133 17632 82 | 1.045 % | c | 18771 | 6915 128926 328964 | 83746 18771 83 | 1.045 % | c | 20479 | 6915 128926 328964 | 92121 20479 87 | 1.045 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 10.4894 s Remaining CPU time: 169.511 s c =============================================================================== c | 21161 | 6915 128927 329144 | 42975 21161 87 | 1.045 % | c | 21261 | 6915 128927 329144 | 47273 21261 87 | 1.045 % | c | 21411 | 6915 128927 329144 | 52000 21411 87 | 1.045 % | c | 21636 | 6915 128927 329144 | 57200 21636 88 | 1.045 % | c | 21974 | 6915 128927 329144 | 62920 21974 87 | 1.045 % | c | 22480 | 6915 128927 329144 | 69212 22480 88 | 1.045 % | c | 23239 | 6915 128927 329144 | 76134 23239 89 | 1.045 % | c | 24379 | 6915 128927 329144 | 83747 24379 90 | 1.045 % | c | 26087 | 6915 128927 329144 | 92122 26087 91 | 1.045 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 13.194 s Remaining CPU time: 166.806 s c =============================================================================== c | 26894 | 6915 128928 329324 | 42976 26894 92 | 1.045 % | c | 26995 | 6915 128928 329324 | 47273 26995 92 | 1.045 % | c | 27145 | 6915 128928 329324 | 52000 27145 92 | 1.045 % | c | 27370 | 6915 128928 329324 | 57201 27370 92 | 1.045 % | c | 27707 | 6915 128928 329324 | 62921 27707 92 | 1.045 % | c | 28214 | 6915 128928 329324 | 69213 28214 92 | 1.045 % | c | 28974 | 6915 128928 329324 | 76134 28974 93 | 1.045 % | c | 30113 | 6915 128928 329324 | 83748 30113 94 | 1.045 % | c | 31822 | 6915 128928 329324 | 92122 31822 95 | 1.045 % | c | 34384 | 6915 128928 329324 | 101335 34384 97 | 1.045 % | c | 38229 | 6915 128928 329324 | 111468 38229 99 | 1.045 % | c | 43996 | 6915 128928 329324 | 122615 43996 103 | 1.045 % | c | 52645 | 6915 128928 329324 | 134877 52645 106 | 1.045 % | c | 65619 | 6915 128928 329324 | 148364 65619 108 | 1.045 % | c | 85081 | 6915 128928 329324 | 163201 85081 112 | 1.045 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 47.6078 s Remaining CPU time: 132.392 s c =============================================================================== c | 87572 | 6915 128929 329504 | 42976 87572 113 | 1.045 % | c | 87673 | 6915 128929 329504 | 47273 14463 104 | 1.045 % | c | 87823 | 6915 128929 329504 | 52001 14613 104 | 1.045 % | c | 88048 | 6915 128929 329504 | 57201 14838 104 | 1.045 % | c | 88386 | 6915 128929 329504 | 62921 15176 104 | 1.045 % | c | 88893 | 6915 128929 329504 | 69213 15683 105 | 1.045 % | c | 89654 | 6915 128929 329504 | 76135 16444 105 | 1.045 % | c | 90793 | 6915 128929 329504 | 83748 17583 105 | 1.045 % | c | 92502 | 6915 128929 329504 | 92123 19292 105 | 1.045 % | c | 95064 | 6915 128929 329504 | 101335 21854 106 | 1.045 % | c | 98909 | 6915 128929 329504 | 111469 25699 106 | 1.045 % | c | 104676 | 6915 128929 329504 | 122616 31466 107 | 1.045 % | c | 113326 | 6915 128929 329504 | 134878 40116 107 | 1.045 % | c | 126300 | 6915 128929 329504 | 148365 53090 110 | 1.045 % | c | 145761 | 6915 128929 329504 | 163202 72551 114 | 1.045 % | c | 174955 | 6915 128929 329504 | 179522 101745 119 | 1.045 % | c | 218744 | 6915 128929 329504 | 197475 145534 120 | 1.045 % | c There are 73 assigned variables. 73 in cost function. c Memory used : 152.29 MB c CPU time : 180.524 s c c Total CPU time: 180.525 s