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 | 3959 4020 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 3959 4021 15550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 3959 4022 19400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 3959 4023 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 3959 4024 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 3959 4025 30950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 3959 4026 34800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 3959 4027 38650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 3959 4028 42500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 3959 4029 46350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 3959 4030 50200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 0 | 3959 4031 54050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 3959 4032 57900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 0 | 3959 4033 61750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 3959 4034 65600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 3959 4035 69450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 3959 4036 73300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 3959 4037 77150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 3959 4038 81000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 3959 4039 84850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 0 | 3959 4040 88700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 3959 4041 92550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 3959 4042 96400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 0 | 3959 4043 100250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 0 | 3959 4044 104100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 0 | 3959 4045 107950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 0 | 3959 4046 111800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 0 | 3959 4047 115650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 0 | 3959 4048 119500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 0 | 3959 4049 123350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 0 | 3959 4050 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 0 | 3959 4051 131050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 0 | 3959 4052 134900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 0 | 3959 4053 138750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 0 | 3959 4054 142600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 0 | 3959 4055 146450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 0 | 3959 4056 150300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 0 | 3959 4057 154150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 1.10983 s Remaining CPU time: 178.89 s c =============================================================================== c | 0 | 3959 4058 158000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 1.17182 s Remaining CPU time: 178.828 s c =============================================================================== c | 0 | 3959 4059 161850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 1.23581 s Remaining CPU time: 178.764 s c =============================================================================== c | 0 | 3959 4060 165700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 0 | 3959 4061 169550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 1.37279 s Remaining CPU time: 178.627 s c =============================================================================== c | 0 | 3959 4062 173400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 0 | 3959 4063 177250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 1.52077 s Remaining CPU time: 178.479 s c =============================================================================== c | 0 | 3959 4064 181100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 1.59476 s Remaining CPU time: 178.405 s c =============================================================================== c | 0 | 3959 4065 184950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 0 | 3959 4066 188800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 1.74973 s Remaining CPU time: 178.25 s c =============================================================================== c | 0 | 3959 4067 192650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 1.83272 s Remaining CPU time: 178.167 s c =============================================================================== c | 0 | 3959 4068 196500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 0 | 3959 4069 200350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 2.00769 s Remaining CPU time: 177.992 s c =============================================================================== c | 0 | 3959 4070 204200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 2.09868 s Remaining CPU time: 177.901 s c =============================================================================== c | 0 | 3959 4071 208050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 2.19367 s Remaining CPU time: 177.806 s c =============================================================================== c | 0 | 3959 4072 211900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 2.29965 s Remaining CPU time: 177.7 s c =============================================================================== c | 0 | 3959 4073 215750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 2.40763 s Remaining CPU time: 177.592 s c =============================================================================== c | 0 | 3959 4074 219600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 2.51962 s Remaining CPU time: 177.48 s c =============================================================================== c | 0 | 3959 4075 223450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 2.6316 s Remaining CPU time: 177.368 s c =============================================================================== c | 0 | 3959 4076 227300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 2.74558 s Remaining CPU time: 177.254 s c =============================================================================== c | 0 | 3959 4077 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 2.86356 s Remaining CPU time: 177.136 s c =============================================================================== c | 0 | 3959 4078 235000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 2.98355 s Remaining CPU time: 177.016 s c =============================================================================== c | 0 | 3959 4079 238850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 3.10553 s Remaining CPU time: 176.894 s c =============================================================================== c | 0 | 3959 4080 242700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 3.22751 s Remaining CPU time: 176.772 s c =============================================================================== c | 0 | 3959 4081 246550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 3.35449 s Remaining CPU time: 176.646 s c =============================================================================== c | 0 | 3959 4082 250400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 3.48747 s Remaining CPU time: 176.513 s c =============================================================================== c | 0 | 3959 4083 254250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 3.61945 s Remaining CPU time: 176.381 s c =============================================================================== c | 0 | 3959 4084 258100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 3.75743 s Remaining CPU time: 176.243 s c =============================================================================== c | 0 | 3959 4085 261950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 3.89741 s Remaining CPU time: 176.103 s c =============================================================================== c | 0 | 3959 4086 265800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 4.03639 s Remaining CPU time: 175.964 s c =============================================================================== c | 0 | 3959 4087 269650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 4.17836 s Remaining CPU time: 175.822 s c =============================================================================== c | 0 | 3959 4088 273500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 4.32334 s Remaining CPU time: 175.677 s c =============================================================================== c | 0 | 3959 4089 277350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 4.46832 s Remaining CPU time: 175.532 s c =============================================================================== c | 0 | 3959 4090 281200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 4.6173 s Remaining CPU time: 175.383 s c =============================================================================== c | 0 | 3959 4091 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 4.77027 s Remaining CPU time: 175.23 s c =============================================================================== c | 0 | 3959 4092 288900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 4.92425 s Remaining CPU time: 175.076 s c =============================================================================== c | 0 | 3959 4093 292750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 5.08023 s Remaining CPU time: 174.92 s c =============================================================================== c | 0 | 3959 4094 296600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 5.2392 s Remaining CPU time: 174.761 s c =============================================================================== c | 0 | 3959 4095 300450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 5.40218 s Remaining CPU time: 174.598 s c =============================================================================== c | 0 | 3959 4096 304300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 5.56415 s Remaining CPU time: 174.436 s c =============================================================================== c | 0 | 3959 4097 308150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 5.72913 s Remaining CPU time: 174.271 s c =============================================================================== c | 0 | 3959 4098 312000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 5.9001 s Remaining CPU time: 174.1 s c =============================================================================== c | 0 | 3959 4099 315850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 6.07308 s Remaining CPU time: 173.927 s c =============================================================================== c | 0 | 3959 4100 319700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 6.24705 s Remaining CPU time: 173.753 s c =============================================================================== c | 0 | 3959 4101 323550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 6.42302 s Remaining CPU time: 173.577 s c =============================================================================== c | 0 | 3959 4102 327400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 6.598 s Remaining CPU time: 173.402 s c =============================================================================== c | 0 | 3959 4103 331250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 6.77497 s Remaining CPU time: 173.225 s c =============================================================================== c | 0 | 3959 4104 335100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 6.95694 s Remaining CPU time: 173.043 s c =============================================================================== c | 0 | 3959 4105 338950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 7.14191 s Remaining CPU time: 172.858 s c =============================================================================== c | 0 | 3959 4106 342800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 7.32789 s Remaining CPU time: 172.672 s c =============================================================================== c | 0 | 3959 4107 346650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 7.52086 s Remaining CPU time: 172.479 s c =============================================================================== c | 0 | 3959 4108 350500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 7.71483 s Remaining CPU time: 172.285 s c =============================================================================== c | 0 | 3959 4109 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 7.9068 s Remaining CPU time: 172.093 s c =============================================================================== c | 0 | 3959 4110 358200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 8.10477 s Remaining CPU time: 171.895 s c =============================================================================== c | 0 | 3959 4111 362050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 8.30574 s Remaining CPU time: 171.694 s c =============================================================================== c | 0 | 3959 4112 365900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 8.50571 s Remaining CPU time: 171.494 s c =============================================================================== c | 0 | 3959 4113 369750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 8.70868 s Remaining CPU time: 171.291 s c =============================================================================== c | 0 | 3959 4114 373600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 8.92064 s Remaining CPU time: 171.079 s c =============================================================================== c | 0 | 3959 4115 377450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 9.13461 s Remaining CPU time: 170.865 s c =============================================================================== c | 0 | 3959 4116 381300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 9.34658 s Remaining CPU time: 170.653 s c =============================================================================== c | 0 | 3959 4117 385150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 9.56355 s Remaining CPU time: 170.436 s c =============================================================================== c | 0 | 3959 4118 389000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 9.77851 s Remaining CPU time: 170.221 s c =============================================================================== c | 0 | 3959 4119 392850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 9.99748 s Remaining CPU time: 170.003 s c =============================================================================== c | 0 | 3959 4120 396700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 10.2184 s Remaining CPU time: 169.782 s c =============================================================================== c | 0 | 3959 4121 400550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 10.4414 s Remaining CPU time: 169.559 s c =============================================================================== c | 0 | 3959 4122 404400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 10.6664 s Remaining CPU time: 169.334 s c =============================================================================== c | 0 | 3959 4123 408250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 10.8903 s Remaining CPU time: 169.11 s c =============================================================================== c | 0 | 3959 4124 412100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 11.1213 s Remaining CPU time: 168.879 s c =============================================================================== c | 0 | 3959 4125 415950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 11.3543 s Remaining CPU time: 168.646 s c =============================================================================== c | 0 | 3959 4126 419800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 11.5912 s Remaining CPU time: 168.409 s c =============================================================================== c | 0 | 3959 4127 423650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 11.8272 s Remaining CPU time: 168.173 s c =============================================================================== c | 0 | 3959 4128 427500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 12.0682 s Remaining CPU time: 167.932 s c =============================================================================== c | 0 | 3959 4129 431350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 12.3061 s Remaining CPU time: 167.694 s c =============================================================================== c | 0 | 3959 4130 435200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 12.5491 s Remaining CPU time: 167.451 s c =============================================================================== c | 0 | 3959 4131 439050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 12.7961 s Remaining CPU time: 167.204 s c =============================================================================== c | 0 | 3959 4132 442900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 13.041 s Remaining CPU time: 166.959 s c =============================================================================== c | 0 | 3959 4133 446750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 13.286 s Remaining CPU time: 166.714 s c =============================================================================== c | 0 | 3959 4134 450600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 13.5329 s Remaining CPU time: 166.467 s c =============================================================================== c | 0 | 3959 4135 454450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 13.7849 s Remaining CPU time: 166.215 s c =============================================================================== c | 0 | 3959 4136 458300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 14.0359 s Remaining CPU time: 165.964 s c =============================================================================== c | 0 | 3959 4137 462150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 14.2948 s Remaining CPU time: 165.705 s c =============================================================================== c | 0 | 3959 4138 466000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 14.5538 s Remaining CPU time: 165.446 s c =============================================================================== c | 0 | 3959 4139 469850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 14.8137 s Remaining CPU time: 165.186 s c =============================================================================== c | 0 | 3959 4140 473700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 15.0767 s Remaining CPU time: 164.923 s c =============================================================================== c | 0 | 3959 4141 477550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 15.3427 s Remaining CPU time: 164.657 s c =============================================================================== c | 0 | 3959 4142 481400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 15.6086 s Remaining CPU time: 164.391 s c =============================================================================== c | 0 | 3959 4143 485250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 15.8916 s Remaining CPU time: 164.108 s c =============================================================================== c | 0 | 3959 4144 489100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 16.1735 s Remaining CPU time: 163.826 s c =============================================================================== c | 0 | 3959 4145 492950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 16.4605 s Remaining CPU time: 163.54 s c =============================================================================== c | 0 | 3959 4146 496800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 16.7485 s Remaining CPU time: 163.252 s c =============================================================================== c | 0 | 3959 4147 500650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 17.0344 s Remaining CPU time: 162.966 s c =============================================================================== c | 0 | 3959 4148 504500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 17.3194 s Remaining CPU time: 162.681 s c =============================================================================== c | 0 | 3959 4149 508350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 17.6063 s Remaining CPU time: 162.394 s c =============================================================================== c | 0 | 3959 4150 512200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 17.8933 s Remaining CPU time: 162.107 s c =============================================================================== c | 0 | 3959 4151 516050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 18.1832 s Remaining CPU time: 161.817 s c =============================================================================== c | 0 | 3959 4152 519900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 18.4802 s Remaining CPU time: 161.52 s c =============================================================================== c | 0 | 3959 4153 523750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 18.7741 s Remaining CPU time: 161.226 s c =============================================================================== c | 0 | 3959 4154 527600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 19.0711 s Remaining CPU time: 160.929 s c =============================================================================== c | 0 | 3959 4155 531450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 19.3711 s Remaining CPU time: 160.629 s c =============================================================================== c | 0 | 3959 4156 535300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 19.67 s Remaining CPU time: 160.33 s c =============================================================================== c | 0 | 3959 4157 539150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 19.97 s Remaining CPU time: 160.03 s c =============================================================================== c | 0 | 3959 4158 543000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 20.2749 s Remaining CPU time: 159.725 s c =============================================================================== c | 0 | 3959 4159 546850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 20.5789 s Remaining CPU time: 159.421 s c =============================================================================== c | 0 | 3959 4160 550700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 20.8888 s Remaining CPU time: 159.111 s c =============================================================================== c | 0 | 3959 4161 554550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 21.1948 s Remaining CPU time: 158.805 s c =============================================================================== c | 0 | 3959 4162 558400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 21.5067 s Remaining CPU time: 158.493 s c =============================================================================== c | 0 | 3959 4163 562250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 21.8187 s Remaining CPU time: 158.181 s c =============================================================================== c | 0 | 3959 4164 566100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 22.1306 s Remaining CPU time: 157.869 s c =============================================================================== c | 0 | 3959 4165 569950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 22.4476 s Remaining CPU time: 157.552 s c =============================================================================== c | 0 | 3959 4166 573800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 22.7665 s Remaining CPU time: 157.233 s c =============================================================================== c | 1 | 3959 4167 577650 | 5000 1 3706 | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 23.1035 s Remaining CPU time: 156.897 s c =============================================================================== c | 5 | 3959 4168 581500 | 5000 5 3706 | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 23.4684 s Remaining CPU time: 156.532 s c =============================================================================== c | 6 | 3959 4169 585350 | 5000 6 3705 | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 23.8244 s Remaining CPU time: 156.176 s c =============================================================================== c | 7 | 3959 4170 589200 | 5000 7 3705 | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 24.1943 s Remaining CPU time: 155.806 s c =============================================================================== c | 7 | 3959 4171 593050 | 5000 7 3705 | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 24.5533 s Remaining CPU time: 155.447 s c =============================================================================== c | 8 | 3959 4172 596900 | 5000 8 3704 | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 24.9112 s Remaining CPU time: 155.089 s c =============================================================================== c | 9 | 3959 4173 600750 | 5000 9 3704 | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 25.2682 s Remaining CPU time: 154.732 s c =============================================================================== c | 9 | 3959 4174 604600 | 5000 9 3704 | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 25.6801 s Remaining CPU time: 154.32 s c =============================================================================== c | 32 | 3959 4175 608450 | 5000 32 3700 | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 26.068 s Remaining CPU time: 153.932 s c =============================================================================== c | 32 | 3959 4176 612300 | 5000 32 3700 | 0.000 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 26.503 s Remaining CPU time: 153.497 s c =============================================================================== c | 45 | 3959 4177 616150 | 5000 45 3699 | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 26.9049 s Remaining CPU time: 153.095 s c =============================================================================== c | 46 | 3959 4178 620000 | 5000 46 3699 | 0.000 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 27.2849 s Remaining CPU time: 152.715 s c =============================================================================== c | 46 | 3959 4179 623850 | 5000 46 3699 | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 27.7168 s Remaining CPU time: 152.283 s c =============================================================================== c | 71 | 3959 4180 627700 | 5000 71 3697 | 0.000 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 28.1207 s Remaining CPU time: 151.879 s c =============================================================================== c | 77 | 3959 4181 631550 | 5000 77 3697 | 0.000 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 28.5317 s Remaining CPU time: 151.468 s c =============================================================================== c | 86 | 3959 4182 635400 | 5000 86 3696 | 0.000 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 28.9226 s Remaining CPU time: 151.077 s c =============================================================================== c | 87 | 3959 4183 639250 | 5000 87 3696 | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 29.3685 s Remaining CPU time: 150.631 s c =============================================================================== c | 109 | 3959 4184 643100 | 5000 109 3695 | 0.000 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 29.7785 s Remaining CPU time: 150.222 s c =============================================================================== c | 118 | 3959 4185 646950 | 5000 118 3694 | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 30.1834 s Remaining CPU time: 149.817 s c =============================================================================== c | 118 | 3959 4186 650800 | 5000 118 3694 | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 30.6133 s Remaining CPU time: 149.387 s c =============================================================================== c | 139 | 3959 4187 654650 | 5000 139 3693 | 0.000 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 31.0123 s Remaining CPU time: 148.988 s c =============================================================================== c | 152 | 3959 4188 658500 | 5000 152 3692 | 0.000 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 31.4322 s Remaining CPU time: 148.568 s c =============================================================================== c | 163 | 3959 4189 662350 | 5000 163 3692 | 0.000 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 31.8262 s Remaining CPU time: 148.174 s c =============================================================================== c | 165 | 3959 4190 666200 | 5000 165 3692 | 0.000 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 32.2691 s Remaining CPU time: 147.731 s c =============================================================================== c | 194 | 3959 4191 670050 | 5000 194 3690 | 0.000 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 32.706 s Remaining CPU time: 147.294 s c =============================================================================== c | 197 | 3959 4192 673900 | 5000 197 3690 | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 33.141 s Remaining CPU time: 146.859 s c =============================================================================== c | 197 | 3959 4193 677750 | 5000 197 3690 | 0.000 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 33.6049 s Remaining CPU time: 146.395 s c =============================================================================== c | 225 | 3959 4194 681600 | 5000 225 3689 | 0.000 % | c | 325 | 3959 4194 681600 | 5500 325 3686 | 1.025 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 34.5647 s Remaining CPU time: 145.435 s c =============================================================================== c | 328 | 3959 4195 685450 | 5000 328 3686 | 1.025 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 35.0297 s Remaining CPU time: 144.97 s c =============================================================================== c | 359 | 3959 4196 689300 | 5000 359 3685 | 1.025 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 35.4466 s Remaining CPU time: 144.553 s c =============================================================================== c | 361 | 3959 4197 693150 | 5000 361 3685 | 1.025 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 35.8745 s Remaining CPU time: 144.125 s c =============================================================================== c | 376 | 3959 4198 697000 | 5000 376 3684 | 1.025 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 36.2985 s Remaining CPU time: 143.702 s c =============================================================================== c | 393 | 3959 4199 700850 | 5000 393 3684 | 1.025 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 36.7844 s Remaining CPU time: 143.216 s c =============================================================================== c | 420 | 3959 4200 704700 | 5000 420 3683 | 1.025 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 37.2273 s Remaining CPU time: 142.773 s c =============================================================================== c | 437 | 3959 4201 708550 | 5000 437 3683 | 1.025 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 37.6893 s Remaining CPU time: 142.311 s c =============================================================================== c | 471 | 3959 4202 712400 | 5000 471 3682 | 1.025 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 38.0992 s Remaining CPU time: 141.901 s c =============================================================================== c | 471 | 3959 4203 716250 | 5000 471 3682 | 1.025 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 38.6071 s Remaining CPU time: 141.393 s c =============================================================================== c | 476 | 3959 4204 720100 | 5000 476 3682 | 1.025 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 39.1041 s Remaining CPU time: 140.896 s c =============================================================================== c | 486 | 3959 4205 723950 | 5000 486 3682 | 1.025 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 39.556 s Remaining CPU time: 140.444 s c =============================================================================== c | 486 | 3959 4206 727800 | 5000 486 3682 | 1.025 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 40.0529 s Remaining CPU time: 139.947 s c =============================================================================== c | 497 | 3959 4207 731650 | 5000 497 3681 | 1.025 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 40.4698 s Remaining CPU time: 139.53 s c =============================================================================== c | 498 | 3959 4208 735500 | 5000 498 3681 | 1.025 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 40.9998 s Remaining CPU time: 139 s c =============================================================================== c | 579 | 3959 4209 739350 | 5000 579 3679 | 1.025 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 41.4237 s Remaining CPU time: 138.576 s c =============================================================================== c | 584 | 3959 4210 743200 | 5000 584 3679 | 1.025 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 41.8496 s Remaining CPU time: 138.15 s c =============================================================================== c | 588 | 3959 4211 747050 | 5000 588 3679 | 1.025 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 42.2746 s Remaining CPU time: 137.725 s c =============================================================================== c | 589 | 3959 4212 750900 | 5000 589 3679 | 1.025 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 42.8225 s Remaining CPU time: 137.178 s c =============================================================================== c | 632 | 3959 4213 754750 | 5000 632 3677 | 1.025 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 43.3004 s Remaining CPU time: 136.7 s c =============================================================================== c | 666 | 3959 4214 758600 | 5000 666 3676 | 1.025 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 43.7533 s Remaining CPU time: 136.247 s c =============================================================================== c | 684 | 3959 4215 762450 | 5000 684 3676 | 1.025 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 44.1893 s Remaining CPU time: 135.811 s c =============================================================================== c | 685 | 3959 4216 766300 | 5000 685 3676 | 1.025 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 44.6452 s Remaining CPU time: 135.355 s c =============================================================================== c | 705 | 3959 4217 770150 | 5000 705 3675 | 1.025 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 45.1021 s Remaining CPU time: 134.898 s c =============================================================================== c | 727 | 3959 4218 774000 | 5000 727 3675 | 1.025 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 45.5481 s Remaining CPU time: 134.452 s c =============================================================================== c | 732 | 3959 4219 777850 | 5000 732 3675 | 1.025 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 46.132 s Remaining CPU time: 133.868 s c =============================================================================== c | 789 | 3959 4220 781700 | 5000 789 3673 | 1.025 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 46.6989 s Remaining CPU time: 133.301 s c =============================================================================== c | 821 | 3959 4221 785550 | 5000 821 3672 | 1.025 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 47.2058 s Remaining CPU time: 132.794 s c =============================================================================== c | 847 | 3959 4222 789400 | 5000 847 3672 | 1.025 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 47.6897 s Remaining CPU time: 132.31 s c =============================================================================== c | 882 | 3959 4223 793250 | 5000 882 3671 | 1.025 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 48.4166 s Remaining CPU time: 131.583 s c =============================================================================== c | 939 | 3959 4224 797100 | 5000 939 3670 | 1.025 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 49.1175 s Remaining CPU time: 130.882 s c =============================================================================== c | 1012 | 3959 4225 800950 | 5000 1012 3664 | 1.025 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 49.6185 s Remaining CPU time: 130.382 s c =============================================================================== c | 1039 | 3959 4226 804800 | 5000 1039 3664 | 1.025 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 50.1154 s Remaining CPU time: 129.885 s c =============================================================================== c | 1076 | 3959 4227 808650 | 5000 1076 3663 | 1.025 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 50.6293 s Remaining CPU time: 129.371 s c =============================================================================== c | 1098 | 3959 4228 812500 | 5000 1098 3663 | 1.025 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 51.1552 s Remaining CPU time: 128.845 s c =============================================================================== c | 1152 | 3959 4229 816350 | 5000 1152 3662 | 1.025 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 51.6362 s Remaining CPU time: 128.364 s c =============================================================================== c | 1167 | 3959 4230 820200 | 5000 1167 3662 | 1.025 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 52.1121 s Remaining CPU time: 127.888 s c =============================================================================== c | 1167 | 3959 4231 824050 | 5000 1167 3662 | 1.025 % | c | 1267 | 3959 4231 824050 | 5500 1267 3660 | 1.025 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 53.2359 s Remaining CPU time: 126.764 s c =============================================================================== c | 1302 | 3959 4232 827900 | 5000 1302 3660 | 1.025 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 53.7398 s Remaining CPU time: 126.26 s c =============================================================================== c | 1314 | 3959 4233 831750 | 5000 1314 3660 | 1.025 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 54.2358 s Remaining CPU time: 125.764 s c =============================================================================== c | 1331 | 3959 4234 835600 | 5000 1331 3659 | 1.025 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 54.9167 s Remaining CPU time: 125.083 s c =============================================================================== c | 1386 | 3959 4235 839450 | 5000 1386 3658 | 1.025 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 55.5046 s Remaining CPU time: 124.495 s c =============================================================================== c | 1435 | 3959 4236 843300 | 5000 1435 3658 | 1.025 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 56.1105 s Remaining CPU time: 123.89 s c =============================================================================== c | 1487 | 3959 4237 847150 | 5000 1487 3657 | 1.025 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 56.6384 s Remaining CPU time: 123.362 s c =============================================================================== c | 1508 | 3959 4238 851000 | 5000 1508 3657 | 1.025 % | c | 1608 | 3959 4238 851000 | 5500 1608 3655 | 1.025 % | c | 1758 | 3959 4238 851000 | 6050 1758 3654 | 1.025 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 59.163 s Remaining CPU time: 120.837 s c =============================================================================== c | 1830 | 3959 4239 854850 | 5000 1830 3649 | 1.025 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 59.7349 s Remaining CPU time: 120.265 s c =============================================================================== c | 1870 | 3959 4240 858700 | 5000 1870 3648 | 1.025 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 60.3128 s Remaining CPU time: 119.687 s c =============================================================================== c | 1946 | 3959 4241 862550 | 5000 1946 3648 | 1.025 % | c =============================================================================== c New solution: 3629 c Elapsed CPU time: 61.0367 s Remaining CPU time: 118.963 s c =============================================================================== c | 2020 | 3959 4242 866400 | 5000 2020 3647 | 1.025 % | c =============================================================================== c New solution: 3628 c Elapsed CPU time: 61.6276 s Remaining CPU time: 118.372 s c =============================================================================== c | 2042 | 3959 4243 870250 | 5000 2042 3647 | 1.025 % | c =============================================================================== c New solution: 3627 c Elapsed CPU time: 62.1396 s Remaining CPU time: 117.86 s c =============================================================================== c | 2051 | 3959 4244 874100 | 5000 2051 3647 | 1.025 % | c =============================================================================== c New solution: 3626 c Elapsed CPU time: 62.6695 s Remaining CPU time: 117.331 s c =============================================================================== c | 2075 | 3959 4245 877950 | 5000 2075 3647 | 1.025 % | c | 2176 | 3959 4245 877950 | 5500 2176 3646 | 1.025 % | c | 2326 | 3959 4245 877950 | 6050 2326 3645 | 1.025 % | c | 2552 | 3959 4245 877950 | 6655 2552 3643 | 1.025 % | c =============================================================================== c New solution: 3625 c Elapsed CPU time: 65.884 s Remaining CPU time: 114.116 s c =============================================================================== c | 2685 | 3959 4246 881800 | 5000 2685 3642 | 1.025 % | c | 2786 | 3959 4246 881800 | 5500 2786 3642 | 1.025 % | c =============================================================================== c New solution: 3624 c Elapsed CPU time: 67.4277 s Remaining CPU time: 112.572 s c =============================================================================== c | 2850 | 3959 4247 885650 | 5000 2850 3641 | 1.025 % | c | 2950 | 3959 4247 885650 | 5500 2950 3641 | 1.025 % | c | 3100 | 3959 4247 885650 | 6050 3100 3640 | 1.025 % | c | 3326 | 3959 4247 885650 | 6655 3326 3639 | 1.025 % | c =============================================================================== c New solution: 3623 c Elapsed CPU time: 71.3302 s Remaining CPU time: 108.67 s c =============================================================================== c | 3510 | 3959 4248 889500 | 5000 3510 3639 | 1.025 % | c | 3610 | 3959 4248 889500 | 5500 3610 3638 | 1.025 % | c | 3761 | 3959 4248 889500 | 6050 3761 3638 | 1.025 % | c =============================================================================== c New solution: 3622 c Elapsed CPU time: 73.3249 s Remaining CPU time: 106.675 s c =============================================================================== c | 3796 | 3959 4249 893350 | 5000 3796 3637 | 1.025 % | c =============================================================================== c New solution: 3621 c Elapsed CPU time: 73.8748 s Remaining CPU time: 106.125 s c =============================================================================== c | 3826 | 3959 4250 897200 | 5000 3826 3637 | 1.025 % | c =============================================================================== c New solution: 3620 c Elapsed CPU time: 74.4037 s Remaining CPU time: 105.596 s c =============================================================================== c | 3834 | 3959 4251 901050 | 5000 3834 3637 | 1.025 % | c | 3935 | 3959 4251 901050 | 5500 3935 3637 | 1.025 % | c =============================================================================== c New solution: 3619 c Elapsed CPU time: 75.5835 s Remaining CPU time: 104.416 s c =============================================================================== c | 3975 | 3959 4252 904900 | 5000 3975 3637 | 1.025 % | c =============================================================================== c New solution: 3618 c Elapsed CPU time: 76.3134 s Remaining CPU time: 103.687 s c =============================================================================== c | 4035 | 3959 4253 908750 | 5000 4035 3637 | 1.025 % | c | 4135 | 3959 4253 908750 | 5500 4135 3636 | 1.025 % | c | 4285 | 3959 4253 908750 | 6050 4285 3636 | 1.025 % | c | 4511 | 3959 4253 908750 | 6655 4511 3635 | 1.025 % | c | 4848 | 3959 4253 908750 | 7320 4848 3634 | 1.025 % | c =============================================================================== c New solution: 3617 c Elapsed CPU time: 82.0645 s Remaining CPU time: 97.9355 s c =============================================================================== c | 5158 | 3959 4254 912600 | 5000 5158 3633 | 1.025 % | c =============================================================================== c New solution: 3616 c Elapsed CPU time: 82.6334 s Remaining CPU time: 97.3666 s c =============================================================================== c | 5187 | 3959 4255 916450 | 5000 2608 3618 | 1.025 % | c =============================================================================== c New solution: 3615 c Elapsed CPU time: 83.2263 s Remaining CPU time: 96.7737 s c =============================================================================== c | 5211 | 3959 4256 920300 | 5000 2632 3618 | 1.025 % | c | 5311 | 3959 4256 920300 | 5500 2732 3618 | 1.025 % | c =============================================================================== c New solution: 3614 c Elapsed CPU time: 84.8841 s Remaining CPU time: 95.1159 s c =============================================================================== c | 5370 | 3959 4257 924150 | 5000 2791 3618 | 1.025 % | c =============================================================================== c New solution: 3613 c Elapsed CPU time: 85.498 s Remaining CPU time: 94.502 s c =============================================================================== c | 5424 | 3959 4258 928000 | 5000 2845 3618 | 1.025 % | c | 5525 | 3959 4258 928000 | 5500 2946 3618 | 1.025 % | c =============================================================================== c New solution: 3612 c Elapsed CPU time: 87.2607 s Remaining CPU time: 92.7393 s c =============================================================================== c | 5596 | 3959 4259 931850 | 5000 3017 3618 | 1.025 % | c =============================================================================== c New solution: 3611 c Elapsed CPU time: 87.9306 s Remaining CPU time: 92.0694 s c =============================================================================== c | 5678 | 3959 4260 935700 | 5000 3099 3618 | 1.025 % | c =============================================================================== c New solution: 3610 c Elapsed CPU time: 88.5475 s Remaining CPU time: 91.4525 s c =============================================================================== c | 5699 | 3959 4261 939550 | 5000 3120 3618 | 1.025 % | c | 5799 | 3959 4261 939550 | 5500 3220 3618 | 1.025 % | c =============================================================================== c New solution: 3609 c Elapsed CPU time: 90.0713 s Remaining CPU time: 89.9287 s c =============================================================================== c | 5906 | 3959 4262 943400 | 5000 3327 3617 | 1.025 % | c | 6008 | 3959 4262 943400 | 5500 3429 3617 | 1.025 % | c =============================================================================== c New solution: 3608 c Elapsed CPU time: 91.4611 s Remaining CPU time: 88.5389 s c =============================================================================== c | 6033 | 3959 4263 947250 | 5000 3454 3617 | 1.025 % | c | 6133 | 3959 4263 947250 | 5500 3554 3617 | 1.025 % | c =============================================================================== c New solution: 3607 c Elapsed CPU time: 92.9109 s Remaining CPU time: 87.0891 s c =============================================================================== c | 6264 | 3959 4264 951100 | 5000 3685 3617 | 1.025 % | c | 6364 | 3959 4264 951100 | 5500 3785 3616 | 1.025 % | c | 6514 | 3959 4264 951100 | 6050 3935 3616 | 1.025 % | c | 6739 | 3959 4264 951100 | 6655 4160 3616 | 1.025 % | c =============================================================================== c New solution: 3606 c Elapsed CPU time: 97.6022 s Remaining CPU time: 82.3978 s c =============================================================================== c | 7073 | 3959 4265 954950 | 5000 4494 3615 | 1.025 % | c =============================================================================== c New solution: 3605 c Elapsed CPU time: 98.429 s Remaining CPU time: 81.571 s c =============================================================================== c | 7148 | 3959 4266 958800 | 5000 4569 3615 | 1.025 % | c =============================================================================== c New solution: 3604 c Elapsed CPU time: 99.1659 s Remaining CPU time: 80.8341 s c =============================================================================== c | 7194 | 3959 4267 962650 | 5000 4615 3615 | 1.025 % | c =============================================================================== c New solution: 3603 c Elapsed CPU time: 99.7678 s Remaining CPU time: 80.2322 s c =============================================================================== c | 7218 | 3959 4268 966500 | 5000 4639 3615 | 1.025 % | c | 7318 | 3959 4268 966500 | 5500 4739 3615 | 1.025 % | c | 7468 | 3959 4268 966500 | 6050 4889 3614 | 1.025 % | c | 7693 | 3959 4268 966500 | 6655 5114 3614 | 1.025 % | c | 8030 | 3959 4268 966500 | 7320 5451 3613 | 1.025 % | c | 8537 | 3959 4268 966500 | 8052 5958 3612 | 1.025 % | c =============================================================================== c New solution: 3602 c Elapsed CPU time: 109.829 s Remaining CPU time: 70.1707 s c =============================================================================== c | 9182 | 3959 4269 970350 | 5000 6603 3611 | 1.025 % | c | 9282 | 3959 4269 970350 | 5500 3402 3602 | 1.025 % | c | 9433 | 3959 4269 970350 | 6050 3553 3602 | 1.025 % | c | 9658 | 3959 4269 970350 | 6655 3778 3602 | 1.025 % | c | 9995 | 3959 4269 970350 | 7320 4115 3601 | 1.025 % | c =============================================================================== c New solution: 3601 c Elapsed CPU time: 115.373 s Remaining CPU time: 64.6265 s c =============================================================================== c | 10128 | 3959 4270 974200 | 5000 4248 3601 | 1.025 % | c | 10229 | 3959 4270 974200 | 5500 4349 3601 | 1.025 % | c =============================================================================== c New solution: 3600 c Elapsed CPU time: 117.049 s Remaining CPU time: 62.9508 s c =============================================================================== c | 10293 | 3959 4271 978050 | 5000 4413 3601 | 1.025 % | c | 10394 | 3959 4271 978050 | 5500 4514 3601 | 1.025 % | c | 10544 | 3959 4271 978050 | 6050 4664 3601 | 1.025 % | c | 10769 | 3959 4271 978050 | 6655 4889 3602 | 1.025 % | c | 11107 | 3959 4271 978050 | 7320 5227 3602 | 1.025 % | c =============================================================================== c New solution: 3599 c Elapsed CPU time: 123.536 s Remaining CPU time: 56.4638 s c =============================================================================== c | 11323 | 3959 4272 981900 | 5000 5443 3602 | 1.025 % | c | 11424 | 3959 4272 981900 | 5500 2823 3598 | 1.025 % | c | 11574 | 3959 4272 981900 | 6050 2973 3598 | 1.025 % | c | 11799 | 3959 4272 981900 | 6655 3198 3598 | 1.025 % | c | 12137 | 3959 4272 981900 | 7320 3536 3598 | 1.025 % | c | 12643 | 3959 4272 981900 | 8052 4042 3599 | 1.025 % | c | 13402 | 3959 4272 981900 | 8857 4801 3598 | 1.025 % | c | 14541 | 3959 4272 981900 | 9743 5940 3597 | 1.025 % | c | 16249 | 3959 4272 981900 | 10717 7648 3598 | 1.025 % | c | 18811 | 3959 4272 981900 | 11789 10210 3599 | 1.025 % | c | 22656 | 3959 4272 981900 | 12968 14055 3599 | 1.025 % | c There are 41 assigned variables. 10 in cost function.