c wbo 1.4 beta - 20100610 c | Number of variables: 3284 | c | Number of clauses: 9579 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 3284 | c | Number Clauses: 8883 | 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 | 2996 9002 24576 | 5000 0 nan | 0.000 % | c | 101 | 2996 9002 24576 | 5500 101 29 | 8.770 % | c | 252 | 2996 9002 24576 | 6050 252 45 | 8.770 % | c | 478 | 2995 9002 24576 | 6655 472 41 | 8.800 % | c | 816 | 2995 9002 24576 | 7320 810 39 | 8.800 % | c | 1322 | 2995 9002 24576 | 8052 1316 45 | 8.800 % | c | 2084 | 2995 9002 24576 | 8857 2078 51 | 8.800 % | c | 3223 | 2995 9002 24576 | 9743 3217 54 | 8.800 % | c | 4931 | 2995 9002 24576 | 10717 4925 52 | 8.800 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 7249 | 2995 9003 25142 | 5000 7243 57 | 8.800 % | c | 7350 | 2995 9003 25142 | 5500 3723 58 | 8.800 % | c | 7505 | 2995 9003 25142 | 6050 3878 58 | 8.800 % | c | 7737 | 2995 9003 25142 | 6655 4110 57 | 8.800 % | c | 8075 | 2995 9003 25142 | 7320 4448 60 | 8.800 % | c | 8587 | 2995 9003 25142 | 8052 4960 61 | 8.800 % | c | 9346 | 2990 9003 25142 | 8857 5716 65 | 8.953 % | c | 10488 | 2990 9003 25142 | 9743 6858 68 | 8.953 % | c | 12196 | 2990 9003 25142 | 10717 8566 75 | 8.953 % | c | 14759 | 2989 9003 25142 | 11789 11118 81 | 8.983 % | c | 18605 | 2989 9003 25142 | 12968 8829 89 | 8.983 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 3.52246 s Remaining CPU time: 176.478 s c =============================================================================== c | 21030 | 2988 9004 25708 | 5000 11235 89 | 8.983 % | c | 21132 | 2988 9004 25708 | 5500 2912 66 | 9.013 % | c | 21283 | 2988 9004 25708 | 6050 3063 67 | 9.013 % | c | 21508 | 2988 9004 25708 | 6655 3288 67 | 9.013 % | c | 21847 | 2988 9004 25708 | 7320 3627 67 | 9.013 % | c | 22353 | 2988 9004 25708 | 8052 4133 69 | 9.013 % | c | 23112 | 2988 9004 25708 | 8857 4892 68 | 9.013 % | c | 24251 | 2987 9004 25708 | 9743 6031 67 | 9.044 % | c | 25959 | 2987 9004 25708 | 10717 7739 72 | 9.044 % | c | 28524 | 2987 9004 25708 | 11789 10294 76 | 9.044 % | c | 32368 | 2986 9004 25708 | 12968 8056 82 | 9.074 % | c | 38135 | 2986 9004 25708 | 14265 7129 77 | 9.074 % | c | 46784 | 2986 9004 25708 | 15692 8447 79 | 9.074 % | c | 59760 | 2985 9004 25708 | 17261 13291 108 | 9.105 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 16.9634 s Remaining CPU time: 163.037 s c =============================================================================== c | 62608 | 2981 9005 26274 | 5000 16139 105 | 9.105 % | c | 62710 | 2981 9005 26274 | 5500 4140 69 | 9.227 % | c | 62860 | 2981 9005 26274 | 6050 4290 70 | 9.227 % | c | 63086 | 2981 9005 26274 | 6655 4516 71 | 9.227 % | c | 63424 | 2981 9005 26274 | 7320 4854 71 | 9.227 % | c | 63931 | 2981 9005 26274 | 8052 5361 71 | 9.227 % | c | 64691 | 2981 9005 26274 | 8857 6121 72 | 9.227 % | c | 65833 | 2981 9005 26274 | 9743 7263 70 | 9.227 % | c | 67541 | 2981 9005 26274 | 10717 8971 76 | 9.227 % | c | 70103 | 2980 9005 26274 | 11789 5935 77 | 9.257 % | c | 73951 | 2980 9005 26274 | 12968 9783 78 | 9.257 % | c | 79718 | 2980 9005 26274 | 14265 8801 93 | 9.257 % | c | 88368 | 2971 9005 26274 | 15692 10117 93 | 9.531 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 29.5255 s Remaining CPU time: 150.474 s c =============================================================================== c | 97986 | 2971 9006 26840 | 5000 11664 82 | 9.531 % | c | 98088 | 2971 9006 26840 | 5500 3018 49 | 9.531 % | c | 98240 | 2971 9006 26840 | 6050 3170 51 | 9.531 % | c | 98465 | 2971 9006 26840 | 6655 3395 53 | 9.531 % | c | 98804 | 2971 9006 26840 | 7320 3734 55 | 9.531 % | c | 99312 | 2971 9006 26840 | 8052 4242 55 | 9.531 % | c | 100071 | 2971 9006 26840 | 8857 5001 56 | 9.531 % | c | 101210 | 2971 9006 26840 | 9743 6140 61 | 9.531 % | c | 102919 | 2971 9006 26840 | 10717 7849 67 | 9.531 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 30.9773 s Remaining CPU time: 149.023 s c =============================================================================== c | 103998 | 2971 9007 27406 | 5000 8928 70 | 9.531 % | c | 104098 | 2971 9007 27406 | 5500 4564 67 | 9.531 % | c | 104249 | 2971 9007 27406 | 6050 4715 68 | 9.531 % | c | 104476 | 2971 9007 27406 | 6655 4942 68 | 9.531 % | c | 104813 | 2971 9007 27406 | 7320 5279 70 | 9.531 % | c | 105319 | 2971 9007 27406 | 8052 5785 72 | 9.531 % | c | 106078 | 2971 9007 27406 | 8857 6544 73 | 9.531 % | c | 107221 | 2971 9007 27406 | 9743 7687 78 | 9.531 % | c | 108930 | 2971 9007 27406 | 10717 9396 77 | 9.531 % | c | 111493 | 2971 9007 27406 | 11789 6361 72 | 9.531 % | c | 115337 | 2971 9007 27406 | 12968 10205 74 | 9.531 % | c | 121103 | 2971 9007 27406 | 14265 9247 88 | 9.531 % | c | 129753 | 2971 9007 27406 | 15692 10560 86 | 9.531 % | c | 142727 | 2970 9007 27406 | 17261 15390 87 | 9.562 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 47.9777 s Remaining CPU time: 132.022 s c =============================================================================== c | 151038 | 2970 9008 27972 | 5000 14838 76 | 9.562 % | c | 151140 | 2970 9008 27972 | 5500 3812 67 | 9.562 % | c | 151290 | 2970 9008 27972 | 6050 3962 67 | 9.562 % | c | 151519 | 2970 9008 27972 | 6655 4191 67 | 9.562 % | c | 151858 | 2970 9008 27972 | 7320 4530 68 | 9.562 % | c | 152367 | 2970 9008 27972 | 8052 5039 68 | 9.562 % | c | 153129 | 2970 9008 27972 | 8857 5801 66 | 9.562 % | c | 154268 | 2969 9008 27972 | 9743 6939 71 | 9.592 % | c | 155977 | 2969 9008 27972 | 10717 8648 76 | 9.592 % | c | 158540 | 2969 9008 27972 | 11789 11211 83 | 9.592 % | c | 162384 | 2969 9008 27972 | 12968 8882 87 | 9.592 % | c | 168151 | 2969 9008 27972 | 14265 7933 85 | 9.592 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 55.4666 s Remaining CPU time: 124.533 s c =============================================================================== c | 174390 | 2969 9009 28538 | 5000 14172 93 | 9.592 % | c | 174490 | 2969 9009 28538 | 5500 3643 57 | 9.592 % | c | 174640 | 2969 9009 28538 | 6050 3793 58 | 9.592 % | c | 174865 | 2969 9009 28538 | 6655 4018 61 | 9.592 % | c | 175203 | 2969 9009 28538 | 7320 4356 64 | 9.592 % | c | 175711 | 2969 9009 28538 | 8052 4864 68 | 9.592 % | c | 176470 | 2969 9009 28538 | 8857 5623 73 | 9.592 % | c | 177609 | 2969 9009 28538 | 9743 6762 80 | 9.592 % | c | 179317 | 2969 9009 28538 | 10717 8470 79 | 9.592 % | c | 181881 | 2968 9009 28538 | 11789 11031 87 | 9.622 % | c | 185727 | 2968 9009 28538 | 12968 8741 89 | 9.622 % | c | 191496 | 2968 9009 28538 | 14265 7800 97 | 9.622 % | c | 200145 | 2968 9009 28538 | 15692 8597 54 | 9.622 % | c | 213120 | 2968 9009 28538 | 17261 13452 99 | 9.622 % | c | 232584 | 2968 9009 28538 | 18987 15091 116 | 9.622 % | c | 261776 | 2968 9009 28538 | 20886 14521 61 | 9.622 % | c | 305565 | 2968 9009 28538 | 22974 15607 107 | 9.622 % | c | 371250 | 2968 9009 28538 | 25272 22669 65 | 9.622 % | c There are 316 assigned variables. 14 in cost function. c Total CPU time: 182.005 s