c wbo 1.4 beta - 20100610 c | Number of variables: 8107 | c | Number of clauses: 196214 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.14 s | c | Number Variables: 8107 | c | Number Clauses: 196034 | 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 | 8031 196034 501874 | 65344 0 nan | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 0 | 8031 196035 502054 | 65345 0 nan | 0.000 % | c | 101 | 8031 196035 502054 | 71879 101 100 | 0.937 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 223 | 8031 196036 502234 | 65345 223 54 | 0.937 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 226 | 8031 196037 502414 | 65345 226 54 | 0.937 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.87372 s Remaining CPU time: 178.126 s c =============================================================================== c | 228 | 8031 196038 502594 | 65346 228 53 | 0.937 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.90871 s Remaining CPU time: 178.091 s c =============================================================================== c | 228 | 8031 196039 502774 | 65346 228 53 | 0.937 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.9547 s Remaining CPU time: 178.045 s c =============================================================================== c | 256 | 8031 196040 502954 | 65346 256 58 | 0.937 % | c | 356 | 8031 196040 502954 | 71881 356 47 | 0.937 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 2.08668 s Remaining CPU time: 177.913 s c =============================================================================== c | 416 | 8031 196041 503134 | 65347 416 43 | 0.937 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 2.15767 s Remaining CPU time: 177.842 s c =============================================================================== c | 486 | 8031 196042 503314 | 65347 486 39 | 0.937 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 489 | 8031 196043 503494 | 65347 489 39 | 0.937 % | c | 589 | 8031 196043 503494 | 71882 589 52 | 0.937 % | c | 739 | 8031 196043 503494 | 79070 739 56 | 0.937 % | c | 964 | 8031 196043 503494 | 86977 964 59 | 0.937 % | c | 1301 | 8031 196043 503494 | 95675 1301 63 | 0.937 % | c | 1808 | 8031 196043 503494 | 105243 1808 70 | 0.937 % | c | 2568 | 8031 196043 503494 | 115767 2568 78 | 0.937 % | c | 3707 | 8031 196043 503494 | 127344 3707 81 | 0.937 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 3.66644 s Remaining CPU time: 176.334 s c =============================================================================== c | 3877 | 8031 196044 503674 | 65348 3877 79 | 0.937 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 3.73743 s Remaining CPU time: 176.263 s c =============================================================================== c | 3920 | 8031 196045 503854 | 65348 3920 79 | 0.937 % | c | 4020 | 8031 196045 503854 | 71883 4020 77 | 0.938 % | c | 4171 | 8031 196045 503854 | 79071 4171 77 | 0.938 % | c | 4396 | 8031 196045 503854 | 86978 4396 76 | 0.937 % | c | 4733 | 8031 196045 503854 | 95676 4733 78 | 0.937 % | c | 5239 | 8031 196045 503854 | 105244 5239 80 | 0.937 % | c | 5998 | 8031 196045 503854 | 115768 5998 86 | 0.937 % | c | 7139 | 8031 196045 503854 | 127345 7139 97 | 0.937 % | c | 8848 | 8031 196045 503854 | 140079 8848 102 | 0.938 % | c | 11411 | 8031 196045 503854 | 154087 11411 108 | 0.937 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 6.71498 s Remaining CPU time: 173.285 s c =============================================================================== c | 12718 | 8031 196046 504034 | 65348 12718 110 | 0.937 % | c | 12819 | 8031 196046 504034 | 71883 12819 109 | 0.937 % | c | 12969 | 8031 196046 504034 | 79071 12969 109 | 0.937 % | c | 13195 | 8031 196046 504034 | 86979 13195 109 | 0.938 % | c | 13532 | 8031 196046 504034 | 95676 13532 109 | 0.937 % | c | 14039 | 8031 196046 504034 | 105244 14039 108 | 0.937 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 7.60684 s Remaining CPU time: 172.393 s c =============================================================================== c | 14315 | 8031 196047 504214 | 65349 14315 108 | 0.937 % | c | 14415 | 8031 196047 504214 | 71883 14415 107 | 0.937 % | c | 14565 | 8031 196047 504214 | 79072 14565 107 | 0.937 % | c | 14790 | 8031 196047 504214 | 86979 14790 106 | 0.937 % | c | 15127 | 8031 196047 504214 | 95677 15127 105 | 0.937 % | c | 15635 | 8031 196047 504214 | 105245 15635 105 | 0.938 % | c | 16395 | 8031 196047 504214 | 115769 16395 105 | 0.937 % | c | 17535 | 8031 196047 504214 | 127346 17535 107 | 0.937 % | c | 19243 | 8031 196047 504214 | 140081 19243 107 | 0.937 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 9.99448 s Remaining CPU time: 170.006 s c =============================================================================== c | 19604 | 8031 196048 504394 | 65349 19604 106 | 0.937 % | c | 19704 | 8031 196048 504394 | 71884 19704 106 | 0.937 % | c | 19854 | 8031 196048 504394 | 79072 19854 106 | 0.937 % | c | 20079 | 8031 196048 504394 | 86979 20079 106 | 0.937 % | c | 20416 | 8031 196048 504394 | 95677 20416 105 | 0.937 % | c | 20922 | 8031 196048 504394 | 105245 20922 105 | 0.937 % | c | 21682 | 8031 196048 504394 | 115770 21682 105 | 0.937 % | c | 22821 | 8031 196048 504394 | 127347 22821 107 | 0.938 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 11.8402 s Remaining CPU time: 168.16 s c =============================================================================== c | 22911 | 8031 196049 504574 | 65349 22911 107 | 0.938 % | c | 23011 | 8031 196049 504574 | 71884 23011 107 | 0.937 % | c | 23161 | 8031 196049 504574 | 79073 23161 107 | 0.937 % | c | 23387 | 8031 196049 504574 | 86980 23387 107 | 0.937 % | c | 23725 | 8031 196049 504574 | 95678 23725 107 | 0.937 % | c | 24232 | 8031 196049 504574 | 105246 24232 107 | 0.937 % | c | 24992 | 8031 196049 504574 | 115770 24992 107 | 0.938 % | c | 26133 | 8031 196049 504574 | 127348 26133 107 | 0.937 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 14.2308 s Remaining CPU time: 165.769 s c =============================================================================== c | 26344 | 8031 196050 504754 | 65350 26344 107 | 0.937 % | c | 26444 | 8031 196050 504754 | 71885 26444 107 | 0.938 % | c | 26594 | 8031 196050 504754 | 79073 26594 107 | 0.937 % | c | 26820 | 8031 196050 504754 | 86980 26820 107 | 0.937 % | c | 27157 | 8031 196050 504754 | 95678 27157 107 | 0.937 % | c | 27663 | 8031 196050 504754 | 105246 27663 106 | 0.937 % | c | 28424 | 8031 196050 504754 | 115771 28424 107 | 0.938 % | c | 29564 | 8031 196050 504754 | 127348 29564 107 | 0.937 % | c | 31273 | 8031 196050 504754 | 140083 31273 107 | 0.937 % | c | 33835 | 8031 196050 504754 | 154091 33835 108 | 0.937 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 19.1611 s Remaining CPU time: 160.839 s c =============================================================================== c | 34516 | 8031 196051 504934 | 65350 34516 108 | 0.937 % | c | 34616 | 8031 196051 504934 | 71885 34616 108 | 0.937 % | c | 34768 | 8031 196051 504934 | 79073 34768 108 | 0.937 % | c | 34994 | 8031 196051 504934 | 86981 34994 108 | 0.937 % | c | 35331 | 8031 196051 504934 | 95679 35331 108 | 0.937 % | c | 35837 | 8031 196051 504934 | 105247 35837 108 | 0.938 % | c | 36598 | 8031 196051 504934 | 115772 36598 108 | 0.937 % | c | 37737 | 8031 196051 504934 | 127349 37737 107 | 0.937 % | c | 39447 | 8031 196051 504934 | 140084 39447 108 | 0.937 % | c | 42009 | 8031 196051 504934 | 154092 42009 109 | 0.937 % | c | 45854 | 8031 196051 504934 | 169501 45854 110 | 0.937 % | c | 51620 | 8031 196051 504934 | 186452 51620 111 | 0.937 % | c | 60270 | 8031 196051 504934 | 205097 60270 114 | 0.937 % | c | 73244 | 8031 196051 504934 | 225607 73244 117 | 0.937 % | c | 92705 | 8031 196051 504934 | 248167 92705 121 | 0.937 % | c | 121897 | 8031 196051 504934 | 272984 121897 125 | 0.937 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 105.404 s Remaining CPU time: 74.596 s c =============================================================================== c | 134704 | 8031 196052 505114 | 65350 134704 126 | 0.937 % | c | 134806 | 8031 196052 505114 | 71885 14165 122 | 0.937 % | c | 134956 | 8031 196052 505114 | 79074 14315 121 | 0.937 % | c | 135181 | 8031 196052 505114 | 86981 14540 121 | 0.937 % | c | 135519 | 8031 196052 505114 | 95679 14878 120 | 0.937 % | c | 136026 | 8031 196052 505114 | 105247 15385 119 | 0.937 % | c | 136786 | 8031 196052 505114 | 115772 16145 118 | 0.937 % | c | 137925 | 8031 196052 505114 | 127349 17284 118 | 0.937 % | c | 139634 | 8031 196052 505114 | 140084 18993 118 | 0.937 % | c | 142196 | 8031 196052 505114 | 154093 21555 116 | 0.937 % | c | 146041 | 8031 196052 505114 | 169502 25400 116 | 0.938 % | c | 151808 | 8031 196052 505114 | 186453 31167 119 | 0.937 % | c | 160458 | 8031 196052 505114 | 205098 39817 118 | 0.937 % | c | 173433 | 8031 196052 505114 | 225608 52792 120 | 0.937 % | c | 192894 | 8031 196052 505114 | 248169 72253 123 | 0.937 % | c | 222087 | 8031 196052 505114 | 272985 101446 125 | 0.937 % | c There are 76 assigned variables. 76 in cost function. c Memory used : 159.60 MB c CPU time : 180.458 s c c Total CPU time: 180.459 s