c wbo 1.4 beta - 20100610 c | Number of variables: 5950 | c | Number of clauses: 114703 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.08 s | c | Number Variables: 5950 | c | Number Clauses: 114529 | 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 | 5891 114529 288848 | 38176 0 nan | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 0 | 5891 114530 289022 | 38176 0 nan | 0.000 % | c | 100 | 5891 114530 289022 | 41994 100 103 | 0.992 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 171 | 5891 114531 289196 | 38177 171 64 | 0.992 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.880866 s Remaining CPU time: 179.119 s c =============================================================================== c | 182 | 5891 114532 289370 | 38177 182 62 | 0.992 % | c | 282 | 5891 114532 289370 | 41995 282 57 | 0.992 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 409 | 5891 114533 289544 | 38177 409 49 | 0.992 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 456 | 5891 114534 289718 | 38178 456 47 | 0.992 % | c | 556 | 5891 114534 289718 | 41995 556 47 | 0.992 % | c | 706 | 5891 114534 289718 | 46195 706 44 | 0.992 % | c | 931 | 5891 114534 289718 | 50814 931 44 | 0.992 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 989 | 5891 114535 289892 | 38178 989 43 | 0.992 % | c | 1089 | 5891 114535 289892 | 41996 1089 47 | 0.992 % | c | 1239 | 5891 114535 289892 | 46195 1239 48 | 0.992 % | c | 1465 | 5891 114535 289892 | 50815 1465 51 | 0.992 % | c | 1802 | 5891 114535 289892 | 55896 1802 56 | 0.992 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 1832 | 5891 114536 290066 | 38178 1832 56 | 0.992 % | c | 1933 | 5891 114536 290066 | 41996 1933 57 | 0.992 % | c | 2084 | 5891 114536 290066 | 46196 2084 56 | 0.992 % | c | 2310 | 5891 114536 290066 | 50815 2310 57 | 0.992 % | c | 2647 | 5891 114536 290066 | 55897 2647 56 | 0.992 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 1.92771 s Remaining CPU time: 178.072 s c =============================================================================== c | 2937 | 5891 114537 290240 | 38179 2937 57 | 0.992 % | c | 3037 | 5891 114537 290240 | 41996 3037 58 | 0.992 % | c | 3187 | 5891 114537 290240 | 46196 3187 57 | 0.992 % | c | 3413 | 5891 114537 290240 | 50816 3413 59 | 0.992 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 3643 | 5891 114538 290414 | 38179 3643 58 | 0.992 % | c | 3744 | 5891 114538 290414 | 41997 3744 59 | 0.992 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 3793 | 5891 114539 290588 | 38179 3793 59 | 0.992 % | c | 3893 | 5891 114539 290588 | 41997 3893 59 | 0.992 % | c | 4043 | 5891 114539 290588 | 46197 4043 60 | 0.992 % | c | 4268 | 5891 114539 290588 | 50817 4268 60 | 0.992 % | c | 4605 | 5891 114539 290588 | 55898 4605 60 | 0.992 % | c | 5112 | 5891 114539 290588 | 61488 5112 61 | 0.992 % | c | 5871 | 5891 114539 290588 | 67637 5871 68 | 0.992 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 3.2825 s Remaining CPU time: 176.718 s c =============================================================================== c | 6825 | 5891 114540 290762 | 38180 6825 74 | 0.992 % | c | 6925 | 5891 114540 290762 | 41998 6925 74 | 0.992 % | c | 7075 | 5891 114540 290762 | 46197 7075 74 | 0.992 % | c | 7301 | 5891 114540 290762 | 50817 7301 75 | 0.992 % | c | 7639 | 5891 114540 290762 | 55899 7639 76 | 0.992 % | c | 8146 | 5891 114540 290762 | 61489 8146 76 | 0.992 % | c | 8906 | 5891 114540 290762 | 67638 8906 77 | 0.992 % | c | 10046 | 5891 114540 290762 | 74402 10046 79 | 0.992 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 4.28435 s Remaining CPU time: 175.716 s c =============================================================================== c | 10276 | 5891 114541 290936 | 38180 10276 80 | 0.992 % | c | 10377 | 5891 114541 290936 | 41998 10377 79 | 0.992 % | c | 10527 | 5891 114541 290936 | 46198 10527 79 | 0.992 % | c | 10752 | 5891 114541 290936 | 50818 10752 79 | 0.992 % | c | 11089 | 5891 114541 290936 | 55899 11089 78 | 0.992 % | c | 11595 | 5891 114541 290936 | 61489 11595 79 | 0.992 % | c | 12354 | 5891 114541 290936 | 67638 12354 80 | 0.992 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 5.2892 s Remaining CPU time: 174.711 s c =============================================================================== c | 12975 | 5891 114542 291110 | 38180 12975 81 | 0.992 % | c | 13076 | 5891 114542 291110 | 41998 13076 81 | 0.992 % | c | 13226 | 5891 114542 291110 | 46198 13226 81 | 0.992 % | c | 13452 | 5891 114542 291110 | 50818 13452 81 | 0.992 % | c | 13789 | 5891 114542 291110 | 55900 13789 81 | 0.992 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 5.66514 s Remaining CPU time: 174.335 s c =============================================================================== c | 13877 | 5891 114543 291284 | 38181 13877 80 | 0.992 % | c | 13980 | 5891 114543 291284 | 41999 13980 80 | 0.992 % | c | 14130 | 5891 114543 291284 | 46199 14130 80 | 0.992 % | c | 14356 | 5891 114543 291284 | 50818 14356 80 | 0.992 % | c | 14693 | 5891 114543 291284 | 55900 14693 81 | 0.992 % | c | 15199 | 5891 114543 291284 | 61490 15199 80 | 0.992 % | c | 15959 | 5891 114543 291284 | 67639 15959 81 | 0.992 % | c | 17098 | 5891 114543 291284 | 74403 17098 83 | 0.992 % | c | 18807 | 5891 114543 291284 | 81844 18807 86 | 0.992 % | c | 21371 | 5891 114543 291284 | 90028 21371 89 | 0.992 % | c | 25215 | 5891 114543 291284 | 99031 25215 91 | 0.992 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 10.3644 s Remaining CPU time: 169.636 s c =============================================================================== c | 26756 | 5891 114544 291458 | 38181 26756 91 | 0.992 % | c | 26856 | 5891 114544 291458 | 41999 26856 91 | 0.992 % | c | 27007 | 5891 114544 291458 | 46199 27007 91 | 0.992 % | c | 27233 | 5891 114544 291458 | 50819 27233 91 | 0.992 % | c | 27570 | 5891 114544 291458 | 55901 27570 92 | 0.992 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 11.0423 s Remaining CPU time: 168.958 s c =============================================================================== c | 28055 | 5891 114545 291632 | 38181 28055 92 | 0.992 % | c | 28156 | 5891 114545 291632 | 41999 28156 92 | 0.992 % | c | 28306 | 5891 114545 291632 | 46199 28306 92 | 0.992 % | c | 28531 | 5891 114545 291632 | 50819 28531 92 | 0.992 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 11.3443 s Remaining CPU time: 168.656 s c =============================================================================== c | 28589 | 5891 114546 291806 | 38182 28589 92 | 0.992 % | c | 28691 | 5891 114546 291806 | 42000 28691 92 | 0.992 % | c | 28841 | 5891 114546 291806 | 46200 28841 92 | 0.992 % | c | 29067 | 5891 114546 291806 | 50820 29067 91 | 0.992 % | c | 29405 | 5891 114546 291806 | 55902 29405 91 | 0.992 % | c | 29913 | 5891 114546 291806 | 61492 29913 92 | 0.992 % | c | 30672 | 5891 114546 291806 | 67641 30672 92 | 0.992 % | c | 31811 | 5891 114546 291806 | 74405 31811 92 | 0.992 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 13.389 s Remaining CPU time: 166.611 s c =============================================================================== c | 33378 | 5891 114547 291980 | 38182 33378 93 | 0.992 % | c | 33479 | 5891 114547 291980 | 42000 33479 93 | 0.992 % | c | 33629 | 5891 114547 291980 | 46200 33629 93 | 0.992 % | c | 33855 | 5891 114547 291980 | 50820 33855 93 | 0.992 % | c | 34193 | 5891 114547 291980 | 55902 34193 93 | 0.992 % | c | 34699 | 5891 114547 291980 | 61493 34699 93 | 0.992 % | c | 35458 | 5891 114547 291980 | 67642 35458 93 | 0.992 % | c | 36599 | 5891 114547 291980 | 74406 36599 93 | 0.992 % | c | 38307 | 5891 114547 291980 | 81847 38307 94 | 0.992 % | c | 40869 | 5891 114547 291980 | 90031 40869 95 | 0.992 % | c | 44713 | 5891 114547 291980 | 99035 44713 97 | 0.992 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 20.8428 s Remaining CPU time: 159.157 s c =============================================================================== c | 49011 | 5891 114548 292154 | 38182 49011 98 | 0.992 % | c | 49111 | 5891 114548 292154 | 42000 13720 97 | 0.992 % | c | 49265 | 5891 114548 292154 | 46201 13874 97 | 0.992 % | c | 49491 | 5891 114548 292154 | 50821 14100 97 | 0.992 % | c | 49831 | 5891 114548 292154 | 55903 14440 97 | 0.992 % | c | 50337 | 5891 114548 292154 | 61493 14946 97 | 0.992 % | c | 51097 | 5891 114548 292154 | 67642 15706 98 | 0.992 % | c | 52236 | 5891 114548 292154 | 74407 16845 98 | 0.992 % | c | 53944 | 5891 114548 292154 | 81847 18553 98 | 0.992 % | c | 56507 | 5891 114548 292154 | 90032 21116 99 | 0.992 % | c | 60352 | 5891 114548 292154 | 99036 24961 100 | 0.992 % | c | 66120 | 5891 114548 292154 | 108939 30729 101 | 0.992 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 28.2257 s Remaining CPU time: 151.774 s c =============================================================================== c | 69694 | 5891 114549 292328 | 38183 34303 102 | 0.992 % | c | 69794 | 5891 114549 292328 | 42001 34403 102 | 0.992 % | c | 69944 | 5891 114549 292328 | 46201 34553 102 | 0.992 % | c | 70169 | 5891 114549 292328 | 50821 34778 102 | 0.992 % | c | 70507 | 5891 114549 292328 | 55903 35116 102 | 0.992 % | c | 71013 | 5891 114549 292328 | 61494 35622 102 | 0.992 % | c | 71772 | 5891 114549 292328 | 67643 36381 102 | 0.992 % | c | 72912 | 5891 114549 292328 | 74407 37521 102 | 0.992 % | c | 74620 | 5891 114549 292328 | 81848 39229 102 | 0.992 % | c | 77184 | 5891 114549 292328 | 90033 41793 101 | 0.992 % | c | 81028 | 5891 114549 292328 | 99036 45637 101 | 0.992 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 35.1127 s Remaining CPU time: 144.887 s c =============================================================================== c | 84778 | 5891 114550 292502 | 38183 49387 102 | 0.992 % | c | 84879 | 5891 114550 292502 | 42001 13179 91 | 0.992 % | c | 85031 | 5891 114550 292502 | 46201 13331 91 | 0.992 % | c | 85257 | 5891 114550 292502 | 50822 13557 91 | 0.992 % | c | 85594 | 5891 114550 292502 | 55904 13894 91 | 0.992 % | c | 86100 | 5891 114550 292502 | 61494 14400 91 | 0.992 % | c | 86859 | 5891 114550 292502 | 67644 15159 91 | 0.992 % | c | 87998 | 5891 114550 292502 | 74408 16298 92 | 0.992 % | c | 89706 | 5891 114550 292502 | 81849 18006 92 | 0.992 % | c | 92268 | 5891 114550 292502 | 90034 20568 93 | 0.992 % | c | 96113 | 5891 114550 292502 | 99037 24413 94 | 0.992 % | c | 101880 | 5891 114550 292502 | 108941 30180 96 | 0.992 % | c | 110530 | 5891 114550 292502 | 119835 38830 99 | 0.992 % | c | 123506 | 5891 114550 292502 | 131819 51806 99 | 0.992 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 53.3859 s Remaining CPU time: 126.614 s c =============================================================================== c | 130982 | 5891 114551 292676 | 38183 59282 100 | 0.992 % | c | 131084 | 5891 114551 292676 | 42002 13251 92 | 0.992 % | c | 131234 | 5891 114551 292676 | 46202 13401 92 | 0.992 % | c | 131460 | 5891 114551 292676 | 50822 13627 92 | 0.992 % | c | 131798 | 5891 114551 292676 | 55904 13965 91 | 0.992 % | c | 132304 | 5891 114551 292676 | 61495 14471 92 | 0.992 % | c | 133063 | 5891 114551 292676 | 67644 15230 92 | 0.992 % | c | 134203 | 5891 114551 292676 | 74409 16370 92 | 0.992 % | c | 135912 | 5891 114551 292676 | 81850 18079 92 | 0.992 % | c | 138474 | 5891 114551 292676 | 90035 20641 92 | 0.992 % | c | 142318 | 5891 114551 292676 | 99038 24485 93 | 0.992 % | c | 148085 | 5891 114551 292676 | 108942 30252 93 | 0.992 % | c | 156734 | 5891 114551 292676 | 119836 38901 96 | 0.992 % | c | 169708 | 5891 114551 292676 | 131820 51875 97 | 0.992 % | c | 189169 | 5891 114551 292676 | 145002 71336 99 | 0.992 % | c | 218362 | 5891 114551 292676 | 159502 100529 102 | 0.992 % | c | 262153 | 5891 114551 292676 | 175452 144320 102 | 0.992 % | c There are 59 assigned variables. 59 in cost function. c Memory used : 159.94 MB c CPU time : 180.444 s c c Total CPU time: 180.444 s