c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 400 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 400 | c | Number Clauses: 400 | 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 | 400 400 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 0 | 400 401 1800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 0 | 400 402 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 0 | 400 403 2400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 400 404 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 400 405 3000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 406 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 407 3600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 408 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 409 4200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 410 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 400 411 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 400 412 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 400 413 5400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 400 414 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 400 415 6000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 400 416 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 400 417 6600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 400 418 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 400 419 7200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 400 420 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 400 421 7800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 400 422 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 400 423 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 400 424 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 400 425 9000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 400 426 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 400 427 9600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 400 428 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 400 429 10200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 400 430 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 400 431 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 400 432 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 400 433 11400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 400 434 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 400 435 12000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 400 436 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 400 437 12600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 400 438 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 400 439 13200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 400 440 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 400 441 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 400 442 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 400 443 14400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 400 444 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 400 445 15000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 400 446 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 400 447 15600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 400 448 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 400 449 16200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 400 450 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 400 451 16800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 400 452 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 400 453 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 400 454 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 400 455 18000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 400 456 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 400 457 18600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 400 458 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 400 459 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 400 460 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 400 461 19800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 400 462 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 400 463 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 400 464 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 400 465 21000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 2 | 400 466 21300 | 5000 2 240 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 2 | 400 467 21600 | 5000 2 240 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 2 | 400 468 21900 | 5000 2 240 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 2 | 400 469 22200 | 5000 2 240 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 2 | 400 470 22500 | 5000 2 240 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 2 | 400 471 22800 | 5000 2 240 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2 | 400 472 23100 | 5000 2 240 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 3 | 400 473 23400 | 5000 3 161 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 3 | 400 474 23700 | 5000 3 161 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 3 | 400 475 24000 | 5000 3 161 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 3 | 400 476 24300 | 5000 3 161 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 4 | 400 477 24600 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 4 | 400 478 24900 | 5000 4 122 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 5 | 400 479 25200 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 5 | 400 480 25500 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 5 | 400 481 25800 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 5 | 400 482 26100 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 5 | 400 483 26400 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 5 | 400 484 26700 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 5 | 400 485 27000 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 5 | 400 486 27300 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 5 | 400 487 27600 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 5 | 400 488 27900 | 5000 5 98 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 6 | 400 489 28200 | 5000 6 82 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 6 | 400 490 28500 | 5000 6 82 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 6 | 400 491 28800 | 5000 6 82 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 7 | 400 492 29100 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 7 | 400 493 29400 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 7 | 400 494 29700 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 7 | 400 495 30000 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 7 | 400 496 30300 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 7 | 400 497 30600 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 7 | 400 498 30900 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 7 | 400 499 31200 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 7 | 400 500 31500 | 5000 7 71 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 8 | 400 501 31800 | 5000 8 63 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 9 | 400 502 32100 | 5000 9 57 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 10 | 400 503 32400 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 10 | 400 504 32700 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 10 | 400 505 33000 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 10 | 400 506 33300 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 10 | 400 507 33600 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 10 | 400 508 33900 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 10 | 400 509 34200 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 10 | 400 510 34500 | 5000 10 51 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 11 | 400 511 34800 | 5000 11 47 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 11 | 400 512 35100 | 5000 11 47 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 11 | 400 513 35400 | 5000 11 47 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 11 | 400 514 35700 | 5000 11 47 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 11 | 400 515 36000 | 5000 11 47 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 11 | 400 516 36300 | 5000 11 47 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 12 | 400 517 36600 | 5000 12 44 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 12 | 400 518 36900 | 5000 12 44 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 12 | 400 519 37200 | 5000 12 44 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 12 | 400 520 37500 | 5000 12 44 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 12 | 400 521 37800 | 5000 12 44 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 12 | 400 522 38100 | 5000 12 44 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 13 | 400 523 38400 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 13 | 400 524 38700 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 13 | 400 525 39000 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 13 | 400 526 39300 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 13 | 400 527 39600 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 13 | 400 528 39900 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 13 | 400 529 40200 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 13 | 400 530 40500 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 13 | 400 531 40800 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 13 | 400 532 41100 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 13 | 400 533 41400 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 13 | 400 534 41700 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 13 | 400 535 42000 | 5000 13 55 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 14 | 400 536 42300 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 14 | 400 537 42600 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 14 | 400 538 42900 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 14 | 400 539 43200 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 14 | 400 540 43500 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 14 | 400 541 43800 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 14 | 400 542 44100 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 14 | 400 543 44400 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 14 | 400 544 44700 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 14 | 400 545 45000 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 14 | 400 546 45300 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 14 | 400 547 45600 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 14 | 400 548 45900 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 14 | 400 549 46200 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 14 | 400 550 46500 | 5000 14 52 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 15 | 400 551 46800 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 15 | 400 552 47100 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 15 | 400 553 47400 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 15 | 400 554 47700 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 15 | 400 555 48000 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 15 | 400 556 48300 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 15 | 400 557 48600 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 15 | 400 558 48900 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 15 | 400 559 49200 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 15 | 400 560 49500 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 15 | 400 561 49800 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 15 | 400 562 50100 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 15 | 400 563 50400 | 5000 15 49 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 16 | 400 564 50700 | 5000 16 46 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 16 | 400 565 51000 | 5000 16 46 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 16 | 400 566 51300 | 5000 16 46 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 16 | 400 567 51600 | 5000 16 46 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 17 | 400 568 51900 | 5000 17 44 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 17 | 400 569 52200 | 5000 17 44 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 17 | 400 570 52500 | 5000 17 44 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 17 | 400 571 52800 | 5000 17 44 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 19 | 400 572 53100 | 5000 19 41 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 22 | 400 573 53400 | 5000 22 48 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 22 | 400 574 53700 | 5000 22 48 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 22 | 400 575 54000 | 5000 22 48 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 22 | 400 576 54300 | 5000 22 48 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 22 | 400 577 54600 | 5000 22 48 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 22 | 400 578 54900 | 5000 22 48 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 23 | 400 579 55200 | 5000 23 46 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 24 | 400 580 55500 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 24 | 400 581 55800 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 24 | 400 582 56100 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 24 | 400 583 56400 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 24 | 400 584 56700 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 24 | 400 585 57000 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s c =============================================================================== c | 24 | 400 586 57300 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 24 | 400 587 57600 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s c =============================================================================== c | 24 | 400 588 57900 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 24 | 400 589 58200 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 24 | 400 590 58500 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 24 | 400 591 58800 | 5000 24 45 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 25 | 400 592 59100 | 5000 25 43 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 26 | 400 593 59400 | 5000 26 42 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 27 | 400 594 59700 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 27 | 400 595 60000 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.78588 s Remaining CPU time: 179.214 s c =============================================================================== c | 27 | 400 596 60300 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 27 | 400 597 60600 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 27 | 400 598 60900 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 27 | 400 599 61200 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 27 | 400 600 61500 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 27 | 400 601 61800 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.828873 s Remaining CPU time: 179.171 s c =============================================================================== c | 27 | 400 602 62100 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 27 | 400 603 62400 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 27 | 400 604 62700 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 27 | 400 605 63000 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s c =============================================================================== c | 27 | 400 606 63300 | 5000 27 41 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 28 | 400 607 63600 | 5000 28 44 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 28 | 400 608 63900 | 5000 28 44 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 30 | 400 609 64200 | 5000 30 41 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 30 | 400 610 64500 | 5000 30 41 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 81 | 400 611 64800 | 5000 81 77 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 110 | 400 612 65100 | 5000 110 64 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s c =============================================================================== c | 116 | 400 613 65400 | 5000 116 65 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 117 | 400 614 65700 | 5000 117 64 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.935857 s Remaining CPU time: 179.064 s c =============================================================================== c | 121 | 400 615 66000 | 5000 121 65 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 122 | 400 616 66300 | 5000 122 65 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 124 | 400 617 66600 | 5000 124 64 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s c =============================================================================== c | 130 | 400 618 66900 | 5000 130 62 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 132 | 400 619 67200 | 5000 132 61 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 133 | 400 620 67500 | 5000 133 61 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 136 | 400 621 67800 | 5000 136 62 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 136 | 400 622 68100 | 5000 136 62 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 138 | 400 623 68400 | 5000 138 62 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 139 | 400 624 68700 | 5000 139 61 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s c =============================================================================== c | 140 | 400 625 69000 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 140 | 400 626 69300 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 140 | 400 627 69600 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s c =============================================================================== c | 140 | 400 628 69900 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 140 | 400 629 70200 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 140 | 400 630 70500 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 140 | 400 631 70800 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 140 | 400 632 71100 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 140 | 400 633 71400 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.06484 s Remaining CPU time: 178.935 s c =============================================================================== c | 140 | 400 634 71700 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.07084 s Remaining CPU time: 178.929 s c =============================================================================== c | 140 | 400 635 72000 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 140 | 400 636 72300 | 5000 140 61 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 143 | 400 637 72600 | 5000 143 60 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 145 | 400 638 72900 | 5000 145 59 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.09783 s Remaining CPU time: 178.902 s c =============================================================================== c | 146 | 400 639 73200 | 5000 146 59 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s c =============================================================================== c | 149 | 400 640 73500 | 5000 149 59 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 151 | 400 641 73800 | 5000 151 59 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 152 | 400 642 74100 | 5000 152 59 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 153 | 400 643 74400 | 5000 153 59 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 154 | 400 644 74700 | 5000 154 59 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 155 | 400 645 75000 | 5000 155 59 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 156 | 400 646 75300 | 5000 156 59 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 157 | 400 647 75600 | 5000 157 59 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 158 | 400 648 75900 | 5000 158 59 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s c =============================================================================== c | 159 | 400 649 76200 | 5000 159 59 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 160 | 400 650 76500 | 5000 160 59 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 161 | 400 651 76800 | 5000 161 59 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 173 | 400 652 77100 | 5000 173 57 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.18982 s Remaining CPU time: 178.81 s c =============================================================================== c | 181 | 400 653 77400 | 5000 181 56 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.19482 s Remaining CPU time: 178.805 s c =============================================================================== c | 181 | 400 654 77700 | 5000 181 56 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 181 | 400 655 78000 | 5000 181 56 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 1.20682 s Remaining CPU time: 178.793 s c =============================================================================== c | 181 | 400 656 78300 | 5000 181 56 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s c =============================================================================== c | 187 | 400 657 78600 | 5000 187 56 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 188 | 400 658 78900 | 5000 188 55 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 188 | 400 659 79200 | 5000 188 55 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s c =============================================================================== c | 192 | 400 660 79500 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 192 | 400 661 79800 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 1.24081 s Remaining CPU time: 178.759 s c =============================================================================== c | 192 | 400 662 80100 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 1.24681 s Remaining CPU time: 178.753 s c =============================================================================== c | 192 | 400 663 80400 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 192 | 400 664 80700 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 192 | 400 665 81000 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 192 | 400 666 81300 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 1.26681 s Remaining CPU time: 178.733 s c =============================================================================== c | 192 | 400 667 81600 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 1.27181 s Remaining CPU time: 178.728 s c =============================================================================== c | 192 | 400 668 81900 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 1.2768 s Remaining CPU time: 178.723 s c =============================================================================== c | 192 | 400 669 82200 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s c =============================================================================== c | 192 | 400 670 82500 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 1.2868 s Remaining CPU time: 178.713 s c =============================================================================== c | 192 | 400 671 82800 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 192 | 400 672 83100 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 1.2958 s Remaining CPU time: 178.704 s c =============================================================================== c | 192 | 400 673 83400 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 1.3008 s Remaining CPU time: 178.699 s c =============================================================================== c | 192 | 400 674 83700 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 192 | 400 675 84000 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 192 | 400 676 84300 | 5000 192 55 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 193 | 400 677 84600 | 5000 193 55 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 1.3198 s Remaining CPU time: 178.68 s c =============================================================================== c | 195 | 400 678 84900 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 195 | 400 679 85200 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 195 | 400 680 85500 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 1.3318 s Remaining CPU time: 178.668 s c =============================================================================== c | 195 | 400 681 85800 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 195 | 400 682 86100 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 195 | 400 683 86400 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 1.3438 s Remaining CPU time: 178.656 s c =============================================================================== c | 195 | 400 684 86700 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 1.34679 s Remaining CPU time: 178.653 s c =============================================================================== c | 195 | 400 685 87000 | 5000 195 54 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 196 | 400 686 87300 | 5000 196 54 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 197 | 400 687 87600 | 5000 197 54 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 198 | 400 688 87900 | 5000 198 54 | 0.000 % | c | 298 | 400 688 87900 | 5500 298 43 | 0.001 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 1.38879 s Remaining CPU time: 178.611 s c =============================================================================== c | 309 | 400 689 88200 | 5000 309 43 | 0.001 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 327 | 400 690 88500 | 5000 327 42 | 0.001 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 391 | 400 691 88800 | 5000 391 39 | 0.001 % | c | 492 | 400 691 88800 | 5500 492 34 | 0.001 % | c | 642 | 400 691 88800 | 6050 642 30 | 0.001 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 689 | 400 692 89100 | 5000 689 29 | 0.001 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 744 | 400 693 89400 | 5000 744 30 | 0.001 % | c | 844 | 400 693 89400 | 5500 844 28 | 0.001 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 1.53177 s Remaining CPU time: 178.468 s c =============================================================================== c | 924 | 400 694 89700 | 5000 924 27 | 0.001 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 972 | 400 695 90000 | 5000 972 27 | 0.001 % | c | 1073 | 400 695 90000 | 5500 1073 26 | 0.001 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 1.56876 s Remaining CPU time: 178.431 s c =============================================================================== c | 1074 | 400 696 90300 | 5000 1074 26 | 0.001 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 1075 | 400 697 90600 | 5000 1075 26 | 0.001 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 1.57776 s Remaining CPU time: 178.422 s c =============================================================================== c | 1117 | 400 698 90900 | 5000 1117 26 | 0.001 % | c | 1217 | 400 698 90900 | 5500 1217 25 | 0.001 % | c | 1367 | 400 698 90900 | 6050 1367 24 | 0.001 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 1417 | 400 699 91200 | 5000 1417 24 | 0.001 % | c | 1517 | 400 699 91200 | 5500 1517 25 | 0.001 % | c | 1667 | 400 699 91200 | 6050 1667 25 | 0.001 % | c | 1892 | 400 699 91200 | 6655 1892 24 | 0.001 % | c | 2232 | 400 699 91200 | 7320 2232 22 | 0.001 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 2.09168 s Remaining CPU time: 177.908 s c =============================================================================== c | 2706 | 400 700 91500 | 5000 2706 21 | 0.001 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 2.09768 s Remaining CPU time: 177.902 s c =============================================================================== c =============================================================================== c Total CPU time: 2.09768 s