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 4007 11833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 3992 4008 15683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 3992 4009 19533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 3992 4010 23383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 3992 4011 27233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 3992 4012 31083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 3992 4013 34933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 3992 4014 38783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 3992 4015 42633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 3992 4016 46483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 3992 4017 50333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 3992 4018 54183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 3992 4019 58033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 3992 4020 61883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 3992 4021 65733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 3992 4022 69583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 3992 4023 73433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 3992 4024 77283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 3992 4025 81133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 0 | 3992 4026 84983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 3992 4027 88833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 0 | 3992 4028 92683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 0 | 3992 4029 96533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 0 | 3992 4030 100383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 3992 4031 104233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 0 | 3992 4032 108083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 3992 4033 111933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 3992 4034 115783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 3992 4035 119633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 0 | 3992 4036 123483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 0 | 3992 4037 127333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 0 | 3992 4038 131183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.752885 s Remaining CPU time: 179.247 s c =============================================================================== c | 0 | 3992 4039 135033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 0 | 3992 4040 138883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 0 | 3992 4041 142733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 0 | 3992 4042 146583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s c =============================================================================== c | 0 | 3992 4043 150433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 0 | 3992 4044 154283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 0 | 3992 4045 158133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 0 | 3992 4046 161983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 0 | 3992 4047 165833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 0 | 3992 4048 169683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 0 | 3992 4049 173533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 1.42378 s Remaining CPU time: 178.576 s c =============================================================================== c | 0 | 3992 4050 177383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 0 | 3992 4051 181233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 1.57476 s Remaining CPU time: 178.425 s c =============================================================================== c | 0 | 3992 4052 185083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 0 | 3992 4053 188933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 1.73673 s Remaining CPU time: 178.263 s c =============================================================================== c | 0 | 3992 4054 192783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s c =============================================================================== c | 0 | 3992 4055 196633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 1.91471 s Remaining CPU time: 178.085 s c =============================================================================== c | 0 | 3992 4056 200483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 0 | 3992 4057 204333 | 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 | 3992 4058 208183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 2.19667 s Remaining CPU time: 177.803 s c =============================================================================== c | 0 | 3992 4059 212033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 2.29565 s Remaining CPU time: 177.704 s c =============================================================================== c | 0 | 3992 4060 215883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 2.39663 s Remaining CPU time: 177.603 s c =============================================================================== c | 0 | 3992 4061 219733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s c =============================================================================== c | 0 | 3992 4062 223583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 2.6046 s Remaining CPU time: 177.395 s c =============================================================================== c | 0 | 3992 4063 227433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 2.71559 s Remaining CPU time: 177.284 s c =============================================================================== c | 0 | 3992 4064 231283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 2.82657 s Remaining CPU time: 177.173 s c =============================================================================== c | 0 | 3992 4065 235133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 0 | 3992 4066 238983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 3.05654 s Remaining CPU time: 176.943 s c =============================================================================== c | 0 | 3992 4067 242833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 3.17152 s Remaining CPU time: 176.828 s c =============================================================================== c | 0 | 3992 4068 246683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 3.2915 s Remaining CPU time: 176.709 s c =============================================================================== c | 0 | 3992 4069 250533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 3.41848 s Remaining CPU time: 176.582 s c =============================================================================== c | 0 | 3992 4070 254383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 3.54646 s Remaining CPU time: 176.454 s c =============================================================================== c | 0 | 3992 4071 258233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 0 | 3992 4072 262083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 3.81042 s Remaining CPU time: 176.19 s c =============================================================================== c | 0 | 3992 4073 265933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 3.9454 s Remaining CPU time: 176.055 s c =============================================================================== c | 0 | 3992 4074 269783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 4.08338 s Remaining CPU time: 175.917 s c =============================================================================== c | 0 | 3992 4075 273633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 4.22136 s Remaining CPU time: 175.779 s c =============================================================================== c | 0 | 3992 4076 277483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 4.36234 s Remaining CPU time: 175.638 s c =============================================================================== c | 0 | 3992 4077 281333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 4.50531 s Remaining CPU time: 175.495 s c =============================================================================== c | 0 | 3992 4078 285183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 4.65429 s Remaining CPU time: 175.346 s c =============================================================================== c | 0 | 3992 4079 289033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 4.80127 s Remaining CPU time: 175.199 s c =============================================================================== c | 0 | 3992 4080 292883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 4.95425 s Remaining CPU time: 175.046 s c =============================================================================== c | 0 | 3992 4081 296733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 5.10922 s Remaining CPU time: 174.891 s c =============================================================================== c | 0 | 3992 4082 300583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 5.2682 s Remaining CPU time: 174.732 s c =============================================================================== c | 0 | 3992 4083 304433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 5.42617 s Remaining CPU time: 174.574 s c =============================================================================== c | 0 | 3992 4084 308283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 5.58515 s Remaining CPU time: 174.415 s c =============================================================================== c | 0 | 3992 4085 312133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 5.74813 s Remaining CPU time: 174.252 s c =============================================================================== c | 0 | 3992 4086 315983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 5.9141 s Remaining CPU time: 174.086 s c =============================================================================== c | 0 | 3992 4087 319833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 6.08207 s Remaining CPU time: 173.918 s c =============================================================================== c | 0 | 3992 4088 323683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 6.25505 s Remaining CPU time: 173.745 s c =============================================================================== c | 0 | 3992 4089 327533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 6.43102 s Remaining CPU time: 173.569 s c =============================================================================== c | 0 | 3992 4090 331383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 6.60999 s Remaining CPU time: 173.39 s c =============================================================================== c | 0 | 3992 4091 335233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 6.79197 s Remaining CPU time: 173.208 s c =============================================================================== c | 0 | 3992 4092 339083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 6.97394 s Remaining CPU time: 173.026 s c =============================================================================== c | 0 | 3992 4093 342933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 7.15691 s Remaining CPU time: 172.843 s c =============================================================================== c | 0 | 3992 4094 346783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 7.34388 s Remaining CPU time: 172.656 s c =============================================================================== c | 0 | 3992 4095 350633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 7.53485 s Remaining CPU time: 172.465 s c =============================================================================== c | 0 | 3992 4096 354483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 7.72682 s Remaining CPU time: 172.273 s c =============================================================================== c | 0 | 3992 4097 358333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 7.92279 s Remaining CPU time: 172.077 s c =============================================================================== c | 0 | 3992 4098 362183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 8.12476 s Remaining CPU time: 171.875 s c =============================================================================== c | 0 | 3992 4099 366033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 8.32673 s Remaining CPU time: 171.673 s c =============================================================================== c | 0 | 3992 4100 369883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 8.5337 s Remaining CPU time: 171.466 s c =============================================================================== c | 0 | 3992 4101 373733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 8.74067 s Remaining CPU time: 171.259 s c =============================================================================== c | 0 | 3992 4102 377583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 8.94964 s Remaining CPU time: 171.05 s c =============================================================================== c | 0 | 3992 4103 381433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 9.16361 s Remaining CPU time: 170.836 s c =============================================================================== c | 0 | 3992 4104 385283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 9.37957 s Remaining CPU time: 170.62 s c =============================================================================== c | 0 | 3992 4105 389133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 9.59654 s Remaining CPU time: 170.403 s c =============================================================================== c | 0 | 3992 4106 392983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 9.81851 s Remaining CPU time: 170.181 s c =============================================================================== c | 0 | 3992 4107 396833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 10.0415 s Remaining CPU time: 169.959 s c =============================================================================== c | 0 | 3992 4108 400683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 10.2644 s Remaining CPU time: 169.736 s c =============================================================================== c | 0 | 3992 4109 404533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 10.4904 s Remaining CPU time: 169.51 s c =============================================================================== c | 0 | 3992 4110 408383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 10.7214 s Remaining CPU time: 169.279 s c =============================================================================== c | 0 | 3992 4111 412233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 10.9533 s Remaining CPU time: 169.047 s c =============================================================================== c | 0 | 3992 4112 416083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 11.1883 s Remaining CPU time: 168.812 s c =============================================================================== c | 0 | 3992 4113 419933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 11.4303 s Remaining CPU time: 168.57 s c =============================================================================== c | 0 | 3992 4114 423783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 11.6772 s Remaining CPU time: 168.323 s c =============================================================================== c | 0 | 3992 4115 427633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 11.9282 s Remaining CPU time: 168.072 s c =============================================================================== c | 0 | 3992 4116 431483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 12.1771 s Remaining CPU time: 167.823 s c =============================================================================== c | 0 | 3992 4117 435333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 12.4301 s Remaining CPU time: 167.57 s c =============================================================================== c | 0 | 3992 4118 439183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 12.6871 s Remaining CPU time: 167.313 s c =============================================================================== c | 0 | 3992 4119 443033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 12.944 s Remaining CPU time: 167.056 s c =============================================================================== c | 0 | 3992 4120 446883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 13.205 s Remaining CPU time: 166.795 s c =============================================================================== c | 0 | 3992 4121 450733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 13.468 s Remaining CPU time: 166.532 s c =============================================================================== c | 0 | 3992 4122 454583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 13.7319 s Remaining CPU time: 166.268 s c =============================================================================== c | 0 | 3992 4123 458433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 13.9979 s Remaining CPU time: 166.002 s c =============================================================================== c | 0 | 3992 4124 462283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 14.2658 s Remaining CPU time: 165.734 s c =============================================================================== c | 0 | 3992 4125 466133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 14.5328 s Remaining CPU time: 165.467 s c =============================================================================== c | 0 | 3992 4126 469983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 14.8047 s Remaining CPU time: 165.195 s c =============================================================================== c | 0 | 3992 4127 473833 | 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 | 3992 4128 477683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 15.3527 s Remaining CPU time: 164.647 s c =============================================================================== c | 0 | 3992 4129 481533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 15.6296 s Remaining CPU time: 164.37 s c =============================================================================== c | 0 | 3992 4130 485383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 15.9156 s Remaining CPU time: 164.084 s c =============================================================================== c | 0 | 3992 4131 489233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 16.2155 s Remaining CPU time: 163.784 s c =============================================================================== c | 0 | 3992 4132 493083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 16.5155 s Remaining CPU time: 163.485 s c =============================================================================== c | 0 | 3992 4133 496933 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 16.8114 s Remaining CPU time: 163.189 s c =============================================================================== c | 0 | 3992 4134 500783 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 17.1154 s Remaining CPU time: 162.885 s c =============================================================================== c | 0 | 3992 4135 504633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 17.4164 s Remaining CPU time: 162.584 s c =============================================================================== c | 0 | 3992 4136 508483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 17.7193 s Remaining CPU time: 162.281 s c =============================================================================== c | 0 | 3992 4137 512333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 18.0253 s Remaining CPU time: 161.975 s c =============================================================================== c | 0 | 3992 4138 516183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 18.3292 s Remaining CPU time: 161.671 s c =============================================================================== c | 0 | 3992 4139 520033 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 18.6342 s Remaining CPU time: 161.366 s c =============================================================================== c | 0 | 3992 4140 523883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 18.9811 s Remaining CPU time: 161.019 s c =============================================================================== c | 0 | 3992 4141 527733 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 19.3401 s Remaining CPU time: 160.66 s c =============================================================================== c | 0 | 3992 4142 531583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 19.702 s Remaining CPU time: 160.298 s c =============================================================================== c | 0 | 3992 4143 535433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 20.0669 s Remaining CPU time: 159.933 s c =============================================================================== c | 0 | 3992 4144 539283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 20.4319 s Remaining CPU time: 159.568 s c =============================================================================== c | 0 | 3992 4145 543133 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 20.7968 s Remaining CPU time: 159.203 s c =============================================================================== c | 0 | 3992 4146 546983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 21.1638 s Remaining CPU time: 158.836 s c =============================================================================== c | 0 | 3992 4147 550833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 21.5387 s Remaining CPU time: 158.461 s c =============================================================================== c | 0 | 3992 4148 554683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 21.9067 s Remaining CPU time: 158.093 s c =============================================================================== c | 1 | 3992 4149 558533 | 5000 1 3711 | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 22.3416 s Remaining CPU time: 157.658 s c =============================================================================== c | 29 | 3992 4150 562383 | 5000 29 3711 | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 22.7475 s Remaining CPU time: 157.252 s c =============================================================================== c | 59 | 3992 4151 566233 | 5000 59 3710 | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 23.1195 s Remaining CPU time: 156.881 s c =============================================================================== c | 63 | 3992 4152 570083 | 5000 63 3710 | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 23.4764 s Remaining CPU time: 156.524 s c =============================================================================== c | 66 | 3992 4153 573933 | 5000 66 3710 | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 23.8314 s Remaining CPU time: 156.169 s c =============================================================================== c | 66 | 3992 4154 577783 | 5000 66 3710 | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 24.1893 s Remaining CPU time: 155.811 s c =============================================================================== c | 69 | 3992 4155 581633 | 5000 69 3710 | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 24.5793 s Remaining CPU time: 155.421 s c =============================================================================== c | 72 | 3992 4156 585483 | 5000 72 3709 | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 24.9442 s Remaining CPU time: 155.056 s c =============================================================================== c | 76 | 3992 4157 589333 | 5000 76 3709 | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 25.3192 s Remaining CPU time: 154.681 s c =============================================================================== c | 76 | 3992 4158 593183 | 5000 76 3709 | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 25.7211 s Remaining CPU time: 154.279 s c =============================================================================== c | 90 | 3992 4159 597033 | 5000 90 3708 | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 26.097 s Remaining CPU time: 153.903 s c =============================================================================== c | 96 | 3992 4160 600883 | 5000 96 3707 | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 26.46 s Remaining CPU time: 153.54 s c =============================================================================== c | 103 | 3992 4161 604733 | 5000 103 3707 | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 26.8289 s Remaining CPU time: 153.171 s c =============================================================================== c | 103 | 3992 4162 608583 | 5000 103 3707 | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 27.2149 s Remaining CPU time: 152.785 s c =============================================================================== c | 121 | 3992 4163 612433 | 5000 121 3705 | 0.000 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 27.5838 s Remaining CPU time: 152.416 s c =============================================================================== c | 124 | 3992 4164 616283 | 5000 124 3705 | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 27.9697 s Remaining CPU time: 152.03 s c =============================================================================== c | 124 | 3992 4165 620133 | 5000 124 3705 | 0.000 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 28.3747 s Remaining CPU time: 151.625 s c =============================================================================== c | 138 | 3992 4166 623983 | 5000 138 3704 | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 28.8026 s Remaining CPU time: 151.197 s c =============================================================================== c | 145 | 3992 4167 627833 | 5000 145 3704 | 0.000 % | c | 246 | 3992 4167 627833 | 5500 246 3699 | 0.200 % | c | 396 | 3992 4167 627833 | 6050 396 3697 | 0.200 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 30.3654 s Remaining CPU time: 149.635 s c =============================================================================== c | 416 | 3992 4168 631683 | 5000 416 3688 | 0.200 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 30.7593 s Remaining CPU time: 149.241 s c =============================================================================== c | 435 | 3992 4169 635533 | 5000 435 3688 | 0.200 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 31.1153 s Remaining CPU time: 148.885 s c =============================================================================== c | 435 | 3992 4170 639383 | 5000 435 3688 | 0.200 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 31.6172 s Remaining CPU time: 148.383 s c =============================================================================== c | 485 | 3992 4171 643233 | 5000 485 3688 | 0.200 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 32.0201 s Remaining CPU time: 147.98 s c =============================================================================== c | 494 | 3992 4172 647083 | 5000 494 3688 | 0.200 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 32.4201 s Remaining CPU time: 147.58 s c =============================================================================== c | 510 | 3992 4173 650933 | 5000 510 3688 | 0.200 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 32.967 s Remaining CPU time: 147.033 s c =============================================================================== c | 583 | 3992 4174 654783 | 5000 583 3688 | 0.200 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 33.3859 s Remaining CPU time: 146.614 s c =============================================================================== c | 616 | 3992 4175 658633 | 5000 616 3688 | 0.200 % | c | 717 | 3992 4175 658633 | 5500 717 3687 | 0.200 % | c | 867 | 3992 4175 658633 | 6050 867 3683 | 0.200 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 35.2706 s Remaining CPU time: 144.729 s c =============================================================================== c | 926 | 3992 4176 662483 | 5000 926 3683 | 0.200 % | c | 1026 | 3992 4176 662483 | 5500 1026 3683 | 0.200 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 36.1845 s Remaining CPU time: 143.816 s c =============================================================================== c | 1036 | 3992 4177 666333 | 5000 1036 3683 | 0.200 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 36.6154 s Remaining CPU time: 143.385 s c =============================================================================== c | 1061 | 3992 4178 670183 | 5000 1061 3683 | 0.200 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 37.0234 s Remaining CPU time: 142.977 s c =============================================================================== c | 1078 | 3992 4179 674033 | 5000 1078 3683 | 0.200 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 37.4083 s Remaining CPU time: 142.592 s c =============================================================================== c | 1082 | 3992 4180 677883 | 5000 1082 3683 | 0.200 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 37.7943 s Remaining CPU time: 142.206 s c =============================================================================== c | 1084 | 3992 4181 681733 | 5000 1084 3683 | 0.200 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 38.1832 s Remaining CPU time: 141.817 s c =============================================================================== c | 1086 | 3992 4182 685583 | 5000 1086 3683 | 0.200 % | c | 1186 | 3992 4182 685583 | 5500 1186 3682 | 0.200 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 39.186 s Remaining CPU time: 140.814 s c =============================================================================== c | 1202 | 3992 4183 689433 | 5000 1202 3682 | 0.200 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 39.682 s Remaining CPU time: 140.318 s c =============================================================================== c | 1247 | 3992 4184 693283 | 5000 1247 3682 | 0.200 % | c | 1347 | 3992 4184 693283 | 5500 1347 3682 | 0.200 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 40.7258 s Remaining CPU time: 139.274 s c =============================================================================== c | 1416 | 3992 4185 697133 | 5000 1416 3681 | 0.200 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 41.1457 s Remaining CPU time: 138.854 s c =============================================================================== c | 1437 | 3992 4186 700983 | 5000 1437 3681 | 0.200 % | c | 1537 | 3992 4186 700983 | 5500 1537 3681 | 0.200 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 42.2066 s Remaining CPU time: 137.793 s c =============================================================================== c | 1575 | 3992 4187 704833 | 5000 1575 3680 | 0.200 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 42.6345 s Remaining CPU time: 137.365 s c =============================================================================== c | 1601 | 3992 4188 708683 | 5000 1601 3680 | 0.200 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 43.0665 s Remaining CPU time: 136.934 s c =============================================================================== c | 1631 | 3992 4189 712533 | 5000 1631 3680 | 0.200 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 43.5204 s Remaining CPU time: 136.48 s c =============================================================================== c | 1664 | 3992 4190 716383 | 5000 1664 3680 | 0.200 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 44.0103 s Remaining CPU time: 135.99 s c =============================================================================== c | 1712 | 3992 4191 720233 | 5000 1712 3680 | 0.200 % | c | 1812 | 3992 4191 720233 | 5500 1812 3679 | 0.200 % | c | 1963 | 3992 4191 720233 | 6050 1963 3678 | 0.200 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 45.741 s Remaining CPU time: 134.259 s c =============================================================================== c | 2001 | 3992 4192 724083 | 5000 2001 3678 | 0.200 % | c | 2101 | 3992 4192 724083 | 5500 2101 3678 | 0.200 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 46.7319 s Remaining CPU time: 133.268 s c =============================================================================== c | 2133 | 3992 4193 727933 | 5000 2133 3677 | 0.200 % | c | 2233 | 3992 4193 727933 | 5500 2233 3675 | 0.200 % | c | 2383 | 3992 4193 727933 | 6050 2383 3675 | 0.200 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 48.6486 s Remaining CPU time: 131.351 s c =============================================================================== c | 2473 | 3992 4194 731783 | 5000 2473 3674 | 0.200 % | c | 2574 | 3992 4194 731783 | 5500 2574 3674 | 0.200 % | c | 2725 | 3992 4194 731783 | 6050 2725 3674 | 0.200 % | c | 2950 | 3992 4194 731783 | 6655 2950 3673 | 0.200 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 51.4062 s Remaining CPU time: 128.594 s c =============================================================================== c | 3007 | 3992 4195 735633 | 5000 3007 3673 | 0.200 % | c | 3107 | 3992 4195 735633 | 5500 3107 3673 | 0.200 % | c | 3257 | 3992 4195 735633 | 6050 3257 3672 | 0.200 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 53.3549 s Remaining CPU time: 126.645 s c =============================================================================== c | 3361 | 3992 4196 739483 | 5000 3361 3672 | 0.200 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 53.9168 s Remaining CPU time: 126.083 s c =============================================================================== c | 3437 | 3992 4197 743333 | 5000 3437 3672 | 0.200 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 54.4197 s Remaining CPU time: 125.58 s c =============================================================================== c | 3471 | 3992 4198 747183 | 5000 3471 3672 | 0.200 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 54.9326 s Remaining CPU time: 125.067 s c =============================================================================== c | 3510 | 3992 4199 751033 | 5000 3510 3672 | 0.200 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 55.3896 s Remaining CPU time: 124.61 s c =============================================================================== c | 3537 | 3992 4200 754883 | 5000 3537 3672 | 0.200 % | c | 3637 | 3992 4200 754883 | 5500 3637 3671 | 0.200 % | c | 3789 | 3992 4200 754883 | 6050 3789 3670 | 0.200 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 57.7192 s Remaining CPU time: 122.281 s c =============================================================================== c | 3863 | 3992 4201 758733 | 5000 3863 3670 | 0.200 % | c | 3964 | 3992 4201 758733 | 5500 3964 3668 | 0.200 % | c | 4114 | 3992 4201 758733 | 6050 4114 3667 | 0.200 % | c | 4339 | 3992 4201 758733 | 6655 4339 3667 | 0.200 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 60.5098 s Remaining CPU time: 119.49 s c =============================================================================== c | 4392 | 3992 4202 762583 | 5000 4392 3667 | 0.200 % | c | 4492 | 3992 4202 762583 | 5500 4492 3666 | 0.200 % | c | 4643 | 3992 4202 762583 | 6050 4643 3666 | 0.200 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 62.6005 s Remaining CPU time: 117.4 s c =============================================================================== c | 4740 | 3992 4203 766433 | 5000 4740 3666 | 0.200 % | c | 4841 | 3992 4203 766433 | 5500 4841 3666 | 0.200 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 63.7713 s Remaining CPU time: 116.229 s c =============================================================================== c | 4871 | 3992 4204 770283 | 5000 4871 3666 | 0.200 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 64.2262 s Remaining CPU time: 115.774 s c =============================================================================== c | 4885 | 3992 4205 774133 | 5000 4885 3666 | 0.200 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 64.7012 s Remaining CPU time: 115.299 s c =============================================================================== c | 4911 | 3992 4206 777983 | 5000 4911 3666 | 0.200 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 65.3891 s Remaining CPU time: 114.611 s c =============================================================================== c | 4989 | 3992 4207 781833 | 5000 4989 3665 | 0.200 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 65.923 s Remaining CPU time: 114.077 s c =============================================================================== c | 5048 | 3992 4208 785683 | 5000 5048 3665 | 0.200 % | c | 5148 | 3992 4208 785683 | 5500 2624 3652 | 0.200 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 67.1998 s Remaining CPU time: 112.8 s c =============================================================================== c | 5235 | 3992 4209 789533 | 5000 2711 3652 | 0.200 % | c | 5335 | 3992 4209 789533 | 5500 2811 3652 | 0.200 % | c | 5485 | 3992 4209 789533 | 6050 2961 3652 | 0.200 % | c | 5710 | 3992 4209 789533 | 6655 3186 3652 | 0.200 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 70.6853 s Remaining CPU time: 109.315 s c =============================================================================== c | 5997 | 3992 4210 793383 | 5000 3473 3652 | 0.200 % | c | 6097 | 3992 4210 793383 | 5500 3573 3652 | 0.200 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 71.7871 s Remaining CPU time: 108.213 s c =============================================================================== c | 6120 | 3992 4211 797233 | 5000 3596 3651 | 0.200 % | c | 6220 | 3992 4211 797233 | 5500 3696 3651 | 0.200 % | c | 6370 | 3992 4211 797233 | 6050 3846 3651 | 0.200 % | c | 6595 | 3992 4211 797233 | 6655 4071 3651 | 0.200 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 74.8896 s Remaining CPU time: 105.11 s c =============================================================================== c | 6753 | 3992 4212 801083 | 5000 4229 3651 | 0.200 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 75.3875 s Remaining CPU time: 104.612 s c =============================================================================== c | 6787 | 3992 4213 804933 | 5000 4263 3651 | 0.200 % | c | 6888 | 3992 4213 804933 | 5500 4364 3651 | 0.200 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 76.5154 s Remaining CPU time: 103.485 s c =============================================================================== c | 6919 | 3992 4214 808783 | 5000 4395 3651 | 0.200 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 77.0543 s Remaining CPU time: 102.946 s c =============================================================================== c | 6969 | 3992 4215 812633 | 5000 4445 3651 | 0.200 % | c | 7069 | 3992 4215 812633 | 5500 4545 3651 | 0.200 % | c | 7219 | 3992 4215 812633 | 6050 4695 3650 | 0.200 % | c | 7444 | 3992 4215 812633 | 6655 4920 3650 | 0.200 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 80.9447 s Remaining CPU time: 99.0553 s c =============================================================================== c | 7662 | 3992 4216 816483 | 5000 5138 3650 | 0.200 % | c | 7762 | 3992 4216 816483 | 5500 2669 3640 | 0.200 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 82.2945 s Remaining CPU time: 97.7055 s c =============================================================================== c | 7858 | 3992 4217 820333 | 5000 2765 3640 | 0.200 % | c | 7958 | 3992 4217 820333 | 5500 2865 3640 | 0.200 % | c | 8108 | 3992 4217 820333 | 6050 3015 3640 | 0.200 % | c | 8333 | 3992 4217 820333 | 6655 3240 3640 | 0.200 % | c | 8670 | 3992 4217 820333 | 7320 3577 3640 | 0.200 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 86.9398 s Remaining CPU time: 93.0602 s c =============================================================================== c | 8883 | 3992 4218 824183 | 5000 3790 3640 | 0.200 % | c | 8983 | 3992 4218 824183 | 5500 3890 3640 | 0.200 % | c | 9133 | 3992 4218 824183 | 6050 4040 3640 | 0.200 % | c | 9358 | 3992 4218 824183 | 6655 4265 3640 | 0.200 % | c | 9696 | 3992 4218 824183 | 7320 4603 3638 | 0.200 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 92.199 s Remaining CPU time: 87.801 s c =============================================================================== c | 9905 | 3992 4219 828033 | 5000 4812 3639 | 0.200 % | c | 10005 | 3992 4219 828033 | 5500 4912 3638 | 0.200 % | c | 10155 | 3992 4219 828033 | 6050 5062 3638 | 0.200 % | c | 10381 | 3992 4219 828033 | 6655 5288 3638 | 0.200 % | c | 10718 | 3992 4219 828033 | 7320 5625 3638 | 0.200 % | c | 11224 | 3992 4219 828033 | 8052 6131 3638 | 0.200 % | c | 11983 | 3992 4219 828033 | 8857 6890 3638 | 0.200 % | c | 13122 | 3992 4219 828033 | 9743 8029 3638 | 0.200 % | c | 14830 | 3992 4219 828033 | 10717 9737 3638 | 0.200 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 113.031 s Remaining CPU time: 66.9692 s c =============================================================================== c | 15656 | 3992 4220 831883 | 5000 10563 3638 | 0.200 % | c | 15756 | 3992 4220 831883 | 5500 2741 3626 | 0.200 % | c | 15906 | 3992 4220 831883 | 6050 2891 3627 | 0.200 % | c | 16131 | 3992 4220 831883 | 6655 3116 3628 | 0.200 % | c | 16468 | 3992 4220 831883 | 7320 3453 3629 | 0.200 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 118.09 s Remaining CPU time: 61.91 s c =============================================================================== c | 16520 | 3992 4221 835733 | 5000 3505 3629 | 0.200 % | c | 16621 | 3992 4221 835733 | 5500 3606 3629 | 0.200 % | c | 16771 | 3992 4221 835733 | 6050 3756 3630 | 0.200 % | c | 16997 | 3992 4221 835733 | 6655 3982 3630 | 0.200 % | c | 17336 | 3992 4221 835733 | 7320 4321 3631 | 0.200 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 122.636 s Remaining CPU time: 57.3636 s c =============================================================================== c | 17518 | 3992 4222 839583 | 5000 4503 3630 | 0.200 % | c | 17618 | 3992 4222 839583 | 5500 4603 3630 | 0.200 % | c | 17768 | 3992 4222 839583 | 6050 4753 3631 | 0.200 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 124.941 s Remaining CPU time: 55.059 s c =============================================================================== c | 17813 | 3992 4223 843433 | 5000 4798 3631 | 0.200 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 125.454 s Remaining CPU time: 54.5461 s c =============================================================================== c | 17838 | 3992 4224 847283 | 5000 4823 3631 | 0.200 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 125.97 s Remaining CPU time: 54.0302 s c =============================================================================== c | 17859 | 3992 4225 851133 | 5000 4844 3631 | 0.200 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 126.54 s Remaining CPU time: 53.4602 s c =============================================================================== c | 17913 | 3992 4226 854983 | 5000 4898 3631 | 0.200 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 127.094 s Remaining CPU time: 52.9063 s c =============================================================================== c | 17968 | 3992 4227 858833 | 5000 4953 3631 | 0.200 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 127.657 s Remaining CPU time: 52.3434 s c =============================================================================== c | 17995 | 3992 4228 862683 | 5000 4980 3631 | 0.200 % | c | 18095 | 3992 4228 862683 | 5500 5080 3631 | 0.200 % | c | 18246 | 3992 4228 862683 | 6050 5231 3631 | 0.200 % | c | 18472 | 3992 4228 862683 | 6655 5457 3631 | 0.200 % | c =============================================================================== c New solution: 3629 c Elapsed CPU time: 130.514 s Remaining CPU time: 49.4858 s c =============================================================================== c | 18500 | 3992 4229 866533 | 5000 5485 3631 | 0.200 % | c =============================================================================== c New solution: 3628 c Elapsed CPU time: 131.077 s Remaining CPU time: 48.9229 s c =============================================================================== c | 18525 | 3992 4230 870383 | 5000 2768 3626 | 0.200 % | c | 18625 | 3992 4230 870383 | 5500 2868 3625 | 0.200 % | c | 18775 | 3992 4230 870383 | 6050 3018 3625 | 0.200 % | c =============================================================================== c New solution: 3627 c Elapsed CPU time: 133.79 s Remaining CPU time: 46.2103 s c =============================================================================== c | 18861 | 3992 4231 874233 | 5000 3104 3626 | 0.200 % | c | 18961 | 3992 4231 874233 | 5500 3204 3626 | 0.200 % | c | 19111 | 3992 4231 874233 | 6050 3354 3626 | 0.200 % | c | 19337 | 3992 4231 874233 | 6655 3580 3626 | 0.200 % | c =============================================================================== c New solution: 3626 c Elapsed CPU time: 137.17 s Remaining CPU time: 42.8299 s c =============================================================================== c | 19516 | 3992 4232 878083 | 5000 3759 3626 | 0.200 % | c | 19617 | 3992 4232 878083 | 5500 3860 3626 | 0.200 % | c | 19767 | 3992 4232 878083 | 6050 4010 3626 | 0.200 % | c | 19992 | 3992 4232 878083 | 6655 4235 3626 | 0.200 % | c | 20330 | 3992 4232 878083 | 7320 4573 3626 | 0.200 % | c =============================================================================== c New solution: 3625 c Elapsed CPU time: 142.76 s Remaining CPU time: 37.2397 s c =============================================================================== c | 20746 | 3992 4233 881933 | 5000 4989 3624 | 0.200 % | c =============================================================================== c New solution: 3624 c Elapsed CPU time: 143.414 s Remaining CPU time: 36.5858 s c =============================================================================== c | 20801 | 3992 4234 885783 | 5000 5044 3624 | 0.200 % | c | 20901 | 3992 4234 885783 | 5500 2622 3612 | 0.200 % | c | 21051 | 3992 4234 885783 | 6050 2772 3612 | 0.200 % | c | 21276 | 3992 4234 885783 | 6655 2997 3612 | 0.200 % | c | 21613 | 3992 4234 885783 | 7320 3334 3611 | 0.200 % | c | 22119 | 3992 4234 885783 | 8052 3840 3612 | 0.200 % | c =============================================================================== c New solution: 3623 c Elapsed CPU time: 151.449 s Remaining CPU time: 28.551 s c =============================================================================== c | 22508 | 3992 4235 889633 | 5000 4229 3614 | 0.200 % | c | 22609 | 3992 4235 889633 | 5500 4330 3614 | 0.200 % | c | 22760 | 3992 4235 889633 | 6050 4481 3614 | 0.200 % | c | 22985 | 3992 4235 889633 | 6655 4706 3615 | 0.200 % | c | 23323 | 3992 4235 889633 | 7320 5044 3615 | 0.200 % | c | 23830 | 3992 4235 889633 | 8052 5551 3615 | 0.200 % | c | 24589 | 3992 4235 889633 | 8857 6310 3617 | 0.200 % | c =============================================================================== c New solution: 3622 c Elapsed CPU time: 162.856 s Remaining CPU time: 17.1438 s c =============================================================================== c | 25164 | 3992 4236 893483 | 5000 6885 3617 | 0.200 % | c | 25264 | 3992 4236 893483 | 5500 3543 3609 | 0.200 % |