c wbo 1.4 beta - 20100610 c | Number of variables: 6233 | c | Number of clauses: 85039 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.06 s | c | Number Variables: 6233 | c | Number Clauses: 84859 | 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 | 6140 84859 213603 | 28286 0 nan | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 0 | 6140 84860 213783 | 28286 0 nan | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 8 | 6140 84861 213963 | 28287 8 42 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 72 | 6140 84862 214143 | 28287 72 12 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 76 | 6140 84863 214323 | 28287 76 15 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 108 | 6140 84864 214503 | 28288 108 13 | 0.000 % | c | 208 | 6140 84864 214503 | 31116 208 61 | 1.492 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 327 | 6140 84865 214683 | 28288 327 43 | 1.492 % | c | 427 | 6140 84865 214683 | 31117 427 43 | 1.492 % | c | 578 | 6140 84865 214683 | 34228 578 44 | 1.492 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.857869 s Remaining CPU time: 179.142 s c =============================================================================== c | 675 | 6140 84866 214863 | 28288 675 43 | 1.492 % | c | 775 | 6140 84866 214863 | 31117 775 40 | 1.492 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.929858 s Remaining CPU time: 179.07 s c =============================================================================== c | 811 | 6140 84867 215043 | 28289 811 39 | 1.492 % | c | 911 | 6140 84867 215043 | 31117 911 38 | 1.492 % | c | 1061 | 6140 84867 215043 | 34229 1061 39 | 1.492 % | c | 1288 | 6140 84867 215043 | 37652 1288 40 | 1.492 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 1556 | 6140 84868 215223 | 28289 1556 41 | 1.492 % | c | 1656 | 6140 84868 215223 | 31118 1656 41 | 1.492 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.27081 s Remaining CPU time: 178.729 s c =============================================================================== c | 1687 | 6140 84869 215403 | 28289 1687 40 | 1.492 % | c | 1787 | 6140 84869 215403 | 31118 1787 45 | 1.492 % | c | 1937 | 6140 84869 215403 | 34230 1937 44 | 1.492 % | c | 2162 | 6140 84869 215403 | 37653 2162 46 | 1.492 % | c | 2499 | 6140 84869 215403 | 41418 2499 52 | 1.492 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s c =============================================================================== c | 2839 | 6140 84870 215583 | 28290 2839 56 | 1.492 % | c | 2939 | 6140 84870 215583 | 31119 2939 56 | 1.492 % | c | 3091 | 6140 84870 215583 | 34230 3091 59 | 1.492 % | c | 3316 | 6140 84870 215583 | 37653 3316 59 | 1.492 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.87971 s Remaining CPU time: 178.12 s c =============================================================================== c | 3610 | 6140 84871 215763 | 28290 3610 64 | 1.492 % | c | 3710 | 6140 84871 215763 | 31119 3710 63 | 1.492 % | c | 3861 | 6140 84871 215763 | 34231 3861 65 | 1.492 % | c | 4087 | 6140 84871 215763 | 37654 4087 67 | 1.492 % | c | 4425 | 6140 84871 215763 | 41419 4425 69 | 1.492 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 4615 | 6140 84872 215943 | 28290 4615 70 | 1.492 % | c | 4719 | 6140 84872 215943 | 31119 4719 71 | 1.492 % | c | 4869 | 6140 84872 215943 | 34231 4869 72 | 1.492 % | c | 5096 | 6140 84872 215943 | 37654 5096 72 | 1.492 % | c | 5433 | 6140 84872 215943 | 41420 5433 74 | 1.492 % | c | 5940 | 6140 84872 215943 | 45562 5940 75 | 1.492 % | c | 6699 | 6140 84872 215943 | 50118 6699 80 | 1.492 % | c | 7838 | 6140 84872 215943 | 55130 7838 86 | 1.492 % | c | 9547 | 6140 84872 215943 | 60643 9547 93 | 1.492 % | c | 12110 | 6140 84872 215943 | 66707 12110 99 | 1.492 % | c | 15954 | 6140 84872 215943 | 73378 15954 108 | 1.492 % | c | 21723 | 6140 84872 215943 | 80716 21723 115 | 1.492 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 9.8465 s Remaining CPU time: 170.153 s c =============================================================================== c | 26052 | 6140 84873 216123 | 28291 26052 120 | 1.492 % | c | 26152 | 6140 84873 216123 | 31120 26152 120 | 1.492 % | c | 26302 | 6140 84873 216123 | 34232 26302 120 | 1.492 % | c | 26527 | 6140 84873 216123 | 37655 26527 119 | 1.492 % | c | 26864 | 6140 84873 216123 | 41420 26864 120 | 1.492 % | c | 27372 | 6140 84873 216123 | 45562 27372 119 | 1.492 % | c | 28131 | 6140 84873 216123 | 50119 28131 120 | 1.492 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 11.3283 s Remaining CPU time: 168.672 s c =============================================================================== c | 28823 | 6140 84874 216303 | 28291 28823 119 | 1.492 % | c | 28924 | 6140 84874 216303 | 31120 12855 116 | 1.492 % | c | 29074 | 6140 84874 216303 | 34232 13005 116 | 1.492 % | c | 29299 | 6140 84874 216303 | 37655 13230 116 | 1.492 % | c | 29636 | 6140 84874 216303 | 41421 13567 116 | 1.492 % | c | 30142 | 6140 84874 216303 | 45563 14073 116 | 1.492 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 12.0132 s Remaining CPU time: 167.987 s c =============================================================================== c | 30415 | 6140 84875 216483 | 28291 14346 116 | 1.492 % | c | 30515 | 6140 84875 216483 | 31120 14446 116 | 1.492 % | c | 30666 | 6140 84875 216483 | 34232 14597 116 | 1.492 % | c | 30892 | 6140 84875 216483 | 37656 14823 116 | 1.492 % | c | 31231 | 6140 84875 216483 | 41421 15162 116 | 1.492 % | c | 31738 | 6140 84875 216483 | 45564 15669 116 | 1.492 % | c | 32502 | 6140 84875 216483 | 50120 16433 117 | 1.492 % | c | 33642 | 6140 84875 216483 | 55132 17573 118 | 1.492 % | c | 35350 | 6140 84875 216483 | 60645 19281 119 | 1.492 % | c | 37913 | 6140 84875 216483 | 66710 21844 121 | 1.492 % | c | 41759 | 6140 84875 216483 | 73381 25690 123 | 1.492 % | c | 47526 | 6140 84875 216483 | 80719 31457 125 | 1.492 % | c | 56177 | 6140 84875 216483 | 88791 40108 126 | 1.492 % | c | 69151 | 6140 84875 216483 | 97670 53082 129 | 1.492 % | c | 88613 | 6140 84875 216483 | 107437 72544 130 | 1.492 % | c | 117805 | 6140 84875 216483 | 118181 101736 131 | 1.492 % | c | 161597 | 6140 84875 216483 | 129999 40258 133 | 1.492 % | c There are 93 assigned variables. 93 in cost function. c Memory used : 146.16 MB c CPU time : 180.323 s c c Total CPU time: 180.324 s