c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 713 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 629 | c | Number Clauses: 713 | 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 | 601 741 2821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 601 742 3170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 601 743 3519 | 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 | 601 744 3868 | 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 | 601 745 4217 | 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 | 601 746 4566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 601 747 4915 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 601 748 5264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 601 749 5613 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 601 750 5962 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 601 751 6311 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 601 752 6660 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 601 753 7009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 601 754 7358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 601 755 7707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 601 756 8056 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 601 757 8405 | 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 | 601 758 8754 | 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 | 601 759 9103 | 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 | 601 760 9452 | 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 | 601 761 9801 | 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 | 601 762 10150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 601 763 10499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 601 764 10848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 601 765 11197 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 601 766 11546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 601 767 11895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 601 768 12244 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 601 769 12593 | 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 | 601 770 12942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 601 771 13291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 601 772 13640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 601 773 13989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 601 774 14338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 601 775 14687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 601 776 15036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 601 777 15385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 601 778 15734 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 601 779 16083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 601 780 16432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 601 781 16781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 601 782 17130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 601 783 17479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 601 784 17828 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 601 785 18177 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 601 786 18526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 601 787 18875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 601 788 19224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 601 789 19573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 601 790 19922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 601 791 20271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 601 792 20620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 601 793 20969 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 601 794 21318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 601 795 21667 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 601 796 22016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 601 797 22365 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 601 798 22714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 601 799 23063 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 601 800 23412 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 601 801 23761 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 601 802 24110 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 601 803 24459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 601 804 24808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 601 805 25157 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 601 806 25506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 601 807 25855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 601 808 26204 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 601 809 26553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 601 810 26902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 601 811 27251 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 601 812 27600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 601 813 27949 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 601 814 28298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 601 815 28647 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 601 816 28996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 601 817 29345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 601 818 29694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 601 819 30043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 601 820 30392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 601 821 30741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 601 822 31090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 601 823 31439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 601 824 31788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 601 825 32137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 601 826 32486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 601 827 32835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 601 828 33184 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 0 | 601 829 33533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 0 | 601 830 33882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 601 831 34231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 601 832 34580 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 601 833 34929 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 601 834 35278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 0 | 601 835 35627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 0 | 601 836 35976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 0 | 601 837 36325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 601 838 36674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 0 | 601 839 37023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 0 | 601 840 37372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 601 841 37721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 601 842 38070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 0 | 601 843 38419 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 601 844 38768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 601 845 39117 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 0 | 601 846 39466 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 601 847 39815 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 0 | 601 848 40164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 0 | 601 849 40513 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 601 850 40862 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 601 851 41211 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 0 | 601 852 41560 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 601 853 41909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 601 854 42258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 601 855 42607 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 601 856 42956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 601 857 43305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 601 858 43654 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 601 859 44003 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 601 860 44352 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 0 | 601 861 44701 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 601 862 45050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 0 | 601 863 45399 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 601 864 45748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 1 | 601 865 46097 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 1 | 601 866 46446 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 1 | 601 867 46795 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 1 | 601 868 47144 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 1 | 601 869 47493 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 1 | 601 870 47842 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 1 | 601 871 48191 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 1 | 601 872 48540 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 1 | 601 873 48889 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 1 | 601 874 49238 | 5000 1 236 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 2 | 601 875 49587 | 5000 2 120 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 2 | 601 876 49936 | 5000 2 120 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 4 | 601 877 50285 | 5000 4 62 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 4 | 601 878 50634 | 5000 4 62 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 6 | 601 879 50983 | 5000 6 43 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 6 | 601 880 51332 | 5000 6 43 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 7 | 601 881 51681 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 7 | 601 882 52030 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 7 | 601 883 52379 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 7 | 601 884 52728 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 7 | 601 885 53077 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 7 | 601 886 53426 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 7 | 601 887 53775 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 7 | 601 888 54124 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 7 | 601 889 54473 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 7 | 601 890 54822 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 7 | 601 891 55171 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 7 | 601 892 55520 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 7 | 601 893 55869 | 5000 7 37 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 9 | 601 894 56218 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.638902 s Remaining CPU time: 179.361 s c =============================================================================== c | 10 | 601 895 56567 | 5000 10 28 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 10 | 601 896 56916 | 5000 10 28 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 10 | 601 897 57265 | 5000 10 28 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 10 | 601 898 57614 | 5000 10 28 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 10 | 601 899 57963 | 5000 10 28 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 10 | 601 900 58312 | 5000 10 28 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 10 | 601 901 58661 | 5000 10 28 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 11 | 601 902 59010 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 11 | 601 903 59359 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 11 | 601 904 59708 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s c =============================================================================== c | 12 | 601 905 60057 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 12 | 601 906 60406 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 12 | 601 907 60755 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 12 | 601 908 61104 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 12 | 601 909 61453 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s c =============================================================================== c | 12 | 601 910 61802 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 12 | 601 911 62151 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.793879 s Remaining CPU time: 179.206 s c =============================================================================== c | 12 | 601 912 62500 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 12 | 601 913 62849 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 12 | 601 914 63198 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 12 | 601 915 63547 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 12 | 601 916 63896 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 12 | 601 917 64245 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 12 | 601 918 64594 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 12 | 601 919 64943 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 13 | 601 920 65292 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 13 | 601 921 65641 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 13 | 601 922 65990 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s c =============================================================================== c | 13 | 601 923 66339 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 13 | 601 924 66688 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s c =============================================================================== c | 13 | 601 925 67037 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 13 | 601 926 67386 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 13 | 601 927 67735 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 13 | 601 928 68084 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s c =============================================================================== c | 13 | 601 929 68433 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 13 | 601 930 68782 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 13 | 601 931 69131 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 13 | 601 932 69480 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 13 | 601 933 69829 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 13 | 601 934 70178 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 13 | 601 935 70527 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 13 | 601 936 70876 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 13 | 601 937 71225 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 1.04884 s Remaining CPU time: 178.951 s c =============================================================================== c | 13 | 601 938 71574 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 1.05884 s Remaining CPU time: 178.941 s c =============================================================================== c | 13 | 601 939 71923 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 13 | 601 940 72272 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 13 | 601 941 72621 | 5000 13 22 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 14 | 601 942 72970 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 1.09783 s Remaining CPU time: 178.902 s c =============================================================================== c | 16 | 601 943 73319 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 16 | 601 944 73668 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 1.11783 s Remaining CPU time: 178.882 s c =============================================================================== c | 16 | 601 945 74017 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 1.12783 s Remaining CPU time: 178.872 s c =============================================================================== c | 16 | 601 946 74366 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 16 | 601 947 74715 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 1.14783 s Remaining CPU time: 178.852 s c =============================================================================== c | 16 | 601 948 75064 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 16 | 601 949 75413 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 1.16982 s Remaining CPU time: 178.83 s c =============================================================================== c | 16 | 601 950 75762 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 16 | 601 951 76111 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 1.18982 s Remaining CPU time: 178.81 s c =============================================================================== c | 16 | 601 952 76460 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 16 | 601 953 76809 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 1.20982 s Remaining CPU time: 178.79 s c =============================================================================== c | 16 | 601 954 77158 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 16 | 601 955 77507 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 16 | 601 956 77856 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 16 | 601 957 78205 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 16 | 601 958 78554 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 1.26381 s Remaining CPU time: 178.736 s c =============================================================================== c | 16 | 601 959 78903 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.27481 s Remaining CPU time: 178.725 s c =============================================================================== c | 16 | 601 960 79252 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 16 | 601 961 79601 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 16 | 601 962 79950 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 1.3068 s Remaining CPU time: 178.693 s c =============================================================================== c | 16 | 601 963 80299 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 16 | 601 964 80648 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 1.3288 s Remaining CPU time: 178.671 s c =============================================================================== c | 16 | 601 965 80997 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 16 | 601 966 81346 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 16 | 601 967 81695 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 16 | 601 968 82044 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.36979 s Remaining CPU time: 178.63 s c =============================================================================== c | 16 | 601 969 82393 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.38079 s Remaining CPU time: 178.619 s c =============================================================================== c | 16 | 601 970 82742 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.39179 s Remaining CPU time: 178.608 s c =============================================================================== c | 16 | 601 971 83091 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 16 | 601 972 83440 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 16 | 601 973 83789 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s c =============================================================================== c | 16 | 601 974 84138 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.43578 s Remaining CPU time: 178.564 s c =============================================================================== c | 16 | 601 975 84487 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.44678 s Remaining CPU time: 178.553 s c =============================================================================== c | 16 | 601 976 84836 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 16 | 601 977 85185 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 16 | 601 978 85534 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.47978 s Remaining CPU time: 178.52 s c =============================================================================== c | 16 | 601 979 85883 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 1.49277 s Remaining CPU time: 178.507 s c =============================================================================== c | 16 | 601 980 86232 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 1.50377 s Remaining CPU time: 178.496 s c =============================================================================== c | 16 | 601 981 86581 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 16 | 601 982 86930 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.52577 s Remaining CPU time: 178.474 s c =============================================================================== c | 16 | 601 983 87279 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.53577 s Remaining CPU time: 178.464 s c =============================================================================== c | 16 | 601 984 87628 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 16 | 601 985 87977 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 16 | 601 986 88326 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 16 | 601 987 88675 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 1.57976 s Remaining CPU time: 178.42 s c =============================================================================== c | 16 | 601 988 89024 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 1.58976 s Remaining CPU time: 178.41 s c =============================================================================== c | 16 | 601 989 89373 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 16 | 601 990 89722 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 1.61076 s Remaining CPU time: 178.389 s c =============================================================================== c | 16 | 601 991 90071 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s c =============================================================================== c | 16 | 601 992 90420 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 1.62975 s Remaining CPU time: 178.37 s c =============================================================================== c | 16 | 601 993 90769 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 16 | 601 994 91118 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 1.65075 s Remaining CPU time: 178.349 s c =============================================================================== c | 16 | 601 995 91467 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 1.66075 s Remaining CPU time: 178.339 s c =============================================================================== c | 16 | 601 996 91816 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 1.67175 s Remaining CPU time: 178.328 s c =============================================================================== c | 16 | 601 997 92165 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 1.68174 s Remaining CPU time: 178.318 s c =============================================================================== c | 16 | 601 998 92514 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 1.69174 s Remaining CPU time: 178.308 s c =============================================================================== c | 16 | 601 999 92863 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 16 | 601 1000 93212 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s c =============================================================================== c | 16 | 601 1001 93561 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 1.72074 s Remaining CPU time: 178.279 s c =============================================================================== c | 16 | 601 1002 93910 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 16 | 601 1003 94259 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s c =============================================================================== c | 16 | 601 1004 94608 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s c =============================================================================== c | 16 | 601 1005 94957 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 1.76173 s Remaining CPU time: 178.238 s c =============================================================================== c | 16 | 601 1006 95306 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 1.77173 s Remaining CPU time: 178.228 s c =============================================================================== c | 16 | 601 1007 95655 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 1.78173 s Remaining CPU time: 178.218 s c =============================================================================== c | 16 | 601 1008 96004 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 16 | 601 1009 96353 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 1.80173 s Remaining CPU time: 178.198 s c =============================================================================== c | 16 | 601 1010 96702 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 16 | 601 1011 97051 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s c =============================================================================== c | 16 | 601 1012 97400 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 1.83172 s Remaining CPU time: 178.168 s c =============================================================================== c | 16 | 601 1013 97749 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 16 | 601 1014 98098 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 1.84972 s Remaining CPU time: 178.15 s c =============================================================================== c | 16 | 601 1015 98447 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 1.85972 s Remaining CPU time: 178.14 s c =============================================================================== c | 16 | 601 1016 98796 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 16 | 601 1017 99145 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 1.87871 s Remaining CPU time: 178.121 s c =============================================================================== c | 16 | 601 1018 99494 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.88871 s Remaining CPU time: 178.111 s c =============================================================================== c | 16 | 601 1019 99843 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.89671 s Remaining CPU time: 178.103 s c =============================================================================== c | 16 | 601 1020 100192 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.90571 s Remaining CPU time: 178.094 s c =============================================================================== c | 16 | 601 1021 100541 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.91571 s Remaining CPU time: 178.084 s c =============================================================================== c | 16 | 601 1022 100890 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 16 | 601 1023 101239 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.93371 s Remaining CPU time: 178.066 s c =============================================================================== c | 16 | 601 1024 101588 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 16 | 601 1025 101937 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.9517 s Remaining CPU time: 178.048 s c =============================================================================== c | 16 | 601 1026 102286 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 16 | 601 1027 102635 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.9707 s Remaining CPU time: 178.029 s c =============================================================================== c | 16 | 601 1028 102984 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.9797 s Remaining CPU time: 178.02 s c =============================================================================== c | 16 | 601 1029 103333 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.9877 s Remaining CPU time: 178.012 s c =============================================================================== c | 16 | 601 1030 103682 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 16 | 601 1031 104031 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 16 | 601 1032 104380 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 2.01469 s Remaining CPU time: 177.985 s c =============================================================================== c | 16 | 601 1033 104729 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 2.02369 s Remaining CPU time: 177.976 s c =============================================================================== c | 16 | 601 1034 105078 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 2.03169 s Remaining CPU time: 177.968 s c =============================================================================== c | 16 | 601 1035 105427 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 2.03969 s Remaining CPU time: 177.96 s c =============================================================================== c | 16 | 601 1036 105776 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 16 | 601 1037 106125 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 2.05769 s Remaining CPU time: 177.942 s c =============================================================================== c | 16 | 601 1038 106474 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 16 | 601 1039 106823 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 16 | 601 1040 107172 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 16 | 601 1041 107521 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 16 | 601 1042 107870 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 2.09868 s Remaining CPU time: 177.901 s c =============================================================================== c | 16 | 601 1043 108219 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 2.10768 s Remaining CPU time: 177.892 s c =============================================================================== c | 16 | 601 1044 108568 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 2.11468 s Remaining CPU time: 177.885 s c =============================================================================== c | 16 | 601 1045 108917 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 16 | 601 1046 109266 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 2.12968 s Remaining CPU time: 177.87 s c =============================================================================== c | 16 | 601 1047 109615 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 2.13667 s Remaining CPU time: 177.863 s c =============================================================================== c | 16 | 601 1048 109964 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 2.14467 s Remaining CPU time: 177.855 s c =============================================================================== c | 16 | 601 1049 110313 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 2.15167 s Remaining CPU time: 177.848 s c =============================================================================== c | 16 | 601 1050 110662 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 2.15967 s Remaining CPU time: 177.84 s c =============================================================================== c | 16 | 601 1051 111011 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 16 | 601 1052 111360 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 2.17467 s Remaining CPU time: 177.825 s c =============================================================================== c | 16 | 601 1053 111709 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 2.18267 s Remaining CPU time: 177.817 s c =============================================================================== c | 16 | 601 1054 112058 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 2.18967 s Remaining CPU time: 177.81 s c =============================================================================== c | 16 | 601 1055 112407 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 2.19667 s Remaining CPU time: 177.803 s c =============================================================================== c | 16 | 601 1056 112756 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 2.20466 s Remaining CPU time: 177.795 s c =============================================================================== c | 16 | 601 1057 113105 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 2.21266 s Remaining CPU time: 177.787 s c =============================================================================== c | 16 | 601 1058 113454 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 2.22066 s Remaining CPU time: 177.779 s c =============================================================================== c | 16 | 601 1059 113803 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 2.22766 s Remaining CPU time: 177.772 s c =============================================================================== c | 16 | 601 1060 114152 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 2.23266 s Remaining CPU time: 177.767 s c =============================================================================== c | 16 | 601 1061 114501 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s c =============================================================================== c | 16 | 601 1062 114850 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 2.24566 s Remaining CPU time: 177.754 s c =============================================================================== c | 16 | 601 1063 115199 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 16 | 601 1064 115548 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 2.25966 s Remaining CPU time: 177.74 s c =============================================================================== c | 16 | 601 1065 115897 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 2.26465 s Remaining CPU time: 177.735 s c =============================================================================== c | 16 | 601 1066 116246 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 2.27165 s Remaining CPU time: 177.728 s c =============================================================================== c | 16 | 601 1067 116595 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 2.27765 s Remaining CPU time: 177.722 s c =============================================================================== c | 16 | 601 1068 116944 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 16 | 601 1069 117293 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 2.28965 s Remaining CPU time: 177.71 s c =============================================================================== c | 16 | 601 1070 117642 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 2.29565 s Remaining CPU time: 177.704 s c =============================================================================== c | 16 | 601 1071 117991 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 2.30365 s Remaining CPU time: 177.696 s c =============================================================================== c | 17 | 601 1072 118340 | 5000 17 19 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 2.30965 s Remaining CPU time: 177.69 s c =============================================================================== c | 17 | 601 1073 118689 | 5000 17 19 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 2.31565 s Remaining CPU time: 177.684 s c =============================================================================== c | 18 | 601 1074 119038 | 5000 18 19 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 2.32265 s Remaining CPU time: 177.677 s c =============================================================================== c | 21 | 601 1075 119387 | 5000 21 17 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 2.33065 s Remaining CPU time: 177.669 s c =============================================================================== c | 24 | 601 1076 119736 | 5000 24 16 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 2.33664 s Remaining CPU time: 177.663 s c =============================================================================== c | 25 | 601 1077 120085 | 5000 25 16 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 2.34164 s Remaining CPU time: 177.658 s c =============================================================================== c | 26 | 601 1078 120434 | 5000 26 16 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 2.34764 s Remaining CPU time: 177.652 s c =============================================================================== c | 29 | 601 1079 120783 | 5000 29 14 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 2.35164 s Remaining CPU time: 177.648 s c =============================================================================== c | 31 | 601 1080 121132 | 5000 31 14 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s c =============================================================================== c | 31 | 601 1081 121481 | 5000 31 14 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 2.36064 s Remaining CPU time: 177.639 s c =============================================================================== c | 32 | 601 1082 121830 | 5000 32 13 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 35 | 601 1083 122179 | 5000 35 13 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 2.36964 s Remaining CPU time: 177.63 s c =============================================================================== c | 36 | 601 1084 122528 | 5000 36 13 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 2.37464 s Remaining CPU time: 177.625 s c =============================================================================== c | 37 | 601 1085 122877 | 5000 37 12 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 2.37964 s Remaining CPU time: 177.62 s c =============================================================================== c | 40 | 601 1086 123226 | 5000 40 12 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 2.38464 s Remaining CPU time: 177.615 s c =============================================================================== c | 42 | 601 1087 123575 | 5000 42 12 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 2.38864 s Remaining CPU time: 177.611 s c =============================================================================== c | 45 | 601 1088 123924 | 5000 45 12 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 2.39364 s Remaining CPU time: 177.606 s c =============================================================================== c | 52 | 601 1089 124273 | 5000 52 11 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.39864 s Remaining CPU time: 177.601 s c =============================================================================== c | 53 | 601 1090 124622 | 5000 53 11 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.40263 s Remaining CPU time: 177.597 s c =============================================================================== c =============================================================================== c Total CPU time: 2.40263 s