c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 998 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 914 | c | Number Clauses: 998 | 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 | 886 1026 4249 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 886 1027 4883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 886 1028 5517 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 886 1029 6151 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 886 1030 6785 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 886 1031 7419 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 886 1032 8053 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 886 1033 8687 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 886 1034 9321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 886 1035 9955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 886 1036 10589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 886 1037 11223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 886 1038 11857 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 886 1039 12491 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 886 1040 13125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 886 1041 13759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 886 1042 14393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 886 1043 15027 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 886 1044 15661 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 886 1045 16295 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 886 1046 16929 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 886 1047 17563 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 886 1048 18197 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 886 1049 18831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 886 1050 19465 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 886 1051 20099 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 886 1052 20733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 886 1053 21367 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 886 1054 22001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 886 1055 22635 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 886 1056 23269 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 886 1057 23903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 886 1058 24537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 886 1059 25171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 886 1060 25805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 886 1061 26439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 886 1062 27073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 886 1063 27707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 886 1064 28341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 886 1065 28975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 886 1066 29609 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 886 1067 30243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 886 1068 30877 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 886 1069 31511 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 886 1070 32145 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 886 1071 32779 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 886 1072 33413 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 886 1073 34047 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 886 1074 34681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 886 1075 35315 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 886 1076 35949 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 886 1077 36583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 886 1078 37217 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 886 1079 37851 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 886 1080 38485 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 886 1081 39119 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 886 1082 39753 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 0 | 886 1083 40387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 886 1084 41021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 886 1085 41655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 886 1086 42289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 886 1087 42923 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 886 1088 43557 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 886 1089 44191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 886 1090 44825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 886 1091 45459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 0 | 886 1092 46093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 886 1093 46727 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 0 | 886 1094 47361 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 0 | 886 1095 47995 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 0 | 886 1096 48629 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 886 1097 49263 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 886 1098 49897 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 886 1099 50531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 886 1100 51165 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 0 | 886 1101 51799 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 0 | 886 1102 52433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 886 1103 53067 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 886 1104 53701 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 0 | 886 1105 54335 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 0 | 886 1106 54969 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 886 1107 55603 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 0 | 886 1108 56237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 0 | 886 1109 56871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 0 | 886 1110 57505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 0 | 886 1111 58139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 0 | 886 1112 58773 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 0 | 886 1113 59407 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 0 | 886 1114 60041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 0 | 886 1115 60675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 0 | 886 1116 61309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 0 | 886 1117 61943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 0 | 886 1118 62577 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 0 | 886 1119 63211 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 0 | 886 1120 63845 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 0 | 886 1121 64479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 0 | 886 1122 65113 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 0 | 886 1123 65747 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 0 | 886 1124 66381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 0 | 886 1125 67015 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 0 | 886 1126 67649 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 0 | 886 1127 68283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 0 | 886 1128 68917 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 0 | 886 1129 69551 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s c =============================================================================== c | 0 | 886 1130 70185 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 886 1131 70819 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 0 | 886 1132 71453 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 0 | 886 1133 72087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 0 | 886 1134 72721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 0 | 886 1135 73355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s c =============================================================================== c | 0 | 886 1136 73989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 0 | 886 1137 74623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 0 | 886 1138 75257 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 0 | 886 1139 75891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 0 | 886 1140 76525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 0 | 886 1141 77159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 0 | 886 1142 77793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 0 | 886 1143 78427 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 0.900863 s Remaining CPU time: 179.099 s c =============================================================================== c | 0 | 886 1144 79061 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 0 | 886 1145 79695 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 0 | 886 1146 80329 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s c =============================================================================== c | 0 | 886 1147 80963 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 0 | 886 1148 81597 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 0 | 886 1149 82231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 0 | 886 1150 82865 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 0 | 886 1151 83499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 0 | 886 1152 84133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 0 | 886 1153 84767 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 886 1154 85401 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 1.08883 s Remaining CPU time: 178.911 s c =============================================================================== c | 0 | 886 1155 86035 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 0 | 886 1156 86669 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 0 | 886 1157 87303 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 0 | 886 1158 87937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 0 | 886 1159 88571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 0 | 886 1160 89205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 1.19882 s Remaining CPU time: 178.801 s c =============================================================================== c | 0 | 886 1161 89839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 1.21881 s Remaining CPU time: 178.781 s c =============================================================================== c | 0 | 886 1162 90473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 0 | 886 1163 91107 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 0 | 886 1164 91741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s c =============================================================================== c | 0 | 886 1165 92375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 0 | 886 1166 93009 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 0 | 886 1167 93643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 0 | 886 1168 94277 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 0 | 886 1169 94911 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 1.38479 s Remaining CPU time: 178.615 s c =============================================================================== c | 0 | 886 1170 95545 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s c =============================================================================== c | 0 | 886 1171 96179 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 1.42778 s Remaining CPU time: 178.572 s c =============================================================================== c | 0 | 886 1172 96813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 0 | 886 1173 97447 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 0 | 886 1174 98081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 0 | 886 1175 98715 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 0 | 886 1176 99349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 1.53277 s Remaining CPU time: 178.467 s c =============================================================================== c | 0 | 886 1177 99983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 1.55476 s Remaining CPU time: 178.445 s c =============================================================================== c | 0 | 886 1178 100617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 1.57776 s Remaining CPU time: 178.422 s c =============================================================================== c | 0 | 886 1179 101251 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 1.60076 s Remaining CPU time: 178.399 s c =============================================================================== c | 0 | 886 1180 101885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s c =============================================================================== c | 0 | 886 1181 102519 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 0 | 886 1182 103153 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 0 | 886 1183 103787 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 1.69174 s Remaining CPU time: 178.308 s c =============================================================================== c | 0 | 886 1184 104421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 1.71574 s Remaining CPU time: 178.284 s c =============================================================================== c | 0 | 886 1185 105055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 1.73774 s Remaining CPU time: 178.262 s c =============================================================================== c | 0 | 886 1186 105689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 1.76173 s Remaining CPU time: 178.238 s c =============================================================================== c | 0 | 886 1187 106323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 1.78373 s Remaining CPU time: 178.216 s c =============================================================================== c | 0 | 886 1188 106957 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 1.80872 s Remaining CPU time: 178.191 s c =============================================================================== c | 0 | 886 1189 107591 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 1.83272 s Remaining CPU time: 178.167 s c =============================================================================== c | 0 | 886 1190 108225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 1.85572 s Remaining CPU time: 178.144 s c =============================================================================== c | 0 | 886 1191 108859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 1.87971 s Remaining CPU time: 178.12 s c =============================================================================== c | 0 | 886 1192 109493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 1.90571 s Remaining CPU time: 178.094 s c =============================================================================== c | 0 | 886 1193 110127 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 1.93071 s Remaining CPU time: 178.069 s c =============================================================================== c | 0 | 886 1194 110761 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 1.9557 s Remaining CPU time: 178.044 s c =============================================================================== c | 0 | 886 1195 111395 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 0 | 886 1196 112029 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 2.00669 s Remaining CPU time: 177.993 s c =============================================================================== c | 0 | 886 1197 112663 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 2.03269 s Remaining CPU time: 177.967 s c =============================================================================== c | 0 | 886 1198 113297 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 0 | 886 1199 113931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 2.08568 s Remaining CPU time: 177.914 s c =============================================================================== c | 0 | 886 1200 114565 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 0 | 886 1201 115199 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s c =============================================================================== c | 0 | 886 1202 115833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 0 | 886 1203 116467 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 2.19467 s Remaining CPU time: 177.805 s c =============================================================================== c | 3 | 886 1204 117101 | 5000 3 310 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s c =============================================================================== c | 5 | 886 1205 117735 | 5000 5 188 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 5 | 886 1206 118369 | 5000 5 188 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 2.28065 s Remaining CPU time: 177.719 s c =============================================================================== c | 5 | 886 1207 119003 | 5000 5 188 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 2.30865 s Remaining CPU time: 177.691 s c =============================================================================== c | 5 | 886 1208 119637 | 5000 5 188 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 2.33864 s Remaining CPU time: 177.661 s c =============================================================================== c | 5 | 886 1209 120271 | 5000 5 188 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 5 | 886 1210 120905 | 5000 5 188 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 2.39563 s Remaining CPU time: 177.604 s c =============================================================================== c | 6 | 886 1211 121539 | 5000 6 158 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 2.42563 s Remaining CPU time: 177.574 s c =============================================================================== c | 7 | 886 1212 122173 | 5000 7 135 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 8 | 886 1213 122807 | 5000 8 119 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 2.48262 s Remaining CPU time: 177.517 s c =============================================================================== c | 8 | 886 1214 123441 | 5000 8 119 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 2.51362 s Remaining CPU time: 177.486 s c =============================================================================== c | 12 | 886 1215 124075 | 5000 12 81 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 2.54361 s Remaining CPU time: 177.456 s c =============================================================================== c | 13 | 886 1216 124709 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 2.57161 s Remaining CPU time: 177.428 s c =============================================================================== c | 14 | 886 1217 125343 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 2.6016 s Remaining CPU time: 177.398 s c =============================================================================== c | 14 | 886 1218 125977 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 2.6316 s Remaining CPU time: 177.368 s c =============================================================================== c | 15 | 886 1219 126611 | 5000 15 66 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 2.66059 s Remaining CPU time: 177.339 s c =============================================================================== c | 15 | 886 1220 127245 | 5000 15 66 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 2.69059 s Remaining CPU time: 177.309 s c =============================================================================== c | 15 | 886 1221 127879 | 5000 15 66 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 15 | 886 1222 128513 | 5000 15 66 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 2.75158 s Remaining CPU time: 177.248 s c =============================================================================== c | 15 | 886 1223 129147 | 5000 15 66 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 2.78158 s Remaining CPU time: 177.218 s c =============================================================================== c | 16 | 886 1224 129781 | 5000 16 62 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 2.81257 s Remaining CPU time: 177.187 s c =============================================================================== c | 16 | 886 1225 130415 | 5000 16 62 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 19 | 886 1226 131049 | 5000 19 53 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 2.87556 s Remaining CPU time: 177.124 s c =============================================================================== c | 19 | 886 1227 131683 | 5000 19 53 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 19 | 886 1228 132317 | 5000 19 53 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 2.93855 s Remaining CPU time: 177.061 s c =============================================================================== c | 19 | 886 1229 132951 | 5000 19 53 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 2.96955 s Remaining CPU time: 177.03 s c =============================================================================== c | 19 | 886 1230 133585 | 5000 19 53 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 3.00254 s Remaining CPU time: 176.997 s c =============================================================================== c | 19 | 886 1231 134219 | 5000 19 53 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 3.03354 s Remaining CPU time: 176.966 s c =============================================================================== c | 20 | 886 1232 134853 | 5000 20 50 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 3.06653 s Remaining CPU time: 176.933 s c =============================================================================== c | 20 | 886 1233 135487 | 5000 20 50 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 3.10053 s Remaining CPU time: 176.899 s c =============================================================================== c | 21 | 886 1234 136121 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 3.13352 s Remaining CPU time: 176.866 s c =============================================================================== c | 21 | 886 1235 136755 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 3.16752 s Remaining CPU time: 176.832 s c =============================================================================== c | 22 | 886 1236 137389 | 5000 22 66 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 3.20151 s Remaining CPU time: 176.798 s c =============================================================================== c | 23 | 886 1237 138023 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 3.23451 s Remaining CPU time: 176.765 s c =============================================================================== c | 23 | 886 1238 138657 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 3.2685 s Remaining CPU time: 176.731 s c =============================================================================== c | 23 | 886 1239 139291 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 3.3025 s Remaining CPU time: 176.698 s c =============================================================================== c | 23 | 886 1240 139925 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 3.33749 s Remaining CPU time: 176.663 s c =============================================================================== c | 23 | 886 1241 140559 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 3.37149 s Remaining CPU time: 176.629 s c =============================================================================== c | 23 | 886 1242 141193 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s c =============================================================================== c | 23 | 886 1243 141827 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 3.43948 s Remaining CPU time: 176.561 s c =============================================================================== c | 23 | 886 1244 142461 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 3.47447 s Remaining CPU time: 176.526 s c =============================================================================== c | 23 | 886 1245 143095 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 3.50847 s Remaining CPU time: 176.492 s c =============================================================================== c | 23 | 886 1246 143729 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 3.54346 s Remaining CPU time: 176.457 s c =============================================================================== c | 23 | 886 1247 144363 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 3.57946 s Remaining CPU time: 176.421 s c =============================================================================== c | 23 | 886 1248 144997 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 3.61345 s Remaining CPU time: 176.387 s c =============================================================================== c | 23 | 886 1249 145631 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 3.64945 s Remaining CPU time: 176.351 s c =============================================================================== c | 23 | 886 1250 146265 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s c =============================================================================== c | 23 | 886 1251 146899 | 5000 23 63 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 3.72243 s Remaining CPU time: 176.278 s c =============================================================================== c | 26 | 886 1252 147533 | 5000 26 56 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 3.75843 s Remaining CPU time: 176.242 s c =============================================================================== c | 26 | 886 1253 148167 | 5000 26 56 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 3.79442 s Remaining CPU time: 176.206 s c =============================================================================== c | 26 | 886 1254 148801 | 5000 26 56 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 3.83042 s Remaining CPU time: 176.17 s c =============================================================================== c | 26 | 886 1255 149435 | 5000 26 56 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 3.86741 s Remaining CPU time: 176.133 s c =============================================================================== c | 26 | 886 1256 150069 | 5000 26 56 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 3.90341 s Remaining CPU time: 176.097 s c =============================================================================== c | 27 | 886 1257 150703 | 5000 27 55 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 3.9404 s Remaining CPU time: 176.06 s c =============================================================================== c | 30 | 886 1258 151337 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 3.9764 s Remaining CPU time: 176.024 s c =============================================================================== c | 30 | 886 1259 151971 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 4.01339 s Remaining CPU time: 175.987 s c =============================================================================== c | 30 | 886 1260 152605 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 4.04938 s Remaining CPU time: 175.951 s c =============================================================================== c | 30 | 886 1261 153239 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 4.08638 s Remaining CPU time: 175.914 s c =============================================================================== c | 30 | 886 1262 153873 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 4.12337 s Remaining CPU time: 175.877 s c =============================================================================== c | 30 | 886 1263 154507 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 4.15937 s Remaining CPU time: 175.841 s c =============================================================================== c | 30 | 886 1264 155141 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 4.19736 s Remaining CPU time: 175.803 s c =============================================================================== c | 30 | 886 1265 155775 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 4.23436 s Remaining CPU time: 175.766 s c =============================================================================== c | 30 | 886 1266 156409 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 4.27135 s Remaining CPU time: 175.729 s c =============================================================================== c | 30 | 886 1267 157043 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 4.30835 s Remaining CPU time: 175.692 s c =============================================================================== c | 30 | 886 1268 157677 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 4.34534 s Remaining CPU time: 175.655 s c =============================================================================== c | 30 | 886 1269 158311 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 4.38333 s Remaining CPU time: 175.617 s c =============================================================================== c | 30 | 886 1270 158945 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 4.42233 s Remaining CPU time: 175.578 s c =============================================================================== c | 30 | 886 1271 159579 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 4.45832 s Remaining CPU time: 175.542 s c =============================================================================== c | 30 | 886 1272 160213 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 4.49632 s Remaining CPU time: 175.504 s c =============================================================================== c | 31 | 886 1273 160847 | 5000 31 61 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 4.53531 s Remaining CPU time: 175.465 s c =============================================================================== c | 31 | 886 1274 161481 | 5000 31 61 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 4.5743 s Remaining CPU time: 175.426 s c =============================================================================== c | 33 | 886 1275 162115 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 4.6133 s Remaining CPU time: 175.387 s c =============================================================================== c | 33 | 886 1276 162749 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 4.65229 s Remaining CPU time: 175.348 s c =============================================================================== c | 33 | 886 1277 163383 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 4.69029 s Remaining CPU time: 175.31 s c =============================================================================== c | 33 | 886 1278 164017 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 4.72928 s Remaining CPU time: 175.271 s c =============================================================================== c | 33 | 886 1279 164651 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 4.76727 s Remaining CPU time: 175.233 s c =============================================================================== c | 33 | 886 1280 165285 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 4.80627 s Remaining CPU time: 175.194 s c =============================================================================== c | 33 | 886 1281 165919 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 4.84626 s Remaining CPU time: 175.154 s c =============================================================================== c | 33 | 886 1282 166553 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 4.88526 s Remaining CPU time: 175.115 s c =============================================================================== c | 33 | 886 1283 167187 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 4.92525 s Remaining CPU time: 175.075 s c =============================================================================== c | 33 | 886 1284 167821 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 4.96525 s Remaining CPU time: 175.035 s c =============================================================================== c | 33 | 886 1285 168455 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 5.00524 s Remaining CPU time: 174.995 s c =============================================================================== c | 33 | 886 1286 169089 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 5.04423 s Remaining CPU time: 174.956 s c =============================================================================== c | 33 | 886 1287 169723 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 5.08423 s Remaining CPU time: 174.916 s c =============================================================================== c | 33 | 886 1288 170357 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 5.12422 s Remaining CPU time: 174.876 s c =============================================================================== c | 33 | 886 1289 170991 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 5.16421 s Remaining CPU time: 174.836 s c =============================================================================== c | 33 | 886 1290 171625 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 5.20421 s Remaining CPU time: 174.796 s c =============================================================================== c | 33 | 886 1291 172259 | 5000 33 58 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 5.2452 s Remaining CPU time: 174.755 s c =============================================================================== c | 34 | 886 1292 172893 | 5000 34 67 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 5.2852 s Remaining CPU time: 174.715 s c =============================================================================== c | 35 | 886 1293 173527 | 5000 35 76 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 5.32619 s Remaining CPU time: 174.674 s c =============================================================================== c | 36 | 886 1294 174161 | 5000 36 74 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 5.36818 s Remaining CPU time: 174.632 s c =============================================================================== c | 36 | 886 1295 174795 | 5000 36 74 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 5.40918 s Remaining CPU time: 174.591 s c =============================================================================== c | 36 | 886 1296 175429 | 5000 36 74 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 5.45117 s Remaining CPU time: 174.549 s c =============================================================================== c | 36 | 886 1297 176063 | 5000 36 74 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 5.49316 s Remaining CPU time: 174.507 s c =============================================================================== c | 39 | 886 1298 176697 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 5.53516 s Remaining CPU time: 174.465 s c =============================================================================== c | 39 | 886 1299 177331 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 5.57715 s Remaining CPU time: 174.423 s c =============================================================================== c | 39 | 886 1300 177965 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 5.61914 s Remaining CPU time: 174.381 s c =============================================================================== c | 39 | 886 1301 178599 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 5.66114 s Remaining CPU time: 174.339 s c =============================================================================== c | 39 | 886 1302 179233 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 5.70413 s Remaining CPU time: 174.296 s c =============================================================================== c | 39 | 886 1303 179867 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 5.74413 s Remaining CPU time: 174.256 s c =============================================================================== c | 39 | 886 1304 180501 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 5.78612 s Remaining CPU time: 174.214 s c =============================================================================== c | 39 | 886 1305 181135 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 5.82711 s Remaining CPU time: 174.173 s c =============================================================================== c | 39 | 886 1306 181769 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 5.86811 s Remaining CPU time: 174.132 s c =============================================================================== c | 39 | 886 1307 182403 | 5000 39 69 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 5.9111 s Remaining CPU time: 174.089 s c =============================================================================== c | 41 | 886 1308 183037 | 5000 41 65 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 5.95309 s Remaining CPU time: 174.047 s c =============================================================================== c | 42 | 886 1309 183671 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 5.99609 s Remaining CPU time: 174.004 s c =============================================================================== c | 42 | 886 1310 184305 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 6.03908 s Remaining CPU time: 173.961 s c =============================================================================== c | 42 | 886 1311 184939 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 6.08108 s Remaining CPU time: 173.919 s c =============================================================================== c | 42 | 886 1312 185573 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 6.12207 s Remaining CPU time: 173.878 s c =============================================================================== c | 42 | 886 1313 186207 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 6.16506 s Remaining CPU time: 173.835 s c =============================================================================== c | 42 | 886 1314 186841 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 6.20906 s Remaining CPU time: 173.791 s c =============================================================================== c | 42 | 886 1315 187475 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 6.25205 s Remaining CPU time: 173.748 s c =============================================================================== c | 42 | 886 1316 188109 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 6.29604 s Remaining CPU time: 173.704 s c =============================================================================== c | 42 | 886 1317 188743 | 5000 42 64 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 6.33904 s Remaining CPU time: 173.661 s c =============================================================================== c | 45 | 886 1318 189377 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 6.38303 s Remaining CPU time: 173.617 s c =============================================================================== c | 45 | 886 1319 190011 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 6.42702 s Remaining CPU time: 173.573 s c =============================================================================== c | 45 | 886 1320 190645 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 6.46902 s Remaining CPU time: 173.531 s c =============================================================================== c | 45 | 886 1321 191279 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 6.51401 s Remaining CPU time: 173.486 s c =============================================================================== c | 45 | 886 1322 191913 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 6.558 s Remaining CPU time: 173.442 s c =============================================================================== c | 45 | 886 1323 192547 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 6.601 s Remaining CPU time: 173.399 s c =============================================================================== c | 45 | 886 1324 193181 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 6.64599 s Remaining CPU time: 173.354 s c =============================================================================== c | 45 | 886 1325 193815 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 6.68998 s Remaining CPU time: 173.31 s c =============================================================================== c | 45 | 886 1326 194449 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 6.73398 s Remaining CPU time: 173.266 s c =============================================================================== c | 45 | 886 1327 195083 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 6.77797 s Remaining CPU time: 173.222 s c =============================================================================== c | 45 | 886 1328 195717 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 6.82196 s Remaining CPU time: 173.178 s c =============================================================================== c | 45 | 886 1329 196351 | 5000 45 60 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 6.86696 s Remaining CPU time: 173.133 s c =============================================================================== c | 46 | 886 1330 196985 | 5000 46 59 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 6.91095 s Remaining CPU time: 173.089 s c =============================================================================== c | 46 | 886 1331 197619 | 5000 46 59 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 6.95494 s Remaining CPU time: 173.045 s c =============================================================================== c | 46 | 886 1332 198253 | 5000 46 59 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 6.99894 s Remaining CPU time: 173.001 s c =============================================================================== c | 46 | 886 1333 198887 | 5000 46 59 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 7.04393 s Remaining CPU time: 172.956 s c =============================================================================== c | 46 | 886 1334 199521 | 5000 46 59 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 7.08792 s Remaining CPU time: 172.912 s c =============================================================================== c | 46 | 886 1335 200155 | 5000 46 59 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 7.13192 s Remaining CPU time: 172.868 s c =============================================================================== c | 46 | 886 1336 200789 | 5000 46 59 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 7.17691 s Remaining CPU time: 172.823 s c =============================================================================== c | 47 | 886 1337 201423 | 5000 47 58 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 7.2209 s Remaining CPU time: 172.779 s c =============================================================================== c | 47 | 886 1338 202057 | 5000 47 58 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 7.2649 s Remaining CPU time: 172.735 s c =============================================================================== c | 47 | 886 1339 202691 | 5000 47 58 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 7.30989 s Remaining CPU time: 172.69 s c =============================================================================== c | 48 | 886 1340 203325 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 7.35488 s Remaining CPU time: 172.645 s c =============================================================================== c | 48 | 886 1341 203959 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 7.40287 s Remaining CPU time: 172.597 s c =============================================================================== c | 48 | 886 1342 204593 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 7.44887 s Remaining CPU time: 172.551 s c =============================================================================== c | 48 | 886 1343 205227 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 7.49386 s Remaining CPU time: 172.506 s c =============================================================================== c | 48 | 886 1344 205861 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 7.53885 s Remaining CPU time: 172.461 s c =============================================================================== c | 48 | 886 1345 206495 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 7.58385 s Remaining CPU time: 172.416 s c =============================================================================== c | 48 | 886 1346 207129 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 7.62884 s Remaining CPU time: 172.371 s c =============================================================================== c | 48 | 886 1347 207763 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 7.67383 s Remaining CPU time: 172.326 s c =============================================================================== c | 48 | 886 1348 208397 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 7.71783 s Remaining CPU time: 172.282 s c =============================================================================== c | 48 | 886 1349 209031 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 7.76182 s Remaining CPU time: 172.238 s c =============================================================================== c | 48 | 886 1350 209665 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 7.80581 s Remaining CPU time: 172.194 s c =============================================================================== c | 48 | 886 1351 210299 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 7.85181 s Remaining CPU time: 172.148 s c =============================================================================== c | 48 | 886 1352 210933 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 7.8958 s Remaining CPU time: 172.104 s c =============================================================================== c | 48 | 886 1353 211567 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 7.93879 s Remaining CPU time: 172.061 s c =============================================================================== c | 48 | 886 1354 212201 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 7.98379 s Remaining CPU time: 172.016 s c =============================================================================== c | 48 | 886 1355 212835 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 8.02878 s Remaining CPU time: 171.971 s c =============================================================================== c | 48 | 886 1356 213469 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 8.07377 s Remaining CPU time: 171.926 s c =============================================================================== c | 48 | 886 1357 214103 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 8.11876 s Remaining CPU time: 171.881 s c =============================================================================== c | 48 | 886 1358 214737 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 8.16376 s Remaining CPU time: 171.836 s c =============================================================================== c | 48 | 886 1359 215371 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 8.20875 s Remaining CPU time: 171.791 s c =============================================================================== c | 48 | 886 1360 216005 | 5000 48 56 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 8.25474 s Remaining CPU time: 171.745 s c =============================================================================== c | 50 | 886 1361 216639 | 5000 50 55 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 8.32173 s Remaining CPU time: 171.678 s c =============================================================================== c | 72 | 886 1362 217273 | 5000 72 121 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 8.36673 s Remaining CPU time: 171.633 s c =============================================================================== c | 76 | 886 1363 217907 | 5000 76 115 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 8.41272 s Remaining CPU time: 171.587 s c =============================================================================== c | 76 | 886 1364 218541 | 5000 76 115 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 8.45871 s Remaining CPU time: 171.541 s c =============================================================================== c | 77 | 886 1365 219175 | 5000 77 114 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 8.50471 s Remaining CPU time: 171.495 s c =============================================================================== c | 80 | 886 1366 219809 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 8.5507 s Remaining CPU time: 171.449 s c =============================================================================== c | 80 | 886 1367 220443 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 8.59669 s Remaining CPU time: 171.403 s c =============================================================================== c | 80 | 886 1368 221077 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 8.64269 s Remaining CPU time: 171.357 s c =============================================================================== c | 80 | 886 1369 221711 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 8.68768 s Remaining CPU time: 171.312 s c =============================================================================== c | 80 | 886 1370 222345 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 8.73367 s Remaining CPU time: 171.266 s c =============================================================================== c | 80 | 886 1371 222979 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 8.77867 s Remaining CPU time: 171.221 s c =============================================================================== c | 80 | 886 1372 223613 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 8.82366 s Remaining CPU time: 171.176 s c =============================================================================== c | 80 | 886 1373 224247 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 8.86965 s Remaining CPU time: 171.13 s c =============================================================================== c | 80 | 886 1374 224881 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 8.91464 s Remaining CPU time: 171.085 s c =============================================================================== c | 80 | 886 1375 225515 | 5000 80 110 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 8.95964 s Remaining CPU time: 171.04 s c =============================================================================== c | 83 | 886 1376 226149 | 5000 83 116 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 9.00663 s Remaining CPU time: 170.993 s c =============================================================================== c | 83 | 886 1377 226783 | 5000 83 116 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 9.05162 s Remaining CPU time: 170.948 s c =============================================================================== c | 85 | 886 1378 227417 | 5000 85 114 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 9.09662 s Remaining CPU time: 170.903 s c =============================================================================== c | 86 | 886 1379 228051 | 5000 86 112 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 9.14261 s Remaining CPU time: 170.857 s c =============================================================================== c | 87 | 886 1380 228685 | 5000 87 111 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 9.1896 s Remaining CPU time: 170.81 s c =============================================================================== c | 87 | 886 1381 229319 | 5000 87 111 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 9.23559 s Remaining CPU time: 170.764 s c =============================================================================== c | 88 | 886 1382 229953 | 5000 88 110 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 9.28259 s Remaining CPU time: 170.717 s c =============================================================================== c | 89 | 886 1383 230587 | 5000 89 109 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 9.32858 s Remaining CPU time: 170.671 s c =============================================================================== c | 89 | 886 1384 231221 | 5000 89 109 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 9.37557 s Remaining CPU time: 170.624 s c =============================================================================== c | 90 | 886 1385 231855 | 5000 90 108 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 9.42257 s Remaining CPU time: 170.577 s c =============================================================================== c | 91 | 886 1386 232489 | 5000 91 106 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 9.46756 s Remaining CPU time: 170.532 s c =============================================================================== c | 91 | 886 1387 233123 | 5000 91 106 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 9.51455 s Remaining CPU time: 170.485 s c =============================================================================== c | 91 | 886 1388 233757 | 5000 91 106 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 9.56155 s Remaining CPU time: 170.438 s c =============================================================================== c | 92 | 886 1389 234391 | 5000 92 105 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 9.60654 s Remaining CPU time: 170.393 s c =============================================================================== c | 92 | 886 1390 235025 | 5000 92 105 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 9.65253 s Remaining CPU time: 170.347 s c =============================================================================== c | 92 | 886 1391 235659 | 5000 92 105 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 9.69753 s Remaining CPU time: 170.302 s c =============================================================================== c | 92 | 886 1392 236293 | 5000 92 105 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 9.74452 s Remaining CPU time: 170.255 s c =============================================================================== c | 92 | 886 1393 236927 | 5000 92 105 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 9.79151 s Remaining CPU time: 170.208 s c =============================================================================== c | 99 | 886 1394 237561 | 5000 99 99 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 9.8385 s Remaining CPU time: 170.161 s c =============================================================================== c | 100 | 886 1395 238195 | 5000 100 98 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 9.8855 s Remaining CPU time: 170.115 s c =============================================================================== c | 101 | 886 1396 238829 | 5000 101 97 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 9.93249 s Remaining CPU time: 170.068 s c =============================================================================== c | 102 | 886 1397 239463 | 5000 102 96 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 9.97948 s Remaining CPU time: 170.021 s c =============================================================================== c | 107 | 886 1398 240097 | 5000 107 95 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 10.0265 s Remaining CPU time: 169.974 s c =============================================================================== c | 108 | 886 1399 240731 | 5000 108 96 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 10.0725 s Remaining CPU time: 169.928 s c =============================================================================== c | 109 | 886 1400 241365 | 5000 109 98 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 10.1215 s Remaining CPU time: 169.879 s c =============================================================================== c | 117 | 886 1401 241999 | 5000 117 105 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 10.1685 s Remaining CPU time: 169.832 s c =============================================================================== c | 120 | 886 1402 242633 | 5000 120 103 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 10.2144 s Remaining CPU time: 169.786 s c =============================================================================== c | 122 | 886 1403 243267 | 5000 122 101 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 10.2604 s Remaining CPU time: 169.74 s c =============================================================================== c | 122 | 886 1404 243901 | 5000 122 101 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 10.3064 s Remaining CPU time: 169.694 s c =============================================================================== c | 123 | 886 1405 244535 | 5000 123 100 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 10.3524 s Remaining CPU time: 169.648 s c =============================================================================== c | 125 | 886 1406 245169 | 5000 125 99 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 10.3994 s Remaining CPU time: 169.601 s c =============================================================================== c | 125 | 886 1407 245803 | 5000 125 99 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 10.4454 s Remaining CPU time: 169.555 s c =============================================================================== c | 138 | 886 1408 246437 | 5000 138 90 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 10.4924 s Remaining CPU time: 169.508 s c =============================================================================== c | 139 | 886 1409 247071 | 5000 139 92 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 10.5394 s Remaining CPU time: 169.461 s c =============================================================================== c | 140 | 886 1410 247705 | 5000 140 93 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 10.5854 s Remaining CPU time: 169.415 s c =============================================================================== c | 142 | 886 1411 248339 | 5000 142 94 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 10.6324 s Remaining CPU time: 169.368 s c =============================================================================== c | 142 | 886 1412 248973 | 5000 142 94 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 10.6794 s Remaining CPU time: 169.321 s c =============================================================================== c | 142 | 886 1413 249607 | 5000 142 94 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 10.7254 s Remaining CPU time: 169.275 s c =============================================================================== c | 142 | 886 1414 250241 | 5000 142 94 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 10.7714 s Remaining CPU time: 169.229 s c =============================================================================== c | 143 | 886 1415 250875 | 5000 143 93 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 10.8194 s Remaining CPU time: 169.181 s c =============================================================================== c | 148 | 886 1416 251509 | 5000 148 98 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 10.8643 s Remaining CPU time: 169.136 s c =============================================================================== c | 150 | 886 1417 252143 | 5000 150 97 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 10.9113 s Remaining CPU time: 169.089 s c =============================================================================== c | 153 | 886 1418 252777 | 5000 153 96 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 10.9563 s Remaining CPU time: 169.044 s c =============================================================================== c | 153 | 886 1419 253411 | 5000 153 96 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 11.0033 s Remaining CPU time: 168.997 s c =============================================================================== c | 153 | 886 1420 254045 | 5000 153 96 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 11.0503 s Remaining CPU time: 168.95 s c =============================================================================== c | 153 | 886 1421 254679 | 5000 153 96 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 11.0963 s Remaining CPU time: 168.904 s c =============================================================================== c | 153 | 886 1422 255313 | 5000 153 96 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 11.1423 s Remaining CPU time: 168.858 s c =============================================================================== c | 153 | 886 1423 255947 | 5000 153 96 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 11.1903 s Remaining CPU time: 168.81 s c =============================================================================== c | 158 | 886 1424 256581 | 5000 158 100 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 11.2363 s Remaining CPU time: 168.764 s c =============================================================================== c | 159 | 886 1425 257215 | 5000 159 101 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 11.2833 s Remaining CPU time: 168.717 s c =============================================================================== c | 160 | 886 1426 257849 | 5000 160 101 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 11.3293 s Remaining CPU time: 168.671 s c =============================================================================== c | 160 | 886 1427 258483 | 5000 160 101 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 11.3733 s Remaining CPU time: 168.627 s c =============================================================================== c | 160 | 886 1428 259117 | 5000 160 101 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 11.4173 s Remaining CPU time: 168.583 s c =============================================================================== c | 160 | 886 1429 259751 | 5000 160 101 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 11.4633 s Remaining CPU time: 168.537 s c =============================================================================== c | 161 | 886 1430 260385 | 5000 161 100 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 11.5092 s Remaining CPU time: 168.491 s c =============================================================================== c | 161 | 886 1431 261019 | 5000 161 100 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 11.5542 s Remaining CPU time: 168.446 s c =============================================================================== c | 161 | 886 1432 261653 | 5000 161 100 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 11.5992 s Remaining CPU time: 168.401 s c =============================================================================== c | 161 | 886 1433 262287 | 5000 161 100 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 11.6442 s Remaining CPU time: 168.356 s c =============================================================================== c | 161 | 886 1434 262921 | 5000 161 100 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 11.6892 s Remaining CPU time: 168.311 s c =============================================================================== c | 161 | 886 1435 263555 | 5000 161 100 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 11.7352 s Remaining CPU time: 168.265 s c =============================================================================== c | 161 | 886 1436 264189 | 5000 161 100 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 11.7832 s Remaining CPU time: 168.217 s c =============================================================================== c | 167 | 886 1437 264823 | 5000 167 105 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 11.8282 s Remaining CPU time: 168.172 s c =============================================================================== c | 167 | 886 1438 265457 | 5000 167 105 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 11.8742 s Remaining CPU time: 168.126 s c =============================================================================== c | 167 | 886 1439 266091 | 5000 167 105 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 11.9212 s Remaining CPU time: 168.079 s c =============================================================================== c | 170 | 886 1440 266725 | 5000 170 107 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 11.9662 s Remaining CPU time: 168.034 s c =============================================================================== c | 170 | 886 1441 267359 | 5000 170 107 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 12.0112 s Remaining CPU time: 167.989 s c =============================================================================== c | 176 | 886 1442 267993 | 5000 176 104 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 12.0562 s Remaining CPU time: 167.944 s c =============================================================================== c | 176 | 886 1443 268627 | 5000 176 104 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 12.1022 s Remaining CPU time: 167.898 s c =============================================================================== c | 176 | 886 1444 269261 | 5000 176 104 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 12.1462 s Remaining CPU time: 167.854 s c =============================================================================== c | 176 | 886 1445 269895 | 5000 176 104 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 12.1911 s Remaining CPU time: 167.809 s c =============================================================================== c | 177 | 886 1446 270529 | 5000 177 103 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 12.2361 s Remaining CPU time: 167.764 s c =============================================================================== c | 179 | 886 1447 271163 | 5000 179 102 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 12.2831 s Remaining CPU time: 167.717 s c =============================================================================== c | 183 | 886 1448 271797 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 12.3281 s Remaining CPU time: 167.672 s c =============================================================================== c | 183 | 886 1449 272431 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 12.3731 s Remaining CPU time: 167.627 s c =============================================================================== c | 183 | 886 1450 273065 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 12.4181 s Remaining CPU time: 167.582 s c =============================================================================== c | 183 | 886 1451 273699 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 12.4621 s Remaining CPU time: 167.538 s c =============================================================================== c | 183 | 886 1452 274333 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 12.5071 s Remaining CPU time: 167.493 s c =============================================================================== c | 183 | 886 1453 274967 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 12.5521 s Remaining CPU time: 167.448 s c =============================================================================== c | 183 | 886 1454 275601 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 12.5971 s Remaining CPU time: 167.403 s c =============================================================================== c | 183 | 886 1455 276235 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 12.6421 s Remaining CPU time: 167.358 s c =============================================================================== c | 183 | 886 1456 276869 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 12.6871 s Remaining CPU time: 167.313 s c =============================================================================== c | 183 | 886 1457 277503 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 12.7321 s Remaining CPU time: 167.268 s c =============================================================================== c | 183 | 886 1458 278137 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 12.7761 s Remaining CPU time: 167.224 s c =============================================================================== c | 183 | 886 1459 278771 | 5000 183 102 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 12.8221 s Remaining CPU time: 167.178 s c =============================================================================== c | 194 | 886 1460 279405 | 5000 194 104 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 12.867 s Remaining CPU time: 167.133 s c =============================================================================== c | 194 | 886 1461 280039 | 5000 194 104 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 12.911 s Remaining CPU time: 167.089 s c =============================================================================== c | 194 | 886 1462 280673 | 5000 194 104 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 12.957 s Remaining CPU time: 167.043 s c =============================================================================== c | 217 | 886 1463 281307 | 5000 217 95 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 13.004 s Remaining CPU time: 166.996 s c =============================================================================== c | 221 | 886 1464 281941 | 5000 221 97 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 13.049 s Remaining CPU time: 166.951 s c =============================================================================== c | 222 | 886 1465 282575 | 5000 222 97 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 13.094 s Remaining CPU time: 166.906 s c =============================================================================== c | 229 | 886 1466 283209 | 5000 229 95 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 13.139 s Remaining CPU time: 166.861 s c =============================================================================== c | 230 | 886 1467 283843 | 5000 230 96 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 13.183 s Remaining CPU time: 166.817 s c =============================================================================== c | 230 | 886 1468 284477 | 5000 230 96 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 13.227 s Remaining CPU time: 166.773 s c =============================================================================== c | 231 | 886 1469 285111 | 5000 231 96 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 13.272 s Remaining CPU time: 166.728 s c =============================================================================== c | 232 | 886 1470 285745 | 5000 232 96 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 13.316 s Remaining CPU time: 166.684 s c =============================================================================== c | 232 | 886 1471 286379 | 5000 232 96 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 13.36 s Remaining CPU time: 166.64 s c =============================================================================== c | 233 | 886 1472 287013 | 5000 233 97 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 13.405 s Remaining CPU time: 166.595 s c =============================================================================== c | 234 | 886 1473 287647 | 5000 234 97 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 13.448 s Remaining CPU time: 166.552 s c =============================================================================== c | 234 | 886 1474 288281 | 5000 234 97 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 13.4919 s Remaining CPU time: 166.508 s c =============================================================================== c | 235 | 886 1475 288915 | 5000 235 98 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 13.5359 s Remaining CPU time: 166.464 s c =============================================================================== c | 236 | 886 1476 289549 | 5000 236 98 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 13.5799 s Remaining CPU time: 166.42 s c =============================================================================== c | 236 | 886 1477 290183 | 5000 236 98 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 13.6239 s Remaining CPU time: 166.376 s c =============================================================================== c | 237 | 886 1478 290817 | 5000 237 98 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 13.6679 s Remaining CPU time: 166.332 s c =============================================================================== c | 238 | 886 1479 291451 | 5000 238 99 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 13.7119 s Remaining CPU time: 166.288 s c =============================================================================== c | 238 | 886 1480 292085 | 5000 238 99 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 13.7559 s Remaining CPU time: 166.244 s c =============================================================================== c | 239 | 886 1481 292719 | 5000 239 99 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 13.7999 s Remaining CPU time: 166.2 s c =============================================================================== c | 240 | 886 1482 293353 | 5000 240 99 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 13.8439 s Remaining CPU time: 166.156 s c =============================================================================== c | 241 | 886 1483 293987 | 5000 241 100 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 13.8869 s Remaining CPU time: 166.113 s c =============================================================================== c | 242 | 886 1484 294621 | 5000 242 100 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 13.9309 s Remaining CPU time: 166.069 s c =============================================================================== c | 243 | 886 1485 295255 | 5000 243 100 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 13.9739 s Remaining CPU time: 166.026 s c =============================================================================== c | 244 | 886 1486 295889 | 5000 244 101 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 14.0169 s Remaining CPU time: 165.983 s c =============================================================================== c | 245 | 886 1487 296523 | 5000 245 101 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 14.0599 s Remaining CPU time: 165.94 s c =============================================================================== c | 246 | 886 1488 297157 | 5000 246 101 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 14.1019 s Remaining CPU time: 165.898 s c =============================================================================== c | 247 | 886 1489 297791 | 5000 247 102 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 14.1448 s Remaining CPU time: 165.855 s c =============================================================================== c | 248 | 886 1490 298425 | 5000 248 102 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 14.1878 s Remaining CPU time: 165.812 s c =============================================================================== c | 249 | 886 1491 299059 | 5000 249 102 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 14.2308 s Remaining CPU time: 165.769 s c =============================================================================== c | 250 | 886 1492 299693 | 5000 250 103 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 14.2728 s Remaining CPU time: 165.727 s c =============================================================================== c | 251 | 886 1493 300327 | 5000 251 103 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 14.3158 s Remaining CPU time: 165.684 s c =============================================================================== c | 254 | 886 1494 300961 | 5000 254 102 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 14.3578 s Remaining CPU time: 165.642 s c =============================================================================== c | 255 | 886 1495 301595 | 5000 255 102 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 14.3988 s Remaining CPU time: 165.601 s c =============================================================================== c | 255 | 886 1496 302229 | 5000 255 102 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 14.4408 s Remaining CPU time: 165.559 s c =============================================================================== c | 256 | 886 1497 302863 | 5000 256 102 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 14.4818 s Remaining CPU time: 165.518 s c =============================================================================== c | 257 | 886 1498 303497 | 5000 257 102 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 14.5238 s Remaining CPU time: 165.476 s c =============================================================================== c | 258 | 886 1499 304131 | 5000 258 103 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 14.5668 s Remaining CPU time: 165.433 s c =============================================================================== c | 259 | 886 1500 304765 | 5000 259 103 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 14.6088 s Remaining CPU time: 165.391 s c =============================================================================== c | 260 | 886 1501 305399 | 5000 260 103 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 14.6508 s Remaining CPU time: 165.349 s c =============================================================================== c | 264 | 886 1502 306033 | 5000 264 102 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 14.6918 s Remaining CPU time: 165.308 s c =============================================================================== c | 265 | 886 1503 306667 | 5000 265 103 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 14.7328 s Remaining CPU time: 165.267 s c =============================================================================== c | 266 | 886 1504 307301 | 5000 266 103 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 14.7748 s Remaining CPU time: 165.225 s c =============================================================================== c | 267 | 886 1505 307935 | 5000 267 103 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 14.8157 s Remaining CPU time: 165.184 s c =============================================================================== c | 268 | 886 1506 308569 | 5000 268 103 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 14.8567 s Remaining CPU time: 165.143 s c =============================================================================== c | 270 | 886 1507 309203 | 5000 270 103 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 14.8967 s Remaining CPU time: 165.103 s c =============================================================================== c | 271 | 886 1508 309837 | 5000 271 103 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 14.9377 s Remaining CPU time: 165.062 s c =============================================================================== c | 272 | 886 1509 310471 | 5000 272 104 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 14.9767 s Remaining CPU time: 165.023 s c =============================================================================== c | 273 | 886 1510 311105 | 5000 273 104 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 15.0177 s Remaining CPU time: 164.982 s c =============================================================================== c | 275 | 886 1511 311739 | 5000 275 103 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 15.0577 s Remaining CPU time: 164.942 s c =============================================================================== c | 276 | 886 1512 312373 | 5000 276 103 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 15.0977 s Remaining CPU time: 164.902 s c =============================================================================== c | 276 | 886 1513 313007 | 5000 276 103 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 15.1377 s Remaining CPU time: 164.862 s c =============================================================================== c | 278 | 886 1514 313641 | 5000 278 103 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 15.1777 s Remaining CPU time: 164.822 s c =============================================================================== c | 278 | 886 1515 314275 | 5000 278 103 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 15.2177 s Remaining CPU time: 164.782 s c =============================================================================== c | 280 | 886 1516 314909 | 5000 280 103 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 15.2577 s Remaining CPU time: 164.742 s c =============================================================================== c | 285 | 886 1517 315543 | 5000 285 102 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 15.2977 s Remaining CPU time: 164.702 s c =============================================================================== c | 291 | 886 1518 316177 | 5000 291 100 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 15.3377 s Remaining CPU time: 164.662 s c =============================================================================== c | 292 | 886 1519 316811 | 5000 292 101 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 15.3777 s Remaining CPU time: 164.622 s c =============================================================================== c | 298 | 886 1520 317445 | 5000 298 99 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 15.4167 s Remaining CPU time: 164.583 s c =============================================================================== c | 299 | 886 1521 318079 | 5000 299 99 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 15.4557 s Remaining CPU time: 164.544 s c =============================================================================== c | 299 | 886 1522 318713 | 5000 299 99 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 15.4936 s Remaining CPU time: 164.506 s c =============================================================================== c | 300 | 886 1523 319347 | 5000 300 100 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 15.5326 s Remaining CPU time: 164.467 s c =============================================================================== c | 301 | 886 1524 319981 | 5000 301 99 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 15.5726 s Remaining CPU time: 164.427 s c =============================================================================== c | 311 | 886 1525 320615 | 5000 311 100 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 15.6116 s Remaining CPU time: 164.388 s c =============================================================================== c | 315 | 886 1526 321249 | 5000 315 99 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 15.6496 s Remaining CPU time: 164.35 s c =============================================================================== c | 315 | 886 1527 321883 | 5000 315 99 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 15.6876 s Remaining CPU time: 164.312 s c =============================================================================== c | 315 | 886 1528 322517 | 5000 315 99 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 15.7256 s Remaining CPU time: 164.274 s c =============================================================================== c | 315 | 886 1529 323151 | 5000 315 99 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 15.7626 s Remaining CPU time: 164.237 s c =============================================================================== c | 317 | 886 1530 323785 | 5000 317 99 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 15.7996 s Remaining CPU time: 164.2 s c =============================================================================== c | 319 | 886 1531 324419 | 5000 319 98 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 15.8366 s Remaining CPU time: 164.163 s c =============================================================================== c | 320 | 886 1532 325053 | 5000 320 98 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 15.8746 s Remaining CPU time: 164.125 s c =============================================================================== c | 321 | 886 1533 325687 | 5000 321 98 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 15.9126 s Remaining CPU time: 164.087 s c =============================================================================== c | 322 | 886 1534 326321 | 5000 322 98 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 15.9706 s Remaining CPU time: 164.029 s c =============================================================================== c | 348 | 886 1535 326955 | 5000 348 100 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 16.0076 s Remaining CPU time: 163.992 s c =============================================================================== c | 353 | 886 1536 327589 | 5000 353 99 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 16.0446 s Remaining CPU time: 163.955 s c =============================================================================== c | 354 | 886 1537 328223 | 5000 354 99 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 16.0796 s Remaining CPU time: 163.92 s c =============================================================================== c | 354 | 886 1538 328857 | 5000 354 99 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 16.1165 s Remaining CPU time: 163.883 s c =============================================================================== c | 354 | 886 1539 329491 | 5000 354 99 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 16.1535 s Remaining CPU time: 163.846 s c =============================================================================== c | 354 | 886 1540 330125 | 5000 354 99 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 16.1965 s Remaining CPU time: 163.803 s c =============================================================================== c | 365 | 886 1541 330759 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 16.2325 s Remaining CPU time: 163.767 s c =============================================================================== c | 365 | 886 1542 331393 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 16.2685 s Remaining CPU time: 163.731 s c =============================================================================== c | 365 | 886 1543 332027 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 16.3045 s Remaining CPU time: 163.695 s c =============================================================================== c | 365 | 886 1544 332661 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 16.3405 s Remaining CPU time: 163.659 s c =============================================================================== c | 365 | 886 1545 333295 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 16.3765 s Remaining CPU time: 163.623 s c =============================================================================== c | 365 | 886 1546 333929 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 16.4115 s Remaining CPU time: 163.588 s c =============================================================================== c | 365 | 886 1547 334563 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 16.4455 s Remaining CPU time: 163.555 s c =============================================================================== c | 365 | 886 1548 335197 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 16.4805 s Remaining CPU time: 163.52 s c =============================================================================== c | 365 | 886 1549 335831 | 5000 365 99 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 16.5155 s Remaining CPU time: 163.485 s c =============================================================================== c | 366 | 886 1550 336465 | 5000 366 99 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 16.5505 s Remaining CPU time: 163.45 s c =============================================================================== c | 375 | 886 1551 337099 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 16.5835 s Remaining CPU time: 163.417 s c =============================================================================== c | 375 | 886 1552 337733 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 16.6175 s Remaining CPU time: 163.383 s c =============================================================================== c | 375 | 886 1553 338367 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 16.6505 s Remaining CPU time: 163.35 s c =============================================================================== c | 375 | 886 1554 339001 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 16.6845 s Remaining CPU time: 163.316 s c =============================================================================== c | 375 | 886 1555 339635 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 16.7185 s Remaining CPU time: 163.282 s c =============================================================================== c | 375 | 886 1556 340269 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 16.7525 s Remaining CPU time: 163.248 s c =============================================================================== c | 375 | 886 1557 340903 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 16.7864 s Remaining CPU time: 163.214 s c =============================================================================== c | 375 | 886 1558 341537 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 16.8204 s Remaining CPU time: 163.18 s c =============================================================================== c | 375 | 886 1559 342171 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 16.8534 s Remaining CPU time: 163.147 s c =============================================================================== c | 375 | 886 1560 342805 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 16.8864 s Remaining CPU time: 163.114 s c =============================================================================== c | 375 | 886 1561 343439 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 16.9194 s Remaining CPU time: 163.081 s c =============================================================================== c | 375 | 886 1562 344073 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 16.9514 s Remaining CPU time: 163.049 s c =============================================================================== c | 375 | 886 1563 344707 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 16.9844 s Remaining CPU time: 163.016 s c =============================================================================== c | 375 | 886 1564 345341 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 17.0164 s Remaining CPU time: 162.984 s c =============================================================================== c | 375 | 886 1565 345975 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 17.0484 s Remaining CPU time: 162.952 s c =============================================================================== c | 375 | 886 1566 346609 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 17.0814 s Remaining CPU time: 162.919 s c =============================================================================== c | 375 | 886 1567 347243 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 17.1134 s Remaining CPU time: 162.887 s c =============================================================================== c | 375 | 886 1568 347877 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 17.1454 s Remaining CPU time: 162.855 s c =============================================================================== c | 375 | 886 1569 348511 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 17.1774 s Remaining CPU time: 162.823 s c =============================================================================== c | 375 | 886 1570 349145 | 5000 375 97 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 17.2094 s Remaining CPU time: 162.791 s c =============================================================================== c | 380 | 886 1571 349779 | 5000 380 95 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 17.2584 s Remaining CPU time: 162.742 s c =============================================================================== c | 389 | 886 1572 350413 | 5000 389 95 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 17.2894 s Remaining CPU time: 162.711 s c =============================================================================== c | 391 | 886 1573 351047 | 5000 391 94 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 17.3204 s Remaining CPU time: 162.68 s c =============================================================================== c | 392 | 886 1574 351681 | 5000 392 94 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 17.3564 s Remaining CPU time: 162.644 s c =============================================================================== c | 402 | 886 1575 352315 | 5000 402 93 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 17.3864 s Remaining CPU time: 162.614 s c =============================================================================== c | 402 | 886 1576 352949 | 5000 402 93 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 17.4174 s Remaining CPU time: 162.583 s c =============================================================================== c | 403 | 886 1577 353583 | 5000 403 93 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 17.4483 s Remaining CPU time: 162.552 s c =============================================================================== c | 405 | 886 1578 354217 | 5000 405 93 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 17.4793 s Remaining CPU time: 162.521 s c =============================================================================== c | 406 | 886 1579 354851 | 5000 406 93 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 17.5123 s Remaining CPU time: 162.488 s c =============================================================================== c | 410 | 886 1580 355485 | 5000 410 93 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 17.5463 s Remaining CPU time: 162.454 s c =============================================================================== c | 415 | 886 1581 356119 | 5000 415 93 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 17.5783 s Remaining CPU time: 162.422 s c =============================================================================== c | 418 | 886 1582 356753 | 5000 418 93 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 17.6093 s Remaining CPU time: 162.391 s c =============================================================================== c | 420 | 886 1583 357387 | 5000 420 93 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 17.6413 s Remaining CPU time: 162.359 s c =============================================================================== c | 428 | 886 1584 358021 | 5000 428 92 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 17.6783 s Remaining CPU time: 162.322 s c =============================================================================== c | 443 | 886 1585 358655 | 5000 443 91 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 17.7133 s Remaining CPU time: 162.287 s c =============================================================================== c | 456 | 886 1586 359289 | 5000 456 91 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 17.7663 s Remaining CPU time: 162.234 s c =============================================================================== c | 485 | 886 1587 359923 | 5000 485 89 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 17.7953 s Remaining CPU time: 162.205 s c =============================================================================== c | 500 | 886 1588 360557 | 5000 500 88 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 17.8283 s Remaining CPU time: 162.172 s c =============================================================================== c | 510 | 886 1589 361191 | 5000 510 87 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 17.8573 s Remaining CPU time: 162.143 s c =============================================================================== c | 513 | 886 1590 361825 | 5000 513 87 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 17.8853 s Remaining CPU time: 162.115 s c =============================================================================== c | 515 | 886 1591 362459 | 5000 515 87 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 17.9183 s Remaining CPU time: 162.082 s c =============================================================================== c | 523 | 886 1592 363093 | 5000 523 87 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 17.9483 s Remaining CPU time: 162.052 s c =============================================================================== c | 524 | 886 1593 363727 | 5000 524 87 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 17.9803 s Remaining CPU time: 162.02 s c =============================================================================== c | 529 | 886 1594 364361 | 5000 529 86 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 18.0133 s Remaining CPU time: 161.987 s c =============================================================================== c | 532 | 886 1595 364995 | 5000 532 86 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 18.0443 s Remaining CPU time: 161.956 s c =============================================================================== c | 534 | 886 1596 365629 | 5000 534 86 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 18.0763 s Remaining CPU time: 161.924 s c =============================================================================== c | 540 | 886 1597 366263 | 5000 540 86 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 18.1012 s Remaining CPU time: 161.899 s c =============================================================================== c | 541 | 886 1598 366897 | 5000 541 86 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 18.1282 s Remaining CPU time: 161.872 s c =============================================================================== c | 541 | 886 1599 367531 | 5000 541 86 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 18.1542 s Remaining CPU time: 161.846 s c =============================================================================== c | 541 | 886 1600 368165 | 5000 541 86 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 18.1802 s Remaining CPU time: 161.82 s c =============================================================================== c | 541 | 886 1601 368799 | 5000 541 86 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 18.2052 s Remaining CPU time: 161.795 s c =============================================================================== c | 541 | 886 1602 369433 | 5000 541 86 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 18.2302 s Remaining CPU time: 161.77 s c =============================================================================== c | 542 | 886 1603 370067 | 5000 542 86 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 18.2572 s Remaining CPU time: 161.743 s c =============================================================================== c | 543 | 886 1604 370701 | 5000 543 86 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 18.2842 s Remaining CPU time: 161.716 s c =============================================================================== c | 544 | 886 1605 371335 | 5000 544 85 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 18.3112 s Remaining CPU time: 161.689 s c =============================================================================== c | 545 | 886 1606 371969 | 5000 545 85 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 18.3382 s Remaining CPU time: 161.662 s c =============================================================================== c | 546 | 886 1607 372603 | 5000 546 85 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 18.3632 s Remaining CPU time: 161.637 s c =============================================================================== c | 548 | 886 1608 373237 | 5000 548 85 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 18.3912 s Remaining CPU time: 161.609 s c =============================================================================== c | 550 | 886 1609 373871 | 5000 550 85 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 18.4192 s Remaining CPU time: 161.581 s c =============================================================================== c | 552 | 886 1610 374505 | 5000 552 85 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 18.4452 s Remaining CPU time: 161.555 s c =============================================================================== c | 554 | 886 1611 375139 | 5000 554 85 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 18.4702 s Remaining CPU time: 161.53 s c =============================================================================== c | 555 | 886 1612 375773 | 5000 555 85 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 18.4962 s Remaining CPU time: 161.504 s c =============================================================================== c | 556 | 886 1613 376407 | 5000 556 85 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 18.5212 s Remaining CPU time: 161.479 s c =============================================================================== c | 557 | 886 1614 377041 | 5000 557 85 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 18.5442 s Remaining CPU time: 161.456 s c =============================================================================== c | 557 | 886 1615 377675 | 5000 557 85 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 18.6832 s Remaining CPU time: 161.317 s c =============================================================================== c | 652 | 886 1616 378309 | 5000 652 81 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 18.7072 s Remaining CPU time: 161.293 s c =============================================================================== c | 683 | 886 1617 378943 | 5000 683 79 | 0.000 % | c | 783 | 886 1617 378943 | 5500 783 76 | 3.064 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 18.9951 s Remaining CPU time: 161.005 s c =============================================================================== c | 835 | 886 1618 379577 | 5000 835 75 | 3.064 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 19.0171 s Remaining CPU time: 160.983 s c =============================================================================== c | 838 | 886 1619 380211 | 5000 838 75 | 3.064 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 19.0391 s Remaining CPU time: 160.961 s c =============================================================================== c | 839 | 886 1620 380845 | 5000 839 75 | 3.064 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 19.0601 s Remaining CPU time: 160.94 s c =============================================================================== c | 842 | 886 1621 381479 | 5000 842 75 | 3.064 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 19.0851 s Remaining CPU time: 160.915 s c =============================================================================== c | 915 | 886 1622 382113 | 5000 915 71 | 3.064 % | c | 1015 | 886 1622 382113 | 5500 1015 69 | 3.064 % | c | 1165 | 886 1622 382113 | 6050 1165 67 | 3.064 % | c | 1391 | 886 1622 382113 | 6655 1391 64 | 3.064 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 19.648 s Remaining CPU time: 160.352 s c =============================================================================== c | 1422 | 886 1623 382747 | 5000 1422 64 | 3.064 % | c | 1522 | 886 1623 382747 | 5500 1522 63 | 3.064 % | c | 1672 | 886 1623 382747 | 6050 1672 62 | 3.064 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 20.1199 s Remaining CPU time: 159.88 s c =============================================================================== c | 1855 | 886 1624 383381 | 5000 1855 60 | 3.064 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 20.1469 s Remaining CPU time: 159.853 s c =============================================================================== c | 1913 | 886 1625 384015 | 5000 1913 60 | 3.064 % | c | 2013 | 886 1625 384015 | 5500 2013 59 | 3.064 % | c | 2166 | 886 1625 384015 | 6050 2166 58 | 3.064 % | c | 2393 | 886 1625 384015 | 6655 2393 57 | 3.064 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 20.7288 s Remaining CPU time: 159.271 s c =============================================================================== c | 2480 | 886 1626 384649 | 5000 2480 57 | 3.064 % | c | 2580 | 886 1626 384649 | 5500 2580 56 | 3.064 % | c | 2730 | 886 1626 384649 | 6050 2730 56 | 3.064 % | c | 2955 | 886 1626 384649 | 6655 2955 55 | 3.064 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 21.3138 s Remaining CPU time: 158.686 s c =============================================================================== c | 2985 | 886 1627 385283 | 5000 2985 55 | 3.064 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 21.3408 s Remaining CPU time: 158.659 s c =============================================================================== c | 3080 | 886 1628 385917 | 5000 3080 55 | 3.064 % | c | 3181 | 886 1628 385917 | 5500 3181 54 | 3.064 % | c | 3331 | 886 1628 385917 | 6050 3331 54 | 3.064 % | c | 3560 | 886 1628 385917 | 6655 3560 53 | 3.064 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 22.0536 s Remaining CPU time: 157.946 s c =============================================================================== c | 3658 | 886 1629 386551 | 5000 3658 53 | 3.064 % | c | 3760 | 886 1629 386551 | 5500 3760 53 | 3.064 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 22.1276 s Remaining CPU time: 157.872 s c =============================================================================== c | 3823 | 886 1630 387185 | 5000 3823 53 | 3.064 % | c | 3923 | 886 1630 387185 | 5500 3923 52 | 3.064 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 22.3576 s Remaining CPU time: 157.642 s c =============================================================================== c | 4063 | 886 1631 387819 | 5000 4063 52 | 3.064 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 22.3836 s Remaining CPU time: 157.616 s c =============================================================================== c | 4110 | 886 1632 388453 | 5000 4110 52 | 3.064 % | c | 4210 | 886 1632 388453 | 5500 4210 51 | 3.064 % | c | 4360 | 886 1632 388453 | 6050 4360 51 | 3.064 % | c | 4587 | 886 1632 388453 | 6655 4587 51 | 3.064 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 22.9615 s Remaining CPU time: 157.038 s c =============================================================================== c | 4608 | 886 1633 389087 | 5000 4608 51 | 3.064 % | c | 4708 | 886 1633 389087 | 5500 4708 50 | 3.064 % | c | 4859 | 886 1633 389087 | 6050 4859 50 | 3.064 % | c | 5088 | 886 1633 389087 | 6655 5088 49 | 3.064 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 23.5924 s Remaining CPU time: 156.408 s c =============================================================================== c | 5299 | 886 1634 389721 | 5000 5299 49 | 3.064 % | c | 5399 | 886 1634 389721 | 5500 2750 39 | 3.064 % | c | 5549 | 886 1634 389721 | 6050 2900 40 | 3.064 % | c | 5774 | 886 1634 389721 | 6655 3125 40 | 3.064 % | c | 6112 | 886 1634 389721 | 7320 3463 39 | 3.064 % | c | 6618 | 886 1634 389721 | 8052 3969 41 | 3.064 % | c | 7377 | 886 1634 389721 | 8857 4728 41 | 3.064 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 25.8131 s Remaining CPU time: 154.187 s c =============================================================================== c | 7715 | 886 1635 390355 | 5000 5066 41 | 3.064 % | c | 7815 | 886 1635 390355 | 5500 2633 39 | 3.064 % | c | 7965 | 886 1635 390355 | 6050 2783 39 | 3.064 % | c | 8190 | 886 1635 390355 | 6655 3008 39 | 3.064 % | c | 8527 | 886 1635 390355 | 7320 3345 39 | 3.064 % | c | 9033 | 886 1635 390355 | 8052 3851 39 | 3.064 % | c | 9792 | 886 1635 390355 | 8857 4610 40 | 3.064 % | c | 10931 | 886 1635 390355 | 9743 5749 41 | 3.064 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 30.3534 s Remaining CPU time: 149.647 s c =============================================================================== c | 11743 | 886 1636 390989 | 5000 6561 41 | 3.064 % | c | 11843 | 886 1636 390989 | 5500 3381 41 | 3.064 % | c | 11993 | 886 1636 390989 | 6050 3531 41 | 3.064 % | c | 12218 | 886 1636 390989 | 6655 3756 41 | 3.064 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 31.2213 s Remaining CPU time: 148.779 s c =============================================================================== c | 12460 | 886 1637 391623 | 5000 3998 41 | 3.064 % | c | 12560 | 886 1637 391623 | 5500 4098 41 | 3.064 % | c | 12710 | 886 1637 391623 | 6050 4248 40 | 3.064 % | c | 12935 | 886 1637 391623 | 6655 4473 41 | 3.064 % | c | 13272 | 886 1637 391623 | 7320 4810 41 | 3.064 % | c | 13778 | 886 1637 391623 | 8052 5316 41 | 3.064 % | c | 14537 | 886 1637 391623 | 8857 6075 43 | 3.064 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 35.1287 s Remaining CPU time: 144.871 s c =============================================================================== c | 15328 | 886 1638 392257 | 5000 6866 43 | 3.064 % | c | 15428 | 886 1638 392257 | 5500 3533 44 | 3.064 % | c | 15578 | 886 1638 392257 | 6050 3683 44 | 3.064 % | c | 15805 | 886 1638 392257 | 6655 3910 43 | 3.064 % | c | 16142 | 886 1638 392257 | 7320 4247 43 | 3.064 % | c | 16648 | 886 1638 392257 | 8052 4753 43 | 3.064 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 36.6914 s Remaining CPU time: 143.309 s c =============================================================================== c | 16862 | 886 1639 392891 | 5000 4967 42 | 3.064 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 36.7114 s Remaining CPU time: 143.289 s c =============================================================================== c | 16874 | 886 1640 393525 | 5000 4979 42 | 3.064 % | c | 16974 | 886 1640 393525 | 5500 5079 42 | 3.064 % | c | 17124 | 886 1640 393525 | 6050 5229 42 | 3.064 % | c | 17353 | 886 1640 393525 | 6655 5458 41 | 3.064 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 37.3533 s Remaining CPU time: 142.647 s c =============================================================================== c | 17566 | 886 1641 394159 | 5000 5671 41 | 3.064 % | c | 17666 | 886 1641 394159 | 5500 2936 37 | 3.064 % | c | 17816 | 886 1641 394159 | 6050 3086 36 | 3.064 % | c | 18041 | 886 1641 394159 | 6655 3311 36 | 3.064 % | c | 18378 | 886 1641 394159 | 7320 3648 36 | 3.064 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 38.3402 s Remaining CPU time: 141.66 s c =============================================================================== c | 18385 | 886 1642 394793 | 5000 3655 36 | 3.064 % | c | 18485 | 886 1642 394793 | 5500 3755 36 | 3.064 % | c | 18635 | 886 1642 394793 | 6050 3905 36 | 3.064 % | c | 18860 | 886 1642 394793 | 6655 4130 35 | 3.064 % | c | 19198 | 886 1642 394793 | 7320 4468 36 | 3.064 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 39.769 s Remaining CPU time: 140.231 s c =============================================================================== c | 19549 | 886 1643 395427 | 5000 4819 36 | 3.064 % | c | 19649 | 886 1643 395427 | 5500 4919 36 | 3.064 % | c | 19799 | 886 1643 395427 | 6050 5069 36 | 3.064 % | c | 20024 | 886 1643 395427 | 6655 5294 36 | 3.064 % | c | 20361 | 886 1643 395427 | 7320 5631 36 | 3.064 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 40.8348 s Remaining CPU time: 139.165 s c =============================================================================== c | 20376 | 886 1644 396061 | 5000 5646 36 | 3.064 % | c | 20476 | 886 1644 396061 | 5500 2923 34 | 3.064 % | c | 20626 | 886 1644 396061 | 6050 3073 34 | 3.064 % | c | 20853 | 886 1644 396061 | 6655 3300 35 | 3.064 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 41.6147 s Remaining CPU time: 138.385 s c =============================================================================== c | 21015 | 886 1645 396695 | 5000 3462 35 | 3.064 % | c | 21115 | 886 1645 396695 | 5500 3562 35 | 3.064 % | c | 21265 | 886 1645 396695 | 6050 3712 35 | 3.064 % | c | 21490 | 886 1645 396695 | 6655 3937 35 | 3.064 % | c | 21827 | 886 1645 396695 | 7320 4274 35 | 3.064 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 43.4114 s Remaining CPU time: 136.589 s c =============================================================================== c | 22294 | 886 1646 397329 | 5000 4741 35 | 3.064 % | c | 22394 | 886 1646 397329 | 5500 4841 35 | 3.064 % | c | 22544 | 886 1646 397329 | 6050 4991 35 | 3.064 % | c | 22769 | 886 1646 397329 | 6655 5216 35 | 3.064 % | c | 23107 | 886 1646 397329 | 7320 5554 35 | 3.064 % | c | 23613 | 886 1646 397329 | 8052 6060 34 | 3.064 % | c | 24372 | 886 1646 397329 | 8857 6819 34 | 3.064 % | c | 25511 | 886 1646 397329 | 9743 7958 33 | 3.064 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 47.2448 s Remaining CPU time: 132.755 s c =============================================================================== c | 25864 | 886 1647 397963 | 5000 8311 33 | 3.064 % | c | 25964 | 886 1647 397963 | 5500 4256 30 | 3.064 % | c | 26115 | 886 1647 397963 | 6050 4407 30 | 3.064 % | c | 26340 | 886 1647 397963 | 6655 4632 30 | 3.064 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 48.1727 s Remaining CPU time: 131.827 s c =============================================================================== c | 26663 | 886 1648 398597 | 5000 4955 30 | 3.064 % | c | 26763 | 886 1648 398597 | 5500 5055 31 | 3.064 % | c | 26913 | 886 1648 398597 | 6050 5205 31 | 3.064 % | c | 27138 | 886 1648 398597 | 6655 5430 31 | 3.064 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 49.1375 s Remaining CPU time: 130.862 s c =============================================================================== c | 27347 | 886 1649 399231 | 5000 5639 31 | 3.064 % | c | 27447 | 886 1649 399231 | 5500 2920 30 | 3.064 % | c | 27597 | 886 1649 399231 | 6050 3070 31 | 3.064 % | c | 27825 | 886 1649 399231 | 6655 3298 31 | 3.064 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 49.8664 s Remaining CPU time: 130.134 s c =============================================================================== c | 27933 | 886 1650 399865 | 5000 3406 31 | 3.064 % | c | 28033 | 886 1650 399865 | 5500 3506 31 | 3.064 % | c | 28187 | 886 1650 399865 | 6050 3660 31 | 3.064 % | c | 28412 | 886 1650 399865 | 6655 3885 31 | 3.064 % | c | 28749 | 886 1650 399865 | 7320 4222 31 | 3.064 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 51.7001 s Remaining CPU time: 128.3 s c =============================================================================== c | 29159 | 886 1651 400499 | 5000 4632 31 | 3.064 % | c | 29259 | 886 1651 400499 | 5500 4732 31 | 3.064 % | c | 29409 | 886 1651 400499 | 6050 4882 31 | 3.064 % | c | 29634 | 886 1651 400499 | 6655 5107 31 | 3.064 % | c | 29972 | 886 1651 400499 | 7320 5445 31 | 3.064 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 53.0879 s Remaining CPU time: 126.912 s c =============================================================================== c | 30159 | 886 1652 401133 | 5000 5632 31 | 3.064 % | c | 30259 | 886 1652 401133 | 5500 2916 31 | 3.064 % | c | 30410 | 886 1652 401133 | 6050 3067 32 | 3.064 % | c | 30635 | 886 1652 401133 | 6655 3292 33 | 3.064 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 54.1478 s Remaining CPU time: 125.852 s c =============================================================================== c | 30848 | 886 1653 401767 | 5000 3505 33 | 3.064 % | c | 30948 | 886 1653 401767 | 5500 3605 33 | 3.064 % | c | 31098 | 886 1653 401767 | 6050 3755 33 | 3.064 % | c | 31323 | 886 1653 401767 | 6655 3980 34 | 3.064 % | c | 31662 | 886 1653 401767 | 7320 4319 34 | 3.064 % | c | 32168 | 886 1653 401767 | 8052 4825 33 | 3.064 % | c | 32927 | 886 1653 401767 | 8857 5584 31 | 3.064 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 57.5902 s Remaining CPU time: 122.41 s c =============================================================================== c | 33680 | 886 1654 402401 | 5000 6337 30 | 3.064 % | c | 33784 | 886 1654 402401 | 5500 3273 26 | 3.064 % | c | 33934 | 886 1654 402401 | 6050 3423 26 | 3.064 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 58.0942 s Remaining CPU time: 121.906 s c =============================================================================== c | 34142 | 886 1655 403035 | 5000 3631 26 | 3.064 % | c | 34242 | 886 1655 403035 | 5500 3731 26 | 3.064 % | c | 34392 | 886 1655 403035 | 6050 3881 26 | 3.064 % | c | 34617 | 886 1655 403035 | 6655 4106 26 | 3.064 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 58.6611 s Remaining CPU time: 121.339 s c =============================================================================== c | 34647 | 886 1656 403669 | 5000 4136 26 | 3.064 % | c | 34748 | 886 1656 403669 | 5500 4237 25 | 3.064 % | c | 34898 | 886 1656 403669 | 6050 4387 26 | 3.064 % | c | 35123 | 886 1656 403669 | 6655 4612 25 | 3.064 % | c | 35460 | 886 1656 403669 | 7320 4949 25 | 3.064 % | c | 35966 | 886 1656 403669 | 8052 5455 25 | 3.064 % | c | 36725 | 886 1656 403669 | 8857 6214 24 | 3.064 % | c | 37864 | 886 1656 403669 | 9743 7353 26 | 3.064 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 63.3414 s Remaining CPU time: 116.659 s c =============================================================================== c | 38270 | 886 1657 404303 | 5000 7759 26 | 3.064 % | c | 38370 | 886 1657 404303 | 5500 3980 27 | 3.064 % | c | 38520 | 886 1657 404303 | 6050 4130 27 | 3.064 % | c | 38745 | 886 1657 404303 | 6655 4355 27 | 3.064 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 64.1113 s Remaining CPU time: 115.889 s c =============================================================================== c | 38907 | 886 1658 404937 | 5000 4517 27 | 3.064 % | c | 39007 | 886 1658 404937 | 5500 4617 26 | 3.064 % | c | 39157 | 886 1658 404937 | 6050 4767 28 | 3.065 % | c | 39382 | 886 1658 404937 | 6655 4992 29 | 3.065 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 65.481 s Remaining CPU time: 114.519 s c =============================================================================== c | 39700 | 886 1659 405571 | 5000 5310 28 | 3.065 % | c | 39800 | 883 1659 405571 | 5500 1064 44 | 3.614 % | c | 39951 | 875 1659 405571 | 6050 1215 57 | 4.486 % | c | 40176 | 875 1659 405571 | 6655 1440 68 | 4.487 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 67.0238 s Remaining CPU time: 112.976 s c =============================================================================== c =============================================================================== c Total CPU time: 67.0238 s