c wbo 1.4 beta - 20100610 c | Number of variables: 5542 | c | Number of clauses: 89754 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.06 s | c | Number Variables: 5542 | c | Number Clauses: 89578 | 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 | 5469 89578 224506 | 29859 0 nan | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 5469 89579 224682 | 29859 0 nan | 0.000 % | c | 101 | 5469 89579 224682 | 32845 101 137 | 1.317 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 190 | 5469 89580 224858 | 29860 190 78 | 1.317 % | c | 291 | 5469 89580 224858 | 32846 291 90 | 1.317 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 331 | 5469 89581 225034 | 29860 331 80 | 1.317 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 362 | 5469 89582 225210 | 29860 362 74 | 1.317 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 366 | 5469 89583 225386 | 29861 366 74 | 1.317 % | c | 467 | 5469 89583 225386 | 32847 467 75 | 1.317 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 529 | 5469 89584 225562 | 29861 529 70 | 1.317 % | c | 629 | 5469 89584 225562 | 32847 629 65 | 1.317 % | c | 780 | 5469 89584 225562 | 36132 780 64 | 1.318 % | c | 1006 | 5469 89584 225562 | 39745 1006 61 | 1.317 % | c | 1344 | 5469 89584 225562 | 43719 1344 64 | 1.317 % | c | 1851 | 5469 89584 225562 | 48091 1851 64 | 1.317 % | c | 2610 | 5469 89584 225562 | 52901 2610 78 | 1.317 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 2687 | 5469 89585 225738 | 29861 2687 76 | 1.317 % | c | 2787 | 5469 89585 225738 | 32847 2787 76 | 1.317 % | c | 2937 | 5469 89585 225738 | 36132 2937 75 | 1.317 % | c | 3162 | 5469 89585 225738 | 39745 3162 75 | 1.317 % | c | 3500 | 5469 89585 225738 | 43720 3500 77 | 1.317 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 3543 | 5469 89586 225914 | 29862 3543 76 | 1.317 % | c | 3643 | 5469 89586 225914 | 32848 3643 76 | 1.317 % | c | 3793 | 5469 89586 225914 | 36133 3793 74 | 1.317 % | c | 4019 | 5469 89586 225914 | 39746 4019 76 | 1.317 % | c | 4356 | 5469 89586 225914 | 43720 4356 75 | 1.317 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 4611 | 5469 89587 226090 | 29862 4611 77 | 1.317 % | c | 4711 | 5469 89587 226090 | 32848 4711 77 | 1.317 % | c | 4862 | 5469 89587 226090 | 36133 4862 76 | 1.317 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 2.13967 s Remaining CPU time: 177.86 s c =============================================================================== c | 4954 | 5469 89588 226266 | 29862 4954 75 | 1.317 % | c | 5054 | 5469 89588 226266 | 32848 5054 75 | 1.317 % | c | 5206 | 5469 89588 226266 | 36133 5206 75 | 1.317 % | c | 5432 | 5469 89588 226266 | 39747 5432 77 | 1.317 % | c | 5769 | 5469 89588 226266 | 43721 5769 76 | 1.317 % | c | 6275 | 5469 89588 226266 | 48094 6275 76 | 1.317 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 2.5926 s Remaining CPU time: 177.407 s c =============================================================================== c | 6365 | 5469 89589 226442 | 29863 6365 75 | 1.317 % | c | 6465 | 5469 89589 226442 | 32849 6465 76 | 1.317 % | c | 6616 | 5469 89589 226442 | 36134 6616 75 | 1.317 % | c | 6842 | 5469 89589 226442 | 39747 6842 75 | 1.317 % | c | 7180 | 5469 89589 226442 | 43722 7180 76 | 1.317 % | c | 7686 | 5469 89589 226442 | 48094 7686 78 | 1.317 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 3.11453 s Remaining CPU time: 176.885 s c =============================================================================== c | 7979 | 5469 89590 226618 | 29863 7979 77 | 1.317 % | c | 8079 | 5469 89590 226618 | 32849 8079 77 | 1.317 % | c | 8230 | 5469 89590 226618 | 36134 8230 77 | 1.317 % | c | 8457 | 5469 89590 226618 | 39748 8457 78 | 1.317 % | c | 8795 | 5469 89590 226618 | 43722 8795 80 | 1.317 % | c | 9302 | 5469 89590 226618 | 48095 9302 80 | 1.317 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 3.69144 s Remaining CPU time: 176.309 s c =============================================================================== c | 10033 | 5469 89591 226794 | 29863 10033 82 | 1.317 % | c | 10134 | 5469 89591 226794 | 32850 10134 82 | 1.318 % | c | 10284 | 5469 89591 226794 | 36135 10284 82 | 1.317 % | c | 10509 | 5469 89591 226794 | 39748 10509 83 | 1.317 % | c | 10846 | 5469 89591 226794 | 43723 10846 83 | 1.317 % | c | 11352 | 5469 89591 226794 | 48095 11352 85 | 1.317 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 4.39333 s Remaining CPU time: 175.607 s c =============================================================================== c | 12006 | 5469 89592 226970 | 29864 12006 86 | 1.317 % | c | 12107 | 5469 89592 226970 | 32850 12107 86 | 1.317 % | c | 12257 | 5469 89592 226970 | 36135 12257 86 | 1.317 % | c | 12482 | 5469 89592 226970 | 39748 12482 87 | 1.317 % | c | 12819 | 5469 89592 226970 | 43723 12819 87 | 1.317 % | c | 13325 | 5469 89592 226970 | 48096 13325 87 | 1.317 % | c | 14084 | 5469 89592 226970 | 52905 14084 90 | 1.317 % | c | 15223 | 5469 89592 226970 | 58196 15223 92 | 1.317 % | c | 16933 | 5469 89592 226970 | 64016 16933 95 | 1.317 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 6.09707 s Remaining CPU time: 173.903 s c =============================================================================== c | 17090 | 5469 89593 227146 | 29864 17090 95 | 1.317 % | c | 17191 | 5469 89593 227146 | 32850 17191 95 | 1.317 % | c | 17342 | 5469 89593 227146 | 36135 17342 95 | 1.317 % | c | 17567 | 5469 89593 227146 | 39749 17567 95 | 1.317 % | c | 17904 | 5469 89593 227146 | 43724 17904 95 | 1.317 % | c | 18410 | 5469 89593 227146 | 48096 18410 96 | 1.317 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 6.69498 s Remaining CPU time: 173.305 s c =============================================================================== c | 18902 | 5469 89594 227322 | 29864 18902 96 | 1.317 % | c | 19003 | 5469 89594 227322 | 32851 19003 96 | 1.317 % | c | 19154 | 5469 89594 227322 | 36136 19154 96 | 1.317 % | c | 19379 | 5469 89594 227322 | 39749 19379 96 | 1.317 % | c | 19717 | 5469 89594 227322 | 43724 19717 96 | 1.317 % | c | 20224 | 5469 89594 227322 | 48097 20224 97 | 1.317 % | c | 20984 | 5469 89594 227322 | 52907 20984 98 | 1.317 % | c | 22124 | 5469 89594 227322 | 58197 22124 98 | 1.317 % | c | 23832 | 5469 89594 227322 | 64017 23832 100 | 1.317 % | c | 26395 | 5469 89594 227322 | 70419 26395 103 | 1.317 % | c | 30242 | 5469 89594 227322 | 77461 30242 105 | 1.317 % | c | 36008 | 5469 89594 227322 | 85207 36008 108 | 1.317 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 16.5345 s Remaining CPU time: 163.466 s c =============================================================================== c | 40933 | 5469 89595 227498 | 29865 40933 110 | 1.317 % | c | 41033 | 5469 89595 227498 | 32851 13333 107 | 1.317 % | c | 41184 | 5469 89595 227498 | 36136 13484 107 | 1.317 % | c | 41409 | 5469 89595 227498 | 39750 13709 107 | 1.317 % | c | 41747 | 5469 89595 227498 | 43725 14047 107 | 1.317 % | c | 42254 | 5469 89595 227498 | 48097 14554 108 | 1.317 % | c | 43013 | 5469 89595 227498 | 52907 15313 108 | 1.317 % | c | 44152 | 5469 89595 227498 | 58198 16452 109 | 1.317 % | c | 45860 | 5469 89595 227498 | 64018 18160 110 | 1.317 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 19.3151 s Remaining CPU time: 160.685 s c =============================================================================== c | 47454 | 5469 89596 227674 | 29865 19754 109 | 1.317 % | c | 47554 | 5469 89596 227674 | 32851 19854 109 | 1.317 % | c | 47707 | 5469 89596 227674 | 36137 20007 109 | 1.317 % | c | 47932 | 5469 89596 227674 | 39750 20232 109 | 1.317 % | c | 48270 | 5469 89596 227674 | 43725 20570 109 | 1.317 % | c | 48777 | 5469 89596 227674 | 48098 21077 109 | 1.317 % | c | 49537 | 5469 89596 227674 | 52908 21837 109 | 1.317 % | c | 50677 | 5469 89596 227674 | 58199 22977 110 | 1.317 % | c | 52385 | 5469 89596 227674 | 64018 24685 110 | 1.317 % | c | 54948 | 5469 89596 227674 | 70420 27248 110 | 1.317 % | c | 58792 | 5469 89596 227674 | 77462 31092 111 | 1.317 % | c | 64558 | 5469 89596 227674 | 85209 36858 113 | 1.317 % | c | 73208 | 5469 89596 227674 | 93730 45508 113 | 1.317 % | c | 86183 | 5469 89596 227674 | 103103 58483 115 | 1.317 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 39.386 s Remaining CPU time: 140.614 s c =============================================================================== c | 88593 | 5469 89597 227850 | 29865 60893 114 | 1.317 % | c | 88694 | 5469 89597 227850 | 32852 13167 109 | 1.317 % | c | 88845 | 5469 89597 227850 | 36137 13318 109 | 1.317 % | c | 89073 | 5469 89597 227850 | 39751 13546 108 | 1.317 % | c | 89410 | 5469 89597 227850 | 43726 13883 108 | 1.317 % | c | 89916 | 5469 89597 227850 | 48098 14389 108 | 1.317 % | c | 90676 | 5469 89597 227850 | 52908 15149 109 | 1.317 % | c | 91816 | 5469 89597 227850 | 58199 16289 109 | 1.317 % | c | 93525 | 5469 89597 227850 | 64019 17998 108 | 1.317 % | c | 96087 | 5469 89597 227850 | 70421 20560 109 | 1.317 % | c | 99932 | 5469 89597 227850 | 77463 24405 108 | 1.317 % | c | 105698 | 5469 89597 227850 | 85210 30171 109 | 1.317 % | c | 114348 | 5469 89597 227850 | 93731 38821 108 | 1.317 % | c | 127322 | 5469 89597 227850 | 103104 51795 108 | 1.317 % | c | 146785 | 5469 89597 227850 | 113414 71258 110 | 1.317 % | c | 175977 | 5469 89597 227850 | 124756 100450 110 | 1.317 % | c | 219766 | 5469 89597 227850 | 137231 31833 107 | 1.317 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 127.865 s Remaining CPU time: 52.1354 s c =============================================================================== c | 233343 | 5469 89598 228026 | 29866 45410 111 | 1.317 % | c | 233443 | 5469 89598 228026 | 32852 12288 118 | 1.317 % | c | 233593 | 5469 89598 228026 | 36137 12438 118 | 1.317 % | c | 233819 | 5469 89598 228026 | 39751 12664 117 | 1.317 % | c | 234156 | 5469 89598 228026 | 43726 13001 117 | 1.317 % | c | 234664 | 5469 89598 228026 | 48099 13509 116 | 1.317 % | c | 235424 | 5469 89598 228026 | 52909 14269 115 | 1.317 % | c | 236564 | 5469 89598 228026 | 58200 15409 114 | 1.317 % | c | 238272 | 5469 89598 228026 | 64020 17117 114 | 1.317 % | c | 240835 | 5469 89598 228026 | 70422 19680 113 | 1.317 % | c | 244680 | 5469 89598 228026 | 77464 23525 111 | 1.317 % | c | 250447 | 5469 89598 228026 | 85211 29292 111 | 1.317 % | c | 259096 | 5469 89598 228026 | 93732 37941 111 | 1.317 % | c | 272070 | 5469 89598 228026 | 103105 50915 113 | 1.317 % | c | 291531 | 5469 89598 228026 | 113416 70376 114 | 1.317 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 166.647 s Remaining CPU time: 13.3533 s c =============================================================================== c | 307213 | 5469 89599 228202 | 29866 86058 115 | 1.317 % | c | 307313 | 5469 89599 228202 | 32852 13053 114 | 1.317 % | c | 307464 | 5469 89599 228202 | 36138 13204 114 | 1.317 % | c | 307690 | 5469 89599 228202 | 39752 13430 114 | 1.317 % | c | 308027 | 5469 89599 228202 | 43727 13767 113 | 1.317 % | c | 308534 | 5469 89599 228202 | 48100 14274 113 | 1.317 % | c | 309293 | 5469 89599 228202 | 52910 15033 112 | 1.317 % | c | 310432 | 5469 89599 228202 | 58201 16172 112 | 1.317 % | c | 312140 | 5469 89599 228202 | 64021 17880 111 | 1.317 % | c | 314702 | 5469 89599 228202 | 70423 20442 111 | 1.317 % | c | 318546 | 5469 89599 228202 | 77465 24286 110 | 1.317 % | c | 324313 | 5469 89599 228202 | 85212 30053 109 | 1.317 % | c | 332962 | 5469 89599 228202 | 93733 38702 110 | 1.317 % | c There are 73 assigned variables. 73 in cost function. c Memory used : 194.66 MB c CPU time : 180.399 s c c Total CPU time: 180.4 s