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 | 3992 4002 11846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 3992 4003 15696 | 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 | 3992 4004 19546 | 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 | 3992 4005 23396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 3992 4006 27246 | 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 | 3992 4007 31096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 3992 4008 34946 | 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 | 3992 4009 38796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 3992 4010 42646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 3992 4011 46496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 3992 4012 50346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 3992 4013 54196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 3992 4014 58046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 3992 4015 61896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 3992 4016 65746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 3992 4017 69596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 3992 4018 73446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 3992 4019 77296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 0 | 3992 4020 81146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 0 | 3992 4021 84996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 3992 4022 88846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 0 | 3992 4023 92696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 0 | 3992 4024 96546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 3992 4025 100396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 0 | 3992 4026 104246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 3992 4027 108096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 3992 4028 111946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 0 | 3992 4029 115796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 0 | 3992 4030 119646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 3992 4031 123496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 0 | 3992 4032 127346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s c =============================================================================== c | 0 | 3992 4033 131196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 3992 4034 135046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 0 | 3992 4035 138896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 0 | 3992 4036 142746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 0 | 3992 4037 146596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.78588 s Remaining CPU time: 179.214 s c =============================================================================== c | 0 | 3992 4038 150446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 0 | 3992 4039 154296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 0 | 3992 4040 158146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 0 | 3992 4041 161996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 0 | 3992 4042 165846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 0 | 3992 4043 169696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 1.08683 s Remaining CPU time: 178.913 s c =============================================================================== c | 0 | 3992 4044 173546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 0 | 3992 4045 177396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 0 | 3992 4046 181246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 1.26081 s Remaining CPU time: 178.739 s c =============================================================================== c | 0 | 3992 4047 185096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 1.3218 s Remaining CPU time: 178.678 s c =============================================================================== c | 0 | 3992 4048 188946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 1.38679 s Remaining CPU time: 178.613 s c =============================================================================== c | 0 | 3992 4049 192796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 1.45278 s Remaining CPU time: 178.547 s c =============================================================================== c | 0 | 3992 4050 196646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s c =============================================================================== c | 0 | 3992 4051 200496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 1.58976 s Remaining CPU time: 178.41 s c =============================================================================== c | 0 | 3992 4052 204346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 0 | 3992 4053 208196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 1.73774 s Remaining CPU time: 178.262 s c =============================================================================== c | 0 | 3992 4054 212046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 0 | 3992 4055 215896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 0 | 3992 4056 219746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 1.9657 s Remaining CPU time: 178.034 s c =============================================================================== c | 0 | 3992 4057 223596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 0 | 3992 4058 227446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 2.13167 s Remaining CPU time: 177.868 s c =============================================================================== c | 0 | 3992 4059 231296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s c =============================================================================== c | 0 | 3992 4060 235146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 2.30165 s Remaining CPU time: 177.698 s c =============================================================================== c | 0 | 3992 4061 238996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 2.39064 s Remaining CPU time: 177.609 s c =============================================================================== c | 0 | 3992 4062 242846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 2.48062 s Remaining CPU time: 177.519 s c =============================================================================== c | 0 | 3992 4063 246696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 2.57261 s Remaining CPU time: 177.427 s c =============================================================================== c | 0 | 3992 4064 250546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 2.66759 s Remaining CPU time: 177.332 s c =============================================================================== c | 0 | 3992 4065 254396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 2.77058 s Remaining CPU time: 177.229 s c =============================================================================== c | 0 | 3992 4066 258246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 2.87456 s Remaining CPU time: 177.125 s c =============================================================================== c | 0 | 3992 4067 262096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 2.98055 s Remaining CPU time: 177.019 s c =============================================================================== c | 0 | 3992 4068 265946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s c =============================================================================== c | 0 | 3992 4069 269796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s c =============================================================================== c | 0 | 3992 4070 273646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 3.3075 s Remaining CPU time: 176.693 s c =============================================================================== c | 0 | 3992 4071 277496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 3.41648 s Remaining CPU time: 176.584 s c =============================================================================== c | 0 | 3992 4072 281346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 3.52746 s Remaining CPU time: 176.473 s c =============================================================================== c | 0 | 3992 4073 285196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 3.63945 s Remaining CPU time: 176.361 s c =============================================================================== c | 0 | 3992 4074 289046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 3.75343 s Remaining CPU time: 176.247 s c =============================================================================== c | 0 | 3992 4075 292896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 3.87441 s Remaining CPU time: 176.126 s c =============================================================================== c | 0 | 3992 4076 296746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 3.99439 s Remaining CPU time: 176.006 s c =============================================================================== c | 1 | 3992 4077 300596 | 5000 1 3778 | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 4.11537 s Remaining CPU time: 175.885 s c =============================================================================== c | 3 | 3992 4078 304446 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 4.23836 s Remaining CPU time: 175.762 s c =============================================================================== c | 3 | 3992 4079 308296 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 4.36234 s Remaining CPU time: 175.638 s c =============================================================================== c | 3 | 3992 4080 312146 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 4.48932 s Remaining CPU time: 175.511 s c =============================================================================== c | 3 | 3992 4081 315996 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 4.6243 s Remaining CPU time: 175.376 s c =============================================================================== c | 3 | 3992 4082 319846 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 4.75528 s Remaining CPU time: 175.245 s c =============================================================================== c | 3 | 3992 4083 323696 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 4.91425 s Remaining CPU time: 175.086 s c =============================================================================== c | 3 | 3992 4084 327546 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 5.07823 s Remaining CPU time: 174.922 s c =============================================================================== c | 3 | 3992 4085 331396 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 5.2492 s Remaining CPU time: 174.751 s c =============================================================================== c | 3 | 3992 4086 335246 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 5.42018 s Remaining CPU time: 174.58 s c =============================================================================== c | 3 | 3992 4087 339096 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 5.59215 s Remaining CPU time: 174.408 s c =============================================================================== c | 3 | 3992 4088 342946 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 5.75812 s Remaining CPU time: 174.242 s c =============================================================================== c | 3 | 3992 4089 346796 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 5.9161 s Remaining CPU time: 174.084 s c =============================================================================== c | 3 | 3992 4090 350646 | 5000 3 2519 | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 6.07408 s Remaining CPU time: 173.926 s c =============================================================================== c | 6 | 3992 4091 354496 | 5000 6 3141 | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 6.36703 s Remaining CPU time: 173.633 s c =============================================================================== c | 65 | 3992 4092 358346 | 5000 65 3706 | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 6.542 s Remaining CPU time: 173.458 s c =============================================================================== c | 81 | 3992 4093 362196 | 5000 81 3717 | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 6.72198 s Remaining CPU time: 173.278 s c =============================================================================== c | 100 | 3992 4094 366046 | 5000 100 3725 | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 6.88095 s Remaining CPU time: 173.119 s c =============================================================================== c | 106 | 3992 4095 369896 | 5000 106 3727 | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 7.03893 s Remaining CPU time: 172.961 s c =============================================================================== c | 106 | 3992 4096 373746 | 5000 106 3727 | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 7.2109 s Remaining CPU time: 172.789 s c =============================================================================== c | 111 | 3992 4097 377596 | 5000 111 3729 | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 7.39487 s Remaining CPU time: 172.605 s c =============================================================================== c | 115 | 3992 4098 381446 | 5000 115 3730 | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 7.57685 s Remaining CPU time: 172.423 s c =============================================================================== c | 115 | 3992 4099 385296 | 5000 115 3730 | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 7.79082 s Remaining CPU time: 172.209 s c =============================================================================== c | 148 | 3992 4100 389146 | 5000 148 3735 | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 7.97879 s Remaining CPU time: 172.021 s c =============================================================================== c | 155 | 3992 4101 392996 | 5000 155 3736 | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 8.19575 s Remaining CPU time: 171.804 s c =============================================================================== c | 182 | 3992 4102 396846 | 5000 182 3739 | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 8.41372 s Remaining CPU time: 171.586 s c =============================================================================== c | 187 | 3992 4103 400696 | 5000 187 3739 | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 8.64169 s Remaining CPU time: 171.358 s c =============================================================================== c | 207 | 3992 4104 404546 | 5000 207 3740 | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 9.00263 s Remaining CPU time: 170.997 s c =============================================================================== c | 263 | 3992 4105 408396 | 5000 263 3742 | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 9.36758 s Remaining CPU time: 170.632 s c =============================================================================== c | 327 | 3992 4106 412246 | 5000 327 3744 | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 9.59554 s Remaining CPU time: 170.404 s c =============================================================================== c | 348 | 3992 4107 416096 | 5000 348 3744 | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 9.81751 s Remaining CPU time: 170.182 s c =============================================================================== c | 365 | 3992 4108 419946 | 5000 365 3744 | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 10.0435 s Remaining CPU time: 169.957 s c =============================================================================== c | 379 | 3992 4109 423796 | 5000 379 3744 | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 10.2764 s Remaining CPU time: 169.724 s c =============================================================================== c | 402 | 3992 4110 427646 | 5000 402 3744 | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 10.4994 s Remaining CPU time: 169.501 s c =============================================================================== c | 406 | 3992 4111 431496 | 5000 406 3744 | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 10.7474 s Remaining CPU time: 169.253 s c =============================================================================== c | 415 | 3992 4112 435346 | 5000 415 3744 | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 10.9993 s Remaining CPU time: 169.001 s c =============================================================================== c | 432 | 3992 4113 439196 | 5000 432 3744 | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 11.2293 s Remaining CPU time: 168.771 s c =============================================================================== c | 445 | 3992 4114 443046 | 5000 445 3744 | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 11.4273 s Remaining CPU time: 168.573 s c =============================================================================== c | 445 | 3992 4115 446896 | 5000 445 3744 | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 11.6722 s Remaining CPU time: 168.328 s c =============================================================================== c | 471 | 3992 4116 450746 | 5000 471 3744 | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 11.8822 s Remaining CPU time: 168.118 s c =============================================================================== c | 475 | 3992 4117 454596 | 5000 475 3744 | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 12.0992 s Remaining CPU time: 167.901 s c =============================================================================== c | 496 | 3992 4118 458446 | 5000 496 3744 | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 12.3391 s Remaining CPU time: 167.661 s c =============================================================================== c | 511 | 3992 4119 462296 | 5000 511 3743 | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 12.5671 s Remaining CPU time: 167.433 s c =============================================================================== c | 528 | 3992 4120 466146 | 5000 528 3743 | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 12.8011 s Remaining CPU time: 167.199 s c =============================================================================== c | 538 | 3992 4121 469996 | 5000 538 3743 | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 13.081 s Remaining CPU time: 166.919 s c =============================================================================== c | 565 | 3992 4122 473846 | 5000 565 3742 | 0.000 % | c | 666 | 3992 4122 473846 | 5500 666 3741 | 0.200 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 13.7219 s Remaining CPU time: 166.278 s c =============================================================================== c | 725 | 3992 4123 477696 | 5000 725 3740 | 0.200 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 13.9849 s Remaining CPU time: 166.015 s c =============================================================================== c | 770 | 3992 4124 481546 | 5000 770 3740 | 0.200 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 14.2088 s Remaining CPU time: 165.791 s c =============================================================================== c | 782 | 3992 4125 485396 | 5000 782 3740 | 0.200 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 14.4308 s Remaining CPU time: 165.569 s c =============================================================================== c | 790 | 3992 4126 489246 | 5000 790 3739 | 0.200 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 14.6518 s Remaining CPU time: 165.348 s c =============================================================================== c | 790 | 3992 4127 493096 | 5000 790 3739 | 0.200 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 14.8927 s Remaining CPU time: 165.107 s c =============================================================================== c | 792 | 3992 4128 496946 | 5000 792 3739 | 0.200 % | c | 892 | 3992 4128 496946 | 5500 892 3738 | 0.200 % | c | 1042 | 3992 4128 496946 | 6050 1042 3729 | 0.200 % | c | 1267 | 3992 4128 496946 | 6655 1267 3729 | 0.200 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 16.8514 s Remaining CPU time: 163.149 s c =============================================================================== c | 1384 | 3992 4129 500796 | 5000 1384 3729 | 0.200 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 17.1684 s Remaining CPU time: 162.832 s c =============================================================================== c | 1428 | 3992 4130 504646 | 5000 1428 3728 | 0.200 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 17.5283 s Remaining CPU time: 162.472 s c =============================================================================== c | 1521 | 3992 4131 508496 | 5000 1521 3728 | 0.200 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 17.7693 s Remaining CPU time: 162.231 s c =============================================================================== c | 1545 | 3992 4132 512346 | 5000 1545 3728 | 0.200 % | c | 1645 | 3992 4132 512346 | 5500 1645 3728 | 0.200 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 18.8621 s Remaining CPU time: 161.138 s c =============================================================================== c | 1768 | 3992 4133 516196 | 5000 1768 3727 | 0.200 % | c | 1869 | 3992 4133 516196 | 5500 1869 3727 | 0.200 % | c | 2020 | 3992 4133 516196 | 6050 2020 3727 | 0.200 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 20.2259 s Remaining CPU time: 159.774 s c =============================================================================== c | 2058 | 3992 4134 520046 | 5000 2058 3727 | 0.200 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 20.4819 s Remaining CPU time: 159.518 s c =============================================================================== c | 2080 | 3992 4135 523896 | 5000 2080 3727 | 0.200 % | c | 2180 | 3992 4135 523896 | 5500 2180 3726 | 0.200 % | c | 2330 | 3992 4135 523896 | 6050 2330 3726 | 0.200 % | c | 2556 | 3992 4135 523896 | 6655 2556 3725 | 0.200 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 22.7755 s Remaining CPU time: 157.224 s c =============================================================================== c | 2665 | 3992 4136 527746 | 5000 2665 3725 | 0.200 % | c | 2765 | 3992 4136 527746 | 5500 2765 3725 | 0.200 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 23.7304 s Remaining CPU time: 156.27 s c =============================================================================== c | 2891 | 3992 4137 531596 | 5000 2891 3723 | 0.200 % | c | 2991 | 3992 4137 531596 | 5500 2991 3723 | 0.200 % | c | 3141 | 3992 4137 531596 | 6050 3141 3723 | 0.200 % | c | 3366 | 3992 4137 531596 | 6655 3366 3722 | 0.200 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 25.8141 s Remaining CPU time: 154.186 s c =============================================================================== c | 3482 | 3992 4138 535446 | 5000 3482 3722 | 0.200 % | c | 3584 | 3992 4138 535446 | 5500 3584 3722 | 0.200 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 26.49 s Remaining CPU time: 153.51 s c =============================================================================== c | 3661 | 3992 4139 539296 | 5000 3661 3722 | 0.200 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 26.8149 s Remaining CPU time: 153.185 s c =============================================================================== c | 3725 | 3992 4140 543146 | 5000 3725 3722 | 0.200 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 27.0689 s Remaining CPU time: 152.931 s c =============================================================================== c | 3743 | 3992 4141 546996 | 5000 3743 3722 | 0.200 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 27.3658 s Remaining CPU time: 152.634 s c =============================================================================== c | 3785 | 3992 4142 550846 | 5000 3785 3722 | 0.200 % | c | 3886 | 3992 4142 550846 | 5500 3886 3722 | 0.200 % | c | 4037 | 3992 4142 550846 | 6050 4037 3721 | 0.200 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 28.4707 s Remaining CPU time: 151.529 s c =============================================================================== c | 4092 | 3992 4143 554696 | 5000 4092 3721 | 0.200 % | c | 4192 | 3992 4143 554696 | 5500 4192 3721 | 0.200 % | c | 4342 | 3992 4143 554696 | 6050 4342 3721 | 0.200 % | c | 4568 | 3992 4143 554696 | 6655 4568 3720 | 0.200 % | c | 4905 | 3992 4143 554696 | 7320 4905 3720 | 0.200 % | c | 5411 | 3992 4143 554696 | 8052 5411 3719 | 0.200 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 33.3159 s Remaining CPU time: 146.684 s c =============================================================================== c | 5472 | 3992 4144 558546 | 5000 5472 3719 | 0.200 % | c | 5572 | 3992 4144 558546 | 5500 2836 3709 | 0.200 % | c | 5722 | 3992 4144 558546 | 6050 2986 3708 | 0.200 % | c | 5947 | 3992 4144 558546 | 6655 3211 3708 | 0.200 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 35.4246 s Remaining CPU time: 144.575 s c =============================================================================== c | 6149 | 3992 4145 562396 | 5000 3413 3707 | 0.200 % | c | 6250 | 3992 4145 562396 | 5500 3514 3707 | 0.200 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 36.0945 s Remaining CPU time: 143.905 s c =============================================================================== c | 6271 | 3992 4146 566246 | 5000 3535 3707 | 0.200 % | c | 6373 | 3992 4146 566246 | 5500 3637 3707 | 0.200 % | c | 6524 | 3992 4146 566246 | 6050 3788 3707 | 0.200 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 37.2693 s Remaining CPU time: 142.731 s c =============================================================================== c | 6554 | 3992 4147 570096 | 5000 3818 3707 | 0.200 % | c | 6654 | 3992 4147 570096 | 5500 3918 3707 | 0.200 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 38.2172 s Remaining CPU time: 141.783 s c =============================================================================== c | 6739 | 3992 4148 573946 | 5000 4003 3707 | 0.200 % | c | 6840 | 3992 4148 573946 | 5500 4104 3707 | 0.200 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 39.0691 s Remaining CPU time: 140.931 s c =============================================================================== c | 6918 | 3992 4149 577796 | 5000 4182 3707 | 0.200 % | c | 7019 | 3992 4149 577796 | 5500 4283 3707 | 0.200 % | c | 7169 | 3992 4149 577796 | 6050 4433 3707 | 0.200 % | c | 7395 | 3992 4149 577796 | 6655 4659 3707 | 0.200 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 41.1157 s Remaining CPU time: 138.884 s c =============================================================================== c | 7457 | 3992 4150 581646 | 5000 4721 3707 | 0.200 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 41.5167 s Remaining CPU time: 138.483 s c =============================================================================== c | 7529 | 3992 4151 585496 | 5000 4793 3707 | 0.200 % | c | 7629 | 3992 4151 585496 | 5500 4893 3707 | 0.200 % | c | 7780 | 3992 4151 585496 | 6050 5044 3707 | 0.200 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 43.1204 s Remaining CPU time: 136.88 s c =============================================================================== c | 7936 | 3992 4152 589346 | 5000 5200 3707 | 0.200 % | c | 8037 | 3992 4152 589346 | 5500 2701 3699 | 0.200 % | c | 8187 | 3992 4152 589346 | 6050 2851 3699 | 0.200 % | c | 8413 | 3992 4152 589346 | 6655 3077 3699 | 0.200 % | c | 8750 | 3992 4152 589346 | 7320 3414 3699 | 0.200 % | c | 9256 | 3992 4152 589346 | 8052 3920 3699 | 0.200 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 49.6385 s Remaining CPU time: 130.362 s c =============================================================================== c | 9885 | 3992 4153 593196 | 5000 4549 3700 | 0.200 % | c | 9985 | 3992 4153 593196 | 5500 4649 3700 | 0.200 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 50.3283 s Remaining CPU time: 129.672 s c =============================================================================== c | 10027 | 3992 4154 597046 | 5000 4691 3700 | 0.200 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 50.6193 s Remaining CPU time: 129.381 s c =============================================================================== c | 10046 | 3992 4155 600896 | 5000 4710 3700 | 0.200 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 50.9233 s Remaining CPU time: 129.077 s c =============================================================================== c | 10084 | 3992 4156 604746 | 5000 4748 3700 | 0.200 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 51.3002 s Remaining CPU time: 128.7 s c =============================================================================== c | 10144 | 3992 4157 608596 | 5000 4808 3700 | 0.200 % | c | 10244 | 3992 4157 608596 | 5500 4908 3700 | 0.200 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 52.1871 s Remaining CPU time: 127.813 s c =============================================================================== c | 10362 | 3992 4158 612446 | 5000 5026 3700 | 0.200 % | c | 10462 | 3992 4158 612446 | 5500 2613 3692 | 0.200 % | c | 10612 | 3992 4158 612446 | 6050 2763 3692 | 0.200 % | c | 10837 | 3992 4158 612446 | 6655 2988 3693 | 0.200 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 54.2368 s Remaining CPU time: 125.763 s c =============================================================================== c | 10996 | 3992 4159 616296 | 5000 3147 3693 | 0.200 % | c | 11096 | 3992 4159 616296 | 5500 3247 3693 | 0.200 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 55.2546 s Remaining CPU time: 124.745 s c =============================================================================== c | 11213 | 3992 4160 620146 | 5000 3364 3693 | 0.200 % | c | 11313 | 3992 4160 620146 | 5500 3464 3693 | 0.200 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 56.1385 s Remaining CPU time: 123.862 s c =============================================================================== c | 11382 | 3992 4161 623996 | 5000 3533 3693 | 0.200 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 56.4404 s Remaining CPU time: 123.56 s c =============================================================================== c | 11402 | 3992 4162 627846 | 5000 3553 3693 | 0.200 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 56.9323 s Remaining CPU time: 123.068 s c =============================================================================== c | 11497 | 3992 4163 631696 | 5000 3648 3693 | 0.200 % | c | 11597 | 3992 4163 631696 | 5500 3748 3693 | 0.200 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 57.7272 s Remaining CPU time: 122.273 s c =============================================================================== c | 11697 | 3992 4164 635546 | 5000 3848 3693 | 0.200 % | c | 11798 | 3992 4164 635546 | 5500 3949 3693 | 0.200 % | c | 11949 | 3992 4164 635546 | 6050 4100 3693 | 0.200 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 58.996 s Remaining CPU time: 121.004 s c =============================================================================== c | 11996 | 3992 4165 639396 | 5000 4147 3693 | 0.200 % | c | 12097 | 3992 4165 639396 | 5500 4248 3692 | 0.200 % | c | 12247 | 3992 4165 639396 | 6050 4398 3692 | 0.200 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 60.6758 s Remaining CPU time: 119.324 s c =============================================================================== c | 12367 | 3992 4166 643246 | 5000 4518 3692 | 0.200 % | c | 12467 | 3992 4166 643246 | 5500 4618 3692 | 0.200 % | c | 12617 | 3992 4166 643246 | 6050 4768 3692 | 0.200 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 62.2275 s Remaining CPU time: 117.772 s c =============================================================================== c | 12781 | 3992 4167 647096 | 5000 4932 3691 | 0.200 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 62.5525 s Remaining CPU time: 117.448 s c =============================================================================== c | 12802 | 3992 4168 650946 | 5000 4953 3691 | 0.200 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 62.8394 s Remaining CPU time: 117.161 s c =============================================================================== c | 12802 | 3992 4169 654796 | 5000 4953 3691 | 0.200 % | c | 12903 | 3992 4169 654796 | 5500 5054 3691 | 0.200 % | c | 13053 | 3992 4169 654796 | 6050 5204 3690 | 0.200 % | c | 13278 | 3992 4169 654796 | 6655 5429 3690 | 0.200 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 64.7941 s Remaining CPU time: 115.206 s c =============================================================================== c | 13316 | 3992 4170 658646 | 5000 5467 3690 | 0.200 % | c | 13416 | 3992 4170 658646 | 5500 2834 3679 | 0.200 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 65.695 s Remaining CPU time: 114.305 s c =============================================================================== c | 13500 | 3992 4171 662496 | 5000 2918 3679 | 0.200 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 66.103 s Remaining CPU time: 113.897 s c =============================================================================== c | 13581 | 3992 4172 666346 | 5000 2999 3679 | 0.200 % | c | 13683 | 3992 4172 666346 | 5500 3101 3679 | 0.200 % | c | 13833 | 3992 4172 666346 | 6050 3251 3679 | 0.200 % | c | 14059 | 3992 4172 666346 | 6655 3477 3680 | 0.200 % | c | 14396 | 3992 4172 666346 | 7320 3814 3679 | 0.200 % | c | 14903 | 3992 4172 666346 | 8052 4321 3679 | 0.200 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 71.5341 s Remaining CPU time: 108.466 s c =============================================================================== c | 15568 | 3992 4173 670196 | 5000 4986 3678 | 0.200 % | c | 15668 | 3992 4173 670196 | 5500 5086 3678 | 0.200 % | c | 15818 | 3992 4173 670196 | 6050 5236 3678 | 0.200 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 72.8699 s Remaining CPU time: 107.13 s c =============================================================================== c | 15892 | 3992 4174 674046 | 5000 5310 3678 | 0.200 % | c | 15992 | 3992 4174 674046 | 5500 2755 3667 | 0.200 % | c | 16142 | 3992 4174 674046 | 6050 2905 3667 | 0.200 % | c | 16367 | 3992 4174 674046 | 6655 3130 3667 | 0.200 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 75.2306 s Remaining CPU time: 104.769 s c =============================================================================== c | 16567 | 3992 4175 677896 | 5000 3330 3666 | 0.200 % | c | 16667 | 3992 4175 677896 | 5500 3430 3666 | 0.200 % | c | 16818 | 3992 4175 677896 | 6050 3581 3667 | 0.200 % | c | 17044 | 3992 4175 677896 | 6655 3807 3667 | 0.200 % | c | 17382 | 3992 4175 677896 | 7320 4145 3668 | 0.200 % | c | 17888 | 3992 4175 677896 | 8052 4651 3670 | 0.200 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 80.8947 s Remaining CPU time: 99.1053 s c =============================================================================== c | 18375 | 3992 4176 681746 | 5000 5138 3671 | 0.200 % | c | 18475 | 3992 4176 681746 | 5500 2669 3662 | 0.200 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 81.8965 s Remaining CPU time: 98.1035 s c =============================================================================== c | 18557 | 3992 4177 685596 | 5000 2751 3662 | 0.200 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 82.3055 s Remaining CPU time: 97.6945 s c =============================================================================== c | 18592 | 3992 4178 689446 | 5000 2786 3663 | 0.200 % | c | 18692 | 3992 4178 689446 | 5500 2886 3663 | 0.200 % | c | 18842 | 3992 4178 689446 | 6050 3036 3664 | 0.200 % | c | 19069 | 3992 4178 689446 | 6655 3263 3665 | 0.200 % | c | 19406 | 3992 4178 689446 | 7320 3600 3666 | 0.200 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 86.4219 s Remaining CPU time: 93.5781 s c =============================================================================== c | 19848 | 3992 4179 693296 | 5000 4042 3667 | 0.200 % | c | 19948 | 3992 4179 693296 | 5500 4142 3667 | 0.200 % | c | 20098 | 3992 4179 693296 | 6050 4292 3667 | 0.200 % | c | 20324 | 3992 4179 693296 | 6655 4518 3668 | 0.200 % | c | 20661 | 3992 4179 693296 | 7320 4855 3668 | 0.200 % | c | 21167 | 3992 4179 693296 | 8052 5361 3669 | 0.200 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 91.0042 s Remaining CPU time: 88.9958 s c =============================================================================== c | 21270 | 3992 4180 697146 | 5000 5464 3668 | 0.200 % | c | 21371 | 3992 4180 697146 | 5500 2833 3661 | 0.200 % | c | 21521 | 3992 4180 697146 | 6050 2983 3661 | 0.200 % | c | 21747 | 3992 4180 697146 | 6655 3209 3662 | 0.200 % | c | 22084 | 3992 4180 697146 | 7320 3546 3662 | 0.200 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 95.2055 s Remaining CPU time: 84.7945 s c =============================================================================== c | 22492 | 3992 4181 700996 | 5000 3954 3662 | 0.200 % | c | 22592 | 3992 4181 700996 | 5500 4054 3662 | 0.200 % | c | 22742 | 3992 4181 700996 | 6050 4204 3662 | 0.200 % | c | 22967 | 3992 4181 700996 | 6655 4429 3663 | 0.200 % | c | 23304 | 3992 4181 700996 | 7320 4766 3664 | 0.200 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 98.852 s Remaining CPU time: 81.148 s c =============================================================================== c | 23359 | 3992 4182 704846 | 5000 4821 3664 | 0.200 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 99.1839 s Remaining CPU time: 80.8161 s c =============================================================================== c | 23376 | 3992 4183 708696 | 5000 4838 3664 | 0.200 % | c | 23476 | 3992 4183 708696 | 5500 4938 3664 | 0.200 % | c | 23627 | 3992 4183 708696 | 6050 5089 3664 | 0.200 % | c | 23853 | 3992 4183 708696 | 6655 5315 3665 | 0.200 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 102.568 s Remaining CPU time: 77.4316 s c =============================================================================== c | 24189 | 3992 4184 712546 | 5000 5651 3665 | 0.200 % | c | 24290 | 3992 4184 712546 | 5500 2927 3657 | 0.200 % | c | 24440 | 3992 4184 712546 | 6050 3077 3658 | 0.200 % | c | 24665 | 3992 4184 712546 | 6655 3302 3659 | 0.200 % | c | 25002 | 3992 4184 712546 | 7320 3639 3660 | 0.200 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 106.596 s Remaining CPU time: 73.4042 s c =============================================================================== c | 25447 | 3992 4185 716396 | 5000 4084 3661 | 0.200 % |