c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 400 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 250 | 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 | 150 250 750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 150 251 900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 150 252 1050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 150 253 1200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 150 254 1350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 255 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 256 1650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 257 1800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 258 1950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 259 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 5 | 150 260 2250 | 5000 5 111 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 7 | 150 261 2400 | 5000 7 111 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 9 | 150 262 2550 | 5000 9 110 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 14 | 150 263 2700 | 5000 14 109 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 17 | 150 264 2850 | 5000 17 109 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 22 | 150 265 3000 | 5000 22 108 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 31 | 150 266 3150 | 5000 31 107 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 35 | 150 267 3300 | 5000 35 107 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 75 | 150 268 3450 | 5000 75 104 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 105 | 150 269 3600 | 5000 105 103 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 133 | 150 270 3750 | 5000 133 103 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 178 | 150 271 3900 | 5000 178 102 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 219 | 150 272 4050 | 5000 219 101 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 293 | 150 273 4200 | 5000 293 100 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 324 | 150 274 4350 | 5000 324 100 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 380 | 150 275 4500 | 5000 380 99 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 410 | 150 276 4650 | 5000 410 99 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 432 | 150 277 4800 | 5000 432 98 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 436 | 150 278 4950 | 5000 436 98 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 453 | 150 279 5100 | 5000 453 98 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 475 | 150 280 5250 | 5000 475 98 | 0.000 % | c | 575 | 150 280 5250 | 5500 575 96 | 0.004 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 582 | 150 281 5400 | 5000 582 96 | 0.004 % | c | 682 | 150 281 5400 | 5500 682 95 | 0.004 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 796 | 150 282 5550 | 5000 796 94 | 0.004 % | c | 896 | 150 282 5550 | 5500 896 93 | 0.004 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 899 | 150 283 5700 | 5000 899 93 | 0.004 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 910 | 150 284 5850 | 5000 910 93 | 0.004 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 912 | 150 285 6000 | 5000 912 93 | 0.004 % | c | 1012 | 150 285 6000 | 5500 1012 92 | 0.004 % | c | 1163 | 150 285 6000 | 6050 1163 91 | 0.004 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1177 | 150 286 6150 | 5000 1177 91 | 0.004 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1223 | 150 287 6300 | 5000 1223 91 | 0.004 % | c | 1323 | 150 287 6300 | 5500 1323 90 | 0.004 % | c | 1474 | 150 287 6300 | 6050 1474 89 | 0.004 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 1652 | 150 288 6450 | 5000 1652 89 | 0.004 % | c | 1753 | 150 288 6450 | 5500 1753 88 | 0.004 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 1827 | 150 289 6600 | 5000 1827 88 | 0.004 % | c | 1927 | 150 289 6600 | 5500 1927 88 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 1982 | 150 290 6750 | 5000 1982 87 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 2013 | 150 291 6900 | 5000 2013 87 | 0.004 % | c | 2113 | 150 291 6900 | 5500 2113 87 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 2170 | 150 292 7050 | 5000 2170 87 | 0.004 % | c | 2270 | 150 292 7050 | 5500 2270 86 | 0.004 % | c | 2422 | 150 292 7050 | 6050 2422 86 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 2529 | 150 293 7200 | 5000 2529 85 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 2619 | 150 294 7350 | 5000 2619 85 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 2655 | 150 295 7500 | 5000 2655 85 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 2669 | 150 296 7650 | 5000 2669 85 | 0.004 % | c | 2769 | 150 296 7650 | 5500 2769 84 | 0.004 % | c | 2919 | 150 296 7650 | 6050 2919 84 | 0.004 % | c | 3145 | 150 296 7650 | 6655 3145 83 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 3186 | 150 297 7800 | 5000 3186 83 | 0.004 % | c | 3286 | 150 297 7800 | 5500 3286 83 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 3297 | 150 298 7950 | 5000 3297 83 | 0.004 % | c | 3397 | 150 298 7950 | 5500 3397 82 | 0.004 % | c | 3547 | 150 298 7950 | 6050 3547 82 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 3567 | 150 299 8100 | 5000 3567 82 | 0.004 % | c | 3669 | 150 299 8100 | 5500 3669 81 | 0.004 % | c | 3820 | 150 299 8100 | 6050 3820 81 | 0.004 % | c | 4045 | 150 299 8100 | 6655 4045 80 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 4154 | 150 300 8250 | 5000 4154 80 | 0.004 % | c | 4254 | 150 300 8250 | 5500 4254 80 | 0.004 % | c | 4404 | 150 300 8250 | 6050 4404 79 | 0.005 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 4446 | 150 301 8400 | 5000 4446 79 | 0.005 % | c | 4546 | 150 301 8400 | 5500 4546 79 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 4660 | 150 302 8550 | 5000 4660 79 | 0.004 % | c | 4761 | 150 302 8550 | 5500 4761 79 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 4894 | 150 303 8700 | 5000 4894 78 | 0.004 % | c | 4994 | 150 303 8700 | 5500 4994 78 | 0.004 % | c | 5145 | 150 303 8700 | 6050 5145 78 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 5200 | 150 304 8850 | 5000 5200 78 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 5242 | 150 305 9000 | 5000 2642 70 | 0.004 % | c | 5343 | 150 305 9000 | 5500 2743 70 | 0.004 % | c | 5494 | 150 305 9000 | 6050 2894 70 | 0.004 % | c | 5719 | 150 305 9000 | 6655 3119 69 | 0.004 % | c | 6056 | 150 305 9000 | 7320 3456 69 | 0.004 % | c | 6563 | 150 305 9000 | 8052 3963 68 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 6753 | 150 306 9150 | 5000 4153 68 | 0.004 % | c | 6855 | 150 306 9150 | 5500 4255 68 | 0.004 % | c | 7005 | 150 306 9150 | 6050 4405 68 | 0.004 % | c | 7231 | 150 306 9150 | 6655 4631 68 | 0.004 % | c | 7568 | 150 306 9150 | 7320 4968 67 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 7672 | 150 307 9300 | 5000 5072 67 | 0.004 % | c | 7773 | 150 307 9300 | 5500 2637 64 | 0.004 % | c | 7924 | 150 307 9300 | 6050 2788 64 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 8019 | 150 308 9450 | 5000 2883 64 | 0.004 % | c | 8119 | 150 308 9450 | 5500 2983 64 | 0.004 % | c | 8269 | 150 308 9450 | 6050 3133 64 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 8327 | 150 309 9600 | 5000 3191 64 | 0.004 % | c | 8428 | 150 309 9600 | 5500 3292 64 | 0.004 % | c | 8579 | 150 309 9600 | 6050 3443 63 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 8799 | 150 310 9750 | 5000 3663 63 | 0.004 % | c | 8899 | 150 310 9750 | 5500 3763 63 | 0.004 % | c | 9049 | 150 310 9750 | 6050 3913 63 | 0.004 % | c | 9275 | 150 310 9750 | 6655 4139 63 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 9443 | 150 311 9900 | 5000 4307 63 | 0.004 % | c | 9543 | 150 311 9900 | 5500 4407 63 | 0.004 % | c | 9693 | 150 311 9900 | 6050 4557 62 | 0.004 % | c | 9919 | 150 311 9900 | 6655 4783 62 | 0.004 % | c | 10258 | 150 311 9900 | 7320 5122 62 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s c =============================================================================== c | 10582 | 150 312 10050 | 5000 5446 62 | 0.004 % | c | 10683 | 150 312 10050 | 5500 2824 60 | 0.004 % | c | 10833 | 150 312 10050 | 6050 2974 60 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 10901 | 150 313 10200 | 5000 3042 60 | 0.004 % | c | 11002 | 150 313 10200 | 5500 3143 59 | 0.004 % | c | 11154 | 150 313 10200 | 6050 3295 59 | 0.004 % | c | 11380 | 150 313 10200 | 6655 3521 59 | 0.004 % | c | 11717 | 150 313 10200 | 7320 3858 59 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 11803 | 150 314 10350 | 5000 3944 59 | 0.004 % | c | 11904 | 150 314 10350 | 5500 4045 59 | 0.004 % | c | 12054 | 150 314 10350 | 6050 4195 59 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 12074 | 150 315 10500 | 5000 4215 59 | 0.004 % | c | 12175 | 150 315 10500 | 5500 4316 59 | 0.004 % | c | 12325 | 150 315 10500 | 6050 4466 58 | 0.004 % | c | 12550 | 150 315 10500 | 6655 4691 58 | 0.004 % | c | 12887 | 150 315 10500 | 7320 5028 58 | 0.004 % | c | 13394 | 150 315 10500 | 8052 5535 58 | 0.004 % | c | 14154 | 150 315 10500 | 8857 6295 57 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.62875 s Remaining CPU time: 178.371 s c =============================================================================== c | 14707 | 150 316 10650 | 5000 6848 57 | 0.004 % | c | 14808 | 150 316 10650 | 5500 3525 55 | 0.004 % | c | 14959 | 150 316 10650 | 6050 3676 55 | 0.004 % | c | 15184 | 150 316 10650 | 6655 3901 55 | 0.004 % | c | 15521 | 150 316 10650 | 7320 4238 55 | 0.004 % | c | 16027 | 150 316 10650 | 8052 4744 55 | 0.004 % | c | 16786 | 150 316 10650 | 8857 5503 54 | 0.004 % | c | 17925 | 150 316 10650 | 9743 6642 54 | 0.004 % | c | 19633 | 150 316 10650 | 10717 8350 54 | 0.004 % | c | 22195 | 150 316 10650 | 11789 5518 54 | 0.005 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 2.73258 s Remaining CPU time: 177.267 s c =============================================================================== c | 22286 | 150 317 10800 | 5000 5609 54 | 0.005 % | c | 22386 | 150 317 10800 | 5500 2905 54 | 0.004 % | c | 22536 | 150 317 10800 | 6050 3055 54 | 0.004 % | c | 22762 | 150 317 10800 | 6655 3281 54 | 0.004 % | c | 23099 | 150 317 10800 | 7320 3618 54 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 2.87256 s Remaining CPU time: 177.127 s c =============================================================================== c | 23550 | 150 318 10950 | 5000 4069 53 | 0.004 % | c | 23650 | 150 318 10950 | 5500 4169 53 | 0.004 % | c | 23800 | 150 318 10950 | 6050 4319 53 | 0.004 % | c | 24026 | 150 318 10950 | 6655 4545 53 | 0.004 % | c | 24363 | 150 318 10950 | 7320 4882 53 | 0.004 % | c | 24870 | 150 318 10950 | 8052 5389 53 | 0.004 % | c | 25629 | 150 318 10950 | 8857 6148 53 | 0.004 % | c | 26769 | 150 318 10950 | 9743 7288 53 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 3.2605 s Remaining CPU time: 176.739 s c =============================================================================== c | 27355 | 150 319 11100 | 5000 7874 53 | 0.004 % | c | 27456 | 150 319 11100 | 5500 4038 52 | 0.004 % | c | 27606 | 150 319 11100 | 6050 4188 52 | 0.004 % | c | 27832 | 150 319 11100 | 6655 4414 52 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 3.37749 s Remaining CPU time: 176.623 s c =============================================================================== c | 28076 | 150 320 11250 | 5000 4658 52 | 0.004 % | c | 28176 | 150 320 11250 | 5500 4758 52 | 0.004 % | c | 28327 | 150 320 11250 | 6050 4909 52 | 0.004 % | c | 28552 | 150 320 11250 | 6655 5134 52 | 0.004 % | c | 28889 | 150 320 11250 | 7320 5471 52 | 0.004 % | c | 29396 | 150 320 11250 | 8052 5978 51 | 0.004 % | c | 30156 | 150 320 11250 | 8857 6738 51 | 0.004 % | c | 31296 | 150 320 11250 | 9743 7878 51 | 0.004 % | c | 33004 | 150 320 11250 | 10717 9586 51 | 0.004 % | c | 35567 | 150 320 11250 | 11789 6758 50 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 4.31434 s Remaining CPU time: 175.686 s c =============================================================================== c | 37120 | 150 321 11400 | 5000 8311 50 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 4.36134 s Remaining CPU time: 175.639 s c =============================================================================== c | 37190 | 150 322 11550 | 5000 4226 50 | 0.004 % | c | 37290 | 150 322 11550 | 5500 4326 50 | 0.005 % | c | 37441 | 150 322 11550 | 6050 4477 50 | 0.004 % | c | 37667 | 150 322 11550 | 6655 4703 50 | 0.004 % | c | 38004 | 150 322 11550 | 7320 5040 50 | 0.004 % | c | 38511 | 150 322 11550 | 8052 5547 50 | 0.004 % | c | 39270 | 150 322 11550 | 8857 6306 49 | 0.004 % | c | 40409 | 150 322 11550 | 9743 7445 49 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 4.72128 s Remaining CPU time: 175.279 s c =============================================================================== c | 40723 | 150 323 11700 | 5000 7759 49 | 0.004 % | c | 40823 | 150 323 11700 | 5500 3980 48 | 0.004 % | c | 40973 | 150 323 11700 | 6050 4130 48 | 0.004 % | c | 41198 | 150 323 11700 | 6655 4355 48 | 0.004 % | c | 41535 | 150 323 11700 | 7320 4692 48 | 0.004 % | c | 42041 | 150 323 11700 | 8052 5198 48 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 4.95925 s Remaining CPU time: 175.041 s c =============================================================================== c | 42575 | 150 324 11850 | 5000 5732 48 | 0.004 % | c | 42675 | 150 324 11850 | 5500 2966 47 | 0.004 % | c | 42826 | 150 324 11850 | 6050 3117 47 | 0.004 % | c | 43052 | 150 324 11850 | 6655 3343 47 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 5.07723 s Remaining CPU time: 174.923 s c =============================================================================== c | 43288 | 150 325 12000 | 5000 3579 47 | 0.004 % | c | 43388 | 150 325 12000 | 5500 3679 47 | 0.004 % | c | 43538 | 150 325 12000 | 6050 3829 47 | 0.004 % | c | 43763 | 150 325 12000 | 6655 4054 47 | 0.005 % | c | 44100 | 150 325 12000 | 7320 4391 47 | 0.005 % | c | 44606 | 150 325 12000 | 8052 4897 46 | 0.005 % | c | 45365 | 150 325 12000 | 8857 5656 46 | 0.004 % | c | 46506 | 150 325 12000 | 9743 6797 46 | 0.004 % | c | 48214 | 150 325 12000 | 10717 8505 46 | 0.004 % | c | 50777 | 150 325 12000 | 11789 5679 45 | 0.004 % | c | 54622 | 150 325 12000 | 12968 9524 45 | 0.004 % | c | 60388 | 150 325 12000 | 14265 8777 45 | 0.004 % | c | 69038 | 150 325 12000 | 15692 10263 45 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 9.8395 s Remaining CPU time: 170.16 s c =============================================================================== c | 75118 | 150 326 12150 | 5000 8469 45 | 0.004 % | c | 75218 | 150 326 12150 | 5500 4335 45 | 0.004 % | c | 75369 | 150 326 12150 | 6050 4486 45 | 0.004 % | c | 75594 | 150 326 12150 | 6655 4711 45 | 0.004 % | c | 75933 | 150 326 12150 | 7320 5050 45 | 0.004 % | c | 76439 | 150 326 12150 | 8052 5556 45 | 0.004 % | c | 77199 | 150 326 12150 | 8857 6316 45 | 0.004 % | c | 78339 | 150 326 12150 | 9743 7456 45 | 0.004 % | c | 80047 | 150 326 12150 | 10717 9164 44 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 10.6644 s Remaining CPU time: 169.336 s c =============================================================================== c | 81328 | 150 327 12300 | 5000 10445 44 | 0.004 % | c | 81428 | 150 327 12300 | 5500 2712 44 | 0.004 % | c | 81578 | 150 327 12300 | 6050 2862 44 | 0.004 % | c | 81803 | 150 327 12300 | 6655 3087 44 | 0.004 % | c | 82141 | 150 327 12300 | 7320 3425 44 | 0.004 % | c | 82647 | 150 327 12300 | 8052 3931 44 | 0.004 % | c | 83407 | 150 327 12300 | 8857 4691 43 | 0.004 % | c | 84546 | 150 327 12300 | 9743 5830 43 | 0.004 % | c | 86254 | 150 327 12300 | 10717 7538 43 | 0.004 % | c | 88817 | 150 327 12300 | 11789 10101 43 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 12.0922 s Remaining CPU time: 167.908 s c =============================================================================== c | 92082 | 150 328 12450 | 5000 7450 43 | 0.004 % | c | 92182 | 150 328 12450 | 5500 3825 43 | 0.004 % | c | 92333 | 150 328 12450 | 6050 3976 43 | 0.004 % | c | 92558 | 150 328 12450 | 6655 4201 43 | 0.004 % | c | 92895 | 150 328 12450 | 7320 4538 42 | 0.004 % | c | 93402 | 150 328 12450 | 8052 5045 42 | 0.004 % | c | 94161 | 150 328 12450 | 8857 5804 42 | 0.004 % | c | 95300 | 150 328 12450 | 9743 6943 42 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 12.6851 s Remaining CPU time: 167.315 s c =============================================================================== c | 96743 | 150 329 12600 | 5000 8386 42 | 0.004 % | c | 96843 | 150 329 12600 | 5500 4293 42 | 0.004 % | c | 96993 | 150 329 12600 | 6050 4443 42 | 0.004 % | c | 97218 | 150 329 12600 | 6655 4668 42 | 0.004 % | c | 97555 | 150 329 12600 | 7320 5005 42 | 0.004 % | c | 98061 | 150 329 12600 | 8052 5511 42 | 0.004 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 12.873 s Remaining CPU time: 167.127 s c =============================================================================== c | 98216 | 150 330 12750 | 5000 5666 41 | 0.004 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 12.901 s Remaining CPU time: 167.099 s c =============================================================================== c | 98221 | 150 331 12900 | 5000 2838 41 | 0.004 % | c | 98321 | 150 331 12900 | 5500 2938 41 | 0.004 % | c | 98471 | 150 331 12900 | 6050 3088 41 | 0.004 % | c | 98696 | 150 331 12900 | 6655 3313 41 | 0.004 % | c | 99034 | 150 331 12900 | 7320 3651 41 | 0.004 % | c | 99540 | 150 331 12900 | 8052 4157 41 | 0.004 % | c | 100299 | 150 331 12900 | 8857 4916 40 | 0.004 % | c | 101438 | 150 331 12900 | 9743 6055 40 | 0.004 % | c | 103148 | 150 331 12900 | 10717 7765 40 | 0.004 % | c | 105711 | 150 331 12900 | 11789 10328 40 | 0.004 % | c | 109555 | 150 331 12900 | 12968 8254 39 | 0.004 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 14.4008 s Remaining CPU time: 165.599 s c =============================================================================== c | 113299 | 150 332 13050 | 5000 11998 39 | 0.004 % | c | 113400 | 150 332 13050 | 5500 3101 39 | 0.004 % | c | 113550 | 150 332 13050 | 6050 3251 39 | 0.004 % | c | 113775 | 150 332 13050 | 6655 3476 39 | 0.004 % | c | 114113 | 150 332 13050 | 7320 3814 39 | 0.004 % | c | 114620 | 150 332 13050 | 8052 4321 39 | 0.004 % | c | 115379 | 150 332 13050 | 8857 5080 38 | 0.004 % | c | 116518 | 150 332 13050 | 9743 6219 38 | 0.004 % | c | 118226 | 150 332 13050 | 10717 7927 38 | 0.004 % | c | 120789 | 150 332 13050 | 11789 10490 38 | 0.004 % | c | 124635 | 150 332 13050 | 12968 8416 38 | 0.004 % | c | 130401 | 150 332 13050 | 14265 7677 38 | 0.004 % | c | 139050 | 150 332 13050 | 15692 9168 38 | 0.004 % | c | 152024 | 150 332 13050 | 17261 14268 38 | 0.004 % | c | 171486 | 150 332 13050 | 18987 16415 38 | 0.004 % | c | 200679 | 150 332 13050 | 20886 17056 38 | 0.004 % | c | 244468 | 150 332 13050 | 22974 18980 38 | 0.004 % | c | 310154 | 150 332 13050 | 25272 22617 38 | 0.004 % | c | 408680 | 150 332 13050 | 27799 18828 38 | 0.004 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 77.6662 s Remaining CPU time: 102.334 s c =============================================================================== c | 468280 | 150 333 13200 | 5000 27312 38 | 0.004 % | c | 468380 | 150 333 13200 | 5500 2790 38 | 0.004 % | c | 468530 | 150 333 13200 | 6050 2940 38 | 0.004 % | c | 468756 | 150 333 13200 | 6655 3166 38 | 0.004 % | c | 469093 | 150 333 13200 | 7320 3503 38 | 0.004 % | c | 469599 | 150 333 13200 | 8052 4009 38 | 0.004 % | c | 470358 | 150 333 13200 | 8857 4768 38 | 0.004 % | c | 471498 | 150 333 13200 | 9743 5908 37 | 0.004 % | c | 473206 | 150 333 13200 | 10717 7616 37 | 0.004 % | c | 475768 | 150 333 13200 | 11789 10178 37 | 0.004 % | c | 479613 | 150 333 13200 | 12968 8106 37 | 0.004 % | c | 485379 | 150 333 13200 | 14265 7370 37 | 0.004 % | c | 494028 | 150 333 13200 | 15692 8860 37 | 0.004 % | c | 507002 | 150 333 13200 | 17261 13968 37 | 0.004 % | c | 526463 | 150 333 13200 | 18987 16116 37 | 0.004 % | c | 555656 | 150 333 13200 | 20886 16767 37 | 0.004 % | c | 599446 | 150 333 13200 | 22974 18693 37 | 0.004 % | c | 665130 | 150 333 13200 | 25272 22265 37 | 0.004 % | c | 763656 | 150 333 13200 | 27799 18504 37 | 0.004 % | c | 911445 | 150 333 13200 | 30579 12737 37 | 0.005 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 93 504 3422 | 5000 0 nan | 0.000 % | c =============================================================================== c Total CPU time: 181.198 s