c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 702 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 618 | c | Number Clauses: 702 | 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 | 590 730 2744 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 590 731 3082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 590 732 3420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 590 733 3758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 590 734 4096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 590 735 4434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 590 736 4772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 590 737 5110 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 590 738 5448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 590 739 5786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 590 740 6124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 590 741 6462 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 590 742 6800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 590 743 7138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 590 744 7476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 590 745 7814 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 590 746 8152 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 590 747 8490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 590 748 8828 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 590 749 9166 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 590 750 9504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 590 751 9842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 590 752 10180 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 590 753 10518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 590 754 10856 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 590 755 11194 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 590 756 11532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 590 757 11870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 590 758 12208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 590 759 12546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 590 760 12884 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 590 761 13222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 590 762 13560 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 590 763 13898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 590 764 14236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 590 765 14574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 590 766 14912 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 590 767 15250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 590 768 15588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 590 769 15926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 590 770 16264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 590 771 16602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 590 772 16940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 590 773 17278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 590 774 17616 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 590 775 17954 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 590 776 18292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 590 777 18630 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 590 778 18968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 590 779 19306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 590 780 19644 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 590 781 19982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 590 782 20320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 590 783 20658 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 590 784 20996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 590 785 21334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 590 786 21672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 590 787 22010 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 590 788 22348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 590 789 22686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 590 790 23024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 590 791 23362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 590 792 23700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 590 793 24038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 590 794 24376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 590 795 24714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 590 796 25052 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 590 797 25390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 590 798 25728 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 590 799 26066 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 590 800 26404 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 590 801 26742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 590 802 27080 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 590 803 27418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 590 804 27756 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 590 805 28094 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 0 | 590 806 28432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 590 807 28770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 590 808 29108 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 590 809 29446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 590 810 29784 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 590 811 30122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 590 812 30460 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 590 813 30798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 590 814 31136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 0 | 590 815 31474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 590 816 31812 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 590 817 32150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 590 818 32488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 0 | 590 819 32826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 590 820 33164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 590 821 33502 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 590 822 33840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 590 823 34178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 590 824 34516 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 590 825 34854 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 590 826 35192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 590 827 35530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 0 | 590 828 35868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 590 829 36206 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 590 830 36544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 0 | 590 831 36882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 0 | 590 832 37220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 0 | 590 833 37558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 0 | 590 834 37896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 590 835 38234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 590 836 38572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 0 | 590 837 38910 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 0 | 590 838 39248 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 590 839 39586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 590 840 39924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 590 841 40262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 1 | 590 842 40600 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 2 | 590 843 40938 | 5000 2 5 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 2 | 590 844 41276 | 5000 2 5 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 2 | 590 845 41614 | 5000 2 5 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 2 | 590 846 41952 | 5000 2 5 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 2 | 590 847 42290 | 5000 2 5 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 4 | 590 848 42628 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 4 | 590 849 42966 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 4 | 590 850 43304 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 4 | 590 851 43642 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 4 | 590 852 43980 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 4 | 590 853 44318 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 4 | 590 854 44656 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 4 | 590 855 44994 | 5000 4 118 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 5 | 590 856 45332 | 5000 5 138 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 6 | 590 857 45670 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 6 | 590 858 46008 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 6 | 590 859 46346 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 6 | 590 860 46684 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 6 | 590 861 47022 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 6 | 590 862 47360 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 7 | 590 863 47698 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 7 | 590 864 48036 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 7 | 590 865 48374 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 7 | 590 866 48712 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 7 | 590 867 49050 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 7 | 590 868 49388 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 7 | 590 869 49726 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 7 | 590 870 50064 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 7 | 590 871 50402 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 7 | 590 872 50740 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 7 | 590 873 51078 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 7 | 590 874 51416 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 7 | 590 875 51754 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s c =============================================================================== c | 7 | 590 876 52092 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 8 | 590 877 52430 | 5000 8 88 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 9 | 590 878 52768 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 9 | 590 879 53106 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 9 | 590 880 53444 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 9 | 590 881 53782 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 9 | 590 882 54120 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 9 | 590 883 54458 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 9 | 590 884 54796 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 9 | 590 885 55134 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 9 | 590 886 55472 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 9 | 590 887 55810 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 9 | 590 888 56148 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 9 | 590 889 56486 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 9 | 590 890 56824 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 9 | 590 891 57162 | 5000 9 100 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 10 | 590 892 57500 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 10 | 590 893 57838 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 10 | 590 894 58176 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 10 | 590 895 58514 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 10 | 590 896 58852 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 10 | 590 897 59190 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 10 | 590 898 59528 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 11 | 590 899 59866 | 5000 11 83 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 11 | 590 900 60204 | 5000 11 83 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 12 | 590 901 60542 | 5000 12 77 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 12 | 590 902 60880 | 5000 12 77 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 12 | 590 903 61218 | 5000 12 77 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s c =============================================================================== c | 12 | 590 904 61556 | 5000 12 77 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 12 | 590 905 61894 | 5000 12 77 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 12 | 590 906 62232 | 5000 12 77 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 13 | 590 907 62570 | 5000 13 71 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 13 | 590 908 62908 | 5000 13 71 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 16 | 590 909 63246 | 5000 16 59 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 16 | 590 910 63584 | 5000 16 59 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 18 | 590 911 63922 | 5000 18 53 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 18 | 590 912 64260 | 5000 18 53 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 19 | 590 913 64598 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 19 | 590 914 64936 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 19 | 590 915 65274 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 19 | 590 916 65612 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 19 | 590 917 65950 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 19 | 590 918 66288 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 19 | 590 919 66626 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 19 | 590 920 66964 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 19 | 590 921 67302 | 5000 19 59 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 20 | 590 922 67640 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 20 | 590 923 67978 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 20 | 590 924 68316 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 20 | 590 925 68654 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 20 | 590 926 68992 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 20 | 590 927 69330 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s c =============================================================================== c | 20 | 590 928 69668 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 20 | 590 929 70006 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 20 | 590 930 70344 | 5000 20 56 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 21 | 590 931 70682 | 5000 21 54 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 22 | 590 932 71020 | 5000 22 51 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 23 | 590 933 71358 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 23 | 590 934 71696 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 23 | 590 935 72034 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 23 | 590 936 72372 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s c =============================================================================== c | 23 | 590 937 72710 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 23 | 590 938 73048 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 23 | 590 939 73386 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 23 | 590 940 73724 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 1.17082 s Remaining CPU time: 178.829 s c =============================================================================== c | 23 | 590 941 74062 | 5000 23 49 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 1.18182 s Remaining CPU time: 178.818 s c =============================================================================== c | 24 | 590 942 74400 | 5000 24 47 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 24 | 590 943 74738 | 5000 24 47 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 24 | 590 944 75076 | 5000 24 47 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 24 | 590 945 75414 | 5000 24 47 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 24 | 590 946 75752 | 5000 24 47 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 24 | 590 947 76090 | 5000 24 47 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 25 | 590 948 76428 | 5000 25 46 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 26 | 590 949 76766 | 5000 26 44 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 26 | 590 950 77104 | 5000 26 44 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s c =============================================================================== c | 26 | 590 951 77442 | 5000 26 44 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 26 | 590 952 77780 | 5000 26 44 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 26 | 590 953 78118 | 5000 26 44 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 26 | 590 954 78456 | 5000 26 44 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 26 | 590 955 78794 | 5000 26 44 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 27 | 590 956 79132 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s c =============================================================================== c | 27 | 590 957 79470 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 1.3438 s Remaining CPU time: 178.656 s c =============================================================================== c | 27 | 590 958 79808 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 1.35379 s Remaining CPU time: 178.646 s c =============================================================================== c | 27 | 590 959 80146 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 27 | 590 960 80484 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.37279 s Remaining CPU time: 178.627 s c =============================================================================== c | 27 | 590 961 80822 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 27 | 590 962 81160 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 27 | 590 963 81498 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.40179 s Remaining CPU time: 178.598 s c =============================================================================== c | 27 | 590 964 81836 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 27 | 590 965 82174 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s c =============================================================================== c | 27 | 590 966 82512 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 1.43178 s Remaining CPU time: 178.568 s c =============================================================================== c | 27 | 590 967 82850 | 5000 27 43 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 1.44178 s Remaining CPU time: 178.558 s c =============================================================================== c | 28 | 590 968 83188 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 1.45178 s Remaining CPU time: 178.548 s c =============================================================================== c | 28 | 590 969 83526 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 28 | 590 970 83864 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 28 | 590 971 84202 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 1.48177 s Remaining CPU time: 178.518 s c =============================================================================== c | 28 | 590 972 84540 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 1.49177 s Remaining CPU time: 178.508 s c =============================================================================== c | 28 | 590 973 84878 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 28 | 590 974 85216 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 28 | 590 975 85554 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 1.52177 s Remaining CPU time: 178.478 s c =============================================================================== c | 28 | 590 976 85892 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 1.53177 s Remaining CPU time: 178.468 s c =============================================================================== c | 28 | 590 977 86230 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 28 | 590 978 86568 | 5000 28 41 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 31 | 590 979 86906 | 5000 31 44 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 1.56076 s Remaining CPU time: 178.439 s c =============================================================================== c | 31 | 590 980 87244 | 5000 31 44 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 1.57076 s Remaining CPU time: 178.429 s c =============================================================================== c | 31 | 590 981 87582 | 5000 31 44 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 1.57976 s Remaining CPU time: 178.42 s c =============================================================================== c | 32 | 590 982 87920 | 5000 32 42 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 1.58976 s Remaining CPU time: 178.41 s c =============================================================================== c | 33 | 590 983 88258 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 33 | 590 984 88596 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 1.60875 s Remaining CPU time: 178.391 s c =============================================================================== c | 33 | 590 985 88934 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 1.61775 s Remaining CPU time: 178.382 s c =============================================================================== c | 33 | 590 986 89272 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 1.62775 s Remaining CPU time: 178.372 s c =============================================================================== c | 33 | 590 987 89610 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 33 | 590 988 89948 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 33 | 590 989 90286 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 33 | 590 990 90624 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 1.66575 s Remaining CPU time: 178.334 s c =============================================================================== c | 33 | 590 991 90962 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 1.67475 s Remaining CPU time: 178.325 s c =============================================================================== c | 33 | 590 992 91300 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 33 | 590 993 91638 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 33 | 590 994 91976 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 1.70374 s Remaining CPU time: 178.296 s c =============================================================================== c | 33 | 590 995 92314 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 33 | 590 996 92652 | 5000 33 42 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.72274 s Remaining CPU time: 178.277 s c =============================================================================== c | 34 | 590 997 92990 | 5000 34 41 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 35 | 590 998 93328 | 5000 35 42 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s c =============================================================================== c | 36 | 590 999 93666 | 5000 36 43 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.75073 s Remaining CPU time: 178.249 s c =============================================================================== c | 37 | 590 1000 94004 | 5000 37 44 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 38 | 590 1001 94342 | 5000 38 45 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.76973 s Remaining CPU time: 178.23 s c =============================================================================== c | 39 | 590 1002 94680 | 5000 39 45 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.77973 s Remaining CPU time: 178.22 s c =============================================================================== c | 40 | 590 1003 95018 | 5000 40 46 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.78873 s Remaining CPU time: 178.211 s c =============================================================================== c | 41 | 590 1004 95356 | 5000 41 47 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.79773 s Remaining CPU time: 178.202 s c =============================================================================== c | 42 | 590 1005 95694 | 5000 42 47 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 43 | 590 1006 96032 | 5000 43 48 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 44 | 590 1007 96370 | 5000 44 48 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 46 | 590 1008 96708 | 5000 46 49 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 46 | 590 1009 97046 | 5000 46 49 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 46 | 590 1010 97384 | 5000 46 49 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.84872 s Remaining CPU time: 178.151 s c =============================================================================== c | 47 | 590 1011 97722 | 5000 47 50 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.85672 s Remaining CPU time: 178.143 s c =============================================================================== c | 48 | 590 1012 98060 | 5000 48 50 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s c =============================================================================== c | 49 | 590 1013 98398 | 5000 49 50 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.87472 s Remaining CPU time: 178.125 s c =============================================================================== c | 50 | 590 1014 98736 | 5000 50 51 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.88271 s Remaining CPU time: 178.117 s c =============================================================================== c | 51 | 590 1015 99074 | 5000 51 50 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.89171 s Remaining CPU time: 178.108 s c =============================================================================== c | 51 | 590 1016 99412 | 5000 51 50 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.89871 s Remaining CPU time: 178.101 s c =============================================================================== c | 51 | 590 1017 99750 | 5000 51 50 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.90671 s Remaining CPU time: 178.093 s c =============================================================================== c | 51 | 590 1018 100088 | 5000 51 50 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.91471 s Remaining CPU time: 178.085 s c =============================================================================== c | 52 | 590 1019 100426 | 5000 52 49 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.92271 s Remaining CPU time: 178.077 s c =============================================================================== c | 53 | 590 1020 100764 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.93071 s Remaining CPU time: 178.069 s c =============================================================================== c | 53 | 590 1021 101102 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.93871 s Remaining CPU time: 178.061 s c =============================================================================== c | 53 | 590 1022 101440 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.9467 s Remaining CPU time: 178.053 s c =============================================================================== c | 53 | 590 1023 101778 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 1.9547 s Remaining CPU time: 178.045 s c =============================================================================== c | 53 | 590 1024 102116 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 1.9627 s Remaining CPU time: 178.037 s c =============================================================================== c | 53 | 590 1025 102454 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 1.9697 s Remaining CPU time: 178.03 s c =============================================================================== c | 53 | 590 1026 102792 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 1.9757 s Remaining CPU time: 178.024 s c =============================================================================== c | 53 | 590 1027 103130 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 1.9827 s Remaining CPU time: 178.017 s c =============================================================================== c | 53 | 590 1028 103468 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 1.9897 s Remaining CPU time: 178.01 s c =============================================================================== c | 53 | 590 1029 103806 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 53 | 590 1030 104144 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 53 | 590 1031 104482 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 2.01169 s Remaining CPU time: 177.988 s c =============================================================================== c | 53 | 590 1032 104820 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 2.01869 s Remaining CPU time: 177.981 s c =============================================================================== c | 53 | 590 1033 105158 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s c =============================================================================== c | 53 | 590 1034 105496 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 2.03269 s Remaining CPU time: 177.967 s c =============================================================================== c | 53 | 590 1035 105834 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 2.03969 s Remaining CPU time: 177.96 s c =============================================================================== c | 53 | 590 1036 106172 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 2.04669 s Remaining CPU time: 177.953 s c =============================================================================== c | 53 | 590 1037 106510 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 2.05269 s Remaining CPU time: 177.947 s c =============================================================================== c | 53 | 590 1038 106848 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 53 | 590 1039 107186 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 53 | 590 1040 107524 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 2.07268 s Remaining CPU time: 177.927 s c =============================================================================== c | 53 | 590 1041 107862 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 53 | 590 1042 108200 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 2.08468 s Remaining CPU time: 177.915 s c =============================================================================== c | 53 | 590 1043 108538 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 53 | 590 1044 108876 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 53 | 590 1045 109214 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 53 | 590 1046 109552 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 2.10868 s Remaining CPU time: 177.891 s c =============================================================================== c | 53 | 590 1047 109890 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 2.11368 s Remaining CPU time: 177.886 s c =============================================================================== c | 53 | 590 1048 110228 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 2.11968 s Remaining CPU time: 177.88 s c =============================================================================== c | 53 | 590 1049 110566 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 2.12568 s Remaining CPU time: 177.874 s c =============================================================================== c | 53 | 590 1050 110904 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 2.13068 s Remaining CPU time: 177.869 s c =============================================================================== c | 53 | 590 1051 111242 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 2.13667 s Remaining CPU time: 177.863 s c =============================================================================== c | 53 | 590 1052 111580 | 5000 53 48 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 2.14167 s Remaining CPU time: 177.858 s c =============================================================================== c | 55 | 590 1053 111918 | 5000 55 47 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 2.14767 s Remaining CPU time: 177.852 s c =============================================================================== c | 57 | 590 1054 112256 | 5000 57 45 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 2.15267 s Remaining CPU time: 177.847 s c =============================================================================== c | 58 | 590 1055 112594 | 5000 58 45 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 2.15767 s Remaining CPU time: 177.842 s c =============================================================================== c | 60 | 590 1056 112932 | 5000 60 43 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 2.16267 s Remaining CPU time: 177.837 s c =============================================================================== c | 60 | 590 1057 113270 | 5000 60 43 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 62 | 590 1058 113608 | 5000 62 42 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 2.17267 s Remaining CPU time: 177.827 s c =============================================================================== c | 62 | 590 1059 113946 | 5000 62 42 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 2.17767 s Remaining CPU time: 177.822 s c =============================================================================== c | 62 | 590 1060 114284 | 5000 62 42 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 2.18267 s Remaining CPU time: 177.817 s c =============================================================================== c | 63 | 590 1061 114622 | 5000 63 42 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 2.18667 s Remaining CPU time: 177.813 s c =============================================================================== c | 63 | 590 1062 114960 | 5000 63 42 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 2.18967 s Remaining CPU time: 177.81 s c =============================================================================== c | 65 | 590 1063 115298 | 5000 65 41 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 2.19367 s Remaining CPU time: 177.806 s c =============================================================================== c | 68 | 590 1064 115636 | 5000 68 39 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 68 | 590 1065 115974 | 5000 68 39 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 70 | 590 1066 116312 | 5000 70 38 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 2.20666 s Remaining CPU time: 177.793 s c =============================================================================== c | 70 | 590 1067 116650 | 5000 70 38 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.21166 s Remaining CPU time: 177.788 s c =============================================================================== c | 70 | 590 1068 116988 | 5000 70 38 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.21566 s Remaining CPU time: 177.784 s c =============================================================================== c =============================================================================== c Total CPU time: 2.21566 s