c wbo 1.4 beta - 20100610 c | Number of variables: 5851 | c | Number of clauses: 96066 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 5851 | c | Number Clauses: 95890 | 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 | 5781 95890 240409 | 31963 0 nan | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 1 | 5781 95891 240585 | 31963 1 23 | 0.000 % | c | 101 | 5781 95891 240585 | 35160 101 133 | 1.197 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 179 | 5781 95892 240761 | 31964 179 79 | 1.197 % | c | 281 | 5781 95892 240761 | 35160 281 79 | 1.196 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 328 | 5781 95893 240937 | 31964 328 69 | 1.196 % | c | 428 | 5781 95893 240937 | 35160 428 65 | 1.196 % | c | 579 | 5781 95893 240937 | 38676 579 73 | 1.196 % | c | 805 | 5781 95893 240937 | 42544 805 76 | 1.196 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 843 | 5781 95894 241113 | 31964 843 73 | 1.196 % | c | 944 | 5781 95894 241113 | 35161 944 70 | 1.196 % | c | 1094 | 5781 95894 241113 | 38677 1094 72 | 1.196 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.18382 s Remaining CPU time: 178.816 s c =============================================================================== c | 1240 | 5781 95895 241289 | 31965 1240 70 | 1.196 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.23381 s Remaining CPU time: 178.766 s c =============================================================================== c | 1333 | 5781 95896 241465 | 31965 1333 67 | 1.196 % | c | 1433 | 5781 95896 241465 | 35161 1433 64 | 1.196 % | c | 1583 | 5781 95896 241465 | 38678 1583 64 | 1.197 % | c | 1808 | 5781 95896 241465 | 42545 1808 67 | 1.196 % | c | 2145 | 5781 95896 241465 | 46800 2145 72 | 1.196 % | c | 2652 | 5781 95896 241465 | 51480 2652 76 | 1.196 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 2686 | 5781 95897 241641 | 31965 2686 76 | 1.196 % | c | 2786 | 5781 95897 241641 | 35162 2786 75 | 1.196 % | c | 2937 | 5781 95897 241641 | 38678 2937 75 | 1.196 % | c | 3162 | 5781 95897 241641 | 42546 3162 72 | 1.196 % | c | 3499 | 5781 95897 241641 | 46800 3499 72 | 1.197 % | c | 4005 | 5781 95897 241641 | 51481 4005 74 | 1.196 % | c | 4764 | 5781 95897 241641 | 56629 4764 87 | 1.196 % | c | 5905 | 5781 95897 241641 | 62292 5905 89 | 1.196 % | c | 7613 | 5781 95897 241641 | 68521 7613 85 | 1.196 % | c | 10175 | 5781 95897 241641 | 75373 10175 91 | 1.196 % | c | 14019 | 5781 95897 241641 | 82910 14019 99 | 1.196 % | c | 19785 | 5781 95897 241641 | 91201 19785 108 | 1.196 % | c | 28434 | 5781 95897 241641 | 100321 28434 116 | 1.197 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 14.5708 s Remaining CPU time: 165.429 s c =============================================================================== c | 38637 | 5781 95898 241817 | 31966 38637 122 | 1.197 % | c | 38737 | 5781 95898 241817 | 35162 13019 125 | 1.196 % | c | 38887 | 5781 95898 241817 | 38678 13169 124 | 1.196 % | c | 39112 | 5781 95898 241817 | 42546 13394 123 | 1.197 % | c | 39449 | 5781 95898 241817 | 46801 13731 122 | 1.196 % | c | 39955 | 5781 95898 241817 | 51481 14237 122 | 1.196 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 15.7556 s Remaining CPU time: 164.244 s c =============================================================================== c | 40633 | 5781 95899 241993 | 31966 14915 120 | 1.196 % | c | 40733 | 5781 95899 241993 | 35162 15015 120 | 1.196 % | c | 40886 | 5781 95899 241993 | 38679 15168 119 | 1.196 % | c | 41111 | 5781 95899 241993 | 42547 15393 119 | 1.196 % | c | 41448 | 5781 95899 241993 | 46801 15730 118 | 1.196 % | c | 41954 | 5781 95899 241993 | 51482 16236 118 | 1.196 % | c | 42713 | 5781 95899 241993 | 56630 16995 117 | 1.196 % | c | 43853 | 5781 95899 241993 | 62293 18135 116 | 1.196 % | c | 45562 | 5781 95899 241993 | 68522 19844 116 | 1.196 % | c | 48124 | 5781 95899 241993 | 75374 22406 115 | 1.196 % | c | 51969 | 5781 95899 241993 | 82912 26251 117 | 1.196 % | c | 57735 | 5781 95899 241993 | 91203 32017 116 | 1.196 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 25.6251 s Remaining CPU time: 154.375 s c =============================================================================== c | 63345 | 5781 95900 242169 | 31966 37627 117 | 1.196 % | c | 63446 | 5781 95900 242169 | 35163 13249 103 | 1.196 % | c | 63596 | 5781 95900 242169 | 38679 13399 103 | 1.196 % | c | 63822 | 5781 95900 242169 | 42547 13625 102 | 1.196 % | c | 64160 | 5781 95900 242169 | 46802 13963 102 | 1.196 % | c | 64666 | 5781 95900 242169 | 51482 14469 101 | 1.196 % | c | 65425 | 5781 95900 242169 | 56630 15228 101 | 1.196 % | c | 66564 | 5781 95900 242169 | 62293 16367 102 | 1.196 % | c | 68272 | 5781 95900 242169 | 68523 18075 103 | 1.196 % | c | 70834 | 5781 95900 242169 | 75375 20637 101 | 1.196 % | c | 74678 | 5781 95900 242169 | 82913 24481 104 | 1.196 % | c | 80446 | 5781 95900 242169 | 91204 30249 107 | 1.197 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 33.8609 s Remaining CPU time: 146.139 s c =============================================================================== c | 81136 | 5781 95901 242345 | 31967 30939 107 | 1.197 % | c | 81236 | 5781 95901 242345 | 35163 31039 107 | 1.196 % | c | 81386 | 5781 95901 242345 | 38680 31189 107 | 1.196 % | c | 81612 | 5781 95901 242345 | 42548 31415 107 | 1.196 % | c | 81950 | 5781 95901 242345 | 46802 31753 107 | 1.196 % | c | 82458 | 5781 95901 242345 | 51483 32261 106 | 1.196 % | c | 83218 | 5781 95901 242345 | 56631 33021 106 | 1.196 % | c | 84357 | 5781 95901 242345 | 62294 34160 107 | 1.196 % | c | 86065 | 5781 95901 242345 | 68524 35868 107 | 1.196 % | c | 88628 | 5781 95901 242345 | 75376 38431 109 | 1.196 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 38.6201 s Remaining CPU time: 141.38 s c =============================================================================== c | 89141 | 5781 95902 242521 | 31967 38944 109 | 1.196 % | c | 89242 | 5781 95902 242521 | 35164 14090 98 | 1.196 % | c | 89392 | 5781 95902 242521 | 38680 14240 98 | 1.197 % | c | 89617 | 5781 95902 242521 | 42548 14465 98 | 1.196 % | c | 89955 | 5781 95902 242521 | 46803 14803 98 | 1.196 % | c | 90461 | 5781 95902 242521 | 51483 15309 99 | 1.196 % | c | 91221 | 5781 95902 242521 | 56632 16069 98 | 1.196 % | c | 92361 | 5781 95902 242521 | 62295 17209 99 | 1.196 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 40.4738 s Remaining CPU time: 139.526 s c =============================================================================== c | 92926 | 5781 95903 242697 | 31967 17774 98 | 1.196 % | c | 93028 | 5781 95903 242697 | 35164 17876 98 | 1.196 % | c | 93178 | 5781 95903 242697 | 38680 18026 98 | 1.196 % | c | 93405 | 5781 95903 242697 | 42548 18253 98 | 1.196 % | c | 93742 | 5781 95903 242697 | 46803 18590 99 | 1.196 % | c | 94249 | 5781 95903 242697 | 51484 19097 98 | 1.196 % | c | 95009 | 5781 95903 242697 | 56632 19857 98 | 1.196 % | c | 96148 | 5781 95903 242697 | 62295 20996 100 | 1.196 % | c | 97856 | 5781 95903 242697 | 68525 22704 101 | 1.196 % | c | 100418 | 5781 95903 242697 | 75378 25266 103 | 1.196 % | c | 104263 | 5781 95903 242697 | 82915 29111 105 | 1.196 % | c | 110030 | 5781 95903 242697 | 91207 34878 109 | 1.197 % | c | 118679 | 5781 95903 242697 | 100328 43527 111 | 1.196 % | c | 131654 | 5781 95903 242697 | 110361 56502 115 | 1.196 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 61.8066 s Remaining CPU time: 118.193 s c =============================================================================== c | 133956 | 5781 95904 242873 | 31968 58804 115 | 1.196 % | c | 134056 | 5781 95904 242873 | 35164 14055 109 | 1.196 % | c | 134208 | 5781 95904 242873 | 38681 14207 109 | 1.196 % | c | 134434 | 5781 95904 242873 | 42549 14433 109 | 1.196 % | c | 134772 | 5781 95904 242873 | 46804 14771 108 | 1.196 % | c | 135278 | 5781 95904 242873 | 51484 15277 108 | 1.196 % | c | 136038 | 5781 95904 242873 | 56633 16037 108 | 1.196 % | c | 137177 | 5781 95904 242873 | 62296 17176 107 | 1.196 % | c | 138885 | 5781 95904 242873 | 68526 18884 107 | 1.196 % | c | 141447 | 5781 95904 242873 | 75378 21446 108 | 1.196 % | c | 145291 | 5781 95904 242873 | 82916 25290 109 | 1.196 % | c | 151058 | 5781 95904 242873 | 91208 31057 110 | 1.196 % | c | 159707 | 5781 95904 242873 | 100329 39706 113 | 1.196 % | c | 172682 | 5781 95904 242873 | 110362 52681 112 | 1.196 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 90.0893 s Remaining CPU time: 89.9107 s c =============================================================================== c | 183877 | 5781 95905 243049 | 31968 63876 116 | 1.196 % | c | 183977 | 5781 95905 243049 | 35165 14003 115 | 1.196 % | c | 184127 | 5781 95905 243049 | 38681 14153 115 | 1.196 % | c | 184353 | 5781 95905 243049 | 42549 14379 114 | 1.196 % | c | 184692 | 5781 95905 243049 | 46804 14718 114 | 1.196 % | c | 185199 | 5781 95905 243049 | 51485 15225 113 | 1.196 % | c | 185958 | 5781 95905 243049 | 56633 15984 112 | 1.196 % | c | 187097 | 5781 95905 243049 | 62297 17123 113 | 1.196 % | c | 188807 | 5781 95905 243049 | 68526 18833 112 | 1.196 % | c | 191369 | 5781 95905 243049 | 75379 21395 112 | 1.196 % | c | 195213 | 5781 95905 243049 | 82917 25239 112 | 1.196 % | c | 200981 | 5781 95905 243049 | 91209 31007 112 | 1.196 % | c | 209630 | 5781 95905 243049 | 100330 39656 112 | 1.196 % | c | 222605 | 5781 95905 243049 | 110363 52631 111 | 1.196 % | c | 242067 | 5781 95905 243049 | 121399 72093 112 | 1.196 % | c | 271260 | 5781 95905 243049 | 133539 101286 113 | 1.196 % | c There are 70 assigned variables. 69 in cost function. c Memory used : 176.88 MB c CPU time : 180.52 s c c Total CPU time: 180.521 s