c wbo 1.4 beta - 20100610 c | Number of variables: 5352 | c | Number of clauses: 87750 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.06 s | c | Number Variables: 5352 | c | Number Clauses: 87580 | 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 | 5293 87580 219249 | 29193 0 nan | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 1 | 5293 87581 219419 | 29193 1 2 | 0.000 % | c | 101 | 5293 87581 219419 | 32113 101 101 | 1.102 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s c =============================================================================== c | 237 | 5293 87582 219589 | 29194 237 60 | 1.102 % | c | 337 | 5293 87582 219589 | 32113 337 54 | 1.102 % | c | 487 | 5293 87582 219589 | 35324 487 46 | 1.102 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 570 | 5293 87583 219759 | 29194 570 43 | 1.102 % | c | 670 | 5293 87583 219759 | 32113 670 38 | 1.102 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.938857 s Remaining CPU time: 179.061 s c =============================================================================== c | 761 | 5293 87584 219929 | 29194 761 43 | 1.102 % | c | 861 | 5293 87584 219929 | 32114 861 41 | 1.102 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s c =============================================================================== c | 930 | 5293 87585 220099 | 29195 930 39 | 1.102 % | c | 1030 | 5293 87585 220099 | 32114 1030 40 | 1.103 % | c | 1180 | 5293 87585 220099 | 35325 1180 47 | 1.102 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 1.14983 s Remaining CPU time: 178.85 s c =============================================================================== c | 1248 | 5293 87586 220269 | 29195 1248 45 | 1.102 % | c | 1348 | 5293 87586 220269 | 32114 1348 44 | 1.102 % | c | 1498 | 5293 87586 220269 | 35326 1498 46 | 1.102 % | c | 1724 | 5293 87586 220269 | 38858 1724 47 | 1.102 % | c | 2061 | 5293 87586 220269 | 42744 2061 48 | 1.102 % | c | 2567 | 5293 87586 220269 | 47019 2567 50 | 1.102 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 1.68574 s Remaining CPU time: 178.314 s c =============================================================================== c | 2920 | 5293 87587 220439 | 29195 2920 49 | 1.102 % | c | 3020 | 5293 87587 220439 | 32115 3020 48 | 1.102 % | c | 3170 | 5293 87587 220439 | 35326 3170 50 | 1.102 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 1.84572 s Remaining CPU time: 178.154 s c =============================================================================== c | 3335 | 5293 87588 220609 | 29196 3335 49 | 1.102 % | c | 3436 | 5293 87588 220609 | 32115 3436 49 | 1.102 % | c | 3586 | 5293 87588 220609 | 35327 3586 48 | 1.102 % | c | 3812 | 5293 87588 220609 | 38859 3812 51 | 1.103 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 4054 | 5293 87589 220779 | 29196 4054 51 | 1.103 % | c | 4154 | 5293 87589 220779 | 32115 4154 52 | 1.102 % | c | 4304 | 5293 87589 220779 | 35327 4304 52 | 1.102 % | c | 4529 | 5293 87589 220779 | 38860 4529 54 | 1.102 % | c | 4866 | 5293 87589 220779 | 42746 4866 54 | 1.102 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 2.52062 s Remaining CPU time: 177.479 s c =============================================================================== c | 4977 | 5293 87590 220949 | 29196 4977 54 | 1.102 % | c | 5077 | 5293 87590 220949 | 32116 5077 54 | 1.103 % | c | 5227 | 5293 87590 220949 | 35327 5227 53 | 1.102 % | c | 5452 | 5293 87590 220949 | 38860 5452 55 | 1.102 % | c | 5789 | 5293 87590 220949 | 42746 5789 55 | 1.102 % | c | 6297 | 5293 87590 220949 | 47021 6297 60 | 1.102 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 3.08053 s Remaining CPU time: 176.919 s c =============================================================================== c | 6585 | 5293 87591 221119 | 29197 6585 61 | 1.102 % | c | 6685 | 5293 87591 221119 | 32116 6685 60 | 1.102 % | c | 6835 | 5293 87591 221119 | 35328 6835 60 | 1.102 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 3.2555 s Remaining CPU time: 176.744 s c =============================================================================== c | 6896 | 5293 87592 221289 | 29197 6896 60 | 1.102 % | c | 6996 | 5293 87592 221289 | 32117 6996 59 | 1.102 % | c | 7146 | 5293 87592 221289 | 35328 7146 60 | 1.102 % | c | 7371 | 5293 87592 221289 | 38861 7371 60 | 1.102 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 3.52246 s Remaining CPU time: 176.478 s c =============================================================================== c | 7476 | 5293 87593 221459 | 29197 7476 60 | 1.102 % | c | 7576 | 5293 87593 221459 | 32117 7576 59 | 1.102 % | c | 7726 | 5293 87593 221459 | 35329 7726 59 | 1.102 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 3.71443 s Remaining CPU time: 176.286 s c =============================================================================== c | 7837 | 5293 87594 221629 | 29198 7837 59 | 1.102 % | c | 7937 | 5293 87594 221629 | 32117 7937 59 | 1.102 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 3.79642 s Remaining CPU time: 176.204 s c =============================================================================== c | 7952 | 5293 87595 221799 | 29198 7952 59 | 1.102 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 3.86341 s Remaining CPU time: 176.137 s c =============================================================================== c | 8042 | 5293 87596 221969 | 29198 8042 59 | 1.102 % | c | 8142 | 5293 87596 221969 | 32118 8142 59 | 1.102 % | c | 8293 | 5293 87596 221969 | 35330 8293 59 | 1.102 % | c | 8519 | 5293 87596 221969 | 38863 8519 60 | 1.102 % | c | 8856 | 5293 87596 221969 | 42749 8856 62 | 1.102 % | c | 9363 | 5293 87596 221969 | 47024 9363 62 | 1.102 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 4.51631 s Remaining CPU time: 175.484 s c =============================================================================== c | 9670 | 5293 87597 222139 | 29199 9670 63 | 1.102 % | c | 9770 | 5293 87597 222139 | 32118 9770 63 | 1.102 % | c | 9920 | 5293 87597 222139 | 35330 9920 63 | 1.102 % | c | 10145 | 5293 87597 222139 | 38863 10145 63 | 1.102 % | c | 10482 | 5293 87597 222139 | 42750 10482 63 | 1.102 % | c | 10988 | 5293 87597 222139 | 47025 10988 65 | 1.102 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 5.09323 s Remaining CPU time: 174.907 s c =============================================================================== c | 11110 | 5293 87598 222309 | 29199 11110 65 | 1.102 % | c | 11210 | 5293 87598 222309 | 32119 11210 65 | 1.102 % | c | 11362 | 5293 87598 222309 | 35331 11362 65 | 1.102 % | c | 11587 | 5293 87598 222309 | 38864 11587 65 | 1.102 % | c | 11924 | 5293 87598 222309 | 42750 11924 65 | 1.102 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 5.67014 s Remaining CPU time: 174.33 s c =============================================================================== c | 12173 | 5293 87599 222479 | 29199 12173 65 | 1.102 % | c | 12273 | 5293 87599 222479 | 32119 12273 65 | 1.102 % | c | 12426 | 5293 87599 222479 | 35331 12426 66 | 1.102 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 5.9111 s Remaining CPU time: 174.089 s c =============================================================================== c | 12603 | 5293 87600 222649 | 29200 12603 66 | 1.102 % | c | 12703 | 5293 87600 222649 | 32120 12703 66 | 1.103 % | c | 12854 | 5293 87600 222649 | 35332 12854 66 | 1.102 % | c | 13080 | 5293 87600 222649 | 38865 13080 66 | 1.102 % | c | 13417 | 5293 87600 222649 | 42751 13417 66 | 1.102 % | c | 13923 | 5293 87600 222649 | 47026 13923 67 | 1.102 % | c | 14683 | 5293 87600 222649 | 51729 14683 69 | 1.102 % | c | 15822 | 5293 87600 222649 | 56902 15822 72 | 1.102 % | c | 17531 | 5293 87600 222649 | 62592 17531 75 | 1.102 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 9.1846 s Remaining CPU time: 170.815 s c =============================================================================== c | 19918 | 5293 87601 222819 | 29200 19918 79 | 1.102 % | c | 20018 | 5293 87601 222819 | 32120 20018 79 | 1.102 % | c | 20169 | 5293 87601 222819 | 35332 20169 80 | 1.102 % | c | 20394 | 5293 87601 222819 | 38865 20394 80 | 1.102 % | c | 20732 | 5293 87601 222819 | 42752 20732 80 | 1.102 % | c | 21239 | 5293 87601 222819 | 47027 21239 80 | 1.102 % | c | 21999 | 5293 87601 222819 | 51730 21999 80 | 1.102 % | c | 23139 | 5293 87601 222819 | 56903 23139 81 | 1.102 % | c | 24847 | 5293 87601 222819 | 62593 24847 82 | 1.102 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 11.4073 s Remaining CPU time: 168.593 s c =============================================================================== c | 25309 | 5293 87602 222989 | 29200 25309 82 | 1.102 % | c | 25410 | 5293 87602 222989 | 32120 25410 82 | 1.102 % | c | 25560 | 5293 87602 222989 | 35332 25560 82 | 1.102 % | c | 25785 | 5293 87602 222989 | 38866 25785 82 | 1.102 % | c | 26122 | 5293 87602 222989 | 42752 26122 82 | 1.102 % | c | 26628 | 5293 87602 222989 | 47027 26628 82 | 1.102 % | c | 27387 | 5293 87602 222989 | 51730 27387 83 | 1.102 % | c | 28527 | 5293 87602 222989 | 56903 28527 83 | 1.102 % | c | 30235 | 5293 87602 222989 | 62594 30235 85 | 1.102 % | c | 32797 | 5293 87602 222989 | 68853 32797 86 | 1.102 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 15.4826 s Remaining CPU time: 164.517 s c =============================================================================== c | 34449 | 5293 87603 223159 | 29201 34449 86 | 1.102 % | c | 34549 | 5293 87603 223159 | 32121 13510 82 | 1.102 % | c | 34699 | 5293 87603 223159 | 35333 13660 82 | 1.102 % | c | 34926 | 5293 87603 223159 | 38866 13887 83 | 1.102 % | c | 35265 | 5293 87603 223159 | 42753 14226 83 | 1.102 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 16.0526 s Remaining CPU time: 163.947 s c =============================================================================== c | 35667 | 5293 87604 223329 | 29201 14628 83 | 1.102 % | c | 35768 | 5293 87604 223329 | 32121 14729 83 | 1.102 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 16.1655 s Remaining CPU time: 163.834 s c =============================================================================== c | 35853 | 5293 87605 223499 | 29201 14814 83 | 1.102 % | c | 35954 | 5293 87605 223499 | 32121 14915 83 | 1.102 % | c | 36104 | 5293 87605 223499 | 35334 15065 83 | 1.102 % | c | 36329 | 5293 87605 223499 | 38867 15290 83 | 1.102 % | c | 36667 | 5293 87605 223499 | 42754 15628 83 | 1.102 % | c | 37173 | 5293 87605 223499 | 47029 16134 83 | 1.102 % | c | 37933 | 5293 87605 223499 | 51732 16894 84 | 1.102 % | c | 39073 | 5293 87605 223499 | 56905 18034 85 | 1.102 % | c | 40781 | 5293 87605 223499 | 62596 19742 86 | 1.102 % | c | 43344 | 5293 87605 223499 | 68856 22305 87 | 1.102 % | c | 47188 | 5293 87605 223499 | 75741 26149 89 | 1.102 % | c | 52954 | 5293 87605 223499 | 83315 31915 90 | 1.102 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 23.0725 s Remaining CPU time: 156.928 s c =============================================================================== c | 54782 | 5293 87606 223669 | 29202 33743 90 | 1.102 % | c | 54883 | 5293 87606 223669 | 32122 12900 86 | 1.102 % | c | 55033 | 5293 87606 223669 | 35334 13050 86 | 1.102 % | c | 55259 | 5293 87606 223669 | 38867 13276 86 | 1.102 % | c | 55596 | 5293 87606 223669 | 42754 13613 86 | 1.102 % | c | 56103 | 5293 87606 223669 | 47030 14120 86 | 1.102 % | c | 56862 | 5293 87606 223669 | 51733 14879 86 | 1.102 % | c | 58001 | 5293 87606 223669 | 56906 16018 86 | 1.102 % | c | 59711 | 5293 87606 223669 | 62597 17728 86 | 1.102 % | c | 62273 | 5293 87606 223669 | 68856 20290 87 | 1.102 % | c | 66117 | 5293 87606 223669 | 75742 24134 87 | 1.102 % | c | 71883 | 5293 87606 223669 | 83316 29900 88 | 1.102 % | c | 80532 | 5293 87606 223669 | 91648 38549 89 | 1.102 % | c | 93507 | 5293 87606 223669 | 100813 51524 90 | 1.102 % | c | 112969 | 5293 87606 223669 | 110894 70986 90 | 1.102 % | c | 142161 | 5293 87606 223669 | 121984 100178 91 | 1.102 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 83.2024 s Remaining CPU time: 96.7976 s c =============================================================================== c | 144461 | 5293 87607 223839 | 29202 102478 91 | 1.102 % | c | 144561 | 5293 87607 223839 | 32122 13866 82 | 1.102 % | c | 144711 | 5293 87607 223839 | 35334 14016 82 | 1.102 % | c | 144936 | 5293 87607 223839 | 38868 14241 82 | 1.102 % | c | 145273 | 5293 87607 223839 | 42755 14578 82 | 1.102 % | c | 145779 | 5293 87607 223839 | 47030 15084 83 | 1.102 % | c | 146540 | 5293 87607 223839 | 51733 15845 83 | 1.102 % | c | 147680 | 5293 87607 223839 | 56907 16985 84 | 1.102 % | c | 149389 | 5293 87607 223839 | 62597 18694 85 | 1.102 % | c | 151952 | 5293 87607 223839 | 68857 21257 84 | 1.102 % | c | 155796 | 5293 87607 223839 | 75743 25101 85 | 1.102 % | c | 161562 | 5293 87607 223839 | 83317 30867 86 | 1.102 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 92.8729 s Remaining CPU time: 87.1271 s c =============================================================================== c | 162844 | 5293 87608 224009 | 29202 32149 86 | 1.102 % | c | 162944 | 5293 87608 224009 | 32122 12307 81 | 1.103 % | c | 163094 | 5293 87608 224009 | 35335 12457 81 | 1.102 % | c | 163320 | 5293 87608 224009 | 38868 12683 81 | 1.102 % | c | 163659 | 5293 87608 224009 | 42755 13022 81 | 1.102 % | c | 164165 | 5293 87608 224009 | 47031 13528 81 | 1.102 % | c | 164925 | 5293 87608 224009 | 51734 14288 81 | 1.102 % | c | 166064 | 5293 87608 224009 | 56907 15427 81 | 1.102 % | c | 167772 | 5293 87608 224009 | 62598 17135 82 | 1.102 % | c | 170335 | 5293 87608 224009 | 68858 19698 83 | 1.102 % | c | 174179 | 5293 87608 224009 | 75744 23542 83 | 1.102 % | c | 179946 | 5293 87608 224009 | 83318 29309 85 | 1.102 % | c | 188595 | 5293 87608 224009 | 91650 37958 85 | 1.102 % | c | 201570 | 5293 87608 224009 | 100815 50933 84 | 1.102 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 120.446 s Remaining CPU time: 59.5543 s c =============================================================================== c | 220149 | 5293 87609 224179 | 29203 69512 86 | 1.102 % | c | 220249 | 5293 87609 224179 | 32123 12844 83 | 1.102 % | c | 220399 | 5293 87609 224179 | 35335 12994 83 | 1.102 % | c | 220624 | 5293 87609 224179 | 38869 13219 83 | 1.102 % | c | 220962 | 5293 87609 224179 | 42756 13557 82 | 1.102 % | c | 221469 | 5293 87609 224179 | 47031 14064 82 | 1.102 % | c | 222229 | 5293 87609 224179 | 51734 14824 82 | 1.102 % | c | 223369 | 5293 87609 224179 | 56908 15964 82 | 1.102 % | c | 225077 | 5293 87609 224179 | 62599 17672 82 | 1.102 % | c | 227640 | 5293 87609 224179 | 68859 20235 82 | 1.102 % | c | 231484 | 5293 87609 224179 | 75745 24079 83 | 1.102 % | c | 237250 | 5293 87609 224179 | 83319 29845 84 | 1.102 % | c | 245900 | 5293 87609 224179 | 91651 38495 84 | 1.102 % | c | 258874 | 5293 87609 224179 | 100816 51469 83 | 1.103 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 146.956 s Remaining CPU time: 33.0443 s c =============================================================================== c | 267473 | 5293 87610 224349 | 29203 60068 83 | 1.103 % | c | 267573 | 5293 87610 224349 | 32123 12892 77 | 1.102 % | c | 267724 | 5293 87610 224349 | 35336 13043 77 | 1.102 % | c | 267949 | 5293 87610 224349 | 38869 13268 77 | 1.102 % | c | 268286 | 5293 87610 224349 | 42756 13605 77 | 1.102 % | c | 268792 | 5293 87610 224349 | 47032 14111 77 | 1.102 % | c | 269551 | 5293 87610 224349 | 51735 14870 78 | 1.102 % | c | 270690 | 5293 87610 224349 | 56909 16009 78 | 1.102 % | c | 272399 | 5293 87610 224349 | 62599 17718 78 | 1.102 % | c | 274964 | 5293 87610 224349 | 68859 20283 78 | 1.102 % | c | 278809 | 5293 87610 224349 | 75745 24128 79 | 1.102 % | c | 284576 | 5293 87610 224349 | 83320 29895 80 | 1.102 % | c | 293227 | 5293 87610 224349 | 91652 38546 81 | 1.102 % | c | 306202 | 5293 87610 224349 | 100817 51521 81 | 1.102 % | c | 325663 | 5293 87610 224349 | 110899 70982 82 | 1.102 % | c There are 59 assigned variables. 59 in cost function. c Memory used : 158.20 MB c CPU time : 180.411 s c c Total CPU time: 180.412 s