c wbo 1.4 beta - 20100610 c | Number of variables: 400 | c | Number of clauses: 4569 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 565 | c | Number Clauses: 4560 | 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 | 565 4560 9346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 565 4561 9520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 565 4562 9694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 565 4563 9868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 565 4564 10042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 565 4565 10216 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 565 4566 10390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 565 4567 10564 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 565 4568 10738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 565 4569 10912 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 565 4570 11086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 565 4571 11260 | 5000 1 165 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 2 | 565 4572 11434 | 5000 2 164 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 2 | 565 4573 11608 | 5000 2 164 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 3 | 565 4574 11782 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 3 | 565 4575 11956 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 3 | 565 4576 12130 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 3 | 565 4577 12304 | 5000 3 163 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 20 | 565 4578 12478 | 5000 20 159 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 32 | 565 4579 12652 | 5000 32 158 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 46 | 565 4580 12826 | 5000 46 157 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 66 | 565 4581 13000 | 5000 66 156 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 114 | 565 4582 13174 | 5000 114 156 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 147 | 565 4583 13348 | 5000 147 155 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 201 | 565 4584 13522 | 5000 201 154 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 246 | 565 4585 13696 | 5000 246 154 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 304 | 565 4586 13870 | 5000 304 153 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 343 | 565 4587 14044 | 5000 343 153 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 402 | 565 4588 14218 | 5000 402 152 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 458 | 565 4589 14392 | 5000 458 151 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 475 | 565 4590 14566 | 5000 475 151 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 532 | 565 4591 14740 | 5000 532 150 | 0.000 % | c | 633 | 565 4591 14740 | 5500 633 149 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 666 | 565 4592 14914 | 5000 666 149 | 0.000 % | c | 766 | 565 4592 14914 | 5500 766 149 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 881 | 565 4593 15088 | 5000 881 148 | 0.000 % | c | 981 | 565 4593 15088 | 5500 981 147 | 0.000 % | c | 1131 | 565 4593 15088 | 6050 1131 147 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 1164 | 565 4594 15262 | 5000 1164 147 | 0.000 % | c | 1264 | 565 4594 15262 | 5500 1264 146 | 0.000 % | c | 1414 | 565 4594 15262 | 6050 1414 146 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 1434 | 565 4595 15436 | 5000 1434 146 | 0.000 % | c | 1534 | 565 4595 15436 | 5500 1534 146 | 0.000 % | c | 1684 | 565 4595 15436 | 6050 1684 145 | 0.000 % | c | 1909 | 565 4595 15436 | 6655 1909 145 | 0.000 % | c | 2246 | 565 4595 15436 | 7320 2246 144 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 2660 | 565 4596 15610 | 5000 2660 144 | 0.000 % | c | 2760 | 565 4596 15610 | 5500 2760 144 | 0.000 % | c | 2910 | 565 4596 15610 | 6050 2910 143 | 0.000 % | c | 3136 | 565 4596 15610 | 6655 3136 143 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 3366 | 565 4597 15784 | 5000 3366 143 | 0.000 % | c | 3466 | 565 4597 15784 | 5500 3466 143 | 0.000 % | c | 3616 | 565 4597 15784 | 6050 3616 143 | 0.000 % | c | 3841 | 565 4597 15784 | 6655 3841 143 | 0.000 % | c | 4178 | 565 4597 15784 | 7320 4178 142 | 0.000 % | c | 4684 | 565 4597 15784 | 8052 4684 142 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 5210 | 565 4598 15958 | 5000 5210 142 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 5241 | 565 4599 16132 | 5000 2636 139 | 0.000 % | c | 5341 | 565 4599 16132 | 5500 2736 139 | 0.000 % | c | 5491 | 565 4599 16132 | 6050 2886 139 | 0.000 % | c | 5716 | 565 4599 16132 | 6655 3111 139 | 0.000 % | c | 6054 | 565 4599 16132 | 7320 3449 139 | 0.000 % | c | 6560 | 565 4599 16132 | 8052 3955 139 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s c =============================================================================== c | 6578 | 565 4600 16306 | 5000 3973 139 | 0.000 % | c | 6678 | 565 4600 16306 | 5500 4073 139 | 0.000 % | c | 6829 | 565 4600 16306 | 6050 4224 139 | 0.000 % | c | 7056 | 565 4600 16306 | 6655 4451 138 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s c =============================================================================== c | 7289 | 565 4601 16480 | 5000 4684 138 | 0.000 % | c | 7390 | 565 4601 16480 | 5500 4785 138 | 0.000 % | c | 7540 | 565 4601 16480 | 6050 4935 138 | 0.000 % | c | 7765 | 565 4601 16480 | 6655 5160 138 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 8083 | 565 4602 16654 | 5000 5478 138 | 0.000 % | c | 8184 | 565 4602 16654 | 5500 2840 136 | 0.000 % | c | 8334 | 565 4602 16654 | 6050 2990 136 | 0.000 % | c | 8560 | 565 4602 16654 | 6655 3216 136 | 0.000 % | c | 8897 | 565 4602 16654 | 7320 3553 136 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 9300 | 565 4603 16828 | 5000 3956 136 | 0.000 % | c | 9401 | 565 4603 16828 | 5500 4057 135 | 0.000 % | c | 9552 | 565 4603 16828 | 6050 4208 135 | 0.000 % | c | 9778 | 565 4603 16828 | 6655 4434 135 | 0.000 % | c | 10116 | 565 4603 16828 | 7320 4772 135 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.59376 s Remaining CPU time: 178.406 s c =============================================================================== c | 10489 | 565 4604 17002 | 5000 5145 135 | 0.000 % | c | 10589 | 565 4604 17002 | 5500 2673 133 | 0.000 % | c | 10739 | 565 4604 17002 | 6050 2823 133 | 0.000 % | c | 10964 | 565 4604 17002 | 6655 3048 133 | 0.000 % | c | 11302 | 565 4604 17002 | 7320 3386 133 | 0.000 % | c | 11808 | 565 4604 17002 | 8052 3892 133 | 0.000 % | c | 12568 | 565 4604 17002 | 8857 4652 133 | 0.000 % | c | 13707 | 565 4604 17002 | 9743 5791 133 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 2.10668 s Remaining CPU time: 177.893 s c =============================================================================== c | 14041 | 565 4605 17176 | 5000 6125 133 | 0.000 % | c | 14142 | 565 4605 17176 | 5500 3164 132 | 0.000 % | c | 14292 | 565 4605 17176 | 6050 3314 132 | 0.000 % | c | 14517 | 565 4605 17176 | 6655 3539 132 | 0.000 % | c | 14854 | 565 4605 17176 | 7320 3876 132 | 0.000 % | c | 15360 | 565 4605 17176 | 8052 4382 132 | 0.000 % | c | 16119 | 565 4605 17176 | 8857 5141 132 | 0.000 % | c | 17258 | 565 4605 17176 | 9743 6280 131 | 0.000 % | c | 18967 | 565 4605 17176 | 10717 7989 131 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 3.2795 s Remaining CPU time: 176.72 s c =============================================================================== c | 19799 | 565 4606 17350 | 5000 8821 131 | 0.000 % | c | 19900 | 565 4606 17350 | 5500 4512 131 | 0.000 % | c | 20050 | 565 4606 17350 | 6050 4662 131 | 0.000 % | c | 20275 | 565 4606 17350 | 6655 4887 131 | 0.000 % | c | 20612 | 565 4606 17350 | 7320 5224 131 | 0.000 % | c | 21118 | 565 4606 17350 | 8052 5730 131 | 0.000 % | c | 21878 | 565 4606 17350 | 8857 6490 131 | 0.000 % | c | 23017 | 565 4606 17350 | 9743 7629 131 | 0.000 % | c | 24725 | 565 4606 17350 | 10717 9337 131 | 0.000 % | c | 27287 | 565 4606 17350 | 11789 6475 130 | 0.000 % | c | 31131 | 565 4606 17350 | 12968 10319 131 | 0.000 % | c | 36897 | 565 4606 17350 | 14265 9506 131 | 0.000 % | c | 45546 | 565 4606 17350 | 15692 10927 130 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 9.31158 s Remaining CPU time: 170.688 s c =============================================================================== c | 47537 | 565 4607 17524 | 5000 12918 130 | 0.000 % | c | 47637 | 565 4607 17524 | 5500 3330 130 | 0.000 % | c | 47787 | 565 4607 17524 | 6050 3480 130 | 0.000 % | c | 48012 | 565 4607 17524 | 6655 3705 130 | 0.000 % | c | 48349 | 565 4607 17524 | 7320 4042 130 | 0.000 % | c | 48855 | 565 4607 17524 | 8052 4548 129 | 0.000 % | c | 49614 | 565 4607 17524 | 8857 5307 129 | 0.000 % | c | 50754 | 565 4607 17524 | 9743 6447 129 | 0.000 % | c | 52462 | 565 4607 17524 | 10717 8155 129 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 10.7994 s Remaining CPU time: 169.201 s c =============================================================================== c | 54015 | 565 4608 17698 | 5000 9708 129 | 0.000 % | c | 54115 | 565 4608 17698 | 5500 4954 129 | 0.000 % | c | 54265 | 565 4608 17698 | 6050 5104 129 | 0.000 % | c | 54490 | 565 4608 17698 | 6655 5329 129 | 0.000 % | c | 54827 | 565 4608 17698 | 7320 5666 129 | 0.000 % | c | 55334 | 565 4608 17698 | 8052 6173 129 | 0.000 % | c | 56093 | 565 4608 17698 | 8857 6932 129 | 0.000 % | c | 57232 | 565 4608 17698 | 9743 8071 129 | 0.000 % | c | 58940 | 565 4608 17698 | 10717 9779 129 | 0.000 % | c | 61502 | 565 4608 17698 | 11789 6899 128 | 0.000 % | c | 65346 | 565 4608 17698 | 12968 10743 129 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 14.1758 s Remaining CPU time: 165.824 s c =============================================================================== c | 68981 | 565 4609 17872 | 5000 7812 129 | 0.000 % | c | 69082 | 565 4609 17872 | 5500 4007 128 | 0.000 % | c | 69233 | 565 4609 17872 | 6050 4158 128 | 0.000 % | c | 69458 | 565 4609 17872 | 6655 4383 128 | 0.000 % | c | 69796 | 565 4609 17872 | 7320 4721 128 | 0.000 % | c | 70303 | 565 4609 17872 | 8052 5228 128 | 0.000 % | c | 71062 | 565 4609 17872 | 8857 5987 128 | 0.000 % | c | 72201 | 565 4609 17872 | 9743 7126 128 | 0.000 % | c | 73909 | 565 4609 17872 | 10717 8834 128 | 0.000 % | c | 76471 | 565 4609 17872 | 11789 5931 127 | 0.000 % | c | 80316 | 565 4609 17872 | 12968 9776 127 | 0.000 % | c | 86082 | 565 4609 17872 | 14265 8959 128 | 0.000 % | c | 94732 | 565 4609 17872 | 15692 10371 128 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 21.9847 s Remaining CPU time: 158.015 s c =============================================================================== c | 103463 | 565 4610 18046 | 5000 11173 128 | 0.000 % | c | 103563 | 565 4610 18046 | 5500 2894 127 | 0.000 % | c | 103713 | 565 4610 18046 | 6050 3044 127 | 0.000 % | c | 103938 | 565 4610 18046 | 6655 3269 127 | 0.000 % | c | 104278 | 565 4610 18046 | 7320 3609 127 | 0.000 % | c | 104784 | 565 4610 18046 | 8052 4115 127 | 0.000 % | c | 105543 | 565 4610 18046 | 8857 4874 127 | 0.000 % | c | 106683 | 565 4610 18046 | 9743 6014 127 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 22.8905 s Remaining CPU time: 157.109 s c =============================================================================== c | 108068 | 565 4611 18220 | 5000 7399 127 | 0.000 % | c | 108168 | 565 4611 18220 | 5500 3800 125 | 0.000 % | c | 108318 | 565 4611 18220 | 6050 3950 125 | 0.000 % | c | 108543 | 565 4611 18220 | 6655 4175 125 | 0.000 % | c | 108881 | 565 4611 18220 | 7320 4513 125 | 0.000 % | c | 109387 | 565 4611 18220 | 8052 5019 125 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 23.1705 s Remaining CPU time: 156.83 s c =============================================================================== c | 109415 | 565 4612 18394 | 5000 5047 125 | 0.000 % | c | 109515 | 565 4612 18394 | 5500 2624 124 | 0.000 % | c | 109665 | 565 4612 18394 | 6050 2774 124 | 0.000 % | c | 109890 | 565 4612 18394 | 6655 2999 124 | 0.000 % | c | 110228 | 565 4612 18394 | 7320 3337 124 | 0.000 % | c | 110734 | 565 4612 18394 | 8052 3843 124 | 0.000 % | c | 111494 | 565 4612 18394 | 8857 4603 124 | 0.000 % | c | 112633 | 565 4612 18394 | 9743 5742 124 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 23.9524 s Remaining CPU time: 156.048 s c =============================================================================== c | 114332 | 565 4613 18568 | 5000 7441 124 | 0.000 % | c | 114432 | 565 4613 18568 | 5500 3821 123 | 0.000 % | c | 114582 | 565 4613 18568 | 6050 3971 123 | 0.000 % | c | 114807 | 565 4613 18568 | 6655 4196 123 | 0.000 % | c | 115144 | 565 4613 18568 | 7320 4533 123 | 0.000 % | c | 115650 | 565 4613 18568 | 8052 5039 123 | 0.000 % | c | 116410 | 565 4613 18568 | 8857 5799 123 | 0.000 % | c | 117550 | 565 4613 18568 | 9743 6939 123 | 0.000 % | c | 119260 | 565 4613 18568 | 10717 8649 123 | 0.000 % | c | 121822 | 565 4613 18568 | 11789 5788 123 | 0.000 % | c | 125667 | 565 4613 18568 | 12968 9633 123 | 0.000 % | c | 131434 | 565 4613 18568 | 14265 8842 123 | 0.000 % | c | 140083 | 565 4613 18568 | 15692 10244 123 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 31.0573 s Remaining CPU time: 148.943 s c =============================================================================== c | 149586 | 565 4614 18742 | 5000 11824 123 | 0.000 % | c | 149686 | 565 4614 18742 | 5500 3056 123 | 0.000 % | c | 149836 | 565 4614 18742 | 6050 3206 123 | 0.000 % | c | 150061 | 565 4614 18742 | 6655 3431 122 | 0.000 % | c | 150398 | 565 4614 18742 | 7320 3768 122 | 0.000 % | c | 150906 | 565 4614 18742 | 8052 4276 122 | 0.000 % | c | 151665 | 565 4614 18742 | 8857 5035 122 | 0.000 % | c | 152804 | 565 4614 18742 | 9743 6174 123 | 0.000 % | c | 154513 | 565 4614 18742 | 10717 7883 122 | 0.000 % | c | 157075 | 565 4614 18742 | 11789 10445 123 | 0.000 % | c | 160919 | 565 4614 18742 | 12968 8321 122 | 0.000 % | c | 166685 | 565 4614 18742 | 14265 7537 123 | 0.000 % | c | 175335 | 565 4614 18742 | 15692 8958 123 | 0.000 % | c | 188309 | 565 4614 18742 | 17261 14001 122 | 0.000 % | c | 207770 | 565 4614 18742 | 18987 16022 123 | 0.000 % | c | 236964 | 565 4614 18742 | 20886 16515 123 | 0.000 % | c | 280753 | 565 4614 18742 | 22974 18238 123 | 0.000 % | c | 346437 | 565 4614 18742 | 25272 22189 123 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 90.0283 s Remaining CPU time: 89.9717 s c =============================================================================== c | 350947 | 565 4615 18916 | 5000 12119 122 | 0.000 % | c | 351047 | 565 4615 18916 | 5500 3130 120 | 0.000 % | c | 351198 | 565 4615 18916 | 6050 3281 120 | 0.000 % | c | 351423 | 565 4615 18916 | 6655 3506 120 | 0.000 % | c | 351760 | 565 4615 18916 | 7320 3843 120 | 0.000 % | c | 352266 | 565 4615 18916 | 8052 4349 120 | 0.000 % | c | 353025 | 565 4615 18916 | 8857 5108 121 | 0.000 % | c | 354164 | 565 4615 18916 | 9743 6247 121 | 0.000 % | c | 355872 | 565 4615 18916 | 10717 7955 121 | 0.000 % | c | 358434 | 565 4615 18916 | 11789 10517 121 | 0.000 % | c | 362279 | 565 4615 18916 | 12968 8377 121 | 0.000 % | c | 368045 | 565 4615 18916 | 14265 7594 121 | 0.000 % | c | 376695 | 565 4615 18916 | 15692 9046 121 | 0.000 % | c | 389669 | 565 4615 18916 | 17261 14093 121 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 100.325 s Remaining CPU time: 79.6753 s c =============================================================================== c | 395250 | 565 4616 19090 | 5000 10981 121 | 0.000 % | c | 395350 | 565 4616 19090 | 5500 2846 119 | 0.000 % | c | 395501 | 565 4616 19090 | 6050 2997 119 | 0.000 % | c | 395727 | 565 4616 19090 | 6655 3223 120 | 0.000 % | c | 396064 | 565 4616 19090 | 7320 3560 120 | 0.000 % | c | 396571 | 565 4616 19090 | 8052 4067 120 | 0.000 % | c | 397330 | 565 4616 19090 | 8857 4826 120 | 0.000 % | c | 398469 | 565 4616 19090 | 9743 5965 120 | 0.000 % | c | 400178 | 565 4616 19090 | 10717 7674 120 | 0.000 % | c | 402740 | 565 4616 19090 | 11789 10236 120 | 0.000 % | c | 406584 | 565 4616 19090 | 12968 8095 120 | 0.000 % | c | 412350 | 565 4616 19090 | 14265 7305 120 | 0.000 % | c | 420999 | 565 4616 19090 | 15692 8759 120 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 107.573 s Remaining CPU time: 72.4274 s c =============================================================================== c | 426053 | 565 4617 19264 | 5000 13813 120 | 0.000 % | c | 426153 | 565 4617 19264 | 5500 3554 119 | 0.000 % | c | 426304 | 565 4617 19264 | 6050 3705 119 | 0.000 % | c | 426529 | 565 4617 19264 | 6655 3930 119 | 0.000 % | c | 426867 | 565 4617 19264 | 7320 4268 119 | 0.000 % | c | 427373 | 565 4617 19264 | 8052 4774 119 | 0.000 % | c | 428132 | 565 4617 19264 | 8857 5533 119 | 0.000 % | c | 429271 | 565 4617 19264 | 9743 6672 119 | 0.000 % | c | 430980 | 565 4617 19264 | 10717 8381 119 | 0.000 % | c | 433542 | 565 4617 19264 | 11789 5503 118 | 0.000 % | c | 437386 | 565 4617 19264 | 12968 9347 119 | 0.000 % | c | 443152 | 565 4617 19264 | 14265 8546 119 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 113.42 s Remaining CPU time: 66.5802 s c =============================================================================== c | 451495 | 565 4618 19438 | 5000 9693 120 | 0.000 % | c | 451595 | 565 4618 19438 | 5500 4947 119 | 0.000 % | c | 451746 | 565 4618 19438 | 6050 5098 119 | 0.000 % | c | 451972 | 565 4618 19438 | 6655 5324 119 | 0.000 % | c | 452309 | 565 4618 19438 | 7320 5661 119 | 0.000 % | c | 452815 | 565 4618 19438 | 8052 6167 119 | 0.000 % | c | 453574 | 565 4618 19438 | 8857 6926 119 | 0.000 % | c | 454713 | 565 4618 19438 | 9743 8065 119 | 0.000 % | c | 456423 | 565 4618 19438 | 10717 9775 118 | 0.000 % | c | 458985 | 565 4618 19438 | 11789 6913 117 | 0.000 % | c | 462830 | 565 4618 19438 | 12968 10758 118 | 0.000 % | c | 468596 | 565 4618 19438 | 14265 9977 118 | 0.000 % | c | 477245 | 565 4618 19438 | 15692 11415 118 | 0.000 % | c | 490219 | 565 4618 19438 | 17261 8546 118 | 0.000 % | c | 509680 | 565 4618 19438 | 18987 10541 119 | 0.000 % | c | 538872 | 565 4618 19438 | 20886 11025 119 | 0.000 % | c | 582661 | 565 4618 19438 | 22974 12679 120 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 161.923 s Remaining CPU time: 18.0766 s c =============================================================================== c | 638372 | 565 4619 19612 | 5000 18687 119 | 0.000 % | c | 638472 | 565 4619 19612 | 5500 4772 117 | 0.000 % | c | 638622 | 565 4619 19612 | 6050 4922 117 | 0.000 % | c | 638847 | 565 4619 19612 | 6655 5147 117 | 0.000 % | c | 639184 | 565 4619 19612 | 7320 5484 117 | 0.000 % | c | 639690 | 565 4619 19612 | 8052 5990 117 | 0.000 % | c | 640449 | 565 4619 19612 | 8857 6749 117 | 0.000 % | c | 641588 | 565 4619 19612 | 9743 7888 117 | 0.000 % | c | 643296 | 565 4619 19612 | 10717 9596 117 | 0.000 % | c | 645859 | 565 4619 19612 | 11789 6713 116 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 164.704 s Remaining CPU time: 15.296 s c =============================================================================== c | 649476 | 565 4620 19786 | 5000 10330 117 | 0.000 % | c | 649576 | 565 4620 19786 | 5500 2683 116 | 0.000 % | c | 649726 | 565 4620 19786 | 6050 2833 116 | 0.000 % | c | 649951 | 565 4620 19786 | 6655 3058 116 | 0.000 % | c | 650288 | 565 4620 19786 | 7320 3395 116 | 0.000 % | c | 650794 | 565 4620 19786 | 8052 3901 116 | 0.000 % | c | 651553 | 565 4620 19786 | 8857 4660 116 | 0.000 % | c | 652692 | 565 4620 19786 | 9743 5799 116 | 0.000 % | c | 654400 | 565 4620 19786 | 10717 7507 116 | 0.000 % | c | 656962 | 565 4620 19786 | 11789 10069 117 | 0.000 % | c | 660806 | 565 4620 19786 | 12968 7943 117 | 0.000 % |