c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1307 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1055 | c | Number Clauses: 1139 | 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 | 1027 1167 3808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1027 1168 4673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 1027 1169 5538 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 1 | 1027 1170 6403 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 1 | 1027 1171 7268 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 1027 1172 8133 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 1027 1173 8998 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 1027 1174 9863 | 5000 1 797 | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 2 | 1027 1175 10728 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 2 | 1027 1176 11593 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 2 | 1027 1177 12458 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 2 | 1027 1178 13323 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 2 | 1027 1179 14188 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 2 | 1027 1180 15053 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 2 | 1027 1181 15918 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 2 | 1027 1182 16783 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 2 | 1027 1183 17648 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 2 | 1027 1184 18513 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 2 | 1027 1185 19378 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 2 | 1027 1186 20243 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 2 | 1027 1187 21108 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 2 | 1027 1188 21973 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 2 | 1027 1189 22838 | 5000 2 794 | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 3 | 1027 1190 23703 | 5000 3 789 | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 3 | 1027 1191 24568 | 5000 3 789 | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 3 | 1027 1192 25433 | 5000 3 789 | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 4 | 1027 1193 26298 | 5000 4 593 | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 4 | 1027 1194 27163 | 5000 4 593 | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 5 | 1027 1195 28028 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 5 | 1027 1196 28893 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 5 | 1027 1197 29758 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 5 | 1027 1198 30623 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 5 | 1027 1199 31488 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 5 | 1027 1200 32353 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 5 | 1027 1201 33218 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 5 | 1027 1202 34083 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 5 | 1027 1203 34948 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 5 | 1027 1204 35813 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 5 | 1027 1205 36678 | 5000 5 628 | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 6 | 1027 1206 37543 | 5000 6 650 | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 7 | 1027 1207 38408 | 5000 7 665 | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 7 | 1027 1208 39273 | 5000 7 665 | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 7 | 1027 1209 40138 | 5000 7 665 | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 7 | 1027 1210 41003 | 5000 7 665 | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 7 | 1027 1211 41868 | 5000 7 665 | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 9 | 1027 1212 42733 | 5000 9 601 | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 9 | 1027 1213 43598 | 5000 9 601 | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 9 | 1027 1214 44463 | 5000 9 601 | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 9 | 1027 1215 45328 | 5000 9 601 | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 9 | 1027 1216 46193 | 5000 9 601 | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 9 | 1027 1217 47058 | 5000 9 601 | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 9 | 1027 1218 47923 | 5000 9 601 | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 10 | 1027 1219 48788 | 5000 10 616 | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 10 | 1027 1220 49653 | 5000 10 616 | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 10 | 1027 1221 50518 | 5000 10 616 | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 14 | 1027 1222 51383 | 5000 14 653 | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 14 | 1027 1223 52248 | 5000 14 653 | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 14 | 1027 1224 53113 | 5000 14 653 | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 14 | 1027 1225 53978 | 5000 14 653 | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 14 | 1027 1226 54843 | 5000 14 653 | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 14 | 1027 1227 55708 | 5000 14 653 | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 15 | 1027 1228 56573 | 5000 15 659 | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 16 | 1027 1229 57438 | 5000 16 664 | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 16 | 1027 1230 58303 | 5000 16 664 | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 16 | 1027 1231 59168 | 5000 16 664 | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 16 | 1027 1232 60033 | 5000 16 664 | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 16 | 1027 1233 60898 | 5000 16 664 | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 16 | 1027 1234 61763 | 5000 16 664 | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 16 | 1027 1235 62628 | 5000 16 664 | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 27 | 1027 1236 63493 | 5000 27 691 | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 40 | 1027 1237 64358 | 5000 40 704 | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 49 | 1027 1238 65223 | 5000 49 709 | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 50 | 1027 1239 66088 | 5000 50 709 | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 89 | 1027 1240 66953 | 5000 89 717 | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 93 | 1027 1241 67818 | 5000 93 718 | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 101 | 1027 1242 68683 | 5000 101 718 | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 113 | 1027 1243 69548 | 5000 113 719 | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 120 | 1027 1244 70413 | 5000 120 719 | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s c =============================================================================== c | 127 | 1027 1245 71278 | 5000 127 719 | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 134 | 1027 1246 72143 | 5000 134 720 | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 161 | 1027 1247 73008 | 5000 161 720 | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 179 | 1027 1248 73873 | 5000 179 720 | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s c =============================================================================== c | 226 | 1027 1249 74738 | 5000 226 720 | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s c =============================================================================== c | 233 | 1027 1250 75603 | 5000 233 720 | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 251 | 1027 1251 76468 | 5000 251 719 | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 263 | 1027 1252 77333 | 5000 263 719 | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 288 | 1027 1253 78198 | 5000 288 719 | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 311 | 1027 1254 79063 | 5000 311 718 | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s c =============================================================================== c | 317 | 1027 1255 79928 | 5000 317 718 | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 1.07084 s Remaining CPU time: 178.929 s c =============================================================================== c | 329 | 1027 1256 80793 | 5000 329 718 | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 1.09783 s Remaining CPU time: 178.902 s c =============================================================================== c | 341 | 1027 1257 81658 | 5000 341 718 | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 342 | 1027 1258 82523 | 5000 342 718 | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 344 | 1027 1259 83388 | 5000 344 718 | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 359 | 1027 1260 84253 | 5000 359 717 | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 398 | 1027 1261 85118 | 5000 398 716 | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 1.27481 s Remaining CPU time: 178.725 s c =============================================================================== c | 437 | 1027 1262 85983 | 5000 437 715 | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 1.3318 s Remaining CPU time: 178.668 s c =============================================================================== c | 482 | 1027 1263 86848 | 5000 482 714 | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 1.39379 s Remaining CPU time: 178.606 s c =============================================================================== c | 541 | 1027 1264 87713 | 5000 541 713 | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 578 | 1027 1265 88578 | 5000 578 713 | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 594 | 1027 1266 89443 | 5000 594 712 | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 1.51077 s Remaining CPU time: 178.489 s c =============================================================================== c | 602 | 1027 1267 90308 | 5000 602 712 | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 1.54177 s Remaining CPU time: 178.458 s c =============================================================================== c | 606 | 1027 1268 91173 | 5000 606 712 | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 1.58676 s Remaining CPU time: 178.413 s c =============================================================================== c | 633 | 1027 1269 92038 | 5000 633 711 | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 659 | 1027 1270 92903 | 5000 659 711 | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 696 | 1027 1271 93768 | 5000 696 710 | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s c =============================================================================== c | 712 | 1027 1272 94633 | 5000 712 710 | 0.000 % | c | 812 | 1027 1272 94633 | 5500 812 708 | 2.654 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 821 | 1027 1273 95498 | 5000 821 708 | 2.654 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 1.90571 s Remaining CPU time: 178.094 s c =============================================================================== c | 832 | 1027 1274 96363 | 5000 832 708 | 2.654 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s c =============================================================================== c | 832 | 1027 1275 97228 | 5000 832 708 | 2.654 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s c =============================================================================== c | 842 | 1027 1276 98093 | 5000 842 708 | 2.654 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 2.0037 s Remaining CPU time: 177.996 s c =============================================================================== c | 842 | 1027 1277 98958 | 5000 842 708 | 2.654 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 2.05069 s Remaining CPU time: 177.949 s c =============================================================================== c | 868 | 1027 1278 99823 | 5000 868 707 | 2.654 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 895 | 1027 1279 100688 | 5000 895 706 | 2.654 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 2.18367 s Remaining CPU time: 177.816 s c =============================================================================== c | 954 | 1027 1280 101553 | 5000 954 705 | 2.654 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 2.21666 s Remaining CPU time: 177.783 s c =============================================================================== c | 955 | 1027 1281 102418 | 5000 955 705 | 2.654 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 2.28065 s Remaining CPU time: 177.719 s c =============================================================================== c | 993 | 1027 1282 103283 | 5000 993 705 | 2.654 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 2.33264 s Remaining CPU time: 177.667 s c =============================================================================== c | 1023 | 1027 1283 104148 | 5000 1023 704 | 2.654 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 1038 | 1027 1284 105013 | 5000 1038 704 | 2.654 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 1114 | 1027 1285 105878 | 5000 1114 702 | 2.654 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s c =============================================================================== c | 1157 | 1027 1286 106743 | 5000 1157 702 | 2.654 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 2.57561 s Remaining CPU time: 177.424 s c =============================================================================== c | 1178 | 1027 1287 107608 | 5000 1178 701 | 2.654 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 2.6296 s Remaining CPU time: 177.37 s c =============================================================================== c | 1207 | 1027 1288 108473 | 5000 1207 701 | 2.654 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 2.68159 s Remaining CPU time: 177.318 s c =============================================================================== c | 1232 | 1027 1289 109338 | 5000 1232 700 | 2.654 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 2.74758 s Remaining CPU time: 177.252 s c =============================================================================== c | 1272 | 1027 1290 110203 | 5000 1272 700 | 2.654 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s c =============================================================================== c | 1281 | 1027 1291 111068 | 5000 1281 699 | 2.654 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 2.85157 s Remaining CPU time: 177.148 s c =============================================================================== c | 1307 | 1027 1292 111933 | 5000 1307 699 | 2.654 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 2.90756 s Remaining CPU time: 177.092 s c =============================================================================== c | 1335 | 1027 1293 112798 | 5000 1335 698 | 2.654 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 2.96555 s Remaining CPU time: 177.034 s c =============================================================================== c | 1357 | 1027 1294 113663 | 5000 1357 698 | 2.654 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 3.01854 s Remaining CPU time: 176.981 s c =============================================================================== c | 1376 | 1027 1295 114528 | 5000 1376 698 | 2.654 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 3.07553 s Remaining CPU time: 176.924 s c =============================================================================== c | 1398 | 1027 1296 115393 | 5000 1398 697 | 2.654 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 3.11952 s Remaining CPU time: 176.88 s c =============================================================================== c | 1402 | 1027 1297 116258 | 5000 1402 697 | 2.654 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 3.18751 s Remaining CPU time: 176.812 s c =============================================================================== c | 1437 | 1027 1298 117123 | 5000 1437 696 | 2.654 % | c | 1537 | 1027 1298 117123 | 5500 1537 695 | 2.654 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 3.34749 s Remaining CPU time: 176.653 s c =============================================================================== c | 1546 | 1027 1299 117988 | 5000 1546 695 | 2.654 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 3.47347 s Remaining CPU time: 176.527 s c =============================================================================== c | 1618 | 1027 1300 118853 | 5000 1618 693 | 2.654 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 3.53546 s Remaining CPU time: 176.465 s c =============================================================================== c | 1641 | 1027 1301 119718 | 5000 1641 693 | 2.654 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 3.60645 s Remaining CPU time: 176.394 s c =============================================================================== c | 1662 | 1027 1302 120583 | 5000 1662 693 | 2.654 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 3.66544 s Remaining CPU time: 176.335 s c =============================================================================== c | 1685 | 1027 1303 121448 | 5000 1685 692 | 2.654 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 3.72243 s Remaining CPU time: 176.278 s c =============================================================================== c | 1709 | 1027 1304 122313 | 5000 1709 692 | 2.654 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 3.78242 s Remaining CPU time: 176.218 s c =============================================================================== c | 1729 | 1027 1305 123178 | 5000 1729 692 | 2.654 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 3.83042 s Remaining CPU time: 176.17 s c =============================================================================== c | 1736 | 1027 1306 124043 | 5000 1736 691 | 2.654 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 3.90141 s Remaining CPU time: 176.099 s c =============================================================================== c | 1772 | 1027 1307 124908 | 5000 1772 691 | 2.654 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 3.9564 s Remaining CPU time: 176.044 s c =============================================================================== c | 1787 | 1027 1308 125773 | 5000 1787 691 | 2.654 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 4.01039 s Remaining CPU time: 175.99 s c =============================================================================== c | 1801 | 1027 1309 126638 | 5000 1801 690 | 2.654 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 4.05638 s Remaining CPU time: 175.944 s c =============================================================================== c | 1803 | 1027 1310 127503 | 5000 1803 690 | 2.654 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 4.12537 s Remaining CPU time: 175.875 s c =============================================================================== c | 1831 | 1027 1311 128368 | 5000 1831 690 | 2.654 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 4.20236 s Remaining CPU time: 175.798 s c =============================================================================== c | 1876 | 1027 1312 129233 | 5000 1876 689 | 2.654 % | c | 1976 | 1027 1312 129233 | 5500 1976 687 | 2.654 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 4.44332 s Remaining CPU time: 175.557 s c =============================================================================== c | 2008 | 1027 1313 130098 | 5000 2008 687 | 2.654 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 4.53331 s Remaining CPU time: 175.467 s c =============================================================================== c | 2047 | 1027 1314 130963 | 5000 2047 686 | 2.654 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 4.5993 s Remaining CPU time: 175.401 s c =============================================================================== c | 2067 | 1027 1315 131828 | 5000 2067 686 | 2.654 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 4.70029 s Remaining CPU time: 175.3 s c =============================================================================== c | 2125 | 1027 1316 132693 | 5000 2125 685 | 2.654 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 4.78527 s Remaining CPU time: 175.215 s c =============================================================================== c | 2172 | 1027 1317 133558 | 5000 2172 684 | 2.654 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 4.85726 s Remaining CPU time: 175.143 s c =============================================================================== c | 2204 | 1027 1318 134423 | 5000 2204 684 | 2.654 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 4.91925 s Remaining CPU time: 175.081 s c =============================================================================== c | 2218 | 1027 1319 135288 | 5000 2218 684 | 2.654 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 4.99824 s Remaining CPU time: 175.002 s c =============================================================================== c | 2245 | 1027 1320 136153 | 5000 2245 683 | 2.654 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 5.08523 s Remaining CPU time: 174.915 s c =============================================================================== c | 2281 | 1027 1321 137018 | 5000 2281 683 | 2.654 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 5.19221 s Remaining CPU time: 174.808 s c =============================================================================== c | 2326 | 1027 1322 137883 | 5000 2326 682 | 2.654 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 5.2692 s Remaining CPU time: 174.731 s c =============================================================================== c | 2359 | 1027 1323 138748 | 5000 2359 681 | 2.654 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 5.34919 s Remaining CPU time: 174.651 s c =============================================================================== c | 2393 | 1027 1324 139613 | 5000 2393 681 | 2.654 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 5.43317 s Remaining CPU time: 174.567 s c =============================================================================== c | 2427 | 1027 1325 140478 | 5000 2427 680 | 2.654 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 5.51516 s Remaining CPU time: 174.485 s c =============================================================================== c | 2465 | 1027 1326 141343 | 5000 2465 680 | 2.654 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 5.57415 s Remaining CPU time: 174.426 s c =============================================================================== c | 2479 | 1027 1327 142208 | 5000 2479 680 | 2.654 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 5.62914 s Remaining CPU time: 174.371 s c =============================================================================== c | 2492 | 1027 1328 143073 | 5000 2492 679 | 2.654 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 5.69413 s Remaining CPU time: 174.306 s c =============================================================================== c | 2517 | 1027 1329 143938 | 5000 2517 679 | 2.654 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 5.75113 s Remaining CPU time: 174.249 s c =============================================================================== c | 2530 | 1027 1330 144803 | 5000 2530 679 | 2.654 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 5.82811 s Remaining CPU time: 174.172 s c =============================================================================== c | 2544 | 1027 1331 145668 | 5000 2544 678 | 2.654 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 5.8841 s Remaining CPU time: 174.116 s c =============================================================================== c | 2549 | 1027 1332 146533 | 5000 2549 678 | 2.654 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 5.9391 s Remaining CPU time: 174.061 s c =============================================================================== c | 2551 | 1027 1333 147398 | 5000 2551 678 | 2.654 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 6.00009 s Remaining CPU time: 174 s c =============================================================================== c | 2563 | 1027 1334 148263 | 5000 2563 678 | 2.654 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 6.09407 s Remaining CPU time: 173.906 s c =============================================================================== c | 2612 | 1027 1335 149128 | 5000 2612 677 | 2.654 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 6.19406 s Remaining CPU time: 173.806 s c =============================================================================== c | 2662 | 1027 1336 149993 | 5000 2662 676 | 2.654 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 6.26405 s Remaining CPU time: 173.736 s c =============================================================================== c | 2680 | 1027 1337 150858 | 5000 2680 676 | 2.654 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 6.34803 s Remaining CPU time: 173.652 s c =============================================================================== c | 2711 | 1027 1338 151723 | 5000 2711 676 | 2.654 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 6.42802 s Remaining CPU time: 173.572 s c =============================================================================== c | 2733 | 1027 1339 152588 | 5000 2733 675 | 2.654 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 6.50201 s Remaining CPU time: 173.498 s c =============================================================================== c | 2747 | 1027 1340 153453 | 5000 2747 675 | 2.654 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 6.568 s Remaining CPU time: 173.432 s c =============================================================================== c | 2762 | 1027 1341 154318 | 5000 2762 675 | 2.654 % | c | 2862 | 1027 1341 154318 | 5500 2862 673 | 2.654 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 6.82196 s Remaining CPU time: 173.178 s c =============================================================================== c | 2883 | 1027 1342 155183 | 5000 2883 673 | 2.654 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 6.91095 s Remaining CPU time: 173.089 s c =============================================================================== c | 2916 | 1027 1343 156048 | 5000 2916 672 | 2.654 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 6.97294 s Remaining CPU time: 173.027 s c =============================================================================== c | 2926 | 1027 1344 156913 | 5000 2926 672 | 2.654 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 7.04593 s Remaining CPU time: 172.954 s c =============================================================================== c | 2949 | 1027 1345 157778 | 5000 2949 672 | 2.654 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 7.14091 s Remaining CPU time: 172.859 s c =============================================================================== c | 2984 | 1027 1346 158643 | 5000 2984 671 | 2.654 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 7.2179 s Remaining CPU time: 172.782 s c =============================================================================== c | 3007 | 1027 1347 159508 | 5000 3007 671 | 2.654 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 7.30889 s Remaining CPU time: 172.691 s c =============================================================================== c | 3034 | 1027 1348 160373 | 5000 3034 670 | 2.654 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 7.44187 s Remaining CPU time: 172.558 s c =============================================================================== c | 3097 | 1027 1349 161238 | 5000 3097 669 | 2.654 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 7.52186 s Remaining CPU time: 172.478 s c =============================================================================== c | 3117 | 1027 1350 162103 | 5000 3117 669 | 2.654 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 7.59085 s Remaining CPU time: 172.409 s c =============================================================================== c | 3126 | 1027 1351 162968 | 5000 3126 669 | 2.654 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 7.69383 s Remaining CPU time: 172.306 s c =============================================================================== c | 3157 | 1027 1352 163833 | 5000 3157 669 | 2.654 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 7.77982 s Remaining CPU time: 172.22 s c =============================================================================== c | 3181 | 1027 1353 164698 | 5000 3181 668 | 2.654 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 7.8698 s Remaining CPU time: 172.13 s c =============================================================================== c | 3207 | 1027 1354 165563 | 5000 3207 668 | 2.654 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 7.98979 s Remaining CPU time: 172.01 s c =============================================================================== c | 3254 | 1027 1355 166428 | 5000 3254 667 | 2.654 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 8.12377 s Remaining CPU time: 171.876 s c =============================================================================== c | 3313 | 1027 1356 167293 | 5000 3313 666 | 2.654 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 8.22375 s Remaining CPU time: 171.776 s c =============================================================================== c | 3344 | 1027 1357 168158 | 5000 3344 665 | 2.654 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 8.29474 s Remaining CPU time: 171.705 s c =============================================================================== c | 3357 | 1027 1358 169023 | 5000 3357 665 | 2.654 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 8.35773 s Remaining CPU time: 171.642 s c =============================================================================== c | 3365 | 1027 1359 169888 | 5000 3365 665 | 2.654 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 8.48571 s Remaining CPU time: 171.514 s c =============================================================================== c | 3422 | 1027 1360 170753 | 5000 3422 664 | 2.654 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 8.61369 s Remaining CPU time: 171.386 s c =============================================================================== c | 3481 | 1027 1361 171618 | 5000 3481 663 | 2.654 % | c | 3581 | 1027 1361 171618 | 5500 3581 662 | 2.654 % | c | 3731 | 1027 1361 171618 | 6050 3731 660 | 2.654 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 9.43356 s Remaining CPU time: 170.566 s c =============================================================================== c | 3944 | 1027 1362 172483 | 5000 3944 657 | 2.654 % | c | 4047 | 1027 1362 172483 | 5500 4047 656 | 2.654 % | c | 4197 | 1027 1362 172483 | 6050 4197 654 | 2.654 % | c | 4422 | 1027 1362 172483 | 6655 4422 652 | 2.654 % | c | 4759 | 1027 1362 172483 | 7320 4759 648 | 2.654 % | c | 5266 | 1027 1362 172483 | 8052 5266 645 | 2.655 % | c | 6025 | 1027 1362 172483 | 8857 6025 640 | 2.654 % | c | 7165 | 1027 1362 172483 | 9743 7165 636 | 2.654 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 17.1394 s Remaining CPU time: 162.861 s c =============================================================================== c | 8603 | 1027 1363 173348 | 5000 8603 631 | 2.654 % | c | 8704 | 1027 1363 173348 | 5500 4403 610 | 2.654 % | c | 8857 | 1027 1363 173348 | 6050 4556 610 | 2.655 % | c | 9083 | 1027 1363 173348 | 6655 4782 610 | 2.655 % | c | 9422 | 1027 1363 173348 | 7320 5121 610 | 2.655 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 19.3611 s Remaining CPU time: 160.639 s c =============================================================================== c | 9893 | 1027 1364 174213 | 5000 5592 610 | 2.655 % | c | 9993 | 1027 1364 174213 | 5500 2896 609 | 2.654 % | c | 10143 | 1027 1364 174213 | 6050 3046 609 | 2.654 % | c | 10370 | 1027 1364 174213 | 6655 3273 609 | 2.654 % | c | 10707 | 1027 1364 174213 | 7320 3610 609 | 2.654 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 21.1288 s Remaining CPU time: 158.871 s c =============================================================================== c | 10924 | 1027 1365 175078 | 5000 3827 609 | 2.654 % | c | 11025 | 1027 1365 175078 | 5500 3928 609 | 2.654 % | c | 11176 | 1027 1365 175078 | 6050 4079 609 | 2.654 % | c | 11402 | 1027 1365 175078 | 6655 4305 608 | 2.654 % | c | 11739 | 1027 1365 175078 | 7320 4642 608 | 2.654 % | c | 12245 | 1027 1365 175078 | 8052 5148 608 | 2.654 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 23.7514 s Remaining CPU time: 156.249 s c =============================================================================== c | 12294 | 1027 1366 175943 | 5000 5197 608 | 2.654 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 23.9544 s Remaining CPU time: 156.046 s c =============================================================================== c | 12373 | 1027 1367 176808 | 5000 2678 607 | 2.654 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 24.0733 s Remaining CPU time: 155.927 s c =============================================================================== c | 12399 | 1027 1368 177673 | 5000 2704 607 | 2.654 % | c | 12499 | 1027 1368 177673 | 5500 2804 606 | 2.654 % | c | 12649 | 1027 1368 177673 | 6050 2954 606 | 2.654 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 24.7362 s Remaining CPU time: 155.264 s c =============================================================================== c | 12695 | 1027 1369 178538 | 5000 3000 606 | 2.654 % | c | 12795 | 1027 1369 178538 | 5500 3100 606 | 2.654 % | c | 12946 | 1027 1369 178538 | 6050 3251 606 | 2.654 % | c | 13172 | 1027 1369 178538 | 6655 3477 605 | 2.654 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 25.9541 s Remaining CPU time: 154.046 s c =============================================================================== c | 13341 | 1027 1370 179403 | 5000 3646 605 | 2.654 % | c | 13442 | 1027 1370 179403 | 5500 3747 605 | 2.655 % | c | 13592 | 1027 1370 179403 | 6050 3897 605 | 2.655 % | c | 13818 | 1027 1370 179403 | 6655 4123 605 | 2.655 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 27.5198 s Remaining CPU time: 152.48 s c =============================================================================== c | 14119 | 1027 1371 180268 | 5000 4424 604 | 2.655 % | c | 14220 | 1027 1371 180268 | 5500 4525 604 | 2.654 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 27.8608 s Remaining CPU time: 152.139 s c =============================================================================== c | 14266 | 1027 1372 181133 | 5000 4571 604 | 2.654 % | c | 14367 | 1027 1372 181133 | 5500 4672 604 | 2.654 % | c | 14518 | 1027 1372 181133 | 6050 4823 604 | 2.654 % | c | 14744 | 1027 1372 181133 | 6655 5049 604 | 2.654 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 29.5475 s Remaining CPU time: 150.452 s c =============================================================================== c | 15052 | 1027 1373 181998 | 5000 5357 604 | 2.654 % | c | 15152 | 1027 1373 181998 | 5500 2779 600 | 2.654 % | c | 15302 | 1027 1373 181998 | 6050 2929 600 | 2.654 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 30.4214 s Remaining CPU time: 149.579 s c =============================================================================== c | 15474 | 1027 1374 182863 | 5000 3101 600 | 2.654 % | c | 15574 | 1027 1374 182863 | 5500 3201 600 | 2.654 % | c | 15724 | 1027 1374 182863 | 6050 3351 600 | 2.654 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 31.2452 s Remaining CPU time: 148.755 s c =============================================================================== c | 15844 | 1027 1375 183728 | 5000 3471 600 | 2.654 % | c | 15945 | 1027 1375 183728 | 5500 3572 600 | 2.654 % | c | 16095 | 1027 1375 183728 | 6050 3722 600 | 2.654 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 32.1021 s Remaining CPU time: 147.898 s c =============================================================================== c | 16189 | 1027 1376 184593 | 5000 3816 599 | 2.654 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 32.3041 s Remaining CPU time: 147.696 s c =============================================================================== c | 16260 | 1027 1377 185458 | 5000 3887 599 | 2.654 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 32.5441 s Remaining CPU time: 147.456 s c =============================================================================== c | 16337 | 1027 1378 186323 | 5000 3964 599 | 2.654 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 32.745 s Remaining CPU time: 147.255 s c =============================================================================== c | 16394 | 1027 1379 187188 | 5000 4021 599 | 2.654 % | c | 16494 | 1027 1379 187188 | 5500 4121 599 | 2.654 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 33.2389 s Remaining CPU time: 146.761 s c =============================================================================== c | 16600 | 1027 1380 188053 | 5000 4227 599 | 2.654 % | c | 16700 | 1027 1380 188053 | 5500 4327 599 | 2.654 % | c | 16852 | 1027 1380 188053 | 6050 4479 598 | 2.654 % | c | 17078 | 1027 1380 188053 | 6655 4705 598 | 2.654 % | c | 17415 | 1027 1380 188053 | 7320 5042 597 | 2.654 % | c | 17921 | 1027 1380 188053 | 8052 5548 597 | 2.654 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 37.0144 s Remaining CPU time: 142.986 s c =============================================================================== c | 18428 | 1027 1381 188918 | 5000 6055 597 | 2.654 % | c | 18529 | 1027 1381 188918 | 5500 3129 593 | 2.654 % | c | 18679 | 1027 1381 188918 | 6050 3279 593 | 2.654 % | c | 18905 | 1027 1381 188918 | 6655 3505 593 | 2.655 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 38.8561 s Remaining CPU time: 141.144 s c =============================================================================== c | 19236 | 1027 1382 189783 | 5000 3836 593 | 2.655 % | c | 19337 | 1027 1382 189783 | 5500 3937 593 | 2.654 % | c | 19487 | 1027 1382 189783 | 6050 4087 593 | 2.654 % | c | 19713 | 1027 1382 189783 | 6655 4313 593 | 2.654 % | c | 20051 | 1027 1382 189783 | 7320 4651 592 | 2.654 % | c | 20557 | 1027 1382 189783 | 8052 5157 592 | 2.654 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 42.8695 s Remaining CPU time: 137.131 s c =============================================================================== c | 21231 | 1027 1383 190648 | 5000 5831 592 | 2.654 % | c | 21332 | 1027 1383 190648 | 5500 3017 591 | 2.654 % | c | 21482 | 1027 1383 190648 | 6050 3167 591 | 2.654 % | c | 21707 | 1027 1383 190648 | 6655 3392 590 | 2.654 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 44.7892 s Remaining CPU time: 135.211 s c =============================================================================== c | 22021 | 1027 1384 191513 | 5000 3706 590 | 2.654 % | c | 22121 | 1027 1384 191513 | 5500 3806 590 | 2.654 % | c | 22271 | 1027 1384 191513 | 6050 3956 590 | 2.655 % | c | 22496 | 1027 1384 191513 | 6655 4181 590 | 2.654 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 46.5679 s Remaining CPU time: 133.432 s c =============================================================================== c | 22807 | 1027 1385 192378 | 5000 4492 589 | 2.654 % | c | 22908 | 1027 1385 192378 | 5500 4593 589 | 2.655 % | c | 23059 | 1027 1385 192378 | 6050 4744 589 | 2.655 % | c | 23285 | 1027 1385 192378 | 6655 4970 589 | 2.655 % | c | 23622 | 1027 1385 192378 | 7320 5307 589 | 2.655 % | c | 24128 | 1027 1385 192378 | 8052 5813 589 | 2.654 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 49.3115 s Remaining CPU time: 130.688 s c =============================================================================== c | 24288 | 1027 1386 193243 | 5000 5973 589 | 2.654 % | c | 24388 | 1027 1386 193243 | 5500 3087 587 | 2.655 % | c | 24538 | 1027 1386 193243 | 6050 3237 587 | 2.655 % | c | 24763 | 1027 1386 193243 | 6655 3462 587 | 2.654 % | c | 25100 | 1027 1386 193243 | 7320 3799 587 | 2.655 % | c | 25607 | 1027 1386 193243 | 8052 4306 587 | 2.655 % | c | 26366 | 1027 1386 193243 | 8857 5065 586 | 2.654 % | c | 27505 | 1027 1386 193243 | 9743 6204 586 | 2.654 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 59.5779 s Remaining CPU time: 120.422 s c =============================================================================== c | 28556 | 1027 1387 194108 | 5000 7255 586 | 2.654 % | c | 28656 | 1027 1387 194108 | 5500 3728 585 | 2.654 % | c | 28806 | 1027 1387 194108 | 6050 3878 585 | 2.654 % | c | 29031 | 1027 1387 194108 | 6655 4103 585 | 2.654 % | c | 29368 | 1027 1387 194108 | 7320 4440 585 | 2.654 % | c | 29874 | 1027 1387 194108 | 8052 4946 585 | 2.654 % | c | 30633 | 1027 1387 194108 | 8857 5705 585 | 2.654 % | c | 31773 | 1027 1387 194108 | 9743 6845 585 | 2.654 % | c | 33481 | 1027 1387 194108 | 10717 8553 585 | 2.654 % | c | 36044 | 1027 1387 194108 | 11789 11116 585 | 2.654 % | c | 39889 | 1027 1387 194108 | 12968 8691 585 | 2.654 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 86.7708 s Remaining CPU time: 93.2292 s c =============================================================================== c | 40718 | 1027 1388 194973 | 5000 9520 585 | 2.654 % | c | 40818 | 1027 1388 194973 | 5500 4860 585 | 2.654 % | c | 40968 | 1027 1388 194973 | 6050 5010 585 | 2.654 % | c | 41193 | 1027 1388 194973 | 6655 5235 585 | 2.654 % | c | 41530 | 1027 1388 194973 | 7320 5572 585 | 2.654 % | c | 42036 | 1027 1388 194973 | 8052 6078 585 | 2.654 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 91.2891 s Remaining CPU time: 88.7109 s c =============================================================================== c | 42505 | 1027 1389 195838 | 5000 6547 585 | 2.654 % | c | 42605 | 1027 1389 195838 | 5500 3374 584 | 2.654 % | c | 42755 | 1027 1389 195838 | 6050 3524 584 | 2.654 % | c | 42980 | 1027 1389 195838 | 6655 3749 584 | 2.654 % | c | 43317 | 1027 1389 195838 | 7320 4086 584 | 2.654 % | c | 43823 | 1027 1389 195838 | 8052 4592 584 | 2.654 % | c | 44582 | 1027 1389 195838 | 8857 5351 584 | 2.654 % | c | 45721 | 1027 1389 195838 | 9743 6490 584 | 2.654 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 99.9268 s Remaining CPU time: 80.0732 s c =============================================================================== c | 45949 | 1027 1390 196703 | 5000 6718 584 | 2.654 % | c | 46050 | 1027 1390 196703 | 5500 3460 583 | 2.654 % | c | 46201 | 1027 1390 196703 | 6050 3611 583 | 2.654 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 101.196 s Remaining CPU time: 78.8044 s c =============================================================================== c | 46347 | 1027 1391 197568 | 5000 3757 583 | 2.654 % | c | 46448 | 1027 1391 197568 | 5500 3858 583 | 2.654 % | c | 46598 | 1027 1391 197568 | 6050 4008 582 | 2.654 % | c | 46823 | 1027 1391 197568 | 6655 4233 582 | 2.654 % | c | 47160 | 1027 1391 197568 | 7320 4570 582 | 2.654 % | c | 47666 | 1027 1391 197568 | 8052 5076 582 | 2.654 % | c | 48425 | 1027 1391 197568 | 8857 5835 582 | 2.654 % | c | 49564 | 1027 1391 197568 | 9743 6974 581 | 2.654 % | c | 51273 | 1027 1391 197568 | 10717 8683 581 | 2.654 % | c | 53836 | 1027 1391 197568 | 11789 11246 580 | 2.654 % | c | 57680 | 1027 1391 197568 | 12968 8826 579 | 2.654 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 132.925 s Remaining CPU time: 47.0752 s c =============================================================================== c | 60982 | 1027 1392 198433 | 5000 12128 579 | 2.654 % | c | 61082 | 1027 1392 198433 | 5500 3132 578 | 2.654 % | c | 61232 | 1027 1392 198433 | 6050 3282 578 | 2.654 % | c | 61457 | 1027 1392 198433 | 6655 3507 578 | 2.654 % | c | 61795 | 1027 1392 198433 | 7320 3845 578 | 2.654 % | c | 62301 | 1027 1392 198433 | 8052 4351 578 | 2.654 % | c | 63060 | 1027 1392 198433 | 8857 5110 578 | 2.654 % | c | 64199 | 1027 1392 198433 | 9743 6249 578 | 2.654 % | c | 65907 | 1027 1392 198433 | 10717 7957 578 | 2.654 % | c | 68469 | 1027 1392 198433 | 11789 10519 579 | 2.655 % | c | 72314 | 1027 1392 198433 | 12968 8112 580 | 2.654 % | c | 78083 | 1027 1392 198433 | 14265 7031 581 | 2.654 % | c There are 28 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 733 2337 4673 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 764 2338 4732 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 832 2339 4890 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 929 2340 5058 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1023 2341 5220 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1158 2342 5435 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1245 2344 5583 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1400 2346 9297 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1604 2347 78855 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1763 2350 122379 | 5000 0 nan | 0.000 % | c | 100 | 1763 2350 122379 | 5500 100 18 | 12.289 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2071 2356 202497 | 5000 0 nan | 0.000 % | c | 100 | 2071 2356 202497 | 5500 100 23 | 6.921 % | c | 250 | 2070 2356 202497 | 6050 250 17 | 7.011 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2622 2359 203539 | 5000 0 nan | 0.000 % | c | 101 | 2622 2359 203539 | 5500 101 42 | 3.247 % | c | 252 | 2622 2359 203539 | 6050 252 30 | 3.247 % | c | 477 | 2622 2359 203539 | 6655 477 25 | 3.247 % | c | 814 | 2622 2359 203539 | 7320 814 22 | 3.247 % | c | 1320 | 2622 2359 203539 | 8052 1320 20 | 3.247 % | c | 2079 | 2622 2359 203539 | 8857 2079 20 | 3.247 % | c | 3219 | 2618 2359 203539 | 9743 2035 16 | 3.395 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3412 2376 205125 | 5000 0 nan | 0.000 % | c | 105 | 3412 2376 205125 | 5500 105 71 | 1.330 % | c | 256 | 3412 2376 205125 | 6050 256 45 | 1.330 % | c | 482 | 3412 2376 205125 | 6655 482 36 | 1.330 % | c | 819 | 3412 2376 205125 | 7320 819 32 | 1.330 % | c | 1326 | 3412 2376 205125 | 8052 1326 28 | 1.330 % | c | 2087 | 3412 2376 205125 | 8857 2087 24 | 1.330 % | c | 3226 | 3412 2376 205125 | 9743 3226 22 | 1.330 % | c | 4934 | 3412 2376 205125 | 10717 4934 21 | 1.330 % | c | 7496 | 3412 2376 205125 | 11789 7496 20 | 1.330 % | c | 11341 | 3412 2376 205125 | 12968 11341 21 | 1.330 % | c | 17107 | 3412 2376 205125 | 14265 10550 23 | 1.330 % | c | 25756 | 3410 2376 205125 | 15692 6344 19 | 1.388 % | c | 38730 | 3408 2376 205125 | 17261 14350 18 | 1.446 % | c | 58192 | 3389 2376 205125 | 18987 3997 11 | 1.995 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4314 2407 207005 | 5000 0 nan | 0.000 % | c | 100 | 4314 2407 207005 | 5500 100 63 | 0.736 % | c | 250 | 4314 2407 207005 | 6050 250 47 | 0.736 % | c | 475 | 4314 2407 207005 | 6655 475 54 | 0.736 % | c | 812 | 4314 2407 207005 | 7320 812 48 | 0.736 % | c | 1320 | 4314 2407 207005 | 8052 1320 45 | 0.736 % | c | 2079 | 4314 2407 207005 | 8857 2079 41 | 0.736 % | c | 3218 | 4314 2407 207005 | 9743 3218 39 | 0.736 % | c | 4928 | 4314 2407 207005 | 10717 4928 37 | 0.736 % | c | 7491 | 4314 2407 207005 | 11789 7491 37 | 0.736 % | c | 11339 | 4314 2407 207005 | 12968 11339 39 | 0.736 % | c | 17110 | 4314 2407 207005 | 14265 10543 44 | 0.736 % | c | 25762 | 4314 2407 207005 | 15692 12016 45 | 0.736 % | c | 38744 | 4314 2407 207005 | 17261 9184 43 | 0.736 % | c | 58208 | 4314 2407 207005 | 18987 11227 56 | 0.736 % | c | 87400 | 4314 2407 207005 | 20886 11596 35 | 0.736 % | c | 131189 | 4314 2407 207005 | 22974 13283 36 | 0.736 % | c | 196874 | 4314 2407 207005 | 25272 21141 42 | 0.736 % | c | 295400 | 4314 2407 207005 | 27799 13193 36 | 0.736 % | c | 443196 | 4314 2407 207005 | 30579 21130 57 | 0.736 % |