c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4000 | c | Number Clauses: 4000 | 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 | 3985 4007 11839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 3985 4008 15689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 3985 4009 19539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 3985 4010 23389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 3985 4011 27239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 3985 4012 31089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 3985 4013 34939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 3985 4014 38789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 3985 4015 42639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 3985 4016 46489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 3985 4017 50339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 3985 4018 54189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 3985 4019 58039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 3985 4020 61889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 3985 4021 65739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 3985 4022 69589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 3985 4023 73439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 3985 4024 77289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 0 | 3985 4025 81139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 3985 4026 84989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 0 | 3985 4027 88839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 3985 4028 92689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 3985 4029 96539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 3985 4030 100389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 3985 4031 104239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 0 | 3985 4032 108089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 0 | 3985 4033 111939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 3985 4034 115789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 0 | 3985 4035 119639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 0 | 3985 4036 123489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 0 | 3985 4037 127339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 0 | 3985 4038 131189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 0 | 3985 4039 135039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 0 | 3985 4040 138889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 3985 4041 142739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 3985 4042 146589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s c =============================================================================== c | 0 | 3985 4043 150439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 0 | 3985 4044 154289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s c =============================================================================== c | 0 | 3985 4045 158139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 0 | 3985 4046 161989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 0 | 3985 4047 165839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 0 | 3985 4048 169689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 0 | 3985 4049 173539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s c =============================================================================== c | 0 | 3985 4050 177389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 0 | 3985 4051 181239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 0 | 3985 4052 185089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 0 | 3985 4053 188939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 1.3288 s Remaining CPU time: 178.671 s c =============================================================================== c | 0 | 3985 4054 192789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 0 | 3985 4055 196639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 0 | 3985 4056 200489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 1.52977 s Remaining CPU time: 178.47 s c =============================================================================== c | 0 | 3985 4057 204339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 1.60076 s Remaining CPU time: 178.399 s c =============================================================================== c | 0 | 3985 4058 208189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 1.67274 s Remaining CPU time: 178.327 s c =============================================================================== c | 0 | 3985 4059 212039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 0 | 3985 4060 215889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 1.81772 s Remaining CPU time: 178.182 s c =============================================================================== c | 0 | 3985 4061 219739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 1.89471 s Remaining CPU time: 178.105 s c =============================================================================== c | 0 | 3985 4062 223589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 1.9737 s Remaining CPU time: 178.026 s c =============================================================================== c | 0 | 3985 4063 227439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 2.05169 s Remaining CPU time: 177.948 s c =============================================================================== c | 0 | 3985 4064 231289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 2.13368 s Remaining CPU time: 177.866 s c =============================================================================== c | 0 | 3985 4065 235139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 2.21566 s Remaining CPU time: 177.784 s c =============================================================================== c | 0 | 3985 4066 238989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 2.30065 s Remaining CPU time: 177.699 s c =============================================================================== c | 0 | 3985 4067 242839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 2.38864 s Remaining CPU time: 177.611 s c =============================================================================== c | 0 | 3985 4068 246689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 2.47462 s Remaining CPU time: 177.525 s c =============================================================================== c | 0 | 3985 4069 250539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 2.56761 s Remaining CPU time: 177.432 s c =============================================================================== c | 0 | 3985 4070 254389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 2.65959 s Remaining CPU time: 177.34 s c =============================================================================== c | 0 | 3985 4071 258239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 2.75258 s Remaining CPU time: 177.247 s c =============================================================================== c | 0 | 3985 4072 262089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 2.84657 s Remaining CPU time: 177.153 s c =============================================================================== c | 0 | 3985 4073 265939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 2.94255 s Remaining CPU time: 177.057 s c =============================================================================== c | 0 | 3985 4074 269789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 3.04054 s Remaining CPU time: 176.959 s c =============================================================================== c | 0 | 3985 4075 273639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 3.14152 s Remaining CPU time: 176.858 s c =============================================================================== c | 0 | 3985 4076 277489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 3.24551 s Remaining CPU time: 176.754 s c =============================================================================== c | 0 | 3985 4077 281339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 3.34849 s Remaining CPU time: 176.652 s c =============================================================================== c | 0 | 3985 4078 285189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 3.45447 s Remaining CPU time: 176.546 s c =============================================================================== c | 0 | 3985 4079 289039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 3.56246 s Remaining CPU time: 176.438 s c =============================================================================== c | 0 | 3985 4080 292889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 3.67144 s Remaining CPU time: 176.329 s c =============================================================================== c | 0 | 3985 4081 296739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 3.78542 s Remaining CPU time: 176.215 s c =============================================================================== c | 0 | 3985 4082 300589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 3.90641 s Remaining CPU time: 176.094 s c =============================================================================== c | 0 | 3985 4083 304439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 4.03039 s Remaining CPU time: 175.97 s c =============================================================================== c | 0 | 3985 4084 308289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 4.15837 s Remaining CPU time: 175.842 s c =============================================================================== c | 0 | 3985 4085 312139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 0 | 3985 4086 315989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 4.41833 s Remaining CPU time: 175.582 s c =============================================================================== c | 0 | 3985 4087 319839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 4.55231 s Remaining CPU time: 175.448 s c =============================================================================== c | 0 | 3985 4088 323689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 4.68929 s Remaining CPU time: 175.311 s c =============================================================================== c | 0 | 3985 4089 327539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 4.82827 s Remaining CPU time: 175.172 s c =============================================================================== c | 0 | 3985 4090 331389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 4.97124 s Remaining CPU time: 175.029 s c =============================================================================== c | 0 | 3985 4091 335239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 5.11322 s Remaining CPU time: 174.887 s c =============================================================================== c | 0 | 3985 4092 339089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 5.2582 s Remaining CPU time: 174.742 s c =============================================================================== c | 0 | 3985 4093 342939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 5.40718 s Remaining CPU time: 174.593 s c =============================================================================== c | 0 | 3985 4094 346789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 5.55616 s Remaining CPU time: 174.444 s c =============================================================================== c | 0 | 3985 4095 350639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 5.70713 s Remaining CPU time: 174.293 s c =============================================================================== c | 0 | 3985 4096 354489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 5.86111 s Remaining CPU time: 174.139 s c =============================================================================== c | 0 | 3985 4097 358339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 6.01809 s Remaining CPU time: 173.982 s c =============================================================================== c | 0 | 3985 4098 362189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 6.17506 s Remaining CPU time: 173.825 s c =============================================================================== c | 0 | 3985 4099 366039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 6.33204 s Remaining CPU time: 173.668 s c =============================================================================== c | 0 | 3985 4100 369889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 6.49401 s Remaining CPU time: 173.506 s c =============================================================================== c | 0 | 3985 4101 373739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 6.65199 s Remaining CPU time: 173.348 s c =============================================================================== c | 0 | 3985 4102 377589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 6.81396 s Remaining CPU time: 173.186 s c =============================================================================== c | 0 | 3985 4103 381439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 6.98094 s Remaining CPU time: 173.019 s c =============================================================================== c | 0 | 3985 4104 385289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 7.14691 s Remaining CPU time: 172.853 s c =============================================================================== c | 0 | 3985 4105 389139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 7.31689 s Remaining CPU time: 172.683 s c =============================================================================== c | 0 | 3985 4106 392989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 7.48886 s Remaining CPU time: 172.511 s c =============================================================================== c | 0 | 3985 4107 396839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 7.66183 s Remaining CPU time: 172.338 s c =============================================================================== c | 0 | 3985 4108 400689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 7.83381 s Remaining CPU time: 172.166 s c =============================================================================== c | 0 | 3985 4109 404539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 8.00678 s Remaining CPU time: 171.993 s c =============================================================================== c | 0 | 3985 4110 408389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 8.18375 s Remaining CPU time: 171.816 s c =============================================================================== c | 0 | 3985 4111 412239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 8.36173 s Remaining CPU time: 171.638 s c =============================================================================== c | 0 | 3985 4112 416089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 8.5467 s Remaining CPU time: 171.453 s c =============================================================================== c | 0 | 3985 4113 419939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 8.73167 s Remaining CPU time: 171.268 s c =============================================================================== c | 0 | 3985 4114 423789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 8.91864 s Remaining CPU time: 171.081 s c =============================================================================== c | 0 | 3985 4115 427639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 9.10661 s Remaining CPU time: 170.893 s c =============================================================================== c | 0 | 3985 4116 431489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 9.29659 s Remaining CPU time: 170.703 s c =============================================================================== c | 0 | 3985 4117 435339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 9.48556 s Remaining CPU time: 170.514 s c =============================================================================== c | 0 | 3985 4118 439189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 9.67653 s Remaining CPU time: 170.323 s c =============================================================================== c | 0 | 3985 4119 443039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 9.8685 s Remaining CPU time: 170.132 s c =============================================================================== c | 0 | 3985 4120 446889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 10.0605 s Remaining CPU time: 169.94 s c =============================================================================== c | 0 | 3985 4121 450739 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 10.2574 s Remaining CPU time: 169.743 s c =============================================================================== c | 0 | 3985 4122 454589 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 10.4574 s Remaining CPU time: 169.543 s c =============================================================================== c | 0 | 3985 4123 458439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 10.6604 s Remaining CPU time: 169.34 s c =============================================================================== c | 0 | 3985 4124 462289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 10.8613 s Remaining CPU time: 169.139 s c =============================================================================== c | 0 | 3985 4125 466139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 11.0653 s Remaining CPU time: 168.935 s c =============================================================================== c | 0 | 3985 4126 469989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 11.2683 s Remaining CPU time: 168.732 s c =============================================================================== c | 0 | 3985 4127 473839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 11.4743 s Remaining CPU time: 168.526 s c =============================================================================== c | 0 | 3985 4128 477689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 11.6792 s Remaining CPU time: 168.321 s c =============================================================================== c | 0 | 3985 4129 481539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 11.8892 s Remaining CPU time: 168.111 s c =============================================================================== c | 0 | 3985 4130 485389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 12.1032 s Remaining CPU time: 167.897 s c =============================================================================== c | 0 | 3985 4131 489239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 12.3191 s Remaining CPU time: 167.681 s c =============================================================================== c | 0 | 3985 4132 493089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 12.5341 s Remaining CPU time: 167.466 s c =============================================================================== c | 0 | 3985 4133 496939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 12.7551 s Remaining CPU time: 167.245 s c =============================================================================== c | 0 | 3985 4134 500789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 12.977 s Remaining CPU time: 167.023 s c =============================================================================== c | 0 | 3985 4135 504639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 13.2 s Remaining CPU time: 166.8 s c =============================================================================== c | 0 | 3985 4136 508489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 13.423 s Remaining CPU time: 166.577 s c =============================================================================== c | 0 | 3985 4137 512339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 13.6439 s Remaining CPU time: 166.356 s c =============================================================================== c | 0 | 3985 4138 516189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 13.8729 s Remaining CPU time: 166.127 s c =============================================================================== c | 1 | 3985 4139 520039 | 5000 1 3721 | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 14.0989 s Remaining CPU time: 165.901 s c =============================================================================== c | 1 | 3985 4140 523889 | 5000 1 3721 | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 14.3428 s Remaining CPU time: 165.657 s c =============================================================================== c | 2 | 3985 4141 527739 | 5000 2 3720 | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 14.6108 s Remaining CPU time: 165.389 s c =============================================================================== c | 14 | 3985 4142 531589 | 5000 14 3719 | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 14.8537 s Remaining CPU time: 165.146 s c =============================================================================== c | 14 | 3985 4143 535439 | 5000 14 3719 | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 15.1047 s Remaining CPU time: 164.895 s c =============================================================================== c | 17 | 3985 4144 539289 | 5000 17 3718 | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 15.3537 s Remaining CPU time: 164.646 s c =============================================================================== c | 17 | 3985 4145 543139 | 5000 17 3718 | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 15.6056 s Remaining CPU time: 164.394 s c =============================================================================== c | 18 | 3985 4146 546989 | 5000 18 3718 | 0.000 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 15.8666 s Remaining CPU time: 164.133 s c =============================================================================== c | 24 | 3985 4147 550839 | 5000 24 3717 | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 16.1395 s Remaining CPU time: 163.86 s c =============================================================================== c | 31 | 3985 4148 554689 | 5000 31 3716 | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 16.4115 s Remaining CPU time: 163.588 s c =============================================================================== c | 31 | 3985 4149 558539 | 5000 31 3716 | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 16.6705 s Remaining CPU time: 163.33 s c =============================================================================== c | 31 | 3985 4150 562389 | 5000 31 3716 | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 16.9304 s Remaining CPU time: 163.07 s c =============================================================================== c | 35 | 3985 4151 566239 | 5000 35 3715 | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 17.2294 s Remaining CPU time: 162.771 s c =============================================================================== c | 35 | 3985 4152 570089 | 5000 35 3715 | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 17.5593 s Remaining CPU time: 162.441 s c =============================================================================== c | 36 | 3985 4153 573939 | 5000 36 3612 | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 17.9083 s Remaining CPU time: 162.092 s c =============================================================================== c | 36 | 3985 4154 577789 | 5000 36 3612 | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 18.3422 s Remaining CPU time: 161.658 s c =============================================================================== c | 81 | 3985 4155 581639 | 5000 81 3664 | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 18.7172 s Remaining CPU time: 161.283 s c =============================================================================== c | 86 | 3985 4156 585489 | 5000 86 3666 | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 19.0751 s Remaining CPU time: 160.925 s c =============================================================================== c | 86 | 3985 4157 589339 | 5000 86 3666 | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 19.502 s Remaining CPU time: 160.498 s c =============================================================================== c | 116 | 3985 4158 593189 | 5000 116 3675 | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 19.926 s Remaining CPU time: 160.074 s c =============================================================================== c | 153 | 3985 4159 597039 | 5000 153 3682 | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 20.2999 s Remaining CPU time: 159.7 s c =============================================================================== c | 154 | 3985 4160 600889 | 5000 154 3682 | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 20.6839 s Remaining CPU time: 159.316 s c =============================================================================== c | 159 | 3985 4161 604739 | 5000 159 3682 | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 21.0688 s Remaining CPU time: 158.931 s c =============================================================================== c | 161 | 3985 4162 608589 | 5000 161 3683 | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 21.4527 s Remaining CPU time: 158.547 s c =============================================================================== c | 172 | 3985 4163 612439 | 5000 172 3684 | 0.000 % | c | 272 | 3985 4163 612439 | 5500 272 3688 | 0.375 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 22.3266 s Remaining CPU time: 157.673 s c =============================================================================== c | 291 | 3985 4164 616289 | 5000 291 3689 | 0.375 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 22.7145 s Remaining CPU time: 157.285 s c =============================================================================== c | 296 | 3985 4165 620139 | 5000 296 3689 | 0.375 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 23.1305 s Remaining CPU time: 156.87 s c =============================================================================== c | 325 | 3985 4166 623989 | 5000 325 3689 | 0.375 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 23.5414 s Remaining CPU time: 156.459 s c =============================================================================== c | 338 | 3985 4167 627839 | 5000 338 3690 | 0.375 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 23.9974 s Remaining CPU time: 156.003 s c =============================================================================== c | 379 | 3985 4168 631689 | 5000 379 3690 | 0.375 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 24.3993 s Remaining CPU time: 155.601 s c =============================================================================== c | 393 | 3985 4169 635539 | 5000 393 3690 | 0.375 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 24.7932 s Remaining CPU time: 155.207 s c =============================================================================== c | 400 | 3985 4170 639389 | 5000 400 3690 | 0.375 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 25.1882 s Remaining CPU time: 154.812 s c =============================================================================== c | 409 | 3985 4171 643239 | 5000 409 3690 | 0.375 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 25.5851 s Remaining CPU time: 154.415 s c =============================================================================== c | 409 | 3985 4172 647089 | 5000 409 3690 | 0.375 % | c | 509 | 3985 4172 647089 | 5500 509 3690 | 0.375 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 26.506 s Remaining CPU time: 153.494 s c =============================================================================== c | 514 | 3985 4173 650939 | 5000 514 3690 | 0.375 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 26.8919 s Remaining CPU time: 153.108 s c =============================================================================== c | 521 | 3985 4174 654789 | 5000 521 3689 | 0.375 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 27.3058 s Remaining CPU time: 152.694 s c =============================================================================== c | 549 | 3985 4175 658639 | 5000 549 3689 | 0.375 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 27.8068 s Remaining CPU time: 152.193 s c =============================================================================== c | 629 | 3985 4176 662489 | 5000 629 3689 | 0.375 % | c | 729 | 3985 4176 662489 | 5500 729 3688 | 0.375 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 28.7216 s Remaining CPU time: 151.278 s c =============================================================================== c | 731 | 3985 4177 666339 | 5000 731 3688 | 0.375 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 29.1216 s Remaining CPU time: 150.878 s c =============================================================================== c | 740 | 3985 4178 670189 | 5000 740 3688 | 0.375 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 29.5055 s Remaining CPU time: 150.494 s c =============================================================================== c | 756 | 3985 4179 674039 | 5000 756 3688 | 0.375 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 29.8585 s Remaining CPU time: 150.142 s c =============================================================================== c | 760 | 3985 4180 677889 | 5000 760 3688 | 0.375 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 30.2114 s Remaining CPU time: 149.789 s c =============================================================================== c | 772 | 3985 4181 681739 | 5000 772 3688 | 0.375 % | c | 873 | 3985 4181 681739 | 5500 873 3687 | 0.375 % | c | 1023 | 3985 4181 681739 | 6050 1023 3682 | 0.375 % | c | 1248 | 3985 4181 681739 | 6655 1248 3681 | 0.375 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 32.4261 s Remaining CPU time: 147.574 s c =============================================================================== c | 1311 | 3985 4182 685589 | 5000 1311 3681 | 0.375 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 32.784 s Remaining CPU time: 147.216 s c =============================================================================== c | 1318 | 3985 4183 689439 | 5000 1318 3681 | 0.375 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 33.2249 s Remaining CPU time: 146.775 s c =============================================================================== c | 1359 | 3985 4184 693289 | 5000 1359 3681 | 0.375 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 33.7659 s Remaining CPU time: 146.234 s c =============================================================================== c | 1440 | 3985 4185 697139 | 5000 1440 3681 | 0.375 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 34.1848 s Remaining CPU time: 145.815 s c =============================================================================== c | 1479 | 3985 4186 700989 | 5000 1479 3680 | 0.375 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 34.5867 s Remaining CPU time: 145.413 s c =============================================================================== c | 1503 | 3985 4187 704839 | 5000 1503 3680 | 0.375 % | c | 1604 | 3985 4187 704839 | 5500 1604 3680 | 0.375 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 35.5006 s Remaining CPU time: 144.499 s c =============================================================================== c | 1612 | 3985 4188 708689 | 5000 1612 3680 | 0.375 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 35.9125 s Remaining CPU time: 144.087 s c =============================================================================== c | 1635 | 3985 4189 712539 | 5000 1635 3680 | 0.375 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 36.3055 s Remaining CPU time: 143.695 s c =============================================================================== c | 1647 | 3985 4190 716389 | 5000 1647 3680 | 0.375 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 36.6684 s Remaining CPU time: 143.332 s c =============================================================================== c | 1654 | 3985 4191 720239 | 5000 1654 3680 | 0.375 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 37.1384 s Remaining CPU time: 142.862 s c =============================================================================== c | 1687 | 3985 4192 724089 | 5000 1687 3679 | 0.375 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 37.5343 s Remaining CPU time: 142.466 s c =============================================================================== c | 1717 | 3985 4193 727939 | 5000 1717 3679 | 0.375 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 37.9132 s Remaining CPU time: 142.087 s c =============================================================================== c | 1743 | 3985 4194 731789 | 5000 1743 3679 | 0.375 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 38.2672 s Remaining CPU time: 141.733 s c =============================================================================== c | 1747 | 3985 4195 735639 | 5000 1747 3679 | 0.375 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 38.7321 s Remaining CPU time: 141.268 s c =============================================================================== c | 1820 | 3985 4196 739489 | 5000 1820 3678 | 0.375 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 39.0901 s Remaining CPU time: 140.91 s c =============================================================================== c | 1831 | 3985 4197 743339 | 5000 1831 3678 | 0.375 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 39.495 s Remaining CPU time: 140.505 s c =============================================================================== c | 1863 | 3985 4198 747189 | 5000 1863 3678 | 0.375 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 39.8899 s Remaining CPU time: 140.11 s c =============================================================================== c | 1885 | 3985 4199 751039 | 5000 1885 3678 | 0.375 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 40.2669 s Remaining CPU time: 139.733 s c =============================================================================== c | 1892 | 3985 4200 754889 | 5000 1892 3678 | 0.375 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 40.6348 s Remaining CPU time: 139.365 s c =============================================================================== c | 1892 | 3985 4201 758739 | 5000 1892 3678 | 0.375 % | c | 1992 | 3985 4201 758739 | 5500 1992 3677 | 0.375 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 41.6517 s Remaining CPU time: 138.348 s c =============================================================================== c | 2018 | 3985 4202 762589 | 5000 2018 3676 | 0.375 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 42.0416 s Remaining CPU time: 137.958 s c =============================================================================== c | 2025 | 3985 4203 766439 | 5000 2025 3676 | 0.375 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 42.5455 s Remaining CPU time: 137.454 s c =============================================================================== c | 2077 | 3985 4204 770289 | 5000 2077 3676 | 0.375 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 43.0365 s Remaining CPU time: 136.964 s c =============================================================================== c | 2114 | 3985 4205 774139 | 5000 2114 3676 | 0.375 % | c | 2215 | 3985 4205 774139 | 5500 2215 3675 | 0.375 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 44.0683 s Remaining CPU time: 135.932 s c =============================================================================== c | 2273 | 3985 4206 777989 | 5000 2273 3674 | 0.375 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 44.4262 s Remaining CPU time: 135.574 s c =============================================================================== c | 2276 | 3985 4207 781839 | 5000 2276 3674 | 0.375 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 44.9262 s Remaining CPU time: 135.074 s c =============================================================================== c | 2331 | 3985 4208 785689 | 5000 2331 3674 | 0.375 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 45.3941 s Remaining CPU time: 134.606 s c =============================================================================== c | 2396 | 3985 4209 789539 | 5000 2396 3673 | 0.375 % | c | 2496 | 3985 4209 789539 | 5500 2496 3672 | 0.375 % | c | 2646 | 3985 4209 789539 | 6050 2646 3671 | 0.375 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 47.1278 s Remaining CPU time: 132.872 s c =============================================================================== c | 2701 | 3985 4210 793389 | 5000 2701 3670 | 0.375 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 47.5278 s Remaining CPU time: 132.472 s c =============================================================================== c | 2736 | 3985 4211 797239 | 5000 2736 3670 | 0.375 % | c | 2837 | 3985 4211 797239 | 5500 2837 3669 | 0.375 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 48.4156 s Remaining CPU time: 131.584 s c =============================================================================== c | 2863 | 3985 4212 801089 | 5000 2863 3669 | 0.375 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 48.8516 s Remaining CPU time: 131.148 s c =============================================================================== c | 2928 | 3985 4213 804939 | 5000 2928 3669 | 0.375 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 49.2365 s Remaining CPU time: 130.763 s c =============================================================================== c | 2943 | 3985 4214 808789 | 5000 2943 3669 | 0.375 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 49.6175 s Remaining CPU time: 130.383 s c =============================================================================== c | 2957 | 3985 4215 812639 | 5000 2957 3668 | 0.375 % | c | 3057 | 3985 4215 812639 | 5500 3057 3668 | 0.375 % | c | 3208 | 3985 4215 812639 | 6050 3208 3667 | 0.375 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 51.4312 s Remaining CPU time: 128.569 s c =============================================================================== c | 3302 | 3985 4216 816489 | 5000 3302 3666 | 0.375 % | c | 3402 | 3985 4216 816489 | 5500 3402 3665 | 0.375 % | c | 3553 | 3985 4216 816489 | 6050 3553 3664 | 0.375 % | c | 3778 | 3985 4216 816489 | 6655 3778 3662 | 0.375 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 54.2158 s Remaining CPU time: 125.784 s c =============================================================================== c | 3919 | 3985 4217 820339 | 5000 3919 3662 | 0.375 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 54.6567 s Remaining CPU time: 125.343 s c =============================================================================== c | 3972 | 3985 4218 824189 | 5000 3972 3661 | 0.375 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 55.0836 s Remaining CPU time: 124.916 s c =============================================================================== c | 4020 | 3985 4219 828039 | 5000 4020 3661 | 0.375 % | c | 4122 | 3985 4219 828039 | 5500 4122 3661 | 0.375 % | c | 4274 | 3985 4219 828039 | 6050 4274 3660 | 0.375 % | c | 4500 | 3985 4219 828039 | 6655 4500 3659 | 0.375 % | c | 4838 | 3985 4219 828039 | 7320 4838 3658 | 0.375 % | c | 5344 | 3985 4219 828039 | 8052 5344 3656 | 0.375 % | c | 6103 | 3985 4219 828039 | 8857 6103 3654 | 0.375 % | c | 7242 | 3985 4219 828039 | 9743 7242 3652 | 0.375 % | c | 8950 | 3985 4219 828039 | 10717 8950 3650 | 0.375 % | c | 11513 | 3985 4219 828039 | 11789 11513 3648 | 0.375 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 82.4875 s Remaining CPU time: 97.5125 s c =============================================================================== c | 13579 | 3985 4220 831889 | 5000 13579 3647 | 0.375 % | c | 13679 | 3985 4220 831889 | 5500 3495 3639 | 0.375 % | c | 13829 | 3985 4220 831889 | 6050 3645 3639 | 0.375 % | c | 14054 | 3985 4220 831889 | 6655 3870 3639 | 0.375 % | c | 14392 | 3985 4220 831889 | 7320 4208 3639 | 0.375 % | c | 14898 | 3985 4220 831889 | 8052 4714 3638 | 0.375 % | c | 15657 | 3985 4220 831889 | 8857 5473 3638 | 0.375 % | c | 16797 | 3985 4220 831889 | 9743 6613 3639 | 0.375 % | c | 18505 | 3985 4220 831889 | 10717 8321 3638 | 0.375 % | c | 21067 | 3985 4220 831889 | 11789 10883 3638 | 0.375 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 102.29 s Remaining CPU time: 77.7096 s c =============================================================================== c | 21684 | 3985 4221 835739 | 5000 11500 3638 | 0.375 % | c | 21784 | 3985 4221 835739 | 5500 2975 3631 | 0.375 % | c | 21934 | 3985 4221 835739 | 6050 3125 3631 | 0.375 % | c | 22159 | 3985 4221 835739 | 6655 3350 3632 | 0.375 % | c | 22496 | 3985 4221 835739 | 7320 3687 3632 | 0.375 % | c | 23003 | 3985 4221 835739 | 8052 4194 3632 | 0.375 % | c | 23762 | 3985 4221 835739 | 8857 4953 3633 | 0.375 % | c | 24901 | 3985 4221 835739 | 9743 6092 3633 | 0.375 % |