c wbo 1.4 beta - 20100610 c | Number of variables: 2763 | c | Number of clauses: 41213 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.03 s | c | Number Variables: 2763 | c | Number Clauses: 41115 | 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 | 2717 41115 104485 | 13705 0 nan | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 2 | 2717 41116 104583 | 13705 2 8 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 30 | 2717 41117 104681 | 13705 30 74 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 70 | 2717 41118 104779 | 13706 70 38 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 76 | 2717 41119 104877 | 13706 76 35 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 80 | 2717 41120 104975 | 13706 80 34 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 84 | 2717 41121 105073 | 13707 84 33 | 0.000 % | c | 184 | 2717 41121 105073 | 15077 184 46 | 1.665 % | c | 334 | 2717 41121 105073 | 16585 334 36 | 1.665 % | c | 559 | 2717 41121 105073 | 18244 559 39 | 1.665 % | c | 897 | 2717 41121 105073 | 20068 897 40 | 1.665 % | c | 1403 | 2717 41121 105073 | 22075 1403 42 | 1.665 % | c | 2163 | 2717 41121 105073 | 24282 2163 53 | 1.665 % | c | 3302 | 2717 41121 105073 | 26711 3302 66 | 1.665 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 3877 | 2717 41122 105171 | 13707 3877 65 | 1.665 % | c | 3977 | 2717 41122 105171 | 15078 3977 64 | 1.665 % | c | 4129 | 2717 41122 105171 | 16585 4129 63 | 1.665 % | c | 4354 | 2717 41122 105171 | 18244 4354 63 | 1.665 % | c | 4691 | 2717 41122 105171 | 20068 4691 65 | 1.665 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s c =============================================================================== c | 4726 | 2717 41123 105269 | 13707 4726 65 | 1.665 % | c | 4826 | 2717 41123 105269 | 15078 4826 64 | 1.665 % | c | 4977 | 2717 41123 105269 | 16586 4977 65 | 1.665 % | c | 5203 | 2717 41123 105269 | 18244 5203 64 | 1.665 % | c | 5542 | 2717 41123 105269 | 20069 5542 63 | 1.665 % | c | 6048 | 2717 41123 105269 | 22076 6048 63 | 1.665 % | c | 6808 | 2717 41123 105269 | 24283 6808 64 | 1.665 % | c | 7948 | 2717 41123 105269 | 26712 7948 64 | 1.665 % | c | 9656 | 2717 41123 105269 | 29383 9656 67 | 1.665 % | c | 12218 | 2717 41123 105269 | 32321 12218 71 | 1.665 % | c | 16062 | 2717 41123 105269 | 35554 16062 72 | 1.665 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 4.13137 s Remaining CPU time: 175.869 s c =============================================================================== c | 17782 | 2717 41124 105367 | 13708 17782 73 | 1.665 % | c | 17882 | 2717 41124 105367 | 15078 8991 70 | 1.665 % | c | 18034 | 2717 41124 105367 | 16586 9143 70 | 1.665 % | c | 18260 | 2717 41124 105367 | 18245 9369 70 | 1.665 % | c | 18597 | 2717 41124 105367 | 20069 9706 70 | 1.665 % | c | 19105 | 2717 41124 105367 | 22076 10214 71 | 1.665 % | c | 19866 | 2717 41124 105367 | 24284 10975 71 | 1.665 % | c | 21006 | 2717 41124 105367 | 26713 12115 72 | 1.665 % | c | 22714 | 2717 41124 105367 | 29384 13823 71 | 1.665 % | c | 25276 | 2717 41124 105367 | 32322 16385 72 | 1.665 % | c | 29120 | 2717 41124 105367 | 35555 20229 76 | 1.665 % | c | 34886 | 2717 41124 105367 | 39110 25995 79 | 1.665 % | c | 43535 | 2717 41124 105367 | 43021 34644 84 | 1.665 % | c | 56509 | 2717 41124 105367 | 47323 17526 79 | 1.665 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 20.8698 s Remaining CPU time: 159.13 s c =============================================================================== c | 57127 | 2717 41125 105465 | 13708 18144 79 | 1.665 % | c | 57229 | 2717 41125 105465 | 15079 9174 72 | 1.666 % | c | 57380 | 2717 41125 105465 | 16587 9325 71 | 1.665 % | c | 57606 | 2717 41125 105465 | 18245 9551 71 | 1.665 % | c | 57944 | 2717 41125 105465 | 20070 9889 72 | 1.665 % | c | 58451 | 2717 41125 105465 | 22077 10396 72 | 1.665 % | c | 59210 | 2717 41125 105465 | 24285 11155 72 | 1.665 % | c | 60350 | 2717 41125 105465 | 26713 12295 72 | 1.665 % | c | 62060 | 2717 41125 105465 | 29385 14005 72 | 1.665 % | c | 64623 | 2717 41125 105465 | 32323 16568 72 | 1.665 % | c | 68468 | 2717 41125 105465 | 35555 20413 75 | 1.665 % | c | 74234 | 2717 41125 105465 | 39111 26179 77 | 1.665 % | c | 82885 | 2717 41125 105465 | 43022 34830 77 | 1.665 % | c | 95859 | 2717 41125 105465 | 47324 17180 72 | 1.665 % | c | 115320 | 2717 41125 105465 | 52057 36641 74 | 1.665 % | c | 144512 | 2717 41125 105465 | 57263 26458 75 | 1.665 % | c | 188302 | 2717 41125 105465 | 62989 25727 79 | 1.665 % | c | 253987 | 2717 41125 105465 | 69288 41323 79 | 1.665 % | c There are 46 assigned variables. 43 in cost function. c Memory used : 131.55 MB c CPU time : 180.421 s c c Total CPU time: 180.423 s