c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 5000 | c | Number Clauses: 5000 | 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 | 4992 5002 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27091 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 4992 5003 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27085 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 4992 5004 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27080 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 0 | 4992 5005 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27077 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 0 | 4992 5006 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27076 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 4992 5007 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27071 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 0 | 4992 5008 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27070 c Elapsed CPU time: 0.638902 s Remaining CPU time: 179.361 s c =============================================================================== c | 0 | 4992 5009 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27069 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 0 | 4992 5010 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27068 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 4992 5011 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27066 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 0 | 4992 5012 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27065 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s c =============================================================================== c | 0 | 4992 5013 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27059 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 0 | 4992 5014 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27058 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 0 | 4992 5015 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27056 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 0 | 4992 5016 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27055 c Elapsed CPU time: 1.39679 s Remaining CPU time: 178.603 s c =============================================================================== c | 0 | 4992 5017 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27054 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 0 | 4992 5018 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27053 c Elapsed CPU time: 1.59776 s Remaining CPU time: 178.402 s c =============================================================================== c | 0 | 4992 5019 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27050 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 0 | 4992 5020 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27048 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s c =============================================================================== c | 0 | 4992 5021 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27047 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 0 | 4992 5022 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27044 c Elapsed CPU time: 2.02169 s Remaining CPU time: 177.978 s c =============================================================================== c | 0 | 4992 5023 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27043 c Elapsed CPU time: 2.13167 s Remaining CPU time: 177.868 s c =============================================================================== c | 0 | 4992 5024 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27040 c Elapsed CPU time: 2.24466 s Remaining CPU time: 177.755 s c =============================================================================== c | 0 | 4992 5025 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27039 c Elapsed CPU time: 2.36064 s Remaining CPU time: 177.639 s c =============================================================================== c | 0 | 4992 5026 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27038 c Elapsed CPU time: 2.47462 s Remaining CPU time: 177.525 s c =============================================================================== c | 0 | 4992 5027 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27032 c Elapsed CPU time: 2.59461 s Remaining CPU time: 177.405 s c =============================================================================== c | 0 | 4992 5028 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27030 c Elapsed CPU time: 2.72059 s Remaining CPU time: 177.279 s c =============================================================================== c | 0 | 4992 5029 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27027 c Elapsed CPU time: 2.85157 s Remaining CPU time: 177.148 s c =============================================================================== c | 0 | 4992 5030 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27026 c Elapsed CPU time: 2.98055 s Remaining CPU time: 177.019 s c =============================================================================== c | 0 | 4992 5031 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27025 c Elapsed CPU time: 3.11753 s Remaining CPU time: 176.882 s c =============================================================================== c | 0 | 4992 5032 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27024 c Elapsed CPU time: 3.2515 s Remaining CPU time: 176.748 s c =============================================================================== c | 0 | 4992 5033 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27021 c Elapsed CPU time: 3.38848 s Remaining CPU time: 176.612 s c =============================================================================== c | 0 | 4992 5034 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27020 c Elapsed CPU time: 3.52746 s Remaining CPU time: 176.473 s c =============================================================================== c | 0 | 4992 5035 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27019 c Elapsed CPU time: 3.66444 s Remaining CPU time: 176.336 s c =============================================================================== c | 0 | 4992 5036 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27018 c Elapsed CPU time: 3.81142 s Remaining CPU time: 176.189 s c =============================================================================== c | 0 | 4992 5037 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27017 c Elapsed CPU time: 3.9564 s Remaining CPU time: 176.044 s c =============================================================================== c | 0 | 4992 5038 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27016 c Elapsed CPU time: 4.10438 s Remaining CPU time: 175.896 s c =============================================================================== c | 0 | 4992 5039 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27014 c Elapsed CPU time: 4.25335 s Remaining CPU time: 175.747 s c =============================================================================== c | 0 | 4992 5040 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27011 c Elapsed CPU time: 4.40233 s Remaining CPU time: 175.598 s c =============================================================================== c | 0 | 4992 5041 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27007 c Elapsed CPU time: 4.55331 s Remaining CPU time: 175.447 s c =============================================================================== c | 0 | 4992 5042 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27006 c Elapsed CPU time: 4.70728 s Remaining CPU time: 175.293 s c =============================================================================== c | 0 | 4992 5043 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27003 c Elapsed CPU time: 4.86826 s Remaining CPU time: 175.132 s c =============================================================================== c | 0 | 4992 5044 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27002 c Elapsed CPU time: 5.02823 s Remaining CPU time: 174.972 s c =============================================================================== c | 0 | 4992 5045 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26997 c Elapsed CPU time: 5.19021 s Remaining CPU time: 174.81 s c =============================================================================== c | 0 | 4992 5046 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26996 c Elapsed CPU time: 5.35019 s Remaining CPU time: 174.65 s c =============================================================================== c | 0 | 4992 5047 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26992 c Elapsed CPU time: 5.51416 s Remaining CPU time: 174.486 s c =============================================================================== c | 0 | 4992 5048 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26990 c Elapsed CPU time: 5.67614 s Remaining CPU time: 174.324 s c =============================================================================== c | 0 | 4992 5049 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26988 c Elapsed CPU time: 5.84811 s Remaining CPU time: 174.152 s c =============================================================================== c | 0 | 4992 5050 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26985 c Elapsed CPU time: 6.02108 s Remaining CPU time: 173.979 s c =============================================================================== c | 0 | 4992 5051 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26982 c Elapsed CPU time: 6.19406 s Remaining CPU time: 173.806 s c =============================================================================== c | 0 | 4992 5052 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26977 c Elapsed CPU time: 6.37203 s Remaining CPU time: 173.628 s c =============================================================================== c | 0 | 4992 5053 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26976 c Elapsed CPU time: 6.556 s Remaining CPU time: 173.444 s c =============================================================================== c | 0 | 4992 5054 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26975 c Elapsed CPU time: 6.74797 s Remaining CPU time: 173.252 s c =============================================================================== c | 0 | 4992 5055 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26974 c Elapsed CPU time: 6.94194 s Remaining CPU time: 173.058 s c =============================================================================== c | 0 | 4992 5056 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26973 c Elapsed CPU time: 7.13091 s Remaining CPU time: 172.869 s c =============================================================================== c | 0 | 4992 5057 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26972 c Elapsed CPU time: 7.32089 s Remaining CPU time: 172.679 s c =============================================================================== c | 0 | 4992 5058 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26969 c Elapsed CPU time: 7.50786 s Remaining CPU time: 172.492 s c =============================================================================== c | 0 | 4992 5059 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26967 c Elapsed CPU time: 7.70283 s Remaining CPU time: 172.297 s c =============================================================================== c | 0 | 4992 5060 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26964 c Elapsed CPU time: 7.8998 s Remaining CPU time: 172.1 s c =============================================================================== c | 0 | 4992 5061 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26963 c Elapsed CPU time: 8.10077 s Remaining CPU time: 171.899 s c =============================================================================== c | 0 | 4992 5062 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26962 c Elapsed CPU time: 8.30574 s Remaining CPU time: 171.694 s c =============================================================================== c | 0 | 4992 5063 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26961 c Elapsed CPU time: 8.50971 s Remaining CPU time: 171.49 s c =============================================================================== c | 0 | 4992 5064 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26958 c Elapsed CPU time: 8.71567 s Remaining CPU time: 171.284 s c =============================================================================== c | 0 | 4992 5065 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26957 c Elapsed CPU time: 8.92664 s Remaining CPU time: 171.073 s c =============================================================================== c | 0 | 4992 5066 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26956 c Elapsed CPU time: 9.14261 s Remaining CPU time: 170.857 s c =============================================================================== c | 0 | 4992 5067 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26954 c Elapsed CPU time: 9.36158 s Remaining CPU time: 170.638 s c =============================================================================== c | 0 | 4992 5068 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26951 c Elapsed CPU time: 9.58654 s Remaining CPU time: 170.413 s c =============================================================================== c | 0 | 4992 5069 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26949 c Elapsed CPU time: 9.81251 s Remaining CPU time: 170.187 s c =============================================================================== c | 0 | 4992 5070 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26946 c Elapsed CPU time: 10.0365 s Remaining CPU time: 169.964 s c =============================================================================== c | 0 | 4992 5071 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26945 c Elapsed CPU time: 10.2674 s Remaining CPU time: 169.733 s c =============================================================================== c | 0 | 4992 5072 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26944 c Elapsed CPU time: 10.5004 s Remaining CPU time: 169.5 s c =============================================================================== c | 0 | 4992 5073 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26943 c Elapsed CPU time: 10.7274 s Remaining CPU time: 169.273 s c =============================================================================== c | 0 | 4992 5074 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26942 c Elapsed CPU time: 10.9633 s Remaining CPU time: 169.037 s c =============================================================================== c | 0 | 4992 5075 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26941 c Elapsed CPU time: 11.2013 s Remaining CPU time: 168.799 s c =============================================================================== c | 0 | 4992 5076 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26938 c Elapsed CPU time: 11.4463 s Remaining CPU time: 168.554 s c =============================================================================== c | 0 | 4992 5077 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26937 c Elapsed CPU time: 11.6942 s Remaining CPU time: 168.306 s c =============================================================================== c | 0 | 4992 5078 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26933 c Elapsed CPU time: 11.9382 s Remaining CPU time: 168.062 s c =============================================================================== c | 0 | 4992 5079 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26931 c Elapsed CPU time: 12.1861 s Remaining CPU time: 167.814 s c =============================================================================== c | 0 | 4992 5080 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26929 c Elapsed CPU time: 12.4391 s Remaining CPU time: 167.561 s c =============================================================================== c | 0 | 4992 5081 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26926 c Elapsed CPU time: 12.6911 s Remaining CPU time: 167.309 s c =============================================================================== c | 0 | 4992 5082 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26924 c Elapsed CPU time: 12.95 s Remaining CPU time: 167.05 s c =============================================================================== c | 0 | 4992 5083 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26919 c Elapsed CPU time: 13.215 s Remaining CPU time: 166.785 s c =============================================================================== c | 0 | 4992 5084 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26918 c Elapsed CPU time: 13.4959 s Remaining CPU time: 166.504 s c =============================================================================== c | 0 | 4992 5085 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26915 c Elapsed CPU time: 13.7689 s Remaining CPU time: 166.231 s c =============================================================================== c | 0 | 4992 5086 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26914 c Elapsed CPU time: 14.0429 s Remaining CPU time: 165.957 s c =============================================================================== c | 0 | 4992 5087 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26913 c Elapsed CPU time: 14.3178 s Remaining CPU time: 165.682 s c =============================================================================== c | 0 | 4992 5088 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26912 c Elapsed CPU time: 14.6028 s Remaining CPU time: 165.397 s c =============================================================================== c | 0 | 4992 5089 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26910 c Elapsed CPU time: 14.8967 s Remaining CPU time: 165.103 s c =============================================================================== c | 0 | 4992 5090 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26908 c Elapsed CPU time: 15.1797 s Remaining CPU time: 164.82 s c =============================================================================== c | 0 | 4992 5091 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26907 c Elapsed CPU time: 15.4756 s Remaining CPU time: 164.524 s c =============================================================================== c | 0 | 4992 5092 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26906 c Elapsed CPU time: 15.7906 s Remaining CPU time: 164.209 s c =============================================================================== c | 0 | 4992 5093 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26905 c Elapsed CPU time: 16.1076 s Remaining CPU time: 163.892 s c =============================================================================== c | 0 | 4992 5094 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26903 c Elapsed CPU time: 16.4105 s Remaining CPU time: 163.589 s c =============================================================================== c | 0 | 4992 5095 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26902 c Elapsed CPU time: 16.7205 s Remaining CPU time: 163.28 s c =============================================================================== c | 0 | 4992 5096 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26901 c Elapsed CPU time: 17.0304 s Remaining CPU time: 162.97 s c =============================================================================== c | 0 | 4992 5097 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26897 c Elapsed CPU time: 17.3454 s Remaining CPU time: 162.655 s c =============================================================================== c | 0 | 4992 5098 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26896 c Elapsed CPU time: 17.6713 s Remaining CPU time: 162.329 s c =============================================================================== c | 0 | 4992 5099 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26895 c Elapsed CPU time: 17.9813 s Remaining CPU time: 162.019 s c =============================================================================== c | 0 | 4992 5100 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26894 c Elapsed CPU time: 18.3072 s Remaining CPU time: 161.693 s c =============================================================================== c | 0 | 4992 5101 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26893 c Elapsed CPU time: 18.6362 s Remaining CPU time: 161.364 s c =============================================================================== c | 0 | 4992 5102 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26892 c Elapsed CPU time: 18.9681 s Remaining CPU time: 161.032 s c =============================================================================== c | 0 | 4992 5103 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26890 c Elapsed CPU time: 19.2831 s Remaining CPU time: 160.717 s c =============================================================================== c | 0 | 4992 5104 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26888 c Elapsed CPU time: 19.594 s Remaining CPU time: 160.406 s c =============================================================================== c | 0 | 4992 5105 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26886 c Elapsed CPU time: 19.905 s Remaining CPU time: 160.095 s c =============================================================================== c | 0 | 4992 5106 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26885 c Elapsed CPU time: 20.2279 s Remaining CPU time: 159.772 s c =============================================================================== c | 0 | 4992 5107 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26884 c Elapsed CPU time: 20.5519 s Remaining CPU time: 159.448 s c =============================================================================== c | 0 | 4992 5108 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26879 c Elapsed CPU time: 20.8708 s Remaining CPU time: 159.129 s c =============================================================================== c | 0 | 4992 5109 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26875 c Elapsed CPU time: 21.1948 s Remaining CPU time: 158.805 s c =============================================================================== c | 0 | 4992 5110 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26874 c Elapsed CPU time: 21.5267 s Remaining CPU time: 158.473 s c =============================================================================== c | 0 | 4992 5111 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26870 c Elapsed CPU time: 21.8527 s Remaining CPU time: 158.147 s c =============================================================================== c | 0 | 4992 5112 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26866 c Elapsed CPU time: 22.1796 s Remaining CPU time: 157.82 s c =============================================================================== c | 0 | 4992 5113 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26863 c Elapsed CPU time: 22.5186 s Remaining CPU time: 157.481 s c =============================================================================== c | 0 | 4992 5114 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26862 c Elapsed CPU time: 22.8555 s Remaining CPU time: 157.144 s c =============================================================================== c | 0 | 4992 5115 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26856 c Elapsed CPU time: 23.1905 s Remaining CPU time: 156.81 s c =============================================================================== c | 0 | 4992 5116 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26855 c Elapsed CPU time: 23.5434 s Remaining CPU time: 156.457 s c =============================================================================== c | 0 | 4992 5117 572600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26854 c Elapsed CPU time: 23.8924 s Remaining CPU time: 156.108 s c =============================================================================== c | 0 | 4992 5118 577450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26853 c Elapsed CPU time: 24.2413 s Remaining CPU time: 155.759 s c =============================================================================== c | 0 | 4992 5119 582300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26852 c Elapsed CPU time: 24.5913 s Remaining CPU time: 155.409 s c =============================================================================== c | 0 | 4992 5120 587150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26848 c Elapsed CPU time: 24.9472 s Remaining CPU time: 155.053 s c =============================================================================== c | 0 | 4992 5121 592000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26846 c Elapsed CPU time: 25.3032 s Remaining CPU time: 154.697 s c =============================================================================== c | 0 | 4992 5122 596850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26843 c Elapsed CPU time: 25.6531 s Remaining CPU time: 154.347 s c =============================================================================== c | 0 | 4992 5123 601700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26840 c Elapsed CPU time: 26.007 s Remaining CPU time: 153.993 s c =============================================================================== c | 0 | 4992 5124 606550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26838 c Elapsed CPU time: 26.363 s Remaining CPU time: 153.637 s c =============================================================================== c | 0 | 4992 5125 611400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26837 c Elapsed CPU time: 26.7269 s Remaining CPU time: 153.273 s c =============================================================================== c | 0 | 4992 5126 616250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26833 c Elapsed CPU time: 27.0859 s Remaining CPU time: 152.914 s c =============================================================================== c | 0 | 4992 5127 621100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26830 c Elapsed CPU time: 27.4498 s Remaining CPU time: 152.55 s c =============================================================================== c | 0 | 4992 5128 625950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26826 c Elapsed CPU time: 27.8218 s Remaining CPU time: 152.178 s c =============================================================================== c | 0 | 4992 5129 630800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26823 c Elapsed CPU time: 28.2017 s Remaining CPU time: 151.798 s c =============================================================================== c | 0 | 4992 5130 635650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26821 c Elapsed CPU time: 28.5897 s Remaining CPU time: 151.41 s c =============================================================================== c | 0 | 4992 5131 640500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26819 c Elapsed CPU time: 28.9846 s Remaining CPU time: 151.015 s c =============================================================================== c | 0 | 4992 5132 645350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26817 c Elapsed CPU time: 29.3715 s Remaining CPU time: 150.628 s c =============================================================================== c | 0 | 4992 5133 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26815 c Elapsed CPU time: 29.7625 s Remaining CPU time: 150.238 s c =============================================================================== c | 0 | 4992 5134 655050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26812 c Elapsed CPU time: 30.1434 s Remaining CPU time: 149.857 s c =============================================================================== c | 0 | 4992 5135 659900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26811 c Elapsed CPU time: 30.5264 s Remaining CPU time: 149.474 s c =============================================================================== c | 0 | 4992 5136 664750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26810 c Elapsed CPU time: 30.9323 s Remaining CPU time: 149.068 s c =============================================================================== c | 0 | 4992 5137 669600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26808 c Elapsed CPU time: 31.3302 s Remaining CPU time: 148.67 s c =============================================================================== c | 0 | 4992 5138 674450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26807 c Elapsed CPU time: 31.7352 s Remaining CPU time: 148.265 s c =============================================================================== c | 0 | 4992 5139 679300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26806 c Elapsed CPU time: 32.1541 s Remaining CPU time: 147.846 s c =============================================================================== c | 0 | 4992 5140 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26802 c Elapsed CPU time: 32.561 s Remaining CPU time: 147.439 s c =============================================================================== c | 0 | 4992 5141 689000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26799 c Elapsed CPU time: 32.977 s Remaining CPU time: 147.023 s c =============================================================================== c | 0 | 4992 5142 693850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26797 c Elapsed CPU time: 33.3869 s Remaining CPU time: 146.613 s c =============================================================================== c | 0 | 4992 5143 698700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26796 c Elapsed CPU time: 33.8049 s Remaining CPU time: 146.195 s c =============================================================================== c | 0 | 4992 5144 703550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26795 c Elapsed CPU time: 34.2388 s Remaining CPU time: 145.761 s c =============================================================================== c | 0 | 4992 5145 708400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26794 c Elapsed CPU time: 34.6707 s Remaining CPU time: 145.329 s c =============================================================================== c | 0 | 4992 5146 713250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26793 c Elapsed CPU time: 35.0977 s Remaining CPU time: 144.902 s c =============================================================================== c | 0 | 4992 5147 718100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26791 c Elapsed CPU time: 35.5186 s Remaining CPU time: 144.481 s c =============================================================================== c | 0 | 4992 5148 722950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26790 c Elapsed CPU time: 35.9525 s Remaining CPU time: 144.047 s c =============================================================================== c | 0 | 4992 5149 727800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26788 c Elapsed CPU time: 36.3915 s Remaining CPU time: 143.609 s c =============================================================================== c | 0 | 4992 5150 732650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26787 c Elapsed CPU time: 36.8484 s Remaining CPU time: 143.152 s c =============================================================================== c | 0 | 4992 5151 737500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26786 c Elapsed CPU time: 37.2733 s Remaining CPU time: 142.727 s c =============================================================================== c | 0 | 4992 5152 742350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26785 c Elapsed CPU time: 37.7083 s Remaining CPU time: 142.292 s c =============================================================================== c | 0 | 4992 5153 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26784 c Elapsed CPU time: 38.1542 s Remaining CPU time: 141.846 s c =============================================================================== c | 0 | 4992 5154 752050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26783 c Elapsed CPU time: 38.5861 s Remaining CPU time: 141.414 s c =============================================================================== c | 0 | 4992 5155 756900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26782 c Elapsed CPU time: 39.0291 s Remaining CPU time: 140.971 s c =============================================================================== c | 0 | 4992 5156 761750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26780 c Elapsed CPU time: 39.471 s Remaining CPU time: 140.529 s c =============================================================================== c | 0 | 4992 5157 766600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26778 c Elapsed CPU time: 39.9219 s Remaining CPU time: 140.078 s c =============================================================================== c | 0 | 4992 5158 771450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26775 c Elapsed CPU time: 40.3629 s Remaining CPU time: 139.637 s c =============================================================================== c | 0 | 4992 5159 776300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26774 c Elapsed CPU time: 40.8098 s Remaining CPU time: 139.19 s c =============================================================================== c | 0 | 4992 5160 781150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26773 c Elapsed CPU time: 41.2747 s Remaining CPU time: 138.725 s c =============================================================================== c | 0 | 4992 5161 786000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26771 c Elapsed CPU time: 41.7417 s Remaining CPU time: 138.258 s c =============================================================================== c | 0 | 4992 5162 790850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26767 c Elapsed CPU time: 42.1976 s Remaining CPU time: 137.802 s c =============================================================================== c | 0 | 4992 5163 795700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26765 c Elapsed CPU time: 42.6785 s Remaining CPU time: 137.321 s c =============================================================================== c | 0 | 4992 5164 800550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26764 c Elapsed CPU time: 43.1444 s Remaining CPU time: 136.856 s c =============================================================================== c | 0 | 4992 5165 805400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26763 c Elapsed CPU time: 43.6284 s Remaining CPU time: 136.372 s c =============================================================================== c | 0 | 4992 5166 810250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26761 c Elapsed CPU time: 44.1043 s Remaining CPU time: 135.896 s c =============================================================================== c | 0 | 4992 5167 815100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26760 c Elapsed CPU time: 44.5822 s Remaining CPU time: 135.418 s c =============================================================================== c | 0 | 4992 5168 819950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26759 c Elapsed CPU time: 45.1031 s Remaining CPU time: 134.897 s c =============================================================================== c | 0 | 4992 5169 824800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26758 c Elapsed CPU time: 45.6261 s Remaining CPU time: 134.374 s c =============================================================================== c | 0 | 4992 5170 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26757 c Elapsed CPU time: 46.136 s Remaining CPU time: 133.864 s c =============================================================================== c | 0 | 4992 5171 834500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26756 c Elapsed CPU time: 46.6449 s Remaining CPU time: 133.355 s c =============================================================================== c | 0 | 4992 5172 839350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26755 c Elapsed CPU time: 47.1458 s Remaining CPU time: 132.854 s c =============================================================================== c | 0 | 4992 5173 844200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26754 c Elapsed CPU time: 47.6688 s Remaining CPU time: 132.331 s c =============================================================================== c | 0 | 4992 5174 849050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26753 c Elapsed CPU time: 48.1867 s Remaining CPU time: 131.813 s c =============================================================================== c | 0 | 4992 5175 853900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26752 c Elapsed CPU time: 48.7036 s Remaining CPU time: 131.296 s c =============================================================================== c | 0 | 4992 5176 858750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26751 c Elapsed CPU time: 49.2285 s Remaining CPU time: 130.771 s c =============================================================================== c | 0 | 4992 5177 863600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26749 c Elapsed CPU time: 49.7334 s Remaining CPU time: 130.267 s c =============================================================================== c | 0 | 4992 5178 868450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26748 c Elapsed CPU time: 50.2644 s Remaining CPU time: 129.736 s c =============================================================================== c | 0 | 4992 5179 873300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26747 c Elapsed CPU time: 50.7803 s Remaining CPU time: 129.22 s c =============================================================================== c | 0 | 4992 5180 878150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26746 c Elapsed CPU time: 51.3102 s Remaining CPU time: 128.69 s c =============================================================================== c | 0 | 4992 5181 883000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26745 c Elapsed CPU time: 51.8561 s Remaining CPU time: 128.144 s c =============================================================================== c | 0 | 4992 5182 887850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26743 c Elapsed CPU time: 52.405 s Remaining CPU time: 127.595 s c =============================================================================== c | 0 | 4992 5183 892700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26742 c Elapsed CPU time: 52.9579 s Remaining CPU time: 127.042 s c =============================================================================== c | 0 | 4992 5184 897550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26741 c Elapsed CPU time: 53.5049 s Remaining CPU time: 126.495 s c =============================================================================== c | 0 | 4992 5185 902400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26740 c Elapsed CPU time: 54.0328 s Remaining CPU time: 125.967 s c =============================================================================== c | 0 | 4992 5186 907250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26739 c Elapsed CPU time: 54.5957 s Remaining CPU time: 125.404 s c =============================================================================== c | 0 | 4992 5187 912100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26737 c Elapsed CPU time: 55.1496 s Remaining CPU time: 124.85 s c =============================================================================== c | 0 | 4992 5188 916950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26736 c Elapsed CPU time: 55.6785 s Remaining CPU time: 124.321 s c =============================================================================== c | 0 | 4992 5189 921800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26735 c Elapsed CPU time: 56.2155 s Remaining CPU time: 123.785 s c =============================================================================== c | 0 | 4992 5190 926650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26734 c Elapsed CPU time: 56.7664 s Remaining CPU time: 123.234 s c =============================================================================== c | 0 | 4992 5191 931500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26732 c Elapsed CPU time: 57.3173 s Remaining CPU time: 122.683 s c =============================================================================== c | 0 | 4992 5192 936350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26730 c Elapsed CPU time: 57.8942 s Remaining CPU time: 122.106 s c =============================================================================== c | 0 | 4992 5193 941200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26729 c Elapsed CPU time: 58.4571 s Remaining CPU time: 121.543 s c =============================================================================== c | 0 | 4992 5194 946050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26728 c Elapsed CPU time: 59 s Remaining CPU time: 121 s c =============================================================================== c | 0 | 4992 5195 950900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26727 c Elapsed CPU time: 59.5639 s Remaining CPU time: 120.436 s c =============================================================================== c | 0 | 4992 5196 955750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26726 c Elapsed CPU time: 60.1229 s Remaining CPU time: 119.877 s c =============================================================================== c | 0 | 4992 5197 960600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26725 c Elapsed CPU time: 60.6868 s Remaining CPU time: 119.313 s c =============================================================================== c | 0 | 4992 5198 965450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26724 c Elapsed CPU time: 61.2567 s Remaining CPU time: 118.743 s c =============================================================================== c | 0 | 4992 5199 970300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26723 c Elapsed CPU time: 61.8286 s Remaining CPU time: 118.171 s c =============================================================================== c | 0 | 4992 5200 975150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26722 c Elapsed CPU time: 62.4115 s Remaining CPU time: 117.588 s c =============================================================================== c | 0 | 4992 5201 980000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26721 c Elapsed CPU time: 62.9814 s Remaining CPU time: 117.019 s c =============================================================================== c | 0 | 4992 5202 984850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26720 c Elapsed CPU time: 63.5593 s Remaining CPU time: 116.441 s c =============================================================================== c | 0 | 4992 5203 989700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26718 c Elapsed CPU time: 64.1682 s Remaining CPU time: 115.832 s c =============================================================================== c | 0 | 4992 5204 994550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26717 c Elapsed CPU time: 64.7632 s Remaining CPU time: 115.237 s c =============================================================================== c | 0 | 4992 5205 999400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26715 c Elapsed CPU time: 65.3661 s Remaining CPU time: 114.634 s c =============================================================================== c | 0 | 4992 5206 1004250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26713 c Elapsed CPU time: 65.961 s Remaining CPU time: 114.039 s c =============================================================================== c | 0 | 4992 5207 1009100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26712 c Elapsed CPU time: 66.5659 s Remaining CPU time: 113.434 s c =============================================================================== c | 0 | 4992 5208 1013950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26709 c Elapsed CPU time: 67.1648 s Remaining CPU time: 112.835 s c =============================================================================== c | 0 | 4992 5209 1018800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26708 c Elapsed CPU time: 67.7627 s Remaining CPU time: 112.237 s c =============================================================================== c | 0 | 4992 5210 1023650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26706 c Elapsed CPU time: 68.3776 s Remaining CPU time: 111.622 s c =============================================================================== c | 0 | 4992 5211 1028500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26705 c Elapsed CPU time: 68.9865 s Remaining CPU time: 111.013 s c =============================================================================== c | 0 | 4992 5212 1033350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26704 c Elapsed CPU time: 69.5964 s Remaining CPU time: 110.404 s c =============================================================================== c | 0 | 4992 5213 1038200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26703 c Elapsed CPU time: 70.2253 s Remaining CPU time: 109.775 s c =============================================================================== c | 0 | 4992 5214 1043050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26702 c Elapsed CPU time: 70.8452 s Remaining CPU time: 109.155 s c =============================================================================== c | 0 | 4992 5215 1047900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26700 c Elapsed CPU time: 71.4641 s Remaining CPU time: 108.536 s c =============================================================================== c | 0 | 4992 5216 1052750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26698 c Elapsed CPU time: 72.072 s Remaining CPU time: 107.928 s c =============================================================================== c | 0 | 4992 5217 1057600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26697 c Elapsed CPU time: 72.6989 s Remaining CPU time: 107.301 s c =============================================================================== c | 0 | 4992 5218 1062450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26695 c Elapsed CPU time: 73.3478 s Remaining CPU time: 106.652 s c =============================================================================== c | 0 | 4992 5219 1067300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26694 c Elapsed CPU time: 73.9977 s Remaining CPU time: 106.002 s c =============================================================================== c | 0 | 4992 5220 1072150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26693 c Elapsed CPU time: 74.6427 s Remaining CPU time: 105.357 s c =============================================================================== c | 0 | 4992 5221 1077000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26692 c Elapsed CPU time: 75.2666 s Remaining CPU time: 104.733 s c =============================================================================== c | 0 | 4992 5222 1081850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26691 c Elapsed CPU time: 75.9045 s Remaining CPU time: 104.096 s c =============================================================================== c | 0 | 4992 5223 1086700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26690 c Elapsed CPU time: 76.5394 s Remaining CPU time: 103.461 s c =============================================================================== c | 0 | 4992 5224 1091550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26687 c Elapsed CPU time: 77.1923 s Remaining CPU time: 102.808 s c =============================================================================== c | 0 | 4992 5225 1096400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26686 c Elapsed CPU time: 77.8462 s Remaining CPU time: 102.154 s c =============================================================================== c | 0 | 4992 5226 1101250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26685 c Elapsed CPU time: 78.5121 s Remaining CPU time: 101.488 s c =============================================================================== c | 0 | 4992 5227 1106100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26684 c Elapsed CPU time: 79.181 s Remaining CPU time: 100.819 s c =============================================================================== c | 0 | 4992 5228 1110950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26683 c Elapsed CPU time: 79.9019 s Remaining CPU time: 100.098 s c =============================================================================== c | 1 | 4992 5229 1115800 | 5000 1 4789 | 0.000 % | c =============================================================================== c New solution: 26682 c Elapsed CPU time: 80.5917 s Remaining CPU time: 99.4083 s c =============================================================================== c | 4 | 4992 5230 1120650 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26681 c Elapsed CPU time: 81.2626 s Remaining CPU time: 98.7374 s c =============================================================================== c | 4 | 4992 5231 1125500 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26680 c Elapsed CPU time: 81.8936 s Remaining CPU time: 98.1064 s c =============================================================================== c | 4 | 4992 5232 1130350 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26679 c Elapsed CPU time: 82.5325 s Remaining CPU time: 97.4675 s c =============================================================================== c | 4 | 4992 5233 1135200 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26678 c Elapsed CPU time: 83.2263 s Remaining CPU time: 96.7737 s c =============================================================================== c | 4 | 4992 5234 1140050 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26677 c Elapsed CPU time: 83.9272 s Remaining CPU time: 96.0728 s c =============================================================================== c | 4 | 4992 5235 1144900 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26676 c Elapsed CPU time: 84.6261 s Remaining CPU time: 95.3739 s c =============================================================================== c | 4 | 4992 5236 1149750 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26675 c Elapsed CPU time: 85.323 s Remaining CPU time: 94.677 s c =============================================================================== c | 4 | 4992 5237 1154600 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26673 c Elapsed CPU time: 86.0069 s Remaining CPU time: 93.9931 s c =============================================================================== c | 4 | 4992 5238 1159450 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26672 c Elapsed CPU time: 86.7138 s Remaining CPU time: 93.2862 s c =============================================================================== c | 4 | 4992 5239 1164300 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26671 c Elapsed CPU time: 87.4087 s Remaining CPU time: 92.5913 s c =============================================================================== c | 4 | 4992 5240 1169150 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26670 c Elapsed CPU time: 88.1366 s Remaining CPU time: 91.8634 s c =============================================================================== c | 4 | 4992 5241 1174000 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26669 c Elapsed CPU time: 88.8315 s Remaining CPU time: 91.1685 s c =============================================================================== c | 4 | 4992 5242 1178850 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26668 c Elapsed CPU time: 89.5564 s Remaining CPU time: 90.4436 s c =============================================================================== c | 4 | 4992 5243 1183700 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26667 c Elapsed CPU time: 90.3343 s Remaining CPU time: 89.6657 s c =============================================================================== c | 4 | 4992 5244 1188550 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26666 c Elapsed CPU time: 91.0402 s Remaining CPU time: 88.9598 s c =============================================================================== c | 4 | 4992 5245 1193400 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26665 c Elapsed CPU time: 91.767 s Remaining CPU time: 88.233 s c =============================================================================== c | 4 | 4992 5246 1198250 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26664 c Elapsed CPU time: 92.4659 s Remaining CPU time: 87.5341 s c =============================================================================== c | 4 | 4992 5247 1203100 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26663 c Elapsed CPU time: 93.1718 s Remaining CPU time: 86.8282 s c =============================================================================== c | 4 | 4992 5248 1207950 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26662 c Elapsed CPU time: 93.8907 s Remaining CPU time: 86.1093 s c =============================================================================== c | 4 | 4992 5249 1212800 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26661 c Elapsed CPU time: 94.5696 s Remaining CPU time: 85.4304 s c =============================================================================== c | 4 | 4992 5250 1217650 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26660 c Elapsed CPU time: 95.3755 s Remaining CPU time: 84.6245 s c =============================================================================== c | 4 | 4992 5251 1222500 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26659 c Elapsed CPU time: 96.1754 s Remaining CPU time: 83.8246 s c =============================================================================== c | 4 | 4992 5252 1227350 | 5000 4 4789 | 0.000 % | c =============================================================================== c New solution: 26658 c Elapsed CPU time: 97.0242 s Remaining CPU time: 82.9758 s c =============================================================================== c | 5 | 4992 5253 1232200 | 5000 5 4788 | 0.000 % | c =============================================================================== c New solution: 26657 c Elapsed CPU time: 97.8981 s Remaining CPU time: 82.1019 s c =============================================================================== c | 11 | 4992 5254 1237050 | 5000 11 4785 | 0.000 % | c =============================================================================== c New solution: 26656 c Elapsed CPU time: 98.75 s Remaining CPU time: 81.25 s c =============================================================================== c | 11 | 4992 5255 1241900 | 5000 11 4785 | 0.000 % | c =============================================================================== c New solution: 26655 c Elapsed CPU time: 99.5859 s Remaining CPU time: 80.4141 s c =============================================================================== c | 11 | 4992 5256 1246750 | 5000 11 4785 | 0.000 % | c =============================================================================== c New solution: 26654 c Elapsed CPU time: 100.418 s Remaining CPU time: 79.5823 s c =============================================================================== c | 11 | 4992 5257 1251600 | 5000 11 4785 | 0.000 % | c =============================================================================== c New solution: 26653 c Elapsed CPU time: 101.249 s Remaining CPU time: 78.7514 s c =============================================================================== c | 12 | 4992 5258 1256450 | 5000 12 4785 | 0.000 % | c =============================================================================== c New solution: 26652 c Elapsed CPU time: 102.097 s Remaining CPU time: 77.9025 s c =============================================================================== c | 12 | 4992 5259 1261300 | 5000 12 4785 | 0.000 % | c =============================================================================== c New solution: 26651 c Elapsed CPU time: 102.917 s Remaining CPU time: 77.0826 s c =============================================================================== c | 13 | 4992 5260 1266150 | 5000 13 4785 | 0.000 % | c =============================================================================== c New solution: 26650 c Elapsed CPU time: 103.709 s Remaining CPU time: 76.2908 s c =============================================================================== c | 13 | 4992 5261 1271000 | 5000 13 4785 | 0.000 % | c =============================================================================== c New solution: 26649 c Elapsed CPU time: 104.555 s Remaining CPU time: 75.4449 s c =============================================================================== c | 15 | 4992 5262 1275850 | 5000 15 4784 | 0.000 % | c =============================================================================== c New solution: 26648 c Elapsed CPU time: 105.401 s Remaining CPU time: 74.599 s c =============================================================================== c | 15 | 4992 5263 1280700 | 5000 15 4784 | 0.000 % | c =============================================================================== c New solution: 26647 c Elapsed CPU time: 106.259 s Remaining CPU time: 73.7412 s c =============================================================================== c | 15 | 4992 5264 1285550 | 5000 15 4784 | 0.000 % | c =============================================================================== c New solution: 26646 c Elapsed CPU time: 107.143 s Remaining CPU time: 72.8573 s c =============================================================================== c | 16 | 4992 5265 1290400 | 5000 16 4784 | 0.000 % | c =============================================================================== c New solution: 26645 c Elapsed CPU time: 108.048 s Remaining CPU time: 71.9524 s c =============================================================================== c | 23 | 4992 5266 1295250 | 5000 23 4783 | 0.000 % | c =============================================================================== c New solution: 26644 c Elapsed CPU time: 108.865 s Remaining CPU time: 71.1346 s c =============================================================================== c | 23 | 4992 5267 1300100 | 5000 23 4783 | 0.000 % | c =============================================================================== c New solution: 26643 c Elapsed CPU time: 109.674 s Remaining CPU time: 70.3257 s c =============================================================================== c | 28 | 4992 5268 1304950 | 5000 28 4782 | 0.000 % | c =============================================================================== c New solution: 26642 c Elapsed CPU time: 110.478 s Remaining CPU time: 69.5218 s c =============================================================================== c | 28 | 4992 5269 1309800 | 5000 28 4782 | 0.000 % | c =============================================================================== c New solution: 26641 c Elapsed CPU time: 111.261 s Remaining CPU time: 68.7389 s c =============================================================================== c | 28 | 4992 5270 1314650 | 5000 28 4782 | 0.000 % | c =============================================================================== c New solution: 26640 c Elapsed CPU time: 112.102 s Remaining CPU time: 67.898 s c =============================================================================== c | 30 | 4992 5271 1319500 | 5000 30 4781 | 0.000 % | c =============================================================================== c New solution: 26639 c Elapsed CPU time: 112.889 s Remaining CPU time: 67.1112 s c =============================================================================== c | 34 | 4992 5272 1324350 | 5000 34 4781 | 0.000 % | c =============================================================================== c New solution: 26638 c Elapsed CPU time: 113.72 s Remaining CPU time: 66.2803 s c =============================================================================== c | 34 | 4992 5273 1329200 | 5000 34 4781 | 0.000 % | c =============================================================================== c New solution: 26637 c Elapsed CPU time: 114.556 s Remaining CPU time: 65.4444 s c =============================================================================== c | 34 | 4992 5274 1334050 | 5000 34 4781 | 0.000 % | c =============================================================================== c New solution: 26636 c Elapsed CPU time: 115.379 s Remaining CPU time: 64.6205 s c =============================================================================== c | 34 | 4992 5275 1338900 | 5000 34 4781 | 0.000 % | c =============================================================================== c New solution: 26635 c Elapsed CPU time: 116.215 s Remaining CPU time: 63.7847 s c =============================================================================== c | 34 | 4992 5276 1343750 | 5000 34 4781 | 0.000 % | c =============================================================================== c New solution: 26634 c Elapsed CPU time: 117.102 s Remaining CPU time: 62.8978 s c =============================================================================== c | 43 | 4992 5277 1348600 | 5000 43 4780 | 0.000 % | c =============================================================================== c New solution: 26633 c Elapsed CPU time: 117.923 s Remaining CPU time: 62.0769 s c =============================================================================== c | 45 | 4992 5278 1353450 | 5000 45 4780 | 0.000 % | c =============================================================================== c New solution: 26632 c Elapsed CPU time: 118.703 s Remaining CPU time: 61.297 s c =============================================================================== c | 45 | 4992 5279 1358300 | 5000 45 4780 | 0.000 % | c =============================================================================== c New solution: 26631 c Elapsed CPU time: 119.478 s Remaining CPU time: 60.5222 s c =============================================================================== c | 45 | 4992 5280 1363150 | 5000 45 4780 | 0.000 % | c =============================================================================== c New solution: 26630 c Elapsed CPU time: 120.261 s Remaining CPU time: 59.7393 s c =============================================================================== c | 45 | 4992 5281 1368000 | 5000 45 4780 | 0.000 % | c =============================================================================== c New solution: 26629 c Elapsed CPU time: 121.176 s Remaining CPU time: 58.8244 s c =============================================================================== c | 45 | 4992 5282 1372850 | 5000 45 4780 | 0.000 % | c =============================================================================== c New solution: 26628 c Elapsed CPU time: 122.136 s Remaining CPU time: 57.8636 s c =============================================================================== c | 47 | 4992 5283 1377700 | 5000 47 4780 | 0.000 % | c =============================================================================== c New solution: 26627 c Elapsed CPU time: 123.041 s Remaining CPU time: 56.9587 s c =============================================================================== c | 47 | 4992 5284 1382550 | 5000 47 4780 | 0.000 % | c =============================================================================== c New solution: 26626 c Elapsed CPU time: 124.01 s Remaining CPU time: 55.9899 s c =============================================================================== c | 50 | 4992 5285 1387400 | 5000 50 4779 | 0.000 % | c =============================================================================== c New solution: 26625 c Elapsed CPU time: 124.872 s Remaining CPU time: 55.128 s c =============================================================================== c | 50 | 4992 5286 1392250 | 5000 50 4779 | 0.000 % | c =============================================================================== c New solution: 26624 c Elapsed CPU time: 125.762 s Remaining CPU time: 54.2381 s c =============================================================================== c | 50 | 4992 5287 1397100 | 5000 50 4779 | 0.000 % | c =============================================================================== c New solution: 26623 c Elapsed CPU time: 126.63 s Remaining CPU time: 53.3703 s c =============================================================================== c | 50 | 4992 5288 1401950 | 5000 50 4779 | 0.000 % | c =============================================================================== c New solution: 26622 c Elapsed CPU time: 127.505 s Remaining CPU time: 52.4954 s c =============================================================================== c | 52 | 4992 5289 1406800 | 5000 52 4779 | 0.000 % | c =============================================================================== c New solution: 26621 c Elapsed CPU time: 128.411 s Remaining CPU time: 51.5885 s c =============================================================================== c | 52 | 4992 5290 1411650 | 5000 52 4779 | 0.000 % | c =============================================================================== c New solution: 26620 c Elapsed CPU time: 129.317 s Remaining CPU time: 50.6827 s c =============================================================================== c | 52 | 4992 5291 1416500 | 5000 52 4779 | 0.000 % | c =============================================================================== c New solution: 26619 c Elapsed CPU time: 130.198 s Remaining CPU time: 49.8018 s c =============================================================================== c | 52 | 4992 5292 1421350 | 5000 52 4779 | 0.000 % | c =============================================================================== c New solution: 26618 c Elapsed CPU time: 131.084 s Remaining CPU time: 48.9159 s c =============================================================================== c | 52 | 4992 5293 1426200 | 5000 52 4779 | 0.000 % | c =============================================================================== c New solution: 26617 c Elapsed CPU time: 131.979 s Remaining CPU time: 48.0211 s c =============================================================================== c | 54 | 4992 5294 1431050 | 5000 54 4779 | 0.000 % | c =============================================================================== c New solution: 26616 c Elapsed CPU time: 132.852 s Remaining CPU time: 47.1482 s c =============================================================================== c | 54 | 4992 5295 1435900 | 5000 54 4779 | 0.000 % | c =============================================================================== c New solution: 26615 c Elapsed CPU time: 133.762 s Remaining CPU time: 46.2383 s c =============================================================================== c | 59 | 4992 5296 1440750 | 5000 59 4778 | 0.000 % | c =============================================================================== c New solution: 26614 c Elapsed CPU time: 134.672 s Remaining CPU time: 45.3285 s c =============================================================================== c | 66 | 4992 5297 1445600 | 5000 66 4778 | 0.000 % | c =============================================================================== c New solution: 26613 c Elapsed CPU time: 135.523 s Remaining CPU time: 44.4766 s c =============================================================================== c | 66 | 4992 5298 1450450 | 5000 66 4778 | 0.000 % | c =============================================================================== c New solution: 26612 c Elapsed CPU time: 136.387 s Remaining CPU time: 43.6127 s c =============================================================================== c | 66 | 4992 5299 1455300 | 5000 66 4778 | 0.000 % | c =============================================================================== c New solution: 26611 c Elapsed CPU time: 137.25 s Remaining CPU time: 42.7499 s c =============================================================================== c | 66 | 4992 5300 1460150 | 5000 66 4778 | 0.000 % | c =============================================================================== c New solution: 26610 c Elapsed CPU time: 138.155 s Remaining CPU time: 41.845 s c =============================================================================== c | 67 | 4992 5301 1465000 | 5000 67 4778 | 0.000 % | c =============================================================================== c New solution: 26609 c Elapsed CPU time: 139.064 s Remaining CPU time: 40.9361 s c =============================================================================== c | 69 | 4992 5302 1469850 | 5000 69 4778 | 0.000 % | c =============================================================================== c New solution: 26608 c Elapsed CPU time: 139.914 s Remaining CPU time: 40.0863 s c =============================================================================== c | 71 | 4992 5303 1474700 | 5000 71 4710 | 0.000 % | c =============================================================================== c New solution: 26607 c Elapsed CPU time: 140.868 s Remaining CPU time: 39.1324 s c =============================================================================== c | 71 | 4992 5304 1479550 | 5000 71 4710 | 0.000 % | c =============================================================================== c New solution: 26606 c Elapsed CPU time: 141.822 s Remaining CPU time: 38.1776 s c =============================================================================== c | 71 | 4992 5305 1484400 | 5000 71 4710 | 0.000 % | c =============================================================================== c New solution: 26605 c Elapsed CPU time: 142.754 s Remaining CPU time: 37.2457 s c =============================================================================== c | 71 | 4992 5306 1489250 | 5000 71 4710 | 0.000 % | c =============================================================================== c New solution: 26604 c Elapsed CPU time: 143.711 s Remaining CPU time: 36.2888 s c =============================================================================== c | 71 | 4992 5307 1494100 | 5000 71 4710 | 0.000 % | c =============================================================================== c New solution: 26603 c Elapsed CPU time: 145.071 s Remaining CPU time: 34.9291 s c =============================================================================== c | 90 | 4992 5308 1498950 | 5000 90 4723 | 0.000 % | c =============================================================================== c New solution: 26602 c Elapsed CPU time: 146.017 s Remaining CPU time: 33.9832 s c =============================================================================== c | 92 | 4992 5309 1503800 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26601 c Elapsed CPU time: 146.896 s Remaining CPU time: 33.1043 s c =============================================================================== c | 92 | 4992 5310 1508650 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26600 c Elapsed CPU time: 147.806 s Remaining CPU time: 32.1945 s c =============================================================================== c | 92 | 4992 5311 1513500 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26599 c Elapsed CPU time: 148.643 s Remaining CPU time: 31.3566 s c =============================================================================== c | 92 | 4992 5312 1518350 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26598 c Elapsed CPU time: 149.634 s Remaining CPU time: 30.3657 s c =============================================================================== c | 92 | 4992 5313 1523200 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26597 c Elapsed CPU time: 150.615 s Remaining CPU time: 29.3849 s c =============================================================================== c | 92 | 4992 5314 1528050 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26596 c Elapsed CPU time: 151.594 s Remaining CPU time: 28.406 s c =============================================================================== c | 92 | 4992 5315 1532900 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26595 c Elapsed CPU time: 152.629 s Remaining CPU time: 27.3712 s c =============================================================================== c | 92 | 4992 5316 1537750 | 5000 92 4724 | 0.000 % | c =============================================================================== c New solution: 26594 c Elapsed CPU time: 153.664 s Remaining CPU time: 26.3364 s c =============================================================================== c | 93 | 4992 5317 1542600 | 5000 93 4724 | 0.000 % | c =============================================================================== c New solution: 26593 c Elapsed CPU time: 154.635 s Remaining CPU time: 25.3645 s c =============================================================================== c | 93 | 4992 5318 1547450 | 5000 93 4724 | 0.000 % | c =============================================================================== c New solution: 26592 c Elapsed CPU time: 155.566 s Remaining CPU time: 24.4337 s c =============================================================================== c | 93 | 4992 5319 1552300 | 5000 93 4724 | 0.000 % | c =============================================================================== c New solution: 26591 c Elapsed CPU time: 156.515 s Remaining CPU time: 23.4848 s c =============================================================================== c | 93 | 4992 5320 1557150 | 5000 93 4724 | 0.000 % | c =============================================================================== c New solution: 26590 c Elapsed CPU time: 157.433 s Remaining CPU time: 22.5669 s c =============================================================================== c | 94 | 4992 5321 1562000 | 5000 94 4725 | 0.000 % | c =============================================================================== c New solution: 26589 c Elapsed CPU time: 158.337 s Remaining CPU time: 21.6631 s c =============================================================================== c | 95 | 4992 5322 1566850 | 5000 95 4725 | 0.000 % | c =============================================================================== c New solution: 26588 c Elapsed CPU time: 159.432 s Remaining CPU time: 20.5682 s c =============================================================================== c | 107 | 4992 5323 1571700 | 5000 107 4730 | 0.000 % | c =============================================================================== c New solution: 26587 c Elapsed CPU time: 160.345 s Remaining CPU time: 19.6554 s c =============================================================================== c | 107 | 4992 5324 1576550 | 5000 107 4730 | 0.000 % | c =============================================================================== c New solution: 26586 c Elapsed CPU time: 161.261 s Remaining CPU time: 18.7385 s c =============================================================================== c | 109 | 4992 5325 1581400 | 5000 109 4731 | 0.000 % | c =============================================================================== c New solution: 26585 c Elapsed CPU time: 162.202 s Remaining CPU time: 17.7977 s c =============================================================================== c | 110 | 4992 5326 1586250 | 5000 110 4731 | 0.000 % | c =============================================================================== c New solution: 26584 c Elapsed CPU time: 163.087 s Remaining CPU time: 16.9128 s c =============================================================================== c | 111 | 4992 5327 1591100 | 5000 111 4731 | 0.000 % | c =============================================================================== c New solution: 26583 c Elapsed CPU time: 164.026 s Remaining CPU time: 15.9739 s c =============================================================================== c | 111 | 4992 5328 1595950 | 5000 111 4731 | 0.000 % | c =============================================================================== c New solution: 26582 c Elapsed CPU time: 164.996 s Remaining CPU time: 15.0041 s c =============================================================================== c | 111 | 4992 5329 1600800 | 5000 111 4731 | 0.000 % | c =============================================================================== c New solution: 26581 c Elapsed CPU time: 166.083 s Remaining CPU time: 13.9172 s c =============================================================================== c | 126 | 4992 5330 1605650 | 5000 126 4735 | 0.000 % | c =============================================================================== c New solution: 26580 c Elapsed CPU time: 167.046 s Remaining CPU time: 12.9544 s c =============================================================================== c | 126 | 4992 5331 1610500 | 5000 126 4735 | 0.000 % | c =============================================================================== c New solution: 26579 c Elapsed CPU time: 168.001 s Remaining CPU time: 11.9985 s c =============================================================================== c | 127 | 4992 5332 1615350 | 5000 127 4736 | 0.000 % | c =============================================================================== c New solution: 26578 c Elapsed CPU time: 169.006 s Remaining CPU time: 10.9937 s c =============================================================================== c | 134 | 4992 5333 1620200 | 5000 134 4737 | 0.000 % | c =============================================================================== c New solution: 26577 c Elapsed CPU time: 169.952 s Remaining CPU time: 10.0478 s c =============================================================================== c | 134 | 4992 5334 1625050 | 5000 134 4737 | 0.000 % | c =============================================================================== c New solution: 26576 c Elapsed CPU time: 170.983 s Remaining CPU time: 9.01699 s c =============================================================================== c | 134 | 4992 5335 1629900 | 5000 134 4737 | 0.000 % | c =============================================================================== c New solution: 26575 c Elapsed CPU time: 171.993 s Remaining CPU time: 8.00715 s c =============================================================================== c | 136 | 4992 5336 1634750 | 5000 136 4738 | 0.000 % | c =============================================================================== c New solution: 26574 c Elapsed CPU time: 173.032 s Remaining CPU time: 6.9683 s c =============================================================================== c | 136 | 4992 5337 1639600 | 5000 136 4738 | 0.000 % | c =============================================================================== c New solution: 26573 c Elapsed CPU time: 174.035 s Remaining CPU time: 5.96546 s c =============================================================================== c | 136 | 4992 5338 1644450 | 5000 136 4738 | 0.000 % | c =============================================================================== c New solution: 26572 c Elapsed CPU time: 175.064 s Remaining CPU time: 4.93561 s c =============================================================================== c | 136 | 4992 5339 1649300 | 5000 136 4738 | 0.000 % | c =============================================================================== c New solution: 26571 c Elapsed CPU time: 176.108 s Remaining CPU time: 3.89177 s c =============================================================================== c | 136 | 4992 5340 1654150 | 5000 136 4738 | 0.000 % | c =============================================================================== c New solution: 26570 c Elapsed CPU time: 177.156 s Remaining CPU time: 2.84393 s c =============================================================================== c | 136 | 4992 5341 1659000 | 5000 136 4738 | 0.000 % | c =============================================================================== c New solution: 26569 c Elapsed CPU time: 178.205 s Remaining CPU time: 1.79509 s c =============================================================================== c | 138 | 4992 5342 1663850 | 5000 138 4738 | 0.000 % | c =============================================================================== c New solution: 26568 c Elapsed CPU time: 179.231 s Remaining CPU time: 0.769248 s c =============================================================================== c | 138 | 4992 5343 1668700 | 5000 138 4738 | 0.000 % | c =============================================================================== c New solution: 26567 c Elapsed CPU time: 180.263 s Remaining CPU time: -0.262595 s c =============================================================================== c | 144 | 4992 5344 1673550 | 5000 144 4739 | 0.000 % | c There are 8 assigned variables. 2 in cost function.