c wbo 1.4 beta - 20100610 c | Number of variables: 2578 | c | Number of clauses: 35415 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 2578 | c | Number Clauses: 35317 | 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 | 2530 35317 89813 | 11772 0 nan | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 2530 35318 89911 | 11772 0 nan | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 6 | 2530 35319 90009 | 11773 6 66 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 28 | 2530 35320 90107 | 11773 28 24 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 31 | 2530 35321 90205 | 11773 31 23 | 0.000 % | c | 133 | 2530 35321 90205 | 12951 133 47 | 1.862 % | c | 283 | 2530 35321 90205 | 14246 283 39 | 1.862 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 428 | 2530 35322 90303 | 11774 428 40 | 1.862 % | c | 529 | 2530 35322 90303 | 12951 529 41 | 1.862 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 599 | 2530 35323 90401 | 11774 599 39 | 1.862 % | c | 699 | 2530 35323 90401 | 12951 699 41 | 1.862 % | c | 849 | 2530 35323 90401 | 14246 849 41 | 1.862 % | c | 1074 | 2530 35323 90401 | 15671 1074 41 | 1.862 % | c | 1411 | 2530 35323 90401 | 17238 1411 43 | 1.862 % | c | 1918 | 2530 35323 90401 | 18962 1918 48 | 1.862 % | c | 2678 | 2530 35323 90401 | 20858 2678 56 | 1.862 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 2736 | 2530 35324 90499 | 11774 2736 56 | 1.862 % | c | 2836 | 2530 35324 90499 | 12952 2836 55 | 1.862 % | c | 2986 | 2530 35324 90499 | 14247 2986 56 | 1.862 % | c | 3211 | 2530 35324 90499 | 15672 3211 55 | 1.862 % | c | 3548 | 2530 35324 90499 | 17239 3548 56 | 1.862 % | c | 4055 | 2530 35324 90499 | 18963 4055 57 | 1.862 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 4280 | 2530 35325 90597 | 11775 4280 57 | 1.862 % | c | 4381 | 2530 35325 90597 | 12952 4381 57 | 1.863 % | c | 4531 | 2530 35325 90597 | 14247 4531 58 | 1.862 % | c | 4756 | 2530 35325 90597 | 15672 4756 58 | 1.862 % | c | 5093 | 2530 35325 90597 | 17239 5093 58 | 1.862 % | c | 5600 | 2530 35325 90597 | 18963 5600 59 | 1.862 % | c | 6360 | 2530 35325 90597 | 20860 6360 60 | 1.862 % | c | 7500 | 2530 35325 90597 | 22946 7500 62 | 1.862 % | c | 9208 | 2530 35325 90597 | 25240 9208 64 | 1.862 % | c | 11770 | 2530 35325 90597 | 27764 11770 66 | 1.862 % | c | 15614 | 2530 35325 90597 | 30541 15614 69 | 1.862 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 3.32949 s Remaining CPU time: 176.671 s c =============================================================================== c | 16983 | 2530 35326 90695 | 11775 16983 69 | 1.862 % | c | 17083 | 2530 35326 90695 | 12952 8592 69 | 1.862 % | c | 17234 | 2530 35326 90695 | 14248 8743 69 | 1.862 % | c | 17460 | 2530 35326 90695 | 15672 8969 69 | 1.862 % | c | 17798 | 2530 35326 90695 | 17240 9307 69 | 1.862 % | c | 18304 | 2530 35326 90695 | 18964 9813 69 | 1.862 % | c | 19063 | 2530 35326 90695 | 20860 10572 69 | 1.862 % | c | 20204 | 2530 35326 90695 | 22946 11713 69 | 1.862 % | c | 21912 | 2530 35326 90695 | 25241 13421 70 | 1.863 % | c | 24475 | 2530 35326 90695 | 27765 15984 70 | 1.862 % | c | 28320 | 2530 35326 90695 | 30542 19829 71 | 1.863 % | c | 34087 | 2530 35326 90695 | 33596 25596 71 | 1.863 % | c | 42738 | 2530 35326 90695 | 36956 12287 69 | 1.862 % | c | 55713 | 2530 35326 90695 | 40651 25262 69 | 1.862 % | c | 75174 | 2530 35326 90695 | 44716 15812 70 | 1.862 % | c | 104366 | 2530 35326 90695 | 49188 45004 70 | 1.863 % | c | 148159 | 2530 35326 90695 | 54107 14499 66 | 1.862 % | c | 213845 | 2530 35326 90695 | 59518 38201 69 | 1.862 % | c | 312372 | 2530 35326 90695 | 65469 41765 72 | 1.863 % | c There are 48 assigned variables. 48 in cost function. c Memory used : 128.67 MB c CPU time : 180.451 s c c Total CPU time: 180.453 s