c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 713 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 629 | c | Number Clauses: 713 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 601 741 2821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 601 742 3170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 601 743 3519 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 601 744 3868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 601 745 4217 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 601 746 4566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 601 747 4915 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 601 748 5264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 601 749 5613 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 601 750 5962 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 601 751 6311 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 601 752 6660 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 601 753 7009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 601 754 7358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 601 755 7707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 601 756 8056 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 601 757 8405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 601 758 8754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 601 759 9103 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 601 760 9452 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 601 761 9801 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 601 762 10150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 601 763 10499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 601 764 10848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 601 765 11197 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 601 766 11546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 601 767 11895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 601 768 12244 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 601 769 12593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 601 770 12942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 601 771 13291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 601 772 13640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 601 773 13989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 601 774 14338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 601 775 14687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 601 776 15036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 601 777 15385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 601 778 15734 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 601 779 16083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 601 780 16432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 601 781 16781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 601 782 17130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 601 783 17479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 601 784 17828 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 601 785 18177 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 601 786 18526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 601 787 18875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 601 788 19224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 601 789 19573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 601 790 19922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 601 791 20271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 601 792 20620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 601 793 20969 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 601 794 21318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 601 795 21667 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 601 796 22016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 601 797 22365 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 601 798 22714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 601 799 23063 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 601 800 23412 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 601 801 23761 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 601 802 24110 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 601 803 24459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 601 804 24808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 601 805 25157 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 601 806 25506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 601 807 25855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 601 808 26204 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 601 809 26553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 601 810 26902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 0 | 601 811 27251 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 601 812 27600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 601 813 27949 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 601 814 28298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 601 815 28647 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 601 816 28996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 601 817 29345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 601 818 29694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 601 819 30043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 601 820 30392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 601 821 30741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 0 | 601 822 31090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 601 823 31439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 601 824 31788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 601 825 32137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 601 826 32486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 601 827 32835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 0 | 601 828 33184 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 601 829 33533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 601 830 33882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 601 831 34231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 601 832 34580 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 601 833 34929 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 0 | 601 834 35278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 0 | 601 835 35627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 601 836 35976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 0 | 601 837 36325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 601 838 36674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 601 839 37023 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 0 | 601 840 37372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 601 841 37721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 601 842 38070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 601 843 38419 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 601 844 38768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 0 | 601 845 39117 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 601 846 39466 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 601 847 39815 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 0 | 601 848 40164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 601 849 40513 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 601 850 40862 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 601 851 41211 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 601 852 41560 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 1 | 601 853 41909 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 1 | 601 854 42258 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 1 | 601 855 42607 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 1 | 601 856 42956 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 1 | 601 857 43305 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 1 | 601 858 43654 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 1 | 601 859 44003 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 1 | 601 860 44352 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 1 | 601 861 44701 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 1 | 601 862 45050 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 1 | 601 863 45399 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 1 | 601 864 45748 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 1 | 601 865 46097 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 1 | 601 866 46446 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 1 | 601 867 46795 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 1 | 601 868 47144 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 1 | 601 869 47493 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 1 | 601 870 47842 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 1 | 601 871 48191 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 1 | 601 872 48540 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 2 | 601 873 48889 | 5000 2 114 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 3 | 601 874 49238 | 5000 3 77 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 3 | 601 875 49587 | 5000 3 77 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 5 | 601 876 49936 | 5000 5 49 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 5 | 601 877 50285 | 5000 5 49 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 5 | 601 878 50634 | 5000 5 49 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 5 | 601 879 50983 | 5000 5 49 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 5 | 601 880 51332 | 5000 5 49 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 6 | 601 881 51681 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 6 | 601 882 52030 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 6 | 601 883 52379 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 6 | 601 884 52728 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 6 | 601 885 53077 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 6 | 601 886 53426 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 6 | 601 887 53775 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 6 | 601 888 54124 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 6 | 601 889 54473 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 6 | 601 890 54822 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 6 | 601 891 55171 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 6 | 601 892 55520 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 6 | 601 893 55869 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 6 | 601 894 56218 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 6 | 601 895 56567 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 6 | 601 896 56916 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 6 | 601 897 57265 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 6 | 601 898 57614 | 5000 6 41 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 9 | 601 899 57963 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 9 | 601 900 58312 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 9 | 601 901 58661 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 9 | 601 902 59010 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 10 | 601 903 59359 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 10 | 601 904 59708 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 10 | 601 905 60057 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 10 | 601 906 60406 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 10 | 601 907 60755 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 10 | 601 908 61104 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 10 | 601 909 61453 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.724889 s Remaining CPU time: 179.275 s c =============================================================================== c | 10 | 601 910 61802 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 10 | 601 911 62151 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 10 | 601 912 62500 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 10 | 601 913 62849 | 5000 10 27 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 11 | 601 914 63198 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 11 | 601 915 63547 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 11 | 601 916 63896 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 11 | 601 917 64245 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 11 | 601 918 64594 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 11 | 601 919 64943 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 11 | 601 920 65292 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 11 | 601 921 65641 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 11 | 601 922 65990 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 11 | 601 923 66339 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 11 | 601 924 66688 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 11 | 601 925 67037 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 11 | 601 926 67386 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 11 | 601 927 67735 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 11 | 601 928 68084 | 5000 11 25 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 14 | 601 929 68433 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s c =============================================================================== c | 14 | 601 930 68782 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 14 | 601 931 69131 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 14 | 601 932 69480 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 14 | 601 933 69829 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 14 | 601 934 70178 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 14 | 601 935 70527 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 14 | 601 936 70876 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 14 | 601 937 71225 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 14 | 601 938 71574 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 14 | 601 939 71923 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.987849 s Remaining CPU time: 179.012 s c =============================================================================== c | 14 | 601 940 72272 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 14 | 601 941 72621 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 14 | 601 942 72970 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 14 | 601 943 73319 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s c =============================================================================== c | 14 | 601 944 73668 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s c =============================================================================== c | 14 | 601 945 74017 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 14 | 601 946 74366 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 1.05384 s Remaining CPU time: 178.946 s c =============================================================================== c | 14 | 601 947 74715 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 14 | 601 948 75064 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 14 | 601 949 75413 | 5000 14 21 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 15 | 601 950 75762 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 15 | 601 951 76111 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 15 | 601 952 76460 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 15 | 601 953 76809 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 15 | 601 954 77158 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s c =============================================================================== c | 15 | 601 955 77507 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 15 | 601 956 77856 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.14882 s Remaining CPU time: 178.851 s c =============================================================================== c | 15 | 601 957 78205 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 15 | 601 958 78554 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 15 | 601 959 78903 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.17882 s Remaining CPU time: 178.821 s c =============================================================================== c | 15 | 601 960 79252 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 15 | 601 961 79601 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.19782 s Remaining CPU time: 178.802 s c =============================================================================== c | 15 | 601 962 79950 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 15 | 601 963 80299 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 1.21681 s Remaining CPU time: 178.783 s c =============================================================================== c | 15 | 601 964 80648 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 15 | 601 965 80997 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.23581 s Remaining CPU time: 178.764 s c =============================================================================== c | 15 | 601 966 81346 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 15 | 601 967 81695 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 15 | 601 968 82044 | 5000 15 20 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.26381 s Remaining CPU time: 178.736 s c =============================================================================== c | 16 | 601 969 82393 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 16 | 601 970 82742 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 16 | 601 971 83091 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 16 | 601 972 83440 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 16 | 601 973 83789 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 16 | 601 974 84138 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.3228 s Remaining CPU time: 178.677 s c =============================================================================== c | 16 | 601 975 84487 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.3328 s Remaining CPU time: 178.667 s c =============================================================================== c | 16 | 601 976 84836 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 16 | 601 977 85185 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 16 | 601 978 85534 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.36179 s Remaining CPU time: 178.638 s c =============================================================================== c | 16 | 601 979 85883 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s c =============================================================================== c | 16 | 601 980 86232 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 16 | 601 981 86581 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 1.38979 s Remaining CPU time: 178.61 s c =============================================================================== c | 16 | 601 982 86930 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 16 | 601 983 87279 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 16 | 601 984 87628 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 1.41878 s Remaining CPU time: 178.581 s c =============================================================================== c | 16 | 601 985 87977 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.42778 s Remaining CPU time: 178.572 s c =============================================================================== c | 16 | 601 986 88326 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 1.43778 s Remaining CPU time: 178.562 s c =============================================================================== c | 16 | 601 987 88675 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 16 | 601 988 89024 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s c =============================================================================== c | 16 | 601 989 89373 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 1.46578 s Remaining CPU time: 178.534 s c =============================================================================== c | 16 | 601 990 89722 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 1.47477 s Remaining CPU time: 178.525 s c =============================================================================== c | 16 | 601 991 90071 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 1.48477 s Remaining CPU time: 178.515 s c =============================================================================== c | 16 | 601 992 90420 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 1.49377 s Remaining CPU time: 178.506 s c =============================================================================== c | 16 | 601 993 90769 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 16 | 601 994 91118 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 16 | 601 995 91467 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 16 | 601 996 91816 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 16 | 601 997 92165 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 16 | 601 998 92514 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 16 | 601 999 92863 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 1.55576 s Remaining CPU time: 178.444 s c =============================================================================== c | 16 | 601 1000 93212 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 16 | 601 1001 93561 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 16 | 601 1002 93910 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s c =============================================================================== c | 16 | 601 1003 94259 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 1.58876 s Remaining CPU time: 178.411 s c =============================================================================== c | 16 | 601 1004 94608 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 1.59776 s Remaining CPU time: 178.402 s c =============================================================================== c | 16 | 601 1005 94957 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 16 | 601 1006 95306 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 16 | 601 1007 95655 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s c =============================================================================== c | 16 | 601 1008 96004 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 16 | 601 1009 96353 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 16 | 601 1010 96702 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 16 | 601 1011 97051 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 1.65675 s Remaining CPU time: 178.343 s c =============================================================================== c | 16 | 601 1012 97400 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 1.66575 s Remaining CPU time: 178.334 s c =============================================================================== c | 16 | 601 1013 97749 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 16 | 601 1014 98098 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 1.68074 s Remaining CPU time: 178.319 s c =============================================================================== c | 16 | 601 1015 98447 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 1.68874 s Remaining CPU time: 178.311 s c =============================================================================== c | 16 | 601 1016 98796 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 1.69674 s Remaining CPU time: 178.303 s c =============================================================================== c | 16 | 601 1017 99145 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 1.70474 s Remaining CPU time: 178.295 s c =============================================================================== c | 16 | 601 1018 99494 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 16 | 601 1019 99843 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.72174 s Remaining CPU time: 178.278 s c =============================================================================== c | 16 | 601 1020 100192 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.72874 s Remaining CPU time: 178.271 s c =============================================================================== c | 16 | 601 1021 100541 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.73673 s Remaining CPU time: 178.263 s c =============================================================================== c | 16 | 601 1022 100890 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.74473 s Remaining CPU time: 178.255 s c =============================================================================== c | 16 | 601 1023 101239 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.75273 s Remaining CPU time: 178.247 s c =============================================================================== c | 16 | 601 1024 101588 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 16 | 601 1025 101937 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.76873 s Remaining CPU time: 178.231 s c =============================================================================== c | 16 | 601 1026 102286 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.77573 s Remaining CPU time: 178.224 s c =============================================================================== c | 16 | 601 1027 102635 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.78373 s Remaining CPU time: 178.216 s c =============================================================================== c | 16 | 601 1028 102984 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 16 | 601 1029 103333 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.79973 s Remaining CPU time: 178.2 s c =============================================================================== c | 16 | 601 1030 103682 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.80673 s Remaining CPU time: 178.193 s c =============================================================================== c | 16 | 601 1031 104031 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 16 | 601 1032 104380 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s c =============================================================================== c | 16 | 601 1033 104729 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.82972 s Remaining CPU time: 178.17 s c =============================================================================== c | 16 | 601 1034 105078 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.83672 s Remaining CPU time: 178.163 s c =============================================================================== c | 16 | 601 1035 105427 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.84472 s Remaining CPU time: 178.155 s c =============================================================================== c | 16 | 601 1036 105776 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.85272 s Remaining CPU time: 178.147 s c =============================================================================== c | 16 | 601 1037 106125 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.85972 s Remaining CPU time: 178.14 s c =============================================================================== c | 16 | 601 1038 106474 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.86672 s Remaining CPU time: 178.133 s c =============================================================================== c | 16 | 601 1039 106823 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.87472 s Remaining CPU time: 178.125 s c =============================================================================== c | 16 | 601 1040 107172 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.88171 s Remaining CPU time: 178.118 s c =============================================================================== c | 16 | 601 1041 107521 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.88871 s Remaining CPU time: 178.111 s c =============================================================================== c | 16 | 601 1042 107870 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 16 | 601 1043 108219 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.90371 s Remaining CPU time: 178.096 s c =============================================================================== c | 16 | 601 1044 108568 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.91071 s Remaining CPU time: 178.089 s c =============================================================================== c | 16 | 601 1045 108917 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 1.91771 s Remaining CPU time: 178.082 s c =============================================================================== c | 16 | 601 1046 109266 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 16 | 601 1047 109615 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 16 | 601 1048 109964 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 1.93871 s Remaining CPU time: 178.061 s c =============================================================================== c | 16 | 601 1049 110313 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 1.9447 s Remaining CPU time: 178.055 s c =============================================================================== c | 16 | 601 1050 110662 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 1.9507 s Remaining CPU time: 178.049 s c =============================================================================== c | 16 | 601 1051 111011 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s c =============================================================================== c | 16 | 601 1052 111360 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 1.9637 s Remaining CPU time: 178.036 s c =============================================================================== c | 16 | 601 1053 111709 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 1.9707 s Remaining CPU time: 178.029 s c =============================================================================== c | 16 | 601 1054 112058 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 16 | 601 1055 112407 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s c =============================================================================== c | 16 | 601 1056 112756 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 1.9907 s Remaining CPU time: 178.009 s c =============================================================================== c | 16 | 601 1057 113105 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 1.9977 s Remaining CPU time: 178.002 s c =============================================================================== c | 16 | 601 1058 113454 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 2.0037 s Remaining CPU time: 177.996 s c =============================================================================== c | 16 | 601 1059 113803 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s c =============================================================================== c | 16 | 601 1060 114152 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 2.01569 s Remaining CPU time: 177.984 s c =============================================================================== c | 16 | 601 1061 114501 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 2.02169 s Remaining CPU time: 177.978 s c =============================================================================== c | 16 | 601 1062 114850 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 2.02769 s Remaining CPU time: 177.972 s c =============================================================================== c | 16 | 601 1063 115199 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 2.03469 s Remaining CPU time: 177.965 s c =============================================================================== c | 16 | 601 1064 115548 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 2.04069 s Remaining CPU time: 177.959 s c =============================================================================== c | 16 | 601 1065 115897 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 2.04669 s Remaining CPU time: 177.953 s c =============================================================================== c | 16 | 601 1066 116246 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 2.05269 s Remaining CPU time: 177.947 s c =============================================================================== c | 16 | 601 1067 116595 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 16 | 601 1068 116944 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 2.06469 s Remaining CPU time: 177.935 s c =============================================================================== c | 16 | 601 1069 117293 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 2.06968 s Remaining CPU time: 177.93 s c =============================================================================== c | 16 | 601 1070 117642 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 2.07568 s Remaining CPU time: 177.924 s c =============================================================================== c | 16 | 601 1071 117991 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 16 | 601 1072 118340 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 2.08668 s Remaining CPU time: 177.913 s c =============================================================================== c | 16 | 601 1073 118689 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 2.09268 s Remaining CPU time: 177.907 s c =============================================================================== c | 16 | 601 1074 119038 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 2.09768 s Remaining CPU time: 177.902 s c =============================================================================== c | 16 | 601 1075 119387 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 16 | 601 1076 119736 | 5000 16 19 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 2.10768 s Remaining CPU time: 177.892 s c =============================================================================== c | 18 | 601 1077 120085 | 5000 18 18 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 2.11268 s Remaining CPU time: 177.887 s c =============================================================================== c | 21 | 601 1078 120434 | 5000 21 16 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 25 | 601 1079 120783 | 5000 25 15 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 25 | 601 1080 121132 | 5000 25 15 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 2.12768 s Remaining CPU time: 177.872 s c =============================================================================== c | 25 | 601 1081 121481 | 5000 25 15 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 25 | 601 1082 121830 | 5000 25 15 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s c =============================================================================== c | 25 | 601 1083 122179 | 5000 25 15 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 2.14267 s Remaining CPU time: 177.857 s c =============================================================================== c | 26 | 601 1084 122528 | 5000 26 14 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 2.14667 s Remaining CPU time: 177.853 s c =============================================================================== c | 27 | 601 1085 122877 | 5000 27 14 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 2.15167 s Remaining CPU time: 177.848 s c =============================================================================== c | 32 | 601 1086 123226 | 5000 32 13 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 2.15667 s Remaining CPU time: 177.843 s c =============================================================================== c | 33 | 601 1087 123575 | 5000 33 13 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 2.16067 s Remaining CPU time: 177.839 s c =============================================================================== c | 38 | 601 1088 123924 | 5000 38 12 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 39 | 601 1089 124273 | 5000 39 12 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.16967 s Remaining CPU time: 177.83 s c =============================================================================== c | 44 | 601 1090 124622 | 5000 44 11 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c =============================================================================== c Total CPU time: 2.17367 s