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 | 3875 4019 11746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20795 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 3875 4020 15596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20787 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 3875 4021 19446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20785 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 3875 4022 23296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20784 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 3875 4023 27146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20780 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 3875 4024 30996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20774 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 3875 4025 34846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20771 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 0 | 3875 4026 38696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20770 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 0 | 3875 4027 42546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20769 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 0 | 3875 4028 46396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20762 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 0 | 3875 4029 50246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20757 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 0 | 3875 4030 54096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20754 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 0 | 3875 4031 57946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20753 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 0 | 3875 4032 61796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20752 c Elapsed CPU time: 0.837872 s Remaining CPU time: 179.162 s c =============================================================================== c | 0 | 3875 4033 65646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20751 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 0 | 3875 4034 69496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20747 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 0 | 3875 4035 73346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20746 c Elapsed CPU time: 1.03984 s Remaining CPU time: 178.96 s c =============================================================================== c | 0 | 3875 4036 77196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20744 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 0 | 3875 4037 81046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20740 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 0 | 3875 4038 84896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20738 c Elapsed CPU time: 1.25981 s Remaining CPU time: 178.74 s c =============================================================================== c | 0 | 3875 4039 88746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20737 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 0 | 3875 4040 92596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20736 c Elapsed CPU time: 1.41478 s Remaining CPU time: 178.585 s c =============================================================================== c | 0 | 3875 4041 96446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20735 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 0 | 3875 4042 100296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20734 c Elapsed CPU time: 1.57976 s Remaining CPU time: 178.42 s c =============================================================================== c | 0 | 3875 4043 104146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20733 c Elapsed CPU time: 1.66475 s Remaining CPU time: 178.335 s c =============================================================================== c | 0 | 3875 4044 107996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20732 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s c =============================================================================== c | 0 | 3875 4045 111846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20731 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 0 | 3875 4046 115696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20730 c Elapsed CPU time: 1.92671 s Remaining CPU time: 178.073 s c =============================================================================== c | 0 | 3875 4047 119546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20728 c Elapsed CPU time: 2.01469 s Remaining CPU time: 177.985 s c =============================================================================== c | 0 | 3875 4048 123396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20725 c Elapsed CPU time: 2.10868 s Remaining CPU time: 177.891 s c =============================================================================== c | 0 | 3875 4049 127246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20723 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 0 | 3875 4050 131096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20722 c Elapsed CPU time: 2.30065 s Remaining CPU time: 177.699 s c =============================================================================== c | 0 | 3875 4051 134946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20720 c Elapsed CPU time: 2.39764 s Remaining CPU time: 177.602 s c =============================================================================== c | 0 | 3875 4052 138796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20718 c Elapsed CPU time: 2.49962 s Remaining CPU time: 177.5 s c =============================================================================== c | 0 | 3875 4053 142646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20712 c Elapsed CPU time: 2.5956 s Remaining CPU time: 177.404 s c =============================================================================== c | 0 | 3875 4054 146496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20711 c Elapsed CPU time: 2.69959 s Remaining CPU time: 177.3 s c =============================================================================== c | 0 | 3875 4055 150346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20710 c Elapsed CPU time: 2.80757 s Remaining CPU time: 177.192 s c =============================================================================== c | 0 | 3875 4056 154196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20709 c Elapsed CPU time: 2.91756 s Remaining CPU time: 177.082 s c =============================================================================== c | 0 | 3875 4057 158046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20708 c Elapsed CPU time: 3.02954 s Remaining CPU time: 176.97 s c =============================================================================== c | 0 | 3875 4058 161896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20707 c Elapsed CPU time: 3.13952 s Remaining CPU time: 176.86 s c =============================================================================== c | 0 | 3875 4059 165746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20706 c Elapsed CPU time: 3.25351 s Remaining CPU time: 176.746 s c =============================================================================== c | 0 | 3875 4060 169596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20705 c Elapsed CPU time: 3.37249 s Remaining CPU time: 176.628 s c =============================================================================== c | 0 | 3875 4061 173446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20702 c Elapsed CPU time: 3.49447 s Remaining CPU time: 176.506 s c =============================================================================== c | 0 | 3875 4062 177296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20701 c Elapsed CPU time: 3.61645 s Remaining CPU time: 176.384 s c =============================================================================== c | 0 | 3875 4063 181146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20700 c Elapsed CPU time: 3.74143 s Remaining CPU time: 176.259 s c =============================================================================== c | 0 | 3875 4064 184996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20697 c Elapsed CPU time: 3.86941 s Remaining CPU time: 176.131 s c =============================================================================== c | 0 | 3875 4065 188846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20695 c Elapsed CPU time: 3.99439 s Remaining CPU time: 176.006 s c =============================================================================== c | 0 | 3875 4066 192696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20692 c Elapsed CPU time: 4.12437 s Remaining CPU time: 175.876 s c =============================================================================== c | 0 | 3875 4067 196546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20691 c Elapsed CPU time: 4.26135 s Remaining CPU time: 175.739 s c =============================================================================== c | 0 | 3875 4068 200396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20689 c Elapsed CPU time: 4.39733 s Remaining CPU time: 175.603 s c =============================================================================== c | 0 | 3875 4069 204246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20688 c Elapsed CPU time: 4.54031 s Remaining CPU time: 175.46 s c =============================================================================== c | 0 | 3875 4070 208096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20687 c Elapsed CPU time: 4.68029 s Remaining CPU time: 175.32 s c =============================================================================== c | 0 | 3875 4071 211946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20683 c Elapsed CPU time: 4.81927 s Remaining CPU time: 175.181 s c =============================================================================== c | 0 | 3875 4072 215796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20680 c Elapsed CPU time: 4.96425 s Remaining CPU time: 175.036 s c =============================================================================== c | 0 | 3875 4073 219646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20679 c Elapsed CPU time: 5.11122 s Remaining CPU time: 174.889 s c =============================================================================== c | 0 | 3875 4074 223496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20676 c Elapsed CPU time: 5.2602 s Remaining CPU time: 174.74 s c =============================================================================== c | 0 | 3875 4075 227346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20675 c Elapsed CPU time: 5.41118 s Remaining CPU time: 174.589 s c =============================================================================== c | 0 | 3875 4076 231196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20672 c Elapsed CPU time: 5.57015 s Remaining CPU time: 174.43 s c =============================================================================== c | 0 | 3875 4077 235046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20669 c Elapsed CPU time: 5.73113 s Remaining CPU time: 174.269 s c =============================================================================== c | 0 | 3875 4078 238896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20664 c Elapsed CPU time: 5.8931 s Remaining CPU time: 174.107 s c =============================================================================== c | 0 | 3875 4079 242746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20659 c Elapsed CPU time: 6.05708 s Remaining CPU time: 173.943 s c =============================================================================== c | 0 | 3875 4080 246596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20653 c Elapsed CPU time: 6.22005 s Remaining CPU time: 173.78 s c =============================================================================== c | 0 | 3875 4081 250446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20650 c Elapsed CPU time: 6.39303 s Remaining CPU time: 173.607 s c =============================================================================== c | 0 | 3875 4082 254296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20647 c Elapsed CPU time: 6.565 s Remaining CPU time: 173.435 s c =============================================================================== c | 0 | 3875 4083 258146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20646 c Elapsed CPU time: 6.74198 s Remaining CPU time: 173.258 s c =============================================================================== c | 0 | 3875 4084 261996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20644 c Elapsed CPU time: 6.92095 s Remaining CPU time: 173.079 s c =============================================================================== c | 0 | 3875 4085 265846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20643 c Elapsed CPU time: 7.10092 s Remaining CPU time: 172.899 s c =============================================================================== c | 0 | 3875 4086 269696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20641 c Elapsed CPU time: 7.28589 s Remaining CPU time: 172.714 s c =============================================================================== c | 0 | 3875 4087 273546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20640 c Elapsed CPU time: 7.47986 s Remaining CPU time: 172.52 s c =============================================================================== c | 0 | 3875 4088 277396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20639 c Elapsed CPU time: 7.66284 s Remaining CPU time: 172.337 s c =============================================================================== c | 0 | 3875 4089 281246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20638 c Elapsed CPU time: 7.85281 s Remaining CPU time: 172.147 s c =============================================================================== c | 0 | 3875 4090 285096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20637 c Elapsed CPU time: 8.04778 s Remaining CPU time: 171.952 s c =============================================================================== c | 0 | 3875 4091 288946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20636 c Elapsed CPU time: 8.24475 s Remaining CPU time: 171.755 s c =============================================================================== c | 0 | 3875 4092 292796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20635 c Elapsed CPU time: 8.44671 s Remaining CPU time: 171.553 s c =============================================================================== c | 0 | 3875 4093 296646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20633 c Elapsed CPU time: 8.64468 s Remaining CPU time: 171.355 s c =============================================================================== c | 0 | 3875 4094 300496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20632 c Elapsed CPU time: 8.84566 s Remaining CPU time: 171.154 s c =============================================================================== c | 0 | 3875 4095 304346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20629 c Elapsed CPU time: 9.04562 s Remaining CPU time: 170.954 s c =============================================================================== c | 0 | 3875 4096 308196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20628 c Elapsed CPU time: 9.25459 s Remaining CPU time: 170.745 s c =============================================================================== c | 0 | 3875 4097 312046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20626 c Elapsed CPU time: 9.46256 s Remaining CPU time: 170.537 s c =============================================================================== c | 0 | 3875 4098 315896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20625 c Elapsed CPU time: 9.67353 s Remaining CPU time: 170.326 s c =============================================================================== c | 0 | 3875 4099 319746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20624 c Elapsed CPU time: 9.8845 s Remaining CPU time: 170.116 s c =============================================================================== c | 0 | 3875 4100 323596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20623 c Elapsed CPU time: 10.1015 s Remaining CPU time: 169.899 s c =============================================================================== c | 0 | 3875 4101 327446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20622 c Elapsed CPU time: 10.3244 s Remaining CPU time: 169.676 s c =============================================================================== c | 0 | 3875 4102 331296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20621 c Elapsed CPU time: 10.5454 s Remaining CPU time: 169.455 s c =============================================================================== c | 0 | 3875 4103 335146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20620 c Elapsed CPU time: 10.7674 s Remaining CPU time: 169.233 s c =============================================================================== c | 0 | 3875 4104 338996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20619 c Elapsed CPU time: 11.0063 s Remaining CPU time: 168.994 s c =============================================================================== c | 0 | 3875 4105 342846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20618 c Elapsed CPU time: 11.2423 s Remaining CPU time: 168.758 s c =============================================================================== c | 0 | 3875 4106 346696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20617 c Elapsed CPU time: 11.4673 s Remaining CPU time: 168.533 s c =============================================================================== c | 0 | 3875 4107 350546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20616 c Elapsed CPU time: 11.6992 s Remaining CPU time: 168.301 s c =============================================================================== c | 0 | 3875 4108 354396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20615 c Elapsed CPU time: 11.9342 s Remaining CPU time: 168.066 s c =============================================================================== c | 0 | 3875 4109 358246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20614 c Elapsed CPU time: 12.1682 s Remaining CPU time: 167.832 s c =============================================================================== c | 0 | 3875 4110 362096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20613 c Elapsed CPU time: 12.4081 s Remaining CPU time: 167.592 s c =============================================================================== c | 0 | 3875 4111 365946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20612 c Elapsed CPU time: 12.6581 s Remaining CPU time: 167.342 s c =============================================================================== c | 0 | 3875 4112 369796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20610 c Elapsed CPU time: 12.909 s Remaining CPU time: 167.091 s c =============================================================================== c | 0 | 3875 4113 373646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20609 c Elapsed CPU time: 13.159 s Remaining CPU time: 166.841 s c =============================================================================== c | 0 | 3875 4114 377496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20608 c Elapsed CPU time: 13.408 s Remaining CPU time: 166.592 s c =============================================================================== c | 0 | 3875 4115 381346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20607 c Elapsed CPU time: 13.6619 s Remaining CPU time: 166.338 s c =============================================================================== c | 0 | 3875 4116 385196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20605 c Elapsed CPU time: 13.9199 s Remaining CPU time: 166.08 s c =============================================================================== c | 0 | 3875 4117 389046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20604 c Elapsed CPU time: 14.1848 s Remaining CPU time: 165.815 s c =============================================================================== c | 0 | 3875 4118 392896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20602 c Elapsed CPU time: 14.4488 s Remaining CPU time: 165.551 s c =============================================================================== c | 0 | 3875 4119 396746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20601 c Elapsed CPU time: 14.7158 s Remaining CPU time: 165.284 s c =============================================================================== c | 0 | 3875 4120 400596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20600 c Elapsed CPU time: 14.9927 s Remaining CPU time: 165.007 s c =============================================================================== c | 0 | 3875 4121 404446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20599 c Elapsed CPU time: 15.2657 s Remaining CPU time: 164.734 s c =============================================================================== c | 0 | 3875 4122 408296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20598 c Elapsed CPU time: 15.5566 s Remaining CPU time: 164.443 s c =============================================================================== c | 0 | 3875 4123 412146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20597 c Elapsed CPU time: 15.8386 s Remaining CPU time: 164.161 s c =============================================================================== c | 0 | 3875 4124 415996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20595 c Elapsed CPU time: 16.1146 s Remaining CPU time: 163.885 s c =============================================================================== c | 0 | 3875 4125 419846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20591 c Elapsed CPU time: 16.3945 s Remaining CPU time: 163.605 s c =============================================================================== c | 0 | 3875 4126 423696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20590 c Elapsed CPU time: 16.6755 s Remaining CPU time: 163.325 s c =============================================================================== c | 0 | 3875 4127 427546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20589 c Elapsed CPU time: 16.9724 s Remaining CPU time: 163.028 s c =============================================================================== c | 0 | 3875 4128 431396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20587 c Elapsed CPU time: 17.2664 s Remaining CPU time: 162.734 s c =============================================================================== c | 0 | 3875 4129 435246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20586 c Elapsed CPU time: 17.5703 s Remaining CPU time: 162.43 s c =============================================================================== c | 0 | 3875 4130 439096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20585 c Elapsed CPU time: 17.8693 s Remaining CPU time: 162.131 s c =============================================================================== c | 0 | 3875 4131 442946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20584 c Elapsed CPU time: 18.1722 s Remaining CPU time: 161.828 s c =============================================================================== c | 0 | 3875 4132 446796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20581 c Elapsed CPU time: 18.4722 s Remaining CPU time: 161.528 s c =============================================================================== c | 0 | 3875 4133 450646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20580 c Elapsed CPU time: 18.7801 s Remaining CPU time: 161.22 s c =============================================================================== c | 0 | 3875 4134 454496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20577 c Elapsed CPU time: 19.0831 s Remaining CPU time: 160.917 s c =============================================================================== c | 0 | 3875 4135 458346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20576 c Elapsed CPU time: 19.3901 s Remaining CPU time: 160.61 s c =============================================================================== c | 0 | 3875 4136 462196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20573 c Elapsed CPU time: 19.702 s Remaining CPU time: 160.298 s c =============================================================================== c | 0 | 3875 4137 466046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20572 c Elapsed CPU time: 20.011 s Remaining CPU time: 159.989 s c =============================================================================== c | 0 | 3875 4138 469896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20569 c Elapsed CPU time: 20.3259 s Remaining CPU time: 159.674 s c =============================================================================== c | 0 | 3875 4139 473746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20568 c Elapsed CPU time: 20.6449 s Remaining CPU time: 159.355 s c =============================================================================== c | 0 | 3875 4140 477596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20565 c Elapsed CPU time: 20.9658 s Remaining CPU time: 159.034 s c =============================================================================== c | 0 | 3875 4141 481446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20563 c Elapsed CPU time: 21.2868 s Remaining CPU time: 158.713 s c =============================================================================== c | 0 | 3875 4142 485296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20562 c Elapsed CPU time: 21.6087 s Remaining CPU time: 158.391 s c =============================================================================== c | 0 | 3875 4143 489146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20559 c Elapsed CPU time: 21.9307 s Remaining CPU time: 158.069 s c =============================================================================== c | 0 | 3875 4144 492996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20555 c Elapsed CPU time: 22.2576 s Remaining CPU time: 157.742 s c =============================================================================== c | 0 | 3875 4145 496846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20552 c Elapsed CPU time: 22.5876 s Remaining CPU time: 157.412 s c =============================================================================== c | 0 | 3875 4146 500696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20549 c Elapsed CPU time: 22.9275 s Remaining CPU time: 157.072 s c =============================================================================== c | 0 | 3875 4147 504546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20548 c Elapsed CPU time: 23.2645 s Remaining CPU time: 156.736 s c =============================================================================== c | 0 | 3875 4148 508396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20547 c Elapsed CPU time: 23.6114 s Remaining CPU time: 156.389 s c =============================================================================== c | 0 | 3875 4149 512246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20546 c Elapsed CPU time: 23.9584 s Remaining CPU time: 156.042 s c =============================================================================== c | 0 | 3875 4150 516096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20545 c Elapsed CPU time: 24.3193 s Remaining CPU time: 155.681 s c =============================================================================== c | 0 | 3875 4151 519946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20543 c Elapsed CPU time: 24.6732 s Remaining CPU time: 155.327 s c =============================================================================== c | 0 | 3875 4152 523796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20541 c Elapsed CPU time: 25.0442 s Remaining CPU time: 154.956 s c =============================================================================== c | 0 | 3875 4153 527646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20540 c Elapsed CPU time: 25.4251 s Remaining CPU time: 154.575 s c =============================================================================== c | 0 | 3875 4154 531496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20537 c Elapsed CPU time: 25.7961 s Remaining CPU time: 154.204 s c =============================================================================== c | 0 | 3875 4155 535346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20535 c Elapsed CPU time: 26.191 s Remaining CPU time: 153.809 s c =============================================================================== c | 0 | 3875 4156 539196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20533 c Elapsed CPU time: 26.581 s Remaining CPU time: 153.419 s c =============================================================================== c | 0 | 3875 4157 543046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20532 c Elapsed CPU time: 26.9649 s Remaining CPU time: 153.035 s c =============================================================================== c | 0 | 3875 4158 546896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20530 c Elapsed CPU time: 27.3538 s Remaining CPU time: 152.646 s c =============================================================================== c | 0 | 3875 4159 550746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20529 c Elapsed CPU time: 27.7608 s Remaining CPU time: 152.239 s c =============================================================================== c | 0 | 3875 4160 554596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20527 c Elapsed CPU time: 28.1587 s Remaining CPU time: 151.841 s c =============================================================================== c | 0 | 3875 4161 558446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20526 c Elapsed CPU time: 28.5467 s Remaining CPU time: 151.453 s c =============================================================================== c | 0 | 3875 4162 562296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20525 c Elapsed CPU time: 28.9346 s Remaining CPU time: 151.065 s c =============================================================================== c | 0 | 3875 4163 566146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20523 c Elapsed CPU time: 29.3375 s Remaining CPU time: 150.662 s c =============================================================================== c | 0 | 3875 4164 569996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20522 c Elapsed CPU time: 29.7355 s Remaining CPU time: 150.265 s c =============================================================================== c | 0 | 3875 4165 573846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20521 c Elapsed CPU time: 30.1374 s Remaining CPU time: 149.863 s c =============================================================================== c | 0 | 3875 4166 577696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20520 c Elapsed CPU time: 30.5394 s Remaining CPU time: 149.461 s c =============================================================================== c | 0 | 3875 4167 581546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20519 c Elapsed CPU time: 30.9583 s Remaining CPU time: 149.042 s c =============================================================================== c | 0 | 3875 4168 585396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20516 c Elapsed CPU time: 31.3712 s Remaining CPU time: 148.629 s c =============================================================================== c | 0 | 3875 4169 589246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20515 c Elapsed CPU time: 31.8002 s Remaining CPU time: 148.2 s c =============================================================================== c | 0 | 3875 4170 593096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20514 c Elapsed CPU time: 32.2141 s Remaining CPU time: 147.786 s c =============================================================================== c | 0 | 3875 4171 596946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20512 c Elapsed CPU time: 32.658 s Remaining CPU time: 147.342 s c =============================================================================== c | 0 | 3875 4172 600796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20508 c Elapsed CPU time: 33.103 s Remaining CPU time: 146.897 s c =============================================================================== c | 0 | 3875 4173 604646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20505 c Elapsed CPU time: 33.5539 s Remaining CPU time: 146.446 s c =============================================================================== c | 0 | 3875 4174 608496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20504 c Elapsed CPU time: 34.0038 s Remaining CPU time: 145.996 s c =============================================================================== c | 0 | 3875 4175 612346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20502 c Elapsed CPU time: 34.4578 s Remaining CPU time: 145.542 s c =============================================================================== c | 0 | 3875 4176 616196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20501 c Elapsed CPU time: 34.9147 s Remaining CPU time: 145.085 s c =============================================================================== c | 0 | 3875 4177 620046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20500 c Elapsed CPU time: 35.3616 s Remaining CPU time: 144.638 s c =============================================================================== c | 0 | 3875 4178 623896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20499 c Elapsed CPU time: 35.8136 s Remaining CPU time: 144.186 s c =============================================================================== c | 0 | 3875 4179 627746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20498 c Elapsed CPU time: 36.2825 s Remaining CPU time: 143.718 s c =============================================================================== c | 0 | 3875 4180 631596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20497 c Elapsed CPU time: 36.7424 s Remaining CPU time: 143.258 s c =============================================================================== c | 0 | 3875 4181 635446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20496 c Elapsed CPU time: 37.2043 s Remaining CPU time: 142.796 s c =============================================================================== c | 0 | 3875 4182 639296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20495 c Elapsed CPU time: 37.6643 s Remaining CPU time: 142.336 s c =============================================================================== c | 0 | 3875 4183 643146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20493 c Elapsed CPU time: 38.1202 s Remaining CPU time: 141.88 s c =============================================================================== c | 0 | 3875 4184 646996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20492 c Elapsed CPU time: 38.5871 s Remaining CPU time: 141.413 s c =============================================================================== c | 0 | 3875 4185 650846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20491 c Elapsed CPU time: 39.0491 s Remaining CPU time: 140.951 s c =============================================================================== c | 0 | 3875 4186 654696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20489 c Elapsed CPU time: 39.502 s Remaining CPU time: 140.498 s c =============================================================================== c | 0 | 3875 4187 658546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20488 c Elapsed CPU time: 39.9649 s Remaining CPU time: 140.035 s c =============================================================================== c | 0 | 3875 4188 662396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20486 c Elapsed CPU time: 40.4299 s Remaining CPU time: 139.57 s c =============================================================================== c | 0 | 3875 4189 666246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20483 c Elapsed CPU time: 40.8918 s Remaining CPU time: 139.108 s c =============================================================================== c | 0 | 3875 4190 670096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20482 c Elapsed CPU time: 41.3617 s Remaining CPU time: 138.638 s c =============================================================================== c | 0 | 3875 4191 673946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20479 c Elapsed CPU time: 41.8256 s Remaining CPU time: 138.174 s c =============================================================================== c | 0 | 3875 4192 677796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20478 c Elapsed CPU time: 42.3046 s Remaining CPU time: 137.695 s c =============================================================================== c | 0 | 3875 4193 681646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20477 c Elapsed CPU time: 42.8055 s Remaining CPU time: 137.195 s c =============================================================================== c | 0 | 3875 4194 685496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20476 c Elapsed CPU time: 43.2984 s Remaining CPU time: 136.702 s c =============================================================================== c | 0 | 3875 4195 689346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20475 c Elapsed CPU time: 43.7803 s Remaining CPU time: 136.22 s c =============================================================================== c | 0 | 3875 4196 693196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20474 c Elapsed CPU time: 44.2793 s Remaining CPU time: 135.721 s c =============================================================================== c | 0 | 3875 4197 697046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20473 c Elapsed CPU time: 44.7722 s Remaining CPU time: 135.228 s c =============================================================================== c | 0 | 3875 4198 700896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20472 c Elapsed CPU time: 45.2661 s Remaining CPU time: 134.734 s c =============================================================================== c | 0 | 3875 4199 704746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20471 c Elapsed CPU time: 45.769 s Remaining CPU time: 134.231 s c =============================================================================== c | 0 | 3875 4200 708596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20470 c Elapsed CPU time: 46.276 s Remaining CPU time: 133.724 s c =============================================================================== c | 0 | 3875 4201 712446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20468 c Elapsed CPU time: 46.7829 s Remaining CPU time: 133.217 s c =============================================================================== c | 0 | 3875 4202 716296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20467 c Elapsed CPU time: 47.2888 s Remaining CPU time: 132.711 s c =============================================================================== c | 0 | 3875 4203 720146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20465 c Elapsed CPU time: 47.8047 s Remaining CPU time: 132.195 s c =============================================================================== c | 0 | 3875 4204 723996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20464 c Elapsed CPU time: 48.3097 s Remaining CPU time: 131.69 s c =============================================================================== c | 0 | 3875 4205 727846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20463 c Elapsed CPU time: 48.8346 s Remaining CPU time: 131.165 s c =============================================================================== c | 0 | 3875 4206 731696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20462 c Elapsed CPU time: 49.3835 s Remaining CPU time: 130.617 s c =============================================================================== c | 0 | 3875 4207 735546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20461 c Elapsed CPU time: 49.9234 s Remaining CPU time: 130.077 s c =============================================================================== c | 0 | 3875 4208 739396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20460 c Elapsed CPU time: 50.4713 s Remaining CPU time: 129.529 s c =============================================================================== c | 0 | 3875 4209 743246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20459 c Elapsed CPU time: 51.0302 s Remaining CPU time: 128.97 s c =============================================================================== c | 0 | 3875 4210 747096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20458 c Elapsed CPU time: 51.5832 s Remaining CPU time: 128.417 s c =============================================================================== c | 0 | 3875 4211 750946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20457 c Elapsed CPU time: 52.1301 s Remaining CPU time: 127.87 s c =============================================================================== c | 0 | 3875 4212 754796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20456 c Elapsed CPU time: 52.684 s Remaining CPU time: 127.316 s c =============================================================================== c | 0 | 3875 4213 758646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20455 c Elapsed CPU time: 53.2419 s Remaining CPU time: 126.758 s c =============================================================================== c | 0 | 3875 4214 762496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20454 c Elapsed CPU time: 53.7928 s Remaining CPU time: 126.207 s c =============================================================================== c | 0 | 3875 4215 766346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20452 c Elapsed CPU time: 54.3327 s Remaining CPU time: 125.667 s c =============================================================================== c | 0 | 3875 4216 770196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20450 c Elapsed CPU time: 54.8767 s Remaining CPU time: 125.123 s c =============================================================================== c | 0 | 3875 4217 774046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20449 c Elapsed CPU time: 55.4356 s Remaining CPU time: 124.564 s c =============================================================================== c | 0 | 3875 4218 777896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20448 c Elapsed CPU time: 56.0085 s Remaining CPU time: 123.992 s c =============================================================================== c | 0 | 3875 4219 781746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20447 c Elapsed CPU time: 56.5624 s Remaining CPU time: 123.438 s c =============================================================================== c | 0 | 3875 4220 785596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20445 c Elapsed CPU time: 57.1223 s Remaining CPU time: 122.878 s c =============================================================================== c | 0 | 3875 4221 789446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20443 c Elapsed CPU time: 57.6852 s Remaining CPU time: 122.315 s c =============================================================================== c | 0 | 3875 4222 793296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20441 c Elapsed CPU time: 58.2421 s Remaining CPU time: 121.758 s c =============================================================================== c | 0 | 3875 4223 797146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20439 c Elapsed CPU time: 58.8031 s Remaining CPU time: 121.197 s c =============================================================================== c | 0 | 3875 4224 800996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20438 c Elapsed CPU time: 59.357 s Remaining CPU time: 120.643 s c =============================================================================== c | 0 | 3875 4225 804846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20437 c Elapsed CPU time: 59.9209 s Remaining CPU time: 120.079 s c =============================================================================== c | 0 | 3875 4226 808696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20436 c Elapsed CPU time: 60.5008 s Remaining CPU time: 119.499 s c =============================================================================== c | 0 | 3875 4227 812546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20435 c Elapsed CPU time: 61.0747 s Remaining CPU time: 118.925 s c =============================================================================== c | 0 | 3875 4228 816396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20433 c Elapsed CPU time: 61.6566 s Remaining CPU time: 118.343 s c =============================================================================== c | 0 | 3875 4229 820246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20432 c Elapsed CPU time: 62.2315 s Remaining CPU time: 117.768 s c =============================================================================== c | 0 | 3875 4230 824096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20431 c Elapsed CPU time: 62.8065 s Remaining CPU time: 117.194 s c =============================================================================== c | 0 | 3875 4231 827946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20430 c Elapsed CPU time: 63.3934 s Remaining CPU time: 116.607 s c =============================================================================== c | 0 | 3875 4232 831796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20428 c Elapsed CPU time: 63.9693 s Remaining CPU time: 116.031 s c =============================================================================== c | 0 | 3875 4233 835646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20427 c Elapsed CPU time: 64.5472 s Remaining CPU time: 115.453 s c =============================================================================== c | 0 | 3875 4234 839496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20426 c Elapsed CPU time: 65.1311 s Remaining CPU time: 114.869 s c =============================================================================== c | 0 | 3875 4235 843346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20425 c Elapsed CPU time: 65.73 s Remaining CPU time: 114.27 s c =============================================================================== c | 0 | 3875 4236 847196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20424 c Elapsed CPU time: 66.3339 s Remaining CPU time: 113.666 s c =============================================================================== c | 0 | 3875 4237 851046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20423 c Elapsed CPU time: 66.9328 s Remaining CPU time: 113.067 s c =============================================================================== c | 0 | 3875 4238 854896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20422 c Elapsed CPU time: 67.5247 s Remaining CPU time: 112.475 s c =============================================================================== c | 0 | 3875 4239 858746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20421 c Elapsed CPU time: 68.1096 s Remaining CPU time: 111.89 s c =============================================================================== c | 0 | 3875 4240 862596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20420 c Elapsed CPU time: 68.6966 s Remaining CPU time: 111.303 s c =============================================================================== c | 0 | 3875 4241 866446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20418 c Elapsed CPU time: 69.2765 s Remaining CPU time: 110.724 s c =============================================================================== c | 0 | 3875 4242 870296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20417 c Elapsed CPU time: 69.8604 s Remaining CPU time: 110.14 s c =============================================================================== c | 0 | 3875 4243 874146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20416 c Elapsed CPU time: 70.4593 s Remaining CPU time: 109.541 s c =============================================================================== c | 0 | 3875 4244 877996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20414 c Elapsed CPU time: 71.0612 s Remaining CPU time: 108.939 s c =============================================================================== c | 0 | 3875 4245 881846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20413 c Elapsed CPU time: 71.6491 s Remaining CPU time: 108.351 s c =============================================================================== c | 0 | 3875 4246 885696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20412 c Elapsed CPU time: 72.236 s Remaining CPU time: 107.764 s c =============================================================================== c | 0 | 3875 4247 889546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20411 c Elapsed CPU time: 72.8399 s Remaining CPU time: 107.16 s c =============================================================================== c | 0 | 3875 4248 893396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20410 c Elapsed CPU time: 73.4618 s Remaining CPU time: 106.538 s c =============================================================================== c | 0 | 3875 4249 897246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20409 c Elapsed CPU time: 74.0677 s Remaining CPU time: 105.932 s c =============================================================================== c | 0 | 3875 4250 901096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20407 c Elapsed CPU time: 74.6816 s Remaining CPU time: 105.318 s c =============================================================================== c | 0 | 3875 4251 904946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20406 c Elapsed CPU time: 75.3026 s Remaining CPU time: 104.697 s c =============================================================================== c | 0 | 3875 4252 908796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20404 c Elapsed CPU time: 75.9125 s Remaining CPU time: 104.088 s c =============================================================================== c | 0 | 3875 4253 912646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20403 c Elapsed CPU time: 76.5244 s Remaining CPU time: 103.476 s c =============================================================================== c | 0 | 3875 4254 916496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20402 c Elapsed CPU time: 77.1413 s Remaining CPU time: 102.859 s c =============================================================================== c | 0 | 3875 4255 920346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20401 c Elapsed CPU time: 77.7772 s Remaining CPU time: 102.223 s c =============================================================================== c | 0 | 3875 4256 924196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20400 c Elapsed CPU time: 78.3981 s Remaining CPU time: 101.602 s c =============================================================================== c | 0 | 3875 4257 928046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20398 c Elapsed CPU time: 79.018 s Remaining CPU time: 100.982 s c =============================================================================== c | 0 | 3875 4258 931896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20396 c Elapsed CPU time: 79.6399 s Remaining CPU time: 100.36 s c =============================================================================== c | 0 | 3875 4259 935746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20395 c Elapsed CPU time: 80.2628 s Remaining CPU time: 99.7372 s c =============================================================================== c | 0 | 3875 4260 939596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20394 c Elapsed CPU time: 80.9167 s Remaining CPU time: 99.0833 s c =============================================================================== c | 0 | 3875 4261 943446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20393 c Elapsed CPU time: 81.5646 s Remaining CPU time: 98.4354 s c =============================================================================== c | 0 | 3875 4262 947296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20392 c Elapsed CPU time: 82.2975 s Remaining CPU time: 97.7025 s c =============================================================================== c | 0 | 3875 4263 951146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20389 c Elapsed CPU time: 83.0254 s Remaining CPU time: 96.9746 s c =============================================================================== c | 0 | 3875 4264 954996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20387 c Elapsed CPU time: 83.7493 s Remaining CPU time: 96.2507 s c =============================================================================== c | 0 | 3875 4265 958846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20386 c Elapsed CPU time: 84.4822 s Remaining CPU time: 95.5178 s c =============================================================================== c | 0 | 3875 4266 962696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20385 c Elapsed CPU time: 85.204 s Remaining CPU time: 94.796 s c =============================================================================== c | 0 | 3875 4267 966546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20384 c Elapsed CPU time: 85.9389 s Remaining CPU time: 94.0611 s c =============================================================================== c | 0 | 3875 4268 970396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20383 c Elapsed CPU time: 86.6798 s Remaining CPU time: 93.3202 s c =============================================================================== c | 0 | 3875 4269 974246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20382 c Elapsed CPU time: 87.4047 s Remaining CPU time: 92.5953 s c =============================================================================== c | 0 | 3875 4270 978096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20381 c Elapsed CPU time: 88.1536 s Remaining CPU time: 91.8464 s c =============================================================================== c | 0 | 3875 4271 981946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20380 c Elapsed CPU time: 88.8945 s Remaining CPU time: 91.1055 s c =============================================================================== c | 0 | 3875 4272 985796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20379 c Elapsed CPU time: 89.6264 s Remaining CPU time: 90.3736 s c =============================================================================== c | 0 | 3875 4273 989646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20378 c Elapsed CPU time: 90.3743 s Remaining CPU time: 89.6257 s c =============================================================================== c | 0 | 3875 4274 993496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20376 c Elapsed CPU time: 91.1061 s Remaining CPU time: 88.8939 s c =============================================================================== c | 0 | 3875 4275 997346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20375 c Elapsed CPU time: 91.851 s Remaining CPU time: 88.149 s c =============================================================================== c | 0 | 3875 4276 1001196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20373 c Elapsed CPU time: 92.6029 s Remaining CPU time: 87.3971 s c =============================================================================== c | 0 | 3875 4277 1005046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20371 c Elapsed CPU time: 93.3448 s Remaining CPU time: 86.6552 s c =============================================================================== c | 0 | 3875 4278 1008896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20370 c Elapsed CPU time: 94.0907 s Remaining CPU time: 85.9093 s c =============================================================================== c | 0 | 3875 4279 1012746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20369 c Elapsed CPU time: 94.8276 s Remaining CPU time: 85.1724 s c =============================================================================== c | 0 | 3875 4280 1016596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20367 c Elapsed CPU time: 95.5865 s Remaining CPU time: 84.4135 s c =============================================================================== c | 0 | 3875 4281 1020446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20364 c Elapsed CPU time: 96.3534 s Remaining CPU time: 83.6466 s c =============================================================================== c | 0 | 3875 4282 1024296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20363 c Elapsed CPU time: 97.1272 s Remaining CPU time: 82.8728 s c =============================================================================== c | 0 | 3875 4283 1028146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20361 c Elapsed CPU time: 97.8821 s Remaining CPU time: 82.1179 s c =============================================================================== c | 0 | 3875 4284 1031996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20360 c Elapsed CPU time: 98.665 s Remaining CPU time: 81.335 s c =============================================================================== c | 0 | 3875 4285 1035846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20359 c Elapsed CPU time: 99.4429 s Remaining CPU time: 80.5571 s c =============================================================================== c | 0 | 3875 4286 1039696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20358 c Elapsed CPU time: 100.208 s Remaining CPU time: 79.7922 s c =============================================================================== c | 0 | 3875 4287 1043546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20357 c Elapsed CPU time: 100.97 s Remaining CPU time: 79.0303 s c =============================================================================== c | 0 | 3875 4288 1047396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20356 c Elapsed CPU time: 101.762 s Remaining CPU time: 78.2385 s c =============================================================================== c | 0 | 3875 4289 1051246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20355 c Elapsed CPU time: 102.6 s Remaining CPU time: 77.3996 s c =============================================================================== c | 0 | 3875 4290 1055096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20354 c Elapsed CPU time: 103.433 s Remaining CPU time: 76.5667 s c =============================================================================== c | 0 | 3875 4291 1058946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20353 c Elapsed CPU time: 104.25 s Remaining CPU time: 75.7498 s c =============================================================================== c | 0 | 3875 4292 1062796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20352 c Elapsed CPU time: 105.076 s Remaining CPU time: 74.924 s c =============================================================================== c | 0 | 3875 4293 1066646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20351 c Elapsed CPU time: 105.89 s Remaining CPU time: 74.1101 s c =============================================================================== c | 0 | 3875 4294 1070496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20350 c Elapsed CPU time: 106.686 s Remaining CPU time: 73.3142 s c =============================================================================== c | 0 | 3875 4295 1074346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20349 c Elapsed CPU time: 107.476 s Remaining CPU time: 72.5243 s c =============================================================================== c | 0 | 3875 4296 1078196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20346 c Elapsed CPU time: 108.264 s Remaining CPU time: 71.7365 s c =============================================================================== c | 0 | 3875 4297 1082046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20343 c Elapsed CPU time: 109.068 s Remaining CPU time: 70.9316 s c =============================================================================== c | 0 | 3875 4298 1085896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20342 c Elapsed CPU time: 109.881 s Remaining CPU time: 70.1187 s c =============================================================================== c | 0 | 3875 4299 1089746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20341 c Elapsed CPU time: 110.698 s Remaining CPU time: 69.3018 s c =============================================================================== c | 0 | 3875 4300 1093596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20340 c Elapsed CPU time: 111.568 s Remaining CPU time: 68.432 s c =============================================================================== c | 0 | 3875 4301 1097446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20339 c Elapsed CPU time: 112.437 s Remaining CPU time: 67.5631 s c =============================================================================== c | 0 | 3875 4302 1101296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20338 c Elapsed CPU time: 113.297 s Remaining CPU time: 66.7032 s c =============================================================================== c | 0 | 3875 4303 1105146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20337 c Elapsed CPU time: 114.152 s Remaining CPU time: 65.8484 s c =============================================================================== c | 0 | 3875 4304 1108996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20336 c Elapsed CPU time: 114.982 s Remaining CPU time: 65.0185 s c =============================================================================== c | 0 | 3875 4305 1112846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20335 c Elapsed CPU time: 115.82 s Remaining CPU time: 64.1796 s c =============================================================================== c | 0 | 3875 4306 1116696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20334 c Elapsed CPU time: 116.651 s Remaining CPU time: 63.3487 s c =============================================================================== c | 0 | 3875 4307 1120546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20333 c Elapsed CPU time: 117.492 s Remaining CPU time: 62.5079 s c =============================================================================== c | 0 | 3875 4308 1124396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20331 c Elapsed CPU time: 118.297 s Remaining CPU time: 61.703 s c =============================================================================== c | 0 | 3875 4309 1128246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20330 c Elapsed CPU time: 119.119 s Remaining CPU time: 60.8811 s c =============================================================================== c | 0 | 3875 4310 1132096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20329 c Elapsed CPU time: 119.926 s Remaining CPU time: 60.0742 s c =============================================================================== c | 0 | 3875 4311 1135946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20328 c Elapsed CPU time: 120.729 s Remaining CPU time: 59.2714 s c =============================================================================== c | 0 | 3875 4312 1139796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20327 c Elapsed CPU time: 121.556 s Remaining CPU time: 58.4445 s c =============================================================================== c | 0 | 3875 4313 1143646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20326 c Elapsed CPU time: 122.37 s Remaining CPU time: 57.6296 s c =============================================================================== c | 0 | 3875 4314 1147496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20324 c Elapsed CPU time: 123.179 s Remaining CPU time: 56.8207 s c =============================================================================== c | 0 | 3875 4315 1151346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20322 c Elapsed CPU time: 123.993 s Remaining CPU time: 56.0069 s c =============================================================================== c | 0 | 3875 4316 1155196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20321 c Elapsed CPU time: 124.801 s Remaining CPU time: 55.199 s c =============================================================================== c | 0 | 3875 4317 1159046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20318 c Elapsed CPU time: 125.631 s Remaining CPU time: 54.3691 s c =============================================================================== c | 0 | 3875 4318 1162896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20316 c Elapsed CPU time: 126.469 s Remaining CPU time: 53.5312 s c =============================================================================== c | 0 | 3875 4319 1166746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20315 c Elapsed CPU time: 127.312 s Remaining CPU time: 52.6884 s c =============================================================================== c | 0 | 3875 4320 1170596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20312 c Elapsed CPU time: 128.14 s Remaining CPU time: 51.8605 s c =============================================================================== c | 0 | 3875 4321 1174446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20311 c Elapsed CPU time: 128.976 s Remaining CPU time: 51.0236 s c =============================================================================== c | 0 | 3875 4322 1178296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20310 c Elapsed CPU time: 129.825 s Remaining CPU time: 50.1747 s c =============================================================================== c | 0 | 3875 4323 1182146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20309 c Elapsed CPU time: 130.681 s Remaining CPU time: 49.3189 s c =============================================================================== c | 0 | 3875 4324 1185996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20308 c Elapsed CPU time: 131.562 s Remaining CPU time: 48.438 s c =============================================================================== c | 0 | 3875 4325 1189846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20307 c Elapsed CPU time: 132.413 s Remaining CPU time: 47.5871 s c =============================================================================== c | 0 | 3875 4326 1193696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20306 c Elapsed CPU time: 133.275 s Remaining CPU time: 46.7253 s c =============================================================================== c | 0 | 3875 4327 1197546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20305 c Elapsed CPU time: 134.12 s Remaining CPU time: 45.8804 s c =============================================================================== c | 0 | 3875 4328 1201396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20303 c Elapsed CPU time: 134.962 s Remaining CPU time: 45.0375 s c =============================================================================== c | 0 | 3875 4329 1205246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20302 c Elapsed CPU time: 135.824 s Remaining CPU time: 44.1756 s c =============================================================================== c | 0 | 3875 4330 1209096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20301 c Elapsed CPU time: 136.684 s Remaining CPU time: 43.3158 s c =============================================================================== c | 1 | 3875 4331 1212946 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20300 c Elapsed CPU time: 137.546 s Remaining CPU time: 42.4539 s c =============================================================================== c | 1 | 3875 4332 1216796 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20299 c Elapsed CPU time: 138.399 s Remaining CPU time: 41.601 s c =============================================================================== c | 1 | 3875 4333 1220646 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20298 c Elapsed CPU time: 139.25 s Remaining CPU time: 40.7502 s c =============================================================================== c | 1 | 3875 4334 1224496 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20297 c Elapsed CPU time: 140.157 s Remaining CPU time: 39.8433 s c =============================================================================== c | 1 | 3875 4335 1228346 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20295 c Elapsed CPU time: 141.048 s Remaining CPU time: 38.9524 s c =============================================================================== c | 1 | 3875 4336 1232196 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20294 c Elapsed CPU time: 141.91 s Remaining CPU time: 38.0896 s c =============================================================================== c | 1 | 3875 4337 1236046 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20293 c Elapsed CPU time: 142.797 s Remaining CPU time: 37.2027 s c =============================================================================== c | 1 | 3875 4338 1239896 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20291 c Elapsed CPU time: 143.672 s Remaining CPU time: 36.3278 s c =============================================================================== c | 1 | 3875 4339 1243746 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20290 c Elapsed CPU time: 144.543 s Remaining CPU time: 35.457 s c =============================================================================== c | 1 | 3875 4340 1247596 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20289 c Elapsed CPU time: 145.452 s Remaining CPU time: 34.5481 s c =============================================================================== c | 1 | 3875 4341 1251446 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20287 c Elapsed CPU time: 146.353 s Remaining CPU time: 33.6472 s c =============================================================================== c | 1 | 3875 4342 1255296 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20286 c Elapsed CPU time: 147.25 s Remaining CPU time: 32.7504 s c =============================================================================== c | 1 | 3875 4343 1259146 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20284 c Elapsed CPU time: 148.147 s Remaining CPU time: 31.8525 s c =============================================================================== c | 1 | 3875 4344 1262996 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20282 c Elapsed CPU time: 149.052 s Remaining CPU time: 30.9477 s c =============================================================================== c | 1 | 3875 4345 1266846 | 5000 1 3774 | 0.000 % | c =============================================================================== c New solution: 20280 c Elapsed CPU time: 149.942 s Remaining CPU time: 30.0578 s c =============================================================================== c | 2 | 3875 4346 1270696 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20279 c Elapsed CPU time: 150.843 s Remaining CPU time: 29.1569 s c =============================================================================== c | 2 | 3875 4347 1274546 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20278 c Elapsed CPU time: 151.704 s Remaining CPU time: 28.2961 s c =============================================================================== c | 2 | 3875 4348 1278396 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20276 c Elapsed CPU time: 152.587 s Remaining CPU time: 27.4132 s c =============================================================================== c | 2 | 3875 4349 1282246 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20274 c Elapsed CPU time: 153.464 s Remaining CPU time: 26.5363 s c =============================================================================== c | 2 | 3875 4350 1286096 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20273 c Elapsed CPU time: 154.317 s Remaining CPU time: 25.6835 s c =============================================================================== c | 2 | 3875 4351 1289946 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20272 c Elapsed CPU time: 155.194 s Remaining CPU time: 24.8056 s c =============================================================================== c | 2 | 3875 4352 1293796 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20271 c Elapsed CPU time: 156.07 s Remaining CPU time: 23.9297 s c =============================================================================== c | 2 | 3875 4353 1297646 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20270 c Elapsed CPU time: 157.037 s Remaining CPU time: 22.9629 s c =============================================================================== c | 2 | 3875 4354 1301496 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20268 c Elapsed CPU time: 158.009 s Remaining CPU time: 21.991 s c =============================================================================== c | 2 | 3875 4355 1305346 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20267 c Elapsed CPU time: 158.967 s Remaining CPU time: 21.0332 s c =============================================================================== c | 2 | 3875 4356 1309196 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20265 c Elapsed CPU time: 159.907 s Remaining CPU time: 20.0933 s c =============================================================================== c | 2 | 3875 4357 1313046 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20264 c Elapsed CPU time: 160.841 s Remaining CPU time: 19.1595 s c =============================================================================== c | 2 | 3875 4358 1316896 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20263 c Elapsed CPU time: 161.818 s Remaining CPU time: 18.1816 s c =============================================================================== c | 2 | 3875 4359 1320746 | 5000 2 3772 | 0.000 % | c =============================================================================== c New solution: 20261 c Elapsed CPU time: 162.815 s Remaining CPU time: 17.1848 s c =============================================================================== c | 3 | 3875 4360 1324596 | 5000 3 3771 | 0.000 % | c =============================================================================== c New solution: 20260 c Elapsed CPU time: 163.788 s Remaining CPU time: 16.2119 s c =============================================================================== c | 3 | 3875 4361 1328446 | 5000 3 3771 | 0.000 % | c =============================================================================== c New solution: 20259 c Elapsed CPU time: 164.766 s Remaining CPU time: 15.234 s c =============================================================================== c | 3 | 3875 4362 1332296 | 5000 3 3771 | 0.000 % | c =============================================================================== c New solution: 20258 c Elapsed CPU time: 165.803 s Remaining CPU time: 14.1972 s c =============================================================================== c | 3 | 3875 4363 1336146 | 5000 3 3771 | 0.000 % | c =============================================================================== c New solution: 20257 c Elapsed CPU time: 166.799 s Remaining CPU time: 13.2014 s c =============================================================================== c | 3 | 3875 4364 1339996 | 5000 3 3771 | 0.000 % | c =============================================================================== c New solution: 20256 c Elapsed CPU time: 167.79 s Remaining CPU time: 12.2095 s c =============================================================================== c | 3 | 3875 4365 1343846 | 5000 3 3771 | 0.000 % | c =============================================================================== c New solution: 20255 c Elapsed CPU time: 168.732 s Remaining CPU time: 11.2677 s c =============================================================================== c | 4 | 3875 4366 1347696 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20254 c Elapsed CPU time: 169.674 s Remaining CPU time: 10.3258 s c =============================================================================== c | 4 | 3875 4367 1351546 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20253 c Elapsed CPU time: 170.625 s Remaining CPU time: 9.37494 s c =============================================================================== c | 4 | 3875 4368 1355396 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20252 c Elapsed CPU time: 171.57 s Remaining CPU time: 8.43008 s c =============================================================================== c | 4 | 3875 4369 1359246 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20251 c Elapsed CPU time: 172.56 s Remaining CPU time: 7.44023 s c =============================================================================== c | 4 | 3875 4370 1363096 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20250 c Elapsed CPU time: 173.521 s Remaining CPU time: 6.47938 s c =============================================================================== c | 4 | 3875 4371 1366946 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20249 c Elapsed CPU time: 174.481 s Remaining CPU time: 5.51853 s c =============================================================================== c | 4 | 3875 4372 1370796 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20248 c Elapsed CPU time: 175.396 s Remaining CPU time: 4.60367 s c =============================================================================== c | 4 | 3875 4373 1374646 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20247 c Elapsed CPU time: 176.33 s Remaining CPU time: 3.66981 s c =============================================================================== c | 4 | 3875 4374 1378496 | 5000 4 3769 | 0.000 % | c =============================================================================== c New solution: 20246 c Elapsed CPU time: 177.261 s Remaining CPU time: 2.73895 s c =============================================================================== c | 5 | 3875 4375 1382346 | 5000 5 3016 | 0.000 % | c =============================================================================== c New solution: 20244 c Elapsed CPU time: 178.205 s Remaining CPU time: 1.79509 s c =============================================================================== c | 5 | 3875 4376 1386196 | 5000 5 3016 | 0.000 % | c =============================================================================== c New solution: 20242 c Elapsed CPU time: 179.197 s Remaining CPU time: 0.803243 s c =============================================================================== c | 5 | 3875 4377 1390046 | 5000 5 3016 | 0.000 % | c =============================================================================== c New solution: 20240 c Elapsed CPU time: 180.185 s Remaining CPU time: -0.184607 s c =============================================================================== c | 5 | 3875 4378 1393896 | 5000 5 3016 | 0.000 % | c There are 125 assigned variables. 82 in cost function. c Memory used : 53.00 MB c CPU time : 180.749 s c c Total CPU time: 180.749 s