c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4000 | c | Number Clauses: 4000 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3959 4020 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21064 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 3959 4021 15550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21055 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 3959 4022 19400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21054 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 3959 4023 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21045 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 0 | 3959 4024 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21039 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 0 | 3959 4025 30950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21036 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 3959 4026 34800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21030 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 0 | 3959 4027 38650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21029 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 0 | 3959 4028 42500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21028 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 0 | 3959 4029 46350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21025 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 0 | 3959 4030 50200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21021 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 3959 4031 54050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21017 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 0 | 3959 4032 57900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21014 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 0 | 3959 4033 61750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21010 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 0 | 3959 4034 65600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21009 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 0 | 3959 4035 69450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21008 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s c =============================================================================== c | 0 | 3959 4036 73300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21007 c Elapsed CPU time: 1.09583 s Remaining CPU time: 178.904 s c =============================================================================== c | 0 | 3959 4037 77150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21006 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 0 | 3959 4038 81000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21004 c Elapsed CPU time: 1.23381 s Remaining CPU time: 178.766 s c =============================================================================== c | 0 | 3959 4039 84850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21003 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 0 | 3959 4040 88700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21001 c Elapsed CPU time: 1.38379 s Remaining CPU time: 178.616 s c =============================================================================== c | 0 | 3959 4041 92550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21000 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 0 | 3959 4042 96400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20999 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 0 | 3959 4043 100250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20998 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 0 | 3959 4044 104100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20995 c Elapsed CPU time: 1.69474 s Remaining CPU time: 178.305 s c =============================================================================== c | 0 | 3959 4045 107950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20993 c Elapsed CPU time: 1.77273 s Remaining CPU time: 178.227 s c =============================================================================== c | 0 | 3959 4046 111800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20989 c Elapsed CPU time: 1.85472 s Remaining CPU time: 178.145 s c =============================================================================== c | 0 | 3959 4047 115650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20988 c Elapsed CPU time: 1.9407 s Remaining CPU time: 178.059 s c =============================================================================== c | 0 | 3959 4048 119500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20984 c Elapsed CPU time: 2.02669 s Remaining CPU time: 177.973 s c =============================================================================== c | 0 | 3959 4049 123350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20980 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s c =============================================================================== c | 0 | 3959 4050 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20978 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 0 | 3959 4051 131050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20977 c Elapsed CPU time: 2.28865 s Remaining CPU time: 177.711 s c =============================================================================== c | 0 | 3959 4052 134900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20976 c Elapsed CPU time: 2.37864 s Remaining CPU time: 177.621 s c =============================================================================== c | 0 | 3959 4053 138750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20971 c Elapsed CPU time: 2.46962 s Remaining CPU time: 177.53 s c =============================================================================== c | 0 | 3959 4054 142600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20970 c Elapsed CPU time: 2.56261 s Remaining CPU time: 177.437 s c =============================================================================== c | 0 | 3959 4055 146450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20969 c Elapsed CPU time: 2.65959 s Remaining CPU time: 177.34 s c =============================================================================== c | 0 | 3959 4056 150300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20964 c Elapsed CPU time: 2.75658 s Remaining CPU time: 177.243 s c =============================================================================== c | 0 | 3959 4057 154150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20960 c Elapsed CPU time: 2.85656 s Remaining CPU time: 177.143 s c =============================================================================== c | 0 | 3959 4058 158000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20959 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s c =============================================================================== c | 0 | 3959 4059 161850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20958 c Elapsed CPU time: 3.05854 s Remaining CPU time: 176.941 s c =============================================================================== c | 0 | 3959 4060 165700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20955 c Elapsed CPU time: 3.15952 s Remaining CPU time: 176.84 s c =============================================================================== c | 0 | 3959 4061 169550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20952 c Elapsed CPU time: 3.2685 s Remaining CPU time: 176.731 s c =============================================================================== c | 0 | 3959 4062 173400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20947 c Elapsed CPU time: 3.37549 s Remaining CPU time: 176.625 s c =============================================================================== c | 0 | 3959 4063 177250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20943 c Elapsed CPU time: 3.48447 s Remaining CPU time: 176.516 s c =============================================================================== c | 0 | 3959 4064 181100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20942 c Elapsed CPU time: 3.59945 s Remaining CPU time: 176.401 s c =============================================================================== c | 0 | 3959 4065 184950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20941 c Elapsed CPU time: 3.71043 s Remaining CPU time: 176.29 s c =============================================================================== c | 0 | 3959 4066 188800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20940 c Elapsed CPU time: 3.82342 s Remaining CPU time: 176.177 s c =============================================================================== c | 0 | 3959 4067 192650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20936 c Elapsed CPU time: 3.9384 s Remaining CPU time: 176.062 s c =============================================================================== c | 0 | 3959 4068 196500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20932 c Elapsed CPU time: 4.05538 s Remaining CPU time: 175.945 s c =============================================================================== c | 0 | 3959 4069 200350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20930 c Elapsed CPU time: 4.17936 s Remaining CPU time: 175.821 s c =============================================================================== c | 0 | 3959 4070 204200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20929 c Elapsed CPU time: 4.30234 s Remaining CPU time: 175.698 s c =============================================================================== c | 0 | 3959 4071 208050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20925 c Elapsed CPU time: 4.42333 s Remaining CPU time: 175.577 s c =============================================================================== c | 0 | 3959 4072 211900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20923 c Elapsed CPU time: 4.55031 s Remaining CPU time: 175.45 s c =============================================================================== c | 0 | 3959 4073 215750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20917 c Elapsed CPU time: 4.67729 s Remaining CPU time: 175.323 s c =============================================================================== c | 0 | 3959 4074 219600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20916 c Elapsed CPU time: 4.81227 s Remaining CPU time: 175.188 s c =============================================================================== c | 0 | 3959 4075 223450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20914 c Elapsed CPU time: 4.94525 s Remaining CPU time: 175.055 s c =============================================================================== c | 0 | 3959 4076 227300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20913 c Elapsed CPU time: 5.08023 s Remaining CPU time: 174.92 s c =============================================================================== c | 0 | 3959 4077 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20910 c Elapsed CPU time: 5.21821 s Remaining CPU time: 174.782 s c =============================================================================== c | 0 | 3959 4078 235000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20909 c Elapsed CPU time: 5.35019 s Remaining CPU time: 174.65 s c =============================================================================== c | 0 | 3959 4079 238850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20906 c Elapsed CPU time: 5.48916 s Remaining CPU time: 174.511 s c =============================================================================== c | 0 | 3959 4080 242700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20905 c Elapsed CPU time: 5.63114 s Remaining CPU time: 174.369 s c =============================================================================== c | 0 | 3959 4081 246550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20902 c Elapsed CPU time: 5.77612 s Remaining CPU time: 174.224 s c =============================================================================== c | 0 | 3959 4082 250400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20901 c Elapsed CPU time: 5.9231 s Remaining CPU time: 174.077 s c =============================================================================== c | 0 | 3959 4083 254250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20900 c Elapsed CPU time: 6.06708 s Remaining CPU time: 173.933 s c =============================================================================== c | 0 | 3959 4084 258100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20898 c Elapsed CPU time: 6.22105 s Remaining CPU time: 173.779 s c =============================================================================== c | 0 | 3959 4085 261950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20893 c Elapsed CPU time: 6.36803 s Remaining CPU time: 173.632 s c =============================================================================== c | 0 | 3959 4086 265800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20892 c Elapsed CPU time: 6.53201 s Remaining CPU time: 173.468 s c =============================================================================== c | 0 | 3959 4087 269650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20891 c Elapsed CPU time: 6.69198 s Remaining CPU time: 173.308 s c =============================================================================== c | 0 | 3959 4088 273500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20890 c Elapsed CPU time: 6.85096 s Remaining CPU time: 173.149 s c =============================================================================== c | 0 | 3959 4089 277350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20888 c Elapsed CPU time: 7.01393 s Remaining CPU time: 172.986 s c =============================================================================== c | 0 | 3959 4090 281200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 20885 c Elapsed CPU time: 7.18191 s Remaining CPU time: 172.818 s c =============================================================================== c | 1 | 3959 4091 285050 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20883 c Elapsed CPU time: 7.34588 s Remaining CPU time: 172.654 s c =============================================================================== c | 1 | 3959 4092 288900 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20881 c Elapsed CPU time: 7.51686 s Remaining CPU time: 172.483 s c =============================================================================== c | 1 | 3959 4093 292750 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20879 c Elapsed CPU time: 7.68583 s Remaining CPU time: 172.314 s c =============================================================================== c | 1 | 3959 4094 296600 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20878 c Elapsed CPU time: 7.8548 s Remaining CPU time: 172.145 s c =============================================================================== c | 1 | 3959 4095 300450 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20877 c Elapsed CPU time: 8.04278 s Remaining CPU time: 171.957 s c =============================================================================== c | 1 | 3959 4096 304300 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20876 c Elapsed CPU time: 8.22075 s Remaining CPU time: 171.779 s c =============================================================================== c | 1 | 3959 4097 308150 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20875 c Elapsed CPU time: 8.40872 s Remaining CPU time: 171.591 s c =============================================================================== c | 1 | 3959 4098 312000 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20874 c Elapsed CPU time: 8.5837 s Remaining CPU time: 171.416 s c =============================================================================== c | 1 | 3959 4099 315850 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20873 c Elapsed CPU time: 8.77567 s Remaining CPU time: 171.224 s c =============================================================================== c | 1 | 3959 4100 319700 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20871 c Elapsed CPU time: 8.96964 s Remaining CPU time: 171.03 s c =============================================================================== c | 1 | 3959 4101 323550 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20870 c Elapsed CPU time: 9.15961 s Remaining CPU time: 170.84 s c =============================================================================== c | 1 | 3959 4102 327400 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20869 c Elapsed CPU time: 9.34658 s Remaining CPU time: 170.653 s c =============================================================================== c | 1 | 3959 4103 331250 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20868 c Elapsed CPU time: 9.54155 s Remaining CPU time: 170.458 s c =============================================================================== c | 1 | 3959 4104 335100 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20867 c Elapsed CPU time: 9.73852 s Remaining CPU time: 170.261 s c =============================================================================== c | 1 | 3959 4105 338950 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20866 c Elapsed CPU time: 9.93549 s Remaining CPU time: 170.065 s c =============================================================================== c | 1 | 3959 4106 342800 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20864 c Elapsed CPU time: 10.1385 s Remaining CPU time: 169.862 s c =============================================================================== c | 1 | 3959 4107 346650 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20863 c Elapsed CPU time: 10.3474 s Remaining CPU time: 169.653 s c =============================================================================== c | 1 | 3959 4108 350500 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20862 c Elapsed CPU time: 10.5624 s Remaining CPU time: 169.438 s c =============================================================================== c | 1 | 3959 4109 354350 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20861 c Elapsed CPU time: 10.7644 s Remaining CPU time: 169.236 s c =============================================================================== c | 1 | 3959 4110 358200 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20860 c Elapsed CPU time: 10.9653 s Remaining CPU time: 169.035 s c =============================================================================== c | 1 | 3959 4111 362050 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20859 c Elapsed CPU time: 11.1783 s Remaining CPU time: 168.822 s c =============================================================================== c | 1 | 3959 4112 365900 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20858 c Elapsed CPU time: 11.4013 s Remaining CPU time: 168.599 s c =============================================================================== c | 1 | 3959 4113 369750 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20857 c Elapsed CPU time: 11.6122 s Remaining CPU time: 168.388 s c =============================================================================== c | 1 | 3959 4114 373600 | 5000 1 3827 | 0.000 % | c =============================================================================== c New solution: 20856 c Elapsed CPU time: 11.8402 s Remaining CPU time: 168.16 s c =============================================================================== c | 2 | 3959 4115 377450 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20855 c Elapsed CPU time: 12.0662 s Remaining CPU time: 167.934 s c =============================================================================== c | 2 | 3959 4116 381300 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20854 c Elapsed CPU time: 12.2861 s Remaining CPU time: 167.714 s c =============================================================================== c | 2 | 3959 4117 385150 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20852 c Elapsed CPU time: 12.5251 s Remaining CPU time: 167.475 s c =============================================================================== c | 2 | 3959 4118 389000 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20851 c Elapsed CPU time: 12.7561 s Remaining CPU time: 167.244 s c =============================================================================== c | 2 | 3959 4119 392850 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20850 c Elapsed CPU time: 12.989 s Remaining CPU time: 167.011 s c =============================================================================== c | 2 | 3959 4120 396700 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20849 c Elapsed CPU time: 13.222 s Remaining CPU time: 166.778 s c =============================================================================== c | 2 | 3959 4121 400550 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20848 c Elapsed CPU time: 13.456 s Remaining CPU time: 166.544 s c =============================================================================== c | 2 | 3959 4122 404400 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20847 c Elapsed CPU time: 13.7039 s Remaining CPU time: 166.296 s c =============================================================================== c | 2 | 3959 4123 408250 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20846 c Elapsed CPU time: 13.9399 s Remaining CPU time: 166.06 s c =============================================================================== c | 2 | 3959 4124 412100 | 5000 2 3822 | 0.000 % | c =============================================================================== c New solution: 20845 c Elapsed CPU time: 14.1878 s Remaining CPU time: 165.812 s c =============================================================================== c | 3 | 3959 4125 415950 | 5000 3 3820 | 0.000 % | c =============================================================================== c New solution: 20844 c Elapsed CPU time: 14.4388 s Remaining CPU time: 165.561 s c =============================================================================== c | 4 | 3959 4126 419800 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20843 c Elapsed CPU time: 14.6708 s Remaining CPU time: 165.329 s c =============================================================================== c | 4 | 3959 4127 423650 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20842 c Elapsed CPU time: 14.9167 s Remaining CPU time: 165.083 s c =============================================================================== c | 4 | 3959 4128 427500 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20841 c Elapsed CPU time: 15.1567 s Remaining CPU time: 164.843 s c =============================================================================== c | 4 | 3959 4129 431350 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20840 c Elapsed CPU time: 15.4057 s Remaining CPU time: 164.594 s c =============================================================================== c | 4 | 3959 4130 435200 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20839 c Elapsed CPU time: 15.6616 s Remaining CPU time: 164.338 s c =============================================================================== c | 4 | 3959 4131 439050 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20838 c Elapsed CPU time: 15.9096 s Remaining CPU time: 164.09 s c =============================================================================== c | 4 | 3959 4132 442900 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20837 c Elapsed CPU time: 16.1665 s Remaining CPU time: 163.833 s c =============================================================================== c | 4 | 3959 4133 446750 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20836 c Elapsed CPU time: 16.4145 s Remaining CPU time: 163.585 s c =============================================================================== c | 4 | 3959 4134 450600 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20835 c Elapsed CPU time: 16.6805 s Remaining CPU time: 163.32 s c =============================================================================== c | 4 | 3959 4135 454450 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20834 c Elapsed CPU time: 16.9354 s Remaining CPU time: 163.065 s c =============================================================================== c | 4 | 3959 4136 458300 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20833 c Elapsed CPU time: 17.1874 s Remaining CPU time: 162.813 s c =============================================================================== c | 4 | 3959 4137 462150 | 5000 4 3818 | 0.000 % | c =============================================================================== c New solution: 20832 c Elapsed CPU time: 17.4493 s Remaining CPU time: 162.551 s c =============================================================================== c | 5 | 3959 4138 466000 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20831 c Elapsed CPU time: 17.7243 s Remaining CPU time: 162.276 s c =============================================================================== c | 5 | 3959 4139 469850 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20830 c Elapsed CPU time: 17.9903 s Remaining CPU time: 162.01 s c =============================================================================== c | 5 | 3959 4140 473700 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20829 c Elapsed CPU time: 18.2592 s Remaining CPU time: 161.741 s c =============================================================================== c | 5 | 3959 4141 477550 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20828 c Elapsed CPU time: 18.5282 s Remaining CPU time: 161.472 s c =============================================================================== c | 5 | 3959 4142 481400 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20827 c Elapsed CPU time: 18.8091 s Remaining CPU time: 161.191 s c =============================================================================== c | 5 | 3959 4143 485250 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20826 c Elapsed CPU time: 19.0851 s Remaining CPU time: 160.915 s c =============================================================================== c | 5 | 3959 4144 489100 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20825 c Elapsed CPU time: 19.3651 s Remaining CPU time: 160.635 s c =============================================================================== c | 5 | 3959 4145 492950 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20824 c Elapsed CPU time: 19.654 s Remaining CPU time: 160.346 s c =============================================================================== c | 5 | 3959 4146 496800 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20823 c Elapsed CPU time: 19.936 s Remaining CPU time: 160.064 s c =============================================================================== c | 5 | 3959 4147 500650 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20822 c Elapsed CPU time: 20.2209 s Remaining CPU time: 159.779 s c =============================================================================== c | 5 | 3959 4148 504500 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20821 c Elapsed CPU time: 20.5089 s Remaining CPU time: 159.491 s c =============================================================================== c | 5 | 3959 4149 508350 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20820 c Elapsed CPU time: 20.7998 s Remaining CPU time: 159.2 s c =============================================================================== c | 5 | 3959 4150 512200 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20819 c Elapsed CPU time: 21.0858 s Remaining CPU time: 158.914 s c =============================================================================== c | 5 | 3959 4151 516050 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20818 c Elapsed CPU time: 21.3937 s Remaining CPU time: 158.606 s c =============================================================================== c | 5 | 3959 4152 519900 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20817 c Elapsed CPU time: 21.6907 s Remaining CPU time: 158.309 s c =============================================================================== c | 5 | 3959 4153 523750 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20816 c Elapsed CPU time: 21.9917 s Remaining CPU time: 158.008 s c =============================================================================== c | 5 | 3959 4154 527600 | 5000 5 3817 | 0.000 % | c =============================================================================== c New solution: 20815 c Elapsed CPU time: 22.3016 s Remaining CPU time: 157.698 s c =============================================================================== c | 6 | 3959 4155 531450 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20814 c Elapsed CPU time: 22.6006 s Remaining CPU time: 157.399 s c =============================================================================== c | 6 | 3959 4156 535300 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20813 c Elapsed CPU time: 22.9065 s Remaining CPU time: 157.093 s c =============================================================================== c | 6 | 3959 4157 539150 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20812 c Elapsed CPU time: 23.2095 s Remaining CPU time: 156.791 s c =============================================================================== c | 6 | 3959 4158 543000 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20811 c Elapsed CPU time: 23.5204 s Remaining CPU time: 156.48 s c =============================================================================== c | 6 | 3959 4159 546850 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20810 c Elapsed CPU time: 23.8894 s Remaining CPU time: 156.111 s c =============================================================================== c | 6 | 3959 4160 550700 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20809 c Elapsed CPU time: 24.2083 s Remaining CPU time: 155.792 s c =============================================================================== c | 6 | 3959 4161 554550 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20808 c Elapsed CPU time: 24.5173 s Remaining CPU time: 155.483 s c =============================================================================== c | 6 | 3959 4162 558400 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20807 c Elapsed CPU time: 24.8192 s Remaining CPU time: 155.181 s c =============================================================================== c | 6 | 3959 4163 562250 | 5000 6 3816 | 0.000 % | c =============================================================================== c New solution: 20806 c Elapsed CPU time: 25.1352 s Remaining CPU time: 154.865 s c =============================================================================== c | 7 | 3959 4164 566100 | 5000 7 3815 | 0.000 % | c =============================================================================== c New solution: 20805 c Elapsed CPU time: 25.4511 s Remaining CPU time: 154.549 s c =============================================================================== c | 7 | 3959 4165 569950 | 5000 7 3815 | 0.000 % | c =============================================================================== c New solution: 20804 c Elapsed CPU time: 25.7631 s Remaining CPU time: 154.237 s c =============================================================================== c | 7 | 3959 4166 573800 | 5000 7 3815 | 0.000 % | c =============================================================================== c New solution: 20803 c Elapsed CPU time: 26.1 s Remaining CPU time: 153.9 s c =============================================================================== c | 7 | 3959 4167 577650 | 5000 7 3815 | 0.000 % | c =============================================================================== c New solution: 20802 c Elapsed CPU time: 26.51 s Remaining CPU time: 153.49 s c =============================================================================== c | 7 | 3959 4168 581500 | 5000 7 3815 | 0.000 % | c =============================================================================== c New solution: 20801 c Elapsed CPU time: 26.8429 s Remaining CPU time: 153.157 s c =============================================================================== c | 7 | 3959 4169 585350 | 5000 7 3815 | 0.000 % | c =============================================================================== c New solution: 20800 c Elapsed CPU time: 27.1829 s Remaining CPU time: 152.817 s c =============================================================================== c | 7 | 3959 4170 589200 | 5000 7 3815 | 0.000 % | c =============================================================================== c New solution: 20799 c Elapsed CPU time: 27.5258 s Remaining CPU time: 152.474 s c =============================================================================== c | 8 | 3959 4171 593050 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20798 c Elapsed CPU time: 27.8788 s Remaining CPU time: 152.121 s c =============================================================================== c | 8 | 3959 4172 596900 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20797 c Elapsed CPU time: 28.2237 s Remaining CPU time: 151.776 s c =============================================================================== c | 8 | 3959 4173 600750 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20796 c Elapsed CPU time: 28.5837 s Remaining CPU time: 151.416 s c =============================================================================== c | 8 | 3959 4174 604600 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20795 c Elapsed CPU time: 28.9246 s Remaining CPU time: 151.075 s c =============================================================================== c | 8 | 3959 4175 608450 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20794 c Elapsed CPU time: 29.2905 s Remaining CPU time: 150.709 s c =============================================================================== c | 8 | 3959 4176 612300 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20793 c Elapsed CPU time: 29.6305 s Remaining CPU time: 150.37 s c =============================================================================== c | 8 | 3959 4177 616150 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20792 c Elapsed CPU time: 29.9654 s Remaining CPU time: 150.035 s c =============================================================================== c | 8 | 3959 4178 620000 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20791 c Elapsed CPU time: 30.3374 s Remaining CPU time: 149.663 s c =============================================================================== c | 8 | 3959 4179 623850 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20790 c Elapsed CPU time: 30.7723 s Remaining CPU time: 149.228 s c =============================================================================== c | 8 | 3959 4180 627700 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20789 c Elapsed CPU time: 31.2043 s Remaining CPU time: 148.796 s c =============================================================================== c | 8 | 3959 4181 631550 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20788 c Elapsed CPU time: 31.6482 s Remaining CPU time: 148.352 s c =============================================================================== c | 8 | 3959 4182 635400 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20787 c Elapsed CPU time: 32.0811 s Remaining CPU time: 147.919 s c =============================================================================== c | 8 | 3959 4183 639250 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20786 c Elapsed CPU time: 32.5211 s Remaining CPU time: 147.479 s c =============================================================================== c | 8 | 3959 4184 643100 | 5000 8 3814 | 0.000 % | c =============================================================================== c New solution: 20785 c Elapsed CPU time: 32.947 s Remaining CPU time: 147.053 s c =============================================================================== c | 9 | 3959 4185 646950 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20784 c Elapsed CPU time: 33.3939 s Remaining CPU time: 146.606 s c =============================================================================== c | 9 | 3959 4186 650800 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20783 c Elapsed CPU time: 33.8379 s Remaining CPU time: 146.162 s c =============================================================================== c | 9 | 3959 4187 654650 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20782 c Elapsed CPU time: 34.2798 s Remaining CPU time: 145.72 s c =============================================================================== c | 9 | 3959 4188 658500 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20781 c Elapsed CPU time: 34.7327 s Remaining CPU time: 145.267 s c =============================================================================== c | 9 | 3959 4189 662350 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20780 c Elapsed CPU time: 35.1857 s Remaining CPU time: 144.814 s c =============================================================================== c | 9 | 3959 4190 666200 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20779 c Elapsed CPU time: 35.6356 s Remaining CPU time: 144.364 s c =============================================================================== c | 9 | 3959 4191 670050 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20778 c Elapsed CPU time: 36.0805 s Remaining CPU time: 143.919 s c =============================================================================== c | 9 | 3959 4192 673900 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20777 c Elapsed CPU time: 36.5454 s Remaining CPU time: 143.455 s c =============================================================================== c | 9 | 3959 4193 677750 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20776 c Elapsed CPU time: 37.0224 s Remaining CPU time: 142.978 s c =============================================================================== c | 9 | 3959 4194 681600 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20775 c Elapsed CPU time: 37.4803 s Remaining CPU time: 142.52 s c =============================================================================== c | 9 | 3959 4195 685450 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20774 c Elapsed CPU time: 37.9642 s Remaining CPU time: 142.036 s c =============================================================================== c | 9 | 3959 4196 689300 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20773 c Elapsed CPU time: 38.4282 s Remaining CPU time: 141.572 s c =============================================================================== c | 9 | 3959 4197 693150 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20772 c Elapsed CPU time: 38.8961 s Remaining CPU time: 141.104 s c =============================================================================== c | 9 | 3959 4198 697000 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20771 c Elapsed CPU time: 39.394 s Remaining CPU time: 140.606 s c =============================================================================== c | 9 | 3959 4199 700850 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20770 c Elapsed CPU time: 39.9039 s Remaining CPU time: 140.096 s c =============================================================================== c | 9 | 3959 4200 704700 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20769 c Elapsed CPU time: 40.3859 s Remaining CPU time: 139.614 s c =============================================================================== c | 9 | 3959 4201 708550 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20768 c Elapsed CPU time: 40.8738 s Remaining CPU time: 139.126 s c =============================================================================== c | 9 | 3959 4202 712400 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20767 c Elapsed CPU time: 41.3747 s Remaining CPU time: 138.625 s c =============================================================================== c | 9 | 3959 4203 716250 | 5000 9 3812 | 0.000 % | c =============================================================================== c New solution: 20766 c Elapsed CPU time: 41.8576 s Remaining CPU time: 138.142 s c =============================================================================== c | 10 | 3959 4204 720100 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20765 c Elapsed CPU time: 42.3466 s Remaining CPU time: 137.653 s c =============================================================================== c | 10 | 3959 4205 723950 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20764 c Elapsed CPU time: 42.8335 s Remaining CPU time: 137.167 s c =============================================================================== c | 10 | 3959 4206 727800 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20763 c Elapsed CPU time: 43.3404 s Remaining CPU time: 136.66 s c =============================================================================== c | 10 | 3959 4207 731650 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20762 c Elapsed CPU time: 43.8343 s Remaining CPU time: 136.166 s c =============================================================================== c | 10 | 3959 4208 735500 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20761 c Elapsed CPU time: 44.2653 s Remaining CPU time: 135.735 s c =============================================================================== c | 10 | 3959 4209 739350 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20760 c Elapsed CPU time: 44.6492 s Remaining CPU time: 135.351 s c =============================================================================== c | 10 | 3959 4210 743200 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20759 c Elapsed CPU time: 45.0661 s Remaining CPU time: 134.934 s c =============================================================================== c | 10 | 3959 4211 747050 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20758 c Elapsed CPU time: 45.4691 s Remaining CPU time: 134.531 s c =============================================================================== c | 10 | 3959 4212 750900 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20757 c Elapsed CPU time: 45.878 s Remaining CPU time: 134.122 s c =============================================================================== c | 10 | 3959 4213 754750 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20756 c Elapsed CPU time: 46.31 s Remaining CPU time: 133.69 s c =============================================================================== c | 10 | 3959 4214 758600 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20755 c Elapsed CPU time: 46.7169 s Remaining CPU time: 133.283 s c =============================================================================== c | 10 | 3959 4215 762450 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20754 c Elapsed CPU time: 47.1288 s Remaining CPU time: 132.871 s c =============================================================================== c | 10 | 3959 4216 766300 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20753 c Elapsed CPU time: 47.5498 s Remaining CPU time: 132.45 s c =============================================================================== c | 10 | 3959 4217 770150 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20752 c Elapsed CPU time: 47.9887 s Remaining CPU time: 132.011 s c =============================================================================== c | 10 | 3959 4218 774000 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20751 c Elapsed CPU time: 48.4096 s Remaining CPU time: 131.59 s c =============================================================================== c | 10 | 3959 4219 777850 | 5000 10 3810 | 0.000 % | c =============================================================================== c New solution: 20750 c Elapsed CPU time: 48.8596 s Remaining CPU time: 131.14 s c =============================================================================== c | 11 | 3959 4220 781700 | 5000 11 3809 | 0.000 % | c =============================================================================== c New solution: 20749 c Elapsed CPU time: 49.2995 s Remaining CPU time: 130.7 s c =============================================================================== c | 11 | 3959 4221 785550 | 5000 11 3809 | 0.000 % | c =============================================================================== c New solution: 20748 c Elapsed CPU time: 49.7414 s Remaining CPU time: 130.259 s c =============================================================================== c | 11 | 3959 4222 789400 | 5000 11 3809 | 0.000 % | c =============================================================================== c New solution: 20747 c Elapsed CPU time: 50.1694 s Remaining CPU time: 129.831 s c =============================================================================== c | 11 | 3959 4223 793250 | 5000 11 3809 | 0.000 % | c =============================================================================== c New solution: 20746 c Elapsed CPU time: 50.6173 s Remaining CPU time: 129.383 s c =============================================================================== c | 11 | 3959 4224 797100 | 5000 11 3809 | 0.000 % | c =============================================================================== c New solution: 20745 c Elapsed CPU time: 51.0942 s Remaining CPU time: 128.906 s c =============================================================================== c | 13 | 3959 4225 800950 | 5000 13 3807 | 0.000 % | c =============================================================================== c New solution: 20744 c Elapsed CPU time: 51.5672 s Remaining CPU time: 128.433 s c =============================================================================== c | 14 | 3959 4226 804800 | 5000 14 3806 | 0.000 % | c =============================================================================== c New solution: 20743 c Elapsed CPU time: 52.0051 s Remaining CPU time: 127.995 s c =============================================================================== c | 14 | 3959 4227 808650 | 5000 14 3806 | 0.000 % | c =============================================================================== c New solution: 20742 c Elapsed CPU time: 52.441 s Remaining CPU time: 127.559 s c =============================================================================== c | 15 | 3959 4228 812500 | 5000 15 3805 | 0.000 % | c =============================================================================== c New solution: 20741 c Elapsed CPU time: 52.9 s Remaining CPU time: 127.1 s c =============================================================================== c | 15 | 3959 4229 816350 | 5000 15 3805 | 0.000 % | c =============================================================================== c New solution: 20740 c Elapsed CPU time: 53.4579 s Remaining CPU time: 126.542 s c =============================================================================== c | 18 | 3959 4230 820200 | 5000 18 3803 | 0.000 % | c =============================================================================== c New solution: 20739 c Elapsed CPU time: 53.9278 s Remaining CPU time: 126.072 s c =============================================================================== c | 20 | 3959 4231 824050 | 5000 20 3802 | 0.000 % | c =============================================================================== c New solution: 20738 c Elapsed CPU time: 54.3607 s Remaining CPU time: 125.639 s c =============================================================================== c | 20 | 3959 4232 827900 | 5000 20 3802 | 0.000 % | c =============================================================================== c New solution: 20737 c Elapsed CPU time: 54.8257 s Remaining CPU time: 125.174 s c =============================================================================== c | 20 | 3959 4233 831750 | 5000 20 3802 | 0.000 % | c =============================================================================== c New solution: 20736 c Elapsed CPU time: 55.2736 s Remaining CPU time: 124.726 s c =============================================================================== c | 20 | 3959 4234 835600 | 5000 20 3802 | 0.000 % | c =============================================================================== c New solution: 20735 c Elapsed CPU time: 55.7535 s Remaining CPU time: 124.246 s c =============================================================================== c | 20 | 3959 4235 839450 | 5000 20 3802 | 0.000 % | c =============================================================================== c New solution: 20734 c Elapsed CPU time: 56.2664 s Remaining CPU time: 123.734 s c =============================================================================== c | 22 | 3959 4236 843300 | 5000 22 3801 | 0.000 % | c =============================================================================== c New solution: 20733 c Elapsed CPU time: 56.7224 s Remaining CPU time: 123.278 s c =============================================================================== c | 22 | 3959 4237 847150 | 5000 22 3801 | 0.000 % | c =============================================================================== c New solution: 20732 c Elapsed CPU time: 57.1943 s Remaining CPU time: 122.806 s c =============================================================================== c | 22 | 3959 4238 851000 | 5000 22 3801 | 0.000 % | c =============================================================================== c New solution: 20731 c Elapsed CPU time: 57.6702 s Remaining CPU time: 122.33 s c =============================================================================== c | 22 | 3959 4239 854850 | 5000 22 3801 | 0.000 % | c =============================================================================== c New solution: 20730 c Elapsed CPU time: 58.1372 s Remaining CPU time: 121.863 s c =============================================================================== c | 22 | 3959 4240 858700 | 5000 22 3801 | 0.000 % | c =============================================================================== c New solution: 20729 c Elapsed CPU time: 58.6691 s Remaining CPU time: 121.331 s c =============================================================================== c | 23 | 3959 4241 862550 | 5000 23 3800 | 0.000 % | c =============================================================================== c New solution: 20728 c Elapsed CPU time: 59.141 s Remaining CPU time: 120.859 s c =============================================================================== c | 23 | 3959 4242 866400 | 5000 23 3800 | 0.000 % | c =============================================================================== c New solution: 20727 c Elapsed CPU time: 59.6149 s Remaining CPU time: 120.385 s c =============================================================================== c | 23 | 3959 4243 870250 | 5000 23 3800 | 0.000 % | c =============================================================================== c New solution: 20726 c Elapsed CPU time: 60.1039 s Remaining CPU time: 119.896 s c =============================================================================== c | 23 | 3959 4244 874100 | 5000 23 3800 | 0.000 % | c =============================================================================== c New solution: 20725 c Elapsed CPU time: 60.5828 s Remaining CPU time: 119.417 s c =============================================================================== c | 23 | 3959 4245 877950 | 5000 23 3800 | 0.000 % | c =============================================================================== c New solution: 20724 c Elapsed CPU time: 61.0717 s Remaining CPU time: 118.928 s c =============================================================================== c | 23 | 3959 4246 881800 | 5000 23 3800 | 0.000 % | c =============================================================================== c New solution: 20723 c Elapsed CPU time: 61.5576 s Remaining CPU time: 118.442 s c =============================================================================== c | 23 | 3959 4247 885650 | 5000 23 3800 | 0.000 % | c =============================================================================== c New solution: 20722 c Elapsed CPU time: 62.0606 s Remaining CPU time: 117.939 s c =============================================================================== c | 25 | 3959 4248 889500 | 5000 25 3799 | 0.000 % | c =============================================================================== c New solution: 20721 c Elapsed CPU time: 62.5385 s Remaining CPU time: 117.462 s c =============================================================================== c | 25 | 3959 4249 893350 | 5000 25 3799 | 0.000 % | c =============================================================================== c New solution: 20720 c Elapsed CPU time: 63.0294 s Remaining CPU time: 116.971 s c =============================================================================== c | 25 | 3959 4250 897200 | 5000 25 3799 | 0.000 % | c =============================================================================== c New solution: 20719 c Elapsed CPU time: 63.5523 s Remaining CPU time: 116.448 s c =============================================================================== c | 26 | 3959 4251 901050 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20718 c Elapsed CPU time: 64.0413 s Remaining CPU time: 115.959 s c =============================================================================== c | 26 | 3959 4252 904900 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20717 c Elapsed CPU time: 64.5482 s Remaining CPU time: 115.452 s c =============================================================================== c | 26 | 3959 4253 908750 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20716 c Elapsed CPU time: 65.0321 s Remaining CPU time: 114.968 s c =============================================================================== c | 26 | 3959 4254 912600 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20715 c Elapsed CPU time: 65.542 s Remaining CPU time: 114.458 s c =============================================================================== c | 26 | 3959 4255 916450 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20714 c Elapsed CPU time: 66.038 s Remaining CPU time: 113.962 s c =============================================================================== c | 26 | 3959 4256 920300 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20713 c Elapsed CPU time: 66.5679 s Remaining CPU time: 113.432 s c =============================================================================== c | 26 | 3959 4257 924150 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20712 c Elapsed CPU time: 67.0898 s Remaining CPU time: 112.91 s c =============================================================================== c | 26 | 3959 4258 928000 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20711 c Elapsed CPU time: 67.6017 s Remaining CPU time: 112.398 s c =============================================================================== c | 26 | 3959 4259 931850 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20710 c Elapsed CPU time: 68.1286 s Remaining CPU time: 111.871 s c =============================================================================== c | 26 | 3959 4260 935700 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20709 c Elapsed CPU time: 68.6586 s Remaining CPU time: 111.341 s c =============================================================================== c | 26 | 3959 4261 939550 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20708 c Elapsed CPU time: 69.1825 s Remaining CPU time: 110.818 s c =============================================================================== c | 26 | 3959 4262 943400 | 5000 26 3799 | 0.000 % | c =============================================================================== c New solution: 20707 c Elapsed CPU time: 69.8524 s Remaining CPU time: 110.148 s c =============================================================================== c | 38 | 3959 4263 947250 | 5000 38 3795 | 0.000 % | c =============================================================================== c New solution: 20706 c Elapsed CPU time: 70.5833 s Remaining CPU time: 109.417 s c =============================================================================== c | 46 | 3959 4264 951100 | 5000 46 3794 | 0.000 % | c =============================================================================== c New solution: 20705 c Elapsed CPU time: 71.1032 s Remaining CPU time: 108.897 s c =============================================================================== c | 46 | 3959 4265 954950 | 5000 46 3794 | 0.000 % | c =============================================================================== c New solution: 20704 c Elapsed CPU time: 71.6631 s Remaining CPU time: 108.337 s c =============================================================================== c | 54 | 3959 4266 958800 | 5000 54 3793 | 0.000 % | c =============================================================================== c New solution: 20703 c Elapsed CPU time: 72.201 s Remaining CPU time: 107.799 s c =============================================================================== c | 54 | 3959 4267 962650 | 5000 54 3793 | 0.000 % | c =============================================================================== c New solution: 20702 c Elapsed CPU time: 72.7149 s Remaining CPU time: 107.285 s c =============================================================================== c | 54 | 3959 4268 966500 | 5000 54 3793 | 0.000 % | c =============================================================================== c New solution: 20701 c Elapsed CPU time: 73.2499 s Remaining CPU time: 106.75 s c =============================================================================== c | 56 | 3959 4269 970350 | 5000 56 3793 | 0.000 % | c =============================================================================== c New solution: 20700 c Elapsed CPU time: 73.8128 s Remaining CPU time: 106.187 s c =============================================================================== c | 57 | 3959 4270 974200 | 5000 57 3793 | 0.000 % | c =============================================================================== c New solution: 20699 c Elapsed CPU time: 74.3877 s Remaining CPU time: 105.612 s c =============================================================================== c | 58 | 3959 4271 978050 | 5000 58 3793 | 0.000 % | c =============================================================================== c New solution: 20698 c Elapsed CPU time: 74.9556 s Remaining CPU time: 105.044 s c =============================================================================== c | 59 | 3959 4272 981900 | 5000 59 3793 | 0.000 % | c =============================================================================== c New solution: 20697 c Elapsed CPU time: 75.4925 s Remaining CPU time: 104.507 s c =============================================================================== c | 59 | 3959 4273 985750 | 5000 59 3793 | 0.000 % | c =============================================================================== c New solution: 20696 c Elapsed CPU time: 76.0524 s Remaining CPU time: 103.948 s c =============================================================================== c | 59 | 3959 4274 989600 | 5000 59 3793 | 0.000 % | c =============================================================================== c New solution: 20695 c Elapsed CPU time: 76.5984 s Remaining CPU time: 103.402 s c =============================================================================== c | 59 | 3959 4275 993450 | 5000 59 3793 | 0.000 % | c =============================================================================== c New solution: 20694 c Elapsed CPU time: 77.1313 s Remaining CPU time: 102.869 s c =============================================================================== c | 59 | 3959 4276 997300 | 5000 59 3793 | 0.000 % | c =============================================================================== c New solution: 20693 c Elapsed CPU time: 77.7082 s Remaining CPU time: 102.292 s c =============================================================================== c | 59 | 3959 4277 1001150 | 5000 59 3793 | 0.000 % | c =============================================================================== c New solution: 20692 c Elapsed CPU time: 78.2911 s Remaining CPU time: 101.709 s c =============================================================================== c | 60 | 3959 4278 1005000 | 5000 60 3793 | 0.000 % | c =============================================================================== c New solution: 20691 c Elapsed CPU time: 78.915 s Remaining CPU time: 101.085 s c =============================================================================== c | 63 | 3959 4279 1008850 | 5000 63 3792 | 0.000 % | c =============================================================================== c New solution: 20690 c Elapsed CPU time: 79.5749 s Remaining CPU time: 100.425 s c =============================================================================== c | 66 | 3959 4280 1012700 | 5000 66 3792 | 0.000 % | c =============================================================================== c New solution: 20689 c Elapsed CPU time: 80.1398 s Remaining CPU time: 99.8602 s c =============================================================================== c | 66 | 3959 4281 1016550 | 5000 66 3792 | 0.000 % | c =============================================================================== c New solution: 20688 c Elapsed CPU time: 80.6857 s Remaining CPU time: 99.3143 s c =============================================================================== c | 66 | 3959 4282 1020400 | 5000 66 3792 | 0.000 % | c =============================================================================== c New solution: 20687 c Elapsed CPU time: 81.2646 s Remaining CPU time: 98.7354 s c =============================================================================== c | 66 | 3959 4283 1024250 | 5000 66 3792 | 0.000 % | c =============================================================================== c New solution: 20686 c Elapsed CPU time: 81.8346 s Remaining CPU time: 98.1654 s c =============================================================================== c | 68 | 3959 4284 1028100 | 5000 68 3792 | 0.000 % | c =============================================================================== c New solution: 20685 c Elapsed CPU time: 82.3825 s Remaining CPU time: 97.6175 s c =============================================================================== c | 68 | 3959 4285 1031950 | 5000 68 3792 | 0.000 % | c =============================================================================== c New solution: 20684 c Elapsed CPU time: 82.9514 s Remaining CPU time: 97.0486 s c =============================================================================== c | 68 | 3959 4286 1035800 | 5000 68 3792 | 0.000 % | c =============================================================================== c New solution: 20683 c Elapsed CPU time: 83.5213 s Remaining CPU time: 96.4787 s c =============================================================================== c | 69 | 3959 4287 1039650 | 5000 69 3792 | 0.000 % | c =============================================================================== c New solution: 20682 c Elapsed CPU time: 84.2162 s Remaining CPU time: 95.7838 s c =============================================================================== c | 83 | 3959 4288 1043500 | 5000 83 3745 | 0.000 % | c =============================================================================== c New solution: 20681 c Elapsed CPU time: 84.7711 s Remaining CPU time: 95.2289 s c =============================================================================== c | 83 | 3959 4289 1047350 | 5000 83 3745 | 0.000 % | c =============================================================================== c New solution: 20680 c Elapsed CPU time: 85.43 s Remaining CPU time: 94.57 s c =============================================================================== c | 87 | 3959 4290 1051200 | 5000 87 3747 | 0.000 % | c =============================================================================== c New solution: 20679 c Elapsed CPU time: 86.0119 s Remaining CPU time: 93.9881 s c =============================================================================== c | 87 | 3959 4291 1055050 | 5000 87 3747 | 0.000 % | c =============================================================================== c New solution: 20678 c Elapsed CPU time: 86.6458 s Remaining CPU time: 93.3542 s c =============================================================================== c | 88 | 3959 4292 1058900 | 5000 88 3704 | 0.000 % | c =============================================================================== c New solution: 20677 c Elapsed CPU time: 87.2327 s Remaining CPU time: 92.7673 s c =============================================================================== c | 89 | 3959 4293 1062750 | 5000 89 3705 | 0.000 % | c =============================================================================== c New solution: 20676 c Elapsed CPU time: 87.8376 s Remaining CPU time: 92.1624 s c =============================================================================== c | 90 | 3959 4294 1066600 | 5000 90 3706 | 0.000 % | c =============================================================================== c New solution: 20675 c Elapsed CPU time: 88.5965 s Remaining CPU time: 91.4035 s c =============================================================================== c | 103 | 3959 4295 1070450 | 5000 103 3716 | 0.000 % | c =============================================================================== c New solution: 20674 c Elapsed CPU time: 89.1924 s Remaining CPU time: 90.8076 s c =============================================================================== c | 103 | 3959 4296 1074300 | 5000 103 3716 | 0.000 % | c =============================================================================== c New solution: 20673 c Elapsed CPU time: 89.7993 s Remaining CPU time: 90.2007 s c =============================================================================== c | 103 | 3959 4297 1078150 | 5000 103 3716 | 0.000 % | c =============================================================================== c New solution: 20672 c Elapsed CPU time: 90.3983 s Remaining CPU time: 89.6017 s c =============================================================================== c | 103 | 3959 4298 1082000 | 5000 103 3716 | 0.000 % | c =============================================================================== c New solution: 20671 c Elapsed CPU time: 90.9922 s Remaining CPU time: 89.0078 s c =============================================================================== c | 103 | 3959 4299 1085850 | 5000 103 3716 | 0.000 % | c =============================================================================== c New solution: 20670 c Elapsed CPU time: 92.074 s Remaining CPU time: 87.926 s c =============================================================================== c | 122 | 3959 4300 1089700 | 5000 122 3726 | 0.000 % | c =============================================================================== c New solution: 20669 c Elapsed CPU time: 92.7009 s Remaining CPU time: 87.2991 s c =============================================================================== c | 122 | 3959 4301 1093550 | 5000 122 3726 | 0.000 % | c =============================================================================== c New solution: 20668 c Elapsed CPU time: 93.3188 s Remaining CPU time: 86.6812 s c =============================================================================== c | 123 | 3959 4302 1097400 | 5000 123 3726 | 0.000 % | c =============================================================================== c New solution: 20667 c Elapsed CPU time: 93.9247 s Remaining CPU time: 86.0753 s c =============================================================================== c | 123 | 3959 4303 1101250 | 5000 123 3726 | 0.000 % | c =============================================================================== c New solution: 20666 c Elapsed CPU time: 94.5796 s Remaining CPU time: 85.4204 s c =============================================================================== c | 124 | 3959 4304 1105100 | 5000 124 3726 | 0.000 % | c =============================================================================== c New solution: 20665 c Elapsed CPU time: 95.2235 s Remaining CPU time: 84.7765 s c =============================================================================== c | 125 | 3959 4305 1108950 | 5000 125 3727 | 0.000 % | c =============================================================================== c New solution: 20664 c Elapsed CPU time: 95.8544 s Remaining CPU time: 84.1456 s c =============================================================================== c | 125 | 3959 4306 1112800 | 5000 125 3727 | 0.000 % | c =============================================================================== c New solution: 20663 c Elapsed CPU time: 96.4483 s Remaining CPU time: 83.5517 s c =============================================================================== c | 125 | 3959 4307 1116650 | 5000 125 3727 | 0.000 % | c =============================================================================== c New solution: 20662 c Elapsed CPU time: 97.0792 s Remaining CPU time: 82.9208 s c =============================================================================== c | 126 | 3959 4308 1120500 | 5000 126 3727 | 0.000 % | c =============================================================================== c New solution: 20661 c Elapsed CPU time: 97.6871 s Remaining CPU time: 82.3129 s c =============================================================================== c | 127 | 3959 4309 1124350 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20660 c Elapsed CPU time: 98.3121 s Remaining CPU time: 81.6879 s c =============================================================================== c | 127 | 3959 4310 1128200 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20659 c Elapsed CPU time: 98.954 s Remaining CPU time: 81.046 s c =============================================================================== c | 127 | 3959 4311 1132050 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20658 c Elapsed CPU time: 99.5649 s Remaining CPU time: 80.4351 s c =============================================================================== c | 127 | 3959 4312 1135900 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20657 c Elapsed CPU time: 100.204 s Remaining CPU time: 79.7962 s c =============================================================================== c | 127 | 3959 4313 1139750 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20656 c Elapsed CPU time: 100.823 s Remaining CPU time: 79.1773 s c =============================================================================== c | 127 | 3959 4314 1143600 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20655 c Elapsed CPU time: 101.48 s Remaining CPU time: 78.5204 s c =============================================================================== c | 127 | 3959 4315 1147450 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20654 c Elapsed CPU time: 102.132 s Remaining CPU time: 77.8675 s c =============================================================================== c | 127 | 3959 4316 1151300 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20653 c Elapsed CPU time: 102.76 s Remaining CPU time: 77.2396 s c =============================================================================== c | 127 | 3959 4317 1155150 | 5000 127 3728 | 0.000 % | c =============================================================================== c New solution: 20652 c Elapsed CPU time: 103.447 s Remaining CPU time: 76.5527 s c =============================================================================== c | 128 | 3959 4318 1159000 | 5000 128 3728 | 0.000 % | c =============================================================================== c New solution: 20651 c Elapsed CPU time: 104.061 s Remaining CPU time: 75.9388 s c =============================================================================== c | 128 | 3959 4319 1162850 | 5000 128 3728 | 0.000 % | c =============================================================================== c New solution: 20650 c Elapsed CPU time: 104.86 s Remaining CPU time: 75.1399 s c =============================================================================== c | 131 | 3959 4320 1166700 | 5000 131 3729 | 0.000 % | c =============================================================================== c New solution: 20649 c Elapsed CPU time: 105.56 s Remaining CPU time: 74.44 s c =============================================================================== c | 132 | 3959 4321 1170550 | 5000 132 3730 | 0.000 % | c =============================================================================== c New solution: 20648 c Elapsed CPU time: 106.256 s Remaining CPU time: 73.7442 s c =============================================================================== c | 132 | 3959 4322 1174400 | 5000 132 3730 | 0.000 % | c =============================================================================== c New solution: 20647 c Elapsed CPU time: 106.901 s Remaining CPU time: 73.0993 s c =============================================================================== c | 132 | 3959 4323 1178250 | 5000 132 3730 | 0.000 % | c =============================================================================== c New solution: 20646 c Elapsed CPU time: 107.581 s Remaining CPU time: 72.4194 s c =============================================================================== c | 133 | 3959 4324 1182100 | 5000 133 3730 | 0.000 % | c =============================================================================== c New solution: 20645 c Elapsed CPU time: 108.242 s Remaining CPU time: 71.7585 s c =============================================================================== c | 133 | 3959 4325 1185950 | 5000 133 3730 | 0.000 % | c =============================================================================== c New solution: 20644 c Elapsed CPU time: 108.885 s Remaining CPU time: 71.1146 s c =============================================================================== c | 133 | 3959 4326 1189800 | 5000 133 3730 | 0.000 % | c =============================================================================== c New solution: 20643 c Elapsed CPU time: 109.57 s Remaining CPU time: 70.4297 s c =============================================================================== c | 135 | 3959 4327 1193650 | 5000 135 3731 | 0.000 % | c =============================================================================== c New solution: 20642 c Elapsed CPU time: 110.37 s Remaining CPU time: 69.6298 s c =============================================================================== c | 138 | 3959 4328 1197500 | 5000 138 3732 | 0.000 % | c =============================================================================== c New solution: 20641 c Elapsed CPU time: 111.124 s Remaining CPU time: 68.8759 s c =============================================================================== c | 139 | 3959 4329 1201350 | 5000 139 3732 | 0.000 % | c =============================================================================== c New solution: 20640 c Elapsed CPU time: 111.785 s Remaining CPU time: 68.215 s c =============================================================================== c | 139 | 3959 4330 1205200 | 5000 139 3732 | 0.000 % | c =============================================================================== c New solution: 20639 c Elapsed CPU time: 112.452 s Remaining CPU time: 67.5481 s c =============================================================================== c | 139 | 3959 4331 1209050 | 5000 139 3732 | 0.000 % | c =============================================================================== c New solution: 20638 c Elapsed CPU time: 113.148 s Remaining CPU time: 66.8522 s c =============================================================================== c | 139 | 3959 4332 1212900 | 5000 139 3732 | 0.000 % | c =============================================================================== c New solution: 20637 c Elapsed CPU time: 113.807 s Remaining CPU time: 66.1933 s c =============================================================================== c | 139 | 3959 4333 1216750 | 5000 139 3732 | 0.000 % | c =============================================================================== c New solution: 20636 c Elapsed CPU time: 114.486 s Remaining CPU time: 65.5144 s c =============================================================================== c | 141 | 3959 4334 1220600 | 5000 141 3733 | 0.000 % | c =============================================================================== c New solution: 20635 c Elapsed CPU time: 115.155 s Remaining CPU time: 64.8445 s c =============================================================================== c | 141 | 3959 4335 1224450 | 5000 141 3733 | 0.000 % | c =============================================================================== c New solution: 20634 c Elapsed CPU time: 115.891 s Remaining CPU time: 64.1086 s c =============================================================================== c | 144 | 3959 4336 1228300 | 5000 144 3733 | 0.000 % | c =============================================================================== c New solution: 20633 c Elapsed CPU time: 116.561 s Remaining CPU time: 63.4387 s c =============================================================================== c | 144 | 3959 4337 1232150 | 5000 144 3733 | 0.000 % | c =============================================================================== c New solution: 20632 c Elapsed CPU time: 117.305 s Remaining CPU time: 62.6948 s c =============================================================================== c | 145 | 3959 4338 1236000 | 5000 145 3734 | 0.000 % | c =============================================================================== c New solution: 20631 c Elapsed CPU time: 118.004 s Remaining CPU time: 61.9959 s c =============================================================================== c | 147 | 3959 4339 1239850 | 5000 147 3734 | 0.000 % | c =============================================================================== c New solution: 20630 c Elapsed CPU time: 118.722 s Remaining CPU time: 61.278 s c =============================================================================== c | 148 | 3959 4340 1243700 | 5000 148 3735 | 0.000 % | c =============================================================================== c New solution: 20629 c Elapsed CPU time: 119.414 s Remaining CPU time: 60.5862 s c =============================================================================== c | 148 | 3959 4341 1247550 | 5000 148 3735 | 0.000 % | c =============================================================================== c New solution: 20628 c Elapsed CPU time: 120.139 s Remaining CPU time: 59.8613 s c =============================================================================== c | 150 | 3959 4342 1251400 | 5000 150 3735 | 0.000 % | c =============================================================================== c New solution: 20627 c Elapsed CPU time: 120.877 s Remaining CPU time: 59.1234 s c =============================================================================== c | 151 | 3959 4343 1255250 | 5000 151 3735 | 0.000 % | c =============================================================================== c New solution: 20626 c Elapsed CPU time: 121.585 s Remaining CPU time: 58.4155 s c =============================================================================== c | 152 | 3959 4344 1259100 | 5000 152 3736 | 0.000 % | c =============================================================================== c New solution: 20625 c Elapsed CPU time: 122.284 s Remaining CPU time: 57.7156 s c =============================================================================== c | 152 | 3959 4345 1262950 | 5000 152 3736 | 0.000 % | c =============================================================================== c New solution: 20624 c Elapsed CPU time: 123.208 s Remaining CPU time: 56.7917 s c =============================================================================== c | 158 | 3959 4346 1266800 | 5000 158 3737 | 0.000 % | c =============================================================================== c New solution: 20623 c Elapsed CPU time: 123.888 s Remaining CPU time: 56.1118 s c =============================================================================== c | 158 | 3959 4347 1270650 | 5000 158 3737 | 0.000 % | c =============================================================================== c New solution: 20622 c Elapsed CPU time: 124.56 s Remaining CPU time: 55.4399 s c =============================================================================== c | 158 | 3959 4348 1274500 | 5000 158 3737 | 0.000 % | c =============================================================================== c New solution: 20621 c Elapsed CPU time: 125.286 s Remaining CPU time: 54.714 s c =============================================================================== c | 159 | 3959 4349 1278350 | 5000 159 3737 | 0.000 % | c =============================================================================== c New solution: 20620 c Elapsed CPU time: 126.039 s Remaining CPU time: 53.9612 s c =============================================================================== c | 160 | 3959 4350 1282200 | 5000 160 3738 | 0.000 % | c =============================================================================== c New solution: 20619 c Elapsed CPU time: 126.846 s Remaining CPU time: 53.1543 s c =============================================================================== c | 162 | 3959 4351 1286050 | 5000 162 3738 | 0.000 % | c =============================================================================== c New solution: 20618 c Elapsed CPU time: 127.543 s Remaining CPU time: 52.4574 s c =============================================================================== c | 162 | 3959 4352 1289900 | 5000 162 3738 | 0.000 % | c =============================================================================== c New solution: 20617 c Elapsed CPU time: 128.384 s Remaining CPU time: 51.6155 s c =============================================================================== c | 166 | 3959 4353 1293750 | 5000 166 3739 | 0.000 % | c =============================================================================== c New solution: 20616 c Elapsed CPU time: 129.103 s Remaining CPU time: 50.8966 s c =============================================================================== c | 166 | 3959 4354 1297600 | 5000 166 3739 | 0.000 % | c =============================================================================== c New solution: 20615 c Elapsed CPU time: 129.95 s Remaining CPU time: 50.0498 s c =============================================================================== c | 169 | 3959 4355 1301450 | 5000 169 3739 | 0.000 % | c =============================================================================== c New solution: 20614 c Elapsed CPU time: 130.661 s Remaining CPU time: 49.3389 s c =============================================================================== c | 169 | 3959 4356 1305300 | 5000 169 3739 | 0.000 % | c =============================================================================== c New solution: 20613 c Elapsed CPU time: 131.479 s Remaining CPU time: 48.521 s c =============================================================================== c | 170 | 3959 4357 1309150 | 5000 170 3740 | 0.000 % | c =============================================================================== c New solution: 20612 c Elapsed CPU time: 132.201 s Remaining CPU time: 47.7991 s c =============================================================================== c | 170 | 3959 4358 1313000 | 5000 170 3740 | 0.000 % | c =============================================================================== c New solution: 20611 c Elapsed CPU time: 133.114 s Remaining CPU time: 46.8862 s c =============================================================================== c | 199 | 3959 4359 1316850 | 5000 199 3744 | 0.000 % | c =============================================================================== c New solution: 20610 c Elapsed CPU time: 133.909 s Remaining CPU time: 46.0914 s c =============================================================================== c | 204 | 3959 4360 1320700 | 5000 204 3744 | 0.000 % | c =============================================================================== c New solution: 20609 c Elapsed CPU time: 134.685 s Remaining CPU time: 45.3155 s c =============================================================================== c | 206 | 3959 4361 1324550 | 5000 206 3744 | 0.000 % | c =============================================================================== c New solution: 20608 c Elapsed CPU time: 135.621 s Remaining CPU time: 44.3786 s c =============================================================================== c | 216 | 3959 4362 1328400 | 5000 216 3746 | 0.000 % | c =============================================================================== c New solution: 20607 c Elapsed CPU time: 136.516 s Remaining CPU time: 43.4838 s c =============================================================================== c | 221 | 3959 4363 1332250 | 5000 221 3746 | 0.000 % | c =============================================================================== c New solution: 20606 c Elapsed CPU time: 137.255 s Remaining CPU time: 42.7449 s c =============================================================================== c | 221 | 3959 4364 1336100 | 5000 221 3746 | 0.000 % | c =============================================================================== c New solution: 20605 c Elapsed CPU time: 137.992 s Remaining CPU time: 42.008 s c =============================================================================== c | 222 | 3959 4365 1339950 | 5000 222 3746 | 0.000 % | c =============================================================================== c New solution: 20604 c Elapsed CPU time: 138.784 s Remaining CPU time: 41.2161 s c =============================================================================== c | 224 | 3959 4366 1343800 | 5000 224 3746 | 0.000 % | c =============================================================================== c New solution: 20603 c Elapsed CPU time: 139.542 s Remaining CPU time: 40.4582 s c =============================================================================== c | 225 | 3959 4367 1347650 | 5000 225 3746 | 0.000 % | c =============================================================================== c New solution: 20602 c Elapsed CPU time: 140.378 s Remaining CPU time: 39.6223 s c =============================================================================== c | 227 | 3959 4368 1351500 | 5000 227 3747 | 0.000 % | c =============================================================================== c New solution: 20601 c Elapsed CPU time: 141.14 s Remaining CPU time: 38.8605 s c =============================================================================== c | 227 | 3959 4369 1355350 | 5000 227 3747 | 0.000 % | c =============================================================================== c New solution: 20600 c Elapsed CPU time: 141.879 s Remaining CPU time: 38.1206 s c =============================================================================== c | 227 | 3959 4370 1359200 | 5000 227 3747 | 0.000 % | c =============================================================================== c New solution: 20599 c Elapsed CPU time: 142.67 s Remaining CPU time: 37.3297 s c =============================================================================== c | 229 | 3959 4371 1363050 | 5000 229 3747 | 0.000 % | c =============================================================================== c New solution: 20598 c Elapsed CPU time: 143.543 s Remaining CPU time: 36.4568 s c =============================================================================== c | 239 | 3959 4372 1366900 | 5000 239 3748 | 0.000 % | c =============================================================================== c New solution: 20597 c Elapsed CPU time: 144.332 s Remaining CPU time: 35.6679 s c =============================================================================== c | 239 | 3959 4373 1370750 | 5000 239 3748 | 0.000 % | c =============================================================================== c New solution: 20596 c Elapsed CPU time: 145.129 s Remaining CPU time: 34.8711 s c =============================================================================== c | 241 | 3959 4374 1374600 | 5000 241 3748 | 0.000 % | c =============================================================================== c New solution: 20595 c Elapsed CPU time: 145.915 s Remaining CPU time: 34.0852 s c =============================================================================== c | 242 | 3959 4375 1378450 | 5000 242 3748 | 0.000 % | c =============================================================================== c New solution: 20594 c Elapsed CPU time: 146.815 s Remaining CPU time: 33.1853 s c =============================================================================== c | 247 | 3959 4376 1382300 | 5000 247 3748 | 0.000 % | c =============================================================================== c New solution: 20593 c Elapsed CPU time: 147.807 s Remaining CPU time: 32.1935 s c =============================================================================== c | 259 | 3959 4377 1386150 | 5000 259 3749 | 0.000 % | c =============================================================================== c New solution: 20592 c Elapsed CPU time: 148.754 s Remaining CPU time: 31.2456 s c =============================================================================== c | 269 | 3959 4378 1390000 | 5000 269 3750 | 0.000 % | c =============================================================================== c New solution: 20591 c Elapsed CPU time: 149.526 s Remaining CPU time: 30.4737 s c =============================================================================== c | 269 | 3959 4379 1393850 | 5000 269 3750 | 0.000 % | c =============================================================================== c New solution: 20590 c Elapsed CPU time: 150.393 s Remaining CPU time: 29.6069 s c =============================================================================== c | 273 | 3959 4380 1397700 | 5000 273 3750 | 0.000 % | c =============================================================================== c New solution: 20589 c Elapsed CPU time: 151.167 s Remaining CPU time: 28.833 s c =============================================================================== c | 273 | 3959 4381 1401550 | 5000 273 3750 | 0.000 % | c =============================================================================== c New solution: 20588 c Elapsed CPU time: 151.929 s Remaining CPU time: 28.0711 s c =============================================================================== c | 274 | 3959 4382 1405400 | 5000 274 3750 | 0.000 % | c =============================================================================== c New solution: 20587 c Elapsed CPU time: 152.707 s Remaining CPU time: 27.2932 s c =============================================================================== c | 274 | 3959 4383 1409250 | 5000 274 3750 | 0.000 % | c =============================================================================== c New solution: 20586 c Elapsed CPU time: 153.515 s Remaining CPU time: 26.4853 s c =============================================================================== c | 274 | 3959 4384 1413100 | 5000 274 3750 | 0.000 % | c =============================================================================== c New solution: 20585 c Elapsed CPU time: 154.303 s Remaining CPU time: 25.6975 s c =============================================================================== c | 274 | 3959 4385 1416950 | 5000 274 3750 | 0.000 % | c =============================================================================== c New solution: 20584 c Elapsed CPU time: 156.016 s Remaining CPU time: 23.9837 s c =============================================================================== c | 314 | 3959 4386 1420800 | 5000 314 3751 | 0.000 % | c =============================================================================== c New solution: 20583 c Elapsed CPU time: 156.872 s Remaining CPU time: 23.1278 s c =============================================================================== c | 320 | 3959 4387 1424650 | 5000 320 3752 | 0.000 % | c =============================================================================== c New solution: 20582 c Elapsed CPU time: 157.693 s Remaining CPU time: 22.307 s c =============================================================================== c | 320 | 3959 4388 1428500 | 5000 320 3752 | 0.000 % | c =============================================================================== c New solution: 20581 c Elapsed CPU time: 158.507 s Remaining CPU time: 21.4931 s c =============================================================================== c | 323 | 3959 4389 1432350 | 5000 323 3752 | 0.000 % | c =============================================================================== c New solution: 20580 c Elapsed CPU time: 159.506 s Remaining CPU time: 20.4942 s c =============================================================================== c | 340 | 3959 4390 1436200 | 5000 340 3752 | 0.000 % | c =============================================================================== c New solution: 20579 c Elapsed CPU time: 160.444 s Remaining CPU time: 19.5564 s c =============================================================================== c | 344 | 3959 4391 1440050 | 5000 344 3752 | 0.000 % | c =============================================================================== c New solution: 20578 c Elapsed CPU time: 161.385 s Remaining CPU time: 18.6145 s c =============================================================================== c | 347 | 3959 4392 1443900 | 5000 347 3752 | 0.000 % | c =============================================================================== c New solution: 20577 c Elapsed CPU time: 162.54 s Remaining CPU time: 17.4597 s c =============================================================================== c | 358 | 3959 4393 1447750 | 5000 358 3753 | 0.000 % | c =============================================================================== c New solution: 20576 c Elapsed CPU time: 163.357 s Remaining CPU time: 16.6428 s c =============================================================================== c | 362 | 3959 4394 1451600 | 5000 362 3753 | 0.000 % | c =============================================================================== c New solution: 20575 c Elapsed CPU time: 164.138 s Remaining CPU time: 15.862 s c =============================================================================== c | 362 | 3959 4395 1455450 | 5000 362 3753 | 0.000 % | c =============================================================================== c New solution: 20574 c Elapsed CPU time: 164.974 s Remaining CPU time: 15.0261 s c =============================================================================== c | 364 | 3959 4396 1459300 | 5000 364 3753 | 0.000 % | c =============================================================================== c New solution: 20573 c Elapsed CPU time: 165.791 s Remaining CPU time: 14.2092 s c =============================================================================== c | 365 | 3959 4397 1463150 | 5000 365 3753 | 0.000 % | c =============================================================================== c New solution: 20572 c Elapsed CPU time: 166.603 s Remaining CPU time: 13.3973 s c =============================================================================== c | 367 | 3959 4398 1467000 | 5000 367 3753 | 0.000 % | c =============================================================================== c New solution: 20571 c Elapsed CPU time: 167.577 s Remaining CPU time: 12.4235 s c =============================================================================== c | 374 | 3959 4399 1470850 | 5000 374 3753 | 0.000 % | c =============================================================================== c New solution: 20570 c Elapsed CPU time: 168.39 s Remaining CPU time: 11.6096 s c =============================================================================== c | 374 | 3959 4400 1474700 | 5000 374 3753 | 0.000 % | c =============================================================================== c New solution: 20569 c Elapsed CPU time: 169.435 s Remaining CPU time: 10.5648 s c =============================================================================== c | 384 | 3959 4401 1478550 | 5000 384 3753 | 0.000 % | c =============================================================================== c New solution: 20568 c Elapsed CPU time: 170.253 s Remaining CPU time: 9.74688 s c =============================================================================== c | 384 | 3959 4402 1482400 | 5000 384 3753 | 0.000 % | c =============================================================================== c New solution: 20567 c Elapsed CPU time: 171.209 s Remaining CPU time: 8.79103 s c =============================================================================== c | 389 | 3959 4403 1486250 | 5000 389 3753 | 0.000 % | c =============================================================================== c New solution: 20566 c Elapsed CPU time: 172.158 s Remaining CPU time: 7.84217 s c =============================================================================== c | 392 | 3959 4404 1490100 | 5000 392 3753 | 0.000 % | c =============================================================================== c New solution: 20565 c Elapsed CPU time: 172.966 s Remaining CPU time: 7.03429 s c =============================================================================== c | 392 | 3959 4405 1493950 | 5000 392 3753 | 0.000 % | c =============================================================================== c New solution: 20564 c Elapsed CPU time: 173.873 s Remaining CPU time: 6.12743 s c =============================================================================== c | 394 | 3959 4406 1497800 | 5000 394 3753 | 0.000 % | c =============================================================================== c New solution: 20563 c Elapsed CPU time: 174.72 s Remaining CPU time: 5.27956 s c =============================================================================== c | 394 | 3959 4407 1501650 | 5000 394 3753 | 0.000 % | c =============================================================================== c New solution: 20562 c Elapsed CPU time: 175.71 s Remaining CPU time: 4.28971 s c =============================================================================== c | 398 | 3959 4408 1505500 | 5000 398 3744 | 0.000 % | c =============================================================================== c New solution: 20561 c Elapsed CPU time: 176.555 s Remaining CPU time: 3.44484 s c =============================================================================== c | 398 | 3959 4409 1509350 | 5000 398 3744 | 0.000 % | c =============================================================================== c New solution: 20560 c Elapsed CPU time: 177.539 s Remaining CPU time: 2.46099 s c =============================================================================== c | 401 | 3959 4410 1513200 | 5000 401 3744 | 0.000 % | c =============================================================================== c New solution: 20559 c Elapsed CPU time: 178.447 s Remaining CPU time: 1.55313 s c =============================================================================== c | 404 | 3959 4411 1517050 | 5000 404 3744 | 0.000 % | c =============================================================================== c New solution: 20558 c Elapsed CPU time: 179.357 s Remaining CPU time: 0.643267 s c =============================================================================== c | 410 | 3959 4412 1520900 | 5000 410 3744 | 0.000 % | c There are 41 assigned variables. 10 in cost function.