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 | 3982 4008 11824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 3982 4009 15674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 3982 4010 19524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 3982 4011 23374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 3982 4012 27224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 3982 4013 31074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 3982 4014 34924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 3982 4015 38774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 3982 4016 42624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 3982 4017 46474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 3982 4018 50324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 3982 4019 54174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 3982 4020 58024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 0 | 3982 4021 61874 | 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 | 3982 4022 65724 | 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 | 3982 4023 69574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 3982 4024 73424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 3982 4025 77274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 0 | 3982 4026 81124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 3982 4027 84974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 0 | 3982 4028 88824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 3982 4029 92674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 3982 4030 96524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 3982 4031 100374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 3982 4032 104224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 0 | 3982 4033 108074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 0 | 3982 4034 111924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 3982 4035 115774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 3982 4036 119624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 0 | 3982 4037 123474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 3982 4038 127324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 3982 4039 131174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 0 | 3982 4040 135024 | 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 | 3982 4041 138874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 0 | 3982 4042 142724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 0 | 3982 4043 146574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 0 | 3982 4044 150424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 1.02084 s Remaining CPU time: 178.979 s c =============================================================================== c | 0 | 3982 4045 154274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 0 | 3982 4046 158124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 0 | 3982 4047 161974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 1.20882 s Remaining CPU time: 178.791 s c =============================================================================== c | 0 | 3982 4048 165824 | 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 | 3982 4049 169674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 0 | 3982 4050 173524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 1.42578 s Remaining CPU time: 178.574 s c =============================================================================== c | 0 | 3982 4051 177374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 0 | 3982 4052 181224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s c =============================================================================== c | 0 | 3982 4053 185074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 1.66075 s Remaining CPU time: 178.339 s c =============================================================================== c | 0 | 3982 4054 188924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 0 | 3982 4055 192774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 1.82572 s Remaining CPU time: 178.174 s c =============================================================================== c | 0 | 3982 4056 196624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 0 | 3982 4057 200474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 2.0027 s Remaining CPU time: 177.997 s c =============================================================================== c | 0 | 3982 4058 204324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 2.09368 s Remaining CPU time: 177.906 s c =============================================================================== c | 0 | 3982 4059 208174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 2.18767 s Remaining CPU time: 177.812 s c =============================================================================== c | 0 | 3982 4060 212024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 2.28265 s Remaining CPU time: 177.717 s c =============================================================================== c | 0 | 3982 4061 215874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 2.38164 s Remaining CPU time: 177.618 s c =============================================================================== c | 0 | 3982 4062 219724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 2.48462 s Remaining CPU time: 177.515 s c =============================================================================== c | 0 | 3982 4063 223574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 2.58761 s Remaining CPU time: 177.412 s c =============================================================================== c | 0 | 3982 4064 227424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 2.69159 s Remaining CPU time: 177.308 s c =============================================================================== c | 0 | 3982 4065 231274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 2.79857 s Remaining CPU time: 177.201 s c =============================================================================== c | 0 | 3982 4066 235124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 0 | 3982 4067 238974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 3.01954 s Remaining CPU time: 176.98 s c =============================================================================== c | 0 | 3982 4068 242824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 0 | 3982 4069 246674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 3.24351 s Remaining CPU time: 176.756 s c =============================================================================== c | 0 | 3982 4070 250524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s c =============================================================================== c | 0 | 3982 4071 254374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 3.49047 s Remaining CPU time: 176.51 s c =============================================================================== c | 0 | 3982 4072 258224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 3.61445 s Remaining CPU time: 176.386 s c =============================================================================== c | 0 | 3982 4073 262074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 3.74043 s Remaining CPU time: 176.26 s c =============================================================================== c | 0 | 3982 4074 265924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 3.87041 s Remaining CPU time: 176.13 s c =============================================================================== c | 0 | 3982 4075 269774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 4.00239 s Remaining CPU time: 175.998 s c =============================================================================== c | 0 | 3982 4076 273624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 4.13537 s Remaining CPU time: 175.865 s c =============================================================================== c | 0 | 3982 4077 277474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 4.27135 s Remaining CPU time: 175.729 s c =============================================================================== c | 0 | 3982 4078 281324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 4.40733 s Remaining CPU time: 175.593 s c =============================================================================== c | 0 | 3982 4079 285174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 4.55031 s Remaining CPU time: 175.45 s c =============================================================================== c | 0 | 3982 4080 289024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 4.69529 s Remaining CPU time: 175.305 s c =============================================================================== c | 0 | 3982 4081 292874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 4.84026 s Remaining CPU time: 175.16 s c =============================================================================== c | 0 | 3982 4082 296724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 4.99024 s Remaining CPU time: 175.01 s c =============================================================================== c | 0 | 3982 4083 300574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 5.13622 s Remaining CPU time: 174.864 s c =============================================================================== c | 0 | 3982 4084 304424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 5.2872 s Remaining CPU time: 174.713 s c =============================================================================== c | 0 | 3982 4085 308274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 5.44417 s Remaining CPU time: 174.556 s c =============================================================================== c | 0 | 3982 4086 312124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 5.60315 s Remaining CPU time: 174.397 s c =============================================================================== c | 0 | 3982 4087 315974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 5.76212 s Remaining CPU time: 174.238 s c =============================================================================== c | 0 | 3982 4088 319824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 5.9221 s Remaining CPU time: 174.078 s c =============================================================================== c | 0 | 3982 4089 323674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 6.08707 s Remaining CPU time: 173.913 s c =============================================================================== c | 0 | 3982 4090 327524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 6.24905 s Remaining CPU time: 173.751 s c =============================================================================== c | 0 | 3982 4091 331374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 6.41702 s Remaining CPU time: 173.583 s c =============================================================================== c | 0 | 3982 4092 335224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 6.585 s Remaining CPU time: 173.415 s c =============================================================================== c | 0 | 3982 4093 339074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 6.76197 s Remaining CPU time: 173.238 s c =============================================================================== c | 0 | 3982 4094 342924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 6.94094 s Remaining CPU time: 173.059 s c =============================================================================== c | 0 | 3982 4095 346774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 7.11892 s Remaining CPU time: 172.881 s c =============================================================================== c | 0 | 3982 4096 350624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 7.30189 s Remaining CPU time: 172.698 s c =============================================================================== c | 0 | 3982 4097 354474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 7.48986 s Remaining CPU time: 172.51 s c =============================================================================== c | 0 | 3982 4098 358324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 7.67683 s Remaining CPU time: 172.323 s c =============================================================================== c | 0 | 3982 4099 362174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 7.8678 s Remaining CPU time: 172.132 s c =============================================================================== c | 0 | 3982 4100 366024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 8.05678 s Remaining CPU time: 171.943 s c =============================================================================== c | 0 | 3982 4101 369874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 8.25275 s Remaining CPU time: 171.747 s c =============================================================================== c | 0 | 3982 4102 373724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 8.45471 s Remaining CPU time: 171.545 s c =============================================================================== c | 0 | 3982 4103 377574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 8.65568 s Remaining CPU time: 171.344 s c =============================================================================== c | 0 | 3982 4104 381424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 8.85465 s Remaining CPU time: 171.145 s c =============================================================================== c | 0 | 3982 4105 385274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 9.05862 s Remaining CPU time: 170.941 s c =============================================================================== c | 0 | 3982 4106 389124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 9.27659 s Remaining CPU time: 170.723 s c =============================================================================== c | 0 | 3982 4107 392974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 9.49356 s Remaining CPU time: 170.506 s c =============================================================================== c | 0 | 3982 4108 396824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 9.71752 s Remaining CPU time: 170.282 s c =============================================================================== c | 0 | 3982 4109 400674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 9.94349 s Remaining CPU time: 170.057 s c =============================================================================== c | 0 | 3982 4110 404524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 10.1715 s Remaining CPU time: 169.829 s c =============================================================================== c | 0 | 3982 4111 408374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 10.4034 s Remaining CPU time: 169.597 s c =============================================================================== c | 0 | 3982 4112 412224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 10.6344 s Remaining CPU time: 169.366 s c =============================================================================== c | 0 | 3982 4113 416074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 10.8713 s Remaining CPU time: 169.129 s c =============================================================================== c | 0 | 3982 4114 419924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 11.1083 s Remaining CPU time: 168.892 s c =============================================================================== c | 0 | 3982 4115 423774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 11.3453 s Remaining CPU time: 168.655 s c =============================================================================== c | 0 | 3982 4116 427624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 11.5852 s Remaining CPU time: 168.415 s c =============================================================================== c | 0 | 3982 4117 431474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 11.8242 s Remaining CPU time: 168.176 s c =============================================================================== c | 0 | 3982 4118 435324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 12.0692 s Remaining CPU time: 167.931 s c =============================================================================== c | 0 | 3982 4119 439174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 12.3161 s Remaining CPU time: 167.684 s c =============================================================================== c | 0 | 3982 4120 443024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 12.5701 s Remaining CPU time: 167.43 s c =============================================================================== c | 0 | 3982 4121 446874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 12.824 s Remaining CPU time: 167.176 s c =============================================================================== c | 0 | 3982 4122 450724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 13.084 s Remaining CPU time: 166.916 s c =============================================================================== c | 0 | 3982 4123 454574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 13.345 s Remaining CPU time: 166.655 s c =============================================================================== c | 0 | 3982 4124 458424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 13.6099 s Remaining CPU time: 166.39 s c =============================================================================== c | 0 | 3982 4125 462274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 13.8729 s Remaining CPU time: 166.127 s c =============================================================================== c | 0 | 3982 4126 466124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 14.1409 s Remaining CPU time: 165.859 s c =============================================================================== c | 0 | 3982 4127 469974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 14.4098 s Remaining CPU time: 165.59 s c =============================================================================== c | 0 | 3982 4128 473824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 14.6818 s Remaining CPU time: 165.318 s c =============================================================================== c | 0 | 3982 4129 477674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 14.9557 s Remaining CPU time: 165.044 s c =============================================================================== c | 0 | 3982 4130 481524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 15.2337 s Remaining CPU time: 164.766 s c =============================================================================== c | 0 | 3982 4131 485374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 15.5126 s Remaining CPU time: 164.487 s c =============================================================================== c | 0 | 3982 4132 489224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 15.7936 s Remaining CPU time: 164.206 s c =============================================================================== c | 0 | 3982 4133 493074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 16.0776 s Remaining CPU time: 163.922 s c =============================================================================== c | 0 | 3982 4134 496924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 16.3625 s Remaining CPU time: 163.637 s c =============================================================================== c | 0 | 3982 4135 500774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 16.6515 s Remaining CPU time: 163.349 s c =============================================================================== c | 0 | 3982 4136 504624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 16.9414 s Remaining CPU time: 163.059 s c =============================================================================== c | 0 | 3982 4137 508474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 17.2364 s Remaining CPU time: 162.764 s c =============================================================================== c | 0 | 3982 4138 512324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 17.5333 s Remaining CPU time: 162.467 s c =============================================================================== c | 0 | 3982 4139 516174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 17.8313 s Remaining CPU time: 162.169 s c =============================================================================== c | 0 | 3982 4140 520024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 18.1322 s Remaining CPU time: 161.868 s c =============================================================================== c | 0 | 3982 4141 523874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 18.4322 s Remaining CPU time: 161.568 s c =============================================================================== c | 0 | 3982 4142 527724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 18.7362 s Remaining CPU time: 161.264 s c =============================================================================== c | 0 | 3982 4143 531574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 19.0441 s Remaining CPU time: 160.956 s c =============================================================================== c | 0 | 3982 4144 535424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 19.3551 s Remaining CPU time: 160.645 s c =============================================================================== c | 0 | 3982 4145 539274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 19.67 s Remaining CPU time: 160.33 s c =============================================================================== c | 0 | 3982 4146 543124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 19.984 s Remaining CPU time: 160.016 s c =============================================================================== c | 0 | 3982 4147 546974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 20.3019 s Remaining CPU time: 159.698 s c =============================================================================== c | 0 | 3982 4148 550824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 20.6209 s Remaining CPU time: 159.379 s c =============================================================================== c | 0 | 3982 4149 554674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 20.9408 s Remaining CPU time: 159.059 s c =============================================================================== c | 0 | 3982 4150 558524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 21.2628 s Remaining CPU time: 158.737 s c =============================================================================== c | 0 | 3982 4151 562374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 21.5867 s Remaining CPU time: 158.413 s c =============================================================================== c | 0 | 3982 4152 566224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 21.9137 s Remaining CPU time: 158.086 s c =============================================================================== c | 0 | 3982 4153 570074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 22.2416 s Remaining CPU time: 157.758 s c =============================================================================== c | 0 | 3982 4154 573924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 22.5696 s Remaining CPU time: 157.43 s c =============================================================================== c | 0 | 3982 4155 577774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 22.9045 s Remaining CPU time: 157.095 s c =============================================================================== c | 0 | 3982 4156 581624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 23.2425 s Remaining CPU time: 156.758 s c =============================================================================== c | 0 | 3982 4157 585474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 23.5824 s Remaining CPU time: 156.418 s c =============================================================================== c | 0 | 3982 4158 589324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 23.9254 s Remaining CPU time: 156.075 s c =============================================================================== c | 0 | 3982 4159 593174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 24.2683 s Remaining CPU time: 155.732 s c =============================================================================== c | 0 | 3982 4160 597024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 24.6163 s Remaining CPU time: 155.384 s c =============================================================================== c | 0 | 3982 4161 600874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 24.9662 s Remaining CPU time: 155.034 s c =============================================================================== c | 0 | 3982 4162 604724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 25.3152 s Remaining CPU time: 154.685 s c =============================================================================== c | 0 | 3982 4163 608574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 25.6671 s Remaining CPU time: 154.333 s c =============================================================================== c | 0 | 3982 4164 612424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 26.026 s Remaining CPU time: 153.974 s c =============================================================================== c | 0 | 3982 4165 616274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 26.388 s Remaining CPU time: 153.612 s c =============================================================================== c | 0 | 3982 4166 620124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 26.7559 s Remaining CPU time: 153.244 s c =============================================================================== c | 0 | 3982 4167 623974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 27.1249 s Remaining CPU time: 152.875 s c =============================================================================== c | 0 | 3982 4168 627824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 27.4968 s Remaining CPU time: 152.503 s c =============================================================================== c | 0 | 3982 4169 631674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 27.8668 s Remaining CPU time: 152.133 s c =============================================================================== c | 0 | 3982 4170 635524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 28.2347 s Remaining CPU time: 151.765 s c =============================================================================== c | 0 | 3982 4171 639374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 28.6057 s Remaining CPU time: 151.394 s c =============================================================================== c | 0 | 3982 4172 643224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 28.9816 s Remaining CPU time: 151.018 s c =============================================================================== c | 0 | 3982 4173 647074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 29.3235 s Remaining CPU time: 150.676 s c =============================================================================== c | 1 | 3982 4174 650924 | 5000 1 3687 | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 29.6525 s Remaining CPU time: 150.348 s c =============================================================================== c | 1 | 3982 4175 654774 | 5000 1 3687 | 0.000 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 29.9714 s Remaining CPU time: 150.029 s c =============================================================================== c | 1 | 3982 4176 658624 | 5000 1 3687 | 0.000 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 30.2954 s Remaining CPU time: 149.705 s c =============================================================================== c | 2 | 3982 4177 662474 | 5000 2 3686 | 0.000 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 30.6273 s Remaining CPU time: 149.373 s c =============================================================================== c | 6 | 3982 4178 666324 | 5000 6 3684 | 0.000 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 30.9403 s Remaining CPU time: 149.06 s c =============================================================================== c | 14 | 3982 4179 670174 | 5000 14 3683 | 0.000 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 31.2672 s Remaining CPU time: 148.733 s c =============================================================================== c | 33 | 3982 4180 674024 | 5000 33 3682 | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 31.5812 s Remaining CPU time: 148.419 s c =============================================================================== c | 36 | 3982 4181 677874 | 5000 36 3682 | 0.000 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 31.9081 s Remaining CPU time: 148.092 s c =============================================================================== c | 45 | 3982 4182 681724 | 5000 45 3681 | 0.000 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 32.2221 s Remaining CPU time: 147.778 s c =============================================================================== c | 49 | 3982 4183 685574 | 5000 49 3681 | 0.000 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 32.5531 s Remaining CPU time: 147.447 s c =============================================================================== c | 70 | 3982 4184 689424 | 5000 70 3680 | 0.000 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 32.868 s Remaining CPU time: 147.132 s c =============================================================================== c | 72 | 3982 4185 693274 | 5000 72 3680 | 0.000 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 33.193 s Remaining CPU time: 146.807 s c =============================================================================== c | 79 | 3982 4186 697124 | 5000 79 3679 | 0.000 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 33.5219 s Remaining CPU time: 146.478 s c =============================================================================== c | 87 | 3982 4187 700974 | 5000 87 3679 | 0.000 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 33.8669 s Remaining CPU time: 146.133 s c =============================================================================== c | 94 | 3982 4188 704824 | 5000 94 3678 | 0.000 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 34.2048 s Remaining CPU time: 145.795 s c =============================================================================== c | 94 | 3982 4189 708674 | 5000 94 3678 | 0.000 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 34.5377 s Remaining CPU time: 145.462 s c =============================================================================== c | 94 | 3982 4190 712524 | 5000 94 3678 | 0.000 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 34.8787 s Remaining CPU time: 145.121 s c =============================================================================== c | 101 | 3982 4191 716374 | 5000 101 3678 | 0.000 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 35.2146 s Remaining CPU time: 144.785 s c =============================================================================== c | 101 | 3982 4192 720224 | 5000 101 3678 | 0.000 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 35.5566 s Remaining CPU time: 144.443 s c =============================================================================== c | 101 | 3982 4193 724074 | 5000 101 3678 | 0.000 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 35.9015 s Remaining CPU time: 144.098 s c =============================================================================== c | 101 | 3982 4194 727924 | 5000 101 3678 | 0.000 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 36.2575 s Remaining CPU time: 143.743 s c =============================================================================== c | 104 | 3982 4195 731774 | 5000 104 3677 | 0.000 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 36.6134 s Remaining CPU time: 143.387 s c =============================================================================== c | 104 | 3982 4196 735624 | 5000 104 3677 | 0.000 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 37.0104 s Remaining CPU time: 142.99 s c =============================================================================== c | 120 | 3982 4197 739474 | 5000 120 3676 | 0.000 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 37.3653 s Remaining CPU time: 142.635 s c =============================================================================== c | 123 | 3982 4198 743324 | 5000 123 3675 | 0.000 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 37.7653 s Remaining CPU time: 142.235 s c =============================================================================== c | 156 | 3982 4199 747174 | 5000 156 3672 | 0.000 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 38.1172 s Remaining CPU time: 141.883 s c =============================================================================== c | 160 | 3982 4200 751024 | 5000 160 3672 | 0.000 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 38.4931 s Remaining CPU time: 141.507 s c =============================================================================== c | 162 | 3982 4201 754874 | 5000 162 3672 | 0.000 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 38.9371 s Remaining CPU time: 141.063 s c =============================================================================== c | 195 | 3982 4202 758724 | 5000 195 3670 | 0.000 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 39.345 s Remaining CPU time: 140.655 s c =============================================================================== c | 226 | 3982 4203 762574 | 5000 226 3668 | 0.000 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 39.8029 s Remaining CPU time: 140.197 s c =============================================================================== c | 278 | 3982 4204 766424 | 5000 278 3666 | 0.000 % | c | 378 | 3982 4204 766424 | 5500 378 3664 | 0.450 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 40.8168 s Remaining CPU time: 139.183 s c =============================================================================== c | 412 | 3982 4205 770274 | 5000 412 3663 | 0.450 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 41.2347 s Remaining CPU time: 138.765 s c =============================================================================== c | 442 | 3982 4206 774124 | 5000 442 3662 | 0.450 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 41.6147 s Remaining CPU time: 138.385 s c =============================================================================== c | 458 | 3982 4207 777974 | 5000 458 3662 | 0.450 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 42.0356 s Remaining CPU time: 137.964 s c =============================================================================== c | 507 | 3982 4208 781824 | 5000 507 3661 | 0.450 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 42.4405 s Remaining CPU time: 137.559 s c =============================================================================== c | 539 | 3982 4209 785674 | 5000 539 3661 | 0.450 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 42.9615 s Remaining CPU time: 137.039 s c =============================================================================== c | 633 | 3982 4210 789524 | 5000 633 3659 | 0.450 % | c | 733 | 3982 4210 789524 | 5500 733 3658 | 0.450 % | c | 884 | 3982 4210 789524 | 6050 884 3657 | 0.450 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 44.6672 s Remaining CPU time: 135.333 s c =============================================================================== c | 944 | 3982 4211 793374 | 5000 944 3657 | 0.450 % | c | 1045 | 3982 4211 793374 | 5500 1045 3656 | 0.450 % | c | 1198 | 3982 4211 793374 | 6050 1198 3655 | 0.450 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 46.248 s Remaining CPU time: 133.752 s c =============================================================================== c | 1221 | 3982 4212 797224 | 5000 1221 3652 | 0.450 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 46.6899 s Remaining CPU time: 133.31 s c =============================================================================== c | 1237 | 3982 4213 801074 | 5000 1237 3652 | 0.450 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 47.0938 s Remaining CPU time: 132.906 s c =============================================================================== c | 1248 | 3982 4214 804924 | 5000 1248 3652 | 0.450 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 47.5568 s Remaining CPU time: 132.443 s c =============================================================================== c | 1304 | 3982 4215 808774 | 5000 1304 3652 | 0.450 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 48.0177 s Remaining CPU time: 131.982 s c =============================================================================== c | 1332 | 3982 4216 812624 | 5000 1332 3651 | 0.450 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 48.4326 s Remaining CPU time: 131.567 s c =============================================================================== c | 1354 | 3982 4217 816474 | 5000 1354 3651 | 0.450 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 48.9436 s Remaining CPU time: 131.056 s c =============================================================================== c | 1397 | 3982 4218 820324 | 5000 1397 3651 | 0.450 % | c | 1497 | 3982 4218 820324 | 5500 1497 3651 | 0.450 % | c | 1647 | 3982 4218 820324 | 6050 1647 3650 | 0.450 % | c | 1872 | 3982 4218 820324 | 6655 1872 3649 | 0.450 % | c | 2211 | 3982 4218 820324 | 7320 2211 3648 | 0.450 % | c | 2717 | 3982 4218 820324 | 8052 2717 3647 | 0.450 % | c | 3476 | 3982 4218 820324 | 8857 3476 3646 | 0.450 % | c | 4616 | 3982 4218 820324 | 9743 4616 3645 | 0.450 % | c | 6324 | 3982 4218 820324 | 10717 6324 3645 | 0.450 % | c | 8886 | 3982 4218 820324 | 11789 8886 3644 | 0.450 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 80.9287 s Remaining CPU time: 99.0713 s c =============================================================================== c | 10552 | 3982 4219 824174 | 5000 10552 3644 | 0.450 % | c | 10652 | 3982 4219 824174 | 5500 2738 3643 | 0.450 % | c | 10803 | 3982 4219 824174 | 6050 2889 3643 | 0.450 % | c | 11028 | 3982 4219 824174 | 6655 3114 3643 | 0.450 % | c | 11365 | 3982 4219 824174 | 7320 3451 3643 | 0.450 % | c | 11871 | 3982 4219 824174 | 8052 3957 3643 | 0.450 % | c | 12630 | 3982 4219 824174 | 8857 4716 3643 | 0.450 % | c | 13769 | 3982 4219 824174 | 9743 5855 3643 | 0.450 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 93.9557 s Remaining CPU time: 86.0443 s c =============================================================================== c | 14954 | 3982 4220 828024 | 5000 7040 3641 | 0.450 % | c | 15054 | 3982 4220 828024 | 5500 3620 3640 | 0.450 % | c | 15205 | 3982 4220 828024 | 6050 3771 3640 | 0.450 % | c | 15430 | 3982 4220 828024 | 6655 3996 3640 | 0.450 % | c | 15768 | 3982 4220 828024 | 7320 4334 3640 | 0.450 % | c | 16274 | 3982 4220 828024 | 8052 4840 3640 | 0.450 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 100.225 s Remaining CPU time: 79.7752 s c =============================================================================== c | 16526 | 3982 4221 831874 | 5000 5092 3640 | 0.450 % | c | 16626 | 3982 4221 831874 | 5500 2646 3638 | 0.450 % | c | 16777 | 3982 4221 831874 | 6050 2797 3638 | 0.450 % | c | 17002 | 3982 4221 831874 | 6655 3022 3638 | 0.450 % | c | 17339 | 3982 4221 831874 | 7320 3359 3638 | 0.450 % | c | 17845 | 3982 4221 831874 | 8052 3865 3638 | 0.450 % | c | 18604 | 3982 4221 831874 | 8857 4624 3639 | 0.450 % | c | 19744 | 3982 4221 831874 | 9743 5764 3639 | 0.450 % | c | 21453 | 3982 4221 831874 | 10717 7473 3639 | 0.450 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 116.79 s Remaining CPU time: 63.2098 s c =============================================================================== c | 22142 | 3982 4222 835724 | 5000 8162 3639 | 0.450 % | c | 22242 | 3982 4222 835724 | 5500 4181 3637 | 0.450 % | c | 22392 | 3982 4222 835724 | 6050 4331 3637 | 0.450 % | c | 22617 | 3982 4222 835724 | 6655 4556 3637 | 0.450 % | c | 22955 | 3982 4222 835724 | 7320 4894 3637 | 0.450 % | c | 23462 | 3982 4222 835724 | 8052 5401 3638 | 0.450 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 121.99 s Remaining CPU time: 58.0095 s c =============================================================================== c | 23533 | 3982 4223 839574 | 5000 5472 3638 | 0.450 % | c | 23633 | 3982 4223 839574 | 5500 2836 3637 | 0.450 % | c | 23783 | 3982 4223 839574 | 6050 2986 3637 | 0.450 % | c | 24008 | 3982 4223 839574 | 6655 3211 3637 | 0.450 % | c | 24345 | 3982 4223 839574 | 7320 3548 3637 | 0.450 % | c | 24851 | 3982 4223 839574 | 8052 4054 3637 | 0.450 % |