c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 715 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 631 | c | Number Clauses: 715 | 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 | 603 743 2835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 603 744 3186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 603 745 3537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 603 746 3888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 603 747 4239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 603 748 4590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 603 749 4941 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 603 750 5292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 603 751 5643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 603 752 5994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 603 753 6345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 603 754 6696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 603 755 7047 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 603 756 7398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 603 757 7749 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 603 758 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 603 759 8451 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 603 760 8802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 603 761 9153 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 603 762 9504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 603 763 9855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 603 764 10206 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 603 765 10557 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 603 766 10908 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 603 767 11259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 603 768 11610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 603 769 11961 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 603 770 12312 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 603 771 12663 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 603 772 13014 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 603 773 13365 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 603 774 13716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 603 775 14067 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 603 776 14418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 603 777 14769 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 603 778 15120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 603 779 15471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 603 780 15822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 603 781 16173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 603 782 16524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 603 783 16875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 603 784 17226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 603 785 17577 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 603 786 17928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 603 787 18279 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 603 788 18630 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 603 789 18981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 603 790 19332 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 603 791 19683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 603 792 20034 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 603 793 20385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 603 794 20736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 603 795 21087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 603 796 21438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 603 797 21789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 603 798 22140 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 603 799 22491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 603 800 22842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 603 801 23193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 603 802 23544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 603 803 23895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 603 804 24246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 603 805 24597 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 603 806 24948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 603 807 25299 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 603 808 25650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 603 809 26001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 603 810 26352 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 603 811 26703 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 603 812 27054 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 603 813 27405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 603 814 27756 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 603 815 28107 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 603 816 28458 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 603 817 28809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 603 818 29160 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 603 819 29511 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 603 820 29862 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 603 821 30213 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 603 822 30564 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 603 823 30915 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 603 824 31266 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 603 825 31617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 0 | 603 826 31968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 603 827 32319 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 603 828 32670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 603 829 33021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 0 | 603 830 33372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 603 831 33723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 603 832 34074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 603 833 34425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 0 | 603 834 34776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 0 | 603 835 35127 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 0 | 603 836 35478 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 603 837 35829 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 0 | 603 838 36180 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 603 839 36531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 603 840 36882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 603 841 37233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 603 842 37584 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 603 843 37935 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 603 844 38286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 603 845 38637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 603 846 38988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 603 847 39339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 603 848 39690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 603 849 40041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 603 850 40392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 603 851 40743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 0 | 603 852 41094 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 603 853 41445 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 603 854 41796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 0 | 603 855 42147 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 603 856 42498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 0 | 603 857 42849 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 0 | 603 858 43200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 603 859 43551 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 603 860 43902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 0 | 603 861 44253 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 0 | 603 862 44604 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 603 863 44955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 0 | 603 864 45306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 2 | 603 865 45657 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 2 | 603 866 46008 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 2 | 603 867 46359 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 2 | 603 868 46710 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 2 | 603 869 47061 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 2 | 603 870 47412 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 2 | 603 871 47763 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 2 | 603 872 48114 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 2 | 603 873 48465 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 2 | 603 874 48816 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 2 | 603 875 49167 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 2 | 603 876 49518 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 2 | 603 877 49869 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 2 | 603 878 50220 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 2 | 603 879 50571 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 2 | 603 880 50922 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 2 | 603 881 51273 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 2 | 603 882 51624 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 2 | 603 883 51975 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 2 | 603 884 52326 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 2 | 603 885 52677 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 2 | 603 886 53028 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 2 | 603 887 53379 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 2 | 603 888 53730 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 2 | 603 889 54081 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 2 | 603 890 54432 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 2 | 603 891 54783 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 2 | 603 892 55134 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 2 | 603 893 55485 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 2 | 603 894 55836 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 2 | 603 895 56187 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 2 | 603 896 56538 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 2 | 603 897 56889 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 2 | 603 898 57240 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 2 | 603 899 57591 | 5000 2 6 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 3 | 603 900 57942 | 5000 3 71 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 4 | 603 901 58293 | 5000 4 54 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 5 | 603 902 58644 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 5 | 603 903 58995 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 5 | 603 904 59346 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 5 | 603 905 59697 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 5 | 603 906 60048 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 5 | 603 907 60399 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 5 | 603 908 60750 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 5 | 603 909 61101 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 5 | 603 910 61452 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 5 | 603 911 61803 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 5 | 603 912 62154 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 5 | 603 913 62505 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 5 | 603 914 62856 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 5 | 603 915 63207 | 5000 5 45 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 6 | 603 916 63558 | 5000 6 38 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 6 | 603 917 63909 | 5000 6 38 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s c =============================================================================== c | 6 | 603 918 64260 | 5000 6 38 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 6 | 603 919 64611 | 5000 6 38 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s c =============================================================================== c | 6 | 603 920 64962 | 5000 6 38 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 7 | 603 921 65313 | 5000 7 33 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 7 | 603 922 65664 | 5000 7 33 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 7 | 603 923 66015 | 5000 7 33 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 7 | 603 924 66366 | 5000 7 33 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.869867 s Remaining CPU time: 179.13 s c =============================================================================== c | 7 | 603 925 66717 | 5000 7 33 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 7 | 603 926 67068 | 5000 7 33 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 8 | 603 927 67419 | 5000 8 30 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 8 | 603 928 67770 | 5000 8 30 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 8 | 603 929 68121 | 5000 8 30 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 8 | 603 930 68472 | 5000 8 30 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 9 | 603 931 68823 | 5000 9 27 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 9 | 603 932 69174 | 5000 9 27 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 9 | 603 933 69525 | 5000 9 27 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 9 | 603 934 69876 | 5000 9 27 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s c =============================================================================== c | 9 | 603 935 70227 | 5000 9 27 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.971852 s Remaining CPU time: 179.028 s c =============================================================================== c | 9 | 603 936 70578 | 5000 9 27 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 11 | 603 937 70929 | 5000 11 23 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 13 | 603 938 71280 | 5000 13 20 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 13 | 603 939 71631 | 5000 13 20 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 13 | 603 940 71982 | 5000 13 20 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 13 | 603 941 72333 | 5000 13 20 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 1.02884 s Remaining CPU time: 178.971 s c =============================================================================== c | 13 | 603 942 72684 | 5000 13 20 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 13 | 603 943 73035 | 5000 13 20 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 13 | 603 944 73386 | 5000 13 20 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s c =============================================================================== c | 16 | 603 945 73737 | 5000 16 18 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 16 | 603 946 74088 | 5000 16 18 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 17 | 603 947 74439 | 5000 17 17 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s c =============================================================================== c | 17 | 603 948 74790 | 5000 17 17 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 1.09583 s Remaining CPU time: 178.904 s c =============================================================================== c | 17 | 603 949 75141 | 5000 17 17 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 17 | 603 950 75492 | 5000 17 17 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s c =============================================================================== c | 18 | 603 951 75843 | 5000 18 16 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 18 | 603 952 76194 | 5000 18 16 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 18 | 603 953 76545 | 5000 18 16 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 18 | 603 954 76896 | 5000 18 16 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 1.15482 s Remaining CPU time: 178.845 s c =============================================================================== c | 18 | 603 955 77247 | 5000 18 16 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 1.16382 s Remaining CPU time: 178.836 s c =============================================================================== c | 19 | 603 956 77598 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 19 | 603 957 77949 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 19 | 603 958 78300 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 1.19282 s Remaining CPU time: 178.807 s c =============================================================================== c | 19 | 603 959 78651 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 1.20282 s Remaining CPU time: 178.797 s c =============================================================================== c | 19 | 603 960 79002 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.21281 s Remaining CPU time: 178.787 s c =============================================================================== c | 19 | 603 961 79353 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 19 | 603 962 79704 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 1.23281 s Remaining CPU time: 178.767 s c =============================================================================== c | 19 | 603 963 80055 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.24281 s Remaining CPU time: 178.757 s c =============================================================================== c | 19 | 603 964 80406 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 19 | 603 965 80757 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 19 | 603 966 81108 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s c =============================================================================== c | 19 | 603 967 81459 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 19 | 603 968 81810 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 19 | 603 969 82161 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.3018 s Remaining CPU time: 178.698 s c =============================================================================== c | 19 | 603 970 82512 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 19 | 603 971 82863 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 19 | 603 972 83214 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 19 | 603 973 83565 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 19 | 603 974 83916 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 19 | 603 975 84267 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 19 | 603 976 84618 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.36879 s Remaining CPU time: 178.631 s c =============================================================================== c | 19 | 603 977 84969 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 1.37879 s Remaining CPU time: 178.621 s c =============================================================================== c | 19 | 603 978 85320 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.38679 s Remaining CPU time: 178.613 s c =============================================================================== c | 19 | 603 979 85671 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.39679 s Remaining CPU time: 178.603 s c =============================================================================== c | 19 | 603 980 86022 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s c =============================================================================== c | 19 | 603 981 86373 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.41578 s Remaining CPU time: 178.584 s c =============================================================================== c | 19 | 603 982 86724 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s c =============================================================================== c | 19 | 603 983 87075 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 19 | 603 984 87426 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 19 | 603 985 87777 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s c =============================================================================== c | 19 | 603 986 88128 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.46378 s Remaining CPU time: 178.536 s c =============================================================================== c | 19 | 603 987 88479 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 19 | 603 988 88830 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.48277 s Remaining CPU time: 178.517 s c =============================================================================== c | 19 | 603 989 89181 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.49277 s Remaining CPU time: 178.507 s c =============================================================================== c | 19 | 603 990 89532 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 19 | 603 991 89883 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 1.51077 s Remaining CPU time: 178.489 s c =============================================================================== c | 19 | 603 992 90234 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 19 | 603 993 90585 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 19 | 603 994 90936 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 1.53877 s Remaining CPU time: 178.461 s c =============================================================================== c | 19 | 603 995 91287 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 1.54876 s Remaining CPU time: 178.451 s c =============================================================================== c | 19 | 603 996 91638 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s c =============================================================================== c | 19 | 603 997 91989 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 19 | 603 998 92340 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 1.57776 s Remaining CPU time: 178.422 s c =============================================================================== c | 19 | 603 999 92691 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 19 | 603 1000 93042 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 1.59676 s Remaining CPU time: 178.403 s c =============================================================================== c | 19 | 603 1001 93393 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 19 | 603 1002 93744 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 19 | 603 1003 94095 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 1.62475 s Remaining CPU time: 178.375 s c =============================================================================== c | 19 | 603 1004 94446 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 1.63375 s Remaining CPU time: 178.366 s c =============================================================================== c | 19 | 603 1005 94797 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 19 | 603 1006 95148 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 1.65175 s Remaining CPU time: 178.348 s c =============================================================================== c | 19 | 603 1007 95499 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 1.65975 s Remaining CPU time: 178.34 s c =============================================================================== c | 19 | 603 1008 95850 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 1.66875 s Remaining CPU time: 178.331 s c =============================================================================== c | 19 | 603 1009 96201 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 1.67774 s Remaining CPU time: 178.322 s c =============================================================================== c | 19 | 603 1010 96552 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 1.68674 s Remaining CPU time: 178.313 s c =============================================================================== c | 19 | 603 1011 96903 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s c =============================================================================== c | 19 | 603 1012 97254 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 1.70474 s Remaining CPU time: 178.295 s c =============================================================================== c | 19 | 603 1013 97605 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 19 | 603 1014 97956 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 1.72274 s Remaining CPU time: 178.277 s c =============================================================================== c | 19 | 603 1015 98307 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 19 | 603 1016 98658 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 1.74073 s Remaining CPU time: 178.259 s c =============================================================================== c | 19 | 603 1017 99009 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s c =============================================================================== c | 19 | 603 1018 99360 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 1.75773 s Remaining CPU time: 178.242 s c =============================================================================== c | 19 | 603 1019 99711 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 1.76673 s Remaining CPU time: 178.233 s c =============================================================================== c | 19 | 603 1020 100062 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 19 | 603 1021 100413 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s c =============================================================================== c | 19 | 603 1022 100764 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 19 | 603 1023 101115 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.79973 s Remaining CPU time: 178.2 s c =============================================================================== c | 19 | 603 1024 101466 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.80872 s Remaining CPU time: 178.191 s c =============================================================================== c | 19 | 603 1025 101817 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.81672 s Remaining CPU time: 178.183 s c =============================================================================== c | 19 | 603 1026 102168 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.82572 s Remaining CPU time: 178.174 s c =============================================================================== c | 19 | 603 1027 102519 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.83372 s Remaining CPU time: 178.166 s c =============================================================================== c | 19 | 603 1028 102870 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 19 | 603 1029 103221 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 19 | 603 1030 103572 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.85872 s Remaining CPU time: 178.141 s c =============================================================================== c | 19 | 603 1031 103923 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 19 | 603 1032 104274 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 19 | 603 1033 104625 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.88371 s Remaining CPU time: 178.116 s c =============================================================================== c | 19 | 603 1034 104976 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.89171 s Remaining CPU time: 178.108 s c =============================================================================== c | 19 | 603 1035 105327 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 19 | 603 1036 105678 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.90771 s Remaining CPU time: 178.092 s c =============================================================================== c | 19 | 603 1037 106029 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.91571 s Remaining CPU time: 178.084 s c =============================================================================== c | 19 | 603 1038 106380 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 19 | 603 1039 106731 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 19 | 603 1040 107082 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 19 | 603 1041 107433 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.9467 s Remaining CPU time: 178.053 s c =============================================================================== c | 19 | 603 1042 107784 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.9537 s Remaining CPU time: 178.046 s c =============================================================================== c | 19 | 603 1043 108135 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 19 | 603 1044 108486 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.9697 s Remaining CPU time: 178.03 s c =============================================================================== c | 19 | 603 1045 108837 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 19 | 603 1046 109188 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.9847 s Remaining CPU time: 178.015 s c =============================================================================== c | 19 | 603 1047 109539 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.9917 s Remaining CPU time: 178.008 s c =============================================================================== c | 19 | 603 1048 109890 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 19 | 603 1049 110241 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 2.00669 s Remaining CPU time: 177.993 s c =============================================================================== c | 19 | 603 1050 110592 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 2.01369 s Remaining CPU time: 177.986 s c =============================================================================== c | 19 | 603 1051 110943 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s c =============================================================================== c | 19 | 603 1052 111294 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 2.02769 s Remaining CPU time: 177.972 s c =============================================================================== c | 19 | 603 1053 111645 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 19 | 603 1054 111996 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 2.04169 s Remaining CPU time: 177.958 s c =============================================================================== c | 19 | 603 1055 112347 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 19 | 603 1056 112698 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 2.05469 s Remaining CPU time: 177.945 s c =============================================================================== c | 19 | 603 1057 113049 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 2.06169 s Remaining CPU time: 177.938 s c =============================================================================== c | 19 | 603 1058 113400 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 2.06968 s Remaining CPU time: 177.93 s c =============================================================================== c | 19 | 603 1059 113751 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 19 | 603 1060 114102 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s c =============================================================================== c | 19 | 603 1061 114453 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 2.08968 s Remaining CPU time: 177.91 s c =============================================================================== c | 19 | 603 1062 114804 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 19 | 603 1063 115155 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 19 | 603 1064 115506 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 19 | 603 1065 115857 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 2.11568 s Remaining CPU time: 177.884 s c =============================================================================== c | 19 | 603 1066 116208 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 2.12168 s Remaining CPU time: 177.878 s c =============================================================================== c | 19 | 603 1067 116559 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 2.12768 s Remaining CPU time: 177.872 s c =============================================================================== c | 19 | 603 1068 116910 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 2.13368 s Remaining CPU time: 177.866 s c =============================================================================== c | 19 | 603 1069 117261 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 2.13967 s Remaining CPU time: 177.86 s c =============================================================================== c | 19 | 603 1070 117612 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 2.14467 s Remaining CPU time: 177.855 s c =============================================================================== c | 19 | 603 1071 117963 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 2.15067 s Remaining CPU time: 177.849 s c =============================================================================== c | 19 | 603 1072 118314 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 2.15567 s Remaining CPU time: 177.844 s c =============================================================================== c | 19 | 603 1073 118665 | 5000 19 15 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 2.16167 s Remaining CPU time: 177.838 s c =============================================================================== c | 20 | 603 1074 119016 | 5000 20 16 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 25 | 603 1075 119367 | 5000 25 14 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 25 | 603 1076 119718 | 5000 25 14 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 2.17967 s Remaining CPU time: 177.82 s c =============================================================================== c | 25 | 603 1077 120069 | 5000 25 14 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 2.18467 s Remaining CPU time: 177.815 s c =============================================================================== c | 25 | 603 1078 120420 | 5000 25 14 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 2.19067 s Remaining CPU time: 177.809 s c =============================================================================== c | 25 | 603 1079 120771 | 5000 25 14 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 2.19567 s Remaining CPU time: 177.804 s c =============================================================================== c | 25 | 603 1080 121122 | 5000 25 14 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 25 | 603 1081 121473 | 5000 25 14 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 2.20466 s Remaining CPU time: 177.795 s c =============================================================================== c | 26 | 603 1082 121824 | 5000 26 14 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 2.20966 s Remaining CPU time: 177.79 s c =============================================================================== c | 26 | 603 1083 122175 | 5000 26 14 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 2.21466 s Remaining CPU time: 177.785 s c =============================================================================== c | 26 | 603 1084 122526 | 5000 26 14 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 26 | 603 1085 122877 | 5000 26 14 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 2.22466 s Remaining CPU time: 177.775 s c =============================================================================== c | 27 | 603 1086 123228 | 5000 27 13 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 2.22866 s Remaining CPU time: 177.771 s c =============================================================================== c | 27 | 603 1087 123579 | 5000 27 13 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s c =============================================================================== c | 27 | 603 1088 123930 | 5000 27 13 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s c =============================================================================== c | 27 | 603 1089 124281 | 5000 27 13 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 2.24266 s Remaining CPU time: 177.757 s c =============================================================================== c | 27 | 603 1090 124632 | 5000 27 13 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 2.24766 s Remaining CPU time: 177.752 s c =============================================================================== c | 28 | 603 1091 124983 | 5000 28 13 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 2.25166 s Remaining CPU time: 177.748 s c =============================================================================== c | 28 | 603 1092 125334 | 5000 28 13 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 2.25666 s Remaining CPU time: 177.743 s c =============================================================================== c | 33 | 603 1093 125685 | 5000 33 12 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.26066 s Remaining CPU time: 177.739 s c =============================================================================== c | 34 | 603 1094 126036 | 5000 34 12 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.26465 s Remaining CPU time: 177.735 s c =============================================================================== c =============================================================================== c Total CPU time: 2.26465 s