c wbo 1.4 beta - 20100610 c | Number of variables: 7149 | c | Number of clauses: 109445 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.08 s | c | Number Variables: 7149 | c | Number Clauses: 109265 | 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 | 7067 109265 275142 | 36421 0 nan | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 0 | 7067 109266 275322 | 36422 0 nan | 0.000 % | c | 100 | 7067 109266 275322 | 40064 100 144 | 1.147 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 185 | 7067 109267 275502 | 36422 185 81 | 1.147 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 204 | 7067 109268 275682 | 36422 204 75 | 1.147 % | c | 304 | 7067 109268 275682 | 40064 304 64 | 1.147 % | c | 454 | 7067 109268 275682 | 44071 454 57 | 1.147 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 518 | 7067 109269 275862 | 36423 518 51 | 1.147 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 525 | 7067 109270 276042 | 36423 525 51 | 1.147 % | c | 626 | 7067 109270 276042 | 40065 626 59 | 1.147 % | c | 776 | 7067 109270 276042 | 44072 776 61 | 1.147 % | c | 1001 | 7067 109270 276042 | 48479 1001 56 | 1.147 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.21281 s Remaining CPU time: 178.787 s c =============================================================================== c | 1053 | 7067 109271 276222 | 36423 1053 54 | 1.147 % | c | 1153 | 7067 109271 276222 | 40066 1153 59 | 1.147 % | c | 1305 | 7067 109271 276222 | 44072 1305 55 | 1.147 % | c | 1531 | 7067 109271 276222 | 48479 1531 57 | 1.147 % | c | 1868 | 7067 109271 276222 | 53327 1868 56 | 1.147 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 2071 | 7067 109272 276402 | 36424 2071 53 | 1.147 % | c | 2172 | 7067 109272 276402 | 40066 2172 52 | 1.147 % | c | 2322 | 7067 109272 276402 | 44073 2322 53 | 1.147 % | c | 2548 | 7067 109272 276402 | 48480 2548 54 | 1.147 % | c | 2886 | 7067 109272 276402 | 53328 2886 58 | 1.147 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.9977 s Remaining CPU time: 178.002 s c =============================================================================== c | 2967 | 7067 109273 276582 | 36424 2967 57 | 1.147 % | c | 3068 | 7067 109273 276582 | 40066 3068 57 | 1.147 % | c | 3219 | 7067 109273 276582 | 44073 3219 56 | 1.147 % | c | 3444 | 7067 109273 276582 | 48480 3444 56 | 1.147 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.31865 s Remaining CPU time: 177.681 s c =============================================================================== c | 3625 | 7067 109274 276762 | 36424 3625 56 | 1.147 % | c | 3726 | 7067 109274 276762 | 40067 3726 56 | 1.147 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.42963 s Remaining CPU time: 177.57 s c =============================================================================== c | 3806 | 7067 109275 276942 | 36425 3806 56 | 1.147 % | c | 3906 | 7067 109275 276942 | 40067 3906 56 | 1.147 % | c | 4056 | 7067 109275 276942 | 44074 4056 58 | 1.147 % | c | 4282 | 7067 109275 276942 | 48481 4282 57 | 1.147 % | c | 4619 | 7067 109275 276942 | 53329 4619 59 | 1.147 % | c | 5125 | 7067 109275 276942 | 58662 5125 60 | 1.147 % | c | 5885 | 7067 109275 276942 | 64529 5885 66 | 1.147 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 6815 | 7067 109276 277122 | 36425 6815 70 | 1.147 % | c | 6915 | 7067 109276 277122 | 40067 6915 70 | 1.147 % | c | 7065 | 7067 109276 277122 | 44074 7065 70 | 1.147 % | c | 7293 | 7067 109276 277122 | 48482 7293 72 | 1.147 % | c | 7632 | 7067 109276 277122 | 53330 7632 74 | 1.147 % | c | 8138 | 7067 109276 277122 | 58663 8138 75 | 1.147 % | c | 8898 | 7067 109276 277122 | 64529 8898 76 | 1.147 % | c | 10038 | 7067 109276 277122 | 70982 10038 80 | 1.147 % | c | 11746 | 7067 109276 277122 | 78080 11746 86 | 1.147 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 6.11207 s Remaining CPU time: 173.888 s c =============================================================================== c | 13689 | 7067 109277 277302 | 36425 13689 90 | 1.147 % | c | 13790 | 7067 109277 277302 | 40068 13790 90 | 1.147 % | c | 13942 | 7067 109277 277302 | 44075 13942 90 | 1.147 % | c | 14168 | 7067 109277 277302 | 48482 14168 90 | 1.147 % | c | 14506 | 7067 109277 277302 | 53330 14506 91 | 1.147 % | c | 15013 | 7067 109277 277302 | 58663 15013 92 | 1.147 % | c | 15772 | 7067 109277 277302 | 64530 15772 94 | 1.147 % | c | 16912 | 7067 109277 277302 | 70983 16912 95 | 1.147 % | c | 18620 | 7067 109277 277302 | 78081 18620 97 | 1.147 % | c | 21183 | 7067 109277 277302 | 85889 21183 99 | 1.147 % | c | 25028 | 7067 109277 277302 | 94478 25028 103 | 1.147 % | c | 30794 | 7067 109277 277302 | 103926 30794 108 | 1.147 % | c | 39443 | 7067 109277 277302 | 114319 39443 115 | 1.147 % | c | 52418 | 7067 109277 277302 | 125751 52418 117 | 1.147 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 33.2589 s Remaining CPU time: 146.741 s c =============================================================================== c | 67885 | 7067 109278 277482 | 36426 67885 119 | 1.147 % | c | 67986 | 7067 109278 277482 | 40068 13682 112 | 1.147 % | c | 68136 | 7067 109278 277482 | 44075 13832 112 | 1.147 % | c | 68361 | 7067 109278 277482 | 48483 14057 111 | 1.147 % | c | 68698 | 7067 109278 277482 | 53331 14394 111 | 1.147 % | c | 69205 | 7067 109278 277482 | 58664 14901 111 | 1.147 % | c | 69965 | 7067 109278 277482 | 64530 15661 111 | 1.147 % | c | 71105 | 7067 109278 277482 | 70983 16801 112 | 1.147 % | c | 72815 | 7067 109278 277482 | 78082 18511 112 | 1.147 % | c | 75378 | 7067 109278 277482 | 85890 21074 113 | 1.147 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 36.9084 s Remaining CPU time: 143.092 s c =============================================================================== c | 77280 | 7067 109279 277662 | 36426 22976 114 | 1.147 % | c | 77381 | 7067 109279 277662 | 40068 23077 114 | 1.147 % | c | 77531 | 7067 109279 277662 | 44075 23227 114 | 1.147 % | c | 77758 | 7067 109279 277662 | 48483 23454 114 | 1.147 % | c | 78095 | 7067 109279 277662 | 53331 23791 114 | 1.147 % | c | 78602 | 7067 109279 277662 | 58664 24298 114 | 1.147 % | c | 79361 | 7067 109279 277662 | 64531 25057 114 | 1.147 % | c | 80500 | 7067 109279 277662 | 70984 26196 114 | 1.147 % | c | 82209 | 7067 109279 277662 | 78083 27905 115 | 1.147 % | c | 84771 | 7067 109279 277662 | 85891 30467 116 | 1.147 % | c | 88616 | 7067 109279 277662 | 94480 34312 118 | 1.147 % | c | 94383 | 7067 109279 277662 | 103928 40079 118 | 1.147 % | c | 103032 | 7067 109279 277662 | 114321 48728 119 | 1.147 % | c | 116009 | 7067 109279 277662 | 125753 61705 119 | 1.147 % | c | 135471 | 7067 109279 277662 | 138328 81167 120 | 1.147 % | c | 164664 | 7067 109279 277662 | 152161 110360 121 | 1.147 % | c | 208454 | 7067 109279 277662 | 167378 15105 116 | 1.147 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 177.312 s Remaining CPU time: 2.68796 s c =============================================================================== c | 234114 | 7067 109280 277842 | 36426 40765 117 | 1.147 % | c | 234215 | 7067 109280 277842 | 40069 12272 112 | 1.147 % | c | 234365 | 7067 109280 277842 | 44076 12422 111 | 1.147 % | c | 234592 | 7067 109280 277842 | 48483 12649 111 | 1.147 % | c | 234929 | 7067 109280 277842 | 53332 12986 111 | 1.147 % | c | 235435 | 7067 109280 277842 | 58665 13492 111 | 1.147 % | c | 236194 | 7067 109280 277842 | 64532 14251 112 | 1.147 % | c | 237334 | 7067 109280 277842 | 70985 15391 112 | 1.147 % | c | 239043 | 7067 109280 277842 | 78083 17100 112 | 1.147 % | c | 241605 | 7067 109280 277842 | 85892 19662 111 | 1.147 % | c There are 82 assigned variables. 81 in cost function. c Memory used : 153.52 MB c CPU time : 180.419 s c c Total CPU time: 180.421 s