c wbo 1.4 beta - 20100610 c | Number of variables: 400 | c | Number of clauses: 4769 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 568 | c | Number Clauses: 4763 | 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 | 568 4763 9752 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 568 4764 9926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 568 4765 10100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 568 4766 10274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 568 4767 10448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 568 4768 10622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 568 4769 10796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 568 4770 10970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 568 4771 11144 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 568 4772 11318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 568 4773 11492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 568 4774 11666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 568 4775 11840 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 568 4776 12014 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 568 4777 12188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 568 4778 12362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 1 | 568 4779 12536 | 5000 1 160 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 6 | 568 4780 12710 | 5000 6 159 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 11 | 568 4781 12884 | 5000 11 144 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 16 | 568 4782 13058 | 5000 16 138 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 20 | 568 4783 13232 | 5000 20 142 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 29 | 568 4784 13406 | 5000 29 146 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 32 | 568 4785 13580 | 5000 32 147 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 40 | 568 4786 13754 | 5000 40 148 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 45 | 568 4787 13928 | 5000 45 148 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 52 | 568 4788 14102 | 5000 52 148 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 60 | 568 4789 14276 | 5000 60 149 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 121 | 568 4790 14450 | 5000 121 149 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 123 | 568 4791 14624 | 5000 123 149 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 138 | 568 4792 14798 | 5000 138 149 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 169 | 568 4793 14972 | 5000 169 148 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 228 | 568 4794 15146 | 5000 228 148 | 0.000 % | c | 328 | 568 4794 15146 | 5500 328 146 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 442 | 568 4795 15320 | 5000 442 146 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 536 | 568 4796 15494 | 5000 536 145 | 0.000 % | c | 637 | 568 4796 15494 | 5500 637 145 | 0.000 % | c | 787 | 568 4796 15494 | 6050 787 145 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 967 | 568 4797 15668 | 5000 967 144 | 0.000 % | c | 1068 | 568 4797 15668 | 5500 1068 144 | 0.000 % | c | 1218 | 568 4797 15668 | 6050 1218 144 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1236 | 568 4798 15842 | 5000 1236 144 | 0.000 % | c | 1336 | 568 4798 15842 | 5500 1336 143 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 1379 | 568 4799 16016 | 5000 1379 143 | 0.000 % | c | 1481 | 568 4799 16016 | 5500 1481 143 | 0.000 % | c | 1632 | 568 4799 16016 | 6050 1632 143 | 0.000 % | c | 1857 | 568 4799 16016 | 6655 1857 142 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 2103 | 568 4800 16190 | 5000 2103 142 | 0.000 % | c | 2203 | 568 4800 16190 | 5500 2203 142 | 0.000 % | c | 2354 | 568 4800 16190 | 6050 2354 142 | 0.000 % | c | 2580 | 568 4800 16190 | 6655 2580 141 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 2603 | 568 4801 16364 | 5000 2603 141 | 0.000 % | c | 2703 | 568 4801 16364 | 5500 2703 141 | 0.000 % | c | 2853 | 568 4801 16364 | 6050 2853 141 | 0.000 % | c | 3078 | 568 4801 16364 | 6655 3078 141 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 3212 | 568 4802 16538 | 5000 3212 141 | 0.000 % | c | 3312 | 568 4802 16538 | 5500 3312 141 | 0.000 % | c | 3462 | 568 4802 16538 | 6050 3462 141 | 0.000 % | c | 3688 | 568 4802 16538 | 6655 3688 140 | 0.000 % | c | 4025 | 568 4802 16538 | 7320 4025 140 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 4387 | 568 4803 16712 | 5000 4387 140 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 4473 | 568 4804 16886 | 5000 4473 140 | 0.000 % | c | 4573 | 568 4804 16886 | 5500 4573 140 | 0.000 % | c | 4724 | 568 4804 16886 | 6050 4724 140 | 0.000 % | c | 4949 | 568 4804 16886 | 6655 4949 139 | 0.000 % | c | 5287 | 568 4804 16886 | 7320 5287 139 | 0.000 % | c | 5793 | 568 4804 16886 | 8052 5793 139 | 0.000 % | c | 6552 | 568 4804 16886 | 8857 6552 138 | 0.000 % | c | 7692 | 568 4804 16886 | 9743 7692 138 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 8383 | 568 4805 17060 | 5000 8383 138 | 0.000 % | c | 8483 | 568 4805 17060 | 5500 4292 135 | 0.000 % | c | 8633 | 568 4805 17060 | 6050 4442 135 | 0.000 % | c | 8858 | 568 4805 17060 | 6655 4667 135 | 0.000 % | c | 9195 | 568 4805 17060 | 7320 5004 135 | 0.000 % | c | 9701 | 568 4805 17060 | 8052 5510 135 | 0.000 % | c | 10460 | 568 4805 17060 | 8857 6269 135 | 0.000 % | c | 11600 | 568 4805 17060 | 9743 7409 135 | 0.000 % | c | 13308 | 568 4805 17060 | 10717 9117 135 | 0.000 % | c | 15870 | 568 4805 17060 | 11789 6231 134 | 0.000 % | c | 19714 | 568 4805 17060 | 12968 10075 134 | 0.000 % | c | 25480 | 568 4805 17060 | 14265 9283 134 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 6.28904 s Remaining CPU time: 173.711 s c =============================================================================== c | 32078 | 568 4806 17234 | 5000 8663 134 | 0.000 % | c | 32178 | 568 4806 17234 | 5500 4432 134 | 0.000 % | c | 32329 | 568 4806 17234 | 6050 4583 134 | 0.000 % | c | 32555 | 568 4806 17234 | 6655 4809 134 | 0.000 % | c | 32892 | 568 4806 17234 | 7320 5146 134 | 0.000 % | c | 33398 | 568 4806 17234 | 8052 5652 134 | 0.000 % | c | 34157 | 568 4806 17234 | 8857 6411 134 | 0.000 % | c | 35296 | 568 4806 17234 | 9743 7550 134 | 0.000 % | c | 37006 | 568 4806 17234 | 10717 9260 134 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 7.39288 s Remaining CPU time: 172.607 s c =============================================================================== c | 37050 | 568 4807 17408 | 5000 9304 134 | 0.000 % | c | 37150 | 568 4807 17408 | 5500 4752 132 | 0.000 % | c | 37301 | 568 4807 17408 | 6050 4903 132 | 0.000 % | c | 37526 | 568 4807 17408 | 6655 5128 132 | 0.000 % | c | 37863 | 568 4807 17408 | 7320 5465 132 | 0.000 % | c | 38369 | 568 4807 17408 | 8052 5971 132 | 0.000 % | c | 39128 | 568 4807 17408 | 8857 6730 132 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 7.94579 s Remaining CPU time: 172.054 s c =============================================================================== c | 39324 | 568 4808 17582 | 5000 6926 132 | 0.000 % | c | 39424 | 568 4808 17582 | 5500 3563 131 | 0.000 % | c | 39574 | 568 4808 17582 | 6050 3713 131 | 0.000 % | c | 39799 | 568 4808 17582 | 6655 3938 131 | 0.000 % | c | 40136 | 568 4808 17582 | 7320 4275 131 | 0.000 % | c | 40643 | 568 4808 17582 | 8052 4782 131 | 0.000 % | c | 41402 | 568 4808 17582 | 8857 5541 131 | 0.000 % | c | 42541 | 568 4808 17582 | 9743 6680 131 | 0.000 % | c | 44249 | 568 4808 17582 | 10717 8388 131 | 0.000 % | c | 46811 | 568 4808 17582 | 11789 5523 130 | 0.000 % | c | 50655 | 568 4808 17582 | 12968 9367 131 | 0.000 % | c | 56421 | 568 4808 17582 | 14265 8513 131 | 0.000 % | c | 65070 | 568 4808 17582 | 15692 9925 131 | 0.000 % | c | 78044 | 568 4808 17582 | 17261 14953 131 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 18.1312 s Remaining CPU time: 161.869 s c =============================================================================== c | 84651 | 568 4809 17756 | 5000 12828 131 | 0.000 % | c | 84751 | 568 4809 17756 | 5500 3307 130 | 0.000 % | c | 84901 | 568 4809 17756 | 6050 3457 130 | 0.000 % | c | 85126 | 568 4809 17756 | 6655 3682 130 | 0.000 % | c | 85464 | 568 4809 17756 | 7320 4020 130 | 0.000 % | c | 85970 | 568 4809 17756 | 8052 4526 130 | 0.000 % | c | 86729 | 568 4809 17756 | 8857 5285 130 | 0.000 % | c | 87869 | 568 4809 17756 | 9743 6425 130 | 0.000 % | c | 89577 | 568 4809 17756 | 10717 8133 130 | 0.000 % | c | 92139 | 568 4809 17756 | 11789 10695 130 | 0.000 % | c | 95983 | 568 4809 17756 | 12968 8562 130 | 0.000 % | c | 101749 | 568 4809 17756 | 14265 7777 130 | 0.000 % | c | 110398 | 568 4809 17756 | 15692 9208 130 | 0.000 % | c | 123373 | 568 4809 17756 | 17261 14244 130 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 27.7078 s Remaining CPU time: 152.292 s c =============================================================================== c | 125935 | 568 4810 17930 | 5000 16806 130 | 0.000 % | c | 126035 | 568 4810 17930 | 5500 4302 129 | 0.000 % | c | 126186 | 568 4810 17930 | 6050 4453 129 | 0.000 % | c | 126411 | 568 4810 17930 | 6655 4678 129 | 0.000 % | c | 126748 | 568 4810 17930 | 7320 5015 129 | 0.000 % | c | 127255 | 568 4810 17930 | 8052 5522 129 | 0.000 % | c | 128014 | 568 4810 17930 | 8857 6281 129 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 28.5807 s Remaining CPU time: 151.419 s c =============================================================================== c | 128637 | 568 4811 18104 | 5000 6904 129 | 0.000 % | c | 128737 | 568 4811 18104 | 5500 3552 128 | 0.000 % | c | 128887 | 568 4811 18104 | 6050 3702 128 | 0.000 % | c | 129112 | 568 4811 18104 | 6655 3927 128 | 0.000 % | c | 129450 | 568 4811 18104 | 7320 4265 128 | 0.000 % | c | 129956 | 568 4811 18104 | 8052 4771 128 | 0.000 % | c | 130715 | 568 4811 18104 | 8857 5530 128 | 0.000 % | c | 131854 | 568 4811 18104 | 9743 6669 128 | 0.000 % | c | 133562 | 568 4811 18104 | 10717 8377 128 | 0.000 % | c | 136124 | 568 4811 18104 | 11789 5492 128 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 30.0694 s Remaining CPU time: 149.931 s c =============================================================================== c | 136404 | 568 4812 18278 | 5000 5772 128 | 0.000 % | c | 136505 | 568 4812 18278 | 5500 2987 127 | 0.000 % | c | 136655 | 568 4812 18278 | 6050 3137 127 | 0.000 % | c | 136880 | 568 4812 18278 | 6655 3362 127 | 0.000 % | c | 137217 | 568 4812 18278 | 7320 3699 127 | 0.000 % | c | 137723 | 568 4812 18278 | 8052 4205 127 | 0.000 % | c | 138483 | 568 4812 18278 | 8857 4965 127 | 0.000 % | c | 139622 | 568 4812 18278 | 9743 6104 127 | 0.000 % | c | 141331 | 568 4812 18278 | 10717 7813 127 | 0.000 % | c | 143893 | 568 4812 18278 | 11789 10375 127 | 0.000 % | c | 147737 | 568 4812 18278 | 12968 8256 127 | 0.000 % | c | 153503 | 568 4812 18278 | 14265 7473 127 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 33.6359 s Remaining CPU time: 146.364 s c =============================================================================== c | 154787 | 568 4813 18452 | 5000 8757 127 | 0.000 % | c | 154887 | 568 4813 18452 | 5500 4479 126 | 0.000 % | c | 155037 | 568 4813 18452 | 6050 4629 126 | 0.000 % | c | 155262 | 568 4813 18452 | 6655 4854 126 | 0.000 % | c | 155599 | 568 4813 18452 | 7320 5191 126 | 0.000 % | c | 156105 | 568 4813 18452 | 8052 5697 126 | 0.000 % | c | 156864 | 568 4813 18452 | 8857 6456 126 | 0.000 % | c | 158003 | 568 4813 18452 | 9743 7595 126 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 34.4748 s Remaining CPU time: 145.525 s c =============================================================================== c | 158871 | 568 4814 18626 | 5000 8463 126 | 0.000 % | c | 158972 | 568 4814 18626 | 5500 4333 126 | 0.000 % | c | 159122 | 568 4814 18626 | 6050 4483 125 | 0.000 % | c | 159347 | 568 4814 18626 | 6655 4708 125 | 0.000 % | c | 159684 | 568 4814 18626 | 7320 5045 125 | 0.000 % | c | 160190 | 568 4814 18626 | 8052 5551 125 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 34.9347 s Remaining CPU time: 145.065 s c =============================================================================== c | 160751 | 568 4815 18800 | 5000 6112 125 | 0.000 % | c | 160852 | 568 4815 18800 | 5500 3157 124 | 0.000 % | c | 161002 | 568 4815 18800 | 6050 3307 124 | 0.000 % | c | 161227 | 568 4815 18800 | 6655 3532 124 | 0.000 % | c | 161564 | 568 4815 18800 | 7320 3869 124 | 0.000 % | c | 162070 | 568 4815 18800 | 8052 4375 124 | 0.000 % | c | 162830 | 568 4815 18800 | 8857 5135 124 | 0.000 % | c | 163969 | 568 4815 18800 | 9743 6274 124 | 0.000 % | c | 165678 | 568 4815 18800 | 10717 7983 124 | 0.000 % | c | 168240 | 568 4815 18800 | 11789 10545 124 | 0.000 % | c | 172085 | 568 4815 18800 | 12968 8409 124 | 0.000 % | c | 177851 | 568 4815 18800 | 14265 7616 124 | 0.000 % | c | 186500 | 568 4815 18800 | 15692 9025 124 | 0.000 % | c | 199474 | 568 4815 18800 | 17261 14071 124 | 0.000 % | c | 218935 | 568 4815 18800 | 18987 16131 125 | 0.000 % | c | 248127 | 568 4815 18800 | 20886 16594 125 | 0.000 % | c | 291916 | 568 4815 18800 | 22974 18227 125 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 72.8049 s Remaining CPU time: 107.195 s c =============================================================================== c | 301123 | 568 4816 18974 | 5000 15077 124 | 0.000 % | c | 301223 | 568 4816 18974 | 5500 3870 123 | 0.000 % | c | 301374 | 568 4816 18974 | 6050 4021 123 | 0.000 % | c | 301599 | 568 4816 18974 | 6655 4246 123 | 0.000 % | c | 301936 | 568 4816 18974 | 7320 4583 123 | 0.000 % | c | 302442 | 568 4816 18974 | 8052 5089 123 | 0.000 % | c | 303201 | 568 4816 18974 | 8857 5848 123 | 0.000 % | c | 304341 | 568 4816 18974 | 9743 6988 123 | 0.000 % | c | 306050 | 568 4816 18974 | 10717 8697 123 | 0.000 % | c | 308612 | 568 4816 18974 | 11789 5836 123 | 0.000 % | c | 312457 | 568 4816 18974 | 12968 9681 123 | 0.000 % | c | 318223 | 568 4816 18974 | 14265 8899 123 | 0.000 % | c | 326872 | 568 4816 18974 | 15692 10313 123 | 0.000 % | c | 339847 | 568 4816 18974 | 17261 15376 123 | 0.000 % | c | 359309 | 568 4816 18974 | 18987 8744 123 | 0.000 % | c | 388502 | 568 4816 18974 | 20886 18771 123 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 106.171 s Remaining CPU time: 73.8291 s c =============================================================================== c | 428769 | 568 4817 19148 | 5000 16865 124 | 0.000 % | c | 428869 | 568 4817 19148 | 5500 4317 122 | 0.000 % | c | 429019 | 568 4817 19148 | 6050 4467 122 | 0.000 % | c | 429244 | 568 4817 19148 | 6655 4692 122 | 0.000 % | c | 429581 | 568 4817 19148 | 7320 5029 122 | 0.000 % | c | 430088 | 568 4817 19148 | 8052 5536 122 | 0.000 % | c | 430847 | 568 4817 19148 | 8857 6295 122 | 0.000 % | c | 431987 | 568 4817 19148 | 9743 7435 123 | 0.000 % | c | 433695 | 568 4817 19148 | 10717 9143 123 | 0.000 % | c | 436258 | 568 4817 19148 | 11789 6240 121 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 108.396 s Remaining CPU time: 71.6045 s c =============================================================================== c | 437631 | 568 4818 19322 | 5000 7613 122 | 0.000 % | c | 437731 | 568 4818 19322 | 5500 3907 120 | 0.000 % | c | 437881 | 568 4818 19322 | 6050 4057 120 | 0.000 % | c | 438106 | 568 4818 19322 | 6655 4282 120 | 0.000 % | c | 438444 | 568 4818 19322 | 7320 4620 120 | 0.000 % | c | 438950 | 568 4818 19322 | 8052 5126 121 | 0.000 % | c | 439710 | 568 4818 19322 | 8857 5886 121 | 0.000 % | c | 440849 | 568 4818 19322 | 9743 7025 121 | 0.000 % | c | 442557 | 568 4818 19322 | 10717 8733 121 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 109.371 s Remaining CPU time: 70.6286 s c =============================================================================== c | 443081 | 568 4819 19496 | 5000 9257 121 | 0.000 % | c | 443182 | 568 4819 19496 | 5500 4730 120 | 0.000 % | c | 443332 | 568 4819 19496 | 6050 4880 120 | 0.000 % | c | 443558 | 568 4819 19496 | 6655 5106 120 | 0.000 % | c | 443895 | 568 4819 19496 | 7320 5443 120 | 0.000 % | c | 444401 | 568 4819 19496 | 8052 5949 120 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 109.776 s Remaining CPU time: 70.2237 s c =============================================================================== c | 444729 | 568 4820 19670 | 5000 6277 120 | 0.000 % | c | 444830 | 568 4820 19670 | 5500 3240 119 | 0.000 % | c | 444980 | 568 4820 19670 | 6050 3390 119 | 0.000 % | c | 445206 | 568 4820 19670 | 6655 3616 119 | 0.000 % | c | 445543 | 568 4820 19670 | 7320 3953 119 | 0.000 % | c | 446049 | 568 4820 19670 | 8052 4459 119 | 0.000 % | c | 446809 | 568 4820 19670 | 8857 5219 119 | 0.000 % | c | 447948 | 568 4820 19670 | 9743 6358 119 | 0.000 % | c | 449658 | 568 4820 19670 | 10717 8068 119 | 0.000 % | c | 452220 | 568 4820 19670 | 11789 10630 119 | 0.000 % | c | 456064 | 568 4820 19670 | 12968 8478 119 | 0.000 % | c | 461831 | 568 4820 19670 | 14265 7668 119 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 113.968 s Remaining CPU time: 66.0323 s c =============================================================================== c | 464089 | 568 4821 19844 | 5000 9926 120 | 0.000 % | c | 464189 | 568 4821 19844 | 5500 5063 120 | 0.000 % | c | 464339 | 568 4821 19844 | 6050 5213 119 | 0.000 % | c | 464565 | 568 4821 19844 | 6655 5439 119 | 0.000 % | c | 464902 | 568 4821 19844 | 7320 5776 119 | 0.000 % | c | 465408 | 568 4821 19844 | 8052 6282 119 | 0.000 % | c | 466168 | 568 4821 19844 | 8857 7042 119 | 0.000 % | c | 467307 | 568 4821 19844 | 9743 8181 119 | 0.000 % | c | 469017 | 568 4821 19844 | 10717 9891 119 | 0.000 % | c | 471579 | 568 4821 19844 | 11789 7035 117 | 0.000 % | c | 475423 | 568 4821 19844 | 12968 10879 118 | 0.000 % | c | 481190 | 568 4821 19844 | 14265 10083 118 | 0.000 % | c | 489840 | 568 4821 19844 | 15692 11535 118 | 0.000 % | c | 502814 | 568 4821 19844 | 17261 8640 118 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 123.809 s Remaining CPU time: 56.1908 s c =============================================================================== c | 507567 | 568 4822 20018 | 5000 13393 118 | 0.000 % | c | 507667 | 568 4822 20018 | 5500 3449 117 | 0.000 % | c | 507817 | 568 4822 20018 | 6050 3599 117 | 0.000 % | c | 508042 | 568 4822 20018 | 6655 3824 117 | 0.000 % | c | 508379 | 568 4822 20018 | 7320 4161 117 | 0.000 % | c | 508886 | 568 4822 20018 | 8052 4668 117 | 0.000 % | c | 509646 | 568 4822 20018 | 8857 5428 117 | 0.000 % | c | 510785 | 568 4822 20018 | 9743 6567 117 | 0.000 % | c | 512494 | 568 4822 20018 | 10717 8276 117 | 0.000 % | c | 515056 | 568 4822 20018 | 11789 10838 117 | 0.000 % | c | 518901 | 568 4822 20018 | 12968 8717 117 | 0.000 % | c | 524667 | 568 4822 20018 | 14265 7922 117 | 0.000 % | c | 533316 | 568 4822 20018 | 15692 9338 117 | 0.000 % | c | 546292 | 568 4822 20018 | 17261 14405 117 | 0.000 % | c | 565753 | 568 4822 20018 | 18987 16464 118 | 0.000 % | c | 594945 | 568 4822 20018 | 20886 16947 117 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 148.892 s Remaining CPU time: 31.1076 s c =============================================================================== c | 603068 | 568 4823 20192 | 5000 14551 118 | 0.000 % | c | 603168 | 568 4823 20192 | 5500 3738 115 | 0.000 % | c | 603319 | 568 4823 20192 | 6050 3889 115 | 0.000 % | c | 603545 | 568 4823 20192 | 6655 4115 115 | 0.000 % | c | 603882 | 568 4823 20192 | 7320 4452 115 | 0.000 % | c | 604389 | 568 4823 20192 | 8052 4959 116 | 0.000 % | c | 605149 | 568 4823 20192 | 8857 5719 116 | 0.000 % | c | 606289 | 568 4823 20192 | 9743 6859 116 | 0.000 % | c | 607997 | 568 4823 20192 | 10717 8567 116 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 150.413 s Remaining CPU time: 29.5869 s c =============================================================================== c | 609162 | 568 4824 20366 | 5000 9732 116 | 0.000 % | c | 609262 | 568 4824 20366 | 5500 4966 115 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 150.507 s Remaining CPU time: 29.4929 s c =============================================================================== c | 609319 | 568 4825 20540 | 5000 5023 115 | 0.000 % | c | 609419 | 568 4825 20540 | 5500 2612 113 | 0.000 % | c | 609569 | 568 4825 20540 | 6050 2762 113 | 0.000 % | c | 609795 | 568 4825 20540 | 6655 2988 113 | 0.000 % | c | 610133 | 568 4825 20540 | 7320 3326 113 | 0.000 % | c | 610639 | 568 4825 20540 | 8052 3832 114 | 0.000 % | c | 611398 | 568 4825 20540 | 8857 4591 114 | 0.000 % | c | 612537 | 568 4825 20540 | 9743 5730 114 | 0.000 % | c | 614246 | 568 4825 20540 | 10717 7439 114 | 0.000 % | c | 616808 | 568 4825 20540 | 11789 10001 114 | 0.000 % | c | 620652 | 568 4825 20540 | 12968 7886 114 | 0.000 % | c | 626420 | 568 4825 20540 | 14265 7102 113 | 0.000 % | c | 635069 | 568 4825 20540 | 15692 8527 114 | 0.000 % | c | 648045 | 568 4825 20540 | 17261 13548 114 | 0.000 % |