c wbo 1.4 beta - 20100610 c | Number of variables: 1885 | c | Number of clauses: 6703 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1885 | c | Number Clauses: 4818 | 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 | 1434 5081 9418 | 5000 0 nan | 0.000 % | c | 100 | 1434 5081 9418 | 5500 100 11 | 23.926 % | c =============================================================================== c New solution: 1053 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 183 | 1434 5082 10990 | 5000 183 17 | 23.926 % | c =============================================================================== c New solution: 1052 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 192 | 1434 5083 12562 | 5000 192 18 | 23.926 % | c =============================================================================== c New solution: 1051 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 201 | 1434 5084 14134 | 5000 201 18 | 23.926 % | c =============================================================================== c New solution: 1044 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 203 | 1434 5085 15706 | 5000 203 18 | 23.926 % | c =============================================================================== c New solution: 1043 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 209 | 1433 5086 17278 | 5000 208 18 | 23.926 % | c =============================================================================== c New solution: 1042 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 209 | 1433 5087 18850 | 5000 208 18 | 23.926 % | c =============================================================================== c New solution: 1041 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 209 | 1433 5088 20422 | 5000 208 18 | 23.926 % | c =============================================================================== c New solution: 1040 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 210 | 1433 5089 21994 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1039 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 210 | 1433 5090 23566 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1038 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 210 | 1433 5091 25138 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1037 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 210 | 1433 5092 26710 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1036 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 210 | 1433 5093 28282 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1035 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 210 | 1433 5094 29854 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1034 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 210 | 1433 5095 31426 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1033 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 210 | 1433 5096 32998 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1032 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s c =============================================================================== c | 210 | 1433 5097 34570 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1031 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 210 | 1433 5098 36142 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1030 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 210 | 1433 5099 37714 | 5000 209 18 | 23.926 % | c =============================================================================== c New solution: 1029 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 280 | 1433 5100 39286 | 5000 279 18 | 23.926 % | c =============================================================================== c New solution: 1028 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s c =============================================================================== c | 285 | 1433 5101 40858 | 5000 284 18 | 23.926 % | c =============================================================================== c New solution: 1027 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 298 | 1433 5102 42430 | 5000 297 17 | 23.926 % | c =============================================================================== c New solution: 1026 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 333 | 1433 5103 44002 | 5000 332 17 | 23.926 % | c =============================================================================== c New solution: 1025 c Elapsed CPU time: 1.12783 s Remaining CPU time: 178.872 s c =============================================================================== c | 363 | 1433 5104 45574 | 5000 362 17 | 23.926 % | c =============================================================================== c New solution: 1024 c Elapsed CPU time: 1.15982 s Remaining CPU time: 178.84 s c =============================================================================== c | 386 | 1433 5105 47146 | 5000 385 17 | 23.926 % | c =============================================================================== c New solution: 1023 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 390 | 1433 5106 48718 | 5000 389 17 | 23.926 % | c =============================================================================== c New solution: 1022 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 396 | 1433 5107 50290 | 5000 395 18 | 23.926 % | c =============================================================================== c New solution: 1021 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s c =============================================================================== c | 402 | 1433 5108 51862 | 5000 401 18 | 23.926 % | c =============================================================================== c New solution: 1020 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 404 | 1433 5109 53434 | 5000 403 18 | 23.926 % | c =============================================================================== c New solution: 1019 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s c =============================================================================== c | 405 | 1433 5110 55006 | 5000 404 18 | 23.926 % | c =============================================================================== c New solution: 1018 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 462 | 1433 5111 56578 | 5000 461 19 | 23.926 % | c =============================================================================== c New solution: 1017 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 473 | 1433 5112 58150 | 5000 472 20 | 23.926 % | c =============================================================================== c New solution: 1016 c Elapsed CPU time: 1.39479 s Remaining CPU time: 178.605 s c =============================================================================== c | 478 | 1433 5113 59722 | 5000 477 20 | 23.926 % | c | 578 | 1433 5113 59722 | 5500 577 21 | 23.981 % | c =============================================================================== c New solution: 1015 c Elapsed CPU time: 1.52377 s Remaining CPU time: 178.476 s c =============================================================================== c | 578 | 1433 5114 61294 | 5000 577 21 | 23.981 % | c =============================================================================== c New solution: 1014 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 578 | 1433 5115 62866 | 5000 577 21 | 23.981 % | c =============================================================================== c New solution: 1013 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 578 | 1433 5116 64438 | 5000 577 21 | 23.981 % | c =============================================================================== c New solution: 1012 c Elapsed CPU time: 1.59776 s Remaining CPU time: 178.402 s c =============================================================================== c | 579 | 1433 5117 66010 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1011 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s c =============================================================================== c | 579 | 1433 5118 67582 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1010 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 579 | 1433 5119 69154 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1009 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 579 | 1433 5120 70726 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1008 c Elapsed CPU time: 1.69974 s Remaining CPU time: 178.3 s c =============================================================================== c | 579 | 1433 5121 72298 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1007 c Elapsed CPU time: 1.72674 s Remaining CPU time: 178.273 s c =============================================================================== c | 579 | 1433 5122 73870 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1006 c Elapsed CPU time: 1.75573 s Remaining CPU time: 178.244 s c =============================================================================== c | 579 | 1433 5123 75442 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1005 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s c =============================================================================== c | 579 | 1433 5124 77014 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1004 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 579 | 1433 5125 78586 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1003 c Elapsed CPU time: 1.84372 s Remaining CPU time: 178.156 s c =============================================================================== c | 579 | 1433 5126 80158 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1002 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 579 | 1433 5127 81730 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1001 c Elapsed CPU time: 1.90771 s Remaining CPU time: 178.092 s c =============================================================================== c | 579 | 1433 5128 83302 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 1000 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 579 | 1433 5129 84874 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 999 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s c =============================================================================== c | 579 | 1433 5130 86446 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 998 c Elapsed CPU time: 2.00869 s Remaining CPU time: 177.991 s c =============================================================================== c | 579 | 1433 5131 88018 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 997 c Elapsed CPU time: 2.04169 s Remaining CPU time: 177.958 s c =============================================================================== c | 579 | 1433 5132 89590 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 996 c Elapsed CPU time: 2.07568 s Remaining CPU time: 177.924 s c =============================================================================== c | 579 | 1433 5133 91162 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 995 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 579 | 1433 5134 92734 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 994 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 579 | 1433 5135 94306 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 993 c Elapsed CPU time: 2.18167 s Remaining CPU time: 177.818 s c =============================================================================== c | 579 | 1433 5136 95878 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 992 c Elapsed CPU time: 2.22166 s Remaining CPU time: 177.778 s c =============================================================================== c | 579 | 1433 5137 97450 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 991 c Elapsed CPU time: 2.25966 s Remaining CPU time: 177.74 s c =============================================================================== c | 579 | 1433 5138 99022 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 990 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s c =============================================================================== c | 579 | 1433 5139 100594 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 989 c Elapsed CPU time: 2.33564 s Remaining CPU time: 177.664 s c =============================================================================== c | 579 | 1433 5140 102166 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 988 c Elapsed CPU time: 2.37464 s Remaining CPU time: 177.625 s c =============================================================================== c | 579 | 1433 5141 103738 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 987 c Elapsed CPU time: 2.41363 s Remaining CPU time: 177.586 s c =============================================================================== c | 579 | 1433 5142 105310 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 986 c Elapsed CPU time: 2.45263 s Remaining CPU time: 177.547 s c =============================================================================== c | 579 | 1433 5143 106882 | 5000 578 21 | 23.981 % | c =============================================================================== c New solution: 985 c Elapsed CPU time: 2.49462 s Remaining CPU time: 177.505 s c =============================================================================== c | 579 | 1433 5144 108454 | 5000 578 21 | 23.981 % | c | 679 | 1433 5144 108454 | 5500 678 22 | 23.982 % | c =============================================================================== c New solution: 984 c Elapsed CPU time: 2.85257 s Remaining CPU time: 177.147 s c =============================================================================== c | 704 | 1432 5145 110026 | 5000 701 23 | 23.982 % | c =============================================================================== c New solution: 983 c Elapsed CPU time: 2.92656 s Remaining CPU time: 177.073 s c =============================================================================== c | 717 | 1432 5146 111598 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 982 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 717 | 1432 5147 113170 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 981 c Elapsed CPU time: 3.01554 s Remaining CPU time: 176.984 s c =============================================================================== c | 717 | 1432 5148 114742 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 980 c Elapsed CPU time: 3.05953 s Remaining CPU time: 176.94 s c =============================================================================== c | 717 | 1432 5149 116314 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 979 c Elapsed CPU time: 3.10353 s Remaining CPU time: 176.896 s c =============================================================================== c | 717 | 1432 5150 117886 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 978 c Elapsed CPU time: 3.14952 s Remaining CPU time: 176.85 s c =============================================================================== c | 717 | 1432 5151 119458 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 977 c Elapsed CPU time: 3.19451 s Remaining CPU time: 176.805 s c =============================================================================== c | 717 | 1432 5152 121030 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 976 c Elapsed CPU time: 3.24251 s Remaining CPU time: 176.757 s c =============================================================================== c | 717 | 1432 5153 122602 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 975 c Elapsed CPU time: 3.2915 s Remaining CPU time: 176.709 s c =============================================================================== c | 717 | 1432 5154 124174 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 974 c Elapsed CPU time: 3.33849 s Remaining CPU time: 176.662 s c =============================================================================== c | 717 | 1432 5155 125746 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 973 c Elapsed CPU time: 3.38848 s Remaining CPU time: 176.612 s c =============================================================================== c | 717 | 1432 5156 127318 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 972 c Elapsed CPU time: 3.43648 s Remaining CPU time: 176.564 s c =============================================================================== c | 717 | 1432 5157 128890 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 971 c Elapsed CPU time: 3.48747 s Remaining CPU time: 176.513 s c =============================================================================== c | 717 | 1432 5158 130462 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 970 c Elapsed CPU time: 3.53646 s Remaining CPU time: 176.464 s c =============================================================================== c | 717 | 1432 5159 132034 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 969 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 717 | 1432 5160 133606 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 968 c Elapsed CPU time: 3.63845 s Remaining CPU time: 176.362 s c =============================================================================== c | 717 | 1432 5161 135178 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 967 c Elapsed CPU time: 3.68944 s Remaining CPU time: 176.311 s c =============================================================================== c | 717 | 1432 5162 136750 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 966 c Elapsed CPU time: 3.74343 s Remaining CPU time: 176.257 s c =============================================================================== c | 717 | 1432 5163 138322 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 965 c Elapsed CPU time: 3.79842 s Remaining CPU time: 176.202 s c =============================================================================== c | 717 | 1432 5164 139894 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 964 c Elapsed CPU time: 3.85341 s Remaining CPU time: 176.147 s c =============================================================================== c | 717 | 1432 5165 141466 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 963 c Elapsed CPU time: 3.9074 s Remaining CPU time: 176.093 s c =============================================================================== c | 717 | 1432 5166 143038 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 962 c Elapsed CPU time: 3.9604 s Remaining CPU time: 176.04 s c =============================================================================== c | 717 | 1432 5167 144610 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 961 c Elapsed CPU time: 4.01439 s Remaining CPU time: 175.986 s c =============================================================================== c | 717 | 1432 5168 146182 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 960 c Elapsed CPU time: 4.06938 s Remaining CPU time: 175.931 s c =============================================================================== c | 717 | 1432 5169 147754 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 959 c Elapsed CPU time: 4.12437 s Remaining CPU time: 175.876 s c =============================================================================== c | 717 | 1432 5170 149326 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 958 c Elapsed CPU time: 4.18136 s Remaining CPU time: 175.819 s c =============================================================================== c | 717 | 1432 5171 150898 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 957 c Elapsed CPU time: 4.23735 s Remaining CPU time: 175.763 s c =============================================================================== c | 717 | 1432 5172 152470 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 956 c Elapsed CPU time: 4.29435 s Remaining CPU time: 175.706 s c =============================================================================== c | 717 | 1432 5173 154042 | 5000 714 23 | 23.982 % | c =============================================================================== c New solution: 955 c Elapsed CPU time: 4.37333 s Remaining CPU time: 175.627 s c =============================================================================== c | 722 | 1432 5174 155614 | 5000 719 23 | 23.982 % | c =============================================================================== c New solution: 954 c Elapsed CPU time: 4.46632 s Remaining CPU time: 175.534 s c =============================================================================== c | 728 | 1432 5175 157186 | 5000 725 23 | 23.982 % | c =============================================================================== c New solution: 953 c Elapsed CPU time: 4.52831 s Remaining CPU time: 175.472 s c =============================================================================== c | 729 | 1432 5176 158758 | 5000 726 23 | 23.982 % | c =============================================================================== c New solution: 952 c Elapsed CPU time: 4.6093 s Remaining CPU time: 175.391 s c =============================================================================== c | 732 | 1432 5177 160330 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 951 c Elapsed CPU time: 4.67029 s Remaining CPU time: 175.33 s c =============================================================================== c | 732 | 1432 5178 161902 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 950 c Elapsed CPU time: 4.73328 s Remaining CPU time: 175.267 s c =============================================================================== c | 732 | 1432 5179 163474 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 949 c Elapsed CPU time: 4.79527 s Remaining CPU time: 175.205 s c =============================================================================== c | 732 | 1432 5180 165046 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 948 c Elapsed CPU time: 4.85926 s Remaining CPU time: 175.141 s c =============================================================================== c | 732 | 1432 5181 166618 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 947 c Elapsed CPU time: 4.92525 s Remaining CPU time: 175.075 s c =============================================================================== c | 732 | 1432 5182 168190 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 946 c Elapsed CPU time: 4.99024 s Remaining CPU time: 175.01 s c =============================================================================== c | 732 | 1432 5183 169762 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 945 c Elapsed CPU time: 5.05323 s Remaining CPU time: 174.947 s c =============================================================================== c | 732 | 1432 5184 171334 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 944 c Elapsed CPU time: 5.12022 s Remaining CPU time: 174.88 s c =============================================================================== c | 732 | 1432 5185 172906 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 943 c Elapsed CPU time: 5.18421 s Remaining CPU time: 174.816 s c =============================================================================== c | 732 | 1432 5186 174478 | 5000 729 23 | 23.982 % | c =============================================================================== c New solution: 942 c Elapsed CPU time: 5.2482 s Remaining CPU time: 174.752 s c =============================================================================== c | 733 | 1432 5187 176050 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 941 c Elapsed CPU time: 5.31419 s Remaining CPU time: 174.686 s c =============================================================================== c | 733 | 1432 5188 177622 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 940 c Elapsed CPU time: 5.38018 s Remaining CPU time: 174.62 s c =============================================================================== c | 733 | 1432 5189 179194 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 939 c Elapsed CPU time: 5.44617 s Remaining CPU time: 174.554 s c =============================================================================== c | 733 | 1432 5190 180766 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 938 c Elapsed CPU time: 5.51216 s Remaining CPU time: 174.488 s c =============================================================================== c | 733 | 1432 5191 182338 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 937 c Elapsed CPU time: 5.58115 s Remaining CPU time: 174.419 s c =============================================================================== c | 733 | 1432 5192 183910 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 936 c Elapsed CPU time: 5.64914 s Remaining CPU time: 174.351 s c =============================================================================== c | 733 | 1432 5193 185482 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 935 c Elapsed CPU time: 5.71713 s Remaining CPU time: 174.283 s c =============================================================================== c | 733 | 1432 5194 187054 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 934 c Elapsed CPU time: 5.78612 s Remaining CPU time: 174.214 s c =============================================================================== c | 733 | 1432 5195 188626 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 933 c Elapsed CPU time: 5.85511 s Remaining CPU time: 174.145 s c =============================================================================== c | 733 | 1432 5196 190198 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 932 c Elapsed CPU time: 5.9251 s Remaining CPU time: 174.075 s c =============================================================================== c | 733 | 1432 5197 191770 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 931 c Elapsed CPU time: 5.99509 s Remaining CPU time: 174.005 s c =============================================================================== c | 733 | 1432 5198 193342 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 930 c Elapsed CPU time: 6.06508 s Remaining CPU time: 173.935 s c =============================================================================== c | 733 | 1432 5199 194914 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 929 c Elapsed CPU time: 6.13607 s Remaining CPU time: 173.864 s c =============================================================================== c | 733 | 1432 5200 196486 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 928 c Elapsed CPU time: 6.20706 s Remaining CPU time: 173.793 s c =============================================================================== c | 733 | 1432 5201 198058 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 927 c Elapsed CPU time: 6.27804 s Remaining CPU time: 173.722 s c =============================================================================== c | 733 | 1432 5202 199630 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 926 c Elapsed CPU time: 6.35003 s Remaining CPU time: 173.65 s c =============================================================================== c | 733 | 1432 5203 201202 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 925 c Elapsed CPU time: 6.42302 s Remaining CPU time: 173.577 s c =============================================================================== c | 733 | 1432 5204 202774 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 924 c Elapsed CPU time: 6.49601 s Remaining CPU time: 173.504 s c =============================================================================== c | 733 | 1432 5205 204346 | 5000 730 24 | 23.982 % | c =============================================================================== c New solution: 923 c Elapsed CPU time: 6.57 s Remaining CPU time: 173.43 s c =============================================================================== c | 734 | 1432 5206 205918 | 5000 731 25 | 23.982 % | c =============================================================================== c New solution: 922 c Elapsed CPU time: 6.64399 s Remaining CPU time: 173.356 s c =============================================================================== c | 734 | 1432 5207 207490 | 5000 731 25 | 23.982 % | c =============================================================================== c New solution: 921 c Elapsed CPU time: 6.71798 s Remaining CPU time: 173.282 s c =============================================================================== c | 734 | 1432 5208 209062 | 5000 731 25 | 23.982 % | c =============================================================================== c New solution: 920 c Elapsed CPU time: 6.79297 s Remaining CPU time: 173.207 s c =============================================================================== c | 734 | 1432 5209 210634 | 5000 731 25 | 23.982 % | c =============================================================================== c New solution: 919 c Elapsed CPU time: 6.86895 s Remaining CPU time: 173.131 s c =============================================================================== c | 735 | 1432 5210 212206 | 5000 732 26 | 23.982 % | c =============================================================================== c New solution: 918 c Elapsed CPU time: 6.94294 s Remaining CPU time: 173.057 s c =============================================================================== c | 735 | 1432 5211 213778 | 5000 732 26 | 23.982 % | c =============================================================================== c New solution: 917 c Elapsed CPU time: 7.01793 s Remaining CPU time: 172.982 s c =============================================================================== c | 735 | 1432 5212 215350 | 5000 732 26 | 23.982 % | c =============================================================================== c New solution: 916 c Elapsed CPU time: 7.09292 s Remaining CPU time: 172.907 s c =============================================================================== c | 735 | 1432 5213 216922 | 5000 732 26 | 23.982 % | c =============================================================================== c New solution: 915 c Elapsed CPU time: 7.16791 s Remaining CPU time: 172.832 s c =============================================================================== c | 735 | 1432 5214 218494 | 5000 732 26 | 23.982 % | c =============================================================================== c New solution: 914 c Elapsed CPU time: 7.2439 s Remaining CPU time: 172.756 s c =============================================================================== c | 735 | 1432 5215 220066 | 5000 732 26 | 23.982 % | c =============================================================================== c New solution: 913 c Elapsed CPU time: 7.32089 s Remaining CPU time: 172.679 s c =============================================================================== c | 736 | 1432 5216 221638 | 5000 733 27 | 23.982 % | c =============================================================================== c New solution: 912 c Elapsed CPU time: 7.39888 s Remaining CPU time: 172.601 s c =============================================================================== c | 736 | 1432 5217 223210 | 5000 733 27 | 23.982 % | c =============================================================================== c New solution: 911 c Elapsed CPU time: 7.47686 s Remaining CPU time: 172.523 s c =============================================================================== c | 737 | 1432 5218 224782 | 5000 734 28 | 23.982 % | c =============================================================================== c New solution: 910 c Elapsed CPU time: 7.55485 s Remaining CPU time: 172.445 s c =============================================================================== c | 737 | 1432 5219 226354 | 5000 734 28 | 23.982 % | c =============================================================================== c New solution: 909 c Elapsed CPU time: 7.63384 s Remaining CPU time: 172.366 s c =============================================================================== c | 738 | 1432 5220 227926 | 5000 735 29 | 23.982 % | c =============================================================================== c New solution: 908 c Elapsed CPU time: 7.77082 s Remaining CPU time: 172.229 s c =============================================================================== c | 745 | 1432 5221 229498 | 5000 742 29 | 23.982 % | c =============================================================================== c New solution: 907 c Elapsed CPU time: 7.85381 s Remaining CPU time: 172.146 s c =============================================================================== c | 745 | 1432 5222 231070 | 5000 742 29 | 23.982 % | c =============================================================================== c New solution: 906 c Elapsed CPU time: 7.93579 s Remaining CPU time: 172.064 s c =============================================================================== c | 745 | 1432 5223 232642 | 5000 742 29 | 23.982 % | c =============================================================================== c New solution: 905 c Elapsed CPU time: 8.18576 s Remaining CPU time: 171.814 s c =============================================================================== c | 766 | 1432 5224 234214 | 5000 763 29 | 23.982 % | c =============================================================================== c New solution: 904 c Elapsed CPU time: 8.29474 s Remaining CPU time: 171.705 s c =============================================================================== c | 773 | 1432 5225 235786 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 903 c Elapsed CPU time: 8.37873 s Remaining CPU time: 171.621 s c =============================================================================== c | 773 | 1432 5226 237358 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 902 c Elapsed CPU time: 8.46371 s Remaining CPU time: 171.536 s c =============================================================================== c | 773 | 1432 5227 238930 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 901 c Elapsed CPU time: 8.5497 s Remaining CPU time: 171.45 s c =============================================================================== c | 773 | 1432 5228 240502 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 900 c Elapsed CPU time: 8.63469 s Remaining CPU time: 171.365 s c =============================================================================== c | 773 | 1432 5229 242074 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 899 c Elapsed CPU time: 8.72067 s Remaining CPU time: 171.279 s c =============================================================================== c | 773 | 1432 5230 243646 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 898 c Elapsed CPU time: 8.80666 s Remaining CPU time: 171.193 s c =============================================================================== c | 773 | 1432 5231 245218 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 897 c Elapsed CPU time: 8.89265 s Remaining CPU time: 171.107 s c =============================================================================== c | 773 | 1432 5232 246790 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 896 c Elapsed CPU time: 8.97963 s Remaining CPU time: 171.02 s c =============================================================================== c | 773 | 1432 5233 248362 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 895 c Elapsed CPU time: 9.06662 s Remaining CPU time: 170.933 s c =============================================================================== c | 773 | 1432 5234 249934 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 894 c Elapsed CPU time: 9.15461 s Remaining CPU time: 170.845 s c =============================================================================== c | 773 | 1432 5235 251506 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 893 c Elapsed CPU time: 9.24259 s Remaining CPU time: 170.757 s c =============================================================================== c | 773 | 1432 5236 253078 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 892 c Elapsed CPU time: 9.33058 s Remaining CPU time: 170.669 s c =============================================================================== c | 773 | 1432 5237 254650 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 891 c Elapsed CPU time: 9.41957 s Remaining CPU time: 170.58 s c =============================================================================== c | 773 | 1432 5238 256222 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 890 c Elapsed CPU time: 9.50855 s Remaining CPU time: 170.491 s c =============================================================================== c | 773 | 1432 5239 257794 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 889 c Elapsed CPU time: 9.59754 s Remaining CPU time: 170.402 s c =============================================================================== c | 773 | 1432 5240 259366 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 888 c Elapsed CPU time: 9.68753 s Remaining CPU time: 170.312 s c =============================================================================== c | 773 | 1432 5241 260938 | 5000 770 29 | 23.982 % | c =============================================================================== c New solution: 887 c Elapsed CPU time: 9.77751 s Remaining CPU time: 170.222 s c =============================================================================== c | 774 | 1432 5242 262510 | 5000 771 30 | 23.982 % | c =============================================================================== c New solution: 886 c Elapsed CPU time: 9.8625 s Remaining CPU time: 170.137 s c =============================================================================== c | 774 | 1432 5243 264082 | 5000 771 30 | 23.982 % | c =============================================================================== c New solution: 885 c Elapsed CPU time: 9.94849 s Remaining CPU time: 170.052 s c =============================================================================== c | 774 | 1432 5244 265654 | 5000 771 30 | 23.982 % | c =============================================================================== c New solution: 884 c Elapsed CPU time: 10.0345 s Remaining CPU time: 169.966 s c =============================================================================== c | 774 | 1432 5245 267226 | 5000 771 30 | 23.982 % | c =============================================================================== c New solution: 883 c Elapsed CPU time: 10.1215 s Remaining CPU time: 169.879 s c =============================================================================== c | 775 | 1432 5246 268798 | 5000 772 31 | 23.982 % | c =============================================================================== c New solution: 882 c Elapsed CPU time: 10.2074 s Remaining CPU time: 169.793 s c =============================================================================== c | 775 | 1432 5247 270370 | 5000 772 31 | 23.982 % | c =============================================================================== c New solution: 881 c Elapsed CPU time: 10.2944 s Remaining CPU time: 169.706 s c =============================================================================== c | 776 | 1432 5248 271942 | 5000 773 32 | 23.982 % | c =============================================================================== c New solution: 880 c Elapsed CPU time: 10.3814 s Remaining CPU time: 169.619 s c =============================================================================== c | 776 | 1432 5249 273514 | 5000 773 32 | 23.982 % | c =============================================================================== c New solution: 879 c Elapsed CPU time: 10.4674 s Remaining CPU time: 169.533 s c =============================================================================== c | 776 | 1432 5250 275086 | 5000 773 32 | 23.982 % | c =============================================================================== c New solution: 878 c Elapsed CPU time: 10.5554 s Remaining CPU time: 169.445 s c =============================================================================== c | 776 | 1432 5251 276658 | 5000 773 32 | 23.982 % | c =============================================================================== c New solution: 877 c Elapsed CPU time: 10.6414 s Remaining CPU time: 169.359 s c =============================================================================== c | 777 | 1432 5252 278230 | 5000 774 33 | 23.982 % | c =============================================================================== c New solution: 876 c Elapsed CPU time: 10.7294 s Remaining CPU time: 169.271 s c =============================================================================== c | 777 | 1432 5253 279802 | 5000 774 33 | 23.982 % | c =============================================================================== c New solution: 875 c Elapsed CPU time: 10.8174 s Remaining CPU time: 169.183 s c =============================================================================== c | 778 | 1432 5254 281374 | 5000 775 34 | 23.982 % | c =============================================================================== c New solution: 874 c Elapsed CPU time: 10.9043 s Remaining CPU time: 169.096 s c =============================================================================== c | 778 | 1432 5255 282946 | 5000 775 34 | 23.982 % | c =============================================================================== c New solution: 873 c Elapsed CPU time: 10.9933 s Remaining CPU time: 169.007 s c =============================================================================== c | 779 | 1432 5256 284518 | 5000 776 34 | 23.982 % | c =============================================================================== c New solution: 872 c Elapsed CPU time: 11.0813 s Remaining CPU time: 168.919 s c =============================================================================== c | 779 | 1432 5257 286090 | 5000 776 34 | 23.982 % | c =============================================================================== c New solution: 871 c Elapsed CPU time: 11.1693 s Remaining CPU time: 168.831 s c =============================================================================== c | 779 | 1432 5258 287662 | 5000 776 34 | 23.982 % | c =============================================================================== c New solution: 870 c Elapsed CPU time: 11.2583 s Remaining CPU time: 168.742 s c =============================================================================== c | 779 | 1432 5259 289234 | 5000 776 34 | 23.982 % | c =============================================================================== c New solution: 869 c Elapsed CPU time: 11.3473 s Remaining CPU time: 168.653 s c =============================================================================== c | 780 | 1432 5260 290806 | 5000 777 35 | 23.982 % | c =============================================================================== c New solution: 868 c Elapsed CPU time: 11.4363 s Remaining CPU time: 168.564 s c =============================================================================== c | 780 | 1432 5261 292378 | 5000 777 35 | 23.982 % | c =============================================================================== c New solution: 867 c Elapsed CPU time: 11.5262 s Remaining CPU time: 168.474 s c =============================================================================== c | 781 | 1432 5262 293950 | 5000 778 36 | 23.982 % | c =============================================================================== c New solution: 866 c Elapsed CPU time: 11.6172 s Remaining CPU time: 168.383 s c =============================================================================== c | 781 | 1432 5263 295522 | 5000 778 36 | 23.982 % | c =============================================================================== c New solution: 865 c Elapsed CPU time: 11.7082 s Remaining CPU time: 168.292 s c =============================================================================== c | 783 | 1432 5264 297094 | 5000 780 36 | 23.982 % | c =============================================================================== c New solution: 864 c Elapsed CPU time: 11.7972 s Remaining CPU time: 168.203 s c =============================================================================== c | 783 | 1432 5265 298666 | 5000 780 36 | 23.982 % | c =============================================================================== c New solution: 863 c Elapsed CPU time: 11.8862 s Remaining CPU time: 168.114 s c =============================================================================== c | 784 | 1432 5266 300238 | 5000 781 37 | 23.982 % | c =============================================================================== c New solution: 862 c Elapsed CPU time: 11.9752 s Remaining CPU time: 168.025 s c =============================================================================== c | 784 | 1432 5267 301810 | 5000 781 37 | 23.982 % | c =============================================================================== c New solution: 861 c Elapsed CPU time: 12.0652 s Remaining CPU time: 167.935 s c =============================================================================== c | 784 | 1432 5268 303382 | 5000 781 37 | 23.982 % | c =============================================================================== c New solution: 860 c Elapsed CPU time: 12.1552 s Remaining CPU time: 167.845 s c =============================================================================== c | 784 | 1432 5269 304954 | 5000 781 37 | 23.982 % | c =============================================================================== c New solution: 859 c Elapsed CPU time: 12.2461 s Remaining CPU time: 167.754 s c =============================================================================== c | 785 | 1432 5270 306526 | 5000 782 38 | 23.982 % | c =============================================================================== c New solution: 858 c Elapsed CPU time: 12.3361 s Remaining CPU time: 167.664 s c =============================================================================== c | 785 | 1432 5271 308098 | 5000 782 38 | 23.982 % | c =============================================================================== c New solution: 857 c Elapsed CPU time: 12.4271 s Remaining CPU time: 167.573 s c =============================================================================== c | 786 | 1432 5272 309670 | 5000 783 39 | 23.982 % | c =============================================================================== c New solution: 856 c Elapsed CPU time: 12.5171 s Remaining CPU time: 167.483 s c =============================================================================== c | 786 | 1432 5273 311242 | 5000 783 39 | 23.982 % | c =============================================================================== c New solution: 855 c Elapsed CPU time: 12.6091 s Remaining CPU time: 167.391 s c =============================================================================== c | 786 | 1432 5274 312814 | 5000 783 39 | 23.982 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 12.7001 s Remaining CPU time: 167.3 s c =============================================================================== c | 786 | 1432 5275 314386 | 5000 783 39 | 23.982 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 12.7911 s Remaining CPU time: 167.209 s c =============================================================================== c | 787 | 1432 5276 315958 | 5000 784 39 | 23.982 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 12.881 s Remaining CPU time: 167.119 s c =============================================================================== c | 787 | 1432 5277 317530 | 5000 784 39 | 23.982 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 12.972 s Remaining CPU time: 167.028 s c =============================================================================== c | 787 | 1432 5278 319102 | 5000 784 39 | 23.982 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 13.064 s Remaining CPU time: 166.936 s c =============================================================================== c | 787 | 1432 5279 320674 | 5000 784 39 | 23.982 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 13.155 s Remaining CPU time: 166.845 s c =============================================================================== c | 788 | 1432 5280 322246 | 5000 785 40 | 23.982 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 13.246 s Remaining CPU time: 166.754 s c =============================================================================== c | 788 | 1432 5281 323818 | 5000 785 40 | 23.982 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 13.338 s Remaining CPU time: 166.662 s c =============================================================================== c | 788 | 1432 5282 325390 | 5000 785 40 | 23.982 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 13.43 s Remaining CPU time: 166.57 s c =============================================================================== c | 788 | 1432 5283 326962 | 5000 785 40 | 23.982 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 13.5229 s Remaining CPU time: 166.477 s c =============================================================================== c | 789 | 1432 5284 328534 | 5000 786 41 | 23.982 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 13.6159 s Remaining CPU time: 166.384 s c =============================================================================== c | 789 | 1432 5285 330106 | 5000 786 41 | 23.982 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 13.7089 s Remaining CPU time: 166.291 s c =============================================================================== c | 789 | 1432 5286 331678 | 5000 786 41 | 23.982 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 13.8009 s Remaining CPU time: 166.199 s c =============================================================================== c | 789 | 1432 5287 333250 | 5000 786 41 | 23.982 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 13.8929 s Remaining CPU time: 166.107 s c =============================================================================== c | 790 | 1432 5288 334822 | 5000 787 42 | 23.982 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 13.9839 s Remaining CPU time: 166.016 s c =============================================================================== c | 790 | 1432 5289 336394 | 5000 787 42 | 23.982 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 14.0769 s Remaining CPU time: 165.923 s c =============================================================================== c | 791 | 1432 5290 337966 | 5000 788 43 | 23.982 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 14.1698 s Remaining CPU time: 165.83 s c =============================================================================== c | 791 | 1432 5291 339538 | 5000 788 43 | 23.982 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 14.2658 s Remaining CPU time: 165.734 s c =============================================================================== c | 792 | 1432 5292 341110 | 5000 789 44 | 23.982 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 14.3598 s Remaining CPU time: 165.64 s c =============================================================================== c | 792 | 1432 5293 342682 | 5000 789 44 | 23.982 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 14.4528 s Remaining CPU time: 165.547 s c =============================================================================== c | 792 | 1432 5294 344254 | 5000 789 44 | 23.982 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 14.5468 s Remaining CPU time: 165.453 s c =============================================================================== c | 792 | 1432 5295 345826 | 5000 789 44 | 23.982 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 14.6408 s Remaining CPU time: 165.359 s c =============================================================================== c | 793 | 1432 5296 347398 | 5000 790 44 | 23.982 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 14.7328 s Remaining CPU time: 165.267 s c =============================================================================== c | 794 | 1432 5297 348970 | 5000 791 44 | 23.982 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 14.8257 s Remaining CPU time: 165.174 s c =============================================================================== c | 794 | 1432 5298 350542 | 5000 791 44 | 23.982 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 14.9187 s Remaining CPU time: 165.081 s c =============================================================================== c | 794 | 1432 5299 352114 | 5000 791 44 | 23.982 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 15.0107 s Remaining CPU time: 164.989 s c =============================================================================== c | 794 | 1432 5300 353686 | 5000 791 44 | 23.982 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 15.1037 s Remaining CPU time: 164.896 s c =============================================================================== c | 794 | 1432 5301 355258 | 5000 791 44 | 23.982 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 15.1957 s Remaining CPU time: 164.804 s c =============================================================================== c | 794 | 1432 5302 356830 | 5000 791 44 | 23.982 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 15.2887 s Remaining CPU time: 164.711 s c =============================================================================== c | 794 | 1432 5303 358402 | 5000 791 44 | 23.982 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 15.3827 s Remaining CPU time: 164.617 s c =============================================================================== c | 795 | 1432 5304 359974 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 15.4766 s Remaining CPU time: 164.523 s c =============================================================================== c | 795 | 1432 5305 361546 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 15.5696 s Remaining CPU time: 164.43 s c =============================================================================== c | 795 | 1432 5306 363118 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 15.6626 s Remaining CPU time: 164.337 s c =============================================================================== c | 795 | 1432 5307 364690 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 15.7556 s Remaining CPU time: 164.244 s c =============================================================================== c | 795 | 1432 5308 366262 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 15.8496 s Remaining CPU time: 164.15 s c =============================================================================== c | 795 | 1432 5309 367834 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 15.9426 s Remaining CPU time: 164.057 s c =============================================================================== c | 795 | 1432 5310 369406 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 16.0356 s Remaining CPU time: 163.964 s c =============================================================================== c | 795 | 1432 5311 370978 | 5000 792 45 | 23.982 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 16.1295 s Remaining CPU time: 163.87 s c =============================================================================== c | 796 | 1432 5312 372550 | 5000 793 46 | 23.982 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 16.2225 s Remaining CPU time: 163.777 s c =============================================================================== c | 796 | 1432 5313 374122 | 5000 793 46 | 23.982 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 16.3155 s Remaining CPU time: 163.684 s c =============================================================================== c | 796 | 1432 5314 375694 | 5000 793 46 | 23.982 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 16.4085 s Remaining CPU time: 163.591 s c =============================================================================== c | 796 | 1432 5315 377266 | 5000 793 46 | 23.982 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 16.5015 s Remaining CPU time: 163.499 s c =============================================================================== c | 796 | 1432 5316 378838 | 5000 793 46 | 23.982 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 16.5965 s Remaining CPU time: 163.404 s c =============================================================================== c | 797 | 1432 5317 380410 | 5000 794 47 | 23.982 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 16.6905 s Remaining CPU time: 163.31 s c =============================================================================== c | 799 | 1432 5318 381982 | 5000 796 47 | 23.982 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 16.7824 s Remaining CPU time: 163.218 s c =============================================================================== c | 799 | 1432 5319 383554 | 5000 796 47 | 23.982 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 16.8894 s Remaining CPU time: 163.111 s c =============================================================================== c | 802 | 1432 5320 385126 | 5000 799 49 | 23.982 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 16.9824 s Remaining CPU time: 163.018 s c =============================================================================== c | 802 | 1432 5321 386698 | 5000 799 49 | 23.982 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 17.0744 s Remaining CPU time: 162.926 s c =============================================================================== c | 802 | 1432 5322 388270 | 5000 799 49 | 23.982 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 17.6573 s Remaining CPU time: 162.343 s c =============================================================================== c | 828 | 1432 5323 389842 | 5000 825 53 | 23.982 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 17.7823 s Remaining CPU time: 162.218 s c =============================================================================== c | 829 | 1432 5324 391414 | 5000 826 53 | 23.982 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 17.9023 s Remaining CPU time: 162.098 s c =============================================================================== c | 829 | 1432 5325 392986 | 5000 826 53 | 23.982 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 18.3422 s Remaining CPU time: 161.658 s c =============================================================================== c | 843 | 1432 5326 394558 | 5000 840 56 | 23.982 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 18.4622 s Remaining CPU time: 161.538 s c =============================================================================== c | 847 | 1432 5327 396130 | 5000 844 57 | 23.982 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 18.6482 s Remaining CPU time: 161.352 s c =============================================================================== c | 851 | 1432 5328 397702 | 5000 848 57 | 23.982 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 18.8131 s Remaining CPU time: 161.187 s c =============================================================================== c | 854 | 1432 5329 399274 | 5000 851 58 | 23.982 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 19.2661 s Remaining CPU time: 160.734 s c =============================================================================== c | 877 | 1432 5330 400846 | 5000 874 60 | 23.982 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 19.3621 s Remaining CPU time: 160.638 s c =============================================================================== c | 877 | 1432 5331 402418 | 5000 874 60 | 23.982 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 19.457 s Remaining CPU time: 160.543 s c =============================================================================== c | 877 | 1432 5332 403990 | 5000 874 60 | 23.982 % | c | 981 | 1432 5332 403990 | 5500 978 73 | 24.036 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 21.9947 s Remaining CPU time: 158.005 s c =============================================================================== c | 991 | 1432 5333 405562 | 5000 988 73 | 24.036 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 22.2136 s Remaining CPU time: 157.786 s c =============================================================================== c | 1001 | 1432 5334 407134 | 5000 998 72 | 24.036 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 22.4916 s Remaining CPU time: 157.508 s c =============================================================================== c | 1009 | 1432 5335 408706 | 5000 1006 72 | 24.036 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 23.1585 s Remaining CPU time: 156.842 s c =============================================================================== c | 1041 | 1432 5336 410278 | 5000 1038 70 | 24.036 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 23.6334 s Remaining CPU time: 156.367 s c =============================================================================== c | 1066 | 1430 5337 411850 | 5000 1016 73 | 24.036 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 23.7944 s Remaining CPU time: 156.206 s c =============================================================================== c | 1067 | 1430 5338 413422 | 5000 1017 74 | 24.036 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 24.2623 s Remaining CPU time: 155.738 s c =============================================================================== c | 1082 | 1430 5339 414994 | 5000 1032 74 | 24.036 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 24.5423 s Remaining CPU time: 155.458 s c =============================================================================== c | 1090 | 1430 5340 416566 | 5000 1040 76 | 24.036 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 24.6483 s Remaining CPU time: 155.352 s c =============================================================================== c | 1091 | 1430 5341 418138 | 5000 1041 76 | 24.036 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 25.1022 s Remaining CPU time: 154.898 s c =============================================================================== c | 1105 | 1430 5342 419710 | 5000 1055 78 | 24.036 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 25.3411 s Remaining CPU time: 154.659 s c =============================================================================== c | 1114 | 1430 5343 421282 | 5000 1064 79 | 24.036 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 25.5581 s Remaining CPU time: 154.442 s c =============================================================================== c | 1122 | 1430 5344 422854 | 5000 1072 79 | 24.036 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 25.6571 s Remaining CPU time: 154.343 s c =============================================================================== c | 1122 | 1430 5345 424426 | 5000 1072 79 | 24.036 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 25.7561 s Remaining CPU time: 154.244 s c =============================================================================== c | 1123 | 1430 5346 425998 | 5000 1073 79 | 24.036 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 26.547 s Remaining CPU time: 153.453 s c =============================================================================== c | 1160 | 1430 5347 427570 | 5000 1110 82 | 24.036 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 27.5268 s Remaining CPU time: 152.473 s c =============================================================================== c | 1197 | 1430 5348 429142 | 5000 1147 87 | 24.036 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 28.9826 s Remaining CPU time: 151.017 s c =============================================================================== c | 1271 | 1430 5349 430714 | 5000 1221 86 | 24.036 % | c | 1371 | 1429 5349 430714 | 5500 1321 94 | 24.298 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 32.1051 s Remaining CPU time: 147.895 s c =============================================================================== c | 1382 | 1427 5350 432286 | 5000 1332 93 | 24.298 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 32.5431 s Remaining CPU time: 147.457 s c =============================================================================== c | 1394 | 1427 5351 433858 | 5000 1344 94 | 24.298 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 32.698 s Remaining CPU time: 147.302 s c =============================================================================== c | 1396 | 1427 5352 435430 | 5000 1346 95 | 24.298 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 32.803 s Remaining CPU time: 147.197 s c =============================================================================== c | 1397 | 1427 5353 437002 | 5000 1347 95 | 24.298 % | c | 1497 | 1425 5353 437002 | 5500 1447 100 | 26.315 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 35.9185 s Remaining CPU time: 144.081 s c =============================================================================== c | 1512 | 1380 5354 438574 | 5000 1462 101 | 26.315 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 36.3505 s Remaining CPU time: 143.65 s c =============================================================================== c | 1530 | 1380 5355 440146 | 5000 1480 104 | 26.315 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 36.4625 s Remaining CPU time: 143.538 s c =============================================================================== c | 1533 | 1380 5356 441718 | 5000 1483 105 | 26.315 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 36.6174 s Remaining CPU time: 143.383 s c =============================================================================== c | 1535 | 1380 5357 443290 | 5000 1485 106 | 26.315 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 36.7274 s Remaining CPU time: 143.273 s c =============================================================================== c | 1535 | 1380 5358 444862 | 5000 1485 106 | 26.315 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 36.8364 s Remaining CPU time: 143.164 s c =============================================================================== c | 1535 | 1380 5359 446434 | 5000 1485 106 | 26.315 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 36.9444 s Remaining CPU time: 143.056 s c =============================================================================== c | 1535 | 1380 5360 448006 | 5000 1485 106 | 26.315 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 37.0524 s Remaining CPU time: 142.948 s c =============================================================================== c | 1535 | 1380 5361 449578 | 5000 1485 106 | 26.315 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 37.1604 s Remaining CPU time: 142.84 s c =============================================================================== c | 1535 | 1380 5362 451150 | 5000 1485 106 | 26.315 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 37.2683 s Remaining CPU time: 142.732 s c =============================================================================== c | 1536 | 1380 5363 452722 | 5000 1486 106 | 26.315 % | c | 1636 | 1380 5363 452722 | 5500 1586 111 | 26.794 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 42.8565 s Remaining CPU time: 137.144 s c =============================================================================== c | 1766 | 1380 5364 454294 | 5000 1716 116 | 26.794 % | c | 1867 | 1355 5364 454294 | 5500 1817 124 | 28.919 % | c =============================================================================== c Total CPU time: 46.8689 s