c wbo 1.4 beta - 20100610 c | Number of variables: 6308 | c | Number of clauses: 81318 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.06 s | c | Number Variables: 6308 | c | Number Clauses: 81138 | 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 | 6215 81138 203711 | 27046 0 nan | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 0 | 6215 81139 203891 | 27046 0 nan | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 1 | 6215 81140 204071 | 27046 1 4 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 7 | 6215 81141 204251 | 27047 7 98 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 69 | 6215 81142 204431 | 27047 69 17 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 71 | 6215 81143 204611 | 27047 71 17 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 72 | 6215 81144 204791 | 27048 72 17 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 73 | 6215 81145 204971 | 27048 73 17 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 79 | 6215 81146 205151 | 27048 79 18 | 0.000 % | c | 179 | 6215 81146 205151 | 29753 179 32 | 1.475 % | c | 329 | 6215 81146 205151 | 32728 329 41 | 1.475 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 406 | 6215 81147 205331 | 27049 406 42 | 1.475 % | c | 507 | 6215 81147 205331 | 29753 507 37 | 1.474 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 513 | 6215 81148 205511 | 27049 513 37 | 1.474 % | c | 613 | 6215 81148 205511 | 29754 613 49 | 1.475 % | c | 763 | 6215 81148 205511 | 32729 763 45 | 1.474 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 791 | 6215 81149 205691 | 27049 791 45 | 1.474 % | c | 891 | 6215 81149 205691 | 29754 891 46 | 1.475 % | c | 1041 | 6215 81149 205691 | 32730 1041 44 | 1.474 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 1126 | 6215 81150 205871 | 27050 1126 42 | 1.474 % | c | 1227 | 6215 81150 205871 | 29755 1227 46 | 1.475 % | c | 1377 | 6215 81150 205871 | 32730 1377 51 | 1.474 % | c | 1602 | 6215 81150 205871 | 36003 1602 50 | 1.474 % | c | 1939 | 6215 81150 205871 | 39603 1939 55 | 1.474 % | c | 2446 | 6215 81150 205871 | 43564 2446 64 | 1.474 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 2993 | 6215 81151 206051 | 27050 2993 67 | 1.474 % | c | 3093 | 6215 81151 206051 | 29755 3093 68 | 1.474 % | c | 3243 | 6215 81151 206051 | 32730 3243 70 | 1.474 % | c | 3470 | 6215 81151 206051 | 36003 3470 72 | 1.474 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.85372 s Remaining CPU time: 178.146 s c =============================================================================== c | 3775 | 6215 81152 206231 | 27050 3775 76 | 1.474 % | c | 3875 | 6215 81152 206231 | 29755 3875 76 | 1.475 % | c | 4026 | 6215 81152 206231 | 32731 4026 77 | 1.474 % | c | 4253 | 6215 81152 206231 | 36004 4253 79 | 1.475 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 2.15067 s Remaining CPU time: 177.849 s c =============================================================================== c | 4506 | 6215 81153 206411 | 27051 4506 77 | 1.475 % | c | 4606 | 6215 81153 206411 | 29756 4606 77 | 1.474 % | c | 4757 | 6215 81153 206411 | 32731 4757 78 | 1.474 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 4777 | 6215 81154 206591 | 27051 4777 78 | 1.474 % | c | 4877 | 6215 81154 206591 | 29756 4877 78 | 1.474 % | c | 5028 | 6215 81154 206591 | 32732 5028 79 | 1.474 % | c | 5254 | 6215 81154 206591 | 36005 5254 80 | 1.474 % | c | 5593 | 6215 81154 206591 | 39605 5593 83 | 1.474 % | c | 6099 | 6215 81154 206591 | 43566 6099 86 | 1.474 % | c | 6858 | 6215 81154 206591 | 47923 6858 87 | 1.474 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 3.10553 s Remaining CPU time: 176.894 s c =============================================================================== c | 7729 | 6215 81155 206771 | 27051 7729 95 | 1.474 % | c | 7830 | 6215 81155 206771 | 29756 7830 95 | 1.474 % | c | 7980 | 6215 81155 206771 | 32732 7980 95 | 1.474 % | c | 8205 | 6215 81155 206771 | 36005 8205 95 | 1.474 % | c | 8543 | 6215 81155 206771 | 39606 8543 96 | 1.474 % | c | 9050 | 6215 81155 206771 | 43566 9050 98 | 1.474 % | c | 9809 | 6215 81155 206771 | 47923 9809 99 | 1.474 % | c | 10948 | 6215 81155 206771 | 52716 10948 101 | 1.474 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 4.30734 s Remaining CPU time: 175.693 s c =============================================================================== c | 12473 | 6215 81156 206951 | 27052 12473 104 | 1.474 % | c | 12573 | 6215 81156 206951 | 29757 12573 104 | 1.474 % | c | 12723 | 6215 81156 206951 | 32732 12723 104 | 1.474 % | c | 12949 | 6215 81156 206951 | 36006 12949 105 | 1.474 % | c | 13287 | 6215 81156 206951 | 39606 13287 105 | 1.474 % | c | 13793 | 6215 81156 206951 | 43567 13793 106 | 1.474 % | c | 14552 | 6215 81156 206951 | 47924 14552 107 | 1.474 % | c | 15691 | 6215 81156 206951 | 52716 15691 108 | 1.474 % | c | 17399 | 6215 81156 206951 | 57988 17399 110 | 1.474 % | c | 19963 | 6215 81156 206951 | 63787 19963 112 | 1.474 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 6.35103 s Remaining CPU time: 173.649 s c =============================================================================== c | 20375 | 6215 81157 207131 | 27052 20375 112 | 1.474 % | c | 20476 | 6215 81157 207131 | 29757 20476 112 | 1.474 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 6.45502 s Remaining CPU time: 173.545 s c =============================================================================== c | 20573 | 6215 81158 207311 | 27052 20573 112 | 1.474 % | c | 20673 | 6215 81158 207311 | 29757 20673 112 | 1.474 % | c | 20825 | 6215 81158 207311 | 32733 20825 112 | 1.474 % | c | 21050 | 6215 81158 207311 | 36007 21050 112 | 1.474 % | c | 21387 | 6215 81158 207311 | 39607 21387 112 | 1.474 % | c | 21894 | 6215 81158 207311 | 43568 21894 113 | 1.474 % | c | 22654 | 6215 81158 207311 | 47925 22654 113 | 1.474 % | c | 23793 | 6215 81158 207311 | 52717 23793 114 | 1.474 % | c | 25502 | 6215 81158 207311 | 57989 25502 114 | 1.474 % | c | 28066 | 6215 81158 207311 | 63788 28066 116 | 1.474 % | c | 31911 | 6215 81158 207311 | 70167 31911 117 | 1.474 % | c | 37677 | 6215 81158 207311 | 77184 37677 120 | 1.474 % | c | 46327 | 6215 81158 207311 | 84902 46327 122 | 1.474 % | c | 59302 | 6215 81158 207311 | 93393 59302 124 | 1.474 % | c | 78764 | 6215 81158 207311 | 102732 78764 126 | 1.474 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 42.4685 s Remaining CPU time: 137.531 s c =============================================================================== c | 86780 | 6215 81159 207491 | 27053 86780 126 | 1.474 % | c | 86881 | 6215 81159 207491 | 29758 13240 121 | 1.474 % | c | 87032 | 6215 81159 207491 | 32734 13391 121 | 1.474 % | c | 87257 | 6215 81159 207491 | 36007 13616 121 | 1.474 % | c | 87595 | 6215 81159 207491 | 39608 13954 121 | 1.474 % | c | 88101 | 6215 81159 207491 | 43569 14460 121 | 1.474 % | c | 88861 | 6215 81159 207491 | 47926 15220 122 | 1.474 % | c | 90000 | 6215 81159 207491 | 52718 16359 122 | 1.474 % | c | 91710 | 6215 81159 207491 | 57990 18069 122 | 1.474 % | c | 94273 | 6215 81159 207491 | 63789 20632 122 | 1.474 % | c | 98118 | 6215 81159 207491 | 70168 24477 122 | 1.474 % | c | 103886 | 6215 81159 207491 | 77185 30245 123 | 1.474 % | c | 112535 | 6215 81159 207491 | 84903 38894 125 | 1.474 % | c | 125509 | 6215 81159 207491 | 93394 51868 126 | 1.474 % | c | 144971 | 6215 81159 207491 | 102733 71330 128 | 1.474 % | c | 174163 | 6215 81159 207491 | 113007 100522 128 | 1.474 % | c | 217954 | 6215 81159 207491 | 124307 43678 127 | 1.474 % | c There are 93 assigned variables. 93 in cost function. c Memory used : 172.36 MB c CPU time : 180.455 s c c Total CPU time: 180.457 s