c wbo 1.4 beta - 20100610 c | Number of variables: 6501 | c | Number of clauses: 111118 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.08 s | c | Number Variables: 6501 | c | Number Clauses: 110938 | 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 | 6413 110938 279006 | 36979 0 nan | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 1 | 6413 110939 279186 | 36979 1 5 | 0.000 % | c | 103 | 6413 110939 279186 | 40677 103 131 | 1.354 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 226 | 6413 110940 279366 | 36980 226 65 | 1.354 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 241 | 6413 110941 279546 | 36980 241 65 | 1.354 % | c | 341 | 6413 110941 279546 | 40678 341 60 | 1.354 % | c | 491 | 6413 110941 279546 | 44746 491 57 | 1.354 % | c | 716 | 6413 110941 279546 | 49220 716 47 | 1.354 % | c | 1053 | 6413 110941 279546 | 54142 1053 58 | 1.354 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s c =============================================================================== c | 1226 | 6413 110942 279726 | 36980 1226 60 | 1.354 % | c | 1326 | 6413 110942 279726 | 40678 1326 57 | 1.354 % | c | 1477 | 6413 110942 279726 | 44746 1477 56 | 1.354 % | c | 1703 | 6413 110942 279726 | 49221 1703 57 | 1.354 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.51677 s Remaining CPU time: 178.483 s c =============================================================================== c | 1759 | 6413 110943 279906 | 36981 1759 55 | 1.354 % | c | 1859 | 6413 110943 279906 | 40679 1859 58 | 1.354 % | c | 2009 | 6413 110943 279906 | 44747 2009 57 | 1.354 % | c | 2235 | 6413 110943 279906 | 49221 2235 61 | 1.354 % | c | 2573 | 6413 110943 279906 | 54143 2573 62 | 1.354 % | c | 3079 | 6413 110943 279906 | 59558 3079 68 | 1.354 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 2.04169 s Remaining CPU time: 177.958 s c =============================================================================== c | 3393 | 6413 110944 280086 | 36981 3393 67 | 1.354 % | c | 3494 | 6413 110944 280086 | 40679 3494 66 | 1.354 % | c | 3644 | 6413 110944 280086 | 44747 3644 67 | 1.354 % | c | 3869 | 6413 110944 280086 | 49222 3869 66 | 1.354 % | c | 4207 | 6413 110944 280086 | 54144 4207 67 | 1.354 % | c | 4713 | 6413 110944 280086 | 59558 4713 75 | 1.354 % | c | 5472 | 6413 110944 280086 | 65514 5472 76 | 1.354 % | c | 6612 | 6413 110944 280086 | 72066 6612 83 | 1.354 % | c | 8320 | 6413 110944 280086 | 79272 8320 89 | 1.354 % | c | 10883 | 6413 110944 280086 | 87200 10883 97 | 1.354 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 4.88226 s Remaining CPU time: 175.118 s c =============================================================================== c | 12639 | 6413 110945 280266 | 36981 12639 99 | 1.354 % | c | 12742 | 6413 110945 280266 | 40679 12742 99 | 1.354 % | c | 12892 | 6413 110945 280266 | 44747 12892 99 | 1.354 % | c | 13118 | 6413 110945 280266 | 49222 13118 99 | 1.354 % | c | 13457 | 6413 110945 280266 | 54144 13457 99 | 1.354 % | c | 13964 | 6413 110945 280266 | 59559 13964 99 | 1.354 % | c | 14724 | 6413 110945 280266 | 65515 14724 98 | 1.354 % | c | 15864 | 6413 110945 280266 | 72066 15864 99 | 1.354 % | c | 17572 | 6413 110945 280266 | 79273 17572 103 | 1.354 % | c | 20134 | 6413 110945 280266 | 87200 20134 105 | 1.354 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 9.04162 s Remaining CPU time: 170.958 s c =============================================================================== c | 22274 | 6413 110946 280446 | 36982 22274 107 | 1.354 % | c | 22374 | 6413 110946 280446 | 40680 22374 107 | 1.354 % | c | 22524 | 6413 110946 280446 | 44748 22524 107 | 1.354 % | c | 22749 | 6413 110946 280446 | 49223 22749 107 | 1.354 % | c | 23086 | 6413 110946 280446 | 54145 23086 107 | 1.354 % | c | 23592 | 6413 110946 280446 | 59559 23592 107 | 1.354 % | c | 24351 | 6413 110946 280446 | 65515 24351 107 | 1.354 % | c | 25490 | 6413 110946 280446 | 72067 25490 107 | 1.354 % | c | 27198 | 6413 110946 280446 | 79274 27198 109 | 1.354 % | c | 29761 | 6413 110946 280446 | 87201 29761 110 | 1.354 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 13.233 s Remaining CPU time: 166.767 s c =============================================================================== c | 29887 | 6413 110947 280626 | 36982 29887 110 | 1.354 % | c | 29988 | 6413 110947 280626 | 40680 29988 110 | 1.354 % | c | 30140 | 6413 110947 280626 | 44748 30140 110 | 1.354 % | c | 30365 | 6413 110947 280626 | 49223 30365 110 | 1.354 % | c | 30702 | 6413 110947 280626 | 54145 30702 110 | 1.354 % | c | 31209 | 6413 110947 280626 | 59560 31209 111 | 1.354 % | c | 31970 | 6413 110947 280626 | 65516 31970 111 | 1.354 % | c | 33109 | 6413 110947 280626 | 72068 33109 112 | 1.354 % | c | 34817 | 6413 110947 280626 | 79274 34817 115 | 1.354 % | c | 37379 | 6413 110947 280626 | 87202 37379 116 | 1.354 % | c | 41223 | 6413 110947 280626 | 95922 41223 118 | 1.354 % | c | 46989 | 6413 110947 280626 | 105514 46989 121 | 1.354 % | c | 55638 | 6413 110947 280626 | 116066 55638 123 | 1.354 % | c | 68613 | 6413 110947 280626 | 127673 68613 134 | 1.354 % | c | 88075 | 6413 110947 280626 | 140440 88075 134 | 1.354 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 61.5706 s Remaining CPU time: 118.429 s c =============================================================================== c | 88670 | 6413 110948 280806 | 36982 88670 135 | 1.354 % | c | 88770 | 6413 110948 280806 | 40680 14182 121 | 1.354 % | c | 88921 | 6413 110948 280806 | 44749 14333 120 | 1.354 % | c | 89146 | 6413 110948 280806 | 49223 14558 120 | 1.354 % | c | 89483 | 6413 110948 280806 | 54146 14895 119 | 1.354 % | c | 89989 | 6413 110948 280806 | 59560 15401 119 | 1.354 % | c | 90748 | 6413 110948 280806 | 65517 16160 119 | 1.354 % | c | 91888 | 6413 110948 280806 | 72068 17300 121 | 1.354 % | c | 93598 | 6413 110948 280806 | 79275 19010 122 | 1.354 % | c | 96161 | 6413 110948 280806 | 87203 21573 122 | 1.354 % | c | 100006 | 6413 110948 280806 | 95923 25418 123 | 1.354 % | c | 105772 | 6413 110948 280806 | 105515 31184 126 | 1.354 % | c | 114422 | 6413 110948 280806 | 116067 39834 131 | 1.354 % | c | 127398 | 6413 110948 280806 | 127674 52810 134 | 1.354 % | c | 146859 | 6413 110948 280806 | 140441 72271 137 | 1.354 % | c | 176052 | 6413 110948 280806 | 154485 101464 143 | 1.354 % | c There are 88 assigned variables. 88 in cost function. c Memory used : 149.82 MB c CPU time : 180.365 s c c Total CPU time: 180.365 s