c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 703 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 619 | c | Number Clauses: 703 | 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 | 591 731 2751 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 591 732 3090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 591 733 3429 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 591 734 3768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 591 735 4107 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 591 736 4446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 591 737 4785 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 591 738 5124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 591 739 5463 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 591 740 5802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 591 741 6141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 591 742 6480 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 591 743 6819 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 591 744 7158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 591 745 7497 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 591 746 7836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 591 747 8175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 591 748 8514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 591 749 8853 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 591 750 9192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 591 751 9531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 591 752 9870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 591 753 10209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 591 754 10548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 591 755 10887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 591 756 11226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 591 757 11565 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 591 758 11904 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 591 759 12243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 591 760 12582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 591 761 12921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 591 762 13260 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 591 763 13599 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 591 764 13938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 591 765 14277 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 591 766 14616 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 591 767 14955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 591 768 15294 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 591 769 15633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 591 770 15972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 591 771 16311 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 591 772 16650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 591 773 16989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 591 774 17328 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 591 775 17667 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 591 776 18006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 591 777 18345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 591 778 18684 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 591 779 19023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 591 780 19362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 591 781 19701 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 591 782 20040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 591 783 20379 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 591 784 20718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 591 785 21057 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 591 786 21396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 591 787 21735 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 591 788 22074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 591 789 22413 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 591 790 22752 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 591 791 23091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 591 792 23430 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 591 793 23769 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 591 794 24108 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 591 795 24447 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 591 796 24786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 591 797 25125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 591 798 25464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 591 799 25803 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 591 800 26142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 591 801 26481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 591 802 26820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 591 803 27159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 591 804 27498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 591 805 27837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 591 806 28176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 591 807 28515 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 591 808 28854 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 0 | 591 809 29193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 591 810 29532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 591 811 29871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 591 812 30210 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 591 813 30549 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 591 814 30888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 591 815 31227 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 591 816 31566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 591 817 31905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 0 | 591 818 32244 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 591 819 32583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 591 820 32922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 591 821 33261 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 591 822 33600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 591 823 33939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 591 824 34278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 0 | 591 825 34617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 591 826 34956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 0 | 591 827 35295 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 0 | 591 828 35634 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 0 | 591 829 35973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 591 830 36312 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 591 831 36651 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 591 832 36990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 591 833 37329 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 591 834 37668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 591 835 38007 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 591 836 38346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 0 | 591 837 38685 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 591 838 39024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 591 839 39363 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 591 840 39702 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 0 | 591 841 40041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 591 842 40380 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 591 843 40719 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 591 844 41058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 0 | 591 845 41397 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 591 846 41736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 0 | 591 847 42075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 0 | 591 848 42414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 0 | 591 849 42753 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 0 | 591 850 43092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 0 | 591 851 43431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 591 852 43770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 1 | 591 853 44109 | 5000 1 226 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 1 | 591 854 44448 | 5000 1 226 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 1 | 591 855 44787 | 5000 1 226 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 1 | 591 856 45126 | 5000 1 226 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 1 | 591 857 45465 | 5000 1 226 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 6 | 591 858 45804 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 6 | 591 859 46143 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 6 | 591 860 46482 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 6 | 591 861 46821 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 6 | 591 862 47160 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 6 | 591 863 47499 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 6 | 591 864 47838 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 6 | 591 865 48177 | 5000 6 44 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 7 | 591 866 48516 | 5000 7 38 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 7 | 591 867 48855 | 5000 7 38 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 7 | 591 868 49194 | 5000 7 38 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 8 | 591 869 49533 | 5000 8 34 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 8 | 591 870 49872 | 5000 8 34 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 9 | 591 871 50211 | 5000 9 31 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 9 | 591 872 50550 | 5000 9 31 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 9 | 591 873 50889 | 5000 9 31 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 9 | 591 874 51228 | 5000 9 31 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 11 | 591 875 51567 | 5000 11 62 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 11 | 591 876 51906 | 5000 11 62 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 11 | 591 877 52245 | 5000 11 62 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 11 | 591 878 52584 | 5000 11 62 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 11 | 591 879 52923 | 5000 11 62 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 11 | 591 880 53262 | 5000 11 62 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.621905 s Remaining CPU time: 179.378 s c =============================================================================== c | 11 | 591 881 53601 | 5000 11 62 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 12 | 591 882 53940 | 5000 12 57 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.638902 s Remaining CPU time: 179.361 s c =============================================================================== c | 13 | 591 883 54279 | 5000 13 53 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 14 | 591 884 54618 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 14 | 591 885 54957 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 14 | 591 886 55296 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 14 | 591 887 55635 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 14 | 591 888 55974 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 14 | 591 889 56313 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 14 | 591 890 56652 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 14 | 591 891 56991 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 14 | 591 892 57330 | 5000 14 49 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 15 | 591 893 57669 | 5000 15 46 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 15 | 591 894 58008 | 5000 15 46 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 15 | 591 895 58347 | 5000 15 46 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 15 | 591 896 58686 | 5000 15 46 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 15 | 591 897 59025 | 5000 15 46 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 18 | 591 898 59364 | 5000 18 39 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 18 | 591 899 59703 | 5000 18 39 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 18 | 591 900 60042 | 5000 18 39 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s c =============================================================================== c | 18 | 591 901 60381 | 5000 18 39 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s c =============================================================================== c | 18 | 591 902 60720 | 5000 18 39 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 18 | 591 903 61059 | 5000 18 39 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 19 | 591 904 61398 | 5000 19 37 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 19 | 591 905 61737 | 5000 19 37 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 19 | 591 906 62076 | 5000 19 37 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s c =============================================================================== c | 23 | 591 907 62415 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 23 | 591 908 62754 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 23 | 591 909 63093 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 23 | 591 910 63432 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 23 | 591 911 63771 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.905862 s Remaining CPU time: 179.094 s c =============================================================================== c | 23 | 591 912 64110 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 23 | 591 913 64449 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 23 | 591 914 64788 | 5000 23 32 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.938857 s Remaining CPU time: 179.061 s c =============================================================================== c | 25 | 591 915 65127 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 25 | 591 916 65466 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 25 | 591 917 65805 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 25 | 591 918 66144 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 25 | 591 919 66483 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 25 | 591 920 66822 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.998848 s Remaining CPU time: 179.001 s c =============================================================================== c | 25 | 591 921 67161 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s c =============================================================================== c | 25 | 591 922 67500 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 25 | 591 923 67839 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 1.02884 s Remaining CPU time: 178.971 s c =============================================================================== c | 25 | 591 924 68178 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 1.03984 s Remaining CPU time: 178.96 s c =============================================================================== c | 25 | 591 925 68517 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 25 | 591 926 68856 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 25 | 591 927 69195 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 25 | 591 928 69534 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 25 | 591 929 69873 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 25 | 591 930 70212 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s c =============================================================================== c | 25 | 591 931 70551 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 25 | 591 932 70890 | 5000 25 42 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 26 | 591 933 71229 | 5000 26 41 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 26 | 591 934 71568 | 5000 26 41 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 1.14783 s Remaining CPU time: 178.852 s c =============================================================================== c | 26 | 591 935 71907 | 5000 26 41 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 26 | 591 936 72246 | 5000 26 41 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.16982 s Remaining CPU time: 178.83 s c =============================================================================== c | 27 | 591 937 72585 | 5000 27 39 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 27 | 591 938 72924 | 5000 27 39 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 28 | 591 939 73263 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.20282 s Remaining CPU time: 178.797 s c =============================================================================== c | 28 | 591 940 73602 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 28 | 591 941 73941 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s c =============================================================================== c | 28 | 591 942 74280 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 1.23481 s Remaining CPU time: 178.765 s c =============================================================================== c | 28 | 591 943 74619 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 28 | 591 944 74958 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 1.25581 s Remaining CPU time: 178.744 s c =============================================================================== c | 28 | 591 945 75297 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 28 | 591 946 75636 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.2768 s Remaining CPU time: 178.723 s c =============================================================================== c | 28 | 591 947 75975 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.2878 s Remaining CPU time: 178.712 s c =============================================================================== c | 28 | 591 948 76314 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.2978 s Remaining CPU time: 178.702 s c =============================================================================== c | 28 | 591 949 76653 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 28 | 591 950 76992 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.3188 s Remaining CPU time: 178.681 s c =============================================================================== c | 28 | 591 951 77331 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.3298 s Remaining CPU time: 178.67 s c =============================================================================== c | 28 | 591 952 77670 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 28 | 591 953 78009 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 28 | 591 954 78348 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s c =============================================================================== c | 28 | 591 955 78687 | 5000 28 38 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.36879 s Remaining CPU time: 178.631 s c =============================================================================== c | 29 | 591 956 79026 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.37879 s Remaining CPU time: 178.621 s c =============================================================================== c | 29 | 591 957 79365 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.38879 s Remaining CPU time: 178.611 s c =============================================================================== c | 29 | 591 958 79704 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 29 | 591 959 80043 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 29 | 591 960 80382 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 29 | 591 961 80721 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 1.42978 s Remaining CPU time: 178.57 s c =============================================================================== c | 29 | 591 962 81060 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 29 | 591 963 81399 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 29 | 591 964 81738 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.45878 s Remaining CPU time: 178.541 s c =============================================================================== c | 29 | 591 965 82077 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 29 | 591 966 82416 | 5000 29 41 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 1.47877 s Remaining CPU time: 178.521 s c =============================================================================== c | 30 | 591 967 82755 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 1.48777 s Remaining CPU time: 178.512 s c =============================================================================== c | 30 | 591 968 83094 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 30 | 591 969 83433 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 1.50777 s Remaining CPU time: 178.492 s c =============================================================================== c | 30 | 591 970 83772 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 30 | 591 971 84111 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 30 | 591 972 84450 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 1.53877 s Remaining CPU time: 178.461 s c =============================================================================== c | 30 | 591 973 84789 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 1.54876 s Remaining CPU time: 178.451 s c =============================================================================== c | 30 | 591 974 85128 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s c =============================================================================== c | 30 | 591 975 85467 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 30 | 591 976 85806 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 1.57876 s Remaining CPU time: 178.421 s c =============================================================================== c | 30 | 591 977 86145 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 1.58876 s Remaining CPU time: 178.411 s c =============================================================================== c | 30 | 591 978 86484 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 30 | 591 979 86823 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 1.60776 s Remaining CPU time: 178.392 s c =============================================================================== c | 30 | 591 980 87162 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 1.61675 s Remaining CPU time: 178.383 s c =============================================================================== c | 30 | 591 981 87501 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 1.62575 s Remaining CPU time: 178.374 s c =============================================================================== c | 30 | 591 982 87840 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 1.63575 s Remaining CPU time: 178.364 s c =============================================================================== c | 30 | 591 983 88179 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 1.64575 s Remaining CPU time: 178.354 s c =============================================================================== c | 30 | 591 984 88518 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 30 | 591 985 88857 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 30 | 591 986 89196 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 1.67274 s Remaining CPU time: 178.327 s c =============================================================================== c | 30 | 591 987 89535 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 30 | 591 988 89874 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s c =============================================================================== c | 30 | 591 989 90213 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 30 | 591 990 90552 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 1.71174 s Remaining CPU time: 178.288 s c =============================================================================== c | 30 | 591 991 90891 | 5000 30 43 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 1.72074 s Remaining CPU time: 178.279 s c =============================================================================== c | 31 | 591 992 91230 | 5000 31 42 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 31 | 591 993 91569 | 5000 31 42 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 1.73874 s Remaining CPU time: 178.261 s c =============================================================================== c | 31 | 591 994 91908 | 5000 31 42 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 31 | 591 995 92247 | 5000 31 42 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 31 | 591 996 92586 | 5000 31 42 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 1.76673 s Remaining CPU time: 178.233 s c =============================================================================== c | 32 | 591 997 92925 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 1.77573 s Remaining CPU time: 178.224 s c =============================================================================== c | 32 | 591 998 93264 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s c =============================================================================== c | 32 | 591 999 93603 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s c =============================================================================== c | 32 | 591 1000 93942 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 32 | 591 1001 94281 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.81072 s Remaining CPU time: 178.189 s c =============================================================================== c | 32 | 591 1002 94620 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.81972 s Remaining CPU time: 178.18 s c =============================================================================== c | 32 | 591 1003 94959 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.82772 s Remaining CPU time: 178.172 s c =============================================================================== c | 32 | 591 1004 95298 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 32 | 591 1005 95637 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.84472 s Remaining CPU time: 178.155 s c =============================================================================== c | 32 | 591 1006 95976 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.85372 s Remaining CPU time: 178.146 s c =============================================================================== c | 32 | 591 1007 96315 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.86172 s Remaining CPU time: 178.138 s c =============================================================================== c | 32 | 591 1008 96654 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.87072 s Remaining CPU time: 178.129 s c =============================================================================== c | 32 | 591 1009 96993 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.87871 s Remaining CPU time: 178.121 s c =============================================================================== c | 32 | 591 1010 97332 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.88771 s Remaining CPU time: 178.112 s c =============================================================================== c | 32 | 591 1011 97671 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 32 | 591 1012 98010 | 5000 32 41 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.90371 s Remaining CPU time: 178.096 s c =============================================================================== c | 33 | 591 1013 98349 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.91171 s Remaining CPU time: 178.088 s c =============================================================================== c | 33 | 591 1014 98688 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 33 | 591 1015 99027 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.92771 s Remaining CPU time: 178.072 s c =============================================================================== c | 33 | 591 1016 99366 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s c =============================================================================== c | 33 | 591 1017 99705 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.9447 s Remaining CPU time: 178.055 s c =============================================================================== c | 33 | 591 1018 100044 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.9527 s Remaining CPU time: 178.047 s c =============================================================================== c | 33 | 591 1019 100383 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.9607 s Remaining CPU time: 178.039 s c =============================================================================== c | 33 | 591 1020 100722 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.9687 s Remaining CPU time: 178.031 s c =============================================================================== c | 33 | 591 1021 101061 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 33 | 591 1022 101400 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.9847 s Remaining CPU time: 178.015 s c =============================================================================== c | 33 | 591 1023 101739 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.9917 s Remaining CPU time: 178.008 s c =============================================================================== c | 33 | 591 1024 102078 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 33 | 591 1025 102417 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 2.00669 s Remaining CPU time: 177.993 s c =============================================================================== c | 33 | 591 1026 102756 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 2.01369 s Remaining CPU time: 177.986 s c =============================================================================== c | 33 | 591 1027 103095 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s c =============================================================================== c | 33 | 591 1028 103434 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 2.02769 s Remaining CPU time: 177.972 s c =============================================================================== c | 33 | 591 1029 103773 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 33 | 591 1030 104112 | 5000 33 40 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 2.04169 s Remaining CPU time: 177.958 s c =============================================================================== c | 37 | 591 1031 104451 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 37 | 591 1032 104790 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 2.05569 s Remaining CPU time: 177.944 s c =============================================================================== c | 37 | 591 1033 105129 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 37 | 591 1034 105468 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 2.06968 s Remaining CPU time: 177.93 s c =============================================================================== c | 37 | 591 1035 105807 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 37 | 591 1036 106146 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s c =============================================================================== c | 37 | 591 1037 106485 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 37 | 591 1038 106824 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 37 | 591 1039 107163 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 37 | 591 1040 107502 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 37 | 591 1041 107841 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 2.11668 s Remaining CPU time: 177.883 s c =============================================================================== c | 37 | 591 1042 108180 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 37 | 591 1043 108519 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 2.12968 s Remaining CPU time: 177.87 s c =============================================================================== c | 37 | 591 1044 108858 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 2.13468 s Remaining CPU time: 177.865 s c =============================================================================== c | 37 | 591 1045 109197 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 2.14167 s Remaining CPU time: 177.858 s c =============================================================================== c | 37 | 591 1046 109536 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 37 | 591 1047 109875 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 2.15567 s Remaining CPU time: 177.844 s c =============================================================================== c | 37 | 591 1048 110214 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 2.16167 s Remaining CPU time: 177.838 s c =============================================================================== c | 37 | 591 1049 110553 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 37 | 591 1050 110892 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 37 | 591 1051 111231 | 5000 37 36 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 2.17967 s Remaining CPU time: 177.82 s c =============================================================================== c | 38 | 591 1052 111570 | 5000 38 35 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 2.18467 s Remaining CPU time: 177.815 s c =============================================================================== c | 38 | 591 1053 111909 | 5000 38 35 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 2.19067 s Remaining CPU time: 177.809 s c =============================================================================== c | 38 | 591 1054 112248 | 5000 38 35 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 2.19667 s Remaining CPU time: 177.803 s c =============================================================================== c | 38 | 591 1055 112587 | 5000 38 35 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 38 | 591 1056 112926 | 5000 38 35 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s c =============================================================================== c | 38 | 591 1057 113265 | 5000 38 35 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s c =============================================================================== c | 40 | 591 1058 113604 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 2.21566 s Remaining CPU time: 177.784 s c =============================================================================== c | 40 | 591 1059 113943 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 2.22066 s Remaining CPU time: 177.779 s c =============================================================================== c | 40 | 591 1060 114282 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 2.22566 s Remaining CPU time: 177.774 s c =============================================================================== c | 40 | 591 1061 114621 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 40 | 591 1062 114960 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s c =============================================================================== c | 40 | 591 1063 115299 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s c =============================================================================== c | 40 | 591 1064 115638 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 2.24266 s Remaining CPU time: 177.757 s c =============================================================================== c | 40 | 591 1065 115977 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 2.24666 s Remaining CPU time: 177.753 s c =============================================================================== c | 40 | 591 1066 116316 | 5000 40 34 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 41 | 591 1067 116655 | 5000 41 33 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s c =============================================================================== c | 41 | 591 1068 116994 | 5000 41 33 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 2.25866 s Remaining CPU time: 177.741 s c =============================================================================== c | 41 | 591 1069 117333 | 5000 41 33 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.26266 s Remaining CPU time: 177.737 s c =============================================================================== c | 41 | 591 1070 117672 | 5000 41 33 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.26666 s Remaining CPU time: 177.733 s c =============================================================================== c =============================================================================== c Total CPU time: 2.26666 s