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 | 3999 4001 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 3999 4002 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 3999 4003 19550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 3999 4004 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 3999 4005 27250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 3999 4006 31100 | 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 | 3999 4007 34950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 3999 4008 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 3999 4009 42650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 3999 4010 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 3999 4011 50350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 3999 4012 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 3999 4013 58050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 3999 4014 61900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 3999 4015 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 3999 4016 69600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 3999 4017 73450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 3999 4018 77300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 3999 4019 81150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 3999 4020 85000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 3999 4021 88850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 3999 4022 92700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 0 | 3999 4023 96550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 0 | 3999 4024 100400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 0 | 3999 4025 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 0 | 3999 4026 108100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 0 | 3999 4027 111950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 3999 4028 115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 3999 4029 119650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 0 | 3999 4030 123500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 3999 4031 127350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 0 | 3999 4032 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 0 | 3999 4033 135050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 0 | 3999 4034 138900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s c =============================================================================== c | 0 | 3999 4035 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 0 | 3999 4036 146600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 0 | 3999 4037 150450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 0 | 3999 4038 154300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 0 | 3999 4039 158150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 0 | 3999 4040 162000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s c =============================================================================== c | 0 | 3999 4041 165850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 0 | 3999 4042 169700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 0 | 3999 4043 173550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 3999 4044 177400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 0 | 3999 4045 181250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 0 | 3999 4046 185100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 1.23481 s Remaining CPU time: 178.765 s c =============================================================================== c | 0 | 3999 4047 188950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 1.2948 s Remaining CPU time: 178.705 s c =============================================================================== c | 0 | 3999 4048 192800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 1.35279 s Remaining CPU time: 178.647 s c =============================================================================== c | 0 | 3999 4049 196650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s c =============================================================================== c | 0 | 3999 4050 200500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 1.48277 s Remaining CPU time: 178.517 s c =============================================================================== c | 0 | 3999 4051 204350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 0 | 3999 4052 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 0 | 3999 4053 212050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 1.68574 s Remaining CPU time: 178.314 s c =============================================================================== c | 0 | 3999 4054 215900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 1.75273 s Remaining CPU time: 178.247 s c =============================================================================== c | 0 | 3999 4055 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 0 | 3999 4056 223600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 1.90371 s Remaining CPU time: 178.096 s c =============================================================================== c | 0 | 3999 4057 227450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 1.9787 s Remaining CPU time: 178.021 s c =============================================================================== c | 0 | 3999 4058 231300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 2.05569 s Remaining CPU time: 177.944 s c =============================================================================== c | 0 | 3999 4059 235150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 0 | 3999 4060 239000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 2.22166 s Remaining CPU time: 177.778 s c =============================================================================== c | 0 | 3999 4061 242850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 0 | 3999 4062 246700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 2.39064 s Remaining CPU time: 177.609 s c =============================================================================== c | 0 | 3999 4063 250550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 2.48062 s Remaining CPU time: 177.519 s c =============================================================================== c | 0 | 3999 4064 254400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 2.57261 s Remaining CPU time: 177.427 s c =============================================================================== c | 0 | 3999 4065 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 2.66559 s Remaining CPU time: 177.334 s c =============================================================================== c | 0 | 3999 4066 262100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 2.75958 s Remaining CPU time: 177.24 s c =============================================================================== c | 0 | 3999 4067 265950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 2.85457 s Remaining CPU time: 177.145 s c =============================================================================== c | 0 | 3999 4068 269800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 2.95155 s Remaining CPU time: 177.048 s c =============================================================================== c | 0 | 3999 4069 273650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 3.05154 s Remaining CPU time: 176.948 s c =============================================================================== c | 0 | 3999 4070 277500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 3.15352 s Remaining CPU time: 176.846 s c =============================================================================== c | 0 | 3999 4071 281350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 3.2565 s Remaining CPU time: 176.743 s c =============================================================================== c | 0 | 3999 4072 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 3.36149 s Remaining CPU time: 176.639 s c =============================================================================== c | 0 | 3999 4073 289050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 3.46647 s Remaining CPU time: 176.534 s c =============================================================================== c | 0 | 3999 4074 292900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 3.57546 s Remaining CPU time: 176.425 s c =============================================================================== c | 0 | 3999 4075 296750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s c =============================================================================== c | 0 | 3999 4076 300600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 3.79642 s Remaining CPU time: 176.204 s c =============================================================================== c | 0 | 3999 4077 304450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 3.91141 s Remaining CPU time: 176.089 s c =============================================================================== c | 0 | 3999 4078 308300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 4.02739 s Remaining CPU time: 175.973 s c =============================================================================== c | 0 | 3999 4079 312150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 4.14737 s Remaining CPU time: 175.853 s c =============================================================================== c | 0 | 3999 4080 316000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 4.26835 s Remaining CPU time: 175.732 s c =============================================================================== c | 0 | 3999 4081 319850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 4.39233 s Remaining CPU time: 175.608 s c =============================================================================== c | 0 | 3999 4082 323700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 4.51931 s Remaining CPU time: 175.481 s c =============================================================================== c | 0 | 3999 4083 327550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 4.64329 s Remaining CPU time: 175.357 s c =============================================================================== c | 0 | 3999 4084 331400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 4.77227 s Remaining CPU time: 175.228 s c =============================================================================== c | 0 | 3999 4085 335250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 4.90325 s Remaining CPU time: 175.097 s c =============================================================================== c | 0 | 3999 4086 339100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 5.03823 s Remaining CPU time: 174.962 s c =============================================================================== c | 0 | 3999 4087 342950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 5.17521 s Remaining CPU time: 174.825 s c =============================================================================== c | 0 | 3999 4088 346800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 5.31019 s Remaining CPU time: 174.69 s c =============================================================================== c | 0 | 3999 4089 350650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 5.45017 s Remaining CPU time: 174.55 s c =============================================================================== c | 0 | 3999 4090 354500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 5.59315 s Remaining CPU time: 174.407 s c =============================================================================== c | 0 | 3999 4091 358350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 5.73813 s Remaining CPU time: 174.262 s c =============================================================================== c | 0 | 3999 4092 362200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 5.88311 s Remaining CPU time: 174.117 s c =============================================================================== c | 0 | 3999 4093 366050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 6.03208 s Remaining CPU time: 173.968 s c =============================================================================== c | 0 | 3999 4094 369900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 6.18706 s Remaining CPU time: 173.813 s c =============================================================================== c | 0 | 3999 4095 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 6.34304 s Remaining CPU time: 173.657 s c =============================================================================== c | 0 | 3999 4096 377600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 6.49801 s Remaining CPU time: 173.502 s c =============================================================================== c | 0 | 3999 4097 381450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 6.65599 s Remaining CPU time: 173.344 s c =============================================================================== c | 0 | 3999 4098 385300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 6.81596 s Remaining CPU time: 173.184 s c =============================================================================== c | 0 | 3999 4099 389150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 6.97794 s Remaining CPU time: 173.022 s c =============================================================================== c | 0 | 3999 4100 393000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 7.14191 s Remaining CPU time: 172.858 s c =============================================================================== c | 0 | 3999 4101 396850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 7.30889 s Remaining CPU time: 172.691 s c =============================================================================== c | 0 | 3999 4102 400700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 7.47286 s Remaining CPU time: 172.527 s c =============================================================================== c | 0 | 3999 4103 404550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 7.64484 s Remaining CPU time: 172.355 s c =============================================================================== c | 0 | 3999 4104 408400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 7.82981 s Remaining CPU time: 172.17 s c =============================================================================== c | 0 | 3999 4105 412250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 8.01778 s Remaining CPU time: 171.982 s c =============================================================================== c | 0 | 3999 4106 416100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 8.20175 s Remaining CPU time: 171.798 s c =============================================================================== c | 0 | 3999 4107 419950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 8.38772 s Remaining CPU time: 171.612 s c =============================================================================== c | 0 | 3999 4108 423800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 8.5777 s Remaining CPU time: 171.422 s c =============================================================================== c | 0 | 3999 4109 427650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 8.77067 s Remaining CPU time: 171.229 s c =============================================================================== c | 0 | 3999 4110 431500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 8.96364 s Remaining CPU time: 171.036 s c =============================================================================== c | 0 | 3999 4111 435350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 9.16161 s Remaining CPU time: 170.838 s c =============================================================================== c | 0 | 3999 4112 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 9.35858 s Remaining CPU time: 170.641 s c =============================================================================== c | 0 | 3999 4113 443050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 9.55455 s Remaining CPU time: 170.445 s c =============================================================================== c | 0 | 3999 4114 446900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 9.75452 s Remaining CPU time: 170.245 s c =============================================================================== c | 0 | 3999 4115 450750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 9.96249 s Remaining CPU time: 170.038 s c =============================================================================== c | 0 | 3999 4116 454600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 10.1615 s Remaining CPU time: 169.839 s c =============================================================================== c | 0 | 3999 4117 458450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 10.3654 s Remaining CPU time: 169.635 s c =============================================================================== c | 0 | 3999 4118 462300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 10.5674 s Remaining CPU time: 169.433 s c =============================================================================== c | 0 | 3999 4119 466150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 10.7744 s Remaining CPU time: 169.226 s c =============================================================================== c | 0 | 3999 4120 470000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 10.9793 s Remaining CPU time: 169.021 s c =============================================================================== c | 0 | 3999 4121 473850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 11.1843 s Remaining CPU time: 168.816 s c =============================================================================== c | 0 | 3999 4122 477700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 11.3913 s Remaining CPU time: 168.609 s c =============================================================================== c | 0 | 3999 4123 481550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 11.6172 s Remaining CPU time: 168.383 s c =============================================================================== c | 0 | 3999 4124 485400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 11.8382 s Remaining CPU time: 168.162 s c =============================================================================== c | 0 | 3999 4125 489250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 12.0662 s Remaining CPU time: 167.934 s c =============================================================================== c | 0 | 3999 4126 493100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 12.2981 s Remaining CPU time: 167.702 s c =============================================================================== c | 0 | 3999 4127 496950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 12.5261 s Remaining CPU time: 167.474 s c =============================================================================== c | 0 | 3999 4128 500800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 12.7621 s Remaining CPU time: 167.238 s c =============================================================================== c | 0 | 3999 4129 504650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 12.997 s Remaining CPU time: 167.003 s c =============================================================================== c | 0 | 3999 4130 508500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 13.233 s Remaining CPU time: 166.767 s c =============================================================================== c | 0 | 3999 4131 512350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 13.473 s Remaining CPU time: 166.527 s c =============================================================================== c | 0 | 3999 4132 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 13.7139 s Remaining CPU time: 166.286 s c =============================================================================== c | 0 | 3999 4133 520050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 13.9539 s Remaining CPU time: 166.046 s c =============================================================================== c | 0 | 3999 4134 523900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 14.1958 s Remaining CPU time: 165.804 s c =============================================================================== c | 0 | 3999 4135 527750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 14.4408 s Remaining CPU time: 165.559 s c =============================================================================== c | 0 | 3999 4136 531600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 14.6848 s Remaining CPU time: 165.315 s c =============================================================================== c | 0 | 3999 4137 535450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 14.9327 s Remaining CPU time: 165.067 s c =============================================================================== c | 0 | 3999 4138 539300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 15.1827 s Remaining CPU time: 164.817 s c =============================================================================== c | 0 | 3999 4139 543150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 15.4327 s Remaining CPU time: 164.567 s c =============================================================================== c | 0 | 3999 4140 547000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 15.6856 s Remaining CPU time: 164.314 s c =============================================================================== c | 0 | 3999 4141 550850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 15.9426 s Remaining CPU time: 164.057 s c =============================================================================== c | 0 | 3999 4142 554700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 16.1975 s Remaining CPU time: 163.802 s c =============================================================================== c | 0 | 3999 4143 558550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 16.4555 s Remaining CPU time: 163.545 s c =============================================================================== c | 0 | 3999 4144 562400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 16.7175 s Remaining CPU time: 163.283 s c =============================================================================== c | 0 | 3999 4145 566250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 16.9874 s Remaining CPU time: 163.013 s c =============================================================================== c | 0 | 3999 4146 570100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 17.2744 s Remaining CPU time: 162.726 s c =============================================================================== c | 2 | 3999 4147 573950 | 5000 2 3707 | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 17.5233 s Remaining CPU time: 162.477 s c =============================================================================== c | 2 | 3999 4148 577800 | 5000 2 3707 | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 17.8503 s Remaining CPU time: 162.15 s c =============================================================================== c | 29 | 3999 4149 581650 | 5000 29 3705 | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 18.1302 s Remaining CPU time: 161.87 s c =============================================================================== c | 38 | 3999 4150 585500 | 5000 38 3705 | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 18.3872 s Remaining CPU time: 161.613 s c =============================================================================== c | 40 | 3999 4151 589350 | 5000 40 3705 | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 18.6452 s Remaining CPU time: 161.355 s c =============================================================================== c | 40 | 3999 4152 593200 | 5000 40 3705 | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 18.9521 s Remaining CPU time: 161.048 s c =============================================================================== c | 51 | 3999 4153 597050 | 5000 51 3704 | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 19.2121 s Remaining CPU time: 160.788 s c =============================================================================== c | 51 | 3999 4154 600900 | 5000 51 3704 | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 19.478 s Remaining CPU time: 160.522 s c =============================================================================== c | 51 | 3999 4155 604750 | 5000 51 3704 | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 19.745 s Remaining CPU time: 160.255 s c =============================================================================== c | 54 | 3999 4156 608600 | 5000 54 3704 | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 20.0709 s Remaining CPU time: 159.929 s c =============================================================================== c | 91 | 3999 4157 612450 | 5000 91 3701 | 0.000 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 20.3559 s Remaining CPU time: 159.644 s c =============================================================================== c | 106 | 3999 4158 616300 | 5000 106 3700 | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 20.6329 s Remaining CPU time: 159.367 s c =============================================================================== c | 112 | 3999 4159 620150 | 5000 112 3700 | 0.000 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 20.9208 s Remaining CPU time: 159.079 s c =============================================================================== c | 114 | 3999 4160 624000 | 5000 114 3700 | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 21.1988 s Remaining CPU time: 158.801 s c =============================================================================== c | 115 | 3999 4161 627850 | 5000 115 3700 | 0.000 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 21.4967 s Remaining CPU time: 158.503 s c =============================================================================== c | 126 | 3999 4162 631700 | 5000 126 3699 | 0.000 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 21.7777 s Remaining CPU time: 158.222 s c =============================================================================== c | 127 | 3999 4163 635550 | 5000 127 3699 | 0.000 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 22.0646 s Remaining CPU time: 157.935 s c =============================================================================== c | 131 | 3999 4164 639400 | 5000 131 3699 | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 22.3566 s Remaining CPU time: 157.643 s c =============================================================================== c | 135 | 3999 4165 643250 | 5000 135 3699 | 0.000 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 22.6536 s Remaining CPU time: 157.346 s c =============================================================================== c | 150 | 3999 4166 647100 | 5000 150 3697 | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 22.9395 s Remaining CPU time: 157.06 s c =============================================================================== c | 151 | 3999 4167 650950 | 5000 151 3697 | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 23.2285 s Remaining CPU time: 156.772 s c =============================================================================== c | 154 | 3999 4168 654800 | 5000 154 3697 | 0.000 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 23.5644 s Remaining CPU time: 156.436 s c =============================================================================== c | 160 | 3999 4169 658650 | 5000 160 3697 | 0.000 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 24.1173 s Remaining CPU time: 155.883 s c =============================================================================== c | 256 | 3999 4170 662500 | 5000 256 3692 | 0.000 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 24.4133 s Remaining CPU time: 155.587 s c =============================================================================== c | 256 | 3999 4171 666350 | 5000 256 3692 | 0.000 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 24.7102 s Remaining CPU time: 155.29 s c =============================================================================== c | 256 | 3999 4172 670200 | 5000 256 3692 | 0.000 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 25.0452 s Remaining CPU time: 154.955 s c =============================================================================== c | 290 | 3999 4173 674050 | 5000 290 3691 | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 25.3521 s Remaining CPU time: 154.648 s c =============================================================================== c | 299 | 3999 4174 677900 | 5000 299 3691 | 0.000 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 25.6541 s Remaining CPU time: 154.346 s c =============================================================================== c | 302 | 3999 4175 681750 | 5000 302 3691 | 0.000 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 25.9601 s Remaining CPU time: 154.04 s c =============================================================================== c | 303 | 3999 4176 685600 | 5000 303 3691 | 0.000 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 26.271 s Remaining CPU time: 153.729 s c =============================================================================== c | 309 | 3999 4177 689450 | 5000 309 3678 | 0.000 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 26.58 s Remaining CPU time: 153.42 s c =============================================================================== c | 311 | 3999 4178 693300 | 5000 311 3678 | 0.000 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 26.9699 s Remaining CPU time: 153.03 s c =============================================================================== c | 352 | 3999 4179 697150 | 5000 352 3678 | 0.000 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 27.2809 s Remaining CPU time: 152.719 s c =============================================================================== c | 356 | 3999 4180 701000 | 5000 356 3668 | 0.000 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 27.5978 s Remaining CPU time: 152.402 s c =============================================================================== c | 364 | 3999 4181 704850 | 5000 364 3668 | 0.000 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 28.0627 s Remaining CPU time: 151.937 s c =============================================================================== c | 418 | 3999 4182 708700 | 5000 418 3668 | 0.000 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 28.3797 s Remaining CPU time: 151.62 s c =============================================================================== c | 422 | 3999 4183 712550 | 5000 422 3668 | 0.000 % | c | 523 | 3999 4183 712550 | 5500 523 3669 | 0.025 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 29.1426 s Remaining CPU time: 150.857 s c =============================================================================== c | 527 | 3999 4184 716400 | 5000 527 3669 | 0.025 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 29.4665 s Remaining CPU time: 150.533 s c =============================================================================== c | 528 | 3999 4185 720250 | 5000 528 3669 | 0.025 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 29.7925 s Remaining CPU time: 150.208 s c =============================================================================== c | 537 | 3999 4186 724100 | 5000 537 3669 | 0.025 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 30.1194 s Remaining CPU time: 149.881 s c =============================================================================== c | 540 | 3999 4187 727950 | 5000 540 3669 | 0.025 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 30.4564 s Remaining CPU time: 149.544 s c =============================================================================== c | 547 | 3999 4188 731800 | 5000 547 3669 | 0.025 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 30.7923 s Remaining CPU time: 149.208 s c =============================================================================== c | 552 | 3999 4189 735650 | 5000 552 3669 | 0.025 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 31.1273 s Remaining CPU time: 148.873 s c =============================================================================== c | 554 | 3999 4190 739500 | 5000 554 3669 | 0.025 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 31.4592 s Remaining CPU time: 148.541 s c =============================================================================== c | 555 | 3999 4191 743350 | 5000 555 3669 | 0.025 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 31.8132 s Remaining CPU time: 148.187 s c =============================================================================== c | 577 | 3999 4192 747200 | 5000 577 3662 | 0.025 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 32.1731 s Remaining CPU time: 147.827 s c =============================================================================== c | 601 | 3999 4193 751050 | 5000 601 3662 | 0.025 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 32.5291 s Remaining CPU time: 147.471 s c =============================================================================== c | 621 | 3999 4194 754900 | 5000 621 3662 | 0.025 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 32.895 s Remaining CPU time: 147.105 s c =============================================================================== c | 645 | 3999 4195 758750 | 5000 645 3662 | 0.025 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 33.2419 s Remaining CPU time: 146.758 s c =============================================================================== c | 649 | 3999 4196 762600 | 5000 649 3662 | 0.025 % | c | 749 | 3999 4196 762600 | 5500 749 3661 | 0.025 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 34.1498 s Remaining CPU time: 145.85 s c =============================================================================== c | 758 | 3999 4197 766450 | 5000 758 3661 | 0.025 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 34.4978 s Remaining CPU time: 145.502 s c =============================================================================== c | 764 | 3999 4198 770300 | 5000 764 3661 | 0.025 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 34.8397 s Remaining CPU time: 145.16 s c =============================================================================== c | 764 | 3999 4199 774150 | 5000 764 3661 | 0.025 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 35.1906 s Remaining CPU time: 144.809 s c =============================================================================== c | 769 | 3999 4200 778000 | 5000 769 3661 | 0.025 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 35.5456 s Remaining CPU time: 144.454 s c =============================================================================== c | 774 | 3999 4201 781850 | 5000 774 3661 | 0.025 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 35.9245 s Remaining CPU time: 144.075 s c =============================================================================== c | 801 | 3999 4202 785700 | 5000 801 3661 | 0.025 % | c | 901 | 3999 4202 785700 | 5500 901 3660 | 0.025 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 37.0574 s Remaining CPU time: 142.943 s c =============================================================================== c | 958 | 3999 4203 789550 | 5000 958 3659 | 0.025 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 37.4503 s Remaining CPU time: 142.55 s c =============================================================================== c | 990 | 3999 4204 793400 | 5000 990 3659 | 0.025 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 37.8173 s Remaining CPU time: 142.183 s c =============================================================================== c | 998 | 3999 4205 797250 | 5000 998 3659 | 0.025 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 38.1812 s Remaining CPU time: 141.819 s c =============================================================================== c | 1002 | 3999 4206 801100 | 5000 1002 3659 | 0.025 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 38.5621 s Remaining CPU time: 141.438 s c =============================================================================== c | 1020 | 3999 4207 804950 | 5000 1020 3659 | 0.025 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 39.0831 s Remaining CPU time: 140.917 s c =============================================================================== c | 1097 | 3999 4208 808800 | 5000 1097 3658 | 0.025 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 39.452 s Remaining CPU time: 140.548 s c =============================================================================== c | 1104 | 3999 4209 812650 | 5000 1104 3658 | 0.025 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 39.8219 s Remaining CPU time: 140.178 s c =============================================================================== c | 1105 | 3999 4210 816500 | 5000 1105 3658 | 0.025 % | c | 1205 | 3999 4210 816500 | 5500 1205 3656 | 0.025 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 41.0128 s Remaining CPU time: 138.987 s c =============================================================================== c | 1344 | 3999 4211 820350 | 5000 1344 3655 | 0.025 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 41.4097 s Remaining CPU time: 138.59 s c =============================================================================== c | 1359 | 3999 4212 824200 | 5000 1359 3655 | 0.025 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 41.8126 s Remaining CPU time: 138.187 s c =============================================================================== c | 1370 | 3999 4213 828050 | 5000 1370 3655 | 0.025 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 42.1976 s Remaining CPU time: 137.802 s c =============================================================================== c | 1377 | 3999 4214 831900 | 5000 1377 3655 | 0.025 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 42.6335 s Remaining CPU time: 137.366 s c =============================================================================== c | 1415 | 3999 4215 835750 | 5000 1415 3654 | 0.025 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 43.0225 s Remaining CPU time: 136.978 s c =============================================================================== c | 1424 | 3999 4216 839600 | 5000 1424 3654 | 0.025 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 43.4084 s Remaining CPU time: 136.592 s c =============================================================================== c | 1430 | 3999 4217 843450 | 5000 1430 3654 | 0.025 % | c | 1530 | 3999 4217 843450 | 5500 1530 3653 | 0.025 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 44.3723 s Remaining CPU time: 135.628 s c =============================================================================== c | 1549 | 3999 4218 847300 | 5000 1549 3653 | 0.025 % | c | 1650 | 3999 4218 847300 | 5500 1650 3652 | 0.025 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 45.5121 s Remaining CPU time: 134.488 s c =============================================================================== c | 1777 | 3999 4219 851150 | 5000 1777 3651 | 0.025 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 45.901 s Remaining CPU time: 134.099 s c =============================================================================== c | 1779 | 3999 4220 855000 | 5000 1779 3651 | 0.025 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 46.292 s Remaining CPU time: 133.708 s c =============================================================================== c | 1779 | 3999 4221 858850 | 5000 1779 3651 | 0.025 % | c | 1880 | 3999 4221 858850 | 5500 1880 3650 | 0.025 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 47.3008 s Remaining CPU time: 132.699 s c =============================================================================== c | 1917 | 3999 4222 862700 | 5000 1917 3649 | 0.025 % | c =============================================================================== c New solution: 3629 c Elapsed CPU time: 47.6997 s Remaining CPU time: 132.3 s c =============================================================================== c | 1923 | 3999 4223 866550 | 5000 1923 3649 | 0.025 % | c =============================================================================== c New solution: 3628 c Elapsed CPU time: 48.0947 s Remaining CPU time: 131.905 s c =============================================================================== c | 1923 | 3999 4224 870400 | 5000 1923 3649 | 0.025 % | c =============================================================================== c New solution: 3627 c Elapsed CPU time: 48.5206 s Remaining CPU time: 131.479 s c =============================================================================== c | 1938 | 3999 4225 874250 | 5000 1938 3647 | 0.025 % | c =============================================================================== c New solution: 3626 c Elapsed CPU time: 49.0255 s Remaining CPU time: 130.974 s c =============================================================================== c | 1984 | 3999 4226 878100 | 5000 1984 3647 | 0.025 % | c =============================================================================== c New solution: 3625 c Elapsed CPU time: 49.4325 s Remaining CPU time: 130.568 s c =============================================================================== c | 1991 | 3999 4227 881950 | 5000 1991 3647 | 0.025 % | c =============================================================================== c New solution: 3624 c Elapsed CPU time: 49.8344 s Remaining CPU time: 130.166 s c =============================================================================== c | 1992 | 3999 4228 885800 | 5000 1992 3647 | 0.025 % | c | 2092 | 3999 4228 885800 | 5500 2092 3646 | 0.025 % | c =============================================================================== c New solution: 3623 c Elapsed CPU time: 50.7693 s Remaining CPU time: 129.231 s c =============================================================================== c | 2118 | 3999 4229 889650 | 5000 2118 3645 | 0.025 % | c =============================================================================== c New solution: 3622 c Elapsed CPU time: 51.4222 s Remaining CPU time: 128.578 s c =============================================================================== c | 2181 | 3999 4230 893500 | 5000 2181 3645 | 0.025 % | c =============================================================================== c New solution: 3621 c Elapsed CPU time: 52.0021 s Remaining CPU time: 127.998 s c =============================================================================== c | 2228 | 3999 4231 897350 | 5000 2228 3644 | 0.025 % | c =============================================================================== c New solution: 3620 c Elapsed CPU time: 52.561 s Remaining CPU time: 127.439 s c =============================================================================== c | 2245 | 3999 4232 901200 | 5000 2245 3644 | 0.025 % | c =============================================================================== c New solution: 3619 c Elapsed CPU time: 53.1479 s Remaining CPU time: 126.852 s c =============================================================================== c | 2297 | 3999 4233 905050 | 5000 2297 3644 | 0.025 % | c =============================================================================== c New solution: 3618 c Elapsed CPU time: 53.7188 s Remaining CPU time: 126.281 s c =============================================================================== c | 2337 | 3999 4234 908900 | 5000 2337 3643 | 0.025 % | c =============================================================================== c New solution: 3617 c Elapsed CPU time: 54.2687 s Remaining CPU time: 125.731 s c =============================================================================== c | 2353 | 3999 4235 912750 | 5000 2353 3643 | 0.025 % | c =============================================================================== c New solution: 3616 c Elapsed CPU time: 54.8047 s Remaining CPU time: 125.195 s c =============================================================================== c | 2358 | 3999 4236 916600 | 5000 2358 3643 | 0.025 % | c =============================================================================== c New solution: 3615 c Elapsed CPU time: 55.3686 s Remaining CPU time: 124.631 s c =============================================================================== c | 2375 | 3999 4237 920450 | 5000 2375 3643 | 0.025 % | c | 2475 | 3999 4237 920450 | 5500 2475 3642 | 0.025 % | c =============================================================================== c New solution: 3614 c Elapsed CPU time: 56.6364 s Remaining CPU time: 123.364 s c =============================================================================== c | 2498 | 3999 4238 924300 | 5000 2498 3641 | 0.025 % | c | 2599 | 3999 4238 924300 | 5500 2599 3640 | 0.025 % | c | 2749 | 3999 4238 924300 | 6050 2749 3639 | 0.025 % | c | 2974 | 3999 4238 924300 | 6655 2974 3636 | 0.025 % | c =============================================================================== c New solution: 3613 c Elapsed CPU time: 59.7329 s Remaining CPU time: 120.267 s c =============================================================================== c | 3010 | 3999 4239 928150 | 5000 3010 3636 | 0.025 % | c | 3110 | 3999 4239 928150 | 5500 3110 3635 | 0.025 % | c | 3260 | 3999 4239 928150 | 6050 3260 3634 | 0.025 % | c =============================================================================== c New solution: 3612 c Elapsed CPU time: 62.2265 s Remaining CPU time: 117.773 s c =============================================================================== c | 3466 | 3999 4240 932000 | 5000 3466 3633 | 0.025 % | c =============================================================================== c New solution: 3611 c Elapsed CPU time: 62.7325 s Remaining CPU time: 117.268 s c =============================================================================== c | 3525 | 3999 4241 935850 | 5000 3525 3633 | 0.025 % | c | 3625 | 3999 4241 935850 | 5500 3625 3632 | 0.025 % | c | 3776 | 3999 4241 935850 | 6050 3776 3631 | 0.025 % | c | 4001 | 3999 4241 935850 | 6655 4001 3630 | 0.025 % | c =============================================================================== c New solution: 3610 c Elapsed CPU time: 65.479 s Remaining CPU time: 114.521 s c =============================================================================== c | 4048 | 3999 4242 939700 | 5000 4048 3630 | 0.025 % | c =============================================================================== c New solution: 3609 c Elapsed CPU time: 65.97 s Remaining CPU time: 114.03 s c =============================================================================== c | 4065 | 3999 4243 943550 | 5000 4065 3630 | 0.025 % | c | 4165 | 3999 4243 943550 | 5500 4165 3630 | 0.025 % | c =============================================================================== c New solution: 3608 c Elapsed CPU time: 67.5127 s Remaining CPU time: 112.487 s c =============================================================================== c | 4212 | 3999 4244 947400 | 5000 4212 3629 | 0.025 % | c | 4312 | 3999 4244 947400 | 5500 4312 3629 | 0.025 % | c =============================================================================== c New solution: 3607 c Elapsed CPU time: 68.8205 s Remaining CPU time: 111.179 s c =============================================================================== c | 4458 | 3999 4245 951250 | 5000 4458 3628 | 0.025 % | c | 4558 | 3999 4245 951250 | 5500 4558 3628 | 0.025 % | c =============================================================================== c New solution: 3606 c Elapsed CPU time: 70.1933 s Remaining CPU time: 109.807 s c =============================================================================== c | 4674 | 3999 4246 955100 | 5000 4674 3627 | 0.025 % | c | 4774 | 3999 4246 955100 | 5500 4774 3627 | 0.025 % | c =============================================================================== c New solution: 3605 c Elapsed CPU time: 71.6041 s Remaining CPU time: 108.396 s c =============================================================================== c | 4860 | 3999 4247 958950 | 5000 4860 3627 | 0.025 % | c | 4960 | 3999 4247 958950 | 5500 4960 3626 | 0.025 % | c | 5110 | 3999 4247 958950 | 6050 5110 3626 | 0.025 % | c | 5335 | 3999 4247 958950 | 6655 5335 3625 | 0.025 % | c =============================================================================== c New solution: 3604 c Elapsed CPU time: 74.7576 s Remaining CPU time: 105.242 s c =============================================================================== c | 5386 | 3999 4248 962800 | 5000 5386 3625 | 0.025 % | c | 5487 | 3999 4248 962800 | 5500 2794 3604 | 0.025 % | c =============================================================================== c New solution: 3603 c Elapsed CPU time: 76.0834 s Remaining CPU time: 103.917 s c =============================================================================== c | 5591 | 3999 4249 966650 | 5000 2898 3604 | 0.025 % | c | 5691 | 3999 4249 966650 | 5500 2998 3604 | 0.025 % | c =============================================================================== c New solution: 3602 c Elapsed CPU time: 77.4572 s Remaining CPU time: 102.543 s c =============================================================================== c | 5839 | 3999 4250 970500 | 5000 3146 3603 | 0.025 % | c =============================================================================== c New solution: 3601 c Elapsed CPU time: 78.0811 s Remaining CPU time: 101.919 s c =============================================================================== c | 5902 | 3999 4251 974350 | 5000 3209 3603 | 0.025 % | c | 6003 | 3999 4251 974350 | 5500 3310 3603 | 0.025 % | c =============================================================================== c New solution: 3600 c Elapsed CPU time: 79.4549 s Remaining CPU time: 100.545 s c =============================================================================== c | 6069 | 3999 4252 978200 | 5000 3376 3603 | 0.025 % | c | 6169 | 3999 4252 978200 | 5500 3476 3603 | 0.025 % | c | 6319 | 3999 4252 978200 | 6050 3626 3603 | 0.025 % | c =============================================================================== c New solution: 3599 c Elapsed CPU time: 81.8606 s Remaining CPU time: 98.1394 s c =============================================================================== c | 6359 | 3999 4253 982050 | 5000 3666 3603 | 0.025 % | c =============================================================================== c New solution: 3598 c Elapsed CPU time: 82.4055 s Remaining CPU time: 97.5945 s c =============================================================================== c | 6415 | 3999 4254 985900 | 5000 3722 3603 | 0.025 % | c | 6515 | 3999 4254 985900 | 5500 3822 3603 | 0.025 % | c | 6666 | 3999 4254 985900 | 6050 3973 3603 | 0.025 % | c =============================================================================== c New solution: 3597 c Elapsed CPU time: 84.4112 s Remaining CPU time: 95.5888 s c =============================================================================== c | 6711 | 3999 4255 989750 | 5000 4018 3603 | 0.025 % | c | 6811 | 3999 4255 989750 | 5500 4118 3602 | 0.025 % | c | 6962 | 3999 4255 989750 | 6050 4269 3602 | 0.025 % | c =============================================================================== c New solution: 3596 c Elapsed CPU time: 86.7988 s Remaining CPU time: 93.2012 s c =============================================================================== c | 7095 | 3999 4256 993600 | 5000 4402 3602 | 0.025 % | c | 7195 | 3999 4256 993600 | 5500 4502 3602 | 0.025 % | c | 7345 | 3999 4256 993600 | 6050 4652 3602 | 0.025 % | c | 7570 | 3999 4256 993600 | 6655 4877 3602 | 0.025 % | c =============================================================================== c New solution: 3595 c Elapsed CPU time: 90.1673 s Remaining CPU time: 89.8327 s c =============================================================================== c | 7688 | 3999 4257 997450 | 5000 4995 3602 | 0.025 % | c | 7789 | 3999 4257 997450 | 5500 5096 3602 | 0.025 % | c =============================================================================== c New solution: 3594 c Elapsed CPU time: 91.3641 s Remaining CPU time: 88.6359 s c =============================================================================== c | 7828 | 3999 4258 1001300 | 5000 5135 3601 | 0.025 % | c | 7930 | 3999 4258 1001300 | 5500 2670 3592 | 0.025 % | c =============================================================================== c New solution: 3593 c Elapsed CPU time: 92.9479 s Remaining CPU time: 87.0521 s c =============================================================================== c | 7996 | 3999 4259 1005150 | 5000 2736 3592 | 0.025 % | c | 8097 | 3999 4259 1005150 | 5500 2837 3592 | 0.025 % | c | 8248 | 3999 4259 1005150 | 6050 2988 3592 | 0.025 % | c =============================================================================== c New solution: 3592 c Elapsed CPU time: 95.4445 s Remaining CPU time: 84.5555 s c =============================================================================== c | 8366 | 3999 4260 1009000 | 5000 3106 3591 | 0.025 % | c =============================================================================== c New solution: 3591 c Elapsed CPU time: 96.0794 s Remaining CPU time: 83.9206 s c =============================================================================== c | 8458 | 3999 4261 1012850 | 5000 3198 3591 | 0.025 % | c | 8559 | 3999 4261 1012850 | 5500 3299 3591 | 0.025 % | c | 8709 | 3999 4261 1012850 | 6050 3449 3591 | 0.025 % | c | 8935 | 3999 4261 1012850 | 6655 3675 3591 | 0.025 % | c | 9272 | 3999 4261 1012850 | 7320 4012 3592 | 0.025 % | c | 9779 | 3999 4261 1012850 | 8052 4519 3591 | 0.025 % | c | 10538 | 3999 4261 1012850 | 8857 5278 3591 | 0.025 % | c | 11677 | 3999 4261 1012850 | 9743 6417 3591 | 0.025 % | c | 13385 | 3999 4261 1012850 | 10717 8125 3592 | 0.025 % | c | 15947 | 3999 4261 1012850 | 11789 10687 3592 | 0.025 % | c | 19794 | 3999 4261 1012850 | 12968 14534 3591 | 0.025 % |