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: 124 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: 122 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 150 252 1050 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 150 253 1200 | 5000 3 43 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 150 254 1350 | 5000 3 43 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 150 255 1500 | 5000 3 43 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 3 | 150 256 1650 | 5000 3 43 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 3 | 150 257 1800 | 5000 3 43 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 3 | 150 258 1950 | 5000 3 43 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 9 | 150 259 2100 | 5000 9 91 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 13 | 150 260 2250 | 5000 13 98 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 15 | 150 261 2400 | 5000 15 100 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 17 | 150 262 2550 | 5000 17 102 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 22 | 150 263 2700 | 5000 22 104 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 27 | 150 264 2850 | 5000 27 105 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 28 | 150 265 3000 | 5000 28 105 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 30 | 150 266 3150 | 5000 30 105 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 34 | 150 267 3300 | 5000 34 106 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 34 | 150 268 3450 | 5000 34 106 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 40 | 150 269 3600 | 5000 40 103 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 45 | 150 270 3750 | 5000 45 103 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 49 | 150 271 3900 | 5000 49 103 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 52 | 150 272 4050 | 5000 52 103 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 58 | 150 273 4200 | 5000 58 103 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 63 | 150 274 4350 | 5000 63 103 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 68 | 150 275 4500 | 5000 68 102 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 74 | 150 276 4650 | 5000 74 102 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 84 | 150 277 4800 | 5000 84 101 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 103 | 150 278 4950 | 5000 103 100 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 146 | 150 279 5100 | 5000 146 98 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 191 | 150 280 5250 | 5000 191 97 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 233 | 150 281 5400 | 5000 233 96 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 309 | 150 282 5550 | 5000 309 95 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 363 | 150 283 5700 | 5000 363 94 | 0.000 % | c | 463 | 150 283 5700 | 5500 463 93 | 0.004 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 567 | 150 284 5850 | 5000 567 93 | 0.004 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 594 | 150 285 6000 | 5000 594 92 | 0.004 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 608 | 150 286 6150 | 5000 608 92 | 0.004 % | c | 708 | 150 286 6150 | 5500 708 91 | 0.004 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 730 | 150 287 6300 | 5000 730 91 | 0.004 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 751 | 150 288 6450 | 5000 751 91 | 0.004 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 826 | 150 289 6600 | 5000 826 91 | 0.004 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 863 | 150 290 6750 | 5000 863 90 | 0.004 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 883 | 150 291 6900 | 5000 883 90 | 0.004 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 961 | 150 292 7050 | 5000 961 89 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1023 | 150 293 7200 | 5000 1023 89 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1035 | 150 294 7350 | 5000 1035 89 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1089 | 150 295 7500 | 5000 1089 88 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1177 | 150 296 7650 | 5000 1177 87 | 0.004 % | c | 1277 | 150 296 7650 | 5500 1277 87 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1345 | 150 297 7800 | 5000 1345 86 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 1354 | 150 298 7950 | 5000 1354 86 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1435 | 150 299 8100 | 5000 1435 85 | 0.004 % | c | 1535 | 150 299 8100 | 5500 1535 85 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 1664 | 150 300 8250 | 5000 1664 84 | 0.004 % | c | 1764 | 150 300 8250 | 5500 1764 83 | 0.004 % | c | 1914 | 150 300 8250 | 6050 1914 82 | 0.004 % | c | 2139 | 150 300 8250 | 6655 2139 81 | 0.004 % | c | 2478 | 150 300 8250 | 7320 2478 80 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 2802 | 150 301 8400 | 5000 2802 79 | 0.004 % | c | 2902 | 150 301 8400 | 5500 2902 79 | 0.004 % | c | 3053 | 150 301 8400 | 6050 3053 79 | 0.004 % | c | 3279 | 150 301 8400 | 6655 3279 78 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 3319 | 150 302 8550 | 5000 3319 78 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 3325 | 150 303 8700 | 5000 3325 78 | 0.004 % | c | 3425 | 150 303 8700 | 5500 3425 78 | 0.004 % | c | 3575 | 150 303 8700 | 6050 3575 77 | 0.004 % | c | 3801 | 150 303 8700 | 6655 3801 77 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 4123 | 150 304 8850 | 5000 4123 76 | 0.004 % | c | 4224 | 150 304 8850 | 5500 4224 76 | 0.004 % | c | 4374 | 150 304 8850 | 6050 4374 76 | 0.004 % | c | 4600 | 150 304 8850 | 6655 4600 76 | 0.004 % | c | 4937 | 150 304 8850 | 7320 4937 75 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 5231 | 150 305 9000 | 5000 5231 75 | 0.004 % | c | 5331 | 150 305 9000 | 5500 2716 70 | 0.004 % | c | 5481 | 150 305 9000 | 6050 2866 70 | 0.004 % | c | 5707 | 150 305 9000 | 6655 3092 69 | 0.004 % | c | 6044 | 150 305 9000 | 7320 3429 69 | 0.004 % | c | 6551 | 150 305 9000 | 8052 3936 69 | 0.004 % | c | 7310 | 150 305 9000 | 8857 4695 69 | 0.004 % | c | 8449 | 150 305 9000 | 9743 5834 69 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.02884 s Remaining CPU time: 178.971 s c =============================================================================== c | 9868 | 150 306 9150 | 5000 7253 69 | 0.004 % | c | 9969 | 150 306 9150 | 5500 3728 68 | 0.004 % | c | 10120 | 150 306 9150 | 6050 3879 68 | 0.004 % | c | 10346 | 150 306 9150 | 6655 4105 68 | 0.004 % | c | 10683 | 150 306 9150 | 7320 4442 68 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.15382 s Remaining CPU time: 178.846 s c =============================================================================== c | 10849 | 150 307 9300 | 5000 4608 68 | 0.004 % | c | 10950 | 150 307 9300 | 5500 4709 68 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.17782 s Remaining CPU time: 178.822 s c =============================================================================== c | 11089 | 150 308 9450 | 5000 4848 68 | 0.004 % | c | 11189 | 150 308 9450 | 5500 4948 68 | 0.004 % | c | 11339 | 150 308 9450 | 6050 5098 68 | 0.004 % | c | 11565 | 150 308 9450 | 6655 5324 68 | 0.004 % | c | 11902 | 150 308 9450 | 7320 5661 68 | 0.004 % | c | 12408 | 150 308 9450 | 8052 6167 67 | 0.004 % | c | 13168 | 150 308 9450 | 8857 6927 67 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 13541 | 150 309 9600 | 5000 7300 67 | 0.004 % | c | 13641 | 150 309 9600 | 5500 3750 66 | 0.004 % | c | 13791 | 150 309 9600 | 6050 3900 66 | 0.004 % | c | 14016 | 150 309 9600 | 6655 4125 66 | 0.004 % | c | 14353 | 150 309 9600 | 7320 4462 66 | 0.004 % | c | 14860 | 150 309 9600 | 8052 4969 66 | 0.004 % | c | 15619 | 150 309 9600 | 8857 5728 65 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 16057 | 150 310 9750 | 5000 6166 65 | 0.004 % | c | 16157 | 150 310 9750 | 5500 3183 64 | 0.004 % | c | 16308 | 150 310 9750 | 6050 3334 64 | 0.004 % | c | 16533 | 150 310 9750 | 6655 3559 64 | 0.004 % | c | 16871 | 150 310 9750 | 7320 3897 64 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 16916 | 150 311 9900 | 5000 3942 64 | 0.004 % | c | 17016 | 150 311 9900 | 5500 4042 64 | 0.004 % | c | 17166 | 150 311 9900 | 6050 4192 64 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.92071 s Remaining CPU time: 178.079 s c =============================================================================== c | 17178 | 150 312 10050 | 5000 4204 64 | 0.004 % | c | 17280 | 150 312 10050 | 5500 4306 64 | 0.004 % | c | 17431 | 150 312 10050 | 6050 4457 64 | 0.004 % | c | 17657 | 150 312 10050 | 6655 4683 64 | 0.004 % | c | 17995 | 150 312 10050 | 7320 5021 63 | 0.004 % | c | 18501 | 150 312 10050 | 8052 5527 63 | 0.004 % | c | 19260 | 150 312 10050 | 8857 6286 63 | 0.004 % | c | 20399 | 150 312 10050 | 9743 7425 63 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 2.37764 s Remaining CPU time: 177.622 s c =============================================================================== c | 21624 | 150 313 10200 | 5000 8650 63 | 0.004 % | c | 21725 | 150 313 10200 | 5500 4426 61 | 0.004 % | c | 21875 | 150 313 10200 | 6050 4576 61 | 0.004 % | c | 22100 | 150 313 10200 | 6655 4801 61 | 0.004 % | c | 22437 | 150 313 10200 | 7320 5138 61 | 0.004 % | c | 22944 | 150 313 10200 | 8052 5645 61 | 0.004 % | c | 23704 | 150 313 10200 | 8857 6405 61 | 0.004 % | c | 24843 | 150 313 10200 | 9743 7544 61 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 2.73858 s Remaining CPU time: 177.261 s c =============================================================================== c | 25082 | 150 314 10350 | 5000 7783 61 | 0.004 % | c | 25182 | 150 314 10350 | 5500 3992 60 | 0.004 % | c | 25332 | 150 314 10350 | 6050 4142 60 | 0.004 % | c | 25557 | 150 314 10350 | 6655 4367 60 | 0.004 % | c | 25894 | 150 314 10350 | 7320 4704 60 | 0.004 % | c | 26401 | 150 314 10350 | 8052 5211 60 | 0.004 % | c | 27160 | 150 314 10350 | 8857 5970 60 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 3.07453 s Remaining CPU time: 176.925 s c =============================================================================== c | 27617 | 150 315 10500 | 5000 6427 60 | 0.004 % | c | 27717 | 150 315 10500 | 5500 3314 60 | 0.004 % | c | 27868 | 150 315 10500 | 6050 3465 59 | 0.004 % | c | 28093 | 150 315 10500 | 6655 3690 59 | 0.004 % | c | 28431 | 150 315 10500 | 7320 4028 59 | 0.004 % | c | 28938 | 150 315 10500 | 8052 4535 59 | 0.004 % | c | 29698 | 150 315 10500 | 8857 5295 59 | 0.004 % | c | 30838 | 150 315 10500 | 9743 6435 59 | 0.004 % | c | 32546 | 150 315 10500 | 10717 8143 59 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 3.69544 s Remaining CPU time: 176.305 s c =============================================================================== c | 32718 | 150 316 10650 | 5000 8315 59 | 0.004 % | c | 32819 | 150 316 10650 | 5500 4259 58 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 3.75543 s Remaining CPU time: 176.245 s c =============================================================================== c | 32829 | 150 317 10800 | 5000 4269 58 | 0.004 % | c | 32929 | 150 317 10800 | 5500 4369 58 | 0.004 % | c | 33079 | 150 317 10800 | 6050 4519 58 | 0.004 % | c | 33304 | 150 317 10800 | 6655 4744 58 | 0.004 % | c | 33642 | 150 317 10800 | 7320 5082 58 | 0.004 % | c | 34148 | 150 317 10800 | 8052 5588 58 | 0.004 % | c | 34907 | 150 317 10800 | 8857 6347 58 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 4.11837 s Remaining CPU time: 175.882 s c =============================================================================== c | 35619 | 150 318 10950 | 5000 7059 58 | 0.004 % | c | 35719 | 150 318 10950 | 5500 3630 57 | 0.004 % | c | 35869 | 150 318 10950 | 6050 3780 57 | 0.004 % | c | 36094 | 150 318 10950 | 6655 4005 57 | 0.004 % | c | 36431 | 150 318 10950 | 7320 4342 57 | 0.004 % | c | 36937 | 150 318 10950 | 8052 4848 56 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 4.40433 s Remaining CPU time: 175.596 s c =============================================================================== c | 37444 | 150 319 11100 | 5000 5355 56 | 0.004 % | c | 37544 | 150 319 11100 | 5500 2778 55 | 0.004 % | c | 37694 | 150 319 11100 | 6050 2928 55 | 0.004 % | c | 37920 | 150 319 11100 | 6655 3154 55 | 0.004 % | c | 38257 | 150 319 11100 | 7320 3491 55 | 0.004 % | c | 38763 | 150 319 11100 | 8052 3997 55 | 0.004 % | c | 39522 | 150 319 11100 | 8857 4756 55 | 0.004 % | c | 40662 | 150 319 11100 | 9743 5896 55 | 0.004 % | c | 42370 | 150 319 11100 | 10717 7604 55 | 0.004 % | c | 44933 | 150 319 11100 | 11789 10167 54 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 5.50616 s Remaining CPU time: 174.494 s c =============================================================================== c | 44947 | 150 320 11250 | 5000 10181 54 | 0.004 % | c | 45047 | 150 320 11250 | 5500 2646 54 | 0.004 % | c | 45198 | 150 320 11250 | 6050 2797 54 | 0.004 % | c | 45424 | 150 320 11250 | 6655 3023 54 | 0.004 % | c | 45761 | 150 320 11250 | 7320 3360 54 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 5.71213 s Remaining CPU time: 174.288 s c =============================================================================== c | 46038 | 150 321 11400 | 5000 3637 54 | 0.004 % | c | 46139 | 150 321 11400 | 5500 3738 54 | 0.004 % | c | 46289 | 150 321 11400 | 6050 3888 54 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 5.74613 s Remaining CPU time: 174.254 s c =============================================================================== c | 46379 | 150 322 11550 | 5000 3978 54 | 0.004 % | c | 46479 | 150 322 11550 | 5500 4078 54 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 5.76512 s Remaining CPU time: 174.235 s c =============================================================================== c | 46564 | 150 323 11700 | 5000 4163 54 | 0.004 % | c | 46665 | 150 323 11700 | 5500 4264 53 | 0.004 % | c | 46817 | 150 323 11700 | 6050 4416 53 | 0.004 % | c | 47044 | 150 323 11700 | 6655 4643 53 | 0.004 % | c | 47381 | 150 323 11700 | 7320 4980 53 | 0.004 % | c | 47888 | 150 323 11700 | 8052 5487 53 | 0.005 % | c | 48648 | 150 323 11700 | 8857 6247 52 | 0.004 % | c | 49787 | 150 323 11700 | 9743 7386 52 | 0.004 % | c | 51495 | 150 323 11700 | 10717 9094 52 | 0.004 % | c | 54058 | 150 323 11700 | 11789 6270 50 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 6.65499 s Remaining CPU time: 173.345 s c =============================================================================== c | 54451 | 150 324 11850 | 5000 6663 50 | 0.004 % | c | 54551 | 150 324 11850 | 5500 3432 50 | 0.004 % | c | 54702 | 150 324 11850 | 6050 3583 50 | 0.004 % | c | 54927 | 150 324 11850 | 6655 3808 50 | 0.004 % | c | 55264 | 150 324 11850 | 7320 4145 50 | 0.004 % | c | 55770 | 150 324 11850 | 8052 4651 50 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 6.90095 s Remaining CPU time: 173.099 s c =============================================================================== c | 56207 | 150 325 12000 | 5000 5088 50 | 0.004 % | c | 56307 | 150 325 12000 | 5500 2644 49 | 0.004 % | c | 56459 | 150 325 12000 | 6050 2796 49 | 0.004 % | c | 56684 | 150 325 12000 | 6655 3021 49 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 7.00293 s Remaining CPU time: 172.997 s c =============================================================================== c | 56864 | 150 326 12150 | 5000 3201 49 | 0.004 % | c | 56965 | 150 326 12150 | 5500 3302 49 | 0.004 % | c | 57115 | 150 326 12150 | 6050 3452 49 | 0.004 % | c | 57340 | 150 326 12150 | 6655 3677 49 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 7.09792 s Remaining CPU time: 172.902 s c =============================================================================== c | 57617 | 150 327 12300 | 5000 3954 49 | 0.004 % | c | 57717 | 150 327 12300 | 5500 4054 49 | 0.004 % | c | 57867 | 150 327 12300 | 6050 4204 49 | 0.004 % | c | 58093 | 150 327 12300 | 6655 4430 49 | 0.004 % | c | 58431 | 150 327 12300 | 7320 4768 48 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 7.2379 s Remaining CPU time: 172.762 s c =============================================================================== c | 58752 | 150 328 12450 | 5000 5089 48 | 0.004 % | c | 58853 | 150 328 12450 | 5500 2646 47 | 0.004 % | c | 59003 | 150 328 12450 | 6050 2796 47 | 0.004 % | c | 59228 | 150 328 12450 | 6655 3021 47 | 0.004 % | c | 59565 | 150 328 12450 | 7320 3358 47 | 0.004 % | c | 60071 | 150 328 12450 | 8052 3864 47 | 0.004 % | c | 60830 | 150 328 12450 | 8857 4623 46 | 0.004 % | c | 61969 | 150 328 12450 | 9743 5762 46 | 0.004 % | c | 63678 | 150 328 12450 | 10717 7471 46 | 0.004 % | c | 66240 | 150 328 12450 | 11789 10033 46 | 0.004 % | c | 70085 | 150 328 12450 | 12968 7957 45 | 0.004 % | c | 75853 | 150 328 12450 | 14265 7213 45 | 0.004 % | c | 84504 | 150 328 12450 | 15692 8698 45 | 0.004 % | c | 97478 | 150 328 12450 | 17261 13795 45 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 15.5866 s Remaining CPU time: 164.413 s c =============================================================================== c | 112052 | 150 329 12600 | 5000 11045 45 | 0.004 % | c | 112153 | 150 329 12600 | 5500 2863 46 | 0.004 % | c | 112303 | 150 329 12600 | 6050 3013 45 | 0.004 % | c | 112528 | 150 329 12600 | 6655 3238 45 | 0.004 % | c | 112866 | 150 329 12600 | 7320 3576 45 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 15.8066 s Remaining CPU time: 164.193 s c =============================================================================== c | 113189 | 150 330 12750 | 5000 3899 45 | 0.004 % | c | 113290 | 150 330 12750 | 5500 4000 45 | 0.004 % | c | 113442 | 150 330 12750 | 6050 4152 45 | 0.004 % | c | 113667 | 150 330 12750 | 6655 4377 45 | 0.004 % | c | 114004 | 150 330 12750 | 7320 4714 45 | 0.004 % | c | 114510 | 150 330 12750 | 8052 5220 45 | 0.004 % | c | 115269 | 150 330 12750 | 8857 5979 44 | 0.004 % | c | 116408 | 150 330 12750 | 9743 7118 44 | 0.004 % | c | 118117 | 150 330 12750 | 10717 8827 44 | 0.004 % | c | 120679 | 150 330 12750 | 11789 6000 43 | 0.004 % | c | 124523 | 150 330 12750 | 12968 9844 43 | 0.004 % | c | 130291 | 150 330 12750 | 14265 9099 43 | 0.004 % | c | 138941 | 150 330 12750 | 15692 10585 43 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 19.58 s Remaining CPU time: 160.42 s c =============================================================================== c | 139111 | 150 331 12900 | 5000 10755 43 | 0.004 % | c | 139211 | 150 331 12900 | 5500 2789 43 | 0.004 % | c | 139361 | 150 331 12900 | 6050 2939 43 | 0.004 % | c | 139586 | 150 331 12900 | 6655 3164 43 | 0.004 % | c | 139923 | 150 331 12900 | 7320 3501 43 | 0.004 % | c | 140429 | 150 331 12900 | 8052 4007 43 | 0.004 % | c | 141188 | 150 331 12900 | 8857 4766 43 | 0.004 % | c | 142327 | 150 331 12900 | 9743 5905 43 | 0.004 % | c | 144035 | 150 331 12900 | 10717 7613 43 | 0.004 % | c | 146597 | 150 331 12900 | 11789 10175 42 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 20.7938 s Remaining CPU time: 159.206 s c =============================================================================== c | 149217 | 150 332 13050 | 5000 6878 42 | 0.004 % | c | 149318 | 150 332 13050 | 5500 3540 42 | 0.004 % | c | 149468 | 150 332 13050 | 6050 3690 42 | 0.004 % | c | 149694 | 150 332 13050 | 6655 3916 42 | 0.004 % | c | 150031 | 150 332 13050 | 7320 4253 42 | 0.004 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 20.9178 s Remaining CPU time: 159.082 s c =============================================================================== c | 150235 | 150 333 13200 | 5000 4457 42 | 0.004 % | c | 150335 | 150 333 13200 | 5500 4557 42 | 0.004 % | c | 150485 | 150 333 13200 | 6050 4707 42 | 0.004 % | c | 150710 | 150 333 13200 | 6655 4932 42 | 0.004 % | c | 151047 | 150 333 13200 | 7320 5269 42 | 0.004 % | c | 151555 | 150 333 13200 | 8052 5777 42 | 0.004 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 21.0738 s Remaining CPU time: 158.926 s c =============================================================================== c | 151717 | 150 334 13350 | 5000 5939 41 | 0.004 % | c | 151817 | 150 334 13350 | 5500 3070 41 | 0.004 % | c | 151967 | 150 334 13350 | 6050 3220 41 | 0.004 % | c | 152193 | 150 334 13350 | 6655 3446 41 | 0.004 % | c | 152530 | 150 334 13350 | 7320 3783 40 | 0.004 % | c | 153036 | 150 334 13350 | 8052 4289 40 | 0.004 % | c | 153796 | 150 334 13350 | 8857 5049 40 | 0.004 % | c | 154936 | 150 334 13350 | 9743 6189 40 | 0.004 % | c | 156644 | 150 334 13350 | 10717 7897 40 | 0.004 % | c | 159207 | 150 334 13350 | 11789 10460 40 | 0.004 % | c | 163052 | 150 334 13350 | 12968 8384 39 | 0.004 % | c | 168818 | 150 334 13350 | 14265 7642 39 | 0.004 % | c | 177467 | 150 334 13350 | 15692 9131 39 | 0.004 % | c | 190441 | 150 334 13350 | 17261 14233 39 | 0.004 % | c | 209902 | 150 334 13350 | 18987 16380 39 | 0.004 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 34.7607 s Remaining CPU time: 145.239 s c =============================================================================== c | 237283 | 150 335 13500 | 5000 15199 39 | 0.004 % | c | 237385 | 150 335 13500 | 5500 3902 39 | 0.004 % | c | 237536 | 150 335 13500 | 6050 4053 39 | 0.004 % | c | 237761 | 150 335 13500 | 6655 4278 39 | 0.004 % | c | 238098 | 150 335 13500 | 7320 4615 39 | 0.004 % | c | 238605 | 150 335 13500 | 8052 5122 39 | 0.004 % | c | 239364 | 150 335 13500 | 8857 5881 39 | 0.004 % | c | 240503 | 150 335 13500 | 9743 7020 39 | 0.004 % | c | 242212 | 150 335 13500 | 10717 8729 39 | 0.004 % | c | 244774 | 150 335 13500 | 11789 5905 38 | 0.004 % | c | 248619 | 150 335 13500 | 12968 9750 38 | 0.004 % | c | 254386 | 150 335 13500 | 14265 9001 38 | 0.004 % | c | 263037 | 150 335 13500 | 15692 10493 38 | 0.004 % | c | 276012 | 150 335 13500 | 17261 15601 38 | 0.004 % | c | 295474 | 150 335 13500 | 18987 9097 38 | 0.004 % | c | 324667 | 150 335 13500 | 20886 9732 38 | 0.004 % | c | 368457 | 150 335 13500 | 22974 11649 38 | 0.004 % | c | 434141 | 150 335 13500 | 25272 15174 38 | 0.004 % | c | 532667 | 150 335 13500 | 27799 11289 38 | 0.004 % | c | 680456 | 150 335 13500 | 30579 22413 38 | 0.004 % | c | 902141 | 150 335 13500 | 33637 26972 38 | 0.004 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 168.813 s Remaining CPU time: 11.1867 s c =============================================================================== c | 954942 | 150 336 13650 | 5000 11686 38 | 0.004 % | c | 955042 | 150 336 13650 | 5500 3022 38 | 0.004 % | c | 955193 | 150 336 13650 | 6050 3173 38 | 0.004 % | c | 955419 | 150 336 13650 | 6655 3399 38 | 0.004 % | c | 955756 | 150 336 13650 | 7320 3736 38 | 0.004 % | c | 956263 | 150 336 13650 | 8052 4243 38 | 0.004 % | c | 957022 | 150 336 13650 | 8857 5002 37 | 0.004 % | c | 958162 | 150 336 13650 | 9743 6142 37 | 0.004 % | c | 959871 | 150 336 13650 | 10717 7851 37 | 0.004 % | c | 962433 | 150 336 13650 | 11789 10413 37 | 0.004 % | c | 966278 | 150 336 13650 | 12968 8339 37 | 0.004 % | c | 972044 | 150 336 13650 | 14265 7598 37 | 0.004 % | c | 980693 | 150 336 13650 | 15692 9090 37 | 0.004 % | c | 993668 | 150 336 13650 | 17261 14196 37 | 0.004 % | c | 1013130 | 150 336 13650 | 18987 16349 37 | 0.004 % | 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 | 130 509 5582 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 154 510 6387 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 211 511 8319 | 5000 0 nan | 0.000 % | c | 100 | 209 511 8319 | 5500 100 9 | 24.819 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 294 512 10357 | 5000 0 nan | 0.000 % | c | 101 | 293 512 10357 | 5500 101 19 | 15.073 % | c | 251 | 292 512 10357 | 6050 136 17 | 15.363 % | c | 478 | 292 512 10357 | 6655 363 17 | 15.363 % | c =============================================================================== c Total CPU time: 180.998 s