c wbo 1.4 beta - 20100610 c | Number of variables: 3160 | c | Number of clauses: 9219 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 3160 | c | Number Clauses: 8547 | 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 | 2908 8662 23660 | 5000 0 nan | 0.000 % | c | 104 | 2908 8662 23660 | 5500 104 32 | 7.975 % | c | 256 | 2908 8662 23660 | 6050 256 32 | 7.975 % | c | 485 | 2908 8662 23660 | 6655 485 38 | 7.975 % | c | 823 | 2908 8662 23660 | 7320 823 39 | 7.975 % | c | 1329 | 2908 8662 23660 | 8052 1329 40 | 7.975 % | c | 2088 | 2908 8662 23660 | 8857 2088 47 | 7.975 % | c | 3227 | 2908 8662 23660 | 9743 3227 63 | 7.975 % | c | 4935 | 2908 8662 23660 | 10717 4935 77 | 7.975 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 6607 | 2908 8663 24207 | 5000 6607 83 | 7.975 % | c | 6708 | 2908 8663 24207 | 5500 3405 91 | 7.975 % | c | 6865 | 2908 8663 24207 | 6050 3562 90 | 7.975 % | c | 7090 | 2908 8663 24207 | 6655 3787 88 | 7.975 % | c | 7429 | 2908 8663 24207 | 7320 4126 86 | 7.975 % | c | 7935 | 2908 8663 24207 | 8052 4632 84 | 7.975 % | c | 8694 | 2908 8663 24207 | 8857 5391 83 | 7.975 % | c | 9836 | 2908 8663 24207 | 9743 6533 76 | 7.975 % | c | 11546 | 2908 8663 24207 | 10717 8243 76 | 7.975 % | c | 14108 | 2908 8663 24207 | 11789 10805 78 | 7.975 % | c | 17956 | 2908 8663 24207 | 12968 8535 71 | 7.975 % | c | 23722 | 2908 8663 24207 | 14265 7607 52 | 7.975 % | c | 32372 | 2908 8663 24207 | 15692 8916 47 | 7.975 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 5.41318 s Remaining CPU time: 174.587 s c =============================================================================== c | 34480 | 2908 8664 24754 | 5000 11024 49 | 7.975 % | c | 34580 | 2908 8664 24754 | 5500 2856 51 | 7.975 % | c | 34730 | 2908 8664 24754 | 6050 3006 51 | 7.975 % | c | 34955 | 2908 8664 24754 | 6655 3231 51 | 7.975 % | c | 35293 | 2908 8664 24754 | 7320 3569 50 | 7.975 % | c | 35799 | 2908 8664 24754 | 8052 4075 49 | 7.975 % | c | 36560 | 2908 8664 24754 | 8857 4836 48 | 7.975 % | c | 37699 | 2908 8664 24754 | 9743 5975 58 | 7.975 % | c | 39408 | 2908 8664 24754 | 10717 7684 66 | 7.975 % | c | 41972 | 2908 8664 24754 | 11789 10248 76 | 7.975 % | c | 45816 | 2908 8664 24754 | 12968 7993 90 | 7.975 % | c | 51582 | 2908 8664 24754 | 14265 6993 69 | 7.975 % | c | 60237 | 2908 8664 24754 | 15692 8322 56 | 7.975 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 11.4553 s Remaining CPU time: 168.545 s c =============================================================================== c | 63836 | 2908 8665 25301 | 5000 11921 62 | 7.975 % | c | 63941 | 2908 8665 25301 | 5500 3086 60 | 7.975 % | c | 64092 | 2908 8665 25301 | 6050 3237 59 | 7.975 % | c | 64320 | 2908 8665 25301 | 6655 3465 58 | 7.975 % | c | 64658 | 2908 8665 25301 | 7320 3803 58 | 7.975 % | c | 65165 | 2908 8665 25301 | 8052 4310 58 | 7.975 % | c | 65924 | 2908 8665 25301 | 8857 5069 64 | 7.975 % | c | 67063 | 2908 8665 25301 | 9743 6208 68 | 7.975 % | c | 68772 | 2908 8665 25301 | 10717 7917 74 | 7.975 % | c | 71335 | 2908 8665 25301 | 11789 10480 79 | 7.975 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 12.984 s Remaining CPU time: 167.016 s c =============================================================================== c | 72441 | 2908 8666 25848 | 5000 11586 78 | 7.975 % | c | 72541 | 2908 8666 25848 | 5500 2997 70 | 7.975 % | c | 72692 | 2908 8666 25848 | 6050 3148 69 | 7.975 % | c | 72917 | 2908 8666 25848 | 6655 3373 68 | 7.975 % | c | 73254 | 2908 8666 25848 | 7320 3710 67 | 7.975 % | c | 73761 | 2908 8666 25848 | 8052 4217 65 | 7.975 % | c | 74522 | 2908 8666 25848 | 8857 4978 65 | 7.975 % | c | 75662 | 2908 8666 25848 | 9743 6118 66 | 7.975 % | c | 77371 | 2908 8666 25848 | 10717 7827 65 | 7.975 % | c | 79933 | 2908 8666 25848 | 11789 10389 65 | 7.975 % | c | 83781 | 2889 8666 25848 | 12968 7944 65 | 8.576 % | c | 89548 | 2889 8666 25848 | 14265 13711 80 | 8.576 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 16.8414 s Remaining CPU time: 163.159 s c =============================================================================== c | 91490 | 2889 8667 26395 | 5000 8370 83 | 8.576 % | c | 91590 | 2889 8667 26395 | 5500 4285 70 | 8.576 % | c | 91743 | 2889 8667 26395 | 6050 4438 70 | 8.576 % | c | 91971 | 2889 8667 26395 | 6655 4666 69 | 8.576 % | c | 92311 | 2889 8667 26395 | 7320 5006 68 | 8.576 % | c | 92817 | 2889 8667 26395 | 8052 5512 69 | 8.576 % | c | 93576 | 2889 8667 26395 | 8857 6271 70 | 8.576 % | c | 94715 | 2889 8667 26395 | 9743 7410 70 | 8.576 % | c | 96424 | 2889 8667 26395 | 10717 9119 69 | 8.576 % | c | 98987 | 2889 8667 26395 | 11789 6126 65 | 8.576 % | c | 102831 | 2889 8667 26395 | 12968 9970 65 | 8.576 % | c | 108597 | 2889 8667 26395 | 14265 8998 63 | 8.576 % | c | 117246 | 2889 8667 26395 | 15692 9982 61 | 8.576 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 23.8554 s Remaining CPU time: 156.145 s c =============================================================================== c | 123831 | 2889 8668 26942 | 5000 16567 70 | 8.576 % | c | 123931 | 2889 8668 26942 | 5500 4242 76 | 8.576 % | c | 124084 | 2889 8668 26942 | 6050 4395 75 | 8.576 % | c | 124309 | 2889 8668 26942 | 6655 4620 74 | 8.576 % | c | 124648 | 2889 8668 26942 | 7320 4959 74 | 8.576 % | c | 125154 | 2889 8668 26942 | 8052 5465 74 | 8.576 % | c | 125913 | 2889 8668 26942 | 8857 6224 72 | 8.576 % | c | 127057 | 2887 8668 26942 | 9743 7367 71 | 8.639 % | c | 128765 | 2887 8668 26942 | 10717 9075 69 | 8.639 % | c | 131327 | 2887 8668 26942 | 11789 11637 67 | 8.639 % | c | 135171 | 2887 8668 26942 | 12968 9385 58 | 8.639 % | c | 140937 | 2887 8668 26942 | 14265 8191 55 | 8.639 % | c | 149588 | 2887 8668 26942 | 15692 9180 59 | 8.639 % | c | 162563 | 2887 8668 26942 | 17261 13546 57 | 8.639 % | c | 182030 | 2887 8668 26942 | 18987 14418 68 | 8.639 % | c | 211223 | 2887 8668 26942 | 20886 13271 60 | 8.639 % | c | 255012 | 2887 8668 26942 | 22974 13328 64 | 8.639 % | c | 320697 | 2887 8668 26942 | 25272 19264 84 | 8.639 % | c | 419223 | 2887 8668 26942 | 27799 16566 108 | 8.639 % | c | 567013 | 2887 8668 26942 | 30579 27040 103 | 8.639 % | c There are 273 assigned variables. 0 in cost function. c Total CPU time: 181.633 s