c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 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 | 3997 4001 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 3997 4002 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 3997 4003 19550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 3997 4004 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 3997 4005 27250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 3997 4006 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 3997 4007 34950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 3997 4008 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 3997 4009 42650 | 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 | 3997 4010 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 3997 4011 50350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 3997 4012 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 3997 4013 58050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 3997 4014 61900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 3997 4015 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 3997 4016 69600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 3997 4017 73450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 3997 4018 77300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 0 | 3997 4019 81150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 3997 4020 85000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 0 | 3997 4021 88850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 3997 4022 92700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 3997 4023 96550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 3997 4024 100400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 0 | 3997 4025 104250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 3997 4026 108100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 3997 4027 111950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 0 | 3997 4028 115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 0 | 3997 4029 119650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 0 | 3997 4030 123500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 0 | 3997 4031 127350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 3997 4032 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 0 | 3997 4033 135050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 0 | 3997 4034 138900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 0 | 3997 4035 142750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 0 | 3997 4036 146600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 0 | 3997 4037 150450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 0 | 3997 4038 154300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 0 | 3997 4039 158150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 0 | 3997 4040 162000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 1.17082 s Remaining CPU time: 178.829 s c =============================================================================== c | 0 | 3997 4041 165850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 0 | 3997 4042 169700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 0 | 3997 4043 173550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 1.39079 s Remaining CPU time: 178.609 s c =============================================================================== c | 0 | 3997 4044 177400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 0 | 3997 4045 181250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 1.54476 s Remaining CPU time: 178.455 s c =============================================================================== c | 0 | 3997 4046 185100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 1.62575 s Remaining CPU time: 178.374 s c =============================================================================== c | 0 | 3997 4047 188950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 1.70874 s Remaining CPU time: 178.291 s c =============================================================================== c | 0 | 3997 4048 192800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 1.79473 s Remaining CPU time: 178.205 s c =============================================================================== c | 0 | 3997 4049 196650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 1.87971 s Remaining CPU time: 178.12 s c =============================================================================== c | 0 | 3997 4050 200500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 1.9707 s Remaining CPU time: 178.029 s c =============================================================================== c | 0 | 3997 4051 204350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 2.06369 s Remaining CPU time: 177.936 s c =============================================================================== c | 0 | 3997 4052 208200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 2.15867 s Remaining CPU time: 177.841 s c =============================================================================== c | 0 | 3997 4053 212050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 2.25366 s Remaining CPU time: 177.746 s c =============================================================================== c | 0 | 3997 4054 215900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 2.35364 s Remaining CPU time: 177.646 s c =============================================================================== c | 0 | 3997 4055 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 0 | 3997 4056 223600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 2.56061 s Remaining CPU time: 177.439 s c =============================================================================== c | 0 | 3997 4057 227450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 2.66759 s Remaining CPU time: 177.332 s c =============================================================================== c | 0 | 3997 4058 231300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 2.77858 s Remaining CPU time: 177.221 s c =============================================================================== c | 0 | 3997 4059 235150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 2.89256 s Remaining CPU time: 177.107 s c =============================================================================== c | 0 | 3997 4060 239000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 3.00854 s Remaining CPU time: 176.991 s c =============================================================================== c | 0 | 3997 4061 242850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 3.12453 s Remaining CPU time: 176.875 s c =============================================================================== c | 0 | 3997 4062 246700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 3.24551 s Remaining CPU time: 176.754 s c =============================================================================== c | 0 | 3997 4063 250550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 3.36949 s Remaining CPU time: 176.631 s c =============================================================================== c | 0 | 3997 4064 254400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 3.49447 s Remaining CPU time: 176.506 s c =============================================================================== c | 0 | 3997 4065 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 3.62245 s Remaining CPU time: 176.378 s c =============================================================================== c | 0 | 3997 4066 262100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 3.75343 s Remaining CPU time: 176.247 s c =============================================================================== c | 0 | 3997 4067 265950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 3.88641 s Remaining CPU time: 176.114 s c =============================================================================== c | 0 | 3997 4068 269800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 4.02039 s Remaining CPU time: 175.98 s c =============================================================================== c | 0 | 3997 4069 273650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 4.15337 s Remaining CPU time: 175.847 s c =============================================================================== c | 0 | 3997 4070 277500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 4.29135 s Remaining CPU time: 175.709 s c =============================================================================== c | 0 | 3997 4071 281350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 4.43233 s Remaining CPU time: 175.568 s c =============================================================================== c | 0 | 3997 4072 285200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 4.5793 s Remaining CPU time: 175.421 s c =============================================================================== c | 0 | 3997 4073 289050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 4.72528 s Remaining CPU time: 175.275 s c =============================================================================== c | 0 | 3997 4074 292900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 4.87326 s Remaining CPU time: 175.127 s c =============================================================================== c | 0 | 3997 4075 296750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 5.02324 s Remaining CPU time: 174.977 s c =============================================================================== c | 0 | 3997 4076 300600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 5.17621 s Remaining CPU time: 174.824 s c =============================================================================== c | 0 | 3997 4077 304450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 5.33019 s Remaining CPU time: 174.67 s c =============================================================================== c | 0 | 3997 4078 308300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 5.48616 s Remaining CPU time: 174.514 s c =============================================================================== c | 0 | 3997 4079 312150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 5.64314 s Remaining CPU time: 174.357 s c =============================================================================== c | 0 | 3997 4080 316000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 5.80212 s Remaining CPU time: 174.198 s c =============================================================================== c | 0 | 3997 4081 319850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 5.96009 s Remaining CPU time: 174.04 s c =============================================================================== c | 0 | 3997 4082 323700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 6.12007 s Remaining CPU time: 173.88 s c =============================================================================== c | 0 | 3997 4083 327550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 6.28204 s Remaining CPU time: 173.718 s c =============================================================================== c | 0 | 3997 4084 331400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 6.44902 s Remaining CPU time: 173.551 s c =============================================================================== c | 0 | 3997 4085 335250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 6.61699 s Remaining CPU time: 173.383 s c =============================================================================== c | 0 | 3997 4086 339100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 6.78797 s Remaining CPU time: 173.212 s c =============================================================================== c | 0 | 3997 4087 342950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 6.96094 s Remaining CPU time: 173.039 s c =============================================================================== c | 0 | 3997 4088 346800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 7.13591 s Remaining CPU time: 172.864 s c =============================================================================== c | 0 | 3997 4089 350650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 7.31489 s Remaining CPU time: 172.685 s c =============================================================================== c | 0 | 3997 4090 354500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 7.49186 s Remaining CPU time: 172.508 s c =============================================================================== c | 0 | 3997 4091 358350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 7.67283 s Remaining CPU time: 172.327 s c =============================================================================== c | 0 | 3997 4092 362200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 7.85881 s Remaining CPU time: 172.141 s c =============================================================================== c | 0 | 3997 4093 366050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 8.04578 s Remaining CPU time: 171.954 s c =============================================================================== c | 0 | 3997 4094 369900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 8.23775 s Remaining CPU time: 171.762 s c =============================================================================== c | 0 | 3997 4095 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 8.43272 s Remaining CPU time: 171.567 s c =============================================================================== c | 0 | 3997 4096 377600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 8.62969 s Remaining CPU time: 171.37 s c =============================================================================== c | 0 | 3997 4097 381450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 8.82966 s Remaining CPU time: 171.17 s c =============================================================================== c | 0 | 3997 4098 385300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 9.02863 s Remaining CPU time: 170.971 s c =============================================================================== c | 0 | 3997 4099 389150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 9.2296 s Remaining CPU time: 170.77 s c =============================================================================== c | 0 | 3997 4100 393000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 9.43356 s Remaining CPU time: 170.566 s c =============================================================================== c | 0 | 3997 4101 396850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 9.65553 s Remaining CPU time: 170.344 s c =============================================================================== c | 0 | 3997 4102 400700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 9.8785 s Remaining CPU time: 170.122 s c =============================================================================== c | 0 | 3997 4103 404550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 10.1055 s Remaining CPU time: 169.895 s c =============================================================================== c | 0 | 3997 4104 408400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 10.3344 s Remaining CPU time: 169.666 s c =============================================================================== c | 0 | 3997 4105 412250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 10.5634 s Remaining CPU time: 169.437 s c =============================================================================== c | 0 | 3997 4106 416100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 10.7944 s Remaining CPU time: 169.206 s c =============================================================================== c | 0 | 3997 4107 419950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 11.0263 s Remaining CPU time: 168.974 s c =============================================================================== c | 0 | 3997 4108 423800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 11.2663 s Remaining CPU time: 168.734 s c =============================================================================== c | 0 | 3997 4109 427650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 11.5092 s Remaining CPU time: 168.491 s c =============================================================================== c | 0 | 3997 4110 431500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 11.7532 s Remaining CPU time: 168.247 s c =============================================================================== c | 0 | 3997 4111 435350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 11.9982 s Remaining CPU time: 168.002 s c =============================================================================== c | 0 | 3997 4112 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 12.2431 s Remaining CPU time: 167.757 s c =============================================================================== c | 0 | 3997 4113 443050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 12.4921 s Remaining CPU time: 167.508 s c =============================================================================== c | 0 | 3997 4114 446900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 12.7411 s Remaining CPU time: 167.259 s c =============================================================================== c | 0 | 3997 4115 450750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 12.991 s Remaining CPU time: 167.009 s c =============================================================================== c | 0 | 3997 4116 454600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 13.245 s Remaining CPU time: 166.755 s c =============================================================================== c | 0 | 3997 4117 458450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 13.5009 s Remaining CPU time: 166.499 s c =============================================================================== c | 0 | 3997 4118 462300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 13.7589 s Remaining CPU time: 166.241 s c =============================================================================== c | 0 | 3997 4119 466150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 14.0139 s Remaining CPU time: 165.986 s c =============================================================================== c | 0 | 3997 4120 470000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 14.2758 s Remaining CPU time: 165.724 s c =============================================================================== c | 0 | 3997 4121 473850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 14.5398 s Remaining CPU time: 165.46 s c =============================================================================== c | 0 | 3997 4122 477700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 14.8047 s Remaining CPU time: 165.195 s c =============================================================================== c | 0 | 3997 4123 481550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 15.0687 s Remaining CPU time: 164.931 s c =============================================================================== c | 0 | 3997 4124 485400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 15.3377 s Remaining CPU time: 164.662 s c =============================================================================== c | 0 | 3997 4125 489250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 15.6066 s Remaining CPU time: 164.393 s c =============================================================================== c | 0 | 3997 4126 493100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 15.8786 s Remaining CPU time: 164.121 s c =============================================================================== c | 0 | 3997 4127 496950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 16.1505 s Remaining CPU time: 163.849 s c =============================================================================== c | 0 | 3997 4128 500800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 16.4265 s Remaining CPU time: 163.573 s c =============================================================================== c | 0 | 3997 4129 504650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 16.7025 s Remaining CPU time: 163.298 s c =============================================================================== c | 0 | 3997 4130 508500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 16.9784 s Remaining CPU time: 163.022 s c =============================================================================== c | 0 | 3997 4131 512350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 17.2574 s Remaining CPU time: 162.743 s c =============================================================================== c | 0 | 3997 4132 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 17.5363 s Remaining CPU time: 162.464 s c =============================================================================== c | 0 | 3997 4133 520050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 17.8183 s Remaining CPU time: 162.182 s c =============================================================================== c | 0 | 3997 4134 523900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 18.1032 s Remaining CPU time: 161.897 s c =============================================================================== c | 0 | 3997 4135 527750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 18.3902 s Remaining CPU time: 161.61 s c =============================================================================== c | 0 | 3997 4136 531600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 18.6802 s Remaining CPU time: 161.32 s c =============================================================================== c | 0 | 3997 4137 535450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 18.9711 s Remaining CPU time: 161.029 s c =============================================================================== c | 0 | 3997 4138 539300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 19.2651 s Remaining CPU time: 160.735 s c =============================================================================== c | 0 | 3997 4139 543150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 19.561 s Remaining CPU time: 160.439 s c =============================================================================== c | 0 | 3997 4140 547000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 19.858 s Remaining CPU time: 160.142 s c =============================================================================== c | 0 | 3997 4141 550850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 20.1619 s Remaining CPU time: 159.838 s c =============================================================================== c | 0 | 3997 4142 554700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 20.4649 s Remaining CPU time: 159.535 s c =============================================================================== c | 0 | 3997 4143 558550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 20.7698 s Remaining CPU time: 159.23 s c =============================================================================== c | 0 | 3997 4144 562400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 21.0798 s Remaining CPU time: 158.92 s c =============================================================================== c | 0 | 3997 4145 566250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 21.3877 s Remaining CPU time: 158.612 s c =============================================================================== c | 0 | 3997 4146 570100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 21.6997 s Remaining CPU time: 158.3 s c =============================================================================== c | 0 | 3997 4147 573950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 22.0167 s Remaining CPU time: 157.983 s c =============================================================================== c | 0 | 3997 4148 577800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 22.3336 s Remaining CPU time: 157.666 s c =============================================================================== c | 0 | 3997 4149 581650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 22.6526 s Remaining CPU time: 157.347 s c =============================================================================== c | 0 | 3997 4150 585500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 22.9735 s Remaining CPU time: 157.026 s c =============================================================================== c | 0 | 3997 4151 589350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 23.2965 s Remaining CPU time: 156.704 s c =============================================================================== c | 0 | 3997 4152 593200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 23.6224 s Remaining CPU time: 156.378 s c =============================================================================== c | 0 | 3997 4153 597050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 23.9524 s Remaining CPU time: 156.048 s c =============================================================================== c | 0 | 3997 4154 600900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 24.2863 s Remaining CPU time: 155.714 s c =============================================================================== c | 0 | 3997 4155 604750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 24.6213 s Remaining CPU time: 155.379 s c =============================================================================== c | 0 | 3997 4156 608600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 24.9582 s Remaining CPU time: 155.042 s c =============================================================================== c | 0 | 3997 4157 612450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 25.2992 s Remaining CPU time: 154.701 s c =============================================================================== c | 0 | 3997 4158 616300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 25.6421 s Remaining CPU time: 154.358 s c =============================================================================== c | 0 | 3997 4159 620150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 25.984 s Remaining CPU time: 154.016 s c =============================================================================== c | 0 | 3997 4160 624000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 26.332 s Remaining CPU time: 153.668 s c =============================================================================== c | 0 | 3997 4161 627850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 26.6809 s Remaining CPU time: 153.319 s c =============================================================================== c | 0 | 3997 4162 631700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 27.0319 s Remaining CPU time: 152.968 s c =============================================================================== c | 0 | 3997 4163 635550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 27.4208 s Remaining CPU time: 152.579 s c =============================================================================== c | 0 | 3997 4164 639400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 27.8058 s Remaining CPU time: 152.194 s c =============================================================================== c | 0 | 3997 4165 643250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 28.1957 s Remaining CPU time: 151.804 s c =============================================================================== c | 0 | 3997 4166 647100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 28.5857 s Remaining CPU time: 151.414 s c =============================================================================== c | 0 | 3997 4167 650950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 28.9796 s Remaining CPU time: 151.02 s c =============================================================================== c | 0 | 3997 4168 654800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 29.3755 s Remaining CPU time: 150.624 s c =============================================================================== c | 0 | 3997 4169 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 29.7755 s Remaining CPU time: 150.225 s c =============================================================================== c | 0 | 3997 4170 662500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 30.1744 s Remaining CPU time: 149.826 s c =============================================================================== c | 0 | 3997 4171 666350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 30.5734 s Remaining CPU time: 149.427 s c =============================================================================== c | 0 | 3997 4172 670200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 30.9773 s Remaining CPU time: 149.023 s c =============================================================================== c | 0 | 3997 4173 674050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 31.3972 s Remaining CPU time: 148.603 s c =============================================================================== c | 0 | 3997 4174 677900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 31.8192 s Remaining CPU time: 148.181 s c =============================================================================== c | 0 | 3997 4175 681750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 32.2411 s Remaining CPU time: 147.759 s c =============================================================================== c | 0 | 3997 4176 685600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 32.662 s Remaining CPU time: 147.338 s c =============================================================================== c | 0 | 3997 4177 689450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 33.083 s Remaining CPU time: 146.917 s c =============================================================================== c | 0 | 3997 4178 693300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 33.5069 s Remaining CPU time: 146.493 s c =============================================================================== c | 0 | 3997 4179 697150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 33.9308 s Remaining CPU time: 146.069 s c =============================================================================== c | 0 | 3997 4180 701000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 34.3508 s Remaining CPU time: 145.649 s c =============================================================================== c | 0 | 3997 4181 704850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 34.7747 s Remaining CPU time: 145.225 s c =============================================================================== c | 0 | 3997 4182 708700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 35.1996 s Remaining CPU time: 144.8 s c =============================================================================== c | 0 | 3997 4183 712550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 35.6276 s Remaining CPU time: 144.372 s c =============================================================================== c | 0 | 3997 4184 716400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 36.0535 s Remaining CPU time: 143.946 s c =============================================================================== c | 0 | 3997 4185 720250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 36.4825 s Remaining CPU time: 143.518 s c =============================================================================== c | 0 | 3997 4186 724100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 36.9104 s Remaining CPU time: 143.09 s c =============================================================================== c | 0 | 3997 4187 727950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 37.3433 s Remaining CPU time: 142.657 s c =============================================================================== c | 0 | 3997 4188 731800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 37.7763 s Remaining CPU time: 142.224 s c =============================================================================== c | 0 | 3997 4189 735650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 38.2102 s Remaining CPU time: 141.79 s c =============================================================================== c | 0 | 3997 4190 739500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 38.6471 s Remaining CPU time: 141.353 s c =============================================================================== c | 0 | 3997 4191 743350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 39.0851 s Remaining CPU time: 140.915 s c =============================================================================== c | 0 | 3997 4192 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 39.524 s Remaining CPU time: 140.476 s c =============================================================================== c | 0 | 3997 4193 751050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 39.9649 s Remaining CPU time: 140.035 s c =============================================================================== c | 0 | 3997 4194 754900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 40.4059 s Remaining CPU time: 139.594 s c =============================================================================== c | 0 | 3997 4195 758750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 40.8488 s Remaining CPU time: 139.151 s c =============================================================================== c | 0 | 3997 4196 762600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 41.2947 s Remaining CPU time: 138.705 s c =============================================================================== c | 0 | 3997 4197 766450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 41.7367 s Remaining CPU time: 138.263 s c =============================================================================== c | 0 | 3997 4198 770300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 42.1836 s Remaining CPU time: 137.816 s c =============================================================================== c | 0 | 3997 4199 774150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 42.6325 s Remaining CPU time: 137.367 s c =============================================================================== c | 0 | 3997 4200 778000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 43.0804 s Remaining CPU time: 136.92 s c =============================================================================== c | 0 | 3997 4201 781850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 43.5334 s Remaining CPU time: 136.467 s c =============================================================================== c | 0 | 3997 4202 785700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 43.9863 s Remaining CPU time: 136.014 s c =============================================================================== c | 0 | 3997 4203 789550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 44.4382 s Remaining CPU time: 135.562 s c =============================================================================== c | 0 | 3997 4204 793400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 44.8922 s Remaining CPU time: 135.108 s c =============================================================================== c | 0 | 3997 4205 797250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 45.3491 s Remaining CPU time: 134.651 s c =============================================================================== c | 0 | 3997 4206 801100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 45.807 s Remaining CPU time: 134.193 s c =============================================================================== c | 0 | 3997 4207 804950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 46.266 s Remaining CPU time: 133.734 s c =============================================================================== c | 0 | 3997 4208 808800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 46.7269 s Remaining CPU time: 133.273 s c =============================================================================== c | 0 | 3997 4209 812650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 47.1898 s Remaining CPU time: 132.81 s c =============================================================================== c | 0 | 3997 4210 816500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 47.6568 s Remaining CPU time: 132.343 s c =============================================================================== c | 0 | 3997 4211 820350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 48.1377 s Remaining CPU time: 131.862 s c =============================================================================== c | 0 | 3997 4212 824200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 48.6186 s Remaining CPU time: 131.381 s c =============================================================================== c | 0 | 3997 4213 828050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 49.0995 s Remaining CPU time: 130.9 s c =============================================================================== c | 0 | 3997 4214 831900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 49.5845 s Remaining CPU time: 130.416 s c =============================================================================== c | 0 | 3997 4215 835750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 50.0674 s Remaining CPU time: 129.933 s c =============================================================================== c | 0 | 3997 4216 839600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 50.5543 s Remaining CPU time: 129.446 s c =============================================================================== c | 0 | 3997 4217 843450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 51.0452 s Remaining CPU time: 128.955 s c =============================================================================== c | 0 | 3997 4218 847300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 51.5302 s Remaining CPU time: 128.47 s c =============================================================================== c | 0 | 3997 4219 851150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 52.0341 s Remaining CPU time: 127.966 s c =============================================================================== c | 2 | 3997 4220 855000 | 5000 2 3634 | 0.000 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 52.555 s Remaining CPU time: 127.445 s c =============================================================================== c | 2 | 3997 4221 858850 | 5000 2 3634 | 0.000 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 53.0879 s Remaining CPU time: 126.912 s c =============================================================================== c | 2 | 3997 4222 862700 | 5000 2 3634 | 0.000 % | c =============================================================================== c New solution: 3629 c Elapsed CPU time: 53.6188 s Remaining CPU time: 126.381 s c =============================================================================== c | 2 | 3997 4223 866550 | 5000 2 3634 | 0.000 % | c =============================================================================== c New solution: 3628 c Elapsed CPU time: 54.1488 s Remaining CPU time: 125.851 s c =============================================================================== c | 2 | 3997 4224 870400 | 5000 2 3634 | 0.000 % | c =============================================================================== c New solution: 3627 c Elapsed CPU time: 54.6887 s Remaining CPU time: 125.311 s c =============================================================================== c | 3 | 3997 4225 874250 | 5000 3 3632 | 0.000 % | c =============================================================================== c New solution: 3626 c Elapsed CPU time: 55.2056 s Remaining CPU time: 124.794 s c =============================================================================== c | 6 | 3997 4226 878100 | 5000 6 3630 | 0.000 % | c =============================================================================== c New solution: 3625 c Elapsed CPU time: 55.7385 s Remaining CPU time: 124.261 s c =============================================================================== c | 11 | 3997 4227 881950 | 5000 11 3629 | 0.000 % | c =============================================================================== c New solution: 3624 c Elapsed CPU time: 56.2684 s Remaining CPU time: 123.732 s c =============================================================================== c | 16 | 3997 4228 885800 | 5000 16 3628 | 0.000 % | c =============================================================================== c New solution: 3623 c Elapsed CPU time: 56.8524 s Remaining CPU time: 123.148 s c =============================================================================== c | 20 | 3997 4229 889650 | 5000 20 3628 | 0.000 % | c =============================================================================== c New solution: 3622 c Elapsed CPU time: 57.4433 s Remaining CPU time: 122.557 s c =============================================================================== c | 20 | 3997 4230 893500 | 5000 20 3628 | 0.000 % | c =============================================================================== c New solution: 3621 c Elapsed CPU time: 58.0422 s Remaining CPU time: 121.958 s c =============================================================================== c | 22 | 3997 4231 897350 | 5000 22 3627 | 0.000 % | c =============================================================================== c New solution: 3620 c Elapsed CPU time: 58.6591 s Remaining CPU time: 121.341 s c =============================================================================== c | 22 | 3997 4232 901200 | 5000 22 3627 | 0.000 % | c =============================================================================== c New solution: 3619 c Elapsed CPU time: 59.305 s Remaining CPU time: 120.695 s c =============================================================================== c | 41 | 3997 4233 905050 | 5000 41 3624 | 0.000 % | c | 141 | 3997 4233 905050 | 5500 141 3622 | 0.075 % | c =============================================================================== c New solution: 3618 c Elapsed CPU time: 60.7558 s Remaining CPU time: 119.244 s c =============================================================================== c | 141 | 3997 4234 908900 | 5000 141 3622 | 0.075 % | c =============================================================================== c New solution: 3617 c Elapsed CPU time: 61.3237 s Remaining CPU time: 118.676 s c =============================================================================== c | 141 | 3997 4235 912750 | 5000 141 3622 | 0.075 % | c =============================================================================== c New solution: 3616 c Elapsed CPU time: 61.9396 s Remaining CPU time: 118.06 s c =============================================================================== c | 141 | 3997 4236 916600 | 5000 141 3622 | 0.075 % | c =============================================================================== c New solution: 3615 c Elapsed CPU time: 62.5645 s Remaining CPU time: 117.436 s c =============================================================================== c | 141 | 3997 4237 920450 | 5000 141 3622 | 0.075 % | c =============================================================================== c New solution: 3614 c Elapsed CPU time: 63.1734 s Remaining CPU time: 116.827 s c =============================================================================== c | 166 | 3997 4238 924300 | 5000 166 3621 | 0.075 % | c =============================================================================== c New solution: 3613 c Elapsed CPU time: 63.7473 s Remaining CPU time: 116.253 s c =============================================================================== c | 166 | 3997 4239 928150 | 5000 166 3621 | 0.075 % | c =============================================================================== c New solution: 3612 c Elapsed CPU time: 64.3072 s Remaining CPU time: 115.693 s c =============================================================================== c | 166 | 3997 4240 932000 | 5000 166 3621 | 0.075 % | c =============================================================================== c New solution: 3611 c Elapsed CPU time: 64.8591 s Remaining CPU time: 115.141 s c =============================================================================== c | 167 | 3997 4241 935850 | 5000 167 3621 | 0.075 % | c =============================================================================== c New solution: 3610 c Elapsed CPU time: 65.4361 s Remaining CPU time: 114.564 s c =============================================================================== c | 177 | 3997 4242 939700 | 5000 177 3621 | 0.075 % | c =============================================================================== c New solution: 3609 c Elapsed CPU time: 66.001 s Remaining CPU time: 113.999 s c =============================================================================== c | 177 | 3997 4243 943550 | 5000 177 3621 | 0.075 % | c =============================================================================== c New solution: 3608 c Elapsed CPU time: 66.5629 s Remaining CPU time: 113.437 s c =============================================================================== c | 178 | 3997 4244 947400 | 5000 178 3620 | 0.075 % | c =============================================================================== c New solution: 3607 c Elapsed CPU time: 67.1288 s Remaining CPU time: 112.871 s c =============================================================================== c | 185 | 3997 4245 951250 | 5000 185 3620 | 0.075 % | c =============================================================================== c New solution: 3606 c Elapsed CPU time: 67.7077 s Remaining CPU time: 112.292 s c =============================================================================== c | 190 | 3997 4246 955100 | 5000 190 3620 | 0.075 % | c =============================================================================== c New solution: 3605 c Elapsed CPU time: 68.2636 s Remaining CPU time: 111.736 s c =============================================================================== c | 191 | 3997 4247 958950 | 5000 191 3620 | 0.075 % | c =============================================================================== c New solution: 3604 c Elapsed CPU time: 68.8795 s Remaining CPU time: 111.12 s c =============================================================================== c | 228 | 3997 4248 962800 | 5000 228 3602 | 0.075 % | c =============================================================================== c New solution: 3603 c Elapsed CPU time: 69.6864 s Remaining CPU time: 110.314 s c =============================================================================== c | 298 | 3997 4249 966650 | 5000 298 3603 | 0.075 % | c | 398 | 3997 4249 966650 | 5500 398 3603 | 0.075 % | c =============================================================================== c New solution: 3602 c Elapsed CPU time: 71.2652 s Remaining CPU time: 108.735 s c =============================================================================== c | 453 | 3997 4250 970500 | 5000 453 3603 | 0.075 % | c =============================================================================== c New solution: 3601 c Elapsed CPU time: 72.029 s Remaining CPU time: 107.971 s c =============================================================================== c | 514 | 3997 4251 974350 | 5000 514 3603 | 0.075 % | c | 614 | 3997 4251 974350 | 5500 614 3603 | 0.075 % | c =============================================================================== c New solution: 3600 c Elapsed CPU time: 73.4048 s Remaining CPU time: 106.595 s c =============================================================================== c | 664 | 3997 4252 978200 | 5000 664 3603 | 0.075 % | c =============================================================================== c New solution: 3599 c Elapsed CPU time: 74.1457 s Remaining CPU time: 105.854 s c =============================================================================== c | 722 | 3997 4253 982050 | 5000 722 3603 | 0.075 % | c | 823 | 3997 4253 982050 | 5500 823 3603 | 0.075 % | c =============================================================================== c New solution: 3598 c Elapsed CPU time: 75.6345 s Remaining CPU time: 104.365 s c =============================================================================== c | 849 | 3997 4254 985900 | 5000 849 3603 | 0.075 % | c | 949 | 3997 4254 985900 | 5500 949 3602 | 0.075 % | c | 1099 | 3997 4254 985900 | 6050 1099 3599 | 0.075 % | c =============================================================================== c New solution: 3597 c Elapsed CPU time: 78.3591 s Remaining CPU time: 101.641 s c =============================================================================== c | 1189 | 3997 4255 989750 | 5000 1189 3599 | 0.075 % | c =============================================================================== c New solution: 3596 c Elapsed CPU time: 78.968 s Remaining CPU time: 101.032 s c =============================================================================== c | 1222 | 3997 4256 993600 | 5000 1222 3599 | 0.075 % | c | 1323 | 3997 4256 993600 | 5500 1323 3599 | 0.075 % | c =============================================================================== c New solution: 3595 c Elapsed CPU time: 80.4158 s Remaining CPU time: 99.5842 s c =============================================================================== c | 1357 | 3997 4257 997450 | 5000 1357 3598 | 0.075 % | c =============================================================================== c New solution: 3594 c Elapsed CPU time: 81.1357 s Remaining CPU time: 98.8643 s c =============================================================================== c | 1456 | 3997 4258 1001300 | 5000 1456 3596 | 0.075 % | c =============================================================================== c New solution: 3593 c Elapsed CPU time: 81.7386 s Remaining CPU time: 98.2614 s c =============================================================================== c | 1475 | 3997 4259 1005150 | 5000 1475 3596 | 0.075 % | c | 1575 | 3997 4259 1005150 | 5500 1575 3596 | 0.075 % | c =============================================================================== c New solution: 3592 c Elapsed CPU time: 83.1984 s Remaining CPU time: 96.8016 s c =============================================================================== c | 1611 | 3997 4260 1009000 | 5000 1611 3596 | 0.075 % | c =============================================================================== c New solution: 3591 c Elapsed CPU time: 83.7763 s Remaining CPU time: 96.2237 s c =============================================================================== c | 1611 | 3997 4261 1012850 | 5000 1611 3596 | 0.075 % | c =============================================================================== c New solution: 3590 c Elapsed CPU time: 84.5551 s Remaining CPU time: 95.4449 s c =============================================================================== c | 1659 | 3997 4262 1016700 | 5000 1659 3596 | 0.075 % | c | 1759 | 3997 4262 1016700 | 5500 1759 3595 | 0.075 % | c =============================================================================== c New solution: 3589 c Elapsed CPU time: 86.5768 s Remaining CPU time: 93.4232 s c =============================================================================== c | 1870 | 3997 4263 1020550 | 5000 1870 3595 | 0.075 % | c | 1970 | 3997 4263 1020550 | 5500 1970 3595 | 0.075 % | c | 2120 | 3997 4263 1020550 | 6050 2120 3595 | 0.075 % | c | 2345 | 3997 4263 1020550 | 6655 2345 3593 | 0.075 % | c | 2682 | 3997 4263 1020550 | 7320 2682 3592 | 0.075 % | c | 3189 | 3997 4263 1020550 | 8052 3189 3592 | 0.075 % | c | 3948 | 3997 4263 1020550 | 8857 3948 3592 | 0.075 % | c | 5088 | 3997 4263 1020550 | 9743 5088 3592 | 0.075 % | c | 6797 | 3997 4263 1020550 | 10717 6797 3590 | 0.075 % | c | 9359 | 3997 4263 1020550 | 11789 9359 3589 | 0.075 % | c | 13203 | 3997 4263 1020550 | 12968 13203 3589 | 0.075 % | c | 18969 | 3997 4263 1020550 | 14265 12368 3588 | 0.075 % |