c wbo 1.4 beta - 20100610 c | Number of variables: 400 | c | Number of clauses: 4615 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 564 | c | Number Clauses: 4607 | 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 | 564 4607 9442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 564 4608 9614 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 564 4609 9786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 564 4610 9958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 564 4611 10130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 564 4612 10302 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 564 4613 10474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 564 4614 10646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 564 4615 10818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 564 4616 10990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 564 4617 11162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 564 4618 11334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 564 4619 11506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 564 4620 11678 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 564 4621 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 564 4622 12022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 564 4623 12194 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 564 4624 12366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 564 4625 12538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 564 4626 12710 | 5000 1 156 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 2 | 564 4627 12882 | 5000 2 154 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 2 | 564 4628 13054 | 5000 2 154 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 7 | 564 4629 13226 | 5000 7 152 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 8 | 564 4630 13398 | 5000 8 152 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 11 | 564 4631 13570 | 5000 11 151 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 14 | 564 4632 13742 | 5000 14 150 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 17 | 564 4633 13914 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 20 | 564 4634 14086 | 5000 20 149 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 23 | 564 4635 14258 | 5000 23 149 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 36 | 564 4636 14430 | 5000 36 147 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 109 | 564 4637 14602 | 5000 109 145 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 151 | 564 4638 14774 | 5000 151 144 | 0.000 % | c | 251 | 564 4638 14774 | 5500 251 144 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 292 | 564 4639 14946 | 5000 292 143 | 0.000 % | c | 394 | 564 4639 14946 | 5500 394 143 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 520 | 564 4640 15118 | 5000 520 143 | 0.000 % | c | 622 | 564 4640 15118 | 5500 622 142 | 0.000 % | c | 772 | 564 4640 15118 | 6050 772 142 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 798 | 564 4641 15290 | 5000 798 142 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 844 | 564 4642 15462 | 5000 844 142 | 0.000 % | c | 944 | 564 4642 15462 | 5500 944 142 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 999 | 564 4643 15634 | 5000 999 141 | 0.000 % | c | 1101 | 564 4643 15634 | 5500 1101 141 | 0.000 % | c | 1252 | 564 4643 15634 | 6050 1252 141 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 1318 | 564 4644 15806 | 5000 1318 140 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 1392 | 564 4645 15978 | 5000 1392 140 | 0.000 % | c | 1492 | 564 4645 15978 | 5500 1492 140 | 0.000 % | c | 1644 | 564 4645 15978 | 6050 1644 139 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 1791 | 564 4646 16150 | 5000 1791 139 | 0.000 % | c | 1891 | 564 4646 16150 | 5500 1891 139 | 0.000 % | c | 2041 | 564 4646 16150 | 6050 2041 139 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 2112 | 564 4647 16322 | 5000 2112 138 | 0.000 % | c | 2212 | 564 4647 16322 | 5500 2212 138 | 0.000 % | c | 2363 | 564 4647 16322 | 6050 2363 138 | 0.000 % | c | 2588 | 564 4647 16322 | 6655 2588 138 | 0.000 % | c | 2926 | 564 4647 16322 | 7320 2926 137 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 3091 | 564 4648 16494 | 5000 3091 137 | 0.000 % | c | 3192 | 564 4648 16494 | 5500 3192 137 | 0.000 % | c | 3342 | 564 4648 16494 | 6050 3342 137 | 0.000 % | c | 3567 | 564 4648 16494 | 6655 3567 137 | 0.000 % | c | 3904 | 564 4648 16494 | 7320 3904 136 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 4405 | 564 4649 16666 | 5000 4405 136 | 0.000 % | c | 4505 | 564 4649 16666 | 5500 4505 136 | 0.000 % | c | 4656 | 564 4649 16666 | 6050 4656 136 | 0.000 % | c | 4881 | 564 4649 16666 | 6655 4881 136 | 0.000 % | c | 5218 | 564 4649 16666 | 7320 5218 135 | 0.000 % | c | 5724 | 564 4649 16666 | 8052 5724 135 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s c =============================================================================== c | 6344 | 564 4650 16838 | 5000 6344 135 | 0.000 % | c | 6444 | 564 4650 16838 | 5500 3272 132 | 0.000 % | c | 6594 | 564 4650 16838 | 6050 3422 132 | 0.000 % | c | 6819 | 564 4650 16838 | 6655 3647 132 | 0.000 % | c | 7157 | 564 4650 16838 | 7320 3985 132 | 0.000 % | c | 7665 | 564 4650 16838 | 8052 4493 132 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 8259 | 564 4651 17010 | 5000 5087 132 | 0.000 % | c | 8360 | 564 4651 17010 | 5500 2645 131 | 0.000 % | c | 8510 | 564 4651 17010 | 6050 2795 131 | 0.000 % | c | 8735 | 564 4651 17010 | 6655 3020 131 | 0.000 % | c | 9072 | 564 4651 17010 | 7320 3357 131 | 0.000 % | c | 9578 | 564 4651 17010 | 8052 3863 131 | 0.000 % | c | 10337 | 564 4651 17010 | 8857 4622 131 | 0.000 % | c | 11476 | 564 4651 17010 | 9743 5761 131 | 0.000 % | c | 13184 | 564 4651 17010 | 10717 7469 131 | 0.000 % | c | 15747 | 564 4651 17010 | 11789 10032 131 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 2.39563 s Remaining CPU time: 177.604 s c =============================================================================== c | 15790 | 564 4652 17182 | 5000 10075 131 | 0.000 % | c | 15890 | 564 4652 17182 | 5500 2619 130 | 0.000 % | c | 16040 | 564 4652 17182 | 6050 2769 130 | 0.000 % | c | 16265 | 564 4652 17182 | 6655 2994 130 | 0.000 % | c | 16602 | 564 4652 17182 | 7320 3331 130 | 0.000 % | c | 17108 | 564 4652 17182 | 8052 3837 130 | 0.000 % | c | 17868 | 564 4652 17182 | 8857 4597 130 | 0.000 % | c | 19008 | 564 4652 17182 | 9743 5737 130 | 0.000 % | c | 20716 | 564 4652 17182 | 10717 7445 130 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 3.2975 s Remaining CPU time: 176.703 s c =============================================================================== c | 21361 | 564 4653 17354 | 5000 8090 130 | 0.000 % | c | 21461 | 564 4653 17354 | 5500 4145 129 | 0.000 % | c | 21611 | 564 4653 17354 | 6050 4295 129 | 0.000 % | c | 21836 | 564 4653 17354 | 6655 4520 129 | 0.000 % | c | 22173 | 564 4653 17354 | 7320 4857 129 | 0.000 % | c | 22679 | 564 4653 17354 | 8052 5363 129 | 0.000 % | c | 23438 | 564 4653 17354 | 8857 6122 129 | 0.000 % | c | 24577 | 564 4653 17354 | 9743 7261 129 | 0.000 % | c | 26286 | 564 4653 17354 | 10717 8970 130 | 0.000 % | c | 28849 | 564 4653 17354 | 11789 6098 129 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 5.31019 s Remaining CPU time: 174.69 s c =============================================================================== c | 31717 | 564 4654 17526 | 5000 8966 129 | 0.000 % | c | 31818 | 564 4654 17526 | 5500 4584 129 | 0.000 % | c | 31968 | 564 4654 17526 | 6050 4734 129 | 0.000 % | c | 32194 | 564 4654 17526 | 6655 4960 128 | 0.000 % | c | 32532 | 564 4654 17526 | 7320 5298 128 | 0.000 % | c | 33038 | 564 4654 17526 | 8052 5804 128 | 0.000 % | c | 33797 | 564 4654 17526 | 8857 6563 128 | 0.000 % | c | 34937 | 564 4654 17526 | 9743 7703 128 | 0.000 % | c | 36645 | 564 4654 17526 | 10717 9411 128 | 0.000 % | c | 39208 | 564 4654 17526 | 11789 6513 127 | 0.000 % | c | 43052 | 564 4654 17526 | 12968 10357 128 | 0.000 % | c | 48818 | 564 4654 17526 | 14265 9543 128 | 0.000 % | c | 57467 | 564 4654 17526 | 15692 10978 128 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 12.6471 s Remaining CPU time: 167.353 s c =============================================================================== c | 62725 | 564 4655 17698 | 5000 8321 128 | 0.000 % | c | 62825 | 564 4655 17698 | 5500 4261 127 | 0.000 % | c | 62976 | 564 4655 17698 | 6050 4412 127 | 0.000 % | c | 63201 | 564 4655 17698 | 6655 4637 127 | 0.000 % | c | 63539 | 564 4655 17698 | 7320 4975 127 | 0.000 % | c | 64045 | 564 4655 17698 | 8052 5481 127 | 0.000 % | c | 64805 | 564 4655 17698 | 8857 6241 127 | 0.000 % | c | 65944 | 564 4655 17698 | 9743 7380 127 | 0.000 % | c | 67653 | 564 4655 17698 | 10717 9089 127 | 0.000 % | c | 70215 | 564 4655 17698 | 11789 6224 126 | 0.000 % | c | 74060 | 564 4655 17698 | 12968 10069 126 | 0.000 % | c | 79826 | 564 4655 17698 | 14265 9283 126 | 0.000 % | c | 88476 | 564 4655 17698 | 15692 10731 127 | 0.000 % | c | 101450 | 564 4655 17698 | 17261 15771 127 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 22.7685 s Remaining CPU time: 157.231 s c =============================================================================== c | 106179 | 564 4656 17870 | 5000 11803 127 | 0.000 % | c | 106280 | 564 4656 17870 | 5500 3052 125 | 0.000 % | c | 106430 | 564 4656 17870 | 6050 3202 125 | 0.000 % | c | 106655 | 564 4656 17870 | 6655 3427 125 | 0.000 % | c | 106993 | 564 4656 17870 | 7320 3765 125 | 0.000 % | c | 107499 | 564 4656 17870 | 8052 4271 125 | 0.000 % | c | 108258 | 564 4656 17870 | 8857 5030 126 | 0.000 % | c | 109397 | 564 4656 17870 | 9743 6169 126 | 0.000 % | c | 111107 | 564 4656 17870 | 10717 7879 126 | 0.000 % | c | 113670 | 564 4656 17870 | 11789 10442 126 | 0.000 % | c | 117514 | 564 4656 17870 | 12968 8309 125 | 0.000 % | c | 123281 | 564 4656 17870 | 14265 7503 125 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 28.1587 s Remaining CPU time: 151.841 s c =============================================================================== c | 129578 | 564 4657 18042 | 5000 13800 126 | 0.000 % | c | 129679 | 564 4657 18042 | 5500 3551 125 | 0.000 % | c | 129829 | 564 4657 18042 | 6050 3701 125 | 0.000 % | c | 130054 | 564 4657 18042 | 6655 3926 125 | 0.000 % | c | 130391 | 564 4657 18042 | 7320 4263 125 | 0.000 % | c | 130897 | 564 4657 18042 | 8052 4769 125 | 0.000 % | c | 131656 | 564 4657 18042 | 8857 5528 125 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 28.8526 s Remaining CPU time: 151.147 s c =============================================================================== c | 132101 | 564 4658 18214 | 5000 5973 125 | 0.000 % | c | 132201 | 564 4658 18214 | 5500 3087 123 | 0.000 % | c | 132351 | 564 4658 18214 | 6050 3237 123 | 0.000 % | c | 132576 | 564 4658 18214 | 6655 3462 123 | 0.000 % | c | 132913 | 564 4658 18214 | 7320 3799 123 | 0.000 % | c | 133420 | 564 4658 18214 | 8052 4306 123 | 0.000 % | c | 134179 | 564 4658 18214 | 8857 5065 123 | 0.000 % | c | 135318 | 564 4658 18214 | 9743 6204 123 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 29.6125 s Remaining CPU time: 150.388 s c =============================================================================== c | 136444 | 564 4659 18386 | 5000 7330 123 | 0.000 % | c | 136544 | 564 4659 18386 | 5500 3765 122 | 0.000 % | c | 136695 | 564 4659 18386 | 6050 3916 122 | 0.000 % | c | 136920 | 564 4659 18386 | 6655 4141 122 | 0.000 % | c | 137258 | 564 4659 18386 | 7320 4479 122 | 0.000 % | c | 137764 | 564 4659 18386 | 8052 4985 122 | 0.000 % | c | 138523 | 564 4659 18386 | 8857 5744 122 | 0.000 % | c | 139663 | 564 4659 18386 | 9743 6884 122 | 0.000 % | c | 141371 | 564 4659 18386 | 10717 8592 122 | 0.000 % | c | 143933 | 564 4659 18386 | 11789 5706 121 | 0.000 % | c | 147777 | 564 4659 18386 | 12968 9550 122 | 0.000 % | c | 153543 | 564 4659 18386 | 14265 8767 123 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 34.4518 s Remaining CPU time: 145.548 s c =============================================================================== c | 160253 | 564 4660 18558 | 5000 8276 122 | 0.000 % | c | 160353 | 564 4660 18558 | 5500 4238 121 | 0.000 % | c | 160504 | 564 4660 18558 | 6050 4389 121 | 0.000 % | c | 160729 | 564 4660 18558 | 6655 4614 121 | 0.000 % | c | 161066 | 564 4660 18558 | 7320 4951 121 | 0.000 % | c | 161572 | 564 4660 18558 | 8052 5457 121 | 0.000 % | c | 162331 | 564 4660 18558 | 8857 6216 121 | 0.000 % | c | 163470 | 564 4660 18558 | 9743 7355 121 | 0.000 % | c | 165179 | 564 4660 18558 | 10717 9064 121 | 0.000 % | c | 167742 | 564 4660 18558 | 11789 6201 121 | 0.000 % | c | 171587 | 564 4660 18558 | 12968 10046 121 | 0.000 % | c | 177353 | 564 4660 18558 | 14265 9251 121 | 0.000 % | c | 186002 | 564 4660 18558 | 15692 10698 121 | 0.000 % | c | 198976 | 564 4660 18558 | 17261 15764 122 | 0.000 % | c | 218437 | 564 4660 18558 | 18987 9138 122 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 49.4025 s Remaining CPU time: 130.598 s c =============================================================================== c | 220948 | 564 4661 18730 | 5000 11649 122 | 0.000 % | c | 221049 | 564 4661 18730 | 5500 3014 120 | 0.000 % | c | 221199 | 564 4661 18730 | 6050 3164 120 | 0.000 % | c | 221424 | 564 4661 18730 | 6655 3389 120 | 0.000 % | c | 221761 | 564 4661 18730 | 7320 3726 120 | 0.000 % | c | 222267 | 564 4661 18730 | 8052 4232 120 | 0.000 % | c | 223027 | 564 4661 18730 | 8857 4992 120 | 0.000 % | c | 224168 | 564 4661 18730 | 9743 6133 120 | 0.000 % | c | 225876 | 564 4661 18730 | 10717 7841 120 | 0.000 % | c | 228438 | 564 4661 18730 | 11789 10403 121 | 0.000 % | c | 232282 | 564 4661 18730 | 12968 8271 121 | 0.000 % | c | 238048 | 564 4661 18730 | 14265 7456 121 | 0.000 % | c | 246697 | 564 4661 18730 | 15692 8908 120 | 0.000 % | c | 259672 | 564 4661 18730 | 17261 13963 121 | 0.000 % | c | 279133 | 564 4661 18730 | 18987 15974 121 | 0.000 % | c | 308325 | 564 4661 18730 | 20886 16433 121 | 0.000 % | c | 352115 | 564 4661 18730 | 22974 18063 122 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 88.8755 s Remaining CPU time: 91.1245 s c =============================================================================== c | 361810 | 564 4662 18902 | 5000 15734 122 | 0.000 % | c | 361910 | 564 4662 18902 | 5500 4034 121 | 0.000 % | c | 362061 | 564 4662 18902 | 6050 4185 121 | 0.000 % | c | 362288 | 564 4662 18902 | 6655 4412 121 | 0.000 % | c | 362625 | 564 4662 18902 | 7320 4749 121 | 0.000 % | c | 363131 | 564 4662 18902 | 8052 5255 121 | 0.000 % | c | 363890 | 564 4662 18902 | 8857 6014 121 | 0.000 % | c | 365029 | 564 4662 18902 | 9743 7153 120 | 0.000 % | c | 366737 | 564 4662 18902 | 10717 8861 120 | 0.000 % | c | 369299 | 564 4662 18902 | 11789 5988 119 | 0.000 % | c | 373143 | 564 4662 18902 | 12968 9832 120 | 0.000 % | c | 378909 | 564 4662 18902 | 14265 9048 120 | 0.000 % | c | 387558 | 564 4662 18902 | 15692 10491 120 | 0.000 % | c | 400533 | 564 4662 18902 | 17261 15523 120 | 0.000 % | c | 419994 | 564 4662 18902 | 18987 8772 120 | 0.000 % | c | 449186 | 564 4662 18902 | 20886 18803 121 | 0.000 % | c | 492975 | 564 4662 18902 | 22974 20470 121 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 135.678 s Remaining CPU time: 44.3216 s c =============================================================================== c | 521825 | 564 4663 19074 | 5000 12095 120 | 0.000 % | c | 521925 | 564 4663 19074 | 5500 3124 119 | 0.000 % | c | 522075 | 564 4663 19074 | 6050 3274 119 | 0.000 % | c | 522300 | 564 4663 19074 | 6655 3499 119 | 0.000 % | c | 522638 | 564 4663 19074 | 7320 3837 119 | 0.000 % | c | 523144 | 564 4663 19074 | 8052 4343 119 | 0.000 % | c | 523903 | 564 4663 19074 | 8857 5102 119 | 0.000 % | c | 525042 | 564 4663 19074 | 9743 6241 119 | 0.000 % | c | 526751 | 564 4663 19074 | 10717 7950 119 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 137.17 s Remaining CPU time: 42.8299 s c =============================================================================== c | 528758 | 564 4664 19246 | 5000 9957 119 | 0.000 % | c | 528858 | 564 4664 19246 | 5500 5079 118 | 0.000 % | c | 529008 | 564 4664 19246 | 6050 5229 118 | 0.000 % | c | 529233 | 564 4664 19246 | 6655 5454 118 | 0.000 % | c | 529570 | 564 4664 19246 | 7320 5791 118 | 0.000 % | c | 530076 | 564 4664 19246 | 8052 6297 118 | 0.000 % | c | 530835 | 564 4664 19246 | 8857 7056 118 | 0.000 % | c | 531974 | 564 4664 19246 | 9743 8195 118 | 0.000 % | c | 533682 | 564 4664 19246 | 10717 4958 117 | 0.000 % | c | 536244 | 564 4664 19246 | 11789 7520 118 | 0.000 % | c | 540088 | 564 4664 19246 | 12968 11364 118 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 140.484 s Remaining CPU time: 39.5164 s c =============================================================================== c | 543036 | 564 4665 19418 | 5000 7761 118 | 0.000 % | c | 543137 | 564 4665 19418 | 5500 3982 118 | 0.000 % | c | 543289 | 564 4665 19418 | 6050 4134 118 | 0.000 % | c | 543514 | 564 4665 19418 | 6655 4359 118 | 0.000 % | c | 543852 | 564 4665 19418 | 7320 4697 118 | 0.000 % | c | 544358 | 564 4665 19418 | 8052 5203 118 | 0.000 % | c | 545117 | 564 4665 19418 | 8857 5962 118 | 0.000 % | c | 546257 | 564 4665 19418 | 9743 7102 118 | 0.000 % | c | 547965 | 564 4665 19418 | 10717 8810 118 | 0.000 % | c | 550528 | 564 4665 19418 | 11789 5919 116 | 0.000 % | c | 554372 | 564 4665 19418 | 12968 9763 117 | 0.000 % | c | 560138 | 564 4665 19418 | 14265 8934 117 | 0.000 % | c | 568788 | 564 4665 19418 | 15692 10378 117 | 0.000 % | c | 581762 | 564 4665 19418 | 17261 15430 117 | 0.000 % | c | 601223 | 564 4665 19418 | 18987 17436 118 | 0.000 % | c | 630415 | 564 4665 19418 | 20886 17922 117 | 0.000 % |