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: 118 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: 117 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: 116 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: 115 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 254 1350 | 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 255 1500 | 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 256 1650 | 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 257 1800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 111 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: 110 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: 109 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 150 260 2250 | 5000 1 109 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 2 | 150 261 2400 | 5000 2 108 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 2 | 150 262 2550 | 5000 2 108 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 2 | 150 263 2700 | 5000 2 108 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 2 | 150 264 2850 | 5000 2 108 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 2 | 150 265 3000 | 5000 2 108 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 3 | 150 266 3150 | 5000 3 107 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 3 | 150 267 3300 | 5000 3 107 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 4 | 150 268 3450 | 5000 4 105 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 4 | 150 269 3600 | 5000 4 105 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 4 | 150 270 3750 | 5000 4 105 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 4 | 150 271 3900 | 5000 4 105 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 6 | 150 272 4050 | 5000 6 102 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 7 | 150 273 4200 | 5000 7 102 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 8 | 150 274 4350 | 5000 8 101 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 8 | 150 275 4500 | 5000 8 101 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 8 | 150 276 4650 | 5000 8 101 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 9 | 150 277 4800 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 14 | 150 278 4950 | 5000 14 97 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 16 | 150 279 5100 | 5000 16 96 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 18 | 150 280 5250 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 20 | 150 281 5400 | 5000 20 95 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 30 | 150 282 5550 | 5000 30 92 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 41 | 150 283 5700 | 5000 41 91 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 57 | 150 284 5850 | 5000 57 89 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 63 | 150 285 6000 | 5000 63 89 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 68 | 150 286 6150 | 5000 68 88 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 79 | 150 287 6300 | 5000 79 87 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 138 | 150 288 6450 | 5000 138 85 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 212 | 150 289 6600 | 5000 212 83 | 0.000 % | c | 312 | 150 289 6600 | 5500 312 82 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 427 | 150 290 6750 | 5000 427 81 | 0.004 % | c | 527 | 150 290 6750 | 5500 527 80 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 620 | 150 291 6900 | 5000 620 80 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 713 | 150 292 7050 | 5000 713 80 | 0.004 % | c | 813 | 150 292 7050 | 5500 813 79 | 0.004 % | c | 963 | 150 292 7050 | 6050 963 79 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1009 | 150 293 7200 | 5000 1009 78 | 0.004 % | c | 1109 | 150 293 7200 | 5500 1109 78 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1229 | 150 294 7350 | 5000 1229 78 | 0.004 % | c | 1330 | 150 294 7350 | 5500 1330 78 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1437 | 150 295 7500 | 5000 1437 77 | 0.004 % | c | 1537 | 150 295 7500 | 5500 1537 77 | 0.004 % | c | 1687 | 150 295 7500 | 6050 1687 77 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 1787 | 150 296 7650 | 5000 1787 76 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 1859 | 150 297 7800 | 5000 1859 76 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 1892 | 150 298 7950 | 5000 1892 76 | 0.004 % | c | 1992 | 150 298 7950 | 5500 1992 76 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 2044 | 150 299 8100 | 5000 2044 76 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 2123 | 150 300 8250 | 5000 2123 75 | 0.004 % | c | 2224 | 150 300 8250 | 5500 2224 75 | 0.004 % | c | 2374 | 150 300 8250 | 6050 2374 75 | 0.004 % | c | 2600 | 150 300 8250 | 6655 2600 74 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 2696 | 150 301 8400 | 5000 2696 74 | 0.004 % | c | 2796 | 150 301 8400 | 5500 2796 74 | 0.004 % | c | 2947 | 150 301 8400 | 6050 2947 73 | 0.004 % | c | 3172 | 150 301 8400 | 6655 3172 73 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 3402 | 150 302 8550 | 5000 3402 72 | 0.004 % | c | 3503 | 150 302 8550 | 5500 3503 72 | 0.004 % | c | 3653 | 150 302 8550 | 6050 3653 72 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 3706 | 150 303 8700 | 5000 3706 72 | 0.004 % | c | 3806 | 150 303 8700 | 5500 3806 72 | 0.004 % | c | 3956 | 150 303 8700 | 6050 3956 72 | 0.004 % | c | 4182 | 150 303 8700 | 6655 4182 71 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 4347 | 150 304 8850 | 5000 4347 71 | 0.004 % | c | 4447 | 150 304 8850 | 5500 4447 71 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 4528 | 150 305 9000 | 5000 4528 71 | 0.004 % | c | 4628 | 150 305 9000 | 5500 4628 70 | 0.004 % | c | 4778 | 150 305 9000 | 6050 4778 70 | 0.004 % | c | 5005 | 150 305 9000 | 6655 5005 70 | 0.004 % | c | 5342 | 150 305 9000 | 7320 5342 69 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 5800 | 150 306 9150 | 5000 5800 69 | 0.004 % | c | 5900 | 150 306 9150 | 5500 3000 64 | 0.004 % | c | 6050 | 150 306 9150 | 6050 3150 64 | 0.004 % | c | 6276 | 150 306 9150 | 6655 3376 64 | 0.004 % | c | 6614 | 150 306 9150 | 7320 3714 64 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 7112 | 150 307 9300 | 5000 4212 64 | 0.004 % | c | 7213 | 150 307 9300 | 5500 4313 64 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 7340 | 150 308 9450 | 5000 4440 64 | 0.004 % | c | 7441 | 150 308 9450 | 5500 4541 63 | 0.004 % | c | 7591 | 150 308 9450 | 6050 4691 63 | 0.004 % | c | 7817 | 150 308 9450 | 6655 4917 63 | 0.004 % | c | 8154 | 150 308 9450 | 7320 5254 63 | 0.004 % | c | 8661 | 150 308 9450 | 8052 5761 63 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 8775 | 150 309 9600 | 5000 5875 63 | 0.004 % | c | 8876 | 150 309 9600 | 5500 3039 61 | 0.004 % | c | 9026 | 150 309 9600 | 6050 3189 61 | 0.004 % | c | 9253 | 150 309 9600 | 6655 3416 61 | 0.004 % | c | 9591 | 150 309 9600 | 7320 3754 60 | 0.004 % | c | 10099 | 150 309 9600 | 8052 4262 60 | 0.004 % | c | 10859 | 150 309 9600 | 8857 5022 60 | 0.004 % | c | 11998 | 150 309 9600 | 9743 6161 60 | 0.004 % | c | 13707 | 150 309 9600 | 10717 7870 60 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.40679 s Remaining CPU time: 178.593 s c =============================================================================== c | 14745 | 150 310 9750 | 5000 8908 60 | 0.004 % | c | 14845 | 150 310 9750 | 5500 4554 59 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 14850 | 150 311 9900 | 5000 4559 59 | 0.004 % | c | 14951 | 150 311 9900 | 5500 4660 59 | 0.004 % | c | 15101 | 150 311 9900 | 6050 4810 59 | 0.004 % | c | 15326 | 150 311 9900 | 6655 5035 59 | 0.004 % | c | 15663 | 150 311 9900 | 7320 5372 59 | 0.004 % | c | 16169 | 150 311 9900 | 8052 5878 59 | 0.004 % | c | 16928 | 150 311 9900 | 8857 6637 58 | 0.004 % | c | 18067 | 150 311 9900 | 9743 7776 58 | 0.004 % | c | 19776 | 150 311 9900 | 10717 9485 58 | 0.004 % | c | 22338 | 150 311 9900 | 11789 6654 57 | 0.004 % | c | 26182 | 150 311 9900 | 12968 10498 57 | 0.004 % | c | 31948 | 150 311 9900 | 14265 9744 57 | 0.004 % | c | 40599 | 150 311 9900 | 15692 11227 57 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 6.568 s Remaining CPU time: 173.432 s c =============================================================================== c | 48078 | 150 312 10050 | 5000 10827 57 | 0.004 % | c | 48178 | 150 312 10050 | 5500 2807 57 | 0.004 % | c | 48328 | 150 312 10050 | 6050 2957 57 | 0.004 % | c | 48553 | 150 312 10050 | 6655 3182 57 | 0.004 % | c | 48891 | 150 312 10050 | 7320 3520 57 | 0.004 % | c | 49397 | 150 312 10050 | 8052 4026 57 | 0.004 % | c | 50157 | 150 312 10050 | 8857 4786 57 | 0.004 % | c | 51298 | 150 312 10050 | 9743 5927 57 | 0.004 % | c | 53006 | 150 312 10050 | 10717 7635 56 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 7.40887 s Remaining CPU time: 172.591 s c =============================================================================== c | 53657 | 150 313 10200 | 5000 8286 56 | 0.004 % | c | 53757 | 150 313 10200 | 5500 4243 56 | 0.004 % | c | 53907 | 150 313 10200 | 6050 4393 56 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 7.47686 s Remaining CPU time: 172.523 s c =============================================================================== c | 53926 | 150 314 10350 | 5000 4412 56 | 0.004 % | c | 54027 | 150 314 10350 | 5500 4513 56 | 0.004 % | c | 54177 | 150 314 10350 | 6050 4663 56 | 0.004 % | c | 54403 | 150 314 10350 | 6655 4889 56 | 0.004 % | c | 54740 | 150 314 10350 | 7320 5226 56 | 0.004 % | c | 55247 | 150 314 10350 | 8052 5733 56 | 0.004 % | c | 56007 | 150 314 10350 | 8857 6493 55 | 0.004 % | c | 57147 | 150 314 10350 | 9743 7633 55 | 0.004 % | c | 58855 | 150 314 10350 | 10717 9341 55 | 0.004 % | c | 61417 | 150 314 10350 | 11789 6508 54 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 8.27474 s Remaining CPU time: 171.725 s c =============================================================================== c | 61469 | 150 315 10500 | 5000 6560 54 | 0.004 % | c | 61570 | 150 315 10500 | 5500 3381 54 | 0.004 % | c | 61720 | 150 315 10500 | 6050 3531 54 | 0.004 % | c | 61946 | 150 315 10500 | 6655 3757 54 | 0.004 % | c | 62283 | 150 315 10500 | 7320 4094 54 | 0.004 % | c | 62789 | 150 315 10500 | 8052 4600 54 | 0.004 % | c | 63549 | 150 315 10500 | 8857 5360 54 | 0.004 % | c | 64689 | 150 315 10500 | 9743 6500 54 | 0.004 % | c | 66397 | 150 315 10500 | 10717 8208 53 | 0.004 % | c | 68960 | 150 315 10500 | 11789 10771 53 | 0.004 % | c | 72804 | 150 315 10500 | 12968 8688 53 | 0.004 % | c | 78570 | 150 315 10500 | 14265 7938 53 | 0.004 % | c | 87219 | 150 315 10500 | 15692 9424 53 | 0.004 % | c | 100193 | 150 315 10500 | 17261 14513 53 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 13.9149 s Remaining CPU time: 166.085 s c =============================================================================== c | 102768 | 150 316 10650 | 5000 17088 53 | 0.004 % | c | 102868 | 150 316 10650 | 5500 4372 53 | 0.004 % | c | 103019 | 150 316 10650 | 6050 4523 53 | 0.004 % | c | 103244 | 150 316 10650 | 6655 4748 53 | 0.004 % | c | 103583 | 150 316 10650 | 7320 5087 53 | 0.004 % | c | 104089 | 150 316 10650 | 8052 5593 53 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 14.4128 s Remaining CPU time: 165.587 s c =============================================================================== c | 104354 | 150 317 10800 | 5000 5858 53 | 0.004 % | c | 104454 | 150 317 10800 | 5500 3029 52 | 0.004 % | c | 104604 | 150 317 10800 | 6050 3179 52 | 0.004 % | c | 104830 | 150 317 10800 | 6655 3405 52 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 14.4938 s Remaining CPU time: 165.506 s c =============================================================================== c | 104934 | 150 318 10950 | 5000 3509 52 | 0.004 % | c | 105035 | 150 318 10950 | 5500 3610 52 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 14.5108 s Remaining CPU time: 165.489 s c =============================================================================== c | 105131 | 150 319 11100 | 5000 3706 52 | 0.004 % | c | 105231 | 150 319 11100 | 5500 3806 52 | 0.004 % | c | 105381 | 150 319 11100 | 6050 3956 52 | 0.004 % | c | 105606 | 150 319 11100 | 6655 4181 52 | 0.004 % | c | 105944 | 150 319 11100 | 7320 4519 51 | 0.004 % | c | 106451 | 150 319 11100 | 8052 5026 51 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 14.7508 s Remaining CPU time: 165.249 s c =============================================================================== c | 107141 | 150 320 11250 | 5000 5716 51 | 0.004 % | c | 107241 | 150 320 11250 | 5500 2958 49 | 0.004 % | c | 107391 | 150 320 11250 | 6050 3108 49 | 0.004 % | c | 107616 | 150 320 11250 | 6655 3333 49 | 0.004 % | c | 107954 | 150 320 11250 | 7320 3671 49 | 0.004 % | c | 108460 | 150 320 11250 | 8052 4177 49 | 0.004 % | c | 109220 | 150 320 11250 | 8857 4937 49 | 0.004 % | c | 110359 | 150 320 11250 | 9743 6076 49 | 0.004 % | c | 112067 | 150 320 11250 | 10717 7784 48 | 0.004 % | c | 114629 | 150 320 11250 | 11789 10346 48 | 0.004 % | c | 118474 | 150 320 11250 | 12968 8268 48 | 0.004 % | c | 124241 | 150 320 11250 | 14265 7521 48 | 0.004 % | c | 132890 | 150 320 11250 | 15692 9006 48 | 0.004 % | c | 145865 | 150 320 11250 | 17261 14103 48 | 0.004 % | c | 165326 | 150 320 11250 | 18987 16238 48 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 23.3594 s Remaining CPU time: 156.641 s c =============================================================================== c | 166067 | 150 321 11400 | 5000 16979 48 | 0.004 % | c | 166167 | 150 321 11400 | 5500 4345 48 | 0.004 % | c | 166317 | 150 321 11400 | 6050 4495 48 | 0.004 % | c | 166542 | 150 321 11400 | 6655 4720 48 | 0.005 % | c | 166880 | 150 321 11400 | 7320 5058 48 | 0.004 % | c | 167386 | 150 321 11400 | 8052 5564 48 | 0.004 % | c | 168145 | 150 321 11400 | 8857 6323 48 | 0.004 % | c | 169284 | 150 321 11400 | 9743 7462 48 | 0.004 % | c | 170993 | 150 321 11400 | 10717 9171 48 | 0.004 % | c | 173555 | 150 321 11400 | 11789 6347 47 | 0.004 % | c | 177399 | 150 321 11400 | 12968 10191 47 | 0.004 % | c | 183165 | 150 321 11400 | 14265 9440 47 | 0.004 % | c | 191814 | 150 321 11400 | 15692 10926 47 | 0.004 % | c | 204789 | 150 321 11400 | 17261 8149 47 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 29.4485 s Remaining CPU time: 150.551 s c =============================================================================== c | 213015 | 150 322 11550 | 5000 16375 47 | 0.004 % | c | 213115 | 150 322 11550 | 5500 4194 47 | 0.004 % | c | 213265 | 150 322 11550 | 6050 4344 47 | 0.004 % | c | 213490 | 150 322 11550 | 6655 4569 47 | 0.004 % | c | 213827 | 150 322 11550 | 7320 4906 47 | 0.004 % | c | 214333 | 150 322 11550 | 8052 5412 47 | 0.004 % | c | 215093 | 150 322 11550 | 8857 6172 47 | 0.004 % | c | 216232 | 150 322 11550 | 9743 7311 47 | 0.004 % | c | 217940 | 150 322 11550 | 10717 9019 47 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 30.5504 s Remaining CPU time: 149.45 s c =============================================================================== c | 220400 | 150 323 11700 | 5000 6096 46 | 0.004 % | c | 220500 | 150 323 11700 | 5500 3148 46 | 0.004 % | c | 220650 | 150 323 11700 | 6050 3298 46 | 0.004 % | c | 220875 | 150 323 11700 | 6655 3523 46 | 0.004 % | c | 221212 | 150 323 11700 | 7320 3860 46 | 0.004 % | c | 221719 | 150 323 11700 | 8052 4367 46 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 30.7393 s Remaining CPU time: 149.261 s c =============================================================================== c | 222339 | 150 324 11850 | 5000 4987 46 | 0.004 % | c | 222439 | 150 324 11850 | 5500 2561 45 | 0.005 % | c | 222589 | 150 324 11850 | 6050 2711 45 | 0.004 % | c | 222814 | 150 324 11850 | 6655 2936 45 | 0.004 % | c | 223151 | 150 324 11850 | 7320 3273 45 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 30.8473 s Remaining CPU time: 149.153 s c =============================================================================== c | 223342 | 150 325 12000 | 5000 3464 45 | 0.004 % | c | 223443 | 150 325 12000 | 5500 3565 45 | 0.004 % | c | 223593 | 150 325 12000 | 6050 3715 45 | 0.004 % | c | 223818 | 150 325 12000 | 6655 3940 45 | 0.004 % | c | 224156 | 150 325 12000 | 7320 4278 45 | 0.004 % | c | 224662 | 150 325 12000 | 8052 4784 44 | 0.004 % | c | 225421 | 150 325 12000 | 8857 5543 44 | 0.004 % | c | 226560 | 150 325 12000 | 9743 6682 44 | 0.004 % | c | 228268 | 150 325 12000 | 10717 8390 44 | 0.004 % | c | 230830 | 150 325 12000 | 11789 5569 43 | 0.004 % | c | 234675 | 150 325 12000 | 12968 9414 43 | 0.004 % | c | 240441 | 150 325 12000 | 14265 8670 43 | 0.004 % | c | 249090 | 150 325 12000 | 15692 10158 43 | 0.004 % | c | 262065 | 150 325 12000 | 17261 15256 43 | 0.004 % | c | 281526 | 150 325 12000 | 18987 8742 43 | 0.004 % | c | 310718 | 150 325 12000 | 20886 18897 43 | 0.004 % | c | 354508 | 150 325 12000 | 22974 20805 43 | 0.004 % | c | 420193 | 150 325 12000 | 25272 11801 43 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 68.0307 s Remaining CPU time: 111.969 s c =============================================================================== c | 463043 | 150 326 12150 | 5000 10680 43 | 0.004 % | c | 463143 | 150 326 12150 | 5500 2770 43 | 0.004 % | c | 463294 | 150 326 12150 | 6050 2921 43 | 0.004 % | c | 463520 | 150 326 12150 | 6655 3147 43 | 0.004 % | c | 463857 | 150 326 12150 | 7320 3484 43 | 0.004 % | c | 464363 | 150 326 12150 | 8052 3990 43 | 0.004 % | c | 465122 | 150 326 12150 | 8857 4749 43 | 0.004 % | c | 466262 | 150 326 12150 | 9743 5889 43 | 0.004 % | c | 467971 | 150 326 12150 | 10717 7598 42 | 0.004 % | c | 470535 | 150 326 12150 | 11789 10162 42 | 0.004 % | c | 474379 | 150 326 12150 | 12968 8086 42 | 0.005 % | c | 480146 | 150 326 12150 | 14265 7344 42 | 0.004 % | c | 488795 | 150 326 12150 | 15692 8835 42 | 0.004 % | c | 501770 | 150 326 12150 | 17261 13938 42 | 0.005 % | c | 521231 | 150 326 12150 | 18987 16084 42 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 78.0141 s Remaining CPU time: 101.986 s c =============================================================================== c | 537612 | 150 327 12300 | 5000 13424 42 | 0.004 % | c | 537712 | 150 327 12300 | 5500 3456 42 | 0.004 % | c | 537863 | 150 327 12300 | 6050 3607 42 | 0.004 % | c | 538089 | 150 327 12300 | 6655 3833 42 | 0.004 % | c | 538427 | 150 327 12300 | 7320 4171 42 | 0.004 % | c | 538934 | 150 327 12300 | 8052 4678 42 | 0.004 % | c | 539695 | 150 327 12300 | 8857 5439 42 | 0.004 % | c | 540836 | 150 327 12300 | 9743 6580 42 | 0.004 % | c | 542544 | 150 327 12300 | 10717 8288 42 | 0.004 % | c | 545106 | 150 327 12300 | 11789 5462 41 | 0.004 % | c | 548950 | 150 327 12300 | 12968 9306 41 | 0.004 % | c | 554716 | 150 327 12300 | 14265 8564 41 | 0.004 % | c | 563365 | 150 327 12300 | 15692 10056 41 | 0.004 % | c | 576339 | 150 327 12300 | 17261 15154 41 | 0.004 % | c | 595800 | 150 327 12300 | 18987 17306 41 | 0.004 % | c | 624992 | 150 327 12300 | 20886 17935 41 | 0.004 % | c | 668782 | 150 327 12300 | 22974 19760 41 | 0.004 % | c | 734466 | 150 327 12300 | 25272 10666 41 | 0.004 % | c | 832992 | 150 327 12300 | 27799 21296 41 | 0.005 % | c | 980781 | 150 327 12300 | 30579 15396 41 | 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 | 156 503 6142 | 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 | 189 504 6972 | 5000 0 nan | 0.000 % | c =============================================================================== c Total CPU time: 181.732 s