c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1309 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 707 | c | Number Clauses: 791 | 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 | 679 819 2177 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 679 820 2741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 679 821 3305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 679 822 3869 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 4 | 679 823 4433 | 5000 4 454 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 8 | 679 824 4997 | 5000 8 455 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 13 | 679 825 5561 | 5000 13 454 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 23 | 679 826 6125 | 5000 23 454 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 33 | 679 827 6689 | 5000 33 454 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 39 | 679 828 7253 | 5000 39 453 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 47 | 679 829 7817 | 5000 47 453 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 54 | 679 830 8381 | 5000 54 453 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 60 | 679 831 8945 | 5000 60 452 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 72 | 679 832 9509 | 5000 72 452 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 80 | 679 833 10073 | 5000 80 451 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 99 | 679 834 10637 | 5000 99 450 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 109 | 679 835 11201 | 5000 109 450 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 123 | 679 836 11765 | 5000 123 450 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 144 | 679 837 12329 | 5000 144 449 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 156 | 679 838 12893 | 5000 156 448 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 170 | 679 839 13457 | 5000 170 448 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 176 | 679 840 14021 | 5000 176 447 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 188 | 679 841 14585 | 5000 188 447 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 192 | 679 842 15149 | 5000 192 447 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 204 | 679 843 15713 | 5000 204 446 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 213 | 679 844 16277 | 5000 213 446 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 224 | 679 845 16841 | 5000 224 445 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 225 | 679 846 17405 | 5000 225 445 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 243 | 679 847 17969 | 5000 243 444 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 250 | 679 848 18533 | 5000 250 444 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 324 | 679 849 19097 | 5000 324 441 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 349 | 679 850 19661 | 5000 349 440 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 353 | 679 851 20225 | 5000 353 440 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 384 | 679 852 20789 | 5000 384 439 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 395 | 679 853 21353 | 5000 395 439 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 416 | 679 854 21917 | 5000 416 438 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 453 | 679 855 22481 | 5000 453 437 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 464 | 679 856 23045 | 5000 464 437 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 491 | 679 857 23609 | 5000 491 436 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 498 | 679 858 24173 | 5000 498 436 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 510 | 679 859 24737 | 5000 510 436 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 514 | 679 860 25301 | 5000 514 435 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 547 | 679 861 25865 | 5000 547 435 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 560 | 679 862 26429 | 5000 560 434 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 612 | 679 863 26993 | 5000 612 433 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 633 | 679 864 27557 | 5000 633 432 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 653 | 679 865 28121 | 5000 653 432 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 688 | 679 866 28685 | 5000 688 431 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 741 | 679 867 29249 | 5000 741 430 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 760 | 679 868 29813 | 5000 760 429 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 761 | 679 869 30377 | 5000 761 429 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 771 | 679 870 30941 | 5000 771 429 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 798 | 679 871 31505 | 5000 798 428 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 808 | 679 872 32069 | 5000 808 428 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 844 | 679 873 32633 | 5000 844 427 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 864 | 679 874 33197 | 5000 864 427 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 871 | 679 875 33761 | 5000 871 426 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 889 | 679 876 34325 | 5000 889 426 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 907 | 679 877 34889 | 5000 907 425 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 937 | 679 878 35453 | 5000 937 425 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 960 | 679 879 36017 | 5000 960 424 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 983 | 679 880 36581 | 5000 983 424 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 997 | 679 881 37145 | 5000 997 423 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 1090 | 679 882 37709 | 5000 1090 421 | 0.000 % | c | 1190 | 679 882 37709 | 5500 1190 419 | 3.962 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 1326 | 679 883 38273 | 5000 1326 417 | 3.962 % | c | 1427 | 679 883 38273 | 5500 1427 415 | 3.961 % | c | 1578 | 679 883 38273 | 6050 1578 414 | 3.961 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 1681 | 679 884 38837 | 5000 1681 413 | 3.961 % | c | 1781 | 679 884 38837 | 5500 1781 412 | 3.961 % | c | 1931 | 679 884 38837 | 6050 1931 410 | 3.961 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 2072 | 679 885 39401 | 5000 2072 409 | 3.961 % | c | 2175 | 679 885 39401 | 5500 2175 409 | 3.961 % | c | 2325 | 679 885 39401 | 6050 2325 408 | 3.961 % | c | 2550 | 679 885 39401 | 6655 2550 407 | 3.961 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 2700 | 679 886 39965 | 5000 2700 406 | 3.961 % | c | 2800 | 679 886 39965 | 5500 2800 406 | 3.962 % | c | 2950 | 679 886 39965 | 6050 2950 405 | 3.961 % | c | 3175 | 679 886 39965 | 6655 3175 405 | 3.961 % | c | 3513 | 679 886 39965 | 7320 3513 404 | 3.961 % | c | 4020 | 679 886 39965 | 8052 4020 403 | 3.961 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 1.78573 s Remaining CPU time: 178.214 s c =============================================================================== c | 4076 | 679 887 40529 | 5000 4076 403 | 3.961 % | c | 4176 | 679 887 40529 | 5500 4176 403 | 3.961 % | c | 4327 | 679 887 40529 | 6050 4327 402 | 3.961 % | c | 4552 | 679 887 40529 | 6655 4552 402 | 3.961 % | c | 4889 | 679 887 40529 | 7320 4889 402 | 3.961 % | c | 5395 | 679 887 40529 | 8052 5395 401 | 3.961 % | c | 6155 | 679 887 40529 | 8857 6155 400 | 3.961 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 2.86756 s Remaining CPU time: 177.132 s c =============================================================================== c | 6362 | 679 888 41093 | 5000 6362 400 | 3.961 % | c | 6462 | 679 888 41093 | 5500 3281 395 | 3.961 % | c | 6612 | 679 888 41093 | 6050 3431 395 | 3.961 % | c | 6839 | 679 888 41093 | 6655 3658 395 | 3.961 % | c | 7177 | 679 888 41093 | 7320 3996 395 | 3.961 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 3.46147 s Remaining CPU time: 176.539 s c =============================================================================== c | 7572 | 679 889 41657 | 5000 4391 395 | 3.961 % | c | 7675 | 679 889 41657 | 5500 4494 395 | 3.961 % | c | 7825 | 679 889 41657 | 6050 4644 395 | 3.962 % | c | 8052 | 679 889 41657 | 6655 4871 395 | 3.961 % | c | 8389 | 679 889 41657 | 7320 5208 395 | 3.961 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 4.01939 s Remaining CPU time: 175.981 s c =============================================================================== c | 8675 | 679 890 42221 | 5000 5494 394 | 3.961 % | c | 8777 | 679 890 42221 | 5500 2849 394 | 3.961 % | c | 8927 | 679 890 42221 | 6050 2999 394 | 3.961 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 4.20036 s Remaining CPU time: 175.8 s c =============================================================================== c | 9002 | 679 891 42785 | 5000 3074 393 | 3.961 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 4.25635 s Remaining CPU time: 175.744 s c =============================================================================== c | 9083 | 679 892 43349 | 5000 3155 393 | 3.961 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 4.30035 s Remaining CPU time: 175.7 s c =============================================================================== c | 9151 | 679 893 43913 | 5000 3223 393 | 3.961 % | c | 9251 | 679 893 43913 | 5500 3323 393 | 3.962 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 4.36634 s Remaining CPU time: 175.634 s c =============================================================================== c | 9260 | 679 894 44477 | 5000 3332 393 | 3.962 % | c | 9361 | 679 894 44477 | 5500 3433 393 | 3.961 % | c | 9511 | 679 894 44477 | 6050 3583 393 | 3.961 % | c | 9736 | 679 894 44477 | 6655 3808 392 | 3.961 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 4.68029 s Remaining CPU time: 175.32 s c =============================================================================== c | 9834 | 679 895 45041 | 5000 3906 392 | 3.961 % | c | 9934 | 679 895 45041 | 5500 4006 392 | 3.961 % | c | 10084 | 679 895 45041 | 6050 4156 392 | 3.961 % | c | 10309 | 679 895 45041 | 6655 4381 392 | 3.961 % | c | 10649 | 679 895 45041 | 7320 4721 391 | 3.961 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 5.19721 s Remaining CPU time: 174.803 s c =============================================================================== c | 10696 | 679 896 45605 | 5000 4768 391 | 3.961 % | c | 10796 | 679 896 45605 | 5500 4868 391 | 3.961 % | c | 10947 | 679 896 45605 | 6050 5019 391 | 3.961 % | c | 11174 | 679 896 45605 | 6655 5246 391 | 3.961 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 11471 | 679 897 46169 | 5000 5543 391 | 3.961 % | c | 11571 | 679 897 46169 | 5500 2872 388 | 3.961 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 5.82911 s Remaining CPU time: 174.171 s c =============================================================================== c | 11678 | 679 898 46733 | 5000 2979 387 | 3.961 % | c | 11778 | 679 898 46733 | 5500 3079 387 | 3.961 % | c | 11929 | 679 898 46733 | 6050 3230 387 | 3.962 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 5.98509 s Remaining CPU time: 174.015 s c =============================================================================== c | 11935 | 679 899 47297 | 5000 3236 387 | 3.962 % | c | 12036 | 679 899 47297 | 5500 3337 387 | 3.961 % | c | 12186 | 679 899 47297 | 6050 3487 387 | 3.961 % | c | 12412 | 679 899 47297 | 6655 3713 387 | 3.961 % | c | 12753 | 679 899 47297 | 7320 4054 387 | 3.961 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 6.56 s Remaining CPU time: 173.44 s c =============================================================================== c | 12861 | 679 900 47861 | 5000 4162 387 | 3.961 % | c | 12963 | 679 900 47861 | 5500 4264 386 | 3.961 % | c | 13113 | 679 900 47861 | 6050 4414 386 | 3.961 % | c | 13338 | 679 900 47861 | 6655 4639 386 | 3.961 % | c | 13675 | 679 900 47861 | 7320 4976 386 | 3.961 % | c | 14183 | 679 900 47861 | 8052 5484 386 | 3.961 % | c | 14943 | 679 900 47861 | 8857 6244 385 | 3.961 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 8.12876 s Remaining CPU time: 171.871 s c =============================================================================== c | 15270 | 679 901 48425 | 5000 6571 385 | 3.961 % | c | 15371 | 679 901 48425 | 5500 3387 383 | 3.961 % | c | 15523 | 679 901 48425 | 6050 3539 383 | 3.961 % | c | 15749 | 679 901 48425 | 6655 3765 383 | 3.961 % | c | 16087 | 679 901 48425 | 7320 4103 383 | 3.961 % | c | 16593 | 679 901 48425 | 8052 4609 383 | 3.961 % | c | 17352 | 679 901 48425 | 8857 5368 383 | 3.961 % | c | 18493 | 679 901 48425 | 9743 6509 383 | 3.961 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 11.0253 s Remaining CPU time: 168.975 s c =============================================================================== c | 19985 | 679 902 48989 | 5000 8001 383 | 3.961 % | c | 20087 | 679 902 48989 | 5500 4103 382 | 3.961 % | c | 20237 | 679 902 48989 | 6050 4253 382 | 3.961 % | c | 20462 | 679 902 48989 | 6655 4478 382 | 3.962 % | c | 20799 | 679 902 48989 | 7320 4815 382 | 3.961 % | c | 21305 | 679 902 48989 | 8052 5321 382 | 3.961 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 11.9492 s Remaining CPU time: 168.051 s c =============================================================================== c | 21317 | 679 903 49553 | 5000 5333 382 | 3.961 % | c | 21417 | 679 903 49553 | 5500 2767 381 | 3.961 % | c | 21567 | 679 903 49553 | 6050 2917 381 | 3.961 % | c | 21793 | 679 903 49553 | 6655 3143 381 | 3.962 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 12.5331 s Remaining CPU time: 167.467 s c =============================================================================== c | 22067 | 679 904 50117 | 5000 3417 380 | 3.962 % | c | 22168 | 679 904 50117 | 5500 3518 380 | 3.962 % | c | 22318 | 679 904 50117 | 6050 3668 380 | 3.961 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 12.852 s Remaining CPU time: 167.148 s c =============================================================================== c | 22480 | 679 905 50681 | 5000 3830 380 | 3.961 % | c | 22581 | 679 905 50681 | 5500 3931 380 | 3.961 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 13.001 s Remaining CPU time: 166.999 s c =============================================================================== c | 22639 | 679 906 51245 | 5000 3989 380 | 3.961 % | c | 22740 | 679 906 51245 | 5500 4090 380 | 3.961 % | c | 22893 | 679 906 51245 | 6050 4243 380 | 3.961 % | c | 23118 | 679 906 51245 | 6655 4468 379 | 3.961 % | c | 23456 | 679 906 51245 | 7320 4806 379 | 3.961 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 13.9769 s Remaining CPU time: 166.023 s c =============================================================================== c | 23906 | 679 907 51809 | 5000 5256 379 | 3.961 % | c | 24006 | 679 907 51809 | 5500 2728 376 | 3.962 % | c | 24156 | 679 907 51809 | 6050 2878 376 | 3.961 % | c | 24381 | 679 907 51809 | 6655 3103 376 | 3.961 % | c | 24718 | 679 907 51809 | 7320 3440 376 | 3.961 % | c | 25224 | 679 907 51809 | 8052 3946 376 | 3.961 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 14.9307 s Remaining CPU time: 165.069 s c =============================================================================== c | 25229 | 679 908 52373 | 5000 3951 376 | 3.961 % | c | 25329 | 679 908 52373 | 5500 4051 375 | 3.961 % | c | 25479 | 679 908 52373 | 6050 4201 375 | 3.961 % | c | 25704 | 679 908 52373 | 6655 4426 375 | 3.962 % | c | 26042 | 679 908 52373 | 7320 4764 375 | 3.961 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 15.7956 s Remaining CPU time: 164.204 s c =============================================================================== c | 26458 | 679 909 52937 | 5000 5180 375 | 3.961 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 15.8976 s Remaining CPU time: 164.102 s c =============================================================================== c | 26547 | 679 910 53501 | 5000 2679 373 | 3.961 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 15.9296 s Remaining CPU time: 164.07 s c =============================================================================== c | 26587 | 679 911 54065 | 5000 2719 373 | 3.961 % | c | 26688 | 679 911 54065 | 5500 2820 373 | 3.961 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 16.0686 s Remaining CPU time: 163.931 s c =============================================================================== c | 26743 | 679 912 54629 | 5000 2875 373 | 3.961 % | c | 26844 | 679 912 54629 | 5500 2976 373 | 3.961 % | c | 26994 | 679 912 54629 | 6050 3126 373 | 3.961 % | c | 27219 | 679 912 54629 | 6655 3351 372 | 3.961 % | c | 27556 | 679 912 54629 | 7320 3688 372 | 3.961 % | c | 28063 | 679 912 54629 | 8052 4195 372 | 3.961 % | c | 28822 | 679 912 54629 | 8857 4954 371 | 3.961 % | c | 29963 | 679 912 54629 | 9743 6095 371 | 3.961 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 19.554 s Remaining CPU time: 160.446 s c =============================================================================== c | 30922 | 679 913 55193 | 5000 7054 370 | 3.961 % | c | 31022 | 679 913 55193 | 5500 3627 369 | 3.961 % | c | 31172 | 679 913 55193 | 6050 3777 369 | 3.961 % | c | 31397 | 679 913 55193 | 6655 4002 369 | 3.961 % | c | 31734 | 679 913 55193 | 7320 4339 369 | 3.961 % | c | 32240 | 679 913 55193 | 8052 4845 369 | 3.962 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 21.1188 s Remaining CPU time: 158.881 s c =============================================================================== c | 32618 | 679 914 55757 | 5000 5223 369 | 3.962 % | c | 32718 | 679 914 55757 | 5500 2712 368 | 3.961 % | c | 32868 | 679 914 55757 | 6050 2862 369 | 3.961 % | c | 33094 | 679 914 55757 | 6655 3088 369 | 3.961 % | c | 33432 | 679 914 55757 | 7320 3426 368 | 3.961 % | c | 33938 | 679 914 55757 | 8052 3932 368 | 3.961 % | c | 34697 | 679 914 55757 | 8857 4691 368 | 3.961 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 23.4734 s Remaining CPU time: 156.527 s c =============================================================================== c | 35056 | 679 915 56321 | 5000 5050 368 | 3.961 % | c | 35159 | 679 915 56321 | 5500 2628 367 | 3.961 % | c | 35310 | 679 915 56321 | 6050 2779 367 | 3.961 % | c | 35536 | 679 915 56321 | 6655 3005 367 | 3.961 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 24.1073 s Remaining CPU time: 155.893 s c =============================================================================== c | 35796 | 679 916 56885 | 5000 3265 367 | 3.961 % | c | 35896 | 679 916 56885 | 5500 3365 367 | 3.961 % | c | 36047 | 679 916 56885 | 6050 3516 367 | 3.961 % | c | 36273 | 679 916 56885 | 6655 3742 367 | 3.961 % | c | 36611 | 679 916 56885 | 7320 4080 366 | 3.962 % | c | 37117 | 679 916 56885 | 8052 4586 366 | 3.961 % | c | 37876 | 679 916 56885 | 8857 5345 366 | 3.961 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 26.005 s Remaining CPU time: 153.995 s c =============================================================================== c | 38061 | 679 917 57449 | 5000 5530 366 | 3.961 % | c | 38162 | 679 917 57449 | 5500 2866 365 | 3.961 % | c | 38312 | 679 917 57449 | 6050 3016 365 | 3.961 % | c | 38537 | 679 917 57449 | 6655 3241 364 | 3.961 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 26.638 s Remaining CPU time: 153.362 s c =============================================================================== c | 38758 | 679 918 58013 | 5000 3462 364 | 3.961 % | c | 38858 | 679 918 58013 | 5500 3562 364 | 3.961 % | c | 39008 | 679 918 58013 | 6050 3712 364 | 3.961 % | c | 39234 | 679 918 58013 | 6655 3938 364 | 3.961 % | c | 39574 | 679 918 58013 | 7320 4278 364 | 3.961 % | c | 40080 | 679 918 58013 | 8052 4784 364 | 3.961 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 28.0087 s Remaining CPU time: 151.991 s c =============================================================================== c | 40330 | 679 919 58577 | 5000 5034 364 | 3.961 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 28.0877 s Remaining CPU time: 151.912 s c =============================================================================== c | 40386 | 679 920 59141 | 5000 2573 362 | 3.961 % | c | 40486 | 679 920 59141 | 5500 2673 363 | 3.961 % | c | 40636 | 679 920 59141 | 6050 2823 362 | 3.961 % | c | 40862 | 679 920 59141 | 6655 3049 362 | 3.961 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 28.6236 s Remaining CPU time: 151.376 s c =============================================================================== c | 40938 | 679 921 59705 | 5000 3125 362 | 3.961 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 28.6436 s Remaining CPU time: 151.356 s c =============================================================================== c | 40947 | 679 922 60269 | 5000 3134 362 | 3.961 % | c | 41048 | 679 922 60269 | 5500 3235 361 | 3.961 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 28.7906 s Remaining CPU time: 151.209 s c =============================================================================== c | 41074 | 679 923 60833 | 5000 3261 361 | 3.961 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 28.8896 s Remaining CPU time: 151.11 s c =============================================================================== c | 41154 | 679 924 61397 | 5000 3341 361 | 3.961 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 28.9066 s Remaining CPU time: 151.093 s c =============================================================================== c | 41160 | 679 925 61961 | 5000 3347 361 | 3.961 % | c | 41260 | 679 925 61961 | 5500 3447 361 | 3.961 % | c | 41411 | 679 925 61961 | 6050 3598 361 | 3.961 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 29.3475 s Remaining CPU time: 150.652 s c =============================================================================== c | 41595 | 679 926 62525 | 5000 3782 361 | 3.961 % | c | 41695 | 679 926 62525 | 5500 3882 360 | 3.961 % | c | 41845 | 679 926 62525 | 6050 4032 360 | 3.961 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 29.6365 s Remaining CPU time: 150.364 s c =============================================================================== c | 41881 | 679 927 63089 | 5000 4068 360 | 3.961 % | c | 41982 | 679 927 63089 | 5500 4169 360 | 3.961 % | c | 42132 | 679 927 63089 | 6050 4319 360 | 3.962 % | c | 42357 | 679 927 63089 | 6655 4544 359 | 3.961 % | c | 42694 | 679 927 63089 | 7320 4881 359 | 3.961 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 30.7803 s Remaining CPU time: 149.22 s c =============================================================================== c | 43031 | 679 928 63653 | 5000 5218 358 | 3.961 % | c | 43132 | 679 928 63653 | 5500 2710 354 | 3.962 % | c | 43283 | 679 928 63653 | 6050 2861 354 | 3.961 % | c | 43508 | 679 928 63653 | 6655 3086 354 | 3.961 % | c | 43845 | 679 928 63653 | 7320 3423 354 | 3.961 % | c | 44352 | 679 928 63653 | 8052 3930 354 | 3.961 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 32.3061 s Remaining CPU time: 147.694 s c =============================================================================== c | 44611 | 679 929 64217 | 5000 4189 354 | 3.961 % | c | 44713 | 679 929 64217 | 5500 4291 354 | 3.961 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 32.4921 s Remaining CPU time: 147.508 s c =============================================================================== c | 44803 | 679 930 64781 | 5000 4381 354 | 3.961 % | c | 44903 | 679 930 64781 | 5500 4481 354 | 3.961 % | c | 45053 | 679 930 64781 | 6050 4631 353 | 3.961 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 32.916 s Remaining CPU time: 147.084 s c =============================================================================== c | 45188 | 679 931 65345 | 5000 4766 353 | 3.961 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 33.029 s Remaining CPU time: 146.971 s c =============================================================================== c | 45282 | 679 932 65909 | 5000 4860 353 | 3.961 % | c | 45383 | 679 932 65909 | 5500 4961 353 | 3.962 % | c | 45535 | 679 932 65909 | 6050 5113 353 | 3.961 % | c | 45760 | 679 932 65909 | 6655 5338 353 | 3.961 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 33.6949 s Remaining CPU time: 146.305 s c =============================================================================== c | 45981 | 679 933 66473 | 5000 5559 353 | 3.961 % | c | 46082 | 679 933 66473 | 5500 2881 351 | 3.961 % | c | 46232 | 679 933 66473 | 6050 3031 351 | 3.961 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 34.1008 s Remaining CPU time: 145.899 s c =============================================================================== c | 46367 | 679 934 67037 | 5000 3166 350 | 3.961 % | c | 46468 | 679 934 67037 | 5500 3267 350 | 3.961 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 34.2998 s Remaining CPU time: 145.7 s c =============================================================================== c | 46566 | 679 935 67601 | 5000 3365 350 | 3.961 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 34.3908 s Remaining CPU time: 145.609 s c =============================================================================== c | 46639 | 679 936 68165 | 5000 3438 350 | 3.961 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 34.4528 s Remaining CPU time: 145.547 s c =============================================================================== c | 46682 | 679 937 68729 | 5000 3481 350 | 3.961 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 34.4978 s Remaining CPU time: 145.502 s c =============================================================================== c | 46707 | 679 938 69293 | 5000 3506 350 | 3.961 % | c | 46807 | 679 938 69293 | 5500 3606 350 | 3.961 % | c | 46960 | 679 938 69293 | 6050 3759 349 | 3.961 % | c | 47186 | 679 938 69293 | 6655 3985 349 | 3.962 % | c | 47524 | 679 938 69293 | 7320 4323 348 | 3.961 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 35.4646 s Remaining CPU time: 144.535 s c =============================================================================== c | 47698 | 679 939 69857 | 5000 4497 348 | 3.961 % | c | 47798 | 679 939 69857 | 5500 4597 348 | 3.962 % | c | 47949 | 679 939 69857 | 6050 4748 348 | 3.961 % | c | 48174 | 679 939 69857 | 6655 4973 348 | 3.961 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 36.0615 s Remaining CPU time: 143.938 s c =============================================================================== c | 48289 | 679 940 70421 | 5000 5088 347 | 3.961 % | c | 48389 | 679 940 70421 | 5500 2644 344 | 3.961 % | c | 48539 | 679 940 70421 | 6050 2794 343 | 3.961 % | c | 48766 | 679 940 70421 | 6655 3021 343 | 3.961 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 36.6034 s Remaining CPU time: 143.397 s c =============================================================================== c | 48841 | 679 941 70985 | 5000 3096 343 | 3.961 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 36.7024 s Remaining CPU time: 143.298 s c =============================================================================== c | 48935 | 679 942 71549 | 5000 3190 343 | 3.961 % | c | 49039 | 679 942 71549 | 5500 3294 343 | 3.961 % | c | 49191 | 679 942 71549 | 6050 3446 343 | 3.961 % | c | 49416 | 679 942 71549 | 6655 3671 343 | 3.961 % | c | 49754 | 679 942 71549 | 7320 4009 342 | 3.961 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 37.7063 s Remaining CPU time: 142.294 s c =============================================================================== c | 49888 | 679 943 72113 | 5000 4143 342 | 3.961 % | c | 49989 | 679 943 72113 | 5500 4244 342 | 3.961 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 37.8812 s Remaining CPU time: 142.119 s c =============================================================================== c | 50026 | 679 944 72677 | 5000 4281 342 | 3.961 % | c | 50126 | 679 944 72677 | 5500 4381 342 | 3.961 % | c | 50276 | 679 944 72677 | 6050 4531 342 | 3.961 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 38.1682 s Remaining CPU time: 141.832 s c =============================================================================== c | 50311 | 679 945 73241 | 5000 4566 342 | 3.961 % | c | 50412 | 679 945 73241 | 5500 4667 341 | 3.962 % | c | 50563 | 679 945 73241 | 6050 4818 341 | 3.961 % | c | 50790 | 679 945 73241 | 6655 5045 341 | 3.961 % | c | 51128 | 679 945 73241 | 7320 5383 341 | 3.961 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 39.0641 s Remaining CPU time: 140.936 s c =============================================================================== c | 51136 | 679 946 73805 | 5000 5391 341 | 3.961 % | c | 51236 | 679 946 73805 | 5500 2796 337 | 3.961 % | c | 51387 | 679 946 73805 | 6050 2947 337 | 3.961 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 39.646 s Remaining CPU time: 140.354 s c =============================================================================== c | 51606 | 679 947 74369 | 5000 3166 337 | 3.961 % | c | 51706 | 679 947 74369 | 5500 3266 337 | 3.961 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 39.9769 s Remaining CPU time: 140.023 s c =============================================================================== c | 51847 | 679 948 74933 | 5000 3407 337 | 3.961 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 40.0549 s Remaining CPU time: 139.945 s c =============================================================================== c | 51893 | 679 949 75497 | 5000 3453 337 | 3.961 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 40.1259 s Remaining CPU time: 139.874 s c =============================================================================== c | 51941 | 679 950 76061 | 5000 3501 336 | 3.961 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 40.2029 s Remaining CPU time: 139.797 s c =============================================================================== c | 51996 | 679 951 76625 | 5000 3556 336 | 3.961 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 40.2669 s Remaining CPU time: 139.733 s c =============================================================================== c | 52031 | 679 952 77189 | 5000 3591 336 | 3.961 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 40.3279 s Remaining CPU time: 139.672 s c =============================================================================== c | 52071 | 679 953 77753 | 5000 3631 336 | 3.961 % | c | 52171 | 679 953 77753 | 5500 3731 336 | 3.961 % | c | 52321 | 679 953 77753 | 6050 3881 336 | 3.961 % | c | 52546 | 679 953 77753 | 6655 4106 335 | 3.961 % | c | 52883 | 679 953 77753 | 7320 4443 334 | 3.961 % | c | 53389 | 679 953 77753 | 8052 4949 334 | 3.961 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 42.1486 s Remaining CPU time: 137.851 s c =============================================================================== c | 53544 | 679 954 78317 | 5000 5104 334 | 3.961 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 42.2276 s Remaining CPU time: 137.772 s c =============================================================================== c | 53580 | 679 955 78881 | 5000 2588 329 | 3.961 % | c | 53681 | 679 955 78881 | 5500 2689 329 | 3.961 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 42.4775 s Remaining CPU time: 137.522 s c =============================================================================== c | 53766 | 679 956 79445 | 5000 2774 329 | 3.961 % | c | 53867 | 679 956 79445 | 5500 2875 329 | 3.961 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 42.7475 s Remaining CPU time: 137.252 s c =============================================================================== c | 53921 | 679 957 80009 | 5000 2929 328 | 3.961 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 42.8775 s Remaining CPU time: 137.123 s c =============================================================================== c | 54007 | 679 958 80573 | 5000 3015 328 | 3.961 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 43.0235 s Remaining CPU time: 136.977 s c =============================================================================== c | 54097 | 679 959 81137 | 5000 3105 328 | 3.961 % | c | 54197 | 679 959 81137 | 5500 3205 328 | 3.961 % | c | 54347 | 679 959 81137 | 6050 3355 328 | 3.961 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 43.4974 s Remaining CPU time: 136.503 s c =============================================================================== c | 54507 | 679 960 81701 | 5000 3515 327 | 3.961 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 43.5784 s Remaining CPU time: 136.422 s c =============================================================================== c | 54558 | 679 961 82265 | 5000 3566 327 | 3.961 % | c | 54661 | 679 961 82265 | 5500 3669 327 | 3.961 % | c | 54812 | 679 961 82265 | 6050 3820 327 | 3.961 % | c | 55037 | 679 961 82265 | 6655 4045 326 | 3.961 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 44.4862 s Remaining CPU time: 135.514 s c =============================================================================== c | 55289 | 679 962 82829 | 5000 4297 326 | 3.961 % | c | 55389 | 679 962 82829 | 5500 4397 326 | 3.961 % | c | 55541 | 679 962 82829 | 6050 4549 326 | 3.961 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 45.0541 s Remaining CPU time: 134.946 s c =============================================================================== c | 55757 | 679 963 83393 | 5000 4765 325 | 3.961 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 45.1051 s Remaining CPU time: 134.895 s c =============================================================================== c | 55782 | 679 964 83957 | 5000 4790 325 | 3.961 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 45.2411 s Remaining CPU time: 134.759 s c =============================================================================== c | 55868 | 679 965 84521 | 5000 4876 325 | 3.961 % | c | 55968 | 679 965 84521 | 5500 4976 325 | 3.961 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 45.5641 s Remaining CPU time: 134.436 s c =============================================================================== c | 56088 | 679 966 85085 | 5000 5096 325 | 3.961 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 45.7011 s Remaining CPU time: 134.299 s c =============================================================================== c | 56170 | 679 967 85649 | 5000 2630 320 | 3.961 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 45.847 s Remaining CPU time: 134.153 s c =============================================================================== c | 56248 | 679 968 86213 | 5000 2708 320 | 3.961 % | c | 56348 | 679 968 86213 | 5500 2808 319 | 3.962 % | c | 56500 | 679 968 86213 | 6050 2960 319 | 3.961 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 46.334 s Remaining CPU time: 133.666 s c =============================================================================== c | 56569 | 679 969 86777 | 5000 3029 319 | 3.961 % | c | 56669 | 679 969 86777 | 5500 3129 318 | 3.961 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 46.5889 s Remaining CPU time: 133.411 s c =============================================================================== c | 56719 | 679 970 87341 | 5000 3179 318 | 3.961 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 46.6739 s Remaining CPU time: 133.326 s c =============================================================================== c | 56766 | 679 971 87905 | 5000 3226 318 | 3.961 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 46.7389 s Remaining CPU time: 133.261 s c =============================================================================== c | 56799 | 679 972 88469 | 5000 3259 318 | 3.961 % | c | 56899 | 679 972 88469 | 5500 3359 318 | 3.961 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 47.0448 s Remaining CPU time: 132.955 s c =============================================================================== c | 56988 | 679 973 89033 | 5000 3448 317 | 3.961 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 47.2078 s Remaining CPU time: 132.792 s c =============================================================================== c | 57084 | 679 974 89597 | 5000 3544 317 | 3.961 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 47.3658 s Remaining CPU time: 132.634 s c =============================================================================== c | 57177 | 679 975 90161 | 5000 3637 317 | 3.961 % | c | 57278 | 679 975 90161 | 5500 3738 316 | 3.961 % | c | 57428 | 679 975 90161 | 6050 3888 316 | 3.962 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 47.9087 s Remaining CPU time: 132.091 s c =============================================================================== c | 57567 | 679 976 90725 | 5000 4027 316 | 3.962 % | c | 57667 | 679 976 90725 | 5500 4127 315 | 3.961 % | c | 57817 | 679 976 90725 | 6050 4277 315 | 3.961 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 48.4376 s Remaining CPU time: 131.562 s c =============================================================================== c | 57894 | 679 977 91289 | 5000 4354 315 | 3.961 % | c | 57996 | 679 977 91289 | 5500 4456 314 | 3.961 % | c | 58147 | 679 977 91289 | 6050 4607 314 | 3.961 % | c | 58373 | 679 977 91289 | 6655 4833 313 | 3.961 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 49.4945 s Remaining CPU time: 130.506 s c =============================================================================== c | 58605 | 679 978 91853 | 5000 5065 313 | 3.961 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 49.6015 s Remaining CPU time: 130.399 s c =============================================================================== c | 58651 | 679 979 92417 | 5000 2579 305 | 3.961 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 49.7014 s Remaining CPU time: 130.299 s c =============================================================================== c | 58698 | 679 980 92981 | 5000 2626 305 | 3.961 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 49.7674 s Remaining CPU time: 130.233 s c =============================================================================== c | 58724 | 679 981 93545 | 5000 2652 305 | 3.961 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 49.8294 s Remaining CPU time: 130.171 s c =============================================================================== c | 58747 | 679 982 94109 | 5000 2675 305 | 3.961 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 49.9484 s Remaining CPU time: 130.052 s c =============================================================================== c | 58829 | 679 983 94673 | 5000 2757 305 | 3.961 % | c | 58929 | 679 983 94673 | 5500 2857 305 | 3.962 % | c | 59079 | 679 983 94673 | 6050 3007 304 | 3.961 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 50.4163 s Remaining CPU time: 129.584 s c =============================================================================== c | 59095 | 679 984 95237 | 5000 3023 304 | 3.961 % | c | 59195 | 679 984 95237 | 5500 3123 304 | 3.961 % | c | 59347 | 679 984 95237 | 6050 3275 304 | 3.961 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 50.9922 s Remaining CPU time: 129.008 s c =============================================================================== c | 59467 | 679 985 95801 | 5000 3395 303 | 3.961 % | c | 59567 | 679 985 95801 | 5500 3495 303 | 3.961 % | c | 59719 | 679 985 95801 | 6050 3647 303 | 3.961 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 51.4732 s Remaining CPU time: 128.527 s c =============================================================================== c | 59757 | 679 986 96365 | 5000 3685 302 | 3.961 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 51.5882 s Remaining CPU time: 128.412 s c =============================================================================== c | 59827 | 679 987 96929 | 5000 3755 302 | 3.961 % | c | 59929 | 679 987 96929 | 5500 3857 302 | 3.961 % | c | 60079 | 679 987 96929 | 6050 4007 302 | 3.961 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 52.338 s Remaining CPU time: 127.662 s c =============================================================================== c | 60278 | 679 988 97493 | 5000 4206 301 | 3.961 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 52.462 s Remaining CPU time: 127.538 s c =============================================================================== c | 60347 | 679 989 98057 | 5000 4275 301 | 3.961 % | c | 60447 | 679 989 98057 | 5500 4375 301 | 3.961 % | c | 60597 | 679 989 98057 | 6050 4525 300 | 3.961 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 53.1439 s Remaining CPU time: 126.856 s c =============================================================================== c | 60745 | 679 990 98621 | 5000 4673 300 | 3.961 % | c | 60845 | 679 990 98621 | 5500 4773 300 | 3.961 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 53.4699 s Remaining CPU time: 126.53 s c =============================================================================== c | 60927 | 679 991 99185 | 5000 4855 300 | 3.961 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 53.6228 s Remaining CPU time: 126.377 s c =============================================================================== c | 61016 | 679 992 99749 | 5000 4944 300 | 3.961 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 53.7718 s Remaining CPU time: 126.228 s c =============================================================================== c | 61101 | 679 993 100313 | 5000 5029 299 | 3.961 % | c | 61201 | 679 993 100313 | 5500 2615 293 | 3.961 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 54.1058 s Remaining CPU time: 125.894 s c =============================================================================== c | 61284 | 679 994 100877 | 5000 2698 293 | 3.961 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 54.2238 s Remaining CPU time: 125.776 s c =============================================================================== c | 61338 | 679 995 101441 | 5000 2752 292 | 3.961 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 54.3107 s Remaining CPU time: 125.689 s c =============================================================================== c | 61374 | 679 996 102005 | 5000 2788 292 | 3.961 % | c | 61475 | 679 996 102005 | 5500 2889 292 | 3.961 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 54.5517 s Remaining CPU time: 125.448 s c =============================================================================== c | 61487 | 679 997 102569 | 5000 2901 292 | 3.961 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 54.6807 s Remaining CPU time: 125.319 s c =============================================================================== c | 61537 | 679 998 103133 | 5000 2951 292 | 3.961 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 54.7317 s Remaining CPU time: 125.268 s c =============================================================================== c | 61558 | 679 999 103697 | 5000 2972 292 | 3.961 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 54.7717 s Remaining CPU time: 125.228 s c =============================================================================== c | 61566 | 679 1000 104261 | 5000 2980 292 | 3.961 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 54.9656 s Remaining CPU time: 125.034 s c =============================================================================== c | 61651 | 679 1001 104825 | 5000 3065 291 | 3.961 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 55.0496 s Remaining CPU time: 124.95 s c =============================================================================== c | 61692 | 679 1002 105389 | 5000 3106 291 | 3.961 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 55.0976 s Remaining CPU time: 124.902 s c =============================================================================== c | 61704 | 679 1003 105953 | 5000 3118 291 | 3.961 % | c | 61804 | 679 1003 105953 | 5500 3218 290 | 3.961 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 55.4706 s Remaining CPU time: 124.529 s c =============================================================================== c | 61888 | 679 1004 106517 | 5000 3302 290 | 3.961 % | c | 61988 | 679 1004 106517 | 5500 3402 290 | 3.962 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 55.8645 s Remaining CPU time: 124.135 s c =============================================================================== c | 62087 | 679 1005 107081 | 5000 3501 289 | 3.962 % | c | 62187 | 679 1005 107081 | 5500 3601 289 | 3.962 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 56.2424 s Remaining CPU time: 123.758 s c =============================================================================== c | 62270 | 679 1006 107645 | 5000 3684 288 | 3.962 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 56.3254 s Remaining CPU time: 123.675 s c =============================================================================== c | 62301 | 679 1007 108209 | 5000 3715 288 | 3.962 % | c | 62402 | 679 1007 108209 | 5500 3816 288 | 3.962 % | c | 62553 | 679 1007 108209 | 6050 3967 287 | 3.962 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 57.2273 s Remaining CPU time: 122.773 s c =============================================================================== c | 62759 | 679 1008 108773 | 5000 4173 287 | 3.962 % | c | 62859 | 679 1008 108773 | 5500 4273 286 | 3.961 % | c | 63010 | 679 1008 108773 | 6050 4424 286 | 3.961 % | c | 63236 | 679 1008 108773 | 6655 4650 285 | 3.961 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 58.5511 s Remaining CPU time: 121.449 s c =============================================================================== c | 63446 | 679 1009 109337 | 5000 4860 284 | 3.961 % | c | 63547 | 679 1009 109337 | 5500 4961 284 | 3.961 % | c | 63700 | 679 1009 109337 | 6050 5114 284 | 3.962 % | c | 63925 | 679 1009 109337 | 6655 5339 283 | 3.962 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 59.8729 s Remaining CPU time: 120.127 s c =============================================================================== c | 64174 | 679 1010 109901 | 5000 5588 283 | 3.962 % | c | 64274 | 679 1010 109901 | 5500 2894 273 | 3.962 % | c | 64425 | 679 1010 109901 | 6050 3045 273 | 3.961 % | c | 64652 | 679 1010 109901 | 6655 3272 272 | 3.961 % | c | 64989 | 679 1010 109901 | 7320 3609 272 | 3.962 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 62.1396 s Remaining CPU time: 117.86 s c =============================================================================== c | 65435 | 679 1011 110465 | 5000 4055 272 | 3.962 % | c | 65536 | 679 1011 110465 | 5500 4156 272 | 3.961 % | c | 65686 | 679 1011 110465 | 6050 4306 272 | 3.961 % | c | 65911 | 679 1011 110465 | 6655 4531 272 | 3.961 % | c | 66248 | 679 1011 110465 | 7320 4868 271 | 3.961 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 63.9503 s Remaining CPU time: 116.05 s c =============================================================================== c | 66412 | 679 1012 111029 | 5000 5032 271 | 3.961 % | c | 66514 | 679 1012 111029 | 5500 2618 269 | 3.961 % | c | 66664 | 679 1012 111029 | 6050 2768 269 | 3.962 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 64.6802 s Remaining CPU time: 115.32 s c =============================================================================== c | 66760 | 679 1013 111593 | 5000 2864 269 | 3.962 % | c | 66860 | 679 1013 111593 | 5500 2964 269 | 3.962 % | c | 67011 | 679 1013 111593 | 6050 3115 269 | 3.962 % | c | 67237 | 679 1013 111593 | 6655 3341 268 | 3.962 % | c | 67574 | 679 1013 111593 | 7320 3678 268 | 3.961 % | c | 68080 | 679 1013 111593 | 8052 4184 268 | 3.961 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 67.1548 s Remaining CPU time: 112.845 s c =============================================================================== c | 68120 | 679 1014 112157 | 5000 4224 268 | 3.961 % | c | 68221 | 679 1014 112157 | 5500 4325 268 | 3.962 % | c | 68373 | 679 1014 112157 | 6050 4477 268 | 3.961 % | c | 68598 | 679 1014 112157 | 6655 4702 268 | 3.961 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 68.6406 s Remaining CPU time: 111.359 s c =============================================================================== c | 68928 | 679 1015 112721 | 5000 5032 268 | 3.961 % | c | 69029 | 679 1015 112721 | 5500 2617 266 | 3.961 % | c | 69179 | 679 1015 112721 | 6050 2767 266 | 3.961 % | c | 69404 | 679 1015 112721 | 6655 2992 266 | 3.961 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 69.8854 s Remaining CPU time: 110.115 s c =============================================================================== c | 69592 | 679 1016 113285 | 5000 3180 266 | 3.961 % | c | 69694 | 679 1016 113285 | 5500 3282 266 | 3.961 % | c | 69844 | 679 1016 113285 | 6050 3432 265 | 3.961 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 70.6133 s Remaining CPU time: 109.387 s c =============================================================================== c | 69929 | 679 1017 113849 | 5000 3517 265 | 3.961 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 70.7942 s Remaining CPU time: 109.206 s c =============================================================================== c | 70008 | 679 1018 114413 | 5000 3596 265 | 3.961 % | c | 70108 | 679 1018 114413 | 5500 3696 265 | 3.961 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 71.3452 s Remaining CPU time: 108.655 s c =============================================================================== c | 70252 | 679 1019 114977 | 5000 3840 265 | 3.961 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 71.4251 s Remaining CPU time: 108.575 s c =============================================================================== c | 70278 | 679 1020 115541 | 5000 3866 265 | 3.961 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 71.4921 s Remaining CPU time: 108.508 s c =============================================================================== c | 70298 | 679 1021 116105 | 5000 3886 265 | 3.961 % | c | 70398 | 679 1021 116105 | 5500 3986 264 | 3.961 % | c | 70548 | 679 1021 116105 | 6050 4136 264 | 3.961 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 72.151 s Remaining CPU time: 107.849 s c =============================================================================== c | 70677 | 679 1022 116669 | 5000 4265 264 | 3.961 % | c | 70777 | 679 1022 116669 | 5500 4365 264 | 3.961 % | c | 70929 | 679 1022 116669 | 6050 4517 264 | 3.962 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 72.7609 s Remaining CPU time: 107.239 s c =============================================================================== c | 71038 | 679 1023 117233 | 5000 4626 263 | 3.962 % | c | 71138 | 679 1023 117233 | 5500 4726 263 | 3.961 % | c | 71288 | 679 1023 117233 | 6050 4876 263 | 3.961 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 73.3299 s Remaining CPU time: 106.67 s c =============================================================================== c | 71380 | 679 1024 117797 | 5000 4968 263 | 3.961 % | c | 71481 | 679 1024 117797 | 5500 5069 263 | 3.961 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 73.7698 s Remaining CPU time: 106.23 s c =============================================================================== c | 71629 | 679 1025 118361 | 5000 5217 263 | 3.961 % | c | 71731 | 679 1025 118361 | 5500 2711 259 | 3.961 % | c | 71882 | 679 1025 118361 | 6050 2862 258 | 3.962 % | c | 72107 | 679 1025 118361 | 6655 3087 258 | 3.962 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 74.9676 s Remaining CPU time: 105.032 s c =============================================================================== c | 72284 | 679 1026 118925 | 5000 3264 258 | 3.962 % | c | 72386 | 679 1026 118925 | 5500 3366 258 | 3.962 % | c | 72536 | 679 1026 118925 | 6050 3516 258 | 3.961 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 75.7695 s Remaining CPU time: 104.231 s c =============================================================================== c | 72744 | 679 1027 119489 | 5000 3724 257 | 3.961 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 75.9105 s Remaining CPU time: 104.09 s c =============================================================================== c | 72826 | 679 1028 120053 | 5000 3806 257 | 3.961 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 76.0924 s Remaining CPU time: 103.908 s c =============================================================================== c | 72921 | 679 1029 120617 | 5000 3901 257 | 3.961 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 76.2394 s Remaining CPU time: 103.761 s c =============================================================================== c | 73012 | 679 1030 121181 | 5000 3992 257 | 3.961 % | c | 73113 | 679 1030 121181 | 5500 4093 257 | 3.961 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 76.6493 s Remaining CPU time: 103.351 s c =============================================================================== c | 73242 | 679 1031 121745 | 5000 4222 256 | 3.961 % | c | 73343 | 679 1031 121745 | 5500 4323 256 | 3.961 % | c | 73493 | 679 1031 121745 | 6050 4473 256 | 3.961 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 77.3082 s Remaining CPU time: 102.692 s c =============================================================================== c | 73619 | 679 1032 122309 | 5000 4599 256 | 3.961 % | c | 73719 | 679 1032 122309 | 5500 4699 256 | 3.961 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 77.6462 s Remaining CPU time: 102.354 s c =============================================================================== c | 73779 | 679 1033 122873 | 5000 4759 255 | 3.961 % | c | 73879 | 679 1033 122873 | 5500 4859 255 | 3.961 % | c | 74030 | 679 1033 122873 | 6050 5010 255 | 3.962 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 78.2881 s Remaining CPU time: 101.712 s c =============================================================================== c | 74135 | 679 1034 123437 | 5000 5115 255 | 3.962 % | c | 74235 | 679 1034 123437 | 5500 2658 250 | 3.961 % | c | 74385 | 679 1034 123437 | 6050 2808 250 | 3.961 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 78.948 s Remaining CPU time: 101.052 s c =============================================================================== c | 74506 | 679 1035 124001 | 5000 2929 250 | 3.961 % | c | 74607 | 679 1035 124001 | 5500 3030 250 | 3.961 % | c | 74757 | 679 1035 124001 | 6050 3180 250 | 3.961 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 79.6639 s Remaining CPU time: 100.336 s c =============================================================================== c | 74880 | 679 1036 124565 | 5000 3303 249 | 3.961 % | c | 74980 | 679 1036 124565 | 5500 3403 249 | 3.961 % | c | 75130 | 679 1036 124565 | 6050 3553 249 | 3.962 % | c | 75355 | 679 1036 124565 | 6655 3778 249 | 3.961 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 80.9397 s Remaining CPU time: 99.0603 s c =============================================================================== c | 75623 | 679 1037 125129 | 5000 4046 248 | 3.961 % | c | 75725 | 679 1037 125129 | 5500 4148 248 | 3.961 % | c | 75876 | 679 1037 125129 | 6050 4299 248 | 3.962 % | c | 76101 | 679 1037 125129 | 6655 4524 248 | 3.961 % | c | 76438 | 679 1037 125129 | 7320 4861 247 | 3.961 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 82.4695 s Remaining CPU time: 97.5305 s c =============================================================================== c | 76445 | 679 1038 125693 | 5000 4868 247 | 3.961 % | c | 76546 | 679 1038 125693 | 5500 4969 247 | 3.962 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 82.8444 s Remaining CPU time: 97.1556 s c =============================================================================== c | 76638 | 679 1039 126257 | 5000 5061 247 | 3.962 % | c | 76738 | 679 1039 126257 | 5500 2631 243 | 3.961 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 83.2943 s Remaining CPU time: 96.7057 s c =============================================================================== c | 76876 | 679 1040 126821 | 5000 2769 243 | 3.961 % | c | 76976 | 679 1040 126821 | 5500 2869 243 | 3.962 % | c | 77129 | 679 1040 126821 | 6050 3022 242 | 3.962 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 83.8453 s Remaining CPU time: 96.1547 s c =============================================================================== c | 77134 | 679 1041 127385 | 5000 3027 242 | 3.962 % | c | 77235 | 679 1041 127385 | 5500 3128 242 | 3.962 % | c | 77385 | 679 1041 127385 | 6050 3278 242 | 3.962 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 84.3262 s Remaining CPU time: 95.6738 s c =============================================================================== c | 77404 | 679 1042 127949 | 5000 3297 242 | 3.962 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 84.4932 s Remaining CPU time: 95.5068 s c =============================================================================== c | 77487 | 679 1043 128513 | 5000 3380 242 | 3.962 % | c | 77588 | 679 1043 128513 | 5500 3481 242 | 3.961 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 84.9261 s Remaining CPU time: 95.0739 s c =============================================================================== c | 77698 | 679 1044 129077 | 5000 3591 242 | 3.961 % | c | 77799 | 679 1044 129077 | 5500 3692 241 | 3.962 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 85.22 s Remaining CPU time: 94.78 s c =============================================================================== c | 77824 | 679 1045 129641 | 5000 3717 241 | 3.962 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 85.394 s Remaining CPU time: 94.606 s c =============================================================================== c | 77910 | 679 1046 130205 | 5000 3803 241 | 3.962 % | c | 78010 | 679 1046 130205 | 5500 3903 241 | 3.961 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 85.715 s Remaining CPU time: 94.285 s c =============================================================================== c | 78064 | 679 1047 130769 | 5000 3957 241 | 3.961 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 85.79 s Remaining CPU time: 94.21 s c =============================================================================== c | 78091 | 679 1048 131333 | 5000 3984 241 | 3.961 % | c | 78192 | 679 1048 131333 | 5500 4085 241 | 3.961 % | c | 78345 | 679 1048 131333 | 6050 4238 240 | 3.961 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 86.3599 s Remaining CPU time: 93.6401 s c =============================================================================== c | 78379 | 679 1049 131897 | 5000 4272 240 | 3.961 % | c | 78479 | 679 1049 131897 | 5500 4372 240 | 3.961 % | c | 78629 | 679 1049 131897 | 6050 4522 240 | 3.961 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 87.2357 s Remaining CPU time: 92.7643 s c =============================================================================== c | 78780 | 679 1050 132461 | 5000 4673 239 | 3.961 % | c | 78880 | 679 1050 132461 | 5500 4773 239 | 3.961 % | c | 79032 | 679 1050 132461 | 6050 4925 239 | 3.961 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 88.0976 s Remaining CPU time: 91.9024 s c =============================================================================== c | 79193 | 679 1051 133025 | 5000 5086 239 | 3.961 % | c | 79293 | 679 1051 133025 | 5500 2643 234 | 3.961 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 88.4775 s Remaining CPU time: 91.5225 s c =============================================================================== c | 79351 | 679 1052 133589 | 5000 2701 234 | 3.961 % | c | 79452 | 679 1052 133589 | 5500 2802 233 | 3.962 % | c | 79602 | 679 1052 133589 | 6050 2952 233 | 3.962 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 89.3114 s Remaining CPU time: 90.6886 s c =============================================================================== c | 79757 | 679 1053 134153 | 5000 3107 233 | 3.962 % | c | 79858 | 679 1053 134153 | 5500 3208 232 | 3.962 % | c | 80008 | 679 1053 134153 | 6050 3358 232 | 3.961 % | c | 80234 | 679 1053 134153 | 6655 3584 232 | 3.961 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 90.8372 s Remaining CPU time: 89.1628 s c =============================================================================== c | 80403 | 679 1054 134717 | 5000 3753 232 | 3.961 % | c | 80503 | 679 1054 134717 | 5500 3853 231 | 3.962 % | c | 80653 | 679 1054 134717 | 6050 4003 231 | 3.961 % | c | 80878 | 679 1054 134717 | 6655 4228 231 | 3.961 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 92.5529 s Remaining CPU time: 87.4471 s c =============================================================================== c | 81200 | 679 1055 135281 | 5000 4550 230 | 3.961 % | c | 81301 | 679 1055 135281 | 5500 4651 230 | 3.962 % | c | 81452 | 679 1055 135281 | 6050 4802 230 | 3.961 % | c | 81677 | 679 1055 135281 | 6655 5027 230 | 3.961 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 94.0827 s Remaining CPU time: 85.9173 s c =============================================================================== c | 81880 | 679 1056 135845 | 5000 5230 230 | 3.961 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 94.1957 s Remaining CPU time: 85.8043 s c =============================================================================== c | 81938 | 679 1057 136409 | 5000 2673 225 | 3.961 % | c | 82039 | 679 1057 136409 | 5500 2774 225 | 3.961 % | c | 82190 | 679 1057 136409 | 6050 2925 225 | 3.962 % | c | 82415 | 679 1057 136409 | 6655 3150 225 | 3.962 % | c | 82753 | 679 1057 136409 | 7320 3488 225 | 3.962 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 96.6403 s Remaining CPU time: 83.3597 s c =============================================================================== c | 82981 | 679 1058 136973 | 5000 3716 225 | 3.962 % | c | 83081 | 679 1058 136973 | 5500 3816 225 | 3.961 % | c | 83231 | 679 1058 136973 | 6050 3966 225 | 3.961 % | c | 83456 | 679 1058 136973 | 6655 4191 225 | 3.961 % | c | 83793 | 679 1058 136973 | 7320 4528 225 | 3.961 % | c | 84300 | 679 1058 136973 | 8052 5035 225 | 3.962 % | c | 85059 | 679 1058 136973 | 8857 5794 225 | 3.961 % | c | 86198 | 679 1058 136973 | 9743 6933 225 | 3.961 % | c | 87906 | 679 1058 136973 | 10717 8641 224 | 3.961 % | c | 90468 | 679 1058 136973 | 11789 5638 225 | 3.961 % | c | 94312 | 679 1058 136973 | 12968 9482 224 | 3.961 % | c | 100078 | 679 1058 136973 | 14265 8557 224 | 3.961 % | c | 108728 | 679 1058 136973 | 15692 9864 225 | 3.961 % | c There are 28 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 894 1840 138812 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 934 1842 138917 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 980 1844 138993 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1046 1849 139158 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1129 1855 139360 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1233 1857 139551 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1403 1866 139870 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1607 1869 140254 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1748 1882 140546 | 5000 0 nan | 0.000 % | c | 101 | 1748 1882 140546 | 5500 101 18 | 4.272 % | c | 251 | 1748 1882 140546 | 6050 251 16 | 4.272 % | c | 476 | 1748 1882 140546 | 6655 476 16 | 4.272 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2205 1914 141490 | 5000 0 nan | 0.000 % | c | 100 | 2205 1914 141490 | 5500 100 32 | 1.956 % | c | 250 | 2205 1914 141490 | 6050 250 21 | 1.956 % | c | 475 | 2205 1914 141490 | 6655 475 17 | 1.957 % | c | 812 | 2205 1914 141490 | 7320 812 17 | 1.956 % | c | 1319 | 2205 1914 141490 | 8052 1319 16 | 1.957 % | c | 2078 | 2203 1914 141490 | 8857 1335 15 | 2.045 % | c | 3220 | 2203 1914 141490 | 9743 2477 15 | 2.045 % | c | 4929 | 2203 1914 141490 | 10717 4186 19 | 2.045 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2740 1963 142648 | 5000 0 nan | 0.000 % | c | 102 | 2740 1963 142648 | 5500 102 20 | 1.047 % | c | 253 | 2740 1963 142648 | 6050 253 22 | 1.047 % | c | 480 | 2740 1963 142648 | 6655 480 20 | 1.047 % | c | 818 | 2740 1963 142648 | 7320 818 19 | 1.047 % | c | 1326 | 2740 1963 142648 | 8052 1326 18 | 1.047 % | c | 2086 | 2740 1963 142648 | 8857 2086 20 | 1.047 % | c | 3231 | 2740 1963 142648 | 9743 3231 21 | 1.047 % | c | 4939 | 2740 1963 142648 | 10717 4939 21 | 1.047 % | c | 7501 | 2740 1963 142648 | 11789 7501 23 | 1.047 % | c | 11348 | 2740 1963 142648 | 12968 11348 22 | 1.047 % | c | 17114 | 2740 1963 142648 | 14265 10558 21 | 1.047 % | c | 25765 | 2726 1963 142648 | 15692 3222 13 | 1.553 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3270 1988 143763 | 5000 0 nan | 0.000 % | c | 101 | 3270 1988 143763 | 5500 101 54 | 0.849 % | c | 252 | 3270 1988 143763 | 6050 252 37 | 0.849 % | c | 477 | 3270 1988 143763 | 6655 477 32 | 0.849 % | c | 814 | 3270 1988 143763 | 7320 814 38 | 0.849 % | c | 1321 | 3270 1988 143763 | 8052 1321 52 | 0.849 % | c | 2083 | 3270 1988 143763 | 8857 2083 52 | 0.849 % | c | 3226 | 3270 1988 143763 | 9743 3226 58 | 0.849 % | c | 4934 | 3270 1988 143763 | 10717 4934 66 | 0.849 % | c | 7502 | 3270 1988 143763 | 11789 7502 71 | 0.849 % | c | 11350 | 3270 1988 143763 | 12968 11350 73 | 0.849 % | c | 17119 | 3270 1988 143763 | 14265 10490 68 | 0.849 % | c | 25769 | 3270 1988 143763 | 15692 11854 77 | 0.849 % | c | 38744 | 3270 1988 143763 | 17261 8713 85 | 0.849 % | c | 58206 | 3270 1988 143763 | 18987 10771 77 | 0.849 % | c | 87402 | 3270 1988 143763 | 20886 11037 56 | 0.849 % | c | 131193 | 3270 1988 143763 | 22974 11846 75 | 0.849 % | c | 196877 | 3270 1988 143763 | 25272 18917 46 | 0.849 % | c | 295403 | 3270 1988 143763 | 27799 12847 53 | 0.849 % | c | 443193 | 3268 1988 143763 | 30579 17400 36 | 0.910 % |