c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 300 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 300 | c | Number Clauses: 300 | 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 | 300 300 1100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 301 1300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 302 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 303 1700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 304 1900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 305 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 306 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 307 2500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 308 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 309 2900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 310 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 311 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 300 312 3500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 300 313 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 300 314 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 300 315 4100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 300 316 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 317 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 318 4700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 319 4900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 300 320 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 300 321 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 300 322 5500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 300 323 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 300 324 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 300 325 6100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 300 326 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 300 327 6500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 300 328 6700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 300 329 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 300 330 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 300 331 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 300 332 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 300 333 7700 | 5000 1 171 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 1 | 300 334 7900 | 5000 1 171 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 1 | 300 335 8100 | 5000 1 171 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 2 | 300 336 8300 | 5000 2 88 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 2 | 300 337 8500 | 5000 2 88 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 2 | 300 338 8700 | 5000 2 88 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 2 | 300 339 8900 | 5000 2 88 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 2 | 300 340 9100 | 5000 2 88 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 2 | 300 341 9300 | 5000 2 88 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 3 | 300 342 9500 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 3 | 300 343 9700 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 3 | 300 344 9900 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 3 | 300 345 10100 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 3 | 300 346 10300 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 3 | 300 347 10500 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 3 | 300 348 10700 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 3 | 300 349 10900 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 3 | 300 350 11100 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 3 | 300 351 11300 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 3 | 300 352 11500 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 3 | 300 353 11700 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 3 | 300 354 11900 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 3 | 300 355 12100 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 3 | 300 356 12300 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 3 | 300 357 12500 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 3 | 300 358 12700 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 3 | 300 359 12900 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 3 | 300 360 13100 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 3 | 300 361 13300 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 3 | 300 362 13500 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 3 | 300 363 13700 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 3 | 300 364 13900 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 3 | 300 365 14100 | 5000 3 60 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 4 | 300 366 14300 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 4 | 300 367 14500 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 4 | 300 368 14700 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 4 | 300 369 14900 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 4 | 300 370 15100 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 4 | 300 371 15300 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 4 | 300 372 15500 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 4 | 300 373 15700 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 4 | 300 374 15900 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 4 | 300 375 16100 | 5000 4 46 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 5 | 300 376 16300 | 5000 5 39 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 5 | 300 377 16500 | 5000 5 39 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 5 | 300 378 16700 | 5000 5 39 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 5 | 300 379 16900 | 5000 5 39 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 5 | 300 380 17100 | 5000 5 39 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 6 | 300 381 17300 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 6 | 300 382 17500 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 6 | 300 383 17700 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 7 | 300 384 17900 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 7 | 300 385 18100 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 7 | 300 386 18300 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 7 | 300 387 18500 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 7 | 300 388 18700 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 7 | 300 389 18900 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 7 | 300 390 19100 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 7 | 300 391 19300 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 8 | 300 392 19500 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 8 | 300 393 19700 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 8 | 300 394 19900 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 8 | 300 395 20100 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 8 | 300 396 20300 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 8 | 300 397 20500 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 8 | 300 398 20700 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 8 | 300 399 20900 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 8 | 300 400 21100 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 8 | 300 401 21300 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 8 | 300 402 21500 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 8 | 300 403 21700 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 8 | 300 404 21900 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 8 | 300 405 22100 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 8 | 300 406 22300 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 8 | 300 407 22500 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 8 | 300 408 22700 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 8 | 300 409 22900 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 8 | 300 410 23100 | 5000 8 40 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 9 | 300 411 23300 | 5000 9 37 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 9 | 300 412 23500 | 5000 9 37 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 9 | 300 413 23700 | 5000 9 37 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 9 | 300 414 23900 | 5000 9 37 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 9 | 300 415 24100 | 5000 9 37 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 9 | 300 416 24300 | 5000 9 37 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 9 | 300 417 24500 | 5000 9 37 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 11 | 300 418 24700 | 5000 11 31 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 11 | 300 419 24900 | 5000 11 31 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 11 | 300 420 25100 | 5000 11 31 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 16 | 300 421 25300 | 5000 16 49 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 20 | 300 422 25500 | 5000 20 41 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 20 | 300 423 25700 | 5000 20 41 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 21 | 300 424 25900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 21 | 300 425 26100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 21 | 300 426 26300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 21 | 300 427 26500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 21 | 300 428 26700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 21 | 300 429 26900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 21 | 300 430 27100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 21 | 300 431 27300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 21 | 300 432 27500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 21 | 300 433 27700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 21 | 300 434 27900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 21 | 300 435 28100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 21 | 300 436 28300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 21 | 300 437 28500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 21 | 300 438 28700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 21 | 300 439 28900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 21 | 300 440 29100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 21 | 300 441 29300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 21 | 300 442 29500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 21 | 300 443 29700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 21 | 300 444 29900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 21 | 300 445 30100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 21 | 300 446 30300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 21 | 300 447 30500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 21 | 300 448 30700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 21 | 300 449 30900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 21 | 300 450 31100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 21 | 300 451 31300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 21 | 300 452 31500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 21 | 300 453 31700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 21 | 300 454 31900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 21 | 300 455 32100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 21 | 300 456 32300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 21 | 300 457 32500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 21 | 300 458 32700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 21 | 300 459 32900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 21 | 300 460 33100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 21 | 300 461 33300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 21 | 300 462 33500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 21 | 300 463 33700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 21 | 300 464 33900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 21 | 300 465 34100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 21 | 300 466 34300 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 21 | 300 467 34500 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 21 | 300 468 34700 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 21 | 300 469 34900 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 21 | 300 470 35100 | 5000 21 40 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 22 | 300 471 35300 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 22 | 300 472 35500 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 22 | 300 473 35700 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 22 | 300 474 35900 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 22 | 300 475 36100 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 22 | 300 476 36300 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 22 | 300 477 36500 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 22 | 300 478 36700 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 22 | 300 479 36900 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 22 | 300 480 37100 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 22 | 300 481 37300 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 22 | 300 482 37500 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 22 | 300 483 37700 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 22 | 300 484 37900 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 22 | 300 485 38100 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 22 | 300 486 38300 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 22 | 300 487 38500 | 5000 22 38 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 27 | 300 488 38700 | 5000 27 36 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 51 | 300 489 38900 | 5000 51 28 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 58 | 300 490 39100 | 5000 58 27 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 70 | 300 491 39300 | 5000 70 26 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 72 | 300 492 39500 | 5000 72 26 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 76 | 300 493 39700 | 5000 76 26 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 77 | 300 494 39900 | 5000 77 25 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 79 | 300 495 40100 | 5000 79 25 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 81 | 300 496 40300 | 5000 81 25 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 86 | 300 497 40500 | 5000 86 25 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 87 | 300 498 40700 | 5000 87 24 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 93 | 300 499 40900 | 5000 93 24 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 94 | 300 500 41100 | 5000 94 24 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c =============================================================================== c Total CPU time: 0.329949 s